TEMA 1

Funciones ortogonales y series de Fourier

Las series e integrales de Fourier constituyen un tema clsico del Anlisis Matemtico. Desde a a a su aparicin en el siglo XVIII en el estudio de las vibraciones de una cuerda, las series de o Fourier se han convertido en un instrumento indispensable en el anlisis de ciertos fenmenos a o peridicos de la F o sica y la Ingenier La idea fundamental se basa en aproximar la funcin, a. o no por una serie de potencias (desarrollo de Taylor), sino por una serie de funciones peridicas o (senos y cosenos). En lo que sigue consideraremos que las funciones con las que se trabaja son Riemann integrables en el intervalo correspondiente (bastar por ejemplo, suponer que son continuas a, salvo en un nmero nito de puntos donde presentan discontinuidades de salto). u

1.1. FUNCIONES ORTOGONALES

1.1. Funciones ortogonales Denicin 1.1.1. El producto escalar de dos funciones f1 y f2 denidas en un intervalo o [a, b] es el nmero u b f1 , f2 = f1 (x)f2 (x) dx
a

Entonces la norma que induce este producto escalar de una funcin f denida en el o intervalo [a, b] es el nmero u ( b 2 )1 f = f (x) dx 2
a

Denicin 1.1.2. Dos funciones f1 y f2 son ortogonales en el intervalo [a, b] si o b f1 , f2 = f1 (x)f2 (x) dx = 0
a

Por ejemplo, las funciones f1 (x) = x y f2 (x) = x3 son ortogonales en el intervalo [1, 1] puesto que 1 1 [ 1 ]1 2 3 f1 , f2 = x x dx = x5 dx = x6 1 = 0 6 1 1 Denicin 1.1.3. Se dice que un conjunto de funciones {n } es ortogonal en el intervalo o n=0 [a, b] si b m , n = m (x)n (x) dx = 0, m = n
a

Si es un conjunto ortogonal de funciones en el intervalo [a, b] con la propiedad de que n = 1 para cualquier n, entonces se dice que {n } es un conjunto ortonormal n=0 en el intervalo [a, b].

{n } n=0

1.1. FUNCIONES ORTOGONALES

Ejemplo 1.1.4. El conjunto {n (x) = cos(nx)} es ortogonal en el intervalo [, ]. En n=0 efecto, [1 ] 0 , n = 1 cos(nx) dx = sen(nx) = 0, n = 0 n Si m y n son ambos distintos de 0, ) 1 ( m , n = cos(mx) cos(nx) dx = cos((m + n)x) + cos((m n)x) dx = 2 1 [ sen((m + n)x) sen((m n)x) ] = 0, m = n = + 2 m+n mn En este ejemplo, si calculamos las normas de cada funcin, obtenemos: o ( )1 0 = dx 2 = 2

y para n > 0, (1 )1 n = cos (nx) dx = [1 + cos(2nx)] dx 2 = 2 1 cos(x) cos(2x) De esta forma el conjunto { , , , . . . , } es ortonormal en [, ]. 2 (
2

)1 2

Nota 1.1.5. De manera anloga puede probarse que el conjunto a 1 cos(x) cos(2x) sen(x) sen(2x) { , , ,..., , ,...,} 2 es ortonormal en [, ].

1.1. FUNCIONES ORTOGONALES

Es conocido que, dada una base ortogonal en un espacio vectorial de dimensin nita, o cualquier elemento de dicho espacio vectorial puede representarse como combinacin lineal o de los elementos de esa base. Nuestro objetivo es extender esta propiedad a un espacio de dimensin innita. o Sea {n } un conjunto ortogonal de funciones en el intervalo [a, b] y sea f una funcin o n=0 denida en ese intervalo. Los coecientes cm , m = 0, 1, 2, . . . , para los que f (x) = c0 0 (x) + c1 1 (x) + + cn n (x) + . . . se calculan multiplicando esta expresin por m e integrando en el intervalo [a, b] o b b b b f (x)m (x) dx = c0 0 (x)m (x) dx+c1 1 (x)m (x) dx+ +cn n (x)m (x) dx+. . .
a a a a

Por ortogonalidad, cada trmino del lado derecho de la ultima ecuacin es cero, excepto e o cuando n = m. En este caso, se tiene b b b f (x)n (x) dx = cn n (x)n (x) dx = cn 2 (x) dx n
a a n=0 a

Por tanto, f (x) =

cn n (x)

donde los coecientes cn vienen dados por b f (s)n (s) ds f, n cn = a b = 2 (s) ds n 2 a n esto es, f, n f (x) = n n 2 n=0 Este desarrollo se llama desarrollo en serie ortogonal de f (o tambin, serie de Fourier e generalizada). Nota 1.1.6. El procedimiento anterior es formal, es decir, no se ha analizado si el desarrollo en serie anterior es convergente.

1.2. SERIES DE FOURIER

1.2. Series de Fourier El conjunto 2 2 {1, cos( x), cos( x), . . . , sen( x), sen( x), . . . ,} p p p p es ortogonal en [p, p]. Sea f una funcin que admite un desarrollo en serie del conjunto anterior, es decir: o a0 n n f (x) = + (an cos( x) + bn sen( x)) 2 p p n=1

donde los coecientes a0 , a1 , a2 , . . . , b1 , b2 , . . . se determinan del modo que se coment anteo a0 riormente, excepto en el caso de a0 en el que, por conveniencia en la notacin, se escribe . o 2 Entonces p 1 f (s) ds a0 = p p 1 p n an = f (s) cos( s) ds, n = 1, 2, . . . p p p p 1 n bn = f (s) sen( s) ds, n = 1, 2, . . . p p p La serie a0 n n + (an cos( x) + bn sen( x)) 2 p p n=1 se llama serie de Fourier de f , y los nmeros reales an y bn , coecientes de Fourier. u Nota 1.2.1. Esta serie no converge para cualquier f . Habr que imponer condiciones que a garanticen la convergencia de la serie de Fourier de una funcin dada. o Ejemplo 1.2.2. En este ejemplo se calcula la serie de Fourier de la funcin o 0, si < x < 2 f (x) = 1, si x < 2 De acuerdo con la denicin de los coecientes de Fourier: o 1 3 a0 = ds = 2 2 { n1 (1) 2 sen( n ) 1 2 , si n es impar = an = cos(ns) ds = n n 0, si n es par 2 { 1 1 cos(n) cos( n ) , si n es impar 2 n n bn = sen(ns) ds = + = 1 2 ), (1 + (1) si n es par n n n
2

Por tanto la serie de Fourier es 1 1 3 1 + (cos(x) + sen(x) sen(2x) cos(3x) + sen(3x) + . . . ) 4 3 3

1.3. DESARROLLOS DE SERIES DE FOURIER DE FUNCIONES PARES E IMPARES

1.3. Desarrollos de series de Fourier de funciones pares e impares Recordemos que una funcin es par si verica f (x) = f (x) para cualquier x, y es impar o si f (x) = f (x). En un intervalo simtrico como (p, p) la grca de una funcin par e a o posee simetr respecto al eje y, mientras que la grca de una funcin impar posee simetr a a o a con respecto al origen. Estas funciones verican las siguientes propiedades: El producto de dos funciones pares es par. El producto de dos funciones impares es par. El producto de una funcin par y una impar es impar. o La suma o la diferencia de dos funciones pares es par. La suma o la diferencia de dos funciones impares es impar.
a a a

Si f es par, entonces

f (x) dx = 2
a a 0

f (x) dx.

Si f es impar, entonces

f (x) dx = 0.

Gracias a estas propiedades el clculo de los coecientes de una serie de Fourier se simplica a de manera importante cuando f es una funcin par o impar. o Si f es una funcin par en (p, p), entonces los coecientes de la serie de Fourier se o convierten en: 1 p 2 p a0 = f (s) ds = f (s) ds p p p 0 pues f (x) es par. 1 p n 2 p n an = f (s) cos( s) ds = f (s) cos( s) ds, n = 1, 2, . . . p p p p 0 p pues f (x) cos( n x) es par. p 1 bn = p pues f (x) sen( n x) es impar. p De esta forma la serie de Fourier de una funcin par en (p, p) ser o a n a0 + an cos( x) 2 p n=1

f (s) sen(
p

n s) ds = 0, p

n = 1, 2, . . .

con los coecientes calculados anteriormente.

1.3. DESARROLLOS DE SERIES DE FOURIER DE FUNCIONES PARES E IMPARES

Ejemplo 1.3.1. La funcin f (x) = x2 es par en el intervalo (2, 2) y por tanto su desarrollo o de Fourier ser en serie de cosenos. De acuerdo con la denicin de los coecientes de a o Fourier: 2 2 2 8 a0 = s ds = 2 0 3 2 n 16(1)n 2 an = s2 cos( s) ds = , n = 1, 2, . . . 2 0 2 n2 2 bn = 0, n = 1, 2, . . . Entonces la serie de Fourier es 4 16 (1)n n + 2 cos( x) 3 n=1 n2 2

De manera similar, cuando f es impar en el intervalo (p, p), 2 p

0

an = 0,
p

bn = y la serie de Fourier es

n = 0, 1, 2, . . . n f (s) sen( s) ds, n = 1, 2, . . . p

n=1

bn sen(

n x) p

Ejemplo 1.3.2. La funcin f (x) = x es impar en el intervalo (2, 2) y por tanto su desarrollo o de Fourier ser en serie de senos. De acuerdo con la denicin de los coecientes de Fourier: a o 2 n 4(1)n+1 bn = x sen( s) ds = , 2 0 2 n Entonces la serie de Fourier es
4 (1)n+1 n sen( x) n=1 n 2

an = 0,
2

n = 0, 1, 2, . . . n = 1, 2, . . .

1.3. DESARROLLOS DE SERIES DE FOURIER DE FUNCIONES PARES E IMPARES

5 4 3 2 1 0 1 2 3 4 5 3 2 1 0 1 2 3

Figura 1. Simetr par para f (x) = x2 en x (0, 2) a

5 4 3 2 1 0 1 2 3 4 5 3 2 1 0 1 2 3

Figura 2. Simetr impar para f (x) = x2 en x (0, 2) a

Nota 1.3.3. (Desarrollos en semi-intervalos) En todo lo anterior hemos considerado intervalos centrados en el origen, es decir, de la forma (p, p). Sin embargo, en ocasiones ser interesante representar una funcin que se a o dene slo para el intervalo (0, p) mediante una serie trigonomtrica. Esto puede hacerse de o e muchas formas distintas, suministrando una denicin cticia de la funcin en el intervalo o o (p, 0). Por brevedad se presentan los tres casos ms comunes. As si y = f (x) est a , a denida en el intervalo (0, p), podemos 1. (Reexin par) reejar la grca de la funcin respecto al eje y, es decir, f (x) = f (x) o a o para x (p, 0) (la funcin es ahora par en el intervalo (p, p), y por tanto se tendr o a un desarrollo en serie de cosenos). 2. (Reexin impar) reejar la grca de la funcin respecto al origen, es decir, f (x) = o a o f (x) para x (p, 0) (la funcin es ahora impar en el intervalo (p, p), y por o tanto se tendr un desarrollo en serie de senos). a 3. (Traslacin) denir la funcin mediante f (x) = f (x + p) para x (p, 0), lo que dar o o a origen a una serie de Fourier general.

1.4. CONVERGENCIA
5 4 3 2 1 0 1 2 3 4 5 3 2 1 0 1 2 3

Figura 3. Traslacin para f (x) = x2 en x (0, 2) o

1.4. Convergencia El siguiente teorema expresa las condiciones sucientes de convergencia de una serie de Fourier en un punto. Teorema 1.4.1. Sean f y f continuas a trozos en el intervalo (p, p), es decir, continuas excepto en un numero nito de puntos donde presentan discontinuidades de tipo nito. Entonces la serie de Fourier de f en el intervalo converge a f (x) en los puntos x en los que la funcin es continua. o En los puntos x en los que la funcin es discontinua la serie de Fourier converge al o promedio: f (x+ ) + f (x ) 2 donde f (x+ ) y f (x ) denotan los lmites de f en x por la derecha y por la izquierda, respec tivamente. Si la funcin es peridica de periodo 2p el resultado anterior se tiene para cualquier o o x R, no slo para el intervalo (p, p). o

1.5. TRANSFORMADA DE FOURIER

10

1.5. Transformada de Fourier Hasta el momento se ha utilizado el sistema ortogonal formado por las funciones reales sen( n x) y cos( n x). Se puede considerar un sistema ortogonal de funciones con valores p p complejos. El producto interior que se considera en este caso es: p f1 , f2 C = f1 (x)f2 (x) dx
p

} constituyen un sistema ortogonal con respecto al proeit + eit y ducto escalar anterior, teniendo en cuenta que para cada t R, cos(t) = 2 eit eit sen(t) = , como consecuencia de la relacin de Euler eit = cos(t) + i sen(t). o 2i La serie
n=

El conjunto de funciones {e

i n x p

cn e i

n x p

se llama serie de Fourier compleja de f , donde los coecientes son: p n 1 f (s)ei p s ds cn = 2p p La serie de Fourier compleja de una funcin y la serie de Fourier de una funcin son en o o realidad la misma. es decir, dos maneras distintas de escribir lo mismo. De la denicin de cn , an y bn se tiene que, para cada nmero n > 0 o u an ibn an + ibn cn = , cn = 2 2 y a0 c0 = 2 Las series de Fourier representan funciones denidas en un intervalo de la recta o, equivalentemente, funciones peridicas en la recta. Para representar funciones denidas en toda o la recta y no peridicas, se sustituye por la transformada de Fourier. Ahora es conveniente o trabajar en forma compleja, como hemos indicado que se puede hacer para las series. Formalmente se puede deducir una expresin de la transformada de Fourier a partir de la serie. o Supongamos que f es una funcin peridica de periodo 2p, entonces su serie de Fourier en o o forma compleja es 1 ( 2p n= Llamando n = n y 2p h() =
p

f (s)ei

n s p

ds)ei

n x p

f (s)e2is ds

la expresin anterior se escribe: o

1.5. TRANSFORMADA DE FOURIER

11

(n n1 )h(n )e2in x

n=

que tiene el aspecto de una suma de Riemann. En el l mite tendr amos ( f (s)e2is ds)e2ix d

que contiene lo que se llama transformada de Fourier f (s)e2is ds = F(f )() = = f (s) cos(2s) ds + i f (s) sen(2s) ds = = f (s) cos(2s) ds i f (s) sen(2s) ds

y la frmula de inversin que dar f a partir de la transformada: o o a f (x) = F(f )()e2ix d = = F(f )() cos(2x) d + i F(f )() sen(2x) d

Nota 1.5.1. La denicin vara segn los gustos en la aparicin de ciertas constantes, por o u o ejemplo el exponente puede ser ix; en ese caso, la frmula de inversin lleva un factor o o 1/2 multiplicando. Adems, el exponente casi siempre lleva signo , pero algunos autores a usan signo +(en este caso, el signo aparece en la frmula de inversin). o o Nota 1.5.2. Una condicin suciente para que exista la transformada de Fourier es que o f sea absolutamente integrable en (, ) y que f y f sean continuas en todo intervalo nito. Como consecuencia de la linealidad de la integral, se tiene que F(f + g)() = F(f )() + F(f )() Adems, bajo condiciones sucientes de regularidad se obtiene que a F(f )() = 2i F(f )() Ejemplo 1.5.3. Sea f el pulso rectangular dado por la funcin caracter o stica del intervalo [ 1 , 1 ], es decir, 2 2 { 1 1, si 1 x 2 2 f (x) = 0, en otro caso entonces F(f )() = f (s)e2is ds =

1.5. TRANSFORMADA DE FOURIER

12

Amplitud

Amplitud
1/2 0 1/2

1 0 1

Figura 4. Pulso rectangular y su transformada

Amplitud

Amplitud
1.5 0 1.5

1.5

1.5

Figura 5. La funcin g(x) = e2|x| y su transformada o

F(f )() = =
1 2 1 2

1 2

e2is ds =
1 2

cos(2s) ds i

1 2

sen(2s) ds =

1 2

1 1 1 1 1 1 (sen(2 ) sen(2 )) i (cos(2 ) cos(2 )) = 2 2 2 2 2 2 1 = sen() La funcin del segundo miembro se suele llamar seno cardinal y se representa por sinc. o = Ejemplo 1.5.4. La transformada de g(x) = e2|x| es la funcin o 1 1 F(g)() = 1 + 2