The set of orthonormal frames along a curve












0












$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$?










share|cite|improve this question











$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
















0












$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$?










share|cite|improve this question











$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














0












0








0


0



$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$?










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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














  • 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










1 Answer
1






active

oldest

votes


















1












$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.






share|cite|improve this answer











$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











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
});


}
});














draft saved

draft discarded


















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









1












$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.






share|cite|improve this answer











$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
















1












$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.






share|cite|improve this answer











$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














1












1








1





$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.






share|cite|improve this answer











$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.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








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


















  • $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


















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

Plaza Victoria

In PowerPoint, is there a keyboard shortcut for bulleted / numbered list?

How to put 3 figures in Latex with 2 figures side by side and 1 below these side by side images but in...