APROXIMACIÓN EN PROMEDIO DE UNA FUNCIÓN DADA, CON AYUDA

DE UN POLINOMIO TRIGONOMÉTRICO.
Supongamos que en cierto segmento [a, b] está dada una función monótona por trozos
f(x). Mostremos que podemos representar esta función f(x) en los puntos de su
continuidad por una suma de la serie de Fourier.

Para eso examinemos una función arbitraria periódica monótona por trozos f1 (x) de
periodo 2μ ≥ |b − a|, que coincide con la función f(x) en el segmento [a, b]. (Hemos
completado la definición de la función f(x))

Desarrollemos la función f1 (x) en la serie de Fourier. La suma de esta serie en todos los
puntos del segmento [a, b] (excepto los de la discontinuidad) coincide con la función f(x),
lo que significa que hemos desarrollado f(x) en la serie de Fourier en el segmento [a, b].

Examinemos ahora el siguiente caso importante. Sea f(x) una función dada en el
segmento [0, l]. Completando la definición de esta función de modo arbitrario en el
segmento [−l, 0] (conservando la monotonía por trozos), podemos desarrollar esta
función en la serie de Fourier. En particular, si completamos la definición de la función
dada de modo tal que para −l ≤ x < 0 sea f(x) = f(−x), obtenemos en definitiva una
función par (ilustración 3). (En este caso se dice que la función f(x) “es prolongada de
manera par”). Esta función se desarrolla en la serie de Fourier que contiene solamente
cosenos. De este modo la función f(x), dada en el segmento [0, l], la hemos desarrollado
en serie de cosenos.
Si continuamos la definición de la función f(x) para −l ≤ x < 0 de modo tal que

f(x) = −f(x), obtenemos una función impar que se desarrolla en serie de senos. La
función f(x) “es prolongada de manera impar”).

De este modo, si en el segmento [0, l] está dada cierta función monótona por trozos f(x),
podemos desarrollarla tanto en la serie de Fourier de cosenos, como en la serie de
Fourier de senos.

INTEGRAL DE DIRICHLET.

Sea f(x) una función continua a trozos en el intervalo [0, 2B] periódica y de periodo 2B
y que, además, en cada punto existen las derivadas por la derecha y por la izquierda de
f(x) entonces existe la serie de Fourier asociada a f(x) verificando que dicha serie
converge, en cada punto x, hacia

f ( x )  f ( x )
2
Nótese que la convergencia de la serie es hacia f(x) en los puntos donde esta función es
continua pues, en tal caso:

f ( x )  f ( x )
 f ( x)
2