SERIES DE FOURIER
El concepto de series de Fourier no es fácil de asimilar y por lo mismo, trataremos de introducirlo de una forma sencilla, a través de un planteamiento matemático similar al de Serie de Taylor que se estudia en los cursos de Cálculo, es decir, como un problema de representación de funciones como series de ciertas funciones particulares.
Sea una función definida en un intervalo de la forma , tal que existe. Queremos saber si es posible representar a como una serie de senos y cosenos. Formalmente, planteamos el siguiente:
Problema: ¿ Podemos encontrar números y tales que se cumpla la siguiente igualdad: (1) ?
Observación: Nótese que el término , aparentemente está aislado del resto de la serie, pero en realidad podríamos integrarlo a ella, si hacemos que la suma comience desde . Sin embargo, para seguir con la costumbre de los autores de los libros de texto, seguiremos la escritura tal y como se planteó en el problema anterior.
Para poder maniobrar más fácilmente con la igualdad (1), veamos primero el siguiente:
LEMA. i) Si n, m son enteros no negativos y distintos entre sí, entonces:
ii) Para cualquier ,
iii) Para cualquier entero positivo n:
Demostración. Es una simple integración, en todos los casos.
Regresando al problema planteado arriba, vemos que si efectivamente se da la igualdad, entonces podemos integrar miembro a miembro, y si esta integración se puede realizar término a término, entonces:
donde hemos usado el lema inciso (i) y (ii), para concluir que todas las integrales dentro de la serie, son 0.
De aquí podemos despejar el primer coeficiente para obtener:
Para encontrar los demás coeficientes, seguimos la siguiente táctica: elegimos un entero positivo k y multiplicamos (1) por el término :
Y enseguida integramos como antes:
Por el lema inciso (i) y (ii), todas las integrales del lado derecho son 0, excepto aquellas cuando el integrando es de la forma y con . Por el lema inciso (iii), esta última integral, toma el valor de L y de aquí que:
De esta igualdad, podemos despejar el coeficiente para obtener:
Igualdad que es válida para todo
El procedimiento para obtener los coeficientes restantes, es similar, solo que ahora multiplicamos la igualdad (1), por :
Como antes, integramos término a término:
Otra vez por el lema, todas las integrales son 0, excepto cuando el integrando es de la forma y con , y en este caso, dicha integral vale L. Por lo tanto, tenemos que:
De donde, despejamos los coeficientes :
Igualdad que es válida para todo
Todo este análisis, nos lleva a la siguiente:
Definición. (Series y coeficientes de Fourier) Sea una función definida en un intervalo de la forma , tal que existe. Entonces: i) Los coeficientes de Fourier de en son los números:
,
,
ii) La serie de Fourier de en es:
donde , y son los coeficientes de Fourier definidos en (i).
Ejemplo 1. Sea , para . Calcular la serie de Fourier de esta función. Solución. En este caso, vemos que y . Por lo tanto, los coeficientes de Fourier para esta función son:
De esta forma, la serie de Fourier de en el intervalo está dada por:
Desarrollando algunos términos de esta serie, ésta se ve como sigue:
Observe que en este ejemplo, todos los coeficientes son 0, y por lo tanto, la serie de Fourier contiene solamente términos de senos. Esto no es una casualidad, sino más bien una consecuencia de propiedades intrínsecas de .
Ejemplo 2. Calcular la serie de Fourier para la función definida como sigue:
Solución. En este caso, , por lo tanto, los coeficientes quedan como sigue:
Por lo tanto, la serie de Fourier de en el intervalo es:
Desarrollando algunos términos, tenemos que la serie inicia como sigue:
Es importante entender qué significa la serie de Fourier de una función dada. Esta suma corre desde hasta el infinito. Por lo tanto, si tomamos la suma desde hasta , entonces esta función debe aproximar a nuestra función , y se espera que entre mayor sea el valor de k, mejor será la aproximación a .
Esto puede verse y entenderse mejor, si usamos un paquete como el Mathematica. De hecho, podemos hacer un pequeño programa que nos grafique a y a varias aproximaciones para distintos valores de k, para entender mejor el propósito de la serie de Fourier. Escriba el siguiente programa en Mathematica y córralo, para ver el efecto.
Al evaluarlo en Mathematica, obtendrá una serie de gráficas (correspondientes a los valores de hasta , como sigue:
A continuación, siga las siguientes instrucciones: • Después de la evaluación, haga doble click en la primera gráfica y observe el efecto que produce Mathematica. • Enseguida, déle valores mayores a y observe como la aproximación cada vez es más buena. • Finalmente cambie los datos correspondientes al ejemplo 2 y observe nuevamente el efecto producido.
Para escribir en Mathematica la función del ejemplo (2), debe escribirla como sigue:
Las demás instrucciones son iguales, pero no olvide modificar la serie de Fourier correspondiente a esta función. Una vez que se halla comprendido bien cual es la idea de una serie de Fourier, podemos seguir avanzando en el aspecto teórico y propiedades de esta serie.
Como hicimos observar al final del ejemplo 1, los coeficientes para la serie de Fourier de esa función, son todos cero. Comentamos que esto no era casualidad, y ha llegado el momento de aclarar para qué tipo de funciones podemos saber con anticipación, y sin hacer el cálculo correspondiente, si los coeficientes o son cero. Esto tiene que ver con si la función dada, es par o impar.
Recordemos estas definiciones y veamos el resultado correspondiente.
(〖 sen π/2 cos〗〖πx/2〗+ 1/2 sen π cos〖πx+ 〗 1/3 〖 sen 3π/2 cos〗〖2πx/2〗+ 1/4 sen 2π cos〖2πx+1/5 sen 5π/2〗 〖 cos〗〖5πx/2〗+ 1/6 sen 3π cos〖3πx 〗 ) f(x)=1/2- 2/π (〖 sen π/2 cos〗〖πx/2〗+0+ 1/3 〖 sen 3π/2 cos〗〖3πx/2〗+ 0+1/5 sen 5π/2 〖 cos〗〖5πx/2〗 )
f(x)=1/2- 2/π (1–1+1)
Por lo tanto:
f(x)=1/2- 2/π ∑_( 1)^∞▒(〖1/(2n-1) 〖(−1)〗^n cos〗〖((2n-1)πx)/2〗 )
