Notas-Ecuaciones Diferenciales Parciales

NOTAS PARA EL CURSO
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
NOTAS PARA EL CURSO
Por
Dr. Adolfo Zamora Ramos
Departamento de Matem aticas Aplicadas y Sistemas
Divisi on de Ciencias Naturales e Ingeniera
Octubre 2011
2
Typeset in L
A
T
E
X
Ecuaciones Diferenciales Parciales
Contenido
Prefacio 7
1 Preliminares 11
1.1 La Ecuaci on de Segundo Orden . . . . . . . . . . . . . . . . . . . . 12
1.1.1 Forma General . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.1.2 Ecuaci on Lineal . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.1.3 Problemas Asociados . . . . . . . . . . . . . . . . . . . . . . 15
1.1.4 Ecuaci on Lineal en M as Variables . . . . . . . . . . . . . . 18
1.2 Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.1 Distribuci on Rectangular . . . . . . . . . . . . . . . . . . . 19
1.2.2 Otras Representaciones . . . . . . . . . . . . . . . . . . . . 21
1.3 Integrales Dependientes de un Par ametro . . . . . . . . . . . . . . 23
1.4 Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.4.1 Representaci on Compleja . . . . . . . . . . . . . . . . . . . 30
1.4.2 Series Multidimensionales . . . . . . . . . . . . . . . . . . . 32
1.5 Operadores Lineales . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.5.1 Operadores Diferenciales . . . . . . . . . . . . . . . . . . . 33
1.5.2 Transformadas Integrales . . . . . . . . . . . . . . . . . . . 36
2 M etodo de Separaci on de Variables 39
2.1 La Ecuaci on de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.1.1 Lnea con Extremos a Temperatura Cero . . . . . . . . . . . 40
2.1.2 Lnea con Extremos a Temperaturas Constantes T
1
y T
2
. 52
2.1.3 Lnea con Extremos Aislados . . . . . . . . . . . . . . . . . 59
2.1.4 Lnea con Flujo de Calor Constante a Trav es de los Extremos 60
3
4 Contenido
2.1.5 Lnea con Condiciones de Frontera Peri odicas: Problema
del Crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.1.6 L amina Rectangular . . . . . . . . . . . . . . . . . . . . . . 64
2.1.7 Bloque S olido . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.1.8 Hiperbloque S olido N-dimensional . . . . . . . . . . . . . 70
2.1.9 Ecuaci on de Calor en Coordenadas Cilndricas . . . . . . . 72
2.1.10 Ecuaci on de Calor en Coordenadas Esf ericas . . . . . . . . 74
2.2 La Ecuaci on de Onda . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.3 La Ecuaci on de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . 77
2.4 La Ecuaci on de Schr odinger . . . . . . . . . . . . . . . . . . . . . . 78
2.5 Ecuaci on de Segundo Orden Lineal . . . . . . . . . . . . . . . . . . 85
2.5.1 Forma General . . . . . . . . . . . . . . . . . . . . . . . . . 85
2.5.2 Coecientes Constantes . . . . . . . . . . . . . . . . . . . . 86
3 M etodo de Cambio de Variables 95
3.1 La Ecuaci on de Onda . . . . . . . . . . . . . . . . . . . . . . . . . . 96
3.1.1 Cuerda Vibrante Innita . . . . . . . . . . . . . . . . . . . . 96
3.1.2 Cuerda Vibrante Innita con Condiciones Iniciales . . . . 99
3.1.3 Cuerda Vibrante Finita con Extremos Fijos . . . . . . . . . 101
3.1.4 Cuerda Vibrante Finita con Extremos Libres . . . . . . . . 106
3.1.5 Cuerda Vibrante Finita con un Extremo Fijo y otro Libre . 107
3.2 La Ecuaci on de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . 108
3.2.1 Soluci on General . . . . . . . . . . . . . . . . . . . . . . . . 108
3.3 Ondas Esf ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
3.4 Ecuaci on de Difusi on con Reacci on Lineal . . . . . . . . . . . . . . 112
3.5 Ecuaci on Lineal con Coecientes Constantes . . . . . . . . . . . . 113
4 M etodo de Transformadas Integrales 117
4.1 Transformadas Integrales en General . . . . . . . . . . . . . . . . . 118
4.1.1 Transformada de Laplace . . . . . . . . . . . . . . . . . . . 119
4.1.2 Transformada de Fourier . . . . . . . . . . . . . . . . . . . 119
4.1.3 Transformada de Mellin . . . . . . . . . . . . . . . . . . . . 121
4.1.4 Transformada de Hankel . . . . . . . . . . . . . . . . . . . 121
4.2 Ecuaci on de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . 122
4.2.1 Problema de Dirichlet en el Semiplano Superior . . . . . . 122
4.3 Ecuaci on de Onda . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Contenido 5
4.3.1 Problema de Cauchy para la Cuerda Vibrante Innita . . . 127
4.4 Ecuaci on de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
4.4.1 Difusi on de Calor a lo Largo de una Lnea Innita . . . . . 131
4.5 Ecuaci on de Schr odinger . . . . . . . . . . . . . . . . . . . . . . . . 132
4.5.1 Partcula en un Pozo Rectangular de Potencial . . . . . . . 132
5 Problemas M as Generales 137
5.1 Geometras No rectangulares . . . . . . . . . . . . . . . . . . . . . 138
5.2 Condiciones de Frontera Generales . . . . . . . . . . . . . . . . . . 141
5.3 Ecuaciones No homog eneas: Funciones de Green . . . . . . . . . 146
5.3.1 Funci on de Green para EDO . . . . . . . . . . . . . . . . . 148
5.3.2 Funci on de Green para EDP . . . . . . . . . . . . . . . . . . 151
5.4 Ecuaciones de Maxwell . . . . . . . . . . . . . . . . . . . . . . . . . 163
Problemas 169
Referencias 182
6 Contenido
Prefacio
El presente manuscrito es una compilaci on de las notas del curso de Ecuaciones
Diferenciales Parciales para estudiantes del s eptimo trimestre de la licenciatura
en Matem aticas Aplicadas que el autor ha impartido durante los ultimos a nos
en la Universidad Aut onoma Metropolitana, Unidad Cuajimalpa. El contenido
est a basado en gran medida en el programa de la UEA respectiva; haciendo
enfasis en la ecuaci on de segundo orden lineal para funciones de dos o m as
variables. Se presenta la clasicaci on de estas empleando su analoga con
las formas cuadr aticas y se estudian los ejemplos cl asicos de la Ecuaci on de
Calor ( tipo parab olico ), la Ecuaci on de Onda ( tipo hiperb olico ) y la Ecuaci on
de Laplace ( tipo elptico ). El tratamiento de cada problema se presenta, en
los distintos captulos, para varios conjuntos de condiciones e inclusive se
encuentran soluciones generales en ausencia de condiciones. En particular, se
consideran condiciones de frontera tipo Dirichlet, Neumann, Robin y mixtas;
y en el caso de ecuaciones dependientes del tiempo tambi en se considera
el problema de valores iniciales o problema de Cauchy. Adem as de estos
problemas cl asicos, se ha incluido la ecuaci on de onda de Schr odinger y se ha
resuelto el problema de la partcula cu antica dentro de una caja.
Hasta donde ha sido posible se ha discutido la interpretaci on fsica de los
problemas y sus soluciones. Por ejemplo, la ecuaci on de onda unidimensional
se ha interpretado en t erminos de la cuerda vibrante. Las condiciones de
frontera tipo Dirichlet homog eneas en este caso corresponden a la cuerda
con extremos jos mientras que las condiciones de frontera tipo Neumann
homog eneas corresponden a extremos libres. Adem as de las soluciones
generales, se han considerado ejemplos particulares que involucran no s olo
7
8 Prefacio
las funciones usuales del c alculo sino tambi en funciones generalizadas como
la delta de Dirac. Al respecto, se incluye una secci on dedicada a discutir
las propiedades fundamentales de la delta y algunas formas en las que se le
encuentra. M as t opicos preliminares se introducen en el primer captulo; entre
ellos un m etodo para calcular integrales empleando derivadas de funciones
denidas como integrales que dependen de un par ametro, series de Fourier en
una y m as dimensiones, y operadores lineales.
Entre los captulos segundo y cuarto se proponen y resuelven un n umero
considerable de problemas utilizando dos m etodos generales: uno es el m etodo
de separaci on de variables y el otro es la t ecnica de transformadas integrales.
Esta ultima se introduce de manera general, pero se hace especial enfasis en la
transformada de Fourier. El otro m etodo, igualmente general, lo designamos
m etodo de cambio de variables. En este contexto lo empleamos tanto para
simplicar ecuaciones como para reducir problemas a otros conocidos, y
motivamos la utilizaci on tanto de transformaciones lineales como no lineales.
Un problema de inter es que se resuelve f acilmente por este m etodo es la
propagaci on de ondas esf ericas. Otra simplicaci on util se obtiene en la
ecuaci on de segundo orden lineal con coecientes constantes cuando se aplica
una rotaci on; y esta ecuaci on se reduce a un m as mediante transformaciones
no lineales. En el captulo quinto se abordan problemas m as generales
como aquellos en geometras no rectangulares, problemas con condiciones de
frontera generales, y ecuaciones no homog eneas. En este ultimo apartado se
preere explotar el m etodo de la transformada de Fourier para determinar las
funciones de Green y a partir de ellas determinar la soluci on de las ecuaciones
de onda y calor no homog eneas, as como la soluci on de la ecuaci on de Poisson.
El ultimo problema que se considera es el de mostrar que las ecuaciones de
la electrodin amica cl asica de Maxwell conducen a ecuaciones de onda para
los campos el ectrico y magn etico, as como para el potencial vectorial; y a
ecuaciones de Poisson o de onda para el potencial escalar, dependiendo de la
elecci on de norma.
Con la nalidad de jar ideas, al t ermino de varios problemas relevantes
se han incluido ejemplos y sugerido ejercicios de pr actica. M as a un, como
ultimo captulo de estas notas se ha propuesto una lista de problemas que
Prefacio 9
van desde ejercicios simples de trigonometra y c alculo hasta problemas de
valores iniciales y en la frontera del mismo grado de dicultad que varios
de los estudiados a lo largo de las notas. Algunos de ellos sugieren utilizar
otro m etodo para encontrar un resultado ya obtenido o bien para estudiar
otros problemas de inter es. Otros ejercicios sirven de complemento para los
desarrollos intermedios de algunos problemas incluidos, as que se recomienda
ampliamente resolverlos. Para nalizar, se incluye una lista de referencias que
contiene varios textos en el area de las Ecuaciones en Derivadas Parciales con
enfoques que van desde el m as operativo hasta el otro extremo riguroso y
formal.
Estas notas no estaran completas sin un sincero agradecimiento a todos los
estudiantes que han ledo las versiones preliminares de este manuscrito y que
me han hecho comentarios respecto a su contenido. Su invaluable ayuda ha
hecho que podamos tener en mano esta versi on terminada.
10 Prefacio
Captulo 1
Preliminares
De manera an aloga a la que se dene una ecuaci on diferencial ordinaria, una
ecuaci on diferencial parcial es una ecuaci on que involucra una funci on escalar
u = u(x, t) y sus derivadas parciales. Esto es, una ecuaci on diferencial parcial
( EDP) se dene como
F(x, t, u, u
x
, u
t
, u
xx
, u
xt
, . . .) = 0 (1.1)
donde F es una funci on escalar con dominio en R
N
. El orden de la ecuaci on
es el de la derivada parcial de m aximo orden que aparece. En general puede
tenerse una funci on escalar u = u(x
1
, . . . , x
n
) de tal modo que en la ecuaci on
(1.1) aparecen tanto las variables independientes x
i
como derivadas parciales
de u con respecto a cualesquiera de ellas.
Llamamos soluci on de la ecuaci on (1.1) a cada funci on u(x, t) que al ser
sustituida en la ecuaci on convierta esta en una identidad para toda (x, t) en
alguna regi on del plano x-t. Las ecuaciones diferenciales parciales (1.1), al igual
que las ecuaciones diferenciales ordinarias, pueden tener soluciones generales
u(x, t). Sin embargo, las soluciones generales de las ecuaciones diferenciales
parciales dependen de funciones arbitrarias, y no pueden depender s olo de
constantes arbitrarias. Soluciones particulares se encuentran imponiendo
condiciones. Para las ecuaciones diferenciales parciales del tipo (1.1) se
requieren tanto condiciones iniciales como condiciones de frontera. Una ecuaci on
diferencial parcial denida para ciertas condiciones iniciales ( generalmente al
11
12 Captulo 1. Preliminares
tiempo t = 0 ) y para condiciones de frontera dadas ( generalmente en los
extremos de alg un intervalo 0 x ) se denomina el problema de valores
iniciales y valores en la frontera para dicha ecuaci on.
1.1 La Ecuaci on de Segundo Orden
1.1.1 Forma General
Para una funci on escalar
1
u(x, t) de clase C
2
, la forma general de una ecuaci on
diferencial parcial de segundo orden es
F(x, t, u, u
x
, u
t
, u
xx
, u
xt
, u
tt
) = 0 (1.2)
En m as variables se tiene
F(x
1
, . . . , x
n
, u, u
x
1
, . . . , u
x
n
, u
x
1
x
1
, . . . , u
x
n
x
n
) = 0 (1.3)
donde la funci on inc ognita u(x
1
, . . . , x
n
) es tambi en escalar de clase C
2
.
1.1.2 Ecuaci on Lineal
Para una funci on escalar u(x, t) de clase C
2
, la ecuaci on diferencial parcial de
segundo orden lineal m as general es de la forma
a u
xx
+ 2b u
xt
+ c u
tt
+ d u
x
+ e u
t
+ f u = g (1.4)
donde a, b, c, d, e, f y g son funciones de (x, t).
Forma Matricial
En analoga a las formas cuadr aticas en dos variables que se estudian en
geometra, se observa que la ecuaci on (1.4) puede escribirse como
_
T
Q + L + f
_
u = g (1.5)
1
Una funci on escalar ( de dos o m as variables ) u se denomina de clase C
2
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
C
2
el orden de la derivaci on parcial en todas sus segundas derivadas es irrelevante.
Secci on 1.1. La Ecuaci on de Segundo Orden 13
donde Q =
_
a b
b c
_
es la matriz sim etrica asociada a la parte cuadr atica ( i.e.
de segundo orden en las derivadas de u ) y L =
_
a
x
b
t
+ d b
x
c
t
+ e
_
la matriz rengl on asociada a la parte lineal ( i.e. de primer orden en las
derivadas de u ). Estamos empleando adem as =
_

x
t
_
con la notaci on
usual de derivada parcial,
x
= /x, y el superndice T denotando la matriz
transpuesta; i.e.
T
=
_

x

t
_
.
Clasicaci on
Usando la representaci on (1.5) y por analoga con la ecuaci on cuadr atica
general se tiene el siguiente resultado.
Teorema 1. La EDP de segundo orden lineal
_
T
Q + L + f
_
u = g
es de tipo
(i) Elptico si det(Q) > 0
(ii) Hiperb olico si det(Q) < 0
(iii) Parab olico si det(Q) = 0
N otese que los coecientes a, b y c que forman Q son, en general, funciones
de (x, t). De este modo, el tipo de la ecuaci on puede ser diferente en distintas
regiones del plano x-t.
Ejemplo 1. Determine el tipo de las siguientes EDP de segundo orden lineales
(i) Ecuaci on de calor
u
t
=
2
u
xx
,
2
> 0
(ii) Ecuaci on de onda
u
tt
= c
2
u
xx
, c
2
> 0
(iii) Ecuaci on de Laplace
u
xx
+ u
yy
= 0
(iv) Ecuaci on Lineal
yu
xx
+ xu
yy
= 0
Soluci on. La ecuaci on de calor en (i) puede reescribirse como
2
u
xx
u
t
= 0
lo que hace evidente que la matriz Q es en este caso:
Q =
_

2
0
0 0
_
Luego entonces, det(Q) = 0 y por lo tanto la ecuaci on de calor es de tipo
parab olico.
La ecuaci on de onda en (ii), an alogamente, puede reescribirse en la forma
c
2
u
xx
u
tt
= 0
de donde se sigue que la matriz Q para esta ecuaci on es:
Q =
_
c
2
0
0 1
_
Se tiene entonces que det(Q) = c
2
< 0 y por lo tanto la ecuaci on de onda es
de tipo hiperb olico.
La ecuaci on de Laplace en (iii) ya est a escrita en la forma
u
xx
+ u
yy
= 0
Se tiene entonces que la matriz Q para esta ecuaci on es:
Q =
_
1 0
0 1
_
de donde claramente det(Q) = 1 > 0 y por lo tanto la ecuaci on de Laplace es
de tipo elptico.
Finalmente, para la ecuaci on lineal en (iv)
yu
xx
+ xu
yy
= 0
se tiene la matriz
Q =
_
y 0
0 x
_
de donde det(Q) = xy. Se sigue entonces que dicha ecuaci on es de tipo
parab olico para xy = 0 ( i.e. a lo largo de los ejes coordenados ), es de tipo elptico
para xy > 0 ( i.e. en el primero y tercer cuadrantes ), y es de tipo hiperb olico para
xy < 0 ( i.e. en el segundo y cuarto cuadrantes ).
1.1.3 Problemas Asociados
Llamamos problema a la ecuaci on diferencial parcial junto con un conjunto de
condiciones dadas. Suponiendo una ecuaci on de la forma:
F(x, t, u, u
x
, u
t
, u
xx
, u
xt
, u
tt
) = 0 (1.6)
i.e. una EDP de segundo orden en dos variables, se denen los distintos
problemas.
Problema de Cauchy
Este problema se conoce tambi en como problema de valores iniciales. Dado el
car acter de segundo orden en las derivadas respecto al tiempo t de (1.6), son
necesarias dos condiciones sobre la soluci on u(x, t). Estas son
u(x, 0) = (x) (1.7)
u
t
(x, 0) = (x) (1.8)
donde y son funciones dadas en el intervalo de inter es, y se ha elegido el
tiempo inicial t = 0.
N otese que si en la EDP el orden mayor de la derivada respecto a t fuese N,
entonces seran necesarias las derivadas parciales de u respecto a t desde el
orden 0 hasta el N 1 evaluadas al tiempo t = 0 como condiciones.
Problema de Dirichlet
Este es un tipo de problema conocido como de valores en la frontera. Dado el
car acter de segundo orden en las derivadas respecto a la posici on x de (1.6), se
necesitan dos condiciones sobre la soluci on u(x, t). Suponiendo que se busca
la soluci on para a x b, t 0, estas son
u(a, t) = f (t) (1.9)
u(b, t) = g(t) (1.10)
donde f y g son funciones dadas, denidas para t 0.
Observe que si en la EDP el orden mayor de la derivada respecto a x fuese
N, entonces seran necesarios los valores de u en N distintos x = a
i
como
condiciones. De manera general, el problema de Dirichlet prescribe el valor de
la funci on inc ognita, u, en toda la frontera de la regi on de inter es.
Problema de Neumann
Este es otro tipo de problema de valores en la frontera. Suponiendo que se busca
la soluci on 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)
donde f y g son funciones dadas, denidas para t 0.
Note que si en la EDP el orden mayor de la derivada respecto a x fuese N,
entonces seran necesarios los valores de u
x
en N distintos x = a
i
como
condiciones. De manera general, el problema de Neumann prescribe el valor
de la derivada normal de la funci on inc ognita, u/n, en toda la frontera de la
regi on de inter es.
Problema de Robin
Este problema de valores en la frontera generaliza los dos anteriores. Suponiendo
que se busca la soluci on para a x b, t 0, las condiciones son
A
1
u(a, t) + B
1
u
x
(a, t) = f (t) (1.13)
A
2
u(b, t) + B
2
u
x
(b, t) = g(t) (1.14)
donde f y g son funciones dadas, denidas para t 0, y A
1
, B
1
, A
2
y B
2
son
constantes dadas.
Vale la pena remarcar que si en la EDP el orden mayor de la derivada respecto
a x fuese N, entonces seran necesarios los valores de u y u
x
en N distintos
x = a
i
como condiciones. De manera general, el problema de Robin prescribe
el valor de una combinaci on lineal de la funci on inc ognita u y su derivada
normal u/n en toda la frontera de la regi on de inter es.
Problemas Mixtos
Son problemas de valores en la frontera y/o iniciales que mezclan condiciones de
los anteriores. Suponiendo que se busca la soluci on para a x b, t 0, un
ejemplo sera
A
1
u(a, t) + B
1
u(b, t) = f (t) (1.15)
A
2
u
x
(a, t) + B
2
u
x
(b, t) = g(t) (1.16)
donde f y g son funciones dadas, denidas para t 0, y A
1
, B
1
, A
2
y B
2
son
constantes dadas.
Observe que si en la EDP el orden mayor de la derivada respecto a x fuese
N, entonces seran necesarios los valores de u o u
x
en N distintos x = a
i
como condiciones. De manera general, los problemas mixtos prescriben valores
de combinaciones lineales de la funci on inc ognita u ( o de su derivada normal
u/n ) evaluada en distintas partes de la frontera de la regi on de inter es.
1.1.4 Ecuaci on Lineal en M as Variables
La EDP lineal de segundo orden general en cualquier n umero de variables
siempre puede escribirse en la forma
_
T
Q + L +
_
u = (1.17)
con Q la matriz sim etrica asociada a la parte cuadr atica de la ecuaci on ( i.e.
de segundo orden en las derivadas de u ) y L la matriz rengl on asociada a
la parte lineal de la ecuaci on ( i.e. de primer orden en las derivadas de u ).
El operador es un vector columna que contiene por rengl on a la derivada
parcial respecto a cada variable de la funci on inc ognita u. y son funciones
dadas. Anteriormente vimos el caso de dos variables (x, t), i.e. u = u(x, t).
Puede vericarse f acilmente que la ecuaci on en tres variables
a u
xx
+ b u
yy
+ c u
tt
+ 2d u
xy
+ 2e u
xt
+ 2f u
yt
+ g u
x
+ h u
y
+ i u
t
+ j u = k
(1.18)
donde a, b, . . . , k son funciones de (x, y, t), se escribe en la forma (1.17) con
Q =
_
_
a d e
d b f
e f c
_
_
, L =
_
_
a
x
d
y
e
t
+ g
d
x
b
y
f
t
+ h
e
x
f
y
c
t
+ i
_
_
T
, =
_
_
t
_
_
(1.19)
Hemos utilizado la notaci on de la matriz transpuesta para reducir el tama no de
la matriz L.
An alogamente, la ecuaci on en cuatro variables
a u
xx
+b u
yy
+ c u
zz
+ d u
tt
+ 2e u
xy
+ 2f u
xz
+ 2g u
xt
+2h u
yz
+ 2i u
yt
+ 2j u
zt
+ k u
x
+ l u
y
+ mu
z
+ n u
t
+ p u = q (1.20)
donde a, b, . . . , q son funciones de (x, y, z, t), se escribe en la forma (1.17) con
Q =
_
_
_
_
a e f g
e b h i
f h c j
g i j d
_
_
_
_
, L =
_
_
_
_
a
x
e
y
f
z
g
t
+ k
e
x
b
y
h
z
i
t
+ l
f
x
h
y
c
z
j
t
+ m
g
x
i
y
j
z
d
t
+ n
_
_
_
_
T
, =
_
_
_
_
t
_
_
_
_
(1.21)
Secci on 1.2. Delta de Dirac 19
donde nuevamente utilizamos la notaci on de la matriz transpuesta en L.
Claramente se tiene una generalizaci on para cualquier n umero de variables.
Sin embargo, la clasicaci on en t erminos del determinante s olo se generaliza
para el caso parab olico. Esto es, si det(Q) = 0 entonces la ecuaci on es de tipo
parab olico. Los casos elptico e hiperb olico se diferencian en el signo de los
valores propios de Q. La clasicaci on general es
Teorema 2. La EDP de segundo orden lineal
_
T
Q + L +
_
u =
es de tipo
(i) Elptico si todos los valores propios de Q tienen el mismo signo
(ii) Hiperb olico si al menos un valor propio de Q tiene signo opuesto al del resto
(iii) Parab olico si al menos un valor propio de Q es cero
Nota: Dado que la matriz Q es sim etrica, entonces todos sus valores propios
son reales. M as a un, los casos elptico e hiperb olico corresponden a todos
los valores propios distintos de cero. Finalmente, cuando los coecientes que
forman Q son funciones, el tipo de la ecuaci on puede ser diferente en distintas
regiones del espacio.
1.2 Delta de Dirac
1.2.1 Distribuci on Rectangular
La funci on delta de Dirac puede denirse en t erminos de la funci on
d
a
(x) =
_
_
_
1
2a
si a x a
0 si x < a, x > a
(1.22)
N otese que para cada a > 0 se tiene
_

d
a
(x) dx =
_
a
a
1
2a
dx
=
1
2a
_
a
a
dx
=
1
2a
(2a) = 1 (1.23)
Si se toma el lmite de d
a
(x) cuando a 0 y se dene esta como la delta de
Dirac, es decir
(x) = lim
a0
d
a
(x) (1.24)
entonces puede decirse de manera informal que
(x) =
_
si x = 0
0 si x ,= 0
(1.25)
y adem as que se tiene la propiedad
_

(x) dx = 1 (1.26)
De manera m as general, si se aplica una traslaci on x x x
0
, se tiene
d
a
(x x
0
) =
_
_
_
1
2a
si x
0
a x x
0
+ a
0 si x < x
0
a, x > x
0
+ a
(1.27)
esto es, la funci on d
a
(x x
0
) est a centrada en x
0
. De esta forma puede denirse
(x x
0
) = lim
a0
d
a
(x x
0
) (1.28)
que de manera informal es
(x x
0
) =
_
si x = x
0
0 si x ,= x
0
(1.29)
y que claramente preserva la propiedad
_

(x x
0
) dx = 1 (1.30)
Secci on 1.2. Delta de Dirac 21
Un resultado importante, que generaliza el anterior es
_

f (x) (x x
0
) dx = f (x
0
) (1.31)
siempre que f sea una funci on continua en x
0
y acotada en todo R. La prueba
de esta propiedad puede darse de la siguiente manera:
_

f (x) (x x
0
) dx =
_

f (x)
_
lim
a0
d
a
(x x
0
)
_
dx
= lim
a0
_

f (x) d
a
(x x
0
) dx
= lim
a0
_
x
0
+a
x
0
a
f (x)
1
2a
dx
= lim
a0
1
2a
_
x
0
+a
x
0
a
f (x) dx
= lim
a0
F(x
0
+ a) F(x
0
a)
2a
, donde F
= f
= F
(x
0
)
= f (x
0
) (1.32)
donde se ha supuesto que
_
lim( ) = lim
_
( ). Es decir, que pueden
conmutarse el lmite con la integral. Esto est a justicado siempre que la funci on
f (x) sea acotada en todo R y continua en el punto x
0
.
Otra propiedad, no encontrada muy seguido en la literatura, pero muy util para
funciones continuas f denidas s olo en un intervalo (a, b) es
_
b
a
f (x) (x x
0
) dx =
_
f (x
0
) si x
0
(a, b)
0 si x
0
, (a, b)
(1.33)
la cual se sigue directamente de la propiedad (1.31) y del hecho que (x x
0
) =
0 para toda x ,= x
0
.
1.2.2 Otras Representaciones
Si se considera como propiedad fundamental para denir la delta de Dirac a
_

f (x) (x x
0
) dx = f (x
0
) (1.34)
adem as de (x x
0
) = 0 x ,= x
0
, se encuentra que hay una innidad
de representaciones para esta funci on. En particular, cualquier densidad de
probabilidad unimodal ( i.e. con un solo m aximo ) en el lmite en que la varianza
tiende a cero dar a una representaci on legtima. Por ejemplo
(i) (x x
0
) = lim
0
1
2
e
(xx
0
)
2
2
2
[Gaussiana]
(ii) (x x
0
) = lim
b0
1
b
(x x
0
)
2
+ b
2
[Lorentziana]
son representaciones alternativas. Pueden darse otras formas en t erminos de
funciones como la exponencial:
(iii) (x x
0
) = lim
a0
1
2a
e
[xx
0
[
a
Veremos posteriormente que a partir de la transformada de Fourier puede
encontrarse la representaci on integral
(iv) (x x
0
) =
1
2
_

e
ik(xx
0
)
dk
la cual se obtiene al transformar (x x
0
) ( usando la propiedad fundamental )
y luego invertir la transformada. Originalmente se encuentra el exponente con
signo contrario, pero el cambio de variable k k la pone en la presente
forma.
Otras representaciones, con las cuales concluimos esta secci on, pueden darse
en t erminos de series de Fourier. Por ejemplo
(v) (x x
0
) =
_
_
_
2
n=1
sen
_
n
x
0
_
sen
_
n
x
_
si 0 x
0 si x < 0, x >
[Serie de Senos]
(vi) (x x
0
) =
_
_
_
1
+
2
n=1
cos
_
n
x
0
_
cos
_
n
x
_
si 0 x
0 si x < 0, x >
[Serie de Cosenos]
Secci on 1.3. Integrales Dependientes de un Par ametro 23
(vii) (x x
0
) =
_
_
_
1
2
+
1
n=1
cos
_
n
(x x
0
)
_
si 0 x
0 si x < 0, x >
[Serie de Cosenos y Senos]
donde x
0
(0, ). O bien
(viii) (x x
0
) =
_
_
_
1
2
n=
e
i
n
(xx
0
)
si 0 x
0 si x < 0, x >
[Serie de Exponenciales Complejas]
Reordenando esta ultima expresi on se ve que se reduce a (vii).
1.3 Integrales Dependientes de un Par ametro
Consideremos un par de integrales utiles, las cuales interpretamos como
funciones que dependen de un par ametro ( incluido en el integrando ). La
primera es
I(a) =
_
cos(ax) dx (1.35)
Podemos evaluar directamente la integral para obtener
_
cos(ax) dx =
1
a
sen(ax) (1.36)
donde se ha omitido la constante arbitraria de integraci on. De hecho, dado que
estaremos calculando derivadas de estas funciones, no habr a cambio alguno
por esta omisi on. Aplicaremos el mismo criterio en lo que resta de esta secci on.
El hecho interesante es que como cos(ax) y
1
a
sen(ax) son funciones de clase
C
para toda a ,= 0 ( independientemente del valor de x ), entonces podemos

evaluar integrales del tipo
_
x
2n
cos(ax) dx y
_
x
2n1
sen(ax) dx por simple
derivaci on de la ecuaci on (1.36). Derivando ambos lados ( respecto a a );
usando el hecho que
d
da
_
( )dx =
_
d
da
( )dx, se tiene
_
xsen(ax) dx =
1
a
2
sen(ax) +
x
a
cos(ax) (1.37)
se sigue entonces que
_
xsen(ax) dx =
1
a
2
sen(ax)
x
a
cos(ax) (1.38)
Derivando ahora esta ecuaci on ( respecto a a ); introduciendo la derivada
directamente en el integrando, se obtiene
_
x
2
cos(ax) dx =
2
a
3
sen(ax) +
x
a
2
cos(ax) +
x
a
2
cos(ax) +
x
2
a
sen(ax)
=
_
x
2
a

2
a
3
_
sen(ax) +
2x
a
2
cos(ax) (1.39)
De esta se concluye que
_
x
2
cos(ax) dx =
_
x
2
a

2
a
3
_
sen(ax) +
2x
a
2
cos(ax) (1.40)
Iterando el procedimiento se obtienen m as integrales. Por ejemplo
_
cos(ax) dx =
1
a
sen(ax)
_
xsen(ax) dx =
1
a
2
sen(ax)
x
a
cos(ax)
_
x
2
cos(ax) dx =
_
x
2
a

2
a
3
_
sen(ax) +
2x
a
2
cos(ax)
_
x
3
sen(ax) dx =
_
3x
2
a
2

6
a
4
_
sen(ax)
_
x
3
a

6x
a
3
_
cos(ax)
_
x
4
cos(ax) dx =
_
x
4
a

12x
2
a
3
+
24
a
5
_
sen(ax) +
_
4x
3
a
2

24x
a
4
_
cos(ax)
_
x
5
sen(ax) dx =
_
5x
4
a
2

60x
2
a
4
+
120
a
6
_
sen(ax)
_
x
5
a

20x
3
a
3
+
120x
a
5
_
cos(ax)
De manera an aloga, podemos considerar
J(a) =
_
sen(ax) dx (1.41)
a partir de la cual es posible obtener
_
x
2n1
cos(ax) dx y
_
x
2n
sen(ax) dx.
Evaluaci on directa de esta integral da como resultado
_
sen(ax) dx =
1
a
cos(ax) (1.42)
donde nuevamente se omite la constante arbitraria.
Derivaci on iterada ( respecto a a ) de cada uno de los lados de esta ecuaci on
conduce a
_
sen(ax) dx =
1
a
cos(ax)
_
xcos(ax) dx =
1
a
2
cos(ax) +
x
a
sen(ax)
_
x
2
sen(ax) dx =
_
x
2
a

2
a
3
_
cos(ax) +
2x
a
2
sen(ax)
_
x
3
cos(ax) dx =
_
3x
2
a
2

6
a
4
_
cos(ax) +
_
x
3
a

6x
a
3
_
sen(ax)
_
x
4
sen(ax) dx =
_
x
4
a

12x
2
a
3
+
24
a
5
_
cos(ax) +
_
4x
3
a
2

24x
a
4
_
sen(ax)
_
x
5
cos(ax) dx =
_
5x
4
a
2

60x
2
a
4
+
120
a
6
_
cos(ax) +
_
x
5
a

20x
3
a
3
+
120x
a
5
_
sen(ax)
Podemos unir ambos resultados para obtener, por una parte
_
cos(ax) dx =
1
a
sen(ax)
_
xcos(ax) dx =
x
a
sen(ax) +
1
a
2
cos(ax)
_
x
2
cos(ax) dx =
_
x
2
a

2
a
3
_
sen(ax) +
2x
a
2
cos(ax)
_
x
3
cos(ax) dx =
_
x
3
a

6x
a
3
_
sen(ax) +
_
3x
2
a
2

6
a
4
_
cos(ax)
_
x
4
cos(ax) dx =
_
x
4
a

12x
2
a
3
+
24
a
5
_
sen(ax) +
_
4x
3
a
2

24x
a
4
_
cos(ax)
_
x
5
cos(ax) dx =
_
x
5
a

20x
3
a
3
+
120x
a
5
_
sen(ax) +
_
5x
4
a
2

60x
2
a
4
+
120
a
6
_
cos(ax)
y por la otra
_
sen(ax) dx =
1
a
cos(ax)
_
xsen(ax) dx =
x
a
cos(ax) +
1
a
2
sen(ax)
_
x
2
sen(ax) dx =
_
x
2
a

2
a
3
_
cos(ax) +
2x
a
2
sen(ax)
_
x
3
sen(ax) dx =
_
x
3
a

6x
a
3
_
cos(ax) +
_
3x
2
a
2

6
a
4
_
sen(ax)
_
x
4
sen(ax) dx =
_
x
4
a

12x
2
a
3
+
24
a
5
_
cos(ax) +
_
4x
3
a
2

24x
a
4
_
sen(ax)
_
x
5
sen(ax) dx =
_
x
5
a

20x
3
a
3
+
120x
a
5
_
cos(ax) +
_
5x
4
a
2

60x
2
a
4
+
120
a
6
_
sen(ax)
Finalmente, por inducci on se encuentra una f ormula para cada una de estas
integrales. Si denimos la funci on
2
p
n
(x; a) =
[
n+1
2
]
k=1
(1)
k1
n!
(n (2k 1))!
x
n(2k1)
a
2k
(1.43)
donde [ m] denota el mayor entero menor o igual que m y la notaci on
p
n
(x; a) signica que p
n
es funci on de la variable x y del par ametro a ( de
tal forma que p
n
es la derivada respecto a x ), se verica f acilmente que
_
x
n
cos(ax) dx =
1
a
_
x
n
p
n
_
sen(ax) + p
n
cos(ax) (1.44)
_
x
n
sen(ax) dx =
1
a
_
x
n
p
n
_
cos(ax) + p
n
sen(ax) (1.45)
Nota: Se sigue ( y se verica ) que el polinomio p
n
(x; a) satisface la ecuaci on
p
n
+ a
2
p
n
nx
n1
= 0 (1.46)
para toda n = 1, 2, 3, . . . Esto es, p
n
(x; a) es la soluci on particular a la ecuaci on
no homog enea
y
(x) + a
2
y(x) = nx
n1
(1.47)
Ejercicio 1. Determine f ormulas para las siguientes integrales:
(i)
_
x
n
e
ax
dx
(ii)
_
x
n
e
iax
dx
(iii)
_

x
n
e
ax
2
dx
puede suponerse a > 0, y para la ultima integral es util el resultado
_

e
ax
2
dx =
_

a
(1.48)
2
En forma desarrollada esta funci on se escribe como
p
n
(x; a) = n
x
n1
a
2
n(n 1)(n 2)
x
n3
a
4
+n(n 1)(n 2)(n 3)(n 4)
x
n5
a
6
+ +U
donde el ultimo t ermino U es una constante cuando n es impar, y es proporcional a x
cuando n es par.
1.4 Series de Fourier
Una funci on f que satisface f (x + L) = f (x) para toda x R se conoce como
funci on peri odica ( de periodo L en este caso ). Ejemplos conocidos de este tipo
de funciones son sen(x) y cos(x), ambas peri odicas ( de periodo 2) ya que
sen(x + 2) = sen(x) y cos(x + 2) = cos(x) para toda x R. N otese
que si una funci on es peri odica de periodo L, autom aticamente es peri odica de
periodo 2L, 3L, 4L, etc. Podemos mostrar esto por inducci on. Supongamos f
peri odica ( de periodo L ) y n N, n > 1. Entonces
f (x + nL) = f (x + (n 1)L + L)
= f (x + (n 1)L)
= f (x + (n 2)L + L)
= f (x + (n 2)L)
.
.
.
= f (x + L)
= f (x) (1.49)
Al n umero menor L para el cual se satisface f (x + L) = f (x) para toda
x R se le conoce como periodo fundamental. Por ejemplo, el periodo
fundamental de las funciones sen(x) y cos(x) es 2, pero para las funciones
sen(4x) y cos(4x) es /2. Geom etricamente, el periodo fundamental es la
longitud del intervalo m as peque no en el cual la funci on peri odica toma todos
sus valores. En este sentido, las funciones constantes pueden considerarse
funciones peri odicas de periodo fundamental 0.
Las funciones peri odicas ( digamos de periodo L ) pueden ser continuas o
tener discontinuidades en cualquier intervalo de longitud L. Si el n umero de
discontinuidades es nito y todas ellas son removibles o de salto, a esta funci on
se le llama seccionalmente continua. El teorema de Fourier hace uso de esta
hip otesis.
Teorema 3. Sup ongase que tanto f como f
son seccionalmente continuas en el

intervalo x < . Sup ongase adem as que f est a denida fuera del intervalo
x < , de modo que es peri odica de periodo 2 sobre todo R. Entonces f tiene
Secci on 1.4. Series de Fourier 29
una representaci on en serie de Fourier
f (x) =
a
0
2
+
n=1
_
a
n
cos
_
n
x
_
+ b
n
sen
_
n
x
_ _
(1.50)
con los coecientes dados por las f ormulas de Euler-Fourier
a
n
=
1
f (x) cos
_
n
x
_
dx (1.51)
b
n
=
1
f (x) sen
_
n
x
_
dx (1.52)
para toda n = 0, 1, 2, . . . La serie de Fourier converge a f (x) en todos los puntos
donde f es continua y a [ f (x+) + f (x) ] /2 en todos los puntos en los que f es
discontinua.
Notas:
(i) Usamos la notaci on usual: f (x
0
+) = lim
xx
+
0
f (x) y f (x
0
) = lim
xx
0
f (x).
(ii) De la denici on, el coeciente b
0
= 0, pero de hecho no aparece en la
serie.
(iii) El t ermino constante a
0
/2 se calcula tambi en con la f ormula de Euler-
Fourier y corresponde al valor promedio de la funci on f sobre el
intervalo [ , ).
(iv) El teorema puede utilizarse tambi en para denir una funci on peri odica en
todo R a partir de una funci on f seccionalmente continua en [ , ).
Ejercicio 1. Muestre que si f es una funci on par en [ , ), entonces su serie de
Fourier es de la forma
f (x) =
a
0
2
+
n=1
a
n
cos
_
n
x
_
(1.53)
llamada serie de Fourier de cosenos. Sin embargo, si f es una funci on impar en
[ , ), entonces su serie de Fourier es de la forma
f (x) =
n=1
b
n
sen
_
n
x
_
(1.54)
llamada serie de Fourier de senos; con los coecientes a
n
y b
n
dados por las f ormulas
de Euler-Fourier.
Ejercicio 2. Encuentre la serie de Fourier de las siguientes funciones:
(i) f (x) =
_
A si x < 0
B si 0 x <
para A, B constantes
(ii) g(x) = x
(iii) h(x) = (x x
0
) con x
0
[ , )
que se denen como tales en el intervalo [ , ) y son peri odicas en todo R.
Ejercicio 3. Se tiene la funci on 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):
(i) que s olo contenga funciones seno.
(ii) que s olo contenga funciones coseno y constante.
(iii) que contenga tanto funciones seno como coseno y constante.
Ejercicio 4. Encuentre la serie de Fourier de la funci on denida como
f (x) =
_
x (2a x) si 0 x < a
a (2a x) si a x < 2a
y que se extiende peri odicamente, con periodo 2a, fuera del intervalo [ 0, 2a).
1.4.1 Representaci on Compleja
Podemos reescribir la serie de Fourier de la funci on f dada en las ecuaciones
(1.50), (1.51) y (1.52) en t erminos de exponenciales complejas. Usando la
relaci on de Euler
e
i
= cos + i sen (1.55)
se encuentra directamente que
cos =
1
2
_
e
i
+ e
i
_
(1.56)
sen =
1
2i
_
e
i
e
i
_
(1.57)
Secci on 1.4. Series de Fourier 31
Introduciendo estas en (1.50) se tiene
f (x) =
a
0
2
+
n=1
_
a
n
2
_
e
in
x
+ e
in
x
_
+
b
n
2i
_
e
in
x
e
in
x
_
_
=
a
0
2
+
n=1
_
a
n
2
_
e
in
x
+ e
in
x
_
i
b
n
2
_
e
in
x
e
in
x
_
_
=
a
0
2
+
n=1
_ _
a
n
2
i
b
n
2
_
e
in
x
+
_
a
n
2
+ i
b
n
2
_
e
in
x
_
=
a
0
2
+
1
2
n=1
(a
n
ib
n
) e
in
x
+
1
2
n=1
(a
n
+ ib
n
) e
in
x
(1.58)
La primera de estas sumas puede reescribirse ( en t erminos del nuevo ndice
m = n ) como
n=1
(a
n
ib
n
) e
in
x
=
1
m=
(a
m
ib
m
) e
im
x
=
1
m=
(a
m
+ ib
m
) e
im
x
(1.59)
donde las igualdades a
m
= a
m
y b
m
= b
m
se siguen directamente de las
f ormulas de Euler-Fourier y del hecho que el coseno es par y el seno es impar.
Usando este resultado en (1.58) se obtiene
f (x) =
a
0
2
+
1
2
n=
(a
n
+ ib
n
) e
in
1
2
(a
0
+ ib
0
)
=
1
2
n=
(a
n
+ ib
n
) e
in
x
=
n=
c
n
e
in
x
(1.60)
donde inicialmente hemos usado el hecho que b
0
= 0 y para nalizar
hemos denido los coecientes complejos c
n
=
1
2
(a
n
+ ib
n
) . A partir de las
expresiones (1.51) y (1.52) se encuentra
c
n
=
1
2
(a
n
+ ib
n
)
=
1
2
_

f (x) cos
_
n
x
_
dx + i
1
2
_

f (x) sen
_
n
x
_
dx
=
1
2
_

f (x)
_
cos
_
n
x
_
+ i sen
_
n
x
_ _
dx
=
1
2
_

f (x) e
in
x
dx (1.61)
De esta forma, la funci on peri odica f denida para x < puede
escribirse tambi en como
f (x) =
n=
c
n
e
in
x
(1.62)
con los coecientes c
n
dados por
c
n
=
1
2
_

f (x) e
in
x
dx (1.63)
1.4.2 Series Multidimensionales
Funciones peri odicas de dos variables; i.e. tales que f (x + 2a, y) = f (x, y +
2b) = f (x, y) para toda (x, y) R
2
, pueden describirse mediante series de
Fourier bidimensionales de la forma
f (x, y) =
n=
m=
c
nm
e
in
a
x
e
im
b
y
(1.64)
nm
dados por
c
nm
=
1
4ab
_
a
a
dx
_
b
b
dy f (x, y) e
in
a
x
e
im
b
y
(1.65)
An alogamente, funciones peri odicas de tres variables; i.e. tales que f (x +
2a, y, z) = f (x, y + 2b, z) = f (x, y, z + 2c) = f (x, y, z) para toda (x, y, z) R
3
,
pueden describirse mediante series de Fourier tridimensionales de la forma
f (x, y, z) =
n=
m=
l=
c
nml
e
in
a
x
e
im
b
y
e
il
c
z
(1.66)
Secci on 1.5. Operadores Lineales 33
nml
dados por
c
nml
=
1
8abc
_
a
a
dx
_
b
b
dy
_
c
c
dz f (x, y, z) e
in
a
x
e
im
b
y
e
il
c
z
(1.67)
y as sucesivamente. Las representaciones en t erminos de funciones seno y
coseno se encuentran separando las sumas.
Ejercicio 1. Determine la representaci on en serie de Fourier de cosenos y senos,
an aloga al caso unidimensional, para la funci on f (x, y) denida en el rect angulo
[ a, a ) [ b, b ) partiendo del desarrollo en exponenciales (1.64)(1.65).
1.5 Operadores Lineales
De manera general puede denirse un operador como una transformaci on entre
dos espacios. El operador act ua sobre un elemento del dominio y regresa
un elemento de la imagen. Para espacios vectoriales; que por lo general son
espacios de funciones, un operador lineal

L satisface
L(c
1
f
1
+ c
2
f
2
) = c
1

L( f
1
) + c
2

L( f
2
) (1.68)
para constantes c
1
y c
2
, y funciones f
1
y f
2
.
Dado que las derivadas e integrales claramente satisfacen la propiedad (1.68),
ellas constituyen los ejemplos fundamentales de operadores lineales.
En particular, puede escribirse de manera general
L = (1.69)
que es el problema de valores propios para el operador lineal

L. Resolverlo sig-
nica determinar todos los valores constantes ( valores propios ) y funciones
( funciones propias ) que satisfacen la ecuaci on (1.69); la cual adem as puede
estar sujeta a condiciones dadas.
1.5.1 Operadores Diferenciales
Para funciones escalares de una variable f
1
y f
2
, y constantes c
1
y c
2
, se tiene
d
dx
(c
1
f
1
(x) + c
2
f
2
(x)) = c
1
d
dx
f
1
(x) + c
2
d
dx
f
2
(x) (1.70)
M as generalmente, si
P(z) = a
0
+ a
1
z + a
2
z
2
+ + a
n
z
n
(1.71)
es un polinomio de grado n con a
i
= a
i
(x) i = 0, 1, 2, . . . , n, entonces
P := P
_
d
dx
_
= a
0
+ a
1
d
dx
+ a
2
d
2
dx
2
+ + a
n
d
n
dx
n
(1.72)
es un operador diferencial lineal pues
P (c
1
f
1
(x) + c
2
f
2
(x)) =
_
a
0
+ a
1
d
dx
+ + a
n
d
n
dx
n
_
(c
1
f
1
(x) + c
2
f
2
(x))
=
_
a
0
+ a
1
d
dx
+ + a
n
d
n
dx
n
_
c
1
f
1
(x)
+
_
a
0
+ a
1
d
dx
+ + a
n
d
n
dx
n
_
c
2
f
2
(x)
= a
0
c
1
f
1
(x) + a
1
d
dx
c
1
f
1
(x) + + a
n
d
n
dx
n
c
1
f
1
(x)
+ a
0
c
2
f
2
(x) + a
1
d
dx
c
2
f
2
(x) + + a
n
d
n
dx
n
c
2
f
2
(x)
= c
1
_
a
0
+ a
1
d
dx
+ + a
n
d
n
dx
n
_
f
1
(x)
+ c
2
_
a
0
+ a
1
d
dx
+ + a
n
d
n
dx
n
_
f
2
(x)
= c
1

Pf
1
(x) + c
2

Pf
2
(x) (1.73)
El uso de la serie de Taylor, en el lmite n , permite denir el operador
diferencial lineal asociado a cualquier funci on suave ya sea algebraica o
trascendente.
3
Por ejemplo, dada la funci on algebraica
P(x) =
_
1 + x
2
= 1 +
1
2
x
2
1
8
x
4
+
1
16
x
6
+ (1.74)
3
Una funci on suave es aquella que es innitamente diferenciable ( i.e. de clase
C
). Las funciones algebraicas son las denidas en t erminos de un n umero nito de

operaciones algebraicas ( suma, producto, potencias y races ). Funciones trascendentes
son las que no son algebraicas.
entonces
P =
_
1 +
d
2
dx
2
= 1 +
1
2
d
2
dx
2

1
8
d
4
dx
4
+
1
16
d
6
dx
6
+ (1.75)
es un operador diferencial lineal. An alogamente, si se tiene la funci on
trascendente
P(x) = e
x
= 1 + x +
1
2!
x
2
+
1
3!
x
3
+ (1.76)
entonces
P = e
d/dx
= 1 +
d
dx
+
1
2!
d
2
dx
2
+
1
3!
d
3
dx
3
+ (1.77)
dene otro operador diferencial lineal.
Para funciones de varias variables se denen operadores diferenciales lineales
a partir del operador . Por ejemplo, si las funciones son escalares de la forma
f (x, y, z) se tiene
=

x
+

y
+

k

z
(1.78)
2
=

2
x
2
+

2
y
2
+

2
z
2
(1.79)
El primero de ellos es el gradiente y el segundo es el Laplaciano u operador de
Laplace. La generalizaci on para funciones de n variables x
i
es directa.
En el caso de funciones vectoriales ( campos vectoriales especcamente ) de la
forma

F(x, y, z) se tienen
=
_

x
+

y
+

k

z
_
(1.80)
=
_

x
+

y
+

k

z
_
(1.81)
que corresponden a la divergencia y el rotacional. N otese que al aplicar estos
operadores directamente a (1.78) se obtiene =
2
y =

0. Es
decir, la divergencia del gradiente ( de cualquier funci on escalar ) es igual al
Laplaciano ( de esa funci on escalar ). An alogamente, el rotacional del gradiente
( de cualquier funci on escalar ) es siempre el vector cero.
Una generalizaci on del operador de Laplace para funciones f (x, y, z, t) es el
operador de DAlembert ( o DAlembertiano )
2 =
1
c
2
2
t
2
+
2
=
1
c
2
2
t
2
+

2
x
2
+

2
y
2
+

2
z
2
(1.82)
En la Mec anica Cu antica se denen diversos operadores diferenciales lineales,
de los cuales los m as representativos son el operador de momento
p = i h (1.83)
donde i =
1 y h es la constante de Planck dividida por 2, y el operador de

energa ( total ) o Hamiltoniano que para una partcula es
H =
p
2
2m
+ V(r, t) (1.84)
con m la masa de la partcula y V(r, t) su energa potencial.
1.5.2 Transformadas Integrales
En general
T f (t) =
_
b
a
K(, t) f (t)dt (1.85)
es llamada la transformada integral de la funci on f mediante el n ucleo K ( sobre
el intervalo (a, b) ). Claramente una transformada integral T es lineal pues
T c
1
f
1
(t) + c
2
f
2
(t) =
_
b
a
K(, t) [c
1
f
1
(t) + c
2
f
2
(t)] dt
=
_
b
a
K(, t)c
1
f
1
(t)dt +
_
b
a
K(, t)c
2
f
2
(t)dt
= c
1
_
b
a
K(, t) f
1
(t)dt + c
2
_
b
a
K(, t) f
2
(t)dt
= c
1
T f
1
(t) + c
2
T f
2
(t) (1.86)
para constantes arbitrarias c
1
y c
2
.
M as generalmente, si la funci on escalar depende de m as de una variable,
por ejemplo f (x, t), pueden denirse transformadas integrales respecto a las
diferentes variables
T
1
f (x, t) =
_
b
a
K
1
(, t) f (x, t)dt (1.87)
T
2
f (x, t) =
_
d
c
K
2
(k, x) f (x, t)dx (1.88)
donde el sentido de las integraciones es como integrales parciales. Ejemplos
de estas transformadas integrales ser an utilzadas para resolver ecuaciones
diferenciales parciales en un captulo posterior.
Captulo 2
M etodo de Separaci on de
Variables
Para resolver problemas de valores iniciales y en la frontera denidos por EDP
de segundo orden lineales, quiza la t ecnica m as com un es la separaci on de
variables. La idea inicial es suponer que la soluci on 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, m as
un conjunto de condiciones de frontera. La soluci on de estos sistemas est a
dada, en general, por un n umero innito de funciones de tal forma que la
soluci on al problema original resulta ser una expansi on de estas funciones
( com unmente llamado principio de superposici on). Finalmente, partiendo de
esta soluci on superpuesta, se determinan los coecientes de la expansi on de
tal manera que se satisfaga la o las condiciones iniciales. En este captulo se
estudian diversos problemas utilizando el m etodo de separaci on de variables.
Se comienza con el problema de difusi on de calor unidimensional para distintas
condiciones de frontera y luego se generaliza a dimensiones superiores en la
geometra rectangular. Se observa que esencialmente las mismas separaciones
son v alidas para la ecuaci on de onda, ecuaci on de Laplace y ecuaci on de
Schr odinger. Tambi en se considera la separaci on de variables para la ecuaci on
de calor en coordenadas cilndricas y esf ericas; que de forma an aloga aplica a la
ecuaci on de onda y ecuaci on de Laplace. Se concluye este captulo encontrando
39
40 Captulo 2. M etodo de Separaci on de Variables
condiciones fuertes para la separaci on de variables de la ecuaci on de segundo
orden lineal general y de coecientes constantes.
2.1 La Ecuaci on de Calor
2.1.1 L nea con Extremos a Temperatura Cero
Consideremos el problema de valores iniciales y de valores homog eneos en la
frontera para la ecuaci on de calor en una dimensi on
u
t
=
2
u
xx
(2.1)
u(0, t) = 0 (2.2)
u(, t) = 0 (2.3)
u(x, 0) = f (x) (2.4)
denido para 0 < x < y t > 0. Fsicamente este problema puede
interpretarse como la difusi on de calor a trav es de los extremos de una barra
lineal que se encuentra aislada en toda su longitud . El par ametro > 0
est a relacionado con la difusividad t ermica de la lnea y depende exclusivamente
de las propiedades del material que la conforma. En este contexto es una
constante y la funci on inc ognita u(x, t) representa la temperatura en cada
punto x de la lnea y en cada tiempo t. En este sentido las condiciones de
frontera (2.2)(2.3), siendo de tipo Dirichlet homog eneas, jan temperatura
cero en los extremos de la lnea durante todo el tiempo. La condici on inicial
(2.4) describe la distribuci on de temperatura con la que parte la lnea al tiempo
t = 0. A partir de entonces, la din amica queda gobernada por la EDP (2.1) y las
condiciones de frontera (2.2)(2.3).
Iniciamos proponiendo como soluci on una funci on que sea un producto de una
funci on que s olo depende de x y otra que s olo depende de t. Esto es
u(x, t) = X(x)T(t) (2.5)
Secci on 2.1. La Ecuaci on de Calor 41
Calculamos sus derivadas parciales
u
t
= X(x)T
(t) (2.6)
u
x
= X
(x)T(t) (2.7)
u
xx
= X
(x)T(t) (2.8)
y las sustituimos en (2.1) para obtener
XT
=
2
X
T (2.9)
Si dividimos esta por XT se encuentra
T
T
=
2
X
X
(2.10)
Es decir, del lado izquierdo se tiene una funci on que s olo depende de t y del
lado derecho una funci on que s olo depende de x. Dado que x y t son variables
independientes, esta igualdad s olo puede ser posible si ambas funciones son
iguales a la misma funci on constante. Esto es
T
T
=
2
X
X
= A (2.11)
donde A es una constante ( compleja en general ) por determinar. Tomando
cada una de las igualdades por separado se tienen las siguientes ecuaciones
diferenciales ordinarias a resolver
X
X
=
A
2
= B (2.12)
T
T
= A (2.13)
Ahora, usando la propuesta (2.5) en las condiciones de frontera (2.2) y (2.3),
buscando soluciones no triviales X(x) , 0 y T(t) , 0, se tiene
X(0) = 0 (2.14)
X() = 0 (2.15)
Comencemos por resolver el problema de valores en la frontera para X(x),
ecuaciones (2.12), (2.14) y (2.15). De (2.12) se tiene
X
BX = 0 (2.16)
En el caso m as general la constante B puede ser compleja ya que A puede ser
compleja. Se tiene un comportamiento distinto en (2.16) s olo en los casos B = 0
y B ,= 0.
Caso (i) B = 0. La ecuaci on (2.16) se escribe como
X
= 0 (2.17)
Integr andola dos veces se obtiene su soluci on general
X(x) = c
1
x + c
2
(2.18)
con c
1
y c
2
constantes arbitrarias que pueden ser complejas. Usando las
condiciones de frontera (2.14) y (2.15) se encuentra
0 = X(0) = c
2
(2.19)
0 = X() = c
1
+ c
2
(2.20)
Dado que > 0, la unica soluci on a este sistema es
c
1
= c
2
= 0 (2.21)
Esto es, la unica soluci on posible para B = 0 es la soluci on trivial X(x) 0.
Caso (ii) B ,= 0. Las soluciones fundamentales de la ecuaci on (2.16) son
X
1
= e
1
x
(2.22)
X
2
= e
2
x
(2.23)
donde
1
y
2
denotan las dos races cuadradas distintas del complejo B.
Esto es,
1
y
2
son n umeros complejos distintos que satisfacen
2
1
=
2
2
= B
y
1
+
2
= 0.
La soluci on general de (2.16) es en este caso
X(x) = c
1
X
1
+ c
2
X
2
(2.24)
= c
1
e
1
x
+ c
2
e
2
x
(2.25)
con c
1
y c
2
constantes arbitrarias ( complejas en general ).
Usando las condiciones de frontera (2.14) y (2.15) se obtiene respectivamente
0 = X(0) = c
1
e
0
+ c
2
e
0
= c
1
+ c
2
(2.26)
0 = X() = c
1
e
+ c
2
e
(2.27)
De (2.26) se tiene que c
2
= c
1
. Al sustituir esto en (2.27) se encuentra
c
1
_
e
_
= 0 (2.28)
Luego, dado que > 0, las unicas soluciones posibles a esta ecuaci on son
c
1
= 0 ( y por lo tanto c
2
= 0 ) o bien
2
=
1
+
2n
i para alg un entero n. Si

c
1
= c
2
= 0 entonces de (2.24) se tiene que X(x) 0 ( i.e. la soluci on trivial ).
En el otro caso, dado que
1
y
2
son las races cuadradas de B, de
1
+
2
= 0
se sigue que
1
=
2
. Al introducir esta restricci on en
2
=
1
+
2n
i se
obtiene
2
=
n
i y
1
=
n
i. Finalmente, utilizando
2
1
=
2
2
= B se llega a
que los unicos valores complejos de B compatibles con la ecuaci on (2.16) para
B ,= 0 son
B =
n
2
2
(2.29)
con n = 1, 2, . . .
Regresando a las soluciones fundamentales (2.22) y (2.23), utilizando
2
=
n
i
y
1
=
n
i, se tiene
X
1
= e
ix
(2.30)
X
2
= e
n
ix
(2.31)
las cuales pueden reemplazarse por las funciones reales
X
1
=
1
2
(X
2
+ X
1
) = cos
_
n
x
_
(2.32)
X
2
=
1
2i
(X
2
X
1
) = sen
_
n
x
_
(2.33)
y por lo tanto su soluci on general es
X(x) = c
1

X
1
+ c
2

X
2
= c
1
cos
_
n
x
_
+ c
2
sen
_
n
x
_
(2.34)
Usando las condiciones de frontera (2.14) y (2.15) se obtiene
0 = X(0) = c
1
cos(0) + c
2
sen(0) = c
1
(2.35)
0 = X() = c
1
cos(n) + c
2
sen(n) = (1)
n
c
1
(2.36)
De ambas se tiene c
1
= 0 y c
2
arbitraria. Al introducirlas en (2.34) se encuentra
que la unica soluci on no trivial a la ecuaci on (2.16) que satisface las condiciones
de frontera (2.14) y (2.15) es cualquier m ultiplo escalar de la funci on
X(x) = sen
_
n
x
_
, n = 1, 2, . . . (2.37)
Queda por determinar la funci on T(t) que satisface (2.13). Esta ecuaci on
diferencial ordinaria de primer orden puede escribirse como
T
AT = 0 (2.38)
con A = B
2
= n
2
2
/
2
, jado por la soluci on X(x), para n =
1, 2, . . . La soluci on general de (2.38) es cualquier m ultiplo escalar de la
funci on
T(t) = e
At
(2.39)
( se excluye la funci on constante del caso A = 0 ). Utilizando A = n
2
2
/
2
se encuentra la soluci on
T(t) = e
_
n
2
2
_
t
(2.40)
Puede vericarse sin mayor complicaci on que el producto X(x)T(t) de las
funciones (2.37) y (2.40) es soluci on de la ecuaci on (2.1). Como se tiene un
producto diferente para cada valor del entero ( no cero ) n, podemos denotar
u
n
(x, t) = X(x)T(t) (2.41)
= sen
_
n
x
_
e
_
n
2
2
_
t
, n = 1, 2, . . . (2.42)
cada una de las cuales satisface (2.1). Adem as, como todas ellas satisfacen
las condiciones de frontera homog eneas (2.2) y (2.3), entonces la combinaci on
lineal general
u(x, t) =
n=
a
n
u
n
(x, t) (2.43)
=
n=
a
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.44)
satisface tanto la ecuaci on diferencial parcial (2.1) como las condiciones de
frontera (2.2)(2.3) para constantes arbitrarias a
n
. N otese que, para simplicar
la notaci on, hemos agregado el t ermino de la suma correspondiente a n = 0,
pero este es cero pues sen
_
n
x
_
= 0.
Podemos simplicar la forma de esta soluci on. Primero separamos las sumas
u(x, t) =
1
n=
a
n
sen
_
n
x
_
e
_
n
2
2
_
t
+
n=1
a
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.45)
Ahora, en la primera cambiamos el ndice m = n con lo cual se tiene
1
n=
a
n
sen
_
n
x
_
e
_
n
2
2
_
t
=
m=1
a
m
sen
_
m
x
_
e
_
(m)
2
2
_
t
(2.46)
=
m=1
(a
m
) sen
_
m
x
_
e
_
m
2
2
_
t
(2.47)
que al combinar con la segunda produce
u(x, t) =
n=1
(a
n
a
n
) sen
_
n
x
_
e
_
n
2
2
_
t
(2.48)
Usando el hecho que los coecientes a
n
son arbitrarios, podemos renombrar
a
n
a
n
como nuevos coecientes b
n
( tambi en arbitrarios ), con lo cual se
obtiene
u(x, t) =
n=1
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.49)
Falta solamente incluir la condici on inicial (2.4). Evaluando (2.49) en t = 0 se
tiene
f (x) = u(x, 0) =
m=1
b
m
sen
_
m
x
_
(2.50)
donde hemos hecho el cambio de ndice mudo n = m. Multiplicando esta
ecuaci on por sen
_
n
x
_
e integrando ambos lados sobre [ 0, ] se obtiene
_

0
f (x) sen
_
n
x
_
dx =
m=1
b
m
_

0
sen
_
m
x
_
sen
_
n
x
_
dx (2.51)
donde ahora estamos suponiendo que la suma converge
1
y por lo tanto que
podemos usar
_

_
. Usando el hecho que
_

0
sen
_
m
x
_
sen
_
n
x
_
dx =

2

mn
(2.52)
con
mn
la delta de Kronecker
mn
=
_
1 si m = n
0 si m ,= n
(2.53)
que mostraremos en un ejercicio posterior, se encuentra de (2.51) que
_

0
f (x) sen
_
n
x
_
dx =
m=1
b
m
2

mn
(2.54)
Llevando a cabo la suma, con ayuda de (2.53), se encuentra
b
n
=
2
_

0
f (x) sen
_
n
x
_
dx (2.55)
Esto es, los coecientes b
n
del desarrollo (2.50), llamado serie de Fourier de senos
de la funci on f (x), est an dados por (2.55) para toda n = 1, 2, . . .
Concluimos entonces que la soluci on al problema de valores iniciales y valores
homog eneos en la frontera para la ecuaci on de calor denido en las ecuaciones
(2.1)(2.4) es
u(x, t) =
n=1
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.56)
con los coecientes b
n
dados en (2.55).
Ejemplo 1. Demuestre que la funci on u(x, t) dada por (2.56) con los coecientes b
n
denidos en (2.55) es soluci on al problema de valores iniciales y valores homog eneos en
la frontera para la ecuaci on de calor denido en las ecuaciones (2.1)(2.4).
Soluci on. Primero mostremos que (2.56) satisface la ecuaci on de calor (2.1) para
coecientes arbitrarios b
n
. Para ello simplemente calculamos las derivadas
1
Por el teorema de Fourier; enunciado en la Secci on 1.4, sabemos que la suma innita
en (2.50) converge siempre que f sea seccionalmente continua en [ 0, ].
parciales u
t
y u
xx
. Esto es
2
u
t
=
n=1
_
n
2
2
_
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.57)
u
x
=
n=1
_
n
_
b
n
cos
_
n
x
_
e
_
n
2
2
_
t
(2.58)
u
xx
=
n=1
_
n
_
2
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.59)
De (2.57) y (2.59) se observa que
2
u
xx
= u
t
. Es decir, la funci on (2.56) satisface
la ecuaci on de calor (2.1) independientemente de los valores de los coecientes
b
n
.
Ahora mostremos que (2.56) satisface las condiciones de frontera homog eneas
(2.2) y (2.3) independientemente de los coecientes b
n
. Para ver esto evaluamos
u(x, t) respectivamente en x = 0 y en x = . Se tiene
u(0, t) =
n=1
b
n
sen(0) e
_
n
2
2
_
t
= 0 (2.60)
u(, t) =
n=1
b
n
sen(n) e
_
n
2
2
_
t
= 0 (2.61)
Finalmente, mostremos que (2.56), con los coecientes b
n
dados por (2.55),
satisface la condici on inicial (2.4). Para esto simplemente evaluamos u(x, t)
en t = 0. Se tiene
u(x, 0) =
n=1
b
n
sen
_
n
x
_
(2.62)
y como los coecientes b
n
est an dados por
b
n
=
2
_

0
f (x) sen
_
n
x
_
dx (2.63)
2
La primera derivaci on dentro de la suma innita en (2.56) est a justicada siempre
que esta converja a una funci on continua de los argumentos (x, t) en todo el semiplano
t > 0. Esto se tendr a siempre que la distribuci on inicial de temperatura f sea continua
en [ 0, ]. Aparentemente, sera necesario adem as que f (0) = f () = 0, pero en realidad
las condiciones de frontera u(0, t) = u(, t) = 0 proveen esta condici on. Para la
segunda derivaci on 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, ].
para toda n = 1, 2, . . . , entonces la suma en (2.62) es precisamente el desarrollo
en serie de Fourier de senos de la funci on f (x) sobre el intervalo [ 0, ]. Es
decir
u(x, 0) = f (x) (2.64)
con lo cual mostramos que esta u(x, t) es soluci on al problema en cuesti on.
Ejemplo 2. Determine la soluci on al problema de valores iniciales y de valores
homog eneos en la frontera para la ecuaci on de calor unidimensional
u
t
=
2
u
xx
u(0, t) = 0
u(, t) = 0
u(x, 0) = f (x)
para 0 < x < y t > 0, si la condici on inicial est a dada respectivamente por las
funciones
(i) f (x) = A, A = constante
(ii) f (x) = x x
2
(iii) f (x) = A e
x
(iv) f (x) = h(x) (x a), a ( 0, )
Soluci on. La soluci on a este problema para f (x) arbitraria est a dada por
u(x, t) =
n=1
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.65)
n
b
n
=
2
_

0
f (x) sen
_
n
x
_
dx (2.66)
Calculemos los coecientes para cada funci on particular.
En el caso (i) f (x) = A es una funci on constante. Por lo tanto los coecientes
b
n
son
b
n
=
2
_

0
Asen
_
n
x
_
dx
=
2A
_

0
sen
_
n
x
_
dx
=
2A
_

n
_
cos
_
n
x
_
0
=
_
2A
n
_
[ cos(n) cos(0) ]
=
_
2A
n
_
[ 1 (1)
n
]
=
_
_
_
4A
n
si n es impar
0 si n es par
(2.67)
Esto es
b
2k1
=
4A
(2k 1)
(2.68)
b
2k
= 0 (2.69)
para k = 1, 2, . . . , de tal forma que la soluci on en este caso es
u(x, t) =
k=1
b
2k1
sen
_
(2k 1)
x
_
e
_
(2k1)
2
2
_
t
=
k=1
_
4A
(2k 1)
_
sen
_
(2k 1)
x
_
e
_
(2k1)
2
2
_
t
=
_
4A
k=1
_
1
2k 1
_
sen
_
(2k 1)
x
_
e
_
(2k1)
2
2
_
t
(2.70)
En el caso (ii) f (x) = x x
2
. Por lo tanto los coecientes b
n
son
b
n
=
2
_

0
_
x x
2
_
sen
_
n
x
_
dx (2.71)
separando las integrales y llevando a cabo la integraci on por partes se obtiene
_

0
xsen
_
n
x
_
dx =

2
n
(1)
n+1
(2.72)
_

0
x
2
sen
_
n
x
_
dx = 2
_

n
_
3
[ (1)
n
1 ] +
_

3
n
_
(1)
n+1
(2.73)
de donde
b
n
=
4
2
(n)
3
[ 1 (1)
n
] (2.74)
=
_
_
_
8
2
(n)
3
si n es impar
0 si n es par
(2.75)
Esto es
b
2k1
=
_
2
(2k 1)
_
3
2
(2.76)
b
2k
= 0 (2.77)
para k = 1, 2, . . . , de tal forma que la soluci on en este caso es
u(x, t) =
k=1
b
2k1
sen
_
(2k 1)
x
_
e
_
(2k1)
2
2
_
t
=
k=1
_
2
(2k 1)
_
3
2
sen
_
(2k 1)
x
_
e
_
(2k1)
2
2
_
t
=
_
8
2
3
_

k=1
_
1
2k 1
_
3
sen
_
(2k 1)
x
_
e
_
(2k1)
2
2
_
t
(2.78)
En el caso (iii) f (x) = A e
x
. Por lo tanto los coecientes b
n
son
b
n
=
2
_

0
A e
x
sen
_
n
x
_
dx (2.79)
Usando integraci on por partes podemos calcular la integral indenida general
para obtener
_
e
x
sen(x) dx =
_

2
+
2
_
_

sen(x) cos(x)
_
e
x
+ C (2.80)
que al evaluar en x = y x = 0 para = (n/) da el resultado
_

0
e
x
sen
_
n
x
_
dx =
_
n
2
+ n
2
2
_
_
cos(0) e
0
cos(n) e
_
=
_
n
2
+ n
2
2
_
_
1 + (1)
n+1
e
_
(2.81)
Se sigue que los coecientes b
n
son
b
n
=
_
2nA
2
+ n
2
2
_
_
1 + (1)
n+1
e
_
(2.82)
para n = 1, 2, . . . Por lo tanto, la soluci on en este caso es
u(x, t) =
n=1
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
=
n=1
_
2nA
2
+ n
2
2
_
_
1 + (1)
n+1
e
_
sen
_
n
x
_
e
_
n
2
2
_
t
= 2A
n=1
_
n
2
+ n
2
2
_
_
1 + (1)
n+1
e
_
sen
_
n
x
_
e
_
n
2
2
_
t
(2.83)
Finalmente, en el caso (iv) f (x) = h(x) (x a), con a ( 0, ), la delta de
Dirac y h una funci on acotada en ( 0, ) y continua en a. Los coecientes b
n
son en este caso
b
n
=
2
_

0
h(x) (x a) sen
_
n
x
_
dx (2.84)
La integral puede calcularse sin esfuerzo alguno usando la propiedad
_

0
F(x) (x a) dx =
_
F(a) si a ( 0, )
0 si a , ( 0, )
(2.85)
Se obtiene entonces
b
n
=
2
h(a) sen
_
n
a
_
(2.86)
para n = 1, 2, . . . Por lo tanto, la soluci on para esta condici on inicial es
u(x, t) =
n=1
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
=
n=1
2
h(a) sen
_
n
a
_
sen
_
n
x
_
e
_
n
2
2
_
t
=
2
h(a)
n=1
sen
_
n
a
_
sen
_
n
x
_
e
_
n
2
2
_
t
(2.87)
2.1.2 L nea con Extremos a Temperaturas Constantes T
1
y T
2
Consideremos ahora el problema de valores iniciales y de valores constantes
T
1
y T
2
en los extremos de la lnea para la ecuaci on de calor en una dimensi on
u
t
=
2
u
xx
(2.88)
u(0, t) = T
1
(2.89)
u(, t) = T
2
(2.90)
u(x, 0) = f (x) (2.91)
denido para 0 < x < y t > 0. Nuevamente suponemos la constante > 0.
De la interpretaci on fsica del problema como una lnea ( aislada en toda
su longitud ) que disipa o absorbe calor por sus extremos, los cuales se
encuentran a temperatura constante T
1
y T
2
respectivamente, esperamos que
despu es de un tiempo sucientemente largo la lnea tenga una distribuci on
de temperatura en equilibrio la cual ya no depende del tiempo. Esto es,
esperamos que
u(x, t) v(x) para t > (2.92)
En este r egimen la ecuaci on (2.88) se traduce en
v
(x) = 0 (2.93)
y las condiciones de frontera (2.89) y (2.90) en
T
1
= u(0, t) = v(0) (2.94)
T
2
= u(, t) = v() (2.95)
La soluci on general a la ecuaci on (2.93) es
v(x) = c
1
x + c
2
(2.96)
al imponer las condiciones (2.94)(2.95) se obtiene
T
1
= v(0) = c
2
(2.97)
T
2
= v() = c
1
+ c
2
(2.98)
de donde
c
1
=
T
2
T
1
(2.99)
c
2
= T
1
(2.100)
y por lo tanto la soluci on de equilibrio es
v(x) =
_
T
2
T
1
_
x + T
1
(2.101)
Ahora, para tiempos cercanos a t = 0, la temperatura u(x, t) en la lnea
realmente ser a una funci on tanto de x como de t. La forma m as sencilla que
podemos proponer como soluci on para toda x ( 0, ) y toda t > 0 es
u(x, t) = w(x, t) + v(x) (2.102)
donde w(x, t) 0 para t > . Al calcular las derivadas parciales de esta e
introducirlas en la ecuaci on de calor (2.88) se obtiene
w
t
=
2
_
w
xx
+ v
_
(2.103)
usando la forma (2.101), que obtuvimos para la distribuci on de temperaturas
en equilibrio, se sigue que v
(x) 0 para todo t > 0 de tal manera que la

ecuaci on anterior se reduce a
w
t
=
2
w
xx
(2.104)
para todo t > 0. Esto es, si la funci on (2.102) es soluci on de la ecuaci on (2.88),
entonces la funci on w(x, t) debe satisfacer la ecuaci on de calor.
Empleando la propuesta (2.102) en las condiciones de frontera (2.89) y (2.90) se
obtiene respectivamente
T
1
= u(0, t) = w(0, t) + v(0) (2.105)
T
2
= u(, t) = w(, t) + v() (2.106)
pero de (2.101) se tiene que v(0) = T
1
y v() = T
2
, as que las ecuaciones
anteriores se traducen en
w(0, t) = 0 (2.107)
w(, t) = 0 (2.108)
Con esto se tiene que la funci on u(x, t) en (2.102) satisface las condiciones de
frontera (2.89)(2.90) siempre que w(x, t) satisfaga las condiciones de frontera
homog eneas (2.107)(2.108).
Ahora, el problema de valores homog eneos en la frontera para la ecuaci on de
calor es precisamente el que resolvimos en la secci on anterior. En consecuencia,
podemos escribir directamente la soluci on
w(x, t) =
n=1
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.109)
A partir de (2.102) y (2.101) se tiene entonces que la soluci on al problema
original es
u(x, t) = T
1
+
_
T
2
T
1
_
x +
n=1
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.110)
falta solamente jar los coecientes b
n
de tal forma que esta funci on satisfaga
(2.91). Imponiendo tal condici on en (2.110) se encuentra
f (x) = u(x, 0) = T
1
+
_
T
2
T
1
_
x +
n=1
b
n
sen
_
n
x
_
(2.111)
Escrito de otra forma
f (x) T
1
_
T
2
T
1
_
x =
n=1
b
n
sen
_
n
x
_
(2.112)
lo cual nos dice que en este caso b
n
son los coecientes de la serie de Fourier
de senos para la funci on a la izquierda de (2.112). Es decir
b
n
=
2
_

0
_
f (x) T
1
_
T
2
T
1
_
x
_
sen
_
n
x
_
dx (2.113)
En conclusi on, se tiene la soluci on al problema de valores iniciales y valores
constantes en la frontera para la ecuaci on de calor denido en las ecuaciones
(2.88)(2.91):
u(x, t) = T
1
+
_
T
2
T
1
_
x +
n=1
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.114)
n
dados en (2.113).
Ejemplo 1. Demuestre que la funci on u(x, t) dada por (2.114) con los coecientes b
n
denidos en (2.113) es soluci on al problema de valores iniciales y de valores constantes
T
1
y T
2
en los extremos de la lnea para la ecuaci on de calor denido en las ecuaciones
(2.88)(2.91).
Soluci on. Que la funci on u(x, t) satisface la ecuaci on de calor (2.88) se ve
directamente calculando las derivadas parciales. La justicaci on para derivar
dentro de la suma innita se encuentra en la nota al pie de p agina n umero 2 de
este captulo ( la nota se aplica en este caso a la soluci on w(x, t) = u(x, t) v(x)
con la condici on inicial w(x, 0) = f (x) v(x) ). Se tiene
u
t
=
n=1
_
n
2
2
_
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.115)
u
x
=
_
T
2
T
1
_
+
n=1
_
n
_
b
n
cos
_
n
x
_
e
_
n
2
2
_
t
(2.116)
u
xx
=
n=1
_
n
_
2
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.117)
De (2.115) y (2.117) se concluye que
2
u
xx
= u
t
.
Las condiciones de frontera se verican por evaluaci on directa:
u(0, t) = T
1
+
n=1
b
n
sen(0) e
_
n
2
2
_
t
= T
1
(2.118)
u(, t) = T
2
+
n=1
b
n
sen(n) e
_
n
2
2
_
t
= T
2
(2.119)
Finalmente, la condici on inicial se encuentra evaluando u en t = 0. Es decir
u(x, 0) = T
1
+
_
T
2
T
1
_
x +
n=1
b
n
sen
_
n
x
_
(2.120)
ahora como los coecientes b
n
est an dados por
b
n
=
2
_

0
_
f (x) T
1
_
T
2
T
1
_
x
_
sen
_
n
x
_
dx (2.121)
para toda n = 1, 2, . . . , entonces la suma en (2.120) es precisamente el
desarrollo en serie de Fourier de senos de la funci on f (x) T
1

_
T
2
T
1
_
x
denida en el intervalo ( 0, ). Es decir
u(x, 0) = f (x) (2.122)
Se sigue entonces que u(x, t) es soluci on al problema en cuesti on.
Ejemplo 2. Use el m etodo de separaci on de variables directamente para determinar
la soluci on al problema de valores iniciales y de valores constantes T
1
y T
2
en los
extremos de la lnea para la ecuaci on de calor en una dimensi on
u
t
=
2
u
xx
(2.123)
u(0, t) = T
1
(2.124)
u(, t) = T
2
(2.125)
u(x, 0) = f (x) (2.126)
denido para 0 < x < y t > 0.
Soluci on. La propuesta para separaci on de variables es la misma
u(x, t) = X(x)T(t) (2.127)
al introducirla en la ecuaci on (2.123) produce el sistema de ecuaciones ordinarias
X
BX = 0 (2.128)
T
AT = 0 (2.129)
con A la constante de separaci on de variables ( a un por determinar ) y B =
A/
2
. Si se imponen ahora las condiciones de frontera (2.124)(2.125) se
encuentra
X(0) T(t) = T
1
(2.130)
X() T(t) = T
2
(2.131)
las cuales son posibles s olo para T(t) una funci on constante. Ahora, para
tener compatibilidad con (2.129) se requiere que T(t) 0 cuando A ,= 0
( esto conduce a la soluci on trivial u(x, t) 0 ) o bien T(t) cualquier constante
cuando A = 0. Podemos jar, sin p erdida de la generalidad,
3
T(t) 1 para
A = 0 con lo cual (2.130) y (2.131) se convierten en
X(0) = T
1
(2.132)
X() = T
2
(2.133)
y, como B = A/
2
, la ecuaci on (2.128) se simplica a
X
= 0 (2.134)
La soluci on a este problema de valores en la frontera es
X(x) = T
1
+
_
T
2
T
1
_
x (2.135)
v alida para A = 0 y T(t) 1. Esto es, para la constante de separaci on A = 0
se tiene la soluci on independiente del tiempo
u
0
(x, t) = X(x)T(t) = T
1
+
_
T
2
T
1
_
x (2.136)
3
N otese que si tomamos T(t) C, con C ,= 0, tanto las condiciones de frontera
como la soluci on para X(x) se ven alteradas por un factor 1/C. Sin embargo, este factor
se cancela al multiplicar por T(t) C de tal modo que se obtiene el mismo resultado
(2.136) para u
0
(x, t).
Falta determinar todas las posibles soluciones para A ,= 0. Antes de hacer
esto notemos que como la ecuaci on de calor es lineal, entonces cualquier
combinaci on lineal de todas esas soluciones nuevamente ser a soluci on. Si
denotamos v(x, t) a la soluci on que resulta de la combinaci on lineal de todas
las dem as soluciones ( que por consecuencia satisface la ecuaci on de calor ),
entonces la soluci on completa a este problema ser a
u(x, t) = u
0
(x, t) + v(x, t) (2.137)
Imponiendo las condiciones de frontera (2.124)(2.125), notando que
u
0
(0, t) = T
1
(2.138)
u
0
(, t) = T
2
(2.139)
se encuentra que v(x, t) satisface las condiciones de frontera homog eneas
v(0, t) = 0 (2.140)
v(, t) = 0 (2.141)
Dado que v(x, t) satisface la ecuaci on de calor y las condiciones de frontera
(2.140)(2.141), podemos escribir directamente su forma
v(x, t) =
n=1
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.142)
n
a un por ser determinados. Imponiendo la condici on
inicial (2.126) directamente en (2.137), usando la forma de u
0
(x, t) y v(x, t), se
obtiene
f (x) T
1
_
T
2
T
1
_
x =
n=1
b
n
sen
_
n
x
_
(2.143)
lo cual nos dice que b
n
son los coecientes de la serie de Fourier de senos para
la funci on f (x) T
1
_
T
2
T
1
_
x, y por lo tanto
b
n
=
2
_

0
_
f (x) T
1
_
T
2
T
1
_
x
_
sen
_
n
x
_
dx (2.144)
Con todo esto, obtenemos nuevamente la soluci on
u(x, t) = T
1
+
_
T
2
T
1
_
x +
n=1
b
n
sen
_
n
x
_
e
_
n
2
2
_
t
(2.145)
n
dados por (2.144) para toda n = 1, 2, . . .
2.1.3 L nea con Extremos Aislados
Consideremos ahora el problema de valores iniciales y de valores homog eneos
para u
x
( i.e. la raz on de cambio de la temperatura respecto a x ) en los
u
t
=
2
u
xx
(2.146)
u
x
(0, t) = 0 (2.147)
u
x
(, t) = 0 (2.148)
u(x, 0) = f (x) (2.149)
Este problema puede interpretarse fsicamente como la difusi on de calor en el
interior de en una lnea de longitud que se encuentra completamente aislada,
y que parte con una distribuci on inicial de temperatura f (x).
Usando el m etodo de separaci on de variables y haciendo un an alisis an alogo al
de la Secci on 2.1 se encuentra la soluci on
u(x, t) =
a
0
2
+
n=1
a
n
cos
_
n
x
_
e
_
n
2
2
_
t
(2.150)
con los coecientes a
n
dados por
a
n
=
2
_

0
f (x) cos
_
n
x
_
dx (2.151)
para toda n = 0, 1, 2, . . . En particular, el t ermino constante es
a
0
2
=
1
_

0
f (x) dx (2.152)
es decir, el valor promedio de la distribuci on inicial de temperatura f (x) sobre
toda la longitud de la lnea. N otese que, de la soluci on (2.150) se encuentra
lim
t
u(x, t) =
a
0
2
(2.153)
esto es, la distribuci on de temperatura de equilibrio de la lnea completamente
aislada es el valor promedio de su distribuci on inicial.
2.1.4 L nea con Flujo de Calor Constante a Trav es de los Extremos
Consideremos ahora el problema de valores iniciales y de valores constantes
para u
x
( i.e. la raz on de cambio de la temperatura respecto a x ) en los
u
t
=
2
u
xx
(2.154)
u
x
(0, t) = F
1
(2.155)
u
x
(, t) = F
2
(2.156)
u(x, 0) = f (x) (2.157)
Este problema puede interpretarse fsicamente como la difusi on de calor en
una lnea de longitud , la cual est a recibiendo un ujo constante de calor F
1
a
trav es del punto x = 0, pero tambi en est a disipando un ujo de calor constante
F
2
a trav es del punto x = .
Un an alisis similar al del Ejemplo 2 de la Secci on 2.1.2 muestra que puede
encontrarse una soluci on s olo cuando F
1
= F
2
= F ( cualquier otro caso no
es compatible con las condiciones de frontera ). La soluci on de equilibrio u
0
que se encuentra es
u
0
(x, t) = Fx + K (2.158)
con K una constante arbitraria. De la propuesta de soluci on u(x, t) = u
0
(x, t) +
v(x, t) se sigue que v(x, t) satisface tanto la ecuaci on de calor como las
condiciones de frontera homog eneas para v
x
en los extremos x = 0 y x = .
Usando el resultado de la secci on anterior podemos escribir directamente
v(x, t) =
c
0
2
+
n=1
a
n
cos
_
n
x
_
e
_
n
2
2
_
t
(2.159)
de tal forma que la soluci on completa es
u(x, t) = Fx +
a
0
2
+
n=1
a
n
cos
_
n
x
_
e
_
n
2
2
_
t
(2.160)
con a
0
= c
0
+ 2K. Imponiendo la condici on inicial se encuentra
f (x) Fx =
a
0
2
+
n=1
a
n
cos
_
n
x
_
(2.161)
de donde deducimos que los coecientes a
n
son los del desarrollo en serie de
Fourier de cosenos de la funci on f (x) Fx, y por lo tanto est an dados como
a
n
=
2
_

0
[ f (x) Fx ] cos
_
n
x
_
dx (2.162)
para toda n = 0, 1, 2, . . . De esta forma la soluci on a este problema es
u(x, t) = Fx +
a
0
2
+
n=1
a
n
cos
_
n
x
_
e
_
n
2
2
_
t
(2.163)
n
dados por (2.162) y la restricci on F
1
= F
2
= F.
2.1.5 L nea con Condiciones de Frontera Peri odicas: Problema
del C rculo
Como ultimo problema unidimensional para la ecuaci on de calor, consideremos
el problema de conducci on de calor para la lnea que se encuentra aislada
t ermicamente en toda su longitud 2, y que satisface
u
t
=
2
u
xx
(2.164)
u(, t) = u(, t) (2.165)
u
x
(, t) = u
x
(, t) (2.166)
u(x, 0) = f (x) (2.167)
para < x < y t > 0. De la interpretaci on que tenemos para la
funci on u(x, t) ( como la temperatura en la posici on x al tiempo t ) se tiene
que la condici on de frontera (2.165) especica la misma temperatura en ambos
extremos de la lnea en todo tiempo. Tambi en, dado que en este contexto
la derivada u
x
representa el ujo de calor, la condici on de frontera (2.166)
indica que el ujo de calor que sale de un extremo es igual al que entra en
el otro extremo. Estas condiciones de frontera se conocen como contacto t ermico
perfecto y ujo de calor continuo respectivamente cuando se hacen coincidir los
dos extremos, x = y x = , de la lnea. En ese sentido, este problema
puede interpretarse tambi en como la conducci on de calor dentro del crculo de
radio / que se encuentra aislado t ermicamente en todo su permetro ( s olo
debe notarse que en este caso x denota la posici on a lo largo del crculo y que
se considera < x < ).
La soluci on se encuentra empleando la propuesta usual para separaci on de
variables
u(x, t) = X(x)T(t) (2.168)
que al introducirse en la ecuaci on (2.164) conduce al sistema de ecuaciones
ordinarias
X
BX = 0 (2.169)
T
AT = 0 (2.170)
con A la constante de separaci on de variables ( a un por determinar ) y B =
A/
2
. Imponiendo las condiciones de frontera (2.165)(2.166) se obtiene
X() = X() (2.171)
X
() = X
() (2.172)
donde hemos cancelado T(t) en ambos lados de las ecuaciones suponiendo
T(t) , 0. La posibilidad T(t) 0 claramente conduce a la soluci on trivial
u(x, t) 0. Ahora resolvemos la ecuaci on (2.169) con las condiciones de
frontera (2.171)(2.172). Consideramos los casos relevantes, B = 0 y B ,= 0
( complejo ):
(i) Caso B = 0. La soluci on general de (2.169) es
X(x) = c
1
x + c
2
(2.173)
con c
1
y c
2
constantes arbitrarias. Imponiendo las condiciones (2.171)
(2.172) directamente en esta se concluye que c
1
= 0 y c
2
es arbitraria. Por
simplicidad elegimos c
2
= 1, con lo cual
X(x) 1 (2.174)
Ahora B = 0 implica A = B
2
= 0. Al introducir esto en la ecuaci on
(2.170) se tiene T
= 0, cuya soluci on tambi en es una constante arbitraria.

Elegimos nuevamente
T(t) 1 (2.175)
De esta forma, en el caso B = 0 se tiene la soluci on
u
0
(x, t) = X(x)T(t) 1 (2.176)
(ii) Caso B ,= 0. La soluci on general de (2.169) es
X(x) = c
1
e
1
x
+ c
2
e
2
x
(2.177)
con
2
1
=
2
2
= B y
1
+
2
= 0, y c
1
y c
2
constantes arbitrarias.
Imponiendo las condiciones (2.171)(2.172) directamente en esta se tiene
que ya sea que c
1
= c
2
= 0 o bien
1
=
2
= n i/ para n =
1, 2, . . . El caso c
1
= c
2
= 0 conduce a la soluci on trivial u(x, t) 0
por lo cual se tiene
X(x) = c
1
e
i(
n
x)
+ c
2
e
i(
n
x)
(2.178)
o bien, en t erminos de funciones reales
X
n
(x) =
n
cos
_
n
x
_
+
n
sen
_
n
x
_
(2.179)
donde el subndice n indica que hay una soluci on para cada entero
excepto el cero. Dado que
1
=
2
= n i/, se sigue que B =
n
2
2
/
2
. Luego entonces A = B
2
= n
2
2
/
2
. Al introducir esto
en la ecuaci on (2.170) se tiene T
+ (n
2
2
/
2
)T = 0, cuya soluci on
fundamental es
T
n
(t) = e
_
n
2
2
_
t
(2.180)
De esta forma, en el caso B ,= 0 se tiene la soluci on
u
n
(x, t) =

X
n
(x)T
n
(t) =
_
n
cos
_
n
x
_
+
n
sen
_
n
x
__
e
_
n
2
2
_
t
(2.181)
para cada n = 1, 2, . . .
Con todo esto, la soluci on general al problema (2.164)(2.166) es
u(x, t) =
n=
c
n
u
n
(x, t)
= c
0
+
n=1
_
a
n
cos
_
n
x
_
+ b
n
sen
_
n
x
__
e
_
n
2
2
_
t
(2.182)
0
, a
n
= c
n
n
+ c
n
n
y b
n
= c
n
n
c
n
n
a un por ser
determinados. Imponiendo la condici on inicial (2.167) directamente en (2.182),
se obtiene
f (x) = c
0
+
n=1
_
a
n
cos
_
n
x
_
+ b
n
sen
_
n
x
__
(2.183)
lo cual nos dice que a
n
y b
n
son los coecientes de Fourier de la funci on f (x),
con c
0
= a
0
/2. Esto es
a
n
=
1
f (x) cos
_
n
x
_
dx (2.184)
b
n
=
1
f (x) sen
_
n
x
_
dx (2.185)
En conclusi on, se tiene la soluci on
u(x, t) =
a
0
2
+
n=1
_
a
n
cos
_
n
x
_
+ b
n
sen
_
n
x
__
e
_
n
2
2
_
t
(2.186)
n
y b
n
dados por (2.184)(2.185) para toda n = 0, 1, 2, . . .
2.1.6 L amina Rectangular
Consideremos ahora el problema de conducci on de calor en dos dimensiones:
u
t
=
2
u (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)
denido para 0 < x < a, 0 < y < b y t > 0. Hemos introducido aqu la
denici on del operador de Laplace ( o Laplaciano ) en dos dimensiones:
u = u
xx
+ u
yy
(2.193)
N otese que, a pesar que u es funci on tanto de (x, y) como de t, el Laplaciano
s olo act ua en las coordenadas espaciales.
Podemos interpretar este problema como la difusi on de calor a trav es de
la frontera de la l amina rectangular [ 0, a ] [ 0, b ] cuando esta l amina se
encuentra aislada t ermicamente tanto en su area superior como en su area
inferior ( i.e., como una rebanada de jam on en un sandwich! ). Las condiciones
de frontera (2.188)-(2.191) para este problema especican temperatura constante
cero en todo el permetro del rect angulo.
La propuesta de separaci on de variables es en este caso
u(x, y, t) = X(x)Y(y)T(t) (2.194)
que al sustituir en (2.187) conduce al sistema de ecuaciones diferenciales
ordinarias
T
AT = 0 (2.195)
X
CX = 0 (2.196)
Y
DY = 0 (2.197)
con A, B, C y D constantes que satisfacen B = C + D y B = A/
2
, y a las
condiciones de frontera
X(0) = 0 (2.198)
X(a) = 0 (2.199)
Y(0) = 0 (2.200)
Y(b) = 0 (2.201)
Las soluciones de los problemas para X y Y son
X(x) = sen
_
n
a
x
_
(2.202)
Y(y) = sen
_
m
b
y
_
(2.203)
para toda n, m = 1, 2, . . . Esto es, C =
n
2
2
a
2
y D =
m
2
2
b
2
son
constantes negativas. N otese que el caso C = 0 ( o D = 0 ) no es posible
ya que la soluci on sera X(x) = c
1
x + c
2
( o Y(y) = c
1
y + c
2
) que producira
X(x) 0 ( o Y(y) 0 ) al imponer las condiciones de frontera.
Se sigue entonces que B =
_
n
2
a
2
+
m
2
b
2
_
2
y como B = A/
2
se tiene
A =
_
n
2
a
2
+
m
2
b
2
_
2
(2.204)
con lo cual la soluci on de (2.195) es
T(t) = e
_
n
2
a
2
+
m
2
b
2
_
2
t
(2.205)
Con todo esto, se tienen las soluciones
u
nm
(x, y, t) = sen
_
n
a
x
_
sen
_
m
b
y
_
e
_
n
2
a
2
+
m
2
b
2
_
2
t
(2.206)
de donde, tomando la combinaci on lineal m as general e intercambiando la
suma sobre los enteros negativos por una sobre positivos, an alogamente al caso
unidimensional, se encuentra
u(x, y, t) =
n=1
m=1
b
nm
u
nm
(x, y, t) (2.207)
=
n=1
m=1
b
nm
sen
_
n
a
x
_
sen
_
m
b
y
_
e
_
n
2
a
2
+
m
2
b
2
_
2
t
(2.208)
nm
a un por ser determinados por la condici on inicial
(2.192). Evaluando esta u(x, y, t) en t = 0 y usando (2.192) se obtiene
f (x, y) =
p=1
q=1
b
pq
sen
_
p
a
x
_
sen
_
q
b
y
_
(2.209)
donde hicimos un cambio de ndices mudos. Multiplicando ambos lados por
el producto sen
_
n
a
x
_
sen
_
m
b
y
_
e integrando sobre el rect angulo [ 0, a ]
[ 0, b ] se encuentra
_
a
0
dx
_
b
0
dy f (x, y) sen
_
n
a
x
_
sen
_
m
b
y
_
=
_
ab
4
_

p=1
q=1
b
pq

pn

qm
(2.210)
donde hemos usado
_
a
0
dx sen
_
p
a
x
_
sen
_
n
a
x
_
=
a
2

pn
(2.211)
_
b
0
dy sen
_
q
b
y
_
sen
_
m
b
y
_
=
b
2

qm
(2.212)
Llevando a cabo las sumas en (2.210) nalmente se encuentra
b
nm
=
4
ab
_
a
0
dx
_
b
0
dy f (x, y) sen
_
n
a
x
_
sen
_
m
b
y
_
(2.213)
De esta forma, la soluci on completa a este problema est a dada por la funci on
u(x, y, t) de (2.208) con los coecientes b
nm
dados por (2.213), v alida para toda
(x, y) [ 0, a ] [ 0, b ] y toda t 0.
2.1.7 Bloque S olido
Consideremos el problema de conducci on de calor en tres dimensiones:
u
t
=
2
u (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)
denido para 0 < x < a, 0 < y < b, 0 < z < c y t > 0. En este caso usamos
la denici on del operador de Laplace en tres dimensiones:
u = u
xx
+ u
yy
+ u
zz
(2.222)
Nuevamente enfatizamos que el Laplaciano act ua solamente en las coordenadas
espaciales.
Como est a denido, este problema puede interpretarse como la difusi on
de calor a trav es de las caras del bloque [ 0, a ] [ 0, b ] [ 0, c ] desde su
interior. Las condiciones de frontera (2.215)(2.220) para este problema son de
temperatura constante cero en cada una de las caras del bloque. Esto es, para
este caso no se tiene ninguna cara aislada t ermicamente. Si se quisiera aislar la
cara x
i
= constante, habra que imponer la condici on u
x
i
= 0 en dicha cara.
Si se usa la propuesta de separaci on de variables
u(x, y, z, t) = X(x)Y(y)Z(z)T(t) (2.223)
se obtiene el sistema de ecuaciones diferenciales ordinarias
T
AT = 0 (2.224)
X
CX = 0 (2.225)
Y
DY = 0 (2.226)
Z
EZ = 0 (2.227)
con A, B, C y D constantes que satisfacen B = C + D + E y B = A/
2
. Las
condiciones de frontera que se obtienen son
X(0) = 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)
Las soluciones de los problemas para X, Y y Z son
X(x) = sen
_
n
a
x
_
(2.234)
Y(y) = sen
_
m
b
y
_
(2.235)
Z(z) = sen
_
l
c
z
_
(2.236)
para toda n, m, l = 1, 2, . . . Esto es, las tres constantes de separaci on
C =
n
2
2
a
2
, D =
m
2
2
b
2
y E =
l
2
2
c
2
son todas negativas.
Se tiene entonces que B =
_
n
2
a
2
+
m
2
b
2
+
l
2
c
2
_
2
y como B = A/
2
, entonces
A =
_
n
2
a
2
+
m
2
b
2
+
l
2
c
2
_
2
(2.237)
con lo cual la soluci on fundamental de (2.224) es
T(t) = e
_
n
2
a
2
+
m
2
b
2
+
l
2
c
2
_
2
t
(2.238)
En resumen, se tienen las soluciones
u
nml
(x, y, t) = sen
_
n
a
x
_
sen
_
m
b
y
_
sen
_
l
c
z
_
e
_
n
2
a
2
+
m
2
b
2
+
l
2
c
2
_
2
t
(2.239)
u(x, y, z, t) =
n=1
m=1
l=1
b
nml
u
nml
(x, y, z, t) (2.240)
=

n,m,l
b
nml
sen
_
n
a
x
_
sen
_
m
b
y
_
sen
_
l
c
z
_
e
_
n
2
a
2
+
m
2
b
2
+
l
2
c
2
_
2
t
(2.241)
Los coecientes b
nml
quedan determinados por la condici on inicial (2.221). Esto
es
f (x, y, z) =
p=1
q=1
r=1
b
pqr
sen
_
p
a
x
_
sen
_
q
b
y
_
sen
_
r
c
z
_
(2.242)
Al multiplicar esta por las funciones seno, llevar a cabo la integraci on sobre
[ 0, a ] [ 0, b ] [ 0, c ] y luego calcular las sumas, se encuentra
b
nml
=
8
abc
_
a
0
dx
_
b
0
dy
_
c
0
dz f (x, y, z) sen
_
n
a
x
_
sen
_
m
b
y
_
sen
_
l
c
z
_
(2.243)
u(x, y, z, t) de (2.241) con los coecientes b
nml
dados por (2.243), v alida para
toda (x, y, z) [ 0, a ] [ 0, b ] [ 0, c ] y toda t 0.
2.1.8 Hiperbloque S olido N-dimensional
Finalmente consideremos el problema general, conducci on de calor en el bloque
N-dimensional:
u
t
=
2
u (2.244)
u(0, x
2
, . . . , x
N
, t) = 0 (2.245)
u(a
1
, x
2
, . . . , x
N
, t) = 0 (2.246)
u(x
1
, 0, . . . , x
N
, t) = 0 (2.247)
u(x
1
, a
2
, . . . , x
N
, t) = 0 (2.248)
.
.
.
u(x
1
, x
2
, . . . , 0, t) = 0 (2.249)
u(x
1
, x
2
, . . . , a
N
, t) = 0 (2.250)
u(x
1
, x
2
, . . . , x
N
, 0) = f (x
1
, x
2
, . . . , x
N
) (2.251)
denido para 0 < x
1
< a
1
, 0 < x
2
< a
2
, . . . , 0 < x
N
< a
N
y t > 0. En este
caso usamos la denici on del operador de Laplace en N dimensiones:
u = u
x
1
x
1
+ u
x
2
x
2
+ + u
x
N
x
N
(2.252)
el cual, como hemos puntualizado, act ua unicamente en las coordenadas
espaciales.
Como est a denido, este problema puede interpretarse como la difusi on de
calor a trav es de las caras del hiperbloque [ 0, a
1
] [ 0, a
2
] [ 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 t ermicamente. Si se quisiera
aislar la cara x
i
= constante, habra que imponer la condici on u
x
i
= 0 en dicha
cara.
Si se usa la propuesta de separaci on de variables
u(x
1
, x
2
, . . . , x
N
, t) = X
1
(x
1
)X
2
(x
2
) X
N
(x
N
)T(t) (2.253)
=
N
i=1
X
i
(x
i
)T(t) (2.254)
se obtiene el sistema de ecuaciones diferenciales ordinarias
T
AT = 0 (2.255)
X
i
C
i
X
i
= 0 (2.256)
con A, B y C
i
constantes que satisfacen B =

N
i=1
C
i
y B = A/
2
. Las
condiciones de frontera que se obtienen son
X
i
(0) = 0 (2.257)
X
i
(a
i
) = 0 (2.258)
Las soluciones de los problemas para X
i
son
X
i
(x
i
) = sen
_
n
i
a
i
x
i
_
(2.259)
para toda n
i
= 1, 2, . . . Esto es, las constantes de separaci on espaciales son
C
i
=
n
2
i

2
a
2
i
y por lo tanto B =
N
i=1
n
2
i

2
a
2
i
. Luego como B = A/
2
, se tiene
A =
_
N
i=1
n
2
i
a
2
i
_
2
(2.260)
con lo cual la soluci on fundamental de (2.255) es
T(t) = e
N
i=1
n
2
i
a
2
i
_
2
t
(2.261)
Con todo esto, se tienen las soluciones
u
n
1
n
N
(x
1
, x
2
, . . . , x
N
, t) =
N
k=1
sen
_
n
k
a
k
x
k
_
e
N
i=1
n
2
i
a
2
i
_
2
t
(2.262)
u(x
1
, x
2
, . . . , x
N
, t) =
n
1
=1
n
2
=1

n
N
=1
b
n
1
n
N
u
n
1
n
N
(x
1
, x
2
, . . . , x
N
, t)
=

n
1
,...,n
N
b
n
1
n
N
N
k=1
sen
_
n
k
a
k
x
k
_
e
N
i=1
n
2
i
a
2
i
_
2
t
(2.263)
Los coecientes b
n
1
n
N
quedan determinados por la condici on inicial (2.251).
Esto es
f (x
1
, x
2
, . . . , x
N
) =

m
1
,...,m
N
b
m
1
m
N
N
k=1
sen
_
m
k
a
k
x
k
_
(2.264)
Al multiplicar esta por las funciones seno, llevar a cabo la integraci on sobre
[ 0, a
1
] [ 0, a
2
] [ 0, a
N
] y luego calcular las sumas, se encuentra
b
n
1
n
N
=
2
N
N
i=1
a
i
_
a
1
0
dx
1

_
a
N
0
dx
N
f (x
1
, x
2
, . . . , x
N
)
N
k=1
sen
_
n
k
a
k
x
k
_
(2.265)
u(x
1
, x
2
, . . . , x
N
, t) de (2.263) con los coecientes b
n
1
n
N
dados por (2.265),
v alida para toda (x
1
, x
2
, . . . , x
N
) [ 0, a
1
] [ 0, a
2
] [ 0, a
N
] y toda t 0.
2.1.9 Ecuaci on de Calor en Coordenadas Cilndricas
En coordenadas cilndricas (, , z) el operador de Laplace se escribe como
u =
1
_
u
+
1
2
u
+ u
zz
(2.266)
de tal modo que la ecuaci on de calor escrita en estas coordenadas es
u
t
=
2
_
1
_
u
+
1
2
u
+ u
zz
_
(2.267)
La propuesta de separaci on de variables
u(, , z, t) = R()()Z(z)T(t) (2.268)
produce
u
t
= RZT
(2.269)
u =
ZT
_
R
+
RZT
+ RTZ
(2.270)
de tal modo que al sustituir en la ecuaci on de calor (2.267) y dividir ambos lados
por (2.268) conduce a la primera separaci on
T
T
=
2
_
1
R
_
R
+
1
+
Z
Z
_
= A (2.271)
esto es
T
AT = 0 (2.272)
1
R
_
R
+
1
+
Z
Z
= B (2.273)
con B = A/
2
. Reescribiendo esta ultima se tiene la segunda separaci on
Z
Z
= B
1
R
_
R
= C (2.274)
es decir
Z
CZ = 0 (2.275)
1
R
_
R
+
1
= B C (2.276)
multiplicando por
2
esta ultima y reagrupando se tiene la separaci on nal
= (B C)
2

R
_
R
= D (2.277)
esto es
D = 0 (2.278)
(B C)
2

R
_
R
= D (2.279)
Al multiplicar esta ultima por R y calcular la derivada puede reescribirse como
2
R
+ R
+
_
(C B)
2
+ D
_
R = 0 (2.280)
En resumen, el m etodo de separaci on de variables funciona para la ecuaci on
de calor escrita en coordenadas cilndricas y conduce al sistema de ecuaciones
diferenciales ordinarias
T
AT = 0 (2.281)
Z
CZ = 0 (2.282)
D = 0 (2.283)
2
R
+ R
+
_
(C B)
2
+ D
_
R = 0 (2.284)
con A, B, C y D constantes de separaci on ( que en el caso m as general pueden
ser complejas ). La ecuaci on para R es una forma de la ecuaci on de Bessel
x
2
y
+ xy
+ (x
2
n
2
)y = 0, y = y(x) (2.285)
con D = n
2
,
C B = x, y R = y.
2.1.10 Ecuaci on de Calor en Coordenadas Esf ericas
En coordenadas esf ericas (r, , ) el operador de Laplace es
u =
1
r
2
sen
_
sen
_
r
2
u
r
_
r
+ ( sen u
+
1
sen
u
_
(2.286)
de tal modo que la ecuaci on de calor escrita en estas coordenadas es
u
t
=

2
r
2
sen
_
sen
_
r
2
u
r
_
r
+ ( sen u
+
1
sen
u
_
(2.287)
La propuesta de separaci on de variables
u(r, , , t) = R(r)()()T(t) (2.288)
produce en este caso
u
t
= RT
(2.289)
u =
T
r
2
_
r
2
R
+
RT
r
2
sen
_
sen
+
RT
r
2
sen
2
(2.290)
de tal modo que al sustituir en la ecuaci on de calor (2.287) y dividir ambos lados
por (2.288) conduce a la primera separaci on
T
T
=
2
_
1
r
2
R
_
r
2
R
+
1
r
2
sen
_
sen
+
1
r
2
sen
2

_
= A (2.291)
esto es
T
AT = 0 (2.292)
1
r
2
R
_
r
2
R
+
1
r
2
sen
_
sen
+
1
r
2
sen
2

= B (2.293)
con B = A/
2
. Multiplicando esta ultima por r
2
y reescribi endola se tiene la
segunda separaci on
1
R
_
r
2
R
Br
2
=
1
sen
_
sen
1
sen
2

= C (2.294)
es decir
1
R
_
r
2
R
Br
2
C = 0 (2.295)
1
sen
_
sen
+
1
sen
2

= C (2.296)
multiplicando por sen
2
esta ultima y reagrupando se tiene la separaci on nal
=
sen
_
sen
Csen
2
= D (2.297)
esto es
D = 0 (2.298)
sen
_
sen
+ Csen
2
+ D = 0 (2.299)
Despu es de calcularse las derivadas indicadas y simplicar las ecuaciones
ordinarias se obtiene el sistema
T
AT = 0 (2.300)
r
2
R
+ 2rR
_
Br
2
+ C
_
R = 0 (2.301)
D = 0 (2.302)
sen
2

+ sen cos
+
_
Csen
2
+ D
_
= 0 (2.303)
con A, B, C y D constantes de separaci on ( que en el caso m as general pueden
ser complejas ). La ecuaci on para R puede reducirse a una ecuaci on de Bessel
de la forma
x
2
y
+ xy
+
_
x
2
_
n +
1
2
_
2
_
y = 0, y = y(x) (2.304)
con B = k
2
, C = n(n +1), k r = x, y R = y/x
1/2
. Por otra parte, la ecuaci on
para es una forma de la ecuaci on asociada de Legendre
(1 x
2
)z
2xz
+
_

m
2
1 x
2
_
z = 0, z = z(x) (2.305)
con C = , D = m
2
, cos = x, y = z. Concluimos nuevamente que
el m etodo de separaci on de variables funciona tambi en para la ecuaci on de
calor escrita en coordenadas esf ericas. Notamos, sin embargo, que el sistema de
ecuaciones diferenciales ordinarias es considerablemente m as complicado que
en el caso de las coordenadas cilndricas ( el cual, a su vez es m as complicado
que para coordenadas cartesianas ).
2.2 La Ecuaci on de Onda
Consideremos la ecuaci on de onda en tres dimensiones
u
tt
= c
2
u (2.306)
con u = u
xx
+ u
yy
+ u
zz
el Laplaciano en coordenadas cartesianas. La
propuesta de separaci on de variables
u(x, y, z, t) = U(x, y, z)T(t) (2.307)
produce
u
tt
= UT
(2.308)
u = TU (2.309)
de tal modo que al sustituir en la ecuaci on de onda (2.306) y dividir ambos
lados por (2.307) conduce a la primera separaci on
T
T
= c
2
U
U
= A (2.310)
esto es
T
AT = 0 (2.311)
U BU = 0 (2.312)
Secci on 2.3. La Ecuaci on de Laplace 77
con B = A/c
2
. En realidad esta es la separaci on general de la ecuaci on de
onda independientemente de si las coordenadas son cartesianas o curvilneas.
La ecuaci on (2.312) se conoce generalmente como ecuaci on de Helmholtz o en
ocasiones tambi en es llamada ecuaci on de onda independiente del tiempo.
A partir de aqu se supone una nueva separaci on de variables de la forma
U(x, y, z) = X(x)Y(y)Z(z) (2.313)
que conduce a la misma separaci on que la ecuaci on de calor en tres dimensiones.
De este modo, se tiene el sistema de ecuaciones diferenciales ordinarias
T
AT = 0 (2.314)
X
CX = 0 (2.315)
Y
DY = 0 (2.316)
Z
EZ = 0 (2.317)
con A, B, C y D constantes ( complejas en el caso m as general ) que satisfacen
B = C + D + E y B = A/c
2
. Conociendo las condiciones de frontera e iniciales
podra resolverse el problema de propagaci on de ondas en esta geometra
rectangular.
Claramente, dado que la unica diferencia en la separaci on de variables entre la
ecuaci on de calor y la ecuaci on de onda est a en la ecuaci on para el tiempo, se
sigue que las mismas separaciones para las variables espaciales en coordenadas
cilndricas y esf ericas de la ecuaci on de calor aplican a la ecuaci on de onda en
tres dimensiones.
2.3 La Ecuaci on de Laplace
Consideremos la ecuaci on de Laplace en tres dimensiones
u = 0 (2.318)
con u = u
xx
+ u
yy
+ u
zz
el Laplaciano en coordenadas cartesianas. Puede
verse la correspondencia de este problema con la parte espacial de la ecuaci on
de onda (2.312) para el valor B = 0. La propuesta de separaci on de variables
u(x, y, z) = X(x)Y(y)Z(z) (2.319)
conduce al sistema de ecuaciones diferenciales ordinarias
X
AX = 0 (2.320)
Y
BY = 0 (2.321)
Z
CZ = 0 (2.322)
con A, B y C constantes ( complejas en el caso m as general ) que satisfacen
A + B + C = 0. Dadas las condiciones de frontera, puede resolverse el
problema de determinar el potencial u(x, y, z) en alguna regi on del espacio R
3
.
Nuevamente, dado que las ecuaciones de calor y de onda conducen a la
ecuaci on de Laplace, se sigue que las mismas separaciones para las variables
espaciales en coordenadas cilndricas y esf ericas de la ecuaci on de calor y de
onda aplican a la ecuaci on de Laplace en tres dimensiones.
2.4 La Ecuaci on de Schr odinger
La ecuaci on de Schr odinger para una partcula que se mueve en el espacio
tridimensional es
i h

t
(r, t) =

H(r, t) (2.323)
donde

H es el operador de energia total o Hamiltoniano
H =
p
2
2m
+ V(r, t) (2.324)
con p = i h el operador de momento. En general el Hamiltoniano es
funci on tanto del vector posici on r como del tiempo t, pero para potenciales
V independientes del tiempo se tiene

H(r). En tal caso la ecuaci on (2.323) se
escribe como
i h

t
(r, t) =

H(r)(r, t) (2.325)
Podemos utilizar la propuesta de separaci on de variables
(r, t) = u(r)T(t) (2.326)
Secci on 2.4. La Ecuaci on de Schr odinger 79
que al sustituir en (2.325), y luego dividir ambos lados por = uT, conduce a
la separaci on
i h
T
T
=
Hu
u
= E (2.327)
donde denotamos como E a la constante de separaci on anticipando que
corresponde a la energa total de la partcula. Este sistema puede escribirse
como
T
+
iE
h
T = 0 (2.328)
Hu Eu = 0 (2.329)
de donde se ve que la variaci on temporal de la funci on de onda es de la forma
T(t) = e
iE
h
t
(2.330)
y la variaci on espacial se encuentra resolviendo el problema de valores propios
para el operador Hamiltoniano
H(r)u(r) = Eu(r) (2.331)

llamada com unmente la ecuaci on de Schr odinger independiente del tiempo. Puede
verse que los operadores

H con sentido fsico son Hermitianos lo cual implica
que sus valores propios E son todos reales. El formalismo hasta este punto
aplica a (2.323)(2.324) para V = V(r).
Ahora, dado que la ecuaci on (2.331) s olo puede resolverse para potenciales
V(r) particulares, consideraremos un par de ejemplos, pero antes de esto
reescribamos (2.331) en una forma m as atractiva en el sentido operacional.
Utilizando el hecho que p = i h, de (2.324) se ve inmediatamente que
H =
h
2
2m

2
+ V(r) (2.332)
que al introducir en (2.331) conduce a
2
u(r) +
2m
h
2
[E V(r)] u(r) = 0 (2.333)
Veremos m as adelante que la funci on de onda (r, t) quedar a completamente
determinada cuando se imponga una condici on inicial, digamos a t = 0.
Ejemplo 1. Determine la funci on de onda de una partcula connada en una caja
unidimensional de longitud a > 0. Esto es, resuelva la ecuaci on de Schr odinger para
una partcula sujeta al potencial
V(x) =
_
0 si 0 x a
si x < 0, x > a
(2.334)
Solucion. Dado que el potencial no depende del tiempo, podemos aplicar la
separaci on reci en obtenida para la posici on r siendo x. Por lo tanto, la funci on
de onda de esta partcula ser a (x, t) = u(x)T(t) con
T(t) = e
iE
h
t
(2.335)
y u(x) satisfaciendo la ecuaci on
d
2
u
dx
2
+
2m
h
2
[E V(x)] u = 0 (2.336)
Para x < 0 y x > a la unica soluci on posible es u(x) 0 pues como
V(x) = ( y la partcula dentro de la caja tiene E nita ) si u no fuese
id enticamente cero, entonces su segunda derivada debera ser innita en todo
punto donde u(x) ,= 0 ( lo cual no es posible de las soluciones de la ecuaci on
de segundo orden con coecientes constantes ).
Ahora, para 0 x a se tiene V(x) = 0, de tal forma que la ecuaci on a
resolver es
d
2
u
dx
2
+
2mE
h
2
u = 0 (2.337)
Suponiendo soluciones continuas en < x < , se tienen las condiciones
u(0) = 0 (2.338)
u(a) = 0 (2.339)
La soluci on del problema (2.337)(2.339) es conocida ( la determinamos en la
Secci on 2.1.1 ). Se sigue que
2mE
h
2
=
n
2
2
a
2
(2.340)
u(x) = sen
_
n
a
x
_
(2.341)
para cada n = 1, 2, . . . Se tiene entonces que la energa E de la partcula
connada en la caja s olo puede tomar uno de los valores
E
n
=
n
2
2
h
2
2ma
2
, n = 1, 2, . . . (2.342)
( i.e. est a cuantizada! ) y que para cada una de estas n se tiene una funci on de
onda asociada
n
(x, t) = u
n
(x)T
n
(t)
= sen
_
n
a
x
_
e
iE
n
h
t
(2.343)
para 0 x a y
n
(x, t) 0 para x < 0 y x > a. Se requieren funciones de
onda normalizadas, i.e. tales que
_

[(x, t)[
2
dx = 1 (2.344)
as que buscamos un factor constante A que normalice las funciones
n
(x, t).
Esto es, A que satisfaga
1 =
_

[A
n
(x, t)[
2
dx
=
_

A
n
(x, t)A
n
(x, t)dx
= [A[
2
_

n
(x, t)
n
(x, t)dx
= [A[
2
_
a
0
sen
_
n
a
x
_
e
iE
n
h
t
sen
_
n
a
x
_
e
iE
n
h
t
dx
= [A[
2
_
a
0
sen
2
_
n
a
x
_
dx
= [A[
2
a
2
(2.345)
Se sigue que [A[
2
= 2/a. En general para A complejo se obtiene
A =
_
2
a
e
i
(2.346)
con una fase real arbitraria. Como la informaci on relevante de la funci on
de onda normalizada se encuentra en su m odulo cuadrado, es una costumbre
considerar = 2n de tal forma que los factores de normalizaci on se escogen
reales positivos. Con todo esto, para esta partcula connada en la caja
unidimensional se tienen las funciones de onda normalizadas
n
(x, t) =
_
2
a
sen
_
n
a
x
_
e
iE
n
h
t
(2.347)
para 0 x a y

n
(x, t) 0 para x < 0 y x > a. Aplicando el principio de
superposici on obtenemos la soluci on general
(x, t) =
n=
c
n

n
(x, t)
=
n=
c
n
_
2
a
sen
_
n
a
x
_
e
iE
n
h
t
(2.348)
con c
n
constantes arbitrarias. Notamos que el sumando con n = 0 no
contribuye y reescribimos la suma como
(x, t) =
n=1
b
n
_
2
a
sen
_
n
a
x
_
e
iE
n
h
t
(2.349)
con b
n
= c
n
c
n
coecientes complejos igualmente arbitrarios. Para jarlos
imponemos la condici on inicial
(x, 0) = f (x) (2.350)
con f una funci on normalizada en 0 x a ( que puede ser compleja ) y
f (x) 0 para x < 0 y x > a. Sustituyendo en (2.349) se obtiene
f (x) =
n=1
b
n
_
2
a
sen
_
n
a
x
_
(2.351)
de donde se sigue que
b
n
_
2
a
=
2
a
_
a
0
f (x) sen
_
n
a
x
_
dx (2.352)
y por lo tanto
b
n
=
_
a
0
f (x)
_
2
a
sen
_
n
a
x
_
dx (2.353)
De esta forma, la soluci on al problema de la partcula connada en la caja
unidimensional es
(x, t) =
n=1
b
n
_
2
a
sen
_
n
a
x
_
e
iE
n
h
t
(2.354)
para 0 x a y (x, t) 0 para x < 0 y x > a, con los coecientes b
n
dados por
b
n
=
_
a
0
f (x)
_
2
a
sen
_
n
a
x
_
dx (2.355)
y los valores de energa
E
n
=
n
2
2
h
2
2ma
2
, n = 1, 2, . . . (2.356)
Puede vericarse f acilmente que si la funci on de onda (2.354) est a normalizada,
entonces los coecientes b
n
satisfacen
n=1
[b
n
[
2
= 1 (2.357)
Ejemplo 2. Resuelva el problema del ejemplo anterior si la condici on inicial es
(x, 0) =
_
_
_
1
2c
si x
0
c x x
0
+ c
0 si x < x
0
c, x > x
0
+ c
(2.358)
con x
0
y c constantes positivas que satisfacen x
0
c > 0 y x
0
+ c < a.
Soluci on. S olo es necesario calcular los coecientes b
n
, pero antes de hacerlo
vale la pena vericar que la condici on inicial efectivamente est a normalizada.
Calculamos
_

[(x, 0)[
2
dx =
_

(x, 0)
(x, 0) dx
=
_
x
0
+c
x
0
c
1
2c
dx
=
1
2c
(2c)
= 1 (2.359)
que efectivamente indica que la condici on inicial est a normalizada. Ahora s,
introducimos f (x) = (x, 0) en (2.355) para obtener
b
n
=
_
a
0
(x, 0)
_
2
a
sen
_
n
a
x
_
dx
=
_
x
0
+c
x
0
c
1
2c
_
2
a
sen
_
n
a
x
_
dx
=
1
ac
_
x
0
+c
x
0
c
sen
_
n
a
x
_
dx
=
1
ac
_
a
n
_
cos
_
n
a
x
_
x
0
+c
x
0
c
=
_
a
c
1
n
_
cos
_
n
a
(x
0
c)
_
cos
_
n
a
(x
0
+ c)
_ _
=
_
a
c
2
n
sen
_
n
a
x
0
_
sen
_
n
a
c
_
(2.360)
Sustituy endolos en (2.354) produce
(x, t) =
_
2
c
2
n=1
1
n
sen
_
n
a
x
0
_
sen
_
n
a
c
_
sen
_
n
a
x
_
e
iE
n
h
t
(2.361)
para 0 x a y (x, t) 0 para x < 0 y x > a, con los valores de energa
E
n
=
n
2
2
h
2
2ma
2
, n = 1, 2, . . . (2.362)
Ejemplo 3. Determine la funci on de onda de una partcula connada en la caja
tridimensional [ 0, a ] [ 0, b ] [ 0, c ].
Solucion. Haciendo un an alisis similar al del Ejemplo 1 anterior se encuentra el
espectro de energa
E
nml
=

2
h
2
2m
_
n
2
a
2
+
m
2
b
2
+
l
2
c
2
_
(2.363)
para n, m, l = 1, 2, . . . y las funciones de onda normalizadas
nml
(r, t) =
_
8
abc
sen
_
n
a
x
_
sen
_
m
b
y
_
sen
_
l
c
z
_
e
iE
nml
h
t
(2.364)
Secci on 2.5. Ecuaci on de Segundo Orden Lineal 85
dentro de la caja y

nml
(r, t) 0 fuera de ella. Aplicando el principio de
superposici on e intercambiando las sumas sobre todos los enteros por sumas
sobre enteros positivos se tiene la soluci on general
(r, t) =
n=1
m=1
l=1
b
nml

nml
(r, t) (2.365)
con b
nml
constantes complejas arbitrarias. Para la condici on inicial
(r, 0) = f (r) (2.366)
con f normalizada dentro de la caja, se encuentran los coecientes
b
nml
=
_
a
0
dx
_
b
0
dy
_
c
0
dz f (r)

nml
(r, 0) (2.367)
que igualmente, si la funci on de onda (2.365) est a normalizada, satisfacen
n=1
m=1
l=1
[b
nml
[
2
= 1 (2.368)
De esta forma, la cantidad [b
nml
[
2
puede interpretarse como la probabilidad de
encontrar a la partcula en el estado

nml
con energa E
nml
.
2.5 Ecuaci on de Segundo Orden Lineal
Para nalizar este captulo queremos buscar condiciones fuertes que aseguren
separaci on de variables en la EDP de segundo orden lineal.
2.5.1 Forma General
Para el caso de dos variables se tiene
a u
xx
+ 2b u
xy
+ c u
yy
+ d u
x
+ e u
y
+ f u = g (2.369)
con a, b, c, d, e, f y g funciones de (x, y). Proponemos una soluci on de la
forma
u(x, y) = X(x)Y(y) (2.370)
que al sustituir en (2.369) conduce a
a X
Y + 2b X
+ c XY
+ d X
Y + e XY
+ f XY = g (2.371)
Al dividir esta por XY se obtiene
a
X
X
+ 2b
X
XY
+ c
Y
Y
+ d
X
X
+ e
Y
Y
+ f =
g
XY
(2.372)
Primeramente notamos que no puede haber separaci on a menos que las
funciones b y g sean id enticamente cero. En tal caso se tiene
a
X
X
+ c
Y
Y
+ d
X
X
+ e
Y
Y
+ f = 0 (2.373)
o escrita de otra forma
a
X
X
+ d
X
X
= c
Y
Y
e
Y
Y
f (2.374)
Esta ecuaci on estar a 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 ecuaci on (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.5.2 Coecientes Constantes
Para el caso de dos variables, la ecuaci on lineal
a u
xx
+ 2b u
xy
+ c u
yy
+ d u
x
+ e u
y
+ f u = g (2.375)
con a, b, c, d, e, f constantes arbitrarias y g funci on de (x, y), es la forma m as
general de ecuaci on no homog enea. Anteriormente vimos que puede escribirse
en la forma
_
T
Q + L + f
_
u = g (2.376)
donde Q =
_
a b
b c
_
es la matriz sim etrica asociada a la parte cuadr atica
( i.e. de segundo orden en las derivadas de u ) y L =
_
d e
_
es la matriz
rengl on asociada a la parte lineal ( i.e. de primer orden en las derivadas de u ).
Estamos empleando adem as =
_

x
y
_
con la notaci on usual de derivada
parcial,
x
= /x, y el superndice T denotando la matriz transpuesta; i.e.
T
=
_

x

y
_
.
Dado que la matriz Q es sim etrica de entradas constantes, siempre es posible
encontrar una matriz de rotaci on R ( de entradas constantes ) que la diagonalice.
Proponemos entonces el cambio de variables
= R (2.377)
con
=
_

_
.
4
Multiplicando esta ecuaci on por R
T
por la izquierda
( usando el hecho que R
T
R = I es la matriz identidad) se encuentra
= R
T
(2.378)
Considerando que R es de entradas constantes, podemos transponer esta
ecuaci on para obtener
T
=
T
R (2.379)
Sustituyendo directamente (2.378) y (2.379) en (2.376) conduce a
_
T
Q
+ L
+ f
_
U = G (2.380)
donde hemos denido Q
= RQR
T
, L
= L R
T
, f
= f , G(, ) =
g(x(, ), y(, )) y U(, ) = u(x(, ), y(, )). Bajo una rotaci on adecuada
se tendr a Q
=
_
a
0
0 c
_
y L
=
_
d
_
de tal forma que la ecuaci on
4
Utilizando la regla de la cadena puede verse que esta corresponde a la
transformaci on lineal
_

_
= R
_
x
y
_
con R una matriz ortogonal propia de 2 2.
(2.375) quedar a transformada en
a
+ c
+ d
+ e
+ f
U = G (2.381)
Del resultado de la secci on anterior podemos ver que esta ecuaci on ser a
separable siempre que sea homog enea ( i.e. para G 0 ). Se sigue entonces que
la ecuaci on (2.375) con g 0 puede resolverse aplicando la rotaci on adecuada
y luego usando separaci on de variables va U = X()Y() en (2.381)).
Ejemplo 1. Resuelva el problema
u
xx
2u
xt
+ u
tt
+ u
x
u
t
+ u = 0 (2.382)
u(0, t) = f (t) (2.383)
u(, t) = g(t) (2.384)
u(x, 0) = (x) (2.385)
u
t
(x, 0) = (x) (2.386)
denido para 0 < x < , t > 0.
Soluci on. Las matrices asociadas son
Q =
_
1 1
1 1
_
y L =
_
1 1
_
(2.387)
Por lo tanto este problema es parab olico. Se verica que una matriz de
rotaci on ( obtenida como la transpuesta de una matriz de vectores propios
normalizados; matriz de determinante igual a 1 ) que diagonaliza Q es
R =
1
2
_
1 1
1 1
_
(2.388)
Aplicando esta rotaci on se obtiene
Q
= RQR
T
=
_
2 0
0 0
_
(2.389)
L
= L R
T
=
_
2 0
_
(2.390)
De tal forma que la ecuaci on transformada es
2 U
2 U
+ U = 0 (2.391)
Utilizando
_

_
T
= R
_
x t
_
T
, puede verse que las condiciones iniciales
y de frontera se transforman respectivamente en
U(, ) = f (
2) (2.392)
U(,
2 ) = g(
2) (2.393)
U(, ) = (
2) (2.394)
U
(, ) U
(, ) =
2 (
2) (2.395)
donde U(, ) = u(x(, ), y(, )).
El hecho que s olo aparezcan derivadas parciales respecto a en la ecuaci on
(2.391) la hacen esencialmente ordinara. Buscando soluciones de la forma
U = e
(2.396)
se encuentra
= (
2/4) i(
6/4). Por lo tanto se tienen las soluciones

U
1
(, ) = A
1
()e
2
4

cos
_
6
4

_
(2.397)
U
2
(, ) = A
2
()e
2
4

sen
_
6
4

_
(2.398)
con A
1
y A
2
funciones arbitrarias. La soluci on general de (2.391) es entonces
U(, ) = A
1
()e
2
4

cos
_
6
4

_
+ A
2
()e
2
4

sen
_
6
4

_
(2.399)
Para determinar las funciones A
1
y A
2
utilizamos las condiciones (2.392)
(2.395). Calculamos primero las derivadas parciales
U
(, ) = A
1
()e
2
4

__
2
4
_
cos
_
6
4

_
6
4
_
sen
_
6
4

__
+ A
2
()e
2
4

__
2
4
_
sen
_
6
4

_
+
_
6
4
_
cos
_
6
4

__
(2.400)
U
(, ) = A
1
()e
2
4

cos
_
6
4

_
+ A
2
()e
2
4

sen
_
6
4

_
(2.401)
y las evaluamos en = para obtener
U
(, ) U
(, ) = A
1
()e
2
4

cos
_
6
4

_
+ A
2
()e
2
4

sen
_
6
4

_
A
1
()e
2
4

__
2
4
_
cos
_
6
4

_
6
4
_
sen
_
6
4

__
A
2
()e
2
4

__
2
4
_
sen
_
6
4

_
+
_
6
4
_
cos
_
6
4

__
=
_
A
1
() +
_
2
4
_
A
1
()
_
6
4
_
A
2
()
_
e
2
4

cos
_
6
4

_
+
_
A
2
() +
_
2
4
_
A
2
() +
_
6
4
_
A
1
()
_
e
2
4

sen
_
6
4

_
(2.402)
Ahora s, evaluamos U de (2.399) y U
, y aplicamos las condiciones

(2.392)(2.395) para encontrar
A
1
()e
2
4

cos
_
6
4

_
+ A
2
()e
2
4

sen
_
6
4

_
= f (
2)
A
1
(
2 )e
2
4

cos
_
6
4

_
+ A
2
(
2 )e
2
4

sen
_
6
4

_
= g(
2)
A
1
()e
2
4

cos
_
6
4

_
+ A
2
()e
2
4

sen
_
6
4

_
= (
2)
_
A
1
() +
_
2
4
_
A
1
()
_
6
4
_
A
2
()
_
e
2
4

cos
_
6
4

_
+
_
A
2
() +
_
2
4
_
A
2
() +
_
6
4
_
A
1
()
_
e
2
4

sen
_
6
4

_
=
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
multiplic andola por e
2
2
4

, se obtiene el sistema reducido
A
1
()e
2
4

cos
_
6
4

_
A
2
()e
2
4

sen
_
6
4

_
= e
2
2

f (
2)
A
1
()e
2
4

cos
_
6
4

_
+ A
2
()e
2
4

sen
_
6
4

_
= (
2)
Su soluci on se encuentra por simple suma ( y resta ) de las ecuaciones:
A
1
() =
1
2
e
2
4

sec
_
6
4

_
_
(
2) + e
2
2

f (
2)
_
(2.403)
A
2
() =
1
2
e
2
4

csc
_
6
4

_
_
(
2) e
2
2

f (
2)
_
(2.404)
lo cual hace evidente que debe haber relaciones entre las funciones f , g, ,
para que haya consistencia.
Al intercambiar en estas e introducirlas en (2.399) se tiene nalmente
U(, ) =
1
2
e
2
4

sec
_
6
4

_
_
(
2) + e
2
2

f (
2)
_
e
2
4

cos
_
6
4

_
+
1
2
e
2
4

csc
_
6
4

_
_
(
2) e
2
2

f (
2)
_
e
2
4

sen
_
6
4

_
=
1
2
e
2
4
()
cos
_
6
4

_
sec
_
6
4

_
_
(
2) + e
2
2

f (
2)
_
+
1
2
e
2
4
()
sen
_
6
4

_
csc
_
6
4

_
_
(
2) e
2
2

f (
2)
_
(2.405)
Por ultimo, se regresa a las variables originales utilizando
_

_
=
1
2
_
1 1
1 1
__
x
t
_
=
_
1
2
(x t)
1
2
(x + t)
_
(2.406)
Considerando que U((x, t), (x, t)) = u(x, t) se tiene la soluci on
u(x, t) =
1
2
e
1
2
t
cos
_
3
4
(x t)
_
sec
_
3
4
(x + t)
_
_
(x + t) + e
1
2
(x+t)
f (x + t)
_
+
1
2
e
1
2
t
sen
_
3
4
(x t)
_
csc
_
3
4
(x + t)
_
_
(x + t) e
1
2
(x+t)
f (x + t)
_
(2.407)
la cual puede vericarse que satisface (2.383) y (2.385).
Ejercicio 1. Resuelva el problema
u
xx
2u
xt
u
tt
+ u
x
u
t
+ u = 0 (2.408)
u(0, t) = f (t) (2.409)
u(, t) = g(t) (2.410)
u(x, 0) = (x) (2.411)
u
t
(x, 0) = (x) (2.412)
Ejercicio 2. Resuelva el problema
2u
xx
2u
xt
+ u
tt
+ u
x
u
t
+ u = 0 (2.413)
u(0, t) = f (t) (2.414)
u(, t) = g(t) (2.415)
u(x, 0) = (x) (2.416)
u
t
(x, 0) = (x) (2.417)
Captulo 3
M etodo de Cambio de
Variables
M as que un m etodo para resolver EDP, la t ecnica de cambio de variables es un
recurso muy util tanto para simplicar 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
ecuaci on de onda unidimensional y se muestra que puede resolverse de forma
general utilizando una transformaci on lineal de sus variables independientes.
Considerando las condiciones iniciales m as generales, en el mismo problema,
se encuentra la soluci on particular conocida como f ormula de DAlembert. M as
a un, se muestra como, imponiendo distintas condiciones de frontera en la
cuerda nita, se encuentran soluciones en series puramente a partir de la
f ormula de DAlembert sin recurrir al m etodo de separaci on de variables. En
un tratamiento an alogo, se emplea una transformaci on lineal de las variables
independientes en la ecuaci on de Laplace bidimensional para encontrar su
soluci on general. Como ejemplos de problemas que se reducen a otros
conocidos mediante el uso de cambios de variables no lineales, se considera
la propagaci on de ondas esf ericas y el problema de la difusi on con reacci on
95
96 Captulo 3. M etodo de Cambio de Variables
qumica lineal. Para nalizar se muestra como reducir la EDP de segundo
orden lineal con coecientes constantes a ecuaciones no homog eneas tipo
Helmholtz o de difusi on.
3.1 La Ecuaci on de Onda
3.1.1 Cuerda Vibrante Innita
Consideremos la ecuaci on de onda en una dimensi on
u
tt
= c
2
u
xx
(3.1)
denida para < x < y t > 0.
Este problema describe la propagaci on de ondas transversales a lo largo de una
lnea, la cual hacemos coincidir con el eje x. En este contexto u(x, t) representa
la desviaci on del eje x de la cuerda ( i.e. su altura ) en el punto x al tiempo t.
La constante c, como se ver a m as adelante, es la magnitud de la velocidad de
propagaci on de las ondas sobre la lnea.
Para resolver esta ecuaci on proponemos llevar a cabo un cambio de variables
independientes
= (x, t) (3.2)
= (x, t) (3.3)
Introduci endolo en u(x, t) se obtiene u((x, t), (x, t)). Derivando u respecto
a x y a t, usando la regla de la cadena, se encuentra
u
x
= u
x
+ u
x
(3.4)
u
t
= u
t
+ u
t
(3.5)
Derivando nuevamente se tiene
u
xx
= u
x
x
+ u
xx
+ u
x
x
+ u
xx
(3.6)
u
tt
= u
t
t
+ u
tt
+ u
t
t
+ u
tt
(3.7)
Secci on 3.1. La Ecuaci on de Onda 97
en donde las derivadas mixtas u
x
, u
x
, u
t
y u
t
deben calcularse usando la
regla de la cadena ya que u
y u
son funciones de ((x, t), (x, t)). Se obtiene

u
x
= u
x
+ u
x
(3.8)
u
x
= u
x
+ u
x
(3.9)
u
t
= u
t
+ u
t
(3.10)
u
t
= u
t
+ u
t
(3.11)
La introducci on 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
2
x
+ u
x
+ u
xx
+ u
x
+ u
2
x
+ u
xx
= u
2
x
+ 2u
x
+ u
2
x
+ u
xx
+ u
xx
(3.12)
donde hemos supuesto u de clase C
2
. An alogamente, introduciendo (3.10) y
(3.11) en (3.7) conduce a
u
tt
=
_
u
t
+ u
t
_
t
+ u
tt
+
_
u
t
+ u
t
_
t
+ u
tt
= u
2
t
+ u
t
+ u
tt
+ u
t
+ u
2
t
+ u
tt
= u
2
t
+ 2u
t
+ u
2
t
+ u
tt
+ u
tt
(3.13)
Vemos que, en particular, para una transformaci on lineal de la forma
= Ax + Bt (3.14)
= Cx + Dt (3.15)
con A, B, C y D constantes, se tiene
x
= A (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
= A
2
u
+ 2AC u
+ C
2
u
(3.21)
u
tt
= B
2
u
+ 2BD u
+ D
2
u
(3.22)
Al sustituir estas en la ecuaci on de onda, u
tt
c
2
u
xx
= 0, se encuentra
_
B
2
c
2
A
2
_
u
+ 2
_
BD c
2
AC
_
u
+
_
D
2
c
2
C
2
_
u
= 0 (3.23)
Notamos que una transformaci on util es la que anula dos de los tres t erminos;
de lo contrario convierte el problema en otro del mismo o mayor grado de
dicultad. Analizando los sistemas de tres ecuaciones algebraicas asociados
a los coecientes de u
, u
y u
en (3.23) se concluye que las unicas

transformaciones no singulares que anulan los dos primeros ( y an alogamente
los dos ultimos ) t erminos, en realidad anulan los tres t erminos ( con lo cual
convierten la ecuaci on en la identidad 0 0 ). Por otra parte, la transformaci on
que anula el primer y tercer t erminos debe satisfacer B = cA y D = c C, de
donde se sigue que va a ser no singular s olo si B = cA y D = c C o B = cA
y D = c C, con A, C ,= 0. Escogemos la segunda; esto es
= A(x ct) (3.24)
= C(x + ct) (3.25)
4c
2
AC u
= 0 (3.26)
o bien, notando que 4c
2
AC ,= 0, se tiene
u
= 0 (3.27)
Integr andola parcialmente respecto a se encuentra
u
=

f () (3.28)
con

f una funci on escalar arbitraria. Ahora integrando esta parcialmente
respecto a da
u(, ) =
_

f () d +

G() (3.29)
donde

G es otra funci on escalar arbitraria. Por lo tanto, la soluci on general es
u(, ) =

F() +

G() (3.30)
donde

F y

G son funciones escalares arbitrarias. En t erminos de las variables
originales la soluci on es
u(x, t) = F(x ct) + G(x + ct) (3.31)
con F y G funciones escalares arbitrarias. La interpretaci on fsica de la
soluci on es interesante: F(x ct) representa una onda de forma F(x) que
se mueve a la derecha con velocidad c, sin sufrir cambios. An alogamente,
G(x + ct) representa una onda de forma G(x) que se mueve a la izquierda
con velocidad c, e igualmente sin presentar cambios.
Para concluir vale la pena observar que la transformaci on lineal que permiti o
resolver este problema, dada por las ecuaciones (3.24) y (3.25), depende de los
par ametros no nulos A y C. Si A = C la dependencia es s olo de uno, pero si
A ,= C la dependencia es de dos. Si denotamos k
1
= A,
1
= cA, k
2
= C y
2
= c C, entonces la transformaci on lineal (3.24)(3.25) se escribe como
= k
1
x
1
t (3.32)
= k
2
x +
2
t (3.33)
donde suponemos k
1
,
1
, k
2
,
2
> 0. En t erminos de estas variables, la
soluci on general de la ecuaci on de onda unidimensional es
u(x, t) = F(k
1
x
1
t) + G(k
2
x +
2
t) (3.34)
con F y G funciones escalares arbitrarias. Los nuevos par ametros son
llamados n umero de onda ( k ) y frecuencia angular ( ), y su relaci on ( = c k ) es
llamada relaci on de dispersi on para las ondas descritas por la ecuaci on (3.1).
3.1.2 Cuerda Vibrante Innita con Condiciones Iniciales
El problema a resolver es
u
tt
= c
2
u
xx
(3.35)
u(x, 0) = (x) (3.36)
u
t
(x, 0) = (x) (3.37)
denido para < x < y t > 0.
Dado que ya tenemos la soluci on general, el problema se reduce a imponer las
condiciones iniciales (3.36)(3.37) en ella. Por simplicidad escogemos la forma
(3.31), esto es
u(x, t) = F(x ct) + G(x + ct) (3.38)
de donde se obtiene
u
t
(x, t) = cF
(x ct) + cG
(x + ct) (3.39)
Ahora evaluamos (3.38) y (3.39) en t = 0 y utilizamos las condiciones (3.36)
(3.37) para obtener el sistema de ecuaciones
(x) = u(x, 0) = F(x) + G(x) (3.40)
(x) = u
t
(x, 0) = cF
(x) + cG
(x) (3.41)
Integrando esta ultima, utilizando el teorema fundamental del c alculo, se tiene
(x) = F(x) + G(x) (3.42)
1
c
_
x
0
(s)ds + A = F(x) + G(x) (3.43)
con A una constante arbitraria. La soluci on de este sistema lineal se encuentra
por simple resta y suma de las ecuaciones:
F(x) =
1
2
_
(x)
1
c
_
x
0
(s)ds A
_
(3.44)
G(x) =
1
2
_
(x) +
1
c
_
x
0
(s)ds + A
_
(3.45)
la cual, a su vez, puede reescribirse como
F(x) =
1
2
(x)
1
2c
_
x
0
(s)ds
1
2
A (3.46)
G(x) =
1
2
(x) +
1
2c
_
x
0
(s)ds +
1
2
A (3.47)
Introduci endolas en la soluci on general (3.38), se encuentra
u(x, t) = F(x ct) + G(x + ct)
=
1
2
(x ct) +
1
2
(x + ct)
1
2c
_
xct
0
(s)ds +
1
2c
_
x+ct
0
(s)ds
=
1
2
(x ct) +
1
2
(x + ct) +
1
2c
_
0
xct
(s)ds +
1
2c
_
x+ct
0
(s)ds
=
1
2
(x ct) +
1
2
(x + ct) +
1
2c
_
x+ct
xct
(s)ds (3.48)
Esto es,
u(x, t) =
1
2
(x ct) +
1
2
(x + ct) +
1
2c
_
x+ct
xct
(s)ds (3.49)
conocida como la f ormula de DAlembert, es la soluci on al problema de Cauchy
(3.35)(3.37).
Ejercicio 1. Resuelva el problema de las vibraciones de la cuerda innita (3.35)(3.37)
para las condiciones iniciales dadas por
(i) (x) = (x), (x) 0
(ii) (x) 0, (x) = (x)
(iii) (x) = (x), (x) = (x)
e interprete geom etricamente sus resultados.
3.1.3 Cuerda Vibrante Finita con Extremos Fijos
El problema para la cuerda vibrante de longitud , ja en los extremos, y
condiciones iniciales prescritas es
u
tt
= c
2
u
xx
(3.50)
u(0, t) = 0 (3.51)
u(, t) = 0 (3.52)
u(x, 0) = (x) (3.53)
u
t
(x, 0) = (x) (3.54)
denido para 0 < x < y t > 0. En particular y s olo est an denidas
para x (0, ).
Este problema puede resolverse por separaci on de variables, pero en esta
secci on queremos hacer uso de la f ormula de DAlembert. Dado que esta
soluci on est a denida para < x < , podemos considerar el problema
alternativo
u
tt
= c
2
u
xx
(3.55)
u(0, t) = 0 (3.56)
u(, t) = 0 (3.57)
u(x, 0) =
ext
(x) (3.58)
u
t
(x, 0) =
ext
(x) (3.59)
denido para < x < y t > 0, con
ext
y
ext
funciones id enticas a
y respectivamente para toda x (0, ); y a un por ser determinadas fuera de
ese intervalo. La soluci on de (3.55), (3.58) y (3.59) est a dada por la f ormula de
DAlembert
u(x, t) =
1
2

ext
(x ct) +
1
2

ext
(x + ct) +
1
2c
_
x+ct
xct
ext
(s)ds (3.60)
Al introducir las condiciones de frontera (3.56) y (3.57) en esta se obtiene el
sistema
0 = u(0, t) =
1
2

ext
(ct) +
1
2

ext
(ct) +
1
2c
_
ct
ct
ext
(s)ds (3.61)
0 = u(, t) =
1
2

ext
( ct) +
1
2

ext
( + ct) +
1
2c
_
+ct
ct
ext
(s)ds (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 tambi en respecto a x = . Esto es, que satisfagan
ext
(x) =
ext
(x) (3.63)
ext
(x) =
ext
(x) (3.64)
ext
( x) =
ext
( + x) (3.65)
ext
( x) =
ext
( + x) (3.66)
para toda x (, ). En particular, estas condiciones implican que
ext
(0) =
ext
(0) = 0 y que
ext
() =
ext
() = 0. Se sigue entonces que una manera
general de satisfacer las condiciones (3.61)(3.62) es utilizar
ext
(x) =
_
_
(x) si 0 < x <
(x) si < x < 0
0 si x = 0, x =
(3.67)
ext
(x) =
_
_
(x) si 0 < x <
(x) si < x < 0
0 si x = 0, x =
(3.68)
y adem as
ext
y
ext
peri odicas de periodo 2 para toda x. Debido a que estas
funciones son impares, el teorema de Fourier garantiza que tanto
ext
(x) como
ext
(x) tienen desarrollos en serie de senos de la forma
1
ext
(x) =
n=1
b
n
sen
_
n
x
_
(3.69)
ext
(x) =
n=1
n
sen
_
n
x
_
(3.70)
con los coecientes dados por las f ormulas de Euler-Fourier
b
n
=
2
_

0
ext
(x) sen
_
n
x
_
dx (3.71)
n
=
2
_

0
ext
(x) sen
_
n
x
_
dx (3.72)
para cada n = 1, 2, . . . Queremos introducir (3.69)(3.70) en la soluci on (3.60);
lo cual nos conduce a calcular
ext
(x ct) +
ext
(x + ct) =
n=1
b
n
sen
_
n
(x ct)
_
+
n=1
b
n
sen
_
n
(x + ct)
_
=
n=1
b
n
_
sen
_
n
(x ct)
_
+ sen
_
n
(x + ct)
__
=
n=1
b
n
2 sen
_
n
x
_
cos
_
n
ct
_
(3.73)
1
Para asegurar la existencia de tales desarrollos s olo es necesario que las funciones
originales y sean seccionalmente continuas en [ 0, ].
donde en la ultima igualdad hemos utilizado la identidad trigonom etrica
sen(A B) + sen(A + B) = 2 senA cosB (3.74)
y tambi en hace necesario calcular la integral
2
_
x+ct
xct
ext
(s)ds =
_
x+ct
xct
n=1
n
sen
_
n
s
_
ds
=
n=1
n
_
x+ct
xct
sen
_
n
s
_
ds
=
n=1
n
_
n
_
cos
_
n
s
_
s=x+ct
s=xct
=
n=1
n
_

n
_
_
cos
_
n
(x ct)
_
cos
_
n
(x + ct)
__
=
n=1
n
_

n
_
2 sen
_
n
x
_
sen
_
n
ct
_
(3.75)
donde al nal simplicamos con la identidad trigonom etrica
cos(A B) cos(A + B) = 2 senA senB (3.76)
Ahora s, sustituimos (3.73) y (3.75) en la f ormula de DAlembert (3.60) para
obtener
u(x, t) =
1
2

ext
(x ct) +
1
2

ext
(x + ct) +
1
2c
_
x+ct
xct
ext
(s)ds
=
n=1
b
n
sen
_
n
x
_
cos
_
n
ct
_
+
n=1
n
_

nc
_
sen
_
n
x
_
sen
_
n
ct
_
=
n=1
sen
_
n
x
_
_
b
n
cos
_
n
ct
_
+
n
_

nc
_
sen
_
n
ct
_
_
(3.77)
n
y
n
dados en (3.71) y (3.72). Notamos que esta soluci on
es v alida para < x < y t > 0, pero que esa informaci on est a contenida
unicamente en los coecientes b
n
y
n
debido a que contienen explcitamente a
2
El intercambio de la integral con la suma innita en la segunda lnea se justica
siempre que la funci on sea seccionalmente continua en [ 0, ].
ext
(x) y
ext
(x) respectivamente. Sin embargo, dado que estas funciones son
id enticas a (x) y (x) en el intervalo (0, ) y que los coecientes pueden
calcularse sobre este intervalo, se concluye que la expresi on (3.77) resuelve el
problema original. Esto es, la soluci on al problema (3.50)(3.54) denido para
0 < x < y t > 0 es
u(x, t) =
n=1
sen
_
n
x
_
_
b
n
cos
_
n
ct
_
+
n
_

nc
_
sen
_
n
ct
_
_
(3.78)
con
b
n
=
2
_

0
(x) sen
_
n
x
_
dx (3.79)
n
=
2
_

0
(x) sen
_
n
x
_
dx (3.80)
para cada n = 1, 2, . . .
Ejercicio 1. Resuelva el problema de las vibraciones de una cuerda de longitud ja
en los extremos, (3.50)(3.54), para las condiciones iniciales
(x) =
_
_
b
a
(x x
0
) + b si x
0
a x < x
0
b
a
(x x
0
) + b si x
0
x < x
0
+ a
0 en otro caso
con x
0
(a, a), 0 < 2a < , b > 0, y (x) 0.
Ejercicio 2. Resuelva el problema de las vibraciones de una cuerda de longitud
ja en los extremos, (3.50)(3.54), utilizando el m etodo de separaci on de variables y
verique la soluci on (3.78)(3.80).
3.1.4 Cuerda Vibrante Finita con Extremos Libres
El problema para la cuerda vibrante de longitud con los extremos libres y
condiciones iniciales prescritas es
u
tt
= c
2
u
xx
(3.81)
u
x
(0, t) = 0 (3.82)
u
x
(, t) = 0 (3.83)
u(x, 0) = (x) (3.84)
u
t
(x, 0) = (x) (3.85)
Puede encontrarse su soluci on ya sea por separaci on de variables o utilizando
la f ormula de DAlembert de forma an aloga al tratamiento de la secci on
anterior. Siguiendo cualquiera de estos caminos se encuentra
u(x, t) =
a
0
2
+

0
2
t +
n=1
cos
_
n
x
_
_
a
n
cos
_
n
ct
_
+
n
_

nc
_
sen
_
n
ct
_
_
(3.86)
con
a
n
=
2
_

0
(x) cos
_
n
x
_
dx (3.87)
n
=
2
_

0
(x) cos
_
n
x
_
dx (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 m etodo de separaci on de variables y
verique la soluci on (3.86)(3.88).
3.1.5 Cuerda Vibrante Finita con un Extremo Fijo y otro Libre
El problema para la cuerda vibrante de longitud con el extremo x = 0 jo y
el extremo x = libre, y condiciones iniciales prescritas es
u
tt
= c
2
u
xx
(3.89)
u(0, t) = 0 (3.90)
u
x
(, t) = 0 (3.91)
u(x, 0) = (x) (3.92)
u
t
(x, 0) = (x) (3.93)
Su soluci on puede encontrarse ya sea por separaci on de variables o utilizando
la f ormula de DAlembert de forma an aloga al tratamiento de las secciones
anteriores. Siguiendo cualquiera de estos caminos se llega a
u(x, t) =
n=1
sen
_
(2n 1)
2
x
_
_
b
2n1
cos
_
(2n 1)
2
ct
_
+
2n1
_
2
(2n 1)c
_
sen
_
(2n 1)
2
ct
__
(3.94)
con
b
2n1
=
2
_

0
(x) sen
_
(2n 1)
2
x
_
dx (3.95)
2n1
=
2
_

0
(x) sen
_
(2n 1)
2
x
_
dx (3.96)
para cada n = 1, 2, . . .
Ejercicio 1. Resuelva el problema de las vibraciones de una cuerda de longitud con
un extremo jo y el otro libre, (3.89)(3.93), utilizando el m etodo de separaci on de
variables y verique la soluci on (3.94)(3.96).
3.2 La Ecuaci on de Laplace
3.2.1 Soluci on General
Consideremos la ecuaci on de Laplace bidimensional
u
xx
+ u
yy
= 0 (3.97)
denida para < x < , < y < .
Esta es la ecuaci on que obedece el potencial electrost atico ( o gravitacional )
u(x, y) en todo el plano x-y. Podemos encontrar su soluci on general llevando
a cabo un cambio de variables dado por la transformaci on lineal
= Ax + By (3.98)
= Cx + Dy (3.99)
con A, B, C y D constantes a nuestra disposici on. Introduci endolo en u(x, y)
se obtiene u((x, y), (x, y)). Derivando u respecto a x y a y, usando la regla
de la cadena, se encuentra
u
x
= Au
+ Cu
(3.100)
u
y
= Bu
+ Du
(3.101)
Derivando nuevamente se obtiene
u
xx
= A
_
Au
+ Cu
_
+ C
_
Au
+ Cu
_
= A
2
u
+ 2AC u
+ C
2
u
(3.102)
u
yy
= B
_
Bu
+ Du
_
+ D
_
Bu
+ Du
_
= B
2
u
+ 2BD u
+ D
2
u
(3.103)
donde hemos supuesto u de clase C
2
. Al introducirlas en la ecuaci on de
Laplace, u
xx
+ u
yy
= 0, se encuentra
_
A
2
+ B
2
_
u
+ 2 (AC + BD) u
+
_
C
2
+ D
2
_
u
= 0 (3.104)
Notamos que una transformaci on util es la que anula dos de los tres t erminos;
de lo contrario convierte el problema en otro del mismo o mayor grado de
Secci on 3.2. La Ecuaci on de Laplace 109
dicultad. Analizando los sistemas de tres ecuaciones algebraicas asociados
a los coecientes de u
, u
y u
en (3.23) se concluye que las unicas

transformaciones no singulares que anulan los dos primeros ( y an alogamente
los dos ultimos ) t erminos, en realidad anulan los tres t erminos ( con lo cual
convierten la ecuaci on en la identidad 0 0 ). Por otra parte, la transformaci on
que anula el primer y tercer t erminos debe satisfacer B = iA y D = i C, de
donde se sigue que va a ser no singular s olo si B = iA y D = i C o B = iA
y D = i C, con A, C ,= 0. Escogemos la primera; esto es
= A(x + iy) (3.105)
= C(x iy) (3.106)
4AC u
= 0 (3.107)
o bien, notando que 4AC ,= 0, se tiene
u
= 0 (3.108)
Integr andola parcialmente respecto a se encuentra
u
=

f () (3.109)
con

f una funci on escalar arbitraria. Ahora integrando esta parcialmente
respecto a da
u(, ) =
_

f () d +

G() (3.110)
donde

G es otra funci on escalar arbitraria. Por lo tanto, la soluci on general es
u(, ) =

F() +

G() (3.111)
donde

F y

G son funciones escalares arbitrarias. En t erminos de las variables
originales la soluci on es
u(x, y) = F(x + iy) + G(x iy) (3.112)
con F y G funciones escalares arbitrarias. La interpretaci on matem atica de la
soluci on es interesante: F(x + iy) es una funci on escalar arbitraria de clase
C
2
de la variable compleja z = x + iy. An alogamente, G(x iy) es una
funci on escalar arbitraria de clase C
2
de la variable compleja conjugada de
z, z = x iy.
N otese que el hecho de que las variables orginales sean = A(x + iy) y
= C(x iy), con A y C reales, no cambia cualitativamente el resultado:
la soluci on general de la ecuaci on de Laplace bidimensional es la suma de funciones
escalares arbitarias de las variables complejas z = x +iy y z = x iy respectivamente.
Ejercicio 1. Muestre que la funci on u(x, y) dada en (3.112) es soluci on de la ecuaci on
de Laplace bidimensional (3.97) para cualesquiera funciones escalares F y G de clase
C
2
.
3.3 Ondas Esf ericas
Consid erese la ecuaci on de onda tridimensional
u
tt
= c
2
u (3.113)
y sup ongase que la soluci on tiene simetra esf erica. Es decir, u = u(r, t), de tal
forma que el Laplaciano escrito en coordenadas esf ericas s olo contiene la parte
radial
u =
1
r
2
r
_
r
2
u
r
_
(3.114)
En este caso puede escribirse el problema de valores iniciales ( problema de
Cauchy) para la ecuaci on de onda con simetra esf erica
u
tt
= c
2
_
u
rr
+
2
r
u
r
_
(3.115)
u(r, 0) = (r) (3.116)
u
t
(r, 0) = (r) (3.117)
para 0 < r < , t > 0. Formalmente este es esencialmente un problema
unidimensional, similar a la cuerda vibrante pero con un t ermino extra en la
primera derivada, u
r
. Para resolverlo, lo reducimos a un problema de Cauchy
para la ecuaci on de onda unidimensional. Esto lo logramos llevando a cabo el
Secci on 3.3. Ondas Esf ericas 111
cambio de variable
u(r, t) =
1
r
w(r, t) (3.118)
Calculamos u
tt
, u
r
y u
rr
. Notando que r y t son variables independientes, se
tiene
u
tt
=
1
r
w
tt
(3.119)
u
r
=
1
r
2
w +
1
r
w
r
(3.120)
u
rr
=
2
r
3
w
2
r
2
w
r
+
1
r
w
rr
(3.121)
que al introducir en (3.115) conducen directamente a la ecuaci on
w
tt
= c
2
w
rr
(3.122)
Luego, al evaluar las condiciones iniciales (3.116)(3.117) para la u dada en
(3.118) se encuentran las condiciones
w(r, 0) = r (r) (3.123)
w
t
(r, 0) = r (r) (3.124)
En conclusi on, el cambio de variable (3.118) transforma el problema original
(3.115)(3.117) en
w
tt
= c
2
w
rr
(3.125)
w(r, 0) = r (r) (3.126)
w
t
(r, 0) = r (r) (3.127)
es decir, en un problema de Cauchy para la ecuaci on de la cuerda vibrante
pero para la funci on w = w(r, t). Podemos utilizar entonces la f ormula de
DAlembert para escribir su soluci on
w(r, t) =
1
2
(r ct) (r ct) +
1
2
(r + ct) (r + ct) +
1
2c
_
r+ct
rct
s (s) ds (3.128)
y nalmente utilizar (3.118) para obtener la soluci on al problema original
u(r, t) =
1
2r
(r ct) (r ct) +
1
2r
(r + ct) (r + ct) +
1
2cr
_
r+ct
rct
s (s) ds
=
1
2
_
1
ct
r
_
(r ct) +
1
2
_
1 +
ct
r
_
(r + ct) +
1
2cr
_
r+ct
rct
s (s) ds
(3.129)
N otese que, a diferencia de la cuerda vibrante donde las ondas que viajan a la
derecha e izquierda preservan la mitad de la amplitud original, en las ondas
esf ericas se aten ua la amplitud de la onda entrante ( al origen) y se amplica la
amplitud de la onda saliente ( del origen).
Ejercicio 1. Resuelva el problema de propagaci on de ondas esf ericas (3.115)(3.117)
para las condiciones iniciales dadas por
(i) (r) = (r), (r) 0
(ii) (r) 0, (r) = (r)
(iii) (r) = (r), (r) = (r)
e interprete geom etricamente sus resultados.
3.4 Ecuaci on de Difusi on con Reacci on Lineal
El problema de valores iniciales de inter es es en este caso
au
xx
bu
t
+ cu = 0 (3.130)
u(x, 0) = f (x) (3.131)
para < x < , t > 0, con a, b, c R y f una funci on dada.
Lo resolvemos utilizando un cambio de variable que transforma (3.130) en la
ecuaci on de calor. Notamos que un cambio adecuado es de la forma
u(x, t) = e
At
w(x, t) (3.132)
Secci on 3.5. Ecuaci on Lineal con Coecientes Constantes 113
con A una constante por determinar. Calculamos u
xx
y u
t
. Notando que x y
t son variables independientes, se tiene
u
xx
= e
At
w
xx
(3.133)
u
t
= e
At
(Aw + w
t
) (3.134)
que al introducir en (3.130) conduce a la ecuaci on
aw
xx
bw
t
+ (c bA)w = 0 (3.135)
Eligiendo A = c/b, suponiendo que b ,= 0, se tiene la ecuaci on para w
aw
xx
bw
t
= 0 (3.136)
luego, de (3.132) se sigue que u(x, 0) = w(x, 0), con lo cual se obtiene el
problema transformado
w
t
=
a
b
w
xx
(3.137)
w(x, 0) = f (x) (3.138)
la soluci on de este, como se ver a en un captulo posterior, para a/b =
2
> 0
es
w(x, t) =
1
4
2
t
_

(xs)
2
4
2
t
f (s)ds (3.139)
Finalmente, se obtiene la soluci on utilizando u(x, t) = e
At
w(x, t) con A =
c/b. Esto es
u(x, t) =
_
b
4at
e
c
b
t
_

b(xs)
2
4at
f (s)ds (3.140)
Observe que dependiendo de si c/b < 0 o c/b > 0 el factor exponencial
e
c
b
t
respectivamente aten ua o amplica la temperatura u(x, t) a medida que
avanza el tiempo.
3.5 Ecuaci on Lineal con Coecientes Constantes
Hemos visto que la ecuaci on lineal
a u
xx
+ 2b u
xy
+ c u
yy
+ d u
x
+ e u
y
+ f u = g (3.141)
con a, b, c, d, e, f constantes arbitrarias y g funci on de (x, y), se escribe en
forma matricial como
_
T
Q + L + f
_
u = g (3.142)
donde Q =
_
a b
b c
_
, L =
_
d e
_
y =
_

x
y
_
, con el superndice T
denotando la matriz transpuesta; i.e.
T
=
_

x

y
_
.
Aplicando una transformaci on lineal
_

_
= R
_
x
y
_
(3.143)
con R una matriz de rotaci on ( i.e. ortogonal propia ) que diagonaliza Q, se
obtiene
_
T
Q
+ L
+ f
_
U = G (3.144)
donde Q
= RQR
T
=
_
a
0
0 c
_
, L
= L R
T
=
_
d
_
,
=
_

_
,
f
= f , G(, ) = g(x(, ), y(, )) y U(, ) = u(x(, ), y(, )). Es decir,

bajo esta rotaci on, la ecuaci on (3.141) se transforma en
a
+ c
+ d
+ e
+ f
U = G (3.145)
la cual puede simplicarse m as mediante un nuevo cambio de variable. En los
casos elptico e hiperb olico ( i.e. para a
,= 0 y c
,= 0 ) el cambio de variable es
de la forma
U(, ) = e
A+B
V(, ) (3.146)
con A y B constantes por determinar. Para A = d
/(2a
) y B = e
/(2c
)
la ecuaci on (3.145) se transforma en
a
+ c
+
_
f
d
2
4a

e
2
4c
_
V = e
d
2a
+
e
2c

G (3.147)
que en el caso a
= c
corresponde a la ecuaci on de Helmholtz ( no homog enea )

o bien para a
,= c
es una generalizaci on de esta.

Secci on 3.5. Ecuaci on Lineal con Coecientes Constantes 115
Por otra parte, en el caso parab olico ( por ejemplo, para a
,= 0 y c
= 0 ) el
cambio de variable es de la forma
U(, ) = e
A
V(, ) (3.148)
Eligiendo A = d
/(2a
) se tiene la ecuaci on transformada de (3.145)

a
+ e
+
_
f
d
2
4a
_
V = e
d
2a

G (3.149)
Un cambio de variable extra
V(, ) = e
B
W(, ) (3.150)
con B = (d
2
/(4a
)) ( f
/e
) conduce a la ecuaci on
a
+ e
= e
d
2a
+
_
f

d
2
4a
G (3.151)
Esto es, la ecuaci on de difusi on inhomog enea. En conclusi on, el problema
general se reduce a resolver dos ecuaciones conocidas y despu es invertir los
cambios de variables.
Captulo 4
M etodo de Transformadas
Integrales
Un segundo m etodo general para resolver EDP lineales con condiciones dadas
se basa en el uso de transformadas integrales. La t ecnica 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 soluci on al
problema original. El exito de dicho procedimiento radica en la linealidad tanto
del problema como de las transformadas integrales; y de forma particular en la
transformada especca que se elija. En este captulo se introduce el m etodo de
las transformadas integrales de manera general y se presentan las transformadas
m as 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 ecuaci on de Laplace y problemas de valores iniciales para la
ecuaci on de onda, para la ecuaci on de calor y nalmente para la ecuaci on
de Schr odinger. Se consideran unicamente EDP homog eneas para funciones
de dos variables. A diferencia del m etodo de separaci on de variables, los
problemas que se resuelven por transformadas integrales est an denidos en
intervalos innitos. Para hacer contacto con resultados previos se encuentra la
f ormula de DAlembert como soluci on al problema de Cauchy para la ecuaci on
de onda unidimensional. Un ejemplo no estudiado anteriormente, pero que es
relevante, es determinar la funci on de onda de una partcula cu antica sometida
117
118 Captulo 4. M etodo de Transformadas Integrales
a un potencial rectangular nito. Concluimos resolviendo este problema, as
como el problema de la partcula cu antica libre.
4.1 Transformadas Integrales en General
Para una funci on escalar f (t) puede denirse
T f (t) =
_
b
a
K(, t) f (t)dt (4.1)
llamada la transformada integral de la funci on f mediante el n ucleo K ( sobre
el intervalo (a, b) ). Notamos que la integral (4.1) es funci on de de tal forma
que podemos denotar
F() = T f (t) (4.2)
Esta notaci on a su vez sugiere que puede haber una transformaci on inversa que
satisfaga
f (t) = T
1
F() (4.3)
Claramente una transformada integral T es lineal pues
T c
1
f
1
(t) + c
2
f
2
(t) =
_
b
a
K(, t) [c
1
f
1
(t) + c
2
f
2
(t)] dt
=
_
b
a
K(, t)c
1
f
1
(t)dt +
_
b
a
K(, t)c
2
f
2
(t)dt
= c
1
_
b
a
K(, t) f
1
(t)dt + c
2
_
b
a
K(, t) f
2
(t)dt
= c
1
T f
1
(t) + c
2
T f
2
(t) (4.4)
para constantes arbitrarias c
1
y c
2
.
M as generalmente, si la funci on escalar depende de m as de una variable,
por ejemplo f (x, t), pueden denirse transformadas integrales respecto a las
diferentes variables
F
1
(x, ) = T
1
f (x, t) =
_
b
a
K
1
(, t) f (x, t)dt (4.5)
F
2
(k, t) = T
2
f (x, t) =
_
d
c
K
2
(k, x) f (x, t)dx (4.6)
Secci on 4.1. Transformadas Integrales en General 119
donde el sentido de las integraciones es como integrales parciales. Ejemplos
de estas transformadas integrales ser an utilzadas para resolver ecuaciones
diferenciales parciales en secciones posteriores. A continuaci on presentamos
algunas de las transformadas integrales m as comunes.
4.1.1 Transformada de Laplace
En este caso el n ucleo de la transformaci on es K(s, t) = e
st
y el intervalo
de integraci on es [ 0, ) de tal forma que la transformada de Laplace de la
funci on f (t) es
Lf (t) =
_

0
e
st
f (t)dt (4.7)
Condiciones sucientes para su existencia son:
(i) f seccionalmente continua en [ 0, )
(ii) [ f (t)[ Me
at
para toda t [ 0, ); donde M y a son constantes reales
y en tal caso la transformada es unica.
Su inversa involucra una integraci on en el plano complejo que no discutiremos
en estas notas.
4.1.2 Transformada de Fourier
En este caso el n ucleo de la transformaci on es K(, t) = e
it
/
2 y el
intervalo de integraci on es (, ) de tal forma que la transformada de
Fourier de la funci on f (t) es
T f (t) =
1
2
_

e
it
f (t)dt (4.8)
(i) f seccionalmente continua en (, )
(ii)
_
[ f (t)[dt <
Su inversa puede encontrarse con ayuda de la delta de Dirac y es
T
1
F() =
1
2
_

e
it
F()d (4.9)
Es com un encontrar la transformada de Fourier en t erminos de variables
asociadas a la posici on m as que al tiempo. Aqu utilizamos la notaci on
T f (x) =
1
2
_

e
ikx
f (x)dx (4.10)
y
T
1
F(k) =
1
2
_

e
ikx
F(k)dk (4.11)
para la transformada inversa.
La representaci on en (4.8) relaciona al tiempo t con la frecuencia angular
mientras que la representaci on en (4.10) relaciona la posici on x con el
n umero de onda k. Las cantidades y k son fsicamente relevantes ya
que a su vez est an relacionadas a la energa E y al momento p de acuerdo
a la mec anica cu antica. En ese contexto se distinguen pares de variables
conjugadas: E, t y p, x cuyas desviaciones obedecen el principio de
incertidumbre de Heisenberg ( xp ), el cual es propiamente descrito
por la transformada de Fourier.
Algunas de las propiedades m as utiles para resolver ecuaciones diferenciales,
adem as de la linealidad, son
(i) T
_
d
n
f (x)
dx
n
_
= (ik)
n
F(k)
(ii) T ( f g)(x) = F(k)G(k)
donde ( f g) es la convoluci on de f con g denida como
( f g)(x) =
1
2
_

f (x s)g(s)ds (4.12)
(iii) T f (x x
0
) = e
ikx
0
F(k)
Ejercicio 1. Use las deniciones (4.10)(4.11) para probar las propiedades anteriores.
Secci on 4.1. Transformadas Integrales en General 121
4.1.3 Transformada de Mellin
En este caso el n ucleo de la transformaci on es K(s, t) = t
s1
y el intervalo de
integraci on es (0, ) de tal forma que la transformada de Mellin es
/f (t) =
_

0
t
s1
f (t)dt (4.13)
(i) f seccionalmente continua en ( 0, )
(ii)
_
0
[ f (t)[ t
k1
dt < para alguna k > 0
Su inversa involucra una integraci on en el plano complejo que no discutiremos
en estas notas. Un ejemplo particularmente interesante de transformada de
Mellin es /
_
e
t
_
= (s), donde (s) es la funci on gamma de Euler ( i.e. la
generalizaci on de la funci on factorial: (s) = (s 1)! ).
4.1.4 Transformada de Hankel
En este caso el n ucleo de la transformaci on es K(s, t) = tJ
(st), con J
la
funci on de Bessel de primera especie y orden , y el intervalo de integraci on
es (0, ). De esta forma la transformada de Hankel de orden 1/2 de la
funci on f es
H
f (t) =
_

0
tJ
(st) f (t)dt (4.14)

(i) f seccionalmente continua en ( 0, )
(ii)
_
0
[ f (t)[ t
1/2
dt <
Su transformada inversa es
H
1
F(s) =
_

0
sJ
(st)F(s)ds (4.15)
4.2 Ecuaci on 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
+ u
yy
= 0 (4.16)
u(x, 0) = f (x) (4.17)
con u(x, y) acotada para < x < , y > 0.
La funci on u(x, y) que satisface este problema puede interpretarse fsicamente
como el potencial electrost atico en el semiplano superior sujeto al valor f (x)
en todo el eje x. Esta interpretaci on se tiene debido a que una de las ecuaciones
de Maxwell ( la ley de Gauss el ectrica ) conduce a la ecuaci on de Laplace para
el potencial escalar.
El problema puede resolverse utilizando el m etodo de la transformada de
Fourier en la variable x ( lo cual es necesario para poder transformar el dato
(4.17) ). Empleando
1
U(k, y) = T u(x, y) =
1
2
_

e
ikx
u(x, y)dx (4.18)
transformamos (4.16) para obtener
T
_
u
xx
+ u
yy
_
= T 0 (4.19)
que, debido a la linealidad de T, es
T u
xx
+T
_
u
yy
_
= 0 (4.20)
1
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 hip otesis no son
indispensables ya que es posible obtener transformadas de Fourier de funciones
generalizadas o distribuciones como la delta de Dirac.
Secci on 4.2. Ecuaci on de Laplace 123
Usando las propiedades T u
xx
= (ik)
2
T u(x, y) ( pues la transformada
es respecto a x ) y T
_
u
yy
_
=

2
y
2
T u(x, y) ( suponiendo que las derivadas
respecto a y pueden conmutarse con la integral sobre x ) se obtiene
(ik)
2
U(k, y) +

2
y
2
U(k, y) = 0 (4.21)
la cual puede reescribirse de forma compacta como
U
yy
k
2
U = 0 (4.22)
Es decir, la ecuaci on transformada es esencialmente una ecuaci on diferencial
ordinaria respecto a la variable y ( aunque debe tomarse en cuenta que U
tambi en depende de k ).
Para completar el problema se debe transformar tambi en la condici on de
frontera (4.17). Esto da directamente
T u(x, 0) = T f (x) (4.23)
Es decir
U(k, 0) = F(k) (4.24)
es la condici on de frontera en el espacio de la variable k. Con esto se tiene que
el problema a resolver se ha transformado en
U
yy
k
2
U = 0 (4.25)
U(k, 0) = F(k) (4.26)
Para k ,= 0 dos soluciones linealmente independientes de (4.25) son
U
1
= A
1
(k)e
ky
y U
2
= A
2
(k)e
ky
(4.27)
las cuales pueden ser no acotadas cuando y ( dependiendo del signo de
k ). La combinaci on m as general de estas que permanece acotada para toda
y > 0 es
2
U(k, y) = A(k)e
[k[y
(4.28)
2
Una condici on necesaria para que una funci on f (x) tenga transformada de Fourier
es que sea acotada y puede verse que cuando existe la transformada F(k), esta tambi en
es acotada. Se sigue entonces que si F(k) es no acotada, entonces f (x) tambi en sera
no acotada.
Puede vericarse trivialmente que esta es soluci on de (4.25) para cualquier
funci on A(k). Imponiendo la condici on de frontera (4.26) en esta se tiene
F(k) = U(k, 0) = A(k)e
0
(4.29)
de donde se sigue que A(k) = F(k). Se tiene entonces que la soluci on al
problema (4.25)(4.26) con U(k, y) acotada para toda y > 0 y para toda
< k < es
3
U(k, y) = F(k)e
[k[y
(4.30)
Lo que sigue ahora es aplicar la transformada inversa de Fourier para regresar
al espacio de posiciones. Utilizando
u(x, y) = T
1
U(k, y) =
1
2
_

e
ikx
U(k, y)dk (4.31)
directamente en la soluci on (4.30) se tiene
T
1
U(k, y) = T
1
_
F(k)e
[k[y
_
(4.32)
Denotando G(k) = e
[k[y
y utilizando la propiedad de la convoluci on
T
1
G(k)F(k) = (g f )(x) (4.33)
se encuentra
u(x, y) = (g f )(x) (4.34)
donde
g(x) = T
1
_
e
[k[y
_
=
_
2
_
y
x
2
+ y
2
_
(4.35)
y
f (x) = T
1
F(k) (4.36)
3
Falta considerar el valor k = 0, pero en tal caso se tendra la soluci on general
U(0, y) = A
1
(0)y + A
2
(0), la cual es acotada para toda y > 0 siempre que A
1
(0) 0
y A
2
(0) sea cualquier real. Claramente esta soluci on puede obtenerse como el caso
particular k = 0 de (4.28), de tal forma que no era necesario considerarlo por separado.
Secci on 4.2. Ecuaci on de Laplace 125
Finalmente, utilizando la denici on de la convoluci on con estas funciones se
obtiene
u(x, y) = (g f )(x)
=
1
2
_

g(x s) f (s)ds
=
1
2
_

_
2
_
y
(x s)
2
+ y
2
_
f (s)ds
=
y
f (s)ds
(x s)
2
+ y
2
(4.37)
Ejercicio 1. Muestre que
T
1
_
e
[k[y
_
=
_
2
_
y
x
2
+ y
2
_
Ejercicio 2. Demuestre que la funci on u(x, y) dada por (4.37) es soluci on al problema
de Dirichlet en el semiplano superior denido en (4.16)(4.17) para u(x, y) acotada.
Ejemplo 1. Encuentre la soluci on al problema de Dirichlet en el semiplano superior si
el potencial en el eje x es f (x) = (x). Esto es, el potencial sobre el eje x es un pulso
en el origen.
Soluci on. Utilizamos la soluci on (4.37) con f (s) = (s) y evaluamos la integral
directamente usando las propiedades de la delta
u(x, y) =
y
(s)ds
(x s)
2
+ y
2
=
y
1
(x s)
2
+ y
2
s=0
=
1
y
x
2
+ y
2
(4.38)
Ejemplo 2. Encuentre la soluci on al problema de Dirichlet en el semiplano superior si
el potencial en el eje x es ahora f (x) =
n=
(x n). Esto es, el potencial sobre el
eje x est a compuesto de un pulso en cada valor entero.
Soluci on. Introduciendo directamente f (s) =

n=
(s n) en (4.37) y
evaluando la integral suponiendo que
_

( ) =
_
( ) se encuentra
u(x, y) =
y
n=
(s n)ds
(x s)
2
+ y
2
=
y
n=
_

(s n)ds
(x s)
2
+ y
2
=
y
n=
1
(x s)
2
+ y
2
s=n
=
1
n=
y
(x n)
2
+ y
2
(4.39)
De aqu se observa que el potencial para esta condici on de frontera es la suma
de los potenciales de cada uno de los pulsos individuales.
Ejemplo 3. Encuentre la soluci on al problema de Dirichlet en el semiplano derecho:
x > 0, < y < , con la condici on de frontera u(0, y) = f (y), y u(x, y) acotada
en todo el semiplano.
Soluci on. Debido a la simetra de este problema con el del semiplano superior,
simplemente intercambiamos x con y en la soluci on (4.37) para obtener
u(x, y) =
x
f (s)ds
x
2
+ (y s)
2
(4.40)
Ejemplo 4. Encuentre la soluci on al problema de Dirichlet en todo el plano con la
condici on de frontera u(x, 0) = f (x), y u(x, y) acotada fuera del eje x.
Soluci on. Siguiendo el mismo tratamiento del problema del semiplano superior,
se llega a la misma ecuaci on (4.25) y condici on de frontera (4.26). La soluci on a
este problema acotada en todo el plano es ahora
U(k, y) = F(k)e
[k[[y[
(4.41)
Tomando la transformada inversa de Fourier de esta y usando la convoluci on
se encuentra
u(x, y) =
[y[
f (s)ds
(x s)
2
+ y
2
(4.42)
Secci on 4.3. Ecuaci on de Onda 127
Ejemplo 5. Encuentre la soluci on al problema de Dirichlet en todo el plano con la
condici on de frontera u(0, y) = f (y), y u(x, y) acotada fuera del eje y.
Soluci on. De manera an aloga se encuentra
u(x, y) =
[x[
f (s)ds
x
2
+ (y s)
2
(4.43)
4.3 Ecuaci on de Onda
4.3.1 Problema de Cauchy para la Cuerda Vibrante Innita
Ahora queremos resolver el problema de valores iniciales para la cuerda
vibrante innita
u
tt
= c
2
u
xx
(4.44)
u(x, 0) = (x) (4.45)
u
t
(x, 0) = (x) (4.46)
denida para < x < , t > 0 empleando la transformada de Fourier.
Como hemos visto, la funci on u(x, t) puede interpretarse como la longitud
transversal correspondiente a la desviaci on del equilibrio de la cuerda vibrante
en cada punto x y en cada tiempo t.
Nuevamente, el hecho que las condiciones iniciales queden en t erminos de la
variable x nos conduce a utilizar la transformada de Fourier en la variable x.
Esto es
U(k, t) = T u(x, t) =
1
2
_

e
ikx
u(x, t)dx (4.47)
Aplicando esta T a cada una de las ecuaciones (4.44)(4.46) utilizando las
propiedades adecuadas ( y llevando a cabo unas simplicaciones ) se obtiene
el problema en el espacio de la variable k
U
tt
+ c
2
k
2
U = 0 (4.48)
U(k, 0) = (k) (4.49)
U
t
(k, 0) = (k) (4.50)
La ecuaci on (4.48) es esencialmente la ecuaci on del oscilador arm onico para U.
Su soluci on general en t erminos de exponenciales complejas es
U(k, t) = A(k)e
ickt
+ B(k)e
ickt
(4.51)
para funciones arbitrarias A y B. Imponiendo las condiciones iniciales (4.49)
y (4.50) se obtiene respectivamente
(k) = U(k, 0) = A(k) + B(k) (4.52)
(k) = U
t
(k, 0) = ick [A(k) B(k) ] (4.53)
Resolviendo este sistema para A y B se obtiene
A(k) =
1
2
(k)
i
2ck
(k) (4.54)
B(k) =
1
2
(k) +
i
2ck
(k) (4.55)
que al introducir en (4.51) da la soluci on
U(k, t) =
_
1
2
(k)
i
2ck
(k)
_
e
ickt
+
_
1
2
(k) +
i
2ck
(k)
_
e
ickt
(4.56)
Para regresar a las variables originales aplicamos la transformada de Fourier
inversa
u(x, t) = T
1
U(k, t) =
1
2
_

e
ikx
U(k, t)dk (4.57)
Secci on 4.3. Ecuaci on de Onda 129
Esto da
u(x, t) =
1
2
_

e
ikx
_
1
2
(k)
i
2ck
(k)
_
e
ickt
dk
+
1
2
_

e
ikx
_
1
2
(k) +
i
2ck
(k)
_
e
ickt
dk
=
1
2
_

_
1
2
(k)
i
2ck
(k)
_
e
ik(xct)
dk
+
1
2
_

_
1
2
(k) +
i
2ck
(k)
_
e
ik(x+ct)
dk
=
1
2
1
2
_

(k)e
ik(xct)
dk +
1
2
1
2
_

(k)e
ik(x+ct)
dk
1
2c
1
2
_

i
k
(k)e
ik(xct)
dk +
1
2c
1
2
_

i
k
(k)e
ik(x+ct)
dk
=
1
2
(x ct) +
1
2
(x + ct)
+
1
2c
1
2
_

i
k
_
(k)e
ik(x+ct)
(k)e
ik(xct)
_
dk (4.58)
La ultima integral puede reescribirse usando el teorema de convoluci on. Dado
que
T
1
_
i
k
_
=
1
2
_

e
ikx
i
k
dk
=
_
2
sgn(x) (4.59)
se tiene
1
2
_

e
ik(xct)
i
k
dk =
_
2
sgn(x ct) (4.60)
Es decir
T
1
_
i
k
e
ik(ct)
_
=
1
2
_

e
ikx
i
k
e
ik(ct)
dk
=
1
2
_

e
ik(xct)
i
k
dk
=
_
2
sgn(x ct) (4.61)
Luego, como
T
1
(k) =
1
2
_

e
ikx
(k) dk = (x) (4.62)
entonces, por el teorema de convoluci on, se sigue que
T
1
_
i
k
e
ik(ct)
(k)
_
=
1
2
_

2
sgn(x ct s)(s)ds
=
1
2
_

sgn(x ct s)(s)ds (4.63)

Ahora, la funci on signo puede escribirse como
sgn(x ct s) =
_
_
_
1 si s < x ct
0 si s = x ct
1 si s > x ct
(4.64)
de tal forma que la integral en (4.63) es
_

sgn(x ct s)(s)ds =
_
xct
(s)ds
_

xct
(s)ds (4.65)
Con todos estos resultados podemos escribir el ultimo sumando de (4.58) como
1
2c
1
2
_

i
k
_
(k)e
ik(x+ct)
(k)e
ik(xct)
_
dk
=
1
2c
_
T
1
_
i
k
e
ik(+ct)
(k)
_
T
1
_
i
k
e
ik(ct)
(k)
__
=
1
4c
_
_

sgn(x + ct s)(s)ds
_

sgn(x ct s)(s)ds
_
=
1
4c
_
_
x+ct
(s)ds
_

x+ct
(s)ds
_
xct
(s)ds +
_

xct
(s)ds
_
=
1
4c
_
_

xct
(s)ds +
_
x+ct
(s)ds +
_

xct
(s)ds +
_
x+ct
(s)ds
_
=
1
2c
_
x+ct
xct
(s)ds (4.66)
Introduciendo esta expresi on en (4.58) se obtiene nalmente
u(x, t) =
1
2
(x ct) +
1
2
(x + ct) +
1
2c
_
x+ct
xct
(s)ds (4.67)
esto es, la soluci on de DAlembert.
Secci on 4.4. Ecuaci on de Calor 131
4.4 Ecuaci on de Calor
4.4.1 Difusi on de Calor a lo Largo de una L nea Innita
El problema en cuesti on ahora es la ecuaci on de calor unidimensional con
condici on inicial. Esto es
u
t
=
2
u
xx
(4.68)
u(x, 0) = f (x) (4.69)
denida para < x < , t > 0. Vamos a resolverlo utilizando la
transformada de Fourier.
En este contexto la funci on u(x, t) puede interpretarse como la temperatura
en cada punto x de la lnea y en cada tiempo t. Una vez m as, dado que la
condici on inicial es una funci on de la variable x, entonces debemos utilizar la
transformada de Fourier en la variable x. Esto es
U(k, t) = T u(x, t) =
1
2
_

e
ikx
u(x, t)dx (4.70)
Aplicando esta T a cada una de las ecuaciones (4.68)(4.69) utilizando las
propiedades adecuadas ( y llevando a cabo unas simplicaciones ) se obtiene
el problema en el espacio de la variable k
U
t
+
2
k
2
U = 0 (4.71)
U(k, 0) = F(k) (4.72)
La ecuaci on (4.71) es esencialmente una ecuaci on diferencial ordinaria para U
( aunque debe considerarse su dependencia en k ). Su soluci on, sujeta a la
condici on inicial (4.72) es
U(k, t) = F(k) e
2
k
2
t
(4.73)
Regresamos al espacio de la variable x aplicando la transformada de Fourier
inversa
u(x, t) = T
1
U(k, t) =
1
2
_

e
ikx
U(k, t)dk (4.74)
y el teorema de la convoluci on
T
1
G(k)F(k) = (g f )(x) (4.75)
Dado que
g(x) = T
1
_
e
2
k
2
t
_
=
1
2
2
t
e
x
2
4
2
t
(4.76)
y
f (x) = T
1
F(k) (4.77)
se tiene que la soluci on al problema es
u(x, t) =
1
2
_

g(x s) f (s)ds
=
1
2
_

2
2
t
e
(xs)
2
4
2
t
f (s)ds
=
1
4
2
t
_

(xs)
2
4
2
t
f (s)ds (4.78)
4.5 Ecuaci on de Schr odinger
4.5.1 Partcula en un Pozo Rectangular de Potencial
El ultimo problema que consideramos en este captulo es la ecuaci on de
Schr odinger unidimensional con condici on inicial
i h
t
=
h
2
2m

xx
+ V(x) (4.79)
(x, 0) = f (x) (4.80)
denida para < x < , t > 0, con
_
[ f (x)[
2
dx = 1. En el caso del pozo
rectangular de potencial se tiene
V(x) =
_
0 si 0 x a
V
0
si x < 0, x > a
(4.81)
Secci on 4.5. Ecuaci on de Schr odinger 133
con V
0
> 0. La funci on (x, t) en este contexto es la funci on de onda de una
partcula sujeta al potencial independiente del tiempo V(x).
Nuevamente utilizamos la transformada de Fourier en la variable x pues la
condici on inicial es una funci on de x. Esto es
(k, t) = T (x, t) =
1
2
_

e
ikx
(x, t)dx (4.82)
Aplic andola a las ecuaciones (4.79)(4.80) utilizando las propiedades adecuadas
( y llevando a cabo unas simplicaciones ) se obtiene el problema en el espacio
de la variable k
i h
t
h
2
2m
k
2
T V(x) = 0 (4.83)
(k, 0) = F(k) (4.84)
donde
T V(x) =
_
0 si 0 x a
V
0
si x < 0, x > a
(4.85)
Podemos utilizar T V(x) = V
0
y luego hacer la consideraci on V
0
= 0
para 0 x a. De esta forma s olo nos concentramos en el problema
t
+
i
h
_
h
2
2m
k
2
+ V
0
_
= 0 (4.86)
(k, 0) = F(k) (4.87)
cuya soluci on es
(k, t) = F(k) e
i
h
_
h
2
2m
k
2
+V
0
_
t
(4.88)
Regresamos al espacio de la variable x aplicando la transformada de Fourier
inversa
(x, t) = T
1
(k, t) =
1
2
_

e
ikx
(k, t)dk (4.89)
y el teorema de la convoluci on
T
1
G(k)F(k) = (g f )(x) (4.90)
Dado que
g(x) = T
1
_
e
i
h
_
h
2
2m
k
2
+V
0
_
t
_
= T
1
_
e
i
h
V
0
t
e
i ht
2m
k
2
_
= e
i
h
V
0
t
T
1
_
e
i ht
2m
k
2
_
= e
i
h
V
0
t
1
_
i ht
m
e
x
2
2i ht
m
=
_
m
i ht
e
i
h
V
0
t
e
im
2 ht
x
2
(4.91)
y
f (x) = T
1
F(k) (4.92)
se obtiene la soluci on
(x, t) =
1
2
_

g(x s) f (s)ds
=
1
2
_

_
m
i ht
e
i
h
V
0
t
e
im
2 ht
(xs)
2
f (s)ds
=
_
m
2i ht
e
i
h
V
0
t
_

e
im
2 ht
(xs)
2
f (s)ds (4.93)
v alida para x < 0 y x > a, pero
(x, t) =
_
m
2i ht
_

e
im
2 ht
(xs)
2
f (s)ds (4.94)
para 0 x a.
Ejemplo 1. Determine la funci on de onda de una partcula libre para la condici on
inicial: (x, 0) = f (x), con
_
[ f (x)[
2
dx = 1.
Soluci on. El resultado se encuentra escribiendo V
0
0 en toda la soluci on
anterior. Esto es:
(x, t) =
_
m
2i ht
_

e
im
2 ht
(xs)
2
f (s)ds (4.95)
Secci on 4.5. Ecuaci on de Schr odinger 135
para < x < . Por ejemplo, si
f (x) =
_
_
_
1
a
si 0 x a
0 si x < 0, x > a
(4.96)
se tiene la funci on de onda
(x, t) =
_
m
2ai ht
_
a
0
e
im
2 ht
(xs)
2
ds (4.97)
Ejemplo 2. Determine la funci on de onda de una partcula sujeta al escal on de
potencial
V(x) =
_
0 si x x
0
V
0
si x > x
0
(4.98)
con V
0
,= 0, para la condici on inicial: (x, 0) = f (x), con
_
[ f (x)[
2
dx = 1.
Soluci on. Utilizando el resultado principal de esta secci on se encuentra
(x, t) =
_
_
_
m
2i ht
_

e
im
2 ht
(xs)
2
f (s)ds si x x
0
_
m
2i ht
e
i
h
V
0
t
_

e
im
2 ht
(xs)
2
f (s)ds si x > x
0
(4.99)
Ejemplo 3. Determine la funci on de onda de una partcula sujeta a la barrera
rectangular de potencial
V(x) =
_
V
0
si 0 x a
0 si x < 0, x > a
(4.100)
para V
0
> 0 y la condici on inicial: (x, 0) = f (x), con
_
[ f (x)[
2
dx = 1.
Soluci on. Nuevamente utilizamos el resultado principal de esta secci on para
obtener
(x, t) =
_
_
_
m
2i ht
e
i
h
V
0
t
_

e
im
2 ht
(xs)
2
f (s)ds si 0 x a
_
m
2i ht
_

e
im
2 ht
(xs)
2
f (s)ds si x < 0, x > a
(4.101)
Captulo 5
Problemas M as Generales
En las aplicaciones se encuentran problemas m as generales que los estudiados
en los captulos anteriores. Por ejemplo, resolver EDP en geometras no
rectangulares hace necesario introducir coordenadas curvilneas directamente
en los operadores diferenciales. Aunque ya se ha estudiado la separaci on
de variables para la ecuaci on de calor tanto en coordenadas cilndricas como
en esf ericas ( y por analoga, con el sector espacial de la ecuaci on de onda
y de la ecuaci on de Laplace ) no se ha considerado su soluci on de forma
explcita. El problema de determinar esas soluciones, lejos de ser ilustrativo,
es bastante t ecnico. Las ideas esenciales para atacarlos ya han sido expuestas
previamente y la metodologa particular, como el m etodo de Frobenius, forma
parte de un curso optativo de M etodos Matem aticos. No obstante, un problema
accesible es determinar el potencial electrost atico en el interor del disco cuando
se conoce su valor en el crculo frontera. Otro problema de inter es en este
captulo corresponde a condiciones de frontera m as generales. Lo ilustramos
resolviendo el problema de Dirichlet general para la ecuaci on de Laplace en
el rect angulo. Un problema relevante, tambi en considerado en este captulo,
corresponde a resolver EDP no homog eneas. Lo abordamos determinando
las funciones de Green y a partir de ellas construimos las soluciones generales.
Utilizamos como ejemplos los problemas unidimensionales para las ecuaciones
no homog eneas de onda, de calor y de Laplace ( i.e. ecuaci on de Poisson).
Elegimos utilizar la t ecnica de la transformada de Fourier porque permite
137
138 Captulo 5. Problemas M as Generales
un tratamiento m as transparente y autocontenido. Para nalizar estas notas,
mostramos como las ecuaciones de la electrodin amica cl asica de Maxwell
conducen a ecuaciones de onda no homog eneas para los campos el ectrico y
magn etico, y a ecuaciones similares para los potenciales escalar y vectorial.
5.1 Geometras No rectangulares
Como ejemplo de este tipo de problema consideremos determinar el potencial
u(, ) en el disco de radio a cuando se conoce el valor del potencial sobre el
crculo = a. El problema es entonces resolver la ecuaci on de Laplace dada en
coordenadas polares
u
+
1
+
1
2
u
= 0 (5.1)
para a , que satisface la condici on de frontera
u(a, ) = f (), 0 < 2 (5.2)
Dos condiciones adicionales que se piden a la funci on u(, ) es que sea de
valores unicos ( i.e. univaluada ) y acotada para < a. Estas son necesarias
para poder interpretar fsicamente a la funci on u(, ) como un potencial.
La soluci on de este problema puede encontrarse utilizando el m etodo de
separaci on de variables. La propuesta es
u(, ) = R()() (5.3)
Al introducirla en (5.1) se obtiene
R
+
1
+
1
2
R
= 0 (5.4)
Multiplic andola por
2
/(R) se llega a la separaci on
2
R
R
+
R
R
=
= A (5.5)
con A una constante compleja arbitraria. Se tiene entonces el sistema de
ecuaciones ordinarias
2
R
+ R
AR = 0 (5.6)
+ A = 0 (5.7)
Secci on 5.1. Geometras No rectangulares 139
La ecuaci on para R() es una ecuaci on de Euler mientras que la ecuaci on
para () es lineal de coecientes constantes. Podemos resolver ambas para
cualquier valor de la constante A. Consideramos los casos relevantes:
(i) Para A = 0 la soluci on general de (5.7) es
() = c
1
+ c
2
(5.8)
la cual ser a univaluada para (, ) s olo cuando c
1
0 ( de otra
forma () ,= ( + 2) ). Podemos tomar la constante arbitraria
c
2
= 1; esto es () 1. Luego, para (5.6) se busca una soluci on de la
forma R() =
m
. Se encuentra que m = 0 es raz de multiplicidad 2 y
por lo tanto se tiene la soluci on general
R() = k
1
ln + k
2
(5.9)
Esta es acotada para 0 < a siempre que k
1
0. Nuevamente,
tomamos R() 1 con lo cual se tiene la soluci on para este caso:
u
0
(, ) = R()() 1 (5.10)
(ii) Para A ,= 0 la soluci on general de (5.7) es
() = c
1
e
+ c
2
e
(5.11)
con
2
1
=
2
2
= A y
1
+
2
= 0. Esta funci on ser a univaluada
s olo cuando sea peri odica ( de periodo 2 ), y eso sucede cuando A =
n
2
, n = 1, 2, . . . de tal forma que
1
= in y
2
= in. La
soluci on general univaluada (5.11) puede escribirse tambi en en la forma
() = c
1
cos(n) + c
2
sen(n), con nuevas constantes c
1
y c
2
. Una vez
m as, la soluci on de (5.6) se busca en la forma R() =
m
considerando
ya que A = n
2
. Se encuentra que m = n y por lo tanto se tiene la
soluci on general
R() = k
1
n
+ k
2
n
(5.12)
Esta es acotada para 0 < a siempre que k
1
0 cuando n < 0 y
k
2
0 cuando n > 0. Sin perder generalidad elegimos R() =
n
con lo
cual se tiene la soluci on
u
n
(, ) = R()() =
n
[ c
1
cos(n) + c
2
sen(n) ] (5.13)
para n = 1, 2, . . .
Apartir de estas construimos la soluci on m as general de (5.1) que es univaluada
y acotada en el disco 0 < a. Esta es
u(, ) =
n=0
n
u
n
(, )
=
0
+
n=1
n
[
n
cos(n) +
n
sen(n) ] (5.14)
donde
n
=
n
c
1
y
n
=
n
c
2
con
n
constantes arbitrarias. Resta jar la
condici on de frontera (5.2). Se tiene
f () = u(a, )
=
0
+
n=1
a
n
[
n
cos(n) +
n
sen(n) ] (5.15)
Los coecientes
0
,
n
y
n
se encuentran respectivamente: integrando (5.15)
sobre 0 2, multiplicando (5.15) por cos(m) e integrando sobre 0
2, y nalmente multiplicando (5.15) por sen(m) e integrando sobre
0 2. Se obtiene
0
=
1
2
_
2
0
f ()d (5.16)
n
=
1
a
n
_
2
0
f () cos(n)d (5.17)
n
=
1
a
n
_
2
0
f () sen(n)d (5.18)
Notamos que
0
=
0
/2, de tal forma que la soluci on (5.14) nalmente se
escribe como
u(, ) =

0
2
+
n=1
n
[
n
cos(n) +
n
sen(n) ] (5.19)
con los coecientes
n
y
n
dados por (5.17)(5.18) para n = 0, 1, 2, . . .
Secci on 5.2. Condiciones de Frontera Generales 141
5.2 Condiciones de Frontera Generales
Un ejemplo de problema de Dirichlet con condiciones de frontera generales
corresponde a la ecuaci on de Laplace en el rect angulo [ 0, a ] [ 0, b ]:
u
xx
+ u
yy
= 0 (5.20)
u(x, 0) = f
0
(x) (5.21)
u(x, b) = f
b
(x) (5.22)
u(0, y) = g
0
(y) (5.23)
u(a, y) = g
a
(y) (5.24)
donde f
0
(x) y f
b
(x) son funciones denidas en [ 0, a ] , y g
0
(y) y g
a
(y)
funciones denidas en [ 0, b ]. El primer hecho notable es que podemos escribir
la soluci on como u = u
(1)
+ u
(2)
+ u
(3)
+ u
(4)
donde u
(1)
(x, y) es soluci on del
problema
u
xx
+ u
yy
= 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 soluci on del problema
u
xx
+ u
yy
= 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)
u
(3)
u
xx
+ u
yy
= 0 (5.35)
u(x, 0) = 0 (5.36)
u(x, b) = 0 (5.37)
u(0, y) = g
0
(y) (5.38)
u(a, y) = 0 (5.39)
y u
(4)
u
xx
+ u
yy
= 0 (5.40)
u(x, 0) = 0 (5.41)
u(x, b) = 0 (5.42)
u(0, y) = 0 (5.43)
u(a, y) = g
a
(y) (5.44)
La prueba se sigue directamente de la simple sustituci on en (5.20)(5.24) de
u = u
(1)
+ u
(2)
+ u
(3)
+ u
(4)
; utilizando las hip otesis que cada u
(i)
es soluci on
del problema respectivo. Notamos adem as que cada uno de los problemas
anteriores es an alogo a los otros tres, en el sentido que de la soluci on de
cualquiera de ellos podemos inferir las soluciones de los dem as. Elegimos
resolver el problema para u
(1)
(x, y) denido por (5.25)(5.29). Utilizamos
separaci on de variables mediante la propuesta
u
(1)
(x, y) = X(x)Y(y) (5.45)
Al introducirla en (5.25) se obtiene
X
Y + XY
= 0 (5.46)
Multiplic andola por 1/(XY) se llega a la separaci on
X
X
=
Y
Y
= A (5.47)
con A una constante compleja arbitraria. Se tiene entonces el sistema de
ecuaciones ordinarias
X
AX = 0 (5.48)
Y
+ AY = 0 (5.49)
ambas lineales de coecientes constantes. Las condiciones de frontera que se
obtienen a partir de (5.26)(5.29) son
X(x)Y(0) = f
0
(x) (5.50)
X(x)Y(b) = 0 (5.51)
X(0)Y(y) = 0 (5.52)
X(a)Y(y) = 0 (5.53)
con lo cual se obtiene el problema para X(x)
X
AX = 0 (5.54)
X(0) = 0 (5.55)
X(a) = 0 (5.56)
La soluci on de este es bien conocida
X(x) = sen
_
n
a
x
_
(5.57)
con A = (n/a)
2
para n = 1, 2, . . . Ahora, introduciendo esta A
en (5.49) y utlizando las condiciones de frontera (5.50)(5.51) se obtiene el
problema para Y(y)
Y
_
n
a
_
2
Y = 0 (5.58)
Y(0) = C (5.59)
Y(b) = 0 (5.60)
con C una constante arbitraria, pero no cero, y n = 1, 2, . . . La soluci on
general de (5.58) es
Y(y) = k
1
e
n
a
y
+ k
2
e
n
a
y
(5.61)
con k
1
y k
2
constantes arbitrarias. Tenemos, por lo tanto, tres constantes
arbitrarias y s olo dos condiciones para jarlas. Esto nos deja la libertad de
escoger una de ellas. Imponiendo las condiciones de frontera (5.59)(5.60) en la
soluci on (5.61) se obtiene la relaci on
C = 2k
1
e
n
a
b
senh
_
n
a
b
_
(5.62)
de tal forma que si tomamos k
1
= (1/2)e
n
a
b
se tendr a
C = senh
_
n
a
b
_
(5.63)
y, en tal caso, k
2
= (1/2)e
n
a
b
. Con todo esto, para esta elecci on de C se tiene
la soluci on del problema (5.58)(5.60)
Y(y) =
1
2
e
n
a
b
e
n
a
y
+
1
2
e
n
a
b
e
n
a
y
=
1
2
_
e
n
a
(by)
e
n
a
(by)
_
= senh
_
n
a
(b y)
_
(5.64)
A partir de (5.57) y (5.64) construimos las soluciones
u
(1)
n
(x, y) = X(x)Y(y)
= sen
_
n
a
x
_
senh
_
n
a
(b y)
_
(5.65)
para cada n = 1, 2, . . . , y con ellas la soluci on general
u
(1)
(x, y) =
n=
a
n
u
(1)
n
(x, y)
=
n=1
n
u
(1)
n
(x, y) (5.66)
con los coecientes
n
= a
n
+ a
n
a un por ser determinados. Para jarlos
imponemos la condici on de frontera (5.26). Se tiene
f
0
(x) = u
(1)
(x, 0)
=
n=1
n
u
(1)
n
(x, 0)
=
n=1
n
senh
_
n
a
b
_
sen
_
n
a
x
_
(5.67)
de donde
n
senh(nb/a) son los coecientes de la serie de Fourier de senos
de la funci on f
0
(x) ( i.e. de su extensi on impar alrededor de x = 0 y peri odica
de periodo 2a ). Es decir
n
senh
_
n
a
b
_
=
2
a
_
a
0
f
0
(x) sen
_
n
a
x
_
dx (5.68)
De todo este an alisis concluimos que la soluci on al problema (5.25)(5.29) es
u
(1)
(x, y) =
n=1
n
sen
_
n
a
x
_
senh
_
n
a
(b y)
_
(5.69)
con los coecientes
n
dados por
n
=
2
a senh
_
n
a
b
_
_
a
0
f
0
(x) sen
_
n
a
x
_
dx (5.70)
An alogamente, la soluci on al problema (5.30)(5.34) es
u
(2)
(x, y) =
n=1
n
sen
_
n
a
x
_
senh
_
n
a
y
_
(5.71)
con los coecientes
n
dados por
n
=
2
a senh
_
n
a
b
_
_
a
0
f
b
(x) sen
_
n
a
x
_
dx (5.72)
De igual manera, la soluci on al problema (5.35)(5.39) es
u
(3)
(x, y) =
n=1
n
senh
_
n
b
(a x)
_
sen
_
n
b
y
_
(5.73)
con los coecientes
n
dados por
n
=
2
b senh
_
n
b
a
_
_
b
0
g
0
(y) sen
_
n
b
y
_
dy (5.74)
y nalmente, la soluci on al problema (5.40)(5.44) es
u
(4)
(x, y) =
n=1
n
senh
_
n
b
x
_
sen
_
n
b
y
_
(5.75)
con los coecientes
n
dados por
n
=
2
b senh
_
n
b
a
_
_
b
0
g
a
(y) sen
_
n
b
y
_
dy (5.76)
De esta forma, se tiene la soluci on al problema completo (5.20)(5.24)
u(x, y) = u
(1)
(x, y) + u
(2)
(x, y) + u
(3)
(x, y) + u
(4)
(x, y)
=
n=1
_
sen
_
n
a
x
__
n
senh
_
n
a
(b y)
_
+
n
senh
_
n
a
y
__
+ sen
_
n
b
y
__
n
senh
_
n
b
(a x)
_
+
n
senh
_
n
b
x
___
(5.77)
con los coecientes
n
,
n
,
n
, y
n
dados por
n
=
2
a senh
_
n
a
b
_
_
a
0
f
0
(x) sen
_
n
a
x
_
dx (5.78)
n
=
2
a senh
_
n
a
b
_
_
a
0
f
b
(x) sen
_
n
a
x
_
dx (5.79)
n
=
2
b senh
_
n
b
a
_
_
b
0
g
0
(y) sen
_
n
b
y
_
dy (5.80)
n
=
2
b senh
_
n
b
a
_
_
b
0
g
a
(y) sen
_
n
b
y
_
dy (5.81)
para n = 1, 2, . . .
5.3 Ecuaciones No homog eneas: Funciones de Green
El problema en cuesti on es
Lu = g (5.82)
donde

L es un operador diferencial lineal. Para jar ideas podemos considerar
L = a

2
x
2
+ 2b

2
yx
+ c

2
y
2
+ d

x
+ e

y
+ f (5.83)
con a, b, . . . , f , al igual que la funci on inc ognita u y el t ermino inhomog eneo
g, funciones de (x, y). Esto es,

L =

L(x, y).
Para resolver (5.82) consideramos el problema alternativo
LG(x, y; , ) = (x )(y ) (5.84)

Secci on 5.3. Ecuaciones No homog eneas: Funciones de Green 147
y notamos que al multiplicar esta ecuaci on por g(, ) e integrar sobre todos
los valores de y ( suponiendo que son (, ) ) se obtiene
1
_

d
_

d

LG(x, y; , )g(, ) =
_

d
_

d (x )(y )g(, )
=
_

d (x )
_

d (y )g(, )
=
_

d (x )g(, y)
= g(x, y) (5.85)
Ahora, dado que

L(x, y) es un operador diferencial de segundo orden; basta
con que G(x, y; , ) sea de clase C
2
para que

L pueda salir de las integrales.
Suponiendo esto, se tiene
L
_

d
_

d G(x, y; , )g(, ) = g(x, y) (5.86)

Al compararla con (5.82) obtenemos directamente que
u(x, y) =
_

d
_

d G(x, y; , )g(, ) (5.87)

es la soluci on al problema original. La funci on G(x, y; , ), que satisface (5.84),
es llamada la funci on de Green asociada al operador diferencial lineal

L. Dado el
car acter 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 soluci on general del problema original. En
ese sentido la funci on de Green asociada a

L es una soluci on fundamental.
Nota: Anticipando un cambio de signo al aplicar una transformada de Fourier
a derivadas de segundo orden, es com un elegir el t ermino inhomog eneo como
g y en ese sentido denir la funci on de Green considerando el lado derecho
de (5.84) igual a (x )(y ). En estas notas se emplear a tal denici on.
1
Hacemos uso del hecho que la delta es par; i.e.
(x x
0
) = (x
0
x)
la cual se sigue directamente de su denici on en t erminos de la funci on d
a
(x).
5.3.1 Funci on de Green para EDO
Primer Problema
Comencemos por resolver la ecuaci on
y
a
2
y = f (x) (5.88)
para a > 0.
2
Esto es,

Ly = f , con

L = (d
2
/dx
2
) a
2
. La funci on de Green
asociada, G(x; ), satisface
G
a
2
G = (x ) (5.89)
Para resolver esta ecuaci on utilizamos la transformada de Fourier
G(k; ) = TG(x; ) =
1
2
_

e
ikx
G(x; )dx (5.90)
Aplic andola a (5.89), empleando las propiedades adecuadas, se obtiene
(ik)
2

G a
2

G =
1
2
e
ik
(5.91)
esto es
G =
_
1
k
2
+ a
2
__
1
2
e
ik
_
(5.92)
Regresamos a las variables originales aplicando la transformada inversa
G(x; ) = T
1

G(k; ) =
1
2
_

e
ikx

G(k; )dk (5.93)
directamente en (5.92). Se encuentra
G(x; ) = (p q)(x) (5.94)
2
Si a = 0 la soluci on se encuentra integrando dos veces la ecuaci on y
= f (x).
Esto es
y(x) =
_
x
0
d
_

0
d f () + c
1
x + c
2
con c
1
y c
2
constantes arbitrarias. Y si a < 0, se encuentra exactamente la misma
soluci on que en el caso a > 0, pero con a reemplazada por [a[.
donde
p(x) = T
1
_
1
k
2
+ a
2
_
(5.95)
q(x) = T
1
_
1
2
e
ik
_
= (x ) (5.96)
Considerando la transformada de Fourier de la exponencial e
[ax[
se encuentra
p(x) = T
1
_
1
k
2
+ a
2
_
=
_
2
1
[a[
e
[ax[
(5.97)
En particular, para a > 0 se tiene [a[ = a. Introduciendo las expresiones para
p y q en (5.94) se obtiene la funci on de Green
G(x; ) = (p q)(x)
=
1
2
_

p(x s)q(s)ds
=
1
2
_

2
1
a
e
a[xs[
(s )ds
=
1
2a
e
a[x[
(5.98)
A partir de ella se construye la soluci on particular a la ecuaci on (5.88); la cual
es
y(x) =
_

G(x; ) f ()d
=
1
2a
_

e
a[x[
f ()d (5.99)
N otese que la soluci on general a la ecuaci on (5.88) ser a
y(x) = C
1
e
ax
+ C
2
e
ax
+
1
2a
_

e
a[x[
f ()d (5.100)
con C
1
y C
2
constantes arbitrarias.
Segundo Problema
Empleando los resultados anteriores podemos construir la soluci on de la
ecuaci on
y
+ a
2
y = f (x) (5.101)
Observamos que al introducir el cambio a ia en el problema original (5.88)
se obtiene la ecuaci on (5.101). De este modo, simplemente aplicamos el mismo
cambio a la funci on de Green (5.98) para obtener
G(x; ) =
1
2(ia)
e
(ia)[x[
(5.102)
Es decir, en este caso se tienen dos funciones de Green
G
(x; ) =
i
2a
e
ia[x[
(5.103)
Empleando alguna combinaci on lineal de ellas como la funci on de Green,
G(x; ) = A
+
G
+
(x; ) + A
(x; ), con A
+
y A
constantes ( complejas en
general ) tales que A
+
+ A
= 1, se obtiene la soluci on particular de (5.101):

y(x) =
_

G(x; ) f ()d
=
_

[ A
+
G
+
(x; ) + A
(x; ) ] f ()d
=
i
2a
_

_
A
+
e
ia[x[
A
e
ia[x[
_
f ()d (5.104)
La soluci on general es por lo tanto
y(x) = C
1
e
iax
+ C
2
e
iax
+
i
2a
_

_
A
+
e
ia[x[
A
e
ia[x[
_
f ()d
(5.105)
con C
1
y C
2
constantes arbitrarias. Por ejemplo, se tienen soluciones sim etricas
para A
+
= A
= 1/2
y(x) = C
1
e
iax
+ C
2
e
iax
+
i
2
2a
_

_
e
ia[x[
e
ia[x[
2i
_
f ()d
= C
1
e
iax
+ C
2
e
iax
1
2a
_

sen (a[x [) f ()d (5.106)

Concluimos esta parte remarcando que otra forma de denir la funci on de
Green asociada al operador diferencial

L es como la soluci on del problema
de Dirichlet homog eneo
LG = en (5.107)
G = 0 en (5.108)
Emplearemos esta en lo que sigue.
5.3.2 Funci on de Green para EDP
Ecuaci on de Onda
Consideremos el problema de Cauchy homog eneo para la ecuaci on de onda
unidimensional no homog enea
u
tt
c
2
u
xx
= f (x, t) (5.109)
u(x, 0) = 0 (5.110)
u
t
(x, 0) = 0 (5.111)
denido para < x < y t > 0. Este problema puede interpretarse como
las vibraciones de una cuerda innita que parte del reposo y con velocidad cero,
pero que todo el tiempo est a sujeta a un forzamiento f (x, t). Para resolverlo
consideramos la ecuaci on para la funci on de Green asociada
G
tt
c
2
G
xx
= (x )(t ) (5.112)
La soluci on de esta puede encontrarse utilizando transformadas de Fourier
respecto a x y t respectivamente. Denot andolas
U(k, t; , ) = T
x
G(x, t; , ) =
1
2
_

e
ikx
G(x, t; , )dx (5.113)
V(k, ; , ) = T
t
U(k, t; , ) =
1
2
_

e
it
U(k, t; , )dt (5.114)
y aplicando (5.113) a (5.112) se obtiene
U
tt
+ k
2
c
2
U = (t )
_
1
2
e
ik
_
(5.115)
donde hemos utilizado el hecho que T
x
G
xx
= (ik)
2
U. Aplicando (5.114)
ahora a (5.115) conduce a
2
V + k
2
c
2
V =
_
1
2
e
i
__
1
2
e
ik
_
(5.116)
donde esta vez empleamos T
t
U
tt
= (i)
2
V. Simplicando se tiene
V =
_
1
2
k
2
c
2
__
1
2
e
i
__
1
2
e
ik
_
(5.117)
Para regresar a las variables originales aplicamos ahora las transformadas
inversas
U(k, t; , ) = T
1
t
V(k, ; , ) =
1
2
_

e
it
V(k, ; , )d (5.118)
G(x, t; , ) = T
1
x
U(k, t; , ) =
1
2
_

e
ikx
U(k, t; , )dk (5.119)
respectivamente. Elegimos actuar primero con T
1
t
y luego con T
1
x
para
evitar introducir notaci on nueva, pero puede verse que el orden inverso
produce exactamente el mismo resultado. La aplicaci on de (5.118) a (5.117)
conduce a
U =
_
1
2
e
ik
_
(p q)(t) (5.120)
donde (p q)(t) es la convoluci on de p y q, con
p(t) = T
1
t
_
1
2
k
2
c
2
_
(5.121)
q(t) = T
1
t
_
1
2
e
i
_
= (t ) (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 este es de a t, e
introduciendo a = ikc se tiene
p(t) = T
1
t
_
1
2
k
2
c
2
_
=
_
2
_
1
ikc
_
e
(ikc)[t[
(5.123)
Esto es, hay dos posibles funciones p(t) que denotamos
p
(t) =
_
2
_
i
kc
_
e
ikc[t[
(5.124)
Introduciendo las expresiones para p
y q en (5.120) se obtienen dos funciones

U
que, an alogamente, denotamos

U
(k, t; , ) =
_
1
2
e
ik
_
(p
q)(t)
=
_
1
2
e
ik
_
1
2
_

(t s)q(s)ds
=
_
1
2
e
ik
_
1
2
_

2
_
i
kc
_
e
ikc[ts[
(s )ds
=
_
1
2
e
ik
__
i
2kc
e
ikc[t[
_
=
_
i
2kc
e
ikc[t[
__
1
2
e
ik
_
(5.125)
Ahora aplicamos (5.119) a esta ultima para obtener
G
(x, t; , ) = (
)(x) (5.126)
donde
(x) = T
1
x
_
i
2kc
e
ikc[t[
_
(5.127)
(x) = T
1
x
_
1
2
e
ik
_
= (x ) (5.128)
Para encontrar
(x) observamos que

T
1
x
_
i
2kc
_
=
1
2c
_
2
sgn(x) (5.129)
T
1
x
_
e
ikc[t[
_
=
2 (x [ c[t [ ]) (5.130)
de tal forma que por la propiedad de la convoluci on se tiene
(x) =
1
2
_

_
1
2c
_
2
sgn(x s)
_
_
2 (s [ c[t [ ])
_
ds
=
1
2c
_
2
_

sgn(x s) (s [ c[t [ ]) ds
=
1
2c
_
2
sgn(x [ c[t [ ])
=
1
2c
_
2
sgn(x c[t [) (5.131)
Con todo esto se tienen las dos funciones de Green
G
(x, t; , ) = (
)(x)
=
1
2
_

(x s)(s)ds
=
1
2c
_
2
1
2
_

sgn(x s c[t [)(s )ds

=
1
4c
sgn(x c[t [ ]) (5.132)
Para construir la soluci on al problema original utilizamos la combinaci on lineal
sim etrica
G(x, t; , ) =
1
2
[ G
+
+ G
]
=
1
8c
[ sgn(x c[t [) sgn(x + c[t [) ] (5.133)
A partir de esta se obtiene la soluci on
u(x, t) =
_

d
_
t
0
d G(x, t; , ) f (, ) (5.134)
N otese que el intervalo de integraci on sobre es [ 0, t ] ( pues no se aceptan
contribuciones desde el futuro > t ). Para facilitar la integraci on invertimos
el orden de las integrales haciendo uso del teorema de Fubini. Se sigue que
u(x, t) =
_
t
0
d
_

d G(x, t; , ) f (, )
=
1
8c
_
t
0
d
_

d sgn([ x c(t ) ] ) f (, )
1
8c
_
t
0
d
_

d sgn([ x + c(t ) ] ) f (, ) (5.135)

donde hemos utilizado el hecho que 0 t para simplicar los
valores absolutos. Las integrales sobre pueden evaluarse considerando que
sgn([ x c(t ) ] ) = 1 para < x c(t ) y que sgn([ x c(t ) ]
) = 1 para > x c(t ) ( en la primera integral ) y que sgn([ x + c(t
) ] ) = 1 para < x + c(t ) y que sgn([ x + c(t ) ] ) = 1 para
> x + c(t ) ( en la segunda integral ). Con todo esto se encuentra
u(x, t) =
1
8c
_
t
0
d
_
_
xc(t)
d f (, )
_

xc(t)
d f (, )
_
1
8c
_
t
0
d
_
_
x+c(t)
d f (, )
_

x+c(t)
d f (, )
_
=
1
8c
_
t
0
d
_
_
xc(t)
d f (, ) +
_
xc(t)
d f (, )
_
+
1
8c
_
t
0
d
_
_

x+c(t)
d f (, ) +
_

x+c(t)
d f (, )
_
=
1
4c
_
t
0
d
_
xc(t)
x+c(t)
d f (, )
=
1
4c
_
t
0
d
_
x+c(t)
xc(t)
d f (, ) (5.136)
Para concluir utilizamos el resultado anterior y la f ormula de DAlembert para
escribir la soluci on al problema general
u
tt
c
2
u
xx
= f (x, t) (5.137)
u(x, 0) = (x) (5.138)
u
t
(x, 0) = (x) (5.139)
Esta es
u(x, t) =
1
2
(x ct) +
1
2
(x +ct) +
1
2c
_
x+ct
xct
ds (s) +
1
4c
_
t
0
d
_
x+c(t)
xc(t)
ds f (s, )
(5.140)
v alida para < x < y t > 0. La interpretaci on 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.
Ecuaci on de Calor
Consideremos ahora el problema de Cauchy homog eneo para la ecuaci on de
calor unidimensional no homog enea
u
t
2
u
xx
= f (x, t) (5.141)
u(x, 0) = 0 (5.142)
denido para < x < y t > 0. Este problema puede interpretarse como
la difusi on de calor por los extremos de la lnea innita cuya distribuci on inicial
de temperatura es id enticamente cero ( igual a la del medio o ba no t ermico ), pero
que todo el tiempo est a sujeta a una fuente externa f (x, t). Para resolverlo
consideramos el problema para la funci on de Green
G
t
2
G
xx
= (x )(t ) (5.143)
Encontramos su soluci on utilizando transformadas de Fourier respecto a x y a
t, respectivamente, que nuevamente denotamos
U(k, t; , ) = T
x
G(x, t; , ) =
1
2
_

e
ikx
G(x, t; , )dx (5.144)
V(k, ; , ) = T
t
U(k, t; , ) =
1
2
_

e
it
U(k, t; , )dt (5.145)
Aplicando (5.144) a (5.143) se obtiene
U
t
+ k
2
2
U = (t )
_
1
2
e
ik
_
(5.146)
x
G
xx
= (ik)
2
U. La aplicaci on de
(5.145) ahora a (5.146) produce
iV + k
2
2
V =
_
1
2
e
i
__
1
2
e
ik
_
(5.147)
t
U
t
= (i)V. Simplicando obtenemos
V =
_
1
i k
2
2
__
1
2
e
i
__
1
2
e
ik
_
(5.148)
Para regresar a las variables originales aplicamos las transformadas inversas
U(k, t; , ) = T
1
t
V(k, ; , ) =
1
2
_

e
it
V(k, ; , )d (5.149)
G(x, t; , ) = T
1
x
U(k, t; , ) =
1
2
_

e
ikx
U(k, t; , )dk (5.150)
respectivamente. Como antes, se elige aplicar primero T
1
t
y luego T
1
x
para evitar introducir notaci on nueva, pero puede verse que el orden inverso
conduce a
U =
_
1
2
e
ik
_
(p q)(t) (5.151)
donde (p q)(t) es la convoluci on de p y q, con
p(t) = T
1
t
_
1
i k
2
2
_
(5.152)
q(t) = T
1
t
_
1
2
e
i
_
= (t ) (5.153)
Ahora, p(t) puede encontrarse utilizando un resultado anterior. Se tiene
p(t) = T
1
t
_
1
i k
2
2
_
=
2 (t)e
k
2
2
t
(5.154)
donde (t) es la funci on de Heaviside ( o escal on unitario )
(t) =
_
1 si t 0
0 si t < 0
(5.155)
y ya hemos considerado el hecho que t > 0. Introduciendo las expresiones
para p y q en (5.151) se obtiene
U(k, t; , ) =
_
1
2
e
ik
_
(p q)(t)
=
_
1
2
e
ik
_
1
2
_

p(t s)q(s)ds
=
_
1
2
e
ik
_
1
2
_

2 (t s)e
k
2
2
(ts)
_
(s )ds
=
_
1
2
e
ik
_
_
(t )e
k
2
2
(t)
_
=
_
(t )e
k
2
2
(t)
_
_
1
2
e
ik
_
(5.156)
G(x, t; , ) = ( )(x) (5.157)
donde
(x) = T
1
x
_
(t )e
k
2
2
(t)
_
(5.158)
(x) = T
1
x
_
1
2
e
ik
_
= (x ) (5.159)
La transformada (5.158) ya fue calculada anteriormente; su resultado es
(x) = T
1
x
_
(t )e
k
2
2
(t)
_
=
(t )
_
2
2
(t )
e
x
2
4
2
(t)
(5.160)
De esta forma se obtiene la funci on de Green
G(x, t; , ) = ( )(x)
=
1
2
_

(x s)(s)ds
=
1
2
_

_
(t )
_
2
2
(t )
e
(xs)
2
4
2
(t)
_
(s )ds
=
(t )
_
4
2
(t )
e
(x)
2
4
2
(t)
(5.161)
A partir de esta construimos la soluci on al problema original
u(x, t) =
_

d
_

0
d G(x, t; , ) f (, )
=
_

d
_

0
d
_
(t )
_
4
2
(t )
e
(x)
2
4
2
(t)
_
f (, )
=
_

d
_
t
0
d
1
_
4
2
(t )
e
(x)
2
4
2
(t)
f (, )
=
_
t
0
d
1
_
4
2
(t )
_

d e
(x)
2
4
2
(t)
f (, )
(5.162)
Note que el intervalo de integraci on para se reduce a [ 0, t ] debido a la
funci on de Heaviside. Para nalizar utilizamos el resultado anterior y la
soluci on al problema de Cauchy para la ecuaci on de calor homog enea para
escribir la soluci on al problema general
u
t
2
u
xx
= f (x, t) (5.163)
u(x, 0) = g(x) (5.164)
Esta es
u(x, t) =
1
4
2
t
_

ds e
(xs)
2
4
2
t
g(s) +
_
t
0
d
1
_
4
2
(t )
_

ds e
(xs)
2
4
2
(t)
f (s, )
(5.165)
v alida para < x < y t > 0. La interpretaci on es en este caso: lnea
innita que disipa ( o absorbe ) calor del ambiente s olo a trav es de sus extremos.
Parte de la distribuci on inicial de temperatura g(x) al tiempo t = 0 y est a
sujeta a la fuente externa f (x, t) en todo punto y a todo tiempo t > 0.
Ecuaci on de Poisson
Consideremos ahora el problema
u
xx
+ u
yy
= f (x, y) (5.166)
u(x, 0) = 0 (5.167)
denido para < x < y < y < . La interpretaci on ahora puede
darse en t erminos del potencial ( electrost atico o gravitacional ) u generado en
el punto (x, y) a partir de la fuente f (x, y). Para resolverlo consideramos el
problema para la funci on de Green
G
xx
+ G
yy
= (x )(y ) (5.168)
La soluci on de esta puede encontrarse utilizando transformadas de Fourier
respecto a x y y respectivamente. En este caso las denotamos
U(k
x
, y; , ) = T
x
G(x, y; , ) =
1
2
_

e
ik
x
x
G(x, y; , )dx (5.169)
V(k
x
, k
y
; , ) = T
y
U(k
x
, y; , ) =
1
2
_

e
ik
y
y
U(k
x
, y; , )dy (5.170)
y aplicamos (5.169) a (5.168) para obtener
k
2
x
U + U
yy
= (y )
_
1
2
e
ik
x
_
(5.171)
x
G
xx
= (ik
x
)
2
U. Aplicando (5.170)
ahora a (5.171) produce
k
2
x
V k
2
y
V =
_
1
2
e
ik
y
__
1
2
e
ik
x
_
(5.172)
y
U
yy
= (ik
y
)
2
V. Simplicando obtenemos
V =
_
1
k
2
y
+ k
2
x
_
_
1
2
e
ik
y
__
1
2
e
ik
x
_
(5.173)
Para regresar a las variables originales aplicamos las transformadas inversas
U(k
x
, y; , ) = T
1
y
V(k
x
, k
y
; , ) =
1
2
_

e
ik
y
y
V(k
x
, k
y
; , )dk
y
(5.174)
G(x, y; , ) = T
1
x
U(k
x
, y; , ) =
1
2
_

e
ik
x
x
U(k
x
, y; , )dk
x
(5.175)
respectivamente. Al igual que antes, se elige aplicar primero T
1
y
y luego T
1
x
para evitar introducir notaci on nueva, pero puede verse que el orden inverso
conduce a
U =
_
1
2
e
ik
x
_
(p q)(y) (5.176)
donde (p q)(y) es la convoluci on de p y q, con
p(y) = T
1
y
_
1
k
2
y
+ k
2
x
_
(5.177)
q(y) = T
1
y
_
1
2
e
ik
y
_
= (y ) (5.178)
Ahora, p(y) se encuentra directamente usando el resultado (5.97) con a = k
x
.
Se tiene
p(y) = T
1
y
_
1
k
2
y
+ k
2
x
_
=
_
2
1
[k
x
[
e
[k
x
y[
(5.179)
Introduciendo las expresiones para p y q en (5.176) se obtiene
U(k
x
, y; , ) =
_
1
2
e
ik
x
_
(p q)(y)
=
_
1
2
e
ik
x
_
1
2
_

p(y s)q(s)ds
=
_
1
2
e
ik
x
_
1
2
_

2
1
[k
x
[
e
[k
x
(ys)[
(s )ds
=
_
1
2
e
ik
x
__
1
2[k
x
[
e
[k
x
(y)[
_
=
_
1
2[k
x
[
e
[k
x
(y)[
__
1
2
e
ik
x
_
(5.180)
G(x, y; , ) = ( )(x) (5.181)
donde
(x) = T
1
x
_
1
2[k
x
[
e
[k
x
(y)[
_
(5.182)
(x) = T
1
x
_
1
2
e
ik
x
_
= (x ) (5.183)
Para encontrar (x) se requiere seguir el camino adecuado; de otra forma los
c alculos se complican y no conducen a ning un resultado util. Se comienza con
la propiedad
T
_
f
(n)
(x)
_
= (ik)
n
F(k) (5.184)
y se recuerda que se conoce
T
_
f
(x)
_
= T
_
2x
a
2
+ x
2
_
=
2 i sgn(k) e
[ak[
(5.185)
Luego, una primitiva de f
(x) = 2x/(a
2
+ x
2
) es f (x) = ln
_
a
2
+ x
2
_
.
Utilizando n = 1 en (5.184) e igualando a (5.185) se tiene
(ik)F(k) =
2 i sgn(k) e
[ak[
(5.186)
Es decir
F(k) =
2
1
[k[
e
[ak[
(5.187)
donde hemos empleado el hecho que sgn(k)/k = 1/[k[. Multiplicando ambos
lados por la constante 1/(2
2) se obtiene
1
2
2
F(k) =
1
2[k[
e
[ak[
(5.188)
Ahora aplicamos la transformada inversa a la ecuaci on anterior. Teniendo en
mente que T
1
F(k) = f (x) = ln
_
a
2
+ x
2
_
, se encuentra
T
1
_
1
2[k[
e
[ak[
_
=
1
2
2
ln
_
a
2
+ x
2
_
(5.189)
Introduciendo los cambios T
1
T
1
x
, k k
x
y a y ( v ease la
ecuaci on (5.182) ) se sigue directamente que
(x) =
1
2
2
ln
_
(y )
2
+ x
2
(5.190)
Secci on 5.4. Ecuaciones de Maxwell 163
De esta forma se obtiene la funci on de Green
G(x, y; , ) = ( )(x)
=
1
2
_

(x s)(s)ds
=
1
2
_

_
1
2
2
ln
_
(y )
2
+ (x s)
2
_
(s ) ds
=
1
4
ln
_
(x )
2
+ (y )
2
(5.191)
A partir de ella construimos la soluci on al problema original
u(x, y) =
_

d
_

d G(x, y; , ) f (, )
=
1
4
_

d
_

d ln
_
(x )
2
+ (y )
2
f (, ) (5.192)
Para concluir utilizamos el resultado anterior ( y la soluci on al problema de
Dirichlet para la ecuaci on de Laplace ) para escribir la soluci on al problema
general
u
xx
+ u
yy
= f (x, y) (5.193)
u(x, 0) = g(x) (5.194)
Esta es
u(x, y) =
[y[
ds g(s)
(x s)
2
+ y
2
+
1
4
_

d
_

d ln
_
(x )
2
+ (y )
2
f (, )
(5.195)
v alida para < x < , < y < . La interpretaci on es en este
caso: potencial ( electrost atico o gravitacional ) generado por una distribuci on
de fuentes ( de carga el ectrica o masa ) f (x, y), que adem as est a sujeto a la
condici on de frontera u(x, 0) = g(x) para toda y (, ).
5.4 Ecuaciones de Maxwell
Las ecuaciones de Maxwell en el vaco pueden expresarse como un sistema
de ecuaciones diferenciales parciales acopladas que describe la din amica de
los campos el ectrico y magn etico en funci on de las fuentes que los producen
( densidad de carga el ectrica y densidad de corriente el ectrica ). En el sistema
de unidades de Gaussiano son
E = 4 (5.196)
B = 0 (5.197)
E =
1
c
B
t
(5.198)
B =
1
c
E
t
+
4
c
J (5.199)
Los campos el ectrico y magn etico, E(r, t) y B(r, t) respectivamente, son
funciones vectoriales que dependen tanto de la posici on r = (x, y, z) como
del tiempo t. En este contexto son llamados el campo de desplazamiento el ectrico
y campo de inducci on magn etica respectivamente. Las fuentes de estos son
la densidad de carga el ectrica y la densidad de corriente el ectrica J, tambi en
funciones de la posici on y del tiempo. Los operadores y son la
divergencia y el rotacional que act uan sobre vectores del espacio tridimensional,
y como es costumbre denotamos la derivada parcial respecto al tiempo como
/t. La constante c es precisamente la magnitud de la velocidad de la luz en
el vaco ( cercana a 300, 000 km/s ).
Las ecuaciones de Maxwell ya eran conocidas y estudiadas en los fen omenos
electromagn eticos antes de que Maxwell las completara y agrupara. De esta
forma son com unmente referidas por su nombre hist orico. Por ejemplo, las
ecuaciones para la divergencia de los campos se conocen como ley de Gauss
el ectrica y ley de Gauss magn etica ( ecuaciones (5.196) y (5.197) respectivamente ).
La ecuaci on para el rotacional del campo el ectrico (5.198) se denomina la ley
de Faraday y la ecuaci on para el rotacional del campo magn etico (5.199) es
llamada la ley de Amp` ere o ley de Amp` ereMaxwell. No es el objetivo de este
trabajo profundizar en los detalles de la electrodin amica de las ecuaciones de
Maxwell, sino simplemente mostrar la riqueza contenida en ellas. Hay tratados
sucientemente completos que pueden encontrarse generalmente bajo el ttulo
de electrodin amica cl asica.
Ecuaciones para los Campos
Un primer ejercicio es mostrar que los campos el ectrico y magn etico que
satisfacen las ecuaciones de Maxwell, a su vez obedecen ecuaciones de onda.
Utilizando la identidad vectorial
( F) = ( F)
2
F (5.200)
se encuentra, aplicando directamente a la ecuaci on (5.198),
( E)
2
E =
_
1
c
B
t
_
(5.201)
Ahora, suponiendo B de clase C
2
, se puede conmutar el rotacional con la
derivada parcial respecto a t de tal modo que el lado derecho de (5.201) se
escribe como (1/c)(/t)(B). Introduciendo despu es las ecuaciones de
Maxwell (5.196) y (5.199) en (5.201) se obtiene
4
2
E =
1
c
t
_
1
c
E
t
+
4
c
J
_
(5.202)
esto es, el campo el ectrico E satisface la ecuaci on de onda inhomog enea
_

2
t
2
c
2
2
_
E = 4
_
c
2
+
J
t
_
(5.203)
donde, como puede observarse, las fuentes del forzamiento son y J/t.
An alogamente, aplicando a la ecuaci on (5.199)
( B)
2
B =
_
1
c
E
t
+
4
c
J
_
(5.204)
Escribiendo el primer t ermino del lado derecho como (1/c)(/t)( E) e
introduciendo las ecuaciones de Maxwell (5.197) y (5.198) se encuentra
_

2
t
2
c
2
2
_
B = 4c J (5.205)
es decir, el campo magn etico B de igual manera satisface la ecuaci on de onda
inhomog enea pero con la fuente del forzamiento siendo 4c J en este caso.
Ecuaciones para los Potenciales
Como un segundo ejercicio introducimos las deniciones del potencial escalar
(r, t) y del potencial vectorial A(r, t), en relaci on a los campos E(r, t) y B(r, t)
E =
1
c
A
t
(5.206)
B = A (5.207)
que satisfacen la ley de Faraday (5.198) y la ley de Gauss magn etica (5.197)
respectivamente. Aplicando a la ecuaci on (5.206), considerando la ley de
Gauss el ectrica (5.196), se tiene
2

1
c
t
( A) = 4 (5.208)
Dentro de la norma de Coulomb, A = 0, (5.208) es la ecuaci on de Poisson
2
= 4 (5.209)
pero dentro de la norma de Lorentz, A + (1/c)(/t) = 0, (5.208) es la
ecuaci on de onda
_

2
t
2
c
2
2
_
= 4c
2
(5.210)
De forma an aloga, aplicando a la ecuaci on (5.207), considerando la ley de
Amp` ereMaxwell (5.199), se obtiene
( A)
2
A =
1
c
E
t
+
4
c
J (5.211)
Introduciendo ahora (5.206) conduce a
( A)
2
A =
1
c
t
()
1
c
2
2
A
t
2
+
4
c
J (5.212)
que a su vez puede reescribirse en la forma
_

2
t
2
c
2
2
_
A + c
2
( A) = c

t
() + 4c J (5.213)
dentro de la norma de Coulomb, A = 0, (5.213) es la ecuaci on de onda
( acoplada al potencial escalar )
_

2
t
2
c
2
2
_
A = c

t
() + 4c J (5.214)
pero dentro de la norma de Lorentz, A + (1/c)(/t) = 0, (5.213) es la
ecuaci on de onda
_

2
t
2
c
2
2
_
A = 4c J (5.215)
Vemos que la norma de Lorentz hace que los potenciales escalar y vectorial
satisfagan ecuaciones de onda escencialmente sim etricas.
Problemas
1. Demuestre que si m y n son n umeros cualesquiera y ,= 0, entonces
(i) sen
_
m
x
_
sen
_
n
x
_
=
1
2
_
cos
_
(mn)
x
_
cos
_
(m + n)
x
__
(ii) cos
_
m
x
_
cos
_
n
x
_
=
1
2
_
cos
_
(m + n)
x
_
+ cos
_
(mn)
x
__
(iii) sen
_
m
x
_
cos
_
n
x
_
=
1
2
_
sen
_
(m + n)
x
_
+ sen
_
(mn)
x
__
Sugerencia: Use las identidades trigonom etricas:
sen(A B) = sen Acos B cos Asen B
cos (A B) = cos Acos B sen Asen B
2. Usando el ejercicio anterior demuestre que, si m y n son n umeros
naturales y ,= 0, el valor de las siguientes integrales es
(i)
_

sen
_
m
x
_
sen
_
n
x
_
dx =
mn
(ii)
_

cos
_
m
x
_
cos
_
n
x
_
dx =
mn
(iii)
_

sen
_
m
x
_
cos
_
n
x
_
dx = 0
donde
mn
es la delta de Kronecker,
mn
=
_
1 si m = n
0 si m ,= n
.
169
170 Problemas
3. Use los resultados de las dos primeras integrales del ejercicio anterior, y
el hecho que la funci on seno es impar y la funci on coseno es par, para
mostrar que
(i)
_

0
sen
_
m
x
_
sen
_
n
x
_
dx =

2

mn
(ii)
_

0
cos
_
m
x
_
cos
_
n
x
_
dx =

2

mn
Muestre adem as que el resultado equivalente para la tercera integral no
siempre es cero, sino que
(iii)
_

0
sen
_
m
x
_
cos
_
n
x
_
dx =
_

_
2m
m
2
n
2
_
si m + n es impar
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) =
(1/
) sen(nx/) y
m
(x) = (1/
) cos(mx/) sobre el intervalo

(, ). Es decir, demuestre que
(i)
m
,
n
) =
mn
(ii)
m
,
n
) =
mn
(iii)
m
,
n
) = 0
para cualesquiera m, n = 1, 2, . . . , donde f , g) =
_

f (x)g(x)dx
es el producto escalar est andar para funciones reales denidas sobre el
intervalo (, ).
5. Una serie de Fourier unidimensional se dene como
f (x) =
a
0
2
+
n=1
_
a
n
cos
_
n
x
_
+ b
n
sen
_
n
x
_ _
la cual da una representaci on para la funci on peri odica, de periodo 2, f
( i.e., f (x + 2) = f (x) x ). Muestre que los n- esimos coecientes de
la serie est an dados por
a
n
=
1
f (x) cos
_
n
x
_
dx y b
n
=
1
f (x) sen
_
n
x
_
dx
Problemas 171
para toda n = 0, 1, 2, . . .
Sugerencia: Para obtener a
0
, simplemente integre la serie desde hasta
. Para obtener a
n
, n 1, multiplique la serie por cos
_
m
x
_
e integre el
producto desde hasta . An alogamente, para obtener b
n
, n 1,
repita el procedimiento pero multiplicando por sen
_
m
x
_
.
6. Use el resultado del ejercicio anterior para mostrar que, si f es una
funci on impar su desarrollo en serie de Fourier es
f (x) =
n=1
b
n
sen
_
n
x
_
y los coecientes b
n
pueden ser calculados como
b
n
=
2
_

0
f (x) sen
_
n
x
_
dx
Sin embargo muestre que, si f es una funci on par su desarrollo en serie
de Fourier es
f (x) =
a
0
2
+
n=1
a
n
cos
_
n
x
_
y en este caso los coecientes a
n
pueden calcularse como
a
n
=
2
_

0
f (x) cos
_
n
x
_
dx
esto es, si f es impar todos los coecientes a
n
0 y si f es par todos los
coecientes b
n
0.
7. Demuestre que, si para cada entero n = 0, 1, 2, . . . , la funci on
u
n
(x, t) es soluci on al problema de valores homog eneos en la frontera
para la ecuaci on de conducci on de calor
u
t
=
2
u
xx
, 0 < x < , t > 0
u(0, t) = 0
u(, t) = 0
172 Problemas
y si c
n
son constantes arbitrarias, entonces
u(x, t) =
n=
c
n
u
n
(x, t)
tambi en es soluci on 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 funci on u
n
(x, t) es soluci on al
problema:
u
t
=
2
u
xx
, 0 < x < , t > 0
u(0, t) = T
1
u(, t) = T
2
u(x, 0) = f (x)
y si c
n
son constantes que satisfacen
n=
c
n
= 1, entonces
u(x, t) =
n=
c
n
u
n
(x, t)
tambi en es soluci on del mismo problema.
Observaci on: N otese que si un sumando de la soluci on, digamos u
k
(x, t),
satisface ( adem as de la ecuaci on de calor ) las condiciones de frontera y
la condici on inicial, entonces cualquier otra u
i
(x, t) con i ,= k que sea
parte de la soluci on satisfacer a condiciones homog eneas en la frontera e
iniciales.
Problemas 173
10. Resuelva el problema de conducci on de calor denido por
u
t
=
2
u
xx
, 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 x
2
_
( 2x)
2
(ii) f (x) = A + x
(iii) f (x) = A e
x
+ x x
2
(iv) f (x) = A
_
x x
2
_
( 2x)
2
+ (x /2)
donde A y son constantes reales, y > 0.
11. Resuelva el problema de conducci on de calor denido por
u
t
=
2
u
xx
, 0 < x < , t > 0
u
x
(0, t) = 0
u
x
(, t) = 0
u(x, 0) = x + A, A = constante
Cu al es el lim
t
u(x, t) para A = 0 ? porqu e ?
12. Demuestre que mediante el uso de las variables adimensionales
= (1/) x, = (
2
/
2
) t
la ecuaci on de conducci on de calor u
t
=
2
u
xx
( 0 < x < , t > 0 )
puede escribirse como
u
= u
, 0 < < 1, > 0

13. Considere la ecuaci on
u
t
2
u
xx
+ cu
x
= 0
con y c constantes reales. Suponga que su soluci on puede escribirse
en la forma u(x, t) = w(x ct, t), con w una funci on escalar.
174 Problemas
(i) Muestre que w satisface la ecuaci on de conducci on de calor.
(ii) Use el resultado anterior para resolver el problema:
u
t
2
u
xx
+ cu
x
= 0
u(x, 0) = f (x)
denido para < x < , t > 0.
14. La ecuaci on de conducci on de calor en dos dimensiones puede expresarse
en t erminos de coordenadas polares (, ) como
u
t
=
2
_
u
+
1
+
1
2
u
_
Aplicando el m etodo de separaci on de variables, suponga que u(, , t) =
R()()T(t) y encuentre las ecuaciones diferenciales ordinarias que
satisfacen las funciones R(), () y T(t).
15. La ecuaci on de Helmholtz en tres dimensiones escrita en coordenadas
cartesianas es
u
xx
+ u
yy
+ u
zz
+ k
2
u = 0 , k = constante
Aplicando el m etodo de separaci on de variables, suponga que u(x, y, z) =
X(x)Y(y)Z(z) y encuentre las ecuaciones diferenciales ordinarias que
satisfacen las funciones X(x), Y(y) y Z(z).
16. Considere el problema de conducci on de calor en dos dimensiones:
u
t
=
2
_
u
xx
+ u
yy
_
u(0, y, t) = 0
u(a, y, t) = 0
u
y
(x, 0, t) = 0
u
y
(x, b, t) = 0
u(x, y, 0) = f (x, y)
denido para 0 < x < a, 0 < y < b y t > 0. Puede interpretarlo como
la difusi on de calor de la l amina rectangular [ 0, a ] [ 0, b ] unicamente
Problemas 175
a trav es de los lados x = 0 y x = a ( pues tanto y = 0 como y = b
est an perfectamente aislados ). N otese adem as que, por la naturaleza
bidimensional del problema, no hay difusi on de calor en la direcci on
perpendicular a la l amina.
(i) Resuelva este problema.
(ii) Encuentre la soluci on particular para la temperatura inicial
f (x, y) = (x x
0
) (y y
0
)
con 0 < x
0
< a, 0 < y
0
< b, y la delta de Dirac.
(iii) Use la soluci on (i) para mostrar que en el lmite cuando b 0, esta
soluci on coincide con la del problema unidimensional:
u
t
=
2
u
xx
, 0 < x < a , t > 0
u(0, t) = 0
u(a, t) = 0
u(x, 0) = g(x)
donde g(x) = f (x, 0) est a denida en ( 0, a ).
17. Use el m etodo de separaci on de variables para resolver el problema
general para la cuerda el astica ( ja en los extremos ) con desplazamiento
y velocidad inicial arbitrarias:
u
tt
= c
2
u
xx
, 0 < x < , t > 0
u(0, t) = 0
u(, t) = 0
u(x, 0) = (x)
u
t
(x, 0) = (x)
donde (0) = () = (0) = () = 0.
18. Si la cuerda el astica est a libre en uno de sus extremos, la condici on 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
Nota: Otra forma de resolver este problema es imponiendo las condiciones
de frontera directamente en la f ormula de DAlembert.
19. Resuelva el problema de la cuerda el astica denido en los dos ejercicios
anteriores para los desplazamientos y velocidades iniciales:
(i) (x) = x( x), (x) = 0
(ii) (x) = x( x), (x) =

2

x

2
(iii) (x) = g(x)(x x

0
), (x) = 0
(iv) (x) = g(x)(x x
0
), (x) = h(x)(x x
1
)
donde x
0
y x
1
(0, ) y las funciones g y h son acotadas en [ 0, ].
20. Repita el ejercicio anterior, pero ahora considerando las condiciones de
frontera dadas por
u
x
(0, t) = 0
u
x
(, t) = 0
21. Una cuerda vibrante que se desplaza en un medio el astico satisface la
ecuaci on
u
tt
= c
2
u
xx
a
2
u
donde a
2
es proporcional al coeciente de elasticidad del medio. Resuelva
el problema de valores iniciales y en la frontera para una cuerda de
longitud , ja en los extremos, que se suelta con velocidad inicial
u
t
(x, 0) = (x) a partir de la posici on inicial u(x, 0) = (x) , donde
(0) = () = (0) = () = 0.
22. El problema de las vibraciones de una membrana el astica rectangular ja
en la orilla est a denido como
u
tt
c
2
(u
xx
+ u
yy
) = 0, 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
donde u(x, y, t) es la forma de la membrana a cada tiempo t y c
2
es una
constante real que depende de las propiedades de la membrana.
Problemas 177
Resuelva este problema de valores en la frontera para las condiciones
iniciales
u(x, y, 0) = F(x, y)
u
t
(x, y, 0) = 0
tal que F(x, y) se anula en la frontera del rect angulo [ 0, a ] [ 0, b ].
23. Encuentre la soluci on u(, ) de la ecuaci on de Laplace
u
+
1
+
1
2
u
= 0
fuera del disco a , que satisfaga la condici on de frontera
u(a, ) = f (), 0 < 2
sobre el crculo = a. Suponga que u(, ) es de valores unicos y
acotada para > a.
24. Resuelva el problema de Neumann
u
xx
+ u
yy
= 0, 0 < x < a, 0 < y < b
u
x
(0, y) = 0
u
x
(a, y) = f (y)
u
y
(x, 0) = 0
u
y
(x, b) = 0
con f una funci on que satisface la condici on
_
b
0
f (s)ds = 0.
25. Resuelva el problema de Dirichlet en [ 0, a ] [ 0, b ] [ 0, c ]
u
xx
+ u
yy
+ u
zz
= 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) = g
0
(x, z)
u(x, b, z) = g
b
(x, z)
u(x, y, 0) = h
0
(x, y)
u(x, y, c) = h
c
(x, y)
178 Problemas
donde f
0
, f
a
, g
0
, g
b
, h
0
y h
c
son todas funciones bien comportadas en
[ 0, a ] [ 0, b ] [ 0, c ].
Sugerencia: Resuelva el problema con f
a
g
0
g
b
h
0
h
c
0 y de
este inera cada una de las dem as soluciones.
26. Sup ongase que F(k) es la transformada de Fourier de la funci on f (x).
Muestre que
(i) La transformada de Fourier de la funci on F(x) es f (k).
(ii) La transformada inversa de Fourier de la funci on f (k) es F(x).
27. Determine la transformada de Fourier de las siguientes funciones
(i) f (x) = (x a)
(ii) 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
2
donde a es una constante real, (x) es la funci on de Heaviside
(x) =
_
1 si x 0
0 si x < 0
y sgn(x) es la funci on signo
sgn(x) =
_
_
_
1 si x > 0
0 si x = 0
1 si x < 0
Sugerencia: Observe que sgn(x) = (x) (x) para toda x.
28. Use los resultados anteriores para determinar la transformada de Fourier
de las siguientes funciones:
(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)
(ii) G(k) = e
[ak[
(iii) H
+
(k) = (k)e
[ak[
(iv) H
(k) = (k)e
[ak[
(v) (k) = sgn(k)e
[ak[
(vi) (k) = e
[a[k
2
donde a es una constante real.
Sugerencia: Use los resultados del ejercicio 26 en las transformadas
calculadas en 27.
30. Use los resultados anteriores para determinar la transformada inversa de
Fourier de las siguientes funciones:
(i) H(k) = (k)
(ii) (k) = sgn(k)
Sugerencia: Tome el lmite cuando a 0 de los resultados (iii) y (v) del
ejercicio 29.
31. Use la transformada de Fourier para encontrar la soluci on al problema
de Dirichlet para la ecuaci on de Laplace denida en todo el plano, con la
condici on de frontera u(0, y) = g(y) y u(x, y) acotada. Esto es, resuelva
u
xx
+ u
yy
= 0, < x < , < y <
u(0, y) = g(y)
con u(x, y) acotada en todos los puntos fuera del eje y.
Sugerencia: Elija la transformada respecto a la variable adecuada.
180 Problemas
32. Resuelva el problema de Neumann
u
xx
+ u
yy
= 0
u
y
(x, 0) = g(x)
denido para < x < , y > 0, con u
y
acotada en este semiplano.
Sugerencia: Utilice una transformada de Fourier, pero antes transforme el
problema en uno nuevo para v = u
y
. Puede lograr esto derivando la EDP
respecto a y suponiendo que u es de clase C
3
.
33. Use el m etodo de la transformada de Fourier para resolver el problema
de la cuerda vibrante que se desplaza en un medio el astico
u
tt
c
2
u
xx
+ a
2
u = 0, < x < , t > 0
u(x, 0) = (x)
u
t
(x, 0) = 0
donde a
2
es proporcional al coeciente de elasticidad del medio.
34. Use el m etodo de la transformada de Fourier para resolver el problema
de valores iniciales para la ecuaci on del tel egrafo:
u
tt
c
2
(u
xx
+ au
t
+ bu) = 0, < x < , t > 0
u(x, 0) = f (x)
u
t
(x, 0) = 0
donde a, b y c son constantes reales.
35. La vibraci on lateral de una varilla delgada y homog enea est a gobernada
por la ecuaci on
u
tt
+ c
2
u
xxxx
= 0
donde u(x, t) es la deexi on de la varilla en la posici on x al tiempo t y
c
2
es una constante real que depende de las propiedades de la varilla.
Resuelva el problema de la vibraci on lateral de una varilla de longitud
ja en los extremos:
u(0, t) = u
x
(0, t) = 0
u(, t) = u
x
(, t) = 0
Problemas 181
que satisface las condiciones iniciales
u(x, 0) = (x)
u
t
(x, 0) = (x)
donde (0) =
(0) = (0) =
(0) = 0.
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. Havl cek, 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, M exico, 2005).
[6] R. Courant and D. Hilbert, Methods of Mathematical Physics, Vol. 1 (Wiley-
VCH, 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, Espa na, 2003).
183
184 Referencias
[11] F. John, Partial Differential Equations (Springer, USA, 1982).
[12] M. Renardy and R. C. Rogers, An Introduction to Partial Differential
Equations (Springer, USA, 2004).
[13] P. Szekeres, A Course in Modern Mathematical Physics (Cambridge
University Press, UK, 2004).
[14] N. Virchenko and I. Fedotova, Generalized Associated Legendre Functions and
Their Applications (World Scientic, Singapore, 2001).
[15] G. N. Watson, A Treatise on the Theory of Bessel Functions (Cambridge
University Press, USA, 1996).
[16] H. F. Weinberger, Ecuaciones Diferenciales en Derivadas Parciales (Revert e,
Espa na, 1992).
[17] E. C. Zachmanoglou and D. W. Thoe, Introduction to Partial Differential
Equations with Applications (Dover, USA, 1986).
[18] E. Zauderer, Partial Differential Equations of Applied Mathematics (Wiley,
USA, 2006).

Notas-Ecuaciones Diferenciales Parciales

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Notas-Ecuaciones Diferenciales Parciales

Uploaded by

Copyright:

Available Formats

NOTAS PARA EL CURSO

para toda a ,= 0 ( independientemente del valor de x ), entonces podemos

son seccionalmente continuas en el

). Las funciones algebraicas son las denidas en t erminos de un n umero nito de

1 y h es la constante de Planck dividida por 2, y el operador de

i para alg un entero n. Si

sea continua en [ 0, ] o, equivalentemente, que f sea diferenciable en

(x) 0 para todo t > 0 de tal manera que la

= 0, cuya soluci on tambi en es una constante arbitraria.

H(r)u(r) = Eu(r) (2.331)

6/4). Por lo tanto se tienen las soluciones

, y aplicamos las condiciones

son funciones de ((x, t), (x, t)). Se obtiene

en (3.23) se concluye que las unicas

en (3.23) se concluye que las unicas

= f , G(, ) = g(x(, ), y(, )) y U(, ) = u(x(, ), y(, )). Es decir,

corresponde a la ecuaci on de Helmholtz ( no homog enea )

es una generalizaci on de esta.

) se tiene la ecuaci on transformada de (3.145)

(st) f (t)dt (4.14)

sgn(x ct s)(s)ds (4.63)

LG(x, y; , ) = (x )(y ) (5.84)

d G(x, y; , )g(, ) = g(x, y) (5.86)

d G(x, y; , )g(, ) (5.87)

= 1, se obtiene la soluci on particular de (5.101):

sen (a[x [) f ()d (5.106)

y q en (5.120) se obtienen dos funciones

que, an alogamente, denotamos

(x) observamos que

sgn(x s c[t [)(s )ds

d sgn([ x + c(t ) ] ) f (, ) (5.135)

) cos(mx/) sobre el intervalo

, 0 < < 1, > 0

(iii) (x) = g(x)(x x

You might also like