Met de Separacion de Variables EDP

C APTULO
Mtodos de separacin de variables y desarrollo en autofunciones
bordamos en este tercer captulo dos de las tcnicas ms fructiferas a la hora de resolver EDP lineales. La separacin de variables y el desarrollo en autofunciones. Comenzamos presentando la tcnica de separacin de variables para problemas de contorno homogneos de forma general para despus aplicarla a ejemplos concretos, tratando en detalle diversos problemas fsicos. Posteriormente, analizamos el esquema del desarrollo en autofunciones para resolver problemas de condiciones iniciales y de contorno no homogneos. Finalizamos tratando problemas de contorno en electrosttica y mecnica de uidos. La estructura del tema es como sigue: 1. El mtodo de separacin de variables 2. La ecuacin de Helmholtz en coordenadas cartesianas 3. La ecuacin de Helmholtz en coordenadas cilndricas 4. La ecuacin de Helmholtz en coordenadas esfricas 5. El mtodo del desarrollo en autofunciones 6. Problemas de contorno en electrosttica y mecnica de uidos
3.1. El mtodo de separacin de variables

Este es uno de los mtodos ms antiguos para encontrar soluciones particulares de EDP lineales. Bsicamente permite reducir el problema de la bsqueda de soluciones de cierto tipo de EDP a problemas de resolucin de ecuaciones diferenciales ordinarias. Por otro lado, constituye el elemento bsico de los mtodos de desarrollo en autofunciones para determinar soluciones de problemas de contorno y/o de condiciones iniciales. 119
120
[Captulo 3
3.1.1.
Operadores diferenciales separables
Sea L un operador diferencial lineal actuando sobre funciones diferenciables en un subconjunto de Rn Lu :=

a (x)D u.
Para la discusin siguiente es conveniente denotar L en la forma L = L x 0 , x 1 , . . . , x n 1 ; , ,..., , x0 x1 xn1
operador diferencial separable
que indica que L efecta derivaciones con respecto a las variables (x0 , . . . , xn1 ) y que sus coecientes a = a (x) dependen de esas variables. Denicin 3.1.1. Se dice que L es un operador separable respecto de la variable x0 si puede descomponerse en suma de dos operadores L = A + B, de la forma A = A x0 ; , x0 B = B x 1 , . . . , x n 1 ; ,..., . x1 xn1
Es decir A solo efecta derivaciones respecto de x0 y sus coecientes solo pueden depender de x0 , mientras que B deriva solo respecto de las variables (x1 , . . . , xn1 ) y sus coecientes solo pueden depender de (x1 , . . . , xn1 ).
Ejemplos 1. El operador Lu = xux + yuyy + yzuz + x 2 u, es separable respecto de x ya que L = A + B siendo A x; x =x + x2, x B y, z; 2 , =y + yz . y z y 2 z
2. El operador Laplaciano Lu := u = uxx + uyy + uzz , es separable respecto de cualquiera de sus tres variables (x, y, z). 3. El operador dAlambertiano que aparece en la ecuacin de ondas en 1+3 dimensiones: Lu := utt c 2 u, es separable respecto de cualquiera de sus cuatro variables (t, x, y, z).
Ecuaciones Diferenciales II
3.1]
El mtodo de separacin de variables
121
4. El operador que aparece en la ecuacin de Schrdinger en 1+3 dimensiones: Lu := i ut +
es separable respecto de la variable t . Ser separable respecto respecto de la variable x solo cuando la funcin q = q(x, y, z) sea de la forma q = u(x) + v(y, z). Anlogamente para las variables y y z.
3.1.2. Soluciones de EDP
El mtodo de separacin de variables (MSV) se aplica a EDP lineales homogneas en las que el operador L es separable. Puede resumirse en el siguiente enunciado Teorema 3.1.2. Dada una EDP homognea de la forma A x0 ; u + B x 1 , . . . , x n 1 ; u = 0, ,..., x0 x1 xn1 (3.1)
h o m o g n e a s
2
2m Bw = w, Au + Bu = u u = 0.
u + q(x, y, z)u,
separacin variables ecuaciones homogneas
de en
todo par de funciones v = v(x0 ), w = w(x1 , . . . , xn1 ),
que veriquen el sistema de ecuaciones Av = v, (3.2)
con C arbitrario, determinan una solucin de (3.1) dada por u = v(x0 )w(x1 , . . . , xn1 ). Demostracin. Dadas dos funciones no nulas v = v(x0 ) y w = w(x1 , . . . , xn1 ) vericando (3.2), por la forma de los operadores A y B es claro que A(vw) = w Av = vw, B(vw) = v Bw = vw,
por tanto la funcin producto u = vw satisface
Observaciones 1. La utilidad del MSV radica en que reduce el problema de la bsqueda de soluciones de una EDP (3.1) Au + Bu = 0, con n variables independientes (x0 , x1 , . . . , xn1 ) a un sistema (3.2) que consta de una ecuacin diferencial ordinaria Av = v, Ecuaciones Diferenciales II
122
Mtodos de separacin de variables y desarrollo en autofunciones y una EDP Bw + w = 0,
[Captulo 3
con (n 1) variables independientes (x1 , . . . , xn1 ), que es a su vez otra EDP lineal homognea. Si a esta EDP podemos aplicarle el MSV la reduciremos a una ecuacin diferencial ordinaria y una EDP lineal homognea con n 2 variables independientes. Iterando el proceso concluimos que si es posible aplicar el MSV n 1 veces habremos conseguido reducir la EDP original a un sistema de n ecuaciones diferenciales ordinarias. Cuando esto es posible decimos que la EDP es resoluble mediante el MSV. 2. Las funciones v y w que aparecen en el MSV son autofunciones de los operadores A y B con autovalores y respectivamente. 3. Cuando aplicamos el MSV suponemos que es un parmetro complejo arbitrario. Luego las soluciones u obtenidas dependern de ese parmetro . En una EDP con n variables independientes resoluble mediante el MSV deberemos aplicar el MSV n 1 veces, luego las soluciones obtenidas dependern de los n 1 parmetros = (1 , , n1 ) introducidos por el MSV. Es decir el MSV proporciona una familia (n 1)-paramtrica de soluciones u = u (x). 4. Como la EDP (3.1) Au + Bu = 0, es una EDP lineal y homognea, dada una familia cualquiera de soluciones, {u = u (x), }, cualquier combinacin lineal de los elementos de la familia
N
u(x) =
cn un (x),
n =1
es tambin solucin de la EDP. Bajo condiciones apropiadas tambin podremos construir soluciones mediante combinaciones lineales generalizadas del tipo serie innita u(x) = o una expresin integral u(x) =
cn un (x),
n =1
c()u (x) dn1 ,
0 ,
o incluso una superposicin de ambas formas u(x) =

n =1
cn un (x) +
c()u (x) dn1 .
Esta propiedad permite bajo condiciones favorables generar la solucin general de (3.1). Para ello basta con que la familia de soluciones {u , } contenga un conjunto completo de funciones.
3.1]
3.1.3. Soluciones de problemas de contorno
El MSV puede tambin aplicarse en situaciones en que el problema sea una EDP lineal homognea junto con una serie de condiciones Lu = 0,
h o m o g n e o s
123
operadores de frontera separables
li (u) = 0,
i = 1, . . . , m,
Denicin 3.1.3. Se dice que un operador de frontera l opera solo sobre la variable x0 si para todo par de funciones v = v(x0 ) y w = w(x1 , . . . , xn1 ) se verica l(vw) = w(x1 , . . . , xn1 )l(v). Anlogamente, se dice que l opera slo sobre las variables (x1 , . . . , xn1 ) cuando para todo par de funciones v = v(x0 ) y w = w(x1 , . . . , xn1 ) se satisface que l(vw) = v(x0 )l(w).
Ejemplos 1. Sea R3 , los funcionales l(u) = u|x =1 , l(u) = ux |x =1 ,
solo operan sobre la variable x . Sin embargo l(u) = (ux + uy )|x =1 , solo operan sobre las variables (x, y). 2. Sea R2 y la circunferencia de radio r = 1, el funcional l(u) = u| , no es separable ni respecto de x ni de y . Sin embargo si tomamos coordenadas polares (r , ), el funcional es separable respecto de la variable r ya que l(u) = u|r =1 . El MSV puede aplicarse a problemas de contorno homogneos cuando la EDP es separable y las condiciones de contorno son apropiadas. Podemos resumir la situacin propicia en el siguiente enunciado. l(u) = u|x +y =3 ,
124
[Captulo 3
Teorema 3.1.4. Dado un problema de contorno de la forma A x0 ; u + B x 1 , . . . , x n 1 ; ,..., u = 0, x0 x1 xn1 ai (u) = 0, i = 1, . . . , r , bj (u) = 0, j = 1, . . . , s, (3.3) (3.4) (3.5)
siendo ai y bj operadores de frontera que operan solo sobre las variables x0 y (x1 , . . . , xn1 ) respectivamente. Entonces todo par de funciones v = v(x0 ), w = w(x1 , . . . , xn1 ),
con C, determinan una solucin de (3.3)-(3.4)-(3.5) dada por u = v(x0 )w(x1 , . . . , xn1 ).
que veriquen los sistemas de ecuaciones Av = v, ai (v) = 0, i = 1, . . . , r , Bw = w, bj (w) = 0, j = 1, . . . , s,
(3.6)
(3.7)
Demostracin. Lo nico que resta por demostrar respecto del teorema anterior es que si v = v(x0 ) y w = w(x1 , . . . , xn1 ) satisfacen las condiciones de contorno de (3.6) y (3.7) entonces u = vw satisface las de (3.4)-(3.5). Pero esta propiedad es consecuencia inmediata de las propiedades de los operadores de frontera ai y bj
ai (u) = ai (vw) = wai (v) = 0,
bj (u) = bj (vw) = vbj (w) = 0.

Ejemplos 1. Sea v (x, z) el campo de velocidades de un uido estacionario movindose en el plano XZ por encima de un fondo impenetrable a una profundidad z = h. Ecuaciones Diferenciales II
3.1]
125
h
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
El potencial de velocidades del uido u = u(x, z) est denido por la relacin v = u, y satisface el problema de contorno uxx + uzz = 0, uz |z=h = 0. vzz = v, y wxx = w. Introduciendo el cambio de parmetro = k2 , se obtiene que la solucin de la ecuacin ordinaria para v es v(z) = Aekz + B ekz , imponiendo la condicin de contorno sobre v k(Aekh B ekh ) = 0, Es decir v(z) = A(ekz + e2kh ekz ) = 2Aekh cosh k(z + h). Por otra parte, resolviendo la ecuacin ordinaria para w w(x) = C ei kx + D e i kx . De esta forma hemos determinado la siguiente familia de soluciones ei kx + D e i kx ) cosh k(z + h), u(x, z) = 2A(C C. A B = Ae2kh .
Podemos aplicar el MSV, buscando soluciones de la forma u = v(z)w(x) donde vz |z=h = 0,
126
[Captulo 3
2. Es muy frecuente encontrarse con problemas de contorno en que el MSV no es aplicable inicialmente, pero que si lo sea al efectuar un cambio apropiado de variables independientes. Por ejemplo, consideremos de nuevo el problema del campo develocidades de un uido estacionario movindose en el plano XZ por encima de un fondo impenetrable, pero supongamos ahora que este fondo no es horizontal sino que es descrito por una recta de ecuacin z = mx, m = tan . z
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
separacin de variables y cambios de coordenadas
El potencial de velocidades del uido u = u(x, z) satisface entonces el problema de contorno u = 0. n z=mx Teniendo en cuenta que un vector normal unitario al fondo es n = sen i + cos k el problema de contorno se transforma en uxx + uzz = 0, sen ux + cos uz uxx + uzz = 0,
Esta claro que la condicin de contorno no permite la aplicacin directa del MSV. Sin embargo, si introducimos el cambio de coordenadas x = cos x sen z, z = sen x + cos z, el problema se reduce a ux x + uz z = 0, uz |z =0 = 0,
z=mx
= 0.
al cual s podemos aplicar el MSV, y como vimos en el ejemplo anterior u(x , z ) = 2Aekh (C ei kx + D e i kx ) cosh kz . Para escribir la solucin en trminos de las variables (x, z) basta introducir en u las expresiones de (x , z ) en funcin de (x, z).
3.1]
127
3.1.4. El MSV y las ecuaciones de la fsica matemtica

El MSV est ligado a la resolucin de problemas del tipo N u a N Lu = f , t (a, b), x Rn , t i u = fi (x ), i = 1, . . . N 1, t i t =t0 lj (u) = gj (t, x ), j = 1, . . . , s,
separacin de variables en Fsica Matemtica
(3.8)
Estas autofunciones de L determinan las denominadas ondas estacionarias del problema fsico descrito por (3.8), que son las funciones de la forma e i t w(x ), R,
siendo L un operador de SturmLiouville en las variables x , y donde lj son serie de operadores de frontera espaciales. Estos problemas surgen de manera natural en electromagnetismo, mecnica de medios continuos o en mecnica cuntica. Es de observar que la EDP es no homognea y que el operador correspondiente es separable respecto de la variable t . Como veremos posteriormente, el mtodo de resolucin relevante en este contexto es el mtodo de desarrollo en autofunciones que se basa en la construccin de la solucin a travs de familias de soluciones del problema espectral asociado Lw = w, lj (w) = 0, j = 1, . . . , s.
ondas estacionarias
que verican la EDP de (3.8). Esta condicin determina la frecuencia de la onda, ya que al sustituir la funcin en la EDP se obtiene a( i )N e i t w = e i t w, simplicando se obtiene la relacin de dispersin a( i )N = ,
que relaciona con . Solo en el caso en que existan soluciones reales de esta relacin podemos hablar de ondas estacionarias en el fenmeno fsico correspondiente. Si tomamos L = la separacin de variables nos conduce a la de Helmholtz w + w = 0. Ecuacin que estudiaremos en detalle en breve. Ejemplos 1. Consideremos un problema tpico con la ecuacin de ondas en 1 + 1 dimensiones 2 u = u t (a, b), x (0, l), tt xx , c u = f1 (x), t =t 0 ut = f2 (x), t =t 0 u = g1 (t), x =0 u = g2 (t).
x =l
i c a c n u e
frecuencia
relacin de dispersin
ecuacin Helmholtz
de
128
Mtodos de separacin de variables y desarrollo en autofunciones El problema espectral asociado es wxx = w, Las soluciones son wn (x) = sen kn x, kn = n, l n = 1, 2, . . . w(0) = 0, w(l) = 0.
[Captulo 3
con n = k2 n . La relacin de dispersin es c 2 ( i )2 = k2 , luego las ondas estacionarias del problema son un (t, x) = e i n t sen kn x, n = ckn .
2. Consideremos ahora un problema con la ecuacin de Schrdinger en 1 + 1 dimensiones 2 uxx , i ut = 2m u = f1 (x), t =t 0 u = g1 (t), x =0 u = g2 (t).
x =l
t (a, b), x (0, l),
El problema espectral asociado es Las soluciones son
2
2m
wxx = w,
w(0) = 0, w(l) = 0.
wn (x) = sen kn x, donde n = La relacin de dispersin es =
kn =
n, l
n 1,
2 k2 n
2m
k2
2m
luego las ondas estacionarias del problema son un (t, x) = e i n t sen kn x, n =
k2 n
2m
En las prximas tres secciones vamos a resolver la ecuacin de Helmholtz en distintas situaciones y a analizar diferentes aplicaciones. Estudiaremos el problema en diferentes sistemas de coordenadas: cartesianas, polares, cilndricas y esfricas. Tambin veremos distintas aplicaciones en uidos y mecnica cuntica.
3.2]
La ecuacin de Helmholtz en coordenadas cartesianas
129
3.2. La ecuacin de Helmholtz en coordenadas cartesianas

Vamos pues a considerar la resolucin de uxx + uyy + uzz + k2 u = 0, Aplicando el MSV, buscamos una solucin de la forma u(x, y, z) = X(x)w(y, z), tal que 2 d X = X, d x2 w 2 yy + wzz + k w = w, k C.
separacin de variables ecuacin de Helmholtz en cartesianas
donde = k2 1 C. Separando variables de nuevo, buscamos una solucin de la segunda ecuacin de la forma w(y, z) = Y (y)Z(z) tal que 2 d Y = Y , d y2 d2 Z + (k2 k2 1 )Z = Z d z2
2 2 2 2 donde = k2 2 C. Llamando k3 = k k1 k2 vemos que la solucin buscada tiene la forma
con
uk1 ,k2 ,k3 (x, y, z) = Xk1 (x)Yk2 (y)Zk3 (z), i k1 x + b e i k1 x , 1 Xk1 (x) = a1 e i k y 2 Yk2 (x) = a2 e + b2 e i k2 y , Zk1 (x) = a3 ei k3 z + b3 e i k3 z .
2 2 k2 = k2 1 + k2 + k3 .
(3.9)
Las condiciones de contorno a las que se adecan estas soluciones son aquellas en las que la frontera estn formada por planos paralelos a los planos coordenados. Pasamos a analizar ejemplos de este tipo.
3.2.1. Partcula cuntica en una caja impenetrable

Los estados estacionarios de una partcula de energa E en una caja impenetrable de lados L1 , L2 y L3 se describe mediante el siguiente problema de Dirichlet 2 2 m u = Eu, u
paredes
= 0.
130
Mtodos de separacin de variables y desarrollo en autofunciones z L3
[Captulo 3
L2
L1 x La EDP es una ecuacin de Helmholtz con k2 = 2mE
y la condicin de contorno se
desglosa en las siguientes condiciones
u(L1 , y, z) = 0, u(x, L2 , z) = 0, u(x, y, L3 ) = 0. Impongamos estas condiciones de contorno sobre uk1 ,k2 ,k3 (x, y, z) = Xk1 (x)Yk2 (y)Zk3 (z) de (3.9). Para Xk1 se tendr
i k1 L1
u(0, y, z) = 0, u(x, 0, z) = 0,
u(x, y, 0) = 0,
a1 e que implica que
a1 + b1 = 0,
+ b1 e i k1 L1 = 0 k1 = n1 , n1 Z L1
a1 = b1 , y por tanto
n1 x. L1 Un procedimiento anlogo en las variables y, z nos permite concluir que Xk1 (x) = A1 sen uk1 ,k2 ,k3 (x, y, z) = a sen n1 n2 n3 x sen y sen z , L1 L2 L3 n1 , n2 , n2 Z.
2 2 El parmetro k2 = k2 1 + k2 + k3 es entonces de la forma
k2 = 2
n2 1 L2 1
n2 2 L2 2
n2 3 L2 3
y se obtiene as la siguiente cuanticacin de la energa En1 ,n2 ,n3 =
2 2 n2 1
2m L2 1
n2 2 L2 2
n2 3 L2 3
3.2]
131
Podemos considerar una versin del mismo problema en dos dimensiones haciendo 2 z = 0. Representamos a continuacin la funcin u(x, y) que representa la densidad de probabilidad de presencia de la partcula en el punto (x, y) del rectngulo [0, 2] [0, 1] con n1 = 3 y n2 = 2
3.2.2. Partcula cuntica en una caja con condiciones
Imponemos ahora condiciones de contorno peridicas, esto es: u(0, y, z) = u(L1 , y, z), u(x, 0, z) = u(x, L2 , z),
i d i e r c a s p
ux (0, y, z) = ux (L1 , y, z), uy (x, 0, z) = uy (x, L2 , z), uz (x, y, 0) = uz (x, y, L3 ), Estas condiciones aplicadas a las autofunciones uk1 ,k2 ,k3 de (3.9) nos llevan a ai + bi = ai ei ki Li + bi e i ki Li , u(x, y, 0) = u(x, y, L3 ),
ai bi = ai ei ki Li bi e i ki Li
con i = 1, 2 y 3. Para que estos sistemas lineales posean soluciones no triviales (ai , bi ) (0, 0) debemos exigir que 1 ei ki Li 1 ei ki Li esto es (ei ki Li /2 e i ki Li /2 )2 = 0, Ecuaciones Diferenciales II 1 e i ki Li = 0; (1 e i ki Li )
132
Mtodos de separacin de variables y desarrollo en autofunciones condicin que se satisface idnticamente cuando ki = Las energas posibles son 2 ni , Li
[Captulo 3
En1 ,n2 ,n3 =
Para los valores hallados de ki , las ecuaciones para ai y bi se verican trivialmente, as que las soluciones u correspondientes son las funciones de (3.9).
3.2.3.
Fluido en una tubera
El uido en un tubera, modelada como el conjunto [0, L] R [0, L ] R3 , z
l i d i e c a a r p p
2
2m 4 2 n2 1 L2 1 + n2 2 L2 2 + n2 3 L2 3 . y x
ni Z,
i = 1, 2, 3.
L L
tiene un potencial de velocidades u determinado por el siguiente problema de contorno de Neumann para la ecuacin de Laplace u = 0 , ux (0, y, z) = 0, ux (L, y, z) = 0, u (x, y, 0) = 0, z u (x, y, L ) = 0. z
Vamos pues a imponer sobre uk1 ,k2 ,k3 = Xk1 (x)Yk2 (y)Zk3 (z) estas condiciones. Para la funcin Xk1 = a1 ei k1 x + b1 e i k1 x tenemos X (0) = X (L) = 0 Ecuaciones Diferenciales II
3.2] que implica el sistema
133
a1 e
i k1 L
a1 b1 = 0,
b1 e i k1 L = 0.
La existencia de soluciones no triviales (a1 , b1 ) (0, 0) requiere 1 ei k1 L esto es sen(2k1 L) = 0, luego 1 = 0, e i k1 L n, L n Z.
k1 =
Como a1 = b1 las autofunciones son Xn (x) = cos Un anlisis similar en la variable z lleva a k3 = con autofunciones asociadas Zn (z) = cos n z. L n, L n Z nx. L
Para la variable y no tenemos condiciones de contorno que imponer, sin embargo, ahora estamos resolviendo la ecuacin de Laplace; esto es la ecuacin de Helmholtz con k 2 = 0.
2 2 2 Por tanto, como k2 1 + k2 + k3 = k = 0 deducimos que
k2 = i y obtenemos las soluciones siguientes

cos nx cos n z e L L
n 2 n2 + , L2 L 2
n2 n 2 + 2 y L2 L
n, n Z.
A continuacin ilustramos los campos de velocidades para L = L = correspondientes a n = 1, n = 0 v 10 (x, y, z) = sen x ey i cos x ey j y a n = 1, n = 1 v 11 (x, y, z) = sen x cos z e
2y 2y 2y
i 2 cos x cos z e
j cos x sen z e
134
[Captulo 3
n = 1, n = 0
n = 1, n = 1
3 2 z 1 0 0 1 y1 2 3 2 x 0
3 2 z 1 0 0 y 1
3.3. La ecuacin de Helmholtz en coordenadas

separacin de variables ecuacin de Helmholtz en cilndricas
Cuando se usan coordenadas cilndricas x = r cos , z = z, z
i l d i n r a s c c
0 1 2 x 2 3
y = r sen ,
z y
r
x
3.3]
La ecuacin de Helmholtz en coordenadas cilndricas
135
la ecuacin de Hemholtz se escribe como sigue ur r + 1 1 ur + 2 u + uzz + k2 u = 0. r r
Separamos variables a travs de la factorizacin u(r , , z) = V (r , )Z(z) que transforma la ecuacin de Helmholtz en Z + k2 Z = 2 Z,
r 2 Vr r + r Vr + V = 2 r 2 V . La solucin de la primera EDO es Z (z) = Aei

k2 2 z
+ B e i
k2 2 z
(3.10)
Para la segunda ecuacin tambin podemos separar variables V (r , ) = R(r )() para obtener las ecuaciones r 2 R + r R + 2 r 2 R = m2 R, = m2 .
La solucin general de la segunda es m () = C ei m + D e i m . (3.11)
Queda pues analizar la ecuacin para R , EDO que se conoce como ecuacin radial. Para sta se dan dos casos distintos. En primer lugar consideramos = 0 y la correspondiente ecuacin es r 2 R + r R m2 R = 0 cuya solucin es c1 ln r + c2 R=0,m (r ) = c 1 r m + c 2 r m m = 0, m 0. (3.12)
Cuando 0, realizando el cambio de variable = r , la correspondiente EDO se reduce a d2 R dR 2 + + ( 2 m2 )R = 0, 2 d d que es la conocida ecuacin de Bessel. Por tanto, la solucin es R,m (r ) = EJm (r ) + F Nm (r ). (3.13)
136
[Captulo 3
3.3.1.
Coordenadas polares
La ecuacin del Helmholtz en dos dimensiones espaciales, escrita coordenadas polares es 1 1 ur r + ur + 2 u + k2 u = 0. r r Es la misma ecuacin que aparece cuando en la ecuacin de Helmholtz en cilndricas buscamos soluciones que no dependen de la variable independiente z. Por ello, basta con hacer 2 = k2 en lo expuesto ms arriba para obtener las soluciones correspondientes.
3.3.2.
Partcula cuntica en una cua cilndrica impenetrable
Consideramos ahora una partcula cuntica encerrada en una cua cilndrica de radio a, altura h y con apertura de ngulo 0 tal como muestra la gura z h
a 0 x
Los estados estacionarios vienen descritos por las soluciones de cuadrado integrable del siguiente problema de contorno de Dirichlet 2 u = Eu, 2M u paredes=0 E=
que llamando
2 k2
2M
3.3]
137
escribimos como el siguiente problema de contorno para la ecuacin de Helmholtz en coordenadas cilndricas u + k 2 u = 0 , u r =a = 0 , u =0 = 0 , u =0 = 0, u z =0 = 0 , u z =h = 0 . Aplicando el MSV se encuentran las soluciones de la forma R,m (r )m ()Z (z), que deben satisfacer las condiciones de contorno y regularidad. En primer lugar nos centramos en la funcin angular m (3.11); las condiciones de contorno en la variable son m (0) = m (0 ) = 0, que conducen al siguiente sistema lineal para C y D C + D = 0 , ei m0 C + e i m0 D = 0. 1 ei m0 que es equivalente a que sen m0 = 0. Por tanto m=j Adems D = C y , 0 j N. 1 = 0, e i m0
Este sistema lineal posee una solucin no trivial si y slo si
m () = 2C sen(m).
En segundo lugar nos ocupamos de la variable z e imponemos las correspondientes condiciones de contorno a Z de (3.10). As obtenemos el siguiente sistema lineal para AyB A + B = 0 , ei k2 2 h A + e i k2 2 h B = 0, que admite solucin no trivial si y solo si sen k2 2 h = 0. Ecuaciones Diferenciales II
138
Mtodos de separacin de variables y desarrollo en autofunciones As pues k2 = n2 Adems B = A y 2 + 2 , h2 n N.
[Captulo 3
nz. h Por ltimo analizamos la variable radial r . La funcin radial R(r ) no debe tener singularidades para r = 0 y adems debe satisfacer R(a) = 0. Por ello, y teniendo en cuenta la forma (3.12), se deduce que no hay soluciones no triviales para = 0 y este caso queda descartado. Slo resta por ver que ocurre para 0, ahora de (3.13) se deduce F = 0 (regularidad en el origen) y la condicin de contorno impone que Z (z) = 2A sen Jm (a) = 0. Por ello, si {cm, } son los ceros1 de la funcin de Bessel Jm (x) llegamos a que =1 m=j = Las energas admisibles son por tanto Ej,,n 2 n2 = + 2M h2 , 0 , j N, N.
cm, a
(cj
0 ,
)2 , j, , n N
a2
y las correspondientes autofunciones sern Jj cj

0 0 ,
r z sen n sen j . a 0 h
El problema de una partcula cuntica bidimensional encerrada en una cua tal como indica la gura y
Dado el comportamiento
observamos para los ceros que
i i t s n c o a
Jm (x) cm, (2 + 1)
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxx
2 cos x (2m + 1) x 4 + (2m + 1) . 2 4
3.3]
139
se resuelve (en coordenadas polares) haciendo n = 0. Por ejemplo, si a = 1 y 0 = /2 las energas y los estados estacionarios son
2
2M
(c2j, )2 ,
J2j (c2j, r ) sen(2j),
j, Z,
respectivamente. Por ejemplo, para j = 1, los dos primeros ceros de la funcin de Bessel J2 son c2,1 5,135622302, c2,2 8,417244140, para j = 2 el primer cero de la funcin J4 es c4,1 7,588342435.
Fcilmente se comprueba que estos son los tres primeros ceros que aparecen. Por tanto el estado fundamental, el primer y segundo excitados viene representados por
J2 (c2,1 r ) sen(2),
J4 (c4,1 r ) sen(4),
J2 (c2,2 r ) sen(2).
A continuacin mostramos la secuencia formada por los cuadrados de estas funciones
3.3.3. Fluido en una tubera cilndrica

El potencial de velocidades u de un uido estacionario en una tubera de seccin circular como la que muestra la gura
140
[Captulo 3
z a
se encuentra caracterizado por el siguiente problema de contorno de Neumann para la ecuacin de Laplace u = 0 , Hemos tenido en cuenta que u r
r =a
= 0.
1 u u + uz uz r en donde el triedro ortonormal {ur , u , uz } se construye en trminos del triedro cartesiano {i, j , k} como sigue u = ur ur + ur = cos i + sen j , u = sen i + cos j , u z = k. Ilustramos en el siguiente diagrama la geometra involucrada
uz
u ur
k j i
3.4]
La ecuacin de Helmholtz en coordenadas esfricas
141
Por tanto, la normal unitaria a la supercie de la tubera cilndrica es precisamente n = ur de donde se deduce que la derivada normal en esa supercie es u = n u = ur . n Impongamos estas condiciones de contorno a R,m (r )m ()Z (z) en donde tomamos k = 0 (la EDP es la ecuacin de Laplace). Las funciones deben ser regulares en el origen r = 0 as como 2 -peridicas en , luego m Z+ , y satisfacer la condicin de Neumann homognea en la supercie del cilindro r = a: esto es,
R,m (a) = 0.
Por tanto, 0, ya que cuando = 0 slo es posible la solucin trivial. Si 0 las funciones radiales sern, por regularidad en r = 0, Jm (r ) y por ello la condicin de contorno se lee
Jm (a) = 0. entonces Si denotamos por {cm, }N a los ceros2 de Jm
m, = Finalmente, las soluciones son Jm m, r a
cm,
m Z+ , N.
C ei m + D e i m
Aem, z + B em, z .
3.4. La ecuacin de Helmholtz en coordenadas esfricas

En coordenadas esfricas
separacin de variables ecuacin de Helmholtz en esfricas
Dado el comportamiento
observamos para los ceros que
i i t s n c o a
Jm (x)
x = r sen cos , y = r sen sen , z = r cos ,

2 sen x (2m + 1) x 4 . 4
+ (2m + 1) cm,
142
[Captulo 3
r
y
la ecuacin de Helmholtz se escribe
Una primera separacin de variables:
nos lleva a desacoplar la ecuacin en parte radial y angular3 como sigue r (r R) + k2 r 2 R = R,
3.4.1.
es separable. As, la factorizacin
conduce a la pareja de EDOs siguientes
Por tanto,
1 L2 Y 1 (sen Y ) + Y = 2 2 sen sen donde L es el operador momento angular en
i l i e c a c n e s o c n u u R b s r e s m v O i i t e c n c n c u . a a
r (r u)r r + k2 r 2 u + u(r , , ) = R(r )Y (, ) 1 1 (sen Y ) + Y = Y . sen sen2
1 1 (sen u ) + u = 0. sen sen2
de la
angular
La ecuacin angular escrita en la forma
sen (sen Y ) + Y sen2 + Y = 0,
Y (, ) = P ()(),
sen (sen P ) + sen2 P = m2 P , = m2 .
() = C ei m .
que
3.4]
143
Asumiremos que m Z para poder asegurar la continuidad en el plano xz. Por otro lado, usando la variable := cos la ecuacin para P adopta la forma m2 dP d (1 2 ) + P = 0. d d 1 2 (3.14)
ecuacin de Legendre adjunta
Esta es la de Legendre adjunta , que cuando m = 0 se reduce a la ecuacin de Legendre. Se comprueba que si P es solucin de la ecuacin de Legendre dP d (1 2 ) + P = 0, d d P =: (1 2 )|m|/2 d |m | P , d |m| (3.15)
i c a c n u e
P :=
entonces
es solucin de la ecuacin de Legendre adjunta. La ecuacin (3.15) posee soluciones regulares en = 1 si y slo si = ( + 1), = 0, 1, 2, . . . , (3.16)
que vienen dadas por los polinomios de Legendre cuya expresin (sin normalizar) es d ( 2 1) , d = 0, 1, . . . .
Por tanto4 (3.14) poseer soluciones regulares en = 1 si y slo si se cumple la condicin (3.16), y las soluciones correspondientes de (3.14) son P,|m| := (1 2 )|m|/2 d|m|+ ( 2 1) , d |m|+ |m| , = 0, 1, . . . . (3.17)
Obsrvese adems que estas soluciones son no triviales si y solo si |m| . Por tanto las soluciones de la ecuacin angular pueden escribirse en la forma Y,m (, ) := c,m P,|m| (cos )ei m , = 0, 1, 2, . . . , m = 0, 1, . . . , ,
armnicos esfricos
de Legendre adjunta es un problema de SturmLiouville en el intervalo [1, 1] con La () = 1, p() = 1 2 y q(x) = m2 /(1 2 ). A pesar de ser singular posee un conjunto ortogonal completo de autofunciones:
1
que son las funciones denominadas armnicos esfricos donde la constante de normalizacin, siguiendo el convenio de Condon y Shortley, la tomaremos como +1 (|m|)! 1 (1)m 24 (+|m|)! 2 ! , m 0, c,m := +1 (|m|)! 1 24 m < 0. (+|m|)! 2 ! ,
4
i e c c n u a
P,|m| ()P ,|m| () d = 0,
si .
144
[Captulo 3
Teniendo en cuenta que el valor absoluto Y,m es una funcin que no depende de , podemos ilustrar la variacin de los armnicos esfricos representando la supercie de revolucin r = r (, ) := Y,m (, ) . Los armnicos esfricos constituyen adems un conjunto ortonormal completo en L2 (S 2 ) := f = f (, ) : f (, )
2
S2
dS < ,
donde S 2 = {(x, y, z) R3 : x 2 + y 2 + z2 = 1} es la esfera de radio unidad en R3 , y d S = sen d d es el elemento de rea en la esfera. El producto escalar es (f , g) := (, )g(, ) d S = f
2 0 0
S2
(, )g(, ) sen d d . f Esto es forman un conjunto ortonor-
As, tenemos la base ortonormal {Y,m } mal
=0,1,... . m=,...,
(Y,m , Y ,m ) = mm y toda funcin f (, ) de L2 (S 2 ) admite un desarrollo f (, ) = donde

2 0
c,m Y,m (, )
,m
c,m = (Y,m , f ) =
,m (, )f (, ) sen d d . Y
3.4]
145
Ejemplos Vamos a considerar ahora algunos ejemplos sencillos de armnicos esfricos asociados a = 0, 1, 2: Cuando = 0, tenemos m = 0. Ahora P0,0 = 1 y la constante de normalizacin es c0,0 = 1/ 4 . Por tanto, 1 . 4
Y0,0 (, ) =
La grca correspondiente es
Si = 1 podemos tener tres casos: m = 1, 0, 1. Debemos evaluar las funciones de Legendre P1,0 y P1,1 . Acudiendo a la frmula (3.17) obtenemos d ( 2 1) = 2, d d2 ( 2 1) = 2 1 2 . d 2
P1,0 () = P1,1 () = 1 2 Por ello,
Y1,0 (, ) = Y1,1 (, ) = 3 sen ei , 8
3 cos , 4 Y1,1 (, ) = 3 sen e i . 8
A continuacin representamos las supercies r = Yl,m (, ) para estos armnicos esfricos
146
[Captulo 3
=1
Y1,0 (, )
Y1,1 (, )
Para = 2 es fcil obtener
Y2,0 (, ) = Y2,1 (, ) = Y2,2 (, ) = 15 sen cos ei , 8
5 (1 + 3 cos2 ), 16 Y2,1 (, ) = Y2,2 (, ) = 15 sen cos e i , 8 15 sen2 e2 i . 32
15 sen2 e2 i , 32
Siendo las correspondientes grcas
3.4]
147
=2
Y2,2 (, ) Y2,0 (, ) Y2,1 (, )
Por ltimo, como ejercicio dejamos el clculo de Y5,3 (, ) = Cuya representacin es 1 32 385 (1 + 9 cos2 ) sen3 e3 i
3.4.2.
Distinguimos dos casos segn k sea nulo o no. Si k = 0 la ecuacin radial
l i i e s o c n e c a c n u u R
de la radial
r 2 R + 2r R ( + 1)R = 0 Ecuaciones Diferenciales II
148
[Captulo 3
que es una EDO tipo Euler. Probando soluciones de la forma r inmediatamente se llega a la solucin general que es de la forma R(r ) = Ar + B Cuando k 0 la EDO para R es r 2 R + 2r R + (k2 r 2 ( + 1))R = 0. Introduciendo la nueva variable dependiente S(r ) := r R(r ) podemos escribir esta ecuacin como L S := S + 2( + 1) S + k2 S = 0. r 1 r +1 . (3.18)
Denimos ahora el operador diferencial T T S := 1 S r
y calculamos el conmutador [L , T ] teniendo en cuenta que L u = ( As, se obtiene [L , T ] = Por tanto, L T S = 2T 2 S o bien (L + 2T )T S = 0. Observando que L + 2 T = L +1 concluimos que L +1 T S = 0 . Por ello, si S0 verica L0 S0 = 0 entonces S := T S0 satisface L S = 0 . 2 S + k 2 S0 = 0 r 0 d2 , T = 2T 2 . d r2 d2 + 2(l + 1)T + k2 )u. dr 2
As pues, nuestro problema se reduce a analizar la ecuacin

+ L 0 S0 = S0
3.4]
149
que podemos escribir como (r S0 ) + k2 r S0 = 0. La expresin general para S0 ser entonces S0 (r ) = A sen kr cos kr +B . r r
Deducimos por ello que la solucin general S para L S = 0 es S (r ) = A 1 d r dr

sen kr
+B
1 d r dr
cos kr
y que la funcin radial R (r ) es R (r ) = Ar 1 d r dr

sen kr
+ Br
1 d r dr
cos kr
Introduciendo las funciones esfricas de Bessel y Neumann j (r ) := (r ) 1 d r dr

sen r
n (r ) := (r )
1 d r dr
cos r
y re-deniendo las constantes arbitrarias A y B concluimos que la funcin radial es R (r ) = Aj (kr ) + Bn (kr ). (3.19) Las primeras funciones esfricas son: =0 =1 =2
j (r ) n (r )
sen r r cos r r
cos r sen r r2 r cos r sen r 2 r r
El comportamiento de estas funciones en el origen5 es r , (2 + 1)!! r 0. (2 1)!! n (x) , r +1 j (r )
A continuacin mostramos la grca de las funciones esfricas de Bessel y Neumann para = 0, 1, 2, 3

5
Las funciones de Bessel y Neumann j (r ) =
1 cos r ( + 1) r 2 n (r ) = sen r ( + 1) r 2
f i r c s e s a
sen r cos r sen r 3 2 r3 r r cos r sen r cos r 3 3 3 2 + r r r 3
(3.20)
poseen el siguiente comportamiento en el innito
r .
150
[Captulo 3
j0
j1 j2 j3
0 n0 n1 0,4 n2 n3
3.4.3.
Partcula cuntica en una caja
Los estados estacionarios de energa E de una partcula libre en el interior de una esfera de radio a de paredes impenetrables viene descrita por las soluciones del problema de contorno siguiente: u + k2 u = 0, u| r =a = 0 . E=
f i e s r c a
10
2 k2
2M
Debemos imponer a las soluciones de la ecuacin de Helmholtz u(r , , ) = Rk, (r )Y,m (, ) tanto la regularidad en el origen como las condiciones de contorno. La regularidad en el origen impone que B = 0 en (3.18) y (3.19). Por otro lado la condicin de contorno para el caso (3.18) conduce a A = 0 y a la solucin trivial, mientras que para (3.19) conduce a j (ka) = 0. As, si {c,n } n=1 son los ceros, que forman una secuencia creciente no acotada, de la funcin esfrica de Bessel j los valores admisibles de la energa son E,n =
2 2 c,n
2M a2
3.4]
151
y los correspondientes estados estacionarios
u,m,n (r , , ) = j
c,n a
r Y,m (, ).
La densidad de probabilidad u,m,n no depende de la variable . Por tanto, podemos representar, usando coordenadas polares (r , ), la probabilidad en los planos que contienen al eje z, = constante, y esta representacin ser la misma para todos estos planos.
Los tres primeros ceros son
c0,1 = ,
c1,1 4,493409458,
c2,1 5,763459197,
y por ello las energa del estado fundamental y de los primeros excitados es aproximadamente
9,869604404, 2Ma2
20,190728557, 2Ma2
2
2Ma2
33,217461915.
El nivel fundamental es simple con autofuncin u001 y la probabilidad en uno de los planos que contienen al eje z se representa como
152
[Captulo 3
= 0, m = 0, n = 1
Para el primer excitado tenemos degeneracin 3, estos es el subespacio propio es tridimensional y est generado por {u1m1 }m=0,1 , para m = 0 y para m = 1 representamos las correspondientes densidades de probabilidad en los mencionados planos = 1, m = 0, n = 1 = 1, m = 1, n = 1
3.4.4.
Fluido en el interior de una caja
El potencial de velocidades u para un uido estacionario en un recinto esfrico de radio a se encuentra caracterizado por el problema de Neumann siguiente u = 0 , En donde hemos tenido en cuenta que u = ur ur +
f i e s r c a
ur |r =a = 0. 1 1 u u + u u r r sen
3.5]
El mtodo de desarrollo en autofunciones (MDA)
153
y la base ortonormal {ur , u , u } es ur = sen cos i + sen sen j + cos k, u = cos cos i + cos sen j sen k, u = sen i + cos j . Estos vectores los dibujamos a continuacin
u ur k j i Por tanto, la normal unitaria a la supercie esfrica es precisamente n = ur y as u = n u = ur . n u
Tenemos una ecuacin de Helmholtz con k = 0 (ecuacin de Laplace). La regularidad en el origen implica que B = 0 por ello las posibles autofunciones son de la forma r Y,m (, ). La condicin de contorno implica que = 0 y por ello el potencial es constante. Esto quiere decir que el uido no se mueve.
3.5. El mtodo de desarrollo en autofunciones (MDA)

Este es el mtodo clsico para resolver problemas de contorno y/o de condiciones iniciales de tipo lineal. Se aplica en situaciones en que las ecuaciones son inhomogeneas y se basa en el uso de desarrollos en conjuntos completos de autofunciones de uno de los operadores que aparecen en la EDP correspondiente.
3.5.1. El MDA en problemas
El MDA puede aplicarse a problemas inhomogneos
Au + Bu = f , x , ai (u) = gi , i = 1, . . . , r bj (u) = hj , j = 1, . . . , s.
i h n o m o g n e o s
154
Mtodos de separacin de variables y desarrollo en autofunciones sobre un dominio = I 0 , x = (x0 , x ), x0 I, x = (x1 , . . . , xn1 ) 0 ,
[Captulo 3
siendo I un intervalo abierto de R y 0 un abierto de Rn1 . La EDP y las condiciones de contorno y/o iniciales deben vericar: 1. La EDP es de la forma A x0 ; ,..., u + B x 1 , . . . , x n 1 ; u = f (x). x0 x1 xn1 (3.21)
2. El sistema de condiciones de contorno y/o iniciales se divide en dos subsistemas. Uno de ellos ai (u) = gi (x ), i = 1, . . . , r , (3.22)
contiene operadores ai que operan solo sobre la variable x0 , mientras que en el otro bj (u) = hj (x), j = 1, . . . , s, (3.23) aparecen operadores (x1 , . . . , xn1 ). bj que operan solo sobre las variables
3. El operador B es simtrico sobre el dominio
D = {w C (0 ) : bj (w) = 0, j = 1, . . . , s },
en un espacio L2 ( 0 ).
(3.24)
4. Los trminos inhomogneos f y gi del problema admiten desarrollos de la forma f (x) = gi (x ) = fm (x0 )wm (x ),
m
cim wm (x ),
m
i = 1, . . . , r ,
en un conjunto de autofunciones en D del operador B Bwm = m wm , que por tanto satisfacen las condiciones de contorno homogneas bj (wm ) = 0, j = 1, . . . , s.
mtodo de desarrollo en autofunciones
Supuesto que se cumplen estas condiciones el MDA se aplica mediante el siguiente proceso: 1. Se busca una solucin del problema en forma de un desarrollo en serie en autofunciones u(x) = vm (x0 )wm (x ).
m
(3.25)
3.5]
155
Las incgnitas son entonces los coecientes vm (x0 ) de la serie. Como las funciones wm forman un conjunto ortogonal, se verica (wm , u) = vm (x0 ) wm
2
(3.26)
siendo (, ) la operacin de producto escalar en L2 (0 ). Por otra parte como el operador A solo opera sobre la variable x0 , mientras que la operacin de producto escalar solo integra sobre las variables (x1 , . . . , xn1 ), es de esperar que bajo condiciones apropiadas de regularidad se verique (wm , Au) = A(wm , u) = wm donde se ha usado (3.26) en la segunda igualdad. 2. Se multiplica escalarmente la EDP por cada funcin wm (wm , Au) + (wm , Bu) = (wm , f ), y usando (3.27) se obtiene wm
2 2
Avm ,
(3.27)
Avm + (wm , Bu) = wm
fm .
(3.28)
El segundo trmino del primer miembro requiere un anlisis aparte. En primer lugar es de observar que B es simtrico sobre el dominio (3.24), pero u no estar en ese dominio salvo que los datos hj (x) sean cero. Para poder aplicar el MDA debe suceder que al pasar el operador B de derecha a izquierda en el producto escalar (wm , Bu), las condiciones de frontera bj (u) = hj deben ser equivalentes a poder descomponer (wm , Bu) = (Bwm , u) + Im (h), donde los trminos Im (h) deben ser de la forma Im (h) = Cmj hj (x) d S,
j
(3.29)
S(0 )
con Cmj siendo operadores actuando sobre los datos hj que habr que determinar en cada caso. Por otro lado se verica que (Bwm , u) = (m wm , u) = m (wm , u) = m wm
2
vm ,
donde se ha tenido en cuenta que al ser B simtrico sus autovalores son nmeros reales. De esta forma se obtiene que (3.28) adopta la forma Avm + m vm + Im (h) wm
2
= fm .
(3.30)
Obtenemos as una ecuacin diferencial ordinaria para cada coeciente vm (x0 ).
156
[Captulo 3
3. Una vez obtenida la solucin general de la ecuacin diferencial ordinaria para cada funcin vm , debemos exigir que la solucin en forma de serie u = u(x) satisfaga las condiciones de contorno ai (u) = gi (x ), i = 1, . . . , r . Para ello emplearemos la misma tctica que con la EDP multiplicando escalarmente las ecuaciones de las condiciones de contorno/iniciales por cada funcin wm (wm , ai (u)) = (wm , gi ). Como los operadores ai solo operan sobre la variable x0 , mientras que la operacin de producto escalar solo integra sobre las variables (x1 , . . . , xn1 ), bajo condiciones apropiadas de regularidad se vericar (wm , ai (u)) = ai ((wm , u)) = wm Adems, dado que g i (x ) = es claro que (wm , gi ) = wm Por tanto se obtiene ai (vm ) = cim (3.33) que son junto con la ecuacin (3.30) las condiciones para determinar los coecientes vm del desarrollo (3.25) buscado. 4. Una simplicacin considerable se encuentra cuando las funciones hj son cero, es decir cuando las condiciones de contorno (3.23) son homogneas bj (u) = 0, j = 1, . . . , s.
2 2
ai (vm ).
(3.31)
cim wm (x ),
m
(3.32)
c im .
En este caso la funcin buscada u pertenece al dominio (3.24) donde es simtrico el operador B . Por tanto (wm , Bu) = (Bwm , u), as que los trminos Im (h) son cero y la (3.30) se reduce a Avm + m vm = fm . (3.34)
Los coecientes buscados sern entonces las soluciones de esta ecuacin diferencial ordinaria que satisfacen las condiciones ai (vm ) = cim . Es de observar que estas ecuaciones que caracterizan vm se obtienen simplemente sustituyendo los desarrollos (3.25) y (3.32) en la EDP (3.21) y en las condiciones (3.22), e identicando coecientes en los correspondientes desarrollos en autofunciones que se obtienen. Este mtodo alternativo admite una generalizacin natural al caso en que los desarrollos en autofunciones de los datos f y gi sean combinaciones lineales generalizadas de autofunciones del operador B , que utilicen operaciones de integracin como la transformada de Fourier. En tales situaciones se busca una solucin u en la forma de un desarrollo del mismo tipo, se sustituye en (3.21) y (3.22) y se identican los coecientes en los desarrollos obtenidos para obtener ecuaciones anlogas a (3.34) y (3.33).
3.5]
5. Las hiptesis sobre la existencia de desarrollos de las funciones f y gi en autofunciones de B siempre se cumple cuando el conjunto de autofunciones de B es completo, lo cual es cierto para amplias clases de operadores simtricos vistos en el captulo anterior.
El MDA en ecuaciones de Una de las situaciones ms frecuentes en que se utiliza el MDA es en problemas del tipo siguiente 1. La EDP es una ecuacin de evolucin de la forma a con a C. 2. La solucin debe satisfacer r condiciones iniciales iu (t0 , x ) = gi (x ), t i i = 1, . . . , r . r u + B x 1 , . . . , x n 1 ; ,..., u = f (x). r t x1 xn1
l i o c n v u e
bj (u) = hj (x), Au = a r u , t r
157
mtodo de desarrollo en autofunciones en ecuaciones de evolucin
as como un conjunto de condiciones de frontera j = 1, . . . , s,
con operadores bj que operan slo sobre las variables (x1 , . . . , xn1 ). En este caso el operador A es
y las condiciones ai (u) = gi son iu (t0 , x ) = gi (x ), t i i = 1, . . . , r .
3.5.2. Ejemplos en dos dimensiones

1. Sea el siguiente problema con la ecuacin de Laplace sobre un rectngulo 2 2 u + u = 0, 0 < x < a, 0 < y < b, 2 x y 2 (3.35) u(0, y) = 0, u(a, y) = 0, x u(x, 0) = sen , u(x, b) = 0. a Este problema describe la distribucin estacionaria de la temperatura en una placa [0, a] [0, b], con todos sus lados a temperatura nula salvo uno que tiene una distribucin de temperatura tipo seno. El problema espectral es wxx = w, w | x =0 = 0 , w |x =a = 0. Ecuaciones Diferenciales II
158
Mtodos de separacin de variables y desarrollo en autofunciones tiene como solucin n = n2 2 , a2 wn (x) = sen n x , a n = 1, 2, . . . .
[Captulo 3
Aplicando el MDA desarrollamos la solucin en la forma

n =1
u(x, y) =
vn (y) sen
n x a x , buscamos nuesa
como en las inhomogeneidades slo aparece el trmino sen tra solucin en la forma u(x, y) = v(y) sen La funcin v est determinada por 2 = v, v a2 v |y =0 = 1 , v | y =b = 0 . x . a
La solucin es de la forma
v(y) = Ae a y + B e a y donde A + B = 1 , Ae a + B e a = 0. e a 2 senh a

b
b
La solucin de este sistema es
A= y as la solucin ser
B=
e a 2 senh a
b
u(x, y) =
senh
a (b y) senh a
sen
x. a
La grca para esta distribucin de temperatura en una placa con a = , b = 2 es
3.5]
159
200
0 0
y 2 5
2. Consideramos ahora un problema de condiciones iniciales y de contorno para la ecuacin de Schrdinger 2 i u uxx + V (x)u, x (a, b), t > 0, = t 2m u t =0 = g(x), u x =a = 0 , u = 0,
x =b
que describe la evolucin de una partcula cuntica encerrada en el segmento (a, b) sujeta al potencial V (x). Introduciendo el operador diferencial, conocido como hamiltoniano cuntico, Hu :=
2
2m
uxx + V (x)u
la ecuacin de Schrdinger se lee como i ut + Hu = 0. El mtodo de desarrollo en autofunciones se basa en este caso en el problema de autovalores Hw = w, w x =a = 0 , w = 0.
x =b n =1
Suponiendo que {n }n=1,2,... es el conjunto de sus autovalores con autofunciones asociadas {wn (x)n }n=1,2,... buscamos soluciones de la forma u(t, x) = vn (t)wn (x)
160
Mtodos de separacin de variables y desarrollo en autofunciones que cuando se introducen en la ecuacin de Schrdinger
n =1
[Captulo 3
d vn (t) + n vn (t) wn (x) = 0, dt d vn (t) + n vn (t) = 0; dt vn (t) = an e i

n =1
n t
conducen a i cuya solucin es
Si ahora asumimos que la condicin inicial posee el desarrollo g(x) = cn wn (x),
concluimos que an = cn y por ello la solucin a nuestro problema es u(t, x) =
c n e i
n t
wn (x).
n =1
Vamos a concretar a tres situaciones: Estudiemos ahora 2 i u = uxx , x (0, l), t > 0, t 2m u t =0 = 2 sen x sen 3 x, l l u = 0 , x =0 u = 0,
x =l
Esto es, una partcula cuntica libre connada en el segmento (0, l). El problema de autovalores es el ya bien conocido wxx = w, 2m w x =0 = 0 , w = 0,
x =l
con autovalores n =
, n = 1, 2, . . . 2m l2 y correspondientes autofunciones dadas por wn (x) = sen n x , l n = 1, 2, . . . .
2 n2 2
Por tanto, la condicin inicial ya est desarrollada en autofunciones y as obtenemos para el estado de la partcula u(t, x) = 2 sen
2 2 i t i 9 t x e 2m l2 sen 3 x e 2m l2 l l
A continuacin presentamos la grca espacio-temporal para la densidad de probabilidad
3.5]
161
|u|2
0 0
/2
Seguimos con el caso libre aunque cambiamos las condiciones de contorno tipo Dirichlet por condiciones peridicas. As el problema de condiciones iniciales y contorno a resolver es 2 i u = uxx , x (0, l), t > 0, t 2m 2 6 u t =0 = 2 i 2 cos x + 7 sen x, l l u x =0 = u x =l , ux = ux .
x =0 x =l
El problema de autovalores es tambin familiar wxx = w, 2m w =w , wx

x =0 x =0
= wx
x =l
x =l .
con autovalores (todos dobles salvo el cero que es simple) n =
2 4n2 2
2m l2
n = 0, 1, 2, . . .
y correspondientes autofunciones dadas por w0 (x) = 1, wn (x) = cos

(+)
n2 n2 () x, wn (x) = sen x l l
(+)
n=1,2,...
En la condicin inicial intervienen las autofunciones w0 , w1 tanto, u(t, x) = 2 i 2 cos
y w3 . Por
()
4 2 36 2 2 6 i i x e 2m l2 + 7 sen x e 2m l2 . l l
162
Consideramos ahora el oscilador en una dimensin. El problema de condiciones iniciales y de contorno que se nos plantea es 2 1 2 i ut = 2 m uxx + 2 kx u, u t =0 = g(x), u x = 0, u x + = 0, x R, t > 0,
i i t a r m n c o c n c o u
2m / K 2
[Captulo 3
que lleva al siguiente problema de autovalores
2
2m
wxx +
Introduciendo K :=
m k, 2
:= x
1 kx 2 w = w, x R, t > 0, 2 w x = 0, w = 0.
x +
4 Kx y :=
podemos escribir
2 w = w w x x +x que es la ecuacin de Hermite que una vez impuestas las condiciones de contorno en el innito nos lleva a los autovalores n = 2n + 1, con correspondientes autofunciones = Hn (x) e wn (x)
2 x 2
n = 0, 1, 2, . . .
n = 0, 1, 2, . . . .
Notemos que estamos usando los polinomios de Hermite Hn . Estas autofunciones forman una base ortogonal de L2 (R). Por tanto, n = y wn (x) = Hn Luego si g(x) = la solucin es u(t, x) =
n =0 n =0
k (2n + 1), 2m
n = 0, 1, 2, . . .
mk
x e
mk 2 2 x
n = 0, 1, 2, . . . .
cn wn (x)
cn e
k 2m (2n+1)t
Hn
mk
x e
mk 2 2 x
3.5]
163
3. Analizamos ahora un problema de condiciones iniciales para la ecuacin del calor con condiciones de frontera peridicas. El problema es ut = uxx , x (0, l), t > 0, 2 3 3 2 t =0 = l2 x l x + x, u u x =0 = u x =l , u =u .
x x =0 x x =l
Nos detenemos un momento para discutir la consistencia entre la condicin inicial y las condiciones de frontera. Si g(x) = ax 3 + bx 2 + x y exigimos que g(0) = g(l) y g (0) = g (l) nos conducen a las condiciones al2 + bl + c = 0, 3al + 2b = 0,
que ja una familia uni-paramtrica de soluciones a, b, c . Una posible eleccin es la dada por nuestra condicin inicial. El problema de autovalores es wxx = w,
x =0
que como sabemos tiene como autovalores n = n2 2 , y autofunciones wn (x) = ei nx . Para aplicar el mtodo de desarrollo en autofunciones tenemos que determinar la serie de Fourier g(x) = cn ei nx con
n Z
w x
=w
x =0
= wx
x =l ,
x =l .
2 l
1 l g(x)e i nx d x. l 0 Como nuestra g es un polinomio, usaremos las integrales 1 m i n l mIm1,n l x m e i nx d x = Im,n := l m +1 0 m+1 cn =
n 0, n = 0.
En la primera identidad se ha utilizado el mtodo de integracin por partes. Fcilmente se concluye que I0,n = 0 2 l 2 = l i n n = 0, n 0,
Ello nos lleva a que I1,n
164
Mtodos de separacin de variables y desarrollo en autofunciones y esto a su vez a I2,n 3 l 3 = l2 2l i + n n2 2 n = 0, n 0,
[Captulo 3
y por ltimo a I3,n
Por tanto, la serie de Fourier de nuestra condicin inicial6 es 1 2 l4 3 l3 l2 2 3 3 2 x x + x = + l2 l l l2 4 l 3 2 2 6l l3 3 l 3l2 2l l2 + i i + + 2 2 +i i ei nx 2 2 2 3 3 l n n n l n n n n 0 = 24 2 l 3 1 sen nx. n3 n =1
4 l 4 = 3 2 i l + 3 l i 6 l n n2 2 n3 3
n = 0, n 0.
Buscamos entonces una solucin de la forma u(t, x) = que implica

vn = n vn , n =1
vn (t) sen nx
vn (0) = y por ello
24 1 l2 3 n3
Finalmente la solucin es
Dado el rpido decrecimiento de los coecientes vn en n y t la representacin grca se consigue con un buen grado de aproximacin con una suma parcial de pocos trminos, a continuacin mostramos la representacin espacio-temporal de esta evolucin para l = 1 y una suma parcial a 15 trminos
La aparezcan
6
f i i n c n n c n l s of
24 u(t, x) = 2 3 l
uu
g (x) es una senos.
vn (t) =
24 1 n2 2 t e . l2 3 n3
1 n 2 2 t e sen nx. 3 n n =1
impar con respecto al punto x = l/2, este es el motivo de que
3.5] 0.1
165
0 x 1 4. Estudiamos ahora la ecuacin de ondas y el problema utt = uxx , x (1, 1), t > 0, 2 u t =0 = x(x 1), ut = 0, t =0 u x =1 = u x =1 , ux x =1 = ux x =1 . t
0.1
El problema de autovalores es como en los casos anteriores. Pasamos a desarrollar x(x 2 1) en serie de Fourier de exponenciales x(x 2 1) = con cn = 1 2
1 1
cn ei n x
n Z
x(x 2 1)e i n x d x
que tras reiteradas integraciones por partes nos conduce a n = 0, 0 cn = (1)n 6 i n 0. n3 3 Por tanto, la serie es g(x) := x(x 2 1) = 12 (1 ) n sen n x. n3 3
nZ+
Ahora, el desarrollo en autofunciones de la solucin u(t, x) = vn (t) sen n x

n N
166
Mtodos de separacin de variables y desarrollo en autofunciones lleva a

vn = n2 2 vn , n vn (0) = 12 (1) , n3 3 v ( 0 ) = 0 . n
[Captulo 3
Por ello
vn (t) = 12 y la solucin es u(t, x) = 12
(1 ) n cos n t n3 3
(1 ) n cos n t sen n x. n3 3 n =1 1 [sen n (x + t) + sen n (x t)] 2
Observando que podemos escribir cos n t sen n x = nos damos cuenta de que u(t, x) = 1 (1 ) n (1 ) n 12 sen n (x + t) + 12 sen n (x t) . 2 n3 3 n3 3 n =1 n =1 gper (x + t) + gper (x t) 2
Por tanto, podemos escribir u(t, x) =
donde gper es la extensin peridica de g(x) = x 3 x en [1, 1] a R. Tenemos pues la semi-suma de dos ondas viajeras con velocidades opuestas v = 1 y con la forma de la extensin peridica de la condicin inicial de cada una de ellas. El diagrama espacio-temporal de estas ondas es
0,4 0,2 0 0,2 1 0 x 1 2 1 0t 2 1
3.5]
3.5.3. El
La transformada de Fourier aparece en los problemas que consideramos cuando los dominios espaciales no son acotados. En tales casos los conjuntos continuos de funciones trigonomtricas de Fourier constituyen frecuentemente las autofunciones apropiadas en que basar el MDA. Adems, en ocasiones es posible usar ambas transformadas, directa e inversa, para generar una expresin de la solucin dependiente explcitamente de los datos del problema. Los ejemplos que vienen a continuacin ilustran la manera de proceder en los casos ms sencillos. 1. Consideremos un problema de condiciones iniciales para la ecuacin del calor sobre toda la recta ut = a2 uxx , t > 0, x R u = f (x).
t =0
d t m o
R
167
de la transformada de Fourier
En este ejemplo el problema de autovalores que hay que resolver para aplicar el MDA es wxx = k2 w, x R,
que como sabemos no tiene soluciones en L2 (R). Sin embargo las soluciones {ei kx }kR , an no siendo de cuadrado integrable, juegan el papel de base ortogonal generalizada y la propuesta del MDA es buscar una solucin de la forma u(t, x) = v(k, t)ei kx d k.
R
Introduciendo esta expresin en la ecuacin diferencial se obtiene vt (k, t) + a2 k2 v(k, t) ei kx d k = 0, vt (k, t) + a2 k2 v(k, t) = 0, cuya solucin general es v(k, t) = c(k)ea
2 k2 t
por ello imponemos
Luego el MDA nos conduce a una solucin de la forma u(t, x) = c(k)ei kx a

2 k2 t
d k.
Haciendo t = 0 en esta expresin e imponiendo la condicin inicial para u obtenemos f (x) = c(k)ei kx d k.
R
Es decir, deducimos que la funcin c = c(k) es la transformada de Fourier del dato inicial f = f (x), y por tanto efectuando la transformada de Fourier inversa tenemos que 1 c(k) = f (x)e i kx d x. 2 R Ecuaciones Diferenciales II
168
[Captulo 3
Si llevamos esta frmula, renombrando x x , a la expresin de u(t, x), se obtiene 1 2 2 u(t, x) = f (x )ei k(x x )a k t d k d x . 2 R R Podemos adems efectuar la integracin respecto de k utilizando la identidad 1 2 ei k(x x
)a2 k2 t
dk =
(x x )2 1 e 4a2 t , 2a t
que se deduce inmediatamente, renombrando variables y parmetros, de la transformada de Fourier de la funcin gaussiana 1 2 e i kx ea
2 x2
dx =
2 1 k e 4a2 . 2a
De esta manera encontramos la siguiente frmula explcita de la solucin del problema u(t, x) = 1 2a t
R
f (x )e
(x x 2
)2 4a t
d x
(3.36)
2. Es posible generalizar el resultado anterior al caso multidimensional ut = a2 u, t > 0, x = (x1 , . . . , xn ) Rn u = f (x), .

t =0
(3.37)
En este ejemplo el problema de autovalores que hay que resolver para aplicar el MDA es w = w, x Rn . Por las propiedades de la transformada de Fourier sabemos que las autofunciones {ei kx }k=(k1 ,...,kn )Rn , forman una base ortogonal generalizada. El MDA nos lleva entonces a buscar una solucin de la forma
n
u(t, x) =
Rn
v(k, t)ei kx dn k,
k x :=
kj x j .
j =1
Introduciendo esta expresin en la ecuacin diferencial se obtiene vt (k, t) + a2 |k|2 v(k, t) ei kx dn k = 0, vt (k, t) + a2 |k|2 v(k, t) = 0, cuya solucin general es v(k, t) = c(k)ea
2 |k|2 t
Rn
e imponemos
Luego el MDA produce una solucin de la forma u(t, x) = c(k)ei kx a

2 |k|2 t
Rn
dn k.
3.5]
169
Haciendo t = 0 obtenemos f (x) =

Rn
c(k)ei kx dn k.
Por tanto efectuando la transformada de Fourier inversa c(k) = As la expresin de u(t, x) es u(t, x) = 1 (2 ) n f (x )ei k(x x
)a2 |k|2 t
1 (2 ) n
Rn
f (x)e i kx dn x.
Rn
Rn
dn k dn x .
La integracin mltiple respecto de k = (k1 , . . . , kn ) se reduce a un producto de n integraciones simples dado que 1 (2 ) n ei k(x x
)a2 |k|2 t
Rn
dn k =
1 2 j =1
e
R
i kj (xj xj )a2 k2 jt
d kj ,
luego utilizando la identidad 1 2 e

R
i kj (xj xj )a2 k2 jt
1 e d kj = 2a t
(xj x )2 j 4a2 t
encontramos la siguiente frmula explcita de la solucin del problema u(t, x) = 1 (2a t)n f (x )e
|x x |2 4a2 t
Rn
dn x
(3.38)
3. Los resultados de los dos ejemplos anteriores pueden aplicarse para deducir frmulas anlogas para las soluciones de la ecuacin de Schrdinger libre en cualquier dimensin i u = 2 u, t 2m u = f (x).
t =0
t > 0, x = (x1 , . . . , xn ) Rn
(3.39)
Obsrvese que este problema de condiciones iniciales para la ecuacin de Schrdinger se obtiene de (3.37) simplemente tomando a2 = i
2m
Por tanto haciendo esa identicacin del parmetro a en (3.8) deducimos la siguiente expresin de la solucin de (3.39) u(t, x) = m 2 i t
n 2
Rn
f (x )ei
m |x x |2 2 t
dn x
(3.40)
170
[Captulo 3
4. Consideremos ahora el siguiente problema de condiciones iniciales para la ecuacin de ondas utt = uxx , t > 0, x R u t =0 = f (x), ut = g(x).
t =0
Podemos aplicar el MDA usando, como en el ejemplo de la ecuacin del calor, las autofunciones {ei kx }kR del problema espectral wxx = k2 w, x R,
y buscando una solucin del problema de valores iniciales de la forma u(t, x) = v(k, t)ei kx d k.
R
Introduciendo esta expresin en la ecuacin de ondas obtenemos vtt (k, t) + k2 v(k, t) ei kx d k = 0, vtt (k, t) + k2 v(k, t) = 0, cuya solucin general es v(k, t) = A(k)ei kt + B(k)e i kt . Concluimos que el MDA lleva a una solucin de la forma u(t, x) = A(k)ei k(x +t) + B(k)ei k(x t) d k,
por ello imponemos
luego la correspondiente derivada temporal ser ut (t, x) = As, para t = 0 obtenemos u(0, x) = ut (0, x) =
R
i k A(k)ei k(x +t) B(k)ei k(x t) d k.
A(k) + B(k) ei kx d k,
i k A(k) B(k) ei kx d k.
Comparando con la transformada de Fourier de los datos iniciales {f , g } f (x) = g(x) = (k)ei kx d k, f
R
g(k) ei kx d k,
R
3.5]
171
en donde los coecientes seran (k) = 1 f 2 1 g(k) = 2 concluimos que f (k) = A(k) + B(k), La solucin de este sistema es A(k) = 1 1 f (k) + g(k) , 2 ik g(k) = i k(A(k) B(k)). B(k) = 1 1 f (k) g(k) , 2 ik f (x)e i kx d k, g(x)e i kx d k,
Por tanto, la solucin del problema de Cauchy se escribe como u(t, x) = 1 2 (k)ei k(x +t) d k + f + El primer corchete es 1 [f (x + t) + f (x t)] 2 en tanto que el segundo es un poco ms complicado. Para analizarlo utilizamos la siguiente relacin 1 g(k) ei kx d k = ik g(k)
R
(k)ei k(x t) d k f 1 i k(x +t) dk e ik g(k)

R
1 2
g(k)
R
1 i k(x t) dk . e ik
1 + ik
x 0
ei kx d x d k =
para as obtener el siguiente valor para el segundo corchete 1 2

x +t x t
g(x) d x.
Reuniendo esta informacin recuperamos la de dAlambert para la solucin del problema de condiciones iniciales de la ecuacin de ondas unidimensional 1 1 x +t u(t, x) = [f (x + t) + f (x t)] + g(x) d x. 2 2 x t 5. Por ltimo, consideramos el siguiente problema de condiciones iniciales y de contorno para la ecuacin del calor en una placa innita de ancho L ut = uxx + uyy , sen y L = g(x, y) : = u | t =0 0 u|y =0 = 0, u|y =L = 0.
l r m a u f
R
g(k) dk+ ik
g(x) d x, (3.41)
frmula dAlambert
de
x [1, 1], x [1, 1],
172
Mtodos de separacin de variables y desarrollo en autofunciones El problema espectral asociado es

2 (wxx + wyy ) = w, = k2 1 + k2 w |y =0 = 0, w |y =L = 0.
[Captulo 3
Que, a su vez, es un problema de contorno homogneo, para la ecuacin de Helmholtz bidimensional, en la que podemos separar variables en coordenadas cartesianas. As, las soluciones las escribimos como w(x, y) = a1 ei k1 x + b1 e i k1 x a2 ei k2 y + b2 e i k2 y
Soluciones no nulas de este sistema existen siempre que k2 = n Por tanto, los autovalores son k2 + n2 y las correspondientes autofunciones ei kx sen n y L
kR,nN
e imponemos las condiciones de contorno que implican a2 + b2 = 0, ei k2 L a2 + e i k2 L b2 = 0. , L n = 1, 2, . . . .
2 L2
kR,nN
Observemos, que aparecen un conjunto continuo de autovalores, ya que en la variable x no tenemos condiciones de contorno. El autovalor asociado k2 lo hemos escogido real. La solucin se expresar segn el MDA como u(t, x, y) =
n =1 R
vn (k, t)ei kx sen n
y d k. L
Introduciendo esta expresin en la EDP se obtiene las siguiente EDO para vn (k, t) 2 vn (k, t) + k2 + n2 2 vn (k, t) = 0 t L cuya solucin es vn (k, t) = an e
(k2 +n2
2 )t L2
Para saber que autofunciones intervienen en este desarrollo analizamos los desarrollos correspondientes de las inhomogeneidades. En este caso slo es la
3.5]
173
funcin g(x, y), cuya forma indica que se va a poder expresar en trminos de {ei kx sen L y }kR nicamente. As g(x, y) = en donde c(k) = Esto es, g(x, y) = Por ello, la solucin es u(t, x, y) = e Evaluamos ahora la integral I(x, t) := que escribimos como I(x, t) = donde J(x, t) = Usamos ahora (3.41) para escribir J(x, t) = 1 2 e k t dk+ ik
2
c(k)ei kx d k sen
R
y L
1 2
1 1
e i kx d x =
sen k . k
sen k i kx e d k sen y. k L
2 t
L
sen
y L
ek
2t
sen k i kx d k. e k
e k
2t
sen k i kx e dk k
1 2
e k
2t
1 i k(x +1) ei k(x 1) ) = J(x + 1, t) J(x 1, t) (e ik 1 2 e k

2t
1 i kx d k. e ik
x 0
1 2
ek t ei kx d k d x.
Como sabemos del anterior captulo la transformada Fourier de una gaussiana es otra gaussiana. La funcin error 2 erf (x) := permite escribir nalmente I(x, t) = Por ello, la solucin es u(t, x, y) = 1 x1 x+1 erf erf 2 2 t 2 t e
2 t L2
x 0
e d
x1 x+1 1 erf erf 2 2 t 2 t
sen
y. L
Debemos observar que si x > 0 tenemos 1 1 2 erf (x) = 1 + e x 1 O 2 x x , x
174
Mtodos de separacin de variables y desarrollo en autofunciones y que erf (x) = erf (x). Por tanto, cuando t 0+ la funcin
[Captulo 3
x1 1 x+1 erf erf 2 2 t 2 t
tiende 0 si x [1, 1] (x 1 y x + 1 tienen el mismo signo) y a 1 si x [1, 1] (x 1 y x + 1 tienen signos opuestos).
3.6. Problemas de contorno en dos

mtodo de desarrollo en autofunciones en problemas de contorno en electrosttica y mecnica de uidos
En electrosttica el potencial elctrico satisface el problema de contorno u = ,
l i i t t r o s a n a e c c m e c c
y de uii = 1, . . . , m. i = 1, . . . , m. =g
ai (u) = gi ,
Aqu representa la distribucin de carga. Por otro lado, en mecnica de uidos perfectos el potencial de velocidades est determinado por u = 0 ,
ai (u) = gi ,
3.6.1.
Unicidad
Discutiremos en primer lugar el problema de la unicidad para los problema u = , y u

S()
Estamos pues considerando el problema de Dirichlet o el de Neumann para la ecuacin de Poisson. Buscamos soluciones clsicas u C 2 (). Aqu el dominio es, como sabemos una regin abierta conexa de R3 , sin embargo se puede dar dos circunstancias: Problema interior: es conjunto acotado de R3 .
u = , u = g. n S()
3.6]
Problemas de contorno en electrosttica y mecnica de uidos
175
R3
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S()
Problema exterior: es un conjunto no acotado y su complementario lo es.
R3
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S1 ( )
S 2 ( )
S3 ( )
Debemos recordar el teorema de Gauss de la divergencia que nos asegura que A d3 x = A d S.
S()
Aplicndolo a A = uu, como (uu) = u u + uu obtenemos la identidad de Green (|u|2 + uu) d3 x = u u d S. n
S()
Unicidad del problema interior Supongamos dos soluciones u1 y u2 del problema de contorno de Dirichlet o de Neumann. La funcin diferencia u = u1 u2 satisface u = 0 , u =0
S()
u = 0 , u = 0, n S() Ecuaciones Diferenciales II
176
[Captulo 3
respectivamente. Aplicando la identidad de Green a esta funcin tenemos |u|2 d3 x = 0
por ello u = 0 en un conjunto conexo por lo que u es una funcin constante en . Para el problema de Dirichlet como u se anula en la frontera dicha constante es cero. Por tanto, concluimos Teorema 3.6.1. lucin. El problema de Dirichlet interior admite a lo sumo una so-
En el problema de Neumann interior dos soluciones distintas se diferencian en una constante.
Unicidad del problema exterior Ahora no es acotado y no podemos aplicar a la ligera la identidad de Green a la funcin diferencia u = u1 u2 de dos soluciones. Por ello, cambiamos a un dominio que denotaremos por R y que describimos a continuacin. El complementario c := R3 \ de es un conjunto acotado, luego existe un R0 > 0 tal que si R > R0 c B(0, R), aqu B(0, R) := {x R3 : x < R } es la bola de radio R en el origen. Pues bien, denotamos R := B(0, R)\c , y su frontera es S(R ) = S1 () S2 () . . . Sm () S(0, R) donde S(0, R) := {x R3 : x = R } es la esfera de radio R centrada en origen. En la siguiente gura ilustra la geometra de este conjunto
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
R3
S1 ( ) R
S2 ( ) S3 ( )
Aplicando la identidad de Green a u en R obtenemos |u|2 d3 x = u u dS n
S(0,R)
y recordando que la derivada normal sobre la esfera es ur , nos lleva a |u|2 d3 x = uur d S.
S(0,R)
3.6]
177
La integral de supercie la podemos acotar como sigue uur d S 4 R 2 m ax |uur | ,

S(0,R)
S(0,R)
y suponiendo que u=O y que por tanto ur = O(r 2 ), lleva a 1 , r r ,
Teorema 3.6.2. Por tanto, para asegurar la unicidad en el problema de Dirichlet exterior y la unicidad salvo constante en el problema de Neumann exterior es necesario exigir que en el innito las soluciones satisfagan la condicin u f (r , , ) + O 1 , r r .
3.6.2. El MDA en problemas de electrosttica y mecnica de uidos con simetra

En electrosttica es frecuente encontrar problemas de contorno del tipo u = ,
f i e s r c a
d3 x = l m
R R
d3 x C l m
1 = 0. R
ai (u) = gi ,
i = 1, . . . , n
en donde es la densidad de carga, u el potencial elctrico, y por tanto el campo elctrico es E = u, y los operadores de frontera ai slo actan sobre r y gi = gi (, ). Un problema similar tambin aparece en la mecnica de uidos u = 0 ,
ai (u) = gi ,
i = 1, . . . , n
donde u es el potencial de velocidades del uido, y por ello la velocidad es v = u. La ecuacin de Poisson en coordenadas esfricas se escribe como sigue 1 1 1 (r u)r r + 2 (sen u ) + 2 u = (r , , ). r r sen r sen2 Para aplicar el MDA escribimos la ecuacin de Poisson como (A + B)u = r 2 donde Au := r 2 ur r + 2r ur ,
Bu :=
1 1 (sen u ) + u . sen sen2
178
[Captulo 3
Vemos que slo hay condiciones de contorno del primer tipo y que tanto los trminos tipo bj como hj estn ausentes. El operador B es simtrico en C (S 2 ) y el correspondiente problema de autovalores se resuelve como sigue BYl,m = l(l + 1)Yl,m , l = 0, 1, 2, . . . m = l, . . . , l.
Como sabemos los armnicos esfricos forman un conjunto completo en L2 (S 2 ) y por ello siempre podemos desarrollar r 2 (r , , ) = lm Yl,m (, ),
l,m
gi (, ) =
cilm Yl,m
l,m
Por tanto, el MDA busca soluciones en la forma
donde vlm se encuentran determinados por

r 2 vlm + 2r vlm l(l + 1)vlm = lm
que en el caso homogneo, = 0, correspondiente a la ecuacin de Laplace, tiene como solucin a Blm vlm (r ) = Al,m r l + l+1 . r
3.6.3.
Consideremos una esfera conductora en equilibrio de radio a y carga Q centrada en el origen en el seno de un campo elctrico constante E0 k. Como sabemos el equilibrio se alcanza si el potencial sobre la esfera es constante, digamos u0 . La siguiente gura ilustra esta situacin E0 k z
l i t e c r c o
a x
u(r , , ) =
vlm Yl,m (, ).
l,m
Esfera conductora cargada en equilibrio electrosttico en un campo constante
E0 k
3.6]
179
El potencial electrosttico u es solucin del siguiente problema de contorno para la ecuacin de Laplace u = 0 , u|r =a = u0 , u E0 z + V0 + O
1 r
r .
Aplicando el MDA, buscamos una solucin de la forma u(r , , ) = A,m r + B,m 1 r +1 Y,m (, ).
,m
La condicin de contorno en r = a se puede escribir u|r =a = u0 4 Y0,0 , en tanto que, como z = r cos , la condicin en el innito es u E0 r 1 4 Y1,0 (, ) + V0 4 Y0,0 + O . 3 r
As pues, podemos restringirnos a un desarrollo u(r , , ) = A0,0 + B0,0 1 1 Y0,0 (, ) + A1,0 r + B1,0 2 Y1,0 (, ). r r
Por tanto,
Imponemos ahora las condiciones de contorno para obtener 1 A0,0 = 4 V0 , A0,0 + B0,0 = 4 u0 , a 4 1 E0 . A1,0 a + B1,0 A1,0 = = 0 , 3 a2 u(r , , ) = V0 + (u0 V0 )a a3 E0 r 2 cos . r r (3.42)
El potencial dado en (3.42) se compone de un trmino monopolar (u0 V0 )a r y un trmino dipolar a3 cos . r2 El momento monopolar es 4 0 (u0 V0 )a y la carga neta es Q = (u0 V0 )a. Por ello, el potencial es E0 r u(r , , ) = V0 + El campo elctrico E = u E := Q a3 a3 + E0 1 + 2 3 cos ur E0 1 3 sen u . 2 r r r Ecuaciones Diferenciales II Q a3 E0 r 2 cos . r r
180
Mtodos de separacin de variables y desarrollo en autofunciones El momento dipolar de la esfera es p = 4 0 a3 E0
[Captulo 3
y por ello la polarizabilidad de la esfera es = 4 0 a3 . Al ser Er la componente normal del campo elctrico sobre la esfera la densidad de carga sobre la supercie de sta es () = 0 Er = 0 Q + 3E0 cos . a2
El potencial de referencia V0 (que, por tanto, podamos tomar como cero) es el potencial en el plano xy en regiones alejadas del origen, y de hecho se puede tomar como el potencial de tierra, por ello si conectamos la esfera a tierra, (u0 V0 )a = Q = 0, entonces la esfera es neutra con carga total nula. Los puntos donde el campo elctrico se anula son relevantes en el estudio de las supercies equipotenciales, ya que all la supercie ya no es regular. La componente E de E = Er ur + E u se anula slo si r =a = 0, Analizamos ahora la anulacin de Er en cada uno de estos casos El campo elctrico se anula en la esfera r = a siempre que satisfaga Q + 3E0 cos = 0, a2 esto es = arc cos Por tanto si Q 3a2 E0 Q . 3a2 E0 < 1,
el campo elctrico slo se anula en un crculo sobre la supercie esfrica con = . Si Q = 3a2 E0 entonces el campo elctrico slo se anula en los polos norte y sur de la esfera, respectivamente. Cuando Q > 1, 3a2 E0 la situacin cambia y el campo elctrico no se puede anular sobre la esfera. En este segundo caso el campo elctrico se anula para = 0, siempre que r satisfaga Q r + 2a3 = 0, P (r ) := r 3 E0 respectivamente. Pasamos ahora analizar las races de esta ecuacin. La funcin P (r ) es una cbica con P , r , Ecuaciones Diferenciales II
3.6]
181
poseyendo por ello al menos una raz real; y extremos en 3r 2 Los extremos sern reales s y slo s Q 0, E0 respectivamente. En este caso tendremos un mnimo y un mximo localizados en Q = . r 3E0 En caso contrario la funcin P es siempre creciente y por ello slo posee una nica raz real que es negativa, ya que P (0) = 2a3 > 0. En el caso de dos extremos para , r ) la funcin es decreciente y como P (0) > 0 se tiene P (r ), en el intervalo (r + P (r ) > 0. Por ello, la condicin para que existan dos races reales es
P (r+ ) = 0,
Q = 0. E0
y para que haya tres races reales

P (r+ ) < 0, , obteniendo evaluamos el valor de P en r+ ) = 2 P (r+
Q 3E0
3/2
+ 2a3 .
As, tendremos dos races reales (una negativa y otra positiva (P (0) > 0)) si Q 3E0 a2 Q 3E0 a2 Ocurre que si Q 3E0 a2 el valor r = a es raz. Por otro lado si Q 3E0 a2 =1
y tres races reales (una negativa y dos positivas (P (0) > 0))si > 1.
=1
>a > 1 r+
y existe alguna raz mayor que a, y como P (a) = 3a3 1 slo existe una mayor que a. Resumiendo, para r > a el campo elctrico slo se anula en punto si y slo si Q 3E0 a2 este punto yace sobre el eje z. > 1, Q 3E0 a2 <0
182
Mtodos de separacin de variables y desarrollo en autofunciones La estructura de las curvas equipotenciales cambia segn Q 3E0 a2
[Captulo 3
1.
A continuacin mostramos los diferentes casos
Q 3E0 a2
<1
Q 3E0 a2
=1
Q 3E0 a2
>1
3.6.4.
Fluido en movimiento uniforme deformado por una bola
Consideremos ahora un uido en movimiento uniforme en el cual sumergimos una esfera slida de radio a gura v0 k z
f i e s r c a
a y
x v0 k
El potencial de velocidades debe satisfacer el siguiente problema de contorno u = 0 , 1 , r
ur |r =a = 0, u v0 z + O r .
3.7]
Cuestiones, problemas y ejercicios
183
Como en el problema anterior buscamos una solucin de la forma u(r , , ) = A,m r + B,m 1 r +1 Y,m (, ).
,m
Adems las condiciones de contorno en r = a y en el innito se puede escribir ur |r =a = 0, u v0 r 1 4 Y1,0 (, ) + O , 3 r r .
As pues, nos restringimos a soluciones de la forma u(r , , ) = A1,0 r + B1,0 1 Y1,0 (, ). r2
Imponiendo las condiciones de contorno 4 A1,0 = v0 , 3 1 A 2B 1,0 1,0 3 = 0. a Por ello, B1,0 = As u(r , , ) = v0 r + y la velocidad es v = v0 1 a3 a3 cos u 1 + sen u . r r3 2r 3 a3 cos 2r 2 1 2 4 v0 a3 . 3
3.7. Cuestiones, problemas y ejercicios

3.7.1. Cuestiones
1. Determinar cual de las opciones siguientes corresponde a las ondas estacionarias, en coordenadas esfricas, u(t, r , , ) = e i t w(r , , ) de la siguiente ecuacin de ondas utt = u, r < a, u|r =a = 0. b ) jl (kr )Yl,m (, ) con jl (ka) = 0 y = k d ) jl (kr )Yl,m (, ) con jl (ka) = 0 y = k2 a ) (jl (kr ) + nl (kr ))Yl,m (, ) con jl (ka) + nl (ka) = 0 y = k2 c ) nl (kr )Yl,m (, ) con jl (ka) = 0 y = k e) (jl (kr ) + nl (kr ))Yl,m (, ) con jl (ka) + nl (ka) = 0 y = k Ecuaciones Diferenciales II
184
l i R s o c n u e l i R s o c n u e
a) 0 b ) 1/2 c ) 1/3 d ) 1/4 e) 1
[Captulo 3
Las ondas estacionarias se obtienen al plantear la separacin de variables u(t, r , , ) = e i t w(r , , ), donde se satisfacen las siguientes relacin de dispersin y ecuacin de Helmholtz = k, w + k 2 w = 0 .
La relacin de dispersin descarta las posibilidades (a) y (d). Las opciones (b), (c) y (e), aparte de plantear la relacin de dispersin correcta, son soluciones todas ellas de la ecuacin de Helmholtz y, salvo la opcin (c), cumplen la condicin de contorno en r = a. Sin embargo, debemos imponer la condicin de regularidad en r = 0 que descarta la opcin (e) siendo la alternativa (b) la correcta. 2. Determinar cual de las opciones siguientes corresponde a las soluciones regulares, en coordenadas cilndricas, u(r , , z) del problema de Neumann siguiente u = 0, r < a, u = 0. r r =a
(a) = 0 b ) Nm (r )sen(m)ez con m Z, Jm
(a) = 0 a ) Jm (r ) cos(m)ez con m Z, Jm
d ) Jm (r ) cos(m)ez con m Z, Jm (a) = 0 e) Nm (r )eim ez con m Z, Nm (a) = 0
(a) = N (a) c ) (Jm (r ) Nm (r )) cos(m) cosh(z) con m Z, Jm m
La funciones en las opciones (b), (c) y (e) no son regulares, la opcin (d) no cumple las condiciones de contorno. Slo la opcin (a) satisce todos los requerimientos.
3. Hallar el valor de la constante a para el que existe solucin del siguiente problema de contorno en coordenadas esfricas u = 1 , r < 1 , u = a. r r =1
Ayuda: Usar el teorema de la divergencia.
3.7]
y por ello a = 1/3.
185
Aplicando el teorema de la divergencia en la bola B(0, 1), tenemos ud3 x = udS
B(0,1)
S(0,1)
como u = 1 y ur dS = udS concluimos 4 = a4 3
3.7.2.
Problemas
1. Encontrar, usando la transformada de Fourier, la solucin del siguiente problema de valores iniciales para la ecuacin del calor en la recta ut = uxx , t > 0, < x < , u|t =0 = x e|x | . Utilizando la transformada de Fourier, a modo de MDA, obtenemos u(t, x) = c(k) ek t ei kx d k.
2
Para satisfacer la condicin inicial debemos hallar la transformada de Fourier de g(x) := x e|x | . As, c(k) =F(g) = i Dk F(e|x | ) = = 1 i Dk 2
0
e(1i k)x d x +
e(1i k)x d x
1 1 1 i Dk + . 2 1ik 1+ik c(k) = i Dk
Esto es, 2ik 2 1 = . 2 2 1 + k (1 + k 2 )2
Por tanto, la solucin buscada es u(t, x) = 2i k 2 ek t ei kx d k. (1 + k 2 )2
Un resultado ms explcito para la solucin se obtiene aplicando la frmula (3.36) a nuestro problema, el resultado es 1 2 t x e|x | e
(x x)2 4t
u(t, x) =
d x.
186
[Captulo 3
F (t, x) F (t, x) donde F (t, x) := ta que 2t e

x (x 0 e
x)2 4t (x x)2 4t
Para efectuar esta integral procedemos como sigue. Observemos que u(t, x) =
x (x 1 x e 2 t 0
(x x)2 4t x)2 4t
d x . Teniendo en cuenx2
= (x x) e
1 t
podemos, realizando una integracin , donde G(t, x) :=
por partes, escribir F (t, x) =
x 2
t G(t, x) + t e 4t
d x . Por ltimo, si en la integral que dene a G realizamos el cam x x s 2 d s . La bio de variable s = 2t + t llegamos a G(t, x) = 2 t ex +t x 2t e 2 t x s 2 e d s permite expresar G(t, x) = t e x +t 1 + funcin error erf x := 2 0 erf
x 2t 2 t
. Por tanto, x x 2t t ex +t 1 + erf 2 2 t + x x + 2t + t ex +t 1 erf 2 2 t .
u(t, x) =
A continuacin mostramos la evolucin espacio-temporal de la temperatura u(t, x).
u(t, x) 0.2
0,2 5 10 x 0 10 0 t
2. Resolver, por el mtodo de desarrollo en autofunciones, el siguiente problema de contorno y condiciones iniciales para la ecuacin de ondas utt = uxx , t > 0, 1 < x < 1, u|t =0 = sen x, ut |t =0 = |x |, u|x =1 = u|x =1 , ux |x =1 = ux |x =1 . autovalores Para aplicar el MDA debemos considerar el siguiente problema de wxx = w, x [1, 1] w |x =1 = w |x =1 , wx |x =1 = wx |x =1 .
l i R s o c n u e
3.7]
187
Debemos desarrollar ahora las condiciones iniciales. Como u|t =0 = f (x) := sen x ya est desarrollada basta con calcular el desarrollo de Fourier de ut |t =0 = g(x) := |x |. Al ser la funcin g(x) par en [1, 1] su desarrollo se reduce a un desarrollo en cosenos. Los correspondientes coecientes sern 1 a0 = 2 0 x d x = 1, 0, si n es par. 1 = 2 x cos n x d x = a n 0 4 2 2 , si n es impar.
n
Los correspondientes autovalores son n = n2 2 con autofunciones dadas por {1, cos n x, sen n x } n=1 . El desarrollo en autofunciones de la solucin u(t, x) n (t) sen n x). Al introducir esta es u(t, x) = v0 (t) + n=1 (vn (t) cos n x + v expresin en la ecuacin de ondas y desacoplar los diferentes modos obtenemos n = 0, que nos conduce a n,tt + n2 2 v v0,tt = 0, vn,tt + n2 2 vn = 0 y v v0 (t) = A0 + B0 t, vn (t) = An cos n t + Bn sen n t, n = 1, 2, . . . , n cos n t + B n sen n t, n = 1, 2, . . . . n (t) = A v
Luego en el desarrollo en autofunciones de u(t, x) slo deben aparecer 1, {cos(2n+ 1 . 1) x } n=0 , sen x , y por tanto los nicos coecientes no nulos son v0 , {v2n+1 }n=0 , v Por todo ello, 1 A = v ( 0 ) = 0 , 0 0 B0 = v0 (0) = 2 , 4 (2n + 1) B2n+1 = v2 A2n+1 = v2n+1 (0) = 0, n+1 (0) = 2 (2n+1)2 , 1 (0) = 1, A1 = v 1 = 0, B1 = v con n = 0, 1, . . . . Lo que conduce a t 4 u(t, x) = 3 2
1 sen((2n + 1) t) cos((2n + 1) x) + cos( t) sen( x). (2 n + 1 ) 3 n =0
ste es el resultado pedido. Podemos entender mejor este resultado como sigue. Utilizando las frmulas trigonomtricas para los productos obtenemos 1 (sen( (x t)) + sen( (x + t))) 2 1 4 1 t 3 + (sen((2n + 1) (x + t)) sen((2n + 1) (x t)) . 2 n =0 ( 2 n + 1 ) 3 u(t, x) = La serie de Fourier 2 2 n=0 (2n+1)2 cos((2n + 1) x) converge puntualmente, segn el teorema de Dirichlet, para todo x R a la extensin peridica gper (x) de g(x), x [1, 1]. Integrando trmino a trmino uno obtiene la serie de Fourier 1 x 4 n=0 (2n+1)3 sen((2n + 1) x) que se puede demostrar converge puntual2 3
x 1 4 1
mente a 0 gper (x) d s . As la serie de Fourier hallada para u(t, x) r corresponde a la siguiente frmula de dAlambert u(t, x) = fper (x + t) + fper (x t) 1 + 2 2
x +t x t
gper (s) d s.
188
[Captulo 3
La serie de Fourier converge rpidamente, basta con dos trminos de la serie para aproximar bastante bien la solucin. A la derecha mostramos un diagrama espacio-temporal de la onda, en la que hemos aproximado la serie de Fourier por su suma parcial a 4 trminos, el resultado exacto es prcticamente el mismo.
5 u(t, x)
0 1
3. Resolver, por el mtodo de separacin de variables en coordenadas cilndricas, el siguiente problema de contorno u = 0 , 1 < r < 2 , u|r =1 = u|r =2 . Como sabemos la resolucin por separacin de variables en coordenadas cilndricas de la ecuacin de Laplace conduce a considerar u(r , , z) = R,m (r )m ()Z (z),
l i R s o c n u e l i s o c n u
x donde
0 1 0 t
No todas estas funciones son soluciones de nuestro problema. Como queremos que la u sea univaluada m = 0, 1, 2, . . . . La condicin de contorno, que se impone sobre R,m , determina las siguientes posibilidades i) = m = 0 c2 = c1 ln 2 + c2 y as c1 = 0. Luego, R0,0 1.
z z , Z (z) = A e +B e ei m +D e i m , m () = C c1 ln r + c2 , = m = 0, m m R,m (r ) = c1 r + c2 r , 0, m = 0, EJm (r ) + F Nm (r ), 0.
3.7]
189
ii) = 0, m 0 c1 + c2 = 2m c1 + 2m c2 . Por tanto, R0,m (r ) (1 2m )r m (1 2m )r m . iii) 0 EJm () + F Nm () = EJm (2) + F Nm (2). Por ello, R,m (r ) (Nm () Nm (2))Jm (r ) (Jm () Jm (2))Nm (r ). 4. Resolver, por el mtodo de desarrollo en autofunciones, el siguiente problema de contorno y condiciones iniciales para la ecuacin del calor ut = uxx , t > 0, 0 < x < 1, u|t =0 = x 3 /3 x 2 /2, ux |x =0 = 0, u | = 0.
x x =1
l i R s o c n u e
1
Determinar tambin el lmite l mt u(t, x).
Al ser un problema de frontera de Neumann la base de Fourier a usar es {cos n x } n=0 . As la solucin u(t, x) se escribe como u(t, x) = v0 (t) vn (t) cos(n x), + 2 n =1
donde, debido a que u resuelve la ecuacin del calor, se debe cumplir v0 (t) = v0 (0), vn (t) = vn (0)en
2 2t
n = 1, . . . , .
Ms an, las condiciones iniciales implican que v0 (0) = 2 vn (0) = 2

0
x3 x2 3 2
x2 1 x3 dx = , 3 2 6 0 4 (1 (1 ) n ) cos(n x)dx = , n4 4
n = 1, . . . ..
Debemos subrayar que en la segunda integral hemos integrado por partes dos veces. Por todo ello concluimos que u(t, x) = 1 8 2 2 + en t cos(n x). 4 4 12 n impar n
Por ltimo, el lmite pedido es claro de la serie recin escrita l m u(t, x) = 1 . 12
190
[Captulo 3
5. Las soluciones de la ecuacin de Helmholtz en coordenadas esfricas son de la forma [Alm jl (kr ) + Blm nl (kr )]Yl,m (, ).
l i R s o c n u e
Ayuda: j0 (r ) = Esto es, que se escribe como
Determinar los valores de k para los que existen soluciones no triviales con l = 0 del problema de contorno u + k 2 u = 0 , u|r =1 = 0, u = 0. r r =2 1 < r < 2,
senr cos r , n0 (r ) = . r r
Nuestra solucin tiene la forma u(r , , ) = (Aj0 (kr ) + Bn0 (kr ))Y0,0 ,
y las condiciones de frontera imponen Aj0 (k) + Bn0 (k) = 0,

0 0
Para que existan una solucin no trivial es necesario que n0 (k) j0 (k) = 0. (2k) n j0 0 (2k)
Aj (2k) + Bn (2k) = 0.
senk cos k =0 2k cos(2k) sen2k 2ksen2k + cos(2k) tan k = 2k. 6. Determinar mediante el mtodo de separacin de variables las ondas estacionarias u(t, x ) = eit w(x ), 0,
del siguiente problema de contorno en coordenadas esfricas utt = u, r > 1,
u|r =1 = 0,
u|r = 0.
3.7]
gi (x) =
n =1
191
Si introducimos la propuesta de onda estacionaria en el problema de contorno para la ecuacin de ondas se obtiene el siguiente problema de contorno para la ecuacin de Helmholtz w + 2 w = 0 ,
w |r = 0. Como sabemos la separacin de variables en coordenadas esfricas conduce a las siguientes soluciones de la ecuacin de Helmholtz Rl (r )Ylm (, ), donde Ylm son los armnicos esfricos y Rl es una funcin que toma una forma u otra dependiendo de si es nulo o no. Cuando = 0 tenemos Rl (r ) = ar l + b/r l+1 , pero las condiciones de contorno imponen a = 0 y a + b = 0 luego la solucin es trivial. Si 0 la funcin radial es Rl (r ) = ajl (r ) + bnl (r ), donde jl y nl son las funciones de Bessel y Neumann esfricas respectivamente, satisfacindose de modo automtico la condicin de contorno en r . La condicin de contorno en r = 1 impone que la funcin radial es proporcional a nl ()jl (r ) jl ()nl (r ). Por todo ello las ondas estacionarias pedidas son aeit (nl ()jl (r ) jl ()nl (r ))Ylm (, ), > 0,
w | r =1 = 0 ,
con a una constante arbitraria.
7. Aplicando el mtodo de desarrollo en autofunciones resolver el siguiente problema de condiciones iniciales y de contorno utt uxx = 0, t > 0, 0 < x < 2 ,
u|x =0 = 0, u|x =2 = 0.
u|t =0 = x(x 2 ), ut |t =0 = 0,
Para aplicar el mtodo de desarrollo en autofunciones debemos calcular la solucin de wxx = w, w |x =2 = 0, que como sabemos tiene como autovalores a n = n2 /4 con autofunciones wn (x) = sen(nx/2). Debemos desarrollar ahora las condiciones iniciales u|t =0 = g1 (x) := x(x 2 ), ut |t =0 = g2 (x) = 0 en trminos de estas autofunciones. Por tanto, es necesario en clculo de la serie de Fourier en senos de gi (x): bi,n sen(nx/2), bi,n := 1
2 0
w |x =0 = 0 ,
sen(nx/2)gi (x),
192
Mtodos de separacin de variables y desarrollo en autofunciones 0 ,
[Captulo 3 para n par,
las integrales se calculan de modo simple, y as b1,n = El desarrollo en autofunciones de la solucin es u(t, x) := donde vn (t) es solucin de vn (t) + n2 /4vn (t) = 0,
vn (0) = b2,n , n =1
32 , n3
para n impar.
vn (t)sen(nx/2),
vn (0) = b1,n ,
con lo que vn (t) = b1,n cos(nx/2). Por tanto la solucin pedida es u(t, x) = 32 1 cos(nt/2)sen(nx/2), n impar n3
que utilizando las identidades de adicin de las funciones trigonomtricas se convierte en u(t, x) = 1 1 1 32 32 sen(n(x t)/2) + sen(n(x + t)/2) . 3 2 n impar n n impar n3
8. Resolver mediante la transformada de Fourier el problema ut + ux uxx = 0, u(x, 0) = ex ,

2
l i R s o c n u e
Ayuda: 1 2 donde
Recordando ahora los teoremas fundamentales sobre convergencia de series de Fourier, y denotando por g1,impar a la extensin impar peridica de g1 obtene1 mos u(t, x) := 2 (g1,impar (x + t) + g1,impar (x t)), que no es ms que la frmula de dAlambert aplicada a este caso. La aproximacin a un slo trmino, 32 cos(t/2)sen(x/2), es excelente.
t > 0, < x <
x 2 eikx dx e
1 2 e k /4 . 2
Las funciones eikx son autofunciones de B = /x 2 /x 2 con autovalores = ik + k2 . Por tanto, procede un desarrollo en autofunciones tipo transformada de Fourier: u(x, t) = 1 2 c(k)e(ik+k
2 )t
eikx dk
c(k) =
ex eikx dx =
1 2 e k /4 . 2
3.7] Por todo ello
193
u(x, t) = con la siguiente notacin
1 2
e k
2 (t +1/4)
eik(t x) dk
X := k, K := t x, a = t + 1/4 tenemos u(x, t) = 1 2 e a

2X2
eiKX dX =
1 2 e(t x) /(1+4t) 1 + 4t
9. Mediante el mtodo de desarrollo en autofunciones determinar la solucin del siguiente problema de contorno y de condiciones iniciales
l i R s o c n u e
Ayuda: cn =
ut = uxx ,
u|x =1 = 0, u|x =1 = 0.
u|t =0 = x sen( x),
t > 0, 1 < x < 1,
1 sen((a b)x) sen((a + b)x) , 2 ab a+b sen(ax)sen(bx)dx = 1 sen(2ax) x , 2 2a

d2 u
ab a = b.
La aplicacin del MDA requiere en este caso de la resolucin del
problema de autovalores para dx 2 = u con u(1) = u(1) = 0. Este problema de Dirichlet tiene como autovalores n = n2 2 /4 y autofunciones wn (x) = sen(n (x + 1)/2). Por tanto, buscamos la solucin u(x, t) en forma de serie u(x, t) =
n =1
vn (t)sen
n (x + 1) . 2
n2 2 4 t
= v y por ello v (t) = c e Aqu, vn debe ser solucin de vn n n n n desarrollo es n2 2 n u(x, t) = cn e 4 t sen (x + 1) . 2 n =1
y el
Los coecientes cn son los coecientes de Fourier de la condicin inicial

1 1
x 2 sen( x)sen
n (x + 1) dx. 2
Desarrollando el ltimo factor del integrando y analizando la paridad de los integrandos que as resultan concluimos que 0 n es impar, cn = (1)m 1 x 2 sen( x)sen(m x)dx n = 2m es par,
1
194
[Captulo 3
Integrando por partes dos veces la ayuda proporcionada concluimos que 0 2 2 3 c n = 6 2 8m 2 (m 1)2 n es impar, n = 2, n = 2m es par y n > 2.
As obtenemos el resultado nal
10. Resolver mediante el mtodo de desarrollo en autofunciones en coordenadas polares el siguiente problema de contorno para la ecuacin de Laplace u = 0 , 0 < r < 1, 0 < 2 ,
l i R s o c n u e
u(t, x) =
8m 2 2 3 2 t 2 2 e sen( (x + 1)) em t sen(m (x + 1)). 2 2 2 6 (m 1) m =2
u|r =1 = sen2 .
En coordenadas polares debemos resolver r 2 ur r + r ur + u = 0, u|r =1 = sen2 . 0 < r < 1, 0 < 2 ,
Para aplicar el MDA en primer lugar resolvemos el problema de autovalores para d2 con condiciones de contorno peridicas: u(0) = u(2 ). Las autofunciones d 2 son {1, senm, cos m } y los correspondientes autovalores m son {1, m2 }. Por tanto desarrollamos la solucin como u(r , ) = v0 (r ) +
m =1
(vm (r ) cos m + wm (r )senm).
+ r v + Las funciones vm , wm se caracterizan por ser soluciones de r 2 vm m m vm = 0. Teniendo en cuenta ahora la regularidad de la solucin para r = 0 concluimos que v0 = c0 y que vm = cm r m y wm = dm r m , donde los coecientes cm , dm los determina la condicin de contorno sen2 = 1/2 1/2 cos(2). Por tanto el desarrollo de la solucin es
u(r , ) =
1 r 2 cos(2) . 2
A continuacin mostramos una grca para la solucin
3.7]
195
11. Resolver utilizando la transformada de Fourier el siguiente problema de condiciones iniciales para la ecuacin del calor en el plano ut = uxx + uyy , u|t =0 = x 2 ex = t > 0, (x, y) R2 , .
l i R s o c n u e
Ayuda:
x 2 eikx dx e
2 y 2
k2 /4 e .
La solucin se expresa en trminos de la transformada de Fourier u(t, x, y) = v(t, k, q)ei(kx +qy) dkdq
R2
donde
v 2 2 = (k2 + q2 )v y por ello v = c(k, q)e(k +q )t . As t u(t, x, y) = c(k, q)e(k

2 +q 2 )t
R2
ei(kx +qy) dkdq
donde c(k, q) viene dado por c(k, q) = y por ello u(t, x, y) = k2 2 (k2 +q2 )/4 (k2 +q2 )t i(kx +qy) e e dkdq. e 16 k2 2 (k2 +q2 )/4 2 2 2 F ( e x y ) = e 2 k 16
R2
Esta integral se puede factorizar como sigue u(t, x, y) = 1 4 2 (k2 2)ek

2 (t +1/4)
eikx dk
1 2
e q
2 (t +1/4)
eiqy dq
196
[Captulo 3
que podemos evaluar usando las propiedades de la transformada de Fourier para as obtener x 2 +y 2 2t 4x 2 1+ 4t u(t, x, y) = . + e 1 + 4t (1 + 4t)2 A continuacin se muestra el proceso de termalizacin
12. Determinar las soluciones regulares de la ecuacin de Helmholtz en coordenadas cilndricas u + k2 u = 0, 0 r < a, z > 0 con las condiciones de contorno u|r =a = 0, u|z=0 = 0.
l i R s o c n u e
R,m donde m,j = cm,j a ,
Como sabemos las soluciones se expresan como combinaciones li 2 2 z 2 2 i k i k neales de R,m (r )m ()Z (z) donde Z = Am e + Dm e , m = i m i m + Dm e y Cm e = 0, m = 0, c1 ln r + c2 m m = c1 r + c2 r = 0, m 0, EJm (r ) + F Nm (r ) 0, m 0.
Para tener continuidad en la variable angular debemos tener m Z en tanto que la regularidad en la variable radial para r = 0 impone R,m = 0, m = 0, c 2 m = c1 r = 0, m 0, EJm (r ) 0, m 0.
La condicin de contorno u|z=0 = 0 implica que Z = Am sen( k2 2 z) y por ltimo la condicin de contorno u|r =a = 0 nos da um,j (r , , z) = EJm (m,j r )(Cm eim + Dm eim )sen( k2 2 z),
siendo {cm,j } j =1 los consecutivos ceros de Jm .
3.7]
13. Determinar la solucin del problema
l i R s o c n u e
con cn = y vn (0) = cn . Por ello, la solucin es u(t, x) =
197
ut = uxx ,
t > 0, 0 < x < 1,
u|t =0 = sen( x), ux |x =0 = 0, u|x =1 = 0.
Para aplicar el mtodo de desarrollo en autofunciones considera2 mos en primer lugar el problema de autovalores para B = 2 , x Bw = w, = k2
en el espacio {w C ([0, 1], wx |x =0 = 0) y w |x =1 = 0}. Se deduce fcilmente que los autovalores son n = k2 n con kn := (n + 1/2) y las autofunciones wn := cos(kn x). Como las condiciones de contorno son separadas para un operador de SturmLiouville regular el espectro es no degenerado y el conjunto de autofunciones forma base ortogonal. Por ello, podemos desarrollar la inhomogeneidad sen( x) en esta base con sen( x) =
1 0 n =1
cn cos(kn x)
(wn , sen( x)) 1 = wn 2 2
cos(kn x) sen( x) d x =
2 . 4n2 + 4n 3
El desarrollo en autofunciones ser de la forma u=

n =1
vn (t)wn (x)
donde (ahora A = /t y Av + v = 0)
vn + k2 n vn = 0, t
2 2 2 e(n+1/2) t cos((n + 1/2) x). 2 + 4n 3 4 n n =1
14. Dado el problema u = 0
u|r =1 = 0, u|r =2 = 0. Determinar, mediante el mtodo de separacin de variables las soluciones u = u(r , z) independientes de .
198
l i R s o c n u e
donde
[Captulo 3
Estamos resolviendo la ecuacin de Laplace, por ello las soluciones obtenidas por el mtodo de separacin de variables sern combinaciones lineales de u = R(r )()Z(z)
Como no queremos que aparezcan contribuciones dependientes de theta ponemos m = 0 y = 1. Por tanto las soluciones son u = R(r )Z(z) con Z = Aez + B ez , c1 log r + c2 , R= EJ0 (r ) + F N0 (r ),
= C ei m + D e i m , c1 log r + c2 , R = c1 r m + c2 /r m , EJm (r ) + F Nm (r ),
Z = Aez + B ez ,
= 0, m = 0, 0.
= 0, m 0,
0.
= 0,
Imponiendo las condiciones de contorno R |r =1 = R |r =2 = 0 vemos que 0 y que se debe tener J0 ()N0 (2) = J0 (2)N0 (). Esta ecuacin trascendente determina los posibles valores de . La solucin buscada es u = ez (N0 ()J0 (r ) J0 ()N0 (r )). 15. Hallar la solucin de la forma
l i R s o c n u e
Ayuda: Y1,0 = 3 cos . 4
u(t, x ) = sen(t)w(x )
del siguiente problema de contorno en coordenadas esfricas utt = u, /2 r ,
u|r = /2 = cos , u|r = = 0.
La ecuacin para w es w + w = 0 , w | r = = 0 . /2 r ,
w |r = /2 = cos ,
3.7]
199
que es un problema de contorno para la ecuacin de Helmholtz con k2 = 1. Para aplicar el mtodo de desarrollo en autofunciones, escribimos + 1 = A + B, A=r
d r + r 2, dr 1 d d2 d 1 B= sen + , sen d d sen2 d 2
y analizamos el problema de autovalores BY = Y en C (S 2 ). Recordemos que, en este caso, las autofunciones son los armnicos esfricos {Yl,m } l=0,1,2,... , que forman una base ortonormal, con autovalores = l(l + 1). Slo tenemos un trmino inhomogeneo en una condicin de contorno, g1 = cos , para el que tenemos g1 = 4 Y1,0 (, ). 3
m=l,...,l
El desarrollo en autofunciones de la solucin es w = v(r )Y1,0 , donde Av + v = 0 y por ello v = c1 j1 (r ) + c2 n1 (r ) donde las funciones esfricas de Bessel de orden 1 son j1 = sen r cos r , r2 r n1 = cos r sen r . r2 r
Las condiciones de contorno r = /2 y r = conducen al siguiente sistema para los coecientes c1 y c2 . 2 c1 c2 = , 3 c 1 + c 2 = 0, que implica c1 = y la solucin es u= 2 3 1 sen(t) cos() 2 ((1 + r ) sen r + ( r ) cos r ). 3 r 2 3 , 3 c2 = 2 3 3
200
[Captulo 3
3.7.3.
Ejercicios
1. Una partcula cuntica en una dimensin espacial encerrada en una caja de longitud L es descrita por un problema de contorno del tipo: i ut = uxx , t > 0, 0 < x < L; Determinar las soluciones que proporciona el mtodo de separacin de variables. 2. Determinar las soluciones que proporciona el mtodo de separacin de variables para el problema de contorno: t ut = uxx + 2u, t > 0, 0 < x < ; 3. Determinar las soluciones que proporciona el mtodo de separacin de variables para el problema de contorno: ut = uxx , t > 0, 0 < x < 1; 4. El potencial de velocidades de un uido estacionario en el interior de una tubera de seccin rectangular es descrito por el problema de contorno: u = 0, 0 < x < L1 , 0 < y < L2 , < z < +; Determinar las soluciones proporcionadas por el mtodo de separacin de variables. 5. Bajo determinadas condiciones, ciertas componentes del campo electromagntico, en el interior de una gua de ondas de seccin rectangular, son descritas por el problema de contorno: utt = c 2 u, 0 < x < L1 , 0 < y < L2 , < z < +; u|paredes = 0. Determinar las ondas estacionarias del modelo. 6. Determinar los estados estacionarios de una partcula cuntica encerrada en una caja cilndrica de radio a y altura h. 7. El potencial de velocidades de un uido estacionario, en el interior de una tubera de seccin circular de radio a, es descrito en coordenadas cilndricas por el problema de contorno: u = 0, 0 r < a, 0 < 2 , < z < +; u = 0. n pared u = 0. n paredes u| x =0 = 0, (ux + u)|x =1 = 0, u| x =0 = 0, u|x = = 0. u| x =0 = 0, u|x =L = 0.
3.7]
201
Determinar las soluciones proporcionadas por el mtodo de separacin de variables. 8. Probar que si Q(x) es una solucin de la ecuacin de Legendre, (1 x 2 )Q 2xQ + Q = 0, entonces la funcin P (x) = (1 x 2 )
|m | 2
x Q(x), m2 )P = 0. 1 x2
|m|
siendo m un nmero entero, satisface la ecuacin: (1 x 2 )P 2xP + (
9. Bajo determinadas condiciones, ciertas componentes del campo electromagntico connado entre dos esferas concntricas son descritas por el problema de contorno en coordenadas esfricas: 2 utt = c u, a1 < r < a2 , 0 < , 0 < 2 Determinar las ondas estacionarias del modelo. 10. Una cuerda innita sujeta por uno de sus extremos es descrita por el problema de contorno: utt = c 2 uxx , < x < 0, t > 0; u|x =0 = 0. Determinar las ondas estacionarias del problema e interpretarlas dinmicamente. 11. Bajo determinadas condiciones ciertas componentes de un campo electromagntico connado en el interior de una caja de forma paralepipdica son descritas por el problema de contorno: utt = c 2 u, 0 < x < L1 , 0 < y < L2 , 0 < z < L3 ; u|paredes = 0. Determinar las ondas estacionarias del modelo e interpretarlas dinmicamente. 12. Resolver el problema de contorno u = 0 , 0 < x < a , 0 < y < b , u|x =0 = 0 , u|x =a = 0 , u| = x(a x) , u| = 0,
y =0 y =b
u| paredes = 0.
utilizando el mtodo de desarrollo en autofunciones.
13. Resolver el problema de valores iniciales ut = k uxx , t > 0, 0 < x < l , u(0, t) = h1 (t) , u(l, t) = h2 (t) , u(x, 0) = 0 , utilizando el mtodo de desarrollo en autofunciones.
202
[Captulo 3
14. Una cuerda con los extremos jos sometida a una fuerza exterior satisface el siguiente problema de valores iniciales: 2 x utt c 2 uxx = f0 sen , t > 0, 0 < x < l; l u|x =0 = 0 , u|x =l = 0 , x u|t =0 = 0 , ut t =0 = sen . l Determinar su solucin mediante el mtodo de desarrollo en autofunciones. 15. Una partcula cuntica en un pozo innito en una dimensin espacial obedece el problema de valores iniciales 2 i u = uxx , t > 0, 0 < x < l , t 2m u(0, t) = 0 , u(l, t) = 0 , u(x, 0) = 2 sen x sen 3 x . l l Determinar su solucin empleando el mtodo de desarrollo en autofunciones. 16. Resolver el problema de valores iniciales ut = u , 1 < r < 2 , t > 0 , 1 sen r , u t =0 = r 2 u u+ = u r =2 = 0 . n r =1 t > 0,
17. Resolver el problema de valores iniciales sen 2r t e , ut = u + r sen r u . t =0 = r
19. Considrese el problema de contorno en coordenadas cilndricas: u = 0 , r < R , u = g() .

r =R
18. Resolver el problema de contorno C u = , r > R , r u r =R = z , u = 0. r r =R
Buscar soluciones independientes de z mediante el mtodo de desarrollo en autofunciones.
3.7]
203
20. Resolver el problema de valores iniciales ut = k uxx , t > 0, 0 < x < l , u u (0, t) = h1 (t) , (l, t) = h2 (t) , x x u(x, 0) = 0 ,
mediante el mtodo de desarrollo en autofunciones.
21. Resolver el problema de valores iniciales 2 uxx , t > 0, 0 < x < l , i ut = 2m u u (0, t) = (l, t) u(0, t) = u(l, t) , x x l x, si 0 < x < 2 , u(x, 0) = l l x, si 2 < x < l. 22. Considrese un cilindro de radio R y altura h situado sobre el plano z = 0. Resolver el problema de contorno interior u = 0 , u|z=h = g(r , ) , u| = 0.
resto paredes
A PNDICE
Resumen de funciones especiales

Dada la ecuacin u + p(x)u + q(x)u = 0, x0 punto ordinario p, q analticas en un entorno de x0 . x0 punto singular x0 no ordinario. x0 punto singular regular x0 singular, y (x x0 )p(x), (x x0 )2 q(x) analticas en un entorno de x0 .
Ejemplo 1: oscilador armnico en Mecnica Cuntica.
u + x 2 u = u n = 2n + 1
( = 2E) , 1 ), 2
< x < n0
2
(En = n +
2 /2
un (x) = Hn (x)ex H0 (x) = 1
Hn (x) = (1)n ex (un , um ) =

d n x 2 e d xn
polinomios de Hermite
2
Hn (x)Hm (x)ex d x = nm
n 2 n!
H2 (x) = 4x 2 2 . . .
H1 (x) = 2x
205
206
Resumen de funciones especiales Ejemplo 2: ecuacin de Legendre. d du (1 x 2 ) = u , dx dx n = n(n + 1), n 0 un (x) = Pn (x) P0 (x) = 1
2 P2 (x) = 1 2 (3 x 1 )
[Captulo A
1 < x < 1 1 dn (x 2 1)n 2n n! dx n

1
Pn (x) =
polinomios de Legendre 2 2n + 1
(un , um ) =
P1 (x) = x . . .
Pn (x)Pm (x)dx = nm
A.0] Ejemplo 3: ecuacin de Bessel
207
1 d du 2 x + 2 u = u , x dx dx x
( 0)
0<x<
u(x) = c1 J ( x) + c2 N ( x) 2 3/2 J (x) = x cos x (2 + 1) 4 + O x 2 N (x) = x sen x (2 + 1) 4 + O x 3/2 x J (x)
(x/2) regular en x = 0 ( entero ( + 1) = !) ( + 1) 2 =0 log x, N singular en x = 0 (x) () , 0 (2x) x0

1
0.8
J0
0.8
J0
0.6
0.6
0.4
J1
0.4
J1
0.2
0.2
10
15
20
10
15
20
-0.2
-0.2
-0.4
-0.4
c 0
2 xJ (x)dx =
1 c J (c) 2
J (c) = 0

Met de Separacion de Variables EDP

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Met de Separacion de Variables EDP

Caricato da

Copyright:

Formati disponibili

C APTULO

Mtodos de separacin de variables y desarrollo en autofunciones

3.1. El mtodo de separacin de variables

Mtodos de separacin de variables y desarrollo en autofunciones

Operadores diferenciales separables

Sea L un operador diferencial lineal actuando sobre funciones diferenciables en un subconjunto de Rn Lu :=

Para la discusin siguiente es conveniente denotar L en la forma L = L x 0 , x 1 , . . . , x n 1 ; , ,..., , x0 x1 xn1

operador diferencial separable

El mtodo de separacin de variables

4. El operador que aparece en la ecuacin de Schrdinger en 1+3 dimensiones: Lu := i ut +

3.1.2. Soluciones de EDP

separacin variables ecuaciones homogneas

todo par de funciones v = v(x0 ), w = w(x1 , . . . , xn1 ),

que veriquen el sistema de ecuaciones Av = v, (3.2)

por tanto la funcin producto u = vw satisface

Mtodos de separacin de variables y desarrollo en autofunciones y una EDP Bw + w = 0,

c()u (x) dn1 ,

o incluso una superposicin de ambas formas u(x) =

c()u (x) dn1 .

El mtodo de separacin de variables

3.1.3. Soluciones de problemas de contorno

operadores de frontera separables

Ejemplos 1. Sea R3 , los funcionales l(u) = u|x =1 , l(u) = ux |x =1 ,

Mtodos de separacin de variables y desarrollo en autofunciones

que veriquen los sistemas de ecuaciones Av = v, ai (v) = 0, i = 1, . . . , r , Bw = w, bj (w) = 0, j = 1, . . . , s,

ai (u) = ai (vw) = wai (v) = 0,

bj (u) = bj (vw) = vbj (w) = 0.

El mtodo de separacin de variables

Podemos aplicar el MSV, buscando soluciones de la forma u = v(z)w(x) donde vz |z=h = 0,

Mtodos de separacin de variables y desarrollo en autofunciones

separacin de variables y cambios de coordenadas

El mtodo de separacin de variables

3.1.4. El MSV y las ecuaciones de la fsica matemtica

t (a, b), x (0, l),

El problema espectral asociado es Las soluciones son

wn (x) = sen kn x, donde n = La relacin de dispersin es =

luego las ondas estacionarias del problema son un (t, x) = e i n t sen kn x, n =

La ecuacin de Helmholtz en coordenadas cartesianas

3.2. La ecuacin de Helmholtz en coordenadas cartesianas

2 2 2 2 donde = k2 2 C. Llamando k3 = k k1 k2 vemos que la solucin buscada tiene la forma

3.2.1. Partcula cuntica en una caja impenetrable

Mtodos de separacin de variables y desarrollo en autofunciones z L3

L1 x La EDP es una ecuacin de Helmholtz con k2 = 2mE

desglosa en las siguientes condiciones

a1 e que implica que

2 2 El parmetro k2 = k2 1 + k2 + k3 es entonces de la forma

y se obtiene as la siguiente cuanticacin de la energa En1 ,n2 ,n3 =

La ecuacin de Helmholtz en coordenadas cartesianas

3.2.2. Partcula cuntica en una caja con condiciones

En1 ,n2 ,n3 =

Fluido en una tubera

El uido en un tubera, modelada como el conjunto [0, L] R [0, L ] R3 , z

3.2] que implica el sistema

La ecuacin de Helmholtz en coordenadas cartesianas

La existencia de soluciones no triviales (a1 , b1 ) (0, 0) requiere 1 ei k1 L esto es sen(2k1 L) = 0, luego 1 = 0, e i k1 L n, L n Z.

k2 = i y obtenemos las soluciones siguientes

Mtodos de separacin de variables y desarrollo en autofunciones

3.3. La ecuacin de Helmholtz en coordenadas

Cuando se usan coordenadas cilndricas x = r cos , z = z, z

La ecuacin de Helmholtz en coordenadas cilndricas

la ecuacin de Hemholtz se escribe como sigue ur r + 1 1 ur + 2 u + uzz + k2 u = 0. r r

r 2 Vr r + r Vr + V = 2 r 2 V . La solucin de la primera EDO es Z (z) = Aei

La solucin general de la segunda es m () = C ei m + D e i m . (3.11)

Mtodos de separacin de variables y desarrollo en autofunciones