Problem of the Week #80 - December 9th, 2013

  • Thread starter Thread starter Chris L T521
  • Start date Start date
Click For Summary
The discussion presents a mathematical problem regarding the compatibility of an affine connection with a Riemannian metric. It establishes that this compatibility is characterized by a specific equation involving the covariant derivative of vector fields along a curve. The proof is divided into two parts: first, showing that if the equation holds, then the inner product of parallel vector fields remains constant; second, demonstrating that if the connection is compatible, the equation holds for any vector fields. The solution concludes that the derived relationships confirm the compatibility condition. This mathematical exploration emphasizes the interplay between affine connections and Riemannian metrics in differential geometry.
Chris L T521
Gold Member
MHB
Messages
913
Reaction score
0
Here's this week's problem.

-----

Problem: Show that an affine connection $\nabla$ is compatible to the Riemannian metric $\langle\cdot,\cdot\rangle$ if and only if, for any curve $c:I\rightarrow M$, and for any pair of vector fields $V$, $W$ along $c$, we have
$$\frac{\,d}{\,dt} \left\langle V,W\right\rangle= \left\langle\frac{\,DV}{\,dt},W\right\rangle + \left\langle V,\frac{\,DW}{\,dt}\right\rangle$$
where $\dfrac{D}{dt}$ denotes the covariant derivative.

-----

 
Physics news on Phys.org
No one answered this week's question. You can find my solution below.

[sp]Proof: ($\Leftarrow$): Assume that $\dfrac{\,d}{\,dt}\left<V,W\right> =\left<\dfrac{\,DV}{\,dt},W\right>+\left<V,\dfrac{\,DW}{\,dt}\right>$ is true. Now suppose that $V$ and $W$ are parallel vector fields along the curve $c$. By definition of parallelism, $\dfrac{\,DV}{\,dt}=\dfrac{\,DW}{\,dt}=0$. Therefore,$$\frac{\,d}{\,dt}\left<V,W\right>=\left<0,W\right>+\left<V,0\right>=0.$$
This implies that $\left<V,W\right>$ is constant.

($\Rightarrow$): Suppose that $\nabla$ is compatible with $\left<\cdot,\cdot\right>$. For some point $t_0$ on the curve $c\left(t\right)$, let us define an orthonomal basis $\{E_1\!\left(c\left(t_0\right)\right),E_2\!\left(c\left(t_0\right)\right),\ldots,E_m\!\left(c\left(t_0\right)\right)\}$ of the tangent space $T_{c\!\left(t_0\right)}M$. By parallel transport (proposition 4.2.5), we can extend these vectors to the parallel vector fields $\{E_1\!\left(c\left(t\right)\right), E_2\!\left(c\left(t\right)\right), \ldots,E_m\!\left(c\left(t\right)\right)\}$. Since parallel transport preserves the lengths of these basis vectors, $\{E_1\!\left(c\left(t\right)\right), E_2\!\left(c\left(t\right)\right), \ldots,E_m\!\left(c\left(t\right)\right)\}$ is now an orthonormal basis for $T_{c\!\left(t\right)}M$ for any $t\in I$. Take $V=\displaystyle\sum_{i=1}^m v_iE_i$ and $W=\displaystyle\sum_{j=1}^m w_jE_j$. By definition of the Riemannian metric and noting that $\left<E_i,E_j\right>=1$, we see that
$$\begin{aligned}\left<V,W\right>&=\left<\sum_{i=1}^m v_iE_i,\sum_{i=1}^m w_jE_j\right>\\ &= \sum_{i=1}^m v_iw_i.\end{aligned}$$
Therefore, $\dfrac{\,d}{\,dt}\left<V,W\right>= \displaystyle\sum_{i=1}^m\left(\frac{\,dv_i}{\,dt}w_i +v_i\frac{\,dw_i}{\,dt}\right)$
We now verify the RHS of the equation is true.
$$\begin{aligned}\left<\frac{\,D_cV}{\,dt},W\right>&=\left<\sum_{i=1}^m\frac{D\!\left(v_iE_i\right)}{\,dt},W\right>\\ &= \left<\sum_{i=1}^m\frac{\,dv_i}{\,dt}E_i+v_i\frac{DE_i}{\,dt},\sum_{j=1}^mw_jE_j\right>\\ &= \left<\sum_{i=1}^m\frac{\,dv_i}{\,dt}E_i,\sum_{i=1}^m w_iE_i\right>\\&=\sum_{i=1}^m\frac{\,dv_i}{\,dt}w_i.\end{aligned}$$
Similarly,
$$\begin{aligned}\left<V,\frac{\,D_cW}{\,dt}\right>&=\left<V,\sum_{j=1}^m\frac{D\!\left(w_jE_j\right)}{\,dt}\right>\\ &= \left<\sum_{i=1}^mv_iE_i,\sum_{j=1}^m\frac{\,dw_j}{\,dt}E_j+w_j\frac{DE_j}{\,dt}\right>\\ &= \left<\sum_{i=1}^mv_iE_i,\sum_{i=1}^m\frac{\,dw_i}{\,dt}E_i\right>\\&=\sum_{i=1}^m\frac{\,dw_i}{\,dt}v_i.\end{aligned}$$
We now see that
$$\begin{aligned}\frac{\,d}{\,dt}\left<V,W\right>&=\sum_{i=1}^m\frac{\,dv_i}{\,dt}w_i+v_i\frac{\,dw_i}{\,dt}\\ &= \sum_{i=1}^m\frac{\,dv_i}{\,dt}w_i+\sum_{i=1}^mv_i\frac{\,dw_i}{\,dt}\\ &= \left<\frac{D_cV}{\,dt},W\right>+\left<V,\frac{\,D_cW}{\,dt}\right>.\end{aligned}$$
This completes the proof.$\hspace{.25in}\blacksquare$[/sp]
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
6
Views
1K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K