Universidad de Santiago de Chile

Facultad de Ciencia
Departamento de Matemtica y CC

Autores:

Miguel Martnez Concha

Carlos Silva Cornejo
Emilio Villalobos Marn

Part I

SERIES E INTEGRALES DE
FOURIER
En el presente captulo se estudiarn los conceptos bsicos , mtodos de clculo de los coecientes y condiciones de convergencia para representar funciones
mediante series e integrales de Fourier .

Introduccin

Las funciones peridicas se presentan frecuentemente en una gran variedad problemas de fsica e ingeniera, tales como propagacin de ondas en un medio, conduccin del calor a lo largo de una varilla , resonancia nuclear magntica ,en
consecuencia, abordar la solucin de tales problemas, requiere del estudio de la
serie de Fourier.
La serie de Fourier es la representacin de una funcin en trminos de una
serie trigonomtrica innita cuyas bases son las funciones seno y coseno. Algunas
de las ventajas de sta representacin sobre otras representaciones, tales como,
las series de Taylor, son:
a) primero, se puede representar funciones peridicas en trminos de las
bases seno y coseno que tienen diferentes frecuencias;
b) segundo, se puede representar funciones discontinuas en un punto o seccionalmente continuas en un nmero nito de puntos;
c) tercero, permite encontrar la respuesta de un sistema que es perturbado
por una funcin peridica, en trminos de una frecuencia fundamental y cada
una de las frecuencias armnicas.

Propiedades Generales

Para problemas con condiciones de frontera peridicas en el intervalo L x

L, nos preguntamos si es posible expresar una funcin como una combinacin

lineal de funciones seno y coseno de frecuencias cada vez mayores, como la

siguiente serie innita (conocida como serie de Fourier de f (x)):
1
X

f (x) = a0 +

n x
n x
+ bn sin
)
L
L

(an cos

n=1

(1:1:1)

Obviando la igualdad, vale preguntarse converge esta serie innita?,qu

condiciones debe cumplir f para que se d la convergencia?,cundo converge a
f (x)?
Estas preguntas no tienen una respuesta sencilla. Sin embargo, las series de
Fourier normalmente funcionan bastante bien.
Supongamos que f admite desarrollo en serie de Fourier, cmo se obtienen
los coecientes a0 , an y bn en trminos de f (x) ?. Para responder esta ltima
pregunta necesitaremos del siguiente lema.

2.1

Lema Elemental

En esta seccin se demuestra que las funciones fcosmx; sennxg ; 8 m; n 2 Z

constituyen una base ortogonal de la serie de Fourier en el intervalo [ L; L] :
i) Si m y n son nmeros enteros no negativos distintos, entonces:
ZL

ZL

m x
n x
cos
dx =
cos
L
L

sin

n x
m x
sin
dx = 0 (1:1:2)
L
L

ii) Para cualquier par de enteros no negativos m y n, entonces:

ZL

cos

m x
n x
sin
dx = 0 (1:1:3)
L
L

iii)Para cualquier entero positivo n, entonces:

ZL

cos

n x
L

ZL

sin2

n x
dx = L (1:1:4)
L

Demostracin:
Se prueba integrando directamente, usando la identidad trigonomtrica:
i)
cos cos

ZL

n x
m x
1
cos
cos
dx =
L
L
2

cos (

ZL

) + cos ( + )
2

cos

(n

m) x
L

1
dx+
2

ZL

cos

(n + m) x
L

dx

m) x
L

(n + m) x
sin
L

1
L
2 (n m)

(n

sin

1
L
+
2 (n + m)

=0
Adems, si

m=0

n 6= 0

es fcilmente vericable que la integral es

cero.
En forma similar se prueba que
RL

sin

n x
L

sin

m x
L

dx = 0

ii) En este caso usando la identidad trigonomtrica

sin cos

sin (

) + sin ( + )
2

reemplazamos el integrando
ZL

n x
m x
1
cos
sin
dx =
L
L
2

ZL

(n

m) x
L

1
L
2 (n m)

(n

sin

1
dx +
2

sin

(n + m) x
L

1
L
2 (n + m)

cos

m) x
L

(n + m) x
cos
L

L
L

L
L

=0
A estas frmulas integrales se les llama relaciones de ortogonalidad
y diremos que en tal caso el conjunto de las funciones:
cos

n x
m x
; sin
L
L

8n = 0; 1; 2; :::; y

8 m = 1; 2; :::

son bases ortogonales en [ L; L].

iii) La demostracin queda como ejercicio para el lector, se prueba
integrando directamente, usando las identidades:
cos2

1 + cos 2
;
2

sin 2 =

En sntesis, se puede puntualizar que:

3

cos 2
2

dx

1
L
1
L

RL

L
RL

cos

n x
L

cos

sin

n x
L

sin

donde
RL
1
L

RL

mn

cos

cos

m x
L
m x
L

0; si m6=n
1; si m=n

dx =

0;
1;

dx =

si m6=n
si m=n

m;n

m;n

se dene como el delta de Kroneker.

n x
L

n x
L

m x
L

sin

dx = 0

dx = 0

8m; n

8m; n
RL

sin

m x
L

dx = 0

8m; n

Finalmente, hemos obtenido una base ortonormalizada para representar funciones mediante una serie trigonomtrica.

La serie de Fourier de una funcin

Se debe distinguir entre f (x) y su serie de Fourier en el intervalo

Serie de Fourier de f (x)
a0 +

1
X

(an cos

n=1

L:

n x
n x
+ bn sin
)
L
L

La serie trigonomtrica puede incluso no converger y si converge, puede que

no lo haga a f (x). Partiendo del supuesto que la serie converge podramos
determinar los coecientes de Fourier a0 , an y bn : usando las relaciones de
ortogonalidad.
Sea f (x) denida en el intervalo L x L:
f (x) = a0 +

1
X

(an cos

n=1

n x
n x
+ bn sin
)
L
L

(2:0)

Integrando la identidad (1:1:1) se tiene:

ZL

f (x)dx =

ZL

a0 dx +

1
X

n=1

(an

ZL

n x
dx + bn
cos
L

ZL

sin

n x
dx)
L

Como todas las integrales de la derecha valen cero, escepto la primera, se

RL
deduce de aqu el valor de a0 ;suponiendo que la
f (x)dx existe, as.
L

1
a0 =
2L

ZL

f (x)dx

Para el clculo de an multiplicamos la identidad (2:0) por cos

gramos la serie trmino a trmino, queda.
ZL

m x
dx = a0
f (x) cos
L

L
1
X

n=1

ZL

cos

m x
L

e inte-

m x
dx+
L

ZL

4an

=0+

cos

n x
m x
cos
dx + bn
L
L

ZL

1
X

(an L

nm ;

queda un slo trmino:

nm

sin

n x
m x
cos
dx5
L
L

+ 0)

n=1

Por lo tanto, al evaluar

ZL

f (x) cos

m x
dx = am L
L

as el valor de am es
am

1
=
L

ZL

f (x) cos

m x
dx:
L

8m

Cambiando el ndice libre m por n , en ambos lados de la ecuacin, queda

1
an =
L

ZL

f (x) cos

n x
dx:
L

8n

Ahora, multiplicando (2:0) por sin

por el lema se tiene
1
bn =
L

ZL

m x
L

e integrando de manera similar y

n x
dx 8 n
L

f (x) sin

Hemos determinado los coecientes a0 , an y bn ,claro que, bajo muchos

supuestos. Estos clculos sugieren la siguiente denicin.

3.1

Coecientes de Fourier

Denicin .-

i) Sea f una funcin Riemann integrable en [ L; L], las constantes

1
a0 =
2L

ZL

f (x)dx

an =

1
L

ZL

f (x) cos

1
L

ZL

f (x) sin

n x
dx
L

para n = 1; 2; 3:::

(2:1:1)

bn =

n x
dx;
L

para n = 1; 2; 3:::

se denominan los coecientes de Fourier de f en [ L; L].

ii) La serie:
f (x)

a0 +

1
X

n x
n x
+ bn sin
L
L

an cos

n=1

es la serie de Fourier de f en el intervalo [ L; L] , cuando los coecientes

estn dados por (2:1:1): Para no hablar de convergencia todava, escribimos el
signo" " que signica que a la derecha se tiene la serie de Fourier de f en
L x L.
Obsrvese que, la serie de Fourier de f , se puede interpretar como una generalizacin de una combinacin lineal en una base ortogonal seno, coseno, que
es aplicada a una funcin en lugar de un vector estndar en IRn .
El siguiente ejemplo ilustra como dada una funcin peridica f (x), de perodo
2 , se calculan los coecientes de Fourier y expresa la serie trigonomtrica de
Fourier correspondiente.
Ejemplo 1: Determinar la serie de Fourier de f (x) = x si x 2 [
Solucin:

La grca de la funcin es:

F ourier=M 3CS0R00:wmf

Los coecientes de Fourier de f en [

R
a0 = 21 xdx = 0
an =

bn =

x cos (nx) dx =

x sin(nx)dx =

1
n2

1
n2

; ] ;son:

cos(nx) +

sin(nx)

x
n

x
n

sin(nx)

cos(nx)

=0

; ]

) bn = n2 ( 1)n+1 8 n 1
Por tanto, la serie de Fourier de f en[
1
X
2

n
n=1

3.2

; ] es:

( 1)n+1 sin(nx)

Atributos de la funcin

Lo anteriormente expuesto es vlido para cierto tipo de funciones, nos referimos

a las funciones f (x) que son seccionalmente continuas.
Denicin 1.- Sea f (x) denida en [a; b]. Entonces f es seccionalmente
continua en [a; b] si:
a) f es continua en [a; b] ,excepto quizs en un nmero nito de puntos.
b) Ambos limx!a+ f (x) y limx!b f (x) existen y son nitos.
c) f no es continua en x0 , x0 2 (a; b) y los lmites limx!x+ f (x) y limx!x f (x)
0
0
existen y son nitos .
Denicin 2.- La funcin f (x) es seccionalmente suave en [a; b] si f y
f 0 son seccionalmente continuas en [a; b] :

Ejemplo 2:
Muestre que f (x) = x 3 no es seccionalmente suave en
ningn intervalo cerrado que contenga en su interior al cero.
Solucin: En efecto, se tiene que f 0 (x) =
lim 1 x
x!0 3

2
3

1
3x

2
3

=)

limf 0 (x) =

x!0

= 1 , no existe. Por tanto, la funcin no es seccionalmente suave.

Observacin:
Las funciones seno y coseno, que aparecen como bases en la serie de Fourier,
2L
tienen diferentes perodos los que son iguales a
para n 1:Por otra parte,
n
un mltiplo entero del perodo de una funcin perodica es tambin un perodo
, podemos armar entonces, que 2L es el perodo comn para las funciones seno
y coseno del desarrollo de la serie. Por lo anterior, la serie de Fourier no slo
representa a f en el intervalo L x L , sino que, proporciona una extensin
perodica de f en todos los reales.
Ejemplo 3: Encontrar el perodo de la funcin f (x) = 100 cos2 x:
F ourier=M 3CS0R01:wmf

Solucin: Utilizando la identidad trigonomtrica cos2 = 12 (1 + cos 2 ) se

tiene
1
f (x) = 100 cos2 x = 100 (1 + cos 2x)
2
luego queda
f (x) = 50 + 50 cos 2x
como el perodo de cos 2x es
y una funcin constante tiene cualquier
perodo, entonces f (x) es de perodo :

3.3

Convergencia de las series de Fourier

A continuacin vamos a establecer las condiciones de suciencia que debe cumplir

una funcin f (x) para que pueda ser representada por medio de una serie de
Fourier.
Teorema
Si f (x) es seccionalmente suave en el intervalo [ L; L], entonces la serie de
Fourier de f (x) converge.
i) A la extensin perodica de f (x); en los puntos que la extensin perodica
sea continua.
ii) Al promedio de los lmites laterales 12 (f (x+ )+f (x )) en los puntos donde
la extensin perodica tenga una discontinuidad de salto.
En el siguiente ejemplo, se evala si la serie de Fourier resultante de una
funcin f (x) en un punto x0 dado converge o no en ese punto.
0 si
3 x 0
; construir la serie de
x si 0 x 3
Fourier y analizar la convergencia en todo IR
Ejemplo 4:

Sea f (x) =

Solucin: Representemos la grca de la funcin

F ourier=M 3CS0R02:wmf

Los coecientes de la serie de Fourier de f (x);son:

R3
R3
a0 = 16 f (x)dx = 16 xdx = 34
3

an =

1
3

R3

1
3

f (x) cos

3
R3
0

x cos

n x
3

n x
3

dx

dx =

1
3

9 cos (n 3 x)
n2 2

3x sin (n 3 x)
n

3
0

=
bn =

1
3

3
n2
R3

(cos(n )

1)

f (x) sin n3 x dx
3
R3
1
n x
1
3 x sin
3 dx = 3
0
3
n cos(n )
n
3
n ( 1)

9 sin (n 3 x)
n2 2

3x cos (n 3 x)
n

=
=
Por consiguiente, la serie de Fourier la podemos escribir
1

3 X
3
+
4 n=1 n2

(( 1)n

n x
3

1) cos

n x
3
n
( 1) sin
n
3

Tenemos que f es continua en [ 3; 3], por lo tanto su extensin perodica

es seccionalmente continua en IR , con discontinuidad de salto en los puntos
x = 3 6n, n 2 Z
f (x) si x 6= 3
Por lo tanto, de acuerdo al teorema la serie converge a fE (x) =
3
si x = 3
2
n2Z
entonces
1
3
3 X 1
fE (x) = + 2
(( 1)n
4
n2
n=1

1) cos

n x
3

( 1)n sin

n x
3

los coecientes (( 1)n 1) son nulos, si n es nmero par e iguales a

n es nmero impar. Entonces
3
f (x) =
4

1
6 X
2

1
1)2

(2n
n=1

cos

(2n

1) x

1
3 X
2

n
n=1

2, si

n x
3

( 1)n sin

Al evaluar la convergencia en x0 = 3, punto de discontinuidad de la funcin,

se obtiene
3
3
=
2
4

1
6 X
2

n=1

1
(2n

( 1)2n
1)2

=)

1
X

n=1

1
(2n

1)2

Obsrvese que a partir de la convergencia de la serie de Fourier en un punto

se puede inferir la convergencia de la suma de trminos de la serie resultante.
Denicin Una suma parcial de la serie de Fourier es una suma de la
forma:
SN = a0 +

N
X

n x
n x
+ bn sin
L
L

an cos

n=1

donde N 2 IN [ f0g :
Observacin. Al truncar la serie innita se obtiene un polinomio de grado n.
9

6n
6n

Ejemplo 5 Sea f (x) = x + ; x 2 [ ; ] : Determine la serie de Fourier

y obtener la grca de sumas parciales S1 (x) ; S3 (x) ; S10 (x).
Solucin : La grca de la funcin es
F ourier=M 3CS0R03:wmf

Los coecientes de Fourier de f en [

h 2
i
R
a0 = 21 (x + )dx = 21 x2 + x
an =

(x + ) cos (nx) dx =

) an = 0
R
1
bn = 1 (x + ) sin(nx)dx =
) bn =

2
n(

1
n2

; ]
1
2

cos(nx) +

x
n

1
n2 sen(nx)

x
n

=
sin(nx)

cos s(nx)

1)n+1

As la serie de Fourier de f (x) es

1
X
( 1)n+1
sennx =
n
n=1

+2

+ 2 senx

sen2x sen3x
+
2
3

Para visualizar la convergencia de est serie grquemos algunas de sus

sumas parciales
SN (x) =

+2

N
X
( 1)n+1
sennx
n

k=1

Obtengamos S1 :
1
X
( 1)n+1
S1 (x) = + 2
sin(nx)
n
k=1

F ourier=M 3CS0S04:wmf

Obtengamos S3
3
X
( 1)n+1
S3 (x) = + 2
sin(nx)
n
k=1

F ourier=M 3CS0S05:wmf

Finalmente, obtengamos S10

10
X
( 1)n+1
sin(nx)
S10 (x) = + 2
n
k=1

F ourier=M 3CS0S06:wmf

10

A partir de este ejemplo, podemos inferir que para una serie de Fourier,
las grcas de las sumas parciales son curvas aproximadas de la grca de la
funcin perodica representada por la serie. Se puede visualizar adems, que
en la medida que es mayor el nmero de trminos de las sumas parciales estas
convergen de mejor forma a la grca de la funcin f .

3.4
3.4.1

Integral de funciones pares e impares.

Lema (de funciones pares e impares).

Sea f una funcin integrable en [ L; L] :

a) Si f una funcin par en [ L; L], entonces

RL

RL
f (x)dx = 2 f (x)dx:
0

b) Si f es funcin impar en [ L; L], entonces

RL

f (x)dx = 0:

Demostracin
a) f funcin par, entonces f ( x) = f (x) 8x 2 IR:Considerando que f
es par y el cambio de variable t = x se tiene
Z0

f (x)dx =

Z0

f ( x)dx =

ZL

Z0

ZL

f (t)dt =

ZL

f (x)dx

entonces
ZL

f (x)dx =

f (x)dx +

ZL
f (x)dx = 2 f (x)dx
0

b) f funcin impar, entonces f ( x) =

se tiene:
Z0

f (x)dx =

Z0

f ( x)dx =

Z0

f (x) 8x 2 IR:Usando este hecho

f (t)dt =

LZ

f (x)dx

entonces
ZL

f (x)dx =

Z0

f (x)dx +

ZL

f (x)dx =

ZL
0

f (x)dx

ZL

f (x)dx = 0

lo que demuestra el lema.

A continuacin, vamos a determinar los coecientes y la serie Fourier coseno
( o seno) segn corresponda, dada una funcin f par (o impar) de periodo 2L.

11

3.5

Teorema de las funciones pares y de las impares

Sea f una funcin integrable en [ L; L],

a) Si f es par, la serie de Fourier de f en [ L; L] es
1
X

a0 +

n x
L

an cos

n=1
1
L

con coecientes a0 =

RL

f (x)dx y an =

2
L

RL

f (x) cos

n x
L

dx;se denomina

serie de cosenos.
b) Si f es impar, la serie de Fourier de f en [ L; L] es
1
X

n x
L

bn sin

n=1

con coeciente bn =

RL
2

n x
L

f (x) sin

dx;se denomina serie de senos.

Demostracin: Se deja al lector, debe aplicar el Lema 1.3.1 en el clculo de

los coecientes de Fourier
Ejemplo 6: Calcule la serie de Fourier de f (x) = 1

jxj en

2:

Solucin: A partir de la grca de la funcin podemos inferir que la funcin es par.

F ourier=M 3CS0S08:wmf

Es decir f ( x) = 1 j xj = 1 jxj = f (x) 8x 2 IR, luego se tiene que f

es par.
Los coecientes del desarrollo de Fourier ,son:
h
i
R2
2 2
a0 = 12 (1 x)dx = 12 x x2
=0
0

an =

R2
2
2

an = 0

(1

x) cos

0
4 cos (n 2 x)
n2 2

n x
2

dx =

R2

cos

2x sin (n 2 x)
n

n x
2

dx

R2

x cos

n x
2

dx

; por consiguiente
0

si n es par
si
n es impar
2
As la serie de Fourier de f (x) = 1

an =

8
(2n 1)2

8
2

1
X

n=1

1
(2n

1)2

jxj es:
cos

(2n

1) x
2

En muchos problemas se tiene la posibilidad de trabajar con series de senos

o series de cosenos. Por ejemplo , al resolver ecuaciones diferenciales parciales
de segundo orden aplicando el mtodo de separacin de variables.
12

Desarrollos llamados de medio rango

Sea una funcin f seccionalmente continua que est denida slo en el semiintervalo [0; L], queremos obtener el desarrollo de f en serie de Fourier 8x 2
[0; L] . Una forma de hacer lo anterior es extender f al intervalo [ L; L] y por
supuesto , puede ser hecho de muchas maneras, sin embargo, dos extensiones
son las ms convenientes e importantes. Construir una extensin impar lo
que origina una serie de senos o construir un extensin par lo que determina
una serie de cosenos. Estas se denominan desarrollos de medio rango.

4.1

Extensin impar:

Supongamos que conocemos f (x) solamente para 0 x L, entonces podemos

extenderla como una funcin impar, obteniendo otra funcin denotada fi (x)
denida por:
f (x); 0 x L
fi (x) =
f ( x); L x 0
como se muestra en la gura adjunta.
F ourier=M 3CS0S09:wmf

Si f (x) es seccionalmente suave en 0

x
L; entonces fi (x) es tambin
seccionamente suave y se puede aplicar el teorema de convergencia de series de
Fourier.
La serie de Fourier de fi (x) es
f (x) =

1
X

bn sin

n=1

n x
,
L

Como estamos interesados solamente en lo que ocurre entre 0

En esa regin f (x) es idntica a fi (x) y la serie de Fourier es
f (x) =

1
X

bn sin

n=1

con cociente

2
bn =
L

ZL

n x
, 0
L

f (x) sin

L:

n x
dx
L

Ejemplo 7. Sea la funcin f (x) = x en el interior 0 x

desarrollo de medio rango considerando una extensin impar.

13

L: Obtener el

Solucin. Insertar grcaf (x) = x

x; 0 x L
;la grca
x; L x 0
de f muestra que la serie de Fourier de senos converge a f (x) en 0 x < L: Sin
embargo, en x = L hay una discontinuidad de salto , luego la serie converge a
cero aunque f (L) 6= 0 :demas
Consideremos la extensin impar de f, fi (x) =

2
bn =
L

ZL

n x
2
f (x) sin
dx =
L
L

ZL

x sin

n x
dx
L

2L
( 1)n+1
bn =
n
Por lo tanto, la serie resultante es:

x=

4.2

2L X ( 1)n+1
n x
sin
, 0
n
L
n=1

x<L

Extensin par

Supongamos ahora que conocemos f (x) solamente para 0 x L , entonces la

extendemos como funcin par, obteniendo otra funcin denotada fp (x) denida
por:
f (x); 0 x L
fp (x) =
f ( x); L x 0
como muestra la gura adjunta:
F ourier=M 3CS0S0A:wmf

Si f (x) es seccionalmente continua en 0 x L; entonces su extensin par

fp (x) lo ser tambin por lo que se puede aplicar el teorema de convergencia de
series de Fourier.
En el intervalo 0 x L; la funcin f (x) es idntica a su extensin par. La
serie que se obtiene se denomina serie de Fourier de Cosenos de f (x).
a0 +

1
X

an cos

n x
;
L

2
an =
L

n=1

con coecientes
1
a0 =
L

ZL

f (x)dx

ZL
0

14

f (x) cos

n x
dx
L

Ejemplo 8:
0

Construir la serie de Fourier de Cosenos de f (x) = x en

L:

Solucin: Insertar grca

Por las caractersticas de la extensin en lo que concierne a la continuidad
de la funcin tenemos:
x = a0 +

1
X

an cos

n=1

n x
;
L

ZL

1 x2 L
L
j0 =
L 2
2

1
a0 =
L

ZL

1
f (x)dx =
L

2
an =
L

ZL

2
n x
dx =
f (x) cos
L
L

xdx =

ZL

x cos

n x
dx
L

an =

si n par.
si n impar.

4L
n2 2

Finalmente, la serie de Fourier coseno de f (x) = x en 0

L
2

4L X
2

(2n
n=1

1
1)2

cos

(2n

L es:

1) x
L

Diferenciacion e Integracin de la series de

Fourier

5.1

Derivacin

Las series innitas, an las convergentes no siempre se pueden derivar trmino

a trmino. Un caso ilustrativo, es el de la funcin f (x) = x denida para
x
; cuya serie de Fourier es
1
X
2( 1)n+1
sin(nx)
n
n=1

que converge para

x=

< x < ; es decir

1
X
2( 1)n+1
sin(nx); x 2 ]
n
n=1

15

; [

Si diferenciamos, esta serie trmino a trmino tenemos:

1
X

2( 1)n+1 cos(nx)

n=1

la cual es una serie que no converge en ] ; [ , ya que si an = 2( 1)n+1 cos(nx)

para cada x 2]
; [; lim an no existe, como no ocurre que an ! 0 ,conn!1
1
P
n+1
cluimos que
2( 1)
cos(nx) no converge para cada x 2]
; [.
n=1

Por otro lado, f 0 (x) = 1 8x 2]

; [. Esto muestra en este caso que la
derivada trmino a trmino de la serie, no converge a la derivada de la funcin
que representa.
La dicultad se nos presenta cada vez que la serie de Fourier de f (x) tiene
una discontinuidad de salto, la derivacin trmino a trmino no est justicada
en estos casos. Sin embargo, podemos aqu considerar el siguiente teorema que
precisa las condiciones para permitir la derivacin trmino a trmino.
5.1.1

Teorema:

Sea f una funcin continua en [ L; L] con f ( L) = f (L); si f 0 es seccionalmente

suave en [ L; L] donde f 00 (x) existe se tiene.
f 0 (x) =

1
X
n

n=1

an sin

n x
n x
+ bn cos
L
L

Demostracin.
Se deja al lector, se sugiere escribir la serie de Fourier de f 0 (x); considerando
que esta serie converge a f 0 (x) siempre que f 00 (x) exista. Use integracin por
partes para relacionar los coecientes de f 0 (x) con los correspondientes de f (x):
Ejemplo 9.

Dada la funcin f (x) = x2 en

, verique si la

derivada de esta serie existe.

Solucin Insertar grca
Claramente se satisface las hiptesis de la proposicin anterior. La serie de
Fourier de la funcin f (x) en [ ; ] es:
(Ver Problema 2 en problemas resueltos)
1
n
X
( 1)
cos(nx)
n2
n=1

f (x) =

+4

Como f 0 (x) = 2x es continua, y existe f 00 (x) = 2 en todo el intervalo,

entonces para
<x<
1
n+1
X
( 1)
sin(nx)
n
n=1

f 0 (x) = 2x = 4

16

Note que este resultado concuerda con lo establecido en el ejemplo 1 del

inciso 2.1.

5.2

Integracin

La precaucion que se tiene para la derivacin trmino a trmino de la serie de

Fourier no se requiere para el caso de la integracin .
Teorema
Sea f una funcin seccionalmente suave en [ L; L] con serie de Fourier
f (x) = a0 +

1
X

an cos

n=1

n x
n x
+ bn sin
L
L

Entonces para cada x 2 [ L; L] :

Zx

f (t)dt = a0 (x + L) +

Demostracin.
Rx
Sea F (x) =
f (t)dt

n x
LX 1
an sin
n
L
n=1
a0 x

[ L; L] ; adems F ( L) =

bn cos

n x
L

( 1)n

8x 2 [ L; L] , as denida F es continua en

RL
f (t)dt

a0 ( L) = a0 L

y F (L) =

RL

f (t)dt

a0 L = 2a0 L a0 L = a0 L
Por lo cual F ( L) = F (L); asimismo F 0 (x) = f (x) a0 8x 2 [ L; L] donde
f es continua. Entonces podemos asegurar que F 0 es seccionalmente continua
en [ L; L] y por el teorema de convergencia tenemos que
F (x) = A0 +

1
X

n=1

donde para n

An cos

n x
n x
+ Bn sin
L
L

1:

17

(1)

1
An =
L

ZL

F (t) cos

n t
dt integrando por partes.
L

1
L
n t
= F (t)
sin
L
n
L
ZL

L
n

=0

(f (t)

L
n

ZL

F 0 (t) sin

n t
dt
L

n t
dt:
L

a0 ) sin

L
n

ZL

n t
L
f (t) sin
dt +
a0
L
n

An =

ZL

sin

n t
dt:
L

L
bn
n

donde bn es el coeciente correspondiente de la serie de Fourier de f en

[ L; L]:
De manera analoga se tiene que:
1
Bn =
L

ZL

F (t) sin

n t
L
an
dt =
L
n

donde an es tambin el correspondiente coeciente de la serie de Fourier de

f en [ L; L]:
Por lo tanto, reemplazando en (1)
1

LX 1
F (x) = A0 +
n
n=1

bn cos

n x
n x
+ an sin
L
L

; x 2 [ L; L]

para A0 tenemos:

F (L) = a0 L = A0 +

1
X

An cos(n ) =) A0 = a0 L

n=1

1
X

n=1

Finalmente
1

LX 1
A0 = a0 L +
bn cos(n )
n
n=1

ahora sustituyendo A0 se tiene

18

An cos(n )

F (x) = a0 L +

LX 1
LX 1
bn cos(n ) +
n
n
n=1
n=1

n x
n x
+ an sin
L
L

bn cos

y reemplazando en la igualdad inicial obtenemos lo que arma el teorema.

Zx

f (t)dt = a0 (x + L) +

5.3

LX 1
n x
an sin
n
L
n=1

bn cos

n x
L

( 1)n

Identidad de Parseval

Sea f una funcin seccionalmente continua en [ L; L] y tal que f 0 es tambin

seccionalmente continua en [ L; L].
Si
1
X
n x
n x
+ bn sin
an cos
f (x) = a0 +
L
L
n=1
es la serie de Fourier de f , entonces
1
L

ZL

[f (x)] dx = 2 (a0 ) +

1 h
X

n=1

(an ) + (bn )

que se conoce como identidad de Parseval

Prueba: La serie de Fourier de f converge a f (x) para cada x del intervalo

[ L; L]:
1
X
n x
n x
f (x) = a0 +
an cos
+ bn sin
L
L
n=1
Multiplicando por f (x) se tiene
f (x)2 = a0 f (x) +

1
X

n x
n x
+ bn f (x) sin
L
L

an f (x) cos

n=1

podemos integrar trmino a trmino.

"
1
RL
RL
RL
P
2
[f (x)] dx = a0 f (x)dx+
an f (x) cos
L

n=1

n x
L

dx + bn

RL

f (x) sin

n x
L

de aqu recordando lo que son los coecientes de una serie de Fourier se tiene.
ZL

[f (x)] dx = 2 (a0 ) L + L

1
X

n=1

19

[an an + bn bn ] =)

dx

1
L

ZL

[f (x)] dx = 2 (a0 ) +

1 h
X

(an ) + (bn )

n=1

Obsrvese que la identidad de Parseval, permite inferir la suma de una

serie innita, dada una funcin f que tiene una representacion de Fourier para
cada x del intervalo [ L; L]:
Sea f (x) =

Ejemplo10.
Pruebe que

x
0

<x<
x=
;

; perodica de perodo 2 .

2
1 1
P
=
.
2
6
n=1 n

Solucin: Insertar grca

Como f (x) en es una funcin impar se tiene que : an = 0 para n = 0; 1; 2; :::y

bn =

x sin (n ) dx =

2x cos(nx)
n

x sin (n ) dx =

2
n
2
n

=) bn =

n = 1; 3; 5; :::
n = 2; 4; 6; :::

Por tanto
f (x)

1
X

n+1

( 1)

n=1

sin(nx)
sin x
=2
n
1

sin 2x sin 3x
+
:::
2
3

Aplicando la identidad de Parseval

1

x2 dx = 4

1
1
1
1
+ 2 + 2 + 2 + :::
2
1
2
3
4

Z
1
X
1
1
1
=
x2 dx =
2
n
4
4
n=1
1
2
X
1
=
n2
6
n=1

20

x3
3

=)

Integral de Fourier

Las series de Fourier nos proporcionan una herramienta poderosa representar

funciones perodicas. Luego, es conveniente generalizar este mtodo para incluir
funciones no perodicas.
A continuacin en esta seccin vamos a representar una funcin f no perodica por medio de la Integral de Fourier
Denicin.- Si f (x) denida en ( 1; 1) es seccionalmente continua en
cada intervalo nito y tiene derivadas por la derecha e izquierda en todo punto
1
R
y tal que
jf (x)j dx converge, entonces la integral de Fourier de f se dene

como:

Z1

[A(w) cos wx + B(w) sin wx] dw

donde:

A(w) =

B(w) =

1
Z

1
1
Z

f (t) cos wtdt

f (t) sin wtdt

A(w) y B(w) se llaman los coecientes de la integral de Fourier de f (x):

Ejemplo 11. Encontrar la representacin por medio de la integral de

Fourier de la funcin:
1 ; jxj < 1
f (x) =
0 ; jxj > 1
Solucin: Primeramente, determinemos la grca de la funcin
F ourier=M 3CS0S0B:wmf

Ahora, calculemos los coecientes de la Integral de Fourier

1R
R1
1
A(w) = 1 f (u) cos wudu = cos wudu = sinwwu j 1 = 2 1 sinww

B(w) =

1
1R
1

f (u) sin wudu =

R1

sin wudu = 0

21

Por lo tanto, la integral de Fourier de f (x) es:

1

Z1

2
sin w cos wxdw
w

6.1

Criterio de convergencia de la integral de Fourier

Si f (x) es seccionalmente continua en [ L; L] 8 L > 0 y tal que

1
R

jf (t)j dt

existe, entonces la integral de Fourier converge a 12 [f (x+ ) + f (x )] (Promedio

de los lmites izquierdo y derecho de f (x)), 8 x donde f 0(x+ ) y f 0(x ) existen.
Ejemplo 12.

Estudie la convergencia de la Integral de Fourier del ejemplo

11
Solucin Sea f (x) denida en ejemplo 11, debido a que f (x) es seccionalmente suave, la integral de Fourier de f (x) converge a 21 [f (x+ ) + f (x )] 8 x.
De acuerdo con el criterio de convergencia se tiene:
8
Z1
1<x<1
< 1 si
2 sin w
1
si
x= 1
cos wxdw =
: 2
w
0
si
jxj > 1
0
En particular, una situacin interesante se da cuando x = 0:

Z1

sin w
cos 0dw = 1 =)
w

Z1

sin w
dw =
w
2

Aunque integrales de este tipo no pueden expresarse en trminos de funciones

elementales, suelen presentarse en matemticas aplicadas con tal frecuencia , que
han recibido un nombre especial y se encuentran tabuladas. As
Si (z) =

Zz

sin w
dw
w

se conoce como funcin de la integral senoidal de z y se encuentra tabulada

en numerosas tablas.
En particular sabemos que :
sin w
=1
w!0 w
lim

22

y que (Intentar Graca)

Z1

sin w
dw =
w
2

En el caso de la integral de Fourier, la grca de la funcin f se obtiene

mediante aproximaciones sucesivas sustituyendo el lmite superior de la integral
1 por los nmeros x: De aqu que la integral
Zz

sin w
cos wxdw
w

es una aproximacin de la integral encontrada anteriormente, y por lo tanto

de f (x) :
La gura adjunta muestra la grcas para las aproximaciones para z = 8,
z = 16 y z = 32.

Supongamos que slo consideramos las frecuencias inferiores a w0 :En este

caso, nos da como aproximacin de f (x)
f (x)

w0
Z

cos wx sin w
dw
w

Ahora bien,
sin (wx + w) wx w
2
y, por consiguiente, podemos escribir la ltima integral en la forma
cos wx sin w =

f (x)

w0
Z

sin w(x + 1)
dw
w

w0
Z

sin w (x
w

1)

dw

Consideremos el cambio de variable u = w (x 1) =) du = wdx para la

primera y la segunda de estas integrales. Entonces tenemos

f (x)

w0 (x+1)
Z

sin u
du
u

f (x)

w0 (x
Z 1)

sin u
du
u

Si [w0 (x + 1)]

Si [w0 (x

1)]

En trminos fsicos, estas curvas describen la salida de un ltro ideal de pasa

baja, que elimina todas las frecuencias superiores w0 cuando la seal de entrada
es un impulso aislado rectangular.
23

6.2

Integrales de Fourier de cosenos y senos

Sea f (x) una funcin denida en [0; 1); podemos extender esta funcin a una
funcin par o impar en ( 1; 1) y calcular la integral de Fourier de esta ultima,
que resulta ser de coseno y seno respectivamente, lo cual es completamente
anloga a los desarrollos en csenos y senos de una funcin denida en un
intervalo [0; L] para el caso de las series de Fourier.
Denicin:

Sea f denida en [0; 1) y sea

tegral de Fourier en cosenos de f es

Z1

1
R
0

jf (u)j du convergente, la in-

A(w) cos(wx)dw

donde el coeciente es:

A(w) =

Z1

f (u) cos(wu)du

A su vez, la integral de Fourier en senos de f es

Z1

B(w) sin(wx)dw

donde el coeciente es:

B(w) =

Z1

f (u) sin(wu)du

En cuanto a la convergencia de la integral de Fourier, en este caso, si f es

seccionalmente suave en todo el intervalo [0; 1], entonces esta integral converge
a 12 [f (x+ ) + f (x )] en (0; 1):
Ejemplo 13: Encontrar la integral de Fourier de f (x) =

x2
0

si 0 x 10
;
si
x > 10

si:
a) se considera una extension par de f (x)
b)) se considera una extension impar de f (x); y luego
c) en ambos casos, determinar las convergencias de estas integrales .

24

Solucin: Consideremos la grca de la funcin

F ourier=M 3CS0T 0C:wmf

a) Para obtener la integral de Fourier de cosenos, extendemos f como una

funcin par fP denida en toda la recta real, luego:

A(w) =

Z1

f (u) cos(wu)du =

Z10

u2 cos(wu)du

2 4u
sin(wu)j10
0
w

2
w

Z10
0

u sin(wu)du5

2 u
2
1
u
=
sin(wu)
sin(wu)
cos(wu)
w
w w2
w
1 200
4
40
=
cos 10w
sin 10w +
w
w3
w2

10
0

Por tanto, la integral de Fourier de cosenos es:

1

Z1

200
w

4
w3

sin 10w +

40
cos 10w cos wxdw
w2

Al aplicar el criterio de convergencia obtenemos:

Z1

200
w

4
w3

sin 10w +

40
cos 10w cos wxdw
w2

8 2
x
>
>
<
0
=
> 0
>
:
50

si 0 < x < 10
si
x > 10
si
x=0
si
x = 10

b) Para obtener la integral de Fourier de senos, extendemos f como una

funcin impar fI denida en toda la recta real.

25

B(w) =

Z1

f (t) sin wtdt =

2
= @
=
=

Z10

u2 sin wudu

u2
cos wu
w
2

10
0

2
+
w

Z10
0

u cos wuduA

u
2
cos wu +
w
w

u
1
cos wu + sin wu
w2
w

102
2
20
cos 10w + 3 cos 10w + 2 sin 10w
w
w
w

10
0

2
w3

entonces la integral de Fourier de senos es:

1

Z1

200
4
+ 3
w
w

cos 10w +

40
sin 10w
w2

4
sin wxdw
w3

Finalmente, al aplicar el criterio de convergencia obtenemos:

Z1

200
4
+ 3
w
w

cos 10w +

40
sin 10w
w2

4
sin wxdw
w3

8 2
x
>
>
<
0
=
0
>
>
:
50

si 0 < x < 10
si
x > 10
si
x=0
si
x = 10

Ejemplo 14: Encontrar la integral de Fourier de f (x) = e

ax

si x > 0 y

a es una constante tal que a > 0;considerando una extensin

a) par de f:
b) impar de f:
c) en ambos casos, determinar las convergencias de estas integrales .
Solucin. Gracar extensiones
a) Puesto que f es par , es decir f (x) = f ( x) 8x 2 IR se tiene
f (x) =

Z1

A(w) cos(wx)dw

donde el coeciente es:

26

Z1

A(w) =

au

cos(wu)du

Integrando por partes se tiene

Z1

au

cos(wu)du =

a2

a2

h
a
lim e
2
+ w R!1

iR
w
senwu + cos wu
a
0

au

a
+ w2

Por consiguiente,
A (w) =

2
a2

a
+ w2

Sustituyendo esta expresin se obtiene:

2a

Z1

cos(wx)
dw
a2 + w2

para x > 0; a > 0:

Finalmente, como la funcin es continua 8x > 0; la integral converge a
f (x) ; entonces
f (x) = e

ax

2a

Z1

cos(wx)
dw
a2 + w2

=)

Z1

cos(wx)
dw =
a2 + w2

e ax
2a

b) Puesto que f es impar , es decir f (x) =

f (x) =

Z1

f ( x) 8x 2 IR se tiene

B(w) sin(wx)dw

donde el coeciente es:

B(w) =

Z1

Integrando por partes se tiene

27

au

sin(wu)du

Z1

au

sin(wu)du =

a2

1
lim e
+ w2 R!1

au

(asenwu

w cos wu)

R
0

w
a2 + w2

Por consiguiente,
w
a2 + w2
Sustituyendo esta expresin se obtiene:
B (w) =

f (x) = e

ax

Z1

w sin(wx)
dw
a2 + w2

para x > 0; a > 0:

Estos ejemplos ilustran como puede aplicarse la representacin de la integral
de Fourier para evaluar integrales.

28