To derive the formula for the position vector r in polar coordinates (r,θ) using only the metric tensor ds2=dr2+r2dθ2 and without referring to Cartesian coordinates, we can follow an intrinsic approach.
The position vector r points from the origin to a point P(r,θ). We want to express r in terms of the local coordinate basis vectors er=∂rr and eθ=∂θr. Let this expression be:
This method uses the definition of the basis vectors and their derivatives (Christoffel symbols).
1. Basis Vectors and their Derivatives:
The basis vectors are defined as er=∂r∂r and eθ=∂θ∂r.
The derivatives of the basis vectors are given by ∂jei=Γijkek, where Γijk are the Christoffel symbols.
The metric tensor components are grr=1, gθθ=r2, and grθ=0.
The non-zero Christoffel symbols for this metric are:
Γrθθ=Γθrθ=r1
Γθθr=−r
All other Christoffel symbols are zero (e.g., Γrrk=0, Γrrk=0, Γrθr=0, Γθθθ=0).
This leads to the following derivatives of the basis vectors:
∂rer=Γrrkek=0
∂reθ=Γrθkek=Γrθθeθ=r1eθ
∂θer=Γθrkek=Γθrθeθ=r1eθ
∂θeθ=Γθθkek=Γθθrer=−rer
2. Setting up the PDEs:
Substitute r=Aer+Beθ into the definitions of er and eθ:
For er=∂rr:
3. Solving the PDEs:
From (1a), A(r,θ)=r+f(θ) for some function f(θ).
From (1b), BdB=−rdr⟹ln∣B∣=−ln∣r∣+ln∣g(θ)∣⟹B(r,θ)=rg(θ) for some function g(θ).
Substitute into (2a): ∂θ∂(r+f(θ))−r(rg(θ))=0⟹f′(θ)−g(θ)=0⟹g(θ)=f′(θ).
So, B(r,θ)=rf′(θ).
Substitute into (2b): rr+f(θ)+∂θ∂(rf′(θ))=1⟹1+rf(θ)+rf′′(θ)=1.
This simplifies to f(θ)+f′′(θ)=0.
The general solution is f(θ)=C1cosθ+C2sinθ.
Thus, A(r,θ)=r+C1cosθ+C2sinθ and B(r,θ)=r−C1sinθ+C2cosθ.
4. Applying Boundary Conditions:
The origin of the polar coordinate system is at r=0. The position vector r should be the zero vector at the origin, i.e., ∣r∣→0 as r→0.
The squared magnitude of r is ∣r∣2=grrA2+gθθB2=A2+r2B2.
∣r∣2=(r+C1cosθ+C2sinθ)2+r2(r−C1sinθ+C2cosθ)2∣r∣2=(r+f(θ))2+(f′(θ))2.
As r→0, ∣r∣2→(f(θ))2+(f′(θ))2.
For ∣r∣ to be zero at the origin (r=0) for all θ, we need f(θ)=0 and f′(θ)=0 for all θ.
f(θ)=C1cosθ+C2sinθ=0 for all θ⟹C1=0,C2=0.
Therefore, f(θ)=0 and g(θ)=f′(θ)=0.
This gives A(r,θ)=r and B(r,θ)=0.
So, the position vector is r=rer. In terms of components in the basis (er,eθ), this is (r,0).
This method is somewhat more intuitive for a flat space described by polar coordinates.
1. Origin and Radial Geodesics:
The origin is the point r=0. The position vector r points from the origin to a point P(r,θ).
A natural path to take from the origin to P(r,θ) is a radial line, where θ is constant. In polar coordinates with the given metric (which describes flat Euclidean space), radial lines are geodesics.
2. Tangent Vector and Integration:
Let s be the arc length along such a radial geodesic. The metric for dθ=0 is ds2=dr2, so s=r (choosing s=0 at r=0).
The tangent vector to this geodesic path is T=dsdr. Since s=r (the coordinate r), T=drdr.
By definition, er=∂rr. So, the tangent vector to the radial geodesic is er(r′,θ), where r′ is the radial coordinate along the path.
3. Position Vector by Integration:
The position vector r(r,θ) can be found by integrating the tangent vector (which is er) from the origin (r′=0) to the point (r′=r) along this radial geodesic:
4. Constancy of er along the Path:
We need to know how er(r′,θ) changes with r′ when θ is held constant. This is given by ∂r′er(r′,θ).
As shown in Method 1 (using Christoffel symbols), ∂rer=0.
This means that for a fixed θ, the basis vector er does not change as r′ changes. So, er(r′,θ) is constant along the path of integration with respect to r′. We can write it as er(r,θ) (its value at the endpoint).
5. Final Result:
Since er(r′,θ) is constant with respect to r′ during the integration (it’s er(r,θ) or er(value at fixed θ)):
Thus, r=rer. This means the components of the position vector in the coordinate basis (er,eθ) are (r,0).
Both methods, which are “intrinsic” as they rely only on the metric and coordinate definitions, lead to the same result: the position vector r expressed in the polar coordinate basis (er,eθ) is rer+0eθ. This corresponds to the components (r,0).
Okay, let’s use Method 1 to compute the position vector R for the metric tensor:
Let the coordinates be (x1,x2)=(u,v). The metric tensor components are:
guu=u2+v2gvv=u2+v2guv=gvu=0
Let S=u2+v2. So, guu=S and gvv=S.
The position vector is assumed to be R(u,v)=A(u,v)eu+B(u,v)ev, where eu=∂uR and ev=∂vR.
Step 1: Inverse Metric and Christoffel Symbols
The inverse metric components are guu=1/S, gvv=1/S, and guv=0.
The derivatives of the metric components are:
∂uguu=2u, ∂vguu=2v∂ugvv=2u, ∂vgvv=2v
The Christoffel symbols Γijk=21gkl(∂igjl+∂jgil−∂lgij) are:
Γuuu=21guu(∂uguu+∂uguu−∂uguu)=2S1(2u)=SuΓuuv=21gvv(∂uguv+∂uguv−∂vguu)=2S1(0+0−2v)=−Sv
Step 2: Derivatives of Basis Vectors
Using ∂jei=Γijkek:
∂ueu=Γuuueu+Γuuvev=Sueu−Svev∂uev=Γuvueu+Γuvvev=Sveu+Suev∂veu=Γvuueu+Γvuvev=Sveu+Suev∂vev=Γvvueu+Γvvvev=−Sueu+Svev
Step 3: Setting up the PDEs
From eu=∂uR=∂u(Aeu+Bev):
eu=(∂uA)eu+A(Sueu−Svev)+(∂uB)ev+B(Sveu+Suev)eu=(∂uA+SuA+SvB)eu+(−SvA+∂uB+SuB)ev
Comparing coefficients:
(1a) ∂uA+SuA+vB=1
(1b) ∂uB−SvA−uB=0
From ev=∂vR=∂v(Aeu+Bev):
ev=(∂vA)eu+A(Sveu+Suev)+(∂vB)ev+B(−Sueu+Svev)ev=(∂vA+SvA−SuB)eu+(SuA+∂vB+SvB)ev
Comparing coefficients:
(2a) ∂vA+SvA−uB=0
(2b) ∂vB+SuA+vB=1
So we have ∂uA=∂vB and ∂vA=−∂uB. These are the Cauchy-Riemann equations for an analytic function F(z)=A(u,v)+iB(u,v), where z=u+iv.
The derivative F′(z)=∂uA+i∂uB. Substituting the expressions for ∂uA and ∂uB:
F′(z)=(1−SuA+vB)+i(SvA−uB)F′(z)=1−S1[(uA+vB)−i(vA−uB)]F′(z)=1−S1[A(u−iv)+B(v+iu)]=1−S1[A(u−iv)+iB(u−iv)]F′(z)=1−S(A+iB)(u−iv)=1−zzˉF(z)zˉ (since S=u2+v2=∣z∣2)
F′(z)=1−zF(z)
This is a linear first-order ordinary differential equation: zF′(z)+F(z)=z.
The left side is the derivative of zF(z), so (zF(z))′=z.
Integrating with respect to z:
zF(z)=∫zdz=21z2+C, where C is a complex constant of integration (C=C1+iC2).
So, F(z)=A+iB=21z+zC.
A+iB=21(u+iv)+u+ivC1+iC2=21(u+iv)+u2+v2(C1+iC2)(u−iv)A+iB=21(u+iv)+S(C1u+C2v)+i(C2u−C1v)
Equating real and imaginary parts:
A(u,v)=21u+SC1u+C2vB(u,v)=21v+SC2u−C1v
Step 4: Applying Boundary Conditions
The origin is (u,v)=(0,0), where S=0. The position vector R should be well-defined and typically R→0 as (u,v)→(0,0).
The squared magnitude of the position vector is ∣R∣2=guuA2+gvvB2=S(A2+B2)=S∣F(z)∣2.
∣R∣2=S∣∣2z+zC∣∣2=S∣∣2zz2+2C∣∣2=S4∣z∣2∣z2+2C∣2.
Since S=∣z∣2:
∣R∣2=∣z∣24∣z∣2∣z2+2C∣2=41∣z2+2C∣2.
As z→0 (i.e., u,v→0), the magnitude squared ∣R∣2→41∣2C∣2=∣C∣2.
For the position vector of the origin to be 0, we require its magnitude to be zero, so ∣C∣2=0, which implies C=0.
Thus C1=0 and C2=0.
The coordinates are (x1,x2)=(θ,ϕ). The metric components are:
gθθ=R2gϕϕ=R2sin2θgθϕ=0
We express the sought position vector as P(θ,ϕ)=A(θ,ϕ)eθ+B(θ,ϕ)eϕ, with the conditions eθ=∂θP and eϕ=∂ϕP.
Step 1: Inverse Metric and Christoffel Symbols
The inverse metric components are gθθ=1/R2 and gϕϕ=1/(R2sin2θ).
The non-zero derivatives of the metric components are ∂θgϕϕ=2R2sinθcosθ.
The non-zero Christoffel symbols are:
Step 3: Setting up the PDEs
We have P=Aeθ+Beϕ.
From eθ=∂θP:
eθ=(∂θA)eθ+A(∂θeθ)+(∂θB)eϕ+B(∂θeϕ)eθ=(∂θA)eθ+A(0)+(∂θB)eϕ+B(cotθeϕ)eθ=(∂θA)eθ+(∂θB+Bcotθ)eϕ
Comparing coefficients of eθ and eϕ:
(I) ∂θA=1
(II) ∂θB+Bcotθ=0
From eϕ=∂ϕP:
eϕ=(∂ϕA)eθ+A(∂ϕeθ)+(∂ϕB)eϕ+B(∂ϕeϕ)eϕ=(∂ϕA)eθ+A(cotθeϕ)+(∂ϕB)eϕ+B(−sinθcosθeθ)eϕ=(∂ϕA−Bsinθcosθ)eθ+(Acotθ+∂ϕB)eϕ
Comparing coefficients:
(III) ∂ϕA−Bsinθcosθ=0
(IV) Acotθ+∂ϕB=1
Step 4: Attempting to Solve the PDEs and Identifying Inconsistency
From (I): A(θ,ϕ)=∫1dθ=θ+f(ϕ) for some function f(ϕ).
From (II): ∂θ∂B=−Bcotθ. This is a separable differential equation for B with respect to θ:
BdB=−cotθdθ=−sinθcosθdθ∫BdB=−∫sinθcosθdθln∣B∣=−ln∣sinθ∣+ln∣g(ϕ)∣=ln∣∣sinθg(ϕ)∣∣
So, B(θ,ϕ)=sinθg(ϕ) for some function g(ϕ).
Now, substitute these expressions for A and B into equation (III):
∂ϕ(θ+f(ϕ))−(sinθg(ϕ))sinθcosθ=0f′(ϕ)−g(ϕ)cosθ=0f′(ϕ)=g(ϕ)cosθ
The left side, f′(ϕ), depends only on ϕ. The right side, g(ϕ)cosθ, depends on both ϕ and θ (unless cosθ is constant or g(ϕ)=0). For this equality to hold for all independent values of θ and ϕ:
\begin{itemize}
\item If there is any ϕ0 for which g(ϕ0)=0, then f′(ϕ0)/g(ϕ0)=cosθ. This would imply that cosθ is a constant (equal to f′(ϕ0)/g(ϕ0)), which is false as θ is a variable coordinate.
\item The only way for the equality to hold for all θ is if g(ϕ)=0 for all ϕ.
\end{itemize}
If g(ϕ)=0 for all ϕ, then f′(ϕ)=0⋅cosθ=0.
So, g(ϕ)=0⟹B(θ,ϕ)=0.
And f′(ϕ)=0⟹f(ϕ)=C1 (an arbitrary constant).
This means A(θ,ϕ)=θ+C1.
Now we must check if this potential solution (A=θ+C1, B=0) satisfies the last equation, (IV):
Acotθ+∂ϕB=1(θ+C1)cotθ+∂ϕ(0)=1(θ+C1)cotθ=1
This equation must hold for all values of θ (where cotθ is defined). However, this is not possible:
\begin{itemize}
\item If θ=π/2, then cot(π/2)=0. The equation becomes (π/2+C1)⋅0=1, which simplifies to 0=1. This is a contradiction.
\end{itemize}
Since we have reached a contradiction, the system of partial differential equations (I)-(IV) has no solution for A(θ,ϕ) and B(θ,ϕ).
Conclusion:
The method used to find a “position vector” P=Aeθ+Beϕ such that its partial derivatives ∂θP and ∂ϕP are equal to the coordinate basis vectors eθ and eϕ respectively, does not yield a solution for the metric of a sphere.
This is because the existence of such a vector field is characteristic of flat spaces (or flat space coordinatizations). The sphere is an intrinsically curved manifold (its Riemann curvature tensor is non-zero). On a curved manifold, one cannot generally find such a global vector field whose components satisfy ∇iAk=δik (where ∇i is the covariant derivative and δik is the Kronecker delta), which is the underlying condition that the system of PDEs (I)-(IV) represents. The curvature of the sphere prevents the existence of such a “globally flat” position vector field intrinsic to the manifold’s coordinate system.