Prove the chain rule for Jacobi determinants

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 6K views
vst98
Messages
49
Reaction score
0

Homework Statement



Prove the chain rule for Jacobi determinants

[itex]\frac{d(f,g)}{d(u,v)} * \frac{d(u,v)}{d(x,y)}=\frac{d(f,g)}{d(x,y)}[/itex]

Homework Equations



Definition of Jacobi determinant

[itex]\frac{d(f,g)}{d(u,v)} = \frac{d(f,g)}{d(u,v)} = det \begin{bmatrix}<br /> \frac{df}{du}&\frac{df}{dv} \\ <br /> \frac{dg}{du}&\frac{dg}{dv}<br /> \end{bmatrix}[/itex]

The determinant of a matrix product of square matrices equals the product of their determinants:
det(AB)=det(A)det(B)

The Attempt at a Solution



[itex]\frac{d(f,g)}{d(u,v)} * \frac{d(u,v)}{d(x,y)} = det \begin{bmatrix}<br /> \frac{df}{du}&\frac{df}{dv} \\ <br /> \frac{dg}{du}&\frac{dg}{dv}<br /> \end{bmatrix} * <br /> det \begin{bmatrix}<br /> \frac{du}{dx}&\frac{du}{dy} \\ <br /> \frac{dv}{dx}&\frac{dv}{dy}<br /> \end{bmatrix} = det (\begin{bmatrix}<br /> \frac{df}{du}&\frac{df}{dv} \\ <br /> \frac{dg}{du}&\frac{dg}{dv}<br /> \end{bmatrix} * <br /> \begin{bmatrix}<br /> \frac{du}{dx}&\frac{du}{dy} \\ <br /> \frac{dv}{dx}&\frac{dv}{dy}<br /> \end{bmatrix}) = det\begin{bmatrix}<br /> \frac{df}{du}\frac{du}{dx} + \frac{df}{dv}\frac{dv}{dx}&\frac{df}{du}\frac{du}{dy} + \frac{df}{dv}\frac{dv}{dy} \\ <br /> \frac{dg}{du}\frac{du}{dx} + \frac{dg}{dv}\frac{dv}{dx} & \frac{dg}{du}\frac{du}{dy} + \frac{dg}{dv}\frac{dv}{dy}<br /> \end{bmatrix} = det \begin{bmatrix}<br /> 2\frac{df}{dx} & 2\frac{df}{dy} \\ <br /> 2\frac{dg}{dx}&2\frac{dg}{dy} <br /> \end{bmatrix} = 2*\frac{d(f,g)}{d(x,y)}[/itex]

which is obviously wrong but I don't see where is my error.
Is it wrong to cancel out those cross terms after multiplying matrices, but what else can I do ?
 
Physics news on Phys.org
Proof

I know this is an old thread (and I hope you are not still stuck:-p), but I am just replying so other can use it for future reference.

The problem lies in the fact that you see the jacobian matrix as a matrix containing derivatives. As it is related to a multivariate function (a function depending on multiple variables), you should work with partial derivatives. As f is a function of u and v you can write

[itex]df=\left(\frac{\partial f}{\partial u}\right)_{v}du+\left(\frac{\partial f}{\partial v}\right)_{u}dv[/itex]

where the subscript [itex]\left(\frac{\partial f}{\partial u}\right)_{x}[/itex] means the partial derivative of f with respect to u holding x constant.

As u and v are a function of x and y you can write:
[itex]du=\left(\frac{\partial u}{\partial x}\right)_{y}dx+\left(\frac{\partial u}{\partial y}\right)_{x}dy[/itex]
[itex]dv=\left(\frac{\partial v}{\partial x}\right)_{y}dx+\left(\frac{\partial v}{\partial y}\right)_{x}dy[/itex]

If we will in these equations in the previous, we can obtain:
[itex]df=\left[\left(\frac{\partial f}{\partial v}\right)_{u}\left(\frac{\partial v}{\partial x}\right)_{y}+\left(\frac{\partial f}{\partial u}\right)_{v}\left(\frac{\partial u}{\partial x}\right)_{y}\right]dx+\left[\left(\frac{\partial f}{\partial u}\right)_{v}\left(\frac{\partial u}{\partial y}\right)_{x}+\left(\frac{\partial f}{\partial v}\right)_{u}\left(\frac{\partial v}{\partial y}\right)_{x}\right]dy[/itex]
As f is also a function of x and y we can also write:
[itex]df=\left(\frac{\partial f}{\partial x}\right)_{y}dx+\left(\frac{\partial f}{\partial y}\right)_{x}dy[/itex]

From the last two equations, we can solve:
[itex]\left(\frac{\partial f}{\partial x}\right)_{y}=\left(\frac{\partial f}{\partial v}\right)_{u}\left(\frac{\partial v}{\partial x}\right)_{y}+\left(\frac{\partial f}{\partial u}\right)_{v}\left(\frac{\partial u}{\partial x}\right)_{y}[/itex]
[itex]\left(\frac{\partial f}{\partial y}\right)_{x}=\left(\frac{\partial f}{\partial u}\right)_{v}\left(\frac{\partial u}{\partial y}\right)_{x}+\left(\frac{\partial f}{\partial v}\right)_{u}\left(\frac{\partial v}{\partial y}\right)_{x}[/itex]

You can see that this resembles the upper row of your second to last result. If you rework your proof using these rules, it should find the proof you need.

Good luck!