UNIDAD 04
Series de Fourier
CÁLCULO III
[Link]. Néstor Dávila Flores
Facultad de Ingeniería, Arquitectura y Urbanismo
Sección N°01
Funciones Ortogonales
Definición: Producto interno de funciones
El producto interno de dos funciones 𝑓1 y 𝑓2 sobre un intervalo [𝑎, 𝑏] es el número
𝑏
𝑓1 , 𝑓2 = න 𝑓1 𝑥 𝑓2 𝑥 𝑑𝑥
𝑎
Definición: Funciones Ortogonales
Dos funciones 𝑓1 y 𝑓2 son ortogonales sobre un intervalo [𝑎, 𝑏] es el número
𝑏
𝑓1 , 𝑓2 = න 𝑓1 𝑥 𝑓2 𝑥 𝑑𝑥 = 0
𝑎
Ejemplo
Cuáles de las siguientes par de funciones son ortogonales sobre [−1,1]
❖ 𝑓1 𝑥 = 𝑥 2 y 𝑓2 𝑥 = 𝑥 3
❖ 𝑓1 𝑥 = 𝑥 2 y 𝑓2 𝑥 = 𝑥 4
A diferencia del análisis vectorial, donde la palabra ortogonal es sinónimo de perpendicular, en este
contexto el ´término ortogonal y la condición anterior no tiene significado geométrico. Observe que
la función cero es ortogonal a toda función.
Definición: Conjunto Ortogonal
Un conjunto de funciones de valor real {𝜙0 𝑥 , 𝜙1 𝑥 , 𝜙2 𝑥 , … } se dice que es ortogonal
sobre un intervalo [𝑎, 𝑏] si
𝑏
𝜙𝑚 , 𝜙𝑛 = න 𝜙𝑚 𝑥 𝜙𝑛 𝑥 𝑑𝑥 = 0, 𝑚≠𝑛
𝑎
Ejemplo
Demuestre que el conjunto {1, cos 𝑥 , cos 2𝑥 , … } es ortogonal sobre el intervalo [−𝜋, 𝜋]
Definición: Norma
La norma cuadrada de una función 𝜙𝑛 es 𝜙𝑛 (𝑥) 2 = 𝜙𝑛 , 𝜙𝑛 y así la norma o longitud
generalizada de es 𝜙𝑛 (𝑥) = 𝜙𝑛 , 𝜙𝑛 . En otras palabras, la norma cuadrada y la norma de una
función 𝜙𝑛 en un conjunto ortogonal {𝜙𝑛 (𝑥)} son, respectivamente,
𝑏 𝑏
𝜙𝑛 (𝑥) 2 = 𝑛𝜙 𝑎2 𝑥 𝑑𝑥 y 𝜙𝑛 (𝑥) = 𝑛𝜙 𝑎2 𝑥 𝑑𝑥
Ejemplo
Dado el conjunto {1, cos 𝑥 , cos 2𝑥 , … }, calcule la norma de cada función sobre el intervalo
[−𝜋, 𝜋]
Definición: Conjunto ortonormal de funciones
Si {𝜙𝑛 (𝑥)} es un conjunto ortogonal de funciones sobre el intervalo [𝑎, 𝑏] con la propiedad de que
𝜙𝑛 (𝑥) = 1 para 𝑛 = 0,1,2, …, entonces se dice que {𝜙𝑛 (𝑥)} es un conjunto ortonormal sobre el
intervalo
Normalización: Cualquier conjunto ortogonal de funciones diferentes de cero {𝜙𝑛 (𝑥)}, 𝑛 =
0,1,2, …, se puede normalizar, es decir, transformando en un conjunto ortonormal dividiendo cada
función por su norma.
Ejemplo
Normalizar el conjunto {1, cos 𝑥 , cos 2𝑥 , … }, sobre el intervalo [−𝜋, 𝜋].
Desarrollo en Series Ortogonales:
Supongamos que {𝜙𝑛 (𝑥)} es un conjunto infinito de funciones ortogonales sobre un intervalo
[𝑎, 𝑏]. Nos preguntamos si 𝑦 = 𝑓(𝑥) es una función definida sobre el intervalo [𝑎, 𝑏], es posible
determinar un conjunto de coeficientes 𝑐𝑛 , 𝑛 = 0,1,2, …, para el que
𝑓 𝑥 = 𝑐0 𝜙0 + 𝑐1 𝜙1 + ⋯ + 𝑐𝑛 𝜙𝑛 + ⋯ ?
EJERCICIOS
Sección N°02
Series de Fourier
Sea el conjunto ortogonal de funciones trigonométricas
Suponga que 𝑓 es una función definida sobre el intervalo −𝑝, 𝑝 y que se puede desarrollar en
una serie ortogonal formada por las funciones trigonométricas en el conjunto ortogonal (1), es
decir,
(2)
Los coeficientes 𝑎0 , 𝑎1 , 𝑎2 , … , 𝑏1 , 𝑏2 , … se pueden determinar exactamente de la misma manera
que en el análisis general de los desarrollos en series ortogonales.
Ahora, integrando ambos miembros de la ecuación (2), desde −𝑝 hasta 𝑝, se obtiene
Puesto que cos(𝑛𝜋𝑥/𝑝) y sen(𝑛𝜋𝑥/𝑝), 𝑛 ≥ 1 son ortogonales a 1 sobre el intervalo −𝑝, 𝑝 , el
miembro derecho de (3) se reduce a un solo término:
(∗1 )
𝑚𝜋𝑥
Ahora multiplicando la ecuación (2) por cos( )e integrando:
𝑝
(4)
Por ortogonalidad, tenemos que
Por lo que la ecuación en (4) se reduce a
(∗2 )
𝑚𝜋𝑥
Por último, si multiplicamos (2) por 𝑠𝑒𝑛( 𝑝
), integramos y utilizamos los resultados
Encontramos que
(∗3 )
La serie Trigonométrica (2) con coeficientes 𝑎0 , 𝑎𝑛 𝑦 𝑏𝑛 definidos por las ecuaciones (∗1 ), (∗2 ) y
(∗3 ) respectivamente, se dice que es una Serie de Fourier de la función 𝑓.
Las fórmulas (∗1 ), (∗2 ) y (∗3 ) que dan los coeficientes en una serie de Fourier se conocen como las
fórmulas de Euler.
Definición: Serie de Fourier
La serie de Fourier de una función 𝑓 definida sobre el intervalo −𝑝, 𝑝 está dado por
donde
Teorema: Condiciones para la convergencia
Sea 𝑓 y 𝑓’ continuas por tramos sobre el intervalo [−𝑝, 𝑝]. Entonces para todo 𝑥 en el intervalo
−𝑝, 𝑝 , la serie de Fourier de 𝑓 converge a 𝑓(𝑥) en un punto de continuidad. En un punto de
discontinuidad la serie de Fourier converge al promedio
𝑓 𝑥 + + 𝑓(𝑥 − )
,
2
En donde 𝑓(𝑥 + ) y 𝑓(𝑥 − ) denotan el límite de 𝑓 en 𝑥, por la derecha y por la izquierda,
respectivamente.
Ejemplo
Encuentre la serie de Fourier de 𝑓 en el intervalo dado. Proporcione un número para el cual la
serie de Fourier converge hacia un punto de discontinuidad de 𝑓.
EJERCICIOS
1-12
Sección N°03
Series de Fourier de Senos y Cosenos
Si 𝑓 es una función par sobre −𝑝, 𝑝 , entonces en vista de las propiedades anteriores, los
coeficientes (∗1 ), (∗2 ) y (∗3 ) se convierten en
De la misma manera, cuando 𝑓 es impar sobre el intervalo −𝑝, 𝑝
Resumiremos los resultados en la siguiente definición.
Definición: Serie de Fourier de Senos y Cosenos
1) La serie de Fourier de una función 𝑓 par definida sobre el intervalo −𝑝, 𝑝 es la serie de
Fourier de cosenos
donde
2) La serie de Fourier de una función 𝑓 impar definida sobre el intervalo −𝑝, 𝑝 es la serie de
Fourier de senos
donde
