Teorema de Dirichlet (series de Fourier)

El teorema de Dirichlet es el primer teorema de convergencia puntual de series de

Fourier, debido a Dirichlet, apareció en 1829 y se refiere a funciones monótonas a
trozos.

Sea f(x) una función definida para todo x, con periodo 2π. Entonces, bajo condiciones
muy generales, la serie de Fourier de f converge a f(x) para todo x. Describiremos un
conjunto de condiciones que asegura dicha convergencia, estas se ilustran en la figura
de abajo. Damos tambien algunas indicaciones acerca de por que debe esperarse la
convergencia. La funcion f es continua en cada intervalo de longitud 2π excepto en un
numero finito de discontinuidades de salto, donde el valor de f es el promedio de sus
lımites por la izquierda y por la derecha. Ademas, en cada intervalo de longitud 2π, la
funcion f tiene una derivada continua, excepto en los puntos de salto y en un n´umero
finito de esquinas. En los puntos de salto y en las esquinas hay un valor l´ımite para la
derivada por la derecha y por la izquierda (sugerida por las l´ıneas tangentes
dibujadas). La funci´on f que satisfaga estas condiciones se llama una funci´on
continua a trozos. As´ı,la serie de Fourier de una funci´on f(x) continua a trozos, de
periodo 2 π converge a f(x) para todo x.

Supongamos que f(x) es una función periódica, continua a trozos y acotada, que en un
periodo tiene un número finito de máximos y mínimos locales y un número finito de
discontinuidades, de período 2p. Sean

entonces la serie converge a

En donde

,y

Una función monótona y acotada en un intervalo [a, b] es integrable y tiene límites laterales
finitos en cada punto. Si estos límites no coinciden la función tendra una discontinuidad con un
salto finito. La suma de los saltos no puede ser mayor que la diferencia de los valores de la
funcion en los extremos del intervalo, de modo que el conjunto de discontinuidades con salto
mayor que 1/n es finito y, por tanto, el conjunto de discontinuidades es a lo mas numerable.
Las mismas propiedades seran ciertas para una funcion monotona a trozos, es decir, aquella
que es monotona

Teorema 2.5. Sea f una funcion monotona a trozos y acotada en [−π, π]. Entonces, SN f(x)
converge a [f(x+) + f(x−)]/2. En particular, converge a f(x) si la funcion es continua en x.

Hay que entender que la funcion se ha extendido por periodicidad cuando el punto x es uno de
los extremos del intervalo. Ası, f(π+) = f((−π)+) y f((−π)−) = f(π−). Utilizaremos en la prueba los
dos lemas siguientes.

Lema 2.6. Sea g no decreciente y no negativa en [a, b] y h continua con un numero finito de
cambios de signo en [a, b]. Existe c ∈ (a, b) tal que

Este teorema es debido a Bonnet (1850), quien lo propuso buscando una simplificacion de la
prueba de Dirichlet; damos una prueba para presentar completa la demostracion del teorema
2.5. Quiza es mas conocido en la forma de Weierstrass que viene en el apendice B, apartado
B.1.3 (segundo teorema del valor medio).

Demostracion. Descomponemos (a, b) en los intervalos (a0, a1), (a1, a2), . . . , (ak−1, ak) en los
que h tiene signo constante (a0 = a, ak = b). Entonces,

donde g(aj−1+) ≤ µj ≤ g(aj−). Escribiremos H(x) = R b x h(t) dt, de modo que

(Hemos añadido g(b)H(b) que es cero.) Los coeficientes que multiplican a valores de la funcion
H en la anterior expresion son todos no negativos por ser g no decreciente, de modo que se
puede escribir como el producto de la suma de los coeficientes (que es g(b)) por un valor
comprendido entre el maximo y el mınimo de H. Por la continuidad de H, este valor sera H(c)
para algun c ∈ (a, b).

Lema 2.7. Existe una constante M (independiente de N) tal que

para todo 0 ≤ η < δ ≤ π.

Demostracion. Sumando y restando t −1 sin(N + 1/2)t en el integrando tenemos

La primera integral del segundo miembro se acota por la integral en (0, π) y como el
integrando es una funci´on continua, la integral es finita. Un cambio de variable en la ´ultima
integral muestra que basta probar que

esta acotada independientemente de A y B con 0 ≤ A < B < ∞. Si B ≤ 1, basta observar que sin t
≤ t y la integral se acota por 1. Si A ≥ 1, integrando por partes,

Finalmente, si A < 1 < B, se acotan las integrales en (A, 1) y en (1, B) como las anteriores.

Prueba del teorema 2.5. Tenemos que probar que

lo que teniendo en cuenta las propiedades del n´ucleo de Dirichlet se puede escribir

Es suficiente probar que

para g monotona a trozos en (0, π) y tal que g(0+) = 0. Aplicando (2.5) a f(x + t) − f(x+) y f(x − t)
− f(x−) queda probado el teorema.

Podemos suponer que g es creciente en un intervalo a la derecha de 0 (si es decreciente,

cambiamos de signo a g). Dado ² > 0, escogemos δ > 0 tal que g es creciente en (0, δ) y g(δ) <
²/2M (donde M es la constante del lema 2.7), lo que es posible porque g(0+) = 0. Aplicando
sucesivamente los lemas 2.6 y 2.7 tenemos

Razonando ahora como en el principio de localizacion, basta escoger N suficientemente grande

para que la integral entre δ y π sea menor que ²/2. El enunciado original de Dirichlet de 1829
pedıa a la funcion que fuese continua a trozos, aunque solo por razones de integrabilidad de la
funcion, ya que en su prueba no era necesario. La monotonıa a trozos la expresaba diciendo
que la funcion debıa tener un numero finito de maximos y mınimos. Posteriormente, en 1837,
extendi´o el resultado permitiendo que la funcion tuviese un numero finito de
discontinuidades infinitas siempre que fuera absolutamente integrable. El resultado de
convergencia se obtiene en aquellos puntos en los que los lımites laterales existen y son
finitos. La prueba que hemos dado sigue valiendo ya que los puntos de discontinuidad solo
intervienen cuando usamos el lema de Riemann-Lebesgue, que tambien permite esas
discontinuidades.

Ejemplo

Aplicar el teorema

𝑇/2
∫−𝑇/2/𝑓(𝑥)/ 𝑑𝑥<∞

Para determinar la serie de Fourier de a función en el intervalo encuentre la serie de

Fourier respectiva y la gráfica de f(x) para n=3 y n=20

f(x)=

-2, -4≤x<-2

0, -2≤x<2

1 − 𝑥 2 , 2≤x≤4

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

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

1 𝐿 𝑛𝜋𝑥
𝑏𝑛 = ∫ 𝑓(𝑥) sin ( ) 𝑑𝑥
𝐿 −𝐿 𝐿

31
𝑎0 = −
6
5 𝑛𝜋 32 𝑛𝜋 16 𝑛𝜋 32
𝑎𝑛 = sin ( ) − 3
sin ( ) + 2
cos ( ) = − (−1)𝑛
𝑛𝜋 2 (𝑛𝜋) 2 (𝑛𝜋) 2 (𝑛𝜋)2
 32 𝑛𝜋 32 𝑛
16 𝑛𝜋 −1 𝑛𝜋 13
𝑏𝑛 = cos ( ) − (−1) + sin ( ) = cos ( ) + (−1)𝑛
(𝑛𝜋)3 2 (𝑛𝜋)3 (𝑛𝜋)2 2 (𝑛𝜋)2 2 𝑛𝜋

Ahora cualquier punto del dominio converge con la función:

 X=1 converge a 0
1
 X=2 2 (𝑓(𝑥 + ) + 𝑓(𝑥 − ))

1
2
(1 − 𝑥 2 + 0)

3
converge a − 2

 x=3 converge a -8