Академический Документы
Профессиональный Документы
Культура Документы
ndice
1. Series trigonomtricas y series de Fourier. Coeficientes de Fourier 1
2. Series de Fourier de funciones pares y de funciones impares 2
adonden,bn sonT losR+coe, fiacientes0,a1,a2,...,bde la misma. 1,b2,... son constantes reales, se denomina serie
trigonomtrica y los
Dado un nmero real x0, observemos que si en la serie se sustituye la variable x por cualquier nmero de la
forma x0 +kT con k Z, la serie numrica obtenida es la misma cualquiera que sea k, puesto que:
Por esta razn, se puede afirmar que si la serie trigonomtrica converge en el punto x0, entonces tambin
converge en todo punto de la forma x0 +kT, y que su suma es la misma en cualquiera de dichos puntos. En
consecuencia, si la serie trigonomtrica converge, su suma ser una funcin peridica, de perodo T.
Definicin 1.1 Sea f una funcin integrable en [0,T]. Se llaman coeficientes de Fourier de f a los nmeros
1
La serie trigonomtrica que tiene estos coeficientes se denomina serie de Fourier de f en [0,T]. Cuando la
funcin f es adems peridica de perodo T, la serie citada se denomina simplemente serie de Fourier de f.
Para construir la serie de Fourier de una funcin slo hay que calcular sus coeficientes, y para ello, de acuerdo
con la Definicin 1, basta con que f sea integrable. Pero hasta ahora no se ha expuesto ningn argumento que
permita decidir nada acerca de la convergencia de esta serie, ni tampoco, si la suma es o no la funcin f. Es decir,
una cosa es obtener la serie de Fourier de una funcin, y otra muy distinta determinar su convergencia y
eventualmente su suma. Dejaremos para ms tarde estas ltimas cuestiones.
Obsrvese que, en el caso de ser f una funcin T-peridica, los integrandos seran funciones de perodo T, y
entonces, de acuerdo con la Proposicin A.2 del Apndice, es posible reemplazar el intervalo de integracin por
cualquier otro intervalo de longitud T (como por ejemplo, el intervalo [T/2,T/2]), lo que en ciertas
circunstancias puede facilitar el clculo de los coeficientes de Fourier.
En el clculo de la serie de Fourier correspondiente a una funcin f, es posible evitar trabajo innecesario al
determinar los coeficientes de la serie cuando la funcin f considerada sea o bien una funcin par o bien una
funcin impar, como veremos a continuacin:
Si f es una funcin integrable en [0,T], y adems peridica de perodo T, su serie de Fourier es
tanto f como los cosenos lo son; sin embargo, al calcular los bn las funciones a integrar son impares, porque
f es par y los senos impares, de ah que de acuerdo con la Proposicin A.3 del Apndice
resulte
y por tanto la serie de Fourier obtenida es una serie cosenoidal, es decir, es de la forma
ii) Cuando f es impar, al calcular los coeficientes an las funciones a integrar son funciones impares,
ya que f es impar y los cosenos pares; sin embargo, al calcular los bn las funciones a integrar son pares, porque
tanto f como los senos son impares, de ah que de acuerdo con la Proposicin A.3 del Apndice resulte
y por tanto la serie de Fourier obtenida es una serie senoidal, es decir, es de la forma
sen
Siendo f una funcin integrable en [0,T], y adems peridica de perodo T, podemos hablar de la serie de
Fourier de f en [0,T]. Sin embargo, como hemos aclarado antes, no hemos dicho que la serie converja hacia la
funcin f, ni siquiera que sea convergente.
Un teorema importante sobre la convergencia puntual de la serie de Fourier de una funcin f, que cubre la
mayora de las situaciones en las que se encuentran las funciones a considerar en las aplicaciones, es el que
exponemos despus de la siguiente definicin.
Definicin 3.1 Se dice que una funcin f es montona por tramos en un intervalo [a,b], si existe una particin {a
= x0 < x1 < ... < xn = b} del intervalo (a,b) a b
Teorema 3.1 Si la funcin f es acotada y montona a tramos en el intervalo [0,T], y peridica de perodo T,
entonces la serie de Fourier de f es convergente en cada punto x de R, y su suma es + f x
donde f(x+) y f(x) denotan respectivamente los lmites por la derecha y por la izquierda de f en x, es decir
f(x+) = hlm0+ f(x + h) y f(x) = hl m0 + f(x h).
A veces en las aplicaciones, surge la necesidad de representar mediante una serie de Fourier una funcin
dada, que slo est definida sobre cierto intervalo acotado de la recta real.
Supongamos que la funcin f est definida en el intervalo [0, ], y que se desea representar por una serie de
Fourier.
Puesto que toda serie de Fourier, cuando converge, representa una funcin peridica, resolveremos el
problema si consideramos una nueva funcin peridica, que coincida con la funcin f en el intervalo [0, ], y
hallamos su serie de Fourier. As si la serie de Fourier de la funcin construida a partir de f, representa a dicha
funcin, tambin representar a f en el intervalo [0, ] en el que est definida. Con esta idea, se podran adoptar
distintas formas de proceder, como las tres que se sugieren a continuacin.
i) Construir una nueva funcin f, peridica de perodo , tal que en el intervalo (0, ) coincida con la funcin f.
La serie de Fourier de f representar a la funcin f en el intervalo (0, ), si estamos en las condiciones del
teorema de convergencia. ii) Construir una nueva funcin fp, peridica, de perodo 2 , que en el intervalo [ , ]
se defina como
sisi xx [0[, ,]0)
La funcin fp as definida es una funcin peridica, de perodo 2 , y adems es par. Por ello fp tiene asociada
una serie de Fourier cosenoidal. Dicha serie, que se denomina serie de cosenos de f, representar a la funcin
f en el intervalo [0, ], si estamos en las condiciones del teorema de convergencia. iii) Construir una nueva
funcin fi, peridica, de perodo 2 , que en el intervalo [ , ] se defina como
sisi xx [0(, ,)0)
La funcin fi as definida es una funcin peridica, de perodo 2 , y adems es impar. Por ello fi tiene asociada
una serie de Fourier senoidal. Dicha serie, que se denomina serie de senos de f, representar a la funcin
f en el intervalo [0, ], si estamos en las condiciones del teorema de convergencia.
pero a veces se utilizan otros coeficientes A0,An,n relacionados con stos mediante las igualdades
o bien
donde los coeficientes son los de la Definicin 1, puede adoptar otra expresin a menudo ms cmoda en
trmino de funciones exponenciales complejas como mostraremos seguidamente. Si escribimos
sen
tendremos
Fourier en la forma
cuyos coeficientes complejos, utilizando las expresiones de an y bn dadas en la Definicin 1, se pueden obtener
utilizando la frmula
para todo n Z
para todo n Z
y la serie
6. Espectro de lneas y sntesis de formas de onda
Existe un procedimiento grfico para estudiar la contribucin de cada armnico en una serie de Fourier.
Consiste en un diagrama cartesiano en cuyo eje horizontal se representa la frecuencia de cada armnico, y en el
vertical la amplitud del mismo. Ello da origen a un diagrama de segmentos verticales que se conoce con el nombre
de espectro de lneas. Una simple inspeccin del mismo da una idea rpida de la velocidad de convergencia de la
serie y de la contribucin de cada armnico a la onda dada por la serie. Los armnicos que ms contribuyen
tienen mayores amplitudes, y en el espectro de lneas aparecen representados por segmentos de mayor longitud.
En el epgrafe A.4 del Apndice se muestran algunos desarrollos de Fourier y sus correspondientes espectros
de lnea.
Describimos a continuacin otro concepto en relacin con las aplicaciones de las series de Fourier. La idea
central de toda la teora de series de Fourier es que en condiciones bastante generales, una funcin peridica se
puede expresar como una suma de infinitos armnicos. La convergencia de las series de Fourier hace que los
sucesivos armnicos tengan cada vez menor amplitud, por lo que la suma de unos pocos de ellos basta para
obtener una buena aproximacinde la funcin. Supongamos que tenemos una funcin peridica y calculamos
sus primeros armnicos. Podemos entonces reconstruir aproximadamente la funcin sumando tantos armnicos
como se considere necesario para conseguir la precisin deseada. Este proceso se conoce con el nombre de
sntesis de formas de onda y para ponerlo de manifiesto, lo aplicaremos a algunos ejemplos que se describen en
el epgrafe A.5 del Apndice.
Obsrvese que en el ejemplo b) podemos conseguir una buena sntesis tomando pocos armnicos, a
diferencia de lo que ocurre en los casos a) y c) en los que el nmero de armnicos necesario es mayor. Ello es
debido a que la velocidad de convergencia de la serie de Fourier es tanto mayor (y en consecuencia tanto menor
el nmero de armnicos que se necesitan para la sntesis) mientras ms suave sea la funcin, es decir, mientras
ms derivadas continuas tenga la funcin.
APNDICE.-
A.1. Proposicin. Para todo n,p {0} N se cumple que:
si n = p = 0 si n =
p>0
sisi n =6 =pp = 0 n
si n = p > 0 si n =6 p
Demostracin:
T/2 + T/2 si n = p = 0
= 0 + T/2 si n = p > 0
0 si n =6 p
y esta ltima suma es cero, ya que haciendo el cambio de variable x = t+T en la integral , resulta ser
Si
A.3. Proposicin. f : [a,a] R es integrable, se puede asegurar que:
a) Si f es par, entonces
b) Si f es impar, entonces .
Demostracin:
a)
pero las dos ltimas integrales quedan, despus de hacer el cambio de variable t = x en la penltima de
ellas, as
Z a a a a
a) f(x) = 03
si
si y peridica de periodo T = 10
0.5
0.25
1/ 2/ 3/ 4/ 5/
sen3x +
10
senx
sen sen2x
Obsrvese que bastan slo dos armnicos para reproducir casi exactamente la funcin f. Ello es debido,
como se coment en la Seccin 6, a que f tiene (comprubese) derivada primera continua.
c) (funcin escaln unidad) definida en (1,1) y peridica de periodo
sen3x
En este ejemplo, tambin la aproximacin de la suma de armnicos a la funcin es bastante buena, debido a
que f es continua, pero no tan buena como en el ejemplo b), porque ahora, en los extremos del intervalo, la
derivada no es continua.
Ejercicios resueltos
Desarrollo de Fourier
Desarrollo de Fourier
El intervalo de repeticin es - . Vamos a transformar dicho intervalo en el intervalo - < t< , para ello
Desarrollemos la funcin , en el intervalo - < t < . Al ser todos los valores positivos ya no se necesita