Tema3transf Fourier

1
Curso 2006-2007
Tema 3.
Metodos analticos de resolucion
de EDP. Dominios no 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. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1. De las series a las transformadas de Fourier: la integral de
Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. De la integral de Fourier a la transformada de Fourier . . . . . 7
1.3. La integral de Fourier . . . . . . . . . . . . . . . . . . . . . . . 10
2. La Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . 11
2.1. La Transformada inversa de Fourier . . . . . . . . . . . . . . . 12
2.2. Transformaciones seno y coseno . . . . . . . . . . . . . . . . . 13
2.3. Propiedades de la transformada de Fourier . . . . . . . . . . . 14
2.4. La transformada de Fourier multidimensional . . . . . . . . . 16
3. Aplicaciones: dominios no acotados y Transformadas de Fourier . . . 17
3.1. Difusion unidimensional. Solucion general en forma integral . . 17
3.1.1. La Delta de Dirac: una fuente localizada. . . . . . . . 20
3.1.2. La funcion de Heaviside. Temperatura inicial discon-
tinua . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.2. Dominios semiinnitos . . . . . . . . . . . . . . . . . . . . . . 24
3.2.1. Transformadas seno inversas de Fourier . . . . . . . . 25
3.2.2. Transformadas coseno inversas de Fourier . . . . . . 25
3.2.3. Difusion en un dominio semiinnito. Flujo de calor
prescrito en el extremo izquierdo. Transformada de
cosenos de Fourier. . . . . . . . . . . . . . . . . . . . 26
3.2.4. Difusion en un dominio semiinnito. Temperatura
prescrita en el extremo izquierdo. Transformada de
senos de Fourier. . . . . . . . . . . . . . . . . . . . . 29
3.2.5. Difusion en un dominio semiinnito. Extremo izquier-
do parcialmente aislado. . . . . . . . . . . . . . . . . 31
2

Indice
4. El paso de la integral de Fourier a la transformada de Laplace . . . . 32
5. La Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . . 34
5.1. Transformadas de funciones elementales . . . . . . . . . . . . 39
5.1.1. Unas transformadas no elementales . . . . . . . . . . 43
5.2. Propiedades de la tranformada de Laplace . . . . . . . . . . . 44
5.3. Transformada de funciones continuas a trozos . . . . . . . . . 53
5.3.1. La funcion escalon unitario . . . . . . . . . . . . . . 53
5.3.2. Transformada de la Delta de Dirac . . . . . . . . . . 57
6. Transformada inversa de Laplace . . . . . . . . . . . . . . . . . . . . 58
6.1. Calculo de las transformadas inversas de Laplace . . . . . . . 60
7. Aplicaciones a la resolucion de EDO y de sistemas de EDO . . . . . . 67
7.1. Resolucion de EDO lineales de coecientes constantes y de
orden n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7.2. Analisis de la respuesta de sistemas lineales . . . . . . . . . . 71
8. Aplicaciones a la resolucion de EDP . . . . . . . . . . . . . . . . . . 75
8.1. Aplicacion de la transformada de Laplace a unos problemas
modelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
8.1.1. Resolucion de una EDP de primer orden . . . . . . . 77
8.1.2. Resolucion de una EDP de segundo orden en un do-
minio no acotado . . . . . . . . . . . . . . . . . . . . 78
8.1.3. Resolucion de una EDP de segundo orden en un do-
minio acotado . . . . . . . . . . . . . . . . . . . . . . 80
9. Comentarios nales sobre el uso de las transformadas integrales . . . 82
10. El metodo de Combinaci on de variables . . . . . . . . . . . . . . . . . 83
10.1. Deduccion del metodo de combinaci on de variables . . . . . . 84
10.2. Aplicacion del metodo de combinaci on de variables . . . . . . 86
10.2.1. Sistema semi-innito. Condiciones constantes en uno
de los lmites del mismo . . . . . . . . . . . . . . . . 88
10.3. Difusion con ujo masico simult aneo . . . . . . . . . . . . . . 92
Indice. 3
10.3.1. Sistema semi-innito: Difusion de un solo compo-
nente en el seno de otro estacionario . . . . . . . . . 93
11. Anexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
11.1. La funcion de error: denicion y propiedades . . . . . . . . . 96
11.2. Tabla de Transformadas de Fourier . . . . . . . . . . . . . . . 99
11.3. Tabla de Transformadas de Laplace . . . . . . . . . . . . . . . 101
12. Ejercicios sugeridos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
13. Ejercicios relativos al segundo tema propuestos en examenes . . . . . 126
14. Bibliografa Basica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
15. Bibliografa Avanzada . . . . . . . . . . . . . . . . . . . . . . . . . . 129
4 Tema 3. Metodos analticos de resolucion de EDP. Dominios no acotados.
Tema 3.
Metodos analticos de resolucion
de EDP. Dominios no acotados.
La introduccion de las series de Fourier (vistas en el tema anterior), de la integrales de
Fourier y de las transformadas de Fourier (que veremos en este tema) ha representado
uno de los mayores avances en la historia de la aplicacion de las matematicas a
la fsica y a la ingeniera, puesto que son, probablemente, las herramientas mas
importante para la resolucion de problemas de valores iniciales y/o de contorno
1
.
Para dominios nitos de forma geometrica simple y cuando el metodo de separacion
de variables es aplicable, las ecuaciones en derivadas parciales se reducen a ecuaciones
diferenciales ordinarias que pueden ser resueltas con los metodos presentados en el
tema 13 del primer curso o con los presentados en el tema 2 de este curso. La solucion
general se puede entonces construir por superposicion de autofunciones mediante el
calculo de los coecientes del desarrollo en series de Fourier del dato inicial. Cuando
el dominio es innitamente largo es posible posible obtener una reduccion analoga
(de EDP a EDO) mediante las tecnicas de las transformadas integrales de Fourier
y de Laplace.
En este tema se consideran los metodos de resolucion de ecuaciones en derivadas
parciales (EDP) en dominios no acotados. El metodo de separacion de variables, pre-
sentado y aplicado en el tema anterior, no es, en general, adecuado para el tratamien-
to de problemas en dominios en los que ninguna de las coordenadas espaciales es
acotada. En efecto, si el dato inicial del problema no es periodico y el dominio es
no acotado, entonces no es posible expresar el dato inicial en terminos de series
de Fourier trigonometricas (que son necesariamente periodicas). Una manera de re-
solver el problema consiste en considerar las funciones no periodicas en un dominio
innito como funciones periodicas pero de periodo innito. Este razonamiento (que
1
Incluimos evidentemente los problemas planteados en dominios innitos donde, hablando con
rigor, no existe contorno, sino un comportamiento lmite prescrito. Tambien nos referimos a las
transformadas nitas de Fourier (que se aplican a dominios acotados) que estan recibiendo una
atencion y un desarrollo especiales en el campo de la Ingeniera Qumica (vease por ejemplo el libro
de Deen, [D] sobre fenomenos de transporte).
1. Preliminares 5
desarrollaremos de manera heurstica pero que puede ser rigurosamente justicado)
nos llevara a la denicion de la integral de Fourier cuya expresion, en terminos de
funciones exponenciales complejas, dene y caracteriza la transformada de Fourier y
su formula de inversion. Tras analizar las principales propiedades de estos operadores
integrales veremos su posible aplicacion a la resolucion de problemas de valor inicial
en dominios innitos (transformada exponencial de Fourier) o semiinnitos (trans-
formadas seno y coseno de Fourier). La transformada de Fourier dene e introduce,
como caso particular, la transformada de Laplace, el segundo de los metodos que
presentaremos para la resolucion de EDP en dominios no acotados. Veremos que,
en realidad, el campo de aplicacion de la transformada de Laplace es mucho mas
amplio (aunque siempre restringido a problemas de valor inicial) y analizaremos al-
gunos casos concretos relevantes en el curriculum del ingeniero qumico. Finalmente
(y si el tiempo lo consiente) presentaremos un tercer metodo de resolucion de EDP
en dominios no acotados conocido con el nombre de metodo de combinaci on de las
variables. Se trata de un metodo de gran alcance muy conocido y aplicado por los
ingenieros (especialmente de la escuela anglosajona). Su presentaci on, analisis y apli-
cacion proporciona una herramienta de trabajo fundamental para la comprension
de la literatura existente sobre estos tema y representa el complemento ideal a los
dos metodos antes presentados (la transformada de Fourier y la de Laplace).
1. Preliminares
Ilustaremos aqu, aunque de manera intuitiva, el importante paso conceptual (o
eslabon) que nos lleva de la series de Fourier a las transformadas de Fourier.
1.1. De las series a las transformadas de Fourier: la integral
de Fourier
Si una funcion f que esta denida en < x < es periodica (y sucientemente
regular), entonces se puede representar por medio de una serie de Fourier:
f(x) =
n=0
_
a
n
cos
_
n
L
x
_
+ b
n
sin
_
n
L
x
__
(1)
siendo
a
0
=
1
2L
_
L
L
f(x)dx, a
n
=
1
L
_
L
L
f(x) cos
_
n
L
x
_
dx
y
b
n
=
1
L
_
L
L
f(x) sin
_
n
L
x
_
dx
los coecientes del desarrollo. Sin embargo, muy a menudo, se trabaja con funciones
denidas en < x < y que no son periodicas, por ejemplo: f(x) = e
x
2
. Evi-
dentemente no podemos desarrollar tal tipo de funciones (no periodicas) en terminos
de series de Fourier (que son periodicas). Intuitivamente lo que se hace en estos casos
consiste en considerar la funcion (no periodica) como funcion periodica pero de peri-
odo innito. Para poder realizar esta extension del concepto de serie de Fourier a las
funciones no periodicas se pasa al lmite en la amplitud L del intervalo (que aparece
en la denicion de la serie y, obviamente, en la expresion de los coecientes del de-
sarrollo formal de Fourier de una funcion generica no periodica). Veamos que ocurre
con las frecuencias del desarrollo (o el espectro de frecuencias), dadas por n/L,
cuando L . Cuando L crece el espectro (discreto) se hace siempre mas denso
hasta alcanzar un espectro continuo (desde 0 hasta ) cuando L . Podemos
por tanto pensar que, cuando L , es posible sustituir el smbolo de sumatorio
innito (en la variable discreta n) por el de integral (en la variable continua w). En
efecto, si f es sucientemente regular es posible demostrar que
Representaci on integral de Fourier de f
..
f(x) =
_

0
[a(w) cos(wx) + b(w) sin(wx)] dw
. .
Integral de Fourier de f
(2)
siendo
a(w) =
1
f(x) cos(wx)dx, b(w) =

1
f(x) sin(wx)dx
. .
Coecientes integrales de Fourier
. (3)
Estos argumentos, muy intuitivos, se pueden hacer rigurosos mediante el teorema
de la integral de Fourier. Antes, recordaremos aqu la denicion de funcion continua
a trozos en un intervalo de la recta real (introducida en el tema 2)
Denicion 1.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.
Podemos entonces formular el teorema de la integral de Fourier
Teorema 1.1. Sea f denida en < x < y sean f y f
funciones continuas
a trozos en cada intervalo nito [L, L] (para L arbitrariamente grande) y sea
_

|f(x)|dx <
1. Preliminares 7
Entonces la integral de Fourier de f:
_

0
[a(w) cos(wx) + b(w) sin(wx)] dw
converge a f(x) en cualquier punto donde f es continua y converge a su promedio
([f(x
+
) + f(x
)]/2) en todos los puntos de discontinuidad.

Demostracion: La demostracion rigurosa de este resultado va mas alla de los
objetivos de este curso.
Resumiendo, hemos obtenido la representaci on integral de Fourier de funciones no
periodicas denidas en < x < tomando el lmite en la formula de las series
de Fourier cuando el periodo tiende al innito. Tal y como se hizo con las series
de Fourier, es muy esclarecedor dibujar como las integrales parciales (el analogo
de las sumas parciales) van aproximando la funcion. Nuevamente se observa que
la convergencia es mas lenta cerca de los puntos de discontinuidad donde tambien
aparece el fenomeno de Gibbs (ya analizado en la segunda practica de laboratorio
de este curso).
En la proxima seccion se explicara como se obtiene la transformada de Fourier a
partir de la integral de Fourier.
1.2. De la integral de Fourier a la transformada de Fourier
Nuestro punto de partida lo constituyen las formulas (2) (la representacion integral
de Fourier) y (3) (los coecientes integrales de Fourier). Tal y como es posible ex-
presar una serie de Fourier en forma de exponenciales complejas (vease la seccion
correspondiente del segundo tema de este mismo curso y tambien el tema 1 del cur-
so de primero) es posible expresar la integral de Fourier en forma de exponenciales
complejas. Tras unas cuantas manipulaciones (que se pueden encontrar detalladas
en el captulo 17, pag. 920 del libro de Greenberg
2
) se llega a la siguiente expresion
alternativa de la representaci on integral de Fourier de f:
Expresion alternativa de la representaci on integral de Fourier de f
..
f(x) =
1
2
_

__

f()e
iw
d
_
. .
Transformada de Fourier
e
iwx
dw
. .
Formula de inversi on
(4)
2
Greenberg, M.D. (1998). Advanced Engineering Mathematics. International Edition.
La expresion alternativa (4) de la integral de Fourier de f (dada en (2)) se puede en
efecto escribir en dos partes
f(x) = a
_

c(w)e
iwx
dw
. .
Integral de Fourier
(5)
y
c(w) = b
_

f()e
iw
d
. .
Coecientes integrales de Fourier
(6)
siendo a, b tales que ab = 1/(2). Eligiremos, por popularidad, a = 1/2, b = 1
(pero veremos mas adelante que otras elecciones son igualmente utilizadas). En lugar
de pensar (5) como la integral de Fourier y (6) como los coecientes integrales de
Fourier es util pensar las formulas (5) y (6) como un par de transformadas: (6) dene
la transformada de Fourier c(w) de una funcion dada
c(w) =
_

f()e
iw
d
. .
(7)
mientras que (5) se conoce como la formula de inversi on, ya que si sustituimos (6)
en (5) e integramos volvemos a obtener f(x):
f(x) =
1
2
_

c(w)e
iwx
dw
. .
Formula de inversion
(8)
Es tpico denotar c(w) =

f(w) y escribir (6) y (5) en la forma (respectiva)
F[f(x)] =

f(w) =
_

f()e
iw
d
. .
(9)
y
F
1
[

f(w)] = f(x) =
1
2
_

f(w)e
iwx
dw
. .
(10)
La transformada de Fourier y la formula de inversion ya no son objetos misteriosos;
juntas constituyen la expresion alternativa de la representaci on integral de Fourier
1. Preliminares 9
(dada en (4)), expresada en terminos de exponenciales complejas. Las formulas (9)
y (10)) estan bien denidas para funciones f que satisfacen las hipotesis del teorema
de la integral de Fourier (1.1).
Ejemplo 1.1. Sea dada la funcion f(x) = 1 si x [1, 1], f(x) 0 si x [1, 1].
Calcular la transformada de Fourier de f.
Utilizando (9) se tiene
f(w) =
_

f(x)e
iwx
dx =
_
1
1
e
iwx
dx =
e
iwx
iw
|
1
1
= 2
sin(w)
w
Podramos tambien mostrar la aplicacion de la formula de inversi on, poniendo
f(w) = sin(w)/w en el integrando de (10), integrando y mostrando que el resul-

tado sera exactamente la funcion original f(x). Sin embargo, la integral obtenida
sustituyendo

f(w) en (10) se puede calcular solo aplicando el teorema de los residuos
(del calculo integral complejo) que no hemos estudiado
3
.
Ejemplo 1.2. Calcular la transformada de Fourier de la funcion f(x) = e
ax
si
x 0 y f(x) 0 si x < 0, siendo a > 0.
Utilizando (9) se tiene
f(w) =
_

f(x)e
ax
e
iwx
dx =
_

0
e
(a+iw)x
dx =
e
(a+iw)x
a + iw
|
0
=
=
1
a + iw

_
1
a + iw
_
lm
x
e
(a+iw)x
=
1
a + iw
Para explicar el resultado del paso al lmite anterior es suciente recordar que el
modulo |z| de un n umero complejo z = x + iy es |z| =
_
x
2
+ y
2
y que el modulo
del producto es el producto de los modulos (|z
1
z
2
| = |z
1
| |z
2
|), luego (utilizando la
formula de Euler)
e
(a+iw)x
= |e
ax
e
iwx
| = |e
ax
| |e
iwx
| = e
ax
| cos(wx) i sin(wx)| =
= e
ax
_
cos
2
(wx) + sin
2
(wx) = e
ax
0
cuando x .
Normalmente el calculo de la transformada de Fourier (y de la inversa) se realiza
utilizando las tablas que aparecen en el anexo al tema y en la mayora de los libros de
3
En tales casos se aconseja utilizar las tablas que aparecen en el anexo, las tablas que aparecen
en las referencias bibliogacas del nal de este tema o el programa de calculo simbolico Maple
(cuyo uso se detalla en las practicas de laboratorio)
texto de metodos matematicos para los ingenieros. Una buena, clasica referencia es
el libro de A. Erderly, Tables of Integral Transforms. Vol. 1 y 2. New York: McGraw-
Hill, 1954. El primer volumen contiene las tablas de las transformadas de Fourier,
Laplace y Mellin mientras que el segundo volumen contiene la transformada de
Hankel y varias otras. En general es muy comodo el uso de un programa informatico
de calculo (el Maple por ejemplo).
La transformada de Fourier, al igual que la de Laplace que detallaremos en la sec-
cion 5, es una transformada integral que se utiliza para resolver ecuaciones diferen-
ciales. En la practica la transformada de Fourier trabaja transformando ecuaciones
diferenciales ordinarias en ecuaciones algebraicas, que son mas sencillas de resolver.
Ademas, si u(x) verica una ecuacion diferencial en derivadas parciales, la funcion
F[u](x) = u(w) (la transformada de Fourier de u(x)) es solucion de una ecuacion
diferencial ordinaria. Se calcula u(w) y posteriormente se antitransforma u(w) para
recuperar la solucion de la ecuacion original.
En el caso de las EDP, al aplicar el metodo de separacion de variables (cuando es
posible) y para dominios nitos con geometra simple la EDP se convierte en una
EDO. La solucion general se puede entonces construir por superposicion de auto-
funciones. Cuando el dominio es innito la transformada de Fourier puede alcanzar
la misma reduccion. Tras haber resuelto la EDO correspondiente, el proceso (discre-
to) de superposicion mediante series (eventualmente) innitas se representar a ahora
mediante integrales impropias y la solucion nal se obtendra en forma integral.
1.3. La integral de Fourier
La integral de Fourier se introduce para poder representar por medio de una inte-
gral impropia algunas funciones denidas en todo el intervalo (, ) y que no son
periodicas. En efecto, en tal caso no podemos esperar encontrar una serie de Fourier
que represente a dichas funciones en (, ), pues la hipotesis de periodicidad
aparece en todos los teoremas de convergencia relativos a las series de Fourier (ver
por ejemplo el cap 11 del libro del Apostol
4
). Estas integrales, que en muchos aspec-
tos son analogas a las series de Fourier, se llaman integrales de Fourier, y el teorema
que da condiciones sucientes para que una funcion admita una representacion por
medio de una de estas integrales, se conoce con el nombre de teorema de la inte-
gral de Fourier (Apostol
5
, captulo 11). Los instrumentos basicos utilizados en esta
teora son, como en el caso de las series de Fourier, las integrales de Dirichlet y el
lema de Riemann-Lebesgue.
4
Apostol, T.M., (1982). Analisis Matematico. 2 ed. Editorial Reverte.
5
2. La Transformada de Fourier 11
2. La Transformada de Fourier
Muchas de las funciones que aparecen en analisis se pueden expresar por medio de
integrales de Lebesgue o bien por medio de integrales de Riemann impropias de la
forma:
F(s) =
_
+
K(t, s)f(t)dt
Una funcion F denida por medio de una ecuacion de este tipo (en la que f puede
ser real o compleja) se llama transformada integral de f. La funcion K que
aparece en el integrando se denomina el n ucleo de la transformada. Algunas de las
transformadas integrales mas corrientemente utilizadas se conocen con el nombre
de transformada de Laplace, transformada de Fourier, transformada de Hankel y
transformada de Mellin. En este captulo analizaremos la transformada de Fourier
y la transformada de Laplace (que es un caso particular de la transformada de
Fourier). Mayores detalles sobre las transformadas integrales se pueden encontrar
en el captulo 11 del libro de Apostol
6
sobre analisis matematico.
La transformada de Fourier es la transformacion integral de la funcion f(x) en el
intervalo (, ) con el n ucleo K(x, ) = (1/
2)e
ix
:
Denicion 2.1. Dada una funcion u suave a trozos y absolutamente integrable en
(, ), llamaremos transformada de Fourier
7
de u a la siguiente funcion:
u() =
1
2
_

u(x)e
ix
dx (11)
Notese que la denicion se extiende al caso complejo. La transformada de Fourier
denida en (11) se conoce con el nombre de transformada exponencial (de Fourier).
Observaci on 2.1. Denotaremos, dependiendo del contexto, la transformada de Fouri-
er de una funcion u(x) en las formas (equivalentes)
U(), u(), F[u(x)], F[u]()
Tambien usaremos distintas variables del tipo , w, o s para indicar la dependencia
de la funcion transformada. La notacion utilizada se generalizara naturalmente al
trabajar con funciones del tipo u(x, t).
La condicion para la integrabilidad absoluta de la funcion u(x) en todo el eje real
es muy estricta. Por ejemplo, hay funciones elementales como u(x) = 1, u(x) = x
3
,
6
7
A la funcion F se la conoce tambien con el nombre de funcion espectral.
u(x) = cos x, u(x) = e
x
para las cuales no existe la transformada de Fourier (en la
forma clasica que estamos considerando aqu). La transformada de Fourier la tienen
solo aquellas funciones que tienden a cero bastante rapidamente cuando |x| +.
Por ejemplo u(x) = e
x
2
, > 0, cuya transformada es:
u() =
1
2
e
2
/4
Otro ejemplo viene dado por la funcion
u(x) =
_
e
x
x > 0
0 x < 0
, > 0
Su transformada (o funcion espectral) se calcula entonces utilizando la formula (11)
F() =
1
2
_

0
e
x
e
ix
dx =
1
2
_
1
+ i
_
Tablas de transformadas de Fourier se encuentran por ejemplo en los libros de Green-
berg
8
o Krasnov et al
9
. Para comodidad del lector las hemos resumido en el anexo
al nal de este captulo.
2.1. La Transformada inversa de Fourier
Utilizando la transformada de Fourier la formula de inversi on puede ser escrita en
la forma:
u(x) =
1
2
_
+
u()e
ix
d (12)
La formula 12 es llamada transformacion inversa de Fourier y da la conversion
de u() a u(x). En la literatura (consultar el libro de Mei
10
, captulo 7) existen
varias deniciones equivalentes que se pueden resumir en los siguientes pares de
transformada y antitransformada:
f() =
_
+
f(x)e
ix
dx, f(x) =
1
2
_
+
f()e
ix
d
Repartiendo el factor constante entre la transformada y su inversa:
f() =
1
2
_
+
f(x)e
ix
dx, f(x) =
1
2
_
+
f()e
ix
d
8
9
Krasnov, M., Kiseliov, A., Makarenko, G., Shikin, (1994). E. Curso de matematicas superiores
para ingenieros. Vol 2. Ed. Mir.
10
Mei, C.C., (1997). Mathematical analysis in Engineering. Cambridge University Press.
o invertiendo el signo en la variable muda
f() =
_
+
f(x)e
ix
dx, f(x) =
1
2
_
+
f()e
ix
d
2.2. Transformaciones seno y coseno
Las transformadas seno y coseno de Fourier se utilizan para la resolucion de EDP
en dominios semiinnitos ((0, ), por ejemplo). Veamos su obtencion.
Aprovechando la formula trigonometrica de coseno de la diferencia de dos angulos
cos[(x )] = cos(x ) = cos(x) cos() + sin(x) sin()
en la formula integral de Fourier (11) se tiene:
Denicion 2.2.
u
c
() =
_
2
_
+
0
u(x) cos(x)dx
y se llama transformacion coseno de Fourier de la funcion u(x).
Es posible tambien comprobar que
u(x) =
_
2
_
+
0
u
c
() cos(x)d
Esto signica que u(x) es, a su vez, transformacion coseno para u
c
(). De forma
analoga se tiene:
Denicion 2.3.
u
s
() =
_
2
_
+
0
u(x) sin(x)dx
y se llama transformacion seno de Fourier de la funcion u(x).
Ademas
u(x) =
_
2
_
+
0
u
s
() sin(x)d
es decir, u y F
s
son mutuas transformaciones senos.
2.3. Propiedades de la transformada de Fourier
El operador (integral) transformada de Fourier
F[u(x)] = F[u]()
satisface las siguientes propiedades
PROPIEDADES DE LA TRANSFORMADA DE FOURIER
1. Linealidad de la transformada de Fourier.
El operador transformada de Fourier es lineal puesto que la integracion es una
operacion lineal. Es efecto, se verica que:
F[f(x) + g(x)] = F[f(x)] + F[g(x)], , IR
2. Acotacion de la transformada de Fourier.
Si F() = F[u(x)] = F[u]() es la transformacion de Fourier de una funcion
u(x) absolutamente integrable en todo IR, entonces la funcion transformada
F() es acotada para todo IR.
3. Desplazamiento de una funcion
Sea F() = F[u(x)] = F[u]() y a IR. La funcion u
a
(x) = u(x a) se llama
desplazamiento de la funcion u(x). Se verica que:
F[u
a
]() = e
ia
F[u]()
4. Formula del desplazamiento.
Sea F() = F[u(x)] = F[u]() y a IR. Entonces:
F[e
iax
u(x)] = F( a)
5. Transformada de una derivada. En las aplicaciones de la transformada
de Fourier a la resolucion de las ecuaciones diferenciales, la propiedad funda-
mental es que la transformada de la derivada de una funcion corresponde a la
multiplicacion de la transformada de la funcion original por el factor i. En
efecto, se tiene:
Sea dada una funcion u = u(x) derivable. Si existe la transformada de u
(x)
entonces se tiene:
F[u
(x)]() = iF[u(x)]() (13)

Condiciones sucientes que aseguran la existencia de esta transformada son,
por ejemplo: u continua en IR, u(x) 0 cuando |x| y u
absolutamente
integrable en (, ). A partir de estas condiciones es facil ver que
F[u
(x)] =
1
2
_
+
(x)e
ix
dx =
=
1
2
_
u(x)e
ix
|
(i)
_
+
u(x)e
ix
dx
_
= 0 + iF[u(x)]
donde hemos integrado por partes y usado el hecho que u(x) 0. Una apli-
cacion de la formula (13) al calculo de las transformadas es como sigue:
Ejemplo 2.1. Calcular la transformada de Fourier de la funcion u(x) =
xe
x
2
.
Utilizando la formula (13), la propiedad de linealidad y la tabla de transfor-
madas de Fourier que aparece en los anexos para el calculo de F[e
x
2
] se tiene
F[xe
x
2
] = F
_
1
2
(e
x
2
)
_
=
1
2
F
_
(e
x
2
)
_
=
1
2
iF[e
x
2
] =
1
2
2
ie
2
/4
puesto que F[e
x
2
] = (1/
2)e
2
/4
.
6. Transformada de derivadas de orden superior. Dos aplicaciones sucesi-
vas de la formula (13) nos dan:
F[u
(x)] = iwF[u
(x)] = (iw)
2
F[u(x)]
Se razona de forma analoga para las derivadas de orden superior. En efecto se
tiene:
Sea dada una funcion u = u(x) que tiene derivadas suaves absolutamente
integrables de hasta el orden m inclusive, y toda estas, igual que la misma
funcion u(x), tienden a cero, cuando |x| +. Se tiene:
F[u
(k)
(x)]() = (i)
k
F[u(x)](), k = 0, 1, ..., m
7. Derivadas de orden superior de transformadas
Transformada de productos del tipo x
n
u(x) (Derivadas de transformadas).
Bajo hipotesis adecuadas (supondremos que no solo u sino que tambien los
productos x
n
u(x) son funciones absolutamente integrables en IR) se tiene:
i
d
d
F() = F[xu(x)](),
y, mas en general:
i
n
d
n
d
n
F[u]() = F[x
n
u(x)](), n = 1, 2, ...m.
Notese que cuanto mas rapidamente decrezca la funcion u(x), cuando |x|
+, tanto mas suave resultara la funcion F().
8. Teorema de Convolucion.
Sean las funciones f(t) y (t) denidas y continuas para todos los valores de
t. Se llama convolucion (f )(t) de estas funciones a una funcion nueva de
t denida por la igualdad
(f )(t) =
_
+
f()(t )d (14)
(si esta integral existe). Para funciones f(t) y (t) tales que existe la transfor-
mada de Fourier la operacion de convoluci on siempre es posible, ademas
(f )(t) =
_
+
f()(t )d =
_
+
()f(t )d = ( f)(t)
es decir, que la operacion de convolucion es conmutativa (y lineal).
Teorema 2.1 (de convoluci on). Si F[f(t)] = F(s) y F[(t)] = (s) entonces
F[(f )(t)] = F(s)(s)
El teorema 2.1 se conoce tambien como el teorema de multiplicaci on, ya que
la transformada de una convoluci on de dos funciones viene dada por la multi-
plicacion de las transformadas de las funciones.
2.4. La transformada de Fourier multidimensional
La transformada de Fourier se puede tambien denir en el caso n-dimensional. En
concreto, sea x = (x
1
, x
2
, ..., x
n
) IR
n
. Se tiene entonces que
Denicion 2.4. Se llama transformacion de Fourier de una funcion absolutamente
integrable u(x
1
, x
2
, ..., x
n
) a la funcion
F(
1
,
2
, ...,
n
) =
1
(
2)
n
_

.....
_

u(x)e
i(
1
x
1
+
2
x
2
+...
n
x
n
)
dx
1
dx
2
....dx
n
(15)
3. Aplicaciones: dominios no acotados y Transformadas de Fourier 17
3. Aplicaciones: dominios no acotados y Transfor-
madas de Fourier
La tecnica de las transformadas de Fourier se aplica en un dominio innito en la
variable espacial para reducir una EDP en una EDO.
3.1. Difusion unidimensional. Solucion general en forma in-
tegral
Se considera el problema de valor inicial y de contorno asociado al proceso de difusion
unidimensional dado por
_
_
u
t
= k
2
u
x
2
, |x| < , t > 0
u 0, |x| , t > 0,
u(x, 0) = f(x), |x| < , t = 0
donde |x| denota los x IR tales que < x < , es decir, todo el eje real. La
constante k > 0 representa un coeciente de difusion, u(x, t) (la incognita) es la
concentracion de una especie qumica y f(x) (dato inicial) es la concentraci on de
la sustancia presente inicialmente. La condicion lmite en el innito (u 0 cuando
|x| +) se interpreta como una condicion de decaimiento en el innito. Se suele
denotar tambien en la forma (notacionalmente incorrecta pero sucientemente clara)
u(, t) = 0. Supondremos la regularidad suciente del dato inicial para que las
cuentas que siguen tengan perfecto sentido.
Tenemos, por tanto, un proceso de difusion en un dominio innito. La tecnica ade-
cuada para su tratamiento es la tecnica de la transformada exponencial de Fourier.
Para ello, sea U(, t) la transformada exponencial de Fourier de u(x, t):
U(, t) =
_

u(x, t)e
ix
dx
. .
Transformada exponencial
siendo
u(x, t) =
1
2
_

U(, t)e
ix
d
. .
la transformada exponencial inversa de Fourier. Si tomamos transformada en la EDP
u
t
= k
2
u
x
2
, |x| <
se tiene (por linealidad)
F
_
u
t
_
= kF
_
2
u
x
2
_
es decir (utilizando la denicion)
_

u
t
e
ix
dx = k
_

2
u
x
2
e
ix
dx
En la integral izquierda intercambiamos los operadores integral (espacial) con el de
derivaci on (temporal) para obtener
_

u
t
e
ix
dx =

t
__

ue
ix
dx
_
=
dU
dt
donde el abuso de notacion en la derivada dU/dt siendo U(, t) es debido al hecho
que puede considerarse un parametro
11
. La integral derecha se calcula integrando
por partes dos veces, lo que nos da:
_

2
u
x
2
e
ix
dx =
_
u
x
e
ix
_
+ i
_

u
x
e
ix
dx = (i)
2
U =
2
U
La EDP se ha transformado en la EDO de primer orden
dU
dt
+ k
2
U = 0
11
Es aqu fundamental observar que el resultado anterior se verica puesto que la transformada
de Fourier se ha tomado con respecto a la variable espacial.
La condicion inicial
Necesitamos una condicion inicial y la tenemos tomando la transformada del dato
inicial:
U(, 0) =
_

f(x)e
ix
dx = F()
. .
Transformada dato inicial
Nos hemos reconducido a resolver el problema de Cauchy
_
_
_
dU
dt
+ k
2
U = 0
U(, 0) = F()
dado por una EDO lineal homogenea de primer orden complementada con una
condicion (inicial) en t = 0. Se trata por tanto de un problema de valor inicial.
Notese que esta reduccion (de EDP a EDO) ha funcionado pues todos los coecientes
de la EDP (en este caso la conductividad calorca k) eran independientes de x. La
solucion del PVI es inmediata (por separacion de variables):
U(, t) = F()e
k
2
t
Transformada inversa
Utilizando la expresion de la transformada inversa obtenemos la formula de repre-
sentacion de la solucion en forma integral (solucion integral):
u(x, t) =
..
1
2
_

F()e
k
2
t
. .
e
ix
d (16)
De forma mas explcita se tiene
u(x, t) =
1
2
_

__

f()e
i
d
_
e
ixk
2
t
d
es decir (utilizando propiedades bien conocidas de linealidad de los operadores inte-
grales que aparecen en la formula anterior)
u(x, t) =
1
2
_

f()
__

e
i(x)k
2
t
d
_
d
. .
representacion integral de la solucion
Utilizando ahora que cos(A B) = cos(A) cos(B) + sin(A) sin(B), la paridad de
la funcion coseno (cos() = cos()), la imparidad de la funcion seno (sin() =
sin()) as como la simetra del intervalo de integracion y la formula de expo-
nenciacion compleja de Euler
12
e
i(x)
= cos[(x )] i sin[(x )]
se deduce que la solucion del problema original es
u(x, t) =
1
f()
__

0
cos (x )e
k
2
t
d
_
d
Una solucion integral se llama tambien solucion en forma cerrada (para diferenciarla
de las soluciones en en forma de series innitas o de las soluciones numericas). El
alcance y uso practico del resultado general anterior se puede entender examinando
unas condiciones iniciales especcas.
3.1.1. La Delta de Dirac: una fuente localizada.
Supongamos que una fuerza externa de gran magnitud act ue sobre un sistema
mecanico durante un lapso muy breve (por ejemplo un rayo golpeando el ala de
un avi on). Las siguientes funciones pueden servir de modelo matematico de este
tipo de fuerzas
Denicion 3.1. Sean a > 0, t
0
> 0. Se dene como funcion impulso unitario a
la funcion
a
(t t
0
) =
_
_
0 0 t < t
0
a
1
2a
t
0
a t < t
0
+ a
0 t t
0
+ a
siendo
_

0
a
(t t
0
)dt = 1.
Pasando al lmite cuando a 0 se tiene
12
El desarrollo detallado de estas cuentas se puede encontrar en el libro de Greenberg
13
captulo
17. Prerequisito fundamental para la comprension de estos razonamientos es el primer tema del
primer curso dedicado a los n umeros complejos
(t t
0
) = lm
a0
a
(t t
0
)
Observaci on 3.1. La expresion (t t
0
) (que no es una funcion
14
) se caracteriza
por su efecto sobre otras funciones y se denomina delta de Dirac. Si f es una
funcion continua, se tiene
_

0
f(t)(t t
0
)dt = f(t
0
)
Observaci on 3.2. Otra forma de denir la delta de Dirac (no correcta pero acep-
tada) es:
(t t
0
) =
_
t = t
0
0 t = t
0
,
_

0
(t t
0
)dt = 1
Esta formula no es correcta puesto que ninguna funcion real, f : IR IR se puede
denir en un punto de singularidad. Sin embargo, se acepta puesto que expresa la
propiedad fundamental de la Delta de Dirac: que su integral en [0, ) vale 1.
Supongase ahora que la concentraci on inicial de una especia qumica esta localizada
en el origen:
u(x, 0) = f(x) = (x)
La concentracion total correspondiente en el instante t = 0 y en el eje de las x
(, ), es igual a la unidad. La transformada de Fourier del dato inicial es
F() =
_

(x)e
ix
dx = 1
luego considerando la expresion general de la solucion integral dada en (16)
u(x, t) =
1
2
_

F()e
k
2
t
e
ix
d
se tiene
u(x, t) =
1
2
_

e
k
2
t
e
ix
d =
1
_

0
e
k
2
t
cos(x)d
14
Se trata en efecto de una distribucion o funcion generalizada. El marco teorico necesario para
trabajar (con rigor) con la Delta de Dirac ha sido introducido por el matematico frances Laurent
Schwartz.
Observando la expresion de la funcion exponencial que aparece an la formula ante-
rior, introducimos el cambio de variables
=
z
kt
Entonces
u(x, t) =
1
kt
_

0
e
z
2
cos
_
xz
kt
_
dz =
1
kt
I()
siendo
=
x
kt
, y I() =
_

0
e
z
2
cos(z)dz.
El calculo de la integral I() se puede efectuar resolviendo un problema de valor
inicial asociado. Para deducir el problema, se deriva I() con respecto a para
obtener:
dI
d
=
_

0
ze
z
2
sin(z)dz =
1
2
_

0
sin(z)d(e
z
2
) =
(integrando por partes)
=
_
1
2
e
z
2
sin(z)
_
1
2
_

0
e
z
2
cos(z)dz =
1
2
I
Hemos obtenido la ecuacion diferencial de primer orden para la integral I() que
aparece en la expresion de la solucion
dI
d
=
1
2
I
que se complementa con la condicion inicial
I(0) =
_

0
e
z
2
dz =
2
erf() =
2
donde se ha utilizado el hecho de que (vease el anexo al nal del tema donde se
introducen las deniciones y propiedades de la funcion de error erf y de su com-
plementaria, erfc) erf(z) 1 cuando z . Tenemos por tanto que resolver el
problema de Cauchy (o de valor inicial puesto que x = 0 implica = 0)
_
_
dI
d
+
1
2
I = 0
I(0) =
2
cuya solucion I() es (por separacion de variables)
I() = I(0)e
2
4
=
2
e
2
4
pero u =
1
kt
I() luego la solucion del problema de valor inicial y de contorno es
u(x, t) =
1
_

0
e
k
2
t
cos(x)d =
1
2
kt
e
x
2
4kt
donde la primera igualdad corresponde a la formula integral de la solucion calcu-
lada para el dato inicial representado por la Delta de Dirac y la segunda igualdad
corresponde a su calculo explcito. Notese que en cualquier instante, la distribucion
espacial de u es gaussiana. La altura del pico (maximo) de u disminuye de manera
inversamente proporcional a
kt mientras su amplitud crece con
kt. Este com-

portamiento es tpico de los fenomenos de difusion. El analisis de este problema
as como su estudio graco se puede encontrar en la tercera practica de laboratorio
que acompa na el desarrollo de este tema.
Si la fuente u(x, 0) = (x) estuviera en x = = 0 entonces la solucion se puede
escribir en la forma
u(x , t) =
1
_

0
e
k
2
t
cos (x )d =
1
2
kt
e
(x)
2
4kt
Para un dato inicial cualquiera f(x) la temperatura en cualquier instante es:
u(x, t) =
1
4kt
_

f()e
(x)
2
4kt
d (17)
3.1.2. La funcion de Heaviside. Temperatura inicial discontinua
En primer lugar introducimos la denicion de la funcion de Heaviside, H(x). Se trata
de una funcion muy importante de la fsica-matem atica cuyo tratamiento riguroso
se introducira en la seccion 5.3.1. Se tiene que
H(x)
.
=
_
0 x 0
1 x > 0
Consideraremos ahora como dato inicial una temperatura discontinua del tipo f(x) =
f
0
H(x), siendo H(x) la funcion de Heaviside y f
0
una constante. Utilizando la formu-
la general (17) tenemos la solucion de la EDP para un dato inicial generico:
u(x, t) =
1
4kt
_

f()e
(x)
2
4kt
d
luego particularizando a nuestro caso se tiene
u(x, t) =
1
4kt
_

f
0
H()e
(x)
2
4kt
d =
f
0
4kt
_

0
e
(x)
2
4kt
d
Sea = x . Entonces
u(x, t) =
f
0
4kt
_

x
e
2
4kt
d
Denimos
=

4kt
La solucion se escribe ahora:
u(x, t) =
f
0
_
x/
4kt
2
d =
f
0
_
_
0
2
d +
_
x/
4kt
0
e
2
d
_
es decir
u(x, t) =
f
0
2
_
1 + erf
_
x
4kt
__
siendo
erf(z)
.
=
2
_
z
0
e
2
d
la funcion de error. Examinando la graca de la solucion obtenida se tiene que
cuando el tiempo crece la discontinuidad inicial (prescrita al poner f(x) = f
0
H(x))
se va suavizando mientras la amplitud de la zona de transiccion se expande como
kt.
3.2. Dominios semiinnitos
En problemas fsicos denidos en dominios semiinnitos la transformada exponen-
cial de Fourier es inadecuada y es util introducir los conceptos de transformada
seno y coseno de Fourier. Ambas transformadas son utiles para trabajar en domin-
ios semiinnitos (por ejemplo (0, )) pero cual de las dos utilizar depende de las
condiciones de contorno en x = 0. Ilustraremos esta cuestion considerando un prob-
lema de difusion unidimensional. Notese que en este caso tambien sera posible (en
principio) utilizar el metodo de la transformada de Laplace (aplicado espacialmente
o temporalmente).
3.2.1. Transformadas seno inversas de Fourier
Si f(x) es impar en (, ) o si f(x) esta denida en 0 < x < y se extiende a
una funcion impar en todo el eje real, entonces
_

f() cos()d = 0
y el teorema integral de Fourier se escribe en la forma
f(x) =
2
_

0
__

0
f() sin()d
_
. .
Transformada seno de Fourier
sin(x)d
Si denimos
f
s
() =
_

0
f(x) sin(x)dx
. .
Transformada seno de Fourier
como la transformada seno de Fourier (denotada mediante el subndice s) en-
tonces el teorema integral de Fourier nos da la expresion
f(x) =
2
_

0
F
s
() sin(x)d
. .
de la transformada seno inversa de la transformada seno de Fourier.
3.2.2. Transformadas coseno inversas de Fourier
Si f(x) es par en (, ) o si f(x) esta denida en 0 < x < y se extiende a una
funcion par en todo el eje real, entonces el teorema integral de Fourier se escribe en
la forma
f(x) =
..
2
_

0
__

0
f() cos()d
_
. .
transformada coseno
cos(x)d
Si denimos
f
c
() =
_

0
f(x) cos(x)dx
como la transformada coseno de Fourier (denotada mediante el subndice c)
entonces el teorema integral de Fourier nos da la expresion
f(x) =
2
_

0
f
c
() cos(x)d
. .
formula de inversion
de la transformada coseno inversa de la transformada coseno de Fourier.
3.2.3. Difusion en un dominio semiinnito. Flujo de calor prescrito en
el extremo izquierdo. Transformada de cosenos de Fourier.
Se considera el proceso de conduccion del calor en una varilla semiinnita (0, ).
_
_
u
t
= k
2
u
x
2
, 0 < x < , t > 0
u 0, x , t > 0,
u(x, 0) = h(x), 0 < x < , t = 0
complementado con la condicion de contorno
u
x
(0, t) = f(t), x = 0
que representa un ujo de calor transitorio (notese la dependencia en f = f(t))
en x = 0 mediante una condicion de tipo Neumann no homogenea en el extremo
izquierdo. Puesto que no hay contorno se prescribe un comportamiento lmite de
decaimiento en el innito. La funcion h(x) es el dato inicial.
Sea U
c
(, t) la transformada coseno de Fourier de u(x, t):
U
c
(, t) =
_

0
u(x, t) cos(x)d
. .
Transformada coseno
siendo
..
u(x, t) =
2
_

0
U
c
() cos(x)d
. .
transformada coseno inversa
la transformada coseno inversa de Fourier.
Si tomamos la transformada de cosenos de Fourier en la EDP
u
t
= k
2
u
x
2
, 0 < x <
se tiene
_

0
u
t
cos(x)dx = k
_

0
2
u
x
2
cos(x)dx
En la integral izquierda intercambiamos los operadores integral (espacial) con el de
derivaci on (temporal) para obtener
_

0
u
t
cos(x)dx =

t
__

0
ucos(x)dx
_
=
dU
c
dt
Nuevamente se observa que puede considerarse un parametro luego el (aparente)
abuso de notacion en la derivada dU
c
/dt siendo U
c
(, t). La integral derecha se
desarrolla integrando por partes
_

0
2
u
x
2
cos(x)dx =
_
u
x
cos(x)
_
0
+
_

0
u
x
sin(x)dx =
=
u
x
(0, t) + [u sin(x)]
0

2
_

0
u(x, t) cos(x)d
donde el ultimo termino integral es la transformada de cosenos U
c
(, t). Se deduce
por tanto
_

0
2
u
x
2
cos(x)dx =
u
x
(0, t) + [u sin(x)]
0

2
U
c
(, t)
Notese que las igualdades anteriores se pueden desarrollar sin necesidad de conocer
el valor de u(0, t) (valor que, de hecho, es desconocido en el caso en estudio). En
efecto la cantidad [u sin(x)]
0
0 pues u 0 cuando x 0 (condicion lmite de
decaimiento en el innito) y sin(0) = 0. Aplicando la condicion de contorno para la
derivada primera en el extremo izquierdo la EDP se ha transformado en la EDO de
primer orden, lineal y no homogenea
dU
c
dt
+ k
2
U
c
= k
u
x
(0, t) = f(t)
La condicion inicial
El valor inicial U
c
(, 0) se determina transformando la condicion inicial
U
c
(, 0) = H
c
()
.
=
_

0
h(x) cos(x)dx
Nos hemos reconducido a resolver el problema de Cauchy
_
_
_
dU
c
dt
+ k
2
U
c
= kf(t)
U
c
(, 0) = H
c
()
La solucion del PVI se obtiene con el metodo del factor integrante escribiendo la
EDO en la forma:
e
k
2
t
_
U
c
e
k
2
t
_
= kf(t)
e integrando directamente en (0, t):
U
c
(, t) = H
c
()e
k
2
t
k
_
t
0
f()e
k
2
(t)
d
Transformada inversa
Utilizando la expresion de la transformada inversa de cosenos obtenemos la formula
de representacion de la solucion en forma integral (solucion integral):
u(x, t) =
2
_

0
H
c
() cos(x)e
k
2
t
d
2k
_

0
cos(x)
__
t
0
f()e
k
2
(t)
d
_
d =
=
2
_

0
h()
__

0
cos() cos(x)e
k
2
t
d
_
d+
k
2
_
t
0
f()
__

0
cos(x)e
k
2
(t)
d
_
d (18)
La primera integral respresenta los efectos en la distribucion de temperaturas debidos
al dato inicial:
2
_

0
h()
__

0
cos() cos(x)e
k
2
t
d
_
d
. .
Efecto del dato inicial
la segunda integral representa los efectos debidos el termino de contorno:
k
2
_
t
0
f()
__

0
cos(x)e
k
2
(t)
d
_
d
. .
Efecto del dato de contorno
Unas cuentas en poco mas delicadas (vease el libro de Mei, pag 156) permiten obtener
la formula integral de la solucion en la forma:
u(x, t) =
_

h(||)
4kt
e
x
2
4k(t)
d
_
k
_
t
0
f()
t
e
x
2
4k(t)
d.
Veamos ahora que hubiese ocurrido si hubieramos elegido una transformada de senos.
Integrando por partes
_

0
sin(x)
2
u
x
2
dx =
_
u
x
sin(x)
_
_

0
cos(x)
u
x
dx =
=
_
u
x
sin(x)
_
0
u cos(x)|
0

2
_

0
sin(x)udx
En el primer termino la condicion de ujo en la frontera x = 0 es in util (en el sentido
de que no inuye puesto que sin(0) = 0) mientras en el segundo termino u(0, t) es
todava desconocido. Claramente la transformada seno es inadecuada.
3.2.4. Difusion en un dominio semiinnito. Temperatura prescrita en el
extremo izquierdo. Transformada de senos de Fourier.
Supongase que el extremo izquierdo de la varilla se pone en contacto con una fuente
de calor:
u(0, t) = g(t), t > 0
entonces la transformada senos es lo que se necesita. Razonando como antes se tiene
que el problema transformado viene gobernado por la EDO (lineal, de primer orden
y no homogenea)
dU
s
dt
+ k
2
U
s
= kg(t), t > 0
complementada con la condicion inicial
U
s
(, 0) = H
s
() =
_

0
h(x) sin(x)dx
La solucion U
s
(, t) (transformada seno de la solucion original u(x, t)) se puede
encontrar con el metodo del factor integrante. Tras ello, tomamos la transformada
de senos inversa para obtener:
u(x, t) =
2
_

0
H
s
() sin(x)e
k
2
t
d +
2k
_

0
__
t
0
g()e
k
2
(t)
d
_
sin(x)d
La primera integral respresenta los efectos en la distribucion de temperaturas de-
bidos al dato inicial; la segunda integral representa los efectos debidos el termino de
contorno.
Se considera en detalle el caso h = H
s
= 0. Entonces
u(x, t) =
2k
_

0
__
t
0
g()e
k
2
(t)
d
_
sin(x)d
Unas cuentas un poco mas avanzadas (vease el libro de Mei, pag 157) permiten
obtener la formula integral de la solucion en la forma:
u(x, t) =
2k
_
t
0
_

x
___

0
cos(x)e
k
2
(t)
d
_
g()d
es decir
u(x, t) = 2k
_
t
0
g()
_

x
_
_
e
x
2
/4k(t)
_
4k(t )
_
d
luego
u(x, t) =
x
4k
_
t
0
g()
(t )
3/2
e
x
2
/4k(t)
d
En particular si g(t) = U
0
(es decir, si g(t) es constante) entonces
u(x, t) =
U
0
x
4k
_
t
0
e
x
2
/4k(t)
(t )
3/2
d
Notese que, todava tenemos una expresion poco clara de la solucion. Sin embargo,
el cambio de variables
=
x
_
4k(t )
,

=
x
4
k(t )
3/2
,
nalmente implica
u(x, t) =
U
0
_

0
xd
2
k(t )
3/2
e
k
2
(t)
=
2U
0
_

x/2
kt
e
2
d =
= U
0
_
1
2
_
x/
4kt
0
e
2
d
_
= U
0
_
1 erf
_
x
4kt
__
= U
0
erfc
_
x
4kt
_
donde erf(z) es la funcion de error y erfc(z) es la funcion de error complementaria
(cuya denicion y propiedades se encuentran resumidas en los anexos).
3.2.5. Difusion en un dominio semiinnito. Extremo izquierdo parcial-
mente aislado.
Si la condicion de contorno es del tipo mixto y transitoria
u
x
u = f(t), x = 0, t > 0
entonces no hay una clara ventaja en utilizar una u otra de las transformadas.
Escribimos la condicion anterior como
u
x
(0, t) = f(t) + u(0, t), t > 0
y aplicamos (formalmente) la transformada de cosenos. A partir de (18) la solucion
formal es
u(x, t) = k
2
_
t
0
[f() + u(0, )]
__

0
cos(x)e
k
2
(t)
d
_
d. (19)
En el extremo x = 0 se debe tener
u(0, t) = k
2
_
t
0
[f() + u(0, )]
__

0
e
k
2
(t)
d
_
d.
lo que representa una ecuacion integral para u(0, t). Sea
z =
_
k(t )
entonces
2
1
_
k(t )
_

0
e
z
2
dz =
_
2
1
_
k(t )
y podemos escribir
u(0, t) =
_
2k
_
t
0
u(0, )
_
(t )
d +
_
2k
_
t
0
f()
_
(t )
d
Esta es una ecuacion integral
15
del tipo de Volterra (y del segundo tipo) que, en
principio, se puede resolver con la transformada de Laplace. Una vez obtenida la
expresion de u(0, t) a partir de la ecuacion integral, la solucion es completa utilizando
(19).
4. El paso de la integral de Fourier a la transfor-
mada de Laplace
Hemos visto que la transformada de Fourier es meramente una reformulaci on de
la integral de Fourier que es el caso lmite de las series de Fourier de una funcion
periodica (cuando el periodo tiende al innito). En el segundo tema vimos que las
series de Fourier aparecen como el desarrollo en serie de la solucion en terminos
de autofunciones que se originan en un problema de Sturm-Liouville (periodico).
En principio, la transformada de Laplace y su formula de inversi on no parecen
relacionadas con estos metodos de Fourier. Sin embargo, veremos en esta seccion
que la transformada de Laplace y su inversa se pueden deducir a partir del teorema
integral de Fourier. Se empieza con la forma de exponenciales complejas
u(t) =
1
2
_

__

u()e
iw
d
_
e
iwt
dw, < t < (20)
donde hemos utilizado t (el tiempo) en lugar de x (el espacio) para indicar el tpico
caso de aplicacion de la transformada de Laplace. Notese que la transformada de
Laplace esta denida solo para t 0 luego truncamos u(t) en el semieje real negativo
y suponemos que u es de la forma
u(t) = e
t
f(t), t 0, u(t) 0, t < 0
15
La consideracion de las ecuaciones integrales desborda los objetivos del curso. Detalles se
pueden encontrar, por ejemplo, en el libro de Tricomi, F.G. (1957). Integral Equations. Wiley-
Interscience, New York.
4. El paso de la integral de Fourier a la transformada de Laplace 33
Supondremos ademas f de orden exponencial. Entonces se puede demostrar que la
funcion u satisface la condicion de absoluta integrabilidad en IR que aparece en las
hipotesis del teorema (1.1). En terminos de la funcion de Heaviside podemos escribir
(20) en la forma
H(t)e
t
f(t) =
1
2
_

__

0
e
f()e
iw
d
_
e
iwt
dw, < t < (21)
Multiplicando por e
t
se tiene
H(t)f(t) =
1
2
_

__

0
e
(+iw)
f()d
_
e
(+iw)t
dw, < t < (22)
Introduciendo el nuevo parametro s (en lugar de w) y en la forma (dictada por (22))
s = + iw se tiene
H(t)f(t) =
1
2i
_
+i
i
__

0
e
s
f()d
_
. .
Transformada de Laplace
e
st
ds, < t < (23)
donde el smbolo
_
+i
i
denota la integraci on a lo largo de una recta vertical en
el plano complejo. Si denimos la transformada de Laplace (tal y como aparece
indicado en (23)) como
L[f(t)] = F(s) =
_

0
e
st
f(t)dt (24)
(hemos cambiado la variable muda de a t) entonces (23) nos da la formula de
inversi on
L
1
[F(s)] = H(t)f(t) =
1
2i
_
+i
i
F(s)e
st
ds (25)
Resumiendo hemos utilizado la expresion de la integral de Fourier en terminos de
exponenciales complejas para deducir la transformada de Laplace y la formula de
inversi on.
5. La Transformada de Laplace
La mayora de los problemas fsico-qumicos consisten en resolver una ecuacion di-
ferencial (que modeliza el sistema considerado), obtener su solucion general y luego
una solucion particular mediante la aplicacion de condiciones de contorno o condi-
ciones iniciales a la solucion general obtenida. Ejemplos de modelos matematicos
lineales de un sistema fsico son el de una masa y un resorte o de un circuito electri-
co en serie.
En este tema estudiaremos un metodo de resolucion de gran utilidad en el tratamien-
to de problemas de valor inicial (P.V.I) en el origen (t = 0) para el caso de ecua-
ciones y sistemas de ecuaciones diferenciales lineales de coecientes constantes
16
:
la Transformada de Laplace. Ademas esta tecnica sera aplicable (bajo hipotesis
adecuadas) tanto a ecuaciones diferenciales ordinarias como en derivadas parciales
y puede ser tambien usada para resolver ciertas ecuaciones integrales o integro dife-
renciales (vease el libro de Zill
17
, captulo 7, ejemplo 7).
Una de las guras principales del metodo es que puede ser aplicado a ecuaciones
tales que el termino derecho (que tpicamente suele representar una fuerza externa
al sistema) puede ser una funcion discontinua
18
.
Introduciremos la denicion de la transformada de Laplace mediante el concepto
de transformada integral. Si f(t) es una funcion denida para t 0, entonces la
integral impropia
_

0
K(s, t)f(t)dt
se dene como un lmite:
_

0
K(s, t)f(t)dt
.
= lm
b
_
b
0
K(s, t)f(t)dt
Si existe el lmite, se dice que la integral existe o que es convergente; si no existe
el lmite, la integral no existe y se dice que es divergente. En general, el lmite
anterior existe solo para ciertos valores de la variable s. Si elegimos como n ucleo de
16
En realidad es posible aplicar el metodo de la transformada de Laplace a EDO lineales con
coecientes no necesariamente constantes. Un ejemplo se puede encontrar en el libro del Zill.
17
Zill, D.G., (1997). Ecuaciones Diferenciales con aplicaciones de modelado. International Thom-
son Editores. 6 ed.
18
El tipo de discontinuidad admisible para un tratamiento en terminos del metodo de la trans-
formada de Laplace sera considerado mas adelante, al introducir el concepto de funcion continua
a trozos en un intervalo innito.
5. La Transformada de Laplace 35
la transformada integral la funcion
K(s, t) = e
st
entonces tenemos la transformada de Laplace. En concreto
Denicion 5.1. Sea f(t) una funcion denida para todo t 0. Entonces se dene
su transformada de Laplace como la funcion:
L[f(t)]
.
= F(s)
.
=
_

0
f(t)e
st
dt (26)
siempre y cuando la integral converja. La transformada inversa (o antitransfor-
mada de Laplace) se denota (si existe) por:
f(t) = L
1
[F(s)].
Como notacion general emplearemos letras min usculas para representar la funcion
a transformar y la may uscula correspondiente para denotar su transformada de
Laplace; por ejemplo
L[f(t)] = F(s), L[g(t)] = G(s), L[y(t)] = Y (s)
La notacion correspondiente que utilizaremos para la transformada inversa sera
f(t) = L
1
[F(s)], g(t) = L
1
[G(s)], y(t) = L
1
[Y (s)]
El analisis del problema del calculo practico de la transformada inversa de Laplace
sera considerado en la seccion 6.
Tal y como se arma en la denicion (26), la expresion de la transformada de Laplace
existe (esta bien denida) si la integral impropia es convergente. El dominio de
denicion de F(s) sera el conjunto de los valores de s IR para los que la integral
que aparece en (26) es convergente.
Ejemplo 5.1. Sea f(t) = 1. Calcular L[f(t)].
A partir de la denicion (26) se tiene que
L[1] =
_

0
e
st
(1)dt = lm
b
_
b
0
e
st
dt = lm
b
e
st
s
|
b
0
= lm
b
e
sb
+ 1
s
=
1
s
siempre que s > 0 pues de lo contrario (s < 0)
lm
b
e
sb
+ 1
s

y la integral es divergente. Si s = 0 entonces se tiene
_

0
dt +
luego la transformada de Laplace de la unidad es
L[1] = F(s) =
1
s
, s > 0
A pesar de que la transformada de Laplace pueda existir para algunos valores de s
y no existir para otros valores de s, tambien puede ocurrir que la transformada de
Laplace no exista para cualquier valor de s. Por ejemplo, L[1/t] no existe, independi-
entemente del valor de la variable s que aparece en la denicion de la transformada.
Un criterio que nos proporciona condiciones sucientes para la existencia de la trans-
formada de Laplace de una funcion f(t) se puede enunciar a partir de las siguientes
deniciones (que ata nen a la regularidad y al crecimiento de la funcion a transfor-
mar):
Denicion 5.2. Una funcion f(t) es continua a trozos en [0, ) si, en cualquier
intervalo 0 a t b hay, a lo sumo, una cantidad nita de puntos t
k
, k = 1, 2...n,
(t
k1
< t
k
) en los cuales f tiene discontinuidades nitas y es continua en todo
intervalo abierto t
k1
< t < t
k
.
La denicion (5.2) caracteriza las funciones continuas a trozos
19
como las funciones
que tienen un n umero nito de discontinuidades nitas (de salto) en cada intervalo
compacto y que son continuas en cada intervalo abierto entre dos puntos de discon-
tinuidad. Esta propiedad garantiza la integrabilidad seg un Riemann de la funcion
f(t)e
st
(el integrando de la transformada) en cada compacto de la recta real del
tipo [0, b], b > 0. Sin embargo, la denicion de la transformada de Laplace requiere
que haya integrabilidad hasta el innito luego la condicion no es, evidentemente, su-
ciente para garantizar la existencia de la transformada. Hace falta alguna hipotesis
mas restrictiva sobre el comportamiento de la funcion f(t) a transformar. En con-
creto tenemos que analizar el crecimiento de la funcion en el innito.
Para ello se compara el crecimiento de la funcion que queremos transformar con alg un
crecimiento lmite que garantize la existencia de la transformada. Concretamente
Denicion 5.3. Se dice que una funcion f(t) es de orden exponencial c si existen
constantes c, M > 0 y T > 0 tales que |f(t)| Me
ct
para todo t > T.
19
Notese que la denicion de funcion continua a trozos (pero en un intervalo acotado) ya ha sido
introducida en el tema 2 al trabajar con las series de Fourier.
La denicion (5.3) introduce una clase especial de funciones, las de orden exponen-
cial, cuya tasa de crecimiento (combinada con la propiedad de regularidad denida
en (5.2)) es la adecuada para implicar la convergencia de la integral que dene la
transformada de Laplace.
Por ejemplo las funciones f(t) = t, f(t) = e
t
, f(t) = 2 cos t son de orden exponen-
cial c = 1 para t > 0, puesto que
|t| e
t
, |e
t
| e
t
, |2 cos(t)| e
t
si t > 0. La funcion f(t) = e
t
2
no es de orden exponencial porque su graca crece
mas rapido que cualquier potencia lineal positiva de base exponencial e en t > c > 0.
Otra forma de interpretar la denicion consiste en considerar una funcion de orden
exponencial si el producto e
ct
|f(t)| es acotado, es decir, si e
ct
|f(t)| M para
valores grandes de t.
Tal y como se se nalo anteriormente, la combinaci on de la regularidad de la funcion
con la de crecimiento de orden exponencial garantizan la existencia de la transfor-
mada de Laplace. Este resultado se expresa en la forma
Teorema 5.1. Si f(t) es una funcion continua a trozos en el intervalo [0, ) y de
orden exponencial c para t > T, entonces L[f(t)] existe para s > c.
La demostracion de este resultado es simple y pone de maniesto la importancia de
las hipotesis del teorema.
Si f(t) es continua a trozos en [0, b) entonces existe
_
b
0
f(t)e
st
dt.
es decir la funcion f(t) es integrable seg un Riemann en cada intervalo compacto de
la recta real que sea del tipo [0, b], b IR, b > 0.
Por otra parte si f(t) es de orden exponencial c, entonces existen constantes c, M y
T tales que |f(t)| Me
ct
, t T. Multiplicando por el n ucleo de la transformada,
K(t, s) = e
st
,
e integrando en [0, ) se tiene
L[f(t)]
.
=
_

0
f(t)e
st
dt
_

0
|f(t)|e
st
dt M
_

0
e
(cs)t
dt
Por integraci on directa es facil ver que
_

0
e
(cs)t
dt =
1
c s
< , s > c
luego L[f(t)] < lo que demuestra la existencia de la transformada de Laplace
para f(t).
Notese que las condiciones anteriores son sucientes pero no necesarias para la exis-
tencia de la transformada de Laplace como se comprueba considerando la funcion
f(t) = t
1/2
(que no es continua por trozos en [0, )) y aplicando la denicion 5.1.
Otra condicion suciente muy utilizada en analisis es la siguiente: si f verica
_

0
|f(t)|dt < ,
entonces la integral que aparece en (26) esta bien denida para todo s > 0. Re-
cuerdese (tema 2) que lo anterior equivale a armar que f L
1
(0, ) (es decir que
f es una funcion absolutamente integrable en el sentido de Lebesgue en el intervalo
(0, )).
Seg un se nala el teorema siguiente, no toda funcion arbitraria de s es una transfor-
mada de Laplace de una funcion continua a trozos y de orden exponencial. Una
condicion (necesaria pero no suciente) para detectar rapidamente si una funcion
F(s) puede ser considerada la transformada de una funcion funcion continua a trozos
y de orden exponencial se enuncia a continuacion.
Teorema 5.2. Sea f(t) una funcion continua a trozos en [0, ) y de orden expo-
nencial para t > T. Sea F(s) = L[f(t)] la transformada de Laplace de f. Entonces:
lm
s
F(s) = 0
De acuerdo con el teorema podemos decir que F(s) = 1 y F(s) = s/(s + 1) no son
transformadas de Laplace de una funcion continua a trozos y de orden exponencial.
Condiciones sucientes (pero no necesarias para que una funcion F(s) sea la trans-
formada de Laplace de una funcion continua a trozos y de orden exponencial) se
establecen en el siguiente teorema:
Teorema 5.3. Sea dada una funcion F(s). Si
lm
s
F(s) = 0, lm
s
sF(s) < M
entonces F(s) es la transformada de alguna funcion f(t) que es, al menos, continua
a trozos en alg un intervalo 0 t y es, ademas, de orden exponencial.
Notese que, cuando se conoce la transformada F(s) y se quiere conocer el valor
inicial de una funcion f(t) es posible utilizar el siguiente resultado:
lm
s
sF(s) = f(0)
siempre que f(t) y f
(t) sean, al menos, continuas a trozos y de orden exponencial.

Las condiciones sucientes que aparecen en el teorema (5.3) no son necesarias. Por
ejemplo
F(s) = s
3/2
es la transformada de
2
_
t
(lo justicaremos mas adelante). Ademas

lm
s
F(s) = lm
s
s
3/2
= 0
lo que es condicion necesaria para la existencia de la transformada seg un vimos en
el teorema (5.2). Sin embargo
lm
s
sF(s) = lm
s
s
1/2
luego no se verican las dos hipotesis del teorema (5.3) y, a pesar de ello, la funcion
dada es la transformada de una f(t) continua y de orden exponencial.
5.1. Transformadas de funciones elementales
A partir de la denicion de la transformada de Laplace 5.1 y utilizando las formulas
basicas de integraci on del calculo (reglas de integraci on elemental y formula de
integracion por partes) es posible calcular la transformada de Laplace de algunas
funciones elementales, del tipo f(t) = t
, > 1, f(t) = ke
at
, k IR o f(t) =
sin(bt), b IR.
Ejemplo 5.2. Sea f(t) = t. Calcular L[t].
Utilizando la denicion (26), integrando por partes y recordando que
lm
t
te
st
= 0, s > 0
se tiene que
L[t] =
_

0
te
st
dt = lm
b
_
b
0
te
st
dt = lm
b
te
st
s
|
b
0
+
1
s
_

0
e
st
dt =
1
s
L[1] =
1
s
2
donde se ha utilizado el resultado del ejemplo 5.1.
Ejemplo 5.3. Sea f(t) = e
3t
. Calcular L[f(t)].
De acuerdo con la denicion (26) se tiene que
L[e
3t
] =
_

0
e
st
e
3t
dt =
_

0
e
(s+3)t
dt =
e
(s+3)t
s + 3
|
0
=
1
s + 3
, s > 3
Ejemplo 5.4. Sea f(t) = sin(2t). Calcular L[f(t)].
De acuerdo con la denicion (26) e integrando por partes, tenemos
L[sin(2t)] =
_

0
e
st
sin(2t)dt =
e
st
sin(2t)
s
|
0
+
2
s
_

0
e
st
cos(2t)dt
es decir,
L[sin(2t)] =
2
s
_

0
e
st
cos(2t)dt, s > 0
Integrando nuevamente por partes y utilizando el hecho que
lm
t
e
st
cos(2t) = 0, s > 0
se tiene que
L[sin(2t)] =
2
s
_

0
e
st
cos(2t)dt =
2
s
_
e
st
cos(2t)
s
|
0

2
s
_

0
e
st
sin(2t)dt
_
Observando que
L[sin(2t)]
.
=
_

0
e
st
sin(2t)dt
lo anterior se puede escribir como sigue
L[sin(2t)] =
2
s
_
e
st
cos(2t)
s
|
0

2
s
L[sin(2t)]
_
=
2
s
2

4
s
2
L[sin(2t)]
y se deduce que (despejando la funcion transformada L[sin(2t)])
L[sin(2t)] =
2
s
2
+ 4
, s > 0
Ejemplo 5.5. Sea f(t) = te
2t
. Calcular L[f(t)].
Aplicando la denicion (26) e integrando por partes se tiene
L[te
2t
] =
_

0
e
st
(te
2t
)dt =
_

0
te
(s+2)t
dt =
te
(s+2)t
s + 2
|
0
+
1
s + 2
_

0
e
(s+2)t
dt
es decir
L[te
2t
] =
e
(s+2)t
(s + 2)
2
|
0
=
1
(s + 2)
2
, s > 2
Ejemplo 5.6. Sea f(t) = t
2
e
2t
. Calcular L[f(t)].
Aplicando la denicion (26)
L[t
2
e
2t
] =
_

0
e
st
(t
2
e
2t
)dt =
_

0
t
2
e
(s+2)t
dt
integrando por partes
L[t
2
e
2t
] =
t
2
e
(s+2)t
s + 2
|
0
+
2
s + 2
_

0
te
(s+2)t
dt =
2
s + 2
_

0
e
st
(te
2t
)dt, s > 2
Utilizando el resultado del ejemplo 5.5 se deduce
L[t
2
e
2t
] =
1
(s + 2)
2
L[te
2t
] =
1
(s + 2)
3
, s > 2
Veamos ahora un ejemplo de transformada de una funcion denida a trozos
Ejemplo 5.7. Sea dada la funcion
f(t) =
_
0 0 t < 3
2 t 3
Calcular L[f(t)].
La funcion f(t) es continua a trozos. Puesto que f(t) esta denida en dos partes,
expresamos L[f(t)] como la suma de dos integrales
L[f(t)] =
_

0
e
st
f(t)dt =
_
3
0
e
st
(0)dt+
_

3
e
st
(2)dt =
2e
st
s
|
3
=
2e
3s
s
, s > 0
El siguiente teorema nos dara una generalizacion de algunos de los ejemplos ante-
riores. De aqu en adelante no escribiremos las restricciones en s; se sobreentiende
que s tiene las restricciones sucientes para garantizar la convergencia de la trans-
formada de Laplace correspondiente
Teorema 5.4. Las transformadas de algunas funciones basicas (constantes, poli-
nomios, exponenciales, trigonometricas e hiperbolicas) son:
1.
L[1] =
1
s
2.
L[t
] =
( + 1)
s
+1
, > 1, L[t
n
] =
n!
s
n+1
, n = 1, 2, 3
3.
L[e
at
] =
1
s a
4.
L[sin(kt)] =
k
s
2
+ k
2
5.
L[cos(kt)] =
s
s
2
+ k
2
6.
L[sinh(kt)] =
k
s
2
k
2
7.
L[cosh(kt)] =
s
s
2
k
2
Notese que en la segunda transformada basica se ha utilizado la funcion (intro-
ducida en el tema anterior) y el hecho que, cuando = n (es decir cuando es un
n umero entero positivo) se tiene (n+1) = n!. Por tanto la primera formula es mas
general y permite calcular, por ejemplo:
L[t
1/2
] =
_

0
t
1/2
e
st
dt =
(1/2)
s
=
_
s
donde se ha utilizado el resultado (1/2) =
(que se puede encontrar tabulado en

varios textos, utilizando Maple o utilizando la denicion de la funcion integral Beta
expresada en terminos de funciones trigonometricas para el calculo de la funcion
Gamma).
Para la mayora de las funciones conocidas (constantes, exponenciales, polinomicas,
trigonometricas) existen tablas de transformadas (veanse los libros de Acero
20
, Rice
y Do
21
Krasnov
22
o Zill
23
por ejemplo) que nos evitan efectuar la integracion que
aparece en la denicion (26.)
5.1.1. Unas transformadas no elementales
Al resolver problemas de valor inicial y valores de contorno para EDP aparecen muy
a menudo unas transformadas no elementales que se pueden encontrar, por ejemplo,
en el apendice D del libro de Rice and Do
24
. Por ejemplo:
L
_
sin(2k
t)
t
_
= erf
_
k
s
_
, L
_
e
2k
t
_
=
1
s
e
k
2
/s
erfc
_
k
s
_
y tambien
L
_
e
t
2
/4k
2
k
_
= e
k
2
s
2
erfc (ks) , k > 0.
Otra transformada muy importante (que utilizaremos en la seccion dedicada a las
aplicaciones del metodo de la transformada de Laplace a la resolucion de EDP) es
L
_
erfc
_

2
t
__
=
1
s
e
s
, 0 (27)
20
Acero, I., Lopez, M., (1997). Ecuaciones diferenciales. Teora y problemas. Ed.: Tebar Flores.
21
Rice, R.G, Do, D.D., (1995). Applied Mathematics and Modelling for Chemical Engineers.
John Wiley & Sons, Inc.
22
Krasnov, M., Kiseliov, A., Makarenko, G., Shikin, (1994). E. Curso de matematicas superiores
para ingenieros. Vol 2. Ed. Mir.
23
son Editores. 6 ed.
24
Las funciones anteriores se conocen con el nombre de funcion de error (erf) y funcion
de error complementaria (erfc). Una descripcion de las mismas se puede encontrar
en el anexo dedicado a las funciones integrales que se encuentra al nal de este
captulo.
Una vez calculadas las transformadas de algunas funciones basicas, el calculo de
las transformadas de funciones mas complicadas se suele simplicar utilizando las
siguientes propiedades de la transformada de Laplace:
5.2. Propiedades de la tranformada de Laplace
Cuando se pretende calcular la transformada de Laplace de funciones complicadas se
observa que no siempre es conveniente calcular la transformada de Laplace de una
funcion f(t) utilizando la denicion. Por ejemplo, el proceso de integraci on por partes
que se usa para evaluar la transformada de funciones del tipo f(t) = e
t
t
2
sin(3t) es
muy largo. En esta seccion presentaremos varios teoremas que ahorran trabajo y
permiten obtener la transformada de Laplace, sin necesidad de acudir a la denicion.
Presentaremos estos resultados en forma de propiedades. La demostracion de la
mayora de ellos es inmediata utilizando la denicion.
El operador (integral) transformada de Laplace L[f(t)] satisface las siguientes propiedades
PROPIEDADES DE LA TRANSFORMADA DE LAPLACE
Sean f(t), g(t) dos funciones tales que existen sus transformadas de Laplace (deno-
tadas por F(s) y G(s) respectivamente) y sean , n umeros reales cualesquiera:
, IR.
1. Linealidad del operador de Laplace.
El operador transformada de Laplace es lineal. Es decir:
L[f(t) + g(t)] = L[f(t)] + L[g(t)] = F(s) + G(s)
Para ilustrar el empleo de la propiedad de linealidad se considera el siguiente
ejemplo
Ejemplo 5.8. Sea f(t) = 3t 5 sin(2t). Calcular L[f(t)].
De acuerdo con los ejemplos 5.2 y 5.4, y utilizando la propiedad de linealidad
de la transformada de Laplace, podemos escribir
L[3t 5 sin(2t)] = 3L[t] 5L[sin(2t)] = 3
1
s
2
5
2
s
2
+ 4
=
7s
2
+ 12
s
2
(s
2
+ 4)
, s > 0
Ejemplo 5.9. Sea f(t) = sin
2
(t). Calcular L[f(t)].
Si utilizamos la identidad trigonometrica del angulo mitad
sin
2
(t) =
1
2
[1 cos(2t)]
y aplicamos la propiedad de linealidad obtenemos
L[sin
2
(t)] = L
_
1
2
[1 cos(2t)]
_
=
1
2
(L[1] L[cos(2t)]) =
1
2
1
s

1
2
s
s
2
+ 4
=
2
s(s
2
+ 4)
2. Transformada de una derivada. El objetivo principal de este tema es
aplicar la transformada de Laplace para resolver ciertos tipos de ecuaciones
diferenciales. Para ello, al tomar la transformada de la ecuacion diferencial
necesitaremos evaluar cantidades como L[f
(t)], L[f
(t)], ... Formalizamos es-

tos conceptos introduciendo el siguiente teorema:
Teorema 5.5. Sea dada una funcion f = f(t) derivable. Si existe la transfor-
mada de f
(t) entonces se tiene:

L[f
(t)] = sL[f(t)] f(0) = sF(s) f(0) (28)

La formula de calculo de la transformada de una derivada, (28), es extremada-
mente importante en las aplicaciones a la resolucion de EDO de primer orden.
Ejemplo 5.10. Determinar la transformada de la funcion f(t) que satisface
la EDO de primer orden, no homogenea
f
(t) f(t) = 1,
sujeta a la condicion inicial f(0) = 0.
Se trata de resolver un PVI asociado a una EDO de primer orden. Para ello
utilizamos la formula (28) para obtener
sF(s) f(0) F(s) =
1
s
, s > 0
Aplicando la condicion inicial f(0) = 0 y factorizando el termino izquierdo se
deduce
F(s) =
1
s(s 1)
, s > 0
Todava no podemos resolver el PVI propuesto, ya que no sabemos calcular la
transformada inversa de F(s) (cosa que haremos en las siguientes secciones)
sin embargo, hemos reducido el problema al calculo de la transformada inversa
de Laplace de una funcion racional (lo que es bastante sencillo como veremos
mas adelante)
De momento, podemos ver una aplicacion practica de la formula (28) si recono-
cemos que la funcion a transformar es la derivada de alguna funcion conocida.
Ejemplo 5.11. Calcular la transformada de Laplace L[kt cos(kt) + sin(kt)]
Para ello es suciente observar que
f
(t) = kt cos(kt) + sin(kt) =

d
dt
[t sin(kt)]
luego f(t) = t sin(kt); por tanto f(0) = 0 y aplicando el teorema (5.5) (para
el calculo de la transformada de una derivada) se tiene
L[kt cos(kt) + sin(kt)] = L
_
d
dt
[t sin(kt)]
_
= sL[t sin(kt)]
Calculando, mediante la denicion y una aplicacion de la formula de inte-
gracion por partes la transformada L[t sin(kt)] se tiene
L[t sin(kt)] =
2ks
(s
2
+ k
2
)
2
luego
L[kt cos(kt) + sin(kt)] = sL[t sin(kt)] = s
2ks
(s
2
+ k
2
)
2
=
2ks
2
(s
2
+ k
2
)
2
Mas adelante veremos una manera mucho mas economica de calcular la trans-
formada anterior.
La demostracion del teorema (5.5) es inmediata. Utilizando la denicion e
integrando por partes se tiene
L[f
(t)] =
_

0
e
st
f
(t)dt = e
st
f(t)|
0
+ s
_

0
e
st
f(t)dt = f(0) + sL[f(t)]
luego
L[f
(t)] = f(0) + sL[f(t)] = sF(s) f(0)

Notese que en la obtencion del resultado anterior hemos supuesto que e
st
f(t)
0 cuando t .
Tales razonamientos se pueden extender, bajo adecuadas hipotesis de regula-
ridad y crecimiento, para obtener formulas generales de transformacion de las
derivadas de orden superior de una funcion, lo que permitira resolver ecua-
ciones diferenciales ordinarias de orden superior
3. Transformada de derivadas de orden superior.
Sea dada una funcion f = f(t) sucientemente regular para que exista la
transformada de Laplace de su derivada n-esima. Entonces se tiene:
L[f
(n
(t)] = s
n
F(s) s
n1
f(0) s
n2
f
(0) ....... f
(n1
(0)
En particular
L[f
(t)] = s
2
F(s) sf(0) f
(0)
4. Formula del desplazamiento. Se trata de una formula muy comoda pues
hace facil calcular transformadas del tipo L[e
4t
cos(6t)] siempre y cuando conoz-
camos L[cos(6t)] (lo que es equivalente a conocer la transformada de la funcion
basica cos(6t)). En efecto, si conocemos L[f(t)] = F(s), podemos hallar la
transformada de Laplace L[e
at
f(t)] sin mas que trasladar, o desplazar, F(s)
a F(s a). Esta propiedad se conoce con el nombre de primer teorema de
traslacion (se puede encontrar en el libro de Zill
25
, captulo 7, pag 312). En
concreto, se tiene que
Teorema 5.6. Sea F(s) = L[f(t)] y a IR. Entonces se verica que:
L[e
at
f(t)] = F(s a)
Notese que el resultado anterior se suele expresar tambien en la forma equiva-
lente
L[e
at
f(t)] = F(s + a)
Los siguientes ejemplos muestran la aplicacion del teorema al caso de trasla-
ciones de funciones polinomicas y trigonometricas
Ejemplo 5.12. Calcular la transformada L[e
5t
t
3
].
25
son Editores. 6 ed.
Puesto que
L[t
3
] =
3!
s
4
aplicamos el teorema (5.6) para obtener
L[e
5t
t
3
] = L[t
3
]|
ss5
=
3!
s
4
|
ss5
=
6
(s 5)
4
.
Ejemplo 5.13. Calcular la transformada L[e
2t
cos(4t)].
Utilizando la formula de la transformada de la funcion basica f(t) = cos(4t)
se tiene
L[cos(4t)] =
s
s
2
+ 16
luego si aplicamos el teorema (5.6) se deduce
L[e
2t
cos(4t)] = L[cos(4t)]|
ss+2
=
s
s
2
+ 16
|
ss+2
=
s + 2
(s + 2)
2
+ 16
.
Notese nalmente que existe una forma inversa del primer teorema de traslacion.
La presentaremos tras haber introducido la denicion de transformada inversa
de Laplace.
5. Derivada de una transformada Sea F(s) = L[f(t)]. Si suponemos que es
posible intercambiar el orden de los operadores de diferenciacion e integracion,
entonces
d
ds
F(s) =
d
ds
_

0
e
st
f(t)dt =
_

0
s
_
e
st
f(t)
dt =
_

0
e
st
tf(t)dt = L[tf(t)]
Hemos demostrado el teorema de la derivada de una transformada:
Teorema 5.7. Sea L[f(t)] = F(s). Entonces se tiene que
L[tf(t)] =
d
ds
L[f(t)] =
d
ds
F(s)
Ejemplo 5.14. Calcular L[te
3t
]
Identicando f(t) = e
3t
y utilizando una formula basica conocida, se tiene
L[te
3t
] =
d
ds
L[e
3t
] =
d
ds
_
1
s 3
_
=
1
(s 3)
2
En este ejemplo concreto hubieramos podido tambien utilizar el primer teore-
ma de traslacion
L[e
at
f(t)] = F(s a)
identicando a = 3 y f(t) = t.
En el siguiente ejemplo se utilizan, de forma combinada, el primer teorema de
traslacion y el teorema de la derivada de una transformada:
Ejemplo 5.15. Calcular L[te
t
cos(t)]
En este caso el factor t indica la posible aplicacion del teorema de la transfor-
mada de una derivada mientras que el factor e
t
indica un desplazamiento de
la transformada:
L[te
t
cos(t)] =
d
ds
L[e
t
cos(t)] =
d
ds
L[cos(t)]
ss+1
=
d
ds
_
s + 1
(s + 1)
2
+ 1
_
luego
L[te
t
cos(t)] =
(s + 1)
2
1
[(s + 1)
2
+ 1]
2
6. Derivadas de orden superior de una transformada El razonamiento
anterior se puede generalizar para obtener las formulas de las transformadas
de productos del tipo t
n
f(t) (derivadas de transformadas)
Teorema 5.8. Si L[f(t)] = F(s) entonces se tiene:
L[t
n
f(t)] = (1)
n
F
(n
(s) = (1)
n
d
n
F
ds
n
(29)
Ejemplo 5.16. Calcular L[t
2
sin(kt)].
Aplicando el teorema (5.8) con n = 2, esta transformada se puede escribir
como sigue:
L[t
2
sin(kt)] =
d
2
ds
2
L[sin(kt)]
y efectuando las dos derivaciones, tenemos el resultado
L[t
2
sin(kt)] =
6ks
2
2k
3
(s
2
+ k
2
)
3
Notese que la transformada del producto de funciones no es el producto de
las transformadas. En efecto, el producto de transformadas esta relacionado
con la operacion de convolucion que introducimos a continuaci on.
7. Transformada de una convoluci on. En primer lugar denimos la opera-
cion de convolucion (introducida en la octava propiedad de la transformada
de Fourier, apartado 2.3) entre dos funciones sucientemente regulares en el
siguiente sentido
Denicion 5.4. Sean las funciones f(t) y (t) denidas y continuas a trozos
en [0, ). Se llama convolucion (f )(t) de estas funciones a la funcion de
t denida por la igualdad
(f )(t) =
_
t
0
f()(t )d (30)
(si esta integral existe).
Ejemplo 5.17. Calcular la convolucion de las funciones f(t) = e
t
y g(t) =
sin(t), es decir, f(t) g(t).
Aplicando la denicion se tiene
f(t) g(t) = e
t
sin(t)
.
=
_
t
0
e
sin(t )d =
1
2
(sin(t) cos(t) + e
t
)
donde la integral se ha calculado mediante cambio de variable y aplicacion
repetida de la formula de integraci on por partes (se dejan los detalles al lector).
La operacion de convoluci on es conmutativa (y lineal):
(f )(t) =
_
t
0
f()(t )d =
_
t
0
()f(t )d = ( f)(t)
Para funciones f(t) y (t) tales que existe la transformada de Laplace la ope-
racion de convolucion siempre es posible, ademas se tiene el siguiente teorema
de multiplicacion (o teorema de la convolucion)
Teorema 5.9. Si L[f(t)] = F(s) y L[(t)] = (s) entonces la transformada
de la convolucion es el producto de las transformadas; es decir
L[(f )(t)] = F(s)(s)
El teorema (5.9) permite calcular la transformada de una convoluci on sin re-
currir a un largo proceso de integracion. En efecto:
Ejemplo 5.18. Calcular L[f(t) g(t)] siendo f(t) = e
t
y g(t) = sin(t).
Utilizando la denicion de la operacion de convoluci on se tiene
L[f(t) g(t)] = L[e
t
sin(t)] = L
__
t
0
e
sin(t )d
_
Aplicando el teorema de multiplicaci on se deduce
L
__
t
0
e
sin(t )d
_
= L[e
t
]L[sin(t)] =
_
1
s 1
__
1
s
2
+ 1
_
=
1
(s 1)(s
2
+ 1)
Tambien en este caso existe una forma inversa del teorema de multiplicaci on
que utilizaremos en la seccion dedicada a la transformada inversa de Laplace.
8. Transformada de una integral. Una facil aplicacion del teorema de la con-
voluci on implica el siguiente resultado:
Teorema 5.10. Sea F(s) = L[f(t)] y sea g(t) la funcion integral de la funcion
f(t), es decir:
g(t) =
_
t
0
f(t)dt
Entonces (utilizando el hecho que g(0) = 0 puesto que g(t) es la funcion integral
de f(t)) se tiene que
L
__
t
0
f(t)dt
_
=
1
s
L[f(t)] =
F(s)
s
La demostracion de este resultado se puede obtener mediante integracion por
partes. Mas directamente, se puede utilizar el teorema de la convoluci on iden-
ticando las funciones g(t) = 1 y L[g(t)] = G(s) = 1/s y deducir
L
__
t
0
f(t)dt
_
= F(s)G(s) =
F(s)
s
(31)
9. Transformada de una funcion periodica. Sea dada una funcion f(t)
periodica de periodo T, es decir f(t + T) = f(t). Podemos entonces determi-
nar la transformada de Laplace de una funcion periodica integrando sobre
el periodo. En concreto se tiene
Teorema 5.11. Sea f(t) una funcion continua a trozos en [0, ), de orden
exponencial y periodica con periodo T. Entonces se tiene
L[f(t)] =
1
1 e
sT
_
T
0
e
st
f(t)dt (32)
La demostracion de este resultado se obtiene expresando la transformada de
Laplace como la suma de dos integrales:
L[f(t)] =
_
T
0
e
st
f(t)dt +
_

T
e
st
f(t)dt
La ultima integral se calcula introduciendo la nueva variable independiente
u = t T. Se tiene t = u + T y se deduce
_

T
e
st
f(t)dt =
_

0
e
s(u+T)
f(u+T)du = e
sT
_

0
e
su
f(u)du = e
sT
L[f(t)]
luego
L[f(t)] =
_
T
0
e
st
f(t)dt + e
sT
L[f(t)].
Al despejar L[f(t)] se tiene la ecuacion (32) y el teorema (5.11) esta demostra-
do.
Ejemplo 5.19. Sea dada la funcion denida en el intervalo [0, 2) por
f(t) =
_
t 0 t < 1
0 1 t < 2
y fuera del intervalo mediante f(t + 2) = f(t). Calcular la transformada de
Laplace de f(t).
La funcion f(t) es periodica de periodo T = 2. Aplicando la ecuacion (32) se
tiene que
L[f(t)] =
1
1 e
2s
_
2
0
e
st
f(t)dt =
1
1 e
2s
__
1
0
e
st
tdt +
_
2
1
e
st
(0)dt
_
es decir
L[f(t)] =
1
1 e
2s
_
1
0
e
st
tdt
Integrando por partes se deduce
L[f(t)] =
1
1 e
2s
_
1
0
e
st
tdt =
1
1 e
2s
_
e
s
s
+
1 e
s
s
2
_
=
1 (s + 1)e
s
s
2
(1 e
2s
)
5.3. Transformada de funciones continuas a trozos
Las funciones continuas a trozos representan una herramienta particularmente util
en el modelado de un sistema fsico-qumico. Se suelen describir en terminos de
funciones especiales (o funciones de distribucion elementales
26
) que introduciremos
a continuacion.
En ingeniera se presentan con mucha frecuencia funciones que pueden estar en-
cendidas o apagadas. Por ejemplo, una fuerza externa que act ua sobre un sistema
mecanico o un voltaje aplicado a un circuito se pueden apartar despues de un cierto
tiempo. El cierre, repentino, de una valvula en un conducto en el cual se inyecta
un soluto en la corriente de un lquido (tal y como se hace en cromatografa) marca
tambien el comienzo de un fenomeno fsico de transporte: el ujo (difusivo y convec-
tivo) del soluto. Otra propiedad muy importante, de cara a la modelizacion, radica
en que las funciones de distribucion elementales (la funcion escalon y la funcion de
impulso que veremos mas adelante) se pueden retrasar o desplazar en el tiempo.
Todo ello muestra que es conveniente denir una funcion especial, llamada funcion
escalon unitario (en la literatura anglosajona se la conoce como step function),
que permite un tratamiento generalizado de las funciones continuas a trozos.
5.3.1. La funcion escalon unitario
Puesto que las funciones continuas a trozos se caracterizan por tener un n umero nito
de saltos acotados la siguiente denicion es particularmente util para su tratamiento
Denicion 5.5. A la funcion U denida por
U(t a) =
_
0 0 t < a
1 t a
se le llama funcion escalon unitario.
Mas en general la funcion anterior se dene por U(t a) = 0 para todo t < a, pero
al estudiar la transformada de Laplace solo nos interesa su comportamiento para
26
Vease el libro de Rice y Do, captulo 9, seccion 9.9.4)
t 0. En el caso a = 0 se tiene la funcion de Heaviside H(t) que desempe na un
papel muy importante en la teora que vamos a desarrollar. La funcion de Heaviside
se dene por
H(t)
.
=
_
0 t 0
1 t > 0
Es imposible que un sistema fsico tenga exactamente el mismo comportamiento de
onda cuadrada representado por la funcion de Heaviside, sin embargo, representa
una muy buena aproximacion de la realidad cuando el proceso es mucho mas lento
que la accion del cierre de una valvula o de la remocion de un tabique en un tanque
cilndrico (por ejemplo). La transformada de H(t) es identica a la de una constante
L[H(t)] =
_

0
e
st
(1)dt =
1
s
puesto que H(t) toma el valor 1 para tiempos t > 0. Si desplazamos en el tiempo
(retrasamos en el sentido de que la funcion salta mas tarde, en el tiempo t =
en lugar que en el tiempo t = 0) la funcion de Heaviside obtenemos nuevamente
la funcion escalon unitaria y la integral que la dene (es decir su transformada) se
puede calcular en dos partes
L[U(t )] =
_

0
e
st
(0)dt +
_

e
st
(1)dt =
e
s
s
(33)
La funcion escalon unitario se puede usar para expresar funciones denidas a trozos
en forma compacta; por ejemplo, la funcion
f(t) =
_
g(t) 0 t < a
h(t) t a
= g(t) +
_
0 0 t < a
g(t) + h(t) t a
equivale a
f(t) = g(t) U(t a)g(t) + h(t)U(t a)
Notese que, utilizando la denicion de funcion escalon la expresion anterior dene
la funcion f(t) mediante tres componentes: la primera, g(t) es la componente basica
y las restantes dos componentes se activan tras el salto; luego, antes del salto, 0
t < a, se tiene que f(t) = g(t). Tras el salto, t a se tiene
f(t) = g(t) g(t) + h(t) = h(t).
Ejemplo 5.20. Sea dada la funcion E(t)
E(t) =
_
20t 0 t < 5
0 t 5
que representa el voltaje de un circuito. Expresar E(t) en terminos de funciones
escalon unitario.
Si ponemos E(t) = f(t) y utilizamos las formulas generales, con g(t) = 20t, h(t) = 0
se deduce que
E(t) = 20t +
_
0 0 t < 5
20t t 5
= 20t 20tU(t 5)
siendo U(t 5) la funcion escalon (o funcion de Heaviside desplazada).
De igual forma, una funcion del tipo
f(t) =
_
_
0 0 t < a
g(t) a t < b
0 t b
se puede escribir en la forma
f(t) = g(t)[U(t a) U(t b)]
Enunciaremos ahora una propiedad muy util para el calculo de la transformada de
funciones desplazadas f(t a) y truncadas, es decir de la forma f(t a)U(t a).
Este resultado se conoce con el nombre de segundo teorema de traslacion:
Teorema 5.12. Si F(s) = L[f(t)] y a > 0, entonces:
L[f(t a)U(t a)] = e
as
F(s)
La demostracion de este teorema es sencilla, puesto que
L[f(t a)U(t a)]
.
=
_

0
e
st
f(t a)U(t a)dt
escribimos el termino derecho como una suma de integrales
_

0
e
st
f(t a)U(t a)dt =
_
a
0
e
st
f(t a)U(t a)dt +
_

a
e
st
f(t a)U(t a)dt
Utilizando la denicion de la funcion escalon la primera integral vale cero y se tiene
L[f(t a)U(t a)] =
_

a
e
st
f(t a)dt
Introduciendo una nueva variable = t a se tiene d = dt. Por tanto
L[f(t a)U(t a)] =
_

0
e
s(+a)
f()d = e
as
_

0
e
s
f()d = e
as
L[f(t)]
y el teorema esta completamente demostrado.
Ejemplo 5.21. Calcular L[(t 2)
3
U(t 2)]
Si identicamos a = 2 y aplicamos el segundo teorema de traslacion (5.12) se tiene
L[(t 2)
3
U(t 2)] = e
2s
L[t
3
] = e
2s
3!
s
4
=
6
s
4
e
2s
Forma alternativa del segundo teorema de traslacion
Existe una forma alternativa del teorema (5.12) que permite calcular la transformada
de una funcion g(t) multiplicada por una funcion escalon unitario U(t a) (es decir
truncada para t a) cuando g(t) carece de la forma desplazada g(t a) que se
requiere en el teorema (5.12). En concreto se tiene
Teorema 5.13. Si G(s) = L[f(t)] y a > 0, entonces:
L[g(t)U(t a)] = e
as
L[g(t + a)]
luego en esta forma el teorema se aplica a funciones tan solo truncadas (y no de-
splazadas) y se interpreta diciendo que la transformada de una funcion truncada
coincide con la transformada de la funcion desplazada multiplicada por un factor
exponencialmente peque no. La demostracion de este teorema sigue exactamente las
mismas lneas de la demostracion del teorema (5.12). Nuevamente, a partir de la
denicion se tiene
L[g(t)U(t a)]
.
=
_

0
e
st
g(t)U(t a)dt.
Escribimos el termino derecho como una suma de integrales
_

0
e
st
g(t)U(t a)dt =
_
a
0
e
st
g(t)U(t a)dt +
_

a
e
st
g(t)U(t a)dt
Utilizando la denicion de la funcion escalon se tiene
L[g(t)U(t a)] =
_

a
e
st
g(t)dt
Introduciendo una nueva variable = t a se tiene d = dt. Por tanto
L[g(t)U(t a)] =
_

0
e
s(+a)
g( + a)d = e
as
_

0
e
s
g()d = e
as
L[g(t + a)]
y el teorema esta completamente demostrado.
Ejemplo 5.22. Calcular L[sin(t)U(t 2)]
Si identicamos g(t) = sin(t) y a = 2 en el teorema (5.13) se tiene
g(t + 2) = sin(t + 2) = sin(t)
puesto que la funcion sin(t) tiene periodo 2. Aplicando la forma alternativa del
segundo teorema de traslacion, (5.13), se tiene por tanto
L[sin(t)U(t 2)] = e
2s
L[sin(t + 2)] = e
2s
L[sin(t)] =
e
2s
s
2
+ 1
Con frecuencia se desea hallar la transformada de Laplace solo de la funcion escalon
unitario. Esto se puede hacer a partir de la denicion 5.5 o bien de la propiedad an-
terior. Si identicamos f(t) = 1 en el segundo teorema de traslacion (5.12), entonces
f(t a) = 1, F(s) = L[1] = 1/s y as:
L[U(t a)] =
e
as
s
Existe una forma inversa del segundo teorema de traslacion que enunciaremos tras
haber introducido la denicion de transformada inversa de Laplace.
5.3.2. Transformada de la Delta de Dirac
Utilizando la hipotesis formal
L[(t t
0
)] = lm
a0
L[
a
(t t
0
)]
se tiene la siguiente transformada de Laplace de la funcion Delta de Dirac:
L[(t t
0
)] = e
st
0
, t
0
> 0
6. Transformada inversa de Laplace
Nos planteamos ahora el problema siguiente: dada una funcion F(s) hallar, si existe,
una funcion f(t) cuya transformada de Laplace es F(s). De forma natural este
problema dene el operador transformada inversa de Laplace como L
1
, de forma
que, si L[f(t)] = F(s), entonces L
1
[F(s)] = f(t). Se tiene en efecto:
Denicion 6.1. Se dice que f(t) es la transformada inversa de Laplace de F(s)
si
f(t) = L
1
[F(s)]
As, por ejemplo, utilizando algunas de las transformadas conocidas (las transfor-
mada basica del teorema (5.4)) se tiene:
Teorema 6.1. Las transformadas inversas de algunas funciones basicas son:
1.
L[1] =
1
s
= L
1
_
1
s
_
= 1
2.
L[t
n
] =
n!
s
n+1
, n = 1, 2, 3 = L
1
_
n!
s
n+1
_
= t
n
, n = 1, 2, 3
3.
L[e
at
] =
1
s a
= L
1
_
1
s a
_
= e
at
4.
L[sin(kt)] =
k
s
2
+ k
2
= L
1
_
k
s
2
+ k
2
_
= sin(kt)
5.
L[cos(kt)] =
s
s
2
+ k
2
= L
1
_
s
s
2
+ k
2
_
= cos(kt)
6.
L[sinh(kt)] =
k
s
2
k
2
= L
1
_
k
s
2
k
2
_
= sinh(kt)
7.
L[cosh(kt)] =
s
s
2
k
2
= L
1
_
s
s
2
k
2
_
= cosh(kt)
6. Transformada inversa de Laplace 59
Una propiedad muy importante de la transformada inversa de Laplace, L
1
, consiste
en su linealidad, heredada a partir de la linealidad del operador integral L:
L
1
[F(s) + G(s)] = L
1
[F(s)] + L
1
[G(s)], , IR (34)
La aplicacion del teorema (6.1) junto con la propiedad de linealidad (34) se muestra
a continuacion
Ejemplo 6.1. Calcular L
1
_
1
s
5
_
.
Para ello se usa la segunda formula basica con n = 4:
L[t
4
] =
4!
s
5
, = L
1
_
4!
s
5
_
= t
4
y se deduce (utilizando la linealidad del operador L
1
)
L
1
_
1
s
5
_
=
1
4!
L
1
_
4!
s
5
_
=
1
24
t
4
A pesar del teorema (6.1) y de la propiedad de linealidad (34), el problema de la
determinacion de la transformada inversa de Laplace de una funcion dada no es
(siempre) sencillo de resolver
27
, y la teora matematica necesaria para su resolucion
se basa sobre conceptos de analisis complejo que exceden los objetivos del curso. En
efecto existe una formula de inversi on de la transformada de Fourier
28
(aplicable, por
tanto, a la transformada de Laplace) que reconduce el calculo de f(t) a la teora de
los residuos de Cauchy
F(s) =
_

0
e
st
f(t)dt = f(t) =
1
2i
lm
w
_

0
+iw
0
iw
e
st
F(s)ds
Sin embargo, en muchos casos, es posible calcular f(t) a partir de su transformada
F(s) aplicando un metodo algebraico (el metodo de las fracciones simples).
Recuerdese que no todas las funciones F(s) tienen transformada inversa de Laplace.
Ademas, cuando existe, la transformada inversa de Laplace no es unica. En efecto,
27
Esto ocurre, muy a menudo, en el proceso de resolucion de EDP parabolicas mediante metodo
de la transformada (temporal) de Laplace. En tales casos, la dicultad mayor consiste precisamente
en la determinacion explcita o en el calculo numerico de la tranformada inversa de Laplace.
28
Se le conoce con el nombre del teorema de Inversion de Mellin-Fourier (o formula de Mellin).
Se puede encontrar en el libro de Rice, captulo 9 y tambien en Krasnov et al.
si consideramos dos funciones g(t) y h(t) que dieren solo en una funcion n(t) tal
que
_
t
0
n(x)dx = 0, t > 0
puede comprobarse (utilizando la denicion (26)) que ambas funciones tienen la
misma transformada.
6.1. Calculo de las transformadas inversas de Laplace
A continuaci on se expone un metodo de calculo de transformadas inversas de
Laplace de funciones F(s) racionales de la forma:
F(s) =
P(s)
Q(s)
(35)
donde P(s) y Q(s) son polinomios. Se le conoce en la literatura como el metodo de
las fracciones simples (o metodo de las fracciones simples). Las fracciones simples
desempe nan un papel muy importante en la determinacion de las transformadas
inversas de Laplace proporcionando una facil herramienta de calculo practico de las
mismas.
Para introducir se considera un simple caso particular (de division termino a termi-
no)
1
_
3s + 5
s
2
+ 7
_
La funcion dada (que es de la forma racional (35) para las elecciones P(s) = 3s +5
y Q(s) = s
2
+ 7 se puede expresar en dos partes (o dos fracciones simples), con un
com un denominador
3s + 5
s
2
+ 7
=
3s
s
2
+ 7
+
5
s
2
+ 7
Utilizando la propiedad de linealidad del operador L
1
y las formulas basicas 4 y 5
del teorema (6.1) se tiene
L
1
_
3s + 5
s
2
+ 7
_
= 3L
1
_
s
s
2
+ 7
_
+ 5L
1
_
1
s
2
+ 7
_
= 3 cos(
7t) +
5
7
sin(
7t)
Generalizando el proceso de descomposicion de una funcion racional evidenciado en
el ejemplo anterior, se tiene que la aplicacion del metodo de las fracciones simples
consiste en los siguientes pasos:
Metodo de las fracciones simples
1. Descomponer la fraccion F(s) en fracciones simples. Para ello
a) Encontrar las races del denominador Q(s). Denotando a una de sus
races reales de multiplicidad r, y a ib a una de sus races complejas y
su conjugada se tiene:
Q(s) = (s )
r
...[(s a)
2
+ b
2
]..
b) Escribir F(s) como:
P(s)
Q(s)
=
A
1
s
+ .... +
A
r
(s )
r
+ .... +
Bs + C
(s a)
2
+ b
2
c) Determinar los coecientes A
i
,...., B, C.
2. Calcular L
1
[F(s)]. Aplicando la linealidad del operador el problema consiste
en encontrar la transformada inversa de Laplace para fracciones del tipo:
A
r
(s )
r
,
Bs + c
(s )
2
+ b
2
Se tienen las siguientes formulas de calculo de transformadas inversas
L
1
_
A
r
(s )
r
_
=
A
r
(r 1)!
e
x
x
r1
,
L
1
_
Bs + c
(s )
2
+ b
2
_
= Be
x
cos bx +
_
Ba + C
b
_
e
x
sin bx
Observaci on 6.1. El metodo de las fracciones simples se puede generalizar sin
dicultad al caso de races reales y complejas m ultiples. Tal descomposicion se puede
encontrar en el anexo al guion del curso de primero dedicado a las formulas basicas
de calculo. Sin embargo, en tales casos el calculo de las transformadas inversas puede
no ser directo y se aconseja el uso de alg un programa de calculo simbolico (Maple
por ejemplo).
Unos simples ejemplos aclararan los pasos delineados:
Ejemplo 6.3. Calcular
L
1
_
1
(s 1)(s + 2)(s + 4)
_
Considerando que el denominador Q(s) = (s 1)(s +2)(s +4) contiene tres factores
lineales distintos se tiene que existen tres constantes (ademas son unicas) tales que
1
(s 1)(s + 2)(s + 4)
=
A
s 1
+
B
s + 2
+
C
s + 4
luego
1
(s 1)(s + 2)(s + 4)
=
A(s + 2)(s + 4) + B(s 1)(s + 4) + C(s 1)(s + 2)
(s 1)(s + 2)(s + 4)
Puesto que los denominadores son identicos, los numeradores deben ser identicos:
1 = A(s + 2)(s + 4) + B(s 1)(s + 4) + C(s 1)(s + 2)
Si hacemos s = 1, s = 2 y s = 4 (que son las races (o ceros) del denominador),
obtenemos
A =
1
15
, B =
1
6
, C =
1
10
Por consiguiente podemos escribir
1
(s 1)(s + 2)(s + 4)
=
1/15
s 1

1/6
s + 2
+
1/10
s + 4
Aplicando la propiedad de linealidad
L
1
_
1
(s 1)(s + 2)(s + 4)
_
=
1
15
L
1
_
1
(s 1)
_
1
6
L
1
_
1
(s + 2)
_
+
1
10
L
1
_
1
(s + 4)
_
y la tercera formula basica del teorema (6.1) se tiene
L
1
_
1
(s 1)(s + 2)(s + 4)
_
=
1
15
e
t
1
6
e
2t
+
1
10
e
4t
L
1
_
s + 1
s
2
(s + 2)
3
_
Considerando que el denominador Q(s) = s
2
(s+2)
3
contiene factores lineales repeti-
dos (de grado 2 y 3 respectivamente) se tiene que existen (2 + 3 = 5) constantes
tales que
s + 1
s
2
(s + 2)
3
=
A
s
+
B
s
2
+
C
s + 2
+
D
(s + 2)
2
+
E
(s + 2)
3
luego
s + 1 = As(s + 2)
3
+ B(s + 2)
3
+ Cs
2
(s + 2)
2
+ Ds
2
(s + 2) + Es
2
y se deduce (aplicando el principio de identidad de los polinomios)
A =
1
16
, B =
1
8
, C =
1
16
D = 0, E =
1
4
Por consiguiente, aplicando la formula que se deduce invirtiendo el operador de
Laplace en el ejemplo (5.6):
L
1
_
2
(s + 2)
3
_
= t
2
e
2t
las primeras tres formulas basicas del teorema (6.1) y la propiedad de linealidad del
operador L
1
, se tiene
L
1
_
s + 1
s
2
(s + 2)
3
_
=
1
16
L
1
_
1
s
_
+
1
8
L
1
_
1
s
2
_
+
1
16
L
1
_
1
(s + 2)
_
1
8
L
1
_
2
(s + 2)
3
_
luego
L
1
_
s + 1
s
2
(s + 2)
3
_
=
1
16
+
1
8
t +
1
16
e
2t
1
8
t
2
e
2t
Introduciremos ahora otras herramientas de calculo de transformadas inversas que
nacen a partir de las siguientes propiedades
PROPIEDADES DE LA TRANSFORMADA INVERSA DE LAPLACE
Empezaremos con la forma inversa del primer teorema de traslacion
Teorema 6.2. Sea f(t) = L
1
[F(s)]. Entonces se verica que:
L
1
[F(s a)] = L
1
[F(s)|
ssa
] = e
at
f(t)
L
1
_
s
s
2
+ 6s + 11)
_
Si el denominador Q(s) = s
2
+6s+11 tuviera factores reales, emplearamos fracciones
parciales; pero como este termino cuadratico no se factoriza en IR, completamos su
cuadrado, es decir
L
1
_
s
s
2
+ 6s + 11
_
= L
1
_
s
(s + 3)
2
+ 2
_
= L
1
_
s + 3 3
(s + 3)
2
+ 2
_
Si dividimos termino a termino se tiene
L
1
_
s
s
2
+ 6s + 11
_
= L
1
_
s + 3
(s + 3)
2
+ 2

3
(s + 3)
2
+ 2
_
Aplicando la propiedad de linealidad
L
1
_
s
s
2
+ 6s + 11
_
= L
1
_
s + 3
(s + 3)
2
+ 2
_
3L
1
_
1
(s + 3)
2
+ 2
_
Observando atentamente la formula obtenida se deduce que hay un mismo desplaza-
miento en las transformadas inversas del termino derecho: s s + 3. Aplicando la
forma inversa del primer teorema de traslacion se tiene
L
1
_
s
s
2
+ 6s + 11
_
= L
1
_
s
s
2
+ 2
_
|
ss+3
2
L
1
_

2
s
2
+ 2)
|
ss+3
_
luego (utilizando conocidas formulas basicas)
L
1
_
s
s
2
+ 6s + 11
_
= e
3t
cos(
2t)
3
2
e
3t
sin(
2t)
Pasaremos ahora a la forma inversa del segundo teorema de traslacion.
Teorema 6.3. Sea f(t) = L
1
[F(s)] y a > 0. Entonces la forma inversa del segundo
teorema de traslacion (5.12) es
L
1
[e
as
F(s)] = f(t a)U(t a)
L
1
_
e
s/2
s
2
+ 9
_
Es suciente identicar a = /2 y
f(t) = L
1
_
1
s
2
+ 9
_
=
1
3
sin(3t)
en las hipotesis del teorema (6.3). Se tiene por tanto
L
1
_
e
s/2
s
2
+ 9
_
=
1
3
L
1
_
3
s
2
+ 9
_
tt/2
U
_
t

2
_
luego
L
1
_
e
s/2
s
2
+ 9
_
=
1
3
sin
_
3
_
t

2
__
U
_
t

2
_
Utilizando la identidad trigonometrica
sin
_
3
_
t

2
__
= cos(3t)
se deduce
L
1
_
e
s/2
s
2
+ 9
_
=
1
3
cos(3t)U
_
t

2
_
Consideraremos ahora la forma inversa del teorema de la convolucion:
Teorema 6.4. Sea f(t) y g(t) funciones tales que la operacion de convolucion f(t)
g(t) esta bien denida, y sean F(S) y G(s) sus respectivas transformadas de Laplace.
Se tiene entonces
L
1
[F(s)G(s)] = f(t) g(t)
El teorema (6.4) caracteriza la operacion de convoluci on como la transformada in-
versa de un producto de transformadas conocidas permitiendo as su utilizacion para
el calculo de transformadas inversas
_
1
(s 1)(s + 4)
_
.
Por supuesto en este ejemplo podramos emplear el metodo de las fracciones simples
pero si identicamos
F(s) =
1
s 1
, G(s) =
1
s + 4
entonces deducimos las funciones f(t) y g(t)
L
1
[F(s)] = f(t) = e
t
, L
1
[G(s)] = g(t) = e
4t
y aplicando la operacion de convoluci on se tiene
f(t) g(t) =
_
t
0
f()g(t )d =
_
t
0
e
e
4(t)
d = e
4t
_
t
0
e
5
d =
1
5
(e
t
e
4t
)
Tambien es util considerar algunas transformadas inversas como funciones integrales
de una funcion f(t) cuya transformada es conocida. En efecto, la forma inversa de
la ecuacion (31) es:
_
t
0
f(t)dt = L
1
_
F(s)
s
_
y se usa en algunas ocasiones (en lugar de las fracciones simples) para el calculo de
la transformada inversa cuando s
n
es un factor del denominador y f(t) = L
1
[F(s)]
sea facil de integrar.
Ejemplo 6.8. Calcular las transformadas inversas
L
1
_
1
s(s
2
+ 1)
_
, L
1
_
1
s
2
(s
2
+ 1)
_
, L
1
_
1
s
3
(s
2
+ 1)
_
.
Es suciente observar que
f(t) = sin(t) = F(s) =
1
(s
2
+ 1)
y utilizar la formula inversa para obtener
L
1
_
1
s(s
2
+ 1)
_
=
_
t
0
sin()d = 1 cos(t)
Analogamente se tiene
L
1
_
1
s
2
(s
2
+ 1)
_
=
_
t
0
[1 cos()]d = t sin(t)
7. Aplicaciones a la resolucion de EDO y de sistemas de EDO 67
y
L
1
_
1
s
3
(s
2
+ 1)
_
=
_
t
0
[ sin()]d =
1
2
t
2
1 + cos(t).
7. Aplicaciones a la resolucion de EDO y de sis-
temas de EDO
La transformada de Laplace puede aplicarse a la resolucion de ecuaciones y sistemas
de ecuaciones diferenciales lineales de coecientes constantes con valores iniciales
en el cero: t = 0. Basandonos en las propiedades y deniciones de las secciones an-
teriores, veremos como estas ecuaciones diferenciales se convierten en ecuaciones o
sistemas de ecuaciones lineales algebraicos. Una de las ventajas del metodo es que
no es necesario calcular la solucion general sino que se aborda el problema directa-
mente con la condicion inicial prejada en el cero. Su limitacion es que necesita de
condiciones dadas en el origen (obviamente la linealidad de las ecuaciones a resolver
es tambien una restriccion del metodo).
Para introducir el metodo consideramos el siguiente ejemplo donde aplicaremos el
metodo de la transformada de Laplace a la resolucion de un problema de valor inicial
(PVI) asociado a una EDO de primer orden:
Ejemplo 7.1. Resolver la EDO y
(t) 3y(t) = e
2t
sujeta a la condicion inicial
y(0) = 1.
En primer lugar tomamos la transformada de cada lado de la ecuacion diferencial
L[y
(t) 3y(t)] = L[e

2t
]
Por linealidad se tiene
L[y
(t)] 3L[y(t)] = L[e

2t
]
Utilizando la formula de la transformada de una derivada
L[y
(t)] = sY (s) y(0) = sY (s) 1

y observando que la transformada del termino derecho viene dada por la formula
basica
L[e
2t
] =
1
s 2
se tiene
sY (s) 1 3Y (s) =
1
s 2
Es decir
(s 3)Y (s) =
1
s 2
+ 1 =
1 + s 2
s 2
=
s 1
s 2
Despejamos Y (s) y descomponemos en fracciones parciales, obteniendo
Y (s) =
s 1
(s 2)(s 3)
=
1
s 2
+
2
s 3
as que
Y (s) = L
1
_
1
s 2
_
+ 2L
1
_
1
s 3
_
luego la ( unica) solucion del PVI es
y(t) = e
2t
+ 2e
3t
El proceso de resolucion seguido se puede generalizar para la resolucion de ecuaciones
de orden superior
7.1. Resolucion de EDO lineales de coecientes constantes
y de orden n
Para comprender el proceso de reduccion de una EDO de orden superior en la va-
riable y(t) a una ecuacion algebraica para la funcion transformada Y (t) se considera
el problema de Valores Iniciales (PVI)
_
_
a
n
y
(n
+ a
n1
y
(n1
+ ..... + a
1
y
+ a
0
y = g(t)
y(0) = A
0
,
y
(0) = A
1
,
... = ....,
y
(n1
(0) = A
n1
donde los coecientes n es el orden de la EDO, los a
i
, i = 0, ..., n son coecientes
constantes, los A
i
, i = 0, .., n 1 son los valores iniciales de la variable y(t) en el
instante t = 0 y g(t) es una funcion dada que admite transformada de Laplace.
Ejemplo 7.2. El problema: determinar una funcion y(t) tal que
(PV I)
_
_
y
+ 4y
+ 6y = 1 + e
t
y(0) = 0,
y
(0) = 0,
es un problema de valores iniciales asociado a una EDO de segundo orden, n = 2,
con coecientes constantes a
0
= 6, a
1
= 4, a
2
= 1, no homogenea, g(t) = 1 + e
t
y
con valores iniciales prejados A
0
= A
1
= 0.
Ilustraremos la aplicacion del metodo de resolucion del problema de valores iniciales
mediante la transformada de Laplace resolviendo el PVI propuesto en el ejemplo
anterior. De forma general el metodo consiste en los siguiente pasos (que particu-
larizaremos al ejemplo considerado)
1. Aplicar la transformada de Laplace a la ecuacion dada:
L[a
n
y
(n
+ a
n1
y
(n1
+ ..... + a
1
y
+ a
0
y] = L[g(x)]
En nuestro ejemplo
L[y
+ 4y
+ 6y] = L[1 + e
t
]
y aplicar la propiedad de linealidad para obtener
a
n
L[y
(n
] + a
n1
L[y
(n1
] + ..... + a
1
L[y
] + a
0
L[y] = L[g(x)]
es decir
L[y
(t)] + 4L[y
(t)] + 6L[y(t)] = L[1] + L[e

t
]
2. Utilizar la formula de la transformada de derivadas de orden superior
L[y
(n
(t)] = s
n
Y (s) s
n1
y(0) s
n2
y
(0) ....... y
(n1
(0)
para cada valor de n.
En nuestro caso se tiene n = 2 luego tenemos las formulas de las derivadas de
primer y segundo orden
L[y
(t)] = s
2
Y (s) sy(0) y
(0), L[y
(t)] = sY (s) y(0)

Sustituir en la ecuacion dada para obtener
a
n
_
s
n
Y (s) s
n1
A
0
.... A
n1
_
+ ... + a
1
(sY (s) A
0
) + a
0
Y (s) = L[g(x)]
es decir
s
2
Y (s) sy(0) y
(0) + 4[sY (s) y(0)] + 6Y (s) =

1
s
+
1
s + 1
Esta ecuacion es una ecuacion algebraica para la funcion Y (s) = L[y(x)].
Ordenando los terminos se tiene que
Y (s)[a
n
s
n
+ a
n1
s
n1
+ ..... + a
1
s + a
0
]+
A
0
[a
n
s
n1
+ a
n1
s
n2
+ ..... + a
1
] ... A
n1
a
n
= L[g(x)]
es decir
(s
2
+ 4s + 6)Y (s) =
2s + 1
s(s + 1)
luego despejando, se obtiene lo siguiente
Y (s) =
L[g(x)] + A
0
[a
n
s
n1
+ a
n1
s
n2
+ ..... + a
1
] + .... + A
n1
a
n
[a
n
s
n
+ a
n1
s
n1
+ ..... + a
1
s + a
0
]
En nuestro caso
Y (s) =
2s + 1
s(s + 1)(s
2
+ 4s + 6)
3. Obtenida la expresion de Y (s) (la transformada de Laplace de la solucion)
aplicar el operador inverso (antitransformada)
y(x) = L
1
_
L[g(x)] + A
0
[a
n
s
n1
+ a
n1
s
n2
+ ..... + a
1
] + .... + A
n1
a
n
[a
n
s
n
+ a
n1
s
n1
+ ..... + a
1
s + a
0
]
_
Para ello descomponemos Y (s) en fracciones parciales
Y (s) =
1/6
s
+
1/3
s + 1
+
s/2 5/3
s
2
+ 4s + 6
Completamos cuadrados en la tercera fraccion simple
Y (s) =
1/16
s
+
1/3
s + 1
+
(1/2)(s + 2) 2/3
(s + 2)
2
+ 2
y dividimos termino a termino
Y (s) =
1/6
s
+
1/3
s + 1

1
2
_
s + 2
(s + 2)
2
+ 2
_
2
3
_
1
(s + 2)
2
+ 2
_
Si utilizamos las primera y la tercera formulas basicas, junto con el primer
teorema de traslacion se tiene
y(t) =
1
6
L
1
_
1
s
_
+
2
3
L
1
_
1
s + 1
_
1
2
L
1
_
s + 2
(s + 2)
2
+ 2
_
2
3
2
L
1
_

2
(s + 2)
2
+ 2
_
luego la solucion del PVI es
y(t) =
1
6
+
1
3
e
t
1
2
e
2t
cos(
2t)
2
3
e
2t
sin(
2t)
7.2. Analisis de la respuesta de sistemas lineales
Hemos visto que al tomar la transformada de una EDO de orden n se tiene
a
n
L
_
d
n
y
dt
n
(t)
_
+ a
n1
L
_
d
n1
y
dt
n1
(t)
_
+ ........ + a
0
L[y(t)] = L[g(t)] (36)
Deniendo Y (s) = L[y(t)], G(s) = L[g(t)] y aplicando las formulas de las transfor-
madas de derivadas se obtiene
[a
n
s
n
+ a
n1
s
n1
+ ... + a
0
]Y (s) = (37)
= a
n
[s
n1
y
0
+ ... + y
n1
] + a
n1
[s
n2
y
0
+ ... + y
n2
] + ... + G(s)
siendo
y(0) = y
0
, y
(0) = y
1
, ....., y
(n1
(0) = y
n1
las condiciones iniciales. Denimos
P(s) = a
n
s
n
+ a
n1
s
n1
+ ... + a
0
,
y
Q(s) = a
n
[s
n1
y
0
+ ... + y
n1
] + a
n1
[s
n2
y
0
+ ... + y
n2
] + ...+
y escribimos la ecuacion (37) en la forma
P(s)Y (s) = Q(s) + G(s)
Despejando
Y (s) =
G(s)
P(s)
+
Q(s)
P(s)
(38)
Se puede comprobar que, si n = 2 entonces
Q(s)
P(s)
=
a
0
y
0
s + a
2
y
1
+ a
1
y
0
a
2
s
2
+ a
1
s + s
0
Denimos la funcion de transferencia del sistema a la recproca de P(s), es decir
W(s) = 1/P(s). Mediante la funcion de transferencia podemos expresar la ecuacion
(38) en la forma
Y (s) = W(s)G(s) + W(s)Q(s)
De esta forma se han separado (de manera aditiva) los efectos de la respuesta del
sistema originados por la funcion de entrada g(t) (que se reejan en el termino
W(s)G(s)) de los efectos asociados a las condiciones iniciales (es decir W(s)Q(s)).
Por consiguiente la respuesta del sistema (representada por la solucion Y (t)) es una
superposicion de dos respuestas:
y(t) = L
1
[W(s)G(s)] + L
1
[W(s)Q(s)] = y
0
(t) + y
1
(t)
La funcion
y
0
(t) = L
1
[W(s)G(s)]
es la salida originada por la entrada g(t). Si el estado inicial del sistema es el estado
cero, con todas las condiciones iniciales cero,
y
0
= 0, y
1
= 0, ...... y
n1
= 0
entonces Q(s) = 0, as que la unica solucion del PVI es y
0
(t). Esta solucion se llama
respuesta de estado cero del sistema
29
.
El teorema de la convolucion permite expresar la respuesta de estado cero del sistema
como una integral ponderada de la entrada:
y
0
(t) =
_
t
0
w()g(t )d = w(t) g(t)
siendo w(t) = L
1
[W(s)] la funcion de peso (o de ponderacion) del sistema.
Por ultimo, si la entrada del sistema es g(t) = 0, la solucion del problema es
y
1
(t) = L
1
[W(s)Q(s)]
y se denomina respuesta de entrada cero de un sistema.
Ejemplo 7.3. Resolver el problema de valor inicial
(PV I)
_
_
y
6y
+ 9y = t
2
e
3t
y(0) = 2,
y
(0) = 6,
y determinar:
1. La respuesta de estado cero.
2. La respuesta de entrada cero.
3. La funcion de transferencia.
4. La funcion peso del sistema.
Tomando transformada en ambos lados de la EDO de segundo orden que aparece
en el (PVI) y aplicando la linealidad del operador transformada se tiene
L[y
(t)] 6L[y
(t)] + 9L[y(t)] = L[t

2
e
3t
]
Utilizando las formulas de las transformadas de derivadas de orden n (para n = 2 y
n = 1) se deduce
29
Razonando en terminos de resolucion de EDO, por ejemplo mediante el metodo de los coe-
cientes indeterminados, la solucion particular que se obtiene corresponde a la respuesta de estado
cero del sistema.
s
2
Y (s) sy(0) y
(0) 6[sY (s) y(0)] + 9Y (s) =

2
(s 3)
3
Aplicando las condiciones iniciales
(s
2
6s + 9)Y (s) = 2s 6 +
2
(s 3)
3
Notese que en este momento ya conocemos P(s) = s
2
6s + 9, que corresponde a
la funcion recproca de la funcion de transferencia.
Observando que (s
2
6s + 9) = (s 3)
2
podemos simplicar para obtener
Y (s) =
2
s 3
+
2
(s 3)
5
Tomando la transformada inversa
y(t) = 2L
1
_
1
s 3
_
+
2
4!
L
1
_
4!
(s 3)
5
_
De acuerdo con el primer teorema de traslacion se tiene
L
1
_
4!
s
5
|
ss3
_
= t
4
e
3t
por consiguiente la solucion del PVI es
y(t) = 2e
3t
+
1
12
t
4
e
3t
Se tiene ademas que
1. La respuesta de estado cero corresponde a la funcion
y
0
(t) =
1
12
t
4
e
3t
2. La respuesta de entrada cero corresponde a la funcion
y
1
(t) = 2e
3t
3. La funcion de transferencia es
W(s) =
1
P(s)
=
1
s
2
6s + 9
8. Aplicaciones a la resolucion de EDP 75
4. La funcion peso del sistema es la transformada inversa de la funcion de trans-
ferencia
w(t) = L
1
[W(s)] = L
1
_
1
s
2
6s + 9
_
= L
1
_
1
(s 3)
2
_
= te
3t
8. Aplicaciones a la resolucion de EDP
La transformada de Laplace no se limita a las derivadas ordinarias sino que puede
tambien ser aplicada a funciones de dos variables independientes f(x, t). La ver-
satilidad del metodo de la transformada de Laplace en las aplicaciones a las ecua-
ciones diferenciales en derivadas parciales radica en la facilidad con la cual puede en-
frentarse a ecuaciones simult aneas (sistemas de ecuaciones). Las restricciones basicas
del metodo son
1. Se aplica solo a ecuaciones lineales.
2. Se aplica solo a problemas de valores iniciales.
3. La dicultad de calculo de la transformada inversa de la funcion (la transfor-
mada de la solucion) que se obtiene al resolver la EDO a la cual se reconduce
la EDP originaria tras la aplicacion de la transformacion de Laplace.
Usualmente la transformada se toma con respecto a la variable temporal t (lo que
permite la aplicacion del metodo a problemas planteados en dominios espacialmente
acotados) pero tambien se puede aplicar a la variable espacial x mientras nos mova-
mos en un dominio semi-innito 0 < x < . En este caso la eleccion de la variable
con respecto de la cual efectuar la transformada de Laplace se realiza dependiendo
de lo adecuado que son las condiciones iniciales pues solo los problemas de valor
inicial se pueden tratar con la transformada de Laplace. En lo que sigue daremos las
formulas en el caso de transformacion hecha con respecto a la variable temporal.
Suponiendo la regularidad y el comportamiento adecuado de la funcion a transfor-
mar (la solucion de la EDP) para que las operaciones efectuadas tengan sentido, y
aplicando la denicion se tiene
L[f(x, t)] = F(x, s)
.
=
_

0
e
st
f(x, t)dt
Integrando por partes (respecto del tiempo y en (0, )) se tiene
L
_
f(x, t)
t
_
=
_

0
e
st
f
t
dt = [f(x, t)e
st
]
0
+ s
_

0
f(x, t)e
st
dt
luego
L
_
f(x, t)
t
_
= sF(x, s) f(x, 0)
Analogamente la transformada de la derivada segunda se obtiene integrando por
partes para obtener
L
_
2
f(x, t)
t
2
_
=
_

0
e
st
2
f
t
2
dt = s
2
F(x, s) sf(x, 0)
f(x, t)
t
(x, 0)
La transformacion de las derivadas espaciales es tambien facil de obtener (intercam-
biando los operadores de derivacion parcial e integraci on)
L
_
f(x, t)
x
_
=
_

0
e
st
f
x
dt =
d
dx
_

0
e
st
f(x, t)dt
luego
L
_
f(x, t)
x
_
=
dF(x, s)
dx
siendo s un parametro. Analogamente (es decir, intercambiando los operadores de
derivaci on parcial e integraci on) se deduce
L
_
2
f(x, t)
x
2
_
=
d
2
F(x, s)
dx
2
y en el caso de las derivadas parciales mixtas
L
_

2
f
xt
_
=
d
dx
_

0
e
st
f
t
dt =
d
dx
[sF(x, s) f(x, 0)]
Tenemos ahora las herramientas necesarias (es decir las formulas basicas) para
aplicar el metodo de la transformada de Laplace a las ecuaciones diferenciales en
derivadas parciales lineales para problemas de valores iniciales.
8.1. Aplicacion de la transformada de Laplace a unos prob-
lemas modelo
La tecnica de las transformadas de Laplace se puede aplicar en un dominio nito en
la variable espacial pero innito en la variable temporal (pues buscamos soluciones
denidas para todo (t (0, ))) para reducir una EDP a una EDO. Para ello se
toma la transformada de Laplace en el tiempo (y no en el espacio pues el recorrido
de la variable x es nito).
8.1.1. Resolucion de una EDP de primer orden
Veamos la aplicacion del metodo de Laplace en la resolucion de un problema de
valor inicial (y de contorno) asociado a una EDP de primer orden:
Ejemplo 8.1. Resolver el problema
_
_
u
x
+ x
u
t
= 0
u(x, 0) = 0
u(0, t) = t
En primer lugar tomamos la transformada de Laplace de la EDP con respecto al
tiempo. Se tiene
L
_
u
x
+ x
u
t
_
= 0
Aplicando las formulas deducidas en la seccion anterior, la propiedad de linealidad
y la notacion U(x, s) = L[u(x, t)] se tiene
U
x
+ xsU = 0
Esta ecuacion se puede considerar como una ecuacion diferencial ordinaria (EDO)
en la variable independiente x puesto que no aparecen en la ecuacion derivadas con
respecto a s (que se considera por tanto como un parametro). La solucion general
de la EDO (que se puede obtener, por ejemplo, separando variables) es
U(x, s) = C(s)e
sx
2
/2
siendo C(s) una funcion arbitraria de s que determinaremos a continuaci on. Para
ello, transformamos la condicion inicial. Puesto que
L[t] =
1
s
2
la condicion u(0, t) = t se transforma en
U(x, 0) = C(s) =
1
s
2
luego
U(x, s) =
1
s
2
e
sx
2
/2
Tenemos ahora que tomar la transformada inversa de la funcion U(s, x) (que es en
efecto la transformada de Laplace de la solucion buscada). El termino exponencial
sugiere la aplicacion del segundo teorema de traslacion, que arma
L
1
[e
as
F(s)] = f(t a)H(t a)
donde H(ta) denota la funcion de Heaviside desplazada (vease la seccion dedicada
a la funcion escalon unitario). La magnitud del desplazamiento es (en nuestro caso)
a = x
2
/2, siendo F(s) = 1/s
2
. Puesto que
L
1
_
1
s
2
_
= t
la aplicacion del segundo teorema de traslacion nos da la solucion buscada
u(x, t) =
_
t
x
2
2
_
H
_
t
x
2
2
_
=
_
_
0 si t <
x
2
2
t
x
2
2
si t >
x
2
2
8.1.2. Resolucion de una EDP de segundo orden en un dominio no aco-
tado
En primer lugar notamos que, al no ser acotado el dominio no podemos aplicar la
tecnica de separacion de variables que vimos en el primer tema. Para ilustrar la
aplicacion del metodo de Laplace un tpico problema podra ser el siguiente:
Ejemplo 8.2. Se considera el proceso de conduccion de calor en un solido semi-
innito. El material, inicialmente a temperatura cero se pone en contacto, repenti-
namente, con un ba no de calor en el instante t = 0. Como se difunde el calor en
el resto del solido ?
El modelo matematico a resolver es
_
_
u
t
(x, t) = k
2
u
x
2
(x, t), x > 0, t > 0
u(0, t) = u
0
x = 0 t > 0
u(, t) = 0 x t > 0
u(x, 0) = 0 x > 0 t = 0
para la variable u = u(x, t) que representa la temperatura del solido y siendo u
0
un
valor constante.
Las condiciones de contorno son del tipo Dirichlet no homogeneo. Para la resolucion
del modelo emplearemos el metodo de la transformada de Laplace.
Sea
L[u(x, t)] = U(x, s)
.
=
_

0
e
st
u(x, t)dt
la transformada de Laplace de la temperatura u(x, t). Tomando la transformada
de Laplace de la EDP con respecto al tiempo y utilizando las condiciones iniciales
(u(x, 0) = 0) se tiene que
L
_
u(x, t)
t
_
= sU(x, s) u(x, 0) = sU(x, s)
y
L
_
2
u(x, t)
x
2
_
=
d
2
U(x, s)
dx
2
Por tanto (s es un parametro) hemos reducido la EDP a una EDO (y el problema
de valor inicial y de contorno a un simple problema de contorno, tal y como veremos
a continuacion):
d
2
U(x, s)
dx
2

s
k
U(x, s) = 0, x > 0
La solucion general de esta ecuacion es
U(x, s) = Ae
s/kx
+ Be
s/kx
Puesto que x > 0 y que la transformada de Laplace de la solucion debe tender a
cero cuando s (si es que es, efectivamente, la transformada de Laplace de una
funcion continua a trozos y de orden exponencial) se tiene que B = 0 y la solucion
es
U(x, s) = Ae
s/kx
siendo A una constante arbitraria que se determina mediante la transformada de
Laplace de la condicion de contorno en x = 0:
L[u(0, t)] = U(0, s) = L[u
0
] =
u
0
s
Se tiene por tanto que la transformada de la solucion del problema originario es
U(x, s) =
u
0
s
e
s/kx
Para calcular la antitransformada deberamos calcular
u
0
2i
_
c+i
ci
1
s
e
st
s/kx
ds.
lo que desborda los objetivos de este curso. La tecnica a utilizar es el calculo de
residuos (variable compleja). Sin embargo, podemos utilizar (en este caso) la formula
(27)
L
_
erfc
_

2
t
__
=
1
s
e
s
, 0
e identicando = x/
k obtener la formula explcita (aunque en terminos de la

funcion de error) de la solucion del problema originario:
u(x, t) = u
0
erfc
_
x
2
kt
_
= u
0
_
1 erf
_
x
2
kt
__
8.1.3. Resolucion de una EDP de segundo orden en un dominio acotado
Aplicaremos ahora la tecnica de la transformada de Laplace a un problema tpico de
difusion de materia. Se pondra de maniesto la necesidad del calculo de los residuos
para la determinacion de una expresion exacta de la solucion. Alternativamente este
problema tambien se puede resolver por separacion de variables pues la variable
espacial es acotada.
Ejemplo 8.3. Se considera el proceso de difusion de la concentracion c(x, t) de una
sustancia gobernado por la ecuacion
c
t
= k
2
c
x
2
, 0 < x < L, t > 0
y sujeto a las condiciones de contorno
c(0, t)
x
= 0, c(L, t) = c
0
y a la condicion inicial
c(x, 0) = 0, 0 < x < L
El modelo matematico a resolver es
_
_
c
t
(x, t) = k
2
c
x
2
(x, t), 0 < x < L, t > 0
c
x
(0, t) = 0 x = 0 t > 0
c(L, t) = c
0
x = L t > 0
c(x, 0) = 0 0 < x < L t = 0
para c = c(x, t). Las condiciones de contorno son del tipo Neumann homogeneo y
Dirichlet no homogeneo. Para la resolucion del modelo emplearemos el metodo de
la transformada de Laplace.
Sea
L[c(x, t)] = C(x, s)
.
=
_

0
e
st
c(x, t)dt
la transformada de Laplace de la concentraci on c(x, t). Tomando la transformada
de Laplace de la EDP con respecto al tiempo y utilizando las condiciones iniciales
se tiene que
L
_
C(x, t)
t
_
= sC(x, s) c(x, 0) = sC(x, s)
L
_
2
c(x, t)
x
2
_
=
d
2
C(x, s)
dx
2
Por tanto (s es un parametro)
d
2
C(x)
dx
2

s
k
C(x) = 0, 0 < x < L
Transformada de Laplace de las condiciones de contorno
Se tiene
C(0, s)
x
= 0, C(L, s) =
_

0
e
st
c(L, t)dt =
c
0
s
Hemos por tanto reducido la EDP a una EDO y el problema de valor inicial y de
contorno a un simple problema de contorno:
_
_
d
2
C
dx
2
=
s
k
C
C(L, s) =
c
0
s
dC
dx
(0, s) = 0
La solucion es
C
c
0
=
1
s
cosh(
_
(s/k)x)
cosh(
_
(s/k)L)
Si bien ha sido facil llegar a la expresion de la transformada de la solucion el problema
es ahora el calculo de la transformada inversa de Laplace. Deberamos en efecto
calcular la siguiente integral
C
c
0
=
1
2i
_
c+i
ci
e
st
s
cosh(
_
(s/k)x)
cosh(
_
(s/k)L)
ds
lo que desborda, nuevamente, los objetivos de este curso. El resultado nal es (uti-
lizando el calculo de los residuos)
c
c
0
= 1
4
n=0
(1)
n
(2n + 1)
cos
__
n +
1
2
_
x
L
_
exp
_
kt
__
n +
1
2
_

L
_
2
_
Este resultado se hubiese podido obtener tambien por separacion de variables y se
deja la comprobacion al lector
30
.
9. Comentarios nales sobre el uso de las trans-
formadas integrales
Hemos visto que la transformada de Fourier y la correspondiente formula de inversi on
no son otra cosa que una reformulaci on de la representaci on integral de Fourier de
una funcion no periodica en < x < . Tambien se ha visto que la metodologa
asociada a la transformada de Fourier es analoga, y en ciertos aspectos identica,
a la metodologa de trabajo asociada a la transformada de Laplace. Observada la
semejanza entre los dos metodos es natural preguntarse cual de las dos transformadas
elegir a la hora de resolver una ecuacion diferencial. Los principios basicos a seguir
son:
30
La resolucion del problema mediante aplicacion del metodo de separacion de variables se ha
propuesto como ejercicio en el examen de control del curso 1999/2000.
10. El metodo de Combinacion de variables 83
1. La transformada de Laplace esta indicada para problemas de valor inicial en
un intervalo semiinnito 0 < t < .
2. La transformada de Fourier esta indicada para problemas de contorno en un
intervalo innito < x < .
Las dos variables independientes utilizadas representan el tiempo t y el espacio x y
suele ser habitual que en las EDP la transformada de Laplace se tome con respecto
al tiempo y la de Fourier con respecto al espacio. No se trata de una regla ja e
inmutable puesto que es posible, por ejemplo, utilizar la transformada de Laplace
para resolver problemas de contorno en intervalos nitos (en lugar de aplicar el
metodo de separacion de variables) mientras que la transformada de Fourier se puede
adaptar a problemas de contorno en intervalos semiinnitos (en lugar de aplicar la
transformada de Laplace).
10. El metodo de Combinaci on de variables
Este tipo de metodo
31
es efectivo en el caso de dominios no acotados con condiciones
de contorno adecuadas. Aclararemos mas adelante lo que se entiende por adecuadas.
Digamos, de momento, que hay restricciones. Una de ellas (es decir un prerequisito
del metodo para su aplicacion) radica en la existencia de una cierta simetra para
las condiciones en el cero y en el innito. El metodo es ademas aplicable solo a los
casos donde las variables independientes son no acotadas, por ejemplo: 0 < t < ,
0 < x < .
La idea del metodo consiste en combinar todas las variables independientes en una
unica variable dependiente
32
que llamaremos . Este cambio de coordenadas produce
una unica EDO que puede ser resuelta con metodos conocidos. Notese que el metodo
fallara si al sustituir en la EDP aparece alguna otra variable que no sea (es decir
si no obtenemos una EDO). Desarrollaremos ahora las operaciones de diferenciacion
necesarias para la aplicacion efectiva del metodo.
31
Llamado en la literatura anglosajona similarity transform.
32
En este sentido se puede entender el metodo de combinacion de variables como un metodo
opuesto al de separacion de variables. Otro aspecto que diferencia los dos metodos, y que evidencia
la potencialidad del metodo de combinacion de variables, es que este puede ser aplicado en el caso
no lineal (bajo ciertas condiciones de simetras de las variables dependientes e independientes).
10.1. Deduccion del metodo de combinaci on de variables
Sea dada la ecuacion del calor
T
t
=
2
T
x
2
, 0 < x < , t > 0
donde es la difusividad termica (o calorca). Sea ademas, por hipotesis, T(x, t) =
f(), donde
= (x, t) =
x
(t)
es una combinaci on adecuada de las variables independientes (x, t) denida a traves
de la funcion (t) (todava indeterminada). Veremos (aunque de manera heurstica)
que la existencia de ciertas simetras en la ecuacion aconsejara la eleccion (t) =
4t. La funcion se suele llamar la variable autosemejante.

El cambio de variable T(x, t) = f() implica la igualdad de sus respectivas diferen-
ciales totales:
dT(x, t) = df()
Aplicando la regla de la cadena a ambos lados de la ecuacion anterior se tiene:
dT(x, y) =
T
x
dx +
T
t
dt =
df
d
d = f
()
_
x
dx +

t
dt
_
Igualando los coecientes de los elementos diferenciales dx y dt en ambos lados
resulta
T
x
= f
()
x
= f
()
1
(t)
,
T
t
= f
()
t
= f
()
_
d
dt
_
Calculemos ahora

2
T
x
2
. Introducimos para ello las funciones F(x, t), (, t)
F(x, t)
.
=
T
x
= f
()
1
(t)
.
= (, t)
y razonamos como antes. Aplicando la regla de la cadena a la igualdad entre las
diferenciales totales dF(x, t) = d(, t) se tiene
F
x
dx +
F
t
dt =

d +

t
dt =

x
dx +

t
dt
_
+

t
dt
igualando los coecientes de dx y dt se tiene
F
x
=

x
Utilizando las deniciones de F y se deduce
2
T
x
2
=
F
x
= f
()
1
(t)
x
= f
()
1
2
(t)
Usando este resultado y la relacion
T
t
= f
()
t
= f
()
_
d
dt
_
sustituimos en la EDP original para obtener
2
= f
d
dt
_
Es decir
f
=
d
dt
f
Si elegimos
d
dt
= 2
es decir
d = 2dt
se tiene (puesto que (0) = 0 ya que queremos que tenga recorrido innito),
(t) =
4t
Nos hemos reconducido a resolver la EDO:
f
+ 2f
= 0
Si denimos p = df/d se tiene p
+2p = 0 que es una EDO separable cuya solucion

es
p() = Ae
2
=
df
d
Integrando nuevamente
f() = A
_
e
2
d + B
Recordando la denicion de la funcion de error
erf() =
2
_

0
e
2
d
y por ser las constantes A, B completamente arbitrarias podemos escribir
f() = Cerf() + B
Esta solucion particular tiene muchas aplicaciones y aparece en inumerables prob-
lemas fsicos de transporte.
10.2. Aplicacion del metodo de combinaci on de variables
Para ilustrar la aplicacion del metodo de combinacion de variables a un problema
concreto, consideramos el siguiente ejemplo (Rice and Doo
33
, pag 409):
Ejemplo 10.1. Se considera una varilla de longitud innita de un material solido
innito con una temperatura inicial uniforme T
0
en todo el dominio 0 < x < .
Se aplica repentinamente una temperatura T
s
, constante, en x = 0. Este salto de
temperatura (T
0
= T
s
) en la posicion x = 0 provoca una difusion del calor en el
interior del medio de tipo ondulatorio. Determinar la distribucion de temperaturas
en el solido.
El balance de calor para un elemento de volumen de espesor x, seccion transversal
de area A de un material de densidad , capacidad calorca C
p
y conductividad k,
se escribe:
(q
x
A)|
x
(q
x
A)|
x+x
= AxC
p
T
t
Dividiendo por Ax y pasando al lmite cuando x 0 se obtiene
q
x
x
= C
p
T
t
y aplicando la ley de Fourier, q
x
= k
T
x
resulta la ecuacion parabolica de conduc-
cion del calor:
T
t
=
2
T
x
2
33
siendo = k/C
p
la difusividad termica (en cm
2
/s). y en la que ambas variables
son no acotadas: 0 < x < , 0 < t < . La condicion inicial (temperatura inicial
en la varilla) sera
T = T
0
, t = 0, x > 0
complementada con
T = T
s
, x = 0, t > 0
y
T T
s
, t , x > 0, T T
0
, x , t > 0
Estas son condiciones adecuadas. Se trata de condiciones de simetra en cero y en el
innito y es el primer requisito que debe tener el problema para que el metodo de
combinacon de variables sea aplicable. Una aproximacion de los ordenes de magnitud
de los terminos que aparecen en la ecuacion anterior no dice que:
T
x
2

T
t
esto sugiere (aproximadamente) que t x
2
luego combinamos las variables en la
forma
=
x
4t
y buscaremos una solucion en la forma: T(x, t) = f().
Sustituyendo la expresion T(x, t) = f() en la EDP obtenemos la EDO:
d
2
f
d
2
+ 2
df
d
= 0.
Integrando (de manera indenida) se tiene
df
d
= Ae
2
e integrando nuevamente
f() = A
_
e
2
d + B = Cerf() + B
siendo
erf() =
2
_

0
e
2
d
la funcion de error. Para determinar las constantes C y B se observa que:
f(0) = T
s
, f() = T
0
luego B = T
s
y C = (T
0
T
s
), siendo erf() = 1 (de ah el factor de normalizacion
en la denicion de la funcion de error). En las coordenadas originales se tiene:
T(x, t) = (T
0
T
s
)erf
_
x
4t
_
+ T
s
y se escribe, tpicamente
T(x, t) T
s
T
0
T
s
= erf
_
x
4t
_
siendo
(x, t) =
T(x, t) T
s
T
0
T
s
, (0, t) = 0, (x, 0) = 1.
Notese que si cambiamos las condiciones de contorno originarias, por ejemplo re-
quiriendo un ujo de calor constante en la frontera x = 0, entonces la solucion
anterior ya no vale y puede haber alguna complicacion tecnica. Para el lector intere-
sado, ver Rice and Do
34
, pag 414.
10.2.1. Sistema semi-innito. Condiciones constantes en uno de los lmites
del mismo
Consideraremos ahora alg un ejemplo concreto propio del area de la Ingeniera Qumi-
ca. Se pueden encontrar en el vol. 5 del libro de Costa Novella dedicado a la trans-
ferencia de materia.
Ejemplo 10.2 (Costa Novella, pg 55). Se considera un sistema constituido por
un deposito cilndrico alto que contiene en su base un catalizador de isomerizacion
con espesor reducido y constante, limitado por un tabique facilmente eliminable.
Supongase que la parte superior del deposito esta ocupada por una mezcla de dos
isomeros A y B a temperatura y presion constantes y que dado su espesor, este puede
considerarse semi-innito. En un momento dado, elimindo el tabique separador se
ponen en contacto ambas fases con lo que el componente A se difunde en sentido
descendente y al entrar en contacto con el catalizador S se isomeriza instantanea-
mente en el B, estableciendose una contradifusion equimolar de ambos compuestos
y manteniendose constantes las condiciones en la supercie interfacial.
34
Se trata de una difusion simple en un sistema semi-innito en regimen no estacionario
con isomerizacion cataltica instantanea.
El modelo matematico para este caso estara constituido por la ecuacion diferencial
en derivadas parciales de difusion pura complementada con las condiciones lmite
siguientes:
_
_
x
A
t
= D
AB
2
x
A
x
2
, 0 < x < , t > 0
x
A
= x
A
1
= 0 x = 0 t > 0
x
A
= x
A
2
= 0 x = t > 0
x
A
(x, 0) = x
A
I
0 < x < t = 0
(39)
La EDP que aparece en el problema (39) puede resolverse mediante el metodo de
combinacion de variables. A tal n se introducen las variables adimensionales
Y =
x
A
x
A
I
x
A
1
x
A
I
, (40)
=
x
4D
AB
t
(41)
con lo que el modelo anterior para la variable Y () se convierte en
_
_
d
2
Y
d
2
+ 2
dY
d
= 0 0 < <
Y = 1 = 0
Y = 0 =
(42)
constituido por una ecuacion diferencial ordinaria lineal de segundo orden de coe-
cientes variables. Una doble integracion nos conduce a
Y = C
1
_

0
e
s
2
ds + C
2
(43)
cuyas constantes pueden evaluarse mediante las condiciones lmite Y (0) = 1, Y () =
0. A saber:
C
1
= 1, C
2
=
1
_

0
e
2
d
con lo que se llega a la expresion nal
Y = 1
_

0
e
s
2
ds
_

0
e
2
d
= 1
2
_

0
e
s
2
ds = 1 erf()
Deshaciendo el cambio de variables anterior se deduce
x
A
x
A
I
= erf
_
x
4D
AB
t
_
que representa la distribucion de concentraciones del componente A en funcion de
la posicion y del tiempo.
El ujo de isomerizacion del compuesto A, al ser v = 0, sera:
(N
A
)
x=0
= N
A
(0, t) = c
t
D
AB
_
x
A
x
_
x=0
= c
A
I
_
D
AB
t
, t > 0
Ejemplo 10.3 (Costa Novella, pg 57, ejemplo 2-11). Un componente A de un gas
en reposo es absorbido por una capa de lquido, inicialmente exento de dicho compo-
nente, que desciende laminarmente por una supercie vertical, pudiendo suponerse
que la resistencia a la transferencia es la opuesta exclusivamente por el lquido.
Calcular la maxima longitud de supercie que asegure una penetracion de dicho
componente inferior al 10 por 100 del espesor de la capa lquida.
Datos y notas
Espesor de la capa: = 0, 5 mm.
Propiedades fsicas del lquido: densidad 1,000Kg/m
3
; viscosidad: 10
3
Kg/ms.
Difusividad del componente A en el lquido: 10
9
m
2
/s.
Considerese que la penetracion es despreciable a partir del punto en el que la
concentracion del componente A es el 0, 5 por 100 de la supercial de equilibrio.
Se trata de la difusion unidimensional del componente A en el seno del lquido
que desciende laminarmente. Suponemos que en la supercie interfacial se alcanza
instantaneamente el equilibrio.
El modelo matematico para este caso estara constituido por la ecuacion diferencial
de difusion pura complementada con las condiciones lmite siguientes:
_
_
c
A
t
= D
AB
2
c
A
x
2
, 0 < x < , t > 0
c
A
= c
A
e
x = 0 t > 0
c
A
= 0 x = t > 0
c
A
(x, 0) = 0 0 < x < t = 0
(44)
siendo c
A
e
la concentraci on de equilibrio. La EDP que aparece en el problema (44)
puede resolverse mediante el metodo de combinacion de variables. A tal n se
introducen las variables adimensionales
Y =
c
A
c
A
e
, (45)
=
x
4D
AB
t
(46)
con lo que el modelo anterior para la variable Y () se convierte en
_
_
d
2
Y
d
2
+ 2
dY
d
= 0 0 < <
Y = 1 = 0
Y = 0 =
(47)
constituido por una ecuacion diferencial ordinaria lineal de segundo orden a coe-
cientes variables. Una doble integracion nos conduce a
Y = C
1
_

0
e
s
2
ds + C
2
(48)
cuyas constantes pueden evaluarse mediante las condiciones lmite Y (0) = 1, Y () =
0. A saber:
C
1
= 1, C
2
=
1
_

0
e
2
d
con lo que se llega a la expresion nal
Y = 1
_

0
e
s
2
ds
_

0
e
2
d
= 1
2
_

0
e
s
2
ds = 1 erf()
Deshaciendo el cambio de variables anterior se deduce
c
A
c
A
e
= 1 erf
_
x
4D
AB
t
_
= erfc
_
x
4D
AB
t
_
luego
c
A
e
c
A
c
A
e
= erf
_
x
4D
AB
t
_
(49)
que representa la distribucion de concentraciones del componente A en funcion de
la posicion y del tiempo.
Para calcular la maxima longitud de supercie que asegure una penetracion de dicho
componente inferior al 10 por 100 del espesor de la capa lquida se considera un punto
situado a una distancia de la interface igual al 10 por 100 del espesor de la capa
lquida: x = 0, 1 = 5 10
5
m, siendo la concentraci on c
A
= 0,005c
A
e
. Sustituyendo
en (49) se tiene
c
A
e
0,005c
A
e
c
A
e
= 0,995 = erf
_
5 10
5
4 10
9
t
_
de donde se deduce t = 0,156s. Conociendo el tiempo se calcula la longitud de la
placa mediante el calculo de la velocidad v
y
. Detalles se encuentran el la pg 58 del
libro de Costa Novella sobre Transferencia de materia por difusion
10.3. Difusion con ujo masico simultaneo
Sean dos compuestos gaseosos A y B que forma una mezcla ideal a presion y tem-
peraturas constantes. De acuerdo con las ecuaciones basicas, la concentracion molar
total c
t
y la difusividad D
AB
podran considerarse constantes. Suponiendo tambien
que el resto de las propiedades fsicas pueden ser tratadas como constantes, las
ecuaciones de conservaci on de materia, para una sola direccion de difusion, en coor-
denadas rectangulares podran expresarse as:
v
x
x
= 0, = v
x
= f(t) (50)
luego
c
A
t
+ v
x
c
A
x
= D
AB
2
c
A
x
2
=
x
A
t
+ v
x
x
A
x
= D
AB
2
x
A
x
2
(51)
Sabemos tambien que
v
x
=
N
A
+ N
B
c
t
(52)
por tanto, dada la constantcia de c
t
, al ser la velocidad molar media v
x
funcion
exclusiva del tiempo (ecuacion (50)), tambien lo sara la suma de los ujos molares
de los compuestos A y B. De las ecuaciones (51) y (52) se tiene
x
A
t
= D
AB
2
x
A
x
2

_
N
A
+ N
B
c
t
_
x
A
x
(53)
ecuacion en derivadas parciales no lineal y de segundo orden que junto con las condi-
ciones lmite que proceda constituira el modelo matematico en cada caso concreto.
Veamos uno de ellos a continuacion.
10.3.1. Sistema semi-innito: Difusion de un solo componente en el seno
de otro estacionario
Consideremos un sistema de evaporacion o sublimacion.
Ejemplo 10.4. Un cilindro vertical cerrado de escaso diametro y gran altura con-
tiene en su base un lquido o solido puro separado del aire que llena el resto, con
suciente espesor para poderlo considerar semi-innito, por un tabique facilmente
eliminable. El aire que se mantiene a temperatura y presion constantes se supone
es totalmente insoluble o adsorbible por el compuesto A. En el momento en que se
elimina el tabique que separa a ambas fases comienza la vaporizacion o sublimacion
no estacionaria del compuesto A.
Puesto que dada la insolubilidad o no adsorbibilidad del compuesto B en el A, se
tendra:
N
B
(0, t) 0, t (54)
y se deduce
N
A
(0, t) = D
AB
_
c
t
1 x
A
1
_
x
A
x
(0, t) (55)
Por consiguiente, utilizando las ecuaciones (53), (54) y (55) junto con adecuadas
condiciones de contorno se tiene el modelo matematico
_
_
x
A
t
= D
AB
2
x
A
x
2
+ D
AB
_
c
t
1 x
A
1
_
x
A
x
(0, t)
x
A
x
, 0 < x < , t > 0
x
A
= x
A
1
x = 0 t > 0
x
A
= x
A
2
= 0 x = t > 0
(56)
representando x
A
1
la concentraci on de equilibrio en la supercie interfacial a la
temperatura y presion de que se trate. En este modelo no hay ninguna longitud
caracterstica y puesto que la concentracion del compuesto A es nula para dos de sus
condiciones lmite (t = 0 y x = ), resulta aconsejable el metodo de combinaci on
de variables. Introduciendo la distancia adimensional
=
x
4D
AB
t
(57)
y la variable :
=
1
2(1 x
A
1
)
_
x
A
_
x=0
(58)
el modelo (56) se transforma en el siguiente
_
_
d
2
x
A
d
2
+ 2( )
dx
A
d
= 0 0 < <
= 0 x
A
= x
A
1
= x
A
= 0
(59)
constituido por una ecuacion diferencial ordinaria lineal de segundo orden a coe-
cientes variables. La variable x
A
no se presenta explicitamente. La solucion de (59)
es
x
A
= C
1
erf( ) + C
2
(60)
Calculadas las dos constantes de esta ecuacion mediante las dos condiciones lmite
resulta
x
A
x
A
1
=
1 erf( )
1 + erf()
(61)
expresion reppresentativa de la distribucion de concentraciones del componente A
en funcion de la posicion y del tiempo. Teniendo en cuenta que
=
1
_
x
A
1 x
A
1
_
e
2
1 + erf()
(62)
La ecuacion (62) permite calcular los valores de que corresponden a los de x
A
a n
de facilitar la utilizacion de la ecuacion (61). Se pueden en efecto tabular los valores
de y
/x
A
1
correspondientes a los de x
A
1
.
Teniendo en cuenta (55) y (58) el ujo de vaporizacion o sublimacion sera:
N
A
(0, t) =
_
c
t
1 x
A
1
_
_
D
AB
4t
_
x
A
_
=0
=
c
t
_
D
AB
4t
= c
t
x
A
1
_
D
AB
4t
_

x
A
1
_
(63)
y se calcula mediante la tabla de valores anteriormente mencionada.
Este ejercicio permite estimar la importancia de la conveccion en los fenomenos
de vaporizacion o sublimacion que se estudian. El analisis detallado (vease pag 76,
Costa Novella, Transferencia de materia por difusion) muestra que, de no haber
convecci on,
x
A
1
x
A
x
A
1
= erf() (64)
expresion representativa de la distribucion de concentraciones del componente A en
funcion de la posicion y del tiempo sin conveccion.
Por otra parte, el ujo de vaporizacion o sublimacion sera:
N
A
(0, t) = c
t
D
AB
_
x
A
_
=0
= c
t
_
D
AB
4t
_

x
A
1
_
= c
t
x
A
1
_
D
AB
4t
(65)
y comparando (63) y (65) se deduce que el temino correctivo debido a la convecci on
es
x
A
1
11. Anexos
Recopilamos aqu las deniciones y propiedades basicas de unas funciones no ele-
mentales que aparecen de forma natural al resolver problemas de valores iniciales
en dominios no acotados. Tras ello, recordaremos unas transformadas de Laplace
basicas para el uso del metodo de laplace.
11.1. La funcion de error: denicion y propiedades
El paso nal en el proceso de resolucion de ecuaciones diferenciales lo constituye
su integraci on. A menudo este proceso de resolucion produce funciones elementales
del tipo exponencial, logartmico, trigonometrico que expresan la relacion entre las
variables dependientes y las independientes. Sin embargo, tambien a menudo, las
tecnicas de resolucion generan una forma integral de la solucion que no se puede
resolver en terminos de funciones elementales. Es com un, en tal caso, dar un nombre
a la integral generada y tabular sus valores. Este es el caso de la funcion de error o de
la funcion Gamma (introducida en el tema 2). Es importante conocer las propiedades
basicas de estas funciones y sus comportamientos lmites para nalmente poder
construir una solucion analtica exacta (que sea util y practica). Empezaremos con
la relacion integral mas com un entre ellas: la funcion de error.
La funcion de error
Esta funcion aparece muy a menudo en la teora de la probabilidad y en los prob-
lemas de conduccion del calor o difusion de la masa. Esta asociada a una integral
no elemental y puede aparecer al resolver ecuaciones en derivadas parciales u ordi-
narias
35
. En la literatura anglosajona la funcion de error se denota por erf (error
function). En castellano es fer (funcion de error). Su denicion es:
erf(x) =
2
_
x
0
exp(
2
)d
35
Vease el ejemplo al nal de esta seccion donde la funcion de error aparece en la expresion
de la solucion de un PVI asociado a una ecuacion diferencial ordinaria de primer orden lineal a
coecientes variables.
11. Anexos 97
donde se ha introducido una variable muda para prevenir posibles errores en
el proceso de derivaci on de erf(x). La funcion de error es de hecho una funcion
integral de una funcion C
(IR) luego puede ser integrada y derivada sin problemas

un n umero cualquiera de veces. Para ello (es decir para diferenciar la funcion de
error) recordamos la Formula de Leibnitz de derivacion bajo el signo de integral
(derivaci on parametrica):
Formula de Leibnitz
d
dx
_
_
u
1
()
u
0
()
f(x, )dx
_
= f(u
1
, )
du
1
d
f(u
0
, )
du
0
d
+
_
u
1
()
u
0
()
_
f(x, )
_
dx (66)
Se tiene entonces
d
dx
erf(x) =
2
exp(x
2
) (67)
Por denicion, la funcion de error es simplemente el area encerrada por la graca
de la curva exp(
2
) entre los valores = 0 y = x, luego depende solo del valor
del extremo superior de integraci on elegido: x. El factor de normalizacion se ha
introducido para asegurar que la funcion as denida tome el valor unidad cuando
x : erf() = 1. En efecto, notese que se puede demostrar (utilizando la funcion
Gamma) que:
_

0
e
x
2
dx =
2
Propiedades de la funcion de error
Para el calculo de la integral (indenida) de la funcion de error se integra por partes
y se utiliza la formula de derivaci on (67). Recordando la formula de integraci on por
partes
_
u(x)dv = uv
_
v
du
dx
dx
y deniendo u(x) = erf(x), v = x se tiene
_
erf(x)dx = x erf(x)
_
2
exp(x
2
)xdx + K
Siendo 2xdx = d(x
2
) podemos escribir
_
erf(x)dx = x erf(x) +
1
exp(x
2
) + K
donde K es una constante de integraci on arbitraria.
Los valores de la funcion de error se encuentran tabulados en varios textos. Una
referencia clasica es el libro de Abramowitz y Stegun (1965). Ocasionalmente es
conveniente utilizar la funcion de error complementaria, denida por
erfc = 1 erf =
2
_

x
exp(
2
)d
Notese nalmente que la funcion de error puede aparecer al resolver un problema
de valor inicial para una ecuacion diferencial ordinaria de primer orden.
Ejemplo 11.1. Resolver el problema de valor inicial
_
_
_
dy
dx
2xy = 2
y(0) = 1
El problema se puede resolver con los metodos del tema 13, seccion 13.2.7.2 sobre
EDO lineales de primer orden completas. Concretamente utilizamos el metodo del
factor integrante mediante el cual convertimos la EDO de primer orden, lineal y
coecientes variables en una EDO exacta que se resuelve por integracion directa.
Como la ecuacion ya se encuentra en su forma normal y
+ a(x)y = b(x) el factor

integrante es
(x) = exp(
_
a(x)dx) = e
x
2
La ecuacion exacta es:
d
dx
_
e
x
2
y
_
= 2e
x
2
e integrando directamente se tiene
y(x) = 2e
x
2
_
x
0
e
t
2
dt + ce
x
2
Sustituyendo la condicion inicial en la expresion de y(x) se tiene c = 1; por consi-
guiente la solucion del problema es
y(x) = 2e
x
2
_
x
0
e
t
2
dt + e
x
2
= e
x
2
_
1 +
erf(x)
_
11. Anexos 99
11.2. Tabla de Transformadas de Fourier
En el libro de Greenberg
36
es posible encontrar la siguiente tabla de transformadas
exponenciales de Fourier. Notese que la transformada tabulada es
f(w) =
_

f(x)e
iwx
dx
es decir, sin el factor 1/
2 que hemos utilizado en la denicion. Otras tablas (tam-

bien para las transformadas seno y coseno) se encuentran en el libro de Kreyzsig
37
,
pag 619-621).
1.
f(x) =
1
x
2
+ a
2
, a > 0 =

f(w) =

a
e
a|w|
2.
f(x) = H(x)e
ax
, Re(a) > 0 =

f(w) =
1
a + iw
3.
f(x) = H(x)e
ax
, Re(a) > 0 =

f(w) =
1
a iw
4.
f(x) = e
a|x|
, a > 0 =

f(w) =
2a
w
2
+ a
2
5.
f(x) = e
x
2
, =

f(w) =
e
w
2
/4
6.
f(x) =
1
2a
e
x
2
/(2a)
2
, =

f(w) = e
a
2
w
2
7.
f(x) =
1
_
|x|
, =

f(w) =
2
|w|
8.
f(x) = e
a|x|/
2
sin
_
a
2
|x| +

4
_
, a > 0 =

f(w) =
2a
3
w
4
+ a
4
36
37
Kreyszig, E. (1993). Advanced Engineering Mathematics. John Wiley and Sons, Inc.
9.
f(x) = H(x + a) H(x a), =

f(w) =
2 sin(wa)
w
10.
f(x) = (x a), =

f(w) = e
iaw
11.
f(x) = f(ax + b), a > 0 =

f(w) =
1
a
e
ibw/a

f
_
w
a
_
12.
f(x) =
1
a
e
ibx/a
f
_
x
a
_
, a > 0, b IR =

f(w) =

f(aw + b)
13.
f(x) = f(ax) cos(cx), a > 0, c IR =

f(w) =
1
2a
_
f
_
w c
a
_
+

f
_
w + c
a
__
14.
f(x) = f(ax) sin(cx), a > 0, c IR =

f(w) =
1
2ai
_
f
_
w c
a
_

f
_
w + c
a
__
15.
f(x) = f(x + c) + f(x c), c IR =

f(w) = 2

f(w) cos(wc)
16.
f(x) = f(x + c) f(x c), c IR =

f(w) = 2i
f(w) sin(wc)
17.
f(x) = x
n
f(x), n = 1, 2, ..., =

f(w) = i
n
d
n
dw
n
f(w)
11. Anexos 101
11.3. Tabla de Transformadas de Laplace
1.
f(t) = 1, t > 0 = F(s) =
1
s
2.
f(t) = t, t > 0 = F(s) =
1
s
2
3.
f(t) =
t
n1
(n 1)!
, = F(s) =
1
s
n
, n = 1, 2, 3, ..
4.
f(t) =
1
t
, = F(s) =
1
s
5.
f(t) = 2
_
t
, = F(s) =
1
s
3/2
6.
f(t) =
t
1
()
, = F(s) =
1
s
, > 0
7.
f(t) = e
at
, = F(s) =
1
s + a
8.
f(t) = te
at
, = F(s) =
1
(s + a)
2
9.
f(t) =
1
b a
(e
bt
e
at
), = F(s) =
1
(s + a)(s + b)
10.
f(t) =
1
(n 1)!
t
n1
e
at
, = F(s) =
1
(s + a)
n
, n = 1, 2, ..
11.
f(t) =
t
1
e
at
()
, = F(s) =
1
(s + a)
, > 0
12.
f(t) =
1
b a
(be
bt
ae
at
), = F(s) =
s
(s + a)(s + b)
13.
f(t) =
1
a
sin(at), = F(s) =
1
s
2
+ a
2
14.
f(t) = cos(at), = F(s) =
s
s
2
+ a
2
15.
f(t) =
1
a
sinh(at), = F(s) =
1
s
2
a
2
16.
f(t) = cosh(at), = F(s) =
s
s
2
a
2
17.
f(t) =
1
a
2
[1 cos(at)], = F(s) =
1
s(s
2
+ a
2
)
18.
f(t) =
1
a
3
[at sin(at)], = F(s) =
1
s
2
(s
2
+ a
2
)
19.
f(t) =
1
2a
3
[sin(at) at cos(at)], = F(s) =
1
(s
2
+ a
2
)
2
20.
f(t) =
t
2a
sin(at), = F(s) =
s
(s
2
+ a
2
)
2
21.
f(t) =
1
2a
(sin(at) + at cos(at), = F(s) =
s
2
(s
2
+ a
2
)
2
22.
f(t) = t cos(at), = F(s) =
s
2
a
2
(s
2
+ a
2
)
2
23.
f(t) =
cos(at) cos(bt)
b
2
a
2
, = F(s) =
s
(s
2
+ a
2
)(s
2
+ b
2
)
24.
f(t) =
1
b
e
at
sin(bt), = F(s) =
1
(s a)
2
+ b
2
25.
f(t) = e
at
cos(bt), = F(s) =
(s a)
(s a)
2
+ b
2
11. Anexos 103
26.
f(t) = e
at
e
at/2
_
cos
_
at
3
2
_
3 sin
_
at
3
2
__
, = F(s) =
3a
2
s
3
+ a
3
27.
f(t) = sin(at) cosh(at) cos(at) sinh(at), = F(s) =
4a
3
s
4
+ 4a
4
28.
f(t) =
1
2a
2
[sin(at) sinh(at)], = F(s) =
s
s
4
+ 4a
4
29.
f(t) =
1
2a
3
[sinh(at) sin(at)], = F(s) =
1
s
4
a
4
30.
f(t) =
1
2a
2
[cosh(at) cos(at)], = F(s) =
s
s
4
a
4
31.
f(t) = (1 + a
2
t
2
) sin(at) at cos(at), = F(s) =
8a
3
s
2
(s
2
+ a
2
)
3
32.
f(t) =
e
t
n!
d
n
dt
n
(t
n
e
t
), = F(s) =
1
s
_
s 1
s
_
n
33.
f(t) =
1
t
e
at
(1 + 2at), = F(s) =
s
(s a)
3/2
34.
f(t) =
1
2
t
3
(e
bt
e
at
), = F(s) =
s a
s b
35.
f(t) =
1
t
ae
a
2
t
erfc(a
t), = F(s) =
1
a +
s
36.
f(t) =
1
t
+ ae
a
2
t
erf(a
t), = F(s) =
s
s a
2
37.
f(t) =
1
2a
e
a
2
t
_
a
t
0
e
2
d, = F(s) =
s
s + a
2
38.
f(t) =
1
a
e
a
2
t
erf(a
t), = F(s) =
1
s(s a
2
)
39.
f(t) =
2
a
e
a
2
t
_
a
t
0
e
2
d, = F(s) =
1
s(s + a
2
)
40.
f(t) = e
a
2
t
erfc(a
t), = F(s) =
1
s(a +
s)
41.
f(t) =
1
b a
e
at
erf[
_
t(b a)], = F(s) =
1
(s + a)
s + b
42.
f(t) = ae
at
[I
1
(at) + I
0
(at)], = F(s) =
s + 2a
s
1
43.
f(t) = e
(a+b)t/2
I
0
_
a b
2
t
_
, = F(s) =
1
_
(s + a)(s + b)
44.
f(t) =
_
t
a b
_
1/2
e
(a+b)t/2
I
1/2
_
a b
2
t
_
, =
= F(s) =
()
(s + a)
(s + b)
45.
f(t) = te
(a+b)t/2
_
I
0
_
a b
2
t
_
+ I
1
_
a b
2
t
__
=
= F(s) =
1
(s + a)
1/2
(s + b)
3/2
46.
f(t) =
1
t
e
at
I
1
(at), = F(s) =
s + 2a
s + 2a +
s
47.
f(t) = J
0
(at), = F(s) =
1
s
2
+ a
2
48.
f(t) = a
(at), = F(s) =
_
s
2
+ a
2
s
s
2
+ a
2
, > 1
11. Anexos 105
49.
f(t) =
()
_
t
2a
_
1/2
J
1/2
(at), = F(s) =
1
(s
2
+ a
2
)
, > 0
50.
f(t) =
a
t
J
(at), = F(s) =
_
s
2
+ a
2
s
_
, > 0
51.
f(t) = a
(at), = F(s) =
s
_
s
2
+ a
2
s
2
a
2
, > 1
52.
f(t) =
()
_
t
2a
_
1/2
I
1/2
(at), = F(s) =
1
(s
2
a
2
)
, > 0
53.
f(t) = J
0
(2
t), = F(s) =
1
s
e
/s
54.
f(t) =
1
t
cos((2
t), = F(s) =
1
s
e
/s
55.
f(t) =
1
t
cosh((2
t), = F(s) =
1
s
e
/s
56.
f(t) =
1
sin((2
t), = F(s) =
1
s
3/2
e
/s
57.
f(t) =
1
sinh((2
t), = F(s) =
1
s
3/2
e
/s
58.
f(t) =
_
t
_
(1)/2
J
1
(2
t), = F(s) =
1
s
e
/s
, > 0
59.
f(t) =
_
t
_
(1)/2
I
1
(2
t), = F(s) =
1
s
e
/s
, > 0
12. Ejercicios sugeridos
Ejercicio 3.1. Sea dada la funcion
f(t) =
_
1, 0 t < 1,
1, t 1.
Calcular L[f(t)] utilizando la denicion.
Respuesta: L[f(t)] =
1
s
+ 2
e
s
s
.
f(t) =
_
4, 0 t < 2,
0, t 2.
4
s
_
1 e
2s
_
.
f(t) =
_
t, 0 t < 1,
1, t 1.
1
s
2

e
s
s
2
.
f(t) =
_
2t + 1, 0 t < 1,
0, t 1.
12. Ejercicios sugeridos 107
Respuesta: L[f(t)] = 3
e
s
s
2
e
s
s
2
+
2
s
2
+
1
s
.
f(t) =
_
sin(t), 0 t < ,
0, t .
e
s
+ 1
s
2
+ 1
.
f(t) =
_
cos(t), 0 t < /2,
0, t /2.
s
s
2
+ 1
+
e
s/2
s
2
+ 1
.
Ejercicio 3.7. Calcular la transformada de Laplace L[f(t)] (utilizando la denicion)
de las siguientes funciones
1. f(t) = e
t+7
.
2. f(t) = e
2t5
.
3. f(t) = te
4t
.
4. f(t) = t
2
e
3t
.
5. f(t) = e
t
sin(t).
6. f(t) = e
t
cos(t).
Respuesta
1. F(s) =
e
7
s 1
.
2. F(s) =
e
5
s + 2
.
3. F(s) =
1
(s 4)
2
.
4. F(s) =
2
(s 3)
3
.
5. F(s) =
1
(s + 1)
2
+ 1
.
6. F(s) =
s 1
(s 1)
2
+ 1
.
Ejercicio 3.8. Aplicar las tablas de transformadas de funciones basicas para cal-
cular L[f(t)] en los siguientes casos
1. f(t) = 2t
4
.
2. f(t) = t
5
.
3. f(t) = 4t 10.
4. f(t) = 7t + 3.
5. f(t) = t
2
+ 6t 3.
6. f(t) = 4t
2
+ 16t + 9.
7. f(t) = (t + 1)
3
.
8. f(t) = 1 + e
4t
.
9. f(t) = t
2
e
9t
+ 5.
10. f(t) = 4t
2
5 sin(3t).
11. f(t) = cos(5t) + sin(2t).
12. f(t) = sinh(kt).
13. f(t) = cosh(kt).
14. f(t) = e
t
sinh(t).
15. f(t) = e
t
cosh(t).
16. f(t) = sin(2t) cos(2t).
17. f(t) = cos
2
(t).
Respuesta
1. F(s) =
48
s
5
.
2. F(s) =
120
s
6
.
3. F(s) =
4
s
2

10
s
.
4. F(s) =
7
s
2
+
3
s
.
5. F(s) =
2
s
3
+
6
s
2

3
s
.
6. F(s) =
8
s
3
+
16
s
2
+
9
s
.
7. F(s) =
6 + 6s + 3s
2
+ s
3
s
4
.
8. F(s) =
1
s
+
1
s 4
.
9. F(s) =
2
s
3

1
s + 9
+
5
s
.
10. F(s) =
8
s
3

15
s
2
+ 9
.
11. F(s) =
50 + 4s + 2s
2
+ s
3
(s
2
+ 4)(s
2
+ 25)
.
12. F(s) =
k
s
2
k
2
.
13. F(s) =
s
s
2
k
2
.
14. F(s) =
1
(s 1)
2
1
.
15. F(s) =
s + 1
(s + 1)
2
1
.
16. F(s) =
2
s
2
+ 16
.
17. F(s) =
2 + s
2
s(s
2
+ 4)
.
Ejercicio 3.9. Calcular f(t) = L
1
_
1
s
2
+ 64
_
.
Respuesta: f(t) =
1
8
sin(8t).
Ejercicio 3.10. Aplicar las tablas de transformadas inversas de funciones basicas,
para calcular L
1
[F(s)] en los siguientes casos
1. F(s) =
1
s
3
, F(s) =
1
s
4
2. F(s) =
s + 1
s
2
4s
, F(s) =
s
s
2
+ 2s 3
3. F(s) =
1
s
2

48
s
5
, F(s) =
1
s
2
+ s 20
4. F(s) =
_
2
s

1
s
3
_
2
, F(s) =
s
(s 2)(s 3)(s 20)
5. F(s) =
(s + 1)
3
s
4
, F(s) =
s
2
+ 1
s(s 1)(s + 1)(s 2)
6. F(s) =
(s + 2)
2
s
3
, F(s) =
2s + 4
(s 2)(s
2
+ 4s + 3)
7. F(s) =
1
s
2

1
s
+
1
s 2
, F(s) =
s + 1
(s
2
4s)(s + 5)
8. F(s) =
4
s
+
6
s
2

1
s + 8
, F(s) =
1
s
2
(s
2
+ 4)
9. F(s) =
1
4s + 1
, F(s) =
s 1
s
2
(s
2
+ 1)
10. F(s) =
1
5s 2
, F(s) =
s
(s
2
+ 4)(s + 2)
11. F(s) =
5
s
2
+ 49
,
12. F(s) =
10s
s
2
+ 16
, F(s) =
1
(s
2
+ 1)(s
2
+ 4)
13. F(s) =
4s
4s
2
+ 1
, F(s) =
6s + 3
(s
2
+ 1)(s
2
+ 4)
14. F(s) =
1
4s
2
+ 1
, F(s) =
1
s
2
16
15. F(s) =
10s
s
2
25
, F(s) =
s 1
s
2
+ 2
.
Respuesta
1. f(t) =
1
2
t
2
, f(t) =
1
6
t
3
2. f(t) =
1
4
+
5
4
e
4t
, f(t) =
3
4
e
3t
+
1
4
e
t
3. f(t) = t 2t
4
, f(t) =
1
9
e
4t
1
9
e
5t
4. f(t) =
1
120
t
5
2
3
t
3
+ 4t, f(t) =
1
9
e
2t
3
17
e
3t
+
10
153
e
20t
5. f(t) =
1
6
t
3
+
3
2
t
2
+ 3t + 1, f(t) =
1
2
e
t
1
3
e
t
+
5
6
e
2t
6. f(t) = 2t
2
+ 4t + 1, f(t) =
8
15
e
2t
1
5
e
3t
1
3
e
t
7. f(t) = t 1 + e
2t
, f(t) =
1
20
+
5
36
e
4t
4
45
e
5t
8. f(t) = 4 + 6t e
8t
, f(t) =
1
4
t
1
8
sin(2t)
9. f(t) =
1
4
e
t/4
, f(t) = t + 1 cos(t) + sin(t)
10. f(t) =
1
5
e
2t/5
, f(t) =
1
4
e
2t
+
1
4
cos(2t) +
1
4
sin(2t)
11. f(t) =
5
7
sin(7t)
12. f(t) = 10 cos(4t), f(t) =
1
3
sin(t)
1
6
sin(2t)
13. f(t) = cos(t/2), f(t) = 2 cos(t) + sin(t) 2 cos(2t)
1
2
sin(2t)
14. f(t) =
1
2
sin(t/2), f(t) =
1
4
sinh(4t)
15. f(t) = 10 cosh(5t), f(t) = cos(t) sin(t)
Ejercicio 3.11. Aplicar los teoremas adecuados, las tablas de transformadas de
funciones basicas y la denicion de la funcion escalon, para calcular L[f(t)] en los
siguientes casos:
1. f(t) = te
10t
, f(t) = te
6t
2. f(t) = t
3
e
2t
,
3. f(t) = e
t
sin(3t), f(t) = e
2t
sin(4t)
4. f(t) = e
5t
sinh(3t), f(t) =
cosh(t)
e
2t
5. f(t) = t
_
e
t
+ e
2t
_
2
, f(t) = e
2t
(t 1)
2
6. f(t) = e
t
sin
2
(t), f(t) = e
t
cos
2
(3t)
7. f(t) = (t 1)U(t 1), f(t) = e
2t
U(t 2)
8. f(t) = tU(t 2), f(t) = (3t + 1)U(t 3)
9. f(t) = cos(2t)U(t ), f(t) = sin(t)U
_
t

2
_
10. f(t) = t sinh(3t), f(t) = t
2
sinh(t).
Respuesta
1. F(s) =
1
(s 10)
2
, F(s) =
1
(s + 6)
2
2. F(s) =
6
(s + 2)
4
3. F(s) =
3
(s 1)
2
+ 9
, F(s) =
4
(s + 2)
2
+ 16
4. F(s) =
3
(s 5)
2
9
, F(s) =
s 2
s
4
4s + 3
5. F(s) =
1
(s 2)
2
+
2
(s 3)
2
+
1
(s 4)
2
, F(s) =
2
(s 2)
3
2
1
(s 2)
2
+
1
s 2
6. F(s) =
1
(s + 1)[(s + 1)
2
+ 4]
, F(s) =
19 + s
2
2s
(s 1)(s
2
2s + 37)
7. F(s) =
e
s
s
2
, F(s) =
e
2s
s + 1
8. F(s) = 2
e
2s
s
+
e
2s
s
2
, F(s) = 10
e
3s
s
+ 3
e
3s
s
2
9. F(s) =
se
s
s
2
+ 4
, F(s) =
se
s/2
s
2
+ 1
10. F(s) =
6s
(s
2
9)
2
, F(s) =
16s
2
(s
2
4)
3

4
(s
2
4)
2
.
Ejercicio 3.12. Aplicar los teoremas adecuados, las tablas de transformadas de
funciones basicas y la denicion de la funcion escalon, para calcular L
1
[F(s)] en
los siguientes casos
1. F(s) =
1
(s + 2)
3
, F(s) =
1
(s 1)
4
2. F(s) =
s
s
2
+ 4s + 5
, F(s) =
2s + 5
s
2
+ 6s + 34
3. F(s) =
s
(s + 1)
2
, F(s) =
5s
(s 2)
2
4. F(s) =
2s 1
s
2
(s + 1)
3
, F(s) =
(s + 1)
2
(s + 2)
4
5. F(s) =
e
2s
s
3
, F(s) =
(1 + e
2s
)
2
s + 2
6. F(s) =
e
s
s
2
+ 1
, F(s) =
se
s/2
s
2
+ 4
7. F(s) =
e
s
s(s + 1)
, F(s) =
se
2s
s
2
(s 1)
8. F(s) =
s
(s
2
+ 1)
2
, F(s) =
s + 1
s
2
(s
2
+ 2s + 2)
2
.
Respuesta
1. f(t) =
1
2
t
2
e
2t
, f(t) =
1
6
t
3
e
t
2. f(t) = e
2t
cos(t) 2e
2t
sin(t), f(t) = 2e
3t
cos(5t)
1
5
e
3t
sin(5t)
3. f(t) = e
t
(1 t), f(t) = 5e
2t
(2t + 1)
4. f(t) = t + 5
3
2
t
2
e
t
4te
t
5e
t
, f(t) =
1
6
t
3
e
2t
t
2
e
2t
+ te
2t
5. f(t) =
1
2
H(t2)t
2
2tH(t2)+2H(t2), f(t) = e
2t
+2H(t2)+2H(t2)
6. f(t) = sin(t)H(t ), f(t) = H(t /2) cos(
4(t /2))
7. f(t) = H(t 1)(1 e
1t
), f(t) = H(t 2)(1 e
t2
)
8. f(t) = (1/2)t sin(t), f(t) =
1
4
t
1
4
+
1
4
e
t
cos(t) +
1
4
e
t
t cos(t)
1
2
e
t
sin(t).
Ejercicio 3.13. Expresar cada funcion f(t) en terminos de funciones escalon uni-
tario y determinar la transformada de Laplace L[f(t)] de la funcion respectiva siendo
1.
f(t) =
_
2, 0 t < 3
2, t 3
2.
f(t) =
_
_
1 0 t < 4
0 4 t < 5
1 t 5
3.
f(t) =
_
0 0 t < 1
t
2
t 1
4.
f(t) =
_
0 0 t < 3/2
sin(t) t 3/2
5.
f(t) =
_
t 0 t < 2
0 t 2
6.
f(t) =
_
sin(t), 0 t < 2
0, t 2
Respuesta
1.
f(t) =
_
2, 0 t < 3
2, t 3.
En terminos de la funcion escalon unitario se tiene
f(t) = 2U(t) 4U(t 3).
Su transformada es
F(s) =
2
s
4
e
3s
s
.
2.
f(t) =
_
_
1, 0 t < 4
0, 4 t < 5
1, t 5.
f(t) = U(t) U(t 4) + U(t 5).
Su transformada es
F(s) =
1
s

e
4s
s
+
e
5s
s
.
3.
f(t) =
_
0, 0 t < 1
t
2
, t 1.
f(t) = t
2
U(t 1).
Su transformada es
F(s) =
e
s
s
+ 2
e
s
s
2
+ 2
e
s
s
3
.
4.
f(t) =
_
0, 0 t < 3/2
sin(t), t 3/2.
f(t) = sin(t)U
_
t
3
2
_
.
Su transformada es
F(s) =
se
3s/2
s
2
+ 1
.
5.
f(t) =
_
t, 0 t < 2
0, t 2.
f(t) = tU (t) tU(t 2).
Su transformada es
F(s) =
1
s
2
2
e
2s
s

e
2s
s
2
.
6.
f(t) =
_
sin(t), 0 t < 2
0, t 2.
f(t) = sin(t)U (t) sin(t)U(t 2).
Su transformada es
F(s) =
1
s
2
+ 1
2
e
2s
s
2
+ 1
.
Ejercicio 3.14. Sea dada una funcion y(t) tal que y(0) = 1 y y
(0) = 1. Deter-
minar la transformada de Laplace Y (s) = L[y(t)] de las ecuaciones siguientes
y
+ 3y
= 0, y
4y
+ 5y = 0
Respuesta: Y (s) =
s 1
s
2
+ 3
, Y (s) =
s 5
s
2
4s + 5
.
Ejercicio 3.15. Sea dada una funcion y(t) tal que y(0) = 2 e y
(0) = 3. Determinar
la transformada de Laplace Y (s) = L[y(t)] de las expresiones siguientes
y
2y
+ y = sinh(t), y
+ y = e
t
Respuesta: Y (s) =
2s
3
s
2
2s + 2
(s
2
1)(s
2
2s + 1)
, Y (s) =
2s
2
+ 5s + 4
(s + 1)(s
2
+ 1)
.
Ejercicio 3.16. Calcular, sin evaluar la integral, las siguientes transformadas de
Laplace:
1.
L
__
t
0
e
d
_
2.
L
__
t
0
cos()d
_
3.
L
__
t
0
e
cos()d
_
Respuesta
1.
L
__
t
0
e
d
_
=
L[e
t
]
s
=
1
s(s 1)
donde se ha utilizado la transformada basica de la funcion exponencial.
2.
L
__
t
0
cos()d
_
=
L[cos(t)]
s
=
s
(s
2
+ 1)s
=
1
s
2
+ 1
donde se ha utilizado la transformada basica de la funcion cos(t).
3.
L
__
t
0
e
cos()d
_
=
L[e
t
cos(t)]
s
=
(s + 1)
s[(s + 1)
2
+ 1]
donde se ha utilizado la transformada basica de la funcion cos(t) y la formula
del desplazamiento (o primer teorema de traslacion) para el factor exponencial.
Ejercicio 3.17. Calcular la siguientes transformadas de Laplace:
1.
L
_
1 t
3
2.
L
_
1 e
2t
3.
L
_
t
2
t
4
4.
L[t
2
te
t
]
5.
L
_
e
t
e
t
cos(t)
6.
L
_
e
2t
sin(t)
Respuesta
1.
L
_
1 t
3
=
6
s
5
2.
L
_
1 e
2t
=
1
s(s + 2)
3.
L
_
t
2
t
4
=
48
s
8
4.
L[t
2
te
t
] =
2
s
3
(s 1)
2
5.
L
_
e
t
e
t
cos(t)
=
(s 1)
(1 + s)[(s 1)
2
+ 1]
6.
L
_
e
2t
sin(t)
=
1
(s 2)(s
2
+ 1)
Ejercicio 3.18. Resolver el siguiente PVI utilizando el metodo de la transformada
de Laplace
(PV I)
_
y
y = 1
y(0) = 0.
Respuesta: La unica solucion del PVI es y(t) = 1 + e
t
.
de Laplace
(PV I)
_
y
+ 2y = t
y(0) = 1.
Respuesta: y(t) =
1
4
+
1
2
t
3
4
e
2t
.
de Laplace
(PV I)
_
y
+ 4y = e
4t
y(0) = 2.
Respuesta: y(t) = te
4t
+ 2e
2t
.
de Laplace
(PV I)
_
y
y = sin(t)
y(0) = 0.
Respuesta: y(t) =
1
2
e
t
1
2
cos(t)
1
2
sin(t).
Ejercicio 3.22. Expresando la funcion f(t) en terminos de funciones escalon uni-
tario, resolver el siguiente PVI utilizando el metodo de la transformada de Laplace
(PV I)
_
y
+ y = f(t)
y(0) = 0
, siendo f(t) =
_
0 0 t < 1
5 t 1.
Respuesta: y(t) = 5H(t 1)[1 e
1t
].
(PV I)
_
y
+ y = f(t)
y(0) = 0
, siendo f(t) =
_
1 0 t < 1
1 t 1.
Respuesta: y(t) = 1 e
t
2H(t 1)[1 e
1t
].
(PV I)
_
y
+ 2y = f(t)
y(0) = 0
, siendo f(t) =
_
t 0 t < 1
0 t 1.
Respuesta
y(t) =
1
2
t
1
4
+
1
4
e
2t
H(t1)[1e
22t
]
1
2
tH(t1)+
3
4
H(t1)
1
4
H(t1)[1e
22t
]
de Laplace
(PV I)
_
_
y
+ 5y
+ 4y = 0
y(0) = 1
y
(0) = 0.
Respuesta: y(t) =
1
3
e
4t
+
4
3
e
t
.
de Laplace
(PV I)
_
_
y
6y
+ 13y = 0
y(0) = 0
y
(0) = 3.
Respuesta: y(t) =
3
4
e
5t
+
3
4
e
t
=
3
4
[cosh(5t) + sinh(5t) + cosh(t) + sinh(t)] .
de Laplace
(PV I)
_
_
y
6y
+ 9y = t
y(0) = 0
y
(0) = 1.
Respuesta: y(t) =
10
9
te
3t
+
1
9
t +
2
27

2
27
e
3t
.
de Laplace
(PV I)
_
_
y
4y
+ 4y = t
3
y(0) = 1
y
(0) = 0.
Respuesta: y(t) =
13
8
te
2t
+
1
4
e
2t
+
1
4
t
3
+
3
4
t
2
+
9
8
t +
3
4
.
de Laplace
(PV I)
_
_
y
4y
+ 4y = t
3
e
2t
y(0) = 0
y
(0) = 0.
Respuesta: y(t) =
1
20
t
5
e
2t
.
de Laplace
(PV I)
_
_
y
2y
+ 5y = 1 + t
y(0) = 0
y
(0) = 4.
Respuesta: y(t) =
1
5
t +
7
25

7
25
e
t
cos(2t) +
51
25
e
t
sin(2t).
de Laplace
(PV I)
_
_
y
+ y = sin(t)
y(0) = 1
y
(0) = 1.
Respuesta: y(t) =
1
2
t cos(t)
1
2
sin(t) + cos(t).
de Laplace
(PV I)
_
_
y
+ 16y = 1
y(0) = 1
y
(0) = 2.
Respuesta: y(t) =
1
16
+
15
16
cos(4t) +
1
2
sin(4t).
de Laplace
(PV I)
_
_
y
= e
t
cos(t)
y(0) = 0
y
(0) = 0.
Respuesta: y(t) =
1
2

1
2
e
t
cos(t) +
1
2
e
t
sin(t).
de Laplace
(PV I)
_
_
y
2y
= e
t
sinh(t)
y(0) = 0
y
(0) = 0.
Respuesta: y(t) =
1
4
t +
1
4
+
1
4
te
2t
1
4
e
2t
.
(PV I)
_
_
y
+ 4y = f(t)
y(0) = 0,
y
(0) = 1,
, siendo f(t) =
_
1 0 t < 1
0 t 1,
Respuesta
y(t) =
5
16
+
5
16
e
4t
+
1
4
t
1
4
tH(t 1) +
5
16
H(t 1)
1
16
H(t 1)e
44t
.
(PV I)
_
_
y
+ y = f(t)
y(0) = 0
y
(0) = 1
, siendo f(t) =
_
_
0, 0 t <
1, t < 2
0, t 2.
Respuesta
y(t) = sin(t) + H(t ) + H(t ) cos(t) H(t 2) cos(t) + H(t 2) cos(t).
Ejercicio 3.37. Resolver el problema de valor inicial
(PV I)
_
_
y
6y
+ 9y = t
2
e
3t
y(0) = 2
y
(0) = 6
y determinar:
1. La respuesta de estado cero.
2. La respuesta de entrada cero.
3. La funcion de transferencia.
4. La funcion peso del sistema.
Respuesta
1. La respuesta de estado cero corresponde a la funcion
y
0
(t) =
1
12
t
4
e
3t
2. La respuesta de entrada cero corresponde a la funcion
y
1
(t) = 2e
3t
3. La funcion de transferencia es
W(s) =
1
P(s)
=
1
s
2
6s + 9
4. La funcion peso del sistema es la transformada inversa de la funcion de trans-
ferencia
w(t) = L
1
[W(s)] = te
3t
13. Ejercicios relativos al segundo tema propuestos
en examenes
Ejercicio 1. Examen control. 9/6/2000. Problema 1
Determinar la solucion y(t) del problema de valor inicial
(PV I)
_
_
y
+ 4y = 3H
5
(t) sin(t 5)
y(0) = 1,
y
(0) = 0,
siendo H
5
(t) la funcion de Heaviside (desplazada) denida por
H
5
(t)
.
=
_
0 t 5
1 t > 5
Ejercicio 2. Examen septiembre. 14/9/2000. Problema 2
(PV I)
_
_
y
+ 4y = 3 cos(t)
y(0) = 0,
y
(0) = 0,
NOTA: La ecuacion que dene (junto a las dos condiciones iniciales) el (PVI)
propuesto se conoce como la ecuacion del oscilador armonico forzado y modela una
masa unitaria deslizandose sobre un plano sin friccion, con una costante de resorte
de 4 y una fuerza externa periodica de 3 cos(t).
Ejercicio 3. Examen de junio. 5/6/2001. Problema 1 Determinar la solucion
y(t) del problema de valor inicial
(PV I)
_
_
y
+ 2y
+ 5y = 1 H
7
(t)
y(0) = 0,
y
(0) = 0,
13. Ejercicios relativos al segundo tema propuestos en examenes 127
siendo H
7
(t) la funcion de Heaviside (desplazada) denida por
H
7
(t)
.
= U(t 7) =
_
0 t 7
1 t > 7
Ejercicio 4. Examen de junio. 4/6/2002. Problema 1
(PV I)
_
_
y
+ 16y = f(t)
y(0) = 0,
y
(0) = 1,
siendo f(t) la funcion denida a trozos por
f(t) =
_
cos(4t) 0 t <
0 t
a) Denir la funcion f(t) en terminos de la funcion de Heavisid.
b) Resolver el PVI mediante aplicacion de la transformada de Laplace.
c) Escribir la solucion encontrada como una funcion denida a trozos.
Ejercicio 5. Examen de junio. 4/6/2003. Problema 1
Sea dado el Problema de Valores Iniciales (PVI)
(PV I)
_
_
y
+ y
= f(t), t > 0,
y(0) = 0,
y
(0) = 0,
siendo f(t) la funcion denida a trozos por
f(t) =
_
e
t
, 0 t < 1,
0, t 1.
a) Denir la funcion f(t) en terminos de la funcion de Heaviside. (2 puntos)
b) Resolver el PVI mediante aplicacion de la transformada de Laplace. (18 pun-
tos)
c) Escribir la solucion encontrada como una funcion denida a trozos. (2 puntos).
Calcular su comportamiento para tiempos grandes. (3 puntos)
14. Bibliografa Basica 129
14. Bibliografa Basica
1. Acero, I., Lopez, M., (1997). Ecuaciones diferenciales. Teora y problemas. Ed.:
Tebar Flores.
Se trata de un libro muy simple y facil de ler, adecuado para el estudiante
que quiera una primera toma de contacto con la trasnformada de Laplace (que
se puede encontrar en el captulo 5). Contiene varios ejemplo y problemas
resueltos y es aconsejable para un nivel basico inicial.
2. Apostol, T.M., (1982). Analisis Matematico. 2 ed. Editorial Reverte.
Se trata de un texto excelente, muy riguroso y completo. Seguramente aconse-
jable para el profesor aunque quizas de un nivel avanzado para el estudiante.
El material desarrollado en este tema se encuentra basicamente en el captulo
11, dedicado a las series y a las integrales de Fourier. Muy interesante (pero
solo a nivel de ampliacion) es el captulo 16 (teorema de Cauchy y calculo de
residuos), seccion 16.26, dedicada a la aplicacion del teorema del residuo a la
formula de inversi on para transformadas de Laplace.
3. Krasnov, M., Kiseliov, A., Makarenko, G., Shikin, (1994). E. Curso de matematicas
superiores para ingenieros. Vol 2. Ed. Mir.
4. Zill, D.G., (1997). Ecuaciones Diferenciales con aplicaciones de modelado. In-
ternational Thomson Editores. 6 ed.
Un texto muy simple y practico, indicado para una introduccion al calculo
y aplicacion de la transformada de Laplace al caso de sistemas lineales de
ecuaciones diferenciales ordinarias. Aconsejable aunque de nivel muy basico,
no contiene aplicaciones a la resolucion de EDP mediante transformadas luego
no cubre en absoluto el temario desarrollado en clase.
15. Bibliografa Avanzada
1. Greenberg, M.D. (1998). Advanced Engineering Mathematics. International
Edition.
Un texto muy practico dedicado a las ingenieras (veanse los comentarios he-
chos en los temas anteriores). El material aqu desarrollado se encuentra en
la primera parte, captulo 5 (Transformada de Laplace) y en la cuarta parte,
captulos 17, 18 y 20, dedicados a los metodos de Fourier y a las ecuaciones
en derivadas parciales.
2. A. Erderly, Tables of Integral Transforms. Vol. 1 y 2. New York: McGraw-Hill,
1954.
Una referencia clasica y muy completa dedicada a la recopilacion de las tablas
de transformadas integrales.
3. Kreyszig, E. (1993). Advanced Engineering Mathematics. John Wiley and
Sons, Inc.
Valen los comentarios hechos para el libro de Greenberg. Un tpico texto amer-
icano, escrito por un matematico y dedicado a las aplicaciones avanzadas de las
matematicas a las ingenieras. Hemos utilizado el captulo 6 (Transformadas
de Laplace) de la parte A y los captulos 10 y 11 de la parte C (Analisis de
Fourier y ecuaciones en derivadas parciales).
4. Lin, C.C., Segel, L.A. y Handelman, G.H., (1995). Mathematics Applied to
Deterministic Problems in the Natural Sciences. Cuarta edicion. SIAM.
Un texto clasico en lo que se reere a la pedagoga de la matematica aplicada.
Es extremadamente sugerente (debido a los numerosos modelos considerados)
y contiene un tratamiento muy elegante del analisis de Fourier (captulos 4 y
5).
5. Mei, C.C., (1997). Mathematical analysis in Engineering. Cambridge Univer-
sity Press.
Un texto moderno, aplicado, con una gran cantidad de ejemplos y modelos.
Dedicado a los ingenieros, abarca las aplicaciones de las matematicas a la
mecanica y a la geofsica. Hemos utilizado el captulo 7 dedicado a las EDP en
dominios no acotados y a su resolucion mediante el uso de las transformadas
integrales. Es de muy buen nivel aunque quizas no demasiado riguroso a nivel
teorico.
6. Rice, R.G, Do, D.D., (1995). Applied Mathematics and Modelling for Chemical
Engineers. John Wiley & Sons, Inc.
Un texto muy bueno, aconsejable tanto al matematico aplicado cuanto al in-
geniero qumico. Hace un puente entre la teora y las aplicaciones, ilustrando
ademas los conocimientos basicos y necesarios para poder trabajar en este cam-
po multidisciplinar. Las transformadas de Laplace se consideran en el contexto
natural de la variable compleja en el captulo 9. La aplicacion de los metodos
integrales a la resolucion de las EDP lineales se analiza en el captulo 11. Tiene
un enfoque quizas demasiado avanzado si lo comparamos con el material de-
sarrollado en clase, respresentando sin embargo una referencia fundamental
para el profesor.

Tema3transf Fourier

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tema3transf Fourier

Cargado por

Copyright:

Formatos disponibles

1

f(x) cos(wx)dx, b(w) =

)]/2) en todos los puntos de discontinuidad.

f(w) = sin(w)/w en el integrando de (10), integrando y mostrando que el resul-

(x)]() = iF[u(x)]() (13)

kt mientras su amplitud crece con

kt. Este com-

(t) sean, al menos, continuas a trozos y de orden exponencial.

(lo justicaremos mas adelante). Ademas

(que se puede encontrar tabulado en

(t)], ... Formalizamos es-

(t) entonces se tiene:

(t)] = sL[f(t)] f(0) = sF(s) f(0) (28)

(t) = kt cos(kt) + sin(kt) =

(t)] = f(0) + sL[f(t)] = sF(s) f(0)

(t) 3y(t)] = L[e

(t)] 3L[y(t)] = L[e

(t)] = sY (s) y(0) = sY (s) 1

(t)] + 6L[y(t)] = L[1] + L[e

(t)] = sY (s) y(0)

(0) + 4[sY (s) y(0)] + 6Y (s) =

(t)] + 9L[y(t)] = L[t

(0) 6[sY (s) y(0)] + 9Y (s) =

k obtener la formula explcita (aunque en terminos de la

4t. La funcion se suele llamar la variable autosemejante.

+2p = 0 que es una EDO separable cuya solucion

(IR) luego puede ser integrada y derivada sin problemas

+ a(x)y = b(x) el factor

2 que hemos utilizado en la denicion. Otras tablas (tam-

También podría gustarte