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

Curso 2o. Ingeniero de Telecomunicacin. Ampliacin de Matemticas. Leccin 4.

ANLISIS DE FOURIER. Curso 2010-11

La serie de Fourier de una funcin

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

[an cos(nt) + bn sen (nt)] .

Una serie de este tipo recibe el nombre de serie trigonomtrica o serie de Fourier. 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 1750, J. dAlembert, D. Bernoulli (17001782) y L. Euler estudiaron la ecuacin de ondas que 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 nita de senos, entonces ocurrir lo mismo en cualquier instante posterior, dando mucho ms tarde, en 1777, las frmulas que permiten calcular los coecientes de la combinacin. En 1753, D. Bernoulli utiliz esta representacin para resolver el problema de la cuerda vibrante para una posicin inicial cualquiera, pero su solucin suscit mucha controversia. Fue J.B. Fourier (17681830) quien, al analizar en una famosa memoria presentada en 1807 la ecuacin que gobierna 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 las series de Fourier tuvo a lo largo del siglo pasado profundas implicaciones para el anlisis 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.

Leccin 4. Anlisis de Fourier

En esta leccin estudiaremos bajo qu condiciones puede hacerse esta representacin, cmo calcular los coecientes, 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 peridica de perodo T 6= 0 (o T -peridica) cuando existe T > 0 tal que f (t + T ) = f (t) para cualquier t R.

En ese caso se tiene automticamente que f (t + nT ) = f (t) para cualesquiera t R y n Z. Esto signica que sus valores se repiten a intervalos regulares y que su grca puede dividirse en 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 peridicas de inters en las aplicaciones, en particular las funciones continuas no constantes, tienen lo que se conoce como un perodo fundamental o mnimo ; o sea, un perodo T > 0 tal que f (t) no es -peridica para ningn valor 0 < < T . Los ejemplos tpicos de funciones peridicas son las funciones trigonomtricas sen (t) y cos(t), que son peridicas con perodo mnimo 2 . Las funciones sen (2t) y cos(2t) tambin tienen perodo 2 pero su perodo mnimo es . Ms generalmente, dados > 0, y n N, las 2 funciones sen (nt + ) y cos(nt + ) son peridicas de perodo mnimo T = , porque n sen (n(t + T ) + ) = sen (nt + + 2) = sen (nt + ) e igual con el coseno. Para medir la velocidad de repeticin de una funcin con perodo mnimo T , se utiliza la frecuencia , a veces llamada frecuencia angular, denida como frecuencia = 2 2 = , perodo T

que se mide en radianes por segundo. En algunos textos se reserva la palabra frecuencia para la inversa del perodo, 1/T que se mide en ciclos por segundoo hertzios. Polinomios trigonomtricos. Un polinomio trigonomtrico con perodo T y frecuencia = 2/T es una funcin de la forma
n0 X 1 f (t) = a0 + [an cos(nt) + bn sen (nt)] 2 n=1

(el factor 1 del trmino independiente es un convenio cuya justicacin daremos ms adelante). 2 En otras palabras, un polinomio trigonomtrico es una combinacin lineal de senos y cosenos que tienen un perodo comn T . Los coecientes an y bn de esta combinacin se llaman coecientes de Fourier del polinomio. El ndice n0 se llama grado del polinomio. La razn del trmino polinomio es que las funciones sen (nt) y cos(nt) se pueden escribir como una combinacin de productos de potencias de sen (t) y cos(t), como en las conocidas expresiones sen (2t) = 2sen (t) cos(t) y cos(2t) = (cos(t))2 (sen (t))2 .

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

Y, viceversa, toda combinacin de productos 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(t) no es un polinomio trigonomtrico porque ni siquiera es peridica. P 0 1 Sea f (t) = a0 + n n=1 [an cos(nt) + bn sen (nt)] un polinomio trigonomtrico. Tomamos 2 p 2 0 = 1 a . Para cada n = 1, 2, . . . , sea zn = an + jbn , n = |zn | = a2 n + bn y n = Arg (zn ), es 2 0 decir el argumento que pertenece al intervalo (, ]. De esta forma cos(n ) = y se tiene an cos(nt) + bn sen (nt) = n cos(nt + n ), as que podemos escribir el polinomio anterior como una suma de funciones coseno f (t) = 0 + 1 cos(t + 1 ) + 2 cos(2t + 2 ) + + n0 cos(n0 t + n0 ) donde el trmino 1 cos(t + 1 ) se llama primer armnico o modo fundamental de vibracin. Los coecientes n de los armnicos se llaman amplitudes y los ngulos n se llaman ngulos de fase. En algunas ocasiones puede ser preferible usar funciones seno; ahora bien, puesto que se verica cos(nt + n ) = sen (nt + n + /2), las amplitudes son iguales y los ngulos de fase entre la expresin con el seno y la expresin con el coseno dieren en /2. La expresin de un polinomio trigonomtrico en trminos de las amplitudes y las fases de sus armnicos es muy intuitiva; nos dice que la funcin resultante consiste en superponer vibraciones cos(nt + n ) cuyas frecuencias son mltiplos enteros de la frecuencia del modo fundamental, de mayor o menor amplitud y que van en fase (si n = 0), adelantadas (cuando n > 0, lo que corresponde a deslizar la grca hacia la izquierda) o retrasadas (cuando n < 0, lo que corresponde a deslizar la grca hacia la derecha) con respecto al armnico puro de la misma frecuencia cos(nt). Serie de Fourier. Sea ahora f (t) una funcin peridica de perodo T . La pregunta que se plantea es saber si podemos obtener f como una combinacin necesariamente innita salvo que f sea un polinomio trigonomtrico de armnicos de frecuencia = 2/T : 1 f (t)=? a0 + a1 cos(t) + b1 sen (t) + a2 cos(2t) + b2 sen (2t) + 2 Este problema se desdobla en dos: En primer lugar, determinar los coecientes a0 , a1 , b1 , . . . 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 coeciente a0 P 1 de la expresin f (t) = a0 + n=1 [an cos(nt) + bn sen (nt)] es relativamente fcil de calcular: 2 si integramos sobre un perodo, obtenemos Z T Z T Z T X T T an f (t) dt = a0 + cos(nt) dt + bn sen (nt) dt = a0 , 2 2 0 0 0 n=1 an n y sen (n ) = bn n

Leccin 4. Anlisis de Fourier

donde hemos usado que para cada n = 1, 2, . . . se tiene Z T Z T cos(nt) dt = sen (nt) dt = 0.
0 0

Para calcular los dems coecientes, Euler haba observado que dados un perodo T y la frecuencia correspondiente = 2/T , entonces para cada m, n = 1, 2, . . . se tiene ( Z T Z T 0 si m 6= n, cos(nt) cos(mt) dt = sen (nt)sen (mt) dt = T si m = n 0 0 2 y tambin Z
T

cos(nt)sen (mt) dt = 0.

P 1 As que, multiplicando la expresin f (t) = a0 + n=1 [an cos(nt) + bn sen (nt)] por cos(mt) 2 (para m = 1, 2, . . . ) e integrando sobre un perodo, obtenemos Z T f (t) cos(mt) dt = 0 Z T Z T Z T X an cos(mt) dt + cos(nt) cos(mt) dt + bn sen (nt) cos(mt) dt = a0
0 n=1 0 0

T am . 2

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

T bm . 2

Puesto que cos(0t) = 1, vemos que el valor de a0 se puede obtener admitiendo m = 0 en la expresin de am ; esto explica por qu el trmino constante de la serie se suele escribir 1 a . En 2 0 resumen, los coecientes buscados son Z 2 T am = f (t) cos(mt) dt para m = 0, 1, 2 . . . T 0 2 bm = T Z
T

f (t)sen (mt) dt

para m = 1, 2, . . .

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 Estas expresiones nos dicen cmo calcular los coecientes adecuados.

Deniciones. Sea f : R R una funcin continua a trozos y peridica de perodo T y sea = 2/T . Los coecientes de Fourier de f son los nmeros denidos por Z 2 T an = f (t) cos(nt) dt para n = 0, 1, 2 . . . , T 0

Z 2 T bn = f (t)sen (nt) dt para n = 1, 2, . . . T 0 Puesto que la funcin tiene perodo T , las integrales anteriores pueden hacerse sobre cualquier intervalo de longitud T , por ejemplo [T /2, T /2]. P 1 La serie a0 + [an cos(nt) + bn sen (nt)], donde los an y los bn son los correspondientes 2 n=1 coecientes de Fourier de una funcin f , se llama desarrollo en serie de Fourier, o simplemente serie de Fourier, de f . Para indicar que una serie trigonomtrica es la serie de Fourier de una funcin dada se suele escribir
X 1 f (t) a0 + [an cos(nt) + bn sen (nt)] . 2 n=1

a y Como antes, tomando 0 = 1 2 0 p 2 n = a2 y n = arctan(bn /an ) (, ] n + bn se tiene

para n = 1, 2, . . . ,

an cos(nt) + bn sen (nt) = n cos(nt + n ), 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) 0 +
X n=1

n cos(nt + n ).

Si T es el perodo mnimo de f , entonces el trmino 1 cos(t + 1 ) se llama primer armnico o modo fundamental de vibracin. Los trminos an cos(nt) + bn sen (nt) = n cos(t + n ) restantes se llaman componentes armnicos de f . Los coecientes n de los componentes armnicos se llaman amplitudes y los ngulos n se llaman ngulos de fase. Los coecientes 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 como una curva situando el tiempo en el eje de abscisas, en la prctica tambin se utilizan 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 que las frecuencias no varan de forma continua, sino como mltiplos de la frecuencia fundamental , o sea, 0, , 2, 3, . . . , lo que se conoce como el dominio discreto de frecuencias de f .

Leccin 4. Anlisis de Fourier

En muchas aplicaciones, en particular en teora de la seal y de las comunicaciones, es ms til una tercera forma de expresin, llamada forma compleja de la serie de Fourier, que consiste en usar exponenciales complejas ejnt en vez de cos(nt) y sen (nt). Para construirla, sustituimos las expresiones cos(nt) = a + en la serie 1 2 0 P
n=1

ejnt + ejnt 2

sen (nt) =

ejnt ejnt 2j

[an cos(nt) + bn sen (nt)], obteniendo

Escribiendo

1 X 1 (an jbn )ejnt + (an + jbn )ejnt . f (t) a0 + 2 2 n=1 1 1 cn = (an jbn ) y cn = cn = (an + jbn ), 2 2

1 c0 = c0 e0 = a0 , 2

que se llama forma compleja de la serie de Fourier de f . Los nmeros cn se llaman coecientes de Fourier de la forma compleja y pueden calcularse de forma directa: Z 1 T /2 cn = f (t)ejnt dt para n = 0, 1, 2, . . . T T /2 Si lo que tenemos son los coecientes cn de la forma compleja, entonces los coecientes de Fourier an y bn , las amplitudes y las fases vienen dados por an = 2 Re(cn ), bn = 2 Im(cn ), n = 2 |cn | y n = arg(cn ) (, ].

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

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 una seal real a partir de cada componente cn ejnt debemos combinarla con cn ejnt para obtener, teniendo en cuenta que cn y cn son conjugados, cn ejnt + cn ejnt = |cn | ejn ejnt + |cn | ejn ejnt = 2 |cn | cos(nt + n ). En el caso complejo, la representacin de los mdulos |cn | cuando situamos las frecuencias positivas y negativas en el eje de abscisas se llama espectro complejo de amplitudes y es simtrico con respecto al eje de ordenadas. Las amplitudes n = 2 |cn | = |cn | + |cn | 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

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. por (2) La serie de Fourier de la funcin de onda rectangular de perodo T denida en [T /2, T /2] f (t) = 1 1 si T /2 < t < 0 si 0 < t < T /2

y extendida peridicamente a R es 4 1 1 f (t) sen (t) + sen (3t) + sen (5t) + , 3 5 siendo = 2/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) = ( t)( + t) para t y extendida peridicamente a R es 22 1 1 1 f (t) + 4 cos(t) cos(2t) + cos(3t) cos(4t) + . 3 4 9 16 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 denida por f (t) = t/T para 0 < t < T y extendida peridicamente a R es 1 1 1 f (t) 1/2 sen (t) + sen (2t) + sen (3t) + 2 3 con = 2/T . (5) La serie de Fourier de la funcin de onda dentada denida por f (t) = t/T para T /2 < t < T /2 y extendida peridicamente a R es 1 1 1 1 f (t) sen (t) sen (2t) + sen (3t) sen (4t) + 2 3 4 con = 2/T . (6) Los coecientes de Fourier complejos de un tren de pulsos rectangulares dado como la extensin peridica de la funcin denida en [T /2, T /2] por k si 0 |t| < d/2, f (t) = 0 si d/2 |t| < T /2, son Z k d/2 jnt kd sen (nd/2) e dt = cn = T d/2 T nd/2

siendo = 2/T. Los valores de cn son reales, lo que corresponde al hecho de que la funcin es par, as que su espectro de fases es n = 0 para cada n. La funcin ( 1 si t = 0, sa(t) := sen (t) si t 6= 0, t

Leccin 4. Anlisis de Fourier

se llama funcin de muestreo (sa viene de la palabra inglesa sampling ) y es muy importante en la teora de la seal precisamente porque los coecientes de Fourier complejos del tren de pulsos rectangulares de nuestro ejemplo se pueden expresar como kd sa(nd/2). T A veces, en vez de la funcin de muestreo se trabaja con una funcin relacionada, llamada seno cardinal que se dene como ( 1 si t = 0, sinc(t) := sa(t) := sen (t) si t 6= 0. t La forma real de la serie de Fourier queda como sigue dk k sen (2d/2) sen (3d/2) f (t) + sen (d/2) cos(t) + cos(2t) + cos(3t) + . 2 2 3 cn = (7) Si consideramos la funcin 2 peridica f que toma los valores f (t) = cos(t/2) para t [, ) se tiene que = 1 y para cada nmero entero n Z Z jt/2 + ejt/2 jnt e 1 1 2(1)n jnt cos(t/2)e dt = dt = . e cn = 2 2 2 (4n2 1) 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 signica que su grca es simtrica respecto del eje de ordenadas. Si f es par e integrable, entonces Z L Z L f (t) dt = 2 f (t) dt.
L 0

Las constantes, los cosenos o las funciones f (t) = tpar 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]; esto signica que su grca es simtrica respecto del origen de coordenadas. Si f es impar e integrable, entonces Z
L

f (t) dt = 0.

Los senos o las funciones f (t) = timpar 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. Teorema. Sea f (t) una funcin continua a trozos y peridica de perodo T . (1) Si f es una funcin par, entonces su desarrollo en serie de Fourier slo tiene funciones coseno, lo que se conoce como una serie de Fourier en cosenos,
X 1 f (t) a0 + an cos(nt) 2 n=1

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

(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 serie de Fourier en senos, f (t) siendo = 2/T y 4 bn = T Z
T /2 X n=1

T /2

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

bn sen (nt)

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

(Esto lo vemos en los Ejemplos 2 y 5 anteriores.) Vemos, entonces, que una funcin peridica es par cuando sus coecientes de Fourier complejos son reales y que es impar cuando sus coecientes 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 deniendo la funcin de manera adecuada fuera de dicho intervalo para que sea par o impar. Desarrollos de medio intervalo. Sea f : [0, L] R una funcin continua a trozos. Sea T = 2L, entonces la extensin T -peridica y par de f es la funcin denida 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, fpar es una funcin par, as que su desarrollo en serie de Fourier es una serie de cosenos que se conoce, en este contexto, como el desarrollo de f en serie de cosenos en medio intervalo [0, L] y viene dado por
X 1 an cos(nt) f (t) a0 + 2 n=1

en [0, L],

siendo = /L y 2 an = L

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

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

10

Leccin 4. Anlisis de Fourier

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

bn sen (nt)

en [0, L],

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

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

Convergencia de las series de Fourier

Sea f : R R una funcin continua a trozos y peridica de perodo T y sea

X 1 f (t) a0 + [an cos(nt) + bn sen (nt)] , 2 n=1

con = 2/T , su serie de Fourier. Hemos comentado que la armacin de que se da la igualdad entre f y su serie de Fourier suscit mucha controversia a lo largo de la segunda mitad del S. XVIII y comienzos del S. XIX. Esta controversia fue zanjada por P.G.L. Dirichlet (1805 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 de sus series de Fourier. Condiciones de Dirichlet. Sea f : R R una funcin peridica de perodo T . Se dice que f satisface las condiciones de Dirichlet si en cada perodo la funcin f : [0, T ] R es continua salvo un nmero nito de discontinuidades de salto y slo tiene una cantidad nita de mximos y mnimos locales estrictos. Puede probarse, en particular, que si una funcin peridica es tal que ella y su derivada estn denidas y son continuas salvo un nmero nito de discontinuidades de salto, entonces dicha funcin verica las condiciones de Dirichlet. Como hemos dicho, prcticamente todas las funciones seales de inters en las aplicaciones las verican.

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

11

Teorema de convergencia de Dirichlet. Sea f : R R una funcin peridica de perodo T que satisface las condiciones de Dirichlet y sea
X 1 f (t) a0 + [an cos(nt) + bn sen (nt)] , 2 n=1

con = 2/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, X 1 [an cos(nt) + bn sen (nt)] = f (t). a0 + 2 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,
X 1 f (t ) + f (t+ ) [an cos(nt) + bn sen (nt)] = a0 + , 2 2 n=1

donde, como es habitual, f (t ) = lim 0, >0 f (t ) indica el lmite de f en t por la izquierda y f (t+ ) = lim 0, >0 f (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 redenimos el valor de f en cada punto de discontinuidad como el punto medio del salto, o sea, poniendo f (t ) + f (t+ ) f (t) = , entonces la suma de la serie de Fourier coincide con f (t) en cada t R. 2 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) = ( t)( + t) para t y extendida peridicamente a R es 22 1 1 1 f (t) + 4 cos(t) cos(2t) + cos(3t) cos(4t) + . 3 4 9 16 Como f verica las condiciones de Dirichlet, tenemos de hecho que 1 1 1 22 + 4 cos(t) cos(2t) + cos(3t) cos(4t) + f (t) = 3 4 9 16 para todo t [, ]. Si usamos el teorema de Dirichlet en t = obtenemos 1 1 1 2 2 + 4 1 0= 3 4 9 16 de donde se deduce que 1 1 1 2 + + + = , 4 9 16 6 resultado obtenido por primera vez por Euler en 1736 (usando otro mtodo). 1+

12

Leccin 4. Anlisis de Fourier

El fenmeno de Gibbs. El teorema de Dirichlet nos dice que, en los puntos de discontinuidad, la grca de la suma de la serie de Fourier pasa por el punto medio del salto. Si se dibujan las sumas parciales se ve que en las cercanas de los puntos de discontinuidad se reduce la velocidad de convergencia de la serie y que la grca de la suma parcial oscila alrededor de la grca 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 que la amplitud de la oscilacin Z probando 1 sen (t) a cada lado de la grca de la funcin tiende a ser dt 1 0.0895 veces el tamao 2 0 t del salto, o sea, aproximadamente el 9% del tamao del salto. Veamos un ejemplo. Consideremos la funcin de onda rectangular de perodo 2 denida en [, ] por 1 si < t < 0 f (t) = 1 si 0 < t < y extendida peridicamente a R. Su serie de Fourier es 4 1 1 sen (t) + sen (3t) + sen (5t) + . 3 5 1 1 Mostramos a continuacin las sumas parciales hasta los sumando sen (25t) y sen (35t) donde 25 35 se observa claramente el fenmeno de Gibbs.

1.5

1.5

0.5

0.5

0.5

0.5

1.5 10

10

15

1.5 10

10

15

Propiedades de las series de Fourier

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

cn e

jnt

g (t) =

n=

n=

dn ejnt ,

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

13

(pcn + qdn )ejnt .

n=

Traslacin en el tiempo. Si t0 es un nmero real, entonces la serie de Fourier de la funcin trasladada f (t t0 ) es f (t t0 ) =

n= X

cn e

jnt0 jnt

n=

cn ejn(tt0 ) .

En particular, f (t) y f (t t0 ) 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) =
X

cn ejn(p)t .

n=

O sea, f (t) y f (pt) tienen las mismas amplitudes y fases pero correspondientes a frecuencias distintas. Derivacin de las series de Fourier. La regla de la cadena muestra que la derivada de una funcin peridica es peridica y tiene el mismo perodo. Si f es una funcin continua y peridica de perodo T y su derivada f 0 verica las condiciones de Dirichlet, entonces, la serie de Fourier de f puede derivarse trmino a trmino de manera que si
X 1 f (t) = a0 + [an cos(nt) + bn sen (nt)] , 2 n=1

entonces f (t) para cada t R.

0

X n=1

[nbn cos(nt) nan sen (nt)]

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 R t a ser peridica. Sea f una funcin peridica con perodo T y consideremos la funcin F (t) = t0 f ( ) d . Entonces la funcin F es T -peridica si y slo Rt 2 RT 1 si a0 = f (t) dt = 0. En caso contrario, se tiene que la funcin t0 f ( ) d a0 (t t0 ) 0 T 2 es T -peridica. Si adicionalmente la funcin f verica las condiciones de Dirichlet, entonces, la serie de Fourier de f puede integrarse trmino a trmino de manera que si
X 1 f (t) = a0 + [an cos(nt) + bn sen (nt)] 2 n=1

14

Leccin 4. Anlisis de Fourier

y t0 , t [T /2, T /2], entonces Z t X bn (cos(nt0 ) cos(nt)) an (sen (nt) sen (nt0 )) 1 f ( ) d a0 (t t0 ) = + . 2 n n t0 n=1 Ejercicio: reescribir esta propiedad en trminos de la forma compleja de la serie de Fourier. P jnt Convolucin. Los coecientes complejos de Fourier de f (t)g (t) = son n= hn e hn =
k= X

ck dnk =

k=

cnk dk .

Multiplicacin. Se verica que 1 T Z

T

f (t)g(t) dt =

n=

cn dn .

En particular, la serie de los cuadrados de los coecientes complejos de Fourier es convergente. Cuando f (t) es una seal peridica de perodo fundamental T , esta igualdad puede interZ 1 T pretarse de la siguiente manera. La integral P = [f (t)]2 dt se llama media cuadrtica o T 0 potencia media 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 Z 1 T 1 P0 = [a0 /2]2 dt = a2 , T 0 4 0 Z 1 T 1 1 2 2 Pn = [an cos(nt) + bn sen (nt)]2 dt = a2 (n = 1, 2, . . . ), n + bn = 2 |cn | T 0 2 2 luego la igualdad de Parseval nos dice que la potencia media de la seal es la suma de las potencias P P medias de sus componentes armnicos, P = Pn = |cn |2 . Por eso, la representacin de
n=0 2 n=

Igualdad de Parseval. Se verica que Z X 1 2 1 X 2 1 T 2 2 |f (t)| dt = |cn | = a0 + an + b2 n . T 0 4 2 n=1 n=

los valores |cn | 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 verica las condiciones de Dirichlet, sea
X X 1 f (t) a0 + [an cos(nt) + bn sen (nt)] = cn ejnt 2 n=1 n=

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 su serie de Fourier y sea

m m X X 1 fm (t) = a0 + [an cos(nt) + bn sen (nt)] = cn ejnt 2 n=1 n=m

15

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

[f (t) fm (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 verican las condiciones de Dirichlet, dotado del poducto escalar 2 hf, gi = T Z
T

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 , cos(t), sen (t), ..., cos(nt), sen (nt) . 2

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 verica las condiciones de Dirichlet es f (t) =
X

cn ejnt ,

n=

donde = 2/T y los coecientes de Fourier vienen dados por 1 cn = T Z

T /2

f (t)ejnt dt

T /2

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 no peridica como si fuera una funcin con perodo innito, lo que le llev a la posibilidad de

16

Leccin 4. Anlisis de Fourier

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 frecuencia que se mueve de manera continua. Veamos cul fue su razonamiento. Partiendo de una funcin peridica y combinando las expresiones anteriores, obtenemos " Z # X X 1 T /2 jnt jn f (t) = cn e = f (t)e d ejnt . T T /2 n= n= Sean n = n las frecuencias presentes y llamemos n = n n1 = = 2/T a la diferencia entre dos frecuencias consecutivas. Entonces podemos escribir " Z # T /2 X 1 j n f ( )e d ejn t n . f (t) = 2 T /2 n= Ahora, para cada R denimos FT ( ) = Z
T /2

f ( )ej d ,

T /2

con lo que la igualdad previa puede escribirse como

1 X FT ( n )ejn t n . f (t) = 2 n=

Si T es muy grande, podemos interpretar esta suma como una suma de Riemann de la integral impropia Z 1 1 X jt FT ()e d FT ( n )ejn t n = f (t). 2 2 n= En consecuencia, si hacemos T y consideramos la funcin F dada por Z f ( )ej d , F () = lim FT ( ) =
T

entonces cabe esperar que se verique la igualdad Z 1 F ( )ejt d, f (t) = 2 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 puede no funcionar como se espera. Esto ocurre, por ejemplo, con la funcin constante f (t) = 1, para la que la integral que dene 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 tienen una duracin nita.

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), denida para cada t R, satisface las condiciones de Dirichlet para la integral de Fourier si f (t) es absolutamente integrable en R, o sea, Z |f (t)| dt < ,

y, adems, en cada subintervalo nito se verica que f (t) es continua salvo un nmero nito de discontinuidades de salto y que sus partes real e imaginaria slo tienen una cantidad nita 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 Z f (t)ejt dt F ( ) =

es convergente. Adems, asumiendo que en las discontinuidades de salto de la funcin f se tiene f (t ) + f (t+ ) que f (t) = , tambin se verica la igualdad 2 Z 1 f (t) = F ( )ejt d 2 que se llama representacin integral de Fourier de la funcin f . Deniciones. Sea f una funcin que satisface las condiciones de Dirichlet para la integral de Fourier. Entonces la funcin F ( ) denida para cada R por Z F ( ) = f (t)ejt dt

se llama transformada de Fourier de f y proporciona la representacin en el dominio continuo de frecuencias de la funcin f . Como ocurre con la transformada de Laplace, una notacin muy habitual para la transformada de Fourier es F{f }. Cuando tengamos una funcin en el dominio de la frecuencia F ( ) y calculemos la funcin f (t) 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 ; es decir, Z 1 1 f (t) = F {F }(t) = F ( )ejt d. 2 Puesto que el valor de F ( ) para cada variable real es un nmero complejo, suele representarse usando una grca para su mdulo |F ( )| y otra para su argumento principal arg(F ( )) (, ] 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, t f (t) = h0 (t)e = t e si t > 0,

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

Leccin 4. Anlisis de Fourier

es

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

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 verican 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 2f ( ) (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 Z F ( ) = 2 f ( ) cos( ) d
0

y, teniendo en cuenta que F vuelve a ser una funcin par, concluimos que Z Z 2 f ( ) cos( ) cos(t) d d. f (t) = 0 0 La funcin que representa aqu el papel de la transformada de Fourier Z Fc {f }( ) = f ( ) cos( ) d
0

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

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

19

se llama transformada seno de f . Escalado en el dominio del tiempo. La transformada de Fourier de f (at) viene dada por F (/a) ; es decir |a| 1 F{f (at)} () = F{f } (/a) . |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. Si 0 es un nmero real entonces la transformada de Fourier de ej0 t f (t) es F ( 0 ). O sea, F{ej0 t f (t)} () = F{f }( 0 ). Desplazamiento, o traslacin, en el dominio del tiempo. Si t0 es un nmero real entonces la transformada de Fourier de la funcin trasladada f (t t0 ) es ejt0 F (). En otras palabras, F{f (t t0 )} = ejt0 F{f }.

Aplicando esto a f 0 tenemos, como consecuencia, la transformada de la derivada segunda F{f 00 } ( ) = 2 F{f } ( ) . Ms generalmente, F{f (n) } ( ) = (j )n F{f } ( ) , para n = 1, 2, . . .

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

(siempre que f (t), f 0 (t), ..., f (n) (t) cumplan las condiciones de Dirichlet). Derivacin en la frecuencia. Si la funcin tf (t) verica las condiciones de Dirichlet, entonces d F () la transformada de Fourier de f (t) es derivable y se tiene que la transformada inversa de d es jtf (t). Ms generalmente, n d 1 F ( ) = (jt)n f (t), para n = 1, 2, . . . F d n

20

Leccin 4. Anlisis de Fourier

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 ) denida para t R por Z (f g )(t) = f ( )g (t ) d .

(Es claro que si las funciones f y g son causales, entonces esta denicin coincide con la dada en la leccin anterior.) Este producto de convolucin tambin es conmutativo, asociativo y distributivo y, como en el caso de la transformada de Laplace, su propiedad ms importante es 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, su producto de convolucin en el dominio de la frecuencia es la funcin (F G)() denida para R por Z (F G)( ) = F ( )G( ) d .

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

1 F ( ) G( ). 2

Teorema de Parseval. La energa total asociada con una funcin f : R R se dene como Z |f (t)|2 dt.

Si una funcin tiene energa total nita, entonces su transformada de Fourier tambin y, de hecho, se tiene Z Z 1 2 |f (t)| dt = |F ( )|2 d. 2 Transformadas de Fourier generalizadas. Hemos visto que, interpretndola de manera adecuada, la funcin de impulso o funcin delta de Dirac permite modelar 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 Z F{ t0 (t)}( ) = t0 (t)ejt dt = ejt0

y, en particular, F{ 0 (t)}( ) = 1. Usando la propiedad de dualidad nos quedara, entonces, F{1}( ) = 2 0 ( ) y F{ej0 t }( ) = 2 0 ( )

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, Z 1 1 F {2 0 ( )}(t) = 2 0 ()ejt d = ej0 t . 2 Se dice entonces que la funcin ej0 t admite una transformada de Fourier generalizada que es F{ej0 t }( ) = 2 0 ( ) y, en particular, que la transformada de Fourier generalizada de la funcin constante 1 es 2 0 ( ). Transformada de Fourier generalizada de una funcin peridica. Si tenemos una funcin peridica f (t) de perodo T0 y frecuencia 0 que verica las condiciones de Dirichlet, entonces su desarrollo en serie de Fourier es X f (t) = cn ejn0 t .
n=

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

X

n=

cn 0 ( n 0 )

que ocurren en los valores de su espectro discreto de frecuencias 0, 0 , 20 , . . . 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), es decir, si denotamos por I 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) =
X

n=

g (t nT0 ).

Es ms, si G() es la transformada de Fourier de g, entonces cn Z Z 1 1 jn 0 t = f (t)e dt = g (t)ejn0 t dt T I T I Z 1 1 = g(t)ejn0 t dt = G(n 0 ), T T

1 X G(n 0 )ejn0 t T n=

lo que nos permite escribir f (t) = que se conoce como suma de Poisson.

22

Leccin 4. Anlisis de Fourier

Ejercicios

Ejercicio 1. Qu relacin deben mantener dos frecuencias positivas 1 y 2 para que la funcin f (t) = sen ( 1 t) + sen (2 t) sea un polinomio trigonomtrico? Cuando eso ocurra, cul ser su perodo? Ejercicio 2. Determina el desarrollo en serie de Fourier de las siguientes funciones, que estn denidas como se indica en el intervalo [, ] y se extienden peridicamente a toda la recta real: 1. f (t) = t cos(t) 2. f (t) = t2 3. f (t) = |sent| 4. f (t) = et . Ejercicio 3. Desarrolla en serie de Fourier en el intervalo [, ] la funcin 0 si < t < 0, f (t) = si 0 < t < . A partir de este desarrollo, deduce el de 1 g(t) = 1

si < t < 0, si 0 < t < .

Dibuja las funciones a las que tienden las series obtenidas en el intervalo [5, 5 ].

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

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 Ejercicio 6. Desarrolla en serie de Fourier en el intervalo [, ] la funcin 0 si < t < 0, f (t) = t si 0 < t < .

23

Dibuja la funcin a la que tiende las serie obtenida en el intervalo [5, 5 ] y aplica el teorema de Dirichlet para deducir las siguientes igualdades:
X n=1

X 1 1 1 1 2 = 1 + + + + = . 2 2 2 2 n 2 3 4 6 n=1

1 1 1 1 2 = 1 + + + + = (2n 1)2 32 52 72 8

Ejercicio 7. Halla los desarrollos en serie de Fourier de la funcin f (t) = 1 cos2 (t) que se piden a continuacin: 1. En el intervalo [0, 2 ]. 2. En el intervalo [, ]. 3. En serie de senos en el intervalo [0, ]. 4. En serie de cosenos en el intervalo [0, ]. 5. La serie compleja en [, ]. Dibuja las correspondientes sumas obtenidas en [4, 4 ]. Ejercicio 8. Una seal con perodo T consiste en un pulso de altura a y duracin < T que luego decae a 0. Determina sus desarrollos en series de Fourier real y compleja en el intervalo [0, T ] suponiendo que situamos el origen de tiempos precisamente cuando se produce 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) = 1 en el intervalo [0, 1]? Ejercicio 10. Determina el desarrollo en serie de Fourier de senos de la funcin f (t) = et en el 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].

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

Leccin 4. Anlisis de Fourier

Ejercicio 13. Determina la transformada de Fourier de cada una de las siguientes funciones (a representa un nmero real positivo). 1. f (t) = ea|t| 2. f (t) = |t| ea|t| 3. f (t) = ea|t| tn para n = 1, 2, . . . 4. f (t) = ea|t| sen(bt) 5. f (t) = ea|t| 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 h0 es la funcin de salto de Heaviside). 1. f (t) = teat h0 (t) 2. f (t) = tn eat h0 (t) para n = 1, 2, . . . 3. f (t) = eat sen ( 0 t)h0 (t) 4. f (t) = eat cos( 0 t)h0 (t). Ejercicio 15. Calcula la transformada de Fourier de las siguientes funciones 1. El pulso denido por k f (t)= k 0 f (t)=

si 2 < t < 0, si 0 < t < 2, en otro caso. si |t| < T, si |t| > T.

2. La funcin triangular

1 |t| /T 0

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

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/11 donde d y 0 son nmeros reales positivos.

25

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 funcin si 0 < < 2, 2 2 si 2 < < 0, F ( ) = 0 en otro caso.

Comprueba el resultado usando la propiedad de dualidad.

Ejercicio 19. Usa la representacin integral de Fourier para hallar la funcin cuyo espectro de amplitudes es 2 [h0 ( + 3) h0 ( 3)] y cuyo espectro de fases es 3 . 2 Ejercicio 20. Usando las propiedades de la transformada de Fourier, halla, en trminos de la transformada F ( ) de una cierta funcin f (t), la transformada de Fourier de las siguientes funciones. 1. f1 (t) = f (t 1) + f (t 1). 2. f2 (t) = f (3t 6). 3. f3 (t) = f 00 (t 1). Ejercicio 21. Sabiendo que F{e|t| } = para calcular F{4t/(1 + t2 )2 }. 2 , halla F{te|t| } y aplica la propiedad de dualidad 1 + 2

Ejercicio 22. Prueba las siguientes armaciones. 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+) . Ejercicios y cuestiones de exmenes de cursos anteriores. Ejercicio 25. Halla la forma compleja de la serie de Fourier de la onda triangular denida en el intervalo [1, 1] por tri(t) = 1 |t| y extendida 2-peridicamente.

26

Leccin 4. Anlisis de Fourier

Ejercicio 27. Enuncia y demuestra la igualdad de Parseval para las series de Fourier reales.

Ejercicio 26. (1) Sea f (t) la funcin denida por f (t) = t para 0 t < 1 y extendida peridicamente a toda la recta real. Calcula la forma compleja de la serie de Fourier de f y dibuja la funcin a la que converge dicha serie en el intervalo [2, 2]. P n2 . (2) Aplica la forma compleja de la igualdad de Parseval para deducir el valor de
n=1

Ejercicio 28. Enuncia y demuestra la propiedad de traslacin en el tiempo para la transformacin de 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) = 1 si |t| Z < 1 y f (t) = 0 si |t| 1. sen (x) Calcula su transformada de Fourier y sala para deducir el valor de dx. x Ejercicio 32. La transformada de Fourier de una funcin f (t) es F () =

j . Calcula la cosh() transformada de Fourier de la funcin g (t) = f 0 (2t 1) enunciando las propiedades que utilices. Ejercicio 33. Aplica la transformacin de Fourier al problema de valor inicial y 0 + 2ty = 0 con y (0) = 1
2

para hallar la transformada de Fourier de la funcin f (t) = et .

Bibliografa

Para desarrollar esta leccin pueden consultarse los siguientes textos, en especial el de James (que incluye algunas aplicaciones a la ingeniera). [517.9/3-EDW] C.H. Edwards y D.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) y Cap. 5 (secciones 5.1 a 5.5)