Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Contenidos
Clase 1
El espacio SC] − L , L[
Se define el espacio vectorial SC] − L, L[ como el conjunto de todas las funciones continuas
por partes en ] − L, L[ . Esto es, a lo más tienen un número finito de discontinuidades, en los
cuales los lı́mites laterales
Notación
f x+
lı́m+ f (x) = 0
x→x0
Notación
f x−
lı́m− f (x) = 0
x→x0
existen. Además en los extremos, los limites laterales correspondientes tambien existen.
En SC] − L , L[ diremos que dos funciones son iguales, si son iguales punto a punto, salvo
un número finito de puntos.
A PUNTES DE C LASES M ATEM ÁTICA UTFSM
Proposición 1.1. SC] − L, L[ con la suma usual de funciones y el producto escalar usual es un
R-Espacio vectorial.
ZL
hf , gi = f (x)g(x) dx
−L
Se cumple:
1. hf , f i ≥ 0 .
3. hf , gi = hg , f i .
Las demostraciones son elementales y se pueden dejar como ejercicio. Luego se cumple:
Ejemplo 1.1.
Zl
h1 , 1i = dx = 2L
−L
nπx E ZL nπx
L
D L nπx
1 , cos = cos = sen = 0
L L nπ L
−L −L
nπx E ZL nπx
L
D L nπx
1 , sen = sen = − cos = 0
L L nπ L
−L −L
D nπx mπx E ZL nπx mπx L n = m
sen , sen = sen sen dx =
L L L L
0 n 6= m
−L
D nπx mπx E ZL nπx mπx L n = m
cos , cos = cos cos dx =
L L L L
0 n 6= m
−L
De aquı́ se tiene
Proposición
La familia
n nπx nπx o
B = 1 , cos , sen
L L n∈N
hw , v1 i hw , v2 i hw , vn i
w = v1 + v2 + · · · + vn
hv1 , v1 i hv2 , v2 i hvn , vn i
hw , v1 i hw , v2 i hw , vr i
proyH (w) = v1 + v2 + · · · + vr
hv1 , v1 i hv2 , v2 i hvr , vr i
Y proyH (w) es la mejor aproximación de w por elementos de H , o bien proyH (w) es el punto de H
más próximo a w .
Las demostraciones se hacen (o debieran hacerse) en Mate 2 . Nos gustarı́a poder replicar
estas propiedades en Espacios Vectoriales con producto punto, de dimensión infinita. En
particular en SC] − L , L[ .
* ∞ +
D nπx E a0 X kπx kπx nπx
f (x) , cos = + ak cos + bk sen , cos
L 2 k=1
L L L
Despejando an se tiene:
D nπx E
f (x) , cos ZL
L 1 nπx
an = D nπx nπx E = f (x) cos dx
cos , cos L L
L L −L
ZL
a0 hf (x) , 1i 1
= ⇒ a0 = f (x) dx
2 h1 , 1i L
−L
Los coeficientes
ZL ZL ZL
1 1 nπx 1 nπx
a0 = f (x) dx ; an = f (x) cos dx ; bn = f (x) sen dx
L L L L L
−L −L −L
Se cumple:
Teorema
Sea f ∈ SC] − L, L[ suave a pedazos, entonces la serie de Fourier de f converge a f (x)
en todos los puntos de continuidad . En los puntos de discontinuidad la serie converge
al promedio
f (x+ ) + f (x− )
2
Observación 1.2. Sea f ∈ SC] − L, L[ una función suave a pedazos, considerar la extensión
periodica definida por la ecuación f (x + 2L) = f (x) . Ası́ f está definida en todo R .
Entonces la serie de Fourier converge a f (x) en todos los puntos de continuidad y converge
al promedio
f (x+ ) + f (x− )
2
en los puntos de discontinuidad. Esto incluye tambien los extremos del intervalo ] − L, L[ .
Observar que en los puntos de continuidad el promedio anterior coincide con f (x) , pues los
lı́mites laterales son iguales a f (x) . Ası́ decimos que la serie converge a f (x) en promedio.
Ejemplo 1.2. Sea f (x) = |x| para −π < x < π y suponer que f (x + 2π) = f (x) . Los
coeficientes de Fourier para f son:
Zπ Zπ
1 2
a0 = |x| dx = x dx = π
π π
−π 0
Zπ Zπ
1 2
an = |x| cos(nx) dx = x cos(nx) dx
π π
−π 0
π Zπ
2 x sen(nx)
1
= − sen(nx) dx
π n n
0 0
2
= (cos(nπ) − cos(0))
n2 π
0 si n es par
2 n
= 2 ( (−1) − 1) =
nπ −4
si n es impar
n2 π
Zπ
1
bn = |x| sen(nx) dx = 0
π
−π
Ası́
∞ ∞
π X 2 n π 4X 1
|x| = + 2
( (−1) − 1) cos(nx) = − cos((2n − 1)x)
2 n=1 n π 2 π n=1 (2n − 1)2
Ejemplo 1.3. Sea f (x) = x con −1 < x < 1 , suponer además que f (x + 2) = f (x) . Los
coeficientes de Fourier para f (x) son
Z1
1
a0 = x dx = 0
1
−1
Z1
1
an = x cos(nπx) dx = 0
1
−1
Z1 Z1
1
bn = x sen(nπx) dx = 2 x sen(nπx) dx
1
−1 0
∞
X 2 n+1 2 1 1 1
x = (−1) sen(nπx) = sen(πx) − sen(2πx) + sen(3πx) − sen(4πx) + · · ·
n=1
nπ π 2 3 4
1
En particular para x = se cumple
2
1 2 π 1 3π 1 5π 1 7π
= sen + sen + sen + sen + ···
2 π 2 3 2 5 2 7 2
2 1 1 1 1 1
= 1− + − + − + ···
π 3 5 7 9 11
Despejando
π 1 1 1 1 1
= 1− + − + − + ···
4 3 5 7 9 11
De donde se pueden obtener aproximaciones de π con tantos decimales como se desee.
Ejemplo 1.4. Considerar f (x) = x2 con −π < x < π y suponer que f (x + 2π) = f (x) .
Observar que se trata de una función par y por tanto
bn = 0 ; ∀n ∈ N
Zπ Zπ
1 2 2
an = x cos(nx) dx = x2 cos(nx) dx
π π
−π −π
2
π Zπ
2 x sen(nx)
2
= − x sen(nx) dx
π n n
0 0
Zπ
4
=− x sen(nx) dx
nπ
0
π Zπ
4 x cos(nx)
1
=− − + cos(nx) dx
nπ n n
0 0
4 cos(nπ) 4
= 2
= 2 (−1)n
n n
Luego
∞
2 π2 X (−1)n
x = +4 cos(nx)
3 n=1
n2
para todo x ∈] − π , π[ . Observar que incluso en los extremos del intervalo se cumple la
igualdad anterior. Más aún, la serie no solo aproxima a x2 en el intervalo [−π , π] sino en
toda su extensión periodica.
Evaluando en x = π la serie de Fourier converge a π 2 y se tiene:
∞
π2 X 1 1 1 1
= 2
= 2 + 2 + 2 + ···
6 n=1
n 1 2 3
Solución
Observar que f es una función par y por tanto los bn son todos 0.
Z π
π
1 1 sen αx
a0 = cos αx dx =
π −π π α −π
1
= (sen απ − sen(−απ))
απ
2 sen απ
=
απ
Para n = 1 , 2 , 3 , . . . se tiene
Z π
1
an = cos αx cos nx dx
π −π
Z π
2 1
= (cos(α + n)x + cos(α − n)x) dx
π 0 2
π
1 sen(α + n)x sen(α − n)x
= +
π α+n α−n 0
1 sen(α + n)π (α − n)π
= +
π α+n α−n
1 sen απ cos nπ + sen nπ cos απ sen απ cos nπ − sen nπ cos απ
= +
π α+n α−n
1 n sen απ n sen απ
= (−1) + (−1)
π α+n α−n
(−1)n sen απ
1 1
= +
π α+n α−n
(−1)n sen απ
α−n+α+n
=
π α 2 − n2
(−1)n 2α sen απ
=
π (α2 − π 2 )
∞
sen απ X 2α(−1)k sen απ
∴ cos αx = + 2 − k2)
cos kx
απ k=1
π (α
∞
sen απ 2α sen απ X (−1)n
cos αx = + 2 − n2
cos nx
απ π n=1
α
Solución
f (π + ) + f (π − ) cos απ + cos απ
= = cos απ
2 2
Luego
∞
sen απ 2α sen απ X (−1)n
cos απ = + 2 − n2
cos nπ
απ π n=1
α
∞
1 2α X 1
cotg απ = +
απ π n=1 α − n2
2
∞
!
1 1 X 2α
= −
π α n=1 n2 − α2
Hacer
* ∞
+
a0 X nπx nπx
kf k2 = f, + an cos + bn sen
2 n=1
L L
∞
a0 X D nπx E D nπx E
= hf , 1i + an f , cos + bn f , sen
2 n=1
L L
∞
a0 X
= La0 + an Lan + bn Lbn
2 n=1
ZL ∞
1 a2 X 2
2
dx = 0 + an + b2n
⇒ f (x)
L 2 n=1
−L
Identidad de Parseval
Sea f ∈ SC] − L , L[ suave a pedazos y sean a0 , an y bn los coeficientes de Fourier de
f . Se cumple
ZL ∞
1 2 a2 X 2
(f (x)) dx = 0 + an + b2n
L 2 n=1
−L
Ejercicio 1.1. Sea f : ]a, b[→ R suave a pedazos. Probar que f admite una Serie de Fourier
de la forma
∞
ao X 2nπx 2nπx
+ an cos + bn sen
2 n=1
b−a b−a
Ejemplo 1.6. Sea f (x) = x definida en ]0, π[ ; y suponer que f (x + π) = f (x) . Observar
que f admite una serie de Fourier en las condiciones del ejercicio anterior. Hacer
Zπ
2
a0 = x dx = π
π
0
Zπ
2
an = x cos(2nx) dx
π
0
π Zπ
2 x sen(2nx)
1
= − sen(2nx) dx = 0
π 2n 2n
0 0
Zπ
2
bn = x sen(2nx) dx
n
0
π Zπ
2 x cos(2nx)
1 1
= − + cos(2nx) dx = −
π 2n 2n n
0 0
(
x 0≤x<1
Ejercicio 1.2. Use la función f (x) =
1−x 1≤x≤2
Para probar que
1 1 1 1 π2
+ + + + ··· =
12 32 52 72 8
ZL ZL
1 2
a0 = fe(x) dx = f (x) dx
L L
−L 0
ZL ZL
1 nπx 2 nπx
an = fe(x) cos dx = f (x) cos dx
L L L L
−L 0
bn = 0
Ası́
∞
a0 X nπx
f (x) = +
e an cos ∀ −L<x<L (en promedio)
2 n=1
L
∞
a0 X nπx
f (x) = + an cos (en promedio)
2 n=1
L
Serie Cosenoidal
Sea f : [0 , L[ → R suave a pedazos, entonces
∞
a0 X nπx
f (x) = + an cos ; ∀0 ≤ x < L (en promedio)
2 n=1
L
ZL ZL
2 2 nπx
a0 = f (x) dx ; an = f (x) cos dx
L L L
0 0
ao = an = 0
ZL ZL
1 nπx 2 nπx
bn = fb(x) sen dx = f (x) sen dx
L L L L
−L 0
∞
X nπx
fb(x) = bn sen ∀ −L<x<L (en promedio)
n=1
L
∞
X nπx
f (x) = bn sen (en promedio)
n=1
L
Serie Senoidal
Sea f : [0 , L[ → R suave a pedazos, entonces
∞
X nπx
f (x) = bn sen ; ∀0 ≤ x < L (en promedio)
n=1
L
Donde:
ZL
2 nπx
bn = f (x) sen dx
L L
0
solución:
Zπ Zπ/2 Zπ
2 2 π
a0 = f (x) dx = x dx + (π − x) dx =
π π 2
0 0 π/2
ZL Zπ/2 Zπ
1 2
an = f (x) cos(nx) dx = x cos(nx) dx + (π − x) dx
π π
0 0 π/2
2 2 nπ 1 n
= cos − 2 (1 + (−1) )
π n2 2 n
− 2
si n = 2k con k impar
= k2π
0 en todos los otros casos
Ejemplo 1.8. Considere la función f (x) = sen2 (x) con 0 < x < π .
2. Calcule la suma
1 1 1 1
− + − + ···
1 · 3 · 5 3 · 5 · 7 5 · 7 · 9 7 · 9 · 11
solución:
1. Para n 6= 2 se tiene:
Z π
2
bn = sen2 (x) sen(nx) dx
π 0
Z π
2 1
= (1 − cos(2x)) sen(nx) dx
π 0 2
Z π Z π
1 1
= sen(nx) dx − cos(2x) sen(nx) dx
π 0 π 0
Z π Z π
1 1
= sen(nx) dx − [sen((n + 2)x) + sen((n − 2)x)] dx
π 0 2π 0
π
1 n 1 cos((n + 2)x) cos((n − 2)x)
= − [(−1) − 1] + +
nπ 2π n+2 n−2
0
1 1 n
= − 2 [1 − (−1)n ]
π n n −4
0 Si n es par
=
8
− Si n es impar
(n − 2)n(n + 2)π
Luego se tiene:
2 8 1 1 1 1
sen (x) = − sen(x) + sen(3x) + sen(5x) + sen(7x) + · · ·
π (−1) · 1 · 3 1·3 ·5 3·5·7 5·7 ·9
π
2. Evaluando en x = se cumple:
2
8 1 1 1 1 1
1 =− − − + − + − ···
π 1·3 1·3·5 3·5·7 5·7·9 7 · 9 · 11
Despejando
π 1 1 1 1 1
− = − + − + ···
8 3 1·3·5 3·5·7 5·7·9 7 · 9 · 11
Luego se tiene:
1 1 1 1 3π − 8
− + − + ··· =
1·3·5 3·5·7 5·7·9 9 · 11 · 13 24
solución:
Z π
2
bn = x(π − x) sen(nx) dx
π 0
Z π Z π
2 2
= π x sen nx dx − x sen nx dx
π 0 0
π 2 (−1)n+1 (−1)n+1 π
2 2 n
= − + 3 (1 − (−1) )
π n n n
0 n par
4
= 3 (1 − (−1)n ) = 8
πn n impar
n3 π
∞
8X 1
∴ x(π − x) = sen((2n − 1)x) 0≤x≤π
π n=1 (2n − 1)3
∞
X (−1)n+1
2. Use lo anterior para calcular la suma de la serie .
n=1
(2n − 1)3
solución:
π
Evaluando en x =
2
∞ ∞
π2 8 X (−1)n+1 X (−1)n+1 π3
= ⇒ =
4 π n=1 (2n − 1)3 (2n − 1)3 32
(2n−1)3
∞
a0 X nπx nπx
f (x) = + an cos + bn sen
2 n=1
L L
ZL ∞ ZL
1 X
1 nπt nπx
= f (t) dt + f (t) cos dt cos
2L n=1
L L L
−L −L
ZL
1 nπt nπx
+ f (t) sen dt sen
L L L
−L
nπ nπ π
Hacer αn = . Con esto L = y ∆α = αn+1 − αn = .
L αn L
Se cumple:
∆α → 0 ⇔ L→∞
L L
ZL ∞ Z Z
∆α 1 X
f (x) = f (t) dt + f (t) cos(αn t) dt cos(αn x) + f (t) sen(αn t) dt sen(αn x) ∆α
2π π n=1
−L −L −L
Para todo x ∈] − L , L[ (en promedio) . Observar que este último sumando corresponde a
una suma de Riemman para la función
L L
Z Z
g(α) = f (t) cos(αt) dt cos(αx) + f (t) sen(αt) dt sen(αx)
−L −L
ZL
∆α
lı́m f (t) dt = 0
∆α→0 2π
−L
Y por la otra
∞ Z∞
1X 1
lı́m g(αn ) ∆α = g(α) dα
∆α→0 π π
n=1 0
Ası́:
Z∞ Z∞ Z∞
1
f (x) = f (t) cos(αt) cos(αx) + f (t) sen(αt) sen(αx) dα
π
0 −∞ −inf ty
Integral de Fourier
Sea f : R → R suave a pedazos, entonces
Z∞
1
f (x) = [A(α) cos(αx) + B(α) sen(αx)] dα
π
0
Z∞
Observación 1.4. (i) si f es par, entonces B(α) = 0 y A(α) = 2 f (t) cos(αt) dt y
0
Z∞ Z∞ Z∞
1 2
f (x) = A(α) cos(αx) dα = f (t) cos(αt) dt cos(αx) dα
π π
0 0 0
Z∞
(ii) Si f es impar, entonces A(α) = 0 y B(α) = 2 f (t) sen(αt) dt y
0
Z∞ Z∞ Z∞
1 2
f (x) = B(α) sen(αx) dα = f (t) sen(αt) dt sen(αx) dα
π π
0 0 0
(
1 |x| ≤ 1
Ejemplo 1.10. Encuentre la integral de Fourier de f (x) =
0 |x| > 1
Z ∞
sen(w)
Calcule dw
0 w
Solución:
Z ∞
A(w) = 2 f (x) cos(wx) dx
0
Z 1
=2 cos(wx) dx
0
1
sen(wx)
=2 ·
w
0
sen(w)
=2 ·
w
Z ∞
1 sen(w)
Con esto f (x) = 2 cos(wx) dw (en promedio)
π 0 w
Evaluando en x = 0 se tiene
2 ∞ sen(w) ∞
Z Z
sen(w) π
f (0) = 1 = dw ⇒ dw =
π 0 w 0 w 2
Pues f es continua en x = 0 .
El cálculo de la integral se hace integrando por partes varias veces. A modo de ejemplo:
Z∞ ∞
Z∞
t e−t sen(wt) dt = − e−t (1 + t) sen(wt) + w e−t (1 + t) cos(wt) dt
0 0 0
Z∞
∞
= w − e−t (2 + t) cos(wt) − w e−t (2 + t) sen(wt) dt
0 0
Z∞ Z∞
= 2w − w2 t e−t sen(wt) dt − 2w2 e−t sen(wt) dt
0 0
Despejando queda:
Z∞ Z∞
1
t e−t sen(wt) dt = 2w − 2w2 e−t sen(wt) dt
1 + w2
0 0
Observación 1.5. Para una función f definida en R+ 0 se puede considerar una extensión
par de ella y obtener ası́ una representación de f mediante una integral cosenoidal, la cual
converge, en promedio, a f (x) para todo x ≥ 0 . Queda
Z∞ Z∞ Z∞
1 2
f (x) = A(w) cos(wx) dw = f (t) cos(wt) dt cos(wx) dw
π π
0 0 0
Analogamente se puede considerar una extensión impar y obtener ası́ una representación de
f mediante una integral senoidal, la cual converge, en promedio, a f (x) para todo x ≥ 0 .
Queda
Z∞ Z∞ Z∞
1 2
f (x) = B(w) sen(wx) dw = f (t) sen(wt) dt sen(wx) dw
π π
0 0 0
Los argumentos son iguales a como se hizo para obtener series senoidales o cosenoidales
para una función definida en [0 , L[ .
Z∞
B(α) = 2 f (t) sen(αt) dt
0
Zπ
π
=2 sen(t) sen(αt) dt
2
0
Zπ
π
= [cos((1 − α)t) − cos((1 + α)t)] dt
2
0
π sen(απ)
=
1 − α2
Por lo tanto
Z ∞
sen(απ) sen(αx)
f (x) = 2 dα
0 1 − α2