SOLUCION DE LA ECUACION DE ONDA

POR MEDIO DE LA TRANSFORMADA

DE FOURIER Y CON AYUDA DE MAPLE
Luis Fernando Plaza Gálvez * **

29 de marzo de 2007

Resumen
En este artículo se presenta una alternativa interesante para la
solución de una Ecuación Diferencial Parcial por medio de la Trans-
formada de Fourier, así como su verificación a través de la aplicación
en el paquete matemático Maple. Se sugieren dos opciones como son
el uso de los teoremas de la Convolución y el de la Traslación.

PALABRAS CLAVES: Ecuación Diferencial, Onda, Fourier, Convolu-

ción, Heaviside, Delta de Dirac.

1. INTRODUCCIÓN
Este trabajo obedeció a la divulgación de notas de clase del curso Ecua-
ciones Diferenciales Parciales en la Maestría en Enseñanza de la Matemática
en la Universidad Tecnológica de Pereira, específicamente en el estudio de la
solución de Ecuaciones Diferenciales Parciales por medio de la Transforma-
da de Fourier, y en el que se aplican sus diferentes propiedades, y para su
verificación se usa el software matemático Maple.
*
Docente Tiempo Completo en la Unidad Central del Valle del Cauca (UCEVA)
**
e-mail : lufepla@gmail.com
2. ECUACIÓN DE ONDA
[1] El movimiento ondulatorio en un sistema se presenta cuándo una
perturbación producida en un lugar del medio se propaga con una rapi-
dez que depende de las características del medio físico. Dicho fenómeno se
puede describir mediante modelos matemáticos que conducen a ecuaciones
en derivadas parciales. Como ejemplo de estas tenemos la siguiente ecuación

ytt − k 2 yxx = 0

Esta relación representa la forma general de la ecuación de onda en una

dimensión, en un medio sin dispersión. La familia de soluciones de la ecuación
de onda son de la forma indicada en la siguiente expresión:

y(x, t) = f1 (x + kt) + f2 (x − kt)

donde la función y(x, t) es el desplazamiento de cualquier punto x en el caso

de la cuerda, en el instante t.

3. TRANSFORMADA DE FOURIER
[2] [3] La transformada de Fourier F de una función f se define como
Z ∞
F (f (x, t)) = f (t)e−iwt dt
−∞

que está definida en R y toma valores complejos. Al resolver la integral se

obtiene una función que depende de w, por lo tanto se puede escribir

F (f (t)) = F (w)

La transformada inversa de Fourier está dada por

Z ∞
−1 1
F (F (w)) = F (w)eiwt dw
2Π −∞
en virtud de la integral de Fourier está definida de los reales a los complejos.
A continuación se relaciona una tabla con las principales transformadas de
Fourier, y que van a ser utilizadas en el problema de contorno.
 f(t) F(w)
2a
e−a|t| , a > 0 a2 +w2

δ(T ) 1
K1 f (t) ± K2 g(t) K1 F (w) ± K2 G(w)
f n (t)(derivada n) (iw)n F (w)
f (t − t0 ) e−t0 iw F (w)
R∞
Si f (t) ∗ g(t) = −∞ f (τ )g(t − τ )dτ F (w)G(w)

Tabla No. 1

4. PROBLEMA DE CONTORNO
Resolver la siguiente ecuación de onda, dadas sus condiciones iniciales.

ytt = k 2 yxx (1)

Sujeta a

y(x, 0) = 2e−6|x| , yt (x, 0) = 0, en−∞ < x < +∞; t>0

Tomandole transformada de Fourier a ambos lados de la ecuación (1), con

respecto a x y tomando a t como fija y teniendo en cuenta la tabla 1 tenemos:

F (y(x, t)) = Y (w, t)

d2 Y (w, t)
F (ytt ) = (2)
dt2

F (k 2 yxx ) = k 2 F (yxx )
= −k 2 w2 Y (w, t)

Por lo tanto al igualar esta última expresión con la ecuación (2) se obtiene:

d2 Y (w, t)
= −k 2 w2 Y (w, t)
dt2
El cual quedaría organizada de la siguiente manera.

d2 Y (w, t)
2
+ k 2 w2 Y (w, t) = 0 (3)
dt
La solución general de (3) quedaria así:

Y (w, t) = C1 cos(kwt) + C2 sen(kwt) (4)

Para encontrar C1 y C2 , tomamos las condiciones de frontera. Como t es fijo,

la podemos suponer cero.
Como y(x, 0) = 2e−6|x| , al tomarle la transformada de Fourier con base en la
tabla 1, a ambos lados llegamos a:

F (y(x, 0)) = F (2e−6|x| )

24
= 2
6 + w2
F (y(x, 0)) = Y (w, 0)
Y al resolver (4) para w = 0 tenemos: Y (w, 0) = C1 . Por lo que obetenemos
la solución para C1 :
24
C1 = 2 (5)
6 + w2
Si usamos (4) en (5) se tiene
24
Y (w, t) = cos(kwt) + C2 sen(kwt) (6)
62 + w2
Para hallar C2 , se deriva (6) con respecto a t y se tiene:

dY −24kw
= 2 sen(kwt) + C2 kwcos(kwt) (7)
dt 6 + w2
Y al evaluar (7) para t = 0 se tiene.

dY (w, 0)
= C2 kw (8)
dt
Y teniendo en cuenta que yt (x, 0) = 0, entonces al tomarle la transformada
de Fourier nos resultaría
 dY (w, 0)
F (yt (x, 0)) = =0 (9)
dt
por lo tanto se concluye que al igualar los resultados obtenidos en (8) y (9),
C2 = 0.
Por la tanto la solución en w para (6) se convierte en
24
Y (w, t) = cos(kwt) (10)
62 + w2
Ahora para hallar la respuesta y(x, t) se debe tomar la transformada inversa
de Fourier, para la cual se tienen 2 opciones analíticas y su verificación, asi:

4.1. Solución por Teorema de Convolución

½ ¾
−1 24
−1
y(x, t) = F (Y (w, t)) = F cos(kwt)
62 + w2
Aplicando el teorema de la Convolución, por la tabla No. 1
Z ∞
−1
F {G(w)J(w, t)} = g(x) ? j(x, t) = g(τ )j(x − τ )dτ
−∞

y utilizando el hecho de que g(x) = F −1 (G(w)), y j(x, t) = F −1 {J(w, t)}

Podemos afirmar que G y g se hallan de la siguiente manera

24
G(w) = , y g(x) = 2e−6|x|
62 + w2

Si definimos a J(w,t) como

eikwt + e−ikwt
J(w, t) = cos(kwt) = , (11)
2
obtenemos
½ ¾
−1 eikwt + e−ikwt
j(x, t) = F
2
1 © ª 1 © ª
= F −1 eikwt + F −1 e−ikwt
2 2
1
= [δ(x + kt) + δ(x − kt)] .
2
Por lo tanto
Z ∞
1
y(x, t) = 2e−6|τ | [δ(x + kt − τ ) + δ(x − kt − τ )] dτ
2
Z−∞
∞ Z ∞
−6|τ |
= e δ(x + kt − τ )dτ + e−6|τ | δ(x − kt − τ )dτ.
−∞ −∞

Una de las propiedades del funcional Delta de Dirac es

Z ∞
δ(x − a)f (x)dx = f (a). (12)
−∞

Analicemos Z ∞
e−6|τ | δ(x + kt − τ )dτ = I1
−∞
si asumimos

τ = −z; a = −(x + kt) ; f (z) = e−6|−z|

es evidente que dτ = −dz, y cuando

τ → +∞; z → −∞,

τ → −∞; z → +∞.
Así
Z −∞
I1 = − e−6|−z| δ(−a + z)dz
+∞
−6|−(−(x+kt))|
=e

I1 = e−6|x+kt| (13)
De igual manera Z ∞
e−6|τ | δ(x − kt − τ )dτ = I2
−∞
si asumimos

τ = −z; a = −(x − kt) ; f (z) = e−6|−z|

es evidente que dτ = −dz, y cuando

τ → +∞; z → −∞,
 τ → −∞; z → +∞.
Así
Z −∞
I2 = − e−6|−z| δ(−a + z)dz
+∞
−6|−(−(x−kt))|
=e
I2 = e−6|x−kt| (14)
Utilizando (13) y (14), llegamos a
y(x, t) = e−6|x+kt| + e−6|x−kt|

4.2. Solución por Teorema de Traslación

Ahora se resuelve la función obtenida en (10), pero teniendo en cuenta la
identidad expresada en (11), de manera tal que:
24
Y (w, t) = cos(kwt)
+ w2 62
12 ikwt 12
= 2 2
e + 2 2
e−ikwt
6 +w 6 +w
Aplicando el teorema de traslación
F { f (x − x0 )} = e−x0 iw F (w)
Por lo que © ª
F −1 e−x0 iw F (w) = f (x − x0 )
½ ¾
−1 12
F = e−6|x| = f (x)
62 + w2
½ ¾
−1 ikwt 12
F e = f (x + kt) = e−6|x+kt| (15)
62 + w 2
con x0 = −kt
Así ½ ¾
−1 −ikwt 12
F e = f (x − kt) = e−6|x−kt| (16)
6 + w2
2

con x0 = kt
Por todo lo anterior, la solución a la función (10) se encuentra sumando las
respuestas obtenidas en (15) y (16). Así la solución sería
y(x, t) = e−6|x+kt| + e−6|x−kt|
4.3. Solución con MAPLE
[4] Aprovechando el software matemático MAPLE, por medio de la trans-
formada inversa de Fourier, se la aplicamos a (10), y tomando k=5 obtenemos
lo siguiente:
assume(t>0):
> invfourier( 24/(36+ w^2)*cos(5*w*t),w,x);
exp(-6 x - 30 t~) Heaviside(x + 5 t~)
+ exp(6 x + 30 t~) Heaviside(-x - 5 t~)
+ exp(-6 x + 30 t~) Heaviside(x - 5 t~)
+ exp(6 x - 30 t~) Heaviside(-x + 5 t~)
Pero debemos analizar la respuesta como la da Maple teniendo en cuenta que
ésta la expresa por medio de la función de Heaviside. Al inicio expresemos a
e−6|x+5t| , con la definición de la funciónes del valor absoluto y de Heaviside.
Sí (
x + 5t, si x + 5t ≥ 0,
|x + 5t| =
−x − 5t, si x + 5t ≤ 0
y (
x − 5t, si x − 5t ≥ 0,
|x − 5t| =
−x + 5t, si −x + 5t ≤ 0
además (
1, si x + 5t ≥ 0,
h(x + 5t) =
0, si x + 5t ≤ 0
y (
1, si −x − 5t ≥ 0,
h(−x − 5t) =
0, si −x − 5t ≤ 0
Por lo tanto, llegamos a la conclusión de que

e−6|x+5t| = h(x + 5t)e−6(x+5t) + h(−x − 5t)e−6(−x−5t)

= h(x + 5t)e−6x−30t + h(−x − 5t)e6x+30t

y en forma análoga

e−6|x−5t| = h(x − 5t)e−6(x−5t) + h(−x + 5t)e−6(−x+5t)

= h(x − 5t)e−6x+30t + h(−x + 5t)e6x−30t
Lo anterior significa que si se suman las últimas dos deducciones obtenemos
finalmente coinciden con la respuesta obtenida en las secciones 3.1 (convolu-
ción) y 3.2 (traslación):

y(x, t) = e−6|x+5t| + e−6|x−5t| .

5. CONCLUSIÓN
Por medio de este documento se puede concluir lo útil que representa
los modelos de las transformadas integrales como es el caso de Fourier, para
la solución de Ecuaciones Diferenciales Parciales especialmente cuando se
conocen sus condiciones de contorno. La ecuación de onda unidimensional al
cual se le encontró solución puede ser generalizada a mayores dimensiones.
El uso de la Transformada de Fourier en el paquete Maple representa una
ágil ayuda en la solución de Ecuaciones Diferenciales.

Referencias
[1] SPIEGEL R. Murray; Matemáticas avanzadas para Ingeniería y Ciencias;
Mc Graw Hill Interamericana, Editores S.A. de C.V. Mexico D.F.; 2001.

[2] SPROVIERO O. Marcelo; Transformadas de Laplace y de Fourier. 1a.

edición; Nueva Librería; Buenos Aires; 2005

[3] McOWEN Robert C.;Partial Differential Equations; Prentice Hall; Upper

Saddle River, New Jersey; 1996.

[4] OHOA A. Ainhoa, ESNAOLA C. Iñaki, PORTO R. Eduardo y GRANA-

DOS M. Eduardo; Aprenda Maple 8, como si estuviera en primero; Es-
cuela Superior de Ingenieros Industriales. Universidad de Navarra; San
Sebastian España; 2002.