How to compute a Jacobian using polar coordinates? Unicorn Meta Zoo #1: Why another podcast? ...
Was Objective-C really a hindrance to Apple software development?
Putting Ant-Man on house arrest
Is there an efficient way for synchronising audio events real-time with LEDs using an MCU?
Bright yellow or light yellow?
How long can a nation maintain a technological edge over the rest of the world?
Why did Europeans not widely domesticate foxes?
Does a Draconic Bloodline sorcerer's doubled proficiency bonus for Charisma checks against dragons apply to all dragon types or only the chosen one?
Getting AggregateResult variables from Execute Anonymous Window
What do you call an IPA symbol that lacks a name (e.g. ɲ)?
What is /etc/mtab in Linux?
Marquee sign letters
Is it appropriate to mention a relatable company blog post when you're asked about the company?
How would you suggest I follow up with coworkers about our deadline that's today?
Why does the Cisco show run command not show the full version, while the show version command does?
Is there a possibility to generate a list dynamically in Latex?
RIP Packet Format
All ASCII characters with a given bit count
Does Prince Arnaud cause someone holding the Princess to lose?
In search of the origins of term censor, I hit a dead end stuck with the greek term, to censor, λογοκρίνω
What is a good proxy for government quality?
What happened to Viserion in Season 7?
Why doesn't the university give past final exams' answers?
Protagonist's race is hidden - should I reveal it?
`FindRoot [ ]`::jsing: Encountered a singular Jacobian at a point...WHY
How to compute a Jacobian using polar coordinates?
Unicorn Meta Zoo #1: Why another podcast?
Announcing the arrival of Valued Associate #679: Cesar ManaraHow do I convert a vector field in Cartesian coordinates to spherical coordinates?gradient in polar coordinate by changing gradient in Cartesian coordinateJacobian of the change of variablesJacobian Determinant of Polar-Coordinate TransformationPolar coordinates and Jacobian of $frac12 r $Elementary JacobianPartial derivative in polar coordinatesHow do I prove this identity involving polar coordinates and $nabla$?What is the Jacobian in this transformationDoubt about differentia operatorl in polar coordinates
$begingroup$
Consider the transformation $F$ of $mathbb R^2setminus{(0,0)}$ onto itself defined as
$$
F(x, y):=left( frac{x}{x^2+y^2}, frac{y}{x^2+y^2}right).$$
Its Jacobian matrix is
$$tag{1}
begin{bmatrix} frac{y^2-x^2}{(x^2+y^2)^2} & -frac{2xy}{(x^2+y^2)^2} \ -frac{2xy}{(x^2+y^2)^2} & frac{x^2-y^2}{(x^2+y^2)^2} end{bmatrix},quad text{and its determinant equals} frac{-1}{(x^2+y^2)^2}.$$
The following alternative computation is wrong at (!) and (!!), and I cannot see why.
Let $phicolon (0, infty)times (-pi, pi)to mathbb R^2$ be the map $$phi(r, theta) =(rcos theta, rsin theta).$$ Let moreover $$tag{2}tilde{F}:=phi^{-1}circ Fcirc phi;$$ then, by an easy direct computation, $$tilde{F}(r, theta)=left( frac1r, thetaright).$$The Jacobian matrix of $tilde{F}$ is, thus, $$tag{!}begin{bmatrix} frac{-1}{r^2} & 0 \ 0 & 1end{bmatrix} , quad text{and its determinant equals } frac{-1}{r^2}.$$On the other hand, by (2) and by the chain rule, the Jacobian determinants of $F$ and $tilde{F}$ are equal. We conclude that the Jacobian determinant of $F$ is $$tag{!!} frac{-1}{r^2}=frac{-1}{x^2+y^2}.$$
The result (!!) is off by a factor of $r^{-2}$ from the correct one, which is given in (1). Equation (!) must also be wrong. Indeed, computing the Jacobian matrix from (2) using the chain rule I obtain the result
$$
begin{bmatrix} frac{x}{sqrt{x^2+y^2}} & frac{y}{sqrt{x^2+y^2}} \ -frac{y}{x^2+y^2} & frac{x}{x^2+y^2}end{bmatrix} begin{bmatrix} frac{y^2-x^2}{(x^2+y^2)^2} & -frac{2xy}{(x^2+y^2)^2} \ -frac{2xy}{(x^2+y^2)^2} & frac{x^2-y^2}{(x^2+y^2)^2} end{bmatrix}begin{bmatrix} costheta & -rsintheta \ sin theta & rcos thetaend{bmatrix} = begin{bmatrix} -frac1{r^2} & 0 \ 0 & frac{1}{r^2}end{bmatrix},$$
which is different from the matrix in (!), and which gives the correct determinant of $-1/r^4$, as it should be.
Can you help me spot the mistake?
calculus multivariable-calculus differential-geometry
$endgroup$
add a comment |
$begingroup$
Consider the transformation $F$ of $mathbb R^2setminus{(0,0)}$ onto itself defined as
$$
F(x, y):=left( frac{x}{x^2+y^2}, frac{y}{x^2+y^2}right).$$
Its Jacobian matrix is
$$tag{1}
begin{bmatrix} frac{y^2-x^2}{(x^2+y^2)^2} & -frac{2xy}{(x^2+y^2)^2} \ -frac{2xy}{(x^2+y^2)^2} & frac{x^2-y^2}{(x^2+y^2)^2} end{bmatrix},quad text{and its determinant equals} frac{-1}{(x^2+y^2)^2}.$$
The following alternative computation is wrong at (!) and (!!), and I cannot see why.
Let $phicolon (0, infty)times (-pi, pi)to mathbb R^2$ be the map $$phi(r, theta) =(rcos theta, rsin theta).$$ Let moreover $$tag{2}tilde{F}:=phi^{-1}circ Fcirc phi;$$ then, by an easy direct computation, $$tilde{F}(r, theta)=left( frac1r, thetaright).$$The Jacobian matrix of $tilde{F}$ is, thus, $$tag{!}begin{bmatrix} frac{-1}{r^2} & 0 \ 0 & 1end{bmatrix} , quad text{and its determinant equals } frac{-1}{r^2}.$$On the other hand, by (2) and by the chain rule, the Jacobian determinants of $F$ and $tilde{F}$ are equal. We conclude that the Jacobian determinant of $F$ is $$tag{!!} frac{-1}{r^2}=frac{-1}{x^2+y^2}.$$
The result (!!) is off by a factor of $r^{-2}$ from the correct one, which is given in (1). Equation (!) must also be wrong. Indeed, computing the Jacobian matrix from (2) using the chain rule I obtain the result
$$
begin{bmatrix} frac{x}{sqrt{x^2+y^2}} & frac{y}{sqrt{x^2+y^2}} \ -frac{y}{x^2+y^2} & frac{x}{x^2+y^2}end{bmatrix} begin{bmatrix} frac{y^2-x^2}{(x^2+y^2)^2} & -frac{2xy}{(x^2+y^2)^2} \ -frac{2xy}{(x^2+y^2)^2} & frac{x^2-y^2}{(x^2+y^2)^2} end{bmatrix}begin{bmatrix} costheta & -rsintheta \ sin theta & rcos thetaend{bmatrix} = begin{bmatrix} -frac1{r^2} & 0 \ 0 & frac{1}{r^2}end{bmatrix},$$
which is different from the matrix in (!), and which gives the correct determinant of $-1/r^4$, as it should be.
Can you help me spot the mistake?
calculus multivariable-calculus differential-geometry
$endgroup$
add a comment |
$begingroup$
Consider the transformation $F$ of $mathbb R^2setminus{(0,0)}$ onto itself defined as
$$
F(x, y):=left( frac{x}{x^2+y^2}, frac{y}{x^2+y^2}right).$$
Its Jacobian matrix is
$$tag{1}
begin{bmatrix} frac{y^2-x^2}{(x^2+y^2)^2} & -frac{2xy}{(x^2+y^2)^2} \ -frac{2xy}{(x^2+y^2)^2} & frac{x^2-y^2}{(x^2+y^2)^2} end{bmatrix},quad text{and its determinant equals} frac{-1}{(x^2+y^2)^2}.$$
The following alternative computation is wrong at (!) and (!!), and I cannot see why.
Let $phicolon (0, infty)times (-pi, pi)to mathbb R^2$ be the map $$phi(r, theta) =(rcos theta, rsin theta).$$ Let moreover $$tag{2}tilde{F}:=phi^{-1}circ Fcirc phi;$$ then, by an easy direct computation, $$tilde{F}(r, theta)=left( frac1r, thetaright).$$The Jacobian matrix of $tilde{F}$ is, thus, $$tag{!}begin{bmatrix} frac{-1}{r^2} & 0 \ 0 & 1end{bmatrix} , quad text{and its determinant equals } frac{-1}{r^2}.$$On the other hand, by (2) and by the chain rule, the Jacobian determinants of $F$ and $tilde{F}$ are equal. We conclude that the Jacobian determinant of $F$ is $$tag{!!} frac{-1}{r^2}=frac{-1}{x^2+y^2}.$$
The result (!!) is off by a factor of $r^{-2}$ from the correct one, which is given in (1). Equation (!) must also be wrong. Indeed, computing the Jacobian matrix from (2) using the chain rule I obtain the result
$$
begin{bmatrix} frac{x}{sqrt{x^2+y^2}} & frac{y}{sqrt{x^2+y^2}} \ -frac{y}{x^2+y^2} & frac{x}{x^2+y^2}end{bmatrix} begin{bmatrix} frac{y^2-x^2}{(x^2+y^2)^2} & -frac{2xy}{(x^2+y^2)^2} \ -frac{2xy}{(x^2+y^2)^2} & frac{x^2-y^2}{(x^2+y^2)^2} end{bmatrix}begin{bmatrix} costheta & -rsintheta \ sin theta & rcos thetaend{bmatrix} = begin{bmatrix} -frac1{r^2} & 0 \ 0 & frac{1}{r^2}end{bmatrix},$$
which is different from the matrix in (!), and which gives the correct determinant of $-1/r^4$, as it should be.
Can you help me spot the mistake?
calculus multivariable-calculus differential-geometry
$endgroup$
Consider the transformation $F$ of $mathbb R^2setminus{(0,0)}$ onto itself defined as
$$
F(x, y):=left( frac{x}{x^2+y^2}, frac{y}{x^2+y^2}right).$$
Its Jacobian matrix is
$$tag{1}
begin{bmatrix} frac{y^2-x^2}{(x^2+y^2)^2} & -frac{2xy}{(x^2+y^2)^2} \ -frac{2xy}{(x^2+y^2)^2} & frac{x^2-y^2}{(x^2+y^2)^2} end{bmatrix},quad text{and its determinant equals} frac{-1}{(x^2+y^2)^2}.$$
The following alternative computation is wrong at (!) and (!!), and I cannot see why.
Let $phicolon (0, infty)times (-pi, pi)to mathbb R^2$ be the map $$phi(r, theta) =(rcos theta, rsin theta).$$ Let moreover $$tag{2}tilde{F}:=phi^{-1}circ Fcirc phi;$$ then, by an easy direct computation, $$tilde{F}(r, theta)=left( frac1r, thetaright).$$The Jacobian matrix of $tilde{F}$ is, thus, $$tag{!}begin{bmatrix} frac{-1}{r^2} & 0 \ 0 & 1end{bmatrix} , quad text{and its determinant equals } frac{-1}{r^2}.$$On the other hand, by (2) and by the chain rule, the Jacobian determinants of $F$ and $tilde{F}$ are equal. We conclude that the Jacobian determinant of $F$ is $$tag{!!} frac{-1}{r^2}=frac{-1}{x^2+y^2}.$$
The result (!!) is off by a factor of $r^{-2}$ from the correct one, which is given in (1). Equation (!) must also be wrong. Indeed, computing the Jacobian matrix from (2) using the chain rule I obtain the result
$$
begin{bmatrix} frac{x}{sqrt{x^2+y^2}} & frac{y}{sqrt{x^2+y^2}} \ -frac{y}{x^2+y^2} & frac{x}{x^2+y^2}end{bmatrix} begin{bmatrix} frac{y^2-x^2}{(x^2+y^2)^2} & -frac{2xy}{(x^2+y^2)^2} \ -frac{2xy}{(x^2+y^2)^2} & frac{x^2-y^2}{(x^2+y^2)^2} end{bmatrix}begin{bmatrix} costheta & -rsintheta \ sin theta & rcos thetaend{bmatrix} = begin{bmatrix} -frac1{r^2} & 0 \ 0 & frac{1}{r^2}end{bmatrix},$$
which is different from the matrix in (!), and which gives the correct determinant of $-1/r^4$, as it should be.
Can you help me spot the mistake?
calculus multivariable-calculus differential-geometry
calculus multivariable-calculus differential-geometry
edited 8 hours ago
Tengu
2,68411021
2,68411021
asked 9 hours ago
Giuseppe NegroGiuseppe Negro
17.7k332128
17.7k332128
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The Jacobians of the two functions aren't equal by the chain rule.
In actual fact, $D(phi(frac{1}{r}, costheta)) × Dtilde{F}(r, theta)= DF times D(phi(r, theta))$
$endgroup$
add a comment |
$begingroup$
I don't think there is any contradiction here.
Consider the volume form
$$ omega_{rm Cart} = dx wedge dy.$$
Your first calculation shows that the pullback $F^star(omega_{rm Cart})$ is given by
$$ F^star(omega_{rm Cart}) = - frac{1}{(x^2+y^2)^2}omega_{rm Cart}.$$
Now consider the volume form
$$ omega_{rm Polar} = dr wedge dtheta.$$
Your second calculation shows that
$$ F^star(omega_{rm Polar})=-frac 1 {r^2} omega_{rm Polar}. $$
We can use this to recompute $F^star(omega_{rm Cart})$. In view of the fact that
$$ omega_{rm Cart} = r omega_{rm Polar},$$
we have:
begin{align}
F^star(omega_{rm Cart}) &= F^star(romega_{rm Polar}) \ &= F^star(r) F^star(omega_{rm Polar}) \ &= frac 1 r left( - frac 1 {r^2}omega_{rm Polar} right) \ &= - frac{1}{r^4} left(romega_{rm Polar} right) \ &= - frac 1 {r^4} omega_{rm Cart}
end{align}
which is consistent with the first calculation!
As for the application of the chain rule, we have:
$$ (Dbar F)|_{(r, theta)} = D(phi^{-1})|_{Fcirc phi(r, theta)} (DF)|_{phi(r, theta)} (Dphi)|_{(r, theta)}$$
The key point is that you must evaluate $D(phi^{-1})$ at the point $left(frac x { (x^2 +y^2)}, frac y {(x^2 + y^2)}right)$, not at the point $(x, y)$.
This is equal to
$$ D(phi^{-1})|_{Fcirc phi(r, theta)} = begin{bmatrix} frac{frac{x}{x^2 + y^2}}{sqrt{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}} & frac{frac{y}{x^2 + y^2}}{sqrt{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}} \ -frac{frac{y}{x^2 + y^2}}{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2} & frac{frac{x}{x^2 + y^2}}{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}end{bmatrix} = begin{bmatrix}costheta & sin theta \ - rsin theta & rcostheta end{bmatrix}$$
which is not the inverse of $(Dphi)|_{(r, theta)}$.
$endgroup$
$begingroup$
I couldn't expect a better answer. You nailed it completely. Also, thank you for suggesting the viewpoint of volume forms; that makes for much slicker computations.
$endgroup$
– Giuseppe Negro
7 hours ago
add a comment |
Your Answer
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%2f3198750%2fhow-to-compute-a-jacobian-using-polar-coordinates%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The Jacobians of the two functions aren't equal by the chain rule.
In actual fact, $D(phi(frac{1}{r}, costheta)) × Dtilde{F}(r, theta)= DF times D(phi(r, theta))$
$endgroup$
add a comment |
$begingroup$
The Jacobians of the two functions aren't equal by the chain rule.
In actual fact, $D(phi(frac{1}{r}, costheta)) × Dtilde{F}(r, theta)= DF times D(phi(r, theta))$
$endgroup$
add a comment |
$begingroup$
The Jacobians of the two functions aren't equal by the chain rule.
In actual fact, $D(phi(frac{1}{r}, costheta)) × Dtilde{F}(r, theta)= DF times D(phi(r, theta))$
$endgroup$
The Jacobians of the two functions aren't equal by the chain rule.
In actual fact, $D(phi(frac{1}{r}, costheta)) × Dtilde{F}(r, theta)= DF times D(phi(r, theta))$
answered 8 hours ago
George DewhirstGeorge Dewhirst
1,72515
1,72515
add a comment |
add a comment |
$begingroup$
I don't think there is any contradiction here.
Consider the volume form
$$ omega_{rm Cart} = dx wedge dy.$$
Your first calculation shows that the pullback $F^star(omega_{rm Cart})$ is given by
$$ F^star(omega_{rm Cart}) = - frac{1}{(x^2+y^2)^2}omega_{rm Cart}.$$
Now consider the volume form
$$ omega_{rm Polar} = dr wedge dtheta.$$
Your second calculation shows that
$$ F^star(omega_{rm Polar})=-frac 1 {r^2} omega_{rm Polar}. $$
We can use this to recompute $F^star(omega_{rm Cart})$. In view of the fact that
$$ omega_{rm Cart} = r omega_{rm Polar},$$
we have:
begin{align}
F^star(omega_{rm Cart}) &= F^star(romega_{rm Polar}) \ &= F^star(r) F^star(omega_{rm Polar}) \ &= frac 1 r left( - frac 1 {r^2}omega_{rm Polar} right) \ &= - frac{1}{r^4} left(romega_{rm Polar} right) \ &= - frac 1 {r^4} omega_{rm Cart}
end{align}
which is consistent with the first calculation!
As for the application of the chain rule, we have:
$$ (Dbar F)|_{(r, theta)} = D(phi^{-1})|_{Fcirc phi(r, theta)} (DF)|_{phi(r, theta)} (Dphi)|_{(r, theta)}$$
The key point is that you must evaluate $D(phi^{-1})$ at the point $left(frac x { (x^2 +y^2)}, frac y {(x^2 + y^2)}right)$, not at the point $(x, y)$.
This is equal to
$$ D(phi^{-1})|_{Fcirc phi(r, theta)} = begin{bmatrix} frac{frac{x}{x^2 + y^2}}{sqrt{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}} & frac{frac{y}{x^2 + y^2}}{sqrt{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}} \ -frac{frac{y}{x^2 + y^2}}{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2} & frac{frac{x}{x^2 + y^2}}{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}end{bmatrix} = begin{bmatrix}costheta & sin theta \ - rsin theta & rcostheta end{bmatrix}$$
which is not the inverse of $(Dphi)|_{(r, theta)}$.
$endgroup$
$begingroup$
I couldn't expect a better answer. You nailed it completely. Also, thank you for suggesting the viewpoint of volume forms; that makes for much slicker computations.
$endgroup$
– Giuseppe Negro
7 hours ago
add a comment |
$begingroup$
I don't think there is any contradiction here.
Consider the volume form
$$ omega_{rm Cart} = dx wedge dy.$$
Your first calculation shows that the pullback $F^star(omega_{rm Cart})$ is given by
$$ F^star(omega_{rm Cart}) = - frac{1}{(x^2+y^2)^2}omega_{rm Cart}.$$
Now consider the volume form
$$ omega_{rm Polar} = dr wedge dtheta.$$
Your second calculation shows that
$$ F^star(omega_{rm Polar})=-frac 1 {r^2} omega_{rm Polar}. $$
We can use this to recompute $F^star(omega_{rm Cart})$. In view of the fact that
$$ omega_{rm Cart} = r omega_{rm Polar},$$
we have:
begin{align}
F^star(omega_{rm Cart}) &= F^star(romega_{rm Polar}) \ &= F^star(r) F^star(omega_{rm Polar}) \ &= frac 1 r left( - frac 1 {r^2}omega_{rm Polar} right) \ &= - frac{1}{r^4} left(romega_{rm Polar} right) \ &= - frac 1 {r^4} omega_{rm Cart}
end{align}
which is consistent with the first calculation!
As for the application of the chain rule, we have:
$$ (Dbar F)|_{(r, theta)} = D(phi^{-1})|_{Fcirc phi(r, theta)} (DF)|_{phi(r, theta)} (Dphi)|_{(r, theta)}$$
The key point is that you must evaluate $D(phi^{-1})$ at the point $left(frac x { (x^2 +y^2)}, frac y {(x^2 + y^2)}right)$, not at the point $(x, y)$.
This is equal to
$$ D(phi^{-1})|_{Fcirc phi(r, theta)} = begin{bmatrix} frac{frac{x}{x^2 + y^2}}{sqrt{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}} & frac{frac{y}{x^2 + y^2}}{sqrt{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}} \ -frac{frac{y}{x^2 + y^2}}{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2} & frac{frac{x}{x^2 + y^2}}{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}end{bmatrix} = begin{bmatrix}costheta & sin theta \ - rsin theta & rcostheta end{bmatrix}$$
which is not the inverse of $(Dphi)|_{(r, theta)}$.
$endgroup$
$begingroup$
I couldn't expect a better answer. You nailed it completely. Also, thank you for suggesting the viewpoint of volume forms; that makes for much slicker computations.
$endgroup$
– Giuseppe Negro
7 hours ago
add a comment |
$begingroup$
I don't think there is any contradiction here.
Consider the volume form
$$ omega_{rm Cart} = dx wedge dy.$$
Your first calculation shows that the pullback $F^star(omega_{rm Cart})$ is given by
$$ F^star(omega_{rm Cart}) = - frac{1}{(x^2+y^2)^2}omega_{rm Cart}.$$
Now consider the volume form
$$ omega_{rm Polar} = dr wedge dtheta.$$
Your second calculation shows that
$$ F^star(omega_{rm Polar})=-frac 1 {r^2} omega_{rm Polar}. $$
We can use this to recompute $F^star(omega_{rm Cart})$. In view of the fact that
$$ omega_{rm Cart} = r omega_{rm Polar},$$
we have:
begin{align}
F^star(omega_{rm Cart}) &= F^star(romega_{rm Polar}) \ &= F^star(r) F^star(omega_{rm Polar}) \ &= frac 1 r left( - frac 1 {r^2}omega_{rm Polar} right) \ &= - frac{1}{r^4} left(romega_{rm Polar} right) \ &= - frac 1 {r^4} omega_{rm Cart}
end{align}
which is consistent with the first calculation!
As for the application of the chain rule, we have:
$$ (Dbar F)|_{(r, theta)} = D(phi^{-1})|_{Fcirc phi(r, theta)} (DF)|_{phi(r, theta)} (Dphi)|_{(r, theta)}$$
The key point is that you must evaluate $D(phi^{-1})$ at the point $left(frac x { (x^2 +y^2)}, frac y {(x^2 + y^2)}right)$, not at the point $(x, y)$.
This is equal to
$$ D(phi^{-1})|_{Fcirc phi(r, theta)} = begin{bmatrix} frac{frac{x}{x^2 + y^2}}{sqrt{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}} & frac{frac{y}{x^2 + y^2}}{sqrt{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}} \ -frac{frac{y}{x^2 + y^2}}{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2} & frac{frac{x}{x^2 + y^2}}{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}end{bmatrix} = begin{bmatrix}costheta & sin theta \ - rsin theta & rcostheta end{bmatrix}$$
which is not the inverse of $(Dphi)|_{(r, theta)}$.
$endgroup$
I don't think there is any contradiction here.
Consider the volume form
$$ omega_{rm Cart} = dx wedge dy.$$
Your first calculation shows that the pullback $F^star(omega_{rm Cart})$ is given by
$$ F^star(omega_{rm Cart}) = - frac{1}{(x^2+y^2)^2}omega_{rm Cart}.$$
Now consider the volume form
$$ omega_{rm Polar} = dr wedge dtheta.$$
Your second calculation shows that
$$ F^star(omega_{rm Polar})=-frac 1 {r^2} omega_{rm Polar}. $$
We can use this to recompute $F^star(omega_{rm Cart})$. In view of the fact that
$$ omega_{rm Cart} = r omega_{rm Polar},$$
we have:
begin{align}
F^star(omega_{rm Cart}) &= F^star(romega_{rm Polar}) \ &= F^star(r) F^star(omega_{rm Polar}) \ &= frac 1 r left( - frac 1 {r^2}omega_{rm Polar} right) \ &= - frac{1}{r^4} left(romega_{rm Polar} right) \ &= - frac 1 {r^4} omega_{rm Cart}
end{align}
which is consistent with the first calculation!
As for the application of the chain rule, we have:
$$ (Dbar F)|_{(r, theta)} = D(phi^{-1})|_{Fcirc phi(r, theta)} (DF)|_{phi(r, theta)} (Dphi)|_{(r, theta)}$$
The key point is that you must evaluate $D(phi^{-1})$ at the point $left(frac x { (x^2 +y^2)}, frac y {(x^2 + y^2)}right)$, not at the point $(x, y)$.
This is equal to
$$ D(phi^{-1})|_{Fcirc phi(r, theta)} = begin{bmatrix} frac{frac{x}{x^2 + y^2}}{sqrt{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}} & frac{frac{y}{x^2 + y^2}}{sqrt{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}} \ -frac{frac{y}{x^2 + y^2}}{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2} & frac{frac{x}{x^2 + y^2}}{left(frac{x}{x^2 + y^2} right)^2+left( frac{y}{x^2 + y^2}right)^2}end{bmatrix} = begin{bmatrix}costheta & sin theta \ - rsin theta & rcostheta end{bmatrix}$$
which is not the inverse of $(Dphi)|_{(r, theta)}$.
edited 8 hours ago
answered 8 hours ago
Kenny WongKenny Wong
20.1k21442
20.1k21442
$begingroup$
I couldn't expect a better answer. You nailed it completely. Also, thank you for suggesting the viewpoint of volume forms; that makes for much slicker computations.
$endgroup$
– Giuseppe Negro
7 hours ago
add a comment |
$begingroup$
I couldn't expect a better answer. You nailed it completely. Also, thank you for suggesting the viewpoint of volume forms; that makes for much slicker computations.
$endgroup$
– Giuseppe Negro
7 hours ago
$begingroup$
I couldn't expect a better answer. You nailed it completely. Also, thank you for suggesting the viewpoint of volume forms; that makes for much slicker computations.
$endgroup$
– Giuseppe Negro
7 hours ago
$begingroup$
I couldn't expect a better answer. You nailed it completely. Also, thank you for suggesting the viewpoint of volume forms; that makes for much slicker computations.
$endgroup$
– Giuseppe Negro
7 hours ago
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%2f3198750%2fhow-to-compute-a-jacobian-using-polar-coordinates%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