SERIES DE FOURIER

INDICE:

1. Funciones Peridicas Series Trigonomtricas 1.1. Representacin de algunas funciones peridicas 1.2. Evaluacin de funciones con intervalo 2 2. Series de Fourier 3. Funciones de cualquier periodo (P=2L) 4. Funciones pares e impares 5. Desarrollos de Medio Rango 6. Series Complejas de Fourier 7. Integrales de Fourier 7.1. Integrales de Fourier de senos y cosenos 8. Forma Compleja de la Integral de Fourier

1. Funciones Peridicas Series Trigonomtricas: Una funcin f(x) es peridica si est definida para toda x real, y si existe algn nmero positivo t tal que: ( ) ( ) ( ) Para toda x A este nmero t se le llama perodo de f(x). La grfica de esta funcin se obtiene por repeticin peridica de su grfica en cualquier intervalo de longitud t. Un ejemplo claro de series peridicas son las funciones seno y coseno y funcin c=const. Y otras que no son pueden ser x, x2, x3, etc. Por (1) se tiene que: f(x+2p) = f[(x+t)+t] = f(x+t) = f(x) y para cualquier entero n:

( ) Para toda x

Por lo tanto 2t, 3t, 4t,. . . tambin son perodos de f(x). Adems si f(x) y g(x) tienen perdo t, entonces la funcin: ( ) ( ) ( ) ( ) Tambin tienen perodo t. Las funciones se representarn en series de funciones simples como: 1, cos(x), sen(x), cos(2x), sen(2x), . . . , cos(nx), sen(nx), . . . 1.1. y=sen(x) Representacin de algunas funciones peridicas:

y=sen(2x)

y=sen(3x)

La representacin de estas funciones con perodo 2 surgirn de la forma: a0 +a1 cos(x) +b1sen(x) + a2 cos(2x) +b2sen(2x) + . . . donde a0, a1, a2, . . . , b1, b2, . . . son constantes reales. Estas series se llaman series trigonomtricas, y a las an y bn se les llama los coeficientes de la serie. Esta serie puede escribirse: ( ) ( )

Si la suma converge, la funcin representada tendr un perodo 1.2.

Evaluacin de Funciones con intervalo

0 1

, (0 .0 1 1 / ) . /

, (0 .0 1 1 / )

. . { /

/ . ( ) /

 0 0 0

{ 1 1 1 . / ,

{ 0 0 1 1 , 0 1

[ [ (

( ) )

( ( ( )

) ) ) ( ( ) ( ( ) ) ]

) )

( ( ( ( )

( ( ) )] )

) (

( )

[ (

) )

[ * (

( ) )

( ( ( ) ( ( ) )

) ) ) ) ) ( ( ) ]

) )

( ( ( ( )

( ( ) )] )

) (

( )

[ (

2. Series de Fourier: Las series de Fourier surgen de la representacin de una funcin peridica f(x) dada en trminos de funciones seno y coseno. Estas series son trigonomtricas cuyos coeficientes se determinan a partir de f(x) mediante las formulas de Euler con las cuales determinaramos las series de Fourier.

2.1.

nFrmulas de Euler.

La funcin peridica f(x) con perodo 2, puede representarse con una serie trigonomtrica: ( ) ( ) ( )

Esta serie converge y tiende a f(x) como su suma. Dada una funcin f(x) como esta, queremos determinar los coeficientes y de la serie (2.1). Podemos determinar ( ) al integrar ambos miembros de (2.1) de a , se obtiene: [ ( )]

Al integrar trmino a trmino se obtiene: ( ) ( )

El primer trmino del segundo miembro es igual a 2 . Las dems integrales del segundo miembro son cero, por tanto el primer resultado obtenido es: ( )

Ahora se determinan como lo hicimos anteriormente. Se multiplica (2.1) por cos(mx), donde m es cualquier entero positivo, y se integra de a . ( ) [ ( )]

Al integrar trmino a trmino se observa que el segundo trmino queda. ( )

La primera integral es cero. Al aplicar los casos especiales de integracin tenemos: ( ) ( )

La integracin demuestra que los cuatro trminos del segundo miembro son cero, con excepcin del ltimo trmino del primer rengln, que es igual a cuando n=m. ( )

Por ltimo se determinan b1, b2, en (2.1). se multiplica (2.1) por el sen mx, donde m es cualquier entero positivo, y despus se integra de a , con lo cual: ( ) [ ( )]

Luego al integrar trmino a trmino se observa q el segundo miembro queda:

La primera integral es cero. La siguiente integral la evaluamos con un caso especial de integracin y es cero para toda n. para la ltima integral se obtiene.

El ltimo trmino es cero. El primer termino del segundo miembro es cero cuando nm y es cuando n=m. ( )

Al escribir n=m se obtienen las formulas de Euler.

( )

( )

( )

Los nmeros dados por estas frmulas se denominan coeficientes de Fourier de f(x). La serie trigonomtrica:

( Se denomina Serie de Fourier de f(x).

3. Ortogonalidad del sistema trigonotrico: El sistema trigonomtrico: 1, cos(x), sen(x), cos(2x), sen(2x), . . . , cos(nx), sen(nx), . . . Es ortogonal en el intervalo -x o en cualquier intervalo 2. Esto quiere decir que la integral del producto de cualesquiera de dos de estas funciones diferentes sobre dicho intervalo es cero; para ponerlo en frmulas tenemos: ( ) ( ( ( ) ) ) ( ( ) ) ( ( ) )

De estas frmulas pueden deducirse las frmulas de Euler.

( )

( )

( )

Ejemplos:

( )

( {

0 )

( )

( ( (

) )

( (

) )

( )

( )

(*

( ,

{ (0

(0

1 1

) )

.0 ([ ([

/ ])

])

( ,

{ (0

(0

1 1

) )

.0 ([ ([

/ ]) ])

( )

( )

( )

| |

( (

| |)

) (

(*

+ )

( (

| |) , (0 .0 ( )

1 0

1 1

0 1 /

( (

( (

| |) , (0 .0 (

1 0

1 1

0 1 /

( (

( )

( ( (

( (

( )

4. Funciones de Cualquier perodo t=2L Hasta ahora hemos considerado funciones de perodo 2; ahora estudiaremos funciones con perodo 2L, donde la transicin es simple, la cual consiste en un alargamiento de la escala sobre el eje: Para la transformacin usamos una simple regla de 3, donde:

5. 6. 7. Donde:

( ) ( )

. / ( ) ( ( ) ) ( ) ( ) ( )

( )

( )

( ) ( )

( ) Con los coeficientes de Fourier:

//

( )

( )

( )

8. Funciones Pares e Impares: Para una mejor evaluacin de las Series de Fourier, podemos tomar en cuenta el concepto de funciones pares o impares, para calcular de manera ms efectiva y evitando trabajo innecesario los coeficientes de Fourier. Una funcin f(x) es par cuando: ( ) ( )

Una funcin g(x) es impar cuando: ( ) ( )

En conclusin, una funcin es par cuando su grfica es simtrica al eje y, mientras que una funcin es impar cuando su grfica es simtrica al origen. g=sen(nx), con n=2 Funcin impar:

f=cos(nx), con n=1 Funcin par:

Si f(x) es una funcin par: Si g(x) es una funcin impar: ( ) ( ) ( )

Podemos deducir esto a partir de las grficas obtenidas anteriormente, donde podemos observar que lo que realmente estamos evaluando es el rea bajo la curva de este intervalo; por lo tanto al ser f una funcin par, simtrica al eje y, observamos que el rea evaluada en el intervalo 2L se repite en ambos lados del intervalo, entonces podemos evaluar la integral en un solo lado del intervalo y multiplicarla por dos, que por la simetra al eje y, sera el rea buscada, o la integral en cuestin. Por otro lado si g es una funcin impar, observando la grfica de g, podemos deducir que el rea bajo la curva descrita por la funcin, deducimos que por la simetra respecto al eje, el rea de L a 0, es igual a la de 0 a L, pero de signo contrario; por lo tanto la integral buscada en esta funcin o el rea es igual a cero. El producto de una funcin par f y una funcin impar g, es impar; ya que: ( ) ( ) ( ) ( ), ( )( )

Por lo tanto si f(x) es una funcin par, la forma de integracin de sen(nx/L) es impar, y bn es igual a cero. De igual manera, si f(x) es impar, entonces cos(nx/L) es par y an es igual a cero. De esto podemos obtener el teorema de series pares e impares de las series de Fourier: 9. La serie de Fourier de una funcin par de periodo 2L, es una Serie de Fourier de Cosenos: ( ) Donde: ( ) ( ) ( ) . /

La serie de Fourier de una funcin impar de periodo 2L es una Serie de Fourier de Senos

( ) Donde: ( )

Ojo. Para el caso de 2pi

10. Teorema Suma de Funciones: Los coeficientes de Fourier de una suma f1 +f2 son las sumas de los coeficientes de Fourier de f1 y f2 respectivamente. Los coeficientes de Fourier de cf son el producto de c y los coeficientes de Fourier correspondientes.

DESARROLLO DE MEDIO RANGO

Para varias aplicaciones es factible la utilizacin de series de Fourier en relacin con funciones ( ) que estn definidas solamente en un intervalo pudiendo ser . Para su representacin podra usarse la serie en funcin de senos y cosenos, pero una mejor opcin es la utilizacin nicamente de uno de ellos usando el concepto de funciones pares e impares. Para el caso de una serie de cosenos necesitamos extender el rango ( ) de a uno obteniendo as una funcin par, para extender la funcin como una serie peridica de periodo Dada la funcin ( ) de

Esta funcin puede ser extendida como una funcin ( ) peridica par de periodo ser de completo que es la curva remarcada.

. Su extensin

Esta serie se llama desarrollo de medio rango de la funcin ( ) Al ser una funcion de cosenos no tiene termino y ( ) viene definido por la expresin:

( )

( ) Ejemplo: ( ) ( ) ( )

( (

) )

) +

) )

) )

( (

) )

( )

Para el caso de una serie de senos necesitamos extender el rango ( ) de a uno obteniendo as una funcin par, para extender la funcin como una serie peridica de periodo . Dada la funcin ( ) de

Esta funcin puede ser extendida como una funcin ( ) peridica par de periodo ser de completo que es la curva remarcada.

. Su extensin

Esta serie se diferencia en la anterior en que al estar expresada en trminos de senos no cuenta con los trminos ni , como se vio en funciones pares e impares.

( )

( )

Ejemplo # 1 ( ) ( )

( ( )

) +

) )

) ) )

( )

) ) )

Ejemplo # 2 ( ) ( )

) +

( ( )

( )

Ejemplo # 3 ( ) ( )

( )

) +

) )

( ( ) ( ( )

{ ( ( ( ) ( ) ) )

SERIES COMPLEJAS DE FOURIER

Este captulo es considerado como opcional pero a la vez cuando nos adentramos en el estudio del mismo veremos que es de mucha importancia ya que nos permite la resolucin de series un poco mas difciles de realizar con el procedimiento visto en la seccin 10.3; 10.4. Ahora bien para poder emplear esta frmula de la series complejas de Fourier, primeramente demostramos como se obtiene: 1. Partimos de las formulas de EULER ( ) ( )

La cual vamos a escribirla en forma compleja que nos permitir que en la parte practica se simplifiquen mucho los clculos. 2. Considerando las formulas de EULER tenenmos

3. Con t = nx

4. Al sumar y despejar estos trminos obtenemos:

5. Tenemos la siguiente equivalencia que vamos a utilizar

Radicalizamos Siendo esto igual a 6. Ahora con estos resultados reemplazando en la formula de Euler tenemos:

7. Esto expresado como una serie de Fourier nos quedara:

( ) 8. Pero donde

quedando las formulas de EULER como:

( (

) )

( ) ( )

9. Tambin podemos introducir la notacin

y fcilmente obtener

( )

( )

10. Siendo esta la SERIE COMPLEJA DE FOURIER, pero tambien siendo este el caso necesitaremos la funcion para un caso diferente al periodo , al multiplicar la serie por Donde m es un entero fijo y con los mismos limites de integracin de termino a termino. a e integrando

( )

Cuando n=m el integrando es

y la integral es igual a forma: ( )

. Se obtiene de la siguiente

Siempre que las dems integrales sean cero, lo cual se cumple por la condicin ( )

( ) ( )

(
)

) (

Y al escribir n en lugar de m en la formula obtendremos la formula de los coeficientes Para una funcin de periodo 2L, el razonamiento anterior nos da la serie compleja de Fourier

( )

( )

3)encontara la serie compleja de Fourier de F(x)= -1 si -x0 f(x)=1 si 0x

( )

( )

,*

+ -

( )

( )

( )

5) encontrar la serie compleja de Fourier de F(x)=x ( f(x)=x funcin impar ( )

 u=x dv= du=dx v=

, , ( )

( ) ( ( ) ) + } + *

, ( , * { *

) ( ) ( )

+-

( )

( )

( )

7) encontrar la serie compleja de Fourier de f(x)=x 0<x<2 f(x)= x 0<x<2

( )

u=x dv= ( ( ) ( ) ( ) ( ) { } ( ) du=dx v=

, ,

) i

)(

( )

( )

( )

( )

Integrales de Fourier. Demostracin:

y

Y=f(v)

( )

x a b

y F(v)

x -L ( ) . L /

( )

( )

( )

( )

( ( ) ( ) ( ) ( ) ( ) ( ) *

) * * ( ) ( ) ( ) ( ) ( ) + ( ) ( ) ( ) ( ) + +

( )

( )

( )

, ( )

( )

Integrales de Fourier de senos y cosenos:

( ) ( )

Si f(x) es una funcin par, entonces B(x)=0:

( ) -

, ( )

( ) ( )

Si f(x) es una funcin impar, entonces A(x)=0:

( ) -

, ( )

Ejemplos: ( )
( )

{
( )

| |
0 1

( )

( )

( )

, ( )

( )

( )

( )

( )

( )

( { 0 , 0

1 / . /

0 .

( )

( .

Con lim=10

Con lim=50

Con lim=200

FORMA COMPLEJA DE LA INTEGRAL DE FOURIER.

La integral de Fourier en su forma real es: ( ) Donde ( ) ( ) ( ) ( ) , ( ) ( ) -

Entonces tendramos: ( ) ( ), -

Sabemos que: , ( ) * ( ) ( ) ( + )

La integral entre corchetes es una funcin par de w, dentese F(w), ya que cos (wv-wx) es una funcin par de w, la funcin f no depende de w y se integra con respecto a v (no a w). En consecuencia, la integral de F(w) de w=0 a es la mitad de la integral de F(w) de - a , por tanto: ( ) * ( ) ( ) +

Ahora usamos la forma de Euler:

Hacemos t = wv wx t= w(v-x) ( ( )) (
( ) ( )

( )

Adems sabemos que: ( ( ( ( )) )) ( ( (

( ) ( )

))

Podemos reemplazar
( ) ( )

Y en (1) tendramos: ( ( (
( ) ( ) ( )

))

De manera que la funcin quedara: ( ) ( )

( )

Y esta es la Integral Compleja de Fourier. Y a partir de esta forma compleja, podemos obtener la transformada de Fourier, que consiste en partir de funciones dadas para obtener nuevas funciones que dependen de una variable diferente que aparecen en forma de una integral, entonces se convierten en herramientas tiles para resolver ecuaciones diferenciales ordinarias.

Problemas:

x si 0 < x < a 5.- f(x) = 0 en caso contrario ( ) * ( ) ( ) +

v 1 0 + -

( ( )

)-

Cambiamos w por w ( ( ( ) ) ) ( )

v 1

+ -

( ( ( ( (

)) ) ) )

Uniendo las 2 integrales:

xe-x f(x) = 0

x>0

x<0

( )

( )

( )

*
(( ) )

(( ) )

((

u=v

((

) )

)
((
((

((

) )

) )

) )
) )

du=dv

((

) )

((

) )

( ) )

(1)
(( ) ) (( ) )

((

) )

((
(( ) )

( (( ) ) (( ) )

En (1) reemplazamos w por w y tenemos> * ( ) +

) +

1 f(x) = 0

si b < x < c

en caso contrario

( ( ) )

Cambiamos w por w y tenemos: ( )

( ( ) )