covariant metric tensor in case of polar transformation
$begingroup$
Assume usual polar coordinates equations:
$$ x=rcos(theta) $$
$$ y=rsin(theta) $$
In what I think is called covariant we have a Jacobian of:
$$
J=begin{pmatrix}
frac{partial{x}}{partial{r}} & frac{partial{x}}{partial{theta}} \
frac{partial{y}}{partial{r}} & frac{partial{y}}{partial{theta}} \
end{pmatrix}=begin{pmatrix}
cos(theta) & -rsin(theta) \
sin(theta) & rcos(theta) \
end{pmatrix}
$$
and a metric tensor of:
$$
g_{ij}=J^T J=begin{pmatrix}
1 & 0 \
0 & r^2 \
end{pmatrix}
$$
My problems appears when I try the contravariant part:
$$
J=begin{pmatrix}
frac{partial{r}}{partial{x}} & frac{partial{r}}{partial{y}} \
frac{partial{theta}}{partial{x}} & frac{partial{theta}}{partial{y}} \
end{pmatrix}=begin{pmatrix}
cos(theta) & sin(theta) \
-frac{sin(theta)}{r} & frac{cos(theta)}{r} \
end{pmatrix}
$$
because the metric tensor:
$$
g^{ij}=J^T J=begin{pmatrix}
cos^2(theta)+frac{sin^2(theta)}{r} & ... \
... & ... \
end{pmatrix}
$$
results different of the expected one:
$$begin{pmatrix}
1 & 0 \
0 & frac{1}{r^2} \
end{pmatrix}
$$
why the expected result is not the one I obtain?
( I obtain the expected only if I change the product from $J^T J$ to $J J^T$ ).
polar-coordinates tensors
$endgroup$
add a comment |
$begingroup$
Assume usual polar coordinates equations:
$$ x=rcos(theta) $$
$$ y=rsin(theta) $$
In what I think is called covariant we have a Jacobian of:
$$
J=begin{pmatrix}
frac{partial{x}}{partial{r}} & frac{partial{x}}{partial{theta}} \
frac{partial{y}}{partial{r}} & frac{partial{y}}{partial{theta}} \
end{pmatrix}=begin{pmatrix}
cos(theta) & -rsin(theta) \
sin(theta) & rcos(theta) \
end{pmatrix}
$$
and a metric tensor of:
$$
g_{ij}=J^T J=begin{pmatrix}
1 & 0 \
0 & r^2 \
end{pmatrix}
$$
My problems appears when I try the contravariant part:
$$
J=begin{pmatrix}
frac{partial{r}}{partial{x}} & frac{partial{r}}{partial{y}} \
frac{partial{theta}}{partial{x}} & frac{partial{theta}}{partial{y}} \
end{pmatrix}=begin{pmatrix}
cos(theta) & sin(theta) \
-frac{sin(theta)}{r} & frac{cos(theta)}{r} \
end{pmatrix}
$$
because the metric tensor:
$$
g^{ij}=J^T J=begin{pmatrix}
cos^2(theta)+frac{sin^2(theta)}{r} & ... \
... & ... \
end{pmatrix}
$$
results different of the expected one:
$$begin{pmatrix}
1 & 0 \
0 & frac{1}{r^2} \
end{pmatrix}
$$
why the expected result is not the one I obtain?
( I obtain the expected only if I change the product from $J^T J$ to $J J^T$ ).
polar-coordinates tensors
$endgroup$
$begingroup$
Sorry so what is the question exactly?
$endgroup$
– IAmNoOne
Jan 3 at 13:13
$begingroup$
@IAmNoOne: edited and clarified. Why the expected result is not obtained?
$endgroup$
– pasaba por aqui
Jan 3 at 13:15
$begingroup$
You are right, my bad.
$endgroup$
– IAmNoOne
Jan 4 at 1:59
add a comment |
$begingroup$
Assume usual polar coordinates equations:
$$ x=rcos(theta) $$
$$ y=rsin(theta) $$
In what I think is called covariant we have a Jacobian of:
$$
J=begin{pmatrix}
frac{partial{x}}{partial{r}} & frac{partial{x}}{partial{theta}} \
frac{partial{y}}{partial{r}} & frac{partial{y}}{partial{theta}} \
end{pmatrix}=begin{pmatrix}
cos(theta) & -rsin(theta) \
sin(theta) & rcos(theta) \
end{pmatrix}
$$
and a metric tensor of:
$$
g_{ij}=J^T J=begin{pmatrix}
1 & 0 \
0 & r^2 \
end{pmatrix}
$$
My problems appears when I try the contravariant part:
$$
J=begin{pmatrix}
frac{partial{r}}{partial{x}} & frac{partial{r}}{partial{y}} \
frac{partial{theta}}{partial{x}} & frac{partial{theta}}{partial{y}} \
end{pmatrix}=begin{pmatrix}
cos(theta) & sin(theta) \
-frac{sin(theta)}{r} & frac{cos(theta)}{r} \
end{pmatrix}
$$
because the metric tensor:
$$
g^{ij}=J^T J=begin{pmatrix}
cos^2(theta)+frac{sin^2(theta)}{r} & ... \
... & ... \
end{pmatrix}
$$
results different of the expected one:
$$begin{pmatrix}
1 & 0 \
0 & frac{1}{r^2} \
end{pmatrix}
$$
why the expected result is not the one I obtain?
( I obtain the expected only if I change the product from $J^T J$ to $J J^T$ ).
polar-coordinates tensors
$endgroup$
Assume usual polar coordinates equations:
$$ x=rcos(theta) $$
$$ y=rsin(theta) $$
In what I think is called covariant we have a Jacobian of:
$$
J=begin{pmatrix}
frac{partial{x}}{partial{r}} & frac{partial{x}}{partial{theta}} \
frac{partial{y}}{partial{r}} & frac{partial{y}}{partial{theta}} \
end{pmatrix}=begin{pmatrix}
cos(theta) & -rsin(theta) \
sin(theta) & rcos(theta) \
end{pmatrix}
$$
and a metric tensor of:
$$
g_{ij}=J^T J=begin{pmatrix}
1 & 0 \
0 & r^2 \
end{pmatrix}
$$
My problems appears when I try the contravariant part:
$$
J=begin{pmatrix}
frac{partial{r}}{partial{x}} & frac{partial{r}}{partial{y}} \
frac{partial{theta}}{partial{x}} & frac{partial{theta}}{partial{y}} \
end{pmatrix}=begin{pmatrix}
cos(theta) & sin(theta) \
-frac{sin(theta)}{r} & frac{cos(theta)}{r} \
end{pmatrix}
$$
because the metric tensor:
$$
g^{ij}=J^T J=begin{pmatrix}
cos^2(theta)+frac{sin^2(theta)}{r} & ... \
... & ... \
end{pmatrix}
$$
results different of the expected one:
$$begin{pmatrix}
1 & 0 \
0 & frac{1}{r^2} \
end{pmatrix}
$$
why the expected result is not the one I obtain?
( I obtain the expected only if I change the product from $J^T J$ to $J J^T$ ).
polar-coordinates tensors
polar-coordinates tensors
edited Jan 3 at 15:05
pasaba por aqui
asked Jan 3 at 10:19
pasaba por aquipasaba por aqui
454316
454316
$begingroup$
Sorry so what is the question exactly?
$endgroup$
– IAmNoOne
Jan 3 at 13:13
$begingroup$
@IAmNoOne: edited and clarified. Why the expected result is not obtained?
$endgroup$
– pasaba por aqui
Jan 3 at 13:15
$begingroup$
You are right, my bad.
$endgroup$
– IAmNoOne
Jan 4 at 1:59
add a comment |
$begingroup$
Sorry so what is the question exactly?
$endgroup$
– IAmNoOne
Jan 3 at 13:13
$begingroup$
@IAmNoOne: edited and clarified. Why the expected result is not obtained?
$endgroup$
– pasaba por aqui
Jan 3 at 13:15
$begingroup$
You are right, my bad.
$endgroup$
– IAmNoOne
Jan 4 at 1:59
$begingroup$
Sorry so what is the question exactly?
$endgroup$
– IAmNoOne
Jan 3 at 13:13
$begingroup$
Sorry so what is the question exactly?
$endgroup$
– IAmNoOne
Jan 3 at 13:13
$begingroup$
@IAmNoOne: edited and clarified. Why the expected result is not obtained?
$endgroup$
– pasaba por aqui
Jan 3 at 13:15
$begingroup$
@IAmNoOne: edited and clarified. Why the expected result is not obtained?
$endgroup$
– pasaba por aqui
Jan 3 at 13:15
$begingroup$
You are right, my bad.
$endgroup$
– IAmNoOne
Jan 4 at 1:59
$begingroup$
You are right, my bad.
$endgroup$
– IAmNoOne
Jan 4 at 1:59
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Maybe a bit of a preamble will be useful here. If $xi$ are some coordinates defining the local metric $eta$ then, under the transformation $x^alpha = x^{alpha}(xi)$ the metric becomes
$$
g_{munu} = frac{partial xi^{alpha}}{partial x^mu}frac{partial xi^{beta}}{partial x^nu} eta_{munu} tag{1}
$$
So for example, if you take $xi^1 = x$ and $xi^2 = y$ the cartesian coordinates, then the local matrix is the identity $eta_{munu} = delta_{munu}$ and Eq. (1) becomes
$$
g_{munu} = J^{alpha}_{;mu}J^{beta}_{;nu}delta_{alphabeta} = (J^T J)_{munu} tag{2}
$$
where the entries of the matrix $J$ are defined as
$$
J^{alpha}_{;beta} = frac{partial xi^alpha}{partial x^beta} tag{3}
$$
As an example take $x^1 = r$ and $x^2 = theta$ (your case), so that $xi^1 = rcostheta = x^1 cos x^2$ and $xi^2 = x^1sin x^2$, it is easy to calculate
$$
frac{partial xi^1}{partial x^1} = frac{partial }{partial x^1}(x^1 cos x^2) = cos x^2 ~~~(cdots)
$$
so when you evaluate that in (1) you get
$$
g_{11} = 1, ~ g_{12} = g_{21} = 0 ~mbox{and}~ g_{22} = (x^1)^2
$$
It is important to keep track of the order of things here. In this representation we are labeling the rows with the super-index $alpha$ and the columns with the sub-index $beta$.
Now, the contravariant version of Eq. (2) is
$$
g^{munu} = eta^{alpha beta}frac{partial x^mu}{partial xi^alpha} frac{partial x^nu}{partial xi^beta} tag{4}
$$
and again, under the same assumptions as before, this transforms to
$$
g^{munu} = delta^{alphabeta}mathcal{J}^mu_{;alpha}mathcal{J}^nu_{;beta} = (mathcal{J}mathcal{J}^T)^{munu} tag{5}
$$
where
$$
mathcal{J}^{alpha}_{;beta} = frac{partial x^alpha}{partial xi^beta} tag{6}
$$
Taking the same changes of coordinates you will get $x^1 = [(xi^1)^2 + (xi^2)^2]^{1/2}$ and $x^2 = arctan(xi^2/xi^1)$ so that
$$
frac{partial x^1}{partial xi^1} = frac{xi^1}{[(xi^1)^2 + (xi^2)^2]^{1/2}} ~(cdots)
$$
which results in
$$
g^{11} = 1, ~ g^{12} = g^{21} = 0, ~mbox{and}~ g^{22} = frac{1}{(xi^1)^2 + (xi^2)^2} = frac{1}{(x^1)^2}
$$
as expected
$endgroup$
$begingroup$
Thanks for your answer. Question: in (1) and (3), no need for $xi$, like in (4) and (6) ? Moreover, if you add some references to the case of polar coordinates (by example, the values of $x_1$, $xi_1$, $J_1^1$, $g_{11}$ and $g^{11}$ in this case), then this one will be an answer to accept.
$endgroup$
– pasaba por aqui
Jan 3 at 15:03
$begingroup$
@pasabaporaqui Sorry, I had a bunch of typos in there. I hope it is clearer now
$endgroup$
– caverac
Jan 3 at 15:20
$begingroup$
Nice answer, thanks a lot. About tensors, I do not find examples that helps me to understand.
$endgroup$
– pasaba por aqui
Jan 3 at 15:25
1
$begingroup$
@pasabaporaqui If I may give you a piece of (unsolicited) advice: keep track of your indices, and that's pretty much it. I found the notation is very convenient if you are consistent with the labels. Also, feel free to ask, there's plenty of people willing to help you when you get stuck!
$endgroup$
– caverac
Jan 3 at 15:31
add a comment |
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%2f3060421%2fcovariant-metric-tensor-in-case-of-polar-transformation%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$
Maybe a bit of a preamble will be useful here. If $xi$ are some coordinates defining the local metric $eta$ then, under the transformation $x^alpha = x^{alpha}(xi)$ the metric becomes
$$
g_{munu} = frac{partial xi^{alpha}}{partial x^mu}frac{partial xi^{beta}}{partial x^nu} eta_{munu} tag{1}
$$
So for example, if you take $xi^1 = x$ and $xi^2 = y$ the cartesian coordinates, then the local matrix is the identity $eta_{munu} = delta_{munu}$ and Eq. (1) becomes
$$
g_{munu} = J^{alpha}_{;mu}J^{beta}_{;nu}delta_{alphabeta} = (J^T J)_{munu} tag{2}
$$
where the entries of the matrix $J$ are defined as
$$
J^{alpha}_{;beta} = frac{partial xi^alpha}{partial x^beta} tag{3}
$$
As an example take $x^1 = r$ and $x^2 = theta$ (your case), so that $xi^1 = rcostheta = x^1 cos x^2$ and $xi^2 = x^1sin x^2$, it is easy to calculate
$$
frac{partial xi^1}{partial x^1} = frac{partial }{partial x^1}(x^1 cos x^2) = cos x^2 ~~~(cdots)
$$
so when you evaluate that in (1) you get
$$
g_{11} = 1, ~ g_{12} = g_{21} = 0 ~mbox{and}~ g_{22} = (x^1)^2
$$
It is important to keep track of the order of things here. In this representation we are labeling the rows with the super-index $alpha$ and the columns with the sub-index $beta$.
Now, the contravariant version of Eq. (2) is
$$
g^{munu} = eta^{alpha beta}frac{partial x^mu}{partial xi^alpha} frac{partial x^nu}{partial xi^beta} tag{4}
$$
and again, under the same assumptions as before, this transforms to
$$
g^{munu} = delta^{alphabeta}mathcal{J}^mu_{;alpha}mathcal{J}^nu_{;beta} = (mathcal{J}mathcal{J}^T)^{munu} tag{5}
$$
where
$$
mathcal{J}^{alpha}_{;beta} = frac{partial x^alpha}{partial xi^beta} tag{6}
$$
Taking the same changes of coordinates you will get $x^1 = [(xi^1)^2 + (xi^2)^2]^{1/2}$ and $x^2 = arctan(xi^2/xi^1)$ so that
$$
frac{partial x^1}{partial xi^1} = frac{xi^1}{[(xi^1)^2 + (xi^2)^2]^{1/2}} ~(cdots)
$$
which results in
$$
g^{11} = 1, ~ g^{12} = g^{21} = 0, ~mbox{and}~ g^{22} = frac{1}{(xi^1)^2 + (xi^2)^2} = frac{1}{(x^1)^2}
$$
as expected
$endgroup$
$begingroup$
Thanks for your answer. Question: in (1) and (3), no need for $xi$, like in (4) and (6) ? Moreover, if you add some references to the case of polar coordinates (by example, the values of $x_1$, $xi_1$, $J_1^1$, $g_{11}$ and $g^{11}$ in this case), then this one will be an answer to accept.
$endgroup$
– pasaba por aqui
Jan 3 at 15:03
$begingroup$
@pasabaporaqui Sorry, I had a bunch of typos in there. I hope it is clearer now
$endgroup$
– caverac
Jan 3 at 15:20
$begingroup$
Nice answer, thanks a lot. About tensors, I do not find examples that helps me to understand.
$endgroup$
– pasaba por aqui
Jan 3 at 15:25
1
$begingroup$
@pasabaporaqui If I may give you a piece of (unsolicited) advice: keep track of your indices, and that's pretty much it. I found the notation is very convenient if you are consistent with the labels. Also, feel free to ask, there's plenty of people willing to help you when you get stuck!
$endgroup$
– caverac
Jan 3 at 15:31
add a comment |
$begingroup$
Maybe a bit of a preamble will be useful here. If $xi$ are some coordinates defining the local metric $eta$ then, under the transformation $x^alpha = x^{alpha}(xi)$ the metric becomes
$$
g_{munu} = frac{partial xi^{alpha}}{partial x^mu}frac{partial xi^{beta}}{partial x^nu} eta_{munu} tag{1}
$$
So for example, if you take $xi^1 = x$ and $xi^2 = y$ the cartesian coordinates, then the local matrix is the identity $eta_{munu} = delta_{munu}$ and Eq. (1) becomes
$$
g_{munu} = J^{alpha}_{;mu}J^{beta}_{;nu}delta_{alphabeta} = (J^T J)_{munu} tag{2}
$$
where the entries of the matrix $J$ are defined as
$$
J^{alpha}_{;beta} = frac{partial xi^alpha}{partial x^beta} tag{3}
$$
As an example take $x^1 = r$ and $x^2 = theta$ (your case), so that $xi^1 = rcostheta = x^1 cos x^2$ and $xi^2 = x^1sin x^2$, it is easy to calculate
$$
frac{partial xi^1}{partial x^1} = frac{partial }{partial x^1}(x^1 cos x^2) = cos x^2 ~~~(cdots)
$$
so when you evaluate that in (1) you get
$$
g_{11} = 1, ~ g_{12} = g_{21} = 0 ~mbox{and}~ g_{22} = (x^1)^2
$$
It is important to keep track of the order of things here. In this representation we are labeling the rows with the super-index $alpha$ and the columns with the sub-index $beta$.
Now, the contravariant version of Eq. (2) is
$$
g^{munu} = eta^{alpha beta}frac{partial x^mu}{partial xi^alpha} frac{partial x^nu}{partial xi^beta} tag{4}
$$
and again, under the same assumptions as before, this transforms to
$$
g^{munu} = delta^{alphabeta}mathcal{J}^mu_{;alpha}mathcal{J}^nu_{;beta} = (mathcal{J}mathcal{J}^T)^{munu} tag{5}
$$
where
$$
mathcal{J}^{alpha}_{;beta} = frac{partial x^alpha}{partial xi^beta} tag{6}
$$
Taking the same changes of coordinates you will get $x^1 = [(xi^1)^2 + (xi^2)^2]^{1/2}$ and $x^2 = arctan(xi^2/xi^1)$ so that
$$
frac{partial x^1}{partial xi^1} = frac{xi^1}{[(xi^1)^2 + (xi^2)^2]^{1/2}} ~(cdots)
$$
which results in
$$
g^{11} = 1, ~ g^{12} = g^{21} = 0, ~mbox{and}~ g^{22} = frac{1}{(xi^1)^2 + (xi^2)^2} = frac{1}{(x^1)^2}
$$
as expected
$endgroup$
$begingroup$
Thanks for your answer. Question: in (1) and (3), no need for $xi$, like in (4) and (6) ? Moreover, if you add some references to the case of polar coordinates (by example, the values of $x_1$, $xi_1$, $J_1^1$, $g_{11}$ and $g^{11}$ in this case), then this one will be an answer to accept.
$endgroup$
– pasaba por aqui
Jan 3 at 15:03
$begingroup$
@pasabaporaqui Sorry, I had a bunch of typos in there. I hope it is clearer now
$endgroup$
– caverac
Jan 3 at 15:20
$begingroup$
Nice answer, thanks a lot. About tensors, I do not find examples that helps me to understand.
$endgroup$
– pasaba por aqui
Jan 3 at 15:25
1
$begingroup$
@pasabaporaqui If I may give you a piece of (unsolicited) advice: keep track of your indices, and that's pretty much it. I found the notation is very convenient if you are consistent with the labels. Also, feel free to ask, there's plenty of people willing to help you when you get stuck!
$endgroup$
– caverac
Jan 3 at 15:31
add a comment |
$begingroup$
Maybe a bit of a preamble will be useful here. If $xi$ are some coordinates defining the local metric $eta$ then, under the transformation $x^alpha = x^{alpha}(xi)$ the metric becomes
$$
g_{munu} = frac{partial xi^{alpha}}{partial x^mu}frac{partial xi^{beta}}{partial x^nu} eta_{munu} tag{1}
$$
So for example, if you take $xi^1 = x$ and $xi^2 = y$ the cartesian coordinates, then the local matrix is the identity $eta_{munu} = delta_{munu}$ and Eq. (1) becomes
$$
g_{munu} = J^{alpha}_{;mu}J^{beta}_{;nu}delta_{alphabeta} = (J^T J)_{munu} tag{2}
$$
where the entries of the matrix $J$ are defined as
$$
J^{alpha}_{;beta} = frac{partial xi^alpha}{partial x^beta} tag{3}
$$
As an example take $x^1 = r$ and $x^2 = theta$ (your case), so that $xi^1 = rcostheta = x^1 cos x^2$ and $xi^2 = x^1sin x^2$, it is easy to calculate
$$
frac{partial xi^1}{partial x^1} = frac{partial }{partial x^1}(x^1 cos x^2) = cos x^2 ~~~(cdots)
$$
so when you evaluate that in (1) you get
$$
g_{11} = 1, ~ g_{12} = g_{21} = 0 ~mbox{and}~ g_{22} = (x^1)^2
$$
It is important to keep track of the order of things here. In this representation we are labeling the rows with the super-index $alpha$ and the columns with the sub-index $beta$.
Now, the contravariant version of Eq. (2) is
$$
g^{munu} = eta^{alpha beta}frac{partial x^mu}{partial xi^alpha} frac{partial x^nu}{partial xi^beta} tag{4}
$$
and again, under the same assumptions as before, this transforms to
$$
g^{munu} = delta^{alphabeta}mathcal{J}^mu_{;alpha}mathcal{J}^nu_{;beta} = (mathcal{J}mathcal{J}^T)^{munu} tag{5}
$$
where
$$
mathcal{J}^{alpha}_{;beta} = frac{partial x^alpha}{partial xi^beta} tag{6}
$$
Taking the same changes of coordinates you will get $x^1 = [(xi^1)^2 + (xi^2)^2]^{1/2}$ and $x^2 = arctan(xi^2/xi^1)$ so that
$$
frac{partial x^1}{partial xi^1} = frac{xi^1}{[(xi^1)^2 + (xi^2)^2]^{1/2}} ~(cdots)
$$
which results in
$$
g^{11} = 1, ~ g^{12} = g^{21} = 0, ~mbox{and}~ g^{22} = frac{1}{(xi^1)^2 + (xi^2)^2} = frac{1}{(x^1)^2}
$$
as expected
$endgroup$
Maybe a bit of a preamble will be useful here. If $xi$ are some coordinates defining the local metric $eta$ then, under the transformation $x^alpha = x^{alpha}(xi)$ the metric becomes
$$
g_{munu} = frac{partial xi^{alpha}}{partial x^mu}frac{partial xi^{beta}}{partial x^nu} eta_{munu} tag{1}
$$
So for example, if you take $xi^1 = x$ and $xi^2 = y$ the cartesian coordinates, then the local matrix is the identity $eta_{munu} = delta_{munu}$ and Eq. (1) becomes
$$
g_{munu} = J^{alpha}_{;mu}J^{beta}_{;nu}delta_{alphabeta} = (J^T J)_{munu} tag{2}
$$
where the entries of the matrix $J$ are defined as
$$
J^{alpha}_{;beta} = frac{partial xi^alpha}{partial x^beta} tag{3}
$$
As an example take $x^1 = r$ and $x^2 = theta$ (your case), so that $xi^1 = rcostheta = x^1 cos x^2$ and $xi^2 = x^1sin x^2$, it is easy to calculate
$$
frac{partial xi^1}{partial x^1} = frac{partial }{partial x^1}(x^1 cos x^2) = cos x^2 ~~~(cdots)
$$
so when you evaluate that in (1) you get
$$
g_{11} = 1, ~ g_{12} = g_{21} = 0 ~mbox{and}~ g_{22} = (x^1)^2
$$
It is important to keep track of the order of things here. In this representation we are labeling the rows with the super-index $alpha$ and the columns with the sub-index $beta$.
Now, the contravariant version of Eq. (2) is
$$
g^{munu} = eta^{alpha beta}frac{partial x^mu}{partial xi^alpha} frac{partial x^nu}{partial xi^beta} tag{4}
$$
and again, under the same assumptions as before, this transforms to
$$
g^{munu} = delta^{alphabeta}mathcal{J}^mu_{;alpha}mathcal{J}^nu_{;beta} = (mathcal{J}mathcal{J}^T)^{munu} tag{5}
$$
where
$$
mathcal{J}^{alpha}_{;beta} = frac{partial x^alpha}{partial xi^beta} tag{6}
$$
Taking the same changes of coordinates you will get $x^1 = [(xi^1)^2 + (xi^2)^2]^{1/2}$ and $x^2 = arctan(xi^2/xi^1)$ so that
$$
frac{partial x^1}{partial xi^1} = frac{xi^1}{[(xi^1)^2 + (xi^2)^2]^{1/2}} ~(cdots)
$$
which results in
$$
g^{11} = 1, ~ g^{12} = g^{21} = 0, ~mbox{and}~ g^{22} = frac{1}{(xi^1)^2 + (xi^2)^2} = frac{1}{(x^1)^2}
$$
as expected
edited Jan 3 at 15:39
answered Jan 3 at 14:25
caveraccaverac
14.8k31130
14.8k31130
$begingroup$
Thanks for your answer. Question: in (1) and (3), no need for $xi$, like in (4) and (6) ? Moreover, if you add some references to the case of polar coordinates (by example, the values of $x_1$, $xi_1$, $J_1^1$, $g_{11}$ and $g^{11}$ in this case), then this one will be an answer to accept.
$endgroup$
– pasaba por aqui
Jan 3 at 15:03
$begingroup$
@pasabaporaqui Sorry, I had a bunch of typos in there. I hope it is clearer now
$endgroup$
– caverac
Jan 3 at 15:20
$begingroup$
Nice answer, thanks a lot. About tensors, I do not find examples that helps me to understand.
$endgroup$
– pasaba por aqui
Jan 3 at 15:25
1
$begingroup$
@pasabaporaqui If I may give you a piece of (unsolicited) advice: keep track of your indices, and that's pretty much it. I found the notation is very convenient if you are consistent with the labels. Also, feel free to ask, there's plenty of people willing to help you when you get stuck!
$endgroup$
– caverac
Jan 3 at 15:31
add a comment |
$begingroup$
Thanks for your answer. Question: in (1) and (3), no need for $xi$, like in (4) and (6) ? Moreover, if you add some references to the case of polar coordinates (by example, the values of $x_1$, $xi_1$, $J_1^1$, $g_{11}$ and $g^{11}$ in this case), then this one will be an answer to accept.
$endgroup$
– pasaba por aqui
Jan 3 at 15:03
$begingroup$
@pasabaporaqui Sorry, I had a bunch of typos in there. I hope it is clearer now
$endgroup$
– caverac
Jan 3 at 15:20
$begingroup$
Nice answer, thanks a lot. About tensors, I do not find examples that helps me to understand.
$endgroup$
– pasaba por aqui
Jan 3 at 15:25
1
$begingroup$
@pasabaporaqui If I may give you a piece of (unsolicited) advice: keep track of your indices, and that's pretty much it. I found the notation is very convenient if you are consistent with the labels. Also, feel free to ask, there's plenty of people willing to help you when you get stuck!
$endgroup$
– caverac
Jan 3 at 15:31
$begingroup$
Thanks for your answer. Question: in (1) and (3), no need for $xi$, like in (4) and (6) ? Moreover, if you add some references to the case of polar coordinates (by example, the values of $x_1$, $xi_1$, $J_1^1$, $g_{11}$ and $g^{11}$ in this case), then this one will be an answer to accept.
$endgroup$
– pasaba por aqui
Jan 3 at 15:03
$begingroup$
Thanks for your answer. Question: in (1) and (3), no need for $xi$, like in (4) and (6) ? Moreover, if you add some references to the case of polar coordinates (by example, the values of $x_1$, $xi_1$, $J_1^1$, $g_{11}$ and $g^{11}$ in this case), then this one will be an answer to accept.
$endgroup$
– pasaba por aqui
Jan 3 at 15:03
$begingroup$
@pasabaporaqui Sorry, I had a bunch of typos in there. I hope it is clearer now
$endgroup$
– caverac
Jan 3 at 15:20
$begingroup$
@pasabaporaqui Sorry, I had a bunch of typos in there. I hope it is clearer now
$endgroup$
– caverac
Jan 3 at 15:20
$begingroup$
Nice answer, thanks a lot. About tensors, I do not find examples that helps me to understand.
$endgroup$
– pasaba por aqui
Jan 3 at 15:25
$begingroup$
Nice answer, thanks a lot. About tensors, I do not find examples that helps me to understand.
$endgroup$
– pasaba por aqui
Jan 3 at 15:25
1
1
$begingroup$
@pasabaporaqui If I may give you a piece of (unsolicited) advice: keep track of your indices, and that's pretty much it. I found the notation is very convenient if you are consistent with the labels. Also, feel free to ask, there's plenty of people willing to help you when you get stuck!
$endgroup$
– caverac
Jan 3 at 15:31
$begingroup$
@pasabaporaqui If I may give you a piece of (unsolicited) advice: keep track of your indices, and that's pretty much it. I found the notation is very convenient if you are consistent with the labels. Also, feel free to ask, there's plenty of people willing to help you when you get stuck!
$endgroup$
– caverac
Jan 3 at 15:31
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%2f3060421%2fcovariant-metric-tensor-in-case-of-polar-transformation%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$
Sorry so what is the question exactly?
$endgroup$
– IAmNoOne
Jan 3 at 13:13
$begingroup$
@IAmNoOne: edited and clarified. Why the expected result is not obtained?
$endgroup$
– pasaba por aqui
Jan 3 at 13:15
$begingroup$
You are right, my bad.
$endgroup$
– IAmNoOne
Jan 4 at 1:59