Contreras Roque Adal Eduardo 201935255 09/04/21

Resumen Series de Fourier

Funciones ortogonales

INTRODUCCIÓN
Los conceptos de vectores geométricos en dos y tres dimensiones, vectores
ortogonales o perpendiculares y el producto interno de dos vectores se ha
generalizado. Es muy común en matemáticas considerar una función como un vector.
Analizaremos un producto interno que es diferente del estudiado en cálculo. Utilizando
este nuevo producto interno, definiremos las funciones ortogonales y los conjuntos de
funciones ortogonales. Otro tema común en un curso de cálculo es el desarrollo de
una función f en series de potencias. En esta sección también veremos cómo
desarrollar una adecuada función f en términos de un conjunto infinito de funciones
ortogonales.

Producto interno Recuerde que si u y v son dos vectores en 𝑅 3 o en el

espacio tridimensional, entonces el producto interno(u,v) tiene las propiedades
siguientes

i)(u,v)=(v,u),
ii)(kv,u)=k(u,v), k es un escalar
ii)(u,u)=0 si u= 0 y (u, u) ≥ 0 si u ≠ 0,
iv)(u+v,w)=(u,w)+(u,w).
Esperamos que cualquier generalización del concepto de producto interno debe tener
estas mismas propiedades.
Suponiendo que 𝑓1 𝑦𝑓2 son funciones definidas en un intervalo[a,b].Puesto que
una integral definida sobre [a, b] del producto 𝑓1 (𝑥) 𝑦 𝑓2 (𝑥) también tiene las
propiedades anteriores i) a iv) siempre y cuando exista la integral, podemos enunciar
la siguiente definición

DEFINICIÓN 11.1.1 Producto interno de funciones

𝑏
(𝑓1, 𝑓2 ) = ∫ 𝑓1 (𝑥), 𝑓2 (𝑥)𝑑𝑥
𝑎

FUNCIONES ORTOGONALES Motivados por el hecho de que dos vectores

geométricos u y v son ortogonales siempre que su producto interno sea cero,
definimos las las funciones ortogonales en una forma similar.

DEFINICIÓN 11.1.2 Funciones ortogonales

Contreras Roque Adal Eduardo 201935255 09/04/21

Dos funciones 𝑓1 𝑦 𝑓2 son ortogonales en un intervalo [a,b] si

𝑏
(𝑓1 , 𝑓2 ) = ∫𝑎 𝑓1 (𝑥), 𝑓2 (𝑥)𝑑𝑥 = 0 (1)

Ejemplo 1 Funciones ortogonales

a)Las funciones 𝑓1 (𝑥) = 𝑥 2 𝑦 𝑓2 (𝑥) = 𝑥 3 son ortogonales en el intervalo [-1,1], ya que
1
2 3
1 1
(𝑓1 , 𝑓2 ) = ∫ 𝑥 ⋅ 𝑥 𝑑𝑥 = ] −1 =0
−1 6
a)Las funciones 𝑓1 (𝑥) = 𝑥 2 𝑦 𝑓2 (𝑥) = 𝑥 3 son no ortogonales en el intervalo [-1,1], ya
que
1 1
1 1
(𝑓1 , 𝑓2 ) = ∫ 𝑥 2 ⋅ 𝑥 4 𝑑𝑥 = ∫ 𝑥 6 𝑑𝑥 = 𝑥 7 | −1
−1 −1 7
1 2
= (1 − (−1)) = ≠ 0
7 7
A diferencia del análisis vectorial, donde la palabra ortogonal es sinónimo de
perpendicular, en este contexto el término ortogonal y la condición (1) no tienen
significado geométrico. Observe que la función cero es ortogonal a toda función.

CONJUNTOS ORTOGONALES Nos interesan principalmente los conjuntos infinitos

de funciones ortogonales que están definidos en el mismo intervalo [a,b].

DEFINICIÓN 11.1.3 Conjunto ortogonal

Un conjunto de funciones de valor real {𝜙0 (𝑥), 𝜙1 (𝑥), 𝜙3 (𝑥), . ..} se dice que es
ortogonal en un intervalo[a,b] si

𝑏
(𝜙𝑚, 𝜙𝑛 ) = ∫𝑎 𝜙𝑚 (𝑥)𝜙𝑛 (𝑥)𝑑𝑥 = 0, 𝑚 ≠ 𝑛 (2)
CONJUNTOS ORTONORMALES. La norma o longitud ||u|| de un vector u, se puede
expresar en términos del producto interno. La expresión (u,u) =||𝑢||2 se llama norma
cuadrada, por lo que la norma es ||u|| = √(𝑢, 𝒖). De igual modo, la norma cuadrada
de una función 𝜙𝑛 es ||𝜙𝑛 (𝑥)||2 = (𝜙𝑛, 𝜙𝑛 ) y así la norma o su nolngitud generalizada
es de ||𝜙𝑛 (𝑥)|| = √(𝜙𝑛, 𝜙𝑛 ).En otras palabras, la norma cuadrada y la norma de una
función 𝜙𝑛 en un contorno ortogonal{𝜙𝑛 (x)} son, respectivamente,
Contreras Roque Adal Eduardo 201935255 09/04/21

𝑏
||𝜙𝑛 (𝑥)||2 = ∫𝑎 𝜙𝑛 2 (𝑥)𝑑𝑥 y ||𝜙𝑛 (𝑥)| =
𝑏
√∫𝑎 𝜙𝑛 2 (𝑥)𝑑𝑥 (3)
si {𝜙𝑛 (x)} es un conjunto ortogonal de funciones en el intervalo [a, b] con la
propiedad de que||𝜙𝑛 (𝑥)|| = 1 para 𝑛 = 0,1,2, . . ., entonces se dice que {𝜙𝑛 (x)} es un
conjunto ortonormal en el intervalo.

Ejemplo 2 Conjunto ortogonal de funciones

Demuestra que el conjunto {1,cosx,cos2x,...} es ortogonal en el intervalo{-𝜋,𝜋}

1
identidad trigonométrica 2 [𝑐𝑜𝑠(𝑚 + 𝑛) + 𝑐𝑜𝑠(𝑚 − 𝑛)𝑥]=𝑐𝑜𝑠 𝑚𝑥 ⋅ 𝑐𝑜𝑠 𝑛𝑥

Ejemplo 3 Normas
Encuentre las normas de cada función en el conjunto ortogonal del ejemplo 1.

Para𝜙0 (𝑥) = 1, tenemos la ecuación 3

𝜋
||𝜙𝑛 (𝑥)||2 = ∫−𝜋 𝑑𝑥 = 2𝜋,
por lo que ||𝜙𝑛 (𝑥)|| = √2𝜋. Para 𝜙0 (𝑥)=nx,n > 0, se tiene que

𝜋 1 𝜋
||𝜙𝑛 (𝑥)||2 =∫−𝜋 𝑐𝑜𝑠 2 𝑛𝑥𝑑𝑥 = ∫−𝜋 [1 + 𝑐𝑜𝑠 2𝑛𝑥]𝑑𝑥 = 𝜋
2
Así paran >0, ||𝜙𝑛 (𝑥)|| = √𝜋

NORMALIZACIÓN Cualquier conjunto ortogonal de funciones diferentes de cero

{𝜙𝑛 (𝑥)}, n=1,2,3,...,se puede normalizar, es decir, transformarlo en un
conjunto ortonormal dividiendo cada función entre su norma.

Ejemplo 4 Conjunto ortonormal

En el ejemplo 2 se probó que el conjunto {1,cosx,cos2x,...} es ortogonal en el intervalo
[−𝜋, 𝜋].En el ejemplo 3, se vio que las normas de las funciones en el conjunto anterior
son

||𝜙𝑛 (𝑥)|| = ||1|| = √2𝜋. y ||𝜙𝑛 (𝑥)|| = ||𝑐𝑜𝑠𝑛𝑥|| = √𝜋, 𝑛 = 1,2. ...
Al dividir cada función entre su norma se obtiene el conjunto

1 𝑐𝑜𝑠𝑥 𝑐𝑜𝑠2𝑥
{ , , }
√ 2𝜋 √𝜋 √𝜋
Contreras Roque Adal Eduardo 201935255 09/04/21

que es ortonormal en el intervalo[−𝜋, 𝜋].

ANALOGÍA VECTORIAL En la introducción a esta sección se estableció que el

interés en el estudio de funciones ortogonales radica en el desarrollo de una función
en términos de un conjunto infinito {𝜙𝑛 (𝑥)} de funciones ortogonales. Para motivar
este concepto se hará una analogía más entre vectores y funciones. Suponga que
𝑣1 , 𝑣2 y 𝑣3 son tres vectores no nulos mutuamente ortogonales en ℜ3 .Tal conjunto
ortogonal se puede emplear como una base para ℜ3 , esto significa que cualquier
vector tridimensional u es una combinación lineal de la forma

𝑢 = 𝑐1 𝑣1 + 𝑐2 𝑣2 + 𝑐3 𝑣3 (4)
en donde las 𝑐𝑖 , i = 1, 2, 3, son escalares que representan los componentes del
vector u. Cada componente 𝑐𝑖 se puede expresar en términos de u y del vector
𝑣𝑖 correspondiente. Para ver esto tomamos el producto interno de (4) con 𝑣𝑖 :

(u, 𝑣𝑖 )=𝑐1 (𝑣1 , 𝑣1 )+𝑐2 (𝑣2 , 𝑣2 )+𝑐3 (𝑣3 , 𝑣3 ) =𝑐1 ||𝑣1 ||2 + 𝑐2 ⋅ 0 + 𝑐3 ⋅ 0

(𝑢,𝑣1 )
Por tanto, 𝑐1 = ||𝑣1 ||2

De igual manera podemos encontrar las componentes 𝑐2 y 𝑐3 están dadas por

(𝑢,𝑣2 ) (𝑢,𝑣3 )
𝑐2 = y 𝑐3 =
||𝑣1 ||2 ||𝑣1 ||2
Por tanto, la ecuación (4) se puede expresar como:

(𝑢,𝑣1 ) (𝑢,𝑣2 ) (𝑢,𝑣3 ) (𝑢,𝑣𝑛 )

𝑢 = ||𝑣 𝑣 + ||𝑣 𝑣 + 𝑣 = ∑3𝑛=1 𝑣 (5)
1 ||2 1 1 ||2 2 ||𝑣1 ||2 3 ||𝑣𝑛 ||2 𝑛
DESARROLLO EN SERIES ORTOGONALES Suponga que {𝜙𝑛 (𝑥)}es un conjunto
infinito de funciones ortogonales en un intervalo [a, b]. Nos preguntamos: si y = f(x)
es una función definida en el intervalo [a, b], es posible determinar un conjunto de
coeficientes 𝑐𝑛 , n= 0, 1, 2, . . . , para el que

f(x)𝑐0 𝜙0 (𝑥) + 𝑐1 𝜙1 (𝑥)+. . . +𝑐𝑛 𝜙𝑛 (𝑥)+. ..(6)

Como el análisis anterior acerca de encontrar las componentes de un vector podemos

determinar los coeficientes 𝑐𝑛 utilizando el producto interno. Multiplicando la ecuación
(6) por 𝜙𝑚 (𝑥)e integrando en el intervalo [a,b], se obtiene
Contreras Roque Adal Eduardo 201935255 09/04/21

𝑏
∫ 𝑓(𝑥)𝜙𝑚 (𝑥)𝑑𝑥
𝑎
𝑏
= 𝑐0 ∫ 𝜙0 (𝑥)𝜙𝑚 (𝑥)𝑑𝑥
𝑎
𝑏
+ 𝑐1 ∫ 𝜙1 (𝑥)𝜙𝑚 (𝑥)𝑑𝑥 +
𝑎
𝑏
𝑐𝑛 ∫ 𝜙𝑛 (𝑥)𝜙𝑚 (𝑥)𝑑𝑥+. . .
𝑎
= 𝑐0 (𝜙0 , 𝜙𝑚 ) + 𝑐1 (𝜙1 , 𝜙𝑚 ) +. . . +𝑐𝑛 (𝜙𝑛 , 𝜙𝑚 )

Por la ortogonalidad cada término del miembro derecho de la última ecuación es cero
excepto cuando m=n. En este caso tenemos

𝑏 𝑏
∫ 𝑓(𝑥)𝜙𝑛 (𝑥)𝑑𝑥 = 𝑐𝑛 ∫ 𝑓(𝑥)𝜙 2 𝑛 (𝑥)𝑑𝑥.
𝑎 𝑎

Se tiene que los coeficientes que buscamos son

𝑏
∫𝑎 𝑓(𝑥)𝜙𝑛 (𝑥)𝑑𝑥
𝑐𝑛 = 𝑏 , n=1,2,...
∫𝑎 𝜙2 𝑛 (𝑥)𝑑𝑥

(𝑓,𝜙𝑛 )
Es decir, 𝑓(𝑥) = ∑∞
𝑛=0 𝜙𝑛 (𝑥) (7)
||𝜙𝑛 ||2

𝑏
∫𝑎 𝑓(𝑥)𝜙𝑛 (𝑥)𝑑𝑥
donde 𝑐𝑛 = (8)
||𝜙𝑛 (𝑥)||2
Contreras Roque Adal Eduardo 201935255 09/04/21

Con la notación de producto interno, de la ecuación (7) se convierte en

𝑏
∫𝑎 (𝑓,𝜙𝑛 )
𝑓(𝑥) = ∑∞
𝑛=0 𝜙𝑛 (𝑥) (9)
||𝜙𝑛 (𝑥)||2

DEFINICIÓN 11.1.4 Conjunto ortogonal / función de peso

Se dice que un conjunto de funciones de valor real {𝜙0 (𝑥), 𝜙1 (𝑥), 𝜙2 (𝑥), . . . } es
ortogonal respecto a una función de peso w(x) en un intervalo [a,b] si

𝑏
∫𝑎 𝑤(𝑥)𝜙𝑚 (𝑥)𝜙𝑛 (𝑥)𝑑𝑥 = 0, 𝑚 ≠ 𝑛
La suposición usual es que w(x)>0 en el intervalo de ortogonalidad [a,b]. El conjunto
{1,cos x, cos 2x,...} del ejemplo 1 es ortogonal respecto a la función de peso w(x)=1
en el intervalo [−𝜋, 𝜋].
Si {𝜙𝑛 (𝑥)} es ortogonal respecto a una función de peso w(x) en [a,b], entonces
multiplicando la ecuación (6) por w(x)𝜙0 (𝑥) e integrando se obtiene que

𝑏
∫𝑎 𝑓(𝑥)𝑤(𝑥)𝜙𝑛 (𝑥)𝑑𝑥
𝑐𝑛 = (10)
||𝜙𝑛 (𝑥)||2

𝑏 2
donde ||𝜙𝑛 (𝑥)||2 =∫𝑎 𝑤(𝑥)𝜙𝑛 (𝑥)𝑑𝑥 (11)

La serie (7) en que los coeficientes datos ya sea por la ecuación (8) o por la
ecuación (10) es un desarrollo en series ortogonales de f o una serie Fourier
generalizada.

CONJUNTOS COMPLETOS El procedimiento implementado para determinar los

coeficientes fue formal; es decir, se ignoraron preguntas fundamentales sobre si es
convergente hacia la función f cuando ésta se desarrolla en series ortogonales.
Resulta que para algunos conjunto son ortogonales específicos estas series tienen
dicha convergencia y se deben establecer condiciones sobre el tipo de funciones
definidas en el intervalo[a,b] de ortogonalidad , que son suficientes para garantizar
que una serie ortogonal sea convergente hacia su función f. Para recalcar el tipo de
conjunto que es {𝜙𝑛 (𝑥)} repasando la analogía anterior si {𝑣1 , 𝑣2 , 𝑣3 } es completo en
ℜ3 porque tres de tales vectores es todo lo que se necesita para escribir a cualquier
vector u en ese espacio no podría escribir (5) empleando menos de tres vectores,
es fácil ver una consecuencia necesaria, en el espacio tridimensional y es el vector
cero. Si u es ortogonal a 𝑣1 , 𝑣2 , 𝑣3 entonces (u,𝑣1 ) =0,(u,𝑣2 )=0, (u,𝑣3 )=0 y (5) implica
Contreras Roque Adal Eduardo 201935255 09/04/21

que u =0. De manera similar, el análisis de desarrollos en series ortogonales, la

función f y cada una de las funciones en {𝜙𝑛 (𝑥)}, también se desea que esta sea
completo en S en el sentido de que {𝜙𝑛 (𝑥)} tenga un número suficiente de
funciones de manera que cada función en S se pueda escribir en la forma (7).Al
igual que en la analogía vectorial {𝜙𝑛 (𝑥)} es la función cero.

SERIES DE FOURIER

Acabamos de ver que si {ꬹ(X), ꬹ(X), ꬹ(X)…………………………….} es un conjunto ortogonal

en un intervalo [a,b] y f es una función definida en el mismo Intervalo, entonces se puede
desarrollar formalmente f en una serie ortogonal.

{ꬹ(X), ꬹ(X), ꬹ(X)…………………………….}

Donde se determinan utilizando el concepto de producto interno. El conjunto

ortogonal de funciones trigonométricas

𝜋 2𝜋 3𝜋 𝜋 2𝜋 3𝜋
{1, cos𝑝 𝑥, 𝑐𝑜𝑠 𝑥, 𝑐𝑜𝑠 𝑥, . . . . . . . . . . . . . . . . . . . . . . . . . , 𝑠𝑒𝑛 𝑝 𝑥, 𝑠𝑒𝑛 𝑥, 𝑠𝑒𝑛 𝑥 . . . . . . . ..}
𝑝 𝑝 𝑝 𝑝

tendrá después especial importancia en la solución de ciertas clases de problemas con

valores en la frontera donde intervienen ecuaciones diferenciales parciales lineales. El
conjunto (1) es ortogonal en el intervalo [-p,p].

UNA SERIE TRIGONOMÉTRICA

Suponga que f es una función definida en el intervalo [-p,p] y que se puede

desarrollar en una serie ortogonal formada por las funciones trigonométricas del
conjunto ortogonal (1); es decir,

𝑎0 𝑛𝜋 𝑛𝜋
f(x)= 2
+ ∑∞
𝑛=1(𝑎𝑛 𝑐𝑜𝑠 𝑝
𝑥 + 𝑏𝑛 𝑠𝑒𝑛 𝑝
𝑥)

Los coeficientes 𝑎0 , 𝑎1 , 𝑎2 , . . . . . . . . 𝑏1 , 𝑏2 . . . . . . . . . . . .. se pueden determinar exactamente

de la misma manera que en el análisis general de los desarrollos en series
ortogonales. Antes de proseguir, observe que hemos elegido escribir coeficiente de
1
1 en el conjunto como 2 𝑎0 en lugar de 𝑎0 . 𝐸𝑠𝑡𝑜 𝑒𝑠 𝑠𝑜𝑙𝑜 𝑝𝑜𝑟 𝑐𝑜𝑛𝑣𝑒𝑛𝑖𝑒𝑛𝑐𝑖𝑎; 𝑙𝑎 𝑓𝑜𝑟𝑚𝑢𝑙𝑎
𝑎𝑛 se reducirá después a 𝑎0 para n=0.
Contreras Roque Adal Eduardo 201935255 09/04/21

Ahora, integrando ambos miembros de la ecuación (2), desde -p hasta p, se obtiene

∞
𝑝
𝑎0 𝑝 𝑝
𝑛𝜋 𝑝
𝑛𝜋
∫ 𝑓(𝑥)𝑑𝑥 = ∫ 𝑑𝑥 + ∑(𝑎𝑛 ∫ 𝑐𝑜𝑠 𝑥 + 𝑏𝑛 ∫ 𝑠𝑒𝑛 𝑥 𝑑𝑥)
−𝑝 2 −𝑝 −𝑝 𝑝 −𝑝 𝑝
𝑛=1

Puesto que cos(nπx/p) y sen(nπx/p), n ≥ 1 son ortogonales a 1 en el intervalo, el miembro

derecho de (3) se reduce a un solo término:

𝑝
𝑎0 𝑝 𝑎0 𝑝
∫ 𝑓(𝑥)𝑑𝑥 = ∫ 𝑑𝑥 = 𝑥 ( ) = 𝑝 𝑎0
−𝑝 2 −𝑝 2 −𝑝

Resolviendo para 𝑎0 se obtiene

𝑝
1
𝑎0 = ∫ 𝑓(𝑥)𝑑𝑥
𝑝 −𝑝

Ahora multiplicando la ecuación (2) por cos (nπx/p) e integrando:

𝑝
𝑚𝜋
∫ 𝑓(𝑥)𝑐𝑜𝑠 𝑥 𝑑𝑥
−𝑝 𝑝
𝑎0 𝑝 𝑚𝜋
= ∫ 𝑐𝑜𝑠 𝑥 𝑑𝑥
2 −𝑝 𝑝
∞ 𝑝 𝑝
𝑚𝜋 𝑛𝜋 𝑚𝜋 𝑛𝜋
+ ∑(𝑎𝑛 ∫ 𝑐𝑜𝑠 𝑥𝑐𝑜𝑠 𝑥 𝑑𝑥 + 𝑏𝑛 ∫ 𝑐𝑜𝑠 𝑥 𝑠𝑒𝑛 𝑥 𝑑𝑥)
−𝑝 𝑝 𝑝 −𝑝 𝑝 𝑝
𝑛=1

Por ortogonalidad, tenemos que

𝑝 𝑝
𝑚𝜋 𝑚𝜋 𝑛𝜋
∫ 𝑐𝑜𝑠 𝑥 𝑑𝑥 = 0 , 𝑚 > 0, ∫ 𝑐𝑜𝑠 𝑥 𝑠𝑒𝑛 𝑥 𝑑𝑥 = 0
−𝑝 𝑝 −𝑝 𝑝 𝑝

𝑝
𝑚𝜋 𝑛𝜋 0 ,𝑚 ≠ 𝑛
∫ 𝑐𝑜𝑠 𝑥𝑐𝑜𝑠 𝑥 𝑑𝑥 = {
−𝑝 𝑝 𝑝 𝑝 ,𝑚 = 𝑛

Por lo que la ecuación (5) se reduce a

𝑝
𝑚𝜋
∫ 𝑐𝑜𝑠 𝑥 𝑑𝑥 = 𝑎𝑛 𝑝,
−𝑝 𝑝

Y así
Contreras Roque Adal Eduardo 201935255 09/04/21

𝑝
1 𝑚𝜋
𝑎𝑛 = ∫ 𝑓(𝑥)𝑐𝑜𝑠 𝑥𝑑𝑥
𝑝 −𝑝 𝑝

Por último, si multiplicamos (2) por sen(nπx/p), integramos y utilizamos los resultados

𝑝 𝑝
𝑚𝜋 𝑚𝜋 𝑛𝜋
∫ 𝑠𝑒𝑛 𝑥 𝑑𝑥 = 0 , 𝑚 > 0, ∫ 𝑠𝑒𝑛 𝑥 𝑐𝑜𝑠 𝑥 𝑑𝑥 = 0
−𝑝 𝑝 −𝑝 𝑝 𝑝

𝑝
𝑚𝜋 𝑛𝜋 0 ,𝑚 ≠ 𝑛
∫ 𝑠𝑒𝑛 𝑥𝑠𝑒𝑛 𝑥 𝑑𝑥 = {
−𝑝 𝑝 𝑝 𝑝 ,𝑚 = 𝑛

encontramos que

𝑝
1 𝑚𝜋
𝑏𝑛 = ∫ 𝑓(𝑥)𝑠𝑒𝑛 𝑥𝑑𝑥
𝑝 −𝑝 𝑝

La serie trigonométrica son coeficientes 𝑎0 , 𝑎𝑛 , 𝑏𝑛 definidos por las ecuaciones

respectivamente, se dice que es una serie de Fourier de la función f. No obstante
que el físico matemático francés Jean Baptiste Joseph Fourier (1768-1830) no
inventó la serie que lleva su nombre, al menos él es responsable de despertar en los
matemáticos el interés por las series trigonométricas que él aplicó con poco rigor en
sus investigaciones sobre la conducción del calor. Las fórmulas (4), (6) y (7) que
dan los coeficientes en una serie de Fourier se conocen como fórmulas de Euler.

Definicion: Series de Fourier

La serie de Fourier de una función f definida en el intervalo -p, p) está dada por

𝑎0 𝑛𝜋 𝑛𝜋
𝑓(𝑥) = 2
+ ∑∞
𝑛=1(𝑎𝑛 𝑐𝑜𝑠 𝑝
𝑥 + 𝑏𝑛 𝑠𝑒𝑛 𝑝
𝑥)

donde

1⬚ 𝑝
𝑎0 = ∫ 𝑓(𝑥)𝑑𝑥
𝑝 −𝑝

1⬚ 𝑝 𝑚𝜋
𝑎𝑛 = ∫ 𝑓(𝑥)𝑐𝑜𝑠 𝑥𝑑𝑥
𝑝 −𝑝 𝑝

1⬚ 𝑝 𝑚𝜋
𝑏𝑛 = ∫ 𝑓(𝑥)𝑠𝑒𝑛 𝑥𝑑𝑥
𝑝 −𝑝 𝑝
Contreras Roque Adal Eduardo 201935255 09/04/21

CONVERGENCIA DE UNA SERIE DE FOURIER

En ausencia de condiciones de condiciones precisas que garanticen la validez de los pasos

para determinar los coeficientes 𝑎0 , 𝑎𝑛 , 𝑏𝑛 el signo de igualdad e no se debe tomar en
un sentido estricto o literal. Algunos libros utilizan el símbolo ~ para enfatizar que es sólo la
correspondiente serie trigonométrica con coeficientes generados empleando f en las
fórmulas. En vista de que en las en las aplicaciones la mayoría de las funciones son del tipo
que garantiza la convergencia de la serie, aquí se usará el símbolo de igualdad. ¿Es posible
que, en x del intervalo (-p, p), la serie sea convergente pero no al valor f(x)? La respuesta
es un contundente Sí

FUNCIONES CONTINUAS POR PARTES Antes de tratar las condiciones que aseguran la
convergencia de una serie de Fourier, es necesario repasar dos temas del primer semestre
de cálculo. Se emplearán los símbolos f(x+) y f(x-) para denotar los límites laterales

𝑓(𝑥 +) = lim 𝑓(𝑥 = ℎ),

ℎ→0,ℎ>0

llamados, respectivamente, límites de f en x por la derecha y por la izquierda. Se dice que

una función f es continua por partes en un intervalo cerrado [a, b] si

existe un numero de puntos 𝑥1 < 𝑥2 <. . . . . . . . . . . . < 𝑥𝑛 en [a,b] donde f tiene una
discontinuidad (salto) finito.

f es continua en cada intervalo abierto (𝑥𝑘 , 𝑥𝑘+1 )

Como una secuencia de esta definición, los limites laterales f(x+) y f(x-) deben
existir en cada x tal que a < x < b. Los límites f(a+) y f(b-) también deben existir pero
no se requiere que f este definida o que sea continua en a o b.
El siguiente primer teorema da condiciones suficientes para la convergencia de una
serie de Fourier en un punto x.

TEOREMA Condiciones para la convergencia

Sean f y f´ continuas por partes en el intervalo [-p, p]. Entonces para toda x en el intervalo (
p, p), la serie de Fourier de f converge a f(x) en un punto de continuidad. En un punto de
discontinuidad la serie de Fourier converge al promedio

𝑓(𝑥+) + 𝑓(𝑥 =)
2

en donde f (x+) y f (x-) denotan el límite de f en x, por la derecha y por la

izquierda, respectivamente.
Contreras Roque Adal EJEMPLO
Eduardo 1 Desarrollo
201935255 en una serie de Fourier09/04/21

0, −𝜋 <𝑥 < 0
Desarrolle f(x) = {
𝜋, 0 ≤ 𝑥 ≤ 𝜋

en una serie de Fourier.

SOLUCIÓN En la figura se presenta la grafica de f. Con p=π tenemos de las ecuaciones y

que

1 𝜋 1 0 𝜋
1 𝑥2 𝜋 𝜋
𝑎0 = ∫ 𝑓(𝑥)𝑑𝑥 = [∫ [0 𝑑𝑥 + ∫ (𝜋 − 𝑥 )𝑑𝑥 ] = [𝜋𝑥 − ] =
𝜋 −𝜋 𝜋 −𝜋 0 𝜋 2 0 2

1 𝜋 1 0 𝜋
1 𝑥2
𝑎0 = ∫ 𝑓(𝑥)𝑐𝑜𝑠 (𝑛𝑥 )𝑑𝑥 = [∫ [0 𝑑𝑥 + ∫ (𝜋 − 𝑥 )𝑐𝑜𝑠(𝑛𝑥) 𝑑𝑥 ] = [𝜋𝑥 − ]
𝜋 −𝜋 𝜋 −𝜋 0 𝜋 2

1 𝑠𝑒𝑛(𝑛𝑥) 𝜋 1 𝜋
=𝜋 [(𝜋 − 𝑥 ) 𝑛
|0 + ∫ 𝑠𝑒𝑛
𝑛 0
(𝑛𝑥) 𝑑𝑥 ]

1 𝑐𝑜𝑠(𝑛𝑥) 𝜋 1−(−1)𝑛
= - 𝑛𝜋 𝑛
|0 = 𝑛2 𝜋

donde hemos usado cos nπ (−1)𝑛 . En forma similar encontramos de que

1 𝜋 1
𝑏𝑛 = 𝜋 ∫0 (𝜋 − 𝑥)𝑠𝑒𝑛 𝑛𝑥 𝑑𝑥 = 𝑛

Por tanto

𝜋 1−(−1)𝑛 1
f(x) = + ∑∞
𝑛=1{ 𝑐𝑜𝑠 𝑛𝑥 + 𝑠𝑒𝑛 𝑛𝑥}
4 𝑛2 𝜋 𝑛

Observe que 𝑎𝑛 definida por la ecuación se reduce a 𝑎0 dada por la ecuación cuando se
hace n 0. Pero como en el ejemplo 1, este quizá no sea el caso después de evaluar la
integral para 𝑎𝑛 .

Ejemplo Vuelta al ejemplo

La serie de Fourier del ejemplo 1 converge a la extensión periódica de la función en

todo el eje x. En 0, +-2π, +- 4π,…………. Y en +- π,+- 3π, +- 5π,…….. , la serie
converge a los valores

𝑓(0+)+ 𝑓(0−) 𝜋 𝑓(𝜋−)+ 𝑓(−𝜋+)

= y = 0
2 2 2

Respectivamente. Los puntos solidos de la figura representan el valor π/2

Contreras Roque Adal Eduardo 201935255 09/04/21

Figura 5: Extensión de la función que se muestra en la figura 3

SUCESIÓN DE SUMAS PARCIALES

Es interesante ver cómo se aproxima la sucesión de sumas parciales {𝑆𝑁 (x)} de una
serie de Fourier a una función. Por ejemplo,
las tres primeras sumas parciales de la ecuación son

𝜋 𝜋 2 𝜋 2 1
𝑆1 = , 𝑆2 = + 𝑐𝑜𝑠 𝑥 + 𝑠𝑒𝑛𝑥 , 𝑆3 = + 𝑐𝑜𝑠 𝑥 + 𝑠𝑒𝑛𝑥 + 𝑠𝑒𝑛 2𝑥,
4 4 𝜋 4 𝜋 2

En la figura hemos usado un SAC para trazar la grafica de las sumas parciales
𝑆3 (𝑥), 𝑆8 (𝑥), 𝑆15 (𝑥) de la ecuación en el intervalo (-π, π). La figura muestra la
extensión periódica usando 𝑆15 (𝑥) en (- 4π, 4 π)
Contreras Roque Adal Eduardo 201935255 09/04/21

Ejercicios

1.
Contreras Roque Adal Eduardo 201935255 09/04/21

2.
Contreras Roque Adal Eduardo 201935255 09/04/21

3.
Contreras Roque Adal Eduardo 201935255 09/04/21

4.
Contreras Roque Adal Eduardo 201935255 09/04/21
Contreras Roque Adal Eduardo 201935255 09/04/21

5.
Contreras Roque Adal Eduardo 201935255 09/04/21
Contreras Roque Adal Eduardo 201935255 09/04/21