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.

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).*

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

2 Asked on December 1, 2021

1 Asked on December 1, 2021

2 Asked on December 1, 2021 by pendronator

integration line integrals multivariable calculus riemann integration vector analysis

1 Asked on December 1, 2021

algebraic number theory class field theory profinite groups tensor products

1 Asked on December 1, 2021 by please-correct-grammarmistakes

1 Asked on December 1, 2021 by jack-schmidt

1 Asked on December 1, 2021 by martinhynesone

3 Asked on December 1, 2021 by evangelos

derivatives determinant matrices matrix calculus scalar fields

1 Asked on December 1, 2021 by alex-howard

1 Asked on December 1, 2021

1 Asked on December 1, 2021 by gabi-g

1 Asked on December 1, 2021 by ponchan

4 Asked on December 1, 2021 by aligator

1 Asked on December 1, 2021

1 Asked on December 1, 2021

axiom of choice logic model theory second order logic set theory

1 Asked on December 1, 2021

0 Asked on December 1, 2021

1 Asked on December 1, 2021

Get help from others!

Recent Answers

- Lex on Does Google Analytics track 404 page responses as valid page views?
- Joshua Engel on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

© 2022 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir