Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

share|improve this question
add comment

1 Answer 1

up vote 10 down vote accepted

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.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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