Series de Fourier de cosenos y senos

Funciones pares e impares

Se recuerdan aquí las definiciones de función par e impar, y algunas propiedades de este
tipo de funciones.
Definición:

Una función es par si para los x pertenecientes al Dom(f), f(-x) = f(x)

Como consecuencia de la definición, la representación gráfica de una función par

resulta simétrica con respecto al eje y.

Definición:

Una función es impar si para los x pertenecientes al Dom(f), f(-x) = - f(x)

Como consecuencia de la definición, la representación gráfica de una función impar

resulta simétrica con respecto al origen de coordenadas.

Propiedades

 El producto de una función par y una función impar es impar.

 El producto de dos funciones pares es par.
 El producto de dos funciones impares es par.

 Si f es una función par, entonces

 Si f es una función impar, entonces

 ¿Cómo queda el desarrollo de Fourier de una función par?
 Si f es una función par en (-p, p), entonces en vista de las propiedades anteriores
los coeficientes de Fourier resultan:
 

Entonces, el desarrollo en serie de Fourier de una función f par en (-p, p)

resulta un desarrollo de sólo cosenos:

donde los coeficientes se calculan con las fórmulas:

 ¿Cómo queda el desarrollo de Fourier de una función impar?

 Si f es una función impar en (-p, p), entonces en vista de las propiedades
anteriores los coeficientes de Fourier resultan:
 

Entonces, el desarrollo en serie de Fourier de una función f impar en el

intervalo (-p, p) resulta un desarrollo de sólo senos:

donde los coeficientes se calculan con la fórmula:

Desarrollo en serie de cosenos

Si f es una función definida en el intervalo [0, p], y se busca obtener un desarrollo en

serie de Fourier de sólo cosenos que la represente, se debe hacer una extensión par de la
función al intervalo simétrico [-p, p], y realizar el desarrollo de esta nueva función en el
intervalo [-p, p]. Para ello, se define entonces g(x) como:

Verifiquemos que g es una función par:

 si 0 < x < p, entonces -p < -x < 0, por lo tanto g(-x) = f(-(-x)) = f(x) = g(x)
 si -p < x < 0, entonces 0 < -x < p, resultando g(-x) = f(-x) y g(x) = f(-x), siendo
entonces g(-x) = g(x).

Queda entonces demostrado que g es una función par.

Por lo tanto, si desarrollamos la función g(x) definida en [-p, p] en una serie de Fourier,
como es una función par resultará una serie de sólo cosenos. Los coeficientes a0 y
an resultan:
Desarrollo en serie de senos

Si f es una función definida en el intervalo [0, p], y se busca ahora obtener un desarrollo
en serie de Fourier de sólo cosenos que la represente, se debe hacer una extensión impar
de la función al intervalo simétrico [-p, p], y realizar el desarrollo de esta nueva función
en el intervalo [-p, p]. Para ello, se define entonces g(x) como:

Verifiquemos que g es una función impar:

 si 0 < x < p, entonces -p < -x < 0, por lo tanto g(-x) = -f(-(-x)) = - f(x) = -g(x)
 si -p < x < 0, entonces 0 < -x < p, resultando g(-x) = f(-x) = -g(x), siendo
entonces g(x) = -g(-x).

Queda entonces demostrado que g es una función impar.

Por lo tanto, si desarrollamos la función g(x) definida en [-p, p] en una serie de Fourier,
como es una función impar resultará una serie de sólo senos. Los coeficientes
bn resultan: