Professional Documents
Culture Documents
- SERIES DE FOURIER
Ampliación de Matemáticas.
Ingeniería Técnica Industrial. Especialidad en Electrónica Industrial.
Índice
1. Series trigonométricas y series de Fourier. Coeficientes de Fourier 1
Definición 1.1 Sea f una función integrable en [0, T ]. Se llaman coeficientes de Fourier de f a los
números Z
2 T 2πn
an = f (x) cos xdx n = 0, 1, 2, 3, . . .
T 0 T
Z T
2 2πn
bn = f (x) sen xdx n = 1, 2, 3, . . .
T 0 T
1
Tema 7. Series de Fourier. Ampliación de Matemáticas. Esp. Electrónica Industrial. 2
La serie trigonométrica que tiene estos coeficientes se denomina serie de Fourier de f en [0, T ].
Cuando la función f es además periódica de período T , la serie citada se denomina simplemente serie de
Fourier de f .
Para construir la serie de Fourier de una función sólo hay que calcular sus coeficientes, y para ello, de
acuerdo con la Definición 1, basta con que f sea integrable. Pero hasta ahora no se ha expuesto ningún
argumento que permita decidir nada acerca de la convergencia de esta serie, ni tampoco, si la suma es
o no la función f . Es decir, una cosa es obtener la serie de Fourier de una función, y otra muy distinta
determinar su convergencia y eventualmente su suma. Dejaremos para más tarde estas últimas cuestiones.
Obsérvese que, en el caso de ser f una función T -periódica, los integrandos serían funciones de período
T , y entonces, de acuerdo con la Proposición A.2 del Apéndice, es posible reemplazar el intervalo de
integración por cualquier otro intervalo de longitud T (como por ejemplo, el intervalo [−T /2, T /2]), lo
que en ciertas circunstancias puede facilitar el cálculo de los coeficientes de Fourier.
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 Proposición A.3
del Apéndice resulte
an = 0 n = 0, 1, 2, 3, . . .
Z T /2
4 2πn
bn = f (x) sen xdx n = 1, 2, 3, . . .
T 0 T
y por tanto la serie de Fourier obtenida es una serie senoidal, es decir, es de la forma
∞
X 2πn
bn sen x.
n=1
T
x0 x1 x2 xn−1 xn
de modo que la función f es monótona en cada subintervalo (xi−1 , xi ).
i) Construir una nueva función f ∗ , periódica de período , tal que en el intervalo (0, ) coincida con
la función f . La serie de Fourier de f ∗ representará a la función f en el intervalo (0, ), si estamos
en las condiciones del teorema de convergencia.
ii) Construir una nueva función fp , periódica, de período 2 , que en el intervalo [− , ] se defina como
½
f (x) si x ∈ [0, ]
fp (x) =
f (−x) si x ∈ [− , 0)
La función fp así definida es una función periódica, de período 2 , y además 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 función f en el intervalo [0, ], si estamos en las condiciones del teorema de
convergencia.
iii) Construir una nueva función fi , periódica, de período 2 , que en el intervalo [− , ] se defina como
½
f (x) si x ∈ [0, )
fi (x) =
−f (−x) si x ∈ (− , 0)
La función fi así definida es una función periódica, de período 2 , y además 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 función 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
⎫
A0 = a0 ⎬
an = An cos ψ n n = 1, 2, 3, . . .
⎭
bn = An sen ψ n
donde los coeficientes son los de la Definición 1, puede adoptar otra expresión a menudo más cómoda en
término de funciones exponenciales complejas como mostraremos seguidamente.
Si escribimos 2πinx 2πinx
2πn e T + e− T
cos x=
T 2
2πinx 2πinx
2πn e T − e− T
sen x=
T 2i
tendremos
2πn 2πn 1 h ³ 2πinx 2πinx
´ ³ 2πinx 2πinx
´i
an cos x + bn sen x = an e T + e− T − ibn e T − e− T
T T 2
1h 2πinx 2πinx
i
= (an − ibn ) e T + (an + ibn ) e− T
2
1
De modo que definiendo b0 = 0, cn = (an − ibn ), y llamando cn a su conjugado, podremos expresar la
2
serie de Fourier en la forma
∞ ³
X ´
2πinx 2πinx
c0 + cn e T + cn e− T
n=1
n=−∞
y la serie
∞
X
cn einωx
n=−∞
APÉNDICE.-
A.1. Proposición. Para todo n, p ∈ {0} ∪ N se cumple que:
⎧
Z T ⎨ T si n = p = 0
2πn 2πp
a) cos x cos xdx = T /2 si n = p > 0
0 T T ⎩
⎧ 0 si n 6= p
Z T ⎨ 0 si n = p = 0
2πn 2πp
b) sen x sen xdx = T /2 si n = p > 0
0 T T ⎩
0 si n 6= p
Z T
2πn 2πp
c) cos x sen xdx = 0
0 T T
Demostración:
1
a) Utilizando la relación cos α cos β = [cos(α + β) + cos(α − β)] resulta que:
2
ZT Z µ ¶ Z µ ¶
2πn 2πp 1 T 2πn 2πp 1 T 2πn 2πp
cos x cos xdx = cos + xdx + cos − xdx
T T 2 0 T T 2 0 T T
0
⎧
⎨ T /2 + T /2 si n = p = 0
= 0 + T /2 si n = p > 0
⎩
0 si n 6= p
Z a Z a
a) Si f es par, entonces f (x)dx = 2 f (x)dx.
−a 0
Z a
b) Si f es impar, entonces f (x)dx = 0.
−a
Demostración:
a)
Z a Z 0 Z a Z 0 Z a
f (x)dx = f (x)dx + f (x)dx = f (−x)dx + f (x)dx =
−a −a 0 −a 0
pero las dos últimas integrales quedan, después de hacer el cambio de variable t = −x en la
penúltima de ellas, así
Z 0 Z a Z a Z a Z a
= −f (t)dt + f (x)dx = f (t)dt + f (x)dx = 2 f (x)dx
a 0 0 0 0
b)
Z a Z 0 Z a Z 0 Z a
f (x)dx = f (x)dx + f (x)dx = −f (−x)dx + f (x)dx =
−a −a 0 −a 0
pero las dos últimas integrales quedan, después de hacer el cambio de variable t = −x en la
penúltima de ellas, así
Z 0 Z a Z a Z a
= f (t)dt + f (x)dx = − f (t)dt + f (x)dx = 0
a 0 0 0
0.5
0.25
4π2 4 4π 4 4π 4 4π
+ cos x − sen x + cos 2x − sen 2x + cos 3x − sen 3x + · · ·
3 1 1 4 2 9 3
4p
An = 2 1 + n2 π 2 n = 1, 2, 3, . . .
n
10
3 3
2 2
1 1
-3 -2 -1 1 2 3 -3 -2 -1 1 2 3
-1 -1
-2 -2
-3 -3
0.4 0.4
0.2 0.2
-0.2 -0.2
-0.4 -0.4
Obsérvese que bastan sólo dos armónicos para reproducir casi exactamente la función f . Ello es
debido, como se comentó en la Sección 6, a que f tiene (compruébese) derivada primera continua.
½
0 si x < 0
c) f (x) = u(x) = (función escalón unidad) definida en (−1, 1) y periódica de periodo
1 si x N 0
T =2
1 2
S2 (x) = + sen πx
2 π
1 2 2
S4 (x) = + sen πx + sen 3πx
2 π 3π
1 2 2 2 2
S7 (x) = + sen πx + sen 3πx + sen 5πx + sen 7πx
2 π 3π 5π 7π
1 1 1
1 1 1