1. Induced Connection Along a Mapping Suppose M and N be two smooth manifolds, and ϕ:N→M is a smooth mapping. A vector field X along ϕ is an assignment which corresponding each x∈N to a vector X(x)∈Tϕ(x)M. In particular, for any vector field V on N, ϕ∗V may not be a vector field on M, but it is a vector field along ϕ. Clearly, the collection of vector fields along ϕ is a vector space, with the natural defined addtion and scalar multiplication.
We can extend a connection of vector fields on M to a connection of vector fields along ϕ. Let ∇ be a connection of M, and {Ei}dimMi=1 be a local frame in a neighborhood U of ϕ(x). Then the vector field X along ϕ can be expressed as
X(x)=Xi(x)Ei(ϕ(x)),
and we call X is smooth if all the component functions Xi are smooth. Now, taken a v∈TxN, we define a mapping, which is called a covariant derivative, ˜∇ from the vector fields along ϕ to Tϕ(x)M as:
˜∇vX=(vXi)Ei(ϕ(x))+Xi(x)∇ϕ∗vEi,
a directly verification will show that it is independent on the choice of the frame. Let V be a smooth vector field of N, then we obtain a smooth vector field along ϕ as
(˜∇VX)(x)=˜∇V(x)X.
The mapping ˜∇ which assign a vector field V of N and a vector field X along ϕ to the vector field along ϕ, i.e., ˜∇VX, is called induced connection.
Particularly, if γ is a curve on M, then the induced connection is commonly referred to as the connection along a curve [1].
An important property of the induce connection is that, even though we will not use it, if ∇ is the Riemannian connection then ˜∇ will also be Riemannian” in the following sense\footnote{the second one is a litter trick, for a proof, see [1]}:
v⟨X,Y⟩=⟨˜∇vX,Y⟩+⟨X,˜∇vY⟩,ϕ∗([V,W])=˜∇Vϕ∗W+˜∇Wϕ∗V,
where v∈TxN, X,Y are vector fields along ϕ and V,W are vector fields on N.
2. The Geodesics in Geodesic Polar Coordinates
At once one have a connection along a curve, then we can define the concept of parallel transformation along the curve, and obtain the geodesics of a manifold as the self-parallel curve. More precisely, if γ:[0,1]→M is a curve, and the tangent vector field of γ(t) will be denoted as ˙γ(t)=γ∗(ddt), which is clearly a vector field along γ, then
∇˙γ˙γ=0.
The above equation is a second-order non-linear ordinary differential equation (in a local frame), by the theory of ordinary differential equations, it will have an unique solution for the following initial values
{γ(0)=p˙γ(0)=v,
where p∈M,v∈TpM. What is more, the fundamental theory of ordinary differential equation tells us that, for any ε>0, by rescalling the time parameter t then we can suppose that ε>1, there exists a neighborhood U of p and a δ>0, such that for any q∈U and any v∈TqM with |v|<δ, the geodesic equation will have a unique solution on (−ε,ε) which satisfy the following initial condition
{γ(0)=q˙γ(0)=v.
This derive a map expp form a neighborhood of TpM to M, and in fact it is a locally diffeomorphism, called exponential map. Hence we can obtain a coordinate system in a neighborhood of M, which is induced from the coordinates of TpM by the exponential map. Especially, when we taken the polar coordinate systems on TpM then the corresponding coordinate will be called geodesic polar coordinates.
From now on, let M be a two dimensional manifold of constant curvature, ∇ be the Riemannian connection (Levi-Civita connection). The polar coordinates of M at p will be donoted as (r,θ), as usual, {∂∂r,∂∂θ} denote the local natural basis. Then a curve γ(t) on M can be written as (r(t),θ(t)), where t is the arc-lenth parameter, and the tangent vector of γ is ˙γ(t)=˙r(t)∂∂r|γ(t)+˙θ(t)∂∂θ|γ(t). Now, if γ(t) is a geodesic, then
0=∇˙γ(t)˙γ(t)=∇˙γ(t)(˙r(t)∂∂r|γ(t))+∇˙γ(t)(˙θ(t)∂∂θ|γ(t))=ddt˙r(t)⋅∂∂r|γ(t)+˙r(t)⋅∇˙γ(t)∂∂r+ddt˙θ(t)⋅∂∂θ|γ(t)+˙θ(t)⋅∇˙γ(t)∂∂θ=¨r(t)∂∂r|γ(t)+¨θ(t)∂∂θ|γ(t)+˙r(t)(˙r(t)∇∂∂r|γ(t)∂∂r+˙θ(t)∇∂∂θ|γ(t)∂∂r)+˙θ(t)(˙r(t)∇∂∂r|γ(t)∂∂θ+˙θ(t)∇∂∂θ|γ(t)∂∂θ)=¨r(t)∂∂r|γ(t)+¨θ(t)∂∂θ|γ(t)+2˙r(t)˙θ(t)∇∂∂θ|γ(t)∂∂r+˙θ(t)˙θ(t)∇∂∂θ|γ(t)∂∂θ.
The last equation obtained, since the r-curves are geodesics, thus ∇∂∂r∂∂r=0 and note also that [∂∂r,∂∂θ]=0, hence ∇∂∂θ∂∂r=∇∂∂r∂∂θ.
the Gauss lemms assert that ⟨∂∂r,∂∂θ⟩=0, then the metric of M can be written as
(ds)2=(dr)2+f2(r,θ)(dθ)2,
where f(r,θ) is a positive function. Using the compatibility and torsion free again, we have
⟨∇∂∂θ∂∂r,∂∂r⟩=0,⟨∇∂∂θ∂∂r,∂∂θ⟩=⟨∇∂∂r∂∂θ,∂∂θ⟩=ffr,⟨∇∂∂θ∂∂θ,∂∂r⟩=−ffr,⟨∇∂∂θ∂∂θ,∂∂θ⟩=ffθ.
Inserting these relations into (1),
0={¨r(t)−˙θ(t)˙θ(t)ffr}∂∂r|γ(t)+{¨θ(t)+2˙r(t)˙θ(t)ffr+˙θ(t)˙θ(t)ffθ}∂∂θ|γ(t).
Thus, the geodesic equation is
{0=¨r(t)−˙θ(t)˙θ(t)ffr0=¨θ(t)+2˙r(t)˙θ(t)ffr+˙θ(t)˙θ(t)ffθ,
where the f,fr should be evaulated at γ(t)=(r(t),θ(t)).
To get the relation of f should be satisfied as M is of constant curvature, we can calculate the Christoffel symbols, but a more efficient way is the method moving frame.
Set ω1=dr, ω2=fdθ, then (2) can be re-written as
(ds)2=ω1ω1+ω2ω2.
A directly calculation will show that
{dω1=d(dr)=0dω2=d(fdθ)=frdr∧dθ,
thus, if we set ω21=frdθ=−ω12, then
{dω1=ω2∧ω12dω2=ω1∧ω21,
thus the Cartan’s Lemma asserts that ω21 is the connection 1-form and the Gauss equation says that
dω21=−Kω1∧ω2,
where K is the Gauss curvature of M, which is a constant by assumption.
We conclude that for a 2-dimensional manifold M, it has constant sectional curvature if and only if the function f must satisfy the following differential equation
frr+Kf=0.
Hence, since t is arc-length parameter, the geodesic equations are
{0=¨r(t)−˙θ(t)˙θ(t)ffr0=¨θ(t)+2˙r(t)˙θ(t)ffr+˙θ(t)˙θ(t)ffθ1=˙r(t)2+f2˙θ(t)20=frr+Kf.
发表回复