Series de Fourier

Conceptos previos
Iniciaremos este captulo con la revisin de algunos conceptos elementales que sern de aplicacin en los desarrollos posteriores.

Funciones Pares

Una funcin y=f(x) es PAR si

Ejemplos: son funciones pares

Como consecuencia inmediata de la definicin podemos observar que para todo par de puntos simtricos al origen -x0 ; x0 pertenecientes a su dominio, la funcin toma los mismos valores numricos y por lo tanto su grfica es simtrica respecto al eje de ordenadas.

Propiedades de las funciones pares

Sean f(x) y g(x) dos funciones pares: Propiedad 1: La suma de dos funciones pares es otra funcin par: U(x)= f(x) + g(x) es PAR, es decir, U(-x)=U(x) Demostracin: U(-x)= f(-x)+g(-x)= f(x)+g(x)=U(x) por lo tanto se cumple que U(-x)=U(x)

Propiedad 2: El producto o cociente de dos funciones pares es otra funcin par: V(x)= f(x) .g(x) es PAR, es decir, V(-x)=V(x) Demostracin: V(x)= f(x) .g(x) = f(-x) .g(-x) =V(-x) por lo tanto se cumple que V(-x)=V(x)

Demuestre que V(x)=f(x)/g(x) es par Propiedad 3: esta propiedad de la integral definida de una funcin par, en un intervalo de integracin simtrico respecto del origen es evidente, si se tiene en cuenta la simetra de representacin abordada anteriormente, el valor de la integral como rea.

Funciones impares

Una funcin y=f(x) es IMPAR si

Ejemplos: son funciones impares

Propiedades de las funciones impares

Sean f(x) y g(x) funciones impares: Propiedad 1: La suma de dos funciones impares es otra funcin impar: U(x)= f(x) + g(x) es IMPAR, es decir, U(-x)=-U(x) Demostracin: U(-x)= f(-x)+g(-x)=- f(x)-g(x)=-( f(x) + g(x) )=-U(x) por lo tanto se cumple que U(-x)=-U(x)

Propiedad 2: El producto o cociente de dos funciones impares es una funcin par: V(x)= f(x) .g(x) es PAR, es decir, V(-x)=V(x) Demostracin: V(-x)= f(-x) .g(-x) =[- f(x)] .[-g(x)] = f(x) .g(x) =V(x) por lo tanto se cumple que Demuestre que V(x)=f(x)/g(x) es par V(-x)=V(x)

Propiedad 3: El producto o cociente de una funcin par y otra impar da como resultado una funcin impar. Sean f(x) una funcin par y g(x)una funcin impar entonces V(x)= f(x) .g(x) es una funcin impar Demostracin: Sabemos que f(x)=f(-x) y g(-x)=-g(x) V(-x)= f(-x).g(-x)=f(x).[-g(x)]=-[f(x).g(x)]=-V(x) por lo tanto V(x) es impar Demuestre que V(x)=f(x)/g(x) es impar

Propiedad 4: Dado que una funcin impar toma valores numricos opuestos para valores opuestos de la variable independiente, su grfica es una curva simtrica respecto al punto de origen. Ejemplo: f(x)=x3

Como consecuencia de esta propiedad de simetra geomtrica resulta evidente que toda integral definida de una funcin impar en un intervalo de integracin simtrico respecto del origen es nulo. Por lo tanto .

Funciones Peridicas

Definicin: Se dice que una funcin y=f(x) es peridica y que su perodo es p si se cumple que:

Ejemplos: las funciones trigonomtricas, ya que:

En los dos primeros casos el perodo es 2 y en el tercero es . Como consecuencia inmediata de la definicin observamos que la grfica de una funcin peridica se repite en intervalos consecutivos cuya amplitud es p.

Representamos la funcin de perodo 2 definida por:

Propiedades de las funciones peridicas

Propiedad 1: Si y , de modo que cualquier mltiplo entero del perodo, tambin es perodo de la misma funcin. El perodo p de menor valor se denomina perodo primitivo de la funcin. Hemos visto que tg x= tg(x+) , son tambin perodos de la funcin tangente, primitivo de la funcin es p= . etc., pero el perodo

Propiedad 2: Si f(x) es una funcin peridica de perodo p, f(ax) es otra funcin de perodo p/a Demostracin: en la funcin f(ax) le asignaremos a x el valor x+p/a f(a(x+p/a)) distribuyendo queda f(ax+a.p/a)=f(ax+p) y como entonces f(a(x+p/a))=f(ax) con lo cual queda demostrado que su perodo es p/a incluso para (a.x)

Como aplicacin a esta propiedad observamos que siendo el perodo de f(x)=sen x es p=2 por lo tanto el perodo de la funcin f(x)=sen nx ser p=2 /n Como consecuencia las grficas correspondientes a sen x, sen 2x, sen 3x se repiten 1,2,3, veces el perodo 2 , como se puede observar.

Lo mismo ocurre con las funciones cosenoidales para cos x, cos 2x, cos 3x, ya que conocemos su grfica.
Propiedad 3: Si f(x) es una funcin peridica de perodo p y b0, entonces f(x/b) es otra funcin peridica cuyo perodo es p.b. Demostracin:

Propiedad 4: La suma de funciones peridicas de igual perodo es otra funcin peridica del mismo perodo. Sean f(x) y g(x) tales que: entonces

Entonces se cumplir: h(x+p)= f(x+p)+g(x+p)=f(x)+g(x)=h(x) Por lo tanto h(x+p)=h(x)

Propiedad 5: Supongamos la funcin:

es una suma de funciones peridicas; la primera de las cuales (sen x) tiene perodo p=2 ; la segunda (sen 2x) tiene un perodo primitivo p= y la tercera p=2 /3 pero considerando la propiedad 2, ambas admiten tambin perodo p=2 .

En consecuencia f(x) tiene por perodo p=2 . Por ser de suma importancia para interpretar algunos de los desarrollos en serie de Fourier construiremos su grfica correspondiente. Para ello recordemos que en la funcin y=A.sen x, el coeficiente A es la amplitud de onda de modo que

Integrales definidas de funciones peridicas

Sea f(x) una funcin peridica de perodo p; f(x)=f(x+p) . Si f(x) es integrable en un intervalo de amplitud igual al perodo p, entonces es integrable sobre cualquier intervalo de . Adems se verifica que: es constante, cualquiera sea el valor de a y siempre que la longitud del intervalo de integracin sea p (en el grfico p aparece como T).

Demostracin:

(1) Analicemos la segunda integral, del segundo miembro: ; se hacemos x=t+p Si p=x t=0; si x=a+p t=a , dx=dt, adems reemplazando , reemplazando en (1) por lo tanto

Frmulas de posterior aplicacin

Verificamos las siguientes expresiones, donde m y n son nmero enteros. Frmula 1: Frmula 2: Frmula 3: es nula por ser sen nx una funcin impar. por lo tanto, dado que el integrando es el producto de dos

funciones, una par (cos nx) y una impar (sen mx) , la resultante ser otra funcin impar y como los lmites de integracin son simtricos, la integral es nula. Frmula 4: a) Primer caso

=0 b) Segundo caso si m=n

Frmula 5: a. Primer caso

=0 por ser mn Z, por lo tanto la integral es nula

b. Segundo caso si m=n

Frmula 6: Desarrollando:

Reemplazando en cada trmino la siguiente expresin del coseno:

Sumando el segundo miembro, como los trminos de una progresin geomtrica, de razn q= nmero de trminos es (2n+1) y el primer tmino es , resulta que:

, cuyo

Multiplicando numerador y denominador por la misma expresin

obtenemos:

Dividiendo y multiplicando por 2i tendremos: con lo que queda demostrado.

Frmula 7: Si a la igualdad

se la integra entre - y

En el primer miembro tendremos:

en consecuencia tendremos:

De la misma manera que el caso 6, se demuestra:

Funciones continuas por tramos en [a,b], entonces se verificar que :

Demostracin: Supondremos primero que la funcin f(x) es continua en (a,b). Llamemos: (1) haciendo

Por lo tanto: (2)

llamando M al mximo valor de la funcin f(x) en (a,b);

y considerando que

Para > K1 es Para > K2 es

siendo por ser f(x) continua en (a,b)

En consecuencia: i Este teorema puede extenderse a funciones seccionalmente continuas en un intervalo (a,b), es decir a funciones que tengan un nmero finito de discontinuidades finitas en (a,b).

Series de Fourier

En numerosos problemas prcticos de fsica, ingeniera y otras ciencias, aparecen funciones peridicas cuya transformacin en suma de funciones peridicas ms simples como lo son sen nx y cos nx nos permite el estudio de las mismas. Este desarrollo se denomina Serie de Fourier en honor al fsico francs Jean Baptiste Fourier. Veamos algunos ejemplos de funciones peridicas de aplicacin prctica. Ejemplo 1: Rectificador de media onda La corriente elctrica con la que se alimenta el sistema elctrico Argentino posee un voltaje senoidal dado por la ecuacin V=E. sen t donde E es su tensin mxima y 2/ su perodo. Si pudisemos ver con un osciloscopio la onda obtendramos un seno con frecuencia de 50 Hz (perodo de 20 mS).

Si se aplica a travs de un rectificador de media onda, que anula sus valores negativos de la onda (presente en la gran mayora de electrodomsticos) se obtiene la funcin definida de la siguiente forma:

cuya grfica es

Ejemplo2: Frecuentemente para obtener la rectificacin de la onda completa se emplean dispositivos combinados que producen la inversin de la porcin negativa de la onda y se produce la onda de la siguiente grfica:

Estos rectificadores de media onda o de onda completa son dispositivos que see emplean en la ingeniera electromecnica o electrnica con el fin de transformar intensidades o voltajes de una corriente alternada en intensidad o voltaje de una corriente continua. Ejemplo 3: Otra onda que aparece frecuentemente es la llamada dientes de sierra

Series de Fourier para funciones de perodo 2

Sea una funcin f(x) de perodo p=2, que adems es continua o seccionalmente continua con un nmero finito de discontinuidades finitas en [-,] y supongamos puede ser desarrollada en una serie de Fourier de la forma:

Donde a0,an, y bn son los coeficientes cuya determinacin estudiaremos. Este desarrollo de la funcin esn una suma de infinitas funciones simples senoidales y cosenoidales recibe el nombre de Serie de Fourier. Para determinar los coeficientes partimos del supuesto de que el desarrollo existe y la serie converge hacia los valores de la funcin. Con posterioridad estudiaremos en qu condiciones se verifica dicha convergencia. Supongamos su desarrollo de la forma:

Integrando ambos miembros entre los lmites y se obtiene:

Conforme a lo demostrado anteriormente las integrales que aparecen dentro del parntesis son nulas, resultando:

de donde

Multiplicamos ambos miembros del desarrollo por

Todas las integrales del segundo miembro son nulas con la excepcin de la integral

Por lo tanto

de donde Multiplicando ambos miembros del desarrollo por

De acuerdo a lo demostrado anteriormente todas las integrales del segundo miembro son nulas exceptuando :

de donde

Las frmulas obtenidas para la determinacin de los coeficientes a0,an, y bn se les da, el nombre de Frmulas de Euler, para la determinacin de los coeficientes de Fourier de la serie:

Condiciones de Dirichlet Si una funcin f(x): est definida arbitrariamente en el intervalo (- , excepto posiblemente en un nmero finito de puntos pertenecientes al intervalo es peridica de perodo p=2 , fuera de ese intervalo, es decir f(x)=f(x+2 es continua en (- , , a lo sumo tiene un nmero finito de discontinuidades de primera especie (saltos) posee un nmero finito de mximos o mnimos en el intervalo (- ,

entonces f(x) puede ser desarrollada por la serie de Fourier cuyos coeficientes han sido determinados anteriormente por las frmulas de Euler. Esta serie converge uniformemente hacia los valores de la funcin f(x), si x es un punto de continuidad y hacia el promedio si x0 es un punto de discontinuidad, entendindose por :

Las condiciones expresadas son suficientes pero no necesarias. No existen condiciones necesarias y suficientes, tampoco lo es suficientes ser continuas en (- , .

Frmula de Dirichlet Para sumas parciales de una Serie de Fourier

Donde

por la Frmula 6 mostrada anteriormente en Frmulas de posterior aplicacin Haciendo: t-x = s t=s+x y para un x0 fijo dt=ds Y tambin Sustituyendo estos valores:

Como el integrando tiene un perodo 2 , podemos reemplazar el intervalo intervalo de longitud 2 en particular , por lo tanto la sumatoria ser:

por cualquier otro

Convergencia de la serie de Fourier

Sea f(x) continua por tramos en

con perodo 2

y se supone que:

entonces el desarrollo de la serie de Fourier para f(x) converge a f(x0) en cada x0, donde f(x) tenga una derivada por la derecha y por la izquierda.

Demostracin: Primer caso: Suponemos f(x) continua en x0, por lo tanto

Adems como las derivadas existen a ambos lados de

, ser entonces:

partiendo de esta hiptesis, demostraremos que :

Por la frmula de Dirichlet: (1)

(2) Si restamos (1) y (2) obtendremos:

multiplicando y dividiendo por s,

Llamemos g(s) al primer factor del integrando

Por ser f(x) continua, es g(s) continua Para existen los lmites por la derecha y por la izquierda de g(s) en s=0, por lo que g(s) es seccionalmente .

continua en el perodo

Aplicando el lema de Rieman-Lebesgue ya visto, es: por lo tanto: Segundo caso: Cuando x0 es un punto de discontinuidad de f(x).

Demostracin: , converge a por lo tanto

(1) Adems por descomposicin de la Frmula 7 en Frmulas de posterior aplicacin, por ser un integrando par:

Por lo tanto multiplicando la primera integral por

tendremos:

Y sumando ambas igualdades obtenemos otra igualdad: (2)

Restando (1)-(2) tenemos:

es continua en el intervalo [-,0]

para

para Aplicando el teorema de Rieman-Lebesgue, ambas integrales tendern a cero cuando y entonces:

Desarrollo en Serie de Fourier de funciones pares

Si f(x)es par se cumple que f(x)=f(-x); sabemos tambin que cos nx es par y sen nx es impar. Como el producto de dos funciones pares es otra funcin par, entoces f(x).cos nx es una funcin par y el el desarrollo de Fourier los coeficientes de los trminos cosenoidales toman la forma siguiente:

De la misma manera:

En cambio por ser el producto f(x). sen nx una funcin impar, se tendr:

Los coeficientes de los trminos sinusoidales sern todos nulos, por lo tanto el desarrollo de la serie de Fourier se reduce, resultando as: donde sus coeficientes sern

Desarrollo en Serie de Fourier de funciones impares

Si f(x) es impar entonces

Por lo tanto : y por ser los integrandos funciones impares, por lo cual el desarrollo de la serie de Fourier para funciones impares quedara:

donde

Desarrollo en serie de Fourier para funciones de perodo 2L

Sea f(x) una funcin peridica de perodo 2L, es decir,

. Supongamos que f(x) cumple las .t entonces

condiciones necesarias para poder ser desarrollada en Serie de Fourier. Si hacemos

Demostraremos en primer lugar que la nueva funcin

es tambin una funcin peridica de perodo 2.

ya que la funcin f(x) tiene perodo 2L y podemos escribir: , queda s demostrado que 2. En esas condiciones, es una funcin peridica de perodo

puede ser desarrollada en serie de Fourier de la forma conocida: (1)

Donde los coeficientes a0,an, y bn estn dados por la frmula de Euler:

Haciendo el cambio de variable correspondiente Adems sabemos que cuando cuando reemplazando en (1) todas las expresiones encontradas:

de donde

, tambin los lmites de integracin:

Los coeficientes sern:

Ejemplo 1: Desarrollar en Serie de Fourier la forma simtrica de una onda rectangular dada por:

Siendo

la onda ilustra el siguiente grfico, simtrica al eje y

Por tratarse de una funcin par la serie de Fourier es un desarrollo reducido de trminos cosenoidales ya que bn=0. siendo y

Clculo de a0:

Clculo de an:

ya que sen n.0=sen n.=0 esto indica que ...

donde todos los trminos de orden par se anulan y los de orden impar son alternadamente positivos y negativos, tomando factor comn:

a) Funcin Original

b) Serie de Fourier n=3

c) Serie de Fourier n=6

Ejemplo 2: Desarrollar en serie de Fourier la forma antisimtrica de una onda rectangular:

siendo f(x)=f(x+2) Ilustramos la onda en el siguiente grfico, simtrica respecto del origen. Por tratarse de una funcin impar del desarrollo de la serie, como vimos anteriormente, se reduce a una suma de trminos senoidales, mientras que a0=an=0 y solo debemos calcular bn.

trmino general del coeficiente bn Si n es par Si n es impar entonces:

Como vemos el factor

es comn a todos los trminos, por lo tanto el desarrollo en serie de Fourier ser:

a) Funcin Original

b) Serie de Fourier n=3

c) Serie de Fourier n=6

Autor: Ing. Leopoldo De Urrutia Responsable de edicin en formato electrnico: Prof. Bibiana Altamirano Grficos: Ing. Luciano Curie