CAP ITULO 1

Ecuaci on de Laplace y funciones arm onicas.

Una funci on u, dos veces continuamente diferenciable, denida en un dominio U de RN se dice arm onica si satisface la ecuaci on de Laplace u = 0 en U. Quiz as la propiedad m as importante de las funciones arm onicas es que satisfacen la propiedad de la media que enunciamos en el teorema que sigue. Teorema 1.0.1. (Propiedad de la Media) Sea u C 2 (U ), entonces u es arm onica si y s olo s u(x) = para toda esfera tal que S (x, r) U . Aqu |S (x, r)| denota el area de la esfera S (x, r) y dSr su elemento de area. Demostraci on: Fijemos x U y denamos la funci on 1 R(r) = u(y )dSr (y ). |S (x, r)| S (x,r) Como en cap tulos anteriores se tiene R(r) = 1 |S (0, 1)| u(x + ry )dS1 (y ).
S (0,1)

1 |S (x, r)|

u(y )dSr (y )
S (x,r )

Derivando con respecto a r obtenemos 1 1 R (r) = u(x + ry ) n dS1 (y ) = |S (0, 1)| S (0,1) |S (x, r)| y usando la f ormula de Green (1.1) R (r) = 1 |S (x, r)| u(y )dy.
B (x,r )

u(y ) n dSr (y )
S (x,r )

Ahora, si u es arm onica se tiene R = 0 y por lo tanto R(r) C te = C, es decir C= 1 |S (x, r)| u(y )dSr (y ).
S (x,r ) 1

DE LAPLACE Y FUNCIONES ARMONICAS. 1. ECUACION

Para determinar la constante C hacemos tender r a 0 y debido a la continuidad de u se tiene, seg un un argumento que ya hicimos, C = lim 1 r 0 |S (x, r )| u(y )dSr (y ) = u(x).
S (x,r )

As hemos probado que si u es arm onica, entonces u(x) = 1 |S (x, r)| u(y )dSr (y ).
S (x,r )

Para demostrar el rec proco supongamos, para una contradicci on, que existe alg un x0 U tal que u(x0 ) = 0. Sin p erdida de la generalidad podemos suponer u(x0 ) > 0. Por la continuidad de u existe r tal que u(x) > 0 para todo x B (x0 , r). Ahora si vale la propiedad de la media se tiene R (r) 0. Pero de (1.1) tendr amos 0 = R (r) = 1 |S (x0 , r)| u(y )dy > 0
B (x0 ,r )

Esta contradicci on demuestra el teorema.

Ejercicio: Demuestre que si u es arm onica, entonces u(x) = 1 |B (x, r)| u(y )dy.
B (x,r )

Hint: Integre en coordenadas polares. Una consecuencia de la propiedad de la media es el prinipio del m aximo que enunciamos a continuai on. Teorema 1.0.2. Sea u arm onica en U y continua en U . Entonces max u(x) max u(x).
x U xU

Demostraci on: Supongamos que u alcanza un m aximo en un punto x0 U . Tomemos cualquier r tal que B (x, r) U . Como u(x0 ) u(y ) para todo y U la propiedad de la media u(x0 ) = implica u(y ) = u(x0 ) para todo y B (x0 , r). Ahora tomando el r m as grande tal que B (x, r) U conseguimos un punto x1 U tal que u(x0 ) = u(x1 ) y el teorema est a demostrado. 1 |B (x0 , r)| u(y )dy
B (x0 ,r )

 DE LAPLACE Y FUNCIONES ARMONICAS. 1. ECUACION

Ejercicio: Demuestre el principio del m nimo. Sea u arm onica en U y continua en U . Entonces min u(x) min u(x).
x U xU

A continuaci on proponemos como ejercicio dos consecuencias importantes del principio del m aximo. Ejercicio: Sea U un dominio acotado y suave. La u nica soluci on regular del problema u = 0 u(x) = 0 es u 0. Ejercicio: Sea U un dominio acotado y suave. El problema u = f u(x) = g tiene a lo m as una soluci on regular. Probaremos ahora un teorema de regularidad que dice que la propiedad de la media implica diferenciabilidad. Necesitamos primero el ejercicio siguiente que ha sido discutido en clases. Ejercicio: a) Construya una funci on C radial, no negativa, soportada en la bola B (0, 1) y tal que B (0,1) (y )dy = 1. Hint: Use la funci on h(r) = b) Para > 0 dena y compruebe que es C B (0,) (y )dy = 1. c) Sea f una funci on continua en RN y dena f (x) = f (x) =
RN

en U en U

en U en U

e r2 0

si si

r0 r0

1 x ( ) N radial, no negativa, soportada en la bola B (0, ) y tal que (x) =

f (x y ) (y )dy.

Demuestre que f C . d) Demuestre que para cada x se tiene

0

lim f (x) = f (x).

e) Demuestre que el l mite es uniforme en cualquier regi on compacta de RN .

DE LAPLACE Y FUNCIONES ARMONICAS. 1. ECUACION

Teorema 1.0.3. Sea u C (U ) tal que satisface la propiedad de la media para toda bola B (x, r) contenida en U . Entonces u C (U ). Demostraci on: Sea como en el ejercicio precedente. Abusando de la notaci on escribiremos indistintamente (x) = (|x|) = (r). Denamos u (x) = u (x) en la regi on U = {x U / dist(x, U ) }. Por el ejercicio anterior se tiene que u C . Probaremos que u u en U . En efecto, si x U tenemos 1 |x y | 1 u (x) = N ( )u(y )dy = N B (x,) = 1 u(x) N
0

r ( )

u(y )dSr (y )dr

S (x,r )

r 1 r ( )|S (x, r)|dr = N u(x) ( )|S (0, r)|dr 0 0 r 1 ( )dy = u(x). = u(x) N B (0,)

Esto demuestra que u C (U ) ya que U =

>0

U .