Ecuaciones Diferenciales II
5
u(t, x)
0
1
0
x
1
ndice general
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
primer orden
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
1
5
6
8
8
9
15
16
17
17
17
19
24
24
26
28
32
32
36
36
37
39
40
41
41
41
45
47
ii
NDICE GENERAL
2.1.2. Cambios de coordenadas . . . . . . . . . . . . . . . . . . .
2.2. Conjuntos ortogonales de funciones . . . . . . . . . . . . . . . . .
2.2.1. Desarrollos en serie de funciones ortogonales . . . . . .
2.2.2. Conjuntos ortogonales completos . . . . . . . . . . . . . .
2.3. Operadores diferenciales simtricos . . . . . . . . . . . . . . . . .
2.4. Autovalores y autofunciones. Operadores simtricos . . . . . .
2.4.1. Problemas de autovalores . . . . . . . . . . . . . . . . . . .
2.4.2. Autovalores y autofunciones de operadores simtricos .
2.5. Operadores de SturmLiouville en una dimensin . . . . . . . .
2.5.1. Caso regular . . . . . . . . . . . . . . . . . . . . . . . . . . .
Carcter simtrico . . . . . . . . . . . . . . . . . . . . . . . .
Espectro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.2. Caso singular . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.3. Operadores de Schrdinger, Legendre y Bessel . . . . . .
2.6. Operadores de SturmLiouville en varias dimensiones . . . . .
2.7. Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.7.1. Bases trigonomtricas de Fourier . . . . . . . . . . . . . .
2.7.2. Desarrollos de Fourier . . . . . . . . . . . . . . . . . . . . .
2.7.3. Convergencia de series de Fourier . . . . . . . . . . . . . .
2.8. Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . .
2.8.1. Definicin de la transformada de Fourier . . . . . . . . .
2.8.2. Propiedades de la transformada de Fourier . . . . . . . .
2.8.3. Transformadas seno y coseno . . . . . . . . . . . . . . . .
Transformada de Fourier en R3 para funciones radiales
2.9. Cuestiones, problemas y ejercicios . . . . . . . . . . . . . . . . . .
2.9.1. Cuestiones . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.9.2. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.9.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
54
55
56
58
58
59
59
61
62
62
63
64
65
66
70
72
72
75
83
88
88
93
98
100
100
100
112
116
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
119
119
120
121
123
127
129
129
131
132
134
136
136
139
141
142
147
150
152
NDICE GENERAL
3.5. El mtodo de desarrollo en autofunciones (MDA) . . . . . . . . . . . . . . .
3.5.1. El MDA en problemas inhomogneos . . . . . . . . . . . . . . . . . .
3.5.2. Ejemplos en dos dimensiones . . . . . . . . . . . . . . . . . . . . . . .
3.5.3. El mtodo de la transformada de Fourier . . . . . . . . . . . . . . . .
3.6. Problemas de contorno en electrosttica y mecnica de fluidos . . . . . .
3.6.1. Unicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6.2. El MDA en problemas de electrosttica y mecnica de fluidos con
simetra esfrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6.3. Esfera conductora cargada en equilibrio electrosttico en un campo
elctrico constante . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6.4. Fluido en movimiento uniforme deformado por una bola esfrica
3.7. Cuestiones, problemas y ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
3.7.1. Cuestiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.7.2. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.7.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
iii
.
.
.
.
.
.
153
153
157
167
174
174
. 177
.
.
.
.
.
.
178
182
183
183
185
200
205
209
C APTULO
Denicn
1.1.
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.
nmeros complejos
[Captulo 1
Im u = u2 .
arg u = arctan
u2
.
u1
|u|2 = uu,
nmeros complejos, frmulas de
Euler
derivadas parciales
ut =
uxx
u
u1
u2
=
+i
,
x
x
x
2 u1
2 u2
2u
=
+i
=
xy
xy
xy
ux =
uxy
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:
2 +y 2
En este caso
u1 (x, y) = xy,
u2 (x, y) = ex
2 +y 2
por lo tanto
= xy i ex
u
2 +y 2
2 +y 2 )
2 +y 2
Ecuaciones Diferenciales II
2 +y 2
1.1]
2. Sea
u(x, y) = exy+i(x
2 +y 2 )
u2 = exy sen(x 2 + y 2 ),
arg u = x 2 + y 2 .
|| u
n1 ,
xn1
x0 0 x1 1
notacin abreviada
|| = 0 + 1 + n1 ,
= (0, 2, 1, 2).
dn u
.
d xn
EDP
Ecuaciones Diferenciales II
[Captulo 1
(1.1)
EDP lineal
Aunque pueden tratarse situaciones ms generales de gran inters, aqu slo consideraremos 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
que la EDP es una EDP lineal.2 En ese caso la EDP es de la forma
a (x)D u f (x) = 0,
(1.2)
EDP homognea
a (x)D u = f (x),
i
s
c
a
s
s
f
m
i
e
c
a
c
n
u
i
i
e
s
c
r
p
c
n
d
s
b
A
i
s
a
n
e
o
e
r
a
t
m
g
m
t
e
e
n
s
x
lo m
s
es lineal de orden 1.
2. La EDP
uxx u + uy + xy = 0,
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]
Fsica
Poisson
ondas
2
2m
Schrdinger
calor
[Captulo 1
2
2m
u + qu.
Schrdinger no lineal
1.1.3.
cambios de coordenadas
Dada una EDP (1.1), una de las manipulaciones ms frecuentes que debemos efectuar es determinar la forma que adquiere cuando efectuamos un cambio de variables
independientes x y = y(x) con ecuaciones de transformacin:
Fsica
yi = yi (x0 , x1 , . . . , xn1 ),
i = 0, 1, . . . , n 1,
aci
n
ecu
A veces en
forma u = 0.
se utiliza el dAlambertiano:
u = utt c 2 u, tomando la
Ecuaciones Diferenciales II
de ondas la
1.1]
2u
=
xi xj
xi
yj u
xj yj
u yi
,
yi xi
i j
yi yj 2 u
+
xi xj yi yj
2 yj
u
xi xj yj
y2 = t x.
1
(y1 + y2 ),
2
x=
1
(y1 y2 )
2
Inmediatamente se obtiene:
y2
y1
+ uy2
= uy1 + uy2 ,
t
t
y2
y1
+ uy2
= uy1 uy2 ,
ux = uy1
x
x
utt =
+
(uy1 + uy2 ) = uy1 y1 + uy2 y2 + 2uy1 y2 ,
y1
y2
Ecuaciones Diferenciales II
[Captulo 1
y = r sen ,
= arctan
y
.
x
x
x2
+ y2
x2 + y 2
ur
y
sen
u ,
u = cos ur
x2 + y 2
r
ur +
x2
x
cos
u = sen ur +
u .
2
+y
r
1
(cos sen )u = r 3 sen cos2 .
r
Dominios. Fronteras
En general cuando consideramos una EDP (1.1) la funcin incgnita u = u(x) se supone definida sobre un conjunto dado de Rn . Supondremos siempre que satisface
las dos condiciones siguientes:
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 = .
frontera
Ecuaciones Diferenciales II
1.2]
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
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
Dominio
conjunto no abierto
conjunto no conexo
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
x ,
(1.3)
normalmente se nos pide no slo que encontremos una funcin u = u(x) que satisfaga 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 conocen como condiciones de frontera, en este texto utilizaremos ambas denominaciones
. Solo consideraremos condiciones de contorno en las que las funciones fi son polinomios de grado uno en las variables D u (condiciones de contorno lineales). Es decir,
de la forma
o bien
bi, D u|Si = gi .
Un problema consistente en resolver una EDP sobre un dominio y un conjunto de condiciones de contorno se denomina problema de contorno o problema de frontera.
Ecuaciones Diferenciales II
condiciones
contorno
de
10
[Captulo 1
Ejemplos
1. La ecuacin de Laplace en una caja rectangular. Consideramos la EDP
uxx + uyy + uzz = 0,
en = (0, a) (0, b) (0, c). La condiciones de contorno son
u(x, y, 0) = 0,
u(0, y, z) = 0,
u(x, 0, z) = 0,
u(a, y, z) = 0,
u(x, b, z) = 0.
R3
u(x, y, c) = g(x, y)
u(0, y, z) = 0
b
y
c
uxx + uyy
u(x, 0, z) = 0
u(x, b, z) = 0
+ uzz = 0
u(a, y, z) = 0
u(x, y, 0) = 0
2. Una EDP no siempre admite la imposicin de determinadas condiciones de contorno. A titulo de ejemplo podemos considerar la ecuacin de ondas
uxy = 0
en el cuadrado (x, y) (0, 1) (0, 1). Impongamos las condiciones de contorno
siguientes
u(x, 0) = f1 (x),
u(x, 1) = f2 (x),
u(0, y) = g1 (y),
u(1, y) = g2 (y).
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]
y
u(x, 1) = f2 (x)
u(1, y) = g2 (y)
u(0, y) = g1 (y)
R2
uxy = 0
u(x, 0) = f1 (x)
En problemas sobre un dominio en el espacio R3 se utiliza la siguiente nomenclatura para las condiciones de frontera ms simples sobre una superficie S contenida
en S():
1. Condicin de Dirichlet:
u|S = g.
2. Condicin de Neumann:
u
n
siendo
= g,
u
:= n u = n1 ux + n2 uy + n3 uz ,
n
u
n
= g.
Ecuaciones Diferenciales II
11
12
[Captulo 1
En ocasiones consideraremos versiones en R2 de las anteriores condiciones de contorno. En tales casos ser un recinto del plano, S una curva contenida en S() y en
lugar de la notacin S, S() preferiremos usar , () respectivamente.
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
n
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,
normal unitaria
x S.
fS (x)
.
fS (x)
Ecuaciones Diferenciales II
1.2]
Ejemplos Los ejemplos siguientes muestran los campos de vectores normales y las
correspondientes operaciones de derivacin en la direccin del vector normal.
n=
(2x, 2y)
(2x, 2y)
f (x, y) = x 2 + y 2 r 2 ,
u
n
1
(x, y),
r
1
xux + yuy = ur .
r
R2
r
n
x
n=
(2x, 2y, 0)
(2x, 2y, 0)
fS (x, y, z) = x 2 + y 2 r 2 ,
1
(x, y, 0),
r
u
n
1
xux + yuy = ur .
r
Ecuaciones Diferenciales II
13
14
[Captulo 1
R3
r
S
x
3. interior de la esfera centrada en a = (a1 , a2 , a3 ) y radio r en R3 , S = S().
fS (x, y, z) = (x a1 )2 + (y a2 )2 + (z a3 )2 r 2 ,
n=
u
n
1
(x a1 , y a2 , z a3 ),
r
1
(x a1 )ux + (y a2 )uy + (z a3 )uz .
r
S
R3
a
y
x
Existe otro tipo de condiciones de contorno asociadas con pares apropiados de
hipersuperficies de la frontera de . Supongamos dos hipersuperficies Si , i = 1, 2 de
Rn contenidas en S(), tales que existe una aplicacin biyectiva entre ellas
: S1
x
S2 ,
(x),
Ecuaciones Diferenciales II
1.2]
tal que tanto como su inversa, expresadas en coordenadas locales de sus superficies
dominio, son funciones que admiten todas las derivadas. Una condicin de contorno
peridica viene expresada como una ecuacin de la forma
f (x, D u(x)) = f ( (x), D u( (x)),
15
condiciones
de
contorno
peridicas
x S1 .
u
t
t=t0
= 1 , . . . ,
r 1 u
t r 1
t=t0
= r 1 ,
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
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
t=0
Podemos imponer las condiciones
u|t=0 = (x 1)(x 2), u|x=1 = 0, ux=2 = 0.
En este caso la condicin inicial es tambin condicin de contorno.
Ecuaciones Diferenciales II
condiciones
iniciales
16
[Captulo 1
x
1
t=0
1.2.4.
funciones
renciables
dife-
Funciones diferenciables
f (x)
, (g(x) 0),
g(x)
tambin pertenecen a C () , C.
2) La composicin de dos funciones diferenciables
x y = f (x) z = g(y) = g(f (x)),
es tambin una funcin diferenciable. Ahora f : 1 2 y g : 2 C.
Para los problemas de contorno suele utilizarse el espacio C () de funciones diferenciables en el cierre de . Por definicin u C () si u C (0 ) para algn
abierto 0 .
Ecuaciones Diferenciales II
1.3]
17
existencia local
Funciones analticas
El espacio A() de funciones analticas en un abierto est formado por las
funciones f = f (x) tales que para todo punto a existe un radio r > 0 y un
desarrollo en serie mltiple de potencias de f
f (x) =
||0
c (x a) ,
funciones analticas
||0
c (x a) ,
c =
1
D f (a).
!
f (x)
, (g(x) 0),
g(x)
Ecuaciones Diferenciales II
forma normal
18
[Captulo 1
r > 0,
(1.4)
D u,
con || > 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
aparezcan derivadas de orden estrictamente superior.
Ejemplos
1. La EDP
ux uy = log(xy),
uy = ux log(xy),
lo
ltic
la
ltic
i
n
c
ns
a
n
a
a n
o
r
a
n
a
a
fu
m
ut uxx = 0,
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]
19
(1.5)
u
(t0 , x) = 1 (x),
t
..
.
(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 normal con respecto a x,
uxx = i ut + u3 , u : R,
u
(t, 0) = g(t).
x
Ecuaciones Diferenciales II
teorema
de
Cauchy
Kovalevskaya
20
[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
i) Condicin de analiticidad de la EDP.
Como funcin de x la funcin G(x, D u) del segundo miembro de (1.5) es
analtica en x0 .
ii) Condicin de analiticidad de los valores iniciales.
Los valores iniciales i (x), (i = 0, . . . , r 1) son funciones analticas en x 0 .
Entonces existe una funcin u = u(x) definida sobre un abierto 0 que
contiene a x0 tal que:
i) La funcin u = u(x) satisface la EDP en 0 y las condiciones iniciales en todo
punto (t0 , x) 0 .
ii) La funcin u = u(x) es la nica funcin analtica en 0 que satisface tales
propiedades.
Comentarios
1. El teorema nos garantiza la existencia y unicidad locales de una solucin analtica
de un problema de Cauchy con datos iniciales, siempre que se verifique que la EDP
es normal y que tanto la EDP como los datos iniciales dependan analticamente
de las variables independientes.
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xx
xxxxxxxxxxx
xx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
t0
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]
21
3. La demostracin del teorema, que no proporcionaremos en este curso, est basada en la generacin de una solucin en forma de serie mltiple de Taylor alrededor de x0
1
u(t, x) =
D u(x0 )(x x0 ) .
!
||0
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
||0 0
|| u
(t
,
x)
=
0
n1
n1 (x),
t 0 x1 1 xn1
x1 1 xn1
con 0 r 1. Para calcular las derivadas con 0 r debemos utilizar las
derivadas anteriores as como la propia EDP (1.5) y sus derivadas. Gracias a la
forma normal de la EDP es posible de esta forma generar todas las derivadas
D u(x0 ) de forma unvoca. Este proceso demuestra la unicidad de la solucin
analtica de (1.5)-(1.6). La demostracin de la convergencia de la serie, es decir
del hecho de que realmente construimos una funcin, es ms delicada.
4. La condicin t = t0 (t0 I) determina un trozo de hiperplano en S . Si la
funcin G(x, D u) es analtica en S y los datos iniciales i (x) son funciones analticas en , entonces el teorema asegura la existencia de una solucin analtica
local alrededor de cada punto de S. Como consecuencia puede demostrarse que
existe una solucin analtica nica del problema de Cauchy en un abierto 0 que
contiene a S.
t
0
t0
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S
x
Ejemplos
1. Consideremos el problema siguiente
ut = ux , (t, x) R2 ,
u(0, x) = ex .
Ecuaciones Diferenciales II
22
[Captulo 1
1 n+m u
(0, 0)t n x m .
n x m
n!m!
t
n0,m0
(1.7)
x=0
= e0 = 1.
(1.8)
n 0,
=
.
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
=
,
t n+1 x m
x n+m+1
Por tanto
n, m 0.
n+m+1 u
n+m+1 u
(0,
0)
=
(0, 0)
t n+1 x m
x n+m+1
n+m+1 ex
= 1, n, m 0.
x n+m+1 x=0
(1.9)
1
tnxm
n!m!
n0,m0
1 n
1 m
t
x
n!
m!
n0
m0
= et ex .
lucian
so
dem
secuacin asfuncin
Puede comprobarse directamente que hemos construido una solucin del problema.5
2. Ausencia de normalidad
1
.
1x
general de la
ut = ux tiene la forma f (t + x) donde f es cualquier
La
derivable. Si
queremos que u(0, x) = ex debemos tener f (x) = ex y
u(t, x) = et+x como
hemos obtenido.
Ecuaciones Diferenciales II
1.3]
23
1 n+m u
(0, 0)t n x m .
n x m
n!m!
t
n0,m0
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
u(t, x0 ) =
donde
an (x0 ) =
Pero derivando la EDP
an (x0 )t n ,
(1.10)
n0
1 nu
(0, x0 ).
n! t n
n+1 u
nu
=
,
t n
t n1 x 2
n 0,
=
.
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
(0,
x
)
=
0
x m
x m
Por tanto
an (x0 ) =
x=x0
m!
.
(1 x0 )m+1
(2n)!
.
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
n
r
an
(2n + 2)(2n + 1)
= lm
= .
n (n + 1)(1 x0 )2
Luego no es posible encontrar una solucin analtica alrededor de (0, 0).
A pesar de que no existe una solucin analtica local en (0, 0) de este problema
de Cauchy, puede demostrarse que s que existe una solucin de clase C .
3. Ausencia de la condicin i) de analiticidad de la EDP
Si la condicin i) de analiticidad no se verifica podemos tener problemas muy
graves con la existencia de soluciones locales. No es slo que nos podamos encontrar con la ausencia de soluciones analticas, sino que quizs la EDP no tiene
Ecuaciones Diferenciales II
24
[Captulo 1
caractersticas
ejemplo de
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 soluciones de EDP en el caso de no analiticidad.7
h(x)
.
h(x)
En los casos n = 2 (el plano) y n = 3 (el espacio), S ser una curva, que denotaremos
, y una superficie, respectivamente.
z
S : h(x, y, z) = 0
: h(x, y) = 0
sfuncin estsolucin
m
y
problema de Cauchy
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:
c D u(x) = f (x),
Ecuaciones Diferenciales II
local de
1.4]
25
x .
(1.12)
Dada una hipersuperficie S (1.11) en , un problema de Cauchy de valores iniciales sobre S es un sistema de ecuaciones determinado por (1.12) y r condiciones
u
u
n
= 0 (x),
= 1 (x),
(1.13)
..
.
r 1 u
nr 1
= r 1 (x),
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) determinan el valor de la funcin F (x, D u) sobre S.
El significado de las hipersuperficies caractersticas es que el problema de Cauchy
de valores iniciales sobre ellas ser en general incompatible. Esto es as debido a que
de acuerdo con la definicin dada el valor de F (x, D u) sobre S est determinada por
las condiciones iniciales y por tanto solo ser posible la existencia de una solucin de
la EDP si ese valor es cero.
Ejemplos
1. Sea el siguiente problema de Cauchy
ut uxx = 0,
u|t=0 = 0 (x),
(t, x) R2 ,
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 )
Pero la EDP exige que F = 0 sobre . Por lo tanto, en general el problema de Cauchy es incompatible pues slo podr tener solucin para ciertos datos iniciales:
aquellos que satisfagan:
1 (x) 0,xx (x) = 0.
2. Estudiemos el siguiente problema de Cauchy
A(1 , 2 )u1 + B(1 , 2 )u2 + G(1 , 2 , u) = 0,
u(0, 2 ) = (2 ).
(1.14)
26
[Captulo 1
carctersticas
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.
1.4.2.
Curvas
Consideremos ahora el problema general de Cauchy para una EDP de primer orden
en R2 de la forma:
a(x, y)ux + b(x, y)uy + G(x, y, u) = 0,
u| = (x, y),
(1.15)
(1.16)
y = y(x).
Nuestro objetivo es determinar las curvas que son caractersticas. Para ello efectuamos un cambio de variables (x, y) (1 , 2 )
1 = 1 (x, y),
2 = 2 (x, y),
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
+ u2
x
x
+ b u1
1
2
+ u2
y
y
+ G(1 , 2 , u) = 0,
o bien
(a1,x + b1,y )u1 + (a2,x + b2,y )u2 + G(1 , 2 , u) = 0.
(1.17)
(1.18)
1.4]
27
(1.19)
luego esta condicin es la que caracteriza las curvas caractersticas. Como la curva
satisface:
1 (x, y(x)) = 0,
entonces derivando esta ecuacin respecto de x
Ejemplos
1. Sea la EDP
ux + uy + xyu2 = 0.
En este caso:
a = 1,
b = 1,
y (x) = 1.
Luego las caractersticas son las rectas
y = x + c.
2. Para la EDP
se tiene que
xux + yuy + u = 0,
a = x,
b = y,
28
[Captulo 1
3. La EDP
sen y ux + cos x uy + u3 = 0,
tiene
carctersticas
a = sen y,
b = cos x,
cos x
.
sen y
1.4.3.
Curvas
u
n
(1.21)
= 1 (x, y),
Nuestro objetivo de nuevo es determinar las curvas que son caractersticas. Para ello
efectuamos tambin un cambio de variables (x, y) (1 , 2 )
1 = 1 (x, y),
2 = 2 (x, y),
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)
1
2
2
1,x
+ 1,y
(1,x , 1,y ),
Ecuaciones Diferenciales II
1.4]
29
y la derivada correspondiente es
u
=
n
1
2
1,x
2
+ 1,y
(1,x ux + 1,y uy ).
(1.23)
que es de la forma
1 (2 ).
u1 (0, 2 ) =
Por derivacin se obtiene
1, (2 ).
u1 2 (0, 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 vendr determinado por las condiciones iniciales ser el de u1 1 (0, 2 ). Para hallar su
coeficiente, vemos que
u
u
2
(1,x
+ 2,x
+ 2,x
) = 1,x
u1 1 + ,
1
2
1
2
u
u
2
= 1,y
+ 2,y
+ 2,y
) = 1,y
u1 1 + ,
(1,y
1
2
1
2
u
u
= 1,x
+ 2,x
+ 2,y
) = 1,x 1,y u1 1 + .
(1,y
1
2
1
2
uxx = 1,x
uyy
uxy
= 0.
1
(b b2 ac)1,y (x, y(x)) = 0.
a
(1.24)
Ecuaciones Diferenciales II
clasificacin EDP
2do orden
30
[Captulo 1
1
(b b2 ac).
a
(1.25)
1. Elptica en 0 si
b2 ac < 0,
(x, y) 0 .
(x, y) 0 .
(x, y) 0 .
Poseen una sola familia de curvas caractersticas en dada por las soluciob
nes de y = .
a
Ejemplos
1. La ecuacin de Laplace
uxx + uyy = 0,
verifica
a = 1,
b = 0,
c = 1,
b = 0,
c = 1,
1.5]
b = 0,
c = 0,
b = 0,
c = 1.
As,
b2 ac = y.
Por tanto, la ecuacin es
y > 0,
elptica en
parablica en y = 0,
hiperblica en y < 0.
1
y
lica
strieca.iQ
n
arb
u
locarcterd
csit
s
n
carectu
ra
a,p
y(x) =
3
x+c
2
2/3
la
sea
para y = 0
en este caso de pendiente
Ecuaciones Diferenciales II
31
tod
Solu
cinM
osolu
cin
Introduccin a las ecuaciones en derivadas parciales
32
1.5.
general.
de la
[Captulo 1
completa
En el estudio de ecuaciones diferenciales ordinarias se ha visto que cuando se pretende resolver la ecuacin
F (x, u, Du, . . . , D N u) = 0
to
d
lu
oso
cin
M
donde tanto F1 como F2 son de orden N, la solucin general de F1 (x, D u) = 0 es solucin general de F (x, D ) = 0. Sin embargo, en esta solucin general no encontramos
las soluciones de F2 (x, D u) = 0 que son tambin soluciones de F (x, D u) = 0.
1.5.1.
de la
u
u
,...,
x1
x1
Ecuaciones Diferenciales II
= 0.
1.5]
=0
+ +
S
xn1
=1
Vamos a tratar la solucin envolvente de una familia multi-paramtrica de soluciones. Para ello introducimos
Definicin 1.5.1. Dado un a = (a0 , . . . , am1 ) decimos que u(x, a) es una solucin multi-paramtrica de la EDP
F (x, D u) = 0
si es solucin para todo valor de a.
Existe un aspecto tcnico sobre estas familias multi-paramtricas: Dependen realmente de m parmetros? Esto es, es posible introducir ai = ai (b0 , . . . , bm2 ), de tal
modo que la solucin tan slo depender de m 1 parmetros. Esta cuestin se resuelve solicitando que la matriz
ua0
ux0 a0
...
uxn1 a0
.
..
..
..
.
.
.
.
.
33
34
[Captulo 1
u = (ux1 , . . . , uxn )
a Rn , b R.
F x, u,
=0
i = 0, . . . , m 1,
entonces
u(x)
:= u(x, a(x))
es una nueva solucin de la EDP que denominamos solucin envolvente.
Este resultado se sigue del siguiente clculo
u
u
(x) =
(x, a(x)) +
xi
xi
m1
j=0
aj
u
u
(x, a(x))
(x) =
(x, a(x)),
aj
xi
xi
ya que entonces
F x, u,
u
u
,...,
x0
xn1
= F x, u(x, a(x)),
u
u
(x, a(x)), . . . ,
(x, a(x)) = 0
x0
xn1
u
u
,...,
x0
xn1
= 0.
Ecuaciones Diferenciales II
1.5]
Ejemplos
1. Por ejemplo, podemos considerar la EDP
ux = um
y
una solucin a un parmetro es
u(x, y, a) = am x ay + f (a)
cuya envolvente viene dada por
donde a(x, y) satisface mam1 x +y +f (a) = 0.
u(x,
y) = u(x, y, a(x, y)),
y
x
p2
:
2m
ut +
|u|2
= 0,
2m
a2
t + b,
2m
a Rn , b R.
a(x, t)2
t + h(a(x, t))
2m
1
ai t + hai (a) = 0.
m
x
t
y por ello, una solucin de la ecuacin de HamiltonJacobi es
a=m
|x|2
.
2t
Ecuaciones Diferenciales II
35
mtodohodgraf
36
1.5.2.
El
[Captulo 1
de la
f : R R.
0 = ut + ux xt .
Esto es
xt =
ut
= f (u)
ux
cuya solucin es
x = f (u)t + g(u).
Est ltima ecuacin es conocida como ecuacin de la hodgrafa. Supongamos que
localmente hemos hallado una solucin u(x, t) de la hodgrafa, entonces
x + f (u(x, t))t = g(u(x, t))
y por tanto
1 + f (u)tux = g (u)ux ,
As,
f (u)t g (u) =
1
,
ux
f (u)t g (u) =
f (u)
ut
y tenemos que
ut = f (u)ux .
Observar que la EDP es de primer orden con dos variables independientes, as la
solucin general depender de una funcin arbitraria de una variable. La solucin de
la hodgrafa depende de una funcin arbitraria g de una variable, por ello es solucin
general. Por tanto, cualquier solucin conduce a una hodgrafa y la hodgrafa lleva a
una solucin general.
Ecuaciones Diferenciales II
1.6]
37
de la forma siguiente
Lu :=
Lu,
a (x)D u,
u, v C (), , C.
L :=
a (x)D .
Ejemplos
1. Sea el siguiente operador en C (R)
L = x 2 D + x.
Su accin sobre la funcin u = cos x es
Lu = x 2 sen x + x cos x.
2. El operador laplaciano
Lu := uxx + uyy + uzz ,
puede denotarse como
L=
2
2
2
+
+
.
x 2
y 2
z2
38
[Captulo 1
Los operadores diferenciales son los objetos matemticos apropiados para manejar
las EDP lineales. As, una EDP lineal de la forma
a (x)D u = f (x),
Lu :=
a (x)D u.
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
1. Ecuacin de Poisson en 3 dimensiones:
Lu = f ,
Lu := u.
Lu := utt c 2 u.
Lu := i ut +
2
2m
u + qu.
Lu := ut a2 u.
Los operadores diferenciales tienen propiedades algebraicas muy importantes. Admiten las siguientes operaciones naturales
1) Suma de operadores L + M
(L + M)u := Lu + Mu.
1.6]
Con respecto a la suma y al producto de nmeros complejos los operadores diferenciales forman un espacio lineal. El operador cero, definido como el operador diferencial con todos los coeficientes iguales a cero, se denota L = 0 (obviamente en tal
caso Lu = 0 para toda u). Con respecto a la operacin de producto de operadores, que
coincide con la composicin de operadores como aplicaciones, la peculiaridad ms
destacada es que no es una operacin conmutativa. Por ejemplo, si tomamos
L = D,
M = D + x,
se tiene que
L(Mu) = D 2 u + xDu + u,
M(Lu) = D 2 u + xDu.
l(u),
l(u) :=
b (x)D u |S ,
u, v C (), , C.
Ecuaciones Diferenciales II
39
40
[Captulo 1
l(u),
dada por
l(u) :=
r u
t r
t=t0
b (x)D u |S = g,
l(u) :=
b (x)D u |S ,
u
n
.
S
3. Condicin mixta
l(u) := au + b
1.6.3.
u
n
.
S
Problemas lineales
El problema tpico que consideraremos en este curso es el de caracterizar las funciones u C () que son solucin de un sistema de ecuaciones de la forma
Ecuaciones Diferenciales II
1.7]
Carctersticas
Lu = f ,
li (u) = gi ,
i = 1, . . . , m,
1.6.4.
L :=
||m
se define como
a (x) .
(x, ) :=
||=m
mu
+ Mu = f
x m
1
Cuestiones
b) ut + uuxx + u2xxx = 0
d) utt + uxxx = 0
e) ut + exp(ux ) = 0
Ecuaciones Diferenciales II
41
42
[Captulo 1
b) ut = uxx ,
t=0
e) ut = ux ,
t=0
= 1/ cos x
t=0
=1
=x
c) ut = log(x 1)ux ,
d) utt = uxx ,
u
u
= x,
= x
t=0
t=0
ut
t=0
= log(x 1)
b) y 2 = 4x 2
c) y = 2x
d) y = x 2
e) y = 2x
Ecuaciones Diferenciales II
1.7]
b) y = ln(C ex )
c) y = ln(Cx ex )
d) y = ln(C 2ex )
e) y = ln(C e2x )
2u
2u
2u
+
+
,
x 2
y 2
z2
Mu = x
u
u
y
+ zu.
y
x
[L, M] = 2z
y
[L, M] = 2
z
[L, M] = y
x
[L, M] = 2
y
a) [L, M] =
b)
c)
d)
e)
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,
2
2
2
,
x
,
y
,z
+
x 2 y
y 2
x
z2
=2
,x
2
,y
+2
,z
x x
y
y y
x
z z
[L, M] =
=2
2
2
+2 ,
xy
yx
z
Ecuaciones Diferenciales II
43
44
[Captulo 1
x, y > 0,
u(1, y) = y ,
b) 1
c) 0
d) 1/2
e) 1/2
Resolucin Las caractersticas las da la EDO y = 1/(2xy)cuyas soluciones son
y 2 ln x = C. Por tanto, la solucin general es u(x, y) = F (y 2 ln x) donde F es
una funcin diferenciable arbitraria. Imponiendo que u(1, y) = y 2 obtenemos
que u(x, y) = y 2 ln x y por tanto u(e, 0) = 1.
8. Determinar el conmutador [L, M] de los operadores
Lu =
2u
,
xy
Mu = (x 2 + y 2 + z2 )u.
a) [L, M] = 4x
x
z
+y
c) [L, M] = 2 x
y
x
d) [L, M] = 1 + 2 y
+x
x
y
b) [L, M] = 3
e) [L, M] = x 2 + y 2 + z2
Resolucin
=
, x2
+
, y2
= 2x
+ 2y
.
x
y
y
x
y
x
ux
,
u
u|t=0 = x.
t
+ g(u),
u
Ecuaciones Diferenciales II
1.7]
u, u = 3 (x x 2 + t)
1
b) g(u) = u, u = 2 (x + x 2 + 4t)
1
c) g(u) = u, u = 2 (x x 2 + 4t)
d) g(u) = u, u = 13 (x x 2 + 4t)
1
e) g(u) = 1/u, u = 2 (x x 2 + t)
Resolucin La PDE tiene la forma ut = f (u)ux y podemos aplicar la transformacin hodogrfica:
x + f (u)t = g(u)
esto es
x+t
1
= g(u).
u
1
0 = g(u|t=0 ) x = g(x)
u|t=0
y la ecuacin hodogrfica es
ux + t = u2 u = (x + x 2 + 4t)/2.
Luego la respuesta correcta es la b).
1.7.2.
Problemas
u
y
=0
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
45
46
[Captulo 1
u = g(x y),
x y
z
=0
0 = ub =2by + az + fb .
Por ello,si a(x, y, z), b(x, y, z) resuelve el anterior sistema tendremos la solucin general u = a2 x + b2 y + abz + f (a, b).
3. Dada la EDP de primer orden
uy = exp(ux )
aplicar el mtodo de la solucin completa para determinar su solucin general.
Hallar alguna solucin explcita con dependencia no lineal en x, y.
Resolucin
hallemos la envolvente de
u(x, y, a) = ax + exp(a)y + f (a).
Para ello debemos resolver
ua = x + exp(a)y + f (a) = 0
que localmente determina una funcin a(x, y). Por ello la solucin general ser u(x, y) = a(x, y)x + exp(a(x, y))y + f (a(x, y)). En particular, si f = 0
tenemos
x
a = log
y
y por ello una solucin es
x
u = log
1 x.
y
Ecuaciones Diferenciales II
1.7]
1.7.3.
Ejercicios
2. Determinar el orden de las siguientes ecuaciones e indicar cules son homogneas o lineales:
1) ux xuy = 0.
2) u + ux uy = 0.
3)
4) ut + uxxx + uux = 0.
6) ux + ey uy = x 2 .
7) uxy = eu .
8) utt u = xyz.
2) (ux )2 = uy + uz (uttt )3 .
Ecuaciones Diferenciales II
47
48
[Captulo 1
3) ux + vy = 0.
u = f
u = g
n
en
en .
f dV =
g dS,
8. Considrese la ecuacin:
3uy + uxy = 0.
1) Indicar su tipo.
2) Calcular su solucin general. (Utilizar el cambio de variable dependiente
v = uy ).
u(x, 0) = e3x ,
uy (x, 0) = 0,
1.7]
2
2
1
1 2
2
u = 0,
+
=
+
+
,
x 2
y 2
r 2
r r
r 2 2
u|
r =a = f ,
en los siguientes casos:
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 ,
donde A y B son constantes.
12. Resolver el problema de contorno interior de Neumann
u
n
u = 0,
= f (),
2) f = A cos ,
3) f = A cos 2,
4) f = A cos + B,
5) f = A sen + B sen3 ,
donde A y B son constantes no nulas.
13. Considrese la ecuacin diferencial ordinaria
d2 u
+ u = 0,
dx 2
Ecuaciones Diferenciales II
49
50
[Captulo 1
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 ,
en los siguientes casos:
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
n
= f (),
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
ntroducimos en este tema las nociones bsicas del anlisis en espacios funcionales, 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:
52
2.1.1.
producto escalar
[Captulo 2
Producto escalar
Supongamos pues que tenemos un espacio vectorial complejo V , un producto escalar (, ) no es ms que una aplicacin que a cada pareja de vectores de V le asigna
un nmero complejo, que eso si, debe satisfacer la siguiente lista de propiedades
Definicin 2.1.1. Un producto escalar en V es una aplicacin (, ) : V V C
tal que
i) (u, v) = (v, u), u, v V .
ii) (u, v1 + v2 ) = (u, v1 ) + (u, v2 ), u, v1 , v2 V y , C.
iii) (u, u) 0, u V ; (u, u) = 0 u = 0.
norma
2 , u). Vemos
1 , u)+(v
De las propiedades i) y ii) inferimos que (v1 +v2 , u) = (v
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
dotar de longitud, que llamaremos norma, a los vectores:
u := + (u, u).
desigualdad
de
Cauchy
Schwarz
u = 0 u = 0.
u = || u , C y u V .
u+v
u + v (desigualdad triangular), u, v V .
La nocin de producto escalar tal como la hemos esbozado aqu se puede aplicar
a espacios funcionales.
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
(u, v) =
u(x)v(x)(x)
dn x.
Re(u(x))(x) dn x + i
Ecuaciones Diferenciales II
Im(u(x))(x) dn x.
2.1]
53
Obviamente, para que este producto escalar tenga sentido es necesario que la integral correspondiente1 exista. Esta condicin est garantizada si trabajamos en el
espacio de funciones
L2 () := u : C
(u, v) =
xdx
= .
(u, v) =
xex d x = 1/2.
Q
a
q
u
u
s
a
ain
i
o
r
rtc
n
s
te
te
g
m
i
n
c
n
u
f
a
qum
s
1
d x = 1.
x
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 u v = 0. El espacio cociente L 2 ()/ es lo que denotamos por L2 ().
Ecuaciones Diferenciales II
Espacios de Hilbert
54
[Captulo 2
(u, v) =
(x i x 2 )(1 i x) d x =
(x x 3 2 i x 2 ) d x = 1/2 2 i /3
y la norma de u es
2
= (u, u) =
x + i x2
dx =
(x 2 + x 4 ) d x = 8/15.
(u, v) =
e i x e2 i x d x = 0
2.1.2.
cambio de coordenadas
coordenadas polares
ei x
d x = 2 .
Cambios de coordenadas
Hemos definido el producto escalar de funciones sobre dominios en Rn usando coordenadas cartesianas. Sin embargo, por el teorema del cambio de variables
del clculo integral estos productos escalares se pueden expresar en otro tipo de
coordenadas, apareciendo as, desde un punto de vista activo, un cambio de dominio y de funcin peso, que en este caso ser el jacobiano de la transformacin. Por
ejemplo:
Si el dominio de definicin es el plano R2 podemos considerar coordenadas polares y llegar a
(u, v) =
R2
u(x,
y)v(x, y)(x, y) d x d y =
, )v(r , )(r , )r d r d .
u(r
R3
u(x,
y, z)v(x, y, z)(x, y, z) d x d y d z
y (x, y, z) r 2 sen (r , , ).
Ecuaciones Diferenciales II
2.2]
55
dr
1 + r2
= arctan r
e i /2 sen 2
r sen d r d d
(r 2 + 1) r 2
sen2 d
sen 2
2
4
e i /2 d
2 i e i /2
2
0
2 i(2) = i 2 .
conjunto ortogonal
Ejemplos
n x
i) El conjunto sen
n1
m x
n x
sen
dx
lc
lof
i
i
i
c
c
a
r
c
a
s
r
o
n
o
r
c
a
s
u
u
d
t
t
g
m
t
l
r
a
s
u
m
la
r
s
u
f
m
sen
1
(n m) x
(n + m) x
cos
cos
2
para n m.4
4
En el
de la integral hemos reducido expresiones
en formas lineales gracias a las
del seno y del coseno:
en funciones
de suma siguiente
1
(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
sen A sen B =
Ecuaciones Diferenciales II
d x = 0,
56
[Captulo 2
cos
0
n x
m x
cos
dx
2.2.1.
(n m) x
(n + m) x
1
cos
+ cos
2
d x = 0,
u(x) =
convergencia
puntual, uniforme
y en media
n=
cn un (x) = lm
n=0
cn un (x) + lm
m=1
cm um (x).
Ahora bien, cuando tratamos con funciones hay varias nociones distintas de lmite.
En este curso hay tres nociones de lmite que usaremos:
N
n=1 cn un (x)
re
cp
ro
c
N
n=1 cn un (x0 ).
= 0.
= 0.5
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.
Ecuaciones Diferenciales II
2.2]
57
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
cn =
Si v =
nJ
cn un y v =
(un , v)
un
(2.1)
u su producto escalar es
cn
n
nJ
(v, v ) =
un
cn cn
(2.2)
nJ
Demostracin.
|(un , v)|2
un
nJ
(2.3)
Como v =
mJ
(un , v) = (un ,
Como v =
nJ
mJ
cm um ) =
cn un y v =
(v, v ) =
mJ
n,mJ
mJ
cm (un , um ) = cn (un , un ).
u
cm
m su producto escalar vale
(un , um ) =
cn cm
un
cn cn
ostracin
lpacindem
lcita
u
l.
b
in
tam
1 2
si n n m m .
6
Ecuaciones Diferenciales II
ortogonalidad en
espacios producto
58
2.2.2.
[Captulo 2
sitricos
un
nJ
En esta seccin se introduce la importante nocin de operador diferencial simtrico.7 Consideremos operadores diferenciales lineales L
L=
a (x)D .
u, v D.
La forma natural de conseguir dominios en que un operador es simtrico es caracterizar el dominio imponiendo a sus elementos condiciones de contorno apropiadas.
Ejemplos
Sea el operador
L=
d2
,
d x2
= (a, b) acotado en R.
b
ic
i
a
qunocinsim
ota
n
tr
m
m
itc
e
r
o
Para determinar dominios D L2 ([a, b]) en que este operador es simtrico, observemos que para todo par de funciones diferenciables u y v en [a, b]
b
(u, Lv) =
u(x)(v
(x)) d x = (u(x)v
(x))
(x)v(x))
= (u(x)v
(x) + u
(x)v(x))
= (u(x)v
(x) + u
(x)v (x) d x
u
(x)v(x)) d x
(u
+ (Lu, v);
Hemos de subrayar
que la
de operador
operador
y operador autoadjunto
Ecuaciones Diferenciales II
aparece
2.4]
59
(x)v(x))
(u(x)v
(x) + u
b
a
= 0,
u, v D.
(2.4)
Para este operador existen tres tipos de condiciones de contorno que determinan dominios de simetra de especial relevancia. En todos los casos es inmediato verificar que
se satisface (2.4)
i) Dirichlet homognea
condiciones
Dirichlet
de
sitricos
condiciones
Neumann
condiciones
peridicas
Vamos a introducir ahora dos conceptos fundamentales: autovalores y autofunciones de un operador diferencial. Tambin demostraremos que cuando el operador
diferencial es simtrico sus autovalores y autofunciones verifican propiedades importantes.
D := {u D : Lu = u}.
Cuando dim D = 1 decimos que el autovalor es simple y si dim D 2 que es
degenerado.
Ecuaciones Diferenciales II
de
60
[Captulo 2
Ejemplos
i) Sea
L=
d
,
dx
El problema de autovalores es
du
= u,
dx
u(0) = 0, u 0.
ii) Sea ahora el operador anterior pero en un dominio diferente asociado a condiciones de
contorno peridicas:
C
6i
4i
L=
2i
0
d
,
dx
2 i
4 i
6 i
Ce2n i x
Lu =
an (x)D n u(x),
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]
1. Se resuelve la ecuacin diferencial ordinaria lineal homognea Lu = u considerando como un parmetro. La solucin general ser de la forma
u(, x) = c1 u1 (, x) + + cN uN (, x),
siendo {ui }i=1,...,N un conjunto mximo de soluciones linealmente independientes.
2. Se imponen las condiciones de contorno a la solucin general
lj (u) = 0,
j = 1, . . . , N.
j = 1, . . . , N,
...
lN (u1 )
...
l1 (uN )
..
= 0.
.
lN (uN )
sitricos
Teorema 2.4.2. Espectro de operadores simtricos. Si L es un operador diferencial simtrico sobre un dominio D entonces se satisfacen las siguientes propiedades:
Los autovalores son nmeros reales
(L) R.
Si u, v D son autofunciones correspondientes a autovalores diferentes
entonces son ortogonales
(u, v) = 0.
Ecuaciones Diferenciales II
61
62
[Captulo 2
Demostracin.
Si (L) entonces existe una funcin no nula u D tal que
Lu = u. Por ello,
u
(Lu, u) = (u, u) =
d
iensin
0 debemos tener
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.
operadores
de
SturmLiouville
Esta seccin est dedicada a un tipo especial de operadores diferenciales: los operadores de SturmLiouville. En primer lugar definimos esta clase de operadores en
el caso ms sencillo (caso regular), analizamos dominios en los que son simtricos y
estudiamos las propiedades de su espectro y sus autofunciones. Posteriormente consideramos brevemente los operadores de SturmLiouville en el caso singular y, por
ltimo, abordaremos tres ejemplos de operadores de SturmLiouville particularmente relevantes: el operador de Schrdinger, el operador de Legendre y el operador de
Bessel.
Definicin 2.5.1. Un operador de segundo orden definido sobre un dominio de
L2 ([a, b]) es del tipo de SturmLiouville si es de la forma
Lu =
1
d
du
p
+ qu ,
dx
dx
2.5.1.
Caso regular
1 , 2 , 1 ,
2 , 1 , 2 , 1 , 2 R y (condiciones de contorno linealmente indepencon
dientes)
1
1 1
1
rango
2 = 2,
2 2
2
i u(b) + i
D := u C ([a, b]) : i u(a) +
operadores
de
SturmLiouville
regulares
Ecuaciones Diferenciales II
2.5]
63
Carcter simtrico
Se presenta la cuestin siguiente: Para qu dominios un operador de SturmLiouville operadores
de
regular resulta ser simtrico? la respuesta es
SturmLiouville
simtricos
Teorema 2.5.2. Un operador de SturmLiouville L regular sobre un dominio D es
simtrico si y slo si u, v D se verifica
u(b)
v(a)
= p(b) d u
dv
(a)
(b)
dx
dx
u(a)
p(a) d u
(a)
dx
v(b)
.
dv
(b)
dx
(2.6)
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
b
a
b
u(x)
d
dv
p(x)
(x)
dx
dx
du
dv
d
v u
p(x)
dx
dx
dx
u(b)
= p(b) d u
(b)
dx
d
du
p(x)
(x)
dx
dx
du
dv
v u
= p(x)
dx
dx
v(b)
u(a)
+ p(a) d u
dv
(b)
(a)
dx
dx
v(x)
b
a
v(a)
= 0.
dv
(a)
dx
condiciones separadas
u(a) +
du
(a) = 0,
dx
u(b) = 0,
du
(b) = 0.
dx
2) Condiciones peridicas
u(a) = u(b),
p(a)
du
du
(a) = p(b)
(b).
dx
dx
Ecuaciones Diferenciales II
condiciones
peridicas
64
[Captulo 2
Espectro
Cuando un operador de SturmLiouville es simtrico, debido al teorema general sobre operadores simtricos, sus autovalores son reales, y sus autofunciones correspondientes a autovalores distintos son ortogonales. En el caso regular podemos afirmar
adems que
|2 |
|n |
....
2
Existe una base ortogonal {un }
n=1 de L ([a, b]) formada por autofunciones de
L y el correspondiente desarrollo de cualquier u D
tsrico,
carctersim
d
icas
p
eri
lacin
acu
m
u
u=
cn un ,
n=1
converge uniformemente a u.
d
icas
p
eri
i
i
t
s
m
r
,
ifu
tauo
n
cnco
Cuando las condiciones de contorno son separadas5 podemos afirmar tambin que
Clases
< 0
()
< 1
()
(+)
< 1
(+)
()
< 3
()
(+)
< 3
(+)
< ....
Ecuaciones Diferenciales II
2.5]
65
n < ,
xa
u(x)
p(x) d u
(x)
dx
v(x)
dv
(x)
dx
u(x)
= lm p(x) d u
(x)
xb
dx
v(x)
dv
(x)
dx
(2.7)
Ecuaciones Diferenciales II
operadores
de
SturmLiouville
singulares
hg
d
iner,
Scr
66
2.5.3.
Operadores de
[Captulo 2
Legendre y Bessel
operadores
Schrdinger
de
operadores de Legendre
d2 u
+ q(x)u.
Lu = 2 /2m
d x2
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxx
xxx
xxx
xxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Las condiciones de frontera generales (2.7) antes expuestas permiten fcilmente definir dominios en los que el operador es simtrico. Este es un operador fundamental en Mecnica Cuntica ya que el problema de autovalores corresponb
diente describe las energas y los estados estacionarios que
a
caracterizan una partcula en un campo de fuerzas que deriva
del potencial q = q(x). Parte de la dinmica del sistema depende tambin de las condiciones de contorno. Por ejemplo,
si imponemos condiciones de Dirichlet en un intervalo acotado [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, segn las propiedades de oscilacin, el estado de energa mnima (estado fundamental)
no tiene ceros, el primer excitado uno, y as sucesivamente.
ii) Operador de Legendre: Est determinado por
(x) = 1,
p(x) = 1 x 2 ,
q(x) = 0,
du
d2 u
du
d
(1 x 2 )
= (1 x 2 )
+ 2x
.
dx
dx
d x2
dx
i
n
c
n
r
c
a
u
f
g
f
sin
co
: tru
i
t
c
n
a
n
cai
n
Lu = (1 x 2 )
d2 u
du
+ 2x
= u,
2
dx
dx
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
q en (a, b), diferenciable, y condiciones de contorno en a y en b.
pues el potencial
10
La forma de demostrar estas propiedades es utilizar la
de Frobenius. Al desarrollar en serie
caso en que las series convergen a funciones diferenciables en [1, 1], es
se observa que el
cuando = n(n + 1), que produce la
de las series en polinomios.
Ecuaciones Diferenciales II
2.5]
67
1 dn (x 2 1)n
,
2n n!
d xn
cuya norma es
pn =
Los primeros polinomios de Legendre son
polinomios de Legendre
2
.
2n + 1
pn
0
1
2
3
4
..
.
0
2
6
12
20
..
.
1
x
(3x 2 1)/2
(5x 3 3x)/2
(35x 4 30x 2 + 3)/8
..
.
p0
p1
p2
1
x
p3 p4
1
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 desarrollo en serie de polinomios de Legendre
u(x) =
cn pn (x).
n=0
Ecuaciones Diferenciales II
68
operadores
Bessel
[Captulo 2
de
(x) = x,
p(x) = x,
qm (x) =
m2
,
x
m 0.
El operador correspondiente es
Lm u =
1 d
d2 u
1 d u m2
du
m2
+ 2 u.
x
+ 2u=
x dx
dx
x
d x2
x dx
x
d2 u
1 du
m2
u = 0,
+
d x2
x dx
x2
(2.8)
dx
dx
x
x
cuyas solucin general es de la forma
= c1 Jm (x)
+ c2 Nm (x),
u(x)
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
u(x) = c1 Jm ( x) + c2 Nm ( x).
(2.9)
funciones de Bessel
1
Jm (x)
(m + 1)
2 ln(x)
Nm (x) (m)
m
(2x)
x
2
m = 0,
x 0.
(2.10)
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]).
11
x0
du
dx
cos x (2m + 1)
x
4
Nm (x) =
2
sen x (2m + 1)
x
4
Ecuaciones Diferenciales II
+ O (x 3/2 ),
+ O (x
3/2
),
x .
2.5]
du
1m d v
lm x 1m
du
1m d v
,
(x)x m v(x) x m u(x)x
dx
dx
x0
y
xb
son ambos iguales a cero, luego la condicin (2.7) se satisface. Adems, si consideramos
la solucin (2.9)
u(x) = c1 Jm x + c2 Nm ( x),
de la ecuacin de autovalores y tenemos en cuenta el comportamiento en el origen
(2.10) de las funciones de Bessel, vemos que las condiciones en x = 0
lm (x m u(x)) = 0, lm x 1m
x0
x0
du
,
dx
b = 0.
n x ,
n = 1, 2, . . .
(un , un ) =
Jm
n x Jn
n x x d x =
b2 d Jm
2 dx
n b
nn .
Adems este conjunto resulta ser completo en L2x ([0, b]). As, cualquier funcin u
L2x ([0, b]) puede desarrollarse como
u(x) =
cn Jm
n x .
n=1
x0
du
=0 .
dx
dv
du
,
(x)v(x) u(x)x
dx
dx
lm x
du
dv
(x)v(x) u(x)x
,
dx
dx
x0
y
xb
Ecuaciones Diferenciales II
69
70
[Captulo 2
son nulos, satisfacindose de esta manera (2.7). Por otro lado, la solucin general de
la ecuacin de autovalores
u(x) = c1 J0
x + c2 N0 ( x),
x0
du
(x)) = 0,
dx
b = 0.
J1
J2
J3
J4
x
0
20
Para ver que J0 las cumple basta con utilizar que J0 (0) = 1 y que
d J0
= J1 (x),
dx
por lo que
lm x
x0
d J0
(x)) = lm xJ1 (x) = 0.
x0
dx
Ecuaciones Diferenciales II
2.6]
71
1
pu + qu ,
u(x)
p(x)v(x)
S()
S()
p(x) (u)v
u(v)
p(x)
v
u
v u
n
n
v(x) d3 x
d3 x
p(x) (u)v
u(v)
p(x)u(x)
dS
d S.
S()
p(x)
v
u
v u
n
n
d S = 0.
(2.11)
Como consecuencia inmediata determinamos los siguientes dominios sobre los que
el operador de SturmLiouville es simtrico
i) Condiciones de Dirichlet homognea
D := u C () : u
S()
=0 .
D := u C () :
u
n
S()
=0 .
Ecuaciones Diferenciales II
operadores
de
SturmLiouville
en varias dimensiones
72
[Captulo 2
gm
el operador correspon2m
diente es el operador Hamiltoniano de Schrdinger en mecnica cuntica para
una partcula en un campo de fuerzas
Lu =
u + q(x, y, z)u,
trio
n
otricas
2m
2.7.1.
Bases
de Fourier
Consideraremos ahora problemas de autovalores asociados a dos operadores diferenciales particularmente simples. Los correspondientes desarrollos en autofunciones
constituyen las llamadas series trigonomtricas de Fourier.
1) Sea el operador13
d
L = i
.
dx
Un dominio en el que es simtrico es el de las funciones diferenciables u en un intervalo
acotado [a, b] tales que u(a) = u(b), esto es: funciones que satisfacen condiciones
peridicas.
El problema de autovalores
i d u = u,
dx
u(a) = u(b),
MecnicaCuntica
u(x) = cei x
13
Que en
n Z,
:=
Ecuaciones Diferenciales II
2
ba
2.7]
Series de Fourier
73
d2
.
d x2
d2 u
= u,
d x2
u(a) = u(b),
du
du
(a) =
(b).
dx
dx
(2.12)
b
sen a sen b
cos a cos
=0
sen a + sen b cos a cos b
esto es
[cos a cos b]2 + [sen a sen b]2 = 0.
Desarrollando los cuadrados y utilizando las frmulas trigonomtricas se obtiene
1 cos (b a) = 0
y por ello los autovalores no nulos son
n = 2 n2 ,
n = 1, 2, . . .
:=
2
.
ba
74
[Captulo 2
d2 u
d x 2 = u.
u(a) = 0,
u(b) = 0
cos a sen a
= 0,
cos b sen b
esto es
sen
(b a) = 0.
2 2
n ,
4
n = 1, 2, . . . ,
:=
2
,
ba
= sen n (x a).
2
un (x) = sen n
Ecuaciones Diferenciales II
2.7]
Series de Fourier
d2 u
= u,
x2
d d
u
(a) = 0,
dx
d u (b) = 0.
dx
sen a cos a
=0
sen b cos b
esto es
sen
(b a) = 0.
2 2
n ,
4
n = 0, 1, . . .
:=
2
.
ba
= cos n (x a).
2
un (x) = cos n
2.7.2.
Desarrollos de Fourier
Los desarrollos en autofunciones inducidos por los operadores diferenciales simtricos vistos en la anterior sub-seccin constituyen los denominados desarrollos en
series trigonomtricas de Fourier. A continuacin estudiamos sus propiedades usando
(2.1) y el teorema 2.5.3.
d
es simtrico sobre el dominio D de funciones diferen1) El operador L = i
dx
ciables u = u(x) en el intervalo [a, b] tales que u(a) = u(b). Por tanto:
series de exponenciales
Ecuaciones Diferenciales II
75
76
[Captulo 2
cn ei nx ,
:=
n=
2
,
ba
con
cn =
1
ba
b
a
e i nx u(x) d x.
a0
(an cos nx + bn sen nx),
+
2
n=1
:=
2
ba
1
, un = cos nx, vn = sen nx
2
n=1
=
2
1
4
cos2 nx d x =
1
2
sen2 nx d x =
dx =
ba
,
4
b
a
b
a
(1 + cos 2nx) d x =
(1 cos2 nx) d x =
Ecuaciones Diferenciales II
ba
,
2
ba
.
2
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
ei nx = cos nx + i sen nx,
cos nx =
1 i nx
+ e i nx ,
e
2
sen nx =
1 i nx
e i nx .
e
2i
Aunque la funcin u est en principio definida solo sobre el intervalo [a, b], los
dos tipos de desarrollos de Fourier que acabamos de ver proporcionan series de funciones peridicas con periodo (b a). Luego las funciones suma de las series pueden
extenderse a funciones peridicas del mismo periodo sobre la recta. Por tanto tales
extensiones desarrollan la extensin peridica de u definida como sigue. Dado x R,
existe un nico entero m Z tal que x [a + m(b a), b + m(b a)]. La extensin
peridica se define como
uper (x) := u(x m(b a)).
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)
b + (b a)
bn sen
n=1
n
(x a),
2
:=
2
ba
con
bn =
2
ba
b
a
sen
n
(x a) u(x) d x,
2
n 1.
Ecuaciones Diferenciales II
extensin peridica
78
[Captulo 2
n
(x a)
2
n1
sen2
n
(x a) d x =
2
b
a
1
2
ba
1 cos n
(x a) d x =
.
2
ba
2
uimpar (x)
a
b + (b a)
b + 2(b a)
u(x)
b
a (b a)
a0
an cos n (x a),
+
2
2
n=1
:=
2
ba
donde
an =
2
ba
b
a
cos n
(x a) u(x) d x,
2
n 0.
, un = cos n (x a)
2
2
Ecuaciones Diferenciales II
n1
2.7]
Series de Fourier
79
1
4
1
cos2 n (x a) d x =
2
2
b
a
b
dx =
ba
,
4
1 + cos n
2
ba
(x a) d x =
.
ba
2
extensin par
upar (x)
u(x)
a (b a) a
b + (b a)
b + 2(b a)
ex
an = 2
= 2 Re
ex cos 2 nx d x = 2 Re
e(1+2 i n)x
1 + 2 i n
ex e2 i nx d x = 2 Re
e(1+2 i n)x d x
1
0
2[e 1]
,
=
1 + 4 2 n2
bn = 2
ex sen 2 nx d x = 2 Im
1
0
ex e2 i nx d x = 2 Im
= 2 nan
Ecuaciones Diferenciales II
e(1+2 i n)x
1 + 2 i n
1
0
80
[Captulo 2
1
x
3
1
1
cos 6 x +
cos 8 x +
2
1 + 36
1 + 64 2
4 (e 1)
+
1
1
1
cos 2 x +
cos 4 x
+
2
2 1 + 4
1 + 16 2
2
1
sen 2 x +
sen 4 x
2
1 + 4
1 + 16 2
3
4
sen 6 x +
sen 8 x + .
1 + 36 2
1 + 64 2
Representamos a continuacin la grfica de la extensin peridica de la exponencial y la de su serie trigonomtrica de Fourier truncada a n = 4 (la lnea oscilante).
y
x
3
Ecuaciones Diferenciales II
2.7]
Series de Fourier
81
a0
an cos nx,
+
2
n1
ex =
bn sen nx.
n1
Se verifica que
1
an = 2
= 2 Re
ex cos nx d x = 2 Re
e(1+i n)x
1 + i n
ex sen nx d x = 2 Im
ex ei nx d x = 2 Im
= n an
e(1+i n)x
1 + i n
e(1+i n)x d x
2[(1)n e 1]
=
,
1 + 2 n2
bn = 2
ex ei nx d x = 2 Re
1
2
Ecuaciones Diferenciales II
1
0
82
[Captulo 2
cos 3 x +
cos 4 x + ,
1 + 9 2
1 + 16 2
e+1
e1
2
sen x 2
sen 2 x
2
1+
1 + 4 2
e1
e+1
sen 3 x 4
sen 4 x +
+3
1 + 9 2
1 + 16 2
[ex ]par e 1 + 2
[ex ]impar
1
x
3
funcin
14
Ecuaciones Diferenciales II
2.7]
Series de Fourier
83
y
2
1
3
x
0
1
2
2.7.3.
Ecuaciones Diferenciales II
convergencia en
media
84
[Captulo 2
SN (u, x) :=
convergencia
puntual
a0
an cos nx + bn sen nx .
+
2
n=1
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
converger puntualmente a la semisuma de estos dos lmites.
Ejemplo
Sea la funcin
u(x) =
,
4
,
4
0 x ,
x < 0.
cn ei nx ,
n=
0,
si n es par,
u(x)e i nx d x =
1
, si n es impar.
2in
1
1
1 i x 1 i 3x
e + e
+ ... +
e i x e i 3x . . . ,
2i
3
2i
3
Ecuaciones Diferenciales II
2.7]
Series de Fourier
85
1
sen(2n + 1)x
sen 3x + =
.
3
2n + 1
n=0
0,5
3
3 x
0,5
implica
2
(1)n
=
.
4
2n + 1
n=0
El anlisis de la convergencia puntual de las series de Fourier para clases ms
generales de funciones es un problema de enorme inters y altamente no trivial.
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) = .)
2) En 1923, Kolmogorov hall una funcin u integrable en el sentido de Lebesgue (y
no de Riemann) cuya serie de Fourier no converge en ningn x de [a, b].
3) En 1915 Luzin conjetur y en 1966 Carleson demostr que las funciones de cuadrado integrable poseen series de Fourier convergentes en asi todos los puntos".
Otro aspecto interesante de la convergencia de las series de Fourier es el llamado
fenmeno de Gibbs. El fsico Michelson construy un aparato para computar las series
de Fourier. La mquina fue probada calculando los 80 primeros coeficientes de Fourier
de la funcin
x x [ , ],
u=
0 en los dems casos.
Ecuaciones Diferenciales II
teorema de Carleson
fenmeno
Gibbs
de
86
[Captulo 2
SN (u, x) =
(1)n
n=1
2
sen nx.
n
SN (u; /N) =
n
2
sen
2
n
N
n=1
sen x
dx
x
1,17 .
En donde la evaluacin del lmite la hemos obtenido considerado la serie como una
suma de Riemann.
En el punto x = tenemos convergencia puntual a 0:
lm SN (u, ) = 0.
Por tanto
Ecuaciones Diferenciales II
2.8]
Series de Fourier
87
replacements
y
2 S10 (x)
2 S20 (x)
2 S40 (x)
3 2 1
3 x 3 2 1
3 2 1
3x
y
3
2 S80 (x)
2 S160 (x)
3 2 1
x 3 2 1 0
3 x
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
dr u
K
d xr
entonces
est
cr K ln N
Nr
donde cr es una constante que tan slo depende de r . Vemos que cuantas ms derivadas de la funcin existan ms rpida es la convergencia.15 Si la funcin u(x) es
analtica en [a, b] tenemos
|SN (u, x) u(x)| cqN
De
Ecuaciones Diferenciales II
error
88
Denicn
[Captulo 2
de la transformada de Fourier
D := {u L2 (R)
Lu L2 (R)}.
c 0,
|u|2 dx = |c|2
e2 Im()x dx = .
cn ei kn x ,
nZ
cn =
1
ba
donde
kn := n,
:=
b
a
e i kn x u(x) d x,
2
.
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
u(x) =
c(kn )ei kn x k
nZ
Ecuaciones Diferenciales II
(2.14)
2.8]
Transformada de Fourier
89
donde
k := kn+1 kn = ,
c(kn ) :=
1
cn
=
k
2
a ,
b +,
e i kn x u(x) d x.
(2.15)
Si realizamos el lmite
obsrvese que k 0 y que tenemos
c(k)ei kx d k,
u(x) =
1
2
c(k) =
e i kx u(x) d x.
u(x) =: F1 (c),
transformada de Fourier de u.
transformada de Fourier inversa de c
transformada de
Fourier versus series de Fourier
ei kx c(k) dn k =: F1 (c),
u(x) =
Rn
c(k) =
1
(2 )n
Rn
e i kx u(x) dn x =: F(u),
transformada de Fourier de u.
Rn
|u(x)| dn x < ,
Ecuaciones Diferenciales II
transformada de
Fourier en Rn
90
[Captulo 2
cuya transformada de Fourier no es absolutamente integrable. En este sentido el espacio L2 (Rn ) es ms apropiado ya que se verifica
Teorema 2.8.2. Si u(x) es de cuadrado integrable (u L2 (Rn )), esto es si
Rn
|u(x)|2 dn x < ,
u, v L2 (Rn ).
La inversa de la transformada de Fourier es lo que hemos definido como transformacin de Fourier inversa.
Hay que advertir que la integral impropia que acompaa a la operacin de transformada de Fourier sobre elementos de L2 (Rn ) hay que efectuarla en un sentido diferente
del habitual. En concreto, se define como
c(k) = lm cR (k),
R
cR (k) :=
1
(2 )n
|x|R
e i kx u(x) dn x,
R Rn
espacio
Schwartz
de
|c(k) cR (k)|2 dn k = 0.
n1
x := x0 0 x1 1 . . . xn1
.
F : S(Rn ) S(Rn ).
Veamos a continuacin algunos ejemplos de clculo de transformadas de Fourier
de funciones de una sola variable.
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,
1
2
e i kx u(x) d x =
1
2
e i kx d x =
1 e i kx
2 i k
a
a
dx =
sen ka
.
k
c(k)
1
2
e i kx u(x) d x =
1 e(a+i k)x
=
2 (a + i k)
x=0
eax
0
1
2
x > 0,
en el resto,
e i kx eax d x =
1
2
u(x) =
c(k) =
e(a+i k)x d x
1 aik
2 a2 + k2
Su transformada
1
2
1
,
x 2 + a2
e i kx
a > 0.
x2
1
d x,
+ a2
Ecuaciones Diferenciales II
transformada de
Fourier de la lorentziana
92
[Captulo 2
1 a|k|
.
e
2a
F ea|x| =
1
2
eax e i kx d x +
1
2
eax e i kx d x
1
1
a
1
+
=
=
2
2 (a + i k) 2 (a i k)
a + k2
Luego
F1 (
o bien
) = ea|x| ,
2
+k
a
a2
ei kx
a2
1
d k = ea|x| .
2
+k
a
e i xk
1 a|k|
1
dx =
e
.
a2 + x 2
2a
La grfica correspondiente es
1
u(x)
x
3
a
l
i
t
m
e
l
i
s
m
c
r
o
u
e
lo situacinso
icru
sem
3
c(k)
16
Sea f (z) = e i kz /(z2 + a2 ) y la recta real orientada de izquierda a derecha. Vamos a computar f (z) d z usando residuos. Las singularidades de f son dos polos simples en z = i a,
los
cuando
residuos de f (z) son: Resz= i a (f (z)) = eka /(2 i a). Cuando k > 0 la integral es el
R de la integral al
inferior centrado en el origen de radio R. En tanto que si k < 0
superior. Por tanto, en cada
contribuye tan
un polo en la
se selecciona el
formula f (z) d z = 2 i p polo simple Resz=p (f (z)).
Ecuaciones Diferenciales II
2.8]
Transformada de Fourier
ui (x) ci (k),
i = 1, 2
1 , 2 C
ii)
F
1
c A1 k
| det A|
v)
F
Rn
u(x y)v(y) dn y =
Rn
u(y)v(x y) dn y.
Proposicin 2.8.4. i)
F(x u) = (i Dk ) F(u).
iii)
F(u v) = (2 )n F(u)F(v).
iv) Identidad de Parseval:
Rn
|u(x)|2 dn x = (2 )n
Rn
|c(k)|2 dn k.
Ecuaciones Diferenciales II
93
94
[Captulo 2
u
xi
1
(2 )n
1
=
(2 )n
Rn
e i kx
Rn1
u n
d x
xi
e i kx u(x)
xi =
= 0,
xi =
luego
F
Por ello,
u
xi
= i ki F(u).
0
n1
0
n1 u = (i k0 )
xn1
x0 0
F(xi u) =
1
(2 )n
Rn
e i(kx) xi u(x) dn x =
1
(2 )n
Rn
(e i kx u(x)) n
d x.
ki
F(xi u) = i
F(u).
ki
Por ello,
n1
F(x0 0 . . . xn1
u) = i
k0
kn1
n1
F(u)
F(u v) =
1
(2 )n
Rn
e i kx
Rn
u(y)v(x y) dn y dn x
F(u v) =
1
(2 )n
R n R n
e i kx u(x y)v(y) dn y dn x,
y = ,
se transforma en
F(u v) =
1
(2 )n
Rn Rn
Ecuaciones Diferenciales II
2.8]
Transformada de Fourier
95
Rn
u(y)v(y)
dn y = (P u v)(0),
Rn
ei kx c(k)d(k) dn k
x=0
u(x)v(x)
dn x = (2 )n
Rn
c(k)d(k) dn k,
1
kc(k).
2a2
c(k) = c(0)e
k2
4a2
1
2
=
1
2 a
u(x) d x =
+
Por tanto
c(k) =
1
2
ex d x =
2 x2
ea
dx
1
.
2a
2
1
k
e 4a2 .
2a
Ecuaciones Diferenciales II
96
[Captulo 2
u(x)
x
4 3 2 1 0
F
1
c(k)
k
4 3 2 1 0
transformada de
Fourier de gaussianas en Rn
u
= u(x)
xi
Aij xj .
j=0
i ki c(k) =
Aij i
j=0
c
,
kj
y por tanto
n1
c
=
kj
(A1 )ji ki c.
j=0
n1
1
i,j=0 (A )ji ki kj /2
Observemos que
c(0) =
1
(2 )n
Rn
n1
i,j=0 Aij xi xj /2
dn x.
n1
e
i=0
i2 /2
i x
1
i =
dx
(2 )n
Ecuaciones Diferenciales II
n1
i=0
2
i
i .
exi d x
2.8]
Transformada de Fourier
97
1
(2 )n det A
con lo que
c(k) =
1
e
(2 )n det A
n1
1
i,j=0 (A )ji ki kj /2
2
2
1
e(k1 +k2 k1 k2 )/3 .
2 3
2/3 1/3
u(x1 , x2 )
0
2
x1 0
x2
c(k1 , k2 )
0
2
k1
x 1 x 2 x 3
u(x1 , x2 , x3 ) =
0
k2
x1 , x2 , x3 [a, a],
en el resto.
1 x1 , x2 , x3 [a, a],
v(x1 , x2 , x3 ) =
0 en el resto.
Ecuaciones Diferenciales II
98
1
2
i=1
a
a
[Captulo 2
e i ki xi d xi =
As pues
i [sen ak1 )/k1 ] [sen ak2 /k2 ] [sen ak3 /k3 ]
3
k1
k2
k3
i ak1 cos ak1 sen ak1 ak2 cos ak2 sen ak2
= 3
k21
k22
c(k1 , k2 , k3 ) =
u(x) = (x 2 2x + 1)e(x+1) ,
y como sabemos que
2
e(x+1) ei k
ek /4
,
2
obtenemos
2
d
ek /4+i k
+1
dk
2
2
1
k
1
k
2
=
2 i + i + 1 ek /4+i k
+ +i
2
2
2
2
k2 + 8 i k + 18 k2 /4+i k
e
=
.
8
c(k) =
2.8.3.
d
dk
2i
cos(kx)c(k) d k +
i sen(kx)c(k) d k.
c(k) cos kx d k =
c(k) i sen kx d k =
cos(kx)(c(k) + c(k)) d k,
sen(kx) i(c(k) c(k)) d k,
Ecuaciones Diferenciales II
2.8]
Transformada de Fourier
99
y si denotamos
a(k) := c(k) + c(k),
obtenemos
u(x) =
a(k) cos kx d k +
b(k) sen kx d k.
u(x) cos kx d x,
b(k) =
u(x) sen kx d x.
u(x) cos kx d x,
b(k) = 0,
(2.16)
a(k) cos kx d k.
(2.17)
b(k) =
u(x) sen kx d x,
(2.18)
b(k) sen kx d k.
(2.19)
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
[Captulo 2
1
(2 )3
1
(2 )3
1
=
(2 )2
=
R3
e i kx u(r ) d3 x
e i
e i
k r cos
k r cos
u(r )r 2 sen d d d r
sen d u(r )r 2 d r
que como
e i
k r cos
sen d =
ei
k ru
du = 2
sen k r
k r
se transforma en
c(k) = c( k ) =
1
2 2 k
u(r )r sen( k r ) d r .
Cuestiones
1. El dominio del operador diferencial L = D 2 es el conjunto de funciones u diferenciables en en el intervalo [a, b] con peso (x) = 1. Determinar cuales de
las siguientes condiciones de contorno definen dominios en que el operador es
simtrico
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]
Resolucin Las condiciones de contorno deben ser homogneas y con coeficientes reales, as quedan descartadas las opciones (c), (e). Para discernir la respuesta correcta entre las tres opciones restantes recordemos que el operador
D 2 es simtrico si para toda pareja de funciones u, v del dominio se cumple
(a) u
(b) u
(a)v(a) = u(b)v
u(a)v
(b) u
(a)v(a) = 0 y u(b)v
(b)v(b) = 3/2(u(a)v
mos u(a)v
v(a)u(a));
por tanto no es correcta. Veamos que la opcin (d) es correcta, aho (a) u
(a)v(a) =
ra tenemos u (b) = u(a)/2 y u (a) = u(b)/2, as u(a)v
(b)v(b) = (u(b)v(a)
(u(a)v(b)
u(b)v(a))/2
y u(b)v
(b)u
u(a)v(b))/2
y se da la igualdad.
2. Determinar los autovalores del operador diferencial
Lu = D 2 u,
actuando sobre el dominio de funciones diferenciables en [0, 1] que cumplen las
condiciones de contorno
ux (0) = 0,
u(1) = 0.
a) 4n2 2 , n 1
d) n 2 , n 1
e) n2 2 , n 1
x R3 ,
1
(2 )3
(x) e i kx d x;
(k)
=
R3
Ecuaciones Diferenciales II
101
102
[Captulo 2
a) |k|2 u(k)
+ (k)
=0
b) |k|u(k)
+ 2(k)
=0
c) u(k)
+ (k)
=0
=0
d) |k|2 u(k)
e) |k|2 u(k)
(k)
=0
Resolucin
mos
= |k|2 u.
F(u) = (i k1 )2 + (i k2 )2 + (i k3 )2 u
y por tanto el resultado correcto es (a).
4. Dado el operador diferencial
Lu := D(ex Du),
determinar para que valor de c las siguientes condiciones de contorno
u(0) + cu(1) = 0,
u (0) + cu (1) = 0
definen un dominio de L2 ([0, 1]) en que el operador es simtrico
a) c = 0
b) c = e
c) c = e
d) c = 1
Resolucin El operador L es del tipo Sturm-Liouville con p(x) = ex , q(x) = 0
sobre el intervalo [0, 1]. Por tanto, la condicin para que sea simtrico es
u(0)
v(0)
u(1)
v(1)
=e
x (0) v(0)
x (1) v(1)
u
u
para toda pareja de funciones u, v en el dominio. Usando las condiciones de
contorno obtenemos que el primer determinante es
u(1)
v(1)
u(0)
v(0)
= c2
x (1) v(1)
x (0) v(0)
u
u
de donde se concluye que se debe tener c 2 = e.
Ecuaciones Diferenciales II
2.9]
u (0) = 0,
u(1) + u (1) = 0.
b) ksenk = 1
c) k tan k = 1
d) k cos k = 0
e) k tan k = 0
(1 + x)
0 < x < 1,
a) = (2n + 1)2 2 , n = 1, 2, . . .
b) =
(2n + 1)
ln 2
, n = 0, 1, 2 . . .
c) = n2 2 , n = 1, 2 . . .
d) =
e) =
n
ln 2
n
ln 2
, n = 1, 2, . . .
2
, n = 1, 3, 5, . . . y = (2n + 1)2 2 , n = 0, 2, 4, . . .
Ecuaciones Diferenciales II
103
104
[Captulo 2
|| + by || ,
ay
cuando < 0,
a + b ln y,
cuando = 0,
2
2 ||
2 y 2
i
2
2
k1 e(k1 +k2 )/4
8
1
2
2
k1 e(k1 +k2 )/4
c(k1 , k2 ) =
8
i
2
2
c(k1 , k2 ) =
k1 e(k1 +k2 )/4
4
i (k2 +k2 )/4
c(k1 , k2 ) =
e 1 2
8
i 2 (k2 +k2 )/4
c(k1 , k2 ) =
k e 1 2
8 1
a) c(k1 , k2 ) =
b)
c)
d)
e)
Ayuda:
1
2
x 2 eikx dx
e
1
2
ek /4 .
2
1
ikx dn x denota la transformada de
(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-
Resolucin
Si F(n) (u) :=
puesta (a).
u(x, 0) = sin x,
ut (x, 0) = cos x.
en el punto x = 1, t = 1.
a) 0.
b)
2
.
Ecuaciones Diferenciales II
2.9]
c)
2
+ 1.
d)
2
.
3
e)
1
+ .
2
1
1
((x + 2t) + (x 2t)) +
2
4
x+2t
(x)dx,
x2t
cos( x),
x > 0,
(x) =
cos( x), x < 0
1
1
(sen(3 ) + sen( x))
2
4
0
1
cos( x)dx +
1
4
3
0
cos( x)dx = 0.
d) 2
e) 2
Resolucin La funcin u(x) no es continua en el origen, sus lmites laterales
son lmx0 u(x) = 1, y por ello su semisuma es (u+ + u )/2 = 0. Recordando
el teorema de Dirichlet concluimos que la serie converge puntualmente a 0 en el
0.
10. Sea el desarrollo en serie de Fourier en senos y cosenos
x 10 + 2x 8 + 4 =
a0
+
(an cos(nx) + bn sen(nx)),
2
n=1
x .
105
106
1/n3 ,
b) an =
0,
[Captulo 2
n par
n impar
c) an = 0
d) bn = 0
e) an = bn
Resolucin Como la funcin desarrollada u(x) := x 10 + 2x 8 + 4 es par respecto
al punto medio del intervalo, x = 0, tenemos que bn = 0. Por ello, (a), (c) y (e) son
falsos y (d) es cierta. La respuesta (b) es falsa ya que f ( /4) f (3 /4).
11. El operador diferencial
L=x
d
d
x
dx dx
acta sobre el conjunto de funciones de cuadrado integrable con peso (x) = 1/x
definidas en el intervalo [1, e] que satisfacen las condiciones de contorno
u(1) = 0,
u(e) + cu (e) = 0.
1 < x < 1,
2.9]
Resolucin
107
La funcin
u(x) =
|x|
cos x
senx
i
k2
e1ik
2 (1 ik)2
b) c(k) =
c) c(k) =
i
k
e1ik
4 (1 ik)2
1
k
e1ik
2 (1 ik)2
d) c(k) =
e) c(k) =
Resolucin
i
k
e1ik
2 (1 ik)2
k
i
2
e1ik
2 (1 ik)2
ex , < x < 1
Llamando v(x) =
tenemos para la transfor0,
1<x<
1
de la funcin
u(x) =
sen x
.
|x|
a) 0
b) 1
c) 2
d) 3
e) 4
Ecuaciones Diferenciales II
108
[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).
15. Determinar en cuantos puntos del intervalo [0, 3 ] la serie de Fourier
bn sen(nx)
n=1
de la funcin
u(x) = x
se anula.
a) 3
b) 5
c) 2
d) 8
e) 7
Resolucin Al tratarse de series de Fourier en sen nx, n = 1, 2, . . . , vemos
que = 2 y a = 0 (recordar que en las series los senos aparecen en la forma
sen(n(x a)/2))), y por ello el intervalo donde se debe considerar la funcin
u(x) = (x /2)2 definida es [0, ]. La serie de Fourier de senos, de acuerdo
con el teorema de Dirichlet, convergera puntualmente a la extensin peridica
a la recta real de la extensin impar de u al intervalo [ , ]. A continuacin
representamos la grficas de esta extensin peridica impar
2
4
Ecuaciones Diferenciales II
2.9]
a0
x =
(an cos(nx) + bn sen(nx)),
+
2
n=0
2
0 x 2
n2
=2
n
= 2 2
n
=3
n
= 4
n
a) bn =
b) bn
c) bn
d) bn
e) bn
Resolucin
bn =
2
ba
b
a
sen(nx)u(x) d x =
sen(nx)x 2 d x.
Esta integral, que es inmediata, se puede calcular por partes tal como se indica a
continuacin
x 2 sen x =
=
=
cos nx
cos nx
+ 2x
n
n
sen
nx
sen nx
cos
nx
+ 2x
2
x2
2
n
n
n2
cos
nx
sen
nx
cos
nx
+ 2x
+2
x2
,
3
n
n
n
x2
y por ello
bn =
x2
sen nx
cos nx
cos nx
+ 2x
+2
n
n
n3
x=2
x=0
4
=
n
y la respuesta correcta es la e).
17. Determinar la transformada de Fourier c(k1 , k2 , k3 ) de la siguiente funcin
xy
e
si x > 0 y y > 0,
u = z2 + 4
0
en el resto del plano.
e2|k3 |
1
16 2 (1 + i k1 )(1 + i k2 )
1
1
b)
2
16 (1 + i k1 )(1 + i k2 )(1 + i k3 )
a)
Ecuaciones Diferenciales II
109
110
c)
[Captulo 2
e|k2 |
1
16 2 (1 + i k1 )(1 + i k3 )
d)
e|k3 |
1
2
16 (1 + i k21 )(1 + i k2 )
e)
1
e2|k1 |
2
16 (1 + i k2 )(1 + i k3 )
Ayuda:
1
2
ea|k|
e i kx
=
x 2 + a2
2a
Resolucin:
F(1) (u1 ) =
F(1) (u3 ) =
1
2
1
1
,
2
1
+
i k1
0
1
1
e i k2 y ey d y =
,
2
1
+
i k2
0
e i k1 x ex d x =
e i k1 z
e2|k3 |
1
d
z
=
,
z2 + 4
4
u=
a)
b)
si x > 0 y y > 0,
en el resto del plano.
1
1
4 2 (1 i k1 )(1 i k2 )
1
1
4 2 (1 + i k1 )2 (1 + i k2 )2
c)
d)
xyexy
i
1
2
2
4 (1 i k1 ) (1 i k2 )2
1
1
2
2
4 (1 + i k1 )(1 + i k2 )
e)
i
1
4 2 (1 + i k2 )2 (1 + i k3 )2
Ecuaciones Diferenciales II
2.9]
Resolucin:
Sabemos que
Denotemos por
exy
G :=
0
F(2) (G) =
y tambin que
si x > 0 y y > 0,
en el resto del plano.
1
1
4 2 (1 + i k1 )(1 + i k2 )
F(2) (xyG) =
1
(1 + i k1
)2 (1 + i k
2)
e
(16k2 + 1)2
1 k2 2 i k + 1
2 (16k2 + 1)2
a)
b)
c)
d)
e)
Resolucin:
F(e|x|/4 ) =
e i kx+x/4 d x +
+
ik
4
1
=
,
1 + 16k2
e i kxx/4 d x
1
4
1
4
+ik
F(e|x+2|/4 ) =
4
1
e2 i k .
1 + 16k2
F(xe|x+|/4 ) = i Dk F(e|x+2|/4 ) = i Dk
4
8 16k2 + 16 i k + 1 2 i k
1
2ik
e
=
e .
1 + 16k2
(16k2 + 1)2
Ecuaciones Diferenciales II
111
112
[Captulo 2
hu(0) ux (0) = 0,
0 < x < l,
hu(l) + ux (l) = 0,
a) tan kl = 2hk/(k2 h2 )
b) tan kl = 2h/(k2 + h2 )
d) tan kl = 2h/(k2 + h2 )
2.9.2.
2hk
.
h2
k2
Problemas
2 |y|
2.9]
x 2 eikx dx
e
Ayuda:
Resolucin
k2 /4
e
.
2 |y|
).
F(ex
2 |y|
1
2
ex |y| ei(k1 x+k2 y) dxdy
2
2
(2 ) R
1
1
2
ex eik1 x dx
e|y| eik2 y dy
=
2 R
2 R
2
1
1
= ek1 /4
e|y| eik2 y dy.
2
2 R
)=
Por ltimo,
e|y| eik2 y dy =
e(1ik2 )y dy+
e(1+ik2 )y dy =
F(ex
2 |y|
)=
y finalmente
1
1
2
+
=
.
1 ik2 1 + ik2
1 + k22
2
1
1
ek1 /4
3
1 + k22
2
2
i
2k2
ek1 /4 k1
F(u) = 3
+
.
2 2
1 + k22
2 1 + k2
2. Sea el problema espectral
uxx = u,
ux (0) + u(0) = 0,
0 x 1,
u(1) = 0.
a) Hallar la ecuacin que determina los autovalores y probar que tiene infinitas
soluciones.
b) Calcular las autofunciones correspondientes. Forman un conjunto ortogonal completo en L2 ([0, 1])?
c) Desarrollar la funcin
u(x) = xsen( x)
0
1
0
1
0
Ecuaciones Diferenciales II
113
114
[Captulo 2
y u0 (x) := 1 x es una correspondiente autofuncin. Si k 0 entonces la solucin general es a cos(kx) + bsen(kx). La existencia de soluciones no triviales
k
1
= 0; esto, es
cumpliendo las condiciones de contorno o conduce a
senk cos k
la ecuacin que determina los autovalores es
tan k = k .
12
3
cn un (x),
n=0
1
0 (1x)xsen( x)dx
1
2
0 (1x) dx
1
(sen(k
x)k
n
n cos(kn x))xsen( x)dx
0
1
2
(sen(k
x)k
n
n cos(kn x)) dx
0
n=0
,
n > 0,
Ecuaciones Diferenciales II
2.9]
e(xy)
d y,
1 + y2
< x < .
f (x y)g(y) d y = u.
2 /4
F(f ) = ek
obtenemos que
=
u
F(g) =
1 |k|
e
,
2
k2 /4|k|
e
.
2
Ecuaciones Diferenciales II
115
116
2.9.3.
[Captulo 2
Ejercicios
x,
u(x)v(x)(x)d
Condiciones separadas:
u(a) + u (a) = 0,
u(b) + u (b) = 0,
= 1.
d
sobre el dominio D de funciones de clase C 1 en [a, b]
dx
tales que satisfacen la condicin de contorno:
5. Sea el operador L = i
u(a) + u(b) = 0,
siendo y nmeros complejos dados. Probar que L es simtrico si y solo si se
verifica:
|| = ||.
Determinar en tal caso el espectro y las autofunciones de L.
Ecuaciones Diferenciales II
2.9]
0
x
si 1 x 0
si 0 x 1
d2 u
2u sobre el dominio de funciones de clase C 2 en
d x2
u(0) = 0,
u(1) = 0.
n 0.
n=0
1 x2
12. Sean f , g funciones peridicas de perodo 2 que admiten un desarrollo de Fourier con coeficientes cn (f ) y cn (g) en la base de exponenciales sobre el intervalo
[ , ]. La convolucin f g se define como
(f g)(x)
f (x y)g(y) d y.
a) Probar que f g = g f .
Ecuaciones Diferenciales II
117
118
[Captulo 2
4
n=1 1/n .
14. Sabiendo que
1
0
(2n 2)!
,
22n (n 1)!(n + 1)!
n 1,
b) Probar la identidad:
(1 2tx + t 2 )1/2 =
Pl (x)t l ,
l=0
l 0,
P1 (x) 0.
x2
2
2
< x < ,
Ecuaciones Diferenciales II
a > 0, R,
C APTULO
Mtodos de separacin de
variables y desarrollo en
autofunciones
mtodoseparacin
3.1. El
de
de variables
120
3.1.1.
[Captulo 3
Lu :=
a (x)D u.
,
,...,
,
x0 x1
xn1
que indica que L efecta derivaciones con respecto a las variables (x0 , . . . , xn1 ) y que
sus coeficientes a = a (x) dependen de esas variables.
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 ;
,
x0
B = B x1 , . . . , xn1 ;
,...,
.
x1
xn1
Ejemplos
1. El operador
Lu = xux + yuyy + yzuz + x 2 u,
es separable respecto de x ya que L = A + B siendo
A x;
=x
+ x2,
x
B y, z;
,
=y
+ yz .
y z
y 2
z
2. El operador Laplaciano
Lu := u = uxx + uyy + uzz ,
es separable respecto de cualquiera de sus tres variables (x, y, z).
3. El operador dAlambertiano que aparece en la ecuacin de ondas en 1+3 dimensiones:
Lu := utt c 2 u,
es separable respecto de cualquiera de sus cuatro variables (t, x, y, z).
Ecuaciones Diferenciales II
3.1]
homogneas
121
2m
u + q(x, y, z)u,
u + B x1 , . . . , xn1 ;
u = 0,
,...,
x0
x1
xn1
(3.1)
w = w(x1 , . . . , xn1 ),
Bw = w,
(3.2)
B(vw) = v Bw = vw,
Observaciones
1. La utilidad del MSV radica en que reduce el problema de la bsqueda de soluciones de una EDP (3.1)
Au + Bu = 0,
con n variables independientes (x0 , x1 , . . . , xn1 ) a un sistema (3.2) que consta
de una ecuacin diferencial ordinaria
Av = v,
Ecuaciones Diferenciales II
separacin
variables
ecuaciones
homogneas
de
en
122
[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.
2. Las funciones v y w que aparecen en el MSV son autofunciones de los operadores
A y B con autovalores y respectivamente.
3. Cuando aplicamos el MSV suponemos que es un parmetro complejo arbitrario.
Luego las soluciones u obtenidas dependern de ese parmetro . En una EDP con
n variables independientes resoluble mediante el MSV deberemos aplicar el MSV
n 1 veces, luego las soluciones obtenidas dependern de los n 1 parmetros
= (1 , , n1 ) introducidos por el MSV. Es decir el MSV proporciona una
familia (n 1)-paramtrica de soluciones
u = u (x).
4. Como la EDP (3.1)
Au + Bu = 0,
es una EDP lineal y homognea, dada una familia cualquiera de soluciones,
{u = u (x), },
cualquier combinacin lineal de los elementos de la familia
N
u(x) =
cn un (x),
n=1
cn un (x),
n=1
0 ,
n=1
cn un (x) +
Ecuaciones Diferenciales II
3.1]
homogneos
El MSV puede tambin aplicarse en situaciones en que el problema sea una EDP
lineal homognea junto con una serie de condiciones
Lu = 0,
li (u) = 0,
i = 1, . . . , m,
Ejemplos
1. Sea R3 , los funcionales
l(u) = u|x=1 ,
l(u) = ux |x=1 ,
l(u) = u|x+y=3 ,
Ecuaciones Diferenciales II
123
operadores
de
frontera separables
124
[Captulo 3
u + B x1 , . . . , xn1 ;
,...,
u = 0,
x0
x1
xn1
ai (u) = 0, i = 1, . . . , r ,
bj (u) = 0,
j = 1, . . . , s,
(3.3)
(3.4)
(3.5)
w = w(x1 , . . . , xn1 ),
Av = v,
ai (v) = 0, i = 1, . . . , r ,
Bw = w,
bj (w) = 0, j = 1, . . . , s,
(3.6)
(3.7)
Demostracin. Lo nico que resta por demostrar respecto del teorema anterior es que
si v = v(x0 ) y w = w(x1 , . . . , xn1 ) satisfacen las condiciones de contorno de (3.6) y
(3.7) entonces u = vw satisface las de (3.4)-(3.5). Pero esta propiedad es consecuencia
inmediata de las propiedades de los operadores de frontera ai y bj
Ejemplos
3.1]
h
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
uxx + uzz = 0,
uz |z=h = 0.
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
v(z) = Aekz + Bekz ,
imponiendo la condicin de contorno sobre v
k(Aekh Bekh ) = 0,
B = Ae2kh .
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 .
De esta forma hemos determinado la siguiente familia de soluciones
i kx
u(x, z) = 2A(Ce
+ De i kx ) cosh k(z + h),
C.
A
Ecuaciones Diferenciales II
125
126
[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
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
u
= 0.
n z=mx
Teniendo en cuenta que un vector normal unitario al fondo es
n = sen i + cos k
el problema de contorno se transforma en
uxx + uzz = 0,
sen ux + cos uz
z=mx
= 0.
Esta claro que la condicin de contorno no permite la aplicacin directa del MSV.
Sin embargo, si introducimos el cambio de coordenadas
x = cos x sen z, z = sen x + cos z,
el problema se reduce a
ux x + uz z = 0,
uz |z =0 = 0,
Ecuaciones Diferenciales II
3.1]
fsicamatemtica
N u
a N Lu = f , t (a, b), x Rn ,
t
i
= fi (x), i = 1, . . . N 1,
t i t=t0
127
(3.8)
Lw =
w,
lj (w) = 0, j = 1, . . . , s.
Estas autofunciones de L determinan las denominadas ondas estacionarias del problema fsico descrito por (3.8), que son las funciones de la forma
e i t w(x),
ondas estacionarias
R,
frecuencia
a( i )N e i t w = e i t w,
simplificando se obtiene la relacin de dispersin
a( i )N = ,
que relaciona con . Solo en el caso en que existan soluciones reales de esta relacin podemos hablar de ondas estacionarias en el fenmeno fsico correspondiente. Si
tomamos L = la separacin de variables nos conduce a la 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
= f1 (x),
t=t0
ut
= f2 (x),
t=t0
= g1 (t),
x=0
= g2 (t).
x=l
Ecuaciones Diferenciales II
relacin de dispersin
ecuacin
Helmholtz
de
128
[Captulo 3
w(0) = 0, w(l) = 0.
kn =
n,
l
n = 1, 2, . . .
n = ckn .
uxx ,
i ut =
2m
u
= f1 (x),
t=t0
= g1 (t),
x=0
= g2 (t).
x=l
2
2m
wxx = w,
w(0) = 0, w(l) = 0.
kn =
2 k2n
2m
n,
l
n 1,
La relacin de dispersin es
=
k2
2m
n =
k2n
2m
En las prximas tres secciones vamos a resolver la ecuacin de Helmholtz en distintas situaciones y a analizar diferentes aplicaciones. Estudiaremos el problema en
diferentes sistemas de coordenadas: cartesianas, polares, cilndricas y esfricas. Tambin veremos distintas aplicaciones en fluidos y mecnica cuntica.
Ecuaciones Diferenciales II
3.2]
ecuacin
3.2. La
129
k C.
d X
= X,
d x2
w
2
yy + wzz + k w = w,
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
con
i k1 x + b e i k1 x ,
Xk1 (x) = a1 e
i
k
y
2
Yk2 (x) = a2 e
+ b2 e i k2 y ,
Zk1 (x) = a3 ei k3 z + b3 e i k3 z .
Partculacuntica
(3.9)
Las condiciones de contorno a las que se adecan estas soluciones son aquellas en las
que la frontera estn formada por planos paralelos a los planos coordenados. Pasamos
a analizar ejemplos de este tipo.
3.2.1.
2m
u = Eu,
paredes
= 0.
Ecuaciones Diferenciales II
130
[Captulo 3
z
L3
L2
L1
x
2mE
y la condicin de contorno se
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 e
a1 + b1 = 0,
i k1 L1
+ b1 e i k1 L1 = 0
n1 , n1 Z
L1
k1 =
y por tanto
n1
x.
L1
Un procedimiento anlogo en las variables y, z nos permite concluir que
Xk1 (x) = A1 sen
n1
n2
n3
x sen
y sen
z ,
L1
L2
L3
n21
L21
n22
L22
n23
L23
2 2 n21
2m
L21
Ecuaciones Diferenciales II
n22
L22
n23
L23
n1 , n2 , n2 Z.
3.2]
Podemos considerar una versin del mismo problema en dos dimensiones haciendo
2
z = 0. Representamos a continuacin la funcin u(x, y) que representa la densidad
de probabilidad de presencia de la partcula en el punto (x, y) del rectngulo [0, 2]
[0, 1] con n1 = 3 y n2 = 2
3.2.2.
Partculacuntica peridicas
en una caja con condiciones
uz (x, y, 0) = uz (x, y, L3 ),
Estas condiciones aplicadas a las autofunciones uk1 ,k2 ,k3 de (3.9) nos llevan a
ai + bi = ai ei ki Li + bi e i ki Li ,
ai bi = ai ei ki Li bi e i ki Li
con i = 1, 2 y 3. Para que estos sistemas lineales posean soluciones no triviales (ai , bi )
(0, 0) debemos exigir que
1 ei ki Li
1 ei ki Li
1 e i ki Li
= 0;
(1 e i ki Li )
esto es
(ei ki Li /2 e i ki Li /2 )2 = 0,
Ecuaciones Diferenciales II
131
132
[Captulo 3
2
ni ,
Li
ni Z,
i = 1, 2, 3.
beraparlepidica
tu
2m
4 2
n21
L21
n22
L22
n23
L23
3.2.3.
Fluido en una
L
L
x
tiene un potencial de velocidades u determinado por el siguiente problema de contorno
de Neumann para la ecuacin de Laplace
u = 0,
ux (0, y, z) = 0,
ux (L, y, z) = 0,
u (x, y, 0) = 0,
u (x, y, L ) = 0.
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]
133
a1 e
a1 b1 = 0,
i k1 L
b1 e i k1 L = 0.
k1 =
1
= 0,
e i k1 L
n,
L
n Z.
nx.
L
n,
L
n Z
n z.
L
n 2
n2
+
,
L2
L 2
cos nx cos n z e
L
L
n2 n 2
+ 2 y
L2
L
n, n Z.
2y
i 2 cos x cos z e
2y
j cos x sen z e
Ecuaciones Diferenciales II
2y
134
[Captulo 3
n = 1, n = 1
n = 1, n = 0
ecuacin cilndricas
z
0
0
y1
3.3. La
y 1
de Helmholtz en coordenadas
x = r cos ,
y = r sen ,
z = z,
z
z
y
r
x
Ecuaciones Diferenciales II
3.3]
135
1
1
ur + 2 u + uzz + k2 u = 0.
r
r
r 2 Vr r + r Vr + V = 2 r 2 V .
La solucin de la primera EDO es
Z (z) = Aei
k2 2 z
+ Be i
k2 2 z
(3.10)
(3.11)
Queda pues analizar la ecuacin para R, EDO que se conoce como ecuacin radial. Para
sta se dan dos casos distintos. En primer lugar consideramos = 0 y la correspondiente ecuacin es
r 2 R + r R m2 R = 0
cuya solucin es
c1 ln r + c2
R=0,m (r ) =
c1 r m + c2 r m
m = 0,
m 0.
(3.12)
Ecuaciones Diferenciales II
(3.13)
136
3.3.1.
[Captulo 3
Coordenadas polares
Partculacunticacuacilndrica
3.3.2.
en una
impenetrable
a
0
x
Los estados estacionarios vienen descritos por las soluciones de cuadrado integrable
del siguiente problema de contorno de Dirichlet
que llamando
u = Eu,
2M
u
paredes=0
E=
2 k2
2M
Ecuaciones Diferenciales II
3.3]
u + k2 u = 0,
u r =a = 0,
=0 = 0,
u =0 = 0,
u z=0 = 0,
u
z=h = 0.
Aplicando el MSV se encuentran las soluciones de la forma
R,m (r )m ()Z (z),
que deben satisfacer las condiciones de contorno y regularidad. En primer lugar nos
centramos en la funcin angular m (3.11); las condiciones de contorno en la variable
son
m (0) = m (0 ) = 0,
que conducen al siguiente sistema lineal para C y D
C + D = 0,
ei m0 C + e i m0 D = 0.
1
= 0,
e i m0
,
0
j N.
m () = 2C sen(m).
A + B = 0,
ei k2 2 h A + e i k2 2 h B = 0,
que admite solucin no trivial si y solo si
sen k2 2 h = 0.
Ecuaciones Diferenciales II
137
138
[Captulo 3
As pues
k2 = n2
Adems B = A y
2
+ 2 ,
h2
n N.
nz.
h
Por ltimo analizamos la variable radial r . La funcin radial R(r ) no debe tener singularidades para r = 0 y adems debe satisfacer R(a) = 0. Por ello, y teniendo en cuenta
la forma (3.12), se deduce que no hay soluciones no triviales para = 0 y este caso
queda descartado. Slo resta por ver que ocurre para 0, ahora de (3.13) se deduce
F = 0 (regularidad en el origen) y la condicin de contorno impone que
Z (z) = 2A sen
Jm (a) = 0.
Por ello, si {cm, }
son los ceros1 de la funcin de Bessel Jm (x) llegamos a que
=1
m=j
=
,
0
j N,
N.
cm,
a
2 n2
=
+
2M
h2
Ej,,n
(cj
0 ,
)2
,
a2
j, , n N
0 ,
r
z
sen n
sen j
.
a
0
h
El problema de una partcula cuntica bidimensional encerrada en una cua tal como
indica la figura
y
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
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
Dado el comportamiento
Jm (x)
cos x (2m + 1)
x
4
cm, (2 + 1)
+ (2m + 1) .
2
4
Ecuaciones Diferenciales II
3.3]
2
2M
(c2j, )2 ,
j, Z,
Fcilmente se comprueba que estos son los tres primeros ceros que aparecen. Por tanto
el estado fundamental, el primer y segundo excitados viene representados por
J2 (c2,1 r ) sen(2),
J4 (c4,1 r ) sen(4),
J2 (c2,2 r ) sen(2).
beracilndrica
tu
Ecuaciones Diferenciales II
139
140
[Captulo 3
z
a
u = 0,
u
r =a
= 0.
1
u u + uz uz
r
en donde el triedro ortonormal {ur , u , uz } se construye en trminos del triedro cartesiano {i, j, k} como sigue
u = ur ur +
ur = cos i + sen j,
u = sen i + cos j,
uz
ur
z
k
j
i
Ecuaciones Diferenciales II
uz = k.
3.4]
141
R,m
(a) = 0.
ecuacin esfricas
Jm
(a) = 0.
entonces
Si denotamos por {cm,
}N a los ceros2 de Jm
m, =
cm,
m Z+ , N.
3.4. La
r
a
Cei m + De i m
tico
asin
Aem, z + Bem, z .
de Helmholtz en coordenadas
En coordenadas esfricas
Dado el comportamiento
x = r sen cos ,
y = r sen sen ,
z = r cos ,
Jm
(x)
2
sen x (2m + 1)
x
4
+ (2m + 1)
cm,
.
4
Ecuaciones Diferenciales II
142
r
y
1
1
(sen u ) +
u = 0.
sen
sen2
Resolucinecuacin
b
srves m
O
ntica.
icau
ecn
u(r , , ) = R(r )Y (, )
1
1
(sen Y ) +
Y = Y .
sen
sen2
3.4.1.
de la
angular
Y (, ) = P ()(),
Por tanto,
() = Cei m .
que
1
L2 Y
1
(sen Y ) +
Y = 2
2
sen
sen
Ecuaciones Diferenciales II
[Captulo 3
3.4]
143
Asumiremos que m Z para poder asegurar la continuidad en el plano xz. Por otro
lado, usando la variable
:= cos
la ecuacin para P adopta la forma
m2
dP
d
(1 2 )
+
P = 0.
d
d
1 2
(3.14)
(3.15)
d|m| P
,
d |m|
= 0, 1, 2, . . . ,
(3.16)
que vienen dadas por los polinomios de Legendre cuya expresin (sin normalizar) es
P :=
d ( 2 1)
,
d
= 0, 1, . . . .
d|m|+ ( 2 1)
,
d |m|+
|m| , = 0, 1, . . . .
(3.17)
Obsrvese adems que estas soluciones son no triviales si y solo si |m| . Por tanto
las soluciones de la ecuacin angular pueden escribirse en la forma
aci
n
ecu
= 0, 1, 2, . . . , m = 0, 1, . . . , ,
que son las funciones denominadas armnicos esfricos donde la constante de normalizacin, siguiendo el convenio de Condon y Shortley, la tomaremos como
(|m|)! 1
(1)m 2+1
4 (+|m|)! 2 ! , m 0,
c,m :=
(|m|)! 1
2+1
m < 0.
4 (+|m|)! 2 ! ,
4
si .
Ecuaciones Diferenciales II
armnicos esfricos
144
[Captulo 3
Teniendo en cuenta que el valor absoluto Y,m es una funcin que no depende de ,
podemos ilustrar la variacin de los armnicos esfricos representando la superficie de
revolucin r = r (, ) := Y,m (, ) . Los armnicos esfricos constituyen adems
un conjunto ortonormal completo en
L2 (S 2 ) := f = f (, ) :
S2
f (, )
dS < ,
S2
f(, )g(, ) d S =
=0,1,... .
m=,...,
mal
(Y,m , Y ,m ) = mm
y toda funcin f (, ) de L2 (S 2 ) admite un desarrollo
f (, ) =
c,m Y,m (, )
,m
donde
c,m = (Y,m , f ) =
,m (, )f (, ) sen d d .
Y
Ecuaciones Diferenciales II
3.4]
Ejemplos Vamos a considerar ahora algunos ejemplos sencillos de armnicos esfricos asociados a = 0, 1, 2:
Cuando =0, tenemos m = 0. Ahora P0,0 = 1 y la constante de normalizacin
es c0,0 = 1/ 4 . Por tanto,
Y0,0 (, ) =
1
.
4
La grfica correspondiente es
P1,0 () =
P1,1 () = 1 2
d
( 2 1) = 2,
d
d2
( 2 1) = 2 1 2 .
d 2
Por ello,
Y1,0 (, ) =
Y1,1 (, ) =
3
sen ei ,
8
3
cos ,
4
Y1,1 (, ) =
3
sen e i .
8
Ecuaciones Diferenciales II
145
146
[Captulo 3
=1
Y1,0 (, )
Y1,1 (, )
Y2,0 (, ) =
Y2,1 (, ) =
Y2,2 (, ) =
5
(1 + 3 cos2 ),
16
15
sen cos ei ,
8
Y2,1 (, ) =
15
sen cos e i ,
8
15
sen2 e2 i ,
32
Y2,2 (, ) =
15
sen2 e2 i .
32
Ecuaciones Diferenciales II
3.4]
=2
Y2,2 (, )
Y2,1 (, )
Y2,0 (, )
1
32
385
(1 + 9 cos2 ) sen3 e3 i
Cuya representacin es
3.4.2.
Resolucinecuacin
de la
radial
r 2 R + 2r R ( + 1)R = 0
Ecuaciones Diferenciales II
147
148
[Captulo 3
1
r +1
L S := S +
1
S
r
d2
+ 2(l + 1)T + k2 )u.
dr 2
As, se obtiene
[L , T ] =
d2
, 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.
Por ello, si S0 verifica
L0 S0 = 0
entonces S := T S0 satisface
L S = 0.
As pues, nuestro problema se reduce a analizar la ecuacin
L0 S0 = S0 +
2
S + k 2 S0 = 0
r 0
Ecuaciones Diferenciales II
(3.18)
3.4]
149
sen kr
cos kr
+B
.
r
r
sen kr
1 d
r dr
+B
1 d
r dr
cos kr
sen kr
1 d
r dr
+ Br
1 d
r dr
cos kr
1 d
r dr
sen r
n (r ) := (r )
1 d
r dr
cos r
j (r )
n (r )
=1
cos r
sen r
r2
r
cos r
sen r
2
r
r
sen r
r
cos r
esfricas
=2
sen r
cos r
sen r
3 2
r3
r
r
cos r
sen r
cos r
3 3 3 2 +
r
r
r
3
(3.20)
cos r ( + 1)
r
2
n (r ) = sen r ( + 1)
r
2
j (r ) =
r .
Ecuaciones Diferenciales II
150
[Captulo 3
j0
Partculacuntica esfrica
j1
j2
j3
10
n0
n1
0,4
3.4.3.
n2
n3
en una caja
u + k2 u = 0,
E=
2 k2
2M
u|
r =a = 0.
2
2 c,n
2M a2
Ecuaciones Diferenciales II
3.4]
u,m,n (r , , ) = j
c,n
a
r Y,m (, ).
c0,1 = ,
c1,1 4,493409458,
c2,1 5,763459197,
y por ello las energa del estado fundamental y de los primeros excitados es aproximadamente
9,869604404,
2Ma2
20,190728557,
2Ma2
2
2Ma2
33,217461915.
Ecuaciones Diferenciales II
151
152
[Captulo 3
= 0, m = 0, n = 1
Para el primer excitado tenemos degeneracin 3, estos es el subespacio propio es tridimensional y est generado por {u1m1 }m=0,1 , para m = 0 y para m = 1 representamos las correspondientes densidades de probabilidad en los mencionados planos
= 1, m = 0, n = 1
3.4.4.
= 1, m = 1, n = 1
e
srica
u = 0,
ur |r =a = 0.
1
1
u u +
u u
r
r sen
Ecuaciones Diferenciales II
3.5]
u = sen i + cos j.
Estos vectores los dibujamos a continuacin
ur
u
r
j
mtodoinhomogneos
i
3.5. El
Au + Bu = f , x ,
ai (u) = gi , i = 1, . . . , r
bj (u) = hj , j = 1, . . . , s.
Ecuaciones Diferenciales II
153
154
[Captulo 3
sobre un dominio
= I 0 ,
,...,
u + B x1 , . . . , xn1 ;
u = f (x).
x0
x1
xn1
(3.21)
2. El sistema de condiciones de contorno y/o iniciales se divide en dos subsistemas. Uno de ellos
ai (u) = gi (x),
i = 1, . . . , r ,
(3.22)
bj
que
operan
solo
sobre
las
variables
D = {w C (0 ) : bj (w) = 0, j = 1, . . . , s},
(3.24)
en un espacio L2 (0 ).
4. Los trminos inhomogneos f y gi del problema admiten desarrollos de la
forma
f (x) =
gi (x) =
cim wm (x),
i = 1, . . . , r ,
Ecuaciones Diferenciales II
(3.25)
3.5]
155
Las incgnitas son entonces los coeficientes vm (x0 ) de la serie. Como las funciones wm forman un conjunto ortogonal, se verifica
(wm , u) = vm (x0 ) wm
(3.26)
Avm ,
(3.27)
fm .
(3.28)
(3.29)
S(0 )
Cmj hj (x) d S,
j
con Cmj siendo operadores actuando sobre los datos hj que habr que determinar
en cada caso. Por otro lado se verifica que
(Bwm , u) = (m wm , u) = m (wm , u) = m wm
vm ,
donde se ha tenido en cuenta que al ser B simtrico sus autovalores son nmeros
reales. De esta forma se obtiene que (3.28) adopta la forma
Avm + m vm +
Im (h)
wm
= fm .
(3.30)
Ecuaciones Diferenciales II
156
[Captulo 3
ai (vm ).
(3.31)
cim wm (x),
(3.32)
es claro que
(wm , gi ) = wm
cim .
(3.33)
que son junto con la ecuacin (3.30) las condiciones para determinar los coeficientes vm del desarrollo (3.25) buscado.
4. Una simplificacin considerable se encuentra cuando las funciones hj son cero,
es decir cuando las condiciones de contorno (3.23) son homogneas
bj (u) = 0,
j = 1, . . . , s.
(3.34)
Los coeficientes buscados sern entonces las soluciones de esta ecuacin diferencial ordinaria que satisfacen las condiciones
ai (vm ) = cim .
Es de observar que estas ecuaciones que caracterizan vm se obtienen simplemente
sustituyendo los desarrollos (3.25) y (3.32) en la EDP (3.21) y en las condiciones
(3.22), e identificando coeficientes en los correspondientes desarrollos en autofunciones que se obtienen. Este mtodo alternativo admite una generalizacin natural
al caso en que los desarrollos en autofunciones de los datos f y gi sean combinaciones lineales generalizadas de autofunciones del operador B, que utilicen
operaciones de integracin como la transformada de Fourier. En tales situaciones
se busca una solucin u en la forma de un desarrollo del mismo tipo, se sustituye en (3.21) y (3.22) y se identifican los coeficientes en los desarrollos obtenidos
para obtener ecuaciones anlogas a (3.34) y (3.33).
Ecuaciones Diferenciales II
3.5]
157
5. Las hiptesis sobre la existencia de desarrollos de las funciones f y gi en autofunciones de B siempre se cumple cuando el conjunto de autofunciones de B es
completo, lo cual es cierto para amplias clases de operadores simtricos vistos
en el captulo anterior.
r u
+ B x1 , . . . , xn1 ;
,...,
u = f (x).
r
t
x1
xn1
con a C.
2. La solucin debe satisfacer r condiciones iniciales
iu
(t0 , x) = gi (x),
t i
i = 1, . . . , r .
j = 1, . . . , s,
con operadores bj que operan slo sobre las variables (x1 , . . . , xn1 ).
En este caso el operador A es
Au = a
r u
,
t r
i = 1, . . . , r .
2
2
x
y 2
(3.35)
u(0, y) = 0, u(a, y) = 0,
u(x, 0) = sen
, u(x, b) = 0.
a
Este problema describe la distribucin estacionaria de la temperatura en una
placa [0, a] [0, b], con todos sus lados a temperatura nula salvo uno que tiene
una distribucin de temperatura tipo seno. El problema espectral es
w
xx = w,
w|x=0 = 0,
w|x=a = 0.
Ecuaciones Diferenciales II
158
[Captulo 3
n2 2
,
a2
wn (x) = sen
n x
,
a
n = 1, 2, . . . .
u(x, y) =
vn (y) sen
n=1
n x
a
x
, buscamos nuesa
x
.
a
= 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.
A=
e a
b
2 senh a
B=
e a
b
2 senh a
y as la solucin ser
u(x, y) =
a (b y)
senh
a
senh
sen
x.
a
Ecuaciones Diferenciales II
3.5]
200
0
0
y
2
5
u
uxx + V (x)u, x (a, b), t > 0,
=
2m
u t=0 = g(x),
x=a = 0,
u
= 0,
x=b
2
2m
uxx + V (x)u
w
x=a = 0,
w
= 0.
x=b
vn (t)wn (x)
n=1
Ecuaciones Diferenciales II
159
160
[Captulo 3
n=1
d vn
(t) + n vn (t) wn (x) = 0,
dt
conducen a
i
d vn
(t) + n vn (t) = 0;
dt
cuya solucin es
vn (t) = an e i
n
t
cn wn (x),
n=1
c n e i
n
t
wn (x).
n=1
u
=
2m
l
l
=
0,
x=0
= 0,
x=l
Esto es, una partcula cuntica libre confinada en el segmento (0, l). El problema de autovalores es el ya bien conocido
wxx = w,
2m
w
x=0 = 0,
w
= 0,
x=l
con autovalores
n =
2 n2 2
, n = 1, 2, . . .
2m l2
y correspondientes autofunciones dadas por
wn (x) = sen
n
x ,
l
n = 1, 2, . . . .
2
2
i t
i 9 t
x e 2m l2 sen 3 x e 2m l2
l
l
Ecuaciones Diferenciales II
3.5]
161
|u|2
0
0
/2
u
=
2m
2
6
u t=0 = 2 i 2 cos
x + 7 sen
x,
l
l
x=0 = u x=l ,
ux
= ux
.
x=0
x=l
wxx = w,
2m
w
x=0 = w x=l ,
wx
= wx
.
x=0
x=l
2 4n2 2
2m
l2
n = 0, 1, 2, . . .
n2
n2
()
x, wn (x) = sen
x
l
l
(+)
n=1,2,...
()
y w3 . Por
4 2
36 2
2
6
i
i
x e 2m l2 + 7 sen
x e 2m l2 .
l
l
Ecuaciones Diferenciales II
162
[Captulo 3
2
1
iut = 2m uxx + 2 kx 2 u,
u t=0 = g(x),
x = 0,
u
x+ = 0,
x R, t > 0,
2
2m
wxx +
1
kx 2 w = w, x R, t > 0,
2
w
x = 0,
w
= 0.
x+
Introduciendo K :=
m
k,
2
:=
x
4
Kx y :=
2m
/ K
2
podemos escribir
2 w = w
wx x + x
que es la ecuacin de Hermite que una vez impuestas las condiciones de
contorno en el infinito nos lleva a los autovalores
n = 0, 1, 2, . . .
n = 2n + 1,
con correspondientes autofunciones
= Hn (x)e
wn (x)
2
x
2
n = 0, 1, 2, . . . .
Notemos que estamos usando los polinomios de Hermite Hn . Estas autofunciones forman una base ortogonal de L2 (R). Por tanto,
n =
k
(2n + 1),
2m
wn (x) = Hn
mk
x e
n = 0, 1, 2, . . .
mk 2
2 x
n = 0, 1, 2, . . . .
Luego si
g(x) =
cn wn (x)
n=0
la solucin es
u(t, x) =
cn e
k
2m (2n+1)t
n=0
Ecuaciones Diferenciales II
Hn
mk
x e
mk 2
2 x
3.5]
2 3
3 2
t=0 = l2 x l x + x,
u
u x=0 = u x=l ,
u
=u
.
x x=0
x x=l
Nos detenemos un momento para discutir la consistencia entre la condicin inicial y las condiciones de frontera. Si g(x) = ax 3 + bx 2 + x y exigimos que
g(0) = g(l) y g (0) = g (l) nos conducen a las condiciones
al2 + bl + c = 0,
3al + 2b = 0,
w x
wxx = w,
x=0
=w
x=0
x=l ,
= wx
x=l .
2
l
y autofunciones
wn (x) = ei nx .
Para aplicar el mtodo de desarrollo en autofunciones tenemos que determinar
la serie de Fourier
g(x) =
cn ei nx
nZ
con
1 l
g(x)e i nx d x.
l 0
Como nuestra g es un polinomio, usaremos las integrales
i n l mIm1,n
l
x m e i nx d x =
Im,n :=
lm+1
m+1
cn =
n 0,
n = 0.
2
=
i
n
n = 0,
n 0,
Ecuaciones Diferenciales II
163
164
[Captulo 3
y esto a su vez a
I2,n
y por ltimo a
I3,n
3
l
3
=
l2
2l
i
+
n n2 2
n = 0,
n 0,
4
l
4
=
3
2
i l + 3l i 6l
n n2 2
n3 3
n = 0,
n 0.
x
+
x
=
+
l2
l
l l2 4
l 3
2
2
6l
l3
3
l
3l2
2l
l2
+
i
i
+
+ 2 2 +i
i
ei nx
2
2
2
3
3
l
n
n
l
n
n
n
n0
=
24
2
l 3
1
sen nx.
n3
n=1
vn (t) sen nx
n=1
que implica
vn
= n vn ,
vn (0) =
24 1
l2 3 n3
y por ello
vn (t) =
24 1 n2 2 t
e
.
l2 3 n3
Finalmente la solucin es
funcsin
lofuncin
24
u(t, x) = 2 3
l
1 n2 2 t
e
sen nx.
3
n
n=1
La
aparezcan
g (x) es una
senos.
Ecuaciones Diferenciales II
3.5]
0.1
x
t
1
ut
= 0,
t=0
x=1 = u x=1 ,
ux x=1 = ux x=1 .
El problema de autovalores es como en los casos anteriores. Pasamos a desarrollar x(x 2 1) en serie de Fourier de exponenciales
x(x 2 1) =
cn ei n x
nZ
con
cn =
1
2
1
1
x(x 2 1)e i n x d x
n = 0,
0
cn =
(1)n 6 i
n 0.
n3 3
Por tanto, la serie es
g(x) := x(x 2 1) = 12
nZ+
(1)n
sen n x.
n3 3
vn (t) sen n x
nN
Ecuaciones Diferenciales II
165
166
[Captulo 3
lleva a
vn
= n2 2 vn ,
vn (0) = 12 (1) ,
n3 3
v (0) = 0.
n
Por ello
vn (t) = 12
(1)n
cos n t
n3 3
y la solucin es
u(t, x) = 12
(1)n
cos n t sen n x.
n3 3
n=1
1
[sen n (x + t) + sen n (x t)]
2
1
(1)n
(1)n
12
sen
n
(x
+
t)
+
12
sen n (x t) .
2
n3 3
n3 3
n=1
n=1
gper (x + t) + gper (x t)
2
0,4
0,2
0
0,2
2
1
0t
0
x
1
1
Ecuaciones Diferenciales II
3.5]
3.5.3. El
mtodo
de la transformada de Fourier
ut = a2 uxx , t > 0, x R
u
= f (x).
t=0
En este ejemplo el problema de autovalores que hay que resolver para aplicar el
MDA es
wxx = k2 w, x R,
que como sabemos no tiene soluciones en L2 (R). Sin embargo las soluciones
{ei kx }kR , an no siendo de cuadrado integrable, juegan el papel de base ortogonal generalizada y la propuesta del MDA es buscar una solucin de la forma
v(k, t)ei kx d k.
u(t, x) =
vt (k, t) + a2 k2 v(k, t) ei kx d k = 0,
v(k, t) = c(k)ea
2 k2 t
c(k)ei kxa
d k.
c(k)ei kx d k.
R
167
168
[Captulo 3
2 2
u(t, x) =
f (x )ei k(xx )a k t d k d x .
2 R R
Podemos adems efectuar la integracin respecto de k utilizando la identidad
1
2
ei k(xx
)a2 k2 t
dk =
(xx )2
1
e 4a2 t ,
2a t
que se deduce inmediatamente, renombrando variables y parmetros, de la transformada de Fourier de la funcin gaussiana
1
2
2 x2
e i kx ea
2
1
k
e 4a2 .
2a
dx =
2a t
f (x )e
)2
4a t
(xx2
d x
(3.36)
ut = a2 u, t > 0, x = (x1 , . . . , xn ) Rn
u
= f (x), .
(3.37)
t=0
En este ejemplo el problema de autovalores que hay que resolver para aplicar el
MDA es
w = w, x Rn .
Por las propiedades de la transformada de Fourier sabemos que las autofunciones
{ei kx }k=(k1 ,...,kn )Rn , forman una base ortogonal generalizada. El MDA nos lleva
entonces a buscar una solucin de la forma
n
u(t, x) =
Rn
v(k, t)ei kx dn k,
k x :=
kj x j .
j=1
Rn
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
Rn
2 |k|2 t
c(k)ei kxa
Ecuaciones Diferenciales II
dn k.
3.5]
169
Haciendo t = 0 obtenemos
f (x) =
Rn
c(k)ei kx dn k.
c(k) =
Rn
f (x)e i kx dn x.
As la expresin de u(t, x) es
u(t, x) =
1
(2 )n
Rn
Rn
f (x )ei k(xx
)a2 |k|2 t
dn k dn x .
Rn
ei k(xx
)a2 |k|2 t
dn k =
1
2
j=1
e
R
d kj ,
1
e
d kj =
2a t
(xj x )2
j
4a2 t
(2a t)n
Rn
f (x )e
|xx |2
4a2 t
dn x
(3.38)
3. Los resultados de los dos ejemplos anteriores pueden aplicarse para deducir
frmulas anlogas para las soluciones de la ecuacin de Schrdinger libre en
cualquier dimensin
i u = 2 u,
t
2m
u
= f (x).
t > 0, x = (x1 , . . . , xn ) Rn
(3.39)
t=0
Obsrvese que este problema de condiciones iniciales para la ecuacin de Schrdinger se obtiene de (3.37) simplemente tomando
a2 = i
2m
Por tanto haciendo esa identificacin del parmetro a en (3.8) deducimos la siguiente expresin de la solucin de (3.39)
u(t, x) =
m
2 i t
n
2
Rn
f (x )ei
m|xx |2
2 t
dn x
Ecuaciones Diferenciales II
(3.40)
170
[Captulo 3
u
t=0 = f (x),
ut
= g(x).
t=0
Podemos aplicar el MDA usando, como en el ejemplo de la ecuacin del calor, las
autofunciones {ei kx }kR del problema espectral
wxx = k2 w,
x R,
v(k, t)ei kx d k.
R
A(k) + B(k) ei kx d k,
i k A(k) B(k) ei kx d k.
f(k)ei kx d k,
R
i kx
d k,
g(k)e
Ecuaciones Diferenciales II
3.5]
171
g(k)
=
2
f (x)e i kx d k,
g(x)e i kx d k,
concluimos que
g(k)
= i k(A(k) B(k)).
1
1
f (k) +
g(k)
,
2
ik
B(k) =
1
1
f (k)
g(k)
,
2
ik
1
2
f(k)ei k(x+t) d k +
+
1
2
f(k)ei k(xt) d k
R
g(k)
R
1 i k(x+t)
dk
e
ik
g(k)
R
1 i k(xt)
dk .
e
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
1
i kx
dk =
g(k)e
ik
g(k)
R
1
+
ik
x
0
ei kx d x d k =
g(k)
dk+
ik
g(x) d x,
0
(3.41)
x+t
xt
g(x) d x.
Reuniendo esta informacin recuperamos la frmula de dAlambert para la solucin del problema de condiciones iniciales de la ecuacin de ondas unidimensional
1
1 x+t
u(t, x) = [f (x + t) + f (x t)] +
g(x) d x.
2
2 xt
5. Por ltimo, consideramos el siguiente problema de condiciones iniciales y de
contorno para la ecuacin del calor en una placa infinita de ancho L
ut = uxx + uyy ,
sen y
=
g(x,
y)
:=
u|
t=0
0
u|y=0 = 0,
u|y=L = 0.
x [1, 1],
x [1, 1],
Ecuaciones Diferenciales II
frmula
dAlambert
de
172
[Captulo 3
w|y=0 = 0,
w|y=L = 0.
Que, a su vez, es un problema de contorno homogneo, para la ecuacin de Helmholtz bidimensional, en la que podemos separar variables en coordenadas cartesianas. As, las soluciones las escribimos como
w(x, y) = a1 ei k1 x + b1 e i k1 x
a2 ei k2 y + b2 e i k2 y
a2 + b2 = 0,
ei k2 L a2 + e i k2 L b2 = 0.
,
L
n = 1, 2, . . . .
2
L2
kR,nN
y
L
kR,nN
Observemos, que aparecen un conjunto continuo de autovalores, ya que en la variable x no tenemos condiciones de contorno. El autovalor asociado k2 lo hemos
escogido real.
La solucin se expresar segn el MDA como
u(t, x, y) =
n=1 R
y d k.
L
Introduciendo esta expresin en la EDP se obtiene las siguiente EDO para vn (k, t)
2
vn
(k, t) + k2 + n2 2 vn (k, t) = 0
t
L
cuya solucin es
vn (k, t) = an e
(k2 +n2
2
)t
L2
Para saber que autofunciones intervienen en este desarrollo analizamos los desarrollos correspondientes de las inhomogeneidades. En este caso slo es la
Ecuaciones Diferenciales II
3.5]
funcin g(x, y), cuya forma indica que se va a poder expresar en trminos de
g(x, y) =
en donde
c(k) =
1
2
Esto es,
g(x, y) =
y
L
sen k
.
k
e i kx d x =
sen k i kx
e
d k sen y.
k
L
u(t, x, y) = e
2 t
L
sen
y
L
sen k i kx
d k.
e
k
2t
ek
I(x, t) :=
R
ek
sen k i kx
e
dk
k
1
2
2t
ek
1 i k(x+1)
ei k(x1) ) = J(x + 1, t) J(x 1, t)
(e
ik
donde
J(x, t) =
1
2
2t
ek
1 i kx
d k.
e
ik
1
2
ek t
dk+
ik
1
2
ek t ei kx d k d x.
x
0
e d
x1
x+1
1
erf
erf
2
2 t
2 t
1
x1
x+1
erf
erf
2
2 t
2 t
2
t
L2
sen
Ecuaciones Diferenciales II
y.
L
173
elctrosticam
ecnica
174
y que
[Captulo 3
erf(x) = erf(x).
Por tanto, cuando t 0+ la funcin
x1
1
x+1
erf
erf
2
2 t
2 t
de flui-
ai (u) = gi ,
i = 1, . . . , m.
Aqu representa la distribucin de carga. Por otro lado, en mecnica de fluidos perfectos el potencial de velocidades est determinado por
u = 0,
ai (u) = gi ,
3.6.1.
i = 1, . . . , m.
Unicidad
u = ,
y
S()
=g
u = ,
u
= g.
n S()
Ecuaciones Diferenciales II
3.6]
R3
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S()
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
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S2 ()
S3 ()
A d3 x =
S()
A d S.
(|u|2 + uu) d3 x =
S()
u
d S.
n
u = 0,
u
=0
S()
u = 0,
u
= 0,
n S()
Ecuaciones Diferenciales II
175
176
[Captulo 3
|u|2 d3 x = 0
R3
S1 ()
R
S2 ()
S3 ()
|u|2 d3 x =
S(0,R)
u
dS
n
|u|2 d3 x =
S(0,R)
Ecuaciones Diferenciales II
uur d S.
3.6]
S(0,R)
uur d S 4 R 2 m
ax |uur | ,
S(0,R)
y suponiendo que
fm m
u=O
1
,
r
r ,
d3 x = lm
R R
d3 x C lm
1
= 0.
R
i
l
i
t
t
e
c
n
e
c
r
o
s
c
a
tra
e
e
srica ca
1
,
r
r .
ai (u) = gi ,
i = 1, . . . , n
ai (u) = gi ,
i = 1, . . . , n
Bu :=
1
1
(sen u ) +
u .
sen
sen2
Ecuaciones Diferenciales II
177
178
[Captulo 3
Vemos que slo hay condiciones de contorno del primer tipo y que tanto los trminos
tipo bj como hj estn ausentes. El operador B es simtrico en C (S 2 ) y el correspondiente problema de autovalores se resuelve como sigue
BYl,m = l(l + 1)Yl,m ,
l = 0, 1, 2, . . . m = l, . . . , l.
lm Yl,m (, ),
l,m
gi (, ) =
cilm Yl,m
l,m
vlm Yl,m (, ).
l,m
lctrico
e
lctrostico
e
r 2 vlm
+ 2r vlm
l(l + 1)vlm = lm
3.6.3.
en un campo
a
y
x
E0 k
Ecuaciones Diferenciales II
3.6]
u = 0,
u|r =a = u0 ,
u E0 z + V0 + O
1
r
r .
,m
A,m r + B,m
1
r +1
Y,m (, ).
1
4
Y1,0 (, ) + V0 4 Y0,0 + O
.
3
r
1
1
Y0,0 (, ) + A1,0 r + B1,0 2 Y1,0 (, ).
r
r
A0,0 = 4 V0 ,
A0,0 + B0,0 = 4 u0 ,
a
4
1
E0 .
A1,0 a + B1,0
A1,0 =
=
0,
3
a2
Por tanto,
u(r , , ) = V0 +
(u0 V0 )a
a3
E0 r 2 cos .
r
r
(3.42)
u(r , , ) = V0 +
Q
a3
E0 r 2 cos .
r
r
El campo elctrico E = u
E :=
Q
a3
a3
+ E0 1 + 2 3 cos ur E0 1 3 sen u .
2
r
r
r
Ecuaciones Diferenciales II
179
180
[Captulo 3
Q
+ 3E0 cos .
a2
Q
3a2 E0
Q
.
3a2 E0
< 1,
3.6]
Q
= 0.
E0
Q
3E0
3/2
+ 2a3 .
As, tendremos dos races reales (una negativa y otra positiva (P (0) > 0)) si
Q
3E0 a2
=1
y tres races reales (una negativa y dos positivas (P (0) > 0))si
Q
3E0 a2
> 1.
Ocurre que si
Q
3E0 a2
el valor r = a es raz. Por otro lado si
Q
3E0 a2
=1
> 1 r+ > a
Q
3E0 a2
<0
> 1,
Ecuaciones Diferenciales II
181
182
[Captulo 3
1.
Q
3E0 a2
3.6.4.
Q
3E0 a2
<1
Q
3E0 a2
=1
e
srica
>1
a
y
x
v0 k
ur |r =a = 0,
u v0 z + O
1
,
r
Ecuaciones Diferenciales II
r .
3.7]
,m
A,m r + B,m
1
r +1
Y,m (, ).
1
4
Y1,0 (, ) + O
,
3
r
r .
1
Y1,0 (, ).
r2
A1,0 =
v0 ,
3
A1,0 2B1,0
= 0.
a3
Por ello,
B1,0 =
1
2
4
v0 a3 .
3
As
u(r , , ) = v0 r +
a3
cos
2r 2
y la velocidad es
v = v0
a3
a3
cos
1
+
sen u .
r
r3
2r 3
Cuestiones
1. Determinar cual de las opciones siguientes corresponde a las ondas estacionarias, en coordenadas esfricas, u(t, r , , ) = e i t w(r , , ) de la siguiente
ecuacin de ondas
utt = u, r < a,
u|r =a = 0.
a) (jl (kr ) + nl (kr ))Yl,m (, ) con jl (ka) + nl (ka) = 0 y = k2
183
184
[Captulo 3
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.
2. Determinar cual de las opciones siguientes corresponde a las soluciones regulares, en coordenadas cilndricas, u(r , , z) del problema de Neumann siguiente
u = 0, r < a,
u
= 0.
r r =a
(a) = 0
a) Jm (r ) cos(m)ez con m Z, Jm
(a) = 0
b) Nm (r )sen(m)ez con m Z, Jm
(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]
Resolucin
185
B(0,1)
ud3 x =
S(0,1)
udS
3.7.2.
Problemas
c(k) ek t ei kx d k.
1
i Dk
2
1
1
1
i Dk
+
.
2
1ik 1+ik
e(1i k)x d x +
e(1i k)x d x
Esto es,
c(k) = i Dk
2ik
2
1
=
.
2
2 1 + k
(1 + k2 )2
2i
k
2
ek t ei kx d k.
(1 + k2 )2
u(t, x) =
2 t
x e|x | e
(x x)2
4t
d x.
Ecuaciones Diferenciales II
186
[Captulo 3
Para efectuar esta integral procedemos como sigue. Observemos que u(t, x) =
(x x)2
4t
= (x x) e
x (x
1
x e
2 t 0
x)2
4t
1
t
(x x)2
4t
x
2
x)2
4t
d x . Teniendo en cuen-
t G(t, x) + t e 4t
, donde G(t, x) :=
x x
s 2 d s. La
bio de variable s = 2t + t llegamos a G(t, x) = 2 t ex+t x2t
e
2 t
2
x
funcin error erf x := 2 0 es d s permite expresar G(t, x) = t ex+t 1 +
erf
x2t
2 t
u(t, x) =
. Por tanto,
x
x 2t
t ex+t 1 + erf
2
2 t
x
x + 2t
+ t ex+t 1 erf
2
2 t
u(t, x)
0.2
0,2
5
10
x
0
10
u|t=0 = sen x,
ut |t=0 = |x|,
u|x=1 = u|x=1 ,
ux |x=1 = ux |x=1 .
Resolucin Para aplicar el MDA debemos considerar el siguiente problema de
autovalores
wxx = w, x [1, 1]
w|x=1 = w|x=1 ,
wx |x=1 = wx |x=1 .
Ecuaciones Diferenciales II
3.7]
v0 (t) = A0 + B0 t,
vn (t) = An cos n t + Bn sen n t, n = 1, 2, . . . ,
n cos n t + B
n sen n t, n = 1, 2, . . . .
n (t) = A
v
a0 = 2 0 x d x = 1,
0,
si n es par.
1
=
2
x
cos
n
x
d
x
=
a
n
0
4
2 2 , si n es impar.
1 .
1) x}
n=0 , sen x, y por tanto los nicos coeficientes no nulos son v0 , {v2n+1 }n=0 , v
Por todo ello,
A
=
v
(0)
=
0,
0
0
B0 = v0 (0) = 2 ,
4
1 (0) = 1,
A1 = v
1 = 0,
B1 = v
con n = 0, 1, . . . . Lo que conduce a
t
4
u(t, x) = 3
2
1
sen((2n + 1) t) cos((2n + 1) x) + cos( t) sen( x).
(2n + 1)3
n=0
1
4
1
t 3
+
(sen((2n + 1) (x + t)) sen((2n + 1) (x t)) .
2
n=0 (2n + 1)3
u(t, x) =
1
x
4
n=0 (2n+1)3 sen((2n + 1) x) que se puede demostrar converge puntual2 3
x
fper (x + t) + fper (x t) 1
+
2
2
x+t
xt
gper (s) d s.
Ecuaciones Diferenciales II
187
188
[Captulo 3
5
u(t, x)
0
1
x
5
1
u = 0, 1 < r < 2,
u|r =1 = u|r =2 .
Resolucin Como sabemos la resolucin por separacin de variables en coordenadas cilndricas de la ecuacin de Laplace conduce a considerar
u(r , , z) = R,m (r )m ()Z (z),
donde
z
z ,
Z (z) = A e +B e
ei m +D e i m ,
m () = C
c1 ln r + c2 ,
= m = 0,
m
m
R,m (r ) = c1 r + c2 r
,
0, m = 0,
EJm (r ) + F Nm (r ), 0.
Ecuaciones Diferenciales II
3.7]
u|t=0 = x 3 /3 x 2 /2,
ux |x=0 = 0,
u |
= 0.
x x=1
v0 (t)
vn (t) cos(n x),
+
2
n=1
v0 (t) = v0 (0),
2 2t
n = 1, . . . , .
x2
1
x3
dx = ,
3
2
6
0
4(1 (1)n )
cos(n x)dx =
,
n4 4
v0 (0) = 2
1
vn (0) = 2
x3
x2
3
2
n = 1, . . . ..
Debemos subrayar que en la segunda integral hemos integrado por partes dos
veces. Por todo ello concluimos que
u(t, x) =
1
8
2 2
+
en t cos(n x).
4
4
12 n impar n
1
.
12
Ecuaciones Diferenciales II
189
190
[Captulo 3
u + k2 u = 0,
u|r =1 = 0,
= 0.
r r =2
Ayuda: j0 (r ) =
Resolucin
1 < r < 2,
senr
cos r
, n0 (r ) =
.
r
r
Aj (2k) + Bn (2k) = 0.
0
0,
u|r =1 = 0,
r > 1,
u|r = 0.
Ecuaciones Diferenciales II
3.7]
w|r =1 = 0,
w|r = 0.
Como sabemos la separacin de variables en coordenadas esfricas conduce a
las siguientes soluciones de la ecuacin de Helmholtz
Rl (r )Ylm (, ),
donde Ylm son los armnicos esfricos y Rl es una funcin que toma una forma
u otra dependiendo de si es nulo o no. Cuando = 0 tenemos Rl (r ) = ar l +
b/r l+1 , pero las condiciones de contorno imponen a = 0 y a + b = 0 luego la
solucin es trivial. Si 0 la funcin radial es Rl (r ) = ajl (r ) + bnl (r ),
donde jl y nl son las funciones de Bessel y Neumann esfricas respectivamente,
satisfacindose de modo automtico la condicin de contorno en r . La
condicin de contorno en r = 1 impone que la funcin radial es proporcional a
nl ()jl (r ) jl ()nl (r ). Por todo ello las ondas estacionarias pedidas son
aeit (nl ()jl (r ) jl ()nl (r ))Ylm (, ),
> 0,
u|x=0 = 0, u|x=2 = 0.
w|x=2 = 0,
que como sabemos tiene como autovalores a n = n2 /4 con autofunciones
wn (x) = sen(nx/2). Debemos desarrollar ahora las condiciones iniciales u|t=0 =
g1 (x) := x(x 2 ), ut |t=0 = g2 (x) = 0 en trminos de estas autofunciones. Por
tanto, es necesario en clculo de la serie de Fourier en senos de gi (x):
gi (x) =
n=1
bi,n sen(nx/2),
bi,n :=
2
0
sen(nx/2)gi (x),
Ecuaciones Diferenciales II
191
192
0,
[Captulo 3
para n par,
32
,
n3
para n impar.
vn (t)sen(nx/2),
n=1
vn
(0) = b2,n ,
32
1
cos(nt/2)sen(nx/2),
n impar n3
1
1
1 32
32
sen(n(x t)/2) +
sen(n(x + t)/2) .
3
2 n impar n
n impar n3
u(x, 0) = ex ,
Ayuda:
1
2
x 2 eikx dx
e
1
2
ek /4 .
2
1
2
c(k)e(ik+k
2 )t
ex eikx dx =
Ecuaciones Diferenciales II
eikx dk
1
2
ek /4 .
2
3.7]
2 (t+1/4)
ek
193
eik(tx) dk
2X2
ea
eiKX dX =
1
2
e(tx) /(1+4t)
1 + 4t
u|x=1 = 0, u|x=1 = 0.
Ayuda:
2
ab
a+b
sen(ax)sen(bx)dx =
1
sen(2ax)
x
,
2
2a
Resolucin
ab
a = b.
vn (t)sen
n=1
n
(x + 1) .
2
n2 2
n
u(x, t) =
cn e 4 t sen
(x + 1) .
2
n=1
n2 2
4 t
y el
cn =
x 2 sen( x)sen
n
(x + 1) dx.
2
Desarrollando el ltimo factor del integrando y analizando la paridad de los integrandos que as resultan concluimos que
0
n es impar,
cn =
(1)m 1 x 2 sen( x)sen(m x)dx n = 2m es par,
1
Ecuaciones Diferenciales II
194
[Captulo 3
2 2 3
cn = 6 2
8m
2
(m 1)2
n es impar,
n = 2,
n = 2m es par y n > 2.
u(t, x) =
8m
2 2 3 2 t
2 2
e
sen( (x + 1))
em t sen(m (x + 1)).
2
2
2
6
(m 1)
m=2
u = 0,
u|r =1 = sen2 .
Resolucin
u|r =1 = sen2 .
m=1
+ r v +
Las funciones vm , wm se caracterizan por ser soluciones de r 2 vm
m
m vm = 0. Teniendo en cuenta ahora la regularidad de la solucin para r = 0
concluimos que v0 = c0 y que vm = cm r m y wm = dm r m , donde los coeficientes
cm , dm los determina la condicin de contorno sen2 = 1/2 1/2 cos(2). Por
tanto el desarrollo de la solucin es
u(r , ) =
1 r 2 cos(2)
.
2
Ecuaciones Diferenciales II
3.7]
195
11. Resolver utilizando la transformada de Fourier el siguiente problema de condiciones iniciales para la ecuacin del calor en el plano
ut = uxx + uyy ,
u|t=0 = x 2 ex
Ayuda:
x 2 eikx dx
e
Resolucin
k2 /4
e
.
donde
2 y 2
t > 0, (x, y) R2 ,
R2
v
2
2
= (k2 + q2 )v y por ello v = c(k, q)e(k +q )t . As
t
u(t, x, y) =
R2
2 +q 2 )t
c(k, q)e(k
ei(kx+qy) dkdq
y por ello
u(t, x, y) =
R2
1
4 2
2 (t+1/4)
(k2 2)ek
eikx dk
1
2
eq
Ecuaciones Diferenciales II
2 (t+1/4)
eiqy dq
196
[Captulo 3
u|z=0 = 0.
Resolucin
2 2 z
2 2
i
k
i
k
neales de R,m (r )m ()Z (z) donde Z = Am e
+ Dm e
, m =
im
im
+ Dm e
y
Cm e
R,m
= 0, m = 0,
c1 ln r + c2
m
m
= c1 r + c2 r
= 0, m 0,
EJm (r ) + F Nm (r ) 0, m 0.
= 0, m = 0,
c 2
m
= c1 r
= 0, m 0,
EJm (r ) 0, m 0.
cm,j
a
siendo {cm,j }
j=1 los consecutivos ceros de Jm .
Ecuaciones Diferenciales II
3.7]
ut = uxx ,
ux |x=0 = 0,
u|x=1 = 0.
Resolucin
Bw = w,
en el espacio {w C ([0, 1], wx |x=0 = 0) y w|x=1 = 0}. Se deduce fcilmente que los autovalores son n = k2n con kn := (n + 1/2) y las autofunciones
wn := cos(kn x). Como las condiciones de contorno son separadas para un operador de SturmLiouville regular el espectro es no degenerado y el conjunto de
autofunciones forma base ortogonal. Por ello, podemos desarrollar la inhomogeneidad sen( x) en esta base con
sen( x) =
cn cos(kn x)
n=1
con
cn =
1
0
cos(kn x) sen( x) d x =
2
.
4n2 + 4n 3
vn (t)wn (x)
n=1
donde (ahora A = /t y Av + v = 0)
vn
+ k2n vn = 0,
t
y vn (0) = cn .
2
2 2
e(n+1/2) t cos((n + 1/2) x).
2 + 4n 3
4n
n=1
u|r =1 = 0,
u|r =2 = 0.
Ecuaciones Diferenciales II
197
198
[Captulo 3
= Cei m + De i m ,
c1 log r + c2 ,
R = c1 r m + c2 /r m ,
EJm (r ) + F Nm (r ),
= 0, m = 0,
= 0, m 0,
0.
Como no queremos que aparezcan contribuciones dependientes de theta ponemos m = 0 y = 1. Por tanto las soluciones son u = R(r )Z(z) con
Z = Aez + Bez ,
c1 log r + c2 ,
R=
EJ0 (r ) + F N0 (r ),
= 0,
0.
/2 r ,
u|r = /2 = cos ,
u|r = = 0.
Ayuda: Y1,0 =
Resolucin
3
cos .
4
La ecuacin para w es
w + w = 0,
/2 r ,
w|r = /2 = cos ,
w|r = = 0.
Ecuaciones Diferenciales II
3.7]
d
r + r 2,
dr
1
d
d2
d
1
B=
sen
+
,
sen d
d
sen2 d 2
A=r
4
Y1,0 (, ).
3
sen r
cos r
,
r2
r
n1 =
cos r
sen r
.
r2
r
c1 c2 =
,
3
c1 + c2 = 0,
que implica
c1 =
2
3
,
3
c2 =
2
3
y la solucin es
u=
2
3
Ecuaciones Diferenciales II
199
200
3.7.3.
[Captulo 3
Ejercicios
1. Una partcula cuntica en una dimensin espacial encerrada en una caja de longitud L es descrita por un problema de contorno del tipo:
u|
x=0 = 0, u|x=L = 0.
u|
x=0 = 0, u|x= = 0.
u|
x=0 = 0, (ux + u)|x=1 = 0,
= 0.
n paredes
= 0.
n pared
Ecuaciones Diferenciales II
3.7]
|m|
2
|m|
x Q(x),
m2
)P = 0.
1 x2
9. Bajo determinadas condiciones, ciertas componentes del campo electromagntico confinado entre dos esferas concntricas son descritas por el problema de
contorno en coordenadas esfricas:
u|
paredes = 0.
u|x=0 = 0 , u|x=a = 0 ,
u|
= x(a x) , u|
= 0,
y=0
y=b
u(x, 0) = 0 ,
utilizando el mtodo de desarrollo en autofunciones.
Ecuaciones Diferenciales II
201
202
[Captulo 3
14. Una cuerda con los extremos fijos sometida a una fuerza exterior satisface el
siguiente problema de valores iniciales:
2 x
u|x=0 = 0 , u|x=l = 0 ,
15. Una partcula cuntica en un pozo infinito en una dimensin espacial obedece el
problema de valores iniciales
i
u
=
2m
u(0, t) = 0 , u(l, t) = 0 ,
sen
r ,
u t=0 =
r
2
u+
= u r =2 = 0 .
n r =1
sen 2r t
e ,
ut = u +
r
sen r
u
.
t=0 =
r
t > 0,
u = , r > R ,
u r =R = z ,
u
= 0.
r r =R
u = 0, r < R ,
u
= g() .
r =R
Ecuaciones Diferenciales II
3.7]
u
u
(0, t) = h1 (t) ,
(l, t) = h2 (t) ,
x
x
u(x, 0) = 0 ,
2m
u
u
(0, t) =
(l, t)
u(0, t) = u(l, t) ,
x
x
x,
si 0 < x < 2 ,
u(x, 0) =
l x,
si 2l < x < l .
22. Considrese un cilindro de radio R y altura h situado sobre el plano z = 0.
Resolver el problema de contorno interior
u = 0 ,
u|z=h = g(r , ) ,
u|
= 0.
resto paredes
Ecuaciones Diferenciales II
203
A PNDICE
Resumen de funciones
especiales
Dada la ecuacin u + p(x)u + q(x)u = 0,
x0 punto ordinario p, q analticas en un entorno de x0 .
x0 punto singular x0 no ordinario.
x0 punto singular regular x0 singular, y (x x0 )p(x), (x x0 )2 q(x) analticas en
un entorno de x0 .
u + x 2 u = u
n = 2n + 1
( = 2E) ,
(En = n +
un (x) = Hn (x)ex
2 /2
H0 (x) = 1
H1 (x) = 2x
1
),
2
< x <
n0
Hn (x) = (1)n ex
(un , um ) =
dn x 2
e
d xn
polinomios de Hermite
2
Hn (x)Hm (x)ex d x = nm
H2 (x) = 4x 2 2
..
.
205
n
2 n!
206
[Captulo A
un (x) = Pn (x)
1 < x < 1
Pn (x) =
1 dn
(x 2 1)n
2n n! dx n
polinomios de Legendre
P0 (x) = 1
P1 (x) = x
(un , um ) =
Pn (x)Pm (x)dx = nm
P2 (x) = 12 (3x 2 1)
..
.
Ecuaciones Diferenciales II
2
2n + 1
A.0]
207
1 d
du
2
x
+ 2 u = u ,
x dx
dx
x
( 0)
0<x<
u(x) = c1 J ( x) + c2 N ( x)
3/2
J (x) = x cos x (2 + 1) 4 + O x
(x/2)
regular en x = 0
( entero ( + 1) = !)
( + 1)
=0
log x,
N
singular en x = 0
(x)
()
,
0
(2x)
x0
J (x)
0.8
J0
0.8
0.6
0.4
J0
0.6
J1
0.4
0.2
J1
0.2
15
10
20
-0.2
-0.2
-0.4
-0.4
c
0
xJ2 (x)dx =
1
c J (c)
2
J (c) = 0
Ecuaciones Diferenciales II
10
15
20
A PNDICE
Soluciones de la ecuacin de
Helmholtz: u + k2u = 0
Cartesianas
u = Xk1 (x)Yk2 (y)Zk3 (z)
Xk1 (x) = a1 eik1 x + b1 eik1 x ,
k21 + k22 + k23 = k2 ,
Re ki 0
Cilndricas
u = R,m (r )m ()Zk, (z),
R,m (r )
Re m 0,
Re 0
= 0, m = 0
= 0, m 0
C1 log r + C2
C1 r m + C2 r m
EJm (r ) + F Nm (r )
Jm (x)
Nm (x)
2
x
2
x
cos x (2m + 1) 4
sen x (2m + 1) 4
m () = Ceim + Deim ,
k2 2 z
+ Bei
k2 2 z
Polares
u = Rk,m (r )m () ,
Esfricas
209
210
[Captulo B
u = Rk,l (r )Ylm (, )
k=0
Rk,l (r ) A r l + B r (l+1)
jl (x) = (r )l
1 d
r dr
nl (x) = (r )l
1
Y0,0 =
,
4
Y1,1 =
1 d
r dr
Y1,0 =
3
sen ei ,
8
k0
jl (x)
A jl (kr ) + B nl (kr )
nl (x)
cos x (l + 1) 2
sen r
r
cos r
nl (r )
r
jl (r )
cos r
r
3
cos
4
Y1,1 =
1
x
l=0
sen r
r
l
1
x
3
sen ei
8
Ecuaciones Diferenciales II
sen x (l + 1) 2
l=1
sen r
cos r
2
r
r
sen r
cos r
r
r2