2DJacobians
- Page ID
- 248282
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\dsum}{\displaystyle\sum\limits} \)
\( \newcommand{\dint}{\displaystyle\int\limits} \)
\( \newcommand{\dlim}{\displaystyle\lim\limits} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\(\newcommand{\longvect}{\overrightarrow}\)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\ket}[1]{\left| #1 \right>}\)
\(\newcommand{\bra}[1]{\left< #1 \right|}\)
\(\newcommand{\braket}[2]{\left< #1 \vphantom{#2} \right| \left. #2 \vphantom{#1} \right>}\)
\(\newcommand{\braopket}[3]{\left< #1 \vphantom{#2}\vphantom{#3} \right| #2 \vphantom{#1}\vphantom{#3} \left| #3 \vphantom{#1}\vphantom{#2} \right>}\)
\(\newcommand{\qmvec}[1]{\mathbf{\vec{#1}}}\)
\(\newcommand{\op}[1]{\hat{\mathbf{#1}}}\)
\(\newcommand{\expect}[1]{\langle #1 \rangle}\)
\(\newcommand{\dfn}[1]{\emph{\textbf{#1}}}\)
Theory of Jacobians in 2D
Foundational Definitions
We have seen that the Jacobian matrix for a transformation
F: x(u,v), y(u,v)
from R2 to R2 is defined by

This matrix is seen as a transformation from R2 to R2 that is the best linear approximation of the transformation F. When working with Jacobians, we usually write a point as a column vector. For example, instead of writing the point (2,3) we write it as
![]()
In general we define

It is easier to understand this by looking at an example.
Example
Let F be the transformation defined by
x(u,v) = u2 - 3uv, y(u,v) = u3 +5v2
Find JF evaluated at the point (-1,2).
Solution
First find the Jacobian by calculating the partial derivatives.
![J_F = [(2u-3v,-3u),(3u^2,10v)]](/imgF.gif)
Now plug in (-1,2) to get:
![J_F=[(-8,3),(3,20)]](/img12.gif)
Finally, multiply by the column vector:
= (14,37)](/img14.gif)
Addition and Scalar Multiplication of Jacobians and Matrices
Let F and G both be differentiable transformations from R2 to R2 and let a be a real number. Then if we think of a point (x,y) as a vector, we can define the sum of the two transformations as follows.

and
![aF([u,v]) = a(F([u,v)])](/img19.gif)
This is just doing the obvious thing as we see in the following example.
Example Let
F: x(u,v) = u - 2v, y(u,v) = u4 - u2v
G: x(u,v) = u2, y(u,v) = 2uv - v
Then
F + G: x(u,v) = u - 2v + u2 , y(u,v) = u4 - u2v + 2uv - v
and
5F: x(u,v) = 5u - 10v, y(u,v) = 5u4 - 5u2v
We define addition and scalar multiplication of 2x2 matrices and follows. Let a be a real number and let
![A=[(a11,a12),(a21,a22)] B=[(b11,b12),(b21,b22)]](/img1A.gif)
Then
![A+B = [(a11+b11,a12+b12),(a21+b21,a22+b22)]](/img20.gif)
Example
![[(2,1),(-4,0)] + [(3,-5),(7,6)] = [(5,-4),(3,6)]](/img6.gif)
Several properties of Jacobians follow from properties of matrices. The proofs are left as exercises.
Properties of Jacobians
Let F and G be differentiable transformations from R2 to R2 and let a be a real number. Then
- JF+G = JF + JG
- JaF = aJF
Multiplication of Matrices and Jacobians
Unlike scalar multiplication and addition of matrices, multiplication of two matrices is not as intuitive. Although the definition looks contrived, it is just what is needed to describe the Jacobian of the composition of transformations. To multiply two matrices, we think of the first matrix as a collection of row vectors and the second matrix as a collection of column vectors. Then the ijth entry of the product matrix is the dot product of the ith row vector of the first matrix with the jth column vector of the second matrix. This gives us the following definition.
Definition of Matrix Multiplication
Let A and B be 2x2 matrices. Then
![AB=[(a11,a12),(a21,a22)][(b11,b12),(b21,b22)]=[(a11b11+a12b21,a11b12+a12b22),(a21b11+a22b21,a21b12+a22b22)]](/img21.gif)
Example Let
![A=[(-1,0),(3,5)], B=[(2,4),(1,-3)]](/img24.gif)
Find AB
Solution
![[(-1,0),(3,5)][(2,4),(1,-3)]=[(-2,-4),(11,-3)]](/img26.gif)
Now that we know how to multiply two matrices, we can state the main result about the composition of two transformations.
Theorem (Composition of Transformations)
Let F and G be two differentiable transformations from R2 to R2 with Jacobian matrices JF = A and JG = B and let FoG be the transformation from R2 to R2 that represents the composition of these two transformations. Then
JFoG = AB
We leave the proof for you to do as an exercise.
We can think of the composition of two transformations as follows. Consider G as the transformation that takes (u,v) to (s,t) and F as the transformation that takes (s,t) to (x,y). Then the composition transformation takes (u,v) to (x,y). Be careful about the order of operations. Since these are functions, writing FoG means do G first and then F.
Exercises
For Exercises 1-4, find JF(P) for the given transformation F at the given point P.
1. F: x(u,v) = u2 - 3v, y(u,v) = 4uv, P = (3,-2)
2. F: x(u,v) = veu, y(u,v) = 2u + v2, P = (0,5)
3. F: x(u,v) = ln(u + v), y(u,v) = uv, P = (3,-2)
4. F: x(u,v) = sin(u - v), y(u,v) = ucos(v), P = (0,p/6)
For Exercises 5, 6, and 7, calculate the Jacobian of H in two ways. First perform the arithmetic on the transformation and calculate the Jacobian of the result. Then calculate the Jacobian of each and perform the arithmetic on the resulting matrices.
5. H = F + G, F: x(u,v) = 2u - 3v, y(u,v) = uv2 G: x(u,v) = u2 - 3v2, y(u,v) = 5u - v
6. H = F - G, F: x(u,v) = cos(uv), y(u,v) = 3u - 4v G: x(u,v) = 6u - 2v, y(u,v) = 5u2
7. H = 2F - 3G, F: x(u,v) = 3uev, y(u,v) = ln v G: x(u,v) = v - 2uev, y(u,v) = eu
For Exercises 8 and 9, calculate the Jacobian of H = F o G in two ways. First find the composition of the two transformations and then calculate the Jacobian of the result. Then find the Jacobian of each and multiply the two matrices.
8. F: x(u,v) = u - 3v2, y(u,v) = u3 G: u(s,t) = s2et, v(s,t) = 4s - t
9. F: x(u,v) = 2uv, y(u,v) = cos(u + 2v) G: u(s,t) = s/t, v(s,t) = t2
10. Let F: x(u,v) = 3u - v, y(u,v) = u2v3 G: u(s,t) = 3t, v(s,t) = est H: s(m,n) = n2, t(m,n) = m/n
Demonstrate that the Jacobian of the composition of the three transformations is the product of the
three Jacobians, that is show that JFoGoH = JF JG JH
11. Prove that JF+G = JF + JG for any differentiable transformations F and G from R2 to R2.
12. Prove that JaF = aJF for any differentiable transformation F and real number a.
13. Prove that JaF+bG = aJF + bJG for any differentiable transformations F and G from R2 to R2 and real numbers a and b.
14. Prove that JFoG = JF JG for any differentiable transformations F and G from R2 to R2.

