Friday, 20 September 2019

Exercise 3.02 Spherical gradient divergence curl as covariant derivatives

 Top of last page in German version of Jackson

Question

You are familiar with the operations of gradient ($\nabla\phi$), divergence ($\nabla\bullet\mathbf{V}$) and curl ($\nabla\times\mathbf{V}$) in ordinary vector analysis in three-dimensional Euclidean space. Using covariant derivatives, derive formulae for these operations in spherical polar coordinates $\left\{r,\theta,\phi\right\}$ defined by
\begin{align}
x&=r\sin{\theta}\cos{\phi}&\phantom {10000}(1)\nonumber\\
y&=r\sin{\theta}\sin{\phi}&\phantom {10000}(2)\nonumber\\
z&=r\cos{\theta}&\phantom {10000}(3)\nonumber
\end{align}Compare your results to those in Jackson (1999) or an equivalent text. Are they identical? Should they be? (JD Jackson, Classical Electrodynamics, Wiley 1999)

One of the most difficult things about this exercise was finding a copy of Jackson (1999). It is a 'classic' text, so, unlike most English mathematical text books in the Berlin library, the only copies available were translation into German. Luckily it wasn't too hard to find the required results. They were on the very last page. The heading is 'Description of vector operations in various coordinate systems'. Simple really!

Analyse Fonctionnelle left a comment on 7 March 2021. Here it is again with $signs round latex expressions, so it looks nicer. I also made some replies in italics. Hello, I wonder if you are still working on the exercises of Carroll's book. Continue the good work, I think it's very helpful. Thank you! I'm kind of running out of exercises, so there are not many new ones now. First of all, all the Christoffell symbols are correct, but a few things, 1. When working with Christoffell symbols, it's best not to contract, lower or raise indices because they are not tensors. So when you calculate the covariant form of the divergence, you should do$g^{ij}\nabla_i V_j$first, instead of carrying the contraction of$i$into the calculation. And then do the covariant derivative of$V_j$(there'll be a minus sign in front of the$\Gamma$'s). Quite right! 2. The covariant form of curl should be$\epsilon^{ijk}\nabla_j V_k \partial_i$and the whole thing divided by the square root of the determinant of the metric. The way you wrote in the pdf will give you a number, not a vector. And the square root of$det(g)$is because$\epsilon$is not a tensor but a tensor density. Sounds plausible. 3. As you said at the end of the pdf, you'll need to convert everything to an orthonormal basis in order to get the form in Jackson's book. Basically, the new basis is$\hat{\partial_i} = \partial_i/\sqrt{g_{ii}}$(no summation) and correspondingly, the new component is$\hat{A^i} = A^i \sqrt{g_{ii}}$(no summation). Sounds plausible. And there will be places where you need to change back and forth between$V_i$and$V^i##. It's not straightforward in any means.

Thank you for putting in the time and effort to try to work out the exercises. I really appreciate it. I'm sure many other people do too. Thanks very much for the thoughtful feedback.

1 comment:

1. Hello, I wonder if you are still working on the exercises of Carroll's book. Continue the good work, I think it's very helpful.

First of all, all the Christoffell symbols are correct, but a few things,

1. When working with Christoffell symbols, it's best not to contract, lower or raise indices because they are not tensors. So when you calculate the covariant form of the divergence, you should do g^{ij}\nabla_i V_j first, instead of carrying the contraction of i into the calculation. And then do the covariant derivative of V_j (there'll be a minus sign in front of the \Gamma 's).

2. The covariant form of curl should be \epsilon^{ijk}\nabla_j V_k \partial_i and the whole thing divided by the square root of the determinant of the metric. The way you wrote in the pdf will give you a number, not a vector. And the square root of det(g) is because \epsilon is not a tensor but a tensor density.

3. As you said at the end of the pdf, you'll need to convert everything to an orthonormal basis in order to get the form in Jackson's book. Basically, the new basis is \hat{\partial_i} = \partial_i/\sqrt{g_{ii}} (no summation) and correspondingly, the new component is \hat{A^i} = A^i * sqrt{g_{ii}} (no summation).

And there will be places where you need to change back and forth between V_i and V^i. It's not straightforward in any means.

Thank you for putting in the time and effort to try to work out the exercises. I really appreciate it. I'm sure many other people do too.