Existential theory of the reals

In geophysics, a geopotential model is the theoretical analysis of measuring and calculating the effects of the Earth's gravitational field.

Newton's law

Diagram of two masses attracting one another

Newton's law of universal gravitation states that the gravitational force F acting between two point masses m₁ and m₂ with centre of mass separation r is given by

$\mathbf {F} =-G{\frac {m_{1}m_{2}}{r^{2}}}\mathbf {\hat {r}}$

where G is the gravitational constant and r̂ is the radial unit vector. For an object of continuous mass distribution, each mass element dm can be treated as a point mass, so the volume integral over the extent of the object gives:

with corresponding gravitational potential

where ρ = ρ(x, y, z) is the mass density at the volume element and of the direction from the volume element to the point mass.

The case of a homogeneous sphere

In the special case of a sphere with a spherically symmetric mass density then ρ = ρ(s), i.e. density depends only on the radial distance

$s={\sqrt {x^{2}+y^{2}+z^{2}}}\,.$

These integrals can be evaluated analytically. This is the shell theorem saying that in this case:

with corresponding potential

where M = ∫_Vρ(s)dxdydz is the total mass of the sphere.

The deviations of the gravitational field of the Earth from that of homogeneous sphere

In reality the shape of the Earth is not exactly spherical, mainly because of its rotation around the polar axis that makes its shape slightly oblate. If this shape would have been perfectly known together with the exact mass density ρ = ρ(x, y, z) the integrals (Template:EquationNote) and (Template:EquationNote) could have been evaluated with numerical methods to find a more accurate model for the gravitational field of the Earth. But the situation is in fact the opposite, by observing the orbits of spacecraft (and the Moon) the gravitational field of the Earth can be determined quite accurately and the best estimate of the mass of the Earth is obtained by dividing the product GM as determined from the analysis of spacecraft orbit with a value for G determined to a lower relative accuracy using other physical methods.

From the defining equations (Template:EquationNote) and (Template:EquationNote) it is clear (taking the partial derivatives of the integrand) that outside the body in empty space the following differential equations are valid for the field caused by the body: Template:NumBlk

Functions of the form $\phi \ =\ R(r)\ \Theta (\theta )\ \Phi (\varphi )$ where (r, θ, φ) are the spherical coordinates which satisfy the partial differential equation (Template:EquationNote) (the Laplace equation) are called spherical harmonic function.

They take the forms:

where spherical coordinates (r, θ, φ) are used, given here in terms of cartesian (x, y, z) for reference: Template:NumBlk

also P⁰_n are the Legendre polynomials and P^m_n for 1 ≤ m ≤ n are the associated Legendre functions.

The first spherical harmonics with n = 0,1,2,3 are presented in the table below.

n	Spherical harmonics
1	${\frac {1}{r}}$
2	${\frac {1}{r^{2}}}P_{1}^{0}(\sin \theta )={\frac {1}{r^{2}}}\sin \theta$
	${\frac {1}{r^{2}}}P_{1}^{1}(\sin \theta )\cos \varphi ={\frac {1}{r^{2}}}\cos \theta \cos \varphi$
	${\frac {1}{r^{2}}}P_{1}^{1}(\sin \theta )\sin \varphi ={\frac {1}{r^{2}}}\cos \theta \sin \varphi$
3	${\frac {1}{r^{3}}}P_{2}^{0}(\sin \theta )={\frac {1}{r^{3}}}{\frac {1}{2}}(3\sin ^{2}\theta -1)$
	${\frac {1}{r^{3}}}P_{2}^{1}(\sin \theta )\cos \varphi ={\frac {1}{r^{3}}}3\sin \theta \cos \theta \ \cos \varphi$
	${\frac {1}{r^{3}}}P_{2}^{1}(\sin \theta )\sin \varphi ={\frac {1}{r^{3}}}3\sin \theta \cos \theta \sin \varphi$
	${\frac {1}{r^{3}}}P_{2}^{2}(\sin \theta )\cos 2\varphi ={\frac {1}{r^{3}}}3\cos ^{2}\theta \ \cos 2\varphi$
	${\frac {1}{r^{3}}}P_{2}^{2}(\sin \theta )\sin 2\varphi ={\frac {1}{r^{3}}}3\cos ^{2}\theta \sin 2\varphi$
4	${\frac {1}{r^{4}}}P_{3}^{0}(\sin \theta )={\frac {1}{r^{4}}}{\frac {1}{2}}\sin \theta \ (5\sin ^{2}\theta -3)$
	${\frac {1}{r^{4}}}P_{3}^{1}(\sin \theta )\cos \varphi ={\frac {1}{r^{4}}}{\frac {3}{2}}\ (5\ \sin ^{2}\theta -1)\cos \theta \cos \varphi$
	${\frac {1}{r^{4}}}P_{3}^{1}(\sin \theta )\sin \varphi ={\frac {1}{r^{4}}}{\frac {3}{2}}\ (5\ \sin ^{2}\theta -1)\cos \theta \sin \varphi$
	${\frac {1}{r^{4}}}P_{3}^{2}(\sin \theta )\cos 2\varphi ={\frac {1}{r^{4}}}15\sin \theta \cos ^{2}\theta \cos 2\varphi$
	${\frac {1}{r^{4}}}P_{3}^{2}(\sin \theta )\sin 2\varphi ={\frac {1}{r^{4}}}15\sin \theta \cos ^{2}\theta \sin 2\varphi$
	${\frac {1}{r^{4}}}P_{3}^{3}(\sin \theta )\cos 3\varphi ={\frac {1}{r^{4}}}15\cos ^{3}\theta \cos 3\varphi$
	${\frac {1}{r^{4}}}P_{3}^{3}(\sin \theta )\sin 3\varphi ={\frac {1}{r^{4}}}15\cos ^{3}\theta \sin 3\varphi$

The model for the Earth gravitational field is that its potential is a sum

where $\mu =GM$ and the coordinates (Template:EquationNote) are relative the standard geodetic reference system extended into space with origin in the center of the reference ellipsoid and with z-axis in the direction of the polar axis.

The zonal terms refer to terms of the form:

${\frac {P_{n}^{0}(\sin \theta )}{r^{n+1}}}\quad n=0,1,2,\dots$

and the tesseral terms terms refer to terms of the form:

${\frac {P_{n}^{m}(\sin \theta )\cos m\varphi }{r^{n+1}}}\,,\quad 1\leq m\leq n\quad n=1,2,\dots$

${\frac {P_{n}^{m}(\sin \theta )\sin m\varphi }{r^{n+1}}}$

The zonal and tesseral terms for n = 1 are left out in (Template:EquationNote).

The different coefficients J_n, C_n^m, S_n^m, are then given the values for which the best possible agreement between the computed and the observed spacecraft orbits is obtained.

As P⁰_n(x) = −P⁰_n(−x) non-zero coefficients J_n for odd n correspond to a lack of symmetry "north/south" relative the equatorial plane for the shape/mass-distribution of the Earth. Non-zero coefficients C_n^m, S_n^m correspond to a lack of rotational symmetry around the polar axis for the shape/mass-distribution of the Earth, i.e. to a "tri-axiality" of the Earth

For large values of n the coefficients above (that are divided by r^{(n + 1)} in (Template:EquationNote)) take very large values when for example kilometers and seconds are used as units. In the literature it is common to introduce some arbitrary "reference radius" R close to the radius of the Earth and to work with the dimensionless coefficients

${\tilde {J_{n}}}=-{\frac {J_{n}}{\mu \ R^{n}}}$

${\tilde {C_{n}^{m}}}=-{\frac {C_{n}^{m}}{\mu \ R^{n}}}$

${\tilde {S_{n}^{m}}}=-{\frac {S_{n}^{m}}{\mu \ R^{n}}}$

and to write the potential as

The dominating term (after the term −μ/r) in (Template:EquationNote) is the "J₂ term":

$u={\frac {J_{2}\ P_{2}^{0}(\sin \theta )}{r^{3}}}=J_{2}{\frac {1}{r^{3}}}{\frac {1}{2}}(3\sin ^{2}\theta -1)=J_{2}{\frac {1}{r^{5}}}{\frac {1}{2}}(3z^{2}-r^{2})$

Relative the coordinate system Template:NumBlk

Figure 1: The unit vectors ${\hat {\varphi }}\ ,\ {\hat {\theta }}\ ,\ {\hat {r}}$

illustrated in figure 1 the components of the force caused by the "J₂ term" are Template:NumBlk

In the rectangular coordinate system (x, y, z) with unit vectors (x̂ ŷ ẑ) the force components are: Template:NumBlk

The components of the force corresponding to the "J₃ term"

$u={\frac {J_{3}P_{3}^{0}(\sin \theta )}{r^{4}}}=J_{3}{\frac {1}{r^{4}}}{\frac {1}{2}}\sin \theta (5\sin ^{2}\theta -3)=J_{3}{\frac {1}{r^{7}}}{\frac {1}{2}}z(5z^{2}-3r^{2})$

are Template:NumBlk

and

The exact numerical values for the coefficients deviate (somewhat) between different Earth models but for the lowest coefficients they all agree almost exactly.

For JGM-3 the values are:

μ = 398600.440 km³⋅s⁻²

J₂ = 1.7555 × 10¹⁰ km⁵⋅s⁻²

J₃ = −2.619 × 10¹¹ km⁶⋅s⁻²

With a "reference radius" R of 6378.1363 km corresponding dimensionless parameters are

${\tilde {J_{2}}}=-1.0826\times 10^{-3}$

${\tilde {J_{3}}}=2.532\times 10^{-6}$

For example, at a radius of 6600 km (about 200 km over the Earth's surface) J₃/(J₂r) is about 0.002, i.e the correction to the "J₂ force" from the "J₃ term" is in the order of 2 promille. The negative value of J₃ implies that for a mass point in the equatorial plane of the Earth the gravitational force is tilted slightly towards south due to the lack of symmetry for the mass distribution of the Earth "north/south".

Recursive algorithms used for the numerical propagation of spacecraft orbits

Spacecraft orbits are computed by the numerical integration of the equation of motion. For this the gravitational force, i.e. the gradient of the potential, must be computed. Efficient recursive algorithms have been designed to compute the gravitational force for any $N_{z}$ and $N_{t}$ and such algorithms are used in standard orbit propagation software

Available models

The earliest Earth models in general use by NASA and ESRO/ESA were the "Goddard Earth Models" developed by Goddard Space Flight Center denoted "GEM-1", "GEM-2", "GEM-3", and so on. Later the "Joint Earth Gravity Models" denoted "JGM-1", "JGM-2", "JGM-3" developed by Goddard Space Flight Center in cooperation with universities and private companies became available. The newer models generally provided higher order terms than their precursors. The EGM96 uses N_z = N_t = 360 resulting in 130317 coefficients.

For a normal Earth satellite for which an orbit determination/prediction accuracy of a few meters is sufficient the "JGM-3" truncated to N_z = N_t = 36 (1365 coefficients) is usually sufficient. Inaccuracies from the modeling of the air-drag and to a lesser extent the solar radiation pressure will exceed the inaccuracies caused by the gravitation modeling errors.

Spherical harmonics

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church.

The following is a compact account of the spherical harmonics used to model the gravitational field of the Earth. The spherical harmonics are derived from the approach of looking for harmonic functions of the form

where (r, θ, φ) are the spherical coordinates defined by the equations (Template:EquationNote). By straightforward calculations one gets that for any function f

Introducing the expression (Template:EquationNote) in (Template:EquationNote) one gets that

As the term

${\frac {1}{R}}{\frac {d}{dr}}\left(r^{2}{\frac {dR}{dr}}\right)$

only depends on the variable $r$ and the sum

${\frac {1}{\Theta \cos \theta }}{\frac {d}{d\theta }}\left(\cos \theta {\frac {d\Theta }{d\theta }}\right)+{\frac {1}{\Phi \cos ^{2}\theta }}{\frac {d^{2}\Phi }{d\varphi ^{2}}}$

only depends on the variables θ and φ. One gets that φ is harmonic if and only if Template:NumBlk and Template:NumBlk for some constant $\lambda$

From (Template:EquationNote) then follows that

${\frac {1}{\Theta }}\ \cos \theta \ {\frac {d}{d\theta }}\left(\cos \theta {\frac {d\Theta }{d\theta }}\right)\ +\lambda \ \cos ^{2}\theta \ +\ {\frac {1}{\Phi }}{\frac {d^{2}\Phi }{d\varphi ^{2}}}\ =\ 0$

The first two terms only depend on the variable $\theta$ and the third only on the variable $\varphi$.

From the definition of φ as a spherical coordinate it is clear that Φ(φ) must be periodic with the period 2π and one must therefore have that

and Template:NumBlk

for some integer m as the family of solutions to (Template:EquationNote) then are Template:NumBlk

With the variable substitution

$x=\sin \theta$

equation (Template:EquationNote) takes the form

From (Template:EquationNote) follows that in order to have a solution $\phi$ with

$R(r)={\frac {1}{r^{n+1}}}$

one must have that

$\lambda =n(n+1)$

If P_n(x) is a solution to the differential equation Template:NumBlk

one therefore has that the potential corresponding to m = 0

$\phi ={\frac {1}{r^{n+1}}}\ P_{n}(\sin \theta )$

which is rotational symmetric around the z-axis is an harmonic function

If $P_{n}^{m}(x)$ is a solution to the differential equation Template:NumBlk

with m ≥ 1 one has the potential

where a and b are arbitrary constants is a harmonic function that depends on φ and therefore is not rotational symmetric around the z-axis

The differential equation (Template:EquationNote) is the Legendre differential equation for which the Legendre polynomials defined Template:NumBlk

are the solutions.

The arbitrary factor 1/(2ⁿn!) is selected to make P_n(−1)=−1 and P_n(1) = 1 for odd n and P_n(−1) = P_n(1) = 1 for even n.

The first six Legendre polynomials are:

The solutions to differential equation (Template:EquationNote) are the associated Legendre functions Template:NumBlk

One therefore has that

$P_{n}^{m}(\sin \theta )=\cos ^{m}\theta \ {\frac {d^{n}P_{n}}{dx^{n}}}(\sin \theta )$

References

• El'Yasberg "Theory of flight of artificial earth satellites", Israel program for Scientific Translations (1967)

• Lerch, F.J., Wagner, C.A., Smith, D.E., Sandson, M.L., Brownd, J.E., Richardson, J.A.,"Gravitational Field Models for the Earth (GEM1&2)", Report X55372146, Goddard Space Flight Center, Greenbelt/Maryland, 1972

• Lerch, F.J., Wagner, C.A., Putney, M.L., Sandson, M.L., Brownd, J.E., Richardson, J.A., Taylor, W.A., "Gravitational Field Models GEM3 and 4" ,Report X59272476, Goddard Space Flight Center, Greenbelt/Maryland, 1972

• Lerch, F.J., Wagner, C.A., Richardson, J.A., Brownd, J.E., "Goddard Earth Models (5 and 6)", Report X92174145, Goddard Space Flight Center, Greenbelt/Maryland, 1974

• Lerch, F.J., Wagner, C.A., Klosko, S.M., Belott, R.P., Laubscher, R.E., Raylor, W.A., "Gravity Model Improvement Using Geos3 Altimetry (GEM10A and 10B)", 1978 Spring Annual Meeting of the American Geophysical Union, Miami, 1978

• Lerch, F.J., Klosko, S.M., Laubscher, R.E., Wagner, C.A., "Gravity Model Improvement Using Geos3 (GEM9 and 10)", Journal of Geophysical Research, Vol. 84, B8, p. 3897-3916, 1979

• Lerch,F.J., Putney, B.H., Wagner, C.A., Klosko, S.M. ,"Goddard earth models for oceanographic applications (GEM 10B and 10C)", Marine-Geodesy, 5(2), p. 145-187, 1981

• Lerch, F.J., Klosko, S.M., Patel, G.B., "A Refined Gravity Model from Lageos (GEML2)", 'NASA Technical Memorandum 84986, Goddard Space Flight Center, Greenbelt/Maryland, 1983

• Lerch, F.J., Nerem, R.S., Putney, B.H., Felsentreger, T.L., Sanchez, B.V., Klosko, S.M., Patel, G.B., Williamson, R.G., Chinn, D.S., Chan, J.C., Rachlin, K.E., Chandler, N.L., McCarthy, J.J., Marshall, J.A., Luthcke, S.B., Pavlis, D.W., Robbins, J.W., Kapoor, S., Pavlis, E.C., " Geopotential Models of the Earth from Satellite Tracking, Altimeter and Surface Gravity Observations: GEMT3 and GEMT3S", NASA Technical Memorandum 104555, Goddard Space Flight Center , Greenbelt/Maryland, 1992

• Lerch, F.J., Nerem, R.S., Putney, B.H., Felsentreger, T.L., Sanchez, B.V., Marshall, J.A., Klosko, S.M., Patel, G.B., Williamson, R.G., Chinn, D.S., Chan, J.C., Rachlin, K.E., Chandler, N.L., McCarthy, J.J., Luthcke, S.B., Pavlis, N.K., Pavlis, D.E., Robbins, J.W., Kapoor, S., Pavlis, E.C., "A Geopotential Model from Satellite Tracking, Altimeter and Surface Gravity Data: GEMT3", Journal of Geophysical Research, Vol. 99, No. B2, p. 2815-2839, 1994

• Nerem, R.S., Lerch, F.J., Marshall, J.A., Pavlis, E.C., Putney, B.H., Tapley, B.D., Eanses, R.J., Ries, J.C., Schutz, B.E., Shum, C.K., Watkins, M.M., Klosko, S.M., Chan, J.C., Luthcke, S.B., Patel, G.B., Pavlis, N.K., Williamson, R.G., Rapp, R.H., Biancale, R., Nouel, F., "Gravity Model Developments for Topex/Poseidon: Joint Gravity Models 1 and 2", Journal of Geophysical Research, Vol. 99, No. C12, p. 24421-24447, 1994a

External links

• http://cddis.nasa.gov/lw13/docs/papers/sci_lemoine_1m.pdf
• http://geodesy.geology.ohio-state.edu/course/refpapers/Tapley_JGR_JGM3_96.pdf