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⃗=∂r⃗∂r\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⃗=∂A∂rer⃗+A∂er⃗∂r⏟0+∂B∂reθ⃗+B∂eθ⃗∂r⏟1reθ⃗=∂A∂rer⃗+(∂B∂r+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) ∂A∂r=1\frac{\partial A}{\partial r} = 1 (1b) ∂B∂r+Br=0\frac{\partial B}{\partial r} + \frac{B}{r} = 0

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

eθ⃗=∂A∂θer⃗+A∂er⃗∂θ⏟1reθ⃗+∂B∂θeθ⃗+B∂eθ⃗∂θ⏟−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  ⟹  ln⁡∣B∣=−ln⁡∣r∣+ln⁡∣g(θ)∣  ⟹  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., ∣r⃗∣→0|\vec{r}| \to 0 as r→0r \to 0. The squared magnitude of r⃗\vec{r} is ∣r⃗∣2=grrA2+gθθB2=A2+r2B2|\vec{r}|^2 = g_{rr}A^2 + g_{\theta\theta}B^2 = A^2 + r^2 B^2. ∣r⃗∣2=(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 ∣r⃗∣2=(r+f(θ))2+(f′(θ))2|\vec{r}|^2 = (r + f(\theta))^2 + (f'(\theta))^2. As r→0r \to 0, ∣r⃗∣2→(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⃗=dr⃗ds\vec{T} = \frac{d\vec{r}}{ds}. Since s=rs=r (the coordinate rr), T⃗=dr⃗dr\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 r′r' 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 r′r' when θ\theta is held constant. This is given by ∂r′er⃗(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 r′r' changes. So, er⃗(r′,θ)\vec{e_r}(r', \theta) is constant along the path of integration with respect to r′r'. 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 r′r' 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+∂jgil−∂lgij)\Gamma^k_{ij} = \frac{1}{2} g^{kl} (\partial_i g_{jl} + \partial_j g_{il} - \partial_l g_{ij}) are: Γuuu=12guu(∂uguu+∂uguu−∂uguu)=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+∂uguv−∂vguu)=12S(0+0−2v)=−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+∂vgvu−∂ugvv)=12S(0+0−2u)=−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+∂vgvv−∂vgvv)=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+∂vguu−∂uguv)=12S(0+2v−0)=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+∂vguv−∂vguv)=12S(2u+0−0)=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⃗=uSeu⃗−vSev⃗\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(uSeu⃗−vSev⃗)+(∂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) ∂uB−vA−uBS=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+vSA−uSB)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+vA−uBS=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=1−uA+vBS\partial_u A = 1 - \frac{uA+vB}{S} (1b) ∂uB=vA−uBS\partial_u B = \frac{vA-uB}{S} (2a) ∂vA=−vA−uBS\partial_v A = -\frac{vA-uB}{S} (Note: ∂vA=−∂uB\partial_v A = -\partial_u B) (2b) ∂vB=1−uA+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+i∂uBF'(z) = \partial_u A + i \partial_u B. Substituting the expressions for ∂uA\partial_u A and ∂uB\partial_u B: F′(z)=(1−uA+vBS)+i(vA−uBS)F'(z) = \left(1 - \frac{uA+vB}{S}\right) + i \left(\frac{vA-uB}{S}\right) F′(z)=1−1S[(uA+vB)−i(vA−uB)]F'(z) = 1 - \frac{1}{S} [(uA+vB) - i(vA-uB)] F′(z)=1−1S[A(u−iv)+B(v+iu)]=1−1S[A(u−iv)+iB(u−iv)]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)(u−iv)S=1−F(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=∣z∣2S=u^2+v^2=|z|^2) F′(z)=1−F(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)(u−iv)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(C2u−C1v)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+C2u−C1vSB(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 R⃗→0⃗\vec{R} \to \vec{0} as (u,v)→(0,0)(u,v) \to (0,0). The squared magnitude of the position vector is ∣R⃗∣2=guuA2+gvvB2=S(A2+B2)=S∣F(z)∣2|\vec{R}|^2 = g_{uu}A^2 + g_{vv}B^2 = S(A^2+B^2) = S|F(z)|^2. ∣R⃗∣2=S∣z2+Cz∣2=S∣z2+2C2z∣2=S∣z2+2C∣24∣z∣2|\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=∣z∣2S=|z|^2: ∣R⃗∣2=∣z∣2∣z2+2C∣24∣z∣2=14∣z2+2C∣2|\vec{R}|^2 = |z|^2 \frac{|z^2+2C|^2}{4|z|^2} = \frac{1}{4}|z^2+2C|^2. As z→0z \to 0 (i.e., u,v→0u,v \to 0), the magnitude squared ∣R⃗∣2→14∣2C∣2=∣C∣2|\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 ∣C∣2=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+R2sin⁡2θ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ϕϕ=R2sin⁡2θ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/(R2sin⁡2θ)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ϕ⃗=(∂ϕA−Bsin⁡θ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) ∂ϕA−Bsin⁡θ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 ln⁡∣B∣=−ln⁡∣sin⁡θ∣+ln⁡∣g(ϕ)∣=ln⁡∣g(ϕ)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′(ϕ)=0⋅cos⁡θ=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.