Variable Compleja & Transformadas (Matemticas II)

Departamento de Matemtica Aplicada y Estadstica

E.T.S. Ingeniera Industrial B UPCT
Grado en Ingeniera Electrnica Industrial y Automtica

Guin resumen del tema 5

Transformadas integrales.
Estudio de dos casos particulares: Laplace y Fourier
1. Transformadas integrales
Consideremos F1 un conjunto de funciones de variable real o compleja y F2 un conjunto de
funciones de variable compleja. Supongamos conocidas una funcin f F1 y una funcin K que
depende de dos variables. Numerosas funciones en Anlisis Matemtico se denen mediante una
expresin del tipo

T : F1 7 F2

f (t) 7 T (f )(z) =

f (t) K(z, t) dt.

(1)

La transformada T se denomina transformada integral de la funcin f y K se llama

ncleo de la transformada. Como consecuencia de la denicin anterior, T es siempre lineal,
i.e. si A, B C, entonces

T (Af + Bg) = AT (f ) + BT (g).

Adems, si T 1 es la transformada inversa de T , es decir,

T 1 g = f T (f ) = g,

(2)

entonces se verica que T 1 es tambin una transformada lineal.

Las transformadas del tipo (1) son especialmente tiles en la resolucin de ecuaciones diferenciales
y muchas ecuaciones integrales. Algunos casos particulares son los siguientes:

Transformada exponencial de Fourier

Z

f (t) 7 T (f )(z) =

f (t) exp(izt) dt.

Transformada coseno de Fourier

f (t) 7 T (f )(z) =

f (t) cos(zt) dt.

0

2012

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas (Matemticas II)

Transformada seno de Fourier

f (t) 7 T (f )(z) =

f (t) sen(zt) dt.

0

Transformada de Laplace

f (t) 7 T (f )(z) =

f (t) exp(zt) dt.

0

Transformada de Mellin

f (t) 7 T (f )(z) =

f (t) tz1 dt.

1.1. Relaciones entre transformadas

La transformada exponencial y las transformadas seno-coseno de Fourier: Las
transformadas seno y coseno son casos particulares de la transformada exponencial de
Fourier. Basta considerar funciones f (t) que se anulan para t < 0 y tener en cuenta la
frmula de Euler.
La transformada exponencial de Fourier y la transformada de Laplace: Con la
notacin habitual, la transformada T se denota F en el caso de la transformada exponencial
de Fourier y se escribe L en el caso de la transformada de Laplace. En realidad se trata de
dos transformadas distintas y ninguna de ellas es la generalizacin de la otra. Sin embargo,
podemos analizar dos situaciones especiales en las que siempre hay que hacer algn tipo
de suposicin extra.
Consideremos z C, z = x + yi, x, y R y f F1 tal que f (t) = 0 si t < 0. Entonces
Z +
Z +
L(f )(z) =
f (t) exp(zt) dt =
f (t) exp((x + yi)t) dt
0
0
Z +
Z +
=
(exp(xt)f (t)) exp(iyt) dt =
hx (t) exp(iyt) dt
0

= F(hx )(y),
donde hx (t) = exp(xt)f (t).

Consideremos una funcin f para la que se supone que su transformada de Laplace

existe sobre el eje imaginario, i.e., existe en z Im = iy, y R. Entonces
L(f )(z Im ) = F(f )(y).

1.2. Transformadas y productos: El producto de convolucin

En general, la transformada de un producto no coincide con el producto de las transformadas,
i.e. T (f g) 6= T (f )T (g). Sin embargo, el posible denir un producto, que denotaremos ? tal que

T (f ? g) = T (f )T (g),
siendo T una transformada integral del tipo (1). Ms precisamente, si f y g son dos funciones
integrables en R, se dene el producto de convolucin entre ellas como
Z +
(f ? g)(t) =
f (t u) g(u) du.

El producto de convolucin es conmutativo, asociativo y distributivo respecto a la suma.

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas (Matemticas II)

2. La transformada de Laplace
Sea f (t) una funcin denida para t [0, +). Se dene la transformada de Laplace de f
como la funcin
Z +
L(f )(z) =
f (t) exp(zt) dt.
(3)
0

2.1. Consecuencias de la denicin

La funcin L(f )(z) tambin se suele denotar F (z) o f(z). A veces necesitaremos escribir
L(f (t))(z) en lugar de L(f )(z). La variable t puede representar el tiempo mientras que la
variable z , en base a la frmula de Euler, representa la frecuencia. Por este motivo se suele
decir que la transformada de Laplace acta en el dominio de la frecuencia. Otras letras que
suelen utilizarse para denotar la frecuencia son s y . As, la transformada de Laplace
tambin se escribe como F (s) y F (). Nosotros emplearemos las notaciones L(f )(z) y la
correspondiente mayscula F (z) para expresar la transformada de Laplace de f (t).
La funcin L(f )(z) solo est denida para z C tales que la integral impropia en (3) es
absolutamente convergente. Por otro lado, al no intervenir los valores de f (t) para t < 0,
se considera que f (t) = 0 en t < 0.
Existen funciones f (t) para las que la integral impropia en (3) es mixta en lugar de ser
de primera especie. Sin embargo, si la integral mixta es convergente en el extremo
inferior,

la transformada de Laplace est bien denida. Un ejemplo es f (t) = 1/ t. En general, la funcin f debe cumplir ciertas condiciones para que su transformada de Laplace
exista. Algunas condiciones sucientes para la existencia de transformada de Laplace las
enunciamos en el siguiente teorema:

Teorema: (i) Si f (t) es continua a trozos y existen constantes M > 0, T > 0 y c R

tales que

|f (t)| M exp(ct);

t > T,

(4)

entonces L(f )(z) existe para todo z C, z > c. La condicin (4) se conoce como
 f de orden exponencial c.
(ii) Si lmt0+ f (t) = , f es continua a trozos en cualquier intervalo de la forma
(0, b), lmt0 ta f (t) = 0, a (0, 1) y f es de orden exponencial c, entonces L(f )(z)
existe para todo z C, z > c.

2.2. Propiedades de la transformada directa de Laplace

Continuidad Si f : [0, +) 7 C es continua a trozos y de orden exponencial c R, entonces
L(f )(z) es continua en (c, +).

Derivacin En este apartado vamos a ver dos resultados:

Transformada de una derivada:

Sea f : [0, +) 7 C es continua y con derivada f 0 de orden exponencial y continua

a trozos. Entonces
L(f 0 )(z) = zL(f )(z) f (0).
Este resultado puede generalizarse del siguiente modo: Si f n1) es continua y f n) es
de orden exponencial y continua a trozos, entonces

L(f n) )(z) = z n L(f )(z) z n1 f (0) z n2 f 0 (0) zf n2) (0) f n1) (0).

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas (Matemticas II)

Derivada de una transformada:

Sea f : [0, +) 7 C continua a trozos y de orden exponencial c R. Entonces, para

todo z > c se tiene
dn
(1)n n [L(f )(z)] = L(tn f (t))(z).
dz

Integracin Sea f : [0, +) 7 C continua a trozos y de orden exponencial. Entonces

Z
L
a

Z
1
1 a
f (x) dx (z) = L(f )(t)
f (x) dx.
z
z 0

En particular,

f (x) dx (z) =
0

1
L(f )(t).
z

Propiedades de valor inicial y nal Los siguientes resultados muestran algunas propiedades
de la funcin transformada de Laplace para valores grandes o pequeos de la variable z .
Sea f : [0, +) 7 C continua a trozos y de orden exponencial. Entonces

lm L(f )(z) = 0 y

lm z

d
(L(f )(z)) = 0.
dz

Teorema del valor inicial: Sea f : [0, +) 7 C es continua y con derivada f 0 de

orden exponencial y continua a trozos. Entonces

lm zL(f )(z) = lm f (t).

t0+

Teorema del valor nal: Sea f : [0, +) 7 C es continua y con derivada f 0 de

orden exponencial c < 0 y continua a trozos. Entonces

lm zL(f )(z) = lm f (t).

t

z0

Traslaciones y cambios de escala Las siguientes propiedades se derivan directamente de la

denicin (3). La traslacin se analiza en el dominio de la frecuencia y tambin en el del
tiempo:

Primera frmula de traslacin: Si a R, entonces L(f (t))(za) = L(exp(at)f (t))(z).

Segunda frmula de(traslacin: Si a > 0 y h : R 7 R es la funcin de Heaviside,
denida como h(t) =

1 t0
entonces
0 t < 0,

L(f (t a)h(t a))(z) = exp(az)L(f (t))(z).

Cambio de escala: Sea f : [0, +) 7 C continua a trozos y de orden exponencial

c y a > 0. Entonces

L(f (a t)(z) =

z
1
L(f )
.
a
a

Producto de convolucin Si f : [0, +) 7 C y g : [0, +) 7 C son dos funciones continuas

a trozos y de orden exponencial, entonces

L(f ? g)(z) = L(f )(z)L(g)(z).

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas (Matemticas II)

2.3. Transformada inversa de Laplace. Clculo y propiedades

En esta seccin denotaremos con letras maysculas a las correspondientes transformadas de
las funciones en minscula.

2.3.1. Clculo
La transformada inversa, L1 se dene en base a (2), i.e.

L1 (G(z))(t) = L1 (G)(t) = g(t) L(g(t))(z) = L(g)(z) = G(z).

A veces el clculo de la transformada inversa se puede realizar combinando las propiedades que
hemos visto. Sin embargo, en ocasiones resulta ms adecuado aplicar el teorema del residuo,
como ya anunciamos en el tema 4, (seccin 4.2 (II)). En concreto, aplicando lo estudiado en ese
apartado, tenemos lo siguiente: Si G(z) es una funcin analtica en el interior y sobre una curva
cerrada y simple , excepto en un nmero nito de singularidades aisladas z1 , z2 , , zn , que
pertenecen al interior de la curva. Entonces,

L1 (G(z))(t) =

n
X

Res(G(z) exp(zt); zi ).

(5)

i=1

2.3.2. Propiedades
Denotaremos L1 (F )(t) = f (t) y L1 (G)(t) = g(t) . Las propiedades se derivan de las vistas
para la transformada directa.

Derivacin L1 (F n) )(t) = (1)n tn f (t).

Z

Integracin L1

f (t)
F (s) ds (t) =
.
t

Traslaciones y cambios de escala Todas las propiedades son consecuencia de las que se
verican para la transformada directa.

Primera frmula de traslacin: Si a R, entonces L1 (F (z a))(t) = exp(at)f (t).

Segunda frmula de traslacin: Si a > 0, entonces
(
L1 (exp(az)F (z))(t) = f (t a)h(t a) =

Cambio de escala: Si a > 0, entonces, L1 (F

Convolucin

z
a

f (t a) t a
0
t < a.

)(t) = af (at).

L1 (F G)(t) = (L1 (F ) ? L1 (G))(t).

3. La transformada de Fourier
Sea la funcin f : (, +) 7 C. Para cada z R, se dene la transformada de Fourier de
f como la funcin
Z +
F(f )(z) =
f (t) exp(izt) dt.
(6)

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas (Matemticas II)

3.1. Consecuencias de la denicin

La funcin F(f )(z) tambin se suele denotar F (z), f(z). Al igual que ocurre con la transformada de Laplace, la variable t representa el tiempo y la variable z representa la frecuencia. La transformada de Fourier F(f )(z) proporciona informacin de f a frecuencia
z . En el caso de la transformada de Fourier la notacin ms habitual es considerar z = .
Nosotros utilizaremos F(f )().
El valor de F(f )() para cada R es, generalmente, un nmero complejo a causa
del trmino exp(it), i.e. F(f )() C. En consecuencia, tiene sentido representar
grcamente el mdulo |F(f )()| y el argumento principal argp (F(f )()). Estas grcas
se denominan respectivamente espectro de amplitud y espectro de fase de f . Si para
alguna funcin f (t) se tiene que F(f )() es un nmero real, entonces es posible representar
la funcin 7 F(f )(), que se denomina espectro de frecuencia.
La transformada de Fourier de una funcin f : (, +) 7 C solo est denida si
la integral impropia en (6) es convergente. Un condicin suciente para la existencia de
transformada de Fourier la enunciamos en el siguiente teorema:

Teorema (Condiciones Zde Dirichlet): Si f : (, +) 7 C es una funcin absolutamente

+
integrable en R, i.e.,

|f (t)| dt < y en cada subintervalo de R la funcin f es

continua salvo un nmero nito de discontinuidades de salto, entonces F(f )() existe
para todo R.

3.2. Propiedades de la transformada de Fourier

En adelante supondremos que las funciones que aparecen cumplen las condiciones de Dirichlet.
Aparte de la propiedad de linealidad, enunciamos tambin las siguientes:

Simetra Si f (t) es una funcin real, entonces F(f )() = F(f )(), R. En particular,
|F(f )()| = |F(f )()|, i.e., el espectro de amplitudes es una funcin par.

Paridad Si f es una funcin par, entonces su transformada de Fourier coincide con la transformada coseno aplicada a f . Si f es una funcin impar, entonces su transformada de
Fourier coincide (salvo constante multiplicativa 2i) con la transformada seno aplicada a
f.

Derivacin En este apartado vamos a ver dos resultados:

Transformada de una derivada Si f y f 0 verican las condiciones de Dirichlet,
entonces

F(f 0 )() = (i)F(f )().

Este resultado puede generalizarse. Para ello, suponemos que f, f 0 , f n) cumplen las
condiciones de Dirichlet. Entonces

F(f n) )() = (i)n F(f )().

Derivada de una transformada Si la funcin tf (t) verica las condiciones de Di-

richlet, entonces

(1)n

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

Identidad de Parseval (Conservacin de la energa) La energa total de una funcin f : R 7

R se dene como

E(f ) =

|f (t)|2 dt.

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas (Matemticas II)

Si una funcin tiene energa total nita, entonces su transformada de Fourier tambin
tiene energa total nita. En concreto, se tiene la Identidad de Parseval o propiedad de
conservacin de la energa:
1
E(f ) =
E(F(f )).
2
La representacin grca de la funcin 7 |F(f )()|2 se denomina espectro de energa
de f (t).

Traslacin Esta propiedad, al igual que ocurre con la transformada de Laplace, se analiza
tanto en el dominio de la frecuencia como en el del tiempo:

Primera frmula de traslacin: F(f (t))( a) = F(exp(iat)f (t))().

Segunda frmula de traslacin: F(f (t a))() = exp(ia)F(f (t))().
Cambio de escala Si a 6= 0, entonces
F(f (a t)() =

1
.
F(f )
|a|
a

Convolucin Si f y g verican las condiciones de Dirichlet, entonces

F(f ? g)() = F(f )()F(g)().
Adems se verica,

F(f g)() =

1
F(f )() ? F(g)().
2

3.3. Transformada inversa de Fourier

Tambin denotaremos con letras maysculas a las correspondientes transformadas de las
funciones en minscula. La transformada inversa, F 1 se dene en base a (2), i.e.

F 1 (F ())(t) = F 1 (F )(t) = f (t) F(f (t))() = F(f )() = F ().

Clculo En el caso de la transformada de Fourier, el clculo de la transformada inversa se

realiza mediante

f (t) = F

1
(F )(t) =
2

F () exp(it) d.

Propiedades
Dualidad Si las funciones {f (t), F ()} forman un par, donde primero escribimos la funcin

que depende del tiempo y despus la que depende de la frecuencia, entonces tambin
se tiene que las funciones {F (t), 2f ()} forman par.

Otras El resto de propiedades de la transformada inversa se derivan de las propiedades de

la transformada directa. Por citar dos ejemplos, si a R, entonces

F 1 (F ( a))(t) = exp(at)f (t)

y

F 1 (F G)(t) = (F 1 (F ) ? F 1 (G))(t).

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas (Matemticas II)

3.4. Transformada de Fourier de una sucesin

Supongamos que f : N 7 C, i.e, f (k) = fk , k N, es una sucesin. Se dene su transformada
de Fourier como

F(fk )() = F () =

n=+
X

f (n) exp(in),

(7)

n=

siempre que la serie anterior sea convergente. Su transformada inversa es

Z
1
fk = F 1 (F )(k) =
F () exp(ik) d.
2

Observaciones
F () en (7) es una funcin continua en .
F () se expresa en trminos de exp(i), tenemos que F es peridica de periodo mximo
2 , con independencia de que la sucesin fk sea o no peridica.

3.5. Transformada de Fourier en tiempo y frecuencia discretos

Sea f : N 7 C una sucesin fk para la que se conocen N valores equiespaciados y distantes
entre s una cantidad igual a T , i.e. fk = f (kT ), k = 0, 1, , N 1. Consideremos N valores
de la frecuencia en el intervalo [0, 2/T ]. La distancia entre estos valores es = N2T , por lo
que dene la sucesin de valores n = n, k = 0, 1, , N 1. Se denen respectivamente la
transformada de Fourier discreta y su inversa como:

F(fk ) = Fn =
fk = F 1 (F )(k) =

N
1
X

fk exp(i k n T ),
k=0
N
1
X

1
N

Fn exp(i k n T ).

n=0

Teniendo en cuenta la denicin de , tenemos

F(fk ) = Fn =
fk = F 1 (F )(k) =

2ikn
fk exp
,
N
k=0

N 1
1 X
2ink
Fn exp
.
N
N

N
1
X

n=0

Este par de transformadas hacen, en relacin a seales discretas, el mismo papel que la
transformada de Fourier (6) y su inversa para seales continuas. El coste computacional de estas
ltimas expresiones es bastante alto, pues requiere N 2 multiplicaciones complejas y N (N 1)
sumas. El algoritmo computacionalmente eciente que calcula la transformada de Fouier discreta
dene lo que se conoce como fast Fourier transform o FFT.

Material docente elaborado por M. Moncayo.