Mixing
Integrating an inner product by parts
I am trying to integrate the following:
$$ int langle F, -(partial_u kappa) Trangle du $$
where $F: S^1 times [0,T) to mathbb{R}^2$ is a simple closed plane curve given
by spatial parameter $u$ (mod $2pi$) and time parameter $t$. The paper I
am reading states that integrating the above by parts yields:
$$ int langle partial_u F, kappa Trangle + langle F, kappa partial_u Trangle du $$
I am not even sure how you would integrate an inner product, let alone integrate one by parts. Any help is appreciated.
Edit: Thought I would share some of the work I have done here. The closest I have come to solving this is getting the equation
$$ partial_u langle F, kappa Trangle = langle partial_u F, kappa Trangle + langle F, (partial_u kappa)Trangle + langle F,kappapartial_u Trangle $$
which gives us:
$$ langle F, -(partial_u kappa)Trangle + partial_u langle F, kappa Trangle = langle partial_u F, kappa Trangle + + langle F,kappapartial_u Trangle $$
But I have an extra term and haven't done any integration.
2nd edit: Thought I would link the paper just in case anyone wanted to get some more context. https://projecteuclid.org/download/pdf_1/euclid.jdg/1214439902. Page 7 Lemma 3.1.7
differential-geometry mean-curvature-flows
asked May 11 '18 at 3:27
Anmol Bhullar
19611
add a comment |
I am trying to integrate the following:
$$ int langle F, -(partial_u kappa) Trangle du $$
where $F: S^1 times [0,T) to mathbb{R}^2$ is a simple closed plane curve given
by spatial parameter $u$ (mod $2pi$) and time parameter $t$. The paper I
am reading states that integrating the above by parts yields:
$$ int langle partial_u F, kappa Trangle + langle F, kappa partial_u Trangle du $$
I am not even sure how you would integrate an inner product, let alone integrate one by parts. Any help is appreciated.
Edit: Thought I would share some of the work I have done here. The closest I have come to solving this is getting the equation
$$ partial_u langle F, kappa Trangle = langle partial_u F, kappa Trangle + langle F, (partial_u kappa)Trangle + langle F,kappapartial_u Trangle $$
which gives us:
$$ langle F, -(partial_u kappa)Trangle + partial_u langle F, kappa Trangle = langle partial_u F, kappa Trangle + + langle F,kappapartial_u Trangle $$
But I have an extra term and haven't done any integration.
2nd edit: Thought I would link the paper just in case anyone wanted to get some more context. https://projecteuclid.org/download/pdf_1/euclid.jdg/1214439902. Page 7 Lemma 3.1.7
differential-geometry mean-curvature-flows
asked May 11 '18 at 3:27
Anmol Bhullar
19611
1
Your work looks good. Now take integrals of everything. Do you know the general Stokes' Theorem?
– Jesse Madnick
May 11 '18 at 8:19
If I take the integral of that equation do I not end up with an extra term? (Namely $partial_u langle F,kappa Trangle$).
– Anmol Bhullar
May 11 '18 at 15:35
Yes, but that extra integral equals zero (by Stokes' Theorem).
– Jesse Madnick
May 11 '18 at 18:57
I am not very familiar with differential forms sorry. What would be $omega$ in this case? (Following the notation from the wiki page you linked)
– Anmol Bhullar
May 11 '18 at 19:22
add a comment |
I am trying to integrate the following:
$$ int langle F, -(partial_u kappa) Trangle du $$
where $F: S^1 times [0,T) to mathbb{R}^2$ is a simple closed plane curve given
by spatial parameter $u$ (mod $2pi$) and time parameter $t$. The paper I
am reading states that integrating the above by parts yields:
$$ int langle partial_u F, kappa Trangle + langle F, kappa partial_u Trangle du $$
I am not even sure how you would integrate an inner product, let alone integrate one by parts. Any help is appreciated.
Edit: Thought I would share some of the work I have done here. The closest I have come to solving this is getting the equation
$$ partial_u langle F, kappa Trangle = langle partial_u F, kappa Trangle + langle F, (partial_u kappa)Trangle + langle F,kappapartial_u Trangle $$
which gives us:
$$ langle F, -(partial_u kappa)Trangle + partial_u langle F, kappa Trangle = langle partial_u F, kappa Trangle + + langle F,kappapartial_u Trangle $$
But I have an extra term and haven't done any integration.
2nd edit: Thought I would link the paper just in case anyone wanted to get some more context. https://projecteuclid.org/download/pdf_1/euclid.jdg/1214439902. Page 7 Lemma 3.1.7
differential-geometry mean-curvature-flows
asked May 11 '18 at 3:27
Anmol Bhullar
19611
I am trying to integrate the following:
$$ int langle F, -(partial_u kappa) Trangle du $$
where $F: S^1 times [0,T) to mathbb{R}^2$ is a simple closed plane curve given
by spatial parameter $u$ (mod $2pi$) and time parameter $t$. The paper I
am reading states that integrating the above by parts yields:
$$ int langle partial_u F, kappa Trangle + langle F, kappa partial_u Trangle du $$
I am not even sure how you would integrate an inner product, let alone integrate one by parts. Any help is appreciated.
Edit: Thought I would share some of the work I have done here. The closest I have come to solving this is getting the equation
$$ partial_u langle F, kappa Trangle = langle partial_u F, kappa Trangle + langle F, (partial_u kappa)Trangle + langle F,kappapartial_u Trangle $$
which gives us:
$$ langle F, -(partial_u kappa)Trangle + partial_u langle F, kappa Trangle = langle partial_u F, kappa Trangle + + langle F,kappapartial_u Trangle $$
But I have an extra term and haven't done any integration.
2nd edit: Thought I would link the paper just in case anyone wanted to get some more context. https://projecteuclid.org/download/pdf_1/euclid.jdg/1214439902. Page 7 Lemma 3.1.7
differential-geometry mean-curvature-flows
differential-geometry mean-curvature-flows
asked May 11 '18 at 3:27
Anmol Bhullar
19611
asked May 11 '18 at 3:27
Anmol Bhullar
19611
edited May 11 '18 at 7:41
user99914
asked May 11 '18 at 3:27
Anmol Bhullar
19611
asked May 11 '18 at 3:27
Anmol Bhullar
19611
asked May 11 '18 at 3:27
Anmol Bhullar
19611
19611
1
Your work looks good. Now take integrals of everything. Do you know the general Stokes' Theorem?
– Jesse Madnick
May 11 '18 at 8:19
If I take the integral of that equation do I not end up with an extra term? (Namely $partial_u langle F,kappa Trangle$).
– Anmol Bhullar
May 11 '18 at 15:35
Yes, but that extra integral equals zero (by Stokes' Theorem).
– Jesse Madnick
May 11 '18 at 18:57
I am not very familiar with differential forms sorry. What would be $omega$ in this case? (Following the notation from the wiki page you linked)
– Anmol Bhullar
May 11 '18 at 19:22
add a comment |
1
Your work looks good. Now take integrals of everything. Do you know the general Stokes' Theorem?
– Jesse Madnick
May 11 '18 at 8:19
If I take the integral of that equation do I not end up with an extra term? (Namely $partial_u langle F,kappa Trangle$).
– Anmol Bhullar
May 11 '18 at 15:35
Yes, but that extra integral equals zero (by Stokes' Theorem).
– Jesse Madnick
May 11 '18 at 18:57
I am not very familiar with differential forms sorry. What would be $omega$ in this case? (Following the notation from the wiki page you linked)
– Anmol Bhullar
May 11 '18 at 19:22
1
1
Your work looks good. Now take integrals of everything. Do you know the general Stokes' Theorem?
– Jesse Madnick
May 11 '18 at 8:19
Your work looks good. Now take integrals of everything. Do you know the general Stokes' Theorem?
– Jesse Madnick
May 11 '18 at 8:19
If I take the integral of that equation do I not end up with an extra term? (Namely $partial_u langle F,kappa Trangle$).
– Anmol Bhullar
May 11 '18 at 15:35
If I take the integral of that equation do I not end up with an extra term? (Namely $partial_u langle F,kappa Trangle$).
– Anmol Bhullar
May 11 '18 at 15:35
Yes, but that extra integral equals zero (by Stokes' Theorem).
– Jesse Madnick
May 11 '18 at 18:57
Yes, but that extra integral equals zero (by Stokes' Theorem).
– Jesse Madnick
May 11 '18 at 18:57
I am not very familiar with differential forms sorry. What would be $omega$ in this case? (Following the notation from the wiki page you linked)
– Anmol Bhullar
May 11 '18 at 19:22
I am not very familiar with differential forms sorry. What would be $omega$ in this case? (Following the notation from the wiki page you linked)
– Anmol Bhullar
May 11 '18 at 19:22
add a comment |
1 Answer
1
active
oldest
votes
We have a simple closed curve in the plane $F colon mathbb{S}^1 times I to mathbb{R}^2$ that is evolving in time $t in I$ according to the heat equation. We are letting $u$ denote the spatial parameter. We let $T$ and $N$ be the unit tangent and inward-pointing normal vectors, respectively.
The OP has correctly calculated that
$$frac{partial}{partial u} langle F, kappa T rangle = leftlangle frac{partial F}{partial u}, kappa Trightrangle + leftlangle F, frac{partial kappa}{partial u} T rightrangle + leftlangle F, kappa frac{partial T}{partial u} right rangle!,$$
whence
$$leftlangle F, -frac{partial kappa}{partial u} T rightrangle = - frac{partial}{partial u} langle F, kappa Trangle + leftlangle frac{partial F}{partial u}, kappa Trightrangle + leftlangle F, kappa frac{partial T}{partial u} right rangle!,$$
whence
$$int_0^{2pi}leftlangle F, -frac{partial kappa}{partial u} T rightrangle du = - int_0^{2pi}frac{partial}{partial u} langle F, kappa Trangle, du + int_0^{2pi}leftlangle frac{partial F}{partial u}, kappa Trightrangle du + int_0^{2pi}leftlangle F, kappa frac{partial T}{partial u} right rangle du.$$
By the Fundamental Theorem of Calculus, the first integral on the right side is zero (because we're working with a simple closed curve):
$$int_0^{2pi}frac{partial}{partial u} langle F, kappa Trangle, du = left. frac{}{} langle F, kappa Trangle right|^{2pi}_0 = langle F(2pi), kappa(2pi)T(2pi) rangle - langle F(0), kappa(0)T(0) rangle = 0.$$
answered May 11 '18 at 23:42
Jesse Madnick
19.5k562123
Thank you so much for this. I didn't realize I almost had it. Also, you are using $tau$ sometimes. Do you mean $T$?
– Anmol Bhullar
May 12 '18 at 9:45
Yes, that was a consistent typo; it's fixed now.
– Jesse Madnick
May 12 '18 at 22:42
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%2f2776115%2fintegrating-an-inner-product-by-parts%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
We have a simple closed curve in the plane $F colon mathbb{S}^1 times I to mathbb{R}^2$ that is evolving in time $t in I$ according to the heat equation. We are letting $u$ denote the spatial parameter. We let $T$ and $N$ be the unit tangent and inward-pointing normal vectors, respectively.
The OP has correctly calculated that
$$frac{partial}{partial u} langle F, kappa T rangle = leftlangle frac{partial F}{partial u}, kappa Trightrangle + leftlangle F, frac{partial kappa}{partial u} T rightrangle + leftlangle F, kappa frac{partial T}{partial u} right rangle!,$$
whence
$$leftlangle F, -frac{partial kappa}{partial u} T rightrangle = - frac{partial}{partial u} langle F, kappa Trangle + leftlangle frac{partial F}{partial u}, kappa Trightrangle + leftlangle F, kappa frac{partial T}{partial u} right rangle!,$$
whence
$$int_0^{2pi}leftlangle F, -frac{partial kappa}{partial u} T rightrangle du = - int_0^{2pi}frac{partial}{partial u} langle F, kappa Trangle, du + int_0^{2pi}leftlangle frac{partial F}{partial u}, kappa Trightrangle du + int_0^{2pi}leftlangle F, kappa frac{partial T}{partial u} right rangle du.$$
By the Fundamental Theorem of Calculus, the first integral on the right side is zero (because we're working with a simple closed curve):
$$int_0^{2pi}frac{partial}{partial u} langle F, kappa Trangle, du = left. frac{}{} langle F, kappa Trangle right|^{2pi}_0 = langle F(2pi), kappa(2pi)T(2pi) rangle - langle F(0), kappa(0)T(0) rangle = 0.$$
answered May 11 '18 at 23:42
Jesse Madnick
19.5k562123
Thank you so much for this. I didn't realize I almost had it. Also, you are using $tau$ sometimes. Do you mean $T$?
– Anmol Bhullar
May 12 '18 at 9:45
Yes, that was a consistent typo; it's fixed now.
– Jesse Madnick
May 12 '18 at 22:42
add a comment |
We have a simple closed curve in the plane $F colon mathbb{S}^1 times I to mathbb{R}^2$ that is evolving in time $t in I$ according to the heat equation. We are letting $u$ denote the spatial parameter. We let $T$ and $N$ be the unit tangent and inward-pointing normal vectors, respectively.
The OP has correctly calculated that
$$frac{partial}{partial u} langle F, kappa T rangle = leftlangle frac{partial F}{partial u}, kappa Trightrangle + leftlangle F, frac{partial kappa}{partial u} T rightrangle + leftlangle F, kappa frac{partial T}{partial u} right rangle!,$$
whence
$$leftlangle F, -frac{partial kappa}{partial u} T rightrangle = - frac{partial}{partial u} langle F, kappa Trangle + leftlangle frac{partial F}{partial u}, kappa Trightrangle + leftlangle F, kappa frac{partial T}{partial u} right rangle!,$$
whence
$$int_0^{2pi}leftlangle F, -frac{partial kappa}{partial u} T rightrangle du = - int_0^{2pi}frac{partial}{partial u} langle F, kappa Trangle, du + int_0^{2pi}leftlangle frac{partial F}{partial u}, kappa Trightrangle du + int_0^{2pi}leftlangle F, kappa frac{partial T}{partial u} right rangle du.$$
By the Fundamental Theorem of Calculus, the first integral on the right side is zero (because we're working with a simple closed curve):
$$int_0^{2pi}frac{partial}{partial u} langle F, kappa Trangle, du = left. frac{}{} langle F, kappa Trangle right|^{2pi}_0 = langle F(2pi), kappa(2pi)T(2pi) rangle - langle F(0), kappa(0)T(0) rangle = 0.$$
answered May 11 '18 at 23:42
Jesse Madnick
19.5k562123
Thank you so much for this. I didn't realize I almost had it. Also, you are using $tau$ sometimes. Do you mean $T$?
– Anmol Bhullar
May 12 '18 at 9:45
Yes, that was a consistent typo; it's fixed now.
– Jesse Madnick
May 12 '18 at 22:42
add a comment |
We have a simple closed curve in the plane $F colon mathbb{S}^1 times I to mathbb{R}^2$ that is evolving in time $t in I$ according to the heat equation. We are letting $u$ denote the spatial parameter. We let $T$ and $N$ be the unit tangent and inward-pointing normal vectors, respectively.
The OP has correctly calculated that
$$frac{partial}{partial u} langle F, kappa T rangle = leftlangle frac{partial F}{partial u}, kappa Trightrangle + leftlangle F, frac{partial kappa}{partial u} T rightrangle + leftlangle F, kappa frac{partial T}{partial u} right rangle!,$$
whence
$$leftlangle F, -frac{partial kappa}{partial u} T rightrangle = - frac{partial}{partial u} langle F, kappa Trangle + leftlangle frac{partial F}{partial u}, kappa Trightrangle + leftlangle F, kappa frac{partial T}{partial u} right rangle!,$$
whence
$$int_0^{2pi}leftlangle F, -frac{partial kappa}{partial u} T rightrangle du = - int_0^{2pi}frac{partial}{partial u} langle F, kappa Trangle, du + int_0^{2pi}leftlangle frac{partial F}{partial u}, kappa Trightrangle du + int_0^{2pi}leftlangle F, kappa frac{partial T}{partial u} right rangle du.$$
By the Fundamental Theorem of Calculus, the first integral on the right side is zero (because we're working with a simple closed curve):
$$int_0^{2pi}frac{partial}{partial u} langle F, kappa Trangle, du = left. frac{}{} langle F, kappa Trangle right|^{2pi}_0 = langle F(2pi), kappa(2pi)T(2pi) rangle - langle F(0), kappa(0)T(0) rangle = 0.$$
answered May 11 '18 at 23:42
Jesse Madnick
19.5k562123
We have a simple closed curve in the plane $F colon mathbb{S}^1 times I to mathbb{R}^2$ that is evolving in time $t in I$ according to the heat equation. We are letting $u$ denote the spatial parameter. We let $T$ and $N$ be the unit tangent and inward-pointing normal vectors, respectively.
The OP has correctly calculated that
$$frac{partial}{partial u} langle F, kappa T rangle = leftlangle frac{partial F}{partial u}, kappa Trightrangle + leftlangle F, frac{partial kappa}{partial u} T rightrangle + leftlangle F, kappa frac{partial T}{partial u} right rangle!,$$
whence
$$leftlangle F, -frac{partial kappa}{partial u} T rightrangle = - frac{partial}{partial u} langle F, kappa Trangle + leftlangle frac{partial F}{partial u}, kappa Trightrangle + leftlangle F, kappa frac{partial T}{partial u} right rangle!,$$
whence
$$int_0^{2pi}leftlangle F, -frac{partial kappa}{partial u} T rightrangle du = - int_0^{2pi}frac{partial}{partial u} langle F, kappa Trangle, du + int_0^{2pi}leftlangle frac{partial F}{partial u}, kappa Trightrangle du + int_0^{2pi}leftlangle F, kappa frac{partial T}{partial u} right rangle du.$$
By the Fundamental Theorem of Calculus, the first integral on the right side is zero (because we're working with a simple closed curve):
$$int_0^{2pi}frac{partial}{partial u} langle F, kappa Trangle, du = left. frac{}{} langle F, kappa Trangle right|^{2pi}_0 = langle F(2pi), kappa(2pi)T(2pi) rangle - langle F(0), kappa(0)T(0) rangle = 0.$$
answered May 11 '18 at 23:42
Jesse Madnick
19.5k562123
edited Nov 20 '18 at 18:23
answered May 11 '18 at 23:42
Jesse Madnick
19.5k562123
answered May 11 '18 at 23:42
Jesse Madnick
19.5k562123
answered May 11 '18 at 23:42
Jesse Madnick
19.5k562123
19.5k562123
Thank you so much for this. I didn't realize I almost had it. Also, you are using $tau$ sometimes. Do you mean $T$?
– Anmol Bhullar
May 12 '18 at 9:45
Yes, that was a consistent typo; it's fixed now.
– Jesse Madnick
May 12 '18 at 22:42
add a comment |
Thank you so much for this. I didn't realize I almost had it. Also, you are using $tau$ sometimes. Do you mean $T$?
– Anmol Bhullar
May 12 '18 at 9:45
Yes, that was a consistent typo; it's fixed now.
– Jesse Madnick
May 12 '18 at 22:42
Thank you so much for this. I didn't realize I almost had it. Also, you are using $tau$ sometimes. Do you mean $T$?
– Anmol Bhullar
May 12 '18 at 9:45
Thank you so much for this. I didn't realize I almost had it. Also, you are using $tau$ sometimes. Do you mean $T$?
– Anmol Bhullar
May 12 '18 at 9:45
Yes, that was a consistent typo; it's fixed now.
– Jesse Madnick
May 12 '18 at 22:42
Yes, that was a consistent typo; it's fixed now.
– Jesse Madnick
May 12 '18 at 22:42
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f2776115%2fintegrating-an-inner-product-by-parts%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
1
Your work looks good. Now take integrals of everything. Do you know the general Stokes' Theorem?
– Jesse Madnick
May 11 '18 at 8:19
If I take the integral of that equation do I not end up with an extra term? (Namely $partial_u langle F,kappa Trangle$).
– Anmol Bhullar
May 11 '18 at 15:35
Yes, but that extra integral equals zero (by Stokes' Theorem).
– Jesse Madnick
May 11 '18 at 18:57
I am not very familiar with differential forms sorry. What would be $omega$ in this case? (Following the notation from the wiki page you linked)
– Anmol Bhullar
May 11 '18 at 19:22