Transformadas integrales

pod

Date: Marzo - abril de 2001

Introduccin
Este documento presenta brevemente los principios de la teora de las transformadas integrales, en
especial, de la transformada de Laplace y la de Fourier. La transformacin de Laplace es de amplia
aplicacin en el campo de la electrnica y l teora de circuitos. Por otra parte, la transformada de Fourier,
es de amplia aplicacin en el anlisis de seales, as como en diferentes campos de la fsica (teora de la
difraccin, mecnica cuntica, etc.). Las transformadas integrales se presentan en forma de apuntes
esquemticos y sin demostraciones.

1 Transformadas integrales
Definicin 1.1 (Transformada integral) La transformada integral
intervalo

Donde

de la funcin

respecto el ncleo

en el

se define de la forma

es la variable transformada.

El operador de transformacin

es lineal, as como el operacin de transformacin inversa

2 Transformada de Laplace
2.1 Definicin
Definicin 2.1 (Transformada de Laplace) La transformada de Laplace de una funcin
por

se define

Algunos ejemplos son:

Definicin 2.2 (Funcin de orden exponencial) La funcin

tal que
cumple

est acotada

es de orden exponencial si

. De otra manera,

. Tambin se escribe

Teorema 2.3 (Teorema de existencia) Sea

tal que

se

.
continua a trozos en

Entonces, existe la transformada de Laplace

para

, y de orden exponencial.

2.2 Teoremas fundamentales

Los siguientes teoremas sern tiles para resolver ecuaciones diferenciales as como hallar transformadas
inversas.
Teorema 2.4 (Teorema de traslacin) Sea

, entonces se cumple

Teorema 2.5 (Segundo teorema de traslacin) Sea

de Heaviside, entonces

Teorema 2.6 (Teorema de escala) Si

Teorema 2.7 (Transformada de

) Sea

, entonces

, entonces

la funcin escaln

2.3 Teoremas de integracin y derivacin

En utilizar la transformada de Laplace en ecuaciones diferenciales, las condiciones iniciales aparecen en
transformar las derivadas de la funcin incgnita. Para obtener la ecuacin general se asigna un valor
constante a las condiciones iniciales. Este mtodo suele ser til tan solo si los coeficientes de la ecuacin
diferencial son polinomios de orden menor que el grado de la ecuacin.
Teorema 2.8 (Teorema de diferenciacin) Sea
sea

continua y derivable por partes en

de orden exponencial. Entonces existe la transformada de Laplace de la derivada y su valor es

En general, para

, se tiene

Teorema 2.9 (Transformada de derivadas parciales) Sea

y

la transformada de Laplace respecto

una funcin de dos variables,

. Entonces

En general,

Teorema 2.10 (Teorema de integracin) Si

, entonces se cumple

Definicin 2.11 (Producto de convolucin) El producto de convolucin de dos funciones

define

se

Este producto es asociativo, distributivo respecto la suma y conmutativo.

Teorema 2.12 (Teorema de convolucin) Sea

, entonces

2.4 Transformada de Laplace inversa

Teorema 2.13 (Teorema de Lerch) Sean

continuas por partes, ambas de orden exponencial.

Si
tal que
, entonces
de discontinuidad. Es decir, la transformada inversa es nica.

excepto, quizs, en los puntos

Existen diversos mtodos para hallar la transformada inversa de una funcin:

Descomposicin en fracciones simples: Aplicable a funciones racionales polinmicas. Se

descompone la funcin en fracciones simples, cuya transformada inversa es conocida
(exponenciales, funciones trigonomtricas, etc.).
Teorema de convolucin: Aplicable cuando la funcin es producto de dos transformadas:

Segundo teorema de traslacin: Si

es la funcin escaln, tenemos

Teorema 2.14 (Formula de la transformada inversa de Laplace) A travs de la transformada de Fourier

que veremos ms adelante, podemos encontrar la siguiente formula para encontrar la transformada
inversa de Laplace:

3 Transformada de Fourier
3.1 Integral de Fourier
Extendiendo las series de Fourier a intervalos infinitos se puede deducir el siguiente
Teorema 3.1 (Teorema integral de Fourier) Sea
el eje real. Entonces, se cumple:

suave por partes, y absolutamente integrable en

Para funciones pares, se tiene

Para funciones impares, se tiene

Este teorema se puede escribir de otra manera ms similar a las series de Fourier

donde

Otra manera ms til de escribir el teorema Integral de Fourier es:

3.2 Transformada de Fourier

A partir del teorema integral de Fourier, se puede definir la transformada de Fourier:
Definicin 3.2 (Transformada de Fourier) Sea
en

. La transformada de Fourier

continua, suave y absolutamente integrable

entonces,

De igual manera, podemos definir

Definicin 3.3 (Transformada de Fourier en seno) Sea

integrable en

entonces,

extendida impar a

. La transformada de Fourier en seno es

tenemos

Definicin 3.4 (Transformada de Fourier en coseno) Sea

integrable en

entonces,

continua, suave y absolutamente

extendida par a

continua, suave y absolutamente

. La transformada de Fourier en coseno es

tenemos

3.3 Propiedades de la transformada de Fourier

Los siguientes teoremas, expresan las propiedades ms tiles de la transformada de Fourier.
Teorema 3.5 (Teorema de linealidad) Para todo par de funciones, cuyas transformadas de Fourier
existan, y

, entonces

Teorema 3.6 (Teorema de traslacin) Para toda funcin cuya transformada de Fourier existe, si
, entonces

Teorema 3.7 (Teorema de escala) Para toda funcin cuya transformada de Fourier
existe

, si

, entonces

Teorema 3.8 (Teorema de diferenciacin) Sea

continua y suave por partes en todo el eje real.

Sea

absolutamente integrables para todo x. Entonces

si

. Sean

En general, si las derivadas sucesivas cumplen las condiciones, tenemos

Si

es una funcin de varias variables, entonces podemos generalizar el resultado anterior:

Definicin 3.9 (Producto de convolucin) Sean un par de funciones

convolucin se define mediante la integral

. El producto de

Teorema 3.10 (Teorema de convolucin) Sea un par de funciones tal que su producto de convolucin
existe. Entonces, se cumple
O lo que es lo mismo

Teorema 3.11 (Teorema de Parseval) Para toda funcin

Fourier

, se cumple

tal que existe su transformada de

3.4 Transformada de Fourier de las funciones escaln,

impulso y delta de Dirac
A partir de la semejanza entre la definicin de la funcin delta de Dirac

y el teorema integral de Fourier podemos encontrar una representacin para la delta de Dirac:

Otra representacin posible es el lmite de una sucesin de campanas gaussianas

Otra representacin de la delta es el lmite la funcin impulso

la transformada de Fourier de esta funcin se puede calcular

tomando
, la integral a todo el eje real de la funcin impulso es la unidad. As, pues, podemos
representar la delta de Dirac mediante el lmite
As, pues, podemos definir la transformada de Fourier de la funcin de Dirac se puede definir mediante el
lmite de dicha funcin:

Por otra parte, en aplicar la definicin habitual de la transformada de Fourier a la funcin escaln

se encuentra que el resultado no existe, pero se puede definir a partir del lmite

3.5 Diferenciacin de las transformadas de seno y coseno

Para las transformadas de Fourier existen teoremas de diferenciacin anlogos a los generales.
Teorema 3.12 (Diferenciacin mediante la transformada de Fourier en coseno) Sea
se anulan en
. Entonces, se cumple

Teorema 3.13 (Diferenciacin mediante la transformada de Fourier en seno) Sea

anulan en
. Entonces, se cumple

que

que se