INTEGRANTES :

• Medianero Incio Carlos Alberto

• Vidal Cueva Jorge
• Fuentes Raimondi Harry
• Burgos Hinostroza Angelo
• Escalero Bravo Luis
• Amaru Huamani Eddy
• Gaspar Huaman Isaac
• Ñahuinlla Gala Jhon Dalton
SERIES DE FOURIER
E INTEGRALES DE
FOURIER
 FUNCIONES
TRIGONOMETRICAS
ORTOGONALES
 FUNCIONES TRIGONOMETRICAS ORTOGONALES

Se dice que un conjunto de funciones 𝑓𝑘 (t) son ortogonales en el

intervalo a≤ t ≤ b si dos funciones cualesquiera 𝑓𝑚 (t) , 𝑓𝑛 (t) de dicho
conjunto cumplen.

𝑏
‫ 𝑚𝑓 𝑎׬‬t 𝑓𝑛 t dt = 0 para m≠n

Es decir para el intervalo 0≤ x ≤ L

𝐿 𝑚𝜋𝑥 𝑛𝜋𝑥
‫׬‬0 sen sen 𝑑𝑥 = 0 (m≠ n)
𝐿 𝐿

𝐿 𝑚𝜋𝑥 𝑛𝜋𝑥
‫׬‬0 cos cos 𝑑𝑥 = 0 (m≠ n)
𝐿 𝐿

Ahora consideramos el conjunto de funciones

𝑛𝜋𝑥 𝑛𝜋𝑥
1 , cos , sen (n=1,2,…)
𝐿 𝐿
Para todos los n≥1 en el intervalo -L≤ x ≤ L dos a dos
𝐿 𝑛𝜋𝑥
‫׬‬−𝐿 1. cos 𝐿 𝑑𝑥 = 0

𝐿 𝑛𝜋𝑥
‫׬‬−𝐿 1. sen 𝑑𝑥 = 0
𝐿

Entonces forman un sistema ortogonal

En general:

El siguiente conjunto da una infinidad de funciones ortogonales dos

a dos en el intervalo
-T/2≤ t ≤ T/2
1 , cos(𝑤0 t) , cos(2𝑤0 t) , cos(3𝑤0 t) , … sen (𝑤0 t) , sen (2𝑤0 t) ,sen
(3𝑤0 t),…

2𝜋
Para cualquier valor de 𝑤0 =
𝑇
Ejemplos:

a) f(t) = 1 vs cos(m𝑤0 t)

𝑇/2 2sen(m𝑤0 T/2) 2sen(m 𝜋)

‫׬‬−𝑇/2 1. 𝑐𝑜𝑠(m𝑤0 t) dt =
m𝑤0
=
m𝑤0
=0

b) f(t) = 1 vs sen(m𝑤0 t)
m𝑤0 T m𝑤0 T
𝑇/2 −1(cos −cos )
‫׬‬−𝑇/2 1. 𝑠𝑒𝑛(m𝑤0 t) dt = 2
m𝑤0
2
=0

c) f(t) = sen(m𝑤0 t) vs sen(n𝑤0 t)

𝑇/2
‫׬‬−𝑇/2 sen(m𝑤0 t). 𝑠𝑒𝑛(n𝑤0 t) dt = 0 para (m ≠n)
Observación:

Para calcular las integrales de, son útiles las identidades

trigonométricas:

Cos A cosB = ½ (cos (A+B) + cos(A-B))

Sen A sen B = ½ ( - cos (A+B) + cos(A-B))

Ejemplo:
𝜋 𝜋
‫׬‬−𝜋 cos(m𝑥). 𝑐𝑜𝑠(nx) dx = ½ ‫׬‬−𝜋(cos m + n 𝑥 + 𝑐𝑜𝑠 ((m-n)x)) dx

𝑠𝑒𝑛 𝑚+𝑛 𝑥 𝑠𝑒𝑛 𝑚−𝑛 𝑥 𝜋

=1/2 ( + ) ]−𝜋 =0 para (m≠n)
𝑚+𝑛 𝑚−𝑛
SERIES DE
FOURIER
Ahora el problema de expandir una función arbitraria en series infinitas de la forma considerada en
la Sección 6 del capítulo 4 usando el orto normal.
Sea 𝑓 una función definida en el intervalo −𝐿 ≤ 𝑥 ≤ 𝐿. Entonces la expansión de la función propia
formal de 𝑓 con respecto al sistema (1.10) es dado por:

𝑐0 𝑐𝑛 𝑛𝜋𝑥 𝑐𝑛, 𝑛𝜋𝑥

(2,1) 𝑓 𝑥 ~ + σ∞
𝑛=1 𝑐𝑜𝑠 + 𝑠𝑖𝑛
2𝐿 𝐿 𝐿 𝐿 𝐿

Donde los coeficientes de Fourier están dado por:

1
Para 𝑛 = 1,2,3,4, … … … si incorporamos en las formulas (2.2) el factor común apareciendo en la
𝐿
serie (2.1), podemos escribir la serie en la forma conveniente:
Donde los coeficientes 𝑎𝑛 y 𝑏𝑛 ahora están dados por:

La serie en (2.3) con sus coeficientes dados por (2.4) se llama la serie de Fourier de f en el intervalo −𝐿 ≤ 𝑥 ≤ 𝐿. Notamos que esta
serie es precisamente la expansión de funciones propias de f con respecto al conjunto de funciones propias, con la constante 1
reemplazada por ½; por lo tanto, los coeficientes (2.4) son los coeficientes de Fourier de 𝑓 con respecto a ese conjunto.
Si 𝑓 es periódico, de periodo 2𝐿, entonces las integrales en los intervalos (2.4) también son periódicos de periodo 2𝐿. Por lo tanto, el
intervalo de integración −𝐿. 𝐿 se puede reemplazar por cualquier otro intervalo de longitud 2𝐿; es decir, (2.4) también se puede
escribir como:
Para cualquier elección de la constante 𝑎.
En la Sección 5 del presente capítulo, mostraremos que sí 𝑓 cumple con ciertas restricciones, entonces su
serie de Fourier converge puntualmente a 𝑓 en −𝐿 ≤ 𝑥 ≤ 𝐿 .
En tal caso, la función puede ser representada por su serie de Fourier, y por lo tanto el símbolo ~ en (2.3)
puede ser reemplazado por el signo de igualdad.
Observamos que siempre que la serie en (2.3) converge en el intervalo−𝐿 ≤ 𝑥 ≤ 𝐿, converge para todas las 𝑥
en una función periódica del período 2𝐿. Esto es así porque cada término de la serie es periódico, del período
2𝐿. Por lo tanto, si la serie converge a 𝑓 en −𝐿 ≤ 𝑥 ≤ 𝐿, convergerá a la extensión periódica de 𝑓 para todas las
𝑥 con el período 2𝐿. Por consiguiente, si 𝑓 está definido para todo 𝑥 y no es periódico, no puede tener una
representación de series de Fourier que sea válida para todo 𝑥.
Ejemplo2.1.- Encuentre la serie de Fourier de la función.

0, (−𝜋 ≤ 𝑥 ≤ 0)
𝑓 𝑥 =𝑓 𝑥 =ቊ
𝑥, (0 < 𝑥 ≤ 𝜋)

Solución: calculamos los coeficientes de Fourier 𝑎𝑛 y 𝑏𝑛 de acuerdo con las fórmulas (2.4), observando que
aquí 𝐿 = 𝜋. Encontramos

1 𝜋 1 𝜋
𝜋
𝑎0 = න 𝑓 𝑥 𝑑𝑥 = 0 + න 𝑥𝑑𝑥 =
𝜋 −𝜋 𝜋 0 2

1 𝜋
𝑎𝑛 = න 𝑥 𝑐𝑜𝑠 𝑛𝑥 𝑑𝑥
𝜋 0
 1 𝑥 sin 𝑛𝑥 𝑐𝑜𝑠𝑛𝑥 𝜋
𝑎𝑛 = + ൨
𝜋 𝑛 𝑛2 0

1 cos 𝑛𝜋 − 1 −1 𝑛 − 1
𝑎𝑛 = =
𝜋 𝑛2 𝜋𝑛2
1 𝜋
𝑏𝑛 = න 𝑥 sin 𝑛𝑥 𝑑𝑥
𝜋 0
1 −𝑥 cos 𝑛𝑥 sin 𝑛𝑥 𝜋
𝑏𝑛 = + ൨
𝜋 𝑛 𝑛2 0

−cos 𝑛𝜋 −1 𝑛+1
𝑏𝑛 = =
𝑛 𝑛
Para 𝑛 = 1,2,3, … Así, la serie de Fourier de 𝑓 es:
∞
𝜋 −1 𝑛 − 1 −1 𝑛+1
𝑓 𝑥 ~ +෍ cos 𝑛𝑥 + sin 𝑛𝑥
4 𝜋𝑛2 𝑛
𝑛=1
∞ 𝑛
𝜋 2 −1
𝑓(𝑥)~ + ෍ 2
cos(2𝑛 − 1)𝑥 + sin 𝑛𝑥
4 𝜋 2𝑛 − 1 𝑛
𝑛=1

En la Sección 5 se mostrará que esta serie de Fourier converge a la función en el intervalo −𝜋 ≤ 𝑥 ≤ 𝜋. Por lo tanto, fuera de
este intervalo, la serie converge a la extensión periódica de 𝑓 con el período 2𝜋. La gráfica de esa extensión se muestra en la
𝑓𝑖𝑔𝑢𝑟𝑎 5.1, donde se ve que la extensión es discontinua en el punto 𝑥 = ± 2𝑛 − 1 𝜋, 𝑛 = 1,2, … . En estos puntos, se verá que
la serie converge al valor 𝜋Τ2, que es el promedio de los límites izquierdo y derecho de la función extendida en el punto de
discontinuidad.
 𝐹𝑖𝑔𝑢𝑟𝑎 5.1 Función periódica
Ejemplo 2.2.- Encuentra la serie de Fourier de la función 𝑓 𝑥 = 𝑥 , −𝜋 ≤ 𝑥 ≤ 𝜋.
Solución: Calculando para los coeficientes de Fourier de la función, encontramos

1 0 𝜋
𝜋 𝜋
𝑎0 = න −𝑥𝑑𝑥 + න 𝑥𝑑𝑥 = + = 𝜋
𝜋 −𝜋 0 2 2

1 0 𝜋
𝑎𝑛 = න −𝑥 𝑐𝑜𝑠 𝑛𝑥 𝑑𝑥 + න 𝑥 𝑐𝑜𝑠 𝑛𝑥 𝑑𝑥
𝜋 −𝜋 0

𝑛𝑥 𝑠𝑖𝑛 𝑛𝑥 + 𝑐𝑜𝑠 𝑛𝑥 0 𝑛𝑥 𝑠𝑖𝑛 𝑛𝑥 + 𝑐𝑜𝑠 𝑛𝑥 𝜋

𝑎𝑛 = − ൨ + ൨
𝑛2 𝜋 −𝜋 𝑛2 𝜋 0
 2
𝑎𝑛 = 2
−1 𝑛 − 1
𝑛 𝜋
1 0 𝜋
𝑏𝑛 = න −𝑥 sin 𝑛𝑥 𝑑𝑥 + න 𝑥 sin 𝑛𝑥 𝑑𝑥
𝜋 −𝜋 0
𝑛𝑥 cos 𝑛𝑥 − sin 𝑛𝑥 0 𝑛𝑥 cos 𝑛𝑥 − sin 𝑛𝑥 𝜋
𝑏𝑛 = ൨ − ൨
𝑛2 𝜋 −𝜋 𝑛2 𝜋 0

𝑏𝑛 = 0
Para 𝑛 = 1,2, … por lo tanto:
∞
𝜋 2 −1 𝑛 − 1
𝑥~ + ෍ cos 𝑛𝑥
2 𝜋 𝑛2
𝑛=1
∞
𝜋 4 cos 2𝑛 − 1 𝑥
𝑥~ − ෍ (−𝜋 ≤ 𝑥 ≤ 𝜋)
2 𝜋 2𝑛 − 1 2
𝑛=1

Se seguirá de la sección 5 que esta serie converge a la función 𝑥 en el intervalo indicado y por lo tanto, a la
extensión periódica de esa función con el período 2𝜋 para todas las 𝑥 fuera de ese intervalo (𝐹𝑖𝑔𝑢𝑟𝑎 5.2). Observe
que aquí la extensión periódica es continua en todos los puntos.
 𝑭𝒊𝒈𝒖𝒓𝒂 𝟓. 𝟐 Extensión periódica de 𝑓 𝑥 ~ 𝑥
Las series de Fourier en (2.3), con coeficientes dados por (2.4), pueden escribirse en forma equivalente:
∞

(𝟐. 𝟔) 𝒇 𝒙 ~ ෍ 𝒄𝒏 𝒆𝒊𝒏𝝅𝒙/𝑳
𝒏=−∞

Donde los coeficientes 𝑐𝑛 están dados por:

𝟏 𝑳 𝒊𝒏𝝅𝒙
(𝟐. 𝟕) 𝒄𝒏 = න 𝒇 𝒙 𝒆− 𝑳 𝒅𝒙 𝒏 = 𝟎, ±𝟏, ±𝟐, …
𝟐𝑳 −𝑳
De hecho, (2.6) implica que:
∞ ∞

(𝟐. 𝟖) 𝒇 𝒙 ~ 𝒄𝟎 + ෍ 𝒄𝒏 𝒆𝒊𝒏𝝅𝒙/𝑳 + ෍ 𝒄−𝒏 𝒆−𝒊𝒏𝝅𝒙/𝑳

𝒏=𝟏 𝒏=𝟏

Por la fórmula de Euler, 𝑒 𝑖𝑡 = 𝑐𝑜𝑠 𝑡 + 𝑖 𝑠𝑖𝑛 𝑡; esto se convierte en

∞ ∞
𝒏𝝅𝒙 𝒏𝝅𝒙 𝒏𝝅𝒙 𝒏𝝅𝒙
𝒇 𝒙 ~ 𝒄𝟎 + ෍ 𝒄𝒏 𝒄𝒐𝒔 + 𝒊 𝒔𝒊𝒏 + ෍ 𝒄−𝒏 𝒄𝒐𝒔 − 𝒊 𝒔𝒊𝒏
𝑳 𝑳 𝑳 𝑳
𝒏=𝟏 𝒏=𝟏
(𝟐. 𝟗) ∞
𝒏𝝅𝒙 𝒏𝝅𝒙
𝒇 𝒙 ~ 𝒄𝟎 + ෍ (𝒄𝒏 +𝒄−𝒏 ) 𝒄𝒐𝒔 + 𝒊(𝒄𝒏 −𝒄−𝒏 ) 𝒔𝒊𝒏
𝑳 𝑳
𝒏=𝟏

Ahora por (2.7), vemos que por 𝑛 ≥ 1:

1 𝐿 −
𝑖𝑛𝜋𝑥 𝑖𝑛𝜋𝑥
𝑐𝑛 + 𝑐−𝑛 = න 𝑓(𝑥)(𝑒 𝐿 + 𝑒 𝐿 )𝑑𝑥
2𝐿 −𝐿
𝑖𝑛𝜋𝑥 𝑖𝑛𝜋𝑥
𝐿 −
1 𝑒 𝐿 +𝑒 𝐿
𝑐𝑛 + 𝑐−𝑛 = න 𝑓(𝑥) 𝑑𝑥
𝐿 −𝐿 2
1 𝐿 𝑛𝜋𝑥
𝑐𝑛 + 𝑐−𝑛 = න 𝑓(𝑥) cos 𝑑𝑥
𝐿 −𝐿 𝐿
𝑐𝑛 + 𝑐−𝑛 = 𝑎𝑛
 𝑖 𝐿 −
𝑖𝑛𝜋𝑥 𝑖𝑛𝜋𝑥
𝑖(𝑐𝑛 − 𝑐−𝑛 ) = න 𝑓(𝑥)(𝑒 𝐿 − 𝑒 𝐿 )𝑑𝑥
2𝐿 −𝐿
𝑖𝑛𝜋𝑥 𝑖𝑛𝜋𝑥
𝐿 −
1 𝑒 𝐿 −𝑒 𝐿
𝑖(𝑐𝑛 − 𝑐−𝑛 ) = න 𝑓(𝑥) 𝑑𝑥
𝐿 −𝐿 2𝑖
1 𝐿 𝑛𝜋𝑥
𝑖(𝑐𝑛 − 𝑐−𝑛 ) = න 𝑓(𝑥) sin 𝑑𝑥
𝐿 −𝐿 𝐿

𝑖(𝑐𝑛 − 𝑐−𝑛 ) = 𝑏𝑛
y
1 𝐿 𝑎0
𝑐0 = න 𝑓 𝑥 𝑑𝑥 =
2𝐿 −𝐿 2

Así que la serie en (𝟐. 𝟔), con los coeficientes dados por (𝟐. 𝟕), es precisamente la serie de Fourier
de 𝑓. Esta serie es conocida como la forma compleja de series de Fourier.
SERIE DE SENOS Y
COSENOS DE
FOURIER
Recordamos que una función definida en un intervalo −𝐿 ≤ 𝑥 ≤ 𝐿, se dice que es par si:

3.1 𝑓 −𝑥 = 𝑓(𝑥)

e impar si:

3.2 𝑓 −𝑥 = −𝑓(𝑥)
Para todo 𝑥 en el intervalo. Si 𝑓 es una función impar, entonces se sigue de la definición que
𝑓 0 = 0. Geométricamente, la gráfica de una función par es simétrica con respecto al eje y, y la
de una función impar es simétrica con respecto al origen.
𝑓 es par e integrable en −𝐿, 𝐿 , entonces

𝐿
𝐿
3.3 න 𝑓 𝑥 𝑑𝑥 = 2 න 𝑓 𝑥 𝑑𝑥
0
−𝐿

Esto se desprende fácilmente de la interpretación geométrica de la integral como el área bajo la

curva 𝑦 = 𝑓(𝑥) delimitada por las líneas 𝑥 = ±𝐿. Analíticamente, se prueba fácilmente
escribiendo

𝐿 0 𝐿
න 𝑓 𝑥 𝑑𝑥 = න 𝑓 𝑥 𝑑𝑥 + න 𝑓 𝑥 𝑑𝑥
−𝐿 −𝐿 0

y configurando 𝑥 = −𝑡 en la primera integral a la derecha. Usando la definición (3.1), obtenemos

así

𝐿 0 𝐿
න 𝑓 𝑥 𝑑𝑥 = න 𝑓 −𝑡 −𝑑𝑡 + න 𝑓 𝑥 𝑑𝑥
−𝐿 𝐿 0

𝐿 𝐿
= න 𝑓 𝑡 𝑑𝑡 + න 𝑓 𝑥 𝑑𝑥
0 0

𝐿
= 2 න 𝑓 𝑥 𝑑𝑥
0
Por otro lado, si 𝑓 es impar e integrable en −𝐿, 𝐿 , entonces por un argumento similar tenemos

𝐿
3.4 න 𝑓 𝑥 𝑑𝑥 = 0
−𝐿

Se puede ver fácilmente a partir de la definición que el producto de dos funciones pares o dos
impares es una función par y que el producto de una función par e impar es una función impar.

Por ejemplo, si ambos 𝑓 y 𝑔 son pares y si establecemos ℎ 𝑥 = 𝑓 𝑥 𝑔 𝑥 . Entonces

ℎ −𝑥 = 𝑓 −𝑥 𝑔 −𝑥 = 𝑓 𝑥 𝑔(𝑥) = ℎ(𝑥)

lo que demuestra que ℎ es par. Por otro lado, si 𝑓 es par y 𝑔 es impar, entonces

ℎ −𝑥 = 𝑓 −𝑥 𝑔 −𝑥 = 𝑓 𝑥 −𝑔 𝑥 = −𝑓 𝑥 𝑔 𝑥 = −ℎ(𝑥)

así demostramos que h es impar

De manera similar, la proporción de dos funciones que son iguales o impares es una función
par, y la proporción de dos funciones de las cuales una es par y la otra impar es una función
impar. Aquí se supone, por supuesto, que la función en el denominador nunca desaparece.
Ahora supongamos que 𝑓 es una función par en el intervalo −𝐿 ≤ 𝑥 ≤ 𝐿. Consideremos su
serie Fourier.
∞
𝑎0 𝑛𝜋𝑥 𝑛𝜋𝑥
𝑓 𝑥 ~ + ෍ 𝑎𝑛 𝑐𝑜𝑠 + 𝑏𝑛 𝑠𝑒𝑛
2 𝐿 𝐿
𝑛=1

donde

1 𝐿 𝑛𝜋𝑥
𝑎𝑛 = න 𝑓 𝑥 𝑐𝑜𝑠 𝑑𝑥 (𝑛 = 0,1,2, … )
𝐿 −𝐿 𝐿

1 𝐿 𝑛𝜋𝑥
𝑏𝑛 = න 𝑓 𝑥 𝑠𝑒𝑛 𝑑𝑥 (𝑛 = 0,1,2, … )
𝐿 −𝐿 𝐿

Para cada entero 𝑛, notamos que 𝑐𝑜𝑠 𝑛𝜋𝑥 Τ𝐿 es par y 𝑠𝑒𝑛 𝑛𝜋𝑥 Τ𝐿 es impar; por lo tanto
𝑓(𝑥)𝑐𝑜𝑠 𝑛𝜋𝑥 Τ𝐿 es par y 𝑓(𝑥)𝑠𝑒𝑛 𝑛𝜋𝑥 Τ𝐿 es impar. Por lo tanto, de acuerdo con (3.3) y
(3.4), tenemos

1 𝐿 𝑛𝜋𝑥
𝑎𝑛 = න 𝑓 𝑥 𝑐𝑜𝑠 𝑑𝑥
𝐿 −𝐿 𝐿

2 𝐿 𝑛𝜋𝑥
= න 𝑓 𝑥 𝑐𝑜𝑠 𝑑𝑥 (𝑛 = 0,1,2, … . )
𝐿 0 𝐿
y

1 𝐿 𝑛𝜋𝑥
𝑏𝑛 = න 𝑓 𝑥 𝑠𝑒𝑛 𝑑𝑥 = 0 (𝑛 = 1,2, … . )
𝐿 −𝐿 𝐿

Por lo tanto, si f es una función par en −𝐿, 𝐿 , su serie de Fourier se reduce a

∞
𝑎0 𝑛𝜋𝑥
3.5 𝑓 𝑥 = + ෍ 𝑎𝑛 𝑐𝑜𝑠
2 𝐿
𝑛=1

donde

2 𝐿 𝑛𝜋𝑥
3.6 𝑎𝑛 = න 𝑓 𝑥 𝑐𝑜𝑠 𝑑𝑥 (𝑛 = 0,1,2, … )
𝐿 0 𝐿

Esta serie se llama la serie de coseno de Fourier de 𝑓 en el intervalo 0 ≤ 𝑥 ≤ 𝐿.

Tomamos nota de que la fórmula (3.6) para los coeficientes 𝑎𝑛 involucra solo los valores de
𝑓 en el intervalo 0 ≤ 𝑥 ≤ 𝐿. Por lo tanto, incluso cuando 𝑓 se define solo en el intervalo
0, 𝐿 , uno puede establecer formalmente la serie de coseno de Fourier de 𝑓. Si la serie
converge a la función en 0, 𝐿 , la serie extiende automáticamente la función en el intervalo
− 𝐿 ≤ 𝑥 ≤ 0 como una función par.
En cuanto a la idea de expansión de funciones propias, observamos que la serie de coseno de
Fourier en 0, 𝐿 es precisamente la expansión de funciones propias de la función 𝑓 con respecto
al sistema de funciones propias 1Τ2, cos 𝑛𝜋𝑥 Τ𝐿 del problema Sturm-Liouville.

𝑢′′ + 𝜆𝑢 = 0, 𝑢′ 0 = 0, 𝑢′ 𝐿 = 0

Por otro lado, si f es una función impar en el intervalo −𝐿 ≤ 𝑥 ≤ 𝐿, entonces 𝑓(𝑥)𝑐𝑜𝑠 𝑛𝜋𝑥 Τ𝐿 es
impar y 𝑓(𝑥)𝑠𝑒𝑛 𝑛𝜋𝑥 Τ𝐿 es par para cada entero 𝑛. En consecuencia, tenemos

1 𝐿 𝑛𝜋𝑥
𝑎𝑛 = න 𝑓 𝑥 𝑐𝑜𝑠 𝑑𝑥 = 0 (𝑛 = 0,1,2, … )
𝐿 −𝐿 𝐿

1 𝐿 𝑛𝜋𝑥
𝑏𝑛 = න 𝑓 𝑥 𝑠𝑒𝑛 𝑑𝑥
𝐿 −𝐿 𝐿

2 𝐿 𝑛𝜋𝑥
= න 𝑓 𝑥 𝑠𝑒𝑛 𝑑𝑥 𝑛 = 1,2, … .
𝐿 0 𝐿

Por lo tanto, para una función impar 𝑓 definida en −𝐿, 𝐿 , La serie de Fourier se reduce a
 ∞
𝑛𝜋𝑥
3.7 𝑓(𝑥)~ ෍ 𝑏𝑛 𝑠𝑒𝑛
𝐿
𝑛=1

donde

2 𝐿 𝑛𝜋𝑥
3.8 𝑏𝑛 = න 𝑓 𝑥 𝑠𝑒𝑛 𝑑𝑥 (𝑛 = 1,2, … . )
𝐿 0 𝐿

Esto se llama la serie seno de Fourier de 𝑓 en el intervalo 0 ≤ 𝑥 ≤ 𝐿.

La serie seno se extiende 𝑓 en el intervalo −𝐿 ≤ 𝑥 ≤ 0 como una función impar cada vez que
converge a 𝑓 en el intervalo 0 ≤ 𝑥 ≤ 𝐿. Fuera del intervalo −𝐿 ≤ 𝑥 ≤ 𝐿,la serie representa la
extensión periódica impar de la función con el período 2𝐿. Aquí notamos que la serie de seno
de Fourier (3.7) es la expansión de la función propia de 𝑓 con respecto a las funciones propias
del problema Sturm-Liouville.

En resumen, dada una función 𝑓 en el intervalo 0 ≤ 𝑥 ≤ 𝐿, es posible representar la función en

ese intervalo mediante una serie de coseno de Fourier o una serie de seno de Fourier. En el
primer caso, la función se extiende como una función par en el intervalo −𝐿 ≤ 𝑥 ≤ 0 y como
una función periódica par para todo 𝑥 con el período 2𝐿.

En este último caso, la función se extiende como una función impar a −𝐿, 0 y como una
función periódica impar para todas las 𝑥 con el periodo 2𝐿.
EJEMPLO:
Desarrolle la serie de senos y cosenos de Fourier
1 ; −2 < 𝑥 < −1
−𝑥 ; −1 < 𝑥 < 0
𝑓(𝑥)
𝑥; 0<𝑥<1
1 ; 1<𝑥<2

Solución:

𝑓(𝑥) es una función par, por lo tanto, 𝑏𝑛 = 0

periodo=L=2

entonces:

2 𝐿
𝑎0 = න 𝑓 𝑥 𝑑𝑥
𝐿 0
2 1 2
𝑎0 = න 𝑥𝑑𝑥 + න 1 𝑑𝑥
2 0 1
1
𝑥2 2
𝑎0 = +𝑥
2 0 1
1 3
𝑎0 = + 2 − 1 =
2 2
 2 𝐿 𝑛𝜋𝑥
𝑎𝑛 = න 𝑓 𝑥 𝑐𝑜𝑠 𝑑𝑥
𝐿 0 𝐿
1 2
𝑛𝜋𝑥 𝑛𝜋𝑥
𝑎𝑛 = න 𝑥𝑐𝑜𝑠 𝑑𝑥 + න 𝑐𝑜𝑠 𝑑𝑥
0 2 1 2
Integrando por partes:
1 2
𝑛𝜋𝑥 𝑛𝜋 𝑛𝜋
𝑐𝑜𝑠 𝑥𝑠𝑒𝑛 𝑥 𝑠𝑒𝑛 𝑥
𝑎𝑛 = 2 + 2 + 2
𝑛2 𝜋 2 𝑛𝜋 𝑛𝜋
4 2 0
2 1

𝑛𝜋𝑥 𝑛𝜋 1 𝑛𝜋 2
4𝑐𝑜𝑠 2𝑥𝑠𝑒𝑛 𝑥 2𝑠𝑒𝑛 𝑥
𝑎𝑛 = 2 + 2 + 2
𝑛2 𝜋 2 𝑛𝜋 0 𝑛𝜋 1
𝑛𝜋 𝑛𝜋 𝑛𝜋
4𝑐𝑜𝑠 − 4 2𝑠𝑒𝑛 2𝑠𝑒𝑛
𝑎𝑛 = 2 + 2 − 2
2
𝑛 𝜋 2 𝑛𝜋 𝑛𝜋
La desigualdad de
Bessel’s: teorema de
Riemann-Lebesgue
Antes de probar la convergencia puntual de la serie de Fourier, que se presentará en la
siguiente sección, es importante definir la desigualdad de Bessel’s para los coeficientes de
Fourier 𝑎𝑛 y 𝑏𝑛 dados anteriormente de una función ƒ con respecto al sistema ortogonal.

1 𝑛𝜋𝑥 𝑛𝜋𝑥
, cos , sin
2 𝐿 𝐿

en -𝐿 ≥ 𝑥 ≥ 𝐿

Supondremos a lo largo de esta discusión que f es una función que es continua por partes en
el intervalo -𝐿 ≥ 𝑥 ≥ 𝐿 . Entonces, claramente, los coeficientes de Fourier 𝑎𝑛 y 𝑏𝑛 de f existen.
Ahora recordamos del tema anterior que

1 𝐿
𝑎0 = න 𝑓 𝑥 𝑑𝑥
𝐿 −𝐿
 1 𝐿 𝑛𝜋𝑥
𝑎𝑛 = න 𝑓 𝑥 cos 𝑑𝑥
𝐿 −𝐿 𝐿

1 𝐿 𝑛𝜋𝑥
𝑏𝑛 = න 𝑓 𝑥 sin 𝑑𝑥
𝐿 −𝐿 𝐿

𝑚
𝑎0 𝑛𝜋𝑥 𝑛𝜋𝑥
𝑓(𝑥) = + ෍ 𝑎𝑛 cos + 𝑏𝑛 sin
2 𝐿 𝐿
𝑛=1

Una vez que asociamos a una función integrable f a la serie de Fourier, el problema básico
con el que nos vamos a enfrentar se puede formular del modo siguiente:
Encontrar condiciones (suficientes) sobre la función que aseguren la convergencia de la
serie de Fourier y estudiar la suma de la serie.
La descomposición en las componentes que constituyen los términos de su serie de Fourier
es un proceso donde buscamos la recuperación de la función a partir de sus componentes
A lo cual nos lleva a la desigualdad de bessel’s el cual nos proporciona dichas condiciones
De la identidad de perserval tenemos:

𝐿 𝑚
1 𝑎0 2
න 𝑓(𝑥)2 𝑑𝑥 = + ෍ 𝑎𝑛 2 + 𝑏𝑛 2
𝐿 −𝐿 2
𝑛=1

para 𝑛 = 1, 2, … . Por lo tanto, por la desigualdad de Bessel’s, tenemos

𝑚 𝐿
𝑎0 2 2 1
+ ෍ 𝑎𝑛 2 + 𝑏𝑛 ≤ න 𝑓(𝑥)2 𝑑𝑥
2 𝐿 −𝐿
𝑛=1

Para cualquier “m”. Esta es la forma de la desigualdad de bessel’s que

buscamos para los coeficientes 𝑎𝑛 y 𝑏𝑛 .

Demostración:
Consideremos las sumas parciales de la serie de Fourier de f , esto es para n ≥ 1 sea
(4.1)
𝑚
𝑎0 𝑛𝜋𝑥 𝑛𝜋𝑥
𝑆𝑁 𝑥 = + ෍ 𝑎𝑛 cos + 𝑏𝑛 sin
2 𝐿 𝐿
𝑛=1

Tenemos que
(𝑓(𝑥))2 −2𝑓 𝑥 𝑆𝑛 𝑥 + (𝑆𝑛 (𝑥))2 = 𝑓(𝑥)) − 𝑆𝑛 (𝑥) 2 ≥0
𝐿

න(𝑓(𝑥))2 −2𝑓 𝑥 𝑆𝑛 𝑥 + (𝑆𝑛 (𝑥))2 𝑑𝑥 ≥ 0

−𝐿

(4.1.1)
𝐿 𝐿 𝐿

න(𝑓(𝑥))2 𝑑𝑥 ≥ 2 න 𝑓 𝑥 𝑆𝑛 𝑥 𝑑𝑥 − න(𝑆𝑛 (𝑥))2 𝑑𝑥

−𝐿 −𝐿 −𝐿

Calculamos la integral que esta a la derecha de esta expresión multiplicando (4.1) por f(x) e
integrando en -𝐿 ≥ 𝑥 ≥ 𝐿 obtenemos
 𝐿 𝐿 𝑚 𝐿 𝐿
𝑎0 𝑛𝜋𝑥 𝑛𝜋𝑥
න 𝑓 𝑥 𝑆𝑛 𝑥 𝑑𝑥 = න 𝑓 𝑥 𝑑𝑥 + ෍ 𝑎𝑛 න 𝑓 𝑥 cos 𝑑𝑥 + 𝑏𝑛 න 𝑓 𝑥 sin 𝑑𝑥
2 𝐿 𝐿
−𝐿 −𝐿 𝑛=1 −𝐿 −𝐿

Luego
𝐿 𝑚
𝑎0 2
න 𝑓 𝑥 𝑆𝑛 𝑥 𝑑𝑥 = 𝐿 + ෍ 𝑎𝑛 2 + 𝑏𝑛 2
2
−𝐿 𝑛=1

De la identidad de perserval
𝐿 𝑚
𝑎0 2
2
න(𝑆𝑛 (𝑥)) 𝑑𝑥 = 𝐿 + ෍ 𝑎𝑛 2 + 𝑏𝑛 2
2
−𝐿 𝑛=1

Reemplazando en (4.1.1)
𝐿 𝒎 𝑚
𝒂𝟎 𝟐 𝑎0 2
2
න(𝑓(𝑥)) 𝑑𝑥 ≥ 2𝐿 + ෍ 𝒂𝒏 𝟐 + 𝒃𝒏 𝟐 −𝐿 + ෍ 𝑎𝑛 2 + 𝑏𝑛 2
𝟐 2
−𝐿 𝒏=𝟏 𝑛=1
𝑚 𝐿
𝑎0 2 2 1
+ ෍ 𝑎𝑛 2 + 𝑏𝑛 ≤ න 𝑓(𝑥)2 𝑑𝑥
2 𝐿 −𝐿
𝑛=1
 Suponiendo que ƒ y también 𝑓 2 es continuas por partes en −𝐿, 𝐿 de modo que existe la integral a la derecha de la desigualdad y

dado que la integral es independiente de 𝑚 y no importa cuan grande sea 𝑚 , encontramos en dejar que 𝑚 → ∞,

(4.3)

∞
𝑎0 2 2 1 𝐿
+ ෍ 𝑎𝑛 + 𝑏𝑛 ≤ න 𝑓(𝑥)2 𝑑𝑥
2
2 𝐿 −𝐿
𝑛=1

Es decir, en particular, que la parte izquierda de la desigualdad

(4.4)

∞
𝑎0 2
+ ෍ 𝑎𝑛 2 + 𝑏𝑛 2
2
𝑛=1

Tiene que Converger. Así tenemos a establecer el siguiente resultado.

 TEOREMA 4.1.Si ƒ es una función continua por partes en el intervalo −𝐿 ≤ 𝑋 ≤ 𝐿 , entonces la
serie (4.4) de cuadrados de la serie de Fourier de ƒ con respecto del sistema ortogonal converge y
la desigualdad (4.3) es correcta y se mantiene.

El hecho de que (4.4) converge implica que

(4.5) lim 𝑎𝑛 = lim 𝑏𝑛 = 0

𝑛→∞ 𝑛→∞

esto es, el coeficiente de Fourier de una función continua por partes aproximándose a cero como 𝑛 →
∞. Este resultado actual es un caso especial del siguiente teorema, que se debe a Riemann y Lebesgue.
 TEOREMA 4.2. (Riemann-Lebesgue) Si ƒ es una función continua por partes en el intervalo 𝑎 ≤ 𝑡 ≤ 𝑏 entonces
(4.6) 𝑏
lim න 𝑔(𝑡) sin 𝜆𝑡 𝑑𝑡 = 0
𝜆→∞ 𝑎

𝑝𝑟𝑢𝑒𝑏𝑎. Primero probamos el teorema en el caso donde g es continua en el intervalo a ≤ t ≤ b poner

(4.7)
𝑏
𝐼 = න 𝑔 𝑡 sin 𝜆𝑡 𝑑𝑡
𝑎

y hacer el cambio de variable 𝑡 = 𝜏 + (𝜋Τ𝜆), asumiendo que 𝜆 es tan grande que 𝑏 − 𝜋Τ𝜆 > 𝑎. Ya que 𝜆 t = sin 𝜆(𝜏 + (𝜋Τ𝜆)) =
− sin 𝜆𝜏, la integral (4.7) se convierte

(4.8) 𝑏−𝜋ൗ𝜆
𝜋
𝐼 = −න 𝑔 𝜏+ sin 𝜆𝑡 𝑑𝜏
𝑎−𝜋ൗ𝜆 𝜆
Usando de nuevo t como la variable de integración en (4.8), y agregando la ecuación a (4.7), obtenemos

𝑏 𝑏− ൗ𝜆 𝜋
1 𝜋
𝐼 = න 𝑔 𝑡 sin 𝜆𝑡 𝑑𝑡 − න 𝑔 𝑡+ sin 𝜆𝑡 𝑑𝑡
2 𝑎 𝑎−𝜋ൗ 𝜆
𝜆
(4.9)
𝑏−𝜋ൗ𝜆 𝑏 𝑎
𝜋 𝜋
= න 𝑔 𝑡 −𝑔 𝑡+ sin 𝜆𝑡 𝑑𝑡 + න 𝑔 𝑡 sin 𝜆𝑡 𝑑𝑡 − න 𝑔 𝑡+ sin 𝜆𝑡 𝑑𝑡
𝑎 𝜆 𝑏−𝜋ൗ𝜆 𝑎−𝜋ൗ𝜆 𝜆
Sea M el valor máximo de 𝑔(𝑡) en el intervalo 𝑎 ≤ 𝑡 ≤ 𝑏 . Entonces, las dos últimas integrales de la derecha en (4.9) producen

(4.10)

1 𝑏 𝑀𝜋
න 𝑔 𝑡 sin 𝜆𝑡 𝑑𝑡 ≤
2 𝑏−𝜋ൗ 2𝜆
𝜆

(4.11)

𝜋ൗ
1 𝑎 𝜋 1 𝑎+ 𝜆 𝑀𝜋
න 𝑔 𝑡+ sin 𝜆𝑡 𝑑𝑡 = න 𝑔 𝑡 sin 𝜆𝑡 𝑑𝑡 ≤
2 𝑎−𝜋ൗ 𝜆 2 𝑎 2𝜆
𝜆

Respectivamente.

Ahora sea 𝜀 > 0 cualquier número pequeño dado. Como g es continuo en el intervalo cerrado 𝑎 ≤ 𝑡 ≤ 𝑏 , es uniformemente
continuo allí; es decir, que corresponde a la 𝜀 dada, existe un número 𝛿 tal que
𝜋 𝜀 𝜋
𝑔 𝑡 −𝑔 𝑡+ < 𝑐𝑢𝑎𝑛𝑑𝑜 <𝛿
𝜆 𝑏−𝑎 𝜆
 Donde t es cualquier punto en el intervalo 𝑎, 𝑏 . Entonces el primer término a la derecha de (4.9) da

𝜋ൗ 𝜋ൗ
1 𝑏− 𝜆 𝜋 1 𝑏− 𝜆 𝜋
න 𝑔 𝑡 −𝑔 𝑡+ sin 𝜆𝑡 𝑑𝑡 ≤ න 𝑔 𝑡 −𝑔 𝑡+ 𝑑𝑡
2 𝑎 𝜆 2 𝑎 𝜆

1 𝜀 𝜋 𝜀
(4.12) < 𝑏−𝑎−𝜆 <2
2 𝑏−𝑎

𝜋 𝑀𝜋 𝜀
Por lo tanto, si elegimos 𝜆 lo suficientemente grande para que < 𝛿y < 2, tomando los valores absolutos en (4.9) y utilizando los limites
𝜆 𝜆

en (4.10), (4.11) y (4.12), obtenemos 𝐼 < 𝜀 , que precisamente implica (4.6)..

En el caso general, sea 𝑎 = 𝑡0 < 𝑡1 < ⋯ < 𝑡𝑛 < 𝑡𝑛+1 = 𝑏 los puntos donde g es discontinuo. Entonces

(4.13)

𝑏 𝑛 𝑡𝑖 +1
න 𝑔 𝑡 sin 𝜆𝑡 𝑑𝑡 = ෍ න 𝑔 𝑡 sin 𝜆𝑡 𝑑𝑡
𝑎 𝑖=0 𝑡𝑖

Dado que g es continuo en cada uno de los subintervalos 𝑡𝑖 ≤ 𝑡 ≤ 𝑡𝑖+1 , 0 ≤ 𝐼 ≤ 𝑛, se deduce del caso anterior que cada una de las
integrales de la derecha en (4.13) y por lo tanto su suma desaparece cuando 𝜆 → ∞. Esto comprueba la prueba del teorema de Riemann-
Lebesgue’s

Con condicional adicional en la función ƒ, el teorema de Riemann-lebesgue también se cumple cuando la integral en (4.6) es impropia
CONVERGENCIA
DE LA SERIE DE
FOURIER
 CONVERGENCIA DE
LA SERIE
DE FOURIER
Ahora presentaremos las condiciones bajo las cuales la serie de Fourier de una
función dada pueden converger a la función. Sin pérdida de generalidad, asumiremos
en nuestra discusión que L= π , hacemos esto principalmente por conveniencia, ya
que los teoremas que demostraremos se mantienen para el valor arbitrario de L.

Por lo tanto, sea f una función definida en el intervalo de - π ≤x ≤ π y permita que la

función se extienda fuera de [ -π, π] como función periódica con el periodo 2 π,
entonces la serie de Fourier de f esta dado por:
∞
𝑎0
5,1 𝑓 𝑥 ∼ + ෍ 𝑎𝑛 𝑐𝑜𝑠𝑛𝑥 + 𝑏𝑛 𝑠𝑒𝑛𝑛𝑥
2
𝑛=1
Donde:

1 π 𝑓 𝑥 𝑐𝑜𝑠𝑛𝑥𝑑𝑥
𝑎𝑛 = න
π −π
π
1
𝑏𝑛 = න 𝑓 𝑥 𝑠𝑒𝑛(𝑛𝑥)𝑑𝑥
π −π

Nuestro objetivo es establecer condiciones sobre las cuales el símbolo ∼ en (5.1) pueda ser
reemplazado por la igualdad.

Consideramos la suma parcial de los m primeros términos de 5.1

𝑚
𝑎0
5,2 𝑆𝑚 𝑥 = + ෍ 𝑎𝑛 𝑐𝑜𝑠𝑛𝑥 + 𝑏𝑛 𝑠𝑒𝑛𝑛𝑥
2
𝑛=1

Sustituyendo 𝑎𝑛 y 𝑏𝑛 , en (5.2) obtenemos

𝑚 π π
π 1
1
(𝑥) = න 𝑓 𝜀 𝑑𝜀 + ෍ (න 𝑓 𝜀 cos 𝑛𝜀 𝑑𝜀)𝑐𝑜𝑠𝑛𝑥 + (න 𝑓 𝜀 sen 𝑛𝜀 𝑑𝜀)𝑠𝑒𝑛𝑛𝑥
2π − π π −π −π
𝑛=1
 𝑚
1 π 1
= න 𝑓 𝜀 + ෍ cos 𝑛𝜀 cos 𝑛𝑥 + 𝑠𝑒𝑛(𝑛𝜀)𝑠𝑒𝑛(𝑛𝑥) 𝑑𝜀
π −π 2
𝑛=1
𝑚
1 π 1
5.3 = න 𝑓 𝜀 + ෍ cos 𝑛(𝜀 − 𝑥) 𝑑𝜀
π −π 2
𝑛=1

La suma dentro del corchete en (5.3) se puede expresar como:

𝑚 1
1 𝑠𝑒𝑛(𝑚 + )(𝜀 − 𝑥)
+ ෍ cos 𝑛(𝜀 − 𝑥) = 2
2 𝜀 −𝑥
2𝑠𝑒𝑛[ ]
𝑛=1 2

DEMOSTRACION:

Por lo tanto, (5.3) se reduce a:

1
1 𝜋 𝑠𝑒𝑛 𝑚 + (𝜀 − 𝑥)
5.4 𝑆𝑚 (𝑥) = න 𝑓 𝜀 2 𝑑𝜀
𝜋 −𝜋 2𝑠𝑒𝑛((𝜀 − 𝑥)/2)
Si ajustamos 𝜀 − 𝑥 = 𝑡, (5.4), se convierte en:
1
1 𝜋−𝑥 𝑠𝑒𝑛 𝑚 + 𝑡
5.5 𝑆𝑚 (𝑥) = න 2
𝜋 − 𝜋−𝑥 𝑓 𝑥 + 𝑡 2𝑠𝑒𝑛(𝑡/2)
𝑑𝑡
Donde el intervalo [-π − x, π − x] de integración permanece de longitud 2π. Ahora,
1
𝑠𝑒𝑛 𝑚+ 𝑡
2
asumiendo y desde (5.5), las funciones f y , y por lo tanto su producto, son
𝑠𝑒𝑛(𝑡/2)
periódicas de periodo 2π.Ya que la integral de una función periódica es la misma
en cualquier intervalo cuya longitud es igual a un periodo, finalmente tenemos, desde
(5.5).
1
1 π 𝑠𝑒𝑛 𝑚 + 𝑡
5.6 𝑆𝑚 (𝑥) = න 𝑓 𝑥 + 𝑡 2 𝑑𝑡
π −π 2𝑠𝑒𝑛(𝑡/2)

Esto se llama la FORMULA DE DIRICHLET para la suma parcial de una serie de Fourier

FORMULA DE DIRICHLE

Se emplea para la suma parcial de una serie de Fourier

Esta fórmula nos permitirá probar la convergencia puntual de una serie de Fourier a su
función correspondiente.

1
1 π 𝑠𝑒𝑛 𝑚 + 𝑡
𝑆𝑚 (𝑥) = න 𝑓 𝑥 + 𝑡 2 𝑑𝑡
π −π 2𝑠𝑒𝑛(𝑡/2)
En el caso particular donde f(x)=1, de modo que la serie de Fourier de f consiste solo en el único
termino igual a 1, produce el resultado especial

1
1 π 𝑠𝑒𝑛 𝑚 + 𝑡
5.7 1= න 2
π − π 2𝑠𝑒𝑛(𝑡/2) 𝑑𝑡

El integrado en la formula 5.7 es parejo; por lo tanto, se deduce que:

1 1
1 0 𝑠𝑒𝑛 𝑚 + 2 𝑡 1 π 𝑠𝑒𝑛 𝑚 + 𝑡
2 1
5.8 න 𝑑𝑡 = න 𝑑𝑡 =
π − π 2𝑠𝑒𝑛(𝑡/2) π 0 2𝑠𝑒𝑛(𝑡/2) 2

Con los resultados preliminares obtenidos anteriormente, ahora estamos en posición de

establecer y probar nuestro teorema principal sobre la convergencia de serie de Fourier.
TEOREMA 5.1
Sea f una función suave por partes en el intervalo – π ≤ x ≤ π y periódica con el
periodo 2π. entonces f puede representarse por su serie de Fourier; es decir,
∞
𝑎0
5,9 𝑓 𝑥 = + ෍ 𝑎𝑛 𝑐𝑜𝑠𝑛𝑥 + 𝑏𝑛 𝑠𝑒𝑛𝑛𝑥
2
𝑛=1

Donde los coeficientes 𝑎𝑛 y 𝑏𝑛 están dados por (5.1). la serie de Fourier converge a f(x)
𝑓 𝑥 + +𝑓(𝑥 − )
en todos los puntos donde f es continua, y al promedio en todos los puntos
2
donde f es discontinua.

𝑓 𝑥 + +𝑓(𝑥 − )
Obs: el numero es la media aritmética de los limites laterales
2
De f en el punto x. por tanto f es continua en x.
𝑓 𝑥 + +𝑓(𝑥 − ) 𝑓 𝑥 +𝑓(𝑥)
= = f(x)
2 2

Prueba:
En un punto x donde f es continuo, sabemos que 𝑓 𝑥 + = 𝑓 𝑥 − = 𝑓(𝑥). por lo
𝑓 𝑥+ +𝑓(𝑥 − )
tanto, es suficiente para demostrar que la serie de Fourier converge a
2
para todo x. hacemos esto demostrando que:
 𝑓 𝑥 + +𝑓(𝑥 − )
lim 𝑆𝑚 𝑥 =
𝑚→∞ 2
(5.10)
DEMOSTRACION
Cuando 𝑆𝑚 𝑥 es la suma parcial de la serie de Fourier de la formula integral (5.6),
tenemos.
1 1
1 0 𝑠𝑒𝑛 𝑚 + 𝑡 1 π
𝑠𝑒𝑛 𝑚 + 𝑡
2 2
𝑆𝑚 (𝑥) = න 𝑓 𝑥 + 𝑡 𝑑𝑡 + න 𝑓 𝑥 + 𝑡 𝑑𝑡
π −π 2𝑠𝑒𝑛(𝑡/2) π 0 2𝑠𝑒𝑛(𝑡/2)

Así, se establecerá (5.10) si podemos demostrar que:

1
1 0 𝑠𝑒𝑛 𝑚 +
𝑡 1
lim න 𝑓 𝑥 + 𝑡 2 𝑑𝑡 = 𝑓(𝑥 − 0) … . . (𝑎)
𝑚→∞ π − π 2𝑠𝑒𝑛(𝑡/2) 2
1
1 π 𝑠𝑒𝑛 𝑚 + 𝑡 1
𝑦 lim න 𝑓 𝑥 + 𝑡 2 𝑑𝑡 = 𝑓(𝑥 + 0) … . (𝑏)
𝑚→∞ π 0 2𝑠𝑒𝑛(𝑡/2) 2

En vista de las identidades en (5.8), las ecuaciones (a) y (b) son equivalentes a:
1
1 0 𝑠𝑒𝑛 𝑚 + 𝑡
lim න 𝑓 𝑥 + 𝑡 − 𝑓 𝑥 + 0 2 𝑑𝑡 = 0 … … . (𝑎. 1)
𝑚→∞ π −π 2𝑠𝑒𝑛(𝑡/2)
 1
1 π 𝑠𝑒𝑛 𝑚 + 𝑡
𝑦 lim න 𝑓 𝑥+𝑡 −𝑓 𝑥+0 2 𝑑𝑡 = 0 … … . (𝑏. 1)
𝑚→∞ π 0 2𝑠𝑒𝑛(𝑡/2)
Respectivamente.

Consideramos b.1 y fijamos.

𝑓 𝑥 + 𝑡 − 𝑓(𝑥 + )
𝑔 𝑡 = 𝑡 0 < 𝑡 ≤ 𝜋 … . (𝑐)
2𝑠𝑒𝑛
2
Ya que f es suave por partes en el intervalo – π ≤ x ≤ π y se define por la periodicidad fuera de
este Intervalo, g es suave por partes para 0 < x ≤ π. En t=0, notamos eso.
+
𝑓 𝑥 + 𝑡 − 𝑓(𝑥 + )
𝑔 0 = lim 𝑡
𝑡→0
𝑡>0 2𝑠𝑒𝑛
2
+
𝑓 𝑥 + 𝑡 − 𝑓(𝑥 + ) 𝑡/2
𝑔 0 = lim . lim
𝑡→0 𝑡 𝑡→0 𝑠𝑒𝑛(𝑡/2)
𝑡>0 𝑡>0
+
𝑓 𝑥 + 𝑡 − 𝑓(𝑥 )
𝑔 0+ = lim
𝑡→0 𝑡
𝑡>0
𝑔 0+ = 𝑓+ ′(𝑥)
Que existe ,ya que f es suave por partes. Por lo tanto, g es suave por partes y, por lo tanto,
continuo por partes, en el intervalo 0 ≤ t ≤ π.por el teorema de Riemann-lebesgue (teorema 4.2)
si g es una función por partes en el intervalo 𝑎 ≤ 𝑡 ≤ 𝑏, entonces:
𝑏
lim න 𝑔 𝑡 𝑠𝑒𝑛𝛽𝑡𝑑𝑡 = 0
𝛽→∞ 𝑎
Aplicando obtenemos.
1 π 1
lim න 𝑔 𝑡 𝑠𝑒𝑛 𝑚 + 𝑡 𝑑𝑡 = 0
𝑚→∞ π 0 2

Lo que demuestra (b.1). exactamente de la misma manera, podemos demostrar que a.1, también
es cierto. Así, se establece que 5.10 y así se prueba el teorema.

La convergencia de la serie de cosenos de Fourier correspondiente a una función dada que es

suave en el intervalo de 0 ≤ x ≤ π , se puede deducir del teorema principal. De hecho, notamos
que si f es suave por partes en el intervalo −π ≤ x ≤ 0 ,es igualmente suave por partes de
modo que la función extendida sea suave en [−π, π]. De acuerdo con el teorema 5.1, la serie de
Fourier de cualquiera de estas funciones extendidas converge a f en el intervalo 0 ≤ x ≤ π de la
manera establecida en el teorema. Pero la serie de Fourier de una función par se reduce a la
serie de cosenos y la de una función impar a la serie de senos. Así, el siguiente teorema se
deriva del teorema 5.1
TEOREMA 5.2
Sea f una función suave por partes en el intervalo 0 ≤ x ≤ π , entonces f puede ser
reemplazado por una serie de cosenos de Fourier.
∞
𝑎0
5.11 𝑓 𝑥 = + ෍ 𝑎𝑛 𝑐𝑜𝑠 𝑛𝑥
2
𝑛=1
Donde

2 π
5.12 𝑎𝑛 = න 𝑓 𝑥 𝑐𝑜𝑠𝑛𝑥𝑑𝑥 (𝑛 = 0,1,2, … . )
π 0
O por una serie de senos de Fourier
∞

5.13 𝑓 𝑥 = ෍ 𝑏𝑛 𝑠𝑒𝑛 𝑛𝑥
𝑛=1
Donde
2 π
5.14 𝑏𝑛 = න 𝑓 𝑥 𝑠𝑒𝑛 𝑛𝑥 𝑑𝑥 (𝑛 = 0,1,2,3, … )
π 0
CONVERGENCIA
UNIFORME DE
LA SERIE DE
FOURIER
Suave a trozos: cuando la función admite derivadas de cualquier orden ,
siendo así continuas en su sección determinada.

 lim 𝑓 𝑥 = lim 𝑓 𝑥
𝑋→𝑋+ 𝑋→𝑋−

Que sean continuas en −𝐿, 𝐿

Que exista putos de discontinuidad , 𝑥0 ∈ −𝐿, 𝐿 y 𝑓 𝑥0 sea

discontinua

𝒍𝒊𝒎 𝒇 𝒙𝟎 + 𝒍𝒊𝒎 𝒇 𝒙𝟎
𝑿→𝒙𝟎 + 𝑿→𝒙𝟎 −
Para los puntos de discontinuidad:
𝟐
Teorema.

Sea f una función continua en [- 𝜋,𝜋] cuya derivada existe excepto en un

número finito de puntos y es continua a trozos y acotada. Entonces, la serie
de Fourier de f converge uniformemente en [- 𝜋,𝜋]
En los extremos del intervalo la continuidad se entiende referida a la
extensión periódica y, por tanto, 𝑓(𝜋)= f(𝜋).
De esto concluimos que es CONVERGENTE siendo 𝑎𝑛 𝑦 𝑏𝑛 coeficientes
de Fourier.
∞

෍ 𝑎𝑛 2 + 𝑏𝑛 2
𝑛=1
 CRITERIO DE WEIRSTRASS

DE LAS ECUACIONES DE FOURIER

𝑎0 ∞
𝑠𝑚 𝑥 = +෍ 𝑎𝑛 cos nx + bn sin nx
2 𝑛=1 donde :𝑎0 = 0

𝑎𝑛 cos nx + bn sin nx ≤ 𝑎𝑛 cos nx + sin nx ≤ 𝑎𝑛 + bn ≤ 2 𝑎𝑛 2 + 𝑏𝑛 2

∞
෍ 𝑎𝑛 cos nx + bn sin nx
𝑛=1

Converge absoluta y uniformemente en su periodo, −𝜋, 𝜋

 𝑎0 ∞
𝑓 𝑥 = +෍ 𝑎𝑛 cos nx + bn sin nx (−𝜋 ≤ 𝑥 ≤ 𝜋൰
2 𝑛=1

𝑎0 ∞
2
𝑓 𝑥 = 𝑓 𝑥 +෍ 𝑎𝑛 𝑓 𝑥 cos nx + bn 𝑓 𝑥 sin nx
2 𝑛=1

Integrando con limites −𝜋 ≤ 𝑥 ≤ 𝜋

𝜋 𝜋 ∞ 𝜋 𝜋
𝑎 0
න 𝑓 2 𝑥 𝑑𝑥 = න 𝑓 𝑥 𝑑𝑥 + ෎ 𝑎𝑛 න 𝑓 𝑥 cos nx 𝑑𝑥 + bn න 𝑓 𝑥 sin nx 𝑑𝑥
−𝜋 2 −𝜋 −𝜋 −𝜋
𝑛=1

𝜋 2 ∞ ∞
𝑎 0 2
𝑎 0 1 𝜋 2
න 𝑓2 𝑥 𝑑𝑥 = 𝜋 + ෍ 𝑎𝑛 2 + 𝑏𝑛 2 +෎ 𝑎𝑛 2 + 𝑏𝑛 2
= න 𝑓 𝑥 𝑑𝑥
−𝜋 2 2 𝜋 −𝜋
𝑛=1 𝑛=1

Teorema de PARSEVAL
 Ejercicio:
∞ 1
2
𝑓 𝑡 = 𝑡 , −𝜋, 𝜋 T=2𝜋 𝑤0 = 1 Hallar=σ𝑛=1 4
𝑛
∞
1
𝑓 𝑥 = 𝑎0 + ෍ 𝑎𝑛 cos 𝑛𝑥 + 𝑏𝑛 sin 𝑛𝑥
2
𝑛=1

2 𝑇/2 2 2𝜋 2
𝑎0 = න 𝑡 𝑑𝑡 𝑎0 =
𝑇 −𝑇/2 3

2 𝑇/2 2 4𝜋 2 (−1)𝑛
𝑎𝑛 = න 𝑡 cos(𝑛𝑡)𝑑𝑡 𝑎𝑛 =
𝑇 −𝑇/2 𝑛2

2 𝑇/2 2
𝑏𝑛 = න 𝑡 sen(𝑛𝑡)𝑑𝑡 𝑏𝑛 = 0 𝑝𝑜𝑟 𝑠𝑒𝑟 𝑓𝑢𝑛𝑐𝑖𝑜𝑛 𝑝𝑎𝑟
𝑇 −𝑇/2
 Remplazando

∞
𝜋 2 2 2
1 1 2𝜋 1 4𝜋 2 (−1)𝑛
න 𝑋 2 2 𝑑𝑡 = + ෎
2𝜋 −𝜋 4 3 2 𝑛2
𝑛=1

∞ ∞
𝜋4 𝜋4
1 16𝜋 2 1 𝜋2
= + ෍ 4 ෍ 4=
5 9 2 𝑛 𝑛 90
𝑛=1 𝑛=1

Así se comprueba , la existencia de la serie 𝑓´ 𝑡 = 2x siendo continua en todos los puntos

𝑓 𝑡 = 𝑡 2 , −𝜋, 𝜋

f continua en -  ,   
hay convergenc ia uniforme
f  continua en -  ,  
 ∞
2 sin 2𝑛 + 1 𝑥
෍ −𝜋, 𝜋 𝑑𝑜𝑛𝑑𝑒 𝑛 ∈ (1,2,3 … )
𝜋 2𝑛 + 1
𝑛=1
TRANSFORMADA
DE FOURIER
 LA TRANSFORMADA DE FOURIER

La transformada de Fourier se usa para funciones no periódicas transforma funciones que

están definidas sobre una determinada variable, x, en funciones definidas sobre otra
variable, α . Generalmente, x es una variable física (espacial o temporal) y α es otra
variable que se puede interpretar como una frecuencia.
En este apartado consideramos funciones continuas a trozos tal que la
integral sea finita.
Partiendo de las expresiones de f(x) representada como una integral de Fourier y su coeficientes
A(w) y B(w) y usando la identidad trigonométrica:

Se encuentra la forma compleja de la integral de Fourier dada por:

Al realizar las respectivas operaciones algebraicas, se obtiene las siguientes expresiones:

• A C(w) se le denomina la transformada de Fourier de f(x),

comúnmente se le llama la F[f(x)] o F(w)

• Y f(x) se convierte en la transformada inversa de Fourier de

C(w):
La transformada de Fourier de f se define como:

La transformada de Fourier Inversa de f

Se define como:

Obsérvese que la variable independiente para la función original es x, mientras que para la
transformada de Fourier es α. Por ejemplo, si interpretamos x como una variable espacial y f
denota una magnitud física, para cada α ϵ R la cantidad f(α ) indica cuánta parte de f está
sometida a fluctuaciones con frecuencia α .
Otra notación de la transformada de Fourier y la transformada inversa de Fourier

Estas expresiones nos permiten calcular la expresión F(w) (dominio de la frecuencia) a partir
de f(t) (dominio del tiempo) y viceversa
Ejemplo
Obtener la transformada de Fourier de la función:

SOLUCION
En la figura de la izquierda podemos ver la función y en la de la derecha su transformada
Ejemplo
Calcular F(w) para el pulso rectangular f(t) siguiente:

Solución:
La expresión en el dominio del tiempo de la función
es:
 Integrando:

Usando la fórmula
de Euler:
En forma grafica la transformada es
Si f es par o impar se pueden obtener expresiones simplificadas de su transformada

Si f es par entonces:

Si f es impar entonces:
 Ejemplo
Obtener la transformada de Fourier de la función definida en R:

Solución:
Obsérvese que

Como f(−x) = f(x), podemos calcular la transformada de Fourier como

 Integrando por partes,

Por tanto

En la figura de la izquierda podemos ver la función y en la de la derecha su transformada

En la figura se tiene una señal que representa un sonido es un En la figura se puede ver su descomposición en
ejemplo de señal compleja señales simples, para ello se utilizaría la serie de
Fourier

En esta figura se aplica la transformada de Fourier y su

descomposición en vibraciones simples y el espectro
correspondiente tiene una componente grande de baja frecuencia
y otras mas pequeñas de frecuencias altas