Toroidal frame system
$begingroup$
*Context:
I'm following the textbook of Barrett O'Neill about differential geometry. In order to calculate the connection forms of the torous I need the relation between a toroidal frame and the natural frame. *
I'm trying to construct a toridal frame system in terms of the natural frame system ${hat{e}_x,,hat{e}_y,,hat{e}_z}$, where $hat{e}_x=(1,,0,,0)$, etc. The same as with an spherical frame ${hat{e}_r,,hat{e}_theta,,hat{e}_phi}$, where:
$hat{e}_r=cos(phi)cos(theta)hat{e}_x+cos(phi)sin(theta)hat{e}_y+sin(phi)hat{e}_z$
$hat{e}_theta=-sin(theta)hat{e}_x+cos(theta)hat{e}_y$
$hat{e}_phi=-sin(phi)cos(theta)hat{e}_x-sin(phi)sin(theta)hat{e}_y+cos(phi)hat{e}_z$
My attempt was to construct parametric curves, then take its derivative to make a tangent vector and finally make it a unit vector (this seems to work fine por cylindrical and spherical frames). For example, i'll take the next curve on the tourus with its standar coordinates
$alpha(phi)=((R+rho_o,cos(phi)),cos(theta_o),,(R+rho_o,cos(phi)),sin(theta_o),,rho_o,\sin(phi))$
where $R$, $rho_o$ and $theta_o$ are fixed (i'll just take a point on the torous with its standar coordinates and fix two of them). Then:
$alpha'(phi)=(-rho_o,sin(phi),cos(theta_o),,-rho_o,sin(phi),sin(theta_o),,rho_o,cos(phi))$
where it's easy to see that $|alpha'(phi)|=rho_o$. Finally:
$hat{e}_phi=-sin(phi)cos(theta)hat{e}_x-sin(phi)sin(theta)hat{e}_y+cos(phi)hat{e}_z$
wich is the same as in spherical frame and this happens with the rest. So, I came to this: Toroidal frame is same as spherical frame...And this jus't feels wrong.
So, I would love and I will appreciate some help here
differential-geometry frenet-frame
$endgroup$
add a comment |
$begingroup$
*Context:
I'm following the textbook of Barrett O'Neill about differential geometry. In order to calculate the connection forms of the torous I need the relation between a toroidal frame and the natural frame. *
I'm trying to construct a toridal frame system in terms of the natural frame system ${hat{e}_x,,hat{e}_y,,hat{e}_z}$, where $hat{e}_x=(1,,0,,0)$, etc. The same as with an spherical frame ${hat{e}_r,,hat{e}_theta,,hat{e}_phi}$, where:
$hat{e}_r=cos(phi)cos(theta)hat{e}_x+cos(phi)sin(theta)hat{e}_y+sin(phi)hat{e}_z$
$hat{e}_theta=-sin(theta)hat{e}_x+cos(theta)hat{e}_y$
$hat{e}_phi=-sin(phi)cos(theta)hat{e}_x-sin(phi)sin(theta)hat{e}_y+cos(phi)hat{e}_z$
My attempt was to construct parametric curves, then take its derivative to make a tangent vector and finally make it a unit vector (this seems to work fine por cylindrical and spherical frames). For example, i'll take the next curve on the tourus with its standar coordinates
$alpha(phi)=((R+rho_o,cos(phi)),cos(theta_o),,(R+rho_o,cos(phi)),sin(theta_o),,rho_o,\sin(phi))$
where $R$, $rho_o$ and $theta_o$ are fixed (i'll just take a point on the torous with its standar coordinates and fix two of them). Then:
$alpha'(phi)=(-rho_o,sin(phi),cos(theta_o),,-rho_o,sin(phi),sin(theta_o),,rho_o,cos(phi))$
where it's easy to see that $|alpha'(phi)|=rho_o$. Finally:
$hat{e}_phi=-sin(phi)cos(theta)hat{e}_x-sin(phi)sin(theta)hat{e}_y+cos(phi)hat{e}_z$
wich is the same as in spherical frame and this happens with the rest. So, I came to this: Toroidal frame is same as spherical frame...And this jus't feels wrong.
So, I would love and I will appreciate some help here
differential-geometry frenet-frame
$endgroup$
$begingroup$
How does this happen with the rest? And I'm not sure why you're doing this to find the connection form of the torus. I don't remember precisely what O'Neil does, but don't you have the metric in terms of $phi$ and $theta$? This gives you an orthonormal coframe, and then the structure equations are immediately in play.
$endgroup$
– Ted Shifrin
Dec 4 '18 at 23:19
$begingroup$
@TedShifrin I think I understand my mistake. They are actually share the same expresión and because of that have the same connection forms $omega_{ij}$. The only thing that changes is how they act wit respect functions; i.e. While $hat{e}_theta[f]={1over rcos(phi)}{partial foverpartialtheta}$ in a espherical frame, in a toroidal frame will be $hat{e}_theta[f]={1over R+rhocos(phi)}{partial foverpartialtheta}$
$endgroup$
– raul
Dec 5 '18 at 0:21
add a comment |
$begingroup$
*Context:
I'm following the textbook of Barrett O'Neill about differential geometry. In order to calculate the connection forms of the torous I need the relation between a toroidal frame and the natural frame. *
I'm trying to construct a toridal frame system in terms of the natural frame system ${hat{e}_x,,hat{e}_y,,hat{e}_z}$, where $hat{e}_x=(1,,0,,0)$, etc. The same as with an spherical frame ${hat{e}_r,,hat{e}_theta,,hat{e}_phi}$, where:
$hat{e}_r=cos(phi)cos(theta)hat{e}_x+cos(phi)sin(theta)hat{e}_y+sin(phi)hat{e}_z$
$hat{e}_theta=-sin(theta)hat{e}_x+cos(theta)hat{e}_y$
$hat{e}_phi=-sin(phi)cos(theta)hat{e}_x-sin(phi)sin(theta)hat{e}_y+cos(phi)hat{e}_z$
My attempt was to construct parametric curves, then take its derivative to make a tangent vector and finally make it a unit vector (this seems to work fine por cylindrical and spherical frames). For example, i'll take the next curve on the tourus with its standar coordinates
$alpha(phi)=((R+rho_o,cos(phi)),cos(theta_o),,(R+rho_o,cos(phi)),sin(theta_o),,rho_o,\sin(phi))$
where $R$, $rho_o$ and $theta_o$ are fixed (i'll just take a point on the torous with its standar coordinates and fix two of them). Then:
$alpha'(phi)=(-rho_o,sin(phi),cos(theta_o),,-rho_o,sin(phi),sin(theta_o),,rho_o,cos(phi))$
where it's easy to see that $|alpha'(phi)|=rho_o$. Finally:
$hat{e}_phi=-sin(phi)cos(theta)hat{e}_x-sin(phi)sin(theta)hat{e}_y+cos(phi)hat{e}_z$
wich is the same as in spherical frame and this happens with the rest. So, I came to this: Toroidal frame is same as spherical frame...And this jus't feels wrong.
So, I would love and I will appreciate some help here
differential-geometry frenet-frame
$endgroup$
*Context:
I'm following the textbook of Barrett O'Neill about differential geometry. In order to calculate the connection forms of the torous I need the relation between a toroidal frame and the natural frame. *
I'm trying to construct a toridal frame system in terms of the natural frame system ${hat{e}_x,,hat{e}_y,,hat{e}_z}$, where $hat{e}_x=(1,,0,,0)$, etc. The same as with an spherical frame ${hat{e}_r,,hat{e}_theta,,hat{e}_phi}$, where:
$hat{e}_r=cos(phi)cos(theta)hat{e}_x+cos(phi)sin(theta)hat{e}_y+sin(phi)hat{e}_z$
$hat{e}_theta=-sin(theta)hat{e}_x+cos(theta)hat{e}_y$
$hat{e}_phi=-sin(phi)cos(theta)hat{e}_x-sin(phi)sin(theta)hat{e}_y+cos(phi)hat{e}_z$
My attempt was to construct parametric curves, then take its derivative to make a tangent vector and finally make it a unit vector (this seems to work fine por cylindrical and spherical frames). For example, i'll take the next curve on the tourus with its standar coordinates
$alpha(phi)=((R+rho_o,cos(phi)),cos(theta_o),,(R+rho_o,cos(phi)),sin(theta_o),,rho_o,\sin(phi))$
where $R$, $rho_o$ and $theta_o$ are fixed (i'll just take a point on the torous with its standar coordinates and fix two of them). Then:
$alpha'(phi)=(-rho_o,sin(phi),cos(theta_o),,-rho_o,sin(phi),sin(theta_o),,rho_o,cos(phi))$
where it's easy to see that $|alpha'(phi)|=rho_o$. Finally:
$hat{e}_phi=-sin(phi)cos(theta)hat{e}_x-sin(phi)sin(theta)hat{e}_y+cos(phi)hat{e}_z$
wich is the same as in spherical frame and this happens with the rest. So, I came to this: Toroidal frame is same as spherical frame...And this jus't feels wrong.
So, I would love and I will appreciate some help here
differential-geometry frenet-frame
differential-geometry frenet-frame
edited Dec 4 '18 at 22:43
raul
asked Dec 4 '18 at 22:35
raulraul
1108
1108
$begingroup$
How does this happen with the rest? And I'm not sure why you're doing this to find the connection form of the torus. I don't remember precisely what O'Neil does, but don't you have the metric in terms of $phi$ and $theta$? This gives you an orthonormal coframe, and then the structure equations are immediately in play.
$endgroup$
– Ted Shifrin
Dec 4 '18 at 23:19
$begingroup$
@TedShifrin I think I understand my mistake. They are actually share the same expresión and because of that have the same connection forms $omega_{ij}$. The only thing that changes is how they act wit respect functions; i.e. While $hat{e}_theta[f]={1over rcos(phi)}{partial foverpartialtheta}$ in a espherical frame, in a toroidal frame will be $hat{e}_theta[f]={1over R+rhocos(phi)}{partial foverpartialtheta}$
$endgroup$
– raul
Dec 5 '18 at 0:21
add a comment |
$begingroup$
How does this happen with the rest? And I'm not sure why you're doing this to find the connection form of the torus. I don't remember precisely what O'Neil does, but don't you have the metric in terms of $phi$ and $theta$? This gives you an orthonormal coframe, and then the structure equations are immediately in play.
$endgroup$
– Ted Shifrin
Dec 4 '18 at 23:19
$begingroup$
@TedShifrin I think I understand my mistake. They are actually share the same expresión and because of that have the same connection forms $omega_{ij}$. The only thing that changes is how they act wit respect functions; i.e. While $hat{e}_theta[f]={1over rcos(phi)}{partial foverpartialtheta}$ in a espherical frame, in a toroidal frame will be $hat{e}_theta[f]={1over R+rhocos(phi)}{partial foverpartialtheta}$
$endgroup$
– raul
Dec 5 '18 at 0:21
$begingroup$
How does this happen with the rest? And I'm not sure why you're doing this to find the connection form of the torus. I don't remember precisely what O'Neil does, but don't you have the metric in terms of $phi$ and $theta$? This gives you an orthonormal coframe, and then the structure equations are immediately in play.
$endgroup$
– Ted Shifrin
Dec 4 '18 at 23:19
$begingroup$
How does this happen with the rest? And I'm not sure why you're doing this to find the connection form of the torus. I don't remember precisely what O'Neil does, but don't you have the metric in terms of $phi$ and $theta$? This gives you an orthonormal coframe, and then the structure equations are immediately in play.
$endgroup$
– Ted Shifrin
Dec 4 '18 at 23:19
$begingroup$
@TedShifrin I think I understand my mistake. They are actually share the same expresión and because of that have the same connection forms $omega_{ij}$. The only thing that changes is how they act wit respect functions; i.e. While $hat{e}_theta[f]={1over rcos(phi)}{partial foverpartialtheta}$ in a espherical frame, in a toroidal frame will be $hat{e}_theta[f]={1over R+rhocos(phi)}{partial foverpartialtheta}$
$endgroup$
– raul
Dec 5 '18 at 0:21
$begingroup$
@TedShifrin I think I understand my mistake. They are actually share the same expresión and because of that have the same connection forms $omega_{ij}$. The only thing that changes is how they act wit respect functions; i.e. While $hat{e}_theta[f]={1over rcos(phi)}{partial foverpartialtheta}$ in a espherical frame, in a toroidal frame will be $hat{e}_theta[f]={1over R+rhocos(phi)}{partial foverpartialtheta}$
$endgroup$
– raul
Dec 5 '18 at 0:21
add a comment |
0
active
oldest
votes
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%2f3026275%2ftoroidal-frame-system%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3026275%2ftoroidal-frame-system%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
$begingroup$
How does this happen with the rest? And I'm not sure why you're doing this to find the connection form of the torus. I don't remember precisely what O'Neil does, but don't you have the metric in terms of $phi$ and $theta$? This gives you an orthonormal coframe, and then the structure equations are immediately in play.
$endgroup$
– Ted Shifrin
Dec 4 '18 at 23:19
$begingroup$
@TedShifrin I think I understand my mistake. They are actually share the same expresión and because of that have the same connection forms $omega_{ij}$. The only thing that changes is how they act wit respect functions; i.e. While $hat{e}_theta[f]={1over rcos(phi)}{partial foverpartialtheta}$ in a espherical frame, in a toroidal frame will be $hat{e}_theta[f]={1over R+rhocos(phi)}{partial foverpartialtheta}$
$endgroup$
– raul
Dec 5 '18 at 0:21