FUNCIONES ORTOGONALES 

Y SERIES DE FOURIER

INTRODUCCION

El lector ha estudiado ya, en el cálculo infinitesimal, los vectores en el espacio

de dos y tres dimensiones, y sabe que dos vectores no cero son ortogonales
cuando su producto punto, o producto interno, es cero. Al dejar ese nivel, las
nociones de vectores, ortogonalidad y producto interno pierden, con frecuencia,
su interpretación geométrica. Estos conceptos se han generalizado es muy
común imaginar que una función es un vector. En consecuencia, podemos
decir que dos funciones distintas son ortogonales cuando su producto interno
es cero. En este caso, veremos que el producto interno de los vectores es una
integral definida.

Otro concepto que se vio en cálculo infinitesimal fue el desarrollo de una

función f como serie infinita de potencias de x - a, llamada serie de potencias.
En este capítulo aprenderemos a desarrollar una función f en términos de un
conjunto infinito de funciones ortogonales.

FUNCIONES ORTOGONALES

Supongamos que u y v son vectores en el espacio tridimensional. El producto

interno (u, v) de los vectores, que también se escribe u.v, posee las
propiedades siguientes:

i) (u, v) = (v, u)

ii) (ku, v) = k(u, v), donde k es un escalar

iii) (u, u)= 0, si u= 0,y (u,u) > 0 si u ≠ 0

iv) (u + v, w) = (u, w) + (v, w).

Esperamos que una generalización del concepto de producto interno debe

tener las mismas propiedades.

DEFINICIÓN Producto interno

El producto interno de dos funciones ƒ1 y ƒ2 en un intervalo [a, b] es el

número
DEFINICION Funciones ortogonales

Dos funciones ƒ1 y ƒ2 son ortogonales en un intervalo [a, b] si

EJEMPLO 1 Funciones ortogonales

Las funciones ƒ1 (x) = x2 y  ƒ2 (x) = x3 son ortogonales en el intervalo [-1, 1]

porque

EJERCICIOS

En los problemas 1 a 6, demuestre que las funciones respectivas son

ortogonales en el intervalo indicado.
 Serie de Fourier

Una serie de Fourier es una serie infinita que converge puntualmente a una
función continua y periódica. Las series de Fourier constituyen la herramienta
matemática básica del análisis de Fourier empleado para analizar funciones
periódicas a través de la descomposición de dicha función en una suma
infinitesimal de funciones senoidales mucho más simples (como combinación
de senos y cosenos con frecuencias enteras). El nombre se debe al
matemático francés Jean-Baptiste Joseph Fourier que desarrolló la teoría
cuando estudiaba la ecuación del calor. Fue el primero que estudió tales series
sistemáticamente, y publicando sus resultados iniciales en 1807 y 1811. Esta
área de investigación se llama algunas veces Análisis armónico.

Es una aplicación usada en muchas ramas de la ingeniería, además de ser una

herramienta sumamente útil en la teoría matemática abstracta. Áreas de
aplicación incluyen análisis vibratorio, acústica, óptica, procesamiento de
imágenes y señales, y compresión de datos. En ingeniería, para el caso de los
sistemas de telecomunicaciones, y a través del uso de los componentes
espectrales de frecuencia de una señal dada, se puede optimizar el diseño de
un sistema para la señal portadora del mismo. Refiérase al uso de un
analizador de espectros.

Las series de Fourier tienen la forma:

Donde y se denominan coeficientes de Fourier de la serie de

Fourier de la función

La Serie de Fourier de una función f definida en el intervalo (- L, L) está dada

por

                 

                                                     
 
Donde
 Ejercicios Propuestos

Encuentre la serie de Fourier de f en el intervalo dado

 Funciones Ortogonales y
Series de Fourier
• 12.1 Funciones Ortogonales
• 12.2 Series de Fourier
• 12.3 Series de Fourier de Cosenos y Senos
• 12.4 Series d eFourier Complejas
• 12.5 Problema de Sturm-Liouville
• 12.6 Series de Bessel y Legendre

Ejemplo
• Las funciones f1(x) = x2, f2(x) = x3 son ortogonales en el intervalo [−1, 1] puesto
que
1
1 1
( f1, f 2 )   x ．x d x  x 6  0
2 3
1 6 1

Conjuntos Ortonormales
La expresión (u, u) = ||u||2 se llama norma cuadrada. Por tanto podemso definir la
norma cuadrada de una función como

(3)

Si {n(x)} es un conjunto ortogonal en [a, b] con la propiedad de que ||n(x)|| = 1 para

todo n, entonces se llama conjunto ortonormal en [a, b].

2 b 2 b 2
n ( x )   
a n dx, n ( x )  a n
( x ) dx
Ejemplo 1

Demuestre que el conjunto {1, cos x, cos 2x, …} es ortogonal en [−, ].
Solución
Sea 0(x) = 1, n(x) = cos nx, comprobamos que

 
(0 , n )   0 ( x)n ( x)dx   cos nxdx
 
1
 sin nx   0, for n  0
n

Ejemplo 1 (2)
 
(m ,n )   m ( x)n ( x) dx   cos mx  cos nxdx
 
1 
2 
 [cos(m  n) x  cos(m  n) x]dx

1 sin(m  n) x sin(m  n) x 
    0, m  n
2 m n m  n  

Ejemplo 2
Determine la norma de cada función del Ejemplo 1.
Solución
2 
0  1, 0   dx  2  0  2

n  cos nx,
2  1  2
|| n ||   cos nxdx   (1  cos 2nx)dx  
 2 
|| n ||  , n  0
Analogía con Vectores

Recordando de la teoría de vectores en 3 dimensiones que tenemos

(4) u  c1v1  c2 v 2  c3 v 3 ,
3
(5) u  (u, v12) v1  (u, v 22) v 2  (u, v32) v3   (u, v n 2) v n
|| v1 || || v 2 || || v3 || n 1 || v n ||

Así podemos hacer una analogía entre funciones y vectores.

Desarrollo en Series Ortogonales

• Suponga que {n(x)} es un conjunto ortogonal en [a, b]. Si f(x) está definida en
[a, b], escribimos primero

(6) f ( x)  c00 ( x)  c11 ( x)    cnn ( x)  ?

Entonces
b
a f ( x)m ( x) dx
b b
 c0  0 ( x)m ( x) dx  c1  1 ( x)m ( x) dx  
a a
b
 cn  n ( x)m ( x) dx  
a

 c0 (0 , m )  c1 (1 , m )    cn (n , m )  

Como {n(x)} es un conjunto ortogonal en [a, b], cada término en el lado derecho es
nulo, excepto m = n. En este caso tenemos
b b 2
a f ( x)n ( x)dx  cn (n ,n )  cn  n ( x) dx
a
b
a
cn  b
f ( x)n ( x)dx
, n  0,1,2,...
2
a n ( x)dx
En otras palabras,

(7) f ( x)   cnn ( x ),
n0

b
(8)
cn 
a
f ( x)n ( x ) dx
|| n ( x ) ||2
Entonces (7) se transforma en


( f , n )
(9) f ( x)    ( x)
2 n
n 0 || n ( x ) ||

Conjuntos Completos

Conjuntos Completos

Un conjunto ortogonal es completo si la única función ortogonal continua a cada

miembro del conjunto es función nula.

12.2 Series de Fourier

• Una Serie Trigonométrica
Podemos demostrar que el conjunto

(1)

es orthogonal en [−p, p]. Así una función f definida en [−p, p] puede escribirse
como

(2)
 • Ahora calculamos los coeficientes.

p a p  p n p n 
 p f ( x)dx  20  pdx    an  p cos
n 1  p
xdx  bn  sin
p p
xdx 

(3)

Como cos(nx/p) y sin(nx/p) son ortogonales a 1 en este intervalo, entonces

(3) se transforma en
p
p a p a
 p f ( x)dx  0  dx  0 x  pa0
2 p 2 p

Así tenemos
1 p
p  p
a0  f ( x)dx (4)

• Además,

(5) p m
 p f ( x) cos
p
xdx

a p m
 0  cos xdx 
2 p p

 p m m p m n 
 n  p p
 a cos x cos
p
x dx  bn  p cos
p
x sin
p
x dx 
n 1  
por ortogonalidad tenemos

p m
 p cos p
xdx  0, m  0

p m n
 p cos p x sin p xdx  0
Y

Así (5) se reduce a

p m n  0, m  n
 p cos
p
x cos
p
xdx  
 p, m  n
y por tanto
 (6)

Finalmente, si multiplicamos (2) por sin(mx/p) y usamos

p m
 p sin p
xdx  0, m  0

p m n
 p sin p x sin p xdx  0
y p m n  0, m  n
 p sin p
x sin
p
xdx  
 p, m  n

obtenemos que
p m n  0, m  n
(7)
 p sin
p
x sin
p
x dx  
 p, m  n
Ejemplo 1
Desarrolle (12) en una serie de Fourier.

0,   x  0
f ( x)  
  x, 0 x 
Solución
La gráfica de f se muestra en la Fig 12.1 con p = .

a0 
1 
 
f ( x) dx 
1

 0dx   (  x) dx
0


0

1 x2  
  x   
 2 0 2

Ejemplo 1 (2) 1 
 
an  f ( x ) cos nx dx

1 0
 
 
  0dx   (  x) cos nx dx
0


1 sin nx 1  
 (  x )   sin nx dx 
 n 0 n 0 

1 cos nx

n n 0

 cos n  1 1  (1) n
 
n 2 n 2

Ejemplo 1 (3)
De (11) tenemos
1  1
bn  
 0
(  x) sin nxdx 
n
Po tanto
(13)

  1  (1) n 1 
f ( x)     2 cos nx  sin nx 
4 n1  n  n 
Fig 12.1

Ejemplo 2

• La función f en el Ejemplo 1, es continua en (−, ) excepto en x = 0. Así que la

serie (13) converge a
f (0  )  f (0  )   0 
 
en x = 0. 2 2 2

Extensió n Perió dica

• Fig 12.2 es la extensión periódica de la función f del Ejemplo 1. Así que la

discontinuidad en x = 0, 2, 4, … converge a

y en x = , 3, … converge a

f (
0)) ff((00)) 
 0
22 2
 Fig 12.2

Secuencia de Sumas Parciales

• Secuencia de Sumas Parciales

Para (13), escribimos las sums parciales como

  2
S1  , S2   cos x  sin x,
4 4 
 2 1
S3   cos x  sin x  sin 2 x
4  2
Fig 12.3