Coeficientes de Fourier:

En muchos problemas de fsica las ecuaciones que los describen admiten soluciones elementales en forma
de senos y cosenos (vibraciones mecnicas, respuesta de un circuito elctrico, difraccin de la luz), de
manera que si somos capaces de representar una funcin arbitraria como una suma de funciones
trigonomtricas resulta fcil expresar la solucin de estos problemas frente a una excitacin arbitraria.
Consideremos una cierta funcin real de variable real, f(x), definida en el intervalo [-, ].
Supongamos que esta funcin se puede expandir como una suma de funciones trigonomtricas:

f(x) = a0 / 2 + a1 Cosx + b1 Senx + a2 Cos(2 x) + b2 Sen(2 x) +

Se nos plantea el problema de encontrar los coeficientes an y bn que hacen que se cumpla la igualdad
anterior en el intervalo [-, ]. Ms adelante estudiaremos en detalle qu condiciones ha de cumplir f(x)
para que este desarrollo sea correcto.
Supondremos que esta serie es uniformemente convergente para poder integrar trmino a trmino:

(f(x) dx) = (a0 / 2) (dx) + [an (Cos(n x) dx) + bn (Sen(n x) dx]).

Observemos que, con nuestros criterios:

(dx) = 2 .

(Cos(n x) dx) = 0.

(Sen(n x) dx) = 0.
De modo que obtenemos:

a0 = (f(x) dx).

a0 = (f(x) dx) / .
Es decir, a0 es el valor medio de la funcin f(x) en el intervalo [-, ].
Para calcular an multiplicaremos nuestra serie por Cos(m x), de modo que:

f(x) Cos(m x) = a0 Cos(m x) / 2 + [an Cos(n x) Cos(m x) + bn Sen(n x) Cos(m x)].

Ya hemos visto que:

(Cos(n x) dx) = 0.
, por otra parte tenemos que:

Cos(n x) Cos(m x) = (Cos((n + m) x) + Cos((n m) x)) / 2.

Sen(n x) Cos(m x) = (Sen((n + m) x) + Sen((n m) x)) / 2.

Sen(n x) Sen(m x) = (Cos((n m) x) Cos((n + m) x)) / 2.

Por lo tanto:

(Cos(n x) Cos(m x) dx) = [(Cos((n + m) x) dx) + (Cos((n m) x) dx)] / 2.

, donde n y m son nmeros naturales. Pero:

(Cos((n + m) x) dx) = 0.

(Cos((m n) x) dx) = 0, si m n.

(Cos((n m) x) dx) = 2 , si m = n.
Resumiendo:

(Cos(n x) Cos(m x) dx) = 0, si m n, e = , si m = n.

Para la otra integral tenemos:

(Sen(n x) Cos(m x) dx) = [(Sen((n + m) x) dx) + (Sen((n m) x) dx)] / 2.

(Sen((n + m) x) dx) = 0.

(Sen((n m) x) dx) = 0, si m n.

Cuando m = n tenemos directamente:

Sen((n m) x) = 0.
Resumiendo entonces:

(Sen(n x) Cos(m x) dx) = 0.

, con n y m nmeros naturales.

(f(x) Cos(m x) dx) = an.

an = (f(x) Cos(m x) dx) / .

n 0.
Para calcular bn multiplicamos la serie por Sen(m x) y procedemos de manera anloga:

(f(x) Sen(m x) dx) = a0 (Sen(m x) dx) / 2 + [an (Cos(n x) Sen(m x) dx) + bn (Sen(n x) Sen(m x) dx)].
Recordemos que:

(Sen(n x) dx) = 0.

n 0.

(Sen(n x) Cos(m x) dx) = 0.

, con n y m nmeros naturales.
Finalmente:

(Sen(n x) Sen(m x) dx) = [(Cos((n m) x) dx) (Cos((n + m) x) dx)] / 2.

(Cos((n + m) x) dx) = 0.
(Cos((m n) x) dx) = 0, si m n.
(Cos((n m) x) dx) = 2 , si m = n.
(Sen(n x) Sen(m x) dx) = 0, si m n, e = , si m = n.
Por lo tanto obtenemos:

(f(x) Sen(m x) dx) = bn.

bn = (f(x) Sen(m x) dx) / .
n 1.
Por lo tanto, si la serie de Fourier que hemos descrito al principio es uniformemente convergente,
entonces los coeficientes an y bn se obtienen mediante las frmulas obtenidas.
En muchos casos, no obstante, no sabemos si una funcin dad admite un desarrollo medianteuna serie
trigonomtrica uniformemente convergente. De todos modos, resulta til tomar la perspectiva de definir
ciertos nmeros an y bn, que usaremos para construir la serie trigonomtrica. A stos nmeros los
llamamos coeficientes de Fourier, y la serie, serie de Fourier.
De acuerdo con esto, una serie de Fourier es un tipo especial de serie trigonomtrica cuyos coeficientes se
calculan con las anteriores ecuaciones a cierta funcin f(x). Para ello solo es necesario que tales
integrales existan.
Obviamente, lo que uno desea es que la serie de Fourier sea convergente y tenga como suma la propia
f(x), pero no siempre ocurre as: existen funciones integrables en el intervalo [- , ] que no son la suma
de ninguna serie de Fourier. Y a la inversa, existen series trigonomtricas convergentes que no son
ninguna serie de Fourier. Por ejemplo, la serie:

(Sen(n x) / log(1 + n)).

converge para todo valor de x, pero no es una serie de Fourier, lo cual significa que los coeficientes de
esta serie no se pueden obtener aplicando las frmulas anteriores a ninguna funcin integrable.
Convergencia de una Serie Funcional:
Sea fn, con n natural, un conjunto de funciones reales con el mismo dominio S sobre la recta real.
Se dice que la sucesion fn converge puntualmente a f en el dominio S si cumple que:

f(x) = lim(n) fn(x).

, para cualquier x perteneciente a S.
Se dice que la sucesin fn converge uniformemente a f en el dominio S si cumple que: para todo:

> 0.
existe un nmero natural N tal que todo:

n > N.
se cumple que:

|fn(x) f(x)| < .

, siendo x perteneciente a S.
Consideremos una serie funcional a partir de una sucesin de funciones fn. La sucesin de sumas
parciales Sn viene dada por:

Sn(x) = (fk(x)) desde k = 1 hasta n.

, para todo x perteneciente a S.
Si la sucesin Sn converge a f en x diremos que la serie de funciones es convergente y:

(fk(x)) = f(x).
Si en particular la sucesin Sn converge uniformemente a la funcin f en el conjunto S, diremos que
la serie converge uniformemente en S. La condicin de convergencia uniforme es suficientemente fuerte
para garantizar que se puede integrar trmino a trmino la serie.
El Problema de la Convergencia:
Se plantea la cuestin de cndo la serie de Fourier converge a la funcin de partida. Consideremos la
serie de Fourier dada por:

f(x) = a0 / 2 + [an Cos(n x) + bn Sen(n x)].

Cada trmino de esta serie es una funcin peridica de periodo 2 , ya que:

Cos(n x) = Cos(n x + 2 ).

Sen(n x) = Sen(n x + 2 ).
Por lo tanto, cuando esta serie es convergente, la funcin a la que converge debe verificar:

f(x + 2 ) = f(x).
En particular, se cumple adems que:

f() = f(- ).
Obviamente, esta condicin no se cumple para cualquier funcin arbitraria en el intervalo [- , ]. Dada
cualquier funcin definida nicamente en el intervalo [- , ], podemos extenderla peridicamentea toda
la recta real mediante la condicin:

f(x + 2 ) = f(x).
Por otra parte, consideremos los siguientes lmites laterales de la funcin:

f(x+) = lim(0) f(x + ).

f(x-) = lim(0) f(x ).

> 0.
Una funcin que presente una discontinuidad de salto en un cierto punto tiene lmites laterales distintos
en ese punto.
Teorema de Dirichlet:

Sea f(x) una funcin acotada y definida en el intervalo [- , ] con un nmero finito de discontinuidades
y un nmero finito de mximos y mnimos. Para otros valores de x fuera del intervalo [- , ]
extendemos la definicin de f(x) por medio de la condicin de periodicidad:

f(x + 2 ) = f(x).
Entonces la serie de Fourier converge a: [f(x) + f(x+)] / 2.
en todo punto x, y por lo tanto converge a f(x) en todo punto de continuidad de la funcin. En los
puntos de discontinuidad podemos redefinir la funcin como el promedio de sus lmites laterales:

f*(x) = [f(x-) + f(x+)] / 2.

Entonces la serie de Fourier representa la funcin f*(x) en todo punto x perteneciente a la recta real.
Las condiciones de validez de este teorema se denominan condiciones de Dirichlet. En general, la
continuidad de una funicn no es suficiente, ni tampoco necesaria, para garantizar la convergencia de su
serie de Fourier.
El Fenmeno de Gibbs:
Aunque el teorema de Dirichlet nos garantiza que en una discontinuidad de una funcin f(x) la serie de
Fourier converge a:

f*(x) = [f(x-) + f(x+)] / 2.

La serie presentar un pico prximo a la discontinuidad. Este pico se acercar ms a la discontinuidad al
sumar ms trminos de la serie, pero su amplitud no disminuye cuando el nmero de trminos
sumados tiende a infinito. El valor de es proporcional a la magnitud de discontinuidad en x0.
Series de Fourier de Funciones Pares e Impares:
Se dice que una funcin real de variable real es par si:

f(x) = f(- x).

Se dice que una funcin real de variable real es impar si:

f(x) = f(- x).

Una funcin par presenta simetra respecto al eje y, mientras que una funcin impar presenta simetra
respecto al origen de coordenadas. Obsrvese que toda funcin impar debe pasar por el origen de
coordenadas, ya que debe cumplir:

f(0) = f(0).
, y el nico nmero real que verifica esto es el 0.
Ejemplos de funciones pares:

f(x) = Cos(n x).

f(x) = x^2.
Ejemplos de funciones impares:

f(x) = Sen(n x).

f(x) = x^3.
Si una funcin es par verifica lo siguiente:

(f(x) dx) desde - a hasta a = 2 (f(x) dx) desde 0 hasta a.

Si una funcin es impar se cumple:

(f(x) dx) desde - a hasta a = 0.

Adems, bajo el producto las funciones pares e impares se comportan de la siguiente manera:

par x par = par.

par x impar = impar.

impar x impar = par.

Toda funcin real de variable real puede descomponerse en una funcin par y otra funcin impar:

f+(x) = (f(x) + f(- x)) / 2.

f-(x) = (f(x) f(- x)) / 2.

Esta claro que con esta definicin tenemos:

f(x) = f+(x) + f-(x).

Podemos entonces escribir:

(f(x) dx) = (f+(x) dx) = 2 (f+(x) dx) desde 0 hasta .

Las reglas de paridad nos pertmiten establecer la cancelacin de algunas integrales si tener que
calcularlas explcitamente. Por ejemplo:

(x Sen(n x) dx) = 2 (x Sen(x) dx) desde 0 hasta .

Puesto que se trata de una funcin par (impar x impar). Teniendo todo esto en cuenta, es evidente por
ejemplo que:

(Sen(n x) dx) = 0.

(x^2 Sen(n x) dx) = 0.

(x Cos(x) dx) = 0.
Propiedad:
Sea f(x) una funcin integrable definida en el intervalo [- , ]. Se verifica que:
.-Si f(x) es par:
Su serie de Fourier slo contiene trminos de tipo Coseno:

f(x) a0 / 2 + (an Cos(n x)).

La funcin f(x) Sen(n x) es impar y:

bn = ((f(x) Sen(n x) dx)) / = 0.

an = ((f(x) Cos(n x) dx)) / = 2 ((f(x) Cos(n x) dx) desde 0 hasta ) / .

.-Si f(x) es impar:
Su serie de Fourier solo contiene trminos tipo Seno:

f(x) (bn Sen(n x)).

La funcin f(x) Cos(n x) es impar y:

an = ((f(x) Cos(n x) dx)) / = 0.

bn = ((f(x) Sen(n x) dx)) / = 2 ((f(x) Sen(n x) dx) desde 0 hasta ) / .

Extensin Par e Impar:
Dada una funcin f(x) definida en el intervalo [0, ], podemos extenderla al intervalo [- , 0] de modo
que sea par o impar a voluntad:

f(x) = f(- x).

f(x) = f(- x).

Siendo la primera una extensin par y la segunda una impar. Sus funciones sern tipo Coseno y tipo
Seno, respectivamente.
Derivacin e Integracin de las Series de Fourier:
Consideremos las siguientes series de Fourier en el intervalo [- , ]:

x^1 2 ((- 1)^(n+1) Sen(n x) / n).

x^2 ^2 / 3 + 4 ((- 1)^n Cos(n x) / n^2).

x^3 ((12 / n^3 2 ^2 / n) (- 1)^n Sen(n x)).

x^4 ^4 / 5 + ((8 ^2 / n^2 48 / n^4) (- 1)^n Cos(n x)).

Obsrvese que la serie de Fourier de x se puede obtener derivando trmino a trmino la de x^2, pero
esto no es un resultado general, es decir, la convergencia de una serie de Fourier no garantiza que la
derivada trmino a trmino de la serie converja a la derivada de la funcin de partida. La propia serie de
Fourier de x no puede ser derivada trmino a trmino para obtener la constante unidad. Pueden darse
ciertascondiciones que deben satisfacer las funciones para que sus series de Fourier se puedan derivar e
integrar trmino a trmino.
Teorema:
Sea una funcin f(x) peridica y continua a trozos, entonces su serie de Fourier, aunque no sea
convergente, puede integrarse trmino a trmino y la serie resultante converge a la integral de la funcin
f(x).
Teorema:
Sea una funcin f(x) peridica, continua en todo x y tal que f' satisfaga las conciones de Dirichlet,
entonces la serie de Fourier de f' coincide con las derivada de la serie de Fourier de f(t).
Si derivamos la serie de Fourier de:

f(x) = x^3 / 3.
no obtenemos la serie de Fourier de x^2. No se cumplen las condiciones del teorema previo, pues la
funcin:

f(x) = x^3 / 3.
extendida peridicamente a toda la recta real no es continua. Por otro lado, la funcin:

f(x) = x^2.
extendida de forma peridica s que es continua, por lo tanto el teorema anterior garantiza que podemos
derivar trmino a trmino su serie de Fourier para obtener la serie de Fourier de la funcin 2 x.
Extensin a Intervalos Arbitrarios:
La forma cannica de la serie de Fourier que hemos manejado hasta ahora estaba definida en el
intervalo:

- x < .
, pero es sencillo extender el estudio a intervalos del tipo:

- L x < L.

L>0.
arbitrario. Basta hacer un cambio de escala en el eje x de modo que transformamos el intervalo [- , ]
en el intervalo [- L, L]: Si hacemos:

x = L t / .
, entonces, si t pertenece al intervalo [- , ], x pertenece a [- L, L].
Vemos por lo tanto que, dada una funcin f(x) definida sobre el intervalo [- L, L], el sencillo cambio de
variable anteriornos lleva a otra funcin, g(t), definida en el intervalo [- , ].

f(x) = f(L t / ) = g(t).

, con t perteneciente a [- , ].
Si f(x) satisface las condiciones de Dirichlet, es obvio que g(t) tambin lo hace. La serie de Fourier de
g(t) ser:

g(t) = a0 / 2 + (an Cos(n t) + bn Sen(n t)).

an = ((g(t) Cos(n t) dt) / .

bn = ((g(t) Sen(n t) dt)) / .

Podemos retornar a la variable original x teniendo en cuenta que:

t = x / L.
En consecuencia, la serie de Fourier de cualquier funcin f(x) definida en un intervalo simtrico en
torno al 0, [- L, L], ser:

f(x) = a0 / 2 + (an Cos(n x / L) + bn Sen(n x / L)).

an = ((f(x) Cos(n x / L) dx) / .

bn = ((f(x) Sen(n x / L) dx)) / .

Funciones Ortogonales. Series de Fourier Generalizadas:
Dadas las funciones f1(x) y f2(x). definidas en un cierto intervalo de la recta real [a, b], diremos que
son funciones ortogonales si verifican:

(f1(x) f2(x) dx) = 0.

Esta propiedad se puede extender a un cierto conjunto numerable de funciones sobre un intervalo, de
modo que se trate de una coleccin de funciones mutuamente ortogonales.
Sea pues un conjunto {n(x)} de funciones reales definidas sobre el intervalo [a, b]. Si se verifica que:

(m(x) n(x) dx) = 0.

m n.
se dice que es un conjunto de funciones ortogonales en el intervalo [a, b].
Definiremos como norma cuadrtica de una funcin en el intervalo [a, b] a la integral:

0 ||n(x||^2 = (n(x)^2 dx).

Obsrvese que siempre podemos convertir un conjunto ortogonal de funciones {n(x)} en un conjunto
ortonormal dividiendo por la norma de cada una de ellas:

n(x) = n(x) / ||n(x)||.

De este modo tenemos asegurado que:

||n(x)|| = 1.
, y {n(x)} es entonces un conjunto ortonormal.
Sea ahora {n(x)} una sucesin ortonormal de funciones en el intervalo [a,b]. Dada una funcin f(x)
cualquiera, podemos intentar expresarla mediante el siguiente desarrollo en el intervalo [a, b]:

f(x) = (ak k(x)).

Para determinar los coeficientes an multiplicamos ambos lados de la ecuacin anterior por k(x):

f(x) n(x) = (ak k(x) n(x)).

Vamos a suponer que podemos realizar la integracin en el intervalo [a, b]. Entonces tenemos:

(f(x) n(x) dx) = [ak (ak k(x) dx)] = (ak kn) = an.
Estos nmeros se denominan coeficientes de Fourier de f(x) respecto a la sucesin ortonormal {n(x)}, y
la serie asociada siguiente es la serie de Fourier de f(x) respecto a {n(x)}.

(ak k(x)).
A este tipo de serie se le denomina serie de Fourier generalizada.
La descomposicin de una funcin f(x) en trminos de funciones {n(x)} es anloga a la descomposicin
de un vector en componentes referidas a una cierta base, por ello se puede definir de modo anlogo un
producto escalar o interior de funciones:

(f, g) = (f(x) g(x) dx).

que verifica las propiedades usuales de linealidad y simetra:

(f1 + f2, g) = (f1, g) + (f2, g).

(c f, g) = c (f, g).

(f, g) = (g, f).

Con esta notacin, dos funciones se dicen ortonormales si su producto escalar es cero:

(f, g) = 0.
Y adems su norma al cuadrado es:

||f||^2 = (f, f).

Los coeficientes de Fourier vendran dados entonces por el siguiente producto escalar:

an = (f, n).
Comparemos esto con la expansin de un vector de R^3 en trminos de una base ortonormal {e1, e2,
e3}. Tendramos:

v = a1 e1 + a2 e2 + a3 e3.

an = (v, en) = (en, v) = v en.

A pesar de esta comparacin, hemos de tener en cuenta que en el caso de series de Fourier trabajamos
con espacios lineales de funciones definidas en un cierto intervalo [a, b], y no con un espacio lineal
vectorial ordinario. Estos espacios lineales de funciones tienen dimensin infinita, en el sentido de que es
necesaria una sucesin ortonormal infinita para poder representar una funcin arbitraria f(x) definida
en [a, b].
En realidad, no todas las funciones admiten un desarrollo en serie de Fourier, como ya sabemos.
Denotaremos por R el espacio de todas las funciones f(x) definidas en [a, b] que admiten un desarrollo
en serie de Fourier. Este espacio est constitudo por todas las funciones integrables Riemann sobre dicho
intervalo. Adems, no todas las sucesiones ortonormales de funciones son adecuadas para representar
una funcin arbitraria de R. Para ello necesitamos que el conjunto {n} sea maximal, esto es, que pueda
reproducir de modo exhaustivas todas las funciones de R. Se dice que una sucesin ortonormal {n(x)}
es completa o maximal respecto al intervalo [a, b] si la nica funcin ortogonal a todas las funciones
n(x) es la funcin cero o nula. Una funcin f es nula si cumple:

||f^2|| = (f, f) = 0.
O lo que es equivalente:

(|f(x)|^2 dx) = 0.
Con la definicin de producto dado para nuestro espacio de funciones R, tenemos tambin una
definicin de distancia entre funciones:

d(f, g) = ||f g|| = [((f(x) g(x))^2 dx)]^1/2.

Un espacio lineal en el que hemos definido una distancia que satisface las propiedades usuales, se llama
espacio mtrico. Dos funciones de R se consideran iguales si difieren en una funcin nula.
Convergencia en Media de las Series de Fourier:
Sea f(x) una funcin definida sobre un intervalo [a, b] y sea {pn(x)} una sucesin de funciones en este
intervalo, todas ellas integrables en [a, b]. Queremos estudiar la convergencia de la sucesin {pn(x)} a
f(x). Si aproximamos f(x) por pn(x), las expresiones:

|f(x) pn(x)|.

|f(x) pn(x)|^2.
proporcionan una medida del error cometido en la aproximacin. Cuando la sucesin de funciones
{pn(x)} converge a la funcin f(x) en todo punto x del intervalo [a, b], entonces la expresin (f(x)
pn(x))^2 tiende a cero y hablamos de convergencia puntual o convergencia punto a punto. Por otra
parte, si queremos dar una medida global del error que cometemos al aproximar la funcin f(x) por

pn(x), es ms adecuado utilizar la segunda expresin para definir el error cuadrtico medio a lo largo
del intervalo [a, b] como:

En = ((f(x) pn(x))^2 dx).

Se dice que la sucesin {pn} converge en media a la funcin f(x) cuando se verifica:

lim(n) En = 0.
A veces esto se denota tambin como:

l.i.m(n) pn(x) = f(x).

, donde l.i.m significa convergencia en media. Fijmonos que una funcin que cumple las condiciones de
Dirichlet verificar que su serie de Fourier converge en media a f(x). Por otra parte, tal y como hemos
definido el valor de En, se cumple que:

En = ||f pn||^2.
Por lo tanto la convergencia media significa:

lim(n) ||f pn|| = lim(n) d(f, pn) = 0.

Consideremos {n(x)} una ortonormal de funciones en [a, b]:

(n,m) = (n(x) m(x) dx) = nm

Vamos a aproximar una funcin integrable dada, f, mediante una combinacin lineal de n funciones
del conjunto {n(x)}. Para ello escribimos pn como como una combinacin lineal de n de estas
funciones:

pn(x) = (bk k(x)).

Podremos entonces calcular En del modo siguiente:

En = ((f pn)^2 dx).

En = ((f (bk k))^2 dx).

En = ((f^2 + ((bk k))^2 2 f (bk k)) dx).

En = (f^2 dx) desde a hasta b + (((bk k))^2 dx) 2 (bk (f k dx)).

En = (f^2 dx) + (bk^2) 2 (ak bk).

En = (f^2 dx) + (bk^2 2 ak bk).

Ahora bien:

bk^2 2 ak bk = bk^2 2 ak bk + ak^2 ak^2 = (bk ak)^2 ak^2.

Por lo tanto:

En = (f^2 dx) + (ak bk)^2 (ak)^2.

Como todos los trminos de la suma aparecen elevados al cuadrado, el error En cuadrtico medio
mnimo corresponde a elegir:

ak = bk.
, y en consecuencia:

En = (f^2 dx) - (ak)^2.

Como:

En 0.
por construccin se cumple que:

(f^2 dx) (ak)^2.

Como esta expresin es vlida para todo n por grande que sea, podemos denominar a esta expresin
como laDesigualdad de Bessel.

Puesto que la serie (ak)^2 es montona creciente y acotada superiormente, se deduce que es una serie
convergente. Una condicin necesaria para que la serie sea convergente es que su trmino general tenga
un lmite nulo cuando n. Por lo tanto deducimos que:

lin(n) an = 0.
Si la serie de Fourier converge en media a la funcin f(x) tenemos:

lin(n) En = 0.
Pero como:

En = (f^2 dx) (ak)^2.

se verificar la siguiente igualdad cyando la serie converge en media:

(f^2 dx) = (ak)^2.

, la denominada Identidad de Parseval.
Usando la definicin de norma de una funcin podemos escribir la identidad de Parseval de una manera
que nos recuerda el cuadrado de la norma de un vector en un espacio lineal. Comparmosla con la
expresin de la norma de un vector en R^3:

f(x) = (ak k(x)).

v = a1 e1 + a2 e2 + a3 e3.

||f||^2 = (ak)^2.

||v||^2 = (ak)^2 desde k = 1 hasta 3.

La serie de Fourier de una funcin f en un intervalo [a, b] converge en media a la funcin si y solo si se
cumple la igualdad anterior. Por otra parte, cuando consideramos una sucesin ortonormal {n} en el
intervalo [a, b], si se cumple que toda funcin f de R converge en media a su serie de Fourier respecto
a la sucesin {n}, se dice que {n(x)} es una sucesin ortonormal completa.
La Serie de Fourier en Forma Compleja:
Vamos a escribir la serie de Fourier de un modo ms compacto mediante su extensin al plano complejo.
Consideremos una serie de Fourier de una funcin f(x) definida sobre un intervalo simtrico [- L, L]:

f(x) = a0 / 2 + [an Cos(n x / L) + bn Sen(n x / L)].

Siendo:

an = (f(x) Cos(n x / L) dx) / L.

bn = (f(x) Sen(n x / L) dx) / L.

Si hacemos la extensin al campo complejo:

e^(i n x / L) = Cos(n x / L) + i Sen(n x / L).

o bien:

Cos(n x / L) = [e^(i n x / L) + e^(- i n x / L)] / 2.

Sen(n x / L) = [e^(i n x / L) e^(- i n x / L)] / 2 i.

Sustituyendo en la serie de Fourier original:

f(x) = a0 / 2 + [an [e^(i n x / L) + e^(- i n x / L)] / 2 + bn [e^(i n x / L) e^(- i n x / L)] / 2 i].

f(x) = a0 / 2 + [(an / 2 + bn / (2 i)) e^(i n x / L) + (an / 2 bn / (2 i)) e^(- i n x / L)].

f(x) = a0 / 2 + [(an i bn) e^(i n x / L) / 2] + [(an + i bn) e^(- i n x / L) / 2].

Podemos escribir la serie con un nico sumatorio extendido a ndices positivos y negativos introduciendo
la siguiente notacin:

ck = (an i bn) / 2 y k = n si k > 0.

ck = a0 / 2 si k = 0.

ck = (an + i bn) / 2 y k = n si k < 0.

f(x) = (ck e^(i n x / L)) desde - hasta .

Veamos ahora cmo se calculan los coeficientes ck de la serie de Fourier compleja. Los an y bn
vienen dados por:

an = (f(x) Cos(n x / L) dx) / L.

an = (f(x) [e^(i n x / L) + e^(- i n x / L)] / 2 dx) / L.

bn = (f(x) Sen(n x / L) dx) / L.

bn = (f(x) [e^(i n x / L) e^(- i n x / L)] / 2 i dx) / L.

Con lo cual los ck sern, para:

k > 0.

k = n.

ck = (an i bn) / 2.

ck = (f(x) [e^(i n x / L) + e^(- i n x / L)] / 2 dx) / (2 L) (f(x) [e^(i n x / L) e^(- i n x / L)] /

2 dx) / (2 L).

ck = (f(x) e^(- i n x / L) dx) / (2L).

Para :

k < 0.

k = n.

ck = (an + i bn) / 2.

ck = (f(x) [e^(i n x / L) + e^(- i n x / L)] / 2 dx) / (2 L) + (f(x) [e^(i n x / L) e^(- i n x / L)] /

2 dx) / (2 L).

ck = (f(x) e^(i n x / L) dx) / (2L).

Para:

k = 0.

c0 = (f(x) dx) / (2 L) = a0 / 2.