Homework 5. Solutions 1 Calculate the Christoffel symbols of the canonical flat connection in E3 in a) cylindrical coordinates (x = r cos ϕ, y = r sin ϕ, z = h), b) spherical coordinates. r r r r r (For the case of sphere try to make calculations at least for components Γrr, Γrθ, Γrϕ, Γθθ, ..., Γϕϕ)
In cylindrical coordinates (r, ϕ, h) we have
( p 2 2 x = r cos ϕ r = x + y y = r sin ϕ and y ϕ = arctan x z = h h = z
We know that in Cartesian coordinates all Christoffel symbols vanish. Hence in cylindrical coordinates (see in detail lecture notes): ∂2x ∂r ∂2y ∂r ∂2z ∂r Γr = + + = 0 , rr ∂2r ∂x ∂2r ∂y ∂2r ∂z ∂2x ∂r ∂2y ∂r ∂2z ∂r Γr = Γr = + + = − sin ϕ cos ϕ + sin ϕ cos ϕ = 0 . rϕ ϕr ∂r∂ϕ ∂x ∂r∂ϕ ∂y ∂r∂ϕ ∂z ∂2x ∂r ∂2y ∂r ∂2z ∂r x y Γr = + + = −x − y = −r . ϕϕ ∂2ϕ ∂x ∂2ϕ ∂y ∂2ϕ ∂z r r ∂2x ∂ϕ ∂2y ∂ϕ ∂2z ∂ϕ Γϕ = + + = 0 . rr ∂2r ∂x ∂2r ∂y ∂2r ∂z ∂2x ∂ϕ ∂2y ∂ϕ ∂2z ∂ϕ −y x 1 Γϕ = Γϕ = + + = − sin ϕ + cos ϕ = ϕr rϕ ∂r∂ϕ ∂x ∂r∂ϕ ∂y ∂r∂ϕ ∂z r2 r2 r ∂2x ∂ϕ ∂2y ∂ϕ ∂2z ∂ϕ −x y Γϕ = + + = −x − y = 0 . ϕϕ ∂2ϕ ∂x ∂2ϕ ∂y ∂2ϕ ∂z r2 r2 · · All symbols Γ·h, Γh· vanish
r r r r r ϕ Γrh = Γhr = Γhh = Γϕh = Γhϕ = Γhr = dots = 00
∂2x ∂2y ∂2z since ∂h∂... = ∂h∂... = ∂h∂... = 0 h h ∂2z ∂h ∂h ∂h ∂2z For all symbols Γ·· Γ·· = ∂·∂· since ∂x = ∂y = 0 and ∂y = 1. On the other hand all ∂·∂· vanish. Hence h all symbols Γ·· vanish. b) spherical coordinates
p ( r = x2 + y2 + z2 x = r sin cos ϕ θ = arccos √ z y = r sin sin ϕ x2+y2+z2 z = r cos θ y ϕ = arctan x
Perform now brute force calculations only for some components ∗ r ∂2xi Γrr = 0 since ∂2r = 0.
∂2x ∂r ∂2y ∂r ∂2z ∂r x y z Γr = Γr = + + = cos θ cos ϕ + cos θ sin ϕ − sin θ = 0 , rθ θr ∂r∂θ ∂x ∂r∂θ ∂y ∂r∂θ ∂z r r r
∗ they can be quickly calculated using Lagrangian of free particle.
1 ∂2x ∂r ∂2y ∂r ∂2z ∂r x y z Γr = + + = −r sin θ cos ϕ − r sin θ sin ϕ − r cos θ = −r θθ ∂2θ ∂x ∂2θ ∂y ∂2θ ∂z r r r ∂2x ∂r ∂2y ∂r ∂2z ∂r x y Γr = Γr = + + = − sin θ sin ϕ + sin θ cos ϕ = 0 rϕ ϕr ∂r∂ϕ ∂x ∂r∂ϕ ∂y ∂r∂ϕ ∂z r r and so on.... 2 Let ∇ be an affine connection on a 2-dimensional manifold M such that in local coordinates (u, v) it u v is given that Γuv = v, Γuv = 0. ∂ Calculate the vector field ∇ ∂ u . ∂u ∂v Using the properties of connection and definition of Christoffel symbols have
∂ ∂ ∂ ∇ ∂ u = ∂ ∂ (u) + u∇ ∂ = ∂u ∂v ∂u ∂v ∂u ∂v
∂ ∂ ∂ ∂ ∂ ∂ ∂ + u Γu + Γv = + u v + 0 = + uv . ∂v uv ∂u uv ∂v ∂v ∂u ∂v ∂u
3 Let ∇ be an affine connection on the 2-dimensional manifold M such that in local coordinates (u, v) ∂ 2 ∂ ∂ ∇ ∂ u = (1 + u ) + u . ∂u ∂v ∂v ∂u
u v Calculate the Christoffel symbols Γuv and Γuv of this connection. ∂ ∂ Using the properties of connection we have ∇ ∂ u = u∇ ∂ + ∂u ∂v ∂u ∂v ∂ u ∂ v ∂ ∂ v ∂ u ∂ 2 ∂ ∂ ∂ ∂ (u) = u Γuv + Γuv + 1 · = (1 + uΓuv) + uΓuv = 1 + u + u . ∂u ∂v ∂u ∂v ∂v ∂v ∂u ∂v ∂u
2 v v v u Hence 1 + u = 1 + uΓuv and uΓuv = u, i.e. Γuv = u and Γuv = 1. 4 a) Consider a connection such that its Christoffel symbols are symmetric in a given coordinate system: i i Γkm = Γmk. Show that they are symmetric in an arbitrary coordinate system. b∗) Show that the Christoffel symbols of connection ∇ are symmetric (in any coordinate system) if and only if
∇XY − ∇YX − [X, Y] = 0 , for arbitrary vector fields X, Y. c)∗ Consider for an arbitrary connection the following operation on the vector fields:
S(X, Y) = ∇XY − ∇YX − [X, Y] and find its properties. Solution i i i0 i0 a) Let Γkm = Γmk. We have to prove that Γk0m0 = Γm0k0 We have i0 k m r i0 i0 ∂x ∂x ∂x i ∂x ∂x Γ 0 0 = Γ + . (1) k m ∂xi ∂xk0 ∂xm0 km ∂xk0 ∂xm0 ∂xr Hence i0 m k r i0 i0 ∂x ∂x ∂x i ∂x ∂x Γ 0 0 = Γ + m k ∂xi ∂xm0 ∂xk0 mk ∂xm0 ∂xk0 ∂xr 2 i i ∂xr ∂xr But Γ = Γ and 0 0 = 0 0 . Hence km mk ∂xm ∂xk ∂xk ∂xm
i0 m k r i0 i0 m k r i0 i0 ∂x ∂x ∂x i ∂x ∂x ∂x ∂x ∂x i ∂x ∂x i0 Γ 0 0 = Γ + = Γ + = Γ 0 0 . m k ∂xi ∂xm0 ∂xk0 mk ∂xm0 ∂xk0 ∂xr ∂xi ∂xm0 ∂xk0 km ∂xk0 ∂xm0 ∂xr k m
b) The relation
∇XY − ∇YX − [X, Y] = 0 holds for all fields if and only if it holds for all basic fields. One can easy check it using axioms of connection ∂ ∂ (see the next part). Consider X = ∂xi , Y = ∂xj then since [∂i, ∂j] = 0 we have that
k k k k ∇XY − ∇YX − [X, Y] = ∇i∂j − ∇j∂i = Γij∂k − Γji∂k = (Γij − Γji)∂k = 0
k k We see that commutator for basic fields ∇XY − ∇YX − [X, Y] = 0 if and only if Γij − Γji = 0. c) One can easy check it by straightforward calculations or using axioms for connection that S(X, Y) is a vector-valued bilinear form on vectors. In particularly S(fX,Y ) = fS(X, Y) for an arbitrary (smooth) function. Show this just using axioms defining connection:
S(fX,Y ) = ∇fXY − ∇Y(fX) − [fX, Y] = f∇X Y − f∇YX − ∂YfX + [Y, fX] =
f∇X Y − f∇YX − (∂Yf)X + ∂YfX + f [Y, X] = f(∇X Y − ∇YX − [X, Y]) = fS(X, Y)
(1) i (2) i 5 Let ∇1, ∇2 be two different connections. Let Γkm and Γkm be the Christoffel symbols of connec- tions ∇1 and ∇2 respectively. i (1) i (2) i a) Find the transformation law for the object : Tkm = Γkm − Γkm under a change of coordinates. 1 Show that it is tensor. 2 ∗? b) Consider an operation ∇1 − ∇2 on vector fields and find its properties. Christoffel symbols of both connections transform according the law (1). The second term is the same. Hence it vanishes for their difference:
i0 k m i0 k m i0 (1) i0 (2) i0 ∂x ∂x ∂x (1) i (2) i ∂x ∂x ∂x i T 0 0 = Γ 0 0 − Γ 0 0 = Γ − Γ = T k m k m k m ∂xi ∂xk0 ∂xm0 km km ∂xi ∂xk0 ∂xm0 km i0 1 We see that T0 0 transforms as a tensor of the type . km 2
b) One can do it in invariant way. Using axioms of connection study T = ∇1 − ∇2 is a vector field. Consider
T (X, Y) = ∇1XY − ∇2XY
Show that T (fX, Y) = fT (X, Y) for an arbitrary (smooth) function, i.e. it does not possesses derivatives:
T (fX, Y) = ∇1fX Y − ∇2fX Y = (∂Xf)Y + f∇1XY − (∂Xf)Y − f∇2XY = fT (X, Y).
∗ i 6 a) Consider tm = Γim. Show that the transformation law for tm is
0 ∂ xm ∂2xr ∂xk t 0 = t + . m ∂xm0 m ∂xm0 ∂xk0 ∂xr 3 b) † Show that this law can be written as
∂ xm ∂ ∂x t 0 = t + log det . m ∂xm0 m ∂xm0 ∂x0
Solution. Using transformation law (1) we have
i0 k m r i0 i0 ∂x ∂x ∂x i ∂x ∂x t 0 = Γ 0 00 = Γ + m i m ∂xi ∂xi0 ∂xm0 km ∂xi0 ∂xm0 ∂xr
0 ∂xi ∂xk k We have that 0 = δ . Hence ∂xi ∂xi i
i0 k m r i0 m r i0 m r i0 i0 ∂x ∂x ∂x i ∂x ∂x k ∂x i ∂x ∂x ∂x ∂x ∂x t 0 = Γ 0 00 = Γ + = δ Γ + = t + . m i m ∂xi ∂xi0 ∂xm0 km ∂xi0 ∂xm0 ∂xr i ∂xm0 km ∂xi0 ∂xm0 ∂xr ∂xm0 m ∂xi0 ∂xm0 ∂xr
† ∂ ∂x b) When calculating 0 log det use very important formula: ∂xm ∂x0
δ det A = det ATr (A−1δA) → δ log det A = Tr (A−1δA) .
Hence 0 ∂ ∂x ∂xi ∂2xr log det = ∂xm0 ∂x0 ∂xr ∂xi0 ∂xm0 and we come to transformation law for (1). To deduce the formula for δ det A notice that
det(A + δA) = det A det(1 + A−1δA) and use the relation: det(1 + δA) = 1 + Tr δA + O(δ2A)
7 Consider the surface M in the Euclidean space En. Calculate the induced connection in the following cases a) M = S1 in E2, b) M— parabola y = x2 in E2, c) cylinder in E3. d) cone in E3. e) sphere in E3. f) saddle z = xy in E3 Solution. a) Consider polar coordinate on S1, x = R cos ϕ, y = R sin ϕ. We have to define the connection on S1 2 ∂ ϕ induced by the canonical flat connection on E . It suffices to define ∇ ∂ = Γ ∂ϕ. ∂ϕ ∂ϕ ϕϕ Recall the general rule. Let r(uα): xi = xi(uα) is embedded surface in Euclidean space En. The basic ∂ ∂r(u) vectors ∂uα = ∂uα . To take the induced covariant derivative ∇XY for two tangent vectors X, Y we take a usual derivative of vector Y along vector X (the derivative with respect to canonical flat connection: in Cartesian coordiantes is just usual derivatives of components) then we take the tangent component of the answer, since in general derivative of vector Y along vector X is not tangent to surface:
2 ∂ γ ∂ (canonical) ∂ ∂ r(u) ∇ ∂ = Γ = ∇ = ∂uα β αβ γ ∂α β α β ∂u ∂u ∂u tangent ∂u ∂u tangent
4 ∂ (∇canonical ∂α ∂uβ ) is just usual derivative in Euclidean space since for canonical connection all Christoffel symbols vanish.) In the case of 1-dimensional manifold, curve it is just tangential acceleration!:
2 ∂ u ∂ (canonical) ∂ d r(u) ∇ ∂ = Γ = ∇ = = atangent ∂u uu ∂u 2 ∂u ∂u ∂u tangent du tangent
For the circle S1,(x = R cos ϕ, y = R sin ϕ), in E2. We have
∂ ∂x ∂ ∂y ∂ ∂ ∂ r = = + = −R sin ϕ + R cos ϕ , ϕ ∂ϕ ∂ϕ ∂x ∂ϕ ∂y ∂x ∂y
∂ ϕ (canonic.) ∂ ∇ ∂ = Γ ∂ϕ = ∇ ∂ϕ = rϕ = ∂ϕ ϕϕ ∂ϕ ∂ϕ tangent ∂ϕ tangent ∂ ∂ ∂ ∂ ∂ ∂ (−R sin ϕ) + (R cos ϕ) = −R cos ϕ − R sin ϕ = 0, ∂ϕ ∂x ∂ϕ ∂y tangent ∂x ∂y tangent
∂ ∂ since the vector −R cos ϕ ∂x −R sin ϕ ∂y is orthogonal to the tangent vector rϕ. In other words it means that acceleration is centripetal: tangential acceleration equals to zero. ϕ We see that in coordinate ϕ,Γϕϕ = 0. Additional work: Perform calculation of Christoffel symbol in stereographic coordinate t:
2tR2 R(t2 − R2) x = , y = . R2 + t2 t2 + R2
In this case ∂ ∂x ∂ ∂y ∂ 2R2 ∂ ∂ r = = + = (R2 − t2) + 2tR , t ∂t ∂t ∂x ∂t ∂y (R2 + t2)2 ∂x ∂x ∂ t (canonic.) ∂ ∇ ∂ = Γ ∂t = ∇ ∂t = rt = (rtt) = ∂t tt ∂t tangent ∂t tangent ∂t tangent 4t 2R2 ∂ ∂ − 2 2 rt + 2 2 2 −2t + 2R t + R (R + t ) ∂x ∂y tangent
In this case rtt is not orthogonal to velocity: to calculate (rtt)tangent we need to extract its orthogonal component:
(rtt)tangent = rtt − hrtt, ntin We have r 1 n = = 2tR∂ + (t2 − R2)∂ , t |r| R2 + t2 x y
−4R3 where hrt, ni = 0. Hence hrtt, nti = (t2+R2)2 and
(rtt)tangent = rtt − hrtt, ntin =
4t 2R2 ∂ ∂ 4R3 1 −2t − r + −2t + 2R + · 2tR∂ + (t2 − R2)∂ = r t2 + R2 t (R2 + t2)2 ∂x ∂y (t2 + R2)2 R2 + t2 x y t2 + R2 t We come to the answer: −2t −2t ∇ ∂ = ∂ , i.e.Γt = ∂t t t2 + R2 t tt t2 + R2
5 Of course we could calculate the Christoffel symbol in stereographic coordinates just using the fact that we ϕ already know the Christoffel symbol in polar coordinates: Γϕϕ = 0, hence
dt dϕ dϕ d2ϕ dt d2ϕ dt Γt = Γϕ + = tt dϕ dx dx ϕϕ dt2 dϕ dt2 dϕ