Funciones ortogonales y series de Fourier

Las series e integrales de Fourier constituyen un tema cl asico del An alisis Matem atico. Desde su aparici on en el siglo XVIII en el estudio de las vibraciones de una cuerda, las series de Fourier se han convertido en un instrumento indispensable en el an alisis de ciertos fen omenos peri odicos de la F sica y la Ingenier a. La idea fundamental se basa en aproximar la funci on, no por una serie de potencias (desarrollo de Taylor), sino por una serie de funciones peri odicas (senos y cosenos). En lo que sigue consideraremos que las funciones con las que se trabaja son Riemann integrables en el intervalo correspondiente (bastar a, por ejemplo, suponer que son continuas salvo en un n umero nito de puntos donde presentan discontinuidades de salto).

0.1. FUNCIONES ORTOGONALES

0.1. Funciones ortogonales Denici on 0.1.1. El producto escalar de dos funciones f1 y f2 denidas en un intervalo [a, b] es el n umero b f1 , f 2 = f1 (x)f2 (x) dx
a

Entonces la norma que induce este producto escalar de una funci on f denida en el intervalo [a, b] es el n umero )1 ( b 2 f (x) dx 2 f =
a

Denici on 0.1.2. Dos funciones f1 y f2 son ortogonales en el intervalo [a, b] si b f1 , f 2 = f1 (x)f2 (x) dx = 0
a

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

Si {n } n=0 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 } n=0 es un conjunto ortonormal en el intervalo [a, b].

0.1. FUNCIONES ORTOGONALES

Ejemplo 0.1.4. El conjunto {n (x) = cos(nx)} n=0 es ortogonal en el intervalo [, ]. En efecto, 0 , n =

1 cos(nx) dx =

] [1 sen(nx) = 0, n

n = 0

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 funci on, obtenemos: (

0 = y para n > 0, n = (

)1 dx 2 = 2

cos (nx) dx

)1 2

(1 = 2

)1 [1 + cos(2nx)] dx 2 =

1 cos(x) cos(2x) , . . . , } es ortonormal en [, ]. De esta forma el conjunto { , , 2

0.1. FUNCIONES ORTOGONALES

Nota 0.1.5. De manera an aloga puede probarse que el conjunto sen(x) sen(2x) 1 cos(x) cos(2x) { , , ,..., , ,...,} 2 es ortonormal en [, ]. Es conocido que, dada una base ortogonal en un espacio vectorial de dimensi on nita, cualquier elemento de dicho espacio vectorial puede representarse como combinaci on lineal de los elementos de esa base. Nuestro objetivo es extender esta propiedad a un espacio de dimensi on innita. Sea {n } on n=0 un conjunto ortogonal de funciones en el intervalo [a, b] y sea f una funci 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 expresi on por m e integrando en el intervalo [a, b]
a b

f (x)m (x) dx = c0
a

0 (x)m (x) dx+c1

a

1 (x)m (x) dx+ +cn

a

n (x)m (x) dx+. . .

Por ortogonalidad, cada t ermino del lado derecho de la u ltima ecuaci on es cero, excepto cuando n = m. En este caso, se tiene b b b f (x)n (x) dx = cn n (x)n (x) dx = cn 2 n (x) dx
a a a

Por tanto, f (x) =

n=0

cn n (x)

donde los coecientes cn vienen dados por b cn = esto es,

f, n n=0 a

f (s)n (s) ds f, n = b n 2 2 (s) ds a n

f (x) =

n 2

Este desarrollo se llama desarrollo en serie ortogonal de f (o tambi en, serie de Fourier generalizada). Nota 0.1.6. El procedimiento anterior es formal, es decir, no se ha analizado si el desarrollo en serie anterior es convergente.

0.2. SERIES DE FOURIER

0.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 funci on que admite un desarrollo en serie del conjunto anterior, es decir: 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 o anteriormente, excepto en el caso de a0 en el que, por conveniencia en la notaci on, se escribe a0 . 2 Entonces 1 a0 = p
p

f (s) ds
p

n 1 p f (s) cos( s) ds, an = p p p p 1 n bn = f (s) sen( s) ds, p p p La serie

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

a0 n n + (an cos( x) + bn sen( x)) 2 p p n=1

se llama serie de Fourier de f , y los n umeros reales an y bn , coecientes de Fourier. Nota 0.2.1. Esta serie no converge para cualquier f . Habr a que imponer condiciones que garanticen la convergencia de la serie de Fourier de una funci on dada.

0.2. SERIES DE FOURIER

Ejemplo 0.2.2. En este ejemplo se calcula la serie de Fourier de la funci on 0, si < x < 2 f (x) = 1, si x < 2 De acuerdo con la denici on de los coecientes de Fourier: 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 n 1 cos(n ) cos( 2 ) , si n es impar 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 3 1 1 1 + (cos(x) + sen(x) sen(2x) cos(3x) + sen(3x) + . . . ) 4 3 3

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

0.3. Desarrollos de series de Fourier de funciones pares e impares Recordemos que una funci on es par si verica f (x) = f (x) para cualquier x, y es impar si f (x) = f (x). En un intervalo sim etrico como (p, p) la gr aca de una funci on par posee simetr a respecto al eje y , mientras que la gr aca de una funci on impar posee simetr 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 funci on par y una impar es impar. 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 0

f (x) dx.

Si f es impar, entonces

f (x) dx = 0.
a

Gracias a estas propiedades el c alculo de los coecientes de una serie de Fourier se simplica de manera importante cuando f es una funci on par o impar. Si f es una funci on par en (p, p), entonces los coecientes de la serie de Fourier se convierten en: 1 p 2 p a0 = f (s) ds = f (s) ds p p p 0 pues f (x) es par. n n 2 p 1 p f (s) cos( s) ds = f (s) cos( s) ds, n = 1, 2, . . . an = 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 funci on par en (p, p) ser a a0 n + an cos( x) 2 p n=1

f (s) sen(
p

n s) ds = 0, p

n = 1, 2, . . .

con los coecientes calculados anteriormente.

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

Ejemplo 0.3.1. La funci on f (x) = x2 es par en el intervalo (2, 2) y por tanto su desarrollo de Fourier ser a en serie de cosenos. De acuerdo con la denici on de los coecientes de Fourier: 2 2 2 8 a0 = s ds = 2 0 3 2 2 n 16(1)n , n = 1, 2, . . . an = s2 cos( s) ds = 2 0 2 n2 2 bn = 0, n = 1, 2, . . . Entonces la serie de Fourier es 4 16 (1)n n + 2 cos( x) 2 3 n=1 n 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 0.3.2. La funci on f (x) = x es impar en el intervalo (2, 2) y por tanto su desarrollo de Fourier ser a en serie de senos. De acuerdo con la denici on de los coecientes de Fourier:
0

bn =

2 2

an = 0, n = 0, 1, 2, . . . n 4(1)n+1 s sen( s) ds = , 2 n

n = 1, 2, . . .

Entonces la serie de Fourier es

n 4 (1)n+1 sen( x) n=1 n 2

0.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 a par para f (x) = x2 en x (0, 2)

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

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

Nota 0.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 a interesante representar una funci on que se dene s olo para el intervalo (0, p) mediante una serie trigonom etrica. Esto puede hacerse de muchas formas distintas, suministrando una denici on cticia de la funci on en el intervalo (p, 0). Por brevedad se presentan los tres casos m as comunes. As , si y = f (x) est a denida en el intervalo (0, p), podemos 1. (Reexi on par) reejar la gr aca de la funci on respecto al eje y , es decir, f (x) = f (x) para x (p, 0) (la funci on es ahora par en el intervalo (p, p), y por tanto se tendr a un desarrollo en serie de cosenos). 2. (Reexi on impar) reejar la gr aca de la funci on respecto al origen, es decir, f (x) = f (x) para x (p, 0) (la funci on es ahora impar en el intervalo (p, p), y por tanto se tendr a un desarrollo en serie de senos). 3. (Traslaci on) denir la funci on mediante f (x) = f (x + p) para x (p, 0), lo que dar a origen a una serie de Fourier general.

0.4. CONVERGENCIA

10

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

Figura 3. Traslaci on para f (x) = x2 en x (0, 2)

0.4. Convergencia El siguiente teorema expresa las condiciones sucientes de convergencia de una serie de Fourier en un punto. Teorema 0.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 funci on es continua. En los puntos x en los que la funci on es discontinua la serie de Fourier converge al promedio: f (x+ ) + f (x ) 2 + donde f (x ) y f (x ) denotan los l mites de f en x por la derecha y por la izquierda, respectivamente. Si la funci on es peri odica de periodo 2p el resultado anterior se tiene para cualquier x R, no s olo para el intervalo (p, p).

0.5. TRANSFORMADA DE FOURIER

11

0.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 , f 2 C = f1 (x)f2 (x) dx
p

} constituyen un sistema ortogonal con respecto al proejt + ejt y ducto escalar anterior, teniendo en cuenta que para cada t R, cos(t) = 2 ejt ejt sen(t) = , como consecuencia de la relaci on de Euler ejt = cos(t) + j sen(t). 2j La serie
n=

El conjunto de funciones {e

j n x p

cn e j

n x p

se llama serie de Fourier compleja de f , donde los coecientes son: p n 1 cn = f (s)ej p s ds 2 p p La serie de Fourier compleja de una funci on y la serie de Fourier de una funci on son en realidad la misma. es decir, dos maneras distintas de escribir lo mismo. De la denici on de cn , an y bn se tiene que, para cada n umero n > 0 cn = y an jbn , 2 c0 = c n = an + jbn 2

a0 2 Las series de Fourier representan funciones denidas en un intervalo de la recta o, equivalentemente, funciones peri odicas en la recta. Para representar funciones denidas en toda la recta y no peri odicas, se sustituye por la transformada de Fourier. Ahora es conveniente trabajar en forma compleja, como hemos indicado que se puede hacer para las series. Formalmente se puede deducir una expresi on de la transformada de Fourier a partir de la serie. Supongamos que f es una funci on peri odica de periodo 2p, entonces su serie de Fourier en forma compleja es 1 ( 2p n= Llamando n = n y p h( ) =
p

f (s)ej

n s p

ds)ej

n x p

f (s)ejs ds

la expresi on anterior se escribe:

0.5. TRANSFORMADA DE FOURIER

12

1 (n n1 )h(n )ejx 2 n=

que tiene el aspecto de una suma de Riemann. En el l mite tendr amos 1 ( f (s)ejs ds)ejx d 2 que contiene lo que se llama transformada de Fourier F (f )( ) = f (s)ejs ds = =

f (s) cos(s) ds + j

f (s) cos(s) ds j

f (s) sen(s) ds = f (s) sen(s) ds

y la f ormula de inversi on que dar a f a partir de la transformada: 1 f (x) = F (f )( )ejx d = 2 j 1 F (f )( ) cos(x) d + F (f )( ) sen(x) d = 2 2 Nota 0.5.1. La denici on var a seg un los gustos en la aparici on de ciertas constantes, por ejemplo el exponente puede ser 2jx ; en ese caso, la f ormula de inversi on no lleva el factor 1/2 multiplicando. Adem as, el exponente casi siempre lleva signo , pero algunos autores usan signo +(en este caso, el signo aparece en la f ormula de inversi on).

Nota 0.5.2. Una condici on suciente para que exista la transformada de Fourier es que 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 )( ) Adem as, bajo condiciones sucientes de regularidad se obtiene que F (f (n )( ) = (j )n F (f )( ) Otras propiedades interesantes son:

0.5. TRANSFORMADA DE FOURIER

13

Amplitud

Amplitud
1/2 0 1/2

1 0 1

Figura 4. Pulso rectangular y su transformada

Escalado:
1 La transformada de Fourier de f (at), a > 0 es a F (f )( ). a

Desplazamiento: La transformada de Fourier de f (t t0 ) es ejt0 F (f )( ). La transformada de Fourier de ej0 t f (t) es F (f )( 0 ). La transformada de Fourier de f (t) cos(0 t) es Convoluci on: La transformada de Fourier de f (t)g (t) es
F (f )( 0 )+F (f )(0 + ) . 2

F (f )( )F (g )( u))du f (s)g (ts)ds es F (f )( )F (g )( )

La transformada del producto de convoluci on

Ejemplo 0.5.3. Sea f el pulso rectangular dado por la funci on caracter stica del intervalo 1 1 [ 2 , 2 ], es decir, { f (x) = entonces F (f )( ) =

1, 0,

x si 1 2 en otro caso

1 2

f (s)ejs ds =
1 2

F (f )( ) =

ejs ds =

1 2

0.5. TRANSFORMADA DE FOURIER

14

Amplitud

Amplitud
1.5 0 1.5

1.5

1.5

Figura 5. La funci on g (x) = e2|x| y su transformada

1 2

cos(s) ds j

1 2

sen(s) ds =
1 2

1 2

1 1 1 1 1 1 (sen( ) sen( )) j ( cos( ) + cos( )) = 2 2 2 2 2 = sen( ) 2

La funci on del segundo miembro se suele llamar seno cardinal y se representa por sinc. Ejemplo 0.5.4. La transformada de g (x) = e2|x| es la funci on 4 + 2

F (g )( ) =

4 2