Peeter Joot's (OLD) Blog.

Math, physics, perl, and programming obscurity.

Three dimensional divergence theorem with generally parametrized volume element.

Posted by peeterjoot on April 10, 2011

Obsolete with potential errors.

This post may be in error.  I wrote this before understanding that the gradient used in Stokes Theorem must be projected onto the tangent space of the parameterized surface, as detailed in Alan MacDonald’s Vector and Geometric Calculus.

See the post ‘stokes theorem in geometric algebra‘ [PDF], where this topic has been revisited with this in mind.

Original Post:

[Click here for a PDF of this post with nicer formatting (especially if my latex to wordpress script has left FORMULA DOES NOT PARSE errors.)]

Motivation.

With the divergence of the energy momentum tensor converted from a volume to a surface integral given by

\begin{aligned}\int_V d^3 \mathbf{x} \partial_\beta T^{\beta \alpha} = \oint_{\partial V} d^2 \sigma^\beta T^{\beta \alpha},\end{aligned} \hspace{\stretch{1}}(1.1)

I got to wondering what a closed form algebraic expression for this curious (and foreign seeming) quantity d^2 \sigma^\beta was. It obviously must be related to the normal to the surface. It seemed to me that a natural way to answer this question was to consider this divergence integral over an arbitrarily parametrized volume. This turns out to be overkill, but a useful seeming digression.

A generally parametrized parallelepiped volume element.

Suppose we parametrize a volume by specifying that all the points in that volume are covered by the position vector from the origin, given by

\begin{aligned}\mathbf{x} = \mathbf{x}(a_1, a_2, a_3).\end{aligned} \hspace{\stretch{1}}(1.2)

At any point in the volume of interest, we can create a level curve, holding two of the parameters a_\alpha constant, and varying the remaining one. In particular, we can construct three direction vectors along these level curves, one for each parameter not held constant

\begin{aligned}d\mathbf{x}_1 &= da_1 \frac{\partial {\mathbf{x}}}{\partial {a_1}} \\ d\mathbf{x}_2 &= da_2 \frac{\partial {\mathbf{x}}}{\partial {a_2}} \\ d\mathbf{x}_3 &= da_3 \frac{\partial {\mathbf{x}}}{\partial {a_3}}\end{aligned} \hspace{\stretch{1}}(1.3)

The span of these vectors, provided they are non-degenerate, forms a parallelepiped, the volume of which is

\begin{aligned}d^3\mathbf{x} = d\mathbf{x}_3 \cdot (d\mathbf{x}_1 \times d\mathbf{x}_2).\end{aligned} \hspace{\stretch{1}}(1.6)

This volume element can be expanded in a number of ways

\begin{aligned}d^3\mathbf{x} &= \frac{\partial {\mathbf{x}}}{\partial {a_1}} \cdot \left( \frac{\partial {\mathbf{x}}}{\partial {a_2}} \times \frac{\partial {\mathbf{x}}}{\partial {a_3}} \right) \\ &= \frac{\partial {x^\alpha}}{\partial {a_1}} \frac{\partial {x^\beta}}{\partial {a_2}} \frac{\partial {x^\gamma}}{\partial {a_3}} \epsilon_{\alpha \beta \gamma} da_1 da_2 da_3 \\ &= \frac{\partial {x^1}}{\partial {a_\alpha}} \frac{\partial {x^2}}{\partial {a_\beta}} \frac{\partial {x^3}}{\partial {a_\gamma}} \epsilon_{\alpha \beta \gamma} da_1 da_2 da_3 \\ &= \frac{\partial {x^1}}{\partial {a_{[1}}} \frac{\partial {x^2}}{\partial {a_{2}}} \frac{\partial {x^3}}{\partial {a_{3]}}} da_1 da_2 da_2 \\ &= {\left\lvert{ \frac{\partial(x^1, x^2, x^3)}{\partial (a_1, a_2, a_3)}}\right\rvert}da_1 da_2 da_3 \\ \end{aligned}

where the Jacobian determinant is given by

\begin{aligned}{\left\lvert{ \frac{\partial(x^1, x^2, x^3)}{\partial (a_1, a_2, a_3)}}\right\rvert}= \begin{vmatrix} \frac{\partial {x^1}}{\partial {a_1}} & \frac{\partial {x^2}}{\partial {a_1}} & \frac{\partial {x^3}}{\partial {a_1}} \\ \frac{\partial {x^1}}{\partial {a_2}} & \frac{\partial {x^2}}{\partial {a_2}} & \frac{\partial {x^3}}{\partial {a_2}} \\ \frac{\partial {x^1}}{\partial {a_3}} & \frac{\partial {x^2}}{\partial {a_3}} & \frac{\partial {x^3}}{\partial {a_3}}\end{vmatrix}.\end{aligned} \hspace{\stretch{1}}(1.7)

Provided we are interested in a volume for which the sign of this Jacobian determinant does not change sign, our task is to evaluate and reduce the integral

\begin{aligned}\int {\left\lvert{ \frac{\partial(x^1, x^2, x^3)}{\partial (a_1, a_2, a_3)}}\right\rvert}da_1 da_2 da_3 \frac{\partial {T^{\beta \alpha}}}{\partial {x^\beta}}\end{aligned} \hspace{\stretch{1}}(1.8)

to a set (and sum of) two dimensional integrals.

On the geometry of the surfaces.

Suppose that we integrate over the ranges [a_{1-}, a_{1+}], [a_{2-}, a_{2+}], [a_{3-}, a_{3+}]. Observe that the outwards normals along the a_1 = a_1+ face is d\mathbf{n}_{1+} = da_2 da_3 {\partial {\mathbf{x}}}/{\partial {a_2}} \times {\partial {\mathbf{x}}}/{\partial {a_3}}. This is

\begin{aligned}d\mathbf{n}_{1+} = da_2 da_3 \frac{\partial {\mathbf{x}}}{\partial {a_2}} \times \frac{\partial {\mathbf{x}}}{\partial {a_3}}= da_2 da_3 \frac{\partial {x^\mu}}{\partial {a_2}} \frac{\partial {x^\nu}}{\partial {a_3}} \epsilon_{\mu \nu \gamma} \mathbf{e}_\gamma\end{aligned} \hspace{\stretch{1}}(1.9)

Similarly our normal on the a_2 = a_{2+} face is

\begin{aligned}d\mathbf{n}_{2+} = da_3 da_1 \frac{\partial {\mathbf{x}}}{\partial {a_3}} \times \frac{\partial {\mathbf{x}}}{\partial {a_1}}= da_3 da_1 \frac{\partial {x^\mu}}{\partial {a_3}} \frac{\partial {x^\nu}}{\partial {a_1}} \epsilon_{\mu \nu \gamma} \mathbf{e}_\gamma,\end{aligned} \hspace{\stretch{1}}(1.10)

and on the a_3 = a_{3+} face the outward normal is

\begin{aligned}d\mathbf{n}_{3+} = da_1 da_2 \frac{\partial {\mathbf{x}}}{\partial {a_1}} \times \frac{\partial {\mathbf{x}}}{\partial {a_2}}= da_1 da_2 \frac{\partial {x^\mu}}{\partial {a_1}} \frac{\partial {x^\nu}}{\partial {a_2}} \epsilon_{\mu \nu \gamma} \mathbf{e}_\gamma.\end{aligned} \hspace{\stretch{1}}(1.11)

Along the a_{\alpha-} faces these are just negated. We can summarize these as

\begin{aligned}d\mathbf{n}_{\sigma\pm} = \pm \frac{1}{{2!}} da_\alpha da_\beta \frac{\partial {\mathbf{x}}}{\partial {a_\alpha}} \times \frac{\partial {\mathbf{x}}}{\partial {a_\beta}} \epsilon_{\alpha \beta \sigma}= \pm \frac{1}{{2!}} da_\alpha da_\beta \frac{\partial {x^\mu}}{\partial {a_\alpha}} \frac{\partial {x^\nu}}{\partial {a_\beta}} \epsilon_{\alpha \beta \sigma} \epsilon_{\mu \nu \gamma} \mathbf{e}_\gamma \end{aligned} \hspace{\stretch{1}}(1.12)

Expansion of the Jacobian determinant

Suppose, to start with, our divergence volume integral 1.8 has just the following term

\begin{aligned}\int d^3 \mathbf{x} \partial_3 M.\end{aligned} \hspace{\stretch{1}}(1.13)

The specifics of how the scalar M = T^{3 \alpha} is indexed will not matter yet, so let’s suppress it. The Jacobian determinant can be expanded along the \frac{\partial {x^3}}{\partial {a_\alpha}} column for

\begin{aligned}\int d^3 \mathbf{x} \partial_3 M&=\int da_1 da_2 da_3{\left\lvert{ \frac{\partial(x^1, x^2, x^3)}{\partial (a_1, a_2, a_3)}}\right\rvert} \frac{\partial {M}}{\partial {x^3}} \\ &=\int da_1 da_2 da_3\left(\frac{\partial {x^1}}{\partial {a_{[1}}} \frac{\partial {x^2}}{\partial {a_{2}}} \frac{\partial {x^3}}{\partial {a_{3]}}} \right)\frac{\partial {M}}{\partial {x^3}} \\ &=\int da_1 da_2 da_3\left(\frac{\partial {x^1}}{\partial {a_{[1}}} \frac{\partial {x^2}}{\partial {a_{2]}}} \frac{\partial {x^3}}{\partial {a_{3}}} +\frac{\partial {x^1}}{\partial {a_{[2}}} \frac{\partial {x^2}}{\partial {a_{3]}}} \frac{\partial {x^3}}{\partial {a_{1}}} +\frac{\partial {x^1}}{\partial {a_{[3}}} \frac{\partial {x^2}}{\partial {a_{1]}}} \frac{\partial {x^3}}{\partial {a_{2}}} \right)\frac{\partial {M}}{\partial {x^3}} \\ &=\int da_1 da_2 da_3\left({\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_1, a_2)}}\right\rvert} \frac{\partial {x^3}}{\partial {a_{3}}} +{\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_2, a_3)}}\right\rvert} \frac{\partial {x^3}}{\partial {a_{1}}} +{\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_3, a_1)}}\right\rvert} \frac{\partial {x^3}}{\partial {a_{2}}} \right)\frac{\partial {M}}{\partial {x^3}} \\ &=\int da_1 da_2 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_1, a_2)}}\right\rvert} \int da_3 \frac{\partial {x^3}}{\partial {a_{3}}} \frac{\partial {M}}{\partial {x^3}} \\ &\qquad +\int da_2 da_3 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_2, a_3)}}\right\rvert} \int da_1 \frac{\partial {x^3}}{\partial {a_{1}}} \frac{\partial {M}}{\partial {x^3}} \\ &\qquad +\int da_3 da_1 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_3, a_1)}}\right\rvert} \int da_2 \frac{\partial {x^3}}{\partial {a_{2}}} \frac{\partial {M}}{\partial {x^3}} \\ &=\int da_1 da_2 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_1, a_2)}}\right\rvert} \int da_3 \frac{\partial {M}}{\partial {a_{3}}} \\ &\qquad +\int da_2 da_3 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_2, a_3)}}\right\rvert} \int da_1 \frac{\partial {M}}{\partial {a_{1}}} \\ &\qquad +\int da_3 da_1 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_3, a_1)}}\right\rvert} \int da_2 \frac{\partial {M}}{\partial {a_{2}}} \\ &=\int da_1 da_2 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_1, a_2)}}\right\rvert} \Bigl( M(a_{3+}) - M(a_{3+}) \Bigr) \\ &\qquad +\int da_2 da_3 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_2, a_3)}}\right\rvert} \Bigl( M(a_{1+}) - M(a_{1+}) \Bigr) \\ &\qquad +\int da_3 da_1 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_3, a_1)}}\right\rvert} \Bigl( M(a_{2+}) - M(a_{2+}) \Bigr)\end{aligned}

Performing the same task (really just performing cyclic permutation of indexes) we can now construct the whole divergence integral

\begin{aligned}\int d^3 \mathbf{x} \partial_\beta T^{\beta \alpha}&=\int da_1 da_2 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_1, a_2)}}\right\rvert} \Bigl( T^{3 \alpha}(a_{3+}) - T^{3 \alpha}(a_{3+}) \Bigr) \\ &\qquad +\int da_2 da_3 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_2, a_3)}}\right\rvert} \Bigl( T^{3 \alpha}(a_{1+}) - T^{3 \alpha}(a_{1+}) \Bigr) \\ &\qquad +\int da_3 da_1 {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_3, a_1)}}\right\rvert} \Bigl( T^{3 \alpha}(a_{2+}) - T^{3 \alpha}(a_{2+}) \Bigr) \\ &+\int da_1 da_2 {\left\lvert{ \frac{\partial(x^2, x^3)}{\partial (a_1, a_2)}}\right\rvert} \Bigl( T^{1 \alpha}(a_{3+}) - T^{1 \alpha}(a_{3+}) \Bigr) \\ &\qquad +\int da_2 da_3 {\left\lvert{ \frac{\partial(x^2, x^3)}{\partial (a_2, a_3)}}\right\rvert} \Bigl( T^{1 \alpha}(a_{1+}) - T^{1 \alpha}(a_{1+}) \Bigr) \\ &\qquad +\int da_3 da_1 {\left\lvert{ \frac{\partial(x^2, x^3)}{\partial (a_3, a_1)}}\right\rvert} \Bigl( T^{1 \alpha}(a_{2+}) - T^{1 \alpha}(a_{2+}) \Bigr) \\ &+\int da_1 da_2 {\left\lvert{ \frac{\partial(x^3, x^1)}{\partial (a_1, a_2)}}\right\rvert} \Bigl( T^{2 \alpha}(a_{3+}) - T^{2 \alpha}(a_{3+}) \Bigr) \\ &\qquad +\int da_2 da_3 {\left\lvert{ \frac{\partial(x^3, x^1)}{\partial (a_2, a_3)}}\right\rvert} \Bigl( T^{2 \alpha}(a_{1+}) - T^{2 \alpha}(a_{1+}) \Bigr) \\ &\qquad +\int da_3 da_1 {\left\lvert{ \frac{\partial(x^3, x^1)}{\partial (a_3, a_1)}}\right\rvert} \Bigl( T^{2 \alpha}(a_{2+}) - T^{2 \alpha}(a_{2+}) \Bigr).\end{aligned}

Regrouping we have

\begin{aligned}\int d^3 \mathbf{x} \partial_\beta T^{\beta \alpha}&=\int da_1 da_2 \left( {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_1, a_2)}}\right\rvert} {\left.{{T^{3 \alpha}}}\right\vert}_{{\Delta a_3}}+{\left\lvert{ \frac{\partial(x^2, x^3)}{\partial (a_1, a_2)}}\right\rvert} {\left.{{T^{1 \alpha}}}\right\vert}_{{\Delta a_3}}+{\left\lvert{ \frac{\partial(x^3, x^1)}{\partial (a_1, a_2)}}\right\rvert} {\left.{{T^{2 \alpha}}}\right\vert}_{{\Delta a_3}}\right) \\ &+\int da_2 da_3 \left( {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_2, a_3)}}\right\rvert} {\left.{{T^{3 \alpha}}}\right\vert}_{{\Delta a_3}}+{\left\lvert{ \frac{\partial(x^2, x^3)}{\partial (a_2, a_3)}}\right\rvert} {\left.{{T^{1 \alpha}}}\right\vert}_{{\Delta a_3}}+{\left\lvert{ \frac{\partial(x^3, x^1)}{\partial (a_2, a_3)}}\right\rvert} {\left.{{T^{2 \alpha}}}\right\vert}_{{\Delta a_3}}\right) \\ &+\int da_3 da_1 \left( {\left\lvert{ \frac{\partial(x^1, x^2)}{\partial (a_3, a_1)}}\right\rvert} {\left.{{T^{3 \alpha}}}\right\vert}_{{\Delta a_3}}+{\left\lvert{ \frac{\partial(x^2, x^3)}{\partial (a_3, a_1)}}\right\rvert} {\left.{{T^{1 \alpha}}}\right\vert}_{{\Delta a_3}}+{\left\lvert{ \frac{\partial(x^3, x^1)}{\partial (a_3, a_1)}}\right\rvert} {\left.{{T^{2 \alpha}}}\right\vert}_{{\Delta a_3}}\right).\end{aligned}

Observe that we can factor these sums utilizing the normals for the parallelepiped volume element

\begin{aligned}\int d^3 \mathbf{x} \partial_\beta T^{\beta \alpha}&=\int da_1 da_2 {\left\lvert{ \frac{\partial(x^\mu, x^\nu)}{\partial (a_1, a_2)}}\right\rvert} \epsilon_{\mu \nu \gamma} \mathbf{e}_\gamma \cdot \mathbf{e}_\beta{\left.{{T^{\beta \alpha}}}\right\vert}_{{\Delta a_3}} \\ &+\int da_2 da_3 {\left\lvert{ \frac{\partial(x^\mu, x^\nu)}{\partial (a_2, a_3)}}\right\rvert} \epsilon_{\mu \nu \gamma} \mathbf{e}_\gamma \cdot \mathbf{e}_\beta{\left.{{T^{\beta \alpha}}}\right\vert}_{{\Delta a_1}} \\ &+\int da_3 da_1 {\left\lvert{ \frac{\partial(x^\mu, x^\nu)}{\partial (a_3, a_1)}}\right\rvert} \epsilon_{\mu \nu \gamma} \mathbf{e}_\gamma \cdot \mathbf{e}_\beta{\left.{{T^{\beta \alpha}}}\right\vert}_{{\Delta a_2}}\end{aligned}

Let’s look at the first of these integrals in more detail. We integrate the values of the \mathbf{e}_\beta T^{\beta \alpha} evaluated on the points of the surface for which a_3 = a_{3+}. To perform this integral we dot against the outward normal area element da_1 da_2 {\partial {x^\mu}}/{\partial {a_1}} {\partial {x^\nu}}/{\partial {a_2}} \epsilon_{\mu\nu\gamma} \mathbf{e}_\gamma. We do the same, but subtract the integral where \mathbf{e}_\beta T^{\beta\alpha} is evaluated on the surface a_3 = a_{3-}, where we dot with the area element that has the inwards normal direction on that surface. This is then done for each of the surfaces of the parallelepiped that we are integrating over.

In terms of the outwards (area scaled) normals d\mathbf{n}_3, d\mathbf{n}_1, d\mathbf{n}_2 on the a_{3+}, a_{1+} and a_{2+} surfaces respectively we can write

\begin{aligned}\int d^3 \mathbf{x} \partial_\beta T^{\beta \alpha} = \int d\mathbf{n}_3 \cdot \mathbf{e}_\beta {\left.{{T^{\beta}{\alpha}}}\right\vert}_{{\Delta a_3}}+\int d\mathbf{n}_1 \cdot \mathbf{e}_\beta {\left.{{T^{\beta}{\alpha}}}\right\vert}_{{\Delta a_1}}+\int d\mathbf{n}_2 \cdot \mathbf{e}_\beta {\left.{{T^{\beta}{\alpha}}}\right\vert}_{{\Delta a_2}}.\end{aligned} \hspace{\stretch{1}}(1.14)

This can be written more concisely in index form with

\begin{aligned}d^2 \sigma^\beta = \epsilon_{\mu\nu\beta} \left(\frac{\partial {x^\mu}}{\partial {a_2}}\frac{\partial {x^\nu}}{\partial {a_3}} da_2 da_3+\frac{\partial {x^\mu}}{\partial {a_3}}\frac{\partial {x^\nu}}{\partial {a_1}} da_3 da_1+\frac{\partial {x^\mu}}{\partial {a_1}}\frac{\partial {x^\nu}}{\partial {a_2}} da_1 da_2\right),\end{aligned} \hspace{\stretch{1}}(1.15)

so that the divergence integral is just

\begin{aligned}\int d^3 \mathbf{x} = \int_{\text{over level surfaces latex a_{1+}$, a_{2+}, a_{3+}}} d^2 \sigma^\beta T^{\beta \alpha}-\int_{\text{over level surfaces a_{1-}, a_{2-}, a_{3-}}} d^2 \sigma^\beta T^{\beta \alpha}\end{aligned} \hspace{\stretch{1}}(1.16)$

In each case, for the a_{\alpha-} surfaces, our negated inwards normal form can be redefined so that we integrate over only the outwards normal directions, and we can use the oriented integral notation

\begin{aligned}\int d^3 \mathbf{x} = \oint d^2 \sigma^\beta T^{\beta \alpha},\end{aligned} \hspace{\stretch{1}}(1.17)

To encode (or imply) whether we require a positive or negative sign on the area element tensor of 1.15 for the surface in question.

A look back, and looking forward.

Now, having performed this long winded calculation, the meaning of d^2 \sigma^\beta becomes clear. What’s also clear is how this could have been arrived at directly utilizing the divergence theorem in its normal vector form. We had only to re-write our equation as a vector equation in terms of the gradient

\begin{aligned}\int_V d^3 \mathbf{x} \frac{\partial {T^{\beta \alpha}}}{\partial {x^\alpha}} = \int_V d^3 \mathbf{x} \boldsymbol{\nabla} \cdot (\mathbf{e}_\beta T^{\beta \alpha}) = \int_{\partial_V} dA \mathbf{n} \cdot \mathbf{e}_\beta T^{\beta \alpha}\end{aligned} \hspace{\stretch{1}}(1.18)

From this we see directly that d^2 \sigma^\beta = dA \mathbf{n} \cdot \mathbf{e}_\beta.

Despite there being an easier way to find the form of d^2 \sigma^\beta, I still consider this a worthwhile exercise. It hints how one could generalize the arguments to the higher dimensional cases. The main task would be to construct the normals to the hypersurfaces bounding the hypervolume, and how to do this algebraically utilizing determinants may not be too hard (since we want a Jacobian determinant as the hypervolume element in the “volume” integral). We also got more than the normal physics text book proof of the divergence theorem for Cartesian coordinates, and did it here for a general parametrization. This wasn’t a complete argument since we didn’t consider a general surface, broken down into a triangular mesh. We really want volume elements with triangular sides instead of parallelograms.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

 
%d bloggers like this: