covariant metric tensor in case of polar transformation












2












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










share|cite|improve this question











$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
















2












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










share|cite|improve this question











$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














2












2








2





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










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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


















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










1 Answer
1






active

oldest

votes


















1












$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






share|cite|improve this answer











$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












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%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









1












$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






share|cite|improve this answer











$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
















1












$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






share|cite|improve this answer











$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














1












1








1





$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






share|cite|improve this answer











$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







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








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


















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


















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%2f3060421%2fcovariant-metric-tensor-in-case-of-polar-transformation%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

Probability when a professor distributes a quiz and homework assignment to a class of n students.

Aardman Animations

Are they similar matrix