El potencial gravitatorio terrestre: Un

problema de Dirichlet en la esfera

JUAN PEDRAZA

Departamento de Matemtica Aplicada

Seccin Departamental. Facultad de C. Qumicas
Universidad Complutense de Madrid
MIGUEL J. SEvtLLA
Instituto de Astronoma y Geodesia
Facultad de Ciencias Matemticas
Universidad Complutense de Madrid

1. INTRODUCCION
Una de las ecuaciones fundamentales de la Geodesia Fsica es la ecuacin
de Laplace AV=0 que debe verificar el potencial gravitatorio terrestre en el
exterior de las masas de la Tierra. La obtencin de soluciones aceptables de dicha
ecuacin es un problema clsico de la Teora del Potencial. Despus, fijadas unas
condiciones de contorno adecuadas, es necesario resolver el correspondiente problema de Dirichlet para obtener la expresin y los valores de los coeficientes de
la-funcin potencial gravitrarorio terrestre en cualquier punto exterior a l Tierra.
Se trata de resolver un problema de Dirichlet en el exterior de una esfera S,
que contenga a la Tierra en su interior, viendo, que en el caso deque las condiciones
de contorno estn dadas por funciones sobre la superficie esfrica S~, las funciones
propias del operador A nos resuelven el problema de una forma fcil.
El inters en la resolucin d este problema se debe a que siendo el potencial
gravitatorio V la componente del potencial terrestre que no est bien determinada,
pues depende de la forma de la Tierra y de la distribucin de masas en su interior,
y al no ser sta uniforme, (la densidad ~ no vara de forma continua en el interior
de la Tierra), resulta que y. que tiene derivadas primeras continuas, no tiene
continuas las segnndas derivadas, por lo que V verifica en el interior de la Tierra
la ecuacin de Poisson (Levallois, 1970)
VV
___

~2

.99V
2

-+

(IV
0z2

4nGe

(1.1)

donde G es la constante de la gravitacin universal; y en el exterior, como Q

0, V verifica la ecuacin de Laplace

ev
Ox2

a2v

02V
+

~2

0z2 =0

Fsica de la Tierra, Nm. 5. 89-100. Editorial Complutense. Madrid, 1993

(1.2)

90

J. Pedraza y M.J. Sevilla

La resolucin de (1,2) la haremos por tres caminos: el primero utilizando el

mtodo de separacin de variables; por tener las condiciones de contorno sobre
se emplearn coordenadas esfricas. En un segundo lugar se utilizar la propiedad del operador laplaciano de ser invariante frente a los desplazamientos del
plano, y en particular del grupo de trasformaciones que dejan invariante la distancia
al origen, GR, llegando a que las funciones definidas sobre
estn relacionadas
con las funciones propias del operador A~, parte angular del operador laplaciano,
lo que nos permitir encontrar la solucin que verifica las condiciones de contorno
dadas. Por ltimo, al considerar grandes distancias, (los astros actan como masas
m
puntuales), V se toma como la funcin escalar V = G (ni es la masa atrayente
e
y e la distancia entre la masa unidad y la masa atrayente) y suponiendo que admite
un desarrollo en serie de potencias de x,y,z, V se expresa como combinacin lineal
de armnicos esfricos.
S~

2(V)

2. SOLUCION DE A

O POR SEPARACION DE VARIABLES

Se considera la resolucin del problema de Dirichlet en la esfera S~ por lo

que emplearemos coordenadas esfricas r, 6, 2;
x
y
z

=
=
=

r sen 6 cos 2
r sen O sen 2
r cos 6

que es un sistema de coordenadas curvilneas ortogonales, siendo su elemento de

arco
di

h~ dr2 + h~ dO2 + h~ dY,

con

)~

(~

(2

~;

(q,,q
2,q3)

(r,6,2)

bajo estas condiciones (1.2) se expresa en la forma (l-leiskanen y Moritz, 1985)

IO 2
r2Or\
Ir

__

1+
dv
1
O
drt\
r2senO
86

senO dV

86

1
dV
r2sen26
a2

(2.1)

y suponiendo que existe solucin V(r,6,2) = R(r)-t3(6). 0(2), sta se determina

por las soluciones de las ecuaciones diferenciales ordinarias

5.

El potencial gravitatorio terrestre: un problema de Dirichlet...

d2R

dR

+2rkR0
dr

___

91
(2.2a)

d20

senO

dO

a>

(2.2b)

(seno d~) + (k + senze) e =0

dO,

(2.2c~

donde a) es una ecuacin lineal de Euler, que se resuelve por mtodos elementales
y su solucin general depende del valor de k; la ecuacin b) tambin se resuelve
elementalmente y su solucin general depende de a; y en la ecuacin e), por el
cambio de varible t = cos 6, se obtiene

de

____

a]
(1?)

dt

dt

2t

1k

(2.3)

ecuacin diferencial de segundo orden con 1, 1, ~ como puntos singulares

regulares (p.s.r.), ecuacin Fuchsiana de tipo hipergeomtrico, cuya expresin
mediante el P-smbolo de Riemann es
1

a/2

a/2

a/2

a/2

que por el cambio de variable independiente u

diferencial

a2

a/2

a/2

a/2

1/2 +

1/4+k

1/2

l/4+k

1 t
se transforma en la ecuacin
2

1/2+

l/4+k

1/2

1/4+k

it)

Esta ecuacin, como toda itipergeomtrica, se resuelve siguiendo los mtodos

clsicos escogiendo dos soluciones linealment independientes entre las 24 soluciones de Kummer (Rainville 1964).
Deshaciendo los cambios de variable y multiplicando las soluciones de (2.2),
(2.2b) y (2.2c) se obtiene una solucin general V = R(rftD(2$(6) de la ecuacin
(1,1).
-

92

J. Pedraza y M.J. Sevilla

3. SOLUCION DEL PROBLEMA DE DIRICHLET EN LA ESFERA

Dadas unas condiciones de contorno en la esfera S~, o sea dando
f(a,6,2)

=f(6,), Oca, 0C2<2n

(3.1)

la determinacin de soluciones de (1.2) en el exterior de S~ que verifiquen la

condicin (3.1), depender defta,6,2); por ejemplo si f(a,6,2) es una funcion
definida y acotada en S~, la solucin de (1.2) se obtiene por las de (2.2a), (2.2b),
(2.2c) que verifiquen estas condiciones.
Respecto de (2.2b), por ser la solucin buscada univaluada, y por ello peridica de perodo 2n, las nicas soluciones vlidas son las correspondientes a
los valores a= ni2, o sea para cada m e Z, tenemos una solucin del tipo
(2)

Am

cos m

+ Bm

sen mA; vn

En la ecuacin (2.2c) para cada valor de m las soluciones acotadas en (ir,n)

son las soluciones polinmicas correspondientes a los valores k~=Qn+n)(m+n+ 1)
con ir = 0,1,2,3,..., dado que (2.2c) es una ecuacin diferencial que con el cambio
de variable cos O=t toma la forma
d2e

2t

dt2

1t2

k(lt)

de
di +

ni2~

(It2)2

j@

que es una ecuacin diferencial de tipo hipergeomtrico con a(t) = 1 it

r(t)=2t, aQ) = k(lt2)m2 que verifican las condiciones (Nikiforov 1988) para
las que las nicas soluciones no triviales y acotadas en Ictcl son las soluciones
polinmicas correspondientes a los valores
que verifiquen
~,,

-l-n

dr
di

n(nl)

da2

di2

0,n=0,l,2,3...

y que con y = km2m, k=(vn+n)(m+n+l)==eQ+l) con pn+n=t; entonces,

en la resolucin de (2.2c) distinguiremos los casos m0 y m*0.
Si m=0, t=n la ecuacin (2.3) se expresa
d2e
(1t2)

de

dt

[e(+ 1)] e

(3.2)

que es una ecuacin de Legendre, que como toda Fuchsiana de 3 p.s.r. por cambios
de variable se transforma en hipergeomtrica.
Expresada (3.2) mediante el P-smbolo de Riemann
1

5.

El potencial gravitatorio terrestre: un problema de Dirichlet...

se transforma por el cambio de variable u

e=P(O

1t
=

2
~

ecuacin hipergeomtrica, con a = e,

a u = O es la funcin hipergeomtrica

fi

con (e),

(e+1)

(e+2). ..(e+r1);

+1, y

1 cuya solucin en tomo

(t+I)r(~Or U r

(3.3)

r=o

1 t

=
u, vlida para u
2
tal que u <1, y para todo valor de e, solucin conocida como la funcin de
Legendre P, (u) de primera clase, y que para e entero positivo es el polinomio
de Legendre 1% (u) de grado e.
=

en la ecuacin diferencial

t)

1.t

93

ir =

(r!);

(u)

1+ [(+1) (e)] u +

=~--

[(e+lt

-~-

k-~-~>

(e)2] u2 +

(ttj u.

Una segunda solucion linealmente independiente de (3.3) en tomo de u = O

es logartmica, al presentar la ecuacin indicial en u=0 exponentes iguales y se
obtiene de la siguiente manera (Rainville, 1964): Dado que en la ecuacin (3.2)
1t
se ita hecho el cambio de variable u =
esta ecuacin se trasforma en
2

d28

u(1u) du2 + (12u)

de la que u

de
du

+ e(e+1)

(3.2)

O es un p.s.r., y por tanto admite soluciones de la forma

e=X

arur+c;

r0

Se verifican las relaciones de recurencia

=

(r+c)2 a,

O para r

[(r+c) (r+c 1)

e (e+ 1)] a

,~

O si r

= 1;

94

J. Pedraza y Mi. Sevilla

los exponentes de la ecuacin indicial para u

soluciones linealmente independientes son
i) e1,

(e+1)
=

[6 (u,c)]~0

u) e~,

0, son iguales a 0, luego dos

(e)r

~%
O(u~cJ

(e) (+1),
(r!9

r0

2F, (e, e+l;l;u)

(e+I), 2)(O.
(r!

[H(e+l,r)

ur

tlnu+

+ l-l(e,r) 2H(l,r)]

con
1

___

c+I

c+r1

;paraeeZ

e
1 es el polinomio de grado e (3.3), y 012 no es polinmica, por lo que no
cumple las condiciones de acotacin.

Deshaciendo los cambios u

t
=

cos O obtenemos la solucin e,

p~ (O) de la ecuacin (2.2c).

Las soluciones de (2.2a), para k=e(e+ 1), esto es de la ecuacin
2R
dR
ddr2 +2r dr t(e+1)R=0

son

R(r)

A, r~ B, r

que por tener que ser acotadas para r.

R, (r)

~,

A,

O y por tanto la solucin queda

E, r~1

luego la solucin de (1.1) para m=0 es:

V(r, 6, 2)

B,CtI+

e,

0(O) (A4+A2)
.

C,

P/6) ~ + D, P, (6)

donde C,, D,, son constantes arbitrarias.

ni * O tenemos que resolver la ecuacin (2.3) que en funcin de e se
escribe
Si

2) dO
de

(1e

2e de
de

+ [41~)

1?

e =0

(3.4)

5.

El potencial gravitatorio terrestre: un problema de Dirichlet...

95

Esta ecuacin tiene 1, 1, ~ como puntos singulares regulares, se expresa mediante el P-smbolo de Riemann
11

m
2

e-fm
-~

-ni

-ni

1+1

___

ti

1
J
1

(3.5)

y tras sucesivos cambios de variable dependiente e independiente se trasforma en

la ecuacin hipergeomtrica (Rainville, 1964)
1
o mt uI
2 (t1y2 -~tn
e = (e+1t
t
+1

que admite la solucin (la y,, de las soluciones de Kummer)

e,,

(e21y2
2F, (nie, m+t+;

+ni;

vlida para los valores de u que verifiquen u < 1, y que sim E

y proporcional a la derivada m-esima de P/t), pues
(0m

df

ml

(2)

por lo que (32.16), en el caso que

e,,

I(e+m+1)
I(em+1)

ni!

(e+ )m

ni

21j

(3.6)

u)

es polinmica
1e

mt+e+l; l+m;

E N se puede expresar por

21y2
(e

2F, (mt. m+e+1; 1+m;

que es la funcin asociada de Legendre de 17 clase

1.t

P~Nt).

Otra solucin linealmente independiente de (33.16) se escoge entre las ),~

soluciones de Kummer, (k = 2,3,4,5,6), para cualquier valor de ni; as si tomamos
la y3, resulta

e3,

(9it 2F, (nie, m+t+1; 1+m;

(3.7)

vlida para 1 ct < 1. (3.6) y (3.7), en esta regin comn, forman una pareja
de soluciones linealmente independientes y acotadas; adems, en esta regin cualquier otra solucin es combinacin lineal de ambas. Deshaciendo los cambios, se
obtiene la solucin eJO) de la ecuacin (2.2c) que multiplicada por las soluciones

96

1. Pedraza y M.J. Sevilla

de (2.2a) y (2.2b) dan las soluciones de (13.11) V = R,(ryDmGOe,m(O) en el caso

m*0. Dado que (1.1) es una ecuacin diferencial homognea, por el principio
de superposicin toda combinacin lineal de soluciones de (1 .1), es solucin de
(1.1).
La determinacin de soluciones de (1.2) en el exterior de S~, que verifique
(3.1) se facilita si encontramos un sistema ortogonal completo =2*,que nos permita
expresarjO4) como combinacin lineal de sus elementos.
Por otra parte, las propiedades de invarianza del operador laplaciano, frente
a los cambios de ejes rectangulares, y frente a los desplazamientos del pano
eucldeo, en particular si es invariante frente al grupo de trasformaciones
GR

movimientos sobre la esfera

en R3}

~2

es decir A~ es invariante frente a las trasformaciones que dejan invariante la

distancia al origen, nos permite determinar un conjunto de funciones propias del
operador laplaciano que se trasforman entre s por los elementos de GR. y que no
son otras que las funciones propias de A~, (Vilenkin, 1966).
Propiedad 3.1: Las funciones Q* = K1sen2 e~, t=0, 1, 2,.. son funciones
propias del operador A
Dado que, en coordenadas esfricas, la expresin de s~ es
~.

02

=4=062
se comprueba que para todo

+cotg6

06

1
sen6

02

(3.9)

___-

se verifica

+cotg6

+
80

t(t+

26
K,sen
sen
1) K,sen2e~6

~aeM
=

(3.10)

Luego con =2*conocido, y como para las funciones definidas sobre la esfera
es un sistema ortogonal completo,f(a, 04) se puede expresar como combinacin
lineal de sus elementos y calcular las constantes que determinan la solucin de
(1.1) que verifica la condicin de contorno (3.1).

4. SOLUCION POR DESARROLLO EN SERIES DE POTENCIAS

Dado que nos movemos en R,, y con distancias tan grandes que se pueden
considerarlos astros como masas puntuales, y bajo la hiptesis de que (1.1) admite
solucin analtica en un entorno del origen, la funcin escalar V se puede expresar
por (Whittaker and Watson, 1927)
Va

2 + a,
0

a1x

b2y + c3z + a,1x

2xy

+...

(4.1)

5.

97

El potencial gravitatorio terrestre: un problema de Dirichlee...

entonces, al sustituir (4. 1) en (1.2) se determinan una infinidad de relaciones entre

los coeficientes, como por~ejemplo
a11 +

+ c33

~2=

0, n(n1)a~1 + (n1)b~2 + (n1)c~,

ya que la suma de los coeficientes en O2/~ de las distintas potencias x~~yrzs. con
m+r+s = ir deben anularse; si, por otro lado, consideramos todos los trminos
de grado n y buscamos todos los polinomios de grado n que son solucin de (1 .2),
es decir los polinomios armnicos de grado n, nos encontramos que de un-total
de (n+2) (n+1) trminos, existen n(n+1 relaciones entre coeficientes, por lo
2
2
que slo la diferencia 2n + 1 son independientes, y los trminos de grado ir en V
tienen que ser una combinacin lineal de 2n+ 1 soluciones de la ecucacin diferencial (1.2) todas de orden n en x,y,z.
2+b2+c2= O toda funcin
l)ado queE si
son laconstantes
que a (1.2), en panicular lo har
f(ax+by+cz)
<Y,a,b,c
satisface
ecuacin tales
de Laplace
el polinomio homogneo de orden n
P(n,v)

(z + ix cosv + iy senv)

(4.2)

para cualquier constante y, (Hobson 955) y como

(z

+ it cosv + iy senv~

(7) t

(ix cosv + ir senvy

h,,, (x,y,z) sen mv

L (x,y,z) cos mv +

=
nsO

.3

(z + ix cosv + iy senvy se expresa en funcin del sistema ortogonal {cos mv,

sen mv, m=0, l,2,...} y por la regla de Fourier
4

1
-a) gjx,y,z)

(n
J

ni

b)

h,,,(x,y,z)

(a

ft

1a

g~

bajo

(x,y,z),

armnicos
nacin

el signo

Ji,,, (x,y,z)

integral

es

linealmente

lineal

de

ellos

una

cos

mv

dv

cosv

+iy

sen

en

(1.2),

y sustituyendo
de

(1.2),

de

obtener

(z+ix

enus)

6)~

sen

mv

dv

independientes
puede

+iy

0,1,2,3

solucin

se

cosv

(z+ix

ni

Derivando

(z+ix

cosv

grado

como

+b~

vemos

obteniendo

el

n,

por

resultado

senvYf}v)

as

lo

que
de

dv

que
2n+l

cada

funcin

polinomios

cualquier

combi-

98

J. Pedraza y M.J. Sevilla

stendof~(v) una funcin racional de e = cosv + isenv

Al ser cierto para cada ti e Z, V se puede expresar en la forma
V

~ (z+ix cosv +iy senv)f}v) dv

(4.3)

rlO

que converge uniformemente si V+y2+z2 es suficientemente pequeo.

Si nos interesa expresar (4.3) en coordenadas esfricas, tenemos (LavrentiewChabat 1977).
a)

b)

(z+ix cosv

<cosmA

+ iy

senv~ cos mv

(cosv+isenv cos

cos mv dv

(yA)

(cos6+isenb cosr~cos mr dr con r=6.2

(z+ix cos6+iy senOysen mO

?sen mA

(cos6+isenb cosr

cos mr dr

siendo los coeficientes de rcosm2, y de r~senmA iguales a 2rP (cos 6), proporcionales, por tanto, a las funciones asociadas de Legendre, por lo que cada solucin
de (1 .2) analtica en un entorno del origen se puede expresar por la frmula general
V=X

{AnPn(coso) +

E (tt:cos mA + B:sen mA) r(coso)}

m1

La determinacin de una solucin que verifique ciertas condiciones de contorno f(r,6,A) se calcular expresando esta funcin como combinacin de los
armnicos esfricos, lo que nos permite hallar las costantes que determinan la
solucin de (1.2) que verifique la condicin de contorno dada.
BIBLIOGRAFA
W.A. y H. Moiurz (1985): Geodesia Fsica. Instituto Geogrfico
Nacional. Instituto de Astronoma y Geodesia. Madrid.
HoasoN, E.
The Theory of Spherical and Ellipsoidal Harmonics. Chelsea Publishing Company. N. Y.
LAvRENTIEX, M.-CWABAT, 13. (1977): Mthodes de la thorie des fonctions dune
variable complexe. 2.~ Edition. Moscou.
HEI5KANEN,

(1955):

5.

Cl potencia) gravitatorio terrestre: un problema de Dirichlet...

99

LEVALLOIS, .1.5. (1970): Godsie Generale.- Vol. 3. Eyrolles. Paris.

NucwoRov, A. t}vARov, V. (1988): Special Functions of Matitematical Phyajes. Base>; Boston. Birkh~luser.
-

RAINVILLE, 2. (1964): Intermediate Differential Equaflons 2 Edcin. Chelsea

Publishing Company. N.Y.

Vm~Nxn~, N. (1969>: Fonc:ions spciales et thorie de la reprsentation des
groupes. Dunod. Paris.
WHITTAKER, E.- WATSON, G. (1927): A course of Modern Analysis. Cambrige
University Press. London.