Series de Fourier PDF

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.
Series de Fourier
1.1
El espacio PC [a, b]
Definicin 1 f : [a, b] R es seccionalmente continua en[a, b] si f es continua en

[a, b] salvo quizs en un nmero finito de puntos {x1 , x2 , ..., xn } en los cuales f tiene
una discontinuidad de salto finito, esto es, para cada i {1, ..., n} existen

f x+
= lim+ f (xi + h) R
i
h0

f xi
= lim+ f (xi h) R
h0

f x
La magnitud del salto en xi se define como f x+
i
i
PC [a, b] = {f : [a, b] R / f es secc. continua}

Observe que las funciones definidas en el intervalo I = [1, 1]
1
sin x1 si x 6= 0
si x 6= 0
x
f (x) =
,
g (x) =
0 si x = 0
1
si x = 0
no son seccionalmete continuas.

Rb
Tambin es importante mencionar que si f PC [a, b], entonces a f (x) dx existe
y es independiente de los valores que tome f en los posibles puntos de discontinuidad.
Las siguientes propiedades sern de relevancia para funciones en este espacio.
Definicin 2 Sea f : [a, a] R.
f es par x [a, a] : f (x) = f (x)
( graf(f ) es simtrico c/r al eje y)
f es impar x [a, a] : f (x) = f (x)
( graf(f ) es simtrico c/r al
origen )
Observacin 3 RSea f : [a, a]
R a R integrable.
a
f es par a f (x) dx = 2 0 f (x) dx
Ra
f es impar a f (x) dx = 0
Una propiedad importante para este tipo de funciones es:
(par)(par) = (impar)(impar) = par

(par)(impar) = (impar)(par) = impar
Toda funcin f : [a, b] R puede descomponerse como la suma de una funcin
par y una funcin impar. De hecho, con
fp (x) =
f (x) + f (x)
f (x) f (x)
, fi (x) =
2
2
se tiene
f = fp + fi
Adems, dada f : [0, a] R, ella puede extenderse:
a) a una funcin par en [a, a]
f (x) =
f (x) si a x < 0
f (x)
si 0 x a
b) a una funcin impar en [a, a]
f (x) si a x < 0
f (x) =
f (x)
si 0 x a
Ahora, si se considera en este conjunto las operaciones suma y producto por
escalar de funciones, se tiene un espacio vectorial.
En este espacio la frmula
Z b
f (x) g (x) dx
f g =
a
verifica las propiedades de un producto interior, excepto que

Z a
f (x)2 dx = 0 NO IMPLICA f = 0
f f =
a
Por esto se define la relacin de equivalencia

f = g c.t.p. f (x) = g (x) , x [a, b] E, con m (E) = 0
Esta relacin se expresa diciendo que: f = g casi en todas partes.
Esencialmente una relacin de equivalencia es una relacin de igualdad, bajo la
cual dos funciones equivalentes se consideran iguales. As, toda funcin f = 0
c.t.p. se considera como la funcin nula.
Esto permite considerar a f g definido antes como un producto interior en
PC [a, b], el cual induce la norma
kf k =
1/2
f (x) dx
2
En definitiva, tenemos el espacio vectorial normado (tambin espacio euclidiano)

(PC [a, b] , kk) .
La convergencia en este espacio se denomina convergencia en media o convergencia cuadrtica.

La sucesin (fn ) en PC [a, b] converge en media a f en PC [a, b] si, y slo si
kfn f k 0, cuando n . Se escribe, f = lim fn [en media] en [a, b] .
Luego, f = lim fn [en media] en [a, b]
1/2
(fn (x) f (x)) dx
0
2
(fn (x) f (x))2 dx 0
De un teorema anterior se sigue que, si fn f [unif] en [a, b],

entonces lim (fn (x) f (x)) = 0 [unif] en [a, b] y
lim
(fn (x) f (x)) dx =

=
lim (fn (x) f (x))2 dx
0 dx = 0
lo que muestra que f = lim fn [en media] en [a, b] .

O sea, [cv. unif] [cv. en media].
Observacin 4 No hay relacin entre convergencia puntual y convergencia en media.
P
fn , si la sucesin de sumas parciales converge a la funcin f
Para una serie
en PC [a, b] se escribir
f =
o bien, f
X
n=1
X
n=1
fn [en media]
fn
1.2
Desarrollos ortogonales
Definicin 5 Sea F un espacio de funciones dotado de un producto interior. Se

dice que
B = {1 , 2 , ..., n , ...} = {n }nN
es una base ortogonal de F si:
a) i, j N , i 6= j i j = 0
P
b) Para cada f F existen escalares (cn )nN tales que f cn n
Una base ortogonal se denomina tambin un sistema ortogonal completo.

P
Cuando f cn n los coeficientes se determinan como sigue:
Fijado k N,
!
X
cn n k
f k =
n=1
n=1
cn n k
= ck (k k )
y as
f k
1
ck =
=
k k
kk k2
f (x) k (x) dx
con
2
kk k =
k (x)2 dx
El coeficiente
1
ck =
kk k2
f (x) k (x) dx
se llama coeficiente generalizado de Fourier y
cn n
n=1
se llama serie generalizada de Fourier de f.
1.3
Sistema trigonomtrico en [, ]
En el espacio PC [, ] la familia
B = {1, cos x, sin x, ..., cos nx, sin nx, ...}
es un sistema ortogonal completo, llamado sistema trigonomtrico.
Para este sistema se tiene:
Z 1/2
dx
= 2
k1k =
kcos nxk =
ksin nxk =
1/2
cos nxdx
=
2
1/2
sin nxdx
=
2
y dada f PC [, ], su desarrollo en serie de Fourier se escribe

a0 X
+
f
[an cos nx + bn sin nx]
2
n=1
De la frmula general para los coeficientes se sigue que

Z
a0
1
f (x) dx
=
2
2
Z
1
f (x) cos nx dx
an =

Z
1
f (x) sin nx dx
bn =

Ejemplo 6 Encuentre el desarrollo en serie de Fourier en PC [, ] de las funciones:

a) f (x) = sin 3x.
b) f (x) = |x| .
0 si x 0
c) f (x) =
1 si 0 < x
La grfica de f es:
1
0.8
0.6
0.4
0.2
0
-3
-2
-1
0
x
y los coeficientes de la serie de Fourier de f estn dados por

R
1
f
(x)
dx
=
dx = 1
0
R
R
an = 1 f (x) cos nxdx = 1 0 cos nxdx = 1 sinnn = 0

R
R
bn = 1 f (x) sin nxdx = 1 0 sin nxdx = 1 cos n1
n
a0 =
y considerando que cos n = (1)n se obtiene
0 si n es par
bn =
2
si n es impar
n
Luego, la serie de Fourier de f es
1 2X 1
+
sin (2n 1) x
2 n=1 2n 1
1 2
1
1
=
+
sin x + sin 3x + sin 5x + ...
2
3
5
Las sumas parciales, polinomios trigonomtricos, de esta serie son:

T0 (x) =
1
2
, T1 (x) = T2 (x) =
1
2
sin x ,
2
T3 (x) = T4 (x) = 12 + 2 sin x + 3
sin 3x , etc.
Los siguientes son grficos de cada uno de stos (en azul), junto a la grfica de
f (en rojo).
1
1
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
0
0
-3
-2
-1
0
x
y = T0 (x)
-3
-2
-1
0
x
y = T1 (x) =
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
1
2
sin x
0
-3
-2
-1
0
x
y = T3 (x)
con T9 (x) =
1
2
-3
-2
-1
0
x
y = T9 (x)
+ 2 sin x + 13 sin 3x + 15 sin 5x + 17 sin 7x + 19 sin 9x
1.4
Sistema trigonomtrico en [0, ]
En el espacio PC [0, ] las familias

B1 = {1, cos x, ..., cos nx, ...}
B2 = {sin x, ..., sin nx, ...}
son sistemas ortogonales completos.
En efecto:
La ortogonalidad queda de ejercicio.
Ahora, sea f PC [0, ] y considere la extensin par de f a [, ], esto es,
fp : [, ] R
f (x)
si 0 x
fp (x) =
f (x) si x < 0
Esta funcin fp tiene un desarrollo en serie de Fourier en el sistema ortogonal
{1, cos x, sin x, ..., cos nx, sin nx, ...} :
a0 X
fp
+
[an cos nx + bn sin nx]
2
n=1
donde
a0
an
bn
Z
1
=
fp (x) dx

Z
1
=
fp (x) cos nxdx

Z
1
=
fp (x) sin nxdx

Pero como fp es par

a0
an
bn
Z
2
=
f (x) dx
0
Z
2
=
f (x) cos nxdx
0
= 0
Luego, el desarrollo anterior queda

a0 X
f
+
an cos nx
2
n=1
que corresponde a una serie de cosenos para f.

Queda de ejercicio describir el desarrollo en serie de senos para f

Ejemplo 7 Sea f : [0, ] R
f (x) =
1
si 0 x 2
1 si 2 < x
Encontrar los desarrollos de f en los dos sistemas ortogonales anteriores.

La grfica de f :(no considerar el segmento vertical en x = 2 )
1
0.5
0.5
1.5
x
2.5
-0.5
-1
a) Desarrollo en serie de cosenos.- Los coeficientes son:

R
a0 = 2 0 f (x) dx = 0
i
hR
R
R
/2
2
2
an = 0 f (x) cos nxdx = 0 cos nxdx /2 cos nxdx =
El valor de sin n
segn los valores de n N est dado por:
2
n
1 2 3 4 5
... etc.
sin n
1 0 -1 0 1
2
En general,
n
0
si n es par
=
sin
1
n es impar
si
2
Luego, la serie de Fourier de cosenos de f es
4 X (1)n+1
cos (2n 1) x
n=1 (2n 1)
1
1
4
cos x cos 3x + cos 5x ...
=
3
5
Las sumas parciales y sus grficas son
4
cos 3x , etc.
T1 (x) = 4 cos x , T3 (x) = 4 cos x 3
1
0.5
0.5
0
0.5
1.5
x
2.5
-0.5
-0.5
-1
-1
y=
cos x
0.5
1.5
x
y = T3 (x)
2.5
4
n
sin 12 n.
0.5
0.5
1.5
x
2.5
-0.5
-1
y = T11 (x)
donde
T11 (x) =
cos x 13 cos 3x + 15 cos 5x 17 cos 7x + 19 cos 9x
b) Desarrollo en serie de senos.- Los coeficientes son:

hR
i
R
R
/2
bn = 2 0 f (x) sin nxdx = 2 0 sin nxdx /2 sin nxdx =
1
11
cos 11x .
1
2 cos n+12 cos 2 n
Con g (n) = cos n + 1 2 cos 12 n se tiene: g (1) = 0 , g (2) = 4 , g (3) = 0 ,

g (4) = 0
En general,
1
4 si n = 4k 2 con k N
cos n + 1 2 cos n =
0 si n 6= 4k 2 con k N
2
Luego, la serie de Fourier de senos de f es

8X 1
sin (4n 2) x
n=1 4n 2
1
1
8 1
sin 2x + sin 6x +
sin 10x + ...
=
2
6
10
Las sumas parciales y sus grficas son:

1
0.5
0.5
0
0.5
1.5
x
2.5
-0.5
-0.5
-1
-1
y=
sin 2x
0.5
1.5
x
y = T6 (x)
2.5
10
1
0.5
0.5
1.5
x
2.5
-0.5
-1
y = T18 (x)
donde
T18 (x) =
1.5
sin 2x + 16 sin 6x +
2
1
10
sin 10x +
1
14
sin 14x +
1
18
sin 18x
Sistemas trigonomtricos para [p, p] y [a, b]
n
o
nx
nx
En el espacio PC [p, p] la familia 1, cos p , sin p
es un sistema ortogonal
nN
completo.
Queda de tarea mostrar la ortogonalidad.
Para la completitud, tomamos f PC [p, p] y se considera la funcin :
[, ] [p, p] , (t) = p t. Se tiene entonces g = f y g PC [, ]. Luego,
a0 X
[an cos nt + bn sin nt]
g (t)
+
2
n=1
R
R
R
donde a0 = 1 g (t) dt , an = 1 g (t) cos ntdt , bn = 1 g (t) sin ntdt.

Al hacer p t = x, se obtiene g (t) = f p t = f (x) y as

a0 X
nx
nx
f (x)
an cos
+
+ bn sin
2
p
p
n=1
y mediante el cambio de variables t = p x las integrales se transforman a

Z
1 p
f (x) dx
a0 =
p p
Z
1 p
nx
f (x) cos
dx
an =
p p
p
Z
1 p
nx
dx
f (x) sin
bn =
p p
p
Ejercicio
1 Encontrar el desarrollo en serie de Fourier en PC[2, 2] de la funcin
0 si 2 x 0
f (x) =
x si 0 < x 2
11
En forma
similar a la discusin
anterior, se muestra que en el espacio PC [a, b] la
2n
2n
x, sin ba
x nN es un sistema ortogonal completo.
familia 1, cos ba
Para cada f PC [a, b]

2n
2n
a0 X
an cos
+
x + bn sin
x
f (x)
2
ba
ba
n=1
con
a0
an
bn
Z b
2
=
f (x) dx
ba a
Z b
2
2n
=
f (x) cos
x dx
ba a
ba
Z b
2
2n
x dx
=
f (x) sin
ba a
ba
Ejercicio
2 Encontrar el desarrollo en serie de Fourier enPC [8, 10] de
1
si 8 x 9
f (x) =
10 x si 9 < x 10
1.6
Funciones peridicas
Definicin 8 Una funcin f : R R es peridica de periodo T , T 6= 0, si

x R : f (x + T ) = f (x)
Si T es un periodo para la funcin f , entonces kT tambin es un periodo, para
todo k Z. El menor periodo positivo se llama periodo fundamental. De aqu
en adelante nos referiremos slo a periodo para designar periodo fundamental.
Por ejemplo, las funciones seno y coseno son peridicas de periodo 2. Las
.
funciones f (x) = sin nx
y g (x) = cos nx
son de periodo 2L
L
L
n
Sea f PC [a, b] y consideremos la extensin peridica de f a toda la recta real,
la cual denotaremos por fe : R R
fe (x) = f (x + ko (b a))
donde ko Z es el nico entero que verifica x + k0 (b a) [a, b] .
fe es seccionalmente continua en todo intervalo de la forma [c, c + (b a)] .
Luego, podemos obtener el desarrollo en serie de Fourier de fe en [c, c + (b a)].
Este desarrollo coincide con el de f en [a, b] puesto que:
Si g es peridica de periodo (b a), entonces
Z c+(ba)
Z b
g (x) dx =
g (x) dx
a
Finalmente, llamamos serie de Fourier de la funcin fe a la serie de Fourier de

f PC [a, b] .
1.7
12
Teoremas para series de Fourier
Definicin 9 Una funcin f : R R es seccionalmente continua ai en cualquier

intervalo acotado ella tiene slo un nmero finito de discontinuidades de salto. En
otras palabras, dados a < b, existen a a1 < a2 < ... < an b tales que f es
continua en todo intervalo abierto ]aj , aj+1 [ y existen los lmites

= lim+ f (aj + h)
f a+
j
h0

f aj
= lim+ f (aj h)
h0
Definicin 10 Una funcin f : R R es seccionalmente suave (seccionalmete

diferenciable) si f es seccionalmente continua y f 0 es seccionalmente continua.
Note que f 0 no est definida en todos los puntos.
Ejemplos .....
Teorema 11 de Fourier sobre convergencia puntual

Sea f : R R seccionalmente suave y de periodo 2L. Entonces la serie de
Fourier de f converge en cada punto x a 12 [f (x+ ) + f (x )] , esto es
a0 X h
1 +
nx
nx i
an cos
+
+ bn sin
f x + f x =
2
2
L
L
n=1
Note que, en un punto de continuidad de f, 12 [f (x+ ) + f (x )] = f (x) y en un

punto de discontinuidad 12 [f (x+ ) + f (x )] es el promedio del salto.
Ejemplo 12 Sea f : R R
1 si 0 x <
0 si x < 0
f (x) =
de periodo 2
Obtener la serie de Fourier de f y trazar de la funcin definida por esta serie.

Ejemplo 13 Use el ejemplo anterior para obtener un desarrollo en serie para .
Teorema 14 (sobre la integracin de series de Fourier)
Sea f : R R una funcin de periodo 2L y seccionalmente continua y sea
nx
nx i
a0 X h
an cos
+
+ bn sin
2
L
L
n=1
su serie de Fourier. Entonces
13
i) la serie puede ser integrada trmino a trmino y el valor de la serie integrada

es la integral de f . Ms precisamente,
Z b
Z b
Z b
Z b

X
a0
nx
nx
an
f (x) dx =
cos
sin
dx +
dx + bn
dx
L
L
a
a 2
a
a
n=1
Rx
ii) La funcin F (x) = 0 f (t) a20 dt es peridica de periodo 2L, continua,
tiene derivada F 0 seccionalmente continua y es representada por su serie de Fourier
Z xh

bn
a0 i
L X bn L X
nx an
nx
cos
dt =
+
+
sin
f (t)
2
n=1 n
n=1
n
L
n
L
0
y
L X bn
1
=
n=1 n
2L
F (x) dx
Teorema 15 (1er teorema sobre C.U. de S.F.)

Sea f una funcin de periodo 2L, continua y con derivada primera seccionalmente continua. Entonces la serie de Fourier de f converge uniformamente a f.
Teorema 16 (2 teorema sobre C.U. de S.F.)
Sea f de periodo 2L, seccionalmente continua y con derivada primera seccionalmente continua. Entonces la serie de F. de f converge uniformemente a f en todo
intervalo cerrado que no contenga puntos de discontinuidad de f.
Teorema 17 (sobre derivacin de series de F)
Sea f continua en R, con periodo 2L y con primera derivada f 0 seccionalmente
suave. Entonces la serie de de Fourier para f 0 puede obtenerse derivando trmino
a trmino la serie de F. de f y la serie derivada converge puntualmente a f 0 (x)
siempre que f 00 exista.

Series de Fourier PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Series de Fourier PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Definicin 1 f : [a, b] R es seccionalmente continua en[a, b] si f es continua en

PC [a, b] = {f : [a, b] R / f es secc. continua}

no son seccionalmete continuas.

Una propiedad importante para este tipo de funciones es:

(par)(par) = (impar)(impar) = par

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

b) a una funcin impar en [a, a]

verifica las propiedades de un producto interior, excepto que

Por esto se define la relacin de equivalencia

En definitiva, tenemos el espacio vectorial normado (tambin espacio euclidiano)

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

La convergencia en este espacio se denomina convergencia en media o convergencia cuadrtica.

(fn (x) f (x))2 dx 0

De un teorema anterior se sigue que, si fn f [unif] en [a, b],

(fn (x) f (x)) dx =

lim (fn (x) f (x))2 dx

lo que muestra que f = lim fn [en media] en [a, b] .

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Definicin 5 Sea F un espacio de funciones dotado de un producto interior. Se

Una base ortogonal se denomina tambin un sistema ortogonal completo.

se llama coeficiente generalizado de Fourier y

se llama serie generalizada de Fourier de f.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

y dada f PC [, ], su desarrollo en serie de Fourier se escribe

De la frmula general para los coeficientes se sigue que

Ejemplo 6 Encuentre el desarrollo en serie de Fourier en PC [, ] de las funciones:

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

y los coeficientes de la serie de Fourier de f estn dados por

an = 1 f (x) cos nxdx = 1 0 cos nxdx = 1 sinnn = 0

y considerando que cos n = (1)n se obtiene

Las sumas parciales, polinomios trigonomtricos, de esta serie son:

+ 2 sin x + 13 sin 3x + 15 sin 5x + 17 sin 7x + 19 sin 9x

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Sistema trigonomtrico en [0, ]

En el espacio PC [0, ] las familias

Pero como fp es par

Luego, el desarrollo anterior queda

que corresponde a una serie de cosenos para f.

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Encontrar los desarrollos de f en los dos sistemas ortogonales anteriores.

a) Desarrollo en serie de cosenos.- Los coeficientes son:

Luego, la serie de Fourier de cosenos de f es

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

cos x 13 cos 3x + 15 cos 5x 17 cos 7x + 19 cos 9x

b) Desarrollo en serie de senos.- Los coeficientes son:

Con g (n) = cos n + 1 2 cos 12 n se tiene: g (1) = 0 , g (2) = 4 , g (3) = 0 ,

Luego, la serie de Fourier de senos de f es

Las sumas parciales y sus grficas son:

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Sistemas trigonomtricos para [p, p] y [a, b]

y mediante el cambio de variables t = p x las integrales se transforman a

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Definicin 8 Una funcin f : R R es peridica de periodo T , T 6= 0, si

Finalmente, llamamos serie de Fourier de la funcin fe a la serie de Fourier de

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Teoremas para series de Fourier

Definicin 9 Una funcin f : R R es seccionalmente continua ai en cualquier

Definicin 10 Una funcin f : R R es seccionalmente suave (seccionalmete

Teorema 11 de Fourier sobre convergencia puntual

Note que, en un punto de continuidad de f, 12 [f (x+ ) + f (x )] = f (x) y en un

Obtener la serie de Fourier de f y trazar de la funcin definida por esta serie.

su serie de Fourier. Entonces