La función, definida para toda, es periódica si existe un número positivo tal que

Transcripción

1 Métodos con series de Fourier Definición: Función periódica La función, definida para toda, es periódica si existe un número positivo tal que para toda. El número en un periodo de la función. Si existe un mínimo número positivo tal que sea periódica con periodo, decimos que es el periodo de. Por lo general, no tendremos que referirnos al menor periodo de una función y simplemente diremos que tiene periodo si es cualquier periodo de. Ejemplo: El periodo de la función mostrada en la figura, es 2. El periodo de las funciones cos y (donde es un entero positivo) es 2/, pues cos 2 cos y 2. Además, 2 también es periodo de las funciones y. Definición: Serie de Fourier y coeficientes de Fourier Sea una función continua por partes de periodo 2 definida para toda. Entonces la serie de Fourier de f(t) es la serie cos nt sin nt donde los coeficientes de Fourier y se definen mediante las fórmulas

2 cos, para 0, 1, 2, y Puede ocurrir (y con frecuencia ocurre) que la serie de Fourier de una función no converja a la función en ciertos puntos del dominio de esta última. Por tanto, escribiremos ~ sen, para 1, 2, cos nt sin nt, sin utilizar el signo de igualdad entre la función y su serie de Fourier hasta analizar la convergencia de series de Fourier. Ejemplo 1: Determine la serie de Fourier de la función onda cuadrada definida como Solución: , 0, Los coeficientes de Fourierr son cos 1 cos cos 0. 1 sen 1 sen cos cos sen

3 Así, 0 para toda 0, y cos De esta forma obtenemos la serie de Fourier o bien t~ 4 sen nt π n 4 π sen t 1 3 sen 3t 1 sen 5t. 5 t~ 4 sen 2n 1t π 2n 1 La figura muestra las gráficas de la suma parcial, S x 4 sen 2n 1x π 2n 1 para n=3, n=6, n=12 y n=24. Observe que cuando x tiende a una discontinuidad por la derecha o por la izquierda, el valor de tiende a sobrepasar el valor de (+1 o -1 en este caso). Este comportamiento de las series de Fourier cerca de un punto de discontinuidad de su función es típico y se conoce como fenómeno de Gibbs.

4 Las siguientes fórmulas integrales, que pueden deducirse fácilmente integrando por partes, son útiles para calcular series de Fourier de funciones polinomiales. cos cos sin ; sen sen cos ; cos u sen sin ; sen u cos cos. Ejemplo 2: Determine la serie de Fourier de la función con periodo 2 definida en un periodo como La gráfica de se muestra en la figura Solución: Los valores de no valores de las integrales son importantes, pues no tienen efecto sobre los que proporcionan los coeficientes de Fourier. Como

5 0 en el intervalo, 0, cada integral desde a. Por tanto, las ecuaciones que determinan los coeficientes de Fourier, son cos cos (, ) 1 cos En consecuencia, 0 si es par y 2; A continuación, Así, 1 si es impar. 1 1 cos 1 cos para toda 1 Por lo tanto, la serie de Fourier de es t~ π 4 2 cos 1 sen nt n Si es una función con periodo 2, se puede verificar fácilmente que Para toda. Según esto, es más conveniente a veces, calcular los coeficientes de Fourier, como y 1 cos 1 Ejercicios En los problemas 1 al 4 se dan los valores de una función con periodo 2 en todo el periodo. Bosqueje varios periodos de su gráfica y determine su serie de Fourier. 1. 1,

6 3, , 0 3.,, 0 4., 0 5. Sea una función continua por partes con periodo. (a) Suponga que 0. Sustituya para mostrar que. Concluya que. (b) Dada, elija de modo que con 0. Luego sustituya para mostrar que. Series de Fourier y convergencia: El caso general Definición: Serie y coeficientes de Fourier Sea una función continua por partes con periodo 2 definida para toda. Entonces la serie de Fourier de es la serie ~ 2 cos donde los coeficientes de Fourier se definen como sin y 1 cos 1 sen Si 0, se tiene una forma más sencilla de 1, lo que demuestra que el término constante de la serie de Fourier de no es más que el valor promedio de en el intervalo,. A veces es más conveniente usar

7 1 cos 1 sen. Ejemplo 1: Demuestre que la serie de Fourier de la función mostrada en la figura, es ~ sen Teorema 1: Convergencia de Series de Fourier Suponga que la función periódica es suave por partes. Entonces su serie de Fourier converge (a) al valor en cada punto donde es continua, y (b) al valor en cada punto donde es discontinua. Observe que es el promedio de los límites por la derecha y por la izquierda de en el punto. Si es continua en, entonces, así que Por lo tanto, el teorema 1 una función suave por promedio. 2 se puede formular como sigue: la serie de Fourier de partes converge para cada valor de al valor. 2

8 Por esta razón es costumbre escribir 2 cos sin, en el entendido de que debemos modificar la definición de (en caso necesario) en cada uno de sus puntos de discontinuidad para que satisfaga la condición del valor promedio, mencionada anteriormente. Ejemplo 1 La gráfica de la función del ejemplo anterior, muestra que si es un entero par, entonces lim 1 y lim 1 Por lo tanto, Observe que la serie de Fourier sen Converge a cero si es un entero par (pues sen 0) y se justifica el uso del signo igual. Ejemplo 2 2 Sea una función con periodo 2 tal que si 0 2. Definimos para entero par, mediante la condición del valor promedio; en consecuencia, 2 si es un entero par. La gráfica de la función aparece en la figura siguiente Demuestre que su serie de Fourier es 0. válida para toda. t cos n 4 sin π n

9 A partir de la serie de Fourier dada, demuestre que (a) (b) (c) Ejercicios. 1. En los siguientes problemas se define la función periódica en un periodo completo; en cada discontinuidad, el valor de f(t) es el dado por la condición de valor promedio dada anteriormente. Bosqueje la gráfica de y determine su serie de Fourier. 0, 0 1 a) 1, 1 2 0, 2 3 0, 2 0 b) sen, (a) Suponga que es una función con periodo 2 tal que si 0 2. Muestre que 1 2 sen (b) Sustituya un valor adecuado de para deducir la serie de Leibniz Series de senos y cosenos de Fourier Se dice que la función definida para toda es par si para toda ; es impar si para toda.

10 Propiedades: (a) Si es par: 2. (b) Si es impar: 0. (c) Si y son pares, entonces es par. (d) Si y son impares, entonces es impar. De estas propiedades se deduce: 1 cos 2 cos sen 0. Extensiones pares e impares Sea una función definida en el intervalo 0. Se define la extensión par con periodo 2 de, a la función 0. 0 Se define la extensión impar con periodo 2 de, a la función 0 0. La serie de Fourier de la extensión par contendrá sólo términos con cosenos y se llama serie de cosenos de Fourier de la función. La serie de Fourier de la extensión impar contendrá sólo términos con senos y se llama serie de senos de Fourier de la función. Definición: Series de senos y cosenos

11 Supóngase que la función es continua por partes en el intervalo 0,. Entonces la serie de cosenos de Fourier de es la serie t 2 cos con 2 cos dt. La serie de senos de Fourier de es la serie con t sen 2 sen dt. Ejemplo 1 Determine la serie de cosenos de Fourier y la serie de senos de Fourier para, que está definida como para 0. Solución: y cos dt 2L n π 2L n π u sen u cos u Así, la serie de cosenos de Fourier de es u cos u du 4L n para n impar π 0 para n par. para cos 1 3 cos cos 5 2 sen dt 2 sen 2 cos sen 2 1. Así, la serie de senos de Fourier de es

12 para 0. 2 sen 1 2 sen sen 3 Teorema 1: Derivación término a término de una serie de Fourier Supóngase que la función es continua para toda, periódica con periodo 2L, y que su derivada es suave por partes para toda. Entonces la serie de Fourier de es la serie sen cos obtenida al derivar término a término de la serie de Fourier Observación: La serie de Fourier 2 cos sen. 2 sen 1 2 sen sen 3 con, cumple casi todas las hipótesis del teorema 1 excepto la continuidad de f y sólo tienen discontinuidades de salto aisladas. Pero la serie 2 cos obtenida al derivar la serie dada término a término diverge (por ejemplo, cuando 0 y cuando ) y por lo tanto la derivación término a término de la serie dada, no es válida. En contraste, la serie de Fourier 2 cos 2 3 cos 4 cos 1 3 cos cos 5

13 con, satisface todas las hipótesis del teorema 1, de modo que su serie de Fourier puede derivarse término a término. El resultado es 4 sen 1 3 sen sen. 5 Que es la serie de Fourier de la función onda cuadrada con periodo 2L que asume el valor 1 para 0 y 1 para 0. Soluciones de ecuaciones diferenciales mediante series de Fourier Para resolver la ecuación diferencial, 0 ; 0 0, primero extendemos la definición de la función al intervalo 0 de manera adecuada, y luego a toda recta real mediante las