CAMPUS TECNOLGICO DE LA UNIVERSIDAD DE NAVARRA.

NAFARROAKO UNIBERTSITATEKO CAMPUS TEKNOLOGIKOA

Paseo de Manuel Lardizbal 13. 20018 Donostia-San Sebastin. Tel.: 943 219 877 Fax: 943 311 442 www.tecnun.es informacion@tecnun.es
Ecuacin de Laplace.

Introduccin.

Las ecuaciones elpticas se obtienen, en general, cuando se estudian procesos
estacionarios. La ecuacin de este tipo que aparece ms frecuentemente es la
ecuacin de Laplace, cuya expresin general es:
0 u
donde representa el operador Laplaciano.

Por ejemplo, si se considera un campo trmico estacionario, puesto que,
como la ecuacin de conduccin del calor es
u u
t

y, en este caso, la distribucin de temperatura no vara con el tiempo, sta
satisface la ecuacin de Laplace.

Si se considera la presencia de fuentes de calor externas, se obtiene la
ecuacin
A u
donde A representa la densidad de las fuentes trmicas. La ecuacin no homognea
de Laplace se suele llamar ecuacin de Poisson.

Otra clase de problemas en los que la ecuacin de Laplace juega un papel
importante es el relacionado con los campos vectoriales que derivan de un potencial
(electro-magntico, gravitatorio, etc.). En estos casos, si en la regin donde se
quiere obtener el potencial no hay fuentes de campo, ste verifica la ecuacin de
Laplace. Si por el contrario, existe una cierta densidad de stas, el potencial verifica
la correspondiente ecuacin de Poisson.

As pus la ecuacin de Laplace describe siempre procesos estacionarios en
los que el tiempo no es una de las variables independientes. Esto significa, que el
tipo de problemas que se considera para esta ecuacin no va a incluir condiciones
iniciales, lo que provocar que la estructura de las soluciones que encontraremos
sea distinta a la que presentan las ecuaciones de ondas y difusin tratadas en los
dos temas precedentes. Consideraremos solamente problemas definidos en un
cierto dominio con ciertas condiciones de contorno dadas sobre su frontera que
podemos agrupar en tres clases:

Condiciones de Dirichlet: El problema de Dirichlet para la ecuacin de
Laplace en un recinto, consiste en encontrar las soluciones que toman un valor
prefijado en la frontera:
f u


Condiciones de Neumann: El problema de Neumann para la ecuacin de
Laplace en un recinto, es el de encontrar las soluciones tales que su derivada segn
la normal exterior a la frontera toma un valor prefijado:
f
n
u

El problema de Robin para la ecuacin de Laplace en un recinto, es de
carcter mixto, pues consiste en encontrar las soluciones que en la frontera
verifican:
R h donde , f
n
u
h u
,
_

+



En este captulo nos centraremos, esencialmente, en los problemas de
Dirichlet para las ecuaciones de Laplace y Poisson, aunque los mtodos que se
utilizarn para su resolucin sern tambin vlidos para otras ecuaciones
diferenciales en derivadas parciales en las que de nuevo el operador Laplaciano
juega un papel importante, como son, por ejemplo la ecuacin de Schrdinger:
Vu u
m 8
h
u
2
ih
2
2
t
+

que es esencial en la descripcin mecanocuntica de diferentes sistemas fsicos y
en la ecuacin de Helmotz:
0 u u +
que aparece al separar variables en la ecuacin de ondas y de difusin, cuando se
consideran dominios bidimensionales.


FUNCIONES ARMNICAS: PRINCIPIO DE MAXIMO.UNICIDAD Y
ESTABILIDAD DEL PROBLEMA DE DIRICHLET.

Definicin. Una funcin u se dice armnica en una regin si ) ( C u
) 2 (
y,
adems verifica: 0 u
Empezamos este apartado enunciando una propiedad de las funciones
armnicas que nos permitir, posteriormente, establecer la unicidad y estabilidad
de la solucin para el problema de Dirichlet:
0 u
f u


Definicin. Principio de mximo.
Sea u una funcin armnica en un dominio bidimensional acotado que,
adems, es continua en . Entonces, u alcanza su valor mximo en .

Principio de mnimo.
Sea u una funcin armnica en un dominio bidimensional acotado que
adems es continua en . Entonces, u alcanza su valor mnimo en .

Proposicin. La solucin del problema de Dirichlet para la ecuacin de Laplace en
un recinto bidimensional , si existe, es nica.

DEMOSTRACIN. Sean
2 1
u y u dos soluciones del problema de Dirichlet. Se tendr
entonces:
u u
1 2
0
f u u
2 1



Ahora bien, si
2 1
u y u son armnicas en tambin lo es la funcin
2 1
u u w
puesto que el operador Laplaciano es lineal. En estas condiciones, obviamente se


tiene 0 w

, lo que nos permite afirmar, en virtud del principio del mximo y del
mnimo que w=0 en y, por tanto:

2 1
u u
lo que establece la unicidad.

Proposicin. La solucin del problema de Dirichlet para la ecuacin de Laplace en
un recinto acotado bidimensional , si existe, es estable.
DEMOSTRACIN: Sean v y v
1 2
funciones armnicas en un recinto y tales que:

1 1
f v



2 2
f v


Consideremos la funcin w v v
1 2
que es tambin armnica en y adems
verifica:

2 1
f f w


Entonces, si consideramos la norma del supremo

( )
) y , x ( f ) y , x ( f
mx
f f
2 1
y , x
2 1



segn el principio del mximo y del mnimo se tendr:

( ) ( )
2 1
y , x
2 1
y , x
f f ) y , x ( w
mn
; f f ) y , x ( w
mx



es decir:
) y , x ( , f f ) y , x ( w
2 1

Por tanto:
) y , x ( , f f ) y , x ( v ) y , x ( v
2 1 2 1

de donde sigue la estabilidad, pues ha quedado demostrado que pequeas
variaciones en las condiciones, producen variaciones tambin pequeas en la
solucin.

Establecidos estos resultados sobre la unicidad y estabilidad de solucin al
problema de Dirichlet, daremos a continuacin una propiedad de las funciones
armnicas que se deduce de la proposicin anterior y que nos ser de gran utilidad
cuando en los apartados posteriores, se aborden cuestiones de convergencia
encaminadas a demostrar la existencia de esta solucin.
Propiedad. Sea ( )
N n n
u

una sucesin de funciones armnicas en un recinto y
continuas en . Sean ( ) N n f
n
, funciones tales que:

n n
f u


En estas condiciones, si
f f
n
uniformemente en
entonces
u u
n
uniformemente en
DEMOSTRACIN. Por hiptesis f f
n
uniformemente en . Por definicin, esto
significa que:
Dado < >
+
m n
f f , m , n si que tal N , R N N
De la proposicin de estabilidad, deducimos entonces que para n,m > N,
<
m n
u u


luego la sucesin ( )
N n n
u

es una sucesin de Cauchy y, por tanto, convergente.

ECUACIN DE LAPLACE EN UN CRCULO

Resolucin mediante separacin de variables.

Consideremos el problema de Dirichlet para la ecuacin de Laplace en un crculo de
centro el origen (lo que no resta generalidad a los resultado que se obtengan) y
radio a.La formulacin matemtica de este problema es:
< < 2 0 ; r 0 ; 0 u a
) ( f ) , ( u a
donde es necesario aadir una condicin de regularidad en el origen que est
contenido en el dominio que se considera; as pues:
<

) , r ( u lim
0 r

Por otra parte, para utilizar el procedimiento de separacin de variables es
necesario utilizar coordenadas polares, en las que el Laplaciano tiene por
expresin:

+ + u
r
1
u
r
1
u u
2
r rr

Adems, el uso de estas coordenadas exige que la solucin verifique las condiciones
adicionales:
) , r ( u ) 0 , r ( u 2
) , r ( u ) 0 , r ( u 2


pues los valores = 0 y = 2 corresponden a la misma parte del dominio que
estamos considerando (el intervalo [0,a] del eje de abscisas) y la solucin debe ser
de clase C
2
en el crculo. Estas condiciones se denominan condiciones de
periodicidad.
Con todos estos datos, la formulacin completa del problema de Dirichlet en
un crculo de radio a y centro el origen es:
< < < 2 0 ; r 0 ; 0 u a
( ) <

) , r ( u lim ; ) ( f , u
0 r
a

( ) ( )
( ) ( )
a <

r 0
2 , r u 0 , r u
2 , r u 0 , r u

Para resolver este problema utilizamos el procedimiento de separacin de variables.
Suponiendo como solucin ( ) ( ) ( ) N r M r u , , sustituyendo en u 0 se obtiene
0 N M
r
1
N M
r
1
N M
2
+ +
si dividimos por ella
0
N
N
r
1
M
M
r
1
M
M
2


+

+


en definitiva

N
N
M
M
r
M
M
r
2

por lo que las funciones M(r) y N() deben verificar las ecuaciones


0 ) r ( M ) r ( M r ) r ( M r
2
+ +
) ( N ) ( N
Como las condiciones de frontera para la variable r no son homogneas, utilizamos
la funcin N() para definir el problema de autovalores necesario. Se tiene:
( ) ( ) [ ] ) 2 ( N ) 0 ( N 0 ) 2 ( N ) 0 ( N ) r ( M 2 , r u 0 , r u
( ) ( ) [ ] ) 2 ( N ) 0 ( N 0 ) 2 ( N ) 0 ( N ) r ( M 2 , r u 0 , r u


y por tanto, N() debe ser solucin del problema de autovalores:

) 2 ( N ) 0 ( N
) 2 ( N ) 0 ( N
) ( N ) ( N

que es un problema regular peridico. Las soluciones de este problema son:
( )
( )
{ } 0 N n , n
n sin ) ( N
n cos ) ( N
1 ) ( N
2
n
) 2 (
n
) 1 (
n
0
+

Ntese que en este caso, solamente el autovalor nulo tiene asociada una nica
autofuncin, mientras que para los restantes existen dos. Esta es una de las
caractersticas que diferencian los problemas regulares de Sturm-Liouville de los
peridicos.
Encontrados los autovalores y las autofunciones, proseguimos con el mtodo
de separacin de variables. Sustituyendo los valores de
n
n
2
en la ecuacin
satisfecha por M(r) se obtiene la coleccin de ecuaciones ordinarias:
{ } 0 ) r ( M n ) r ( M r ) r ( M r , 0 N n
n
2
n n
2
+ +
La solucin general de la ecuacin correspondiente a n=0 se obtiene de forma
inmediata integrando dos veces consecutivas y es:
r ln D C ) r ( M
0 0 0
+
mientras que las restantes para nN son ecuaciones de Euler que tiene por soluci:

n
n
n
n n
r D r C ) r ( M , N n

+
donde se ha escrito M
n
indicando que hay una solucin para cada uno de los
valores de N n .
Entonces es claro que cada uno de los productos:
( ) ( ) ( ) ( ) ( ) + + +

n cos r D r C , n sin r F r E , r ln D C
n
n
n
n
n
n
n
n 0 0

es solucin de la ecuacin diferencial en derivadas parciales y adems verifica las
condiciones de periodicidad. Construimos ahora la solucin mediante la serie
formal:

( ) ( ) ( )
( ) ( )

+ +
+ + + +
1 n
n
n
n
n
1 n
n
n
n
n 0 0
n sin r F r E
n cos r D r C r ln D C
2
1
) , r ( u

donde las constantes arbitrarias ( ) N n F , E , D , C
n n n n
se determinan a partir de las
condiciones de contorno de la siguiente forma:

'

<

N n , 0 F
N n , 0 D
0 D
) , r ( u lim
n
n
0
0 r



( ) ( ) + +

1 n
n
n
1 n
n
n
0
n sin E n cos C
2
C
) ( f ) , ( u a a a
( )
( )

'

n
n
2
0
n
n
n
n
2
0
n
n
2
0
0
d ds ns sin ) s ( f E
c ds ns cos ) s ( f C
ds ) s ( f
1
C
a
a
a
a

Sustituyendo estos valores en la solucin se obtiene finalmente la representacin
formal de la solucin al problema de que proporciona el mtodo de separacin de
variables:
( ) ( ) [ ]

+
,
_

+
1 n
n n
n
0
n sin d n cos c
r
2
C
) , r ( u
a


ECUACIN DE LAPLACE EN UN RECTNGULO.
El problema de Dirichlet para las funciones armnicas en un recngulo se
puede formular matemticamente en la forma:
b a < < < < y 0 ; x 0 , 0 u
( ) ( ) b a , < < y 0 ; ) y ( f y , u ; ) y ( f y 0 u
2 1

( ) ( ) a b , < < x 0 ; ) x ( f , x u ; ) x ( f 0 x u
4 3

Como en este problema ninguna de las condiciones de frontera es homognea, para
abordar su resolucin separando variables lo descomponemos en dos de modo que
cada uno de ellos posea condiciones homogneas en una de las variables.
1.- Condiciones de forntera homogneas en la variable x:
b a < < < < y 0 ; x 0 , 0 u
I

( ) ( ) b a , < < y 0 ; 0 y , u ; 0 y 0 u
I I

( ) ( ) a b , < < x 0 ; ) x ( f , x u ; ) x ( f 0 x u
4
I
3
I

2.- Condiciones de frontera homogneas en la variable y:
b a < < < < y 0 ; x 0 , 0 u
II

( ) ( ) b a , < < y 0 ; ) y ( f y , u ; ) y ( f y 0 u
2
II
1
II

( ) ( ) a b , < < x 0 ; 0 , x u ; 0 0 x u
II II

Estos problemas se resuelven mediante separacin de variables y, obtenida la
solucin de ambos es claro que la suma es la solucin del problema de partida.
Describiremos el procedimiento para uno de los casos. El otro se trata de
forma absolutamente equivalente.
Consideramos el problema 1. Suponiendo la solucin en la forma
) y ( N ) x ( M ) y , x ( u
I

para M(x) y N(y) se obtienen las siguientes ecuaciones diferenciales:
) x ( M ) x ( M
0 ) y ( N ) y ( N
Exigiendo que M(x) verifique las condiciones de frontera homogneas, esta funcin
debe ser solucin del problema de Sturm-Liouville:
) x ( M ) x ( M


0 ) ( M ) 0 ( M a
Es decir:
N n ,
n
; x
n
sin ) x ( M
2
2 2
n n

,
_

a
a

Sustituyendo los valores de
n
en la ecuacin que satisface N(y), resulta:
0 ) y ( N
n
) y ( N
2
2 2

a

cuyas soluciones son:

,
_

+
,
_

a a
y n
sinh D
y n
cosh C ) y ( N
n n n

Los productos N n ), y ( N ) x ( M ) y , x ( u
n n n
, son entonces soluciones de la ecuacin
diferencial en derivadas parciales y adems verifican las condiciones de contorno.
Suponemos entonces como solucin formal:
( )
,
_

,
_

,
_

+
,
_

x
n
sin
y n
sinh D
y n
cosh C ) y , x ( u y , x u
1 n
n n
1 n
n
I
a a a

Para determinar las constantes C
n
y D
n
, n N , imponemos las condiciones de
contorno en y:
( )
( ) 1
n 3 n
1 n
n 3
I
ds
s n
sin ) s ( f
2
C x
n
sin C ) x ( f 0 , x u a
a a a
a
0

,
_

( )
,
_

,
_

,
_

+
,
_

x
n
sin
n
sinh D
n
cosh C ) x ( f , x u
1 n
n n 4
I
a a
b
a
b
b

( )

,
_

+
,
_

2
n 4 n n
ds
s n
sin ) s ( f
2 n
sinh D
n
cosh C a
a a a
b
a
b
a
0


( ) ( )

,
_

,
_

a
b
a
b
a a
n
sinh
n
cosh
D
1
n
2
n
n

Finalmente, sustituyendo estos coeficientes en la serie, se obtiene la solucin
formal que el mtodo de separacin de variables proporciona para el problema 1,
cuya expresin es:
( )
( )
( ) ( )

,
_

,
_

,
_

,
_

,
_

+
,
_

x
n
sin
y n
sinh
n
sinh
n
cosh
y n
cosh y , x u
1 n
1
n
2
n
1
n
I
a a
a
b
a
b
a a
a
a
(V)
donde:

( )

a
0 a a
a ds
s n
sin ) s ( f
2
3
1
n
;
( )

a
0 a a
a ds
s n
sin ) s ( f
2
4
2
n

Las soluciones del problema en la variable y se han expresado en trminos de los
senos y cosenos hiperblicos en lugar de utilizar las correspondientes exponenciales
reales. Esto facilita, en general, la determinacin de las constantes C
n
y D
n
como
se acaba de comprobar.




ECUACIN DE POISSON EN UN RECTNGULO.

Ahora, se considera el problema:
b a < < < < y 0 ; x 0 ), y , x ( A u
( ) ( ) a b , < < x 0 ; ) x ( f , x u ; ) x ( f 0 x u
2 1

( ) ( ) b a , < < y 0 ; ) y ( f y , u ; ) y ( f y 0 u
4 3

Para resolverlo por separacin de variables procedemos como en el apartado
anterior, considerando dos problemas:

1. Ecuacin diferencial en derivadas parciales homognea y condiciones
homogneas en la variable y
b a < < < < y 0 ; x 0 , 0 u
I

( ) ( ) a b , < < x 0 ; 0 , x u 0 x u
I I

( ) ( ) b a , < < y 0 ; ) y ( f y , u ; ) y ( f y 0 u
4
I
3
I

Este problema es del tipo del tratado en el apartado anterior.

2.- Ecuacin diferencial en derivadas parciales no homognea y condiciones
homogneas en la variable x
b a < < < < y 0 ; x 0 ), y , x ( A u
II

( ) ( ) a b , < < x 0 ; ) x ( f , x u ; ) x ( f 0 x u
2
II
1
II

( ) ( ) b a , < < y 0 ; 0 y , u y 0 u
II II


Obviamente, una vez resueltos estos dos problemas, la solucin del problema
[18.20] de partida es: u x y u x y u x y
I II
( , ) ( , ) ( , ) +
Como ha quedado dicho, el problema 1 ya ha sido estudiado en el apartado
anterior. Consideramos, pues, el 2 que resolveremos en trminos de las
autofunciones del correspondiente problema homogneo:

N n
x n
sin

'

,
_

a

Empezamos por representar ) y , x ( u
II
mediante la serie formal:

,
_

1 n
n
II
x n
sin ) y ( u ) y , x ( u
a

A continuacin desarrollamos en serie las funciones ) x ( f ), x ( f ), y , x ( A
2 1
:

,
_

1 n
n
x n
sin ) y ( ) y , x ( A
a
a

,
_

1 n
n 1
x n
sin ) x ( f
a
b

,
_

1 n
n 2
x n
sin ) x ( f
a
c
donde

,
_

a
a a
a
0
n
ds
s n
sin ) y , s ( A
2
) y ( , N n

,
_

a
a a
b
0
1 n
ds
s n
sin ) s ( f
2
, N n

,
_

a
a a
c
0
2 n
ds
s n
sin ) s ( f
2
, N n
Sustituyendo en la ecuacin diferencial en derivadas parciales las funciones u
II
y A
por sus correspondientes series, se deduce que las funciones ( ) N n ) y ( u
n
, verifican
la coleccin de ecuaciones diferenciales ordinarias no homogneas:
) y ( ) y ( u
n
) y ( u , N n
n n
2
2 2
n
a
a

Imponiendo ahora que u
II
satisfaga las condiciones de frontera en y, se tiene:

n n
1 n
n 1
II
) 0 ( u , N n
x n
sin ) 0 ( u ) x ( f ) 0 , x ( u b
a

,
_

n n
1 n
n 2
II
) ( u , N n
x n
sin ) ( u ) x ( f ) , x ( u c b
a
b b
,
_

Puesto que las ecuaciones son de coeficientes constantes, obtendremos su solucin
general mediante cualquiera de los procedimientos expuestos en el tema 7. De esta
solucin general podremos extraer la solucin particular que nos interesa,
imponiendo las condiciones de contorno. Sustituyendo stas en la serie
encontraremos la solucin buscada.

PROBLEMA DE NEUMANN EN UN CRCULO

Recurdese que la expresin

n
T

significa
T n
v r

Sea un crculo de radio unidad en cuyo interior est definida una funcin armnica (
T = 0) y que cumple la condicin de contorno
) ( f
r
T

para r = 1, siendo la funcin f() uniforme.
La ecuacin de Laplace en coordenadas polares es:
0
T
r
1
r
T
r
1
r
T
2
2
2 2
2

que se verifica para 0 r < 1. Aplicando la tcnica de separacin de variables, se
define que
T = h(r)g()
Por tanto
0
g
g
r
1
h
h
r
1
h
h
2


+

+


o lo que es lo mismo

g
g
h
h
r
h
h
r
2

Como
T(r,) = T(r, + 2),
entonces
g(0) = g(2)
y tambin se verificar que
g'(0) = g'(2)
Por tanto
g" + g = 0
y con las condiciones expuestas se ha de cumplir que

2
n con n N + 0
por consiguiente
g() = A cos(n) + B sin(n)
Por otro lado,
0 h n h r h r
2 2
+
que es una ecuacin de Euler. Convenientemente integrada

n n
r D r C ) r ( h

+
como en r 0 debe estar acotada, entonces D = 0. As,

n
r C ) r ( h
Luego
( ) ( ) { }
0
1 n
n
n
n
n
A n sin r B n cos r A ) , r ( T + +

imponiendo la condicin de Neumann
( ) ( ) { }

1 n
n n
1 n
n sin B n cos A r n
r
T

cuando r = 1
( ) ( ) { }

+
1 n
n n
n sin B n cos A n ) ( f
que es el desarrollo en serie de Fourier de la funcin f(). Sin embargo ha de
observarse que esta funcin ha de ser tal que su desarrollo en serie de Fourier no
debe tener trmino de la forma

2
A
0

o lo que es lo mismo ha de verificar que

d ) ( f