UNIVERSIDAD NACIONAL DE CAJAMARCA

FACULTAD DE INGENIERÍA
ESCUELA ACADÉMICO PROFESIONAL DE INGENIERÍA
CIVIL

Convergencia puntual. Nucleo de Dirichlet

Dada una serie trigonométrica, lo primero que a uno se le ocurre es analizar su

posible convergencia puntual; para ello, como sabemos, hay que considerar el
líımite de las sumas parciales. La figura muestra el comportamiento típico de
las sucesivas aproximaciones mediante sumas parciales de la serie de Fourier
para un pulso cuadrado (se representa la serie de Fourier truncada en el quinto
término):

El núucleo de Dirichlet es básicamente la función determinada por las sumas

parciales Sn , así que será la herramienta básica en nuestro estudio.
Supongamos entonces una función f(t) continua a trozos y periódica con
periodo 2π. Tendrá asociada una serie trigonométrica de Fourier.

en la cual

Así, se puede escribir

1
 UNIVERSIDAD NACIONAL DE CAJAMARCA
FACULTAD DE INGENIERÍA
ESCUELA ACADÉMICO PROFESIONAL DE INGENIERÍA
CIVIL

………(1)

Ahora, de la conocida identidad trigonométrica sin α cos β = 1/ 2 (sin(α − β) +

sin(α + β)), resulta que, para cualquier n ∈ N y cualquier θ ∈ R,

…(2)

Sustituyendo en (1) se obtiene una expresión analítica para la suma parcial k-

ésima de la serie trigométrica asociada a f(t):

…(3)

Nota 1. Del hecho de que Dk está definido en términos de la función seno,

resulta inmediato que es una función periódica y además (como se ve de su
expresión explícita (2)), de periodo 2π. Como consecuencia, de (3) se ve que
Sk(t + 2π) = Sk(t), es decir las sumas parciales de la serie de Fourier asociada
a f(t) también son periódicas con periodo 2π.

Ahora haciendo el cambio de variable y − t = s se obtiene:

2
 UNIVERSIDAD NACIONAL DE CAJAMARCA
FACULTAD DE INGENIERÍA
ESCUELA ACADÉMICO PROFESIONAL DE INGENIERÍA
CIVIL

…(4)

Como f y Dk son ambas periódicas con periodo 2π, también lo es esta última
integral (como función

de t), de modo que el intervalo de integración puede desplazarse de

sin que se altere la integral. Así se llega a la fórmula de Dirichlet para las
sumas parciales de una serie trigonomótrica:

…(5)

Lema 5.2 (Riemann-Lebesgue). Si f(t) es una función continua a trozos,

entonces

Demostración. Si hacemos el cambio de variable t = s + ωπ , resulta:

3
 UNIVERSIDAD NACIONAL DE CAJAMARCA
FACULTAD DE INGENIERÍA
ESCUELA ACADÉMICO PROFESIONAL DE INGENIERÍA
CIVIL

Sumando esta expresión para la integral I(ω) con la original

…(6)

Supongamos que f(s) es continua. Como [a,b] es compacto, existe una cota M
> 0 tal que |f(s)| ≤ M, para todo s ∈ [a, b]. De aquí:

y análogamente

Con esto, sustituyendo en (6):

4
 UNIVERSIDAD NACIONAL DE CAJAMARCA
FACULTAD DE INGENIERÍA
ESCUELA ACADÉMICO PROFESIONAL DE INGENIERÍA
CIVIL

Pero al ser f continua en [a, b], es uniformemente continua, por lo que dado un
ε > 0, existe un δ > 0 tal que si |s−u| < δ, es |f(s)−f(u)| < ε. Sea ω > 0
suficientemente grande como para que si ω > ω 0 se cumplan ambas
condiciones,

Entonces, si ω > ω0 resulta que, para cualquier ε > 0 dado previamente:

Ahora, si f(s) es continua a trozos, basta con repetir la prueba precedente en

cada subintervalo de [a,b] en el que f (s) es continua. La demostración para
cos ωs ds es idéntica.

Corolario 1. Sea f(t) continua a trozos. Entonces, si

Es

Demostración. Para cualquier δ > 0 se tiene que

5
 UNIVERSIDAD NACIONAL DE CAJAMARCA
FACULTAD DE INGENIERÍA
ESCUELA ACADÉMICO PROFESIONAL DE INGENIERÍA
CIVIL

Aplicando el lema, l ́ım|ω|→+∞ Fδ(ω) = 0, para todo δ > 0. Teniendo en cuenta

ahora que

y que los límites se pueden intercambiar por la continuidad del integrando, se

sigue el resultado.

Ya estamos en condiciones de probar el teorema de Dirichlet relativo a la

convergencia puntual de una serie trigonométrica.

Teorema 1 (Dirichlet). Sea f : [−π,π] → C una función tal que su derivada f ′(t)
existe y es continua salvo en un número finito de puntos. Supongamos además
que f está extendida periódicamente a todo R con periodo 2π. Entonces, para
todo t ∈ R la serie de Fourier asociada a f(t) converge puntualmente:

donde f(t±) = lımε→0+ f(t ± ε) son los límites laterales de f en t.

Demostración. Separamos la fórmula de Dirichlet para la suma parcial S k(t)

como

6
 UNIVERSIDAD NACIONAL DE CAJAMARCA
FACULTAD DE INGENIERÍA
ESCUELA ACADÉMICO PROFESIONAL DE INGENIERÍA
CIVIL

y las calculamos por separado:

En esta última expresión, como el integrando Dk(s) es par (esto es inmediato a

partir de (2) podemos poner

…(7)

Ahora observemos que la función de s dada por (f(s + t) − f(t −))/2 sin(s/2) es
continua a trozos; en efecto el único punto conflictivo es el s = 0, pero se tiene
que

que existe por hipótesis. Por otra parte, en los ejercicios se propone probar que

Teniendo presentes estos resultados y el lema de Riemann-Lebesgue,

calculamos el límite lımk→+∞ Ik(t) :

Un cálculo completamente análogo muestra que

7
 UNIVERSIDAD NACIONAL DE CAJAMARCA
FACULTAD DE INGENIERÍA
ESCUELA ACADÉMICO PROFESIONAL DE INGENIERÍA
CIVIL

de donde se sigue el enunciado.

Nota 2: En particular, la serie de Fourier de una función f(t) cuya derivada

existe y es continua salvo un conjunto de puntos finitos, converge al valor de la
función en cada uno de los puntos en los que esta es continua.

Ahora podemos aclarar el uso del símbolo ≃ entre f(t) y su desarrollo en serie
de Fourier. Podremos decir que f es igual a su serie de Fourier cuando f
satisfaga las condiciones de Dirichlet y además sea continua. Como una
aplicación curiosa, el teorema precedente permite calcular sumas de series.

EJEMPLO

Consideremos la función f (t) = |t| en ] − π, π], cuya serie de Fourier es:

En t = 0 la función es continua, luego su valor coincide con la suma de la serie,

y por lo tanto