Bájatelo (formato ps) Formato post-script

Transformadas integrales

pod


Date: Marzo - abril de 2001


Introducción

Este documento presenta brevemente los principios de la teoría de las transformadas integrales, en especial, de la transformada de Laplace y la de Fourier. La transformación de Laplace es de amplia aplicación en el campo de la electrónica y l teoría de circuitos. Por otra parte, la transformada de Fourier, es de amplia aplicación en el análisis de señales, así como en diferentes campos de la física (teoría de la difracción, mecánica cuántica, etc.). Las transformadas integrales se presentan en forma de apuntes esquemáticos y sin demostraciones.

1 Transformadas integrales

Definición 1.1 (Transformada integral)   La transformada integral $ \mathcal{I}$ respecto el núcleo $ K(s,x)$ en el intervalo $ (a, b)$ de la función $ f(x)$ se define de la forma

$\displaystyle \bar{F}(s) = \mathcal{I} \big[ f(x) \big] = \int_a^b\!\!f(x) K(s, x) \ensuremath{\mathrm{d}x} . $

Donde $ s$ es la variable transformada.

El operador de transformación $ \mathcal{I}$ es lineal, así como el operación de transformación inversa $ \mathcal{I}^{-1}$ .

2 Transformada de Laplace

2.1 Definición

Definición 2.1 (Transformada de Laplace)   La transformada de Laplace de una función $ f(t)$ se define por

$\displaystyle F(s) = \ensuremath{ \mathcal{L} \left[ f(t) \right] }= \int_0^\infty \!\!f(t)  e^{-st} \ensuremath{\mathrm{d}x} . $

Algunos ejemplos son:

$\displaystyle \ensuremath{ \mathcal{L} \left[ e^{at} \right] }= \frac{1}{s-a} ...
...remath{ \mathcal{L} \left[ \mathbf{J}_0(t) \right] }= \frac{1}{\sqrt{1+s}}  , $

$\displaystyle \ensuremath{ \mathcal{L} \left[ \sin at \right] }= \frac{a}{s^2+a...
... \mathcal{L} \left[ \cos at \right] }= \frac{s}{s^2+a^2} \textrm{ si }s>0  , $

$\displaystyle \ensuremath{ \mathcal{L} \left[ \sinh at \right] }= \frac{a}{s^2-...
... \left[ \cosh at \right] }= \frac{s}{s^2-a^2} \textrm{ si }s>\vert a\vert  . $

Definición 2.2 (Función de orden exponencial)   La función $ f(t)$ es de orden exponencial si $ \exists a>0$ tal que $ e^{at} \big\vert f(x) \big\vert$ está acotada $ \forall t>T$ . De otra manera, $ \exists M >0$ tal que $ \forall t>T$ se cumple $ \big\vert f(t) \big\vert \le M e^{at}$ . También se escribe $ f(t) = o(e^{at})$ .

Teorema 2.3 (Teorema de existencia)   Sea $ f(x)$ continua a trozos en $ \big[ 0, T \big]$ , y de orden exponencial. Entonces, existe la transformada de Laplace $ \mathcal{L} \left[ f(t) \right] $ para $ s>a$ .

2.2 Teoremas fundamentales

Los siguientes teoremas serán útiles para resolver ecuaciones diferenciales así como hallar transformadas inversas.

Teorema 2.4 (Teorema de traslación)   Sea $ F(s) = \ensuremath{ \mathcal{L} \left[ f(t) \right] }$ , entonces se cumple

$\displaystyle \ensuremath{ \mathcal{L} \left[ e^{et} f(t) \right] }= F(s-a)  . $

Teorema 2.5 (Segundo teorema de traslación)   Sea $ F(s) = \ensuremath{ \mathcal{L} \left[ f(t) \right] }$ y $ \theta(t-a)$ la función escalón de Heaviside, entonces

$\displaystyle \ensuremath{ \mathcal{L} \left[ \theta(t-a) f(t-a) \right] }= e^{-as} F(s)  . $

Teorema 2.6 (Teorema de escala)   Si $ F(s) = \ensuremath{ \mathcal{L} \left[ f(t) \right] }$ y $ c>0$ , entonces

$\displaystyle \ensuremath{ \mathcal{L} \left[ f(ct) \right] }= \frac{1}{c} F \left( \frac{s}{c} \right)  . $

Teorema 2.7 (Transformada de $ t^n f(x)$ )   Sea $ F(s) = \ensuremath{ \mathcal{L} \left[ f(t) \right] }$ , entonces

$\displaystyle \ensuremath{ \mathcal{L} \left[ t^n f(t) \right] }= (-1)^n \frac{\ensuremath{\mathrm{d}}^n}{\ensuremath{\mathrm{d}s}^n}F(s)  . $

2.3 Teoremas de integración y derivación

En utilizar la transformada de Laplace en ecuaciones diferenciales, las condiciones iniciales aparecen en transformar las derivadas de la función incógnita. Para obtener la ecuación general se asigna un valor constante a las condiciones iniciales. Este método suele ser útil tan solo si los coeficientes de la ecuación diferencial son polinomios de orden menor que el grado de la ecuación.

Teorema 2.8 (Teorema de diferenciación)   Sea $ f(t)$ continua y derivable por partes en $ 0 \le t \le T$ , sea $ f(t)$ de orden exponencial. Entonces existe la transformada de Laplace de la derivada y su valor es

$\displaystyle \ensuremath{ \mathcal{L} \left[ \frac{\ensuremath{\mathrm{d}f(t)}...
...rm{d}x}} \right] }= s \ensuremath{ \mathcal{L} \left[ f(t) \right] }- f(0)  . $

En general, para $ n \ge 1$ , se tiene

$\displaystyle \ensuremath{ \mathcal{L} \left[ f^{(n)}(t) \right] }= s^n \ensure...
...ht] }- s^{n-1}f(0) - s^{n-2} f'(0)- \ldots - s f^{(n-2)}(0) - f^{(n-1)}(0)  . $

Teorema 2.9 (Transformada de derivadas parciales)   Sea $ u(x,t)$ una función de dos variables, y $ \mathcal{L}_{t} \left[ u(x,t) \right] $ la transformada de Laplace respecto $ t$ . Entonces

$\displaystyle \ensuremath{ \mathcal{L}_{t} \left[ \frac{\partial u(x,t)}{\parti...
... \right] }= s \ensuremath{ \mathcal{L}_{t} \left[ u(x,t) \right] }- u(x,0)  , $

$\displaystyle \ensuremath{ \mathcal{L}_{t} \left[ \frac{\partial u(x,t)}{\parti...
...{\partial}{\partial x} \ensuremath{ \mathcal{L}_{t} \left[ u(x,t) \right] } . $

En general,

$\displaystyle \ensuremath{ \mathcal{L}_{t} \left[ \frac{\partial^{n+m} u(x,t)}{...
...eft. \frac{\partial^{i} u(x,t)}{\partial t^{i}} \right\vert _{t=0} \right)  . $

Teorema 2.10 (Teorema de integración)   Si $ \exists \ensuremath{ \mathcal{L} \left[ f(t) \right] }$ , entonces se cumple

$\displaystyle \ensuremath{ \mathcal{L} \left[ \int_0^t\!\!f(\tau) \ensuremath{\...
...}\tau} \right] }= \frac{\ensuremath{ \mathcal{L} \left[ f(t) \right] }}{s}  . $

Definición 2.11 (Producto de convolución)   El producto de convolución de dos funciones $ f$ y $ g$ se define

$\displaystyle \big( f*g \big)(x)= \int_0^t\!\! f(t-\xi) g(\xi) \ensuremath{\mathrm{d}\xi} . $

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

Teorema 2.12 (Teorema de convolución)   Sea $ F(s) = \ensuremath{ \mathcal{L} \left[ f(t) \right] }$ y $ G(s) = \ensuremath{ \mathcal{L} \left[ g(t) \right] }$ , entonces

$\displaystyle \ensuremath{ \mathcal{L} \left[ \big(f*g\big) \right] }=\ensurema...
...nt_0^t\!\! f(t-\xi) g(\xi) \ensuremath{\mathrm{d}\xi} \right] }= F(s) G(s)  . $

2.4 Transformada de Laplace inversa

Teorema 2.13 (Teorema de Lerch)   Sean $ f$ y $ g$ continuas por partes, ambas de orden exponencial. Si $ \exists s_0$ tal que $ \ensuremath{ \mathcal{L} \left[ f(t) \right] } =
\ensuremath{ \mathcal{L} \left[ g(t) \right] } \forall s>s_0$ , entonces $ f(t) = g(t)$ excepto, quizás, en los puntos de discontinuidad. Es decir, la transformada inversa es única.

Existen diversos métodos para hallar la transformada inversa de una función:

  • Descomposición en fracciones simples: Aplicable a funciones racionales polinómicas. Se descompone la función en fracciones simples, cuya transformada inversa es conocida (exponenciales, funciones trigonométricas, etc.).
  • Teorema de convolución: Aplicable cuando la función es producto de dos transformadas:

    $\displaystyle \ensuremath{ \mathcal{L}^{-1} \left[ F(s) G(s) \right] }= \int^t_0\!\!f(t-\xi) g(\xi) \ensuremath{\mathrm{d}\xi} . $

  • Segundo teorema de traslación: Si $ \theta(t-a)$ es la función escalón, tenemos

    $\displaystyle \ensuremath{ \mathcal{L}^{-1} \left[ e^{-as} F(s) \right] }= \theta(t-a) f(t-a)  . $

Teorema 2.14 (Formula de la transformada inversa de Laplace)   A través de la transformada de Fourier que veremos más adelante, podemos encontrar la siguiente formula para encontrar la transformada inversa de Laplace:

$\displaystyle \ensuremath{ \mathcal{L}^{-1} \left[ F(s) \right] }= \frac{1}{2\p...
...x s} \ensuremath{ \mathcal{L} \left[ f(x) \right] }\ensuremath{\mathrm{d}s} . $

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 $ f(x)$ suave por partes, y absolutamente integrable en el eje real. Entonces, se cumple:

$\displaystyle \frac{1}{2} \Big[ f(x^+) + f(x^-) \Big] = \frac{1}{\pi} \int_0^\i...
...os\alpha (t-x) \ensuremath{\mathrm{d}t}\right]\ensuremath{\mathrm{d}\alpha} . $

Para funciones pares, se tiene

$\displaystyle f(x)=f(-x) = \frac{2}{\pi} \int_0^\infty\!\!\cos\alpha x \ensurem...
...mathrm{d}\alpha}\int_0^\infty\!\!f(t) \cos\alpha t \ensuremath{\mathrm{d}t} . $

Para funciones impares, se tiene

$\displaystyle f(x)=-f(-x) = \frac{2}{\pi} \int_0^\infty\!\!\sin\alpha x \ensure...
...mathrm{d}\alpha}\int_0^\infty\!\!f(t) \sin\alpha t \ensuremath{\mathrm{d}t} . $

Este teorema se puede escribir de otra manera más similar a las series de Fourier

$\displaystyle f(x) =\int_0^\infty\!\Big( A(\alpha)\cos\alpha x + B(\alpha)\sin\alpha x \Big)\ensuremath{\mathrm{d}\alpha} , $

donde

$\displaystyle A(\alpha)=\frac{1}{\pi}\int^\infty_{-\infty}f(t)\cos\alpha t\ensu...
...\frac{1}{\pi}
\int^\infty_{-\infty}f(t)\sin\alpha t\ensuremath{\mathrm{d}t} . $

Otra manera más útil de escribir el teorema Integral de Fourier es:

$\displaystyle f(x) = \frac{1}{2\pi}\int_{-\infty}^\infty\!\!\left[\int_{-\infty...
...ensuremath{\mathrm{d}t} \right] e^{-i\alpha x}\ensuremath{\mathrm{d}\alpha} . $

3.2 Transformada de Fourier

A partir del teorema integral de Fourier, se puede definir la transformada de Fourier:

Definición 3.2 (Transformada de Fourier)   Sea $ f(x)$ continua, suave y absolutamente integrable en $ (-\infty,\infty)$ . La transformada de Fourier

$\displaystyle \ensuremath{ \mathcal{F} \left[ f(x) \right] }\equiv F(\alpha) \e...
...t{2\pi}}\int^\infty_{-\infty}\!\!f(t) e^{i\alpha t}\ensuremath{\mathrm{d}t} , $

entonces, $ \forall x$

$\displaystyle \ensuremath{ \mathcal{F}^{-1} \left[ F(\alpha) \right] }= f(x) = ...
...nt^\infty_{-\infty}\!\!F(\alpha)e^{-i\alpha x}\ensuremath{\mathrm{d}\alpha} . $

De igual manera, podemos definir

Definición 3.3 (Transformada de Fourier en seno)   Sea $ f(x)$ continua, suave y absolutamente integrable en $ (0,\infty)$ extendida impar a $ (-\infty,\infty)$ . La transformada de Fourier en seno es

$\displaystyle \ensuremath{\mathcal{F}_{S}\left[f(x)\right]}\equiv F_S(\alpha) \...
...{1}{\sqrt{2\pi}}\int^\infty_{0}\!\!f(t)\sin\alpha t\ensuremath{\mathrm{d}t} , $

entonces, $ \forall x$ tenemos

$\displaystyle \ensuremath{\mathcal{F}^{-1}_{S}\left[F(\alpha)\right]}= f(x) = \...
...{\pi}}\int_0^\infty\!\!F_S(\alpha)\sin\alpha t\ensuremath{\mathrm{d}\alpha} . $

Definición 3.4 (Transformada de Fourier en coseno)   Sea $ f(x)$ continua, suave y absolutamente integrable en $ (0,\infty)$ extendida par a $ (-\infty,\infty)$ . La transformada de Fourier en coseno es

$\displaystyle \ensuremath{\mathcal{F}_{C}\left[f(x)\right]}\equiv F_C(\alpha) \...
...{1}{\sqrt{2\pi}}\int^\infty_{0}\!\!f(t)\cos\alpha t\ensuremath{\mathrm{d}t} , $

entonces, $ \forall x$ tenemos

$\displaystyle \ensuremath{\mathcal{F}^{-1}_{C}\left[F(\alpha)\right]}= f(x) = \...
...{\pi}}\int_0^\infty\!\!F_C(\alpha)\cos\alpha t\ensuremath{\mathrm{d}\alpha} . $

3.3 Propiedades de la transformada de Fourier

Los siguientes teoremas, expresan las propiedades más útiles de la transformada de Fourier.

Teorema 3.5 (Teorema de linealidad)   Para todo par de funciones, cuyas transformadas de Fourier existan, y $ \forall a,b\in\mathbb{R}$ , entonces

$\displaystyle \ensuremath{ \mathcal{F} \left[ a f(x) + b g(x) \right] }= a \ens...
...{F} \left[ f(x) \right] }+ b \ensuremath{ \mathcal{F} \left[ g(x) \right] } . $

Teorema 3.6 (Teorema de traslación)   Para toda función cuya transformada de Fourier existe, si $ c\in\mathbb{R}$ , entonces

$\displaystyle \ensuremath{ \mathcal{F} \left[ f(t-c) \right] }= e^{i\alpha c}\ensuremath{ \mathcal{F} \left[ f(t) \right] } . $

Teorema 3.7 (Teorema de escala)   Para toda función cuya transformada de Fourier existe $ F(\alpha)=\ensuremath{ \mathcal{F} \left[ f(t) \right] }$ , si $ c\in\mathbb{R}$ , entonces

$\displaystyle \ensuremath{ \mathcal{F} \left[ f(ct) \right] }= \frac{1}{\vert c\vert} F(\frac{\alpha}{c})  . $

Teorema 3.8 (Teorema de diferenciación)   Sea $ f(x)$ continua y suave por partes en todo el eje real. Sea $ f(x)\to 0$ si $ \vert x\vert\to \infty$ . Sean $ f(x)$ y $ f'(x)$ absolutamente integrables para todo x. Entonces

$\displaystyle \ensuremath{ \mathcal{F} \left[ f'(x) \right] }= - i \alpha \ensuremath{ \mathcal{F} \left[ f(x) \right] } . $

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

$\displaystyle \ensuremath{ \mathcal{F} \left[ f^{(n)}(x) \right] }= (-i\alpha)^n \ensuremath{ \mathcal{F} \left[ f(x) \right] } . $

Si $ u = u(x,y)$ es una función de varias variables, entonces podemos generalizar el resultado anterior:

$\displaystyle \ensuremath{ \mathcal{F} \left[ \frac{\partial^{n+m} u(x,y)}{\par...
...ac{\partial^m}{\partial x^m}
\ensuremath{ \mathcal{F} \left[ f(x) \right] } . $

Definición 3.9 (Producto de convolución)   Sean un par de funciones $ f(x)$ y $ g(x)$ . El producto de convolución se define mediante la integral

$\displaystyle (f*g)(x) \equiv \frac{1}{\sqrt{2\pi}}\int^\infty_{-\infty}\!\!f(x-\xi) f(\xi)\ensuremath{\mathrm{d}\xi} . $

Teorema 3.10 (Teorema de convolución)   Sea un par de funciones tal que su producto de convolución existe. Entonces, se cumple

$\displaystyle \ensuremath{ \mathcal{F} \left[ (f*g)(x) \right] }= \ensuremath{ ...
...hcal{F} \left[ f(x) \right] }\ensuremath{ \mathcal{F} \left[ g(x) \right] } . $

O lo que es lo mismo

$\displaystyle \ensuremath{ \mathcal{F}^{-1} \left[ F(\alpha) G(\alpha) \right] ...
...rt{2\pi}}\int^\infty_{-\infty}\!\!f(x-\xi) f(\xi)\ensuremath{\mathrm{d}\xi} . $

Teorema 3.11 (Teorema de Parseval)   Para toda función $ f(x)$ tal que existe su transformada de Fourier $ F(\alpha) = \ensuremath{ \mathcal{F} \left[ f(x) \right] }$ , se cumple

$\displaystyle \int^\infty_{-\infty}\!\!\Big\vert f(x) \Big\vert^2\ensuremath{\m...
..._{-\infty}\!\!\Big\vert F(\alpha) \Big\vert^2 \ensuremath{\mathrm{d}\alpha} . $

3.4 Transformada de Fourier de las funciones escalón, impulso y delta de Dirac

A partir de la semejanza entre la definición de la función delta de Dirac

$\displaystyle \int^\infty_{-\infty}\!\!\!\delta(x-a)f(x)\ensuremath{\mathrm{d}x}= f(a)  . $

y el teorema integral de Fourier podemos encontrar una representación para la delta de Dirac:

$\displaystyle \delta(t-x) = \frac{1}{2\pi} \int^\infty_{-\infty}\!\!e^{i\alpha(t-x)}\ensuremath{\mathrm{d}\alpha} . $

Otra representación posible es el límite de una sucesión de campanas gaussianas

$\displaystyle \delta(t-\xi) = \lim_{t\to 0^+} \frac{1}{2\sqrt{\pi k t}} e^{-\frac{(x-\xi)}{4kt}}  . $

Otra representación de la delta es el límite la función impulso

$\displaystyle p_\epsilon = \left\{
\begin{array}{ll}
h & a-\epsilon < x <a+\epsilon \\
0 & x \le a-\epsilon; x \ge a+\epsilon
\end{array} \right.  . $

la transformada de Fourier de esta función se puede calcular

$\displaystyle \ensuremath{ \mathcal{F} \left[ p_\epsilon(x) \right] }= \frac{2 ...
...on}{\sqrt{2\pi}} e^{i\alpha a} \frac{\sin \alpha\epsilon}{\alpha\epsilon}  , $

tomando $ h=\frac{1}{2\epsilon}$ , la integral a todo el eje real de la función impulso es la unidad. Así, pues, podemos representar la delta de Dirac mediante el límite

$\displaystyle \delta(x-a) = \lim_{\epsilon\to 0} p_\epsilon(x)  . $

Así, pues, podemos definir la transformada de Fourier de la función de Dirac se puede definir mediante el límite de dicha función:

$\displaystyle \ensuremath{ \mathcal{F} \left[ \delta(x-a) \right] }= \lim_{\eps...
...cal{F} \left[ p_\epsilon(x) \right] }= \frac{1}{\sqrt{2\pi}} e^{ia\alpha}  . $

Por otra parte, en aplicar la definición habitual de la transformada de Fourier a la función escalón

$\displaystyle \theta(x-a) = \left\{
\begin{array}{ll}
0 & x<a \\
1 & x>a
\end{array} \right.  . $

se encuentra que el resultado no existe, pero se puede definir a partir del límite

$\displaystyle \ensuremath{ \mathcal{F} \left[ \theta(x-a) \right] }= \lim_{\bet...
...ta(x-a) e^{-\beta x} \right] }= \frac{i e^{i\alpha a}}{\sqrt{2\pi} \alpha}  . $

3.5 Diferenciación de las transformadas de seno y coseno

Para las transformadas de Fourier existen teoremas de diferenciación análogos a los generales.

Teorema 3.12 (Diferenciación mediante la transformada de Fourier en coseno)   Sea $ f(x)$ y $ f'(x)$ que se anulan en $ x\to \infty$ . Entonces, se cumple

$\displaystyle \ensuremath{\mathcal{F}_{c}\left[f''(x)\right]}= -\alpha^2 F_C(\alpha) - \sqrt{\frac{2}{\pi}} f'(0)  . $

Teorema 3.13 (Diferenciación mediante la transformada de Fourier en seno)   Sea $ f(x)$ y $ f'(x)$ que se anulan en $ x\to \infty$ . Entonces, se cumple

$\displaystyle \ensuremath{\mathcal{F}_{s}\left[f''(x)\right]}= \sqrt{\frac{2}{\pi}} f(0) - \alpha^2 F_S(\alpha)  . $

Volver a la página principal
Acceso rápido Desactivar menú flotante
© 2003—2017, La web de Física
Dirección de contacto
Créditos