Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuacion de Laplace
Ecuacion 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:
u = 0
donde representa el operador Laplaciano.
Por ejemplo, si se considera un campo trmico estacionario, puesto que,
como la ecuacin de conduccin del calor es
ut = u
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
u = A
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:
u
=f
= f, donde h R
u + h
MAXIMO.UNICIDAD
tiene w = 0 , lo que nos permite afirmar, en virtud del principio del mximo y del
mnimo que w=0 en y, por tanto:
u1 = u2
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 1 y v 2 funciones armnicas en un recinto y tales que:
v1
= f1
v2
= f2
w(x, y) f1 f2 ,(x, y)
Por tanto:
En estas condiciones, si
fn f uniformemente en
entonces
un u uniformemente en
DEMOSTRACIN. Por hiptesis f n f uniformemente en . Por definicin, esto
significa que:
Dado R + ,N Ntal que si n, m > N , fn fm <
De la proposicin de estabilidad, deducimos entonces que para n,m > N,
un um <
luego la sucesin (un )nN 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:
u = 0;0 r < a;0 < 2
u(a, ) = f()
donde es necesario aadir una condicin de regularidad en el origen que est
contenido en el dominio que se considera; as pues:
r 0
u(r,0 ) = u(r,2 )
0 r < a
u (r,0 ) = u (r,2 )
Para resolver este problema utilizamos el procedimiento de separacin de variables.
Suponiendo como solucin u(r , ) = M(r ) N( ) , sustituyendo en u = 0 se obtiene
1
1
M N + M N +
M N = 0
r
r2
si dividimos por ella
M 1 M 1 N
+
+
=0
M r M r2 N
en definitiva
M
M
N
r2
+r
=
=
M
M
N
por lo que las funciones M(r) y N() deben verificar las ecuaciones
N(0) = N(2 )
N(0) = N(2 )
que es un problema regular peridico. Las soluciones de este problema son:
N0 () = 1
(1)
2
Nn () = cos(n )n = n , n N + {0}
(2)
Nn () = sin(n )
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:
n N + {0},r 2Mn (r) + rMn (r) n2 Mn (r) = 0
La solucin general de la ecuacin correspondiente a n=0 se obtiene de forma
inmediata integrando dos veces consecutivas y es:
M0(r) = C0 + D0 ln r
mientras que las restantes para nN son ecuaciones de Euler que tiene por soluci:
n N,M n (r) = Cnr n + D nr 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:
(C 0 + D 0 ln r ), Enrn + Fnr n sin(n ), Cnr n + Dnr n cos(n )
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
u(r, ) = (C 0 + D 0 ln r ) +
2
n =1
n =1
C
u(a, ) = f() = 0 +
2
Cn a
n=1
cos(n ) +
En an sin(n )
n=1
1 2
C
=
f(s)ds
a n 2
n
Cn =
f(s) cos(ns )ds = a c n
0
a n 2
f(s) sin(ns )ds = a n dn
En =
0
C
u(r, ) = 0 +
2
r
[c n cos(n ) + dn sin(n )]
a
n=1
M(0) = M( a) = 0
Es decir:
n2 2
Mn (x) = sin
x ; n =
,n N
a
a2
Sustituyendo los valores de n en la ecuacin que satisface N(y), resulta:
N(y)
n22
a2
cuyas soluciones son:
N(y) = 0
ny
n y
Nn (y) = C n cosh
+ D n sinh
a
a
Los productos un (x, y) = Mn(x) Nn (y),n N , son entonces soluciones de la ecuacin
diferencial en derivadas parciales y adems verifican las condiciones de contorno.
Suponemos entonces como solucin formal:
uI (x, y ) =
un (x, y ) =
n =1
ny
n y
n
Cn cosh
+ Dn sinh
sin
x
a
a
a
n =1
u (x, b) = f4 (x) =
I
n
2 a
n s
C n sin
x C n =
f3 (s) sin
ds = an(1 )
a 0
a
a
n =1
nb
nb
n
Cn cosh
+ Dn sinh
sin
x
a
a
a
n =1
ns
nb
nb 2 a
(2 )
Cn cosh
f4 (s) sin
ds = an
+ D n sinh
=
a
a
a a 0
nb
an(2 ) an(1 ) cosh
a
Dn =
nb
sinh
a
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:
nb
a
ny
ny
n
(
1)
I
u (x, y ) =
sinh
x
sin
an cosh a +
n b
a
a
n =1
sinh
(V)
donde:
2 a
ns
2 a
ns
f3(s) sin
ds ;
an(2) =
f4(s) sin
ds
a 0
a
a 0
a
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 Cn y Dn como
se acaba de comprobar.
an(1) =
Obviamente, una vez resueltos estos dos problemas, la solucin del problema
[18.20] de partida es: u ( x , y) = u I ( x, y ) + u II ( x, y )
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:
nx
sin
a nN
Empezamos por representar uII(x, y ) mediante la serie formal:
II
u (x, y) =
n x
un (y ) sin
n=1
A(x, y ) =
n x
an (y) sin
n =1
f1 (x) =
nx
bn sin
n=1
f2 (x) =
donde
nx
cn sin
n =1
n N,an (y) =
n N,bn =
2 a
ns
A(s, y) sin
ds
a 0
a
a
2
ns
f1 (s) sin
ds
a
0
a
2 a
ns
f2 (s) sin
ds
a 0
a
Sustituyendo en la ecuacin diferencial en derivadas parciales las funciones u II y A
por sus correspondientes series, se deduce que las funciones un(y)(n N) , verifican
la coleccin de ecuaciones diferenciales ordinarias no homogneas:
n N,cn =
n N,un (y)
n2 2
un (y) = an (y)
a2
Imponiendo ahora que u II satisfaga las condiciones de frontera en y, se tiene:
II
u (x,0) = f1 (x) =
nx
un (0) sin
n N,un (0) = bn
n=1
II
u (x, b) = f2 (x) =
n x
un (b) sin
n N,un (b) = cn
n=1
2T
1 T
1 2 T
=0
r r r 2 2
r 2
que se verifica para 0 r < 1. Aplicando la tcnica de separacin de variables, se
define que
T = h(r)g()
Por tanto
h 1 h 1 g
+ +
=0
h r h r2 g
o lo que es lo mismo
+
Como
h
h
g
+r
=
=
h
h
g
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
= n2
con n N + 0
por consiguiente
g() = A cos(n) + B sin(n)
Por otro lado,
r 2 h + r h n2 h = 0
que es una ecuacin de Euler. Convenientemente integrada
h(r) = C r n + D r n
como en r 0 debe estar acotada, entonces D = 0. As,
h(r) = C rn
Luego
T(r, ) =
{A n r n cos(n ) + Bn r n sin(n )} + A 0
n =1
n r n 1 {A n cos(n ) + B n sin(n )}
n=1
f() =
n =1
f() d