DESARROLLO DE FUNCIONES DEFINIDAS EN MEDIO INTERVALO.

En los subtemas previos, las funciones estudiadas han estado definidas en un intervalo cuyo punto
medio es el origen, es decir, − L  x  L , en lo que se ha llamado un periodo T . Debe considerarse
que existen casos en los que interesa representar, a través de una serie trigonométrica, alguna
función que sólo esté definida en un medio intervalo o en un semiperiodo, esto es 0  x  L . Se
puede lograr esto, definiendo en el medio intervalo − L  x  0 , una función “arbitraria”. Esta
última función estará determinada por la serie trigonométrica que nos interese obtener: Serie
trigonométrica de Fourier, Serie de senos de Fourier o Serie de cosenos de Fourier.

El proceso a seguir, considerando los tres casos mencionados, se describe a continuación:

Si y = f ( x ) está definida en 0  x  L :

a) Reflejar la gráfica de la función respecto al eje de las ordenadas, para − L  x  0 , de esta forma
la función es par en − L  x  L .

b) Reflejar la gráfica de la función respecto al origen, para − L  x  0 , de esta forma la función

es impar en − L  x  L .

c) Defina la función f en − L  x  0 , mediante f ( x ) = f ( x + L ) . De esta forma se tiene una

función que no es par ni impar en 0  x  L

Para ilustrar los tres casos mencionados, se empleará la siguiente función.

Sea la función f ( x ) = x , definida en el intervalo 0  x  2

Su gráfica respectiva es

CASO a) Si se refleja respecto al eje de

las ordenadas, se tiene una FUNCIÓN
PAR en −2  x  2
Esta nueva función, a la que podemos llamar función extendida f e ( x ) ,está definida por la siguiente
regla de correspondencia: f e ( x ) = x en −2  x  2 , la cual se puede expresar como:

− x −2  x  0
fe ( x ) = 
 x 0 x2

CASO b) Si se refleja la función respecto al

origen, se tiene una FUNCIÓN IMPAR en
−2  x  2

Esta nueva función, a la que podemos llamar función extendida f e ( x ) ,está definida por la siguiente
regla de correspondencia: fe ( x ) = f ( x ) = x en −2  x  2 , que es la función dada
originalmente.

CASO c) Se tiene una función tal que

f ( x ) = x + 2 en 0  x  2

En cada uno de los casos, se puede obtener la serie correspondiente: si es par se obtiene la de
Cosenos, si es impar se obtiene la serie de Senos, y si no es par ni impar, se obtiene la serie
Trigonométrica de Fourier.

Se realizará el ejemplo completo.

Ejemplo: Dada la función f ( x ) = x , definida en el intervalo 0  x  2 . Obtener

 a) El desarrollo en serie de cosenos de Fourier.
b) El desarrollo en serie de senos de Fourier.
c) El desarrollo en términos de la serie de Fourier ( es la serie trigonométrica)

Solución: De acuerdo a la explicación teórica, se realizará lo que corresponde a cada caso.

Tener presente las gráficas de la función, ya presentadas, en los diferentes casos

a) Para obtener la serie de cosenos, se requiere que la función sea par. Se ha descrito como se debe
graficar para que se cumpla la simetría respecto al eje de las ordenadas.

Se genera otra función a la que se llama función extendida en el intervalo −2  x  2 . Su gráfica

− x −2  x  0
define a una función par. fe ( x ) = 
 x 0 x2
Aquí el periodo es T = 2 L = 4 , por lo que el semiperiodo es L=2.

Lo que permite usar la función f e ( x ) para obtener el desarrollo de cosenos de la función f ( x ) ,

es porque en el intervalo 0  x  2 , las 2 funciones son iguales, como puede observarse en las
gráficas anteriores.

Recordando la serie de cosenos de Fourier es de la forma:


1 n x
f ( x) =
2
a0 + 
n =1
an cos
L
……… (A)

n x
 
L L
2 2
Por lo que sólo se calculan los coeficientes a0 = f ( x ) dx y an = f ( x ) cos dx
L 0 L 0 L

Se procede al cálculo, como se ha mostrado en ejemplos de la clase anterior.

2


2 2
x2
a0 = x dx = =2
2 0 2 0

n x

2
2
an = x cos dx , esta es una integral que se resuelve por partes o integración tabular.
2 0 2
Empleando integración tabular

Derivar Integrar
+ x n x
cos
2
- 1 2 n x
sen
n 2

+ 0 4 n x
− cos
n
2 2
2
 2
 2x  n x  4  n x  
an =  sen   + 2 2 cos  
 n  2  n  2 0

 4  n 2  4  n 2    4 
an =  sen   + 2 2 cos    − 0 + 2 2 cos ( 0 ) 
 n  2  n  2   n 

 4 n  4  4
an =  2 2 ( −1)  − 0 + 2 2 (1)  = 2 2 ( −1) − 1
n

 n   n  n  

Se sustituye en la expresión (A)


4  n x
f ( x) = 1+  2 (
−1) − 1 cos
n
SERIE DE COSENOS
n =1 n
2  2

b) Para obtener la serie de senos se requiere que la función sea impar. Se ha descrito como se debe
graficar para que se cumpla la simetría respecto al origen. Como en el caso anterior, se genera otra
función a la que se llama función extendida en el intervalo −2  x  2 . Su gráfica, ya mostrada nos
garantiza que es impar. f e ( x ) = x en −2  x  2 .

También aquí ocurre que en el intervalo 0  x  2 , las 2 funciones son iguales, como puede
observarse en las gráficas antes mostradas.

Recordando la serie de senos de Fourier es de la forma:


n x
f ( x) = 
n =1
bn sen
L
………(B)

n x

L
2
Entonces sólo se debe calcular el coeficiente bn = f ( x ) sen dx
L 0 L

Aquí el periodo es T = 2 L = 4 , por lo que el semiperiodo es L=2.

n x

2
2
bn = x sen dx
2 0 2
Nuevamente se aplica integración tabular (este coeficiente ya fue calculado en uno de los ejemplos
de las notas de la clase anterior), y se obtiene

4
bn = − ( −1)
n

n
Sustituyendo en la expresión (B)
 
4 n x
f ( x) =  − ( −1) sen
n
SERIE DE SENOS
n =1 n 2

c) Para obtener la serie trigonométrica de Fourier, se considera a la función original f ( x ) = x ,

definida en el intervalo 0  x  2 . Como se mostró en las notas teóricas previas, aquí el periodo es
T = 2 = 2 L , por lo que L =1 , pero debe entenderse que el periodo completo es desde x = 0
hasta x = 2 (ver la gráfica presentada en la explicación previa).

Recordando la serie trigonométrica de Fourier es de la forma:


1  n x n x 
f ( x) =
2
a0 +  n =1
 an cos
 L
+ bn sen
L 
 ……………… (C)

Donde los coeficientes se obtienen a partir de las expresiones

n x n x
  
L L L
1 1 1
a0 = f ( x ) dx an = f ( x ) cos dx bn = f ( x ) sen dx
L −L L −L L L −L L

Debe quedar claro que los extremos de integración, son los extremos del intervalo, por lo que a
pesar de que se tenga en los extremos de las integrales − L y L , se deberán escribir los valores
de los extremos del intervalo 0 y 2

Para el primero de ellos:

2

 x dx =
1 2
x2
a0 = =2
1 0 2 0

Siguiente coeficiente:

n x
  x cos n x dx
1 1
1
an = x cos dx =
1 0 1 0

Realizando integración tabular (el estudiante puede verificarlo)

2
 x 1   2 1   1 
an =  sen n x + 2 2 cos n x  =  sen n ( 2 ) + 2 2 cos n ( 2 )  −  0 + 2 2 (1) 
 n n  0  n n   n 

 1   1 
an =  2 2 (1)  −  0 + 2 2 (1)  = 0
 n   n 

Para el siguiente coeficiente:

 n x
  x sen n x dx
2 2
1
bn = x sen dx =
1 0 1 0

Realizando integración tabular (el estudiante puede verificarlo)

2
 x 1   2 1 
bn =  − cos n x + 2 2 sen n x  =  − cos 2n + 2 2 sen 2n  − ( 0 )
 n n  0  n n 

 2  2
bn =  − (1) + 0 = −
 n  n

Sustituyendo en la expresión (C)


 2 
f ( x ) = 1+ 
n =1
−  sen n x SERIE TRIGONOMÉTRICA DE FOURIER
 n 
DE ESTA FORMA, PARA FUNCIONES DEFINIDAS EN MEDIO INTERVALO, ES POSIBLE OBTENER
CUALQUIERA DE LAS TRES SERIES DE FOURIER, O BIEN, SI SE SOLICITA, SE PUEDEN LAS TRES SERIES
DE FOURIER

Enseguida se presenta otro ejemplo, el cual queda a criterio del alumno resolverlo, para reafirmar
los conceptos aquí presentados. Se indica la solución a la cual debe llegarse.

Ejemplo: Dada la función f ( x ) = x 2 , definida en el intervalo 0  x   . Obtener la serie

trigonométrica de Fourier.

Solución:

4 2  4 4 
f ( x) =
3
 + 
n =1
 2 cos nx −
n n
sen nx 
