Skip to main content
Mathematics LibreTexts

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}}}\)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    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

    J_F = Matrix[(x_u,x_v),(y_u,y_v)

    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

    2 on top of 3

    In general we define

    J_F(u,v) = (x_u*u+x_v*v,y_u*u+y_v*v)

    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)]

    Now plug in (-1,2) to get:

    J_F=[(-8,3),(3,20)]

    Finally, multiply by the column vector:

    [(-8,2),(3,20)](-1,2)= (14,37)


    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.

    (F+G)(u,v) = F(u,v) + G(u,v)

    and

    aF([u,v])  =  a(F([u,v)])

     

    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)]

    Then

    A+B  =  [(a11+b11,a12+b12),(a21+b21,a22+b22)]

    Example

    [(2,1),(-4,0)] + [(3,-5),(7,6)] = [(5,-4),(3,6)]


    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

    1. JF+G  = JF + JG
    2. 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)]


    Example  Let

    A=[(-1,0),(3,5)], B=[(2,4),(1,-3)]

    Find AB

    Solution

    [(-1,0),(3,5)][(2,4),(1,-3)]=[(-2,-4),(11,-3)]


    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.

     

     


    2DJacobians is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?