Universidad Tecnológica de pereira

Facultad de Ciencias Básicas

métodos de algunas
transformadas integrales para
determinar las soluciones de
ecuaciones diferenciales
ordinarias y parciales
Monografı́a como trabajo de grado presentada por:
jhon fredy gonzález
para optar al grado de:
licenciado en matemáticas y fı́sica

Trabajo de grado dirigido por:

Fernando Mesa Ms.C
Profesor tı́tular, Departamento de Matemáticas
Facultad de Ciencias Básicas
Universidad Tecnológica de Pereira

Pereira 9 de diciembre de 2015

Programa de Licenciatura en Matemáticas y Fı́sica

2
Índice general

1. Introducción 9

2. Objetivos 13
2.1. Objetivo General . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2. Objetivos especı́ficos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

3. La transformada de Fourier 15
3.1. Serie de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3.1.1. Serie compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2. Integral de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.3. Integral de Fourier compleja . . . . . . . . . . . . . . . . . . . . . . . . 25
3.4. Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.5. Propiedades y aplicaciones de la transformada de Fourier . . . . . . . . 35
3.5.1. Transformada de Fourier de una derivada . . . . . . . . . . . . . 35
3.5.2. Diferenciación respecto a la variable de frecuencia . . . . . . . . 36
3.5.3. La transformada de Fourier de una integral . . . . . . . . . . . . 37
3.5.4. Convolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.5.5. La transformada de Fourier ventaneada . . . . . . . . . . . . . . 41
3.6. Tabla de transformadas de Fourier . . . . . . . . . . . . . . . . . . . . 42

4. La transformada de Laplace 43
4.1. Transformada de Laplace y su relación con la transformada de Fourier . 43
4.2. Propiedades de la transformada de Laplace . . . . . . . . . . . . . . . . 47

5. Aplicación de las transformadas para resolver ecuaciones diferenciales

ordinarias y parciales 49
5.1. Ecuación de calor en un dominio infinito . . . . . . . . . . . . . . . . . 49

3
4 Índice general

5.2. La ecuación de difusión no-homogénea . . . . . . . . . . . . . . . . . . 56

5.3. Problemas en la frontera . . . . . . . . . . . . . . . . . . . . . . . . . . 59
5.4. Aplicación a problemas de difusión . . . . . . . . . . . . . . . . . . . . 61

6. Conclusiones 71

7. Bibliografı́a 73
Índice de figuras

3.1. Representación trigonométrica de número complejo. . . . . . . . . . . . 19

3.2. Significado geométrico de la convergencia en media. . . . . . . . . . . . 22
3.3. Discontinuidad de la convergencia en media. . . . . . . . . . . . . . . . 23
3.4. Función pulso. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.5. Espectro de amplitud de f . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.6. Representación gráfica corrimiento del tiempo. . . . . . . . . . . . . . . 32
3.7. Gráfica de f (t) ejemplo (3.4.7). . . . . . . . . . . . . . . . . . . . . . . 34

5.1. Barra metálica de longitud infinita. . . . . . . . . . . . . . . . . . . . . 49

2
5.2. Gráfica de f (x) = e−x . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.3. Barra metálica de longitud finita. . . . . . . . . . . . . . . . . . . . . . 59
5.4. Difusión unı́dimensional en una columna finita. . . . . . . . . . . . . . 61
5.5. Grafica de c(x, t) sobre un intervalo infinitamente pequeño. . . . . . . . 62
5.6. Difusión a lo largo de una columna finita. . . . . . . . . . . . . . . . . . 64
5.7. Gráfica del problema (5.4.3). . . . . . . . . . . . . . . . . . . . . . . . . 66

5
6 Índice de figuras
Índice de cuadros

3.1. Tabla de Transformadas de Fourier. . . . . . . . . . . . . . . . . . . . . 42

7
8 Índice de cuadros
1

Introducción

Este problema se origino inicialmente en el campo de la astronomı́a, de hecho Neu-

gebauer (1952) descubrió que en Babilonia se utilizaba una forma primitiva de las series
de Fourier en la predicción de ciertos eventos celestiales. En nuestra historia moderna
sobre el uso de las series de Fourier se originó con D′ alembert en (1774) con su trabajo
sobre las oscilaciones en las cuerdas del violı́n. El desplazamiento u = u(t, x) de una
cuerda de violı́n, como una función del parámetro temporal t y de la posición x, es la
solución de la ecuación diferencial parcial unidimensional:
∂2u 2
∂t2
= c2 ∂∂xu2 , t > 0, 0 < x < l,

utilizando las condiciones iniciales u(t, 0) = u(t, l) = 0 para t ≥ 0, ∂u

∂t
(0, x) = 0 para
0 < x < l. Este problema tiene como solución la superposición de dos ondas viajando
en direcciones opuestas a velocidad c, como lo expresa la formula de D′ alembert:

u(t, x) = 12 f (x + ct) + 21 f (x − ct),

con lo cual f es una función impar de periodo l que se anula en los puntos x = nπ l
,
donde n es un número natural.
Euler en (1748) postuló que tal solución podrı́a ser identificada como una serie de la
forma:
P∞
f (x) = n=1 fˆ(n) sin( nπx
l
),

y como consecuencia:
P∞
u(t, x) = n=1 fˆ(n) cos( nπt
l
) sin( nπx
l
).

9
10 1. Introducción

Esta manera de interpretar estos fenómenos fueron también adoptadas por D.Bernoulli
(1753) y Lagrange(1759).
La expresión:
Rl
fˆ(n) = 2
l 0
f (x) sin( nπx
l
)dx,

para calcular los coeficientes de la serie fue descrita por primera vez en un artı́culo
escrito por Euler en (1777).
El aporte realizado por Fourier empezó en (1807) con sus estudios del problema del
flujo de calor donde:
∂u 1 ∂2u
∂t
= 2 ∂x2
,

sustentado ante la Academie Des Sciences en (1811) y publicado en gran parte como
Theorie Analytique de la Chaleur en (1822). Fourier realizó intentos muy serios para
concluir la demostración, que cualquier función que posea derivada puede ser expresada
en una serie trigonométrica.

Un ensayo positivo de esta teorı́a fue dada por Dirichlet en (1829). Riemann por su
parte también hizo grandes aportes para solucionar este problema.
Actualmente el análisis de Fourier ha sido catapultado por matemáticos de la talla de
Lebesgue, Hardy, Littlewood, Wiener, Frobenius, Selberg, Weil y Weyl entre otros.

Por otro lado para estudiar la transformada de Laplace se tienen en cuenta algunos
apartes de su historia; la transformada de Laplace posee su nombre en mención a Pierre
Simón Laplace (1749-1827) astrónomo y matemático francés popular en su tiempo y se
le conocı́a como el Newton de Francia. Las principales materias de su interés fueron la
mecánica celeste o movimiento planetario, la teorı́a de probabilidades. Algunos de sus
aportes son:

Mécanique Céleste gran tratado sobre cuestiones de gravitación publicado en cin-

co volúmenes entre los años de (1799) y (1825). La principal herencia de esta
publicación se resume en el desarrollo de la teorı́a de potencial, con implicaciones
de largo alcance en ramas derivadas de la fı́sica que van desde la gravitación, la
mecánica de fluı́dos, el magnetismo y la fı́sica atómica.
 11

Théorie Analytique des Probabilités que se considera el mayor aporte a esa parte
de las matemáticas.

Despúes de la revolución Francesa, la ambición y el poder polı́tico alcanzaron su glorı́a;

Laplace se adaptaba muy fácil cambiando sus principios. El principal defecto que se le
han atribuido en contra de su buena reputación es la omisión de toda referencia a los
descubrimientos de sus predecesores y contemporáneos, dejando ver que las ideas eran
suyas del todo.

La Transformada de Laplace es una herramienta Matemática que hace parte de al-

gunas transformadas integrales como la transformada de Fourier, la transformada de
Hilbert y la transformada de Mellin, entre otras. Estas transformadas están definidas
por medio de una integral impropia y cambian una función que posee una variable de
entrada, en otra función en otra variable distinta.
La transformada de Laplace puede ser usada para resolver ecuaciones diferenciales linea-
les y ecuaciones integrales; aunque también se puede utilizar para resolver algunos tipos
de ecuaciones diferenciales ordinarias con coeficientes variables; en general se aplica en
la solución de problemas con coeficientes constantes y como requisito fundamental se
deben conocer las condiciones iniciales de la misma ecuación diferencial para encontrar
la solución.
Su mayor ventaja sale a la luz cuando la función en la variable independiente que apa-
rece en la ecuación diferencial es una función seccionada. Al solucionar, se resuelven
ecuaciones diferenciales usando la técnica de la transformada, se cambia una ecuación
diferencial por un problema algebraico. La metodologı́a consiste en aplicar la transfor-
mada a la ecuación diferencial y después usar las propiedades de la transformada.
El problema desde ahora, consiste en encontrar una función en la variable independiente
que posea una cierta expresión como transformada.
La idea base de las series de Fourier es que cualquier función periódica de periodo T se
puede expresar utilizando la súma trigonométrica de senos y cosenos del mismo periodo
T.
12 1. Introducción
2

Objetivos

2.1. Objetivo General

Utilizar algunas transformadas integrales para solucionar algunas ecuaciones dife-
renciales ordinarias con problemas de Cauchy Schwarz y en la frontera.

2.2. Objetivos especı́ficos

1. Describir el proceso de obtención de la transformada de Fourier a partir de la
serie de Fourier.

2. Descripción de las diferentes transformadas de Fourier y sus utilidades.

3. Obtener la transformada de Laplace a partir de un caso especifico de aplicación

de la transformada de Fourier y su aplicación para resolver algunas ecuaciones en
derivadas.

4. Descripción detallada de la utilización de la transformada de Fourier para solu-

cionar problemas con dominios infinitos.

5. Aplicaciones de la transformada de Fourier para resolver algunas ecuaciones en

derivadas.

13
14 2. Objetivos
3

La transformada de Fourier

3.1. Serie de Fourier

Sea f (x) una función definida en el intervalo finito −L ≤ x ≤ L; y suponiendo
RL
por ahora que −L f (x)dx existe. Se desea encontrar la posibilidad de elegir números
{an }∞ ∞
n=0 , {bn }n=1 tales que:

X∞ h  nπx   nπx i
1
f (x) = a0 + an cos + bn sen , (3.1)
2 n=1
L L

para −L ≤ x ≤ L. En algunas ocasiones es complicado cumplir con éstas condiciones,

pero no es imposible ya que esto puede suceder bajo ciertas restricciones; la primera
de ellas es asumir que la ecuación (3.1) es cierta; y para conocer los coeficientes que
aparecen en la ecuación (3.1), Fourier conocı́a un ingenioso método para su obtención,
para lo cual tomaremos el siguiente lema.
Lema: Sean m y n números enteros no negativos, entonces:

1. Z L  nπx   mπx 
cos sen dx = 0.
−L L L

2. Si m 6= n, entonces:
Z L  nπx   mπx  Z L  nπx   mπx 
cos cos dx = sen sen dx = 0.
−L L L −L L L

15
16 3. La transformada de Fourier

3. Si n 6= 0, entonces:
Z L  nπx  Z L  nπx 
2
cos dx = sen2 dx = L,
−L L −L L

el lema se puede comprobar integrando directamente las expresiones anteriores. Para

encontrar a0 , se integra la serie de Fourier término a término, tomando como suposición
que se puede integrar (esto es posible de la convergencia) obteniendo:
Z L Z L ∞ 
X Z L  nπx  Z L  nπx  
1
f (x)dx = a0 dx + an cos dx + bn sen dx .
−L 2 −L n=1 −L L −L L

Resolviendo las integrales de la derecha las cuales se anulan, queda por resolver la
primera integral la cual se reduce a:
Z L
f (x)dx = a0 L.
−L

De aquı́: Z L
1
a0 = f (x)dx.
L −L

Ahora el trabajo consiste en determinar ak para cualquier entero positivo k, multipli-

cando la ecuación (3.1) por cos kπx
L
e integrando cada termino de la serie se obtiene:
Z L   Z L  
kπx 1 kπx
f (x) cos dx = a0 cos dx
−L L 2 −L L
X∞  Z L  nπx    Z L  nπx    
kπx kπx
+ an cos cos dx + bn sen cos dx .
n=1 −L L L −L L L

En este caso casi todas las integrales de la derecha son iguales a cero, excepto la
RL


−L
cos kπx
L
cos kπx
L
dx, que resulta cuando n = k y el resultado de esta integral
es igual a L; el lado derecho de esta ecuación se reduce a un solo término y la expresión
se convierte en: Z L  
kπx
f (x) cos dx = ak L,
−L L
de donde: Z  
L
1 kπx
ak = f (x) cos dx.
L −L L
3.1. Serie de Fourier 17

Para encontrar bk para cualquier entero positivo k, multiplicando la ecuación (3.1) por


sen kπx
L
e integrando cada termino de la serie se obtiene:
Z L   Z L  
kπx 1 kπx
f (x) sen dx = a0 sen dx
−L L 2 −L L
X∞  Z L  nπx    Z L  nπx    
kπx kπx
+ an cos sen dx + bn sen sen dx .
n=1 −L L L −L L L

De nuevo se nota que las integrales de la derecha son iguales a cero, excepto la expresión
RL


−L
sen nπx
L
sen kπx
L
dx, que resulta cuando n = k y el resultado de esta integral es
igual a L; el lado derecho de esta ecuación se reduce a un solo término y la expresión
se convierte en: Z L  
kπx
f (x) sen dx = bk L,
−L L
de donde: Z  
L
1 kπx
bk = f (x) sen dx.
L −L L
Con lo visto anteriormente, se encontrarón los coeficientes de la serie trigonométri-
ca (3.1), este argumento se utiliza para elegir los coeficientes, al menos bajo ciertas
condiciones. Es de notar que en el documento siguiente se abordara la serie compleja
y se evidenciara el aporte de la serie compleja de Fourier para la construcción de la
transformada de Fourier.

3.1.1. Serie compleja

Antes de abordar la serie compleja, se debe hacer énfasis en el manejo de los números
complejos, y las grandes aplicaciones que se han realizado utilizando la transformada
de Fourier, para modelar algunos fenómenos fı́sicos presentados en distintas áreas del
conocimiento, como se puede evidenciar en la medicina, al realizar diagnósticos utili-
zando ecografı́as en las cuales se pueden analizar las vibraciones de cada una de las
membranas del corazón por medio de curvas sinusoidales; adicional a esto, presenta
también muchas aplicaciones en el el estudio de señales. Para entrar en materia se re-
visan algunos de los mas importantes conceptos requeridos para trabajar con números
complejos.

Dada una pareja ordenada que representa un número complejo a + bi, donde su
conjugado es a + bi = a − bi e identificando a a + bi como una pareja ordenada
18 3. La transformada de Fourier

en el plano, se puede afirmar que a − bi = (a, −b); a este hecho se le denomina

reflexión de (a,b) a lo largo del eje horizontal real.

El conjugado de un producto es igual al producto de los conjugados:

zw = z w,

para cualquier número complejo z y w.

Para representar la magnitud o modulo de cualquier número complejo de la forma

√
a + bi es |a + bi| = a2 + b2 , que es la distancia desde el origen (0,0) hasta el
punto de coordenadas (a,b); es interesante realizar el siguiente análisis

(a + bi)(a + bi) = a2 + b2 = |a + bi|2 .

Si escribimos el número complejo por medio de la letra z, se obtiene la ecuación:

zz = |z|2 .

Ahora se verifica la ecuación anterior utilizando coordenadas x = r cos(θ), y =

r sen(θ) para que la expresión se convierta en:

z = x + iy = r cos(θ) + ir sen(θ) = r [cos(θ) + i sen(θ)] = reiθ ,

el cual se conoce como la formula de Euler. La magnitud de r, se escribe como

r = |z| y θ se denomina argumento principal de z, lo que significa que θ es el
ángulo medido en sentido antihorario desde la parte positiva del eje horizontal


real x y el punto (x, y) o (x + iy) en el plano complejo; donde θ = arctan xy .
3.1. Serie de Fourier 19

ℑz

z(r, θ)

y = r sen(θ)

r
θ
b ℜz
x = r cos(θ)

Figura 3.1: Representación trigonométrica de número complejo.

La formula de Euler, permite representar las funciones seno y coseno por medio
de solo variaciones de la función exponencial, simplemente resolviendo las siguientes
formulas:
eix = cos(x) + i sen(x); e−ix = cos(x) − i sen(x),

para obtener ası́ la formula de Euler para el seno y coseno:

eix + e−ix eix − e−ix

cos(x) = ; sen(x) = . (3.2)
2 2i

Para construir la serie compleja de Fourier se tiene en cuenta lo siguiente:

Sea una función f de variable real, periódica, con periodo p. Suponiendo que es inte-
grable en el intervalo [−p/2, p/2].
Escribiendo la serie de Fourier de f (x) para dicho intervalo se obtiene:

X∞
1
f (x) = a0 + [an cos(nω0 x) + bn sen(nω0 x)] ,
2 n=1

con ω0 = 2π/p, y utilizando las formulas de Euler (3.2), se obtiene:

X∞  
1 1 inω0 x −inω0 x 1 inω0 x −inω0 x
a0 + an (e +e ) + bn (e −e ) .
2 n=1
2 2i

X∞  
1 1 inω0 x 1 −inω0 x
= a0 + (an − ibn )e + (an + ibn )e . (3.3)
2 n=1
2 2
20 3. La transformada de Fourier

Observando la serie (3.3), se toma

1
d 0 = a0 ;
2

y utilizando para cada número entero positivo n

1
dn = (an − ibn ).
2

Reemplazando en la serie (3.3) se obtiene:

∞
X ∞
X ∞
X
 
d0 + dn einω0 x + dn e−inω0 x = d0 + dn einω0 x + dn e−inω0 x . (3.4)
n=1 n=1 n=1

Para continuar con el desarrollo de la serie, se obtienen los coeficientes por medio de
Z p/2
1 1
d 0 = a0 = f (t)dt.
2 p −p/2

Luego, se utiliza para cada número entero positivo n

1
dn = (an − ibn )
2
Z Z
1 2 p/2 i 2 p/2
= f (t) cos(nω0 t)dt − f (t) sen(nω0 t)dt
2 p −p/2 2 p −p/2
Z
1 p/2
= f (t) [cos(nω0 t) − i sen(nω0 t)] dt
p −p/2
Z
1 p/2
= f (t)e−inω0 t dt.
p −p/2
Finalmente,
Z p/2 Z p/2
1 1
dn = f (t)e−inω0 t dt = f (t)e−inω0 t dt = d−n .
p −p/2 p −p/2

Lo siguiente en este desarrollo es aplicar este resultado en la ecuación (3.4), reempla-

3.1. Serie de Fourier 21

zando se obtiene
∞
X ∞
X
inω0 x
d0 + dn e + dn e−inω0 x
n=1 n=1
∞
X X∞
1 inω0 x
= d0 + dn e + d−n e−inω0 x
2 n=1 n=1
∞
X ∞
X
= d0 + dn einω0 x = dn einω0 x .
n=−∞,n6=0 n=−∞

Para concluir todo este desarrollo, se evidencia la definición de la serie compleja de

Fourier, de la siguiente manera:
Sea f una función periódica con periodo p. Con ω0 = 2π/p la serie de Fourier compleja
está determinada por:
∞
X
dn einω0 x ,
n=−∞

donde: Z p/2
1
dn = f (t)e−inω0 t dt,
p −p/2

para n = 0, ±1, ±2, . . . Los números dn son los coeficientes de Fourier complejos de f .
Ahora si se supone que p = 2L, con ω0 = 2π/2L = π/L, la serie de Fourier compleja
viene dada por la expresión:
X∞
dn einω0 x ,
n=−∞

donde: Z L
1
dn = f (t)e−inω0 t dt.
2L −L

Cabe aclarar que en la formula dn se puede integrar en cualquier intervalo de longitud p,

debido a que f es periódica, continua o continua a trozos en el intervalo dado. Después
de obtener la serie de Fourier compleja, ésta se define formalmente a continuación.

Definición 3.1.1. Serie de Fourier compleja

Se define la serie de Fourier compleja como una función f : [−L, L] −→ C, donde

∞
X N
X
inω0 x
dn e = lı́m dn einω0 x ,
N →∞
n=−∞ n=−N
22 3. La transformada de Fourier

con los coeficientes de Euler para la serie de Fourier compleja dados por:
Z L
1
dn = f (t)e−inω0 t dt.
2L −L

Teorema 3.1.1. Completitud media

Los sistemas exponencial y trigonométrico en [−L, L] son completos en el espacio V =
L2 de funciones f : [−L, L] −→ C con
Z L
|f (t)|2 dt < ∞.
−L

Una función f tiene |f (t)|2 integrable, es decir, la función f es cuadrado integrable,

entonces f es igual a la suma de su serie de Fourier en el sentido de convergencia en
media. Una representación gráfica de una función f trigonométrica, donde Sn es la n-
ésima suma parcial de la serie de Fourier trigonométrica.
Cada Sn es una función suave, cuando n → ∞, Sn puede converger a algo discontinuo.
Si f es discontinua, se obtiene convergencia en media, pero no convergencia uniforme.
Sn f
b

bc

-L 0 t0 L
Figura 3.2: Significado geométrico de la convergencia en media.

El área sombreada tiende a cero, es decir:

Z L
|f (t) − Sn (t)|2 dt → 0,
−L

suponiendo que
f : [0, 2L] −→ R′ of : [−L, L] −→ R,

tenga una posible discontinuidad en t0 pertenece a [0, 2L] ó [−L, L], siendo t0 = 0 ó
2L, entonces f es extendida periódicamente, es decir, siendo f (t + 2L) = f (t), ésta
extensión periódica se muestra en la figura (3.3), para los dos casos.
3.2. Integral de Fourier 23
f (t) = |g(t)| f (t) = g(t)

0 2L 0 2L
(a) Continua en 0 (b) Discontinua en 0

Figura 3.3: Discontinuidad de la convergencia en media.

3.2. Integral de Fourier

Si una función f (t) está definida en un intervalo [−L, L], se puede representar en
la mayorı́a de los puntos que pertenecen a este intervalo por medio de una serie de
Fourier. Sı́ f es periódica, se puede representar por su serie de Fourier en intervalos
pertenecientes a la recta real.
Lo siguiente es suponer que f (t) está definida para cualquier t sin ser periódica. Es claro
que es imposible representar a f (t) utilizando la serie de Fourier sobre todos los puntos
de la recta real. Es de notar que si se puede realizar una representación en términos
de senos y cosenos, para esto se recurre a cambiar la sumatoria por una integral. Para
R∞
lograr este cambio se supone que f es totalmente integrable, es decir, −∞ |f (t)| dt
converge y que f es suave a trozos en en intervalo [−L, L]. Ahora se escribe la serie de
Fourier de f en un intervalo arbitrario [−L, L], incluyendo las formulas integrales de
los coeficientes:
Z ∞
" Z     
1 L X 1 L nπξ nπt
f (ξ)dξ + f (ξ) cos dξ cos
2 −L n=1
L −L L L
 Z L      #
1 nπξ nπt
+ f (ξ) sen dξ sen .
L −L L L

Con lo anterior se pretende que L → ∞ y ası́ poder representar f (t) sobre toda la recta
real. Ahora bien se verifica el lı́mite al que tiende esta serie de Fourier, si es que existe,
es decir:
nπ
ωn = ;
L
y
π
ωn − ωn−1 = = ∆ω.
L
24 3. La transformada de Fourier

Entonces la serie de Fourier en [−L, L] toma la siguiente forma:

Z  ∞
" Z 
1 L
1X 1 L
f (ξ)dξ ∆ω + f (ξ) cos(ωn ξ)dξ cos(ωn t)
2π −L π n=1 L −L
 Z L  # (3.5)
1
+ f (ξ) sen(ωn ξ)dξ sen(ωn t) ∆ω.
L −L

Lo siguiente es considerar que cuando L → ∞, entonces, ∆ω → 0. En la expresión

anterior Z L 
1
f (ξ)dξ ∆ω → 0,
2π −L
RL
esta conclusión se debe a que, por hipótesis, −L f (ξ)dξ converge. Para analizar los otros
términos en la expresión (3.5), se evidencia una similitud con la suma de Riemann para
una integral definida, la cual asegurara que cuando L → ∞ y ∆ω → 0, esta expresión
tiende al lı́mite
Z " Z ∞ 
1 ∞
f (ξ) cos(ωξ)dξ cos(ωt)
π 0 −∞
Z ∞  #
+ f (ξ) sen(ωξ)dξ sen(ωt) dω.
−∞

Finalmente se ha llegado a la integral de Fourier de f en la recta real. Teniendo en

cuenta las hipótesis hechas sobre f la integral de Fourier converge a

1
(f (t−) + f (t+)) ,
2

para cada uno de los valores de t. Para este caso si f es continua en t, entonces esta
integral converge a f (t).
Regularmente esta integral de Fourier se escribe
Z ∞
[Aω cos(ωt) + Bω sen(ωt)]dω. (3.6)
0

Los coeficientes de la integral de Fourier de f vienen dados por:

Z ∞
1
Aω = f (ξ) cos(ωξ)dξ;
π −∞
3.3. Integral de Fourier compleja 25

y Z ∞
1
Bω = f (ξ) sen(ωξ)dξ.
π −∞

3.3. Integral de Fourier compleja

Continuando con el estudio de la integral de Fourier, se puede establecer la relación
que posee con la serie de Fourier compleja, es decir también se puede obtener la integral
de Fourier compleja, la cual abre una vı́a para encontrar la transformada de Fourier.
R∞
Si se supone una función f suave a trozos en cada intervalo [−L, L], y que −∞ |f (t)| dt
es convergente. Entonces para cualquier t,
Z ∞ Z ∞
1 1
(f (t−) + f (t+)) = f (ξ) cos(ω(ξ − t))dξdω,
2 π 0 −∞

luego se escribe la integral de Fourier en su forma compleja de la función coseno, obte-

niendo:
Z Z
1 1 ∞ ∞ 1

(f (t−) + f (t+)) = f (ξ) eiω(ξ−t) + e−iω(ξ−t) dξdω
2 π 0 2
Z ∞ Z−∞∞ Z ∞Z ∞
1 iω(ξ−t) 1
= f (ξ)e dξdω + f (ξ)e−iω(ξ−t) dξdω.
2π 0 −∞ 2π 0 −∞

En la primera integral de la segunda lı́nea se reemplaza ω = −w, entonces la expresión

se escribe
1
(f (t−) + f (t+))
2 Z 0 Z ∞ Z ∞Z ∞
1 −iw(ξ−t) 1
= f (ξ)e dξdw + f (ξ)e−iω(ξ−t) dξdω.
2π −∞ −∞ 2π 0 −∞

Lo siguiente es escribir la variable de integración ω en la ultima integral y se combinan

para obtener:
Z ∞ Z ∞
1 1
(f (t−) + f (t+)) = f (ξ)e−iω(ξ−t) dξdω. (3.7)
2 2π −∞ −∞
26 3. La transformada de Fourier

Finalmente se obtiene la representación de la integral de Fourier compleja de f en toda

R∞
la recta real. Ahora si se toma Cω = −∞ f (t)e−iωt dt, entonces ésta integral es:
Z ∞
1 1
(f (t−) + f (t+)) = Cω eiωt dω,
2 2π −∞

donde Cω es el coeficiente de la integral de Fourier compleja de f .

Ahora bien, la expresión de la derecha de la ecuación (3.7) permite obtener la trans-

formada de Fourier en su básica expresión. Para lograr esto se escribe la ecuación (3.7)
ası́: Z ∞ "Z ∞ #
1 1
(f (t−) + f (t+)) = f (ξ)e−iωξ dξ eiωt dω. (3.8)
2 2π −∞ −∞

La expresión que aparece dentro del corchete es la transformada de Fourier de f .

3.4. Transformada de Fourier

Definición 3.4.1. Transformada de Fourier
R∞
Suponiendo que −∞ |f (t)|dt es convergente. Entonces la transformada de Fourier de f
es la función: Z ∞
F [f ] (ω) = f (t)e−iωt dt.
−∞

Por consiguiente, la transformada de Fourier de f es el coeficiente Cω de la expresión

que representa la integral de Fourier compleja de f . Es decir, F transforma una función
f en otra nueva función y se escribe F [f ]. Es de notar que desde el inicio, para la
función f se ha tomado la variable t, la cual representa el parámetro temporal, por
ende posee gran utilidad en el campo del análisis de señales; por otro lado ω es la
variable de la función transformada F [f ], por esto, F [f ] (ω) es el valor que toma la
función transformada evaluada en ω, el cual se puede obtener calculando para una
R∞
ω dada en las condiciones iniciales y evaluando en la integral −∞ f (t)e−iωt dt. De tal
manera que cuando sea necesario en el documento, para hacer referencia a la variable
temporal t se escibirá la transformada de Fourier F [f (t)] por medio de F [f ].
Es claro que, cuando se calculan algunas transformadas en lugar del sı́mbolo F [f (t)],
se escribe fb; con esta notación toma la forma siguiente:

F [f ] (ω) = fb(ω).
3.4. Transformada de Fourier 27

Continuando con este razonamiento, se evidencia el excelente trabajo realizado por

Fourier para encontrar la transformada que lleva su nombre; es por esto que se desa-
rrollarán algunos ejercicios como ejemplo para hacer claridad al concepto y aplicarlo en
su solución.

Ejemplo 3.4.1. Suponiendo a y k ambos números positivos, y sea

(
k, para − a ≤ t < a,
f (t) =
0, para t < −a y para t ≥ a.

De la función anterior, se observa que es una función pulso la cual puede escribirse
en términos de la función de Heaviside por medio de la expresión:

f (t) = k [H(t + a) − H(t − a)] ,

La transformada de Fourier de f está dada por:

Z ∞
fˆ(ω) = f (t)e−iωt dt
−∞
Z a  a
−iωt −k −iωt
= ke dt = e
−a iω −a
k  −iωa  2k
=− e − eiωa = sen(aω).
iω ω
f (t)

f (t) = k [H(t + a) − H(t − a)]

k
t
2a a

Figura 3.4: Función pulso.

Ası́:
2k
F[f ](ω) = sen(aω).
ω
28 3. La transformada de Fourier

De la expresión (3.8), la integral de Fourier para f se puede escribir por medio de:
Z ∞
1
fˆ(ω)eiωt dω.
2π −∞

Por lo anterior, si f es continua; puede ser a trozos en todo el intervalo [−L, L], la
integral de Fourier para f está dada por:
Z ∞
1
f (t) = fˆ(ω)eiωt dω. (3.9)
2π −∞

En sı́ntesis, se puede utilizar la expresión (3.9) como la función transformada inversa

de Fourier; con el objetivo de obtener la función f por medio de fˆ. Es de notar la
importancia de ésta caracterı́stica, ya que en las aplicaciones se hace uso de esta valiosa
herramienta para pasar a un problema mas sencillo. De tal forma que, la expresión (3.9)
permita obtener nuevamente a f , cuando se resuelve para fˆ(ω). Es decir:

F−1 [fˆ] = f si F[f ] = fˆ.

Definición 3.4.2. Linealidad

Se comprueba que la transformada integral es lineal:

F [αf + βg] = αF[f ] + βF[g].

Demostración.
Z ∞
F [αf + βg] = (αf (t) + βg(t)) e−iωt dt
Z−∞
∞ Z ∞
−iωt
= αf (t)e dt + βg(t)e−iωt dt
−∞ −∞
Z ∞ Z ∞
−iωt
=α f (t)e dt + β g(t)e−iωt dt
−∞ −∞

= αF[f ] + βF[g].

Generalmente la integral (3.9) y su inversa correspondiente, conforman dos trans-

3.4. Transformada de Fourier 29

formadas de Fourier, siempre y cuando f cumpla las siguientes condiciones:

Z ∞ Z ∞
1
fˆ(ω) = f (t)e −iωt
dt y f (t) = fˆ(ω)eiωt dt.
−∞ 2π −∞

Ejemplo 3.4.2. Dada la función

(
1 − |t|, para − 1 ≤ t ≤ 1,
f (t) =
0, para t > 1 y para t < −1.

Como f es continua e integrable y f ′ es continua a trozos. Se puede calcular fˆ(ω),

sean
Z ∞
ˆ
f (ω) = f (t)e−iωt dt
−∞
Z 1
2(1 − cos(ω))
= (1 − |t|)e−iωt dt = .
−1 ω2

La última expresión representa el coeficiente de Fourier Cω cuando se realiza el desarrollo

de Fourier en forma compleja para f (t). Ahora para invertir y obtener la expresión
original, se utiliza (3.9),
Z ∞
1
f (t) = fˆ(ω)eiωt dω
2π −∞
Z
1 ∞ (1 − cos(ω)) iωt
= e dω.
π −∞ ω2

Después de integrar se obtiene:

Z ∞
1
f (t) = fˆ(ω)eiωt dω
2π −∞

= πt signo (t + 1) + π signo (t + 1) + πt signo (t − 1)

− π signo (t − 1) − 2 signo (t),

de donde: 
 1 para ω > 0

signo (ω) = 0 para ω = 0


−1 para ω < 0.
Es decir, su resultado es 1 − |t| para −1 ≤ t ≤ 1 y 0 para t > 1 y para t < −1, por lo
30 3. La transformada de Fourier

tanto se comprueba.
Ahora bien, si se tiene en cuenta el entorno de la transformada de Fourier, se observa
que generalmente el espectro de amplitud se representa por medio de la gráfica de |fˆ(ω)|.

Ejemplo 3.4.3. Dada la función f (t) = H(t)e−at , en consecuencia se tiene que

fˆ(ω) = 1/(a + iω), de donde
1
|fˆ(ω)| = √ .
a2 + ω 2
En la figura (3.5), se observa el espectro de amplitud de f representado por medio
de la gráfica de |fˆ(ω)|.

|fˆω| |fˆω|
1
a
b

ω ω

 
 
(a) Gráfica de |fˆ(ω)| = √ 1
a2 +ω 2
, con f (t) = (b) Gráfica de fˆ(ω) =  2k sen(aω)
ω 
H(t)e−at

Figura 3.5: Espectro de amplitud de f .

Ejemplo 3.4.4. Con lo anterior, el espectro de amplitud de la función f del ejemplo

(3.4.1) viene dado por  
 sen(aω) 
ˆ 
|f (ω)| = 2k  ,
ω 
la cual se puede observar en la figura (3.5).

Teorema 3.4.1. Corrimiento del tiempo

Sea t0 un número real, entonces:

F[f (t − t0 )](ω) = e−iωt0 fˆ(ω).

Este teorema se aplica, si se corre hacia atrás t0 unidades, ademas reemplazando f (t)
por f (t − t0 ), la transformada de Fourier de f (t − t0 ) recorrida es la transformada de
Fourier de f , multiplicada por e−iωt0 .
3.4. Transformada de Fourier 31

La comprobación es sencilla
Z ∞
F[f (t − t0 )](ω) = f (t − t0 )e−iωt dt
−∞
Z ∞
−iωt0
=e f (t − t0 )e−iω(t−t0 ) dt.
−∞

Haciendo el cambio de variable u = t − t0 y reemplazando se obtiene:

Z ∞
F[f (t − t0 )](ω) = e −iωt0
f (u)e−iωu du = e−iωt0 fˆ(ω).
−∞

Ejemplo 3.4.5. Aplicando el teorema anterior para conocer la transformada de Fourier

del pulso de amplitud 6 encendiendo en t = 3 y apagando en t = 7, es decir:
(
0, para t < 3 y para t ≥ 7
g(t) =
6, para 3 ≤ t < 7,

la cual se puede observar en la figura (3.6.a). Es claro que se puede calcular ĝ(ω)
integrando; pero el punto medio del pulso se obtiene cuando t = 5. Ahora si se traslada
la gráfica 5 unidades a la izquierda está quedará ubicada en cero (ver figura (3.6.b)).
Nombrando f a este pulso se obtiene que f (t) = g(t + 5) y al trasladar f , 5 unidades a
la derecha regresa a g:
g(t) = f (t − 5).

Este resultado es la consecuencia del ejemplo (3.4.1) en el que se obtiene la transformada

de Fourier de f
sen(2ω)
F[f (t)](ω) = 12 .
ω
Aplicando el teorema de corrimiento del tiempo, se observa que:

sen(2ω)
F[g(t)](ω) = F[f (t − 5)](ω) = 12e−5iω .
ω

Por ende la función inversa del teorema de corrimiento del tiempo es:

F−1 [e−iωt0 F(ω)](t) = f (t − t0 ). (3.10)

32 3. La transformada de Fourier

g(t) g(t)
6
6 b b bc b bc

bc b
t bc b
t
3 7 −2 2
(a) Grafica de g(t) (b) La función de la figura (3.6.a) corre 5 uni-
dades a la izquierda

Figura 3.6: Representación gráfica corrimiento del tiempo.

Teorema 3.4.2. Corrimiento de la frecuencia

Dado ω0 cualquier numero real, entonces

F[eiωt f (t)] = fˆ(ω − ω0 ).

Prueba
Z ∞
iωt
F[e f (t)](ω) = eiω0 t f (t)e−iωt dt
Z−∞
∞
= f (t)e−i(ω−ω0 )t dt = fˆ(ω − ω0 ).
−∞

Siendo la inversa del teorema del corrimiento de la frecuencia:

F−1 [fˆ(ω − ω0 )](t) = eiω0 t f (t).

Teorema 3.4.3. Escala

Si se utiliza un numero real a diferente de cero, se obtiene:

1 ˆ ω 
F[f (at)](ω) = f .
|a| a

Este resultado se obtiene aplicando la definición. La transformada inversa de la expre-

sión anterior es: h  ω i
F−1 fˆ (t) = |a|f (at).
a
3.4. Transformada de Fourier 33

Ejemplo 3.4.6. Retomando el ejemplo (3.4.2), si f (t) viene dada por:

(
1 − |t|, para − 1 ≤ t ≤ 1,
f (t) =
0, para t > 1 y para t < −1,

entonces
1 − cos(ω)
fˆ(ω) = 2 .
ω2
Si (
1 − |7t|, para − 17 ≤ t ≤ 71 ,
g(t) = f (7t) =
0, para t > 17 y para t < − 71 ,
entonces
1 ω 
ĝ(ω) = F[f (7t)](ω) = fˆ
7 7
2 1 − cos(ω/7) 1 − cos(ω/7)
= 2
= 14 .
7 (ω/7) ω2

Teorema 3.4.4. Inversión del tiempo

F[f (−t)](ω) = fˆ(−ω).

La expresión anterior se denomina inversión del tiempo ya que reemplaza t por −t

en la función f (t) y se obtiene f (−t). La transformada de esta función se obtiene
reemplazando ω por −ω en la transformada de f (t). La inversa de la inversión del
tiempo es:
F−1 [fˆ(−ω)](t) = f (−t).

Teorema 3.4.5. Simetrı́a

F[fˆ(t)](ω) = 2πf (−ω).

Este resultado es fácil de entender, si se toma a f (t), escribiendo su transformada

de Fourier fˆ(ω). Lo siguiente es reemplazar ω por t y se toma la transformada de
Fourier de la función fˆ(t). Esta propiedad de la transformada de Fourier concluye que
la transformada de fˆ(t) simplemente es la función f (t) con −t en lugar de t, todo
multiplicado por 2π.
34 3. La transformada de Fourier

Ejemplo 3.4.7. Sea

(
4 − t2 para − 2 ≤ t ≤ 2
f (t) =
0 para t > 2 y para t < −2

−4 −3 −2 −1 1 2 3 4

Figura 3.7: Gráfica de f (t) ejemplo (3.4.7).

En la figura (3.7) se muestra la gráfica de f . La transformada de Fourier de f es

Z ∞ Z 2
fˆ(ω) = f (t)e −iωt
dω = (4 − t2 )e−iωt dt
−∞ −2
sen(2ω) − 2ω cos(2ω)
=4 .
ω3

Observando el ejemplo anterior, se puede apreciar que f (−t) = f (t), por lo tanto si
se cambia −ω por ω la función fˆ(ω) no se ve afectada, ası́ se puede ver que este es el caso.

Teorema 3.4.6. Modulación

Suponiendo que ω0 es un número real, se tiene que

1
F[f (t) cos(ω0 t)](ω) = [fˆ(ω + ω0 ) + fˆ(ω − ω0 )]
2

y
1
F[f (t) sen(ω0 t)](ω) = i[fˆ(ω + ω0 ) − fˆ(ω − ω0 )].
2
3.5. Propiedades y aplicaciones de la transformada de Fourier 35

Prueba: Reemplazando cos(ωt) = 12 (eiω0 t + e−iω0 t ); utilizando el teorema del corri-

miento del tiempo y la linealidad de F se obtiene
 
1 iω0 t 1 −iω0 t
F[f (t) cos(ω0 t)](ω) = F e f (t) + e f (t) (ω)
2 2
1   1  
= F eiω0 t f (t) (ω) + F e−iω0 t f (t) (ω)
2 2
1ˆ 1ˆ
= f (ω − ω0 ) + f (ω + ω0 ).
2 2

La segunda conclución se obtiene de manera similar, utilizando

sen(ω0 t) = (1/2i)(eiω0 t − e−iω0 t ).

3.5. Propiedades y aplicaciones de la transformada

de Fourier
3.5.1. Transformada de Fourier de una derivada
Teniendo en cuenta que para aplicar la transformada de Fourier en la solución de
ecuaciones diferenciales se necesita relacionar la transformada de f ′ con la de f . Para
este propósito se tiene el siguiente teorema denominado como la regla operacional el
cual relaciona la transformada de una derivada de cualquier orden. De la misma manera
sucede con la transformada de una integral si se requiere relacionarla con ecuaciones
diferenciales.

Teorema 3.5.1. Diferenciación respecto a la variable tiempo

Sea n un número entero positivo y suponiendo que f (n−1) es una función continua a
R∞
trozos en el intervalo [−L, L] con −∞ |f (n−1) (t)|dt < ∞. Teniendo en cuenta lo anterior
se tiene que

lı́m f (k) (t) = lı́m f (k) (t) = 0,

t→∞ t→−∞

con k = 0, 1, 2, 3, . . . , n − 1. Se tiene que

F[f (n) (t)](ω) = (iω)n fˆ(ω).

36 3. La transformada de Fourier

Comprobación. Primero se obtiene la primera derivada utilizando la integración por

partes:
Z ∞
′
F[f ](ω) = f ′ (t)e−iωt dt
−∞
Z ∞
 ∞
= f (t)e−iωt −∞ − f (t)(−iω)e−iωt dt.
−∞

Lo siguiente es considerar que e−iωt = cos(ωt) − i sen(ωt) es de magnitud 1 y por la

hipotesis,
lı́m f (t) = lı́m f (t) = 0.
t→∞ t→−∞

Obteniendo, Z ∞
F[f (n)
(t)](ω) = (iω) (n)
f (t)e−iωt dt = (iω)(n) fˆ(ω).
−∞

Para ampliar la aplicación de esta propiedad a la solución cuando se tienen derivadas

de orden superior se aplica el método de inducción sobre n, entonces

d (n−1)
f ′ (t) = f (t).
dt

3.5.2. Diferenciación respecto a la variable de frecuencia

En la transformada de Fourier se utiliza la variable ω para representar la frecuencia
de f (t), debido a que aparece en la exponencial compleja eiωt = cos(ωt) + i sen(ωt).
Por lo anterior, la derivada de fˆ(ω) respecto a la variable de frecuencia ω es deno-
minada diferenciación respecto a la variable de frecuencia; teniendo esto en cuenta, a
continuación se relacionaran las derivadas de fˆ y f (t).

Teorema 3.5.2. Diferenciación respecto a la variable de frecuencia

Dado n un número entero positivo; sea f una función continua a trozos en el intervalo
R∞
[−L, L] para cualquier número positivo L y −∞ |tn f (t)|dt convergente, se tiene que:

dn ˆ
F[tn f (t)](ω) = in f (ω).
dω n

Es de notar que bajo las condiciones que establece el teorema

d ˆ d2
F[t f (t)](ω) = i f (ω) y F[t2 f (t)](ω) = − 2 fˆ(ω).
dω dω
3.5. Propiedades y aplicaciones de la transformada de Fourier 37

Comprobación. Primero se aplica el teorema para un valor de n, en este caso para n =

1; si se requiere usar un valor mayor para n el procedimiento es similar. Posteriormente
se utiliza la regla de Leibniz para la integración con derivadas y se obtiene:
Z ∞ Z ∞
d ˆ d −iωt ∂  
f (ω) = f (t)e dt = f (t)e−iωt dt
dω dω −∞ ∂ω
Z ∞ −∞ Z ∞
−iωt
= f (t)(−it)e dt = −i [t f (t)]e−iωt dt
−∞ −∞

= −iF[t f (t)](ω).

Ejemplo 3.5.1. Aplicando la definición de la transformada de Fourier y el teorema de

la diferenciación respecto a la variable frecuencia, calcular F[t2 e−5|t| ].

Primero se tiene en cuenta que:

Z ∞
−a|t| a 1
e = eiωt dω.
π −∞ a2 +ω 2

Entonces
  2a
F e−a|t| (ω) = .
a2 + ω2
Aplicando lo anterior se obtiene que:

  10
F e−5|t| (ω) = .
25 + ω 2

Lo siguiente es aplicar el teorema de diferenciación respecto a la variable de frecuencia

para obtener:  
2
2 −5|t| 2 d 10 25 − 3ω 2
F[t e ](ω) = i = 20 .
dω 2 25 + ω 2 (25 + ω 2 )3

3.5.3. La transformada de Fourier de una integral

A continuación se abordara un teorema que permite calcular la transformada de
Fourier de una función definida por medio de una integral.

Teorema 3.5.3. La transformada de Fourier de una integral

Dada una función f continua a trozos sobre el intervalo [−L, L]. Suponiendo que
R∞
−∞
|f (t)|dt es convergente con fˆ(0) = 0. Entonces
Z t 
1 ˆ
F f (τ )dτ (ω) = f (ω).
−∞ iω
38 3. La transformada de Fourier

Rt
Prueba: Sea g(t) = −∞ f (τ )dτ . La consecuencia es que g ′ (t) = f (t) para todo t
con f continua; en donde g(t) → 0 a medida que t → −∞. Ademas,
Z t
lı́m g(t) = f (τ )dτ = fˆ(0) = 0.
t→∞ −∞

Lo siguiente es aplicar el teorema de diferenciación respecto al tiempo a la función g

obteniendo

fˆ(ω) = F[f (t)](ω) = F[g ′ (t)](ω)

Z t 
= iωF[g(t)](ω) = iωF f (τ )dτ (ω).
−∞

3.5.4. Convolución
Existen innumerables transformadas en donde aparecen integrales que regularmen-
te poseen una operación de convolución para la misma; es ası́ que a continuación se
estudiara la convolución para este tipo de transformadas de Fourier.

Definición 3.5.1. Convolución

Dadas dos funciones f y g sobre toda la recta real, se concluye que f posee una convo-
lución con g si:
Rb Rb
1. a f (t)dt y a g(t) existen en todo intervalo [a, b].

2. Para todo número real t, Z ∞

|f (t − τ )g(τ )| dτ
−∞

es convergente. Se observa que para este caso, la convolución f ∗ g de f con g es

la función representada por
Z ∞
(f ∗ g)(t) = f (t − τ )g(τ )dτ.
−∞

En la definición anterior la convolución se denota por medio de f ∗ g, pero se puede

escribir f ∗ g(t) para expresar f ∗ g evaluada para todo t.

Teorema 3.5.4. Suponiendo que f posee una convolución con g. Entonces satisface las
siguientes propiedades:

1. Conmutatividad. g posee una convolución con f y f ∗ g = g ∗ f .

3.5. Propiedades y aplicaciones de la transformada de Fourier 39

2. Linealidad. Para α y β ambos números reales; si f y g poseen convoluciones con

h, se cumple αf + βg también poseen convolución con h, por lo tanto se tiene que

(αf + βg) ∗ h = α(f ∗ h) + β(g ∗ h).

Prueba:

1. Suponiendo z = t − τ , reemplazando se escribe

Z ∞
f ∗ g(t) = f (t − τ )g(τ )dτ
−∞
Z −∞ Z ∞
= f (z)g(t − z)(−1)dz = g(t − z)f (z)dz = g ∗ f (t).
∞ −∞

2. Para probar la linealidad, se utilizan las propiedades básicas de la integración ya

que las integrales que aparecen en estos cálculos son convergentes.

Después de comprobar la linealidad y la conmutatividad de la convolución se pueden

escribir los principales resultados.

Teorema 3.5.5. Dadas dos funciones f y g, suponiendo que son acotadas, continuas
R∞ R∞
sobre la recta real y ademas que −∞ |f (t)|dt < ∞ y −∞ |g(t)|dt < ∞. Entonces,

1. Z ∞ Z ∞ Z ∞
f ∗ g(t)dt = f (t)dt g(t)dt.
−∞ −∞ −∞

2. Convolución en el tiempo

f[
∗ g(ω) = fˆ(ω)ĝ(ω).

3. Convolución en la frecuencia

1 ˆ
f\
(t)g(t)(ω) = (f ∗ ĝ)(ω)
2π

El primer resultado muestra que la integral sobre toda la recta real de la convolución
de f con g, equivalen al producto de las integrales de f y de g sobre toda la recta real.
40 3. La transformada de Fourier

El segundo resultado concluye que la transformada de Fourier de una convolución equi-

vale a multiplicar las transformadas de Fourier de las funciones, es decir:

F[f ∗ g](ω) = fˆ(ω)ĝ(ω).

Es de notar que la función anterior posee inversa, la cual se escribe como

F−1 [fˆ(ω)ĝ(ω)](t) = f ∗ g(t).

La expresión para la convolución en la frecuencia se puede escribir como

1 ˆ
F[f (t)g(t)](ω) = (f ∗ ĝ)(ω).
2π

Es decir, la transformada de Fourier para el producto de dos funciones, es equivalente

1
a ( 2π ) veces la convolución de la transformada de estas funciones.
Es de notar que la convolución en la frecuencia posee inversa, la cual se escribe como

F−1 [fˆ(ω) ∗ ĝ(ω)](t) = 2πf (t)g(t).

Prueba: Para el primer punto del teorema, se tiene

Z ∞ Z ∞ Z ∞ 
f ∗ g(t)dt = f (t − τ )g(τ )dτ dt
−∞
Z−∞
∞ Z−∞
∞  Z ∞ Z ∞ 
= f (t − τ )g(τ )dt dτ = f (t − τ )dt g(τ )dτ,
−∞ −∞ −∞ −∞

la expresión anterior se obtiene intercambiando el orden de integración; y utilizando

Z ∞ Z ∞
f (t − τ )dt = f (t)dt,
−∞ −∞

en donde τ pertenece al conjunto de los números reales. Se concluye que

Z ∞ Z ∞ Z ∞ 
f ∗ g(t)dt = f (t)dt g(τ )dτ
−∞
Z−∞
∞
−∞
Z ∞ Z ∞ Z ∞
= f (t)dt g(τ )dτ = f (t)dt g(t)dt.
−∞ −∞ −∞ −∞

Para el segundo punto del teorema, se hace un cambio de variable en donde F (t) =
3.5. Propiedades y aplicaciones de la transformada de Fourier 41

e−iωt f (t) y G(t) = e−iωt g(t); siendo t y ω números reales, para obtener
Z ∞
f[
∗ g(ω) = f ∗ g(t)e−iωt dt
Z−∞
∞ Z ∞ 
= f (t − τ )g(τ )dτ e−iωt dt
Z−∞ −∞
∞ Z ∞ 
−iωt
= e f (t − τ )g(τ )dτ dt
−∞ −∞
Z ∞ Z ∞ 
−iω(t−τ ) −iωτ
= e f (t − τ )e g(τ )dτ dt.
−∞ −∞

Observando en la ultima linea de la expresión anterior, la integral que aparece dentro

del paréntesis grande es la convolución de F con G y aplicando el resultado del primer
punto del teorema a F y G, se obtiene
Z ∞ Z ∞ Z ∞
f[
∗ g(ω) = F ∗ G(t)dt = F (t)dt G(t)dt
−∞ −∞ −∞
Z ∞ Z ∞
= f (t)e −iωt
dt g(t)e−iωt dt = fˆ(ω)ĝ(ω).
−∞ −∞

3.5.5. La transformada de Fourier ventaneada

Suponiendo una función f representa una señal, es decir f esta definida para toda
R∞
la recta real con energı́a finita −∞ |f (t)|2 dt.
Teniendo en cuenta la posible necesidad de calcular su contenido de frecuencia respecto
a la variable temporal, se debe recordar que fˆ(ω) contiene la información relacionada
con las frecuencias de dicha señal; sin embargo, fˆ(ω) no especifica esta información
para intervalos temporales explı́citos, debido a que
Z ∞
fˆ(ω) = f (t)e−iωt dt,
−∞

en donde la integral está definida para todo t, es decir, permite obtener el espectro
de amplitud total |fˆ(ω)|. La solución a esta necesidad radica en que se puede obtener
el contenido de la frecuencia de f (t) para intervalos temporales dados ventaneando la
función antes de calcular la transformada de Fourier.
Para lograr obtener esta transformada, se requiere una función ventana g, la cual toma
valores diferentes de cero en algún intervalo cerrado, generalmente en [0, T ] o en [−T, T ].
Estos intervalos tienen el nombre de soporte de g y debido a que en este caso son
42 3. La transformada de Fourier

intervalos cerrados se trata de soporte compacto, es de aclarar que la función g es igual

a cero fuera de dicho intervalo de soporte.

3.6. Tabla de transformadas de Fourier

En resumen se tienen las propiedades de la transformada dadas en forma de tabla.
A continuación se presenta una tabla de transformadas:

FUNCIÓN TRANSFORMADA F[f](ω) = PARÁMETROS

R∞
f(t) −∞
f(t)e−iωt dt
2
e−|t| 1+ω2
1 −|ω|
1+t2
πe
−at2
p π −ω2/4a
e a
e a>0
eiat f(t) ˆ − a)
f(ω a∈R
f(t + a) ˆ
eiaω f(ω) a∈R
f(at + b) 1 ibω ˆ ω)
e a f( a 6= 0, b ∈ R
|a| a
n ˆ(n)
tn f(t) i f (ω) n∈N
f (n) ˆ
(iω)n f(ω) n∈N
ˆ
f(ω−a)− ˆ
f(ω+a)
f(t) sen(at) 2i
a∈R
ˆ
f(ω−a)+ ˆ
f(ω+a)
f(t) cos(at) a∈R
( 2i
1, |t| ≤ 1
2 sen(ω)
ω
0, |t| > 1.
R∞ R∞
Identidad de Parseval ˆ 2 dt = 2π
|f(t)| |f(t)|2 dt
−∞ −∞

Cuadro 3.1: Tabla de Transformadas de Fourier.

4

La transformada de Laplace

4.1. Transformada de Laplace y su relación con la

transformada de Fourier
Definición 4.1.1. Transformada de Laplace
La transformada de Laplace L[f ] de f es una función definida por
Z ∞
L[f ](s) = e−st f (t)dt,
0

para todo s con el cual la integral converja.

La transformada de Laplace transforma una función f en otra función denominada

L; cuya frecuencia t representa la variable independiente en f y s representa la variable
independiente en L, es decir:

F = L[f ], F = L[g], H = L[h], . . .

Para obtener la transformada de Laplace, se puede hacer uso de la transformada de

Fourier ya que si se observa detalladamente, se evidencia una diferencia y es que la
transformada de Fourier analiza funciones por medio de una parte del plano complejo y
la transformada de Laplace analiza las funciones a través de todo el plano complejo. Con
lo anterior se cuenta con todo el trabajo mátematico estudiado en el capitulo anterior

43
44 4. La transformada de Laplace

para escribir la transformada de Laplace por medio de:

X  an − bn
σ+∞ 
st −st an + bn
f (t) = a0 + e +e
s=σ+ω
2 2
σ+∞
(4.1)
X
= a0 + (an cos(ωt) + bn sen(ωt))
s=σ+ω

Definiendo los coeficientes complejos para f (t)

an − bn
cn = para n = 1, 2, 3, . . .
2

El valor de an y de bn dependerán de n y de f (t); reemplazando n = (−n), se obtiene

a−n = an

pero
b−n 6= bn

o
b−n = −bn
an + bn
c−n =
2
en donde
cn = (c−n )

y
c 0 = a0

De tal manera que se puede representar a f (t) por medio de:

σ+∞ σ+∞
X X
st
f (t) = c0 + (cn e ) + (c−n e−st )
s=σ+ω s=σ+ω
σ+∞ σ+∞
X X
= (cn est ) + (c−n e−st )
s=σ+ω s=σ+ω
σ+∞ σ−∞
X X
st
= (cn e ) + (cn est ).
s=σ+ω s=σ−ω
4.1. Transformada de Laplace y su relación con la transformada de Fourier 45

Para concluir este desarrollo mátematico, en la segunda serie respecto de los enteros
complejos negativos desde σ − ω, hasta σ − ∞ se suman respecto de los enteros
negativos desde s = σ − ∞ hasta σ + ∞, para cubrir todo el plano complejo, es decir:

σ+∞
X
f (t) = (cn est )
s=σ−∞

La expresión anterior permite evaluar los coeficientes complejos por medio de:

an − bn
cn =
2
Z T   st 
2 2 e + e−st
an = f (t) dt
T − T2 2
Z T   st 
2 2 e − e−st
bn = f (t) dt
T − T2 2
(" Z T # " Z T #)
st −st
1 1 2 1 2 (e − e )
cn = [f (t)(est + e−st )]dt −  [f (t) ]dt
2 T − T2 T − T2 
 
1 1 st −st st −st
cn = f (t)[e + e − e + e ]dt
2 T
(" Z T #)
1 1 2
cn = f (t)[2e−st ]dt
2 T − T2
Z T
1 2
cn = f (t)(e−st )dt.
T − T2

Definición 4.1.2. Transformada bilateral de Laplace

Haciendo uso de la definición de transformada de Laplace, si:

σ+∞
X
f (t) = (cn est ), (4.2)
s=σ−∞

2π
con s = ω = T
.

Z T
1 2  
cn = f (t)(e−st ) dt,
T − T2
46 4. La transformada de Laplace

cuando
T →∞

s → ds.

Ası́ que:
1 ds
= .
T 2π
Aplicando los limites a las expresiones anteriores.
Z ∞
cn T → f (t)e−st dt,
−∞

el lado derecho de la expresión anterior está en función de s = σ −ω y no de t, entonces:

Z ∞
F (s) = f (t)e−st dt, la cual se denomina transformada bilateral de Laplace
−∞

Para obtener la función inversa de la transformada de Laplace, se multiplica y se divide

por T en la expresión (4.2) para obtener:

X 
σ+∞
1

st
f (t) = cn T e .
s=σ−ω
T

Reemplazando cn T = F (s) se obtiene:

Z σ+∞
1
f (t) = F (s)est ds, la cual es la transformada inversa de Laplace
2π σ−∞

Lo anterior permitió la obtención de la transformada de Laplace y la transformada

inversa de Laplace. Es evidente que esta transformada es un caso especial de la trans-
formada de Fourier, en el cual solo se cambian los parámetros de la integral; Laplace
maneja el plano complejo y Fourier maneja el plano imaginario, las propiedades de la
transformada de Laplace son similares a las propiedades de la transformada de Fourier
y su verificación es casi idéntica, es por esto que solo se enumeraran.
4.2. Propiedades de la transformada de Laplace 47

4.2. Propiedades de la transformada de Laplace

1. Linealidad de la transformada de Laplace
Suponiendo que L[f ](s) y L[g](s), con s > a, y α, β cualquier número real; se
tiene que:
L[αf + βg](s) = αF (s) + βG(s)

2. Transformada inversa de Laplace

Una función g tal que L[g] = G se denomina como la transformada inversa de
Laplace de G, es decir:
g = L−1 [G].

3. Transformada de Laplace de una derivada

Dada una función f continua sobre el intervalo [0, ∞], suponiendo que f ′ continua
a trozos sobre el intervalo [0, k] para k positivo y que lı́mk→∞ e−sk f (k) = 0 si s > 0,
se tiene que:
L[f ′ ](s) = sF (s) − f (0).

4. Transformada de Laplace de una derivada superior

Dadas las funciones f, f ′ , · · · , f n−1 continuas para [0, 1], con f (n) continua a
trozos sobre [0, k] para k positivo y que lı́mk→∞ e−sk f (j) (k) = 0 si s > 0 y
j = 1, 2, 3, . . . , n − 1, se tiene que:

L[f (n) ](s) = sn F (s) − sn−1 f (0) − sn−2 f ′ (0) − · · · − sf (n−2) (0) − f (n−1) (0).

De lo anterior, se escribe la segunda derivada (n = 2), ya que es la derivada mas

utilizada en la mayorı́a de ejercicios, cuya forma es:

L[f ′′ ](s) = s2 F (s) − sf (0) − f ′ (0).

48 4. La transformada de Laplace
5

Aplicación de las transformadas

para resolver ecuaciones
diferenciales ordinarias y parciales

5.1. Ecuación de calor en un dominio infinito

A modo de aplicación se obtendrá la solución del problema:

Problema 5.1.1.
(
ut = kuxx , para −∞ < x < ∞ (5.1)
u(x, 0) = f (x), donde f (x) es la temperatura inicial. (5.2)

Una barra metálica de longitud infinita bajo la acción del calor

−∞ ←− −→ ∞

Figura 5.1: Barra metálica de longitud infinita.

Sı́ u(x, t) es la temperatura en cualquier momento t y posicı́on x; el modelo ma-

temático que describe éste problema viene dado por:

∂u(x, t) ∂ 2 u(x, t)
ut = kuxx = −k = 0,
∂t ∂x2

49
 5. Aplicación de las transformadas para resolver ecuaciones diferenciales ordinarias
50 y parciales

donde k es la difusión térmica del material que constituye la barra.

2 u(x,t)
El modelo ut = kuxx = ∂u(x,t)
∂t
−k ∂ ∂x 2 = 0 describe un problema homogéneo. Si además
se considera que en el momento inicial para t = 0 la temperatura es una función de
x, es decir, u(x, 0) = f (x), se necesita hallar la función u(x, t) que sea solución del
problema homogéneo y que cumpla con la condición anterior.
Este tipo de problemas con dominios infinitos generalmente se pueden resolver median-
te transformadas. Aparte de resolver el problema homogéneo, también se abordará la
solución del problema no-homogéneo.

Solución:
Separando variables u(x, t) = X(x) T (t); reemplazando en (5.1) se tiene:

X Ṫ = kT X ′′
Ṫ = dT
dt
dX
X′ = dx
2
X ′′ = dx2X
X ′′ Ṫ
X
= kT = constante = −λ.

De aquı́: (
X ′′
X
= −λ
Ṫ
T
= −λk,
teniendo en cuenta que λ > 0

X ′′ + λX = 0; Ṫ + λkT = 0.

Usando los coeficientes complejos en (5.2) se elimina λ < 0 y λ = 0, debido a que

la solución es trivial. Espectro continuo (para un dominio finito se tiene un espectro
discreto).
Utilizando superposición se observa que:
√ √
X(x) = A cos( λx) + B sen( λx); T (t) = e−λkt .
 √ √ 
∗
u (x, t) = A cos( λx) + B sen( λx) e−λkt ; usando superposición
Z ∞h √ √ i
u(x, t) = C(λ) cos( λx) + D(λ) sen( λx) e−λkt dλ.
0
5.1. Ecuación de calor en un dominio infinito 51

Si λ = ω 2 ;
Z ∞
2 kt
u(x, t) = [A(ω) cos(ωx) + B(ω) sen(ωx)] e−ω dω; dλ = 2ωdω.
0

Ahora de las condiciones iniciales (u(x, 0) = f (x)):

Z ∞
u(x, 0) = [A(ω) cos(ωx) + B(ω) sen(ωx)] dω = f (x).
0

De aquı́:
Z ∞
2
u(x, t) = k(ω)eıωx e−kω t dω
−∞
2t
= k(ω)[cos(ωt) + ı sen(ωx)]e−kω
2
= A(ω) cos(ωx) + B(ω) sen(ωt)e−kω t .
Z ∞
f (x) = k(ω)eıωx dω.
−∞

Sea la transformada de Fourier de la función f (x):

Z ∞
1
F (ω) = f (x)e−ıωx dx,
2π −∞

definiendo su inversa como:

Z ∞
−1
F (ω) = f (x) = F (ω)eıωx dω.
−∞

2
Sea G(ω) = e−αω ; escribiendo la transformada inversa de Fourier de G(ω):

Z ∞ Z ∞
ıωx 2
g(x) = G(ω)e dω = e−αω e−ıωx dω
Z−∞
∞
−∞
Z ∞
x x x2
−α(ω 2 −ı α ω) 2
= e dω = e−α(ω−ı 2α ) − 4α dω
−∞ −∞
Z ∞ Z ∞
−x 2 x 2
−α(ω−ı 2α ) −x2 1 2
=e 4α e dω = e 4α √ e−z dz.
−∞ α −∞
 5. Aplicación de las transformadas para resolver ecuaciones diferenciales ordinarias
52 y parciales

En donde:
x
z 2 = α(ω − ı )2
2α
√ x
z = α(ω − ı )
2α
√
dz = αdω.
R∞ 2
Evaluando −∞
e−z dz = I.
Z ∞ Z ∞ Z ∞ Z ∞
2 −x2 −y 2 2 2
I =T ·I = e dx e dy = e−(x +y ) dx dy
−∞ −∞ −∞ −∞
Z 2π Z ∞ Z 2π Z ∞
2 1 2
= e−r r dr dθ = − e−r d(−r2 ) dθ
0 2
Z 02π   0 Z 02π
1 2  ∞ 1 1
=− (e−r ) dθ = − − dθ = (2π) = π.
2 0 0 2 0 2
Ası́: Z ∞
−x2 /4α 1 2 1 2 √
g(x) = e √ e−z dz = √ e−x /4α π.
α −∞ α
Del problema (5.1.1) se sabe que su solución es de la forma:
Z ∞
2
u(x, t) = C(ω)eıωx−kω t dω
−∞
Z ∞
f (x) = C(ω)eıωx dω;
−∞

donde C(ω) es la transformada de Fourier de f (x), es decir:

Z ∞
1
C(ω) = f (x)e−ıωx dx;
2π −∞

de ésta forma, la solución toma el aspecto:

Z ∞  Z ∞ 
1 −ıωξ 2
u(x, t) = f (ξ)e dξ eıωx−kω t dω
−∞ 2π −∞
Z ∞ Z ∞ 
1 −kω 2 t+ıω(x−ξ)
= f (ξ) e dω dξ.
2π −∞ −∞

Si Z ∞
2 t+ıωx
g(x, t) = e−kω dω,
−∞
5.1. Ecuación de calor en un dominio infinito 53

entonces:
Z ∞
1
u(x, t) = f (ξ)g(x − ξ, t)dξ
2π −∞
1 2 √
g(x, t) = √ e−x /4kt π.
kt

Donde kt = α.
De ésta manera:
√ Z Z ∞
1 π ∞ (x−ξ)2
− 4kt 1 (x−ξ)2
u(x, t) = √ f (ξ)e dξ = √ f (ξ)e− 4kt dξ.
2π kt −∞ 4ktπ −∞

La función:

1 (x−ξ)2
G(x, t, ξ, 0) = √ e− 4kt es la función de influencia.
4ktπ

Teorema 5.1.1. Sea ϕ(x) una función continua, puede ser a trozos y acotada. Enton-
ces: Z ∞
1 (x−ξ)2
u(x, t) = √ e− 4kt ϕ(ξ)dξ (5.3)
4ktπ −∞
define una función infinitamente diferenciable que es solución de la expresión (5.1)
[ut − kuxx = 0] donde (x, t) ∈ ℜ × (0, T ) y lı́mt→0 u(x, t) = 12 [ϕ(x + 0) + ϕ(x − 0)] .

solución: Suponiendo que ϕ(x) presenta una discontinuidad en el punto x = x0 ,

asumiendo que es un salto.
Se tiene que: Z ∞
1 2
√ 1
√ e−ρ /4 ϕ(x0 − ρ kt)dρ → ϕ(x0 − 0). (5.4)
2 π 0 2
Z 0 √
1 2 /4 1
√ e−ρ ϕ(x0 − ρ kt)dρ → ϕ(x0 + 0). (5.5)
2 π −∞ 2
Cuando t → 0 (t > 0).
√ √
En (5.3) para ξ = x − ρ kt; dξ = − kt dρ.
 5. Aplicación de las transformadas para resolver ecuaciones diferenciales ordinarias
54 y parciales

1 √ Z ∞ −ρ2 kt/4kt √
u(x, t) = √ (− kt) e ϕ(x0 − ρ kt)dρ
2 πkt 0
√
donde x − ξ = ρ kt;
Z ∞ √
1 2
= √ e−ρ /4 ϕ(x0 − ρ kt)dρ
2 π 0
Z ∞ √
1 2
u(x, t) = √ e−ρ /4 ϕ(x − ρ kt)dρ.
2 π −∞
Como ϕ(x) está acotada, entonces:
R∞ 2 √
|ϕ(x)| ≤ M ; M ∈ ℜ+ y como además −∞ e−z dz = π
Z ∞ Z ∞
−ρ2 /4 2 √
e dρ = 2 e−(ρ/2) d(ρ/2) = 2 π.
−∞ −∞

√
Se observa que |u(x, t)| ≤ 22√ππ · M = M ; se evidencia que (5.4) se cumple.
Sea ǫ > 0, δ > 0 tales que:

√ Z ∞
δ 2 /4 √
|ϕ(x0 − ρ kt) − ϕ(x0 − 0)| < ǫ, si 0 < ρ < √ . Como e−p dρ = π
kt 0

Z ∞ 2 Z ∞ Z ∞ Z ∞ Z ∞
−z 2 −x2 −y 2 2 +y 2 )
e dz = e dx e dy = e−(x dy dx
−∞ −∞ −∞ −∞ −∞
Z 2π Z ∞ Z 2π Z
2 1  −r2 ∞
e  dθ 1 2π −∞

= e−r r dr dθ = − 0
=− e − e0 dθ
0 0 2 0 2 0
Z ∞
1 2 √
= + · 2π = π; ası́ e−z dz = π.
2 −∞

2
Figura 5.2: Gráfica de f (x) = e−x .

R∞ ρ2 √ R∞ ρ2
√
ǫ π
Como 0
e− 4 dρ = π. Entonces existe un t0 > 0, tal que 0
e− 4 dρ < 2M
;
5.1. Ecuación de calor en un dominio infinito 55

0 < t < t0 , para |ϕ(x)| ≤ M, ρ > √δkt .

Entonces:  Z ∞ 
 1 2 /4
√ 1 
 √ e −ρ
ϕ(x0 − ρ kt)dρ − ϕ(x0 − 0)
2 π 2
 Z 0∞  √  
 1 2 /4
=  √ e −ρ
ϕ(x0 − ρ kt) − ϕ(x0 − 0) dρ
2 π 0
Z ∞  √  
1 2 
≤ √ e−ρ /4 ϕ(x0 − ρ kt) − |ϕ(x0 − 0)| dρ
2 π 0
 √  √
1 √ ǫ π 2ǫ π
< √ ǫ π + 2M = √ = ǫ.
2 π 2M 2 π
De igual modo para comprobar (5.5)

Definición 5.1.1. La función error

La función error se define como:
Z x
2 2
erf (x) = √ e−t dt.
π 0

Se observa que:
Z b Z b √ √
−x2 π ′ ′ 2 −x2 π
e dx = · [erf (x)] dx = [erf (x)] = √ · e = [erf (b) − erf (a)] .
a a 2 π 2

En donde
Z ∞ √
2 −t2 2 π
erf (0) = 0 y lı́m erf (x) = √ e dt = √ · = 1,
x→∞ π 0 π 2
Z x √
2 −ρ2 2 π
−√ e dρ = − √ · (erf (x) − erf (0)) ,
π 0 π 2
√ Z 0
2 π 2 2
=√ · (erf (0) − erf (x)) = √ e−ρ dρ.
π 2 π x
Se nota que: Z ∞
2 2
1 − erf (x) = √ e−t dt,
π x

ademas si z es una variable compleja, se tiene:

erf (−z) = −erf (z)

erf (z̄) = erf (z).
 5. Aplicación de las transformadas para resolver ecuaciones diferenciales ordinarias
56 y parciales

Aqui z̄ es la conjugada de z.

5.2. La ecuación de difusión no-homogénea

Problema 5.2.1. Sea el problema:

ut = α2 uxx + Q(x, t), 0 < x < l, (5.6)

donde Q(x, t) es la función que hace al problema (5.6) no-homogéneo.

u(x, 0) = f (x),
(5.7)
u(0, t) = u(l, t) = 0.

Para el problema homogéneo (5.1.1), al separar variables se obtuvo que:

∞
X  
kπx −( αkπ )2 t
u(x, t) = βk sen e l , con α = 1,
k=1
l
Z  nπx  Z  nπs 
2 l 2 l
βk = f (x) sen dx = f (s) sen ds.
l 0 l l 0 l
De ésta forma:
Z "∞ #
l X2  nπs   nπx 
−( αnπ )2 t
u(x, t) = f (s) sen sen e l ds,
0 n=1
l l l
 nπ 2
con λn = .
l

La función de influencia por las condiciones iniciales.

Para obtener la función de influencia por las condiciones iniciales para el problema no-
homogéneo se procede de la siguiente manera:


Se expande u(x, t) y Q(x, t) con k = α2 en funciones propias sen nπx l
.
Teniendo en cuenta que para el problema homogéneo Q(x, t) ≡ 0,
∞
X  nπx 
u(x, t) = Cn ekλn sen ,
n=1
l
5.2. La ecuación de difusión no-homogénea 57

para Q(x, t) 6= 0 se busca la solución de la forma:

∞
X  nπ 
u(x, t) = un t sen x .
n=1
l

Para hacer ésto, primero se debe obtener qn (t) tal que:

∞
X  nπ  ∞
X  nπ 
Q(x, t) = qn (t) sen x; f (x) = Cn sen x .
n=1
l n=1
l

Donde:
Z l  nπ  Z l  nπ 
2 2
qn (t) = Q(x, t) sen x dx; Cn = ϕ(x) sen x dx.
l 0 l l 0 l

Teniendo todo esto en cuenta, en (5.6) ut = kuxx + Q, se tiene:

X  nπ  X  nπ  X  nπ 
ut = uy (t) sen x ; uxx = − λy (t) sen x ; Q= qy (t) sen y x .

l 
l 
l

X∞    π 
d
u (t) + kλ u (t) − q (t) sen  x = 0. (5.8)
=1
dy l

Para t = 0,
∞
X  π  X∞  π  Z  π 
2 l
u(x, 0) = u (0) sen  x = f (x) = Cy sen  x ; Cn = f (x) sen  x dx.
=1
l =1
l l 0 l

∞
X  π 
[u (0) − C ] sen  x = 0. (5.9)
=1
l


De la ortogonalidad, multiplicando por sen n πl x e integrando desde [0, l], se obtiene
un sistema de valor inicial para ecuaciones diferenciales ordinarias. De (5.8) y (5.9):
(
d
u (t)
dt n
− kλn un (t) = qn (t)
(5.10)
un (0) = Cn . para n = 1, 2, 3, . . .

La primera ecuación de (5.10) es lineal de primer orden, multiplicando por e−kλn t

 5. Aplicación de las transformadas para resolver ecuaciones diferenciales ordinarias
58 y parciales

se tiene:

d d  
un (t)e−kλn t − kλn un (t)e−kλn t = qn e−kλn t un (t)e−kλn t = e−kλn t qn (t),
dt dt

integrando desde [0, t]:

Z t Z t
d  
un (t)e−kλn t dt = e−kλn t qn (t)dt
0 dt 0
Z t
un (t)e−kλn t = un (0)e −kλn 0
+ e−kλn t qn (t)dt.
0

De la segunda ecuación de (5.10), se obtiene:

Z t
−kλn t
un (t)e = Cn + e−kλn t qn (t)dt,
0

de aquı́ Z t
kλn t
un (t) = Cn e + ekλn (t−s) qn (s)ds. (5.11)
0

Finalmente, la solución para u(x, t), viene dada por:

∞
X  π  X ∞ Z t   π 
kλn t kλn (t−s)
u(x, t) = Cn e sen n x + e qn (s)ds sen n x . (5.12)
n=1
l n=1 0 l

Como
Z  π 
2 l
qn (s) = Q(x, t) sen n x dx;
l 0 l
Z l 
2 π 
Cn = f (x) sen n x dx.
l 0 l

La ecuación (5.12) se puede escribir como:

Z " #
l  π 
∞
X 2  π  π 2
sen n s sen n x e−α (n l ) t ds
2
u(x, t) = f (s)
0 n=1
l l l
Z lZ t " #
X∞
2  π   π  π 2
sen n s sen n x e−α (n l ) (t−τ ) dτ ds.
2
+ Q(s, τ )
0 0 n=1
l l l
5.3. Problemas en la frontera 59

Llamando G(x, s, t) a la función de Green para el problema (5.2.1):

∞
X 2  π   π  2 π 2
G(x, s, t) = sen n s sen n x eα (n l ) t .
n=1
l l l

Se obtiene la solución dada por:

Z l Z lZ t
u(x, t) = f (s)G(x, s, t)ds + Q(s, τ )G(x, s, t − τ )dτ ds. (5.13)
0 0 0

Aquı́ se ve claramente que la primera integral corresponde a la solución homogénea y la

segunda integral doble a la contribución de la solución para el problema no-homogéneo.

5.3. Problemas en la frontera


 ut = uxx + h(x)

Analizando el problema: u(x, 0) = 0 ; 0<x<1


u(0, t) = u(1, t) = 0 ; t > 0
Considerando que la función no-homogénea esta dada por h(x), con temperatura
inicial nula y en los extremos 0 y l es cero su temperatura:

u=0 u=0
0 b

Figura 5.3: Barra metálica de longitud finita.

La solución (5.12) en éste caso viene dada por:

∞
X ∞ Z
X t 
2
Cn e( l ) t sen(nπ) +
nπ
nπ(t−s)
u(x, t) = e qn (s)ds sen(nπx)
n=1 n=1 0
∞ Z
X t 
= enπ(t−s) qn (s)ds sen(nπx),
n=1 0

con Z Z
l l
qn (s) = 2 Q(x, s) sen(nπx)dx = 2 h(x) sen(nπx)dx.
0 0
 5. Aplicación de las transformadas para resolver ecuaciones diferenciales ordinarias
60 y parciales

Se observa que qn (s) es independiente de s, y qn es el coeficiente de Fourier para

h(x). Ası́ que qn ≡ qn (s), obteniendo:
Z l
qn  knπt 
eknπ(t−s) qn ds = e −1 .
0 knπ
∞
1 X qn (1 − eknπt )
u(x, t) = sen(nπx).
k n=1 (nπ)2

Notando la solución del estado por:

∞
1 X qn
Ψ(x) = lı́m u(x, t) = sen(nπx).
t→∞ k n=1 (nπ)2

Es claro que Ψ(0) = Ψ(1) = 0, diferenciando dos veces, se tiene:

∞
X
kΨ′′ (x) = − qn sen(nπx) = −f (x),
n=1

de aquı́
kΨ′′ (x) + f (x) = 0,

que es una solución de estado.

Sı́ se considera que l = 1, f (x) = 0,
con Q(x, t) = h(x) sen(t), se obtiene la solución para u(x, t) de la siguiente manera:
∞ Z
X t 
kλn (t−s)
u(x, t) = e qn (s)ds sen(nπx)
n=1 0

X∞  
− cos(t) − kλn sen(t) + ekλn t
= qn sen(nπx).
n=1
1 + (kλn )2

Éste caso de estado no es independiente del tiempo.

∞ 
X 
− cos(t) − kλn sen(t)
v(x, t) = qn sen(nπx), con λn = −(nπ)2
n=1
1 + (kλn )2
y cuando t → ∞, v(x, t) es una función periódica de periodo 2π.
5.4. Aplicación a problemas de difusión 61

5.4. Aplicación a problemas de difusión

Como se ha visto anteriormente, para una función g(x) en el dominio finito de
longitud L, la transformada de Fourier de cosenos viene dada por:
Z L  nπ 
Fc [g(x)] = ḡ(n) = g(x) cos x dx, 0 ≤ x ≤ L; (5.14)
0 L
nπ


n toma todos los valores 1, 2, 3, . . . El nucleo de ésta transformación es cos L
x .
Además de las propiedades, se tiene:
  
d2 g(x) n dg  dg  n2 π 2
Fc = (−1)  −  − · ḡ, (5.15)
dx2 dx x=L dx x=0 L2

con ḡ(n) = Fc [g(x)]. Es decir, sı́ el problema de valor inicial envuelve la segunda derivada
en el dominio 0 ≤ x ≤ L, y posee condiciones de segundo tipo en sus extremos, la
transformación de Fourier de coseno se puede utilizar para transformar la derivada de
orden dos.
La transformación inversa de Fourier F−1 [g(x)], está dada por:

ḡ(n)   nπ  ∞
−1 2X
F [g(x)] = g(x) =  + ḡ(n) cos x . (5.16)
L n=0 L n=1 L

Aquı́ ḡ(n) son equivalentes a los coeficientes de Fourier de la expresión de g(x).

Problema 5.4.1. La difusión unı́dimensional en una columna finita. El problema tran-

sitorio de difusión.

x′
x

Sal
L

Figura 5.4: Difusión unı́dimensional en una columna finita.

 5. Aplicación de las transformadas para resolver ecuaciones diferenciales ordinarias
62 y parciales

La ecuación correspondiente a esta modelo viene dada por:

c = c(x, t)
∂c ∂ 2c
− D∗ 2 = 0, 0 ≤ x ≤ L. (5.17)
∂t ∂x

Con condiciones en la frontera:

∂c
(0, t) = 0 (5.18)
∂x
∂c
(L, t) = 0. (5.19)
∂x

Condiciones iniciales:

c(x, 0) = C0 δ(x − x′ ), (5.20)

donde δ es la función delta de Dirac en x = x′ .

c(x, 0)
Salto infinito

b
x
x′ L

Figura 5.5: Grafica de c(x, t) sobre un intervalo infinitamente pequeño.

Aplicando la transformada de Fourier en cada término, se obtiene:

  Z L  nπ  Z  nπ 
∂c ∂c ∂ L ∂c̄
Fc = cos x dx = c · cos x dx =
∂t 0 ∂t L ∂t 0 L ∂t
| {z }
c̄(n,t)
 2
 2 2
∂ c ∂c ∂ nπ
Fc 2
= (−1)n (L, t) − (0, t) − 2 c̄.
∂x ∂x ∂x L
   2

∂c ∗∂ c
De acuerdo con (5.17) Fc − Fc D = Fc [0], la cual se reduce a:
∂t ∂x2
5.4. Aplicación a problemas de difusión 63

dc̄ n2 π 2 D∗
+ c̄ = 0; (5.21)
dt L2
Z L  nπ 
Fc [c(x, 0)] = c̄(n, 0) = C0 δ(x − x′ ) cos x dx,
0 L
utilizando la propiedad de la función delta cuando se integra,
 nπ 
c̄(n, 0) = C0 cos x . (5.22)
L

La ecuación (5.21) es una ecuación diferencial ordinaria, homogénea, la cual se soluciona

separando variables e integrando:
Z Z
dc̄ n2 π 2 D ∗ dc̄ n2 π 2 D ∗
=− dt, =− dt
c̄ L2 c̄ L2

por lo tanto
n2 π 2 D ∗
c̄ = ke− L2
t
.
nπx′


Satisfaciendo las condiciones iniciales k = C0 cos L
, de aquı́:
 nπ  n2 π2 D∗
c̄(n, t) = C0 cos x ′ e − L2 t ; (5.23)
L

lo siguiente es obtener c, a partir de c̄, de la siguiente manera:

c̄(n)   nπ  ∞
2X
c= F−1
c [c̄(n)] =  + c̄(n) cos x .
L n=0 L n=1 L

La solución final de (5.17) teniendo en cuenta las condiciones en la frontera e iniciales

viene dada por:

C0 2 X
∞  nπ   nπ  n2 π2 D∗
c(x, t) = + C0 cos x′ cos x e − L2 t . (5.24)
L L n=1 L L

El problema anterior se realizo utilizando la transformación Fc , lo cual arrojó una ecua-

ción diferencial ordinaria para c̄ (5.21). De igual forma se puede aplicar la transformada
de Laplace a (5.21) y resolviendo de igual forma la ecuación diferencial ordinaria para
c∗ .
2 2

De (5.21) dc̄
dt
+ nLπ2 D∗ c̄ = 0, con c̄(n, 0) = C0 cos nπ
L
x′ .
 5. Aplicación de las transformadas para resolver ecuaciones diferenciales ordinarias
64 y parciales

Aplicando la transformada de Laplace, se tiene:

n2 π 2
ρc∗ − c̄(n, 0) + 2 D∗ c∗ = 0; c∗ = c∗ (n, ρ),
L
 nπ  n2 π 2
ρc∗ − C0 cos x′ + 2 D∗ c∗ = 0,
L
L
nπ ′
C 0 cos x
c∗ = L
n2 π 2 ∗
.
ρ + L2 D
 1

Aplicando L−1 s−a
= eat .
" #
1 n2 π 2 D ∗
L−1 n2 π 2 ∗
= e− L2
t
,
ρ+ L2
D
de aquı́:  nπ  n2 π2 D∗
L−1 [c∗ (n, ρ)] = c̄(n, t) = C0 cos x ′ e − L2 t ,
L
aplicando F−1
c ,

c̄(n)   nπ 
∞
2X
c(x, t) = F−1
c [c̄(n)]
=  + c̄(n) cos x
L n=0 L n=1 L
C0 2X
∞  nπ   nπ  n2 π2 D∗
= + cos ′
x cos x e − L2 t .
L L n=1 L L

Problema 5.4.2. Sea el problema de difusión a lo largo de una columna finita:

f (x)
Sal
Condición inicial f (x)
cL
c0
x
0 L
Figura 5.6: Difusión a lo largo de una columna finita.

c(x, 0) = c0
c(L, t) = cL
5.4. Aplicación a problemas de difusión 65

La ecuación que gobierna éste modelo viene dada por:

∂c ∂ 2c
θ = θD∗ 2 ; 0 ≤ x ≤ L. (5.25)
∂t ∂x

La cual se simplifica como:

∂c ∂ 2c
− D∗ 2 ; 0 ≤ x ≤ L. (5.26)
∂t ∂x

Las condiciones iniciales vienen dadas por:

c(0, t) = c0 , c(L, t) = cL , c(x, 0) = f (x). (5.27)

Aplicando la transformación del seno:

Z L  nπ 
c̄(n, t) = c(x, t) sen x dx.
0 L
 
∂c ∂c̄ dc
Fs = ≡ ;
∂t ∂t dt
 2     n2 π 2
∂ c nπ c0  n cL 
Fs =  − (−1)  − 2 c̄.
∂x2 L c(x) x=0 c(x) x=L L
 2 2

dc̄ nπ nπ
De (5.26) − D∗ (c0 − (−1)n cL ) − 2 c̄ = 0
dt L L
2 2
dc̄ nπ ∗ nπ
De aquı́ − D [c0 − (−1)n cL ] + 2 D∗ c̄ = 0. (5.28)
dt L L

Para las condiciones iniciales:

Z L  nπ 
Fs [c(x, 0)] = c̄(n, 0) = f (x) sen x dx.
0 L

La expresión (5.28) es una ecuación diferencial ordinaria no-homogénea, la cual posee

n2 π 2 ∗
D t
un factor integrante dado por e L2 .
Z t 2 2
−n
2 π2 ∗
D t nπ ∗ 2 2
− n π2 D ∗ t n π ∗
c̄(n, t) = Ae L2 + n
D (c0 − (−1) cL ) e L e L2 D τ dτ,
L 0
 
2
n π 2
− 2 D t∗ L n n2 π 2 ∗
− 2 D t
= Ae L + (c0 − (−1) cL ) 1 − e L ;
nπ
 5. Aplicación de las transformadas para resolver ecuaciones diferenciales ordinarias
66 y parciales

si se aplican las condiciones iniciales se obtiene:

Z L  nπ 
A= f (x) sen x dx.
0 L
Z L  nπ   
2 2
− n π2 D ∗ t L n
2 2
− n π2 D ∗ t
c̄(n, t) = e L f (x) sen x dx + (c0 − (−1) cL ) 1 − e L ;
0 L nπ

Finalmente se obtiene que la solución c(x, t) está dada ası́:

Z
2 X − n2 π2 2 D∗ t L h  nπ  i  nπ 
∞
c(x, t) = e L f (x′ ) sen x′ dx′ sen x
L n=1 0 L L
∞     nπ 
2X L n
2 2
− n π2 D ∗ t
+ (C0 − (−1) cL ) 1 − e L sen x .
L n=1 nπ L

Problema 5.4.3. Sea el problema bidimensional:

∂h ∂ 2h ∂ 2h
S = T 2 + T 2 − Qδ(x − x′ )δ(y − y ′ ) (5.29)
∂t ∂x ∂y
0≤x≤L
0≤y≤L

h(x, L, t) = 0
h(0, y, t) = 0 Q h(L, y, t) = 0
(x′ , y ′ )
b

x
h(x, 0, t) = 0 L

Figura 5.7: Gráfica del problema (5.4.3).

La ecuación (5.29) se puede escribir como:

∂h T ∂ 2 h T ∂ 2 h Q
− 2
− 2
+ δ(x − x′ )δ(y − y ′ ) = 0 (5.30)
∂t S ∂x S ∂y S

Las condiciones de frontera e iniciales vienen dadas por:

h(0, y, t) = 0; h(L, y, t) = 0; h(x, 0, t) = 0; h(x, L, t) = 0; h(x, y, 0) = 0.

5.4. Aplicación a problemas de difusión 67

Se puede obtener la solución a éste problema aplicando la transformada de Fourier

del seno:
Primero se aplica la transformada Fs en x:

∂ h̄ n2 π 2 nπ T ∂ 2 h̄
+ 2 T h̄ − T [h(0, y, t) − (−1)n h(L, y, t)] −
∂t L SL S ∂y 2
Z L  nπ 
Q ′ ′
+ δ(y − y ) δ(x − x ) sen x dx = 0;
S 0 L
Z L  nπ 
donde h̄(n, y, t) = h(x, y, t) sen x dx.
0 L
Lo que conduce a:
∂ h̄ n2 π 2 n2 π 2 T ∂ 2 h̄ Q  nπ 
′
+ 2
+ 2
T h̄ − 2
+ δ(y − y ) sen x′ = 0.
∂t SL SL S ∂y S L

De las condiciones en la frontera e iniciales se tiene:

Fs [h(x, 0, t)] = h̄(n, 0, t) = 0,

Fs [h(x, L, t)] = h̄(n, L, t) = 0,
Fs [h(x, y, 0)] = h̄(n, y, 0) = 0.

Aplicando ahora Fs para y:

∂h∗ n2 π 2 ∗ m2 π 2 ∗ mπ  
+ 2
h + 2
Th − T h̄(n, 0, t) − (−1)n h̄(n, L, t) +
∂t SL SL SL
  Z L  nπ 
Q nπ ′ ′
+ sen x δ(y − y ) sen y dy = 0.
S L 0 L

Al simplificar:

dh∗ n2 π 2 ∗ m2 π 2 ∗ Q  nπ   mπ 
′
+ T h + T h + sen x sen x′ = 0; (5.31)
dt SL2 SL2 S L L

donde Z L  mπ 
∗
h (n, m, t) = h̄(n, y, t) sen y dy.
0 L
Aplicando Fs a la condición h̄(n, y, 0), se obtiene: h∗ (n, m, 0) = 0.
La ecuación (5.31) es lineal, de primer orden no-homogénea, la cual se resuelve utili-
2 2 2 2
zando un factor integrante definido por ϕm = mSLπ2 T ; ϕn = nSLπ2 T , (5.31) se transforma
 5. Aplicación de las transformadas para resolver ecuaciones diferenciales ordinarias
68 y parciales

en:  nπ   mπ 
dh∗ ∗ Q ′
+ (ϕm + ϕn )h = − sen x sen y′ .
dt S L L
Q



Si a1 (t) = ϕm + ϕn ; h(t) = − S sen nπ
L
x′ sen mπ
L
y ′ se tiene para h∗ (t) :
Z t R
∗ 1 a1 (ξ)dξ
h (t) = R
a1 (α)dα
h(α)e dα.
e 0
R
Ahora si se tiene en cuenta que a1 (α)dα = (ϕm + ϕn )t, reemplazando se tiene:
Z t  nπ   mπ 
∗ 1 Q ′
h (t) = (ϕm +ϕn )t − sen x sen y ′ e(ϕm +ϕn )α dα
e 0 S L L
    Z t
Q nπ ′ mπ ′ −ϕm,n t
h∗ (t) = − sen x sen y e eϕm,n τ dτ ;
S L L 0

donde
π2
ϕn,m = ϕm + ϕn = T (n2 + m2 ).
SL2
Ahora Z t
1
eϕm,n τ dτ = [eϕm,n − 1] .
0 ϕm,n
Por lo tanto

Q  nπ   mπ  1
h∗ (t) = − sen x′ sen y ′ e−ϕm,n t [eϕm,n − 1] .
S L L ϕm,n

De aquı́:
Q  nπ   mπ  1  
∗ ′
h (t) = − sen x sen y′ 1 − e−ϕm,n t .
S L L ϕm,n
Aplicando la inversa dos veces, primero para obtener h̄ y después h, se obtiene:

2Q  nπ  X ∞  mπ  1    mπ 
′ ′ ϕm,n t
h̄(n, y, t) = − sen x sen y 1−e sen y .
LS L m=1
L ϕm,n L
4 QXX
∞ ∞  nπ   mπ  1    nπ   mπ 
h(x, y, t) = − 2 sen x′ sen y′ 1 − e−ϕm,n t sen x sen y .
L S n=1 m=1 L L ϕm,n L L
5.4. Aplicación a problemas de difusión 69

Al sustituir el valor de ϕm,n , finalmente se obtiene:

∞ ∞
4 QXX  nπ   mπ 
h(x, y, t) = − 2 sen x′ sen y′
π T n=1 m=1 L L
   nπ   mπ 
1 2
− π 2 T (m2 +n2 )t
· 2 1 − e SL sen x sen y .
m + n2 L L
 5. Aplicación de las transformadas para resolver ecuaciones diferenciales ordinarias
70 y parciales
6

Conclusiones

1. La transformada de Fourier y Laplace son una herramienta de mucha utilidad

para resolver problemas en dominios infinitos con condiciones iniciales y en la
frontera.

2. Cuando se tienen funciones periódicas en un intervalo continuo puede ser a trozos,

es aconsejable resolver éste tipo de problemas utilizando series de Fourier.

3. La transformada de Laplace es aconsejable utilizar para resolver ecuaciones dife-

renciales ordinarias y algunas ecuaciones diferenciales parciales lineales.

4. La transformada de Fourier se puede ver como una extensión lógica de las series
de Fourier.

5. Las transformadas de Fourier y Laplace son similares y la diferencia radica en su

utilización ya que una esta definida en los imaginarios y la otra en los complejos.

6. Debido a la propiedad de completitud media, la clase de funciones que se pueden

representar por medio de las transformadas de Fourier y Laplace es muy grande y
se pueden utilizar para resolver una gran gama de problemas tales como señales,
recuperación de información (fotografı́as), etc.

7. Cuando se tienen condiciones en la frontera homogénea se aplica la transformada

de Fourier del seno.
Si se tienen condiciones en la frontera no-homogénea se sugiere utilizar la trans-

71
72 6. Conclusiones

formada de Fourier del seno modificada, es decir:

Z L  nπ 
F′s [g(s)] = ḡ(m) = g(x) sen x dx, 0 ≤ x ≤ L.
0 L

Ésta transformada posee la siguiente propiedad:

 
d2 g m2 π 2 mπ  
n dg 
F∗s = − 2 ḡ + g − (−1)  ,
dx2 L L x=0 dx x=L

con m = n − 12 .

2X
∞  mπ 
F∗−1
s [ḡ(m)] = ḡ(x) = ḡ(m) sen x
L n=1 L

Forma generalizada de las transformadas de Fourier para problemas en la frontera.

7

Bibliografı́a

De Castro Korgi Rodrigo; El Universo LATEX, Universidad Nacional de Co-

lombia, Facultad de Ciencias, Departamento de Matemáticas, 2003.

Kreider, Kuller y Ostberg; Ecuaciones Diferenciales, Fondo Educativo In-

teramericano, 1973.

Spiegel Murray Ralph; Transformada de Laplace, serie Schaum, MacGraw-

Hill, 1971.

Zill Dennis G; A firts course in differential equations whith applications, segun-

da edición PWS. , Wadsworth, 1982.

Mesa Fernando, Martı́nez Acosta Alejandro y González Granada

José Rodrigo; Ecuaciones Diferenciales Ordinarias una introducción, Ecoe Edi-
ciones, Bogotá, 2012.

Cornejo Serrano Marı́a del Carmen, Villalobos Oliver Eloı́sa Ber-

nardett y Quintana Hernández Pedro Alberto; Métodos de solución de
Ecuaciones Diferenciales y aplicaciones, primera edición, Reverté-Aguilar, S.L.,
México, DF, 2008.

Dym Harry, McKean Henry; Fourier series and integrals Academic Press,
New York, 1972.

Rudin Walter; Análisis real y Complejo, tercera edición, Mac Graw-Hill, Ma-
drid 1988.

73