Introducción Antes de ver este módulo, esperamos que usted este completamente convencido que cualquier función periódica f t , se puede representar como una suma de senosoidales complejos. Si usted no lo esta, intente ver la sección de generalidades de eigenfunciones o de eigenfunciones de los sistemas LTI. Hemos demostrado que podemos representar la señal como una suma de exponenciales usando las ecuaciones de las series de Fourier mostradas aquí: f t n c n ω 0 n t c n 1 T t T 0 f t ω 0 n t Joseph Fourier insistió que estas ecuaciones eran verdaderas, pero nunca las pudo probar. Lagrange ridiculizó públicamente a Fourier y dijo que solo funciones continuas podrían ser representadas como (así que probo que la funciona para funciones continuas en el tiempo). Sin embargo, nosotros sabemos que la verdad se encuentra entre las posiciones que Fourier y Lagrange tomaron.

Comprendiendo la Verdad Formulando nuestra pregunta matemáticamente, deje f N t n N N c n ω 0 n t donde c n es igual a los coeficientes de Fourier, f t . (vea ). f N t es la “reconstrucción parcial” de f t usando los primeros 2 N 1 coeficientes de Fourier. f N t se aproxima a f t , con la aproximación mejorando cuando N se vuelve grande. Así que, podemos pensar que el conjunto N N 0 1 … f N t es una secuencia de funciones, cada una aproximando f t mejor que la anterior. La pregunta se convierte en , ¿sí esta secuencia converge a f t ? ¿ f N t f t asi como a N ? Trataremos de responder estas preguntas al ver la convergencia de dos maneras diferentes: Viendo la energía de la señal de error: e N t f t f N t Viendo el N f N t en cada punto y comparándolo con f t .

Primer Método Sea e N t la diferencia (i.e. error) entre la señal f t y su reconstrucción parcial f N t e N t f t f N t Si f t L 2 0 T (energía finita), entonces la energía de e N t 0 cuando N es t T 0 e N t 2 t T 0 f t f N t 2 0 Podemos comprobar esta ecuación usando la relación de Perseval al: N t T 0 f t f N t 2 N N ℱ n f t ℱ n f N t 2 N n n N c n 2 0 Donde la ecuación antes del cero es la suma de la última parte de las series de Fourier. La cual se aproxima a cero por que f t L 2 0 T . Ya que el sistema físicos responden a la energía, las series de Fourier proveen una representación adecuada para todo f t L 2 0 T igualando la energía finita sobre un punto.

Segundo Método El hecho de que e N 0 no nos dice nada sobre que f t y N f N t sean iguales en cierto punto. Tomemos las siguientes funciones como un ejemplo:

Dadas estas dos funciones f t y g t , podemos observar que para todo t , f t g t , pero t T 0 f t g t 2 0 De esto podemos derivar las siguientes relaciones: Convergencia de energía convergencia de punto por punto Convergencia de punto por punto convergencia en L 2 0 T Sin embargo, lo contrario de la proposició no es cierto. Resulta que si f t tiene una discontinuidad (como se puede observar en la figura de g t ) en t 0 , entonces f t 0 N f N t 0 Mientras f t tenga algunas de las condiciones, entonces f t ′ N f N t ′ si f t es continua en t t ′ .