Scientia et Technica Ao XIII, No 37, Diciembre de 2007. Universidad Tecnolgica de Pereira.

ISSN 0122-1701

523

SOLUCIN DE LA ECUACIN DE ONDA CON TRANSFORMADA DE FOURIER Y UN ALGORITMO PARA MAPLE.

Solution of the wave equation with Fourier transformer and algorithm for Maple
RESUMEN En este artculo se considera el uso de la Transformada de Fourier para la solucin de la Ecuacin de Onda unidimensional in homognea. De igual forma se utiliza el paquete matemtico Maple. PALABRAS CLAVES: Algoritmo, Ecuacin Diferencial, Homognea, Maple, Onda, Transformada, Wronskiano. Fourier, LUS FERNANDO PLAZA GLVEZ Ingeniero Electricista, Especialista en Finanzas, Estudiante de Maestra en Enseanza de las Matemticas con nfasis en la lnea de Ecuaciones Diferenciales en la Universidad Tecnolgica de Pereira. Docente Tiempo Completo en la Unidad Central del Valle del Cauca, UCEVA lufepla@gmail.com

ABSTRACT In this article it is placed to consideration the use of the Fourier Transformed like method of solution of the Wave Equation in one dimension inhomogeneous. In the same way it uses the mathematical package Maple. KEYWORDS: Algorithm, Differential Equation, Fourier, Homogeneous, Maple, Wave, Transformed, Wronskiano.

1. INTRODUCCIN Este trabajo corresponde a estudios hechos como notas de clase y de divulgacin del Curso de Ecuaciones Diferenciales Parciales, especialmente cuando se analizaba la solucin a la Ecuacin de Onda unidimensional y las diferentes aplicaciones que presenta la Transformada de Fourier con sus respectivas propiedades. Adicionalmente el desarrollo de un algoritmo que permite al anterior resultado llevarlo al entorno matemtico del software Maple. Es de anotar que una primera versin de este trabajo fue expuesto en [6]. [1] La Ecuacin de Onda describe fenmenos ondulatorios tales como la propagacin del sonido, vibracin transversal de cuerdas flexibles y vibracin longitudinal de una viga. Dichos fenmenos se pueden modelar con ecuaciones diferenciales en derivadas parciales. 2. DESCRIPCIN DEL PROBLEMA Sea la ecuacin de onda:

( f ( t ) ) = # f ( t )e " i w t dt ,
-!

definida en R y toma valores complejos. Al resolver la integral anterior se obtiene una funcin que depende de w, es decir

F ( f ( t )) = F ( w)
Para que la transformada de Fourier de una seal f(t) exista, sta debe satisfacer las siguientes propiedades denominadas condiciones de Dirichlet: 1. f(t) sea absolutamente integrable, esto es

"

! -!

f ( t ) dt < !

2. f(t) posea un nmero finito de discontinuidades en cualquier intervalo. La transformada inversa de Fourier esta dada por

-1

{ F ( w) } =

U tt ! k 2U xx = f ( x) , (1) " ! < x < +! ; t > 0 ,

donde u(x, t) es la solucin general de la ecuacin de onda en una dimensin y representa el desplazamiento de cualquier punto x en el instante t. 3. SOLUCIN DEL PROBLEMA Para la solucin del problema (1) utilizaremos La transformada de Fourier F [2] [5], dada de la siguiente manera
Fecha de Recepcin: 03 Septiembre de 2007 Fecha de Aceptacin: 07 Noviembre de 2007

Resolvamos la ecuacin de onda (1), teniendo en cuenta las condiciones iniciales.

1 2#

"

-"

F ( w)e i w t dw

u ( x,0) = g ( x) ; u t ( x,0) = h( x)

(2)

Conociendo el desplazamiento g(x) y la velocidad inicial h(x) de la cuerda. Teniendo en cuenta que las funciones f(x), g(x) y h(x), cumplen con las condiciones de Dirichlet para la existencia de la Transformada de Fourier,

F ( u ( x, t )) = U ( w, t ) ,

524

Scientia et Technica Ao XIII, No 37, Diciembre de 2007. Universidad Tecnolgica de Pereira.

F ( f ( x )) = F ( w) , F ( g ( x )) = G ( w) , F ( h ( x )) = H ( w) .
Por propiedades de la Transformada de Fourier con respecto a x y tomando a t fija, se tiene ;

Z1' =

!V2 F ( w) V F ( w) ' y Z2 = 1 , por lo que W W

U p = Z 1V1 + Z 2V2 .
Donde W es el Wronskiano, y puede ser calculado como

F ( u ( x, 0 )) = F ( g ( x)) , U ( w,0) = G ( w) , F ( u t ( x, 0 )) = F ( h( x)) , dU ( w,0) = H ( w) . dt

Si tomamos la Transformada de Fourier en (1) se obtiene:

&cos(kwt ) W (v1 , v 2 ) = $ %' kwsen(kwt ) = kw

Por lo tanto se tiene,

sen(kwt ) # kw cos(kwt )! "

Z1' =

! sen(kwt ) F ( w) cos(kwt ) F ( w) ' y Z2 = . kw kw

respectivamente las dos expresiones

Integrando anteriores:

d 2U ( w, t ) dt 2 F ( k 2 u xx ) = k 2 F ( u xx ) F ( u tt ) =
= k 2 (iw) 2 U ( w.t ) = !k 2 w 2U ( w, t )
Teniendo (1) y las respectivas transformadas se tiene As

Z1 = "!

sen(kwt ) F ( w) dw , kw cos(kwt ) F ( w) Z2 = ! dw . kw

d 2U ( w, t ) + k 2 w 2U ( w, t ) = F ( w) dt 2

U p = ! cos(kwt ) "

(3)

sen(kwt ) F ( w) dw kw cos(kwt ) F ( w) + sen(kwt ) " dw. kw

La cual representa una ecuacin diferencial ordinaria no homognea con coeficientes constantes. La solucin de (3) esta dada de la siguiente manera

Reemplazando en (4), se tiene

U ( w, t ) = C1 cos(kwt ) + C 2 sen(kwt ) sen(kwt ) F ( w) dw kw cos(kwt ) F ( w) + sen(kwt ) ! dw kw " cos(kwt ) !

(6)

U ( w, t ) = U H + U P
Donde:

(4)

U H = Solucin Homognea, U P = Solucin particular.

Hallemos la solucin
2

UH

Para encontrar las constantes C1 y C2, evaluemos (6) en t=0, as Como

d U ( w, t ) + k 2 w 2U ( w, t ) = 0 (5), 2 dt
obteniendo

U ( w,0) = G ( w) , entonces C1 = G ( w)

(7)

U H ( w, t ) = C1cos (kwt ) + C2 sen(kwt ) = C1V1 + C2V2 ,

Y con

Ahora derivando (6) con respecto a t, y evaluando en t=0; se obtiene

V1 = cos(kwt ), V2 = sen(kwt ).
Para encontrar

dU ( w,0) F ( w) = kwC 2 " ! F ( w)dw + kw! dw dt kw

De la condicin inicial e igualando tenemos:

U p , se hace uso del mtodo de variacin

dU ( w,0) = H ( w) , dt

de parmetros, teniendo en cuenta de que

Scientia et Technica Ao XIII, No 37, Diciembre de 2007. Universidad Tecnolgica de Pereira.

525

H ( w) = kwC 2 " ! F ( w)dw + kw!

De igual manera para C2,

F ( w) dw . kw
(8)

C2 =

H ( w) 1 F ( w) + F ( w)dw " ! dw ! kw kw kw

> F:=fourier(f,x,w); > g:= x^3; > G:= fourier(g,x,w); > h:= sin(x); > H:= fourier(h,x,w);

Al reemplazar (7) y (8) en (6) se obtiene:

U ( w, t ) = G ( w) cos(kwt ) F ( w) " ! H ( w) 1 +$ + F ( w)dw # ( dw% sen(kwt ) ( kw kw & kw ' sen(kwt ) F ( w) # cos(kwt ) ( dw kw cos(kwt ) F ( w) + sen(kwt ) ( dw kw
Manipulando esta ltima expresin llegamos a:

k := 5 f := 0 F := 0 3 g := x G := -2 I Pi Dirac(3, w) h := sin(x) H := -I Pi Dirac(w - 1) + I Pi Dirac(w + 1)

sen(kwt ) F ( w) ! " U ( w, t ) = cos(kwt ) $G ( w) # ( dw % kw & ' sen(kwt ) ! + H ( w) + ( F ( w)dw " ' kw & F ( w) sen 2 (kwt / 2) # 2 sen(kwt ) ( dw kw
A la funcin U ( w, t ) se le toma la Transformada inversa de Fourier, y as se obtiene la respuesta de (1) teniendo en cuenta (2)

>U:= cos(k*w*t)*( G -int(F/(k*w)* sin(k*w*t),w))+ sin(k*w*t)*(1/(k*w)*(H+int(F,w))2*int(F/(k*w)*(sin(k*w*t/2)) ^2,w)); > u(x,t):=invfourier(U,w,x);

U := -2*I*cos(5*w*t)*Pi*Dirac(3,w)+1/5*sin(5*w*t)* (-I*Pi*Dirac(w-1)+I*Pi*Dirac(w+1))/w u(x,t) := x^3+75*x*t^2-1/20*exp(5*I*t)*exp(I*x)1/20*exp(-5*I*t)*exp(-I*x)+1/20*exp(5*I*t)*exp(I*x)+1/20*exp(5*I*t)*exp(-I*x) Es de tener en cuenta que esta solucin es equivalente a la siguiente expresin

u ( x, t ) = F
4. EJEMPLO

-1

( U ( w, t ))

(9)

u ( x, t ) = x 3 + 75 xt 2 +

sen(5t ) senx 5

Resolvamos el siguiente problema, [3] teniendo en cuenta la solucin dada en (9)

Para su visualizacin es posible utilizar el comando [4], y para esto se tiene la figura (1).

U tt ! 25U xx = 0
u ( x, 0) = x 3 ; ut ( x, 0) = sen( x).
Para su solucin utilizaremos el paquete MAPLE. Para esto el cdigo sugerido esta dado de la forma [4]. Plot3d({%},x=-100..100, t=0..15);

with (inttrans): > assume(t>0): > k:=5; > f:=0;

526

Scientia et Technica Ao XIII, No 37, Diciembre de 2007. Universidad Tecnolgica de Pereira.

[Online].Disponible: Http://paginasweb. univalle.edu.co/~cimpa/presentaciones/descargar_arc hivo.php?id=80

Figura 1.

5. CONCLUSIONES Y RECOMENDACIONES Por medio de este artculo se puede concluir la utilidad que representan las teoras de las transformadas integrales como es el caso de Fourier, para la solucin de Ecuaciones Diferenciales Parciales, y un caso muy particular la Ecuacin de Onda, conociendo sus condiciones iniciales. De igual manera es posible hallar la solucin de ecuaciones de otro tipo como la de Calor, o la de La Place. Se recomienda el uso de la Transformada de Fourier con el paquete matemtico Maple reduciendo tiempo en la solucin de ecuaciones diferenciales parciales 6. BIBLIOGRAFA [1] R. M. Spygel, Matemticas avanzadas para Ingeniera y Ciencias, Mxico DF.: Mc Graw-Hill Interamericana Editores, 2001, p. 318. [2] O. M. Sproviero, Transformadas de LaPlace y de Fourier, 1ra. Ed., Buenos Aires: Nueva Librera, 2005, p. 263. [3] R. C. McOwen, Partial Differential Equations, Upper Saddle River, New Jersey: Prentice Hall, 1996, p. 82. [4] A. A. Ohoa, C. I. Esnaola, R. E. Porto y M. E. Granados, Aprenda Maple 8, como si estuviera en primero, Universidad de Navarra, San Sebastin (Espaa), 2002 [Online].Disponible: http://www.tecnun.es/asignaturas/Informat1/ayudain f/aprendainf/Maple8/maple8f.pdf [5] M. A. Pinsky, Introduccin al anlisis de Fourier y las Ondoletas, Mxico DF.: Thomson, 2003, p. 89. [6] L. F. Plaza. Solucin de la Ecuacin de Onda por medio de la Transformada de Fourier y con ayuda de Maple, Escuela CIMPA UNESCO- REALMACOLOMBIA 2007 Disertacin. Departamento de Matemticas, Universidad del Valle, Cali, 2007.