# Sphere's surface area element using differential forms

Mathematics Asked by Cryo on December 7, 2020

I am trying to use differential forms to determine the surface area element for a sphere. For a sphere of radius $$r=1$$. I think I am loosing something in the algebra (tried to check symbolic calculations on computer, still don’t know how to proceed)

In terms of Cartesian coordinates the surface of the sphere is: $$x^2+y^2+z^2=1$$. The spherical coordinates relate to Cartesian coordinates in the standard way:

begin{align} x=&sinthetacosphi \ y=&sinthetasinphi \ z=&costheta \ end{align}

The area element in Cartesian coordinates is:
$$d^2S = dx wedge dy – dx wedge dz + dy wedge dz$$

Computing the equivalents in spherical coordinates (not quite equivalent since radius is fixed):

begin{align} dx=& costhetacosphi,dtheta – sinthetasinphi,dphi \ dy=& costhetasinphi,dtheta + sinthetacosphi,dphi \ dz=& -sintheta,dtheta \ end{align}

Therefore:

begin{align} d^2 S =quad&left(costhetasinthetacos^2phi+costhetasinthetasin^2phiright)dthetawedge dphi-\ -&left(-sin^2thetasinphiright)dthetawedge dphi+ \ +&left(sin^2thetacosphiright)dthetawedge dphi \ \ d^2 S =&sinthetacdotleft(costheta + sinthetacdotleft(cosphi+sinphiright)right)dthetawedge dphi end{align}

I know the correct result should be $$d^2S=sintheta , dthetawedge dphi$$, and that it certainly should not depend on $$phi$$. But I can’t quite see where I went wrong. I suppose I am looking at using a push-forward from $$thetaphi$$ space to the surface of a 3D sphere, and then I am trying to pull-back the area element from the 3d space, but this statement will still lead to the same calculations.

As pointed out by @Ted Schifrin, the differential form I have used at the outset was wrong. Here's how I think one can arrive at the correct form. I would appreciate any comments.

### General approach

Start with $$m$$-dimensional Eucledian space with Cartesian coordinates $${x^{(i)}}_{i=1,dots,m}$$. There is a single equation that defines an $$left(m-1right)$$-dimensional surface $$fleft(x^{(1)},dots,x^{(m)}right)=mbox{const}$$.

One can define: begin{align} df =& d(f)=partial_if,dx^{(i)} \ dn=& df/sqrt{langle df,,dfrangle} end{align}

The former is a 1-form dual to vector that is normal to the surface (in the sence that it would give zero when applied to any vector in the tangent space of the surface). The latter is the normalized 1-form: $$langle df,, df rangle=g^{alphabeta},partial_alpha f,partial_beta f$$, where $$g^{alphabeta}$$ is the inverse metric tensor.

From $$dn$$ one can extract a Hodge dual:

$$star dn=frac{partial_mu f,g^{munu}}{sqrt{langle df,,dfrangle}} : ,frac{sqrt{g},epsilon_{nualpha_2dotsalpha_m}}{left(m-1right)!}:dx^{(alpha_2)}wedgedotswedge dx^{(alpha_m)}$$

Where $$g$$ is the determinant of the metric tensor and $$epsilon$$ is the Levi-Civita relative tensor. Given the volume form: $$d^m V=dx^{(1)}wedgedotswedge dx^{(m)}$$, one can check that:

$$dnwedgestar dn=langle dn,,dnrangle d^m V=d^m V$$

As it should be.

Next, I come do definition. Since $$star dn$$ is the form that together with the 1-form 'perpendicular' to the surface $$f=const$$ gives the volume element, I define $$star dn$$ to be the area element (for integrating on $$f=const$$ surface).

## Specific to sphere

With Cartesian coordinates the metric is trivial (diagonal), so $$g=1$$. $$f=x^2+y^2+z^2=r^2$$, so:

begin{align} df =& 2x,dx + 2y,dy + 2z,dz \ dn =& frac{x}{r},dx + frac{y}{r},dy + frac{z}{r},dz \ star dn =& frac{x}{r} dy wedge dz + frac{y}{r} dz wedge dx + frac{z}{r} dx wedge dy \ end{align}

Now, finally its time to sub in the spherical coordinates:

begin{align} star dn =& quadsinthetacosphi cdot left(sin^2thetacosphiright)r^2,dthetawedge dphi +\ &+sinthetasinphicdotleft(sin^2thetasinphiright)r^2,dthetawedge dphi +\ &+costhetacdot left(costhetasinthetacos^2phi+costhetasinthetasin^2phiright)r^2,dthetawedge dphi end{align}

Pulling things together:

begin{align} d^2 S = star dn =& left(sin^3thetacos^2phi+sin^3thetasin^2phi+cos^2thetasinthetaright)r^2,dthetawedge dphi \ =& sinthetaleft(sin^2theta+cos^2thetaright)dthetawedge dphi \ =& r^2,sintheta,dthetawedge dphi end{align}

Answered by Cryo on December 7, 2020

Your cartesian area element is quite wrong. Try $$x, dywedge dz + y, dzwedge dx + z, dxwedge dy.$$

Answered by Ted Shifrin on December 7, 2020

## Related Questions

### Discussion of continuous functions in topology

2  Asked on December 1, 2021

### Is there a specific name for this geometrical shape?

1  Asked on December 1, 2021

### Are regular/Riemann integrals a special case of a line integral?

2  Asked on December 1, 2021 by pendronator

### Injection from $(Kotimes_{mathbb{Z}}hat{mathbb{Z}})^*to prod_p(Kotimes_{mathbb{Z}}mathbb{Z}_p)^*$?

1  Asked on December 1, 2021

### Classification of triply transitive finite groups

1  Asked on December 1, 2021 by jack-schmidt

### Lebesgue Measure Space and a converging, increasing sequence. Show that the sequence in increasing.

1  Asked on December 1, 2021 by martinhynesone

### What is the derivative of $log det X$ when $X$ is symmetric?

3  Asked on December 1, 2021 by evangelos

### Uncertainty of a Weighted Mean with Uncertain Weights

1  Asked on December 1, 2021 by alex-howard

### The Grothendieck-Serre Correspondence : Obstructions to the construction of the cyclic group of order 8 as a Galois group?

1  Asked on December 1, 2021

### Prove/disprove that $mathbb{R}^2 /$~ is hausdorff, when: $(x_1,x_2)$~$(y_1,y_2)$ if there is $t>0$ such that $x_2 = tx_1$ and $ty_2 = y_1$

1  Asked on December 1, 2021 by gabi-g

### Definition of ring of dual numbers

1  Asked on December 1, 2021 by ponchan

### Are chain complexes chain equivalent to free ones?

1  Asked on December 1, 2021

### all prime numbers except 2 can write in the form $4npm1$

4  Asked on December 1, 2021 by aligator

### Time Average Mean of X(t)=A, where A is a r.v. Ergodic vs. non-ergodic.

1  Asked on December 1, 2021

### The complexity of finiteness

1  Asked on December 1, 2021

### Question about step in Ahlfors’ proof of Cauchy’s inequality in complex analysis.

1  Asked on December 1, 2021

### Numerical differentation – finding maxima

0  Asked on December 1, 2021

### Neyman–Pearson Lemma

1  Asked on December 1, 2021 by noe-vidales

### Is the determinant a tensor?

1  Asked on December 1, 2021

Get help from others!