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
(Edicin de ejemplar de prueba)

Introduccin

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

L, nos preguntamos si la siguiente serie innita (conocida como serie de Fourier
de f (x)), tiene sentido:
f (x) = a0 +

1
X

(an cos

n=1

n x
n x
+ bn sin
)
L
L

(1:1:1)

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

condiciones debe cumplir f para que se d la convergencia?,Converge a f (x)?
Estas preguntas no tienen una respuesta sencilla. Sin embargo, las series de
Fourier normalmente funcionan bastante bien.
La expresin comentada ser vlida para algunos tipos de funciones y se
necesitarn pequeas modicaciones para otros tipos de ellas. Partiremos siendo
positivos suponiendo que la expresin mencionada es cierta. Qu nos dice sta
sobre los valores de los coecientes an y bn ?. Necesitaremos del siguiente lema.

1.1

Lema Elemental

i) Si m y n son nmeros enteros no negativos distintos entonces:

ZL

n x
m x
cos
cos
dx =
L
L

ZL

sin

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

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

ZL

cos

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

iii)Para cualquier entero positivo n,

ZL

cos

n x
L

ZL

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

sin2

Demostracin: Se prueba integrando directamente:

i)
ZL

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

ZL

(n + m) x
L

cos

1
dx+
2

ZL

(n

cos

m) x
L

dx

L
(n + m) x L
1
sin
j L
2 (n + m)
L
(n m) x L
L
1
sin
+
j L
2 (n m)
L
= 0
=

Adems, si

m=0

n 6= 0

es facilmente vericable que la integral es

cero.
En forma similar se prueba que
RL

sin

n x
m x
cos
sin
dx =
L
L

1
,
2

n x
L

sin

m x
L

dx = 0

ii)
ZL

ZL

cos

(n + m) x
L

1
dx +
2

L
1
2 (n + m)
1
L
+
2 (n m)
= 0
=

ZL

cos

(n

sin
sin

(n + m) x
L
(n m) x
L

jL L
jL L

Estas formulas relativas a estas integrales se les llama relaciones de

ortogonalidad y diremos en tal caso que el conjunto de las funciones
cos nLx ; sin mL x
8n = 0; 1; 2; :::::; y 8 m = 1; 2; :::::;son
ortogonales en [ L; L]
iii) Demostracin queda como ejercicio para el lector. Debe calcular estas
integrales.En sntesis, se puede puntualizar que:
RL
0; si m6=n
1
cos nLx cos mL x dx = 1;
L
si m=n = m;n
L

m) x
L

dx

1
L
1
L

RL

RL

L
RL

n x
L

sin

m x
L

dx =

cos

n x
L

sin

m x
L

dx = 0

cos

0;
1;

sin

n x
L

dx = 0

8m; n

si m6=n
si m=n

m;n

8m; n
RL

sin

m x
L

dx = 0

8m; n

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

L:

n x
n x
+ bn sin
)
L
L

(an cos

n=1

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 , bn : usando las relaciones de ortogonalidad.
Lo que queremos es:
f (x) = a0 +

1
X

n x
n x
+ bn sin
)
L
L

(an cos

n=1

(1:1:1)

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

ZL

f (x)dx =

ZL

a0 dx +

1
X

(an

n=1

ZL

n x
cos
dx + bn
L

ZL

sin

n x
dx)
L

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

deduce de aqu el valor de a0 ;as.
1
a0 =
2L

ZL

f (x)dx

Para el calculo de an multiplicamos la identidad (1:1:1) por cos

integrando trmino a trmino tenemos.
ZL

k x
f (x) cos
dx = a0
L

ZL

n=1

4an

0+L

k x
dx +
L

cos

1
X

k x
L

ZL

k x
n x
cos
dx + bn
cos
L
L

n;k

ZL

+0
3

3
n x
k x
sin
cos
dx5
L
L

Por lo tanto:
ZL

k x
dx = ak L
L

f (x) cos

as el valor de ak es
ZL

1
ak =
L

f (x) cos

k x
dx:
L

8k

Ahora multiplicando (1:1:1) por sin kLx e integrando de manera similar y

por el lema se tiene
ZL
k x
1
f (x) sin
dx:
bk =
L
L
L

Hemos "encontrado" los coecientes a0 , an , bn claro eso si bajo muchos

supuestos. Estos clculos sugieren la siguiente denicin.

2.1

Coecientes de Fourier

Denicin .i) Sea f una funcin Riemann integrable en [ L; L], los coecientes
a0

1
2L

ZL

f (x)dx

an

1
L

ZL

f (x) cos

1
L

ZL

f (x) sin

n x
dx
L

paran = 1; 2; 3:::

(1:2:1)

bn

n x
dx;
L

paran = 1; 2; 3:::

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

ii) La serie de Fourier de f en el intervalo [ L; L] se dene como la serie
donde los coecientes estn dados por (1:2:1): Para no hablar de convergencia
todava, escribimos:
f (x)

a0 +

1
X

n x
n x
+ bn sin
L
L

an cos

n=1

Donde el signo" " signica slo que a la derecha se tiene la serie de Fourier
de f (x) (en el intervalo L x L).

Ejemplo 1: Determinar la serie de Fourier de f (x) = x si x 2 [

Solucin:

; ]

Determinemos la grca de la funcin

y
2.5

1.25

0
-2.5

-1.25

1.25

2.5
x

-1.25

-2.5

Determinemos los coecientes de Fourier de f en [

R
a0 = 21 xdx = 0
an =

bn =

x cos (nx) dx =

x sin(nx)dx =

Luego, la serie es

1
P

n=1

2.2

1
n2

2
n(

2
n(

cos(nx) +

x
n

sin(nx)

; ]

=0

1)n+1

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.-

f (x) es seccionalmente suave en [a; b] si f y f 0 son sec-

cionalmente 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) = 13 x

2
3

=) lim f 0 (x) = lim 13 x

x!0

2
3

x!0

1 , no existe. Luego, la funcin no es seccionalmente suave.

Observacin:
Cada funcin seno y coseno que aparece en el desarrollo de la serie de Fourier
tienen perodos diferentes el que es igual a 2L
1:Por otra parte, un
n para n
mltiplo entero del perodo de una funcin perodica es tambin un perodo ,
podemos armar entonces que 2L es 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 (x) 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:
y

75

50

25

0
-5

-2 .5

2 .5

5
x

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

tiene
1
f (x) = (10 cos x)2 = 100 cos2 x = 100 (1 + cos 2x)
2
entonces
f (x) = 50 + 50 cos 2x
como el perido de cos 2x es
es de perodo :

2.3

y una constante tiene cualquier perodo, f (x)

Convergencia de las series 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 21 (f (x+ )+f (x )) en los puntos donde
la extensin perodica tenga una discontinuidad de salto.

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: Determinemos la grca de la funcin

2.5

1.5

0.5
0
-2.5

-1.25

1.25

2.5
x

Calculemos los coecientes de la correspondiente serie de Fourier de f (x):

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

an =
=
bn =
=

1
3

1
3
1
3
1
3

R3

n x
3

f (x) cos

R3

x cos

0
R3

n x
3

dx =

1
3

9 cos (n 3 x)
n2 2

3x sin (n 3 x)
n

3
n2

(cos(n )

1)

0
n x
3

f (x) sin

R3

dx

x sin

n x
3

dx

dx =

1
3

9 sin (n 3 x)
n2 2

3x cos (n 3 x)
n

(( 1)n

1) cos

n x
3

3
n

cos(n )

la serie de Fourier la podemos escribir

3 X
3
+
2
4 n=1 n

3
n x
cos(n ) sin
n
3

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

es seccionalmente continua en R , con discontinuidad de salto en los puntos
x = 3 6n, n 2 Z
Por lo tanto, de acuerdo al teorema la serie converge a
fE (x) =

f (x) si x 6= 3
3
si x = 3
2

entonces

6n
6n

n2Z

1
3
3 X 1
(( 1)n
+ 2
2
4
n
n=1

fE (x) =

n x
3

1) cos

( 1)n sin

n x
3

( 1)n sin

n x
3

es decir
3
f (x) =
4

1
6 X
2

n=1

1
(2n

(2n

cos

1)2

1) x

Al estudiar la convergencia en x0 = 3 punto de discontinuidad de la funcin

se obtiene

1
3
3
3 X 1
= + 2
(( 1)n
2
2
4
n
n=1

1) ( 1)n

1
X

=)

n=1

Ejemplo 5 Sea f (x) = x + ; x 2 [

y obtener la grca de sumas parciales.

1
(2n

1)2

; ] : Determine la serie de Fourier

Solucin : La grca de la funcin es

y

3.75

2.5

1.25

-2.5

-1.25

1.25

2.5
x

Determinemos los coecientes de Fourier de f en [ ; ]

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

an =

bn =

bn =

2
n(

(x + ) cos (nx) dx =

(x + ) sin(nx)dx =

1
n2

cos(nx) +

1
n2 sen(nx)

1)n+1

x
n

x
n

sin(nx)

cos s(nx)

=0

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)k+1
senkx
k

k=1

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

-5

-2.5

2.5

5
x

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

3.75

2.5

1.25

-5

-2.5

2.5

5
x

Obtengamos S10
10
X
( 1)k+1
S10 (x) = + 2
sin(kx)
k
k=1

y
6 .2 5

3 .7 5

2 .5

1 .2 5

0
-5

-2 .5

2 .5

5
x

Finalmente, obtengamos S50

50
X
( 1)k+1
S10 (x) = + 2
sin(kx)
k
k=1

y
6 .2 5

3 .7 5

2 .5

1 .2 5
0
-5

-2 .5

2 .5

5
x

Podemos visualizar que en la medida que es mayor el nmero de trminos

de las sumas parciales estas convergen a la grca de la funcin

2.4
2.4.1

La 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 R:Considerando que f
es par y el cambio de variable t = x se tiene

10

Z0

f (x)dx =

Z0

ZL

f ( x)dx =

Z0

ZL

f (t)dt =

f (x)dx

ZL

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 R:Usando este hecho

f (t)dt =

LZ

f (x)dx

entonces
ZL

f (x)dx =

Z0

f (x)dx +

ZL

f (x)dx =

ZL

f (x)dx

ZL

f (x)dx = 0

lo que demuestra el lema.

2.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
a0 +

1
X

an cos

n=1

donde a0 =

1
L

RL

f (x)dx y an =

2
L

RL

n x
L

f (x) cos

n x
L

dx: Esta se denomina

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

bn sin

n=1

donde bn =

2
L

RL
0

f (x) sin

n x
L

n x
L

dx:Esta 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
11

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

y

0.5

0
-2

-1

2
x

-0.5

-1

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

es par.
Obtengamos los coecientes del desarrollo de Fourier
R2
2
a0 = 12 (1 x)dx = 12 x x2 j20 = 0
0

an =

2
2

an = 0

R2

(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
Asi la serie de Fourier de f (x) = 1

an =

8
(2n 1)2

1
8 X
2

(2n
n=1

1
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.

Desarrollos llamados de medio rango

Sea una funcin f seccionalmente continua que est denida slo en un intervalo
[0; L] y se desea desarrollar 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.
12

3.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) y
denida por:
f (x); 0 x L
fi (x) =
f ( x); L x 0
como se muestra en la gura adjunta.
y

0.25

0.125

0
-5

-2.5

2.5

5
x

-0.125

-0.25

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

n x
,
L

bn sin

n=1

Como nosotros estamos interesados solamente en lo que ocurre entre

0 x L:En esa regin f (x) es identica a fi (x) y la serie de Fourier es

f (x)

1
X

bn sin

n=1

con cociente bn

2
L

ZL

n x
, 0
L

f (x) sin

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

x; 0 x L
;extensin
x; L x 0
impar peridica ,muestra que la serie de Fourier de senos de f (x) = x converge
a cero en x = L aunque f (L) 6= 0 y converge a f (x) en 0 x < L:demas
Solucin. La discontinuidad de salto de la funcin fi (x) =

2
bn =
L

ZL

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

ZL

x sin

n x
2L
dx =
( 1)n+1
L
n

Por lo tanto, la serie resultante es:

1

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

3.2

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:
y

25

20

15

10

0
-5

-2. 5

2. 5

5
x

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).

14

a0 +

1
X

n x
;
L

an cos

n=1

a0 =

1
L

ZL

f (x)dx y an =

2
L

Ejemplo 8:
0

ZL

L, con coecientes
n x
dx
L

f (x) cos

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

L:

Solucin: 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

a0

ZL

1 x2 L
L
j =
L 2 0
2

1
L

ZL

1
f (x)dx =
L

2
L

ZL

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

an

n x
;
L
xdx =

ZL

x cos

n x
dx
L

an

4L
n2 2

si n par.
si n impar.

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

L
2

4
4.1

4L X
2

n=1

1
(2n

1)2

cos

(2n

L es:

1) x
L

Diferenciacion e Integracin de la series de

Fourier
Derivacin

Las series innitas, aun 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

15

que converge para

< x < ; es decir

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

<x<

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 (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
a la 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 la siguiente proposicin
que agrega condiciones para permitir la derivacin trmino a trmino.
Proposicin:
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.

Considere la funcin f (x) = x2 en

y verique

si la derivada de esta serie existe.

Solucin 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)
2

f (x) =

1
n
X
( 1)
cos(nx)
n2
n=1

+4

16

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)
f (x) = 2x = 4
sin(nx)
n
n=1
0

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

inciso 2.1.

4.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 .
Proposicin
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

LX 1
n x
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)

An

1
L

ZL

n t
dt integrando por partes.
L

F (t) cos

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

L
n

(f (t)

a0 ) sin

L
n

ZL

F 0 (t) sin

n t
dt
L

n t
dt:
L

ZL

L
n

L
bn
n

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

An

ZL

sin

n t
dt:
L

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

nalmente
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) +

4.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 ) +

Pruebe que

1
P

n=1

Sea f (x) =

1
n2

(an ) + (bn )

n=1

Ejemplo10.

1 h
X

x
0

<x<
x=
;

; peridica de perodo 2 .

Solucin: 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 lo 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 x3
2
=
x
dx
=
j
n2
4
4 3
n=1

=)

Integral de Fourier

Las series de Fourier son una herramienta poderosa para tratar problemas
relacionados con funciones perodicas. Luego, es conveniente generalizar este
mtodo parar incluir funciones no perodicas.
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

20

y tal que
como:

1
R

jf (x)j dx converge, entonces la integral de Fourier de f se dene

1

Z1

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

donde:

A(w)

Z1

B(w)

f (t) cos wtdt

1
Z1

f (t) sin wtdt

A(w) y B(w) se llaman los coefcientes 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
y

0 .7 5

0 .5

0 .2 5

0
-2

-1

2
x

Ahora, calculemos los coecientes de la Integral de Fourier

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

1
1
R

f (u) sin wudu =

R1

sin wudu = 0

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

1

Z1

2
sin w cos wx dw
w

21

5.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 wx dw =
: 2
w
0
si
jxj > 1
0
En particular, una situacin interesante se da cuando x = 0:
2

Z1

sin w
cos wx dw = 1 =)
w

5.2

Z1

sin w
cos wx dw =
w
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

1
R
0

jf (u)j du convergente, la inte-

gral de Fourier en csenos de f es

1
Z1
Z
1
A(w) cos(wx)dw; donde A(w) = 2 f (u) cos(wu)du
0

Y la integral de Fourier en senos de f es

1
Z

B(w) sin(wx)dw; donde B(w) = 2

Z1

f (u) sin(wu)du

En lo que tiene que ver con la convergencia de la integral de Fourier en este

caso, si f es seccionalmente suave en todo intervalo [0; 1], entonces esta integral
converge a 21 [f (x+ ) + f (x )] en (0; 1):
22

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 .
Solucin: Consideremos la grca de la funcin
y

0 .7 5

0 .5

0 .2 5

0
0

0 .5

1 .5

2
x

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
Z10
2 f (u) cos(wu)du = 2 u2 cos(wu)du
0

=
=

24
2

u
sin(wu)j10
0
w

2
w

Z10
0

u sin(wu)du5

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

Por lo tanto, la integral de Fourier de cosenos es:

1

Z1

200
w

4
w3

sin 10w +

40
cos 10w cos wxdw
w2

Al aplicar criterio de convergencia obtenemos:

23

10
0

Z1

200
w

4
w3

8 2
x
>
>
<
40
0
sin 10w + 2 cos 10w cos wxdw =
0
>
w
>
:
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.

B(w)

Z1

f (t) sin wtdt = 2

=
=

Z10

u2 sin wudu

2
u2
cos wuj10
24
0 +
w
w

Z10
0

u cos wudu5

u2
2
cos wu +
w
w

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

1
u
cos wu + sin wu
2
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 criterio de convergencia obtenemos:

Z1

200
4
+ 3
w
w

40
cos 10w + 2 sin 10w
w

24

4
w3

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

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