ANALISIS MATEMATICO III SERIES DE FOURIER

Capitulo 5
Funciones Ortogonales y Series de Fourier

Ortogonalidad (vectores de Rn - no nulos) 

Producto Interior Usual ó Producto Escalar
 dos funciones son ortogonales si su P.I. Usual es cero.

El Producto Interior de funciones está dado por una integral definida.

Recordemos:
Supongamos u y v vectores en el espacio R3.
El PI 〈 〉 posee las propiedades:
1. 〈 〉 〈 〉
2. 〈 〉 〈 〉 〈 〉 k: escalar real
3. 〈 〉 y〈 〉 si y solo si u = 0
Una generalización del producto interior debe cumplir con esas propiedades.
 ANALISIS MATEMATICO III SERIES DE FOURIER
Producto Interior de Funciones:
Sean y [ ], como la integral de , cumple con propiedades
de PI. Se puede definir:

Def 1: El P.I entre y en intervalo[ ], es el número

〈 〉 ∫

Def.2: y son funciones ortogonales en [ ], si

〈 〉 ∫

Ejemplo: y son ortogonales en [ ]:

〈 〉 ∫
 ANALISIS MATEMATICO III SERIES DE FOURIER
Observación: En el análisis vectorial ortogonal es sinónimo de perpendicularidad en
este contexto no tiene significado geométrico.

Def. 3: Un conjunto de funciones reales { } es

ortogonal en [ ] si:

〈 〉 ∫

Norma o longitud de un vector: ‖ ‖ 〈 〉 o‖ ‖ 〈 〉

Norma de función :‖ ‖ 〈 〉 [∫ ]

Si { } es conjunto ortogonal de funciones en[ ] y además ‖ ‖ ,

n  0,1,2,...

Entonces { } es un conjunto ortonormal en[ ]

 ANALISIS MATEMATICO III SERIES DE FOURIER
Ejemplo

Mostrar que { } es ortogonal en [ ]

Tomando (x) = 1 y (x) = , debemos mostrar que:

∫– , para

∫– , para .

Un conjunto ortogonal de funciones { }, no nulas Se puede

NORMALIZAR y transformarlo en un conjunto ORTONORMAL dividiendo cada
función por su NORMA.
 ANALISIS MATEMATICO III SERIES DE FOURIER

Otras analogías entre vectores y funciones.

Suponga que son ortogonales en R3.

{ } una base para R3, : cualquier ,

(1)
: escalares, componentes del vector.
Cada componente se puede expresar en términos de y correspondiente.
Usando (1)

〈 〉 〈 〉= 〈 〉 〈
⏟ 〉 〈
⏟ 〉

〈 〉 〈 〉
Por ortogonalidad 〈 〉 〈 〉
〈 〉 ‖ ‖
 ANALISIS MATEMATICO III SERIES DE FOURIER
en forma semejante

〈 〉
‖ ‖

〈 〉
‖ ‖

〈 〉 〈 〉 〈 〉 〈 〉
∑
‖ ‖ ‖ ‖ ‖ ‖ ‖ ‖

De esta forma encontramos los para un conjunto ortogonal de funciones { }

en[ ] y expresar a ) como combinación lineal de { }.

〈 〉
‖ ‖
(2)
 ANALISIS MATEMATICO III SERIES DE FOURIER
Entonces
〈 〉
∑ ∑
‖ ‖

Conjunto ortogonal y función peso

Un conjunto { } es ortogonal con respecto a una función peso w(x), en [ ]

si:
∫ ,

Se supone que en el intervalo de ortogonalidad [ ]; el conjunto del

ejemplo 1 es ortogonal a en el intervalo [ ].
Si { } es ortogonal con respecto a una función peso en el intervalo [ ],
al multiplicar por e integrar se obtiene:
 ANALISIS MATEMATICO III SERIES DE FOURIER
∫
‖ ‖
(3)

‖ ‖ ∫

Entonces la serie de con coeficientes determinados por (2) ó (3) es un

desarrollo en series ortogonales de ó serie de FOURIER generalizada
 ANALISIS MATEMATICO III SERIES DE FOURIER
SERIES de FOURIER

Un conjunto ortogonal, de funciones trigonométricas

{ } (1) en (– )

Aplicación
Solución de problemas de valor en la Frontera relacionados con EDDP lineales

SERIE TRIGONOMETRICA

Sea f(x) definida en (– ) y que se puede desarrollar en una serie ortogonal

∑ ( ) (2)
 ANALISIS MATEMATICO III SERIES DE FOURIER
Coeficientes de Fourier

∫ ∫ ∑ (∫ ∫ )

Como y , n ≥ 1, son ortogonales en el intervalo definido:

∫ ∫ ∫

∫
 ANALISIS MATEMATICO III SERIES DE FOURIER
Multiplicando a (2) por e integrado entre –p y p:

∫ ∫
∑ (∫ ∫ )
Por ortogonalidad

∫ =0,

∫ {


∫ =0
 ∫

 ∫
 ANALISIS MATEMATICO III SERIES DE FOURIER
Análogamente si multiplicamos por y haciendo uso de

∫ ,m 0

∫ {

∫ {


∫
 ANALISIS MATEMATICO III SERIES DE FOURIER

 ∑ ( )

SERIE de FOURIER de la función f(x) en el intervalo(– ).

Al determinar los coeficientes se supone que es integrable en el intervalo y que

(2), así como la serie obtenida al multiplicar (2) por converge de tal manera
que permite la integración término a término. Hasta que se demuestra que (2) es
convergente para una determinada función .
 ANALISIS MATEMATICO III SERIES DE FOURIER
Definición
La serie de FOURIER de una función definida en el intervalo se determina
mediante

∑ ( )
Donde:
∫

∫
 ANALISIS MATEMATICO III SERIES DE FOURIER
Ejemplo
Desarrolle {

Convergencia de una serie de Fourier

Condiciones de convergencia – (DIRICHLET)

Sean y continuas por partes en , es decir continuas excepto en un

número finito de puntos en el intervalo y con discontinuidades finitas sólo en esos
puntos:
La serie de Fourier de en el intervalo dado converge a en un punto de
continuidad.
o converge a , donde y denotan el límite de en por
derecha y por izquierda respectivamente.
 ANALISIS MATEMATICO III SERIES DE FOURIER
Extensión periódica
Observemos que cada una de las funciones del conjunto básico (1) tiene un período
fundamental diferente, los cuales son del tipo , n  1, como todo múltiplo entero
positivo de un período es también un período, se observa que todas las funciones
tienen en común el período 2p, de hecho 2p es el período fundamental de la suma.
Por lo tanto podemos concluir que una serie de Fourier no sólo representa la
función en el intervalo sino también da la extensión periódica de fuera
de ese intervalo, ahora se puede aplicar la condición de convergencia a la extensión
periódica de f, o se podría suponer desde el principio que la función es periódica con
período , es decir .
 ANALISIS MATEMATICO III SERIES DE FOURIER
SERIES de FOURIER de COSENOS y de SENOS
Funciones PARES e IMPARES
La determinación de los coeficientes de Fourier se reduce cuando es una función
par ó impar.
Función PAR Función IMPAR
En un intervalo simétrico la gráfica de una función par es simétrica con
respecto al eje y, mientras que una función impar es simétrica con respecto al
origen.
Propiedades de funciones pares e impares
a) El producto de dos funciones pares es par.
b) El producto de dos funciones impares es par.
c) El producto de una función par por una función impar es impar.
d) La suma (diferencia) de dos funciones pares es par
e) La suma (diferencia) de dos funciones impares es impar
f) Si f es par, entonces ∫ ∫
g) Si f es impar, entonces ∫
 ANALISIS MATEMATICO III SERIES DE FOURIER
Serie de COSENOS y de SENOS

Si es par en el período los coeficientes de Fourier:

∫ ∫

∫ ∫

La serie de Fourier de una función par en es una serie de cosenos.

 ANALISIS MATEMATICO III SERIES DE FOURIER
Si es impar:

∫ ∫

La serie de Fourier de una función impar en es una serie de senos.

 ANALISIS MATEMATICO III SERIES DE FOURIER
Desarrollo en semi-intervalos

1.- Reflejar la gráfica de la función respecto al eje y, con x entre , con lo

cual la función queda PAR en el período
 ANALISIS MATEMATICO III SERIES DE FOURIER
2.- Reflejar la gráfica de la función respecto al origen, con entre , por lo
tanto la función es IMPAR en el período Fig 2)
 ANALISIS MATEMATICO III SERIES DE FOURIER
3.- Definir en mediante no es par ni es impar