Víctor Daniel Rojas Cerna Matemática V

SERIES DE FOURIER Y TRANSFORMADA DE FOURIER

1
Víctor Daniel Rojas Cerna Matemática V

INTRODUCCION

Muchos fenómenos aplicados en las ciencias ingenieriles por naturaleza son periódicos, por
ejemplo el movimiento de los planetas alrededor del sol, las mareas en el océano, el
movimiento de un péndulo en un reloj, los voltajes y corrientes en redes eléctricas, entre otros.
Las series de Fourier y la Transformada de Laplace son dos de las herramientas matemáticas
mas utilizadas para resolver y comprender estos fenómenos. El tema central de la teoría de las
Series de Fourier es examinar y determinar las condiciones bajo las cuales una función
periódica puede ser descrita como una combinación lineal de las funciones elementales seno y
coseno. El uso de la Transformada de Laplace ayuda a simplificar el proceso para resolver
problemas con valores iniciales para ciertas ecuaciones diferenciales mucho más generales
que las que se resuelven por series de Fourier.

2
Víctor Daniel Rojas Cerna Matemática V

SERIES DE FOURIER

Se analizara la teoría de las series de Fourier, que trabajan con desarrollos en series
trigonométricas. Sin embargo primero revisáremos algunas propiedades de funciones,
particularmente importantes para el estudio de la continuidad por partes, la periocidad y la
simetría par e impar.
Se definió una función continua por partes en [a, b] como una función f que es continua en
cada punto [a, b], excepto posiblemente para un numero finito de puntos donde f tiene una
discontinuidad de salto. Tales funcione son integrables en cualquier intervalo finito donde sean
continuas por partes.
Recuerde también que una función es periódica con periodo T si f(x+T)=f(x) para todo x en el
dominio de f. el menor valor positivo de T se llama el periodo fundamental. Las funciones
trigonométrica sen x cos x son ejemplos de funciones periódicas, con periodo fundamental 2 π
y tan x es periódica con periodo fundamental π. Una función constante es una función
periódica con periodo arbitrario T. hay dos propiedades de simetría de funciones que serán
útiles en el estudio de las series de Fourier. Una función f que satisface f (-x)=f(x) para toda x
en el dominio de f tiene una grafica simétrica con respecto del eje (ver figura A). Decimos que
tal función es par .una función f que satisface f (-x)=f(x) para toda x en el dominio de f tiene
una grafica que es simétrica con respecto del origen (ver figura b). Se dice que es una función

impar. Las funciones 1, x 2 , x 4 ,... son ejemplos de funciones pares, mientras que las funciones
x, x 3 , x5 ... son ejemplos de funciones impares. Las funciones trigonométricas senx y tan x
son funciones impares y cos x es una función par.

Figura a Figura b

3
Víctor Daniel Rojas Cerna Matemática V

FUNCION PAR FUNCION IMPAR

a a a

∫
−a
f = A + A = 2∫ f
0
∫
−a
f = A− A = 0

Ejemplo 1. DETERMINAR SI LA FUNCION DADA ES PAR, IMPAR, O NINGUNA DE LAS

DOS.
1
a. f ( x) = 1 + X 2
b. g ( X ) = x − senx 3
c. h( x) = e x
Solución

f (− x ) = 1 + (− x ) = 1 + x 2 = f ( x ), entonces f (x) es una función par.

2
(a)Como

g (− x ) = (− x ) − sen(− x ) = − x + senx = − x 3 − senx  = − g ( x ), tenemos que

1 1 1
3 3
(b)Como
 
g ( x ) es una función impar.
(c)En este caso, h(− x ) = e − x = e x solo cuando x = 0 y e − x nunca es igual a − e x , entonces
h( x ) no es una función par ni impar.
El hecho de saber que una función es par o impar puede ser de utilidad al evaluar integrales
definidas.

PROPIEDADES DE FUNCIONES SIMETRICAS

Teorema 1. Si f es una función par continua por partes en [− a, a], entonces

(1)

Si f es una función impar continua por partes en [− a, a], entonces

∫ f (x )dx = 0
a
(2)
−a

Demostración. Si f es una función par, entonces f (− x ) = f ( x ). Por lo tanto,

∫ f (x )dx = ∫ f (x )dx + ∫ f (x )dx = −∫ f (u )du + ∫ f (x )dx =2∫ f (x )dx , donde se usa el

a 0 a 0 a a

−a −a 0 a 0 0

cambio el cambio de variable u=-x. Esto se ilustra en la figura (a). La formula (2) se puede
demostrar con un segmento similar y se ilustra en la figura (b).
El siguiente ejemplo trata de ciertas integrales cruciales en las series de Fourier.

Ejemplo 2. Evaluar las siguientes integrales cuando m y n son enteros positivos:

T mπx nπx
(a) ∫−T
sen
T
cos
T
dx

4
Víctor Daniel Rojas Cerna Matemática V

T mπx nπx
(b) ∫ −T
sen
T
sen
T
dx

T mπx nπx
(c) ∫
−T
cos
T
cos
T
dx

Solución
mπ (− x) nπ (− x ) mπx nπx
(a) Como sen cos = − sen cos , el integrando de la parte (a)
T T T T
es una función impar. Así, por el teorema 1,
T mπx nπx
(3) ∫−T
sen
T
cos
T
dx = 0

(b)Se usa el hecho de que el integrando es par y la identidad trigonometrica

2senAsenB=cos (A-B)-cos(A+B), se ve que para m ≠ n,

mπx nπx T
dx = ∫ cos
(m − n )πx − cos (m + n )πx dx
T mπx nπx T sen sen 
∫−T sen T sen T dx = 2∫0 T T 0
 T T 


sen
(m − n )πx sen (m + n )πx  T

T  T T 
=  −  =0
π m−n m+n 
  0
Cuando m=n, la integral en (b) se escribe

nπx  nπx  2nπx 

2
T  T T
∫−T  T 
 sen  dx = 2 ∫0  T 
 sen  dx = ∫0 1 − cos T dx
2nπx 
T
 T
= x − sen =T
 2nπ T  0
Por lo tanto,
mπx nπx
(4) ∫
T

−T
sen
T
sen
T
dx = {
0,m ≠ n
T ,m =n

El integrando de la parte (c) también es par y puede calcularse usando una identidad
trigonometrica similar.
mπx nπx
(5) ∫
T

−T
cos
T
cos
T
dx = {
0,m ≠ n
T ,m= n

Las ecuaciones (3) y (5) expresan una condición de ortogonalidad satisfecha por el

conjunto de funciones trigonometricas (cos x, senx, cos 2 x, sen2 x,....) , donde T = π .

Es fácil verificar que si cada una de las funciones f 1 ........... f n es periódica con periodo T,
entonces ocurre lo mismo con cualquier combinación lineal
c1 f1 ( x ) + ....... + c n f n ( x )

5
Víctor Daniel Rojas Cerna Matemática V

Por ejemplo, la suma 7 + 3 cos πx − 8senπx + 4 cos 2πx − 6 sen 2πx tiene periodo 2, pues
cada término tiene periodo 2. Además si la serie infinita

a0 ∞  nπx nπx 
+ ∑  a n cos + bn sen 
2 n=1  T T 
Que consta de funciones con periodo 2T, converge para toda x, entonces la función a la
cual converge será periódica con periodo 2T.
Así como a cada función que tiene derivadas de todos los ordenes en un punto fijo se le
puede asociar una serie de Taylor, se puede identificar una serie trigonometrica particular
con una función continua por partes, Para ilustrar esto, se supone que f (x) tiene el
desarrollo en serie

a0 ∞  nπx nπx 
(6) f ( x) = + ∑ a n cos + bn sen ,
2 n =1  T T 
Donde an y bn son constantes.
Para determinar los coeficientes a0, a1.b1, a2,….., se procede como sigue. Se integra
f (x) de –T a T, suponiendo que se puede integrar término a término:
a0 ∞
nπx ∞
nπx
f ( x )dx = ∫
T T
dx + ∑ a n ∫ cos
T
dx + ∑ bn ∫ sen
T
∫ −T −T 2 n =1
−T T n =1
−T T
dx.

Como (
sen nπx
T
) es una función impar ∫ T

−T
(
sen nπx
T
)dx = 0 , además, para n=1, 2,3…
es fácil verificar que ∫
T

−T
(
cos nπx
T
)dx = 0 , por lo tanto ∫ T

−T
f ( x )dx = ∫
−T
T a0
2
dx = a 0T y

∫ f (x )dx.
1 T
entonces a0 =
T −T

a0
Observe que es el valor promedio de f en un periodo 2T. A continuación para
2
determinar el coeficiente de a m cuandom ≥ 1 , se multiplica por (6) por cos mπx ( T
) y se
integra:
(7)

mπx a T mπx ∞
nπx mπx ∞
nπx mπx
f (x) cos dx + ∑an ∫ cos dx + ∑bn ∫ sen
T T T
∫−T T
dx = 0 ∫ cos
2 −T T n=1
−T T
cos
T n=1
−T T
cos
T
dx

Las condiciones de ortogonalidad (3) y (5) permiten analizar fácilmente las integrales del
lado derecho. Se ha observado que
T mπx
∫
−T
cos
T
dx = 0 m ≥ 1

Y por las formulas (3) y (5), se tiene

6
Víctor Daniel Rojas Cerna Matemática V

T Nπx mπx
∫ −T
sen
T
cos
T
dx = 0

mπx nπx
∫
T

−T
cos
T
cos
T
dx = {0,m≠n
T ,m=n

Por tanto, en (7) solo hay un término del lado derecho que sobrevive a la integración:
mπx
∫ f (x) cos T dx = a T
T
m
−T

Así se tiene una formula para el coeficiente am

mπx
f (x) cos
1 T
am = ∫
T −T T
dx

De manera análoga al multiplicar (6) sen mπx ( T

) e integrar se tiene
mπx
∫ f (x)sen T dx = b T
T
m
−T

De modo que la formula para bm es

mπx
f (x)sen
1 T
bm =
T ∫−T T
dx.

Por los cálculos anteriores se puede establecer la siguiente definición

SERIES DE FOURIER
DEFINICION 1. Sea f una función continua por partes en el intervalo [-T, T]. La serie de Fourier
de f la serie trigonométricas.

a0 ∞  nπ x nπ x 
8. f ( x) ∼ + ∑ an cos + bn sen 
2 n =1  T T 
1 T nπ x
9. an = ∫ f ( x ) cos dx, n = 0,1, 2,3.....
T − T T
1 T nπ x
10. bn = ∫ f ( x ) sen dx, n = 0,1, 2,3.....
T − T T

Las series 9y 10 se llaman formulas de euler. Usamos el símbolo ∼ en 8 para recordar que
esta serie esta asociada con f ( X ) pero podría no converger a tal f ( X ) .
Ejemplo 3. CALCULAR LA SERIE DE FOURIER DE

 0,  −π∠X ∠0, 
F(X ) =   
 X ,  0∠X ∠π 
Solución
En este caso, T= π . Usamos las formulas 9y 10 para tener

7
Víctor Daniel Rojas Cerna Matemática V

1 π 1 π
an =
π ∫π −
f ( x) cos nxdx =
π ∫ 0
x cos nxdx

1 πn 1
2 [
cos u + usenu ]0
πn
=
π n2 ∫0
u cos udu =
πn
1 πn 1
2 [
cos u + usenu ]0 ..
πn
=
π n2 ∫0
u cos udu =
πn

1 π 1 π x2 π π
π∫π π∫
a0 = f ( x)dx = xdx = =
− 0 2π 0
2
1 π 1 π
b0 =
π ∫π −
f ( x) sennxdx =
π ∫
0
xsennxdx

1 πn 1
2 [
senu + u cos u ]0
πn
=
π n2 ∫0
usenudu =
πn

− cos nπ (−1) n +1
= = n = 1, 2,3,.....
n n
POR TANTO

( −1)
n +1
 1
π ∞ 
2 (
11... f ( X ) ∼ + ∑   −1) − 1 cos nx +
n
sennx 
4 n =1  π n  n 
π 2 1 1
= − cos x +  COS 3 X + cos 5 x + ...
4 π 9 25
 1 1 
+  senx − sen 2 x + sen3 x + .......
 2 3 
La figura c muestra algunas sumas parciales de esta serie.

8
Víctor Daniel Rojas Cerna Matemática V

Ejemplo 4. CALCULAR LA SERIE DE FOURIER

 −1,  −π∠X ∠0, 

F(X ) =   .
 1,  0∠X ∠π 
SOLUCION
De nuevo, T= π .observe que fes una función impar .como el producto de una función impar y
una función par es impar, f(X) cosnx también es una función impar .así,
1 π

π∫π
a0 = f ( x) cos nxdx = 0, n = 1, 2,3,.....
−

Además, f(x) sennx es el producto de dos funciones impar y por tanto es una función par, de
modo que
1 π 2 π

π∫π
bn = f ( x) sennxdx = ∫ sennxdx
− π 0

2  − cos nx  π 2  1 (−1) n 
= = − , n = 1, 2,3,.....
π  n  0
π  n n 


=  0,4 n par – n impar así,
 nπ ,
2 ∞
1 − (−1) n 4 1 1 
12... f (X ) ∼ +∑ sennx =  senx + sen3x + sen5 x,.... 
π n=1  n π 3 5 
La figura d muestra algunas sumas parciales

9
Víctor Daniel Rojas Cerna Matemática V

En este ejemplo, la función impar f tiene una serie de Fourier que solo consta de funciones
seno. Es fácil ver que, en general, si f es cualquier función impar, entonces su serie de Fourier
consta únicamente de términos seno.

Ejemplo 5. CALCULAR LA SERIE DE FOURIER DE f ( x ) = x , − 1 < x < 1

Solución. En este caso, T=1. Como f es una función par, f(X) senn π x es una función impar.
Por consiguiente,
1
bn = ∫ f ( x)s ennπ xdx = 0, n = 1, 2,3,.....
−1

1 1
a0 = ∫ f ( x)dx = 2∫ xdx = x 2 =1
1
−1 0 0

1 1
a0 = ∫ f ( x) cos nπ xdx = 2∫ x cos nπ xdx
−1 0

2 πn 1
2 [
cos u + usenu ]0
πn
=
π n22 ∫
0
u cos udu =
π n
2

2
= ( cos nπ − 1)
π n22

2 
2 (
= −1) − 1 , n = 1, 2,3,.....
n

π n 2 
Por tanto

1 ∞  2  
+ ∑  2 2 ( −1) − 1 cos nπ x = 
n
13... f (X ) ∼
2 n =1  π n   
1 4  1 1 
= −  cos π x + cos 3π x + cos 5π x,....
2 π2 9 25 
La figura e muestra la sumas parciales

Observe que la función par f del ejemplo tiene una serie de Fourier que solo consta de
funciones coseno y de la nuncio constante 1=cos0 π x. en general, si f es función par,
entonces su serie de Fourier solo consta de funciones coseno (incluyendo cos0 π x).

10
Víctor Daniel Rojas Cerna Matemática V

DESARROLLOS ORTOGONALES

{ f n ( X )}n
∞
Las series de Fourier son ejemplos de desarrollos. Un conjunto de funciones =1
es un sistema ortogonal o simplemente ortogonal con respecto de la función de Ponderación
no negativa w( x) en el intervalo a, b si [ ]
∫ f (x) f (x)w(x)dx = 0 siempre que m ≠ n.
b
(14) m n
a

Como se ha visto el conjunto de funciones trigonometricas

(15) (1, cosx, senx, sen2x, cos2x,.....)

[ ]
Es ortogonal en −π , π , con respecto de la función de ponderación w( x) = 1, si se define la
norma de f como
1

f = ∫ f 2 (x)w(x)dx
b 2
(16)
 a 

Entonces se dice que un conjunto de funciones { f n (x)}∞n=1 , f n (x)nN=1 , es un sistema ortogonal de

w( x) si se cumple (14) y además f n = 1 para cada n. En forma equivalente, se dice que el
conjunto es un sistema ortonormal si

∫ f (x) f (x)w(x)dx = {
b
0m≠n
(17) m n 1,m=n
a

Siempre se puede obtener un sistema ortonormal a partir de un sistema ortogonal, dividiendo

cada función entre su norma. En particular como
π π
∫π cos 2 nxdx = ∫ sen 2 nxdx = π , n=1, 2,3……
− −π

Y
π
∫ π1dx = 2π
−

Entonces el sistema ortogonal (15) da lugar en −π , π , al sistema ortonormal [ ]

{(2π ) 1
2 ,π
−1
2
cos x, π
−1
2
senx, π
−1
2
cos 2 x, π
−1
2
}
sen 2 x,....... .

Si { f n (x)}∞n=1 es un sistema ortogonal con respecto de w( x)en a, b , se podría preguntar si se [ ]

puede desarrollar una función f ( x) en términos de estas funciones; es decir, se puede

expresar a f en la forma

(18) f ( x ) = c1 f 1 ( x ) + c 2 f 2 (x ) + ....... +
Para una elección adecuada de las constantes c1, c2….Tal desarrollo se llama desarrollo
ortogonal o serie de Fourier generalizada.
Para determinar las constantes en (18), se puede proceder como en la deducción de las
formulas de Euler para los coeficientes de una serie de Fourier, utilizando ahora ortogonalidad

11
Víctor Daniel Rojas Cerna Matemática V

∫ f (x)w(x) e
b
del sistema. Suponiendo que la representación (18) es valida, se multiplica por m
a

integra para obtener

(19)
∞
f m (x) f n (x)w( x)dx = c1 ∫ f1 ( x) f m (x)w( x)dx+ c2 ∫ f 2 (x) f m (x)w( x)dx+...= ∑cn ∫ f n (x) f m ( x)w(x)dx.
b b b b
∫a a a
n=1
a

También se ha supuesto que se puede integrar termino a termino, como el sistema es

ortogonal con respecto de w( x) , cada integral del lado derecho de (19) se anula, excepto

cuando n=m. Al despejar cm se obtiene

∫ f (x ) f (x )w(x )dx = ∫ f (x ) f (x )w(x )dx ,

b b
m m
(20) cm = a a
n=1,2,…..
∫ f (x )w(x )dx
b 2
2 f
m m
a

La deducción de la formula para cm solo fue formal pues no se ha resuelto la cuestión de la

c f (x) converge uniformemente a

∞
convergencia del desarrollo en (18). Si la serie ∑ n=1 n n

f (x)en[a, b] , entonces se puede justificar cada paso y los coeficientes vienen dados por la
formula (20).
CONVERGENCIA DE LAS SERIES DE FOURIER Las figuras d y f proporcionan algunas
pistas. En el ejemplo 5 es posible utilizar un criterio de comparación o de comparación de
limites para demostrar que la serie es dominada absolutamente por una serie p de la forma
∞
∑ n=1
1 2 , la cual converge. Sin embargo esto es más fácil de hacer en el ejemplo 4, pues los
n
términos tienden a cero como 1 , las cosas pueden empeorar, pues existen series de Fourier
n
que divergen. Se establecen 2 teoremas para la convergencia de las series de Fourier y 2 que
tratan de la derivación e integración término a término.
Antes de continuar se necesita la siguiente notación. Sean:

( ) ( )
f x + = lim f (x + h) Y f x − = lim f ( x − h)
h→0+ h→0−

CONVERGENCIA PUNTUAL DE UNA SERIE DE FOURIER

Teorema 2. Si f y f ¨ son continuas en partes en [−T , T ] , entonces para cualquier x en (-T,

T).

nπx nπx  1
(21)
a0 ∞ 
+ ∑ a n cos
2 n =1  T
+ bn sen + −
[ ( ) ( )]
 = f x + f x , donde an y bn están dadas
T  2

por las formulas de Euler (9) y (10). Para x = +−T , la serie converge a
1
2
[( ) ( )]
f −T + + f T −

12
Víctor Daniel Rojas Cerna Matemática V

En otras palabras cuando f , f ′ son continuas por partes en [− T , T ] , la serie de Fourier

converge a f ( x ) si f es continua en x y converge al promedio de los limites por la izquierda y
por la derecha en puntos donde f es discontinua.
El lado izquierdo de (21) es periódico con periodo 2T. Esto significa que si se extiende f (x )
mas allá del intervalo (-T.T) a toda la recta real usando la periodicidad con periodo 2T,
entonces la ecuación (21) es valida para toda x en la extensión de f ( x ) con periodo 2T.

Ejemplo 6. ¿A que función converge la serie de Fourier de

f (x ) = {
−1−π < x < 0
1, 0 < x <π

SOLUCION

En el ejemplo 4 se vio que la serie de Fourier f ( x ) esta dada por (12) y en la figura e se
bosquejo las graficas de 2 de sus sumas parciales f ( x ), f ′( x ) son continuas por partes en
[− π , π ] . Además f es continua en x=0. Así por el teorema 2, la serie de Fourier en (12)
converge a la función g ( x ) con periodo 2πg ( x ) , donde g ( x ) = f ( x ) = −1 para
+
[
− π < x < 0, g ( x ) = f ( x ) = 1 para 0 < x < π , g (0 ) = f (0 ) + f (0 )
−
] = 0 y en −+ π se tiene
2

( ) [(
g −+ π = f − π + f π ) ( )] = (− 1 + 1)
+ −
= 0 . La grafica de g ( x ) aparece en la figura g.
2 2

Cuando f es una función con periodo 2T continua en (− ∞, ∞ ) y cuya derivada es continua

por partes, su serie de Fourier no solo converge en cada punto, sino que converge

13
Víctor Daniel Rojas Cerna Matemática V

uniformemente en (− ∞, ∞ ) . Esto significa que para cualquier tolerancia prescrita ε>0, la

grafica de la suma parcial

a0 N  nπx nπx 
sN = + ∑ a n cos + bn sen 
2 n =1  T T 
Estará, para N grande, en un corredor de ancho ε en tono de la grafica de f en (− ∞, ∞ ) . La
propiedad de convergencia uniforme de series de Fourier es de particular utilidad cuando hay
que verificar que una solución parcial es una solución genuina.

CONVERGENCIA UNIFORME DE UNA SERIE DE FOURIER

Teorema 3. Sea f una función continua en (− ∞, ∞ ) y periódica con periodo 2T. Si f ′ es

continua por partes en [− T , T ] y por tanto en cualquier intervalo. Es decir, para cada ε>0,
existe un entero N0 que depende de ε tal que

a N
 nπx nπx 
f ( x ) −  0 + ∑ a n cos + bn sen  < ε
 2 n =1  T T 

Para toda N ≥ N 0 y toda x ∈ (− ∞, ∞ ).

En el ejemplo 5 se obtuvo el desarrollo en serie de Fourier dado en (13) para

f ( x ) = x ,−1 < x < 1. Como g ( x ), la extensión periódica de f ( x ) la figura i es continua en

(− ∞, ∞ ) y f ′( x ) = {−1, −1< x < 0

1, 0< x 01

14
Víctor Daniel Rojas Cerna Matemática V

Es continua por partes en [− 1,1] , el desarrollo de la serie de Fourier (13) converge

uniformemente a x en [− 1,1] .

La figura i muestra la extensión periódica de f ( x ) = x , − 1 < x < 1

No siempre es posible derivar término a término una serie de Fourier. Por ejemplo, la serie de

fourier para f ( x) = x , −π < x < π es,

∞ n +1
sennx
f ( x) ∼ 2∑ (−1)
n =1 n
Que converge para toda x, mientras que su serie derivada
∞ n +1

2∑ (−1) cos nx
n =1

Diverge para toda x. el siguiente teorema proporciona condiciones suficientes para usar la
derivación termino a termino.
DERIVACION DE SERIE DE FOURIER

Teorema 4 sea f ( X ) continua en (- ∞ , ∞ ), periódica con periodo 2T. Suponga que

f , ( X ) y f ,, ( X ) son continuas por partes en [ −T − T ] . Entonces la serie de Fourier de

f , ( X ) se puede obtener a partir de la serie de Fourier para f ( X ) derivando termino a

termino. En particular, si

a0 ∞  nπ x nπ x 
f (X ) ∼ + ∑ an cos + bn sen ,
2 n =1  T T 
∞
πn  nπ x nπ x 
f ,(X ) ∼ ∑ − an c = sen + bn cos 
n =1 T  T T 

Observe que el teorema 4 nos se aplica al ejemplo f ( X ) y su desarrollo en series de Fourier

e la serie 22, pues la extensión con periodo 2 π de f ( X ) no es continua en (- ∞ , ∞ ).

15
Víctor Daniel Rojas Cerna Matemática V

La integración termino a termino de una serie de Fourier es validan bajo condiciones mucho
mas débiles.

INTERGRACION DE SERIES DE FOURIER

Teorema 5. Sea f ( X ) continua por partes en [ −T − T ] , con serie de Fourier

a0 ∞  nπ x nπ x 
f (X ) ∼ + ∑ an cos + bn sen .
2 n =1  T T 
Entonces para cualquier x en [ −T − T ] , tenemos
∞
 X nπ x nπ x
)  .
a0
dt + ∑  ∫ ( an cos
X X
∫−T
f (t ) = ∫
−T 2 n =1 
−T T
+ bn sen
T 

SERIES DE SENOS Y COSENOS DE FOURIER

Un problema que aparece de manera típica al usar separación de variable para resolver una
ecuación diferencial es el problema de representar una función definida en algún intervalo
finito mediante una serie trigonométrica que conste solo de funciones seno o solo de
funciones coseno. La ecuación
∞
f ( X ) = ∑ cn sen(nπ x ) Necesitamos expresar los valores iníciales
n =1
L

u ( X , 0) = F ( x), 0 < x < L , de los valores iniciales y en la frontera asociado al problema de

flujo de calor como una serie trigonométrica.
Recordemos que la serie de Fourier para una función impar definida en [-L, L] consta solo de
términos seno, pero lo que podríamos tratar de obtener de la serie extendiendo la función
F ( x), 0 < x < L , al intervalo [-L, L] de modo que la función extendida sea impar, logramos
esto definiendo la función

 f ( x ) o < x < L,
f0 ( X ) = 
 − f ( − X ) − L < X < o.
Y extendiendo f 0 ( X ) para toda x usando la periosidad con periodo 2L. Como f 0 ( X ) es
una función impar, tiene una serie de Fourier que consta de solo términos seno. Además
f 0 ( X ) es una extensión de f ( x) , pues f 0 ( X ) = f ( x) en (0, L). Esta extensión se
llama la extensión impar con periodo 2L de f ( x) . El desarrollo en serie de Fourier
resultante se llama un desarrollo de de medio rango para , pues representa a la función
f ( x) en (0, L) , en la mitad del intervalo [-L, L] donde representa a f 0 ( X ) .
De manera similar, podemos definir la extensión par con periodo 2L de f ( x) como la función
 o < x < L,
f ( x ),

fe ( X ) = 
 f ( − X ), − L < X < o.
De modo que f e ( X + 2 L) = f e ( X ) .

16
Víctor Daniel Rojas Cerna Matemática V

Para ilustrar las diversas extensiones, consideremos la función f ( X ) = X , 0 < X < π . Sin
extendemos f ( x) al intervalo (−π , π ) usando un periodo π , entonces la extensión f esta
∼  x , o < x < π ,
dada por f (X ) = 
 X +π , −π < X < o.
∼ ∼ ∼
Con f ( X + 2π ) = f ( X ) . El calculo de la serie de Fourier para f ( X ) se vio que
π ∞ 1
f ( X ) ∼ − ∑ sen 2nx
∼
(2)
2 n =1 n
Que consta de función impar (los términos senos) y función par (el termino constante), pues la
∼
extensión con periodo π f (X ) no es par ni impar. La extensión impar con periodo 2π de
f ( x) es justamente f 0 ( X ) = X , −π < X < π , que tiene desarrollo en series de Fourier.
π 4 ∞
(1)
(3) fe ( X ) =
2
−
π
∑ (2n + 1) COS (2n + 1) x
n =1
2

∼
Las tres extensiones anteriores, la función con periodo π f (X ) , la función impar f0 ( X )
con periodo y la función par f e ( x) con periodo 2 π con extensiones naturales de f ( x) .
 x , o < x < π ,
Existen otras formas de extender a f ( x ) . Por ejemplo la función g ( X ) = 
 0, −π < X < o.
g ( X + 2π ) = g ( X )
Sin embargo, su serie de Fourier contiene término seno y coseno y por lo tanto no es tan útil
como las extensiones anteriores .
Graficas de extensiones. De f ( x) .
a. Periodo π

b. Impar con periodo 2π

c. Par con periodo 2π

d. Otra extensión con periodo 2π

a. c.

17
Víctor Daniel Rojas Cerna Matemática V

C.

D.

Los desarrollos en series de Fourier para f e ( X ) dados en (2) (3) representa

f0 ( X ) y
a f ( x) en el intervalo (0, π ) (en realidad, son iguales a f ( x) en (0, π ) . esto motiva
las siguientes funciones.
SERIE DE SENOS Y COSENOS DE FOURIER
DEFINICION 2. Sea f ( x ) continua por partes en el intervalo [0.T]. La serie de cosenos de
Fourier de en es f ( x) en [0.T].es

a0 ∞ nπ x
(4) + ∑ an cos π
2 n =1 T
Donde
2 T nπ x
(5) an = ∫
T O
F ( x) cos
T
dx n = 0,1, 2,...
La series de senos de Fourier. De f ( x) en [0.T]. Es
∞
nπ x
(6) ∑ b sen
n =1
n
T

18
Víctor Daniel Rojas Cerna Matemática V

DONDE
2 T nπ x
(7) bn =
T ∫O
F ( x) sen
T
dx n = 0,1, 2,...

La serie trigonométrica en (4) es justamente la serie d Fourier para f e ( x) , la extenson par

con periodo 2T de f ( x ) .y la de la (6) la serie de Fourier para f 0 ( x ) , la extensión impar
con periodo 2T de f ( x ) .estos son los desarrollos de medio rango para f ( x ) .
Ejemplo 7. calcule la serie de Fourier para
 x π
 o≤x≤ ,
f (X ) =  2
π
 < X < π.
 π − X 2
Usamos la formula (7) con
f0 ( X )
T =π Para obtener
(0, π )
2 π

π∫
bn = f ( X ) SENnxdx
0
π
2 2 π
π (π − X ) SENnxdx
π∫ π∫
= 2
xSENnxdx +
0
2
πn
2 π 2 nπ
=
π n2 ∫
0
2
uSENudu + 2∫π SENnxdx −
2 π n2 ∫ 2
π n uSENudu

2π 2π
2 2 nπ  2
= 2 [ SENu − u cos u ] n0 − cos π n − cos  − 2 [ SENu − u cos u ] n
πn π 2  πn
0


4 π n  0 n − par ,
sen =
πn 2
2  4(−1) ( n −1) 2
n − impar ,
 πn 2

Así que al hacer, tenemos que la serie de senos de Fourier para es

4 (−1) K∞
4 1 1 
(8) = ∑
π K =0 (2k + 1)
SEN (2k + 1) x =  senx − sen3x + sen5 x + ....
π 9 25 
es continua por partes en (0, π )
,
La función f ( x ) es continua y f ( x ) , de modo que
el teorema (2) acerca de la convergencia puntual de las series de Fourier implica que
4 1 1 1 
f (X ) =  senx − sen3 x + sen5 x − sen7 x + ....
π 9 25 49 
Para todo x en (0, π )

19