Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 1

Curso 2

o.

Ingeniero de Telecomunicacin.

Ampliacin de Matemticas. Leccin 4.

ANLISIS DE FOURIER. Curso 2010-11

1 La serie de Fourier de una funcin

El planteamiento central de esta leccin es el siguiente. Dada una funcin peridica f (t),por de perodo 2p, queremos escribirla como una combinacin en la que intervengan ejemplo nica- senos y cosenos, que son las funciones peridicas de perodo 2p ms simples y conocidas: mente f (t) =?
8 X n=0

[an cos(nt)+b

sen (nt)] .

Una serie de este tipo recibe el nombre de serie trigonomtrica o seriedeFourier. El problema de la representacin de una funcin mediante una serie trigonomtrica surge, como veremos en la leccin 6, de la resolucin de ecuaciones en derivadas parciales. En torno a 750, J. dAlembert, D. Bernoulli (17001782) y L. Euler estudiaron la ecuacin de ondas que 1 gobierna el problema de la cuerda vibrante, un problema planteado y estudiado por B. Taylor (16851731) que haba obtenido soluciones en forma de funciones sinusoidales. DAlembert dio una solucin muy general y Euler prob que si en el instante inicial la forma de la cuerda es una combinacin finita de senos, entonces o currir lo mismo en cualquier instante posterior, dando ms tarde, en 1777, las frmulas que permiten calcular los coeficientes de la mucho combinacin. Bernoulli utiliz esta representacin para resolver el problema de la cuerda En 1753, D. vibrante posicin inicial cualquiera, pero su solucin suscit mucha controversia. Fue J.B. para una Fourier (17681830) quien, al analizar en una famosa memoriapresentadaen1807laecuacinquegobierna la transmisin del calor en una barra, retom las ideas de Euler y Bernoulli y obtuvo resultados muy ajustados a los experimentos, colocando el estudio de las series trigonomtricas que hoy llevan su nombre en el centro del escenario matemtico del S. XIX. La teora de series de Fourier tuvo a lo largo del siglo pasado profundas implicaciones para el anlisis las matemtico y es hoy en da una herramienta fundamental de la ingeniera de telecomunicacin. En la teora de la seal y la comunicacin, cuando t es la variable temporal se dice que f (t) es una seal peridica en tiempo continuo y cuando esta representacin en serie de funciones trigonomtricas sea correcta, decimos que hemos descompuesto la seal en armnicos o modos de vibracin.

Lecci n 4. An li si s de Fouri er

En esta leccin estudiaremos ba jo qu condiciones puede hacerse esta representacin, cmo calcular los coeficientes, los ejemplos ms importantes, algunas propiedades y la forma compleja de las series de Fourier. Finalmente, para funciones seales no peridicas, se introduce la transformada de Fourier que, aunque es muy similar y comparte muchas propiedades con la transformada de Laplace, se emplea en contextos muy diferentes. Funciones peridicas. Recordemos que una funcin f : R R es peri di ca de per odo T 6 (o T -peridica) cuando existe T>0 tal que f (t + T )=f (t) para cualquier t R. Enesecasosetieneautomticamentequef (t + nT )=f (t) para cualesquiera t R y n Z. significa que sus valores se repiten a intervalos regulares y que su grfica puede dividirse en Esto segmentos verticales de anchura T que son idnticos. Es obvio que si T es un perodo de f (t), entonces tambin lo son -T, 2T, 3T, ... Salvo las funciones constantes, todas las funciones de inters en las aplicaciones, en particular las funciones continuas no peridicas constantes, tienenloqueseconocecomoun per odo f undamental o m ni mo; o sea, un perodo T>0 tal que f (t) no es t -peridica para ningn valor 0 <t<T. Los ejemplos tpicos de funciones peridicas son las funciones trigonomtricas sen (t) y cos(t), que son peridicas con perodo mnimo 2p .Lasfuncionessen (2t) y cos(2t) tambin tienen 2p pero su perodo mnimo es p . Ms generalmente, dados >0, f y n N,las perodo funciones sen (n t + f) y cos(n t + f) son peridicas de perodo mnimo T = 2p sen (n (t + T )+f)=sen(n t + f +2p)=sen(n t + f) e igual con el coseno. Para medir la velocidad de repeticin de una funcin con pero do mnimo T , se utiliza la frecuencia , a veces llamada frecuencia angular,definida como frecuencia = 2p perodo = 2pT , quesemideenradianes por segundo. En algunos textos se reserva la palabra frecuencia para la inversa del perodo, 1/T quesemideenciclos por segundoo hertzios. Polinomios trigonomtricos. Un polinomio trigonomtrico con perodo T y frecuencia =p/T es una funcin de la forma 2 f (t)=1
0 2a

=0

n ,porque

n X0 n=1

[an cos(n t)+b

sen (n t)]

(el factor 1 del trmino independiente es un convenio cuya justificacin daremos ms 2 adelante). En otras palabras, un polinomio trigonomtrico es una combinacin lineal de senos y cosenos que un perodo comn T .Loscoeficientes tienen esta combinacin se llaman coe n y b de n a Fourier del polinomio. El ndice ficientes de 0 se llama grado del polinomio. n La razn del trmino polinomio es que las funciones sen (n t) y cos(n t) se pueden escribir como una combinacin de productos de potencias de sen ( t) y cos( t), como en las conocidas expresiones sen (2 t)=2sen( t)cos( t) y cos(2 t)=(cos( t))
2

- (sen ( t))

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 3 Y, viceversa, toda combinacin de pro ductos de potencias de sen ( t) y cos( t) es un polinomio trigonomtrico . La existencia de un perodo comn de las funciones involucradas es importante. La funcin f (t)=cos(t)+cos(pt) no es un polinomio trigonomtrico porque ni siquiera es peridica. Sea f (t)=1 + P n 0 [an cos(n t)+b n sen (n t)] un polinomio trigonomtrico. n=1 2a0 Tomamos 1 a . Para cada n =1, 2,..., sea z a0 = 0 = a n + jb n , a n = |z n | = pa 2 + b2 y f n = Arg (z n ), es n n n 2 decir el argumento que pertenece al intervalo (-p, p]. De esta forma cos(f n )= a ysetiene an cos(n t)+b
n

an

y sen (f

)= b

an
n

sen (n t)=a

cos(n t + f

),

as que podemos escribir el polinomio anterior como una suma de funciones coseno f (t)=a 0 + a 1 cos( t + f )+a 2 cos(2 t + f )++ t+f n ) n 0 cos(n0 1 2 0 a donde el trmino a 1 cos( t + f 1 ) se llama primer armnico o modo fundamental de vibracin. Los coeficientes a n de los armnicos se llaman amplitudes y los ngulos se llaman ngulos de n f fase. En algunas ocasiones puede ser preferible usar funciones seno; ahora bien, puesto que se veri fica cos(n t + f n )=sen(n t + f + p/2), las amplitudes son iguales y los ngulos de fase n entre la expresin con el seno y la expresin con el coseno difieren en p/2. La expresin de un polinomio trigonomtrico en trminos de las amplitudes y las fases de sus armnicosesmuyintuitiva;nosdicequelafuncinresultanteconsisteensuperponervibracion es cos(n t + f n ) cuyas frecuencias son mltiplos enteros de la frecuencia del modo fundamental, de mayor o menor amplitud y que van en fase (si f =0), adelantadas (cuando f > 0,lo n n < 0,loque que corresponde a deslizar la grfica hacia la izquierda) o retrasadas (cuando f n corresponde a deslizar la grfica hacia la derecha) con respecto al armnico puro de la misma frecuencia cos(n t). SeriedeFourier. Sea ahora f (t) una funcin peridica de perodo T . Lapreguntaquese plantea es saber si podemos obtener f como una combinacin necesariamente infinita salvof sea un polinomio trigonomtrico de armnicos de frecuencia que =2p/T : f (t)=? 1 0 + a 1 cos( t)+b 1 sen ( t)+a 2 cos(2 t)+b 2 sen (2 t) 2a + Este problema se desdobla en dos: En primer lugar, determinar los coeficientes a ,a 1 ,b1 ,... 0 adecuados y, posteriormente, establecer si la serie converge a la propia funcin f (t). Con respecto al primer problema, razonamos como sigue. Si es cierto que se da la igualdad y la convergencia de la serie permite la integracin trmino a trmino, entonces el coeficiente a 8 sen (n t)] es relativamente fcil de de la expresin f (t)= 1 0 + P n=1 [a cos(n t)+b n n 2a calcular: si integramos sobre un perodo, obtenemos Z ZT ZT 8 X T f (t) dt = T 0 + an cos(n t) dt + b n sen (n t) dt =T 0, 2a 2a 0 0 0
n=1 0

4 donde hemos usado que para cada n =1, 2,... se tiene ZT ZT cos(n t) dt = sen (n t) dt =0.
0 0

Lecci n 4. An li si s de Fouri er

Para calcular los dems coeficientes, Euler haba observado que dados un perodo T yla frecuencia correspondiente =2p/T, entonces para cada m, n =1, 2,... se tiene ( 0 si m 6 ZT ZT = n, T cos(n t)cos(m t) dt = sen (n t)sen (m t) dt = 0 0 2 si m = n ytambin Z
0 T

cos(n t)sen (m t) dt =0.

n

+ P 8 [an cos(n t)+b n=1 2a0 (para m =1, 2,...) e integrando sobre un perodo, obtenemos ZT f (t)cos(m t) dt = As que, multiplicando la expresin f (t)= 1 =a0 ZT
0

sen (n t)] por cos(m t)

cos(m t) dt +

8 X n=1

an

0 ZT 0

cos(n t)cos(m t) dt + b =T m . 2a

ZT
n 0

sen (n t)cos(m t) dt

+ P 8 [an cos(n t)+b n sen (n t)] por n=1 2a0 sen (m t) (para m =1, 2,...) e integrando sobre un perodo, obtenemos ZT f (t)sen (m t) dt = 0 ZT ZT ZT 8 X an =a0 sen (m t) dt + cos(n t)sen (m t) dt + b n sen (n t)sen (m t) dt Anlogamente, multiplicando la expresin f (t)= 1
0 n=1 0 0

=T m . 2b Puesto que cos(0 t)=1,vemosqueelvalordea 0 se puede obtener admitiendo m =0en la 1 a . expresin de a m ; esto explica por qu el trmino constante de la serie se suele escribir 2 0 En resumen, los coeficientes buscados son ZT am = 2 f (t)cos(m t) dt para m =0, 1, 2 ... T 0 y b =2 m T ZT
0

f (t)sen (m t) dt para m =1, 2,...

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 5 Estas expresiones nos dicen cmo calcular los coeficientes adecuados. Definiciones. Sea f : R R unafuncincontinuaatrozosyperidicadeperodoT ysea =2p/T .Loscoeficientes de Fourier de f son los nmeros definidos por ZT an = 2 f (t)cos(n t) dt para n =0, 1, 2 ..., T 0 y b =2 n T ZT
0

f (t)sen (n t) dt para n =1, 2,...

Puesto que la funcin tiene perodo T , las integrales anteriores pueden hacerse sobre cualquier intervalo de longitud T , por ejemplo [-T/2,T/2]. 8 P La serie 1 0 + [a cos(n t)+b n sen (n t)],dondelosa n ylosb n son los correspondientes 2 a n=1 n coeficientes de Fourier de una funcin f , se llama desarrollo en serie de Fourier,osimplemente seriedeFourier,def . Para indicar que una serie trigonomtrica es la serie de Fourier de una funcin dada se suele escribir f (t) ~ 1 Como antes, tomando a an = pa se tiene an cos(n t)+b
n 2 n

2a0

8 X n=1

[an cos(n t)+b

sen (n t)] .

= 1 a0 y
2

+ b2 n

yf

= arctan(-b

/a n ) (-p, p] para n =1, 2,..., cos(n t + f ),

sen (n t)=a

as que podemos escribir la serie de Fourier de f como una superposicin de armnicos en trminos de las amplitudes y las fases de la siguiente manera: f (t) ~ a
0

8 X n=1

a n cos(n t + f

).

Si T es el perodo mnimo de f , entonces el trmino a cos( t + f 1 ) se llama primer 1 armnico o modo fundamental de vibracin. Los trminos cos(n t)+b n sen (n t)=a cos( t + f n ) n n a restantes se llaman componentes armnicos de f .Loscoeficientes de los componentes arn a mnicos se llaman amplitudes y los ngulos se llaman ngulos de fase. n f Los coeficientes de Fourier o, alternativamente, las amplitudes y las fases son parmetros muy importantes a la hora de estudiar una seal. Aparte de la representacin habitual de una seal una curva situando el tiempo en el eje de abscisas, en la prctica tambin se utilizan como el espectro discreto de amplitudes, que es la representacin de las amplitudes cuando situamos las frecuencias en el eje de abscisas, y el espectro discreto de fases, que es la representacin de las fases cuando situamos las frecuencias en el eje de abscisas. El adjetivo discreto alude al hecho de las frecuencias no varan de forma continua, sino como mltiplos de la frecuencia que ,fundamental, 3 ,..., lo que se conoce como el dominio discreto de frecuencias de f . o sea, 0, ,2

Lecci n 4. An li si s de Fouri er

En muchas aplicaciones, en particular en teora de la seal y de las comunicaciones, es ms unatil tercera forma de expresin, llamada formacomplejadelaseriedeFourier, que consiste en usar exponenciales complejas jn t en vez de cos(n t) y sen (n t). Para construirla, e expresiones sustituimos las cos(n t)=e en la serie
1 2 jn t

+ e-jn t 2 y sen (n t)=e

n

jn t

-e 2j

-jn t

a0 + P

8 n=1

[an cos(n t)+b +1 2a0 2

sen (n t)],obteniendo - jb )ejn t +(a + jb n )e-jn t .

f (t) ~ 1 Escribiendo

8 X (a n n=1

c0 = c 0 e0 = 1 0 ,c 2a

= 1 n - jb 2 (a

)yc

-n

= c n = 1 n + jb n ), 2 (a

separando los trminos con ndice negativo de los que tienen ndice positivo y reordenando, la de Fourier queda serie 8 X f (t) ~ cn ejn t ,
n=-8

quesellamaforma compleja de la serie de Fourier de f .Losnmerosc de Fourier de la forma compleja y pueden calcularse de forma directa: Z T/2 cn = 1 f (t)e-jn t dt para n =0, 1, 2,... T -T/2

se llaman ficientes

coe

Si lo que tenemos son los coeficientes n de la forma compleja, entonces los coeficientes de cri er a y bn , las amplitudes y las fases vienen dados por Fou n an =2Re(c
n

),b

= -2Im(c

),a

=2|c

|yf

=arg(c

) (-p, p].

Cuando f (t) es una seal peridica de perodo fundamental T , las componentes de la forma compleja se dan en las frecuencias 0, , 2 , . . . Sin embargo, no es posible realizar fsicamente seales de frecuencia negativa, stas se han introducido por comodidad. Para obtener jn t una real a partir de cada componente c seal debemos combinarla con -n e-jn t para obtener, n e teniendo en cuenta que n y c-n son conjugados,c c -jf cn ejn t + c-n e-jn t = |c n | ejf n ejn t + |c n | e n e-jn t =2|c n | cos(n t + f n ). En el caso complejo, la representacin de los mdulos |c n | cuando situamos las frecuencias positivas y negativas en el eje de abscisas se llama espectro complejo de amplitudes yessimtrico al eje de ordenadas. Las amplitudes a con respecto n =2|c n | = |c n | + |c -n | se obtienen sumando los valores correspondientes a las frecuencias n y -n . Naturalmente, an est pendiente el problema de saber si el desarrollo en serie de Fourier de una funcin dada converge y, en ese caso, si su lmite es la funcin. Abordaremos ese problema

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 7 en la siguiente seccin; ahora vamos a estudiar algunos ejemplos que nos indiquen qu podemos esperar. Ejemplos. (1) La serie de Fourier de un polinomio trigonomtrico es el propio polinomio. (2) La serie de Fourier de la funcin de onda rectangular de perodo T definida en [-T/2,T/2] por -1 si -T/2 <t<0 f (t)= 1 si 0 <t<T/2

y extendida peridicamente a R es f (t) ~ 4 , sen ( t)+ 1 p 3 sen (3 t)+ 1 5 sen (5 t) + siendo =2p/T . Vemos que no est claro a priori que la serie vaya a ser convergente. (3) La serie de Fourier de la funcin dada por f (t)=(p - t)(p + t) para -p = t = p y extendida peridicamente a R es 2 f (t) ~ 2p cos(t) - 1 3 +4 4 cos(2t)+ 1 9 cos(3t) - 1 16 cos(4t) + En este caso s est claro que la serie converge absolutamente para cada valor de t.

(4) La serie de Fourier de la funcin de onda dentada definida por f (t)=t/T para 0 <t<T y extendida peridicamente a R es f (t) ~ 1/2 - 1 sen ( t)+ 1 p 2 sen (2 t)+ 1 3 sen (3 t) + con =2p/T . (5) La serie de Fourier de la funcin de onda dentada definida por f (t)=t/T para -T/2 < t<T/2 y extendida peridicamente a R es f (t) ~ 1 sen ( t) - 1 p 2 sen (2 t)+ 1 3 sen (3 t) - 1 4 sen (4 t) + con =2p/T . (6) Los coeficientesdeFouriercomplejosdeuntrendepulsosrectangularesdadocomola extensin peridica de la funcin definida en [-T/2,T/2] por k si 0 = |t| <d/2, f (t)= 0 si d/2 = |t| <T/2, son cn = k T siendo =2p/T. Los valores de c par, as que su espectro de fases es f
n

Z d/2
-d/2

e-jn t

dt = kd T

sen (n d/2) n d/2

son reales, lo que corresponde al hecho de que la funcin es =0para cada n ( 1 si t =0, n.Lafuncin sen (t) t si t 6 =0,

sa(t):=

Lecci n 4. An li si s de Fouri er

se llama funcin de muestreo (sa viene de la palabra inglesa sampling)yesmuyimportanteen porque los coeficientes de Fourier complejos del tren de pulsos la teora de la seal precisamente rectangulares de nuestro ejemplo se pueden expresar como cn = kd T sa(n d/ 2). A veces, en vez de la funcin de muestreo se trabaja con una funcin relacionada, llamada seno nal quesedefine como cardi ( 1 si t =0, sinc(t):=sa(pt): = sen (pt) pt si t 6 =0. .

3 cos(3t) + (7) Si consideramos la funcin 2p peridica f que toma los valores f (t)=cos(t/ 2) para t [-p, p) se tiene que =1yparacadanmeroenteron Zp Zp e jt/2 + e -jt/2 n -jnt cn = 1 dt = 1 e-jnt dt = -2(-1) cos(t/2)e 2p -p 2p -p 2 (4n2 - 1)p . Series de Fourier de funciones pares e impares. Sea f :[-L, L ] R una funcin. Se dice que f es una funcin par cuando f (-t)=f (t) para cada t [-L, L]; esto significa que su grfica es simtrica respecto del eje de ordenadas. Si f es par e integrable, entonces ZL ZL f (t) dt =2 f (t) dt.
-L 0 par

La forma real de la serie de Fourier queda como sigue f (t) ~ dk sen ( d/2) cos(t)+ sen (2 d/2) 2p + k p 2 cos(2t)+ sen (3 d/2)

Las constantes, los cosenos o las funciones f (t)=t

son ejemplos de funciones pares.

Se dice que una funcin f :[-L, L] R es una funcin impar cuando f (-t)=-f (t) para cada t [-L, L ];estosignifica que su grfica es simtrica respecto del origen de coordenadas. Si f es impar e integrable, entonces Z
L -L

f (t) dt =0.

Los senos o las funciones f (t)=t

son ejemplos de funciones impares. La suma y el producto de funciones pares o impares sigue la misma regla que los signos (con par en el papel de positivo e impar en el de negativo). Otra propiedad til es que la derivada de una funcin par es impar y viceversa. Te o re ma. Sea f (t) una funcin continua a trozos y peridica de perodo T .
impa r

(1) Si f es una funcin par, entonces su desarrollo en serie de Fourier slo tiene funciones coseno, lo que se cono ce como una serie de Fourier en cosenos, f (t) ~ 1
0 2a

8 X n=1

an cos(n t)

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 9 siendo =2p/T y an = 4 T Z T/2

0

f (t)cos(n t) dt (n =0, 1, 2,...).

(Esto lo vemos en los Ejemplos 3 y 6 anteriores.) (2) Si f es una funcin impar, entonces su desarrollo en serie de Fourier slo tiene funciones seno, lo que se conoce como una seriedeFourierensenos, f (t) ~ siendo =2p/T y b =4 n T
8 X n=1

b sen (n t) n

Z T/2
0

f (t)sen (n t) dt (n =1, 2,...).

(Esto lo vemos en los Ejemplos 2 y 5 anteriores.) Vemos, entonces, que una funcin peridica es par cuando sus coeficientes de Fourier complejos sonrealesyqueesimparcuandosuscoeficientes de Fourier complejos son imaginarios puros. Veremos en la Leccin 6 que en ocasiones necesitaremos expresar una funcin como una serie de Fourier de senos o como una serie de Fourier de cosenos en un intervalo dado. Esto se hace definiendo la funcin de manera adecuada fuera de dicho intervalo para que sea par o impar. Desarrollos de medio intervalo.Seaf :[0,L] R unafuncincontinuaatrozos. Sea T =2L, entonces la extensin T -peridica y par de f es la funcin definida en el intervalo [-L, L ]=[-T/2,T/2] por f (-t) si -L = t = 0, fpar (t)= f (t) si 0 = t = L, y extendida peridicamente a toda la recta real R. Obviamente, f es una funcin par, as que par su desarrollo en serie de Fourier es una serie de cosenos que se cono ce, en este contexto, como el desarrol lo de f en serie de cosenos en medio intervalo [0,L] y viene dado por f (t) ~ 1 siendo = p/L y an = 2 L 2 a0 +
8 X n=1

an cos(n t) en [0,L],

ZL
0

f (t)cos(n t) dt (n =0, 1, 2,...).

La extensin T -peridica e impar de f es la funcin definida en [-L, L ]=[-T/2,T/2] por -f (-t) si -L = t = 0, fimpa (t)= f (t) si 0 = t = L, r y extendida peridicamente a to da la recta real R. Obviamente, f es una funcin impar, as impa r en este contexto, como que su desarrollo en serie de Fourier es una serie de senos que se conoce,

10

Lecci n 4. An li si s de Fouri er

el desarrollo de f en serie de senos en medio intervalo [0,L] y viene dado por f (t) ~ siendo = p/L y b =2 n L
8 X n=1

b sen (n t) en [0,L], n

ZL
0

f (t)sen (n t) dt (n =1, 2,...).

Ejemplo. Sea f (t)=t para t [0,p]. Entonces, su extensin par y 2p -peridica es la funcin dada por f par (t)=|t| para t [-p, p] yextendidaperidicamenteatodalarectareal; el desarrollo de f en serie de cosenos en [0,p] es f (t) ~ p . cos(t)+ cos(3t) + cos(5t) + 2 - 4p 32 52 Para la misma funcin f , su extensin impar y 2p -peridica viene dada por f (t)=t para impa r t [-p, p] y extendida peridicamente a to da la recta real; el desarrollo de f en serie de senos en [0,p] es f (t) ~ 2 sen (t) - sen (2t) . 2 + sen (3t)3 - sen (4t) 4 +

2 Convergencia de las series de Fourier

Sea f : R R una funcin continua a trozos y peridica de perodo T y sea f (t) ~ 1 +
8 X n=1

2a0

[an cos(n t)+b

sen (n t)] ,

con =2p/T , su serie de Fourier. Hemos comentado que la afirmacin de que se da la igualdad entre f y su serie de Fourier suscit mucha controversia a lo largo de la segunda mitad delXVIII y comienzos del S. XIX. Esta controversia fue zanjada por P.G.L. Dirichlet (1805 S. 1859): en 1829 dio la primera demostracin satisfactoria de que cierta clase de funciones, que incluye prcticamente todas las de inters en las aplicaciones, son realmente iguales a las sumas desusseriesdeFourier. Condiciones de Dirichlet. Sea f : R R una funcin peridica de perodo T .Sedice que f satisface las condiciones de Dirichlet si en cada perodo la funcin f :[0,T] R es continua salvo un nmero finito de discontinuidades de salto y slo tiene una cantidad finita de mximos y mnimos locales estrictos. Puede probarse, en particular, que si una funcin es tal que ella y su derivada estn definidas y son continuas salvo un nmero peridica finito de discontinuidades de salto, entonces dicha funcin verifica las condiciones de Dirichlet. Como dicho, prcticamente todas las funciones seales de inters en las aplicaciones hemos las veri fican.

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 11 Teorema de convergencia de Dirichlet. Sea f : R R una funcin peridica de perodo Tue satisface las condiciones de Dirichlet y q sea 8 X f (t) ~ 1 0 + [an cos(n t)+b n sen (n t)] , 2a
n=1

con =2p/T , su serie de Fourier. (1) Si f es continua en un punto t, entonces la serie de Fourier converge en ese punto a f (t), o sea, 8 X 1 + [an cos(n t)+b n sen (n t)] = f (t). 2 a0
n=1

(2) Si f tiene una discontinuad de salto en un punto t, entonces la serie de Fourier converge en ese punto al punto medio del salto, o sea,
8 X 1 + [an cos(n t)+b 2a0 n=1

sen (n t)] = f (t

)+f (t 2,

donde, como es habitual, f (t - )=lim t 0,t >0 f (t - t ) indica el lmite de f en t por la izquierda y f (t + ) = lim t 0,t>0 f (t + t ) indica el lmite de f en t por la derecha. El teorema nos dice, en particular, que si f satisface las condiciones de Dirichlet y redefinimos el valor de f en cada punto de discontinuidad como el punto medio del salto, o sea, poniendo - )+f (t + ) f (t)=f (t 2 , entonces la suma de la serie de Fourier coincide con f (t) en cada t R. Por eso, en lo que sigue, y salvo que se diga lo contrario, supondremos que esto se cumple. Ejemplo. Hemos visto que la serie de Fourier de la funcin dada por f (t)=(p - t)(p + t) para -p = t = p y extendida peridicamente a R es 2 f (t) ~ 2p cos(t) - 1 . 3 +4 4 cos(2t)+ 1 9 cos(3t) - 1 16 cos(4t) + Como f ve rifica las condiciones de Dirichlet, tenemos de hecho que 2 f (t)= 2p cos(t) - 1 3 +4 4 cos(2t)+1 9 cos(3t) - 1 16 cos(4t) + para todo t [-p, p]. Si usamos el teorema de Dirichlet en t = p obtenemos 2 -1 - 1 0= 2p 3 +4 4 - 1 9 - 1 16 - de donde se deduce que 4 + 19 + 116 + = 6 , p resultado obtenido por primera vez por Euler en 1736 (usando otro mto do). 1+ 1
2

12

Lecci n 4. An li si s de Fouri er

El f enmeno de Gibbs. ElteoremadeDirichletnosdiceque,enlospuntosdediscontinuidad, la grfica de la suma de la serie de Fourier pasa por el punto medio del salto. Si se dibujan las sumasparcialessevequeenlascercanasdelospuntosdediscontinuidadsereducelavelocida de convergencia de la serie y que la grfica de la suma parcial oscila alrededor de la grfica de la funcin. Cuando se aumenta el nmero de trminos, las oscilaciones se condensan a ambos lados del punto pero su amplitud no parece decrecer. Esto se conoce como el fenmeno de Gibbs,en honor de J.W. Gibbs (18391903) que lo analiz en 1899 Z probando que la amplitud de la oscilacin p sen (t) acadaladodelagrfica de la funcin tiende a ser 1 2p 0 t dt - 1 0.0895 veces el tamao del salto, o sea, aproximadamente el 9% del tamao del salto. Veamos un ejemplo. Consideremos la funcin de onda rectangular de perodo 2p definida en [-p, p] por -1 si -p<t<0 f (t)= 1 si 0 <t<p y extendida peridicamente a R. Su serie de Fourier es 4 sen (t)+ 1 p 3 sen (3t)+1 5 sen (5t) + Mostramos a continuacin las sumas parciales hasta los sumando 1 observa claramente el fenmeno de Gibbs. se .

25 sen (25t) y 1 sen (35t) donde 35

1.5

1 .5

0.5

0 .5

- 0.5

-0 .5

-1

-1

- 1.5 - 10 - 5 0 5 1 0 1 5

-1 .5

- 10 -5 0 5 10 15

3 Propiedades de las series de Fourier

En lo que queda de seccin, supondremos que f y g son funciones peridicas de pero do T (reales o complejas) que verifican las condiciones de Dirichlet y cuyos desarrollos en serie de Fourier son, respectivamente, compleja f (t)=
8 X n=-8

cn ejn t

y g (t)=

8 X n=-8

dn ejn t ,

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 13 siendo =2p/T . Linealidad. Si p y q son nmeros complejos, entonces la serie de Fourier de pf (t)+qg(t) es pf (t)+qg(t)=
8 X n=-8

(pcn + qdn )ejn t .

Traslacin en el tiempo. Si t trasladada f (t - t 0 ) es f (t - t En particular, f (t) y f (t - t )= 0

0

es un nmero real, entonces la serie de Fourier de la funcin

8 X n=-8

cn e-jn t

ejn t

8 X n=-8

cn ejn

(t-t

0)

) tienen el mismo espectro de amplitudes pero distintas fases.

Escalado en el tiempo. Si p es un nmero real, entonces la funcin f (pt) es peridica de perodo T/p y frecuencia p . Su serie de Fourier es f (pt)=
8 X n=-8

cn ejn(p )t

O sea, f (t) y f (pt) tienen las mismas amplitudes y fases pero correspondientes a frecuencias distintas . Derivacin de las series de Fourier. Laregladelacadenamuestraqueladerivadadeuna funcin peridica es peridica y tiene el mismo perodo. Si f es una funcin continua y 0 verifica las condiciones de Dirichlet, entonces, la serie de peridica T ysuderivadaf de perodo Fourier de f puede derivarse trmino a trmino de manera que si f (t)= 1 entonce s para cada t R. Ejercicio: reescribir esta propiedad en trminos de la forma compleja de la serie de Fourier. Integracin de las series de Fourier. A diferencia de la operacin de derivacin, la integral de una funcin no necesariamente vuelve a ser peridica. Sea f una funcin peridica con t perodo T y consideremos la funcin F f (t ) dt. Entonces la funcin F es T -peridica si y slo t0 RT (t)=R t f (t) dt =0. En caso contrario, se tiene que la funcin R f (t ) dt - 1 si a 0 = 2 (t - t t0 T 0 2a0 es T -peridica. Si adicionalmente la funcin f verifica las condiciones de Dirichlet, entonces, la de Fourier de f puede integrarse trmino a trmino de manera que si serie f (t)=1
0 2a

2a0
8 X n=1

8 X n=1

[an cos(n t)+b

sen (n t)] ,

f 0 (t) ~

[nb cos(n t) - na n

sen (n t)]

8 X n=1

[an cos(n t)+b

sen (n t)]

14 y t0 ,t [-T/2,T/2],entonces Zt f (t ) dt - 1 0 (t - t 2a t
0

Lecci n 4. An li si s de Fouri er b
n

)=

8 X n=1

(cos(n t

) - cos(n t)) n +a

(sen (n t) - sen (n t n

))

Ejercicio: reescribir esta propiedad en trminos de la forma compleja de la serie de Fourier. Convolucin. Los coeficientes complejos de Fourier de f (t)g (t)=P hn = Multiplicacin. Se verifica que
8 X k=-8 8 n=-8

hn ejn t

son

ck dn-k

8 X k=-8

cn-k dk .

1 T

ZT
0

f (t)g(t) dt =

8 X n=-8

cn dn .

Igualdad de Parseval. Se verifica que Z 1 T |f (t)| 2 dt = T 0

8 X n=-8

|cn |2 = 1 2 + 1 4a0 2

8 X a n=1

2 n

2 + bn

En particular, la serie de los cuadrados de los coeficientes complejos de Fourier es convergente. Cuando f (t) es una seal peridica de perodo fundamental T , esta igualdad puede interZT pretarse de la siguiente manera. La integral P = [f (t)]2 dt se llama media cuadrtica o T 0 1 pote nci a medi a de f . Por ejemplo, si f (t) representa el voltaje que se aplica a una resistencia de 1 ohmio, entonces la potencia media de f coincide con la potencia elctrica media (energa por unidad de tiempo medida en watios) disipada por la resistencia en cada perodo. Ahora bien, la potencia media de cada uno de los armnicos presentes en la seal es ZT P0 = 1 [a0 /2]2 dt = 1 2 , 0 T 0 4a ZT 2 2 Pn = 1 [an cos(n t)+b n sen (n t)] 2 dt = 1 n + 1 n =2|c n |2 (n =1, 2,...), T 0 2a 2b luego la igualdad de Parseval nos dice que la potencia media de la seal es la suma de las potencias 8 8 P P medias de sus componentes armnicos, P Pn = |cn |2 . Por eso, la representacin de n=0 n=-8 = los valores |c n |2 cuando situamos las frecuencias en el eje de abscisas se llama espectro discreto de potencias. Teorema de la mejor aproximacin y convergencia en media cuadrtica. Sea f una funcin peridica de perodo T que verifica las condiciones de Dirichlet, sea f (t) ~ 1
0 2a

8 X n=1

[an cos(n t)+b

sen (n t)] =

8 X n=-8

cn ejn t

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 15 su serie de Fourier y sea fm (t)= 1 +
m X n=1

2a0

[an cos(n t)+b

sen (n t)] =

m X n=m

cn ejn t es,
m

el polinomio trigonomtrico obtenido como la suma m-sima de dicha serie. Entonces f todos los polinomios trigonomtricos de grado m yperodoT , el que mejor se aproxima a f de en media cuadrtica; es decir, si g m es un polinomio trigonomtrico de grado m distinto de f entonce Z ZT 1 T s 2 [f (t) - f m (t)] dt < 1 [f (t) - g m (t)]2 dt T 0 T 0 y, adems,
m8

lim

1 T

ZT
0

[f (t) - f

(t)]2 dt =0.

Para obtener este resultado aplicamos el teorema de la mejor aproximacin estudiado en la asignatura de lgebra al espacio vectorial V formado por todas las aplicaciones peridicas de perodo T que verifican las condiciones de Dirichlet, dotado del po ducto escalar hf, gi = 2 ZT T
0

f (t)g (t) dt,

y al subespacio M formado por todos los polinomios trigonomtricos de grado menor o igual a n. Una base ortonormal de dicho subespacio est formado por las funciones 1 . 2 , cos( t), sen ( t), ..., cos(n t), sen (n t)

4 La transformacin de Fourier
La representacin integral de Fourier. Hemos visto que la forma compleja de la serie de Fourier de una funcin f peridica de perodo T que verifica las condiciones de Dirichlet es 8 X f (t)= cn ejn t ,
n=-8

donde =2p/T yloscoeficientes de Fourier vienen dados por cn = 1 T Z T/2

-T/2

f (t)e-jn t

dt para n =0, 1, 2,...

Si nuestra seal no es peridica, no podemos esperar que sea posible representarla mediante una serie de Fourier. Una de las contribuciones decisivas de Fourier fue tratar una funcin noperidicacomosifueraunafuncinconperodoinfinito,loquelellevalaposibilidadd e

16

Lecci n 4. An li si s de Fouri er

representarla no como una serie cuyos trminos corresponden a mltiplos de la frecuencia fundamental 0, ,2 , 3 ,..., sino como una integral cuya variable de integracin es una frecuenciamueve de manera continua. Veamos cul fue su que se razonamiento. Partiendo de una funcin peridica y combinando las expresiones anteriores, obtenemos " Z # 8 8 X X 1 T/2 f (t)= cn ejn t = f (t)e -jn t dt ejn t . T -T/2
n=-8 n=-8

Sean n = n las frecuencias presentes y n = n llamemos entre dos frecuencias consecutivas. Entonces podemos escribir " # Z 8 X 1 T/2 f (t)= f (t )e-j n t dt ej 2p -T/2
n=-8

n-1

= =2p/T a la diferencia

Ahora, para cada

R definimos FT ( )= Z T/2
-T/2

f (t )e-j t

dt,

con lo que la igualdad previa puede escribirse como f (t)= 1

8 X

2p

FT (

)ej

n=-8

Si T es muy grande, po demos interpretar esta suma como una suma de Riemann de la integral impropia Z 8 X 1 8 FT ( )e j t d 1 FT ( n )ej n t = f (t). n 2p -8 2p
n=-8

En consecuencia, si hacemos T 8yconsideramoslafuncinF dada por Z8 F ( ) = lim FT ( )= f (t)e -j t

T 8 -8

dt ,

entonces cabe esperar que se verifique la igualdad Z8 f (t)= 1 F ( )e j t d , 2p -8 que se llama representacin integral de Fourier de la funcin f. Este razonamiento no siempre es correcto ya que el paso al lmite con T 8puede no funcionar como se espera. Esto ocurre, por ejemplo, con la funcin constante f (t)=1,parala que la integral que define F ( ) no es convergente. Sin embargo, como en el caso de las series de Fourier, existe una clase amplia de funciones para las que dicha representacin s es vlida. Esta clase incluye todas las seales de inters en las aplicaciones ya que en la prctica las seales una duracin tienen finita.

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 17 Condiciones de Dirichlet para la integral de Fourier. Se dice que una seal real o compleja f (t),definida para cada t R,satisfacelascondiciones de Dirichlet para la integral de Fourier si f (t) es absol utame nte i nte grabl e en R,osea, Z8 |f (t)| dt < 8,
-8

y, adems, en cada subintervalo finito se verifica que f (t) es continua salvo un nmero finito de discontinuidades de salto y que sus partes real e imaginaria slo tienen una cantidad finita de mximos y mnimos locales estrictos. Teorema de convergencia de la integral de Fourier. Si f satisface las condiciones de Dirichlet para la integral de Fourier, entonces para cada R se tiene que la integral Z8 F ( )= f (t)e-j t dt
-8

es convergente. Adems, asumiendo que en las discontinuidades de salto de la funcin f se tiene - )+f (t + ) que f (t)=f (t 2 ,tambinseverifica la igualdad Z8 f (t)= 1 F ( )e j t d 2p -8 que se llama representacin integral de Fourier de la funcin f. Definiciones.Seaf una funcin que satisface las condiciones de Dirichlet para la integral de Fourier. Entonces la funcin F ( ) definida para cada R por Z8 F ( )= f (t)e-j t dt
-8

se llama transformada de Fourier de f y proporciona la representacin en el dominio continuo de frecuencias de la funcin f . ComoocurreconlatransformadadeLaplace,unanotacinmuy habitual para la transformada de Fourier es F{f }. Cuando tengamos una funcin en el dominio de la frecuencia F ( ) y calculemos la f (t)funcin en el dominio del tiempo cuya transformada de Fourier es la funcin F dada, diremos que f es la transformada de Fourier inversa o, coloquialmente, la anti-transformada de F ;esdecir, Z8 -1 f (t)=F F ( )e j t d . {F }(t)= 1 2p -8 Puesto que el valor de F ( ) para cada variable real es un nmero complejo, suele representarse usando una grfica para su mdulo |F ( )| yotraparasuargumentoprincipalarg(F ( )) (-p, p] que se conocen, respectivamente, como espectro de amplitudes y espectro de fases de f . Ejemplos. (1) La transformada de Fourier de la funcin exponencial unilateral 0 si t<0, -at f (t)=h 0 (t)e = e-at si t>0,

18 con Re(a) > 0,es F ( )= 1 a+j .

Lecci n 4. An li si s de Fouri er

(2) La transformada de Fourier del pulso rectangular 1 si |t| <d/2, f (t)= 0 si d/ 2 < |t| , es F ( )=dsa( d/2) = d sinc( d/2p)=2sen ( d/2) .

5 Propiedades de la transformacin de Fourier

Es obvio que formalmente hay una relacin estrecha entre la transformacin de Fourier y tanto la transformacin de Laplace como las series de Fourier. No es de extraar, entonces, que muchas de las propiedades de la transformacin de Laplace y de las series de Fourier que hemos visto sean vlidas para la transformacin de Fourier. En lo que sigue supondremos que las funciones que aparecen verifican las condiciones de Dirichlet para la integral de Fourier. Linealidad. Si a y b son nmeros complejos entonces la transformada de Fourier de la suma af (t)+bg (t) es aF ( )+bG( ). O sea, F{af + bg } = aF{f } + bF{g }. Propiedad de simetra o de dualidad. La transformada de Fourier de F (t) es 2pf(- ) (esto es simplemente una forma de reescribir la segunda parte del teorema de convergencia de la integral de Fourier). Transformadas de funciones pares e impares. Si f es una funcin par, entonces su transformada de Fourier viene dada por Z8 F ( )=2 f (t )cos( t ) dt
0

y, teniendo en cuenta que F Z 8 Z 8 vuelveaserunafuncinpar,concluimosque f (t)= 2 f (t )cos( t )cos( t) dt p 0 0 La funcin que representa aqu el papel de la transformada de Fourier Z8 F c {f }( )= f (t )cos( t ) dt
0

d.

se llama transformada coseno de f . Si f es una funcin impar, entonces su transformada de Fourier viene dada por Z8 F ( )=-2j f (t)sen ( t ) dt
0

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 19 y, teniendo en cuenta que F vuelve a ser una funcin impar, concluimos que Z 8 Z 8 f (t)= 2 f (t )sen ( t )sen ( t) dt d. p 0 0 La funcin que representa aqu el papel de la transformada de Fourier Z8 F s {f }( )= f (t )sen ( t ) dt
0

se llama transformada seno de f . Escalado en el dominio del tiempo. La transformada de Fourier de f (at) viene dada por F ( /a) |a| ;esdecir F{f (at)} ( )= 1 |a| F{f } ( /a) .

Inversin en el dominio del tiempo. La transformada de Fourier de la funcin f (-t) es F (- ) (observe que esta propiedad no es ms que un escalado en el dominio del tiempo con a = -1). Desplazamiento, o traslacin, en el dominio de la frecuencia. j 0 t f (t) es F ( Si entonces la transformada de Fourier de e F{e j
0t

). O sea, 0
0

es un real

nmero

f (t)} ( )=F{f }( -

).

Desplazamiento, o traslacin, en el dominio del tiempo. Si t transformada de Fourier de la funcin trasladada f (t - t la F{f (t - t 0 )} = e -j t 0 F{f }.

es un nmero real 0 entonces ) es e -j t 0 F ( ).Enotraspalabras, 0

0 (t) verifican las condiciones de Dirichlet, Derivacin en el tiempo. Si tanto f (t) como 0 (t) de una funcin derivable f (t) es f fica que la transformada de Fourier de la derivada f se veri (j )F ( ).Esdecir, F{f 0 } ( )=(j )F{f } ( ) .

Aplicando esto a f

tenemos, como consecuencia, la transformada de la derivada segunda F{f 0 } ( )=0

2

F{f }( ) .

Ms generalmente, F{f (siempre que f (t),f

0 (t), (n)

} ( )=(j )
(n)

F{f } ( ) , para n =1, 2,...

(t) cumplan las condiciones de Dirichlet). Derivacin en la frecuencia. Si la funcin tf (t) ve rifica las condiciones de Dirichlet, entonces la transformada de Fourier de f (t) es derivable y se tiene que la transformada inversa de d es -jtf (t).Msgeneralmente, d F
-1 n n

..., f

d F( )

F() =(-jt)
n

f (t), para n =1, 2,...

20

Lecci n 4. An li si s de Fouri er

Producto de convolucin en el tiempo. Dadas dos funciones f y g en el dominio del tiempo, su producto de convolucin es la funcin (f * g ) definida para t R por Z8 (f * g)(t)= f (t )g (t - t ) dt.
-8

(Es claro que si las funciones f y g son causales, entonces esta definicin coincide con la dada leccin anterior.) Este producto de convolucin tambin es conmutativo, aso ciativo en la yistributivoy,comoenelcasodelatransformadadeLaplace,supropiedadmsimportantees d que su transformada de Fourier es el producto de las transformadas de Fourier de los factores: F{f * g} ( )=F ( )G( ). Producto de convolucin en la frecuencia (o multiplicacin en el tiempo). Dadas dos transformadas de Fourier F y G,suproducto de convolucin en el dominio de la frecuencia es la funcin (F * G)( ) definida para R por Z8 F (t )G( - t ) dt. (F * G)( )=
-8

Entonce s

F{f (t)g(t)} ( )= 1

2p F ( ) * G( ).

Te o re ma de Par se v al . La energa total asociada con una funcin f : R R se define como Z8 |f (t)| 2 dt.
-8

Si una funcin tiene deFouriertambiny,dehecho, se tiene Z

energa
8 -8

total

|f (t)| 2 dt = 1 2p

finita, Z8
-8

entonces |F ( )|
2

su

transformada

d.

Transformadas de Fourier generalizadas. Hemos visto que, interpretndola de manera adecuada, la funcin de impulso o funcin delta de Dirac permite mo delar mediante la transformacin de Laplace algunas situaciones de inters en la prctica. Ocurre lo mismo con la transformacin de Fourier. Usando las propiedades de la funcin delta tenemos que Z8 d (t)e-j t dt = e -j t 0 F{d t (t)}( )= t
0

-8

y, en pa r ti cul ar , F{d 0 (t)}( )=1. Usando la propiedad de dualidad nos quedara, entonces, F{1}( )=2pd
0

( ) y F{e

0t

}( )=2pd

()

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 21 transformadas que, como se puede comprobar, funcionan bien en la representacin integral de Fourier; es decir, Z8 F -1 {2pd ( )}(t)= 1 2pd ( )e j t d = e j 0 t . 0 0 2p -8 Se dice entonces que la funcin j 0t admite una transformada de Fourier generalizada que es e j 0 t }( )=2pd F{e ( ) y, en particular, que la transformada de Fourier generalizada de la 0 funcin constante 1 es 2pd 0 ( ). Transformada de Fourier generalizada de una funcin peridica. Si tenemos una funcin f (t) de perodo T 0 y peridica que verifica las condiciones de Dirichlet, entonces 0 frecuencia su desarrollo en serie de Fourier es 8 X f (t)= cn ejn 0 t .
n=-8

Por tanto, su transformada de Fourier generalizada es un tren de impulsos F ( )=2p

8 X n=-8

cn d0 ( - n

) , 2 ,...

que ocurren en los valores de su espectro discreto de frecuencias 0,

Otra forma de expresar el desarrollo en serie de Fourier de una funcin peridica f (t) es la siguiente: Sea g(t) un perodo de f (t),esdecir,sidenotamosporI un intervalo cualquiera de longitud T , entonces f (t) si t I , g (t)= 0 en otro caso. En ese caso, podemos expresar f como f (t)=
8 X n=-8

g (t - nT 0 ).

Es ms, si G( ) es la transformada de Fourier de g ,entonces Z cn =1 =1 lo que nos permite escribir f (t)= 1 queseconocecomosuma Poisson. de
8 X

Z f (t)e -jn g(t)e -jn

0t

T T

I Z8 -8

dt = 1 T
0

g (t)e-jn
I

0t

dt

dt = 1

T G(n

),

G(n

)ejn

n=-8

22

Lecci n 4. An li si s de Fouri er

6 Ejercicios
Ejercicio 1. Qu relacin deben mantener dos frecuencias 1 y 2 para que la funcin positivas f (t)=sen ( t)+sen ( t) sea un polinomio trigonomtrico? Cuando eso ocurra, cul ser su 1 2 perodo? Ejercicio 2. Determina el desarrollo en serie de Fourier de las siguientes funciones, que estn definidas como se indica en el intervalo [-p, p] y se extienden peridicamente a toda la recta real: 1. f (t)=t cos(t) 2. f (t)=t
2

3. f (t)=|sent| 4. f (t)=e
t

Ejercicio 3. Desarrolla en serie de Fourier en el intervalo [-p, p] la funcin 0 si -p<t<0, f (t)= p si 0 <t<p. A partir de este desarrollo, deduce el de -1 si -p<t<0, g (t)= 1 si 0 <t<p.

Dibuja las funciones a las que tienden las series obtenidas en el intervalo [-5p, 5p]. Ejercicio 4. Halla los siguientes desarrollos en serie de Fourier de la funcin f (t)=t 1. En el intervalo [0, 2p]. 2. En el intervalo [-p, p]. 3. En serie de senos en el intervalo [0,p]. 4. En serie de cosenos en el intervalo [0,p]. 5. La serie compleja en [-p, p]. Ejercicio 5. Desarrolla en serie de Fourier en el intervalo [-p, p] la funcin 0 si -p<t<0, f (t)= sen t si 0 <t<p. Dibuja la funcin a la que tiende las serie obtenida en el intervalo [-6p, 8p ].
2

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 23 Ejercicio 6. Desarrolla en serie de Fourier en el intervalo [-p, p] la funcin 0 si -p<t<0, f (t)= t si 0 <t<p. Dibuja la funcin a la que tiende las serie obtenida en el intervalo [-5p, 5p ] y aplica el teorema de Dirichlet para deducir las siguientes igualdades:
8 X n=1

1 (2n - 1)
8 X n=1

=1+ 1

+ 1 + 1 + = 2 3 52 72 p 8
2

1 =1+ 1 + 1 + 1 + = n2 22 32 42 p

6.
2

Ejercicio 7. Halla los desarrollos en serie de Fourier de la funcin f (t)=1- cos piden a continuacin: 1. En el intervalo [0, 2p]. 2. En el intervalo [-p, p]. 3. En serie de senos en el intervalo [0,p]. 4. En serie de cosenos en el intervalo [0,p]. 5. La serie compleja en [-p, p]. Dibuja las correspondientes sumas obtenidas en [-4p, 4p ].

(t) que se

Ejercicio 8. Una seal con perodo T consiste en un pulso de altura a yduracint<Tque Determina sus desarrollos en series de Fourier real y compleja en el luego decae a 0. intervalo [0,T] suponiendo que situamos el origen de tiempos precisamente cuando se pro duce uno de los saltos desde 0 hasta a. Ejercicio 9. Cul es el desarrollo en serie de Fourier de senos de la funcin f (t)=1en el intervalo [0, 1]? Ejercicio 10. Determina el desarrollo en serie de Fourier de senos de la funcin f (t)=e intervalo [0, 2]. Ejercicio 11. Desarrolla en sendas series de Fourier de senos y de cosenos en el intervalo [0, 1] la funcin f (t)=t. Ejercicio 12. Halla los siguientes desarrollos en serie de Fourier de la funcin f (t)=| t|. 1. En el intervalo [0, 2] (en senos y cosenos). 2. En el intervalo [-1, 1]. 3. En serie de senos en el intervalo [0, 1].
t

en el

24 4. En serie de cosenos en el intervalo [0, 1].

Lecci n 4. An li si s de Fouri er

Ejercicio 13. Determina la transformada de Fourier de cada una de las siguientes funciones (a representa un nmero real positivo). 1. f (t)=e 2. f (t)=|t| e 3. f (t)=e 4. f (t)=e 5. f (t)=e
-a|t| -a|t| -a|t| -a|t| -a|t|

tn para n =1, 2,... sen(bt) cos(bt).

Ejercicio 14. Determina la transformada de Fourier de cada una de las siguientes funciones (a representa un nmero con parte real positiva y 0 es la funcin de salto de Heaviside). h 1. f (t)=te 2. f (t)=t 3. f (t)=e 4. f (t)=e
n -at

h0 (t)

e-at h0 (t) para n =1, 2,... sen ( cos(

0 0

-at -at

t)h 0 (t) t)h 0 (t).

Ejercicio 15. Calcula la transformada de Fourier de las siguientes funciones 1. El pulso definido por f (t)= 2. La triangular funcin f (t)= k si -2 <t<0, -k si 0 <t<2, 0 en otro caso. 1 - |t|/T si |t| <T, 0 si |t| >T.

3. El pulso sinusoidal f (t)=sen(pt/T ) si 0 <t<T y f (t)=0en otro caso. Ejercicio 16. Calcula la transformada de Fourier de las siguientes funciones (cosenos vistos aravs de ventanas, windowed cosines en ingls). t 1. f (t)=cos( 2. f (t)=cos(
0 0

t)[h 0 (t + d) - h t)[h 0 (t) - h

0

(t - d)]

(t - 2d)],

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 25 donde d y son nmeros reales positivos. Ejercicio 17. Usando la propiedad de dualidad, calcula las transformadas de Fourier de la funcin de muestreo sa(t) y de la funcin seno cardinal sinc(t). Ejercicio 18. Usa la representacin integral de Fourier para hallar la transformada inversa de la 2 si 0 < <2, funcin F ( )= -2 si -2 < <0, 0 en otro caso.
0

Comprueba el resultado usando la propiedad de dualidad. Ejercicio 19. Usa la representacin integral de Fourier para hallar la funcin cuyo espectro 3 . de amplitudes es 2[h 0 ( +3)- h 0 ( - 3)] y cuyo espectro de fases es p 2

Ejercicio 20. Usando las propiedades de la transformada de Fourier, halla, en trminos de la transformada F ( ) deunaciertafuncinf (t), la transformada de Fourier de las siguientes funciones . 1. f 1 (t)=f (t - 1) + f (-t - 1). 2. f 2 (t)=f (3t - 6). 3. f 3 (t)=f
0 0

(t - 1).
-|t|

Ejercicio 21. Sabiendo que F{e calcular F{4t/ (1 + 2 )2 }. para t Ejercicio 22. Prueba las afirmaciones.

}=2 1+ siguientes

,hallaF{te

-|t|

} yaplicalapropiedaddedualidad

1. Si f es par y real, entonces F{f (t)} es par y real. 2. Si f es impar y real, entonces F{f (t)} es impar e imaginaria pura. Ejercicio 23. Halla f (t) sabiendo que la transformada de Fourier de g(t)=f (t)cos(t) es 1 si | | < 2, F{g (t)}( )= 0 en otro caso. Ejercicio 24. Halla las transformadas de Fourier generalizadas de las funciones sen( t), cos( t) y ej( t+f) . Ejercicios y cuestiones de exmenes de cursos anteriores. Ejercicio 25. Halla la forma compleja de la serie de Fourier de la onda triangular definida en el intervalo [-1, 1] por tri(t)=1- |t| y extendida 2-peridicamente.

26

Lecci n 4. An li si s de Fouri er

Ejercicio 26. (1) Sea f (t) la funcin definida por f (t)=t para 0 = t<1 y extendida peridicamenteatodalarectareal. CalculalaformacomplejadelaseriedeFourierdef y dibuja la funcin a la que converge dicha serie en el intervalo [-2, 2]. (2) Aplica la forma compleja de la igualdad de Parseval para deducir el valor de Ejercicio 27. Enuncia y demuestra la igualdad de Parseval para las series de Fourier reales. Ejercicio 28. Enuncia y demuestra la propiedad de traslacin en el tiempo para la transforma- de cin Fourier. Ejercicio 29. Enuncia y demuestra la propiedad de convolucin en el tiempo para la transformacin de Fourier. Ejercicio 30. (1) Enuncia las condiciones de Dirichlet para la transformacin de Fourier y el correspondiente Teorema de Convergencia. (2) Utiliza el teorema mencionado en el apartado anterior para calcular la funcin -| | continua cuya transformada de Fourier es la funcin F ( )=e para R. Ejercicio 31. Sea f el pulso rectangular dado por f (t)=1si |t| < 1 y f (t)=0si |t| = 1. Z Calcula su transformada de Fourier y sala para deducir el valor de Ejercicio 32. La transformada de Fourier de una funcin f (t) es F ( )= j transformada de Fourier de la funcin g (t)=f
0 (2t 8 -8 8 P n=1

n-2 .

sen (x ) x dx.

cosh( ). Calcula la - 1) enunciando las propiedades que utilices.

Ejercicio 33. Aplica la transformacin de Fourier al problema de valor inicial y0 +2ty =0 con y (0) = 1 para hallar la transformada de Fourier de la funcin f (t)=e
-t
2

7 Bibliografa
Para desarrollar esta leccin pueden consultarse los siguientes textos, en especial el de James incluye algunas aplicaciones a la (que ingeniera). [517.9/3-EDW]C.H.EdwardsyD.E.Penney,Ecuaciones diferenciales elementales,Cap. 8. [517.9/2-SIM] G.F. Simmons, Ecuaciones diferenciales,Cap.6. [51:62/ADV] G. James, Advanced Modern Engineering Mathematics, Cap. 4 (secciones 4.1 a 4.6) 5 (secciones 5.1 a 5.5) y Cap.