1. CAMPUS TECNOLÓGICO DE LA UNIVERSIDAD DE NAVARRA. NAFARROAKO UNIBERTSITATEKO CAMPUS TEKNOLOGIKOA
Paseo de Manuel Lardizábal 13. 20018 Donostia-San Sebastián. Tel.: 943 219 877 Fax: 943 311 442 www.tecnun.es informacion@tecnun.es
Ecuación de Laplace.
Introducción.
Las ecuaciones elípticas se obtienen, en general, cuando se estudian procesos
estacionarios. La ecuación de este tipo que aparece más frecuentemente es la
ecuación de Laplace, cuya expresión general es:
0u =∆
donde ∆ representa el operador Laplaciano.
Por ejemplo, si se considera un campo térmico estacionario, puesto que,
como la ecuación de conducción del calor es
uut ∆=
y, en este caso, la distribución de temperatura no varía con el tiempo, ésta
satisface la ecuación de Laplace.
Si se considera la presencia de fuentes de calor externas, se obtiene la
ecuación
Au =∆
donde A representa la densidad de las fuentes térmicas. La ecuación no homogénea
de Laplace se suele llamar ecuación de Poisson.
Otra clase de problemas en los que la ecuación de Laplace juega un papel
importante es el relacionado con los campos vectoriales que derivan de un potencial
(electro-magnético, gravitatorio, etc.). En estos casos, si en la región donde se
quiere obtener el potencial no hay fuentes de campo, éste verifica la ecuación de
Laplace. Si por el contrario, existe una cierta densidad de éstas, el potencial verifica
la correspondiente ecuación de Poisson.
Así pués la ecuación 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 ecuación 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 difusión 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 ecuación de
Laplace en un recinto, consiste en encontrar las soluciones que toman un valor
prefijado en la frontera:
fu =
Ω∂
Condiciones de Neumann: El problema de Neumann para la ecuación de
Laplace en un recinto, es el de encontrar las soluciones tales que su derivada según
la normal exterior a la frontera toma un valor prefijado:
f
n
u
=
∂
∂
Ω∂
2. El problema de Robin para la ecuación de Laplace en un recinto, es de
carácter mixto, pues consiste en encontrar las soluciones que en la frontera
verifican:
Rhdonde,f
n
u
hu ∈=
∂
∂
⋅+
Ω∂
En este capítulo nos centraremos, esencialmente, en los problemas de
Dirichlet para las ecuaciones de Laplace y Poisson, aunque los métodos que se
utilizarán para su resolución serán también válidos para otras ecuaciones
diferenciales en derivadas parciales en las que de nuevo el operador Laplaciano
juega un papel importante, como son, por ejemplo la ecuación de Schrödinger:
Vuu
m8
h
u
•2
ih
2
2
t +∆
π
−=
π
que es esencial en la descripción mecanocuántica de diferentes sistemas físicos y
en la ecuación de Helmotz:
0uu =λ+∆
que aparece al separar variables en la ecuación de ondas y de difusión, cuando se
consideran dominios bidimensionales.
FUNCIONES ARMÓNICAS: PRINCIPIO DE MAXIMO.UNICIDAD Y
ESTABILIDAD DEL PROBLEMA DE DIRICHLET.
Definición. Una función u se dice armónica en una región Ω si )(Cu )2(
Ω∈ y,
además verifica: 0u =∆
Empezamos este apartado enunciando una propiedad de las funciones
armónicas que nos permitirá, posteriormente, establecer la unicidad y estabilidad
de la solución para el problema de Dirichlet:
0u =∆
fu =
Ω∂
Definición. Principio de máximo.
Sea u una función armónica en un dominio bidimensional acotado Ω que,
además, es continua en Ω∂∪Ω=Ω . Entonces, u alcanza su valor máximo en ∂Ω.
Principio de mínimo.
Sea u una función armónica en un dominio bidimensional acotado Ω que
además es continua en Ω Ω Ω= ∪ ∂ . Entonces, u alcanza su valor mínimo en ∂Ω.
Proposición. La solución del problema de Dirichlet para la ecuación de Laplace en
un recinto bidimensional Ω, si existe, es única.
DEMOSTRACIÓN. Sean 21 uyu dos soluciones del problema de Dirichlet. Se tendrá
entonces:
∆ ∆u u1 2 0= =
fuu 21 ==
Ω∂Ω∂
Ahora bien, si 21 uyu son armónicas en Ω también lo es la función 21 uuw −=
puesto que el operador Laplaciano es lineal. En estas condiciones, obviamente se
3. tiene 0w =
Ω∂
, lo que nos permite afirmar, en virtud del principio del máximo y del
mínimo que w=0 en Ω y, por tanto:
21 uu =
lo que establece la unicidad.
Proposición. La solución del problema de Dirichlet para la ecuación de Laplace en
un recinto acotado bidimensional Ω, si existe, es estable.
DEMOSTRACIÓN: Sean v y v1 2 funciones armónicas en un recinto Ω y tales que:
11 fv =
Ω∂
22 fv =
Ω∂
Consideremos la función w v v= −1 2 que es también armónica en Ω y además
verifica:
21 ffw −=
Ω∂
Entonces, si consideramos la norma del supremo
( ) )y,x(f)y,x(fmáxff 21y,x21 −=−
Ω∂∈
según el principio del máximo y del mínimo se tendrá:
( ) ( ) 21y,x21y,x
ff)y,x(wmín;ff)y,x(wmáx −−≥−≤
Ω∈Ω∈
es decir:
Ω∈−≤ )y,x(,ff)y,x(w 21
Por tanto:
Ω∈−≤− )y,x(,ff)y,x(v)y,x(v 2121
de donde sigue la estabilidad, pues ha quedado demostrado que pequeñas
variaciones en las condiciones, producen variaciones también pequeñas en la
solución.
Establecidos estos resultados sobre la unicidad y estabilidad de solución al
problema de Dirichlet, daremos a continuación una propiedad de las funciones
armónicas que se deduce de la proposición 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 solución.
Propiedad. Sea ( ) Nnnu ∈ una sucesión de funciones armónicas en un recinto Ω y
continuas en Ω . Sean ( )Nnfn ∈ , funciones tales que:
nn fu =
Ω∂
En estas condiciones, si
ffn → uniformemente en ∂Ω
entonces
uun → uniformemente en ∂Ω
DEMOSTRACIÓN. Por hipótesis f fn → uniformemente en ∂Ω. Por definición, esto
significa que:
Dado ε<−>∈∃∈ε +
mn ff,m,nsiquetalN,R NN
De la proposición de estabilidad, deducimos entonces que para n,m > N,
ε<− mn uu
4. luego la sucesión ( ) Nnnu ∈ es una sucesión de Cauchy y, por tanto, convergente.
ECUACIÓN DE LAPLACE EN UN CÍRCULO
Resolución mediante separación de variables.
Consideremos el problema de Dirichlet para la ecuación de Laplace en un círculo de
centro el origen (lo que no resta generalidad a los resultado que se obtengan) y
radio a.La formulación matemática de este problema es:
π⋅<θ≤<≤=∆ 20;r0;0u a
)(f),(u θ=θa
donde es necesario añadir una condición de regularidad en el origen que está
contenido en el dominio que se considera; así pues:
∞<θ
→
),r(ulim
0r
Por otra parte, para utilizar el procedimiento de separación de variables es
necesario utilizar coordenadas polares, en las que el Laplaciano tiene por
expresión:
θθ⋅+⋅+=∆ u
r
1
u
r
1
uu
2rrr
Además, el uso de estas coordenadas exige que la solución 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 solución debe ser
de clase C2
en el círculo. Estas condiciones se denominan condiciones de
periodicidad.
Con todos estos datos, la formulación completa del problema de Dirichlet en
un círculo de radio a y centro el origen es:
π<θ<<≤=∆ 20;r0;0u a
( ) ∞<θθ=θ
→
),r(ulim;)(f,u
0r
a
( ) ( )
( ) ( )
a<≤
π=
π=
θθ
r0
2,ru0,ru
2,ru0,ru
Para resolver este problema utilizamos el procedimiento de separación de variables.
Suponiendo como solución ( ) ( ) ( )θ⋅=θ NrMru , , sustituyendo en ∆u = 0 se obtiene
0NM
r
1
NM
r
1
NM
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
r2
por lo que las funciones M(r) y N(θ) deben verificar las ecuaciones
5. 0)r(M)r(Mr)r(Mr2
=⋅λ+′⋅+′′⋅
)(N)(N θ⋅λ=θ′′
Como las condiciones de frontera para la variable r no son homogéneas, utilizamos
la función N(θ) para definir el problema de autovalores necesario. Se tiene:
( ) ( ) [ ] )2(N)0(N0)2(N)0(N)r(M2,ru0,ru π=⇒=π−⋅⇒π=
( ) ( ) [ ] )2(N)0(N0)2(N)0(N)r(M2,ru0,ru π′=′⇒=π′−′⋅⇒π= θθ
y por tanto, N(θ) debe ser solución del problema de autovalores:
π′=′
π=
θ⋅λ=θ′′
)2(N)0(N
)2(N)0(N
)(N)(N
que es un problema regular periódico. Las soluciones de este problema son:
( )
( )
{ }0Nn,n
nsin)(N
ncos)(N
1)(N
2
n
)2(
n
)1(
n
0
+∈−=λ
θ⋅=θ
θ⋅=θ
=θ
Nótese que en este caso, solamente el autovalor nulo tiene asociada una única
autofunción, mientras que para los restantes existen dos. Esta es una de las
características que diferencian los problemas regulares de Sturm-Liouville de los
periódicos.
Encontrados los autovalores y las autofunciones, proseguimos con el método
de separación de variables. Sustituyendo los valores de λn n= − 2
en la ecuación
satisfecha por M(r) se obtiene la colección de ecuaciones ordinarias:
{ } 0)r(Mn)r(Mr)r(Mr,0Nn n
2
nn
2
=−′+′′+∈∀
La solución general de la ecuación correspondiente a n=0 se obtiene de forma
inmediata integrando dos veces consecutivas y es:
rlnDC)r(M 000 +=
mientras que las restantes para n∈N son ecuaciones de Euler que tiene por solució:
n
n
n
nn rDrC)r(M,Nn −
+=∈∀
donde se ha escrito Mn indicando que hay una solución para cada uno de los
valores de Nn ∈ .
Entonces es claro que cada uno de los productos:
( )( ) ( )( ) ( )θ⋅⋅+θ⋅⋅++ −−
ncosrDrC,nsinrFrE,rlnDC n
n
n
n
n
n
n
n00
es solución de la ecuación diferencial en derivadas parciales y además verifica las
condiciones de periodicidad. Construimos ahora la solución mediante la serie
formal:
( ) ( ) ( )
( ) ( )∑
∑
∞
=
−
∞
=
−
θ⋅⋅++
+θ⋅⋅+++⋅=θ
1n
n
n
n
n
1n
n
n
n
n00
nsinrFrE
ncosrDrCrlnDC
2
1
),r(u
donde las constantes arbitrarias ( )NnF,E,D,C nnnn ∈ se determinan a partir de las
condiciones de contorno de la siguiente forma:
∈=
∈=
=
⇒∞<θ→
Nn,0F
Nn,0D
0D
),r(ulim
n
n
0
0r
6. ( ) ( ) ⇒θ⋅⋅+θ⋅⋅+=θ=θ ∑∑
∞
=
∞
= 1n
n
n
1n
n
n
0
nsinEncosC
2
C
)(f),(u aaa
( )
( )
=
π
=
=
π
=
π
=
⇒
−
π−
−
π−
π
∫
∫
∫
n
n
2
0
n
n
n
n
2
0
n
n
2
0
0
ddsnssin)s(fE
cdsnscos)s(fC
ds)s(f
1
C
a
a
a
a
Sustituyendo estos valores en la solución se obtiene finalmente la representación
formal de la solución al problema de que proporciona el método de separación de
variables:
( ) ( )[ ]∑
∞
=
θ+θ⋅
+=θ
1n
nn
n
0
nsindncosc
r
2
C
),r(u
a
ECUACIÓN DE LAPLACE EN UN RECTÁNGULO.
El problema de Dirichlet para las funciones armónicas en un recángulo se
puede formular matemáticamente en la forma:
ba <<<<=∆ y0;x0,0u
( ) ( ) ba, <<== y0;)y(fy,u;)y(fy0u 21
( ) ( ) ab, <<== x0;)x(f,xu;)x(f0xu 43
Como en este problema ninguna de las condiciones de frontera es homogénea, para
abordar su resolución separando variables lo descomponemos en dos de modo que
cada uno de ellos posea condiciones homogéneas en una de las variables.
1.- Condiciones de forntera homogéneas en la variable x:
ba <<<<=∆ y0;x0,0uI
( ) ( ) ba, <<== y0;0y,u;0y0u II
( ) ( ) ab, <<== x0;)x(f,xu;)x(f0xu 4
I
3
I
2.- Condiciones de frontera homogéneas en la variable y:
ba <<<<=∆ y0;x0,0uII
( ) ( ) ba, <<== y0;)y(fy,u;)y(fy0u 2
II
1
II
( ) ( ) ab, <<== x0;0,xu;00xu IIII
Estos problemas se resuelven mediante separación de variables y, obtenida la
solución de ambos es claro que la suma es la solución 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 solución en la forma
)y(N•)x(M)y,x(uI
=
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 homogéneas, esta función
debe ser solución del problema de Sturm-Liouville:
)x(M)x(M λ−=′′
7. 0)(M)0(M == a
Es decir:
Nn,
n
;x
n
sin)x(M
2
22
nn ∈
π
=λ
⋅
π
=
aa
Sustituyendo los valores de λn en la ecuación que satisface N(y), resulta:
0)y(N
n
)y(N
2
22
=
π
−′′
a
cuyas soluciones son:
π
⋅+
π
⋅=
aa
yn
sinhD
yn
coshC)y(N nnn
Los productos Nn),y(N•)x(M)y,x(u nnn ∈= , son entonces soluciones de la ecuación
diferencial en derivadas parciales y además verifican las condiciones de contorno.
Suponemos entonces como solución formal:
( )
⋅
π
⋅
π
⋅+
π
⋅== ∑∑
∞
=
∞
=
x
n
sin
yn
sinhD
yn
coshC)y,x(uy,xu
1n
nn
1n
n
I
aaa
Para determinar las constantes Cn y Dn, n N∈ , imponemos las condiciones de
contorno en y:
( ) ( )1
n3n
1n
n3
I
ds
sn
sin)s(f
2
Cx
n
sinC)x(f0,xu a
aaa
a
0
=⋅
π
⋅=⇒
⋅
π
⋅==
∫∑
∞
=
( ) ⇒
⋅
π
⋅
π
⋅+
π
⋅== ∑
∞
=
x
n
sin
n
sinhD
n
coshC)x(f,xu
1n
nn4
I
aa
b
a
b
b
( ) ⇒=⋅
π
⋅=
π
⋅+
π
⋅
∫
2
n4nn ds
sn
sin)s(f
2n
sinhD
n
coshC a
aaa
b
a
b a
0
( ) ( )
π
π
⋅−
=
a
b
a
b
aa
n
sinh
n
cosh
D
1
n
2
n
n
Finalmente, sustituyendo estos coeficientes en la serie, se obtiene la solución
formal que el método de separación de variables proporciona para el problema 1,
cuya expresión es:
( ) ( )
( ) ( )
⋅
π
⋅
π
⋅
π
π
⋅−
+
π
⋅= ∑
∞
=
x
n
sin
yn
sinh
n
sinh
n
cosh
yn
coshy,xu
1n
1
n
2
n
1
n
I
aa
a
b
a
b
aa
a
a
(V)
donde:
( )
∫ ⋅
π
⋅=
a
0 aa
a ds
sn
sin)s(f
2
3
1
n ;
( )
∫ ⋅
π
⋅=
a
0 aa
a ds
sn
sin)s(f
2
4
2
n
Las soluciones del problema en la variable y se han expresado en términos de los
senos y cosenos hiperbólicos en lugar de utilizar las correspondientes exponenciales
reales. Esto facilita, en general, la determinación de las constantes Cn y Dn como
se acaba de comprobar.
8. ECUACIÓN DE POISSON EN UN RECTÁNGULO.
Ahora, se considera el problema:
ba <<<<=∆ y0;x0),y,x(Au
( ) ( ) ab, <<== x0;)x(f,xu;)x(f0xu 21
( ) ( ) ba, <<== y0;)y(fy,u;)y(fy0u 43
Para resolverlo por separación de variables procedemos como en el apartado
anterior, considerando dos problemas:
1. Ecuación diferencial en derivadas parciales homogénea y condiciones
homogéneas en la variable y
ba <<<<=∆ y0;x0,0uI
( ) ( ) ab, <<== x0;0,xu0xu II
( ) ( ) ba, <<== y0;)y(fy,u;)y(fy0u 4
I
3
I
Este problema es del tipo del tratado en el apartado anterior.
2.- Ecuación diferencial en derivadas parciales no homogénea y condiciones
homogéneas en la variable x
ba <<<<=∆ y0;x0),y,x(AuII
( ) ( ) ab, <<== x0;)x(f,xu;)x(f0xu 2
II
1
II
( ) ( ) ba, <<== y0;0y,uy0u IIII
Obviamente, una vez resueltos estos dos problemas, la solución del problema
[18.20] de partida es: u x y u x y u x yI II
( , ) ( , ) ( , )= +
Como ha quedado dicho, el problema 1 ya ha sido estudiado en el apartado
anterior. Consideramos, pues, el 2 que resolveremos en términos de las
autofunciones del correspondiente problema homogéneo:
Nn
xn
sin
∈
π
a
Empezamos por representar )y,x(uII
mediante la serie formal:
∑
∞
=
π
⋅=
1n
n
II xn
sin)y(u)y,x(u
a
A continuación desarrollamos en serie las funciones )x(f),x(f),y,x(A 21 :
∑
∞
=
π
⋅=
1n
n
xn
sin)y()y,x(A
a
a
∑
∞
=
π
⋅=
1n
n1
xn
sin)x(f
a
b
∑
∞
=
π
⋅=
1n
n2
xn
sin)x(f
a
c
donde
9. ∫ ⋅
π
⋅⋅=∈∀
a
aa
a
0
n ds
sn
sin)y,s(A
2
)y(,Nn
∫ ⋅
π
⋅=∈∀
a
aa
b
0
1n ds
sn
sin)s(f•
2
,Nn
∫ ⋅
π
⋅⋅=∈∀
a
aa
c
0
2n ds
sn
sin)s(f
2
,Nn
Sustituyendo en la ecuación diferencial en derivadas parciales las funciones uII
y A
por sus correspondientes series, se deduce que las funciones ( )Nn)y(un ∈ , verifican
la colección de ecuaciones diferenciales ordinarias no homogéneas:
)y()y(u
n
)y(u,Nn nn2
22
n a
a
=⋅
π
−′′∈∀
Imponiendo ahora que uII
satisfaga las condiciones de frontera en y, se tiene:
nn
1n
n1
II
)0(u,Nn
xn
sin)0(u)x(f)0,x(u b
a
=∈∀⇒
π
⋅== ∑
∞
=
nn
1n
n2
II
)(u,Nn
xn
sin)(u)x(f),x(u cb
a
bb =∈∀⇒
π
⋅== ∑
∞
=
Puesto que las ecuaciones son de coeficientes constantes, obtendremos su solución
general mediante cualquiera de los procedimientos expuestos en el tema 7. De esta
solución general podremos extraer la solución particular que nos interesa,
imponiendo las condiciones de contorno. Sustituyendo éstas en la serie
encontraremos la solución buscada.
PROBLEMA DE NEUMANN EN UN CÍRCULO
Recuérdese que la expresión
n
T
∂
∂
significa
T•n ∇
vr
Sea un círculo de radio unidad en cuyo interior está definida una función armónica (
∆T = 0) y que cumple la condición de contorno
)(f
r
T
θ=
∂
∂
para r = 1, siendo la función f(θ) uniforme.
La ecuación de Laplace en coordenadas polares es:
0
T
r
1
r
T
r
1
r
T
2
2
22
2
=
∂θ
∂
⋅+
∂
∂
⋅+
∂
∂
que se verifica para 0 ≤ r < 1. Aplicando la técnica de separación 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
10. λ=
′′
−=
′
⋅+
′′
⋅
g
g
h
h
r
h
h
r
2
Como
T(r,θ) = T(r,θ + 2·π),
entonces
g(0) = g(2·π)
y también 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,
0hnhrhr 22
=⋅−′⋅+′′⋅
que es una ecuación de Euler. Convenientemente integrada
nn
rDrC)r(h −
⋅+⋅=
como en r→ 0 debe estar acotada, entonces D = 0. Así,
n
rC)r(h ⋅=
Luego
( ) ( ){ } 0
1n
n
n
n
n AnsinrBncosrA),r(T +θ⋅⋅⋅+θ⋅⋅⋅=θ ∑
∞
=
imponiendo la condición de Neumann
( ) ( ){ }∑
∞
=
−
θ⋅⋅+θ⋅⋅⋅⋅=
∂
∂
1n
nn
1n
nsinBncosArn
r
T
cuando r = 1
( ) ( ){ }∑
∞
=
θ⋅⋅+θ⋅⋅=θ
1n
nn nsinBncosAn)(f
que es el desarrollo en serie de Fourier de la función f(θ). Sin embargo ha de
observarse que esta función ha de ser tal que su desarrollo en serie de Fourier no
debe tener término de la forma
2
A0
o lo que es lo mismo ha de verificar que
∫
π
π−
θ⋅θ d)(f