Transformada de Laplace - Universidad de Santiago de Chile
Transformada de Laplace - Universidad de Santiago de Chile
Transformada de Laplace - Universidad de Santiago de Chile
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
UNIVERSIDAD DE SANTIAGO DE CHILE<br />
FACULTAD DE CIENCIA<br />
DEPARTAMENTO DE MATEMÁTICA Y CIENCIA DE LA COMPUTACIÓN<br />
TRANSFORMADA DE LAPLACE<br />
Y<br />
ECUACIONES DE VOLTERRA<br />
CÉSAR RENÉ FERNÁNDEZ RODRÍGUEZ
INDICE<br />
RESUMEN 3<br />
INTRODUCCION 4<br />
CAPÍTULO 1: TRANSFORMADA DE LAPLACE 6<br />
1. 1 INTRODUCCIÓN HISTÓRICA 6<br />
1. 2 DEFINICIÓN Y EJEMPLOS BÁSICOS. 8<br />
1. 3 CONDICIONES PARA LA EXISTENCIA DE LA TRANSFORMADA DE LAPLACE. 14<br />
1. 4 APLICACIONES A LAS ECUACIONES DIFERENCIALES:<br />
TRANSFORMADAS DE LAPLACE PARA DERIVADAS DE UNA FUNCIÓN. 23<br />
1.5 MÁS APLICACIONES A LAS ECUACIONES DIFERENCIALES:<br />
DERIVADAS E INTEGRALES DE LA TRANSFORMADA DE LAPLACE. 35<br />
CAPÍTULO 2: EL TEOREMA DE CONVOLUCIÓN 49<br />
2. 1 CONVOLUCIÓN. 49<br />
2. 2 EL TEOREMA DE CONVOLUCIÓN. 52<br />
2. 3 EL PROBLEMA MECÁNICO DE ABEL Y LA CURVA TAUTÓCRONA. 56<br />
2. 4 CONVOLUCIÓN: RESPUESTA DE UN SISTEMA A UN ESTÍMULO. 66<br />
CAPÍTULO 3: ECUACIONES DE VOLTERRA 78<br />
3. 1 ECUACIONES INTEGRALES. 78<br />
3. 2 ECUACIONES DE VOLTERRA DEL SEGUNDO TIPO. 80<br />
3. 3 ECUACIONES DE VOLTERRA DEL PRIMER TIPO. 94<br />
3. 4 INTEGRALES FRACCIONARIAS Y DERIVADAS FRACCIONARIAS. 106<br />
REFERENCIAS 111<br />
ANEXO A: TABLA DE TRANSFORMADA DE LAPLACE. 112<br />
ANEXO B: FÓRMULAS RELATIVAS A LA TRANSFORMADA DE LAPLACE. 114<br />
ANEXO C: TABLA DE ECUACIONES DE VOLTERRA. 116<br />
2
RESUMEN<br />
El siguiente trabajo aborda principalmente dos gran<strong>de</strong>s temas: la transformada <strong>de</strong> <strong>Laplace</strong> y<br />
sus aplicaciones a la resolución <strong>de</strong> ecuaciones diferenciales, y las ecuaciones integrales <strong>de</strong><br />
Volterra. En ambos temas hay una gran cantidad <strong>de</strong> ejemplos resueltos que permiten<br />
enten<strong>de</strong>r mejor los métodos explicados.<br />
En el capítulo acerca <strong>de</strong> la transformada <strong>de</strong> <strong>Laplace</strong> y posteriormente en el capítulo acerca<br />
<strong>de</strong>l teorema <strong>de</strong> convolución, se ha tratado <strong>de</strong> ser bastante riguroso y completo al momento<br />
<strong>de</strong> presentar las <strong>de</strong>finiciones, teoremas y sus <strong>de</strong>mostraciones y ejemplos. Para los ejemplos<br />
se ha trabajado en base al libro <strong>de</strong> Ecuaciones Diferenciales <strong>de</strong> F. Simmons [7].<br />
En el capítulo acerca <strong>de</strong> las ecuaciones <strong>de</strong> Volterra, a<strong>de</strong>más <strong>de</strong> mostrar diferentes métodos,<br />
se ha dado una gran cantidad <strong>de</strong> ejemplos que se complementan con una extensa lista en el<br />
Anexo C.<br />
Como aplicación <strong>de</strong> interés se ha tratado en <strong>de</strong>talle el Problema Mecánico <strong>de</strong> Abel y el<br />
problema <strong>de</strong> la curva tautócrona.<br />
Al final <strong>de</strong>l texto se encuentra una sección <strong>de</strong>dicada al cálculo fraccional, para mostrar qué<br />
rumbos pue<strong>de</strong> tener una posterior investigación.<br />
3
INTRODUCCION<br />
La <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> es un caso especial <strong>de</strong> lo que se <strong>de</strong>nomina Transformación<br />
Integral. Su utilidad para resolver problemas físicos hace que sea, junto con la <strong>Transformada</strong><br />
<strong>de</strong> Fourier, una <strong>de</strong> las herramientas más útiles para estos efectos.<br />
En particular <strong>de</strong>staca su utilidad para resolver ecuaciones diferenciales ordinarias como las<br />
que surgen al analizar, por ejemplo, circuitos electrónicos. El método <strong>de</strong> <strong>Laplace</strong> consiste en<br />
aplicar esta transformada a ecuaciones diferenciales <strong>de</strong> difícil resolución, convirtiéndolas así<br />
en problemas algebraicos simples, que pue<strong>de</strong>n ser resueltos <strong>de</strong> manera sencilla. Este método<br />
se pue<strong>de</strong> ilustrar con el siguiente esquema:<br />
Ecuación Diferencial Ordinaria<br />
con valores iniciales<br />
difícil<br />
Solución a la Ecuación<br />
Diferencial Ordinaria<br />
El objetivo <strong>de</strong>l método es que modificar el problema usando la transformada <strong>de</strong> <strong>Laplace</strong> y<br />
posteriormente usar la <strong>Transformada</strong> Inversa, sea más fácil que resolver la ecuación<br />
diferencial por métodos directos. Esto resulta particularmente útil cuando las funciones<br />
involucradas no son continuas.<br />
<strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong><br />
<strong>Transformada</strong> Inversa<br />
Problema<br />
Algebraico<br />
Muy fácil<br />
Solución al<br />
Problema<br />
Algebraico<br />
4
Para po<strong>de</strong>r hacer efectivo este método se requiere <strong>de</strong> varios resultados previos.<br />
En el Capítulo 1, junto con presentar la transformada <strong>de</strong> <strong>Laplace</strong> y utilizarla para obtener la<br />
transformada <strong>de</strong> funciones básicas, como las potencias o la función exponencial, estudiamos<br />
qué características <strong>de</strong>be tener una función para que exista su transformada.<br />
Posteriormente, para po<strong>de</strong>r utilizar la transformada <strong>de</strong> <strong>Laplace</strong> en la resolución <strong>de</strong><br />
ecuaciones diferenciales, estudiamos diversos teoremas relacionados con la <strong>de</strong>rivada y la<br />
integral <strong>de</strong> funciones.<br />
El capítulo 2 presenta el teorema <strong>de</strong> convolución y su aplicación al problema mecánico <strong>de</strong><br />
Abel. A<strong>de</strong>más se analiza cómo la convolución permite estudiar la respuesta <strong>de</strong> un sistema a<br />
un estímulo, en particular <strong>de</strong> sistemas masa-resorte o <strong>de</strong> circuitos eléctricos<br />
El Capítulo 3 utiliza los capítulos anteriores para abordar el problema <strong>de</strong> las ecuaciones <strong>de</strong><br />
Volterra <strong>de</strong> primer y segundo tipo. Finalmente mostramos cómo la convolución permite<br />
<strong>de</strong>finir la integral y la <strong>de</strong>rivada fraccionaria.<br />
5
Capítulo 1: <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong><br />
1. 1 Introducción histórica<br />
Pierre-Simon <strong>de</strong> <strong>Laplace</strong> nació el 23 <strong>de</strong> marzo <strong>de</strong> 1749<br />
en Beaumont-en-Auge y falleció el 5 <strong>de</strong> marzo <strong>de</strong><br />
1827. A los 19 años viajó a Paris a estudiar<br />
matemáticas, don<strong>de</strong> rápidamente impresionó a<br />
d’Alembert, quien lo apadrinó y le consiguió trabajo<br />
<strong>de</strong> profesor <strong>de</strong> matemáticas en la École Militaire.<br />
Debido a la gran cantidad <strong>de</strong> trabajos <strong>de</strong> calidad que<br />
presentó y la variedad <strong>de</strong> temas que abordó, ya a los<br />
24 años se le conocía como “el Newton <strong>de</strong> Francia”. El matemático An<strong>de</strong>rs Lexell,<br />
contemporáneo <strong>de</strong> <strong>Laplace</strong>, escribió que <strong>Laplace</strong> mismo se consi<strong>de</strong>raba el mejor<br />
matemático <strong>de</strong> Francia, y que “quería opinar acerca <strong>de</strong> todo”.<br />
Entre los trabajos <strong>de</strong> <strong>Laplace</strong> <strong>de</strong>staca sobre todo su “Tratado <strong>de</strong> Mecánica Celeste”, obra<br />
que publicó en cinco volúmenes entre 1799 y 1825 y que suele consi<strong>de</strong>rarse como la<br />
culminación <strong>de</strong> la teoría newtoniana <strong>de</strong> la gravitación.<br />
Fig. 1. 1: Retrato <strong>de</strong> <strong>Laplace</strong><br />
El otro gran aporte <strong>de</strong> <strong>Laplace</strong> se encuentra en el campo <strong>de</strong> la Teoría <strong>de</strong> Probabilida<strong>de</strong>s.<br />
La primera edición <strong>de</strong> la “Teoría Analítica <strong>de</strong> las Probabilida<strong>de</strong>s” fue publicada en 1812<br />
6
y en ella consi<strong>de</strong>ró las probabilida<strong>de</strong>s <strong>de</strong>s<strong>de</strong> todos los puntos <strong>de</strong> vista: presenta el método<br />
<strong>de</strong> los mínimos cuadrados, el problema <strong>de</strong> la aguja <strong>de</strong> Bufón, aplicaciones a la<br />
mortalidad, expectativa <strong>de</strong> vida y a problemas legales; incluye también aplicaciones<br />
para <strong>de</strong>terminar la masa <strong>de</strong> Júpiter, Saturno y Urano, métodos <strong>de</strong> triangulación y un<br />
método para <strong>de</strong>terminar el meridiano <strong>de</strong> Francia. Y contiene lo que hoy conocemos<br />
como la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong>.<br />
La transformada <strong>de</strong> <strong>Laplace</strong> aparece por primera vez<br />
en el trabajo <strong>de</strong> Euler <strong>de</strong> 1769, “Institutiones Calculi<br />
Integralis”, al resolver la ecuación:<br />
Ly′′ + My′ + Ny = U .<br />
Sin embargo, quizás por la frecuencia con que <strong>Laplace</strong><br />
la usó y por la profundidad <strong>de</strong> los resultados que<br />
logró, la transformada lleva su nombre.<br />
Durante el siglo XIX se le conocía con el nombre “Método <strong>de</strong> <strong>Laplace</strong>” y aunque hubo<br />
muchos matemáticos que contribuyeron a la teoría, fue Poincaré quien <strong>de</strong>sarrolla <strong>de</strong><br />
nuevo la transformada <strong>de</strong> <strong>Laplace</strong>. Sin embargo, la transformada <strong>de</strong> <strong>Laplace</strong> como la<br />
conocemos hoy, se <strong>de</strong>be al trabajo <strong>de</strong> Gustav Doetsch <strong>de</strong> 1937.<br />
Fig. 1. 2: Retrato <strong>de</strong> Euler<br />
7
1. 2 Definición y ejemplos básicos<br />
Definición 1. 2. 1:<br />
+<br />
Sean f : 0 →<br />
y p ∈ . La <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> f en p se <strong>de</strong>fine como:<br />
L<br />
[ ]( )<br />
siempre que la integral exista.<br />
∞<br />
− px<br />
f ( x) p = ∫ e f( x) dx,<br />
L se <strong>de</strong>nomina Operador <strong>de</strong> la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong>.<br />
La transformada <strong>de</strong> <strong>Laplace</strong> se pue<strong>de</strong> <strong>de</strong>notar <strong>de</strong> varias maneras:<br />
[ ]( ) ( ) <br />
L f ( x) p = F p = f( p)<br />
.<br />
0<br />
A partir <strong>de</strong> la <strong>de</strong>finición se pue<strong>de</strong> <strong>de</strong>mostrar una <strong>de</strong> las propieda<strong>de</strong>s básicas más<br />
importantes <strong>de</strong> la transformada <strong>de</strong> <strong>Laplace</strong>:<br />
Teorema 1. 2. 2: La <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> es una transformación lineal.<br />
Demostración:<br />
− px<br />
(i) L ⎡ ( ) + ( ) ⎤ ( ) = ( ( ) + ( ) )<br />
∞<br />
⎣fx g x ⎦ p ∫ e f x g x dx<br />
∞<br />
∫<br />
0<br />
0<br />
−px −px<br />
= e f( x) + e g( x) dx<br />
∞ ∞<br />
∫ ∫<br />
0 0<br />
[ ]( ) [ ]( )<br />
−px −px<br />
= e f( x) dx+ e g( x) dx= L f( x) p + L g( x) p<br />
∞<br />
⋅ ∫<br />
∫<br />
− px<br />
− px<br />
(ii) L [ k f ( x)<br />
]( p)<br />
= e ( k ⋅ f ( x)<br />
) dx = k e f ( x)<br />
dx = kL[<br />
f ( x)<br />
]( p)<br />
0<br />
∞<br />
0<br />
. ♦<br />
8
n<br />
Ejemplo 1. 2. 3: Demostrar que la transformada <strong>de</strong> <strong>Laplace</strong> para f ( x) = x es:<br />
Solución: (Inducción sobre n)<br />
Caso n = 0:<br />
En este caso: f ( x)<br />
= 1.<br />
n!<br />
Fn( p)<br />
n 1<br />
p + = , con n = 0, 1, 2, ...<br />
Aplicamos la <strong>de</strong>finición a esta función para obtener:<br />
∞<br />
b<br />
⎛ 1 ⎞<br />
−px −px<br />
1<br />
F0( p) = ∫ e dx= lim⎜−<br />
e ⎟=<br />
.<br />
b→∞⎜<br />
p ⎟ p<br />
0 ⎝ 0 ⎠<br />
Por lo tanto, se cumple la fórmula.<br />
Caso n = k:<br />
Supondremos válido para n = k – 1, es <strong>de</strong>cir, la hipótesis <strong>de</strong> inducción es:<br />
( k − )<br />
1!<br />
Fk−1( p)<br />
= . k<br />
p<br />
Aplicamos la <strong>de</strong>finición, y obtenemos: ( )<br />
Integramos por partes:<br />
n<br />
Fk p<br />
∞<br />
k − px<br />
= ∫ x e dx<br />
0<br />
Fk p<br />
∞<br />
x e<br />
0<br />
dx<br />
⎛<br />
b→∞⎜<br />
⎝<br />
k<br />
x<br />
e<br />
p<br />
b ⎞<br />
⎟<br />
0 ⎠<br />
∞<br />
k<br />
x<br />
p 0<br />
e dx<br />
k<br />
Fk−1 p<br />
p<br />
Usamos la hipótesis <strong>de</strong> inducción y queda:<br />
k −px −px k−1−px ( ) = = lim ⎜− ⎟+<br />
= ( )<br />
∫ ∫ .<br />
Así queda <strong>de</strong>mostrada la fórmula.<br />
( k − )<br />
k k 1! k!<br />
Fk ( p) = Fk− 1 ( p)<br />
= = .<br />
k k+<br />
1<br />
p p p p<br />
pb<br />
Nota: Hemos usado el hecho que lim e 0<br />
−<br />
= . Sin embargo, esto sólo es válido si<br />
b→∞<br />
“Re(– p)” es negativo, o equivalentemente, si Re(p) >0.<br />
.<br />
9
ax<br />
Ejemplo 1. 2. 4: Hallar la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> para: f ( x) = e .<br />
Solución:<br />
Aplicamos la <strong>de</strong>finición directamente, y queda:<br />
Notas:<br />
∞ ∞<br />
∞<br />
( a−p) x ( a−p) x<br />
ax − px<br />
1 1<br />
F( p) = e ⋅ e dx= e dx= e =<br />
a−p p−a ∫ ∫ .<br />
0 0 0<br />
b<br />
1. En vez <strong>de</strong> escribir: lim ( ) , hemos usado la notación: ( ) 0<br />
0<br />
b→∞<br />
utilizará <strong>de</strong> ahora en a<strong>de</strong>lante.<br />
2. Al evaluar la integral, estamos asumiendo que<br />
( a p)<br />
∞<br />
. Esta notación se<br />
e 0<br />
− ⋅∞ = , lo cual solamente es<br />
cierto si: Re( a− p)<br />
< 0 . Es <strong>de</strong>cir, la transformada <strong>de</strong> <strong>Laplace</strong> tiene sentido si<br />
Re(p) > a.<br />
Ejemplo 1. 2. 5: Hallar la transformada <strong>de</strong> <strong>Laplace</strong> para: f ( x) = sinax.<br />
Solución:<br />
Aplicamos la <strong>de</strong>finición: ( )<br />
Integramos por partes, y llegamos a:<br />
∞<br />
∫<br />
− px<br />
F p = sin ax⋅e dx.<br />
0<br />
∞ ∞ ∞<br />
− px<br />
sin ax ⋅ e a −px a<br />
−px<br />
F ( p) =− + cos ax ⋅ e dx = cos ax ⋅e<br />
dx<br />
p p p<br />
Volvemos a integrar por partes, y obtenemos:<br />
0<br />
∫ ∫ .<br />
0 0<br />
px<br />
∞<br />
a ⎡ −<br />
∞<br />
cos ax⋅e a ⎤<br />
− px a ⎡1a ⎤<br />
F ( p) = ⎢− − sin ax e dx F( p)<br />
p p p∫ ⋅ ⎥=<br />
0 0<br />
p<br />
⎢ −<br />
p p<br />
⎥.<br />
⎢⎣ ⎥⎦ ⎣ ⎦<br />
10
Hemos llegado a una ecuación con variable F(p):<br />
2 2<br />
a a<br />
F ( p) = − F( p)<br />
.<br />
2 2<br />
p p<br />
Despejamos F(p) y obtenemos la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> para la función seno:<br />
( )<br />
F p<br />
2<br />
a<br />
=<br />
a + p<br />
2 2<br />
pb<br />
Nota: Nuevamente hemos usado el hecho que lim e 0<br />
−<br />
= , lo que implica Re(p) >0.<br />
.<br />
b→∞<br />
Ejemplo 1. 2. 6: Hallar la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> para: f ( x)<br />
= cos ax .<br />
Solución:<br />
Usando la <strong>de</strong>finición llegamos a la siguiente integral, muy similar a la <strong>de</strong>l ejemplo<br />
anterior: ( )<br />
∞<br />
∫<br />
− px<br />
F p = cos ax⋅e dx.<br />
Si integramos por partes y evaluamos, llegaremos a:<br />
0<br />
1 a *<br />
F ( p) = − F ( p)<br />
,<br />
p p<br />
en don<strong>de</strong> F * (p) es la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> hallada en el ejemplo anterior.<br />
Reemplazamos dicha transformada y obtenemos:<br />
1 a a<br />
p p a + p<br />
( ) = − ⋅ 2 2<br />
F p<br />
2 2 2<br />
⎛a + p −a<br />
⎞<br />
2 2<br />
1<br />
= ⎜<br />
p ⎝ a + p<br />
⎟<br />
⎠<br />
p<br />
= . 2 2<br />
a + p<br />
Nota: Nuevamente, esto es válido sólo si: Re(p) >0.<br />
11
Existe otra forma <strong>de</strong> obtener estos dos últimos resultados, usando números<br />
complejos:<br />
Ejemplo 1. 2. 7:<br />
Sabemos que<br />
1<br />
⎡<br />
⎣e ⎤<br />
⎦( p)<br />
=<br />
p − a<br />
.<br />
L ax<br />
Usando este resultado, obtenemos que:<br />
Racionalizamos, y queda:<br />
Pero por otro lado:<br />
1<br />
⎡<br />
⎣e ⎤<br />
⎦( p)<br />
= .<br />
p − ai<br />
L iax<br />
⎣ ⎦ p<br />
+<br />
+ a p + a p + a<br />
(*) L ( ) 2 2 2 2 2 2<br />
iax p ai p a<br />
⎡e ⎤ p = = + i<br />
(**) [ e ] ( p)<br />
[ cos ax i sin ax]<br />
( p)<br />
[ cos ax]<br />
( p)<br />
i [ sin ax]<br />
( p)<br />
iax<br />
L L + = L + L<br />
= .<br />
Igualando las partes reales y complejas <strong>de</strong> (*) y (**), obtenemos las fórmulas <strong>de</strong> los<br />
ejemplos 1. 2. 5. y 1. 2. 6. Esta forma <strong>de</strong> llegar a las transformadas <strong>de</strong> seno y coseno,<br />
muestra la utilidad <strong>de</strong> trabajar con números complejos.<br />
Nota: Abusando <strong>de</strong>l lenguaje, a partir <strong>de</strong> ahora muchas veces anotaremos [ f (x)<br />
]<br />
vez <strong>de</strong> [ f ( x)<br />
] ( p)<br />
L , si no hay confusión posible.<br />
Ejemplo 1. 2. 8: Hallar la transformada <strong>de</strong> <strong>Laplace</strong> para: f ( x) = sinhax.<br />
ax −ax<br />
e − e<br />
Solución: Recor<strong>de</strong>mos primero que: sinh ax = , lo que implica que:<br />
2<br />
ax −ax<br />
⎡e − e ⎤<br />
L[ sinh ax]<br />
= L⎢⎥.<br />
⎣ 2 ⎦<br />
.<br />
12<br />
L , en
Sabemos que la transformada <strong>de</strong> <strong>Laplace</strong> es lineal, por lo que po<strong>de</strong>mos escribir:<br />
1 ax 1 ax<br />
L[ sinh ax] L e L e<br />
2 2<br />
−<br />
= ⎡<br />
⎣<br />
⎤<br />
⎦− ⎡<br />
⎣<br />
⎤<br />
⎦ .<br />
1<br />
Ahora usamos el hecho que L ax ⎡<br />
⎣e⎤ ⎦ = , para obtener:<br />
p − a<br />
1 1 1 1<br />
L [ sinh ax] = − (Re( p) > a y Re( p) >−a)<br />
.<br />
2 p− a 2 p+ a<br />
Finalmente sumamos las fracciones y queda:<br />
a<br />
L [ sinh ax] = 2 2 ( Re(<br />
p) > a ) .<br />
p − a<br />
Ejemplo 1. 2. 9: Hallar la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> para: f ( x) = coshax.<br />
Solución:<br />
ax −ax<br />
e + e<br />
Recor<strong>de</strong>mos primero que: cosh ax = .<br />
2<br />
Usamos la linealidad <strong>de</strong> la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> y la fórmula<br />
1 ax 1 ax 1 1 1 1 p<br />
2 ⎣ ⎦ 2 ⎣ ⎦ 2 p− a 2 p+ a p −a<br />
1<br />
⎡<br />
⎣e⎤ ⎦ =<br />
p − a<br />
y<br />
L ax<br />
−<br />
queda: L[ cosh ax] = L⎡e⎤+ L⎡e⎤<br />
= + = ( Re(<br />
p) > a )<br />
2 2<br />
.<br />
13
1. 3 Condiciones para la existencia <strong>de</strong> la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong>.<br />
La transformada <strong>de</strong> <strong>Laplace</strong> L[<br />
]( )<br />
∞<br />
− px<br />
f ( x) p = ∫ e f( x) dx es una integral impropia y por lo<br />
0<br />
tanto pue<strong>de</strong> converger como diverger. Cabe entonces preguntarse, ¿qué características<br />
<strong>de</strong>be cumplir una función f(x), para que admita efectivamente una transformada <strong>de</strong><br />
<strong>Laplace</strong>?<br />
Para respon<strong>de</strong>r a esta pregunta, observemos en primer lugar que la <strong>de</strong>finición <strong>de</strong> la<br />
transformada <strong>de</strong> <strong>Laplace</strong>, escrita en forma <strong>de</strong> límite, es: L[<br />
]( )<br />
− px<br />
f ( x) p = lim ∫ e f( x) dx.<br />
b<br />
b→∞<br />
0<br />
Por lo tanto un primer requisito para que la transformada <strong>de</strong> <strong>Laplace</strong> exista es<br />
b<br />
que 0<br />
− px<br />
∫ e f( x) dx exista y para eso f(x) <strong>de</strong>be ser continua o continua por tramos en el<br />
intervalo [ , ∞[<br />
0 .<br />
∞<br />
− px<br />
En segundo lugar, para que la integral ∫ e f( x) dx converja, es necesario que el<br />
0<br />
integrando “tienda a 0” lo suficientemente rápido, a medida que x → ∞ . La siguiente<br />
<strong>de</strong>finición nos permitirá establecer un criterio para po<strong>de</strong>r lograr ese objetivo.<br />
14
Definición 1. 3. 1:<br />
Una función f(x) se dice <strong>de</strong> or<strong>de</strong>n exponencial, si existen constantes M , c > 0 tales<br />
cx<br />
que: f ( x) M e x 0<br />
≤ ⋅ ∀ > .<br />
Esto significa que una función es <strong>de</strong> or<strong>de</strong>n exponencial, si existe alguna función<br />
exponencial que la acote. Ejemplos <strong>de</strong> funciones <strong>de</strong> or<strong>de</strong>n exponencial son las funciones<br />
constantes, los polinomios y, por supuesto, las funciones exponenciales.<br />
Veremos ahora que ser <strong>de</strong> or<strong>de</strong>n exponencial es una condición suficiente para que la<br />
transformada <strong>de</strong> <strong>Laplace</strong> converja.<br />
Teorema 1. 3. 2:<br />
Si f es <strong>de</strong> or<strong>de</strong>n exponencial, entonces ( ) L[<br />
]( )<br />
− px<br />
F p = f( x) p =∫ e f( x) dx<br />
converge absolutamente para Re(p)>c. A<strong>de</strong>más: F( p)<br />
Demostración:<br />
En primer lugar,<br />
Re( p)<br />
→∞<br />
∞<br />
lim = 0<br />
∞ ∞ ∞ ∞<br />
−px e f( x) dx= −px e ⋅ f( x) dx≤ −px cx ( c−p) x<br />
e ⋅ Me dx= M e dx<br />
0 0 0 0<br />
∫ ∫ ∫ ∫ .<br />
Sabemos que la última integral converge para Re(p)>c, y se pue<strong>de</strong> calcular fácilmente<br />
que su valor es 1<br />
(ver ejemplo 1. 2. 4).<br />
p − c<br />
− px<br />
Usando el criterio <strong>de</strong> comparación concluimos que ∫ e f( x) dx también converge, lo<br />
0<br />
cual, a su vez significa que F(p) converge absolutamente para Re(p)>c.<br />
∞<br />
0<br />
15
Aún más: ( )<br />
∞<br />
− px<br />
M<br />
F p = ∫ e f( x) dx ≤<br />
Re p − c<br />
Concluimos que ( p)<br />
→ 0<br />
0<br />
( )<br />
F , cuando ) → ∞<br />
Re( p , <strong>de</strong> manera que: F(<br />
p)<br />
= 0<br />
lim<br />
Re( p)<br />
→∞<br />
Aunque esta <strong>de</strong>mostración se basa en el hecho <strong>de</strong> estar trabajando con funciones<br />
continuas (aunque sea por tramos) y <strong>de</strong> or<strong>de</strong>n exponencial, se pue<strong>de</strong> <strong>de</strong>mostrar que<br />
ninguna <strong>de</strong> estas características es necesaria. El hecho que: F( p)<br />
siempre que F(p) exista. Esto nos lleva al siguiente corolario:<br />
Corolario 1. 3. 3:<br />
Si F( p)<br />
Re( p)<br />
→∞<br />
lim = 0 es válido<br />
Re( p)<br />
→∞<br />
lim ≠ 0,<br />
entonces F(p) no pue<strong>de</strong> ser la transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> ninguna<br />
función.<br />
Resumiendo todo lo dicho, po<strong>de</strong>mos establecer el siguiente resultado:<br />
Teorema 1. 3. 4: Si f es una función continua o continua por tramos en el intervalo<br />
[ , ∞[<br />
0 y si es <strong>de</strong> or<strong>de</strong>n exponencial, entonces existe la transformada <strong>de</strong> <strong>Laplace</strong> para f(x).<br />
Nótese que el teorema no es un “si y sólo si”, sólo un “si ..., entonces ...”. Esto significa<br />
que una función pue<strong>de</strong> tener transformada <strong>de</strong> <strong>Laplace</strong>, aún cuando no cumpla los<br />
requisitos <strong>de</strong> continuidad o <strong>de</strong> or<strong>de</strong>n exponencial, como veremos en el siguiente<br />
ejemplo.<br />
♦<br />
16
Ejemplo 1. 3. 5: Demostrar que ( )<br />
f x x −<br />
1. 3. 4, pero que aún así existe su transformada <strong>de</strong> <strong>Laplace</strong>.<br />
Solución:<br />
1<br />
2 = no cumple las condiciones <strong>de</strong>l teorema<br />
f(x) tiene una discontinuidad infinita en x = 0, lo que implica que no es continua ni<br />
continua por tramos en el intervalo [ , ∞[<br />
0 . Es <strong>de</strong>cir, no cumple las condiciones <strong>de</strong>l<br />
teorema 1. 3. 4.<br />
Para hallar su transformada <strong>de</strong> <strong>Laplace</strong>, aplicamos la <strong>de</strong>finición:<br />
∞<br />
1<br />
− px − 2<br />
F ( p) = ∫ e ⋅x<br />
dx<br />
0<br />
Hacemos el cambio <strong>de</strong> variable: px = t, y obtenemos:<br />
∞<br />
∫<br />
−t − 1<br />
2<br />
⎛ t ⎞<br />
⎜ ⎟<br />
∞<br />
∫<br />
−t<br />
− 1<br />
2 .<br />
0 0<br />
1 1<br />
F ( p) = e ⋅ dt = e ⋅tdt<br />
p ⎝ p⎠ p<br />
Hacemos otro cambio <strong>de</strong> variable:<br />
− 1<br />
2<br />
Por lo tanto, L x ( p)<br />
.<br />
1<br />
2 = y queda:<br />
s t<br />
∞<br />
2 2<br />
−s<br />
2<br />
π π<br />
F( p) = ∫ e ds=<br />
= .<br />
p p 2 p<br />
⎡ ⎤ =<br />
⎣ ⎦<br />
0<br />
π<br />
.<br />
p<br />
El valor <strong>de</strong> la última integral se <strong>de</strong>mostrará en el siguiente ejemplo.<br />
Ejemplo 1. 3. 6: Demostrar que:<br />
Solución:<br />
Primero calcularemos el valor <strong>de</strong> I 2 :<br />
∞<br />
∫<br />
0<br />
2<br />
−s<br />
I = e ds=<br />
π<br />
.<br />
2<br />
∞ ∞ ∞ ∞<br />
⎛ 2 ⎞⎛ 2 ⎞<br />
2 2<br />
2 −x −y<br />
− ( x + y )<br />
I = ⎜ e dx⎟⎜ e dy ⎟=<br />
e dx dy<br />
⎝ 0 ⎠⎝ 0 ⎠ 0 0<br />
Cambiamos a coor<strong>de</strong>nadas polares y queda:<br />
∫ ∫ ∫∫ .<br />
17
π<br />
2 ∞<br />
2 ∞ −r<br />
2<br />
2 −r<br />
e<br />
I ∫∫ e rdr dθ<br />
00 −<br />
0<br />
π π<br />
= ⋅ = ⋅ = .<br />
2 2 4<br />
Sacamos raíz y llegamos al resultado:<br />
∞<br />
∫<br />
0<br />
2<br />
−s<br />
I = e ds=<br />
π<br />
.<br />
2<br />
En los siguientes ejemplos, calcularemos las transformadas <strong>de</strong> <strong>Laplace</strong> para algunas<br />
funciones que tendrán utilidad más a<strong>de</strong>lante.<br />
Ejemplo 1. 3. 7: Hallar la transformada <strong>de</strong> <strong>Laplace</strong> para: f x)<br />
= u(<br />
x − a)<br />
don<strong>de</strong> a >0 y u(x) es la función paso o función escalón: u( x)<br />
Solución:<br />
Si usamos la <strong>de</strong>finición <strong>de</strong> u(x), resulta que: f ( x)<br />
⎧0<br />
= ⎨<br />
⎩1<br />
( ,<br />
si x< a<br />
.<br />
si x≥ a<br />
⎧0<br />
si x < 0<br />
= ⎨ .<br />
⎩1<br />
si x ≥ 0<br />
Aplicamos la <strong>de</strong>finición <strong>de</strong> la transformada <strong>de</strong> <strong>Laplace</strong> a esta función y queda:<br />
∞ ∞ −px ∞<br />
−pa<br />
−px −px<br />
e e<br />
( ) ( )<br />
∫ ∫ .<br />
F p = f x ⋅ e dx= e dx=<br />
=<br />
− p p<br />
0<br />
a a<br />
La figura 1.3 muestra la función f(x).<br />
Ejemplo 1. 3. 8: Hallar la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> para la función parte entera:<br />
[] x<br />
f ( x)<br />
= .<br />
Solución:<br />
La figura 1.4 muestra la función f(x).<br />
Aplicamos la <strong>de</strong>finición <strong>de</strong> la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong><br />
a esta función y queda:<br />
1<br />
2<br />
1<br />
a<br />
1<br />
18<br />
Figura 1.3<br />
2 3<br />
Figura 1.4
F p<br />
∞<br />
x e dx<br />
∞ i+<br />
1<br />
⎛<br />
x e<br />
⎞<br />
dx<br />
0<br />
i= 0 ⎝ i ⎠<br />
−px −px<br />
( ) = ∫[ ] ⋅ = ∑⎜∫<br />
[ ] ⎟.<br />
Sin embargo, en el intervalo [ i , i + 1[<br />
se cumple: [ ] i<br />
<strong>Laplace</strong> queda:<br />
x = , por lo que la transformada <strong>de</strong><br />
F( p) = i⋅ e dx = i⋅ e dx =<br />
⎛<br />
i⋅ ⎞<br />
= i⋅ e −e<br />
⎝ ⎠ ⎝ ⎠ ⎝ ⎠<br />
i 1 i 1<br />
px<br />
i+<br />
1<br />
∞ + + −<br />
⎛ ⎞ ∞ ⎛ ⎞ ∞ ∞<br />
−px −pxe 1<br />
−pi<br />
− pi ( + 1)<br />
∑⎜ ⎟ ∑⎜ ⎟ ∑⎜ ⎟ ( )<br />
i= 0 i i= 0 i i= 0⎜ p ⎟ ∑<br />
− p<br />
i<br />
i=<br />
0<br />
∫ ∫ .<br />
La serie que resulta es una especie <strong>de</strong> “serie telescópica”. Calculando algunos<br />
términos es posible darse cuenta que:<br />
1 1 i<br />
F p e e<br />
p p<br />
∞ ∞<br />
−pi −p<br />
( ) = = ( )<br />
∑ ∑ .<br />
i= 0 i=<br />
0<br />
Esta serie, finalmente, es una serie geométrica <strong>de</strong> razón<br />
( )<br />
F p<br />
− p<br />
1 e 1<br />
= ⋅ = − p p<br />
p 1− e pe −1<br />
( )<br />
.<br />
− p<br />
r = e , por lo tanto:<br />
Ejemplo 1. 3. 9: Hallar la transformada <strong>de</strong> <strong>Laplace</strong> para la función parte <strong>de</strong>cimal<br />
(también conocida como “función diente <strong>de</strong> sierra”): f ( x)<br />
= x − [] x .<br />
Solución:<br />
La figura 1.5 muestra la función f(x).<br />
En este caso usaremos los resultados que ya conocemos<br />
y la linealidad <strong>de</strong> la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong>:<br />
p<br />
1 1 e −1−p L[ f( x) ] = L[ x] − L⎡⎣[<br />
x]<br />
⎤⎦=<br />
− = .<br />
p p<br />
( −1) ( −1)<br />
2 2<br />
p p e p e<br />
1<br />
1<br />
19<br />
2 3<br />
Figura 1.5
Ejemplo 1. 3. 10: Hallar la transformada <strong>de</strong> <strong>Laplace</strong> para:<br />
Solución:<br />
f<br />
( ) ⎨<br />
⎩ ⎧<br />
x =<br />
sen x<br />
0<br />
si 0 ≤ x ≤ π<br />
.<br />
si x > π<br />
La figura 1.6 muestra la función f(x), que pue<strong>de</strong><br />
consi<strong>de</strong>rarse como un “pulso”.<br />
Aplicamos la <strong>de</strong>finición <strong>de</strong> la transformada <strong>de</strong> <strong>Laplace</strong><br />
a esta función y queda: ( )<br />
π<br />
F p =<br />
− px<br />
senx⋅e dx<br />
∫<br />
0<br />
Usamos integración por partes dos veces, para llegar a la ecuación:<br />
− pπ<br />
1 ⎡e1⎤ 1<br />
F p ⎢ ⎥ F p 2<br />
p⎣ p p⎦ p<br />
( ) = + − ( )<br />
Finalmente <strong>de</strong>spejamos F(p) para obtener: F( p)<br />
= 2<br />
.<br />
e<br />
p<br />
− pπ<br />
+ 1<br />
.<br />
+ 1<br />
A continuación, veremos dos ejemplos <strong>de</strong> funciones básicas, que, sin embargo no tienen<br />
transformadas <strong>de</strong> <strong>Laplace</strong>.<br />
Ejemplo 1. 3. 11: Probar que<br />
Solución:<br />
⎡ ⎤ no existe.<br />
⎣ ⎦<br />
2<br />
L x<br />
e<br />
Si aplicamos la <strong>de</strong>finición <strong>de</strong> la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong>, llegamos a:<br />
∞ ∞<br />
2<br />
x −px 2<br />
x<br />
2<br />
x −px<br />
L ⎡e ⎤ = e ⋅ e dx= e dx<br />
⎣ ⎦ ∫ ∫ .<br />
0 0<br />
1<br />
20<br />
π<br />
Figura 1.6
Completamos cuadrado <strong>de</strong> binomio en el exponente:<br />
∞ p<br />
2<br />
p<br />
2<br />
2<br />
x<br />
( x−<br />
2) − 4<br />
L ⎡e ⎤ = e dx<br />
⎣ ⎦ ∫ .<br />
0<br />
Ahora hacemos el cambio <strong>de</strong> variable: u x ( p )<br />
Pero si<br />
Y como<br />
∞<br />
2<br />
⎡ x ⎤ =<br />
p<br />
− 2<br />
2<br />
2 p<br />
u − 4<br />
L e e du<br />
⎣ ⎦ ∫ .<br />
p<br />
u ≥− , entonces:<br />
2<br />
∞<br />
p<br />
−<br />
2<br />
p<br />
= − ∈ , lo que nos conduce a:<br />
2<br />
2<br />
2 p<br />
u − ≥ 1 y, en consecuencia:<br />
4<br />
u<br />
2<br />
p<br />
2<br />
4<br />
e e −<br />
≤ .<br />
∫ edudiverge,<br />
por el criterio <strong>de</strong> comparación también lo hace<br />
En consecuencia, no existe la transformada <strong>de</strong> <strong>Laplace</strong>.<br />
1<br />
Ejemplo 1. 3. 12: Probar que L x − ⎡ ⎤<br />
⎣ ⎦<br />
no existe.<br />
Solución:<br />
Si aplicamos la <strong>de</strong>finición <strong>de</strong> la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong>, llegamos a:<br />
∞ −px 1 −px ∞ −px<br />
−1<br />
e e e<br />
x dx dx dx<br />
x x x<br />
0 0 1<br />
L ⎡<br />
⎣<br />
⎤<br />
⎦ = ∫ = ∫ + ∫<br />
<br />
La integral I2 converge, ya que:<br />
Si x ≥ 1,<br />
entonces 1 ≤ 1,<br />
lo cual a su vez implica que:<br />
x<br />
∞<br />
I1<br />
I2<br />
e<br />
x<br />
− px<br />
− px<br />
≤ e ,<br />
∞<br />
∫<br />
p<br />
−<br />
2<br />
2<br />
2 p<br />
u −<br />
4<br />
e du<br />
− px<br />
y como ∫ e dx converge, también lo hace I2 (por el criterio <strong>de</strong> comparación).<br />
1<br />
21
Sin embargo, I1 diverge, ya que:<br />
Si ∈[<br />
0,<br />
1]<br />
x , entonces:<br />
y por lo tanto:<br />
Pero:<br />
1 − p<br />
1<br />
e<br />
− p<br />
0 0<br />
−px −p<br />
e e<br />
≥ .<br />
x x<br />
1<br />
dx = e dx<br />
x x<br />
− px − p<br />
e ≥ e ,<br />
∫ ∫ , y esta última integral diverge.<br />
Luego, por el criterio <strong>de</strong> comparación, I1 diverge.<br />
1 ⎡ ⎤<br />
En consecuencia: L x −<br />
⎣ ⎦<br />
no existe.<br />
Finalizaremos esta sección con un ejemplo que utilizaremos en la sección 2.4.<br />
Ejemplo 1. 3. 13: Sea > 0<br />
ε y fε (x) la función <strong>de</strong>finida por: f ( x)<br />
− p<br />
1−<br />
e<br />
pε<br />
Probar que: L ⎡⎣fε( x)<br />
⎤= ⎦ y que: L fε( x)<br />
Solución:<br />
La figura 1.7 muestra la función fε (x).<br />
ε<br />
lim ⎡⎣ ⎤= ⎦ 1<br />
ε →0<br />
Aplicamos la <strong>de</strong>finición <strong>de</strong> la transformada <strong>de</strong> <strong>Laplace</strong><br />
a esta función obtenemos el primer resultado:<br />
∞ ε − −<br />
ε<br />
− ε<br />
px px p<br />
− px e e 1−<br />
e<br />
F( p) = e ⋅ f ( x) dx= dx=−<br />
=<br />
ε pε pε<br />
∫ ∫ .<br />
ε<br />
0 0 0<br />
Usando la regla <strong>de</strong> L’Hôpital, obtenemos la segundo expresión:<br />
−pε −pε<br />
1−<br />
e pe<br />
− pε<br />
limL ⎡⎣f ( x) ⎤= ⎦ lim = lim = lim e = 1.<br />
pεp ε<br />
ε→0 ε→0 ε→0 ε→0<br />
ε<br />
1/ε<br />
22<br />
⎧1<br />
⎪ si 0 ≤ x ≤ ε<br />
= ⎨ε .<br />
⎪<br />
⎩0<br />
si x > ε<br />
ε<br />
Figura 1.7
1. 4 Aplicaciones a las ecuaciones diferenciales:<br />
<strong>Transformada</strong>s <strong>de</strong> <strong>Laplace</strong> para <strong>de</strong>rivadas <strong>de</strong> una función.<br />
Ahora que ya conocemos la transformada <strong>de</strong> <strong>Laplace</strong> para las funciones más relevantes<br />
(para una lista más completa, remítase al Anexo A o [6]), veremos la aplicación más<br />
directa <strong>de</strong> esta transformada: la resolución <strong>de</strong> ecuaciones diferenciales. Para eso, es<br />
necesario primero saber cómo calcular la transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> la <strong>de</strong>rivada <strong>de</strong> una<br />
función. Es lo que estudiaremos en los siguientes teoremas.<br />
Teorema 1. 4. 1:<br />
Si f una función <strong>de</strong> or<strong>de</strong>n exponencial y diferenciable para x > 0, entonces:<br />
Demostración:<br />
( ) ( ) ( 0)<br />
L⎡⎣f′ x ⎤= ⎦ pL⎡⎣f x ⎤− ⎦ f . (1. 4. 2)<br />
Primero aplicamos la <strong>de</strong>finición <strong>de</strong> la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> y obtenemos:<br />
∞<br />
− px ( ) ( )<br />
L ⎡⎣f′ x ⎤= ⎦ ∫ e ⋅ f′ x dx.<br />
Integramos por partes para llegar a:<br />
0<br />
−px ∞<br />
−px<br />
( ) ( ) ( )<br />
L ⎡⎣f′ x ⎤= ⎦ f x ⋅ e + p∫ e ⋅ f x dx (*)<br />
0<br />
Para evaluar la primera expresión, fijémonos que, dado que f(x) es <strong>de</strong> or<strong>de</strong>n exponencial,<br />
cx<br />
(esto es: f ( x) M e x 0<br />
≤ ⋅ ∀ > ) , se tiene:<br />
− pb −Re( pb ) cb −Re(<br />
pb ) ( c−Re( p) ) b<br />
( ) ( )<br />
b→∞ b→∞ b→∞ b→∞<br />
lim f b ⋅ e = lim f b ⋅e ≤M ⋅lime ⋅ e = M ⋅ lim e = 0 (Re p ><br />
c)<br />
∞<br />
0<br />
( )<br />
23
Por lo tanto: ( )<br />
pb ( f b e ) −<br />
lim ⋅ = 0 .<br />
b→∞<br />
Reemplazamos en (*) y obtenemos finalmente:<br />
Teorema 1. 4. 3:<br />
( ) ( 0)<br />
( )<br />
L⎡⎣f′ x ⎤ ⎦ =− f + pL⎡⎣f x ⎤⎦<br />
, para Re(p) > c. ♦<br />
Si f(x) es una función <strong>de</strong> or<strong>de</strong>n exponencial y que admite segunda <strong>de</strong>rivada para x > 0,<br />
entonces:<br />
Demostración:<br />
2 ( ) ( ) ( 0) ( 0)<br />
L⎡⎣f′′ x ⎤= ⎦ p L⎡⎣f<br />
x ⎤− ⎦ p⋅ f − f′<br />
. (1. 4. 4)<br />
Usamos el teorema 1. 4. 1 dos veces, para primero obtener:<br />
y posteriormente:<br />
⎡ ′ ⎤<br />
L⎡⎣f′′ x ⎤= ⎦ L f′ x = p⋅L⎡⎣f′ x ⎤− ⎦ f′<br />
⎢⎣ ⎥⎦<br />
( ) ( ) ( )<br />
( ) ( ( ) ) ( ) ( 0)<br />
2<br />
( 0 ) ( 0) ( ) ( 0) ( 0)<br />
L⎡⎣f′′ x ⎤= ⎦ p⋅ p⋅L⎡⎣f x ⎤− ⎦ f − f′ = p ⋅L⎡⎣f x ⎤− ⎦ p⋅ f − f′<br />
. ♦<br />
Ambos resultados son casos especiales <strong>de</strong> un teorema más general:<br />
Teorema 1. 4. 5:<br />
Si f(x) es una función <strong>de</strong> or<strong>de</strong>n exponencial y que admite <strong>de</strong>rivada hasta <strong>de</strong> or<strong>de</strong>n n para<br />
x > 0, entonces:<br />
( ) n n−1 n−2<br />
( ) ( ) ( ) ( )<br />
,<br />
( −1)<br />
( )<br />
n n<br />
L⎡f x ⎤ p L f x p f 0 p f′ ⎣ ⎦<br />
= ⎡⎣ ⎤− ⎦ ⋅ − ⋅ 0 −... − f 0<br />
(1. 4. 6)<br />
24
Demostración: (Por inducción)<br />
El caso n = 1 ya fue <strong>de</strong>mostrado (Teorema 1. 4. 1).<br />
Si la fórmula es válida para n – 1, entonces:<br />
( ) ⎡ ( ) ′ ⎤<br />
( )<br />
L⎡f ( x) ⎤ L ( f ( x) ) pL⎡f ( x) ⎤<br />
⎣ ⎦<br />
= ⎢ ⎥=<br />
⎣ ⎦<br />
− f<br />
⎣ ⎦<br />
( ) ( )<br />
n n−1 n−1 n−1<br />
0<br />
y usando la hipótesis <strong>de</strong> inducción:<br />
( ) n−1 n−2 n−3<br />
( ) ( ) ( ) ′ ( )<br />
( ) ( )<br />
L⎡f x ⎤ pL⎡p L f x p f p f f ⎤<br />
⎣ ⎦<br />
=<br />
⎣<br />
⎡⎣ ⎤− ⎦ ⋅ − ⋅ − −<br />
⎦<br />
− f<br />
( ) ( )<br />
n n−2 n−1<br />
0 0 ... 0 0<br />
Simplificamos y obtenemos el resultado:<br />
( ) n n−1 n−2<br />
( ) ( ) ( ) ( )<br />
( −1)<br />
( )<br />
n n<br />
L⎡f x ⎤ p L f x p f 0 p f′ ⎣ ⎦<br />
= ⎡⎣ ⎤− ⎦ ⋅ − ⋅ 0 −... − f 0 . ♦<br />
La transformación <strong>de</strong> <strong>Laplace</strong> es inyectiva. La <strong>de</strong>mostración <strong>de</strong> este hecho escapa a los<br />
objetivos <strong>de</strong> este texto, por lo cual lo usaremos sin <strong>de</strong>mostración. La transformada<br />
inversa, que también es lineal, se <strong>de</strong>nomina <strong>Transformada</strong> Inversa <strong>de</strong> <strong>Laplace</strong> y el<br />
operador<br />
L<br />
- 1<br />
se <strong>de</strong>nomina Operador <strong>de</strong> la <strong>Transformada</strong> Inversa <strong>de</strong> <strong>Laplace</strong>.<br />
La transformada <strong>de</strong> <strong>Laplace</strong> transforma una función f(x) en otra función F(p). Si<br />
asumimos que estamos trabajando con funciones continuas, la inyectividad <strong>de</strong> L permite<br />
“<strong>de</strong>volvernos”, es <strong>de</strong>cir transformar F(p) en la función original f(x). Para po<strong>de</strong>r hacer<br />
esto, el siguiente teorema nos será <strong>de</strong> mucha utilidad, sobre todo a la hora <strong>de</strong> resover<br />
ecuaciones diferenciales.<br />
.<br />
25
Teorema 1. 4. 7: (Fórmula <strong>de</strong> <strong>de</strong>splazamiento)<br />
Si f(x) es una función que admite transformada <strong>de</strong> <strong>Laplace</strong>, y L ⎡f( x) ⎤= F( p)<br />
entonces:<br />
Demostración:<br />
L ax<br />
− ( ) ( )<br />
( ) ( )<br />
⎡<br />
⎣e ⋅ f x ⎤<br />
⎦ = F p−a . (1. 4. 8)<br />
∞ ∞<br />
0 0<br />
−( p−a) x<br />
( ) ( )<br />
ax px ax<br />
L ⎡e ⋅ f x ⎤ = e ⋅ e f x dx= e ⋅ f x dx= F p−a ⎣ ⎦ ,<br />
⎣ ⎦ ∫ ∫ . ♦<br />
Los cuatro teoremas enunciados, permiten aplicar la transformada <strong>de</strong> <strong>Laplace</strong> a la<br />
resolución <strong>de</strong> ecuaciones diferenciales con valores iniciales.<br />
Supongamos que queremos resolver la ecuación diferencial ordinaria:<br />
a y′<br />
′ + by′<br />
+ cy = f (x)<br />
con valores iniciales: y ( 0) = y0<br />
, y′<br />
( 0)<br />
= y0′<br />
.<br />
El método funciona <strong>de</strong> la siguiente manera:<br />
1. Aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados <strong>de</strong> la ecuación diferencial y<br />
usamos la linealidad <strong>de</strong> la transformada.<br />
2. Utilizamos las fórmulas (1. 4. 2) y (1. 4. 4), <strong>de</strong> manera que que<strong>de</strong> una sola<br />
incógnita: L [ y]<br />
3. Despejamos L [ y]<br />
, usando álgebra.<br />
4. Aplicamos la transformada inversa para obtener y(x).<br />
26
Este método es el que mostramos en el esquema <strong>de</strong> la introducción.<br />
Ecuación Diferencial Ordinaria<br />
con valores iniciales<br />
difícil<br />
Solución a la Ecuación<br />
Diferencial Ordinaria<br />
<strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong><br />
Antes <strong>de</strong> pasar a los ejemplos, son necesarias algunas observaciones acerca <strong>de</strong>l método.<br />
1. Aún cuando el método está presentado para una ecuación diferencial <strong>de</strong> segundo<br />
or<strong>de</strong>n, la fórmula (1. 4. 6) permite exten<strong>de</strong>r el método a ecuaciones <strong>de</strong> or<strong>de</strong>n n.<br />
2. Lo que hace este método atractivo, es que si la función f(x) no es muy simple,<br />
resolver la ecuación con métodos tradicionales pue<strong>de</strong> ser muy complicada. Al<br />
aplicar la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> (paso 1.), <strong>de</strong>bemos calcular [ f ( x)<br />
]<br />
L , lo cual<br />
podría ser difícil. Sin embargo, existen tablas <strong>de</strong> <strong>Transformada</strong>s <strong>de</strong> <strong>Laplace</strong> para<br />
una amplia gama <strong>de</strong> funciones (ver Anexo A), por lo que en muchos casos será<br />
preferible este método al método tradicional.<br />
<strong>Transformada</strong> Inversa<br />
3. Las fórmulas (1. 4. 2), (1. 4. 4) y (1. 4. 6) (paso 2.), ya incluyen las condiciones<br />
iniciales, por lo que este método entregará la solución a la ecuación diferencial<br />
con los valores iniciales incluidos. No es necesario, como en el método<br />
tradicional, tener que calcular la solución general y luego una solución particular.<br />
Esto también es un punto a favor <strong>de</strong> este método.<br />
Problema<br />
Algebraico<br />
Muy fácil<br />
Solución al<br />
Problema<br />
Algebraico<br />
27
4. Aplicar la <strong>Transformada</strong> Inversa (paso 4.) pue<strong>de</strong> ser engorroso y muchas veces se<br />
requiere <strong>de</strong> métodos tediosos como el método <strong>de</strong> fracciones parciales. Esto se<br />
verá en los ejemplos que presentaremos. Aunque esto podría ser una <strong>de</strong>sventaja<br />
para este método, creemos que las ventajas son mayores. A<strong>de</strong>más fórmulas como<br />
la fórmula (1. 4. 8) y otras que veremos a continuación, amplían mucho las<br />
posibilida<strong>de</strong>s <strong>de</strong> aplicar la <strong>Transformada</strong> Inversa.<br />
Ejemplo 1. 4. 9: Resolver la ecuación diferencial con valores iniciales:<br />
Solución:<br />
− x<br />
y′′ 2y′ 5y 3e sinx<br />
+ + = , con valores iniciales: y( ) y′ ( )<br />
0 = 0, 0 = 3.<br />
Aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados <strong>de</strong> la ecuación<br />
− x<br />
y′′ + 2y′ + 5y = 3e sinx,<br />
y queda:<br />
[ ] [ ] [ ]<br />
− x<br />
L y′′ + 2L y′ + 5L y = 3L⎡<br />
⎣e senx⎤<br />
⎦ .<br />
Ahora aplicamos las fórmulas (1. 4. 2) y (1. 4. 4) en las expresiones <strong>de</strong> la izquierda, y<br />
la fórmula (1. 4. 8) en la expresión <strong>de</strong> la <strong>de</strong>recha, <strong>de</strong> manera <strong>de</strong> obtener:<br />
( ) [ ]<br />
p<br />
2<br />
⋅L y − p⋅y 0 − y 0 + 2 p⋅L y − y 0 + 5L<br />
y =<br />
[ ] ( ) ′ ( ) [ ] ( )<br />
Usamos los valores iniciales y simplificamos:<br />
[ ] [ ] [ ]<br />
( ) 2<br />
3<br />
p<br />
2<br />
⋅L y − 3+ 2pL y + 5L<br />
y =<br />
p + 1 + 1<br />
.<br />
Si <strong>de</strong>spejamos L [ y]<br />
y simplificamos, llegamos a:<br />
L<br />
[ y]<br />
=<br />
2<br />
3( p + 2p+ 3)<br />
2 2<br />
( p + 2p+ 5)( p + 2p+ 2)<br />
.<br />
3<br />
+ 1 + 1<br />
.<br />
( ) 2<br />
p<br />
28
Para po<strong>de</strong>r aplicar la transformada Inversa, necesitamos escribir esta última<br />
expresión <strong>de</strong> manera <strong>de</strong> po<strong>de</strong>r reconocer transformadas básicas. Para eso usamos<br />
fracciones parciales:<br />
L<br />
[ y]<br />
Lo cual implica que:<br />
3( 2<br />
2 3)<br />
2 2<br />
( p + 2p+ 5)( p + 2p+ 2)<br />
p + p+ Ap + B Cp + D<br />
= = +<br />
2 2<br />
p + 2p+ 5 p + 2p+ 2<br />
2 2 2<br />
( ) ( )( ) ( )( )<br />
3 p + 2p+ 3 = Ap+ B p + 2p+ 2 + Cp+ D p + 2p+ 5 ∀ p.<br />
Dándole valores a p, obtenemos un sistema <strong>de</strong> ecuaciones:<br />
Es <strong>de</strong>cir: L[ y]<br />
si p = 0 : 9= 2B+ 5D<br />
si p = 1 :<br />
si p =− 1:<br />
18= 5A + 5B+ 6 =− A + B −<br />
8C+ 8D<br />
⇒ A= C = 0; B= 2; D=<br />
1<br />
4C + 4D<br />
si p =− 2: 9=− 4A + 2B − 10C+ 5D<br />
2 1 2 1<br />
= + = +<br />
2 2 2 2<br />
2<br />
p + 2p+ 5 p + 2p+ 2 p+ 1 + 2 p+<br />
1 + 1<br />
.<br />
( ) ( )<br />
a<br />
p + a<br />
Usamos la fórmula (1. 4. 8) y el hecho que: L[<br />
sin ax]<br />
= 2 2<br />
solución a la ecuación diferencial:<br />
( ) sin 2 sin ( sin 2 sin )<br />
y x e x e x x x e<br />
−x−x −x<br />
= + = + .<br />
para encontrar la<br />
Aparte <strong>de</strong> la fórmula <strong>de</strong> <strong>de</strong>splazamiento (fórmula (1. 4. 8)), existen otras fórmulas que<br />
permiten calcular la transformada Inversa. Mostraremos dos, antes <strong>de</strong> seguir con los<br />
ejemplos.<br />
29
Teorema 1. 4. 10: (Integral para la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong>)<br />
Si f(x) es una función que admite transformada <strong>de</strong> <strong>Laplace</strong>, y [ f ( x)<br />
] = F(<br />
p)<br />
Demostración:<br />
Sea ( ) ( )<br />
x<br />
y x = ∫ f s ds.<br />
0<br />
⎣0⎦ ( )<br />
x<br />
⎡ ⎤ F p<br />
L ⎢∫ f ( s) ds⎥<br />
=<br />
(1. 4. 11)<br />
p<br />
L , entonces:<br />
Esta función cumple que: y′ ( x) = f ( x)<br />
y a<strong>de</strong>más tiene la condición inicial: y(0) = 0.<br />
Por el Teorema 1. 4. 1, sabemos que: L[ y ] pL[ y] y(<br />
0)<br />
′ = − .<br />
Reemplazamos los datos anteriores en esta fórmula y queda:<br />
x<br />
⎡ ⎤<br />
L⎡⎣f ( x) ⎤ ⎦ = p⋅L⎢f ( s) ds⎥−0.<br />
∫<br />
⎣ 0 ⎦<br />
Dividimos por p para obtener finalmente la expresión buscada:<br />
⎣0⎦ ( ) ( )<br />
x<br />
⎡ ⎤ L ⎡f x ⎤ F p<br />
L f ( s) ds<br />
⎣ ⎦<br />
⎢∫ ⎥ = = . ♦<br />
p p<br />
Teorema 1. 4. 12: (Segunda Fórmula <strong>de</strong> Desplazamiento)<br />
Si f(x) es una función que admite <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong>, y L ⎡f( x) ⎤ = F( p)<br />
a<strong>de</strong>más g( x)<br />
( )<br />
0<br />
⎧fx−a si x≥a = ⎨<br />
, entonces:<br />
⎩<br />
x < a<br />
−ap<br />
( ) ( )<br />
L ⎡⎣gx ⎤ ⎦ = e F p (1. 4. 13)<br />
⎣ ⎦ , y si<br />
30
Demostración:<br />
∞ ∞<br />
−px −px<br />
( ) ( ) ( )<br />
L ⎡g x ⎤= e g x dx= e f x−a dx<br />
⎣ ⎦ ∫ ∫ .<br />
0<br />
Hacemos el cambio <strong>de</strong> variable u = x – a y queda:<br />
( )<br />
a<br />
∞ ∞<br />
− pu ( + a) −pa −pu −pa<br />
( ) ( ) ( )<br />
L ⎡gx ⎤ = e f u du = e e f u du = e F p<br />
⎣ ⎦ ∫ ∫ . ♦<br />
o o<br />
Nota: Este teorema es una generalización <strong>de</strong>l ejemplo 1. 3. 7 <strong>de</strong> la sección anterior.<br />
Ejemplo 1. 4. 14: Calcular<br />
Solución:<br />
-1<br />
L<br />
⎡ 1 ⎤<br />
⎢ ⎥ .<br />
⎢⎣ p( p+<br />
1)<br />
⎥⎦<br />
Resolveremos este ejercicio <strong>de</strong> dos maneras.<br />
1ª Forma:<br />
Al igual que en el ejemplo anterior, po<strong>de</strong>mos usar fracciones parciales y llegamos<br />
a que:<br />
Por lo tanto:<br />
2ª Forma:<br />
1 1 1<br />
= −<br />
p p+ 1 p p+<br />
1<br />
.<br />
( )<br />
-1 ⎡ 1 ⎤ -1 ⎡1 1 ⎤ -1 ⎡1⎤ -1 ⎡ 1 ⎤<br />
L ⎢ ⎥ = L − = L − L = 1−e<br />
p( p+ 1<br />
⎢<br />
) p p+ 1<br />
⎥ ⎢<br />
p<br />
⎥ ⎢<br />
p+<br />
1<br />
⎥<br />
⎢⎣ ⎥⎦ ⎣ ⎦ ⎣ ⎦ ⎣ ⎦<br />
( )<br />
Fijémonos que:<br />
-1 ⎡ 1 ⎤ -1 ⎡ F p ⎤<br />
L ⎢ ⎥ = L ⎢ ⎥<br />
⎢⎣p( p+ 1)<br />
⎥⎦ ⎣ p ⎦<br />
La fórmula (1. 4. 11), dice que:<br />
-1<br />
L<br />
( )<br />
⎡F p ⎤<br />
⎢ ⎥ =<br />
⎣ p ⎦<br />
, con F( p)<br />
x<br />
∫<br />
0<br />
( )<br />
f s ds.<br />
1<br />
=<br />
p + 1<br />
.<br />
− x<br />
31
En nuestro caso, como F( p)<br />
-1<br />
L<br />
1<br />
=<br />
p 1<br />
+ , entonces: ( ) −x<br />
f x e<br />
x<br />
⎡ 1 ⎤ x<br />
⎢ ⎥=<br />
e ds=− e = 1−e<br />
p 0<br />
( p+<br />
1)<br />
∫<br />
⎢⎣ ⎥⎦<br />
0<br />
−s −s −x<br />
Ejemplo 1. 4. 15: Resolver la ecuación: ( )<br />
Solución:<br />
0<br />
.<br />
= , por lo tanto:<br />
x<br />
x<br />
y 4y 5 y s ds e −<br />
′ + + ∫ = , con: y ( 0 ) = 0 .<br />
Hay dos maneras <strong>de</strong> enfrentar este problema, que <strong>de</strong>sarrollaremos en paralelo para<br />
evi<strong>de</strong>nciar las ventajas o <strong>de</strong>sventajas <strong>de</strong> cada uno:<br />
1ª Forma:<br />
Derivaremos a ambos lados, para<br />
transformar la ecuación en una ecuación<br />
diferencial <strong>de</strong> segundo or<strong>de</strong>n. Sin embargo,<br />
necesitamos otro valor inicial, que<br />
calcularemos primero:<br />
1. Evaluamos en x = 0:<br />
( 0) 4 ( 0) 5 ( )<br />
y y y s ds e −<br />
′ + + =<br />
Usamos el valor inicial dado y<br />
llegamos a: ′ ( 0 ) = 1<br />
0<br />
∫<br />
0<br />
y .<br />
0<br />
2ª Forma:<br />
1. Aplicamos directamente la<br />
32<br />
transformada <strong>de</strong> <strong>Laplace</strong> a ambos<br />
lados:<br />
x<br />
x<br />
L[ y ] 4L[ y] 5L<br />
ydx L e −<br />
⎡ ⎤<br />
′ + + ⎢ ⎥= ⎡<br />
⎣<br />
⎤<br />
⎦<br />
∫<br />
⎣0⎦ 2. Usamos las fórmulas (1. 4. 2),<br />
(1. 4. 4) y (1. 4. 11), para<br />
simplificar la expresión anterior y<br />
obtenemos:<br />
[ y]<br />
1<br />
L<br />
pL[ y] + 4L[ y]<br />
+ 5 =<br />
p p+<br />
1<br />
.
2. Derivamos la ecuación con respecto<br />
a x y obtenemos la siguiente<br />
ecuación diferencial:<br />
y 4y 5y<br />
e −<br />
′′ + ′ + =−<br />
con valores iniciales:<br />
y ( 0 ) = 0 e y ′ ( 0 ) = 1<br />
3. Aplicamos la transformada <strong>de</strong><br />
<strong>Laplace</strong>, tal como hicimos en el<br />
ejemplo 1:<br />
[ ] 4 [ ] 5 [ ]<br />
x<br />
L y L y L y L e −<br />
′′ + ′ + =− ⎡<br />
⎣<br />
⎤<br />
⎦ ,<br />
usamos las fórmulas (1. 4. 2) y<br />
(1. 4. 4):<br />
1<br />
p<br />
2<br />
L[ y] − 1+ 4pL[ y] + 5L[<br />
y]<br />
=− ,<br />
p + 1<br />
y <strong>de</strong>spejamos L [ y]<br />
:<br />
L<br />
[ y]<br />
=<br />
p<br />
2 ( p + 4p+ 5)( p+<br />
1)<br />
x<br />
33<br />
3. Multiplicamos por p y <strong>de</strong>spejamos<br />
L [ y]<br />
, <strong>de</strong> manera que:<br />
L<br />
[ y]<br />
<br />
Por ambos métodos se llega a lo mismo, pero<br />
es evi<strong>de</strong>nte cuán po<strong>de</strong>rosa es la transformada<br />
<strong>de</strong> <strong>Laplace</strong> con fórmulas como (1. 4. 11).<br />
El resto <strong>de</strong>l ejercicio es similar al ejemplo 1. 4. 9.<br />
=<br />
p<br />
2 ( p + 4p+ 5)( p+<br />
1)<br />
Para po<strong>de</strong>r aplicar la transformada Inversa, necesitamos escribir la última expresión<br />
obtenida, <strong>de</strong>jando transformadas básicas. Para eso se usan fracciones parciales:<br />
L<br />
[ y]<br />
p Ap + B C<br />
= = +<br />
p p p<br />
( p + 4p+ 5)( p+<br />
1)<br />
2 2<br />
+ 4 + 5 + 1<br />
.
Lo cual implica que:<br />
2<br />
( )( 1) ( 4 5)<br />
p = Ap + B p + + C p + p + ∀ p .<br />
Dándole valores a p, obtenemos los siguientes resultados:<br />
Es <strong>de</strong>cir:<br />
si p =−1: − 1= 2C<br />
⇒ C =−<br />
si p = 0 : 0=<br />
B − ⇒ B =<br />
si p = 1 : 1= 2A+ 5−5 ⇒ A =<br />
L<br />
[ y]<br />
1 5<br />
1<br />
2 p + 2 − 2<br />
= +<br />
2<br />
p + 4p+ 5 p+<br />
1<br />
1<br />
2<br />
5 5<br />
2 2<br />
1<br />
2<br />
( p + 2) + 3<br />
2<br />
( p + 2) + 1 p +<br />
( p + 2)<br />
( p )<br />
3<br />
( p )<br />
1 1 1<br />
= −<br />
2 2 1<br />
1⎡ 1 ⎤ 1 1<br />
= ⎢ + ⎥−<br />
⎢⎣ + 2 + 1 + 2 + 1⎥⎦<br />
p +<br />
2 2<br />
2 2 1<br />
Aplicamos la <strong>Transformada</strong> Inversa, usando la fórmula (1. 4. 8) para encontrar la<br />
solución a la ecuación diferencial:<br />
2 2<br />
( ) ⎡ cos 3 sin ⎤<br />
( cos 3sin )<br />
1 − x − x 1 −x 1 −x 1 −x<br />
y x = 2⎣e x+ e x⎦ − 2e = 2e x+ x − 2e<br />
.<br />
34
1.5 Más aplicaciones a las ecuaciones diferenciales:<br />
Derivadas e integrales <strong>de</strong> la <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong><br />
En la sección anterior, vimos cómo funciona la transformada <strong>de</strong> <strong>Laplace</strong> en la resolución<br />
<strong>de</strong> ecuaciones diferenciales. En particular, resolvimos ecuaciones <strong>de</strong>l tipo<br />
a y′<br />
′ + by′<br />
+ cy = f (x)<br />
, en don<strong>de</strong> los coeficientes a, b y c eran constantes. Sin embargo, si<br />
estos coeficientes son polinomios en vez <strong>de</strong> constantes, también es posible aplicar la<br />
transformada <strong>de</strong> <strong>Laplace</strong>. La complicación está en que si aplicamos la transformada <strong>de</strong><br />
<strong>Laplace</strong> en estos casos, inevitablemente llegaremos a expresiones, por ejemplo, <strong>de</strong>l tipo<br />
⎡<br />
⎣<br />
⎤<br />
⎦<br />
2<br />
L x y<br />
o [ ] y x ′<br />
L .<br />
En esta sección veremos justamente fórmulas que serán <strong>de</strong> gran utilidad para enfrentar<br />
casos como esos.<br />
Teorema 1. 5. 1:<br />
Si f(x) es una función que admite transformada <strong>de</strong> <strong>Laplace</strong>, y L ⎡f( x) ⎤= F( p)<br />
entonces:<br />
( ) ′ ( )<br />
L ⎡⎣xf x ⎤ ⎦ =−F<br />
p<br />
(1. 5. 2)<br />
( ) ′′ ( )<br />
⎡<br />
⎣<br />
⎤<br />
⎦ =<br />
(1. 5. 3)<br />
2<br />
L x f x F p<br />
n<br />
y en general: L ( ) ( 1)<br />
( ) ( )<br />
n n<br />
⎡<br />
⎣xf x ⎤<br />
⎦ = − ⋅F<br />
p (1. 5. 4)<br />
⎣ ⎦ ,<br />
35
Demostración:<br />
Por <strong>de</strong>finición: ( )<br />
∞<br />
− px<br />
F p = ∫ e f( x) dx.<br />
0<br />
Si <strong>de</strong>rivamos a ambos lados con respecto a p, obtenemos:<br />
es <strong>de</strong>cir: L ⎡xf ( x) ⎤=−F′<br />
( p)<br />
∞<br />
− px ( ) ( )<br />
∫<br />
F′ p = e ⋅ −x ⋅ f( x) dx,<br />
⎣ ⎦ .<br />
0<br />
Derivando otra vez se obtiene (1. 5. 3) e inductivamente la fórmula general (1. 5. 4). ♦<br />
Teorema 1. 5. 5:<br />
Si f(x) es una función que admite transformada <strong>de</strong> <strong>Laplace</strong>, y L ⎡f( x) ⎤ = F( p)<br />
entonces: L ⎡x⋅ f′ ( x) ⎤=− ( p⋅F( p)<br />
)<br />
y en general:<br />
Demostración:<br />
⎣ ⎦ ,<br />
d<br />
⎣ ⎦ (1. 5. 6)<br />
dp<br />
d 2<br />
L ⎡⎣x⋅ f′′ ( x) ⎤ ⎦ =− ( p F( p) − p⋅ f ( 0)<br />
)<br />
(1. 5. 7)<br />
dp<br />
d<br />
L ⎡x f x ⎤<br />
⎛ ⎞<br />
⎣<br />
⋅<br />
⎦<br />
=− p F p − p f<br />
n−1<br />
( n) n k n k<br />
( ) ( )<br />
dp<br />
⎜ ⎟<br />
⎝ k = 1<br />
⎠<br />
Sabemos, por el teorema anterior, que: [ xf ( x)<br />
] = −F<br />
′ ( p)<br />
( −− 1 )<br />
∑ ( 0)<br />
(1. 5. 8)<br />
L (fórmula (1. 5. 2)).<br />
Por otra parte, por el teorema 1. 4. 1 sabemos que: L⎡f′ ( x) ⎤= pL⎡f ( x) ⎤− f ( 0)<br />
(fórmula (1. 4. 2)).<br />
⎣ ⎦ ⎣ ⎦<br />
Usando la primera <strong>de</strong> estas fórmulas (fórmula (1. 5. 2)), obtenemos:<br />
d<br />
L⎡⎣x⋅ f′ ( x) ⎤ ⎦ =− L⎡f′<br />
( x)<br />
⎤<br />
dp<br />
⎣ ⎦<br />
( )<br />
36
Ahora usamos la segunda fórmula (fórmula (1. 4. 2)) y simplificamos:<br />
( ) ( ( ) )<br />
d d<br />
L⎡⎣x⋅ f′ ( x) ⎤ ⎦ =− p⋅L⎡f ( x) ⎤− f ( 0)<br />
=− p⋅L⎡f x ⎤<br />
dp<br />
⎣ ⎦<br />
dp<br />
⎣ ⎦ .<br />
Los otros dos resultados se <strong>de</strong>muestran análogamente. La única diferencia es que para<br />
<strong>de</strong>mostrar la segunda expresión se <strong>de</strong>be usar la fórmula (1. 4. 4), en vez <strong>de</strong> la fórmula<br />
(1. 4. 2), y para el resultado general, la fórmula (1. 4. 6). ♦<br />
Ejemplo 1. 5. 9: Probar que: L[<br />
xcos ax]<br />
Solución:<br />
=<br />
p − a<br />
2 2<br />
2 2 ( p + a )<br />
Aplicamos la fórmula (1. 5. 2) ( L ⎡xf ( x) ⎤ =−F′<br />
( p)<br />
Ejemplo 1. 5. 10: Hallar:<br />
Solución:<br />
Observemos que:<br />
⎣ ⎦ ):<br />
d d ⎛ p ⎞ p − a<br />
L[ xcos ax] =− L[<br />
cos ax]<br />
=− ⎜ 2 2 ⎟=<br />
dp dp ⎝ p + a ⎠ p + a<br />
L<br />
⎡ ⎤<br />
⎢<br />
1<br />
⎥ .<br />
−1<br />
2 ⎢ ⎥<br />
2 2 ( p + a )<br />
⎣ ⎦<br />
p − a 1 2a<br />
= −<br />
2 2 2<br />
2 2<br />
2 2<br />
2 2<br />
( p + a ) p + a ( p + a )<br />
2 2<br />
.<br />
2<br />
.<br />
2 2 2<br />
2 2 ( )<br />
Si aplicamos la transformada inversa a ambos lados <strong>de</strong> esta expresión, y usamos el<br />
resultado <strong>de</strong>l ejemplo anterior, obtenemos:<br />
( ) ⎥ ⎥<br />
⎡ ⎤<br />
1<br />
2 − 1<br />
xcos ax = sin ax − 2a<br />
L<br />
1<br />
⎢ .<br />
a<br />
2 2 2<br />
⎢⎣<br />
p + a ⎦<br />
2<br />
.<br />
37
Despejamos<br />
L<br />
⎡ ⎤<br />
⎢<br />
1<br />
⎥,<br />
para llegar a:<br />
−1<br />
2 ⎢ ⎥<br />
2 2 ( p + a )<br />
⎣ ⎦<br />
⎡ ⎤<br />
− 1 1 ⎡sin<br />
ax ⎤<br />
L<br />
1⎢<br />
⎥ = ⎢ − x cos ax<br />
⎢<br />
⎥ .<br />
2 2 2 ( ) ⎥ 2<br />
⎣<br />
⎦<br />
⎣ p + a 2a<br />
a<br />
⎦<br />
Ejemplo 1. 5. 11: Resolver la siguiente ecuación diferencial con valores iniciales:<br />
Solución:<br />
+ ( 3 −1) − ( 4 + 9) = 0,<br />
con: ( 0 ) = 0<br />
xy′′ x y′ x y<br />
y .<br />
Aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados <strong>de</strong> la ecuación:<br />
[ xy′′ ] [ xy′ ] [ y′ ] [ xy] [ y]<br />
L + 3L −L −4L − 9L = 0.<br />
Ahora usamos las fórmulas (1. 5. 8), (1. 5. 6), (1. 4. 2) y (1. 5. 2) en las cuatro<br />
primeras transformadas respectivamente, a<strong>de</strong>más <strong>de</strong> la condición inicial, <strong>de</strong> manera<br />
<strong>de</strong> obtener:<br />
( p<br />
2<br />
L[ y] ) ( p L[ y] ) pL[ y] L[ y] L[<br />
y]<br />
d d d<br />
− ⋅ + 3⋅− ⋅ − + 4 − 9 = 0.<br />
dp dp dp<br />
Calculamos las <strong>de</strong>rivadas <strong>de</strong> los productos. Para simplificar, haremos L[ y] = Y .<br />
Separamos variables:<br />
2<br />
2 dY dY dY<br />
− pY −p −3Y−3p − pY + 4 − 9Y= 0<br />
dp dp dp<br />
2 dY<br />
( p p- ) ( )<br />
⇒ + 3 4 + 2p+ 3+ p+ 9 Y = 0.<br />
dp<br />
1 3p+ 12<br />
dY =− dp<br />
Y p<br />
2<br />
+ 3p-4 1 3<br />
⇒ dY =− dp .<br />
Y p-1<br />
38
Integramos a ambos lados:<br />
( )<br />
lnY =−3ln p− 1 + ln c ,<br />
lo cual implica finalmente que:<br />
L<br />
[ y]<br />
=<br />
c<br />
( ) 3<br />
p −1<br />
.<br />
2 2<br />
Usamos la fórmula <strong>de</strong> <strong>de</strong>splazamiento (1. 4. 8) y el hecho que: L ⎡<br />
⎣x⎤ ⎦ = para 3<br />
p<br />
c x<br />
y x = x e .<br />
2<br />
encontrar la solución a la ecuación diferencial: ( ) 2<br />
Ejemplo 1. 5. 12.: Resolver la ecuación diferencial con valores iniciales:<br />
Solución:<br />
( 2 3) ( 3) 3 x<br />
+ + + + = , con: ( 0 ) = 0<br />
xy x y x y e −<br />
′′ ′<br />
y .<br />
Aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados <strong>de</strong> la ecuación:<br />
[ ] [ ] +3 [ ] [ ] [ ]<br />
x<br />
L xy 2L xy L y L xy 3L y 3L<br />
e −<br />
′′ + ′ ′ + + = ⎡<br />
⎣<br />
⎤<br />
⎦ .<br />
Usamos las fórmulas y la condición inicial, <strong>de</strong> manera <strong>de</strong> obtener:<br />
2 ( ) ( )<br />
d dY 3<br />
− pY − 2 pY+ 3pY− + 3Y=<br />
L y = .<br />
dp dp p 1<br />
Calculamos las <strong>de</strong>rivadas <strong>de</strong> los productos:<br />
3<br />
2<br />
2 dY dY dY<br />
− pY − p −2Y− 2p+ 3pY − + 3Y<br />
=<br />
dp dp dp p + 1<br />
2 dY<br />
3<br />
⇒ ( p+ 1)<br />
− ( p + 1)<br />
Y =−<br />
dp<br />
p + 1<br />
dY 1 3<br />
⇒ − Y =− 3<br />
dp p + 1 p +<br />
1<br />
( )<br />
+ , don<strong>de</strong> [ ] Y<br />
39
Esta es una ecuación diferencial lineal, cuya solución es:<br />
Sabemos que F( p)<br />
1<br />
Y = + c p+<br />
( p + 1)<br />
2<br />
( 1)<br />
.<br />
lim = 0 , y para eso es indispensable que c = 0. Por lo tanto:<br />
p→∞<br />
Y =<br />
1<br />
( ) 2<br />
p + 1<br />
x<br />
Y <strong>de</strong> esto se <strong>de</strong>duce finalmente que: y( x) xe −<br />
= .<br />
.<br />
Aunque la transformada <strong>de</strong> <strong>Laplace</strong> es una muy buena herramienta para resolver<br />
ecuaciones diferenciales, hay que señalar que el método mostrado anteriormente no<br />
siempre es útil.<br />
Por ejemplo, si la ecuación diferencial es:<br />
′′ + = 0 , con: y( 0)<br />
y0<br />
2<br />
y x y<br />
aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados, obtendremos:<br />
− − ′ + ′′ = , o, equivalentemente:<br />
2<br />
pY py0 y0 y 0<br />
2<br />
y p Y py0 y0<br />
′ = ′ , y<br />
= , y ( 0)<br />
y0<br />
40<br />
′′ + =− − ′ , que es, en esencia, la<br />
misma ecuación diferencial <strong>de</strong> la que partimos. El método no sirve en este caso.<br />
Los teoremas anteriores, así como los ejemplos, tienen que ver con la <strong>de</strong>rivada <strong>de</strong> la<br />
transformada <strong>de</strong> <strong>Laplace</strong> y también con la transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> una <strong>de</strong>rivada. De<br />
la misma manera, analizaremos la transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> una integral y la integral<br />
<strong>de</strong> una transformada <strong>de</strong> <strong>Laplace</strong>.
Teorema 1. 5. 13:<br />
Si f(x) es una función que admite <strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong>, y L ⎡f( x) ⎤= F( p)<br />
entonces:<br />
Demostración:<br />
( )<br />
⎡ f x ⎤<br />
Sea L ⎢ ⎥ = G( p)<br />
.<br />
⎣ x ⎦<br />
( )<br />
∞<br />
⎡ f x ⎤<br />
L ⎢ ⎥ = F ( s) ds<br />
x ∫ (1. 5. 14)<br />
⎣ ⎦ p<br />
Si aplicamos la fórmula (1. 5. 2), obtenemos: ( )<br />
p a<br />
y en consecuencia: ( ) − ( ) =− () = ()<br />
G p G a F s ds F s ds<br />
a p<br />
( )<br />
⎣ ⎦ ,<br />
⎡ f x ⎤<br />
G′ p =−L⎢x⋅ ⎥=−L⎡f x ⎤=−F<br />
p<br />
x<br />
⎣ ⎦<br />
⎣ ⎦<br />
∫ ∫ , ∀ a. (*)<br />
Recor<strong>de</strong>mos que el corolario 1. 3. 3 establece que: F( p)<br />
aplicamos límite a (*), obtendremos: G( a)<br />
lim = 0 . Por lo tanto, si<br />
p→∞<br />
( ) ( )<br />
lim = 0 , y esto nos lleva finalmente a la<br />
a→∞<br />
expresión buscada: ( ) ()<br />
Teorema 1. 5. 15:<br />
G p<br />
∞<br />
= ∫ F s ds.<br />
♦<br />
Si f(x) es una función que admite transformada <strong>de</strong> <strong>Laplace</strong>, y L ⎡f( x) ⎤ = F( p)<br />
a<strong>de</strong>más<br />
0<br />
( )<br />
Demostración:<br />
Sabemos que<br />
∞<br />
f x<br />
∫ dx existe, entonces:<br />
x<br />
( )<br />
p<br />
( )<br />
f x<br />
dx = F ( p) dp<br />
x<br />
∞ ∞<br />
0 0<br />
⎣ ⎦ , y si<br />
∫ ∫ (1. 5. 16)<br />
( ) ( )<br />
∞<br />
∞<br />
⎡ f x ⎤ ⎡ f x ⎤ − px f x<br />
L ⎢ ⎥ = F ( s) ds<br />
⎣ x ∫ y que, por <strong>de</strong>finición: L ⎢ ⎥ = e dx<br />
⎦<br />
x ∫ .<br />
p<br />
⎣ ⎦ 0 x<br />
Igualando ambas expresiones y haciendo ten<strong>de</strong>r p a 0, se <strong>de</strong>muestra el teorema. ♦<br />
41
Ejemplo 1. 5. 17: Calcular la integral:<br />
Solución:<br />
∞ −ax −bx<br />
e − e<br />
∫ dx (a, b > 0).<br />
x<br />
0<br />
Aplicamos directamente la fórmula (1. 5. 16) <strong>de</strong>l teorema anterior para obtener:<br />
∞ ∞<br />
−ax −bx<br />
e − e<br />
−ax −bx<br />
∫ dx= L ⎡e − e ⎤ dp<br />
x ∫ ⎣ ⎦ .<br />
0 0<br />
Usamos ahora la fórmula para la transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> la exponencial e<br />
integramos. (No es necesario usar valor absoluto al integrar, dado que a y b son<br />
positivos por hipótesis.)<br />
∞ ∞<br />
−ax −bx<br />
e − e 1 1 p+ a a b<br />
dx= − dp = ln = ln1− ln = ln<br />
x p+ a p+ b p+ b b a<br />
∫ ∫ .<br />
0 0<br />
0<br />
Ejemplo 1. 5. 18: Calcular la integral:<br />
Solución:<br />
∞ −ax<br />
e sin bx<br />
∫ dx (a, b > 0).<br />
x<br />
0<br />
Aplicamos directamente la fórmula (1. 5. 16) <strong>de</strong>l teorema anterior para obtener:<br />
∞ ∞<br />
0<br />
−ax<br />
e sin bx −ax<br />
dx= L ⎡e sin bx⎤ dp<br />
x ⎣ ⎦<br />
∫ ∫ .<br />
0<br />
Usamos ahora la fórmula para la transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> “sin x” <strong>de</strong>splazada (ver<br />
fórmula (1. 5. 16)) e integramos:<br />
∞ ∞<br />
−ax<br />
e sin bx b ⎛ p+ a⎞ π a b<br />
dx= dp = arctan ⎜ ⎟ = − arctan = arctan<br />
x ⎝ b ⎠ 2 b a<br />
∫ ∫ .<br />
( ) 2 2<br />
p+ a + b<br />
0 0<br />
0<br />
(En la última igualdad usamos la i<strong>de</strong>ntidad trigonométrica:<br />
∞<br />
∞<br />
1 π<br />
arctan x + arctan = .)<br />
x 2<br />
42
Ejemplo 1. 5. 19: Demostrar que: ( )<br />
Solución:<br />
∞<br />
sin xt π<br />
f x = ∫ dt = (x > 0).<br />
t 2<br />
Usamos nuevamente la fórmula (1. 5. 16): ∫ = ∫ L[<br />
sin ] .<br />
0<br />
∞ ∞<br />
0<br />
sin xt<br />
dt xt dp<br />
t<br />
Usamos ahora la fórmula para la transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> “sin t” (nótese que la<br />
variable es t, no x) e integramos:<br />
∞ ∞<br />
sin xt x ⎛ p ⎞ π<br />
dx= dp = arctan ⎜ ⎟ =<br />
t p + x ⎝ x ⎠ 2<br />
∫ ∫ .<br />
2 2<br />
0 0<br />
0<br />
Ejemplo 1. 5. 20: Demostrar que: ( ) 2<br />
Solución:<br />
∞<br />
Sea: ( ) = 2<br />
0<br />
∞<br />
cos xt π −x<br />
f x = ∫ dt = e (x > 0).<br />
1+<br />
t 2<br />
cos xt<br />
f x ∫ dt.<br />
Esta función cumple varias propieda<strong>de</strong>s:<br />
1+<br />
t<br />
∞<br />
sen xt π<br />
f′ ( x) = ∫ dt−<br />
, f ( x) f ( x)<br />
t t 2<br />
0<br />
En efecto:<br />
2 ( 1+<br />
)<br />
∞<br />
tsenxt<br />
f′ ( x) =−∫<br />
dt 2<br />
1+<br />
t<br />
=−<br />
0<br />
∞<br />
∫<br />
0<br />
∞<br />
2<br />
t senxt<br />
dt<br />
2<br />
1+<br />
t t<br />
0<br />
′′ = y a<strong>de</strong>más f ( 0)<br />
= y f ( 0)<br />
⎛ 1 ⎞sen<br />
xt<br />
=−∫⎜1− dt<br />
2 ⎟<br />
0 ⎝ 1+<br />
t ⎠ t<br />
∞ ∞ ∞<br />
sen xt sen xt sen xt π<br />
=− ∫ dt + dt dt<br />
t ∫ = ∫<br />
−<br />
t t t t 2<br />
2 2<br />
( 1+ ) ( 1+<br />
)<br />
0 0 0<br />
0<br />
π<br />
2<br />
∞<br />
π<br />
′ =− .<br />
2<br />
43
f ′′ ( x) = f ( x)<br />
, f ( 0)<br />
π<br />
2<br />
= y f ( 0)<br />
π<br />
′ = − se <strong>de</strong>muestran fácilmente.<br />
2<br />
Con todo lo anterior vemos que f(x) cumple la ecuación diferencial con valores<br />
iniciales:<br />
y′′ − y=<br />
0 , con y ( 0)<br />
π<br />
2<br />
= , y ( 0)<br />
Pero la solución (única) a esta ecuación es:<br />
∞<br />
cos xt π − x<br />
f ( x) = ∫ dt = e .<br />
2<br />
1+<br />
t 2<br />
0<br />
π<br />
′ = − .<br />
2<br />
Las funciones <strong>de</strong> Bessel son muy importantes en el<br />
estudio <strong>de</strong> vibración <strong>de</strong> membranas circulares, por<br />
ejemplo parlantes o tambores, o en la conducción <strong>de</strong><br />
calor en un objeto cilíndrico.<br />
Sin embargo, y al igual que en el caso <strong>de</strong> la<br />
transformada <strong>de</strong> <strong>Laplace</strong>, fue Euler quien primero<br />
π −<br />
x<br />
y = e , por lo tanto:<br />
2<br />
<strong>de</strong>finió estas funciones y aparecen también en la obra <strong>de</strong> Lagrange, <strong>de</strong> don<strong>de</strong><br />
aparentemente Bessel sacó la i<strong>de</strong>a para utilizarlas en su trabajo.<br />
Fig. 1.8: Sello postal con la<br />
imagen <strong>de</strong> F. W. Bessel<br />
Bessel usó estas funciones en el estudio <strong>de</strong> un problema <strong>de</strong>bido a Kepler, <strong>de</strong> <strong>de</strong>terminar<br />
el movimiento <strong>de</strong> tres cuerpos cuyas fuerzas gravitatorias se influyen mutuamente. Las<br />
funciones <strong>de</strong> Bessel aparecen, en este contexto, como coeficientes <strong>de</strong> una expansión en<br />
44
serie. Bessel estudió estas funciones más en profundidad y publicó un tratado completo<br />
acerca <strong>de</strong> ellas en Berlin en 1824.<br />
Las funciones <strong>de</strong> Bessel forman una familia <strong>de</strong> funciones <strong>de</strong>nominadas J0, J1, J2, ... que<br />
surgen <strong>de</strong>l estudio <strong>de</strong> la ecuación diferencial:<br />
( )<br />
2 2 2<br />
x y′′ + xy′ + x − n y=<br />
0.<br />
En el caso en que n = 0 se obtiene la función <strong>de</strong> Bessel <strong>de</strong> or<strong>de</strong>n 0: J0(x).<br />
Se pue<strong>de</strong> <strong>de</strong>mostrar que J0 es la única solución a la ecuación diferencial con valores<br />
iniciales: xy′′ + y′ + xy = 0 con: y(0) = 1.<br />
A<strong>de</strong>más, aplicando las técnicas vistas en ejemplos anteriores, no es difícil <strong>de</strong>mostrar que:<br />
1<br />
L ⎡⎣J0( x)<br />
⎤ ⎦ =<br />
( ver [7]).<br />
2<br />
p + 1<br />
Los siguientes ejemplos <strong>de</strong>muestran algunas propieda<strong>de</strong>s <strong>de</strong> la función J0(x), asumiendo<br />
conocidas las mencionadas anteriormente.<br />
∞<br />
J x dx<br />
Ejemplo 1. 5. 21: Demostrar que: ( )<br />
Solución:<br />
Fijémonos primero que: ( )<br />
∫<br />
0<br />
0<br />
( )<br />
= 1 .<br />
∞ ∞ ∞<br />
x⋅J0x ∫J0x dx= ∫ dx=<br />
x ∫ 0 ( )<br />
0 0<br />
0<br />
L ⎡⎣ x ⋅J x ⎤⎦dp.<br />
En la última integral po<strong>de</strong>mos usar la fórmula (1. 5. 2) y se obtiene:<br />
∞ ∞ ∞ ∞<br />
d d 1<br />
p<br />
J ( x) dx= − L ⎡J ( x) dp dp dp<br />
dp<br />
⎣ ⎤ ⎦ = − =<br />
.<br />
dp p + 1 p + 1<br />
∫ ∫ ∫ ∫<br />
2 ( )<br />
0 0<br />
2 3<br />
0 0 0 0<br />
Hacemos ahora el cambio <strong>de</strong> variables: u = p 2 + 1 y se llega a:<br />
∞ ∞ 3 1 −<br />
2<br />
0 ( )<br />
2<br />
0 0<br />
∫Jx dx= ∫ u du = 1.<br />
45
1<br />
J0 x = cos xcost dt<br />
π ∫ .<br />
Ejemplo 1. 5. 22: Demostrar que: ( ) ( )<br />
Solución:<br />
1<br />
f x = cos xcost dt<br />
π ∫ .<br />
Sea: ( ) ( )<br />
π<br />
0<br />
Demostraremos que f(x) cumple la misma ecuación diferencial que J0(x) y que, en<br />
consecuencia, <strong>de</strong>ben ser iguales.<br />
En efecto:<br />
1<br />
f x = cos xcost dt<br />
π ∫ , entonces:<br />
Si ( ) ( )<br />
π<br />
0<br />
π<br />
π<br />
1 2<br />
∫ y también: ′′ ( ) =− cos( cos ) cos<br />
π ∫ ⋅<br />
0<br />
0<br />
1<br />
f ′ ( x) =− sin( xcost) ⋅costdt<br />
π<br />
Usamos integración por partes en f ′ ( x)<br />
, para obtener:<br />
Si <strong>de</strong>nominamos ( )<br />
1<br />
f ( x) h( x, t) dt<br />
π<br />
π<br />
1 2<br />
f ′ ( x) =− cos( xcost) ⋅xsintdt<br />
π ∫<br />
.<br />
0<br />
h x, t = cos( xcos t)<br />
, po<strong>de</strong>mos escribir:<br />
π<br />
0<br />
f x x t tdt<br />
π<br />
π<br />
π<br />
1<br />
2<br />
1<br />
2<br />
= ∫ , f ′ ( x) =− h( x, t) ⋅xsin<br />
tdt<br />
π ∫ , ′′ ( ) =− ( , ) cos<br />
π ∫ ⋅<br />
0<br />
0<br />
0<br />
f x h x t tdt.<br />
Ahora po<strong>de</strong>mos comprobar que f(x) cumple xy′′ + y′ + xy = 0 , ya que:<br />
π π π<br />
2 2<br />
1 1 1<br />
xy′′ + y′ + xy=− h( x, t) xcos tdt h( x, t) xsin tdt h( x, t) xdt<br />
π∫ − +<br />
π∫ π∫<br />
0 0 0<br />
y si agrupamos y simplificamos obtenemos:<br />
π π<br />
2 2<br />
1 1<br />
xy′′ + y′ + xy = h( x, t) ⎡ xcos t xsin t x⎤dt 0dt 0<br />
π∫ ⎣<br />
− − +<br />
⎦<br />
= =<br />
π∫<br />
0 0<br />
π π<br />
1 1<br />
f 0 = cos 0 dt 1dt1 π∫ = =<br />
π∫<br />
A<strong>de</strong>más, se cumple la condición inicial: ( ) ( )<br />
0 0<br />
46
Finalizaremos con un teorema que permite calcular la transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong><br />
funciones periódicas:<br />
Teorema 1. 5. 23:<br />
Si f(x) es una función periódica con período a, i. e.: f(x + a) = f(x), que admite<br />
<strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong>, y L ⎡f( x) ⎤= F( p)<br />
Demostración:<br />
⎣ ⎦ , entonces:<br />
a<br />
1 − px<br />
F ( p) = e f ( x) dx<br />
1−<br />
e ∫ . (1. 5. 24)<br />
−ap<br />
0<br />
Primero aplicamos la <strong>de</strong>finición <strong>de</strong> la transformada <strong>de</strong> <strong>Laplace</strong>:<br />
∞ a<br />
∞<br />
−px −px −px<br />
( ) = ( ) = ( ) + ( )<br />
∫ ∫ ∫ .<br />
F p e f x dx e f x dx e f x dx<br />
0 0<br />
En la segunda integral hacemos el cambio <strong>de</strong> variables: x = t + a y queda:<br />
a<br />
− px ( ) ( )<br />
− pt ( + a)<br />
F p = e f x dx + e f t + a dt<br />
∞<br />
0 0<br />
Usamos la periodicidad <strong>de</strong> f(x) :<br />
a<br />
( )<br />
∫ ∫ .<br />
−px −ap −pt<br />
( ) = ( ) + ( )<br />
a<br />
0<br />
a<br />
F p e f x dx e e f t dt<br />
∫<br />
0 0<br />
( ) ( )<br />
−px −ap<br />
= e f x dx+ e F p<br />
∞<br />
∫ ∫<br />
Despejamos F(p), lo cual completa la <strong>de</strong>mostración:<br />
a<br />
−ap<br />
0<br />
.<br />
1 − px<br />
F ( p) = e f ( x) dx<br />
1−<br />
e ∫ . ♦<br />
47
Ejemplo 1. 5. 25: Hallar F(p), si f(x) = 1 en los intervalos <strong>de</strong> 0 a 1, <strong>de</strong> 2 a 3, <strong>de</strong> 4 a 5.<br />
etc. y f(x) = 0 en los restantes intervalos.<br />
Solución:<br />
La función f(x) así <strong>de</strong>finida, es una función periódica con período a = 2. Por lo tanto,<br />
si aplicamos la fórmula (1. 5. 24) obtenemos:<br />
2 1<br />
−px −px<br />
−2p −2p<br />
0 0<br />
1 1<br />
F ( p) = e f ( x) dx= e dx<br />
1−e 1−e<br />
Integrando, se llega al resultado:<br />
( )<br />
F p<br />
1 1<br />
p 1 e − = ⋅<br />
−<br />
∫ ∫ .<br />
p<br />
.<br />
48
Capítulo 2: El Teorema <strong>de</strong> Convolución<br />
2. 1 Convolución<br />
La convolución es un operador matemático que representa, en cierto sentido, la cantidad<br />
en que se superponen dos funciones y tiene diferentes aplicaciones a la estadística, la<br />
óptica (una sombra es una superposición entre la fuente lumínica y el objeto que<br />
proyecta la sombra), la acústica (un eco es la superposición entre el sonido original y los<br />
objetos que lo reflejan), la ingeniería eléctrica, entre otras disciplinas.<br />
Definición 2. 1. 1:<br />
Dadas dos funciones f y g, se <strong>de</strong>fine la convolución <strong>de</strong> f y g, y se anota f∗g, como:<br />
t<br />
( ∗ )( ) = ( ) ( − )<br />
∫<br />
f g t f τ g t τ dτ<br />
0<br />
Ejemplo 2. 1. 2: Hallar la convolución <strong>de</strong> los siguientes pares <strong>de</strong> funciones:<br />
Solución:<br />
a) f(t) = 1, g(t) = sin at<br />
b) f(t) = e at , g(t) = e bt , don<strong>de</strong> a ≠ b<br />
c) f(t) = t, g(t) = e at<br />
d) f(t) = sin at, g(t) = sin bt.<br />
t<br />
a) ( f ∗ g)( t) = 1⋅sin( a( t− τ) ) dτ = cos( a( t− τ)<br />
) = ( 1−cos at)<br />
∫<br />
0<br />
1 1<br />
a a<br />
t<br />
0<br />
.<br />
49
1 1<br />
f ∗ g t = e ⋅ e d = e d = e = e −e<br />
a−b a−b b) ( )( )<br />
c) ( )( )<br />
t t<br />
aτ b( t − τ) bt+ ( a− b) τ bt+ ( a−b) τ<br />
at bt<br />
∫ τ ∫ τ<br />
( ) .<br />
0 0<br />
t<br />
∫<br />
0<br />
at ( −τ<br />
)<br />
f ∗ g t = τ ⋅e<br />
dτ.<br />
Integrando por partes, se llega a:<br />
( )( )<br />
t t<br />
at ( −τ) at ( −τ)<br />
1 1<br />
f ∗ g t =− τ ⋅ e + e dτ<br />
a a∫<br />
t<br />
at ( −τ<br />
)<br />
1 1<br />
=− t−e 2<br />
a a<br />
1 1<br />
=− t−1−e 2<br />
a a<br />
1 at<br />
= 2 ( e −1 −at)<br />
.<br />
a<br />
t<br />
0 0<br />
0<br />
at ( )<br />
d) ( ∗ )( ) = sin ⋅sin ( ( − ) )<br />
∫<br />
f g t aτ b t τ dτ<br />
.<br />
0<br />
Usamos la fórmula trigonométrica para transformar productos a sumas y<br />
obtenemos:<br />
t<br />
1<br />
f g t cos aτ b t τ cos aτ b t τ dτ<br />
2 ∫<br />
( ∗ )( ) = ( − ( − ) ) − ( + ( − ) )<br />
0<br />
1⎡ 1 1<br />
⎤<br />
= sin ( ( ) ) sin ( ( ) )<br />
2 ⎢ a+ b τ −bt − a− b τ + bt<br />
a b a b<br />
⎥<br />
⎣ + −<br />
⎦0<br />
1⎛⎡ 1 1 ⎤ ⎡ 1 1 ⎤⎞<br />
= ⎜ sin at sin at sin ( bt) sin bt<br />
2 ⎢ −<br />
a b a b ⎥−⎢ − −<br />
a b a b ⎥⎟<br />
⎝⎣ + − ⎦ ⎣ + − ⎦⎠<br />
1<br />
= 2 2 ( asin bt−bsin at)<br />
.<br />
a − b<br />
t<br />
0<br />
t<br />
50
En los cuatro ejemplos anteriores, se consi<strong>de</strong>ró la primera función como f(t) y la segunda<br />
como g(t). ¿Daría resultados distintos, si elegimos la primera función como g y la<br />
segunda como f? La respuesta es no, ya que la convolución es conmutativa como<br />
<strong>de</strong>mostraremos a continuación.<br />
Teorema 2. 1. 3:<br />
Dadas dos funciones, f y g, se cumple: ( f ∗ g)( t) = ( g∗ f )( t)<br />
.<br />
Demostración:<br />
Por <strong>de</strong>finición: ( ∗ )( ) = ( ) ( − )<br />
t<br />
∫<br />
f g t f τ g t τ dτ<br />
.<br />
Si se hace el cambio <strong>de</strong> variables: u = t −τ<br />
, se obtiene:<br />
0<br />
0<br />
() ∗ () =− ( − ) ( ) = ( ) ( − ) = () ∗ ()<br />
t<br />
∫ ∫ . ♦<br />
f t g t f t u g u du g u f t u du g t f t<br />
t<br />
0<br />
La convolución cumple a<strong>de</strong>más otras propieda<strong>de</strong>s, que se enunciarán a continuación sin<br />
<strong>de</strong>mostración.<br />
Teorema 2. 1. 4:<br />
Dadas tres funciones, f , g y h y una constante a, entonces se cumplen:<br />
(i) f ∗( g∗ h) = ( f ∗g) ∗ h.<br />
(ii) f ∗ ( g + h) = ( f ∗ g) + ( f ∗ h)<br />
.<br />
(iii) ( a⋅ f ) ∗ g = f ∗( a⋅ g) = a⋅( f ∗ g)<br />
.<br />
51
2. 2 El Teorema <strong>de</strong> Convolución<br />
Estudiaremos ahora el importante teorema <strong>de</strong> la convolución, que relaciona la convolución<br />
<strong>de</strong> dos funciones con la transformada <strong>de</strong> <strong>Laplace</strong>.<br />
Teorema 2. 2. 1:<br />
Supongamos que f y g poseen transformada <strong>de</strong> <strong>Laplace</strong>. Si [ ]( )<br />
[ ]( )<br />
L g( x) p = G( p)<br />
, entonces:<br />
L<br />
−1<br />
[ ( ) ( ) ]<br />
F pG p = f∗ g<br />
o, equivalentemente: [ f ∗ g]( p) = F( p) G( p)<br />
Demostración:<br />
Sabemos que<br />
Por lo tanto:<br />
∞<br />
0<br />
L .<br />
− ps<br />
− pt<br />
F( p) = ∫ e f( s) ds y que G( p) e g( t) dt.<br />
∞<br />
=∫<br />
0<br />
L f ( x) p = F( p)<br />
y<br />
∞ ∞ ∞∞ ∞ ∞ ⎡ ⎤<br />
−ps −pt − p( s+ t) − p( s+ t)<br />
F( p) G( p) = ∫e f() s ds⋅ ∫e g() t dt = ∫∫e f() s g() t dsdt = ∫⎢∫ e f() s ds⎥g() t dt.<br />
0 0 0 0 0⎢⎣0 ⎥⎦<br />
Hacemos el cambio <strong>de</strong> variables u = s + t, en el que consi<strong>de</strong>raremos t constante y queda:<br />
∞ ∞ ∞∞<br />
⎡ ⎤<br />
−pu −pu<br />
F( p) G( p) = ⎢ e f( u− t) du ⎥g(<br />
t) dt = e f( u−t) g( t) dudt<br />
0⎢⎣ t ⎥⎦<br />
0 t<br />
∫∫ ∫∫ .<br />
Hemos llegado a una integral <strong>de</strong> la forma:<br />
∞∞<br />
∫∫<br />
0 t<br />
....... du dt .<br />
La región sobre la que estamos integrando se ve en la<br />
siguiente figura y la integral señalada barre esta región<br />
horizontalmente.<br />
t<br />
Fig. 2. 1:<br />
∞∞<br />
∫∫<br />
0 t<br />
....... du dt<br />
52<br />
u
Sin embargo, esta misma región también se pue<strong>de</strong> barrer<br />
verticalmente como se muestra en la figura 2. 2.<br />
Este barrido correspon<strong>de</strong> a una integral <strong>de</strong>l tipo: 00<br />
Es <strong>de</strong>cir:<br />
∞ u<br />
F( pG ) ( p) = e f( u−tgt ) ( ) dtdu<br />
0<br />
00<br />
− pu<br />
∞ u ⎛ ⎞<br />
− pu<br />
= ∫e⎜ f ( u −t)<br />
g( t) dt du<br />
⎜∫ ⎟<br />
0 ⎝ 0<br />
⎠<br />
∞<br />
∫<br />
∫∫<br />
− pu<br />
( )( )<br />
= e f ∗g<br />
u du .<br />
∞ u<br />
∫∫<br />
....... dt du .<br />
Pero esta última integral correspon<strong>de</strong> precisamente a la transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> la<br />
convolución. Hemos <strong>de</strong>mostrado, pues, que:<br />
[ f ∗ g]( p) = F( p) G( p)<br />
L ♦<br />
Ejemplo 2. 2. 2: Verificaremos el teorema <strong>de</strong> la convolución en cada uno <strong>de</strong> los<br />
pares <strong>de</strong> funciones <strong>de</strong>l ejemplo 2. 1. 2.<br />
Solución:<br />
1<br />
a<br />
a) Sabemos que: f() t = 1 ⇒ F( p)<br />
= y que: gt () = sin at⇒ Gp ( ) = .<br />
2 2<br />
p<br />
a + p<br />
1<br />
∗ = 1− cos .<br />
a<br />
Calculamos que: ( f g)( t) ( at)<br />
t<br />
Fig. 2. 2<br />
53<br />
u
Entonces:<br />
1<br />
L L<br />
a<br />
1⎡1 p ⎤<br />
= ⎢ − 2 2⎥<br />
a⎣p a + p ⎦<br />
2<br />
1 a<br />
=<br />
a p a p<br />
[ f ∗ g]( p) = [ 1−cosat]( p)<br />
2 2 ( + )<br />
1 a<br />
= = F( pG ) ( p).<br />
2 2<br />
p a + p<br />
kt<br />
1<br />
b) Recor<strong>de</strong>mos que: f () t = e ⇒ F( p)<br />
=<br />
p − k<br />
.<br />
1 at bt<br />
En el ejemplo 2. 1. 2 se calculó que: ( f ∗ g)( t) = ( e −e<br />
)<br />
Entonces<br />
1 at bt<br />
L[ f ∗ g]( p) = L⎡e<br />
−e<br />
⎤(<br />
p)<br />
a−b ⎣ ⎦<br />
1 ⎡ 1 1 ⎤<br />
= −<br />
a−b ⎢<br />
p a p b<br />
⎥<br />
⎣ − − ⎦<br />
1<br />
= = F( pG ) ( p).<br />
( p−a)( p−b) a−b 1<br />
at<br />
1<br />
c) Sabemos que: f() t = t⇒ F( p)<br />
= y que: g 2 () t = e ⇒ G( p)<br />
=<br />
p<br />
p − a<br />
.<br />
1<br />
2<br />
a<br />
at<br />
Sabemos, a<strong>de</strong>más que: ( f ∗ g)( t) = ( e − − at)<br />
Entonces:<br />
L<br />
1<br />
L<br />
2<br />
a ⎣ ⎦<br />
1 ⎡ 1 1 a ⎤<br />
= 2 ⎢ − − 2⎥<br />
a ⎣p−a p p ⎦<br />
at<br />
[ f ∗ g]( p) = ⎡e −1−at⎤( p)<br />
2<br />
( − )<br />
1 .<br />
1 p − p( p−a) −a( p−a) = 2 2<br />
a p p a<br />
1<br />
= = F( p) G( p).<br />
2<br />
p ( p−a) .<br />
54
1<br />
2 2<br />
a − b<br />
Por lo tanto, para este último ejemplo:<br />
d) Recor<strong>de</strong>mos que: ( f ∗ g)( t) = ( asinbt−bsin at)<br />
1<br />
L L 2 2<br />
a − b<br />
1 ⎡ ab ab ⎤<br />
= 2 2 ⎢ − 2 2 2 2⎥<br />
a − b ⎣p + b p + a ⎦<br />
2 2<br />
ab a − b<br />
= 2 2 2 2 2 2<br />
a − b p + a p + b<br />
[ f ∗ g]( p) = [ asin bt−bsin at]( p)<br />
( )( )<br />
a b<br />
= = F( pG ) ( p).<br />
2 2 2 2<br />
( p + a )( p + b )<br />
Ejemplo 2. 2. 3: En el ejemplo 1. 5. 6 <strong>de</strong>mostramos que:<br />
⎡ ⎤<br />
1 1 1 ⎡sinax ⎤<br />
L<br />
− ⎢ ⎥<br />
2 ( x) = −xcos<br />
ax<br />
⎢ 2 2 ⎥ 2<br />
( p a ) 2a<br />
⎢ a ⎥ .<br />
+<br />
⎣ ⎦<br />
⎢⎣ ⎥⎦<br />
Llegaremos a este resultado, ahora usando el teorema <strong>de</strong> convolución.<br />
Solución:<br />
⎡ ⎤<br />
1 1 1⎡<br />
1 1 ⎤<br />
L<br />
− ⎢ ⎥ = L<br />
−<br />
⋅<br />
⎢ 2 2<br />
2⎥ ⎢ 2 2 2 2⎥<br />
( p + a )<br />
⎣p + a p + a<br />
⎢ ⎥<br />
⎦<br />
⎣ ⎦<br />
( x) ( x)<br />
x<br />
1 1<br />
= ∫ sin ( a( x−t) ) ⋅ sin ( at) dt<br />
a a<br />
0<br />
x<br />
1 1<br />
= − ⎡cos( ax) −cos( ax −2at) ⎤dt<br />
a ∫ 2<br />
⎣ ⎦<br />
2<br />
0<br />
t= x<br />
1<br />
⎡ t= x sin ( 2at<br />
− ax)<br />
⎤<br />
⎢cos 2 ( ax) t<br />
⎥<br />
t=<br />
0<br />
2a<br />
⎢ 2a<br />
⎥<br />
⎣ t=<br />
0 ⎦<br />
=− −<br />
( ax) ( ax)<br />
1 ⎡ sin<br />
=− 2 ⎢xcos( ax)<br />
−<br />
2a<br />
⎣ 2a 1 ⎡sin ( ax)<br />
⎤<br />
= xcos 2 ⎢ − ( ax)<br />
⎥.<br />
2a<br />
⎣ a<br />
⎦<br />
sin<br />
−<br />
2a<br />
⎤<br />
⎥<br />
⎦<br />
.<br />
55
2. 3 El Problema Mecánico <strong>de</strong> Abel y la Curva Tautócrona.<br />
Supongamos que tenemos un hilo cuyos extremos se<br />
encuentran a diferentes alturas, y que un objeto <strong>de</strong> masa m<br />
situado en el extremo superior parte <strong>de</strong>s<strong>de</strong> el reposo y se<br />
<strong>de</strong>sliza hasta el extremo inferior por acción <strong>de</strong> la gravedad.<br />
Vamos a establecer los siguientes supuestos:<br />
1. El punto <strong>de</strong> partida (extremo superior) es (x, y).<br />
2. El extremo inferior se encuentra en el origen.<br />
3. El objeto que se <strong>de</strong>sliza se encuentra luego <strong>de</strong> un instante t, en el punto (u, v).<br />
4. La forma <strong>de</strong>l hilo se mo<strong>de</strong>la según la función y = y(x).<br />
5. La distancia que le falta por recorrer al objeto (es <strong>de</strong>cir, la longitud <strong>de</strong> la curva y(x)),<br />
se mo<strong>de</strong>la según la función s = s(t).<br />
Hay dos preguntas fundamentales con respecto a esta situación:<br />
1. Si conocemos la forma <strong>de</strong>l hilo, es <strong>de</strong>cir, si conocemos y(x), ¿cuánto <strong>de</strong>mora el<br />
objeto en caer?<br />
2. Si sabemos cuánto <strong>de</strong>mora el objeto en caer o si queremos que caiga en un cierto<br />
tiempo, ¿qué forma <strong>de</strong>be tener el hilo? En otras palabras, ¿cuál <strong>de</strong>be ser y(x)?<br />
56<br />
y (x, y)<br />
s(t)<br />
Fig. 2.3<br />
(u, v)<br />
x
El primer problema es relativamente sencillo <strong>de</strong> resolver, en<br />
cambio el segundo problema es mucho más difícil y se conoce<br />
como el Problema Mecánico <strong>de</strong> Abel, en honor al matemático<br />
noruego Niels Henrik Abel.<br />
Para po<strong>de</strong>r <strong>de</strong>terminar y(t), usaremos el principio <strong>de</strong><br />
conservación <strong>de</strong> energía. El principio <strong>de</strong> conservación <strong>de</strong><br />
energía establece que a medida que el objeto cae, pier<strong>de</strong> energía potencial y gana<br />
energía cinética, pero que la suma <strong>de</strong> esas dos energías permanece constante. Este hecho<br />
es in<strong>de</strong>pendiente <strong>de</strong> dón<strong>de</strong> se encuentre el objeto.<br />
En términos matemáticos diríamos: Ecinética + Epotencial = Constante. (2. 3. 1)<br />
Analizaremos esta igualdad para el punto inicial y para el punto (u, v).<br />
En el punto inicial tenemos que:<br />
• La energía cinética es cero, ya que el objeto parte <strong>de</strong>s<strong>de</strong> el reposo.<br />
• La energía potencial es: Epotencial = m · g · y.<br />
Recuér<strong>de</strong>se que la energía potencial <strong>de</strong> un objeto se calcula mediante la fórmula:<br />
Epotencial = m · g · h, en don<strong>de</strong> m es la masa <strong>de</strong>l objeto, g es la constante<br />
gravitacional y h es la altura a la que se encuentra el objeto.<br />
En resumen, para el punto inicial la igualdad (2. 3. 1) se transforma en:<br />
m · g · y = C. (2. 3. 2)<br />
57<br />
Fig. 2.4: Retrato <strong>de</strong> Neils Abel
En el punto (u, v) tenemos que:<br />
• La energía cinética es: Ecinética =<br />
2<br />
1 ⎛ds ⎞<br />
m⎜ ⎟<br />
2 ⎝ dt ⎠ .<br />
La energía cinética para un objeto en movimiento se calcula mediante la fórmula:<br />
Ecinética =<br />
1<br />
2<br />
En este caso<br />
2<br />
mv , en don<strong>de</strong> m es la masa y v es la velocidad <strong>de</strong>l objeto.<br />
ds<br />
v = .<br />
dt<br />
• La energía potencial es: Epotencial = m · g · v, según lo que se explicó<br />
anteriormente.<br />
En resumen, la igualdad (2. 3. 1) se transforma en:<br />
2<br />
1 ⎛ds ⎞<br />
m · g ·v + m⎜ ⎟ = C. (2. 3. 3)<br />
2 ⎝ dt ⎠<br />
Como la constante C no cambia, según el principio <strong>de</strong> conservación <strong>de</strong> energía, po<strong>de</strong>mos<br />
igualar las expresiones (2. 3. 2) y (2. 3. 3), para llegar a que: m mg( y v)<br />
don<strong>de</strong> finalmente se <strong>de</strong>duce que: 2g<br />
( y v)<br />
1<br />
2<br />
2<br />
⎛ds ⎞<br />
⎜ ⎟ = −<br />
⎝ dt ⎠<br />
ds<br />
= − − , o equivalentemente:<br />
dt<br />
ds<br />
− = dt . (2. 3. 4)<br />
2g<br />
y v<br />
( − )<br />
El signo “–” indica que el objeto se mueve hacia el origen.<br />
El problema mecánico <strong>de</strong> Abel asume conocido el tiempo <strong>de</strong> <strong>de</strong>scenso. Este tiempo, que<br />
<strong>de</strong>pen<strong>de</strong> <strong>de</strong> la altura inicial y, lo <strong>de</strong>nominaremos T(y) y cumple: ( )<br />
v=<br />
0<br />
v= y<br />
v= y v=<br />
0<br />
, <strong>de</strong><br />
∫ ∫ .<br />
T y = dt =− dt<br />
58
Si remplazamos la expresión (2. 3. 4) obtenemos: T( y)<br />
=<br />
v= y<br />
∫<br />
v=<br />
0 2<br />
ds<br />
( − )<br />
g y v<br />
Pero como <strong>de</strong>seamos que aparezca la variable <strong>de</strong> integración v, usamos el hecho que:<br />
ds<br />
dv<br />
′ ( ) = para escribir: ( )<br />
s v<br />
′ ( )<br />
( − )<br />
y y<br />
s v<br />
1<br />
1<br />
−<br />
T y = dv= ( y−v) 2 s′ ( v) dv<br />
2g<br />
y v 2g<br />
∫ ∫ .<br />
0 0<br />
Esta última integral es precisamente la convolución <strong>de</strong> dos funciones, por lo que:<br />
1 ⎛ − ⎞<br />
1<br />
T( y 2<br />
) = ⎜y ∗s′<br />
( y)<br />
⎟.<br />
2g<br />
⎜ ⎟<br />
⎝ ⎠<br />
Aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados y usamos el teorema <strong>de</strong><br />
convolución:<br />
1 ⎡ − ⎤<br />
1 1 π<br />
L⎡ 2<br />
⎣T( y) ⎤= ⎦ L⎢y ⎥L⎡⎣s′<br />
( y) ⎤= ⎦ L⎡⎣s′<br />
( y)<br />
⎤⎦.<br />
2g ⎢⎣ ⎥⎦<br />
2g<br />
p<br />
Finalmente reor<strong>de</strong>namos y llegamos a:<br />
1<br />
2g<br />
L⎡2 ⎣s′ ( y) ⎤= ⎦ p L ⎡T( y)<br />
⎤<br />
π<br />
⎣ ⎦.<br />
(2. 3. 5)<br />
Mediante esta fórmula es posible calcular la curva y(x), ya que a partir <strong>de</strong> ella<br />
obtenemos, en teoría, s′ ( y)<br />
y luego, usando la fórmula <strong>de</strong> longitud <strong>de</strong> una curva:<br />
⎛dx ⎞<br />
s′ ( y)<br />
= 1+⎜<br />
⎟<br />
⎝dy ⎠<br />
<strong>de</strong>terminar y(x).<br />
2<br />
llegamos a una ecuación diferencial, mediante la cual se pue<strong>de</strong><br />
.<br />
59
Una aplicación concreta <strong>de</strong>l problema mecánico <strong>de</strong> Abel lo constituye el problema <strong>de</strong> la<br />
curva tautócrona. El problema <strong>de</strong> la curva tautócrona fue <strong>de</strong> importancia en el estudio <strong>de</strong><br />
los relojes <strong>de</strong> péndulo o <strong>de</strong> los péndulos, en general: ¿con qué trayectoria <strong>de</strong>bería oscilar<br />
un péndulo <strong>de</strong> tal manera que su período fuese siempre el mismo, in<strong>de</strong>pendientemente<br />
<strong>de</strong> la amplitud <strong>de</strong> oscilación? Esto es equivalente a encontrar la trayectoria por la que un<br />
objeto caerá en un tiempo constante, sin importar <strong>de</strong> qué altura caiga. Según el mo<strong>de</strong>lo<br />
que acabamos <strong>de</strong> presentar, esto significa que T(y) = constante.<br />
El problema <strong>de</strong> la curva tautócrona fue resuelto por el<br />
astrónomo y matemático holandés Christiaan Huygens<br />
en 1659 usando métodos geométricos y publicado en su<br />
libro “Horologium Oscillatorium sive <strong>de</strong> motu<br />
pendulorum” (el reloj <strong>de</strong> péndulo y el movimiento<br />
pendular) en 1673.<br />
Huygens requería <strong>de</strong> una forma <strong>de</strong> medir el tiempo <strong>de</strong><br />
manera precisa para sus estudios astronómicos y fue así<br />
que abordó este problema. En 1656, Huygens patentó el<br />
Fig. 2.5: Retrato <strong>de</strong><br />
Christiaan Huygens<br />
reloj <strong>de</strong> péndulo, que mejoraba sustancialmente la forma <strong>de</strong> medir el tiempo.<br />
60
Ejemplo 2. 3. 6: La curva tautócrona.<br />
Hallar la forma <strong>de</strong>l hilo, es <strong>de</strong>cir y(x), si el tiempo <strong>de</strong> <strong>de</strong>scenso es constante,<br />
in<strong>de</strong>pendientemente <strong>de</strong> la altura <strong>de</strong>l punto inicial.<br />
Esta curva se <strong>de</strong>nomina curva tautócrona.<br />
Solución:<br />
T<br />
L ⎣ ⎦ .<br />
p<br />
0<br />
En este caso T( y) = T0,<br />
y por lo tanto, ⎡T( y)<br />
⎤=<br />
Reemplazamos esto en la fórmula (2. 3. 5) y obtenemos:<br />
L ⎣⎡s′ ( y) ⎦⎤=<br />
1<br />
2g −<br />
T 2<br />
0p =<br />
π<br />
2g T0 π<br />
π<br />
=<br />
p<br />
1<br />
2g<br />
⎡ − ⎤<br />
T 2<br />
0L<br />
⎢ y ⎥ .<br />
π ⎢⎣ ⎥⎦<br />
Aplicando la transformada inversa, llegamos a que:<br />
Como s ( y)<br />
2<br />
0<br />
2<br />
2gT<br />
s′ ( y)<br />
= .<br />
π y<br />
⎛dx ⎞<br />
′ = 1+⎜<br />
⎟<br />
⎝dy ⎠<br />
2<br />
2<br />
, se <strong>de</strong>duce que:<br />
⎛dx ⎞<br />
1+<br />
⎜ ⎟<br />
⎝dy ⎠<br />
K 2gT0<br />
= , con K = 2<br />
y<br />
π<br />
.<br />
Eliminamos el cuadrado, separamos variables y obtenemos:<br />
K − y<br />
Integramos: x = ∫ dy .<br />
y<br />
K K − y<br />
dx = − 1 dy = dy .<br />
y y<br />
Hacemos el cambio <strong>de</strong> variables<br />
2<br />
2<br />
y = Ksen θ y se llega a que:<br />
2 K<br />
x = 2K∫ cos θdθ = ( 2θ + sen2θ) + C .<br />
2<br />
Pero como la curva <strong>de</strong>be pasar por el origen, C = 0.<br />
61
En resumen, la curva tautócrona tiene coor<strong>de</strong>nadas paramétricas:<br />
K<br />
2 K<br />
x= ( 2θ+ sen2θ)<br />
e y = Ksen θ = ( 1− cos2θ)<br />
2<br />
2<br />
K<br />
Ambas expresiones se pue<strong>de</strong>n simplificar. Si hacemos: a = y 2θ = φ ,<br />
2<br />
obtenemos las coor<strong>de</strong>nadas parámetricas <strong>de</strong> la curva tautócrona:<br />
( φ φ )<br />
( 1 cosφ)<br />
⎧ ⎪x<br />
= a + sen<br />
⎨<br />
⎪⎩ y= a −<br />
Esta curva es también conocida como cicloi<strong>de</strong>.<br />
La siguiente imagen muestra cuatro estados <strong>de</strong> un péndulo que usa la cicloi<strong>de</strong> tanto como<br />
<strong>de</strong>limitación como para el trayecto <strong>de</strong>l extremo <strong>de</strong>l péndulo.<br />
Huygens <strong>de</strong> hecho construyó un reloj usando un péndulo<br />
como el que se muestra. Sin embargo,<br />
<strong>de</strong>safortunadamente el roce <strong>de</strong>l péndulo con las pare<strong>de</strong>s<br />
con forma <strong>de</strong> cicloi<strong>de</strong> introducen un error y a la larga se<br />
pier<strong>de</strong> más <strong>de</strong> lo que se gana con usar la forma <strong>de</strong><br />
cicloi<strong>de</strong>. En la figura 2.7, se pue<strong>de</strong> ver arriba a la <strong>de</strong>recha<br />
un péndulo acotado por dos pare<strong>de</strong>s con forma <strong>de</strong><br />
cicloi<strong>de</strong>.<br />
Fig. 2.6: Cuatro estados <strong>de</strong> un pendulo acotado por dos cicloi<strong>de</strong>s<br />
62<br />
Fig. 2.7: Diagramas <strong>de</strong>l Horologium<br />
oscillatorium <strong>de</strong> Huygens
Veamos una forma diferente <strong>de</strong> resolver este problema<br />
Ejemplo 2. 3. 7:<br />
La fórmula (2. 3. 5), s′ ( y 2 ) p T( y)<br />
1<br />
2g<br />
L⎡⎣ ⎤= ⎦ L ⎡ ⎤<br />
π<br />
⎣ ⎦ , se pue<strong>de</strong> escribir también como:<br />
L⎡⎣s′ ( y) ⎤= ⎦<br />
2g<br />
p<br />
π<br />
π<br />
⋅L⎡T( y)<br />
p<br />
⎣ ⎤⎦<br />
=<br />
1<br />
2g<br />
⎡ − ⎤<br />
p L y 2 ⎢ ⎥⋅L⎡T( y)<br />
π<br />
⎣ ⎤⎦.<br />
⎢⎣ ⎥⎦<br />
=<br />
1<br />
2g<br />
⎡ − ⎤<br />
p L y 2 ⎢ ∗T(<br />
y)<br />
⎥<br />
π ⎢⎣ ⎥⎦<br />
Sabemos que: p ⎡f ( x) ⎤=⋅ ⎡f′ ( x) ⎤+ f ( 0)<br />
1 ⎛ − ⎞<br />
Pero ⎜y T( y)<br />
⎟(<br />
)<br />
L⎣ ⎦ L ⎣ ⎦ , por lo tanto:<br />
1 1<br />
2g<br />
⎛ ⎡ d ⎛ − ⎞⎤ ⎛ − ⎞ ⎞<br />
L⎡s 2 2<br />
⎣<br />
′ ( y) ⎤= ⎦<br />
⎜ L ⎢ ⎜y ∗ T( y) ⎟⎥+ ⎜y ∗T(<br />
y)<br />
⎟(<br />
0)<br />
⎟.<br />
π ⎜ ⎢dy ⎜ ⎟<br />
⎥<br />
⎜ ⎟<br />
⎝ ⎠ ⎝ ⎠<br />
⎟<br />
⎝ ⎣ ⎦<br />
⎠<br />
2 ∗ 0 = 0,<br />
por lo que:<br />
⎜ ⎟<br />
⎝ ⎠<br />
⎡ 1<br />
2g d ⎛ − ⎞⎤<br />
L s 2<br />
⎣⎡ ′ ( y) ⎦⎤= L ⎢ ⎜y ∗T(<br />
y)<br />
⎟⎥.<br />
⎢ π dy ⎜ ⎟<br />
⎣ ⎝ ⎠⎥⎦<br />
Aplicamos la transformada inversa y obtenemos:<br />
o equivalentemente:<br />
1 ⎛ − ⎞<br />
2g d<br />
s′ 2<br />
( y) = ⎜y ∗T(<br />
y)<br />
⎟,<br />
π dy ⎜ ⎟<br />
⎝ ⎠<br />
0<br />
( )<br />
y<br />
2g<br />
d T t<br />
s′ ( y) =<br />
dt<br />
π dy ∫ . (2. 3. 8)<br />
y−t Esta fórmula nos permite resolver el problema <strong>de</strong> la curva tautócrona <strong>de</strong> una manera<br />
alternativa.<br />
En efecto, si T( y) = T0,<br />
entonces:<br />
y<br />
T0<br />
∫<br />
0<br />
( ) 1<br />
2<br />
dt =−2T0y− t = 2Ty.<br />
y−t y<br />
0<br />
63
Si reemplazamos en la fórmula (2. 3. 8), obtenemos:<br />
2<br />
2g 2gT0<br />
s′ y = T0 y = . 2<br />
π dy π y<br />
d<br />
( ) ( 2 )<br />
Esta expresión es idéntica a la que habíamos llegado en el ejemplo anterior y <strong>de</strong> aquí<br />
se resuelve como ya se vio.<br />
Ejemplo 2. 3. 9: Resolver el problema mecánico <strong>de</strong> Abel, es <strong>de</strong>cir hallar la curva <strong>de</strong><br />
<strong>de</strong>scenso, si el tiempo <strong>de</strong> <strong>de</strong>scenso es T( y) = k y , con k: constante.<br />
Solución:<br />
Al igual que en ejemplo anterior, usaremos la fórmula (2. 3. 8):<br />
0<br />
( )<br />
y<br />
2g<br />
d T t<br />
s′ ( y) =<br />
dt<br />
π dy ∫ .<br />
y−t Haciendo los cambios <strong>de</strong> variables: u = t y posteriormente u = ysin z,<br />
la integral<br />
0<br />
( )<br />
y<br />
T t<br />
I = ∫ dt se transforma en:<br />
y−t π<br />
π<br />
2<br />
2<br />
2 ⎛ sin 2z<br />
⎞ π<br />
∫ ⎜ ⎟ .<br />
2 2<br />
0<br />
⎝ ⎠ 0<br />
I = 2yk cos zdz = yk z+ = ky<br />
Reemplazamos en la fórmula (2. 3. 8) y obtenemos:<br />
Y como s ( y)<br />
⎛dx ⎞<br />
′ = 1+⎜<br />
⎟<br />
⎝dy ⎠<br />
2gd kπ<br />
2gk<br />
s′ ⎛ ⎞<br />
( y) = ⎜ y⎟=<br />
.<br />
π dy ⎝ 2 ⎠ 2<br />
2<br />
, llegamos a que:<br />
2 2<br />
2 2<br />
gk ⎛dx⎞ dx gk gk<br />
= 1+ ⎜ ⎟ ⇒ = −1⇒ dx = −1<br />
dy.<br />
2 ⎝dy ⎠<br />
dy 2 2<br />
64
Integrando a ambos lados, y haciendo<br />
<strong>de</strong>scenso es la recta: y = cx.<br />
Es interesante notar que si<br />
1<br />
gk<br />
2<br />
2<br />
= c<br />
−1<br />
llegamos a que la curva <strong>de</strong><br />
2<br />
k = , entonces c = ∞ , lo cual significa que la curva <strong>de</strong><br />
g<br />
<strong>de</strong>scenso es una recta vertical y por lo tanto hablamos <strong>de</strong> caída libre. Y efectivamente<br />
es un hecho conocido que el tiempo que <strong>de</strong>mora un cuerpo en caer <strong>de</strong>s<strong>de</strong> una altura<br />
2<br />
inicial y es T = y.<br />
g<br />
Ejemplo 2. 3. 10: Probar que la ecuación diferencial<br />
( 0) = ( 0) = 0 tiene a ( ) = () sin ( − )<br />
y y′<br />
x<br />
0<br />
2<br />
y′′ + a y= f , con<br />
1<br />
y x f t a x t dt<br />
a ∫ como solución.<br />
Solución:<br />
Aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados y obtenemos:<br />
2 [ y′′ ] + a [ y] = [ f ]<br />
L L L .<br />
Usamos las fórmulas (1. 4. 4) y (1. 4. 2) y las condiciones iniciales y queda:<br />
Esto se pue<strong>de</strong> rescribir como:<br />
[ ] + [ ] = [ ]<br />
2 2<br />
p L y a L y L f .<br />
1 ⎡sinax ⎤ 1<br />
L[ y] = L 2 2 [ f ] = L ⎡f ( x) ⎤= ⎡sin ax∗ f ( x)<br />
⎤<br />
p a<br />
⎢ a ⎥L<br />
+<br />
⎣ ⎦ L<br />
a<br />
⎣ ⎦.<br />
⎣ ⎦<br />
Aplicamos la transformada inversa y obtenemos el resultado <strong>de</strong>seado:<br />
x<br />
1<br />
y( x) = f () t sin a( x−t) dt<br />
a ∫<br />
.<br />
0<br />
65
2. 4 Convolución: Respuesta <strong>de</strong> un sistema a un estímulo.<br />
Cualquier sistema físico pue<strong>de</strong> pensarse como un dispositivo que transforma una función<br />
(o señal) <strong>de</strong> entrada (estímulo o input) en una función (o señal) <strong>de</strong> salida (respuesta o<br />
output). Así por ejemplo la fuerza <strong>de</strong>l viento (función <strong>de</strong> entrada) actúa sobre un edificio<br />
(sistema) y este empieza a oscilar (función <strong>de</strong> salida).<br />
función <strong>de</strong> entrada función <strong>de</strong> salida<br />
Sistema<br />
Tanto la función <strong>de</strong> entrada como la <strong>de</strong> salida y como las características <strong>de</strong>l sistema<br />
pue<strong>de</strong>n ser <strong>de</strong>sconocidas. A veces se conoce la función <strong>de</strong> entrada y se <strong>de</strong>sea obtener (o<br />
se conoce) una cierta respuesta a ese estímulo. El problema entonces es diseñar o<br />
<strong>de</strong>terminar el sistema que respon<strong>de</strong> <strong>de</strong> esa manera.<br />
En otros casos se conoce el sistema y la respuesta y se <strong>de</strong>sea obtener información acerca<br />
<strong>de</strong>l estímulo que causó dicha respuesta. Por ejemplo, en acci<strong>de</strong>ntes <strong>de</strong> tránsito se conoce<br />
la respuesta (el auto chocado, las huellas <strong>de</strong>jadas al frenar, etc.), se conocen también<br />
algunas características <strong>de</strong>l sistema (el tiempo, el estado <strong>de</strong> la calle, la hora <strong>de</strong>l día, etc.) y<br />
se <strong>de</strong>sea inferir, por ejemplo, con qué velocidad viajaba el auto.<br />
Sacar información acerca <strong>de</strong> un terremoto, analizando el registro <strong>de</strong> un sismógrafo y<br />
conociendo, por supuesto, las características <strong>de</strong>l sismógrafo es otro ejemplo.<br />
66
Por último, pue<strong>de</strong> que se <strong>de</strong>see conocer la respuesta <strong>de</strong> un sistema ante un cierto<br />
estímulo. En estos casos la convolución pue<strong>de</strong> ser <strong>de</strong> utilidad.<br />
Pero lo interesante <strong>de</strong>l uso <strong>de</strong> la convolución es que no es necesario conocer las<br />
características <strong>de</strong>l sistema. Basta conocer cómo respon<strong>de</strong> el sistema ante un estímulo en<br />
particular para po<strong>de</strong>r pre<strong>de</strong>cir cómo respon<strong>de</strong>rá ante cualquier otro estímulo.<br />
Para enten<strong>de</strong>r cómo esto es posible, supongamos que el sistema se pue<strong>de</strong> representar<br />
mediante la ecuación diferencial: y′′ ay′ by f ( t)<br />
( ) ( )<br />
+ + = con condiciones iniciales:<br />
y 0 = y′ 0 = 0.<br />
Aquí f(t) es la función <strong>de</strong> entrada (o estímulo), a y b son constantes que<br />
representan las características <strong>de</strong>l sistema e y(t) es la respuesta que <strong>de</strong>seamos calcular.<br />
La función <strong>de</strong> entrada particular podría ser cualquiera, sin embargo se suele elegir la<br />
⎧0<br />
si t<<br />
0<br />
función <strong>de</strong> paso u() t = ⎨ , por su simpleza y por su utilidad en ingeniería<br />
⎩1<br />
si t≥<br />
0<br />
eléctrica, ya que representa el concepto <strong>de</strong> apagado – encendido. La respuesta a la<br />
función <strong>de</strong> paso la <strong>de</strong>signaremos por A(t) y se conoce como respuesta indicial o<br />
respuesta a la función <strong>de</strong> paso.<br />
Tenemos entonces que: A′′ aA′ bA u( t)<br />
+ + = .<br />
Si aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados, usamos las condiciones iniciales<br />
y la fórmula <strong>de</strong>l ejemplo 1. 3. 7, llegamos a:<br />
2<br />
1<br />
p L[ A] + apL[ A] + bL [ A]<br />
= .<br />
p<br />
67
Despejamos L [ A ] y obtenemos:<br />
1 1 1 1<br />
L [ A]<br />
= ⋅ = ⋅ . (2. 4. 1)<br />
2<br />
p p + ap+ b p Z p<br />
( )<br />
Si hacemos lo mismo con la ecuación original, se llega a que:<br />
1<br />
L[ y] = L ⎡⎣f () t ⎤⋅ ⎦ .<br />
Z p<br />
La función Z(p) <strong>de</strong>pen<strong>de</strong> <strong>de</strong> los parámetros <strong>de</strong>l sistema. Como aparece en ambas<br />
( )<br />
fórmulas, po<strong>de</strong>mos usarla para obtener la siguiente igualdad:<br />
[ y] p [ A] f ( t)<br />
L = L L ⎡⎣ ⎤⎦.<br />
En este punto es interesante notar dos cosas: primero, la fórmula anterior no <strong>de</strong>pen<strong>de</strong> <strong>de</strong><br />
los parámetros <strong>de</strong>l sistema (es <strong>de</strong>cir, y como ya señalamos, no es necesario conocer las<br />
características <strong>de</strong>l sistema), pero sí se requiere conocer la respuesta a una función<br />
particular, en este caso la función paso. Segundo, en la parte <strong>de</strong>recha <strong>de</strong> la igualdad<br />
aparece la multiplicación <strong>de</strong> dos transformadas, y por lo tanto, usando el teorema <strong>de</strong><br />
convolución la fórmula se pue<strong>de</strong> escribir como:<br />
Pero usando L⎡f′ ( x) ⎤= pL⎡f ( x) ⎤− f ( 0)<br />
[ y] = p [ A∗f ]<br />
L L .<br />
⎣ ⎦ ⎣ ⎦ (fórmula (1. 4. 2)) y las condiciones iniciales,<br />
po<strong>de</strong>mos rescribir el lado <strong>de</strong>recho <strong>de</strong> esta nueva igualdad y llegar a:<br />
L[ y] = L<br />
⎡( A∗ f ) ′ ⎤ .<br />
⎢⎣ ⎥⎦<br />
Por lo tanto, aplicando la transformada inversa y recordando que A*f = f*A, es posible<br />
llegar a las siguientes dos expresiones que permiten calcular la función respuesta:<br />
t<br />
d<br />
d<br />
y() t = A( t−τ) f ( τ) dτ<br />
dt ∫ y y() t = f ( t−τ) A( τ) dτ<br />
dt ∫<br />
.<br />
0<br />
t<br />
0<br />
68
Para simplificar aún más estas expresiones, usamos la Regla <strong>de</strong> Leibnitz:<br />
v v<br />
d ∂<br />
dv du<br />
G( t, x) dx G( t, x) dx G( t, v) G( t, u)<br />
dt ∫ = ∫<br />
+ −<br />
∂t<br />
dt dt<br />
u u<br />
y ambas expresiones se transforman con poco cálculo en:<br />
t<br />
() = ′ ( − ) ( )<br />
y t ∫ A t τ f τ dτ<br />
(2. 4. 2)<br />
0<br />
t<br />
( ) = ( − τ) ′ ( τ) τ + ( 0)<br />
( )<br />
y t ∫ A t f d f A t (2. 4. 3)<br />
0<br />
Estas dos fórmulas permiten encontrar la función <strong>de</strong> respuesta <strong>de</strong> un sistema ante un<br />
estímulo, conociendo cómo se comporta ese sistema ante la función paso.<br />
Como dijimos anteriormente, la función particular que usamos (la función <strong>de</strong> paso en el<br />
ejemplo) no es la única que se pue<strong>de</strong> usar. Po<strong>de</strong>mos utilizar cualquier función <strong>de</strong> la cual<br />
sepamos su respuesta. La función <strong>de</strong> paso es una opción bastante lógica <strong>de</strong>bido a lo<br />
simple <strong>de</strong> su transformada <strong>de</strong> <strong>Laplace</strong>.<br />
Otra elección posible es la función <strong>de</strong>lta <strong>de</strong> Dirac, δ ( x)<br />
. En el ejemplo 1. 3. 13<br />
<strong>de</strong>mostramos que si > 0<br />
ε y fε (x) la función <strong>de</strong>finida por: f ( x)<br />
− p<br />
1−<br />
e<br />
pε<br />
entonces: L ⎡⎣fε( x)<br />
⎤= ⎦ y L fε( x)<br />
ε<br />
ε →0<br />
ε<br />
⎧1<br />
⎪ si 0 ≤ x ≤ε<br />
= ⎨ε ,<br />
⎪<br />
⎩0<br />
si x > ε<br />
lim ⎡⎣ ⎤= ⎦ 1.<br />
La función <strong>de</strong>lta <strong>de</strong> Dirac se <strong>de</strong>fine<br />
como δ ( x) = lim f ( x)<br />
y cumple entre otras, la siguiente propiedad: ⎡δ( x)<br />
⎤= 1<br />
ε<br />
ε →0<br />
L ⎣ ⎦ .<br />
69
Así como la respuesta a la función <strong>de</strong> paso u(t) se <strong>de</strong>nota por A(t) y se llama respuesta<br />
indicial, <strong>de</strong> manera análoga para la función <strong>de</strong>lta <strong>de</strong> Dirac la respuesta se <strong>de</strong>nota por h(t)<br />
y se llama respuesta <strong>de</strong> impulso.<br />
Y así como al aplicar la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados obtuvimos:<br />
1 1<br />
L [ A]( p)<br />
= ⋅ ,<br />
p Z p<br />
( )<br />
análogamente, para la función <strong>de</strong>lta <strong>de</strong> Dirac se llega a:<br />
1<br />
L [ h]( p)<br />
= . (2. 4. 4)<br />
Z p<br />
( )<br />
Ambas fórmulas se pue<strong>de</strong>n combinar para llegar a la igualdad:<br />
[ h]<br />
[ A]<br />
=<br />
p<br />
L<br />
L .<br />
x<br />
⎡ ⎤<br />
⎢∫ f s ds⎥<br />
=<br />
⎣0⎦ Pero según la fórmula (1. 4. 11) se tiene que: L ( )<br />
x ⎡ ⎤<br />
[ ] ( )<br />
∫<br />
L A = L ⎢ h s ds⎥.<br />
⎢ ⎥<br />
⎣ 0 ⎦<br />
( )<br />
F p<br />
Eliminando la transformada <strong>de</strong> <strong>Laplace</strong>, obtenemos: () ( )<br />
Y <strong>de</strong>rivando obtenemos: A′ ( t) = h( t)<br />
.<br />
t<br />
0<br />
p<br />
At = ∫ hsds.<br />
Con todo lo anterior, la fórmula (2. 4. 2) pue<strong>de</strong> escribirse como:<br />
t<br />
() = ( − ) ( )<br />
o en términos <strong>de</strong> la convolución:<br />
y t ∫ h t τ f τ dτ<br />
(2. 4. 5)<br />
0<br />
y( t) = ( h∗ f )( t)<br />
. (2. 4. 6)<br />
, por lo que<br />
70
En resumen:<br />
Si se <strong>de</strong>sea resolver la ecuación diferencial y′′ ay′ by f ( t)<br />
siguientes pasos:<br />
Alternativa 1:<br />
1. Calcular A(t) usando la fórmula (2. 4. 1).<br />
2. Calcular y(t) usando (2. 4. 2) ó (2. 4. 3).<br />
Alternativa 2:<br />
1. Calcular h(t) usando la fórmula (2. 4. 4).<br />
2. Calcular y(t) usando (2. 4. 5).<br />
Ejemplo 2. 4. 7:Resolver la ecuación diferencial:<br />
Solución: Usando la alternativa 1:<br />
Paso 1: [ A]<br />
+ + = se pue<strong>de</strong>n utilizar los<br />
( ) ( )<br />
3t<br />
y′′ + 5y′ + 6y = 5 e , y 0 = y′<br />
0 = 0.<br />
1 1 1<br />
1<br />
6<br />
1<br />
2<br />
1<br />
3<br />
p<br />
2<br />
p p p p p p<br />
L = ⋅ = = − + .<br />
p + 5p+ 6 + 2 + 3 + 2 + 3<br />
Aplicamos la transformada inversa:<br />
( )( )<br />
1 1 −2t 1 −3t<br />
At () = − e + e .<br />
6 2 3<br />
−2 −3<br />
Derivamos: A ( t) e e<br />
t t<br />
′ = − .<br />
71
3<br />
Paso 2: Como f ( t) e<br />
5 t<br />
= , la fórmula (2. 4. 3) queda:<br />
() = ′ ( − ) ( )<br />
0<br />
t<br />
−2( t−τ) −3( t−τ)<br />
3τ<br />
= ( e −e<br />
) 5e<br />
d<br />
0<br />
t<br />
t<br />
∫<br />
y t A t τ f τ dτ<br />
∫<br />
∫<br />
5τ−2t 6τ−3t = 5 e −e<br />
dτ<br />
0<br />
⎛ 5τ−2t t<br />
6τ−3t ⎞<br />
e e<br />
= 5⎜<br />
− ⎟<br />
⎝ 5 6 ⎠ o<br />
⎡ 3t 3t −2t −3t<br />
⎛e e ⎞ ⎛e e ⎞⎤<br />
= 5⎢⎜<br />
− ⎟−⎜ − ⎟⎥<br />
⎢⎣⎝ 5 6 ⎠ ⎝ 5 6 ⎠⎥⎦<br />
1 3t −2t 5 −3t<br />
= e − e + e .<br />
6 6<br />
Solución: Usando la alternativa 2:<br />
Paso 1: [ h]<br />
1 1 1 1<br />
L = = = − .<br />
2<br />
p + 5p+ 6 p+ 2 p+ 3 p+ 2 p+<br />
3<br />
( )( )<br />
Aplicamos la transformada inversa:<br />
3<br />
Paso 2: Como f ( t) e<br />
−2t −3t<br />
( )<br />
ht = e − e .<br />
5 t<br />
= , la fórmula (2. 4. 5) queda:.<br />
t t<br />
−2( t−τ) −3( t−τ)<br />
3τ<br />
y() t = h( t− ) f ( ) d = ( e −e<br />
) 5e<br />
d<br />
0 0<br />
τ<br />
∫ τ τ τ ∫ τ .<br />
Esto es exactamente a lo que llegamos usando el método anterior, por lo que con los<br />
mismos cálculos se llega a:<br />
1 5<br />
y t e e e<br />
6 6<br />
3t −2t −3t<br />
() = − +<br />
.<br />
72
El ejemplo anterior muestra que es levemente mejor la segunda alternativa. Por un lado, la<br />
<strong>de</strong>scomposición en fracciones parciales <strong>de</strong>l paso 1 es más fácil y por otro lado se evita tener<br />
que <strong>de</strong>rivar.<br />
Ejemplo 2. 4. 8:Resolver la ecuación diferencial: y′′ y′ y t y( ) y′<br />
( )<br />
Solución: (Usando la alternativa 2)<br />
Paso 1: [ h]<br />
( )( )<br />
1 1<br />
5 5<br />
1 1<br />
L = = = − .<br />
2<br />
p + p−6p−<br />
2 p+ 3 p− 2 p+<br />
3<br />
Aplicamos la transformada inversa:<br />
1 2t 3t<br />
ht () ( e e ) 5<br />
−<br />
= − .<br />
Paso 2: Como f () t = t,<br />
la fórmula (2. 4. 5) queda:<br />
t<br />
1 2( t−τ) −3( t−τ)<br />
y() t = e − e d<br />
5∫<br />
τ τ τ<br />
0<br />
⎛ 2t−2τ 3τ−3t t<br />
⎞<br />
1 e e<br />
= ⎜ ( −2τ −1) − ( 3τ −1)<br />
⎟<br />
5⎝ 4 9 ⎠<br />
2 3<br />
1⎡ t t<br />
2t+ 1 3t−1 ⎛ e e ⎞⎤<br />
= ⎢− − −⎜− + ⎟⎥<br />
5⎢⎣ 4 9 ⎝ 4 9 ⎠⎥⎦<br />
2t −3t<br />
1 1 e e<br />
=− t − + − .<br />
6 36 20 45<br />
+ − 6 = , 0 = 0 = 0.<br />
Ejemplo 2. 4. 9:Resolver la ecuación diferencial: y′′ y′ t y( ) y′<br />
( )<br />
Solución: Usando la alternativa 2:<br />
Paso 1: [ h]<br />
1 1 1 1<br />
L = = = − .<br />
2<br />
p − p p p−1 p−1 p<br />
( )<br />
o<br />
2<br />
− = , 0 = 0 = 0.<br />
73
Aplicamos la transformada inversa:<br />
t ( ) 1<br />
h t = e − .<br />
2<br />
Paso 2: Como f () t = t , la fórmula (2. 4. 5) queda:<br />
()<br />
t<br />
∫<br />
2 t−τ<br />
2<br />
y t = τ e −τ<br />
dτ<br />
0<br />
⎛ t−τ<br />
t<br />
3<br />
τ ⎞<br />
2 ( τ 2τ 2)<br />
= ⎜− e + + − ⎟<br />
⎝ 3 ⎠<br />
3<br />
2 t t<br />
=− ( t + 2t+ 2) − + 2e<br />
3<br />
3<br />
t 2<br />
t<br />
=− −t −2t− 2+ 2 e .<br />
3<br />
Nota: En los dos últimos ejemplos no se da el <strong>de</strong>talle <strong>de</strong> algunos cálculos, pero el lector<br />
podrá comprobarlos sin mayor esfuerzo.<br />
Finalizaremos con dos aplicaciones muy estudiadas en la física: el sistema masa- resorte y<br />
los circuitos eléctricos.<br />
Ejemplo 2. 4. 10: La vibración <strong>de</strong> un sistema masa-resorte no amortiguado sobre el<br />
cual actúa una fuerza externa, se pue<strong>de</strong> mo<strong>de</strong>lar con la ecuación diferencial:<br />
( ) ( ) ( )<br />
Mx′′ + kx = f t , x 0 = x′<br />
0 = 0.<br />
M es la masa <strong>de</strong>l resorte, k la constante <strong>de</strong> rigi<strong>de</strong>z <strong>de</strong>l resorte, x(t) es el<br />
<strong>de</strong>splazamiento <strong>de</strong>l resorte y f(t) es la fuerza externa que actúa sobre el resorte.<br />
a) Si f(t) es la función paso u(t) y resolvemos aplicando la fórmula (2. 4. 1), queda:<br />
1 1<br />
L [ A]<br />
= ⋅ .<br />
2<br />
p Mp + k<br />
o<br />
74
Para separar esta expresión usando fracciones parciales, hay que tener en cuenta que<br />
tanto la masa M como la constante k son magnitu<strong>de</strong>s positivas, por lo que el<br />
<strong>de</strong>nominador <strong>de</strong> la segunda fracción no es factorizable en . Consi<strong>de</strong>rando esto,<br />
obtenemos:<br />
1⎛ 1 Mp ⎞<br />
L [ A]<br />
= ⎜ − 2 ⎟.<br />
k⎝ p Mp + k ⎠<br />
Aplicando la transformada inversa:<br />
1 ⎛ ⎛ k ⎞⎞<br />
At () = ⎜1−cos t ⎟<br />
k⎜ ⎜ ⎟<br />
M ⎟<br />
.<br />
⎟<br />
⎝ ⎝ ⎠⎠<br />
b) Si, en cambio, f(t) es la función <strong>de</strong>lta <strong>de</strong> Dirac, δ ( x)<br />
y usamos la fórmula (2. 4. 4),<br />
queda:<br />
1<br />
L [ h]( p) = , 2<br />
Mp + k<br />
1 ⎛ k ⎞<br />
<strong>de</strong> don<strong>de</strong>: ht () = sin ⎜ t<br />
Mk ⎜ ⎟<br />
M ⎟<br />
.<br />
⎝ ⎠<br />
c) Para una función f(t) cualquiera las fórmulas, (2. 4. 3) y (2. 4. 5) quedan,<br />
respectivamente:<br />
1 ⎡t⎛ ⎛ k ⎞⎞ ⎛ ⎛ k ⎞⎞⎤<br />
x() t = ⎢ t τ cos ( t τ) f′ ( τ) dτ f ( 0) t cos t<br />
k ∫ ⎜ − + ⎜ − ⎟⎟ + ⎜ + ⎜ ⎟⎟⎥<br />
⎢<br />
⎜ ⎜ M ⎟⎟ ⎜ ⎜ M ⎟⎟<br />
⎝ ⎝ ⎠⎠ ⎝ ⎝ ⎠⎠⎥<br />
⎣0⎦ t<br />
1 ⎛ k ⎞<br />
x() t = ∫<br />
sin ⎜ ( t−τ) f ( τ) dτ<br />
Mk ⎜ ⎟<br />
M ⎟<br />
0 ⎝ ⎠<br />
75
Ejemplo 2. 4. 11: La corriente I(t) en un circuito eléctrico, con inductancia L y<br />
resistencia R y sobre el que actúa una fuerza electromotriz E(t) se mo<strong>de</strong>la con la<br />
dI<br />
+ = , 0 = 0.<br />
dt<br />
ecuación diferencial: L RI E() t I(<br />
)<br />
a) Si E(t) = E0 u(t) y aplicamos los métodos ya estudiados, queda:<br />
Aplicando la transformada inversa:<br />
E0 1 E0 ⎛ 1 L ⎞<br />
L [ I ] = ⋅ = ⎜ − ⎟.<br />
p Lp + R R ⎝ p Lp + R ⎠<br />
R<br />
E ⎛ − t ⎞<br />
0 I() t = 1 e L ⎜ − ⎟.<br />
R ⎜ ⎟<br />
⎝ ⎠<br />
b) Si, en cambio, E(t) = E0 δ ( t)<br />
, queda:<br />
0 [ ] E<br />
L I = ,<br />
Lp + R<br />
<strong>de</strong> don<strong>de</strong>: () 0<br />
R<br />
− t<br />
L<br />
E<br />
I t = e .<br />
L<br />
c) Supongamos, finalmente, que: ( ) 0<br />
E t = E senωt. Sabemos por la fórmula (2. 4. 6) que: y( t) = ( h∗ f )( t)<br />
, pero no conocemos h(t).<br />
Sin embargo, h(t) se pue<strong>de</strong> calcular fácilmente: en la parte b) <strong>de</strong>mostramos que si<br />
0<br />
E(t) = E0 δ () t , entonces ()<br />
Esto implica que si: E(t) = ( t)<br />
R<br />
− t<br />
L<br />
E<br />
I t = e .<br />
L<br />
1 −<br />
δ , entonces I L () t = e .<br />
L<br />
R t<br />
76
E − ( t−τ)<br />
0<br />
Así: I L<br />
() t = e sin ( ωτ) dτ<br />
L ∫ .<br />
t<br />
0<br />
R<br />
∫<br />
ax<br />
Si usamos la siguiente fórmula: sin ( sin cos )<br />
obtenemos:<br />
R<br />
− t<br />
L t R<br />
τ<br />
Ee 0 I() t = eL sin ( ωτ ) dτ<br />
L ∫<br />
0<br />
ax<br />
e<br />
e bxdx= a bx− b bx + C,<br />
2 2<br />
a + b<br />
⎛<br />
⎜<br />
⎜<br />
⎜<br />
⎜ ⎜⎜ ⎟<br />
⎝⎝ L ⎠<br />
⎛<br />
⎜<br />
⎝<br />
+ ω<br />
sinωτ ⎞<br />
⎟<br />
⎞<br />
ω cosωτ<br />
⎟<br />
⎟<br />
⎠⎟<br />
⎟<br />
⎠0<br />
⎛<br />
⎜<br />
⎜<br />
⎜<br />
⎜ ⎜⎜ ⎟<br />
⎝⎝ L⎠ + ω ⎜ ⎟<br />
⎝ L⎠<br />
⎞<br />
⎟<br />
⎟<br />
⎟<br />
+ ω ⎟<br />
⎠<br />
R<br />
LE ⎛ t<br />
0 R<br />
− ⎞<br />
= sinωt ωcos ωt ωe<br />
L .<br />
2 2 2 ⎜ − + ⎟<br />
R + Lω⎜<br />
L<br />
⎟<br />
⎝ ⎠<br />
R R<br />
− t<br />
τ<br />
Ee L L<br />
0 e R<br />
= −<br />
2<br />
L ⎛R⎞ L 2<br />
R R<br />
− t t<br />
Ee L<br />
0 eL⎛R ⎞ ω<br />
= sin t cos t<br />
2 ⎜ ω − ω ω ⎟+<br />
2<br />
L ⎛R⎞ L 2 ⎝ ⎠ ⎛ R⎞<br />
2<br />
t<br />
77
Capítulo 3: Ecuaciones <strong>de</strong> Volterra<br />
3. 1 Ecuaciones integrales.<br />
Una ecuación en que la incógnita es una función φ ( x)<br />
que aparece <strong>de</strong>ntro <strong>de</strong> una<br />
integral, se <strong>de</strong>nomina ecuación integral.<br />
Existen diferentes clasificaciones <strong>de</strong> las ecuaciones integrales.<br />
Si los límites <strong>de</strong> integración <strong>de</strong> la integral son constantes, la<br />
ecuación se <strong>de</strong>nomina Ecuación Integral <strong>de</strong> Fredholm, en<br />
honor al matemático sueco Erik Ivar Fredholm (1866 –<br />
1927) quien estableció las bases <strong>de</strong> las ecuaciones integrales<br />
al estudiar la electroestática y la teoría <strong>de</strong> potencial.<br />
Si uno <strong>de</strong> los límites <strong>de</strong> integración <strong>de</strong> la integral es variable,<br />
la ecuación se <strong>de</strong>nomina Ecuación Integral <strong>de</strong> Volterra, en<br />
honor al matemático italiano Vito Volterra (1860 – 1940) y<br />
sus estudios acerca <strong>de</strong> estas ecuaciones publicadas a fines<br />
<strong>de</strong>l siglo XIX.<br />
Si la función incógnita aparece solamente <strong>de</strong>ntro <strong>de</strong> la<br />
integral, la ecuación se <strong>de</strong>nomina Ecuación Integral <strong>de</strong>l<br />
primer tipo. Si, en cambio, aparece tanto <strong>de</strong>ntro como fuera<br />
Fig. 3.1: Fotografía <strong>de</strong><br />
Erik Fredholm<br />
<strong>de</strong> la integral, la ecuación se <strong>de</strong>nomina Ecuación Integral <strong>de</strong>l segundo tipo.<br />
Fig. 3.2: Fotografía <strong>de</strong><br />
Vito Volterra<br />
78
Estas <strong>de</strong>finiciones no son acuciosas, por lo que formalizaremos:<br />
Definición 3. 1. 1:<br />
Una ecuación integral <strong>de</strong> Fredholm <strong>de</strong>l primer tipo es una ecuación <strong>de</strong> la forma:<br />
b<br />
( ) ( , ) φ ( )<br />
f x = ∫ k x t t dt.<br />
a<br />
Una ecuación integral <strong>de</strong> Fredholm <strong>de</strong>l segundo tipo es una ecuación <strong>de</strong> la forma:<br />
( ) φ() ( , ) φ()<br />
b<br />
f x = t +∫ k x t t dt.<br />
Análogamente <strong>de</strong>finimos las ecuaciones <strong>de</strong> Volterra:<br />
Definición 3. 1. 2:<br />
a<br />
Una ecuación integral <strong>de</strong> Volterra <strong>de</strong>l primer tipo es una ecuación <strong>de</strong> la forma:<br />
x<br />
( ) ( , ) φ ( )<br />
f x = ∫ k x t t dt.<br />
a<br />
Una ecuación integral <strong>de</strong> Volterra <strong>de</strong>l segundo tipo es una ecuación <strong>de</strong> la forma:<br />
Observaciones:<br />
( ) φ() ( , ) φ()<br />
x<br />
f x = t +∫ k x t t dt.<br />
1. En ambos casos, las funciones f(x) y k(x, t) son funciones conocidas. k(x, t) se conoce<br />
como el kernel o núcleo <strong>de</strong> la ecuación integral.<br />
2. Si f(x) = 0, la ecuación integral se dice homogénea.<br />
a<br />
79
3. 2 Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l segundo tipo.<br />
Comenzaremos estudiando primero este tipo <strong>de</strong> ecuaciones, ya que los métodos que<br />
permiten resolver algunas <strong>de</strong> ellas, pue<strong>de</strong>n posteriormente adaptarse a las <strong>de</strong> primer tipo.<br />
Si el kernel en una ecuación <strong>de</strong> Volterra <strong>de</strong>l segundo tipo es <strong>de</strong> la forma k(x – t),<br />
entonces la ecuación se dice “<strong>de</strong>l tipo convolución”. Este tipo <strong>de</strong> ecuaciones se pue<strong>de</strong><br />
resolver usando el teorema <strong>de</strong> convolución, ya que una ecuación <strong>de</strong>l tipo convolución se<br />
pue<strong>de</strong> escribir como:<br />
f = φ + k∗<br />
φ . (3. 2. 1)<br />
Suponiendo a<strong>de</strong>más que f, φ y k admiten transformada <strong>de</strong> <strong>Laplace</strong> (que <strong>de</strong>nominaremos<br />
F, Φ y K respectivamente) po<strong>de</strong>mos aplicar la transformada a ambos lados, y se llega a:<br />
[ f ] = [ φ] + [ k∗φ]<br />
L L L<br />
⇒ F( p) =Φ ( p) + K( p) Φ(<br />
p)<br />
F( p)<br />
⇒Φ ( p) = , si K( p)<br />
≠−1.<br />
1 + K( p)<br />
Esto explica que, en teoría, es posible calcular φ ( x)<br />
, si se conocen f(x) y k(x) y si la<br />
ecuación es <strong>de</strong>l tipo convolución. Veremos algunos ejemplos a continuación.<br />
x<br />
y x 1 x t y( t) dt<br />
Ejemplo 3. 2. 2: Resolver la ecuación ( ) = − ( − )<br />
Solución:<br />
Usaremos el método, en vez <strong>de</strong> la fórmula. Esto es, aplicamos la transformada <strong>de</strong><br />
<strong>Laplace</strong> a ambos lados <strong>de</strong> la ecuación ( ) = − ( − )<br />
0<br />
∫<br />
0<br />
x<br />
y x 1 x t y( t) dt,<br />
y obtenemos:<br />
∫<br />
.<br />
80
Despejamos [ y]<br />
1 1 1<br />
L[ y] = −L[ x] ⋅ L[ y] = − ⋅ L 2 [ y]<br />
.<br />
p p p<br />
p<br />
L y = .<br />
1+<br />
p<br />
L y llegamos a: [ ] 2<br />
Finalmente, aplicamos la transformada inversa para obtener: y(x) = cos x.<br />
Ejemplo 3. 2. 3: Resolver la ecuación ( )<br />
Solución:<br />
⎡ ⎤<br />
y x = e + e y t dt .<br />
x<br />
⎢1 ⎣<br />
x<br />
∫<br />
0<br />
−t<br />
( ) ⎥<br />
⎦<br />
Fijémonos que la integral que aparece no es la convolución entre dos funciones. Para<br />
que aparezca la convolución, <strong>de</strong>bemos rescribir el ejercicio:<br />
x x x<br />
⎡ ⎤<br />
x −t x x −t x x−t y( x) = e ⎢1 + e ytdt ( ) ⎥=<br />
e + e e ytdt ( ) = e + e ytdta ( )<br />
⎣ 0 ⎦<br />
0 0<br />
∫ ∫ ∫ .<br />
Ahora aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados <strong>de</strong> la ecuación para<br />
obtener:<br />
Despejamos [ y]<br />
1 1 1<br />
L L L L<br />
p−1 ⎣ ⎦ p−1 p−1<br />
x<br />
[ y] = + ⎡e ⎤⋅<br />
[ y] = + [ y]<br />
1<br />
L y llegamos a: L[ y]<br />
=<br />
p − 2<br />
.<br />
Finalmente, aplicamos la transformada inversa para obtener: y(x) = e 2x .<br />
.<br />
81
x<br />
Ejemplo 3. 2. 4: Resolver la ecuación ( )<br />
Solución:<br />
x<br />
∫<br />
−<br />
e = y x + 2 cos( x−t) y( t) dt.<br />
Al igual que en los dos ejercicios anteriores, aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a<br />
ambos lados <strong>de</strong> la ecuación:<br />
0<br />
( p + 1)<br />
1 2p<br />
= L[ y] + 2L[ cosx]<br />
⋅ L[ y] = L[ y] + ⋅ L 2 [ y] = ⋅L<br />
2 [ y]<br />
.<br />
p + 1 p + 1 p + 1<br />
Despejamos [ y]<br />
p + 1<br />
L y llegamos a: L [ y]( p)<br />
= . 3<br />
p + 1<br />
2<br />
( )<br />
Para po<strong>de</strong>r aplicar la transformada inversa, es necesario <strong>de</strong>scomponer la fracción <strong>de</strong><br />
la <strong>de</strong>recha, mediante fracciones parciales. Así encontramos que:<br />
1 2 2<br />
L [ y]<br />
= − + .<br />
2 3<br />
p + 1 p+ 1 p+<br />
1<br />
( ) ( )<br />
Cada una <strong>de</strong> las fracciones se reconoce como transformada <strong>de</strong> <strong>Laplace</strong>. Es <strong>de</strong>cir:<br />
2<br />
[ ] = − 2 +<br />
−x−x −x<br />
L y L⎡e ⎤ L⎡xe ⎤ L ⎡x e ⎤.<br />
⎣ ⎦ ⎣ ⎦ ⎣ ⎦<br />
Finalmente, aplicamos la transformada inversa para obtener: y(x) = (x-1) 2 · e -x .<br />
Ejemplo 3. 2. 5: Resolver la ecuación ( ) ( )<br />
Solución:<br />
3sen 2 x = y x + ( x −t)<br />
y( t) dt .<br />
Nuevamente aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados <strong>de</strong> la ecuación:<br />
2 1 p + 1<br />
3 = L 2 [ y] + ⋅ L 2 [ y] = ⋅L<br />
2 [ y]<br />
.<br />
p + 4 p p<br />
2<br />
x<br />
∫<br />
0<br />
2<br />
82
Al <strong>de</strong>spejar [ y]<br />
6 p<br />
L obtenemos: L [ y]<br />
=<br />
, y usando fracciones parciales<br />
2 2<br />
p + 1 p + 4<br />
llegamos a la expresión: [ y]<br />
= − 2 2<br />
( )( )<br />
8 2<br />
L .<br />
p + 4 p + 1<br />
Aplicamos la transformada inversa, obtenemos la solución:<br />
y( x) = 4sin2x− 2sinx.<br />
Queremos <strong>de</strong>jar en claro que el método utilizado funcionó en los ejemplos anteriores,<br />
porque fuimos capaces <strong>de</strong> aplicar la transformada inversa <strong>de</strong> manera exitosa. Sin<br />
embargo, esto no siempre es posible. En estos casos, existe la siguiente alternativa:<br />
Calculamos anteriormente que si f φ k φ<br />
2<br />
= + ∗ , entonces: Φ ( p) = F( p)<br />
1<br />
.<br />
1 + K( p)<br />
1<br />
Si fuese la transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> alguna función, resolver la ecuación<br />
1 + K( p)<br />
sería muy fácil, ya que el lado <strong>de</strong>recho <strong>de</strong> la ecuación sería la transformada <strong>de</strong> la<br />
convolución.<br />
Desgraciadamente dicha fracción no pue<strong>de</strong> ser la transformada <strong>de</strong> ninguna función, ya<br />
que según el teorema 1. 3. 2, si F(p) es la transformada <strong>de</strong> una función f, entonces<br />
( ) = . Pero como ya sabemos que: K( p)<br />
lim F p 0<br />
p→∞<br />
1<br />
lim = 0 , entonces: lim = 1 ≠ 0<br />
p→∞<br />
p→∞1 + K p<br />
por lo tanto la fracción no pue<strong>de</strong> ser la transformada <strong>de</strong> ninguna función.<br />
( )<br />
83
Sin embargo con un pequeño truco algebraico es posible escribir:<br />
1 K( p)<br />
Φ ( p) = F( p) = F( p) −F(<br />
p)<br />
.<br />
1 + K( p) 1 + K( p)<br />
La fracción que aparece ahora, tien<strong>de</strong> a 0 cuando p tien<strong>de</strong> a infinito, por lo que podría ser<br />
la transformada <strong>de</strong> alguna función q(x). De ser así, po<strong>de</strong>mos escribir:<br />
( ) ( ) ( )<br />
Φ ( p) = F p − F p Q p .<br />
Y si aplicamos la transformada inversa queda:<br />
φ = f −q∗ f . (3. 2. 6)<br />
Esto quiere <strong>de</strong>cir que, si somos capaces <strong>de</strong> calcular q(x), hemos resuelto la ecuación.<br />
Fijémonos que la fórmula (3. 2. 6) es otra ecuación <strong>de</strong> Volterra <strong>de</strong>l segundo tipo. Es<br />
<strong>de</strong>cir hemos <strong>de</strong>mostrado:<br />
Teorema 3. 2. 7:<br />
Si una ecuación integral <strong>de</strong> Volterra <strong>de</strong>l segundo tipo es <strong>de</strong>l tipo convolución, es <strong>de</strong>cir si:<br />
x<br />
( ) = φ( ) + ( − ) φ(<br />
)<br />
∫<br />
f x x k x t t dt,<br />
entonces su solución es: φ ( ) = ( ) − ( − ) ( )<br />
0<br />
x<br />
∫<br />
x f x q x t f t dt,<br />
K( p)<br />
siempre y cuando: Q( p)<br />
= sea la transformada <strong>de</strong> alguna función q(x).<br />
1 + K( p)<br />
La función q(x) se <strong>de</strong>nomina kernel recíproco (o resolvente) <strong>de</strong> la ecuación.<br />
K( p)<br />
Es interesante notar que, a partir <strong>de</strong> Q( p)<br />
= , se pue<strong>de</strong> escribir:<br />
1 + K( p)<br />
Q(p) + Q(p)K(p) = K(p), y que si aplicamos la transformada inversa llegamos a que:<br />
0<br />
k = q+ q∗ k.<br />
(3. 2. 8)<br />
84
Es <strong>de</strong>cir, el kernel y el kernel recíproco también se relacionan mediante una ecuación <strong>de</strong><br />
Volterra <strong>de</strong>l segundo tipo, llamada ecuación resolvente.<br />
Ejemplo 3. 2. 9: Resolvamos nuevamente la ecuación<br />
Solución:<br />
( ) ( )<br />
3sin 2 x = y x + ( x−t) y( t) dt .<br />
1<br />
2<br />
K( p) p 1<br />
En este caso Q( p)<br />
= = =<br />
1 + K( p) 1<br />
1+<br />
1+<br />
p<br />
2<br />
p<br />
x x<br />
∫ ∫<br />
En segundo lugar, ( ) ( ) ( ) ( )<br />
0 0<br />
Finalmente, usando el teorema 3. 2. 7,<br />
x<br />
∫<br />
0<br />
2<br />
, por lo que: q(x) = sin x.<br />
q x− t f x dt = 3 sin x− t sin 2t dt = 2sin x−sin 2x<br />
y( t) = 4sin2x− 2sinx.<br />
Al aplicar la transformada <strong>de</strong> <strong>Laplace</strong> a la ecuación, tuvimos que usar fracciones<br />
parciales; usando el teorema 3. 2. 7 tuvimos que resolver una integral trigonométrica. A<br />
primera vista pareciera que ambos métodos son equivalentes en cuanto a dificultad<br />
algebraica, sin embargo, el teorema 3. 2. 7 es más general, ya que las fracciones<br />
parciales sólo sirven si hay una función racional. Esto, siempre y cuando encontrar q(x)<br />
sea simple, como lo fue en el ejemplo.<br />
85
Resolveremos a continuación algunas ecuaciones integrales <strong>de</strong> Volterra <strong>de</strong> segundo tipo.<br />
Obtendremos así algunas fórmulas muy conocidas en el estudio <strong>de</strong> estas ecuaciones.<br />
Para un listado más completo, remítase al Anexo C o a [6].<br />
Ejemplo 3. 2. 10: Resolver la ecuación ( ) ( )<br />
Solución:<br />
f x = y x +∫ y() t dt .<br />
1<br />
K( p) p 1<br />
En este caso Q( p)<br />
= = = , por lo que: q(x) = e<br />
1 + K( p) 1 1+<br />
p<br />
1 +<br />
p<br />
–x .<br />
Según el teorema 3. 2. 7: ( ) ( )<br />
()<br />
−( x−t) y x f x e f t dt<br />
x<br />
= −∫ .<br />
Ejemplo 3. 2. 11: Resolver la ecuación ( ) = ( ) + ( − )<br />
Solución:<br />
1<br />
2<br />
K( p) p 1<br />
En este caso Q( p)<br />
= = =<br />
1 + K( p) 1<br />
1+<br />
1+<br />
p<br />
2<br />
p<br />
0<br />
f x y x x t y() t dt.<br />
x<br />
y x f x sin x t f t dt<br />
Según el teorema 3. 2. 7: ( ) = ( ) − ( − ) ( )<br />
∫<br />
0<br />
2<br />
x<br />
0<br />
x<br />
∫<br />
0<br />
, por lo que: q(x) = sin x.<br />
f x y x x t y() t dt .<br />
Ejemplo 3. 2. 12: Resolver la ecuación ( ) ( ) ( ) 2<br />
= + −<br />
Solución:<br />
2<br />
3<br />
K( p) p<br />
En este caso Q( p)<br />
= =<br />
1 + K( p) 2<br />
1+<br />
3<br />
p<br />
2<br />
= 3<br />
2 + p<br />
.<br />
x<br />
∫<br />
0<br />
.<br />
86
a⎛ 1 p−2a ⎞<br />
3<br />
Usando fracciones parciales: Q( p) = ⎜ − , con a 2<br />
3 2 2 ⎟ = .<br />
3 ⎝ p + 2 p − ap+ a ⎠<br />
Reor<strong>de</strong>namos y obtenemos:<br />
Por lo tanto:<br />
⎛<br />
a 3a<br />
⎞<br />
⎜ p −<br />
⎟<br />
a 1<br />
Q p = ⎜ − 2 + 2 ⎟ con a=<br />
3 ⎜ p + 2 ⎛ a⎞ 3a ⎛ a⎞ 3a<br />
⎟<br />
⎜ ⎜ p− ⎟ + ⎜ p−<br />
⎟ + ⎟<br />
2 4 2 4<br />
⎟<br />
⎝ ⎝ ⎠ ⎝ ⎠ ⎠<br />
3<br />
( ) 3 , 2<br />
3 2 2 2 2<br />
3<br />
3 2<br />
3 3<br />
2<br />
⎛ 3 − x ⎡<br />
− 2x ⎛ 3 2 ⎞ ⎛ 3 2 ⎞⎤⎞<br />
qx ( ) = ⎜e−e 2 ⎢cos⎜ x⎟− 3sin⎜<br />
x⎟⎥⎟<br />
3 ⎜ ⎜ 2 ⎟ ⎜ 2 ⎟<br />
.<br />
⎢⎣ ⎝ ⎠ ⎝ ⎠⎥⎦<br />
⎟<br />
⎝ ⎠<br />
Según el teorema 3. 2. 7: ( ) = ( ) − ( − ) ( )<br />
x<br />
∫<br />
y x f x q x t f t dt .<br />
Ejemplo 3. 2. 13: Resolver la ecuación ( ) ( ) ( ) 3<br />
= + −<br />
Solución:<br />
3!<br />
p 6<br />
En este caso Q( p)<br />
= = .<br />
3! 4<br />
1 +<br />
p + 6<br />
4<br />
p<br />
Usando fracciones parciales y bastante álgebra:<br />
4<br />
0<br />
x<br />
∫<br />
f x y x x t y() t dt.<br />
⎛ ⎞<br />
⎜ ⎟<br />
3 ⎜ p+ 2a p− 2a<br />
⎟<br />
Q( p) = ⎜ − , con a 6<br />
2 2 ⎟ = .<br />
a 2a ⎜⎛ 2a ⎞ a ⎛ 2a<br />
⎞ a ⎟<br />
⎜ p+ + p−<br />
+<br />
⎜<br />
⎜ ⎟ ⎜ ⎟ ⎟<br />
2 ⎟ 2 ⎜ 2 ⎟ 2 ⎟<br />
⎝⎝ ⎠ ⎝ ⎠ ⎠<br />
Reor<strong>de</strong>namos y obtenemos:<br />
⎛ ⎡ ⎤ ⎞<br />
⎜ 2a a ⎢ 2a<br />
a ⎥ ⎟<br />
3 ⎜ p+ ( )<br />
2 2 ⎢<br />
p−<br />
2<br />
2 ⎥ ⎟<br />
Q p = ⎜ + − 2 2 ⎢ − 2 2 ⎥ ⎟<br />
a 2a ⎜⎛ 2a ⎞ a ⎛ 2a ⎞ a ⎢⎛ 2a ⎞ a ⎛ 2a<br />
⎞ a⎥⎟<br />
⎜ p+ + p+ + p− + p−<br />
+<br />
⎜<br />
⎜ ⎟ ⎜ ⎟<br />
2 2 2 2<br />
⎢⎜ ⎟ ⎜ ⎟ ⎟<br />
2 2 2 2<br />
⎥<br />
⎝ ⎠ ⎝ ⎠ ⎝ ⎠ ⎝ ⎠<br />
⎟<br />
⎝ ⎣ ⎦ ⎠<br />
0<br />
.<br />
87
Por lo tanto:<br />
3 ⎛ −<br />
qx ( ) = ⎜e a 2a<br />
⎜<br />
⎝<br />
2a x ⎛<br />
2 cos ⎜<br />
⎝<br />
a ⎞ −<br />
x⎟ 2 ⎟<br />
+ e<br />
⎠<br />
2a x ⎛<br />
2 sin ⎜<br />
⎝<br />
a ⎞<br />
x⎟ 2 ⎟<br />
− e<br />
⎠<br />
2a x ⎛<br />
2 cos ⎜<br />
⎝<br />
a ⎞<br />
x⎟ e<br />
2 ⎟<br />
+<br />
⎠<br />
2a<br />
x ⎛<br />
2 sin ⎜<br />
⎝<br />
a ⎞⎞<br />
x⎟⎟<br />
2 ⎟<br />
⎠<br />
⎟<br />
⎠<br />
3 ⎛ ⎛<br />
= ⎜2cosh a 2a<br />
⎜<br />
⎜<br />
⎝ ⎝<br />
a ⎞ ⎛<br />
x⎟sin 2 ⎟ ⎜<br />
⎠ ⎝<br />
a ⎞ ⎛<br />
x⎟−2sinh 2 ⎟ ⎜<br />
⎠ ⎝<br />
a ⎞ ⎛<br />
x⎟cos ⎜<br />
2 ⎟ ⎜<br />
⎠ ⎝<br />
a ⎞⎞<br />
x⎟⎟.<br />
2 ⎟⎟<br />
⎠⎠<br />
Si hacemos:<br />
4 3<br />
k = , obtenemos finalmente:<br />
2<br />
( ( ) ( ) ( ) ( ) )<br />
qx ( ) = k cosh kxsin kx− sinh kxcos kx .<br />
Según el teorema 3. 2. 7: ( ) = ( ) − ( − ) ( )<br />
x<br />
∫<br />
y x f x q x t f t dt.<br />
Ejemplo 3. 2. 14: Resolver la ecuación integral <strong>de</strong> Abel <strong>de</strong> segundo tipo:<br />
Solución:<br />
0<br />
x<br />
yt ()<br />
f ( x) = y( x) + ∫ dt<br />
x − t<br />
En este caso, recurriremos a un truco algebraico, ya que el método utilizado en los<br />
ejemplos anteriores no conduce a ningún resultado satisfactorio.<br />
− 1<br />
2<br />
Sabemos, según el ejemplo (1. 3. 5), que: L x ( p)<br />
0<br />
⎡ ⎤ =<br />
⎣ ⎦<br />
Por lo tanto, si aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados <strong>de</strong> la ecuación,<br />
π<br />
p<br />
.<br />
π<br />
.<br />
p<br />
obtendremos: F ( p) = Y( p) + Y( p)<br />
, <strong>de</strong> don<strong>de</strong>: Y( p) F( p)<br />
Si racionalizamos llegamos a:<br />
1<br />
= ⋅ .<br />
π<br />
1+<br />
p<br />
⎛ π ⎞ 1 ⎛ π ⎞ p ⎛ π ⎞⎛ π ⎞<br />
Y( p) = F( p) ⋅ ⎜<br />
1− ⎟ F( p) 1 F( p)<br />
1 1<br />
p ⎟<br />
= ⋅⎜ π ⎜<br />
− ⎟ = ⋅ − +<br />
1<br />
p ⎟ ⎜ ⎟⎜ ⎟<br />
p π ⎜ p ⎟<br />
.<br />
⎝ ⎠ − ⎝ ⎠ − ⎝ ⎠⎝<br />
p−π⎠<br />
p<br />
Distribuimos:<br />
88
⎛<br />
Y( p) = F( p) ⋅ ⎜<br />
1− ⎝<br />
π ⎞ 1 ⎛<br />
⎟ F( p)<br />
1<br />
p ⎟<br />
+ π<br />
⋅⎜ p π ⎜<br />
−<br />
⎠ − ⎝<br />
π ⎞<br />
⎟<br />
p ⎟<br />
⎠<br />
1<br />
=Ψ ( p) + π Ψ( p) ,<br />
p − π<br />
⎛<br />
con Ψ ( p) = F( p)<br />
⋅ ⎜<br />
1 −<br />
⎝<br />
π ⎞<br />
⎟.<br />
p ⎟<br />
⎠<br />
Fijémonos ahora que ( p) F( p) F( p)<br />
π<br />
Ψ = − es la transformada <strong>de</strong><br />
p<br />
π x<br />
Por lo tanto: y( x) ψ ( x) πe ψ ( x)<br />
= + ∗ .<br />
Ejemplo 3. 2. 15: Resolver la ecuación ( ) ( )<br />
Solución:<br />
1<br />
p−k 1<br />
En este caso Q( p)<br />
= =<br />
1 p−k −1<br />
1 +<br />
p−k Según el teorema 3. 2. 7: ( ) ( )<br />
k( x−t) f x y x e y() t dt<br />
x<br />
= +∫ .<br />
. Por lo tanto: ( )<br />
( )<br />
x<br />
()<br />
( k−1)( x−t) y x f x e f t dt<br />
= −∫ .<br />
Ejemplo 3. 2. 16: Resolver la ecuación ( ) ( )<br />
Solución:<br />
1 1<br />
−<br />
p−k p k<br />
En este caso Q( p)<br />
= = .<br />
1 1 2<br />
1 + −<br />
p − kp + k<br />
p−k p<br />
0<br />
0<br />
x<br />
( 1)<br />
q x e −<br />
k x<br />
= .<br />
89<br />
1<br />
−<br />
2<br />
ψ = f − f ∗ x .<br />
k( x−t) f x = y x + ⎡e 1 ⎤ ∫ − y( t) dt; con k ≠0<br />
⎣ ⎦<br />
Para <strong>de</strong>terminar q(x), necesitamos saber si el polinomio <strong>de</strong> segundo grado es<br />
factorizable o no. Existen tres casos:<br />
0<br />
.
Caso 1: si k = 4<br />
2<br />
En este caso, el discriminante es: Δ = k − 4k = 0 y por lo tanto<br />
Q( p)<br />
=<br />
2<br />
En consecuencia: q( x) 4xe<br />
Caso 2: si k ∈ ] 0, 4[<br />
x<br />
= .<br />
4<br />
( ) 2<br />
p − 2<br />
.<br />
2<br />
En este caso, el discriminante es: Δ = k − 4k < 0 y por lo tanto el polinomio<br />
2<br />
p − kp + k es irreductible. Si completamos cuadrado <strong>de</strong> binomio lo po<strong>de</strong>mos<br />
⎛ k ⎞ Δ<br />
escribir como: ⎜ p − ⎟ − .<br />
⎝ 2⎠ 4<br />
2<br />
Entonces tenemos que:<br />
k<br />
Q( p)<br />
= =<br />
2<br />
⎛ k⎞ −Δ<br />
⎜ p− ⎟ +<br />
⎝ 2⎠ 4<br />
−Δ<br />
2k 2 .<br />
2<br />
−Δ ⎛ k⎞<br />
−Δ<br />
⎜ p−<br />
⎟ +<br />
⎝ 2⎠ 4<br />
En consecuencia: ( ) 2<br />
Caso 3: si k ∈−∞ ] ,0[ ∪] 4, ∞ [<br />
k x<br />
2k<br />
⎛ −Δ ⎞<br />
q x = e sin ⎜ x⎟<br />
−Δ<br />
⎜ 2 ⎟<br />
.<br />
⎝ ⎠<br />
2<br />
En este caso, el discriminante es: Δ = k − 4k > 0 y por lo tanto el polinomio<br />
2<br />
⎛ k + Δ ⎞⎛ k − Δ ⎞<br />
p − kp + k se pue<strong>de</strong> factorizar como: ⎜<br />
p− ⎟⎜ p−<br />
⎟<br />
2 ⎟⎜ 2 ⎟<br />
.<br />
⎝ ⎠⎝ ⎠<br />
Si usamos fracciones parciales, obtendremos:<br />
⎛ ⎞<br />
k k<br />
⎜<br />
1 1<br />
⎟<br />
Q( p)<br />
= = ⎜ −<br />
⎟.<br />
⎛ k + Δ ⎞⎛ k − Δ ⎞ Δ ⎜ k + Δ k − Δ ⎟<br />
⎜ p p<br />
p− p−<br />
⎜<br />
− ⎟⎜ − ⎜ ⎟<br />
2 ⎟⎜ ⎟<br />
2 ⎟<br />
⎝ ⎠⎝ ⎠<br />
⎝ 2 2 ⎠<br />
k k k<br />
k ⎛ + Δ − Δ<br />
x x ⎞ 2k<br />
x ⎛ Δ ⎞<br />
q x = ⎜e − e ⎟=<br />
e sinh ⎜ x⎟<br />
Δ ⎜ ⎟ Δ<br />
⎜ 2 ⎟<br />
.<br />
⎝ ⎠<br />
⎝ ⎠<br />
En consecuencia: ( ) 2 2 2<br />
90
En resumen, según el teorema 3. 2. 7: ( ) = ( ) − ( − ) ( )<br />
x<br />
∫<br />
y x f x q x t f t dt , don<strong>de</strong>:<br />
⎧<br />
⎪ 2x<br />
4xe si k = 4<br />
⎪<br />
⎪<br />
⎪ k<br />
⎪ 2k<br />
⎛ Δ ⎞<br />
q 2<br />
( x) = ⎨ e sin ⎜ x⎟ si k∈]<br />
0, 4[<br />
, con<br />
⎪ Δ ⎜ 2 ⎟<br />
⎝ ⎠<br />
⎪<br />
⎪ k<br />
2k<br />
⎛ Δ ⎞<br />
⎪ e2sinh ⎜ x⎟ si k∈]<br />
−∞,0[ ∪ ] 4, ∞[<br />
⎪ Δ ⎜ 2 ⎟<br />
⎩<br />
⎝ ⎠<br />
Ejemplo 3. 2. 17: Resolver la ecuación ( ) = ( ) + ( − )<br />
Solución:<br />
( )<br />
p−k 1<br />
En este caso Q( p)<br />
= =<br />
1 2<br />
1 +<br />
( p− k)<br />
+ 1<br />
2<br />
p−k 1<br />
2<br />
( )<br />
Según el teorema 3. 2. 7: ( ) ( )<br />
x<br />
0<br />
x<br />
2<br />
Δ= k − 4k.<br />
k( x−t) f x y x x t e y() t dt<br />
∫<br />
0<br />
kx<br />
. Por lo tanto: ( ) sin<br />
( ) ( )<br />
k( x−t) y x = f x − e sin x−t f t dt<br />
∫<br />
0<br />
q x = e x.<br />
x<br />
f x = y x + cosh ⎡⎣k x−t ⎤⎦<br />
y( t) dt<br />
Ejemplo 3. 2. 18: Resolver la ecuación ( ) ( ) ( )<br />
Solución:<br />
2 2<br />
p − k p<br />
En este caso Q( p)<br />
= =<br />
p<br />
1 +<br />
p + p−k 2 2<br />
p − k<br />
p<br />
2 2<br />
2<br />
El discriminante <strong>de</strong>l polinomio <strong>de</strong> segundo grado es Δ = 4k+ 1> 0.<br />
.<br />
∫<br />
0<br />
.<br />
.<br />
.<br />
91
Esto significa que dicho polinomio es factorizable. Aplicamos fracciones parciales y<br />
⎛ ⎞<br />
1<br />
⎜<br />
Δ−1 Δ+ 1<br />
⎟<br />
obtenemos: Q( p)<br />
= ⎜ +<br />
⎟.<br />
2 Δ ⎜ − 1+ Δ −1− Δ ⎟<br />
⎜ p− p−<br />
⎟<br />
⎝ 2 2 ⎠<br />
Por lo tanto:<br />
1 ⎛<br />
q( x) = ⎜( 2 Δ ⎜<br />
⎝<br />
Δ − 1) e<br />
Δ−1 x<br />
2 + (<br />
−<br />
Δ + 1)<br />
e<br />
Δ+ 1<br />
x ⎞<br />
2 ⎟<br />
⎟<br />
⎠<br />
1<br />
1 − x ⎛<br />
= e 2 ⎜<br />
2 Δ ⎜<br />
⎝<br />
⎛ Δ Δ Δ Δ<br />
x − x ⎞ ⎛ x − x ⎞⎞<br />
Δ ⎜e 2 + e 2 ⎟−⎜e 2 −e<br />
2 ⎟⎟.<br />
⎜ ⎟ ⎜ ⎟⎟<br />
⎝ ⎠ ⎝ ⎠⎠<br />
=<br />
1<br />
1 − x ⎛<br />
e 2 ⎜<br />
Δ ⎜<br />
⎝<br />
⎛<br />
Δcosh ⎜<br />
⎝<br />
Δ ⎞ ⎛<br />
x⎟−sinh ⎜<br />
2 ⎟ ⎜<br />
⎠ ⎝<br />
Δ ⎞⎞<br />
x⎟⎟<br />
2 ⎟⎟<br />
⎠⎠<br />
Según el teorema 3. 2. 7: ( ) = ( ) − ( − ) ( )<br />
x<br />
∫<br />
y x f x q x t f t dt .<br />
Ejemplo 3. 2. 19: Resolver la ecuación ( ) ( ) ( )<br />
Solución:<br />
2 2<br />
p − k k<br />
En este caso Q( p)<br />
= =<br />
k<br />
1 +<br />
p + k −k<br />
2 2<br />
p − k<br />
k<br />
0<br />
2 2<br />
x<br />
f x = y x + sinh ⎡⎣k x−t ⎤⎦<br />
y( t) dt<br />
Para <strong>de</strong>terminar q(x), necesitamos saber si el polinomio <strong>de</strong> segundo grado es<br />
factorizable o no. Existen tres casos:<br />
Caso 1: si k = 1<br />
1<br />
En este caso: Q( p)<br />
= . 2<br />
p<br />
En consecuencia: q( x) = x.<br />
.<br />
∫<br />
0<br />
.<br />
92
Caso 2: si k ∈ ] 0,1[<br />
Si ] 0,1[<br />
2<br />
k ∈ , entonces: k − k > 0 y por lo tanto el polinomio<br />
k<br />
= = − .<br />
A<br />
2<br />
irreductible. En consecuencia: q( x) sin ( Ax) , con A k k<br />
Caso 3: si k ∈−∞ ] ,0[ ∪] 1, ∞ [<br />
En este caso,<br />
2<br />
− < 0 y por lo tanto el polinomio<br />
k k<br />
2<br />
factorizar como: ( p A)( p A) , con A k k<br />
+ − = − .<br />
Si usamos fracciones parciales, obtendremos:<br />
k k ⎛ 1 1 ⎞<br />
Q( p)<br />
= = ⎜ − ⎟.<br />
( p + A)( p− A) 2A⎝<br />
p− A p+ A⎠<br />
k k<br />
= − = .<br />
2A<br />
A<br />
Ax − Ax<br />
En consecuencia: q( x) ( e e ) sinh ( Ax)<br />
En resumen, según el teorema 3. 2. 7: ( ) = ( ) − ( − ) ( )<br />
⎧<br />
⎪x<br />
si k = 1<br />
⎪ k<br />
q( x) = ⎨ sin ( Ax) si k∈]<br />
0,1[<br />
⎪ A<br />
⎪ k<br />
⎪ sinh , 0 1,<br />
⎩ A<br />
( Ax) si k ∈] −∞ [ ∪ ] ∞[<br />
x<br />
∫<br />
0<br />
2 2<br />
p + k −k es<br />
2 2<br />
p + k −k se pue<strong>de</strong><br />
y x f x q x t f t dt , don<strong>de</strong>:<br />
, con<br />
2<br />
A= k − k .<br />
93
3. 3 Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l primer tipo.<br />
Analicemos ahora las ecuaciones <strong>de</strong> Volterra <strong>de</strong>l primer tipo.<br />
Un primer método para resolverlas es el que usamos anteriormente, es <strong>de</strong>cir, aplicar <strong>de</strong><br />
inmediato la transformada <strong>de</strong> <strong>Laplace</strong> a la ecuación. Así, la ecuación <strong>de</strong> Volterra <strong>de</strong><br />
primer tipo: ( ) = ( − ) φ ( )<br />
x<br />
f x ∫ k x t t dt,<br />
quedará: F( p) = K( p) Φ ( p)<br />
, <strong>de</strong> don<strong>de</strong>:<br />
0<br />
F( p)<br />
Φ ( p)<br />
= . (3. 3. 1)<br />
K( p)<br />
x x t y() t dt.<br />
2<br />
Ejemplo 3. 3. 2: Resolver la ecuación = ( − )<br />
Solución:<br />
Aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados <strong>de</strong> la ecuación y obtenemos:<br />
Despejamos [ y]<br />
2 1<br />
= L[ x] ⋅ L[ y] = ⋅ L[<br />
y]<br />
.<br />
3 2<br />
p p<br />
2<br />
L y llegamos a: L [ y]<br />
= .<br />
p<br />
2<br />
Por lo tanto, la solución a = ( − )<br />
x<br />
x ∫ x t y() t dt es: y(x) = 2.<br />
0<br />
Debemos aclarar sin embargo, que lo más probable es que este método no funcione. La<br />
F( p)<br />
explicación <strong>de</strong> por qué el método en general fallará, es porque, para que<br />
K( p )<br />
sea<br />
x<br />
∫<br />
0<br />
94
efectivamente la transformada <strong>de</strong> alguna función, <strong>de</strong>be converger a 0 a medida que p<br />
tien<strong>de</strong> a infinito y eso no es necesariamente claro ni cierto.<br />
Una segunda forma <strong>de</strong> resolver una ecuación <strong>de</strong> Volterra <strong>de</strong>l primer tipo es usando el<br />
mismo método que usamos en la sección 2. 4 para <strong>de</strong>terminar la fórmula 2. 4. 3. De esa<br />
manera podremos transformar, bajo ciertas condiciones <strong>de</strong>l kernel, una ecuación <strong>de</strong>l<br />
primer tipo en una <strong>de</strong>l segundo tipo, que ya hemos analizado.<br />
En efecto, si <strong>de</strong>rivamos a ambos lados <strong>de</strong> la ecuación ( ) = ( − ) φ ( )<br />
respecto a x, obtenemos: ′ ( ) = ( − ) φ ( )<br />
x<br />
d<br />
f x k x t t dt<br />
dx ∫<br />
.<br />
Si aplicamos la Regla <strong>de</strong> Leibnitz, se llega a:<br />
0<br />
( ) = ( 0)<br />
φ( ) + ( − ) φ(<br />
)<br />
x<br />
0<br />
x<br />
f x ∫ k x t t dt con<br />
f ′ x k x ∫ k′ x t t dt.<br />
(3. 3. 3)<br />
Si k ( 0) ≠ 0,<br />
la ecuación (3. 3. 3) es una ecuación <strong>de</strong> Volterra <strong>de</strong>l segundo tipo.<br />
Si k(0) = 0, la ecuación (3. 3. 3) queda: ′ ( ) = ′ ( − ) φ ( )<br />
x<br />
f x k x t t dt,<br />
es <strong>de</strong>cir queda<br />
nuevamente una ecuación <strong>de</strong>l primer tipo. En este caso, volvemos a usar el<br />
procedimiento: <strong>de</strong>rivamos a ambos lados y aplicamos la regla <strong>de</strong> Leibnitz. Esto se repite<br />
hasta que en alguna iteración <strong>de</strong>l procedimiento que<strong>de</strong> una ecuación <strong>de</strong>l segundo tipo.<br />
∫<br />
0<br />
0<br />
95
Sin embargo, <strong>de</strong>jamos claro que lo anterior es sólo un esquema que pue<strong>de</strong> funcionar en<br />
muchos casos, pero en otros no es posible. Por ejemplo, si ( )<br />
<strong>de</strong> Leibnitz queda una división por 0, ya que k(0) no está <strong>de</strong>finido.<br />
Formalizaremos lo anterior en un teorema:<br />
Teorema 3. 3. 4:<br />
1<br />
2<br />
96<br />
k x x −<br />
= , al aplicar la regla<br />
Supongamos que una ecuación integral <strong>de</strong> Volterra <strong>de</strong>l primer tipo es <strong>de</strong>l tipo<br />
convolución, es <strong>de</strong>cir: ( ) = ( − ) φ ( )<br />
x<br />
∫<br />
f x k x t t dt.<br />
0<br />
Supongamos a<strong>de</strong>más que f y k admiten <strong>de</strong>rivadas hasta <strong>de</strong> or<strong>de</strong>n n + 1, que<br />
( i)<br />
( 0) = 0, ∀ ∈{ 0,1,2, , −1}<br />
k i … n y que<br />
( n)<br />
( )<br />
k 0 ≠ 0.<br />
Entonces la ecuación <strong>de</strong> Volterra <strong>de</strong>l primer tipo es equivalente a la ecuación <strong>de</strong>l<br />
segundo tipo:<br />
x<br />
n+ 1 n n+<br />
1<br />
( ) ( )<br />
( )<br />
( 0)<br />
( )<br />
0<br />
( ) ( ) ( )<br />
f x = k φ x + ∫ k x−t φ t dt.<br />
(3. 3. 5)<br />
Ejemplo 3. 3. 6: Resolver la ecuación<br />
Solución:<br />
x<br />
x−t x = ∫ e y() t dt.<br />
In<strong>de</strong>pendientemente que esta ecuación pue<strong>de</strong> resolverse con el primer método, lo<br />
resolveremos con el teorema 3. 3. 4 para mostrar cómo funciona.<br />
x<br />
En este caso: k( x) = e , ( )<br />
k 0 ≠ 0.<br />
0
Por lo tanto, usamos la fórmula 3. 3. 5 con n = 0. La fórmula queda:<br />
x<br />
x−t ( ) ( )<br />
1 = y x +∫ e y t dt.<br />
0<br />
Según el ejemplo 3. 2. 15, sabemos que la solución a esta ecuación es:<br />
( )<br />
x<br />
( 11 − )( x−t) y x = 1− e dt = 1−<br />
x<br />
Dijimos que por ejemplo, si ( )<br />
∫<br />
0<br />
1<br />
2<br />
.<br />
k x x −<br />
= , no es posible usar el teorema 3. 3. 4. En estos<br />
casos existe un tercer método. En vez <strong>de</strong> resolver la ecuación ( ) = ( − ) φ ( )<br />
resolveremos la ecuación ( ) = ( − ) ( )<br />
x<br />
0<br />
x<br />
∫<br />
f x k x t t dt,<br />
f x ∫ k x t y t dt,<br />
con la condición: y( x) = ∫ φ ( t) dt.<br />
En realidad estamos resolviendo la misma ecuación, pero para una primitiva <strong>de</strong> la<br />
función buscada. Sin embargo, la condición impuesta nos llevara a un nuevo resultado.<br />
En efecto, si aplicamos la transformada <strong>de</strong> <strong>Laplace</strong> a ambos lados <strong>de</strong> esta condición y<br />
usamos la fórmula (1. 4. 11), nos damos cuenta que:<br />
( ) =L ( ) ( p ) =L φ ( )<br />
x ⎡ ⎤ Φ<br />
Y p ⎡⎣y x ⎤ ⎦ ⎢ s ds⎥=<br />
⎢ ⎥<br />
∫<br />
⎣0⎦ Pero como la fórmula (3. 3. 1) establece que:<br />
( p)<br />
F( p)<br />
Y( p)<br />
= . (3. 3. 7)<br />
p K( p)<br />
p<br />
.<br />
F( p)<br />
Φ ( p)<br />
= , obtenemos que:<br />
K( p)<br />
0<br />
x<br />
0<br />
97
F( p)<br />
F( p)<br />
Si no es la transformada <strong>de</strong> alguna función, bien podría serlo y <strong>de</strong> ser así,<br />
K( p )<br />
p K( p )<br />
po<strong>de</strong>mos calcular y(x). Una vez calculada y(x), basta <strong>de</strong>rivar ( ) φ ( )<br />
lados para obtener la función buscada.<br />
x<br />
y x = ∫ t dt a ambos<br />
Po<strong>de</strong>mos generalizar esta i<strong>de</strong>a, ya que la fórmula (1. 4. 11. 2) señala que<br />
( p)<br />
⎡ x x ⎤<br />
n F<br />
F( p)<br />
L ⎢∫∫<br />
f ()( s ds)<br />
⎥ = , <strong>de</strong> manera que, en vez <strong>de</strong> llegar a: Y( p)<br />
= , llegaremos<br />
n<br />
⎢⎣<br />
⎥⎦<br />
p<br />
p K( p)<br />
0 0<br />
F( p)<br />
a Y( p)<br />
= .<br />
n<br />
p K( p)<br />
Es <strong>de</strong>cir, primero probamos con<br />
F( p)<br />
Φ ( p)<br />
= . Si falla el método, buscamos el primer<br />
K( p)<br />
F( p)<br />
valor <strong>de</strong> n, tal que Yn( p)<br />
= se pueda resolver. Luego calculamos yn(x) y<br />
n<br />
p K( p)<br />
finalmente lo <strong>de</strong>rivamos n veces para encontrar la función buscada.<br />
En este método hay que tener cuidado en lo siguiente: al hacer ( ) φ ( )<br />
0<br />
x<br />
y x = ∫ t dt,<br />
la<br />
función y(x) cumple la condición y(0) = 0. Por lo tanto, al usar un valor <strong>de</strong> n mayor que<br />
1, hay que analizar si se <strong>de</strong>be cumplir: ( ) ′ ( )<br />
( n 1)<br />
( )<br />
y 0 y 0 ... y 0 0<br />
−<br />
= = = = .<br />
0<br />
98
Resolveremos a continuación algunas ecuaciones integrales <strong>de</strong> Volterra <strong>de</strong> primer tipo.<br />
Ejemplo 3. 3. 8: Resolver la ecuación ( )<br />
Solución:<br />
Y( p)<br />
En este caso F( p)<br />
2<br />
p<br />
x<br />
f x = ( x−t) y( t) dt<br />
2<br />
= , por lo que: Y( p) p F( p)<br />
∫<br />
0<br />
= .<br />
No sabemos si esta última expresión es la transformada <strong>de</strong> alguna función.<br />
2<br />
( )<br />
pF p<br />
Sin embargo, Y2( p) = = F( p)<br />
, por lo que: y2(x) = f(x).<br />
2<br />
p<br />
Derivando 2 veces, obtenemos la solución a la ecuación <strong>de</strong> Volterra:<br />
x<br />
f x = ∫ ( x−t) y( t) dt,<br />
entonces: y( x) f ′′ ( x)<br />
Si ( )<br />
0<br />
.<br />
= , siempre y cuando: f ( ) f ′ ( )<br />
Observemos que la ecuación <strong>de</strong>l ejemplo 3. 3. 2 era <strong>de</strong> la forma <strong>de</strong> este tipo <strong>de</strong><br />
99<br />
0 = 0 = 0.<br />
ecuaciones, con f(x) = x 2 . Y efectivamente, la solución era y(x) = 2, que es la segunda<br />
<strong>de</strong>rivada <strong>de</strong> f(x).<br />
Ejemplo 3. 3. 9: Resolver la ecuación ( )<br />
Solución:<br />
x<br />
f x =<br />
n<br />
( x−t) y( t) dt<br />
nY ! ( p)<br />
En este caso F( p)<br />
n 1<br />
p +<br />
p F p<br />
= , por lo que: Y( p)<br />
= .<br />
n!<br />
No sabemos si esta última expresión es la transformada <strong>de</strong> alguna función.<br />
Sin embargo, Y ( p)<br />
∫<br />
0<br />
n+<br />
1<br />
( )<br />
n+<br />
1<br />
p F( p) F( p)<br />
= = , por lo que: y ( x)<br />
n+ 1 n+<br />
1<br />
n! p<br />
n!<br />
n 1<br />
.<br />
( )<br />
f x<br />
+ = .<br />
n!<br />
Derivando n + 1 veces, obtenemos la solución a la ecuación <strong>de</strong> Volterra:<br />
( n+<br />
1)<br />
f ( x)<br />
( ) = , siempre y cuando: ( ) ′ ( )<br />
y x<br />
n!<br />
( n)<br />
( )<br />
f 0 = f 0 = ... = f 0 = 0 .
Ejemplo 3. 3. 10: Resolver la ecuación ( )<br />
Solución:<br />
La transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> f ( x) = x es<br />
queda:<br />
x<br />
∫<br />
f x = x−ty() t dt.<br />
0<br />
π 1<br />
F( p)<br />
= , por lo que la ecuación<br />
p 2 p<br />
( ) 2<br />
F( p) =<br />
π 1<br />
2 pF p<br />
Y( p)<br />
, y, en consecuencia: Y( p) =<br />
p 2 p<br />
π<br />
p<br />
2<br />
= p<br />
π<br />
π<br />
F( p)<br />
.<br />
p<br />
Dividiendo por p 2 , obtenemos:, 2<br />
2 π<br />
Y ( p) F( p)<br />
π p<br />
= , por lo que: ( )<br />
Derivando, obtenemos la solución a la ecuación <strong>de</strong> Volterra:<br />
0<br />
( )<br />
0<br />
( )<br />
100<br />
2<br />
2<br />
x<br />
f t<br />
y x = dt<br />
π ∫ .<br />
x − t<br />
2 x<br />
2 d f t<br />
y( x) =<br />
dt<br />
2 π ∫ , siempre y cuando: f ( 0) = 0.<br />
dx x − t<br />
En este caso, no es necesaria la condición f ′ ( 0) = 0,<br />
ya que como y2(x) es una<br />
integral, la condición se requiere sólo a partir <strong>de</strong> y1.<br />
Por ejemplo, si f(x) = x (que no cumple f ′ ( 0) = 0),<br />
es fácil comprobar que<br />
3<br />
2<br />
8<br />
yx ( ) = x es la solución a la ecuación <strong>de</strong> Volterra y que cumple la fórmula<br />
3π<br />
0<br />
()<br />
2 x<br />
2 d f t<br />
y( x) =<br />
dt<br />
2 π ∫ .<br />
dx x − t<br />
Al estudiar el problema mecánico <strong>de</strong> Abel en el capítulo anterior, llegamos a la<br />
1<br />
1<br />
T y ∫ y v s v dv.<br />
2g<br />
−<br />
expresión: ( ) = ( − ) 2 ′ ( )<br />
y<br />
0<br />
Esta es una ecuación <strong>de</strong> Volterra <strong>de</strong>l primer tipo, que resolveremos a continuación.
Ejemplo 3. 3. 11: Resolver la ecuación integral <strong>de</strong> Abel: ( )<br />
Solución:<br />
x<br />
yt ()<br />
f x = ∫ dt<br />
x − t<br />
π<br />
Aplicando la transformada <strong>de</strong> <strong>Laplace</strong> queda: F( p) = Y( p)<br />
, por lo que:<br />
p<br />
( )<br />
F p<br />
Y( p) =<br />
π<br />
p<br />
p<br />
=<br />
π<br />
π<br />
F( p)<br />
.<br />
p<br />
1 π<br />
Dividiendo por p, obtenemos:, Y1( p) F( p)<br />
π p<br />
= , por lo que: ( )<br />
Derivando, obtenemos la solución a la ecuación <strong>de</strong> Volterra:<br />
0<br />
( )<br />
x<br />
1 d f t<br />
y( x) =<br />
dt<br />
π dx ∫ .<br />
x − t<br />
0<br />
0<br />
.<br />
( )<br />
1<br />
1<br />
x<br />
f t<br />
y x = dt<br />
π ∫ .<br />
x − t<br />
Usando la regla <strong>de</strong> Leibnitz y la conmutatividad <strong>de</strong> la convolución, po<strong>de</strong>mos escribir:<br />
() ( − ) ′ ( − ) ( 0) ′ () ( 0)<br />
x x x x<br />
d f t d f x t f x t f f t f<br />
dt = dt = dt + = dt +<br />
dx x −t dx t t x x−t x<br />
∫ ∫ ∫ ∫ .<br />
0 0 0 0<br />
Por lo tanto, la solución a la ecuación integral <strong>de</strong> Abel se pue<strong>de</strong> escribir también<br />
como: ( )<br />
( 0) 1 ( ) x ′<br />
f f t<br />
y x = + dt<br />
π x π ∫ .<br />
x−t Nótese que la expresión a la que habíamos llegado en el capítulo anterior se pue<strong>de</strong><br />
escribir como: ( ) = ( − )<br />
<strong>de</strong> calcular, obtenemos que:<br />
0<br />
( )<br />
0<br />
y<br />
1<br />
− s′ v<br />
T y y v 2 ∫<br />
dv.<br />
Si aplicamos ahora la fórmula que acabamos<br />
2g<br />
y<br />
( ) T 1 ( )<br />
s′ y T′ t<br />
0<br />
= + dt<br />
2g<br />
π y π ∫ .<br />
y − t<br />
0<br />
101
En el problema <strong>de</strong> la curva tautócrona, T(y) = constante, por lo que su <strong>de</strong>rivada es cero,<br />
<strong>de</strong> manera que sólo queda s ( y)<br />
ejemplo 2. 3. 6.<br />
2<br />
0<br />
2<br />
Ejemplo 3. 3. 12: Resolver la ecuación ( )<br />
Solución:<br />
2gT<br />
′ = , que es la expresión que encontramos en el<br />
π y<br />
La transformada <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> f ( x) x λ<br />
= , con λ > -1 es:<br />
la ecuación queda:<br />
( λ 1)<br />
x<br />
λ<br />
f x = ∫ ( x−t) y( t) dt,<br />
con 0< λ < 1.<br />
0<br />
F( p)<br />
( λ 1)<br />
102<br />
1<br />
p λ<br />
Γ +<br />
= , por lo que<br />
+<br />
+ 1 ( )<br />
( )<br />
F( p) Y( p)<br />
1<br />
p λ<br />
Γ +<br />
p F p<br />
= , y, en consecuencia: Y( p)<br />
=<br />
+<br />
Γ λ + 1<br />
Como λ está entre 0 y 1, λ + 1 está entre 1 y 2. Por lo tanto, dividimos por p 2 y<br />
obtenemos:<br />
λ<br />
−1<br />
( )<br />
( λ 1)<br />
p F p<br />
Y2 ( p)<br />
=<br />
Γ +<br />
1 1<br />
Como λ - 1 está entre -1 y 0, po<strong>de</strong>mos escribir: Y2( p) = F( p) , 1−λ<br />
Γ λ + 1 p<br />
en don<strong>de</strong> 1 - λ está nuevamente entre 0 y 1.<br />
.<br />
( )<br />
Para po<strong>de</strong>r aplicar la transformada inversa necesitamos modificar esta última<br />
expresión como:<br />
( 1) ( 1 )<br />
( 1 λ )<br />
1<br />
Y2( p) F( p)<br />
1<br />
p λ<br />
Γ −<br />
=<br />
−<br />
Γ λ + Γ −λ<br />
Ahora, aplicamos la transformada inversa para llegar a:<br />
x<br />
1 f ( t)<br />
=<br />
Γ ( λ + 1) Γ( 1−λ)<br />
∫<br />
0 ( − )<br />
y2( x) dt<br />
x t λ .<br />
Derivando 2 veces, obtenemos la solución a la ecuación <strong>de</strong> Volterra:<br />
2 x<br />
1 d f ( t)<br />
=<br />
2<br />
Γ ( λ + 1) Γ( 1−λ)<br />
0 ( − )<br />
yx ( )<br />
dt<br />
dx x t λ ∫ , siempre y cuando: f ( 0) = 0.<br />
.<br />
λ<br />
.
La función gamma cumple muchas propieda<strong>de</strong>s, entre ellas:<br />
π<br />
Γ Γ − = .<br />
sen x<br />
Γ ( x + 1)<br />
= xΓ ( x)<br />
y ( x) ( 1 x)<br />
( π )<br />
Combinando estas propieda<strong>de</strong>s, po<strong>de</strong>mos escribir la solución como:<br />
( πλ 2 ) d<br />
x ( )<br />
2<br />
0 ( − )<br />
sen f t<br />
yx ( )<br />
dt<br />
dx x t λ<br />
=<br />
πλ ∫ , siempre y cuando: f ( 0) = 0.<br />
Ejemplo 3. 3. 13: Resolver la ecuación integral <strong>de</strong> Abel generalizada:<br />
Solución:<br />
x<br />
yt ()<br />
f ( x) dt<br />
( x t) λ<br />
= ∫ , con 0< λ < 1.<br />
−<br />
Al aplicar la transformada <strong>de</strong> <strong>Laplace</strong> queda:<br />
p F p<br />
consecuencia: Y( p)<br />
=<br />
Γ 1 −λ<br />
0<br />
−λ<br />
( )<br />
( )<br />
1<br />
.<br />
( 1 λ )<br />
F( p) Y( p)<br />
1<br />
p λ<br />
Γ −<br />
= , y, en<br />
−<br />
Como λ está entre 0 y 1, 1 - λ también lo está. Por lo tanto, dividimos por p y<br />
obtenemos:<br />
λ ( )<br />
( ) ( )<br />
−<br />
p F p 1 1 1<br />
Γ<br />
Y1( p) = = F( p) =<br />
F( p)<br />
Γ 1−λ Γ 1−λ p Γ λ Γ 1−λ<br />
p<br />
Aplicamos la transformada inversa para llegar a:<br />
x ( πλ ) ( )<br />
∫<br />
0 ( x−t) sen f t<br />
y1( x) =<br />
dt.<br />
1−λ<br />
π<br />
( ) ( )<br />
( λ )<br />
λ λ<br />
Derivamos y obtenemos la solución a la ecuación <strong>de</strong> Volterra:<br />
( ) ( )<br />
( ) 1<br />
x πλ d<br />
dx ∫<br />
0 x−t sen f t<br />
yx ( ) =<br />
dt.<br />
−λ<br />
π<br />
.<br />
103
Nuevamente po<strong>de</strong>mos aplicar la regla <strong>de</strong> Leibnitz para simplificar esta expresión, ya<br />
que como:<br />
( )<br />
( )<br />
( − ) ′ ( − ) ( ) ′ ( )<br />
( )<br />
x x x x<br />
d f t d f x t f x t f 0 f t f 0<br />
dt dt dt dt<br />
dx ∫ =<br />
dx ∫ = ∫ + = ∫<br />
+<br />
t t x x<br />
1−λ1−λ 1−λ 1−λ 1−λ 1−λ<br />
0 x−t 0 0 0 x−t La solución queda:<br />
x<br />
( πλ ) ( 0)<br />
′ ()<br />
1 ∫ 1<br />
x 0 ( x−t) sen ⎡ f f t ⎤<br />
yx ( ) = ⎢ + dt⎥.<br />
−λ −λ<br />
π ⎢<br />
⎣<br />
⎥<br />
⎦<br />
f x = ∫ e y() t dt.<br />
k( x−t) Ejemplo 3. 3. 14: Resolver la ecuación ( )<br />
Solución:<br />
En este caso<br />
Y( p)<br />
F( p)<br />
=<br />
p − k<br />
, por lo que: Y( p) ( p k) F( p)<br />
x<br />
0<br />
⎛ 1 k ⎞<br />
⎜ ⎟<br />
⎝ p p ⎠<br />
= − .<br />
Dividimos por p 2 y obtenemos: Y ( p) = − F( p)<br />
2<br />
x<br />
2 2<br />
( ) = ( 1 − ( − ) ) ()<br />
∫<br />
y x k x t f t dt.<br />
0<br />
, por lo que:<br />
Derivamos una vez y aplicamos la regla <strong>de</strong> Leibnitz para obtener:<br />
1<br />
x<br />
y ( x) = f ( x) −k∫ f ( t) dt,<br />
siempre y cuando: f ( 0) = 0.<br />
Derivamos otra vez y obtenemos:<br />
0<br />
( ) = ′ ( ) − ( ) , siempre y cuando: ( )<br />
y x f x k f x<br />
f 0 = 0.<br />
Para este problema, hubiéramos llegado al mismo resultado, si hubiésemos usado la<br />
fórmula 3. 3. 3, es <strong>de</strong>cir si hubiésemos transformado la ecuación en una <strong>de</strong>l segundo tipo.<br />
Queda al lector verificar cuál <strong>de</strong> los dos métodos es más eficiente.<br />
( )<br />
104
x<br />
f x = cosh ⎡⎣k x−t ⎤⎦<br />
y( t) dt<br />
Ejemplo 3. 3. 15: Resolver la ecuación ( ) ( )<br />
Solución:<br />
p<br />
En este caso F( p) = Y( p)<br />
2 2<br />
p − k<br />
∫<br />
0<br />
2 2<br />
p − k<br />
= .<br />
p<br />
, por lo que: Y( p) F( p)<br />
⎛ 1 k ⎞<br />
⎜ ⎟<br />
⎝ p p ⎠<br />
Dividimos por p 2 y obtenemos: Y ( p) = − F( p)<br />
2 3<br />
x 2 ⎛ ⎞<br />
k<br />
2<br />
y2( x) = ∫ ⎜1− ( x−t) ⎟ f ( t) dt.<br />
2 0 ⎝ ⎠<br />
, por lo que:<br />
Derivamos una vez y aplicamos la regla <strong>de</strong> Leibnitz para obtener:<br />
1<br />
2<br />
( ) = ( ) − ( − ) ( )<br />
y x f x k x t f t dt.<br />
x<br />
∫<br />
0<br />
Derivamos una segunda vez, volvemos a usar la regla <strong>de</strong> Leibnitz y obtenemos la<br />
solución:<br />
x<br />
2<br />
y( x) = f ′ ( x) −k∫ f ( t) dt,<br />
siempre que: f ( 0) = 0.<br />
0<br />
.<br />
105
3. 4 Integrales fraccionarias y Derivadas fraccionarias.<br />
Finalizaremos el capítulo con la generalización <strong>de</strong>l concepto <strong>de</strong> <strong>de</strong>rivada e integral a los<br />
reales positivos.<br />
El cálculo fraccional nace <strong>de</strong> las <strong>de</strong>finiciones tradicionales <strong>de</strong>l cálculo diferencial e<br />
integral, <strong>de</strong> la misma manera como en las potencias se generaliza la <strong>de</strong>finición en los<br />
naturales, para obtener potencias <strong>de</strong> exponente racional. Y así como las potencias <strong>de</strong><br />
exponente racional son básicamente raíces y su uso hoy es indiscutible, <strong>de</strong> la misma<br />
manera el cálculo fraccional tiene aplicaciones en muchos problemas mo<strong>de</strong>rnos.<br />
Se pue<strong>de</strong> <strong>de</strong>cir que el 30 <strong>de</strong> septiembre <strong>de</strong> 1695 es el día en que nació el cálculo<br />
fraccional. Esa es la fecha que aparece en una carta <strong>de</strong> l’Hôpital a Leibnitz, en don<strong>de</strong><br />
aparece la pregunta: ¿qué pasaría en la notación<br />
n<br />
D x<br />
n<br />
Dx<br />
si n = 1/2? Leibnitz respondió:<br />
“Una contradicción aparente, <strong>de</strong> la que algún día se sacarán consecuencias útiles”.<br />
La mayor parte <strong>de</strong> la teoría <strong>de</strong>l cálculo fraccional fue <strong>de</strong>sarrollada a fines <strong>de</strong>l siglo XIX,<br />
sin embargo la mayor cantidad <strong>de</strong> aplicaciones a la ingeniería y a la ciencia es <strong>de</strong> los<br />
últimos 100 años.<br />
106
Para enten<strong>de</strong>r el cálculo fraccional, es necesario conocer la función gamma<br />
∞<br />
−u x−1<br />
( x) e u du ( x )<br />
∫<br />
Γ = ∈<br />
que es la generalización <strong>de</strong>l concepto <strong>de</strong>l factorial a los reales.<br />
De hecho, si n∈ , Γ ( n) = ( n−<br />
)<br />
El método para exten<strong>de</strong>r el concepto <strong>de</strong> la integral a una<br />
integral fraccionaria, se conoce como Método <strong>de</strong> Riemann-<br />
Liouville<br />
1!<br />
Observemos primero que f () t dt = ( 1∗<br />
f )( x)<br />
bajo ciertas condiciones, una integral es igual a la<br />
convolución entre la función y 1.<br />
x<br />
∫<br />
0<br />
0<br />
, es <strong>de</strong>cir que,<br />
¿Qué pasa si hacemos nuevamente la convolución y 1?<br />
x α<br />
Obtendremos: f () t dtdα = ( 1∗( 1∗<br />
f ) )( x)<br />
∫∫<br />
00<br />
Análogamente obtendremos la expresión más general:<br />
x<br />
α<br />
n veces<br />
() ( )<br />
∫ ∫ <br />
... f t dtdα = (1 ∗...(1 ∗ f)) x .<br />
0<br />
0<br />
n veces<br />
Si llamamos I n , a las n integrales consecutivas y 1 *n a las n convoluciones con 1,<br />
po<strong>de</strong>mos escribir: I f ( x) f 1<br />
n ∗n<br />
= ∗ . (3. 4. 1)<br />
.<br />
Fig. 3.3: Fotografía <strong>de</strong><br />
Bernhard Riemann<br />
Fig. 3.4: Fotografía <strong>de</strong><br />
Joseph Liouville<br />
107
Analicemos las n convoluciones 1 *n :<br />
x<br />
∫<br />
∗ 2<br />
1 = dt = x .<br />
0<br />
x<br />
∗ 3 x<br />
1 = ∫ tdt=<br />
.<br />
2<br />
0<br />
x<br />
4 1 2<br />
∗ x<br />
1 = t dt<br />
2∫ = .<br />
3!<br />
De manera que inductivamente se llega a que:<br />
0<br />
2<br />
3<br />
∗ n<br />
=<br />
1<br />
n−1<br />
x<br />
( n −1)!<br />
Por lo tanto, remplazando esto en (3. 4. 1), po<strong>de</strong>mos escribir las n integrales como una<br />
sola:<br />
x<br />
n 1<br />
n−1<br />
( )<br />
I f x = ( x−t) f( t) dt<br />
( n −1)! ∫ . (3. 4. 2)<br />
0<br />
Esta última expresión, atribuida a Cauchy, tiene que ver con la ecuación <strong>de</strong> Volterra <strong>de</strong><br />
primer tipo que resolvimos en los ejemplos 3. 3. 8 y 3. 3. 9. Efectivamente, en esos<br />
ejemplos <strong>de</strong>mostramos que las soluciones a dichas ecuaciones tienen que ver con la<br />
n-ésima <strong>de</strong>rivada, por lo que I n tiene sentido con las <strong>de</strong>finiciones habituales <strong>de</strong>l cálculo.<br />
En los ejemplos 3. 3. 12 y 3. 3. 13 resolvimos ecuaciones similares pero para valores <strong>de</strong><br />
n entre 0 y 1 y entre -1 y 0 respectivamente. Por lo tanto, ya que dichas ecuaciones<br />
pue<strong>de</strong>n ser resueltas para esos valores, es bastante lógico generalizar (3. 4. 2) y <strong>de</strong>finir la<br />
μ-integral como:<br />
x<br />
μ 1<br />
μ−1<br />
( )<br />
I f x = ( x−t) f( t) dt<br />
Γ( μ)<br />
∫ . (3. 4. 3)<br />
0<br />
108
Ahora po<strong>de</strong>mos <strong>de</strong>finir la μ-<strong>de</strong>rivada, ya que <strong>de</strong> la fórmula (3. 4. 3) tenemos que, si<br />
μ<br />
I f ( x)<br />
es la μ-integral, entonces f(x) es su μ-<strong>de</strong>rivada.<br />
μ<br />
Ahora bien, si conocemos I f ( x)<br />
, (3. 4. 3) se transforma en la ecuación <strong>de</strong> Volterra <strong>de</strong><br />
μ<br />
g x ∫ ( x t) f( t) dt,<br />
don<strong>de</strong>: gx ( ) =Γ ( μ ) I f( x)<br />
.<br />
μ −1<br />
primer tipo: ( ) = −<br />
x<br />
0<br />
Si 0< μ < 1,<br />
la ecuación anterior se transforma en la ecuación integral <strong>de</strong> Abel<br />
generalizada <strong>de</strong>l ejemplo 3. 3. 13, con λ = 1 − μ , cuya solución permite <strong>de</strong>finir la μ-<br />
<strong>de</strong>rivada como:<br />
Definición 3. 4. 4:<br />
( ) ()<br />
( ) 1 ⎡ x<br />
μ<br />
f 0 f ′ t ⎤<br />
f = ⎢ + dt⎥<br />
μ μ<br />
Γ( 1 −μ) ∫ ⎢<br />
⎣<br />
x 0 ( x−t) ⎥<br />
⎦<br />
Sea f una función y 0< μ < 1.<br />
Definimos la <strong>de</strong>rivada fraccionaria<br />
x ( 0)<br />
′ ()<br />
∫<br />
0 ( − )<br />
( ) 1 ⎡ f f t ⎤<br />
μ<br />
f ( x) = ⎢ + dt⎥.<br />
μ μ<br />
Γ( 1−μ)<br />
⎢⎣ x x t ⎥⎦<br />
.<br />
( μ )<br />
f ( x)<br />
Si 1≤ n< μ < n+<br />
1,<br />
con n natural, usamos la regla <strong>de</strong> Leibnitz en (3. 4. 3) n veces, para<br />
obtener nuevamente una ecuación <strong>de</strong>l tipo (3. 4. 3), pero para un exponente entre 0 y 1, que<br />
acabamos <strong>de</strong> explicar. De esta manera es posible <strong>de</strong>finir la μ-<strong>de</strong>rivada para una función f<br />
para todo μ > 0.<br />
por:<br />
109
Como dijimos, el método presentado aquí es el introducido por Riemann y Liouville. Sin<br />
embargo, esta no es la única forma <strong>de</strong> <strong>de</strong>finir el cálculo fraccional. Existe otra opción que se<br />
conoce como el método <strong>de</strong> Grunwald-Letnikov.<br />
Como sea, una vez <strong>de</strong>finidas la integral y la <strong>de</strong>rivada fraccionaria, se abren variados campos<br />
<strong>de</strong> investigación, como las ecuaciones integrales fraccionarias o las ecuaciones diferenciales<br />
fraccionarias. Las aplicaciones han aparecido en métodos numéricos, en procesamiento <strong>de</strong><br />
señales, en mecánica <strong>de</strong> sólidos y en termodinámica, muchas veces <strong>de</strong>mostrándose que<br />
mo<strong>de</strong>los <strong>de</strong> or<strong>de</strong>n fraccional capturan fenómenos y propieda<strong>de</strong>s que los mo<strong>de</strong>los clásicos <strong>de</strong><br />
or<strong>de</strong>n entero simplemente pasan por alto.<br />
El cálculo fraccional abre una cantidad <strong>de</strong> líneas <strong>de</strong> investigación y llena los huecos <strong>de</strong>l<br />
cálculo tradicional <strong>de</strong> maneras que aún no se es capaz <strong>de</strong> compren<strong>de</strong>r a cabalidad.<br />
110
Referencias<br />
[1] Carl B. Boyer, “Historia <strong>de</strong> la Matemática”, Manuales / Ciencia y Tecnología, 1ª<br />
Edición, Alianza Editorial, Madrid, 1999.<br />
[2] G. Gripenberg, S.-O. Lon<strong>de</strong>n, O. Staffans; “Volterra Integral and Functional<br />
Equations”, Encyclopedia of Mathematics and its Applications, Vol. 34, Cambridge<br />
University Press, Cambridge, New York, 1990.<br />
[3] Erwin Kreiszig, “Matemáticas Avanzadas para Ingeniería”, Vol. 1; 2ª Edición,<br />
Limusa, 1996.<br />
[4] Adam Loverro, 2004, “Fractional Calculus: History, Definitions and Applications<br />
for the Engineer”; http://www.nd.edu/~msen/Teaching/Un<strong>de</strong>rRes/FracCalc.pdf<br />
(2006).<br />
[5] John J. O’Connor, Edmund F. Robertson, 2006, “The MacTutor History of<br />
Mathematics Archive”, http://www-history.mcs.st-andrews.ac.uk (2006).<br />
[6] Andrei D. Polyanin (Ed.), 2004 – 2006, “EqWorld: The World of Mathematical<br />
Equations”, http://eqworld.ipmnet.ru (2006).<br />
[7] George F. Simmons, “Ecuaciones Diferenciales con Aplicaciones y notas<br />
históricas”; 2ª Edición, McGraw-Hill; Madrid, 1991.<br />
[8] Eric Weisstein, 2006, “Wolfram Mathworld”, http://mathworld.wolfram.com<br />
(2006)<br />
111
Anexo A: Tabla <strong>de</strong> <strong>Transformada</strong>s <strong>de</strong> <strong>Laplace</strong><br />
Nota: Entre paréntesis se encuentra el número <strong>de</strong>l ejercicio en el texto (si correspon<strong>de</strong>).<br />
Γ(x) es la función gamma.<br />
<strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> expresiones<br />
que contienen potencias:<br />
1<br />
1. f( x ) = 1 F( p)<br />
= (1.2.3)<br />
p<br />
2. f ( x) x<br />
3.<br />
= F( p)<br />
2<br />
1<br />
= (1.2.3)<br />
p<br />
n<br />
( x)<br />
x Fn( p) n 1 ( n 0 )<br />
f =<br />
−<br />
4. f ( x)<br />
= x 2 F(<br />
p)<br />
5.<br />
1<br />
n<br />
f ( x) x −<br />
=<br />
1<br />
2<br />
n!<br />
p + = ∈ (1.2.3)<br />
π<br />
= (1.3.5)<br />
p<br />
( n )<br />
13 ⋅ ⋅…⋅ 2 −1<br />
Fn( p) = n 1<br />
n + 2 2 p<br />
π<br />
( n∈<br />
)<br />
6. f( x) x ( 1)<br />
λ λ F ( p) 1 p λ<br />
=Γ λ +<br />
− +<br />
= >− ( )<br />
λ<br />
( 1)<br />
<strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> expresiones<br />
que contienen funciones exponenciales:<br />
7.<br />
ax 1<br />
f ( x)<br />
= e F(<br />
p)<br />
=<br />
p − a<br />
(1.2.4)<br />
8.<br />
ax<br />
f ( x) = xe ( )<br />
( ) 2<br />
1<br />
F p =<br />
p − a<br />
9.<br />
λ −1<br />
ax<br />
f( x) = x e ( λ > 0) F( p)<br />
( )<br />
p a λ =<br />
Γ λ<br />
−<br />
1<br />
x<br />
ax bx<br />
10. f ( x) ( e e )<br />
= − ( ) = ln<br />
F p<br />
11. f ( x) xe −<br />
=<br />
F p<br />
1<br />
=<br />
2 p p<br />
1+ 2 ap e<br />
12.<br />
13.<br />
a<br />
x<br />
π −<br />
( ) ( ) 2<br />
1<br />
f ( x) e<br />
x<br />
a<br />
−<br />
x<br />
= ( )<br />
1<br />
f ( x) e<br />
x x<br />
a<br />
−<br />
x<br />
( )<br />
p − b<br />
p − a<br />
ap<br />
π −2<br />
ap<br />
F p = e<br />
p<br />
= ( )<br />
π −2<br />
ap<br />
F p = e<br />
a<br />
112<br />
<strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> expresiones<br />
que contienen funciones hiperbólicas:<br />
a<br />
14. f ( x) = sinhax<br />
F( p)<br />
= (1.2.8)<br />
2 2<br />
p − a<br />
2<br />
2<br />
2a<br />
15. f ( x) = sinh ax F( p)<br />
= 3 2<br />
p − 4a<br />
p<br />
1<br />
1 p + a<br />
16. f ( x) = sinhax<br />
F( p)<br />
= ln<br />
x<br />
2 p − a<br />
λ −1<br />
17. f( x) = x sinh ax(<br />
λ >−1)<br />
1<br />
−λ−λ F( p) = Γ 2 ( λ ) ⎡( p−a) − ( p+ a)<br />
⎤<br />
⎣ ⎦<br />
p<br />
18. f ( x) = coshax<br />
F( p)<br />
= (1.2.9)<br />
2 2<br />
p − a<br />
2 2<br />
2<br />
p − 2a<br />
19. f ( x) = cosh ax F( p)<br />
= 3 2<br />
p − 4a<br />
p<br />
λ −1<br />
20. f( x) = x cos ax(<br />
λ > 0)<br />
1<br />
−λ−λ F( p) = Γ 2 ( λ ) ⎡( p− a) + ( p+ a)<br />
⎤<br />
⎣ ⎦<br />
<strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> expresiones<br />
que contienen funciones trigonométricas:<br />
2<br />
a<br />
21. f ( x) = sinax<br />
F(<br />
p)<br />
= (1.2.5)<br />
2 2<br />
a + p<br />
22.<br />
1<br />
f ( x) sinax<br />
x<br />
⎛ ⎞<br />
= ⎜ ⎟<br />
⎝ p ⎠<br />
= ( ) arctan a<br />
F p<br />
1 2<br />
23. f ( x) sin ax<br />
x<br />
1 2<br />
24. f ( x) = sin ax<br />
2<br />
x<br />
= F( p)<br />
2 −2<br />
( + a p )<br />
ln 1 4<br />
=<br />
4<br />
−1 1<br />
2 −2<br />
( ) = arctan ( 2 ) − 4 ln ( 1+ 4 )<br />
F p a ap p a p<br />
25. f ( x) sin( 2 ax)<br />
26. f x)<br />
cos ax<br />
= ( )<br />
a<br />
π p<br />
−<br />
1 a<br />
F p = e<br />
p p<br />
p<br />
= (1.2.6)<br />
a + p<br />
( = F(<br />
p)<br />
2 2
27.<br />
= F( p)<br />
2<br />
f ( x) cos ax<br />
1<br />
x<br />
1<br />
2 2<br />
F ( p) = 2 ln ( 1+<br />
a p−)<br />
1<br />
f ( x) = cosax−cosbx x<br />
2 2<br />
1 p + b<br />
F( p)<br />
= ln 2 2<br />
2 p + a<br />
f ( x) = xcos 2 ax<br />
28. f ( x) = [ 1−cosax] 29. [ ]<br />
30. ( )<br />
1 π<br />
F( p) = 2 ( p− 2a)<br />
e<br />
2 p p<br />
1<br />
31. f ( x) cos( 2 ax)<br />
=<br />
a<br />
−<br />
p<br />
p + 2a<br />
4<br />
2 2<br />
3 2<br />
p + a p<br />
a<br />
π p<br />
−<br />
=<br />
x<br />
F( p) = e<br />
p<br />
f ( x) = sin ax sin bx<br />
32. ( ) ( )<br />
F( p)<br />
( )<br />
2abp<br />
( )<br />
33. f ( x) = cos( ax) sin(<br />
bx)<br />
=<br />
2 2 2<br />
⎡ ⎤⎡ 2⎤<br />
a+ b + p a− b + p<br />
⎣ ⎦⎣ ⎦<br />
2 2 2<br />
( − + )<br />
b p a b<br />
F( p)<br />
( ) ( )<br />
34. f ( x) = cos( ax) cos(<br />
bx)<br />
( )<br />
F p<br />
35. ( ) ⎩ ⎨ ⎧<br />
f<br />
x<br />
=<br />
=<br />
2 2 2<br />
⎡ ⎤⎡ 2⎤<br />
a+ b + p a− b + p<br />
⎣ ⎦⎣ ⎦<br />
2 2 2<br />
( + + )<br />
p p a b<br />
=<br />
2 2 2<br />
⎡ ⎤⎡ 2⎤<br />
( ) ( )<br />
a+ b<br />
⎣<br />
+ p a− b<br />
⎦⎣<br />
+ p<br />
⎦<br />
sen x si 0 ≤ x ≤ π<br />
0 si x > π<br />
− pπ<br />
e + 1<br />
F(<br />
p)<br />
=<br />
2<br />
p + 1<br />
(1.3.10)<br />
<strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> expresiones<br />
que contienen funciones <strong>de</strong> Bessel:<br />
f ( x) = J0ax F( p)<br />
=<br />
1<br />
2 2<br />
p + a<br />
f( x) = J ax λ >−1<br />
36. ( )<br />
37. ( ) ( )<br />
F( p)<br />
=<br />
λ<br />
a<br />
λ<br />
( )<br />
2 2 2 2<br />
p + a p+ p + a<br />
λ<br />
n<br />
38. f( x) = x Jn( ax)( n∈)<br />
135 ⋅ ⋅ …⋅(<br />
2 −1)<br />
F( p)<br />
=<br />
( p + a )<br />
n a<br />
1<br />
2 2<br />
n+<br />
2<br />
λ<br />
1<br />
39. f( x) = x Jλ( ax)<br />
( λ >−2<br />
)<br />
λ 1 λ<br />
2 Γ ( λ + 2 ) a<br />
F( p)<br />
=<br />
1<br />
2 2 ( p + a )<br />
λ<br />
+ 2<br />
π<br />
λ + 1<br />
f( x) = x Jλ ax λ >−1<br />
λ+ 1 3 λ<br />
2 Γ ( λ + 2 ) a p<br />
F( p)<br />
=<br />
3<br />
2 2<br />
λ + 2<br />
π p + a<br />
40. ( )( )<br />
( )<br />
41. f ( x) J0( 2 ax)<br />
= ( )<br />
42. f ( x) xJ1( 2 ax)<br />
n<br />
1<br />
F p = e<br />
p<br />
= ( ) 2<br />
λ<br />
a<br />
−<br />
p<br />
a<br />
F p = e<br />
p<br />
2<br />
43. f( x) = x J ( 2 ax)<br />
( λ >−1)<br />
λ<br />
λ<br />
2<br />
a<br />
F ( p) = e λ + 1<br />
p<br />
a<br />
−<br />
p<br />
2<br />
44. f ( x) = J0( a x + bx)<br />
1<br />
F( p) = e<br />
2 2<br />
p + a<br />
45. ( )<br />
⎛<br />
b p p<br />
2<br />
a<br />
2 ⎞<br />
⎜ − + ⎟<br />
⎝ ⎠<br />
( ) ⎨<br />
⎩ ⎧<br />
u x =<br />
F(<br />
p)<br />
a<br />
−<br />
p<br />
113<br />
<strong>Transformada</strong> <strong>de</strong> <strong>Laplace</strong> <strong>de</strong> otras<br />
funciones:<br />
f ( x)<br />
= u x − a don<strong>de</strong> a >0 y<br />
− pa<br />
0 si x < 0 e<br />
= (1.3.7)<br />
1 si x ≥ 0 p<br />
46. f ( x)<br />
= [ x]<br />
( p)<br />
47. f ( x)<br />
= x − [ x]<br />
⎧1<br />
⎪<br />
ε<br />
0<br />
48. fε<br />
( x)<br />
= ⎨<br />
⎪⎩<br />
− e<br />
F p =<br />
pε<br />
1<br />
(<br />
)<br />
1<br />
F = (1.3.8)<br />
p<br />
p<br />
( e −1)<br />
p<br />
e −1<br />
− p<br />
F ( p)<br />
= (1.3.9)<br />
2 p<br />
p<br />
si 0 ≤ x ≤ ε<br />
si x > ε<br />
− pε<br />
( e −1)<br />
( ε > 0 )
Anexo B: fórmulas relativas a la transformada <strong>de</strong> <strong>Laplace</strong>:<br />
Nota: Entre paréntesis se encuentra el número <strong>de</strong>l ejercicio en el texto (si correspon<strong>de</strong>).<br />
Γ(x) es la función gamma.<br />
Fórmulas generales:<br />
L ⎡ ⎣af x + bg x ⎤= ⎦ aF p + bG p (1.2.2)<br />
⎡ ⎛ x ⎞ ⎤<br />
L ⎢f⎜ ⎟ = aF ap<br />
a<br />
⎥<br />
⎣ ⎝ ⎠⎦<br />
n n!<br />
f ( x)<br />
= x Fn( p) n 1 ( n 0 )<br />
p + = ∈ (1.2.3)<br />
1. ( ) ( ) ( ) ( )<br />
2. ( )<br />
3.<br />
−1<br />
4. f ( x)<br />
= x 2 F(<br />
p)<br />
− px<br />
5. ( ) ( )<br />
a<br />
π<br />
= (1.3.5)<br />
p<br />
F p<br />
1<br />
=<br />
−ap<br />
1 − e ∫ e<br />
0<br />
f x dx (1.5.24)<br />
( f(x): función periódica con período a)<br />
<strong>Transformada</strong> <strong>de</strong> Derivadas<br />
L ⎡⎣f′ x ⎤ ⎦ = pF p − f 0 (1.4.2)<br />
L ⎡⎣f′′ 2<br />
x ⎤= ⎦ p F p − p⋅ f 0 − f′<br />
0<br />
(1.4.4)<br />
n<br />
( n) n n−k ( k−1)<br />
L ⎡f ( x) ⎤<br />
⎣ ⎦<br />
= p F( p) −∑<br />
p f ( 0)<br />
k = 1<br />
(1.4.6)<br />
6. ( ) ( ) ( )<br />
7. ( ) ( ) ( ) ( )<br />
8.<br />
Derivadas <strong>de</strong> la <strong>Transformada</strong>:<br />
L [ xf x ] = −F<br />
′ ( p)<br />
(1.5.2)<br />
2<br />
L [ x f x ] = F′<br />
′ ( p)<br />
(1.5.3)<br />
n<br />
L x f x =<br />
n n<br />
−1<br />
⋅ F p (1.5.4)<br />
9. ( )<br />
10.<br />
11. [<br />
( )<br />
( ) ] ( ) ( ) ( )<br />
12.<br />
d<br />
[ x ⋅ f ′ ( x)<br />
] = − ( p ⋅ F(<br />
p)<br />
)<br />
L<br />
dp<br />
(1.5.6)<br />
d 2<br />
13. L [ x ⋅ f ′<br />
( x)<br />
] = − ( p F(<br />
p)<br />
− p ⋅ f ( 0)<br />
) (1.5.7)<br />
dp<br />
( n)<br />
14. L ⎡x⋅f ( x)<br />
⎤<br />
⎣ ⎦ (1.5.8)<br />
n−1<br />
d ⎛ n k ( n−− 1 k)<br />
⎞<br />
=− pF( p) p f ( 0)<br />
dp<br />
⎜ −∑<br />
⎟<br />
⎝ k = 1<br />
⎠<br />
<strong>Transformada</strong> <strong>de</strong> la integral<br />
⎡ x ⎤ F<br />
15. ()<br />
( p)<br />
L ⎢∫<br />
f s ds⎥<br />
=<br />
(1.4.11)<br />
⎢ ⎥ p<br />
⎣0<br />
⎦<br />
⎡ xt ⎤ F<br />
16. ()<br />
( p)<br />
L ⎢∫∫<br />
f s ds dt⎥<br />
=<br />
2<br />
⎢⎣<br />
⎥ p<br />
00 ⎦<br />
⎡<br />
x x<br />
⎤<br />
n F<br />
f ⎥ =<br />
⎥⎦<br />
p<br />
17. L ⎢ ()( s ds)<br />
⎢⎣<br />
∫ ∫<br />
0 0<br />
x<br />
⎡ ⎤<br />
∫<br />
λ<br />
18. L ( − ) ( )<br />
19.<br />
⎢ x s f s ds⎥<br />
⎣ 0<br />
⎦<br />
( p)<br />
( λ 1)<br />
F( p)<br />
( λ 1)<br />
1<br />
p λ<br />
Γ +<br />
= >−<br />
+<br />
L<br />
x<br />
⎡ −a( x−s) ⎤<br />
⎢∫ e f ( s) ds⎥<br />
=<br />
⎣0⎦ x<br />
n<br />
( )<br />
F p<br />
20. L sinh ( ) ( )<br />
p + a<br />
⎣0⎦ x<br />
( )<br />
⎡ ⎤ aF p<br />
⎢∫ ⎡⎣a x−s ⎤ ⎦ f s ds⎥<br />
=<br />
p − a<br />
21. L sin ( ) ( )<br />
22.<br />
23.<br />
24.<br />
25.<br />
⎣0⎦ 2 2<br />
( )<br />
⎡ ⎤ aF p<br />
⎢∫ ⎡⎣a x−s ⎤ ⎦ f s ds⎥=<br />
p + a<br />
2 2<br />
Integral <strong>de</strong> la <strong>Transformada</strong>:<br />
∞<br />
⎡ f ( x)<br />
⎤<br />
L ⎢ ⎥ = ∫ F()<br />
s ds (1.5.14)<br />
⎣ x ⎦<br />
⎡ f<br />
L ⎢<br />
⎣ x<br />
⎡ f<br />
L ⎢<br />
⎣ x<br />
∞<br />
∫<br />
0<br />
( x)<br />
2<br />
( x)<br />
n<br />
( x)<br />
f<br />
x<br />
⎤<br />
⎥ =<br />
⎦<br />
⎤<br />
⎥ =<br />
⎦<br />
dx =<br />
p<br />
∞∞<br />
∫∫<br />
pp<br />
F<br />
∞ ∞<br />
∫∫ p p<br />
∞<br />
∫<br />
0<br />
F<br />
() s ds ds<br />
F<br />
( p)<br />
()( s ds)<br />
n<br />
dp (1.5.16)<br />
114
Fórmulas <strong>de</strong> Desplazamiento:<br />
L<br />
⎧ f ( x − a)<br />
, don<strong>de</strong>: g(<br />
x)<br />
= ⎨<br />
⎩ 0<br />
si x ≥ a<br />
x < a<br />
L ax<br />
⎡<br />
⎣e f x ⎤<br />
⎦ = F p−a (1.4.8)<br />
L ⎡⎣sinh ax f 1 x ⎤= ⎦ ⎡Fpa 2 ⎣ − − F p + a ⎤⎦<br />
L ⎡⎣cosh ax f 1 x ⎤ ⎦ = ⎡Fpa 2 ⎣ − + F p + a ⎤⎦<br />
L ⎡⎣sin ωxf i x ⎤=− ⎦ ⎡F p ωi 2 ⎣ − − F p+ ωi<br />
⎤⎦<br />
L ⎡⎣cos ωxf 1 x ⎤= ⎦ ⎡F p ωi 2 ⎣ − + F p+ ωi<br />
⎤⎦<br />
−ap<br />
26. [ g(<br />
x)<br />
] = e F(<br />
p)<br />
27. ( ) ( )<br />
28. ( ) ( ) ( ) ( )<br />
29. ( ) ( ) ( ) ( )<br />
30. ( ) ( ) ( ) ( )<br />
31. ( ) ( ) ( ) ( )<br />
(1.4.13)<br />
115
Anexo C: Tabla <strong>de</strong> Ecuaciones <strong>de</strong> Volterra:<br />
Nota: Las fórmulas que aquí aparecen incluyen ciertos parámetros (por ejemplo: a, λ). En el texto se<br />
eligieron valores simples para estos parámetros (normalmente: 1, 0, -1).<br />
Entre paréntesis se encuentra el número <strong>de</strong>l ejercicio relacionado con la fórmula (si correspon<strong>de</strong>).<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l segundo tipo cuyo<br />
kernel contiene potencias:<br />
1. ( ) ( ) λ ( )<br />
x<br />
f x = y x − ∫ y t dt (3.2.10)<br />
2. ( ) = ( ) + λ ( − ) ( )<br />
a<br />
x<br />
f x y x ∫ x t y t dt (3.2.11)<br />
2<br />
3. ( ) = ( ) + λ ( − ) ( )<br />
a<br />
x<br />
f x y x ∫ x t y t dt (3.2.12)<br />
3<br />
4. ( ) = ( ) + λ ( − ) ( )<br />
a<br />
x<br />
f x y x ∫ x t y t dt (3.2.13)<br />
a<br />
x<br />
∫<br />
n<br />
5. f ( x) = y( x) + λ ( x−t) y( t) dt ( n∈<br />
)<br />
6. ( ) ( )<br />
a<br />
x<br />
f x = y x + λ∫<br />
a<br />
yt ()<br />
dt (3.2.14)<br />
x − t<br />
(ecuación integral <strong>de</strong> Abel <strong>de</strong> segundo tipo)<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l segundo tipo cuyo<br />
kernel contiene funciones exponenciales:<br />
k( x−t) f x = y x + λ∫<br />
e y() t dt (3.2.15)<br />
7. ( ) ( )<br />
8. ( ) ( )<br />
x<br />
a<br />
x<br />
f x = y x<br />
k( x−t) + λ ⎡e 1 ⎤ ∫ − y( t) dt ( k ≠0)<br />
⎣ ⎦<br />
0<br />
(3.2.16)<br />
k( x−t) f x y x x t e y() t dt (3.2.17)<br />
9. ( ) = ( ) + λ ( − )<br />
x<br />
∫<br />
a<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l segundo tipo cuyo<br />
kernel contiene funciones hiperbólicas:<br />
f x = y x + cosh ⎡⎣k x−t ⎤⎦y(<br />
t) dt<br />
10. ( ) ( ) λ ( )<br />
11. ( ) ( ) λ ( )<br />
x<br />
∫<br />
a<br />
x<br />
∫<br />
f x = y x + sinh ⎡⎣k x−t ⎤⎦y(<br />
t) dt<br />
a<br />
(3.2.18)<br />
(3.2.19)<br />
116<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l primer tipo cuyo<br />
kernel contiene potencias:<br />
12. ( ) ( ) ( )<br />
x<br />
f x = ∫ x−t y t dt<br />
(3.3.8)<br />
a<br />
x<br />
13. ( ) (<br />
n<br />
) ( )<br />
f x = ∫ x−t y t dt<br />
(3.3.9)<br />
14. ( )<br />
a<br />
x<br />
f x = ∫ x−ty() t dt<br />
(3.3.10)<br />
15. ( )<br />
0<br />
x<br />
f x = ∫<br />
a<br />
yt ()<br />
dt<br />
x − t<br />
(3.3.11)<br />
(ecuación integral <strong>de</strong> Abel)<br />
x<br />
λ<br />
f x = ∫ x−t y t dt , ( 0< λ < 1).<br />
(3.3.12)<br />
16. ( ) ( ) ( )<br />
17. ( )<br />
a<br />
x<br />
f x<br />
yt ()<br />
dt<br />
0 ( x t) λ<br />
= ∫ , ( 0< λ < 1).<br />
(3.3.13)<br />
−<br />
(ecuación integral <strong>de</strong> Abel generalizada)<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l primer tipo cuyo<br />
kernel contiene funciones exponenciales:<br />
18. ( ) ( ) ()<br />
x<br />
a<br />
k x−t f x = ∫ e y t dt<br />
(3.3.14)<br />
19. ( ) ()<br />
x<br />
αx+ βt<br />
f x = ∫ e y t dt<br />
a<br />
x<br />
∫ ⎡<br />
⎣<br />
a<br />
k x−t ⎤<br />
⎦<br />
f x = e − y t dt<br />
20. ( ) ( ) 1 ( )<br />
x<br />
∫<br />
k( x−t) 21. f ( x) = ⎡e + b⎤y() t dt ( b≠−1)<br />
a<br />
x<br />
∫<br />
⎣ ⎦<br />
k x t m x t<br />
f x = ⎡e e ⎤<br />
⎣<br />
−<br />
⎦<br />
y() t dt<br />
( − ) ( − )<br />
22. ( )<br />
23. ( )<br />
a<br />
x<br />
yt ()<br />
f x = ∫<br />
dt, k > 0<br />
kx kt<br />
e − e<br />
a
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l primer tipo cuyo<br />
kernel contiene funciones hiperbólicas:<br />
x<br />
f x = ∫ cosh ⎡⎣k x−t ⎤⎦y(<br />
t) dt (3.3.15)<br />
24. ( ) ( )<br />
a<br />
x<br />
∫ ( ⎣ ⎦ )<br />
f x = cosh ⎡k x−t ⎤−1<br />
y( t) dt<br />
25. ( ) ( )<br />
a<br />
x<br />
∫ ( ⎣ ⎦ )<br />
f x = cosh ⎡k x−t ⎤+ b y( t) dt,<br />
26. ( ) ( )<br />
a<br />
con: b ≠0, − 1.<br />
x<br />
∫<br />
2<br />
27. ( ) ( )<br />
f x = cosh ⎡⎣k x−t ⎤⎦y(<br />
t) dt<br />
a<br />
x<br />
f x = sinh ⎡⎣k x−t ⎤⎦y(<br />
t) dt<br />
∫<br />
28. ( ) ( )<br />
a<br />
x<br />
( )<br />
f x = ∫ sinh ⎡⎣k x−t ⎤+ ⎦ b y( t) dt ( b ≠ 0)<br />
29. ( ) ( )<br />
a<br />
x<br />
∫<br />
f x = ⎡k x t⎤ ⎣<br />
−<br />
⎦<br />
y t dt<br />
30. ( ) sinh ( )<br />
a<br />
Soluciones:<br />
117<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l primer tipo cuyo<br />
kernel contiene funciones trigonométricas:<br />
x<br />
∫<br />
f x = cos ⎡⎣k x−t ⎤⎦y(<br />
t) dt<br />
31. ( ) ( )<br />
a<br />
x<br />
∫ ( ⎣ ⎦ )<br />
f x = cos ⎡k x−t ⎤−1<br />
y( t) dt<br />
32. ( ) ( )<br />
a<br />
x<br />
∫ ( ⎣ ⎦ )<br />
f x = cos ⎡k x−t ⎤+ b y( t) dt,<br />
33. ( ) ( )<br />
a<br />
con: b ≠ 0, − 1.<br />
x<br />
f x = sin ⎡⎣k x−t ⎤⎦y(<br />
t) dt<br />
∫<br />
34. ( ) ( )<br />
a<br />
x<br />
∫<br />
f x = ⎡k x t⎤ ⎣<br />
−<br />
⎦<br />
y t dt<br />
35. ( ) sin ( )<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l segundo tipo cuyo kernel contiene potencias:<br />
x<br />
λ(<br />
x−t) 1. y( x) = f ( x) + λ∫<br />
e f () t dt<br />
a<br />
y x f x<br />
x<br />
sgn( ) k∫ sin ⎣k x t ⎦ f t dt,<br />
don<strong>de</strong>: k = λ y sgn(x) es la función signo<br />
2. ( ) = ( ) − λ ⎡ ( − ) ⎤ ( )<br />
3. ( ) = ( ) − ( − ) ( )<br />
x<br />
∫<br />
y x f x q x t f t dt,<br />
don<strong>de</strong>:<br />
a<br />
a<br />
−2kx kx ⎡ ( ( ) ( ) ⎤)<br />
2<br />
qx ( ) = ke −ecos 3kx− 3sin 3kx<br />
3<br />
⎣ ⎦ y k =<br />
4. ( ) = ( ) − ( − ) ( )<br />
x<br />
∫<br />
y x f x q x t f t dt,<br />
don<strong>de</strong>:<br />
a<br />
3<br />
2λ<br />
2<br />
⎧<br />
3λ<br />
⎪k(<br />
( kx) ( kx) − ( kx) ( kx) ) k = λ ><br />
⎪<br />
qx ( ) =<br />
2<br />
⎨<br />
⎪1<br />
k⎡ ( kx) − ( kx) ⎤ k = − λ λ <<br />
⎪⎩<br />
2<br />
⎣ ⎦<br />
cosh sin sinh cos 4 si 0<br />
4<br />
sin sinh 6 si 0<br />
a
5. ( ) = ( ) − ( − ) ( )<br />
x<br />
∫<br />
y x f x q x t f t dt,<br />
don<strong>de</strong>:<br />
a<br />
n 1 σ x<br />
qx ( ) = e k ⎡σk cos( βkx) −βk<br />
sin(<br />
βkx)<br />
⎤<br />
n + 1<br />
⎣ ⎦<br />
k = 0<br />
∑ y los coeficientes σk y βk vienen dados por:<br />
(Si λ < 0)<br />
1 1<br />
⎛ 2kπ⎞ ⎛ 2kπ⎞<br />
σ ! n 1cos ; ! n 1<br />
k = λn + βk λn<br />
+<br />
⎜ ⎟ = sin⎜<br />
⎟<br />
⎝n+ 1⎠ ⎝n+ 1⎠<br />
(Si λ > 0)<br />
1 ⎛ ( 2k + 1 1<br />
) π ⎞ ⎛ ( 2k + 1)<br />
π ⎞<br />
σ ! n 1cos ; ! n 1<br />
k = λn + βk λn<br />
+<br />
⎜ ⎟ = sin⎜<br />
⎟<br />
⎝ n+ 1 ⎠ ⎝ n+<br />
1 ⎠<br />
y x<br />
x<br />
x<br />
2<br />
2 πλ ( x−t) = ψ x + πλ ∫ e ψ () t dt , con ψ ( x) = f ( x) −λ∫<br />
f ( t)<br />
dt<br />
x − t<br />
6. ( ) ( )<br />
a<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l segundo tipo cuyo kernel contiene funciones exponenciales:<br />
x<br />
( k−λ)( x−t) 7. y( x) = f ( x) −λ∫ e f () t dt<br />
8. ( ) = ( ) − ( − ) ( )<br />
x<br />
∫<br />
a<br />
a<br />
y x f x q x t f t dt,<br />
don<strong>de</strong>:<br />
⎧<br />
2 2λx<br />
⎪ 4λ xe si k = 4λ<br />
⎪<br />
⎪<br />
1 ⎪ 2kλ<br />
kλ<br />
2 1<br />
( ) ( 2 )<br />
q x = ⎨ e sin Δ x si k − 4kλ< 0<br />
⎪ Δ<br />
⎪<br />
2k<br />
1 kλ<br />
⎪ λ 2<br />
1<br />
2<br />
e sinh( Δ x 2 ) si k − 4kλ> 0<br />
⎪<br />
⎩<br />
Δ<br />
9. Si λ > 0: ( ) ( )<br />
x<br />
2<br />
( ) ( )<br />
a<br />
, con<br />
2<br />
Δ= k − 4kλ.<br />
k( x−t) y x = f x − λ e sin ⎡ λ x t ⎤<br />
∫<br />
− f t dt,<br />
con sgn(x) la función signo.<br />
⎣ ⎦<br />
Si λ < 0: ( ) ( )<br />
a<br />
x<br />
( ) ( )<br />
k( x−t) y x = f x − λ e sinh ⎡ λ x t ⎤<br />
∫<br />
− f t dt,<br />
⎣ ⎦<br />
a<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l segundo tipo cuyo kernel contiene funciones hiperbólicas:<br />
10. ( ) = ( ) − ( − ) ( )<br />
x<br />
∫<br />
y x f x q x t f t dt,<br />
don<strong>de</strong>:<br />
a<br />
1 2<br />
− ⎛ ⎞<br />
2 1 2<br />
q x e ⎜ x x ⎟,<br />
con: Δ= k + λ .<br />
⎝ 2 Δ ⎠<br />
4<br />
λx λ<br />
( ) = 2 λ cosh ( Δ ) − sinh(<br />
Δ )<br />
118
11. ( ) = ( ) − ( − ) ( )<br />
x<br />
∫<br />
y x f x q x t f t dt,<br />
don<strong>de</strong>:<br />
a<br />
⎧ 2<br />
⎪k<br />
x si k = λ<br />
⎪<br />
⎪kλ<br />
2<br />
q( x) = ⎨ sin ( Ax) si k − kλ><br />
0 , con<br />
⎪ A<br />
⎪kλ<br />
2<br />
⎪ sinh ( Ax) si k − kλ<br />
< 0<br />
⎩ A<br />
2 ( πλ ) d<br />
x ( )<br />
2<br />
a ( − )<br />
2<br />
A= k − kλ.<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l primer tipo cuyo kernel contiene potencias:<br />
12. y( x) = f ′′ ( x)<br />
, siempre y cuando: f ( a) = f′ ( a)<br />
= 0 .<br />
( n+<br />
1)<br />
f ( x)<br />
( n)<br />
13. y( x)<br />
= , siempre y cuando: f ( a) = f′ ( a) = ... = f ( a)<br />
= 0 .<br />
n!<br />
2 x<br />
2 d<br />
14. y( x) = 2 π dx ∫<br />
a<br />
f () t<br />
dt , siempre y cuando: f ( 0) = 0.<br />
x − t<br />
x<br />
1 d<br />
15. y( x) =<br />
π dx ∫<br />
a<br />
f ( t)<br />
( ) 1 ( )<br />
dt<br />
x − t<br />
x<br />
f a f′ t<br />
= + dt<br />
π x a π ∫ .<br />
− a x−t sen<br />
16. yx ( )<br />
dx<br />
f t<br />
dt<br />
x t λ<br />
=<br />
πλ ∫ , siempre y cuando: f ( 0) = 0.<br />
17.<br />
( ) ( )<br />
( ) 1<br />
x<br />
πλ d<br />
dx ∫<br />
a x−t x<br />
( πλ ) ( ) ′ ()<br />
1 1<br />
( x−a) ∫<br />
a ( x−t) sen f t sen ⎡ f a f t ⎤<br />
yx ( ) =<br />
dt.<br />
= ⎢ + dt⎥<br />
.<br />
−λ<br />
−λ −λ<br />
π<br />
π ⎢⎣ ⎥⎦<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l primer tipo cuyo kernel contiene funciones exponenciales:<br />
18. y( x) = f′ ( x) − k f ( x)<br />
, siempre y cuando: f ( a ) = 0 .<br />
− ( α+ β)<br />
x<br />
19. y( x) = e ⎡⎣f′ ( x) −αf ( x)<br />
⎤⎦<br />
, siempre y cuando: f ( a ) = 0 .<br />
1<br />
20. y( x) = f′′ ( x) − f′ ( x)<br />
, siempre y cuando: f ( a) = f′ ( a)<br />
= 0 .<br />
k<br />
x kb<br />
f′ ( x) k<br />
( x−t) b+<br />
1<br />
21. y( x) = − e f′ 2 () t dt<br />
b + 1 ∫ , siempre y cuando: f ( a ) = 0 .<br />
b + 1<br />
( )<br />
22. ( ) ′′ ( ) ( ) ′ ( )<br />
a<br />
y x<br />
1<br />
= ⎡f k − m<br />
⎣ x − k + m f x + km f( x)<br />
⎤⎦<br />
y x<br />
x<br />
k d<br />
=<br />
π dx ∫<br />
kt<br />
e f() t<br />
dt<br />
kx kt<br />
e − e<br />
23. ( )<br />
a<br />
= ′ = .<br />
, siempre y cuando: f ( a) f ( a)<br />
0<br />
119
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l primer tipo cuyo kernel contiene funciones hiperbólicas:<br />
2<br />
24. ( ) ′ ( ) ( )<br />
x<br />
y x = f x −k∫ f t dt,<br />
siempre que: f ( a ) = 0 .<br />
a<br />
1<br />
2<br />
k<br />
= = = .<br />
y x<br />
2 x<br />
f′ ( x) k<br />
= − R( A( x−t)) f′ 2 () t dt<br />
b + 1 Ab ( 1)<br />
∫ , siempre que: f ( a ) = 0 .<br />
+ a<br />
A<strong>de</strong>más: A= k<br />
b<br />
b + 1<br />
,<br />
⎧ sin x<br />
Rx ( ) = ⎨<br />
⎩sinh<br />
x<br />
2<br />
, si b + b<<br />
0<br />
2<br />
, si b + b><br />
0<br />
25. y( x) = f′′′ ( x) − f′ ( x)<br />
, siempre y cuando: f ( a) f′ ( a) f′′ ( x)<br />
0<br />
26. ( )<br />
x<br />
y x f x 2k∫ sinh<br />
⎣<br />
k<br />
a<br />
2 x t<br />
⎦<br />
f t dt,<br />
siempre que: f ( a ) = 0 .<br />
y x<br />
1<br />
= f′′ k<br />
x − kf x , siempre y cuando: f ( a) = f′ ( a)<br />
= 0 .<br />
y x<br />
kx x<br />
f′ ( x) k − ⎡<br />
2b<br />
= + e 2<br />
b b ∫ ⎢<br />
a ⎣<br />
1<br />
⎤<br />
sinh( Ax) −cosh(<br />
kx) ⎥ f′ () t dt,<br />
siempre que: f ( a ) = 0 .<br />
2<br />
1+ 4b<br />
⎦<br />
27. ( ) = ′ ( ) − ⎡ ( − ) ⎤ ′ ( )<br />
28. ( ) ( ) ( )<br />
29. ( )<br />
2<br />
k 1+ 4b<br />
A<strong>de</strong>más: A =<br />
2b<br />
2 x<br />
2 d cos(<br />
k x−t) f () t<br />
30. yx ( ) =<br />
dt<br />
2 π k dx ∫ , siempre y cuando: f ( 0) = 0.<br />
x−t a<br />
Ecuaciones <strong>de</strong> Volterra <strong>de</strong>l primer tipo cuyo kernel contiene funciones trigonométricas:<br />
2<br />
31. ( ) ′ ( ) ( )<br />
x<br />
y x = f x + k∫ f t dt , siempre que: f ( a ) = 0 .<br />
a<br />
1<br />
32. y( x) =− 2<br />
k<br />
f′′′ ( x) − f′ ( x)<br />
, siempre y cuando: f ( a) = f′ ( a) = f′′<br />
(0) = 0 .<br />
2 x<br />
f′ ( x) k<br />
33. y( x) = + R( A( x−t)) f′ 2 () t dt<br />
b + 1 Ab ( 1)<br />
∫ , siempre que: f ( a ) = 0 .<br />
+ a<br />
A<strong>de</strong>más: A= k<br />
b<br />
b + 1<br />
,<br />
⎧ sin x<br />
Rx ( ) = ⎨<br />
⎩sinh<br />
x<br />
2<br />
, si b + b><br />
0<br />
2<br />
, si b + b<<br />
0<br />
1<br />
34. y( x) = f′′ ( x) + kf ( x)<br />
, siempre y cuando: f ( a) = f′ ( a)<br />
= 0 .<br />
k<br />
2 x<br />
2 d cosh ( k x−t) f () t<br />
35. yx ( ) =<br />
dt<br />
2 π k dx ∫ , siempre y cuando: f ( 0) = 0.<br />
x−t a<br />
120