The set of orthonormal frames along a curve
$begingroup$
Suppose $gamma colon [0,alpha] tomathbb{R}^{3}$ is a smooth unit-speed curve. Let $(E,V,W)$ be a $gamma$-adapted orthonormal frame along $gamma$ (by $gamma$-adapted I mean $E=dot{gamma}$).
It follows that there exist smooth functions $kappa_{1}, kappa_{2}, kappa_{3} colon I to mathbb{R}$, such that
$$
begin{pmatrix}
dot{E}\
dot{V}\
dot{W}
end{pmatrix}
=
begin{pmatrix}
0 & kappa_{1} & kappa_{2}\
-kappa_{1} & 0 & kappa_{3}\
-kappa_{2} & -kappa_{3} & 0
end{pmatrix}
begin{pmatrix}
E\
V\
W
end{pmatrix}.
$$
Conversely, for any choice of $(f_{1},f_{2},f_{3}) in C^{infty}(I,mathbb{R}^{3})$ and suitable initial condition $(v,w)$, the system
$$
begin{cases}
dot{V}=-f_{1}E + f_{3}W\
dot{W}=-f_{2}E-f_{3}V\
V(0)=v,:W(0)=w
end{cases}
$$
has unique global solution $(overline{V},overline{W})$.
Question: If I keep the initial condition fixed, what condition should $(f_{1},f_{2},f_{3})$ satisfy so that $(E,overline{V},overline{W})$ is a $gamma$-adapted orthonormal frame along $gamma$?
ordinary-differential-equations differential-geometry lie-groups riemannian-geometry curves
$endgroup$
add a comment |
$begingroup$
Suppose $gamma colon [0,alpha] tomathbb{R}^{3}$ is a smooth unit-speed curve. Let $(E,V,W)$ be a $gamma$-adapted orthonormal frame along $gamma$ (by $gamma$-adapted I mean $E=dot{gamma}$).
It follows that there exist smooth functions $kappa_{1}, kappa_{2}, kappa_{3} colon I to mathbb{R}$, such that
$$
begin{pmatrix}
dot{E}\
dot{V}\
dot{W}
end{pmatrix}
=
begin{pmatrix}
0 & kappa_{1} & kappa_{2}\
-kappa_{1} & 0 & kappa_{3}\
-kappa_{2} & -kappa_{3} & 0
end{pmatrix}
begin{pmatrix}
E\
V\
W
end{pmatrix}.
$$
Conversely, for any choice of $(f_{1},f_{2},f_{3}) in C^{infty}(I,mathbb{R}^{3})$ and suitable initial condition $(v,w)$, the system
$$
begin{cases}
dot{V}=-f_{1}E + f_{3}W\
dot{W}=-f_{2}E-f_{3}V\
V(0)=v,:W(0)=w
end{cases}
$$
has unique global solution $(overline{V},overline{W})$.
Question: If I keep the initial condition fixed, what condition should $(f_{1},f_{2},f_{3})$ satisfy so that $(E,overline{V},overline{W})$ is a $gamma$-adapted orthonormal frame along $gamma$?
ordinary-differential-equations differential-geometry lie-groups riemannian-geometry curves
$endgroup$
2
$begingroup$
You haven't specified what $gamma$-adapted means. I assume you mean $E=dotgamma$?
$endgroup$
– Ted Shifrin
Dec 18 '18 at 17:39
$begingroup$
@TedShifrin Yes indeed. I have now edited the question, I hope it is more clear.
$endgroup$
– MK7
Dec 18 '18 at 18:30
add a comment |
$begingroup$
Suppose $gamma colon [0,alpha] tomathbb{R}^{3}$ is a smooth unit-speed curve. Let $(E,V,W)$ be a $gamma$-adapted orthonormal frame along $gamma$ (by $gamma$-adapted I mean $E=dot{gamma}$).
It follows that there exist smooth functions $kappa_{1}, kappa_{2}, kappa_{3} colon I to mathbb{R}$, such that
$$
begin{pmatrix}
dot{E}\
dot{V}\
dot{W}
end{pmatrix}
=
begin{pmatrix}
0 & kappa_{1} & kappa_{2}\
-kappa_{1} & 0 & kappa_{3}\
-kappa_{2} & -kappa_{3} & 0
end{pmatrix}
begin{pmatrix}
E\
V\
W
end{pmatrix}.
$$
Conversely, for any choice of $(f_{1},f_{2},f_{3}) in C^{infty}(I,mathbb{R}^{3})$ and suitable initial condition $(v,w)$, the system
$$
begin{cases}
dot{V}=-f_{1}E + f_{3}W\
dot{W}=-f_{2}E-f_{3}V\
V(0)=v,:W(0)=w
end{cases}
$$
has unique global solution $(overline{V},overline{W})$.
Question: If I keep the initial condition fixed, what condition should $(f_{1},f_{2},f_{3})$ satisfy so that $(E,overline{V},overline{W})$ is a $gamma$-adapted orthonormal frame along $gamma$?
ordinary-differential-equations differential-geometry lie-groups riemannian-geometry curves
$endgroup$
Suppose $gamma colon [0,alpha] tomathbb{R}^{3}$ is a smooth unit-speed curve. Let $(E,V,W)$ be a $gamma$-adapted orthonormal frame along $gamma$ (by $gamma$-adapted I mean $E=dot{gamma}$).
It follows that there exist smooth functions $kappa_{1}, kappa_{2}, kappa_{3} colon I to mathbb{R}$, such that
$$
begin{pmatrix}
dot{E}\
dot{V}\
dot{W}
end{pmatrix}
=
begin{pmatrix}
0 & kappa_{1} & kappa_{2}\
-kappa_{1} & 0 & kappa_{3}\
-kappa_{2} & -kappa_{3} & 0
end{pmatrix}
begin{pmatrix}
E\
V\
W
end{pmatrix}.
$$
Conversely, for any choice of $(f_{1},f_{2},f_{3}) in C^{infty}(I,mathbb{R}^{3})$ and suitable initial condition $(v,w)$, the system
$$
begin{cases}
dot{V}=-f_{1}E + f_{3}W\
dot{W}=-f_{2}E-f_{3}V\
V(0)=v,:W(0)=w
end{cases}
$$
has unique global solution $(overline{V},overline{W})$.
Question: If I keep the initial condition fixed, what condition should $(f_{1},f_{2},f_{3})$ satisfy so that $(E,overline{V},overline{W})$ is a $gamma$-adapted orthonormal frame along $gamma$?
ordinary-differential-equations differential-geometry lie-groups riemannian-geometry curves
ordinary-differential-equations differential-geometry lie-groups riemannian-geometry curves
edited Dec 19 '18 at 12:11
MK7
asked Dec 18 '18 at 9:44
MK7MK7
303210
303210
2
$begingroup$
You haven't specified what $gamma$-adapted means. I assume you mean $E=dotgamma$?
$endgroup$
– Ted Shifrin
Dec 18 '18 at 17:39
$begingroup$
@TedShifrin Yes indeed. I have now edited the question, I hope it is more clear.
$endgroup$
– MK7
Dec 18 '18 at 18:30
add a comment |
2
$begingroup$
You haven't specified what $gamma$-adapted means. I assume you mean $E=dotgamma$?
$endgroup$
– Ted Shifrin
Dec 18 '18 at 17:39
$begingroup$
@TedShifrin Yes indeed. I have now edited the question, I hope it is more clear.
$endgroup$
– MK7
Dec 18 '18 at 18:30
2
2
$begingroup$
You haven't specified what $gamma$-adapted means. I assume you mean $E=dotgamma$?
$endgroup$
– Ted Shifrin
Dec 18 '18 at 17:39
$begingroup$
You haven't specified what $gamma$-adapted means. I assume you mean $E=dotgamma$?
$endgroup$
– Ted Shifrin
Dec 18 '18 at 17:39
$begingroup$
@TedShifrin Yes indeed. I have now edited the question, I hope it is more clear.
$endgroup$
– MK7
Dec 18 '18 at 18:30
$begingroup$
@TedShifrin Yes indeed. I have now edited the question, I hope it is more clear.
$endgroup$
– MK7
Dec 18 '18 at 18:30
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I am not completely sure whether I understand your question well, but if you just require $E=dotgamma$, then the freedom in finding an adapted orthonormal frame is given by a smooth function $Ito O(2)$. Explicitly, if you fix one adapted orthonormal frame $E,V,W$, then you can write as $bar V(t)=a(t)V(t)+b(t)W(t)$, $bar W(t)=c(t)V(t)+d(t)W(t)$ (which exhausts all vectors pependiculat to $E(t)$, which is fixed). Then the condition that $V(t)$ and $W(t)$ are orthonormal is exactly that $begin{pmatrix} a(t) & b(t)\ c(t) & d(t)end{pmatrix}in O(2)$. (What you are writing up corresponds to the infinitesmial verstion of this condition and does not take into account that $E$ has to be fixed.
However, the notion of an adapted orthonormal frame is not the usual one. What one usually assume in this situation is that $ddotgamma(t)$ (which automatically is perpendicular to $dotgamma(t)$ is non-zero for all $t$. Then one gets a unique adapted orthonormal frame by putting $V(t):=frac{ ddotgamma(t)}{|ddotgamma(t)|}$ and then $W(t)$ to be $E(t)times V(t)$ (i.e. the unique vector such that ${E(t),V(t),W(t)}$ is a positively oriented orthonormal basis for each $t$.
Edit (in view of the comments and the modification of the question): I would not believe that the question has a simple answer. For example, if $gamma$ is a straight line, then your must indeed have $f_1=f_2=0$ but this does not work for any other curve. The simplest way to solve the problem (at least for curves with $ddotgamma$ nowhere vanishing) is "backwards": Take the special adapted frame that I have described above. For this the $kappa_i$ can be explicitly described via the curvature and the torsion of the curve. Now any other frame is described by a curve with values in $O(2)$ as described above. (If you take your frame to be positively oriented, then basically this curve can be described by one parmeter - the angle of rotation.) Inserting this will give you the $kappa_i$ as built up from the curvature and torsion of $gamma$. I am not sure how difficult it will be to interpret the result.
$endgroup$
$begingroup$
Thanks for your answer. My question is indeed not very clear, as I now realize that the sentence "I wish to describe the set of $gamma$-adapted orthonormal frames along $gamma$" should have not been there.
$endgroup$
– MK7
Dec 19 '18 at 10:51
$begingroup$
What I really wanted is some condition on $(f_{1},f_{2},f_{3})$ guaranteeing that $overline{V},overline{W}$ are orthonormal and span the normal space of $gamma$.
$endgroup$
– MK7
Dec 19 '18 at 11:00
$begingroup$
You need $f_1=f_2=0$, since these just describe the changes in the inner products $langle E,Vrangle$ and $langle E,Wrangle$, while $f_3$ is arbitrary.
$endgroup$
– Andreas Cap
Dec 19 '18 at 11:03
$begingroup$
But if I solve the system ${dot{V} = f_{3}W, dot{W}=-f_{3}V,V(0)=v,W(0)=w}$, then I cannot hope the solution be orthogonal to $E$, or am I missing something?
$endgroup$
– MK7
Dec 19 '18 at 11:16
$begingroup$
I agree that my comment was not correct, since for the choice I suggested the solutions stay in the plane spanned by $v$ and $w$ (hence perpendicular to the intial value for $E$ rather than to $E$ itself). I'll edit the answer accordingly.
$endgroup$
– Andreas Cap
Dec 19 '18 at 12:10
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%2f3044962%2fthe-set-of-orthonormal-frames-along-a-curve%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$
I am not completely sure whether I understand your question well, but if you just require $E=dotgamma$, then the freedom in finding an adapted orthonormal frame is given by a smooth function $Ito O(2)$. Explicitly, if you fix one adapted orthonormal frame $E,V,W$, then you can write as $bar V(t)=a(t)V(t)+b(t)W(t)$, $bar W(t)=c(t)V(t)+d(t)W(t)$ (which exhausts all vectors pependiculat to $E(t)$, which is fixed). Then the condition that $V(t)$ and $W(t)$ are orthonormal is exactly that $begin{pmatrix} a(t) & b(t)\ c(t) & d(t)end{pmatrix}in O(2)$. (What you are writing up corresponds to the infinitesmial verstion of this condition and does not take into account that $E$ has to be fixed.
However, the notion of an adapted orthonormal frame is not the usual one. What one usually assume in this situation is that $ddotgamma(t)$ (which automatically is perpendicular to $dotgamma(t)$ is non-zero for all $t$. Then one gets a unique adapted orthonormal frame by putting $V(t):=frac{ ddotgamma(t)}{|ddotgamma(t)|}$ and then $W(t)$ to be $E(t)times V(t)$ (i.e. the unique vector such that ${E(t),V(t),W(t)}$ is a positively oriented orthonormal basis for each $t$.
Edit (in view of the comments and the modification of the question): I would not believe that the question has a simple answer. For example, if $gamma$ is a straight line, then your must indeed have $f_1=f_2=0$ but this does not work for any other curve. The simplest way to solve the problem (at least for curves with $ddotgamma$ nowhere vanishing) is "backwards": Take the special adapted frame that I have described above. For this the $kappa_i$ can be explicitly described via the curvature and the torsion of the curve. Now any other frame is described by a curve with values in $O(2)$ as described above. (If you take your frame to be positively oriented, then basically this curve can be described by one parmeter - the angle of rotation.) Inserting this will give you the $kappa_i$ as built up from the curvature and torsion of $gamma$. I am not sure how difficult it will be to interpret the result.
$endgroup$
$begingroup$
Thanks for your answer. My question is indeed not very clear, as I now realize that the sentence "I wish to describe the set of $gamma$-adapted orthonormal frames along $gamma$" should have not been there.
$endgroup$
– MK7
Dec 19 '18 at 10:51
$begingroup$
What I really wanted is some condition on $(f_{1},f_{2},f_{3})$ guaranteeing that $overline{V},overline{W}$ are orthonormal and span the normal space of $gamma$.
$endgroup$
– MK7
Dec 19 '18 at 11:00
$begingroup$
You need $f_1=f_2=0$, since these just describe the changes in the inner products $langle E,Vrangle$ and $langle E,Wrangle$, while $f_3$ is arbitrary.
$endgroup$
– Andreas Cap
Dec 19 '18 at 11:03
$begingroup$
But if I solve the system ${dot{V} = f_{3}W, dot{W}=-f_{3}V,V(0)=v,W(0)=w}$, then I cannot hope the solution be orthogonal to $E$, or am I missing something?
$endgroup$
– MK7
Dec 19 '18 at 11:16
$begingroup$
I agree that my comment was not correct, since for the choice I suggested the solutions stay in the plane spanned by $v$ and $w$ (hence perpendicular to the intial value for $E$ rather than to $E$ itself). I'll edit the answer accordingly.
$endgroup$
– Andreas Cap
Dec 19 '18 at 12:10
add a comment |
$begingroup$
I am not completely sure whether I understand your question well, but if you just require $E=dotgamma$, then the freedom in finding an adapted orthonormal frame is given by a smooth function $Ito O(2)$. Explicitly, if you fix one adapted orthonormal frame $E,V,W$, then you can write as $bar V(t)=a(t)V(t)+b(t)W(t)$, $bar W(t)=c(t)V(t)+d(t)W(t)$ (which exhausts all vectors pependiculat to $E(t)$, which is fixed). Then the condition that $V(t)$ and $W(t)$ are orthonormal is exactly that $begin{pmatrix} a(t) & b(t)\ c(t) & d(t)end{pmatrix}in O(2)$. (What you are writing up corresponds to the infinitesmial verstion of this condition and does not take into account that $E$ has to be fixed.
However, the notion of an adapted orthonormal frame is not the usual one. What one usually assume in this situation is that $ddotgamma(t)$ (which automatically is perpendicular to $dotgamma(t)$ is non-zero for all $t$. Then one gets a unique adapted orthonormal frame by putting $V(t):=frac{ ddotgamma(t)}{|ddotgamma(t)|}$ and then $W(t)$ to be $E(t)times V(t)$ (i.e. the unique vector such that ${E(t),V(t),W(t)}$ is a positively oriented orthonormal basis for each $t$.
Edit (in view of the comments and the modification of the question): I would not believe that the question has a simple answer. For example, if $gamma$ is a straight line, then your must indeed have $f_1=f_2=0$ but this does not work for any other curve. The simplest way to solve the problem (at least for curves with $ddotgamma$ nowhere vanishing) is "backwards": Take the special adapted frame that I have described above. For this the $kappa_i$ can be explicitly described via the curvature and the torsion of the curve. Now any other frame is described by a curve with values in $O(2)$ as described above. (If you take your frame to be positively oriented, then basically this curve can be described by one parmeter - the angle of rotation.) Inserting this will give you the $kappa_i$ as built up from the curvature and torsion of $gamma$. I am not sure how difficult it will be to interpret the result.
$endgroup$
$begingroup$
Thanks for your answer. My question is indeed not very clear, as I now realize that the sentence "I wish to describe the set of $gamma$-adapted orthonormal frames along $gamma$" should have not been there.
$endgroup$
– MK7
Dec 19 '18 at 10:51
$begingroup$
What I really wanted is some condition on $(f_{1},f_{2},f_{3})$ guaranteeing that $overline{V},overline{W}$ are orthonormal and span the normal space of $gamma$.
$endgroup$
– MK7
Dec 19 '18 at 11:00
$begingroup$
You need $f_1=f_2=0$, since these just describe the changes in the inner products $langle E,Vrangle$ and $langle E,Wrangle$, while $f_3$ is arbitrary.
$endgroup$
– Andreas Cap
Dec 19 '18 at 11:03
$begingroup$
But if I solve the system ${dot{V} = f_{3}W, dot{W}=-f_{3}V,V(0)=v,W(0)=w}$, then I cannot hope the solution be orthogonal to $E$, or am I missing something?
$endgroup$
– MK7
Dec 19 '18 at 11:16
$begingroup$
I agree that my comment was not correct, since for the choice I suggested the solutions stay in the plane spanned by $v$ and $w$ (hence perpendicular to the intial value for $E$ rather than to $E$ itself). I'll edit the answer accordingly.
$endgroup$
– Andreas Cap
Dec 19 '18 at 12:10
add a comment |
$begingroup$
I am not completely sure whether I understand your question well, but if you just require $E=dotgamma$, then the freedom in finding an adapted orthonormal frame is given by a smooth function $Ito O(2)$. Explicitly, if you fix one adapted orthonormal frame $E,V,W$, then you can write as $bar V(t)=a(t)V(t)+b(t)W(t)$, $bar W(t)=c(t)V(t)+d(t)W(t)$ (which exhausts all vectors pependiculat to $E(t)$, which is fixed). Then the condition that $V(t)$ and $W(t)$ are orthonormal is exactly that $begin{pmatrix} a(t) & b(t)\ c(t) & d(t)end{pmatrix}in O(2)$. (What you are writing up corresponds to the infinitesmial verstion of this condition and does not take into account that $E$ has to be fixed.
However, the notion of an adapted orthonormal frame is not the usual one. What one usually assume in this situation is that $ddotgamma(t)$ (which automatically is perpendicular to $dotgamma(t)$ is non-zero for all $t$. Then one gets a unique adapted orthonormal frame by putting $V(t):=frac{ ddotgamma(t)}{|ddotgamma(t)|}$ and then $W(t)$ to be $E(t)times V(t)$ (i.e. the unique vector such that ${E(t),V(t),W(t)}$ is a positively oriented orthonormal basis for each $t$.
Edit (in view of the comments and the modification of the question): I would not believe that the question has a simple answer. For example, if $gamma$ is a straight line, then your must indeed have $f_1=f_2=0$ but this does not work for any other curve. The simplest way to solve the problem (at least for curves with $ddotgamma$ nowhere vanishing) is "backwards": Take the special adapted frame that I have described above. For this the $kappa_i$ can be explicitly described via the curvature and the torsion of the curve. Now any other frame is described by a curve with values in $O(2)$ as described above. (If you take your frame to be positively oriented, then basically this curve can be described by one parmeter - the angle of rotation.) Inserting this will give you the $kappa_i$ as built up from the curvature and torsion of $gamma$. I am not sure how difficult it will be to interpret the result.
$endgroup$
I am not completely sure whether I understand your question well, but if you just require $E=dotgamma$, then the freedom in finding an adapted orthonormal frame is given by a smooth function $Ito O(2)$. Explicitly, if you fix one adapted orthonormal frame $E,V,W$, then you can write as $bar V(t)=a(t)V(t)+b(t)W(t)$, $bar W(t)=c(t)V(t)+d(t)W(t)$ (which exhausts all vectors pependiculat to $E(t)$, which is fixed). Then the condition that $V(t)$ and $W(t)$ are orthonormal is exactly that $begin{pmatrix} a(t) & b(t)\ c(t) & d(t)end{pmatrix}in O(2)$. (What you are writing up corresponds to the infinitesmial verstion of this condition and does not take into account that $E$ has to be fixed.
However, the notion of an adapted orthonormal frame is not the usual one. What one usually assume in this situation is that $ddotgamma(t)$ (which automatically is perpendicular to $dotgamma(t)$ is non-zero for all $t$. Then one gets a unique adapted orthonormal frame by putting $V(t):=frac{ ddotgamma(t)}{|ddotgamma(t)|}$ and then $W(t)$ to be $E(t)times V(t)$ (i.e. the unique vector such that ${E(t),V(t),W(t)}$ is a positively oriented orthonormal basis for each $t$.
Edit (in view of the comments and the modification of the question): I would not believe that the question has a simple answer. For example, if $gamma$ is a straight line, then your must indeed have $f_1=f_2=0$ but this does not work for any other curve. The simplest way to solve the problem (at least for curves with $ddotgamma$ nowhere vanishing) is "backwards": Take the special adapted frame that I have described above. For this the $kappa_i$ can be explicitly described via the curvature and the torsion of the curve. Now any other frame is described by a curve with values in $O(2)$ as described above. (If you take your frame to be positively oriented, then basically this curve can be described by one parmeter - the angle of rotation.) Inserting this will give you the $kappa_i$ as built up from the curvature and torsion of $gamma$. I am not sure how difficult it will be to interpret the result.
edited Dec 19 '18 at 12:20
answered Dec 19 '18 at 9:18
Andreas CapAndreas Cap
11.3k923
11.3k923
$begingroup$
Thanks for your answer. My question is indeed not very clear, as I now realize that the sentence "I wish to describe the set of $gamma$-adapted orthonormal frames along $gamma$" should have not been there.
$endgroup$
– MK7
Dec 19 '18 at 10:51
$begingroup$
What I really wanted is some condition on $(f_{1},f_{2},f_{3})$ guaranteeing that $overline{V},overline{W}$ are orthonormal and span the normal space of $gamma$.
$endgroup$
– MK7
Dec 19 '18 at 11:00
$begingroup$
You need $f_1=f_2=0$, since these just describe the changes in the inner products $langle E,Vrangle$ and $langle E,Wrangle$, while $f_3$ is arbitrary.
$endgroup$
– Andreas Cap
Dec 19 '18 at 11:03
$begingroup$
But if I solve the system ${dot{V} = f_{3}W, dot{W}=-f_{3}V,V(0)=v,W(0)=w}$, then I cannot hope the solution be orthogonal to $E$, or am I missing something?
$endgroup$
– MK7
Dec 19 '18 at 11:16
$begingroup$
I agree that my comment was not correct, since for the choice I suggested the solutions stay in the plane spanned by $v$ and $w$ (hence perpendicular to the intial value for $E$ rather than to $E$ itself). I'll edit the answer accordingly.
$endgroup$
– Andreas Cap
Dec 19 '18 at 12:10
add a comment |
$begingroup$
Thanks for your answer. My question is indeed not very clear, as I now realize that the sentence "I wish to describe the set of $gamma$-adapted orthonormal frames along $gamma$" should have not been there.
$endgroup$
– MK7
Dec 19 '18 at 10:51
$begingroup$
What I really wanted is some condition on $(f_{1},f_{2},f_{3})$ guaranteeing that $overline{V},overline{W}$ are orthonormal and span the normal space of $gamma$.
$endgroup$
– MK7
Dec 19 '18 at 11:00
$begingroup$
You need $f_1=f_2=0$, since these just describe the changes in the inner products $langle E,Vrangle$ and $langle E,Wrangle$, while $f_3$ is arbitrary.
$endgroup$
– Andreas Cap
Dec 19 '18 at 11:03
$begingroup$
But if I solve the system ${dot{V} = f_{3}W, dot{W}=-f_{3}V,V(0)=v,W(0)=w}$, then I cannot hope the solution be orthogonal to $E$, or am I missing something?
$endgroup$
– MK7
Dec 19 '18 at 11:16
$begingroup$
I agree that my comment was not correct, since for the choice I suggested the solutions stay in the plane spanned by $v$ and $w$ (hence perpendicular to the intial value for $E$ rather than to $E$ itself). I'll edit the answer accordingly.
$endgroup$
– Andreas Cap
Dec 19 '18 at 12:10
$begingroup$
Thanks for your answer. My question is indeed not very clear, as I now realize that the sentence "I wish to describe the set of $gamma$-adapted orthonormal frames along $gamma$" should have not been there.
$endgroup$
– MK7
Dec 19 '18 at 10:51
$begingroup$
Thanks for your answer. My question is indeed not very clear, as I now realize that the sentence "I wish to describe the set of $gamma$-adapted orthonormal frames along $gamma$" should have not been there.
$endgroup$
– MK7
Dec 19 '18 at 10:51
$begingroup$
What I really wanted is some condition on $(f_{1},f_{2},f_{3})$ guaranteeing that $overline{V},overline{W}$ are orthonormal and span the normal space of $gamma$.
$endgroup$
– MK7
Dec 19 '18 at 11:00
$begingroup$
What I really wanted is some condition on $(f_{1},f_{2},f_{3})$ guaranteeing that $overline{V},overline{W}$ are orthonormal and span the normal space of $gamma$.
$endgroup$
– MK7
Dec 19 '18 at 11:00
$begingroup$
You need $f_1=f_2=0$, since these just describe the changes in the inner products $langle E,Vrangle$ and $langle E,Wrangle$, while $f_3$ is arbitrary.
$endgroup$
– Andreas Cap
Dec 19 '18 at 11:03
$begingroup$
You need $f_1=f_2=0$, since these just describe the changes in the inner products $langle E,Vrangle$ and $langle E,Wrangle$, while $f_3$ is arbitrary.
$endgroup$
– Andreas Cap
Dec 19 '18 at 11:03
$begingroup$
But if I solve the system ${dot{V} = f_{3}W, dot{W}=-f_{3}V,V(0)=v,W(0)=w}$, then I cannot hope the solution be orthogonal to $E$, or am I missing something?
$endgroup$
– MK7
Dec 19 '18 at 11:16
$begingroup$
But if I solve the system ${dot{V} = f_{3}W, dot{W}=-f_{3}V,V(0)=v,W(0)=w}$, then I cannot hope the solution be orthogonal to $E$, or am I missing something?
$endgroup$
– MK7
Dec 19 '18 at 11:16
$begingroup$
I agree that my comment was not correct, since for the choice I suggested the solutions stay in the plane spanned by $v$ and $w$ (hence perpendicular to the intial value for $E$ rather than to $E$ itself). I'll edit the answer accordingly.
$endgroup$
– Andreas Cap
Dec 19 '18 at 12:10
$begingroup$
I agree that my comment was not correct, since for the choice I suggested the solutions stay in the plane spanned by $v$ and $w$ (hence perpendicular to the intial value for $E$ rather than to $E$ itself). I'll edit the answer accordingly.
$endgroup$
– Andreas Cap
Dec 19 '18 at 12:10
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%2f3044962%2fthe-set-of-orthonormal-frames-along-a-curve%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
2
$begingroup$
You haven't specified what $gamma$-adapted means. I assume you mean $E=dotgamma$?
$endgroup$
– Ted Shifrin
Dec 18 '18 at 17:39
$begingroup$
@TedShifrin Yes indeed. I have now edited the question, I hope it is more clear.
$endgroup$
– MK7
Dec 18 '18 at 18:30