3
$\begingroup$

I don't understand this definition of the Sobolev space $H^{r,s}(E)$ for a vector bundle:

Def. The section $s:M \rightarrow E$ is contained in the Sobolev space $H^{r,s}(E)$ if for any bundle atlas with the property that on compact sets all coordinate changes and their derivatives are bounded, and for any bundle chart from that atlas, $\phi: E_U \rightarrow U \times R^n$, we have that $\phi \circ s_{|U}$ is contained in $H^{r,s}(U)$.

I understand that the requirement "on compact sets all coordinate changes and their derivatives are bounded" is for compatibility reasons but I don't know what does $H^{r,s}(U)$ mean.

Would the definition of $L^2$ section be the same except for the requirement on the derivatives to be bounded?

Thanks.

  • 0
    $W^{p,q}(U)=H^{p,q}(U)=\{u\in\mathcal{D}'(U):D^\alpha f\in L^q(U),\forall|\alpha|\leqslant p\}$, if $p,q\in\mathbb{N}$. For general case, it's defined using Fourier transform, which is equivalent to the above one in integer case. If $q=2$, we often denote $W^{p,2}=H^p$.2012-08-19
  • 0
    but $\phi o s_{|U}$ goes to $U\times R^n$ instead of $R$, how should I understand $H^{p,q}(U)$? just requiring that when composing with any chart the total map (going to $R^m\times R^n$) is in your definition of $H^{p,q}(U)$? thanks2012-08-19
  • 0
    Er, you can just view $\phi\circ s|U $ as a function from $U$ to $\mathbb{R}^n$, and it's in $W^{p,q}(U)$ if and only if every component is in $W^{p,q}(U)$. That is, we can say such a $\mathbb{R}^n$ valued function lies in $W^{p,q}(U;\mathbb{R}^n)$.2012-08-20
  • 0
    @inquisitor where is this definition from? I'd like also to study those spaces on vector bundles..2014-12-11
  • 0
    @PtF I think it was from Jost's book on differential geometry/Riemannian geometry2015-01-03

1 Answers 1