Skip to main content\(\require{physics}\require{upgreek}\everymath{\displaystyle}
\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\inv}{^{-1}}
\newcommand{\DS}{\displaystyle}
\newcommand{\eps}{\varepsilon}
\newcommand{\tsub}[1]{_{\mathrm{#1}}}
\newcommand{\ee}{\mathrm{e}}
\newcommand{\ii}{\mathrm{i}}
\newcommand{\limit}[1]{\lim\limits_{#1}}
\newcommand{\resid}[1]{\underset{#1}{\Res}}
\DeclareMathOperator{\sinc}{sinc}
\DeclareMathOperator{\sgn}{sgn}
\newcommand{\pii}{\pi}
\DeclareMathOperator{\Prob}{P}
\DeclareMathOperator{\EV}{E}
\DeclareMathOperator{\Var}{Var}
\newcommand{\bv}[1]{\boldsymbol{#1}}
\newcommand{\uv}[1]{\hat{\bv{#1}}}
\newcommand{\cl}[1]{\mathcal{#1}}
\newcommand{\bb}[1]{\mathbb{#1}}
\DeclareMathOperator{\Cis}{cis}
\DeclareMathOperator{\RE}{Re}
\DeclareMathOperator{\IM}{Im}
\newcommand{\xd}{\mathbf{d}}
\newcommand{\seq}[3]{{#1}_{#2},\cdots,{#1}_{#3}}
\newcommand{\psup}[1]{^{(#1)}}
\newcommand{\hypext}{{}^*}
\DeclareMathOperator{\st}{st}
\newcommand{\set}[1]{\left\{#1\right\}}
\DeclareMathOperator{\Sin}{Sin}
\DeclareMathOperator{\Cos}{Cos}
\DeclareMathOperator{\Tan}{Tan}
\DeclareMathOperator{\Sec}{Sec}
\DeclareMathOperator{\Csc}{Csc}
\DeclareMathOperator{\Cot}{Cot}
\DeclareMathOperator{\Log}{Log}
\DeclareMathOperator{\Arg}{Arg}
\DeclareMathOperator{\Ln}{Ln}
\DeclareMathOperator{\Grad}{grad}
\DeclareMathOperator{\Div}{div}
\DeclareMathOperator{\Curl}{curl}
\newcommand{\rd}{\textstyle\mathop{}\!\mathrm{d}^{\!\!\!-}\hspace{-0.0555 em}}
\newcommand{\rpd}{\textstyle\mathop{}\!\partial^{\hspace{-0.5 em}-}\hspace{-0.1666 em}}
\newcommand{\rdv}[2]{\frac{\rd{#1}}{\rd{#2}}}
\newcommand{\rpdv}[2]{\frac{\rpd{#1}}{\rpd{#2}}}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Section 18.2 The Jacobian matrix and its determinant
Objectives
-
Interpret the Jacobian matrix as the best linear approximation to a transformation.
-
Interpret the determinant of the Jacobian as a local scaling and orientation factor.
-
Recognize special transformations that preserve angles (conformal maps).
-
The Jacobian matrix of a transformation \(\bv f\) given by \(x=g(u,v)\text{,}\) \(y=h(u,v)\) is
\begin{equation*}
\bv J_{\bv f}=\pdv{(x,y)}{(u,v)}=
\begin{bmatrix}
\DS\pdv{x}{u} \amp \DS\pdv{x}{v}\\[1 ex]
\DS\pdv{y}{u} \amp \DS\pdv{y}{v}
\end{bmatrix}.
\end{equation*}
-
The Jacobian generalizes earlier notions of derivatives:
-
\(\bb R \to \bb R\text{:}\) derivative
-
\(\bb R \to \bb R^n\text{:}\) vector derivative
-
\(\bb R^m \to \bb R\text{:}\) gradient (transpose)
-
\(\bb R^m \to \bb R^n\text{:}\) full Jacobian
-
The determinant
\begin{equation*}
\det \bv J_{\bv f}
=
\pdv{x}{u}\pdv{y}{v}
-
\pdv{x}{v}\pdv{y}{u}
\end{equation*}
measures how small regions are scaled and whether orientation is preserved.
-
In two dimensions, this corresponds to the area of a transformed parallelogram.
-
Some transformations do more than scale—they preserve angles.
-
Example: \(f(z)=z^2\) corresponds to the transformation
\begin{equation*}
(x,y) \mapsto (x^2 - y^2, 2xy).
\end{equation*}
Its Jacobian matrix is
\begin{equation*}
\begin{bmatrix}
2x \amp -2y\\
2y \amp 2x
\end{bmatrix},
\end{equation*}
whose determinant is \(4(x^2 + y^2)\text{.}\)
-
The structure of this matrix shows that the transformation locally acts like a rotation combined with scaling.
-
In general, non-constant holomorphic functions produce transformations that preserve angles. These are called
conformal mappings.