Tema3transf Fourier

1
Curso 2006-2007
Tema 3.
Métodos analı́ticos de resolución

de EDP. Dominios no acotados.
Asignatura:
Métodos Matemáticos de la Ingenierı́a Quı́mica
Profesores:
Emanuele Schiavi y Ana Isabel Muñoz.
Apuntes elaborados por:
C. Conde (UPM), E. Schiavi (URJC) y A.I. Muñoz
(URJC).
Índice 1
Índice
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. Difusión unidimensional. Solución general en forma integral . . 17
3.1.1. La Delta de Dirac: una fuente localizada. . . . . . . . 20
3.1.2. La función de Heaviside. Temperatura inicial discon-
tinua . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.2. Dominios semiinfinitos . . . . . . . . . . . . . . . . . . . . . . 24
3.2.1. Transformadas seno inversas de Fourier . . . . . . . . 25
3.2.2. Transformadas coseno inversas de Fourier . . . . . . 25
3.2.3. Difusión en un dominio semiinfinito. Flujo de calor
prescrito en el extremo izquierdo. Transformada de
cosenos de Fourier. . . . . . . . . . . . . . . . . . . . 26
3.2.4. Difusión en un dominio semiinfinito. Temperatura
prescrita en el extremo izquierdo. Transformada de
senos de Fourier. . . . . . . . . . . . . . . . . . . . . 29
3.2.5. Difusión en un dominio semiinfinito. Extremo izquier-
do parcialmente aislado. . . . . . . . . . . . . . . . . 31
2 Índice
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 función escalón unitario . . . . . . . . . . . . . . 53
5.3.2. Transformada de la Delta de Dirac . . . . . . . . . . 57
6. Transformada inversa de Laplace . . . . . . . . . . . . . . . . . . . . 58
6.1. Cálculo de las transformadas inversas de Laplace . . . . . . . 60
7. Aplicaciones a la resolución de EDO y de sistemas de EDO . . . . . . 67
7.1. Resolución de EDO lineales de coeficientes constantes y de
orden n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7.2. Análisis de la respuesta de sistemas lineales . . . . . . . . . . 71
8. Aplicaciones a la resolución de EDP . . . . . . . . . . . . . . . . . . 75
8.1. Aplicación de la transformada de Laplace a unos problemas
modelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
8.1.1. Resolución de una EDP de primer orden . . . . . . . 77
8.1.2. Resolución de una EDP de segundo orden en un do-
minio no acotado . . . . . . . . . . . . . . . . . . . . 78
8.1.3. Resolución de una EDP de segundo orden en un do-
minio acotado . . . . . . . . . . . . . . . . . . . . . . 80
9. Comentarios finales sobre el uso de las transformadas integrales . . . 82
10. El método de Combinación de variables . . . . . . . . . . . . . . . . . 83
10.1. Deducción del método de combinación de variables . . . . . . 84
10.2. Aplicación del método de combinación de variables . . . . . . 86
10.2.1. Sistema semi-infinito. Condiciones constantes en uno
de los lı́mites del mismo . . . . . . . . . . . . . . . . 88
10.3. Difusión con flujo másico simultáneo . . . . . . . . . . . . . . 92
Indice. 3
10.3.1. Sistema semi-infinito: Difusión de un sólo compo-

nente en el seno de otro estacionario . . . . . . . . . 93
11. Anexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
11.1. La función de error: definición 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 exámenes . . . . . 126
14. Bibliografı́a Básica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
15. Bibliografı́a Avanzada . . . . . . . . . . . . . . . . . . . . . . . . . . 129
4 Tema 3. Métodos analı́ticos de resolución de EDP. Dominios no acotados.
Tema 3.
Métodos analı́ticos de resolución

de EDP. Dominios no acotados.
La introducción 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 aplicación de las matemáticas a
la fı́sica y a la ingenierı́a, puesto que son, probablemente, las herramientas más
importante para la resolución de problemas de valores iniciales y/o de contorno1 .
Para dominios finitos de forma geométrica simple y cuando el método de separación

de variables es aplicable, las ecuaciones en derivadas parciales se reducen a ecuaciones
diferenciales ordinarias que pueden ser resueltas con los métodos presentados en el
tema 13 del primer curso o con los presentados en el tema 2 de este curso. La solución
general se puede entonces construir por superposición de autofunciones mediante el
cálculo de los coeficientes del desarrollo en series de Fourier del dato inicial. Cuando
el dominio es infinitamente largo es posible posible obtener una reducción análoga
(de EDP a EDO) mediante las técnicas de las transformadas integrales de Fourier
y de Laplace.
En este tema se consideran los métodos de resolución de ecuaciones en derivadas

parciales (EDP) en dominios no acotados. El método de separación 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 periódico y el dominio es
no acotado, entonces no es posible expresar el dato inicial en términos de series
de Fourier trigonométricas (que son necesariamente periódicas). Una manera de re-
solver el problema consiste en considerar las funciones no periódicas en un dominio
infinito como funciones periódicas pero de periodo infinito. Este razonamiento (que
1
Incluimos evidentemente los problemas planteados en dominios infinitos donde, hablando con
rigor, no existe contorno, sino un comportamiento lı́mite prescrito. También nos referimos a las
transformadas finitas de Fourier (que se aplican a dominios acotados) que están recibiendo una
atención y un desarrollo especiales en el campo de la Ingenierı́a Quı́mica (vease por ejemplo el libro
de Deen, [D] sobre fenómenos de transporte).
1. Preliminares 5
desarrollaremos de manera heurı́stica pero que puede ser rigurosamente justificado)

nos llevará a la definición de la integral de Fourier cuya expresión, en términos de
funciones exponenciales complejas, define y caracteriza la transformada de Fourier y
su fórmula de inversión. Tras analizar las principales propiedades de estos operadores
integrales veremos su posible aplicación a la resolución de problemas de valor inicial
en dominios infinitos (transformada exponencial de Fourier) o semiinfinitos (trans-
formadas seno y coseno de Fourier). La transformada de Fourier define e introduce,
como caso particular, la transformada de Laplace, el segundo de los métodos que
presentaremos para la resolución de EDP en dominios no acotados. Veremos que,
en realidad, el campo de aplicación de la transformada de Laplace es mucho más
amplio (aunque siempre restringido a problemas de valor inicial) y analizaremos al-
gunos casos concretos relevantes en el curriculum del ingeniero quı́mico. Finalmente
(y si el tiempo lo consiente) presentaremos un tercer método de resolución de EDP
en dominios no acotados conocido con el nombre de método de combinación de las
variables. Se trata de un método de gran alcance muy conocido y aplicado por los
ingenieros (especialmente de la escuela anglosajona). Su presentación, análisis y apli-
cación proporciona una herramienta de trabajo fundamental para la comprensión
de la literatura existente sobre estos tema y representa el complemento ideal a los
dos métodos antes presentados (la transformada de Fourier y la de Laplace).
1. Preliminares
Ilustaremos aquı́, aunque de manera intuitiva, el importante paso conceptual (o

eslabón) 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 función f que está definida en −∞ < x < ∞ es periódica (y suficientemente

regular), entonces se puede representar por medio de una serie de Fourier:
X∞ ³ ³ nπ ´ ³ nπ ´´
f (x) = an cos x + bn sin x (1)
n=0
L L
siendo
Z L Z L ³ nπ ´
1 1
a0 = f (x)dx, an = f (x) cos x dx
2L −L L −L L
y Z
1 L ³ nπ ´
bn = f (x) sin x dx
L −L L
los coeficientes del desarrollo. Sin embargo, muy a menudo, se trabaja con funciones
2
definidas en −∞ < x < ∞ y que no son periódicas, por ejemplo: f (x) = e−x . Evi-
dentemente no podemos desarrollar tal tipo de funciones (no periódicas) en términos
de series de Fourier (que son periódicas). Intuitivamente lo que se hace en estos casos
consiste en considerar la función (no periódica) como función periódica pero de peri-
odo infinito. Para poder realizar esta extensión del concepto de serie de Fourier a las
funciones no periódicas se pasa al lı́mite en la amplitud L del intervalo (que aparece
en la definición de la serie y, obviamente, en la expresión de los coeficientes del de-
sarrollo formal de Fourier de una función genérica no periódica). 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 más denso
hasta alcanzar un espectro continuo (desde 0 hasta ∞) cuando L → ∞. Podemos
por tanto pensar que, cuando L → ∞, es posible sustituir el sı́mbolo de sumatorio
infinito (en la variable discreta n) por el de integral (en la variable continua w). En
efecto, si f es suficientemente regular es posible demostrar que
Representación integral de Fourier de f
z Z ∞ }| {
f (x) = [a(w) cos(wx) + b(w) sin(wx)] dw (2)
|0 {z }
Integral de Fourier de f
siendo
Z ∞ Z ∞
1 1
a(w) = f (x) cos(wx)dx, b(w) = f (x) sin(wx)dx . (3)
π −∞ π −∞
| {z }
Coeficientes integrales de Fourier
Estos argumentos, muy intuitivos, se pueden hacer rigurosos mediante el teorema
de la integral de Fourier. Antes, recordaremos aquı́ la definición de función continua
a trozos en un intervalo de la recta real (introducida en el tema 2)
Definición 1.1. Diremos que una función f (x) definida en un intervalo I ⊂ IR
es continua a trozos en el intervalo I si tiene, a lo sumo, un número finito de
discontinuidades de salto finito.
Podemos entonces formular el teorema de la integral de Fourier

Teorema 1.1. Sea f definida en −∞ < x < ∞ y sean f y f 0 funciones continuas
a trozos en cada intervalo finito [−L, L] (para L arbitrariamente grande) y sea
Z ∞
|f (x)|dx < ∞
−∞
1. Preliminares 7
Entonces la integral de Fourier de f :

Z ∞
[a(w) cos(wx) + b(w) sin(wx)] dw
0
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.
Demostración: La demostración rigurosa de este resultado va más allá de los

objetivos de este curso.
Resumiendo, hemos obtenido la representación integral de Fourier de funciones no

periódicas definidas en −∞ < x < ∞ tomando el lı́mite en la fórmula de las series
de Fourier cuando el periodo tiende al infinito. Tal y como se hizo con las series
de Fourier, es muy esclarecedor dibujar cómo las integrales parciales (el análogo
de las sumas parciales) van aproximando la función. Nuevamente se observa que
la convergencia es más lenta cerca de los puntos de discontinuidad donde también
aparece el fenómeno de Gibbs (ya analizado en la segunda práctica de laboratorio
de este curso).
En la próxima sección 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 fórmulas (2) (la representación integral
de Fourier) y (3) (los coeficientes integrales de Fourier). Tal y como es posible ex-
presar una serie de Fourier en forma de exponenciales complejas (véase la sección
correspondiente del segundo tema de este mismo curso y también 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 capı́tulo 17, pag. 920 del libro de Greenberg2 ) se llega a la siguiente expresión
alternativa de la representación integral de Fourier de f :
Expresión alternativa de la representación integral de Fourier de f

z Z ∞ ·Z ∞}| ¸ {
1
f (x) = f (ξ)e−iwξ dξ eiwx dw (4)
2π −∞
| −∞ {z }
| Transformada{z de Fourier }
Fórmula de inversión
2
Greenberg, M.D. (1998). Advanced Engineering Mathematics. International Edition.
La expresión alternativa (4) de la integral de Fourier de f (dada en (2)) se puede en

efecto escribir en dos partes
Z ∞
f (x) = a c(w)eiwx dw (5)
| −∞ {z }
Integral de Fourier
y
Z ∞
c(w) = b f (ξ)e−iwξ dξ (6)
| −∞ {z }
Coeficientes integrales de Fourier
siendo a, b tales que ab = 1/(2π). Eligiremos, por popularidad, a = 1/2π, b = 1
(pero veremos más adelante que otras elecciones son igualmente utilizadas). En lugar
de pensar (5) como la integral de Fourier y (6) como los coeficientes integrales de
Fourier es útil pensar las fórmulas (5) y (6) como un par de transformadas: (6) define
la transformada de Fourier c(w) de una función dada
Z ∞
c(w) = f (ξ)e−iwξ dξ (7)
−∞
| {z }
Transformada de Fourier
mientras que (5) se conoce como la fórmula de inversión, ya que si sustituimos (6)
en (5) e integramos volvemos a obtener f (x):
Z ∞
1
f (x) = c(w)eiwx dw (8)
2π −∞
| {z }
Es tı́pico denotar c(w) = fˆ(w) y escribir (6) y (5) en la forma (respectiva)
Z ∞
F [f (x)] = fˆ(w) = f (ξ)e−iwξ dξ (9)
| −∞ {z }
y
Z ∞
ˆ 1
−1
F [f (w)] = f (x) = fˆ(w)eiwx dw (10)
2π −∞
| {z }
La transformada de Fourier y la fórmula de inversión ya no son objetos misteriosos;
juntas constituyen la expresión alternativa de la representación integral de Fourier
1. Preliminares 9
(dada en (4)), expresada en términos de exponenciales complejas. Las fórmulas (9)

y (10)) están bien definidas para funciones f que satisfacen las hipótesis del teorema
de la integral de Fourier (1.1).
Ejemplo 1.1. Sea dada la función f (x) = 1 si x ∈ [−1, 1], f (x) ≡ 0 si x 6∈ [−1, 1].
Calcular la transformada de Fourier de f .
Utilizando (9) se tiene

Z ∞ Z 1
e−iwx 1 sin(w)
fˆ(w) = f (x)e−iwx
dx = e−iwx dx = |−1 = 2
−∞ −1 −iw w
Podrı́amos también mostrar la aplicación de la fórmula de inversión, poniendo

fˆ(w) = sin(w)/w en el integrando de (10), integrando y mostrando que el resul-
tado serı́a exactamente la función original f (x). Sin embargo, la integral obtenida
sustituyendo fˆ(w) en (10) se puede calcular sólo aplicando el teorema de los residuos
(del cálculo integral complejo) que no hemos estudiado3 .
Ejemplo 1.2. Calcular la transformada de Fourier de la función f (x) = e−ax si
x ≥ 0 y f (x) ≡ 0 si x < 0, siendo a > 0.
Utilizando (9) se tiene

Z ∞ Z ∞
ˆ −ax −iwx e−(a+iw)x ∞
f (w) = f (x)e e dx = e−(a+iw)x dx = − | =
−∞ 0 a + iw 0
µ ¶
1 1 1
= − lı́m e−(a+iw)x =
a + iw a + iw x→∞ a + iw
Para explicar el resultado del paso al lı́mite anterior esp suficiente recordar que el
módulo |z| de un número complejo z = x + iy es |z| = x2 + y 2 y que el módulo
del producto es el producto de los módulos (|z1 z2 | = |z1 | · |z2 |), luego (utilizando la
fórmula de Euler)
¯ −(a+iw)x ¯
¯e ¯ = |e−ax e−iwx | = |e−ax | · |e−iwx | = e−ax | cos(wx) − i sin(wx)| =
q
= e−ax cos2 (wx) + sin2 (wx) = e−ax → 0
cuando x → ∞.
Normalmente el cálculo de la transformada de Fourier (y de la inversa) se realiza

utilizando las tablas que aparecen en el anexo al tema y en la mayorı́a 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 bibliogáficas del final de este tema o el programa de cálculo simbólico Maple
(cuyo uso se detalla en las prácticas de laboratorio)
texto de métodos matemáticos para los ingenieros. Una buena, clásica referencia es
el libro de A. Erdérly, 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 cómodo el uso de un programa informático
de cálculo (el Maple por ejemplo).
La transformada de Fourier, al igual que la de Laplace que detallaremos en la sec-

ción 5, es una transformada integral que se utiliza para resolver ecuaciones diferen-
ciales. En la práctica la transformada de Fourier trabaja transformando ecuaciones
diferenciales ordinarias en ecuaciones algebraicas, que son más sencillas de resolver.
Además, si u(x) verifica una ecuación diferencial en derivadas parciales, la función
F [u](x) = û(w) (la transformada de Fourier de u(x)) es solución de una ecuación
diferencial ordinaria. Se calcula û(w) y posteriormente se antitransforma û(w) para
recuperar la solución de la ecuación original.
En el caso de las EDP, al aplicar el método de separación de variables (cuando es
posible) y para dominios finitos con geometrı́a simple la EDP se convierte en una
EDO. La solución general se puede entonces construir por superposición de auto-
funciones. Cuando el dominio es infinito la transformada de Fourier puede alcanzar
la misma reducción. Tras haber resuelto la EDO correspondiente, el proceso (discre-
to) de superposición mediante series (eventualmente) infinitas se representará ahora
mediante integrales impropias y la solución final 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 definidas en todo el intervalo (−∞, ∞) y que no son
periódicas. En efecto, en tal caso no podemos esperar encontrar una serie de Fourier
que represente a dichas funciones en (−∞, ∞), pues la hipótesis de periodicidad
aparece en todos los teoremas de convergencia relativos a las series de Fourier (ver
por ejemplo el cap 11 del libro del Apostol4 ). Estas integrales, que en muchos aspec-
tos son análogas a las series de Fourier, se llaman integrales de Fourier, y el teorema
que da condiciones suficientes para que una función admita una representación por
medio de una de estas integrales, se conoce con el nombre de teorema de la inte-
gral de Fourier (Apostol5 , capı́tulo 11). Los instrumentos básicos utilizados en esta
teorı́a 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). Análisis Matemático. 2 ed. Editorial Reverté.
5
2. La Transformada de Fourier 11
2. La Transformada de Fourier
Muchas de las funciones que aparecen en análisis se pueden expresar por medio de
integrales de Lebesgue o bien por medio de integrales de Riemann impropias de la
forma: Z +∞
F (s) = K(t, s)f (t)dt
−∞
Una función F definida por medio de una ecuación de este tipo (en la que f puede
ser real o compleja) se llama transformada integral de f . La función K que
aparece en el integrando se denomina el núcleo de la transformada. Algunas de las
transformadas integrales más corrientemente utilizadas se conocen con el nombre
de transformada de Laplace, transformada de Fourier, transformada de Hankel y
transformada de Mellin. En este capı́tulo 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 capı́tulo 11 del libro de Apostol6 sobre análisis matemático.
La transformada de Fourier es la transformación

√ integral de la función f (x) en el
−iξx
intervalo (−∞, ∞) con el núcleo K(x, ξ) = (1/ 2π)e :
Definición 2.1. Dada una función u suave a trozos y absolutamente integrable en

(−∞, ∞), llamaremos transformada de Fourier7 de u a la siguiente función:
Z ∞
1
û(ξ) = √ u(x)e−iξx dx (11)
2π −∞
Nótese que la definición se extiende al caso complejo. La transformada de Fourier

definida en (11) se conoce con el nombre de transformada exponencial (de Fourier).
Observación 2.1. Denotaremos, dependiendo del contexto, la transformada de Fouri-

er de una función u(x) en las formas (equivalentes)
U (ξ), û(ξ), F [u(x)], F [u](ξ)
También usaremos distintas variables del tipo ξ, w, α o s para indicar la dependencia

de la función transformada. La notación utilizada se generalizará naturalmente al
trabajar con funciones del tipo u(x, t).
La condición para la integrabilidad absoluta de la función u(x) en todo el eje real

es muy estricta. Por ejemplo, hay funciones elementales como u(x) = 1, u(x) = x3 ,
6
7
A la función F se la conoce también con el nombre de función espectral.
u(x) = cos x, u(x) = ex para las cuales no existe la transformada de Fourier (en la
forma clásica que estamos considerando aquı́). La transformada de Fourier la tienen
sólo aquellas funciones que tienden a cero bastante rápidamente cuando |x| → +∞.
2
Por ejemplo u(x) = e−αx , α > 0, cuya transformada es:
1 2
û(ξ) = √ e−ξ /4α
2π
Otro ejemplo viene dado por la función
½ −αx
e x>0
u(x) = , α>0
0 x<0
Su transformada (o función espectral) se calcula entonces utilizando la fórmula (11)
Z ∞ µ ¶
1 −αx −iξx 1 1
F (ξ) = √ e e dx = √
2π 0 2π α + iξ
Tablas de transformadas de Fourier se encuentran por ejemplo en los libros de Green-

berg8 o Krasnov et al9 . Para comodidad del lector las hemos resumido en el anexo
al final de este capı́tulo.
2.1. La Transformada inversa de Fourier
Utilizando la transformada de Fourier la fórmula de inversión puede ser escrita en

la forma: Z +∞
1
u(x) = √ û(ξ)eiξx dξ (12)
2π −∞
La fórmula 12 es llamada transformación inversa de Fourier y da la conversión
de û(ξ) a u(x). En la literatura (consultar el libro de Mei10 , capı́tulo 7) existen
varias definiciones equivalentes que se pueden resumir en los siguientes pares de
transformada y antitransformada:
Z +∞ Z +∞
1
fˆ(ξ) = f (x)e −iξx
dx, f (x) = fˆ(ξ)eiξx dξ
−∞ 2π −∞
Repartiendo el factor constante entre la transformada y su inversa:
Z +∞ Z +∞
1 1
fˆ(ξ) = √ −iξx
f (x)e dx, f (x) = √ fˆ(ξ)eiξx dξ
2π −∞ 2π −∞
8
9
Krasnov, M., Kiseliov, A., Makarenko, G., Shikin, (1994). E. Curso de matemáticas 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 ξ
Z +∞ Z +∞
1
fˆ(ξ) = iξx
f (x)e dx, f (x) = fˆ(ξ)e−iξx dξ
−∞ 2π −∞
2.2. Transformaciones seno y coseno
Las transformadas seno y coseno de Fourier se utilizan para la resolución de EDP

en dominios semiinfinitos ((0, ∞), por ejemplo). Veamos su obtención.
Aprovechando la fórmula trigonométrica de coseno de la diferencia de dos ángulos
cos[ξ(x − τ )] = cos(ξx − ξτ ) = cos(ξx) cos(ξτ ) + sin(ξx) sin(ξτ )
en la fórmula integral de Fourier (11) se tiene:
Definición 2.2. r Z +∞
2
ûc (ξ) = u(x) cos(ξx)dx
π 0
y se llama transformación coseno de Fourier de la función u(x).
Es posible también comprobar que

r Z +∞
2
u(x) = ûc (ξ) cos(ξx)dξ
π 0
Esto significa que u(x) es, a su vez, transformación coseno para ûc (ξ). De forma
análoga se tiene:
Definición 2.3. r Z +∞
2
ûs (ξ) = u(x) sin(ξx)dx
π 0
y se llama transformación seno de Fourier de la función u(x).
Además r Z +∞
2
u(x) = ûs (ξ) sin(ξx)dξ
π 0
es decir, u y Fs 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 integración es una
operación lineal. Es efecto, se verifica que:
F [αf (x) + βg(x)] = αF [f (x)] + βF [g(x)], ∀ α, β ∈ IR
2. Acotación de la transformada de Fourier.

Si F (ξ) = F [u(x)] = F [u](ξ) es la transformación de Fourier de una función
u(x) absolutamente integrable en todo IR, entonces la función transformada
F (ξ) es acotada para todo ξ ∈ IR.
3. Desplazamiento de una función

Sea F (ξ) = F [u(x)] = F [u](ξ) y a ∈ IR. La función ua (x) = u(x − a) se llama
desplazamiento de la función u(x). Se verifica que:
F [ua ](ξ) = e−iξa F [u](ξ)
4. Fórmula del desplazamiento.

Sea F (ξ) = F [u(x)] = F [u](ξ) y a ∈ IR. Entonces:
F [eiax u(x)] = F (ξ − a)
5. Transformada de una derivada. En las aplicaciones de la transformada

de Fourier a la resolución de las ecuaciones diferenciales, la propiedad funda-
mental es que la transformada de la derivada de una función corresponde a la
multiplicación de la transformada de la función original por el factor iξ. En
efecto, se tiene:
Sea dada una función u = u(x) derivable. Si existe la transformada de u0 (x)

entonces se tiene:
F [u0 (x)](ξ) = iξF [u(x)](ξ) (13)
Condiciones suficientes que aseguran la existencia de esta transformada son,

por ejemplo: u continua en IR, u(x) → 0 cuando |x| → ∞ y u0 absolutamente
integrable en (−∞, ∞). A partir de estas condiciones es fácil ver que
Z +∞
0 1
F [u (x)] = √ u0 (x)e−iξx dx =
2π −∞
· Z +∞ ¸
1
=√ u(x)e−iξx |∞
−∞ − (−iξ) u(x)e −iξx
dx = 0 + iξF [u(x)]
2π −∞
donde hemos integrado por partes y usado el hecho que u(x) → 0. Una apli-
cación de la fórmula (13) al cálculo de las transformadas es como sigue:
Ejemplo 2.1. Calcular la transformada de Fourier de la función u(x) =

2
xe−x .
Utilizando la fórmula (13), la propiedad de linealidad y la tabla de transfor-

2
madas de Fourier que aparece en los anexos para el cálculo de F [e−x ] se tiene
· ¸
−x2 1 −x2 0 1 h 2
i 1 2 1 2
F [xe ] = F − (e ) = − F (e−x )0 = − iξF [e−x ] = − √ iξe−ξ /4
2 2 2 2 2
2 √ 2
puesto que F [e−x ] = (1/ 2)e−ξ /4 .
6. Transformada de derivadas de orden superior. Dos aplicaciones sucesi-

vas de la fórmula (13) nos dan:
00
F [u (x)] = iwF [u0 (x)] = (iw)2 F [u(x)]
Se razona de forma análoga para las derivadas de orden superior. En efecto se

tiene:
Sea dada una función u = u(x) que tiene derivadas suaves absolutamente
integrables de hasta el orden m inclusive, y toda éstas, igual que la misma
función 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 xn u(x) (Derivadas de transformadas).
Bajo hipótesis adecuadas (supondremos que no sólo u sino que también los
productos xn u(x) son funciones absolutamente integrables en IR) se tiene:
d
i F (ξ) = F [xu(x)](ξ),
dξ
y, más en general:
n dn n
i n F [u](ξ) = F [x u(x)](ξ), n = 1, 2, ...m.
dξ
Nótese que cuanto más rápidamente decrezca la función u(x), cuando |x| →
+∞, tanto más suave resultará la función F (ξ).
8. Teorema de Convolución.
Sean las funciones f (t) y φ(t) definidas y continuas para todos los valores de
t. Se llama convolución (f ∗ φ)(t) de estas funciones a una función nueva de
t definida por la igualdad
Z +∞
(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 operación de convolución siempre es posible, además
Z +∞ Z +∞
(f ∗ φ)(t) = f (τ )φ(t − τ )dτ = φ(τ )f (t − τ )dτ = (φ ∗ f )(t)
−∞ −∞
es decir, que la operación de convolución es conmutativa (y lineal).
Teorema 2.1 (de convolución). Si F [f (t)] = F (s) y F [φ(t)] = Φ(s) entonces
F [(f ∗ φ)(t)] = F (s)Φ(s)
El teorema 2.1 se conoce también como el teorema de multiplicación, ya que

la transformada de una convolución de dos funciones viene dada por la multi-
plicación de las transformadas de las funciones.
2.4. La transformada de Fourier multidimensional
La transformada de Fourier se puede también definir en el caso n-dimensional. En

concreto, sea x = (x1 , x2 , ..., xn ) ∈ IRn . Se tiene entonces que
Definición 2.4. Se llama transformación de Fourier de una función absolutamente

integrable u(x1 , x2 , ..., xn ) a la función
Z ∞ Z ∞
1
F (ξ 1 , ξ 2 , ..., ξ n ) = √ ..... u(x)e−i(ξ1 x1 +ξ2 x2 +...ξn xn ) dx1 dx2 ....dxn (15)
( 2π)n −∞ −∞
3. Aplicaciones: dominios no acotados y Transformadas de Fourier 17
3. Aplicaciones: dominios no acotados y Transfor-

madas de Fourier
La técnica de las transformadas de Fourier se aplica en un dominio infinito en la

variable espacial para reducir una EDP en una EDO.
3.1. Difusión unidimensional. Solución general en forma in-

tegral
Se considera el problema de valor inicial y de contorno asociado al proceso de difusión

unidimensional dado por

 ∂u ∂ 2u

 = k 2 , |x| < ∞, t > 0
 ∂t ∂x
 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 coeficiente de difusión, u(x, t) (la incógnita) es la
concentración de una especie quı́mica y f (x) (dato inicial) es la concentración de
la sustancia presente inicialmente. La condición lı́mite en el infinito (u → 0 cuando
|x| → +∞) se interpreta como una condición de decaimiento en el infinito. Se suele
denotar también en la forma (notacionalmente incorrecta pero suficientemente clara)
u(±∞, t) = 0. Supondremos la regularidad suficiente del dato inicial para que las
cuentas que siguen tengan perfecto sentido.
Tenemos, por tanto, un proceso de difusión en un dominio infinito. La técnica ade-

cuada para su tratamiento es la técnica de la transformada exponencial de Fourier.
Para ello, sea U (α, t) la transformada exponencial de Fourier de u(x, t):

Z ∞
U (α, t) = u(x, t)e−iαx dx
| −∞ {z }
Transformada exponencial
siendo
Z ∞
1
u(x, t) = U (α, t)eiαx dα
2π −∞
| {z }
la transformada exponencial inversa de Fourier. Si tomamos transformada en la EDP
∂u ∂ 2u
= k 2, |x| < ∞
∂t ∂x
se tiene (por linealidad)
· ¸ · 2 ¸
∂u ∂ u
F = kF
∂t ∂x2
es decir (utilizando la definición)
Z ∞ Z ∞
∂u −iαx ∂ 2 u −iαx
e dx = k e dx
−∞ ∂t −∞ ∂x2
En la integral izquierda intercambiamos los operadores integral (espacial) con el de

derivación (temporal) para obtener
Z ∞ µZ ∞ ¶
∂u −iαx ∂ −iαx dU
e dx = ue dx =
−∞ ∂t ∂t −∞ dt
donde el abuso de notación en la derivada dU/dt siendo U (α, t) es debido al hecho

que α puede considerarse un parámetro11 . La integral derecha se calcula integrando
por partes dos veces, lo que nos da:
Z ∞ · ¸∞ Z ∞
∂ 2 u −iαx ∂u −iαx ∂u −iαx
2
e dx = e + iα e dx = (iα)2 U = −α2 U
−∞ ∂x ∂x −∞ −∞ ∂x
La EDP se ha transformado en la EDO de primer orden
dU
+ kα2 U = 0
dt
11
Es aquı́ fundamental observar que el resultado anterior se verifica puesto que la transformada
de Fourier se ha tomado con respecto a la variable espacial.
La condición inicial
Necesitamos una condición inicial y la tenemos tomando la transformada del dato

inicial: Z ∞
U (α, 0) = f (x)e−iαx dx = F (α)
| −∞ {z }
Transformada dato inicial
Nos hemos reconducido a resolver el problema de Cauchy

 dU + kα2 U = 0
dt

U (α, 0) = F (α)
dado por una EDO lineal homogénea de primer orden complementada con una
condición (inicial) en t = 0. Se trata por tanto de un problema de valor inicial.
Nótese que esta reducción (de EDP a EDO) ha funcionado pues todos los coeficientes
de la EDP (en este caso la conductividad calorı́fica k) eran independientes de x. La
solución del PVI es inmediata (por separación de variables):
2t
U (α, t) = F (α)e−kα
Transformada inversa
Utilizando la expresión de la transformada inversa obtenemos la fórmula de repre-

sentación de la solución en forma integral (solución integral):
z Z }| {
∞
1 −kα2 t
u(x, t) = F (α)e eiαx dα (16)
2π −∞ | {z }
De forma más explı́cita se tiene
Z ∞ µZ ∞ ¶
1 −iαξ 2
u(x, t) = f (ξ)e dξ eiαx−kα t dα
2π −∞ −∞
es decir (utilizando propiedades bien conocidas de linealidad de los operadores inte-

grales que aparecen en la fórmula anterior)
Z ∞ µZ ∞ ¶
1 iα(x−ξ)−kα2 t
u(x, t) = f (ξ) e dα dξ
2π −∞ −∞
| {z }
representación integral de la solución
Utilizando ahora que cos(A − B) = cos(A) cos(B) + sin(A) sin(B), la paridad de
la función coseno (cos(θ) = cos(−θ)), la imparidad de la función seno (sin(θ) =
− sin(−θ)) ası́ como la simetrı́a del intervalo de integración y la fórmula de expo-
nenciación compleja de Euler12
e±iα(x−ξ) = cos[α(x − ξ)] ± i sin[α(x − ξ)]
se deduce que la solución del problema original es
Z ∞ µZ ∞ ¶
1 −kα2 t
u(x, t) = f (ξ) cos α(x − ξ)e dα dξ
π −∞ 0
Una solución integral se llama también solución en forma cerrada (para diferenciarla
de las soluciones en en forma de series infinitas o de las soluciones numéricas). El
alcance y uso práctico del resultado general anterior se puede entender examinando
unas condiciones iniciales especı́ficas.
3.1.1. La Delta de Dirac: una fuente localizada.
Supongamos que una fuerza externa de gran magnitud actúe sobre un sistema
mecánico durante un lapso muy breve (por ejemplo un rayo golpeando el ala de
un avión). Las siguientes funciones pueden servir de modelo matemático de este
tipo de fuerzas
Definición 3.1. Sean a > 0, t0 > 0. Se define como función impulso unitario a
la función 
 0
 0 ≤ t < t0 − a


δ a (t − t0 ) = 1
 t0 − a ≤ t < t0 + a

 2a

0 t ≥ t0 + a
Z ∞
siendo δ a (t − t0 )dt = 1.
0
Pasando al lı́mite cuando a → 0 se tiene

12
El desarrollo detallado de estas cuentas se puede encontrar en el libro de Greenberg13 capı́tulo
17. Prerequisito fundamental para la comprensión de estos razonamientos es el primer tema del
primer curso dedicado a los números complejos
δ(t − t0 ) = lı́m δ a (t − t0 )
a→0
Observación 3.1. La expresión δ(t − t0 ) (que no es una función14 ) se caracteriza

por su efecto sobre otras funciones y se denomina delta de Dirac. Si f es una
función continua, se tiene
Z ∞
f (t)δ(t − t0 )dt = f (t0 )
0
Observación 3.2. Otra forma de definir la delta de Dirac (no correcta pero acep-
tada) es:
½ Z ∞
∞ t = t0
δ(t − t0 ) = , δ(t − t0 )dt = 1
0 t=6 t0 0
Esta fórmula no es correcta puesto que ninguna función real, f : IR → IR se puede

definir 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.
Supóngase ahora que la concentración inicial de una especia quı́mica está localizada
en el origen:
u(x, 0) = f (x) = δ(x)

La concentración 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
Z ∞
F (α) = δ(x)e−iαx dx = 1
−∞
luego considerando la expresión general de la solución integral dada en (16)
Z ∞
1 2
u(x, t) = F (α)e−kα t eiαx dα
2π −∞
se tiene
Z ∞ Z ∞
1 −kα2 t iαx 1 2
u(x, t) = e e dα = e−kα t cos(αx)dα
2π −∞ π 0
14
Se trata en efecto de una distribución o función generalizada. El marco teórico necesario para
trabajar (con rigor) con la Delta de Dirac ha sido introducido por el matemático francés Laurent
Schwartz.
Observando la expresión de la función exponencial que aparece an la fórmula ante-

rior, introducimos el cambio de variables
z
α= √
kt
Entonces
Z ∞ µ ¶
1 −z 2 xz 1
u(x, t) = √ e cos √ dz = √ I(µ)
π kt 0 kt π kt
siendo
Z ∞
x 2
µ= √ , y I(µ) = e−z cos(µz)dz.
π kt 0
El cálculo 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:
Z ∞ Z
dI −z 2 1 ∞ 2
=− ze sin(µz)dz = sin(µz)d(e−z ) =
dµ 0 2 0
(integrando por partes)
· ¸∞ Z ∞
1 −z2 1 2 1
= e sin(µz) − µ e−z cos(µz)dz = − µI
2 0 2 0 2
Hemos obtenido la ecuación diferencial de primer orden para la integral I(µ) que
aparece en la expresión de la solución
dI 1
= − µI
dµ 2
que se complementa con la condición inicial
Z ∞ √ √
−z 2 π π
I(0) = e dz = erf(∞) =
0 2 2
donde se ha utilizado el hecho de que (véase el anexo al final del tema donde se
introducen las definiciones y propiedades de la función 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 1

 + µI = 0
dµ 2
√

 π
 I(0) =
2
cuya solución I(µ) es (por separación de variables)
√
− µ4
2
π − µ2
I(µ) = I(0)e = e 4
2
1
pero u = √ I(µ) luego la solución del problema de valor inicial y de contorno es
π kt
Z
1 ∞ −kα2 t 1 x2
u(x, t) = e cos(αx)dα = √ e− 4kt
π 0 2 πkt
donde la primera igualdad corresponde a la fórmula integral de la solución calcu-
lada para el dato inicial representado por la Delta de Dirac y la segunda igualdad
corresponde a su cálculo explı́cito. Nótese que en cualquier instante, la distribución
espacial de u es gaussiana. La√altura del pico (máximo) de u disminuye√ de manera
inversamente proporcional a kt mientras su amplitud crece con kt. Este com-
portamiento es tı́pico de los fenómenos de difusión. El análisis de este problema
ası́ como su estudio gráfico se puede encontrar en la tercera práctica de laboratorio
que acompaña el desarrollo de este tema.
Si la fuente u(x, 0) = δ(x) estuviera en x = ξ 6= 0 entonces la solución se puede

escribir en la forma
Z
1 ∞ −kα2 t 1 (x−ξ)2
u(x − ξ, t) = e cos α(x − ξ)dα = √ e− 4kt
π 0 2 πkt
Para un dato inicial cualquiera f (x) la temperatura en cualquier instante es:
Z ∞
1 (x−ξ)2
u(x, t) = √ f (ξ)e− 4kt dξ (17)
4πkt −∞
3.1.2. La función de Heaviside. Temperatura inicial discontinua
En primer lugar introducimos la definición de la función de Heaviside, H(x). Se trata

de una función muy importante de la fı́sica-matemática cuyo tratamiento riguroso
se introducirá en la sección 5.3.1. Se tiene que
½
. 0 x≤0
H(x) =
1 x>0
Consideraremos ahora como dato inicial una temperatura discontinua del tipo f (x) =
f0 H(x), siendo H(x) la función de Heaviside y f0 una constante. Utilizando la fórmu-
la general (17) tenemos la solución de la EDP para un dato inicial genérico:
Z ∞
1 (x−ξ)2
u(x, t) = √ f (ξ)e− 4kt dξ
4πkt −∞
luego particularizando a nuestro caso se tiene
Z ∞ Z ∞
1 −
(x−ξ)2 f0 (x−ξ)2
u(x, t) = √ f0 H(ξ)e 4kt dξ = √ e− 4kt dξ
4πkt −∞ 4πkt 0
Sea ζ = x − ξ. Entonces
Z −∞
f0 ζ2
u(x, t) = − √ e− 4kt dζ
4πkt x
Definimos
ζ
η=√
4kt
La solución se escribe ahora:
Z √ "Z Z √ #
x/ 4kt 0 x/ 4kt
f0 −η 2 f0 −η 2 −η 2
u(x, t) = √ e dη = √ e dη + e dη
π −∞ π −∞ 0
es decir
· µ ¶¸
f0 x
u(x, t) = 1 + erf √
2 4kt
siendo
Z z
. 2 2
erf(z) = √ e−η dη
π 0
la función de error. Examinando la gráfica de la solución obtenida se tiene que

cuando el tiempo crece la discontinuidad inicial (prescrita al poner f (x) = f0 H(x))
se
√ va suavizando mientras la amplitud de la zona de transicción se expande como
kt.
3.2. Dominios semiinfinitos
En problemas fı́sicos definidos en dominios semiinfinitos la transformada exponen-

cial de Fourier es inadecuada y es útil introducir los conceptos de transformada
seno y coseno de Fourier. Ambas transformadas son útiles para trabajar en domin-
ios semiinfinitos (por ejemplo (0, ∞)) pero cual de las dos utilizar depende de las
condiciones de contorno en x = 0. Ilustraremos esta cuestión considerando un prob-
lema de difusión unidimensional. Nótese que en este caso también serı́a posible (en
principio) utilizar el método 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́ definida en 0 < x < ∞ y se extiende a

una función impar en todo el eje real, entonces
Z ∞
f (ξ) cos(αξ)dξ = 0
−∞
y el teorema integral de Fourier se escribe en la forma
Z ∞ µZ ∞ ¶
2
f (x) = f (ξ) sin(αξ)dξ sin(αx)dα
π 0 0
| {z }
Transformada seno de Fourier
Si definimos
Z ∞
fˆs (α) = f (x) sin(αx)dx
0
| {z }
Transformada seno de Fourier
como la transformada seno de Fourier (denotada mediante el subı́ndice s) en-
tonces el teorema integral de Fourier nos da la expresión
Z
2 ∞
f (x) = Fs (α) sin(αx)dα
π 0
| {z }
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́ definida en 0 < x < ∞ y se extiende a una
función par en todo el eje real, entonces el teorema integral de Fourier se escribe en
la forma
z Z µZ }| ¶ {
∞ ∞
2
f (x) = f (ξ) cos(αξ)dξ cos(αx)dα
π 0 0
| {z }
transformada coseno
Si definimos
Z ∞
fˆc (α) = f (x) cos(αx)dx
0
como la transformada coseno de Fourier (denotada mediante el subı́ndice c)
entonces el teorema integral de Fourier nos da la expresión
Z
2 ∞ ˆ
f (x) = fc (α) cos(αx)dα
π 0
| {z }
fórmula de inversión
de la transformada coseno inversa de la transformada coseno de Fourier.
3.2.3. Difusión en un dominio semiinfinito. Flujo de calor prescrito en

el extremo izquierdo. Transformada de cosenos de Fourier.
Se considera el proceso de conducción del calor en una varilla semiinfinita (0, ∞).

 ∂u ∂ 2u

 = k , 0 < x < ∞, t > 0
 ∂t ∂x2
 u → 0, x → ∞, t > 0,



u(x, 0) = h(x), 0 < x < ∞, t = 0
complementado con la condición de contorno
∂u
(0, t) = f (t), x=0
∂x
que representa un flujo de calor transitorio (nótese la dependencia en f = f (t))
en x = 0 mediante una condición de tipo Neumann no homogénea en el extremo
izquierdo. Puesto que no hay contorno se prescribe un comportamiento lı́mite de
decaimiento en el infinito. La función h(x) es el dato inicial.
Sea Uc (α, t) la transformada coseno de Fourier de u(x, t):

Z ∞
Uc (α, t) = u(x, t) cos(αx)dα
0
| {z }
Transformada coseno
siendo
z
Z }| {
2 ∞
u(x, t) = Uc (α) cos(αx)dα
π 0
| {z }
transformada coseno inversa
la transformada coseno inversa de Fourier.
Si tomamos la transformada de cosenos de Fourier en la EDP

∂u ∂ 2u
= k 2, 0<x<∞
∂t ∂x
se tiene
Z ∞ Z ∞
∂u ∂ 2u
cos(αx)dx = k cos(αx)dx
0 ∂t 0 ∂x2
En la integral izquierda intercambiamos los operadores integral (espacial) con el de
derivación (temporal) para obtener
Z ∞ µZ ∞ ¶
∂u ∂ dUc
cos(αx)dx = u cos(αx)dx =
0 ∂t ∂t 0 dt
Nuevamente se observa que α puede considerarse un parámetro luego el (aparente)
abuso de notación en la derivada dUc /dt siendo Uc (α, t). La integral derecha se
desarrolla integrando por partes
Z ∞ · ¸∞ Z ∞
∂2u ∂u ∂u
cos(αx)dx = cos(αx) + α sin(αx)dx =
0 ∂x2 ∂x 0 0 ∂x
Z ∞
∂u
= − (0, t) + [αu sin(αx)]∞
0 −α
2
u(x, t) cos(αx)dα
∂x 0
donde el último término integral es la transformada de cosenos Uc (α, t). Se deduce

por tanto
Z ∞
∂ 2u ∂u
2
cos(αx)dx = − (0, t) + [αu sin(αx)]∞ 2
0 − α Uc (α, t)
0 ∂x ∂x
Nótese 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 (condición lı́mite de
decaimiento en el infinito) y sin(0) = 0. Aplicando la condición de contorno para la

derivada primera en el extremo izquierdo la EDP se ha transformado en la EDO de
primer orden, lineal y no homogénea
dUc ∂u
+ kα2 Uc = −k (0, t) = −f (t)
dt ∂x
La condición inicial
El valor inicial Uc (α, 0) se determina transformando la condición inicial

Z ∞
.
Uc (α, 0) = Hc (α) = h(x) cos(αx)dx
0
Nos hemos reconducido a resolver el problema de Cauchy

 dUc + kα2 Uc = −kf (t)
dt

Uc (α, 0) = Hc (α)
La solución del PVI se obtiene con el método del factor integrante escribiendo la
EDO en la forma:
2t
³ 2t
´0
e−kα Uc ekα = −kf (t)
e integrando directamente en (0, t):
Z t
−kα2 t 2 (t−τ )
Uc (α, t) = Hc (α)e −k f (τ )e−kα dτ
0
Transformada inversa
Utilizando la expresión de la transformada inversa de cosenos obtenemos la fórmula

de representación de la solución en forma integral (solución integral):
Z ∞ Z ∞ µZ t ¶
2 −kα2 t 2k −kα2 (t−τ )
u(x, t) = Hc (α) cos(αx)e dα− cos(αx) f (τ )e dτ dα =
π 0 π 0 0
Z ∞ µZ ∞ ¶
2 −kα2 t
= h(ξ) cos(αξ) cos(αx)e dα dξ+
π 0 0
Z t µZ ∞ ¶
2 −kα2 (t−τ )
−k f (τ ) cos(αx)e dα dτ (18)
π 0 0
La primera integral respresenta los efectos en la distribución de temperaturas debidos

al dato inicial:
Z µZ ∞ ¶
2 ∞ −kα2 t
h(ξ) cos(αξ) cos(αx)e dα dξ
π 0 0
| {z }
Efecto del dato inicial
la segunda integral representa los efectos debidos el término de contorno:
Z µZ ∞ ¶
2 t −kα2 (t−τ )
k f (τ ) cos(αx)e dα dτ
π 0 0
| {z }
Efecto del dato de contorno
Unas cuentas en poco más delicadas (véase el libro de Mei, pag 156) permiten obtener
la fórmula integral de la solución en la forma:
Z ∞
r Z t
h(|ξ|) − 4k(t−τ
x2 k f (τ ) − 4k(t−τ
x2
u(x, t) = √ e ) dξ − √ e ) dτ .
−∞ 4πkt π 0 t−τ
Veamos ahora que hubiese ocurrido si hubiéramos elegido una transformada de senos.
Integrando por partes
Z ∞ · ¸∞ Z ∞
∂ 2u ∂u ∂u
sin(αx) 2 dx = sin(αx) −α cos(αx) dx =
0 ∂x ∂x 0 0 ∂x
· ¸∞ Z ∞
∂u
= sin(αx) − αu cos(αx)|∞
0 −α 2
sin(αx)udx
∂x 0 0
En el primer término la condición de flujo en la frontera x = 0 es inútil (en el sentido

de que no influye puesto que sin(0) = 0) mientras en el segundo término u(0, t) es
todavı́a desconocido. Claramente la transformada seno es inadecuada.
3.2.4. Difusión en un dominio semiinfinito. Temperatura prescrita en el

extremo izquierdo. Transformada de senos de Fourier.
Supóngase 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 homogénea)
dUs
+ kα2 Us = kαg(t), t > 0
dt
complementada con la condición inicial
Z ∞
Us (α, 0) = Hs (α) = h(x) sin(αx)dx
0
La solución Us (α, t) (transformada seno de la solución original u(x, t)) se puede

encontrar con el método del factor integrante. Tras ello, tomamos la transformada
de senos inversa para obtener:
Z ∞ Z ∞ µZ t ¶
2 −kα2 t 2k −kα2 (t−τ )
u(x, t) = Hs (α) sin(αx)e dα + g(τ )e dτ sin(αx)dα
π 0 π 0 0
La primera integral respresenta los efectos en la distribución de temperaturas de-

bidos al dato inicial; la segunda integral representa los efectos debidos el término de
contorno.
Se considera en detalle el caso h = Hs = 0. Entonces

Z µZ t ¶
2k ∞ −kα2 (t−τ )
u(x, t) = g(τ )e dτ sin(αx)dα
π 0 0
Unas cuentas un poco más avanzadas (véase el libro de Mei, pag 157) permiten
obtener la fórmula integral de la solución en la forma:
Z tµ ¶ ·Z ∞ ¸
2k ∂ −kα2 (t−τ )
u(x, t) = − cos(αx)e dα g(τ )dτ
π 0 ∂x 0
es decir
Z t µ ¶" 2
#
∂ e−x /4k(t−τ )
u(x, t) = 2k g(τ ) − p dτ
0 ∂x 4πk(t − τ )
luego
Z t
x g(τ ) 2
u(x, t) = √ 3/2
e−x /4k(t−τ ) dτ
4πk 0 (t − τ )
En particular si g(t) = U0 (es decir, si g(t) es constante) entonces
Z t −x2 /4k(t−τ )
U0 x e
u(x, t) = √ dτ
4πk 0 (t − τ )3/2
Nótese que, todavı́a tenemos una expresión poco clara de la solución. Sin embargo,
el cambio de variables
x ∂η x
η=p , = √ ,
4k(t − τ ) ∂τ 4 k(t − τ )3/2
finalmente implica
Z ∞ Z
U0 xdτ −kα2 (t−τ ) 2U0 ∞ 2
u(x, t) = √ √ e = √ √
e−η dη =
0 π 2 k(t − τ )3/2 π x/2 kt
Ã Z x/√4kt ! · µ ¶¸ µ ¶
2 −η 2 x x
= U0 1 − √ e dη = U0 1 − erf √ = U0 erfc √
π 0 4kt 4kt
donde erf(z) es la función de error y erfc(z) es la función de error complementaria
(cuya definición y propiedades se encuentran resumidas en los anexos).
3.2.5. Difusión en un dominio semiinfinito. Extremo izquierdo parcial-

mente aislado.
Si la condición de contorno es del tipo mixto y transitoria

∂u
− βu = f (t), x = 0, ∀t > 0
∂x
entonces no hay una clara ventaja en utilizar una u otra de las transformadas.
Escribimos la condición anterior como
∂u
(0, t) = f (t) + βu(0, t), ∀t > 0
∂x
y aplicamos (formalmente) la transformada de cosenos. A partir de (18) la solución
formal es
Z µZ ∞ ¶
2 t −kα2 (t−τ )
u(x, t) = −k [f (τ ) + βu(0, τ )] cos(αx)e dα dτ . (19)
π 0 0
En el extremo x = 0 se debe tener
Z t µZ ∞ ¶
2 −kα2 (t−τ )
u(0, t) = −k [f (τ ) + βu(0, τ )] e dα dτ .
π 0 0
lo que representa una ecuación integral para u(0, t). Sea

p
z = α k(t − τ )
entonces Z r
∞
2 1 −z 2 2 1
p e dz = p
π k(t − τ ) 0 π k(t − τ )
y podemos escribir
r Z t
r Z t
2k u(0, τ ) 2k f (τ )
u(0, t) = β p dτ + p dτ
π 0 (t − τ ) π 0 (t − τ )
15
Esta es una ecuación integral del tipo de Volterra (y del segundo tipo) que, en
principio, se puede resolver con la transformada de Laplace. Una vez obtenida la
expresión de u(0, t) a partir de la ecuación integral, la solución 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 reformulación de

la integral de Fourier que es el caso lı́mite de las series de Fourier de una función
periódica (cuando el periodo tiende al infinito). En el segundo tema vimos que las
series de Fourier aparecen como el desarrollo en serie de la solución en términos
de autofunciones que se originan en un problema de Sturm-Liouville (periódico).
En principio, la transformada de Laplace y su fórmula de inversión no parecen
relacionadas con estos métodos de Fourier. Sin embargo, veremos en esta sección
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
Z ∞ ·Z ∞ ¸
1 −iwτ
u(t) = u(τ )e dτ eiwt dw, −∞ < t < ∞ (20)
2π −∞ −∞
donde hemos utilizado t (el tiempo) en lugar de x (el espacio) para indicar el tı́pico
caso de aplicación de la transformada de Laplace. Nótese que la transformada de
Laplace está definida sólo 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 consideración 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 además f de orden exponencial. Entonces se puede demostrar que la

función u satisface la condición de absoluta integrabilidad en IR que aparece en las
hipótesis del teorema (1.1). En términos de la función de Heaviside podemos escribir
(20) en la forma
Z ∞ ·Z ∞ ¸
−γt 1 −γτ −iwτ
H(t)e f (t) = e f (τ )e dτ eiwt dw, −∞ < t < ∞ (21)
2π −∞ 0
Multiplicando por e−γt se tiene
Z ∞ ·Z ∞ ¸
1 −(γ+iw)τ
H(t)f (t) = e f (τ )dτ e(γ+iw)t dw, −∞ < t < ∞ (22)
2π −∞ 0
Introduciendo el nuevo parámetro s (en lugar de w) y en la forma (dictada por (22))

s = γ + iw se tiene
Z γ+i∞ ·Z ∞ ¸
1 −sτ
H(t)f (t) = f (τ )dτ e est ds, −∞ < t < ∞ (23)
2πi γ−i∞
| 0 {z }
Transformada de Laplace
Z γ+i∞
donde el sı́mbolo denota la integración a lo largo de una recta vertical en
γ−i∞
el plano complejo. Si definimos la transformada de Laplace (tal y como aparece
indicado en (23)) como
Z ∞
L[f (t)] = F (s) = e−st f (t)dt (24)
0
(hemos cambiado la variable muda de τ a t) entonces (23) nos da la fórmula de

inversión
Z γ+i∞
−1 1
L [F (s)] = H(t)f (t) = F (s)est ds (25)
2πi γ−i∞
Resumiendo hemos utilizado la expresión de la integral de Fourier en términos de

exponenciales complejas para deducir la transformada de Laplace y la fórmula de
inversión.
5. La Transformada de Laplace
La mayorı́a de los problemas fı́sico-quı́micos consisten en resolver una ecuación di-

ferencial (que modeliza el sistema considerado), obtener su solución general y luego
una solución particular mediante la aplicación de condiciones de contorno o condi-
ciones iniciales a la solución general obtenida. Ejemplos de modelos matemáticos
lineales de un sistema fı́sico son el de una masa y un resorte o de un circuito eléctri-
co en serie.
En este tema estudiaremos un método de resolución 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 coeficientes constantes16 :
la Transformada de Laplace. Además esta técnica será aplicable (bajo hipótesis
adecuadas) tanto a ecuaciones diferenciales ordinarias como en derivadas parciales
y puede ser también usada para resolver ciertas ecuaciones integrales o integro dife-
renciales (véase el libro de Zill17 , capı́tulo 7, ejemplo 7).
Una de las figuras principales del método es que puede ser aplicado a ecuaciones
tales que el término derecho (que tı́picamente suele representar una fuerza externa
al sistema) puede ser una función discontinua18 .
Introduciremos la definición de la transformada de Laplace mediante el concepto

de transformada integral. Si f (t) es una función definida para t ≥ 0, entonces la
integral impropia
Z ∞
K(s, t)f (t)dt
0
se define como un lı́mite:
Z ∞ Z b
.
K(s, t)f (t)dt = lı́m K(s, t)f (t)dt
0 b→∞ 0
Si existe el lı́mite, se dice que la integral existe o que es convergente; si no existe

el lı́mite, la integral no existe y se dice que es divergente. En general, el lı́mite
anterior existe sólo para ciertos valores de la variable s. Si elegimos como núcleo de
16
En realidad es posible aplicar el método de la transformada de Laplace a EDO lineales con
coeficientes 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 términos del método de la trans-
formada de Laplace será considerado más adelante, al introducir el concepto de función continua
a trozos en un intervalo infinito.
5. La Transformada de Laplace 35
la transformada integral la función
K(s, t) = e−st
entonces tenemos la transformada de Laplace. En concreto

Definición 5.1. Sea f (t) una función definida para todo t ≥ 0. Entonces se define
su transformada de Laplace como la función:
Z ∞
. .
L[f (t)] = F (s) = f (t)e−st dt (26)
0
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 notación general emplearemos letras minúsculas para representar la función

a transformar y la mayúscula 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 notación 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 análisis del problema del cálculo práctico de la transformada inversa de Laplace
será considerado en la sección 6.
Tal y como se afirma en la definición (26), la expresión de la transformada de Laplace

existe (está bien definida) si la integral impropia es convergente. El dominio de
definición 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 definición (26) se tiene que

Z ∞ Z b
−st e−st b −e−sb + 1 1
L[1] = e (1)dt = lı́m e−st dt = lı́m − |0 = lı́m =
0 b→∞ 0 b→∞ s b→∞ s s
siempre que s > 0 pues de lo contrario (s < 0)
−e−sb + 1
lı́m →∞
b→∞ s
y la integral es divergente. Si s = 0 entonces se tiene

Z ∞
dt → +∞
0
luego la transformada de Laplace de la unidad es

1
L[1] = F (s) = , ∀s > 0
s
A pesar de que la transformada de Laplace pueda existir para algunos valores de s

y no existir para otros valores de s, también 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 definición de la transformada.
Un criterio que nos proporciona condiciones suficientes para la existencia de la trans-

formada de Laplace de una función f (t) se puede enunciar a partir de las siguientes
definiciones (que atañen a la regularidad y al crecimiento de la función a transfor-
mar):
Definición 5.2. Una función f (t) es continua a trozos en [0, ∞) si, en cualquier
intervalo 0 ≤ a ≤ t ≤ b hay, a lo sumo, una cantidad finita de puntos tk , k = 1, 2...n,
(tk−1 < tk ) en los cuales f tiene discontinuidades finitas y es continua en todo
intervalo abierto tk−1 < t < tk .
La definición (5.2) caracteriza las funciones continuas a trozos19 como las funciones
que tienen un número finito de discontinuidades finitas (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 según Riemann de la función
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 definición de la transformada de Laplace requiere
que haya integrabilidad hasta el infinito luego la condición no es, evidentemente, su-
ficiente para garantizar la existencia de la transformada. Hace falta alguna hipótesis
más restrictiva sobre el comportamiento de la función f (t) a transformar. En con-
creto tenemos que analizar el crecimiento de la función en el infinito.
Para ello se compara el crecimiento de la función que queremos transformar con algún
crecimiento lı́mite que garantize la existencia de la transformada. Concretamente
Definición 5.3. Se dice que una función f (t) es de orden exponencial c si existen
constantes c, M > 0 y T > 0 tales que |f (t)| ≤ M ect para todo t > T .
19
Nótese que la definición de función continua a trozos (pero en un intervalo acotado) ya ha sido
introducida en el tema 2 al trabajar con las series de Fourier.
La definición (5.3) introduce una clase especial de funciones, las de orden exponen-
cial, cuya tasa de crecimiento (combinada con la propiedad de regularidad definida
en (5.2)) es la adecuada para implicar la convergencia de la integral que define 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| ≤ et , |e−t | ≤ et , |2 cos(t)| ≤ et
2
si t > 0. La función f (t) = et no es de orden exponencial porque su gráfica crece
más rápido que cualquier potencia lineal positiva de base exponencial e en t > c > 0.
Otra forma de interpretar la definición consiste en considerar una función 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 señaló anteriormente, la combinación de la regularidad de la función

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 función continua a trozos en el intervalo [0, ∞) y de
orden exponencial c para t > T , entonces L[f (t)] existe para s > c.
La demostración de este resultado es simple y pone de manifiesto la importancia de

las hipótesis del teorema.
Si f (t) es continua a trozos en [0, b) entonces existe

Z b
f (t)e−st dt.
0
es decir la función f (t) es integrable según 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)| ≤ M ect , ∀ t ≥ T . Multiplicando por el núcleo de la transformada,
K(t, s) = e−st ,
e integrando en [0, ∞) se tiene
Z ∞ Z ∞ Z ∞
. −st −st
L[f (t)] = f (t)e dt ≤ |f (t)|e dt ≤ M e(c−s)t dt
0 0 0
Por integración directa es fácil ver que

Z ∞
1
e(c−s)t dt = < ∞, ∀s > c
0 c−s
luego L[f (t)] < ∞ lo que demuestra la existencia de la transformada de Laplace
para f (t).
Nótese que las condiciones anteriores son suficientes pero no necesarias para la exis-
tencia de la transformada de Laplace como se comprueba considerando la función
f (t) = t−1/2 (que no es continua por trozos en [0, ∞)) y aplicando la definición 5.1.
Otra condición suficiente muy utilizada en análisis es la siguiente: si f verifica
Z ∞
|f (t)|dt < ∞,
0
entonces la integral que aparece en (26) está bien definida para todo s > 0. Re-
cuérdese (tema 2) que lo anterior equivale a afirmar que f ∈ L1 (0, ∞) (es decir que
f es una función absolutamente integrable en el sentido de Lebesgue en el intervalo
(0, ∞)).
Según señala el teorema siguiente, no toda función arbitraria de s es una transfor-

mada de Laplace de una función continua a trozos y de orden exponencial. Una
condición (necesaria pero no suficiente) para detectar rápidamente si una función
F (s) puede ser considerada la transformada de una función función continua a trozos
y de orden exponencial se enuncia a continuación.
Teorema 5.2. Sea f (t) una función 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:
lı́m F (s) = 0
s→∞
De acuerdo con el teorema podemos decir que F (s) = 1 y F (s) = s/(s + 1) no son
transformadas de Laplace de una función continua a trozos y de orden exponencial.
Condiciones suficientes (pero no necesarias para que una función F (s) sea la trans-
formada de Laplace de una función continua a trozos y de orden exponencial) se
establecen en el siguiente teorema:
Teorema 5.3. Sea dada una función F (s). Si
lı́m F (s) = 0, lı́m sF (s) < M
s→∞ s→∞
entonces F (s) es la transformada de alguna función f (t) que es, al menos, continua
a trozos en algún intervalo 0 ≤ t ≤ τ y es, además, de orden exponencial.
Nótese que, cuando se conoce la transformada F (s) y se quiere conocer el valor

inicial de una función f (t) es posible utilizar el siguiente resultado:
lı́m sF (s) = f (0)

s→∞
siempre que f (t) y f 0 (t) sean, al menos, continuas a trozos y de orden exponencial.
Las condiciones suficientes que aparecen en el teorema (5.3) no son necesarias. Por
ejemplo
F (s) = s−3/2
es la transformada de r
t
2
π
(lo justificaremos más adelante). Además
lı́m F (s) = lı́m s−3/2 = 0

s→∞ s→∞
lo que es condición necesaria para la existencia de la transformada según vimos en

el teorema (5.2). Sin embargo
lı́m sF (s) = lı́m s−1/2 → ∞

s→∞ s→∞
luego no se verifican las dos hipótesis del teorema (5.3) y, a pesar de ello, la función
dada es la transformada de una f (t) continua y de orden exponencial.
5.1. Transformadas de funciones elementales
A partir de la definición de la transformada de Laplace 5.1 y utilizando las fórmulas

básicas de integración del cálculo (reglas de integración elemental y fórmula de
integración por partes) es posible calcular la transformada de Laplace de algunas
funciones elementales, del tipo f (t) = tα , α > −1, f (t) = keat , k ∈ IR o f (t) =
sin(bt), b ∈ IR.
Ejemplo 5.2. Sea f (t) = t. Calcular L[t].
Utilizando la definición (26), integrando por partes y recordando que
lı́m te−st = 0, ∀s > 0

t→∞
se tiene que
Z ∞ Z b Z ∞
−st −st te−st b 1 1 1
L[t] = te dt = lı́m te dt = lı́m − | + e−st dt = L[1] = 2
0 b→∞ 0 b→∞ s 0 s 0 s s
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 definición (26) se tiene que
Z ∞ Z ∞
−3t −st −3t e−(s+3)t ∞ 1
L[e ]= e e dt = e−(s+3)t dt = − |0 = , s > −3
0 0 s+3 s+3
Ejemplo 5.4. Sea f (t) = sin(2t). Calcular L[f (t)].
De acuerdo con la definición (26) e integrando por partes, tenemos
Z ∞ Z ∞
−st e−st sin(2t) ∞ 2
L[sin(2t)] = e sin(2t)dt = − |0 + e−st cos(2t)dt
0 s s 0
es decir,
Z
2 ∞ −st
L[sin(2t)] = e cos(2t)dt, s>0
s 0
Integrando nuevamente por partes y utilizando el hecho que
lı́m e−st cos(2t) = 0, s>0
t→∞
se tiene que
Z ∞ · −st Z ¸
2 −st 2 e cos(2t) ∞ 2 ∞ −st
L[sin(2t)] = e cos(2t)dt = − |0 − e sin(2t)dt
s 0 s s s 0
Observando que
Z ∞
.
L[sin(2t)] = e−st sin(2t)dt
0
lo anterior se puede escribir como sigue
µ −st ¶
2 e cos(2t) ∞ 2 2 4
L[sin(2t)] = − |0 − L[sin(2t)] = 2 − 2 L[sin(2t)]
s s s s s
y se deduce que (despejando la función transformada L[sin(2t)])
2
L[sin(2t)] = , s>0
s2 +4
Ejemplo 5.5. Sea f (t) = te−2t . Calcular L[f (t)].
Aplicando la definición (26) e integrando por partes se tiene

Z ∞ Z ∞ Z ∞
−2t −st −2t −(s+2)t te−(s+2)t ∞ 1
L[te ] = e (te )dt = te dt = − |0 + e−(s+2)t dt
0 0 s + 2 s + 2 0
es decir
e−(s+2)t ∞ 1
L[te−2t ] = − 2
|0 = , s > −2
(s + 2) (s + 2)2
Ejemplo 5.6. Sea f (t) = t2 e−2t . Calcular L[f (t)].
Aplicando la definición (26)

Z ∞ Z ∞
2 −2t −st 2 −2t
L[t e ]= e (t e )dt = t2 e−(s+2)t dt
0 0
integrando por partes
Z ∞ Z ∞
2 −2t t2 e−(s+2)t ∞ 2 −(s+2)t 2
L[t e ]=− |0 + te dt = e−st (te−2t )dt, s > −2
s+2 s+2 0 s+2 0
Utilizando el resultado del ejemplo 5.5 se deduce
1 1
L[t2 e−2t ] = 2
L[te−2t ] = , s > −2
(s + 2) (s + 2)3
Veamos ahora un ejemplo de transformada de una función definida a trozos

Ejemplo 5.7. Sea dada la función
(
0 0≤t<3
f (t) =
2 t≥3
Calcular L[f (t)].

La función f (t) es continua a trozos. Puesto que f (t) está definida en dos partes,
expresamos L[f (t)] como la suma de dos integrales
Z ∞ Z 3 Z ∞
−st −st 2e−st ∞ 2e−3s
L[f (t)] = e f (t)dt = e (0)dt+ e−st (2)dt = − | = , s>0
0 0 3 s 3 s
El siguiente teorema nos dará una generalización de algunos de los ejemplos ante-
riores. De aquı́ en adelante no escribiremos las restricciones en s; se sobreentiende
que s tiene las restricciones suficientes para garantizar la convergencia de la trans-
formada de Laplace correspondiente
Teorema 5.4. Las transformadas de algunas funciones básicas (constantes, poli-

nomios, exponenciales, trigonométricas e hiperbólicas) son:
1.
1
L[1] =
s
2.
Γ(α + 1) n!
L[tα ] = , α > −1, L[tn ] = , n = 1, 2, 3
sα+1 sn+1
3.
1
L[eat ] =
s−a
4.
k
L[sin(kt)] =
s2 + k 2
5.
s
L[cos(kt)] =
s2 + k2
6.
k
L[sinh(kt)] =
s2 − k2
7.
s
L[cosh(kt)] =
s2 − k2
Nótese que en la segunda transformada básica se ha utilizado la función Γ (intro-

ducida en el tema anterior) y el hecho que, cuando α = n (es decir cuando α es un
número entero positivo) se tiene Γ(n + 1) = n!. Por tanto la primera fórmula es más
general y permite calcular, por ejemplo:
Z ∞
r
−1/2 Γ(1/2)
−1/2 −st π
L[t ]= t e dt = √ =
0 s s
√
donde se ha utilizado el resultado Γ(1/2) = π (que se puede encontrar tabulado en
varios textos, utilizando Maple o utilizando la definición de la función integral Beta
expresada en términos de funciones trigonométricas para el cálculo de la función
Gamma).
Para la mayorı́a de las funciones conocidas (constantes, exponenciales, polinómicas,

trigonométricas) existen tablas de transformadas (véanse los libros de Acero20 , Rice
y Do21 Krasnov22 o Zill23 por ejemplo) que nos evitan efectuar la integración que
aparece en la definición (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 apéndice D del libro de Rice and Do24 . Por ejemplo:
· √ ¸ µ ¶ " √ # µ ¶
−2k t
sin(2k t) k e 1 2 k
L = erf √ , L √ = √ ek /s erfc √
πt s πt s s
y también
" 2 2
#
e−t /4k 2 s2
L √ = ek erfc (ks) , k > 0.
k π
Otra transformada muy importante (que utilizaremos en la sección dedicada a las

aplicaciones del método de la transformada de Laplace a la resolución de EDP) es
· µ ¶¸
α 1 √
L erfc √ = e−α s , α≥0 (27)
2 t s
20
Acero, I., López, M., (1997). Ecuaciones diferenciales. Teorı́a y problemas. Ed.: Tébar 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 matemáticas superiores
para ingenieros. Vol 2. Ed. Mir.
23
son Editores. 6 ed.
24
Las funciones anteriores se conocen con el nombre de función de error (erf) y función
de error complementaria (erfc). Una descripción de las mismas se puede encontrar
en el anexo dedicado a las funciones integrales que se encuentra al final de este
capı́tulo.
Una vez calculadas las transformadas de algunas funciones básicas, el cálculo de

las transformadas de funciones más complicadas se suele simplificar 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
función f (t) utilizando la definición. Por ejemplo, el proceso de integración por partes
que se usa para evaluar la transformada de funciones del tipo f (t) = et t2 sin(3t) es
muy largo. En esta sección presentaremos varios teoremas que ahorran trabajo y
permiten obtener la transformada de Laplace, sin necesidad de acudir a la definición.
Presentaremos estos resultados en forma de propiedades. La demostración de la
mayorı́a de ellos es inmediata utilizando la definición.
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 α, β números 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
1 2 −7s2 + 12
L[3t − 5 sin(2t)] = 3L[t] − 5L[sin(2t)] = 3 − 5 = , s>0
s2 s2 + 4 s2 (s2 + 4)
Ejemplo 5.9. Sea f (t) = sin2 (t). Calcular L[f (t)].
Si utilizamos la identidad trigonométrica del ángulo mitad

1
sin2 (t) = [1 − cos(2t)]
2
y aplicamos la propiedad de linealidad obtenemos
· ¸
2 1
L[sin (t)] = L [1 − cos(2t)] =
2
1 11 1 s 2
(L[1] − L[cos(2t)]) = − 2 = 2
2 2s 2s +4 s(s + 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 ecuación diferencial
00
necesitaremos evaluar cantidades como L[f 0 (t)], L[f (t)], ... Formalizamos es-
tos conceptos introduciendo el siguiente teorema:
Teorema 5.5. Sea dada una función f = f (t) derivable. Si existe la transfor-
mada de f 0 (t) entonces se tiene:
L[f 0 (t)] = sL[f (t)] − f (0) = sF (s) − f (0) (28)
La fórmula de cálculo de la transformada de una derivada, (28), es extremada-

mente importante en las aplicaciones a la resolución de EDO de primer orden.
Ejemplo 5.10. Determinar la transformada de la función f (t) que satisface
la EDO de primer orden, no homogénea
f 0 (t) − f (t) = 1,
sujeta a la condición inicial f (0) = 0.
Se trata de resolver un PVI asociado a una EDO de primer orden. Para ello
utilizamos la fórmula (28) para obtener
1
sF (s) − f (0) − F (s) = , ∀s > 0
s
Aplicando la condición inicial f (0) = 0 y factorizando el término izquierdo se
deduce
1
F (s) = , ∀s > 0
s(s − 1)
Todavı́a 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 cálculo de la transformada inversa
de Laplace de una función racional (lo que es bastante sencillo como veremos
más adelante)
De momento, podemos ver una aplicación práctica de la fórmula (28) si recono-

cemos que la función a transformar es la derivada de alguna función conocida.
Ejemplo 5.11. Calcular la transformada de Laplace L[kt cos(kt) + sin(kt)]
Para ello es suficiente observar que
d
f 0 (t) = kt cos(kt) + sin(kt) = [t sin(kt)]
dt
luego f (t) = t sin(kt); por tanto f (0) = 0 y aplicando el teorema (5.5) (para
el cálculo de la transformada de una derivada) se tiene
· ¸
d
L[kt cos(kt) + sin(kt)] = L [t sin(kt)] = sL[t sin(kt)]
dt
Calculando, mediante la definición y una aplicación de la fórmula de inte-

gración por partes la transformada L[t sin(kt)] se tiene
2ks
L[t sin(kt)] =
(s2 + k 2 )2
luego
2ks 2ks2
L[kt cos(kt) + sin(kt)] = sL[t sin(kt)] = s =
(s2 + k 2 )2 (s2 + k 2 )2
Más adelante veremos una manera mucho más económica de calcular la trans-
formada anterior.
La demostración del teorema (5.5) es inmediata. Utilizando la definición e

integrando por partes se tiene
Z ∞ Z ∞
0 −st 0 −st
L[f (t)] = e f (t)dt = e f (t)|∞
0 +s e−st f (t)dt = −f (0) + sL[f (t)]
0 0
luego
L[f 0 (t)] = −f (0) + sL[f (t)] = sF (s) − f (0)
Nótese que en la obtención del resultado anterior hemos supuesto que e−st f (t) →
0 cuando t → ∞.
Tales razonamientos se pueden extender, bajo adecuadas hipótesis de regula-

ridad y crecimiento, para obtener fórmulas generales de transformación de las
derivadas de orden superior de una función, lo que permitirá resolver ecua-
ciones diferenciales ordinarias de orden superior
3. Transformada de derivadas de orden superior.

Sea dada una función f = f (t) suficientemente regular para que exista la
transformada de Laplace de su derivada n-ésima. Entonces se tiene:
L[f (n (t)] = sn F (s) − sn−1 f (0) − sn−2 f 0 (0) − ....... − f (n−1 (0)
En particular
00
L[f (t)] = s2 F (s) − sf (0) − f 0 (0)
4. Fórmula del desplazamiento. Se trata de una fórmula muy cómoda pues

hace fácil calcular transformadas del tipo L[e4t cos(6t)] siempre y cuando conoz-
camos L[cos(6t)] (lo que es equivalente a conocer la transformada de la función
básica cos(6t)). En efecto, si conocemos L[f (t)] = F (s), podemos hallar la
transformada de Laplace L[eat f (t)] sin más que trasladar, o desplazar, F (s)
a F (s − a). Esta propiedad se conoce con el nombre de primer teorema de
traslación (se puede encontrar en el libro de Zill25 , capı́tulo 7, pag 312). En
concreto, se tiene que
Teorema 5.6. Sea F (s) = L[f (t)] y a ∈ IR. Entonces se verifica que:
L[eat f (t)] = F (s − a)
Nótese que el resultado anterior se suele expresar también en la forma equiva-

lente
L[e−at f (t)] = F (s + a)
Los siguientes ejemplos muestran la aplicación del teorema al caso de trasla-

ciones de funciones polinómicas y trigonométricas
Ejemplo 5.12. Calcular la transformada L[e5t t3 ].

25
son Editores. 6 ed.
Puesto que
3!
L[t3 ] =
s4
aplicamos el teorema (5.6) para obtener
3! 6
L[e5t t3 ] = L[t3 ]|s→s−5 = 4
|s→s−5 = .
s (s − 5)4
Ejemplo 5.13. Calcular la transformada L[e−2t cos(4t)].
Utilizando la fórmula de la transformada de la función básica f (t) = cos(4t)

se tiene
s
L[cos(4t)] = 2
s + 16
luego si aplicamos el teorema (5.6) se deduce
s s+2
L[e−2t cos(4t)] = L[cos(4t)]|s→s+2 = |s→s+2 = .
s2 + 16 (s + 2)2 + 16
Nótese finalmente que existe una forma inversa del primer teorema de traslación.
La presentaremos tras haber introducido la definición 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 diferenciación e integración,
entonces
Z ∞ Z ∞ Z ∞
d d −st ∂ £ −st ¤
F (s) = e f (t)dt = e f (t) dt = − e−st tf (t)dt = L[tf (t)]
ds ds 0 0 ∂s 0
Hemos demostrado el teorema de la derivada de una transformada:
Teorema 5.7. Sea L[f (t)] = F (s). Entonces se tiene que
d d
L[tf (t)] = − L[f (t)] = − F (s)
ds ds
Ejemplo 5.14. Calcular L[te3t ]
Identificando f (t) = e3t y utilizando una fórmula básica conocida, se tiene

µ ¶
3t d 3t d 1 1
L[te ] = − L[e ] = − =
ds ds s − 3 (s − 3)2
En este ejemplo concreto hubiéramos podido también utilizar el primer teore-

ma de traslación
L[eat f (t)] = F (s − a)
identificando a = 3 y f (t) = t.
En el siguiente ejemplo se utilizan, de forma combinada, el primer teorema de

traslación 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 aplicación del teorema de la transfor-

mada de una derivada mientras que el factor e−t indica un desplazamiento de
la transformada:
µ ¶
−t d d d s+1
L[te cos(t)] = − L[e−t cos(t)] = − L[cos(t)]s→s+1 = −
ds ds ds (s + 1)2 + 1
luego
(s + 1)2 − 1
L[te−t cos(t)] =
[(s + 1)2 + 1]2
6. Derivadas de orden superior de una transformada El razonamiento
anterior se puede generalizar para obtener las fórmulas de las transformadas
de productos del tipo tn f (t) (derivadas de transformadas)
Teorema 5.8. Si L[f (t)] = F (s) entonces se tiene:

dn F
L[tn f (t)] = (−1)n F (n (s) = (−1)n (29)
dsn
Ejemplo 5.16. Calcular L[t2 sin(kt)].
Aplicando el teorema (5.8) con n = 2, esta transformada se puede escribir

como sigue:
d2
L[t2 sin(kt)] =L[sin(kt)]
ds2
y efectuando las dos derivaciones, tenemos el resultado
6ks2 − 2k 3
L[t2 sin(kt)] =
(s2 + k 2 )3
Nótese que la transformada del producto de funciones no es el producto de

las transformadas. En efecto, el producto de transformadas está relacionado
con la operación de convolución que introducimos a continuación.
7. Transformada de una convolución. En primer lugar definimos la opera-

ción de convolución (introducida en la octava propiedad de la transformada
de Fourier, apartado 2.3) entre dos funciones suficientemente regulares en el
siguiente sentido
Definición 5.4. Sean las funciones f (t) y φ(t) definidas y continuas a trozos
en [0, ∞). Se llama convolución (f ∗ φ)(t) de estas funciones a la función de
t definida por la igualdad
Z t
(f ∗ φ)(t) = f (τ )φ(t − τ )dτ (30)
0
(si esta integral existe).

Ejemplo 5.17. Calcular la convolución de las funciones f (t) = et y g(t) =
sin(t), es decir, f (t) ∗ g(t).
Aplicando la definición se tiene
Z t
t . 1
f (t) ∗ g(t) = e ∗ sin(t) = eτ sin(t − τ )dτ = (− sin(t) − cos(t) + et )
0 2
donde la integral se ha calculado mediante cambio de variable y aplicación
repetida de la fórmula de integración por partes (se dejan los detalles al lector).
La operación de convolución es conmutativa (y lineal):

Z t Z t
(f ∗ φ)(t) = f (τ )φ(t − τ )dτ = φ(τ )f (t − τ )dτ = (φ ∗ f )(t)
0 0
Para funciones f (t) y φ(t) tales que existe la transformada de Laplace la ope-
ración de convolución siempre es posible, además se tiene el siguiente teorema
de multiplicación (o teorema de la convolución)
Teorema 5.9. Si L[f (t)] = F (s) y L[φ(t)] = Φ(s) entonces la transformada
de la convolución es el producto de las transformadas; es decir
L[(f ∗ φ)(t)] = F (s)Φ(s)

El teorema (5.9) permite calcular la transformada de una convolución sin re-

currir a un largo proceso de integración. En efecto:
Ejemplo 5.18. Calcular L[f (t) ∗ g(t)] siendo f (t) = et y g(t) = sin(t).
Utilizando la definición de la operación de convolución se tiene

·Z t ¸
t τ
L[f (t) ∗ g(t)] = L[e ∗ sin(t)] = L e sin(t − τ )dτ
0
Aplicando el teorema de multiplicación se deduce
·Z t ¸ µ ¶µ ¶
τ t 1 1 1
L e sin(t − τ )dτ = L[e ]L[sin(t)] = 2
=
0 s−1 s +1 (s − 1)(s2 + 1)
También en este caso existe una forma inversa del teorema de multiplicación
que utilizaremos en la sección dedicada a la transformada inversa de Laplace.
8. Transformada de una integral. Una fácil aplicación del teorema de la con-
volución implica el siguiente resultado:
Teorema 5.10. Sea F (s) = L[f (t)] y sea g(t) la función integral de la función
f (t), es decir: Z t
g(t) = f (t)dt
0
Entonces (utilizando el hecho que g(0) = 0 puesto que g(t) es la función integral
de f (t)) se tiene que
·Z t ¸
1 F (s)
L f (t)dt = L[f (t)] =
0 s s
La demostración de este resultado se puede obtener mediante integración por

partes. Más directamente, se puede utilizar el teorema de la convolución iden-
tificando las funciones g(t) = 1 y L[g(t)] = G(s) = 1/s y deducir
·Z t ¸
F (s)
L f (t)dt = F (s)G(s) = (31)
0 s
9. Transformada de una función periódica. Sea dada una función f (t)

periódica de periodo T , es decir f (t + T ) = f (t). Podemos entonces determi-
nar la transformada de Laplace de una función periódica integrando sobre
el periodo. En concreto se tiene
Teorema 5.11. Sea f (t) una función continua a trozos en [0, ∞), de orden
exponencial y periódica con periodo T . Entonces se tiene
Z T
1
L[f (t)] = e−st f (t)dt (32)
1 − e−sT 0
La demostración de este resultado se obtiene expresando la transformada de

Laplace como la suma de dos integrales:
Z T Z ∞
−st
L[f (t)] = e f (t)dt + e−st f (t)dt
0 T
La última integral se calcula introduciendo la nueva variable independiente
u = t − T . Se tiene t = u + T y se deduce
Z ∞ Z ∞ Z ∞
−st −s(u+T ) −sT
e f (t)dt = e f (u+T )du = e e−su f (u)du = e−sT L[f (t)]
T 0 0
luego
Z T
L[f (t)] = e−st f (t)dt + e−sT L[f (t)].
0
Al despejar L[f (t)] se tiene la ecuación (32) y el teorema (5.11) está demostra-
do.
Ejemplo 5.19. Sea dada la función definida en el intervalo [0, 2) por
½
t 0≤t<1
f (t) =
0 1≤t<2
y fuera del intervalo mediante f (t + 2) = f (t). Calcular la transformada de

Laplace de f (t).
La función f (t) es periódica de periodo T = 2. Aplicando la ecuación (32) se

tiene que
Z 2 ·Z 1 Z 2 ¸
1 −st 1 −st −st
L[f (t)] = e f (t)dt = e tdt + e (0)dt
1 − e−2s 0 1 − e−2s 0 1
es decir
Z 1
1
L[f (t)] = e−st tdt
1 − e−2s 0
Integrando por partes se deduce
Z 1 · −s ¸
1 −st 1 e 1 − e−s 1 − (s + 1)e−s
L[f (t)] = e tdt = − + =
1 − e−2s 0 1 − e−2s s s2 s2 (1 − e−2s )
5.3. Transformada de funciones continuas a trozos
Las funciones continuas a trozos representan una herramienta particularmente útil

en el modelado de un sistema fı́sico-quı́mico. Se suelen describir en términos de
funciones especiales (o funciones de distribución elementales26 ) que introduciremos
a continuación.
En ingenierı́a se presentan con mucha frecuencia funciones que pueden estar en-
cendidas o apagadas. Por ejemplo, una fuerza externa que actúa sobre un sistema
mecánico o un voltaje aplicado a un circuito se pueden apartar después de un cierto
tiempo. El cierre, repentino, de una válvula en un conducto en el cual se inyecta
un soluto en la corriente de un lı́quido (tal y como se hace en cromatografı́a) marca
también el comienzo de un fenómeno fı́sico de transporte: el flujo (difusivo y convec-
tivo) del soluto. Otra propiedad muy importante, de cara a la modelización, radica
en que las funciones de distribución elementales (la función escalón y la función de
impulso que veremos más adelante) se pueden retrasar o desplazar en el tiempo.
Todo ello muestra que es conveniente definir una función especial, llamada función
escalón 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 función escalón unitario
Puesto que las funciones continuas a trozos se caracterizan por tener un número finito
de saltos acotados la siguiente definición es particularmente útil para su tratamiento
Definición 5.5. A la función U definida por
½
0 0≤t<a
U (t − a) =
1 t≥a
se le llama función escalón unitario.
Más en general la función anterior se define por U (t − a) = 0 para todo t < a, pero
al estudiar la transformada de Laplace sólo nos interesa su comportamiento para
26
Véase el libro de Rice y Do, capı́tulo 9, sección 9.9.4)
t ≥ 0. En el caso a = 0 se tiene la función de Heaviside H(t) que desempeña un

papel muy importante en la teorı́a que vamos a desarrollar. La función de Heaviside
se define por
½
. 0 t≤0
H(t) =
1 t>0
Es imposible que un sistema fı́sico tenga exactamente el mismo comportamiento de
onda cuadrada representado por la función de Heaviside, sin embargo, representa
una muy buena aproximación de la realidad cuando el proceso es mucho más lento
que la acción del cierre de una válvula o de la remoción de un tabique en un tanque
cilı́ndrico (por ejemplo). La transformada de H(t) es idéntica a la de una constante
Z ∞
1
L[H(t)] = e−st (1)dt =
0 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 función salta más tarde, en el tiempo t = τ
en lugar que en el tiempo t = 0) la función de Heaviside obtenemos nuevamente
la función escalón unitaria y la integral que la define (es decir su transformada) se
puede calcular en dos partes
Z τ Z ∞
−st e−τ s
L[U (t − τ )] = e (0)dt + e−st (1)dt = (33)
0 τ s
La función escalón unitario se puede usar para expresar funciones definidas a trozos
en forma compacta; por ejemplo, la función
( (
g(t) 0 ≤ t < a 0 0≤t<a
f (t) = = g(t) +
h(t) t ≥ a −g(t) + h(t) t ≥ a
equivale a
f (t) = g(t) − U (t − a)g(t) + h(t)U (t − a)
Nótese que, utilizando la definición de función escalón la expresión anterior define
la función f (t) mediante tres componentes: la primera, g(t) es la componente básica
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 función E(t)

(
20t 0 ≤ t < 5
E(t) =
0 t≥5
que representa el voltaje de un circuito. Expresar E(t) en términos de funciones
escalón unitario.
Si ponemos E(t) = f (t) y utilizamos las fórmulas generales, con g(t) = 20t, h(t) = 0
se deduce que
(
0 0≤t<5
E(t) = 20t + = 20t − 20tU (t − 5)
−20t t ≥ 5
siendo U (t − 5) la función escalón (o función de Heaviside desplazada).
De igual forma, una función del tipo



 0 0≤t<a

f (t) = 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 útil para el cálculo 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 traslación:
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 demostración de este teorema es sencilla, puesto que

Z ∞
.
L[f (t − a)U (t − a)] = e−st f (t − a)U (t − a)dt
0
escribimos el término derecho como una suma de integrales
Z ∞ Z a Z ∞
−st −st
e f (t − a)U (t − a)dt = e f (t − a)U (t − a)dt + e−st f (t − a)U (t − a)dt
0 0 a
Utilizando la definición de la función escalón la primera integral vale cero y se tiene
Z ∞
L[f (t − a)U (t − a)] = e−st f (t − a)dt
a
Introduciendo una nueva variable ν = t − a se tiene dν = dt. Por tanto
Z ∞ Z ∞
−s(ν+a) −as
L[f (t − a)U (t − a)] = e f (ν)dν = e e−sν f (ν)dν = e−as L[f (t)]
0 0
y el teorema está completamente demostrado.

Ejemplo 5.21. Calcular L[(t − 2)3 U (t − 2)]
Si identificamos a = 2 y aplicamos el segundo teorema de traslación (5.12) se tiene
3! 6
L[(t − 2)3 U (t − 2)] = e−2s L[t3 ] = e−2s 4
= 4 e−2s
s s
Forma alternativa del segundo teorema de traslación
Existe una forma alternativa del teorema (5.12) que permite calcular la transformada
de una función g(t) multiplicada por una función escalón 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 sólo truncadas (y no de-
splazadas) y se interpreta diciendo que la transformada de una función truncada
coincide con la transformada de la función desplazada multiplicada por un factor
exponencialmente pequeño. La demostración de este teorema sigue exactamente las
mismas lı́neas de la demostración del teorema (5.12). Nuevamente, a partir de la
definición se tiene
Z ∞
.
L[g(t)U (t − a)] = e−st g(t)U (t − a)dt.
0
Escribimos el término derecho como una suma de integrales
Z ∞ Z a Z ∞
−st −st
e g(t)U (t − a)dt = e g(t)U (t − a)dt + e−st g(t)U (t − a)dt
0 0 a
Utilizando la definición de la función escalón se tiene
Z ∞
L[g(t)U (t − a)] = e−st g(t)dt
a
Introduciendo una nueva variable ν = t − a se tiene dν = dt. Por tanto
Z ∞ Z ∞
−s(ν+a) −as
L[g(t)U (t − a)] = e g(ν + a)dν = e e−sν g(ν)dν = e−as L[g(t + a)]
0 0
y el teorema está completamente demostrado.

Ejemplo 5.22. Calcular L[sin(t)U (t − 2π)]
Si identificamos 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 función sin(t) tiene periodo 2π. Aplicando la forma alternativa del
segundo teorema de traslación, (5.13), se tiene por tanto
e−2πs
L[sin(t)U (t − 2π)] = e−2πs L[sin(t + 2π)] = e−2πs L[sin(t)] =
s2 + 1
Con frecuencia se desea hallar la transformada de Laplace sólo de la función escalón

unitario. Esto se puede hacer a partir de la definición 5.5 o bien de la propiedad an-
terior. Si identificamos f (t) = 1 en el segundo teorema de traslación (5.12), entonces
f (t − a) = 1, F (s) = L[1] = 1/s y ası́:
e−as
L[U (t − a)] =
s
Existe una forma inversa del segundo teorema de traslación que enunciaremos tras
haber introducido la definición de transformada inversa de Laplace.
5.3.2. Transformada de la Delta de Dirac
Utilizando la hipótesis formal

L[δ(t − t0 )] = lı́m L[δ a (t − t0 )]
a→0
se tiene la siguiente transformada de Laplace de la función Delta de Dirac:

L[δ(t − t0 )] = e−st0 , t0 > 0
6. Transformada inversa de Laplace
Nos planteamos ahora el problema siguiente: dada una función F (s) hallar, si existe,
una función f (t) cuya transformada de Laplace es F (s). De forma natural este
problema define 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:
Definición 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 básica del teorema (5.4)) se tiene:
Teorema 6.1. Las transformadas inversas de algunas funciones básicas son:
1. · ¸
1 −1 1
L[1] = =⇒ L =1
s s
2.
· ¸
n n! −1 n!
L[t ] = , n = 1, 2, 3 =⇒ L = tn , n = 1, 2, 3
sn+1 sn+1
3. · ¸
at 1 −1 1
L[e ] = =⇒ L = eat
s−a s−a
4. · ¸
k −1 k
L[sin(kt)] = 2 =⇒ L = sin(kt)
s + k2 s2 + k 2
5. · ¸
s −1 s
L[cos(kt)] = 2 =⇒ L = cos(kt)
s + k2 s2 + k 2
6. · ¸
k −1 k
L[sinh(kt)] = 2 =⇒ L = sinh(kt)
s − k2 s2 − k 2
7. · ¸
s −1 s
L[cosh(kt)] = 2 =⇒ L = cosh(kt)
s − k2 s2 − k 2
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 aplicación del teorema (6.1) junto con la propiedad de linealidad (34) se muestra
a continuación
· ¸
−1 1
Ejemplo 6.1. Calcular L .
s5
Para ello se usa la segunda fórmula básica con n = 4:

· ¸
4 4! −1 4!
L[t ] = 5 , =⇒ L = t4
s s5
y se deduce (utilizando la linealidad del operador L−1 )
· ¸ · ¸
−1 1 1 −1 4! 1
L 5
= L 5
= t4
s 4! s 24
A pesar del teorema (6.1) y de la propiedad de linealidad (34), el problema de la

determinación de la transformada inversa de Laplace de una función dada no es
(siempre) sencillo de resolver27 , y la teorı́a matemática necesaria para su resolución
se basa sobre conceptos de análisis complejo que exceden los objetivos del curso. En
efecto existe una fórmula de inversión de la transformada de Fourier28 (aplicable, por
tanto, a la transformada de Laplace) que reconduce el cálculo de f (t) a la teorı́a de
los residuos de Cauchy
Z ∞ Z σ0 +iw
−st 1
F (s) = e f (t)dt =⇒ f (t) = lı́m est F (s)ds
0 2πi w→∞ σ0 −iw
Sin embargo, en muchos casos, es posible calcular f (t) a partir de su transformada

F (s) aplicando un método algebraico (el método de las fracciones simples).
Recuérdese que no todas las funciones F (s) tienen transformada inversa de Laplace.
Además, cuando existe, la transformada inversa de Laplace no es única. En efecto,
27
Esto ocurre, muy a menudo, en el proceso de resolución de EDP parabólicas mediante método
de la transformada (temporal) de Laplace. En tales casos, la dificultad mayor consiste precisamente
en la determinación explı́cita o en el cálculo numérico de la tranformada inversa de Laplace.
28
Se le conoce con el nombre del teorema de Inversión de Mellin-Fourier (o fórmula de Mellin).
Se puede encontrar en el libro de Rice, capı́tulo 9 y también en Krasnov et al.
si consideramos dos funciones g(t) y h(t) que difieren sólo en una función n(t) tal
que
Z t
n(x)dx = 0, ∀t > 0
0
puede comprobarse (utilizando la definición (26)) que ambas funciones tienen la

misma transformada.
6.1. Cálculo de las transformadas inversas de Laplace
A continuación se expone un método de cálculo de transformadas inversas de

Laplace de funciones F (s) racionales de la forma:
P (s)
F (s) = (35)
Q(s)
donde P (s) y Q(s) son polinomios. Se le conoce en la literatura como el método de

las fracciones simples (o método de las fracciones simples). Las fracciones simples
desempeñan un papel muy importante en la determinación de las transformadas
inversas de Laplace proporcionando una fácil herramienta de cálculo práctico de las
mismas.
Para introducir se considera un simple caso particular (de división término a térmi-
no)
· ¸
−1 3s + 5
Ejemplo 6.2. Calcular L
s2 + 7
La función dada (que es de la forma racional (35) para las elecciones P (s) = 3s + 5
y Q(s) = s2 + 7 se puede expresar en dos partes (o dos fracciones simples), con un
común denominador
3s + 5 3s 5
2
= 2 + 2
s +7 s +7 s +7
Utilizando la propiedad de linealidad del operador L−1 y las fórmulas básicas 4 y 5
del teorema (6.1) se tiene
· ¸ · ¸ · ¸
−1 3s + 5 −1 s −1 1 √ 5 √
L = 3L + 5L = 3 cos( 7t) + √ sin( 7t)
s2 + 7 s2 + 7 s2 + 7 7
Generalizando el proceso de descomposición de una función racional evidenciado en

el ejemplo anterior, se tiene que la aplicación del método de las fracciones simples
consiste en los siguientes pasos:
Método de las fracciones simples
1. Descomponer la fracción F (s) en fracciones simples. Para ello
a) Encontrar las raı́ces del denominador Q(s). Denotando α a una de sus

raı́ces reales de multiplicidad r, y a ± ib a una de sus raı́ces complejas y
su conjugada se tiene:
Q(s) = (s − α)r ...[(s − a)2 + b2 ]..
b) Escribir F (s) como:
P (s) A1 Ar Bs + C
= + .... + + .... +
Q(s) s−α (s − α)r (s − a)2 + b2
c) Determinar los coeficientes Ai ,...., 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:
Ar Bs + c
,
(s − α)r (s − α)2 + b2
Se tienen las siguientes fórmulas de cálculo de transformadas inversas

· ¸
−1 Ar Ar
L r
= eαx xr−1 ,
(s − α) (r − 1)!
· ¸ · ¸
−1 Bs + c αx Ba + C αx
L = Be cos bx + e sin bx
(s − α)2 + b2 b
Observación 6.1. El método de las fracciones simples se puede generalizar sin

dificultad al caso de raı́ces reales y complejas múltiples. Tal descomposición se puede
encontrar en el anexo al guión del curso de primero dedicado a las fórmulas básicas
de cálculo. Sin embargo, en tales casos el cálculo de las transformadas inversas puede
no ser directo y se aconseja el uso de algún programa de cálculo simbólico (Maple
por ejemplo).
Unos simples ejemplos aclararán los pasos delineados:

Ejemplo 6.3. Calcular
· ¸
−1 1
L
(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 (además son únicas) tales que
1 A B C
= + +
(s − 1)(s + 2)(s + 4) s−1 s+2 s+4
luego
1 A(s + 2)(s + 4) + B(s − 1)(s + 4) + C(s − 1)(s + 2)

=
(s − 1)(s + 2)(s + 4) (s − 1)(s + 2)(s + 4)
Puesto que los denominadores son idénticos, los numeradores deben ser idénticos:
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 raı́ces (o ceros) del denominador),

obtenemos
1 1 1
A=
, B=− , C=
15 6 10
Por consiguiente podemos escribir
1 1/15 1/6 1/10

= − +
(s − 1)(s + 2)(s + 4) s−1 s+2 s+4
Aplicando la propiedad de linealidad
· ¸ · ¸ · ¸ · ¸
−1 1 1 −1 1 1 −1 1 1 −1 1
L = L − L + L
(s − 1)(s + 2)(s + 4) 15 (s − 1) 6 (s + 2) 10 (s + 4)
y la tercera fórmula básica del teorema (6.1) se tiene

· ¸
−1 1 1 1 1
L = et − e−2t + e−4t
(s − 1)(s + 2)(s + 4) 15 6 10
Ejemplo 6.4. Calcular · ¸

−1 s+1
L
s2 (s + 2)3
Considerando que el denominador Q(s) = s2 (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 A B C D E
= + 2+ + +
s2 (s + 2) 3 s s s + 2 (s + 2) 2 (s + 2)3
luego
s + 1 = As(s + 2)3 + B(s + 2)3 + Cs2 (s + 2)2 + Ds2 (s + 2) + Es2

y se deduce (aplicando el principio de identidad de los polinómios)
1 1 1 1
A=− , B= , C= D = 0, E=−
16 8 16 4
Por consiguiente, aplicando la fórmula que se deduce invirtiendo el operador de
Laplace en el ejemplo (5.6):
· ¸
−1 2
L 3
= t2 e−2t
(s + 2)
las primeras tres fórmulas básicas del teorema (6.1) y la propiedad de linealidad del
operador L−1 , se tiene
· ¸ · ¸ · ¸ · ¸ · ¸
−1 s+1 1 −1 1 1 −1 1 1 −1 1 1 −1 2
L =− L + L + L − L
s2 (s + 2)3 16 s 8 s2 16 (s + 2) 8 (s + 2)3
luego
· ¸
−1 s+1 1 1 1 1
L 2 3
= − + t + e−2t − t2 e−2t
s (s + 2) 16 8 16 8
Introduciremos ahora otras herramientas de cálculo 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 traslación

Teorema 6.2. Sea f (t) = L−1 [F (s)]. Entonces se verifica que:
L−1 [F (s − a)] = L−1 [F (s)|s→s−a ] = eat f (t)
Ejemplo 6.5. Calcular · ¸

−1 s
L 2
s + 6s + 11)
Si el denominador Q(s) = s2 +6s+11 tuviera factores reales, emplearı́amos fracciones

parciales; pero como este término cuadrático no se factoriza en IR, completamos su
cuadrado, es decir
· ¸ · ¸ · ¸
−1 s −1 s −1 s+3−3
L =L =L
s2 + 6s + 11 (s + 3)2 + 2 (s + 3)2 + 2
Si dividimos término a término se tiene
· ¸ · ¸
−1 s −1 s+3 3
L =L −
s2 + 6s + 11 (s + 3)2 + 2 (s + 3)2 + 2
Aplicando la propiedad de linealidad
· ¸ · ¸ · ¸
−1 s −1 s+3 −1 1
L =L − 3L
s2 + 6s + 11 (s + 3)2 + 2 (s + 3)2 + 2
Observando atentamente la fórmula obtenida se deduce que hay un mismo desplaza-
miento en las transformadas inversas del término derecho: s → s + 3. Aplicando la
forma inversa del primer teorema de traslación se tiene
· ¸ · ¸ " √ #
−1 s −1 s 3 −1 2
L =L |s→s+3 − √ L |s→s+3
s2 + 6s + 11 s2 + 2 2 s2 + 2)
luego (utilizando conocidas fórmulas básicas)
· ¸
−1 s −3t
√ 3 −3t √
L = e cos( 2t) − √ e sin( 2t)
s2 + 6s + 11 2
Pasaremos ahora a la forma inversa del segundo teorema de traslación.

Teorema 6.3. Sea f (t) = L−1 [F (s)] y a > 0. Entonces la forma inversa del segundo
teorema de traslación (5.12) es
L−1 [e−as F (s)] = f (t − a)U (t − a)

Ejemplo 6.6. Calcular

· ¸
−1 e−πs/2
L
s2 + 9
Es suficiente identificar a = π/2 y

· ¸
−1 1 1
f (t) = L = sin(3t)
s2 + 9 3
en las hipótesis del teorema (6.3). Se tiene por tanto

· ¸ · ¸ ³
−1 e−πs/2 1 −1 3 π´
L = L U t −
s2 + 9 3 s2 + 9 t→t−π/2 2
luego
· ¸ h ³
−1 e−πs/2 1 π ´i ³ π´
L = sin 3 t − U t −
s2 + 9 3 2 2
Utilizando la identidad trigonométrica
h ³ π ´i
sin 3 t − = cos(3t)
2
se deduce
· ¸ ³
−1 e−πs/2 1 π´
L = cos(3t)U t −
s2 + 9 3 2
Consideraremos ahora la forma inversa del teorema de la convolución:
Teorema 6.4. Sea f (t) y g(t) funciones tales que la operación de convolución f (t) ∗
g(t) está bien definida, 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 operación de convolución como la transformada in-

versa de un producto de transformadas conocidas permitiendo ası́ su utilización para
el cálculo de transformadas inversas
· ¸
1
Ejemplo 6.7. Calcular L .
(s − 1)(s + 4)
Por supuesto en este ejemplo podrı́amos emplear el método de las fracciones simples
pero si identificamos
1 1
F (s) = , G(s) =
s−1 s+4
entonces deducimos las funciones f (t) y g(t)
L−1 [F (s)] = f (t) = et , L−1 [G(s)] = g(t) = e−4t

y aplicando la operación de convolución se tiene
Z t Z t Z t
τ −4(t−τ ) −4t 1
f (t) ∗ g(t) = f (τ )g(t − τ )dτ = e e dτ = e e5τ dτ = (et − e−4t )
0 0 0 5
También es útil considerar algunas transformadas inversas como funciones integrales

de una función f (t) cuya transformada es conocida. En efecto, la forma inversa de
la ecuación (31) es:
Z t · ¸
−1 F (s)
f (t)dt = L
0 s
y se usa en algunas ocasiones (en lugar de las fracciones simples) para el cálculo de
la transformada inversa cuando sn es un factor del denominador y f (t) = L−1 [F (s)]
sea fácil de integrar.
Ejemplo 6.8. Calcular las transformadas inversas
· ¸ · ¸ · ¸
−1 1 −1 1 −1 1
L , L , L .
s(s2 + 1) s2 (s2 + 1) s3 (s2 + 1)
Es suficiente observar que

1
f (t) = sin(t) =⇒ F (s) =
(s2 + 1)
y utilizar la fórmula inversa para obtener
· ¸ Z t
−1 1
L = sin(τ )dτ = 1 − cos(t)
s(s2 + 1) 0
Análogamente se tiene
· ¸ Z t
−1 1
L = [1 − cos(τ )]dτ = t − sin(t)
s2 (s2 + 1) 0
7. Aplicaciones a la resolución de EDO y de sistemas de EDO 67
· ¸ Z t
−1 1 1
L 3 2
= [τ − sin(τ )]dτ = t2 − 1 + cos(t).
s (s + 1) 0 2
7. Aplicaciones a la resolución de EDO y de sis-

temas de EDO
La transformada de Laplace puede aplicarse a la resolución de ecuaciones y sistemas

de ecuaciones diferenciales lineales de coeficientes constantes con valores iniciales
en el cero: t = 0. Basándonos en las propiedades y definiciones 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 método es que
no es necesario calcular la solución general sino que se aborda el problema directa-
mente con la condición inicial prefijada en el cero. Su limitación es que necesita de
condiciones dadas en el origen (obviamente la linealidad de las ecuaciones a resolver
es también una restricción del método).
Para introducir el método consideramos el siguiente ejemplo donde aplicaremos el

método de la transformada de Laplace a la resolución de un problema de valor inicial
(PVI) asociado a una EDO de primer orden:
Ejemplo 7.1. Resolver la EDO y 0 (t) − 3y(t) = e2t sujeta a la condición inicial
y(0) = 1.
En primer lugar tomamos la transformada de cada lado de la ecuación diferencial
L[y 0 (t) − 3y(t)] = L[e2t ]

Por linealidad se tiene
L[y 0 (t)] − 3L[y(t)] = L[e2t ]

Utilizando la fórmula de la transformada de una derivada
L[y 0 (t)] = sY (s) − y(0) = sY (s) − 1

y observando que la transformada del término derecho viene dada por la fórmula
básica
1
L[e2t ] =
s−2
se tiene
1
sY (s) − 1 − 3Y (s) =
s−2
Es decir
1 1+s−2 s−1
(s − 3)Y (s) = +1= =
s−2 s−2 s−2
Despejamos Y (s) y descomponemos en fracciones parciales, obteniendo
s−1 −1 2
Y (s) = = +
(s − 2)(s − 3) s−2 s−3
ası́ que
· ¸ · ¸
−1 1 −1 1
Y (s) = −L + 2L
s−2 s−3
luego la (única) solución del PVI es
y(t) = −e2t + 2e3t

El proceso de resolución seguido se puede generalizar para la resolución de ecuaciones
de orden superior
7.1. Resolución de EDO lineales de coeficientes constantes

y de orden n
Para comprender el proceso de reducción de una EDO de orden superior en la va-

riable y(t) a una ecuación algebraica para la función transformada Y (t) se considera
el problema de Valores Iniciales (PVI)


 an y (n + an−1 y (n−1 + ..... + a1 y 0 + a0 y = g(t)





 y(0) = A0 ,


y 0 (0) = A1 ,





 ... = ....,




y (n−1 (0) = An−1
donde los coeficientes n es el orden de la EDO, los ai , i = 0, ..., n son coeficientes

constantes, los Ai , i = 0, .., n − 1 son los valores iniciales de la variable y(t) en el
instante t = 0 y g(t) es una función dada que admite transformada de Laplace.
Ejemplo 7.2. El problema: determinar una función y(t) tal que

 00

 y + 4y 0 + 6y = 1 + e−t

(P V I) y(0) = 0,



y 0 (0) = 0,
es un problema de valores iniciales asociado a una EDO de segundo orden, n = 2,

con coeficientes constantes a0 = 6, a1 = 4, a2 = 1, no homogénea, g(t) = 1 + e−t y
con valores iniciales prefijados A0 = A1 = 0.
Ilustraremos la aplicación del método de resolución del problema de valores iniciales

mediante la transformada de Laplace resolviendo el PVI propuesto en el ejemplo
anterior. De forma general el método consiste en los siguiente pasos (que particu-
larizaremos al ejemplo considerado)
1. Aplicar la transformada de Laplace a la ecuación dada:
L[an y (n + an−1 y (n−1 + ..... + a1 y 0 + a0 y] = L[g(x)]
En nuestro ejemplo
00
L[y + 4y 0 + 6y] = L[1 + e−t ]
y aplicar la propiedad de linealidad para obtener
an L[y (n ] + an−1 L[y (n−1 ] + ..... + a1 L[y 0 ] + a0 L[y] = L[g(x)]

es decir
00
L[y (t)] + 4L[y 0 (t)] + 6L[y(t)] = L[1] + L[e−t ]
2. Utilizar la fórmula de la transformada de derivadas de orden superior
L[y (n (t)] = sn Y (s) − sn−1 y(0) − sn−2 y 0 (0) − ....... − y (n−1 (0)
para cada valor de n.

En nuestro caso se tiene n = 2 luego tenemos las fórmulas de las derivadas de
primer y segundo orden
00 0
L[y (t)] = s2 Y (s) − sy(0) − y 0 (0), L[y (t)] = sY (s) − y(0)
Sustituir en la ecuación dada para obtener
¡ ¢
an sn Y (s) − sn−1 A0 − .... − An−1 + ... + a1 (sY (s) − A0 ) + a0 Y (s) = L[g(x)]
es decir
1 1
s2 Y (s) − sy(0) − y 0 (0) + 4[sY (s) − y(0)] + 6Y (s) = +
s s+1
Esta ecuación es una ecuación algebraica para la función Y (s) = L[y(x)].
Ordenando los términos se tiene que
Y (s)[an sn + an−1 sn−1 + ..... + a1 s + a0 ]+

−A0 [an sn−1 + an−1 sn−2 + ..... + a1 ] − ... − An−1 an = L[g(x)]
es decir
2s + 1
(s2 + 4s + 6)Y (s) =
s(s + 1)
luego despejando, se obtiene lo siguiente
L[g(x)] + A0 [an sn−1 + an−1 sn−2 + ..... + a1 ] + .... + An−1 an

Y (s) =
[an sn + an−1 sn−1 + ..... + a1 s + a0 ]
En nuestro caso
2s + 1
Y (s) =
s(s + 1)(s2 + 4s + 6)
3. Obtenida la expresión de Y (s) (la transformada de Laplace de la solución)

aplicar el operador inverso (antitransformada)
µ ¶
−1 L[g(x)] + A0 [an sn−1 + an−1 sn−2 + ..... + a1 ] + .... + An−1 an
y(x) = L
[an sn + an−1 sn−1 + ..... + a1 s + a0 ]
Para ello descomponemos Y (s) en fracciones parciales
1/6 1/3 −s/2 − 5/3

Y (s) = + + 2
s s+1 s + 4s + 6
Completamos cuadrados en la tercera fracción simple
1/16 1/3 (−1/2)(s + 2) − 2/3

Y (s) = + +
s s+1 (s + 2)2 + 2
y dividimos término a término
· ¸ · ¸
1/6 1/3 1 s+2 2 1
Y (s) = + − −
s s + 1 2 (s + 2)2 + 2 3 (s + 2)2 + 2
Si utilizamos las primera y la tercera fórmulas básicas, junto con el primer
teorema de traslación se tiene
· ¸ · ¸ · ¸ " √ #
1 −1 1 2 −1 1 1 −1 s+2 2 −1 2
y(t) = L + L − L − √ L
6 s 3 s+1 2 (s + 2)2 + 2 3 2 (s + 2)2 + 2
luego la solución del PVI es

√
1 1 −t 1 −2t √ 2 −2t √
y(t) = + e − e cos( 2t) − e sin( 2t)
6 3 2 3
7.2. Análisis de la respuesta de sistemas lineales
Hemos visto que al tomar la transformada de una EDO de orden n se tiene

· n ¸ · n−1 ¸
d y d y
an L (t) + an−1 L (t) + ........ + a0 L [y(t)] = L[g(t)] (36)
dtn dtn−1
Definiendo Y (s) = L[y(t)], G(s) = L[g(t)] y aplicando las fórmulas de las transfor-
madas de derivadas se obtiene
[an sn + an−1 sn−1 + ... + a0 ]Y (s) = (37)

= an [sn−1 y0 + ... + yn−1 ] + an−1 [sn−2 y0 + ... + yn−2 ] + ... + G(s)
siendo
y(0) = y0 , y 0 (0) = y1 , ....., y (n−1 (0) = yn−1

las condiciones iniciales. Definimos
P (s) = an sn + an−1 sn−1 + ... + a0 ,

y
Q(s) = an [sn−1 y0 + ... + yn−1 ] + an−1 [sn−2 y0 + ... + yn−2 ] + ...+
y escribimos la ecuación (37) en la forma
P (s)Y (s) = Q(s) + G(s)
Despejando
G(s) Q(s)
Y (s) = + (38)
P (s) P (s)
Se puede comprobar que, si n = 2 entonces
Q(s) a0 y0 s + a2 y1 + a1 y0
=
P (s) a2 s2 + a1 s + s0
Definimos la función de transferencia del sistema a la recı́proca de P (s), es decir
W (s) = 1/P (s). Mediante la función de transferencia podemos expresar la ecuación
(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 función de entrada g(t) (que se reflejan en el término
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 solución Y (t)) es una
superposición de dos respuestas:
y(t) = L−1 [W (s)G(s)] + L−1 [W (s)Q(s)] = y0 (t) + y1 (t)
La función
y0 (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,
y0 = 0, y1 = 0, ...... yn−1 = 0
entonces Q(s) = 0, ası́ que la única solución del PVI es y0 (t). Esta solución se llama
respuesta de estado cero del sistema29 .
El teorema de la convolución permite expresar la respuesta de estado cero del sistema

como una integral ponderada de la entrada:
Z t
y0 (t) = w(τ )g(t − τ )dτ = w(t) ∗ g(t)
0
siendo w(t) = L−1 [W (s)] la función de peso (o de ponderación) del sistema.
Por último, si la entrada del sistema es g(t) = 0, la solución del problema es
y1 (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

 00

 y − 6y 0 + 9y = t2 e3t

(P V I) y(0) = 2,



y 0 (0) = 6,
y determinar:
1. La respuesta de estado cero.
2. La respuesta de entrada cero.
3. La función de transferencia.
4. La función 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
00
L[y (t)] − 6L[y 0 (t)] + 9L[y(t)] = L[t2 e3t ]
Utilizando las fórmulas de las transformadas de derivadas de orden n (para n = 2 y
n = 1) se deduce
29
Razonando en términos de resolución de EDO, por ejemplo mediante el método de los coefi-
cientes indeterminados, la solución particular que se obtiene corresponde a la respuesta de estado
cero del sistema.
2
s2 Y (s) − sy(0) − y 0 (0) − 6[sY (s) − y(0)] + 9Y (s) =
(s − 3)3
Aplicando las condiciones iniciales
2
(s2 − 6s + 9)Y (s) = 2s − 6 +
(s − 3)3
Nótese que en este momento ya conocemos P (s) = s2 − 6s + 9, que corresponde a
la función recı́proca de la función de transferencia.
Observando que (s2 − 6s + 9) = (s − 3)2 podemos simplificar para obtener
2 2
Y (s) = +
s − 3 (s − 3)5
Tomando la transformada inversa
· ¸ · ¸
−1 1 2 −1 4!
y(t) = 2L + L
s−3 4! (s − 3)5
De acuerdo con el primer teorema de traslación se tiene
· ¸
−1 4!
L 5
|s→s−3 = t4 e3t
s
por consiguiente la solución del PVI es
1 4 3t
y(t) = 2e3t + te
12
Se tiene además que
1. La respuesta de estado cero corresponde a la función

1 4 3t
y0 (t) = te
12
2. La respuesta de entrada cero corresponde a la función
y1 (t) = 2e3t
3. La función de transferencia es
1 1
W (s) = = 2
P (s) s − 6s + 9
8. Aplicaciones a la resolución de EDP 75
4. La función peso del sistema es la transformada inversa de la función de trans-

ferencia
· ¸ · ¸
−1 −1 1 −1 1
w(t) = L [W (s)] = L 2
=L 2
= te3t
s − 6s + 9 (s − 3)
8. Aplicaciones a la resolución de EDP
La transformada de Laplace no se limita a las derivadas ordinarias sino que puede

también ser aplicada a funciones de dos variables independientes f (x, t). La ver-
satilidad del método 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 simultáneas (sistemas de ecuaciones). Las restricciones básicas
del método son
1. Se aplica sólo a ecuaciones lineales.

2. Se aplica sólo a problemas de valores iniciales.
3. La dificultad de cálculo de la transformada inversa de la función (la transfor-
mada de la solución) que se obtiene al resolver la EDO a la cual se reconduce
la EDP originaria tras la aplicación de la transformación de Laplace.
Usualmente la transformada se toma con respecto a la variable temporal t (lo que

permite la aplicación del método a problemas planteados en dominios espacialmente
acotados) pero también se puede aplicar a la variable espacial x mientras nos mova-
mos en un dominio semi-infinito 0 < x < ∞. En este caso la elección 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 sólo los problemas de valor
inicial se pueden tratar con la transformada de Laplace. En lo que sigue daremos las
fórmulas en el caso de transformación hecha con respecto a la variable temporal.
Suponiendo la regularidad y el comportamiento adecuado de la función a transfor-

mar (la solución de la EDP) para que las operaciones efectuadas tengan sentido, y
aplicando la definición se tiene
Z ∞
.
L [f (x, t)] = F (x, s) = e−st f (x, t)dt
0
Integrando por partes (respecto del tiempo y en (0, ∞)) se tiene

· ¸ Z ∞ Z ∞
∂f (x, t) −st ∂f −st ∞
L = e dt = [f (x, t)e ]0 + s f (x, t)e−st dt
∂t 0 ∂t 0
luego
· ¸
∂f (x, t)
L = sF (x, s) − f (x, 0)
∂t
Analogamente la transformada de la derivada segunda se obtiene integrando por
partes para obtener
· ¸ Z ∞
∂ 2 f (x, t) 2
−st ∂ f ∂f (x, t)
L 2
= e 2
dt = s2 F (x, s) − sf (x, 0) − (x, 0)
∂t 0 ∂t ∂t
La transformación de las derivadas espaciales es también fácil de obtener (intercam-
biando los operadores de derivación parcial e integración)
· ¸ Z ∞ Z ∞
∂f (x, t) −st ∂f d
L = e dt = e−st f (x, t)dt
∂x 0 ∂x dx 0
luego
· ¸
∂f (x, t) dF (x, s)
L =
∂x dx
siendo s un parámetro. Análogamente (es decir, intercambiando los operadores de
derivación parcial e integración) se deduce
· ¸
∂ 2 f (x, t) d2 F (x, s)
L =
∂x2 dx2
y en el caso de las derivadas parciales mixtas
· ¸ Z ∞
∂ 2f d ∂f d
L = e−st dt = [sF (x, s) − f (x, 0)]
∂x∂t dx 0 ∂t dx
Tenemos ahora las herramientas necesarias (es decir las fórmulas básicas) para
aplicar el método de la transformada de Laplace a las ecuaciones diferenciales en
derivadas parciales lineales para problemas de valores iniciales.
8.1. Aplicación de la transformada de Laplace a unos prob-

lemas modelo
La técnica de las transformadas de Laplace se puede aplicar en un dominio finito en

la variable espacial pero infinito en la variable temporal (pues buscamos soluciones
definidas 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 finito).
8.1.1. Resolución de una EDP de primer orden
Veamos la aplicación del método de Laplace en la resolución de un problema de

valor inicial (y de contorno) asociado a una EDP de primer orden:
Ejemplo 8.1. Resolver el problema


 ∂u ∂u

 ∂x + x ∂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
· ¸
∂u ∂u
L +x =0
∂x ∂t
Aplicando las fórmulas deducidas en la sección anterior, la propiedad de linealidad
y la notación U (x, s) = L[u(x, t)] se tiene
∂U
+ xsU = 0
∂x
Esta ecuación se puede considerar como una ecuación diferencial ordinaria (EDO)
en la variable independiente x puesto que no aparecen en la ecuación derivadas con
respecto a s (que se considera por tanto como un parámetro). La solución general
de la EDO (que se puede obtener, por ejemplo, separando variables) es
2 /2
U (x, s) = C(s)e−sx
siendo C(s) una función arbitraria de s que determinaremos a continuación. Para
ello, transformamos la condición inicial. Puesto que
1
L[t] =
s2
la condición u(0, t) = t se transforma en
1
U (x, 0) = C(s) =
s2
luego
1 −sx2 /2
U (x, s) =
e
s2
Tenemos ahora que tomar la transformada inversa de la función U (s, x) (que es en
efecto la transformada de Laplace de la solución buscada). El término exponencial
sugiere la aplicación del segundo teorema de traslación, que afirma
L−1 [e−as F (s)] = f (t − a)H(t − a)

donde H(t−a) denota la función de Heaviside desplazada (véase la sección dedicada
a la función escalón unitario). La magnitud del desplazamiento es (en nuestro caso)
a = x2 /2, siendo F (s) = 1/s2 . Puesto que
¸ ·
1
−1
L =t
s2
la aplicación del segundo teorema de traslación nos da la solución buscada

µ ¶ µ ¶  x2
2
x 2
x  0 si t <
u(x, t) = t− H t− = 2
2 2 
 t− x2 x2
2
si t >
2
8.1.2. Resolución 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

técnica de separación de variables que vimos en el primer tema. Para ilustrar la
aplicación del método de Laplace un tı́pico problema podrı́a ser el siguiente:
Ejemplo 8.2. Se considera el proceso de conducción de calor en un sólido semi-
infinito. El material, inicialmente a temperatura cero se pone en contacto, repenti-
namente, con un baño de calor en el instante t = 0. ¿ Cómo se difunde el calor en
el resto del sólido ?
El modelo matemático a resolver es



 ∂u ∂ 2u

 (x, t) = k (x, t), x > 0, t>0
 ∂t
 ∂x2

 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 sólido y siendo u0 un

valor constante.
Las condiciones de contorno son del tipo Dirichlet no homogéneo. Para la resolución
del modelo emplearemos el método de la transformada de Laplace.
Sea
Z ∞
.
L [u(x, t)] = U (x, s) = e−st u(x, t)dt
0
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
· ¸
∂u(x, t)
L = sU (x, s) − u(x, 0) = sU (x, s)
∂t
y
· ¸
∂ 2 u(x, t) d2 U (x, s)
L =
∂x2 dx2
Por tanto (s es un parámetro) 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 continuación):
d2 U (x, s) s
− U (x, s) = 0, x>0
dx2 k
La solución general de esta ecuación es
√ √
U (x, s) = Ae− s/kx
+ Be s/kx
Puesto que x > 0 y que la transformada de Laplace de la solución debe tender a

cero cuando s → ∞ (si es que es, efectivamente, la transformada de Laplace de una
función continua a trozos y de orden exponencial) se tiene que B = 0 y la solución
es
√
U (x, s) = Ae− s/kx
siendo A una constante arbitraria que se determina mediante la transformada de

Laplace de la condición de contorno en x = 0:
u0
L[u(0, t)] = U (0, s) = L[u0 ] =
s
Se tiene por tanto que la transformada de la solución del problema originario es
u0 −√s/kx
U (x, s) = e
s
Para calcular la antitransformada deberı́amos calcular
Z c+i∞
u0 1 st−√s/kx
e ds.
2πi c−i∞ s
lo que desborda los objetivos de este curso. La técnica a utilizar es el cálculo de
residuos (variable compleja). Sin embargo, podemos utilizar (en este caso) la fórmula
(27)
· µ ¶¸
α 1 √
L erfc √ = e−α s , α ≥ 0
2 t s
√
e identificando α = x/ k obtener la fórmula explı́cita (aunque en términos de la
función de error) de la solución del problema originario:
µ ¶ · µ ¶¸
x x
u(x, t) = u0 erfc √ = u0 1 − erf √
2 kt 2 kt
8.1.3. Resolución de una EDP de segundo orden en un dominio acotado
Aplicaremos ahora la técnica de la transformada de Laplace a un problema tı́pico de

difusión de materia. Se pondrá de manifiesto la necesidad del cálculo de los residuos
para la determinación de una expresión exacta de la solución. Alternativamente este
problema también se puede resolver por separación de variables pues la variable
espacial es acotada.
Ejemplo 8.3. Se considera el proceso de difusión de la concentración c(x, t) de una
sustancia gobernado por la ecuación
∂c ∂ 2c
= k 2, 0 < x < L, t>0
∂t ∂x
y sujeto a las condiciones de contorno
∂c(0, t)
= 0, c(L, t) = c0
∂x
y a la condición inicial
c(x, 0) = 0, 0<x<L
El modelo matemático a resolver es


 ∂c ∂ 2c

 (x, t) = k (x, t), 0 < x < L, t > 0

 ∂t ∂x2


 ∂c
(0, t) = 0 x=0 t>0
 ∂x



 c(L, t) = c0 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 homogéneo y
Dirichlet no homogéneo. Para la resolución del modelo emplearemos el método de
la transformada de Laplace.
Sea
Z ∞
.
L [c(x, t)] = C(x, s) = e−st c(x, t)dt
0
la transformada de Laplace de la concentración c(x, t). Tomando la transformada

de Laplace de la EDP con respecto al tiempo y utilizando las condiciones iniciales
se tiene que · ¸
∂C(x, t)
L = sC(x, s) − c(x, 0) = sC(x, s)
∂t
· ¸
∂ 2 c(x, t) d2 C(x, s)
L =
∂x2 dx2
Por tanto (s es un parámetro)
d2 C(x) s
− C(x) = 0, 0<x<L
dx2 k
Transformada de Laplace de las condiciones de contorno
Se tiene
Z ∞
∂C(0, s) c0
= 0, C(L, s) = e−st c(L, t)dt =
∂x 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:


 d2 C s
 2
= C
dx k

 C(L, s) = c0
 dC
(0, s) = 0
s dx
La solución es
p
C 1 cosh( (s/k)x)
= p
c0 s cosh( (s/k)L)
Si bien ha sido fácil llegar a la expresión de la transformada de la solución el problema
es ahora el cálculo de la transformada inversa de Laplace. Deberı́amos en efecto
calcular la siguiente integral
Z c+i∞
p
C 1 est cosh( (s/k)x)
= p ds
c0 2πi c−i∞ s cosh( (s/k)L)
lo que desborda, nuevamente, los objetivos de este curso. El resultado final es (uti-
lizando el cálculo de los residuos)
∞ ·µ ¶ ¸ ( ·µ ¶ ¸2 )
c 4 X (−1) n
1 πx 1 π
=1− cos n + exp −kt n +
c0 π n=0 (2n + 1) 2 L 2 L
Este resultado se hubiese podido obtener también por separación de variables y se

deja la comprobación al lector30 .
9. Comentarios finales sobre el uso de las trans-

formadas integrales
Hemos visto que la transformada de Fourier y la correspondiente fórmula de inversión

no son otra cosa que una reformulación de la representación integral de Fourier de
una función no periódica en −∞ < x < ∞. También se ha visto que la metodologı́a
asociada a la transformada de Fourier es análoga, y en ciertos aspectos idéntica,
a la metodologı́a de trabajo asociada a la transformada de Laplace. Observada la
semejanza entre los dos métodos es natural preguntarse cuál de las dos transformadas
elegir a la hora de resolver una ecuación diferencial. Los principios básicos a seguir
son:
30
La resolución del problema mediante aplicación del método de separación de variables se ha
propuesto como ejercicio en el examen de control del curso 1999/2000.
10. El método de Combinación de variables 83
1. La transformada de Laplace está indicada para problemas de valor inicial en

un intervalo semiinfinito 0 < t < ∞.
2. La transformada de Fourier está indicada para problemas de contorno en un

intervalo infinito −∞ < 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 fija e
inmutable puesto que es posible, por ejemplo, utilizar la transformada de Laplace
para resolver problemas de contorno en intervalos finitos (en lugar de aplicar el
método de separación de variables) mientras que la transformada de Fourier se puede
adaptar a problemas de contorno en intervalos semiinfinitos (en lugar de aplicar la
transformada de Laplace).
10. El método de Combinación de variables
Este tipo de metodo31 es efectivo en el caso de dominios no acotados con condiciones

de contorno adecuadas. Aclararemos más adelante lo que se entiende por adecuadas.
Digamos, de momento, que hay restricciones. Una de ellas (es decir un prerequisito
del método para su aplicación) radica en la existencia de una cierta simetrı́a para
las condiciones en el cero y en el infinito. El método es además aplicable sólo a los
casos donde las variables independientes son no acotadas, por ejemplo: 0 < t < ∞,
0 < x < ∞.
La idea del método consiste en combinar todas las variables independientes en una
única variable dependiente32 que llamaremos η. Este cambio de coordenadas produce
una única EDO que puede ser resuelta con métodos conocidos. Nótese que el método
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 diferenciación
necesarias para la aplicación efectiva del método.
31
Llamado en la literatura anglosajona similarity transform.
32
En este sentido se puede entender el método de combinación de variables como un método
opuesto al de separación de variables. Otro aspecto que diferencia los dos métodos, y que evidencia
la potencialidad del método de combinación de variables, es que éste puede ser aplicado en el caso
no lineal (bajo ciertas condiciones de simetrı́as de las variables dependientes e independientes).
10.1. Deducción del método de combinación de variables
Sea dada la ecuación del calor
∂T ∂ 2T
=α 2, 0 < x < ∞, t>0
∂t ∂x
donde α es la difusividad térmica (o calorı́fica). Sea además, por hipótesis, T (x, t) =
f (η), donde
x
η = η(x, t) =
δ(t)
es una combinación adecuada de las variables independientes (x, t) definida a través
de la función δ(t) (todavı́a indeterminada). Veremos (aunque de manera heurı́stica)
que
√ la existencia de ciertas simetrı́as en la ecuación aconsejará la elección δ(t) =
4αt. La función η 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 ecuación anterior se tiene:
· ¸
∂T ∂T df 0 ∂η ∂η
dT (x, y) = dx + dt = dη = f (η) dx + dt
∂x ∂t dη ∂x ∂t
Igualando los coeficientes de los elementos diferenciales dx y dt en ambos lados
resulta
µ ¶
∂T ∂η 1 ∂T ∂η η dδ
= f 0 (η) = f 0 (η) , 0
= f (η) 0
= f (η) −
∂x ∂x δ(t) ∂t ∂t δ dt
∂2T
Calculemos ahora . Introducimos para ello las funciones F (x, t), ψ(η, t)
∂x2
. ∂T 1 .
F (x, t) = = f 0 (η) = ψ(η, t)
∂x δ(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 ∂F ∂ψ ∂ψ ∂ψ ∂η ∂η ∂ψ
dx + dt = dη + dt = dx + dt + dt
∂x ∂t ∂η ∂t ∂η ∂x ∂t ∂t
igualando los coeficientes de dx y dt se tiene
∂F ∂ψ ∂η
=
∂x ∂η ∂x
Utilizando las definiciones de F y ψ se deduce
∂ 2T ∂F 00 1 ∂η 00 1
2
= = f (η) = f (η) 2
∂x ∂x δ(t) ∂x δ (t)
Usando este resultado y la relación
µ ¶
∂T 0 ∂η 0 η dδ
= f (η) = f (η) −
∂t ∂t δ dt
sustituimos en la EDP original para obtener
00 µ ¶
f 0 1 dδ
α 2 = f −η
δ δ dt
Es decir
00 dδ 0
αf = −ηδ f
dt
Si elegimos
dδ
δ = 2α
dt
es decir
δdδ = 2αdt
se tiene (puesto que δ(0) = 0 ya que queremos que η tenga recorrido infinito),
√
δ(t) = 4αt
Nos hemos reconducido a resolver la EDO:
00
f + 2ηf 0 = 0
Si definimos p = df /dη se tiene p0 +2ηp = 0 que es una EDO separable cuya solución
es
2 df
p(η) = Ae−η =
dη
Integrando nuevamente
Z
2
f (η) = A e−η dη + B
Recordando la definición de la función de error
Z η
2 2
erf(η) = √ e−β dβ
π 0
y por ser las constantes A, B completamente arbitrarias podemos escribir
f (η) = Cerf(η) + B
Esta solución particular tiene muchas aplicaciones y aparece en inumerables prob-
lemas fı́sicos de transporte.
10.2. Aplicación del método de combinación de variables
Para ilustrar la aplicación del método de combinación de variables a un problema

concreto, consideramos el siguiente ejemplo (Rice and Doo33 , pag 409):
Ejemplo 10.1. Se considera una varilla de longitud infinita de un material sólido
infinito con una temperatura inicial uniforme T0 en todo el dominio 0 < x < ∞.
Se aplica repentinamente una temperatura Ts , constante, en x = 0. Este salto de
temperatura (T0 6= Ts ) en la posición x = 0 provoca una difusión del calor en el
interior del medio de tipo ondulatorio. Determinar la distribución de temperaturas
en el sólido.
El balance de calor para un elemento de volumen de espesor ∆x, sección transversal

de área A de un material de densidad ρ, capacidad calorı́fica Cp y conductividad k,
se escribe:
∂T
(qx A)|x − (qx A)|x+∆x = A∆xρCp
∂t
Dividiendo por A∆x y pasando al lı́mite cuando ∆x → 0 se obtiene
∂qx ∂T
− = ρCp
∂x ∂t
∂T
y aplicando la ley de Fourier, qx = −k resulta la ecuación parabólica de conduc-
∂x
ción del calor:
∂T ∂ 2T
=α 2
∂t ∂x
33
siendo α = k/ρCp la difusividad térmica (en cm2 /s). y en la que ambas variables
son no acotadas: 0 < x < ∞, 0 < t < ∞. La condición inicial (temperatura inicial
en la varilla) será
T = T0 , t = 0, ∀ x > 0
complementada con
T = Ts , x = 0, ∀t > 0
y
T → Ts , t → ∞, ∀ x > 0, T → T0 , x → ∞, ∀t > 0
Estas son condiciones adecuadas. Se trata de condiciones de simetrı́a en cero y en el
infinito y es el primer requisito que debe tener el problema para que el método de
combinacón de variables sea aplicable. Una aproximación de los ordenes de magnitud
de los términos que aparecen en la ecuación anterior no dice que:
∆T ∆T
α 2
∼
x t
esto sugiere (aproximadamente) que αt ∼ x2 luego combinamos las variables en la
forma
x
η=√
4αt
y buscaremos una solución en la forma: T (x, t) = f (η).
Sustituyendo la expresión T (x, t) = f (η) en la EDP obtenemos la EDO:
d2 f df
2
+ 2η = 0.
dη dη
Integrando (de manera indefinida) se tiene
df 2
= Ae−η
dη
e integrando nuevamente
Z
2
f (η) = A e−η dη + B = Cerf(η) + B
siendo Z η
2 2
erf(η) = √ e−β dβ
π 0
la función de error. Para determinar las constantes C y B se observa que:
f (0) = Ts , f (∞) = T0
luego B = Ts y C = (T0 − Ts ), siendo erf(∞) = 1 (de ahı́ el factor de normalización

en la definición de la función de error). En las coordenadas originales se tiene:
µ ¶
x
T (x, t) = (T0 − Ts )erf √ + Ts
4αt
y se escribe, tı́picamente
µ ¶
T (x, t) − Ts x
= erf √
T0 − Ts 4αt
siendo
T (x, t) − Ts
θ(x, t) = , θ(0, t) = 0, θ(x, 0) = 1.
T0 − Ts
Nótese que si cambiamos las condiciones de contorno originarias, por ejemplo re-
quiriendo un flujo de calor constante en la frontera x = 0, entonces la solución
anterior ya no vale y puede haber alguna complicación técnica. Para el lector intere-
sado, ver Rice and Do34 , pag 414.
10.2.1. Sistema semi-infinito. Condiciones constantes en uno de los lı́mites

del mismo
Consideraremos ahora algún ejemplo concreto propio del área de la Ingenierı́a Quı́mi-
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 depósito cilı́ndrico alto que contiene en su base un catalizador de isomerización
con espesor reducido y constante, limitado por un tabique fácilmente eliminable.
Supóngase que la parte superior del depósito está ocupada por una mezcla de dos
isómeros A y B a temperatura y presión constantes y que dado su espesor, éste puede
considerarse semi-infinito. 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 instantánea-
mente en el B, estableciéndose una contradifusión equimolar de ambos compuestos
y manteniéndose constantes las condiciones en la superficie interfacial.
34
Se trata de una difusión simple en un sistema semi-infinito en régimen no estacionario

con isomerización catalı́tica instantánea.
El modelo matemático para este caso estará constituido por la ecuación diferencial
en derivadas parciales de difusión pura complementada con las condiciones lı́mite
siguientes:


 ∂xA ∂ 2 xA

 = DAB , 0 < x < ∞, t > 0

 ∂t ∂x2



 xA = xA1 = 0 x=0 t>0
(39)



 xA = xA2 = 0 x=∞ t>0






xA (x, 0) = xAI 0<x<∞ t=0
La EDP que aparece en el problema (39) puede resolverse mediante el método de
combinación de variables. A tal fin se introducen las variables adimensionales
xA − xAI
Y = , (40)
xA1 − xAI
x
φ= √ (41)
4DAB t
con lo que el modelo anterior para la variable Y (φ) se convierte en
 2

 dY dY

 2 + 2φ =0 0<φ<∞

 dφ dφ
Y =1 φ=0 (42)






Y =0 φ=∞
constituido por una ecuación diferencial ordinaria lineal de segundo orden de coefi-
cientes variables. Una doble integración nos conduce a
Z φ
2
Y = C1 e−s ds + C2 (43)
0
cuyas constantes pueden evaluarse mediante las condiciones lı́mite Y (0) = 1, Y (∞) =
0. A saber:
1
C1 = 1, C2 = − Z ∞
2
e−φ dφ
0
con lo que se llega a la expresión final
Z φ
2
e−s ds Z φ
2 2
Y =1− Z 0
∞ =1− e−s ds = 1 − erf(φ)
2 π
e−φ dφ 0
0
Deshaciendo el cambio de variables anterior se deduce
µ ¶
xA x
= erf √
xAI 4DAB t
que representa la distribución de concentraciones del componente A en función de
la posición y del tiempo.
El flujo de isomerización del compuesto A, al ser ~v = 0, será:
µ ¶ r
∂xA DAB
(NA )x=0 = NA (0, t) = −ct DAB = −cAI , ∀t > 0
∂x x=0 πt
Ejemplo 10.3 (Costa Novella, pg 57, ejemplo 2-11). Un componente A de un gas

en reposo es absorbido por una capa de lı́quido, inicialmente exento de dicho compo-
nente, que desciende laminarmente por una superficie vertical, pudiendo suponerse
que la resistencia a la transferencia es la opuesta exclusivamente por el lı́quido.
Calcular la máxima longitud de superficie que asegure una penetración de dicho
componente inferior al 10 por 100 del espesor de la capa lı́quida.
Datos y notas
Espesor de la capa: δ = 0, 5 mm.

Propiedades fı́sicas del lı́quido: densidad 1,000Kg/m3 ; viscosidad: 10−3 Kg/ms.
Difusividad del componente A en el lı́quido: 10−9 m2 /s.
Considérese que la penetración es despreciable a partir del punto en el que la
concentración del componente A es el 0, 5 por 100 de la superficial de equilibrio.
Se trata de la difusión unidimensional del componente A en el seno del lı́quido

que desciende laminarmente. Suponemos que en la superficie interfacial se alcanza
instantáneamente el equilibrio.
El modelo matemático para este caso estará constituido por la ecuación diferencial
de difusión pura complementada con las condiciones lı́mite siguientes:


 ∂cA ∂ 2 cA

 = DAB , 0 < x < ∞, t > 0

 ∂t ∂x2



 cA = cAe x=0 t>0
(44)



 cA = 0 x=∞ t>0






cA (x, 0) = 0 0<x<∞ t=0
siendo cAe la concentración de equilibrio. La EDP que aparece en el problema (44)
puede resolverse mediante el método de combinación de variables. A tal fin se
introducen las variables adimensionales
cA
Y = , (45)
cAe
x
φ= √ (46)
4DAB t
con lo que el modelo anterior para la variable Y (φ) se convierte en
 2

 dY dY

 2 + 2φ =0 0<φ<∞

 dφ dφ
Y =1 φ=0 (47)






Y =0 φ=∞
constituido por una ecuación diferencial ordinaria lineal de segundo orden a coefi-
cientes variables. Una doble integración nos conduce a
Z φ
2
Y = C1 e−s ds + C2 (48)
0
cuyas constantes pueden evaluarse mediante las condiciones lı́mite Y (0) = 1, Y (∞) =
0. A saber:
1
C1 = 1, C2 = − Z ∞
2
e−φ dφ
0
con lo que se llega a la expresión final
Z φ
2
e−s ds Z φ
2 2
Y =1− Z 0
∞ =1− e−s ds = 1 − erf(φ)
2 π
e−φ dφ 0
0
Deshaciendo el cambio de variables anterior se deduce
µ ¶ µ ¶
cA x x
= 1 − erf √ = erfc √
cAe 4DAB t 4DAB t
luego
µ ¶
cAe − cA x
= erf √ (49)
cAe 4DAB t
que representa la distribución de concentraciones del componente A en función de

la posición y del tiempo.
Para calcular la máxima longitud de superficie que asegure una penetración de dicho
componente inferior al 10 por 100 del espesor de la capa lı́quida se considera un punto
situado a una distancia de la interface igual al 10 por 100 del espesor de la capa
lı́quida: x = 0, 1 δ = 5 · 10−5 m, siendo la concentración cA = 0,005cAe . Sustituyendo
en (49) se tiene
¶ µ
cAe − 0,005cAe 5 · 10−5
= 0,995 = erf √
cAe 4 · 10−9 t
de donde se deduce t = 0,156s. Conociendo el tiempo se calcula la longitud de la
placa mediante el cálculo de la velocidad vy . Detalles se encuentran el la pg 58 del
libro de Costa Novella sobre Transferencia de materia por difusión
10.3. Difusión con flujo másico simultáneo
Sean dos compuestos gaseosos A y B que forma una mezcla ideal a presión y tem-
peraturas constantes. De acuerdo con las ecuaciones básicas, la concentración molar
total ct y la difusividad DAB podrán considerarse constantes. Suponiendo también
que el resto de las propiedades fı́sicas pueden ser tratadas como constantes, las
ecuaciones de conservación de materia, para una sola dirección de difusión, en coor-
denadas rectangulares podrán expresarse ası́:
∂vx∗
= 0, =⇒ vx∗ = f (t) (50)
∂x
luego
∂cA ∂cA ∂ 2 cA ∂xA ∂xA ∂ 2 xA

+ vx∗ = DAB =⇒ + vx∗ = DAB (51)
∂t ∂x ∂x2 ∂t ∂x ∂x2
Sabemos también que
N A + NB
vx∗ = (52)
ct
por tanto, dada la constantcia de ct , al ser la velocidad molar media vx∗ función
exclusiva del tiempo (ecuación (50)), también lo sará la suma de los flujos molares
de los compuestos A y B. De las ecuaciones (51) y (52) se tiene
µ ¶
∂xA ∂ 2 xA NA + NB ∂xA
= DAB − (53)
∂t ∂x2 ct ∂x
ecuación en derivadas parciales no lineal y de segundo orden que junto con las condi-
ciones lı́mite que proceda constituirá el modelo matemático en cada caso concreto.
Veamos uno de ellos a continuación.
10.3.1. Sistema semi-infinito: Difusión de un sólo componente en el seno

de otro estacionario
Consideremos un sistema de evaporación o sublimación.

Ejemplo 10.4. Un cilindro vertical cerrado de escaso diámetro y gran altura con-
tiene en su base un lı́quido o sólido puro separado del aire que llena el resto, con
suficiente espesor para poderlo considerar semi-infinito, por un tabique fácilmente
eliminable. El aire que se mantiene a temperatura y presión 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 vaporización o sublimación
no estacionaria del compuesto A.
Puesto que dada la insolubilidad o no adsorbibilidad del compuesto B en el A, se

tendrá:
NB (0, t) ≡ 0, ∀t (54)
y se deduce
µ ¶
ct ∂xA
NA (0, t) = −DAB (0, t) (55)
1 − xA1 ∂x
Por consiguiente, utilizando las ecuaciones (53), (54) y (55) junto con adecuadas
condiciones de contorno se tiene el modelo matemático
 µ ¶
 ∂xA ∂ 2 xA ct ∂xA ∂xA

 = DAB + DAB (0, t) , 0 < x < ∞, t > 0
 ∂t ∂x 2 1 − xA1 ∂x ∂x
 xA = xA1 x=0 t>0



xA = xA2 = 0 x=∞ t>0
(56)
representando xA1 la concentración de equilibrio en la superficie interfacial a la
temperatura y presión de que se trate. En este modelo no hay ninguna longitud
caracterı́stica y puesto que la concentración del compuesto A es nula para dos de sus
condiciones lı́mite (t = 0 y x = ∞), resulta aconsejable el método de combinación
de variables. Introduciendo la distancia adimensional
x
φ= √ (57)
4DAB t
y la variable ϕ:
µ ¶
1 ∂xA
ϕ=− (58)
2(1 − xA1 ) ∂φ x=0
el modelo (56) se transforma en el siguiente
 2

 d xA dxA

 2 + 2(φ − ϕ) = 0 0<φ<∞

 dφ dφ
φ = 0 xA = xA1 (59)






φ = ∞ xA = 0
constituido por una ecuación diferencial ordinaria lineal de segundo orden a coefi-
cientes variables. La variable xA no se presenta explicitamente. La solución de (59)
es
xA = C1 erf(φ − ϕ) + C2 (60)
Calculadas las dos constantes de esta ecuación mediante las dos condiciones lı́mite
resulta
xA 1 − erf(φ − ϕ)
= (61)
xA1 1 + erf(ϕ)
expresión reppresentativa de la distribución de concentraciones del componente A
en función de la posición y del tiempo. Teniendo en cuenta que
µ ¶ 2
1 xA e−ϕ
ϕ= √ (62)
π 1 − xA1 1 + erf(ϕ)
La ecuación (62) permite calcular los valores de ϕ que corresponden a los de xA a fin
de facilitar
√ la utilización de la ecuación (61). Se pueden en efecto tabular los valores
de ϕ y ϕ π/xA1 correspondientes a los de xA1 .
Teniendo en cuenta (55) y (58) el flujo de vaporización o sublimación será:
µ ¶r µ ¶
ct DAB ∂xA
NA (0, t) = − =
1 − xA1 4t ∂φ φ=0
r r µ ¶
DAB DAB √ ϕ
ct ϕ = ct xA1 π (63)
4t 4t xA1
y se calcula mediante la tabla de valores anteriormente mencionada.
Este ejercicio permite estimar la importancia de la convección en los fenómenos

de vaporización o sublimación que se estudian. El análisis detallado (véase pag 76,
Costa Novella, Transferencia de materia por difusión) muestra que, de no haber
convección,
xA1 − xA
= erf(φ) (64)
xA1
expresión representativa de la distribución de concentraciones del componente A en
función de la posición y del tiempo sin convección.
Por otra parte, el flujo de vaporización o sublimación será:
µ ¶ r µ ¶ r
∂xA DAB √ ϕ DAB
NA (0, t) = −ct DAB = −ct π = ct xA1 (65)
∂φ φ=0 4t xA 1 4t
y comparando (63) y (65) se deduce que el témino correctivo debido a la convección

es
√
π
ϕ
xA1
11. Anexos
Recopilamos aquı́ las definiciones y propiedades básicas 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
básicas para el uso del método de laplace.
11.1. La función de error: definición y propiedades
El paso final en el proceso de resolución de ecuaciones diferenciales lo constituye

su integración. A menudo este proceso de resolución produce funciones elementales
del tipo exponencial, logarı́tmico, trigonométrico que expresan la relación entre las
variables dependientes y las independientes. Sin embargo, también a menudo, las
técnicas de resolución generan una forma integral de la solución que no se puede
resolver en términos de funciones elementales. Es común, en tal caso, dar un nombre
a la integral generada y tabular sus valores. Este es el caso de la función de error o de
la función Gamma (introducida en el tema 2). Es importante conocer las propiedades
básicas de estas funciones y sus comportamientos lı́mites para finalmente poder
construir una solución analı́tica exacta (que sea útil y práctica). Empezaremos con
la relación integral más común entre ellas: la función de error.
La función de error
Esta función aparece muy a menudo en la teorı́a de la probabilidad y en los prob-

lemas de conducción del calor o difusión de la masa. Está asociada a una integral
no elemental y puede aparecer al resolver ecuaciones en derivadas parciales u ordi-
narias35 . En la literatura anglosajona la función de error se denota por erf (error
function). En castellano es fer (función de error). Su definición es:
Z x
2
erf(x) = √ exp(−β 2 )dβ
π 0
35
Véase el ejemplo al final de esta sección donde la función de error aparece en la expresión
de la solución de un PVI asociado a una ecuación diferencial ordinaria de primer orden lineal a
coeficientes variables.
11. Anexos 97
donde se ha introducido una variable muda β para prevenir posibles errores en

el proceso de derivación de erf(x). La función de error es de hecho una función
integral de una función C ∞ (IR) luego puede ser integrada y derivada sin problemas
un número cualquiera de veces. Para ello (es decir para diferenciar la función de
error) recordamos la Fórmula de Leibnitz de derivación bajo el signo de integral
(derivación paramétrica):
Fórmula de Leibnitz
ÃZ ! Z µ ¶
u1 (α) u1 (α)
d du1 du0 ∂f (x, α)
f (x, α)dx = f (u1 , α) − f (u0 , α) + dx (66)
dx u0 (α) dα dα u0 (α) ∂α
Se tiene entonces
d 2
erf(x) = √ exp(−x2 ) (67)
dx π
Por definición, la función de error es simplemente el área encerrada por la gráfica
de la curva exp(−β 2 ) entre los valores β = 0 y β = x, luego depende sólo del valor
del extremo superior de integración elegido: x. El factor de normalización se ha
introducido para asegurar que la función ası́ definida tome el valor unidad cuando
x → ∞: erf(∞) = 1. En efecto, nótese que se puede demostrar (utilizando la función
Gamma) que: √
Z ∞
−x2 π
e dx =
0 2
Propiedades de la función de error
Para el cálculo de la integral (indefinida) de la función de error se integra por partes

y se utiliza la fórmula de derivación (67). Recordando la fórmula de integración por
partes
Z Z
du
u(x)dv = uv − v dx
dx
y definiendo u(x) = erf(x), v = x se tiene
Z Z
2
erf(x)dx = x erf(x) − exp(−x2 )xdx + K
π
Siendo 2xdx = d(x2 ) podemos escribir
Z
1
erf(x)dx = x erf(x) +exp(−x2 ) + K
π
donde K es una constante de integración arbitraria.
Los valores de la función de error se encuentran tabulados en varios textos. Una

referencia clásica es el libro de Abramowitz y Stegun (1965). Ocasionalmente es
conveniente utilizar la función de error complementaria, definida por
Z
2 ∞
erfc = 1 − erf = exp(−β 2 )dβ
π x
Nótese finalmente que la función de error puede aparecer al resolver un problema
de valor inicial para una ecuación diferencial ordinaria de primer orden.
Ejemplo 11.1. Resolver el problema de valor inicial

 dy − 2xy = 2
dx

y(0) = 1
El problema se puede resolver con los métodos del tema 13, sección 13.2.7.2 sobre
EDO lineales de primer orden completas. Concretamente utilizamos el método del
factor integrante mediante el cual convertimos la EDO de primer orden, lineal y
coeficientes variables en una EDO exacta que se resuelve por integración directa.
Como la ecuación ya se encuentra en su forma normal y 0 + a(x)y = b(x) el factor
integrante es Z
2
µ(x) = exp( a(x)dx) = e−x
La ecuación exacta es:
d ³ −x2 ´ 2
e y = 2e−x
dx
e integrando directamente se tiene
Z x
x2 2 2
y(x) = 2e e−t dt + cex
0
Sustituyendo la condición inicial en la expresión de y(x) se tiene c = 1; por consi-
guiente la solución del problema es
Z x
x2 2 2 2 ¡ √ ¢
y(x) = 2e e−t dt + ex = ex 1 + πerf(x)
0
11. Anexos 99
11.2. Tabla de Transformadas de Fourier
En el libro de Greenberg36 es posible encontrar la siguiente tabla de transformadas

exponenciales de Fourier. Nótese que la transformada tabulada es
Z ∞
ˆ
f (w) = f (x)e−iwx dx
−∞
√
es decir, sin el factor 1/ 2π que hemos utilizado en la definición. Otras tablas (tam-
bién para las transformadas seno y coseno) se encuentran en el libro de Kreyzsig37 ,
pag 619-621).
1.
1 π
f (x) = , a>0 =⇒ fˆ(w) = e−a|w|
x2 + a 2 a
2.
1
f (x) = H(x)e−ax , Re(a) > 0 =⇒ fˆ(w) =
a + iw
3.
1
f (x) = H(−x)eax , Re(a) > 0 =⇒ fˆ(w) =
a − iw
4.
2a
f (x) = e−a|x| , a>0 =⇒ fˆ(w) =
w2 + a2
5. √
fˆ(w) =
2 2 /4
f (x) = e−x , =⇒ πe−w
6.
1
fˆ(w) = ea w
2 2 2 2
f (x) = √ e−x /(2a) , =⇒
2a π
7. s
1 2π
f (x) = p , =⇒ fˆ(w) =
|x| |w|
8.
µ ¶
√ a π 2a3
f (x) = e −a|x|/ 2
sin √ |x| + , a>0 =⇒ fˆ(w) =
2 4 w4 + a4
36
37
Kreyszig, E. (1993). Advanced Engineering Mathematics. John Wiley and Sons, Inc.
9.
2 sin(wa)
f (x) = H(x + a) − H(x − a), =⇒ fˆ(w) =
w
10.
f (x) = δ(x − a), =⇒ fˆ(w) = e−iaw
11. ³w´
1
f (x) = f (ax + b), a>0 =⇒ fˆ(w) = eibw/a fˆ
a a
12.
1 ³x´
f (x) = e−ibx/a f , a > 0, b ∈ IR =⇒ fˆ(w) = fˆ(aw + b)
a a
13.
· µ ¶ µ ¶¸
1 w − c w + c
f (x) = f (ax) cos(cx), a > 0, c ∈ IR =⇒ fˆ(w) = fˆ + fˆ
2a a a
14.
· µ ¶ µ ¶¸
ˆ 1 ˆ w−c ˆ w+c
f (x) = f (ax) sin(cx), a > 0, c ∈ IR =⇒ f (w) = f −f
2ai a a
15.
f (x) = f (x + c) + f (x − c), c ∈ IR =⇒ fˆ(w) = 2fˆ(w) cos(wc)
16.
f (x) = f (x + c) − f (x − c), c ∈ IR =⇒ fˆ(w) = 2ifˆ(w) sin(wc)
17.
dn
f (x) = xn f (x), n = 1, 2, ..., =⇒ fˆ(w) = in n fˆ(w)
dw
11. Anexos 101
11.3. Tabla de Transformadas de Laplace
1.
1
f (t) = 1, t>0 =⇒ F (s) =
s
2.
1
f (t) = t, t>0 =⇒ F (s) =
s2
3.
tn−1 1
f (t) = , =⇒ F (s) = , n = 1, 2, 3, ..
(n − 1)! sn
4.
1 1
f (t) = √ , =⇒ F (s) = √
πt s
5. r
t 1
f (t) = 2 , =⇒ F (s) =
π s3/2
6.
tα−1 1
f (t) = , =⇒ F (s) = , α>0
Γ(α) sα
7.
1
f (t) = e−at , =⇒ F (s) =
s+a
8.
1
f (t) = te−at , =⇒ F (s) =
(s + a)2
9.
1 1
f (t) = (e−bt − e−at ), =⇒ F (s) =
b−a (s + a)(s + b)
10.
1 1
f (t) = tn−1 e−at , =⇒ F (s) = , n = 1, 2, ..
(n − 1)! (s + a)n
11.
tα−1 e−at 1
f (t) = , =⇒ F (s) = , α>0
Γ(α) (s + a)α
12.
1 s
f (t) = (be−bt − ae−at ), =⇒ F (s) =
b−a (s + a)(s + b)
13.
1 1
f (t) = sin(at), =⇒ F (s) =
a s2 + a2
14.
s
f (t) = cos(at), =⇒ F (s) =
s2 + a2
15.
1 1
f (t) = sinh(at), =⇒ F (s) =
a s2 − a2
16.
s
f (t) = cosh(at), =⇒ F (s) =
s2 − a2
17.
1 1
f (t) = [1 − cos(at)], =⇒ F (s) =
a2 s(s2 + a2 )
18.
1 1
f (t) = [at − sin(at)], =⇒ F (s) =
a3 s2 (s2 + a2 )
19.
1 1
f (t) = [sin(at) − at cos(at)], =⇒ F (s) =
2a3 (s2 + a2 )2
20.
t s
f (t) = sin(at), =⇒ F (s) =
2a (s2 + a2 )2
21.
1 s2
f (t) = (sin(at) + at cos(at), =⇒ F (s) =
2a (s2 + a2 )2
22.
s2 − a2
f (t) = t cos(at), =⇒ F (s) =
(s2 + a2 )2
23.
cos(at) − cos(bt) s
f (t) = , =⇒ F (s) =
b2 − a2 (s2 + a2 )(s2 + b2 )
24.
1 1
f (t) = eat sin(bt), =⇒ F (s) =
b (s − a)2 + b2
25.
(s − a)
f (t) = eat cos(bt), =⇒ F (s) =
(s − a)2 + b2
11. Anexos 103
26.
" Ã √ ! Ã √ !#
−at at/2 at 3 √ at 3 3a2
f (t) = e −e cos − 3 sin , =⇒ F (s) = 3
2 2 s + a3
27.
4a3
f (t) = sin(at) cosh(at) − cos(at) sinh(at), =⇒ F (s) =
s4 + 4a4
28.
1 s
f (t) = [sin(at) sinh(at)], =⇒ F (s) =
2a2 s4 + 4a4
29.
1 1
f (t) = [sinh(at) − sin(at)], =⇒ F (s) =
2a3 s4 − a4
30.
1 s
f (t) = [cosh(at) − cos(at)], =⇒ F (s) =
2a2 s4 − a4
31.
8a3 s2
f (t) = (1 + a2 t2 ) sin(at) − at cos(at), =⇒ F (s) =
(s2 + a2 )3
32. µ ¶n
et dn n −t 1 s−1
f (t) = (t e ), =⇒ F (s) =
n! dtn s s
33.
1 s
f (t) = √ eat (1 + 2at), =⇒ F (s) =
πt (s − a)3/2
34.
1 √ √
f (t) = √ (ebt − eat ), =⇒ F (s) = s−a− s−b
2 πt3
35.
1 2 √ 1
f (t) = √ − aea t erfc(a t), =⇒ F (s) = √
πt a+ s
36. √
1 2 √ s
f (t) = √ + aea t erf(a t), =⇒ F (s) =
πt s − a2
37. Z √ √
a t
1 2a 2 β2 s
f (t) = √ − √ e−a t e dβ, =⇒ F (s) =
πt π 0 s + a2
38.
1 2 √ 1
f (t) = ea t erf(a t), =⇒ F (s) = √
a s(s − a2 )
39. Z √
a t
2 2 2 1
f (t) = √ e−a t eβ dβ, =⇒ F (s) = √
a π 0 s(s + a2 )
40.
2 √ 1
f (t) = ea t erfc(a t), =⇒ F (s) = √ √
s(a + s)
41.
1 p 1
f (t) = √ e−at erf[ t(b − a)], =⇒ F (s) = √
b−a (s + a) s + b
42. √
−at s + 2a
f (t) = ae [I1 (at) + I0 (at)], =⇒ F (s) = √ −1
s
43. µ ¶
−(a+b)t/2 a−b 1
f (t) = e I0 t , =⇒ F (s) = p
2 (s + a)(s + b)
44. µ ¶α−1/2 µ ¶
√ t −(a+b)t/2 a−b
f (t) = π e Iα−1/2 t , =⇒
a−b 2
Γ(α)
=⇒ F (s) =
(s + a)α (s + b)α
45. · µ ¶ µ ¶¸
−(a+b)t/2 a−b a−b
f (t) = te I0 t + I1 t =⇒
2 2
1
=⇒ F (s) =
(s + a) (s + b)3/2
1/2
46. √ √
1 s + 2a − s
f (t) = e−at I1 (at), =⇒ F (s) = √ √
t s + 2a + s
47.
1
f (t) = J0 (at), =⇒ F (s) = √
s2 + a2
48. £√ ¤α
α s2 + a2 − s
f (t) = a Jα (at), =⇒ F (s) = √ , α > −1
s2 + a2
11. Anexos 105
49.
√ µ ¶α−1/2
π t 1
f (t) = Jα−1/2 (at), =⇒ F (s) = , α>0
Γ(α) 2a (s2 + a2 )α
50. h√ iα
αaα
f (t) = Jα (at), =⇒ F (s) = s2 + a2 − s , α>0
t
51. £√ ¤α
α s− s2 + a2
f (t) = a Iα (at), =⇒ F (s) = √ , α > −1
s2 − a2
52.
√ µ ¶α−1/2
π t 1
f (t) = Iα−1/2 (at), =⇒ F (s) = , α>0
Γ(α) 2a (s2 − a2 )α
53.
√ 1
f (t) = J0 (2 αt), =⇒ F (s) = e−α/s
s
54.
1 √ 1
f (t) = √ cos((2 αt), =⇒ F (s) = √ e−α/s
πt s
55.
1 √ 1
f (t) = √ cosh((2 αt), =⇒ F (s) = √ eα/s
πt s
56.
1 √ 1
f (t) = √ sin((2 αt), =⇒ F (s) = e−α/s
πα s3/2
57.
1 √ 1
f (t) = √ sinh((2 αt), =⇒ F (s) = eα/s
πα s3/2
58.
µ ¶(µ−1)/2
t √ 1 −α/s
f (t) = Jµ−1 (2 αt), =⇒ F (s) = e , α>0
α sµ
59. µ ¶(µ−1)/2
t √ 1 α/s
f (t) = Iµ−1 (2 αt), =⇒ F (s) = e , α>0
α sµ
12. Ejercicios sugeridos
Ejercicio 3.1. Sea dada la función
(
−1, 0 ≤ t < 1,
f (t) =
1, t ≥ 1.
Calcular L[f (t)] utilizando la definición.
1 e−s
Respuesta: L[f (t)] = − + 2 .
s s
(
4, 0 ≤ t < 2,
f (t) =
0, t ≥ 2.
4¡ ¢
Respuesta: L[f (t)] = 1 − e−2s .
s
(
t, 0 ≤ t < 1,
f (t) =
1, t ≥ 1.
1 e−s
Respuesta: L[f (t)] = 2 − 2 .
s s
(
2t + 1, 0 ≤ t < 1,
f (t) =
0, t ≥ 1.
12. Ejercicios sugeridos 107
e−s e−s 2 1
Respuesta: L[f (t)] = −3 −2 2 + 2 + .
s s s s

(
sin(t), 0 ≤ t < π,
f (t) =
0, t ≥ π.
e−sπ + 1
Respuesta: L[f (t)] = .
s2 + 1

(
cos(t), 0 ≤ t < π/2,
f (t) =
0, t ≥ π/2.
s e−sπ/2
Respuesta: L[f (t)] = + .
s2 + 1 s2 + 1
Ejercicio 3.7. Calcular la transformada de Laplace L[f (t)] (utilizando la definición)

de las siguientes funciones
1. f (t) = et+7 .
2. f (t) = e−2t−5 .
3. f (t) = te4t .
4. f (t) = t2 e3t .
5. f (t) = e−t sin(t).
6. f (t) = et cos(t).
Respuesta
e7
1. F (s) = .
s−1
e−5
2. F (s) = .
s+2
1
3. F (s) = .
(s − 4)2
2
4. F (s) = .
(s − 3)3
1
5. F (s) = .
(s + 1)2 + 1
s−1
6. F (s) = .
(s − 1)2 + 1
Ejercicio 3.8. Aplicar las tablas de transformadas de funciones básicas para cal-
cular L[f (t)] en los siguientes casos
1. f (t) = 2t4 .
2. f (t) = t5 .
3. f (t) = 4t − 10.
4. f (t) = 7t + 3.
5. f (t) = t2 + 6t − 3.
6. f (t) = −4t2 + 16t + 9.
7. f (t) = (t + 1)3 .
8. f (t) = 1 + e4t .
9. f (t) = t2 − e−9t + 5.
10. f (t) = 4t2 − 5 sin(3t).
11. f (t) = cos(5t) + sin(2t).
12. f (t) = sinh(kt).
13. f (t) = cosh(kt).
14. f (t) = et sinh(t).

15. f (t) = e−t cosh(t).
16. f (t) = sin(2t) cos(2t).
17. f (t) = cos2 (t).
Respuesta
48
1. F (s) = .
s5
120
2. F (s) = .
s6
4 10
3. F (s) = 2
− .
s s
7 3
4. F (s) = 2
+ .
s s
2 6 3
5. F (s) = 3
+ 2− .
s s s
8 16 9
6. F (s) = − 3
+ 2 + .
s s s
6 + 6s + 3s2 + s3
7. F (s) = .
s4
1 1
8. F (s) = + .
s s−4
2 1 5
9. F (s) = 3
− + .
s s+9 s
8 15
10. F (s) = 3
− 2 .
s s +9
50 + 4s + 2s2 + s3
11. F (s) = .
(s2 + 4)(s2 + 25)
k
12. F (s) = .
s2
− k2
s
13. F (s) = 2 .
s − k2
1
14. F (s) = .
(s − 1)2 − 1
s+1
15. F (s) = .
(s + 1)2 − 1
2
16. F (s) = .
s2 + 16
2 + s2
17. F (s) = .
s(s2 + 4)
· ¸
−1 1
Ejercicio 3.9. Calcular f (t) = L .
s2 + 64
1
Respuesta: f (t) = sin(8t).
8
Ejercicio 3.10. Aplicar las tablas de transformadas inversas de funciones básicas,

para calcular L−1 [F (s)] en los siguientes casos
1 1
1. F (s) = 3
, F (s) = 4
s s
s+1 s
2. F (s) = , F (s) =
s2 − 4s s2 + 2s − 3
1 48 1
3. F (s) = − , F (s) =
s2 s5 s2 + s − 20
µ ¶2
2 1 s
4. F (s) = − 3 , F (s) =
s s (s − 2)(s − 3)(s − 20)
(s + 1)3 s2 + 1
5. F (s) = , F (s) =
s4 s(s − 1)(s + 1)(s − 2)
(s + 2)2 2s + 4
6. F (s) = 3
, F (s) =
s (s − 2)(s2 + 4s + 3)
1 1 1 s+1
7. F (s) = − + , F (s) =
s2 s s − 2 (s2 − 4s)(s + 5)
4 6 1 1
8. F (s) = + 2− , F (s) = 2 2
s s s+8 s (s + 4)
1 s−1
9. F (s) = , F (s) = 2 2
4s + 1 s (s + 1)
1 s
10. F (s) = , F (s) = 2
5s − 2 (s + 4)(s + 2)
5
11. F (s) = ,
s2 + 49
10s 1
12. F (s) = , F (s) = 2
s2 + 16 (s + 1)(s2 + 4)
4s 6s + 3
13. F (s) = , F (s) = 2
4s2 +1 (s + 1)(s2 + 4)
1 1
14. F (s) = , F (s) =
4s2 + 1 s2 − 16
10s s−1
15. F (s) = , F (s) = .
s2 − 25 s2 + 2
Respuesta
1 1
1. f (t) = t2 , f (t) = t3
2 6
1 5 3 1
2. f (t) = − + e4t , f (t) = e−3t + et
4 4 4 4
1 1
3. f (t) = t − 2t4 , f (t) = e4t − e−5t
9 9
1 5 2 3 1 3 10 20t
4. f (t) = t − t + 4t, f (t) = e2t − e3t + e
120 3 9 17 153
1 3 1 1 5
5. f (t) = t3 + t2 + 3t + 1, f (t) = − et − e−t + e2t
6 2 2 3 6
8 2t 1 −3t 1 −t
6. f (t) = 2t2 + 4t + 1, f (t) = e − e − e
15 5 3
1 5 4
7. f (t) = t − 1 + e2t , f (t) = − + e4t − e−5t
20 36 45
1 1
8. f (t) = 4 + 6t − e−8t , f (t) = t − sin(2t)
4 8
1
9. f (t) = e−t/4 , f (t) = −t + 1 − cos(t) + sin(t)
4
1 1 1 1
10. f (t) = e2t/5 , f (t) = − e−2t + cos(2t) + sin(2t)
5 4 4 4
5
11. f (t) = sin(7t)
7
1 1
12. f (t) = 10 cos(4t), f (t) = sin(t) − sin(2t)
3 6
1
13. f (t) = cos(t/2), f (t) = 2 cos(t) + sin(t) − 2 cos(2t) − sin(2t)
2
1 1
14. f (t) = sin(t/2), f (t) = sinh(4t)
2 4
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 básicas y la definición de la función escalón, para calcular L[f (t)] en los
siguientes casos:
1. f (t) = te10t , f (t) = te−6t
2. f (t) = t3 e−2t ,
3. f (t) = et sin(3t), f (t) = e−2t sin(4t)

cosh(t)
4. f (t) = e5t sinh(3t), f (t) =
e−2t
¡ ¢2
5. f (t) = t et + e2t , f (t) = e2t (t − 1)2
6. f (t) = e−t sin2 (t), f (t) = et cos2 (3t)

7. f (t) = (t − 1)U (t − 1), f (t) = e2−t 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) = t2 sinh(t).
Respuesta
1 1
1. F (s) = 2
, F (s) =
(s − 10) (s + 6)2
6
2. F (s) =
(s + 2)4
3 4
3. F (s) = 2
, F (s) =
(s − 1) + 9 (s + 2)2 + 16
3 s−2
4. F (s) = 2
, F (s) = 4
(s − 5) − 9 s − 4s + 3
1 2 1 2 1 1
5. F (s) = 2
+ 2
+ 2
, F (s) = 3
−2 2
+
(s − 2) (s − 3) (s − 4) (s − 2) (s − 2) s−2
1 19 + s2 − 2s
6. F (s) = , F (s) =
(s + 1)[(s + 1)2 + 4] (s − 1)(s2 − 2s + 37)
e−s e−2s
7. F (s) = , F (s) =
s2 s+1
e−2s e−2s e−3s e−3s
8. F (s) = 2 + 2 , F (s) = 10 +3 2
s s s s
se−sπ se−sπ/2
9. F (s) = , F (s) =
s2 + 4 s2 + 1
6s 16s2 4
10. F (s) = 2 2
, F (s) = 2 3
− 2 .
(s − 9) (s − 4) (s − 4)2
Ejercicio 3.12. Aplicar los teoremas adecuados, las tablas de transformadas de

funciones básicas y la definición de la función escalón, para calcular L−1 [F (s)] en
los siguientes casos
1 1
1. F (s) = 3
, F (s) =
(s + 2) (s − 1)4
s 2s + 5
2. F (s) = , F (s) = 2
s2 + 4s + 5 s + 6s + 34
s 5s
3. F (s) = , F (s) =
(s + 1)2 (s − 2)2
2s − 1 (s + 1)2
4. F (s) = , F (s) =
s2 (s + 1)3 (s + 2)4
2
e−2s (1 + e−2s )
5. F (s) = 3 , F (s) =
s s+2
e−πs se−πs/2
6. F (s) = , F (s) =
s2 + 1 s2 + 4
e−s se−2s
7. F (s) = , F (s) = 2
s(s + 1) s (s − 1)
s s+1
8. F (s) = , F (s) = 2 2 .
(s2 + 1) 2 s (s + 2s + 2)2
Respuesta
1 1
1. f (t) = t2 e−2t , f (t) = t3 et
2 6
1
2. f (t) = e−2t cos(t) − 2e−2t sin(t), f (t) = 2e−3t cos(5t) − e−3t sin(5t)
5
3. f (t) = e−t (1 − t), f (t) = 5e2t (2t + 1)
3 1
4. f (t) = −t + 5 − t2 e−t − 4te−t − 5e−t , f (t) = t3 e−2t − t2 e−2t + te2t
2 6
1
5. f (t) = H(t−2)t2 −2tH(t−2)+2H(t−2), f (t) = e−2t +2H(t−2)+2H(t−2)
2
√
6. f (t) = − sin(t)H(t − π), f (t) = H(t − π/2) cos( 4(t − π/2))
7. f (t) = H(t − 1)(1 − e1−t ), f (t) = −H(t − 2)(1 − et−2 )
1 1 1 1 1
8. f (t) = (1/2)t sin(t), f (t) = t − + e−t cos(t) + e−t t cos(t) − e−t sin(t).
4 4 4 4 2
Ejercicio 3.13. Expresar cada función f (t) en términos de funciones escalón uni-
tario y determinar la transformada de Laplace L[f (t)] de la función respectiva siendo
1. (
2, 0 ≤ t < 3
f (t) =
−2, t ≥ 3
2. 

 1 0≤t<4

f (t) = 0 4≤t<5



1 t≥5
3. (
0 0≤t<1
f (t) =
t2 t ≥ 1
4. (
0 0 ≤ t < 3π/2
f (t) =
sin(t) t ≥ 3π/2
5. (
t 0≤t<2
f (t) =
0 t≥2
6. (
sin(t), 0 ≤ t < 2π
f (t) =
0, t ≥ 2π
Respuesta
1. (
2, 0 ≤ t < 3
f (t) =
−2, t ≥ 3.
En términos de la función escalón unitario se tiene
f (t) = 2U (t) − 4U (t − 3).

Su transformada es
2 e−3s
F (s) = −4 .
s s
2. 

 1, 0 ≤ t < 4

f (t) = 0, 4 ≤ t < 5



1, t ≥ 5.
f (t) = U (t) − U (t − 4) + U (t − 5).

Su transformada es
1 e−4s e−5s
F (s) = − + .
s s s
3. (
0, 0 ≤ t < 1
f (t) =
t2 , t ≥ 1.
f (t) = t2 U (t − 1).
Su transformada es
e−s e−s e−s

F (s) = +2 2 +2 3 .
s s s
4. (
0, 0 ≤ t < 3π/2
f (t) =
sin(t), t ≥ 3π/2.
µ ¶
3
f (t) = sin(t)U t− π .
2
Su transformada es
se−3πs/2
F (s) = − .
s2 + 1
5. (
t, 0 ≤ t < 2
f (t) =
0, t ≥ 2.
f (t) = tU (t) − tU (t − 2).

Su transformada es
1 e−2s e−2s
F (s) = − 2 − 2 .
s2 s s
6. (
sin(t), 0 ≤ t < 2π
f (t) =
0, t ≥ 2π.
f (t) = sin(t)U (t) − sin(t)U (t − 2π).

Su transformada es
1 e−2sπ
F (s) = − 2 .
s2 + 1 s2 + 1
Ejercicio 3.14. Sea dada una función y(t) tal que y(0) = 1 y y 0 (0) = −1. Deter-
minar la transformada de Laplace Y (s) = L[y(t)] de las ecuaciones siguientes
00 00
y + 3y 0 = 0, y − 4y 0 + 5y = 0
s−1 s−5
Respuesta: Y (s) = , Y (s) = .
s2 + 3 s2 − 4s + 5
Ejercicio 3.15. Sea dada una función y(t) tal que y(0) = 2 e y 0 (0) = 3. Determinar
la transformada de Laplace Y (s) = L[y(t)] de las expresiones siguientes
00 00
y − 2y 0 + y = sinh(t), y + y = e−t
2s3 − s2 − 2s + 2 2s2 + 5s + 4
Respuesta: Y (s) = , Y (s) = .
(s2 − 1)(s2 − 2s + 1) (s + 1)(s2 + 1)
Ejercicio 3.16. Calcular, sin evaluar la integral, las siguientes transformadas de

Laplace:
1. ·Z ¸
t
τ
L e dτ
0
2. ·Z ¸
t
L cos(τ )dτ
0
3. ·Z ¸
t
−τ
L e cos(τ )dτ
0
Respuesta
1. ·Z ¸
t
τ L[et ] 1
L e dτ = =
0 s s(s − 1)
donde se ha utilizado la transformada básica de la función exponencial.
2. ·Z t ¸
L[cos(t)] s 1
L cos(τ )dτ = = 2 = 2
0 s (s + 1)s s +1
donde se ha utilizado la transformada básica de la función cos(t).
3. ·Z t ¸
−τ L[e−t cos(t)] (s + 1)
L e cos(τ )dτ = =
0 s s[(s + 1)2 + 1]
donde se ha utilizado la transformada básica de la función cos(t) y la fórmula
del desplazamiento (o primer teorema de traslación) para el factor exponencial.
Ejercicio 3.17. Calcular la siguientes transformadas de Laplace:
1. £ ¤
L 1 ∗ t3
2. £ ¤
L 1 ∗ e−2t
3. £ ¤
L t2 ∗ t4
4.
L[t2 ∗ tet ]
5. £ ¤
L e−t ∗ et cos(t)
6. £ ¤
L e2t ∗ sin(t)
Respuesta
1.
£ ¤ 6
L 1 ∗ t3 = 5
s
2.
£ ¤ 1
L 1 ∗ e−2t =
s(s + 2)
3.
£ ¤ 48
L t2 ∗ t4 = 8
s
4.
2
L[t2 ∗ tet ] =
s3 (s − 1)2
5.
£ ¤ (s − 1)
L e−t ∗ et cos(t) =
(1 + s)[(s − 1)2 + 1]
6.
£ ¤ 1
L e2t ∗ sin(t) =
(s − 2)(s2 + 1)
Ejercicio 3.18. Resolver el siguiente PVI utilizando el método de la transformada

de Laplace ( 0
y −y = 1
(P V I)
y(0) = 0.
Respuesta: La única solución del PVI es y(t) = −1 + et .

de Laplace ( 0
y + 2y = t
(P V I)
y(0) = −1.
1 1 3
Respuesta: y(t) = − + t − e−2t .
4 2 4

de Laplace ( 0
y + 4y = e−4t
(P V I)
y(0) = 2.
Respuesta: y(t) = te−4t + 2e−2t .

de Laplace ( 0
y − y = sin(t)
(P V I)
y(0) = 0.
Respuesta: y(t) = 12 et − 21 cos(t) − 12 sin(t).
Ejercicio 3.22. Expresando la función f (t) en términos de funciones escalón uni-

tario, resolver el siguiente PVI utilizando el método de la transformada de Laplace
( 0 (
y + y = f (t) 0 0≤t<1
(P V I) , siendo f (t) =
y(0) = 0 5 t ≥ 1.
Respuesta: y(t) = 5H(t − 1)[1 − e1−t ].

( 0 (
y + y = f (t) 1 0≤t<1
y(0) = 0 −1 t ≥ 1.
Respuesta: y(t) = 1 − e−t − 2H(t − 1)[1 − e1−t ].

( 0 (
y + 2y = f (t) t 0≤t<1
y(0) = 0 0 t ≥ 1.
Respuesta
1 1 1 1 3 1
y(t) = t− + e−2t −H(t−1)[1−e2−2t ]− tH(t−1)+ H(t−1)− H(t−1)[1−e2−2t ]
2 4 4 2 4 4

de Laplace
 00

 y + 5y 0 + 4y = 0

(P V I) y(0) = 1



y 0 (0) = 0.
1 4
Respuesta: y(t) = − e−4t + e−t .
3 3

de Laplace
 00

 y − 6y 0 + 13y = 0

(P V I) y(0) = 0



y 0 (0) = −3.
3 3 3
Respuesta: y(t) = − e5t + et = [cosh(5t) + sinh(5t) + cosh(t) + sinh(t)] .
4 4 4

de Laplace
 00

 y − 6y 0 + 9y = t

(P V I) y(0) = 0



y 0 (0) = 1.
10 3t 1 2 2
Respuesta: y(t) = te + t + − e3t .
9 9 27 27

de Laplace
 00

 y − 4y 0 + 4y = t3

(P V I) y(0) = 1



y 0 (0) = 0.
13 2t 1 2t 1 3 3 2 9 3
Respuesta: y(t) = − te + e + t + t + t + .
8 4 4 4 8 4

de Laplace
 00

 y − 4y 0 + 4y = t3 e2t

(P V I) y(0) = 0



y 0 (0) = 0.
1 5 2t
Respuesta: y(t) = te .
20

de Laplace
 00

 y − 2y 0 + 5y = 1 + t

(P V I) y(0) = 0



y 0 (0) = 4.
1 7 7 51
Respuesta: y(t) = t + − et cos(2t) + et sin(2t).
5 25 25 25

de Laplace
 00

 y + y = sin(t)

(P V I) y(0) = 1



y 0 (0) = −1.
1 1
Respuesta: y(t) = − t cos(t) − sin(t) + cos(t).
2 2

de Laplace
 00

 y + 16y = 1

(P V I) y(0) = 1



y 0 (0) = 2.
1 15 1
Respuesta: y(t) = + cos(4t) + sin(4t).
16 16 2

de Laplace
 00

 y − y 0 = et cos(t)

(P V I) y(0) = 0



y 0 (0) = 0.
1 1 t 1
Respuesta: y(t) = − e cos(t) + et sin(t).
2 2 2

de Laplace
 00

 y − 2y 0 = et sinh(t)

(P V I) y(0) = 0



y 0 (0) = 0.
1 1 1 1
Respuesta: y(t) = t + + te2t − e2t .
4 4 4 4

 00

 y + 4y = f (t) (
 1 0≤t<1
(P V I) y(0) = 0, , siendo f (t) =

 0 t ≥ 1,

y 0 (0) = −1,
Respuesta
5 5 1 1 5 1
y(t) = − + e−4t + t − tH(t − 1) + H(t − 1) − H(t − 1)e4−4t .
16 16 4 4 16 16

 00 

 y + y = f (t) 
 0, 0 ≤ t < π
 
(P V I) y(0) = 0 , siendo f (t) = 1, π ≤ t < 2π

 

 
y 0 (0) = 1 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

 00

 y − 6y 0 + 9y = t2 e3t

(P V I) y(0) = 2



y 0 (0) = 6
y determinar:
1. La respuesta de estado cero.

2. La respuesta de entrada cero.
3. La función de transferencia.
4. La función peso del sistema.
Respuesta
1. La respuesta de estado cero corresponde a la función

1 4 3t
y0 (t) = te
12
2. La respuesta de entrada cero corresponde a la función
y1 (t) = 2e3t
3. La función de transferencia es
1 1
W (s) = = 2
P (s) s − 6s + 9
4. La función peso del sistema es la transformada inversa de la función de trans-

ferencia
w(t) = L−1 [W (s)] = te3t
13. Ejercicios relativos al segundo tema propuestos

en exámenes
Ejercicio 1. Examen control. 9/6/2000. Problema 1
Determinar la solución y(t) del problema de valor inicial

 00

 y + 4y = 3H5 (t) sin(t − 5)

(P V I) y(0) = 1,



y 0 (0) = 0,
siendo H5 (t) la función de Heaviside (desplazada) definida por
½
. 0 t≤5
H5 (t) =
1 t>5
Ejercicio 2. Examen septiembre. 14/9/2000. Problema 2
 00

 y + 4y = 3 cos(t)


(P V I) y(0) = 0,




y 0 (0) = 0,
NOTA: La ecuación que define (junto a las dos condiciones iniciales) el (PVI)
propuesto se conoce como la ecuación del oscilador armónico forzado y modela una
masa unitaria deslizándose sobre un plano sin fricción, con una costante de resorte
de 4 y una fuerza externa periódica de 3 cos(t).
Ejercicio 3. Examen de junio. 5/6/2001. Problema 1 Determinar la solución
y(t) del problema de valor inicial

 00

 y + 2y 0 + 5y = 1 − H7 (t)

(P V I) y(0) = 0,



y 0 (0) = 0,
13. Ejercicios relativos al segundo tema propuestos en exámenes 127
siendo H7 (t) la función de Heaviside (desplazada) definida por

(
. 0 t≤7
H7 (t) = U (t − 7) =
1 t>7
Ejercicio 4. Examen de junio. 4/6/2002. Problema 1
 00

 y + 16y = f (t)

(P V I) y(0) = 0,



y 0 (0) = 1,
siendo f (t) la función definida a trozos por

(
cos(4t) 0 ≤ t < π
f (t) =
0 t≥π
a) Definir la función f (t) en términos de la función de Heavisid.
b) Resolver el PVI mediante aplicación de la transformada de Laplace.
c) Escribir la solución encontrada como una función definida a trozos.
Ejercicio 5. Examen de junio. 4/6/2003. Problema 1
Sea dado el Problema de Valores Iniciales (PVI)
 00 0

 y + y = f (t), t > 0,

(P V I) y(0) = 0,



y 0 (0) = 0,
siendo f (t) la función definida a trozos por

( −t
e , 0 ≤ t < 1,
f (t) =
0, t ≥ 1.
a) Definir la función f (t) en términos de la función de Heaviside. (2 puntos)
b) Resolver el PVI mediante aplicación de la transformada de Laplace. (18 pun-

tos)
c) Escribir la solución encontrada como una función definida a trozos. (2 puntos).

Calcular su comportamiento para tiempos grandes. (3 puntos)
14. Bibliografı́a Básica 129
14. Bibliografı́a Básica

1. Acero, I., López, M., (1997). Ecuaciones diferenciales. Teorı́a y problemas. Ed.:
Tébar Flores.
Se trata de un libro muy simple y fácil de ler, adecuado para el estudiante
que quiera una primera toma de contacto con la trasnformada de Laplace (que
se puede encontrar en el capı́tulo 5). Contiene varios ejemplo y problemas
resueltos y es aconsejable para un nivel básico inicial.
2. Apostol, T.M., (1982). Análisis Matemático. 2 ed. Editorial Reverté.

Se trata de un texto excelente, muy riguroso y completo. Seguramente aconse-
jable para el profesor aunque quizás de un nivel avanzado para el estudiante.
El material desarrollado en este tema se encuentra básicamente en el capı́tulo
11, dedicado a las series y a las integrales de Fourier. Muy interesante (pero
sólo a nivel de ampliación) es el capı́tulo 16 (teorema de Cauchy y cálculo de
residuos), sección 16.26, dedicada a la aplicación del teorema del residuo a la
fórmula de inversión para transformadas de Laplace.
3. Krasnov, M., Kiseliov, A., Makarenko, G., Shikin, (1994). E. Curso de matemáticas
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 práctico, indicado para una introducción al cálculo
y aplicación de la transformada de Laplace al caso de sistemas lineales de
ecuaciones diferenciales ordinarias. Aconsejable aunque de nivel muy básico,
no contiene aplicaciones a la resolución de EDP mediante transformadas luego
no cubre en absoluto el temario desarrollado en clase.
15. Bibliografı́a Avanzada

1. Greenberg, M.D. (1998). Advanced Engineering Mathematics. International
Edition.
Un texto muy práctico dedicado a las ingenierı́as (véanse los comentarios he-
chos en los temas anteriores). El material aquı́ desarrollado se encuentra en
la primera parte, capı́tulo 5 (Transformada de Laplace) y en la cuarta parte,
capı́tulos 17, 18 y 20, dedicados a los métodos de Fourier y a las ecuaciones
en derivadas parciales.
2. A. Erdérly, Tables of Integral Transforms. Vol. 1 y 2. New York: McGraw-Hill,

1954.
Una referencia clásica y muy completa dedicada a la recopilación 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 tı́pico texto amer-
icano, escrito por un matemático y dedicado a las aplicaciones avanzadas de las
matemáticas a las ingenierı́as. Hemos utilizado el capı́tulo 6 (Transformadas
de Laplace) de la parte A y los capı́tulos 10 y 11 de la parte C (Análisis 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 edición. SIAM.
Un texto clásico en lo que se refiere a la pedagogı́a de la matemática aplicada.
Es extremadamente sugerente (debido a los numerosos modelos considerados)
y contiene un tratamiento muy elegante del análisis de Fourier (capı́tulos 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 matemáticas a la
mecánica y a la geofı́sica. Hemos utilizado el capı́tulo 7 dedicado a las EDP en
dominios no acotados y a su resolución mediante el uso de las transformadas
integrales. Es de muy buen nivel aunque quizás no demasiado riguroso a nivel
teórico.
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 matemático aplicado cuanto al in-
geniero quı́mico. Hace un puente entre la teorı́a y las aplicaciones, ilustrando
además los conocimientos básicos 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 capı́tulo 9. La aplicación de los métodos
integrales a la resolución de las EDP lineales se analiza en el capı́tulo 11. Tiene
un enfoque quizás demasiado avanzado si lo comparamos con el material de-
sarrollado en clase, respresentando sin embargo una referencia fundamental
para el profesor.

Tema3transf Fourier

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Tema3transf Fourier

Загружено:

Авторское право:

Доступные форматы

1

Métodos analı́ticos de resolución

4. El paso de la integral de Fourier a la transformada de Laplace . . . . 32

10.3.1. Sistema semi-infinito: Difusión de un sólo compo-

Métodos analı́ticos de resolución

La introducción de las series de Fourier (vistas en el tema anterior), de la integrales de

Para dominios finitos de forma geométrica simple y cuando el método de separación

En este tema se consideran los métodos de resolución de ecuaciones en derivadas

desarrollaremos de manera heurı́stica pero que puede ser rigurosamente justificado)

Ilustaremos aquı́, aunque de manera intuitiva, el importante paso conceptual (o

1.1. De las series a las transformadas de Fourier: la integral

Si una función f que está definida en −∞ < x < ∞ es periódica (y suficientemente

Podemos entonces formular el teorema de la integral de Fourier

Entonces la integral de Fourier de f :

converge a f (x) en cualquier punto donde f es continua y converge a su promedio

Demostración: La demostración rigurosa de este resultado va más allá de los

Resumiendo, hemos obtenido la representación integral de Fourier de funciones no

En la próxima sección se explicará como se obtiene la transformada de Fourier a

1.2. De la integral de Fourier a la transformada de Fourier

Expresión alternativa de la representación integral de Fourier de f

La expresión alternativa (4) de la integral de Fourier de f (dada en (2)) se puede en

(dada en (4)), expresada en términos de exponenciales complejas. Las fórmulas (9)

Utilizando (9) se tiene

Podrı́amos también mostrar la aplicación de la fórmula de inversión, poniendo

Utilizando (9) se tiene

Normalmente el cálculo de la transformada de Fourier (y de la inversa) se realiza

La transformada de Fourier, al igual que la de Laplace que detallaremos en la sec-

1.3. La integral de Fourier

La transformada de Fourier es la transformación

Definición 2.1. Dada una función u suave a trozos y absolutamente integrable en

Nótese que la definición se extiende al caso complejo. La transformada de Fourier

Observación 2.1. Denotaremos, dependiendo del contexto, la transformada de Fouri-

U (ξ), û(ξ), F [u(x)], F [u](ξ)

También usaremos distintas variables del tipo ξ, w, α o s para indicar la dependencia

La condición para la integrabilidad absoluta de la función u(x) en todo el eje real

Tablas de transformadas de Fourier se encuentran por ejemplo en los libros de Green-

2.1. La Transformada inversa de Fourier

Utilizando la transformada de Fourier la fórmula de inversión puede ser escrita en

o invertiendo el signo en la variable muda ξ

2.2. Transformaciones seno y coseno

Las transformadas seno y coseno de Fourier se utilizan para la resolución de EDP

Aprovechando la fórmula trigonométrica de coseno de la diferencia de dos ángulos

cos[ξ(x − τ )] = cos(ξx − ξτ ) = cos(ξx) cos(ξτ ) + sin(ξx) sin(ξτ )

en la fórmula integral de Fourier (11) se tiene:

Es posible también comprobar que

2.3. Propiedades de la transformada de Fourier

El operador (integral) transformada de Fourier

satisface las siguientes propiedades

PROPIEDADES DE LA TRANSFORMADA DE FOURIER

1. Linealidad de la transformada de Fourier.

F [αf (x) + βg(x)] = αF [f (x)] + βF [g(x)], ∀ α, β ∈ IR

2. Acotación de la transformada de Fourier.

3. Desplazamiento de una función

F [ua ](ξ) = e−iξa F [u](ξ)

4. Fórmula del desplazamiento.

5. Transformada de una derivada. En las aplicaciones de la transformada

Sea dada una función u = u(x) derivable. Si existe la transformada de u0 (x)

Condiciones suficientes que aseguran la existencia de esta transformada son,

Ejemplo 2.1. Calcular la transformada de Fourier de la función u(x) =

Utilizando la fórmula (13), la propiedad de linealidad y la tabla de transfor-

6. Transformada de derivadas de orden superior. Dos aplicaciones sucesi-

Se razona de forma análoga para las derivadas de orden superior. En efecto se

F [u(k) (x)](ξ) = (iξ)k F [u(x)](ξ), k = 0, 1, ..., m