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
+

02V
~2

a2v
+

0z2 =0

(1.2)

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

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. SOLUCION DE A

2(V)

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 con

=

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

(~

)~

(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...

___

91 (2.2a)

d2R

+2rkR0 dr d20

dR

a>

(2.2b)

senO

dO

(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
2t

[
a]
+ 1k +

(1?)

dt

dt

(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

1 a/2 a/2 1/2 + 1/2

1/4+k l/4+k

que por el cambio de variable independiente u diferencial 0 a2

1 t se transforma en la ecuacin 2

1 a/2

1/2+ 1/2

l/4+k 1/4+k

it)

a/2

a/2

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 dt2 2t 1t2 de di +

k(lt)

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) 2

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) 2

de
+

dt 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 ~

[e(+ 1)] e

(3.2)

5.

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

=

93

se transforma por el cambio de variable u

2 e=P(O 1 ~ t)

en la ecuacin diferencial

ecuacin hipergeomtrica, con a = e, a u = O es la funcin hipergeomtrica

fi

+1, y

1 cuya solucin en tomo

1.t

)
ir =

~
r=o

(t+I)r(~Or U r 1 t

(3.3)

con (e),

= 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. =

(e+1)

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

(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 u(1u) du2 + (12u) de la que u

d28

de
du

+ e(e+1)

(3.2)

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

e=X
r0

arur+c;

Se verifican las relaciones de recurencia

=

O para r

O
,~

(r+c)2 a,

[(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,

0, son iguales a 0, luego dos

(e+1)
=

(e)r

[6 (u,c)]~0

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

u) e~,

~%
O(u~cJ
ur

r0

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

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

___

[H(e+l,r)

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

1 c+I

1 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 +2r t(e+1)R=0 d dr2 dr

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

(1e

2) dO de

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 ~
f ti

e-fm
-~

m 2
-ni
___

-ni

1+1

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;

u)

(3.6)
es polinmica 1e

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

(e+ )m ml
ni

df

(2)

21j

mt+e+l; l+m;

por lo que (32.16), en el caso que

E N se puede expresar por

e,,

ni!

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

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

1.t

que es la funcin asociada de Legendre de 17 clase

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

~2

en R3}

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
~.

=4=062
se comprueba que para todo

02

+cotg6 se verifica + 80
t(t+

8 06
+

___-

1 sen6

02

(3.9)

+cotg6
=

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 0
+

2 + a, a1x
+

b2y + c3z + a,1x

2xy

+...

(4.1)

5.

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

97

entonces, al sustituir (4. 1) en (1.2) se determinan una infinidad de relaciones entre los coeficientes, como por~ejemplo a11 +
~2=

+ c33

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 que a,b,c son la constantes que a (1.2), en panicular lo har f(ax+by+cz) E si <Y, 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~

~
o

(7) t
.3

(ix cosv + ir senvy

= nsO

L (x,y,z) cos mv +

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

(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
-a) gjx,y,z) =

1
~

(n J

(z+ix

cosv

+iy

enus)

cos

mv

dv

ni

0,1,2,3

1 b) h,,,(x,y,z) = ft

(a 1 1a ni = en (1.2), vemos as que de que 2n+l cada funcin (z+ix cosv +iy sen 6)~ sen mv dv

Derivando g~ (x,y,z),

bajo

el signo es

integral una

y sustituyendo de de (1.2), grado

Ji,,, (x,y,z) linealmente de ellos

solucin

obteniendo n, por lo

polinomios combi-

armnicos nacin

independientes se puede obtener

cualquier

lineal

como

el

resultado

(z+ix

cosv

+b~

senvYf}v)

dv

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

rlO

(4.3)

que converge uniformemente si V+y2+z2 es suficientemente pequeo. Si nos interesa expresar (4.3) en coordenadas esfricas, tenemos (LavrentiewChabat 1977). a)

J
= =

(z+ix cosv r

+ iy

senv~ cos mv
(yA)

(cosv+isenv cos

cos mv dv

<cosmA

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

b)

(z+ix cos6+iy senOysen mO

?sen mA

3
r

(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.