07.05.2013 Views

Transformada de Laplace - Universidad de Santiago de Chile

Transformada de Laplace - Universidad de Santiago de Chile

Transformada de Laplace - Universidad de Santiago de Chile

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!