Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Notas Ecuaciones Diferenciales Parciales
Notas Ecuaciones Diferenciales Parciales
ECUACIONES DIFERENCIALES
PARCIALES
AUTOR:
Dr. Adolfo Zamora Ramos
Departamento de Matemticas
Aplicadas y Sistemas
IBSN: 978-607-477-663-8
Febrero 2012
ECUACIONES DIFERENCIALES
PARCIALES
UNIDAD CUAJIMALPA
Por
Dr. Adolfo Zamora Ramos
Departamento de Matematicas Aplicadas y Sistemas
Division
de Ciencias Naturales e Ingeniera
Octubre 2011
Typeset in LATEX
Contenido
Prefacio
1 Preliminares
1.1 La Ecuacion
de Segundo Orden . . . . . .
1.1.1 Forma General . . . . . . . . . . .
1.1.2 Ecuacion
Lineal . . . . . . . . . . .
1.1.3 Problemas Asociados . . . . . . . .
1.1.4 Ecuacion
Lineal en Mas Variables
1.2 Delta de Dirac . . . . . . . . . . . . . . . .
1.2.1 Distribucion
Rectangular . . . . .
1.2.2 Otras Representaciones . . . . . .
1.3 Integrales Dependientes de un Parametro
1.4 Series de Fourier . . . . . . . . . . . . . . .
1.4.1 Representacion
Compleja . . . . .
1.4.2 Series Multidimensionales . . . . .
1.5 Operadores Lineales . . . . . . . . . . . .
1.5.1 Operadores Diferenciales . . . . .
1.5.2 Transformadas Integrales . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 Metodo de Separacion
de Variables
2.1 La Ecuacion
de Calor . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.1 Lnea con Extremos a Temperatura Cero . . . . . . . . . . .
2.1.2 Lnea con Extremos a Temperaturas Constantes T1 y T2 .
2.1.3 Lnea con Extremos Aislados . . . . . . . . . . . . . . . . .
2.1.4 Lnea con Flujo de Calor Constante a Traves de los Extremos
11
12
12
12
15
18
19
19
21
23
28
30
32
33
33
36
39
40
40
52
59
60
Contenido
2.1.5
Problema
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
61
64
67
70
72
74
76
77
78
85
85
86
.
.
.
.
.
.
.
.
.
.
.
95
96
96
99
101
106
107
108
108
110
112
113
.
.
.
.
.
.
.
.
117
118
119
119
121
121
122
122
127
2.2
2.3
2.4
2.5
del Crculo . . . . . . . . . . . . . . . . . . . . .
2.1.6 Lamina Rectangular . . . . . . . . . . . . . . .
2.1.7 Bloque Solido
. . . . . . . . . . . . . . . . . . .
2.1.8 Hiperbloque Solido
N-dimensional . . . . . .
2.1.9 Ecuacion
de Calor en Coordenadas Cilndricas
2.1.10 Ecuacion
de Calor en Coordenadas Esfericas .
La Ecuacion
de Onda . . . . . . . . . . . . . . . . . . .
La Ecuacion
de Laplace . . . . . . . . . . . . . . . . . .
La Ecuacion
de Schrodinger
. . . . . . . . . . . . . . .
Ecuacion
de Segundo Orden Lineal . . . . . . . . . . .
2.5.1 Forma General . . . . . . . . . . . . . . . . . .
2.5.2 Coeficientes Constantes . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Contenido
4.4
4.5
. . . . . . . . . . . . . . . . . . . . .
4.5.1 Partcula en un Pozo Rectangular de Potencial . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
127
131
131
132
132
.
.
.
.
.
.
137
138
141
146
148
151
163
Problemas
169
Referencias
182
Contenido
Prefacio
El presente manuscrito es una compilacion
de las notas del curso de Ecuaciones
Diferenciales Parciales para estudiantes del septimo trimestre de la licenciatura
en Matematicas Aplicadas que el autor ha impartido durante los ultimos
anos
en la Universidad Autonoma
), la Ecuacion
de Onda ( tipo hiperbolico
) y la Ecuacion
y se ha
resuelto el problema de la partcula cuantica dentro de una caja.
Hasta donde ha sido posible se ha discutido la interpretacion
fsica de los
problemas y sus soluciones. Por ejemplo, la ecuacion
de onda unidimensional
se ha interpretado en terminos de la cuerda vibrante. Las condiciones de
frontera tipo Dirichlet homogeneas en este caso corresponden a la cuerda
con extremos fijos mientras que las condiciones de frontera tipo Neumann
homogeneas corresponden a extremos libres. Ademas de las soluciones
generales, se han considerado ejemplos particulares que involucran no solo
Prefacio
las funciones usuales del calculo sino tambien funciones generalizadas como
la delta de Dirac. Al respecto, se incluye una seccion
dedicada a discutir
las propiedades fundamentales de la delta y algunas formas en las que se le
encuentra. Mas topicos
se obtiene en la
ecuacion
de segundo orden lineal con coeficientes constantes cuando se aplica
una rotacion;
y esta ecuacion
se reduce aun
mas mediante transformaciones
no lineales. En el captulo quinto se abordan problemas mas generales
como aquellos en geometras no rectangulares, problemas con condiciones de
frontera generales, y ecuaciones no homogeneas. En este ultimo
apartado se
prefiere explotar el metodo de la transformada de Fourier para determinar las
funciones de Green y a partir de ellas determinar la solucion
de las ecuaciones
de onda y calor no homogeneas, as como la solucion
de la ecuacion
de Poisson.
El ultimo
Prefacio
10
Prefacio
Captulo 1
Preliminares
De manera analoga a la que se define una ecuacion
diferencial ordinaria, una
ecuacion
diferencial parcial es una ecuacion
que involucra una funcion
escalar
u = u( x, t) y sus derivadas parciales. Esto es, una ecuacion diferencial parcial
( EDP ) se define como
F( x, t, u, u x , ut , u xx , u xt , . . .) = 0
(1.1)
11
12
Captulo 1. Preliminares
1.1 La Ecuacion
de Segundo Orden
1.1.1 Forma General
Para una funcion
escalar1 u( x, t) de clase C2 , la forma general de una ecuacion
(1.2)
(1.3)
donde la funcion
incognita
1.1.2 Ecuacion
Lineal
Para una funcion
escalar u( x, t) de clase C2 , la ecuacion
diferencial parcial de
segundo orden lineal mas general es de la forma
a u xx + 2b u xt + c utt + d u x + e ut + f u = g
(1.4)
Forma Matricial
En analoga a las formas cuadraticas en dos variables que se estudian en
geometra, se observa que la ecuacion
(1.4) puede escribirse como
T Q + L + f u = g
(1.5)
1 Una funcion
escalar ( de dos o mas variables ) u se denomina de clase C2 si ella
misma y todas sus derivadas parciales hasta el segundo orden son continuas respecto a
todos sus argumentos. Un resultado importante es que para funciones escalares de clase
C2 el orden de la derivacion
parcial en todas sus segundas derivadas es irrelevante.
Seccion
1.1. La Ecuacion
de Segundo Orden
13
a b
donde Q =
es la matriz simetrica asociada a la parte cuadratica ( i.e.
b c
de segundo orden en las derivadas de u ) y L = a x bt + d bx ct + e
la matriz renglon
asociada a la parte lineal ( i.e. de primer orden en las
x
con la notacion
Usando la representacion
(1.5) y por analoga con la ecuacion
cuadratica
general se tiene el siguiente resultado.
Teorema 1. La EDP de segundo orden lineal
es de tipo
T Q + L + f u = g
2 > 0
utt = c2 u xx ,
c2 > 0
14
Captulo 1. Preliminares
2
0
0
0
c2 0
0 1
1
0
0
1
Seccion
1.1. La Ecuacion
de Segundo Orden
15
y
0
0
x
(1.6)
i.e. una EDP de segundo orden en dos variables, se definen los distintos
problemas.
Problema de Cauchy
Este problema se conoce tambien como problema de valores iniciales. Dado el
caracter de segundo orden en las derivadas respecto al tiempo t de (1.6), son
necesarias dos condiciones sobre la solucion
u( x, t). Estas son
u( x, 0) = ( x )
(1.7)
ut ( x, 0) = ( x )
(1.8)
16
Captulo 1. Preliminares
Problema de Dirichlet
Este es un tipo de problema conocido como de valores en la frontera. Dado el
caracter de segundo orden en las derivadas respecto a la posicion x de (1.6), se
necesitan dos condiciones sobre la solucion
u( x, t). Suponiendo que se busca
la solucion
para a x b, t 0, e stas son
u( a, t) = f (t)
(1.9)
u(b, t) = g(t)
(1.10)
Problema de Neumann
Este es otro tipo de problema de valores en la frontera. Suponiendo que se busca
la solucion
para a x b, t 0, las condiciones son en este caso
u x ( a, t) = f (t)
(1.11)
u x (b, t) = g(t)
(1.12)
Seccion
1.1. La Ecuacion
de Segundo Orden
17
Problema de Robin
Este problema de valores en la frontera generaliza los dos anteriores. Suponiendo
que se busca la solucion
para a x b, t 0, las condiciones son
A1 u( a, t) + B1 u x ( a, t) = f (t)
(1.13)
(1.14)
u y su derivada
normal u/n en toda la frontera de la region
de interes.
Problemas Mixtos
Son problemas de valores en la frontera y/o iniciales que mezclan condiciones de
los anteriores. Suponiendo que se busca la solucion
para a x b, t 0, un
ejemplo sera
A1 u( a, t) + B1 u(b, t) = f (t)
(1.15)
A2 u x ( a, t) + B2 u x (b, t) = g(t)
(1.16)
u ( o de su derivada normal
u/n ) evaluada en distintas partes de la frontera de la region
de interes.
18
Captulo 1. Preliminares
1.1.4 Ecuacion
Lineal en Mas Variables
La EDP lineal de segundo orden general en cualquier numero
de variables
siempre puede escribirse en la forma
T Q + L + u =
(1.17)
u. y son funciones
dadas. Anteriormente vimos el caso de dos variables ( x, t), i.e. u = u( x, t).
Puede verificarse facilmente que la ecuacion
en tres variables
a u xx + b uyy + c utt + 2d u xy + 2e u xt + 2 f uyt + g u x + h uy + i ut + j u = k
(1.18)
donde a, b, . . . , k son funciones de ( x, y, t), se escribe en la forma (1.17) con
Q=
d
e
e
f ,
c
d
b
f
x
a x dy et + g
L = d x by f t + h , = y
t
ex f y ct + i
(1.19)
(1.20)
e
b
h
i
f
h
c
j
g
i
,
j
d
T
a x e y f z gt + k
e x by h z i t + l
L=
f x hy cz jt + m , =
gx iy jz dt + n
x
y
z
t
(1.21)
Seccion
1.2. Delta de Dirac
19
de variables.
Sin embargo, la clasificacion
en terminos del determinante solo
se generaliza
para el caso parabolico.
es de tipo
T Q + L + u =
corresponden a todos
los valores propios distintos de cero. Finalmente, cuando los coeficientes que
forman Q son funciones, el tipo de la ecuacion
puede ser diferente en distintas
regiones del espacio.
1
da ( x ) =
2a
0
si a x a
si
(1.22)
x < a, x > a
20
Captulo 1. Preliminares
Notese
da ( x ) dx =
Z a
1
2a
dx
Z
1 a
dx
2a a
1
=
(2a) = 1
2a
(1.23)
(1.25)
( x ) dx = 1
(1.26)
1
si x0 a x x0 + a
d a ( x x0 ) =
2a
0 si x < x a, x > x + a
0
(1.27)
(1.28)
si x = x0
si x 6= x0
(1.29)
( x x0 ) dx = 1
(1.30)
Seccion
1.2. Delta de Dirac
21
f ( x ) ( x x0 ) dx = f ( x0 )
(1.31)
= lim
a 0
= lim
a 0
a 0
f ( x ) da ( x x0 ) dx
Z x0 + a
x0 a
f (x)
1
dx
2a
x0 + a
1
f ( x ) dx
a0 2a x a
0
F ( x0 + a ) F ( x0 a )
,
= lim
a 0
2a
= F ( x0 )
= lim
donde
F = f
= f ( x0 )
(1.32)
R
R
donde se ha supuesto que lim( ) = lim ( ). Es decir, que pueden
conmutarse el lmite con la integral. Esto esta justificado siempre que la funcion
f ( x ) ( x x0 ) dx = f ( x0 )
(1.34)
22
Captulo 1. Preliminares
(i )
(ii)
( x x0 ) = lim
0
( x x0 ) = lim
b 0
1
2
( x x 0 )2
22
b
1
( x x0 )2 + b2
[Gaussiana]
[Lorentziana]
(iii)
( x x0 ) = lim
a 0
1 | x x0 |
a
e
2a
(iv)
( x x0 ) =
1
2
e ik( x x0 ) dk
n
n
2
sen
x0 sen
x
si 0 x
(v)
( x x0 ) =
n =1
0
si x < 0, x >
[Serie de Senos]
n
n
1+2
cos
x0 cos
x
si 0 x
(vi)
( x x0 ) =
n =1
0
si x < 0, x >
[Serie de Cosenos]
Seccion
1.3. Integrales Dependientes de un Parametro
(vii)
1 +1
( x x0 ) =
2
cos
n =1
n
( x x0 )
23
si 0 x
si x < 0, x >
1
2
(viii)
( x x0 ) =
ei
n ( x x )
0
n=
si 0 x
si x < 0, x >
0
[Serie de Exponenciales Complejas]
expresion
se ve que se reduce a (vii).
cos ( ax ) dx
(1.35)
cos ( ax ) dx =
1
sen ( ax )
a
(1.36)
1
sen ( ax ) son funciones de clase
a
para toda a 6= 0 ( independientemente
del valor
de x ), entonces podemos
Z
Z
x2n cos ( ax ) dx y
derivacion
de la ecuaciRon
(1.36). RDerivando ambos lados ( respecto a a );
d
d
( )dx = da
( )dx, se tiene
usando el hecho que da
Z
x sen ( ax ) dx =
x
1
sen ( ax ) + cos ( ax )
2
a
a
(1.37)
24
Captulo 1. Preliminares
x sen ( ax ) dx =
1
x
sen ( ax ) cos ( ax )
a
a2
(1.38)
2
x
x
x2
x2 cos ( ax ) dx = 3 sen ( ax ) + 2 cos ( ax ) + 2 cos ( ax ) +
sen ( ax )
a
a
a
a
2
x
2
2x
=
3 sen ( ax ) + 2 cos ( ax )
(1.39)
a
a
a
x cos ( ax ) dx =
2
x2
3
a
a
sen ( ax ) +
2x
cos ( ax )
a2
(1.40)
cos ( ax ) dx =
x sen ( ax ) dx =
x2 cos ( ax ) dx =
x3 sen ( ax ) dx =
x4 cos ( ax ) dx =
x5 sen ( ax ) dx =
1
sen ( ax )
a
1
x
sen ( ax ) cos ( ax )
2
a
a
2
x
2
2x
3 sen ( ax ) + 2 cos ( ax )
a
a
a
2
3
6x
3x
6
x
3 cos ( ax )
4 sen ( ax )
a
a2
a
a
4
3
2
x
4x
24
24x
12x
4 cos ( ax )
3 + 5 sen ( ax ) +
a
a
a
a2
a
4
5
2
60x
120x
x
5x
120
20x3
sen
(
ax
)
cos ( ax )
+
+
a
a2
a6
a3
a5
a4
sen ( ax ) dx
(1.41)
Seccion
1.3. Integrales Dependientes de un Parametro
x2n1 cos ( ax ) dx y
Evaluacion
directa de esta integral da como resultado
1
sen ( ax ) dx = cos ( ax )
a
25
(1.42)
conduce a
1
sen ( ax ) dx = cos ( ax )
a
Z
1
x
x cos ( ax ) dx = 2 cos ( ax ) + sen ( ax )
a
a
2
Z
2
x
2x
x2 sen ( ax ) dx =
3 cos ( ax ) + 2 sen ( ax )
a
a
a
2
3
Z
6x
6
3x
x
3
3 sen ( ax )
x cos ( ax ) dx =
4 cos ( ax ) +
a
a2
a
a
4
3
Z
2
x
12x
24
24x
4x
sen ( ax )
x4 sen ( ax ) dx =
3 + 5 cos ( ax ) +
a
a
a
a2
a4
4
5
Z
5x
x
60x2
120x
120
20x3
x5 cos ( ax ) dx =
cos
(
ax
)
+
sen ( ax )
+
+
a
a2
a6
a3
a5
a4
Z
26
Captulo 1. Preliminares
Z
Z
cos ( ax ) dx =
x cos ( ax ) dx =
x2 cos ( ax ) dx =
x3 cos ( ax ) dx =
x4 cos ( ax ) dx =
x5 cos ( ax ) dx =
1
sen ( ax )
a
x
1
sen ( ax ) + 2 cos ( ax )
a
a
2
2
2x
x
3 sen ( ax ) + 2 cos ( ax )
a
a
a
2
3
6x
6
3x
x
3 sen ( ax ) +
4 cos ( ax )
a
a
a2
a
3
4
2
12x
24
24x
x
4x
3 + 5 sen ( ax ) +
4 cos ( ax )
a
a
a
a2
a
5
4
3
120
20x
120x
60x2
5x
x
+
3 + 5
sen ( ax ) +
cos ( ax )
a
a
a
a2
a6
a4
y por la otra
1
sen ( ax ) dx = cos ( ax )
a
x
1
x sen ( ax ) dx = cos ( ax ) + 2 sen ( ax )
a
a
2
2
2x
x
3 cos ( ax ) + 2 sen ( ax )
x2 sen ( ax ) dx =
a
a
a
2
3
6x
6
3x
x
3
3 cos ( ax ) +
x sen ( ax ) dx =
4 sen ( ax )
a
a
a2
a
4
3
2
12x
24
24x
x
4x
3 + 5 cos ( ax ) +
x4 sen ( ax ) dx =
sen ( ax )
a
a
a
a2
a4
5
4
120
20x3
120x
60x2
x
5x
5
3 + 5
x sen ( ax ) dx =
cos ( ax ) +
4 + 6 sen ( ax )
a
a
a
a2
a
a
Z
Z
Z
Z
Z
Z
Seccion
1.3. Integrales Dependientes de un Parametro
27
[ n+2 1 ]
pn ( x; a) =
k =1
(1)k1 n! xn(2k1)
(n (2k 1))!
a2k
(1.43)
x n cos ( ax ) dx =
(1.44)
(1.45)
pn + a2 pn nx n1 = 0
(1.46)
no homogenea
y ( x ) + a2 y( x ) = nx n1
(1.47)
Ejercicio 1. Determine formulas para las siguientes integrales:
(i )
x n e ax dx
(ii)
x n e iax dx
(iii)
x n e ax dx
integral es util
el resultado
r
Z
2
e ax dx =
a
(1.48)
pn ( x; a) = n
x n 3
x n 1
x n 5
n(n 1)(n 2) 4 + n(n 1)(n 2)(n 3)(n 4) 6 + + U
2
a
a
a
donde el ultimo
28
Captulo 1. Preliminares
( de periodo 2 ) ya que
sen ( x + 2 ) = sen ( x ) y cos ( x + 2 ) = cos ( x ) para toda x R. Notese
de
periodo 2L, 3L, 4L, etc. Podemos mostrar esto por induccion.
Supongamos f
periodica
= f ( x + ( n 1) L )
= f ( x + ( n 2) L + L )
= f ( x + ( n 2) L )
..
.
= f ( x + L)
= f (x)
(1.49)
Al numero
toma todos
sus valores. En este sentido, las funciones constantes pueden considerarse
funciones periodicas
de periodo fundamental 0.
Las funciones periodicas
de
discontinuidades es finito y todas ellas son removibles o de salto, a esta funcion
Seccion
1.4. Series de Fourier
29
n =1
(1.50)
Z
n
1
f ( x ) sen
x dx
bn =
(1.51)
(1.52)
x x0
(ii) De la definicion,
el coeficiente b0 = 0, pero de hecho no aparece en la
serie.
(iii) El termino constante a0 /2 se calcula tambien con la formula
f sobre el
intervalo [ , ).
(iv) El teorema puede utilizarse tambien para definir una funcion
periodica
en
todo R a partir de una funcion
f seccionalmente continua en [ , ).
Ejercicio 1. Muestre que si f es una funcion par en [ , ), entonces su serie de
Fourier es de la forma
n
a0
f (x) =
+ an cos
x
(1.53)
2
n =1
f ( x ) = bn sen
x
(1.54)
n =1
llamada serie de Fourier de senos; con los coeficientes an y bn dados por las formulas
de Euler-Fourier.
30
Captulo 1. Preliminares
(ii) g( x ) = x
(iii) h( x ) = ( x x0 ) con x0 [ , )
que se definen como tales en el intervalo [ , ) y son periodicas en todo R.
Ejercicio 3. Se tiene la funcion f seccionalmente continua en el intervalo ( a, b),
donde a > 0. Determine una serie de Fourier que converja a [ f ( x +) + ( f ( x )]/2
para toda x en ( a, b):
x (2a x )
a (2a x )
si 0 x < a
si a x < 2a
y que se extiende periodicamente, con periodo 2a, fuera del intervalo [ 0, 2a).
1.4.1 Representacion
Compleja
Podemos reescribir la serie de Fourier de la funcion
f dada en las ecuaciones
(1.50), (1.51) y (1.52) en terminos de exponenciales complejas. Usando la
relacion
de Euler
e i = cos + i sen
(1.55)
se encuentra directamente que
1 i
e + e i
2
1 i
sen =
e e i
2i
cos =
(1.56)
(1.57)
Seccion
1.4. Series de Fourier
31
a0
f (x) =
+
2
n =1
b in
in
in
an in x
n
x
x
x
e +e
e e
+
2
2i
in
in
bn in x
an in x
e + e x i
e e x
+
2
2
n =1
in
in
an
bn
bn
an
e x+
e x
+
i
+i
2
2
2
2
n =1
a0
2
a0
2
in
in
1
a0
1
+ ( an ibn ) e x + ( an + ibn ) e x
2
2 n =1
2 n =1
(1.58)
(an ibn ) e
in
x
n =1
m=
( am ibm ) e
( am + ibm ) e
im
x
im x
(1.59)
m=
in
a0
1
1
+ ( an + ibn ) e x ( a0 + ib0 )
2
2 n=
2
in
1
( an + ibn ) e x
2 n=
cn e
in
x
(1.60)
n=
32
Captulo 1. Preliminares
Z
h
n
n i
1
=
f ( x ) cos
x + i sen
x dx
2
Z
in
1
=
f ( x ) e x dx
2
cn =
(1.61)
cn e
f (x) =
in x
(1.62)
n=
1
2
f (x) e
in
x
dx
(1.63)
f ( x, y) =
cnm e
in
a x
im
b y
(1.64)
im
b y
(1.65)
n= m=
1
4ab
Z a
dx
Z b
dy f ( x, y) e
in
a x
f ( x, y, z) =
n= m= l =
cnml e
in x
a
im y
b
il z
c
(1.66)
Seccion
1.5. Operadores Lineales
33
1
8abc
Z a
dx
Z b
dy
Z c
dz f ( x, y, z) e
in
a x
im
b y
il
c z
(1.67)
L (c1 f 1 + c2 f 2 ) = c1 L ( f 1 ) + c2 L ( f 2 )
(1.68)
L =
(1.69)
que es el problema de valores propios para el operador lineal L . Resolverlo significa determinar todos los valores constantes ( valores propios ) y funciones
( funciones propias ) que satisfacen la ecuacion
(1.69); la cual ademas puede
estar sujeta a condiciones dadas.
(1.70)
34
Captulo 1. Preliminares
Mas generalmente, si
P ( z ) = a0 + a1 z + a2 z2 + + a n z n
(1.71)
+ + an n (c1 f 1 ( x ) + c2 f 2 ( x ))
P (c1 f 1 ( x ) + c2 f 2 ( x )) = a0 + a1
dx
dx
dn
d
+ + a n n c1 f 1 ( x )
= a0 + a1
dx
dx
d
dn
+ a0 + a1
+ + a n n c2 f 2 ( x )
dx
dx
d
dn
= a0 c1 f 1 ( x ) + a1 c1 f 1 ( x ) + + a n n c1 f 1 ( x )
dx
dx
d
dn
+ a0 c2 f 2 ( x ) + a1 c2 f 2 ( x ) + + a n n c2 f 2 ( x )
dx
dx
dn
d
+ + an n f 1 ( x )
= c1 a0 + a1
dx
dx
dn
d
+ + an n f 2 ( x )
+ c2 a0 + a1
dx
dx
= c1 P f 1 ( x ) + c2 P f 2 ( x )
(1.73)
El uso de la serie de Taylor, en el lmite n , permite definir el operador
diferencial lineal asociado a cualquier funcion
suave ya sea algebraica o
trascendente.3 Por ejemplo, dada la funcion
algebraica
p
P( x ) = 1 + x2
1
1
1
= 1 + x2 x4 + x6 +
(1.74)
2
8
16
3 Una funcion
suave es aquella que es infinitamente diferenciable ( i.e. de clase
C ). Las funciones algebraicas son las definidas en terminos de un numero
finito de
operaciones algebraicas ( suma, producto, potencias y races ). Funciones trascendentes
son las que no son algebraicas.
Seccion
1.5. Operadores Lineales
35
entonces
r
d2
dx2
1 d2
1 d4
1 d6
= 1+
+
+
2 dx2
8 dx4
16 dx6
P =
1+
(1.75)
P( x ) = e x
= 1+x+
1
1 2
x + x3 +
2!
3!
(1.76)
entonces
P = e d/dx
d
1 d2
1 d3
= 1+
+
+
+
2
dx 2! dx
3! dx3
(1.77)
+ + k
x
y
z
(1.78)
2
2
2
+
+
x2
y2
z2
(1.79)
=
2 =
= +
(1.80)
+ k
x
y
z
= +
(1.81)
+ k
x
y
z
36
Captulo 1. Preliminares
2=
2
+ 2
t2
2
2
2
2
+ 2+ 2+ 2
2
t
x
y
z
(1.82)
(1.83)
(1.84)
T { f (t)} =
Z b
a
K (, t) f (t)dt
(1.85)
Seccion
1.5. Operadores Lineales
37
K ( sobre
el intervalo ( a, b) ). Claramente una transformada integral T es lineal pues
Z b
a
Z b
a
= c1
Z b
a
Z b
a
K (, t) f 1 (t)dt + c2
K (, t)c2 f 2 (t)dt
Z b
a
= c1 T { f 1 (t)} + c2 T { f 2 (t)}
K (, t) f 2 (t)dt
(1.86)
T1 { f ( x, t)} =
T2 { f ( x, t)} =
Z b
a
Z d
c
K1 (, t) f ( x, t)dt
(1.87)
K2 (k, x ) f ( x, t)dx
(1.88)
38
Captulo 1. Preliminares
Captulo 2
Metodo de Separacion
de
Variables
Para resolver problemas de valores iniciales y en la frontera definidos por EDP
de segundo orden lineales, quiza la tecnica mas comun
es la separacion
de
variables. La idea inicial es suponer que la solucion
de la EDP se descompone
como producto de funciones de las distintas variables independientes. Esto
reduce el problema a un sistema de ecuaciones diferenciales ordinarias, mas
un conjunto de condiciones de frontera. La solucion
de estos sistemas esta
dada, en general, por un numero
39
40
2.1 La Ecuacion
de Calor
2.1.1 Lnea con Extremos a Temperatura Cero
Consideremos el problema de valores iniciales y de valores homogeneos en la
frontera para la ecuacion de calor en una dimension
ut = 2 u xx
(2.1)
u(0, t) = 0
(2.2)
u(, t) = 0
(2.3)
u( x, 0) = f ( x )
(2.4)
(2.5)
Seccion
2.1. La Ecuacion
de Calor
41
(2.6)
u x = X ( x ) T (t)
(2.7)
(2.8)
XT = 2 X T
(2.9)
u xx = X ( x ) T (t)
y las sustituimos en (2.1) para obtener
(2.10)
(2.11)
T
=A
T
(2.12)
(2.13)
(2.14)
X () = 0
(2.15)
(2.16)
42
En el caso mas general la constante B puede ser compleja ya que A puede ser
compleja. Se tiene un comportamiento distinto en (2.16) solo
en los casos B = 0
y B 6= 0.
Caso (i) B = 0. La ecuacion
(2.16) se escribe como
X = 0
(2.17)
(2.18)
(2.19)
0 = X () = c1 + c2
(2.20)
solucion
a este sistema es
c1 = c2 = 0
(2.21)
solucion
posible para B = 0 es la solucion
trivial X ( x ) 0.
Caso (ii) B 6= 0. Las soluciones fundamentales de la ecuacion
(2.16) son
X1 = e 1 x
(2.22)
2 x
(2.23)
X2 = e
= c1 e
1 x
+ c2 e
(2.24)
2 x
(2.25)
Seccion
2.1. La Ecuacion
de Calor
43
(2.26)
(2.27)
0 = X () = c1 e
+ c2 e
(2.28)
con n = 1, 2, . . .
Regresando a las soluciones fundamentales (2.22) y (2.23), utilizando 2 =
y 1 = n
i, se tiene
X1 = e
X2 = e
n ix
n ix
n
i
(2.30)
(2.31)
1
n
X 2 =
x
( X2 X1 ) = sen
2i
(2.32)
(2.33)
X ( x ) = c1 X 1 + c2 X 2
n
n
= c1 cos
x + c2 sen
x
(2.34)
44
(2.35)
n
(2.36)
solucion
no trivial a la ecuacion
(2.16) que satisface las condiciones
de frontera (2.14) y (2.15) es cualquier multiplo
escalar de la funcion
n
X ( x ) = sen
x ,
n = 1, 2, . . .
(2.37)
(2.38)
escalar de la
funcion
T (t) = e At
(2.39)
( se excluye la funcion
constante del caso A = 0 ). Utilizando A = n2 2 2 /2
se encuentra la solucion
T (t) = e
n2 2 2
2
(2.40)
t
2
= sen
x e
,
n = 1, 2, . . .
(2.42)
cada una de las cuales satisface (2.1). Ademas, como todas ellas satisfacen
las condiciones de frontera homogeneas (2.2) y (2.3), entonces la combinacion
lineal general
u( x, t) =
an un ( x, t)
(2.43)
n=
n n2 2 2
t
2
x e
= an sen
n=
(2.44)
Seccion
2.1. La Ecuacion
de Calor
45
an sen
n=
n n2 2 2
n n2 2 2
t
t
2
2
x e
x e
+ an sen
n =1
(2.45)
t
m
2
(2.46)
am sen x e
m =1
m m2 2 2
t
2
x e
= ( am ) sen
(2.47)
m =1
n n2 2 2
t
2
a
sen
x e
=
n
n=
1
n n2 2 2
t
2
x e
u( x, t) = ( an an ) sen
n =1
(2.48)
t
2
x e
(2.49)
u( x, t) = bn sen
n =1
Falta solamente incluir la condicion
inicial (2.4). Evaluando (2.49) en t = 0 se
tiene
m
x
(2.50)
f ( x ) = u( x, 0) = bm sen
m =1
f ( x ) sen
Z
m
n
n
sen
x dx = bm
x sen
x dx
0
m =1
(2.51)
46
sen
m
n
x sen
x dx = mn
(2.52)
1 si m = n
0 si m 6= n
(2.53)
f ( x ) sen
n
x dx = bm mn
2
m =1
(2.54)
Z
0
f ( x ) sen
n
x dx
(2.55)
Esto es, los coeficientes bn del desarrollo (2.50), llamado serie de Fourier de senos
de la funcion
f ( x ), estan dados por (2.55) para toda n = 1, 2, . . .
Concluimos entonces que la solucion
al problema de valores iniciales y valores
homogeneos en la frontera para la ecuacion
de calor definido en las ecuaciones
(2.1)(2.4) es
n n2 2 2
t
2
x e
(2.56)
u( x, t) = bn sen
n =1
Ejemplo 1. Demuestre que la funcion u( x, t) dada por (2.56) con los coeficientes bn
definidos en (2.55) es solucion al problema de valores iniciales y valores homogeneos en
la frontera para la ecuacion de calor definido en las ecuaciones (2.1)(2.4).
Solucion.
Primero mostremos que (2.56) satisface la ecuacion
de calor (2.1) para
coeficientes arbitrarios bn . Para ello simplemente calculamos las derivadas
1
Seccion
2.1. La Ecuacion
de Calor
47
n
t
2
ut =
x e
bn sen
2
n =1
n n2 2 2
n
t
2
ux =
bn cos
x e
n =1
n n2 2 2
n 2
t
2
bn sen
x e
u xx =
n =1
(2.57)
(2.58)
(2.59)
u(0, t) =
bn sen (0) e
n =1
u(, t) =
bn sen (n ) e
n =1
n2 2 2
2
n2 2 2
2
=0
=0
(2.60)
(2.61)
Finalmente, mostremos que (2.56), con los coeficientes bn dados por (2.55),
satisface la condicion
inicial (2.4). Para esto simplemente evaluamos u( x, t)
en t = 0. Se tiene
n
x
(2.62)
u( x, 0) = bn sen
n =1
Z
0
f ( x ) sen
n
x dx
(2.63)
2 La primera derivacion
dentro de la suma infinita en (2.56) esta justificada siempre
que e sta converja a una funcion
continua de los argumentos ( x, t) en todo el semiplano
t > 0. Esto se tendra siempre que la distribucion
inicial de temperatura f sea continua
en [ 0, ]. Aparentemente, sera necesario ademas que f (0) = f () = 0, pero en realidad
las condiciones de frontera u(0, t) = u(, t) = 0 proveen esta condicion.
Para la
segunda derivacion
se requiere continuidad de la primera derivada; lo cual se tiene
siempre que f sea continua en [ 0, ] o, equivalentemente, que f sea diferenciable en
[ 0, ].
48
(2.64)
(i) f ( x ) = A,
A = constante
(ii) f ( x ) = x x2
(iii) f ( x ) = A e x
(iv) f ( x ) = h( x ) ( x a),
a ( 0, )
Solucion.
La solucion
a este problema para f ( x ) arbitraria esta dada por
u( x, t) =
n =1
2 2 2
n
n 2 t
bn sen
x e
(2.65)
Z
0
f ( x ) sen
n
x dx
(2.66)
Seccion
2.1. La Ecuacion
de Calor
49
=
=
=
=
=
Esto es
Z
n
2
A sen
x dx
0
Z
n
2A
sen
x dx
0
n
2A
x
cos
0
2A
4A
si n es impar
n
0
si n es par
4A
(2k 1)
b2k = 0
b2k1 =
(2.67)
(2.68)
(2.69)
x e
u( x, t) = b2k1 sen
k =1
(2k1)2 2 2
t
(2k 1)
4A
2
sen
=
x e
(2k 1)
k =1
2 2 2
(2k1)2 t
(2k 1)
1
4A
sen
=
x e
2k 1
k =1
(2.70)
Z
0
n
x x2 sen
x dx
(2.71)
50
n
0
3
Z
n
3
x2 sen
(1)n+1
x dx = 2
[ (1)n 1 ] +
n
n
0
Z
x sen
(2.72)
(2.73)
de donde
42
[ 1 (1)n ]
(n )3
82
si n es impar
=
(n )3
0
si n es par
bn =
Esto es
b2k1 =
b2k = 0
2
(2k 1)
3
(2.74)
(2.75)
(2.76)
(2.77)
u( x, t) = b2k1 sen
x e
k =1
2 2 2
3
(2k1)2 t
(
2k
1
)
2 sen
x e
=
(
2k
1
)
k =1
2 2 2
2
3
(2k1)2 t
8
(2k 1)
1
=
sen
x e
2k 1
3
k =1
(2.78)
Z
0
A e x sen
n
x dx
(2.79)
Usando integracion
por partes podemos calcular la integral indefinida general
para obtener
h
Z
i
x
sen
(
x
)
cos
(
x
)
e x + C
(2.80)
e sen (x ) dx =
2 + 2
Seccion
2.1. La Ecuacion
de Calor
51
e x sen
h
i
n
n
0
cos
(
0
)
e
cos
(
n
)
e
x dx =
2 2 + n2 2
h
i
n
n +1
=
(2.81)
1
+
(
1
)
e
2 2 + n2 2
2nA
2 2 + n2 2
h
1 + (1)n+1 e
(2.82)
2 2 2
n
n 2 t
u( x, t) = bn sen
x e
n =1
2 2 2
h
i
n
2nA
n 2 t
n +1
x e
sen
1 + (1)
e
=
2 2 + n2 2
n =1
2 2 2
h
i
n
n
n 2 t
n +1
sen
x e
1 + (1)
e
= 2A
2 2 + n2 2
n =1
(2.83)
Z
0
h( x ) ( x a) sen
n
x dx
(2.84)
F( x ) ( x a) dx =
F( a)
0
si a ( 0, )
si a 6 ( 0, )
(2.85)
Se obtiene entonces
bn =
n
2
h( a) sen
a
(2.86)
52
2 2 2
n
n 2 t
u( x, t) = bn sen
x e
n =1
2 2 2
n
n
2
n 2 t
a sen
x e
= h( a) sen
n =1
2 2 2
n
n
2
n 2 t
a sen
x e
= h( a) sen
n =1
(2.87)
(2.88)
u(0, t) = T1
(2.89)
u(, t) = T2
(2.90)
u( x, 0) = f ( x )
(2.91)
para
t>
(2.92)
(2.93)
(2.94)
T2 = u(, t) = v()
(2.95)
Seccion
2.1. La Ecuacion
de Calor
53
La solucion
general a la ecuacion
(2.93) es
v ( x ) = c1 x + c2
(2.96)
(2.97)
T2 = v() = c1 + c2
(2.98)
de donde
T2 T1
c2 = T1
c1 =
(2.99)
(2.100)
(2.101)
(2.102)
(2.103)
54
(2.105)
(2.106)
(2.107)
w(, t) = 0
(2.108)
w( x, t) =
bn sen
n =1
n n2 2 2
t
2
x e
(2.109)
T2 T1
t
2
x + bn sen
x e
(2.110)
u( x, t) = T1 +
n =1
falta solamente fijar los coeficientes bn de tal forma que esta funcion
satisfaga
(2.91). Imponiendo tal condicion
en (2.110) se encuentra
n
T2 T1
x + bn sen
x
(2.111)
f ( x ) = u( x, 0) = T1 +
n =1
Escrito de otra forma
f ( x ) T1
T2 T1
x =
n =1
bn sen
n
x
(2.112)
Seccion
2.1. La Ecuacion
de Calor
55
lo cual nos dice que en este caso bn son los coeficientes de la serie de Fourier
de senos para la funcion
a la izquierda de (2.112). Es decir
2
bn =
Z
0
f ( x ) T1
T2 T1
n
x sen
x dx
(2.113)
En conclusion,
se tiene la solucion
al problema de valores iniciales y valores
constantes en la frontera para la ecuacion
de calor definido en las ecuaciones
(2.88)(2.91):
u( x, t) = T1 +
T2 T1
x+
n =1
n n2 2 2
t
2
bn sen
x e
(2.114)
Ejemplo 1. Demuestre que la funcion u( x, t) dada por (2.114) con los coeficientes bn
definidos en (2.113) es solucion al problema de valores iniciales y de valores constantes
T1 y T2 en los extremos de la lnea para la ecuacion de calor definido en las ecuaciones
(2.88)(2.91).
Solucion.
Que la funcion
u( x, t) satisface la ecuacion
de calor (2.88) se ve
directamente calculando las derivadas parciales. La justificacion
para derivar
dentro de la suma infinita se encuentra en la nota al pie de pagina numero
2 de
este captulo ( la nota se aplica en este caso a la solucion
w( x, t) = u( x, t) v( x )
con la condicion
inicial w( x, 0) = f ( x ) v( x ) ). Se tiene
n n2 2 2
n2 2 2
t
2
b
sen
x e
n
n =1
n n2 2 2
n
T2 T1
t
2
+
bn cos
x e
ux =
n =1
n n2 2 2
n 2
t
2
bn sen
x e
u xx =
n =1
ut =
(2.115)
(2.116)
(2.117)
56
n =1
n2 2 2
2
u(, t) = T2 + bn sen (n ) e
n =1
n2 2
2
= T1
2
= T2
(2.118)
(2.119)
Finalmente, la condicion
inicial se encuentra evaluando u en t = 0. Es decir
n
T2 T1
u( x, 0) = T1 +
x + bn sen
x
(2.120)
n =1
ahora como los coeficientes bn estan dados por
Z
n
T2 T1
2
f ( x ) T1
x sen
x dx
bn =
0
(2.121)
u( x, 0) = f ( x )
(2.122)
(2.123)
u(0, t) = T1
(2.124)
u(, t) = T2
(2.125)
u( x, 0) = f ( x )
(2.126)
(2.127)
Seccion
2.1. La Ecuacion
de Calor
57
al introducirla en la ecuacion
(2.123) produce el sistema de ecuaciones ordinarias
X BX = 0
T AT = 0
(2.128)
(2.129)
(2.130)
X () T (t) = T2
(2.131)
(2.132)
X () = T2
(2.133)
(2.134)
La solucion
a este problema de valores en la frontera es
T2 T1
X ( x ) = T1 +
x
(2.135)
3 Notese
58
Si
denotamos v( x, t) a la solucion
que resulta de la combinacion
lineal de todas
las demas soluciones ( que por consecuencia satisface la ecuacion
de calor ),
entonces la solucion
completa a este problema sera
u( x, t) = u0 ( x, t) + v( x, t)
(2.137)
(2.138)
u0 (, t) = T2
(2.139)
(2.140)
v(, t) = 0
(2.141)
t
2
v( x, t) = bn sen
x e
(2.142)
n =1
T2 T1
f ( x ) T1
x
(2.143)
x = bn sen
n =1
lo cual nos dice que bn son loscoeficientes de la serie de Fourier de senos para
la funcion
f ( x ) T1 T2 T1 x, y por lo tanto
Z
n
2
T2 T1
bn =
f ( x ) T1
x dx
(2.144)
x sen
0
T2 T1
n n2 22 2 t
u( x, t) = T1 +
x + bn sen
x e
n =1
(2.145)
Seccion
2.1. La Ecuacion
de Calor
59
(2.146)
u x (0, t) = 0
(2.147)
u x (, t) = 0
(2.148)
u( x, 0) = f ( x )
(2.149)
n n2 2 2
a0
t
2
u( x, t) =
+ an cos
x e
(2.150)
2
n =1
con los coeficientes an dados por
an =
Z
0
f ( x ) cos
n
x dx
(2.151)
Z
0
f ( x ) dx
(2.152)
que, de la solucion
(2.150) se encuentra
lim u( x, t) =
a0
2
(2.153)
60
(2.154)
u x (0, t) = F1
(2.155)
u x (, t) = F2
(2.156)
u( x, 0) = f ( x )
(2.157)
c0
t
2
v( x, t) =
+ an cos
x e
(2.159)
2 n =1
n
a0
+ an cos
x e
2
n =1
n2 2 2
2
a0
+ an cos
x
f (x) F x =
2
n =1
(2.160)
(2.161)
Seccion
2.1. La Ecuacion
de Calor
61
de donde deducimos que los coeficientes an son los del desarrollo en serie de
Fourier de cosenos de la funcion
f ( x ) F x, y por lo tanto estan dados como
an =
Z
0
[ f ( x ) F x ] cos
n
x dx
(2.162)
a0
x e
u( x, t) = F x + + an cos
2
n =1
n2 2 2
2
(2.163)
Problema
del Crculo
Como ultimo
(2.164)
u(, t) = u(, t)
(2.165)
u x (, t) = u x (, t)
(2.166)
u( x, 0) = f ( x )
(2.167)
62
T AT = 0
(2.169)
(2.170)
X () = X ()
(2.171)
(2.172)
(2.173)
(2.174)
B2
Ahora B = 0 implica A =
= 0. Al introducir esto en la ecuacion
u0 ( x, t) = X ( x ) T (t) 1
(2.176)
Seccion
2.1. La Ecuacion
de Calor
63
(2.177)
n
x
) + c2 e i( n x)
(2.178)
(2.179)
fundamental es
Tn (t) = e
n2 2 2
2
(2.180)
n i n2 2 2
h
n
t
2
un ( x, t) = X n ( x ) Tn (t) = n cos
x + n sen
x e
(2.181)
para cada n = 1, 2, . . .
Con todo esto, la solucion
general al problema (2.164)(2.166) es
u( x, t) =
cn un ( x, t)
n=
= c0 +
n =1
n
n i n2 2 2
t
2
an cos
x + bn sen
x e
(2.182)
64
se obtiene
n i
n
h
x + bn sen
x
f ( x ) = c0 + an cos
n =1
(2.183)
Z
n
1
x dx
f ( x ) sen
bn =
an =
(2.184)
(2.185)
En conclusion,
se tiene la solucion
n
n i n2 2 2
h
a0
t
2
u( x, t) =
+ an cos
x + bn sen
x e
2
n =1
(2.186)
(2.187)
u(0, y, t) = 0
(2.188)
u( a, y, t) = 0
(2.189)
u( x, 0, t) = 0
(2.190)
u( x, b, t) = 0
(2.191)
u( x, y, 0) = f ( x, y)
(2.192)
definido para 0 < x < a, 0 < y < b y t > 0. Hemos introducido aqu la
definicion
del operador de Laplace ( o Laplaciano ) en dos dimensiones:
u = u xx + uyy
(2.193)
Notese
Seccion
2.1. La Ecuacion
de Calor
65
(2.194)
(2.195)
(2.196)
(2.197)
X CX = 0
Y DY = 0
(2.198)
X ( a) = 0
(2.199)
Y (0) = 0
(2.200)
Y (b) = 0
(2.201)
(2.202)
(2.203)
m2 2
n2 2
y D = 2 son
2
a
b
constantes negativas. Notese
66
m2
n2
Se sigue entonces que B = 2 + 2 2 y como B = A/2 se tiene
a
b
2
m2
n
(2.204)
A = 2 + 2 2 2
a
b
n2
a2
2
+ m2 2 2 t
b
(2.205)
unm ( x, y, t) = sen
(2.206)
x sen
y e a2 b2
a
b
de donde, tomando la combinacion
lineal mas general e intercambiando la
suma sobre los enteros negativos por una sobre positivos, analogamente al caso
unidimensional, se encuentra
u( x, y, t) =
bnm unm ( x, y, t)
(2.207)
n =1 m =1
bnm sen
n =1 m =1
n
m n2 m2 2 2
+
t
x sen
y e a2 b2
a
b
(2.208)
p
n
a
x sen
x = pn
a
a
2
0
Z b
q
m
b
dy sen
y sen
y = qm
b
b
2
0
dx sen
(2.211)
(2.212)
Seccion
2.1. La Ecuacion
de Calor
67
4
ab
Z a
0
dx
Z b
0
dy f ( x, y) sen
n
m
x sen
y
a
b
(2.213)
u( x, y, t) de (2.208) con los coeficientes bnm dados por (2.213), valida para toda
( x, y) [ 0, a ] [ 0, b ] y toda t 0.
(2.214)
u(0, y, z, t) = 0
(2.215)
u( a, y, z, t) = 0
(2.216)
u( x, 0, z, t) = 0
(2.217)
u( x, b, z, t) = 0
(2.218)
u( x, y, 0, t) = 0
(2.219)
u( x, y, c, t) = 0
(2.220)
u( x, y, z, 0) = f ( x, y, z)
(2.221)
definido para 0 < x < a, 0 < y < b, 0 < z < c y t > 0. En este caso usamos
la definicion
del operador de Laplace en tres dimensiones:
u = u xx + uyy + uzz
(2.222)
68
(2.223)
(2.224)
(2.225)
(2.226)
(2.227)
X CX = 0
Y DY = 0
Z EZ = 0
(2.228)
X ( a) = 0
(2.229)
Y (0) = 0
(2.230)
Y (b) = 0
(2.231)
Z (0) = 0
(2.232)
Z (c) = 0
(2.233)
(2.234)
(2.235)
(2.236)
n2 2
m2 2
l2 2
C = 2 , D = 2 y E = 2 son todas negativas.
a
b
c
2
m2
l2
n
Se tiene entonces que B = 2 + 2 + 2 2 y como B = A/2 , entonces
a
b
c
2
m2
l2
n
(2.237)
A = 2 + 2 + 2 2 2
a
b
c
Seccion
2.1. La Ecuacion
de Calor
69
n2
a2
2
2
+ m2 + l 2 2 2 t
b
(2.238)
(2.239)
u( x, y, z, t) =
(2.240)
n =1 m =1 l =1
bnml sen
n,m,l
2 2 2
n
m
l
n + m + l 2 2 t
x sen
y sen
z e a2 b2 c 2
a
b
c
(2.241)
f ( x, y, z) =
bpqr sen
p =1 q =1 r =1
q
r
p
x sen
y sen
z
a
b
c
(2.242)
Z b
Z c
n
m
l
bnml
dx dy dz f ( x, y, z) sen
x sen
y sen
z
a
b
c
0
0
0
(2.243)
De esta forma, la solucion
completa a este problema esta dada por la funcion
u( x, y, z, t) de (2.241) con los coeficientes bnml dados por (2.243), valida para
toda ( x, y, z) [ 0, a ] [ 0, b ] [ 0, c ] y toda t 0.
8
=
abc
70
N-dimensional
Finalmente consideremos el problema general, conduccion de calor en el bloque
N-dimensional:
ut = 2 u
(2.244)
u(0, x2 , . . . , x N , t) = 0
(2.245)
u ( a1 , x2 , . . . , x N , t ) = 0
(2.246)
u( x1 , 0, . . . , x N , t) = 0
(2.247)
u ( x1 , a2 , . . . , x N , t ) = 0
..
.
(2.248)
u( x1 , x2 , . . . , 0, t) = 0
(2.249)
u ( x1 , x2 , . . . , a N , t ) = 0
(2.250)
u ( x1 , x2 , . . . , x N , 0) = f ( x1 , x2 , . . . , x N )
(2.251)
definido para 0 < x1 < a1 , 0 < x2 < a2 , . . . , 0 < x N < a N y t > 0. En este
caso usamos la definicion
del operador de Laplace en N dimensiones:
u = u x1 x1 + u x2 x2 + + u x N x N
(2.252)
en las coordenadas
espaciales.
Como esta definido, este problema puede interpretarse como la difusion
de
calor a traves de las caras del hiperbloque [ 0, a1 ] [ 0, a2 ] [ 0, a N ] desde
su interior. Las condiciones de frontera (2.245)(2.250) para este problema son
de temperatura constante cero en cada una de las caras del hiperbloque. Esto
es, para este caso no se tiene ninguna cara aislada termicamente. Si se quisiera
aislar la cara xi = constante, habra que imponer la condicion
u xi = 0 en dicha
cara.
Si se usa la propuesta de separacion
de variables
u ( x 1 , x 2 , . . . , x N , t ) = X1 ( x 1 ) X2 ( x 2 ) X N ( x N ) T ( t )
(2.253)
Xi ( x i ) T ( t )
i =1
(2.254)
Seccion
2.1. La Ecuacion
de Calor
71
(2.255)
Xi Ci Xi = 0
(2.256)
(2.257)
Xi ( a i ) = 0
(2.258)
(2.259)
iN=1
n2
i
a2
i
2 2 t
(2.261)
nk
xk e
un1 nN ( x1 , x2 , . . . , x N , t) = sen
ak
k =1
iN=1
n2
i
a2
i
2 2 t
(2.262)
u ( x1 , x2 , . . . , x N , t ) =
n1 = 1 n2 = 1
n N =1
N
bn1 nN
n1 ,...,n N
k =1
bn1 nN un1 nN ( x1 , x2 , . . . , x N , t)
nk
sen
xk e
ak
iN=1
n2
i
a2
i
2 2 t
(2.263)
72
2.1.9 Ecuacion
de Calor en Coordenadas Cilndricas
En coordenadas cilndricas (, , z) el operador de Laplace se escribe como
u =
1
1
u + 2 u + uzz
(2.266)
(2.267)
La propuesta de separacion
de variables
(2.268)
ut = RZT
RZT
ZT
u =
R + 2 + RTZ
(2.269)
produce
(2.270)
1
1
Z
T
R + 2
=A
(2.271)
= 2
+
T
R
Z
Seccion
2.1. La Ecuacion
de Calor
73
esto es
T AT = 0
1
1
Z
R + 2
+
=B
R
Z
(2.272)
(2.273)
es decir
1
1
Z
R 2
= B
=C
Z
R
Z CZ = 0
1
1
= BC
R + 2
R
(2.274)
(2.275)
(2.276)
= ( B C ) 2
R = D
esto es
D = 0
R = D
( B C ) 2
R
(2.277)
(2.278)
(2.279)
(2.282)
(2.283)
Z CZ = 0
D = 0
i
R + R + (C B)2 + D R = 0
2
(2.281)
(2.284)
74
con D = n2 ,
x2 y + xy + ( x2 n2 )y = 0,
y = y( x )
(2.285)
C B = x, y R = y.
2.1.10 Ecuacion
de Calor en Coordenadas Esfericas
En coordenadas esfericas (r, , ) el operador de Laplace es
1
1
2
u
sen r ur + ( sen u ) +
u = 2
r
sen
r sen
(2.286)
sen r ur
1
u
+ ( sen u ) +
sen
r
(2.287)
La propuesta de separacion
de variables
u(r, , , t) = R(r )( )() T (t)
(2.288)
(2.289)
sen
RT
+ 2
r sen 2
(2.290)
T
1 2
1
1
2
=
r R + 2
sen + 2
= A (2.291)
T
r2 R
r sen
r sen 2
esto es
1
1 2
r R + 2
2
r R
r sen
sen
T AT = 0
1
+ 2
= B
r sen 2
(2.292)
(2.293)
Seccion
2.1. La Ecuacion
de Calor
75
1 2
1
r R Br2 =
R
sen
sen
es decir
1
sen
1
sen 2
= C
1 2
r R Br2 C = 0
R
1
sen +
= C
sen 2
(2.294)
(2.295)
(2.296)
sen
=
sen
esto es
sen
sen
C sen 2 = D
(2.297)
D = 0
(2.298)
+ C sen 2 + D = 0
(2.299)
D = 0
sen 2 + sen cos + C sen 2 + D = 0
(2.300)
(2.301)
(2.302)
(2.303)
76
(1 x )z 2xz +
z = 0,
z = z( x )
(2.305)
1 x2
con C = , D = m2 , cos = x, y = z. Concluimos nuevamente que
el metodo de separacion
de variables funciona tambien para la ecuacion
de
calor escrita en coordenadas esfericas. Notamos, sin embargo, que el sistema de
ecuaciones diferenciales ordinarias es considerablemente mas complicado que
en el caso de las coordenadas cilndricas ( el cual, a su vez es mas complicado
que para coordenadas cartesianas ).
2.2 La Ecuacion
de Onda
Consideremos la ecuacion
de onda en tres dimensiones
utt = c2 u
(2.306)
(2.307)
utt = UT
(2.308)
u = TU
(2.309)
produce
T
U
= c2
=A
T
U
(2.310)
T AT = 0
(2.311)
esto es
U BU = 0
(2.312)
Seccion
2.3. La Ecuacion
de Laplace
77
(2.313)
(2.314)
(2.315)
(2.316)
(2.317)
X CX = 0
Y DY = 0
Z EZ = 0
diferencia en la separacion
de variables entre la
ecuacion
de calor y la ecuacion
de onda esta en la ecuacion
para el tiempo, se
sigue que las mismas separaciones para las variables espaciales en coordenadas
cilndricas y esfericas de la ecuacion
de calor aplican a la ecuacion
de onda en
tres dimensiones.
2.3 La Ecuacion
de Laplace
Consideremos la ecuacion
de Laplace en tres dimensiones
u = 0
(2.318)
78
(2.319)
(2.320)
(2.321)
(2.322)
Y BY = 0
Z CZ = 0
2.4 La Ecuacion
de Schrodinger
La ecuacion
de Schrodinger
(~r, t)
ih (~r, t) = H
(2.323)
t
donde H es el operador de energia total o Hamiltoniano
p 2
H =
+ V (~r, t)
2m
(2.324)
(2.325)
ih (~r, t) = H (~r )(~r, t)
t
Podemos utilizar la propuesta de separacion
de variables
(~r, t) = u(~r ) T (t)
(2.326)
Seccion
2.4. La Ecuacion
de Schrodinger
79
que al sustituir en (2.325), y luego dividir ambos lados por = uT, conduce a
la separacion
T
Hu
ih
=
=E
(2.327)
T
u
donde denotamos como E a la constante de separacion
anticipando que
corresponde a la energa total de la partcula. Este sistema puede escribirse
como
iE
T=0
h
Eu = 0
Hu
T +
(2.328)
(2.329)
T (t) = e h t
(2.330)
y la variacion
espacial se encuentra resolviendo el problema de valores propios
para el operador Hamiltoniano
H (~r )u(~r ) = Eu(~r )
(2.331)
llamada comunmente
h 2 2
H =
+ V (~r )
2m
(2.332)
2 u(~r ) +
2m
h 2
[ E V (~r )] u(~r ) = 0
(2.333)
80
si x < 0, x > a
Solucion. Dado que el potencial no depende del tiempo, podemos aplicar la
separacion
recien obtenida para la posicion
~r siendo x. Por lo tanto, la funcion
T (t) = e h t
(2.335)
d2 u 2m
+ 2 [ E V ( x )] u = 0
dx2
h
(2.336)
y u( x ) satisfaciendo la ecuacion
solucion
posible es u( x ) 0 pues como
V ( x ) = ( y la partcula dentro de la caja tiene E finita ) si u no fuese
identicamente cero, entonces su segunda derivada debera ser infinita en todo
punto donde u( x ) 6= 0 ( lo cual no es posible de las soluciones de la ecuacion
(2.338)
u( a) = 0
(2.339)
La solucion
del problema (2.337)(2.339) es conocida ( la determinamos en la
Seccion
2.1.1 ). Se sigue que
n2 2
a2
h
n
x
u( x ) = sen
a
2mE
2
(2.340)
(2.341)
Seccion
2.4. La Ecuacion
de Schrodinger
81
n2 2 h 2
,
2ma2
n = 1, 2, . . .
(2.342)
( i.e. esta cuantizada! ) y que para cada una de estas n se tiene una funcion
de
onda asociada
n ( x, t) = un ( x ) Tn (t)
n
iEn
= sen
x e h t
a
(2.343)
|( x, t)|2 dx = 1
(2.344)
= | A |2
= | A |2
= | A|
= | A|
| An ( x, t)|2 dx
An ( x, t) A n ( x, t)dx
Z
n ( x, t)n ( x, t)dx
n iEn
n
iEn
sen
x e h t sen
x e h t dx
a
a
n
sen 2
x dx
a
Z a
0
Z a
0
2a
(2.345)
(2.346)
82
n ( x, t) =
(2.347)
sen
x e h t
a
a
para 0 x a y n ( x, t) 0 para x < 0 y x > a. Aplicando el principio de
superposicion
obtenemos la solucion
general
cn n ( x, t)
( x, t) =
n=
cn
n=
n
iEn
2
sen
x e h t
a
a
(2.348)
iEn
2
(2.349)
sen
x e h t
( x, t) = bn
a
a
n =1
con bn = cn cn coeficientes complejos igualmente arbitrarios. Para fijarlos
imponemos la condicion
inicial
( x, 0) = f ( x )
(2.350)
2
f ( x ) = bn
sen
x
(2.351)
a
a
n =1
de donde se sigue que
bn
2
2
=
a
a
Z a
0
f ( x ) sen
y por lo tanto
bn =
Z a
0
f (x)
n
x dx
a
n
2
sen
x dx
a
a
(2.352)
(2.353)
Seccion
2.4. La Ecuacion
de Schrodinger
83
iEn
2
( x, t) = bn
(2.354)
sen
x e h t
a
a
n =1
para 0 x a y ( x, t) 0 para x < 0 y x > a, con los coeficientes bn
dados por
r
Z a
n
2
f (x)
bn =
sen
x dx
(2.355)
a
a
0
En =
n2 2 h 2
,
2ma2
n = 1, 2, . . .
(2.356)
| bn | 2 = 1
(2.357)
n =1
1
si x0 c x x0 + c
(2.358)
( x, 0) =
2c
0
si x < x0 c, x > x0 + c
con x0 y c constantes positivas que satisfacen x0 c > 0 y x0 + c < a.
Solucion.
Solo
es necesario calcular los coeficientes bn , pero antes de hacerlo
vale la pena verificar que la condicion
inicial efectivamente esta normalizada.
Calculamos
Z
|( x, 0)|2 dx =
=
( x, 0) ( x, 0) dx
Z x0 + c
x0 c
1
dx
2c
1
=
(2c)
2c
=1
(2.359)
84
=
sen
x dx
a
x0 c
2c a
Z x0 + c
n
1
sen
x dx
=
a
ac x0 c
n x0 +c
1 a
=
cos
x
a
ac n
x0 c
r
h
n
i
n
a 1
cos
( x0 c) cos
( x0 + c )
=
c n
a
a
r
n
n
a 2
sen
x0 sen
c
(2.360)
=
c n
a
a
Sustituyendolos en (2.354) produce
r
n
n
n
iEn
2 2 1
( x, t) =
sen
x0 sen
c sen
x e h t
c n =1 n
a
a
a
(2.361)
n2 2 h 2
,
2ma2
n = 1, 2, . . .
(2.362)
sen
x sen
y sen
z e h t
nml (~r, t) =
abc
a
b
c
(2.364)
Seccion
2.5. Ecuacion
de Segundo Orden Lineal
85
(~r, t) =
(2.365)
n =1 m =1 l =1
(2.366)
Z a
0
dx
Z b
0
dy
Z c
0
(2.367)
|bnml |2 = 1
(2.368)
n =1 m =1 l =1
2.5 Ecuacion
de Segundo Orden Lineal
Para finalizar este captulo queremos buscar condiciones fuertes que aseguren
separacion
de variables en la EDP de segundo orden lineal.
(2.369)
86
(2.371)
X
X Y
Y
X
Y
g
+ 2b
+c
+d
+e
+f =
X
XY
Y
X
Y
XY
(2.372)
Y
X
Y
X
+c
+d
+e
+f =0
X
Y
X
Y
(2.373)
X
X
Y
Y
+d
= c
e
f
X
X
Y
Y
(2.374)
Esta ecuacion
estara separada siempre que a = a( x ), d = d( x ), c = c(y), e =
e(y) y f = f (y) ( o alternativamente, dejando f del lado izquierdo sera
necesario que f = f ( x ) ). Con todo esto vemos que condiciones fuertes
necesarias para que la ecuacion
(2.369) sea separable son
(i ) b 0 y g 0
(ii) a = a( x ), d = d( x ), c = c(y) y e = e(y)
(iii) f = f ( x ) o f = f (y)
las cuales se tienen en todas las ecuaciones que hemos estudiado anteriormente.
(2.375)
Seccion
2.5. Ecuacion
de Segundo Orden Lineal
87
a b
donde Q =
es la matriz simetrica asociada a la parte cuadratica
b c
( i.e. de segundo orden en las derivadas de u ) y L = d e
es la matriz
renglon
asociada a la parte lineal ( i.e. de primer orden en las derivadas de u ).
x
con la notacion
usual de derivada
Estamos empleando ademas =
y
parcial, x = /x, y el superndice T denotando la matriz transpuesta; i.e.
T = x y .
(2.377)
con =
= R T
(2.378)
(2.380)
se tendra Q =
0 c
4
=R
y
88
(2.381)
(2.382)
u(0, t) = f (t)
(2.383)
u(, t) = g(t)
(2.384)
u( x, 0) = ( x )
(2.385)
ut ( x, 0) = ( x )
(2.386)
Solucion.
Las matrices asociadas son
1 1
Q=
1
1
L=
(2.387)
1
1
1
1
(2.388)
Q = RQR =
L = L RT =
2
0
0
0
0
(2.389)
(2.390)
Seccion
2.5. Ecuacion
de Segundo Orden Lineal
89
2 U + U = 0
(2.391)
T
T
Utilizando = R x t , puede verse que las condiciones iniciales
y de frontera se transforman respectivamente en
U (, ) = f ( 2 )
U (, 2 ) = g( 2 )
U (, ) = ( 2 )
U (, ) U (, ) = 2 ( 2 )
(2.392)
(2.393)
(2.394)
(2.395)
(2.396)
!
6
U1 (, ) = A1 ( ) e
cos
4
!
6
42
sen
U2 (, ) = A2 ( ) e
4
2
4
(2.397)
(2.398)
U (, ) = A1 ( ) e
2
4
cos
+ A2 ( ) e
2
4
sen
(2.399)
90
!
!
!#
!
2
6
6
6
U (, ) = A1 ( ) e
cos
sen
4
4
4
4
"
!
!
!#
!
2
6
6
6
42
sen
cos
+
(2.400)
+ A2 ( ) e
4
4
4
4
!
!
6
6
42
42
U (, ) = A1 ( ) e
cos
sen
+ A2 ( ) e
(2.401)
4
4
2
4
"
U (, ) U (, ) =
=
+
!
!
6
6
42
cos
sen
A1 ( ) e
+ A2 ( ) e
4
4
"
!
!
!#
!
2
6
6
6
42
cos
sen
A1 ( ) e
4
4
4
4
"
!
!
!#
!
2
6
6
6
42
sen
cos
+
A2 ( ) e
4
4
4
4
"
#
!
!
!
2
6
6
42
A1 ( ) +
cos
A1 ( )
A2 ( ) e
4
4
4
#
"
!
!
!
2
6
6
42
sen
A2 ( ) +
A1 ( ) e
A2 ( ) +
4
4
4
2
4
(2.402)
Seccion
2.5. Ecuacion
de Segundo Orden Lineal
91
2
6
A1 ( ) e
cos
+ A2 ( ) e 4 sen
4
!
2
6
42
+ A2 ( 2 ) e 4 sen
A1 ( 2 ) e
cos
4
!
2
2
6
+ A2 ( ) e 4 sen
A1 ( ) e 4 cos
4
#
"
!
!
2
2
6
A1 ( )
A2 ( ) e 4 cos
A1 ( ) +
4
4
"
#
!
!
2
2
6
A2 ( ) +
A2 ( ) +
A1 ( ) e 4 sen
4
4
2
4
!
6
4
!
6
4
!
6
4
!
6
4
!
6
= f ( 2 )
= g(
2 )
= ( 2 )
+
=
2 ( 2 )
Una forma de resolver este sistema es utilizar solamente dos ecuaciones; por
ejemplo la primera y la tercera.
Intercambiando en la primera y luego
multiplicandola por e 2
2
4
!
!
2
6
6
4
22
cos
sen
A2 ( ) e
= e
f ( 2 )
A1 ( ) e
4
4
!
!
6
6
42
42
cos
sen
+ A2 ( ) e
= ( 2 )
A1 ( ) e
4
4
2
4
Su solucion
se encuentra por simple suma ( y resta ) de las ecuaciones:
!
6
22
( 2 ) + e
f ( 2 )
sec
4
!
2
2
1
6
( 2 ) e 2 f ( 2 )
A2 ( ) = e 4 csc
2
4
1
A1 ( ) = e
2
2
4
(2.403)
(2.404)
lo cual hace evidente que debe haber relaciones entre las funciones f , g, ,
para que haya consistencia.
92
2
2
2
1
6
6
U (, ) =
e 4 sec
( 2 ) + e 2 f ( 2 ) e 4 cos
2
4
4
!
!
2
2
2
6
6
1
e 4 csc
( 2 ) e 2 f ( 2 ) e 4 sen
+
2
4
4
!
!
2
6
6
1 2 ( )
=
cos
e 4
sec
( 2 ) + e 2 f ( 2 )
2
4
4
!
!
2
6
6
1 2 ( )
sen
e 4
csc
( 2 ) e 2 f ( 2 )
+
2
4
4
(2.405)
Por ultimo,
1
=
2
1
1
1
1
x
t
1 ( x t)
2
1 ( x + t)
2
(2.406)
!
!
i
h
1
3
3
1 1t
u( x, t) =
e 2 cos
( x t) sec
( x + t) ( x + t) + e 2 ( x +t) f ( x + t)
2
4
4
!
!
i
h
1
1 1t
3
3
+
e 2 sen
( x t) csc
( x + t) ( x + t) e 2 ( x +t) f ( x + t)
2
4
4
(2.407)
(2.408)
u(0, t) = f (t)
(2.409)
u(, t) = g(t)
(2.410)
u( x, 0) = ( x )
(2.411)
ut ( x, 0) = ( x )
(2.412)
Seccion
2.5. Ecuacion
de Segundo Orden Lineal
93
(2.413)
u(0, t) = f (t)
(2.414)
u(, t) = g(t)
(2.415)
u( x, 0) = ( x )
(2.416)
ut ( x, 0) = ( x )
(2.417)
94
Captulo 3
Metodo de Cambio de
Variables
Mas que un metodo para resolver EDP, la tecnica de cambio de variables es un
recurso muy util
tanto para simplificar problemas como para transformarlos
en otros ya resueltos. Bajo condiciones excepcionales, como es el caso de
transformaciones lineales y algunas transformaciones no lineales, s puede
utilizarse para encontrar soluciones generales de EDP o bien para resolver
problemas con condiciones dadas. En este captulo se abordan diversos
problemas mediante el uso de cambios de variables. Al inicio se estudia la
ecuacion
de onda unidimensional y se muestra que puede resolverse de forma
general utilizando una transformacion
lineal de sus variables independientes.
Considerando las condiciones iniciales mas generales, en el mismo problema,
se encuentra la solucion
particular conocida como formula de DAlembert. Mas
aun,
se muestra como, imponiendo distintas condiciones de frontera en la
cuerda finita, se encuentran soluciones en series puramente a partir de la
formula
95
96
3.1 La Ecuacion
de Onda
3.1.1 Cuerda Vibrante Infinita
Consideremos la ecuacion de onda en una dimension
utt = c2 u xx
(3.1)
(3.2)
= ( x, t)
(3.3)
(3.4)
u t = u t + u t
(3.5)
(3.6)
utt = ut t + u tt + ut t + u tt
(3.7)
Seccion
3.1. La Ecuacion
de Onda
97
(3.8)
ux = u x + u x
(3.9)
ut = u t + u t
(3.10)
ut = u t + u t
(3.11)
La introduccion
de (3.8) y (3.9) en (3.6) produce
u xx = u x + u x x + u xx + u x + u x x + u xx
= u 2x + u x x + u xx + u x x + u x2 + u xx
= u 2x + 2u x x + u x2 + u xx + u xx
(3.12)
= u 2t + u t t + u tt + u t t + u t2 + u tt
= u 2t + 2u t t + u t2 + u tt + u tt
(3.13)
(3.14)
= Cx + Dt
(3.15)
(3.16)
t = B
(3.17)
x = C
(3.18)
t = D
(3.19)
xx = tt = xx = tt = 0
(3.20)
de tal forma que en este caso las ecuaciones (3.12) y (3.13) se reducen a
u xx = A2 u + 2AC u + C2 u
2
utt = B u + 2BD u + D u
(3.21)
(3.22)
98
(3.23)
= C ( x + ct)
(3.24)
(3.25)
4c2 AC u = 0
(3.26)
(3.27)
(3.28)
f( ) d + G ( )
(3.29)
(3.30)
Seccion
3.1. La Ecuacion
de Onda
99
(3.31)
= k 2 x + 2 t
(3.32)
(3.33)
(3.34)
(3.35)
u( x, 0) = ( x )
(3.36)
ut ( x, 0) = ( x )
(3.37)
100
(3.38)
ut ( x, t) = cF ( x ct) + cG ( x + ct)
(3.39)
de donde se obtiene
(3.40)
( x ) = ut ( x, 0) = cF ( x ) + cG ( x )
(3.41)
(s)ds + A = F( x ) + G ( x )
(3.42)
(3.43)
Z
1 x
(s)ds A
c 0
Z
1 x
(s)ds + A
c 0
(3.44)
(3.45)
1 x
(s)ds
2c 0
Z
1 x
(s)ds +
2c 0
Z
1
A
2
1
A
2
(3.46)
(3.47)
Seccion
3.1. La Ecuacion
de Onda
101
Introduciendolas en la solucion
general (3.38), se encuentra
u( x, t) = F( x ct) + G ( x + ct)
1
1
= ( x ct) + ( x + ct)
2
2
1
1
= ( x ct) + ( x + ct) +
2
2
1
1
= ( x ct) + ( x + ct) +
2
2
1 xct
1 x+ct
(s)ds +
(s)ds
2c 0
2c 0
Z 0
Z x +ct
1
1
(s)ds +
(s)ds
2c xct
2c 0
Z
1 x+ct
(s)ds
(3.48)
2c xct
Z
Esto es,
u( x, t) =
1
1
1
( x ct) + ( x + ct) +
2
2
2c
Z x +ct
x ct
(s)ds
(3.49)
( i ) ( x ) = ( x ),
(ii) ( x ) 0,
(iii) ( x ) = ( x ),
( x ) 0
( x ) = ( x )
( x ) = ( x )
(3.50)
u(0, t) = 0
(3.51)
u(, t) = 0
(3.52)
u( x, 0) = ( x )
(3.53)
ut ( x, 0) = ( x )
(3.54)
102
(3.55)
u(0, t) = 0
(3.56)
u(, t) = 0
(3.57)
u( x, 0) = ext ( x )
(3.58)
ut ( x, 0) = ext ( x )
(3.59)
definido para < x < y t > 0, con ext y ext funciones identicas a
y respectivamente para toda x (0, ); y aun
por ser determinadas fuera de
ese intervalo. La solucion
de (3.55), (3.58) y (3.59) esta dada por la formula
de
DAlembert
1
1
1
u( x, t) = ext ( x ct) + ext ( x + ct) +
2
2
2c
Z x +ct
x ct
ext (s)ds
(3.60)
0 = u(0, t) =
(3.61)
(3.62)
ahora, como ext y ext son funciones arbitrarias, una manera de asegurar las
igualdades es pidiendo que tanto ext como ext sean funciones impares respecto
a x = 0 y tambien respecto a x = . Esto es, que satisfagan
ext ( x ) = ext ( x )
ext ( x ) = ext ( x )
ext ( x ) = ext ( + x )
ext ( x ) = ext ( + x )
(3.63)
(3.64)
(3.65)
(3.66)
Seccion
3.1. La Ecuacion
de Onda
103
si 0 < x <
( x )
(3.67)
ext ( x ) =
( x ) si < x < 0
0
si x = 0, x =
si 0 < x <
( x )
(3.68)
ext ( x ) =
( x ) si < x < 0
0
si x = 0, x =
y ademas ext y ext periodicas
ext ( x ) = bn sen
x
(3.69)
n =1
n
x
(3.70)
ext ( x ) = n sen
n =1
de Euler-Fourier
Z
n
2
bn =
ext ( x ) sen
x dx
0
Z
n
2
n =
ext ( x ) sen
x dx
0
(3.71)
(3.72)
n =1
n =1
h
n
n
i
= bn sen
( x ct) + sen
( x + ct)
n =1
n
n
x cos
ct
(3.73)
= bn 2 sen
n =1
1
104
donde en la ultima
(3.74)
ext (s)ds =
=
=
=
=
Z x +ct
n
s ds
x ct n=1
Z x +ct
n
n xct sen s ds
n =1
n s= x+ct
n n cos s
n =1
s = x ct
h
n
i
(3.75)
n n 2 sen x sen ct
n =1
n sen
(3.76)
= bn sen
sen
x cos
ct + n
x sen
ct
nc
n =1
n =1
n
n
n
sen
(3.77)
x bn cos
ct + n
ct
= sen
nc
n =1
u( x, t) =
con los coeficientes bn y n dados en (3.71) y (3.72). Notamos que esta solucion
Seccion
3.1. La Ecuacion
de Onda
105
ext ( x ) y ext ( x ) respectivamente. Sin embargo, dado que estas funciones son
identicas a ( x ) y ( x ) en el intervalo (0, ) y que los coeficientes pueden
calcularse sobre este intervalo, se concluye que la expresion
(3.77) resuelve el
problema original. Esto es, la solucion
al problema (3.50)(3.54) definido para
0 < x < y t > 0 es
n
n
n
u( x, t) = sen
sen
x bn cos
ct + n
ct
nc
n =1
(3.78)
con
Z
n
2
( x ) sen
x dx
bn =
0
Z
n
2
( x ) sen
x dx
n =
0
(3.79)
(3.80)
para cada n = 1, 2, . . .
Ejercicio 1. Resuelva el problema de las vibraciones de una cuerda de longitud fija
en los extremos, (3.50)(3.54), para las condiciones iniciales
( x ) =
b
( x x0 ) + b
a
b
( x x0 ) + b
a
0
si x0 a x < x0
si x0 x < x0 + a
en otro caso
106
(3.81)
u x (0, t) = 0
(3.82)
u x (, t) = 0
(3.83)
u( x, 0) = ( x )
(3.84)
ut ( x, 0) = ( x )
(3.85)
u( x, t) =
n
n
n
a0
0
sen
+ t + cos
x an cos
ct + n
ct
2
2
nc
n =1
(3.86)
con
Z
n
2
an =
x dx
( x ) cos
0
Z
n
2
n =
( x ) cos
x dx
0
(3.87)
(3.88)
para cada n = 0, 1, 2, . . .
Ejercicio 1. Resuelva el problema de las vibraciones de una cuerda de longitud
con extremos libres, (3.81)(3.85), utilizando el metodo de separacion de variables y
verifique la solucion (3.86)(3.88).
Seccion
3.1. La Ecuacion
de Onda
107
(3.89)
u(0, t) = 0
(3.90)
u x (, t) = 0
(3.91)
u( x, 0) = ( x )
(3.92)
ut ( x, 0) = ( x )
(3.93)
(2n 1)
u( x, t) = sen
x
2
n =1
(2n 1)
2
(2n 1)
sen
ct + 2n1
ct
b2n1 cos
2
(2n 1)c
2
(3.94)
con
b2n1
2n1
Z
2
(2n 1)
x dx
=
( x ) sen
0
2
Z
2
(2n 1)
=
( x ) sen
x dx
0
2
(3.95)
(3.96)
para cada n = 1, 2, . . .
Ejercicio 1. Resuelva el problema de las vibraciones de una cuerda de longitud con
un extremo fijo y el otro libre, (3.89)(3.93), utilizando el metodo de separacion de
variables y verifique la solucion (3.94)(3.96).
108
3.2 La Ecuacion
de Laplace
3.2.1 Solucion
General
Consideremos la ecuacion de Laplace bidimensional
u xx + uyy = 0
(3.97)
(3.98)
= Cx + Dy
(3.99)
(3.100)
uy = Bu + Du
(3.101)
= A2 u + 2AC u + C2 u
= B Bu + Du + D Bu + Du
= B2 u + 2BD u + D2 u
(3.102)
(3.103)
Seccion
3.2. La Ecuacion
de Laplace
109
(3.105)
= C ( x iy)
(3.106)
(3.107)
(3.108)
(3.109)
(3.111)
(3.112)
110
(3.113)
y supongase
que la solucion
tiene simetra esferica. Es decir, u = u(r, t), de tal
forma que el Laplaciano escrito en coordenadas esfericas solo
contiene la parte
radial
1
u
u = 2
r2
(3.114)
r
r r
En este caso puede escribirse el problema de valores iniciales ( problema de
Cauchy ) para la ecuacion
de onda con simetra esferica
2
2
(3.115)
utt = c urr + ur
r
u(r, 0) = (r )
(3.116)
ut (r, 0) = (r )
(3.117)
Seccion
3.3. Ondas Esfericas
111
cambio de variable
u(r, t) =
1
w(r, t)
r
(3.118)
(3.119)
(3.120)
(3.121)
wtt = c2 wrr
(3.122)
(3.123)
wt (r, 0) = r (r )
(3.124)
En conclusion,
el cambio de variable (3.118) transforma el problema original
(3.115)(3.117) en
wtt = c2 wrr
(3.125)
w(r, 0) = r (r )
(3.126)
wt (r, 0) = r (r )
(3.127)
de
DAlembert para escribir su solucion
w(r, t) =
1
1
1
(r ct) (r ct) + (r + ct) (r + ct) +
2
2
2c
Z r +ct
r ct
s (s) ds (3.128)
112
u(r, t) =
Notese
( i ) (r ) = (r ),
(ii) (r ) 0,
(iii) (r ) = (r ),
(r ) 0
(r ) = (r )
(r ) = (r )
3.4 Ecuacion
de Difusion
con Reaccion
Lineal
El problema de valores iniciales de interes es en este caso
au xx but + cu = 0
u( x, 0) = f ( x )
(3.130)
(3.131)
(3.132)
Seccion
3.5. Ecuacion
Lineal con Coeficientes Constantes
113
At
(3.133)
( A w + wt )
(3.134)
aw xx bwt + (c bA)w = 0
(3.135)
(3.136)
(3.137)
(3.138)
la solucion
de e ste, como se vera en un captulo posterior, para a/b = 2 > 0
es
Z
( x s )2
1
w( x, t) =
e 42 t f (s)ds
(3.139)
42 t
Finalmente, se obtiene la solucion
utilizando u( x, t) = e At w( x, t) con A =
c/b. Esto es
r
Z
b ( x s )2
c
b
u( x, t) =
e 4at f (s)ds
(3.140)
e bt
4at
3.5 Ecuacion
Lineal con Coeficientes Constantes
Hemos visto que la ecuacion
lineal
a u xx + 2b u xy + c uyy + d u x + e uy + f u = g
(3.141)
114
=R
x
y
(3.143)
a 0
T
T
, L = LR = d e , =
,
donde Q = R Q R =
0 c
f = f , G (, ) = g( x (, ), y(, )) y U (, ) = u( x (, ), y(, )). Es decir,
bajo esta rotacion,
la ecuacion
(3.141) se transforma en
a U + c U + d U + e U + f U = G
(3.145)
a V + c V +
d
e
d 2
e 2
f V = e 2a + 2c G
4a
4c
(3.147)
Seccion
3.5. Ecuacion
Lineal con Coeficientes Constantes
115
(3.148)
a V + e V +
d
d 2
f V = e 2a G
4a
(3.149)
(3.150)
a W + e W = e
d
2a
f
e
2
4ad e
(3.151)
116
Captulo 4
Metodo de Transformadas
Integrales
Un segundo metodo general para resolver EDP lineales con condiciones dadas
se basa en el uso de transformadas integrales. La tecnica consiste en aplicar la
transformada integral al problema para convertirlo en uno soluble. Una vez
resuelto, se invierte la transformada integral para as obtener la solucion
al
problema original. El e xito de dicho procedimiento radica en la linealidad tanto
del problema como de las transformadas integrales; y de forma particular en la
transformada especfica que se elija. En este captulo se introduce el metodo de
las transformadas integrales de manera general y se presentan las transformadas
mas comunes: de Laplace, de Fourier, de Mellin y de Hankel. En particular, se
utiliza la transformada de Fourier para resolver problemas de valores en la
frontera para la ecuacion
de Laplace y problemas de valores iniciales para la
ecuacion
de onda, para la ecuacion
de calor y finalmente para la ecuacion
de Schrodinger.
Se consideran unicamente
117
118
T { f (t)} =
Z b
a
K (, t) f (t)dt
(4.1)
K ( sobre
el intervalo ( a, b) ). Notamos que la integral (4.1) es funcion
de de tal forma
que podemos denotar
F( ) = T { f (t)}
(4.2)
Esta notacion
a su vez sugiere que puede haber una transformacion
inversa que
satisfaga
f (t) = T 1 { F( )}
(4.3)
Claramente una transformada integral T es lineal pues
Z b
a
Z b
a
= c1
Z b
a
Z b
a
K (, t) f 1 (t)dt + c2
K (, t)c2 f 2 (t)dt
Z b
a
K (, t) f 2 (t)dt
= c1 T { f 1 (t)} + c2 T { f 2 (t)}
(4.4)
Z b
a
Z d
c
K1 (, t) f ( x, t)dt
(4.5)
K2 (k, x ) f ( x, t)dx
(4.6)
Seccion
4.1. Transformadas Integrales en General
119
de la transformacion
es K (s, t) = e st y el intervalo
de integracion
es [ 0, ) de tal forma que la transformada de Laplace de la
funcion
f (t) es
L { f (t)} =
Z
0
e st f (t)dt
(4.7)
de la transformacion
es K (, t) = e it / 2 y el
intervalo de integracion
es (, ) de tal forma que la transformada de
Fourier de la funcion
f (t) es
1
F { f (t)} =
2
e it f (t)dt
(4.8)
| f (t)|dt <
120
1
F 1 { F( )} =
e it F( )d
(4.9)
2
Es comun
encontrar la transformada de Fourier en terminos de variables
asociadas a la posicion
mas que al tiempo. Aqu utilizamos la notacion
1
F { f ( x )} =
2
e ikx f ( x )dx
(4.10)
1
F 1 { F(k)} =
2
para la transformada inversa.
e ikx F(k)dk
(4.11)
La representacion
en (4.8) relaciona al tiempo t con la frecuencia angular
mientras que la representacion
en (4.10) relaciona la posicion
x con el
numero
donde ( f g) es la convolucion
de f con g definida como
1
( f g)( x ) =
2
f ( x s) g(s)ds
(4.12)
Seccion
4.1. Transformadas Integrales en General
121
de la transformacion
es K (s, t) = ts1 y el intervalo de
integracion
es (0, ) de tal forma que la transformada de Mellin es
M { f (t)} =
Z
0
ts1 f (t)dt
(4.13)
de la transformacion
es K (s, t) = tJ (st), con J la
funcion
de Bessel de primera especie y orden , y el intervalo de integracion
H { f (t)} =
tJ (st) f (t)dt
(4.14)
Su transformada inversa es
H1 { F(s)} =
Z
0
sJ (st) F(s)ds
(4.15)
122
4.2 Ecuacion
de Laplace
4.2.1 Problema de Dirichlet en el Semiplano Superior
Podemos comenzar con el problema de Dirichlet en el semiplano superior. Esto
es,
u xx + uyy = 0
(4.16)
u( x, 0) = f ( x )
(4.17)
e ikx u( x, y)dx
(4.18)
(4.19)
F {u xx } + F uyy = 0
(4.20)
A partir de este punto suponemos que las funciones involucradas tienen una
transformada de Fourier. Para ello basta con que sean seccionalmente continuas
y absolutamente integrables en (, ). Sin embargo, estas hipotesis
no son
indispensables ya que es posible obtener transformadas de Fourier de funciones
generalizadas o distribuciones como la delta de Dirac.
Seccion
4.2. Ecuacion
de Laplace
123
(ik)2 U (k, y) +
2
U (k, y) = 0
y2
(4.21)
(4.22)
Es decir, la ecuacion
transformada es esencialmente una ecuacion
diferencial
ordinaria respecto a la variable y ( aunque debe tomarse en cuenta que U
tambien depende de k ).
Para completar el problema se debe transformar tambien la condicion
de
frontera (4.17). Esto da directamente
F {u( x, 0)} = F { f ( x )}
(4.23)
U (k, 0) = F(k)
(4.24)
Es decir
es la condicion
de frontera en el espacio de la variable k. Con esto se tiene que
el problema a resolver se ha transformado en
Uyy k2 U = 0
U (k, 0) = F(k)
(4.25)
(4.26)
U2 = A2 (k) e ky
(4.27)
124
(4.29)
(4.30)
(4.31)
directamente en la solucion
(4.30) se tiene
o
n
F 1 {U (k, y)} = F 1 F(k) e |k|y
(4.32)
F 1 { G (k) F(k)} = ( g f )( x )
(4.33)
u( x, y) = ( g f )( x )
(4.34)
se encuentra
donde
g( x ) = F
y
| k | y
f ( x ) = F 1 { F(k)}
y
2
x + y2
(4.35)
(4.36)
Seccion
4.2. Ecuacion
de Laplace
125
(4.37)
| k | y
y
2
x + y2
u( x, y) =
(4.38)
126
Solucion.
=
=
Z
n= (s n)ds
( x s )2 + y2
Z
(s n)ds
n=
n=
n=
( x s )2 + y2
1
2
2
( x s) + y s=n
y
( x n )2 + y2
(4.39)
f (s)ds
x 2 + ( y s )2
(4.40)
(4.41)
se encuentra
Z
f (s)ds
|y|
u( x, y) =
(4.42)
( x s )2 + y2
Seccion
4.3. Ecuacion
de Onda
127
|x|
u( x, y) =
f (s)ds
x 2 + ( y s )2
(4.43)
4.3 Ecuacion
de Onda
4.3.1 Problema de Cauchy para la Cuerda Vibrante Infinita
Ahora queremos resolver el problema de valores iniciales para la cuerda
vibrante infinita
utt = c2 u xx
(4.44)
u( x, 0) = ( x )
(4.45)
ut ( x, 0) = ( x )
(4.46)
(4.48)
U (k, 0) = (k)
(4.49)
Ut (k, 0) = (k)
(4.50)
128
La ecuacion
(4.48) es esencialmente la ecuacion
del oscilador armonico
para U.
Su solucion
general en terminos de exponenciales complejas es
(4.51)
(4.52)
(4.53)
1
(k)
2
1
B(k) = (k) +
2
A(k) =
i
(k)
2ck
i
(k)
2ck
(4.54)
(4.55)
U (k, t) =
1
i
i
1
(k)
(k) e ickt +
(k) +
(k) e ickt
2
2ck
2
2ck
(4.56)
(4.57)
Seccion
4.3. Ecuacion
de Onda
129
Esto da
Z
1
1
i
e ikx
u( x, t) =
(k)
(k) e ickt dk
2
2ck
2
Z
1
i
1
e ikx
(k) +
(k) e ickt dk
+
2
2ck
2
Z
1
i
1
(k)
(k) e ik( xct) dk
=
2ck
2 2
Z
1
1
i
+
(k) +
(k) e ik( x+ct) dk
2ck
2 2
Z
Z
1 1
1 1
(k) e ik( xct) dk +
(k) e ik( x+ct)dk
=
2 2
2 2
Z
Z
i
i
1 1
1 1
+
(k) e ik( x+ct) (k) e ik( xct) dk
(4.58)
2c 2 k
La ultima
=
sgn ( x )
(4.59)
2
se tiene
Es decir
ik ( x ct )
i ik(ct)
e
k
i
dk =
k
sgn ( x ct)
2
1
i
=
e ikx e ik(ct) dk
k
2
Z
i
1
e ik( xct) dk
=
k
2
r
=
sgn ( x ct)
2
(4.60)
(4.61)
130
Luego, como
1
F 1 {(k)} =
e ikx (k) dk = ( x )
(4.62)
2
entonces, por el teorema de convolucion,
se sigue que
Z r
i ik(ct)
1
1
F
e
(k) =
sgn ( x ct s)(s)ds
k
2 2
Z
1
sgn ( x ct s)(s)ds
(4.63)
=
2
Ahora, la funcion
signo puede escribirse como
1 si s < x ct
(4.64)
sgn ( x ct s) =
0 si s = x ct
1 si s > x ct
sgn ( x ct s)(s)ds =
Z x ct
(s)ds
x ct
(s)ds
(4.65)
Z x+ct
Z
Z x ct
Z
1
(s)ds
(s)ds +
=
(s)ds
(s)ds
4c
x ct
x +ct
Z
Z x +ct
Z
Z x +ct
1
(s)ds
=
(s)ds +
(s)ds +
(s)ds +
4c xct
x ct
Z
1 x+ct
=
(s)ds
(4.66)
2c xct
1
1
1
( x ct) + ( x + ct) +
2
2
2c
Z x +ct
x ct
(s)ds
(4.67)
Seccion
4.4. Ecuacion
de Calor
131
4.4 Ecuacion
de Calor
4.4.1 Difusion
de Calor a lo Largo de una Lnea Infinita
El problema en cuestion
ahora es la ecuacion
de calor unidimensional con
condicion
inicial. Esto es
ut = 2 u xx
(4.68)
u( x, 0) = f ( x )
(4.69)
e ikx u( x, t)dx
(4.70)
(4.71)
U (k, 0) = F(k)
(4.72)
La ecuacion
(4.71) es esencialmente una ecuacion
diferencial ordinaria para U
( aunque debe considerarse su dependencia en k ). Su solucion,
sujeta a la
condicion
inicial (4.72) es
U (k, t) = F(k) e
2 k2 t
(4.73)
132
y el teorema de la convolucion
F 1 { G (k) F(k)} = ( g f )( x )
(4.75)
Dado que
g ( x ) = F 1
22 t
e
e
2 k2 t
x2
42 t
(4.76)
y
f ( x ) = F 1 { F(k)}
(4.77)
1
g( x s) f (s)ds
u( x, t) =
2
Z
2
1
1
( x s)
=
e 42 t f (s)ds
2 22 t
Z
2
1
( x s)
=
e 42 t f (s)ds
42 t
(4.78)
4.5 Ecuacion
de Schrodinger
V (x) =
0
V0
si 0 x a
si x < 0, x > a
(4.81)
Seccion
4.5. Ecuacion
de Schrodinger
133
e ikx ( x, t)dx
(4.82)
h 2 2
k F {V ( x ) } = 0
2m
(k, 0) = F(k)
(4.83)
(4.84)
donde
F {V ( x ) } =
si 0 x a
si x < 0, x > a
0
V0
(4.85)
(4.87)
cuya solucion
es
(k, t) = F(k) e
hi
h 2 2
2m k +V0
(4.88)
F 1 { G (k) F(k)} = ( g f )( x )
(4.90)
134
Dado que
g ( x ) = F 1
hi
h 2 2
2m k +V0
o
n i
ih t 2
= F 1 e h V0 t e 2m k
n iht 2 o
i
= e h V0 t F 1 e 2m k
= e
hi V0 t
1
q
iht
m
x2
2ih t
m
m i V0 t im x2
e 2ht
e h
iht
(4.91)
y
f ( x ) = F 1 { F(k)}
(4.92)
se obtiene la solucion
1
g( x s) f (s)ds
( x, t) =
2
Z r
1
m i V0 t im ( xs)2
=
e 2ht
f (s)ds
e h
2 iht
r
Z
i
im
2
m
e h V0 t
=
e 2ht ( xs) f (s)ds
2iht
(4.93)
(4.94)
para 0 x a.
Ejemplo 1. Determine la funci
R on de onda de una partcula libre para la condicion
inicial: ( x, 0) = f ( x ), con | f ( x )|2 dx = 1.
Solucion.
Seccion
4.5. Ecuacion
de Schrodinger
1
a
f (x) =
135
si 0 x a
(4.96)
si x < 0, x > a
se tiene la funcion
de onda
( x, t) =
m
2aiht
Z a
0
im
e 2ht ( xs) ds
(4.97)
si x x0
e 2ht ( xs) f (s)ds
2i
h
t
r
(4.99)
( x, t) =
Z
im
i
2
m
Solucion.
hi V0 t
e
e 2ht ( xs) f (s)ds si 0 x a
2i
h
t
r
( x, t) =
(4.101)
Z
im
2
m
136
Captulo 5
137
138
0 < 2
(5.2)
(5.3)
1
1
R + 2 R = 0
(5.4)
R
+ =
=A
(5.5)
R
R
2 R + R AR = 0
+ A = 0
(5.6)
(5.7)
Seccion
5.1. Geometras No rectangulares
139
La ecuacion
para R() es una ecuacion
de Euler mientras que la ecuacion
(5.8)
(5.9)
(5.10)
( ) = c 1 e 1 + c 2 e 2
(5.11)
(5.13)
para n = 1, 2, . . .
140
u(, ) =
n un (, )
n =0
(5.14)
n =1
(5.15)
n =1
0 =
(5.16)
(5.17)
(5.18)
0
+ n [ n cos (n) + n sen (n) ]
2
n =1
(5.19)
Seccion
5.2. Condiciones de Frontera Generales
141
(5.20)
u( x, 0) = f 0 ( x )
(5.21)
u( x, b) = f b ( x )
(5.22)
u(0, y) = g0 (y)
(5.23)
u( a, y) = ga (y)
(5.24)
u xx + uyy = 0
(5.25)
u( x, 0) = f 0 ( x )
(5.26)
u( x, b) = 0
(5.27)
u(0, y) = 0
(5.28)
u( a, y) = 0
(5.29)
u(2) ( x, y) es solucion
del problema
u xx + uyy = 0
(5.30)
u( x, 0) = 0
(5.31)
u( x, b) = f b ( x )
(5.32)
u(0, y) = 0
(5.33)
u( a, y) = 0
(5.34)
142
u(3) ( x, y) es solucion
del problema
u xx + uyy = 0
(5.35)
u( x, 0) = 0
(5.36)
u( x, b) = 0
(5.37)
u(0, y) = g0 (y)
(5.38)
u( a, y) = 0
(5.39)
y u(4) ( x, y) es solucion
del problema
u xx + uyy = 0
(5.40)
u( x, 0) = 0
(5.41)
u( x, b) = 0
(5.42)
u(0, y) = 0
(5.43)
u( a, y) = ga (y)
(5.44)
del problema respectivo. Notamos ademas que cada uno de los problemas
anteriores es analogo a los otros tres, en el sentido que de la solucion
de
cualquiera de ellos podemos inferir las soluciones de los demas. Elegimos
resolver el problema para u(1) ( x, y) definido por (5.25)(5.29). Utilizamos
separacion
de variables mediante la propuesta
u(1) ( x, y) = X ( x )Y (y)
(5.45)
(5.46)
X
Y
=
=A
(5.47)
X
Y
con A una constante compleja arbitraria. Se tiene entonces el sistema de
ecuaciones ordinarias
X AX = 0
Y + AY = 0
(5.48)
(5.49)
Seccion
5.2. Condiciones de Frontera Generales
143
(5.50)
X ( x )Y ( b ) = 0
(5.51)
X ( 0 )Y ( y ) = 0
(5.52)
X ( a )Y ( y ) = 0
(5.53)
(5.54)
X (0) = 0
(5.55)
X ( a) = 0
(5.56)
La solucion
de e ste es bien conocida
X ( x ) = sen
n
x
a
(5.57)
n 2
a
Y=0
(5.58)
Y (0) = C
(5.59)
Y (b) = 0
(5.60)
general de (5.58) es
n
n
Y (y) = k1 e a y + k2 e a y
(5.61)
con k1 y k2 constantes arbitrarias. Tenemos, por lo tanto, tres constantes
arbitrarias y solo
dos condiciones para fijarlas. Esto nos deja la libertad de
escoger una de ellas. Imponiendo las condiciones de frontera (5.59)(5.60) en la
solucion
(5.61) se obtiene la relacion
n
n
b
(5.62)
C = 2k1 e a b senh
a
144
(5.63)
de C se tiene
y, en tal caso, k2 = (1/2) e a b . Con todo esto, para esta eleccion
la solucion
del problema (5.58)(5.60)
n
n
n
1
1 n
Y (y) = e a b e a y + e a b e a y
2
2
n (by)
1 n (by)
e a
e a
=
2
n
= senh
(b y)
a
A partir de (5.57) y (5.64) construimos las soluciones
u(n1) ( x, y) = X ( x )Y (y)
n
n
x senh
(b y)
= sen
a
a
para cada n = 1, 2, . . . , y con ellas la solucion
general
(5.64)
(5.65)
u(1) ( x, y) =
an u(n1) (x, y)
n=
n u(n1) (x, y)
(5.66)
n =1
n u(n1) (x, 0)
n =1
n senh
n =1
n
n
b sen
x
a
a
(5.67)
de periodo 2a ). Es decir
Z
n
n
2 a
f 0 ( x ) sen
b =
x dx
(5.68)
n senh
a
a 0
a
Seccion
5.2. Condiciones de Frontera Generales
145
u(1) ( x, y) =
n sen
n =1
n
n
x senh
(b y)
a
a
(5.69)
Z a
(5.70)
2
a senh
n
a b
f 0 ( x ) sen
n
x dx
a
Analogamente, la solucion
al problema (5.30)(5.34) es
u(2) ( x, y) =
n sen
n =1
n
n
x senh
y
a
a
(5.71)
n
a b
Z a
f b ( x ) sen
n
x dx
a
(5.72)
u(3) ( x, y) =
n senh
n =1
n
( a x ) sen
y
b
b
n
(5.73)
2
b senh
n
b a
Z b
0
g0 (y) sen
n
y dy
b
(5.74)
y finalmente, la solucion
al problema (5.40)(5.44) es
u(4) ( x, y) =
n senh
n =1
n
n
x sen
y
b
b
(5.75)
n
y dy
b
(5.76)
2
b senh
n
b a
Z b
0
ga (y) sen
146
n =
2
b senh
n =
2
b senh
para n = 1, 2, . . .
Z a
n
x dx
n
a
0
a b
Z a
n
f
(
x
)
sen
x dx
b
n
a
0
a b
Z b
n
y dy
g
(
y
)
sen
0
n
b
0
b a
Z b
n
g
(
y
)
sen
y dy
a
n
b
0
b a
f 0 ( x ) sen
(5.78)
(5.79)
(5.80)
(5.81)
L u = g
(5.82)
L = a 2 + 2b
+c 2 +d +e + f
yx
x
y
x
y
(5.83)
u y el termino inhomogeneo
x, y).
g, funciones de ( x, y). Esto es, L = L(
Para resolver (5.82) consideramos el problema alternativo
L G ( x, y; , ) = ( x )(y )
(5.84)
Seccion
5.3. Ecuaciones No homogeneas: Funciones de Green
147
d L G ( x, y; , ) g(, ) =
=
=
d ( x )(y ) g(, )
d ( x )
d (y ) g(, )
d ( x ) g(, y)
= g( x, y)
(5.85)
d G ( x, y; , ) g(, ) = g( x, y)
(5.86)
d G ( x, y; , ) g(, )
(5.87)
es la solucion
al problema original. La funcion
G ( x, y; , ), que satisface (5.84),
es llamada la funcion de Green asociada al operador diferencial lineal L . Dado el
caracter de funciones unidad de las deltas de Dirac, G ( x, y; , ) puede pensarse
como el operador inverso de L . Otro aspecto notable es que a partir de su
conocimiento puede obtenerse la solucion
general del problema original. En
ese sentido la funcion
de Green asociada a L es una solucion fundamental.
Nota: Anticipando un cambio de signo al aplicar una transformada de Fourier
a derivadas de segundo orden, es comun
elegir el termino inhomogeneo como
g y en ese sentido definir la funcion
de Green considerando el lado derecho
de (5.84) igual a ( x )(y ). En estas notas se empleara tal definicion.
148
5.3.1 Funcion
de Green para EDO
Primer Problema
Comencemos por resolver la ecuacion
y a2 y = f ( x )
(5.88)
(5.89)
e ikx G ( x; )dx
(5.90)
(5.91)
(5.92)
esto es
G =
1
2
k + a2
e ik
2
(5.93)
(5.94)
2 Si a = 0 la solucion
se encuentra integrando dos veces la ecuacion
y = f ( x ).
Esto es
Z
Z
y( x) =
d f ( ) + c1 x + c2
Seccion
5.3. Ecuaciones No homogeneas: Funciones de Green
149
donde
1
p( x ) = F
k2 + a2
1 1
ik
q( x ) = F
e
= ( x )
2
1
(5.95)
(5.96)
G ( x; ) = ( p q)( x )
Z
1
p( x s)q(s)ds
=
2
r
Z
1 a| x s|
1
=
e
(s )ds
2 2 a
1 a| x |
e
(5.98)
=
2a
A partir de ella se construye la solucion
particular a la ecuacion
(5.88); la cual
es
y( x ) =
G ( x; ) f ( )d
Z
1
2a
e a| x | f ( )d
(5.99)
Notese
que la solucion
general a la ecuacion
(5.88) sera
y( x ) = C1 e ax + C2 e ax +
con C1 y C2 constantes arbitrarias.
1
2a
e a| x | f ( )d
(5.100)
Segundo Problema
Empleando los resultados anteriores podemos construir la solucion
de la
ecuacion
y + a2 y = f ( x )
(5.101)
150
1
e (ia)| x |
2(ia)
(5.102)
G ( x; ) f ( )d
[ A+ G+ ( x; ) + A G ( x; ) ] f ( )d
Z h
i
i
=
(5.104)
A+ e ia| x | A e ia| x | f ( )d
2a
La solucion
general es por lo tanto
Z h
i
i
A+ e ia| x | A e ia| x | f ( )d
y( x ) = C1 e iax + C2 e iax +
2a
(5.105)
con C1 y C2 constantes arbitrarias. Por ejemplo, se tienen soluciones simetricas
para A+ = A = 1/2
"
#
Z
i2 e ia| x | e ia| x |
iax
iax
y( x ) = C1 e + C2 e
+
f ( )d
2a
2i
=
= C1 e iax + C2 e iax
1
2a
sen ( a| x |) f ( )d
(5.106)
L G =
G=0
en
(5.107)
en
(5.108)
Seccion
5.3. Ecuaciones No homogeneas: Funciones de Green
151
5.3.2 Funcion
de Green para EDP
Ecuacion
de Onda
Consideremos el problema de Cauchy homogeneo para la ecuacion
de onda
unidimensional no homogenea
utt c2 u xx = f ( x, t)
(5.109)
u( x, 0) = 0
(5.110)
ut ( x, 0) = 0
(5.111)
definido para < x < y t > 0. Este problema puede interpretarse como
las vibraciones de una cuerda infinita que parte del reposo y con velocidad cero,
pero que todo el tiempo esta sujeta a un forzamiento f ( x, t). Para resolverlo
consideramos la ecuacion
para la funcion
de Green asociada
Gtt c2 Gxx = ( x )(t )
(5.112)
La solucion
de e sta puede encontrarse utilizando transformadas de Fourier
respecto a x y t respectivamente. Denotandolas
1
U (k, t; , ) = F x { G ( x, t; , )} =
e ikx G ( x, t; , )dx (5.113)
2
Z
1
e it U (k, t; , )dt (5.114)
V (k, ; , ) = Ft {U (k, t; , )} =
2
e ik
2
(5.115)
V + k c V =
(5.116)
e
e
2
2
donde esta vez empleamos Ft {Utt } = (i )2 V. Simplificando se tiene
1
1
1
i
ik
(5.117)
e
e
V=
2 k2 c2
2
2
152
1
U (k, t; , ) = Ft1 {V (k, ; , )} =
e it V (k, ; , )d (5.118)
2
Z
1
e ikx U (k, t; , )dk (5.119)
G ( x, t; , ) = F x1 {U (k, t; , )} =
2
1
2 k2 c2
1
e i = (t )
q(t) = Ft1
2
p(t) = Ft1
(5.121)
(5.122)
Ahora, p(t) puede encontrarse a partir del resultado (5.97). Notando que en
aquel caso la transformada inversa es de k a x pero en e ste es de a t, e
introduciendo a = ikc se tiene
p(t) =
Ft1
1
2
k2 c2
1
ikc
e (ikc)|t|
(5.123)
p (t) =
i
kc
e ikc|t|
(5.124)
Seccion
5.3. Ecuaciones No homogeneas: Funciones de Green
153
=
=
=
=
1
ik
( p q)(t)
e
2
Z
1
1
p (t s)q(s)ds
e ik
2
2
r
Z
1
1
i
e ikc|ts| (s )ds
e ik
2
2 2 kc
1
i ikc|t |
e ik
e
2kc
2
1
i ikc|t |
(5.125)
e
e ik
2kc
2
para obtener
G ( x, t; , ) = ( )( x )
(5.126)
donde
i ikc|t |
( x ) =
e
2kc
1 1
ik
( x ) = F x
= ( x )
e
2
F x1
(5.127)
(5.128)
F x1 e ikc|t | = 2 ( x [ c|t | ])
(5.129)
(5.130)
154
( x ) =
=
=
=
r
Z
1
1
2 (s [ c|t | ]) ds
sgn ( x s)
2
2 2c
r Z
1
sgn ( x s) (s [ c|t | ]) ds
2c
2
r
1
sgn ( x [ c|t | ])
2c
2
r
1
sgn ( x c|t |)
(5.131)
2c
2
=
( x s)(s)ds
2
r
Z
1 1
G ( x, t; , ) =
(5.133)
u( x, t) =
Z t
0
d G ( x, t; , ) f (, )
(5.134)
Notese
Seccion
5.3. Ecuaciones No homogeneas: Funciones de Green
155
el orden de las integrales haciendo uso del teorema de Fubini. Se sigue que
u( x, t) =
Z t
0
d G ( x, t; , ) f (, )
1 t
d sgn ([ x c(t ) ] ) f (, )
d
8c 0
Z
Z t
1
d sgn ([ x + c(t ) ] ) f (, )
d
8c 0
(5.135)
1
8c
Z t
0
Z
1 t
8c
d
d
Z
x c(t )
Z
x +c(t )
d f (, )
d f (, )
x c(t )
x +c(t )
d f (, )
d f (, )
x c(t )
x c(t )
1 t
d f (, )
d f (, ) +
d
=
8c 0
Z
Z
Z
1 t
+
d
d f (, ) +
d f (, )
8c 0
x +c(t )
x +c(t )
Z
1
4c
Z t
0
1
4c
Z t
0
Z x c(t )
x +c(t )
d f (, )
Z x +c(t )
x c(t )
d f (, )
(5.136)
de DAlembert para
escribir la solucion
al problema general
utt c2 u xx = f ( x, t)
(5.137)
u( x, 0) = ( x )
(5.138)
ut ( x, 0) = ( x )
(5.139)
156
Esta es
u( x, t) =
1
1
1
( x ct) + ( x + ct) +
2
2
2c
Z x +ct
x ct
ds (s) +
1
4c
Z t
0
Z x +c(t )
x c(t )
ds f (s, )
(5.140)
valida para < x < y t > 0. La interpretacion
es en este caso: cuerda
vibrante sometida al forzamiento f ( x, t) pero que parte de la forma inicial
( x ) con velocidad inicial ( x ) al tiempo t = 0.
Ecuacion
de Calor
Consideremos ahora el problema de Cauchy homogeneo para la ecuacion
de
calor unidimensional no homogenea
ut 2 u xx = f ( x, t)
u( x, 0) = 0
(5.141)
(5.142)
definido para < x < y t > 0. Este problema puede interpretarse como
la difusion
de calor por los extremos de la lnea infinita cuya distribucion
inicial
de temperatura es identicamente cero ( igual a la del medio o bano
termico ), pero
que todo el tiempo esta sujeta a una fuente externa f ( x, t). Para resolverlo
consideramos el problema para la funcion
de Green
Gt 2 Gxx = ( x )(t )
(5.143)
Encontramos su solucion
utilizando transformadas de Fourier respecto a x y a
t, respectivamente, que nuevamente denotamos
1
U (k, t; , ) = F x { G ( x, t; , )} =
e ikx G ( x, t; , )dx (5.144)
2
Z
1
V (k, ; , ) = Ft {U (k, t; , )} =
e it U (k, t; , )dt (5.145)
2
Aplicando (5.144) a (5.143) se obtiene
1
Ut + k2 2 U = (t )
(5.146)
e ik
2
iV + k2 2 V =
(5.147)
e i
e ik
2
2
Seccion
5.3. Ecuaciones No homogeneas: Funciones de Green
157
1
i k2 2
e i
2
e ik
2
(5.148)
1
e it V (k, ; , )d (5.149)
U (k, t; , ) = Ft1 {V (k, ; , )} =
2
Z
1
G ( x, t; , ) = F x1 {U (k, t; , )} =
e ikx U (k, t; , )dk (5.150)
2
Ft1
(5.152)
(5.153)
1
i k2 2
2 2
= 2 (t) e k t
(5.154)
1
0
si t 0
si t < 0
(5.155)
158
para obtener
G ( x, t; , ) = ( )( x )
(5.157)
n
o
2 2
( x ) = F x1 (t ) e k (t )
1
e ik = ( x )
( x ) = F x1
2
(5.158)
donde
(5.159)
(5.160)
G ( x, t; , ) = ( )( x )
Z
1
=
( x s)(s)ds
2
1
=
2
!
2
(t ) 4(x2(ts) )
p
(s )ds
e
22 (t )
2
( x )
(t )
= p
e 42 (t)
42 (t )
(5.161)
Seccion
5.3. Ecuaciones No homogeneas: Funciones de Green
159
Z t
d G ( x, t; , ) f (, )
Z t
0
d p
( x )
(t )
p
e 42 (t)
42 (t )
d p
( x )2
42 (t )
f (, )
d e
( x )2
42 (t )
f (, )
42 (t )
42 (t )
f (, )
(5.162)
(5.163)
u( x, 0) = g( x )
(5.164)
Esta es
u( x, t) =
1
42 t
ds e
(x2s)
4 t
Z t
g(s) +
d p
1
42 (t )
ds e
( x s )2
42 (t )
f (s, )
(5.165)
valida para < x < y t > 0. La interpretacion
es en este caso: lnea
infinita que disipa ( o absorbe ) calor del ambiente solo
a traves de sus extremos.
Parte de la distribucion
inicial de temperatura g( x ) al tiempo t = 0 y esta
sujeta a la fuente externa f ( x, t) en todo punto y a todo tiempo t > 0.
Ecuacion
de Poisson
Consideremos ahora el problema
u xx + uyy = f ( x, y)
u( x, 0) = 0
(5.166)
(5.167)
160
(5.168)
La solucion
de e sta puede encontrarse utilizando transformadas de Fourier
respecto a x y y respectivamente. En este caso las denotamos
1
U (k x , y; , ) = F x { G ( x, y; , )} =
e ik x x G ( x, y; , )dx (5.169)
2
Z
1
e iky y U (k x , y; , )dy (5.170)
V (k x , k y ; , ) = Fy {U (k x , y; , )} =
2
k2x U
+ Uyy = (y )
e ik x
2
(5.171)
ik
y
x
k x V k y V =
(5.172)
e
e
2
2
donde esta vez empleamos Fy {Uyy } = (ik y )2 V. Simplificando obtenemos
!
1
1
1
ik y
ik x
V=
(5.173)
e
e
k2y + k2x
2
2
Para regresar a las variables originales aplicamos las transformadas inversas
1
e iky y V (k x , k y ; , )dk y (5.174)
U (k x , y; , ) =
=
2
Z
1
G ( x, y; , ) = F x1 {U (k x , y; , )} =
e ik x x U (k x , y; , )dk x (5.175)
Fy1 {V (k x , k y ; , )}
Seccion
5.3. Ecuaciones No homogeneas: Funciones de Green
161
U=
( p q)(y)
(5.176)
e
2
donde ( p q)(y) es la convolucion
de p y q, con
)
(
1
1
(5.177)
p(y) = Fy
k2y + k2x
1
q(y) = Fy1
e iky = (y )
(5.178)
2
Ahora, p(y) se encuentra directamente usando el resultado (5.97) con a = k x .
Se tiene
(
) r
1
1 |k x y|
p(y) = Fy1
=
e
(5.179)
2 |k x |
k2y + k2x
Introduciendo las expresiones para p y q en (5.176) se obtiene
1
U (k x , y; , ) =
e ik x ( p q)(y)
2
Z
1
1
ik x
p(y s)q(s)ds
e
=
2
2
r
Z
1
1 |k x (ys)|
1
=
e ik x
e
(s )ds
2
2 2 |k x |
1
1
e ik x
e |k x (y )|
=
2| k x |
2
1
1
ik x
| k x (y )|
(5.180)
e
=
e
2| k x |
2
Ahora aplicamos (5.175) a esta ultima
para obtener
G ( x, y; , ) = ( )( x )
(5.181)
donde
1
e |k x (y )|
2| k x |
1
e ik x = ( x )
( x ) = F x1
2
( x ) = F x1
(5.182)
(5.183)
162
Se comienza con
la propiedad
n
o
F f (n) ( x ) = (ik)n F(k)
(5.184)
y se recuerda que se conoce
F f (x) = F
2x
a2 + x 2
(5.185)
Luego, una primitiva de f ( x ) = 2x/( a2 + x2 ) es f ( x ) = ln a2 + x2 .
Utilizando n = 1 en (5.184) e igualando a (5.185) se tiene
(ik) F(k) =
(5.186)
Es decir
1 | ak|
e
F(k) = 2
|k|
(5.187)
1
1 | ak|
F(k) =
e
2| k |
2 2
(5.188)
F 1
1 | ak|
e
2| k |
1
=
ln a2 + x2
2 2
(5.189)
(5.190)
Seccion
5.4. Ecuaciones de Maxwell
163
=
ln (y )2 + ( x s)2 (s ) ds
2 2 2
1
(5.191)
ln ( x )2 + (y )2
=
4
Z
1
d G ( x, y; , ) f (, )
Z
d ln ( x )2 + (y )2 f (, )
(5.192)
(5.193)
u( x, 0) = g( x )
(5.194)
Esta es
u( x, y) =
|y|
ds g(s)
1
+
2
2
4
( x s) + y
d ln ( x )2 + (y )2 f (, )
(5.195)
valida para < x < , < y < . La interpretacion
es en este
caso: potencial ( electrostatico o gravitacional ) generado por una distribucion
164
E = 4
B = 0
1 B
E =
c t
1 E 4
+
J
B =
c t
c
(5.196)
(5.197)
(5.198)
(5.199)
Seccion
5.4. Ecuaciones de Maxwell
165
( F ) = ( F ) 2 F
se encuentra, aplicando directamente a la ecuacion
(5.198),
1 B
2
( E) E =
c t
(5.200)
(5.201)
2
J
2 2
2
E
=
4
c
+
t
t2
(5.203)
donde, como puede observarse, las fuentes del forzamiento son y J/t.
Analogamente, aplicando a la ecuacion
(5.199)
1 E 4
2
+
J
(5.204)
( B) B =
c t
c
Escribiendo el primer termino del lado derecho como (1/c)(/t)( E) e
introduciendo las ecuaciones de Maxwell (5.197) y (5.198) se encuentra
2
c2 2
t2
B = 4c J
(5.205)
166
1 A
c t
B = A
(5.206)
(5.207)
2 = 4
(5.209)
2 2
= 4c2
(5.210)
t2
De forma analoga, aplicando a la ecuacion
(5.207), considerando la ley de
Amp`ereMaxwell (5.199), se obtiene
( A) 2 A =
1 E 4
+
J
c t
c
(5.211)
2 2
c A + c2 ( A) = c () + 4c J
t
t2
( A) 2 A =
(5.212)
(5.213)
2 2
(5.214)
c A = c () + 4c J
t
t2
Seccion
5.4. Ecuaciones de Maxwell
167
2 2
(5.215)
c A = 4c J
t2
Vemos que la norma de Lorentz hace que los potenciales escalar y vectorial
satisfagan ecuaciones de onda escencialmente simetricas.
168
Problemas
1. Demuestre que si m y n son numeros
cualesquiera y 6= 0, entonces
n
m
(m n)
1
(m + n)
cos
x sen
x =
x cos
x
(i) sen
n
m
1
(m n)
(m + n)
x cos
x =
x + cos
x
cos
(ii) cos
m
n
(m + n)
1
(m n)
(iii) sen
sen
x cos
x =
x + sen
x
m
n
x sen
x dx = mn
Z
m
n
cos
(ii)
x cos
x dx = mn
Z
m
n
sen
(iii)
x cos
x dx = 0
1 si m = n
donde mn es la delta de Kronecker, mn =
.
0 si m 6= n
(i )
sen
169
170
Problemas
3. Use los resultados de las dos primeras integrales del ejercicio anterior, y
el hecho que la funcion
seno es impar y la funcion
coseno es par, para
mostrar que
(i )
(ii)
Z
0
Z
0
m
n
x sen
x dx = mn
2
n
m
x cos
x dx = mn
cos
2
sen
si m + n es impar
m2 n2
(iii)
sen
x cos
x dx =
0
0
si m + n es par
4. Una manera alternativa de plantear el problema 2 es:
Demuestre
las relaciones de ortonormalidad
de las funciones n ( x ) =
(i) hm , n i = mn
(ii) hm , n i = mn
(iii) hm , n i = 0
f ( x ) g( x )dx
n =1
la cual da una representacion
para la funcion
periodica,
de periodo 2, f
( i.e., f ( x + 2) = f ( x ) x ). Muestre que los n-esimos coeficientes de
la serie estan dados por
an =
f ( x ) cos
n
x dx
bn =
f ( x ) sen
n
x dx
Problemas
171
para toda n = 0, 1, 2, . . .
Sugerencia: Para obtener a0 , simplemente integre la serie desde hasta
. Para obtener an , n 1, multiplique la serie por cos m
x e integre el
producto desde hasta . Analogamente, para obtener bn , n 1,
repita el procedimiento pero multiplicando por sen m
x .
f (x) =
bn sen
n =1
n
x
Z
0
f ( x ) sen
n
x dx
a0
f (x) =
+ an cos
x
2
n =1
y en este caso los coeficientes an pueden calcularse como
an =
Z
0
f ( x ) cos
n
x dx
un ( x, t) es solucion
al problema de valores homogeneos en la frontera
para la ecuacion
de conduccion
de calor
ut = 2 u xx ,
0 < x < ,
t>0
u(0, t) = 0
u(, t) = 0
172
Problemas
u( x, t) =
cn un (x, t)
n=
tambien es solucion
del mismo problema.
8. Repita el mismo ejercicio, pero ahora considerando las condiciones de
frontera dadas por
u x (0, t) = 0
u x (, t) = 0
9. Generalice el resultado del ejercicio 7. Es decir, demuestre que, si
para cada entero n = 0, 1, 2, . . . , la funcion
un ( x, t) es solucion
al
problema:
ut = 2 u xx ,
0 < x < ,
t>0
u(0, t) = T1
u(, t) = T2
u( x, 0) = f ( x )
cn = 1, entonces
n=
u( x, t) =
cn un (x, t)
n=
tambien es solucion
del mismo problema.
Observacion:
Notese
Problemas
173
0 < x < ,
t>0
u(0, t) = 0
u(, t) = 0
u( x, 0) = f ( x )
para las distribuciones iniciales de temperatura:
(i) f ( x ) = A x x2 ( 2x )2
(ii)
(iii)
(iv)
f (x) = A + x
f ( x ) = A e x + x x2
f ( x ) = A x x2 ( 2x )2 + ( x /2)
0 < x < ,
t>0
u x (0, t) = 0
u x (, t) = 0
u( x, 0) = x + A ,
A = constante
= ( 2 / 2 ) t
la ecuacion
de conduccion
de calor ut = 2 u xx ( 0 < x < , t > 0 )
puede escribirse como
u = u ,
0 < < 1,
>0
ut 2 u xx + cu x = 0
con y c constantes reales. Suponga que su solucion
puede escribirse
en la forma u( x, t) = w( x ct, t), con w una funcion
escalar.
174
Problemas
u( x, 0) = f ( x )
t > 0.
14. La ecuacion
de conduccion
de calor en dos dimensiones puede expresarse
en terminos de coordenadas polares (, ) como
1
1
ut = 2 u + u + 2 u
k = constante
u( a, y, t) = 0
uy ( x, 0, t) = 0
uy ( x, b, t) = 0
u( x, y, 0) = f ( x, y)
definido para 0 < x < a, 0 < y < b y t > 0. Puede interpretarlo como
la difusion
de calor de la lamina rectangular [ 0, a ] [ 0, b ] unicamente
Problemas
175
perpendicular a la lamina.
0 < x < a,
t>0
u(0, t) = 0
u( a, t) = 0
u( x, 0) = g( x )
donde g( x ) = f ( x, 0) esta definida en ( 0, a ).
17. Use el metodo de separacion
de variables para resolver el problema
general para la cuerda elastica ( fija en los extremos ) con desplazamiento
y velocidad inicial arbitrarias:
utt = c2 u xx ,
0 < x < ,
t>0
u(0, t) = 0
u(, t) = 0
u( x, 0) = ( x )
ut ( x, 0) = ( x )
donde (0) = () = (0) = () = 0.
18. Si la cuerda elastica esta libre en uno de sus extremos, la condicion
de
frontera a satisfacer all es u x = 0. Resuelva el problema del ejercicio
anterior pero cambiando la condicion de frontera en x = por
u x (, t) = 0
176
Problemas
de DAlembert.
19. Resuelva el problema de la cuerda elastica definido en los dos ejercicios
anteriores para los desplazamientos y velocidades iniciales:
(i) ( x ) = x ( x ),
(ii)
(iii)
( x ) = 0
( x ) = x ( x ), ( x ) = x
2
( x ) = g ( x ) ( x x0 ),
( x ) = 0
(iv) ( x ) = g( x )( x x0 ),
( x ) = h ( x ) ( x x1 )
utt = c2 u xx a2 u
0 < x < a,
0 < y < b,
t>0
u(0, y, t) = u( a, y, t) = 0
u( x, 0, t) = u( x, b, t) = 0
Problemas
177
0 < 2
y
acotada para > a.
24. Resuelva el problema de Neumann
u xx + uyy = 0,
0 < x < a,
0<y<b
u x (0, y) = 0
u x ( a, y) = f (y)
uy ( x, 0) = 0
uy ( x, b) = 0
con f una funcion
que satisface la condicion
Z b
0
f (s)ds = 0.
0 < x < a,
0 < y < b,
0<z<c
u(0, y, z) = f 0 (y, z)
u( a, y, z) = f a (y, z)
u( x, 0, z) = g0 ( x, z)
u( x, b, z) = gb ( x, z)
u( x, y, 0) = h0 ( x, y)
u( x, y, c) = hc ( x, y)
178
Problemas
(i )
(ii)
f ( x ) = ( x a)
g( x ) = e | ax|
(iii) h+ ( x ) = ( x ) e | ax|
(iv) h ( x ) = ( x ) e | ax|
(v) ( x ) = sgn ( x ) e | ax|
(vi) ( x ) = e | a| x
1
0
si x 0
si x < 0
y sgn ( x ) es la funcion
signo
1
sgn ( x ) =
0
si x > 0
si x = 0
si x < 0
(i ) h ( x ) = ( x )
Problemas
179
(ii) ( x ) = sgn ( x )
Sugerencia: Tome el lmite cuando a 0 de (iii) y (v) respectivamente.
29. Calcule la transformada inversa de Fourier de las siguientes funciones
(i )
F(k) = (k a)
(iv)
(i )
H (k) = (k)
< x < ,
< y <
180
Problemas
u( x, 0) = ( x )
< x < ,
t>0
ut ( x, 0) = 0
donde a2 es proporcional al coeficiente de elasticidad del medio.
34. Use el metodo de la transformada de Fourier para resolver el problema
de valores iniciales para la ecuacion
del telegrafo:
utt c2 (u xx + aut + bu) = 0,
u( x, 0) = f ( x )
< x < ,
t>0
ut ( x, 0) = 0
donde a, b y c son constantes reales.
35. La vibracion
lateral de una varilla delgada y homogenea esta gobernada
por la ecuacion
utt + c2 u xxxx = 0
donde u( x, t) es la deflexion
de la varilla en la posicion
x al tiempo t y
c2 es una constante real que depende de las propiedades de la varilla.
Resuelva el problema de la vibracion
lateral de una varilla de longitud
fija en los extremos:
u(0, t) = u x (0, t) = 0
u(, t) = u x (, t) = 0
Problemas
181
182
Problemas
Referencias
[1] M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions
(Dover, USA, 1972).
[2] G. B. Arfken and H. J. Weber, Mathematical Methods for Physicists (Elsevier,
USA, 2005).
[3] R. Beals and R. Wong, Special Functions: A Graduate Text (Cambridge
University Press, UK, 2010).
[4] J. Blank, P. Exner and M. Havlc ek, Hilbert Space Operators in Quantum
Physics (Springer, USA, 2010).
[5] W. E. Boyce y R. C. DiPrima, Ecuaciones Diferenciales y Problemas con Valores
en la Frontera (Limusa Wiley, Mexico, 2005).
[6] R. Courant and D. Hilbert, Methods of Mathematical Physics, Vol. 1 (WileyVCH, Germany, 2004).
[7] L. C. Evans, Partial Differential Equations (American Mathematical Society,
USA, 1998).
[8] I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products
(Academic Press, USA, 1994).
[9] K. E. Gustafson, Introduction to Partial Differential Equations and Hilbert
Space Methods (Dover, USA, 1999).
[10] R. Haberman, Ecuaciones en Derivadas Parciales con Series de Fourier y
Problemas de Contorno (Pearson, Espana,
2003).
183
184
Referencias