lunes, 9 de mayo de 2011

Teorema de convulacion

La función $ h: {\cal C}(I) \times {\cal C}(I) \rightarrow {\cal C}(I)$, donde $ {\cal C}$ es el conjunto de funciones continuas en el intervalo $ I=[0, +\infty[$ dada por
$\displaystyle h(t)= \left(f \star g \right)(t) = \int_0^t f(t - \tau ) g(\tau ) d \tau
$
se conoce como la convolución de $ f$ y $ g$.  
 
La convolución tiene muchas de las propiedades de la multiplicación ordinaria, como veremos en el siguiente teorema.


Sean $ f$ y $ g$ funciones continuas en el intervalo $ [0,+ \infty[$, entonces
  1. $ f \star g = g \star f$ (ley conmutativa)
  2. $ f \star ( g + h ) = f \star g + f \star h$ (ley distributiva)
  3. $ (f \star g) \star h = f \star (g \star h)$ (ley asociativa)
  4. $ f \star 0 = 0 \star f = 0$
 
Demostración
La demostración de estas propiedades es muy simple. Haremos la primera de ellas y dejamos las restantes al lector.

$\displaystyle (f \star g)(t)$ $\displaystyle =$ $\displaystyle \int_0^t f(\tau) g(\underbrace{t - \tau}_{u=t - \tau}) d \tau$
  $\displaystyle =$ $\displaystyle - \int_t^0 f(t-u) g(u) du$
  $\displaystyle =$ $\displaystyle \int_0^t g(u) f(t-u) du$
  $\displaystyle =$ $\displaystyle (g \star f)(t)$

 
Observación: sin embargo, existen algunas propiedades de la multiplicación ordinaria que la convolución no tiene. Por ejemplo, no es cierto en general que $ f \star 1 = f$; para ver esto, note que

$\displaystyle Cos(t) \star 1$ $\displaystyle =$ $\displaystyle \int_0^t Cos(\tau) d \tau$
  $\displaystyle =$ $\displaystyle Sen(\tau) \biggr\vert _0^t$
  $\displaystyle =$ $\displaystyle Sen(t)$

Ejemplo
Calcule la convolución de $ f(t)=e^t$ y $ g(t)=Sen(t)$.
Solución
Usando la definición e integración por partes, tenemos que

$\displaystyle e^t \star Sen(t)$ $\displaystyle =$ $\displaystyle \int_0^t e^{\tau} Sen(t- \tau) d \tau$
  $\displaystyle =$ $\displaystyle \frac{e^{} \left(Cos(\tau - t) - Sen(\tau - t) \right)}{2} \biggr\vert _0^t$
  $\displaystyle =$ $\displaystyle \frac{e^t -Sen(t) - Cos(t)}{2}$

Ejemplo
Calcule la convolución de las funciones $ f(t)=Sen(at)$ y $ g(t)=Cos(bt)$.
Solución
Usando la definición e integración por partes

$\displaystyle \left( Sen(at) \star Cos(bt) \right)(t)$ $\displaystyle =$ $\displaystyle \int_0^t Sen \left(a(t - \tau)\right) Cos(b \tau) d\tau$
  $\displaystyle =$ $\displaystyle \frac{1}{2} \int_0^t \left( Sen\left(at + \left( b - a\right) \tau \right) + Sen\left(at - \left(b - a \right) \tau \right) \right) d\tau$
  $\displaystyle =$ $\displaystyle \frac{a \left(Cos(bt) - Cos(at) \right)}{\left(a + b \right) \left(a-b \right)}$

Observación: para calcular la integral
$\displaystyle \int_0^t Sen(t - \tau) Cos(b \tau) d\tau
$
del ejemplo anterior, hemos usado la identidad
$\displaystyle Sen(\alpha) Cos(\beta) = \frac{Sen(\alpha + \beta) + Sen(\alpha - \beta)}{2}
$
Otras identidades que pueden ser útiles en el cálculo de integrales similares son

$\displaystyle Cos(\alpha) Cos(\beta)$ $\displaystyle =$ $\displaystyle \frac{Cos(\alpha + \beta) + Cos(\alpha - \beta)}{2}$
$\displaystyle Sen(\alpha) Sen(\beta)$ $\displaystyle =$ $\displaystyle \frac{Cos(\alpha - \beta) - Cos(\alpha + \beta)}{2}$

El siguiente teorema establece un resultado de mucha importancia teórica y práctica, como veremos.

Si $ {\cal L} \{ f(t) \} $ y $ {\cal L} \{g(t) \}$ existen para $ s > a \geq 0$, entonces
$\displaystyle {\cal L} \{(f \star g)(t) \} = {\cal L} \{f(t) \} {\cal L} \{g(t) \} = F(s) G(s)
$
 
Observación: La forma inversa del teorema de convolución
$\displaystyle (f \star g)(t) = {\cal L}^{-1} \left(F(s) G(s) \right)
$
es muy importante en la solución de ecuaciones diferenciales, pues nos puede evitar el cálculo de fraciones parciales complejas.
Ejemplo
Calcule
$\displaystyle {\cal L} \{ e^t \star Sen(t) \}
$
Solución
Usando el teorema de convolución tenemos que

$\displaystyle {\cal L} \{ e^t \star Sen(t) \}
$ $\displaystyle =$ $\displaystyle {\cal L} \{ e^t \} {\cal L} \{ Sen(t)\}$
  $\displaystyle =$ $\displaystyle \frac{1}{s-1} \frac{1}{s^2 +1}$
  $\displaystyle =$ $\displaystyle \frac{1}{(s+1)(s^2+1)}$

Observación: como ya hemos calculado $ e^t \star Sen(t)$ podemos corroborar el resultado obtenido anteriormente

$\displaystyle {\cal L} \{ e^t \star Sen(t) \}
$ $\displaystyle =$ $\displaystyle {\cal L} \left\{ \frac{e^t -Sen(t) - Cos(t)}{2} \right\}$
  $\displaystyle =$ $\displaystyle \frac{1}{2} {\cal L} \{e^t \} - \frac{1}{2} {\cal L} \{ Sen(t) \} - \frac{1}{2} {\cal L} \{ Cos(t) \}$
  $\displaystyle =$ $\displaystyle \frac{1}{2} \left( \frac{1}{s-1} - \frac{1}{s^2+1} - \frac{s}{s^2+1} \right)$
  $\displaystyle =$ $\displaystyle \frac{1}{(s-1)(s^2+1)}$

como obtuvimos en el ejemplo anterior.
Los siguientes ejemplos muestran el uso de la forma inversa del teorema de convolución para el cálculo de transformadas inversas.
Ejemplo
Calcule la siguiente transformada inversa
$\displaystyle {\cal L}^{-1} \left\{ \frac{1}{(s-2)(s-3)} \right\}
$
Solución
Usando el teorema de convolución

$\displaystyle {\cal L}^{-1} \left\{ \frac{1}{(s-2)(s-3)} \right\}
$ $\displaystyle =$ $\displaystyle {\cal L}^{-1} \left\{ \frac{1}{s-2} \frac{1}{s-3} \right\}$
  $\displaystyle =$ $\displaystyle {\cal L}^{-1} \left\{ \frac{1}{s-2} \right\} \star {\cal L}^{-1} \left\{ \frac{1}{s-3} \right\}$
  $\displaystyle =$ $\displaystyle {\cal L} e^{2t} \star e^{3t}$
  $\displaystyle =$ $\displaystyle \int_0^t e^{2 \tau} e^{3(t - \tau)} d \tau$
  $\displaystyle =$ $\displaystyle e^{3t} - e^{2t}$

Observación: en este ejemplo el uso de fraciones parciales resulta viable, pues

$\displaystyle {\cal L}^{-1} \left\{ \frac{1}{(s-2)(s-3)} \right\}
$ $\displaystyle =$ $\displaystyle {\cal L}^{-1} \left\{ \frac{1}{s-3} - \frac{1}{s-2} \right\}$
  $\displaystyle =$ $\displaystyle {\cal L}^{-1} \left\{ \frac{1}{s-3} \right\} - {\cal L} \left\{ \frac{1}{s-2} \right\}$
  $\displaystyle =$ $\displaystyle e^{3t} - e^{2t}$

Los siguientes ejemplos muestran situaciones donde el uso de fraciones parciales puede ser realmente complejo, comparado con el uso del teorema de convolución.
Ejemplo
Calcule la siguiente transformada inversa
$\displaystyle {\cal L}^{-1} \left\{ \frac{s}{(s^2 + 4)(s^2 + 9)} \right\}
$
Solución
Usando el teorema de convolución, tenemos

$\displaystyle {\cal L}^{-1} \left\{ \frac{s}{(s^2 + 4)(s^2 + 9)} \right\}
$ $\displaystyle =$ $\displaystyle {\cal L}^{-1} \left\{ \frac{s}{s^2 + 4} \frac{1}{s^2 + 9} \right\}$
  $\displaystyle =$ $\displaystyle {\cal L}^{-1} \left\{ \frac{s}{s^2+4} \right\} \star {\cal L}^{-1} \left\{ \frac{1}{s^2+9} \right\}$
  $\displaystyle =$ $\displaystyle Cos(2t) \star Sen(3t)$
  $\displaystyle =$ $\displaystyle \int_0^t Cos(2 \tau) Sen \left(3 \left(t - \tau \right) \right) d \tau$
  $\displaystyle =$ $\displaystyle \frac{3Cos(2t) - 3 Cos(3t) }{5}$

Observación: en este ejemplo la expansión en fraciones parciales no es tan simple
$\displaystyle \frac{1}{(s^2+4)(s^2+9)} = \frac{1}{5} \left( \frac{s}{s^2 + 4} - \frac{s}{s^2 + 9} \right)
$
Ejemplo
Calcule la siguiente transformada inversa
$\displaystyle {\cal L}^{-1} \left\{ \frac{s}{(s-2)(s^2-4s+13)} \right\}
$
Solución
Usando convolución

$\displaystyle {\cal L}^{-1} \left\{ \frac{s}{(s-1)(s^2-4s+13)} \right\}$ $\displaystyle =$ $\displaystyle {\cal L}^{-1} \left\{ \frac{s - 2 + 2}{\left( \left( s -2 \right)^2 + 4 \right)\left(s - 1 \right)} \right\}$
  $\displaystyle =$ $\displaystyle {\cal L}^{-1} \left\{ \frac{s-2}{\left( \left( s -2 \right)^2 + 4 \right) \left(s - 1 \right)} \right\}$
  $\displaystyle +$ $\displaystyle {\cal L}^{-1} \left\{ \frac{2}{\left( \left( s -2 \right)^2 + 4 \right) \left(s - 1 \right)} \right\}$
  $\displaystyle =$ $\displaystyle e^{2t}Cos(3t) \star e^{t} + e^{2t} Sen(3t) \star e^{t}$
  $\displaystyle =$ $\displaystyle \frac{e^t \left(1 - e^t Cos(3t) + 2e^t Sen(3t) \right)}{5}$

No hay comentarios:

Publicar un comentario