Transformaciones Integrales

◼ Introducción al Mathematica
Las bondades que ofrece Mathematica son de gran ayuda para todos aquellos interesados en
realizar cálculo numérico y simbólico con gran precisión Por ejemplo: el valor de la exponencial
In[1]:= N[ⅇ]
valor numérico

Out[1]= 2.71828

con mayor precisión:

In[2]:= N[ⅇ, 100]
valor numérico

Out[2]= 2.71828182845904523536028747135266249775724709369995957496696762772407663035354759457
1382178525166427

Para poder escribir el ⅇ se hace oprimiendo el siguiente juego de teclas <Esc>ee<Esc>.

Otro es el cálculo del factorial, que nos permite realizar los siguientes cálculos.
In[3]:= 35 !
Out[3]= 10 333 147 966 386 144 929 666 651 337 523 200 000 000

In[4]:= FactorInteger[%]
factoriza entero

Out[4]= {{2, 32}, {3, 15}, {5, 8}, {7, 5}, {11, 3},
{13, 2}, {17, 2}, {19, 1}, {23, 1}, {29, 1}, {31, 1}}

Para el resultado anterior el % significa la última salida, si se especifica el número de la salida se

refiere a esa salida en particular. El resultado anterior son los factores enteros que permiten encon-
trar al factorial de 35. Observe
In[5]:= Pow[{x_, y_}] := xy

In[6]:= Pow /@ %4
Out[6]= {4 294 967 296, 14 348 907, 390 625, 16 807, 1331, 169, 289, 19, 23, 29, 31}

Definimos una función llamada Pow para que pueda ser utilizada para elevar cada elemento del
resultado del FactorInteger, es decir calcular por ejemplo {2,32} es 232 . /@ significa Mapeo, pon-
dremos un ejemplo sencillo para que pueda ser visualizado.
In[7]:= f /@ {{a, b}, {c, d}, {e, f}, g}
Out[7]= {f[{a, b}], f[{c, d}], f[{e, f}], f[g]}

In[8]:= Map[f, {{a, b}, {c, d}, {e, f}, g}]

aplica a todos

Out[8]= {f[{a, b}], f[{c, d}], f[{e, f}], f[g]}

Ahora, aplicaremos el producto al resultado de las potencias y obtendremos 35!. Observe

2 TransformadaDeLaplace.nb

In[9]:= Times @@ %6
multiplicación

Out[9]= 10 333 147 966 386 144 929 666 651 337 523 200 000 000

In[10]:= Apply[Times, %6]

aplica multiplicación

Out[10]= 10 333 147 966 386 144 929 666 651 337 523 200 000 000

@@ significa aplicar.

◼ Transformadas Integrales
Vamos a definir una función que se llame TransformadasIntegrales, ya que en Mathematica todas
las funciones que se definen como usuario deben comenzar con una letra mayúsculas y si la fun-
ción se compone de 2 o más palabras, la siguiente palabra comenzará con mayúscula. Ahora,
tomando en cuenta la definición de transformada integral se definiría como
b
In[11]:= TransformadaIntegral[K_, f_, a_, b_, t_] :=  K f ⅆ t
a

Para que aparezca el símbolo de integral y demás cosas, hay que teclear lo siguiente
<Esc>dintt<Esc>. Observe que hay un espacio entre la K y la f; es para indicarle a Mathematica que
es un producto entre las dos variables. También había sido posible utilizar *.
También por definición habíamos puesto que la transformada de Laplace de una función f(t) se
tenía definido a la función K(t,s), y del intervalo (a,b). Entonces definimos la Transformada de
Laplace como:
In[12]:= TransformadaDeLaplace[f_] := TransformadaIntegralⅇ -s t , f, 0, ∞, t

Comenzaremos a realizar las siguientes transformadas:

In[13]:= TransformadaDeLaplace[1]
1
Out[13]= ConditionalExpression , Re[s] > 0
s

Considere que Mathematica trabaja sobre el campo de los números complejos. por eso especifica
que la parte real de s debe ser mayor a 0. Como nosotros trabajamos en el campo de los reales,
consideraremos que Re[s] > 0 equivales a s>0 en el campo de los reales.
In[14]:= TransformadaDeLaplace[t]
1
Out[14]= ConditionalExpression , Re[s] > 0
s2

In[15]:= TransformadaDeLaplacet2 
2
Out[15]= ConditionalExpression , Re[s] > 0
s3

In[16]:= TransformadaDeLaplacetn 
Out[16]= ConditionalExpressions-1-n Gamma[1 + n], Re[n] > - 1 && Re[s] > 0
 TransformadaDeLaplace.nb 3

In[17]:= TransformadaDeLaplaceⅇa t 
1
Out[17]= ConditionalExpression , Re[a] < Re[s]
-a + s

In[18]:= TransformadaDeLaplace[Sin[a t]]

seno
a
Out[18]= ConditionalExpression , Abs[Im[a]] < Re[s]
a 2 + s2

In[19]:= TransformadaDeLaplace[Cos[a t]]

coseno
s
Out[19]= ConditionalExpression , Abs[Im[a]] < Re[s]
a2 + s2

1
In[20]:= TransformadaDeLaplace 
t
π
Out[20]= ConditionalExpression , Re[s] > 0
s

Funciones por Partes

Para probar la existencia de la Transformada de Laplace, es necesario tener conciencia de que
existen funciones que se grafican por partes y que son continuas en los intervalos. Para ello definire-
mos una función por partes
In[21]:= fdet = Piecewise3 t2 + t + 3, 0 < t < 2, {- 5 t + 2, 2 < t < 4}, t3 - 8 t2 - 5, 4 < t
función a trozos

3 + t + 3 t2 0<t<2
2-5t 2<t<4
Out[21]=
- 5 - 8 t 2 + t3 4<t
0 True

In[22]:= Plot[fdet, {t, - 10, 10}]

representación gráfica

60

40

20

-10 -5 5 10
Out[22]=
-20

-40

-60

-80

Calculamos la Transformada de Laplace de esta función

4 TransformadaDeLaplace.nb

In[23]:= TransformadaDeLaplace[fdet]
1
Re[s] > 0
s4
ⅇ-4 s 6 + 8 s - 6 ⅇ2 s s+6 ⅇ4 s s - 11 s2 - 18 ⅇ2 s s2 + ⅇ4 s s2 - 51 s3 - 25 ⅇ2 s s3 +3 ⅇ4 s s3 
Out[23]= 3 + t + 3 t2 0<t<2
2-5t 2<t<4
Integrateⅇ-s t , {t, 0, ∞}, Assumptions → Re[s] ≤ 0 True
- 5 - 8 t 2 + t3 4<t
0 True

Para los valores negativos de s no nos interesa, así que tomamos de este resultado su primera
parte.
In[24]:= ldefdet = %23[[1, 1, 1]]
ⅇ-4 s 6 + 8 s - 6 ⅇ2 s s + 6 ⅇ4 s s - 11 s2 - 18 ⅇ2 s s2 + ⅇ4 s s2 - 51 s3 - 25 ⅇ2 s s3 + 3 ⅇ4 s s3 
Out[24]=
s4

Este resultado se obtuvo integrando por partes . Definimos una nueva transformada de Laplace
In[25]:= TransformadaDeLaplace[f_, a_, b_] := TransformadaIntegralⅇ -s t , f, a, b, t

Y entonces, tendríamos algo así

In[26]:= p1 = TransformadaDeLaplace[fdet[[1, 1, 1]], 0, 2]
ⅇ-2 s - 6 - 13 s - 17 s2 + ⅇ2 s 6 + s + 3 s2 
Out[26]=
s3

In[27]:= p2 = TransformadaDeLaplace[fdet[[1, 2, 1]], 2, 4]

ⅇ-4 s 5 + 18 s - ⅇ2 s 5 + 8 s
Out[27]=
s2

In[28]:= p3 = TransformadaDeLaplace[fdet[[1, 3, 1]], 4, ∞][[1]]

ⅇ-4 s 6 + s 8 - s 16 + 69 s
Out[28]=
s4

In[29]:= Expand[p1 + p2 + p3]

expande factores

6 ⅇ-4 s 6 8 ⅇ-4 s 6 ⅇ-2 s 1 11 ⅇ-4 s 18 ⅇ-2 s 3 51 ⅇ-4 s 25 ⅇ-2 s

Out[29]= + + - + - - + - -
s4 s3 s3 s3 s2 s2 s2 s s s

In[30]:= Simplify[%]
simplifica

ⅇ-4 s 6 + 8 - 6 ⅇ2 s + 6 ⅇ4 s  s + - 11 - 18 ⅇ2 s + ⅇ4 s  s2 + - 51 - 25 ⅇ2 s + 3 ⅇ4 s  s3 
Out[30]=
s4

In[31]:= Simplify[ldefdet]
simplifica

ⅇ-4 s 6 + 8 - 6 ⅇ2 s + 6 ⅇ4 s  s + - 11 - 18 ⅇ2 s + ⅇ4 s  s2 + - 51 - 25 ⅇ2 s + 3 ⅇ4 s  s3 
Out[31]=
s4