Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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.
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
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
−∞
F (f (t)) = F (w)
δ(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.
Sujeta a
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í:
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:
Analicemos Z ∞
e−6|τ | δ(x + kt − τ )dτ = I1
−∞
si asumimos
τ → +∞; 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 → −∞,
τ → −∞; 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|
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
y en forma análoga
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.