You are on page 1of 18

Cosas sencillas sobre las ecuaciones de Laplace y Poisson

Jos Alfredo Caizo Rincn e n o 20 de enero, 2005

1.

Introduccin o
There is no general theory known concerning the solvability of all partial dierential equations. Such a theory is extremely unlikely to exist, given the rich variety of physical, geometric, and probabilistic phenomena which can be modeled by PDE. Instead, research focuses on various particular partial dierential equations that are important for applications within and outside of mathematics, with the hope that insight from the origins of these PDE can give clues as to their solutions. Lawrence Evans, Partial Dierential Equations The notions of elliptic, parabolic, and hyperbolic formal partial dierential operators are to be regarded as landmarks in a broad eld rather than as infallible labels by which particular equations are to be distinguished. Nelson Dunford, Jacob Schwartz Linear Operators, vol. II, XIV. The art of doing mathematics consists in nding that special case which contains all the germs of generality. David Hilbert Finally, there is a most remarkable coincidence: The equations for many dierent physical situations have exactly the same appearance. Of course, the symbols may be dierent one letter is substituted for another but the mathematical form of the equations is the same. This means that having studied one subject, we immediately have a great deal of direct and precise knowledge of the equations of another. Feynman, Leighton, Sands, Lectures on Physics vol. II, cap. 12.

Una ecuacin en derivadas parciales es una relacin entre una funcin de dos o o o o ms variables y algunas de sus derivadas parciales (si la funcin es de una sola a o variable una relacin de este tipo es una ecuacin diferencial ordinaria). Resolver una o o ecuacin de este tipo signica idealmente encontrar las funciones que la cumplen, o tal vez bajo ciertas condiciones adicionales, o en caso de que no se pueda, dar la mayor informacin posible sobre cmo son estas funciones. o o Las ecuaciones parciales son un campo tan amplio que no parece que pueda comprenderse desde un punto de vista general, as que una buena forma de estudiarlas es empezar por ejemplos concretos que contengan sugerencias sobre formas de atacar problemas ms generales. Este es uno de los motivos para estudiar las ecuaciones de a Laplace y Poisson en particular: muchas de sus caracter sticas se extienden a una gran variedad de problemas, y el comprenderlas en uno de los casos ms simples a que puede uno imaginar sirve de gran ayuda cuando uno quiere entender comportamientos parecidos de ecuaciones ms complicadas. a Si ests leyendo esto probablemente tienes ya inters en las ecuaciones en deria e vadas parciales, as que no voy a explicar que aparecen en multitud de teor de as la f sica y en aplicaciones tcnicas. En su lugar vamos a exponer una aplicacin e o concreta, algo que uno est en posicin de entender mejor cuando conoce las ecuaa o ciones de Laplace y de Poisson. Explicaremos qu tienen que ver con las ecuaciones e del campo gravitatorio. Por ejemplo, es muy conocido que la atraccin de la Tierra o es proporcional a la inversa del cuadrado de la distancia a su centro, pero te has preguntado alguna vez cul es la fuerza de atraccin en el interior de la Tierra? Por a o debajo de la supercie hay que tener en cuenta que la parte ms cercana al centro a tira hacia abajo, mientras la parte que queda por encima tira hacia arriba. Cmo se o compensan estas fuerzas? Qu fuerza resulta de todas esas inuencias? Ms abajo e a encontrars una bonita forma de calcularlo. a Esto pretende ser una discusin informal en la que con seguridad hay muchos o errores, ya que no s mucho sobre el tema; sin embargo, espero que en esencia el e contenido sea correcto y que al menos resulte entretenido. Para cualquier sugerencia escribe a canizo@mat.uab.cat. Si quieres leer ms sobre ecuaciones el a pticas puedes consultar el libro de Gilbarg y Trudinger [4], donde se hace un desarrollo muy amplio de la teor En [2] y [5] hay una introduccin muy interesante a las ecuaciones de a. o Laplace y Poisson, de la que he sacado parte del contenido de estas notas. Para temas relacionados con aplicaciones en f sica [3] es un buen sitio donde buscar.

2.

Las ecuaciones de Laplace y Poisson


N

Supongamos que u es una funcin real de N variables, denida en cierto abierto o N de R . La ecuacin o i2 u = 0
i=1

(1)

se llama ecuacin de Laplace. El operador diferencial que aparece en ella es muy o comn y se suele abreviar como u
N

u :=
i=1

2 xi u.

A este operador se le llama operador de Laplace o Laplaciano. Una ecuacin de la o que podr decirse que sigue en complejidad a la anterior es la llamada ecuacin de a o Poisson, u = f, (2) donde f es cierta funcin real. En la terminolog usual una funcin armnica es o a o o una funcin de clase C 2 en un cierto abierto que cumpla (1). Una funcin de clase o o C 2 que cumpla (2) con f 0 se dice superarmnica, o subarmnica si lo cumple o o con f 0. Hay deniciones ms generales que no necesitan que la funcin sea de a o 2 clase C , pero por ahora nos bastar con stas. Existen tambin ligeras diferencias a e e en la terminolog a veces se llama ecuacin de Poisson a u = f , de forma que a: o subarmnica signica f 0 en este caso. Esto son slo diferencias de notacin, ya o o o que el concepto de funcin subarmnica o superarmnica es el mismo; el uso de o o o sub- o super- no est motivado por el signo de f , sino por la siguiente propiedad a fundamental que veremos luego: si una funcin armnica y una subarmnica coincio o o den en la frontera de un dominio acotado, entonces la funcin subarmnica es ms o o a pequea que la armnica en todo el dominio. La propiedad anloga se cumple para n o a las funciones superarmnicas. o Las preguntas son: bajo qu condiciones tienen solucin estas ecuaciones?, e o cmo son estas soluciones?, se pueden calcular en algn caso? o u Antes de contestar en parte a estas preguntas veamos algunos contextos donde aparece esta ecuacin en f o sica de forma que uno pueda hacerse una idea previa de su signicado.

3.
3.1.

Algunas teor de la f as sica donde aparecen estas ecuaciones


La ecuacin del calor o

Cmo cambia la temperatura de un objeto? La temperatura es una forma de o energ y en ciertas condiciones comunes el cambio ms importante de un objeto es a, a su transmisin en forma de calor (cuando no ocurren otras cosas, como por ejemplo o reacciones qu micas, en el objeto del que se trate). Supongamos por ejemplo que hablamos del aire dentro de una habitacin. Llamemos T (x, t) a la temperatura en o el punto x en el momento t, medida en grados Kelvin, y q(x, t) al vector que da el ujo de calor en el punto x, es decir, el vector que apunta en el sentido en que se transmite el calor y que tiene una longitud proporcional a la rapidez con la que 4

uye dicho calor. Entonces el aumento de temperatura de un dominio acotado de la habitacin ser la cantidad de calor que entra en ese trozo (puede tambin o a e salir calor en lugar de entrar, y en ese caso el aumento tiene signo negativo y se interpreta como una disminucin): o d dt T dx = C

q, N dS,

donde N representa el normal interior a la frontera de y C es una constante que necesitamos incluir porque la temperatura no es exactamente la energ sino algo a, proporcional la constante de proporcionalidad se llama constante de Boltzmann; por esto usamos la escala Kelvin . A partir de ahora escribiremos C para denotar una constante de la que no nos preocuparemos, posiblemente distinta de una ecuacin a otra, pero que no inuye en la estructura matemtica del argumento. o a Por argumentos f sicos es razonable pensar que q es proporcional a la variacin de o temperatura y va en el sentido en que sta disminuye: e q T, donde T es el gradiente de T en la variable x (esto es, T := (x1 T, x2 T, x3 T )). De hecho, esto se parece a nuestra idea intuitiva de lo que deber pasar: el calor va a de la parte ms caliente a la parte ms fr que es la direccin contraria a la que a a a, o indica T , y va ms rpido cuanto ms pronunciado es el cambio de temperatura a a a entre un punto y los de alrededor. Entonces queda d dt T = C

T, N .

Usando el teorema de la divergencia: d dt T =C


t T = C

div

T =

T.

Hemos usado que el laplaciano de una funcin es la divergencia de su gradiente. o Como el dominio era uno cualquiera es fcil ver que la ultima igualdad implica a que las funciones t T y T deben ser iguales en todo punto: t T = C T. Esta ecuacin se conoce con el nombre de ecuacin del calor. Si lo que nos preguno o tamos es si hay alguna distribucin de temperatura que no cambie en el tiempo, o estacionaria, entonces T = 0, de forma que una distribucin estacionaria de temperatura cumple la ecuacin de o o Laplace. Si adems en la situacin de la que se trate hay fuentes de calor (como un a o 5

radiador en el centro de la habitacin), se puede ampliar el razonamiento anterior y o ver que la ecuacin correspondiente a un estado estacionario es o T = s, donde s es la densidad de energ calor a ca que emite la fuente por unidad de tiempo (desde luego si s es negativa la fuente es en realidad algo que absorbe calor).

3.2.

Lminas elsticas a a

Una lmina elstica (por ejemplo, una supercie de goma o una pel a a cula de jabn) tiende a estar en la posicin en la que su supercie sea lo menor posible. Si o o sus bordes estn jos, por ejemplo en un alambre, la lmina adoptar la forma de a a a lo que se conoce como una supercie minimal. Si una supercie as est dada por el a grafo de u en un cierto dominio se sabe que u cumple la ecuacin o u = 0. div 2 1 + | u| Esta ecuacin resulta demasiado complicada; para aplicaciones prcticas en las que o a | u| es muy pequeo (si estudiamos la supercie en una zona muy pequea, si u es n n casi una funcin constante salvo desviaciones pequeas o situaciones parecidas), o n una buena aproximacin es o u = 0, la ecuacin de Laplace. En f o sica elemental normalmente se hace esta aproximacin o (aunque se llegue a ella por mtodos distintos) y se dice, por ejemplo, que la forma e que toma una lmina elstica (que suponemos inicialmente en posicin horizontal) a a o cuando est sometida a una fuerza (tal vez dependiente de la posicin) en la direccin a o o del eje vertical se parece a la solucin de la ecuacin o o u = C f, donde C es una constante (la inversa de la tensin de la lmina) y consideramos o a la fuerza positiva si va hacia abajo, negativa si va hacia arriba. Esta ecuacin da o buenos resultados en muchos casos prcticos. Para ms detalles sobre esto, ver [3, a a vol. 2, cap. 12].

3.3.

La gravedad

Describamos otro contexto distinto donde aparece la ecuacin de Laplace. La ley o de la gravedad de Newton dice que dos masas M y m separadas por una distancia r se atraen en la direccin de la recta que las une con una fuerza o |F | = G 6 Mm , r2

donde G es la constante de gravitacin universal expresada en unidades adecuadas. o Por supuesto, la fuerza F es un vector, aunque cuando se escribe la ecuacin anterior o frecuentemente se incluye slo su magnitud, como hemos hecho nosotros. Esto puede o decirse de otra forma: si imaginamos que un cuerpo de masa m, que suponemos concentrada (idealmente) en un punto y, crea un campo gravitatorio dado por E(x) = Gm yx , |y x|3 (3)

entonces podemos expresar la ley diciendo que la fuerza (ahora vectorial) sobre otro cuerpo cualquiera de masa M situado en x es M E(x) (obsrvese que la magnitud, el e mdulo, de E es la fuerza que escribimos al principio). De la misma forma podemos o calcular el campo que crean dos part culas de masas m1 y m2 , situadas en puntos y1 e y2 , respectivamente: E(x) = Gm1 y1 x y2 x . 3 + Gm2 |y1 x| |y2 x|3

Si lo que tenemos es una gran cantidad de part culas cuya distribucin podemos o expresar con una funcin de densidad m(y) (que da la densidad de masa en cada o punto y) podemos generalizar esto para dar el campo que crea esta distribucin de o masa: yx m(y) dy. (4) E(x) = G |y x|3 Una justicacin de esto es que esta integral y la suma anterior verdaderamente o se parecen mucho si hay gran cantidad de part culas, de forma que el resultado es sucientemente aproximado para la mayor de situaciones prcticas. a a Al estudiar el campo E creado por una distribucin de masa es util hablar del o potencial que crea esta masa. El potencial no es ms que una funcin real V de a o forma que V = E (y que est determinada salvo la suma de una constante). Por a ejemplo, para el campo creado por una part cula de masa m situada en el punto y la funcin o 1 V (x) = Gm |y x| sirve como potencial (podis ver que V es el campo dado en la ecuacin (3)). De e o la misma forma que antes, el potencial creado por una distribucin de masa m(y) es o V (x) = G 1 m(y) dy. |y x| (5)

Puede comprobarse derivando bajo la integral que V = E (con E dado por (4)). Dnde est aqu la ecuacin de Laplace? En realidad, an no podemos verla o a o u claramente. Lo que ocurre es que V = 4Gm, 7 (6)

de forma que el potencial cumple la ecuacin de Poisson en la que el segundo trmino o e es esencialmente menos la densidad de masa (salvo una constante). Esto no puede probarse derivando bajo la integral en (5), ya que la segunda derivada que obtenemos no es integrable, as que la regla de derivacin bajo la integral no es vlida o a (aplicndola sin ms comprobaris que se obtiene un resultado incorrecto). Sin ema a e bargo, despus probaremos que (6) es cierta. e

4.

Algunas propiedades muy conocidas

Para estudiar una ecuacin uno de los primeros pasos suele ser preguntarse o qu soluciones particulares sencillas conoce uno. En el caso de las ecuaciones lineales e (como la de Laplace) esto es especialmente util porque inmediatamente despus uno e puede conseguir nuevas soluciones haciendo combinaciones lineales de las anteriores. Hagamos esto para la ecuacin de Laplace. Qu soluciones fciles puede uno o e a encontrar de u = 0? (aqu u es una funcin real de N variables). Por ejemplo, o las funciones anes. En particular, las constantes. las funciones de la forma
N N

ai x2 i
i=1

con
i=1

ai = 0.

o a En el caso de dos variables, x2 x2 es una funcin cuya grca tiene forma de 2 1 silla de montar. las partes real e imaginaria de cualquier funcin holomorfa (lo cual se ve o derivando una vez las ecuaciones de Cauchy-Riemann que cumplen estas funciones). En la bsqueda de soluciones particulares puede ayudar el hecho de que la ecuacin u o tenga ciertas simetr En este caso puede comprobarse que la ecuacin es la misma as. o si la componemos con un giro en RN , es decir: si u es una solucin, entonces una o rotacin suya es tambin una solucin. Esto sugiere buscar soluciones que sean o e o radialmente simtricas. Si hacemos esto encontraremos que e 1 |x|N 2 log |x| si N > 2 si N = 2

tiene laplaciano cero (notemos que estas funciones son derivables en todo punto salvo en el origen). Para simplicar las constantes en los clculos que hagamos, a y para seguir la nomenclatura que suele usarse comnmente, llamaremos solucin u o

fundamental del laplaciano a la siguiente funcin, que no es ms que una constante o a por la anterior1 : (x) := 1 1 N (N 2)N |x|N 2 1 (x) := log |x| 2 si N > 2 si N = 2,

donde la constante N es el volumen de la bola unidad en RN . Como la ecuacin o de Laplace es tambin invariante por traslaciones (si algo es solucin, cualquier e o traslacin suya lo es) ocurre que las funciones u(x) = (x y) (para y RN jo) o son tambin soluciones de u = 0. e Dispuestos a sumar soluciones para hallar otras soluciones, uno puede pensar que integrar muchas soluciones puede dar otra solucin. Probemos con o u(x) :=
RN

(x y)f (y) dy,

para cierta funcin f que supondremos por ahora de soporte compacto y tan regular o como necesitemos para asegurarnos de que la integral anterior tiene sentido. Notemos que esto se parece mucho al potencial que escribimos en (5). Ahora s vamos a calcular su laplaciano, para ver si es solucin de algo, ya que la hemos obtenio do sumando muchas soluciones de u = 0. Repitamos que no podemos derivar directamente bajo la integral para calcular el laplaciano de u ya que, calculado directamente, el laplaciano de la funcin bajo la integral no es integrable. De hecho, o tampoco podemos aplicar la regla usual de derivacin bajo la integral para derivar o una vez, porque no se cumplen las condiciones usuales (aunque en este caso el resultado que se obtiene s es correcto). En su lugar, hagamos un cambio de variable lineal y escribamos la integral anterior como u(x) =
RN

(x y)f (y) dy =
RN

(y)f (x y) dy.

Ahora s se puede derivar bajo la integral si f es sucientemente regular. Obtenemos que u(x) =
RN

(y)f (x y) dy,

lo cual dice que u es al menos dos veces derivable si f lo es. Como todo el problema al derivar viene del pico de , y dado que queremos usar de alguna forma que el laplaciano de es cero en cualquier dominio que no incluya al origen (es decir,
A veces se usa el trmino solucin fundamental para la funcin con signo contrario a la e o o dada aqu El motivo es que, en sentido de distribuciones, el laplaciano de la denida arriba es . menos la delta de Dirac y uno preferir que fuera la delta. La denicin que usamos en estas notas a o es tambin comn (se usa por ejemplo en el libro de Evans [2]) y no causa confusin si se recuerda e u o esto.
1

que es solucin de la ecuacin de Laplace en RN \ {0}), vamos a partir la integral o o anterior en dos trozos: la bola B de radio > 0 centrada en el cero y el resto: u(x) =
RN

(y)f (x y) dy =
B

(y)f (x y) dy +
RN \B

(y)f (x y) dy =: I + J .

Es fcil ver que la integral I 0 cuando 0, ya que la funcin dentro de la a o integral es integrable ( es integrable y f acotado). Como nuestra intencin nal o es precisamente hacer tender a cero, no nos preocuparemos de ella. En cuanto a J , podemos aplicar la segunda frmula de Green para escribirla como o J =
RN \B

(y)f (x y) dy (y), N (y) f (x y) dS(y)


B B

=
B

f (x y), N (y) (y) dS(y) f (x y), N (y) (y) dS(y),


B

(y), N (y) f (x y) dS(y)

ya que = 0 en RN \ B . Aqu N representa el normal interior a B (el exterior a RN \ B , que hemos usado para aplicar la frmula de Green). Es fcil ver que la o a ultima de estas dos integrales tambin tiende a cero con , ya que f (x y), N (y) e N +2 est acotado y (y) a sobre B (en el caso de N = 2, (y) log( )), lo cual tiende a cero al integrar sobre la esfera de dimensin N 1, que tiene area o N 1 proporcional a . La interesante es la primera de ellas. Observemos que y N (y) = |y| y 1 (y) = N N |y|N 1 1 (y), N (y) = , N 1 N N |y| luego sobre la esfera B ocurre que (y), N (y) = Por tanto,
B

1 N N

1
N 1

(y), N (y) f (x y) dS(y) 1 1 f (x y) dS(y) N N N 1 B 1 1 = f (y) dS(y) f (x) N N N 1 B(x, ) = 10

cuando 0,

ya que lo ultimo que aparece arriba es precisamente la media de f sobre la esfera de radio (notemos que N 1 N N es la supercie de la esfera de radio ). Esto, nalmente, demuestra que u = f. Lo que hemos demostrado es lo siguiente: Teorema. Sea un abierto acotado de RN cuya frontera es una hipersupercie de clase C 1 , y sea f : R una funcin C 2 () e integrable en . Entonces, la funcin o o u(x) :=

(x y)f (y) dy

(x RN )

es dos veces derivable en y en RN \ y u(x) = f (x) u(x) = 0 x x RN \ .

En realidad el razonamiento anterior estaba hecho para f denida en RN , de soporte compacto y dos veces diferenciable, aunque puede extenderse con facilidad para probar el teorema. Si f est denida en y es dos veces diferenciable, exa tendmosla por cero a todo RN . Si x es un punto de podemos escribir a f = g + h, donde g es diferenciable de soporte compacto y h es integrable y vale cero en un entorno de x (por ejemplo, si es una funcin meseta que vale uno en un entorno de x o y cero fuera de otro entorno de x contenido en , podemos tomar f = f +(1)f ). Entonces (x y)g(y) dy + (x y)h(y) dy. u(x) =

La primera funcin est en las condiciones del razonamiento anterior, ya que g es o a de clase C 2 en RN ; el laplaciano de la segunda funcin es cero, ya que el pico o de est fuera del dominio de integracin y puede derivarse directamente bajo a o la integral, as que se obtiene el resultado del teorema. Una idea importante bajo este razonamiento es que la regularidad local de u en un punto slo depende de la o regularidad local de f en ese punto. Ahora vemos que si m es una distribucin de masa en R3 una funcin positiva o o e integrable, en trminos matemticos y V es el potencial gravitatorio dado por e a (5), entonces V = 4G
RN

(x y)m(y) dy

V = 4Gm, que era la ecuacin que escribimos en (6). Hemos probado que esto es cierto en los o puntos donde m es derivable. 11

4.1.

Las desigualdades de la media

Veamos una propiedad curiosa de las soluciones de la ecuacin u = f , con o N 2 f Cc (R ) (esto denota el conjunto de funciones de soporte compacto en RN que tienen dos derivadas continuas, aunque, como antes, los resultados sern vlidos a a N para funciones f ms generales). Fijado x R , derivemos la funcin a o (r) :=
B(x,r)

u(y) ds(y)

con respecto a r: d d (r) = dr dr d = dr u(y) dS(y)


B(x,r)

rN 1
B(0,1)

u(x + ry) dS(y) u(x + ry) dS(y) + rN 1


B(0,1) B(0,1)

= (N 1)rN 2 = (N = (N = (N = (N

d u(x + ry) dS(y) dr

1 u(x + ry), y dS(y) u(y) dS(y) + rN 1 1) r B(x,r) B(0,1) 1 1) (r) + u(y), N (y) dS(y) r B(x,r) 1 1) (r) + u(y) dy r B(x,r) 1 1) (r) + f (y) dy. r B(x,r)

En caso de que u sea solucin de la ecuacin de Laplace (es decir, si f 0), o o d 1 (r) = (N 1) (r), dr r luego (r) = CrN 1 para cierta constante C. Como cuando r 0 ocurre que r1N (r) N N u(x) (N wN es la supercie de la esfera unidad en RN ), la constante C debe ser u(x)N N . Luego 1 N N rN 1 u(y) dS(y) = u(x).
B(x,r)

El denominador de la fraccin de la izquierda no es ms que la supercie de B(x, r), o a as que podemos escribir valor medio de u en B(x, r) = u(x).

12

Esta es la conocida propiedad de la media de las funciones armnicas. De la miso ma forma, del clculo anterior podemos deducir una desigualdad en la ecuacin a o diferencial en los casos en que f 0 o f 0: d 1 (r) (N 1) (r) dr r d 1 (r) (N 1) (r) dr r si f 0 si f 0.

En general cuando uno tiene una desigualdad de este tipo ocurre que la solucin o es tambin mayor o menor, segn corresponda, que la solucin exacta si hubiera e u o igualdad (un caso muy conocido de esto es el lema de Gronwall). Por tanto, 1 N N rN 1 1 N N rN 1 u(y) dS(y) u(x)
B(x,r)

si u 0 (u subarmnica) o si u 0 (u superarmnica). o

u(y) dS(y) u(x)


B(x,r)

Estas son las desigualdades de la media para funciones subarmnicas y superarmnio o cas, respectivamente. De hecho puede demostrarse que estas desigualdades caracterizan a este tipo de funciones, de forma que suele ampliarse la denicin de (sub, o super)armnica a funciones que cumplan la correspondiente (des)igualdad anterior o (y que no necesariamente sean dos veces derivables). Integrando las (des)igualdades anteriores para r entre 0 y R > 0 puede verse que la media de una funcin (armnica, subarmnica, superarmnica) en una bola o o o o alrededor de un punto (no en la esfera, sino en la bola) es tambin igual (, ) e que el valor de la funcin en el punto. Esto es tambin muy razonable, ya que si la o e media en todas las esferas en torno a un punto es la misma no cuesta imaginar que la media en la bola tambin debe ser la misma (mayor o igual, menor o igual). e

4.2.

El campo creado por la Tierra en el exterior

Una consecuencia de esto es que ahora sabemos calcular el campo que crea la Tierra en los puntos exteriores. Cmo? La densidad de masa de la Tierra puede o aproximarse como si |y| R m(y) := 0 si |y| > R Aqu R es el radio de la Tierra (en metros, para ser precisos) y es su densidad de , masa (en unidades adecuadas, pongamos kilos por metro cbico) y que suponemos u siempre constante para simplicar (cosa que no es cierta; por ejemplo, se piensa que el ncleo es mucho ms denso). En (5) dedujimos que el potencial que crea esta u a

13

masa es V (x) = G 1 m(y) dy |y x| 1 = G dy B(0,R) |y x| 1 dy. = G B(x,R) |y|

Un punto x est fuera de la Tierra si |x| > R, luego para estos puntos B(x, R) no a incluye al origen. Por tanto la ultima integral que hemos escrito es la integral en una bola de una funcin armnica en toda la bola (si la bola incluye al origen entonces o o no podemos decir esto). La igualdad de la media dice que esa integral es el valor de la funcin en el centro de la bola (el punto x) multiplicado por el volumen de la o bola (que es el volumen de la Tierra, VT ). Por tanto V (x) = G
B(x,R)

1 1 dy = GVT . |y| |x|

Para calcular el campo no hay ms que hacer el gradiente: a E(x) = V (x) = GVT x , |x|3 (7)

as que la fuerza sobre una masa M situada en x va dirigida hacia el centro de la Tierra (aqu es el origen) y tiene magnitud F = M |E| = M GVT 1 , |x|2

lo cual est de acuerdo con lo que esperbamos. De hecho, ya que VT es la masa a a de la Tierra MT , M MT , F =G |x|2 que es la ley de Newton, pero ahora teniendo en cuenta la inuencia de toda la Tierra, sin suponer que toda la masa est en su centro. De hecho el resultado es el a mismo y por eso se puede simplicar mucho al ensearlo. Y este resultado va ms n a lejos, ya que se obtiene la misma ley para una distribucin de masa radialmente o simtrica, sin que la densidad sea necesariamente constante (no es dif de probar), e cil as que nuestro resultado sigue siendo cierto incluso si queremos tener en cuenta que el ncleo de la Tierra es ms denso que su supercie. u a Para calcular el campo dentro de la Tierra nos vendr bien otra propiedad muy a conocida de la ecuacin de Laplace: el principio del mximo. o a

14

4.3.

El principio del mximo a

El principio dbil del mximo dice que si una funcin armnica es C 2 en un e a o o dominio acotado y continua en , entonces su mximo absoluto se alcanza en a la frontera. El principio fuerte del mximo dice que de hecho el mximo no se a a alcanza en ningn punto del interior a menos que la funcin sea constante. Por u o supuesto, todos los resultados sobre mximos tienen su correspondiente resultado a sobre m nimos, porque si u es armnica u tambin lo es y los mximos de una son o e a m nimos de la otra, as que slo hablaremos del mximo. Si tenemos en mente que o a una funcin armnica representa una distribucin de temperatura que no cambia o o o con el tiempo esto no es dif de ver intuitivamente: si hay un punto donde la cil temperatura es mayor que en los puntos de alrededor la temperatura cambiar, a porque el calor va de la parte ms caliente a la ms fr as que ese punto se a a a, enfriar. Si pensamos en la ecuacin de Laplace no es dif ver tambin un motivo a o cil e por el que esto deber pasar: en dos dimensiones, por ejemplo, todos los puntos a de una funcin armnica son puntos de silla, as que no pueden ser mximos (ni o o a m nimos, claro). Este razonamiento puede precisarse como haremos a continuacin. o A partir de ahora ser un abierto conexo y acotado de RN (a menos que se a o diga lo contrario expresamente) y u : R una funcin C 2 en y continua en . Supongamos que u > 0 en . Entonces sabemos que u no puede tener mximos a relativos dentro de , porque en un mximo relativo el Hessiano de u es semidenido a negativo y por tanto su traza (el laplaciano de u) es 0. Si el mximo no est dentro a a estar en la frontera, as que sabemos que a u > 0 a mx u = mx u. a

Si ahora suponemos que u es armnica (u = 0) no podemos hacer el mismo o razonamiento, pero podemos aproximar u por funciones que s tiene laplaciano mayor que cero. Por ejemplo, sumando |x|2 : (u(x) + |x|2 ) > 0 mx{u(x) + |x|2 } = mx{u(x) + |x|2 }. a a

En la ultima conclusin podemos pasar al l o mite cuando 0 y deducir que mx u = mx u, a a


que es el principio dbil del mximo. Con el mismo razonamiento se ve que sigue e a siendo cierto para funciones subarmnicas (u 0). o El principio fuerte del mximo puede probarse por ejemplo usando las (des)igualdades a de la media. El resultado es el siguiente: Principio fuerte del mximo para funciones armnicas. Sea un abierto a o N o o conexo de R y u : R una funcin armnica de clase C 2 en y continua en . Si u alcanza su mximo absoluto en algn punto de entonces u es constante a u en . 15

Demostracin. Llamemos M al mximo absoluto de u en y A := {x | u(x) = M }. o a Si suponemos que el teorema no se cumple, entonces este conjunto es no vac y o, como u es continua es tambin cerrado. La idea es que en cualquier punto x donde e u(x) = M ocurre que los puntos cercanos tambin u = M , porque la media de u en e una bola alrededor de x es M y u no puede ser mayor que M . Ms precisamente, si a u(x) = M y tomamos B(x, r) , M = u(x) = 1 |B(x, r)| u(y) dy
B(x,r)

1 M |B(x, r)|

dy = M.
B(x,r)

Por tanto la integral de arriba es exactamente M ; como u es continua no puede haber ningn punto de la bola donde u < M , as que B(x, r) A y A es un conjunto u abierto y cerrado, luego es todo (ya que hab amos supuesto que es conexo), luego u M en . Cualquiera de los principios anteriores implica que las soluciones de las ecuaciones de Laplace o Poisson en un dominio conexo y acotado con condiciones de frontera continuas, si existen, son unicas. Es fcil ver esto: supongamos que tene a 2 o mos dos soluciones u1 , u2 de clase C () y continuas en de la ecuacin u = f u= en en

para cierta funcin f y cierta funcin continua en . Entonces u1 u2 es una o o funcin armnica en , continua hasta la frontera, que vale cero en . Como el o o mximo y el m a nimo de u1 u2 se alcanzan en la frontera, ambos son cero, luego u1 u2 0 en . Adems, prcticamente el mismo razonamiento de antes prueba que el principio a a fuerte del mximo (no del m a nimo) es cierto para funciones subarmnicas (no neo cesariamente armnicas), y que el principio fuerte del m o nimo vale para funciones superarmnicas. Una consecuencia fcil de esto es que si en las mismas condiciones o a anteriores una funcin armnica u y una subarmnica v coinciden en , entonces o o o v u en . Este es el motivo del trmino subarmnica; otro tanto ocurre para e o las funciones superarmnicas. o

4.4.

El campo en el interior de la Tierra

Pensemos en cmo calcular el potencial en un punto del interior de la Tierra. o Como antes, la integral adecuada es V (x) = G
B(x,R)

1 dy |y|

(8)

para |x| R. Antes dedujimos que V (x) = 4Gm(x) = 4G, 16

una constante. Algo que no es dif de ver es que V tal y como est denida en la cil a ecuacin (8) es continua en R3 , as que sabemos cunto debe valer en puntos de la o a supercie de la Tierra (|x| = R) porque lo calculamos antes. En resumen, sabemos que V (x) = 4G 1 V (x) = MT R (|x| < R) (|x| = R).

El laplaciano de V es una constante. Conocemos funciones que cumplen esto: las funciones cuadrticas. Podemos encontrar alguna que tenga el valor adecuado cuando a |x| = R? S sumndole despus la constante correcta: , a e 2 2 1 V (x) = G |x|2 GR2 + MT . 3 3 R Adems, sabemos por el principio del mximo que sta es la unica solucin posible, a a e o as que ste tiene que ser el valor de la integral. Por tanto, V es la expresin que e o acabamos de escribir. Como antes, de esto se obtiene el campo gravitatorio dentro de la Tierra: 4 x x x 4 E(x) = V (x) = Gx = R3 G 3 = GVT 3 = GMT 3 . 3 3 R R R Observad que este campo coincide con el que calculamos en (7) cuando |x| = R. Vemos entonces que la magnitud de la fuerza dentro de la Tierra decrece de forma lineal: r F = |E| = GMT 3 , R donde r es la distancia al centro de la Tierra. Un aspecto curioso de esto es que no hemos necesitado calcular explcitamente la integral que da el potencial, o el campo, sino que el conocimiento de sus propiedades nos dice cmo debe ser. o

5.

Sobre este texto

Para comentarios escribe a Jos Alfredo Caizo <canizo@mat.uab.cat>. Puedes e n encontrar la ultima versin de este documento en o http://www.mat.uab.cat/~canizo/tex/ Estas notas han sido escritas para un seminario organizado por Magdalena Rodr guez, Isabel Fernndez y otros estudiantes del departamento de Geometr a a y Topolog de la Universidad de Granada, que junto con Gabriel Navarro y Oscar a Snchez han inuido en el contenido con sus preguntas y observaciones. Muchos a errores han sido corregidos gracias a comentarios de Juanjo Nieto, que aparte de varias sugerencias matemticas ha sealado que en espaol no se pone nunca punto a n n 17

despus de las interrogaciones, cosa que contribuy notablemente a la mejora del e o aspecto visual de estos apuntes; y de Mar Jos Cceres, que con comentarios sobre a e a las matemticas, la forma y el autor ha animado al ultimo, hecho ms claras las a a primeras y ms espaola la del medio. a n

5.1.

Copia y distribucin o

Este trabajo puede distribuirse en las condiciones de la licencia AttributionNonCommercialShareAlike de Creative Commons. Para ver una copia de esta licencia ve a http://creativecommons.org/licenses/by-nc-sa/1.0/ Esencialmente, esto signica que puedes usar este trabajo como quieras siempre que menciones a su autor, no recibas dinero por el resultado y permitas la copia y distribucin de la misma forma en que se hace aqu Para detalles sobre las condio . ciones puedes leer la licencia antes mencionada.

Referencias
[1] Nelson Dunford, Jacob T. Schwartz, Linear operators, John Wiley & Sons Inc., Nueva York, 1963 [2] Lawrence C. Evans, Partial dierential equations, Graduate Studies in Mathematics vol. 19, AMS, 1998 [3] Feynman, Leighton, Sands, The Feynman lectures on physics, Addison-Wesley, 1989 [4] D. Gilbarg, N. S. Trudinger, Elliptic partial dierential equations of second order, Springer-Verlag, 1977 [5] Fritz John, Partial Dierential Equations, third edition, Springer-Verlag, 1980

18

You might also like