Next Article in Journal
Study of Optical Solitons and Quasi-Periodic Behaviour for the Fractional Cubic Quintic Nonlinear Pulse Propagation Model
Next Article in Special Issue
Chaotic Behaviour, Sensitivity Assessment, and New Analytical Investigation to Find Novel Optical Soliton Solutions of M-Fractional Kuralay-II Equation
Previous Article in Journal
Convection in a Rapidly Rotating Spherical Shell: Newton’s Method Using Implicit Coriolis Integration
Previous Article in Special Issue
Dynamical Analysis of a Soliton Neuron Model: Bifurcations, Quasi-Periodic Behaviour, Chaotic Patterns, and Wave Solutions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Spherical Harmonics and Gravity Intensity Modeling Related to a Special Class of Triaxial Ellipsoids

by
Gerassimos Manoussakis
1,* and
Panayiotis Vafeas
2
1
Division of Geometry and Algebra, Department of Mathematics, School of Applied Mathematical and Physical Sciences, National Technical University of Athens, 15780 Zografos, Greece
2
Department of Chemical Engineering, University of Patras, 26504 Patras, Greece
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(13), 2115; https://doi.org/10.3390/math13132115
Submission received: 2 June 2025 / Revised: 21 June 2025 / Accepted: 24 June 2025 / Published: 27 June 2025

Abstract

The G-modified Helmholtz equation is a partial differential equation that allows gravity intensity g to be expressed as a series of spherical harmonics, with the radial distance r raised to irrational powers. In this study, we consider a non-rotating triaxial ellipsoid parameterized by the geodetic latitude φ and geodetic longitude λ, and eccentricities ee, ex, ey. On its surface, the value of gravity potential has a constant value, defining a level triaxial ellipsoid. In addition, the gravity intensity is known on the surface, which allows us to formulate a Dirichlet boundary value problem for determining the gravity intensity as a series of spherical harmonics. This expression for gravity intensity is presented here for the first time, filling a gap in the study of triaxial ellipsoids and spheroids. Given that the triaxial ellipsoid has very small eccentricities, a first order approximation can be made by retaining only the terms containing ee2 and ex2. The resulting expression in spherical harmonics contains even degree and even order harmonic coefficients, along with the associated Legendre functions. The maximum degree and order that occurs is four. Finally, as a special case, we present the geometrical degeneration of an oblate spheroid.
MSC:
35A09; 35C10; 35J25; 33C05; 33C75; 35Q99; 35J05; 33E05; 33E10

1. Introduction

Various surfaces are used as geometric models of the Earth. As a first approximation, Earth can be modeled as a sphere with a radius R = 6371 km. Since the polar semi axis [1] is shorter than the equatorial semi axis by approximately 20 km, a more accurate second approximation is to model the Earth as a biaxial ellipsoid (oblate spheroid). These surfaces are chosen to approximate the physical shape of the Earth, known as the geoid. In this section, we will briefly address this topic, as it is relevant to our investigation.
According to Bektaş [2], geodetic studies require an accepted model of the Earth. The reference surface should be chosen to reflect the Earth’s actual shape, and calculations must be easily linked to this model. The appropriate reference surface is the geoid, which is [3] an equipotential surface of the Earth’s gravity field. This surface is approximated by the global Mean Sea Level with high accuracy in sea areas, assuming the absence of other influences such us wind, tides, and ocean currents.
The geoid serves as a reference surface for orthometric heights, as all its points have a zero orthometric height. Its determination is a fundamental problem in Geodesy. The determination of the geoid using the Laplace equation involves solving an inverse boundary value problem (Stokes’ case), where the known gravity anomalies define the geoid as the unknown boundary surface that must be determined. To solve this problem, we approximate the surface of the geoid with that of a rotational ellipsoid (oblate spheroid). Thus, gravity anomalies are defined as the difference between the Earth’s gravity intensity g on the geoid (which [3] depends on the mass and density distribution beneath the Earth’s surface) and the gravity intensity γ on the surface of the ellipsoid. Due to the lack of accurate data on mass and density distribution [4,5], the determination of the geoid is performed point by point. The selection of an appropriate rotational ellipsoid is crucial, as the geoid is defined as a set of points with known distances from the surface of the ellipsoid. The distances are measured along the vertical line from the point on the geoid to the ellipsoid. This distance is referred to as the geoid undulation N.
The geoid undulation depends on [6] the Earth’s disturbing potential T and the gravity intensity γ, which is related to the gravity field generated by the chosen ellipsoid. This implies that the selected rotational ellipsoid should not only be geometrically close to the surface of the geoid (the physical surface of the Earth) but also physically close. The predominant [3] geometric model for the geoid is an ellipsoid that minimizes the mean square of the geometric heights (the distance measured along the vertical line from a point of interest on the Earth’s physical surface to the ellipsoid). The issue with this ellipsoid is that it introduces locally significant deviations in regions such as coastlines, or areas with submarine faults. To overcome this problem [3], a triaxial ellipsoid is introduced, which provides more accurate geometric heights values. This improvement is particularly important in regions of special geodetic interest.
Traditionally, rotational ellipsoids have been used for geodetic computations due to the simplicity they offer. However, with modern computing capabilities [1,2,7,8], it is no longer necessary to rely on simplifying assumptions for the sake of computational ease. Although the difference between the Earth’s equatorial semimajor and semiminor axes is small, it is not negligible. Therefore, triaxial ellipsoids are well suited for various geodetic calculations, including the solution of geodetic transformation problems.
Μany celestial bodies (such as asteroids, comets, natural satellites) have shapes that closely approximate triaxial ellipsoids [9,10,11,12]. In addition, the theory of ellipsoidal spline functions enables the interpolation and smoothing of the gravity data on a triaxial ellipsoid. Smoothing gravity data is essential for selecting the appropriate method for determining the geoid undulation in a specific region (for example, using the Stokes’ problem or an alternative approach). Triaxial ellipsoids are also preferable [13] for modeling strongly magnetic, compact ore bodies, as ellipsoids are the only bodies for which self-demagnetization can be treated exactly and analytically.
The gravity anomaly, defined as the difference between the Earth’s gravity g on the geoid and the ellipsoidal gravity γ on the surface of a rotational ellipsoid, is a key quantity in determining the gravimetric geoid through the solution of Stokes problem. The variation in gravity anomaly is directly related to the variation in geoid undulation. Since the 19th century [14], scientists have recognized that a triaxial ellipsoid provides a better geometric model of the Earth’s physical shape. Pizzetti solved the problem of determining the geoid in the case of a triaxial ellipsoid and derived expressions for the components of the gravity force Γx, Γy, and Γz with respect to the coordinate axles. Building on Pizzetti’s solution, Mineo [15], in 1928, was the first to provide a closed form expression for gravity γ (or gravity intensity γ) on a triaxial ellipsoid, whose surface is an equipotential surface. The gravity intensity γ is expressed as a function of geodetic longitude and geodetic latitude (further details are provided in the following paragraph). The usefulness of the triaxial ellipsoid is now widely recognized across numerous applications. Additionally, the choice of coordinate system plays a significant role in gravity field modeling, particularly in expressing gravitational potential. An insightful paper [16] provides an analytical treatment of this topic.
In this work, we determine the gravity intensity γ outside a triaxial ellipsoid with low eccentricities. Our results serve as a desired complement—long sought for decades—to the work of Mineo, since the G-modified Helmholtz equation enables us to express gravity intensity as a series of spherical harmonics in three-dimensional space. This constitutes the central novelty of our solution, which offers significant advantages including: (a) the formula for gravity γ is simpler than the expression obtained from the root of the sum of the squared components γx, γy, and γz; (b) the formula is expressed as a series of spherical harmonics something that has not existed until now.

2. Preliminaries

The following table will be helpful to understand all formulae that will be used in order to express gravity intensity γ as a series of spherical harmonics.
Table 1 includes all the necessary variables which are used in the text. The triaxial ellipsoid [2] has three distinct semi axles, i.e., ax, ay, and b. Its standard equation, when centered at the origin of a Cartesian system (x, y, z) and aligned with the axes, is
x 2 a x 2 + y 2 a y 2 + z 2 b 2 = 1 .
A triaxial ellipsoid has three eccentricities, the first and second polar eccentricity and the first equatorial eccentricity. Their relations are
e x 2 = a x 2 b 2 a x 2 ,
e y 2 = a y 2 b 2 a y 2 ,
e e 2 = a x 2 a y 2 a x 2 .
A parameterization of a triaxial ellipsoid, using geodetic φ and λ as parameters, is [17]
x ( ϕ . λ ) = a x 1 e x 2 sin 2 ϕ e e 2 cos 2 ϕ sin 2 λ cos ϕ cos λ ,
y ( ϕ . λ ) = a x ( 1 e e 2 ) 1 e x 2 sin 2 ϕ e e 2 cos 2 ϕ sin 2 λ cos ϕ sin λ ,
z ( ϕ . λ ) = a x ( 1 e x 2 ) 1 e x 2 sin 2 ϕ e e 2 cos 2 ϕ sin 2 λ sin ϕ .
The symbols ax, ay, and b stand for major equatorial semiaxis, minor equatorial semiaxis and polar semiaxis, respectively. In our case it holds that
a x > a y > b .
The geometric interpretation of geodetic and spherical coordinates is shown in Figure 1. The geodetic latitude φ of point P on the surface of a triaxial ellipsoid is the angle between the vertical line passing through P and its projection onto xy-plane.
The geodetic longitude λ of a point P on the surface of a triaxial ellipsoid is the angle between the projection of the vertical line through P onto the xy-plane and the line obtained by parallel transporting the x-axis to the trace of the vertical line on the xy-plane.
The normal vector n (see Figure 1) at a point P on the surface of a triaxial ellipsoid is the vector perpendicular to the tangent plane at point P.
The gravity intensity vector at a point P on the surface of a triaxial ellipsoid lies along the vertical line through point P, pointing to the opposite direction to the normal vector.
Relationships (2)–(4) define the first eccentricities of the three principal ellipses, which are mutually perpendicular. The gravity force on the surface of a triaxial level ellipsoid is given as [14]
γ ( ϕ , λ ) = a x γ a x cos 2 ϕ cos 2 λ + a y γ a y cos 2 ϕ sin 2 λ + b γ b sin 2 ϕ ( a x 2 cos 2 λ + a y 2 sin 2 λ ) cos 2 ϕ + b 2 sin 2 ϕ .
In the above relation, the gamma symbols on the right hand side represent the values of the gravity force at the end of the corresponding semiaxes. The geodetic longitude is defined as the angle between the x-axis and the projection of the ellipsoid’s normal vector on the xy -plane. If λc denotes the spherical longitude, then it holds that
sin 2 λ c = y 2 x 2 + y 2 = ( 1 e e 2 ) 2 cos 2 ϕ sin 2 λ cos 2 ϕ cos 2 λ + ( 1 e e 2 ) 2 cos 2 ϕ sin 2 λ = ( 1 e e 2 ) 2 sin 2 λ cos 2 λ + ( 1 e e 2 ) 2 sin 2 λ .
From the above relations we have that
sin 2 λ = sin 2 λ c sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ,
cos 2 λ = ( 1 e e 2 ) 2 cos 2 λ c ( 1 e e 2 ) 2 cos 2 λ c + sin 2 λ c .
If θ′ is the spherical latitude, then
cos 2 θ = z 2 r 2 = ( 1 e x 2 ) 2 sin 2 ϕ cos 2 ϕ cos 2 λ + ( 1 e e 2 ) 2 cos 2 ϕ sin 2 λ + ( 1 e x 2 ) 2 sin 2 ϕ .
After some manipulations we obtain
sin 2 ϕ = ( 1 e e 2 ) 2 sin 2 θ ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ ,
cos 2 ϕ = [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] ( 1 e x 2 ) 2 cos 2 θ ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ .
For ee = 0, the above relations hold for an ellipsoid of revolution (ax = ay = a) with semi axes a, a, b, and first eccentricity e, hence, we have
sin 2 ϕ = sin 2 θ sin 2 θ + ( 1 e 2 ) cos 2 θ ,
cos 2 ϕ = ( 1 e 2 ) 2 cos 2 θ sin 2 θ + ( 1 e 2 ) cos 2 θ .
To determine gravity intensity γ on and above the surface of the level triaxial ellispoid S, we must solve a Dirichlet boundary value problem, which involves the G—modified Helmholtz equation. This reads
2 γ 2 r 2 γ = 0 ,
γ S = γ ( ϕ , λ ) = ( a x γ a x cos 2 λ + a y γ a y sin 2 λ ) cos 2 ϕ + b γ b sin 2 ϕ ( a x 2 cos 2 λ + a y 2 sin 2 λ ) cos 2 ϕ + b 2 sin 2 ϕ .
The boundary condition for the Dirichlet boundary value problem, as described above, is expressed in geodetic coordinates φ and λ. To derive an expression for gravity intensity as a series of spherical harmonics, we must first rewrite the boundary condition in spherical coordinates θ′ and λc. This transformation is quite complex and involves several manipulations, which will be demonstrated in the sequel.
The procedure consists of two steps: In the first step we express the boundary condition in geodetic coordinates φ and λ, retaining only the ex2 and ee2 terms. In the second step we substitute the geodetic coordinates φ and λ by the spherical coordinates θ′ and λc, maintaining the same level of approximation for the ex2 and ee2 terms. Using Equations (2)–(4), the boundary condition (19) becomes
γ ( ϕ , λ ) = ( a x γ a x cos 2 λ + a x 1 e e 2 γ a y sin 2 λ ) cos 2 ϕ + a x 1 e x 2 γ b sin 2 ϕ ( a x 2 cos 2 λ + a x 2 ( 1 e e 2 ) sin 2 λ ) cos 2 ϕ + a x 2 ( 1 e x 2 ) sin 2 ϕ .
In addition, we set
γ a y = γ a x + δ γ x ,
γ b = γ a x + δ γ z .
Thus,
γ ( ϕ , λ ) = = a x [ ( γ a x cos 2 λ + ( γ a x + δ γ x ) 1 e e 2 sin 2 λ ) cos 2 ϕ + ( γ a x + δ γ z ) 1 e x 2 sin 2 ϕ ] ( a x 2 cos 2 λ + a x 2 ( 1 e e 2 ) sin 2 λ ) cos 2 ϕ + a x 2 ( 1 e x 2 ) sin 2 ϕ = = γ a x cos 2 λ + 1 + δ γ x γ a x 1 e e 2 sin 2 λ cos 2 ϕ + 1 + δ γ z γ a x 1 e x 2 sin 2 ϕ ( cos 2 λ + ( 1 e e 2 ) sin 2 λ ) cos 2 ϕ + ( 1 e x 2 ) sin 2 ϕ .
The boundary condition given in (20) will be approximated carefully. Due to low eccentricities, ee and ex, the quantities δγχ and δγz are small. Therefore, Equation (20) can now be simplified. Using Newton’s dyonym for the eccentricities, we obtain the following
γ ( ϕ , λ ) = = γ a x cos 2 λ + 1 + δ γ x γ a x 1 e e 2 2 sin 2 λ cos 2 ϕ + 1 + δ γ z γ a x 1 e x 2 2 sin 2 ϕ 1 e e 2 cos 2 ϕ sin 2 λ e x 2 sin 2 ϕ .
In addition,
( 1 e e 2 cos 2 ϕ sin 2 λ e x 2 sin 2 ϕ ) 1 2 = 1 + e e 2 cos 2 ϕ sin 2 λ 2 + e x 2 sin 2 ϕ 2 ,
cos 2 λ + 1 + δ γ x γ a x 1 e e 2 2 sin 2 λ cos 2 ϕ + 1 + δ γ z γ a x 1 e x 2 2 sin 2 ϕ = = cos 2 ϕ + δ γ x γ a x e e 2 2 δ γ x e e 2 2 γ a x cos 2 ϕ sin 2 λ + sin 2 ϕ + δ γ z γ a x e x 2 2 δ γ z e x 2 2 γ a x sin 2 ϕ = = 1 + δ γ x γ a x e e 2 2 δ γ x e e 2 2 γ a x cos 2 ϕ sin 2 λ + δ γ z γ a x e x 2 2 δ γ z e x 2 2 γ a x sin 2 ϕ ,
1 + δ γ x γ a x e e 2 2 δ γ x e e 2 2 γ a x cos 2 ϕ sin 2 λ + δ γ z γ a x e x 2 2 δ γ z e x 2 2 γ a x sin 2 ϕ 1 + e e 2 cos 2 ϕ sin 2 λ 2 + e x 2 sin 2 ϕ 2 = = 1 + δ γ x γ a x e e 2 2 δ γ x e e 2 2 γ a x cos 2 ϕ sin 2 λ + δ γ z γ a x e x 2 2 δ γ z e x 2 2 γ a x sin 2 ϕ + + e e 2 cos 2 ϕ sin 2 λ 2 + e x 2 sin 2 ϕ 2 + δ γ x γ a x e e 2 cos 4 ϕ sin 4 λ 2 + δ γ x γ a x e x 2 sin 2 ϕ cos 2 ϕ sin 2 λ 2 + + δ γ z γ a x e e 2 sin 2 ϕ cos 2 ϕ sin 2 λ 2 + δ γ z γ a x e x 2 sin 4 ϕ 2 = = 1 + δ γ x γ a x δ γ x e e 2 2 γ a x cos 2 ϕ sin 2 λ + δ γ z γ a x δ γ z e x 2 2 γ a x sin 2 ϕ + δ γ x e e 2 2 γ a x cos 4 ϕ sin 4 λ + + δ γ x e x 2 2 γ a x sin 2 ϕ cos 2 ϕ sin 2 λ + δ γ z e e 2 2 γ a x sin 2 ϕ cos 2 ϕ sin 2 λ + δ γ z e x 2 2 γ a x sin 4 ϕ .
Hence, the boundary condition is written as
γ ( ϕ , λ ) = = γ a x 1 + δ γ x γ a x δ γ x e e 2 2 γ a x cos 2 ϕ sin 2 λ + δ γ z γ a x δ γ z e x 2 2 γ a x sin 2 ϕ + δ γ x e e 2 2 γ a x cos 4 ϕ sin 4 λ + + δ γ x e x 2 2 γ a x sin 2 ϕ cos 2 ϕ sin 2 λ + δ γ z e e 2 2 γ a x sin 2 ϕ cos 2 ϕ sin 2 λ + δ γ z e x 2 2 γ a x sin 4 ϕ
Formula (28) provides the desired expression for gravity intensity γ in geodetic coordinates φ and λ, retaining only the ex2 and ee2 terms. Now, we move to the second step where we express the above boundary condition in spherical coordinates. This is presented in Appendix A. The desired result is as follows
γ ( θ , λ c ) = γ a x + + δ γ x cos 2 θ sin 2 λ c + δ γ x ( 2 e x 2 cos 2 θ sin 2 λ c + 2 e x 2 cos 4 θ sin 2 λ c + + 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c + 2 e e 2 cos 4 θ sin 2 λ c cos 2 λ c ) δ γ x 2 e e 2 cos 2 θ sin 2 λ c + + δ γ z sin 2 θ + δ γ z ( 2 e x 2 sin 2 θ cos 2 θ 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c ) δ γ z e x 2 2 sin 2 θ + + δ γ x e e 2 2 cos 4 θ sin 4 λ c + δ γ x e x 2 2 sin 2 θ cos 2 θ sin 2 λ c + + δ γ z e e 2 2 sin 2 θ cos 2 θ sin 2 λ c + δ γ z e x 2 2 sin 4 θ .
Formula (29) represents the desired form of the boundary condition (see Equation (19)) in spherical coordinates. With this we can proceed to solve the Dirichlet boundary value problem.
The procedure of deriving the series of spherical harmonics for the gravity intensity γ is carried on in the following section.

3. Main Results

In this paragraph, we will need the associated Legendre functions of the first kind in order to derive the solution for gravity intensity γ as a series of spherical harmonics. These functions are written as Pnm (where n is the degree and m is the order) and as variable we use either sinθ′ or cosθ′. In our case we will use sinθ′.
There are two significant challenges: (i) the radial distance r on the surface of the triaxial ellispoid is a function of gedetic coordinates φ and λ, and (ii) the functions Pnm(sinφ)cos, Pnm(sinφ)sin are not suitable for constructing the desired series for the gravity intensity γ. Therefore, we need to express these functions in spherical coordinates θ′ and λc, while retaining only the ex2 and ee2 terms. These manipulations are quite complex. We begin by addressing the radial distance r. The square of the radial distance of an arbitrary point on the surface of the triaxial ellispoid is given by
r e 2 = a x 2 1 e x 2 sin 2 ϕ e e 2 cos 2 ϕ sin 2 λ cos 2 ϕ cos 2 λ + + a x 2 ( 1 e e 2 ) 2 1 e x 2 sin 2 ϕ e e 2 cos 2 ϕ sin 2 λ cos ϕ 2 sin 2 λ + + a x 2 ( 1 e x 2 ) 2 1 e x 2 sin 2 ϕ e e 2 cos 2 ϕ sin 2 λ sin 2 ϕ = = a x 2 cos 2 ϕ cos 2 λ + a x 2 ( 1 e e 2 ) 2 cos ϕ 2 sin 2 λ + a x 2 ( 1 e x 2 ) 2 sin 2 ϕ 1 e x 2 sin 2 ϕ e e 2 cos 2 ϕ sin 2 λ .
We replace φ anf λ with spherical coordinates θ′ and λc. The procedure is made step by step, using Equations (11), (12), (14) and (15). To this end, we calculate
1 e x 2 sin 2 ϕ e e 2 cos 2 ϕ sin 2 λ = = 1 e x 2 ( 1 e e 2 ) 2 sin 2 θ ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ e e 2 [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] ( 1 e x 2 ) 2 cos 2 θ { ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } sin 2 λ c [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] = .
Hence, the denominator in relation (30) is equal to
1 e x 2 sin 2 ϕ e e 2 cos 2 ϕ sin 2 λ = = ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ e x 2 ( 1 e e 2 ) 2 sin 2 θ { ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } e e 2 ( 1 e x 2 ) 2 cos 2 θ sin 2 λ c ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ = = ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e x 2 ) ( 1 e e 2 ) 2 sin 2 θ e e 2 ( 1 e x 2 ) 2 cos 2 θ sin 2 λ c ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } .
Now, we are going to express the nominator of relation (30) in spherical coordinates θ′ and λc. It holds that
a x 2 cos 2 ϕ cos 2 λ + a x 2 ( 1 e e 2 ) 2 cos ϕ 2 sin 2 λ = = a x 2 cos 2 ϕ [ cos 2 λ + ( 1 e e 2 ) 2 sin 2 λ ] ,
cos 2 λ + ( 1 e e 2 ) 2 sin 2 λ = ( 1 e e 2 ) 2 sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ,
a x 2 cos 2 ϕ = a x 2 [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] ( 1 e x 2 ) 2 cos 2 θ ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ ,
a x 2 ( 1 e x 2 ) 2 sin 2 ϕ = a x 2 ( 1 e x 2 ) 2 ( 1 e e 2 ) 2 sin 2 θ ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ .
Consequently,
a x 2 cos 2 ϕ [ cos 2 λ + ( 1 e e 2 ) 2 sin 2 λ ] = = a x 2 ( 1 e e 2 ) 2 [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] ( 1 e x 2 ) 2 cos 2 θ { ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] ,
a x 2 cos 2 ϕ [ cos 2 λ + ( 1 e e 2 ) 2 sin 2 λ ] + a x 2 ( 1 e x 2 ) 2 sin 2 ϕ = = a x 2 ( 1 e e 2 ) 2 [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] ( 1 e x 2 ) 2 cos 2 θ { ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + + [ a x 2 ( 1 e x 2 ) 2 ( 1 e e 2 ) 2 sin 2 θ ] [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] { ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] = = a x 2 ( 1 e e 2 ) 2 ( 1 e x 2 ) 2 cos 2 θ + a x 2 ( 1 e x 2 ) 2 ( 1 e e 2 ) 2 sin 2 θ { ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } .
Thus,
a x 2 cos 2 ϕ [ cos 2 λ + ( 1 e e 2 ) 2 sin 2 λ ] + a x 2 ( 1 e x 2 ) 2 sin 2 ϕ = = a x 2 ( 1 e e 2 ) 2 ( 1 e x 2 ) 2 { ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } .
Combining relationships (A13), (29) and (34), the radial distance on the surface of the triaxial ellipsoid is equal to
r e = a x ( 1 e e 2 ) ( 1 e x 2 ) ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e x 2 ) ( 1 e e 2 ) 2 sin 2 θ e e 2 ( 1 e x 2 ) 2 cos 2 θ sin 2 λ c
or
r e = a x ( 1 e e 2 ) 1 e x 2 ( 1 e x 2 ) cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ e e 2 ( 1 e x 2 ) cos 2 θ sin 2 λ c = = b ( 1 e e 2 ) ( 1 e x 2 ) cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ e e 2 ( 1 e x 2 ) cos 2 θ sin 2 λ c .
For ee = 0 and ax = a, ex = e, the above formula [18] gives the radial distance rs of a point on the surface of an oblate spheroid with semi axles a, a, b, that is
r s = a 1 e 2 ( 1 e 2 ) cos 2 θ + sin 2 θ r s = a 1 e 2 1 e 2 cos 2 θ = b 1 e 2 cos 2 θ .
We will return to Equation (41) shortly, as it is not in a convenient form to later integration. The transformation of the associated Legendre functions Pnm(sinφ) in spherical coordinates is necessary. The Dirichlet problem at hand is given as the G—modified Helmoltz equation (see (18)) and the boundary condition (29). For the Legendre functions, we have the following
P n m ( sin ϕ ) = P n m ( 1 e e 2 ) sin θ ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ .
But, bearing in mind relations (A3) and (A4), we obtain
( 1 2 e x 2 cos 2 θ 2 e e 2 sin 2 θ 2 e e 2 cos 2 θ cos 2 λ c ) 1 2 = = 1 + e x 2 cos 2 θ + e e 2 sin 2 θ + e e 2 cos 2 θ cos 2 λ c .
Therefore,
sin ϕ = ( 1 e e 2 ) sin θ ( 1 + e x 2 cos 2 θ + e e 2 sin 2 θ + e e 2 cos 2 θ cos 2 λ c ) = = sin θ + e x 2 sin θ cos 2 θ + e e 2 sin 3 θ + e e 2 sin θ cos 2 θ cos 2 λ c e e 2 sin θ = = sin θ + e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c .
Formula (43) is written as
P n m ( sin ϕ ) = P n m ( sin θ + e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) .
Relationship (46) represents the desired relation for the associated Legendre functions. For sin and cos we have the following
sin m λ = sin m λ c sin 2 m λ c + ( 1 e e 2 ) 2 cos 2 m λ c = sin m λ c ( 1 + e e 2 cos 2 m λ c ) = = sin m λ c ( 1 + e e 2 e e 2 sin 2 m λ c ) = sin m λ c + e e 2 sin m λ c e e 2 sin 3 m λ c ,
cos m λ = ( 1 e e 2 ) cos m λ c sin 2 λ c + ( 1 e e 2 ) 2 cos 2 m λ c = = ( cos m λ c e e 2 cos m λ c ) ( 1 + e e 2 cos 2 m λ c ) = cos m λ c e e 2 cos m λ c + e e 2 cos 3 m λ c .
The general expression for the gravity intensity γ as a series of spherical harmonics is given as
γ ( r , θ , λ c ) = n = 0 + r 1 + 9 + 4 n ( n + 1 ) 2 { m = 0 n [ a n m P n m ( sin θ + e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) ( cos m λ c e e 2 cos m λ c + e e 2 cos 3 m λ c ) + + b n m P n m ( sin θ + e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) ( sin m λ c + e e 2 sin m λ c e e 2 sin 3 m λ c ) ] } .
We need to modify Equation (41), holding that
b ( 1 e e 2 ) = b e e 2 b ,
( 1 e x 2 ) cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ e e 2 ( 1 e x 2 ) cos 2 θ sin 2 λ c = ( cos 2 θ e x 2 cos 2 θ ) ( 1 2 e e 2 cos 2 λ c ) + + sin 2 θ 2 e e 2 sin 2 θ e e 2 cos 2 θ sin 2 λ c = = cos 2 θ 2 e e 2 cos 2 θ cos 2 λ c e x 2 cos 2 θ + sin 2 θ 2 e e 2 sin 2 θ e e 2 cos 2 θ sin 2 λ c = = 1 2 e e 2 cos 2 θ cos 2 λ c e x 2 cos 2 θ 2 e e 2 sin 2 θ e e 2 cos 2 θ sin 2 λ c ,
( 1 2 e e 2 cos 2 θ cos 2 λ c e x 2 cos 2 θ 2 e e 2 sin 2 θ e e 2 cos 2 θ sin 2 λ c ) 1 2 = = 1 + e e 2 cos 2 θ cos 2 λ c + e x 2 2 cos 2 θ + e e 2 sin 2 θ + e e 2 2 cos 2 θ sin 2 λ c .
Therefore,
r e = ( b e e 2 b ) 1 + e e 2 cos 2 θ cos 2 λ c + e x 2 2 cos 2 θ + e e 2 sin 2 θ + e e 2 2 cos 2 θ sin 2 λ c
or
r e = b e e 2 b + e e 2 b cos 2 θ cos 2 λ c + e x 2 2 b cos 2 θ + e e 2 2 b sin 2 θ + e e 2 2 b cos 2 θ sin 2 λ c .
For ee = 0, ex = 0 the above equation gives the radial distance of an oblate spheroid with semi axles a, a, b, that is
r = b 1 e 2 cos 2 θ = b + e 2 2 b cos 2 θ .
Having evaluated all necessary expressions, we need to determine the coefficients anm and bnm of relation (64). On the surface of the triaxial ellipsoid, it holds that (see Equations (29), (46)–(48) and (54))
γ a x + + δ γ x cos 2 θ sin 2 λ c + δ γ x ( 2 e x 2 cos 2 θ sin 2 λ c + 2 e x 2 cos 4 θ sin 2 λ c + + 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c + 2 e e 2 cos 4 θ sin 2 λ c cos 2 λ c ) δ γ x 2 e e 2 cos 2 θ sin 2 λ c + + δ γ z sin 2 θ + δ γ z ( 2 e x 2 sin 2 θ cos 2 θ 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c ) δ γ z e x 2 2 sin 2 θ + + δ γ x e e 2 2 cos 4 θ sin 4 λ c + δ γ x e x 2 2 sin 2 θ cos 2 θ sin 2 λ c + + δ γ z e e 2 2 sin 2 θ cos 2 θ sin 2 λ c + δ γ z e x 2 2 sin 4 θ = = n = 0 + ( b e e 2 b + e e 2 b cos 2 θ cos 2 λ c + e x 2 2 b cos 2 θ + e e 2 2 b sin 2 θ + e e 2 2 b cos 2 θ sin 2 λ c ) 1 + 9 + 4 n ( n + 1 ) 2 { m = 0 n [ a n m P n m ( sin θ + e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) [ ( cos m λ c ( 1 e e 2 + e e 2 cos 2 m λ c ) ] + + b n m P n m ( sin θ + e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) ( sin m λ c + e e 2 sin m λ c e e 2 sin 3 m λ c ) ] } .
We aim to split the above series into two parts. The first part will consist of a series of spherical harmonics containing the associated Legendre functions Pnm(sinθ′), while the second part will include a singular component which contains the ex2 and ee2 terms. Setting
μ 0 = sin θ ,
μ = e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ,
we make the following substitution (see relation (46)):
P n m ( μ 0 + μ ) = P n m ( μ 0 ) + P n m ( μ 0 ) ( μ 0 + μ μ 0 ) = P n m ( μ 0 ) + μ P n m ( μ 0 ) .
The prime symbol denotes differentiation with respect to the argument sinθ′. Hence,
P n m ( sin θ + e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) = = P n m ( sin θ ) + ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) P n m ( sin θ ) .
Therefore, boundary condition (56) on the surface of the triaxial ellipsoid becomes
γ a x + + δ γ x cos 2 θ sin 2 λ c + δ γ x ( 2 e x 2 cos 2 θ sin 2 λ c + 2 e x 2 cos 4 θ sin 2 λ c + + 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c + 2 e e 2 cos 4 θ sin 2 λ c cos 2 λ c ) δ γ x 2 e e 2 cos 2 θ sin 2 λ c + + δ γ z sin 2 θ + δ γ z ( 2 e x 2 sin 2 θ cos 2 θ 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c ) δ γ z e x 2 2 sin 2 θ + + δ γ x e e 2 2 cos 4 θ sin 4 λ c + δ γ x e x 2 2 sin 2 θ cos 2 θ sin 2 λ c + + δ γ z e e 2 2 sin 2 θ cos 2 θ sin 2 λ c + δ γ z e x 2 2 sin 4 θ = = n = 0 + ( b e e 2 b + e e 2 b cos 2 θ cos 2 λ c + e x 2 2 b cos 2 θ + e e 2 2 b sin 2 θ + e e 2 2 b cos 2 θ sin 2 λ c ) 1 + 9 + 4 n ( n + 1 ) 2 { m = 0 n { a n m [ P n m ( sin θ ) ( cos m λ c e e 2 cos m λ c + e e 2 cos 3 m λ c ) + + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) ( cos m λ c e e 2 cos m λ c + e e 2 cos 3 m λ c ) ] } + + b n m { [ P n m ( sin θ ) ( sin m λ c + e e 2 sin m λ c e e 2 sin 3 m λ c ) + + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) ( sin m λ c + e e 2 sin m λ c e e 2 sin 3 m λ c ) ] } } .
The terms that involve the derivatives of the associated Legendre functions Pnm(sinθ) represent the singular part of our series. By retaining only ex2 and ee2 terms, the above boundary condition becomes
γ a x + + δ γ x cos 2 θ sin 2 λ c + δ γ x ( 2 e x 2 cos 2 θ sin 2 λ c + 2 e x 2 cos 4 θ sin 2 λ c + + 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c + 2 e e 2 cos 4 θ sin 2 λ c cos 2 λ c ) δ γ x 2 e e 2 cos 2 θ sin 2 λ c + + δ γ z sin 2 θ + δ γ z ( 2 e x 2 sin 2 θ cos 2 θ 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c ) δ γ z e x 2 2 sin 2 θ + + δ γ x e e 2 2 cos 4 θ sin 4 λ c + δ γ x e x 2 2 sin 2 θ cos 2 θ sin 2 λ c + + δ γ z e e 2 2 sin 2 θ cos 2 θ sin 2 λ c + δ γ z e x 2 2 sin 4 θ = = n = 0 + ( b e e 2 b + e e 2 b cos 2 θ cos 2 λ c + e x 2 2 b cos 2 θ + e e 2 2 b sin 2 θ + e e 2 2 b cos 2 θ sin 2 λ c ) 1 + 9 + 4 n ( n + 1 ) 2 { m = 0 n { a n m [ P n m ( sin θ ) cos m λ c e e 2 P n m ( sin θ ) cos m λ c + e e 2 P n m ( sin θ ) cos 3 m λ c + + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) cos m λ c ] } + + b n m { [ P n m ( sin θ ) sin m λ c + e e 2 P n m ( sin θ ) sin m λ c e e 2 P n m ( sin θ ) sin 3 m λ c + + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) sin m λ c ] } } .
The right hand side of (62) can be further modified, since
b e e 2 b + e e 2 b cos 2 θ cos 2 λ c + e x 2 2 b cos 2 θ + e e 2 2 b sin 2 θ + e e 2 2 b cos 2 θ sin 2 λ c = = b e e 2 b + e e 2 b cos 2 θ cos 2 λ c + e x 2 2 b cos 2 θ + e e 2 2 b e e 2 2 b cos 2 θ + e e 2 2 b cos 2 θ sin 2 λ c = = b e e 2 2 b + e e 2 b cos 2 θ cos 2 λ c + e x 2 2 b cos 2 θ e e 2 2 b cos 2 θ + e e 2 2 b cos 2 θ sin 2 λ c = = b 1 e e 2 2 1 + 2 e e 2 2 e e 2 cos 2 θ cos 2 λ c + e x 2 e e 2 2 e e 2 cos 2 θ e e 2 2 e e 2 cos 2 θ sin 2 λ c = = b 1 e e 2 2 1 + e e 2 2 e e 2 cos 2 θ + e e 2 2 e e 2 cos 2 θ cos 2 λ c + e x 2 e e 2 2 e e 2 cos 2 θ = = b 1 e e 2 2 1 + e x 2 2 e e 2 cos 2 θ + e e 2 2 e e 2 cos 2 θ cos 2 λ c .
We substitute Formula (63) into (62) and multiply both sides with Pjk(cosθ′)cosc. By integrating both sides, we can determine the coefficients anm. This is expressed in the following relation:
0 2 π π 2 π 2 [ γ a x + + δ γ x cos 2 θ sin 2 λ c + δ γ x ( 2 e x 2 cos 2 θ sin 2 λ c + 2 e x 2 cos 4 θ sin 2 λ c + + 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c + 2 e e 2 cos 4 θ sin 2 λ c cos 2 λ c ) δ γ x 2 e e 2 cos 2 θ sin 2 λ c + + δ γ z sin 2 θ + δ γ z ( 2 e x 2 sin 2 θ cos 2 θ 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c ) δ γ z e x 2 2 sin 2 θ + + δ γ x e e 2 2 cos 4 θ sin 4 λ c + δ γ x e x 2 2 sin 2 θ cos 2 θ sin 2 λ c + + δ γ z e e 2 2 sin 2 θ cos 2 θ sin 2 λ c + δ γ z e x 2 2 sin 4 θ P j k ( sin θ ) cos m λ c cos θ d θ d λ c = = 0 2 π π 2 π 2 n = 0 + b 1 + 9 + 4 n ( n + 1 ) 2 1 e e 2 2 1 + 9 + 4 n ( n + 1 ) 2 1 + e x 2 2 e e 2 cos 2 θ + e e 2 2 e e 2 cos 2 θ cos 2 λ c 1 + 9 + 4 n ( n + 1 ) 2 { m = 0 n { a n m [ P n m ( sin θ ) cos m λ c e e 2 P n m ( sin θ ) cos m λ c + e e 2 P n m ( sin θ ) cos 3 m λ c + + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) cos m λ c ] } + + b n m { [ P n m ( sin θ ) sin m λ c + e e 2 P n m ( sin θ ) sin m λ c e e 2 P n m ( sin θ ) sin 3 m λ c + + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) sin m λ c ] } } P j k ( sin θ ) cos m λ c cos θ d θ d λ c .
The summation over the index n will be carried out up to a degree n0. On the left hand side of relationship (64), the function sin2λcsinc is always expressed in odd powers. Therefore, all the integrals involving this function are equal to zero for every m. The same applies to the function sin4λcsinc. This conclusion simplifies the process, as there will be no coefficients bnm in the final formula for the gravity intensity γ (bnm = 0 for every n, m).
The degree n0 is equal to four. Due to the structure of the left hand side of Formula (64), the non-zero coefficients are a00, a20, a22, a40, a42, and a44. Additionally, only the following associated Legendre functions appear, P00(sinθ′), P20(sinθ′), P22(sinθ′), P40(sinθ′), P42(sinθ′) and P44(sinθ′). In Appendix A we present this result. On the other hand, Appendix B shows that integrals involving derivatives of Legendre functions are also non-zero. This indicates that the singular terms contribute significantly to determining the values of the coefficients a2n2m. The final formula will be derived from relation (56).
The series of spherical harmonics for the gravity intensity has the following form:
γ ( r , θ , λ c ) = n = 0 4 m = 0 n a n m r 1 + 9 + 4 n ( n + 1 ) 2 P n m ( sin θ + e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) ( cos m λ c e e 2 cos m λ c + e e 2 cos 3 m λ c )
Using (60), the relation (65) becomes
γ ( r , θ , λ c ) = n = 0 4 m = 0 n a n m r 1 + 9 + 4 n ( n + 1 ) 2 [ P n m ( sin θ ) + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) ] ( cos m λ c e e 2 cos m λ c + e e 2 cos 3 m λ c )
or
γ ( r , θ , λ c ) = n = 0 4 m = 0 n a n m r 1 + 9 + 4 n ( n + 1 ) 2 [ P n m ( sin θ ) + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) ] cos m λ c ( 1 e e 2 sin 2 m λ c )
We do not employ a recursion formula for Pnm(sinθ′) to avoid singularities. Finally, Equation (67) can be written as
γ ( r , θ , λ c ) = n = 0 2 m = 0 n a 2 n 2 m r 1 + 9 + 8 n ( 2 n + 1 ) 2 [ P 2 n 2 m ( sin θ ) + e x 2 P 2 n 2 m ( sin θ ) sin θ cos 2 θ + + e e 2 P 2 n 2 m ( sin θ ) ( sin 3 θ sin θ cos 2 θ sin 2 λ c ) ] ( 1 e e 2 sin 2 2 m λ c ) cos 2 m λ c
Relationship (68) represents the desired expression for the gravity intensity γ on and outside of the triaxial level ellipsoid. It contains only the coefficients a2n2m and associated Legendre functions of even degree and order. A special case of this relation occurs when the triaxial ellipsoid becomes an ellipsoid of revolution (oblate spheroid) with semi axles a, a, b, i.e., when ee = 0 and ex ≡ e. Due to rotational symmetry of its gravity field [19], it follows that m = 0 and (68) simplifies to
γ s ( r , θ ) = n = 0 2 a 2 n r 1 + 9 + 8 n ( 2 n + 1 ) 2 [ P 2 n ( sin θ ) + e 2 P 2 n ( sin θ ) sin θ cos 2 θ ] = n = 0 2 a 2 n r 1 + 9 + 8 n ( 2 n + 1 ) 2 P 2 n ( sin θ ) + e 2 ( 2 n + 1 ) sin θ [ P 2 n ( sin θ ) sin θ P 2 n + 1 ( sin θ ) ]
The determination of the leading term a00 and its normalized form A00 (see Appendix C) is as follows:
(a)
For the case of a triaxial ellipsoid
a 00 = b 2 1 e e 2 2 2 4 γ a x + 4 3 δ γ x + 4 3 δ γ z + 6 15 e x 2 + 59 30 e e 2 δ γ x + 12 15 e x 2 6 15 e e 2 δ γ z 4 16 e x 2 3 ( 2 e e 2 ) 4 e e 2 3 ( 2 e e 2 ) ,
A 00 = 4 γ a x + 4 3 δ γ x + 4 3 δ γ z + 6 15 e x 2 + 59 30 e e 2 δ γ x + 12 15 e x 2 6 15 e e 2 δ γ z 4 16 e x 2 3 ( 2 e e 2 ) 4 e e 2 3 ( 2 e e 2 ) .
(b)
For the case of an oblate spheroid (ax = ay = a, b, ee = 0, ex = e)
a 00 = b 2 γ a x + 1 3 δ γ z + 1 5 e 2 δ γ z 1 2 e 2 3 ,
A 00 = γ a x + 1 3 δ γ z + 1 5 e 2 δ γ z 1 2 e 2 3 .
(c)
For the case of a sphere of radius R = ax (ax = ay = b, ee = ex = 0)
a 00 = G M ,
A 00 = G M R 2
where G is the gravitational constant and M is the Earth’s mass. The formulae expressing the normalized leading term A00 are very encouraging for the validity of our results, as in all cases the value of A00 is close to—or equal to—the reference gravity value.

4. Conclusions

This study investigates the gravity field generated by a triaxial ellipsoid with low eccentricities and that of an oblate spheroid as a special case. The gravity intensity was determined by solving a Dirichlet boundary value problem associated with the G—modified Helmholtz equation. This novel and original approach enables the expression of gravity intensity as a series of spherical harmonics.
The significance of this novel series is significantly important for slightly flattened triaxial ellipsoids and spheroids. Determining the magnitude of gradient of the gravity potential in ellipsoidal coordinates results in an extremely complicated formula for gravity intensity. This complicated formula is not suitable for gravity field studies. In contrast the presented series substantially simplifies the study of gravity fields, making it possible to reveal physical and geometrical properties of ellipsoidal physical bodies. It is impossible to perform the latter using the gravity potential gradient.
This resulting series consists of two parts: the first includes the associated Legendre functions, while the second represents the singular component, which involves the derivatives of the associated Legendre functions with respect to the argument sinθ′. The use of spherical harmonics allows for a straightforward and efficient determination of gravity intensity, as the radial and angular components are separated.
From the last two relations in the previous paragraph, it is evident that the differences between the gravity intensity of a triaxial ellipsoid and that of an ellipsoid of revolution (oblate spheroid) are small. Both expressions require only the coefficients anm with even values of n and neither contains any bnm coefficients. Additionally, in both cases, a maximum degree n = 2 is sufficient to describe the gravity intensity (within a specific level of approximation).
The expression for gravity intensity offers a significant advantage, as it enables the study of gravity intensity without requiring prior determination of the gravity potential. Gravity intensity plays a crucial role in geodetic and geophysical studies: low degree harmonics represent global phenomena, (such us tectonic plates motion), while high degree terms capture localized anomalies. Therefore, this approach provides an opportunity to refine gravity anomalies and gravity disturbances within the Earth’s gravity field. The gravity intensity of a triaxial ellipsoid can be used to obtain an improved value for the normal vertical gradient of gravity. This refinement is essential not only for geodetic applications but also for a wide range of fields, including planetary and cometary gravity studies, volcano monitoring, geophysical exploration, detection of subsurface structures, mass distribution variations, marine gravity field research, and even archaeology: detection of subsurface cavities (air filled cavities, water filled cavities), crypts, cellars, and tunnels beneath churches and castles.
Improving the normal vertical gradient of gravity will enable the development of a refined vertical gravity anomaly gradient, which in turn will enhance our understanding of the structural morphology of the Earth’s interior and the configuration of the seafloor.
Future work could involve the independent development of new types of models, such as Global Normal Gravity Models. In the case of the Earth, the construction of Global Gravity Intensity Models for gravity intensity g would be particularly valuable. Unlike gravity potential, gravity intensity is a directly measurable quantity and can be expressed as a series of spherical harmonics by solving appropriate Dirichlet boundary value problems. The representation of the Earth’s gravity intensity, g, as a series of spherical harmonics, combined with the development of new models, will be highly valuable for constructing improved gravity anomaly and gravity disturbance models. The numerical evaluation of these new models along with the numerical evaluation of the proposed series for gravity intensity will be highly valuable for geophysical and geodetic studies. This, as a consequence, will contribute to a more accurate and comprehensive understanding of the Earth’s gravity field.

Author Contributions

Conseptualization, G.M.; Methodology, G.M.; Formal Analysis, G.M.; Investigation, P.V.; Writing—original draft, G.M.; Writing—review and editing, P.V. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study.

Conflicts of Interest

The author declares no conflict of interest.

Appendix A

Using Equations (11), (12), (14) and (15) we are led to
cos 2 ϕ sin 2 λ = [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] ( 1 e x 2 ) 2 cos 2 θ ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ sin 2 λ c [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] = = ( 1 e x 2 ) 2 cos 2 θ sin 2 λ c ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ
( 1 e x 2 ) 2 cos 2 θ sin 2 λ c = cos 2 θ sin 2 λ c 2 e x 2 cos 2 θ sin 2 λ c
( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ = = ( 1 2 e x 2 ) cos 2 θ [ sin 2 λ c + ( 1 2 e e 2 ) cos 2 λ c ] + ( 1 2 e e 2 ) sin 2 θ = = ( 1 2 e x 2 ) cos 2 θ ( 1 2 e e 2 cos 2 λ c ) + ( 1 2 e e 2 ) sin 2 θ = = 1 2 e x 2 cos 2 θ 2 e e 2 sin 2 θ 2 e e 2 cos 2 θ cos 2 λ c
( 1 2 e x 2 cos 2 θ 2 e e 2 sin 2 θ 2 e e 2 cos 2 θ cos 2 λ c ) 1 = = 1 + 2 e x 2 cos 2 θ + 2 e e 2 sin 2 θ + 2 e e 2 cos 2 θ cos 2 λ c
Thus,
cos 2 ϕ sin 2 λ = ( cos 2 θ sin 2 λ c 2 e x 2 cos 2 θ sin 2 λ c ) ( 1 + 2 e x 2 cos 2 θ + 2 e e 2 sin 2 θ + 2 e e 2 cos 2 θ cos 2 λ c ) = = cos 2 θ sin 2 λ c 2 e x 2 cos 2 θ sin 2 λ c + 2 e x 2 cos 4 θ sin 2 λ c + 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c + + 2 e e 2 cos 4 θ sin 2 λ c cos 2 λ c
sin 2 ϕ = ( 1 e e 2 ) 2 sin 2 θ ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ = = ( 1 2 e e 2 ) sin 2 θ ( 1 + 2 e x 2 cos 2 θ + 2 e e 2 sin 2 θ + 2 e e 2 cos 2 θ cos 2 λ c ) = = sin 2 θ + 2 e x 2 sin 2 θ cos 2 θ + 2 e e 2 sin 4 θ + 2 e e 2 sin 2 θ cos 2 θ cos 2 λ c 2 e e 2 sin 2 θ = = sin 2 θ + 2 e x 2 sin 2 θ cos 2 θ + 2 e e 2 sin 2 θ cos 2 θ cos 2 λ c 2 e e 2 sin 2 θ cos 2 θ = = sin 2 θ + 2 e x 2 sin 2 θ cos 2 θ 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c
cos 4 ϕ sin 4 λ = { [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] ( 1 e x 2 ) 2 cos 2 θ } 2 { ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } 2 sin 4 λ c [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] 2 = = ( 1 e x 2 ) 4 cos 4 θ sin 4 λ c { ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } 2
( 1 e x 2 ) 4 cos 4 θ sin 4 λ c = cos 4 θ sin 4 λ c 4 e x 2 cos 4 θ sin 4 λ c
{ ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } 2 = = ( 1 2 e x 2 cos 2 θ 2 e e 2 sin 2 θ 2 e e 2 cos 2 θ cos 2 λ c ) 2 = = ( 1 2 e x 2 cos 2 θ 2 e e 2 sin 2 θ 2 e e 2 cos 2 θ cos 2 λ c ) ( 1 2 e x 2 cos 2 θ 2 e e 2 sin 2 θ 2 e e 2 cos 2 θ cos 2 λ c ) = = 1 4 e x 2 cos 2 θ 4 e e 2 sin 2 θ 4 e e 2 cos 2 θ cos 2 λ c
( 1 4 e x 2 cos 2 θ 4 e e 2 sin 2 θ 4 e e 2 cos 2 θ cos 2 λ c ) 1 = = 1 + 4 e x 2 cos 2 θ + 4 e e 2 sin 2 θ + 4 e e 2 cos 2 θ cos 2 λ c
Hence,
cos 4 ϕ sin 4 λ = ( cos 4 θ sin 4 λ c 4 e x 2 cos 4 θ sin 4 λ c ) ( 1 + 4 e x 2 cos 2 θ + 4 e e 2 sin 2 θ + 4 e e 2 cos 2 θ cos 2 λ c ) = = cos 4 θ sin 4 λ c 4 e x 2 cos 4 θ sin 4 λ c + 4 e x 2 cos 6 θ sin 4 λ c + + 4 e e 2 sin 2 θ cos 4 θ sin 4 λ c + 4 e e 2 cos 6 θ sin 4 λ c cos 2 λ c
With the aid of (29) and (34), we have that
sin 2 ϕ cos 2 ϕ sin 2 λ = ( 1 e x 2 ) 2 cos 2 θ sin 2 λ c ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ ( 1 e e 2 ) 2 sin 2 θ ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ = = ( 1 e e 2 ) 2 ( 1 e x 2 ) 2 sin 2 θ cos 2 θ sin 2 λ c { ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } 2
( 1 e e 2 ) 2 ( 1 e x 2 ) 2 sin 2 θ cos 2 θ sin 2 λ c = ( 1 2 e e 2 ) ( 1 2 e x 2 ) sin 2 θ cos 2 θ sin 2 λ c = = sin 2 θ cos 2 θ sin 2 λ c 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c 2 e x 2 sin 2 θ cos 2 θ sin 2 λ c
Therefore, according to relations (37) and (38), we arrive at
sin 2 ϕ cos 2 ϕ sin 2 λ = ( sin 2 θ cos 2 θ sin 2 λ c 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c 2 e x 2 sin 2 θ cos 2 θ sin 2 λ c ) ( 1 + 4 e x 2 cos 2 θ + 4 e e 2 sin 2 θ + 4 e e 2 cos 2 θ cos 2 λ c ) = = sin 2 θ cos 2 θ sin 2 λ c 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c 2 e x 2 sin 2 θ cos 2 θ sin 2 λ c + + 4 e x 2 sin 2 θ cos 4 θ sin 2 λ c + 4 e e 2 sin 4 θ cos 2 θ sin 2 λ c + + 4 e e 2 sin 2 θ cos 4 θ sin 2 λ c cos 2 λ c
Finally,
sin 4 ϕ = ( 1 e e 2 ) 4 sin 4 θ { ( 1 e x 2 ) 2 cos 2 θ [ sin 2 λ c + ( 1 e e 2 ) 2 cos 2 λ c ] + ( 1 e e 2 ) 2 sin 2 θ } 2 = = ( 1 4 e e 2 ) sin 4 θ ( 1 + 4 e x 2 cos 2 θ + 4 e e 2 sin 2 θ + 4 e e 2 cos 2 θ cos 2 λ c ) = = sin 4 θ + 4 e x 2 sin 4 θ cos 2 θ + 4 e e 2 sin 6 θ + 4 e e 2 sin 4 θ cos 2 θ cos 2 λ c 4 e e 2 sin 4 θ
Using the above relationships (33), (34), (39), (42), (43), the boundary condition (28) is rewritten as
γ ( θ , λ c ) = γ a x + + δ γ x cos 2 θ sin 2 λ c + δ γ x ( 2 e x 2 cos 2 θ sin 2 λ c + 2 e x 2 cos 4 θ sin 2 λ c + + 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c + 2 e e 2 cos 4 θ sin 2 λ c cos 2 λ c ) δ γ x 2 e e 2 cos 2 θ sin 2 λ c + + δ γ z sin 2 θ + δ γ z ( 2 e x 2 sin 2 θ cos 2 θ 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c ) δ γ z e x 2 2 sin 2 θ + + δ γ x e e 2 2 cos 4 θ sin 4 λ c + δ γ x e x 2 2 sin 2 θ cos 2 θ sin 2 λ c + + δ γ z e e 2 2 sin 2 θ cos 2 θ sin 2 λ c + δ γ z e x 2 2 sin 4 θ
We determine the following integrals for m = 0, 1, 2, 3, 4. We use tables of integrals which can be found at [18].
For m = 0, cosc = 1. Therefore,
0 2 π cos 2 λ c d λ c = 1 2 λ c + sin 2 λ c 2 0 2 π = π
0 2 π sin 2 λ c d λ c = 1 2 λ c sin 2 λ c 2 0 2 π = π
For m = 1,
0 2 π cos 2 λ c cos λ c d λ c = 1 12 sin 2 λ c + 3 4 sin 3 λ c 0 2 π = 0
0 2 π sin 2 λ c cos λ c d λ c = sin 3 λ c 3 0 2 π = 0
For m = 2,
0 2 π cos 2 λ c cos 2 λ c d λ c = sin 4 λ c + ( 4 sin 2 λ c + 4 x ) 16 0 2 π = π 2
0 2 π sin 2 λ c cos 2 λ c d λ c = sin 4 λ c 4 sin 2 λ c + 4 x 16 0 2 π = π 2
On the other hand, the integrals of the form
0 2 π sin 2 λ c cos m λ c d λ c = = ( m 2 sin 2 λ c 2 ) sin m λ c + 2 m sin λ c cos λ c cos m λ c m 3 3 m = 0 , m = 3 , 4 , 5 ,
are equal to zero.
For m = 0, cosc = 1, thus
0 2 π cos 4 λ c d λ c = 1 2 sin 4 λ c + 8 sin 2 λ c + 12 λ c 32 0 2 π = 3 π 4
For m = 1,
0 2 π cos 4 λ c cos λ c d λ c = 1 5 sin 5 λ c 2 3 sin 3 λ c + sin λ c 0 2 π = 0
For m = 2,
0 2 π cos 4 λ c cos 2 λ c d λ c = = sin 6 λ c + 6 sin 4 λ c + 21 sin 2 λ c + 24 x ) 96 0 2 π = π 2
For m = 3,
0 2 π cos 4 λ c cos 3 λ c d λ c = = 4 7 sin 7 λ c + 9 5 sin 5 λ c 2 sin 3 λ c + sin λ c 0 2 π = 0
For m = 4,
0 2 π cos 4 λ c cos 4 λ c d λ c = = 3 sin 8 λ c + 16 sin 6 λ c + 36 sin 4 λ c + 48 sin 2 λ c + 24 λ c 384 0 2 π = π 8
For m = 0,
0 2 π sin 4 λ c d λ c = sin 4 λ c 32 sin 2 λ c 4 + 12 λ c 32 0 2 π = 3 π 4
For m = 1,
0 2 π sin 4 λ c cos λ c d λ c = sin 5 λ c 5 0 2 π = 0
For m = 2,
0 2 π sin 4 λ c cos 2 λ c d λ c = = sin 6 λ c 6 sin 4 λ c + 21 sin 2 λ c 24 λ c 96 0 2 π = π 2
For m = 3,
0 2 π sin 4 λ c cos 3 λ c d λ c = sin 5 λ c 5 4 sin 7 λ c 7 0 2 π = 0
For m = 4,
0 2 π sin 4 λ c cos 4 λ c d λ c = = 3 sin 8 λ c 16 sin 6 λ c + 36 sin 4 λ c 48 sin 2 λ c + 24 λ c 384 0 2 π = π 8
while,
0 2 π sin 4 λ c cos m λ c d λ c = sin ( ( m + 4 ) λ c ) 16 ( m + 4 ) sin ( ( m + 2 ) λ c ) 4 ( m + 2 ) + + 3 sin m λ c 8 m sin ( ( m 2 ) λ c ) 4 ( m 2 ) + sin ( ( m 4 ) λ c ) 16 ( m 4 ) = 0 , m = 5 , 6 , 7 ,
For m = 0,
0 2 π γ a x ( cos 2 λ c + sin 2 λ c ) d λ c = γ a x λ c 2 + sin 2 λ c 2 + λ c 2 sin 2 λ c 4 0 2 π = = 2 π γ a x
For m = 1,
0 2 π γ a x ( cos 2 λ c + sin 2 λ c ) cos λ c d λ c = 0
For m = 2,
0 2 π γ a x ( cos 2 λ c + sin 2 λ c ) cos 2 λ c d λ c = = 0 2 π γ a x cos 2 λ c cos 2 λ c d λ c + 0 2 π γ a x sin 2 λ c cos 2 λ c d λ c = = γ a x sin 4 λ c + 4 ( sin 2 λ c + λ c ) sin 4 λ c + 4 sin 2 λ c 4 λ c 16 0 2 π = 0
For m = 0, sinλc = 0. Therein, for m = 1,
0 2 π sin 3 λ c d λ c = cos 3 λ c 3 cos λ c 0 2 π = 0
For m = 2,
0 2 π sin 2 λ c sin 2 λ c d λ c = sin 4 λ c 2 0 2 π = 0
For m = 1,
0 2 π sin 5 λ c d λ c = cos 5 λ c 5 + 2 cos 3 λ c 3 cos λ c 0 2 π = 0
For m = 2,
0 2 π sin 4 λ c sin 2 λ c d λ c = sin 6 λ c 3 0 2 π = 0
For m = 0,
0 2 π sin 2 λ c cos 2 λ c d λ c = sin 4 λ c 32 + 4 32 λ c 0 2 π = π 4
For m = 1,
0 2 π sin 2 λ c cos 3 λ c d λ c = sin 3 λ c 3 sin 5 λ c 5 0 2 π = 0
For m = 2,
0 2 π sin 2 λ c cos 2 λ c cos 2 λ c d λ c = sin 3 λ c 24 0 2 π = 0
0 2 π sin 2 λ c cos 2 λ c cos m λ c d λ c = = sin ( ( m + 4 ) λ c ) 16 ( m + 4 ) + sin m λ c 8 m sin ( ( m 4 ) λ c ) 16 ( m 4 ) = 0 , m = 3 , 4 ,
For m = 1,
0 2 π sin 3 λ c cos 2 λ c d λ c = cos 3 λ c 3 + cos 5 λ c 5 0 2 π = 0
For m = 2,
0 2 π sin 2 λ c cos 2 λ c sin 2 λ c d λ c = cos 6 λ c 9 cos 2 λ c 96 0 2 π = 0
0 2 π sin 2 λ c cos 2 λ c sin m λ c d λ c = = cos ( ( m + 4 ) λ c ) 16 ( m + 4 ) cos m λ c 8 m + cos ( ( m 4 ) λ c ) 16 ( m 4 ) = 0 , m = 3 , 4 ,
0 2 π sin 2 λ c sin m λ c d λ c = 2 m sin m λ c sin λ c cos λ c m 3 3 m + + + ( 2 m 2 sin 2 λ c ) cos m λ c m 3 3 m = 0 , m = 1 , 2 , 3 ,
0 2 π sin 4 λ c sin m λ c d λ c = cos ( ( m + 4 ) λ c ) 16 ( m + 4 ) + cos ( ( m + 2 ) λ c ) 4 ( m + 2 ) 3 sin m λ c 8 m + cos ( ( m 2 ) λ c ) 4 ( m 2 ) cos ( ( m 4 ) λ c ) 16 ( m 4 ) = 0 , m = 1 , 2 , 3 ,
In addition,
0 2 π cos 2 m λ c d λ c = λ c 2 + sin 2 m λ c 4 m 0 2 π = π
0 2 π cos 4 m λ c d λ c = 3 λ c 8 + sin 2 m λ c 4 m + sin 4 m λ c 32 m 0 2 π = 3 π 4
0 2 π sin m λ c cos m λ c d λ c = sin 2 m λ c 2 m 0 2 π = 0
0 2 π sin 3 m λ c cos m λ c d λ c = sin 4 m λ c 4 m 0 2 π = 0
0 2 π sin 2 m λ c d λ c = λ c 2 sin 2 m λ c 4 m 0 2 π = π , m = 1 , 2 , 3 ,
0 2 π sin 4 m λ c d λ c = 12 λ c 32 sin 4 m λ c 8 sin 2 m λ c 32 m 0 2 π = 3 π 4 , m = 1 , 2 , 3 ,
0 2 π sin m λ c cos m λ c d λ c = sin 2 m λ c 2 m 0 2 π = 0 , m = 1 , 2 , 3 ,
0 2 π sin m λ c cos 3 m λ c d λ c = cos 4 m λ c 2 m 0 2 π = 0 , m = 1 , 2 , 3 ,
The integrals above for m = 0 are equal to zero. Since all integrals for m = 1, 3 and for m > 4 are also zero, the non-zero corefficients are a00, a20, a22, a40, a42 and a44. Therefore, for our level of approximation n = 0, 2, 4.

Appendix B

0 2 π sin m λ c = 1 m cos m λ c 0 2 π = 0 , m 0
0 2 π sin 3 m λ c d λ c = 1 3 m cos 3 m λ c cos m λ c m 0 2 π = 0 , m 0
0 2 π sin 3 λ c d λ c = 1 3 cos 3 λ c cos λ c 0 2 π = 0
0 2 π cos m λ cos 2 λ c d λ c = = ( m 2 cos 2 λ c 2 ) sin m λ c 2 m cos λ c sin λ c cos m λ c m 3 4 m 0 2 π = 0 , m 0
0 2 π cos 3 m λ cos 2 λ c d λ c = sin ( ( 3 m + 2 ) λ c ) 16 ( 3 m + 2 ) + sin ( ( 3 m 2 ) λ c ) 16 ( 3 m 2 ) + + 3 sin ( ( m + 2 ) λ c ) 16 ( m + 2 ) + sin 3 m λ c 24 m + 3 sin m λ c 8 m + 3 sin ( ( m 2 ) λ c ) 16 ( m 2 ) 0 2 π = 0 , m 0
0 2 π sin m λ c cos 2 λ c d λ c = 2 m cos λ c sin λ c sin m λ c m 3 4 m + + ( m 2 cos 2 λ c 2 ) cos m λ c m 3 4 m 0 2 π = 0 , m 0
0 2 π sin 3 m λ cos 2 λ c d λ c = cos ( ( 3 m + 2 ) λ c ) 16 ( 3 m + 2 ) + cos ( ( 3 m 2 ) λ c ) 16 ( 3 m 2 ) 3 cos ( ( m + 2 ) λ c ) 16 ( m + 2 ) + cos 3 m λ c 24 m 3 cos m λ c 8 m 3 cos ( ( m 2 ) λ c ) 16 ( m 2 ) 0 2 π = 0 , m 0
0 2 π cos 2 λ c d λ c = cos λ c sin λ c + λ c 2 0 2 π = π 2
The remaining integrals which appear in the right hand side of relation (64) are given in Appendix A. Since the eccentricities of the ellipsoid are very small, we make the following substitution,
1 + e x 2 2 e e 2 cos 2 θ + e e 2 2 e e 2 cos 2 θ cos 2 λ c 1 + 9 + 4 n ( n + 1 ) 2 = = 1 1 + 9 + 4 n ( n + 1 ) 2 e x 2 2 e e 2 cos 2 θ 1 + 9 + 4 n ( n + 1 ) 2 e e 2 2 e e 2 cos 2 θ cos 2 λ c
The right hand side of Equation (64) becomes
π 2 π 2 n = 0 n 0 b 1 + 9 + 4 n ( n + 1 ) 2 1 e e 2 2 1 + 9 + 4 n ( n + 1 ) 2 1 1 + 9 + 4 n ( n + 1 ) 2 e x 2 2 e e 2 cos 2 θ 1 + 9 + 4 n ( n + 1 ) 2 e e 2 2 e e 2 cos 2 θ cos 2 λ c m = 0 n { a n m [ P n m ( sin θ ) cos m λ c e e 2 P n m ( sin θ ) cos m λ c + + e e 2 P n m ( sin θ ) cos 3 m λ c + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) cos m λ c ] } + + b n m { [ P n m ( sin θ ) sin m λ c + e e 2 P n m ( sin θ ) sin m λ c e e 2 P n m ( sin θ ) sin 3 m λ c + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) sin m λ c ] } P j k ( sin θ ) cos m λ c cos θ d θ d λ c
The integrals of the form [20]
π 2 π 2 P n m ( sin θ ) P j k ( sin θ ) cos θ d θ = 1 1 P n m ( x ) P j k ( x ) d x = = 2 ( n + m ) ! ( 2 n + 1 ) ( n m ) ! δ n j , n = j , m = k
are determined according to the rule of the orthogonality condition. The remaining integrals that appear on the right hand side of (64) and we have not yet addressed are of the following forms,
1 1 x P j k ( x ) P n m ( x ) d x
and
1 1 x 3 P j k ( x ) P n m ( x ) d x .
The first integral [21] is equal to
1 1 x P j k ( x ) P n m ( x ) d x = δ 0 m ( n + m ) ! ( 2 n + 1 ) ( n m ) ! , n = j , m = k .
Using the recurrence properties of associated Legendre functions repeatedly,
( 2 j + 1 ) x P j k ( x ) = ( j + k ) P j 1 k + ( j k + 1 ) P j + 1 k ( x )
we have that
x [ x 2 P j k ( x ) d x ] = ( j + k ) ( j 1 + k ) ( 2 j 1 ) ( 2 j + 1 ) x P j 2 k ( x ) + + ( j + k ) ( j k ) ( 2 j 1 ) ( 2 j + 1 ) x P j k ( x ) + ( j k + 1 ) ( j + 1 + k ) ( 2 j + 3 ) ( 2 j + 1 ) x P j k ( x ) + + ( j k + 1 ) ( j + 2 k ) ( 2 j + 3 ) ( 2 j + 1 ) x P j + 2 k ( x ) .
Hence Equation (A71) also involves the following integrals
1 1 x P j 2 k ( x ) P n m ( x ) d x = l = 1 1 1 x P j 2 l k ( x ) P n m ( x ) d x = = δ 0 m + ( n 2 l + m ) ! ( n 2 l m ) ! = l = 1 δ 0 m + ( n 3 + m ) ! ( n 3 m ) ! , j = n , m = k .
1 1 x P j + 2 k ( x ) P n m ( x ) d x = l = 1 1 1 x P j + 2 l k ( x ) P n m ( x ) d x = = δ 0 m ( n + m ) ! ( n m ) ! , j = n , m = k
Finally, the derivatives of the associated Legendre functions [22] up to degree 4 for even values of n and m are needed, those being
P 00 ( sin θ ) = 0 P 20 ( sin θ ) = 3 sin θ P 22 ( sin θ ) = 6 sin θ P 40 ( sin θ ) = 140 8 sin 3 θ 60 8 sin θ P 42 ( sin θ ) = 210 sin 3 θ + 120 sin θ P 44 ( sin θ ) = 420 sin θ cos 2 θ

Appendix C

We are going to determine the leading term a00. In addition, we will show the special cases of an oblate spheroid and of that of a sphere. The left hand side of the boundary condition is as follows.
0 2 π π 2 π 2 [ γ a x + + δ γ x cos 2 θ sin 2 λ c + δ γ x ( 2 e x 2 cos 2 θ sin 2 λ c + 2 e x 2 cos 4 θ sin 2 λ c + + 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c + 2 e e 2 cos 4 θ sin 2 λ c cos 2 λ c ) δ γ x 2 e e 2 cos 2 θ sin 2 λ c + + δ γ z sin 2 θ + δ γ z ( 2 e x 2 sin 2 θ cos 2 θ 2 e e 2 sin 2 θ cos 2 θ sin 2 λ c ) δ γ z e x 2 2 sin 2 θ + + δ γ x e e 2 2 cos 4 θ sin 4 λ c + δ γ x e x 2 2 sin 2 θ cos 2 θ sin 2 λ c + + δ γ z e e 2 2 sin 2 θ cos 2 θ sin 2 λ c + δ γ z e x 2 2 sin 4 θ cos θ d θ d λ c
We will determine the above integrals, and we will sum them.
0 2 π π 2 π 2 [ γ a x cos θ d θ d λ c = 4 π γ a x
0 2 π π 2 π 2 [ δ γ x cos 3 θ sin 2 λ c d θ d λ c = 4 3 π δ γ x
0 2 π π 2 π 2 [ ( 2 e x 2 ) δ γ x cos 3 θ sin 2 λ c d θ d λ c = 8 3 π δ γ x e x 2
0 2 π π 2 π 2 [ 2 e x 2 δ γ x cos 5 θ sin 2 λ c d θ d λ c = 32 15 π δ γ x e x 2
0 2 π π 2 π 2 [ 2 e e 2 δ γ x sin 2 θ cos 3 θ sin 2 λ c d θ d λ c = 8 π 15 e e 2 δ γ x
0 2 π π 2 π 2 [ 2 e e 2 δ γ x cos 5 θ sin 2 λ c cos 2 λ c d θ d λ c = 30 π 60 e e 2 δ γ x = = π 2 e e 2 δ γ x
0 2 π π 2 π 2 [ 2 e e 2 δ γ x sin 2 θ cos 3 θ sin 2 λ c d θ d λ c = 8 π 15 e e 2 δ γ x
0 2 π π 2 π 2 δ γ z sin 2 θ cos θ d θ d λ c = 4 π 3 δ γ z
0 2 π π 2 π 2 2 e x 2 δ γ z sin 2 θ cos 3 θ d θ d λ c = 16 π 15 e x 2 δ γ z
0 2 π π 2 π 2 2 e e 2 δ γ z sin 2 θ cos 3 θ sin 2 λ c d θ d λ c = 8 π 15 e e 2 δ γ z
0 2 π π 2 π 2 δ γ z e x 2 2 sin 2 θ cos θ d θ d λ c = 2 π 3 δ γ z e x 2
0 2 π π 2 π 2 δ γ x e e 2 2 cos 5 θ sin 4 λ c d θ d λ c = 6 π 15 δ γ x e e 2
0 2 π π 2 π 2 δ γ x e x 2 2 sin 2 θ cos 3 θ sin 2 λ c d θ d λ c = 2 π 15 δ γ x e x 2
0 2 π π 2 π 2 δ γ z e e 2 2 sin 2 θ cos 3 θ sin 2 λ c d θ d λ c = 2 π 15 δ γ z e e 2
0 2 π π 2 π 2 δ γ z e x 2 2 sin 4 θ cos θ d θ d λ c = 2 π 5 δ γ z e x 2
Therefore, the summation of the above results is
4 π γ a x + 4 3 π δ γ x 8 3 π δ γ x e x 2 + 32 15 π δ γ x e x 2 + 8 π 15 e e 2 δ γ x + π 2 e e 2 δ γ x + 8 π 15 e e 2 δ γ x + 4 π 3 δ γ z + + 16 π 15 e x 2 δ γ z 8 π 15 e e 2 δ γ z 2 π 3 δ γ z e x 2 + 6 π 15 δ γ x e e 2 + 2 π 15 δ γ x e x 2 + 2 π 15 δ γ z e e 2 + 2 π 5 δ γ z e x 2 = = 4 π γ a x + 4 3 π δ γ x + 4 π 3 δ γ z + 8 3 π e x 2 + 32 15 π e x 2 + 16 π 15 e e 2 + π 2 e e 2 + 6 π 15 e e 2 + 2 π 15 e x 2 δ γ x + + 16 π 15 e x 2 8 π 15 e e 2 2 π 3 e x 2 + 2 π 15 e e 2 + 2 π 5 e x 2 δ γ z = = 4 π γ a x + 4 3 π δ γ x + 4 π 3 δ γ z + 6 π 15 e x 2 + 59 π 30 e e 2 δ γ x + 12 π 15 e x 2 6 π 15 e e 2 δ γ z
The right hand side of Equation (64) is
0 2 π π 2 π 2 n = 0 + b 1 + 9 + 4 n ( n + 1 ) 2 1 e e 2 2 1 + 9 + 4 n ( n + 1 ) 2 1 + e x 2 2 e e 2 cos 2 θ + e e 2 2 e e 2 cos 2 θ cos 2 λ c 1 + 9 + 4 n ( n + 1 ) 2 m = 0 n { a n m [ P n m ( sin θ ) cos m λ c e e 2 P n m ( sin θ ) cos m λ c + e e 2 P n m ( sin θ ) cos 3 m λ c + + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) cos m λ c ] } + + b n m { [ P n m ( sin θ ) sin m λ c + e e 2 P n m ( sin θ ) sin m λ c e e 2 P n m ( sin θ ) sin 3 m λ c + + P n m ( sin θ ) ( e x 2 sin θ cos 2 θ + e e 2 sin 3 θ e e 2 sin θ cos 2 θ sin 2 λ c ) sin m λ c ] } P j k ( sin θ ) cos m λ c cos θ d θ d λ c
For n = 0 the above relation becomes
0 2 π π 2 π 2 a 00 b 2 1 e e 2 2 2 1 + e x 2 2 e e 2 cos 2 θ + e e 2 2 e e 2 cos 2 θ cos 2 λ c 2 cos θ d θ d λ c
but
1 + e x 2 2 e e 2 cos 2 θ + e e 2 2 e e 2 cos 2 θ cos 2 λ c 2 = = 1 2 e x 2 2 e e 2 cos 2 θ + 2 e e 2 2 e e 2 cos 2 θ cos 2 λ c
putting
A 00 = a 00 b 2 1 e e 2 2 2 ,
we end up to the following integrals
0 2 π π 2 π 2 A 00 cos θ d θ d λ c 0 2 π π 2 π 2 A 00 2 e x 2 2 e e 2 cos 3 θ d θ d λ c 0 2 π π 2 π 2 A 00 2 e e 2 2 e e 2 cos 3 θ cos 2 λ c d θ d λ c
0 2 π π 2 π 2 A 00 cos θ d θ d λ c = 4 π A 00
0 2 π π 2 π 2 A 00 2 e x 2 2 e e 2 cos 3 θ d θ d λ c = 16 π e x 2 3 ( 2 e e 2 ) A 00
0 2 π π 2 π 2 A 00 2 e e 2 2 e e 2 cos 3 θ cos 2 λ c d θ d λ c = 4 π e e 2 3 ( 2 e e 2 ) A 00 .
Hence,
4 π γ a x + 4 3 π δ γ x + 4 π 3 δ γ z + 6 π 15 e x 2 + 59 π 30 e e 2 δ γ x + + 12 π 15 e x 2 6 π 15 e e 2 δ γ z = 4 π 16 π e x 2 3 ( 2 e e 2 ) 4 π e e 2 3 ( 2 e e 2 ) A 00 .
Using relation (A98) the leading term a00 is expressed as
a 00 = b 2 1 e e 2 2 2 4 π γ a x + 4 3 π δ γ x + 4 π 3 δ γ z + 6 π 15 e x 2 + 59 π 30 e e 2 δ γ x + 12 π 15 e x 2 6 π 15 e e 2 δ γ z 4 π 16 π e x 2 3 ( 2 e e 2 ) 4 π e e 2 3 ( 2 e e 2 )
or
a 00 = b 2 1 e e 2 2 2 4 γ a x + 4 3 δ γ x + 4 3 δ γ z + 6 15 e x 2 + 59 30 e e 2 δ γ x + 12 15 e x 2 6 15 e e 2 δ γ z 4 16 e x 2 3 ( 2 e e 2 ) 4 e e 2 3 ( 2 e e 2 )
For the case of an oblate spheroid, we have ee = 0, δγx = 0 (ex = e) and the above relation becomes
a 00 = b 2 4 γ a x + 4 3 δ γ z + 12 15 e 2 δ γ z 4 16 e 2 6 = b 2 γ a x + 1 3 δ γ z + 1 5 e 2 δ γ z 1 2 e 2 3
Finally, for case of a sphere of radius R = ax (ax = ay = b) containing the Earth’s mass M we have that
a 00 = R 2 γ a x = R 2 G M R 2 a 00 = G M
where G is the gravitational constant.

References

  1. Hu, X.; Shum, C.K.; Bevls, M. A triaxial reference ellipsoid for the earth. J. Geod. 2023, 97, 29. [Google Scholar] [CrossRef]
  2. Bektaş, S. Geodetic Computations on Triaxial Ellipsoid. Int. J. Min. Sci. 2015, 1, 25–34. [Google Scholar]
  3. Galani, M.; Lycourghiotis, S.; Kariotou, F. On the determination of a locally optimized Ellipsoidal model of the Geoid surface in sea areas. In Proceedings of the 7th World Multidisciplinary Earth Sciences Symposium, Prague, Czech Republic, 6–10 September 2021. [Google Scholar]
  4. Puttkamer von, J.; Marshall, G.C. Survey and Comparative Analysis of Current Geophysical Models, Nasa Technical Memorandum, Space Flight Center Huntsville Alabama, 1967, Nasa TM X–53677. Available online: https://ntrs.nasa.gov/api/citations/19680007574/downloads/19680007574.pdf (accessed on 7 January 2025).
  5. Sansó, F.; Sideris, M. Geoid Determination Theory and Methods; Springer: Berlin/Heidelberg, Germany, 2013; p. 337. [Google Scholar]
  6. Heiskanen, W.; Moritz, H. Physical Geodesy; W. H. Freeman Co.: Dallas, TX, USA, 1967. [Google Scholar]
  7. Kontou, E.; Panou, G. Fitting a triaxial ellipsoid to a set of quasi-selenoidal points. J. Appl. Geod. 2023, 17, 53–63. [Google Scholar] [CrossRef]
  8. Panou, G.; Korakitis, R.; Pantazis, G. Fitting a triaxial ellipsoid to a geoid model. J. Geod. Sci. 2020, 10, 69–82. [Google Scholar] [CrossRef]
  9. Hu, X. Normal Gravity Fields and Equipotential Ellipsoids of Small Objects in the Solar System: A Closed-form Solution in Ellipsoidal Harmonics up to the Second Degree. Astrophys. J. 2017, 850, 107. [Google Scholar] [CrossRef]
  10. Marzari, F. Ring dynamics around an oblate body with an inclined satellite: The case of Haumea. Astron. Astrophys. 2020, 643, A67. [Google Scholar] [CrossRef]
  11. Shahvandi, M.K.; Chegini, N. Ellipsoidal spline functions for gravity data interpolation and smoothing. Earth Obs. Geomat. Eng. 2019, 3, 1–11. [Google Scholar]
  12. Balmino, G. A note on ellipsoidal shape and gravitational potential, first order relationships in planetary geodesy. Artif. Satell. 2007, 42, 141–145. [Google Scholar] [CrossRef][Green Version]
  13. Clark, D.A.; Saul, S.J.; Emerson, D.W. Magnetic and gravity anomalies of a triaxial ellipsoid. Explor. Geophys. 1986, 17, 189–200. [Google Scholar] [CrossRef]
  14. Zagrebin, D.V.; The Standart (Level) Triaxial Ellipsoid of Reference and the Fore of Gravity at Its Surface. Central Intelligence Agency, Information of Foreign Documents or Radio Broacasts, 1946, Sanitized Copy for Release 28—9—2011, CIA—RDP80—00809A000600280124—3. Available online: https://www.iag.usp.br/~eder/agg0669/CIA-RDP80-00809A000600280124-3.pdf (accessed on 16 January 2025).
  15. Mineo, C. Sulla Gravita Superficiale d’un Pianeta Supposto Ellissoidico a tre Assi. Bolletino d’un Unione Mat. Italiana, 1928, Anno VII, No 2, April. Available online: http://www.bdim.eu/item?fmt=pdf&id=BUMI_1928_1_7_2_80_0 (accessed on 18 June 2025).
  16. Fragoyannis, G.; Vafeas, P.; Dassios, G. On the reducibility of the ellipsoidal system. Math. Methods Appl. Sci. 2022, 45, 4497–4554. [Google Scholar] [CrossRef]
  17. Diaz-Toca, G.M.; Marin, L.; Necula, I. Direct transformation from Cartesian into geodetic coordinates on a triaxial ellipsoid. Comput. Geosci. 2020, 142, 104551. [Google Scholar] [CrossRef]
  18. Gradshteyn, J.S.; Ryzhik, I.M. Tables of Integrals, Series and Products, 7th ed.; Academic Press: Cambridge, MA, USA; Elsevier: Amsterdam, The Netherlands, 2007. [Google Scholar]
  19. Manoussakis, G. The Gravity Force Generated by a Non—Rotating Level Ellipsoid of Revolution with Low Eccentricity as a Series of Spherical Harmonics. Mathematics 2023, 11, 1974. [Google Scholar] [CrossRef]
  20. Bell, W.W. Special Functions for Scientists and Engineers; Van Nostrand Company Ltd.: Toronto, ON, Canada, 1967; p. 68. [Google Scholar]
  21. Samaddar, S.N. Some Integrals Involving Legendre Functions. Math. Comput. 1974, 28, 125. [Google Scholar] [CrossRef]
  22. Weber, H.J.; Arfken, G.B. Essential Mathematical Methods for Physisists; Elsevier: Amsterdam, The Netherlands; Academic Press: Cambridge, MA, USA, 2004; p. 583. [Google Scholar]
Figure 1. Triaxial ellipsoid, geodetic, and spherical coordinates.
Figure 1. Triaxial ellipsoid, geodetic, and spherical coordinates.
Mathematics 13 02115 g001
Table 1. Variables that are used in the text.
Table 1. Variables that are used in the text.
Symbol Description
γ Gravity intensity on and above the triaxial ellipsoid
γ s Gravity intensity on and above the oblate spheroid
a x Semi Major semi axis of the triaxial ellipsoid
a y Semi Intermediate axis of the triaxial ellipsoid
b Semi Minor axis of the triaxial ellipsoid
e x 2 First polar eccentricity of the triaxial ellipsoid
e y 2 Second polar eccentricity of the triaxial ellipsoid
e e 2 First equatorial eccentricity of the triaxial ellipsoid
e 2 Eccentricity of the oblate spheroid ax = ay = a, b
ϕ Geodetic latitude on the triaxial ellipsoid
λ Geodetic longitude on the triaxial ellipsoid
θ Spherical latitude
λ c Spherical longitude
r Radial distance
r e Radial distance on the surface of the triaxial ellpsoid
r s Radial distance on the surface of the oblate spheroid ax = ay = a, b
γ a x Gravity intensity value at point (ax, 0, 0)
δ γ x Difference between the gravity values at points (ax, 0, 0) and (0, ay, 0)
δ γ z Difference between the gravity values at points (ax, 0, 0) and (0, 0, b)
P n m ( sin θ ) Derivative of the Legendre function with respect to the argument sinθ
P n ( sin θ ) Derivative of the Legendre polynomial with respect to the argument sinθ
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Manoussakis, G.; Vafeas, P. Spherical Harmonics and Gravity Intensity Modeling Related to a Special Class of Triaxial Ellipsoids. Mathematics 2025, 13, 2115. https://doi.org/10.3390/math13132115

AMA Style

Manoussakis G, Vafeas P. Spherical Harmonics and Gravity Intensity Modeling Related to a Special Class of Triaxial Ellipsoids. Mathematics. 2025; 13(13):2115. https://doi.org/10.3390/math13132115

Chicago/Turabian Style

Manoussakis, Gerassimos, and Panayiotis Vafeas. 2025. "Spherical Harmonics and Gravity Intensity Modeling Related to a Special Class of Triaxial Ellipsoids" Mathematics 13, no. 13: 2115. https://doi.org/10.3390/math13132115

APA Style

Manoussakis, G., & Vafeas, P. (2025). Spherical Harmonics and Gravity Intensity Modeling Related to a Special Class of Triaxial Ellipsoids. Mathematics, 13(13), 2115. https://doi.org/10.3390/math13132115

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop