Series de Fourier

En esta unidad haremos un estudio extenso de las series e integrales de Fourier tanto reales,
de los principios teoremas de convergencia de ambas, así como de los espectros de
frecuencia y amplitudes respectivos

No es nuestro propósito demostrar formalmente todos los teoremas, ya que en un primer

curso es más indispensable, el perfecto manejo de los conceptos, más que la profundización
y el análisis de estos.

El desarrollo histórico del Análisis de Fourier data de tiempos antiguos, pero la forma
moderna comenzó a tomar a mediados del siglo XVIII, con el estudio de la cuerda vibrante
de Leonard Euler, y las posteriores investigaciones de Bernoulli, Lagrange y por supuesto,
del matemático francés Joseph Fourier, a principios del siglo XIX.

El Análisis de Fourier toma el nombre de este brillante matemático, debido a las grandes
aportaciones que le brindó a esta rama del conocimiento, pero como suele suceder en esta
vida, los grandes descubrimientos de Fourier no fueron realmente valorados durante la
mayor parte de la época que él vivió, sino fue hasta final de sus días, que su trabajo recibió
el reconocimiento que merecía…

A diferencia de Euler, los fenómenos físicos que motivaron el trabajo De Fourier fueron el
de la propagación y difusión de calor. Para 1807, Fourier había encontrado algunas series
senoidales relacionadas armónicamente, eran útiles para representar la distribución de la
temperatura a través de un cuerpo, pero, además, afirmaba que cualquier señal periódica
podía ser representada por tales series. Sin embargo, la gran perspicacia de sus ideas
adolecía realmente de argumentos matemáticos firmes que las sustentaran, y fue en
realidad el matemático Dirichlet, quien proporciono las condiciones precisas para
fundamentar correctamente las afirmaciones de Fourier.

Hoy en día reconoce el trabajo de Fourier, como la piedra angular de esta rama del
conocimiento, tanto por el interés científico que por sí solo ha despertado, como por las
múltiples aplicaciones que se han encontrado en estos años de cambio y movimiento
constante. La explicación del porque se han descubierto múltiples aplicaciones es sencilla:
existen una gran variedad de problemas de la ciencia y de la ingeniería, donde las señales
senoidales juegan un papel importante, y, por lo tanto, las series y transformadas de Fourier
se hacen indispensables para su estudio.

Solo por mencionar algunas aplicaciones, diremos que la serie y transformada de Fourier se
aplican en el estudio de señales y sistemas de comunicación, así como en óptica; aparecen
aparatos sofisticados modernos como los que se usan para tomar una tomografía, y
también surgen en las técnicas analíticas como la resonancia magnética nuclear, y en
general, en todo tipo de instrumentación científica que se use para el análisis y la
presentación de datos.

SERIES DE FOURIER

El concepto de series de Fourier no es fácil de asimilar y por lo mismo, trataremos de

introducirlo de una forma sencilla, a través de un planteamiento matemático similar al de
Serie de Taylor que se estudia en los cursos de cálculo, es decir, como un problema de
representación de funciones como series de ciertas funciones particulares.

Sea una función definida en un intervalo de la forma −𝐿 ≤ 𝑥 ≤ 𝐿, tal que

𝐿
∫−𝐿 𝑓(𝑥)𝑑𝑥 existe.

Queremos saber si es posible representar a 𝑓(𝑥) como una serie de senos y cosenos, es
decir mediante una serie trigonométrica. Formalmente, planteamos lo siguiente:

Problema
¿Podemos encontrar números 𝑎0 , 𝑎1 , 𝑎2, 𝑎3 , … 𝑦 𝑏1 , 𝑏2 , 𝑏3 , … tales que se cumpla la
siguiente igualdad:

𝑛𝜋𝑥 𝑛𝜋𝑥
(1) 𝑓(𝑥) = 𝑎0 + ∑∞
𝑛=1 [𝑎𝑛 cos ( ) + 𝑏𝑛 𝑠𝑒𝑛 ( )]
𝐿 𝐿

Observación:

Nótese que el termino 𝑎0 , aparentemente está aislado del resto de la serie, pero en
realidad podríamos integrarlo a ella, si hacemos que la suma comience desde 𝑛 = 0. Sin
embargo, para seguir con la costumbre de los autores de los libros de texto, seguiremos la
escritura tal y como se planteó en el problema anterior.

Definición 2.1: Series y coeficientes de Fourier

Sea 𝑓(𝑥) una función definida en un intervalo de la forma −𝐿 ≤ 𝑥 ≤ 𝐿, tal que

𝐿
∫−𝐿 𝑓(𝑥)𝑑𝑥 existe.

Entonces:

i. Los coeficientes de Fourier de 𝑓(𝑥) en [−𝐿, 𝐿]son los mismos números:

𝐿
1
𝑎0 = ∫ 𝑓(𝑥)𝑑𝑥
2𝐿
−𝐿
𝐿
1 𝑛𝜋𝑥
𝑎𝑛 = ∫ 𝑓(𝑥) cos ( ) 𝑑𝑥, ∀𝑛 = 1,2,3 …
𝐿 𝐿
−𝐿
𝐿
1 𝑛𝜋𝑥
𝑏𝑛 = ∫ 𝑓(𝑥) 𝑠𝑒𝑛 ( ) 𝑑𝑥, ∀𝑛 = 1,2,3 …
𝐿 𝐿
−𝐿

ii. La serie de Fourier de 𝑓(𝑥) en [−𝐿, 𝐿] es:

∞
𝑛𝜋𝑥 𝑛𝜋𝑥
𝑓(𝑥) = 𝑎𝑜 + ∑ [𝑎𝑛 cos ( ) + 𝑏𝑛 𝑠𝑒𝑛 ( )]
𝐿 𝐿
𝑛=1

Donde 𝑎0 , 𝑎𝑛 𝑦 𝑏𝑛 son los coeficientes de Fourier definidos en (i).

Ejemplo 2.1:

Sea 𝑓(𝑥) = 𝑥 para −𝜋 ≤ 𝑥 ≤ 𝜋. Calcular la serie de Fourier de esta función.

Solución. En este caso, vemos que 𝐿 = 𝜋. Por lo tanto, los coeficientes de Fourier para
esta función son:
𝜋 𝜋
1 1 𝑥2
𝑎0 = ∫ 𝑥 𝑑𝑥 = | =0
2𝜋 2𝜋 2 −𝜋
−𝜋

𝜋
𝜋
1 1 1 𝑥
𝑎𝑛 = ∫ 𝑥 cos(𝑛𝑥) 𝑑𝑥 = [ 2 cos(𝑛𝑥) + 𝑠𝑒𝑛(𝑛𝑥)] = 0
𝜋 𝜋 𝑛 𝑛 −𝜋
−𝜋
 𝜋
𝜋
1 1 1 𝑥 2 2
𝑏𝑛 = ∫ 𝑥𝑠𝑒𝑛(𝑛𝑥)𝑑𝑥 = [ 2 sen(𝑛𝑥) − 𝑐𝑜𝑠(𝑛𝑥)] = − 𝑐𝑜𝑠(𝑛𝜋) = (−1)𝑛+1
𝜋 𝜋 𝑛 𝑛 −𝜋 𝑛 𝑛
−𝜋

Observe que: 𝑐𝑜𝑠(𝑛𝜋) = (−1)𝑛

De esta forma, la serie de Fourier de en el intervalo está dada por.

∞
2
∑ (−1)𝑛+1 𝑠𝑒𝑛(𝑛𝑥)
𝑛
𝑛=1

Desarrollando algunos términos de esta serie, esta se ve como sigue:

2 1
2𝑠𝑒𝑛𝑥 − 𝑠𝑒𝑛(2𝑥) + 𝑠𝑒𝑛(3𝑥) − 𝑠𝑒𝑛(4𝑥) + ⋯
3 2
Observe que, en este ejemplo, todos los coeficientes 𝑎𝑛 son 0, y, por lo tanto, la serie de
Fourier contiene solamente términos de senos. Esto no es una casualidad, sino más bien
una consecuencia de propiedades intrínsecas de 𝑓(𝑥).

Ejemplo 2.2:

Calcular la serie de Fourier para la función definida como sigue:

0 𝑠𝑖 − 3 ≤ 𝑥 ≤ 0
𝑓(𝑥) = {
𝑥 𝑠𝑖 0≤𝑥≤3

Solución: En este caso, 𝐿 = 3, por lo tanto, los coeficientes quedan como sigue:
3 3
1 1 3
𝑎0 = ∫ 𝑓(𝑥)𝑑𝑥 = ∫ 𝑥𝑑𝑥 =
6 6 4
−3 0

3 3
1 𝑛𝜋𝑥 1 𝑛𝜋𝑥
𝑎𝑛 = ∫ 𝑓(𝑥) cos ( ) 𝑑𝑥 = ∫ 𝑥 cos ( ) 𝑑𝑥
3 3 3 3
−3 0

3 𝑛𝜋𝑥 𝑥 𝑛𝜋𝑥 3 3 3
𝑎𝑛 =[𝑛2𝜋2 𝑐𝑜𝑠 ( ) + 𝑛𝜋 𝑠𝑒𝑛 ( )] = 𝑛2 𝜋2 [cos(𝑛𝜋) − 1] = 𝑛2 𝜋2 [(−1)𝑛 − 1]
3 3 0

3 3
1 𝑛𝜋𝑥 1 𝑛𝜋𝑥
𝑏𝑛 = ∫ 𝑓(𝑥) sen ( ) 𝑑𝑥 = ∫ 𝑥 sen ( ) 𝑑𝑥
3 3 3 3
−3 0

3 𝑛𝜋𝑥 𝑥 𝑛𝜋𝑥 3 3 3
𝑏𝑛 =[𝑛2𝜋2 𝑠𝑒𝑛 ( ) + 𝑛𝜋 𝑐𝑜𝑠 ( )] = − 𝑛2 𝜋2 cos(𝑛𝜋) = 𝑛𝜋 (−1)𝑛+1
3 3 0
Por lo tanto, la serie de Fourier de 𝑓(𝑥) en el intervalo [−3,3] es:
∞
3 3 𝑛𝜋𝑥 3 𝑛𝜋𝑥
− ∑ [ 2 2 ((−1)𝑛 − 1) 𝑐𝑜𝑠 ( )+ (−1)𝑛+1 𝑠𝑒𝑛 ( )]
4 𝑛 𝜋 3 𝑛𝜋 3
𝑛=1

Desarrollando algunos términos, tenemos que la serie inicia como sigue

3 6 𝜋𝑥 3 𝜋𝑥 3 𝜋𝑥
− 2 cos ( ) + 𝑠𝑒𝑛 ( ) − 𝑠𝑒𝑛 (2 ) − ⋯
4 𝜋 3 𝜋 3 2𝜋 3

Es importante entender que significa una serie de Fourier de una función dada. Esta suma
corre desde 𝑛 = 1 hasta el infinito. Por lo tanto, si tomamos la suma desde 𝑛 = 1 hasta
𝑛 = 𝑘, entonces esta función debe aproximar a nuestra función f(x), y se espera que entre
mayor sea el valor de k, mejor será la aproximación a f(x).
2.2 FUNCIONES PARES E IMPARES

Definición 2.2: Una función f(x) se llama par en el intervalo [-L, L] si cumple que

𝑓(−𝑥) = 𝑓(𝑥), ∀𝑥𝜖[−𝐿, 𝐿],

Gráficamente, una función es par si es simétrica respecto al eje y. Así, una gráfica típica de
una función par se ve como sigue:

Algunos ejemplos clásicos de funciones pares son:

1. 𝑓(𝑥) = 𝑥 2 es una función par en cualquier intervalo [-L, L].

5𝜋𝑥
2. 𝑓(𝑥) = cos ( ) es una función par en el intervalo [-L, L].
𝐿

El nombre de función par es debido a que todas las funciones de la forma 𝑥 𝑘 , donde 𝑘 es
un número natural par, son funciones pares.
𝐿
De la prioridad geométrica de las funciones pares, es claro que si calculamos ∫−𝐿 𝑓(𝑥)𝑑𝑥,
estamos calculando el área bajo la curva, y puesto que la función es simétrica respecto al
𝐿
eje 𝑦, entonces esta integral equivale a dos veces el valor de ∫0 𝑓(𝑥)𝑑 𝑥.

Una prueba formal de este resultado se da en los cursos de Cálculo.

2 LEMA. Si f(x) es una función para el intervalo [-L, L] entonces:

𝐿 𝐿

∫ 𝑓(𝑥)𝑑𝑥 = 2 ∫ 𝑓(𝑥)𝑑𝑥
−𝐿 0

Pasemos ahora a las funciones impares.

Definición 2.3: Una función f(x) se llama función impar en el intervalo [-L ,L] si cumple que

𝑓(−𝑥) = −𝑓(𝑥), ∀𝑥 ∈ [−𝐿, 𝐿].

Gráficamente, una función f(x) es impar si es simétrica respecto al origen. Así, una gráfica
típica de una función impar se ve como sigue:

Algunos ejemplos clásicos de funciones impares son:

1. 𝑓(𝑥) = 𝑥 3 es una función impar en cualquier intervalo [-L, L].

5𝜋𝑥
2. 𝑓(𝑥) = sin( ) es una función impar en el intervalo [-L, L].
𝐿

El nombre de la función impar es debido a que todas las funciones de la forma 𝑥 𝑘 , donde k
es un número natural impar, son funciones impares.
0
De la propiedad geométrica de las funciones impares, vemos que el valor de ∫−𝐿 𝑓(𝑥)𝑑𝑥 y
𝐿 𝐿
el valor de ∫0 𝑓(𝑥)𝑑𝑥 difieren por un signo y por lo tanto el valor total de ∫−𝐿 𝑓(𝑥)𝑑𝑥se
anula. Una prueba formal se da en los cursos de Cálculo.

3. LEMA. Si f(x) es una función impar en el intervalo [-L, L] entonces:

𝐿

∫ 𝑓(𝑥)𝑑𝑥 = 0
−𝐿

Al combinar bajo productos funciones pares e impares, estas se comportan como cuando
multiplicamos números positivos y negativos, siguiendo las leyes de los signos.

Informalmente hablando, tenemos las siguientes propiedades:

• (par)(par)= par
• (par)(impar)=impar
• (impar)(impar)=par
La demostración de estas propiedades es muy simple. Por ejemplo, supongamos que f(x)
es una función par y que g(x) es una función impar. De aquí tenemos que:

𝑓(−𝑥)𝑔(−𝑥) = 𝑓(𝑥)[−𝑔(𝑥)] = −[𝑓(𝑥)𝑔(𝑥)]

Lo que demuestra que f(x)g(x) es una función impar.

Pasemos a ver el resultado que nos indica que sucede con los coeficientes y la serie de
Fourier de funciones pares e impares.

TEOREMA 2.1: Sea f(x) integrable en el intervalo [-L, L], Entonces:

i.) Si f(x) es una función par, entonces la serie de Fourier de f(x) en [-L, L] es:
∞
𝑛𝜋𝑥
𝑎0 + ∑ 𝑎𝑛 cos ( )
𝐿
𝑛=1

Donde:
𝐿
1
𝑎0 = ∫ 𝑓(𝑥)𝑑𝑥
𝐿
0
𝐿
2 𝑛𝜋𝑥
𝑎𝑛 = ∫ 𝑓(𝑥) cos ( ) 𝑑𝑥, ∀𝑛 ≥ 1
𝐿 𝐿
0
ii.) Si f(x) es una función impar, entonces la serie de Fourier de f(x) en [-L, L] es:
∞
𝑛𝜋𝑥
∑ 𝑏𝑛 sen ( )
𝐿
𝑛=1

Donde:
𝐿
2 𝑛𝜋𝑥
𝑏𝑛 = ∫ 𝑓(𝑥) sen ( ) 𝑑𝑥, ∀𝑛 ≥ 1
𝐿 𝐿
0

Ejemplo 2.3:

Calcular la serie de Fourier para la función 𝑓(𝑥) = 𝑥 4 , en el intervalo [−𝜋, 𝜋].

Solución: Sabemos que f(x) es par, y, por lo tanto, solamente calculamos los coeficientes
𝑎0 𝑦 𝑎𝑛 .

Tenemos que:
 𝜋
1 1 𝑥5 1
𝑎0 = ∫ 𝑥 𝑑𝑥 = [ ] = 𝜋 4
4
𝜋 𝜋 5 5
0

𝜋
2
𝑎𝑛 = ∫ 𝑥 4 cos(𝑛𝑥) 𝑑𝑥
𝜋
0

𝜋
2
𝑎𝑛 = ∫ 𝑥 4 cos(𝑛𝑥) 𝑑𝑥
𝜋
0
4 2 2 𝜋
2 𝑥 sin(𝑛𝑥) 4 3𝑛 𝑥 − 6 𝑛2 𝑥 3 − 6𝑥
= [ − ( sin(𝑛𝑥) − cos(𝑛𝑥))]|
𝜋 𝑛 𝑛 𝑛4 𝑛3 0

8 2 2 8 2 2
𝑎𝑛 = 4
(𝑛 𝜋 − 6) cos(𝑛𝜋) = 4
(𝑛 𝜋 − 6)(−1)𝑛
𝑛 𝑛

Por lo tanto, la serie de Fourier de f(x) en [−𝜋, 𝜋] es:

∞
1 4 8
𝜋 + ∑ 4 (𝑛2 𝜋 2 − 6)(−1)𝑛 cos(𝑛𝑥)
5 𝑛
𝑛=1

Ejemplo 2.4:

Calcular la serie de Fourier de la función definida como:

−1 𝑠𝑖 −1 ≤𝑥 ≤ 0
𝑓(𝑥) = {
1 𝑠𝑖 0≤𝑥≤1

Solución: De la gráfica de la función,

Vemos que se trata de una función impar. Por lo tanto, para calcular su serie de Fourier,
únicamente calculamos los coeficientes 𝑏𝑛 :
1
2 2
𝑏𝑛 = 2 ∫ sen(𝑛𝜋𝑥)𝑑𝑥 = − ((−1)𝑛 − 1) = [1 + (−1)𝑛+1 ]
0 𝑛𝜋 𝑛𝜋

Por lo tanto, la serie de Fourier de f(x) en [−1,1] es:

∞
2[1 + (−1)𝑛+1 ]
∑ sin(𝑛𝜋𝑥)
𝑛𝜋
𝑛=1

De hecho, observamos que si 𝑛 = 2𝑘 − 1, 𝑘 ≥ 1 entonces 1 + (−1)𝑛+1 = 2 mientras que

si 𝑛 = 2𝑘, 𝑘 ≥ 1 entonces 1 + (−1)𝑛+1 = 0. Por lo tanto, la serie de Fourier se puede
escribir como:
∞
4
∑ sin((2𝑘 − 1)𝜋𝑥)
(2𝑘 − 1)𝜋
𝑘=1

CONVERGENCIA DE LA SERIE DE FOURIER.

Al igual que la serie de Taylor, la serie de Fourier depende de ciertos valores de la variable
independiente x, para que converja o no. En esta sección, veremos condiciones sobre f(x)
para saber a qué converge su serie de Fourier.

Definición2.4: Función continua por partes

Decimos que una función f(x) es continua por partes en el intervalo [−𝐿, 𝐿] si:

i) f(x) está definida y es continua en [−𝐿, 𝐿], excepto quizás en un numero finito
de puntos.
ii) lim− 𝑓(𝑥) y lim + 𝑓(𝑥) existen y son finitos.
𝑥→𝐿 𝑥→−𝐿
 iii) En cada punto c ∈ (−𝐿, 𝐿) donde f(x) no es continua, lim− 𝑓(𝑥) y lim+ 𝑓(𝑥)
𝑥→𝑐 𝑥→𝑐
existen y son finitos.

Gráficamente, una función f(x) es continua por partes si tiene solamente un numero
finito de discontinuidades y además, estas discontinuidades no son infinitas.

Así, una gráfica típica de una función continua por partes se ve como sigue:

Puesto que vamos a usar mucho los limites laterales, es conveniente introducir una
notación especial:

Ejemplo 2.5:

La función definida como:

5 𝑠𝑖 𝑥 = −𝜋
𝑥 𝑠𝑖 −𝜋 <𝑥 <1
𝑓(𝑥) = {
1 − 𝑥2 𝑠𝑖 1 ≤ 𝑥 < 2
4 𝑠𝑖 2 ≤ 𝑥 ≤ 𝜋

Es continua por partes, como puede verificarse fácilmente con la gráfica.

Definición 2.5: Función suave por partes

Una función f(x) es suave por partes en el intervalo [−𝐿, 𝐿] si f(x) y 𝑓 ´ (x) son funciones
continuas por partes en [−𝐿, 𝐿].

Ejemplo 2.6:

La función del ejemplo 5, es suave por partes en [−𝜋, 𝜋] ya que de hecho f´(x) es:

1 𝑠𝑖 − 𝜋 < 𝑥 < 1
𝑓´(𝑥) = { −2𝑥 𝑠𝑖 1 < 𝑥 < 2
0 𝑠𝑖 2 < 𝑥 < 𝜋

Claramente esta última es continua por partes en [−𝜋, 𝜋].

Con estas dos definiciones, estamos en condiciones para dar nuestro primer teorema de
convergencia para series de Fourier, el cual enunciamos sin demostración ya que esta se
sale de los objetivos del curso.

Primer Teorema de Convergencia

Sea f(x) una función suave por partes es [−𝐿, 𝐿]. Entonces la serie de Fourier de f(x)
converge en cada punto 𝑐 ∈ (−𝐿, 𝐿) al valor:

1
[𝑓(𝑐 +) + 𝑓(𝑐−)]
2

Observaciones:

1. Si f(x) es continua en x=c entonces la serie de Fourier converge f(c). De hecho, este es
el valor al cual esperábamos que converja la serie (recuérdese el problema planteado
al inicio de esta unidad), pero vemos que solamente se logra en los puntos donde la
función es continua.
2. Si f(x) es discontinua con x=c entonces la serie de Fourier no converge a f(c), pero si al
punto medio entre los limites laterales.
3. El primer teorema de Convergencia no nos da información sobre los puntos extremos
del intervalo. El siguiente criterio de convergencia, mejora este “defecto”, aunque
cambian las hipótesis.

Ejemplo 2.7:

Sea f(x) la misma función del ejemplo 1. Claramente f(x) es suave por partes, y de hecho,
f(x)=x es continua en todo el intervalo [−𝜋, 𝜋]. Por lo tanto, aplicando el primer teorema
de convergencia, podemos concluir que la serie de Fourier converge a 𝑓(𝑐), ∀ 𝑐 ∈
(−𝜋, 𝜋).Esto significa que, la función es igual a su serie de Fourier en el intervalo abierto:
∞
2
𝑥 = ∑ (−1)𝑛+1 𝑠𝑒𝑛(𝑛𝑥), ∀ 𝑥 ∈ (−𝜋, 𝜋)
𝑛
𝑛=1

Ejemplo 2.8: Sea f(x) la misma función del ejemplo 2. Claramente f(x) es suave por partes
en el intervalo (-3, 3) y continua en el intervalo [-3, 3]. Por lo tanto, aplicando el primer
teorema de convergencia, podemos concluir que la serie de Fourier converge a f(c), ∀𝑥 ∈
(−3, 3).

Esto significa que, la función es igual a su serie de Fourier en el intervalo abierto:

 ∞
3 3 𝑛𝜋𝑥 3 𝑛𝜋𝑥
𝑓(𝑥) = + ∑ [ 2 2 ((−1)𝑛 − 1) cos ( )+ (−1)𝑛+1 𝑠𝑒𝑛 ( )] , ∀𝑥 ∈ (−3, 3)
4 𝑛 𝜋 3 𝑛𝜋 3
𝑛=1

Ejemplo 2.9:

Consideremos la función definida en el ejemplo 2.5. Ya vimos que esta función es suave
por partes. Aquí, f(x) no es continua en el intervalo abierto (−𝜋, 𝜋). De hecho, vemos que
las discontinuidades de f(x) son:

5 𝑠𝑖 𝑥 = −𝜋
𝑥 𝑠𝑖 −𝜋 <𝑥 <1
𝑓(𝑥) = {
1 − 𝑥2 𝑠𝑖 1 ≤ 𝑥 < 2
4 𝑠𝑖 2 ≤ 𝑥 ≤ 𝜋

𝑥 = −𝜋, 1,2, 𝜋

Los extremos 𝑥 = −𝜋, 𝜋 no los tomamos en cuenta, ya que el Primer Teorema de

Convergencia no nos da información sobre ellos. Analicemos entonces los valores
restantes. En x=1,

𝑓(1 −) = 1

𝑓(1 +) = 0

Por lo tanto, en x=1 la serie de Fourier de f(x) converge a:

1 1
[𝑓(1 −) + 𝑓(1+)] =
2 2

En x=2 se tiene que

𝑓(2 −) = −3

𝑓(2 +) = 4

Por lo tanto, en x=2 la serie de Fourier de f(x) converge a

1 1
[𝑓(2 −) + 𝑓(2+)] =
2 2
En los demás valores del intervalo 𝑥 ∈ (−𝜋, 𝜋), la serie de Fourier converge a f(x), por la
continuidad.

Por lo tanto, sin calcular la serie de Fourier de f(x), podemos decir que converge a:

𝑥 𝑠𝑖 − 𝜋 < 𝑥 < 1
1 − 𝑥 2 𝑠𝑖 1 < 𝑥 < 2
4 𝑠𝑖 2 < 𝑥 < 𝜋
1
𝑠𝑖 𝑥 = 1
2
1
{2 𝑠𝑖 𝑥 = 2

Para establecer nuestro siguiente criterio de convergencia, necesitamos la siguiente:

Definición 2.6: Derivadas unilaterales

Si f(x) tiene límite derecho en x=c, entonces la derivada derecha de f(x) en este punto se
define como sigue:

𝑓(𝑐 + ℎ) − 𝑓(𝑐+)
𝑓´𝑅 (𝑐) = lim+
ℎ→0 ℎ

Si este último límite existe y es finito.

Si f(x) tiene límite izquierdo en x=c, entonces la derivada izquierda de f(x) en este punto se
define como sigue:

𝑓(𝑐 + ℎ) − 𝑓(𝑐−)
𝑓´𝐿 (𝑐) = lim−
ℎ→0 ℎ

Si este último límite existe y es finito.

Obsérvese que en el caso cuando f(x) es diferenciable en x=c, entonces

𝑓´𝑅 (𝑐) = 𝑓´𝐿 (𝑐)

Ejemplo 2.10:

Consideramos la función definida como

 1+𝑥 𝑠𝑖 − 𝜋 ≤ 𝑥 < 0
𝑓(𝑥) = {
𝑥2 𝑠𝑖 0 ≤ 𝑥 ≤ 𝜋

Entonces f(x) es diferenciable en el intervalo (−𝜋, 𝜋), excepto en c=0.

Vemos que 𝑓(0 −) = 1, 𝑓(0 +) = 0, y por lo tanto, tenemos que:

𝑓(0 + ℎ) − 𝑓(0+) ℎ2 − 0
𝑓´𝑅 (0) = lim+ = lim+ =0
ℎ→0 ℎ ℎ→0 ℎ

Este valor representa la pendiente de la recta tangente a f(x) en el punto x=0 (por el lado
derecho).

También tenemos que:

𝑓(0 + ℎ) − 𝑓(0−) 1+ℎ−1

𝑓´𝐿 (0) = lim− = lim− =1
ℎ→0 ℎ ℎ→0 ℎ

Este valor representa la pendiente de la recta tangente a f(x) en el punto x=0 (por el lado
izquierdo).

SEGUNDO TEOREMA DE CONVERGENCIA

Sea f(x) continua por partes en el intervalo [−𝐿, 𝐿]. Entonces:

i) Si 𝑥 ∈ (−𝐿, 𝐿) y f(x) tiene derivadas izquierda y derecha en x, entonces la serie

de Fourier de f(x) en [−𝐿, 𝐿] converge en x al valor:
1
[𝑓(𝑥 −) + 𝑓(𝑥+)]
2
ii) Si 𝑓´𝑅 (−𝐿) 𝑦 𝑓´𝐿 (𝐿) existen, entonces L y –L, la serie de Fourier de f(x)
converge al valor:
1
[𝑓(𝑥 −) + 𝑓(𝑥+)]
2

Observaciones:

1. Si f(x) es continua y tiene derivadas izquierda y derecha en x, entonces la serie de

Fourier converge a f(X).
2. Este criterio de convergencia si nos da información sobre los extremos –L y L. de
hecho, si f(x) es continua en –L y L, entonces la serie de Fourier converge al
promedio entre 𝑓(−𝐿)𝑦 𝑓(𝐿).

Ejemplo 2.11:
 Consideramos la siguiente función

𝑒 −𝑥 𝑠𝑖 − 2 ≤ 𝑥 < 1
𝑓(𝑥) = { −2𝑥 2 𝑠𝑖 1 ≤ 𝑥 < 2
9 𝑠𝑖 𝑥 = 2

De aquí vemos que f(x) tiene derivadas laterales en cada punto del intervalo [-2, 2]. De
este modo, podemos utilizar el segundo teorema de Convergencia, para concluir que la
serie de Fourier de f(x) en [-2, 2], converge a:

𝑒 −𝑥 𝑠𝑖 − 2 < 𝑥 < 1
2
−2𝑥 𝑠𝑖 1 < 𝑥 < 2
1 1
(−2 + ) 𝑥=1
2 𝑒
1 2
{ 2 (𝑒 − 8) 𝑥 = 2, −2

Ejemplo 2.12:
3
Sea 𝑓(𝑥) = 𝑥 2 𝑒 𝑥 −4𝑥 para 𝑥 ∈ [−1, 1]. Entonces f(x) es continua en [-1, 1] y tiene
derivadas laterales en cada punto del intervalo [-1, 1].

Por lo tanto, aplicando el segundo teorema de convergencia, vemos que la serie de

Fourier de f(x) en [-1, 1] converge a:
3
𝑥 2 𝑒 𝑥 −4𝑥 𝑠𝑖 − 1 < 𝑥 < 1
{1 3
(𝑒 + 𝑒 −3 ) 𝑠𝑖 𝑥 = ±1
2

SERIES DE FOURIER DE SENOS Y COSENOS

Cuando tenemos una función f(x) definida sobre un intervalo de la forma [0, L], es posible
representar a f(x) como una serie de Fourier que contenga solamente términos de seno o
coseno.
Existen estas dos posibilidades, ya que la función pude extenderse al intervalo [-L, L] con
una función par o impar.

Para extender a f(x) a una función par, definimos la siguiente función:

𝑓(𝑥) 𝑠𝑖 0 ≤ 𝑥 ≤ 𝐿
𝑔(𝑥) = {
𝑓(−𝑥) 𝑠𝑖 − 𝐿 ≤ 𝑥 ≤ 0

Por ejemplo, si 𝑓(𝑥) = 𝑒 2𝑥 , 𝑥 ∈ [0,1] entonces:

𝑒 2𝑥 𝑠𝑖 0 ≤ 𝑥 ≤ 1
𝑔(𝑥) = { −2𝑥
𝑒 𝑠𝑖 − 1 ≤ 𝑥 ≤ 0

Así g(x) está definida en el intervalo [-L, L] y es una función par, por lo tanto, su serie de
Fourier contiene solo términos de coseno, y además, esta serie representa a f(x) en el
intervalo [0, L] ya que f(x)=g(x), ∀𝑥 ∈ [0, 𝐿]. Sabemos también, que la serie de Fourier de
g(x) en [-L, L] está definida como:
∞
𝑛𝜋𝑥
𝑎0 + ∑ 𝑎𝑛 cos ( )
𝐿
𝑛=1

donde:
𝐿 𝐿
1 1
𝑎0 = ∫ 𝑔(𝑥)𝑑𝑥 = ∫ 𝑓(𝑥)𝑑𝑥
𝐿 𝐿
0 0

𝐿 𝐿
2 𝑛𝜋𝑥 2 𝑛𝜋𝑥
𝑎𝑛 = ∫ 𝑔(𝑥) cos ( ) 𝑑𝑥 = ∫ 𝑓(𝑥) cos ( ) 𝑑𝑥, ∀𝑛 ≥ 1
𝐿 𝐿 𝐿 𝐿
0 0

Definición 2.7: Serie de Fourier en cosenos

𝐿
Sea f(x) una función definida en el intervalo [0, L] y tal que ∫0 𝑓(𝑥)𝑑𝑥 existe. Entonces la
serie de Fourier de cosenos de f(x) en el intervalo [0, L] se define como:
∞
𝑛𝜋𝑥
𝑎0 + ∑ 𝑎𝑛 cos ( )
𝐿
𝑛=1

Donde:
 𝐿
1
𝑎0 = ∫ 𝑓(𝑥)𝑑𝑥
𝐿
0

𝐿
2 𝑛𝜋𝑥
𝑎𝑛 = ∫ 𝑓(𝑥) cos ( ) 𝑑𝑥, ∀𝑛 ≥ 1
𝐿 𝐿
0

Ejemplo 2.13:

Calcular la serie de Fourier de cosenos de 𝑓(𝑥) = 𝑒 2𝑥 , 𝑥 ∈ [0,1].

Solución: En este caso, L=1, y aplicando las fórmulas de arriba tenemos:

1
1 2𝑥 1 1 2
2𝑥
𝑎0 = ∫ 𝑒 𝑑𝑥 = 𝑒 ] = (𝑒 − 1)
2 0 2
0

1
4
𝑎𝑛 = 2 ∫ 𝑒 2𝑥 cos(𝑛𝜋𝑥) 𝑑𝑥 = 2 2
[𝑒 2 cos(𝑛𝜋) − 1]
4+𝑛 𝜋
0

4
= [𝑒 2 (−1)𝑛 − 1]
4 + 𝑛2 𝜋 2

Luego la serie de Fourier de Cosenos de f(x) es:

∞
𝑛𝜋𝑥
𝑎0 + ∑ 𝑎𝑛 cos ( )
𝐿
𝑛=1

∞
1 2 4
(𝑒 − 1) + ∑ [𝑒 2 (−1)𝑛 − 1] cos(𝑛𝜋𝑥)
2 4 + 𝑛2 𝜋 2
𝑛=1

Obviamente, existe una adaptación de los criterios de Convergencia. Por el criterio que
nos da más información, enunciamos únicamente el correspondiente al segundo teorema
de convergencia.

Convergencia de la Serie de Cosenos:

Sea f(x) continua por partes en [0, L]. Entonces:

i) Si 𝑥 ∈ (−𝐿, 𝐿)𝑦 𝑓(𝑥) tiene derivadas izquierda y derecha en x, entonces la serie de
Fourier de cosenos de f(x) en [0, L] converge en x al valor:
 1
[𝑓(𝑥 −) + 𝑓(𝑥+)]
2

ii) Si 𝑓´𝑅 (0) existe, entonces en x=0 la serie converge al valor f(0+).

iii) Si 𝑓´𝐿 (𝐿) existe, entonces en x=L la serie converge al valor f(L-).

Ejemplo 2.14:

Consideramos la misma función del ejemplo 13, es decir 𝑓(𝑥) = 𝑒 2𝑥 , 𝑥 ∈ [0,1]. En este
caso tenemos que la serie de Fourier de cosenos converge a:

𝑒 2𝑥 𝑠𝑖 0 < 𝑥 < 1
{1 𝑠𝑖 𝑥 = 0
𝑒2 𝑠𝑖 𝑥 = 1

Por lo tanto, en este ejemplo, la serie de Fourier de cosenos de f(x), converge a 𝑓(𝑥) ∀𝑥 ∈
[0, 1].

Si en vez de extender f(x) a una función par, lo hacemos a una función impar, definiendo la
función:

𝑓(𝑥) 𝑠𝑖 0 ≤ 𝑥 ≤ 𝐿
ℎ(𝑥) {
−𝑓(−𝑥) 𝑠𝑖 − 𝐿 ≤ 𝑥 < 0
Y calculamos la serie de Fourier de h(x) en el intervalo [-L, L], entonces esta serie contiene
solamente términos de seno, y además representa a h(x) en [-L, L], y por lo tanto, también
representa a f(x) en [0, L] (ya que 𝑓(𝑥) = ℎ(𝑥), ∀𝑥 ∈ [0, 𝐿]). De hecho, los coeficientes de
dicha serie están dados por:
𝐿 𝐿
2 𝑛𝜋𝑥 2 𝑛𝜋𝑥
𝑏𝑛 = ∫ ℎ(𝑥)𝑠𝑒𝑛 ( ) 𝑑𝑥 = ∫ 𝑓(𝑥)𝑠𝑒𝑛 ( ) 𝑑𝑥
𝐿 𝐿 𝐿 𝐿
0 0

Definición 2.8. Serie de Fourier de senos

𝐿
Sea f(x) una función definida en el intervalo [0, L] y tal que ∫0 𝑓(𝑥)𝑑𝑥 existe. Entonces la
serie de Fourier de senos de f(x) en el intervalo [0, L] se define como:
∞
𝑛𝜋𝑥
∑ 𝑏𝑛 𝑠𝑒𝑛 ( )
𝐿
𝑛=1

Donde:
 𝐿
2 𝑛𝜋𝑥
𝑏𝑛 = ∫ 𝑓(𝑥)𝑠𝑒𝑛 ( ) 𝑑𝑥, ∀𝑛 ≥ 1
𝐿 𝐿
0

Ejemplo 2.15:

Calcular la serie de Fourier de senos de 𝑓(𝑥) = 1, 𝑥 ∈ [0,5].

Solución. En este caso, L=5, y aplicando las fórmulas de arriba tenemos:

5
2 𝑛𝜋𝑥 2 𝑛𝜋𝑥 2
𝑏𝑛 = ∫ sin ( ) 𝑑𝑥 = − cos ( )= [1 − (−1)𝑛 ]
5 5 𝑛𝜋 5 𝑛𝜋
0

Por los tanto la serie de Fourier de senos de f(x) en [0,5] esta dada por:
∞
2 𝑛𝜋𝑥
∑ [1 − (−1)𝑛 ] sin( )
𝑛𝜋 5
𝑛=1

Esta última puede expresare como:

∞
4 (2𝑘 − 1)𝜋𝑥
∑ sin ( )
(2𝑘 − 1)𝜋 5
𝑛=1

También tenemos nuestro criterio de convergencia para este tipo de serie.

Convergencia de la Serie de Senos.

Sea f(x) continua por partes en [0, L]. Entonces:

i) Si 𝑥 ∈ (−𝐿, 𝐿) y f(x) tiene derivadas izquierda y derecha en x, entonces la serie de

Fourier de senos de f(x) en [0, L] convergen en x al valor:

1
[𝑓(𝑥 −) + 𝑓(𝑥 +)]
2

ii) En x=0 y x=L, la serie converge al valor de 0.

Ejemplo 2.16:

Si tomamos f(x) igual a la función del ejemplo anterior, entonces su serie de Fourier de
senos converge a:
 1 𝑠𝑖 0 < 𝑥 < 5
{
0 𝑠𝑖 𝑥 = 0, 𝑥 = 5