Loading [MathJax]/jax/output/SVG/jax.js

A Proof of Trigonometric Formulas in the Plane of Constant Curvature


Comments


2025 年 4 月
 123456
78910111213
14151617181920
21222324252627
282930  


Abstract. In this paper, we solve the geodesics equation in the geodesic polar coordinates of a two dimensional Riemannian manifolds of constant sectional curvature. The relation between edges and angles of geodesic triangle has obtained and as a result the trigonometric formulae has been derived, that is the law of sines, the law of cosines.

1. Induced Connection Along a Mapping Suppose M and N be two smooth manifolds, and ϕ:NM is a smooth mapping. A vector field X along ϕ is an assignment which corresponding each xN 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 vTxN, 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]}:
vX,Y=˜vX,Y+X,˜vY,ϕ([V,W])=˜VϕW+˜WϕV,
where vTxN, 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 pM,vTpM. 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 qU and any vTqM 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 rr=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θ)=frdrdθ, 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.

参考文献

    发表回复

    您的邮箱地址不会被公开。 必填项已用 * 标注

    此站点使用Akismet来减少垃圾评论。了解我们如何处理您的评论数据


    Other news

    • 使用Chrome播放本地SWF文件

      两个版本, 一个是选择文件, 一个是直接拖拽。 当然也有合并到一起的办法, 参考这里。直接将下列文件放到和fl…

    • Chrome下载完成后显示病毒扫描失败的解决办法

      很蛋疼的一个提示, 一个pdf下载好后给提示病毒扫描失败。把下载的pdf直接删除了。 解决办法是运行如下的注册…

    • C1驾照学习经验

      历时4个月+15天, 我的C1驾照到手了. 下面分享下经验, 为广大学员解惑。 学驾照, 要趁早 为啥呢, 一…