Hi I would like to know if there is a definition of Sobolev space as a set of mappings $f:U\subset \mathbb R^n \rightarrow \mathbb R^m$ (instead to $\mathbb R$). In particular what should be $H^{1,2}(U)_{\mathbb R^m}$. Does it make sense to define it as the set of maps $f=(f_1,...,f_m)$ such that $f_i \in H^{1,2}(U)$? What would be a natural norm? Would it be a Hilbert space as in the case where $f$ goes to $\mathbb R$?
thank you
Yes, it's defined coordinate-wise. It's just the direct sum of $m$ copies of $H^{1,2}$. The direct sum of Hilbert spaces is automatically a Hilbert space: just add the inner products together.
Usually denoted $H^1(U;\mathbb R^m)$ or $W^{1,2}(U;\mathbb R^m)$. The notation $H^{1,2}$ appears redundant to me: $H$ already indicates a Hilbert space, so $p=2$ is understood.