Mixing
Understanding iterated covariant derivatives to define Sobolev spaces on manifolds
$begingroup$
I'm having big troubles understanding the definition of Sobolev spaces on manifolds.
Ok, so we have a Riemannian manifold $(M, g)$, and then we can define a natural riemannian measure (which I will denote by $nu_g$, and it is worth to say that it is a Radon measure, and its $sigma$-algebra contains the Borel $sigma$-algebra of $M$)[I have no troubles understanding this, it is explained very clearly in the books of Sakai and Chavel] In this way, we then have that $M$ is a measure space (in the usual sense), so it is very natural to define the spaces $L^p(M, g)$ as with any other measure space.
This is very cool, and then one might wonder if Sobolev spaces can be defined. In fact, they do exist, and in most books the following definition is usually given:
For $kin mathbb N$ and $1leq p <infty$, the Sobolev space $W^{k,p}(M, g)$ is the completion of $C^infty(M)$ under the Sobolev norm $|cdot|_{W^{k,p}(M, g)}$ given by
$$|u|_{W^{k,p}(M, g)} := left( ,sum_{j=0}^k int_M |nabla^j u |^p , dnu_gright)^{frac 1 p},qquad (*)$$
where $nabla^j u$ is the $j$-th derivative of $u$.
$(*)$More precisely, one must take functions $uin C^infty(M)$ such that each one of $displaystyle int_M |nabla^j u |^p,dnu_g$ is finite.
So, my problem is: what is exactly meant by $nabla^j u$ as "the $j$-th derivative of $u$"? I can't really give a sensible meaning to this.
Please give me some insight on this, I want a formal and clear definition (it seems that it is obvious for most autors, but I haven't seen a clear and formal explanation on this), my trouble is that I don't understand at all what is meant with $nabla^j$ (I believe we can define it for general tensor fields). Can you elaborate a detailed answer on that construction?
My problem is then that I don't understand iterated covariant derivatives (I have asked some of my friends, and they are as confused as I am)
And please, I don't want a physicist's messy definition involving debauch of indices (if possible)
Any help or clear reference is very much appreciated. An elaborated example would be very useful too.
Edit: The original question: "what is $nabla^j u$ ?" now has been settled (I'll post my own coordinate-free answer later). Now, the problem is that each one of $nabla^j u$ is a $(0, j)$-tensor field on $M$, what is the correct definition for the integral of such thing?.
So, the question is: what is meant by $displaystyleint_M |nabla^j u |^p , dnu_g$?
reference-request pde soft-question riemannian-geometry sobolev-spaces
asked Dec 12 '18 at 6:45
EternalBloodEternalBlood
486218
$endgroup$
add a comment |
$begingroup$
I'm having big troubles understanding the definition of Sobolev spaces on manifolds.
Ok, so we have a Riemannian manifold $(M, g)$, and then we can define a natural riemannian measure (which I will denote by $nu_g$, and it is worth to say that it is a Radon measure, and its $sigma$-algebra contains the Borel $sigma$-algebra of $M$)[I have no troubles understanding this, it is explained very clearly in the books of Sakai and Chavel] In this way, we then have that $M$ is a measure space (in the usual sense), so it is very natural to define the spaces $L^p(M, g)$ as with any other measure space.
This is very cool, and then one might wonder if Sobolev spaces can be defined. In fact, they do exist, and in most books the following definition is usually given:
For $kin mathbb N$ and $1leq p <infty$, the Sobolev space $W^{k,p}(M, g)$ is the completion of $C^infty(M)$ under the Sobolev norm $|cdot|_{W^{k,p}(M, g)}$ given by
$$|u|_{W^{k,p}(M, g)} := left( ,sum_{j=0}^k int_M |nabla^j u |^p , dnu_gright)^{frac 1 p},qquad (*)$$
where $nabla^j u$ is the $j$-th derivative of $u$.
$(*)$More precisely, one must take functions $uin C^infty(M)$ such that each one of $displaystyle int_M |nabla^j u |^p,dnu_g$ is finite.
So, my problem is: what is exactly meant by $nabla^j u$ as "the $j$-th derivative of $u$"? I can't really give a sensible meaning to this.
Please give me some insight on this, I want a formal and clear definition (it seems that it is obvious for most autors, but I haven't seen a clear and formal explanation on this), my trouble is that I don't understand at all what is meant with $nabla^j$ (I believe we can define it for general tensor fields). Can you elaborate a detailed answer on that construction?
My problem is then that I don't understand iterated covariant derivatives (I have asked some of my friends, and they are as confused as I am)
And please, I don't want a physicist's messy definition involving debauch of indices (if possible)
Any help or clear reference is very much appreciated. An elaborated example would be very useful too.
Edit: The original question: "what is $nabla^j u$ ?" now has been settled (I'll post my own coordinate-free answer later). Now, the problem is that each one of $nabla^j u$ is a $(0, j)$-tensor field on $M$, what is the correct definition for the integral of such thing?.
So, the question is: what is meant by $displaystyleint_M |nabla^j u |^p , dnu_g$?
reference-request pde soft-question riemannian-geometry sobolev-spaces
asked Dec 12 '18 at 6:45
EternalBloodEternalBlood
486218
$endgroup$
add a comment |
$begingroup$
I'm having big troubles understanding the definition of Sobolev spaces on manifolds.
Ok, so we have a Riemannian manifold $(M, g)$, and then we can define a natural riemannian measure (which I will denote by $nu_g$, and it is worth to say that it is a Radon measure, and its $sigma$-algebra contains the Borel $sigma$-algebra of $M$)[I have no troubles understanding this, it is explained very clearly in the books of Sakai and Chavel] In this way, we then have that $M$ is a measure space (in the usual sense), so it is very natural to define the spaces $L^p(M, g)$ as with any other measure space.
This is very cool, and then one might wonder if Sobolev spaces can be defined. In fact, they do exist, and in most books the following definition is usually given:
For $kin mathbb N$ and $1leq p <infty$, the Sobolev space $W^{k,p}(M, g)$ is the completion of $C^infty(M)$ under the Sobolev norm $|cdot|_{W^{k,p}(M, g)}$ given by
$$|u|_{W^{k,p}(M, g)} := left( ,sum_{j=0}^k int_M |nabla^j u |^p , dnu_gright)^{frac 1 p},qquad (*)$$
where $nabla^j u$ is the $j$-th derivative of $u$.
$(*)$More precisely, one must take functions $uin C^infty(M)$ such that each one of $displaystyle int_M |nabla^j u |^p,dnu_g$ is finite.
So, my problem is: what is exactly meant by $nabla^j u$ as "the $j$-th derivative of $u$"? I can't really give a sensible meaning to this.
Please give me some insight on this, I want a formal and clear definition (it seems that it is obvious for most autors, but I haven't seen a clear and formal explanation on this), my trouble is that I don't understand at all what is meant with $nabla^j$ (I believe we can define it for general tensor fields). Can you elaborate a detailed answer on that construction?
My problem is then that I don't understand iterated covariant derivatives (I have asked some of my friends, and they are as confused as I am)
And please, I don't want a physicist's messy definition involving debauch of indices (if possible)
Any help or clear reference is very much appreciated. An elaborated example would be very useful too.
Edit: The original question: "what is $nabla^j u$ ?" now has been settled (I'll post my own coordinate-free answer later). Now, the problem is that each one of $nabla^j u$ is a $(0, j)$-tensor field on $M$, what is the correct definition for the integral of such thing?.
So, the question is: what is meant by $displaystyleint_M |nabla^j u |^p , dnu_g$?
reference-request pde soft-question riemannian-geometry sobolev-spaces
asked Dec 12 '18 at 6:45
EternalBloodEternalBlood
486218
$endgroup$
I'm having big troubles understanding the definition of Sobolev spaces on manifolds.
Ok, so we have a Riemannian manifold $(M, g)$, and then we can define a natural riemannian measure (which I will denote by $nu_g$, and it is worth to say that it is a Radon measure, and its $sigma$-algebra contains the Borel $sigma$-algebra of $M$)[I have no troubles understanding this, it is explained very clearly in the books of Sakai and Chavel] In this way, we then have that $M$ is a measure space (in the usual sense), so it is very natural to define the spaces $L^p(M, g)$ as with any other measure space.
This is very cool, and then one might wonder if Sobolev spaces can be defined. In fact, they do exist, and in most books the following definition is usually given:
For $kin mathbb N$ and $1leq p <infty$, the Sobolev space $W^{k,p}(M, g)$ is the completion of $C^infty(M)$ under the Sobolev norm $|cdot|_{W^{k,p}(M, g)}$ given by
$$|u|_{W^{k,p}(M, g)} := left( ,sum_{j=0}^k int_M |nabla^j u |^p , dnu_gright)^{frac 1 p},qquad (*)$$
where $nabla^j u$ is the $j$-th derivative of $u$.
$(*)$More precisely, one must take functions $uin C^infty(M)$ such that each one of $displaystyle int_M |nabla^j u |^p,dnu_g$ is finite.
So, my problem is: what is exactly meant by $nabla^j u$ as "the $j$-th derivative of $u$"? I can't really give a sensible meaning to this.
Please give me some insight on this, I want a formal and clear definition (it seems that it is obvious for most autors, but I haven't seen a clear and formal explanation on this), my trouble is that I don't understand at all what is meant with $nabla^j$ (I believe we can define it for general tensor fields). Can you elaborate a detailed answer on that construction?
My problem is then that I don't understand iterated covariant derivatives (I have asked some of my friends, and they are as confused as I am)
And please, I don't want a physicist's messy definition involving debauch of indices (if possible)
Any help or clear reference is very much appreciated. An elaborated example would be very useful too.
Edit: The original question: "what is $nabla^j u$ ?" now has been settled (I'll post my own coordinate-free answer later). Now, the problem is that each one of $nabla^j u$ is a $(0, j)$-tensor field on $M$, what is the correct definition for the integral of such thing?.
So, the question is: what is meant by $displaystyleint_M |nabla^j u |^p , dnu_g$?
reference-request pde soft-question riemannian-geometry sobolev-spaces
reference-request pde soft-question riemannian-geometry sobolev-spaces
asked Dec 12 '18 at 6:45
EternalBloodEternalBlood
486218
asked Dec 12 '18 at 6:45
EternalBloodEternalBlood
486218
edited Jan 9 at 19:39
EternalBlood
asked Dec 12 '18 at 6:45
EternalBloodEternalBlood
486218
asked Dec 12 '18 at 6:45
EternalBloodEternalBlood
486218
asked Dec 12 '18 at 6:45
EternalBloodEternalBlood
486218
486218
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Let $(M,g)$ be a Riemannian manifold with associated Levi-Civita connection $nabla$. Typically one introduces the covariant derivative on vector fields, i.e., $nabla:Gamma(TM)timesGamma(TM)toGamma(TM)$, by $(X,Y)mapstonabla_XY$ which satisfies the Leibniz property and some linearity conditions. Any connection on $TM$ uniquely determines a connection on each tensor bundle $T^{(k,l)}M$. In particular, if $uin C^infty(M)$, then
$$nabla u(X)=du(X)=X[u],$$
and in coordinates we have that
$$nabla u=frac{partial u}{partial x^j}dx^j,$$
and hence
$$g(nabla u,nabla u)=g^{ij}frac{partial u}{partial x^i}frac{partial u}{partial x^j}.$$
Given a $1$-form $omegain T^{(0,1)}M$, since our connection has generalized, we have that $nablaomegain T^{(0,2)}M$, and in coordinates
$$(nablaomega)_{ij}=frac{partialomega_i}{partial x^j}-Gamma_{ij}^komega_k,$$
and so
$$g(nablaomega,nablaomega)=g^{ij}g^{lm}(nablaomega)_{il}(nablaomega)_{jm}.$$
Letting $omega=nabla u$, we then see that
$$(nabla^2u)_{ij}=frac{partial ^2u}{partial x^jpartial x^i}-Gamma_{ij}^kfrac{partial u}{partial x^k}.$$
Let's do this one more time: Given a $(0,2)$-tensor $omegain T^{(0,2)}M$, we then have $nablaomegain T^{(0,3)}M$, and
$$(nablaomega)_{ijk}=frac{partialomega_{ij}}{partial x^k}-Gamma_{ij}^lomega_{lk}-Gamma_{ij}^momega_{km}.$$
Then
$$g(nablaomega,nablaomega)=g^{i_1j_1}g^{i_2j_2}g^{i_3j_3}(nablaomega)_{i_1i_2i_3}(nablaomega)_{j_1j_2j_3}.$$
Letting $omega=nabla^2u$, we then see that
$$(nabla^3 u)_{ijk}=frac{partial^3u}{partial x^kpartial x^jpartial x^i}-Gamma_{ij}^lfrac{partial^2u}{partial x^lpartial x^k}-Gamma_{ij}^mfrac{partial^2u}{partial x^kpartial x^m}.$$
I believe the continued generalization to arbitrary $(k,l)$-tensor fields should be clear from here. Hopefully this helped any confusion.
Edit:
For another exposition of the material, cf. Emmanuel Hebby's text "Sobolev Spaces on Riemannian Manifolds".
answered Dec 14 '18 at 8:09
MattMatt
57228
$endgroup$
$begingroup$
I avoid using coordinates, but it is good to see them in action. I now understand what is meant by $nabla^j T$ for a general tensor field with or without coordinates. My problem now is that if $uin C^infty(M)$, then $nabla^j u$ is a $(0, j)$-tensor field. What is then the meaning of $displaystyleint_M |nabla^j u |^p , dnu_g$?
$endgroup$
– EternalBlood
Jan 4 at 3:22
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3036321%2funderstanding-iterated-covariant-derivatives-to-define-sobolev-spaces-on-manifol%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Let $(M,g)$ be a Riemannian manifold with associated Levi-Civita connection $nabla$. Typically one introduces the covariant derivative on vector fields, i.e., $nabla:Gamma(TM)timesGamma(TM)toGamma(TM)$, by $(X,Y)mapstonabla_XY$ which satisfies the Leibniz property and some linearity conditions. Any connection on $TM$ uniquely determines a connection on each tensor bundle $T^{(k,l)}M$. In particular, if $uin C^infty(M)$, then
$$nabla u(X)=du(X)=X[u],$$
and in coordinates we have that
$$nabla u=frac{partial u}{partial x^j}dx^j,$$
and hence
$$g(nabla u,nabla u)=g^{ij}frac{partial u}{partial x^i}frac{partial u}{partial x^j}.$$
Given a $1$-form $omegain T^{(0,1)}M$, since our connection has generalized, we have that $nablaomegain T^{(0,2)}M$, and in coordinates
$$(nablaomega)_{ij}=frac{partialomega_i}{partial x^j}-Gamma_{ij}^komega_k,$$
and so
$$g(nablaomega,nablaomega)=g^{ij}g^{lm}(nablaomega)_{il}(nablaomega)_{jm}.$$
Letting $omega=nabla u$, we then see that
$$(nabla^2u)_{ij}=frac{partial ^2u}{partial x^jpartial x^i}-Gamma_{ij}^kfrac{partial u}{partial x^k}.$$
Let's do this one more time: Given a $(0,2)$-tensor $omegain T^{(0,2)}M$, we then have $nablaomegain T^{(0,3)}M$, and
$$(nablaomega)_{ijk}=frac{partialomega_{ij}}{partial x^k}-Gamma_{ij}^lomega_{lk}-Gamma_{ij}^momega_{km}.$$
Then
$$g(nablaomega,nablaomega)=g^{i_1j_1}g^{i_2j_2}g^{i_3j_3}(nablaomega)_{i_1i_2i_3}(nablaomega)_{j_1j_2j_3}.$$
Letting $omega=nabla^2u$, we then see that
$$(nabla^3 u)_{ijk}=frac{partial^3u}{partial x^kpartial x^jpartial x^i}-Gamma_{ij}^lfrac{partial^2u}{partial x^lpartial x^k}-Gamma_{ij}^mfrac{partial^2u}{partial x^kpartial x^m}.$$
I believe the continued generalization to arbitrary $(k,l)$-tensor fields should be clear from here. Hopefully this helped any confusion.
Edit:
For another exposition of the material, cf. Emmanuel Hebby's text "Sobolev Spaces on Riemannian Manifolds".
answered Dec 14 '18 at 8:09
MattMatt
57228
$endgroup$
$begingroup$
I avoid using coordinates, but it is good to see them in action. I now understand what is meant by $nabla^j T$ for a general tensor field with or without coordinates. My problem now is that if $uin C^infty(M)$, then $nabla^j u$ is a $(0, j)$-tensor field. What is then the meaning of $displaystyleint_M |nabla^j u |^p , dnu_g$?
$endgroup$
– EternalBlood
Jan 4 at 3:22
add a comment |
$begingroup$
Let $(M,g)$ be a Riemannian manifold with associated Levi-Civita connection $nabla$. Typically one introduces the covariant derivative on vector fields, i.e., $nabla:Gamma(TM)timesGamma(TM)toGamma(TM)$, by $(X,Y)mapstonabla_XY$ which satisfies the Leibniz property and some linearity conditions. Any connection on $TM$ uniquely determines a connection on each tensor bundle $T^{(k,l)}M$. In particular, if $uin C^infty(M)$, then
$$nabla u(X)=du(X)=X[u],$$
and in coordinates we have that
$$nabla u=frac{partial u}{partial x^j}dx^j,$$
and hence
$$g(nabla u,nabla u)=g^{ij}frac{partial u}{partial x^i}frac{partial u}{partial x^j}.$$
Given a $1$-form $omegain T^{(0,1)}M$, since our connection has generalized, we have that $nablaomegain T^{(0,2)}M$, and in coordinates
$$(nablaomega)_{ij}=frac{partialomega_i}{partial x^j}-Gamma_{ij}^komega_k,$$
and so
$$g(nablaomega,nablaomega)=g^{ij}g^{lm}(nablaomega)_{il}(nablaomega)_{jm}.$$
Letting $omega=nabla u$, we then see that
$$(nabla^2u)_{ij}=frac{partial ^2u}{partial x^jpartial x^i}-Gamma_{ij}^kfrac{partial u}{partial x^k}.$$
Let's do this one more time: Given a $(0,2)$-tensor $omegain T^{(0,2)}M$, we then have $nablaomegain T^{(0,3)}M$, and
$$(nablaomega)_{ijk}=frac{partialomega_{ij}}{partial x^k}-Gamma_{ij}^lomega_{lk}-Gamma_{ij}^momega_{km}.$$
Then
$$g(nablaomega,nablaomega)=g^{i_1j_1}g^{i_2j_2}g^{i_3j_3}(nablaomega)_{i_1i_2i_3}(nablaomega)_{j_1j_2j_3}.$$
Letting $omega=nabla^2u$, we then see that
$$(nabla^3 u)_{ijk}=frac{partial^3u}{partial x^kpartial x^jpartial x^i}-Gamma_{ij}^lfrac{partial^2u}{partial x^lpartial x^k}-Gamma_{ij}^mfrac{partial^2u}{partial x^kpartial x^m}.$$
I believe the continued generalization to arbitrary $(k,l)$-tensor fields should be clear from here. Hopefully this helped any confusion.
Edit:
For another exposition of the material, cf. Emmanuel Hebby's text "Sobolev Spaces on Riemannian Manifolds".
answered Dec 14 '18 at 8:09
MattMatt
57228
$endgroup$
$begingroup$
I avoid using coordinates, but it is good to see them in action. I now understand what is meant by $nabla^j T$ for a general tensor field with or without coordinates. My problem now is that if $uin C^infty(M)$, then $nabla^j u$ is a $(0, j)$-tensor field. What is then the meaning of $displaystyleint_M |nabla^j u |^p , dnu_g$?
$endgroup$
– EternalBlood
Jan 4 at 3:22
add a comment |
$begingroup$
Let $(M,g)$ be a Riemannian manifold with associated Levi-Civita connection $nabla$. Typically one introduces the covariant derivative on vector fields, i.e., $nabla:Gamma(TM)timesGamma(TM)toGamma(TM)$, by $(X,Y)mapstonabla_XY$ which satisfies the Leibniz property and some linearity conditions. Any connection on $TM$ uniquely determines a connection on each tensor bundle $T^{(k,l)}M$. In particular, if $uin C^infty(M)$, then
$$nabla u(X)=du(X)=X[u],$$
and in coordinates we have that
$$nabla u=frac{partial u}{partial x^j}dx^j,$$
and hence
$$g(nabla u,nabla u)=g^{ij}frac{partial u}{partial x^i}frac{partial u}{partial x^j}.$$
Given a $1$-form $omegain T^{(0,1)}M$, since our connection has generalized, we have that $nablaomegain T^{(0,2)}M$, and in coordinates
$$(nablaomega)_{ij}=frac{partialomega_i}{partial x^j}-Gamma_{ij}^komega_k,$$
and so
$$g(nablaomega,nablaomega)=g^{ij}g^{lm}(nablaomega)_{il}(nablaomega)_{jm}.$$
Letting $omega=nabla u$, we then see that
$$(nabla^2u)_{ij}=frac{partial ^2u}{partial x^jpartial x^i}-Gamma_{ij}^kfrac{partial u}{partial x^k}.$$
Let's do this one more time: Given a $(0,2)$-tensor $omegain T^{(0,2)}M$, we then have $nablaomegain T^{(0,3)}M$, and
$$(nablaomega)_{ijk}=frac{partialomega_{ij}}{partial x^k}-Gamma_{ij}^lomega_{lk}-Gamma_{ij}^momega_{km}.$$
Then
$$g(nablaomega,nablaomega)=g^{i_1j_1}g^{i_2j_2}g^{i_3j_3}(nablaomega)_{i_1i_2i_3}(nablaomega)_{j_1j_2j_3}.$$
Letting $omega=nabla^2u$, we then see that
$$(nabla^3 u)_{ijk}=frac{partial^3u}{partial x^kpartial x^jpartial x^i}-Gamma_{ij}^lfrac{partial^2u}{partial x^lpartial x^k}-Gamma_{ij}^mfrac{partial^2u}{partial x^kpartial x^m}.$$
I believe the continued generalization to arbitrary $(k,l)$-tensor fields should be clear from here. Hopefully this helped any confusion.
Edit:
For another exposition of the material, cf. Emmanuel Hebby's text "Sobolev Spaces on Riemannian Manifolds".
answered Dec 14 '18 at 8:09
MattMatt
57228
$endgroup$
Let $(M,g)$ be a Riemannian manifold with associated Levi-Civita connection $nabla$. Typically one introduces the covariant derivative on vector fields, i.e., $nabla:Gamma(TM)timesGamma(TM)toGamma(TM)$, by $(X,Y)mapstonabla_XY$ which satisfies the Leibniz property and some linearity conditions. Any connection on $TM$ uniquely determines a connection on each tensor bundle $T^{(k,l)}M$. In particular, if $uin C^infty(M)$, then
$$nabla u(X)=du(X)=X[u],$$
and in coordinates we have that
$$nabla u=frac{partial u}{partial x^j}dx^j,$$
and hence
$$g(nabla u,nabla u)=g^{ij}frac{partial u}{partial x^i}frac{partial u}{partial x^j}.$$
Given a $1$-form $omegain T^{(0,1)}M$, since our connection has generalized, we have that $nablaomegain T^{(0,2)}M$, and in coordinates
$$(nablaomega)_{ij}=frac{partialomega_i}{partial x^j}-Gamma_{ij}^komega_k,$$
and so
$$g(nablaomega,nablaomega)=g^{ij}g^{lm}(nablaomega)_{il}(nablaomega)_{jm}.$$
Letting $omega=nabla u$, we then see that
$$(nabla^2u)_{ij}=frac{partial ^2u}{partial x^jpartial x^i}-Gamma_{ij}^kfrac{partial u}{partial x^k}.$$
Let's do this one more time: Given a $(0,2)$-tensor $omegain T^{(0,2)}M$, we then have $nablaomegain T^{(0,3)}M$, and
$$(nablaomega)_{ijk}=frac{partialomega_{ij}}{partial x^k}-Gamma_{ij}^lomega_{lk}-Gamma_{ij}^momega_{km}.$$
Then
$$g(nablaomega,nablaomega)=g^{i_1j_1}g^{i_2j_2}g^{i_3j_3}(nablaomega)_{i_1i_2i_3}(nablaomega)_{j_1j_2j_3}.$$
Letting $omega=nabla^2u$, we then see that
$$(nabla^3 u)_{ijk}=frac{partial^3u}{partial x^kpartial x^jpartial x^i}-Gamma_{ij}^lfrac{partial^2u}{partial x^lpartial x^k}-Gamma_{ij}^mfrac{partial^2u}{partial x^kpartial x^m}.$$
I believe the continued generalization to arbitrary $(k,l)$-tensor fields should be clear from here. Hopefully this helped any confusion.
Edit:
For another exposition of the material, cf. Emmanuel Hebby's text "Sobolev Spaces on Riemannian Manifolds".
answered Dec 14 '18 at 8:09
MattMatt
57228
edited Dec 14 '18 at 12:45
answered Dec 14 '18 at 8:09
MattMatt
57228
answered Dec 14 '18 at 8:09
MattMatt
57228
answered Dec 14 '18 at 8:09
MattMatt
57228
57228
$begingroup$
I avoid using coordinates, but it is good to see them in action. I now understand what is meant by $nabla^j T$ for a general tensor field with or without coordinates. My problem now is that if $uin C^infty(M)$, then $nabla^j u$ is a $(0, j)$-tensor field. What is then the meaning of $displaystyleint_M |nabla^j u |^p , dnu_g$?
$endgroup$
– EternalBlood
Jan 4 at 3:22
add a comment |
$begingroup$
I avoid using coordinates, but it is good to see them in action. I now understand what is meant by $nabla^j T$ for a general tensor field with or without coordinates. My problem now is that if $uin C^infty(M)$, then $nabla^j u$ is a $(0, j)$-tensor field. What is then the meaning of $displaystyleint_M |nabla^j u |^p , dnu_g$?
$endgroup$
– EternalBlood
Jan 4 at 3:22
$begingroup$
I avoid using coordinates, but it is good to see them in action. I now understand what is meant by $nabla^j T$ for a general tensor field with or without coordinates. My problem now is that if $uin C^infty(M)$, then $nabla^j u$ is a $(0, j)$-tensor field. What is then the meaning of $displaystyleint_M |nabla^j u |^p , dnu_g$?
$endgroup$
– EternalBlood
Jan 4 at 3:22
$begingroup$
I avoid using coordinates, but it is good to see them in action. I now understand what is meant by $nabla^j T$ for a general tensor field with or without coordinates. My problem now is that if $uin C^infty(M)$, then $nabla^j u$ is a $(0, j)$-tensor field. What is then the meaning of $displaystyleint_M |nabla^j u |^p , dnu_g$?
$endgroup$
– EternalBlood
Jan 4 at 3:22
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3036321%2funderstanding-iterated-covariant-derivatives-to-define-sobolev-spaces-on-manifol%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
