Nota: Las siguientes lneas son un resumen de las cuestiones que se han tratado en clase sobre este tema.

El desarrollo de todos los tpicos tratados est recogido en la bibliografa recomendada en la Programacin de la asignatura.

Tema 11. Series de Fourier

11.1. Introduccin
En el estudio de funciones sabemos que se plantea con bastante asiduidad la aproximacin de stas mediante otras funciones mas fciles de manejar que las primeras. Por ejemplo, sabemos que el Teorema de Taylor nos permite aproximar funciones mediante polinomios que son, evidentemente, el tipo de funciones ms sencilla de manipular; sin embargo, las funciones que pueden ser aproximadas por polinomios tienen que verificar, como ya conocemos, hiptesis muy restrictivas (concretamente derivabilidad de orden "n"). Adems, la aproximacin que se obtiene es local; es decir, aplicable solamente en un entorno del punto donde la funcin verifica las hiptesis exigidas. El mtodo por excelencia para aproximar funciones en campos ms amplios es la utilizacin de series de funciones en las que cada trmino es una funcin seno o coseno; a estas series se las denominan Series de Fourier. Joseph Fourier (1768-1834) fu un matemtico francs que ejerci como profesor de la disciplina de Matemticas, entre otras, en la cole Polytechnique. Public en 1822 su obra ms conocida; la Thorie analytique de la chaleur. Su contribucin ms importante a la Matemtica es la de que toda funcin, y=f(x), se puede representar mediante una serie de la forma 4 a0 4 % j an cos nx % j bn sen nx . 2 n'1 n'1 En realidad, no todas las funciones se pueden aproximar mediante estas series aunque, en su poca, las funciones con las que se trabajaba eran aqullas que no presentaban ningn tipo de anomala; es decir, eran funciones continuas y derivables. Despus, como veremos, se demuestra que el campo donde estos desarrollos son vlidos son an ms amplios, aunque sigue no siendo cierto que toda funcin se pueda expresar mediante su desarrollo en Series de Fourier. Para tratar el problema de escribir una funcin mediante su serie de Fourier dos son las cuestiones que se nos plantean: 1 Qu tipo de funciones se puede representar mediante su serie de senos y cosenos?. Es decir, el problema de existencia de desarrollo en Series de Fourier de una funcin, f(x), dada. 2 Cmo se obtiene la serie de Fourier correspondiente a cada funcin?. Estos dos problemas son, en resumen, los que nos proponemos estudiar en este Tema.

11.2. Nociones preliminares

En este apartado, vemos algunas cuestiones previas que nos servirn en todo el desarrollo posterior de este tema. Definicin 11.2.1. Funcin peridica Denominamos funcin peridica, de periodo 2p, a toda funcin, f(x), que verifique f(x + 2p) = f(x) para todo x.

Las funciones peridicas tienen las siguientes propiedades que son fundamentales.

Proposicin 11.2.2 Si una funcin peridica tiene de periodo 2p tambin es peridica y de periodo 2np donde n es cualquier nmero entero distinto de cero.

As pues, todos los nmeros 2np son periodos de la funcin f(x), y al menor periodo positivo se le denomina periodo elemental de la funcin. Proposicin 11.2.3 Dada una funcin peridica, f(x), de periodo 2p, para todo l 0 se puede encontrar otra, a partir de ella, tambin peridica y de periodo 2l.

tp tp tendremos la funcin g (t) ' f ( ) y es l l (t % 2l) p tp tp g (t % 2 l ) ' f ( ) ' f ( % 2p) ' f ( ) ' g (t). l l l De acuerdo con esta propiedad, el estudio de funciones peridicas se puede hacer tratando las de un determinado periodo 2p, pues, haciendo el cambio de variables descrito con anterioridad, podremos trasladar los resultados al resto de funciones peridicas. En este sentido trabajaremos con funciones de periodo 2. Haciendo x' Las funciones peridicas ms conocidas son las funciones trigonomtricas que tienen como periodo 2, pues cos(x + 2) = cos x y sen(x + 2) = sen x. Definicin 11.2.5 Funcin continua y derivable a trozos Dada una funcin, f(x), con valores reales o complejos, definida en un intervalo [a, b] se dice que es continua a trozos si existe una particin de dicho intervalo, a = x0 < x1 < x2 < ... < xn = b, tal que: a) f(x) es continua en cada subintervalo (xi, xi+1) para i=0,1,...,n-1 b) existen, y son finitos, los lmites por la derecha en los puntos xi para i=0,1,2,...,n-1 y los lmites por la izquierda de xi para i=1,2,....,n. De la misma forma, se dice que una funcin es derivable a trozos si es derivable en cada punto de [a,b] salvo, a lo sumo, en un nmero finito de puntos donde existen y son finitas las derivadas laterales de la funcin (en el caso particular del extremo del intervalo a slamente se exige derivabilidad por la derecha y en b por la izquierda).

Definicin 11.2.6 Funcin absolutamente integrable Se dice que una funcin f(x) es absolutamente integrable en un intervalo, si existe una particin de ste tal que en cada uno de los subintervalos de esa particin f(x) es integrable. En este caso, la integral de f(x) en todo el intervalo es igual a la suma de las integrales en cada uno de los intervalos de la particin.

Obsrvese que, puesto que toda funcin continua es integrable, una funcin continua a trozos es integrable en cada subintervalo donde la funcin es continua y, adems, la integral es finita; por lo tanto, toda funcin continua a trozos es absolutamente integrable. Sea ahora una funcin, f(x), peridica y de periodo 2 diremos que f(x) se puede desarrollar en Series de Fourier si existen constantes {an}, {bn} (denominadas coeficientes de Fourier de f(x)) tales que, para cada x, se puede escribir f (x) ' a0 2 % j ( an cos nx % bn sen nx )
4 n'1

Aunque, obviamente, antes de expresar una funcin en Serie de Fourier se hara necesario estudiar si tal expresin existe, nosotros vamos a comenzar al contrario, es decir supondremos que tal igualdad es cierta y, en tal

caso, estudiar cuales seran las constantes an, bn .

11.3. Expresin de los coeficientes de Fourier de una funcin

Como hemos indicado, asumimos que la funcin se puede desarrollar en Series de Fourier y veremos, entonces, cual es la expresin de los coeficientes. Despus, en 11.4 veremos cuales son las condiciones para que se pueda desarrollar una funcin y de qu manera converge la serie hacia la funcin. Sea una funcin, f(x), peridica y de periodo 2 con valores reales o complejos y supongamos que es posible escribirla en la forma f (x) ' a0 2 % j an cos nx % j bn sen nx
4 4 n'1 n'1

Se obtiene que: Proposicin 11.3.1. Si f(x) se puede desarrollar en series de Fourier: f (x) ' son: a0 ' 1 2 f (x) dx ; m0 ak ' 1 2 f (x) cos kx dx ; m0 bk ' 1 2 f (x) sen kx dx m0 a0 2 % j an cos nx % j bn sen nx . Entonces los coeficientes
4 4 n'1 n'1

Obsrvese que, segn la propiedad 11.2.3, los coeficientes pueden ser calculados mediante integracin en cualquier intervalo de la recta que tenga de longitud 2, en la prctica, adems de utilizar el intervalo anterior, se suele utilizar con frecuencia el intervalo [-, ]. Ya hemos especificado que no toda funcin puede ser desarrollable en Series de Fourier, sin embargo, si las integrales de la Proposicin 11.3.1 existen para una funcin, f(x), peridica y de periodo 2 dada, entonces se dice que la serie a0 2 % j (an cos nx % bn sen nx)
4 n'1

es la Serie de Fourier asociada a f(x) y se representa, simblicamente por: f (x) a0 2 % j (an cos nx % bn sen nx)
4 n'1

El smbolo - ser de igualdad de los dos miembros en los casos que estudiaremos a continuacin. En el apartado 11.5 de este tema continuaremos con el clculo de la Serie de Fourier de una funcin y las expresiones particulares en casos sencillos. Ahora pasemos al estudio de qu funciones se pueden representar por su serie de Fourier, es decir, cuando el smbolo - se convierte en una igualdad.

11.4. Existencia del desarrollo en series de Fourier de una funcin.

Como decamos anteriormente, nuestro objetivo se centra en el estudio de la convergencia de la Serie de Fourier y en encontrar cual es la suma de dicha Serie. Bsicamente, todo esto pasa por el denominado Teorema de Localizacin de Riemann. Este teorema ser el que nos permitir imponer condiciones a la funcin, f(x), con las que podremos asegurar la convergencia de la serie de Fourier hacia dicha funcin.

Teorema 11.4.1 de localizacin de Riemann Sea f(x) una funcin absolutamente integrable en [0, 2B], peridica y de periodo 2B, entonces, la serie de Fourier de la funcin f(x) converger en "x" si, y solo si, para algn nmero, r, tal que 0<r<B/2, existe: 2 r f (x % 2t) % f (x & 2t) sen (2n % 1)t dt lim 0 2 t n64 m adems, el valor de este lmite es, justamente, el valor hacia el que converge la serie de Fourier.

Por lo tanto, para dar condiciones suficientes acerca de la convergencia de la serie de Fourier, habr que dar condiciones para asegurar la convergencia de esta integral. Ahora bien, buscar estas condiciones no es, en general, un problema sencillo y se pueden estudiar diversas hiptesis que verifiquen la funcin para lograrlo. No es el objetivo que nos proponemos aqu hacer un estudio exhaustivo de todas las posibilidades para que la serie de Fourier de una funcin converja y, por tanto, nos limitaremos a fijar las hiptesis, para f(x), que nos resulten ms manejables a nivel prctico. En este sentido: Proposicin 11.4.2 Sea f(x) una funcin integrable en [0, 2B], peridica y de periodo 2B. Supongamos que en "x" existen f(x+) y f(x-) r f (x % t) & f (x %) r f (x & t) & f (x &) y que convergen las integrales dt; dt , entonces la serie de Fourier converge m0 % m0% t t f (x %) % f (x &) en "x" hacia el valor 2

Nota: La frmula lim

2 r sen at dt ' g(0%) se denomina conjetura de Dirichlet y, en general, las condiciones g (t) 0 t a64 m que hay que especificar a f(x) para que admita un desarrollo de Fourier son las mismas que nos permitan asegurar que tal frmula es cierta. Se puede demostrar que la Conjetura de Dirichlet no es cierta para un amplio campo de tipos de funciones. As pues cuando una funcin verifique las hiptesis de la Proposicin 11.4.1 sabremos que la serie de f (x%) % f (x&) Fourier asociada a ella existe y que, adems, tal serie converge hacia el valor . Muchas son las 2 posibilidades para garantizar esto; de todas ellas solamente nos quedaremos con las que se expresan en el Teorema siguiente pues son, seguramente, las de mas fcil manejo y, por otra parte, casi todas las funciones que aparecen en las aplicaciones verifican tales hiptesis. Teorema 11.4.2 de Dirichlet Sea f(x) una funcin continua a trozos en el intervalo [0, 2B] peridica y de periodo 2B y que, adems, en cada punto existen las derivadas por la derecha y por la izquierda de f(x) entonces existe la serie de Fourier asociada a f(x) verificando que dicha serie converge, en cada punto x, hacia f (x %) % f (x &) 2

Notese que la convergencia de la serie es hacia f(x) en los puntos donde esta funcin es continua pues, en f (x%) % f (x&) tal caso, ' f (x) 2 En lo que sigue, supondremos que tenemos una funcin verificando las hiptesis del Teorema de Dirichlet y nos proponemos calcular su serie de Fourier.

11.5. Series de Fourier de algunos tipos de funciones

Sabemos que el desarrollo en series de Fourier de una funcin f(x) peridica y de periodo 2 es a0 2 % j (an cosn x % bn senn x) donde los coeficientes an, bn se calculan mediante las frmulas:
4 n'1

an '

1 2 1 2 1 2 f (x) dx an ' f (x) cosnxdx ; bn ' f (x) sennxdx m0 m0 m0

pudiendose sustituir, segn 11.2.3, el intervalo de integracin por cualquier otro con tal que mida 2. Tambin hemos visto cul es el problema de poder asegurar que la igualdad f (x) ' a0 2 % j (an cosnx % bn sennx)
4 n'1

se cumpla y hemos explicado alguna condicin (Teorema de Dirichlet). Ahora, veamos como se procedera para calcular el desarrollo en series de Fourier de determinados tipos de funciones.

11.5.1. Funciones pares e impares Una funcin, f(x), se dice que es par si f(-x) = f(x). En este caso, Si f(x) es una funcin par peridica y de periodo 2, cumpliendo las hiptesis para que sea representable por su serie de Fourier, entonces se tiene que 4 f(x %) % f (x &) a0 ' % j an cos nx donde 2 2 n'1 2 f (x) dx y a0 ' m0 2 an ' f (x) cos nxdx m0 Una funcin, f(x), se dice que es par si f(-x) = - f(x). En este caso, Si f(x) es impar (en las mismas condiciones que en el caso anterior) es cierto que 4 f (x %) % f (x &) ' j bn sen nx donde 2 n'1 1 2 f (x) sen nxdx ' f (x) sen nxdx bn ' m& m0

11.5.2. Funcin peridica de periodo 2T Si f(x) es una funcin peridica y de periodo 2T, se puede, como dijimos en 11.2.2, hacer un cambio de variables, de tal forma que la funcin resultante sea de periodo 2. De esta manera obtenemos que. si f verifica las 4 f (x %) % f (x &) a0 x x ' % j (an cos n % bn sen n ), donde: hiptesis del teorema de Dirichlet es: 2 T T 2 n'1 1 2T 1 2T x 1 2T x dx ; bn ' a0 ' f (x) dx ; y an ' f (x) cos n f (x) sen n dx T m0 T m0 T T m0 T 11.5.3. Funcin no peridica Si tenemos definida una funcin, f(x), en un intervalo [a, b] tambin se puede desarrollar en series de Fourier pues podemos proceder a definir una funcin peridica, g(x), de tal manera que sea g(x) = f(x) cuando x sea un punto del intervalo [a, b]. Esta nueva funcin podr definirse de la forma siguiente: Si x es un nmero real, existe t 0 [a, b] y k=0, 1, 2,... tales que x=t+k(b-a). Pues bien, definiremos g(x) = f(t). Podemos ver grficamente cual es la funcin g(x) en la siguiente figura

Figura 11.2 La serie de Fourier de esta nueva funcin peridica, g(x), ser, por tanto, la serie de Fourier para la funcin f(x) en [a, b]. Muchas veces, se pretende que la serie de Fourier asociada a una funcin, f(x), sea una serie de senos o de cosenos slamente, para esto habr que proceder definiendo, si se puede, la funcin g(x) de tal manera que resulte impar o par, si se puede, respectivamente. Esto es posible, por ejemplo, si la funcin f(x) est definida en un intervalo de la forma [0, a] entonces se puede definir una funcin impar que coincida con esta en la forma siguiente g(x) = f(x) si x 0 [0, a] y g(x) = f(-x) si x 0 [-a, 0), ahora ampliaramos como en el caso anterior y ya estara el problema resuelto. Cuando f(x) es impar diremos g(x) = f(x) para x 0 [0, a] y g(x) = - f(-x) si x 0 [-a, 0). 11.5.4. Forma compleja de las series de Fourier Si tenemos en cuenta las frmulas de Euler que nos determinan el seno y el coseno de un ngulo en funcin de la exponencial compleja, sabemos que cos nx ' e inx % e &inx e inx & e &inx ; sen nx ' , y por tanto: 2 2i , f (x) - j Cn e i n x donde
4 n'&4

1 2 Cn ' f (x)e & i n xdx 2 m0

para

n ' 0, 1, 2, 3, ....

Evidentemente, el clculo de la serie de Fourier en forma compleja que aqu hemos hecho para funciones peridicas de periodo 2 se puede ampliar, como haciamos en 11.5.2, a funciones peridicas con periodo 2T obtenindose, en este caso, que: f (x) - j Cn e
4 n'&4 i nx T &i 1 2T f (x)e donde Cn ' 2T m0 nx T

dx

para

n ' 0, 1, 2, 3, ....

11.6. Frmula de Parseval

Consideramos la forma exponencial del desarrollo en series de Fourier. Se tiene:

Teorema 11.6.1. Desigualdad de Bessel La serie j *Cn*2 converge, y, adems, j *Cn*2# *f(x)*2 dx ma
4 4 b n'1 n'1

Teorema 11.6.2 Identidad de Parseval Si f es una funcin continua en [0, 2] y peridica de periodo 2, se tiene que: 2 4 a0 1 2 2 2 2 % j (a n % b n ) * f (x) *2dx 'j *Cn *' m0 2 4 n'1 &4

Ntese, por ltimo, que si f es una funcin continua en [0, 2T], peridica y de periodo 2T, la identidad de Parseval adquiere la forma: 2 4 a0 1 T 2 2 2 % j (a n % b n ) * f (x) * dx ' m T &T 2 n'1