Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Method 1: Solving Partial Differential Equations

To derive the formula for the position vector r\vec{r} in polar coordinates (r,θ)(r, \theta) using only the metric tensor ds2=dr2+r2dθ2ds^2 = dr^2 + r^2 d\theta^2 and without referring to Cartesian coordinates, we can follow an intrinsic approach.

The position vector r\vec{r} points from the origin to a point P(r,θ)P(r, \theta). We want to express r\vec{r} in terms of the local coordinate basis vectors er=rr\vec{e_r} = \partial_r \vec{r} and eθ=θr\vec{e_\theta} = \partial_\theta \vec{r}. Let this expression be:

r(r,θ)=A(r,θ)er+B(r,θ)eθ\vec{r}(r, \theta) = A(r, \theta) \vec{e_r} + B(r, \theta) \vec{e_\theta}

Our goal is to find the functions A(r,θ)A(r, \theta) and B(r,θ)B(r, \theta). The user suggests the target is r=(r,0)\vec{r}=(r,0), which implies A=rA=r and B=0B=0.

There are two main intrinsic ways to derive this:

Method 1: Solving Partial Differential Equations

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=rr\vec{e_r} = \frac{\partial \vec{r}}{\partial r} and eθ=rθ\vec{e_\theta} = \frac{\partial \vec{r}}{\partial \theta}. The derivatives of the basis vectors are given by jei=Γijkek\partial_j \vec{e_i} = \Gamma^k_{ij} \vec{e_k}, where Γijk\Gamma^k_{ij} are the Christoffel symbols. The metric tensor components are grr=1g_{rr}=1, gθθ=r2g_{\theta\theta}=r^2, and grθ=0g_{r\theta}=0. The non-zero Christoffel symbols for this metric are:

All other Christoffel symbols are zero (e.g., Γrrk=0\Gamma^k_{rr}=0, Γrrk=0\Gamma^k_{r r}=0, Γrθr=0\Gamma^r_{r\theta}=0, Γθθθ=0\Gamma^\theta_{\theta\theta}=0). This leads to the following derivatives of the basis vectors:

2. Setting up the PDEs: Substitute r=Aer+Beθ\vec{r} = A \vec{e_r} + B \vec{e_\theta} into the definitions of er\vec{e_r} and eθ\vec{e_\theta}: For er=rr\vec{e_r} = \partial_r \vec{r}:

er=Arer+Aerr0+Breθ+Beθr1reθ=Arer+(Br+Br)eθ\vec{e_r} = \frac{\partial A}{\partial r} \vec{e_r} + A \underbrace{\frac{\partial \vec{e_r}}{\partial r}}_{0} + \frac{\partial B}{\partial r} \vec{e_\theta} + B \underbrace{\frac{\partial \vec{e_\theta}}{\partial r}}_{\frac{1}{r}\vec{e_\theta}} = \frac{\partial A}{\partial r} \vec{e_r} + \left(\frac{\partial B}{\partial r} + \frac{B}{r}\right) \vec{e_\theta}

Comparing coefficients of er\vec{e_r} and eθ\vec{e_\theta}: (1a) Ar=1\frac{\partial A}{\partial r} = 1 (1b) Br+Br=0\frac{\partial B}{\partial r} + \frac{B}{r} = 0

For eθ=θr\vec{e_\theta} = \partial_\theta \vec{r}:

eθ=Aθer+Aerθ1reθ+Bθeθ+Beθθrer=(AθrB)er+(Ar+Bθ)eθ\vec{e_\theta} = \frac{\partial A}{\partial \theta} \vec{e_r} + A \underbrace{\frac{\partial \vec{e_r}}{\partial \theta}}_{\frac{1}{r}\vec{e_\theta}} + \frac{\partial B}{\partial \theta} \vec{e_\theta} + B \underbrace{\frac{\partial \vec{e_\theta}}{\partial \theta}}_{-r\vec{e_r}} = \left(\frac{\partial A}{\partial \theta} - rB\right) \vec{e_r} + \left(\frac{A}{r} + \frac{\partial B}{\partial \theta}\right) \vec{e_\theta}

Comparing coefficients: (2a) AθrB=0\frac{\partial A}{\partial \theta} - rB = 0 (2b) Ar+Bθ=1\frac{A}{r} + \frac{\partial B}{\partial \theta} = 1

3. Solving the PDEs: From (1a), A(r,θ)=r+f(θ)A(r, \theta) = r + f(\theta) for some function f(θ)f(\theta). From (1b), dBB=drr    lnB=lnr+lng(θ)    B(r,θ)=g(θ)r\frac{dB}{B} = -\frac{dr}{r} \implies \ln|B| = -\ln|r| + \ln|g(\theta)| \implies B(r, \theta) = \frac{g(\theta)}{r} for some function g(θ)g(\theta).

Substitute into (2a): θ(r+f(θ))r(g(θ)r)=0    f(θ)g(θ)=0    g(θ)=f(θ)\frac{\partial}{\partial \theta}(r+f(\theta)) - r\left(\frac{g(\theta)}{r}\right) = 0 \implies f'(\theta) - g(\theta) = 0 \implies g(\theta) = f'(\theta). So, B(r,θ)=f(θ)rB(r, \theta) = \frac{f'(\theta)}{r}.

Substitute into (2b): r+f(θ)r+θ(f(θ)r)=1    1+f(θ)r+f(θ)r=1\frac{r+f(\theta)}{r} + \frac{\partial}{\partial \theta}\left(\frac{f'(\theta)}{r}\right) = 1 \implies 1 + \frac{f(\theta)}{r} + \frac{f''(\theta)}{r} = 1. This simplifies to f(θ)+f(θ)=0f(\theta) + f''(\theta) = 0. The general solution is f(θ)=C1cosθ+C2sinθf(\theta) = C_1 \cos\theta + C_2 \sin\theta.

Thus, A(r,θ)=r+C1cosθ+C2sinθA(r, \theta) = r + C_1 \cos\theta + C_2 \sin\theta and B(r,θ)=C1sinθ+C2cosθrB(r, \theta) = \frac{-C_1 \sin\theta + C_2 \cos\theta}{r}.

4. Applying Boundary Conditions: The origin of the polar coordinate system is at r=0r=0. The position vector r\vec{r} should be the zero vector at the origin, i.e., r0|\vec{r}| \to 0 as r0r \to 0. The squared magnitude of r\vec{r} is r2=grrA2+gθθB2=A2+r2B2|\vec{r}|^2 = g_{rr}A^2 + g_{\theta\theta}B^2 = A^2 + r^2 B^2. r2=(r+C1cosθ+C2sinθ)2+r2(C1sinθ+C2cosθr)2|\vec{r}|^2 = (r + C_1 \cos\theta + C_2 \sin\theta)^2 + r^2 \left(\frac{-C_1 \sin\theta + C_2 \cos\theta}{r}\right)^2 r2=(r+f(θ))2+(f(θ))2|\vec{r}|^2 = (r + f(\theta))^2 + (f'(\theta))^2. As r0r \to 0, r2(f(θ))2+(f(θ))2|\vec{r}|^2 \to (f(\theta))^2 + (f'(\theta))^2. For r|\vec{r}| to be zero at the origin (r=0r=0) for all θ\theta, we need f(θ)=0f(\theta) = 0 and f(θ)=0f'(\theta) = 0 for all θ\theta. f(θ)=C1cosθ+C2sinθ=0f(\theta) = C_1 \cos\theta + C_2 \sin\theta = 0 for all θ    C1=0,C2=0\theta \implies C_1=0, C_2=0. Therefore, f(θ)=0f(\theta)=0 and g(θ)=f(θ)=0g(\theta)=f'(\theta)=0.

This gives A(r,θ)=rA(r, \theta) = r and B(r,θ)=0B(r, \theta) = 0. So, the position vector is r=rer\vec{r} = r \vec{e_r}. In terms of components in the basis (er,eθ)(\vec{e_r}, \vec{e_\theta}), this is (r,0)(r, 0).


Method 2: Using Geodesics

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=0r=0. The position vector r\vec{r} points from the origin to a point P(r,θ)P(r, \theta). A natural path to take from the origin to P(r,θ)P(r,\theta) is a radial line, where θ\theta is constant. In polar coordinates with the given metric (which describes flat Euclidean space), radial lines are geodesics.

2. Tangent Vector and Integration: Let ss be the arc length along such a radial geodesic. The metric for dθ=0d\theta=0 is ds2=dr2ds^2 = dr^2, so s=rs=r (choosing s=0s=0 at r=0r=0). The tangent vector to this geodesic path is T=drds\vec{T} = \frac{d\vec{r}}{ds}. Since s=rs=r (the coordinate rr), T=drdr\vec{T} = \frac{d\vec{r}}{dr}. By definition, er=rr\vec{e_r} = \partial_r \vec{r}. So, the tangent vector to the radial geodesic is er(r,θ)\vec{e_r}(r', \theta), where rr' is the radial coordinate along the path.

3. Position Vector by Integration: The position vector r(r,θ)\vec{r}(r, \theta) can be found by integrating the tangent vector (which is er\vec{e_r}) from the origin (r=0r'=0) to the point (r=rr'=r) along this radial geodesic:

r(r,θ)=0rer(r,θ)dr\vec{r}(r, \theta) = \int_0^r \vec{e_r}(r', \theta) dr'

4. Constancy of er\vec{e_r} along the Path: We need to know how er(r,θ)\vec{e_r}(r', \theta) changes with rr' when θ\theta is held constant. This is given by rer(r,θ)\partial_{r'} \vec{e_r}(r', \theta). As shown in Method 1 (using Christoffel symbols), rer=0\partial_r \vec{e_r} = 0. This means that for a fixed θ\theta, the basis vector er\vec{e_r} does not change as rr' changes. So, er(r,θ)\vec{e_r}(r', \theta) is constant along the path of integration with respect to rr'. We can write it as er(r,θ)\vec{e_r}(r, \theta) (its value at the endpoint).

5. Final Result: Since er(r,θ)\vec{e_r}(r', \theta) is constant with respect to rr' during the integration (it’s er(r,θ)\vec{e_r}(r, \theta) or er(value at fixed θ)\vec{e_r}(\text{value at fixed }\theta)):

r(r,θ)=er(r,θ)0rdr=rer(r,θ)\vec{r}(r, \theta) = \vec{e_r}(r, \theta) \int_0^r dr' = r \vec{e_r}(r, \theta)

Thus, r=rer\vec{r} = r \vec{e_r}. This means the components of the position vector in the coordinate basis (er,eθ)(\vec{e_r}, \vec{e_\theta}) are (r,0)(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\vec{r} expressed in the polar coordinate basis (er,eθ)(\vec{e_r}, \vec{e_\theta}) is rer+0eθr \vec{e_r} + 0 \vec{e_\theta}. This corresponds to the components (r,0)(r,0).

Okay, let’s use Method 1 to compute the position vector R\vec{R} for the metric tensor:

ds2=(u2+v2)du2+(u2+v2)dv2ds^2 = (u^2+v^2)du^2 + (u^2+v^2)dv^2

Let the coordinates be (x1,x2)=(u,v)(x^1, x^2) = (u, v). The metric tensor components are: guu=u2+v2g_{uu} = u^2+v^2 gvv=u2+v2g_{vv} = u^2+v^2 guv=gvu=0g_{uv} = g_{vu} = 0

Let S=u2+v2S = u^2+v^2. So, guu=Sg_{uu}=S and gvv=Sg_{vv}=S. The position vector is assumed to be R(u,v)=A(u,v)eu+B(u,v)ev\vec{R}(u,v) = A(u,v) \vec{e_u} + B(u,v) \vec{e_v}, where eu=uR\vec{e_u} = \partial_u \vec{R} and ev=vR\vec{e_v} = \partial_v \vec{R}.

Step 1: Inverse Metric and Christoffel Symbols

The inverse metric components are guu=1/Sg^{uu} = 1/S, gvv=1/Sg^{vv} = 1/S, and guv=0g^{uv}=0. The derivatives of the metric components are: uguu=2u\partial_u g_{uu} = 2u, vguu=2v\partial_v g_{uu} = 2v ugvv=2u\partial_u g_{vv} = 2u, vgvv=2v\partial_v g_{vv} = 2v

The Christoffel symbols Γijk=12gkl(igjl+jgillgij)\Gamma^k_{ij} = \frac{1}{2} g^{kl} (\partial_i g_{jl} + \partial_j g_{il} - \partial_l g_{ij}) are: Γuuu=12guu(uguu+uguuuguu)=12S(2u)=uS\Gamma^u_{uu} = \frac{1}{2} g^{uu} (\partial_u g_{uu} + \partial_u g_{uu} - \partial_u g_{uu}) = \frac{1}{2S} (2u) = \frac{u}{S} Γuuv=12gvv(uguv+uguvvguu)=12S(0+02v)=vS\Gamma^v_{uu} = \frac{1}{2} g^{vv} (\partial_u g_{uv} + \partial_u g_{uv} - \partial_v g_{uu}) = \frac{1}{2S} (0 + 0 - 2v) = -\frac{v}{S}

Γvvu=12guu(vgvu+vgvuugvv)=12S(0+02u)=uS\Gamma^u_{vv} = \frac{1}{2} g^{uu} (\partial_v g_{vu} + \partial_v g_{vu} - \partial_u g_{vv}) = \frac{1}{2S} (0 + 0 - 2u) = -\frac{u}{S} Γvvv=12gvv(vgvv+vgvvvgvv)=12S(2v)=vS\Gamma^v_{vv} = \frac{1}{2} g^{vv} (\partial_v g_{vv} + \partial_v g_{vv} - \partial_v g_{vv}) = \frac{1}{2S} (2v) = \frac{v}{S}

Γuvu=Γvuu=12guu(ugvu+vguuuguv)=12S(0+2v0)=vS\Gamma^u_{uv} = \Gamma^u_{vu} = \frac{1}{2} g^{uu} (\partial_u g_{vu} + \partial_v g_{uu} - \partial_u g_{uv}) = \frac{1}{2S} (0 + 2v - 0) = \frac{v}{S} Γuvv=Γvuv=12gvv(ugvv+vguvvguv)=12S(2u+00)=uS\Gamma^v_{uv} = \Gamma^v_{vu} = \frac{1}{2} g^{vv} (\partial_u g_{vv} + \partial_v g_{uv} - \partial_v g_{uv}) = \frac{1}{2S} (2u + 0 - 0) = \frac{u}{S}

Step 2: Derivatives of Basis Vectors Using jei=Γijkek\partial_j \vec{e_i} = \Gamma^k_{ij} \vec{e_k}: ueu=Γuuueu+Γuuvev=uSeuvSev\partial_u \vec{e_u} = \Gamma^u_{uu} \vec{e_u} + \Gamma^v_{uu} \vec{e_v} = \frac{u}{S} \vec{e_u} - \frac{v}{S} \vec{e_v} uev=Γuvueu+Γuvvev=vSeu+uSev\partial_u \vec{e_v} = \Gamma^u_{uv} \vec{e_u} + \Gamma^v_{uv} \vec{e_v} = \frac{v}{S} \vec{e_u} + \frac{u}{S} \vec{e_v} veu=Γvuueu+Γvuvev=vSeu+uSev\partial_v \vec{e_u} = \Gamma^u_{vu} \vec{e_u} + \Gamma^v_{vu} \vec{e_v} = \frac{v}{S} \vec{e_u} + \frac{u}{S} \vec{e_v} vev=Γvvueu+Γvvvev=uSeu+vSev\partial_v \vec{e_v} = \Gamma^u_{vv} \vec{e_u} + \Gamma^v_{vv} \vec{e_v} = -\frac{u}{S} \vec{e_u} + \frac{v}{S} \vec{e_v}

Step 3: Setting up the PDEs From eu=uR=u(Aeu+Bev)\vec{e_u} = \partial_u \vec{R} = \partial_u (A \vec{e_u} + B \vec{e_v}): eu=(uA)eu+A(uSeuvSev)+(uB)ev+B(vSeu+uSev)\vec{e_u} = (\partial_u A) \vec{e_u} + A(\frac{u}{S}\vec{e_u} - \frac{v}{S}\vec{e_v}) + (\partial_u B) \vec{e_v} + B(\frac{v}{S}\vec{e_u} + \frac{u}{S}\vec{e_v}) eu=(uA+uSA+vSB)eu+(vSA+uB+uSB)ev\vec{e_u} = (\partial_u A + \frac{u}{S}A + \frac{v}{S}B) \vec{e_u} + (-\frac{v}{S}A + \partial_u B + \frac{u}{S}B) \vec{e_v} Comparing coefficients: (1a) uA+uA+vBS=1\partial_u A + \frac{uA+vB}{S} = 1 (1b) uBvAuBS=0\partial_u B - \frac{vA-uB}{S} = 0

From ev=vR=v(Aeu+Bev)\vec{e_v} = \partial_v \vec{R} = \partial_v (A \vec{e_u} + B \vec{e_v}): ev=(vA)eu+A(vSeu+uSev)+(vB)ev+B(uSeu+vSev)\vec{e_v} = (\partial_v A) \vec{e_u} + A(\frac{v}{S}\vec{e_u} + \frac{u}{S}\vec{e_v}) + (\partial_v B) \vec{e_v} + B(-\frac{u}{S}\vec{e_u} + \frac{v}{S}\vec{e_v}) ev=(vA+vSAuSB)eu+(uSA+vB+vSB)ev\vec{e_v} = (\partial_v A + \frac{v}{S}A - \frac{u}{S}B) \vec{e_u} + (\frac{u}{S}A + \partial_v B + \frac{v}{S}B) \vec{e_v} Comparing coefficients: (2a) vA+vAuBS=0\partial_v A + \frac{vA-uB}{S} = 0 (2b) vB+uA+vBS=1\partial_v B + \frac{uA+vB}{S} = 1

Rearranging the equations: (1a) uA=1uA+vBS\partial_u A = 1 - \frac{uA+vB}{S} (1b) uB=vAuBS\partial_u B = \frac{vA-uB}{S} (2a) vA=vAuBS\partial_v A = -\frac{vA-uB}{S} (Note: vA=uB\partial_v A = -\partial_u B) (2b) vB=1uA+vBS\partial_v B = 1 - \frac{uA+vB}{S} (Note: vB=uA\partial_v B = \partial_u A)

So we have uA=vB\partial_u A = \partial_v B and vA=uB\partial_v A = -\partial_u B. These are the Cauchy-Riemann equations for an analytic function F(z)=A(u,v)+iB(u,v)F(z) = A(u,v) + iB(u,v), where z=u+ivz = u+iv. The derivative F(z)=uA+iuBF'(z) = \partial_u A + i \partial_u B. Substituting the expressions for uA\partial_u A and uB\partial_u B: F(z)=(1uA+vBS)+i(vAuBS)F'(z) = \left(1 - \frac{uA+vB}{S}\right) + i \left(\frac{vA-uB}{S}\right) F(z)=11S[(uA+vB)i(vAuB)]F'(z) = 1 - \frac{1}{S} [(uA+vB) - i(vA-uB)] F(z)=11S[A(uiv)+B(v+iu)]=11S[A(uiv)+iB(uiv)]F'(z) = 1 - \frac{1}{S} [A(u-iv) + B(v+iu)] = 1 - \frac{1}{S} [A(u-iv) + iB(u-iv)] F(z)=1(A+iB)(uiv)S=1F(z)zˉzzˉF'(z) = 1 - \frac{(A+iB)(u-iv)}{S} = 1 - \frac{F(z)\bar{z}}{z\bar{z}} (since S=u2+v2=z2S=u^2+v^2=|z|^2) F(z)=1F(z)zF'(z) = 1 - \frac{F(z)}{z} This is a linear first-order ordinary differential equation: zF(z)+F(z)=zz F'(z) + F(z) = z. The left side is the derivative of zF(z)zF(z), so (zF(z))=z(zF(z))' = z. Integrating with respect to zz: zF(z)=zdz=12z2+CzF(z) = \int z dz = \frac{1}{2}z^2 + C, where CC is a complex constant of integration (C=C1+iC2C = C_1 + iC_2). So, F(z)=A+iB=12z+CzF(z) = A+iB = \frac{1}{2}z + \frac{C}{z}. A+iB=12(u+iv)+C1+iC2u+iv=12(u+iv)+(C1+iC2)(uiv)u2+v2A+iB = \frac{1}{2}(u+iv) + \frac{C_1+iC_2}{u+iv} = \frac{1}{2}(u+iv) + \frac{(C_1+iC_2)(u-iv)}{u^2+v^2} A+iB=12(u+iv)+(C1u+C2v)+i(C2uC1v)SA+iB = \frac{1}{2}(u+iv) + \frac{(C_1u+C_2v) + i(C_2u-C_1v)}{S} Equating real and imaginary parts: A(u,v)=12u+C1u+C2vSA(u,v) = \frac{1}{2}u + \frac{C_1u+C_2v}{S} B(u,v)=12v+C2uC1vSB(u,v) = \frac{1}{2}v + \frac{C_2u-C_1v}{S}

Step 4: Applying Boundary Conditions The origin is (u,v)=(0,0)(u,v)=(0,0), where S=0S=0. The position vector R\vec{R} should be well-defined and typically R0\vec{R} \to \vec{0} as (u,v)(0,0)(u,v) \to (0,0). The squared magnitude of the position vector is R2=guuA2+gvvB2=S(A2+B2)=SF(z)2|\vec{R}|^2 = g_{uu}A^2 + g_{vv}B^2 = S(A^2+B^2) = S|F(z)|^2. R2=Sz2+Cz2=Sz2+2C2z2=Sz2+2C24z2|\vec{R}|^2 = S \left|\frac{z}{2} + \frac{C}{z}\right|^2 = S \left|\frac{z^2+2C}{2z}\right|^2 = S \frac{|z^2+2C|^2}{4|z|^2}. Since S=z2S=|z|^2: R2=z2z2+2C24z2=14z2+2C2|\vec{R}|^2 = |z|^2 \frac{|z^2+2C|^2}{4|z|^2} = \frac{1}{4}|z^2+2C|^2. As z0z \to 0 (i.e., u,v0u,v \to 0), the magnitude squared R2142C2=C2|\vec{R}|^2 \to \frac{1}{4}|2C|^2 = |C|^2. For the position vector of the origin to be 0\vec{0}, we require its magnitude to be zero, so C2=0|C|^2=0, which implies C=0C=0. Thus C1=0C_1=0 and C2=0C_2=0.

This gives: A(u,v)=12uA(u,v) = \frac{1}{2}u B(u,v)=12vB(u,v) = \frac{1}{2}v

The position vector is therefore:

R=12ueu+12vev\vec{R} = \frac{1}{2}u \vec{e_u} + \frac{1}{2}v \vec{e_v}

The components of the position vector in the basis (eu,ev)(\vec{e_u}, \vec{e_v}) are (u2,v2)(\frac{u}{2}, \frac{v}{2}).

When we apply the same method to compute the position vector P\vec{P} for the metric tensor of a sphere of radius RR:

ds2=R2dθ2+R2sin2θdϕ2ds^2 = R^2 d\theta^2 + R^2 \sin^2\theta d\phi^2

The coordinates are (x1,x2)=(θ,ϕ)(x^1, x^2) = (\theta, \phi). The metric components are: gθθ=R2g_{\theta\theta} = R^2 gϕϕ=R2sin2θg_{\phi\phi} = R^2 \sin^2\theta gθϕ=0g_{\theta\phi} = 0

We express the sought position vector as P(θ,ϕ)=A(θ,ϕ)eθ+B(θ,ϕ)eϕ\vec{P}(\theta,\phi) = A(\theta,\phi) \vec{e_\theta} + B(\theta,\phi) \vec{e_\phi}, with the conditions eθ=θP\vec{e_\theta} = \partial_\theta \vec{P} and eϕ=ϕP\vec{e_\phi} = \partial_\phi \vec{P}.

Step 1: Inverse Metric and Christoffel Symbols The inverse metric components are gθθ=1/R2g^{\theta\theta} = 1/R^2 and gϕϕ=1/(R2sin2θ)g^{\phi\phi} = 1/(R^2 \sin^2\theta). The non-zero derivatives of the metric components are θgϕϕ=2R2sinθcosθ\partial_\theta g_{\phi\phi} = 2R^2 \sin\theta \cos\theta. The non-zero Christoffel symbols are:

Step 2: Derivatives of Basis Vectors Using jei=Γijkek\partial_j \vec{e_i} = \Gamma^k_{ij} \vec{e_k}:

Step 3: Setting up the PDEs We have P=Aeθ+Beϕ\vec{P} = A \vec{e_\theta} + B \vec{e_\phi}.

From eθ=θP\vec{e_\theta} = \partial_\theta \vec{P}: eθ=(θA)eθ+A(θeθ)+(θB)eϕ+B(θeϕ)\vec{e_\theta} = (\partial_\theta A) \vec{e_\theta} + A(\partial_\theta \vec{e_\theta}) + (\partial_\theta B) \vec{e_\phi} + B(\partial_\theta \vec{e_\phi}) eθ=(θA)eθ+A(0)+(θB)eϕ+B(cotθeϕ)\vec{e_\theta} = (\partial_\theta A) \vec{e_\theta} + A(0) + (\partial_\theta B) \vec{e_\phi} + B(\cot\theta \vec{e_\phi}) eθ=(θA)eθ+(θB+Bcotθ)eϕ\vec{e_\theta} = (\partial_\theta A) \vec{e_\theta} + (\partial_\theta B + B\cot\theta) \vec{e_\phi} Comparing coefficients of eθ\vec{e_\theta} and eϕ\vec{e_\phi}: (I) θA=1\partial_\theta A = 1 (II) θB+Bcotθ=0\partial_\theta B + B\cot\theta = 0

From eϕ=ϕP\vec{e_\phi} = \partial_\phi \vec{P}: eϕ=(ϕA)eθ+A(ϕeθ)+(ϕB)eϕ+B(ϕeϕ)\vec{e_\phi} = (\partial_\phi A) \vec{e_\theta} + A(\partial_\phi \vec{e_\theta}) + (\partial_\phi B) \vec{e_\phi} + B(\partial_\phi \vec{e_\phi}) eϕ=(ϕA)eθ+A(cotθeϕ)+(ϕB)eϕ+B(sinθcosθeθ)\vec{e_\phi} = (\partial_\phi A) \vec{e_\theta} + A(\cot\theta \vec{e_\phi}) + (\partial_\phi B) \vec{e_\phi} + B(-\sin\theta \cos\theta \vec{e_\theta}) eϕ=(ϕABsinθcosθ)eθ+(Acotθ+ϕB)eϕ\vec{e_\phi} = (\partial_\phi A - B\sin\theta \cos\theta) \vec{e_\theta} + (A\cot\theta + \partial_\phi B) \vec{e_\phi} Comparing coefficients: (III) ϕABsinθcosθ=0\partial_\phi A - B\sin\theta \cos\theta = 0 (IV) Acotθ+ϕB=1A\cot\theta + \partial_\phi B = 1

Step 4: Attempting to Solve the PDEs and Identifying Inconsistency From (I): A(θ,ϕ)=1dθ=θ+f(ϕ)A(\theta,\phi) = \int 1 d\theta = \theta + f(\phi) for some function f(ϕ)f(\phi). From (II): Bθ=Bcotθ\frac{\partial B}{\partial \theta} = -B\cot\theta. This is a separable differential equation for BB with respect to θ\theta: dBB=cotθdθ=cosθsinθdθ\frac{dB}{B} = -\cot\theta d\theta = -\frac{\cos\theta}{\sin\theta} d\theta dBB=cosθsinθdθ\int \frac{dB}{B} = -\int \frac{\cos\theta}{\sin\theta} d\theta lnB=lnsinθ+lng(ϕ)=lng(ϕ)sinθ\ln|B| = -\ln|\sin\theta| + \ln|g(\phi)| = \ln\left|\frac{g(\phi)}{\sin\theta}\right| So, B(θ,ϕ)=g(ϕ)sinθB(\theta,\phi) = \frac{g(\phi)}{\sin\theta} for some function g(ϕ)g(\phi).

Now, substitute these expressions for AA and BB into equation (III): ϕ(θ+f(ϕ))(g(ϕ)sinθ)sinθcosθ=0\partial_\phi (\theta + f(\phi)) - \left(\frac{g(\phi)}{\sin\theta}\right)\sin\theta \cos\theta = 0 f(ϕ)g(ϕ)cosθ=0f'(\phi) - g(\phi)\cos\theta = 0 f(ϕ)=g(ϕ)cosθf'(\phi) = g(\phi)\cos\theta The left side, f(ϕ)f'(\phi), depends only on ϕ\phi. The right side, g(ϕ)cosθg(\phi)\cos\theta, depends on both ϕ\phi and θ\theta (unless cosθ\cos\theta is constant or g(ϕ)=0g(\phi)=0). For this equality to hold for all independent values of θ\theta and ϕ\phi: \begin{itemize} \item If there is any ϕ0\phi_0 for which g(ϕ0)0g(\phi_0) \neq 0, then f(ϕ0)/g(ϕ0)=cosθf'(\phi_0)/g(\phi_0) = \cos\theta. This would imply that cosθ\cos\theta is a constant (equal to f(ϕ0)/g(ϕ0)f'(\phi_0)/g(\phi_0)), which is false as θ\theta is a variable coordinate. \item The only way for the equality to hold for all θ\theta is if g(ϕ)=0g(\phi) = 0 for all ϕ\phi. \end{itemize} If g(ϕ)=0g(\phi) = 0 for all ϕ\phi, then f(ϕ)=0cosθ=0f'(\phi) = 0 \cdot \cos\theta = 0. So, g(ϕ)=0    B(θ,ϕ)=0g(\phi)=0 \implies B(\theta,\phi) = 0. And f(ϕ)=0    f(ϕ)=C1f'(\phi)=0 \implies f(\phi) = C_1 (an arbitrary constant). This means A(θ,ϕ)=θ+C1A(\theta,\phi) = \theta + C_1.

Now we must check if this potential solution (A=θ+C1A=\theta+C_1, B=0B=0) satisfies the last equation, (IV): Acotθ+ϕB=1A\cot\theta + \partial_\phi B = 1 (θ+C1)cotθ+ϕ(0)=1(\theta+C_1)\cot\theta + \partial_\phi(0) = 1 (θ+C1)cotθ=1(\theta+C_1)\cot\theta = 1 This equation must hold for all values of θ\theta (where cotθ\cot\theta is defined). However, this is not possible: \begin{itemize} \item If θ=π/2\theta = \pi/2, then cot(π/2)=0\cot(\pi/2) = 0. The equation becomes (π/2+C1)0=1(\pi/2 + C_1) \cdot 0 = 1, which simplifies to 0=10=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(θ,ϕ)A(\theta,\phi) and B(θ,ϕ)B(\theta,\phi).

Conclusion: The method used to find a “position vector” P=Aeθ+Beϕ\vec{P} = A \vec{e_\theta} + B \vec{e_\phi} such that its partial derivatives θP\partial_\theta \vec{P} and ϕP\partial_\phi \vec{P} are equal to the coordinate basis vectors eθ\vec{e_\theta} and eϕ\vec{e_\phi} 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\nabla_i A^k = \delta_i^k (where i\nabla_i is the covariant derivative and δik\delta_i^k 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.