Covariant derivative in polar coordinates

[aPhilosopher]

I calculated the christoffel symbols and know that I have them right. I want to take the covariant derivative of the basis vector field e_{r} on the curve s(t) = (a, t/a). I differentiate it and get s' = (0, 1/a) and according to the metric, this is a unit vector because a will always be equal to r. Every way that I take the covariant derivative, \nabla_{s'(t)}e_{r}, yields \frac{1}{r^{2}} for the e_{\theta} component and 0 for the e_{r} component.
If this is correct, then I don't know how I'm supposed to interpret it. the e_{r} component being 0 makes perfect sense to me but based on the formula for the circumfrence of a circle, I was expecting \frac{1}{r} for the e_{\theta} component.

Am I making a mistake in my calculations somewhere? If I'm calculating the covariant derivative correctly, what's the geometric interpretation of the square in the denominator?

Thanks for any replies.

 

[aPhilosopher]

I forgot to give the christoffel symbols so you don't have to calculate them yourself. they are

\Gamma_{r}_{\theta}^{\theta} = \Gamma_{\theta}_{r}^{\theta} = r^{-1}

\Gamma_{\theta}_{\theta}^{r} = -r

The other five are all 0.

 

[VKint]

You appear to have mistaken a factor of a for a factor of r. Your Christoffels are all correct, so the correct calculation is as follows (let T = s'(t)):
<br /> <br /> \begin{align*}<br /> \nabla_T \hat{\mathbf{e}}_{(r)}^a &amp;= T^a \nabla_a \hat{\mathbf{e}}_{(r)}^a\\<br /> &amp;= \frac{1}{a} \nabla_{\theta} \hat{\mathbf{e}}_{(r)}^a\\<br /> &amp;= \frac{1}{a} \Gamma^a_{r \theta} \textrm{,}<br /> \end{align*}<br />
which gives 0 for the r component and \displaystyle \frac{1}{ar} for the \theta component.

By the way, if you think you've made a mistake in a calculation like this, you can always revert to Cartesian coordinates to check your work, using the formulas
<br /> <br /> \begin{align*}<br /> \hat{\mathbf{e}}_{(r)} &amp;= \frac{1}{\sqrt{x^2 + y^2}} \langle x, y \rangle\\<br /> \hat{\mathbf{e}}_{(\theta)} &amp;= \frac{1}{\sqrt{x^2 + y^2}} \langle -y, x \rangle<br /> \end{align*}<br />
and remembering that covariant derivatives in Cartesian coordinates are the same as partials. In fact, you can (in principle) use this method of checking for any surface that admits an embedding into 3-space, or into any convenient 3-manifold of your choosing; in that case, the covariant derivative of the embedded surface is the projection of the covariant derivative associated with the ambient manifold onto the tangent space of the embedded surface.

 

[aPhilosopher]

Thank you for your reply. I the curve in question was just a circle centered at the origin so a = r and I was conflating the two once all the calculations were done. Sorry if that was confusing.

I think that I figured out the geometric interpretation problem that I was having. I wanted it to be \frac{1}{r} representing the fact that moving along a given length of the circle changes the angle in a way that is inversely proportional to the radius. To get that, I have to do

\langle\nabla_{T}\hat{e}_{(r)}, T\rangle = g_{i}_{j}(\nabla_{T}\hat{e}_{(r)})^{i}T^{j} = r^{2}\frac{1}{ra}\frac{1}{a} = \frac{r}{a^{2}}

which just reduces to r^{-1} like I wanted. That's what I integrate over S to figure out how much \hat{e}_{(r)} changes in going around some part of the circle and it's giving me all the answers that I want. I wish that I could prove it but I have no idea what I would prove. Does this make sense to anyone at least? Is \langle\nabla_{T}\hat{e}_{(r)}, T\rangle important for anything other than as an integrand? I'm just trying to calibrate my geometric understanding of all of these numbers.

EDIT: he he. That last question about what \langle\rangle is good for sounds kinda stupid in retrospect. I guess it means the same thing as in linear algebra since it's in the tangent space.