Local Transformations and Differential Elements
This note explains how infinitesimal changes transform under coordinate maps via the Jacobian matrix—from differential displacement to differential area and volume—in Cartesian, cylindrical, and spherical coordinates.
Note: Everything here is 3D and the cross product is used. In general dimensions, area/volume elements are best expressed using differential forms (wedge products); the 3D vector formulas here are a special case.
Sources:
- Fawwaz Ulaby. (2020). Chapter 3: Vector Analysis. Fundamentals of applied electromagnetics (8rd ed., pp. 130–163). Pearson.
Local transformations and Differential Elements
Notation
| Symbol | Type | Explanation |
|---|---|---|
| \(x, y, z\) | \(\in \mathbb{R}\) | Cartesian coordinates |
| \(u, v, w\) | \(\in \mathbb{R}\) | General curvilinear coordinates |
| \(r, \phi, z\) | \(\in \mathbb{R}\) | Cylindrical coordinates |
| \(R, \theta, \phi\) | \(\in \mathbb{R}\) | Spherical coordinates |
| \(\mathbf{r}\) | \(\in \mathbb{R}^3\) | Position vector |
| \(\hat{\mathbf{x}}, \hat{\mathbf{y}}, \hat{\mathbf{z}}\) | \(\in \mathbb{R}^3\) | Cartesian unit basis vectors |
| \(\hat{\mathbf{r}}, \hat{\boldsymbol{\phi}}, \hat{\mathbf{z}}\) | \(\in \mathbb{R}^3\) | Cylindrical unit basis vectors |
| \(\hat{\mathbf{R}}, \hat{\boldsymbol{\theta}}, \hat{\boldsymbol{\phi}}\) | \(\in \mathbb{R}^3\) | Spherical unit basis vectors |
| \(\mathbf{e}_u, \mathbf{e}_v, \mathbf{e}_w\) | \(\in \mathbb{R}^3\) | Base vectors in the transformed coordinate system |
| \(d\mathbf{l}\) | \(\in \mathbb{R}^3\) | Differential displacement vector |
| \(d\mathbf{l}_u, d\mathbf{l}_v, d\mathbf{l}_w\) | \(\in \mathbb{R}^3\) | Differential displacement vectors along each coordinate |
| \(d\mathbf{s}\) | \(\in \mathbb{R}^3\) | Differential area vector |
| \(d\mathbf{s}_u, d\mathbf{s}_v, d\mathbf{s}_w\) | \(\in \mathbb{R}^3\) | Differential area vectors along each coordinate |
| \(dV\) | \(\in \mathbb{R}\) | Differential volume element |
| \(J\) | \(\in \mathbb{R}^{3 \times 3}\) | Jacobian matrix of the coordinate transformation |
| \(\operatorname{det} J\) | \(\in \mathbb{R}\) | Determinant of the Jacobian matrix, used for volume scaling |
| \(\mathbf{e}_u \cdot (\mathbf{e}_v \times \mathbf{e}_w)\) | \(\in \mathbb{R}\) | Scalar triple product of base vectors, equal to \(\operatorname{det} J\) |
| \(\nabla\) | Operator | Gradient operator |
Coordinate transformations and local linearization
In a 3D space, let a smooth coordinate transformation be given by \[ x=f_1(u,v,w),\quad y=f_2(u,v,w),\quad z=f_3(u,v,w). \] Write \(x\) as shorthand for \(f_1(u,v,w)\) (and similarly for \(y,z\)).
Take a small increment \((du,dv,dw)\) in \((u,v,w)\). The actual increment in \(x\) is \[ \Delta x \triangleq f_1(u+du,\,v+dv,\,w+dw)-f_1(u,v,w). \]
By the first-order Taylor expansion, \[ \Delta x = \frac{\partial x}{\partial u}\,du + \frac{\partial x}{\partial v}\,dv + \frac{\partial x}{\partial w}\,dw + O\!\left(\|(du,dv,dw)\|^2\right). \]
Define the total differential \(dx\) as the linear (first-order) part of the increment \(\Delta x\):
\[ dx \triangleq \frac{\partial x}{\partial u}\,du + \frac{\partial x}{\partial v}\,dv + \frac{\partial x}{\partial w}\,dw. \]
To write this compactly, collect the coordinate increments into a vector
\[ d\mathbf{u}\triangleq \begin{bmatrix}du\\dv\\dw\end{bmatrix}, \]
and define the gradient of \(x\) with respect to \((u,v,w)\) as
\[ \nabla_{\mathbf{u}} x \triangleq \begin{bmatrix} \frac{\partial x}{\partial u}\\ \frac{\partial x}{\partial v}\\ \frac{\partial x}{\partial w} \end{bmatrix}. \]
Then the differential is the dot product (equivalently, a transpose–vector product):
\[ dx = (\nabla_{\mathbf{u}} x)^\top d\mathbf{u}. \]
By the first-order Taylor expansion,
\[ \Delta x = dx + O\!\left(\|d\mathbf{u}\|^2\right), \]
so when \(d\mathbf{u}\) is small, \(dx\) is the local linear approximation of the true increment \(\Delta x\).
The same construction applies to \(y\) and \(z\). Stacking the three differentials yields
\[ \begin{bmatrix}dx\\dy\\dz\end{bmatrix} = \begin{bmatrix} (\nabla_{\mathbf{u}} x)^\top\\ (\nabla_{\mathbf{u}} y)^\top\\ (\nabla_{\mathbf{u}} z)^\top \end{bmatrix} d\mathbf{u} = J(u,v,w) \begin{bmatrix}du\\dv\\dw\end{bmatrix}, \]
where
\[ J(u,v,w)\triangleq \begin{bmatrix} \frac{\partial x}{\partial u} & \frac{\partial x}{\partial v} & \frac{\partial x}{\partial w}\\ \frac{\partial y}{\partial u} & \frac{\partial y}{\partial v} & \frac{\partial y}{\partial w}\\ \frac{\partial z}{\partial u} & \frac{\partial z}{\partial v} & \frac{\partial z}{\partial w} \end{bmatrix} \]
is the Jacobian matrix of the transformation. It is the linear map that best approximates the coordinate transformation near \((u,v,w)\).
Transforming the differential displacement vector
Consider a position vector \(\mathbf{r}\) in Cartesian coordinates, expressed as:
\[ \mathbf{r}=x \hat{\mathbf{x}}+y \hat{\mathbf{y}}+z \hat{\mathbf{z}} . \]
A small displacement in space is described by the differential displacement vector:
\[ d \mathbf{l}=\hat{\mathbf{x}} d x+\hat{\mathbf{y}} d y+\hat{\mathbf{z}} d z \]
If coordinates \(x, y, z\) are functions of a new coordinate system \((u, v, w)\), we express this transformation as:
\[ \left[\begin{array}{l} d x \\ d y \\ d z \end{array}\right]=J\left[\begin{array}{l} d u \\ d v \\ d w \end{array}\right] \]
Substituting this into the expression for \(d \mathbf{l}\), we obtain:
\[ d \mathbf{l}=\left[\begin{array}{lll} \hat{\mathbf{x}} & \hat{\mathbf{y}} & \hat{\mathbf{z}} \end{array}\right] J\left[\begin{array}{l} d u \\ d v \\ d w \end{array}\right] . \]
Note that
\[ \left[\begin{array}{lll}\hat{\mathbf{x}} & \hat{\mathbf{y}} & \hat{\mathbf{z}}\end{array}\right] J = \left[\begin{array}{lll}\frac{\partial \mathbf{r}}{\partial u} & \frac{\partial \mathbf{r}}{\partial v} & \frac{\partial \mathbf{r}}{\partial w}\end{array}\right] . \] Thus,
\[ d\mathbf{l} = \begin{bmatrix} \frac{\partial \mathbf{r}}{\partial u} & \frac{\partial \mathbf{r}}{\partial v} & \frac{\partial \mathbf{r}}{\partial w} \end{bmatrix} \begin{bmatrix} du\\ dv\\ dw \end{bmatrix} = \begin{bmatrix} \mathbf{e}_u & \mathbf{e}_v & \mathbf{e}_w \end{bmatrix} \begin{bmatrix} du\\ dv\\ dw \end{bmatrix} \]
where the base vectors (not necessarily unit) of the new coordinate system are given by:
\[ \mathbf{e}_i=\frac{\partial \mathbf{r}}{\partial u^i} \] where \(u^i = u, v, w\).
This shows that the Jacobian not only transforms differentials but also provides the (coordinates of the) base vectors (not necessarily unit) in the transformed coordinate system.
To cylindrical coordinates \((r, \phi, z)\)
Transforming to cylindrical coordinates, \[ x=r \cos \phi, \quad y=r \sin \phi, \quad z=z \]
The position vector becomes
\[ \mathbf{r}=r \cos \phi \hat{\mathbf{x}}+r \sin \phi \hat{\mathbf{y}}+z \hat{\mathbf{z}} \]
The Jacobian matrix is
\[ J=\left[\begin{array}{ccc} \cos \phi & -r \sin \phi & 0 \\ \sin \phi & r \cos \phi & 0 \\ 0 & 0 & 1 \end{array}\right] \]
The base vectors are the columns of \(J\) :
\[ \begin{gathered} \mathbf{e}_r=\cos \phi \hat{\mathbf{x}}+\sin \phi \hat{\mathbf{y}} \\ \mathbf{e}_\phi=-r \sin \phi \hat{\mathbf{x}}+r \cos \phi \hat{\mathbf{y}} \\ \mathbf{e}_z=\hat{\mathbf{z}} \end{gathered} \] Normalize them, obtain base unit vectors:
\[ \begin{gathered} \hat{\mathbf{r}}=\cos \phi \hat{\mathbf{x}}+\sin \phi \hat{\mathbf{y}} \\ \hat{\boldsymbol{\phi}}=-\sin \phi \hat{\mathbf{x}}+\cos \phi \hat{\mathbf{y}}, \\ \hat{\mathbf{z}}=\mathbf{e}_z . \end{gathered} \]
Since \(\mathbf{e}_\phi\) has a magnitude of \(r\), we write
\[ \mathbf{e}_\phi=r \hat{\boldsymbol{\phi}} \]
Thus,
\[ \mathbf{e}_r=\hat{\mathbf{r}}, \quad \mathbf{e}_\phi=r \hat{\boldsymbol{\phi}}, \quad \mathbf{e}_z=\hat{\mathbf{z}} \] Using the transformation formula,
\[ d \mathbf{l}=\left[\begin{array}{lll} \mathbf{e}_r & \mathbf{e}_\phi & \mathbf{e}_z \end{array}\right]\left[\begin{array}{l} d r \\ d \phi \\ d z \end{array}\right] \]
Substituting the base vectors,
\[ d \mathbf{l}=\left[\begin{array}{lll} \hat{\mathbf{r}} & r \hat{\boldsymbol{\phi}} & \hat{\mathbf{z}} \end{array}\right]\left[\begin{array}{l} d r \\ d \phi \\ d z \end{array}\right] . \]
or explicitly,
\[ d \mathbf{l}=\hat{\mathbf{r}} d r+r \hat{\boldsymbol{\phi}} d \phi+\hat{\mathbf{z}} d z \]
To spherical coordinates \((R, \theta, \phi)\)
Transforming to spherical coordinates,
\[ x=R \sin \theta \cos \phi, \quad y=R \sin \theta \sin \phi, \quad z=R \cos \theta \]
The position vector is
\[ \mathbf{r}=R \sin \theta \cos \phi \hat{\mathbf{x}}+R \sin \theta \sin \phi \hat{\mathbf{y}}+R \cos \theta \hat{\mathbf{z}} \]
The Jacobian matrix is
\[ J=\left[\begin{array}{ccc} \sin \theta \cos \phi & R \cos \theta \cos \phi & -R \sin \theta \sin \phi \\ \sin \theta \sin \phi & R \cos \theta \sin \phi & R \sin \theta \cos \phi \\ \cos \theta & -R \sin \theta & 0 \end{array}\right] . \]
The coordinates of the base vectors are the columns of \(J\):
\[ \begin{gathered} \mathbf{e}_R=\sin \theta \cos \phi \hat{\mathbf{x}}+\sin \theta \sin \phi \hat{\mathbf{y}}+\cos \theta \hat{\mathbf{z}} \\ \mathbf{e}_\theta=R \cos \theta \cos \phi \hat{\mathbf{x}}+R \cos \theta \sin \phi \hat{\mathbf{y}}-R \sin \theta \hat{\mathbf{z}} \\ \mathbf{e}_\phi=-R \sin \theta \sin \phi \hat{\mathbf{x}}+R \sin \theta \cos \phi \hat{\mathbf{y}} \end{gathered} \]
To obtain base unit vectors, we normalize: \[ \begin{gathered} \hat{\mathbf{R}}=\sin \theta \cos \phi \hat{\mathbf{x}}+\sin \theta \sin \phi \hat{\mathbf{y}}+\cos \theta \hat{\mathbf{z}} \\ \hat{\boldsymbol{\theta}}=\cos \theta \cos \phi \hat{\mathbf{x}}+\cos \theta \sin \phi \hat{\mathbf{y}}-\sin \theta \hat{\mathbf{z}} \\ \hat{\boldsymbol{\phi}}=-\sin \phi \hat{\mathbf{x}}+\cos \phi \hat{\mathbf{y}} \end{gathered} \]
Since \(\mathbf{e}_\theta\) has a magnitude of \(R\) and \(\mathbf{e}_\phi\) has a magnitude of \(R \sin \theta\), we write
\[ \mathbf{e}_\theta=R \hat{\boldsymbol{\theta}}, \quad \mathbf{e}_\phi=R \sin \theta \hat{\boldsymbol{\phi}} \]
Thus,
\[ \mathbf{e}_R=\hat{\mathbf{R}}, \quad \mathbf{e}_\theta=R \hat{\boldsymbol{\theta}}, \quad \mathbf{e}_\phi=R \sin \theta \hat{\boldsymbol{\phi}} \]
Using the transformation formula,
\[ d \mathbf{l}=\left[\begin{array}{lll} \hat{\mathbf{R}} & R \hat{\boldsymbol{\theta}} & R \sin \theta \hat{\boldsymbol{\phi}} \end{array}\right]\left[\begin{array}{c} d R \\ d \theta \\ d \phi \end{array}\right] \]
or explicitly,
\[ d \mathbf{l}=\hat{\mathbf{R}} d R+R \hat{\boldsymbol{\theta}} d \theta+R \sin \theta \hat{\phi} d \phi \]
Transforming the differential area vector
The differential area vector \(d \mathbf{s}\) is a vector perpendicular to an infinitesimal surface element with magnitude equal to its area. For a surface parameterized by coordinates \((u, v)\), the differential displacement vectors along these coordinate directions are:
\[ d \mathbf{l}_u=\mathbf{e}_u d u, \quad d \mathbf{l}_v=\mathbf{e}_v d v \]
The differential area vector is then given by their cross product:
\[ d \mathbf{s}=d \mathbf{l}_u \times d \mathbf{l}_v=\left(\mathbf{e}_u d u\right) \times\left(\mathbf{e}_v d v\right) \]
Its magnitude represents the infinitesimal surface area:
\[ d s=\left|\mathbf{e}_u \times \mathbf{e}_v\right| d u d v \]
where \(|\cdot|\) means vector magnitude.
In Cartesian coordinates, the differential displacement vectors along each coordinate direction are: \[ d \mathbf{l}_x=\hat{\mathbf{x}} d x, \quad d \mathbf{l}_y=\hat{\mathbf{y}} d y, \quad d \mathbf{l}_z=\hat{\mathbf{z}} d z \]
Thus, the differential area vectors are:
\[ \begin{aligned} & d \mathbf{s}_x=d \mathbf{l}_y \times d \mathbf{l}_z=\hat{\mathbf{x}} d y d z, \\ & d \mathbf{s}_y=d \mathbf{l}_z \times d \mathbf{l}_x=\hat{\mathbf{y}} d x d z, \\ & d \mathbf{s}_z=d \mathbf{l}_x \times d \mathbf{l}_y=\hat{\mathbf{z}} d x d y . \end{aligned} \]
To cylindrical coordinates \((r, \phi, z)\)
The differential displacement vectors in cylindrical coordinates are:
\[ d \mathbf{l}_r=\hat{\mathbf{r}} d r, \quad d \mathbf{l}_\phi=r \hat{\boldsymbol{\phi}} d \phi, \quad d \mathbf{l}_z=\hat{\mathbf{z}} d z \]
Taking cross products to obtain the differential area vectors:
\[ \begin{gathered} d \mathbf{s}_r=d \mathbf{l}_\phi \times d \mathbf{l}_z=(r \hat{\boldsymbol{\phi}} d \phi) \times(\hat{\mathbf{z}} d z)=\hat{\mathbf{r}} r d \phi d z \\ d \mathbf{s}_\phi=d \mathbf{l}_z \times d \mathbf{l}_r=(\hat{\mathbf{z}} d z) \times(\hat{\mathbf{r}} d r)=\hat{\boldsymbol{\phi}} d r d z \\ d \mathbf{s}_z=d \mathbf{l}_r \times d \mathbf{l}_\phi=(\hat{\mathbf{r}} d r) \times(r \hat{\boldsymbol{\phi}} d \phi)=\hat{\mathbf{z}} r d r d \phi \end{gathered} \]
To spherical coordinates \((R, \theta, \phi)\)
The differential displacement vectors in spherical coordinates are: \[ d \mathbf{l}_R=\hat{\mathbf{R}} d R, \quad d \mathbf{l}_\theta=R \hat{\theta} d \theta, \quad d \mathbf{l}_\phi=R \sin \theta \hat{\phi} d \phi \]
Taking cross products to obtain the differential area vectors:
\[ \begin{aligned} & d \mathbf{s}_R= d \mathbf{l}_\theta \times d \mathbf{l}_\phi=(R \hat{\boldsymbol{\theta}} d \theta) \times(R \sin \theta \hat{\boldsymbol{\phi}} d \phi)=\hat{\mathbf{R}} R^2 \sin \theta d \theta d \phi \\ & d \mathbf{s}_\theta= d \mathbf{l}_\phi \times d \mathbf{l}_R=(R \sin \theta \hat{\boldsymbol{\phi}} d \phi) \times(\hat{\mathbf{R}} d R)=\hat{\boldsymbol{\theta}} R \sin \theta d R d \phi \\ & d \mathbf{s}_\phi=d \mathbf{l}_R \times d \mathbf{l}_\theta=(\hat{\mathbf{R}} d R) \times(R \hat{\boldsymbol{\theta}} d \theta)=\hat{\boldsymbol{\phi}} R d R d \theta \end{aligned} \]
Transforming the differential volume element
The differential volume element represents an infinitesimal volume in space. It is computed as the scalar triple product of threedifferential displacement vectors that span the volume element.
For a coordinate system \((u, v, w)\), the differential displacement vectors along each coordinate direction are:
\[ d \mathbf{l}_u=\mathbf{e}_u d u, \quad d \mathbf{l}_v=\mathbf{e}_v d v, \quad d \mathbf{l}_w=\mathbf{e}_w d w \]
The differential volume element is then given by:
\[ d V= | d \mathbf{l}_u \cdot\left(d \mathbf{l}_v \times d \mathbf{l}_w\right) | \]
where \(| \cdot |\) means absolute value.
Expanding: \[ d V=\left|\mathbf{e}_u \cdot\left(\mathbf{e}_v \times \mathbf{e}_w\right)\right| d u d v d w = |\operatorname{det} J| d u d v d w \]
The later equation holds because the definition of cross product.
In Cartesian coordinates, the position vector is:
\[ \mathbf{r}=x \hat{\mathbf{x}}+y \hat{\mathbf{y}}+z \hat{\mathbf{z}} \]
The Jacobian matrix is:
\[ J=\left[\begin{array}{lll} \frac{\partial x}{\partial x} & \frac{\partial x}{\partial y} & \frac{\partial x}{\partial z} \\ \frac{\partial y}{\partial x} & \frac{\partial y}{\partial y} & \frac{\partial y}{\partial z} \\ \frac{\partial z}{\partial x} & \frac{\partial z}{\partial y} & \frac{\partial z}{\partial z} \end{array}\right]=\left[\begin{array}{lll} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{array}\right] \]
Since \(\operatorname{det} J=1\), the differential volume element is:
\[ d V=|\operatorname{det} J| d x d y d z=d x d y d z \]
To cylindrical coordinates \((r, \phi, z)\)
From the differential displacement vectors: \[ d \mathbf{l}_r=\hat{\mathbf{r}} d r, \quad d \mathbf{l}_\phi=r \hat{\boldsymbol{\phi}} d \phi, \quad d \mathbf{l}_z=\hat{\mathbf{z}} d z \]
The differential volume element is given by: \[ d V=\left|d \mathbf{l}_r \cdot\left(d \mathbf{l}_\phi \times d \mathbf{l}_z\right)\right| \]
Since \(d \mathbf{l}_\phi \times d \mathbf{l}_z\) gives a differential area element \(d \mathbf{s}_r=\hat{\mathbf{r}} r d \phi d z\), we compute:
\[ d V=|d r \cdot(r d \phi d z)|=r d r d \phi d z \] as \(r\) is non-negative by definition.
To spherical coordinates \((R, \theta, \phi)\)
From the differential displacement vectors:
\[ d \mathbf{l}_R=\hat{\mathbf{R}} d R, \quad d \mathbf{l}_\theta=R \hat{\boldsymbol{\theta}} d \theta, \quad d \mathbf{l}_\phi=R \sin \theta \hat{\boldsymbol{\phi}} d \phi \]
The differential volume element is given by:
\[ d V=\left|d \mathbf{l}_R \cdot\left(d \mathbf{l}_\theta \times d \mathbf{l}_\phi\right)\right| \]
Since \(d \mathbf{l}_\theta \times d \mathbf{l}_\phi\) gives a differential area element \(d \mathbf{s}_R=\hat{\mathbf{R}} R^2 \sin \theta d \theta d \phi\), we compute:
\[ d V=\left|d R \cdot\left(R^2 \sin \theta d \theta d \phi\right)\right|=R^2 \sin \theta d R d \theta d \phi \]