Eeeee

Funciones ortogonales y series de Fourier
Las series e integrales de Fourier constituyen un tema cl´sico del An´lisis Matem´tico. Desde
a
a
a
su aparici´n en el siglo XVIII en el estudio de las vibraciones de una cuerda, las series de
o
Fourier se han convertido en un instrumento indispensable en el an´lisis de ciertos fen´menos
a
o
peri´dicos de la F´
o
ısica y la Ingenier´ La ideafundamental se basa en aproximar la funci´n,
ıa.
o
no por una serie de potencias (desarrollo de Taylor), sino por una serie de funciones peri´dicas
o
(senos y cosenos).
En lo que sigue consideraremos que las funciones con las que se trabaja son Riemann
integrables en el intervalo correspondiente (bastar´ por ejemplo, suponer que son continuas
ıa,
salvo en un n´mero finito de puntos dondepresentan discontinuidades de salto).
u

1

0.1. FUNCIONES ORTOGONALES

2

0.1. Funciones ortogonales
Definici´n 0.1.1. El producto escalar de dos funciones f1 y f2 definidas en un intervalo
o
[a, b] es el n´mero
u
∫b
⟨ f1 , f 2 ⟩ =
f1 (x)f2 (x) dx
a

Entonces la norma que induce este producto escalar de una funci´n f definida en el
o
intervalo [a, b] es el n´mero
u
∫
)1
( b2f (x) dx 2
∥f ∥ =
a

Definici´n 0.1.2. Dos funciones f1 y f2 son ortogonales en el intervalo [a, b] si
o
∫b
⟨ f1 , f 2 ⟩ =
f1 (x)f2 (x) dx = 0
a

Por ejemplo, las funciones f1 (x) = x2 y f2 (x) = x3 son ortogonales en el intervalo [−1, 1]
puesto que
∫1
∫1
[ 1 ]1
23
⟨ f1 , f 2 ⟩ =
x x dx =
x5 dx = x6 −1 = 0
6
−1
−1
Definici´n 0.1.3. Se dice que un conjunto de funciones {ϕn }∞es ortogonal en el intervalo
o
n=0
[a, b] si
∫b
⟨ϕ m , ϕ n ⟩ =
ϕm (x)ϕn (x) dx = 0,
m ̸= n
a

Si {ϕn }∞ es un conjunto ortogonal de funciones en el intervalo [a, b] con la propiedad
n=0
de que ∥ϕn ∥ = 1 para cualquier n, entonces se dice que {ϕn }∞ es un conjunto ortonormal
n=0
en el intervalo [a, b].

0.1. FUNCIONES ORTOGONALES

3

Ejemplo 0.1.4. El conjunto {ϕn (x) =cos(nx)}∞ es ortogonal en el intervalo [−π, π ]. En
n=0
efecto,
∫
⟨ϕ0 , ϕn ⟩ =

π

1 cos(nx) dx =
−π

]π
[1
sen(nx) −π = 0,
n

n ̸= 0

Si m y n son ambos distintos de 0,
∫

∫
)
1 π(
⟨ϕ m , ϕ n ⟩ =
cos(mx) cos(nx) dx =
cos((m + n)x) + cos((m − n)x) dx =
2 −π
−π
1 [ sen((m + n)x) sen((m − n)x) ]π
=
+
= 0,
m ̸= n
−π
2
m+n
m−n
π

En este ejemplo, si calculamos lasnormas de cada funci´n, obtenemos:
o

∥ϕ0 ∥ =

(

∫

π

)1 √
dx 2 = 2π

−π

y para n > 0,
∥ϕn ∥ =

(

∫

π
2

cos (nx) dx
−π

)1
2

(1
=
2

∫

π

)1 √
[1 + cos(2nx)] dx 2 = π

−π

1 cos(x) cos(2x)
, . . . , } es ortonormal en [−π, π ].
De esta forma el conjunto { √ , √ , √
π
π
2π

0.1. FUNCIONES ORTOGONALES

4

Nota 0.1.5. De manera an´logapuede probarse que el conjunto
a
sen(x) sen(2x)
1 cos(x) cos(2x)
{√ , √ , √
,..., √ , √
,...,}
π
π
π
π
2π
es ortonormal en [−π, π ].
Es conocido que, dada una base ortogonal en un espacio vectorial de dimensi´n finita,
o
cualquier elemento de dicho espacio vectorial puede representarse como combinaci´n lineal
o
de los elementos de esa base. Nuestro objetivo es extender esta propiedad aun espacio de
dimensi´n infinita.
o
Sea {ϕn }∞ un conjunto ortogonal de funciones en el intervalo [a, b] y sea f una funci´n
o
n=0
definida en ese intervalo. Los coeficientes cm , m = 0, 1, 2, . . . , para los que
f (x) = c0 ϕ0 (x) + c1 ϕ1 (x) + · · · + cn ϕn (x) + . . .
se calculan multiplicando esta expresi´n por ϕm e integrando en el intervalo [a, b]
o
∫

∫

b

f (x)ϕm (x) dx = c0a

∫

b

ϕ1 (x)ϕm (x) dx+· · ·+cn

ϕ0 (x)ϕm (x) dx+c1
a

∫

b

a

b

ϕn (x)ϕm (x) dx+. . .
a

Por ortogonalidad, cada t´rmino del lado derecho de la ultima ecuaci´n es cero, excepto
e
´
o
cuando n = m. En este caso, se tiene
∫b
∫b
∫b
f (x)ϕn (x) dx = cn
ϕn (x)ϕn (x) dx = cn
ϕ2 (x) dx
n
a

a

a

Por tanto,
f (x) =

∞
∑

cn ϕn (x)

n=0

donde los...