Analisis Matematico

1
Curso 2006-2007
Tema 2.
Metodos analticos de resolu-
cion de EDP. Dominios acotados.
Asignatura:
Metodos Matematicos de la Ingeniera Qumica
Profesores:
Emanuele Schiavi y Ana Isabel Mu noz.
Apuntes elaborados por:
C. Conde (UPM), E. Schiavi (URJC) y A.I. Mu noz
(URJC).
Indice 1
Indice
1. Metodos de resolucion de ecuaciones en derivadas parciales. General-
idades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2. Introduccion al metodo de separacion de variables . . . . . . . . . . . 7
2.1. El metodo de separacion de variables . . . . . . . . . . . . . . 10
2.1.1. Imposicion de las condiciones de contorno . . . . . . 11
2.1.2. El problema de autovalores asociado . . . . . . . . . 12
3. Difusion unidimensional. Introduccion a las series de Fourier . . . . . 13
3.1. Resolucion del problema de difusion unidimensional . . . . . . 15
4. Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.1. Preliminares. La integral de Lebesgue y el espacio de funciones
de cuadrado integrables . . . . . . . . . . . . . . . . . . . . . 21
4.2. Los Coecientes de Fourier . . . . . . . . . . . . . . . . . . . . 27
4.3. Analoga con el caso vectorial . . . . . . . . . . . . . . . . . . 29
4.4. Analisis del error optimo . . . . . . . . . . . . . . . . . . . . . 30
4.5. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.6. Convergencia de las series de Fourier . . . . . . . . . . . . . . 34
4.7. Diferenciacion e integraci on de las series de Fourier . . . . . . 36
4.8. Otras formas del desarrollo en Serie de Fourier . . . . . . . . . 36
5. Tablas de series de Fourier trigonometricas . . . . . . . . . . . . . . . 37
5.1. Series de Fourier completas . . . . . . . . . . . . . . . . . . . 38
5.2. Otros intervalos . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.3. Series de Fourier cosenos . . . . . . . . . . . . . . . . . . . . . 39
5.4. Series de Fourier senos . . . . . . . . . . . . . . . . . . . . . . 40
5.5. Desarrollos en mitad de intervalo . . . . . . . . . . . . . . . . 40
2

Indice
6. Difusion bidimensional. Introduccion a las dobles series de Fourier . . 42
6.1. La doble serie seno y coseno . . . . . . . . . . . . . . . . . . . 43
7. La ecuacion de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . 45
7.1. El problema de Dirichlet. Principio de superposicion . . . . . . 48
8. El problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . 54
8.1. Valores propios y funciones propias . . . . . . . . . . . . . . . 55
8.2. Forma autoadjunta de una ecuacion diferencial . . . . . . . . . 58
9. Ecuaciones no homogeneas y condiciones en la frontera . . . . . . . . 59
9.1. Empleo de series de Fourier generalizadas . . . . . . . . . . . . 69
9.2. Ejemplos y aplicaciones . . . . . . . . . . . . . . . . . . . . . 69
10. Unas ecuaciones diferenciales ordinarias especiales . . . . . . . . . . . 72
10.1. Problemas en coordenadas cilndricas . . . . . . . . . . . . . . 72
10.2. El problema de Dirichlet en el disco para la ecuacion de Laplace 75
10.2.1. Cambio a coordenadas polares . . . . . . . . . . . . . 75
10.2.2. Resolucion del problema de Dirichlet . . . . . . . . . 76
10.2.3. Resolucion de los problemas de autovalores asociados 77
10.2.4. La ecuacion de Euler-Cauchy . . . . . . . . . . . . . 79
10.2.5. Aplicacion de la resolucion de la ecuacion de Euler-
Cauchy al problema de Dirichlet en el disco . . . . . 80
10.3. Conduccion del calor estacionaria en un crculo . . . . . . . . 82
10.4. El problema de Dirichlet en el disco para la ecuacion de difusion 86
10.5. La ecuacion de Bessel . . . . . . . . . . . . . . . . . . . . . . . 88
10.5.1. Funciones de Bessel de primera clase . . . . . . . . . 89
10.5.2. Solucion general cuando el orden no es entero . . . . 90
10.5.3. Funciones de Bessel de segunda clase . . . . . . . . . 90
10.5.4. Solucion general para cualquier valor del orden . . . 91
10.6. La ecuacion parametrica de Bessel . . . . . . . . . . . . . . . . 91
10.7. Problemas en coordenadas esfericas . . . . . . . . . . . . . . . 94
Indice. 3
10.7.1. Funciones de Bessel esfericas . . . . . . . . . . . . . 95
10.7.2. Funciones de Bessel esfericas modicadas . . . . . . . 97
10.8. La ecuacion de Legendre . . . . . . . . . . . . . . . . . . . . . 97
10.9. La ecuacion de Legendre y la aplicacion del metodo de sepa-
racion de variables en coordenadas esfericas . . . . . . . . . . 99
11. Ejercicios sugeridos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
12. Ejercicios propuestos en examenes relativos al segundo tema . . . . . 109
13. Ejercicios sugeridos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
14. Ejercicios propuestos en examenes . . . . . . . . . . . . . . . . . . . . 126
15. Bibliografa Basica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
16. Bibliografa Avanzada . . . . . . . . . . . . . . . . . . . . . . . . . . 138
4 Tema 2. Metodos analticos de resolucion de EDP. Dominios acotados.
Tema 2.
Metodos analticos de resolu-
cion de EDP. Dominios acotados.
1. Metodos de resolucion de ecuaciones en derivadas
parciales. Generalidades
En este captulo plantearemos algunos procedimientos para resolver ecuaciones en
derivadas parciales de segundo orden que surgen con frecuencia en problemas donde
aparecen fenomenos de difusion de materia y conduccion del calor. Tambien consi-
deraremos otros fenomenos, como la reaccion y la conveccion, que suelen completar
el modelo fsico y que se tienen que reejar adecuadamente en los terminos de orden
menor de la EDP considerada. Evidentemente la consideracion de estos fenomenos
puede complicar ligeramente el proceso de resolucion (obligandonos a adecuados
cambios de variables) pero no suele modicar las lneas generales del razonamiento.
Los problemas as generados (que nacen por tanto a partir de la expresion matematica
del modelo fsico de la realidad) se llaman problemas de contorno (o de valor en la
frontera) y se describen mediante ecuaciones en derivadas parciales de segundo or-
den que se tienen que vericar en una region IR
N
, (para N = 1, N = 2 o
N = 3). Analizaremos en este captulo un metodo para resolver estos problemas en
un dominio acotado.
Resolver un problema consistira en la determinacion de la solucion (la distribucion
de la concentraci on de un componente o especie qumica en un proceso de difusion
de materia o el perl de temperaturas en un proceso de conduccion del calor) en
cada punto del conjunto IR
N
en cada instante de tiempo.
Dependiendo del problema considerado, la solucion del mismo se puede determinar
de manera exacta o aproximada. Los metodos de resolucion de ecuaciones diferen-
1. Metodos de resolucion de ecuaciones en derivadas parciales. Generalidades 5
ciales pueden ser por tanto exactos o aproximados
1
. Tpicamente se denominan exac-
tos a los metodos de resolucion de tipo analtico que proporcionan (de ser aplicables)
una expresion de la solucion exacta del problema de valor inicial y/o de contorno.
Contrariamente al caso ordinario, esta expresion de la solucion no se obtiene en
terminos de combinaciones lineales nitas de funciones elementales (senos, cosenos,
exponenciales, polinomios) sino que se suele expresar en terminos de funciones inte-
grales (solucion integral) o en forma de series innitas. Estas expresiones se tienen
tambien que derivar o integrar para la determinacion por ejemplo de los caudales
de ujo de la magnitud estudiada.
No obstante lo anterior, la equivalencia entre metodos analticos y metodos exactos
no es rigurosamente cierta. En efecto un metodo analtico puede ser aproximado
y proporcionarnos una expresion exacta no de la solucion de la EDP original sino
de una ecuacion simplicada que se obtenga mediante una combinacion de anali-
sis dimensional
2
y observaciones experimentales. La nueva ecuacion obtenida (mas
sencilla) representa (con un margen de error a veces estimable) el fenomeno fsico-
qumico considerado. Tales tipos de consideraciones motivan lo que se conoce con el
nombre de analisis asint otico (que nace en el marco de la teora de la perturbacion),
un pilar de la modelizacion matematica.
Por metodos aproximados se suele entender los metodos de resolucion numerica. Este
tipo de metodos (a pesar de su caracter aproximado no exacto) suele poseer gran
ventaja respecto a los metodos exactos en cuanto que abarcan, obviamente, muchos
mas problemas. Las EDP no lineales son, de momento, su reinado. Por otra parte la
expresion integral o en series innitas de la solucion puede ser tan complicada que es
a veces recomendable resolver directamente el problema numericamente y despues
comparar los resultados obtenidos con la solucion analtica para entender la bondad
de la aproximaci on. La parte de calculo numerico en este curso se desarrollara en
los temas 4, 5 y 6.
Enunciado lo que se entiende por metodo de resolucion exacta de una EDP real-
izamos algunos comentarios generales sobre ellos. Existen en efecto muchos metodos
analticos de resolucion exacta de ecuaciones en derivadas parciales de segundo or-
den dependiendo de la geometra del modelo (el dominio o region del espacio donde
se verica la ecuacion en terminos matematicos). Al escribir los operadores diferen-
1
Evidentemente no siempre podremos elegir entre los dos tipos de metodos de resolucion (exacto
o aproximado) puesto que en muchos problemas el unico tratamiento viable es el aproximado.
2
Con el termino de analisis dimensional se entiende el analisis de las escalas tpicas de variacion
de las funciones consideradas para la determinacion de los terminos relevantes (es decir que go-
biernan fundamentalmente el proceso fsico considerado) en las expresiones adimensionales de la
EDP y de las condiciones de contorno del problema original (expresado en terminos de variables
dimensionales).
ciales en los distintos sistemas de coordenadas elegidos (rectangulares, cilndricas y
esfericas son los sistemas mas utilizados en la practica aunque es posible desarrollar
la expresion de los operadores de derivaci on en otros sistemas de coordenadas or-
togonales curvilneos) se generan distintas ecuaciones en derivadas parciales y una
u otra herramienta (tecnica matematica) sera necesaria.
Basicamente existe una idea fundamental que es com un a casi todos los metodos de
resolucion de EDP: su conversion a una (o mas) EDO que se pueda resolver explcita-
mente en terminos de funciones elementales o de funciones especiales (funciones de
Bessel, polinomios de Legendre) que introduciremos mas adelante. En resumen el
proceso consiste en hallar las soluciones particulares de una ecuacion en derivadas
parciales reduciendola a una
3
, dos o mas ecuaciones diferenciales ordinarias.
En este tema, dedicado a los problemas de valor inicial y de contorno en dominio
acotados, desarrollaremos el metodo de separacion de variables. Este metodo es
adecuado para problemas de contorno en dominios acotados (por lo menos una de
las variables espaciales debe ser acotada) y transforma una EDP lineal en un sistema
de EDO. Solo las ecuaciones lineales se pueden resolver con este metodo y las EDO
generadas son lineales. Utilizando el principio de superposicion las soluciones de los
sistemas de EDO obtenidos se pueden superponer para generar una solucion general.
Pero las cosas no acaban as y varias dicultades se pueden interponer en este camino
lo cual nos obligara a introducir nuevas herramientas matematicas para resolverlos.
3
En el metodo de separacion de variables el n umero de EDO al cual se reconduce la EDP es
igual al n umero de variable espaciales mas uno (la variable temporal). Luego, incluso en el caso
mas favorable, es dos. Existe sin embargo otro metodo, llamado de combinacion de variables, cuya
idea principal es combinar las variables independientes en una unica nueva variable independiente,
lo que origina una unica EDO asociada a la EDP. Tal metodo se aplica en dominios no acotados
(espacialmente y temporalmente) y por ello se estudiara en el tercer tema de este curso.
2. Introduccion al metodo de separacion de variables 7
2. Introduccion al metodo de separacion de varia-
bles
Siguiendo una practica com un a la mayoria de los libros de EDP en ingeniera,
ilustraremos las ideas basicas del metodo de separacion de variables considerando
un problema modelo. En concreto, consideraremos el siguiente problema modelo de
difusion de la concentraci on de una especie qumica.
Sea una region acotada de IR
l
, l = 1, 2, 3, connando una especie qumica que
se difunde en de acuerdo con la ley de Fick en ausencia de fuentes y reacciones
qumicas:
C
t
= kC, (0, +) (1)
(siendo k el coeciente de difusion de la especie qumica) y cuya distribucion de
concentraciones en se supone conocida en el instante de tiempo t = 0:
C(x, 0) = C
0
(x), x (2)
Nos planteamos el problema del estudio de las variaciones temporales de la distribu-
cion de concentraciones de la especie en . Denotaremos por C(x, t) a la concen-
tracion de la especie en el punto x y en el tiempo t 0. Las condiciones en la frontera
de la region , que denotaremos por , desempe nan un papel determinante en el
estudio de este problema. Si representa una membrana y disponemos de indicios
experimentales de que el ujo de sustancia a traves de ella es proporcional a su
concentracion, habremos de imponer una condicion de contorno del tipo
C n =
C
n
(x, t) = C(x, t), x , t > 0 (3)
siendo (x, t) el factor de proporcionalidad y n la normal exterior unitaria a en
su frontera. La expresion C/n denota la componente normal del gradiente de
concentraciones y se conoce con el nombre de derivada normal de la concentracion.
Notese que en la condicion (3) se esta suponiendo que la concentracion exterior es
nula y de ah la proporcionalidad de la concentraci on en la pared. Si la concentraci on
exterior es no nula y constante, digamos C
, la condicion (3) toma la forma

C n =
C
n
(x, t) = [C(x, t) C
] x , t > 0 (4)
Consideremos como ejemplo un proceso transitorio de difusion unidimensional de
una sustancia (un soluto) a traves de una membrana de espesor L hecha de un
material homogeneo. La ecuacion de conservaci on de la especie qumica se reduce a
C
t
= kC
xx
, x (0, L), t > 0 (5)
siendo k el coeciente de difusion de la especie. Sea N
x
el ujo de soluto en la
direccion x; entonces (considerando solo fenomenos de transporte difusivos)
N
x
(t)[
x=0
= k
C
x
(0, t), t > 0, N
x
(t)[
x=L
= k
C
x
(L, t), t > 0.
El ujo (difusivo) de soluto se podra describir, por ejemplo, mediante una condicion
del tipo
N
x
(t)[
x=0
= k
C
x
(0, t) = C(0, t), t > 0.
En presencia de transporte convectivo se tendra
N
x
(t)[
x=0
= k
C
x
(0, t) + v
x
C(0, t), t > 0.
siendo v
x
la componente longitudinal del campo de velocidades asociado al ui-
do. Algunos ejemplos muy interesantes donde aparecen condiciones de este tipo se
encuentran en el libro de Deen
4
.
Si el ujo en la frontera esta prejado hemos de imponer una condicion del tipo
C
n
(x, t) = F(x, t), x , t > 0 (6)
siendo F(x, t) conocida. Por ejemplo si la frontera es impermeable a la sustancia
entonces no hay ujo en y F(x, t) 0. Otras veces la magnitud prejada en la
frontera es la concentraci on y entonces hemos de imponer una condicion del tipo
C(x, t) = C
f
(x, t), x , t > 0 (7)
siendo C
f
(x, t) la distribucion de concentraciones en la frontera de . Las condi-
ciones del tipo (7), prejar el valor de la concentracion en el borde, son conocidas
como condiciones de contorno de tipo Dirichlet; las de tipo (6), prejar el ujo en
el borde, reciben el nombre de condiciones de contorno de tipo Neumann. A las de
tipo (3), relacionando la concentraci on y el ujo en el borde, se las suele denomi-
nar condiciones mixtas o de Robin. Se dice que las condiciones de contorno son
4
Deen, W.M., (1998). Analysis of Transport Phenomena, captulo 3
homogeneas cuando son satisfechas para cualquier combinacion lineal de distribu-
ciones de concentraciones que las veriquen. La condicion necesaria y suciente para
que la condicion (6) (resp. (7)) sea homogenea es que F(x, t) 0 (resp. C
f
0).
La condicion mixta (3) es homogenea. La condicion mixta (4) es no homogenea.
Nosotros trabajaremos siempre con condiciones homogeneas. La homogeneidad de
la condicion de contorno es esencial para que el metodo de resolucion por separacion
de variables funcione. Mediante adecuados cambios de variable es a veces posible
(no siempre) reconducir unas condiciones de contorno no homogeneas a una forma
homogenea, lo que permite la aplicacion del metodo de separacion de variables al
problema homogeneizado. Por ejemplo, si C verica la ecuacion de difusion (5) y la
condicion (4) (que es no homogenea) entonces la nueva variable

C = CC
verica
la ecuacion de difusion (5) (puesto que C
es constante) y la condicion (3) (que es

homogenea). Deshaciendo los cambios efectuados se obtiene la expresion analtica
de la solucion del problema original (no homogeneo). Otro tipo de no homogenei-
dad puede nacer en la EDP (al considerar por ejemplo fenomenos de generacion
de calor (reaccion) en el interior de ). En tales casos se aplica una tecnica llama-
da desviacion de variables. Unos ejemplos muy interesantes se encuentran en el
captulo 10, seccion 10.6 del libro de Rice and Do. Veremos este tipo de situaciones
en la seccion 9 y en los ejemplos y ejercicios dedicados a este tema.
El problema modelo
Puesto que en cualquier problema que involucra una derivada parcial respecto al
tiempo es necesario prescribir el estado inicial del sistema mediante una condi-
cion inicial, y suponiendo que las condiciones de contorno son de tipo Dirichlet
homogeneas, el problema de contorno y valor inicial que satisface la concentraci on
de la especie es el siguiente:
_
_
C
t
(x, t) = kC(x, t), (x, t) (0, )
C(x, t) = 0 (x, t) (0, )
C(x, 0) = C
0
(x) x
(8)
donde k > 0 es el coeciente de difusion de la especie (que suponemos constante en
), es el operador de Laplace en IR
l
, l = 1, 2, 3, (u operador de difusion cksiana
5
)
y C
0
(x) es el estado inicial (dato del problema) que representa la distribucion inicial
de concentraciones en el dominio (en los ejercicios se consideran otras condiciones
5
El problema de contorno y de valor inicial (8) tambien modeliza el fenomeno de la transmision
de calor, de acuerdo con la ley de Fourier, en una region cuya frontera se mantiene a temperatura
cero
de contorno).
La propiedad basica que utilizaremos en este tema es la siguiente: El problema
formado por la ecuacion y la condicion de contorno verica el principio de super-
posicion; o sea, cualquier combinaci on lineal de funciones que veriquen la ecuacion
y la condicion de contorno tambien verica la ecuacion y la condicion de contorno
6
.
Ya que las combinaciones lineales de dos soluciones es solucion, las combinaciones
lineales de cualquier n umero (nito) de soluciones tambien son soluciones.
Uno de los metodos mas utilizados para la resolucion de problemas relativos a ecua-
ciones en derivadas parciales (lineales) es el de separacion de variables. Con este
metodo la resolucion del problema (8) se reduce a la resolucion de una sucesion
de problemas de valores iniciales y/o de contorno relativos a una ciertas ecuaciones
diferenciales ordinarias. En el contexto del problema (8) separar variables consiste en
buscar todas las posibles soluciones de la ecuacion y de la condicion de contorno (no
hablamos, de momento, de la condicion inicial) que sean producto de dos funciones,
una dependiente de la variable espacial x y la otra de la temporal t (0, ),
en la forma
C(x, t) = X(x)T(t), (x, t) (0, ) (9)
Demostraremos que hay una sucesion (conjunto innito numerable) de funciones de
este tipo que resuelven la EDP y la condicion de contorno. Ya que la superposicion
de cualquier n umero de funciones de esa sucesion tambien resuelve la EDP y la
condicion de contorno, nos quedara margen para superponerlas de tal manera que
sea satisfecha la condicion inicial. Observese que C(x, t) 0 es una solucion del
tipo (9) de la ecuacion y de la condicion de contorno de tipo Dirichlet homogeneo.
Buscaremos soluciones no nulas del tipo (9).
2.1. El metodo de separacion de variables
Sustituyendo (9) en la EDP se tiene:
X(x)T
(t) = kT(t)X(x), (x, t) (0, )

(donde T
denota el operador de derivacion ordinaria T
= dT/dt). Separando vari-

ables se obtiene
6
La demostracion es directa utilizando la linealidad de los operadores de derivacion que aparecen
en la ecuacion.
1
k
T
(t)
T(t)
=
X(x)
X(x)
, (x, t) (0, ) (10)
El termino izquierdo de (10) es independiente de x y el derecho es independiente de
t. Por consiguiente, la condicion necesaria y suciente para que la EDP tenga
alguna solucion no nula de la forma separada (9) es que exista IR para el que
1
k
T
(t)
T(t)
=
X(x)
X(x)
= , (x, t) (0, ) (11)
Notese el signo que aparece delante de la constante de separacion . En muchos
textos se introduce en la forma
2
debido a unas razones que deduciremos mas
adelante. Para no precipitarnos demasiado seguiremos utilizando, de momento, la
constante de separacion en la forma que aparece en las ecuaciones (11). Hemos por
tanto deducido que la condicion necesaria y suciente para que la EDP tenga
alguna solucion no nula de la forma separada (9) es que exista IR para el que,
simultaneamente, se veriquen las siguientes ecuaciones diferenciales
d
dt
T(t) = kT(t), t > 0, (12)
que es de primer orden y
X(x) = X(x), x . (13)
de segundo orden. Observese que la ecuacion de primer orden (12) es una ecuacion
diferencial ordinaria lineal homogenea
7
, cuya solucion general es
T(t) = T(0)e
kt
, t > 0, (14)
siendo T(0) una constante de integraci on arbitraria. El tipo de ecuacion (13) es como
sigue: cuando l = 1, (13) es una ecuacion diferencial ordinaria lineal homogenea
de segundo orden con coecientes constantes
8
. Si l 2, (13) es una ecuacion en
derivadas parciales lineal (de tipo elptico) para cuya resolucion podramos intentar
utilizar una vez mas el metodo de separacion de variables.
2.1.1. Imposicion de las condiciones de contorno
Puesto que queremos que las soluciones de la EDP del tipo producto (9) veriquen
la condicion de contorno Dirichlet homogenea, hemos de imponer
7
Para el analisis y resolucion de las ecuaciones del tipo (12) vease el tema 13, seccion 13.2.7.1
de la asignatura de Elementos de matematicas para Ingenieros Qumicos.
8
Para el analisis y resolucion de las ecuaciones del tipo (13) en el caso uni-dimensional vease el
tema 13, seccion 13.3.1.1 de la asignatura de Elementos de matematicas para Ingenieros Qumicos.
X(x)T(t) = 0 x , t > 0. (15)
Ya que estamos interesados en soluciones no nulas impondremos tambien T(0) ,= 0.
En tal caso, la condicion (15) se convierte en
X(x) = 0, x (16)
2.1.2. El problema de autovalores asociado
De esta manera hemos reducido el problema original (expresado en terminos de una
EDP) al de la b usqueda de los valores de para los que el siguiente problema de
valores de contorno tiene alguna solucion no nula:
_
X(x) = X(x), x
X(x) = 0 x
(17)
Observese que X 0 es solucion de (17) para todo IR.
Denicion 2.1. A los valores de para los que el problema (17) tiene alguna
solucion no nula X(x) ,= 0 se le denomina autovalores del problema de valores de
contorno (17). Si es autovalor de (17) y X(x) es una solucion no nula de (17) se
dice que X(x) es una autofuncion asociada al autovalor .
Observese que si X(x) es una autofuncion de (17) asociada al autovalor , entonces el
operador diferencial la transforma en s misma, multiplicada por el autovalor .
Esta es la razon por la que a los autovalores y autofunciones de (17) se les denomina
tambien autovalores y autofunciones del operador , sujeto a condiciones de tipo
Dirichlet homogeneas. Salvo en el caso uni-dimensional, l = 1, que sera estudiado
en la siguiente seccion, a menos que no se impongan restricciones muy severas a la
geometra de , no es posible calcular con exactitud los autovalores y autofunciones
del problema de valores de contorno (17). Hay metodos numericos muy avanzados
para su calculo aproximado, pero incluso esta tarea puede llegar a ser muy ardua.
Algunos casos particulares (cuando es un rectangulo de lados paralelos a los ejes
coordenados o cuando es un disco del plano) seran estudiados en las siguientes
secciones. Los autovalores de (17) cuando es un disco vienen dados a partir de los
ceros de unas funciones denidas por sus desarrollos en series de potencias. Se pueden
aproximar tanto como se desee, pero no es posible determinar su valor exacto.
Nos proponemos ahora relacionar el problema de autovalores (17) con el concepto
de serie de Fourier. Para ello consideraremos la aplicacion del metodo de separacion
de variables al caso de la difusion unidimensional, lo que introduce de forma natural
3. Difusion unidimensional. Introduccion a las series de Fourier 13
al estudio de los desarrollos en series trigonometricas (que son, en particular, series
de Fourier
9
).
3. Difusion unidimensional. Introduccion a las se-
ries de Fourier
En esta seccion supondremos que = (a, b) IR con a < b. Entonces x = x (a, b)
y el problema de autovalores (17) queda escrito en la forma
_
_
X
(x) = X(x), x (a, b)

X(a) = 0
X(b) = 0
(18)
cuya ecuacion diferencial es ordinaria, de segundo orden y con coecientes constan-
tes. La constante que aparece en el problema (18) es, de momento, una constante
real arbitraria. Resolver el problema (18) consiste en determinar los valores de
para los cuales el problema (18) admite soluciones no triviales. El conjunto de los
valores de tales que el problema (18) admite soluciones no triviales se llama el
espectro del problema. Veremos a continuaci on que el espectro del problema (18)
es un conjunto ininito de n umeros reales positivos.
El cambio de variable espacial
r = x a, u(r) = X(x) = X(r + a)
transforma el problema (18) (que tiene lugar en el intervalo [a, b]) en el siguiente
_
u
(r) = u(r), r (0, L)

u(0) = u(L) = 0
(19)
que tiene lugar en el intervalo [0, L], siendo L = ba > 0. Multiplicando la ecuacion
diferencial de (19) por u(r), integrando por partes la igualdad resultante entre 0 y
L obtenemos
9
La identicacion entre series de Fourier convergentes y series trigonometricas convergentes no
es cierta. De momento solo armamos que una serie de Fourier convergente es, en particular, una
serie trigonometrica convergente pero lo contrario no es cierto. Considereremos mas adelante un
ejemplo de serie trigonometrica convergente que no es una serie de Fourier. Sin embargo si la
convergencia es uniforme entonces si es cierta la equivalencia.
_
L
0
u
2
(r)dr = [u(r)u
(r)]
r=L
r=0
+
_
L
0
[u
(r)]
2
dr,
y por lo tanto, como u(0) = u(L) = 0, se deduce
_
L
0
u
2
(r)dr =
_
L
0
[u
(r)]
2
dr. (20)
La relacion (20) nos proporciona una condicion necesaria para que sea autovalor
de (18) o, lo que es igual, de (19). En efecto, si < 0 la igualdad (20) unicamente
se satisface cuando u(r) 0 y si = 0 entonces (20) nos dice que u
(r) 0
y por lo tanto u(r) debe ser constante. Ahora bien, ya que u(0) = u(L) = 0,
necesariamente u(r) 0. Por consiguiente los posibles autovalores de (18) o (19),
han de ser estrictamente positivos
10
. Consideraremos por tanto solo el caso > 0
pues de lo contrario solo obtendramos la solucion trivial (que no es una autofuncion
por la denicion (2.1)).
Supongamos por tanto que > 0. Entonces la races caractersticas de la ecuacion
diferencial son
i y
i, siendo i la unidad imaginaria compleja. Por consiguiente

su solucion general es
u(r) = Asin(
r) + Bcos(
r),
siendo A y B constantes arbitrarias de integracion. Imponiendo las condiciones de
contorno en r = 0 y r = L obtenemos
B = 0, Asin(
L) + Bcos(
L) = 0
Por consiguiente un n umero real es autovalor de (19) si, y solo si, > 0 y
sin(
L) = 0, (21)
en cuyo caso salvo constantes multiplicativas tiene una unica autofuncion asociada.
A saber
u(r) = sin(
r). (22)
Los > 0 que satisfacen (21) son aquellos para los que existe un n umero natural n
tal que
L = n, n = 1, 2, 3, ...
10
La tecnica empleada para deducir la positividad del espectro (multiplicar por autofunciones e
integrar por partes) es muy general y se aplica a una amplia gama de problemas que caracterizare-
mos mas adelante.
Consecuentemente, los autovalores de (19) constituyen una sucesion de termino gen-
eral
n
=
_
n
L
_
2
=
n
2
2
L
2
, n = 1, 2, 3, .... (23)
Los autovalores de (18) son los mismos que los de (19) (con L = b a) y la auto-
funcion asociada al autovalor
n
es
X
n
(x) = sin
_
n
b a
(x a)
_
, n = 1, 2, 3, .... (24)
Remarquemos las siguientes propiedades de los autovalores del problema (18): la
sucesion
n
n1
denida por (23) es una sucesion de n umeros reales y positivos,
estrictamente creciente
0 <
1
<
2
<
3
< ......,
y tal que
lm
n
n
=
Ademas sus autofunciones X
n
(x) verican las siguientes relaciones
_
b
a
X
n
(x)X
m
(x)dx = 0, n, m 1, n ,= m, (25)
que son la base de la teora que desarrollaremos en esta captulo. Las relaciones
(25) se llaman relaciones de ortogonalidad y pueden obtenerse por integracion
elemental a partir de la expresion de las autofunciones dada en (24).
3.1. Resolucion del problema de difusion unidimensional
Resumiendo, el proceso de resolucion asociado al metodo de separacion de variables
se ha desarrollado siguiendo los siguientes pasos
1. Buscar una solucion de la EDP en la forma de solucion producto del tipo (9)
(y que no sea la solucion trivial).
2. Sustituir en la EDP para obtener la relacion (10)
3. Introducir la constante de separacion IR para obtener (11)
4. Considerar las ecuaciones as deducidas (que corresponden a las ecuaciones
(12) y (13)).
5. Resolver la ecuacion diferencial ordinaria (12) introduciendo unas constantes
arbitrarias de integracion (no nulas para no reducirse a la solucion trivial).
Notese que el camino recorrido hasta ahora es independiente del tipo de condi-
cion de contorno e/o inicial del problema. En nuestro caso concreto estamos
trabajando con una condicion del tipo Dirichlet homogeneo pero la restriccion
fundamental es que sea homogenea (no que sea del tipo Dirichlet).
6. Imponer la condicion de contorno para deducir la condicion (16) que, junto a
la ecuacion (13) caracteriza y dene el problema de autovalores (17) asociado
al problema de valor inicial y de contorno (8).
7. Resolver analiticamente (cuando posible) y/o n umericamente el problema de
autovalores (17).
Una vez calculados los autovalores y autofunciones del problema de contorno (17) en
el caso = (b a) (es decir del problema (18)) volvamos al problema de contorno y
valor inicial (8). Como fruto del analisis efectuado hemos obtenido que las funciones
del tipo (9) que satisfacen la EDP y la condicion de contorno forman una sucesion
C
n
(x, t), siendo n un n umero entero positivo. A saber
C
n
(x, t) = T
n
(t)X
n
(x) = T
n
(0)e
k
n
t
sin
_
n
b a
(x a)
_
, n 1, (26)
siendo
n
y X
n
(x) los autovalores y autofunciones asociadas al problema (18) que
aparecen en (23) y (24). Los correspondientes factores temporales
T
n
(t) = T
n
(0)exp(k
n
t), n 1,
se deducen de (14) y (23). Los n umeros reales T
n
(0) son constantes arbitrarias de
integraci on. Ademas, las superposiciones de funciones C
n
(x, t) tambien satisfacen
la EDP y la condicion de contorno en (8). Por consiguiente para cualquier n umero
entero N y cualesquiera N constantes c
1
, c
2
, ...., c
N
, la funcion S
N
(x, t) denida por
una combinacion lineal nita de soluciones del tipo producto
S
N
(x, t) =
N
n=1
c
n
X
n
(x)T
n
(t) =
N
n=1
c
n
sin
_
n
b a
(x a)
_
e
k
n
t
(27)
es una solucion de la EDP que verica la condicion de contorno de Dirichlet ho-
mogenea. Notese que las constantes arbitrarias T
n
(0) han sido englobadas en las
constantes c
n
de la combinaci on lineal. Ahora bien, ya que
S
N
(x, 0) =
N
n=1
c
n
X
n
(x) =
N
n=1
c
n
sin
_
n
b a
(x a)
_
(28)
salvo en el caso en que la distribucion inicial de concentraciones C
0
(x) sea de la forma
(28) para alg un N (entero positivo) y algunos coecientes c
1
, c
2
, ...., c
N
, la funcion
S
N
(x, t) denida por (27) nunca vericar a la condicion inicial C(x, 0) = C
0
(x) y
por consiguiente no sera solucion del problema original (8). Precisemos mas. Si por
ejemplo el dato inicial C
0
(x) viene dado por
C
0
(x) = 3 sin
_
(x a)
b a
_
4 sin
_
3(x a)
b a
_
entonces la funcion
C(x, t) = 3exp
_
k
_

b a
_
t
_
sin
_
(x a)
b a
_
4exp
_
k
_
3
b a
_
t
_
sin
_
3(x a)
b a
_
es solucion de (8). Notese que tal solucion se ha obtenido con los valores N = 3,
c
1
= 3, c
2
= 0 y c
3
= 4. En efecto, C(x, t) es del tipo (27) y por consiguiente
resuelve la EDP y la condicion de contorno. Ademas C(x, 0) = C
0
(x) y por tanto
tambien satisface la condicion inicial. Ahora bien, si el dato inicial fuese el siguiente
C
0
(x) = (x a)(b x)
entonces es posible demostrar (por reduccion al absurdo) que no se puede escribir
C
0
(x) como una combinaci on lineal nita de funciones del tipo
X
n
(x) = sin
_
n
b a
(x a)
_
.
Por consiguiente, si C
0
(x) = (x a)(b x) entonces el problema (8) no admite
una solucion de la forma S
N
(x, t). Sin embargo bien pudiera ocurrir (en analoga
con el caso de los desarrollos en series de Taylor) que aun no siendo expresable
el dato inicial C
0
(x) como una superposicion nita de autofunciones del problema
(8), fuese no obstante un lmite de tales autofunciones, siendo valida la formula de
representacion del dato inicial
C
0
(x) =
n=1
c
n
X
n
(x) (29)
en alg un sentido que precisaremos posteriormente y para alguna sucesion de coe-
cientes reales c
n
n1
a determinar. Al igual que en el caso de los desarrollos en
serie de Taylor, resulta bastante razonable examinar en primer lugar como deberan
elegirse los coecientes c
n
para que la igualdad (29) fuera cierta y posteriormente
analizar si para esa eleccion de los coecientes la serie en (29) converge y caso de que
converja si lo hace o no a C
0
(x). Para calcular los coecientes c
n
se usa la relacion
de ortogonalidad (25). Sea N un n umero entero positivo jo. Multiplicando (29) por
X
N
(x), integrando entre x = a y x = b y suponiendo que la serie conmuta con la
integral, se obtiene
_
b
a
C
0
(x)X
N
(x)dx =
n=1
c
n
_
b
a
X
n
(x)X
N
(x)dx (30)
En virtud de la relacion de ortogonalidad (25) todos los sumandos de la serie innita
que aparece en (30) excepto el Nesimo se anulan:
n=1
c
n
_
b
a
X
n
(x)X
N
(x)dx = c
1
0 +c
2
0 +...... +c
N
_
b
a
X
2
N
(x)dx+c
N+1
0 +...... +0
Por consiguiente:
_
b
a
C
0
(x)X
N
(x)dx = c
N
_
b
a
X
2
N
(x)dx
de donde se concluye que
c
N
=
_
b
a
C
0
(x)X
N
(x)dx
_
b
a
X
2
N
(x)dx
=
2
b a
_
b
a
C
0
(x)X
N
(x)dx, N 1 (31)
En la determinacion de (31) hemos utilizado (24) y hemos tenido en cuenta que
_
b
a
X
2
N
(x)dx =
_
b
a
sin
2
_
N
b a
(x a)
_
dx =
b a
2
Este tipo de resultados de integraci on se consideraran en detalle en las proximas
secciones. Finalmente, sustituyendo los valores de los coecientes c
n
dados por (31)
en (29), nos preguntamos por la validez de la siguiente representaci on en serie de
autofunciones
C
0
(x) =
n=1
_
2
b a
_
b
a
C
0
(x)X
n
(x)dx
_
X
n
(x), x (a, b) (32)
Para ello es conveniente recordar aqu la denicion de funcion continua a trozos en
un intervalo de la recta real
Denicion 3.1. Diremos que una funcion f(x) denida en un intervalo I IR
es continua a trozos en el intervalo I si tiene, a lo sumo, un n umero nito de
discontinuidades de salto nito.
Veremos que si C
0
(x) (dato inicial) es derivable con derivada continua a trozos
entonces la relacion (32) es cierta para todo x (a, b) donde C
0
(x) es derivable. Si
x a, b la serie converge a cero, que en principio no es al valor de C
0
(a) o C
0
(b).
Denicion 3.2 (Series de Fourier generalizadas). A la serie que aparece en (32) se
la denomina desarrollo en serie (generalizada) de Fourier de la funcion C
0
(x) en
terminos de las autofunciones del problema de valores de contorno (18).
Tales series reciben el nombre de series de Fourier por ser este matematico frances
quien a principios del siglo XIX las introdujo
11
para resolver algunos problemas de
transmision del calor. A los coecientes del desarrollo de Fourier de C
0
(x) se les
denomina coecientes de Fourier de la funcion C
0
(x) (tambien se le conoce como
los coecientes espectrales del desarrollo). Las series denidas en (3.2) se llaman
generalizadas pues se obtienen a partir del desarrollo en serie de autofunciones lo
que puede originar no solo las series de Fourier propiamente dichas (que deniremos
en la seccion 4) sino tambien otros tipos de series, como las series de Fourier-Bessel
o las series de Fourier-Legendre que encontraremos mas adelante.
Volvamos nuevamente al problema de contorno y valor inicial. En virtud de la teora
desarrollada la funcion C(x, t) denida por
C(x, t) =
n=1
_
2
b a
_
b
a
C
0
() sin
_
n
b a
(x a)
_
d
_
sin
_
n
b a
(x a)
_
exp(k
n
t),
(33)
es solucion del problema (al menos formalmente). Si el dato inicial, f(x), es su-
cientemente regular (digamos una funcion continua con derivada continua a trozos)
se puede demostrar
12
rigurosamente que la funcion dada en (33) es solucion del pro-
blema modelo. Notese nalmente que todos los terminos de la serie en (33) tienden
a cero cuando t (debido al factor exponencial). La tasa de decaimiento crece
con el valor de n. Algunos ejemplos que ponen de maniesto este comportamiento
11
En realidad ya antes de Fourier se conocan las que se denominan actualmente las series de
Fourier (o, mejor dicho, las series trigonometricas). Una de las (m ultiples) aportaciones de Fourier
fue utilizarlas para la resolucion analtica de EDP.
12
La demostracion requiere el conocimiento del concepto de convergencia uniforme de series de
funciones y desborda los objetivos del curso.
se han considerado en la segunda practica de Laboratorio.
Resumiendo, tras la determinacion de los autovalores y autofunciones del problema
(correspondiente al septimo paso del resumen anterior) se tiene que
8. Considerar la sucesion de funciones del tipo producto (que satisfacen la EDP
y las condiciones de contorno) dada en (26).
9. Aplicar el principio de superposicion para obtener la funcion S
N
(x, t) denida
por (27).
10. Aplicar la condicion inicial a la funcion (27) para obtener (28). Este paso
corresponde a la evaluaci on de la suma parcial en el tiempo inicial t
0
= 0.
11. Si el dato inicial se puede expresar como combinacion lineal nita de autofun-
ciones, para obtener la solucion es suciente realizar la misma combinacion
lineal multiplicando cada termino por el correspondiente factor temporal.
De no ser expresable el dato inicial como superposicion nita de autofunciones
desarrollar el dato inicial mediante una superposicion innita de autofunciones
(es decir generar la serie de Fourier asociada al dato inicial) en la forma (29).
12. Determinar los n umeros c
n
(coecientes espectrales del desarrollo en serie de
Fourier del dato inicial) aplicando la relacion de ortogonalidad (25) (mediante
la ecuacion (30)) vericada por las autofunciones del problema (obteniendo
as la expresion de generico coeciente c
N
dada en (31).
13. Escribir la solucion (formal) del problema de valor inicial y de contorno original
en la forma (33).
Las lneas generales del proceso de resolucion del problema modelo son las enunciadas
en los pasos 1-13. Aclararemos en la siguiente seccion las deniciones y conceptos
de series y coecientes de Fourier para el tratamiento riguroso del problema y el
desarrollo practico de los pasos antes resumidos.
4. Series de Fourier 21
4. Series de Fourier
Las series de Fourier son un instrumento indispensable en el analisis de ciertos
fenomenos periodicos (tales como vibraciones, movimientos ondulatorios y planeta-
rios) que son estudiados en Fsica e Ingeniera.
Para poder introducir adecuadamente la teora de las series de Fourier es preciso
recordar unos conceptos y deniciones basicos que pertenecen al ambito de la teora
de las funciones ortogonales. Empezaremos introduciendo los conceptos de productos
interiores y normas para funciones integrables en el sentido de Lebesgue. Trabajare-
mos con funciones reales de variable real.
13
4.1. Preliminares. La integral de Lebesgue y el espacio de
funciones de cuadrado integrables
La integral de Riemann esta bien motivada, es facil describirla y es util en el Calcu-
lo elemental. Sin embargo esta integral no cubre todas las necesidades del Analisis
superior. Veremos en esta seccion algunos resultados (sin demostracion) de la in-
tegral de Lebesgue, que es una extension de la integral de Riemann. La integral
de Lebesgue permite integrar funciones mas generales, trata simultaneamente fun-
ciones acotadas y no acotadas y permite remplazar el intervalo [a, b] por conjuntos
mas generales.
En el metodo de Riemann el intervalo de integracion se subdivide en un n umero
nito de subintervalos. En el de Lebesgue, el intervalo se subdivide en conjuntos de
un tipo mas general llamados conjuntos medibles. Recordamos que todo intervalo
(acotado o sin acotar) es medible. Si I = (a, b), a, b IR, a b entonces (I) = ba
donde (I) denota la medida del intervalo. Si I es un intervalo no acotado entonces
(I) = +. Particularmente interesante es el concepto de medida cero. Como un
conjunto formado por un solo punto tiene medida cero, se tiene que cada subconjunto
numerable
14
de IR tiene medida cero. En particular el conjunto de los n umeros
racionales (que es numerable, vease el libro de Apostol
15
, pag 52) tiene medida cero.
Notese que existen conjuntos no numerables que tienen medida cero (por ejemplo
el conjunto de Cantor, vease el Apostol, pag 218). Mas en general un subconjunto
S de IR tienen medida cero si, para cada > 0, es posible recubrir S por medio de
una coleccion numerable de intervalos, la suma de cuyas longitudes es menor que
13
La teora que desarrollaremos es aplicable a las funciones complejas de variable compleja.
14
Un conjunto S es numerable si existe una correspondencia uno a uno entre los enteros positivos
y los elementos de S.
15
Apostol, T.M., Analisis Matematico. 2 ed. Editorial Reverte. 1982.
. El concepto de medida cero se extiende al caso n-dimensional. Se dice que una
propiedad se verica casi en todo un conjunto S IR
n
si se verica en todo S
salvo un conjunto de medida cero. Por ejemplo, si f
n
es una sucesion de funciones,
se dice que f
n
converge puntualmente a f casi en todo S (y se denota por f
n
f
c.t.p.) si
lm
n
f
n
(x) = f(x)
para todo x S excepto para los x de un subconjunto de n-medida cero (es decir
de medida n-dimensional de Lebesgue nula).
La denicion del concepto de medida cero permite caracterizar (mediante el criterio
de Lebesgue para la integrabilidad de Riemann, Apostol, teorema 7.47) las funciones
integrables seg un Riemann como las funciones denidas y acotadas en [a, b] tales
que su conjunto de discontinuidades tiene medida cero. La caracterizacion de la
clase de las funciones integrables de Lebesgue en un intervalo general se apoya
sobre los conceptos de funciones escalonadas, sucesiones monotonas de funciones
escalonadas y funciones superiores que recordaremos brevemente (pero solo en el
caso unidimensional). El lector interesado puede consultar estos temas en el libro de
Apostol, captulos 7 y 10.
Comenzaremos con la denicion de funcion escalonada
Denicion 4.1. Sea dada una funcion s denida en el intervalo compacto [a, b]. En-
tonces s se llama funcion escalonada si existe una particion P = x
0
, x
1
, ....., x
n
de [a, b] tal que s es constante en cada subintervalo abierto, por ejemplo

s(x) = c
k
, x (x
k1
, x
k
)
Una funcion escalonada es integrable de Riemann en cada subintervalo [x
k1
, x
k
] y
su integral sobre el mismo viene dada por
_
x
k
x
k1
s(x)dx = c
k
(x
k
x
k1
)
independientemente de los valores de s en los extremos. La integral de Riemann de
s en [a, b] es por consiguiente igual a la suma
_
b
a
s(x)dx =
n
k=1
c
k
(x
k
x
k1
)
Una sucesion de funciones reales f
n
denida en un conjunto S es creciente en S
si
f
n
(x) f
n+1
(x)
para todo x S y todo n. Una sucesion decreciente es la que verica la desigualdad
invertida. Si f
n
es una sucesion creciente de funciones denidas en S tal que f
n
f
casi en todo S, escribiremos f f c.t.p de S. Analogamente, la notacion f
n
f
c.t.p signica que f
n
es una sucesion decreciente en S que converge hacia f casi
en todo punto de S.
Sea S(I) el conjunto de todas las funciones escalonadas en un intervalo I. Hemos
denido la integral para todas las funciones de S(I). Ahora deseamos extender la
denicion a una clase U(I) mas amplia que contenga los lmites de ciertas sucesiones
crecientes de funciones escalonadas. Las funciones de esta clase las llamaremos fun-
ciones superiores y se denen como sigue:
Denicion 4.2. Una funcion real f denida en un intervalo I se llama funcion
superior en I, y se escribe f U(I), si existe una sucesion creciente de funciones
escalonadas s
n
tal que:
1. s
n
f c.t.p. de I.
2. lm
n
_
I
s
n
es nito.
Se dice que la sucesion s
n
genera f.
La integral de una funcion superior f se dene por la ecuacion
_
I
f = lm
n
_
I
s
n
Es posible demostrar (teorema 10.11, pg 316, captulo 10 del libro de Apostol)
que la clase de funciones superiores U(I) antes denida incluye todas las funciones
integrables de Riemann. Existen ademas funciones f U(I) tales que f / U(I).
Por consiguiente la clase U(I) es mas amplia que la clase de las funciones integrables
de Riemann en I (denotada por R(I)), ya que f R(I) si f R(I).
Si u y v son funciones superiores, la diferencia uv no es necesariamente una funcion
superior. Eliminamos esta propiedad indeseable ampliando la clase de las funciones
integrables mediante la siguiente caracterizacion de las funciones integrables seg un
Lebesgue (es decir introduciendo la denicion del espacio vectorial de funciones
integrables seg un Lebesgue L(I)):
Denicion 4.3. Se denota por L(I) al conjunto de todas las funciones f de la forma
f = uv, en donde u U(I) y v U(I). Cada funcion f L(I) se llama funcion
integrable de Lebesgue en I y su integral se dene por medio de
_
I
f =
_
I
u
_
I
v
La denicion anterior arma que toda funcion f L(I) se puede escribir como difer-
encia de dos funciones superiores y no necesariamente de forma unica. Sin embargo
es posible probar que la integral de f no depende de la eleccion de las funciones
superiores.
Recordamos las propiedades basicas de la integral de Lebesgue
PROPIEDADES DE LA INTEGRAL DE LEBESGUE
Supongamos que f L(I) y g L(I). Entonces tenemos
1. Para cada par de n umeros reales a y b se tiene que (af + bg) L(I) y
_
I
(af +bg) = a
_
I
f + b
_
I
g
2. Si f(x) 0 en c.t.p de I entonces
_
I
f 0.
3. Si f(x) g(x) en c.t.p de I entonces
_
I
f
_
I
g.
4. Si f(x) = g(x) en c.t.p de I entonces
_
I
f =
_
I
g.
Es importante notar que el comportamiento de una funcion integrable Lebesgue en
un conjunto de medida cero no afecta su integral
Teorema 4.1. Sea f una funcion denida en I. Si f = 0 en c.t.p. de I entonces
f L(I) y
_
I
f = 0
Ejemplo 4.1. Sea dada la funcion f en el intervalo [0, 1] denida por
f(x) =
_
1 si x es racional
0 si x es irracional
Entonces f = 0 en c.t.p de [0, 1] luego f es integrable seg un Lebesgue en [0, 1] y su
integral de Lebesgue es 0. Notese que esta funcion no es integrable seg un Riemann
en [0, 1].
Seg un lo anterior, toda funcion f integrable de Lebesgue en un intervalo I es el
lmite, casi en todo I, de una cierta sucesion de funciones escalonadas. Sin embargo,
el recproco no es cierto. Por ejemplo, la funcion constante 1 es un lmite de fun-
ciones escalonadas sobre la recta real IR, pero esta funcion no esta en L(IR). Por
consiguiente, la clase de funciones que son lmites de funciones escalonadas es mas
amplia que la clase de funciones integrables de Lebesgue. Las funciones de esta clase
mas amplia se llaman funciones medibles.
Denicion 4.4. Una funcion denida en I se llama medible en I, y se escribe
f M(I), si existe una sucesion de funciones escalonadas s
n
en I tal que s
n
f
en c.t.p de I, es decir
lm
n
s
n
(x) = f(x)
casi en todo I.
Toda funcion de L(I) es medible en I, pero el recproco es falso. A partir de la
denicion de funciones medibles es muy facil caracterizar el conjunto de funciones
Lebesgue integrables:
Denicion 4.5. Sea f : I IR una funcion medible. Entonces diremos que f es
integrable seg un Lebesgue y lo denotaremos por f L(I) si
_
I
f(x)dx <
Particularmente importante para ulteriores desarrollos es la clase de funciones reales
que son de cuadrado integrable (seg un Lebesgue):
Denicion 4.6. Sean f y g dos funciones complejas de L(I) cuyo producto fg
este en L(I). Entonces la integral
_
I
f(x)g(x)dx
se llama producto interior de f y g y se designa por (f, g). Si [f[
2
L(I), el
n umero no negativo (f, f)
1/2
, designado por medio de [[f[[, se llama norma L
2
de
f:
[[f[[ = (f, f)
1/2
=
__
I
[f[
2
dx
_
1/2
Para medir la distancia entre dos funciones de L
2
(I) se introduce la siguiente deni-
cion
Denicion 4.7. Se dene la distancia entre dos funciones de L
2
(I) por medio de
la ecuacion
d(f, g) = [[f g[[ =
__
I
[f g[
2
_
1/2
El espacio L
2
(I) se conoce como el espacio de funciones de cuadrado integrable.
Recordamos la denicion de sucesion de Cauchy:
Denicion 4.8. Sea f
n
una sucesion de funciones reales de L
2
(I). Entonces f
n
se dice que es una sucesion de Cauchy si para cada > 0 existe un entero N tal que
[[f
m
f
n
[[ < , m n N
El siguiente teorema ata ne la convergencia para series de funciones de L
2
(I).
Teorema 4.2. Sea g
n
una sucesion de funciones de L
2
tal que la serie
n=1
[[g
n
[[
sea convergente. Entonces la serie de funciones
1
g
n
converge casi en todo I hacia
una funcion g L
2
(I) y se tiene:
[[g[[ = lm
n
_
_
_
_
_
n
k=1
g
k
_
_
_
_
_
k=1
[[g
k
[[
El teorema anterior permite demostrar que toda sucesion de Cauchy en L
2
(I) con-
verge hacia una funcion de L
2
(I), es decir, L
2
(I) es un espacio completo. Tal resul-
tado se conoce con el nombre de teorema de Riesz-Fischer:
Teorema 4.3. Sea f
n
una sucesion de Cauchy de funciones de L
2
(I). Entonces
existe una funcion f L
2
(I) tal que
lm
n
[[f
n
f[[ = 0
Este resultado juega un papel importante en la teora de las series de Fourier. Fi-
nalmente podemos introducir el concepto de sistema ortogonal de funciones:
Denicion 4.9. Sea S =
0
,
1
,
2
, ... una coleccion de funciones de L
2
(I), I =
[a, b]. Si
(
n
,
m
)
.
=
_
b
a
n
(x)
m
(x)dx = 0, m ,= n
la coleccion S se llama sistema ortogonal en I. Si ademas [[
n
[[ = 1, n, es decir
[[
n
(x)[[ =
_
b
a
2
n
(x)dx = 1, n
entonces S se llama sistema ortonormal
Todo sistema ortogonal tal que [[
n
[[ ,= 0, n se puede convertir en ortonormal
dividiendo cada
n
por su norma.
Ejemplos de sistemas ortonormales son el sistema trigonometrico S =
0
,
1
,
2
, ...
dado por
0
(x) =
1
2n1
(x) =
cos(nx)
,
2n
(x) =
sin(nx)
, n = 1, 2, ... (34)
El sistema (real) S es ortonormal en todo intervalo de longitud 2.
Un sistema ortonormal de funciones complejas en todo intervalo de longitud 2 lo
constituye
n
(x) =
e
inx
2
=
cos(nx) + i sin(nx)
2
, n = 0, 1, 2, ...
Es posible extender la denicion de sistema ortogonal relacionandola con el concepto
de funcion peso. En concreto
0
,
1
,
2
, ... una coleccion de funciones de L
2
(I) sien-
do I = [a, b]. Sea w(x) > 0 una funcion positiva denida en I. Si
_
b
a
w(x)
n
(x)
m
(x)dx = 0, m ,= n
la coleccion S se llama sistema ortogonal con respecto a la funcion peso w(x)
en el intervalo I.
4.2. Los Coecientes de Fourier
Uno de los problemas basicos de la teora de funciones ortogonales consiste en a-
proximar tanto como sea posible una funcion dada f L
2
(I) por medio de una
combinacion lineal s
n
(x) =
n
k=1
c
k
k
(x) de elementos
n
de un sistema ortonormal
S. Se utiliza la norma [[f s
n
[[ para medir el error cometido al aproximar f por
medio de s
n
. El teorema de aproximaci on optima
16
arma que, para cada valor de
n, existe una unica eleccion posible de los coecientes (constantes) c
k
que minimice
este error (en el sentido de mnimo error cuadratico medio). Estos coecientes que
minimizan el error estan dados por la expresion
c
k
= (f,
k
), k = 0, 1, 2, ...
0
,
1
,
2
, ... un sistema ortonormal en I y f L
2
(I).
La notacion
f(x)
n=0
c
n
n
(x) = c
0
0
(x) + c
1
1
(x) + ......... + c
n
n
(x) + ......... (35)
signica que los n umeros c
0
, c
1
, c
2
,... vienen dados por las formulas
c
n
= (f,
n
) =
_
I
f(x)
n
(x)dx, n = 0, 1, 2, ... (36)
La serie (35) se denomina serie de Fourier de f relativa a S, y los n umeros c
0
,
c
1
, c
2
,... se llaman coecientes de Fourier de f relativos a S.
El smbolo que aparece en en la expresion (35) indica igualdad en el lmite, cuando
n . Tal igualdad se tiene bajo hipotesis adecuadas sobre la regularidad de la
funcion f(x). Mas detalles sobre la interpretacion de la relacion (35) se pueden
encontrar en la seccion dedicada a la convergencia de las series de Fourier.
En el caso de conjuntos innitos ortogonales con funcion peso w(x) se tiene que las
series de Fourier con respecto a la funcion peso se denen por:
0
,
1
,
2
, ... un sistema ortogonal con respecto a la
funcion peso w(x) en el intervalo I = [a, b] y sea f una funcion de cuadrado inte-
grable seg un Lebesgue, es decir f L
2
(I). La notacion
f(x)
n=0
c
n
n
(x) = c
0
0
(x) + c
1
1
(x) + ......... + c
n
n
(x) + ......... (37)
signica que los n umeros c
0
, c
1
, c
2
,... vienen dados por las formulas
c
n
=
_
I
f(x)w(x)
n
(x)dx
[[
n
(x)[[
2
, n = 0, 1, 2, ... (38)
16
teorema 11.2 pag 375, Apostol
siendo
[[
n
(x)[[
2
=
_
I
w(x)
2
n
(x)dx
La serie (35) se denomina serie de Fourier de f relativa a S con respecto a la
funcion peso w(x), y los n umeros c
0
, c
1
, c
2
,... se llaman coecientes de Fourier
de f relativos a S con respecto a la funcion peso w(x).
4.3. Analoga con el caso vectorial
Es posible establecer una analoga entre vectores y funciones utilizando la teora de
las series de Fourier. Sean v
(1)
, v
(2)
, v
(3)
vectores no nulos y ortogonales de IR
3
.
Entonces B
V
= v
(1)
, v
(2)
, v
(3)
es una base de IR
3
y podemos escribir:
u = c
1
v
(1)
+ c
2
v
(2)
+c
3
v
(3)
, c
i
IR
siendo c
i
las coordenadas del vector u en la base B
V
. Multiplicando escalarmente la
relacion anterior por v
(1)
se tiene:
_
u, v
(1)
_
= c
1
_
v
(1)
, v
(1)
_
+ c
2
_
v
(2)
, v
(1)
_
+ c
3
_
v
(3)
, v
(1)
_
= c
1
_
_
v
(1)
_
_
2
por consiguiente
c
1
=
_
u, v
(1)
_
|v
(1)
|
2
.
De forma semejante se puede comprobar que los componentes c
2
y c
3
se pueden
expresar como sigue:
c
2
=
_
u, v
(2)
_
|v
(2)
|
2
, c
3
=
_
u, v
(3)
_
|v
(3)
|
2
luego podemos expresar cualquier vector u en la forma
u = c
1
v
(1)
+ c
2
v
(2)
+ c
3
v
(3)
=
_
u, v
(1)
_
|v
(1)
|
2
v
(1)
+
_
u, v
(2)
_
|v
(2)
|
2
v
(2)
+
_
u, v
(3)
_
|v
(3)
|
2
v
(3)
es decir
u =
3
n=1
_
u, v
(n)
_
|v
(n)
|
2
v
(n)
.
La analoga consiste en sustituir el vector u por una funcion f(x), los vectores v
(i)
,
i = 1, 2, 3 (ortogonales) por un conjunto innito ortogonal de funciones
n
(x) y las
coordenadas c
i
por las formulas
c
n
=
_
I
f(x)w(x)
n
(x)dx
|
n
(x)|
2
, n = 0, 1, 2, ...
siendo
|
n
(x)|
2
=
_
I
w(x)
2
n
(x)dx
que en el caso de funcion peso constante, w(x) 1 se escriben
c
n
=
_
I
f(x)
n
(x)dx
|
n
(x)|
2
=
(f(x),
n
(x))
(
n
(x),
n
(x))
, n = 0, 1, 2, ...
siendo |
n
(x)|
2
= (
n
,
n
) =
_
I
2
n
(x)dx. En el caso de que el sistema, ademas de
ortogonal, sea ortonormal se recupera la formula (36).
4.4. Analisis del error optimo
El siguiente analisis del error de aproximaci on se encuentra en el libro de Mei, pag
91. Hemos visto que una motivaci on para el uso de las series de Fourier consiste
en la necesidad de aproximar una funcion dada f(x) por medio de una suma nita
de funciones de una base
n
(x) de un espacio vectorial de dimension innita:
f(x) S
N
(x) =
N
n=0
c
n
n
(x) (39)
donde f y las
n
estan denidas en un intervalo (0, L), y
n
(x) es un sistema
ortogonal con respecto a la funcion peso w(x):
_
L
0
w(x)
m
(x)
n
(x)dx = 0, m ,= n (40)
y donde el smbolo denota una igualdad aproximada. El lmite de S
N
para N
es la serie de Fourier. Al multiplicar la ecuacion (39) escrita en la forma
f(x) = c
0
0
(x) + c
1
1
(x) + ......... + c
n
n
(x) + .........c
N
N
(x) (41)
por w
m
, (m < N) e integrar en el intervalo (0, L) se tiene
_
L
0
w(x)
m
(x)f(x)dx = c
0
_
L
0
w(x)
m
(x)
0
(x)dx+c
1
_
L
0
w(x)
m
(x)
1
(x)dx+.........+
+........ + c
n
_
L
0
w(x)
m
(x)
n
(x)dx +....c
N
_
L
0
w(x)
m
(x)
N
(x)dx
Debido a la ortogonalidad cada termino del lado derecho es cero excepto cuando
m = n. En este caso tendremos
_
L
0
w(x)
m
(x)f(x)dx = c
m
_
L
0
w(x)
2
m
(x)dx (42)
Para mostrar que S
N
es la mejor aproximacion de f minimizando el error cuadratico
medio denido por:
N
.
=
_
L
0
w
_
f
N
n=0
c
n
n
_
2
dx (43)
imponemos las condiciones
d
N
dc
n
= 0,
d
2
N
dc
2
n
> 0 n = 0, ...., N.
Desarrollando el termino cuadratico en (43) y utilizando la ortogonalidad del sistema
n
podemos escribir
N
=
_
L
0
wf
2
dx 2
N
n=0
c
n
_
L
0
wf
n
dx +
_
L
0
w
_
N
n=0
c
n
n
_
2
dx
luego
N
=
_
L
0
wf
2
dx 2
N
n=0
c
n
_
L
0
wf
n
dx +
N
n=0
c
2
n
_
L
0
w
2
n
dx
Si
d
N
dc
n
= 0,
entonces
2
_
L
0
wf
n
dx + 2c
n
_
L
0
w
2
n
dx = 0, n = 0, ...., N.
y se deduce la expresion del n-esimo coeciente de Fourier:
c
n
=
_
L
0
wf
n
dx
_
L
0
w
2
n
dx
(44)
Observese que
d
2
N
dc
2
n
=
_
L
0
w
2
n
dx > 0, n = 0, ...., N
puesto que (por denicion) la funcion peso es positiva (w(x) > 0) en el intervalo de
ortogonalidad. Por tanto el error es mnimo para la eleccion de los coecientes de
Fourier dada en (44). A partir de (44) podemos ademas escribir:
_
L
0
wf
n
dx = c
n
_
L
0
w
2
n
dx
y sustituyendo en
N
=
_
L
0
wf
2
dx 2
N
n=0
c
n
_
L
0
wf
n
dx +
N
n=0
c
2
n
_
L
0
w
2
n
dx
se tiene
N
=
_
L
0
wf
2
dx 2
N
n=0
c
2
n
_
L
0
w
2
n
dx +
N
n=0
c
2
n
_
L
0
w
2
n
dx
es decir
N
=
_
L
0
wf
2
dx
N
n=0
c
2
n
_
L
0
w
2
n
dx
y se deduce de esta expresion que si N crece entonces el error cuadratico medio
decrece y S
N
proporciona la mejor aproximacion a f(x). Por denicion,
N
> 0
luego
0 <
N
n=0
c
2
n
_
L
0
w
2
n
dx
_
L
0
wf
2
dx (45)
Cuando N la suma que aparece en (45) tiene que estar acotada por la integral.
Luego si esa integral es acotada:
_
L
0
wf
2
dx <
tiene que ser (pasando al lmite para N )
0 <
n=0
_
c
2
n
_
L
0
w
2
n
dx
_
_
L
0
wf
2
dx (46)
La desigualdad (46) se conoce con el nombre de la desigualdad de Bessel. La
serie en la parte derecha debe converger, luego
lm
N
c
2
N
_
L
0
w
2
N
dx = 0
implicando ademas que c
N
0 para N . Ademas S
N
converge a f en el sentido
de error cuadratico si
N
0
N
=
_
L
0
wf
2
dx
N
n=0
c
2
n
_
L
0
w
2
n
dx 0
para N y esto implica
_
L
0
wf
2
dx =
n=0
c
2
n
_
L
0
w
2
n
dx (47)
que es la formula de Parseval. Si ademas S
N
f en el sentido del error cuadratico
medio para cualquier f L
2
w
(0, L) (de cuadrado integrable con peso w) entonces el
sistema ortogonal
n
es completo y signica que cualquier f se puede desarrollar
como
f(x) =
n=0
c
n
n
(x)
Cuando I = [a, b] y S es el sistema de funciones trigonometricas descrito en (34) la
serie se llama simplemente serie de Fourier generada por f y (35) se escribe en
la forma:
f(x)
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)] (48)
en donde los coecientes se han obtenido por medio de las formulas
a
n
=
1
_
2
0
f(x) cos(nx)dx, b
n
=
1
_
2
0
f(x) sin(nx)dx (49)
Notese que si f L[0, 2] entonces existen a
n
, b
n
.
4.5. Propiedades
Se pueden resumir en un teorema (ver Apostol, captulo 11).
Teorema 4.4. Sea S =
0
,
1
,
2
, ... un sistema ortonormal en I, f L
2
(I) y
n=0
c
n
n
(x) la serie de Fourier de f relativa a S. Entonces los coecientes de
Fourier c
n
verican que:
1. La serie
n=0
[c
n
[
2
converge y satisface la desigualdad de Bessel:
n=0
[c
n
[
2
[[f[[
2
2. La ecuacion (formula de Parseval)
n=0
[c
n
[
2
= [[f[[
2
se verica si y solo si:
lm
N
[[f S
N
[[ = lm
N
_
_
_
_
_
f
N
n=1
c
n
n
(x)
_
_
_
_
_
= 0
Notese nalmente que dos funciones distintas de L
2
(I) no pueden tener los mismos
coecientes de Fourier.
4.6. Convergencia de las series de Fourier
Para que un desarrollo en series de Fourier represente adecuadamente una funcion,
es necesario que la serie sea convergente.
Consideremos la serie trigonometrica de Fourier generada por una funcion f inte-
grable de Lebesgue en I = [0, 2]:
f(x)
a
0
2
+
n=1
(a
n
cos(nx) + b
n
sin(nx))
en donde a
n
, b
n
vienen dados por las formulas (49). Existen dos problemas funda-
mentales: el problema de la convergencia (saber si la serie converge en alg un punto
x I) y el de la representacion (en caso de converger saber si su suma vale f(x)
en todo punto de I).En general la respuesta a ambas cuestiones es no pues existen
funciones integrables de Lebesgue cuyas series de Fourier divergen en todo punto. Se
pueden sin embargo establecer condiciones sucientes para la convergencia de una
serie de Fourier en un punto particular.
17
17
En todas ella aparece la hipotesis de periodicidad lo que no representa una gran restriccion en
el caso de funciones denidas en intervalos acotados pues siempre se pueden prolongar de forma
periodica.
Teorema 4.5. Sea f es una funcion periodica con periodo 2 en (, ). Si f
es continua a trozos y tiene derivada f
continua a trozos, entonces para cualquier

x (, ) la serie de Fourier
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)]
con
a
n
=
1
f(x) cos(nx)dx, b
n
=
1
f(x) sin(nx)dx
converge hacia el promedio
f(x + 0) + f(x 0)
2
,
siendo f(x 0) = lm
h0
f(x h) los lmites derecho e izquierdo respectivamente).

Se deduce que si f es continua en x entonces la serie de Fourier converge a f. Si f
es discontinua entonces la serie converge hacia el promedio.
Por razones practicas de calculo, es util saber con que rapidez converge una serie de
Fourier dada. La velocidad de convergencia depende de la regularidad de la funcion
y se puede estimar a traves del siguiente teorema:
Teorema 4.6. Si existen f, f
, f
, .. , f
(m
, las derivadas hasta el orden m 1
son continuas en [a, b] pero f
(m
es continua a trozos, entonces, cuando n los
coecientes de Fourier a
n
, b
n
decaen a cero como O
_
1
n
m+1
_
Corolario 4.1. Si f es continua a trozos, entonces, cuando n , los coecientes
de Fourier a
n
, b
n
_
1
n
_
.
Corolario 4.2. Si existe f
en [a, b] y es continua a trozos, entonces, cuando n ,

los coecientes de Fourier a
n
, b
n
_
1
n
2
_
.
Resumiendo: cuanto mas regular es la funcion, mas rapidamente tienden a cero los
coecientes de Fourier. La facilidad con la cual se puede calcular numericamente una
serie de Fourier depende de la tasa de convergencia. Existen tecnicas para acelerar
una serie de Fourier. Detalles se pueden encontrar en Kantorovich y Krylov.
La teora matematica asociada a este tipo de problemas (convergencia y repre-
sentacion) se basa en conceptos, deniciones y resultados del tipo lema de Riemann-
Lebesgue, integrales de Dirichlet, n ucleo de Dirichlet, teorema de localizacion de
Riemann, criterio de Jordan, sumabilidad de Cesaro y teorema de Fejer. El analisis
de dichos resultados no sera abordado en este curso. Detalles se encuentran en el
Apostol, cap 11.
4.7. Diferenciacion e integracion de las series de Fourier
La diferenciacion de una serie de Fourier puede ser necesaria, por ejemplo, para
calcular el ujo de calor a partir de la representacion (en serie) del campo de tem-
peraturas. La idea natural es derivar termino a termino pero hay que tener cuidado
puesto que la serie resultante no siempre converge a la derivada. Sin embargo, si se
verican las siguientes condiciones:
1. La funcion f(x) es continua en [a, b].
2. La funcion derivada f
(x) es continua a trozos en [a, b].

entonces la derivaci on termino a termino de la serie de Fourier nos dara una serie
que converge a f
(x) en cada punto de (a, b) donde f
(x) es continua.
La integraci on termino a termino de una serie de Fourier se puede necesitar, por
ejemplo, para determinar la temperatura media de un objeto. Para ello es suciente
que la funcion sea continua a trozos (lo que en la practica casi nunca es una restric-
cion).
4.8. Otras formas del desarrollo en Serie de Fourier
Utilizando las formulas
2 cos(nx) = e
inx
+ e
inx
, 2i sin(nx) = e
inx
e
inx
la serie de Fourier generada por f se puede expresar en terminos de exponenciales
complejas:
f(x)
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)] =
a
0
2
+
n=1
(
n
e
inx
+
n
e
inx
) (50)
donde los coecientes
n
y
n
se obtienen de (49) utilizando las formulas de paso:
n
=
a
n
ib
n
2
,
n
=
a
n
+ ib
n
2
5. Tablas de series de Fourier trigonometricas 37
Si denotamos
0
= a
0
/2 y
n
=
n
se tiene la forma exponencial
f(x)
n=+
n=
n
e
inx
y las formulas para los coecientes
n
son
n
=
1
2
_
2
0
f(x)e
inx
dx, n = 0, 1, 2, ....
Generalizando, si f L[0, p] (es integrable seg un Lebesgue en [0, p]) y si f tiene
periodo p (es decir f(x) = f(x + p)), escribimos
f(x)
a
0
2
+
n=1
_
a
n
cos
_
2n
p
x
_
+b
n
sin
_
2n
p
x
__
para indicar que los coecientes vienen dados por las formulas
a
n
.
=
2
p
_
p
0
f(x) cos
_
2n
p
x
_
dx, b
n
.
=
2
p
_
p
0
f(x) sin
_
2n
p
x
_
dx, n = 0, 1, 2, ....
En la forma exponencial
f(x)
n=+
n=
n
e
2inx/p
en donde
n
=
1
_

0
f(x)e
2inx/p
dx, n = 0, +1, +2, ....
5. Tablas de series de Fourier trigonometricas
Las mas conocidas series de Fourier son las series trigonometricas, donde las fun-
ciones de base son senos y cosenos. Observese que el conjunto sin(nx), cos(mx)
tiene las siguientes propiedades de ortogonalidad:
_

cos(mx) cos(nx)dx =
_
_
0 si m ,= n
si m = n ,= 0
2 si m = n = 0
_

sin(mx) sin(nx)dx =
_
0 si m ,= n
si m = n ,= 0
_

sin(mx) cos(nx)dx = 0, m, n
5.1. Series de Fourier completas
Si desarrollamos f(x), x (, ) como una serie de Fourier trigonometrica se tiene
f(x)
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)]
donde los coecientes del desarrollo son, por ortogonalidad,
c
n
=
_
_
a
0
=
1
f(x)dx
a
n
=
1
f(x) cos(nx)dx
b
n
=
1
f(x) sin(nx)dx
Sustituyendo en la serie se tiene la siguiente formula de representacion integral
de una funcion:
f(x) =
1
2
_

f()d +
n=1
1
f() cos(n(x ))d

un resultado que se conoce con el nombre de teorema de Fourier. El teorema de
Fourier tiene un papel muy importante en los procesos de resolucion de las EDP en
dominios no acotados ya que permite extender el analisis de Fourier a funciones no
periodicas en dominios no acotados.
El desarrollo en series de Fourier de una funcion se ve simplicado notablemente si
tenemos en cuenta ciertas posibles simetras de la funcion a desarrollar.
Recordemos para ello la denicion de funcion par e impar:
Denicion 5.1. Una funcion f(x) es par en el intervalo L < x < L si f(x) =
f(x) e impar si f(x) = f(x).
Los tpicos ejemplos de funciones par e impar son, respectivamente, el coseno y
el seno. Cualquier funcion denida en (0, ) se puede considerar como la mitad
de una funcion par (impar) en (, ) luego se puede expresar con una serie de
cosenos (senos). Puesto que los terminos trigonometricos son periodicos en x con
periodo 2, la serie de Fourier de cosenos (senos) representa no solo f(x) en (0, )
y su extension par (impar) en (, ) sino que representa f(x) y todas sus posibles
extensiones periodicas de periodo 2. En otras palabras: la serie de cosenos (senos)
de Fourier representa una funcion periodica que es par (impar) en (, ).
5.2. Otros intervalos
Si una funcion F(y) esta denida en un intervalo (L, L) en lugar de (, ),
se rescalan las coordenadas deniendo y = Lx/ luego la funcion F(y) se puede
desarrollar en la forma:
F(y) = f
_
y
L
_
a
0
2
+
n=1
_
a
n
cos
_
ny
L
_
+ b
n
sin
_
ny
L
__
c
n
=
_
_
a
n
=
1
L
_
L
L
F(y) cos
_
ny
L
_
dy
b
n
=
1
L
_
L
L
F(y) sin
_
ny
L
_
dy
El teorema de Fourier se representa ahora mediante
F(y) =
1
2L
_
L
L
F()d +
n=1
1
L
_
L
L
F() cos
__
n
L
_
(y )
_
d
5.3. Series de Fourier cosenos
Si f(x) es una funcion par en el intervalo x (, ) y desarrollamos con una serie
de Fourier de cosenos entonces
f(x)
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)] =
a
0
2
+
n=1
a
n
cos(nx)
c
n
=
_
_
a
0
=
1
f(x)dx =
2
_

0
f(x)dx
a
n
=
1
f(x) cos(nx)dx =
2
_

0
f(x) cos(nx)dx
b
n
=
1
f(x) sin(nx)dx = 0
5.4. Series de Fourier senos
Si f(x) es una funcion impar en el intervalo x (, ) y desarrollamos con una
serie de Fourier de senos entonces
f(x)
a
0
2
+
n=1
(a
n
cos(nx) + b
n
sin(nx)) =
n=1
b
n
sin(nx)
c
n
=
_
_
a
n
=
1
f(x) cos(nx)dx = 0
b
n
=
1
f(x) sin(nx)dx =
2
_

0
f(x) sin(nx)dx
5.5. Desarrollos en mitad de intervalo
En muchos casos nos interesa representar, mediante una serie trigonometrica, una
funcion denida solo en (0, L) (mitad de intervalo con respecto a los casos anteriores
donde considerabamos intervalos simetricos respecto del origen del tipo (L, L)).
Esto se puede hacer de muchas formas distintas, dando una denicion arbitraria
de f(x) en (L, 0). Lo que se suele hacer es denir f(x) en (L, 0) como f(x) =
f(x + L). Las series de cosenos y senos que se obtienen con este metodo se llaman
desarrollos en mitad de intervalo y vienen dados por:
1. Si desarrollamos f(x) con una serie de Fourier de cosenos en mitad de intervalo
(es decir en (0, L))
f(x)
a
0
2
+
n=1
a
n
cos
_
n
L
x
_
donde los coecientes del desarrollo son
c
n
=
_
_
a
0
=
2
L
_
L
0
f(x)dx
a
n
=
2
L
_
L
0
f(x) cos
_
n
L
x
_
dx
2. Si desarrollamos f(x) con una serie de Fourier de senos en mitad de intervalo
(es decir en (0, L))
f(x)
n=1
b
n
sin
_
n
L
x
_
donde los coecientes del desarrollo son
c
n
=
_
b
n
=
2
L
_
L
0
f(x) sin
_
n
L
x
_
dx
6. Difusion bidimensional. Introduccion a las dobles
series de Fourier
En esta seccion supondremos que = (0, a) (0, b) IR
2
con a, b > 0. Entonces
x = (x, y) y el problema de autovalores (17) queda escrito en la forma
_
2
X
x
2
(x, y)

2
X
y
2
(x, y) = X(x, y), (x, y)
X(x, 0) = X(x, b) = 0, x (0, a)
X(0, y) = X(a, y) = 0, y (0, b)
(51)
Una posible estrategia para calcular autovalores y autofunciones de (51) es separar
las variables x e y del problema, buscando soluciones de la forma
X(x, y) = U(x)V (y) (52)
con U, V no identicamente nulas (es decir, buscamos soluciones distintas de la triv-
ial). Sustituyendo (52) en (51) obtenemos las condiciones necesarias y sucientes
que tienen que vericar U(x) y V (y) para que (52) resuelva (51). A saber
V (y)
d
2
U
dx
2
(x) U(x)
d
2
V
dy
2
(y) = U(x)V (y) (53)
complementadas con
U(0) = U(a) = 0, V (0) = V (b) = 0 (54)
Dividiendo (53) por U(x)V (y) obtenemos
(x)
U(x)
=
V
(y)
V (y)
+ (55)
cuyo primer miembro es funcion de x y cuyo segundo miembro es funcion de y. Por
consiguiente U y V satisfacen (53) y (54) si, y solo si, existe tal que, simult anea-
mente
_
U
(x) = U(x), x (0, a)

U(0) = U(a) = 0
(56)
y
_
V
(y) = ( )V (y), y (0, b)

V (0) = V (b) = 0
(57)
6. Difusion bidimensional. Introduccion a las dobles series de Fourier 43
Los autovalores y autofunciones de (56) son (respectivamente)
n
=
_
n
a
_
2
, U
n
(x) = sin
_
n
a
x
_
, n 1 (58)
Para que (56) tenga solucion no nula tiene que coincidir con algunos de los
n
.
Entonces (57) se convierte en
_
V
(y) = (
n
)V (y), y (0, b)
V (0) = V (b) = 0
(59)
cuyos autovalores y autofunciones son

n
=
_
m
b
_
2
, V
m
(y) = sin
_
m
b
y
_
, m 1 (60)
De este analisis se desprende que condicion necesaria y suciente para que (51) tenga
alguna solucion no nula de la forma (52) es que
=
_
n
a
_
2
+
_
m
b
_
2
para algunos enteros n, m 1. En particular los n umeros
n,m
denidos por
n,m
=
_
n
a
_
2
+
_
m
b
_
2
, n, m 1 (61)
son autovalores del problema (51) con autofunciones asociadas del tipo (52) dadas
por
X
n,m
= sin
_
n
a
x
_
sin
_
m
b
y
_
, n, m 1 (62)
6.1. La doble serie seno y coseno
La doble serie de senos para una funcion f(x, y) denida en una region rectangular
0 x a, 0 y b es
f(x, y) =
m=1
n=1
A
mn
sin
_
m
a
x
_
sin
_
n
b
y
_
en donde los coecientes del desarrollo vienen dados por
A
mn
=
4
ab
_
b
0
_
a
0
f(x, y) sin
_
m
a
x
_
sin
_
n
b
y
_
dxdy
La doble serie de cosenos para una funcion f(x, y) denida en una region rec-
tangular 0 x a, 0 y b es
f(x, y) A
00
+
m=1
A
m0
cos
_
m
a
x
_
+
n=1
A
0n
cos
_
n
b
y
_
+
m=1
n=1
A
mn
cos
_
m
a
x
_
cos
_
n
b
y
_
donde los coecientes del desarrollo A
00
, A
m0
, A
0n
, y A
mn
vienen dados por
A
00
=
4
ab
_
b
0
_
a
0
f(x, y)dxdy
A
m0
=
2
ab
_
b
0
_
a
0
f(x, y) cos
_
m
a
x
_
dxdy, A
0n
=
2
ab
_
b
0
_
a
0
f(x, y) cos
_
n
b
y
_
dxdy
A
mn
=
4
ab
_
b
0
_
a
0
f(x, y) cos
_
m
a
x
_
cos
_
n
b
y
_
dxdy
7. La ecuacion de Laplace 45
7. La ecuacion de Laplace
Tal y como vimos en las secciones anteriores, el metodo de separacion de variables se
puede utilizar tambien en dimensiones superiores siempre que las fronteras del do-
minio se puedan describir mediante una unica coordenada. Esta condicion se verica,
por ejemplo, en rectangulos, discos y esferas.
Para ilustrar la aplicacion del metodo a un problema modelo, supongamos que se
trate de encontrar la temperatura de estado estable u(x, y) en una placa rectangular
=
_
(x, y) IR
2
: 0 < x < a, 0 < y < b
_
IR
2
con bordes aislados. Cuando no escapa calor de las parades verticales de la placa
(termicamente aisladas), se resuelve la ecuacion de Laplace
u =

2
u
x
2
+

2
u
y
2
= 0, 0 < x < a, 0 < y < b
sujeta a las condiciones de contorno de tipo Neumann homogeneas en los bordes
verticales
_
u
x
_
x=0
=
u
x
(0, y) = 0, 0 < y < b,
_
u
x
_
x=a
=
u
x
(a, y) = 0, 0 < y < b
y a las condiciones de contorno de tipo Dirichlet en los bordes horizontales de la
placa
u(x, 0) = 0, 0 < x < a, u(x, b) = f(x), 0 < x < a
El problema modelo a resolver es, por tanto:
_
2
u
x
2
+

2
u
y
2
= 0, 0 < x < a, 0 < y < b
u
x
(0, y) = 0 x = 0 0 < y < b
u
x
(a, y) = 0 x = a 0 < y < b
u(x, 0) = 0 0 < x < a y = 0
u(x, b) = f(x) 0 < x < a y = b
Utilizando separacion de variables, buscaremos una solucion del tipo u = X(x)Y (y).
Introduciendo la constante de separacion
2
, IR, sustituimos en la ecuacion para
obtener:
X
X
=
Y
Y
=
2
lo que implica:
Y
2
Y = 0, X
+
2
X = 0,
siendo por tanto las soluciones generales (por ser 0 < y < b un intervalo nito
utilizaremos la expresion de la solucion en terminos de funciones hiperbolicas para
la variable Y ):
Y (y) = c
3
cosh(y) + c
4
sinh(y), X(x) = c
1
cos(x) + c
2
sin(x)
Las condiciones de aislamiento de los bordes verticales nos obligan a calcular X
(x)
X
(x) = [c
2
cos(x) c
1
sin(x)]
A partir de las condiciones de contorno originales sobre u se tiene
X
(0) = 0, X
(a) = 0, Y (0) = 0, X(x)Y (b) = f(x)

luego
c
2
= 0, [c
2
cos(a) c
1
sin(a)], c
3
= 0
Si ,= 0 se tiene
c
2
= 0, c
1
sin(a) = 0, c
3
= 0
Esto implica que los autovalores vienen dados por la ecuacion caracterstica
a = n, n = 0, 1, 2, 3, ...,
siendo
X(x) = c
1
cos(x), Y (y) = c
4
sinh(y)
Si = 0 las ecuaciones diferenciales ordinarias a resolver son X
= 0, Y
= 0. La
solucion general de X
= 0 es una funcion lineal del tipo X(x) = c

2
x + c
1
. En este
caso las condiciones de frontera X
(0) = 0 = X
(a) implican X(x) = c

1
,= 0 luego
en este caso = 0 es un valor propio pues su funcion asociada es no nula. Por tanto
los autovalores del problema son
2
n
=
n
2
2
a
2
, n = 0, 1, 2, 3, ...
y las autofunciones correspondientes
X(x) = c
1
, n = 0, X(x) = c
1
cos
_
n
a
x
_
, n = 1, 2, 3, ....
Para la variable Y se tiene: Y (y) = c
4
y + c
3
. La condicion Y (0) = 0 implica c
3
= 0
luego si = 0 entonces Y (y) = c
4
y es la autofuncion asociada. Por tanto
Y (y) = c
4
y, n = 0, Y (y) = c
4
sinh
_
n
a
y
_
, n = 1, 2, 3, ....
Las soluciones producto de la ecuacion de Laplace que satisfacen las tres primeras
condiciones de contorno son:
A
0
y, n = 0, A
n
sinh
_
n
a
y
_
cos
_
n
a
x
_
, n = 1, 2, 3, ....
Aplicando el principio de superposicion se tiene (formalmente)
u(x, y) = A
0
y +
n=1
A
n
_
sinh
_
n
a
y
_
cos
_
n
a
x
__
Al sustituir y = b se tiene
u(x, b) = f(x) = A
0
b +
n=1
A
n
_
sinh
_
n
a
b
__
cos
_
n
a
x
_
El termino en parentesis es una sucesion de constantes luego tenemos un desarrollo
de f(x) en serie de cosenos de mitad de intervalo:
f(x) =
a
0
2
+
n=1
a
n
cos
_
n
L
x
_
donde los coecientes de la expansion son
c
n
=
_
_
a
0
=
2
L
_
L
0
f(x)dx
a
n
=
2
L
_
L
0
f(x) cos
_
n
L
x
_
dx
Identicando coecientes tenemos (L = a)
A
0
b =
a
0
2
=
1
a
_
a
0
f(x)dx,
y
A
n
_
sinh
_
n
a
b
__
= a
n
=
2
a
_
a
0
f(x) cos
_
n
a
x
_
dx
luego
A
0
=
1
ab
_
a
0
f(x)dx,
y
A
n
=
2
a sinh
_
n
a
b
_
_
a
0
f(x) cos
_
n
a
x
_
dx
La solucion es, por tanto
u(x, y) =
_
1
ab
_
a
0
f(x)dx
_
y+
+
n=1
_
_
2
a sinh
_
n
a
b
_
_
a
0
f(x) cos
_
n
a
x
_
dx
_
_
sinh
_
n
a
y
_
cos
_
n
a
x
_
7.1. El problema de Dirichlet. Principio de superposicion
Un problema de valor en la frontera en que se busca una solucion de una ecuacion en
derivadas parciales de tipo elptico, como la ecuacion de Laplace,
2
u = 0, dentro
de una region tal que u adopte valores prescritos en el contorno total de esta region,
se llama problema de Dirichlet.
Un problema de Dirichlet en una region rectangular del plano se puede resolver
facilmente separando variables cuando se especican condiciones homogeneas para
dos fronteras paralelas; sin embargo el metodo de separacion de variables no se aplica
a un problema de Dirichlet con condiciones no homogeneas en los cuatro lados del
rectangulo. Para salvar esta dicultad se descompone el problema
Problema Dirichlet no homogeneo
_
2
u
x
2
+

2
u
y
2
= 0, 0 < x < a, 0 < y < b
u(0, y) = F(y) x = 0 0 < y < b
u(a, y) = G(y) x = a 0 < y < b
u(x, 0) = f(x) 0 < x < a y = 0
u(x, b) = g(x) 0 < x < a y = b
en dos problemas, cada uno con condiciones homogeneas en la frontera, en lados
paralelos
Primer problema: homogeneo en los bordes laterales
_
2
u
x
2
+

2
u
y
2
= 0, 0 < x < a, 0 < y < b
u(0, y) = 0 x = 0 0 < y < b
u(a, y) = 0 x = a 0 < y < b
u(x, 0) = f(x) 0 < x < a y = 0
u(x, b) = g(x) 0 < x < a y = b
Segundo problema: homogeneo en las bases
_
2
u
x
2
+

2
u
y
2
= 0, 0 < x < a, 0 < y < b
u(0, y) = F(y) x = 0 0 < y < b
u(a, y) = G(y) x = a 0 < y < b
u(x, 0) = 0 0 < x < a y = 0
u(x, b) = 0 0 < x < a y = b
Supongamos que u
1
y u
2
son las soluciones de los problemas anteriores. Si denimos
u(x, y) = u
1
(x, y) + u
2
(x, y)
se comprueba facilmente que u(x, y) satisface las condiciones originales de tipo
Dirichlet no homogeneo. Ademas u es una solucion de la ecuacion de Laplace (por
el principio de superposicion aplicado a una EDP lineal homogenea). Se puede com-
probar que las soluciones u
1
y u
2
de los dos problemas vienen dadas por
u
1
(x, y) =
n=1
_
A
n
cosh
_
n
a
y
_
+ B
n
sinh
_
n
a
y
__
sin
_
n
a
x
_
en donde los coecientes del desarrollo son
A
n
=
2
a
_
a
0
f(x) sin
_
n
a
x
_
dx,
y
B
n
=
1
sinh
_
n
a
b
_
_
2
a
_
a
0
g(x) sin
_
n
a
x
_
dx A
n
cosh
_
n
a
b
_
_
u
2
(x, y) =
n=1
_
A
n
cosh
_
n
b
x
_
+ B
n
sinh
_
n
b
x
__
sin
_
n
b
y
_
siendo
A
n
=
2
b
_
b
0
F(y) sin
_
n
b
y
_
dy
y
B
n
=
1
sinh
_
n
b
a
_
_
2
b
_
b
0
G(y) sin
_
n
b
y
_
dy A
n
cosh
_
n
b
a
_
_
Como aplicacion de las formulas de las dobles series de senos y cosenos estudiamos
ahora en un ejemplo el proceso bidimensional de conduccion del calor.
Ejemplo 7.1. Consideremos el proceso de difusion de calor en una placa rectangular
u
t
= k
_
2
u
x
2
+

2
u
y
2
_
, 0 < x < a, 0 < y < b
suponiendo una condicion inicial u(x, y, 0) = f(x, y), condiciones de contorno Dirich-
let homogeneas en el borde de la placa:
u(0, y, t) = u(a, y, t) = 0, 0 < y < b, u(x, 0, t) = u(x, b, t) = 0, 0 < x < a
Buscaremos una solucion del tipo u = X(x)Y (y)T(t). Sustituyendo en la ecuacion
se obtiene k(X
Y T +XY
T) = XY T
, es decir
X
X
=
Y
Y
+
T
kT
El lado izquierdo de esta ecuacion solo depende de x y el izquierdo solo depende de
(y, t) lo que implica (introduciendo una constante de separacion):
X
X
=
Y
Y
+
T
kT
=
2
luego
X
+X = 0,
Y
Y
=
T
kT
+
2
Por las mismas razones, introducimos una nueva constante de separacion en la
ecuacion derecha anterior para obtener
Y
Y
=
2
T
kT
+
2
=
2
luego
Y
+
2
Y = 0, T
+ k(
2
+
2
)T = 0
Las soluciones generales de las tres ecuaciones diferenciales ordinarias obtenidas para
las variables X, Y y T son:
X(x) = c
1
cos(x) + c
2
sin(x), Y (y) = c
3
cos(y) + c
4
sin(y),
y
T(t) = c
5
exp(k(
2
+
2
)t)
siendo c
i
, i = 15, constantes arbitrarias de integracion. A partir de las condiciones
de contorno originarias (Dirichlet homogeneas) sobre u(x, y, t) se tiene
X(0) = 0, X(a) = 0, Y (0) = 0, Y (b) = 0
Se deduce
c
1
= c
3
= 0, c
2
sin(a) = 0, c
4
sin(b) = 0
Estas ultimas implican a la vez
=
m
a
, m = 1, 2, 3, .., =
n
b
, n = 1, 2, 3, ..,
As una solucion producto de la ecuacion del calor en dos dimensiones que satisface
las condiciones en la frontera es
u
mn
(x, y, t) = A
mn
exp
_
k
_
_
m
a
_
2
+
_
n
b
_
2
_
t
_
sin
_
m
a
x
_
sin
_
n
b
y
_
siendo A
mn
constantes arbitrarias. Escribimos entonces el principio de superposicion
en forma de una serie doble:
u(x, y, t) =
m=0
n=1
A
mn
exp
_
k
_
_
m
a
_
2
+
_
n
b
_
2
_
t
_
sin
_
m
a
x
_
sin
_
n
b
y
_
(63)
La condicion inicial
En t = 0 se debe cumplir
u(x, y, 0) =
m=0
n=1
A
mn
sin
_
m
a
x
_
sin
_
n
b
y
_
multiplicando la doble serie por el producto
X
m
(x)Y
n
(x) = sin
_
m
a
x
_
sin
_
n
b
y
_
integrando en el rectangulo 0 x a, 0 y b y utilizando la ortogonalidad en
ambas direcciones x, y se tiene
A
mn
=
4
ab
_
a
0
_
b
0
f(x, y) sin
_
mx
a
_
sin
_
ny
b
_
dxdy (64)
La solucion del problema viene dada por tanto por la expresion (63) siendo los
coecientes dados por (64).
En el ejemplo que presentamos a continuacion impondremos condiciones de contorno
de tipo Neumann (en los bordes verticales de la placa) y Dirichlet en los lados
horizontales.
Ejemplo 7.2. Consideremos el proceso de difusion de calor en un rectangulo
u
t
= k
_
2
u
x
2
+

2
u
y
2
_
, 0 < x < a, 0 < y < b
suponiendo una condicion inicial u(x, y, 0) = f(x, y), condiciones de contorno de
aislamiento termico en los lados verticales (x = 0, x = 1)
u
x
(0, y, t) =
u
x
(a, y, t) = 0, 0 < y < b
y una temperatura prejada en los lados horizontales (y = 0, y = a):
u(x, 0, t) = u(x, b, t) = 0, 0 < x < a
Buscaremos una solucion del tipo u = X(x)Y (y)T(t). Sustituyendo en la ecuacion
se tiene:
X
X
+
Y
Y
=
T
kT
lo que implica:
T
+ kT = 0, X
X = 0, Y
+ ( + )Y = 0
A partir de las condiciones de contorno originarias sobre u se tiene
X
(0) = X
(a) = 0, Y (0) = Y (b) = 0

Considerando el problema
X
X = 0, X
(0) = X
(a) = 0
los autovalores y las autofunciones son (poniendo =
2
, IR)
=
m
=
m
a
, m = 1, 2, 3, ... X
m
(x) = A
m
cos
_
mx
a
_
, m = 0, 1, 2, ...
Considerando el problema
Y
+ ( +)Y = 0, Y (0) = Y (b) = 0

si denimos
2
= + =
2
los autovalores y las autofunciones son
=
n
=
n
b
, n = 1, 2, 3, ... Y
n
(x) = sin
_
ny
b
_
, n = 1, 2, 3, ...
y se tiene la relacion
m,n
=
2
m
+
2
n
=
_
m
a
_
2
+
_
n
b
_
2
Considerando el problema T
+kT = 0 la parte temporal de la solucion viene dada

por
T
mn
(t) = T(0)
mn
e
n
kt
La solucion general se encuentra por superposicion:
u(x, y, t) =
m=0
n=1
a
mn
cos
_
mx
a
_
sin
_
ny
b
_
e
n
kt
Aplicando la condicion inicial
u(x, y, 0) = f(x, y) =
m=0
n=1
a
mn
cos
_
mx
a
_
sin
_
ny
b
_
y utilizando la ortogonalidad en ambas direcciones x, y se tiene
a
0n
=
2
ab
_
a
0
_
b
0
f(x, y) sin
_
ny
b
_
dxdy,
y
a
mn
=
4
ab
_
a
0
_
b
0
f(x, y) cos
_
mx
a
_
sin
_
ny
b
_
dxdy
8. El problema de Sturm-Liouville
Las funciones ortogonales suelen surgir al resolver ecuaciones diferenciales. Ademas
se puede generar un conjunto de funciones ortogonales al resolver un problema de
valor de frontera con dos puntos, donde intervenga una ecuacion diferencial de se-
gundo orden que contenga un parametro. Presentaremos algunos ejemplos sencillos
para despues generalizar a los problemas de tipo Sturm-Liouville, una clase muy am-
plia de problemas de autovalores lineales cuyas autofunciones son, necesariamente,
8. El problema de Sturm-Liouville 55
ortogonales. Una caracterstica fundamental de este tipo de problemas es la ho-
mogeneidad del problema (entendida como homogeneidad de la ecuacion y de las
condiciones de contorno). Un problema de autovalores del tipo de Sturm-Liouville
es el analogo, en terminos de ecuaciones diferenciales del problema de autovalores
matricial (estudiado en el tema 5 de la asignatura del primer curso)
Ax = x
siendo A una matriz real simetrica (luego hermtica), x IR
N
y IR. En ambos
casos los autovalores son reales y los autovectores proporcionan una base ortogonal
para el espacio vectorial considerado. Aunque los problemas de Sturm-Liouville y
los problemas de autovalores matriciales estan as estrechamente relacionados (si la
matriz A es hermtica y el operador es hermtico (o autoadjunto)
18
) el problema de
Sturm-Liouville es mas sutil pues el espacio vectorial es innito dimensional y los
desarrollos son, en general, innitos. Notese ademas que tener un n umero innito
de funciones ortogonales no implica tener una base.
8.1. Valores propios y funciones propias
Las soluciones del problema de valores de frontera
u
+ u = 0, u(0) = 0, u(L) = 0
son no triviales (es decir no identicamente nulas) solo cuando el parametro adopta
ciertos valores. Los n umeros y sus soluciones (no triviales) correspondientes
n
=
n
2
2
L
2
, u
n
(x) = c sin
_
nx
L
_
n = 1, 2, 3, ...
se llaman, respectivamente, valores propios y funciones propias del problema. De
momento, solo observamos que el conjunto
_
sin
_
nx
L
__
n=1,2,3...
es el conjunto ortogonal de funciones en el intervalo (0, L) que se usa como base
para la serie de Fourier de senos.
De forma analoga se demuestra que las soluciones del problema de valores de frontera
u
+ u = 0, u
(0) = 0, u
(L) = 0
18
Si quisieramos generalizar mas la teora, para incluir en el mismo marco el caso de las matrices
simetricas y el de los problemas de autovalores de Sturm-Liouville deberamos estudiar los oper-
adores autoadjuntos, entendiendo las matrices, las derivadas ordinarias, las derivadas parciales y
las integrales como casos especiales de operadores. De ello se ocupa el Analisis funcional, vease por
ejemplo el libro de Brezis
19
Aqu solo observamos que, lejos de ser excepcionales, los operadores
que se encuentran en las aplicaciones son, a menudo, hermticos (o autoadjuntos).
son no triviales (es decir no identicamente nulas) solo cuando el parametro adopta
ciertos valores. Los n umeros y sus soluciones (no triviales) correspondientes
n
=
n
2
2
L
2
, u
n
(x) = c cos
_
nx
L
_
n = 0, 1, 2, ...
se llaman, respectivamente, valores propios y funciones propias del problema. Esta
vez se ha incluido el autovalor = 0 pues para n = 0 la autofuncion correspondiente
no es nula. El conjunto
_
cos
_
nx
L
__
n=0,1,2,...
es el conjunto ortogonal de funciones en el intervalo (0, L) que se usa como base
para la serie de Fourier de cosenos.
Los problemas de contorno anteriores son un caso especial del siguiente problema
general:
Denicion 8.1 (Problema regular de Sturm-Liouville). Sean p, q, r y r
funciones
de valor real continuas en el intervalo [a, b] y sean r(x) > 0, p(x) > 0 para todo
x [a, b]. El problema de valores en la frontera con dos puntos: resolver
_
_
d
dx
_
r(x)
du
dx
_
+ [q(x) + p(x)]u(x) = 0, x (a, b)
1
u(a) +
1
u
(a) = 0 x = a
2
u(b) +
2
u
(b) = 0 x = b
(65)
se llama problema regular de Sturm-Liouville. Los coecientes
i
,
i
, i = 1, 2
son constantes reales y nunca puede ocurrir que
1
=
1
= 0 o
2
=
2
= 0
(condicion de no degeneracion de las condiciones de contorno).
Como la ecuacion diferencial del problema de Sturm-Liouville (65) es homogenea,
el problema de Sturm-Liouville admite siempre la solucion trivial u 0. Se buscan
por tanto valores de tales que el problema (65) admita soluciones no triviales.
Las condiciones de contorno que aparecen en (65) tambien son homogeneas (una
condicion en la frontera del tipo u(a) +u
(a) = c, c ,= 0 es no homogenea). Un
problema regular del tipo de Sturm-Liouville se dice por tanto un problema de con-
torno homogeneo. Notese que mediante adecuadas combinaciones de los coecientes
i
,
i
, i = 1, 2 es posible generar los tres tipos de condiciones de contorno usuales:
Dirichlet, Neumann y Robin.
Cualquier ecuacion que se pueda escribir en la forma
d
dx
_
r(x)
du
dx
_
+ [q(x) + p(x)]u(x) = 0 (66)
8. El problema de Sturm-Liouville 57
siendo una constante, IR y las funciones coecientes r(x), q(x) y p(x) funciones
continuas de x, es una ecuacion del tipo de Sturm-Liouville. La funcion p(x) es el peso
necesario para que se verique la condicion de ortogonalidad de las autofunciones.
Es fundamental conocer las siguientes propiedades de los autovalores y de las auto-
funciones de un problema regular del tipo de Sturm-Liouville
Propiedades del problema regular de Sturm-Liouville
1. Existe una cantidad innita (y numerable) de valores propios (autovalores)
reales que se pueden ordenar de manera ascendente:
1
<
2
< .... <
n
< ...
de modo que
n
cuando n .
2. A cada valor propio le corresponde solo una funcion propia (salvo por m ultiplos
distintos de cero).
3. Las funciones propias que corresponden a los distintos valores propios son
linealmente independientes.
4. El conjunto de funciones propias que corresponde al conjunto de valores propios
es ortogonal con respecto a la funcion peso p(x) en el intervalo [a, b]
Matizaremos ahora el signicado de la palabra regular deniendo lo que se entiende
por problema de Sturm-Liouville singular (no regular)
Denicion 8.2 (Problema singular de Sturm-Liouville). Sean p, q, r y r
funciones
de valor real continuas en el intervalo [a, b] tales que r(a) = 0 o r(b) = 0 o r(a) =
r(b) = 0 Entonces el problema de valores en la frontera con dos puntos dado por
(65) es un problema de Sturm-Liouville singular.
La denicion anterior arma que si hay degeneracion de la ecuacion diferencial (en
el sentido que pasa a ser una ecuacion algebraica) en al menos uno de los extremos
del intervalo entonces el problema de Sturm-Liouville es singular. Notese que si hay
degeneracion en x = a (es decir si r(a) = 0) entonces una solucion de la ecuacion
puede crecer sin lmite (explotar) cuando x a. Esto, sin embargo, no implica
que las autofunciones no sean funciones acotadas en ese punto. La condicion de
ortogonalidad de las autofunciones
_
b
a
p(x)u
m
(x)u
n
(x)dx = 0,
m
,=
n
es valida sin ninguna condicion en la frontera en x = a. Una conclusion analoga se
deduce en los otros dos casos posibles de degeneracion r(b) = 0 o r(a) = r(b) = 0.
Finalmente notamos que un problema de Sturm-Liouville es singular si el intervalo
que se considera es innito.
8.2. Forma autoadjunta de una ecuacion diferencial
La ortogonalidad de las autofunciones del problema de Sturm-Liouville (con respec-
to a una funcion peso adecuada) y el hecho que los autovalores del problema son
reales es consecuencia de una propiedad mas general de los operadores diferenciales
de tipo autoadjunto. No entraremos aqu en detalles sobre la denicion de estas
propiedad pero observamos que los operadores autoadjuntos (el operador laplaciano
por ejemplo o el operador de Sturm-Liouville) siempre originan problemas de au-
tovalores autoadjuntos cuyas autofunciones son ortogonales y sus autovalores son
reales. Esta propiedad es la que, de hecho, permite extender el metodo de sepa-
racion de variables (u otros metodos del tipo transformadas nitas de Fourier) a
una amplia clase de problemas que incluye los problemas de conduccion o difusion
en coordenadas cilndricas o esfericas.
Para que se entienda la generalidad del problema de Sturm-Liouville notamos que
cualquier ecuacion diferencial ordinaria de segundo orden, lineal y homogenea con
coecientes variables
d
2
u
dx
2
+ f
1
(x)
du
dx
+ f
0
(x)u = 0
se puede escribir en la forma autoadjunta
d
dx
_
r(x)
du
dx
_
+ qu = 0
deniendo r(x) = exp
__
f
1
(x)dx
_
y q(x) = r(x)f
0
(x). Ilustraremos ahora con
unos ejemplos otros posibles casos donde aparecen problemas autoadjuntos.
Ejemplo 8.1. La ecuacion adimensional de conveccion-difusion para la concen-
tracion C
A
(, ) de una especie qumica es
1
C
A
_
=
C
A
Demostrar que el problema de autovalores asociado a la EDP anterior es un problema

de Sturm-Liouville.
9. Ecuaciones no homogeneas y condiciones en la frontera 59
Utilizando el metodo de separacion de variables buscamos una solucion del tipo
C
A
(, ) = ()Z()
Sustituyendo en la EDP se tiene
+
1
+
2
= 0, Z
+
2
Z = 0
No podemos todava resolver explcitamente la ecuacion para la (lo haremos en
las proximas secciones) pero si podemos escribir la ecuacion
+
2
= 0
en la forma equivalente
d
d
_
d
d
_
+
2
= 0
y concluir que se trata de una ecuacion del tipo de Sturm Liouville si identicamos
r() = , q() = 0, p(x) =
El problema de Sturm-Liouville obtenido es regular en cualquier intervalo (a, b)
acotado de la recta real que no contiene el origen (a > 0). Si a 0, b 0 el
problema es singular.
9. Ecuaciones no homogeneas y condiciones en la
frontera
Puede ocurrir que el metodo de separacion de variables no sea aplicable a un proble-
ma de contorno cuando la EDP o las condiciones de contorno sean no homogeneas.
Por ejemplo, cuando se genera calor a una tasa constante G en una varilla de longitud
nita, la forma de la ecuacion de transmision del calor es
u
t
= k
2
u
x
2
+ G (67)
donde G suele modelizar un termino de reaccion (generacion de calor). La ecuacion
(67) es una tpica ecuacion de reaccion-difusion. Esta ecuacion es no homogenea y se
advierte con facilidad que no es separable. Por otra lado supongamos que se desea
resolver la ecuacion del calor clasica
u
t
= k
2
u
x
2
+G
cuando las fronteras x = 0 y x = L se mantienen a temperaturas k
1
, k
2
distintas
de cero. Aun cuando la hipotesis u(x, t) = X(x)T(t) separa la ecuacion diferencial,
tenemos un problema con las condiciones de contorno pues
u(0, y) = X(0)T(t) = k
1
, u(L, y) = X(L)T(t) = k
2
implicara T(t) constante para todo t.
Pese a lo desalentador de estos comentarios es posible resolver algunos problemas
en que intervienen ecuaciones o condiciones no homogeneas mediante el cambio de
variables:
u(x, t) = v(x, t) + (x)
La idea basica es determinar , una funcion de una variable, de tal modo que v,
funcion de dos variables, pueda satisfacer una ecuacion y condiciones de contorno
homogeneas. Esta tecnica se conoce con el nombre de tecnica de desviacion de
las variables puesto que desviamos (separamos) la parte transitoria de la solucion,
v(x, t), de la parte estacionaria (x).
El procedimiento se expone en el siguiente ejemplo.
Ejemplo 9.1. Resolver el siguiente problema de valor inicial y de contorno no
homogeneo
_
_
u
t
= k
2
u
x
2
+G, 0 < x < 1, t > 0
u(0, t) = 0 x = 0 t > 0
u(1, t) = B x = 1 t > 0
u(x, 0) = f(x) 0 < x < 1 t = 0
donde el termino constante G indica una tasa de generacion de calor uniforme y
constante en el interior del dominio. En los ejemplos que siguen consideraremos los
casos de reaccion estacionaria (steady forcing en la literatura anglosajona), donde
se aplica el principio de superposicion en su forma basica para G = q(x) y de
reaccion transitoria (transient forcing) para una aplicacion mas sosticada del mismo
principio en el caso de reaccion G = q(x, t) y condiciones de contorno dependientes
del tiempo.
Tanto la ecuacion como la condicion de frontera en x = 1 son no homogeneas. Si
u(x, t) = v(x, t) + (x)
entonces
2
u
x
2
=

2
v
x
2
+
(x),
u
t
=
v
t
y al sustituir en la EDP se tiene
v
t
= k
2
v
x
2
+k
+ G (68)
La idea es simple: si imponemos que satisfaga la ecuacion
k
+ G = 0, x (0, 1), (69)

es decir si elegimos tal que
= G/k, la ecuacion (68) es homogenea. Integrando

directamente dos veces la ecuacion (69) se tiene:
(x) =
G
2k
x
2
+ c
1
x + c
2
siendo c
1
y c
2
constantes arbitrarias de integracion que se determinan mediante las
condiciones de contorno
u(0, t) = 0 = v(0, t) + (0) = v(0, t) + c
2
,
y
u(1, t) = B = v(1, t) + (1) = v(1, t)
G
2k
+ c
1
+c
2
de donde se deduce (imponiendo que la componente v de la solucion verique condi-
ciones de tipo Dirichlet homogeneas v(0, t) = v(1, t) = 0)
c
2
= 0, c
1
=
G
2k
+ B
Por tanto la funcion estacionaria buscada que permite obtener un problema ho-
mogeneo para la variable v(x, t) es:
(x) =
G
2k
x
2
+
_
G
2k
+ B
_
x
La condicion inicial
La condicion inicial u(x, 0) = v(x, 0) + (x) implica que
v(x, 0) = u(x, 0) (x) = f(x) (x) = f(x) +
G
2k
x
2
_
G
2k
+ B
_
x
.
= v
0
(x)
luego para determinar v(x, t) nos hemos reconducido a resolver el problema de valor
inicial y de contorno
_
_
v
t
= k
2
v
x
2
, 0 < x < 1, t > 0
v(0, t) = 0 x = 0 t > 0
v(1, t) = 0 x = 1 t > 0
v(x, 0) = v
0
(x) 0 < x < 1 t = 0
(70)
siendo
v
0
(x) = f(x) (x) = f(x) +
G
2k
x
2
_
G
2k
+ B
_
x
Ahora s es posible aplicar separacion de variables pues el problema (70) es ho-
mogeneo tanto en la ecuacion cuanto en las condiciones de contorno. Razonando
como de costumbre se llega a la expresion de la solucion v(x, t) del problema (70)
dada por
v(x, t) =
n=1
A
n
sin(nx)e
kn
2
2
t
en donde
A
n
= 2
_
1
0
_
f(x) +
G
2k
x
2
_
G
2k
+ B
_
x
_
sin(nx)dx
Con estos valores de los coecientes c
n
se obtiene nalmente una solucion del prob-
lema original sumando las formulas para la v(x, t) y la (x):
u(x, t) =
G
2k
x
2
+
_
G
2k
+B
_
x +
n=1
A
n
sin(nx)e
kn
2
2
t
Seguiremos analizando la ecuacion de difusion para demostrar otras posibles compli-
caciones en los problemas de valores iniciales y de contorno. Para ello supondremos
que el termino de reaccion es estacionario (y no constante). En concreto
Ejemplo 9.2. Consideraremos el proceso de conduccion de calor entre dos placas
paralelas de espesor L, siendo u(x, t) la temperatura y x la coordenada vertical.
Inclumos un termino de reaccion estacionario en el interior de las placas luego la
ecuacion que gobierna la temperatura es
u
t
= k
2
u
x
2
+ q(x), 0 < x < L, t > 0
Suponiendo una distribucion inicial de temperaturas no uniforme entre las dos pla-
cas,
u(x, 0) = f(x), 0 < x < L
y condiciones de contorno de tipo Neumann (en la placa inferior) y Dirichlet (en la
placa superior) no homogeneo
u
x
(0, t) = A, u(L, t) = B, t > 0
determinar la temperatura entre las dos placas.
El problema a resolver es:
_
_
u
t
= k
2
u
x
2
+ q(x), 0 < x < L, t > 0
u
x
= A, x = 0, t > 0,
u = B, x = L, t > 0,
u(x, 0) = f(x), 0 < x < L, t = 0
siendo A, B constantes. Todos los terminos de reaccion son independientes del tiem-
po luego es logico esperarse, para tiempos grandes, una solucion estacionaria. Uti-
lizando la linealidad del problema, dividimos la solucion en dos partes: un estado
estacionario (x) y la parte transitoria v(x, t). Es decir, buscaremos una solucion
del tipo
u(x, t) = v(x, t) + (x)
El estado estacionario tiene que vericar
_
_
k
(x) = q(x), 0 < x < L,
(0) = A x = 0
(L) = B x = L
y resolviendo por doble integraci on (primero en (0, x) luego en (x, L)) se tiene la
expresion explcita del estado estacionario
(x) = A(x L) + B +
_
L
x
__
r
0
q(s)
k
ds
_
dr
La parte transitoria de la solucion tiene que vericar
_
_
v
t
= k
2
v
x
2
, 0 < x < L, t > 0
v
x
= 0, x = 0, t > 0,
v = 0, x = L, t > 0,
v(x, 0) = f(x) (x) = v
0
(x), 0 < x < L, t = 0
siendo ahora la EDP y las condiciones de contorno homogeneas (la condicion inicial
sigue siendo no homogenea pero esto no impide la aplicacion del metodo de sepa-
racion de variables). La solucion se puede encontrar como en el ejemplo anterior.
Sea
v(x, t) = X(x)T(t)
2
sustituimos en la ecuacion para obtener:
X
X
=
T
kT
=
2
lo que implica:
T
+
2
kT = 0, t > 0 X
+
2
X = 0, x (0, L)
siendo por tanto las soluciones generales:
T(t) = exp
_
k
2
t
_
, X(x) = Asin(x) + Bcos(x)
A partir de las condiciones de contorno originarias sobre u se tienen que vericar
las siguientes condiciones homogeneas para las autofunciones
X
(0) = 0, X(L) = 0
luego A = 0 y la condicion que determina los autovalores (la ecuacion caracterstica)
es
cos(L) = 0
Se deduce que los (innitos) autovalores vienen dados por
n
=
_
n +
1
2
_

L
, n = 0, 1, 2, ...
siendo las autofunciones dadas por
X
n
(x) = cos
__
n +
1
2
_
x
L
_
, n = 0, 1, 2, ...
luego la solucion general de la ecuacion es (por superposicion):
v(x, t) =
n=0
a
n
cos
__
n +
1
2
_
x
L
_
exp
_
2
n
kt
_
Notese que la serie empieza con el valor n = 0 puesto que la autofuncion correspon-
diente
X
0
(x) = cos
_
x
2L
_
no es identicamente nula. Aplicando la condicion inicial
v
0
(x) =
n=0
a
n
cos
__
n +
1
2
_
x
L
_
Multiplicando la igualdad anterior por las autofunciones X
n
(x), integrando de 0 a
L y utilizando la ortogonalidad se llega a la expresion de los coecientes
a
n
=
2
L
_
L
0
v
0
(x) cos
__
n +
1
2
_
x
L
_
dx n = 0, 1, 2, ...
luego la solucion del problema homogeneo es
v(x, t) =
2
L
n=0
__
L
0
v
0
(x) cos
__
n +
1
2
_
x
L
_
dx
_
cos
__
n +
1
2
_
x
L
_
e
2
n
kt
y la solucion del problema originario es
u(x, t) = v(x, t) + (x) = A(x L) + B +
_
L
x
__
r
0
q(s)
k
ds
_
dr+
+
2
L
n=0
__
L
0
v
0
(x) cos
__
n +
1
2
_
x
L
_
dx
_
cos
__
n +
1
2
_
x
L
_
e
2
n
kt
En el ejemplo que presentamos a continuaci on el termino de reaccion depende del
espacio y del tiempo. Se imponen ademas condiciones transitorias (dependientes del
tiempo) en la frontera:
Ejemplo 9.3. Consideremos el problema de valores iniciales y de contorno no ho-
mogeneo denido por
u
t
= k
2
u
x
2
+ q(x, t), 0 < x < L, t > 0
Suponiendo una distribucion inicial de temperaturas no uniforme entre las dos pla-
cas,
u(x, 0) = f(x), 0 < x < L
y condiciones de contorno de tipo Neumann (en la placa inferior) y Dirichlet (en la
placa superior) no homogeneas y dependientes del tiempo
u
x
(0, t) = A(t), u(L, t) = B(t), t > 0
determinar la temperatura entre las dos placas.
El problema a resolver es:
_
_
u
t
= k
2
u
x
2
+ q(x, t), 0 < x < L, t > 0
u
x
= A(t), x = 0, t > 0,
u = B(t), x = L, t > 0,
u = f(x), 0 < x < L, t = 0
siendo A(t), B(t) funciones dadas y conocidas. Buscaremos en este caso una solucion
del tipo
u(x, t) = W(x, t) + K(x, t)
Sustituyendo se tiene que las funciones (desconocidas) W(x, t) y K(x, t) tienen que
vericar
_
_
W
t
k
2
W
x
2
+
K
t

2
K
x
2
= q(x, t), 0 < x < L,
W
x
+
K
x
= A(t) x = 0
W +K = B(t), x = L,
W +K = f(x) t = 0
Elegimos K tal que satisfaga las condiciones de contorno
K(0, t)
x
= A(t), K(L, t) = B(t)
es decir
K(x, t) = A(t)(x L) + B(t). (71)
La componente W(x, t) de la solucion tendra por tanto que vericar
W
t
k
2
W
x
2
= q(x, t) A
(t)(x L) B
(t) Q(x, t) (72)

con las condiciones de contorno honogeneas
W
x
(0, t) = 0, W(L, t) = 0
y la condicion inicial modicada
W(x, 0) = f(x) A(0)(x L) B(0) W
0
(x). (73)
Para encontrar la W(x, t), utilizamos las autofunciones que satisfacen las condiciones
de contorno homogeneas y desarrollamos en serie escribiendo
W(x, t) =
n=0
T
n
(t) cos
__
n +
1
2
_
x
L
_
(74)
Los coecientes temporales T
n
(t) que aparecen en el desarrollo en serie son funciones
(desconocidas) del tiempo t. Para poderlos determinar, sustituimos la expresion de
W(x, t) en la ecuacion (72) obteniendo:
n=0
_
T
n
+
__
n +
1
2
_

L
_
2
kT
n
_
cos
__
n +
1
2
_
x
L
_
= Q(x, t)
Multiplicando ambos terminos por las autofunciones
cos
__
n +
1
2
_
x
L
_
integrando en (0, L) y aplicando la propiedad de ortogonalidad de las autofunciones
se tiene:
_
T
n
+
__
n +
1
2
_

L
_
2
kT
n
_
=
2
L
_
L
0
Q(x, t) cos
__
n +
1
2
_
x
L
_
dx Q
n
(t)
que es un problema de valores iniciales no homogeneo para T
n
(t). La condicion inicial
se determina a partir de (2):
W(x, 0) = W
0
(x) =
n=0
T
n
(0) cos
__
n +
1
2
_
x
L
_
y se deduce (por ortogonalidad) que las constantes T
n
(0) estan dadas por
T
n
(0) =
2
L
_
L
0
W
0
(x) cos
__
n +
1
2
_
x
L
_
dx
Finalmente, el problema de valores iniciales no homogeneo para las T
n
(t) es
exp (
n
kt) [exp (
n
kt) T
n
]
= Q
n
(t)
siendo
n
=
__
n +
1
2
_

L
_
2
Integrando en (0, t) se tiene
T
n
(t) = T
n
(0)exp (
n
kt) +
_
t
0
Q
n
()exp (
n
k(t )) d (75)
La solucion matematica es ahora completa utilizando las expresiones (75) para las
T
n
(t), (74) para la W(x, t) y (71) para la K(x, t):
u(x, t) =
n=0
_
T
n
(0)exp (
n
kt) +
_
t
0
Q
n
()exp (
n
k(t )) d
_
cos
__
n +
1
2
_
x
L
_
+
+A(t)(x L) + B(t).
9.1. Empleo de series de Fourier generalizadas
Consideraremos ahora unos problemas de valor inicial y de contorno que no conducen
a las series de Fourier clasicas sino a las series de Fourier generalizadas (vease la
denicion (3.2)). Para cierto tipo de condiciones en la frontera, el metodo de sepa-
racion de variables y el principio de superposicion conducen en efecto al desarrollo
de una funcion en forma de serie trigonometrica que no es serie de Fourier. Para
resolver estos problemas se usa el concepto de serie de Fourier generalizada
9.2. Ejemplos y aplicaciones
Ejemplo 9.4. La temperatura en una varilla de longitud unitaria en que la trans-
mision de calor se produce de su extremo derecho a su extremos izquierdo, extremo
en donde la temperatura permanece siempre nula, se determina a partir del siguiente
problema modelo
_
_
u
t
= k
2
u
x
2
, 0 < x < 1, t > 0
u(0, t) = 0 x = 0 t > 0
u
x
(1, t) = hu(1, t) x = 1 t > 0
u(x, 0) = 1 0 < x < 1 t = 0
siendo h > 0. Determinar u(x, t).
Utilizando separacion de variables, buscaremos una solucion del tipo u = X(x)T(t).
2
sustituimos en la ecuacion para obtener:
X
X
=
T
kT
=
2
( IR) lo que implica:
T
+
2
kT = 0, X
+
2
X = 0,
siendo por tanto las soluciones generales:
T(t) = Ce
k
2
t
, X(x) = c
1
cos(x) + c
2
sin(x)
A partir de las condiciones de contorno originales sobre u se tiene
X(0) = 0, X
(1) = hX(1)
luego c
1
= 0. Las autofunciones son del tipo
X(x) = c
2
sin(x).
Derivando (para poder aplicar la condicion de contorno de tipo mixto en el extremo
derecho), se tiene
X
(x) = c
2
cos(x)
luego al aplicar la segunda condicion se tiene
c
2
cos() = hc
2
sin() (76)
y como c
2
,= 0 (de lo contrario las autofunciones seran funciones identicamente
nulas lo que es absurdo por la denicion de autofuncion) la condicion (ecuacion
caracterstica) que determina los autovalores es
tan() =
h
(77)
La ecuacion trascendente
20
obtenida tiene una cantidad innita y numerable de
races
n
> 0 tales que tan(
n
) =
n
h
que representan los valores propios del problema. Sus funciones propias correspon-
dientes son:
X
n
(x) = c
2
sin(
n
x), n = 1, 2, 3, ....
Los correspondiente factores temporales son
T
n
(t) = Ce
k
2
n
t
luego
u
n
(x, t) = X
n
(x)T
n
(t) = c
n
sin(
n
x)exp
_
k
2
n
t
_
, n = 1, 2, 3, ...
La solucion general de la ecuacion es (al menos formalmente y aplicando el principio
de superposicion):
20
Una ecuacion se dice trascendente si en ella aparecen funciones no algebraicas, es decir loga-
rtmicas, exponenciales y/o trigonometricas.
u(x, t) =
n=0
A
n
sin(
n
x)exp(k
2
n
t)
Aplicando la condicion inicial u(x, 0) = 1 para 0 < x < 1, se tiene
1 =
n=1
A
n
sin(
n
x)
La serie anterior no es una serie de senos de Fourier (puesto que el argumento del
seno no es un m ultiplo entero de x/L, L = 1 en este caso), sino un desarrollo
en terminos de las funciones ortogonales que se producen en el problema regular de
Sturm-Liouville que consiste en el problema de autovalores asociado a la componente
espacial X(x). Por consiguiente el conjunto de las funciones propias sin(
n
x),
n = 1, 2, 3, ..., en que las se denen mediante tan = /h es ortogonal con
respecto a la funcion peso p(x) = 1 en el intervalo [0, 1]. La formula general de los
coecientes espectrales c
n
para series de Fourier generalizadas de una funcion f(x),
siendo
n
(x) un conjunto innito ortogonal de funciones en un intervalo [a, b] es
c
n
=
_
b
a
f(x)
n
(x)dx
|
n
(x)|
2
, f(x) =
n=1
c
n
n
(x)
En nuestro caso la formula sera
c
n
=
_
1
0
X
n
(x)dx
|X
n
(x)|
2
=
_
1
0
sin(
n
x)dx
_
1
0
sin
2
(
n
x)dx
(78)
Calculamos por separado las dos integrales. Para evaluar la norma cuadratica que
aparece en el denominador de la expresion (78) se recurre a una identidad trigonometri-
ca:
|X
n
(x)|
2
=
_
1
0
sin
2
(
n
x)dx =
1
2
_
1
0
[1 cos(2
n
x)]dx =
1
2
_
1
1
2
n
sin(2
n
)
_
Puesto que sin(2
n
) = 2 sin(
n
) cos(
n
) y que la ecuacion caracterstica (76) se
escribe en terminos de
n
en la forma
n
cos(
n
) = hsin(
n
)
podemos simplicar la expresion anterior de la norma de las autofunciones:
|X
n
(x)|
2
=
_
1
0
sin
2
(
n
x)dx =
1
2h
[h + cos
2
(
n
)]
La integral que aparece en el numerador de la expresion (78) es elemental (en el
sentido que se resuelve por integracion directa)
_
1
0
sin(
n
x)dx =
1
n
cos(
n
x)[
x=1
x=0
=
1
n
[1 cos(
n
)]
Las constantes c
n
se pueden por tanto expresar en la forma
c
n
=
2h[1 cos(
n
)]
n
[h + cos
2
(
n
)]
La solucion del problema de valor inicial y de contorno es
u(x, t) =
n=0
A
n
sin(
n
x)e
k
2
n
t
= 2h
n=0
_
1 cos(
n
)
n
[h + cos
2
(
n
)]
_
sin(
n
x)e
k
2
n
t
10. Unas ecuaciones diferenciales ordinarias espe-
ciales
La ecuacion de Euler-Cauchy, la ecuacion de Bessel y la ecuacion de Legendre apare-
cen con frecuencia en estudios superiores de matematicas aplicadas, fsica e inge-
niera
21
. Tras ilustrar los casos generales que originan estas ecuaciones pasaremos
a estudiar algunos ejemplos concretos. Recordaremos nalmente los resultados mas
importantes que ata nen a estas ecuaciones especiales.
10.1. Problemas en coordenadas cilndricas
Para el caso mas general de problemas en coordenadas cilndricas debemos determi-
nar una funcion
= (r, z, , t)
Cuando no existe termino de reaccion (ni terminos convectivos ni se consideran
fenomenos de disipacion o absorcion), la ecuacion adimensional de la energa o de
conservaci on de las especies es
21
Otras ecuaciones que aparecen bastante a menudo son la ecuacion diferencial de Laguerre y
la ecuacion diferencial de Hermite. Ambas ecuaciones tienen soluciones polinomiales, se pueden
escribir en forma autoadjunta y sus autofunciones son ortogonales.
10. Unas ecuaciones diferenciales ordinarias especiales 73
t
=
1
r
r
_
r
r
_
+

2
z
2
+
1
r
2
2
(79)
En ocasiones la ecuacion anterior puede simplicarse si resultan admisibles algunas
hipotesis simplicadoras que pueden reducir la ecuacion (79) a las siguientes formas:
1. Caso estacionario y axisimetrico.
La solucion se supone independiente de y de t, es decir
(r, z, , t) = (r, z).
En este caso bidimensional (pues depende solo de (r, z), la ecuacion (79) se
transforma en
1
r
r
_
r
r
_
+

2
z
2
= 0 (80)
Para (r, z) el problema de autovalores en z tendra el mismo operador difer-
encial que aparece en coordenadas rectangulares. Sea, en efecto
(r, z) = R(r)Z(z),
entonces se tiene
1
r
d
dr
_
r
dR
dr
_
R
=
Z
Z
=
luego el problema de autovalores en la variable z es
Z
Z = 0
El problema de autovalores en r involucra una ecuacion todava no consider-
ada, conocida con el nombre de ecuacion de Bessel:
d
dr
_
r
dR
dr
_
+ rR = 0
Utilizando la expresion (65) e identicando las funciones coecientes que ah apare-
cen en la forma:
r(x) = x, q(x) = 0, p(x) = x
vemos que el problema de autovalores asociado a la variable r es un problema
del tipo de Sturm-Liouville luego sabemos que existen innitos autovalores
e innitas autofunciones ortogonales. No podemos, de momento, decir mas.
Necesitamos para ello resolver la ecuacion de Bessel (cosa que haremos en el
apartado (10.5) en este tema).
2. Caso estacionario y comportamiento plano de la solucion.
La solucion se supone independiente de z y de t, es decir
(r, z, , t) = (r, ).
En este caso bidimensional (pues depende solo de (r, ), es decir (r, )) la
ecuacion (79) se transforma en
1
r
r
_
r
r
_
+
1
r
2
2
= 0 (81)
Para (r, ) el problema de autovalores en tendra nuevamente el mismo ope-
rador diferencial que aparece en coordenadas rectangulares. La unica novedad
(de este tipo de problemas que no presentan simetra axial) aparece en las
condiciones de contorno que seran periodicas. El problema de autovalores en
r es del tipo
d
dr
_
r
dR
dr
_
+

r
R = 0
que es una ecuacion del tipo de Euler-Cauchy. Utilizando la expresion (65)
e identicando las funciones coecientes que ah aparecen en la forma:
r(x) = x, q(x) = 0, p(x) =
1
x
vemos que el problema de autovalores asociado a la variable r es un problema
del tipo de Sturm-Liouville luego sabemos que existen innitos autovalores
e innitas autofunciones ortogonales. No podemos, de momento, decir mas.
Necesitamos para ello resolver la ecuacion de Euler-Cauchy (cosa que haremos
en el apartado (10.2.4) en este tema).
3. Caso evolutivo y comportamiento radial de la solucion.
La solucion se supone independiente de z y , es decir
(r, z, , t) = (r, t).
En este caso la ecuacion (79) se transforma en
t
=
1
r
r
_
r
r
_
(82)
El problema de autovalores en r es, nuevamente, una ecuacion de Bessel. Mas
en general se tiene un problema de autovalores del tipo de Sturm-Liouville.
10.2. El problema de Dirichlet en el disco para la ecuacion
de Laplace
El objetivo de esta seccion es ilustrar la importancia de la ecuacion de Euler-Cauchy
en la resolucion del problema de valores de contorno para la ecuacion de Laplace
_
u(x, y) = 0, (x, y) D
R
,
u(x, y) = f(arctan(y/x)) (x, y) D
R
(83)
donde
D
R
= (x, y) IR
2
: x
2
+ y
2
< R
2
, D
R
= (x, y) IR
2
: x
2
+ y
2
= R
2
y f() es una funcion real (dato del problema) que por la naturaleza del modelo
supondremos que es continua y 2 periodica:
f( + 2) = f(), [0, 2]
Desde el punto de vista de las aplicaciones el problema de valores de contorno
equivale a la determinacion de la distribucion de concentraciones en condiciones
estacionarias de una sustancia que se difunde en un disco, a partir de la distribucion
de concentraciones en el borde. Tambien equivale a la determinacion de la distribu-
cion de temperaturas en cada punto de un disco en condiciones estacionarias a partir
de la distribucion de temperaturas en el borde del disco.
10.2.1. Cambio a coordenadas polares
Con el objeto de poder separar variables para resolver el problema de contorno
efectuaremos el siguiente cambio a coordenadas polares
r =
_
x
2
+ y
2
, = arctan
_
y
x
_
,
siendo v(r, ) denida por
v(r, ) = u(x, y)
la nueva variable dependiente. Utilizando la regla de la cadena se obtiene
u
x
= v
r
r
x
+ v
x
= v
r
x
r
v
y
r
2
y
u
xx
= (v
rr
r
x
+ v
r
x
)
x
r
+ v
r
r
2
x
2
r
3
(v
r
r
x
+ v
x
)
y
r
2
+ v
2xy
r
4
=
= v
rr
x
2
r
2
2v
r
xy
r
3
+ v
y
2
r
4
+v
r
r
2
x
2
r
3
+ v
2xy
r
4
Analogamente:
u
y
= v
r
r
y
+v
y
= v
r
y
r
+v
x
r
2
y
u
yy
= (v
rr
r
y
+v
r
y
)
y
r
+ v
r
r
2
y
2
r
3
+ (v
r
r
y
+ v
y
)
x
r
2
v
2xy
r
4
=
= v
rr
y
2
r
2
+ 2v
r
xy
r
3
+ v
x
2
r
4
+ v
r
r
2
y
2
r
3
v
2xy
r
4
Sumando las dos expresiones, u
xx
+ u
yy
se tiene que v(r, ) debe ser solucion del
problema de valores de contorno
_
_
v
rr
+
1
r
v
r
+
1
r
2
v
= 0, r (0, R), [0, 2]

v(R, ) = f() r = R, [0, 2]
v(r, + 2) = v(r, ) r [0, R], [0, 2]
(84)
La condicion de periodicidad v(r, + 2) = v(r, ) hay que imponerla a causa del
signicado de las coordenadas polares. Ademas, debido a la naturaleza del problema
bajo estudio, hemos de imponer la siguiente restriccion de caracter fsico:
v(r, ) < , (r, ) [0, R] [0, 2] (85)
es decir: las soluciones fsicamente admisibles (matematicamente puede haber otras)
tienen que ser acotadas.
10.2.2. Resolucion del problema de Dirichlet
Para la resolucion del problema de contorno constituido por (84) y (85) utilizaremos
el metodo de separacion de variables, buscando en primer lugar funciones de la forma
v(r, ) = X(r)()
que resuelvan la ecuacion en (84), que sean 2 periodicas en la variable y que
esten acotadas para r (0, R). Sustituyendo en la ecuacion diferencial y separando
variables se obtiene
r
2
X
(r)
X(r)
+
rX
(r)
X(r)
=
()
()
El primer miembro de esta ecuacion es independiente de mientras que el segundo
es independiente de r. Por consiguiente, ya que coinciden, los dos tienen que ser
independientes de r y de , de donde se deduce la existencia de una constante (de
separacion) tal que
r
2
X
(r)
X(r)
+
rX
(r)
X(r)
=
()
()
=
Por lo tanto tiene que existir un n umero real (si es que existen soluciones del tipo
producto buscado) para el que se veriquen simult aneamente el siguiente par de
ecuaciones diferenciales ordinarias
r
2
X
(r) + rX
(r) X(r) = 0, r (0, R), (86)

y
() = (), [0, 2] (87)

Por otro lado, como queremos que X(r)() sea 2 periodica en la variable y que
este acotada para r [0, R], hemos de imponer la siguiente condicion de periodicidad
( + 2) = (), [0, 2] (88)
y la siguiente condicion de acotacion
X(r) < , r [0, R] (89)
10.2.3. Resolucion de los problemas de autovalores asociados
Resolveremos en primer lugar el problema
_

() = () r (0, R),
( + 2) = () [0, 2]
(90)
Hemos de distinguir tres casos.
1. caso: < 0. Entonces la solucion general de la EDO es
() = Ae
+Be

que no es periodica a menos que A = B = 0. Estos valores nos proporcionan
por tanto la solucion v(r, ) 0, que ya sabemos que es la solucion trivial.
2. caso: = 0. En este caso la solucion general de la EDO es
() = A + B
y, puesto que tiene que ser periodica se deduce que B = 0 luego () = A.
Consideremos ahora la EDO (que es una ecuacion diferencial ordinaria con
coecientes variables del tipo de Euler-Cauchy, como veremos a continuacion)
r
2
X
(r) + rX
(r) X(r) = 0, r (0, R)

Cuando = 0 se tiene
r
2
X
(r) + rX
(r) = 0, r (0, R)
y la solucion general es
X(r) = a +b ln r
Para que X(r) este acotada en (0, R) hemos de imponer b = 0. Por tanto el
valor = 0 nos proporciona las constantes como soluciones acotadas y 2
periodicas.
3. caso: > 0. En tal caso la solucion general de (87) es
() = Ae
i
+ Be
i
siendo i la unidad imaginaria compleja.

Aplicando las condiciones de periodicidad (88) para la funcion la funcion () es
2 periodica si, y solo si, = n
2
, n 1; Estos hechos nos delimitan el conjunto de
posibles soluciones al siguiente:
n
() = A
n
e
in
+ B
n
e
in
(91)
para cada n = 1, 2, ... Observemos que para n = 0 ( = 0), la relacion (91) propor-
ciona las constantes que aparecieron en el caso anterior.
El problema de autovalores (86) no puede ser resuelto con los metodos anteriores.
Para ello necesitamos introducir las ecuaciones del tipo de Euler-Cauchy.
10.2.4. La ecuacion de Euler-Cauchy
Toda ecuacion diferencial lineal de la forma
a
n
x
n
d
n
u
dx
n
+ a
n1
x
n1
d
n1
u
dx
n1
+ ....... + a
1
x
du
dx
+ a
0
u = g(x) (92)
donde los coecientes a
n
, a
n1
, ..., a
0
son constantes, se llama ecuacion de Euler-
Cauchy o ecuacion equidimensional. La caracterstica observable de este tipo
de ecuaciones es que el grado k = n, n 1, ...., 0 de los coecientes monomiales
x
k
coincide con el orden k de la diferenciacion, d
k
u/dx
k
. Notese que toda ecuacion
de Euler siempre se puede escribir en la forma de una ecuacion diferencial lineal
con coecientes constantes, mediante la sustitucion x = e
t
. La idea es resolver la
nueva ecuacion diferencial en terminos de la variable t (siguiendo los metodos del
tema 13 de la asignatura de Elementos de Matematicas del primer curso), y una vez
obtenida la solucion general, sustituir t = ln x. La expresion de la solucion general
de la ecuacion de Euler puede sin embargo obtenerse facilmente como se muestra en
el siguiente razonamiento. Por simplicidad consideraremos que n = 2 (y dejamos al
lector la sencilla tarea de extender el procedimiento a valores de n superiores. En
tal caso la ecuacion (92) se reduce a
ax
2
d
2
u
dx
2
+ bx
du
dx
+ cu = 0 (93)
El metodo de resolucion de (93) consiste en buscar una solucion del tipo u = x
m
,
donde m esta por determinar. Al sustituir en la ecuacion (93) se verica que u = x
m
es una solucion de (93) siempre que m sea una raz de la ecuacion auxiliar
am
2
+ (b a)m+ c = 0 (94)
Se consideran tres casos distintos, dependiendo de si las races de esta ecuacion
cuadratica son reales y distintas, reales m ultiples (una doble) o complejas conju-
gadas.
Primer Caso: races reales distintas
Sean m
1
y m
2
las races reales de (94), tales que m
1
,= m
2
. Entonces
u
1
= x
m
1
, u
2
= x
m
2
forman un conjunto fundamental de soluciones. La solucion general es:
u = c
1
x
m
1
+ c
2
x
m
2
Segundo Caso: races reales m ultiples
Sean m
1
y m
2
las races reales de (94), tales que m
1
= m
2
= m. Entonces
u
1
= x
m
, u
2
= x
m
ln x
u = c
1
x
m
+ c
2
x
m
ln x
Para las ecuaciones de orden superior se puede demostrar que si m es raz de mul-
tiplicidad k entonces
x
m
, x
m
ln x, x
m
(ln x)
2
, ........ , x
m
(ln x)
k1
son k soluciones linealmente independientes. En consecuencia la solucion general de
la ecuacion diferencial debe contener una combinaci on lineal de esas k soluciones
particulares.
Tercer Caso: races complejas
Sean m
1
= + i y m
2
= i las races complejas de la ecuacion auxiliar (94).
Entonces las funciones
u
1
= x
cos( ln x), u
2
= x
sin( ln x)
u = x
[c
1
cos( ln x) + c
2
sin( ln x)]
10.2.5. Aplicacion de la resolucion de la ecuacion de Euler-Cauchy al
problema de Dirichlet en el disco
.
Volvamos ahora a la resolucion del problema de contorno de Dirichlet en el disco
para la ecuacion de Laplace (83). El analisis anterior nos dijo que la soluciones
periodicas de (87) estan asociadas a valores de = n
2
(es decir positivos). En tal
caso, su expresion viene dada por (91). Pasando al problema asociado a la ecuacion
de Euler-Cauchy dada en (86) vemos que la ecuacion auxiliar es m
2
= luego
m =
son las races de la ecuacion. Puesto que > 0, se tiene que m IR.
En tal caso la solucion general de (86) es
X(r) = ar
+ br
,
Aplicando la condicion de acotacion (89) para la funcion X se tiene que b = 0. Estos
hechos nos delimitan el conjunto de posibles soluciones al siguiente:
X
n
(r) = a
n
r
n
, (95)
Utilizando (91), (95) y tomando superposiciones arbitrarias de
v
n
(r, ) = X
n
(r)
n
(), n 0
nos vemos abocados a intentar como solucion del problema de Dirichlet en el disco
la siguiente
v(r, ) =
n=
n=
c
n
r
|n|
e
in
(96)
donde los coecientes c
n
tendran que ser calculados de tal manera que se verique
la condicion de contorno v(R, ) = f(). Es decir
v(R, ) =
n=
n=
c
n
R
|n|
e
in
= f() (97)
Para calcular los coecientes de este desarrollo en serie de Fourier de f utilizaremos
el hecho que
_

e
ik
d = 0,
para todo k entero y no nulo: k ,= 0. Fijemos un entero N arbitrario. Multipliquemos
ambos lados de (97) por e
iN
e integremos en entre y . Entonces calculando
formalmente la integral de la serie obtenemos
_

f()e
iN
d =
_

n=
n=
c
n
R
|n|
e
i(nN)
d =
=
n=
n=
c
n
R
|n|
_

e
i(nN)
d = c
N
R
|N|
2
de donde se concluye que los coecientes c
N
deberan venir dados por la formula
c
N
=
1
R
|N|
1
2
_

f()e
iN
d, N = 0, 1, 2, .....
Sustituyendo esta expresion en (96) obtenemos la solucion (a priori formal) del
problema de valores de contorno de Dirichlet en el disco asociado a la ecuacion de
Laplace bidimensional (83):
v(r, ) =
n=
n=
_
r
R
_
|n|
_
1
2
_

f(t)e
int
dt
_
e
in
(98)
Dado que los calculos efectuados son rigurosos para r < R, la funcion denida en
(98) es una solucion de la ecuacion de Laplace en el disco. Ademas es 2 periodica en
la variable y esta acotada en subconjuntos compactos del disco. Para comprobar
que v(r, ) es la solucion del problema solo nos hace falta comprobar que verica la
condicion de Dirichlet en el borde del disco
v(R, ) = f(),
Aqu surge una peque na complicacion proveniente del hecho que los calculos efectua-
dos anteriormente dejan de tener validez cuando r = R. Esta aparente complicacion
la resuelve un resultado conocido con el nombre de Teorema de Poisson
22
que arma
que si f es continua y 2 periodica, entonces
lm
rR
v(r, ) = f()
siendo la convergencia anterior uniforme en la variable . Ademas la funcion v(r, )
dada en (98) es una solucion del problema de valores de contorno (83). Tambien es
posible comprobar facilmente que es la unica solucion del problema.
10.3. Conduccion del calor estacionaria en un crculo
En el ejemplo que presentamos a continuaci on se resume el proceso de resolucion
de conduccion del calor en un crculo. Representaremos la solucion del problema
desarrollando el dato en el contorno, f(), en la forma (mas habitual) de series
trigonometricas en lugar de la forma en serie de exponenciales complejas utilizada
anteriormente. Tras el ejemplo mostraremos como una (aparentemente) leve mod-
icacion de la geometra del dominio puede ocasionar la perdida de la propiedad
22
Las complicaciones tecnicas asociadas con este resultado son notables y un tratamiento formal
de la teora necesita introducir los conceptos de n ucleo de Poisson, n ucleo de Dirichlet, Lema de
Riemann-Lebesgue. Tales resultados desbordan los objetivos de este curso y tal vez obscurezcan el
resultado nal de nuestro analisis mediante el cual se ha obtenido la unica solucion del problema
de contorno asociado a la ecuacion de Laplace bidimensional en un disco.
de ortogonalidad de las autofunciones causando la imposibilidad de un tratamiento
analtico y la necesidad de un tratamiento numerico para la determinacion de los
coecientes espectrales del desarrollo en serie de la solucion.
Ejemplo 10.1. En equilibrio estacionario, el campo de temperaturas T(r, ) en un
crculo 0 < r < a se gobierna por la ecuacion de Laplace
2
T(r, ) =

2
T
r
2
+
1
r
T
r
+
1
r
2
2
T
2
= 0, 0 r a
Supongamos prejada la temperatura en el borde del disco (la circunferencia):
T(a, ) = f(), 0 2
Obviamente supondremos que la temperatura en el interior del disco es nita: es
decir buscaremos soluciones acotadas.
Nuevamente, puesto que las condiciones de contorno estan especicadas mediante
una unica coordenada (r = a) podemos intentar aplicar el metodo de separacion de
variables. Buscaremos por tanto una solucion en la forma separada:
T(r, ) = R(r)()
Sustituyendo en la ecuacion de Laplace escrita en coordenadas polares se tiene:
_
R
+
1
r
R
_
+
R
r

= 0
es decir
r
2
R
+rR
R
=
=
siendo una constante de separacion. Se deduce las siguientes ecuaciones diferen-
ciales ordinarias:
r
2
R
+ rR R = 0, 0 r a,
+ = 0,
La solucion para la variable es
() = Acos(
) + Bsin(
)
Puesto que el rango de recubre el crculo entero, debe ser periodica en con
periodo 2, es decir () = ( +2) lo que es posible si y solo si
es un n umero
entero,
= n
2
, n = 0, 1, 2, ....
Con esta informacion volvemos a la ecuacion para la R(r) teniendose:
r
2
R
+ rR n
2
R = 0, 0 r a,
La anterior es una ecuacion del tipo de Euler-Cauchy y admite la solucion general:
R
0
= C
0
+D
0
ln r, R
n
= C
n
r
n
+D
n
r
n
, n = 1, 2, 3, ...
Puesto que T debera ser acotada en todo el disco, es necesario imponer D
n
= 0, n.
Luego R
n
= C
n
r
n
, n = 0, 1, 2, ... y la solucion mas general para la temperatura es
T(r, ) =
n=0
r
n
(A
n
cos(n) + B
n
sin(n))
La condicion de contorno en la frontera del disco implica que:
f() =
n=0
a
n
(A
n
cos(n) + B
n
sin(n))
(notese que lo anterior es equivalente a desarrollar f() en series de Fourier trigonometri-
cas). Los coecientes del desarrollo se pueden determinar facilmente utilizando las
propiedades de ortogonalidad de cos(n) y sin(n) en el intervalo (, ):
_

cos(mx) cos(nx)dx =
_
_
0 si m ,= n
si m = n ,= 0
2 si m = n = 0
_

sin(mx) sin(nx)dx =
_
0 si m ,= n
si m = n ,= 0
_

sin(mx) cos(nx)dx = 0, m, n
Por tanto, los coecientes A
n
son
A
n
=

n
2a
n
_

f() cos(n)d
siendo
n
el smbolo de Jacobi:
0
= 1,
n
= 2, n = 1, 2, 3, .... Por otra parte los
coecientes B
n
son
B
n
=
1
2a
n
_

f() sin(n)d
siendo a el radio del crculo. La solucion es ahora completa.
Notese que en el centro del disco, r = 0:
T(0, ) = A
0
=
1
2
_

f()d
luego la temperatura en el centro del crculo es igual al promedio de los valores de
contorno en la circunferencia. Esta formula se conoce con el nombre del teorema del
valor principal para funciones armonicas.
Finalmente observamos lo siguiente: la aplicacion rutinaria del metodo de separacion
de variables podra generar la impresion que se trata de un metodo infalible. Sin
embargo, unas peque nas variaciones de las condiciones en el problema anterior mues-
tran lo facil que es desilusionarse. El exito de la resolucion anterior esta asociado
con la propiedad de ortogonalidad pues en el problema considerado el dominio es el
crculo entero. En un crculo incompleto podemos perder las ventajas de la ortogo-
nalidad. Para demostrar esta armacion consideremos la siguiente modicacion del
ejemplo de la conduccion estacionaria de calor.
Ejemplo 10.2. Supongamos la existencia de un material aislante a lo largo del
radio = , 0 r < a de modo que no haya ujo de calor a lo largo de este radio:
T
= 0, 0 r < a, =
En la frontera circular mantenemos prejada la temperatura:
T(a, ) = f(), < <
El dominio fsico ya no es el crculo completo.
Por separacion de variables obtenemos
T(r, ) = r
[Acos() + Bsin()]
Para que T sea acotada en el origen no puede ser negativo (pues tendramos una
singularidad), luego supondremos 0. Las condiciones de aislamiento requieren
[Asin() Bcos()] = 0, [Asin() + Bcos()] = 0,
y puesto que A y B no pueden ser cero simultaneamente, debe ser una solucion
de la ecuacion caracterstica sin(2) = 0 luego
=
n
=
n
2
, n = 0, 1, 2, ...
La solucion general es por tanto
w(r, ) =
n=0
r
n/2
_
A
n/2
cos
_
n
2
_
+ B
n/2
sin
_
n
2
__
Las condiciones de contorno en la circunferencia r = a requieren que
f() =
n=0
a
n/2
_
A
n/2
cos
_
n
2
_
+ B
n/2
sin
_
n
2
__
Las sucesiones
_
cos
_
n
2
__
,
_
sin
_
n
2
__
no son, desafortunadamente, ortogonales en el rango (, ) luego los coecientes
A
n/2
y B
n/2
no se pueden determinar con el procedimiento habitual (multiplicacion
por autofunciones e integraci on utilizando la propiedad de ortogonalidad) sino que
deben de calcularse con metodos numericos.
10.4. El problema de Dirichlet en el disco para la ecuacion
de difusion
Considereremos el siguiente problema de difusion en el disco D
R
de frontera (la
circunferencia) D
R
_
_
C
t
= k
_
2
C
x
2
+

2
C
y
2
_
, (x, y) D
R
,
C(x, y, t) = 0 (x, y, t) D
R
(0, )
C(x, y, 0) = C
0
(x, y) (x, y) D
R
(99)
donde k es el coeciente de difusion y C
0
(x, y) es la concentracion inicial de la especie
qumica bajo consideracion. La resolucion de (99) mediante el metodo de separacion
de variables consiste en buscar soluciones del tipo
C(x, y, t) = T(t)Q(x, y)
lo que conduce al siguiente problema de autovalores para el operador de Laplace
_
Q = Q, (x, y) D
R
,
Q(x, y) = 0 (x, y) D
R
(100)
Ya es conocido que los para los que el problema de autovalores (100) tiene solu-
ciones no triviales son estrictamente positivos. Por tanto, supondremos que > 0.
Cambiando a coordenadas polares
r =
_
x
2
+ y
2
, = arctan
_
y
x
_
, v(r, ) = Q(x, y)
el problema de autovalores (100) se transforma en
_
_
v
rr
+
1
r
v
r
+
1
r
2
v
= v, r (0, R), [0, 2]

v(R, ) = 0 r = R, [0, 2]IR
v(r, + 2) = v(r, ) r [0, R], [0, 2]IR
(101)
(comparese este problema con el problema (84) que se puede recuperar para el valor
= 0).
Por la naturaleza fsica de las soluciones buscadas, unicamente estamos interesados
en soluciones acotadas. Por tanto hemos de imponer que las soluciones de (101)
esten acotadas para (r, ) [0, R] [0, 2]. La resolucion de (101) se efect ua, a su
vez, utilizando la separacion de variables
v(r, ) = X(r)() (102)
Sustituyendo (102) en la ecuacion diferencial (101) y efectuando algunas manipula-
ciones elementales se deduce que
r
2
_
X
(r)
X(r)
+
1
r
X
(r)
X(r)
+
_
=
()
()
, 0 < r < R, [0, 2]
Por consiguiente ha de existir un n umero real, digamos , para el que se veriquen
simultaneamente el siguiente par de ecuaciones diferenciales ordinarias
X
(r) +
1
r
X
(r)
_

r
2
_
X(r) = 0, r (0, R), (103)
y
() = (), [0, 2]
Imponiendo las condiciones de contorno en (101) se obtiene que X y tienen que
vericar
X(R) = 0, ( + 2) = (), [0, 2] (104)
La condicion de periodicidad sobre implica
n
= n
2
, n = 0, 1, 2, ...
quedando reducido el problema anterior a la resolucion de la siguiente familia de
ecuaciones diferenciales
X
(r) +
1
r
X
(r)
_

n
2
r
2
_
X(r) = 0, r (0, R), n 0 (105)
sujetas a las condiciones
X(r) < , 0 < r < R, X(R) = 0 (106)
A una ecuacion del tipo (105) se la conoce con el nombre de ecuacion de Bessel.
10.5. La ecuacion de Bessel
Sea u = u(x) una funcion real de variable real. La ecuacion
x
2
u
+ xu
+ (x
2
2
)u = 0 (107)
siendo 0 se conoce con el nombre de ecuacion de Bessel de orden . La
ecuacion (107) se puede escribir en la forma
x
d
dx
_
x
du
dx
_
+ (x
2
2
)u = 0
Buscamos una solucion en la forma (de serie de potencias
23
) u =
n=0
c
n
x
n+r
. Susti-
tuyendo en la ecuacion y tras unas cuantas manipulaciones se obtiene la siguiente
expresion de los coecientes c
n
del desarrollo en serie:
c
2n
=
(1)
n
2
2n+
n!(1 + + n)
23
Las deniciones y conceptos sobre series de potencias no seran aqu considerados. Una refer-
encia practica y sencilla es el libro de Zill, captulo 6, donde se considera el proceso de resolucion
en forma de series de potencias de ecuaciones lineales con coecientes variables.
siendo () la funcion Gamma cuya denicion recordamos a continuacion
La funcion Gamma
La notacion usual en forma integral de la Funcion Gamma (introducida por el
matematico frances Legendre en 1814) es:
(x) =
_

0
t
x1
e
t
dt, x > 0 (108)
A partir de la denicion se calcula facilmente que (1) = 1 e integrando por partes
se tiene la formula recursiva
(x + 1) = x(x)
Si x es un n umero entero se tiene (por la identidad anterior) (n) = (n1)(n1)
y se deduce la formula factorial
(n) = (n 1)!
Ocasionalmente, el rango de integracion en la denicion (108) de la funcion Gamma
no es nito y esto dene la funcion Gamma incompleta:
(x, ) =
_

0
t
x1
e
t
dt, x > 0, > 0 (109)
10.5.1. Funciones de Bessel de primera clase
Sustituyendo la expresion de los coecientes c
2n
en la solucion en serie u =
n=0
c
n
x
n+r
se obtienen las funciones
J
(x) =
n=0
(1)
n
n!(1 + +n)
_
x
2
_
2n+
, J
(x) =
n=0
(1)
n
n!(1 + n)
_
x
2
_
2n
que se conocen con el nombre de funciones de Bessel de primera clase o de
primera especie. Se puede demostrar que tales expresiones (en principio formales
por involucrar series innitas) convergen en (0, ). Sustituyendo x por [x[ se puede
demostrar que convergen para 0 < [x[ < . La convergencia en el cero puede no
tener lugar pues dependiendo de los valores de pueden aparecer potencias negativas
en las expresiones anteriores. Notamos nalmente que la funcion i
(ix), siendo i
la unidad imaginaria es una funcion real. Esta funcion, denida por
I
(x) = i
(ix)
se llama funcion modicada de Bessel de primera clase de orden .
Es necesario tener un cuidado especial al escribir la solucion general de la ecuacion
de Bessel pues dependiendo de los valores de las funciones de Bessel de primera
clase pueden ser linealmente dependientes. Se distinguen dos casos principales:
entero y no es entero.
10.5.2. Solucion general cuando el orden no es entero
Si no es un n umero entero entonces las funciones de primera clase de Bessel son
linealmente independientes. En este caso la solucion general es
u = a
1
J
(x) + a
2
J
(x)
Ejemplo 10.3. La solucion general de
x
2
u
+ xu
+
_
x
2
1
4
_
u = 0
en (0, ) es
u = a
1
J
1/2
(x) + a
2
J
1/2
(x)
Si es un n umero entero entonces las funciones de primera clase de Bessel son
linealmente dependientes pues
J
n
(x) = (1)
n
J
n
(x).
Se necesita introducir la siguiente denicion.
10.5.3. Funciones de Bessel de segunda clase
La funcion denida por la combinacion lineal
Y
(x) =
cos()J
(x) J
(x)
sin()
y la funcion J
(x) son soluciones linealmente independientes de la ecuacion de

Bessel
24
.
24
Si el parametro que aparece en la ecuacion de Bessel no es entero este resultado es facil de
establecerse. En caso contrario hay unas complicaciones tecnicas que desbordan los objetivos del
curso.
10.5.4. Solucion general para cualquier valor del orden
Para cualquier valor de la solucion general de la ecuacion de Bessel en (0, ) se
puede escribir:
u = a
1
J
(x) + a
2
Y
(x) (110)
siendo J
(x) la funcion de Bessel de primera clase y Y
(x) la funcion de Bessel de

segunda clase. Las propiedades y los valores numericos de las funciones de Bessel
se encuentran tabulados en varios textos. Una exposicion sencilla (pero escueta) se
encuentra en el libro de Zill, captulo 6, seccion 6.4, pag 285.
Ejemplo 10.4. La solucion general de
x
2
u
+ xu
+
_
x
2
9
_
u = 0
en (0, ) es
u = a
1
J
3
(x) + a
2
Y
3
(x)
A veces es posible transformar determinada ecuacion diferencial (por ejemplo la
ecuacion de Airy, u
xu = 0) en la forma de la ecuacion de Bessel (107) mediante

un adecuado cambio de variable. Entonces se puede expresar la solucion general de
la ecuacion original en terminos de funciones de Bessel.
10.6. La ecuacion parametrica de Bessel
Si reemplazamos x por x en la ecuacion de Bessel (107) y aplicamos la regla de la
cadena, llegaremos a una forma alternativa de la ecuacion de Bessel, la ecuacion
parametrica de Bessel:
x
2
u
+ xu
+ (
2
x
2
2
)u = 0 (111)
que se puede escribir en la forma
x
d
dx
_
x
du
dx
_
+ (
2
x
2
2
)u = 0
La solucion general de (111) es:
u = c
1
J
(x) + c
2
Y
(x) (112)
Tras haber introducido las formulas necesarias para sucesivos tratamientos, volvamos
al problema (105), (106):
X
(r) +
1
r
X
(r)
_

n
2
r
2
_
X(r) = 0, r (0, R), n 0
sujetas a las condiciones
X(r) < , 0 < r < R, X(R) = 0
Por los resultados de la seccion anterior es claro que para todo natural n 0 la
funcion X
n,
(r) denida por
X
n,
(r) = J
n
(
r)
siendo J
n
la funcion de Bessel de orden n 0 es una solucion de la ecuacion de
Bessel. Ademas es acotada, como se desprende de la denicion de las funciones de
Bessel de primera clase. Por consiguiente, si > 0 es un n umero real tal que
X
n,
(R) = J
n
(
R) = 0
entonces es un autovalor del problema de contorno (100) con autofunciones aso-
ciadas
Q
(x, y) = X
n,
(r)
n
(),
n
() = a
n
e
in
+b
n
e
in
siendo a
n
, b
n
dos n umeros complejos arbitrarios. En otros terminos, si c > 0 es
un cero (es decir una raz) de la funcion J
n
, entonces = (c/R)
2
es un autovalor
del problema de contorno (100). El calculo de los autovalores de (100) es por tanto
necesario para resolver el problema de difusion. De ah el interes por obtener infor-
macion relativa a los ceros de las funciones de Bessel de orden entero. De la teora
de Sturm-Liouville se desprende que para cualquier > 0 los ceros positivos de
la funcion J
constituyen una sucesion monotona creciente, que denotaremos por

c
,m
m1
, tal que
lm
m
c
,m
=
Observese que mediante el cambio de variable X(r) = J
r) este hecho equivale a

armar que el conjunto de autovalores del siguiente problema de valores de contorno
_
_
X
(r)
1
r
X
(r) +

2
r
2
X(r) = X(r), r (0, R)
X(0) = 0, r = 0
X(R) = 0, r = R
(113)
es una sucesion monotona creciente de n umeros reales
m
m1
tal que
m

cuando m . Ademas:
m
=
_
c
,m
R
_
2
(114)
Es claro entonces que la funcion
X
,m
(r) = J
_
c
,m
R
r
_
, r (0, R)
satisface X
,m
(R) = 0 y es solucion de la ecuacion diferencial en (113) para dado
por (114). Luego las funciones
Q
n,m
(x, y) = v
n,m
(r, ) = J
_
c
|n|,m
R
r
_
e
in
son soluciones del problema de contorno (100) para todo entero n y todo natural
m 1. Por consiguiente, la siguiente superposicion de funciones
C(x, y, t) =
n=
n=
_

m=1
a
n,m
exp
_
k
c
|n|,m
R
t
_
J
_
c
|n|,m
R
r
_
_
e
in
(115)
es una solucion de la ecuacion de difusion en el disco D
R
que ademas verica la
condicion de contorno C(x, y, t) = 0 en D
R
del problema inicial. Y esto independi-
entemente de los valores que asignemos a las constantes a
n,m
. Veamos que es posible
asignar valores a estos coecientes para que (115) sea, al menos formalmente, solu-
cion del problema (99). Denotando v
0
(r, ) = C
0
(x, y) se tiene la siguiente igualdad
v
0
(r, ) =
n=
n=
_

m=1
a
n,m
J
_
c
|n|,m
R
r
_
_
e
in
Por consiguiente para cualquier entero n se tiene que vericar la siguiente relacion
1
2
_

v
0
(r, )e
in
d =
m=1
a
n,m
J
_
c
|n|,m
R
r
_
Fijado un natural m 1, multiplicando ambos miembros de la igualdad anterior
por
rJ
n
_
c
|n|,m
R
r
_
integrando la igualdad resultante entre 0 y R y teniendo en cuenta las propiedades
de ortogonalidad de las funciones de Bessel se obtiene que
1
2
_
R
0
_

rv
0
(r, )e
in
J
n
_
c
|n|,m
R
r
_
ddr = a
n,m
_
R
0
rJ
2
n
_
c
|n|,m
R
r
_
dr
Despejando a
n,m
se tiene que el valor que debemos asignar a estas constantes para
que (115) sea solucion del problema de contorno y de valor inicial (99) es
a
n,m
=
_
R
0
_

rv
0
(r, )e
in
J
n
_
c
|n|,m
R
r
_
ddr
2
_
R
0
rJ
2
n
_
c
|n|,m
R
r
_
dr
(116)
Suponiendo que el dato inicial es sucientemente regular se puede demostrar rigu-
rosamente que el problema (99) tiene una unica solucion que viene dada por (115)
y (116).
10.7. Problemas en coordenadas esfericas
Nos restringiremos a la clase de problemas con simetra axial, es decir independientes
del angulo . Para el caso de problemas en coordenadas esfericas donde debemos
determinar una funcion
= (r, , t)
y sin termino de fuente volumetrica, la ecuacion adimensional de la energa o de
conservaci on de las especies es
t
=
1
r
2
r
_
r
2
r
_
+
1
r
2
sin
_
sin
_
, 0 (117)
Suele ser ventajoso hacer el siguiente cambio de variables
= cos(), 1 1
Cambiando variables en (117) la ecuacion diferencial para (r, , t) es
t
=
1
r
2
r
_
r
2
r
_
+
1
r
2
_
(1
2
)
_
, (118)
y los coecientes trigonometricos que aparecen en (117) se transforman en los coe-
cientes polinomiales de (118). Consideraremos los siguientes casos particulares (que
suelen darse frequentemente en la practica)
1. Caso evolutivo e independencia de y .
Sea
(r, , , t) = (r, t).
t
=
1
r
2
r
_
r
2
r
_
(119)
El problema de autovalores nos da unas autofunciones que se conocen con el
nombre de funciones de Bessel esfericas (que introduciremos en la siguiente
seccion).
2. Caso estacionario e independencia de .
Sea
(r, , , t) = (r, ).
1
r
2
r
_
r
2
r
_
+
1
r
2
_
(1
2
)
_
= 0 (120)
El problema de autovalores asociado nos da unas autofunciones que se conocen
con el nombre de funciones de polinomios de Legendre (en la variable ).
10.7.1. Funciones de Bessel esfericas
El problema de autovalores en la variable r que se deduce de la ecuacion (119) es
1
r
2
r
_
r
2
r
_
=
2
(121)
que es una ecuacion del tipo de Sturm-Liouville con peso p(r) = r
2
.
La ecuacion (121) es un caso particular de la ecuacion de Bessel esferica que
tiene la forma general
d
dx
_
x
2
df
dx
_
+ [m
2
x
2
n(n + 1)]f = 0 (122)
siendo m IR y n un entero no negativo. Las soluciones de la ecuacion (122) (en
particular de (121)) se llaman funciones esfericas de Bessel) y se pueden expresar
en terminos de las funciones de Bessel de orden n + (1/2). Afortunadamente, las
soluciones de (121) (que corresponden a n = 0) se pueden expresar en terminos de
funciones elementales.
En efecto, la ecuacion (121) se puede resolver mas facilmente deniendo el cambio
de variable dependiente
(r) =
u(r)
r
= u(r) = r(r)
mediante el cual la ecuacion (121) se escribe en la forma
d
2
u
dr
2
+
2
u = 0 (123)
que tiene solucion general dada por
u(r) = A
0
sin(r) + B
0
cos(r)
luego
(r) = A
0
sin(r)
r
+B
0
cos(r)
r
(124)
Hemos llegado a la conclusion que los problemas de conduccion o difusion para
funciones del tipo (r, t) se resuelven mediante funciones elementales del tipo (124).
Observese que
lm
r0
sin(r)
r
= , lm
r0
cos(r)
r
,
luego si el dominio (la esfera) incluye r = 0 (dominio simplemente conexo) entonces
la condicion de admisibilidad fsica de que la solucion tiene que ser acotada implica
que B
0
= 0 y que las autofunciones de la ecuacion (121) vienen dadas por
n
(r) = a
n
sin
n
r
r
10.7.2. Funciones de Bessel esfericas modicadas
Una ecuacion diferencial estrechamente relacionada con la ecuacion (122) es la
ecuacion de Bessel esferica modicada
d
dx
_
x
2
df
dx
_
[m
2
x
2
+ n(n + 1)]f = 0 (125)
siendo m IR y n un entero no negativo. Las soluciones de la ecuacion (125) se
llaman funciones esfericas de Bessel modicadas) y se pueden expresar en
terminos de las funciones de Bessel modicadas de orden n + (1/2). Tpicamente el
caso relevante corresponde a n = 0 y las soluciones se pueden nuevamente expresar
en terminos de funciones elementales en la forma
f(x) = A
sinh(mx)
x
+B
cosh(mx)
x
(126)
Un ejemplo de aplicacion de estas formulas se puede encontrar en el libro de Deen,
pag 179, donde se considera el problema de difusion estacionaria en una esfera con
una reaccion irreversible de primer orden. En hipotesis adecuadas el problema (uni-
dimensional) resultante para la concentraci on del reactivo C(r) es
1
r
2
d
dr
_
r
2
dC
dr
_
D
a
C = 0,
dC
dr
(0) = 0, C(1) = 1
siendo D
a
el n umero de Damkohler (basado en el radio de la esfera). La EDP anterior
es una ecuacion esferica de Bessel modicada y se resuelve aplicando las formulas
anteriores.
10.8. La ecuacion de Legendre
Sea u = u(x) una funcion real de variable real. La ecuacion
(1 x
2
)u
2xu
+ n(n + 1)u = 0 (127)

se conoce con el nombre de ecuacion de Legendre. La teora necesaria para el
tratamiento de este tipo de ecuaciones se basa en los desarrollos en series de po-
tencias y en las deniciones de puntos ordinarios (regulares) y singulares. Una ex-
posicion muy practica de estos conceptos y deniciones se puede encontrar en el
libro de Zill.
Mediante esta teora es posible demostrar que cuando n es un entero no negativo,
se obtiene una solucion en forma de polinomio de grado n de la ecuacion de Legen-
dre. Estas soluciones polinomiales especcas de grado n se llaman polinomios de
Legendre y se representan por P
n
(x). Recordando la ecuacion de Sturm-Liouville
d
dx
_
r(x)
du
dx
_
+ [q(x) + p(x)]u(x) = 0
y escribiendo la ecuacion (127) en la forma
d
dx
_
(1 x
2
)
du
dx
_
+ n(n + 1)u(x) = 0
podemos concluir que la ecuacion de Legendre es una ecuacion del tipo de Sturm
Liouville si identicamos
r(x) = (1 x
2
), q(x) = 0, p(x) = 1,
n
= n(n + 1), n = 0, 1, 2, ...
Se tiene el siguiente resultado: si el problema de autovalores dado por la ecuacion
d
dx
_
(1 x
2
)
d
dx
_
=
2
(x), [1, 1]
y la condicion que la solucion es acotada en x = 1 tiene una solucion, entonces los
autovalores son
n
= n(n + 1), n = 0, 1, 2, ..
y las autofunciones son
n
(x) = a
n
P
n
(x)
siendo P
n
(x) los polinomios de Legendre y a
n
unos coecientes (constantes) que
se determinan imponiendo la condicion de ortonormalidad. En efecto, por la teora
de Sturm-Liouville sabemos que los polinomios de Legendre son ortogonales en el
intervalo [1, 1] con respecto a la funcion peso p(x) = 1. Los polinomios de Legen-
dre son ortogonales pero no ortonormales. Imponiendo por tanto la condicion de
normalizacion (
n
,
n
) = 1 se tiene
(
n
,
n
) = 1 = a
2
n
_
1
1
P
2
n
(x)dx = a
2
n
_
2
2n + 1
_
Una base de autofunciones ortonormales viene dada por
n
(x) =
_
2n + 1
2
_
1/2
P
n
(x), n = 0, 1, 2, ...
Los dos primeros polinomios de Legendre son P
0
(x) = 1 y P
1
(x) = x y los demas se
pueden generar utilizando la relacion recursiva:
P
n+1
(x) =
(2n + 1)xP
n
(x) nP
n1
(x)
n + 1
Alternativamente los polinomios de Legendre se pueden obtener utilizando la formu-
la de Rodrigues
P
n
(x) =
1
2
n
n!
d
n
dx
n
[(x
2
1)
n
]
Por ejemplo,
P
0
(x) = 1, P
1
(x) = x, P
2
(x) =
1
2
(3x
2
1), ....
Se puede demostrar que los polinomios de Legendre son funciones pares si n es un
n umero entero positivo par y son funciones impares si n es un n umero entero positivo
impar.
10.9. La ecuacion de Legendre y la aplicacion del metodo
de separacion de variables en coordenadas esfericas
La aplicacion del metodo de separacion de variables en coordenadas esfericas conduce
naturalmente a la resolucion de la ecuacion de Legendre.
En el siguiente ejemplo consideraremos un tpico problema de contorno para la
ecuacion de Laplace en coordenadas esfericas (r, , ) denidas a partir de las si-
guientes relaciones (en terminos de coordenadas cartesianas)
x = r cos() sin(), y = r sin() sin(), z = r cos()
Recordemos que el laplaciano de una funcion en coordenadas esfericas es
2
u =

2
u
r
2
+
2
r
u
r
+
1
r
2
2
u
2
+
cot()
r
2
u
+
1
r
2
sin
2
()
2
u
2
Mas utilizada es la expresion equivalente
2
u =
1
r
2
_

r
_
r
2
u
r
_
+
1
sin
_
sin
u
_
+
1
sin
2
2
u
2
_
(128)
Ejemplo 10.5. Supongase que una esfera S de radio R se mantiene a una distribu-
cion prejada de potencial electrico
u(R, , ) = f() (129)
Se supone el origen del sistema de coordenadas esfericas coincidente con el centro de
la esfera y f() es una funcion dada. El problema consiste en determinar el potencial
u(r, , ) en todo punto del espacio que se considera libre de ulteriores cargas.
Puesto que el potencial en la esfera S es independiente de tambien lo sera el
potencial en el espacio.
u(r, , ) = u(r, ), [0, 2]
Por tanto
2
u
2
0 =
1
sin
2
2
u
2
0,
y la ecuacion de Laplace se reduce (utilizando la formula (128)) a
2
u =

r
_
r
2
u
r
_
+
1
sin
_
sin
u
_
= 0 (130)
Existe ademas otra condicion natural que hay que imponer: que el potencial en el
innito sea nulo, es decir
lm
r
u(r, ) = 0 (131)
Tenemos por tanto que resolver el problema de valores de contorno dado por la EDP
de Laplace (130), la condicion de contorno (129) y la condicion en el innito (131).
Utilizaremos para ello el metodo de separacion de variables.
Sea
u(r, ) = G(r)H().
Sustituyendo en (130) y dividiendo la ecuacion resultante por la funcion GH se
obtiene
1
G
d
dr
_
r
2
dG
dr
_
=
1
H sin
d
d
_
sin
dH
d
_
y las variables estan separadas. Introduciendo una constante de separacion k se tiene
1
G
d
dr
_
r
2
dG
dr
_
=
1
H sin
d
d
_
sin
dH
d
_
= k
y se deducen las ecuaciones diferenciales ordinarias
1
sin
d
d
_
sin
dH
d
_
+ kH = 0 (132)
y
1
G
d
dr
_
r
2
dG
dr
_
= k (133)
La ultima ecuacion, (133), se puede escribir como (r
2
G
= kG o (lo que es lo
mismo)
r
2
G
+ 2rG
kG = 0 (134)
que es una ecuacion del tipo de Euler Cauchy. Por los resultados vistos en las sec-
ciones anteriores sabemos que (134) tiene soluciones del tipo G = r
. Su expre-
sion sera particularmente simple si cambiamos nuestra notacion e introducimos el
parametro n IR (arbitrario de momento) en la forma k = n(n + 1). La ecuacion
(134) se escribe ahora
r
2
G
+ 2rG
n(n + 1)G = 0 (135)

Sustituyendo G = r
en (135) se tiene:
[( 1) + 2 n(n + 1)]r
= 0
Las races de la expresion polinomial que aparece en corchetes son
= n, = n 1
luego las soluciones de la ecuacion de Euler-Cauchy son
G
n
(r) = r
n
, G
n
(r) =
1
r
n+1
Volviendo a la ecuacion (132) la transformamos mediante el cambio de variable
w = cos() lo que implica sin
2
= 1w
2
. Aplicando la regla de la cadena se deduce
la ecuacion de Legendre
d
dw
_
(1 w
2
)
dH
dw
_
+ n(n + 1)H = 0 (136)
que se puede escribir en la forma
(1 w
2
)
d
2
H
dw
2
2w
dH
dw
+n(n + 1)H = 0 (137)
Notese que, hasta ahora n era un parametro real arbitrario (puesto que k IR era
arbitrario). Se puede demostrar que las soluciones de (136) son funciones continuas
con derivada primera continua en el intervalo 1 w 1 (o, lo que es equivalente,
0 ) solo si n es un n umero entero no negativo.
Las series de Fourier-Legendre
Para n = 0, 1, ...., los polinomios de Legendre
H(w) = P
n
(w) = P
n
(cos ), n = 0, 1, .....,
son soluciones de la ecuacion de Legendre (136). Hemos obtenido por tanto las dos
siguientes sucesiones de soluciones del tipo u = GH de la ecuacion de Laplace (130)
u
n
(r, ) = c
n
r
n
P
n
(cos ), u
n
(r, ) =
B
n
r
n+1
P
n
(cos ), (138)
siendo n = 0, 1, ..., y c
n
, B
n
constantes.
Resolucion del problema interior
Por problema interior entendemos una solucion de (130) en el interior de la esfera
que satisface (129). Para ello se considera la serie
u(r, ) =
n=0
u
n
(r, ) =
n=0
c
n
r
n
P
n
(cos ), (139)
Para que (139) satisfaga la condicion de contorno (129) se debe vericar
u(R, ) =
n=0
u
n
(R, ) =
n=0
c
n
R
n
P
n
(cos ) = f() (140)
es decir que (140) sea la serie de Fourier-Legendre de f().
Los coecientes c
n
que aparecen en (140) se determinan multiplicando por las aut-
ofunciones (polinomios de Legendre) P
n
(w), integrando en (1, 1) y aplicando la
propiedad de ortogonalidad de los mismos (como autofunciones de un problema de
Sturm-Liouville). Estos pasos nos conducen a la siguiente expresion de los coe-
cientes c
n
:
c
n
R
n
=
2n + 1
2
_
1
1
f(w)P
n
(w)dw
donde

f(w) = f() siendo w = cos(). Puesto que dw = sin()d y los lmites de
integracion w = 1 y w = 1 corresponden , respectivamente, a = y = 0, se
tiene
c
n
=
2n + 1
2R
n
_

0
f()P
n
(cos ) sin()d, n = 0, 1., , , (141)
luego la serie (139) con los coecientes (141) es la solucion del problema en el interior
de la esfera.
Resolucion del problema exterior
En el esterior de la esfera no podemos considerar las soluciones u
n
(r, ) porque
estas funciones no satisfacen la condicion en el innito (131). Sin embargo podemos
utilizar las funciones u
n
(r, ) (que satisfacen la condicion (131)) y razonar como
antes. Se llega por tanto a la solucion
u(r, ) =
n=0
B
n
r
n+1
P
n
(cos ), r R
con coecientes
B
n
=
2n + 1
2
R
n+1
_

0
f()P
n
(cos ) sin d, n = 0, 1, ... (142)
11. Ejercicios sugeridos
Ejercicio 2.1. Aplicar el metodo de separacion de variables para hallar, si es
posible, soluciones producto para las siguientes ecuaciones diferenciales:
1.
u
x
=
u
y
,
2.
u
x
+ 3
u
y
= 0,
3. u
x
+ u
y
= u,
4. u
x
= u
y
+ u,
5. x
u
x
= y
u
y
,
6. y
u
x
+ x
u
y
= 0,
7.

2
u
x
2
+

2
u
uu
y +

2
u
y
2
= 0,
8. y

2
u
uu
y + u = 0,
9. k
2
u
x
2
u =
u
t
, k > 0,
10. k
2
u
x
2
=
u
t
, k > 0,
11. a
2
2
u
x
2
=

2
u
t
2
,
12.

2
u
x
2
+

2
u
y
2
= 0,
11. Ejercicios sugeridos 105
13. x
2
2
u
x
2
+

2
u
y
2
= 0 y
14. u
xx
+ u
yy
= u.
Ejercicio 2.2. Comprobar que las funciones f
1
(x) = x y f
2
(x) = x
2
son ortogonales
en el intervalo [2, 2].
1
(x) = cos x y f
2
(x) = sin
2
x son
ortogonales en el intervalo [0, ].
Ejercicio 2.4. Demostrar que el conjunto innito 1, cos x, cos 2x, ... es ortogonal
en el intervalo [, ].
Sugerencia: Escribir los productos escalares correspondientes a las genericas fun-
ciones
n
(x) = cos(nx),
m
(x) = cos(mx) y utilizar la identidad trigonometrica:
cos(mx) cos(nx) =
1
2
(cos(m+ n)x + cos(mn)x).
Ejercicio 2.5. Sea sin(nx), n = 1, 2, 3, ... una coleccion de funciones en I = [0, ].
Demostrar que el conjunto de funciones dado es ortogonal en el intervalo indicado
y calcular la norma de cada funcion en el conjunto.
Ejercicio 2.6. Determinar las normas de cada funcion en el conjunto ortogonal
1, cos x, cos 2x, ....
Ejercicio 2.7. Vericar que el sistema trigonometrico dado por
_
1
2
,
cos x
,
cos 2x
, ...
_
es ortonormal en [, ].
Ejercicio 2.8. [Series de Fourier de cosenos y serie de senos] Supongamos que
f L[, ] es periodica de periodo 2. Probar que la serie de Fourier generada por
f presenta las siguientes formas especiales si se verican las condiciones enunciadas:
1. Si f(x) = f(x) (f es una funcion par) cuando 0 < x < entonces:
f(x)
a
0
2
+
n=1
a
n
cos(nx), a
n
=
2
_

0
f(t) cos ntdt
2. Si f(x) = f(x) (f es una funcion impar) cuando 0 < x < entonces:
f(x)
n=1
b
n
sin(nx), b
n
=
2
_

0
f(t) sin ntdt.
Ejercicio 2.9. Desarrollar la funcion x
2
en (1, 1) con la serie de cosenos o senos
adecuadas.
Ejercicio 2.10. Desarrollar la funcion f(x) =
_
0 < x < 0
x 0 x <
en serie de
Fourier, estudiar su convergencia y calcular su suma.
Ejercicio 2.11. Resolver el problema:
_
_
u
t
=

2
u
x
2
, 0 < x < 1, t > 0
u(0, t) = 0 x = 0 t > 0
u(1, t) = 0 x = 1 t > 0
u(x, 0) = sin (x) 0 < x < 1 t = 0.
_
_
u
t
=

2
u
x
2
, 0 < x < 2, t > 0
u(0, t) = 0 x = 0 t > 0
u(2, t) = 0 x = 2 t > 0
u(x, 0) = sin
_
2
x
_
0 < x < 2 t = 0.
_
_
u
t
=
1
16
2
u
x
2
, 0 < x < 1, t > 0
u(0, t) = 0 x = 0 t > 0
u(1, t) = 0 x = 1 t > 0
u(x, 0) = 2 sin (2x) 0 < x < 1 t = 0.
_
_
u
t
=

2
u
x
2
, 0 < x < 2, t > 0
u(0, t) = 0 x = 0 t > 0
u(2, t) = 0 x = 2 t > 0
u(x, 0) = sin (2x) 0 < x < 2 t = 0.
_
_
u
t
=

2
u
x
2
, 0 < x < , t > 0
u(0, t) = 0 x = 0 t > 0
u(, t) = 0 x = t > 0
u(x, 0) = sin (x) 0 < x < t = 0.
_
_
u
t
=
4
2
u
x
2
, 0 < x < 4, t > 0
u(0, t) = 0 x = 0 t > 0
u(4, t) = 0 x = 4 t > 0
u(x, 0) = sin
_
4
x
__
1 + 2 cos
_
4
x
__
0 < x < 4 t = 0.
_
_
u
t
=
1
2
u
x
2
, 0 < x < 1, t > 0
u(0, t) = 0 x = 0 t > 0
u(1, t) = 0 x = 1 t > 0
u(x, 0) = cos
_
_
x
1
2
__
0 < x < 1 t = 0.
_
_
u
t
=

2
u
x
2
+ 2, 0 < x < 1, t > 0
u(0, t) = 0 x = 0 t > 0
u(1, t) = 0 x = 1 t > 0
u(x, 0) = sin(x) + x(1 x) 0 < x < 1 t = 0.
Ejercicio 2.19. Aplicar el principio de superposicion para hallar la temperatura de
estado estable en una placa cuadrada para el siguiente problema de contorno:
_
2
u
x
2
+

2
u
y
2
= 0, 0 < x < , 0 < y <
u(0, y) = 1 x = 0 0 < y <
u(, y) = 1 x = 0 < y <
u(x, 0) = 0 y = 0 0 < x <
u(x, ) = 1 y = 0 < x < .
12. Ejercicios propuestos en examenes relativos al segundo tema 109
12. Ejercicios propuestos en examenes relativos al
segundo tema
Ejercicio 1. Examen control. 7/4/2000. Problema 1
Se quiere determinar la distribucion de temperaturas de una varilla de material
homogeneo y longitud L > 0, siendo k constante, k > 0, la conductividad calorca
de la varilla. Se supone la varilla termicamente aislada as que el ujo de calor es
unidimensional, en la direccion longitudinal x. La ecuacion de la energa que gobierna
la distribucion de temperaturas en el interior de la varilla es la ecuacion del calor de
Fourier
(1)
u
t
= k
2
u
x
2
, x (0, L), t > 0 (1)
El extremo izquierdo de la varilla, localizado en x = 0, tambien se supone termi-
camente aislado luego no hay ujo de calor a traves del extremo izquierdo y una
condicion del tipo
(2)
u
x
(0, t) = 0, t > 0
es la adecuada. En el extremo derecho, x = L, la temperatura viene prejada y se
mantiene constante durante todo el tiempo:
(3) u(L, t) = u
L
> 0, t > 0.
Al comienzo, la varilla esta a temperatura uniforme y nula:
(4) u(x, 0) = 0.
Se pide contestar, razonadamente a las siguientes cuestiones:
1. Considera el problema de valores de contorno denido por la ecuacion (1), las
condiciones de contorno (2), (3) y la condicion inicial (4).
Es aplicable directamente el metodo de separacion de variables ?
Explica porque.
(1 punto)
2. Determina el problema de autovalores asociado al problema.
Cuales son las autofunciones y los autovalores del problema ?
(4 puntos)
3. Determina, mediante la aplicacion del principio de superposicion, la solucion
que satisface la ecuacion (1) y las condiciones de contorno (2) y (3).
(2 puntos)
4. Determina los coecientes del desarrollo de Fourier del dato inicial.
(3 puntos)
5. Escribe la solucion exacta del problema constituido por la ecuacion (1), las
(2 puntos)
6. Puedes decir hacia que valor se estabiliza la temperatura de la varilla para
tiempos grandes (t ) ? Podras justicarlo (en terminos fsicos) a partir
de las hipotesis y condiciones del problema ?
(1 punto)
Ejercicio 2. Examen de junio. 9/6/2000. Problema 2
La ecuacion de la energa que gobierna la distribucion de temperaturas en el interior
de una varilla delgada de longitud L = 1, cuando se genera calor por decaimiento
radiactivo del material, es
(1)
u
t
=

2
u
x
2
+ e
x
, x (0, 1), t > 0.
Suponiendo que ambos extremos de la varilla se mantienen a temperatura nula,
(2) u(0, t) = u(1, t) 0, t > 0
y que al comienzo la varilla esta a temperatura
(3) u(x, 0) = u
0
(x) = 1 e
x
,
determinar la temperatura de la varilla en cualquier instante t > 0.
Ejercicio 3. Examen de septiembre. 14/9/2000. Problema 1 La ecuacion de
la energa que gobierna la distribucion de temperaturas en el interior de una varilla
delgada de longitud L, suponiendo que se pierde calor a traves de la supercie lateral
(el cual pasa al medio ambiente que esta a temperatura cero), es
(1)
u
t
=

2
u
x
2
hu, x (0, L), t > 0
siendo h > 0 una constante. Suponiendo ademas que ambos extremos de la varilla
se mantienen termicamente aislados, es decir
(2)
u
x
(0, t) = 0 =
u
x
(L, t) t > 0
y que la distribucion inicial de temperaturas es
(3) u(x, 0) = f(x)
(siendo f(x) una funcion sucientemente regular para que todas las operaciones a
realizar tengan sentido) determinar
1. la temperatura de la varilla (de longitud L) en cualquier instante t > 0 y para
la generica funcion f(x).
2. la temperatura de la varilla para tiempos grandes (t ). Interpretar fsica-
mente el resultado obtenido.
Sugerencia: realizar el cambio de variables v(x, t) = e
ht
u(x, t) para reconducirse a
una ecuacion sin el termino de absorbcion hu y resolver el problema en terminos
de la nueva variable dependiente v(x, t).
de una varilla delgada de longitud L, cuando se genera calor mediante reacciones
qumicas, es
u
t
=

2
u
x
2
+sin(x), x (0, L), t > 0.
Suponiendo que el extremo izquierdo de la varilla se mantiene a temperatura pre-
jada y no nula,
u(0, t) = 1, t > 0
que el extremo derecho esta aislado,
u
x
(L, t) 0, t > 0
y que al comienzo la varilla esta a temperatura constante
u(x, 0) = u
0
(x) = 1, x [0, L]
Se pide contestar a las siguientes preguntas:
1. Es aplicable directamente el metodo de separacion de variables ?. Explica
porque.
(0.5 punto)
2. Calcular los autovalores y las autofunciones del problema.
(2 puntos)
3. Escribir la expresion formal de la solucion para una varilla generica de longitud
L.
(2 puntos)
4. Escribir explcitamente (pero sin resolver) las integrales que denen los coe-
cientes del desarrollo de Fourier de la solucion.
(1.5 punto)
5. Supongase que L = /2. Determinar la temperatura de la varilla en cualquier
instante t > 0.
(3 puntos)
6. En la hipotesis anterior, determinar la temperatura de la varilla en el extremo
derecho y el ujo de calor en el extremo izquierdo para tiempos grandes (t
).
(1 punto)
Sea dada la ecuacion de la energa que gobierna la distribucion de temperaturas en
el interior de una varilla delgada de longitud L = 4,
u
t
=
4
2
u
x
2
, x (0, 4), t > 0.
Suponiendo que ambos extremos de la varilla se mantienen a temperatura constante,
u(0, t) = 1, u(1, t) = 5, t > 0
u(x, 0) = u
0
(x) = 1 + x + sin
_
4
x
__
3 + 2 cos
_
4
x
__
Ejercicio 6. Examen de septiembre. 4/9/2001. Problema 1
La ecuacion de la energa que gobierna, en condiciones no homogeneas, la distribu-
cion de temperaturas en el interior de una varilla delgada de longitud L > 0, es
u
t
= k

2
u
x
2
+ f(x), x (0, L), t > 0.
siendo k la conductividad termica del material que compone la varilla y siendo
f(x) = x 2x
2
un termino de reaccion debido a procesos qumicos de distinta
naturaleza.
Suponiendo que a traves del extremo izquierdo de la varilla pasa un ujo de calor
prejado y constante A:
u
x
(0, t) = A, t > 0
y que el extremo derecho de la varilla se mantiene a temperatura prejada y con-
stante B:
u(L, t) = B, t > 0
se quiere determinar la temperatura de la varilla en cualquier punto x [0, L) y en
cualquier instante t > 0, sabiendo que al comienzo la varilla tiene una distribucion
inicial de temperatura dada por
u(x, 0) = u
0
(x) = x
4
x
3
.
En concreto se pide:
1. Sean A = B = 0. Es posible aplicar directamente el metodo de separacion de
variables ?. Razona la respuesta.
2. Sean A ,= 0, B ,= 0 y sea k = 1/6 el valor de la conductividad termica del
material. Aplicar el metodo de desviacion de variables en la forma u(x, t) =
v(x, t)+(x) para obtener un problema homogeneo en la nueva variable v(x, t).
Determinar la expresion del estado estacionario (x).
Sea B = L
4
L
3
(es decir, la temperatura en el extremo derecho se ja en funcion
de la longitud L de la varilla).
(c) Escribir explcitamente la expresion del estado estacionario (x) utilizando la
hipotesis B = L
4
L
3
.
(d) Calcular los autovalores y las autofunciones del problema homogeneo. Es
= 0 un autovalor del problema ?. Justica la respuesta.
(e) Escribir la expresion formal de la solucion del problema homogeneo v(x, t)
indicando las integrales que aparecen en la denicion de los coecientes de
Fourier c
n
.
(f) Escribir la expresion formal de la solucion del problema original u(x, t) y es-
tudiar su comportamiento a largo plazo (es decir, cuando t ). Cual es la
temperatura de la varilla en el extremo izquierdo ?.
(g) Calcular explcitamente los coecientes de Fourier c
n
como funcion de n, A y
L.
Supondremos ahora que el ujo de calor en el extremo izquierdo es tambien funcion
de la longitud de la varilla seg un la relacion A =
2
/(8 L). Se pide:
(h) Particularizar los valores anteriores de los coecientes de Fourier c
n
utilizando
la hipotesis A =
2
/(8 L). Escribir la expresion de la solucion del proble-
ma homogeneo v(x, t) y la del problema no homogeneo, u(x, t) utilizando los
valores encontrados de los coecientes c
n
.
(i) Calcular una aproximaci on de la solucion del problema original u(x, t) uti-
lizando solo los primeros dos modos de Fourier.
homogeneo y longitud L = /2, siendo k = 2 (constante) la conductividad calorca
Fourier
(1)
u
t
= 2
2
u
x
2
+ 1 sin(x), x (0, /2), t > 0.
condicion del tipo
(2)
u
x
(0, t) = 0, t > 0
es la adecuada. En el extremo derecho, x = /2, la temperatura viene prejada y
se mantiene constante y nula durante todo el tiempo:
(3) u(/2, t) = 0, t > 0.
Al comienzo, la varilla tiene una distribucion de temperaturas dada por:
(4) u(x, 0) =
sin(x)
2

x
2
4
+
3
2
x +

2
16

3
4
+
1
2
.
Explica porque.
(0.5 punto)
(2.5 puntos)
(1.5 puntos)
(3 puntos)
6. Escribe una aproximacion de la solucion mediante los dos primeros modos
de Fourier de la solucion obtenida calculando explcitamente los coecientes
asociados.
(2 puntos)
tiempos grandes (t ) ?
(0.5 punto)
el interior de una varilla delgada y homogenea (con difusividad termica constante e
igual a 1) de longitud L = 2,
u
t
=

2
u
x
2
, x (0, 2), t > 0.
Suponiendo que ambos extremos de la varilla se mantienen termicamente aislados
u
x
(0, t) = 0,
u
x
(2, t) = 0, t > 0
u(x, 0) = u
0
(x)
siendo
u
0
(x) =
_
x 0 x 1
0 x > 1
se pide:
a) Determinar la temperatura de la varilla en cualquier instante t > 0.
b) Calcular los 5 primeros modos de Fourier de la solucion (recuerda que los
modos de Fourier vienen dados por el producto a
i
X
i
(x)T
i
(t)).
c) Cual es el comportamiento de la solucion para tiempos grandes ? Explicarlo
fsicamente.
La ecuacion de la energa que gobierna, en condiciones no homogeneas, la distribu-
cion de temperaturas en el interior de una varilla delgada de longitud L = 1, es
u
t
=

2
u
x
2
+f(x), x (0, 1), t > 0,
siendo la difusividad termica del material que compone la varilla y siendo f(x) =
2 un termino de reaccion constante debido a procesos qumicos de distinta natu-
raleza que dependen de la difusividad del material.
Suponiendo que el extremo izquierdo de la varilla esta termicamente aislado:
u
x
(0, t) = 0, t > 0
stante u
m
:
u(1, t) = u
m
, t > 0
se quiere determinar la temperatura de la varilla en cualquier punto x [0, 1] y en
u(x, 0) = u
0
(x) = x
2
+ x + 1.
1. [8 puntos] Escribir explcitamente el problema propuesto y calcular los auto-
valores y las autofunciones del problema. Es = 0 un autovalor del problema
? . Justica la respuesta.
2. [5 puntos] Calcular los coecientes de Fourier de la solucion.
3. [4 puntos] Determinar la solucion del problema propuesto.
Sean u
m
= 1 y = 1.
(d) [6 puntos] Calcular la temperatura de la varilla en el extremo izquierdo y el
ujo de calor en el extremo derecho en cada instante de tiempo.
(e) [2 puntos] Calcular el comportamiento de la solucion del problema para tiem-
pos grandes.
homogeneo y longitud unitaria, L = 1, siendo k = 1 (constante) la difusividad del
material que compone la varilla. Se supone la varilla termicamente aislada as que
el ujo de calor es unidimensional, en la direccion longitudinal x. La ecuacion de la
energa que gobierna la distribucion de temperaturas en el interior de la varilla es la
ecuacion del calor de Fourier
(1)
u
t
=

2
u
x
2
+ 1
x, x (0, 1), t > 0.

condicion del tipo
(2)
u
x
(0, t) = 0, t > 0
es la adecuada. En el extremo derecho, x = L = 1, la temperatura viene prejada y
se mantiene constante y positiva durante todo el tiempo:
(3) u(1, t) = 23/30, t > 0.
(4) u(x, 0) =
4
15
x
5/2
1
2
x
2
+ x.
1. Considera el problema de valores de contorno denido por la ecuacion (1),
las condiciones de contorno (2), (3) y la condicion inicial (4). Es aplicable
directamente el metodo de separacion de variables ? Explica porque.
(1 punto)
2. Determina el problema de autovalores asociado al problema. Cuales son las
autofunciones X
n
y los autovalores
n
del problema ? Calcular el lm
n
n
.
(3 puntos)
(2 puntos)
4. Determinar los coecientes del desarrollo de Fourier del dato inicial. Calcular
lm
n
c
n
. (Sugerencia: Para reducir las posibilidades de error es conveniente
utilizar la expresion generica de los autovalores
n
en lugar de su formula
explcita. De esta manera podras incluso contestar bien a esta pregunta aunque
te hayas equivocado en el apartado (b).)
(6 puntos)
(2 puntos)
6. Escribe una aproximaci on de la solucion mediante los dos primeros modos de
Fourier de la solucion del problema homogeneo v(x, t) calculando explcita-
mente los coecientes asociados.
(4 puntos)
7. Puedes decir hacia que estado de equilibrio se estabiliza la temperatura de la
varilla para tiempos grandes (t ) ? Calcular la temperatura en el extremo
izquierdo y el ujo de calor en el extremo derecho. Calcular su comportamiento
para tiempos grandes (t ).
(7 puntos)
u
t
=

2
u
x
2
, x (0, 2), t > 0.
siendo k = 1 la difusividad termica del material.
u(0, t) = 1, u(2, t) = 3, t > 0
u(x, 0) = u
0
(x) = 1 + x + sin
_
2
x
__
1 + 2 cos
_
2
x
__
se pide:
a) Determinar la temperatura de la varilla en cualquier instante t > 0. (18 pun-
tos). Calcular su comportamiento para tiempos grandes. (1 punto).
b) Calcular el ujo de calor por ambos extremos. (4 puntos). Calcular su com-
portamiento para tiempos grandes. (2 puntos).
u
t
= k
2
u
x
2
x, x (0, L), t > 0.
Suponiendo que el extremo izquierdo de la varilla se mantiene a temperatura con-
stante y que el extremo derecho esta termicamente aislado se tienen las condiciones
de contorno
u(0, t) = 1,
u
x
(1, t) = 0, t > 0.
Supondremos ademas que al comienzo la varilla esta a temperatura
u(x, 0) = u
0
(x) =
1
6
x
3
se pide:
b) Calcular el ujo de calor por el extremo izquierdo (para cualquier instante de
tiempo t > 0). (8 puntos). Calcular su comportamiento para tiempos grandes.
(2 puntos).
c) Calcular la temperatura en el extremo derecho (para cualquier instante de
(2 puntos).
13. Ejercicios sugeridos
1
(x) = x y f
2
(x) = x
2
son ortogonales
en el intervalo [2, 2].
1
(x) = cos x y f
2
(x) = sin
2
x son
ortogonales en el intervalo [0, ].
Ejercicio 2.3. Demostrar que el conjunto innito 1, cos x, cos 2x, ... es ortogonal
en el intervalo [, ].
Sugerencia: Escribir los productos escalares correspondientes a las genericas fun-
ciones
n
(x) = cos(nx),
m
(x) = cos(mx) y utilizar la identidad trigonometrica:
cos(mx) cos(nx) =
1
2
(cos(m+ n)x + cos(mn)x)
Ejercicio 2.4. Sea sin(nx), n = 1, 2, 3, ... una coleccion de funciones en I = [0, ].
Demostrar que el conjunto de funciones dado es ortogonal en el intervalo indicado
y calcular la norma de cada funcion en el conjunto.
Ejercicio 2.5. Determinar las normas de cada funcion en el conjunto ortogonal
1, cos x, cos 2x, ....
Ejercicio 2.6. Vericar que el sistema trigonometrico dado por
_
1
2
,
cos x
,
cos 2x
, ...
_
es ortonormal en [, ].
Ejercicio 2.7. [series de Fourier de cosenos y serie de senos] Supongamos que
f L[, ] es periodica de periodo 2. Probar que la serie de Fourier generada por
f presenta las siguientes formas especiales si se verican las condiciones enunciadas:
1. Si f(x) = f(x) (f es una funcion par) cuando 0 < x < entonces:
f(x)
a
0
2
+
n=1
a
n
cos(nx), a
n
=
2
_

0
f(t) cos ntdt
2. Si f(x) = f(x) (f es una funcion impar) cuando 0 < x < entonces:
f(x)
n=1
b
n
sin(nx), b
n
=
2
_

0
f(t) sin ntdt.
Ejercicio 2.8. Desarrollar la funcion x
2
en (1, 1) con la serie de cosenos o senos
adecuadas.
Ejercicio 2.9.Desarrollar la funcion f(x) =
_
0 < x < 0
x 0 x <
en serie de
Fourier, estudiar su convergencia y calcular su suma.
_
_
u
t
=

2
u
x
2
, 0 < x < 1, t > 0
u(0, t) = 0 x = 0 t > 0
u(1, t) = 0 x = 1 t > 0
u(x, 0) = sin (x) 0 < x < 1 t = 0.
_
_
u
t
=

2
u
x
2
, 0 < x < 2, t > 0
u(0, t) = 0 x = 0 t > 0
u(2, t) = 0 x = 2 t > 0
u(x, 0) = sin
_
2
x
_
0 < x < 2 t = 0.
Ejercicio 2.12.Resolver el problema:
_
_
u
t
=
1
16
2
u
x
2
, 0 < x < 1, t > 0
u(0, t) = 0 x = 0 t > 0
u(1, t) = 0 x = 1 t > 0
u(x, 0) = 2 sin (2x) 0 < x < 1 t = 0.
_
_
u
t
=

2
u
x
2
, 0 < x < 2, t > 0
u(0, t) = 0 x = 0 t > 0
u(2, t) = 0 x = 2 t > 0
u(x, 0) = sin (2x) 0 < x < 2 t = 0.
_
_
u
t
=

2
u
x
2
, 0 < x < , t > 0
u(0, t) = 0 x = 0 t > 0
u(, t) = 0 x = t > 0
u(x, 0) = sin (x) 0 < x < t = 0
Ejercicio 2.15.Resolver el problema:
_
_
u
t
=
4
2
u
x
2
, 0 < x < 4, t > 0
u(0, t) = 0 x = 0 t > 0
u(4, t) = 0 x = 4 t > 0
u(x, 0) = sin
_
4
x
__
1 + 2 cos
_
4
x
__
0 < x < 4 t = 0.
_
_
u
t
=
1
2
u
x
2
, 0 < x < 1, t > 0
u(0, t) = 0 x = 0 t > 0
u(1, t) = 0 x = 1 t > 0
u(x, 0) = cos
_
_
x
1
2
__
0 < x < 1 t = 0
_
_
u
t
=

2
u
x
2
+ 2, 0 < x < 1, t > 0
u(0, t) = 0 x = 0 t > 0
u(1, t) = 0 x = 1 t > 0
u(x, 0) = sin(x) + x(1 x) 0 < x < 1 t = 0
Ejercicio 2.17. Aplicar el metodo de separacion de variables para hallar, si es
posible, soluciones producto para las siguientes ecuaciones diferenciales:
1.
u
x
=
u
y
,
2.
u
x
+ 3
u
y
= 0,
3. u
x
+ u
y
= u,
4. u
x
= u
y
+ u,
5. x
u
x
= y
u
y
,
6. y
u
x
+ x
u
y
= 0,
7.

2
u
x
2
+

2
u
uu
y +

2
u
y
2
= 0,
8. y

2
u
uu
y + u = 0,
9. k
2
u
x
2
u =
u
t
, k > 0,
10. k
2
u
x
2
=
u
t
, k > 0,
11. a
2
2
u
x
2
=

2
u
t
2
,
12.

2
u
x
2
+

2
u
y
2
= 0,
13. x
2
2
u
x
2
+

2
u
y
2
= 0,
14. u
xx
+ u
yy
= u.
14. Ejercicios propuestos en examenes
Fourier
u
t
= k
2
u
x
2
, x (0, L), t > 0 (143)
condicion del tipo
u
x
(0, t) = 0, t > 0 (144)
u(L, t) = u
L
> 0, t > 0. (145)
u(x, 0) = 0. (146)
las condiciones de contorno (183), (177) y la condicion inicial (184).
Explica porque.
(1 punto)
(4 puntos)
(2 puntos)
14. Ejercicios propuestos en examenes 127
(3 puntos)
(2 puntos)
(1 punto)
Ejercicio 2. Examen de Junio. 9/6/2000. Problema 2
de una varilla delgada de longitud L = 1, cuando se genera calor por decaimiento
radiactivo del material, es
u
t
=

2
u
x
2
+e
x
, x (0, 1), t > 0. (147)
Suponiendo que ambos extremos de la varilla se mantienen a temperatura nula,
u(0, t) = u(1, t) 0, t > 0 (148)
u(x, 0) = u
0
(x) = 1 e
x
(149)
Ejercicio 3. Examen de Septiembre. 14/9/2000. Problema 1
de una varilla delgada de longitud L, suponiendo que se pierde calor a traves de la
supercie lateral (el cual pasa al medio ambiente que esta a temperatura cero), es
u
t
=

2
u
x
2
hu, x (0, L), t > 0 (150)
siendo h > 0 una constante. Suponiendo ademas que ambos extremos de la varilla
se mantienen termicamente aislados, es decir
u
x
(0, t) = 0 =
u
x
(L, t) t > 0 (151)
y que la distribucion inicial de temperaturas es
u(x, 0) = f(x) (152)
(siendo f(x) una funcion sucientemente regular para que todas las operaciones a
realizar tengan sentido) determinar
1. la temperatura de la varilla (de longitud L) en cualquier instante t > 0 y para
la generica funcion f(x).
2. la temperatura de la varilla para tiempos grandes (t ). Interpretar fsica-
mente el resultado obtenido.
Sugerencia: realizar el cambio de variables v(x, t) = e
ht
u(x, t) para reconducirse a
una ecuacion sin el termino de absorbcion hu y resolver el problema en terminos
de la nueva variable dependiente v(x, t).
Fourier
u
t
= k
2
u
x
2
, x (0, L), t > 0 (153)
condicion del tipo
u
x
(0, t) = 0, t > 0 (154)
u(L, t) = u
L
> 0, t > 0. (155)
u(x, 0) = 0. (156)
Explica porque.
(1 punto)
(4 puntos)
(2 puntos)
(3 puntos)
(2 puntos)
(1 punto)
u
t
=
4
2
u
x
2
, x (0, 4), t > 0. (157)
u(0, t) = 1, u(1, t) = 5, t > 0 (158)
u(x, 0) = u
0
(x) = 1 + x + sin
_
4
x
__
3 + 2 cos
_
4
x
__
(159)
[50 puntos] La ecuacion de la energa que gobierna, en condiciones no homogeneas,
la distribucion de temperaturas en el interior de una varilla delgada de longitud
L > 0, es
u
t
= k

2
u
x
2
+ f(x), x (0, L), t > 0. (160)
siendo k la conductividad termica del material que compone la varilla y siendo
f(x) = x 2x
2
un termino de reaccion debido a procesos qumicos de distinta
naturaleza.
Suponiendo que a traves del extremo izquierdo de la varilla pasa un ujo de calor
prejado y constante A:
u
x
(0, t) = A, t > 0 (161)
stante B:
u(L, t) = B, t > 0 (162)
se quiere determinar la temperatura de la varilla en cualquier punto x [0, L) y en
u(x, 0) = u
0
(x) = x
4
x
3
(163)
1. Sean A = B = 0. Es posible aplicar directamente el metodo de separacion de
variables ?. Razona la respuesta.
2. Sean A ,= 0, B ,= 0 y sea k = 1/6 el valor de la conductividad termica del
material. Aplicar el metodo de desviacion de variables en la forma u(x, t) =
v(x, t)+(x) para obtener un problema homogeneo en la nueva variable v(x, t).
Determinar la expresion del estado estacionario (x).
Sea B = L
4
L
3
(es decir, la temperatura en el extremo derecho se ja en funcion
de la longitud L de la varilla).
(c) Escribir explcitamente la expresion del estado estacionario (x) utilizando la
hipotesis B = L
4
L
3
.
(d) Calcular los autovalores y las autofunciones del problema homogeneo. Es
= 0 un autovalor del problema ?. Justica la respuesta.
(e) Escribir la expresion formal de la solucion del problema homogeneo v(x, t)
indicando las integrales que aparecen en la denicion de los coecientes de
Fourier c
n
.
(f) Escribir la expresion formal de la solucion del problema original u(x, t) y es-
tudiar su comportamiento a largo plazo (es decir, cuando t ). Cual es la
temperatura de la varilla en el extremo izquierdo ?.
(g) Calcular explcitamente los coecientes de Fourier c
n
como funcion de n, A y
L.
Supondremos ahora que el ujo de calor en el extremo izquierdo es tambien funcion
de la longitud de la varilla seg un la relacion A =
2
/(8 L). Se pide:
(h) Particularizar los valores anteriores de los coecientes de Fourier c
n
utilizando
la hipotesis A =
2
/(8 L). Escribir la expresion de la solucion del proble-
ma homogeneo v(x, t) y la del problema no homogeneo, u(x, t) utilizando los
valores encontrados de los coecientes c
n
.
(i) Calcular una aproximaci on de la solucion del problema original u(x, t) uti-
lizando solo los primeros dos modos de Fourier.
homogeneo y longitud L = /2, siendo k = 2 (constante) la conductividad calorca
Fourier
u
t
= 2
2
u
x
2
+ 1 sin(x), x (0, /2), t > 0 (164)
condicion del tipo
u
x
(0, t) = 0, t > 0 (165)
es la adecuada. En el extremo derecho, x = /2, la temperatura viene prejada y
se mantiene constante y nula durante todo el tiempo:
u(/2, t) = 0, t > 0. (166)
u(x, 0) =
sin(x)
2

x
2
4
+
3
2
x +

2
16

3
4
+
1
2
. (167)
Explica porque.
(0.5 punto)
(2.5 puntos)
(1.5 puntos)
(3 puntos)
6. Escribe una aproximaci on de la solucion mediante los dos primeros modos
de Fourier de la solucion obtenida calculando explcitamente los coecientes
asociados.
(2 puntos)
tiempos grandes (t ) ?
(0.5 punto)
el interior de una varilla delgada y homogenea (con difusividad termica constante e
igual a 1) de longitud L = 2,
u
t
=

2
u
x
2
, x (0, 2), t > 0. (168)
Suponiendo que ambos extremos de la varilla se mantienen termicamente aislados
u
x
(0, t) = 0,
u
x
(2, t) = 0, t > 0 (169)
u(x, 0) = u
0
(x) (170)
siendo
u
0
(x) =
_
x 0 x 1
0 x > 1
se pide:
a) Determinar la temperatura de la varilla en cualquier instante t > 0.
b) Calcular los 5 primeros modos de Fourier de la solucion (recuerda que los
modos de Fourier vienen dados por el producto a
i
X
i
(x)T
i
(t)).
c) Cual es el comportamiento de la solucion para tiempos grandes ? Explicarlo
fsicamente.
[25 puntos] La ecuacion de la energa que gobierna, en condiciones no homogeneas,
la distribucion de temperaturas en el interior de una varilla delgada de longitud
L = 1, es
u
t
=

2
u
x
2
+ f(x), x (0, 1), t > 0. (171)
siendo la difusividad termica del material que compone la varilla y siendo f(x) =
2 un termino de reaccion constante debido a procesos qumicos de distinta natu-
raleza que dependen de la difusividad del material.
Suponiendo que el extremo izquierdo de la varilla esta termicamente aislado:
u
x
(0, t) = 0, t > 0 (172)
stante u
m
:
u(1, t) = u
m
, t > 0 (173)
se quiere determinar la temperatura de la varilla en cualquier punto x [0, 1] y en
u(x, 0) = u
0
(x) = x
2
+ x + 1 (174)
1. [8 puntos] Escribir explcitamente el problema propuesto y calcular los auto-
valores y las autofunciones del problema. Es = 0 un autovalor del problema
? . Justica la respuesta.
2. [5 puntos] Calcular los coecientes de Fourier de la solucion.
3. [4 puntos] Determinar la solucion del problema propuesto.
Sean u
m
= 1 y = 1.
(d) [6 puntos] Calcular la temperatura de la varilla en el extremo izquierdo y el
ujo de calor en el extremo derecho en cada instante de tiempo.
(e) [2 puntos] Calcular el comportamiento de la solucion del problema para tiem-
pos grandes.
[25 Puntos] Se quiere determinar la distribucion de temperaturas de una varilla
de material homogeneo y longitud unitaria, L = 1, siendo k = 1 (constante) la
difusividad del material que compone la varilla. Se supone la varilla termicamente
aislada as que el ujo de calor es unidimensional, en la direccion longitudinal x. La
ecuacion de la energa que gobierna la distribucion de temperaturas en el interior de
la varilla es la ecuacion del calor de Fourier
u
t
=

2
u
x
2
+ 1
x, x (0, 1), t > 0. (175)

condicion del tipo
u
x
(0, t) = 0, t > 0 (176)
es la adecuada. En el extremo derecho, x = L = 1, la temperatura viene prejada y
se mantiene constante y positiva durante todo el tiempo:
u(1, t) = 23/30, t > 0. (177)
u(x, 0) =
4
15
x
5/2
1
2
x
2
+ x. (178)
condiciones de contorno (183), (177) y la condicion inicial (184). Es aplicable
directamente el metodo de separacion de variables ? Explica porque.
(1 punto)
2. Determina el problema de autovalores asociado al problema. Cuales son las
autofunciones X
n
y los autovalores
n
del problema ? Calcular el lm
n
n
.
(3 puntos)
(2 puntos)
4. Determinar los coecientes del desarrollo de Fourier del dato inicial. Calcular
lm
n
c
n
. (Sugerencia: Para reducir las posibilidades de error es conveniente
utilizar la expresion generica de los autovalores
n
en lugar de su formula
explcita. De esta manera podras incluso contestar bien a esta pregunta aunque
te hayas equivocado en el apartado (b).)
(6 puntos)
(2 puntos)
6. Escribe una aproximaci on de la solucion mediante los dos primeros modos de
Fourier de la solucion del problema homogeneo v(x, t) calculando explcita-
mente los coecientes asociados.
(4 puntos)
7. Puedes decir hacia que estado de equilibrio se estabiliza la temperatura de la
varilla para tiempos grandes (t ) ? Calcular la temperatura en el extremo
izquierdo y el ujo de calor en el extremo derecho. Calcular su comportamiento
para tiempos grandes (t ).
(7 puntos)
Ejercicio 11. Examen de Junio. 4/6/2003 Problema 4
[25 puntos]
u
t
=

2
u
x
2
, x (0, 2), t > 0. (179)
u(0, t) = 1, u(2, t) = 3, t > 0 (180)
u(x, 0) = u
0
(x) = 1 + x + sin
_
2
x
__
1 + 2 cos
_
2
x
__
(181)
se pide:
b) Calcular el ujo de calor por ambos extremos. (4 puntos). Calcular su com-
portamiento para tiempos grandes. (2 puntos).
[45 puntos]
u
t
= k
2
u
x
2
x, x (0, L), t > 0. (182)
Suponiendo que el extremo izquierdo de la varilla se mantiene a temperatura con-
stante y que el extremo derecho esta termicamente aislado se tienen las condiciones
de contorno
u(0, t) = 1,
u
x
(1, t) = 0, t > 0. (183)
Supondremos ademas que al comienzo la varilla esta a temperatura
u(x, 0) = u
0
(x) =
1
6
x
3
(184)
se pide:
b) Calcular el ujo de calor por el extremo izquierdo (para cualquier instante de
(2 puntos).
c) Calcular la temperatura en el extremo derecho (para cualquier instante de
(2 puntos).
15. Bibliografa Basica
1. Apostol, T.M., (1982), Analisis Matematico. 2 ed. Editorial Reverte.
2. Apostol, T.M., (1996), Calculus. II ed. Editorial Reverte.
3. Costa Novella, E. (1986). Ingeniera Qumica. Vol. 2, Fen omenos de Trans-
porte. Vol. 3, Flujo de Fluidos. Vol. 4, Transmisi on de Calor. Vol. 5, Transfer-
encia de Materia. Alhambra Universidad.
4. Courant, R y Hilbert, D. (1989). Partial Dierential Equations. Vol 2. John
Wiley & Sons, Inc.
5. Deen, W.M., (1998). Analysis of Transport Phenomena. Oxford University
Press.
6. Kreyszig, E. (1993). Advanced Engineering Mathematics. VII Ed. John Wiley
& Sons, Inc.
7. Mei, C.C., Mathematical analysis in Engineering. Cambridge University Press.
1997.
8. Zill, D.G., Ecuaciones Diferenciales con aplicaciones de modelado. Internation-
al Thomson Ed. 6 ed. 1997.
16. Bibliografa Avanzada
1. Rice, R.G, Do, D.D., Applied Mathematics and Modelling for Chemical Engi-
neers. John Wiley & Sons, Inc. 1995.

Analisis Matematico

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Analisis Matematico

Enviado por

Direitos autorais:

Formatos disponíveis

1

, la condicion (3) toma la forma

es constante) y la condicion (3) (que es

(t) = kT(t)X(x), (x, t) (0, )

denota el operador de derivacion ordinaria T

= dT/dt). Separando vari-

(x) = X(x), x (a, b)

(r) = u(r), r (0, L)

i, siendo i la unidad imaginaria compleja. Por consiguiente

de [a, b] tal que s es constante en cada subintervalo abierto, por ejemplo

continua a trozos, entonces para cualquier

f(x h) los lmites derecho e izquierdo respectivamente).

en [a, b] y es continua a trozos, entonces, cuando n ,

(x) es continua a trozos en [a, b].

(x) en cada punto de (a, b) donde f

f() cos(n(x ))d

(x) = U(x), x (0, a)

(y) = ( )V (y), y (0, b)

(a) = 0, Y (0) = 0, X(x)Y (b) = f(x)

= 0 es una funcion lineal del tipo X(x) = c

(a) implican X(x) = c

(a) = 0, Y (0) = Y (b) = 0

+ ( +)Y = 0, Y (0) = Y (b) = 0

+kT = 0 la parte temporal de la solucion viene dada

Demostrar que el problema de autovalores asociado a la EDP anterior es un problema

+ G = 0, x (0, 1), (69)

= G/k, la ecuacion (68) es homogenea. Integrando

(x) = q(x), 0 < x < L,

(t) Q(x, t) (72)

= 0, r (0, R), [0, 2]

(r) X(r) = 0, r (0, R), (86)

() = (), [0, 2] (87)

78 Tema 2. Metodos analticos de resolucion de EDP. Dominios acotados.

(r) X(r) = 0, r (0, R)

siendo i la unidad imaginaria compleja.

= v, r (0, R), [0, 2]

(x) son soluciones linealmente independientes de la ecuacion de

(x) la funcion de Bessel de primera clase y Y

(x) la funcion de Bessel de

xu = 0) en la forma de la ecuacion de Bessel (107) mediante

constituyen una sucesion monotona creciente, que denotaremos por

r) este hecho equivale a

+ n(n + 1)u = 0 (127)

n(n + 1)G = 0 (135)

x, x (0, 1), t > 0.

x, x (0, 1), t > 0. (175)

Você também pode gostar