4
$\begingroup$

I want to define Sobolev spaces for sections on a vector bundle, basically I want that a section will belong to the Sobolev space $W^{k,p}$ if its coordinates in any aceptable patch belong to the corresponding Sobolev space of functions. So here is my try:

Let $\mathcal{A}$ be the collection of atlases of the differential structure of $M$ on which the coordinate transformations belong to $\widetilde{C}^{\infty,p}(U,\mathbb{R}^n):=\{f \in C^\infty(U) : \|f\|_{W^{k,p}(U)} < \infty \}$ where $U$ is some open set of $\mathbb{R}^n$. We see that by making the coordinate charts small enough $\mathcal{A}$ is not empty.

A section (not necessarily smooth) $s$ of the vector bundle $\pi: E \rightarrow M$ is in the Sobolev space $W^{k,2}(E)$, if for any $(V,\psi)\in \mathcal{A}$, and for any $U$ compactly contained in $V$, the map $$ pr_2 \circ \phi_V \circ s|_U \circ \psi^{-1}:\psi(U) \rightarrow \mathbb{R}^m $$ lies in $W^{k,2}(\psi(U),\mathbb{R}^m)$. Where $\phi_V$ is a trivialization of $E$ over $V$, and $pr_2$ is the projection onto the second factor.

I would like to know if this definition is consistent in the sense that it does not depend on the choices made. And if is not what changes should I put. Thanks

$\endgroup$

1 Answer 1

12
$\begingroup$

There is a fairly careful discussion of this in my book "Foundations of Global Non=Linear Analysis", Benjamin & Co. 1968

(Added later:) It occurred to me that this old book of mine is probably not easy to come by, so I have made a photo-copy of it available here:

http://vmm.math.uci.edu/FGNLA.pdf

I should add that there is also a quite detailed discussion of this topic in Chapters IX and X of my "Seminar on the Atiyah-Singer Index Theorem", Princeton Univ. Press, 1965. Unfortunately, I think that is still under copyright, so I cannot make it available, but on the other hand it should be readily available in almost any math library.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.