Series de Fourier Complejas

Las funciones trigonomtricas estn relacionadas con la funcin exponencial a travs de la formula de Euler. Esto nos permitir establecer a continuacin que los coeficientes de Fourier definidos estn relacionados de una manera simple con los coeficientes de la misma funcin cuando es vista como una funcin compleja antes que como una funcin real. Para empezar definimos el espacio ( ) { | ( )| }

Sea ([ ] ) el espacio formado por las clases de equivalencia ( ) por la relacin de equivalencia: determinadas sobre

El espacio ([ producto escalar

) es de Hilbert cuando se le provee del

Donde se identifican a las clases [ ] y [ ] con cualesquiera representantes y g, respectivamente.

Se denomina espectro de amplitud (o espectro de frecuencia) de la serie | |) compleja a la grafica de los puntos ( Observacin: El vnculo entre los coeficientes complejos coeficientes reales , esta dado mediante y los

),

Con respecto a la convergencia puntual se tiene el siguiente resultado.

De manera que si u es continua en

], entonces se tiene

Series de Fourier Laguerre

Buscamos ahora una base Hilbertiana para , ([ ]) . Definimos, para cada

Al aplicar Gram - Schmidt a ( ortonormal

([

])

obtenemos la sucesion

A se les refiere como la n-esima funcin de Laguerre y el n-esimo polinomio de Laguerre, respectivamente. En general, para y , se tiene que

( ) ( )

( )

Aplicando el mtodo de series de potencias se puede probar la siguiente proposicin. Los polinomios de Laguerre tienen mltiples aplicaciones a la Fsica e Ingeniera. Se obtienen los polinomios de Laguerre al hacer un anlisis bsico del tomo de hidrogeno desde la perspectiva de la Mecnica Cuntica.

USO DEL PAQUETE FOURIE DE MAXIMA

El paquete fourie contiene funciones para el clculo simblico de series de Fourier. La instruccin load ("fourie") carga el paquete. Hay funciones en el paquete fouriepara calcular los coeficientes de Fourier y para la transformacin de expresiones. Funcin: fourier (f, x, p) Devuelve una lista con los coeficientes de Fourier de f(x) definida en el intervalo [-p, p]. Donde: f = funcion x = variable en la cual est la funcin p = intervalo definido de la funcin Para tener como resultado las serie de Fourier hay que seguir los siguientes pasos: 1. Cargar el paquete.- se carga el paquete con la instruccin load (fourie)

2. Escribir el comando Fourier con su respectiva sintaxis En este caso para el ejemplo ( ) ( ) en el intervalo [ ]

Luego de esto se obtiene los coeficientes Funcin: fourcos (f, x, p)

de la serie de Fourier.

Devuelve los coeficientes de los cosenos de Fourier de f(x) definida en [0, p], es decir considera a la funcin dada como par. Donde: f = funcion x = variable en la cual est la funcin p = intervalo definido de la funcin 1. Cargar el paquete.- se carga el paquete con la instruccin load (fourie)

2. Escribir el comando Fourier con su respectiva sintaxis En este caso para el ejemplo ( ) ] es par en el intervalo [ ( ) , pero considerando que la funcin

Luego de esto se obtiene solo los coeficientes que la funcin es considerada par. Funcin: foursin (f, x, p)

de la serie de Fourier por

Devuelve los coeficientes de los senos de Fourier de f(x) definida en [0, p], es decir considera a la funcin dada como impar. Donde: f = funcion x = variable en la cual est la funcin p = intervalo definido de la funcin 1. Cargar el paquete.- se carga el paquete con la instruccin load (fourie)

2. Escribir el comando Fourier con su respectiva sintaxis En este caso para el ejemplo ( ) ]. impar en el intervalo [ ( ), pero considerando que la funcin es

Luego de esto se obtiene solo el coeficiente funcin es considerada impar.

de la serie de Fourier por que la

Glosario de comandos utiles

Funcin: equalp (x, y) Devuelve true si equal (x, y), en otro caso devuelve false. No devuelve el mensaje de error que se obtiene de equal (x, y) en un caso como ste. Funcin: remfun (f, expr) Funcin: remfun (f, expr, x) La llamada remfun (f, expr) reemplaza todas las subexpresiones f (arg) por arg en expr. La llamada remfun (f, expr, x) reemplaza todas las subexpresiones f (arg) por arg en expr slo si arg contiene a la variable x. Funcin: funp (f, expr) Funcin: funp (f, expr, x) La llamada funp
(f, expr)

devuelve true si expr contiene la funcin f.

La llamada funp (f, expr, x) devuelve true si expr contiene la funcin f y la variable x est presente en el argumento de alguna de las presencias de f. Funcin: absint (f, x, halfplane) Funcin: absint (f, x) Funcin: absint (f, x, a, b) La llamada absint (f, x, halfplane) devuelve la integral indefinida de f con respecto a x en el semiplano dado (pos, neg o both). La funcin f puede contener expresiones de la forma abs (x), abs (sin (x)), abs (a) * exp (-abs (b) * abs (x)). La llamada absint
(f, x)

equivale a absint

(f, x, pos).

La llamada absint (f, respecto a x de a a b. Funcin: fourier (f, x, p)

x, a, b)

devuelve la integral definida de f con

Devuelve una lista con los coeficientes de Fourier de f(x) definida en el intervalo [-p, p]. Funcin: foursimp (l) Simplifica sin (n %pi) a 0 si sinnpiflag vale true y cos 1)^n si cosnpiflag vale true. Variable opcional: sinnpiflag Valor por defecto: true Vase foursimp. Variable opcional: cosnpiflag Valor por defecto: true Vase foursimp. Funcin: fourexpand (l, x, p, limit) Calcula y devuelve la serie de Fourier a partir de la lista de los coeficientes de Fourier l hasta el trmino limit (limit puede ser inf). Los argumentos x y p tienen el mismo significado que en fourier. Funcin: fourcos (f, x, p) Devuelve los coeficientes de los cosenos de Fourier de f(x) definida en [0, p]. Funcin: foursin (f, x, p) Devuelve los coeficientes de los senos de Fourier de f(x) definida en [0, p]. Funcin: totalfourier (f, x, p)
(n %pi)

a (-

Devuelve fourexpand Funcin: fourint (f, x)

(foursimp (fourier (f, x, p)), x, p, 'inf).

Calcula y devuelve la lista de los coeficientes integrales de Fourier de f(x) definida en [minf, inf]. Funcin: fourintcos (f, x) Devuelve los coeficientes integrales de los cosenos f(x) en [0, Funcin: fourintsin (f, x) Devuelve los coeficientes integrales de los senos f(x) en [0,
inf]. inf].