Gradient of vector field using differential forms

coordinate systemsdifferential-formsvector analysisvectors

I have been reading about differential forms from various sources. The usual vector-calculus operations of gradient, divergence, curl are nicely represented by the exterior derivative operator $d$ acting on 0-form, 1-form, and 2-forms respectively. For example, if $f$ is a 0-form (i.e. a scalar field) then its exterior derivative gives the gradient 1-form of $f$: $df=\partial_{x_1}f~dx_1+\partial_{x_2}f~dx_2+\partial_{x_3}f~dx_3$. Using the metric tensor for the $\{x_1,x_2,x_3\}$ coordinates I can convert this 1-form into a vector (which is what we engineers usually deal with). So far so good.

But in applications we often have to find the gradient of a vector field, in some convenient coordinate system, say (in my case) prolate spheroidal coordinates $(\xi,\eta,\phi)$. These are related to Cartesian coordinates $(x,y,z)$ by:
$$x=d\sqrt{(\xi^2-1)(1-\eta^2)}\cos\phi\\ y=d\sqrt{(\xi^2-1)(1-\eta^2)}\sin\phi\\ z=d\xi\eta$$
in which $d>0$ is a constant. The range of spheroidal coordinates are: $\xi\geq 1,~-1\leq\eta\leq1,~0\leq\phi\leq2\pi$.

I have a vector field $\vec{u}=u_1(\xi,\eta,\phi)\vec{e}_\xi+u_2(\xi,\eta,\phi)\vec{e}_\eta+u_3(\xi,\eta,\phi)\vec{e}_\phi$, in which $\vec{e}$ are unit coordinate vectors. I need to find its gradient $\nabla\vec{u}$ (which is a second-order tensor) in spheroidal coordinates. How do I do that using differential forms? Using the metric tensor for the spheroidal coordinates, I can write $\vec{u}$ as a 1-form, but what next?

Best Answer

If $\vec n$ is a vector field on $\mathbb R^3$, its "gradient" is actually its total covariant derivative. This makes sense on an arbitrary Riemannian manifold and is usually denoted by $\nabla \vec n$. If you want to compute it for $\mathbb R^3$ in different coordinates, you'll have to first compute the Christoffel symbols of the metric in those coordinates, and then $\nabla\vec n$ is the matrix-valued function whose components are given in any coordinate chart by $$ n^i {}_{;j} = \partial_j \xi^i + \sum_k \Gamma_{jk}^i \xi^k. $$ For details, check out any differential geometry book that treats Riemannian metrics. (You can try my Introduction to Riemannian Manifolds, but there are plenty of other good choices.)

Related Question