Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuaci
on de Laplace
Objetivos
Resolver problemas de contorno para la ecuaci
on de Laplace.
Resolver problemas para ecuaciones diferenciales en derivadas parciales
por separacion de variables.
7.1.
Introducci
on
La ecuaci
on de Laplace y su versi
on inhomogenea, la ecuaci
on de Poisson,
aparecen en numerosos campos de la fsica, la matematica y la ingeniera modelizando fenomenos estacionarios, es decir, no dependientes del tiempo. La raz
on
de su importancia radica en que involucra al operador laplaciano, que est
a presente en la mayora de las ecuaciones de la fsica matematica.
Las soluciones de la ecuaci
on de Laplace en un abierto de Rn ,
0 = u(x1 , . . . , xn ) =
2 u(x1 , . . . , xn )
2 u(x1 , . . . , xn )
+
+
,
x21
x2n
(7.1)
152
DE LAPLACE
CAPITULO 7. ECUACION
7.2.
Soluciones fundamentales
2u
2 u
r
+
sin
+ 2 2
= 0.
(7.3)
2
2
2
r r
r
r sin
r sin 2
De las propiedades del laplaciano es facil ver que en Rn la parte radial de la
ecuaci
on es siempre
1
n1 u
r
,
rn1 r
r
= n1 ,
r
r
r
r
r
de donde se deduce, integrando una vez mas, que las funciones armonicas con
simetra esferica en Rn \{x0 } son
r2n + k n 6= 2
2n
.
x0 (r) =
k ln r + k
n=2
153
7.3.
Identidades de Green
Antes de avanzar, necesitamos algunos corolarios del teorema de la divergencia. Recordemos las versiones de dicho teorema en R2 y R3 :
Teorema 7.3.1 Teorema de Gauss: Sean V un subconjunto cerrado y compacto del espacio R3 con borde S, una superficie regular orientada por su normal
exterior unitaria , y v un campo de clase C 1 definido en un abierto que contenga a V . Entonces tenemos que
Z
I
div v dV,
(7.4)
v,S := hv, i dS =
V
DE LAPLACE
CAPITULO 7. ECUACION
154
DE FUNCIONES ARMONICAS
7.4. REPRESENTACION
en U . Se verifica,
Z
Z
hgrad u, grad vi dS
vu dS +
D
D
Z
(vu uv) dS
D
Z
u dS
D
155
du
ds,
(7.9)
d
Z
Z
dv
du
ds u ds, (7.10)
v
=
d
d
Z
du
=
ds.
(7.11)
d
=
y como el integrando, kgrad uk, es positivo y continuo, solo puede suceder que
sea trivialmente nulo, es decir, grad u 0. Por tanto, u es una funci
on constante
en V y, como se anula en el borde, dicha constante es nula. Luego u1 = u2 .
Corolario 7.3.4 La soluci
on del problema de Neumann es u
nica salvo una
constante.
El razonamiento es identico, solo que ahora es la derivada normal de u la
que se anula sobre el borde. Igual que antes, u es constante en V , pero conocer
la derivada normal de u no permite concluir su valor. Luego u1 = u2 + k.
Demostrar la existencia de solucion de los problemas de Dirichlet y Neumann
est
a fuera del alcance de este curso.
7.4.
Representaci
on de funciones arm
onicas
DE LAPLACE
CAPITULO 7. ECUACION
156
Proposici
on 7.4.1 Representaci
on integral: Sea R3 un recinto abierto
acotado con borde dado por una superficie regular . Consideremos un punto
Entonces podemos escribir
x0 . Sea u C 2 ().
dx0
du
dS,
u
x0
u(x0 ) =
x0 u dV
d
d
(7.12)
x0
S(x0;)
Z
dx0
du
dS,
u
+
x0
d
d
S(x0 ;)
siendo el campo unitario normal exterior a o interior a S(x0 ; ), en su caso.
El termino x0 es nulo, ya que la solucion fundamental es armonica fuera
de x0 .
La integral sobre la esfera se puede efectuar en coordenadas esfericas, de
modo que = ur . Como x0 es constante sobre las esferas, por el teorema de
la divergencia,
Z
Z
du
du
x0
dS = x0 ()
dS = x0 ()grad u,S(x0 ;)
d
S(x0 ;)
S(x0 ;) d
Z
div grad u dV
= x0 ()
B(x0 ,)
Z
1
0
u dV 0,
=
4 B(x0 ,)
DE FUNCIONES ARMONICAS
7.4. REPRESENTACION
157
u
S(x0 ;)
S(x0 ;)
dx0
1
dS =
d
42
S(x0 ;)
u dS u(x0 ).
158
7.5.
DE LAPLACE
CAPITULO 7. ECUACION
Leyes de la media
Las funciones armonicas poseen unas propiedades muy importantes, relacionadas con sus valores medios y maximos:
una funci
Proposici
on 7.5.1 Ley de Gauss de la media: Sea u C 2 ()
on
3
que verifica u 0, siendo R . Sea x0 y B(x0 ; R) . Entonces,
Z
1
u dS.
u(x0 )
4R2 S(x0 ;R)
Para las funciones arm
onicas la ley de Gauss es una igualdad.
Utilizamos la proposicion 7.4.1 con la funci
on Gx0 = x0 x0 (R) en vez
de la x0 . La diferencia entre ambas funciones es una constante, armonica por
tanto, y la f
ormula sigue siendo valida,
Z
Z
du
dGx0
Gx0
u(x0 ) =
Gx0 u dV
dS,
u
d
d
S(x0 ;R)
B(x0 ;R)
on toma el valor constante
y como, por la simetra esferica de x0 , esta funci
x0 (R) en todos los puntos de la esfera S(x0 ; R), resulta que Gx0 se anula sobre
dicha superficie. Su derivada radial toma el valor constante 1/4R2 , luego,
Z
Z
dGx0
dS
u
u(x0 ) =
Gx0 u dV +
d
S(x0 ;R)
B(x0 ;R)
Z
Z
1
dGx0
dS =
u dS,
u
d
4R2 S(x0 ;R)
S(x0 ;R)
puesto que u 0 y Gx0 es creciente con el radio y, por tanto, negativa en el
interior de la bola B(x0 ; R).
N
otese que, como 4R2 es el area de la esfera S(x0 ; R), el segundo miembro
de la desigualdad no es mas que el valor medio de u en la esfera centrada en x0 .
Por tanto, la ley de la media enuncia que el valor de la funci
on u en un
punto x0 es menor o igual que el promedio de los valores que toma en cualquier
esfera S(x0 ; R) contenida en el dominio . Veremos que sucede lo mismo para
el promedio en volumen en B(x0 ; R).
una
Corolario 7.5.1 Segunda ley de Gauss de la media: Sea u C 2 ()
funci
on que verifica u 0, siendo R3 . Sea x0 y B(x0 ; R) .
Entonces,
Z
3
u dV.
(7.14)
u(x0 )
4R3 B(x0 ;R)
Para las funciones arm
onicas la ley de Gauss es una igualdad.
Se obtiene integrando la expresion anterior entre r = 0 y r = R,
Z R
Z R Z
u dS
u(x0 ) Vol (B(x0 ; R)) = u(x0 )
dr 4r2
dr
S(x0 ;R)
0
0
Z
=
u dV,
B(x0 ;R)
7.6. PRINCIPIOS DEL MAXIMO
159
7.6.
Principios del m
aximo
cerrado y
Para comenzar, el maximo existe, ya que u es continua en ,
acotado, luego compacto.
Se trata de excluir la posibilidad de un maximo en el interior, para que se
de necesariamente en el borde: supongamos que existiera un maximo relativo
de u en x0 . Entonces habra una bola B(x0 ; R) tal que u(x)
u(x0 ) para todo x B(x0 ; R). Promediando dicha desigualdad sobre la bola,
obtenemos, por ejemplo en R3 , aunque la demostracion es valida en cualquier
otra dimensi
on,
Z
Z
3
3
u u(x0 ) dV 0,
u dV u(x0 ) =
4R3 B(x0 ;R)
4R3 B(x0 ;R)
pero la posibilidad de desigualdad queda excluida por la ley de Gauss de la media, as que solo puede darse la igualdad, lo cual solo es posible, por continuidad
de u, si y solo si u(x) = u(x0 ) para todo x B(x0 ; R). Por tanto, o bien no
existen maximos en el interior o bien u es constante.
DE LAPLACE
CAPITULO 7. ECUACION
160
N
otese que el argumento anterior excluye la posibilidad de tener maximos
relativos, no solo absolutos, en el interior de .
En el caso en el que u sea armonica, podemos aplicar el principio del maximo a la funci
on u. Como max(u) = mn u, todas las consideraciones acerca del maximo de una funci
on armonica son validas tambien para el mnimo.
problema de Dirichlet:
Una consecuencia importante de este resultado es una propiedad bien conocida en electrost
atica. Si tenemos una funci
on armonica en un recinto acotado,
en cuya frontera la funci
on toma un valor constante, entonces la funci
on es
constante tambien en el interior del recinto.
Esto se debe a que la funci
on alcanza su maximo y su mnimo en el borde
del recinto. Y si la funci
on es constante en el borde, el maximo y el mnimo son
iguales.
Por tanto, ademas, como el gradiente de la funci
on sera nulo, el campo
asociado a este potencial sera nulo.
Es lo que sucede en los conductores en electrost
atica, en los cuales la carga
se distribuye por el borde del conductor, anulandose el campo electrico en el
interior.
7.7.
Funciones de Green
Recordemos la f
ormula de la representacion integral de funciones de la proposicion 7.4.1 en un recinto R3 de borde . Tal como mencionamos,
el resultado no se ve alterado si sustituimos x0 por Gx0 = x0 + U , donde
es una funci
U C 2 ()
on armonica.
Z
Z
dGx0
du
dS,
x0 .
u
Gx0
u(x0 ) =
Gx0 u dV
d
d
o si estamos en el plano, R2 ,
Z
Z
Gx0 u dS +
u(x0 ) =
dGx0
ds,
d
x0 .
(7.17)
161
Por tanto, la expresion anterior nos da una expresion integral para la solucion
del problema de Dirichlet en el recinto , conocidos u (ecuacion de Poisson)
y el valor de u en . La dificultad estriba, obviamente, en encontrar la funci
on
armonica U que permite que Gx0 se anule en .
Resumiendo, definimos funci
on de Green del recinto y polo x0 para
el problema de Dirichlet a una funci
on que verifica:
(x0,y0)
X
(x0,-y0)
Figura 7.4: Funci
on de Green del semiplano y > 0
1
1
ln kx x0 k =
ln (x x0 )2 + (y y0 )2 .
2
4
1
ln (x x0 )2 + y02 .
4
on armonica
a que a
nadir a x0 una funci
Para que se anule Gx0 (x, 0) habr
on sobre el eje X cancele la de la solucion fundamental. Por
Ux0 cuya contribuci
tanto, es preciso que
Ux0 (x, 0) =
1
ln (x x0 )2 + y02 .
4
1
1
0k =
ln kx x
ln (x x0 )2 + (y + y0 )2 ,
2
4
DE LAPLACE
CAPITULO 7. ECUACION
162
~
x0
x0
0
R3
R4
2
cos( 0 )
2
r0
r0
R2
r02 + R2 2Rr0 cos( 0 ) = 2 kx x0 k2 .
r0
R2 + r02 2R
r0 cos( 0 ) = R2 +
R2
r02
163
1
ln kx x0 k,
2
R kx x0 k
1
ln
0k
2 r0 kx x
2
2
1
r + r0 2rr0 cos( 0 )
ln
,
4 R2 + r02 r2 R2 2rr0 cos( 0 )
es la funci
on de Green, ya que se anula sobre los puntos del borde del crculo.
En particular,
dGx0 (x)
1
R2 r02
dGx0 (x)
=
=
,
2
2
d
dr
2R R + r0 2Rr0 cos( 0 )
r=R
r=R
2
0
f ()
d.
R2 + r02 2Rr0 cos( 0 )
R
kx x0 k.
r0
1
,
4kx x0 k
DE LAPLACE
CAPITULO 7. ECUACION
164
y tenemos asegurado que
Gx0 (x)
1
R
,
0 k 4kx x0 k
4r0 kx x
R2 r02
dGx0 (x)
1
=
.
2
dr
4R (R2 + r0 2Rr0 cos )3/2
r=R
7.8.
(R2 r02 )R
4
(R2
f (, ) sin
.
+ r02 2Rr0 cos )3/2
Separaci
on de variables
7.8.1.
Ecuaci
on de Laplace en un rect
angulo
Y (y)
X (x)
=
= ,
X(x)
Y (y)
DE VARIABLES
7.8. SEPARACION
165
Y (M ) = 0.
X(0) = 0 = X(L).
n 2
L
Xn (x) = sin
n
x,
L
n N.
n 2
L
An eny/L eny/L e2nM/L
n
(M y),
An enM/L en(My)/L en(My)/L = an sinh
L
an sinh
n=1
n
n
(M y) sin
x.
L
L
an sinh
n=1
n
nM
sin
x.
L
L
n
f (x) =
fn sin
x,
L
n=1
2
fn =
L
f (x) sin
nM
n
x dx = an sinh
,
L
L
DE LAPLACE
CAPITULO 7. ECUACION
166
u(x, y) =
fn
n=1
sinh n
n
L (M y)
x,
sin
nM
L
sinh L
(7.18)
si la funci
on f (x) admite desarrollo de Fourier en el intervalo (0, L),
f (x) =
n
x,
L
fn sin
n=1
fn =
2
L
f (x) sin
0
n
x dx.
L
u(0, y) = g1 (y),
u2 (x, M ) = f2 (x),
u3 (0, y) = g1 (x),
u4 (L, y) = g2 (x),
u2
f2
g1
g2
u3
u4
y
u1
f1
x
DE VARIABLES
7.8. SEPARACION
167
7.8.2.
sinh 2( y)
sin 2x.
sinh 2
Ecuaci
on de Laplace en un crculo
R (r)() R(r) ()
u
ur
,
+ 2 = R (r)() +
+
r
r
r
r2
()
r2 R (r) + rR (r)
=
= ,
R(r)
()
() + () = 0.
(0) = (2),
DE LAPLACE
CAPITULO 7. ECUACION
168
n=1
rn An cos n + An sin n .
n=1
Rn An cos n + An sin n = f (),
y si la funci
on f () admite desarrollo de Fourier en serie de senos y cosenos,
f () =
an =
a0 X
+
(an cos n + bn sin n) ,
2
n=1
f () cos n d,
0
bn =
f () sin n d,
a0 X r n
+
u(r, ) =
(an cos n + bn sin n)
2
R
n=1
(7.19)
si la funci
on f () admite desarrollo de Fourier en serie de senos y cosenos,
f () =
1
an =
a0 X
+
(an cos n + bn sin n) ,
2
n=1
f () cos n d,
1
bn =
f () sin n d.
a0 X r0 n
(an cos n0 + bn sin n0 )
+
2
R
n=1
!
Z 2
X
r0 n
1
(cos n0 cos + sin n0 sin ) d
f () 1 + 2
2 0
R
n=1
!
Z 2
X
1
r0 n
cos n( 0 ) d,
f () 1 + 2
2 0
R
n=1
DE VARIABLES
7.8. SEPARACION
169
ya que las series de Fourier se pueden integrar bajo condiciones muy generales.
El integrando es una serie geometrica, como se comprueba desarrollando el
coseno en exponenciales imaginarias,
1+2
X
r0 n
n=1
cos n
1+
X
r0
n=1
=
=
n
X
r0
n=1
r0 ei
r0 ei
2r02
ei
n
r0 ei
+
R r0 ei
R
R2 r02
2Rr0 cos
= 2
,
1+ 2
2
R + r0 2Rr0 cos
R + r02 2Rr0 cos
1+
a0 X r n
(an cos n + bn sin n) ,
+
2
a
n=1
a0 X
u(a, ) =
+
(an cos n + bn sin n) = cos ,
2
n=1
que en nuestro caso no es preciso realizar, ya que es patente que todos los
coeficientes bn son nulos, lo mismo que los an , salvo a1 = 1. Por tanto, la
solucion del problema es
r
u(r, ) = cos .
a