Professional Documents
Culture Documents
Ecuaciones Diferenciales II
5
u(t, x)
0
x 5
1 t
0
http://librosdejoe.blogspot.com
o busca en la web:
librosdejoe
ndice general
i
ii NDICE GENERAL
Denicn
unicidad bsicos, debido a Cauchy y a Kovalevskaya. Tambin se introducen los
problemas de Cauchy y la nocin de hipersuperficie caracterstica y se dedica una sec-
cin a definiciones bsicas sobre operadores diferenciales y problemas de EDP lineales
asociados.
En esta seccin, tras una introduccin de carcter general sobre nmeros complejos
y derivadas parciales, presentamos algunas de las EDP ms relevantes en Fsica. Por
ltimo, analizamos como se transforman las EDP ante cambios de coordenadas.
Re u = u1 , Im u = u2 .
u2
q
u = u1 i u2 , |u| = + u21 + u22 , arg u = arctan .
u1
Supondremos siempre que las funciones que manejamos admiten derivadas hasta
el orden requerido por las operaciones que debamos efectuar. En particular tal orden
ha de ser suficiente para que el resultado de una derivacin mltiple sea independiente
del orden en que efectuemos las derivaciones individuales. Por ejemplo:
Ejemplos
1. Sea
2 +y 2
u(x, y) = xy + i ex .
En este caso
2 +y 2
u1 (x, y) = xy, u2 (x, y) = ex ,
por lo tanto
q
x 2 +y 2 2 2
u = xy i e , |u| = (xy)2 + e2(x +y )
Ecuaciones Diferenciales II
1.1] Definicin de EDP. EDP lineales 3
2. Sea
2 +y 2 )
u(x, y) = exy+i(x .
luego
u1 = exy cos(x 2 + y 2 ), u2 = exy sen(x 2 + y 2 ),
x = (x0 , x1 , . . . , xn1 ),
= (0 , 1 , , n1 ) Zn n
+ R ,
dn u
D n u := .
d xn
EDP
Para definir el concepto de EDP es conveniente usar la notacin abreviada.
Ecuaciones Diferenciales II
4 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
F (x, D u) = 0, (1.1)
Aunque pueden tratarse situaciones ms generales de gran inters, aqu slo consi-
deraremos EDP correspondientes a funciones F que dependen polinomicamente en las
variables D u.1 No impondremos tal tipo de restricciones a la dependencia respecto
de las variables xi . En particular, si F es un polinomio de grado uno en D u se dice
EDP lineal que la EDP es una EDP lineal.2 En ese caso la EDP es de la forma
X
a (x)D u f (x) = 0, (1.2)
P
donde significa que la suma se extiende a un conjunto finito de multi-ndices
con || 0. Las funciones a (x) y f (x) se suponen dadas. Normalmente cuando
tratamos con una ecuacin como (1.2) la escribimos como
X
a (x)D u = f (x),
Ejemplos
1. La EDP
ux + ex+y uy u = x 2 y 2 ,
e
cu
i
a
c
n
i
s
c
fa
s
s
m
es lineal de orden 1.
i
e
s
c
r
p
i
c
n
2. La EDP
s
As ad
b
i
n e
o
e
r
a
uxx u + uy + xy = 0,
e
xt
m
e
n
s
lo m g
m
st
es no lineal, obsrvese el trmino uxx u, y de orden 2.
1
Sin embargo, existen situaciones en que aparecen ecuaciones generales. Por ejemplo, la
de sine-Gordon:
utt uxx = sen u
se utiliza en la de la transparencia auto-inducida o en el estudio de las uniones Josephson.
mismo, es relevante en diferencial.
2
Una del concepto de EDP lineal es el de EDP cuasi-lineal, ahora se exige linealidad tan
en las derivadas de orden alto.
Ecuaciones Diferenciales II
1.1]
Hay cuatro ejemplos de EDP lineales, todas ellas de segundo orden, a las que vamos
a dedicar un inters particular en este curso:
2
i ut = uxx + uyy + uzz + q(x, y, z)u,
2m
Para escribir de forma abreviada las ecuaciones anteriores es conveniente usar la nota-
cin del operador Laplaciano:
As se obtiene:
u = f .
Ecuaciones Diferenciales II
6 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
utt = c 2 u.
2
i ut = u + qu.
2m
ut = a2 u.
con aplicaciones en hidrodinmica, fsica del estado slido y fsica del plasma.
con relevancia en diversos campos entre los que destaca la ptica no lineal.
Fsica aci
ecu n
yi = yi (x0 , x1 , . . . , xn1 ), i = 0, 1, . . . , n 1,
Ecuaciones Diferenciales II
1.1] Definicin de EDP. EDP lineales 7
u X u yi
= ,
xi i y i xi
2u
X
yj u
XX
yi yj 2 u X 2 yj u
= = +
xi xj xi j xj yj i j
xi xj yi yj j
xi xj yj
Ejemplos
i) Sea la EDP:
utt uxx = 0.
y1 = t + x, y2 = t x.
1 1
t= (y1 + y2 ), x= (y1 y2 )
2 2
Inmediatamente se obtiene:
y1 y2
ut = uy1 + uy2 = uy1 + uy2 ,
t t
y1 y2
ux = uy1 + uy2 = uy1 uy2 ,
x x
utt = + (uy1 + uy2 ) = uy1 y1 + uy2 y2 + 2uy1 y2 ,
y1 y2
uxx = (uy1 uy2 ) = uy1 y1 + uy2 y2 2uy1 y2 .
y1 y2
4uy1 y2 = 0.
Ecuaciones Diferenciales II
8 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
x = r cos , y = r sen ,
y
q
r = x2 + y 2, = arctan .
x
Aplicando la regla de la cadena:
x y sen
ux = q ur 2 u = cos ur
2
u ,
2
x +y 2 x + y r
y x cos
uy = q ur + 2 2
u = sen ur + u .
x2 + y 2 x +y r
1
(cos + sen )ur + (cos sen )u = r 3 sen cos2 .
r
i) es un conjunto abierto. Esto es, para todo punto a existe un radio r > 0
tal que todo punto x Rn cuya distancia a a es inferior a r (d(x, a) < r )
pertenece a .
ii) es conexo.
Es decir, no es posible encontrar dos conjuntos abiertos no vacos i , (i =
1, 2) tales que 1 2 = y 1 2 = .
= S(),
se denomina el cierre de .
A continuacin mostramos diagramas de un dominio y de conjuntos que no son
dominios dado que violan la propiedad i) o la propiedad ii).
Ecuaciones Diferenciales II
1.2] Condiciones de contorno o frontera. Condiciones iniciales 9
Frontera
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Dominio
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
conjunto no abierto
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
conjunto no conexo
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
F (x, D u) = 0, x , (1.3)
normalmente se nos pide no slo que encontremos una funcin u = u(x) que satis-
faga la EDP en todo punto de , sino tambin que tal funcin satisfaga una serie de
condiciones
fi (x, D u) = 0, x Si , i = 1, . . . m,
donde los smbolos Si denotan partes de la frontera S() de , y las fi son funciones
dependientes de las variables xi , y de un nmero finito de derivadas D u con || 0.
Condiciones de esta clase se denominan condiciones de contorno tambin se cono-
cen como condiciones de frontera, en este texto utilizaremos ambas denominaciones
. Solo consideraremos condiciones de contorno en las que las funciones fi son polino- condiciones de
mios de grado uno en las variables D u (condiciones de contorno lineales). Es decir, contorno
de la forma X
bi, (x)D u gi (x) = 0, x Si ,
o bien X
bi, D u|Si = gi .
Ecuaciones Diferenciales II
10 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
Ejemplos
1. La ecuacin de Laplace en una caja rectangular. Consideramos la EDP
R3
z
u(x, y, c) = g(x, y)
u(0, y, z) = 0 b
y
c
u(x, b, z) = 0
uxx + uyy + uzz = 0
u(x, 0, z) = 0
a u(a, y, z) = 0
x
u(x, y, 0) = 0
uxy = 0
Veamos ahora que este problema puede no tener solucin. Como se satisface la
EDP uxy = 0 la funcin ux no depende de y, ux = ux (x), y por ello debemos
tener
f1 = f2 ,
y un argumento anlogo conduce a
g1 = g2 .
Por tanto, para que el problema de contorno tenga solucin es necesario que se
satisfagan condiciones adicionales sobre los datos de frontera. Este problema
est relacionado con las curvas caractersticas que discutiremos ms adelante.
Ecuaciones Diferenciales II
1.2] Condiciones de contorno o frontera. Condiciones iniciales 11
y
R2
u(x, 1) = f2 (x)
1
u(0, y) = g1 (y)
u(1, y) = g2 (y)
uxy = 0
u(x, 0) = f1 (x) 1
1. Condicin de Dirichlet:
u|S = g.
2. Condicin de Neumann:
u
= g,
n S
siendo
u
:= n u = n1 ux + n2 uy + n3 uz ,
n
donde n = (n1 , n2 , n3 ) es el campo de vectores normales a la superficie S.
3. Condicin mixta
u
au + b = g.
n S
Ecuaciones Diferenciales II
12 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
En todo caso, siempre que trabajemos con una condicin de contorno sobre una
parte S de la frontera de Rn , supondremos que S puede describirse mediante una
ecuacin implcita:
fS (x) = 0,
tal que
fS (x) 0, x S.
normal unitaria Podemos definir un campo normal unitario segn
fS (x)
fS (x)
.
n(x) :=
Ecuaciones Diferenciales II
1.2] Condiciones de contorno o frontera. Condiciones iniciales 13
Ejemplos Los ejemplos siguientes muestran los campos de vectores normales y las
correspondientes operaciones de derivacin en la direccin del vector normal.
f (x, y) = x 2 + y 2 r 2 ,
(2x, 2y) 1 u 1
n=
= (x, y),
=
xux + yuy = ur .
(2x, 2y)
r n r
y
R2
r
n
x
fS (x, y, z) = x 2 + y 2 r 2 ,
(2x, 2y, 0) 1 u 1
n=
= (x, y, 0),
=
xux + yuy = ur .
(2x, 2y, 0)
r n S
r
Ecuaciones Diferenciales II
14 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
z
R3
S R3
n
Ecuaciones Diferenciales II
1.2] Condiciones de contorno o frontera. Condiciones iniciales 15
tal que tanto como su inversa, expresadas en coordenadas locales de sus superficies condiciones
dominio, son funciones que admiten todas las derivadas. Una condicin de contorno de contorno
peridica viene expresada como una ecuacin de la forma peridicas
Ejemplos
1. Sea la ecuacin del calor en 1+1 dimensiones:
ut = uxx ,
sobre el dominio
= {(t, x) R2 | t > 0, 1 < x < 2}.
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
t xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
x
xxxxxxxxxxxxxxxxxx
1 2
t=0
Ecuaciones Diferenciales II
16 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
i ut = uxx ,
sobre el dominio
t
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
x
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
1 xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
1
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
t=0
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxx
Ecuaciones Diferenciales II
1.3] Existencia local de soluciones de EDP 17
Dada una EDP (1.1) sobre un dominio Rn , la primera cuestin natural a conside-
rar es la existencia de soluciones u = u(x). Por nuestra experiencia con las ecuaciones
diferenciales ordinarias debemos intuir que los resultados generales que podemos es-
perar han de ser locales. Es decir, resultados asegurando la existencia de soluciones
en algn abierto alrededor de cada punto de . existencia local
Un aspecto importante a considerar es el tipo de soluciones que buscamos. Es
decir, las propiedades que exigimos a u = u(x). Nuestra decisin en este aspecto est
condicionada por las propiedades de la propia funcin F = F (x, D u) que define la
EDP. En este sentido vamos a concentrarnos ahora en una clase de problemas en que es
posible deducir un importante resultado sobre la existencia de soluciones analticas.
En este punto es importante comentar la nocin de funcin analtica.
Funciones analticas
El espacio A() de funciones analticas en un abierto est formado por las funciones analti-
funciones f = f (x) tales que para todo punto a existe un radio r > 0 y un cas
desarrollo en serie mltiple de potencias de f
1
c (x a) ,
X
f (x) = c = D f (a).
||0
!
f (x)
f (x) + g(x), f (x) g(x), , (g(x) 0),
g(x)
Ecuaciones Diferenciales II
18 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
r u
= G(x, D u), r > 0, (1.4)
t r
siendo G una funcin que depende polinomicamente de un nmero finito de deri-
vadas
|| u
D u = 0 n1 ,
x0 xn1
pero debe ser independiente de las siguientes
r u
; D u, con || > r .
t r
Comentarios
1. De acuerdo con la definicin anterior r es el orden de (1.4).
2. Para analizar si una EDP posee la forma normal respecto de una de sus variables
independientes t, lo primero que hay que hacer es despejar la derivada respecto
de t de orden ms alto y despus comprobar que en el segundo miembro no
Ejemplos
1. La EDP
ux uy = log(xy),
posee la forma normal respecto de cualquiera de sus variables x y, pues puede
escribirse como
ux = uy + log(xy),
o bien
uy = ux log(xy),
y en ambos casos se verifica la condicin de normalidad respectiva.4
i
n
c
fu
lo
nsltic
a
n
a la
a n
o
r
a
mltic
n
a a
ut uxx = 0,
es claramente de forma normal respecto de la variable x, pero no lo es respecto
de t ya que al despejar ut
ut = uxx ,
en el segundo miembro queda una derivada de orden mayor que el de ut .
4
Sin embargo la log(xy) es cuando xy > 0, luego la EDP es
(ver 1.3.2) en x e y en los dominios 1 = {(x, y) R2 , con x > 0,y > 0} y 2 = {(x, y)
R2 , con x < 0,y < 0}.
Ecuaciones Diferenciales II
1.3] Existencia local de soluciones de EDP 19
uxxx = uux ut ,
r u
= G(x, D u), x , (1.5)
t r
u(t0 , x) = 0 (x),
u
(t0 , x) = 1 (x),
t
.. x (1.6)
.
r 1 u
(t0 , x) = r 1 (x),
t r 1
donde t0 I y i = i (x) son una serie de funciones dadas, que reciben el nombre
de valores iniciales del problema.
Ejemplo Para la ecuacin de Schrdinger no lineal, que tiene la siguiente forma nor-
mal con respecto a x,
uxx = i ut + u3 , u : R,
se plantea el problema de Cauchy de condiciones iniciales
u(t, 0) = f (t),
u
(t, 0) = g(t).
x
Ecuaciones Diferenciales II
20 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
Teorema 1.3.3. Sea un problema normal de Cauchy con valores iniciales (1.5)-
(1.6) para una EDP normal y x0 = (t0 , x 0 ) un punto de su dominio tal que
Comentarios
I
0
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
t0 xxxxxxxxxxx
xx
xxxxxxxxxxx
xx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
x0
2. Hay una clara analoga entre este resultado y los teoremas de existencia bsicos
de la teora de ecuaciones diferenciales ordinarias (EDO). Diremos que una EDP
es normal-analtica si es normal y satisface la condicin i) de analiticidad del
teorema CK. Entonces, bajo condiciones apropiadas se verifica:
La solucin local de una EDO de orden r depende de r constantes arbitrarias.
La solucin analtica local de una EDP normal-analtica de orden r depende de r
funciones analticas arbitrarias.
Ecuaciones Diferenciales II
1.3] Existencia local de soluciones de EDP 21
Las incgnitas a determinar son las derivadas D u(x0 ). Para ello observemos
que derivando respecto de las variables xi , i 1, las condiciones iniciales (1.6),
podemos hallar todas las derivadas del tipo
|| u ||0 0
n1 (t 0 , x) = n1 (x),
t 0 x1 1 xn1 x1 1 xn1
0
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
t0 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S
Ejemplos
Ecuaciones Diferenciales II
22 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
1 n+m u
(0, 0)t n x m .
X
u(t, x) = n x m
(1.7)
n0,m0
n!m! t
n+1 u n+1 u
= , n 0,
t n+1 t n x
e iterando este resultado se obtiene
n+1 u n+1 u n+1 u
= = = .
t n+1 t n1 x 2 x n+1
Derivando esta ltima relacin respecto de x se obtiene
n+m+1 u n+m+1 u
= , n, m 0.
t n+1 x m x n+m+1
Por tanto
n+m+1 u n+m+1 u
(0, 0) = (0, 0)
t n+1 x m x n+m+1
(1.9)
n+m+1 ex
= 1, n, m 0.
x n+m+1
x=0
De esta forma usando (1.8)-(1.9) en (1.7) se obtiene
1
tnxm
X
u(t, x) =
n0,m0
n!m!
X 1 X 1
= tn xm
n0
n! m0
m!
= et ex .
lucian
so secuacin asfuncin
dem
Puede comprobarse directamente que hemos construido una solucin del pro-
blema.5
2. Ausencia de normalidad
Consideremos ahora el problema de Cauchy:
Ecuaciones Diferenciales II
1.3] Existencia local de soluciones de EDP 23
1 n+m u
(0, 0)t n x m .
X
u(t, x) = n x m
n0,m0
n!m! t
La serie ha de ser convergente para todo (t, x) en algn abierto del tipo (r0 , r0 )
(r1 , r1 ). Para todo x0 tal que |x0 | < r1 la funcin u(t, x0 ) ser una funcin
analtica de t alrededor de t = 0, luego admitir un desarrollo en serie
an (x0 )t n ,
X
u(t, x0 ) = (1.10)
n0
donde
1 nu
an (x0 ) = (0, x0 ).
n! t n
Pero derivando la EDP
nu n+1 u
= , n 0,
t n t n1 x 2
e iterando este resultado se obtiene
nu n+4 u 2n u
= = = .
t n t n2 x 4 x 2n
Por otra parte derivando respecto de x la condicin inicial tenemos que
mu m (1 x)1 m!
(0, x0 ) = = .
x m x m (1 x0 )m+1
x=x 0
Por tanto
(2n)!
an (x0 ) = .
n!(1 x0 )2n+1
Pero este resultado implica que la serie (1.10) tiene radio de convergencia r = 0
ya que aplicando la frmula bien conocida:
1 an+1
= lm
r n an
(2n + 2)(2n + 1)
= lm = .
n (n + 1)(1 x0 )2
Ecuaciones Diferenciales II
24 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
caractersticas
soluciones locales admisibles.6 La construccin de tales ejemplos es sofisticada,
slo mencionaremos el debido a H. Lewy (1957) que es la siguiente EDP lineal de ejemplo de
primer orden
ux + i uy 2 i(x + i y)ut = f (t).
Resulta que si f = f (t) es una funcin continua con valores reales, que slo
depende de t y no es analtica en t = 0, entonces no existe ninguna solucin
local de clase C 1 en (t, x, y) = (0, 0, 0).
Este ejemplo muestra la profundidad del problema de existencia local de solu-
ciones de EDP en el caso de no analiticidad.7
S : h(x, y, z) = 0
y
: h(x, y) = 0
sfuncin estsolucin
m
y
x
x
problema de Cau-
chy 6
Por admisible entendemos aquellas soluciones cuyo grado de diferenciabilidad es mayor o igual
que el orden de la EDP.
7
Entre los resultados generales que pueden usarse en tal contexto la siguiente consecuencia
de un importante resultado (teorema de Nirenberg (1959)): dada una EDP lineal de la forma:
X
c D u(x) = f (x),
Ecuaciones Diferenciales II
1.4] Problemas de Cauchy. Hipersuperficies caractersticas 25
F (x, D u) = 0, x . (1.12)
siendo los datos iniciales i (x) funciones definidas sobre S. Diremos que S es una
hipersuperficie caracterstica de (1.12) si las condiciones iniciales (1.13) determi-
nan el valor de la funcin F (x, D u) sobre S.
la EDP si ese valor es cero.
Ejemplos
ut uxx = 0, (t, x) R2 ,
u|t=0 = 0 (x), ut |t=0 = 1 (x).
Obsrvese que la EDP es de orden 2 y que las dos condiciones iniciales estn
asociadas a la curva determinada por la ecuacin t = 0. Sobre la funcin
F = ut uxx est determinada por las condiciones iniciales, ya que:
(ut uxx ) = 1 (x) 0,xx (x).
Pero la EDP exige que F = 0 sobre . Por lo tanto, en general el problema de Cau-
chy es incompatible pues slo podr tener solucin para ciertos datos iniciales:
aquellos que satisfagan:
1 (x) 0,xx (x) = 0.
Ecuaciones Diferenciales II
26 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
carctersticas
tar completamente determinado sobre , salvo cuando suceda que A(0, 2 ) = 0.
En tal caso para que pueda existir solucin del problema de Cauchy debe suceder
B(0, 2 ) (2 ) + G(0, 2 , ) = 0
que claramente es una ligadura entre los coeficientes B, G que definen la EDP y
la funcin . La curva : 1 = 0 es un ejemplo de lo que se entiende por curva
caracterstica, concepto que ser estudiado a continuacin.
: y = y(x).
Nuestro objetivo es determinar las curvas que son caractersticas. Para ello efectua-
mos un cambio de variables (x, y) 7 (1 , 2 )
con el fin de llevar nuestro problema a la forma (1.14). Por tanto, debemos imponer la
condicin
1 (x, y) = y y(x).
Esta condicin hace que la ecuacin de la curva en las nuevas variables sea
: 1 = 0.
1 2 1 2
a u1 + u2 + b u1 + u2 + G(1 , 2 , u) = 0,
x x y y
o bien
(a1,x + b1,y )u1 + (a2,x + b2,y )u2 + G(1 , 2 , u) = 0. (1.17)
Ecuaciones Diferenciales II
1.4] Problemas de Cauchy. Hipersuperficies caractersticas 27
Ejemplos
1. Sea la EDP
ux + uy + xyu2 = 0.
En este caso:
a = 1, b = 1,
la ecuacin (1.20) de las caractersticas es
y (x) = 1.
Luego las caractersticas son las rectas
y = x + c.
2. Para la EDP
xux + yuy + u = 0,
se tiene que
a = x, b = y,
luego la ecuacin (1.20) de las caractersticas es
y
y (x) = ,
x
cuya integracin conduce a las siguientes curvas caractersticas
y = cx.
Ecuaciones Diferenciales II
28 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
3. La EDP
sen y ux + cos x uy + u3 = 0,
tiene
carctersticas
a = sen y, b = cos x,
la ecuacin (1.20) de las caractersticas es
cos x
y (x) = .
sen y
: y = y(x).
Nuestro objetivo de nuevo es determinar las curvas que son caractersticas. Para ello
efectuamos tambin un cambio de variables (x, y) 7 (1 , 2 )
con la condicin
1 (x, y) = y y(x),
que hace que la ecuacin de la curva en las nuevas variables sea
: 1 = 0. (1.22)
u(0, 2 ) = 0 (0, 2 ),
1
n= q (1,x , 1,y ),
2 2
1,x + 1,y
Ecuaciones Diferenciales II
1.4] Problemas de Cauchy. Hipersuperficies caractersticas 29
y la derivada correspondiente es
u 1
=q (1,x ux + 1,y uy ).
n 2 2
1,x + 1,y
que es de la forma
u1 (0, 2 ) = 1 (2 ).
Por derivacin se obtiene
u1 2 (0, 2 ) = 1,2 (2 ).
En conclusin, las condiciones iniciales nos permiten determinar sobre la funcin
u y todas sus derivadas respecto de i hasta el segundo orden con la excepcin de
u1 1 (0, 2 ).
Al escribir la EDP (1.21) sobre en las variables i , el nico trmino que no ven-
dr determinado por las condiciones iniciales ser el de u1 1 (0, 2 ). Para hallar su
coeficiente, vemos que
u u 2
uxx = 1,x + 2,x (1,x + 2,x ) = 1,x u1 1 + ,
1 2 1 2
u u 2
uyy = 1,y + 2,y (1,y + 2,y ) = 1,y u1 1 + ,
1 2 1 2
u u
uxy = 1,x + 2,x (1,y + 2,y ) = 1,x 1,y u1 1 + .
1 2 1 2
2 2
(a1,x + 2b1,x 1,y + c1,y )u1 1 .
2 2
a1,x + 2b1,x 1,y + c1,y = 0.
1 p
1,x (x, y(x)) + (b b2 ac)1,y (x, y(x)) = 0. (1.24)
a
Como 1 (x, y(x)) = 0, derivando respecto de x se obtiene EDO curvas ca-
ractersticas
1,x (x, y(x)) + 1,y (x, y(x))y (x) = 0,
que al usarlo en (1.24) nos proporciona el siguiente par de ecuaciones diferenciales clasificacin EDP
2do orden
Ecuaciones Diferenciales II
30 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
1 p
y = (b b2 ac). (1.25)
a
b2 ac < 0, (x, y) 0 .
2. Hiperblica en 0 si
b2 ac > 0, (x, y) 0 .
3. Parablica en 0 si
b2 ac = 0, (x, y) 0 .
Poseen una sola familia de curvas caractersticas en dada por las solucio-
b
nes de y = .
a
Ejemplos
1. La ecuacin de Laplace
uxx + uyy = 0,
verifica
a = 1, b = 0, c = 1,
2. La ecuacin de ondas
utt uxx = 0,
verifica
a = 1, b = 0, c = 1,
x = t + k.
Ecuaciones Diferenciales II
1.5] Problemas de Cauchy. Hipersuperficies caractersticas 31
verifica
a = 1, b = 0, c = 0,
t (x) = 0.
yuxx + uyy = 0,
se tiene
a(x, y) = y, b = 0, c = 1.
As,
b2 ac = y.
lica
3 2/3
locarcterd
strieca.iQ
carectu
u csit
ra n
arb
y(x) = x + c
s
2
n
a,p
con c R una constante arbitraria.8
8
Observemos que y = 0 no es curva la sea para y = 0
significa que en esos puntos tan existe una en este caso de pendiente
infinita y = .
Ecuaciones Diferenciales II
32
1.5.
cinM
Solu tod cin
osolu
Introduccin a las ecuaciones en derivadas parciales
general. de la completa
[Captulo 1
F (x, u, Du, . . . , D N u) = 0
u = u(x, c1 , . . . , cN ).
D2 u u = 0
u = c1 exp(x) + c2 exp(x).
En el contexto de este curso, el de las EDP, ocurre un fenmeno anlogo. Dada una
EDP
F (x, D u) = 0, x Rn
de orden N se entiende por solucin general una solucin que depende de N funcio-
nes arbitrarias de (n 1) variables estas variables son funciones de las variables
independientes x0 , . . . , xn1 .
Ya hemos visto que la solucin general de la ecuacin de ondas
utt uxx = 0
es
u(t, x) = f (t + x) + g(t x).
El orden N = 2, y aparecen dos funciones arbitrarias de 1 variable n = 2, observemos
que estas variables son funciones de x y t.
oso
to
d cin
lu
Como en el caso de las EDO la solucin general de una EDP puede no contener a
M
todas las soluciones. Por ejemplo, si una EDP se factoriza
Ecuaciones Diferenciales II
1.5] Solucin general. Mtodo de la solucin completa 33
S S S
+ H q1 , . . . , q n , ,..., =0
t q1 qn1
Definicin 1.5.1. Dado un a = (a0 , . . . , am1 ) decimos que u(x, a) es una so-
lucin multi-paramtrica de la EDP
F (x, D u) = 0
tenga rango m. De este modo tenemos asegurado que la solucin depende realmente de
m parmetros. Cuando tenemos una solucin que realmente depende de n parmetros
decimos que es una integral completa.
Ejemplos
x u + f (u) = u
u(x, a) = a x + f (a).
|u| = 1
Ecuaciones Diferenciales II
34 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
u(x, t, a, b) = a x H(a)t + b, a Rn , b R.
u(x, a)
= 0, i = 0, . . . , m 1,
ai
entonces
u(x) := u(x, a(x))
es una nueva solucin de la EDP que denominamos solucin envolvente.
ya que entonces
u u u u
F x, u, ,..., = F x, u(x, a(x)), (x, a(x)), . . . , (x, a(x)) = 0
x0 xn1 x0 xn1
La solucin envolvente de construida a partir de una solucin multi-paramtrica
de una EDP de primer orden permite en algunos casos hallar la solucin general:
Teorema 1.5.3. Sea u(x, a) una integral completa de una EDP de primer orden
u u
F x, u, ,..., = 0.
x0 xn1
Una solucin general para una EDP de primer orden depender de una funcin de
(n 1) variables. Pero la solucin envolvente construida depende de justamente de
una funcin arbitraria de (n 1) funciones: a1 (x), . . . , an1 (x). Por tanto, el teorema
es cierto.
Ecuaciones Diferenciales II
1.5] Solucin general. Mtodo de la solucin completa 35
Ejemplos
1. Por ejemplo, podemos considerar la EDP
ux = um
y
Ecuaciones Diferenciales II
36
1.5.2.
EDP
El mtodohodgraf
Introduccin a las ecuaciones en derivadas parciales
de la
ut = f (u)ux , f : R R.
1 = ux xu , 0 = ut + ux xt .
Esto es
ut
xt = = f (u)
ux
cuya solucin es
x = f (u)t + g(u).
y por tanto
As,
1 f (u)
f (u)t g (u) = , f (u)t g (u) =
ux ut
y tenemos que
ut = f (u)ux .
Ecuaciones Diferenciales II
1.6] Operadores diferenciales. Problemas lineales 37
L : C () 7 C ()
u 7 Lu,
de la forma siguiente
X
Lu := a (x)D u,
P
donde significa que la suma se extiende a un conjunto finito de multi-ndices
con || 0 y se supone que los coeficientes a (x) son funciones de C ()
dadas.
Ejemplos
1. Sea el siguiente operador en C (R)
L = x 2 D + x.
Lu = x 2 sen x + x cos x.
2. El operador laplaciano
Lu := uxx + uyy + uzz ,
u := exp(x 2 + y 2 + z2 ),
es
Lu = (4(x 2 + y 2 + z2 ) + 6) exp(x 2 + y 2 + z2 ).
Ecuaciones Diferenciales II
38 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
Los operadores diferenciales son los objetos matemticos apropiados para manejar
las EDP lineales. As, una EDP lineal de la forma
X
a (x)D u = f (x),
Lu = f ,
Por tanto el problema que representa la EDP lineal consiste en encontrar elementos
u C () cuya imagen mediante la aplicacin lineal L coincida con la funcin f .
Ejemplos de estas EDP son
Lu = f , Lu := u.
Lu = 0, Lu := utt c 2 u.
2
Lu = 0, Lu := i ut + u + qu.
2m
Lu = 0, Lu := ut a2 u.
1) Suma de operadores L + M
(L + M)u := Lu + Mu.
(L)u := (Lu).
3) Producto de operadores LM
(LM)u := L(Mu).
Ecuaciones Diferenciales II
1.6] Operadores diferenciales. Problemas lineales 39
L = D, M = D + x,
se tiene que
l : C () C(S),
u 7 l(u),
Ecuaciones Diferenciales II
40 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
l : C () C(S),
u 7 l(u),
dada por
r u
l(u) := .
t r t=t0
l(u) = g,
1. Condicin de Dirichlet:
l(u) := u|S .
2. Condicin de Neumann:
u
l(u) := .
n S
3. Condicin mixta
u
l(u) := au + b .
n S
Ecuaciones Diferenciales II
Carctersticas
1.7] Cuestiones, problemas y ejercicios 41
Lu = f ,
li (u) = gi , i = 1, . . . , m,
1.6.4.
El smbolo o parte principal del operador diferencial
a (x)D ,
X
L :=
||m
se define como
a (x) .
X
(x, ) :=
||=m
(x, ) = 0.
Lu = f
se transforma en
mu
(x, (x)) + Mu = f
x m
1
donde M es un operador diferencial en las variables x que no contiene derivadas con
respecto a x1 de orden superior a (m 1). Por tanto, los problemas de Cauchy de
condiciones iniciales sobre las caractersticas llevan aparejados ligaduras adicionales
entre los datos que definen el problema.
Una ecuacin es elptica en un punto x0 si por el no pasa ninguna caracterstica; v.
g., no existen soluciones reales p = (pi ) a
(x0 , p) = 0.
1.7.1. Cuestiones
1. Sealar cual de las siguientes ecuaciones en derivadas parciales est en forma
normal con respecto de t
a) ut + ut ux = 0
b) ut + uuxx + u2xxx = 0
c) utt + utx + uxx u2t = 0
d) utt + uxxx = 0
e) ut + exp(ux ) = 0
Ecuaciones Diferenciales II
42 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
a) y 2 = 2x 2
b) y 2 = 4x 2
c) y = 2x
d) y = x 2
e) y = 2x
Ecuaciones Diferenciales II
1.7] Cuestiones, problemas y ejercicios 43
a) y = ln(C ex )/2
b) y = ln(C ex )
c) y = ln(Cx ex )
d) y = ln(C 2ex )
e) y = ln(C e2x )
2u 2u 2u u u
Lu = + + , Mu = x y + zu.
x 2 y 2 z2 y x
a) [L, M] =
x
b) [L, M] = 2z
y
c) [L, M] = 2
z
d) [L, M] = y
x
e) [L, M] = 2
y
Resolucin Para evaluar el conmutador basta con usar la propiedad [A, BC] =
[A, B]C + B[A, C] y que [/xi , xj ] = ij . Por tanto,
h 2 i h 2 i h 2 i
[L, M] = , x , y + , z
x 2 y y 2 x z2
h i h i h i
=2 ,x 2 ,y +2 ,z
x x y y y x z z
2 2
=2 2 +2 ,
xy yx z
Ecuaciones Diferenciales II
44 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
2xy ux + uy = 0, x, y > 0,
2
u(1, y) = y ,
a) 1
b) 1
c) 0
d) 1/2
e) 1/2
2u
Lu = , Mu = (x 2 + y 2 + z2 )u.
xy
a) [L, M] = 4x
b) [L, M] = 3
x z
c) [L, M] = 2 x +y
y x
d) [L, M] = 1 + 2 y +x
x y
e) [L, M] = x 2 + y 2 + z2
Ecuaciones Diferenciales II
1.7] Cuestiones, problemas y ejercicios 45
1
p
a) g(u) = u, u = 3 (x x 2 + t)
1
p
b) g(u) = u, u = 2 (x + x 2 + 4t)
1
p
c) g(u) = u, u = 2 (x x 2 + 4t)
g(u) = u, u = 13 (x x 2 + 4t)
p
d)
1
p
e) g(u) = 1/u, u = 2 (x x 2 + t)
1
x+ 0 = g(u|t=0 ) x = g(x)
u|t=0
y la ecuacin hodogrfica es
p
ux + t = u2 u = (x + x 2 + 4t)/2.
1.7.2. Problemas
1. Dada la EDP de primer orden
u 2 u 2
=0
x y
u(x, y, a, b) = ax ay + b
hallamos la envolvente de
u(x, y, a, b) = ax ay + f (a)
resolviendo
ua = x y + f (a)
y por ello
a = f 1 (x y)
y la solucin general es
u = f 1 (x y)(x y) + f f 1 (x y) .
Ecuaciones Diferenciales II
46 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
Ecuaciones Diferenciales II
1.7] Cuestiones, problemas y ejercicios 47
1.7.3. Ejercicios
1. Determinar las partes real e imaginaria, el mdulo y las derivadas parciales de
primer orden de las funciones siguientes:
1) ux xuy = 0.
2) u + ux uy = 0.
p
3) 1 + x 2 (cos y)ux + ux y exp(x/y)u = x 2 .
4) ut + uxxx + uux = 0.
5) iut + uxx + |u|2 u = 0.
6) ux + ey uy = x 2 .
7) uxy = eu .
8) utt u = xyz.
1) ux = x + y.
2) uxy = 0.
Ecuaciones Diferenciales II
48 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
3) ux + vy = 0.
u = f
en
u = g en .
n
1) Probar que slo cuando se cumple que
ZZZ ZZ
f dV = g dS,
1) yuxy + xuxx = 0.
2) uxx 5uxy = 0.
3) 4uxx 12uxy + 9uyy + uy = 0.
4) 4uxx + 6uxy + 9uyy = 0.
8. Considrese la ecuacin:
3uy + uxy = 0.
1) Indicar su tipo.
2) Calcular su solucin general. (Utilizar el cambio de variable dependiente
v = uy ).
3) Imponiendo las condiciones:
9. Reducir la ecuacin
a la forma
vxx + vyy + cv = 0.
Ecuaciones Diferenciales II
1.7] Cuestiones, problemas y ejercicios 49
d2 u
+ u = 0,
dx 2
con las condiciones de contorno
u(0) = 0 y u(L) = 0.
2 2 2 1 1 2
u = 0, + = + + ,
x 2 y 2 r 2 r r r 2 2
u|
r =a = f ,
1) f = A,
2) f = A cos ,
3) f = A + By,
4) f = Axy,
5) f = A + B sen ,
6) f = A sen2 + B cos2 ,
u
u = 0, = f (),
n C
1) f = A,
2) f = A cos ,
3) f = A cos 2,
4) f = A cos + B,
5) f = A sen + B sen3 ,
d2 u
+ u = 0,
dx 2
Ecuaciones Diferenciales II
50 Introduccin a las ecuaciones en derivadas parciales [Captulo 1
u(0) = 0 y u(L) = 0.
2 2 2 1 1 2
u = 0, + = + + ,
x 2 y 2 r 2 r r r 2 2
u|
r =a = f ,
1) f = A,
2) f = A cos ,
3) f = A + By,
4) f = Axy,
5) f = A + B sen ,
6) f = A sen2 + B cos2 ,
u
u = 0, = f (),
n C
1) f = A,
2) f = A cos ,
3) f = A cos 2,
4) f = A cos + B,
5) f = A sen + B sen3 ,
Ecuaciones Diferenciales II
C APTULO 2
Teora espectral de operadores
diferenciales. Anlisis de
Fourier
I ntroducimos en este tema las nociones bsicas del anlisis en espacios funciona-
les, que son necesarias para abordar la teora de operadores diferenciales de tipo
SturmLiouville. Estos operadores se usarn posteriormente en la resolucin de
EDP lineales separables. Tambin se incluye en este tema una iniciacin al anlisis de
Fourier, esto a las series de Fourier y a la transformada de Fourier. Los puntos que
trataremos son:
51
52 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
De las propiedades i) y ii) inferimos que (v1 +v2 , u) = (v1 , u)+(v2 , u). Vemos
que (, ) es casi una forma bilineal que a veces se denomina forma sesqui-lineal. La
propiedad iii) nos dice que el producto escalar de un vector consigo mismo es siempre
no negativo y que se anula tan slo para el vector 0. El producto escalar nos permite
norma dotar de longitud, que llamaremos norma, a los vectores:
q
kuk := + (u, u).
i) kuk = 0 u = 0.
La nocin de producto escalar tal como la hemos esbozado aqu se puede aplicar
producto escalar a espacios funcionales.
de funciones
Definicin 2.1.2. Consideremos un abierto Rn y una funcin : R
diferenciable y positiva ((x) > 0 x ). Dadas dos funciones u, v definidas
sobre su producto escalar correspondiente a la funcin peso se define en la
forma Z
(u, v) = u(x)v(x)(x) dn x.
Ecuaciones Diferenciales II
2.1] Producto escalar en espacios funcionales 53
Obviamente, para que este producto escalar tenga sentido es necesario que la in-
tegral correspondiente1 exista. Esta condicin est garantizada si trabajamos en el
espacio de funciones
n Z o
2
L () := u : C kuk =2
|u(x)|2 (x) dn x < .
Ejemplos
1. Sea = (0, +) R; u(x) = x y v(x) = 1, si el peso es (x) = 1 entonces el
producto escalar de u y v no existe ya que
Z
(u, v) = x d x = .
0
2
Si tomamos ahora el peso (x) = ex , el producto escalar de u con v existe
Z
2
(u, v) = xex d x = 1/2.
0
q Q
2. Si tomamos el dominio = (0, 1) y el peso (x) = 1, el producto escalar de las
funciones u(x) = 1/x y v(x) = 1 no esta definido debido a la singularidad del
integrando en x = 0
a
u u
Z1
qum
1
s a
(u, v) = d x = .
ainrtc
i
0 x
te
o
r te
g n
um
ns
i
c
n
Sin embargo, para el peso (x) = x obtenemos el siguiente producto escalar
f
Z1
a s
1
x d x = 1.
0 x
1
Surge la pregunta integral estamos utilizando?, el lector ya conoce la integral de Riemann;
sin embargo, no es completamente adecuada en este contexto. De hecho, es necesario utilizar una
de sofisticada debida a Lebesgue.
2
Por ejemplo, la que sobre los racionales vale 1 y sobre los irracionales 0, es integrable
Lebesgue y con norma 0.
3
En rigor, lo que hacemos no es que considerar clases de equivalencia de funciones: u v
siempre que ku vk = 0. El espacio cociente L 2 ()/ es lo que denotamos por L2 ().
Ecuaciones Diferenciales II
54 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
y la norma de u es
Z1 2 Z1
2 2
kuk = (u, u) = x + i x d x = (x 2 + x 4 ) d x = 8/15.
0 0
Z 2
i x 2
2
kuk = e d x = 2 .
0
y (x, y, z) r 2 sen (r , , ).
Ecuaciones Diferenciales II
2.2] Conjuntos ortogonales de funciones 55
Ejemplos
n o
n x
i) El conjunto sen
es ortogonal en el intervalo [0, ] con peso (x) = 1.
n1
Basta comprobar que
Z n x m x
lc
clof
u
c
a
r
ui
c
a
s i
r
o
n
oi
r
c
a
s
sen sen dx
l d
t t
gmt
ra
s
u
0
m
Z (n m) x (n + m) x
1
= cos cos d x = 0,
0 2
f
la
para n m.4
r
u
ms
4
En el de la integral hemos reducido expresiones en funciones
en formas lineales gracias a las del seno y del coseno:
1
sen A sen B = (cos(A B) cos(A + B)),
2
1
sen A cos B = (sen(A B) + sen(A + B)),
2
1
cos A cos B = (cos(A B) + cos(A + B)).
2
Ecuaciones Diferenciales II
56 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
n o
ii) El conjunto cos n x es ortogonal en el intervalo [0, ] con peso (x) = 1.
n0
Como antes tenemos que para n m
Z n x m x
cos cos dx
0
Z (n m) x (n + m) x
1
= cos + cos d x = 0,
0 2
X N
X M
X
u(x) = cn un (x) = lm cn un (x) + lm cm um (x).
n= N M
n=0 m=1
convergencia Ahora bien, cuando tratamos con funciones hay varias nociones distintas de lmite.
puntual, uniforme En este curso hay tres nociones de lmite que usaremos:
y en media
PN
i) Lmite puntual: x0 tenemos u(x0 ) = lmN n=1 cn un (x0 ).
PN
ii) Lmite uniforme: lmN supx u(x) n=1 cn un (x) = 0.
PN
ro
iii) Lmite en media: lmN
u n=1 cn un
= 0.5
cp
re c
A partir de este momento, salvo que digamos lo contrario, solo nos referiremos a series
de funciones que convergen en media. Las propiedades siguientes sobre funciones
desarrollables en serie de funciones ortogonales son de gran importancia.
5
La convergencia uniforme implica la convergencia puntual, sin embargo el inverso no es cierto
en general. Por otro lado, cuando el cierre de es compacto la convergencia uniforme implica la
convergencia en media y de nuevo el no se verifica.
Ecuaciones Diferenciales II
2.2] Conjuntos ortogonales de funciones 57
P
Proposicin 2.2.2. Si v admite un desarrollo v = nJ cn un , entonces
este desarrollo es nico y sus coeficientes cn vienen determinados por
(un , v)
cn = . (2.1)
kun k2
cn un y v = u su producto escalar es
P P
Si v = nJ nJ cn n
(v, v ) =
kun k2 .
X
cn cn (2.2)
nJ
P
Si v = nJ cn un su norma satisface la siguiente identidad (identidad de
Parseval)
X |(un , v)|2
kvk2 = . (2.3)
nJ kun k2
Demostracin. 6
P
Como v = mJcm um y {un }nJ es ortogonal tenemos
X X
(un , v) = (un , cm um ) = cm (un , um ) = cn (un , un ).
mJ mJ
cn un y v = mJ cm u
P P
Como v = nJ m su producto escalar vale
(v, v ) =
kun k2 .
X X
cn cm (un , um ) = cn cn
n,mJ n
lpacindem
ostracin
lcita l.
1 (x1 )2 (x2 ).
u tam
in
Demostracin. Basta utilizar el teorema de Fubini para factorizar la integral
b
Z
un (x1 )vm (x2 )un (x1 )vm (x2 )(x1 )(x2 ) d x1 d x2
1 2
hZ ih Z i
= un (x1 )un (x1 )1 (x1 ) d x1 vm (x2 )vm (x2 )2 (x2 ) d x2 = 0
1 2
si n n m m .
6
En esta las sumas dentro del producto escalar la extraemos fuera de Esta mani-
es obviamente siempre que las sumas sean finitas. Sin embargo, resulta serlo
en el caso de series convergentes en media.
Ecuaciones Diferenciales II
m
58 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
sitricos
2.2.2. Conjuntos ortogonales completos
h
Ejemplos Sea el operador
d2
L= , = (a, b) acotado en R.
d x2
qunocinsim
Para determinar dominios D L2 ([a, b]) en que este operador es simtrico, observe-
mos que para todo par de funciones diferenciables u y v en [a, b]
Zb b Z b
a ic
tr b
i
otan
u(x)(v (x)) d x = (u(x)v (x)) + u (x)v (x) d x
m
(u, Lv) =
m
e
ritc
o
a a a
b Z b
= (u(x)v (x) + u (x)v(x)) + (u (x)v(x)) d x
a a
b
= (u(x)v (x) + u (x)v(x)) + (Lu, v);
a
7
Hemos de subrayar que la de operador aparece con los nombres de
operador y operador autoadjunto
Ecuaciones Diferenciales II
2.4] Autovalores y autofunciones. Operadores simtricos 59
b
(u(x)v (x) + u (x)v(x)) = 0, u, v D. (2.4)
a
Para este operador existen tres tipos de condiciones de contorno que determinan do-
minios de simetra de especial relevancia. En todos los casos es inmediato verificar que
se satisface (2.4)
m
i) Dirichlet homognea condiciones de
Dirichlet
D := u C ([a, b]) : u(a) = u(b) = 0 .
sitricos
ii) Neumann homognea condiciones de
Neumann
D := u C ([a, b]) : u (a) = u (b) = 0 .
D := {u D : Lu = u}.
Ecuaciones Diferenciales II
60 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
Ejemplos
i) Sea
d
L= , con D = {u C ([0, 1])|u(0) = 0}.
dx
El problema de autovalores es
du
= u, u(0) = 0, u 0.
dx
N
an (x)D n u(x),
X
Lu =
n=0
y que el dominio viene determinado por una serie de condiciones de contorno sobre
un intervalo acotado [a, b]
lj (u) = 0, j = 1, . . . , N,
donde N coincide con el orden del operador L. Para resolver el problema espectral
podemos proceder como sigue:
Ecuaciones Diferenciales II
2.4] Autovalores y autofunciones. Operadores simtricos 61
u(, x) = c1 u1 (, x) + + cN uN (, x),
lj (u) = 0, j = 1, . . . , N.
m
l1 (u1 ) . . . l1 (uN )
.. ..
= 0.
. .
lN (u1 ) . . . lN (uN )
sitricos
Esta condicin constituye una ecuacin del tipo
f () = 0,
(L) R.
Ecuaciones Diferenciales II
62 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
m
Demostracin. Si (L) entonces existe una funcin no nula u D tal que
Lu = u. Por ello,
iensin
(Lu, u) = (u, u) = kuk2 , (u, Lu) = (u, u) = kuk2 ,
d
Dados dos elementos distintos , del espectro de L, que ya sabemos que sern
nmeros reales, existen autofunciones u y v tales que Lu = u y Lv = v; por
tanto,
(Lu, v) = (u, v), (u, Lv) = (u, v).
Como L es simtrico, (Lu, v) = (u, Lv) y por ello ( )(u, v) = 0 y as, como
, se deduce (u, v) = 0.
1 d d u
Lu = p + qu ,
dx dx
du du
D := u C ([a, b]) : i u(a) + i u(b) + i (a) + i (b) = 0, i = 1, 2 ,
dx dx
(2.5)
con 1 , 2 , 1 , 2 , 1 , 2 , 1 , 2 R y (condiciones de contorno linealmente indepen-
dientes) !
1 1 1 1
rango = 2,
2 2 2 2
operadores de si el intervalo abierto (a, b) es acotado (a y b ) y, las funciones , p, q son
SturmLiouville diferenciables en el intervalo cerrado [a, b] y , p > 0 en el intervalo cerrado [a, b].
regulares
Ecuaciones Diferenciales II
2.5] Operadores de SturmLiouville en una dimensin 63
Carcter simtrico
Demostracin. Para demostrarlo basta con probar que la diferencia (Lu, v) (u, Lv)
se anula para todo u, v D cuando la identidad (2.6) se satisface. Ello es cierto dado
que si u, v D
Zb
d dv d d u
(Lu, v) (u, Lv) = u(x) p(x) (x) + p(x) (x) v(x)
a dx dx dx dx
Zb b
d d u dv d u dv
= p(x) v u = p(x) v u
a dx dx dx dx d x a
u(b) v(b) u(a) v(a)
= p(b)
d u (b) d v (b) + p(a) d u (a) d v (a) = 0.
dx dx dx dx
u(a) = 0, u(b) = 0,
y las de Neumann
du du
(a) = 0, (b) = 0.
dx dx
2) Condiciones peridicas condiciones
peridicas
du du
u(a) = u(b), p(a) (a) = p(b) (b).
dx dx
Ecuaciones Diferenciales II
64 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
Espectro
|1 | 6 |2 | 6 6 |n | 6 . . . .
tsrico,
carctersim
X
u= cn un ,
n=1
converge uniformemente a u.
d d
Cuando las condiciones de contorno son separadas5 podemos afirmar tambin que
lacin
m tauo cnco
ifu sim
t
i
(1 2 1 2 )p(a) = (1 2 1 2 )p(b).
acu
u n
r,
5
Un teorema similar para operadores regulares sobre dominios con condiciones o anti-
del tipo: u(a) = u(b), u (a) = u (b) con p(a) = p(b) nos dice que los autovalores
(+) ()
asociados a estos dos dominios {n }n=1 , {n }n=0 , respectivamente, se ordenan en la siguiente se-
cuencia
(+) () () (+) (+) () () (+) (+)
< 0 < 1 6 2 < 1 6 2 < 3 6 4 < 3 6 4 < ....
Ecuaciones Diferenciales II
2.5] Operadores de SturmLiouville en una dimensin 65
1 6 2 6 6 n < ,
Ecuaciones Diferenciales II
66
operadores
Schrdinger
de
2.5.3. Operadores de
Lu = 2 /2m
hg
iner,
Scr
d
Teora espectral de operadores diferenciales. Anlisis de Fourier
d2 u
+ q(x)u.
Legendre y Bessel
Revisamos ahora tres de los tipos ms relevantes de operadores diferenciales que
aparecen en Fsica:
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
q
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
d x2 xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Las condiciones de frontera generales (2.7) antes expues- xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
tas permiten fcilmente definir dominios en los que el opera- xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
dor es simtrico. Este es un operador fundamental en Mec- xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
nica Cuntica ya que el problema de autovalores correspon- xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
diente describe las energas y los estados estacionarios que a b xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxx xxx
xxx xxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
caracterizan una partcula en un campo de fuerzas que deriva xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
del potencial q = q(x). Parte de la dinmica del sistema de- xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
pende tambin de las condiciones de contorno. Por ejemplo, xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
si imponemos condiciones de Dirichlet en un intervalo aco-
tado [a, b], estamos describiendo una partcula confinada en
[a, b] que se mueve de acuerdo con el potencial q. Esta interpretacin se ilustra en
la figura.9 En este caso el operador de Schrdinger constituye un problema de Sturm
Liouville regular simtrico y por ello el espectro, el conjunto de valores de energa
posibles, es discreto, simple y forma una secuencia creciente no acotada. Ms an, se-
gn las propiedades de oscilacin, el estado de energa mnima (estado fundamental)
no tiene ceros, el primer excitado uno, y as sucesivamente.
operadores de Le- ii) Operador de Legendre: Est determinado por
gendre
(x) = 1, p(x) = 1 x 2 , q(x) = 0, [a, b] = [1, 1].
d h d ui d2 u du
Lu = (1 x 2 ) = (1 x 2 ) + 2x .
dx dx d x2 dx
Debemos subrayar que el operador de Legendre es singular en el intervalo [1, 1]
ya que p se anula en 1. Como p(1) = p(1) = 0, aplicando (2.7) tenemos que el
f co f
n
u
i
c
n
c
a
g
operador es simtrico en el dominio D = C ([1, 1]) de L2 ([1, 1]).
sin: tru t
La ecuacin de autovalores del operador de Legendre
i
c
na r
d2 u
cai
du
n n
Lu = (1 x 2 ) 2
+ 2x = u,
dx dx
es la llamada ecuacin de Legendre. Del estudio de esta ecuacin diferencial ordinaria
se concluye que slo hay soluciones en D cuando = n(n+1) donde n 0.10 Adems
9
Debemos tener en cuenta que las paredes impenetrables no vienen dadas por q, que es diferenciable,
sino por las condiciones de Dirichlet en a y b, donde se anula la de onda. La ilustra
pues el potencial q en (a, b), diferenciable, y condiciones de contorno en a y en b.
10
La forma de demostrar estas propiedades es utilizar la de Frobenius. Al desarrollar en serie
se observa que el caso en que las series convergen a funciones diferenciables en [1, 1], es
cuando = n(n + 1), que produce la de las series en polinomios.
Ecuaciones Diferenciales II
2.5] Operadores de SturmLiouville en una dimensin 67
1 dn (x 2 1)n
pn (x) = ,
2n n! d xn
cuya norma es s polinomios de Le-
2 gendre
pn
= .
2n + 1
Los primeros polinomios de Legendre son
n pn
0 0 1
1 2 x
2 6 (3x 2 1)/2
3 12 (5x 3 3x)/2
4 20 (35x 4 30x 2 + 3)/8
.. .. ..
. . .
1
y p0
p1
1 p2 1
x
p3 p4
A pesar del carcter singular del operador, el conjunto de autofunciones {pn }n=0 es
una base ortogonal de L2 ([1, 1]). Por lo tanto toda u L2 ([1, 1] admite un desa-
rrollo en serie de polinomios de Legendre
X
u(x) = cn pn (x).
n=0
Ecuaciones Diferenciales II
68 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
1 d h d u i m2 d2 u 1 d u m2
Lm u = x + 2u= + 2 u.
x dx dx x d x2 x dx x
La ecuacin diferencial asociada al problema de autovalores Lu = u es
d2 u 1 d u h m2 i
+ u = 0, (2.8)
d x2 x dx x2
que con el cambio de variable p
x := x,
se transforma en la ecuacin de Bessel
d2 u 1 du m2
+ + 1 u = 0,
d x 2 x d x x 2
cuyas solucin general es de la forma
donde Jm son las funciones de Bessel y Nm las de Neumann.11 Por ello, la solucin
general de la ecuacin de autovalores (2.8) es
p p
u(x) = c1 Jm ( x) + c2 Nm ( x). (2.9)
funciones de Bes- Cerca del origen el comportamiento de las funciones de Bessel y Neumann es
sel x m
1
Jm (x) ,
(m + 1) 2
x 0. (2.10)
2 ln(x) m = 0,
Nm (x) (m)
m
(2x)m 0,
Hay dos tipos de intervalos [a, b] que nos interesan, con a > 0 y con a = 0. Cuando
a > 0 el operador es regular y es simtrico sobre los dominios descritos en el teorema
2.5.2. Sin embargo, el operador es singular cuando a = 0, por una cualquiera de las
tres siguientes razones (0) = 0, p(0) = 0 por no ser qm (x) diferenciable en x = 0.
En este caso un dominio conveniente sobre el cual el operador Lm es simtrico cuando
m > 0 es el siguiente subespacio lineal de L2 ([0, b]).
n d u o
Dm = u C ((0, b]) : u(b) = 0, lm (x m u(x)) = 0, lm x 1m ,
x0 x0 dx
11
Las funciones de Bessel y Neumann poseen el siguiente comportamiento en el infinito
s
2
Jm (x) = cos x (2m + 1) + O (x 3/2 ),
x 4
s x .
2 3/2
Nm (x) = sen x (2m + 1) + O (x ),
x 4
Ecuaciones Diferenciales II
2.5] Operadores de SturmLiouville en una dimensin 69
Adems este conjunto resulta ser completo en L2x ([0, b]). As, cualquier funcin u
L2x ([0, b]) puede desarrollarse como
X q
u(x) = cn Jm n x .
n=1
Ecuaciones Diferenciales II
70 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
son nulos, satisfacindose de esta manera (2.7). Por otro lado, la solucin general de
la ecuacin de autovalores
p p
u(x) = c1 J0 x + c2 N0 ( x),
y
0.6 J1
J2
J3
J4
x
0
20
Ecuaciones Diferenciales II
2.6] Operadores de SturmLiouville en varias dimensiones 71
1
Lu = pu + qu ,
u v
Z
p(x) v u d S = 0. (2.11)
S() n n
Como consecuencia inmediata determinamos los siguientes dominios sobre los que
el operador de SturmLiouville es simtrico
Ecuaciones Diferenciales II
72 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
gm
2
ii) Hamiltoniano de Schrdinger Si hacemos = 1 y p = el operador correspon-
2m
diente es el operador Hamiltoniano de Schrdinger en mecnica cuntica para
una partcula en un campo de fuerzas
2
Lu = u + q(x, y, z)u,
trio
otricas
2m
n
2.7. Series de Fourier
Vamos a abordar ahora el estudio de las series trigonomtricas de Fourier, una de
las herramientas matemticas ms importantes en el anlisis de fenmenos fsicos.
Introduciremos las series de Fourier en trminos de desarrollos en autofunciones de
operadores diferenciales simtricos.
i d u = u,
MecnicaCuntica
dx
u(a) = u(b),
ei (ba) = 1.
2
n = n, n Z, :=
ba
13
Que en es el operador momento lineal.
Ecuaciones Diferenciales II
2.7] Series de Fourier 73
un (x) = ei nx .
d2
L= .
d x2
d2 u
= u,
d x2
u(a) = u(b),
du du
(a) = (b).
dx dx
esto es p p p p
[cos a cos b]2 + [sen a sen b]2 = 0.
Desarrollando los cuadrados y utilizando las frmulas trigonomtricas se obtiene
p
1 cos (b a) = 0
Ecuaciones Diferenciales II
74 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
d2 u
d x 2 = u.
u(a) = 0,
u(b) = 0
esto es p
sen (b a) = 0.
2 2 2
n = n , n = 1, 2, . . . , := ,
4 ba
Ecuaciones Diferenciales II
2.7] Series de Fourier 75
d2 u
= u,
d d x2
u
(a) = 0,
dx
d u (b) = 0.
dx
esto es p
sen (b a) = 0.
2 2 2
n = n , n = 0, 1, . . . := .
4 ba
series de exponenciales
Ecuaciones Diferenciales II
76 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
2
cn ei nx ,
X
u= := ,
n= ba
con
Zb
1
cn = e i nx u(x) d x.
ba a
a0 X 2
u= + (an cos nx + bn sen nx), :=
2 n=1
ba
Ecuaciones Diferenciales II
2.7] Series de Fourier 77
Es claro que existe una relacin estrecha entre las series de Fourier de exponenciales
y las de senos y cosenos. Podemos pasar de una a otra simplemente utilizando las
frmulas
Esto es, la grfica de uper (x) se construye simplemente pegando copias, una tras otra,
de la de u sobre [a, b]. Los desarrollos en series de exponenciales o de cosenos y senos
se pueden aplicar a u o a su correspondiente extensin peridica.
uper (x)
u(x)
a (b a) a b b + (b a)
X n 2
u= bn sen (x a), :=
n=1
2 ba
con
Zb
2 n
bn = sen (x a) u(x) d x, n 1.
ba a 2
Ecuaciones Diferenciales II
78 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
extensin impar y despus se realiza una extensin peridica desde el intervalo [2a b, a] a toda la
recta.
uimpar (x)
a b + (b a)
u(x)
b + 2(b a)
a (b a) b
a0 X 2
u= + an cos n (x a), :=
2 n=1
2 ba
donde
Zb
2
an = cos n (x a) u(x) d x, n 0.
ba a 2
Ecuaciones Diferenciales II
2.7] Series de Fourier 79
upar (x)
u(x)
a (b a) a b + 2(b a)
b b + (b a)
Ecuaciones Diferenciales II
80 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
3 2 0
1 1 2 3
y
3
3 2 0 3
1 1 2
Ecuaciones Diferenciales II
2.7] Series de Fourier 81
Se verifica que
Z1 hZ1 i hZ1 i
x x i nx
an = 2 e cos nx d x = 2 Re e e d x = 2 Re e(1+i n)x d x
0 0 0
#1
e(1+i n)x
"
= 2 Re
1 + i n 0
2[(1)n e 1]
= ,
1 + 2 n2
#1
e(1+i n)x
Z1 hZ1 i
"
x x i nx
bn = 2 e sen nx d x = 2 Im e e d x = 2 Im
0 0 1 + i n 0
= n an
x
3 2 1 0 1 2 3
x
0
3 2 1 1 2 3
1
Ecuaciones Diferenciales II
82 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
h e+1 e1
[ex ]par e 1 + 2 2
cos x + cos 2 x
1+ 1 + 4 2
e+1 e1 i
cos 3 x + cos 4 x + ,
1 + 9 2 1 + 16 2
h e+1 e1
[ex ]impar 2 2
sen x 2 sen 2 x
1+ 1 + 4 2
e+1 e1 i
+3 sen 3 x 4 sen 4 x +
1 + 9 2 1 + 16 2
3 2 1 0 1 2 3
funcin
en ella se marca con cruces la serie de Fourier en cosenos truncada a n = 6 y
en lnea continua la funcin ex extendida de forma par. Observamos por un lado
que es una buena aproximacin y por otro que en los puntos x = 0, 1, 2, . . .
la tangente a la serie truncada tiene pendiente nula, esto es la derivada se anula
(como debe ser ya que la derivada slo tiene senos que se anulan en estos puntos)
a diferencia de la funcin original en la que la derivada salta de 1 a 1.14 En tanto
que para [ex ]impar tenemos
14
Si u es un a derivable en [a, b] salvo por un conjunto discreto de puntos podemos asegurar
la convergencia uniforme.
Ecuaciones Diferenciales II
2.7] Series de Fourier 83
3 2 1 x
0 1 2 3
lm SN (u, x),
N
Ecuaciones Diferenciales II
84 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
2) Si x es un punto de discontinuidad de uext los dos lmites uext (x+0 ) son diferentes
y constituyen dos candidatos igualmente atractivos para el lmite puntual de la
serie de Fourier. La serie toma en este caso una decisin salomnica y decide
Por tanto
1 h i x 1 i 3x i 1h 1 i
u(x) = e + e + ... + e i x e i 3x . . . ,
2i 3 2i 3
Ecuaciones Diferenciales II
2.7] Series de Fourier 85
0,5
3 2 1 1 2 3 x
0,5
1) Puede suceder que una funcin u sea continua en un punto x, y que su serie de
Fourier no sea convergente en x (Du Bois Reymond, 1873). (Hall una funcin u
con lm supN SN (u, 0) = .)
3) En 1915 Luzin conjetur y en 1966 Carleson demostr que las funciones de cuadra- teorema de Carle-
do integrable poseen series de Fourier convergentes en asi todos los puntos". son
Ecuaciones Diferenciales II
86 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
N
2
(1)n
X
SN (u, x) = sen nx.
n=1
n
N Z
X 2 n sen x
SN (u; /N) = sen 2 d x ' 1,17 .
n=1
n N 0 x
En donde la evaluacin del lmite la hemos obtenido considerado la serie como una
suma de Riemann.
lm SN (u, ) = 0.
N
Por tanto
A continuacin mostramos las grficas para N = 10, 20, 240, 80, 160 de la serie de
Fourier truncada en donde se aprecia claramente el fenmeno de Gibbs.
Ecuaciones Diferenciales II
2.8] Series de Fourier 87
replacements
y
y y
3 3 3
2 S10 (x) 2 S20 (x) 2 S40 (x)
1 1 1
3 2 1 1 2 3 x 3 2 1 1 2 3 3 2 1 1 2 3x
0 0 x 0
1 1 1
2 2 2
3 3 3
y
3 y
3
2 S80 (x) 2 S160 (x)
1 1
3 2 1 1 2 3
0 x 3 2 1 0 1 2 3 x
1 1
2 2
3 3
Por ltimo nos queda por discutir el error al truncar y la velocidad de convergencia
de una serie de Fourier. As, si u C r ([a, b]) y la r -sima derivada est acotada error
dr u
K
d xr
entonces
cr K ln N
|SN (u, x) u(x)|
est
Nr
donde cr es una constante que tan slo depende de r . Vemos que cuantas ms de-
rivadas de la funcin existan ms rpida es la convergencia.15 Si la funcin u(x) es
analtica en [a, b] tenemos
15
De cota se infiere la convergencia uniforme.
Ecuaciones Diferenciales II
88
2.8.1. Denicn
Teora espectral de operadores diferenciales. Anlisis de Fourier
de la transformada de Fourier
La transformada de Fourier de una funcin u = u(x) puede describirse como un
desarrollo de u en autofunciones del operador
D := {u L2 (R) C (R) :
\
Lu L2 (R)}.
Lu = u,
implica
u = cei x , c 0,
pero tales funciones no estn en L2 (R) ya que
Z + Z +
|u|2 dx = |c|2 e2 Im()x dx = .
permite desarrollar todas las funciones u L2 (R). El desarrollo ahora no ser una se-
rie, sino una integral. De hecho la base B de funciones del desarrollo no es un conjunto
discreto, ya que posee tantos elementos ek , k R como el conjunto de los nmeros
reales.
Para introducir este nuevo desarrollo partimos de la serie de Fourier de exponen-
ciales de una funcin u L2 ([a, b])
Zb
1
cn ei kn x , e i kn x u(x) d x,
X
u(x) = cn =
nZ
ba a
donde
2
kn := n, := .
ba
Nuestra idea es escribir esta suma en la forma de suma de Riemann de una integral
respecto de la variable k. En este sentido tenemos que
c(kn )ei kn x k
X
u(x) = (2.14)
nZ
Ecuaciones Diferenciales II
2.8] Transformada de Fourier 89
donde
k := kn+1 kn = ,
cn 1 b i kn x
Z (2.15)
c(kn ) := = e u(x) d x.
k 2 a
Si realizamos el lmite
a , b +,
obsrvese que k 0 y que tenemos
Z
u(x) = c(k)ei kx d k,
R
1
Z
c(k) = e i kx u(x) d x.
2 R
transformada de
x k = x0 k0 + + xn1 kn1 . Fourier en Rn
La transformacin de Fourier para funciones de n variables se define como sigue
Z
u(x) = ei kx c(k) dn k =: F1 (c), transformada inversa de Fourier de c
Rn
1
Z
c(k) = e i kx u(x) dn x =: F(u), transformada de Fourier de u.
(2 )n Rn
Ecuaciones Diferenciales II
90 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
Hay que advertir que la integral impropia que acompaa a la operacin de transfor-
mada de Fourier sobre elementos de L2 (Rn ) hay que efectuarla en un sentido diferente
del habitual. En concreto, se define como
1
Z
c(k) = lm cR (k), cR (k) := e i kx u(x) dn x,
R (2 )n |x|R
F : S(Rn ) S(Rn ).
Ecuaciones Diferenciales II
2.8] Transformada de Fourier 91
Ejemplos
i) Dada la funcin
1 si x [a, a],
u(x) =
0 en el resto,
u(x)
c(k)
1 1 i kx ax 1 (a+i k)x
Z Z Z
i kx
c(k) = e u(x) d x = e e dx = e dx
2 R 2 0 2 0
1 e(a+i k)x 1 aik
= =
2 (a + i k) x=0 2 a2 + k2
Su transformada Z
1 1
c(k) = e i kx d x,
2 x2 + a2
Ecuaciones Diferenciales II
92 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
1 a|k|
c(k) = e .
2a
Luego
1
F1 ( ) = ea|x| ,
a2 +k 2 a
o bien Z
1
ei kx d k = ea|x| .
a2 +k 2 a
Cambiando x k y k x obtenemos el resultado anunciado
Z
1 1 1 a|k|
e i xk dx = e .
2 a2 + x 2 2a
La grfica correspondiente es
1
u(x)
x
3 2 1 1 2 3
l
3
m l
o l
m
t
ia
e
2 c(k)
sem lo situacinso
s
e
icru
i
cu
1
r
k
3 2 1 1 2 3
16 i kz
RSea f (z) = e /(z2 + a2 ) y la recta real orientada de izquierda a derecha. Vamos a compu-
tar f (z) d z usando residuos. Las singularidades de f son dos polos simples en z = i a, los
residuos de f (z) son: Resz= i a (f (z)) = eka /(2 i a). Cuando k > 0 la integral es el cuando
R de la integral al inferior centrado en el origen de radio R. En tanto que si k < 0
se selecciona
R el P superior. Por tanto, en cada contribuye tan un polo en la
formula f (z) d z = 2 i p polo simple Resz=p (f (z)).
Ecuaciones Diferenciales II
2.8] Transformada de Fourier 93
i)
F
ui (x) ci (k), i = 1, 2
F
1 u1 (x) + 2 u2 (x) 1 c1 (k) + 2 c2 (k), 1 , 2 C
ii)
F F
u(x) c(k) = u(x + a) ei ka c(k)
iii)
F F
u(x) c(k) = ei x u(x) c(k )
F F 1
c A1 k
u(x) c(k) = u(Ax)
| det A|
v)
F F
u(x) c(k) = u(x) c(k)
Proposicin 2.8.4. i)
F(Dx (u)) = (i k) F(u).
ii)
F(x u) = (i Dk ) F(u).
iii)
F(u v) = (2 )n F(u)F(v).
Ecuaciones Diferenciales II
94 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
luego
u
F = i ki F(u).
xi
Por ello,
0 n1 0
F n1 u = (i k0 ) (i kn1 )n1 F(u).
x0 0 xn1
de donde por linealidad se infiere la propiedad buscada.
1 1 (e i kx u(x)) n
Z Z
i(kx) n
F(xi u) = e x i u(x) d x = i d x.
(2 )n Rn (2 )n Rn ki
Si u S(Rn ) podemos extraer la derivada con respecto al parmetro ki fuera de
la integral y escribir
F(xi u) = i F(u).
ki
Por ello,
n1
0 n1
F(x0 0 . . . xn1 u) = i i F(u)
k0 kn1
y por linealidad se obtiene el resultado deseado.
x = + , y = ,
se transforma en
1
Z
F(u v) = e i k(+) u()v() dn dn = (2 )n F(u)F(v),
(2 )n Rn Rn
Ecuaciones Diferenciales II
2.8] Transformada de Fourier 95
esto es Z
(u, v) = (2 )n ei kx c(k)d(k) dn k
Rn x=0
Ejemplos
i) En primer lugar vamos a calcular la transformada de Fourier de la funcin gaussiana
de una variable
2 2
u(x) = ea x , a > 0.
En primer lugar, si derivamos esta funcin se obtiene
Ecuaciones Diferenciales II
96 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
1 u(x)
x
4 3 2 1 0 1 2 3 4
1 c(k)
k
4 3 2 1 0 1 2 3 4
u n1
X
= u(x) Aij xj .
xi j=0
n1
X c
i ki c(k) = Aij i ,
j=0
kj
y por tanto
c h n1 i
(A1 )ji ki c.
X
=
kj j=0
Observemos que
1
Z Pn1
c(0) = e i,j=0 Aij xi xj /2 dn x.
(2 )n Rn
n1 n1
s
1 YZ 1 2
Z
i xi2 /2 2
exi d xi .
Y
c(0) = e d x i =
(2 )n i=0 R (2 )n i=0 i R
Ecuaciones Diferenciales II
2.8] Transformada de Fourier 97
1
c(0) = p
(2 )n det A
con lo que
1 n1
P 1
i,j=0 (A )ji ki kj /2 .
c(k) = p e
(2 )n det A
es
1 2 2
e(k1 +k2 k1 k2 )/3 .
c(k1 , k2 ) =
2 3
2/3 1/3
Ahora A = 21 12 , det A = 3 y A1 = 1/3 2/3 y autovalores 1 = 1, 2 = 3. A
continuacin representamos esta transformacin
1
u(x1 , x2 )
0
2
x1 0
2 0 2
2
x2
F
1
c(k1 , k2 )
0
2
0
k1 2
2 0
2 k2
Ecuaciones Diferenciales II
98 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
es
3
1 a i ki xi 1 sen ak1 sen ak2 sen ak3
Y Z
e d xi = 3 .
i=1
2 a k1 k2 k3
desarrollamos (x 1)2 :
2
u(x) = (x 2 2x + 1)e(x+1) ,
Ecuaciones Diferenciales II
2.8] Transformada de Fourier 99
y si denotamos
obtenemos
Z Z
u(x) = a(k) cos kx d k + b(k) sen kx d k.
0 0
Z Z
1 1
a(k) = u(x) cos kx d x, b(k) = u(x) sen kx d x.
u(x) = u(x).
Z
2
a(k) = u(x) cos kx d x, b(k) = 0, (2.16)
0
Z
u(x) = a(k) cos kx d k. (2.17)
0
u(x) = u(x)
Z
2
a(k) = 0, b(k) = u(x) sen kx d x, (2.18)
0
Z
u(x) = b(k) sen kx d k. (2.19)
0
Observamos, que en las frmulas anteriores (2.16) y (2.18), para u(x) con paridad
bien definida, slo aparece su contribucin para x 0. Luego, si slo conociramos la
funcin u(x) en el semi-eje positivo las frmulas (2.17) y (2.19) dan sus extensiones
par e impar, respectivamente, a toda la recta.
Ecuaciones Diferenciales II
100 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
u(r , , ) = u(r ).
1
Z
c(k) = e i kx u(r ) d3 x
(2 )3 R3
Z h Z h Z 2
1 ikkkr cos 2
i i
= e u(r )r sen d d dr
(2 )3 0 0 0
ZhZ
1 ikkkr cos
i
= e sen d u(r )r 2 d r
(2 )2 0 0
que como
Z Z1
ikkkr cos sen kkk r
e sen d = eikkkr u d u = 2
0 1 kkk r
se transforma en
Z
1
c(k) = c(kkk) = 2
u(r )r sen(kkk r ) d r .
2 kkk 0
2.9.1. Cuestiones
a) u(a) = 0, u (a) = 0
b) 2u(a) u (a) = 0, 3u(a) + 2u(b) = 0
c) u(a) + u (a) = 0, 2 i u(a) + u(b) = 0
d) u(a) 2u (b) = 0, u(b) + 2u (a) = 0
e) u(a) + u(b) = 0, u (a) u (b) = 1
Ecuaciones Diferenciales II
2.9] Cuestiones, problemas y ejercicios 101
Lu = D 2 u,
ux (0) = 0, u(1) = 0.
a) 4n2 2 , n 1
b) (2n + 1)2 2 /4, n 0
c) (2n + 2)2 2 /4, n 0
d) n 2 , n 1
e) n2 2 , n 1
u = , x R3 ,
y
1
Z
(k) = (x) e i kx d x;
(2 )3 R3
es la transformada de Fourier de la funcin (x), entonces la transformada de
Fourier u de u verifica
Ecuaciones Diferenciales II
102 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
Lu := D(ex Du),
a) c = 0
b) c = e
c) c = e
d) c = 1
Ecuaciones Diferenciales II
2.9] Cuestiones, problemas y ejercicios 103
a) senk = 0
b) ksenk = 1
c) k tan k = 1
d) k cos k = 0
e) k tan k = 0
que implica
k(cos k ksenk) = 0.
a) = (2n + 1)2 2 , n = 1, 2, . . .
2
(2n + 1)
b) = , n = 0, 1, 2 . . .
ln 2
c) = n2 2 , n = 1, 2 . . .
n 2
d) = , n = 1, 2, . . .
ln 2
n 2
e) = , n = 1, 3, 5, . . . y = (2n + 1)2 2 , n = 0, 2, 4, . . .
ln 2
Ecuaciones Diferenciales II
104 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
i 2 2
a) c(k1 , k2 ) = k1 e(k1 +k2 )/4
8
1 2 2
b) c(k1 , k2 ) = k1 e(k1 +k2 )/4
8
i 2 2
c) c(k1 , k2 ) = k1 e(k1 +k2 )/4
4
i (k2 +k2 )/4
d) c(k1 , k2 ) = e 1 2
8
i 2 (k2 +k2 )/4
e) c(k1 , k2 ) = k e 1 2
8 1
1 R x 2 ikx 1 2
Ayuda: e e dx = ek /4 .
2 2
1
Si F(n) (u) := ikx dn x denota la transformada de
R
Resolucin (2 )n Rn u(x)e
2 2
Fourier entonces F(2) (u(x, y)) = F(1) (xex )F(1) (ey ) que utilizando F(n) (xi u) =
2 2
i/ki F(u) y que F(1) (exi ) = eki /4 /(2 2 ) conduce inmediatamente a la res-
puesta (a).
en el punto x = 1, t = 1.
a) 0.
2
b) .
Ecuaciones Diferenciales II
2.9] Cuestiones, problemas y ejercicios 105
2
c) + 1.
2
d) .
3
1
e) + .
2
a) bn = 1/n3
Ecuaciones Diferenciales II
106 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
1/n3 , n par
b) an =
0, n impar
c) an = 0
d) bn = 0
e) an = bn
a) c real arbitrario
b) c imaginario puro arbitrario
c) c = 1 + i
d) No existe c para el que el operador es simtrico
e) c = 1 i
a) 1/2
b) 0
c) 1
d) 1
e) 1/2
Ecuaciones Diferenciales II
2.9] Cuestiones, problemas y ejercicios 107
Resolucin La funcin
|x|
u(x) = cos x
senx
es continua en todo el intervalo salvo para x = 0 en donde existen los lmites
laterales de la funcin: u = 1 y u+ = 1. Por tanto, el teorema de Dirichlet nos
asegura que el valor de la suma de la correspondiente serie de Fourier en x = 0
es (u + u+ )/2 = 0.
i k2
a) c(k) = e1ik
2 (1 ik)2
i k
b) c(k) = e1ik
4 (1 ik)2
1 k
c) c(k) = e1ik
2 (1 ik)2
i k
d) c(k) = e1ik
2 (1 ik)2
i k 2
e) c(k) = e1ik
2 (1 ik)2
ex , < x < 1
Resolucin Llamando v(x) = tenemos para la transfor-
0, 1<x<
1 R1
mada de Fourier F(u) = F(xv) = iDk F(v). Pero F(v) = 2 e(1ik)x dx =
e(ik /(2 (1 ik)2 ). De donde se deduce la respuesta inmediatamente.
14. Determinar en cuantos puntos del intervalo [ /2, /2] se anula la serie de
Fourier
cn e2n i x
X
nZ
de la funcin
sen x
u(x) = .
|x|
a) 0
b) 1
c) 2
d) 3
e) 4
Ecuaciones Diferenciales II
108 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
Resolucin Al ser una serie de Fourier en exponenciales con funciones del tipo
e2n i x deducimos que = 2 /(b a) = 2 y por ello la longitud del intervalo es
b a = . Por tanto, podemos tomar [a, b] = [ /2, /2]. La funcin es C 1 a
trozos en este intervalo con una nica discontinuidad en x = 0. Aqu tenemos
los siguientes lmites laterales
lm u(x) = 1,
x0
cuya semisuma es nula. El teorema de Dirichlet nos permite asegurar que la serie
de Fourier se anula en x = 0 y como la funcin no se anula en ningn punto del
intervalo podemos afirmar que la respuesta correcta es la b).
de la funcin 2
u(x) = x
2
se anula.
a) 3
b) 5
c) 2
d) 8
e) 7
0 2 3
Ecuaciones Diferenciales II
2.9] Cuestiones, problemas y ejercicios 109
a) bn =
n2
b) bn =2
n
c) bn = 2 2
n
d) bn =3
n
e) bn = 4
n
Esta integral, que es inmediata, se puede calcular por partes tal como se indica a
continuacin
cos nx cos nx
x 2 sen x = x 2 + 2x
n n
cos nx sen nx sen nx
= x2 + 2x 2
2
n n n2
cos nx sen nx cos nx
= x2 + 2x +2 ,
n n n3
y por ello
x=2
1 2 cos nx sen nx cos nx
bn = x + 2x +2
n n n3
x=0
4
=
n
y la respuesta correcta es la e).
1 e2|k3 |
a)
16 2 (1 + i k1 )(1 + i k2 )
1 1
b) 2
16 (1 + i k1 )(1 + i k2 )(1 + i k3 )
Ecuaciones Diferenciales II
110 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
1 e|k2 |
c)
16 2 (1 + i k1 )(1 + i k3 )
1 e|k3 |
d)
16 (1 + i k21 )(1 + i k2 )
2
1 e2|k1 |
e) 2
16 (1 + i k2 )(1 + i k3 )
Ayuda:
Z
1 e i kx ea|k|
=
2 x 2 + a2 2a
1 i k1 x x 1 1
Z
F(1) (u1 ) = e e dx = ,
2 0 2 1 + i k1
1 i k2 y y 1 1
Z
F(1) (u2 ) = e e dy = ,
2 0 2 1 + i k2
1 i k1 z 1 e2|k3 |
Z
(1)
F (u3 ) = e d z = ,
2 0 z2 + 4 4
1 1
a)
4 2 (1 i k1 )(1 i k2 )
1 1
b)
4 2 (1 + i k1 )2 (1 + i k2 )2
i 1
c)
4 (1 i k1 ) (1 i k2 )2
2 2
1 1
d) 2 2
4 (1 + i k1 )(1 + i k2 )
i 1
e)
4 2 (1 + i k2 )2 (1 + i k3 )2
Ecuaciones Diferenciales II
2.9] Cuestiones, problemas y ejercicios 111
Sabemos que
1 1
F(2) (G) =
4 2 (1 + i k1 )(1 + i k2 )
y tambin que
F(2) (xyG) = i Dk1 i Dk2 F(2) (G).
Por todo ello deducimos que
1
F(2) (xyG) = ,
(1 + i k1 )2 (1 + i k 2)
2
u = xe|x+2|/4
8 16k2 + 2 i k + 1 2 i k
a) e
(16k2 + 1)2
8 8k2 2k + 1 2 i k
b) e
(16k2 + 1)2
1 16k2 + 16 i k + 1 2 i k
c) e
(16k2 + 1)2
8 16k2 + 16 i k + 1 2 i k
d) e
(16k2 + 1)2
1 k2 2 i k + 1
e)
2 (16k2 + 1)2
4 1 2ik 8 16k2 + 16 i k + 1 2 i k
F(xe|x+|/4 ) = i Dk F(e|x+2|/4 ) = i Dk e = e .
1 + 16k2 (16k2 + 1)2
La respuesta correcta es la d).
Ecuaciones Diferenciales II
112 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
a) tan kl = 2hk/(k2 h2 )
b) tan kl = 2h/(k2 + h2 )
c) tan kl = hk2 /(2k2 + h2 )
d) tan kl = 2h/(k2 + h2 )
e) tan kl = hk2 /(2k2 + h2 )
2.9.2. Problemas
1. Determinar la transformada de Fourier en R2
1
Z
c(k1 , k2 ) = u(x, y)ei(k1 x+k2 y) dxdy,
(2 )2 R2
de la funcin
2 |y|
u(x, y) = (x + y)ex
Ecuaciones Diferenciales II
2.9] Cuestiones, problemas y ejercicios 113
R x 2 eikx dx
k2 /4
Ayuda: e = e .
Ecuaciones Diferenciales II
114 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
tan k = k .
donde R1
(1x)xsen( x)dx
0 R1 , n=0
2
0 (1x) dx
cn = R1
0 (sen(kn x)kn cos(kn x))xsen( x)dx
, n > 0,
R1
2
0 (sen(kn x)kn cos(kn x)) dx
12
esto es c0 = 3
y
Ecuaciones Diferenciales II
2.9] Cuestiones, problemas y ejercicios 115
y por otro
1 2 /4 1 |k|
F(f ) = ek , F(g) = e ,
2 2
obtenemos que
k2 /4|k|
u = e .
2
Ecuaciones Diferenciales II
116 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
2.9.3. Ejercicios
1. Determinar los productos escalares:
Z
(u, v) = u(x)v(x)(x)dn x,
d2
4. Probar que el operador L = es simtrico sobre el dominio D de funciones
d x2
2
de clase C en [a, b] tales que satisfacen uno de los siguientes tipos de condi-
ciones de contorno:
Condiciones separadas:
= 1.
d
5. Sea el operador L = i sobre el dominio D de funciones de clase C 1 en [a, b]
dx
tales que satisfacen la condicin de contorno:
u(a) + u(b) = 0,
Ecuaciones Diferenciales II
2.9] Cuestiones, problemas y ejercicios 117
u(x) 1,
7. Sea la funcin
u(x) = x.
d2 u
9. Sea el operador Lu = 2u sobre el dominio de funciones de clase C 2 en
d x2
[0, 1] tales que
u(0) = 0, u(1) = 0.
u(x) = exp(ix),
11. Considrese el subespacio lineal D C ([1, 1]) generado por las funciones
a) Probar que f g = g f .
Ecuaciones Diferenciales II
118 Teora espectral de operadores diferenciales. Anlisis de Fourier [Captulo 2
cn (f g) = 2 cn (f )cn (g) .
l=0
Sean
k x k2 k k k2
hx 2 i , hk 2
i , F () .
k k2 k k2
Probar que para cualquier S se verifica la siguiente versin del Principio de
Incertidumbre:
1
hx 2 i hk2 i .
4
17. Resolver mediante la transformada de Fourier la ecuacin del calor en una di-
mensin espacial con un trmino de tipo convectivo, dada por
Ecuaciones Diferenciales II
C APTULO 3
Mtodos de separacin de
variables y desarrollo en
autofunciones
mtodoseparacin
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 fluidos. La estructura del tema es como sigue:
3.1. El de de variables
119
120 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
que indica que L efecta derivaciones con respecto a las variables (x0 , . . . , xn1 ) y que
operador diferen- sus coeficientes a = a (x) dependen de esas variables.
cial separable
Definicin 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 ; , B = B x1 , . . . , xn1 ; ,..., .
x0 x1 xn1
Ejemplos
1. El operador
Lu = xux + yuyy + yzuz + x 2 u,
2
A x; =x + x2, B y, z; , =y + yz .
x x y z y 2 z
2. El operador Laplaciano
Ecuaciones Diferenciales II
homogneas
3.1] El mtodo de separacin de variables 121
2
Lu := i ut + u + q(x, y, z)u,
2m
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.
Av = v, Bw = w, (3.2)
Au + Bu = u u = 0.
Observaciones
Av = v,
Ecuaciones Diferenciales II
122 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
y una EDP
Bw + w = 0,
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.
u = u (x).
{u = u (x), },
Ecuaciones Diferenciales II
3.1]
Lu = 0,
li (u) = 0,
homogneos
El mtodo de separacin de variables
El MSV puede tambin aplicarse en situaciones en que el problema sea una EDP
lineal homognea junto con una serie de condiciones
i = 1, . . . , m,
operadores
123
de
frontera separa-
bles
Ejemplos
l(u) = u| ,
l(u) = u|r =1 .
Ecuaciones Diferenciales II
124 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
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
Ejemplos
Ecuaciones Diferenciales II
3.1] El mtodo de separacin de variables 125
h
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
v = u,
vzz = v, vz |z=h = 0,
y
wxx = w.
Introduciendo el cambio de parmetro = k2 , se obtiene que la solucin de la
ecuacin ordinaria para v es
Es decir
v(z) = A(ekz + e2kh ekz ) = 2Aekh cosh k(z + h).
Por otra parte, resolviendo la ecuacin ordinaria para w
w(x) = Cei kx + De i kx .
Ecuaciones Diferenciales II
126 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
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
x
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 va- El potencial de velocidades del fluido u = u(x, z) satisface entonces el problema
riables y cambios de contorno
de coordenadas
uxx + uzz = 0,
u
= 0.
n z=mx
Ecuaciones Diferenciales II
3.1]
i
u
t
i
t=t0
fsicamatemtica
El mtodo de separacin de variables
N u
a N Lu = f , t (a, b), x Rn ,
t
= fi (x), i = 1, . . . N 1,
lj (u) = gj (t, x), j = 1, . . . , s,
(3.8)
Matemtica
127
separacin de va-
riables en Fsica
Estas autofunciones de L determinan las denominadas ondas estacionarias del pro- ondas estaciona-
blema fsico descrito por (3.8), que son las funciones de la forma rias
e i t w(x), R,
que verifican la EDP de (3.8). Esta condicin determina la frecuencia de la onda, ya frecuencia
que al sustituir la funcin en la EDP se obtiene
a( i )N e i t w = e i t w,
simplificando se obtiene la relacin de dispersin relacin de dis-
persin
a( i )N = ,
que relaciona con . Solo en el caso en que existan soluciones reales de esta rela-
cin podemos hablar de ondas estacionarias en el fenmeno fsico correspondiente. Si
tomamos L = la separacin de variables nos conduce a la ecuacin de Helmholtz ecuacin 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
c tt xx , t (a, b), x (0, l),
u = f1 (x),
t=t0
ut
= f2 (x),
t=t0
u = g1 (t),
x=0
u = g2 (t).
x=l
Ecuaciones Diferenciales II
128 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
c 2 ( i )2 = k2 ,
u = g1 (t),
x=0
u = g2 (t).
x=l
2
wxx = w, w(0) = 0, w(l) = 0.
2m
Las soluciones son
wn (x) = sen kn x, kn = n, n 1,
l
donde
2 k2n
n = .
2m
La relacin de dispersin es
k2
= ,
2m
luego las ondas estacionarias del problema son
k2n
un (t, x) = e i n t sen kn x, n = .
2m
Ecuaciones Diferenciales II
3.2]
3.2. La
ecuacin La ecuacin de Helmholtz en coordenadas cartesianas
separacin de va-
riables ecuacin
u(x, y, z) = X(x)w(y, z), de Helmholtz en
cartesianas
tal que
2
d X
= X,
d x2
w 2
yy + wzz + k w = w,
w(y, z) = Y (y)Z(z)
tal que
2
d Y = Y ,
d y2
d2 Z
+ (k2 k21 )Z = Z
d z2
donde = k22 C. Llamando k23 = k2 k21 k22 vemos que la solucin buscada tiene
la forma
uk1 ,k2 ,k3 (x, y, z) = Xk1 (x)Yk2 (y)Zk3 (z),
i k1 x + b e i k1 x ,
Xk1 (x) = a1 e 1
(3.9)
Yk2 (x) = a2 e i k2 y + b2 e i k2 y ,
Partculacuntica
Zk1 (x) = a3 ei k3 z + b3 e i k3 z .
con
k2 = k21 + k22 + k23 .
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.
Ecuaciones Diferenciales II
130 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
L3
L2 y
L1
x
2mE
La EDP es una ecuacin de Helmholtz con k2 = y la condicin de contorno se
2
desglosa en las siguientes condiciones
u(0, y, z) = 0,
u(L1 , y, z) = 0,
u(x, 0, z) = 0,
u(x, L2 , z) = 0,
u(x, y, 0) = 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
a1 + b1 = 0,
i k1 L1
a1 e + b1 e i k1 L1 = 0
Ecuaciones Diferenciales II
3.2] La ecuacin de Helmholtz en coordenadas cartesianas 131
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 ,
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 e i ki Li
= 0;
1 ei ki Li (1 e i k L )
i i
esto es
(ei ki Li /2 e i ki Li /2 )2 = 0,
Ecuaciones Diferenciales II
132 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
2
ki = ni , ni Z, i = 1, 2, 3.
beraparlepidica
Li
tu
Las energas posibles son
2 n2
1 n22 n23
En1 ,n2 ,n3 = 4 2 2
+ + .
2m L1 L22 L23
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] La ecuacin de Helmholtz en coordenadas cartesianas 133
a1 b1 = 0,
i k1 L
a1 e b1 e i k1 L = 0.
Xn (x) = cos nx.
L
y a n = 1, n = 1
v 11 (x, y, z) = sen x cos z e i 2 cos x cos z e 2y j cos x sen z e 2y k
p
2y
Ecuaciones Diferenciales II
134 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
n = 1, n = 0 n = 1, n = 1
3 3
ecuacin cilndricas
2
z z
1 1
0 0
0 0 0 0
1 1
y1 y 1
2 x 2 x
3 3
2 2
z
y
r
x
Ecuaciones Diferenciales II
3.3] La ecuacin de Helmholtz en coordenadas cilndricas 135
1 1
ur r + ur + 2 u + uzz + k2 u = 0.
r r
u(r , , z) = V (r , )Z(z)
Z + k2 Z = 2 Z,
r 2 Vr r + r Vr + V = 2 r 2 V .
V (r , ) = R(r )()
r 2 R + r R + 2 r 2 R = m2 R,
= m2 .
m () = Cei m + De 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 correspon-
diente ecuacin es
r 2 R + r R m2 R = 0
cuya solucin es
c1 ln r + c2 m = 0,
R=0,m (r ) = (3.12)
c1 r m + c2 r m m 0.
Ecuaciones Diferenciales II
136 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
Partculacunticacuacilndrica
La ecuacin del Helmholtz en dos dimensiones espaciales, escrita coordenadas po-
lares 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 correspon-
dientes.
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
que llamando
2 k2
E=
2M
Ecuaciones Diferenciales II
3.3] La ecuacin de Helmholtz en coordenadas cilndricas 137
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,
Por tanto
m=j , j N.
0
Adems D = C y
m () = 2C sen(m).
Ecuaciones Diferenciales II
138 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
As pues
2
k2 = n2 + 2 , n N.
h2
Adems B = A y
Z (z) = 2A sen
nz.
h
Por ltimo analizamos la variable radial r . La funcin radial R(r ) no debe tener singu-
laridades 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
Jm (a) = 0.
m=j , j N,
0
cm,
= , N.
a
Las energas admisibles son por tanto
(cj )2 i
2 h 2 n2 0 ,
Ej,,n = + , j, , n N
2M h2 a2
y las correspondientes autofunciones sern
r z
Jj cj sen j sen n .
0 0 , a 0 h
El problema de una partcula cuntica bidimensional encerrada en una cua tal como
indica la figura
tico
asin
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
0
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
x
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
1
Dado el comportamiento
s
2
Jm (x) cos x (2m + 1)
x 4
observamos para los ceros que
cm, (2 + 1) + (2m + 1) .
2 4
Ecuaciones Diferenciales II
3.3] La ecuacin de Helmholtz en coordenadas cilndricas 139
2
(c2j, )2 , J2j (c2j, r ) sen(2j), j, Z,
2M
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
Ecuaciones Diferenciales II
140 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
z
a
uz u
ur
k z
j
i
r
Ecuaciones Diferenciales II
3.4] La ecuacin de Helmholtz en coordenadas esfricas 141
u
= n u = ur .
n
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 superficie del cilindro r = a: esto es,
R,m (a) = 0.
Jm (r )
ecuacin esfricas
Jm (a) = 0.
entonces
Si denotamos por {cm, }N a los ceros2 de Jm
cm,
m, = , m Z+ , N.
a
tico
asin
3.4. La de Helmholtz en coordenadas
separacin de va-
En coordenadas esfricas riables ecuacin
de Helmholtz en
x = r sen cos , esfricas
y = r sen sen ,
z = r cos ,
2
Dado el comportamiento
s
2
Jm (x) sen x (2m + 1)
x 4
Ecuaciones Diferenciales II
142 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
r
y
1 1
r (r u)r r + k2 r 2 u +
Resolucinecuacin
(sen u ) + u = 0.
sen sen2
u(r , , ) = R(r )Y (, )
r (r R) + k2 r 2 R = R,
1 1
(sen Y ) + Y = Y .
sen sen2
3.4.1. de la angular
La ecuacin angular escrita en la forma
srves m
O
es separable. As, la factorizacin
Y (, ) = P ()(),
b ecn ntica.
icau
sen (sen P ) + sen2 P = m2 P ,
= m2 .
Por tanto,
() = Cei m .
3
que
1 1 L2 Y
(sen Y ) + Y = 2
sen sen
2
donde L es el operador momento angular en
Ecuaciones Diferenciales II
3.4] La ecuacin de Helmholtz en coordenadas esfricas 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
d h dPi m2
(1 2 ) + P = 0. (3.14)
d d 1 2
Esta es la ecuacin de Legendre adjunta, que cuando m = 0 se reduce a la ecuacin ecuacin de Le-
de Legendre. Se comprueba que si P es solucin de la ecuacin de Legendre gendre adjunta
d h d Pi
(1 2 ) + P = 0, (3.15)
d d
entonces
d|m| P
P =: (1 2 )|m|/2 ,
d |m|
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)
P := , = 0, 1, . . . .
d
d|m|+ ( 2 1)
P,|m| := (1 2 )|m|/2 , |m| , = 0, 1, . . . . (3.17)
d |m|+
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
aci
ecu n
Y,m (, ) := c,m P,|m| (cos )ei m , = 0, 1, 2, . . . , m = 0, 1, . . . , ,
que son las funciones denominadas armnicos esfricos donde la constante de nor- armnicos esfri-
malizacin, siguiendo el convenio de Condon y Shortley, la tomaremos como cos
r
m 2+1 (|m|)! 1
(1) 4 (+|m|)! 2 ! , m 0,
c,m := r
2+1 (|m|)! 1
4 (+|m|)! 2 ! , m < 0.
4
La de Legendre adjunta es un problema de SturmLiouville en el intervalo [1, 1] con
() = 1, p() = 1 2 y q(x) = m2 /(1 2 ). A pesar de ser singular posee un conjunto ortogonal
completo de autofunciones:
Z1
P,|m| ()P ,|m| () d = 0, si .
1
Ecuaciones Diferenciales II
144 Mtodos de separacin de variables y desarrollo en autofunciones [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 superficie de
revolucin r = r (, ) := Y,m (, ). Los armnicos esfricos constituyen adems
un conjunto ortonormal completo en
Z
f (, )2 d S < ,
n o
L2 (S 2 ) := f = f (, ) :
S2
As, tenemos la base ortonormal {Y,m } =0,1,... . Esto es forman un conjunto ortonor-
m=,...,
mal
(Y,m , Y ,m ) = mm
donde
Z 2 h Z i
c,m = (Y,m , f ) = Y,m (, )f (, ) sen d d .
0 0
Ecuaciones Diferenciales II
3.4] La ecuacin de Helmholtz en coordenadas esfricas 145
1
Y0,0 (, ) = .
4
La grfica correspondiente es
d
P1,0 () =( 2 1) = 2,
d
d2
q q
2
P1,1 () = 1 2 ( 1) = 2 1 2.
d 2
Por ello,
s
3
Y1,0 (, ) = cos ,
4
s s
3 3
Y1,1 (, ) = sen ei , Y1,1 (, ) = sen e i .
8 8
A continuacin representamos las superficies r = Yl,m (, ) para estos arm-
nicos esfricos
Ecuaciones Diferenciales II
146 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
=1
Y1,0 (, ) Y1,1 (, )
s
5
Y2,0 (, ) = (1 + 3 cos2 ),
16
s s
15 15
Y2,1 (, ) = sen cos ei , Y2,1 (, ) = sen cos e i ,
8 8
s s
15 2i 15
Y2,2 (, ) = 2
sen e , Y2,2 (, ) = sen2 e2 i .
32 32
Ecuaciones Diferenciales II
3.4] La ecuacin de Helmholtz en coordenadas esfricas 147
=2
Y2,2 (, )
Y2,0 (, ) Y2,1 (, )
Cuya representacin es
3.4.2. Resolucinecuacin
de la
Si k = 0 la ecuacin radial
radial
r 2 R + 2r R ( + 1)R = 0
Ecuaciones Diferenciales II
148 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
1
R(r ) = Ar + B . (3.18)
r +1
r 2 R + 2r R + (k2 r 2 ( + 1))R = 0.
S(r ) := r R(r )
2( + 1)
L S := S + S + k2 S = 0.
r
Definimos ahora el operador diferencial T
1
T S := S
r
y calculamos el conmutador [L , T ] teniendo en cuenta que
d2
L u = ( + 2(l + 1)T + k2 )u.
dr 2
As, se obtiene
h d2 i
[L , T ] = , T = 2T 2 .
d r2
Por tanto,
L T S = 2T 2 S
o bien
(L + 2T )T S = 0.
Observando que
L + 2T = L+1
concluimos que
L+1 T S = 0.
2
L0 S0 = S0 + S + k 2 S0 = 0
r 0
Ecuaciones Diferenciales II
3.4] La ecuacin de Helmholtz en coordenadas esfricas 149
(r S0 ) + k2 r S0 = 0.
sen kr cos kr
S0 (r ) = A +B .
r r
=0 =1 =2
sen r sen r cos r sen r cos r sen r
j (r ) 3 3 2
r r2 r r3 r r
cos r cos r sen r cos r sen r cos r
n (r ) 2 3 3 3 2 +
r r r r r r
esfricas
El comportamiento de estas funciones en el origen5 es
r
j (r ) ,
(2 + 1)!!
r 0. (3.20)
(2 1)!!
n (x) ,
r +1
1
j (r ) = cos r ( + 1)
r 2 r .
n (r ) = sen r ( + 1)
r 2
Ecuaciones Diferenciales II
150 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
1
j0
Partculacuntica esfrica
j1
j2
j3
0 10 r
n0
n1
n2
0,4 n3
2 k2
u + k2 u = 0, E= ,
2M
u|
r =a = 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
2
2 c,n
E,n =
2M a2
Ecuaciones Diferenciales II
3.4] La ecuacin de Helmholtz en coordenadas esfricas 151
c
,n
u,m,n (r , , ) = j r Y,m (, ).
a
2
La densidad de probabilidad u,m,n no depende de la variable . Por tanto, po-
demos 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.
y por ello las energa del estado fundamental y de los primeros excitados es aproxi-
madamente
2 2 2
9,869604404, 20,190728557, 33,217461915.
2Ma2 2Ma2 2Ma2
Ecuaciones Diferenciales II
152 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
= 0, m = 0, n = 1
f
tamos las correspondientes densidades de probabilidad en los mencionados planos
= 1, m = 0, n = 1 = 1, m = 1, n = 1
1 1
u = ur ur + u u + u u
r r sen
Ecuaciones Diferenciales II
3.5] El mtodo de desarrollo en autofunciones (MDA) 153
u
ur
u
k
r
j
mtodoinhomogneos
i
r Y,m (, ).
Ecuaciones Diferenciales II
154 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
sobre un dominio
1. La EDP es de la forma
A x0 ; u + B x1 , . . . , xn1 ; ,..., u = f (x). (3.21)
x0 x1 xn1
en un espacio L2 (0 ).
Bwm = m wm ,
bj (wm ) = 0, j = 1, . . . , s.
mtodo de desa-
rrollo en autofun- Supuesto que se cumplen estas condiciones el MDA se aplica mediante el siguiente
ciones proceso:
1. Se busca una solucin del problema en forma de un desarrollo en serie en auto-
funciones
X
u(x) = vm (x0 )wm (x). (3.25)
m
Ecuaciones Diferenciales II
3.5] El mtodo de desarrollo en autofunciones (MDA) 155
Las incgnitas son entonces los coeficientes vm (x0 ) de la serie. Como las funcio-
nes wm forman un conjunto ortogonal, se verifica
con Cmj siendo operadores actuando sobre los datos hj que habr que determinar
en cada caso. Por otro lado se verifica que
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
Im (h)
Avm + m vm + = fm . (3.30)
kwm k2
Ecuaciones Diferenciales II
156 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
Como los operadores ai solo operan sobre la variable x0 , mientras que la ope-
racin de producto escalar solo integra sobre las variables (x1 , . . . , xn1 ), bajo
condiciones apropiadas de regularidad se verificar
es claro que
(wm , gi ) = kwm k2 cim .
Por tanto se obtiene
ai (vm ) = cim (3.33)
que son junto con la ecuacin (3.30) las condiciones para determinar los coefi-
cientes vm del desarrollo (3.25) buscado.
bj (u) = 0, j = 1, . . . , s.
Avm + m vm = fm . (3.34)
Los coeficientes buscados sern entonces las soluciones de esta ecuacin dife-
rencial ordinaria que satisfacen las condiciones
ai (vm ) = cim .
Ecuaciones Diferenciales II
3.5] El mtodo de desarrollo en autofunciones (MDA) 157
con a C.
iu
(t0 , x) = gi (x), i = 1, . . . , r .
t i
as como un conjunto de condiciones de frontera
bj (u) = hj (x), j = 1, . . . , s,
con operadores bj que operan slo sobre las variables (x1 , . . . , xn1 ).
iu
(t0 , x) = gi (x), i = 1, . . . , r .
t i
Ecuaciones Diferenciales II
158 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
n2 2 n x
n = , wn (x) = sen , n = 1, 2, . . . .
a2 a
X n x
u(x, y) = vn (y) sen
n=1
a
x
como en las inhomogeneidades slo aparece el trmino sen , buscamos nues-
a
tra solucin en la forma
x
u(x, y) = v(y) sen .
a
2
v = v,
a2
v|y=0 = 1,
v|
y=b = 0.
La solucin es de la forma
v(y) = Ae a y + Be a y
donde
A + B = 1,
Ae a + Be a = 0.
b b
e a e a
A= b
, B= b
2 senh a 2 senh a
y as la solucin ser
senh a (b y)
u(x, y) = sen x.
senh a a
Ecuaciones Diferenciales II
3.5] El mtodo de desarrollo en autofunciones (MDA) 159
200
0
0 0
y x
2
5
2
u = uxx + V (x)u, x (a, b), t > 0,
i t
2m
u
t=0
= g(x),
u = 0,
x=a
u
x=b = 0,
i ut + Hu = 0.
Hw = w,
w = 0,
x=a
w
x=b = 0.
Ecuaciones Diferenciales II
160 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
conducen a
d vn
i (t) + n vn (t) = 0;
dt
cuya solucin es
n
vn (t) = an e i t .
Si ahora asumimos que la condicin inicial posee el desarrollo
X
g(x) = cn wn (x),
n=1
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 confinada en el segmento (0, l). El pro-
blema de autovalores es el ya bien conocido
2
wxx = w,
2m
w = 0,
x=0
w = 0,
x=l
con autovalores
2 n2 2
n = , n = 1, 2, . . .
2m l2
y correspondientes autofunciones dadas por
n
wn (x) = sen x , n = 1, 2, . . . .
l
Por tanto, la condicin inicial ya est desarrollada en autofunciones y as
obtenemos para el estado de la partcula
2 2
i t i 9 t
u(t, x) = 2 sen x e 2m l2 sen 3 x e 2m l2
l l
A continuacin presentamos la grfica espacio-temporal para la densidad
de probabilidad
Ecuaciones Diferenciales II
3.5] El mtodo de desarrollo en autofunciones (MDA) 161
|u|2
1
0
0 0
x t
/2
2
u = uxx , x (0, l), t > 0,
i 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
2
wxx = w,
2m
w
x=0 = w x=l ,
wx = wx .
x=0 x=l
2 4n2 2
n = , n = 0, 1, 2, . . .
2m l2
y correspondientes autofunciones dadas por
n
(+) n2 () n2 o
w0 (x) = 1, wn (x) = cos x, wn (x) = sen x .
l l n=1,2,...
(+) ()
En la condicin inicial intervienen las autofunciones w0 , w1 y w3 . Por
tanto,
2 4 2 6 36 2
i i
u(t, x) = 2 i 2 cos x e 2m l2 + 7 sen x e 2m l2 .
l l
Ecuaciones Diferenciales II
162 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
2 1
wxx + kx 2 w = w, x R, t > 0,
2m 2
w = 0,
x
w
x+ = 0.
m
4 2m
Introduciendo K := 2
k, x := Kx y := 2
/ K podemos escribir
wx x + x 2 w = w
n = 2n + 1, n = 0, 1, 2, . . .
x 2
wn (x) = Hn (x)e 2 , n = 0, 1, 2, . . . .
y
s
mk
mk 2
wn (x) = Hn x e 2 x , n = 0, 1, 2, . . . .
Luego si
X
g(x) = cn wn (x)
n=0
la solucin es
s
mk
q
k mk 2
c n e i 2m (2n+1)t x e 2 x .
X
u(t, x) = Hn
n=0
Ecuaciones Diferenciales II
3.5] El mtodo de desarrollo en autofunciones (MDA) 163
al2 + bl + c = 0,
3al + 2b = 0,
wxx = w,
w
x=0 = w x=l ,
w x
x=0 = wx x=l .
Ecuaciones Diferenciales II
164 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
y esto a su vez a
3
l
n = 0,
3
I2,n =
l2
2l
i + n 0,
n n2 2
y por ltimo a
4
l
n = 0,
4
I3,n =
3 2
i l + 3l i 6l
n 0.
n n2 2 n3 3
2 3 3 2 1 2 l4 3 l3 l2
x x + x = +
l2 l l l"2 4 l 3 2 #
X 2 l3 3l2 6l 3 l2 2l l
i nx
+ i + i i + + i e
n0
l2 n n2 2 n3 3 l n n2 2 n
24 X 1
= sen nx.
l2 3 n=1 n3
que implica
vn = n vn ,
24 1
vn (0) =
l2 3 n3
y por ello
24 1 n2 2 t
vn (t) = e .
l2 3 n3
Finalmente la solucin es
funcsin
lofuncin
24 X 1 n2 2 t
u(t, x) = 2 3 e sen nx.
l n=1 n3
6
La g (x) es una impar con respecto al punto x = l/2, este es el motivo de que
aparezcan senos.
Ecuaciones Diferenciales II
3.5] El mtodo de desarrollo en autofunciones (MDA) 165
0.1
0
0.1
x t
1
cn ei n x
X
x(x 2 1) =
nZ
con
Z1
1
cn = x(x 2 1)e i n x d x
2 1
Ecuaciones Diferenciales II
166 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
lleva a
vn = n2 2 vn ,
n
vn (0) = 12 (1) ,
n3 3
v (0) = 0.
n
Por ello
(1)n
vn (t) = 12 cos n t
n3 3
y la solucin es
X (1)n
u(t, x) = 12 cos n t sen n x.
n=1
n3 3
0,4
0,2
0,2
2
1
1
0t
0
x 1
1 2
Ecuaciones Diferenciales II
3.5]
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 orto-
gonal generalizada y la propuesta del MDA es buscar una solucin de la forma
Z
u(t, x) = v(k, t)ei kx d k.
R
Ecuaciones Diferenciales II
168 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
1 1 (xx )2
Z
)a2 k2 t
ei k(xx dk = e 4a2 t ,
2 R 2a t
que se deduce inmediatamente, renombrando variables y parmetros, de la trans-
formada de Fourier de la funcin gaussiana
2
1 1
Z
2 x2 k
e i kx ea dx = e 4a2 .
2 R 2a
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
Z n
v(k, t)ei kx dn k,
X
u(t, x) = k x := kj x j .
Rn
j=1
e imponemos
vt (k, t) + a2 |k|2 v(k, t) = 0,
cuya solucin general es
2 |k|2 t
v(k, t) = c(k)ea .
Ecuaciones Diferenciales II
3.5] El mtodo de desarrollo en autofunciones (MDA) 169
Haciendo t = 0 obtenemos
Z
f (x) = c(k)ei kx dn k.
Rn
1
Z
c(k) = f (x)e i kx dn x.
(2 )n Rn
As la expresin de u(t, x) es
1
Z Z
)a2 |k|2 t
u(t, x) = f (x )ei k(xx dn k dn x .
(2 )n Rn Rn
n
1 1
Z Z
)a2 |k|2 t i k (x x )a2 k2j t
ei k(xx dn k =
Y
e j j j d kj ,
(2 )n Rn
j=1
2 R
(xj x )2
1 1 j
Z
i kj (xj xj )a2 k2j t
e d kj = e 4a2 t ,
2 R 2a t
1 |xx |2
Z
u(t, x) = f (x )e 4a2 t dn x (3.38)
(2a t)n Rn
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 > 0, x = (x1 , . . . , xn ) Rn
t 2m
(3.39)
u = f (x).
t=0
a2 = i .
2m
Por tanto haciendo esa identificacin del parmetro a en (3.8) deducimos la si-
guiente expresin de la solucin de (3.39)
n
m 2 m|xx |2
Z
u(t, x) = f (x )ei 2 t dn x (3.40)
2 i t Rn
Ecuaciones Diferenciales II
170 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
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,
Ecuaciones Diferenciales II
3.5] El mtodo de desarrollo en autofunciones (MDA) 171
1h
Z Z i
u(t, x) =
f (k)e i k(x+t)
dk+ f(k)ei k(xt) d k
2 R R
1h 1 i k(x+t) 1
Z Z i
+ g(k) e dk g(k) ei k(xt) d k .
2 R ik R ik
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
Zx Zx
1 1 g(k)
Z Z Z
g(k)ei kx d k = g(k) + ei kx d x d k = dk+ g(x) d x,
R ik R ik 0 R ik 0
(3.41)
para as obtener el siguiente valor para el segundo corchete
Z x+t
1
g(x) d x.
2 xt
Ecuaciones Diferenciales II
172 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
k2 = n , n = 1, 2, . . . .
L
Introduciendo esta expresin en la EDP se obtiene las siguiente EDO para vn (k, t)
vn 2
(k, t) + k2 + n2 2 vn (k, t) = 0
t L
cuya solucin es
2
(k2 +n2 )t
vn (k, t) = an e L2 .
Para saber que autofunciones intervienen en este desarrollo analizamos los de-
sarrollos correspondientes de las inhomogeneidades. En este caso slo es la
Ecuaciones Diferenciales II
3.5] El mtodo de desarrollo en autofunciones (MDA) 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
Z
g(x, y) = c(k)ei kx d k sen y
R L
en donde Z1
1 sen k
c(k) = e i kx d x = .
2 1 k
Esto es,
sen k i kx
Z
g(x, y) = e d k sen y.
R k L
Por ello, la solucin es
2
sen k i kx
Z
2 t 2t
u(t, x, y) = e L sen y ek e d k.
L R k
sen k i kx
Z
2t
I(x, t) := ek e dk
R k
1 2 1
Z
I(x, t) = ek t (ei k(x+1) ei k(x1) ) = J(x + 1, t) J(x 1, t)
2 R ik
donde
1 1 i kx
Z
2t
J(x, t) = ek e d k.
2 R ik
Usamos ahora (3.41) para escribir
2 Zx h
1 ek t 1
Z Z
2
i
J(x, t) = dk+ ek t ei kx d k d x.
2 R ik 0 2 R
1h x + 1 x 1 i
I(x, t) = erf erf .
2 2 t 2 t
Por ello, la solucin es
1h x + 1 x 1 i 2
t
u(t, x, y) = erf erf e L2 sen y.
2 2 t 2 t L
Debemos observar que si x > 0 tenemos
1 2
1
erf(x) = 1 + ex 1 O 2 , x
x x
Ecuaciones Diferenciales II
elctrosticam
174 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
ecnica
y que
erf(x) = erf(x).
1h x + 1 x 1 i
erf erf
2 2 t 2 t
u = 0,
ai (u) = gi , i = 1, . . . , m.
3.6.1. Unicidad
u = ,
u
S() = g
y
u = ,
u
= g.
n S()
Ecuaciones Diferenciales II
3.6] Problemas de contorno en electrosttica y mecnica de fluidos 175
R3
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S()
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
R3
S1 ()
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S2 ()
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
S3 ()
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
(uu) = u u + uu
u
Z Z
2 3
(|u| + uu) d x = u d S.
S() n
u = 0,
u
= 0,
n
S()
Ecuaciones Diferenciales II
176 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
R := B(0, R)\c ,
y su frontera es
S(R ) = S1 () S2 () . . . Sm () S(0, R)
donde S(0, R) := {x R3 : kxk = R} es la esfera de radio R centrada en origen. En la
siguiente figura 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
R3
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S1 ()
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
R
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
S2 ()
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
S3 ()
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
u
Z Z
|u|2 d3 x = u dS
R S(0,R) n
Ecuaciones Diferenciales II
3.6] Problemas de contorno en electrosttica y mecnica de fluidos 177
y suponiendo que
fm m
1
u=O , r ,
r
y que por tanto ur = O(r 2 ), lleva a
1
Z Z
kuk2 d3 x = lm kuk2 d3 x C lm = 0.
R R R R
tra c
ls
oi
srica ca
c
a
i
c
n
Teorema 3.6.2. Por tanto, para asegurar la unicidad en el problema de Dirichlet
t
et
r e
exterior y la unicidad salvo constante en el problema de Neumann exterior es
e e
necesario exigir que en el infinito las soluciones satisfagan la condicin
1
u f (r , , ) + O , r .
r
u = ,
ai (u) = gi , i = 1, . . . , n
u = 0,
ai (u) = gi , i = 1, . . . , n
(A + B)u = r 2
donde
Au := r 2 ur r + 2r ur ,
1 1
Bu := (sen u ) + u .
sen sen2
Ecuaciones Diferenciales II
178 Mtodos de separacin de variables y desarrollo en autofunciones [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 correspon-
diente problema de autovalores se resuelve como sigue
BYl,m = l(l + 1)Yl,m , l = 0, 1, 2, . . . m = l, . . . , l.
lctrostico
l,m
lctrico
donde vlm se encuentran determinados por
e
r 2 vlm + 2r vlm l(l + 1)vlm = lm
e
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
E0 k
a
y
E0 k
Ecuaciones Diferenciales II
3.6] Problemas de contorno en electrosttica y mecnica de fluidos 179
Por tanto,
(u0 V0 )a a3
u(r , , ) = V0 + E0 r 2 cos . (3.42)
r r
El potencial dado en (3.42) se compone de un trmino monopolar
(u0 V0 )a
r
y un trmino dipolar
a3
E0 r 2 cos .
r
El momento monopolar es 4 0 (u0 V0 )a y la carga neta es Q = (u0 V0 )a. Por ello,
el potencial es
Q a3
u(r , , ) = V0 + E0 r 2 cos .
r r
El campo elctrico E = u
hQ a3 i a3
E := + E0 1 + 2 3 cos ur E0 1 3 sen u .
r2 r r
Ecuaciones Diferenciales II
180 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
p = 4 0 a3 E0
r =a
= 0,
Q
+ 3E0 cos = 0,
a2
esto es
Q
= arc cos .
3a2 E0
Por tanto si
Q
< 1,
3a2 E
0
el campo elctrico slo se anula en un crculo sobre la superficie 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
3a2 E > 1,
0
la situacin cambia y el campo elctrico no se puede anular sobre la esfera.
Ecuaciones Diferenciales II
3.6] Problemas de contorno en electrosttica y mecnica de fluidos 181
P (r+ ) = 0,
P (r+ ) < 0,
As, tendremos dos races reales (una negativa y otra positiva (P (0) > 0)) si
Q
3E a2 = 1
0
y tres races reales (una negativa y dos positivas (P (0) > 0))si
Q
3E a2 > 1.
0
Ocurre que si
Q
3E a2 = 1
0
el valor r = a es raz. Por otro lado si
Q
3E a2 > 1 r+ > a
0
Ecuaciones Diferenciales II
182 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
Q
3E a2 1.
0
f
A continuacin mostramos los diferentes casos
3.6.4.
0
3E a2 < 1
Q
0
3E a2 = 1
srica
e
3E a2 > 1
0
v0 k
a
y
v0 k
u = 0,
ur |r =a = 0,
1
u v0 z + O , r .
r
Ecuaciones Diferenciales II
3.7] Cuestiones, problemas y ejercicios 183
ur |r =a = 0,
s
4 1
u v0 r Y1,0 (, ) + O , r .
3 r
h a3 i h a3 i
v = v0 1 3 cos ur 1 + sen u .
r 2r 3
3.7.1. Cuestiones
1. Determinar cual de las opciones siguientes corresponde a las ondas estaciona-
rias, 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.
Ecuaciones Diferenciales II
184 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
= k, w + k2 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.
a) Jm (r ) cos(m)ez con m Z, Jm
(a) = 0
b) Nm (r )sen(m)ez con m Z, Jm
(a) = 0
(a) = N (a)
c) (Jm (r ) Nm (r )) cos(m) cosh(z) con m Z, Jm m
Resolucin 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) satisfice 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
a) 0
b) 1/2
c) 1/3
d) 1/4
e) 1
Ecuaciones Diferenciales II
3.7] Cuestiones, problemas y ejercicios 185
4
= a4
3
3.7.2. Problemas
g(x) := x e|x| .
As,
Z0 Z
1 h i
c(k) =F(g) = i Dk F(e|x| ) = i Dk e(1i k)x d x + e(1i k)x d x
2 0
1 1 1
= i Dk + .
2 1ik 1+ik
Esto es,
1 2 2ik
c(k) = i Dk 2
= .
2 1 + k (1 + k2 )2
2i k
Z
2
u(t, x) = ek t ei kx d k.
R (1 + k2 )2
1 (x x)2
Z
u(t, x) = x e|x | e 4t d x.
2 t R
Ecuaciones Diferenciales II
186 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
Para efectuar esta integral procedemos como sigue. Observemos que u(t, x) =
2
R (x x)
F (t, x)F (t, x) donde F (t, x) := 21 t 0 x ex 4t d x . Teniendo en cuen-
(x x)2 (x x)2
ta que 2t e 4t = (x x) e 4t podemos, realizando una integracin
x
x2
h i
por partes, escribir F (t, x) = 1 t x2 t G(t, x) + t e 4t , donde G(t, x) :=
R x (x x)2
0 e
4t d x . Por ltimo, si en la integral que define a G realizamos el cam-
x x R s 2 d s. La
bio de variable s = 2t + t llegamos a G(t, x) = 2 t ex+t x2t e
Rx 2 2 t
funcin error erf x := 2 0 es d s permite expresar G(t, x) = t ex+t 1 +
x2t
erf 2t . Por tanto,
x x 2t x x + 2t
u(t, x) = t ex+t 1 + erf + + t ex+t 1 erf .
2 2 t 2 2 t
u(t, x)
0.2
0,2
5
10
t
0
x
10 0
Ecuaciones Diferenciales II
3.7] Cuestiones, problemas y ejercicios 187
1 4 P 1
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
x 4 P 1
2 3 sen((2n + 1) x) que se puede demostrar converge puntual-
Rn=0
x
(2n+1)3
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
Z x+t
fper (x + t) + fper (x t) 1
u(t, x) = + gper (s) d s.
2 2 xt
Ecuaciones Diferenciales II
188 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
5
u(t, x)
0
x 5
1 t
0
donde
z z ,
Z (z) = A e +B e
ei m +D e i m ,
m () = C
c1 ln r + c2 ,
= m = 0,
m
R,m (r ) = c1 r + c2 r m , 0, m = 0,
EJm (r ) + F Nm (r ), 0.
i) = m = 0 c2 = c1 ln 2 + c2 y as c1 = 0. Luego,
R0,0 1.
Ecuaciones Diferenciales II
3.7] Cuestiones, problemas y ejercicios 189
R0,m (r ) (1 2m )r m (1 2m )r m .
v0 (t) X
u(t, x) = + vn (t) cos(n x),
2 n=1
2 2t
v0 (t) = v0 (0), vn (t) = vn (0)en , n = 1, . . . , .
Debemos subrayar que en la segunda integral hemos integrado por partes dos
veces. Por todo ello concluimos que
1 8 2 2
en t cos(n x).
X
u(t, x) = + 4 4
12 n impar n
1
lm u(t, x) = .
t 12
Ecuaciones Diferenciales II
190 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
Determinar los valores de k para los que existen soluciones no triviales con l = 0
del problema de contorno
u + k2 u = 0,
1 < r < 2,
u|r =1 = 0,
u
= 0.
r r =2
senr cos r
Ayuda: j0 (r ) = , n0 (r ) = .
r r
Esto es,
senk cos k
=0
2k cos(2k) sen2k 2ksen2k + cos(2k)
utt = u, r > 1,
u|r =1 = 0, u|r = 0.
Ecuaciones Diferenciales II
3.7] Cuestiones, problemas y ejercicios 191
w + 2 w = 0,
w|r =1 = 0,
w|r = 0.
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
wxx = w,
w|x=0 = 0,
w|x=2 = 0,
Ecuaciones Diferenciales II
192 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
0, para n par,
las integrales se calculan de modo simple, y as b1,n = 32 .
n3
, para n impar.
El desarrollo en autofunciones de la solucin es
X
u(t, x) := vn (t)sen(nx/2),
n=1
32 X 1
u(t, x) = cos(nt/2)sen(nx/2),
n impar n3
1 R x 2 ikx 1 2
Ayuda: e e dx = ek /4 .
2 2
donde
1 1
Z
2 2
c(k) = ex eikx dx = ek /4 .
2 R 2
Ecuaciones Diferenciales II
3.7] Cuestiones, problemas y ejercicios 193
tenemos
1 1
Z
2X2 2
u(x, t) = ea eiKX dX = e(tx) /(1+4t)
2 R 1 + 4t
Ayuda:
n2 2
Aqu, vn debe ser solucin de vn = v y por ello v (t) = c e
n n n n 4 t y el
desarrollo es
n
n2 2
cn e 4 t sen
X
u(x, t) = (x + 1) .
n=1
2
Ecuaciones Diferenciales II
194 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
2 2 3 2 t 8m 2 2
em t sen(m (x + 1)).
X
u(t, x) = 2
e sen( (x + 1)) 2 2
6 m=2
(m 1)
X
u(r , ) = v0 (r ) + (vm (r ) cos m + wm (r )senm).
m=1
1 r 2 cos(2)
u(r , ) = .
2
Ecuaciones Diferenciales II
3.7] Cuestiones, problemas y ejercicios 195
R x 2 eikx dx
k2 /4
Ayuda: e = e .
v 2 2
donde = (k2 + q2 )v y por ello v = c(k, q)e(k +q )t . As
t
Z
2 2
u(t, x, y) = c(k, q)e(k +q )t ei(kx+qy) dkdq
R2
y por ello
1 1 Z
Z
k2 (t+1/4) ikx 2
u(t, x, y) = 2
(k 2)e e dk eq (t+1/4) eiqy dq
4 2 R 2 R
Ecuaciones Diferenciales II
196 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
u|r =a = 0, u|z=0 = 0.
p
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
p
um,j (r , , z) = EJm (m,j r )(Cm eim + Dm eim )sen( k2 2 z),
donde
cm,j
m,j = , siendo {cm,j }
j=1 los consecutivos ceros de Jm .
a
Ecuaciones Diferenciales II
3.7] Cuestiones, problemas y ejercicios 197
donde (ahora A = /t y Av + v = 0)
vn
+ k2n vn = 0,
t
y vn (0) = cn .
Por ello, la solucin es
2 2 2
e(n+1/2) t cos((n + 1/2) x).
X
u(t, x) = 2 + 4n 3
n=1
4n
u = 0
u|r =1 = 0,
u|r =2 = 0.
Ecuaciones Diferenciales II
198 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
donde
Z = Aez + Bez ,
= Cei m + De i m ,
c1 log r + c2 , = 0, m = 0,
R = c1 r m + c2 /r m , = 0, m 0,
EJm (r ) + F Nm (r ), 0.
Z = Aez + Bez ,
c1 log r + c2 , = 0,
R=
EJ0 (r ) + F N0 (r ), 0.
u(t, x) = sen(t)w(x)
utt = u, /2 r ,
u|r = /2 = cos ,
u|r = = 0.
s
3
Ayuda: Y1,0 = cos .
4
w + w = 0, /2 r ,
w|r = /2 = cos ,
w|r = = 0.
Ecuaciones Diferenciales II
3.7] Cuestiones, problemas y ejercicios 199
+ 1 = A + B,
d
A=r r + r 2,
dr
1 d d 1 d2
B= sen + ,
sen d d sen2 d 2
BY = Y
w = v(r )Y1,0 ,
donde
Av + v = 0
y por ello
v = c1 j1 (r ) + c2 n1 (r )
2
r
c1 c2 = ,
3
c1 + c2 = 0,
que implica
2 2
r r
c1 = , c2 =
3 3 3 3
y la solucin es
2 1
r
u= sen(t) cos() 2 ((1 + r ) sen r + ( r ) cos r ).
3 3 r
Ecuaciones Diferenciales II
200 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
3.7.3. Ejercicios
1. Una partcula cuntica en una dimensin espacial encerrada en una caja de lon-
gitud L es descrita por un problema de contorno del tipo:
i ut = uxx , t > 0, 0 < x < L;
u|
x=0 = 0, u|x=L = 0.
u|
x=0 = 0, u|x= = 0.
u|
x=0 = 0, (ux + u)|x=1 = 0,
u|paredes = 0.
Ecuaciones Diferenciales II
3.7] Cuestiones, problemas y ejercicios 201
(1 x 2 )Q 2xQ + Q = 0,
entonces la funcin
|m| |m|
P (x) = (1 x 2 ) 2 x Q(x),
siendo m un nmero entero, satisface la ecuacin:
m2
(1 x 2 )P 2xP + ( )P = 0.
1 x2
u|
paredes = 0.
10. Una cuerda infinita 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.
u|paredes = 0.
Ecuaciones Diferenciales II
202 Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
14. Una cuerda con los extremos fijos sometida a una fuerza exterior satisface el
siguiente problema de valores iniciales:
2 x
u c 2u = f sen , t > 0, 0 < x < l;
tt xx 0
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 infinito 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.
Ecuaciones Diferenciales II
3.7] Cuestiones, problemas y ejercicios 203
~2
i ~ ut = uxx , t > 0, 0 < x < l ,
2m
u u
u(0, t) = u(l, t) , (0, t) = (l, t)
x x
x, l
si 0 < x < 2 ,
u(x, 0) =
si 2l < x < l .
l x,
Ecuaciones Diferenciales II
A PNDICE A
Resumen de funciones
especiales
205
206 Resumen de funciones especiales [Captulo A
d 2 du
(1 x ) = u , 1 < x < 1
dx dx
n = n(n + 1), n 0
1 dn
un (x) = Pn (x) Pn (x) = (x 2 1)n polinomios de Legendre
2n n! dx n
Z1
2
P0 (x) = 1 (un , um ) = Pn (x)Pm (x)dx = nm
1 2n +1
P1 (x) = x
1
P2 (x) = 2 (3x 2 1)
..
.
Ecuaciones Diferenciales II
A.0] 207
1 d du 2
x + 2 u = u , ( 0) 0<x<
x dx dx x
p p
u(x) = c1 J ( x) + c2 N ( x)
q
2
cos x (2 + 1) 4 + O x 3/2
J
(x) = x
q
2
sen x (2 + 1) 4 + O x 3/2
N (x) = x
x
(x/2)
J (x) regular en x = 0 ( entero ( + 1) = !)
( + 1)
2
log x, =0
N (x) singular en x = 0
()
, 0
(2x)
x0
1 1
0.8 J0 0.8 J0
0.6 0.6
0.4 J1 0.4 J1
0.2 0.2
5 10 15 20 5 10 15 20
-0.2 -0.2
-0.4 -0.4
Zc
1 2
xJ2 (x)dx = c J (c) , J (c) = 0
0 2
Ecuaciones Diferenciales II
A PNDICE B
Soluciones de la ecuacin de
Helmholtz: u + k2u = 0
Cartesianas
Xk1 (x) = a1 eik1 x + b1 eik1 x , Yk2 (y) = a2 eik2 y + b2 eik2 y , Zk3 (z) = a3 eik3 z + b3 eik3 z
Cilndricas
= 0, m = 0 = 0, m 0 0
R,m (r ) C1 log r + C2 C1 r m + C2 r m EJm (r ) + F Nm (r )
q
Jm (x) 2x cos x (2m + 1) 4
q
Nm (x) 2x sen x (2m + 1) 4
k2 2 z k2 2 z
m () = Ceim + Deim , Zk, (z) = Aei + Bei
Polares
Esfricas
209
210 Soluciones de la ecuacin de Helmholtz: u + k2 u = 0 [Captulo B
u = Rk,l (r )Ylm (, )
j (x) 1 cos x (l + 1)
k=0 k0 l x 2
Rk,l (r ) A r l + B r (l+1) A jl (kr ) + B nl (kr ) nl (x) sen x (l + 1)
1
x 2
l=0 l=1
1 d l sen r
jl (x) = (r )
l
r dr r sen r sen r cos r
jl (r )
l r r 2 r
n (x) = (r )l 1 d cos r
l cos r sen r cos r
r dr r nl (r )
r r r2
s
1 3
Y0,0 = , Y1,0 = cos
4 4
s s
3 i 3
Y1,1 = sen e , Y1,1 = sen ei
8 8
Ecuaciones Diferenciales II