Professional Documents
Culture Documents
ANLISIS DE FOURIER
Primera Edicin
DERECHOS RESERVADOS 2007 por JULIAN QUIROGA SEPLVEDA Bogot ANLISIS DE FOURIER Julin Quiroga Seplveda ISBN: 978-958-44-2350-4
CONTENIDO
PREFACIO 1. CONCEPTOS BSICOS
1.1. Basesmatemticas 1.1.1. ConjuntosNumricos 1.1.2. Notacindeinters 1.1.3. Clasificacindeconjuntosdeacuerdoasucardinalidad 1.1.4. nfimoysupremo 1.2. Funciones 1.2.1. Inyectividad 1.2.2. Sobreyectividad 1.2.3. Biyectividad 1.2.4. Invertibilidad 1.3. Variablecompleja 1.3.1. Nmeroscomplejos 1.3.2. IdentidaddeEuler(ExponencialComplejo) 1.3.3. Operacionesentrecomplejos 1.3.4. Complejoconjugado 1.3.5. FuncionesComplejas 1.4. 1.5. Resumen Ejercicios 1 1 2 3 3 4 5 5 6 6 6 7 8 10 10 12 14 15
XI 1
2. SEALES
2.1. Clasificacindeseales 2.1.1. Sealescontinuasydiscretas 2.1.2. Sealesdesoportecompactoyacotadas 2.1.3. Sealespareseimpares 2.2. Sealesperidicas 2.2.1. Sealesperidicasdetiempocontinuo 2.2.2. SumadeexponencialescomplejosdeTC 2.2.3. Sealesperidicasdetiempodiscreto 2.2.4. SumadeexponencialesperidicosdeTD 2.3. Potenciayenergadeunaseal 2.3.1. Potenciainstantnea 2.3.2. Energa 2.3.3. Potenciapromedio 2.4. Normasyespaciosnormados 2.4.1. NormayespacioL1 17 17 19 20 24 24 27 29 32 33 33 34 34 37 37
17
39 41 42 43 43 45 47 47 48 48 52 53 53 55 57 59
2.5. FuncionesSingulares 2.5.1. FuncinescalndeHeaviside 2.5.2. Funcinimpulso 2.5.3. Escalnunitariodiscreto 2.5.4. Impulsounitariodiscreto 2.6. Convolucinlineal 2.6.1. Definicin 2.6.2. Propiedadesdelaconvolucin 2.7. SistemasLTI 2.7.1. Sistemascontinuos 2.7.2. Sistemasdiscretos 2.8. 2.9. Resumen Ejercicios
3. REPRESENTACIN DE SEALES
3.1. Descomposicindeseales 63 64 64 65 68 68 68 70 71 77 78 79 80
63
3.2. Aproximacindeunvector 3.2.1. Aproximacindeunelementodelplano 3.2.2. Aproximacindeunaseal 3.3. Basesortogonales 3.1.1. Baseseindependencialineal 3.1.2. Ortogonalidad 3.1.3. MtododeortogonalizacindeGramSchmidt 3.4. 3.5. 3.6. 3.7. 3.8. Representacindesealesenunintervalodetiempofinito TeoremadeParsevalparaunintervalofinito Representacindeunasealperidica Resumen Ejercicios
4. SERIES DE FOURIER
4.1. SerieexponencialdeFourier 4.1.1. CondicionesdeDirichlet 4.1.2. Clculodelaserieexponencial 4.1.3. EspectrodeFourier 4.1.4. TeoremadeParsevalparalaserieexponencial 83 83 85 88 90
83
VIII
4.1.5.
Propiedadesdelaserieexponencial
4.2. SerietrigonomtricadeFourier 4.2.1. Relacinentrelaserietrigonomtricaylaserieexponencial 4.2.2. SerietrigonomtricadeFourierparasealespareseimpares 4.2.3. TeoremadeParsevalparalaserietrigonomtricadeFourier 4.3. AplicacionesdelasseriesdeFourier 4.3.1. Anlisisdesealesperidicas 4.3.2. Convolucincircularcontina 4.3.3. Oscilacionesforzadas 4.4. 4.5. Resumen Ejercicios
5. TRANSFORMADA DE FOURIER
5.1. DeduccindelatransformadadeFourierL1 5.1.1. Representacindesealesnoperidicas 5.2. TransformadadeFourierL1 5.2.1. InterpretacindelaTransformadadeFourierL1 5.2.2. ConvergenciadelaTransformadadeFourierL1 5.3. PropiedaddeconvolucinparalaTF 5.3.1. RespuestadeunsistemaLTIutilizandolatransformadadeFourier 5.3.2. Multiplicacindesealeseneltiempo 5.4. 5.5. TeoremadeParsevalparalatransformadadeFourier TransformadadeFourierL2
121
121 121 124 127 128 141 143 145 147 148 152 152 152 154 156 157 158
5.6. TransformadasdeFourierqueimplicanfuncionesimpulso 5.6.1. TransformadadeFourierdelafuncinimpulso 5.6.2. TransformadadeFourierdeunexponencialcomplejo 5.6.3. TransformadadeFourierdesealesperidicas 5.7. 5.8. 5.9. AplicacionesdelatransformadadeFourier Resumen Ejercicios
163
163 163 165 166 169 169
IX
6.2. TransformadadeFourierparasealesdiscretas 6.2.1. DefinicindelatransformadadeFourierl1 6.2.2. InterpretacindelatransformadadeFourierl1 6.2.3. PropiedadesdelaTFdeunasealdiscreta 6.2.4. TransformadadeFourierparasealesperidicasdiscretas 6.2.5. TeoremadeParsevalparalaTFdesealesdiscretas 6.2.6. PropiedaddeconvolucinparalaTFdesealesdiscretas 6.3. TransformadadiscretadeFourier(DFT) 6.3.1. Efectosdelmuestreoenfrecuencia 6.3.2. DefinicindelaDFT 6.3.3. InterpretacindelaDFT 6.3.4. VisualizacindelaDFT 6.3.5. PropiedadesdelaDFT 6.3.7. ConvolucindiscretautilizandolaDFT 6.4. TransformadarpidadeFourier(FFT) 6.4.1. AlgoritmoFFTdediezmadoeneltiempo(Base2) 6.4.2. AplicacionesdelaFFT 6.5. 6.6. Resumen Ejercicios
170 170 172 173 174 176 176 179 180 182 183 184 186 187 188 188 189 194 195
197
197 198 199 200 201 205 205 213 217 217 222 225
7.3. Solucindelaecuacindeonda1D 7.3.1. Separacindevariables 7.3.2. SolucindeDAlembert 7.4. Ecuacindecalorunidimensional 7.4.1. Alambrefinito(Separacindevariables) 7.4.2. Alambreinfinito(TransformadadeFourier) 7.5. Ejercicios
227 231
PREFACIO
La primera edicin del libro ANALISIS DE FOURIER recopila los contenidos bsicos del anlisis de seales y sistemas utilizando la teora de Fourier. Este libro puede ser usado como texto gua en cursos de ingeniera elctrica y electrnica en el rea de seales y sistemas en los cuales se quieran relacionar los conceptos matemticos elementales de la teora de Fourier con problemas sencillos de aplicacin en el campo de procesamiento digital de seales y en el estudiodesistemaslinealeseinvarianteseneltiempo. El libro rene las deducciones matemticas junto a una serie de ejercicios explicativos y de aplicacin, los cuales intentan guiar al estudiante en su camino de aprendizaje y de apropiacin de las herramientas que ofrece el anlisis de Fourier para el estudio de seales y sistemas. Para ello el libro presenta en cada Captulo las temticas principales, acompaadas de ilustraciones y ejemplos desarrollados en su totalidad. Adicionalmente, al fin de cada Captulosepresentaunbreveresumenconlosconceptosmsimportantes. Este libro trata de apoyar al estudiante en la comprensin de un tema demandante debido a sus requerimientos matemticos. Por tal motivo, es de suma importancia que el estudiante realice la lectura de los contenidos temticos de cada seccin, revise los ejemplos resueltos y desarrolle los ejercicios propuestos, con el fin de apropiarse de cada uno de los contenidos. Este libro trata algunos temas complementarios de forma corta, si se desea profundizar en cualquieradeestoscontenidosellectorpuedeconsultarlabibliografaaqurelacionada. El libro est organizado como sigue. En el Captulo 1 se hace una pequea revisin de los conceptosbsicosqueelestudiantedebemanejarparaenfrentarlosCaptulosposteriores.Se revisanalgunosconceptosdeconjuntosnumricos,funcionesyvariablecompleja. EnelCaptulo2seintroduceelconceptodesealyserealizasuclasificacin.Posteriormente se estudian las seales peridicas de tiempo discreto y continuo, y se estudia el concepto de frecuencia angular continua y discreta. Con el fin de tomar medidas cuantitativas de las sealessedefinenpotenciayenerga.Serealizaunabreverevisindeespaciosvectoriales,en particular aquellos dotados con norma y se presentan las seales como vectores. Finalmente se estudian los sistemas lineales e invariante en el tiempo (sistemas de convolucin), en particularsurespuestaaunasealdeentradadadayestabilidadensentidoEASA. En el Captulo 3 se estudia como un elemento de un espacio vectorial puede ser aproximado en trminos de otros elementos del espacio, para ello se introducen los conceptos de producto interno y ortogonalidad. Para la representacin de vectores se estudia el concepto de base ortogonal y como caso particular se deduce la forma como una seal puede ser representadapormediodeunconjuntodesealesmssimples.
XI
En el Captulo 4 se estudian las series de Fourier como caso particular de la representacin de seales. Se presenta la serie exponencial de Fourier y se analiza la informacin frecuencial de la seal contenida en los coeficientes complejos. De forma similar se introduce la serie trigonomtricayseilustranalgunosejemplosdeaplicacin. En el Captulo 5 se define la Transformada de Fourier L1 para la representacin seales no peridicas sobre un intervalo infinito del tiempo. Se interpreta la informacin contenida en la transformada de Fourier, as como algunas de sus propiedades. Se revisan aplicaciones en estimacin espectral y estudio de sistemas lineales el tiempo (filtros). De forma corta se deducelaTransformadadeFourierL2parasealesdeenergafinita. En el Captulo 6 es dedicado al anlisis de Fourier para seales discretas. Se introduce el concepto de muestreo en tiempo y sus efectos sobre las caractersticas frecuenciales de la seal.PosteriormentesedefinelatransformadadeFourierparasealesdiscretasyalgunasde sus propiedades. Se presenta la transformada discreta de Fourier y el efecto de muestreo en frecuencia sobre la seal en el tiempo. Se desarrollan en Matlab ejemplos de anlisis de respuestaenfrecuenciadesistemasdiscretoydeestimacinespectraldesealesdiscretas. Finalmente,enelCaptulo7seestudianalgunasecuacionesdiferencialesparcialesdesegundo orden, en las cuales son aplicadas la serie y la transformada de Fourier. Se incluye adems un apndicesobreespaciosvectoriales. Deseo agradecer especialmente a los estudiantes de mis cursos que sirvieron para probar en las clases buena parte de este material. De igual forma, quiero agradecer a Gabriel Narvez, JuanPabloMaillaneyCarlosCalveraqueescribieronencomputadorpartedeestemanuscrito. Espero que este libro sea de gran utilidad para el desarrollo de sus cursos en los cuales necesiten la Teora de Fourier aplicada a seales y sistemas. Agradezco me comuniquen los erroresencontradosocualquiersugerenciaparalamejoradeestelibro.
Bogot, 2007.
XII
1 CONCEPTOS BSICOS
1.1. Basesmatemticas
1.1.1. ConjuntosNumricos
Nmerosenteros
El conjunto de los nmeros enteros, denominado Z , est formado por todos los nmeros que pueden ser generados por sumas o restas sucesivas del nmero 1 .
Z = {K , 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5,K}
El conjunto de los nmeros naturales, denominado N , esta formado por todos los nmeros enteros no negativos.
N = {0, 1, 2, 3, 4, 5,K}
Denotaremos como Z + , al conjunto de los nmeros enteros positivos, es decir, los nmeros naturales menos el cero ( N {0} ).
Z + = {1, 2, 3, 4, 5,K}
Z* = {K , 5, 4, 3, 2, 1, 1, 2, 3, 4, 5,K} Nmerosracionales
El conjunto de los nmeros racionales, denominado Q , est formado por todos los nmeros que pueden ser expresados de la forma a/b , donde a y b son nmeros enteros y b es diferente de cero. Cada racional puede ser escrito de infinitas formas, por ejemplo, 4 / 12 = 2 / 6 = 1 / 3 . Se dice que un racional est expresado como una fraccin irreducible, si a y b son primos relativos, es decir, mcd( a , b) = 1 . Cada nmero racional diferente de cero tiene exactamente una forma de fraccin irreducible, con un denominador positivo.
Nmerosreales
El conjunto de los nmeros reales, denominado R , puede ser informalmente descrito como el conjunto de nmeros que pueden ser expresados por una representacin decimal infinita, por ejemplo, 3.14159265... . Los nmeros reales contienen a los
Conceptosbsicos
AnlisisdeFourier
nmeros racionales y a los irracionales. El conjunto de los nmeros irracionales est formado por todos los nmeros reales que no pueden ser expresados como un racional, por ejemplo, y 2. Los nmeros reales pueden ser ubicados como puntos sobre una larga lnea numrica, conocida como la recta real.
Figura1.1.Larectareal.
Denotaremos como R + , al conjunto de los nmeros reales positivos, es decir, los nmeros reales mayores que cero. Denotaremos como R , al conjunto de los nmeros reales sin el cero. Nmeroscomplejos El conjunto de los nmeros complejos, denominado C , est formado por todos los nmeros de la forma a + jb , donde a y b son nmeros reales. En la Seccin 1.3 se realizar un estudio ms detallado de este conjunto. 1.1.2. Notacindeinters A continuacin revisaremos algunos smbolos matemticos, los cuales nos sern tiles paraescribiralgunosenunciadosdeformacompacta. x pertenecealconjunto A x A Existeunelemento x delconjunto A x A Existeunnicoelemento x de A ! x A Paratodosloselementosdelconjunto A x A B = { x A : Q( x )} B es el conjunto formado por los elementos de A que cumplen la condicin Q Bessubconjunto(estcontenido)deA B A , Entonces,Siyslosi /, ,: Talque , y,o Ejemplo1.1. Si x esunnmeroentero,entonces x esunnmeroreal. x Z x R
Conceptosbsicos
AnlisisdeFourier
B eselconjuntodelosnmerosenterosconmagnitudmenora4.
B = { x Z : x < 4} = {3, 2, 1, 0, 1, 2, 3}
Existeunniconmerorealtalquelasumaconlmismodaelmismonmero.
! x R / x + x = x
1.1.3. Clasificacindeconjuntosdeacuerdoasucardinalidad Los conjuntos pueden clasificarse de acuerdo a su cardinalidad como finitos o infinitos. Por ejemplo, el conjunto del ejemplo anterior, B = { 3,2,1, 0, 1, 2, 3} , es un conjunto finito de cardinalidad 7. Todo conjunto finito es contable (enumerable), es decir sus elementos pueden ser ordenados. Los conjuntos infinitos en cambio pueden ser contables o no contables. Por ejemplo los enteros y los reales son conjuntos infinitos, sin embargo los enteros son contables y los reales no. En el caso de los nmero enteros, sabemos por ejemplo, que despus del 2 sigue 1, 0, 1, 2, ... . Sin embargo, para los nmeros reales, despus del 0 que nmero sigue, el 0.1 , el 0.01 , o 0.001 ?. No importa que nmero asumamos que sigue al 0 , siempre encontraremos un nmero entre 0 y ste.
Figura1.2.Clasificacindeconjuntos
1.1.4. nfimoysupremo Algunas veces los conceptos de mximo y mnimo de un conjunto numrico no son suficientes. Por ejemplo, cual es mnimo del conjunto formado por el intervalo (0,1] de la recta real?. La respuesta es que este conjunto infinito no tiene mnimo, pues para cualquier valor que asumamos como mnimo, podemos encontrar un valor ms pequeo que tambin pertenece al conjunto. Definicin 1.1. x es una cota superior de un conjunto A , si y A se cumple que x y , es decir, x es mayor o igual a cada uno de los elementos de A . La mnima cota superior de un conjunto A se conoce como supremo ( sup ). Si el supremo pertenece al conjunto, entonces es el mximo, en caso contrario, el conjunto no tiene mximo.
Conceptosbsicos
AnlisisdeFourier
Ejemplo 1.2. Para el conjunto [0,10) , encuentre 2 cotas superiores y su supremo. El conjunto tiene mximo? Solucin. Como cotas superiores tomemos 11 y 100 . El supremo es 10 y debido a que 10 nopertenecealintervalo,elconjuntonotienemximo.
Definicin 1.2. x es una cota inferior de un conjunto A , si y A se cumple que x y , es decir, x es menor o igual a cada uno de los elementos de A . La mxima cota inferior de un conjunto A se conoce como nfimo ( inf ). Si el nfimo pertenece al conjunto, entonces es el mnimo, en caso contrario, el conjunto no tiene mnimo.
Ejemplo 1.3. Para el conjunto A = {1 / n : n R + } , encuentre 2 cotas inferiores y su nfimo. El conjunto tiene mnimo? Solucin.Comocotasinferiorestomemos 1 y 2 .Elnfimoes 0 ydebidoaque 0 no pertenecealintervalo,elconjuntonotienemnimo. Observacin1.1.Notodoslosconjuntosdecardinalidadinfinitaquetienensupremo o nfimo, tienen mximo o mnimo, respectivamente. Un conjunto que no posee supremo o nfimo, se conoce como un conjunto no acotado (no tiene cotas). Todos losconjuntosdecardinalitafinitatienen mximoymnimo. 1.2. Funciones Definicin 1.3. f : A B es una funcin del conjunto A al conjunto B, si a A ! b B tal que f ( a ) = b , es decir, si a cada elemento de A , f asigna un nico elemento del conjunto B . El elemento b se conoce como la imagen de a bajo f. El conjunto A se conoce como el dominio de la funcin y el conjunto B como el codominio. El rango de f es el conjunto definido como f ( A) = { f ( a ) : a A} . Ejemplo1.4.Determinedominio,codominioyrangodelassiguientesfunciones.
f : C R dadapor f ( a + jb ) = a 2 + b 2 .
El dominio de f son los complejos, el codominio los reales y el rango de f los reales mayores e iguales a cero. La imagen del elemento 3 + 4 j bajo f , es el elemento 5 . f : R R dadapor f ( x ) = sin( x ) . El dominio y codominio de f son los reales y el rango de f es el intervalo [1, 1] de la recta real. La imagen del elemento / 2 bajo f , es el elemento 1.
Conceptosbsicos
AnlisisdeFourier
f : R R dadapor f ( x ) = 5 x + 2 .
El dominio, el codominio y el rango de f son los reales. La imagen del elemento 2 bajo f es el elemento 12 . 1.2.1. Inyectividad f : A B es una funcin inyectiva si y slo si a, b A ( f ( a ) = f (b) a = b) , es decir, dos elementos diferentes del dominio no pueden tener la misma imagen.
Figura1.3.Funcininyectiva.
Ejemplo1.5.Demuestreque f : R R ,dadapor f ( x ) = 2 x + 1 ,esinyectiva. Solucin. Supongamos que f ( a ) = f (b ) , entonces 2a + 1 = 2b + 1 , lo cual implica que a = b yporlotanto f esinyectiva. Ejemplo1.6.Demuestreque f : R R ,dadapor f ( x ) = x 2 ,noesinyectiva. Solucin.Supongamosque f ( a ) = f (b ) ,entonces a 2 = b 2 ,locualimplicaque a = b y que + b y b tiene la misma imagen bajo f , por tal motivo la funcin no es inyectiva. 1.2.2. Sobreyectividad f : A B es una funcin sobreyectiva si y slo si b B ( a A / f ( a ) = b) , es decir, todo elemento del codominio es imagen de por lo menos un elemento del dominio bajo f, lo cual implica que el codominio es igual al rango.
Figura1.4.Funcinsobreyectivanoinyectiva.
Conceptosbsicos
AnlisisdeFourier
Ejemplo1.7.Demuestreque f : R R ,dadapor f ( x ) = 2 x + 1 ,essobreyectiva. Solucin. Para cada valor b del codominio, se debe encontrar un elemento a del dominio, tal que f ( a ) = 2a + 1 = b . Claramente para cada b R , la ecuacin a = (b 1) / 2 calcula un a R que satisface f ( a ) = b . Por tal motivo, la funcin es sobreyectiva. Ejemplo1.8.Demuestreque f : Z R ,dadapor f ( x ) = x / 2 ,noessobreyectiva. Solucin. Para un valor b del codominio se debe encontrar un elemento a del dominio tal que f ( a ) = a / 2 = b . Para un b R la ecuacin a = 2b no siempre nos da un entero. Si b = 0.2 entonces a = 0.4 , pero 0.4 no pertenece al dominio de la funcin. Portalmotivolafuncinnoessobreyectiva.
1.2.3. Biyectividad
f : A B es un funcin biyectiva si es inyectiva y sobreyectiva, es decir, dos elementos del dominio no pueden tener la misma imagen y todo elemento del codominioesimagendeunelementodeldominio.
Figura1.5.Funcinbiyectiva.
1.2.4. Invertibilidad
f : A B es una funcin invertible si f 1 : B A es una funcin. Para esto se requierequefseaunafuncinbiyectiva. 1.3. Variablecompleja Los nmeros complejos fueron introducidos con el fin de resolver problemas que no tienen solucin en los nmeros reales. Por ejemplo, ningn real es solucin a la ecuacin x 2 = 1 ,puescualquierrealalcuadradosiempreespositivo.Adiferenciade losrealesquevivenenunarecta,loscomplejosvivenenunplano(elplanocomplejo).
6
Conceptosbsicos
AnlisisdeFourier
1.3.1. Nmeroscomplejos Sea x un nmero complejo, entonces se puede expresar de la forma x = a + jb , donde a y b son nmeros reales y la constante j identifica la parte imaginaria. El nmero complejo x , tiene 2 componentes: una parte real, Re{ x} = a , y una parte imaginaria, Im{ x} = b . La contaste j , que tiene valor -1, solo es un indicador de la componenteimaginariaynohacepartedesta. Ejemplo1.9.Encuentrelascomponentesrealeimaginariadelossiguientescomplejos. x = 3 j4 Re{ x} = 3 , Im{ x} = 4 x = 2 Re{ x} = 2 , Im{ x} = 0 x= j Re{ x} = 0 , Im{ x} = 1
Loscomplejospuedenubicarseenelplanoutilizandodossistemasdecoordenadas. Coordenadasrectangulares El nmero complejo se expresa como la suma de dos componentes, una real y una imaginaria, de la forma x = Re{ x} + j Im{ x} . Su ubicacin en el plano se realiza en el puntodeinterseccindedosrectas,unaquecortaelejerealen Re{ x} ( a enlaFigura 1.6)ylaotraquecortaelejeimaginarioen Im{ x} ( b enlaFigura1.6).
Figura1.6.Ubicacindeunnmerocomplejoenelplano
Conceptosbsicos
AnlisisdeFourier
Coordenadaspolares El nmero complejo se expresa mediante magnitud y fase (ngulo), de la forma x = x x . Su ubicacin en el plano es a una distancia |x| del origen ( r en la Figura 1.6)yorientado x ( enlaFigura1.6)gradosconrespectoalejereal. Cambiodecoordenadas Derectangularesapolares: Magnitud Fase
r = Re{ x} 2 + Im{ x} 2 = x
= arctan
Im{ x} = x Re{ x}
Depolaresarectangulares: Re{ x} = r cos ParteReal Parteimaginaria Im{ x} = r sin 1.3.2. IdentidaddeEuler(ExponencialComplejo) LaidentidaddeEulerseestablececomo
e j = cos + j sin
El exponencial complejo e j , tiene parte real cos y parte imaginaria sin , adicionalmente su magnitud y fase estn dadas como
e j = cos 2 + sin 2 = 1
sin e j = arctan = cos Por tal motivo los nmeros de la forma e j viven sobre el crculo unitario (radio 1) y forman una ngulo de con el eje real, como se ilustra en la Figura 1.7.
Conceptosbsicos
AnlisisdeFourier
Figura1.7.Exponencialcomplejo
Algunos exponenciales de inters son e j 0 = 1 , e j / 2 = j y e j = 1 . Conociendo que una vuelta al crculo unitario es 2 , el exponencial complejo permanece inalterado si su argumento es desplazado cualquier mltiplo entero de 2 , es decir e j ( + 2 k ) = e j k Z El exponencial complejo es entonces un fasor, de magnitud 1 y fase , lo cual lo hace apropiadopararepresentarcomplejosenformapolar,delaforma x = x e jx . Ejemplo1.10.Expreseelnmerocomplejo x = 4 e j / 6 encoordenadasrectangulares. Solucin. Dado que x est expresado en coordenadas polares, debemos encontrar primero su magnitud y su fase, las cuales estn dadas por r = 4 y = / 6 . As, se obtiene Re{ x} = 4cos( / 6) = 3.46 y Im{ x} = 4sen( / 6) = 2 ,porlocual x = 3.46 + j 2 . Ejemplo1.11.Expreseelnmerocomplejo x = 3 j 4 encoordenadaspolares. Solucin. Re{ x} = 3 y Im{ x} = 4 , entonces r = 3 2 + 4 2 = 5 y = arctan(-4 / 3) = 0.9273 . Por tal motivo, x = 5e j 0.9273 .
a
sin x =
e jx e jx 2j
cos x =
e jx + e jx 2
Conceptosbsicos
AnlisisdeFourier
1.3.3. Operacionesentrecomplejos Las operaciones entre complejos deben ser tratadas con cautela, pues algunas propiedades vlidas para los reales no son aplicables para los complejos. La suma y la diferencia entre nmeros complejos, se realiza por conveniencia en coordenadas rectangulares, mientras la multiplicacin y la divisin entre nmeros complejos, se realizaencoordenadaspolares. Suma x + y = ( Re{ x} + Re{ y }) + j ( Im{ x} + Im{ y }) Diferencia Producto
xy = x y e j (x + y ) x y = ( Re{ x} Re{ y }) + j ( Im{ x} Im{ y })
Divisin x x / y = e j (x y ) y
10
Conceptosbsicos
AnlisisdeFourier
El conjugado de un nmero complejo x tiene la misma magnitud pero fase contraria, comoseilustraenlaFigura1.8.Portalmotivosetieneque x = x * .
Figura1.8.Complejoconjugado.
Solucin. xx* = x e j x e j = x
)(
Solucin. x* = 2 + j3
x = 22 + ( 3)2 = 13
11
Conceptosbsicos
AnlisisdeFourier
2 xx* = x =
( a )2 + b 2
= a 2 + b2
Re{ x} =
a a Im{ x} = 2 2 2 a +b a +b
2
x* =
a b a + jb 1 +j 2 = 2 = 2 2 2 a +b a +b a +b a jb
2
x =
1 1 = a + jb a 2 + b2
1.3.5. FuncionesComplejas Las funciones complejas son aquellas funciones que tienen como codominio el conjunto de los nmeros complejos, es decir f : A C , donde A es un conjunto arbitrario. Estas funciones se identifican porque poseen el indicador j o porque su dominio son los nmeros complejos. Las funciones pueden expresarse en coordenadas Rectangulares: f ( x) = Re{ f ( x)} + j Im{ f ( x)} f ( x ) = f ( x ) e j ( x ) Polares: La relacin entre coordenadas rectangulares y polares para funciones complejas es igual que para el caso de los nmeros complejos. Para su visualizacin, existen 3 posibilidades como se ilustra en las Figuras 1.91.11, para la funcin f ( x) = 2e jx , donde f : R C . La primera es un grfico en 3 dimensiones de la funcin, con ejes: componente real, componente imaginaria y variable independiente. La segunda opcinconsisteenvisualizarlascomponentes,realeimaginaria,engrficosdiferentes contralavariableindependiente.Laltimaopcinyquizslamsutilizada,consisteen realizarungrficoparalamagnitudyotroparalafasedelafuncin,cadaunocontrala variableindependiente.
12
Conceptosbsicos
AnlisisdeFourier
Figura1.9.Grafico3D.
Figura1.10.Grficosporcomponentes:partesrealeimaginariasporseparado.
Figura1.11.Grficosdemagnitudyfase.
13
Conceptosbsicos
AnlisisdeFourier
1.4. Resumen Se revis la definicin de algunos conjuntos numricos como los reales, enteros, racionales e irracionales y se estableci una notacin para definir y relacionar elementosdeunconjunto. Los conjuntos numricos se clasifican de acuerdo a su cardinalidad como finitos o infinitos. Los conjuntos infinitos pueden ser contables (enumerables o ordenables) onocontables. Se defini el concepto de cota superior e inferior de un conjunto numrico y a partirdeestoslosconceptosdesupremo(mnimacotasuperior)enfimo(mxima cota inferior). Si el supremo o el nfimo pertenece al conjunto entonces es el mximooelmnimodelconjunto,respectivamente. Una funcin f : A B es un operador que asigna a cada elemento del conjunto A (dominio) un nico elemento del conjunto B (rango). Una funcin puede ser inyectiva y/o sobreyectiva, y se conocen como biyectiva si cumplen las dos condiciones. Los nmeros complejos viven en plano y pueden representarse en coordenadas rectangulares(parterealeimaginaria)opolares(magnitudyfase). Los exponenciales complejo viven en el circulo unitario (magnitud unitaria) del plano complejo y su fase (ngulo) es igual a su argumento. Un exponencial complejotienecomoparterealuncosenoycomoparteimaginariaunseno. El complejo conjugado refleja a un nmero complejo con respecto al eje real y es til para descomponer fracciones complejas en componentes real e imaginaria, as comoparaencontrarlamagnituddenmeroscomplejos. Una funcin con codomino en los complejos es una funcin compleja, cuya visualizacinpuedehacerporcomponentesrealeimaginariopormagnitudyfase.
14
Conceptosbsicos
AnlisisdeFourier
2. EscribatextualmenteloquesignificanlasexpresionesycontestesisonFV. a. x R / ( x + x = 0) x b. x Z ( 2 Z) c. x Z x R d. R Z 3. nfimosysupremos a. Mencione 2 cotas superiores del conjunto A y encuentre su supremo. Existemximo?Cules? b. Mencione 2 cotas inferiores del conjunto B y encuentre su nfimo. Existe mnimo?Cules? Seccin1.2 4. Ejemplosdefunciones. a. Deunejemplodeunafuncininyectivanosobreyectiva.Demuestre. b. Deunejemplodeunafuncinnoinyectivasobreyectiva.Demuestre. c. Deunejemplodeunafuncinbiyectiva.Demuestre. 5. Cualesdelasiguientesfuncionessoninyectivas?sobreyectivas?biyectivas? a.
f : R R ; f ( x) = 1 + x2
f : R R ; f ( x) =
b.
1 1+ x
c. d.
f : R + R ; f ( x) = x f : R R + {0}; f ( x ) = 2 x
15
Conceptosbsicos
AnlisisdeFourier
e.
f : Z Z ; f ( x) = 2 x
6. Determineeldomino,elcodominioyelrango,delassiguientesfunciones. 1 a. f : R R ; f ( x ) = 1+ x
b. c.
f : R + R ; f ( x) = x
f : Z Z ; f ( x) = 2 x
Seccin1.3 7. Encuentre la parte real, la parte imaginaria, el conjugado, la magnitud y la fase de lossiguientesnmeroscomplejos. 1 a. x = 2+ j b. x = e c.
j
x=
j 3 2 j
8. Demuestre que un nmero complejo y su conjugado, tienen la misma magnitud y fasedesignocontrario. 9. Encuentrelamagnituddelassiguientesfuncionescomplejas. a. f ( x ) = e x e jx
b.
f ( x ) = xe j 2 x
Expreselafuncinencoordenadaspolaresyencoordenadasrectangulares.
16
2 SEALES
Unasealesunaabstraccin,decualquiercantidadmesurable,queesfuncindeuna omsvariablesindependientes. Ejemplo2.1.Algunassealesdelmundoreal.
Las seales pueden modelarse matemticamente como funciones. En este curso hablaremos indiscriminadamente de seales y funciones. Consideraremos seales unidimensionales, las cuales son funciones de una sola variable independiente, que en lamayoradeloscasossereltiempo t . 2.1. Clasificacindeseales 2.1.1. Sealescontinuasydiscretas La seales pueden clasificarse en dos grandes grupos: las seales de tiempo continuo (TC)osealescontinuas,quedenotaremoscomo x(t ) ,ylassealesdetiempodiscreto (TD)osealesdiscretas,querepresentaremoscomo xn .
Seales
AnlisisdeFourier
2.1.1.1.
Sealesdetiempocontinuo
Las seales de TC toman valor en todos los instantes de tiempo y pueden modelarse comofuncionesquetienendominioenlosreales( f : R ).Elvalordeunasealde TC se puede conocerencualquier instante de tiempo. Las seales que son f : R R se conocen como seales de TC reales y las seales que son f : R C se conocen comosealesdeTCcomplejas.
Figura2.1.Sealesdetiempocontinuo:sealrealysealcompleja.
2.1.1.2. Sealesdetiempodiscreto Las seales de TD toman valor slo en un conjunto contable del tiempo y pueden modelarse como funciones con dominio en los enteros ( f : Z ). El valor de una sealdeTDslopuedeconocerseenalgunosinstantesdetiempo.Lassealesqueson f : Z R se conocen como seales de TD reales y las seales que son f : Z C se conocencomosealesdeTDcomplejas.
Figura2.2.Sealesdetiempodiscreto:sealrealysealcompleja.
Algunas seales de TD son versiones muestreadas de seales de TC, como sucede al digitalizarunacancinoalescanearunafotografa.
18
Seales
AnlisisdeFourier
2.1.2. Sealesdesoportecompactoyacotadas 2.1.2.1. Soportedeunaseal Elsoportedeunafuncinsedefinecomoelsubconjuntodeldominiodentrodelcualla funcintomavalordistintodecero. Definicin2.1.ElsoportedeunasealdeTC x(t ) ,eselsubconjuntocerradoyconexo mspequeodeltiempo,quecontienelosvaloresnonulosde x(t ) .
Figura2.3.Sealesdesoporteacotadoynoacotado,respectivamente.
Unasealtienesoportecompacto,sisusoporteesacotado. Ejemplo 2.2. La seal x(t ) = e t no tiene soporte compacto, pues la seal nunca llega asercero.LasealtriangularqueilustraenlaFigura2.4sitienesoportecompacto.
2
Figura2.4.Sealdesoportenoacotadoysealdesoportecompacto.
19
Seales
AnlisisdeFourier
Ejemplo 2.3. La seal x(t ) = arctan(t ) es una seal acotada, con nfimo y supremo iguala / 2 .Laseal x(t ) = 1 / t ,noesacotada,comoseilustraenlaFigura2.5.
Figura2.5.Sealacotadaysealnoacotada.
2.1.3. Sealespareseimpares Algunassealescumplenconciertotipodesimetraconrespectoacero,ydeacuerdo aestasimetraseclasificanensealespareseimpares. 2.1.3.1. CasoContinuo Una seal de TC x(t ) es par si cumple con x(t ) = x(t ) , es decir, si al reflejarla con respectoalejeverticalseobtienelamismaseal.
Figura2.6.Sealcontinapar.
20
Seales
AnlisisdeFourier
Figura2.7.SealdeTCimpar.
Ejemplo2.5.Demuestrequelaseal x(t ) = t esimpar. Solucin. x( t ) = t = x(t ) Portalmotivo, x(t ) esunasealimpar. Propiedad2.1.Si x(t ) esunasealpar,entonces
Si x(t ) esunasealimpar,entonces
x(t )dt = 0 .
21
Seales
AnlisisdeFourier
= x0 + 2 xn
n=0
Si xn esunasealimpar,entonces
n = a
= 0
2.1.3.3. Componentepareimpar Una seal dada no necesariamente es par o impar, sin embargo, toda seal puede expresarsecomolasumadeunasealparmsunasealimpar. CasoContinuo x(t ) = x par (t ) + x imp (t ) ,donde x(t ) + x(t ) x par (t ) = 2 x(t ) x(t ) x imp (t ) = 2 Ejemplo2.8.Descomponga x(t ) = 1 + t + t 2 comounasealparmsunasealimpar. Solucin. x(t ) = x par (t ) + x imp (t )
22
Seales
AnlisisdeFourier
(1 + t + t 2 ) + (1 t + t 2 ) x (t ) = = 1+ t2 2 2 (1 + t + t ) (1 t + t 2 ) ximp (t ) = =t 2
par
x par (t ) =
Observacin 2.1. Si x(t ) es una seal par, entonces x par (t ) = x(t ) y x imp (t ) = 0 . Si x(t ) esunasealimpar,entonces x par (t ) = 0 y x imp (t ) = x(t ) .
imp xn = xnpar + xn ,donde x + x n xnpar = n 2 x x n imp xn = n 2
CasoDiscreto
Ejemplo2.10.Descomponga xn comolasumadeunasealparmsunaimpar.
Figura2.8.SealdeTDadescomponer.
23
Seales
AnlisisdeFourier
Solucin.Realizaremoslasolucindeformagrafica.
Figura2.9.a.Sealreflejada.
Figura2.9.b.Componentepardelaseal.
Figura2.9.c.Componenteimpardelaseal.
2.2. Sealesperidicas Una seal peridica es una seal que repite su valor despus de un determinado tiempo, denominado periodo. Las seales peridicas son las funciones elegidas para la representacindesealesenlateoradeFourier. 2.2.1. Sealesperidicasdetiempocontinuo Unvalor a R ,esuntiempoderepeticinparaunaseal x(t ) si x( t + a ) = x( t ) esdecir,sidesplazamoslasealen a instantesdetiempoobtenemoslamismaseal.
24
Seales
AnlisisdeFourier
Definicin 2.3. El perodo T de una seal de TC x(t ) , es el mnimo tiempo de repeticinpositivo.Unaseal x(t ) esunasealperidica,siexiste T R + ,talque x( t + T ) = x ( t ) Siunaseal x(t ) tieneperiodo T ,entoncescumple x(t + kT ) = x(t ) , donde k Z Cada uno de los trminos kT , es un tiempo de repeticin de la seal. Observe que al desplazar x(t ) cualquier mltiplo entero de su periodo T , se obtiene la misma seal. Por tal motivo, conocer la seal x(t ) sobre un intervalo de tiempo de longitud T , es suficiente para conocer toda la seal, ya que la seal peridica est formada por copiasinfinitasdeeseintervalo,comoseilustraenlaFigura2.10.
Observacin2.2.Elvalor a = 0 esuntiempoderepeticinparacualquierseal.
Figura2.10.SealperidicadeTC.
Por convencin las seales constantes tienen periodo infinito, pues el conjunto de tiemposderepeticindeunasealconstantenotienemnimo. Definicin2.4.Lafrecuenciacontinua f ,sedefinecomoelinversodelperiodo f = 1/ T Si el periodo se expresa en segundos, la frecuencia esten HZ, parael caso de seales sinusoidales,oenciclosporsegundo(cps),paraotrassealesperidicas. La frecuencia nos da informacin de cuantas veces se repite una seal en un intervalo de tiempo (tasa de repeticin). Conociendo que el periodo de una seal de TC puede
Observacin 2.3. Toda seal peridica tiene soporte no acotado, por lo tanto no compacto,pueslasealdeberepetirsedesde hasta .
25
Seales
AnlisisdeFourier
estar en el intervalo (0, ) , la frecuencia de una seal de TC se encuentra en el intervalo [0, ) .Lassealesconstantestienenfrecuenciacero,puessuperiodoes . Definicin2.5.Lafrecuenciaangularcontinua ,esproporcionalalafrecuenciadela sealeinversaasuperiodo,ysedefinecomo 2 = 2 f = T La frecuencia angular continua se encuentra en el intervalo [0, ) . Si la frecuencia seexpresaenHz,lafrecuenciaangulartieneunidadesderad/seg. La mayora de seales peridicas pueden descomponerse como la suma de seales peridicas ms simples, de diferentes frecuencias. Sin embargo, existen algunas seales peridicas que poseen una nica frecuencia y no pueden descomponerse. Estas seales son la base del anlisis de Fourier y son: la seal seno sin(t ) , la seal coseno cos(t ) yelexponencialcomplejo e jt = cos(t ) + j sin(t ) . Lafrecuenciaangular ,controlalatasaalacualserepitecadaunadeestasseales. Silaseal e jt esperidicaexisteunvalor T R + talque e j ( t +T ) = e jt ,entonces e jt e jT = e jt e jT = 1 as, la seal es peridica si T = 2 k , donde k Z . Por tal motivo, el periodo de las seales e jt , sin(t ) y cos(t ) puedeserencontradoapartirde ,deacuerdoa 2 T= Una seal con frecuencia negativa, es equivalente a la misma seal de frecuencia positiva pero reflejada (tiempo invertido). Por ejemplo, las seales sin(t ) y sin( t ) ,tienenelmismoperiodo,perounacorrespondealareflexindelaotra. Ejemplo2.11.Encuentreelperiododelassiguientesseales. x(t ) = sin( 2t ) Enestecaso = 2 ,porlocual T = 2 / 2 = . x(t ) = e jt Enestecaso = ,porlocual T = 2 / = 2 .
26
Seales
AnlisisdeFourier
Observacin 2.4. Para todo R , las seales sin( t ) , cos(t ) y e jt son peridicas.Adems,laamplitud yfase deestassealesnoalterasuperiodo. 2.2.2. SumadeexponencialescomplejosdeTC SupongamoslasumadedossealesdeTCperidicas x(t ) = e j1t + e j2t Si x(t ) esperidica,paraalgn T R + debecumplir x(t + T ) = x(t ) ,esdecir j1 ( t +T ) j1t 2t e + e j 2 ( t +T ) = e + e j3 1442443 14 24
x ( t +T ) x(t )
e j1t e j1T + e j2t e j2T = e j1t + e j2t La igualdad anterior se cumple si y slo si e j1T = 1 y e j2T = 1 . Por tal motivo, si la seal x(t ) es peridica, se debe cumplir que 1T = 2k1 y 2T = 2k 2 , donde k1 , k2 Z* . As, x(t ) es peridica si y slo si 1 / 2 = k1 / k 2 , es decir, si el cociente 1 / 2 es un nmero racional. Las funciones sin( t ) y cos(t ) pueden expresarse en trminos de exponenciales complejos, por lo cual, para la suma de esta clase de sealessemantienelamismarestriccin. Ejemplo2.12.Encuentreelperiododelassiguientesseales,encasodeserperidicas. x(t ) = cos(3t ) + sin(5t ) 1 = 3, 2 = 5 1 2 = 3 5 Q ,lasealesperidica. Debemos encontrar los valores k1 , k2 Z* ms pequeos para los que se cumple 1T = 2k1 y 2T = 2k 2 . Para nuestra seal se tiene 3T = 2k1 y 5T = 2k 2 . Despejandosetiene 3k 2 = 5k1 k1 = 3, k 2 = 5 .Portalmotivo T = 2 . x(t ) = sin( 2t ) + sin(t ) 1 = 2, 2 = 1 2 = 2 Q ,lasealnoesperidica.
Cuando se realiza la suma de ms de dos seales peridicas, el periodo puede ser encontrado para dos seales y el resultado obtenido posteriormente es recalculado conotraseal.Esteprocedimientoesrepetidohastaalcanzarlatotalidaddeseales. Observacin2.5.Si 1 / 2 Q 2 / 1 Q .
27
Seales
AnlisisdeFourier
Ejemplo2.13.Encuentreelperiododelasiguienteseal,encasodeserperidica. x(t ) = cos(t ) + sin(t 2) + cos(t 3) Solucin. Tomemos x1 (t ) = cos(t ) + sin(t 2) , as x(t ) = x1 (t ) + cos(t / 3) . Para x1 (t ) se tiene 1 = 1 y 2 = 1 / 2 , entonces 1 2 = 2 Q . Por tal motivo x1 (t ) es peridica y paraellasedebecumplir T1 = 2k1 y T1 2 = 2k 2 .As, 2k 2 = k1 k1 = 2, k 2 = 1 yel periodode x1 (t ) es T1 = 4 ysufrecuenciaangulares x = 2 4 = 1 2 . Para x(t ) , se tienen dos seales con frecuencias angulares x = 1 2 y 3 = 1 3 , entonces x 3 = 3 2 Q . Por tal motivo, x(t ) es peridica y para ella se debe cumplir T 2 = 2k x y T 3 = 2k 3 . As , 2k x = 3k 3 y se obtiene k x = 3 y k 3 = 2 . Por tal motivo, x(t ) tieneperiodo T = 12 .
1 1 1
Observacin 2.6. Cuando se suma una seal peridica con una seal constante, la sealresultantetieneperiodoigualal delasealperidica.
Ejemplo2.14.Encuentreelperiodode x(t ) = cos 2 (3t ) ,encasodeserperidica. Solucin. Expresemos el cos 2 (3t ) de forma apropiada para encontrar el periodo de 1 [ ] x(t ) .Conociendolaidentidad cos 2 = 1 2 (1 + cos 2 ) ,setieneque x(t ) = 2 1 + cos(6t ) . Elperiododelasealcosenoes 2 6 ,entonceselperiodode x(t ) es T = 3 .
Definicin 2.6. Una seal con frecuencia angular k , donde k R * , se conoce como un armnico de una seal con frecuencia angular . En este caso se conoce como frecuenciafundamentalylasealconfrecuencia comofundamental. Propiedad 2.3. El periodo de una seal suma de una fundamental de frecuencia angular ysusarmnicos,esigualalperiododelafundamental,esdecir, T = 2 . Demostracin. Considereunasealdefrecuencia queessumadaconvariosdesusarmnicos x(t ) = sin(t ) + sin( k1t ) + sin( k2 t ) + K + sin( k N t ) , k1 , k2 , ..., k N Z En este caso la fundamental sin( t ) , tiene periodo 2 / y su isimo armnico sin( k i ) , tiene periodo 2 /( k i ) . Observe que 2 / es un tiempo de repeticin para cada uno de los armnicos, pues 2 / es mltiplo de 2 /( k i ) de. Por tal motivo,elperiododelasealtotalestdadoporelperiododelafundamental.
28
Seales
AnlisisdeFourier
Ejemplo 2.15. Halle el periodo de la seal x(t ) = cos( 2t ) + 1 cos(6t ) + 1 cos(8t ) , en caso 2 3 deserperidica. Solucin. Claramente la seal es peridica, pues corresponde a la suma de la fundamental cos( 2t ) con dos de sus armnicos. El periodo de la seal es T = 2 2 = .
2.2.3. Sealesperidicasdetiempodiscreto Unvalor a Z ,esuntiempoderepeticinparaunasealdeTD xn ,si xn + a = xn Definicin 2.7. El perodo N , de una seal de TD xn , es el mnimo tiempo de repeticinpositivo.Unaseal xn esunasealperidica,siexiste N Z + ,talque
xn + N = xn
Siunaseal xn tieneperiodo N ,entoncescumple xn + kN = xn , donde k Z Cada uno de los trminos kN , es un tiempo de repeticin de la seal. Observe que al desplazar xn cualquier mltiplo entero de su periodo N , se obtiene la misma seal. Por tal motivo, conocer la seal xn sobre un intervalo de longitud N , es suficiente para conocer toda la seal, ya que la seal peridica est formada por copias infinitas deeseintervalo.
Figura2.11.SealdeTDperidica.
29
Seales
AnlisisdeFourier
Definicin2.8.Lafrecuenciadiscreta f ,sedefinecomoelinversodelperiodo f = 1/ N La frecuencia nos da informacin de cuantas veces se repite una seal en un intervalo detiempo.Elperiodomspequeodeunasealperidicadiscretanoconstantees2. Por tal motivo, el periodo de una seal de TD se encuentra en el intervalo [2, ) . De acuerdoaesto,lafrecuenciadeunasealdeTDestenelintervalo [0,1 2] . Claramente una seal constante discreta tiene periodo 1 . Por tal motivo, las seales constantes tienen frecuencia 1 . Sin embargo, como se demostrar ms adelante, las sealesconstantesdiscretastambintienenfrecuencia 0 ,locualimplicaquetambin tienenperiodoinfinito;esdecir,tienen2periodos, 1 y .
Figura2.12.SealesdeTD:sealconstanteysealconperiodo2.
Definicin 2.9. La frecuencia angular discreta , es proporcional a la frecuencia de la sealdeTDeinversaasuperiodo,ysedefinecomo 2 = 2 f = N La frecuencia angular discreta se encuentra en el intervalo [0, ] . Las frecuencias cercanas a 0 se conocen como frecuencias bajas y las frecuencias cercanas a se conocencomofrecuenciasaltas. Al igual que en el caso continuo, nos centraremos en el estudio de tres seales peridicasbsicasquepermiterepresentarcasicualquierotrasealperidicadiscreta. Estas seales son: la seal seno sin( n ) , la seal coseno cos( n) y el exponencial complejo e j n = cos( n ) + j sin( n ) .
Observacin 2.7. No para todo las seales sin( n) , cos( n) y e j n son peridicas.
30
Seales
AnlisisdeFourier
Demostracin. Si e
j n
esunasealperidica,debeexistir N Z + ,talque
e j ( n+ N ) = e jn e j n e j N = e j n Por tal motivo se debe cumplir que e jN = 1 . Conociendo que los complejos de la forma e j viven sobre el circulo unitario en plano complejo y forman un ngulo de conelejereal,serequiereque N seaunmltiploenterode 2 ,esdecir N = 2k , donde k Z .Portalmotivo,lafrecuenciaangulardebeserdelaforma 2k = N De forma similar, se puede demostrar que las seales sin( n) y cos( n) son peridicas slo si su frecuencia angular es un mltiplo racional de 2 . Para encontrar el periodo es necesario expresar como un mltiplo racional de 2 . El periodocorrespondealdenominadordelmltiploracional. Ejemplo 2.16. Determine si las siguientes seales son peridicas y encuentre su periodo. xn = cos[( 3)n] Enestecaso = 2 (1 / 6) ,entonces xn esunasealperidicaconperiodo N = 6 . xn = e j 2 n Enestecaso = 2 (1 / ) ,entonces xn noesperidicapues (1 / ) Q . xn = sin 2 n
31
Seales
AnlisisdeFourier
Dos seales con diferente frecuencia angular, como cos[( 3)n] y cos[(7 3)n] , tienenelmismoperiodo,situacinimposibleparasealesdeTC.Estosedebeaquela frecuencia angular discreta es peridica, con periodo 2 . Por tal motivo, una frecuenciadiscreta 0 ,puedetambinescribirsecomo 0 + 2 k ,con k Z . 2.2.4. SumadeexponencialesperidicosdeTD Propiedad2.5.TodasumadesealesdeTDperidicasesperidica. Demostracin. Si xn y y n son dos seales de TD peridicas, con periodos N y M , respectivamente, entonces MN y MCM ( M , N ) son tiempos de repeticin para xn , y n y { xn + yn } . y yn = e , Si sumamos de dos exponenciales complejos peridicos xn = e seales con periodo N y M , respectivamente, entonces la seal xn + yn tiene periodo K ,dadopor K = MCM ( M , N ) donde MCM eselmnimocomnmltiplo. Ejemplo2.17.Encuentreelperiododelassiguientessumas. 2 2 cos n + sin n 4 5 N = 4, M = 5 y mcd ( 4,5) = 1 ,entonces K = 4 5 = 20 . 2 2 cos n + sin n 4 8 N = 4, M = 8 y mcd ( 4, 8) = 4 . Por tal motivo, el periodo de la suma es K = MCM ( 4, 8) = 8 . 2 2 n + sin n cos 6 8 N = 6, M = 8 y mcd (6,8) = 2 . Por tal motivo, el periodo de la suma es K = MCM (6, 8) = 24 .
2 j n N 2 j n M
32
Seales
AnlisisdeFourier
2.3. Potenciayenergadeunaseal En la mayora de los casos trabajaremos con seales, continuas o discretas, que correspondenaunvoltajeoaunacorriente.Portalmotivo,medidasdelasealcomo lapotenciainstantnea,lapotenciapromedioylaenerga,sondesumaimportancia. 2.3.1. Potenciainstantnea Enuncircuitopuramenteresistivo,comoelqueseilustraenlaFigura2.13,lapotencia p(t ) sobre el resistor R en un cierto instante de tiempo, es el producto entre la diferencia de potencial v(t ) de los terminales del resistor y la intensidad de la corriente i(t ) quepasaatravsdelmismo,esdecir p(t ) = v(t )i* (t ) .
Figura2.13.Circuitoresistivo.
Utilizando la ley de Ohm, la potencia instantnea puede expresarse en trminos del voltaje v(t ) enlosterminalesdelresistor
p ( t ) = x(t )
33
Seales
AnlisisdeFourier
2.3.2. Energa La energa total de una seal x(t ) , se define como la suma (integral) de su potencia instantnea x(t ) 2ypuedeserencontradacomo
E=
x(t ) dt
Las seales para las cuales la integral anterior converge se conocen como seales de energa finita. En la prctica, todas las seales tienen energa finita. La energa de una seal x(t ) puedeserencontradadentrodeunintervalodetiempo (t1 , t2 ) ,paraello 2.3.3. Potenciapromedio La promedio durante un intervalo de tiempo (t1 , t2 ) de una seal x(t ) , puede ser encontrada si sumamos la potencia sobre el intervalo y dividimos por la longitud del mismo.Lapotenciapromedio P sobreunintervalo (t1 , t2 ) ,sedefinecomo
t2
P t1 ,t2
1 2 2 = x(t ) dt t2 t1 t1
Lapotenciapromediodelasealsecalculacuandoelintervalosevuelveinfinito
1 2 2 P = lim x(t ) dt T T t1
Si la potencia promedio se mantiene finita, pero no cero, cuando la longitud del intervalo de tiempo T tiende a infinito, la seal x(t ) se denomina seal de potencia. La potencia promedio de una seal peridica puede encontrarse sin evaluar el lmite T . En este caso, se puede tomar T como el periodo de la seal y calcular la potenciapromediosobrecualquierintervalodetiempodelongitud T ,esdecir 1 2 P = x(t ) dt TT Ejemplo2.18.Paralaseal x(t ) = 2e j 3t ,encuentrelapotencia,laenergadelasealy lapotenciapromedio.Lasealesdepotenciaodeenerga?
34
Seales
AnlisisdeFourier
Solucin. Potenciainstantnea
p ( t ) = x ( t ) = 2e j 3 t p ( t ) = 2 2 e j 3t = 4
2
Energa
E=
x(t ) dt =
2e
j 3t
dt = 4 e j 3t dt
E = 4 dt = 8 1dt =
0
Potenciapromedio
2 1 4 2 x(t ) dt = lim e j 3t dt T T T T T / 2 T / 2 T /2 T /2 T /2
P = lim
Portalmotivo, x(t ) esunasealdepotencia. Ejemplo 2.19. Encuentre la potencia, la energa y la potencia promedio de la siguiente seal.Lasealesdepotenciaodeenerga?
Figura2.14.Sealexponencialdecrecientepar.
Solucin.
35
Seales
AnlisisdeFourier
Potenciainstantnea
2 2
Energa
E=
E=
x(t ) dt =
(e )
2|t |
dt =
4|t |
dt
4 t 4t e dt + e dt =
1 2
Potenciapromedio
T /2 T /2
1 4 t dt = lim e dt T T T / 2
T /2
P = lim
2 T T
T /2
e4t dt = lim
1 4t 1 e = lim (1 e2T ) = 0 T 2T T 2T T /2
Portalmotivo, x(t ) esunasealdeenergafinita. 2.3.4. Casodiscreto Potenciainstantneadelaseal Energaenelintervalo ( n1 , n2 ) Energadelaseal Potenciapromedioenelintervalo ( n1 , n2 ) Potenciapromedio
pn = xn En1 ,n2 = xn
2
n2
n = n1
E=
n =
xn
P n1 ,n2
n2 1 2 = xn ( n2 n1 ) + 1 n = n1
P = lim
1 N N
n = N / 2
N /2
xn
36
Seales
AnlisisdeFourier
2.4. Normasyespaciosnormados Definicin 2.10. Un espacio vectorial es una coleccin de objetos (llamados vectores) que pueden ser escalados y sumados. Una norma , es una funcin que asigna una longitud o tamao a cada uno de los vectores del espacio. Un espacio vectorial con norma,seconocecomoespaciovectorialnormado. Ejemplo 2.20. El espacio euclidiano R 3 , es un espacio vectorial. Cada elemento del espacio o vector, es de la forma x = ( x1 , x2 , x3 ) , donde x1 , x2 , x3 R , y corresponde a unpuntoenelespaciotridimensional.Unanormaparaesteespacio(sepuedendefinir otras)esladistanciaeuclidianadelvectoralorigen,definidacomo
2 2 x = x12 + x2 + x3
x(t ) 1 =
x(t ) dt
L1 es el espacio vectorial formado por todas las seales de TC que tienen norma L1 finita(sealesintegrablesenmagnitud),esdecir, L1 = f : R C :
f < .
Solucin.
Figura2.15.Sealoriginalysumagnitud.
x (t ) 1 =
x(t ) dt =
dt
37
Seales
AnlisisdeFourier
x(t ) 1 = t dt + t dt = 9
3 0
Figura2.16.Lasealoriginalysumagnitud.
x (t ) 1 =
x(t ) dt = 1 / t dt
1
Portalmotivolasealnopertenecea L1 .
1 / t 2 Ejemplo2.23.Encuentrelanorma L1 delaseal x(t ) = 0 t 1 otro caso
Figura2.17.Lasealoriginalysumagnitud.
x (t ) 1 =
x(t ) 1 = 1 t 2 dt = 1 t 1 = 1
1
x(t ) dt = 1 / t 2 dt
1
38
Seales
AnlisisdeFourier
Lassealesquepertenecena L1 seconocencomosealesintegrablesenmagnitud.
Propiedad2.6.
x(t ) dt
x(t ) dt
Por tal motivo, si una seal es integrable en magnitud es integrable sin magnitud. La norma L1 de una seal de TC puede calcularse sobre un intervalo finito de tiempo, en esecasosedefinecomo
t2
Definicin 2.11. Un espacio de Banach, es un espacio vectorial normado completo, es decir, un espacio vectorial normado en el cual todas las sucesiones de Cauchy convergen. Definicin 2.12. Una sucesin { xn } , en la cual sus elementos se acercan a medida que avanzalasucesin,esunasucesindeCauchy. Ejemplo2.24. {1 / n} ,donde n N + ,esunasucesindeCauchy. {1 / n} = {1, 1 , 1 , 1 , ...} 2 3 4
x (t ) 2 =
x(t ) dt
L2 es el espacio vectorial formado por todas las seales de TC que tienen norma L2 finita(sealesdeenergafinita),esdecir, L2 = f : R C :
< .
Seales
AnlisisdeFourier
Solucin.
x (t ) 2 =
x(t ) dt =
1/ t
1
dt
x (t ) 1 =
1 t
1
dt = 1 / t 1 = 1
Portalmotivolasealpertenecea L2 .Notequeestasealnopertenecea L1 . Las seales que pertenecen a L2 se conocen como seales de energa finita, pues si una seal tiene norma L2 finita tambin tiene energa finita. La energa de una seal puedeserencontradaapartirdesunorma L2 ,como
E = x(t )
Propiedad2.7.Todasealacotadaydesoportecompactopertenecea L1 L2 . La norma L2 de una seal de TC puede calcularse sobre un intervalo finito de tiempo, enesecasosedefinecomo Observacin2.9.Unasealquenotienesoportecompactopuedepertenecera L1 o L2 . En los ejemplos realizados algunas seales tiene soporte no acotado y algunas deellaspertenecena L1 o L2 .
x(t ) 2 (t1 , t2 ) =
t2
x(t )
t1
dt
Definicin 2.13. Un espacio de Hilbert, es un espacio vectorial normado completo con productointerno,esdecir,unespaciodeBanachconproductointerno. Elproductointernoentre x(t ) y y(t ) ,dossealesde L2 ,sedefinecomo
x, y =
x(t ) y (t ) dt
*
El producto interno en cierta forma calcula la similitud entre dos seales del espacio. Lanorma L2 ylaenergadeunasealserelacionanconelproductointerno,mediante
40
Seales
AnlisisdeFourier
x, x =
x(t ) x (t ) dt =
*
2
x(t ) dt
x , x = x (t )
=E
xn 1 =
n =
xn
El espacio l1 , es el espacio vectorial formado por todas las seales de TD que tienen norma l1 finita.Lassealesde l1 seconocencomosealessumablesenmagnitud. Propiedad2.8.
n =
xn
n =
xn
Portalmotivo,siunasealessumableenmagnitudessumablesinmagnitud. La norma L1 de una seal de TD puede calcularse sobre un intervalo finito de tiempo, enesecasosedefinecomo
xn 1 ( n1 , n2 ) = xn
n = n1
n2
Ejemplo2.26.Encuentrelanorma l1 delaseal j 2n 3 < n < 0 xn = jn 0 < n 3 0 otro caso Solucin.Lamagnituddelasealpuedeescribirsecomo 2 n 2 n 1 xn = n 1 n 3 0 otro caso
xn 1 = 2 2 + 2 1 + 1 + 2 + 3 = 12
41
Seales
AnlisisdeFourier
n =
xn
El espacio l2 es el espacio vectorial formado por todas las seales de TD que tienen norma l2 finita. Las seales que pertenecen a l2 se conocen como seales de energa finita, pues si una seal tiene norma l2 finita tambin tiene energa finita. La energa deunasealdeTDpuedeserencontradaapartirdesunorma l2 ,como
E = x (t )
Figura2.18.Sealoriginalysumagnitud.
xn
n = 2
1 n 2 = 1+ 1 4 + 0 + 4 + 1 = 10 2
E = xn
= 5 2
42
Seales
AnlisisdeFourier
0 t < 0 u (t ) = 1 t > 0
La funcin escaln presenta una transicin de 0 a 1 en el valor de t para el cual se anula su argumento. El valor de la funcin en el instante de la transicin no est determinado. La funcin escaln puede trasladarse y reflejarse modificando su argumento,comoseilustraenelsiguienteejemplo. Ejemplo2.28.Obtengalagraficadelassiguientesfuncionesescaln. u (t + 1) :eltiempodelatransicinestdadoporlaecuacin t + 1 = 0 ,porlo cuallatransicinocurreen t = 1 .
0 t < 1 u (t + 1) = 1 t > 1
u (t ) : debido a que la funcin est reflejada la transicin es de uno a cero. El tiempodelatransicinseencuentrahaciendo t = 0 ,porlocual t = 0 .
1 t < 0 u ( t ) = 0 t > 0
43
Seales
AnlisisdeFourier
u (2 t ) : debido a que la funcin est reflejada, la transicin es de uno a cero. Eltiempodelatransicinseencuentrahaciendo 2 t = 0 ,porlocual t = 2 .
1 t < 2 u (2 t ) = 0 t > 2
Propiedadseparadora La funcin escaln es comnmente utilizada para anular una seal a partir de cierto tiempoyesutilizadajuntoaotrosescalonesparaseleccionarunaregindeintersen unaseal.Almultiplicarunaseal x(t ) porunescalnseobtiene 0 t < t0 x(t )u (t t0 ) = x(t ) t > t0
Figura2.19.Sealoriginalysealmultiplicadaporunescaln.
Ejemplo2.29.Grafiquelaseal t [u (t 1) u (t 3)]
Figura2.20.Restadelasfuncionesescaln
44
Seales
AnlisisdeFourier
Figura2.21.Sealoriginalysealmultiplicadaporlasfuncionesescaln.
(t ) =
t =0 0 0 otro caso
El impulso tiene amplitud desconocida. El valor 1 de la grfica se conocecomo el peso de la funcin impulso. La funcin impulso slo toma valor diferente de cero en aquel instante del tiempo en el cual su argumento es igual a cero. Por ejemplo, el impulso (t ) est ubicado en el origen, pues su argumento es t . No obstante, un impulso puede ubicarse en cualquier instante del tiempo, para lo cual se modifica su argumento. El impulso (t t0 ) se encuentra ubicado en t = t0 , ya que al igualar el argumentodelimpulsoaceroseobtiene t t0 = 0 . Ejemplo2.30.Grafiquelafuncin (t 3) . Solucin.Igualandoelargumentodelimpulsoacerosetiene t 3 = 0 ,porlocualel impulsoseencuentraubicadoeneltiempo t = 3 .
(t 3) =
0 t = 3 0 t3
45
Seales
AnlisisdeFourier
Propiedaddereaunitaria
(t t )dt = 0
0
Ejemplo2.31.Evalelaintegral
[3 (t + 2) 2 (t ) + (t 1)] dt
Solucin. La funcin esta compuesta por 3 impulsos de diferentes pesos, ubicados en losinstantesdetiempo t = 2 , t = 0 y t = 1 .
Figura2.22.Sealformadaportresfuncionesimpulso.
Expresandolaintegraldelasumacomolasumadelasintegralessetiene
Propiedaddeseleccin Almultiplicarunaseal x(t ) porunimpulsoubicadoeneltiempo t = t0 ,seobtieneun impulsoubicado t = t0 conpeso x(t0 ) ,esdecir, x(t ) (t t0 ) = x(t0 ) (t t0 ) Por tal motivo, al integrar una seal x(t ) por un impulso ubicado en el tiempo t = t0 , seevalalasealenelinstantedetiempoenelcualviveelimpulso.
46
Seales
AnlisisdeFourier
Ejemplo2.32.Evalulassiguientesintegrales
cos( t )
(t )dt = e cos( ) = e 1
1 100
e
1
x2
( x)dx = 0
0 n < 0 un = 1 n 0
El escaln presenta su transicin de 0 a 1 , en el valor de n que anula su argumento. Lafuncinescalnpuedetrasladarseyreflejarsemodificandosuargumento. 2.5.4. Impulsounitariodiscreto Lafuncinimpulsodiscreto n ,estdefinidacomo
n =
47
Seales
AnlisisdeFourier
La funcin impulso slo toma valor diferente de cero en aquel instante del tiempo en el cual su argumento es igual a cero. Por ejemplo, el impulso n n0 se encuentra ubicadoen n = n0 ,yaquealigualarelargumentoacerosetieneque n n0 = 0 . Propiedaddeseleccin Al multiplicar una seal xn por un impulso ubicado en el tiempo n = n0 , se obtiene un impulsoubicado n = n0 dealtura xn0 ,esdecir, xn n n0 = xn0 n n0 Por tal motivo, al sumar una seal xn por un impulso ubicado en el tiempo n = n0 , se evalalasealenelinstantedetiempoenelcualviveelimpulso.
n =
n n n0
= xn0
2.6. Convolucinlineal 2.6.1. Definicin La convolucin es un operador que toma dos seales f y g , y produce una tercera seal h , la cual representa la cantidad de traslape (rea del producto) entre f y una versinreflejadaytrasladadade g .Laconvolucinentredossealessedefinecomo
h(t ) = [ f g ](t ) =
f ( ) g (t )d =
f (t ) g ( )d
48
Seales
AnlisisdeFourier
h(t ) =
f ( ) g (t )d
Consideremoslaseal g ( ) ,quecorrespondeaunaversinreflejadade g (t ) .
Figura2.23.Sealreflejada.
La variable t se ha cambiado por la variable , lo cual no cambia la forma original de la seal. Si la seal reflejada g ( ) es adelantada un valor de t , se obtiene g (t ) , quecorrespondeaunaversinreflejadaydesplazadade g (t ) ,verFigura2.24.
Figura2.24.Sealreflejadaydesplazada.
El pulso original g (t ) tiene soporte en [0, 2] , una vez que la seal es reflejada, el nuevopulsoobtenidotienesoporteen [2, 0] .Elpulsofinal g (t ) ,desplazadoen t , tienesoporteen [2 + t , t ] ,comoseilustraenlaFigura2.24. Para computar la convolucin h(t ) entre el par de seales debe integrarse la seal f ( ) g (t ) conrespectoa ,paratodoslosvaloresde t .Paraunvalorde t dado,la seal f ( ) permanece sin alterarse, ya que es slo funcin de la variable . Por otro lado, para cada valor de t , la seal g (t ) corresponde a una versin desplazada en t de la seal g ( ) . Por tal motivo, la seal h(t ) contiene la informacin del traslape entre las seales f ( ) , la cual se mantiene fija, y laseal g (t ) , que se desplaza de acuerdo al valor de t . Para diferente valores de t , la seal f ( ) g (t ) toma diferentesvalores.Acontinuacincalcularemos h(t ) paratresvaloresde t .
49
Seales
AnlisisdeFourier
Para t = 0
h( 0 ) =
f ( ) g ( )d
h(1) =
f ( ) g (1 )d
h( 2 ) =
f ( ) g ( 2 )d
Las seales se traslapan en el intervalo [0, 2] , en el cual g (1 ) = 1 . Sobre este intervalo f ( ) = ,si 0 < < 1 ,y f ( ) = + 2 ,si 1 < < 2 ,portalmotivo
50
Seales
AnlisisdeFourier
h( 2 ) =
f ( ) g (1 )d = d + ( + 2) d = 1
0 1
Elvalorde h( 2) correspondealreadeltriangulodelcorrespondientetraslape. Con el fin de encontrar la solucin completa para h(t ) se debe tomar t por intervalos ynoporvalorespuntuales. Para t < 0 , no existe traslape entre las seales, pues el pulso termina en t , el cualesunavalornegativo,yeltrianguloempiezaencero. h( t ) = 0
Para 0 < t < 1 , las seales se traslapan en el intervalo [0, t ] , sobre el cual f ( ) = y g (t ) = 1 .
h(t ) = d =
0
t2 2
Para 1 < t < 2 ,lassealessetraslapanenelintervalo [0, t ] .Eltraslapeentre0y 1esconstanteycorrespondealreadeltriangulo,iguala1/2.Eltraslapeentre 1y t ,dependede t ,sobreesteintervalo f ( ) = + 2 y g (t ) = 1 . t 1 h(t ) = + ( + 2) d 2 1 (t 2 ) 2 h( t ) = 1 2
51
Seales
AnlisisdeFourier
Para 2 < t < 3 , las seales se traslapan en el intervalo [2 + t , 2] . El traslape entre1y2esconstanteycorrespondealreadeltriangulo,iguala1/2.Parael traslapeentre 2 + t y1,lassealesson f ( ) = y g (t ) = 1 .
h( t ) = 1 + d 2 2 +t
1
(t 2 ) 2 h( t ) = 1 2
+ 2 d
(t 4) 2 h( t ) = 2
Portalmotivo,laconvolucinentrelassealesesunasealatrozosdadapor
0 1 2 t 2 1 h(t ) = 1 2 (t 2)2 1 (t 4 ) 2 2 0
Conmutatividad
2.6.2. Propiedadesdelaconvolucin
x(t ) y (t ) = y (t ) x(t )
52
Seales
AnlisisdeFourier
Asociatividad
x(t ) [ y (t ) z (t )] = [x(t ) y (t )] z (t )
Distributividad
x( t ) [ y ( t ) + z ( t ) ] = x ( t ) y ( t ) + x( t ) z ( t )
Convolucinconimpulso
x( t ) ( t t 0 ) = x ( t t 0 )
2.6.3. Convolucinlinealdiscreta
De forma anloga al caso continuo, la convolucin discreta entre dos seales xn y yn , esunaterceraseal hn ,definidacomo
yn = [ x h]n =
2.7. SistemasLTI
k =
xh
k nk
k =
nk k
Unsistemaesunoperadorqueacadasealdeentradaasignaunasealdesalida.Los sistemas lineales e invariantes en el tiempo (LTI) son de gran importancia, ya que muchoscircuitoselctricosyelectrnicospuedenmodelarsecomounsistemaLTI. Por talmotivo,estudiaremoslarespuestadeunsistemaLTIaunasealdeentrada. 2.7.1. Sistemascontinuos Unoperador L ,eslinealeinvarianteentiemposicumple Linealidad:homogeneidadysuperposicin L [ ax(t ) + by(t )] = aL[ x(t )] + bL[ y(t )] Invarianteeneltiempo Si L [ x(t )] = y(t ) entonces L[ x(t t0 )] = y(t t0 )
Un sistema LTI puede verse como un operador que a cada seal de entrada x(t ) le asignaunasealdesalida y(t ) = L [ x(t )] ,cumpliendolasdospropiedadesanteriores.
53
Seales
AnlisisdeFourier
Figura2.25.SistemaLTIcontinuo
x( t 0 ) =
x(t ) (t t )dt
0
x( t ) =
x( ) (t )d = x(t ) (t )
Observacin 2.10. Al realizar la convolucin de cualquier seal x(t ) con la funcin impulso (t ) setienelasealoriginal,esdecir, x(t ) (t ) = x(t ) . Supongaquelaseal x(t ) entraaunsistemaLTI,entonceslasalidaes
y(t ) = L[ x(t )] = L x( ) (t )d = x( ) L[ (t )] d
Definamos h(t ) como la respuesta impulso del sistema LTI, es decir h(t ) = L[ (t )] . Dado que el sistema es invariante en el tiempo se tiene que L[ (t )] = h(t ) y podemosescribirlarespuestadelsistemacomo
y (t ) =
La respuesta de un sistema LTI a una seal de entrada corresponde a la convolucin entre la seal de entrada x(t ) y la respuesta al impulso del sistema h(t ) . Por tal motivo, los sistemas LTI son conocidos tambin como sistemas de convolucin y estn completamente caracterizados por su respuesta impulso h(t ) , ya que a partir de ella sepuedeencontrarlarespuestadelsistemaacualquierentradaarbitraria.
Figura2.26.RespuestadeunsistemaLTIconrespuestaalimpulsoh(t).
54
Seales
AnlisisdeFourier
y (t ) =
x(t )h( )d = e
j 0 ( t )
h( )d = e
j0 t
j 0 d = e j0t H (0 ) h( )e
Larespuestaaunexponencialcomplejodefrecuencia 0 eselmismoexponencial multiplicadoporunafuncinquedependedelafrecuencia 0 . EstabilidadensentidoEASA La estabilidad EASA (Entrada Acotada Salida Acotada) es comnmente utilizada para indicarlaestabilidaddeunsistemaLTI.SupongaqueaunsistemaLTI,conrespuestaal impulso h(t ) , es aplicada una seal acotada x(t ) . Que condicin debe cumplir el sistemaparaquesusalida y(t ) seatambinacotada? ConsideremoslasalidadelsistemaLTI
y (t ) = y (t )
x( )h(t )d
x( ) h(t ) d sup x( )
R
h(t ) d
Dado que la seal x(t ) es acotada, la seal x(t ) tiene por supremo un real, entonces para que la seal y(t ) sea acotada se requiere que h(t ) sea integrable en magnitud. Por tal motivo, si la respuesta impulso h(t ) L1 el sistema esestableen sentido EASA, yelsistemaasignaunasealdesalidaacotadaatodasealdeentradaacotada. 2.7.2. Sistemasdiscretos UnsistemaLTIdiscretopuedeversecomounoperadorqueacadasealdeentrada xn leasignaunasealdesalida yn ,cumpliendolinealidadeinvarianzatemporal.
Figura2.27.SistemaLTIdiscreto
55
Seales
AnlisisdeFourier
Laseal xn puedeescribirse,utilizandounafuncinimpulso,como
xn =
k =
x
k
nk
= xn n
yn =
k =
xh
k nk
= xn hn
Figura2.28.RespuestadeunsistemaLTIconrespuestaalimpulsoh(t).
EstabilidadensentidoEASA
yn =
k =
xh
k =
k nk
yn
xk hn k sup xk
kZ
k =
hn k
yn sup xk hn 1
kZ
Por tal motivo, si la respuesta impulso hn l1 el sistema es estable en sentido EASA, y elsistemaasignaunasealdesalidaacotadaatodasealdeentradaacotada.
56
Seales
AnlisisdeFourier
2.8. Resumen Una seal es una abstraccin de cualquier cantidad que puede ser medida. Las seales puede modelarse como funciones y de acuerdo a su dominio se clasifican comosealesdetiempocontinuoodetiempodiscreto. Una seal es acotada en valor si su magnitud tiene supremo y una seal tiene soportecompactosisusoporteesacotado. Una seal es par si al reflejarla se obtiene la misma seal, en cambio una seal es impar si al reflejarla se obtiene la seal con signo negativo. No todas las seales son pares o impares pero todas pueden descomponerse como la suma de una sealparmsunasealimpar. Una seal que repite su valor cada determinado tiempo es una seal peridica. El inversodelperiodoseconocecomofrecuenciaydainformacindelatasaalacual serepiteunasealperidica. Las seales de tiempo continuo e jt , cos(t ) y sin(t ) son peridicas, con periodo 2 / , para cualquier frecuencia angular continua real. La seal e j t + e j t es peridicaslosi 1 / 2 Q .
1 2
Una seal con frecuencia mltiplo de una frecuencia 0 se conocen como armnicosde 0 yunasealconfrecuencia 0 seconocencomofundamental. Las seales de tiempo discreto e j n , cos( n) y sin( n) son peridicas slo si la frecuencia angular discreta es un mltiplo racional de 2 . Toda suma de sealesperidicascorrespondeaunasealperidica. La frecuencia angular discreta es peridica con periodo 2 . En el intervalo de frecuencias [ , ] , las frecuencias altas son la cercanas a y las frecuencias bajaslascercanasa 0 . Definimos la potencia instantnea como la magnitud al cuadrado de una seal, la energacomolacantidaddepotenciaenunintervalodado ylapotenciapromedio como la energa en un intervalo sobre la longitud de mismo. Una seal es de energa si tienen energa finita y una seal es de potencia si tiene potencia promediofinitanonula. Un espacio vectorial es un conjunto de elementos que al ser sumados y/o escalados permanecen en el conjunto. L1 es el espacio vectorial formado por las seales integrables en magnitud (norma L1 finita). L2 es el espacio vectorial formadoporlassealesdeenerga(norma L2 finita).
57
Seales
AnlisisdeFourier
Lafuncinimpulsoslotomavalordistintodeceroenelvalordetiempodondese anula su argumento. Al multiplicar una seal por un impulso se obtiene otro impulso de peso igual a la seal donde vive el impulso. Un impulso tiene rea unitaria. La funcin escaln presenta una transicin de 0 a 1 en el tiempo para el cualseanulasuargumenta.Suderivadacorrespondealafuncinimpulso. La convolucin es un operador que calcula el rea del producto entre dos seales, unaquesedejainalteradayotraquesereflejaysedesplazaparacadavalorde t . Un sistema es un operador que asigna a cada seal de entrada una nica seal de salida. Un sistema que cumple con superposicin y homogeneidad es un sistema lineal. Un sistema es invariante en el tiempo si un desplazamiento de la seal de entradageneraundesplazamientoigualdelasealdesalida.Lossistemaslineales einvariantesseconocencomosistemasLTI. Un sistema LTI se caracteriza por su respuesta a impulso, a partir de la cual puede ser encontrada la salida del sistema a cualquier seal de entrada como la convolucin entre la respuesta impulso y la seal de entrada. La respuesta de un sistema LTI a un exponencial complejo es el mismo exponencial complejo multiplicadoporunafuncinquedependedelafrecuenciadelexponencial. Un sistema es estable en sentido EASA si a toda entrada acotada asigna una salida acotada.UnsistemaLTIesestablesisurespuestaimpulsopertenecea L1 .
58
Seales
AnlisisdeFourier
2.9. Ejercicios Seccin2.2 1. Determinesilassiguientessealessondetiempocontinuoodiscreto. a. f : R C b. f : Z {0,1} c. f : Z R d. f : R { x Z : 0 < x < 255} 2. Determinesilassealesdelejemploanteriorsondevalorcontinuoodiscreto. Seccin2.4 3. Demuestrequesi x(t ) y y(t ) sonsealesimpares,entonces z (t ) = x(t ) y(t ) ,esuna sealpary z (t ) = x(t ) + y(t ) esunasealimpar. 4. Demuestrequesi x(t ) esunasealpar,entonces
5. Descompongalassiguientessealescomolasumadeunasealparmsunaseal impar.Demuestrequecadacomponenteesparoimpar. a. x(t ) = 2 + t + t 2 b. x(t ) = e jt c. xn = sin( n ) + cos(3n ) + n Seccin2.5 6. Encuentre el periodo de las siguientes seales de tiempo continuo, en el caso de serperidicas. a. x(t ) = sin( 27 t ) + cos( 25 t ) b. c. d. e.
x(t ) = sin 2 ( 2t ) + sin 3t x(t ) = cos t + cos( t ) x(t ) = sin( t ) + sin( 3 t ) + sin( 4 t ) x(t ) = sin( 2t ) + 3 sin(6t ) + 5 sin(10t ) + 10 sin( 20t )
59
Seales
AnlisisdeFourier
+e
2 j n 5
x[n] = sin(3 kn )
k =1
8. *Encuentre el periodo de las siguientes seales y ordnelas de acuerdo a su frecuenciaangulardiscreta enelintervalo [0, ] . x1[n] = e j n x2 [n] = cos( 2 n) 7 x3 [n] = sin n 4 6 x4 [n] = sin n 4 9. *Encuentre dos seales discretas x[n] y y[n] , con periodo 10 y 15 respectivamente,talesquelaseal x[n] + y[n] tengaperiodo6. Seccin2.6 10. Paralaseal x(t ) = e j 3t ,encuentre
Lapotenciainstantnea Laenerga Lapotenciapromedio Laseal x(t ) ,esunasealdeenergaodepotencia? 11. Paralaseal x(t ) = et u( t ) ,encuentre
a. b. c. d.
a. b. c. d.
60
Seales
AnlisisdeFourier
a. b. c. d.
13. *Porqulaenergadeunasealperidicaesinfinita?Porqusupotencia promediopuedecalcularsesobreunintervalodelongitud T ? Seccin2.7 14. *Contestefalsoverdadero. a. Unaseal x(t ) ,acotadaydesoportecompactoperteneceaL1yaL2. b. Todaseal x(t ) L1pertenecetambinaL2. c. Si x(t ) L2entoncestieneenergafinitaysoportecompacto. d. Lanicasealcon x n 1 = 0 eslasealcero. e. Si x n (l1 l2),entonces x n tieneenergafinitay
n =
x n R .
15. Encuentrelanormaele1,lanormaele2ylaenergadelassiguientesseales. a. x(t ) = e b. x(t ) = t 2 [u(t ) u(t 3)] c. x[n] = 0.5 n un d. x(t ) = e t e j10t u(t ) Seccin2.8 16. Considerelaseal x(t ) = u(1 t )u(t + 2) . a. Dibuje x(t ) b. Dibuje x( 2t ) c. Dibuje x( 2 t ) 17. Dibujelaseal x(t ) = (t + 2) + 3 ( t ) (t 3) .Evalulaintegral x(t )dt .
1 t
18. Evalulassiguientesexpresiones a.
n =
[n 3]e
( n 3 )2
61
Seales
AnlisisdeFourier
b.
(2t 1)4
dt
20. Encuentrelaconvolucin e t u (t ) e2t u (t ) . 21. Considerelasealdelejercicio19.Dibujelaseal x(t ) = g (t ) (t 3) . 22. Demuestrequesi x(t ) y y(t ) pertenecena L1 ,entonces x(t ) y(t ) tambin. Seccin2.10 23. *Definasistemacausalysistemaconmemoria. 24. Determinesielsistema y(t ) = x(t 2) + x( 2 t ) es a. b. c. d. Lineal Invarianteeneltiempo Causal Conmemoria.
25. *EncuentrelarespuestadeunsistemaLTIalaseal x(t ) = A cos( 0t ) . 26. *UnsistemaLTIconrespuestaimpulso h(t ) = et u(t ) esestable?Justifique. 27. *Argumente por qu la transformada de Laplace de la respuesta impulso h(t ) de unsistemaestableensentidoEASA,tienetodosupolosenelsemiplanoizquierdo. 28. *Que son los valores y vectores propios? De acuerdo a esto, por qu los exponencialescomplejosseconocencomofuncionespropiasdelossistemasLTI? 29. *En el estudio de sistemas LTI, para que puede ser til descomponer una seal como la suma de exponenciales complejos.
62
3 REPRESENTACIN DE SEALES
3.1. Descomposicindeseales Sinperdidadegeneralidad,considereunaseal x(t ) consoporteen [t1 , t 2 ]
Figura3.1.Sealdesoportecompacto.
Se desea expresar x(t ) en el intervalo de tiempo [t1 , t2 ] como una combinacin lineal desealesmssimple,esdecir x(t ) = ann (t ) t1 < t < t2
n
dondeloscoeficientesconstantes a n C ylostrminos n (t ) sonseales,engeneral complejas, las cuales se conocen como seales base. Los coeficientes a n son independientesdeltiempoynosbrindaninformacinimportantesobrelaseal.
Suponga que una seal arbitraria x(t ) puede descomponerse como la suma de N exponencialescomplejos,deacuerdoa
Si la seal x(t ) es aplicada a un sistema LTI, la respuesta del sistema puede ser encontrada de forma sencilla al encontrar la respuesta individual del sistema a cada unadelascomponentesde x(t ) ,comoseilustraenlaFigura3.2.
Figura3.2.RespuestadeunsistemaLTIaladescomposicindelaseal.
Representacindeseales
AnlisisdeFourier
La funcin H () depende de la respuesta impulso h(t ) y de la frecuencia , y esta definida en el Ejemplo 2.34 de la seccin anterior. El modelo descrito en la Figura 3.2 permite encontrar de forma sencilla la respuesta de un SLIT a una seal arbitraria que puede descomponerse como una suma ponderada de exponenciales complejos. Con veremos en Captulos posteriores esta representacin adems permite conocer informacinsobrelacomponentesdefrecuenciapresentesenlaseal. En este Captulo estudiaremos bajo que condiciones una seal puede descomponerse comounasumadesealesmssimplesycomoserealizadichadescomposicin. 3.2. Aproximacindeunvector Consideremos la tarea de aproximar un elemento de un espacio vectorial dotado con producto interno en trminos de otro elemento cualquiera del espacio. Para este fin, definamoslanotacin ., . comoelproductointernodelespaciovectorial. 3.2.1. Aproximacindeunelementodelplano Sean x = ( x1 , x2 ) y f = ( f1 , f 2 ) loselementosde R 2 queseilustranenlaFigura3.3.En el espacio R 2 (parejas de reales) el producto interno entre dos vectores x y f se definecomo x,f = x1 f1 + x2 f 2 .Sedeseaaproximarelvector f entrminosdelvector x , para lo cual existen diversas posibilidades como se ilustran en la Figura 3.4. Se pretendeobtenerlamejorrepresentacinposiblede f entrminosdelvector x .Silos vectores f y x soncolineales,laaproximacinllegaaserunarepresentacin,encaso contrario(casodelaFigura3.3)laaproximacintieneunerrorasociado.
Figura3.3.Dosvectoresen R 2 .
f = c1 x + e1
f = c2 x+ e 2
f = c2 x+ e 2
Figura3.4.Algunasposibilidadesparalaaproximacinde f entrminosde x .
64
Representacindeseales
AnlisisdeFourier
Claramente el mnimo error ocurre cuando la aproximacin corresponde a la proyeccindelvector f sobreelvector x ,casoenelcualelerror e 2 esperpendicular alaaproximacin c2 x .Portalmotivo,lamejoraproximacinesobtenidahaciendo f copt x donde el escalar copt corresponde a la componente (sombra) de f sobre x , definida entrminosdelproductointernodelespaciovectorialcomo f, x f, x copt = f x x, x x, x 3.2.2. Aproximacindeunaseal Consideremoselconjuntodesealesconenergafinitaenelintervalo [t1 , t2 ] ,dadopor
S[t1 , t2 ] = f : R C :
t2
t1
f <
Se puede demostrar que S forma un espacio vectorial eucldeo. El producto interno entre x1 (t ) y x2 (t ) ,doselementosde S[t1 , t2 ] ,sedefinecomo
* x1 (t ), x2 (t ) = x1 (t ) x2 (t ) dt
t2
t1
Sean x(t ) y f (t ) dos elementos de S[t1 , t2 ] , se desea aproximar la seal f (t ) en trminosdelaseal x(t ) enelintervalo [t1 , t2 ] ,esdecir f (t ) cx(t ) t1 < t < t2 Se pretende encontrar el valor ms apropiado para la constante c , con el fin de obtener la representacin ptima (en algn sentido) de la seal f (t ) . Definamos la seal (t ) comoelerrorentrelaseal f (t ) ysuaproximacin,esdecir (t ) = f (t ) cx(t ) Sea E laenergadelerrorenelintervalo [t1 , t2 ] ,definidacomo
E = f (t ) cx(t ) dt
2
t2
t1
65
Representacindeseales
AnlisisdeFourier
Laenergadelerrorpuedeescribirsedeformaapropiadacomo
t2
t2
t1
t1
t2
t2
t2
t2
t1
t1
t1
x( t )
t1
dt
t2
t2
t1
t1
Donde las constantes E f y Ex son las energas de las seales f (t ) y x(t ) en el intervalo [t1,t2 ] ,respectivamente.Laecuacin(3.1)puedereescribirsecomo
E = E f c Ex
t2
Ex
t1
1 f (t ) x (t )dt 2 Ex
*
t2
f (t ) x (t )dt
*
t1
En esta expresin el nico trmino que depende de c es el segundo, por tal motivo el valorde c queminimizalaenergadelerroreselencontradocomo
t2
copt =
1 Ex
t2
f (t ) x (t )dt =
*
f (t ) x (t )dt
*
t1
t1
t2
x (t )
t1
dt
Laecuacinanteriorpuedeescribirseentrminosdelproductointernoen S como f (t ), x(t ) copt = x(t ), x(t ) Este resultado concuerda con el resultado obtenido en la Seccin 3.1.2. Para el caso en el cual las seales f (t ) y x(t ) son reales, la constante c es un real tambin y la ecuacin(3.1)puedeescribirsecomo
E = E f 2c f (t ) x(t )dt + c 2 Ex
t1
t2
El valor de c que minimiza la energa del error puede ser encontrado haciendo dE / dc = 0 ydespejando c ,paralocualseobtiene
66
Representacindeseales
AnlisisdeFourier
Al despejar c de esta ecuacin se obtiene el mismo valor ptimo que para el caso complejo. Por tal motivo, de forma general, si se desea aproximar una seal f (t ) S entrminosdeotraseal x(t ) S ,lomejorquepuedehacersees f (t ), x(t ) f (t ) x(t ) t1 < t < t2 x(t ), x(t ) Ejemplo 3.1. Aproxime la seal f (t ) que se ilustra en la figura, utilizando la seal x(t ) = sin(t ) ,enelintervalodetiempo [0, 2 ] .
f (t ), x(t ) =
x(t ), x(t ) =
x 2 (t )dt =
2 sin (t )dt = 0
1 1 cos 2 (t ) dt = 20
f (t )
sin(t )
0 < t < 2
En general, si se desea obtener una mejor aproximacin de un vector dado es necesario expresarlo como una combinacin lineal de varios elementos del espacio vectorial,cadaunodeloscualesdeberealizarunacontribucinptima.
67
Representacindeseales
AnlisisdeFourier
3.3. Basesortogonales 3.1.1. Baseseindependencialineal Considere un espacio vectorial eucldeo V con campo F . Un conjunto de vectores {1 , 2 , ..., N } de V genera el espacio vectorial si cualquier elemento del espacio puedeexpresarsecomounacombinacinlinealdedichosvectores,esdecirsi v V v = 11 + 22 + ... + N N donde i F , para i = 1, 2, ..., N . Si adicionalmente los vectores {1 , 2 , ..., N } son linealmenteindependientes,entoncessonunabasedelespacio V . Definicin3.1.Unconjuntodevectores {1 , 2 , ..., N } eslinealmenteindependientesi yslosi 11 + 22 + ... + N N = 0 implica 1 = 2 = ... = N = 0 . Si un conjunto de vectores {1 , 2 , ..., N } es lineal linealmente independientes y genera el espacio V (base del espacio), cada elemento v V tiene una representacinnicaentrminosdedichosvectores. 3.1.2. Ortogonalidad Dos vectores v1 y v2 son ortogonales si su producto interno es cero, es decir, si v1 , v2 = 0 . Un conjunto de vectores {v1 , v2 , ..., vN } forma un sistema ortogonal (mutuamente ortogonales) si vm , vn = 0 para m n . Un conjunto de vectores {v1 , v2 , ..., vN } forma un sistema normalizado (norma unitaria) si vm , vm = 1 para m = 1, 2, ..., N .Unconjuntodevectoresqueformaunsistemaortogonalynormalizado seconocecomounsistemaortonormal. Definicin3.2. 1 (t ) y 2 (t ) sonsealesortogonalesenelintervalo [t1 , t 2 ] si
1 (t ), 2 (t ) = 1 (t )2* (t )dt = 0
t1
t2
Un conjunto contable de seales {n (t )} = {1 (t ), 2 (t ),K , N (t )} forma un sistema ortogonalen [t1 , t 2 ] si t2 0 mn m (t ), n (t ) = m (t )n* (t )dt = En m = n t1
68
Representacindeseales
AnlisisdeFourier
donde En ,eslaenergadelaseal n (t ) enelintervalodetiempo [t1 , t 2 ] .Lasseales del conjunto {n (t )} forman un sistema normalizado en [t1 , t 2 ] , si cada una de ellas tieneenerga 1 enelintervalo,esdecir,si
n (t ), n (t ) = n (t )n* (t )dt = n ( t ) dt = 1
2
t1 t1
t2
t2
paratodaseal n (t ) delconjunto.Esdecir,suenergaen [t1 , t 2 ] eslaunidad. Ejemplo3.2.Pruebequeelconjuntodeseales {n (t )}, donde n (t ) = e jnt ,con n y R * ,esunsistemaortogonalenintervalo [0, 2 ] . Solucin.Elconjuntodesealesdado,esdelaforma {n (t )} = {K , e j 2 t , e jt , 1 , e jt , e j 2 t ,K} Verifiquemossielsistemaesortogonal,paraellodebecumplir
t2
(t )
n t1
(t )dt = e
t1
t2
2 /
jnt jmt
dt =
j ( n m ) t
dt
Si n m
2 /
j ( n m ) t
dt = e j ( n m) 0
j ( n m ) t
2 /
j ( n m ) 2 1 =e j ( n m)
Dadoque ( n m) Z entonces e j ( n m ) 2 = 1 y
t2
(t )
n t1
(t )dt = 0
Si n = m
2 /
t2
2 /
j ( n m ) t
dt =
2 /
e j 0 dt =
dt = t 0
2 /
(t )
n t1
dt =
Portalmotivoelsistemaesortogonal.
69
Representacindeseales
AnlisisdeFourier
Definicin 3.3. Un conjunto de seales {n (t )} = {1 (t ), 2 (t ),K , N (t )} forma un sistema ortonormal si forma un sistema ortogonal y normalizado. Si el sistema ortonormal {n (t )} = {1 (t ), 2 (t ),K , N (t )} es una base de cierto espacio vectorial, entoncesseconocecomounabaseortonormal. Unconjuntodevectoresmutuamenteortogonaleslinealmenteindependiente.Portal motivo, si un conjunto de seales {n (t )} = {1 (t ), 2 (t ), K , N (t )} forma un sistema ortogonal,entonceselconjuntodesealeseslinealmenteindependiente. Ejemplo 3.3. Las tres seales que se muestran en la Figura 3.5 forman un sistema ortonormal en [0, 3] , ya que son mutuamente ortogonales y todas tienen energa 1 . Adicionalmente,lastressealessonlinealmenteindependientes.
Figura3.5.Tressealesortonormales.
3.1.3. MtododeortogonalizacindeGramSchmidt Dado un conjunto de vectores {1 , 2 ,K , N } se puede construir un sistema ortonormal {u1 , u2 ,K , u N } ,usandoelsiguienteesquema w1 = 1
u1 = w1 / w1
w2 = 2 2 , u1 u1
u2 = w2 / w2
w3 = 3 3 , u1 u1 3 , u2 u2 u3 = w3 / w3
M 70
Representacindeseales
AnlisisdeFourier
wi = i k =1 i , uk uk
i 1
ui = wi / wi Este mtodo es conocido como el procedimiento de GramSchmidt. Es fcil ver que el resultado no es nico, pues un reordenamiento de los vectores {i } antes de la otrogonalizacin resulta en un conjunto {ui } diferente. Adicionalmente, si {1 , 2 ,K , N } es una base de un espacio vectorial entonces el procedimiento de GramSchmidtconstruyeunabaseortonormal {u1 , u2 ,K , u N } paraelmismoespacio. 3.4. Representacindesealesenunintervalodetiempofinito Unaseal x(t ) conenergafinitaenunintervalo [t1 , t2 ] sepuederepresentardeforma nicapormediodeunabasede S[t1 , t2 ] .Siqueremosaproximarlaseal x(t ) endicho intervalo,entrminosdeNsealesarbitrarias {1 (t ), 2 (t ), K , N (t )} ,debemoshacer
x(t ) ann (t )
n =1 N
t1 < t < t2
donde ai C , para i = 1, 2, .., N . Definamos como el error entre la seal x(t ) y su aproximacin,entonceslaenergadelerrorenelintervalo [t1 , t2 ] vienedadacomo
E = x(t ) ann (t ) dt
t1 n =1
t2
Se desea minimizar la energa del error E mediante la eleccin apropiada de los coeficientes an ,conelfindequelaaproximacinsealosmsajustadaalaseal x(t ) . La eleccin de los coeficientes an ptimos puede ser una tarea bastante difcil si el conjunto de seales {1 (t ), 2 (t ), K , N (t )} no es linealmente independiente, pues en este caso la aproximacin ptima puede no ser nica. Si el conjunto de seales es linealmente independiente, los coeficientes an pueden ser encontrados utilizando algn mtodo de mnimos cuadrados. Sin embargo, si el conjunto de seales {1 (t ), 2 (t ), K , N (t )} forma un sistema ortogonal, caso considerado en esta Seccin, laobtencindeloscoeficientes an esunatareasencilla. 2 2 2 Propiedad3.1. x y = x xy* x* y + y Demostracin.
71
Representacindeseales
AnlisisdeFourier
UtilicemoslaPropiedad3.1paraexpandirnuestrafuncindeerror,como
E = x(t ) dt x(t ) a (t ) dt x (t ) ann (t ) dt +
2 t1 t1 n =1 * * n n * t1 n =1 t2 t2 N t2 N t2 t1 n =1
a (t )
n n
dt
Consideremoselltimotrminodelafuncindeerror,entonces
t2
t1
t2
Intercambiandoelordendelassumatoriasylaintegral,setiene
t2
t1 n =1
* * ann (t ) = an am n (t )m (t )dt n =1 m =1 t1
t2
Elconjuntodeseales {n (t )} formanunsistemaortogonal,porlocual t2 2 an En n = m * * ( ) ( ) = an am t t dt n m 0 n m t1
t2
t1 n =1
ann (t ) = an En
2 n =1
Reemplazandoesteresultadoenlafuncindeerrorexpandida,setiene
* * E = x(t ) dt x(t ) an n (t ) dt x* (t ) ann (t ) dt + an En 2 2 t1 t1 n =1 t1 n =1 n =1 t2 t2 N t2 N N
Lafuncindeerrorpuedereescribirsedeformaapropiadacomo
E = x(t ) dt +
2 t1 n =1
t2
El nico trmino de la expresin anterior que se puede modificar, es el de los coeficientes an ,entonceselvalorde an queminimizalaenergadelerroresaquelque anulaelsegundotrminodelaecuacinanterior,esdecir
12 En an
1 2 * x(t )n (t) dt = 0 12 En t1 72
Representacindeseales
AnlisisdeFourier
Portalmotivo,elvalorptimoparaloscoeficientes an es
1 2 * an = x(t )n (t ) dt En t1
Cada coeficiente an representa en cierto sentido, la similitud entre la seal x(t ) y la seal n (t ) utilizadaparasuaproximacin.Deestaforma,cadacoeficiente an indicala contribucin ptima de la seal n (t ) , en la aproximacin de x(t ) . Reemplazando el valordelaenerga En delaseal n (t ) ,enlaecuacinanterior,setiene
an
x(t ) (t ) dt = = (t ) (t ) dt
t1 t2 * n t1 * n * n
t2
x(t ), n (t )
n (t ), n (t )
Entre ms seales n (t ) se tomen para aproximar la seal deseada, se espera obtener una aproximacin mejor. Si el conjunto de seales base {n (t )} es tal que el E = 0 cuando N (un nmero infinito de seales), se dice que {n (t )} es completo en [t1 , t2 ] y el conjunto {n (t )} es una base de S[t1 , t2 ] . En este caso, la seal x(t ) puede representarsedeformanicaenelintervalo [t1 , t2 ] como
x(t ) = ann (t )
n =1
t1 < t < t2
Observacin 3.1. La representacin converge a la seal slo en el intervalo [t1 , t2 ] , fueradestenosepuedegarantizarlaigualadentrelaserieysurepresentacin. Ejemplo3.4.Considerelassiguientesseales 0 (t ) = 1 1 (t ) = t 2 (t ) = 3 t2 1 2 2 Demuestre que las seales son mutuamente ortogonales en el intervalo [1,1] y representelaseal x(t ) = t enelintervalo [1,1] usandoelconjuntodeseales.
73
Representacindeseales
AnlisisdeFourier
Solucin.
1 1 * 0 (t )1 (t )dt = t dt = 0
* 2 2 0 (t )2 (t )dt = ( 32 t 12 ) dt = ( 3t 1) dt = 0
1 1
1 1
1 1
(t )
1
* 2
(t )dt =
3 3 2
t t ) dt =
1 2
3 2
dt
1 2
t dt = 0
Las seales son mutuamente ortogonales en [1,1] y el conjunto {0 (t ), 1 (t ), 2 (t )} formaunsistemaortogonal.Laseal x(t ) puedeseraproximadahaciendo x(t ) a00 (t ) + a11 (t ) + a22 (t ) Dondeloscoeficientes a0 , a1 y a2 ,sonencontradoscomo
a0
x(t ) (t ) dt = = (t ) (t ) dt
1 1
* 0
1 0 1
* 0
1 1
t dt 1 dt
2 t dt
0
1 2
1
a1 =
1 1
x(t )1* (t ) dt
* 1
1 (t ) (t ) dt
* (t ) dt x(t )2 * 2
1 1
t t dt t dt
2
t 2 dt + t 2 dt
0
2/3
1 3
=0
a2
( t ) t dt = ( 3t t ) dt = 1 / 4 = 5 = = 2/5 2/5 8 (t ) (t ) dt ( t ) dt
1 1 1 1 2 3 2 1 2 1 3 2 1 2 1 1 2 0 1 2 2
Lasealpuedeaproximarsecomo 5 3 15 2 x( t ) 1 (t ) + 8 2 (t ) = 16 + 16 t 2 0
Figura3.6.Sealoriginalysuaproximacinutilizandoelconjuntodesealesdadas.
74
Representacindeseales
AnlisisdeFourier
Ejemplo3.5.Considerelaseal
t2
1 Propiedad3.2.Identidad sin( x )sin( y ) = [cos( x y ) cos( x + y )] . 2 2 2 2 1 1 = sin( n t )sin( m t ) dt cos[( n m ) t ] dt cos[( n + m) t ]dt 2 2 0 0 0 Si n = m 1 1 t 1 sin( 2n t ) sin( n t )sin( m t )dt = dt cos( 2n t )dt = 20 20 2 0 2 2n 0 0
2 2 2 2 2
1 sin( 4n ) 0 = 1 2n
75
Representacindeseales
AnlisisdeFourier
1 sin[( n m )2 ] 1 sin[( n + m )2 ] =0 ( n m ) 2 ( n + m )
As queda demostrado que el conjunto {sin( n t )} forma un sistema ortonormal ( En = 1 ). En particular forma un sistema ortogonal. Por tal motivo, podemos representar x(t ) comounasumadeseales {sin( n t )} ,concoeficientesdadospor
an =
1 En
1
t2
t1
cos( n t ) cos( n t ) + a n = sin( n t )dt sin( n t )dt == n n 1 1 0 1 1 [1 cos(n ) + cos(2n ) cos(n )] an = n si n es par 0 2 an = [1 cos(n )] = 4 n n si es impar n
Figura3.7.Representacindelasealutilizando3y100trminosdelaserie,respectivamente.
76
Representacindeseales
AnlisisdeFourier
Observacin 3.2. A medida que se aumentan los trminos de la representacin disminuyeelerrorentrelasealoriginalysuaproximacin. Larepresentacindelaseal x(t ) enelintervalo [0, 2] ,puederealizarseconcualquier conjunto de seales que base que formen un sistema ortogonal en [0, 2] . Ms adelanteestudiaremosotrosconjuntosdesealesbase. 3.5. TeoremadeParsevalparaunintervalofinito Para una seal x(t ) del espacio S[t1 , t2 ] y un conjunto de seales {n (t )} completo en elintervalo [t1 , t2 ] (basede S[t1 , t2 ] ),secumple
t2
t1
x(t ) dt = an En
2 2 n =1
t1
t2
t2
Intercambiandoelordenentrelasumatoriaylaintegral,setiene t2 t2 * 2 2 * * x(t ) dt = an x(t )n (t )dt = an ( En an ) = an En n =1 n =1 t1 n =1 t1 Ejemplo 3.6. Aproxime la energa de la seal x(t ) = t del Ejemplo 3.4 a partir de los coeficientesdesurepresentacin,paraelloutiliceelteoremadeParseval. Solucin. Los coeficientes encontrados para la aproximacin de la seal utilizando las tressealesbaseson a0 = 1 / 2 , a1 = 0 y a3 = 5 / 8 ,porlocual
1 5 1 5 2 21 E an kn = k0 + k2 = 2 + = 2 8 2 8 5 32 n =1
3 2
77
Representacindeseales
AnlisisdeFourier
3.6. Representacindeunasealperidica Una seal puede representarse en un intervalo [t1 , t2 ] si tiene energa finita en ste. Sin embargo, si el soporte de la seal contiene al intervalo [t1 , t2 ] , no se puede garantizarlarepresentacindelasealporfueradeesteintervalo. Unasealperidicanotienesoportecompacto,noobstanteunsoloperiodo(elcualsi tiene soporte compacto) es necesario para su representacin. Si x(t ) = x(t + T ) , entonces la seal x(t ) tiene periodo T y puede obtenerse una representacin de la sealhallandoloscoeficientes an ,sobreunintervalodelongitudT,como 1 * an = x(t ) (t )dt En T Si la seales {n (t )} son peridicas, con periodo T, entonces la representacin de la seal corresponde con la seal peridica por fuera del intervalo [0, T ] . Para esto se debecumplirque x(t ) dt R x(t ) S[0, T ]
T
Enestecaso,lasealperidicaesrepresentadaporlasumatoriasobretodoelejereal (paratodoslosinstantesdetiempo),esdecir
x(t ) = ann (t )
n =1
< t <
Figura3.8.RepresentacindeunaversinperidicadelasealdelEjemplo3.5utilizando20trminos delaserie.
78
Representacindeseales
AnlisisdeFourier
3.7. Resumen
Descomponer una seal como suma de exponenciales complejos permite encontrar la respuesta de un sistema a LTI a dicha seal como la suma de las respuestasindividualesacadaunodelosexponencialescomplejos. Unespaciovectorialeucldeoesunespaciodotaconproductointerno.Elproducto internocalculaenciertosentidolasimilitudentredosvectores. La mejor aproximacin de un elemento de un espacio vectorial eucldeo en trminos de otro elemento del espacio es obtenida al realizar la proyeccin ortogonal,lacualsecalculaapartirdelproductointernoentrelosvectores. Las seales con energa finita en un intervalo dado forman un espacio vectorial eucldeo.Alaproximarunasealentrminosdeotrapormediodeunaproyeccin ortogonalseminimizalaenergadelerrorentrelasealysuaproximacin. Un conjunto de elementos de un espacio vectorial es una base del espacio si son linealmente independientes y si cualquier vector del espacio puede expresarse comounacombinacinlinealdedichoselementos. Dos vectores son ortogonales si su producto interno es cero. Dos vectores son ortonormalessisonortogonalesysuautoproductointernoeslaunidad.Unabase ortogonalesunabasedelespacioformadaporvectoresmutuamenteortogonales. Dos seales son ortogonales si su producto interno es cero. Dos seales son ortonormalessisonortogonalesylaenergadecadaunadeellaseslaunidad. Una seal puede aproximarse por medio de un conjunto de seales ortogonales realizando la proyeccin ortogonal sobre cada una de ellas, este procedimiento minimizalaenergadelerrorentrelasealysuaproximacin. Sielconjuntodesealesutilizadasparalaaproximacinformaunabaseortogonal elerroresceroylaaproximacinllegaaserunarepresentacindelaseal. Para aproximar/representar una seal utilizando un conjunto de seales otrogonales/base ortogonal los coeficientes ptimos de la aproximacin/ representacin son encontrados realizando proyecciones ortogonales sobre cada unodelassealesdelconjunto. Los coeficientes resultantes de una aproximacin/representacin de una seal contieneninformacinimportantedelamismaypermitenencontrarsuenergade lamismautilizandoelteoremadeParseval.
79
Representacindeseales
AnlisisdeFourier
1 (t ) = e
2 (t ) = 1 Ae
2 t
a. Determine la constante A para que 1 (t ) y 2 (t ) sean ortogonales en el intervalo ( ,+) . b. Repitaa.paraelintervalo[1,1]. c. Lassealessonortonormales? 2. Determine un valor de 0 para el cual el conjunto de seales {n } = {e jnt } , con
n Z y R * ,seaortogonalenelintervalo [0, ] .
Seccin3.3 3. Considerelassiguientesseales 1 (t ) = t 0 (t ) = 1 2 (t ) = 3 t2 1 2 2 a. Muestrequesonmutuamenteortogonalesenelintervalo[1,1]. b. Usando este conjunto de seales ortogonales, represente en el intervalo [1,1],laseal 1 1 < t < 0 x( t ) = 1 0 < t <1 4. Considerelaseal e t 0 < t < x( t ) = 0 otro caso a. Aproxime x(t ) en el intervalo [0, ] , para el valor de encontrado en el Punto2,utilizandolassealesbase n = e jnt como
x(t ) =
n =
n n
(t )
0 < t <
80
Representacindeseales
AnlisisdeFourier
b. Obtenga el grafico de la seal aproximada, utilizando slo las seales base quecumplencon n 10 . 5. Considereelconjuntodesealesortogonales,dadopor
Utiliceestastressealesparaaproximarlasiguientesealenelintervalo [0, 3] .
6. Considereelconjuntodeseales x1 (t ) = e t u(t ) x2 (t ) = e 2t u(t ) x3 (t ) = e t u(t ) a. Utilice el mtodo de ortogonalizacin de GramSchmidt, para generar unconjuntodesealesortonormales i apartirde xi (t ) , i = 1, 2, 3 . b. Aproximelaseal x(t ) = 3e 4t u(t ) utilizandolasseales i , i = 1, 2, 3 . c. Calculeelerrorcuadrticomedioentrelaseal x(t ) ysuaproximacin. Seccin3.4 7. Utilice el Teorema de Parseval para aproximar la energa de la seal triangulo del Punto5,paraelloutiliceloscoeficientesencontradosparasurepresentacin.
81
Representacindeseales
AnlisisdeFourier
ESTAPGINASEDEJAINTENCIONALMENTEENBLANCO.
82
4 SERIES DE FOURIER
4.1. SerieexponencialdeFourier La serie exponencial de Fourier es un caso particular de representacin seales peridicas,enelcualelconjuntodesealesesunafamiliadeexponencialescomplejos de la forma n (t ) = e jn0t , donde n Z . Se puede demostrar que {n (t )} = {e jn0t } es una base ortogonal en [0, 2 / 0 ] . La eleccin de est familia de seales base complejaspermitelarepresentacindesealesrealesycomplejas. Definicin 4.1. La serie exponencial de Fourier de una seal peridica x(t ) , con periodo T ,estdadapor
x( t ) =
n =
ce
n
jn0t
dondelaconstante 0 seconocecomofrecuenciafundamentaldelaseal x(t ) yest definida como 0 = 2 / T . Los coeficientes cn se conocen como coeficientes complejosdeFourierypuedenserencontradosdeacuerdoa 1 cn = x(t )e jn0t dt TT Propiedad 4.1. Los coeficientes cn de la serie exponencial, pueden ser encontrados tomandocualquierintervalodetiempodelongitud T .Portalmotivo 4.1.1. CondicionesdeDirichlet Las condiciones bajo las cuales una seal peridica x(t ) , con periodo T , puede ser representada como una serieexponencial de Fourier seconocen como condiciones de Dirichletyestndadaspor: i. x(t ) tieneunnmerofinitodemximosymnimossobreunperiodo. ii. x(t ) tieneunnmerofinitodediscontinuidadessobreunperiodo,esdecir, escontinuaatrozos. iii. x(t ) esintegrableenmagnitudsobreunperiodo,esdecir,
cn =
a +T a
SeriesdeFourier
AnlisisdeFourier
x(t ) dt R .
Si se cumplen las condiciones de Dirichlet, la serie de Fourier converge a la seal x(t ) en todos los puntos de continuidad, y en los valores de t en los cuales x(t ) es discontinua, la serie converge al promedio de la discontinuidad, es decir, al promedio entre x(t ) y x(t + ) ,comoseilustraenlaFigura4.1.
Figura4.1.Convergenciadelaserieenlospuntosdediscontinuidad.
Propiedad 4.2. Las condiciones de Dirichlet se cumple si la seal x(t ) tiene energa finitasobreunperiodo( x(t ) S[0, T ] ),esdecir,si
T
x (t )
Por tal motivo, si una seal peridica tiene energa finita a lo largo de cada periodo, entonces puede ser representada como una serie exponencial de Fourier. La gran mayoradesealesperidicascumplenestacondicin. Ejemplo 4.1. Demuestre que si una seal x(t ) cumple la condicin iii) de Dirichlet, entoncesloscoeficientes cn desuserieexponencialdeFouriertienenmagnitudfinita. Solucin.
1 cn x ( t ) dt R T 0
84
SeriesdeFourier
AnlisisdeFourier
4.1.2. Clculodelaserieexponencial Ejemplo 4.2. Encuentre la serie exponencial de Fourier de la seal peridica que se ilustraenlaFigura.
A t 2 x( t ) = A t 2 2 t A 2
Solucin. Claramente x(t ) cumple con las condiciones de Dirichlet, entonces la seal puedeserrepresentadacomounaserieexponencialdeFourier.Elperiododelaseal es 2 ,porlocual 0 = 1 yloscoeficientesdelaseriesonencontradoscomo T /2 1 1 jn0 t c = x ( t ) e dt = x(t )e jnt dt n 2 T T/ 2
/ 2 /2 1 jnt jnt jnt cn = Ae dt + Ae dt + Ae dt 2 /2 / 2 / 2 /2 A jnt jnt jnt cn = e dt + e dt e dt 2 / 2 /2
Los coeficientes cn son infinitos, por lo cual deben ser encontrados en funcin de n . Al realizar la integral el trmino nt pasa a dividir y para el caso n = 0 se tiene un coeficiente de valor infinito. Por tal motivo algunos valores de n , en este ejemplo n = 0 ,debensertratadosporaparte,paraevitarcoeficientesdevalorinfinito. Caso1: n = 0 / 2 /2 A = + c dt dt dt 0 2 / 2 /2 A + + = 0 c0 = 2 2 2 2 2 Caso2: n 0
85
SeriesdeFourier
AnlisisdeFourier
Recuerdequesi n Z ,entonces sin( n ) = 0 .Loscoeficientesestndadospor 2A sin n n impar cn = n 2 0 n par Portalmotivolaserieexponencialpuedeescribirsecomo 2A n jnt x (t ) = sin e 2 n = n
n impar
Ejemplo 4.3. Considere el tren de pulsos de ancho 2 , que se ilustra en la Figura. Represente la seal utilizando la serie exponencial de Fourier. Considere como un nmerorealenelintervalo (0, ) .
86
SeriesdeFourier
AnlisisdeFourier
x (t ) =
n =
cn e jn0t =
n =
ce
n
jnt
dondeloscoeficientes cn puedenencontrarsedeacuerdoa T /2 1 1 jnt c = x ( t ) e dt = x(t )e jnt dt n 2 T T / 2 Enelintervalo [ , ] lasealslotomavaloren [ , ] ,entonces 1 A jnt jnt c Ae dt = = n e dt 2 2 Caso1: n = 0
A A t = A c0 = dt = 2 2
Caso2: n 0
A cn = 2
cn =
e jnt jn
A = e jn e jn 2 jn
A sin( n ) n
Ejemplo 4.4. Represente la seal x(t ) = 2 cos 2 (t ) + 4 sin( 4t ) como una serie exponencialdeFourieryencuentreloscoeficientes cn . Solucin.Conociendoque cos2 (t ) = 1 +1 cos( 2t ) ,lasealpuedereescribirsecomo 2 2 e j 2t + e j 2t e j 4t e j 4t x t t t ( ) 1 cos( 2 ) 4 sin( 4 ) 1 4 = + + = + + 2 2j
87
SeriesdeFourier
AnlisisdeFourier
1 1 2 2 x( t ) = 1 + e j 2 t + e j 2 t + e j 4 t e j 4 t 2 2 j j
Enestaexpresinlaseal x(t ) seencuentraexpresadacomounaserieexponencial,ya quecorrespondeaunasumadeexponencialescomplejos.Elperododelaseales , por lo cual 0 = 2 . Con el fin de identificar los coeficientes de esta serie exponencial es necesario recordar que el coeficiente cn acompaa al trmino e jn0t en la serie. Para este caso, el coeficiente cn acompaa al trmino e jn 2t , por lo cual c0 = 1 , c1 = 1 / 2 , c1 = 1 / 2 , c2 = 2 j y c2 = 2 j ;losdemscoeficientessoncero.
4.1.3. EspectrodeFourier Los coeficientes cn de la serie exponencial de Fourier pueden ser interpretados como una representacin frecuencial de x(t ) , pues cada coeficiente cn indica la contribucin de la frecuencia n0 a la seal x(t ) . As, si para algn n el coeficiente cn es cero, la seal x(t ) no tiene componente de frecuencia n0 ; por ejemplo, c0 representaelnivelDCdelaseal.Debidoaquelaseal x(t ) esperidicaconperiodo T ,suscomponentesdefrecuenciassonmltiplosdelafrecuenciafundamental 0 El espectro de Fourier es un grfico que muestra que componentes de frecuencia estn presentes en la seal y en que proporcin, para ello se ilustran los coeficientes de la serie exponencial junto a su frecuencia respectiva. Debido a que los coeficientes cn en generalpueden sercomplejos, el espectrode Fourier se grafica cn vs n0 . En el eje horizontal se ubica la frecuencia angular , en radianes sobre segundo, mientrasqueenelejeverticalseindicaelaportedeestafrecuenciaalaseal. Ejemplo4.5.ParaelEjemplo4.3,locoeficientesdelaserieexponencialson c0 = A / ypara n 0 , cn = ( A / n ) sin( n ) .Sitomamos A = 1 y = / 6 seobtienelaseal
ysurespectivoespectrodeFourier
88
SeriesdeFourier
AnlisisdeFourier
Sitomamos A = 1 y = / 6 seobtienelaseal
ysurespectivoespectrodeFourier
El espectro de Fourier del tren de pulsos se modifica al cambiar el ancho de los pulsos. Para un pulso angosto, = / 6 , un mayor nmero de frecuencia tienen participacin;ademslasfrecuenciaaltastienenunaporteimportanteyelnivelDCde la seal no es muy grande. Por otro lado, para un pulso ms ancho, = 3 / 4 , un nmeromenordefrecuenciastieneaportesignificativo;ademselnivelDCdelaseal esmuchomayorylaparticipacindelascomponentesdealtafrecuenciaesmuypoco. Ejemplo4.6.Paralaseal x(t ) = 1 + cos( 2t ) + 4 sin( 4t ) delEjemplo4.4,loscoeficientes de la serie exponencial de Fourier son c0 = 1 , c1 = 1 / 2 , c1 = 1 / 2 , c2 = 2 j y c2 = 2 j , con 0 = 2 .ElespectrodeFourierde x(t ) seilustraenlaFigura4.2.
89
SeriesdeFourier
AnlisisdeFourier
Figura2.4.EspectrodeFourierdelasealperidica.
Observe que slo existen 2 componentes de frecuencias en la seal, las frecuencias 2 y 4, y un nivel de DC de valor 1. Recuerde que las frecuencias negativas y positivas corresponden a la misma componente de frecuencia. Por tal motivo, las seales cn e jn0t y c n e jn0t conformanlacomponentesdefrecuencia n0 ,paracualquier n . 4.1.4. TeoremadeParsevalparalaserieexponencial El teorema de Parseval relaciona la potencia promedio de una seal peridica con el cuadradodelanorma l2 deloscoeficientes cn desuserieexponencial,mediante
P=
1 2 2 ( ) x t dt = cn T 0 n = T
1 P = cn e jn0t cn e jn0t dt T 0 n = n =
1 * jn0t P = cn e jn0t cn e dt T 0 n = n = P= P= 1 * jm0t cn e jn0t cm e dt T 0 n = m =
T T
n = m =
* cn cm
1 j ( n m ) 0t e dt T 0
90
SeriesdeFourier
AnlisisdeFourier
T 1 n = m 1 j ( n m ) 0t e dt = T 0 0 n m
Por tal motivo, de la doble sumatoria slo sobreviven los trminos para los cuales n = m ,entonces Observacin 4.1. Recuerde que x(t ) es la potencia instantnea de la seal. Si sumamoslapotenciaenunintervalodelongitud T ydividimospor T ,encontramos elpromediodelapotencia P delasealperidica x(t ) .
2
P=
n =
c c =
* n n
n =
cn
Ejemplo 4.7. Encuentre la energa promedio de la seal x(t ) = sin(t ) + cos(2t ) , utilizandoelteoremadeParseval. Solucin.Lasealpuedeescribirsecomo e jt e jt e j 2t + e j 2t x( t ) = + 2j 2 j j 1 1 x(t ) = e jt e jt + e j 2t + e j 2t 2 2 2 2 Lapotenciapromediopuedeserencontradacomo
P=
n =
cn
j j 1 1 = + + + 2 2 2 2
P=
1 1 1 1 + + + = 1 4 4 4 4
Ejemplo 4.8. Encuentre la energa promedio de la seal sinusoidal x(t ) = A sin(t ) , donde R* ,usandoelteoremadeParseval. Solucin.Lasealpuedeescribirsecomo A A x(t ) = A sin(t ) = j e jt + j e jt 2 2 Lapotenciapromediopuedeserencontradacomo
91
SeriesdeFourier
AnlisisdeFourier
P=
n =
cn
A A = j + j 2 2
A 2 A 2 A2 + = 4 4 2
Observacin 4.2. La energa promedio de un sinusoide depende exclusivamente de su amplitud. Dos sinusoides de igual amplitud y de diferente frecuencia tienen la mismapotenciapromedio. 4.1.5. Propiedadesdelaserieexponencial Sea SF la funcin que calcula los coeficientes de la serie exponencial de Fourier de unaseal,esdecir, SF [ x(t )] = cn . 4.1.5.1. Linealidad: SF [Ax(t ) + By (t )] = A(SF [x(t )]) + B(SF [ y (t )]) Unoperadoreslinealsicumpleconsuperposicinyhomogeneidad. Superposicin: un operador cumple con superposicin si su respuesta a la suma de elementos es igual a la suma de las respuestas individuales a cada una de los elementos. Suponga que x(t ) y y(t ) son seales peridicas con periodo T , entonces los coeficientes de la seal x(t ) + y(t ) corresponden a la suma de los coeficiente de la seal x(t ) msloscoeficientesdelaseal y(t ) . Aprobar: SF [ x(t ) + y(t )] = SF [ x(t )] + SF [ y(t )]
SF [ x(t ) + y(t )] =
1 T
[ x (t ) + y ( t ) ] e
0
jn0t
dt
1 1 SF [ x(t ) + y(t )] = x(t )e jn0t dt + y (t )e jn0t dt = SF [ x(t )] + SF [ y(t )] T 0 T 0 SF [ x(t ) + y(t )] = SF [ x(t )] + SF [ y(t )]
Homogeneidad: un operador L es homogneo si para toda seal x(t ) y toda constantereal c secumple L{cx(t )} = cL{ x(t )} .
92
SeriesdeFourier
AnlisisdeFourier
Suponga que x(t ) es una seal con periodo T entonces los coeficientes de la seal Ax(t ) correspondenaloscoeficientesdelaseal x(t ) multiplicadospor A . Aprobar: SF [ Ax(t )] = A SF [ x(t )] 4.1.5.2. 4.1.5.3.
* SF x (t ) = * 1 * 1 x (t )e jn0t dt = x(t )e jn0t dt T 0 T 0 * * * * Complejoconjugado: SF x (t ) = c n
1T 1T jn0t j ( n ) 0 t * = SF x ( t ) x ( t ) e dt dt = c = x( t ) n T T 0 0
*
Reflexin: SF [ x( t )] = c n
SF [ x( t )] =
1 t x( t )e jn0t dt 0 T
Sirealizamoslasustitucin u = t entonces du = dt ysetiene T 0 1 1 SF [ x( t )] = x(u )e jnu ( du ) = x(u )e jnu du T 0 T T Laintegralde [T , 0] puedecambiarseporunaintegralde [0, T ] ,porlocual T 1 SF [ x( t )] = x(u )e j ( n )u du = c n T 0 4.1.5.4. Simetra Si x(t ) esreal,setiene T T 1 1 cn = x(t )e jn0t dt = x(t ) [cos( n 0t ) + j sin( n 0t )] dt T 0 T 0
93
SeriesdeFourier
AnlisisdeFourier
1 cn = T cn =
Im {cn } =
Re {cn } esunasealpar
1 1 x(t )cos( n 0t )dt = x(t )cos( n 0t )dt = Re {cn } T 0 T 0
T T
Re {c n } =
Im {cn } esunasealpar
1 1 x(t )sen( n 0t )dt = x(t )sen( n 0t )dt = Im {cn } T 0 T 0
T T
Im {c n } =
cn esunasealpar
2 2 2 2
cn = Re {cn } + Im {cn } = Re {c n } + Im {c n } = c n
Re{cn }2 esunasealpar,pueselproductodedossealesparesesotrasealpar. Im{cn }2 esunasealpar,pueselproductodedossealesimparesesunasealpar. Lasumadedossealesparesesunasealparylarazcuadradadeunasealpares partambin;porlocual | cn | esunasealpar. cn esunasealimpar Im{c n } Im{cn } Im{cn } c n = arctan = arctan = arctan = cn Re{c n } Re{cn } Re{cn }
* cn = c n
94
SeriesdeFourier
AnlisisdeFourier
Si x(t ) esrealypar,entonces
T /2
2 cn = Re {cn } = T
Laintegraldelaparteimaginariaescero,pueselproducto x(t )sin( n0t ) esunaseal impar.Portalmotivoloscoeficientes cn sonrealesypares. Si x(t ) esrealeimpar,entonces T /2 1 Re {Cn } = x(t )cos( n 0t )dt = 0 T T/ 2
cn = j 1 x(t )sin( n 0t )dt = c n T T/ 2
T /2 T /2
2 cn = Im {cn } = j T
Laintegraldelaparterealescero,pueselproducto x(t )cos( n0t ) esunasealimpar. Portalmotivo,loscoeficientes cn sonimaginarioseimpares. SealPeridica CoeficientesdelaSEF x(t ), y(t ) cn , d n Ax(t ) + By (t ) Ac n + Bd n * x (t ) cn x(t ) cn x(t ) real Re{cn } pary Im{cn } impar * x(t ) real cn = c n x(t ) par cn par x(t ) realypar cn realypar
Tabla4.1.AlgunaspropiedadesdelaserieexponencialdeFourier
95
SeriesdeFourier
AnlisisdeFourier
4.2. SerietrigonomtricadeFourier Si se conoce que x(t ) es una seal real, es decir Im{ x(t )} = 0 , existe una forma equivalente de representar x(t ) como una serie de Fourier utilizando slo seales realesqueformanunabaseortogonal. Sea x(t ) unasealrealconperiodo T ,entonces
x( t ) =
n =
ce
n
jn0t
Propiedad4.3. Re { x(t ) y(t )} = Re { x(t )} Re { y(t )} Im { x(t )} Im { y(t )} Demostracin.Paratodafuncinovariable x secumpleque x = Re{ x} + j Im{ x} (1)
Im{ x} =
1 x x* ) ( 2j
(4)
Utilizando(3)paraelproducto xy ,setiene 1 1 Re{ xy } = xy + ( xy )* = xy + x* y* 2 2 Ahora,utilizandolasdefiniciones(1)y(2)sobreestaltimaecuacinsetiene 1 Re{ xy } = ( Re{ x} + j Im{ x})( Re{ y } + j Im{ y }) 2 + ( Re{ x} j Im{ x})( Re{ y } j Im{ y })
96
SeriesdeFourier
AnlisisdeFourier
UtilizandolaPropiedad4.3,setiene
n =
) ( Im{c }Im{e
n = n n = n
0
jn0t
n =
Im{c }sin(n t )
Utilizando(3)y(4)setiene 1 1 * * Re{ x(t )} = cn + cn cos( n 0t ) cn cn sin( n 0t ) 2 n = 2 j n = * Dadoque x(t ) esreal, Re{ x(t )} = x(t ) y cn = c n ,porlocual 1 1 x(t ) = ( cn + c n ) cos( n0t ) ( cn c n ) sin(n0t ) 2 n = 2 j n = El trmino cn + c n es par con respecto a n , pues si hacemos tn = cn + c n se cumple tn = t n . Por otro lado, el trmino cn c n es impar con respecto a n , pues si hacemos tn = cn c n secumple tn = t n ;portalmotivo 1 j x(t ) = ( cn + c n ) cos( n 0t ) + ( cn c n ) sin( n 0t ) 4 2444 3 2 n = 144 4 2444 3 2 n = 144
par
par
pues el cos( n0t ) y sin( n0t ) son par e impar con respecto a n , respectivamente. La sumatoriade a deunasealparesigualadosveceslasumatoriade 1 a ms eltrminocero.Deacuerdoaestopodemosreescribir x(t ) ,como
Definamosloscoeficientesdelaserietrigonomtrica,deacuerdoa
a0 = c0
an = cn + c n
bn = j (cn c n )
97
SeriesdeFourier
AnlisisdeFourier
* Observacin 4.3. Dado que x(t ) es real an = cn + c n = cn + cn = 2 Re{cn } y * + b = j (cn c n ) = j (cn cn ) = 2 Im{cn } , para todo n Z . A partir de este hecho y n utilizandoladefinicinde cn puedenserencontradoslocoeficientes an y bn .
donde
a0 =
an =
bn =
Observacin 4.4. Los coeficientes a0 , an y bn de la serie trigonomtrica son reales. Loscoeficientes an y bn slotomanvalorpara n = 1, 2, ..., . Ejemplo4.9.Representelaseal x(t ) utilizandolaserietrigonomtricadeFourier.
M (t + 2)2 x (t ) = t 2 (t 2)2 M
Solucin. La seal x(t ) tiene periodo T = 2 , por lo tanto 0 = . Para la representacin de una seal peridica se puede tomar cualquier segmento de la seal conlongitud T .Setomarporfacilidadelintervalo (0, 2) .
98
SeriesdeFourier
AnlisisdeFourier
Paraelcoeficiente a0 ovalormediodelaseal,setiene
1 1 2 t3 4 a0 = x(t )dt = t dt = = 20 60 3 T 0
Paraloscoeficientes an ,setiene T 2 2 an = x(t )cos( n 0t )dt = t 2 cos( n t )dt T 0 0 Integrandoporpartes u = t 2 dv = cos( n t ) sin( n t ) = = du tdt v 2 n
Integrandoporpartesnuevamente,setiene dv = sin( n t ) u = t cos( n t ) du = dt v = n 2 2 2 t cos( n t ) cos( n t ) + an = dt n n n 0 0 2 4 2 2 sin( n t ) an = + = 2 2 n n n ) 0 ( n ) ( Paralocoeficientes bn ,setiene T 2 2 bn = x(t )cos( n 0t )dt = t 2 sin( n t )dt T 0 0 Integrandoporpartes
99
SeriesdeFourier
AnlisisdeFourier
Integrandoporpartesnuevamente,setiene dv = cos( n t ) u = t sin( n t ) du = dt v = n t sin( n t ) 2 2 sin( n t ) 4 4 +2 bn = dt = n n n n 0 0 LaserietrigonomtricadeFourierpara x(t ) vienedadapor 4 4 1 4 1 x(t ) = + 2 2 cos( n t ) sin( n t ) 3 n =1 n n =1 n
4.2.1. Relacinentrelaserietrigonomtricaylaserieexponencial Una vez que una seal real x(t ) ha sido representada como una serie trigonomtrica de Fourier, los coeficientes de la serie exponencial pueden ser encontrados de forma directa a partir de los coeficientes de la serie trigonomtrica. De forma similar, si se conocen los coeficientes de la serie exponencial de Fourier de una seal real, los coeficientesdelaserietrigonomtricapuedensercalculadosapartirdeestos.
100
SeriesdeFourier
AnlisisdeFourier
Si queremos encontrar los coeficientes de la serie exponencial a partir de los coeficientesdelaserietrigonomtricadeFourier,esdecir, {cn } {a0 ,an , bn } ,sehace a0 = c0 an = 2 Re{cn }, n = 1, 2, 3... bn = 2 Im{cn }, n = 1, 2, 3... Si queremos encontrar los coeficientes de la serie trigonomtrica a partir de los coeficientesdelaserieexponencialdeFourier,esdecir {a0 ,an , bn } {cn } ,sehace c0 = a0 cn = 1 ( an jbn ), n = 1, 2, 3, ... 2 * Paraencontrarloscoeficientes cn paravalornegativosde n ,sehace c n = cn . Ejemplo4.10.EncuentreloscoeficientesdelaserieexponencialdelEjemplo4.9. Solucin. 4 c0 = a0 = 3 Loscoeficientes cn para n positivo, n = 1, 2, 3, ... ,son 1 1 4 4 cn = [ a n jbn ] = +j 2 2 2 ( n ) n
cn =
2
( n )2
(1 + jn ) , n = 1, 2, 3...
101
SeriesdeFourier
AnlisisdeFourier
ylaserieexponencialparalaseales 4 2 1 + jn jn t x(t ) = + 2 e 3 n = n 2
n0
Ejemplo 4.11. Encuentre los coeficientes de la serie trigonomtrica de Fourier para la sealdelEjemplo4.3. Solucin. A a0 = c0 =
Ejemplo 4.12. Encuentre la serie trigonomtrica de x(t ) = cos 2 (t ) + sin(t ) + cos(3t ) . Identifique los coeficientes de la serie trigonomtrica y encuentre por medio de estos loscoeficientes cn delaserieexponencialdeFourier. Solucin.Conociendoque cos 2 = 1 (1 + cos 2 ) ,podemosreescribirlasealcomo 2 1 1 x(t ) = + cos( 2t ) + sin(t ) + cos(3t ) 2 2 EsexpresincorrespondealaserietrigonomtricadeFourierdelaseal,puesesuna suma de senos y csenos. Para identificar los coeficientes de la serie primero se debe encontrar el periodo de la seal. La seal x(t ) tiene T = 2 , por lo cual 0 = 1 . El trminoindependientecorrespondealvalormedioonivelDCdelaseal,entonces a0 = 1 / 2 Elcoeficiente an acompaaal cos( n 0t ) enlaserietrigonomtrica.Paranuestraseal elcoeficiente an acompaaal cos( nt ) ,porlocual 1 cos( 2t ) n = 2 a2 = 1 / 2 2 cos(3t ) n = 3 a3 = 1 De forma similar, el coeficiente bn acompaa al cos( n 0t ) en la serie trigonomtrica. Paranuestrasealelcoeficiente bn acompaaal sin( nt ) ,porlocual
2A sin( n ) n bn = 2 Im{cn } = 0
an = 2 Re{cn } =
102
SeriesdeFourier
AnlisisdeFourier
sin(t ) n = 1 b1 = 1 Por tal motivo los coeficientes de la serie trigonomtrica son a0 = 1 / 2 , a2 = 1 / 2 , a3 = 1 y b1 = 1 ; los dems coeficientes son cero. Los coeficientes de la serie exponencial se encuentran a partir de los de la serie trigonomtrica. Para el valor medio se tiene que c0 = a0 = 1 / 2 . Dado que cn = 1 ( an jbn ), para n > 0 , entonces 2 * c1 = j / 2 , c2 = 1 / 4 y c3 = 1 / 2 . Adems c n = cn , para n > 0 , entonces c1 = j / 2 , c2 = 1 / 4 y c3 = 1 / 2 .Losdemscoeficientessoncero.
4.2.2. SerietrigonomtricadeFourierparasealespareseimpares Conocer que una seales par o impar es til para agilizar el clculo de los coeficientes delaserietrigonomtricadeFouriercuandosetomaelintervalo [T / 2, T / 2] .Eneste casolaseriepuedereducirsedependiendosi x(t ) esparoimpar. 4.2.2.1. x(t ) par Enestecaso,elproducto x(t )sin( n 0t ) esimparyloscoeficientes bn soncero. T /2 2 bn = x(t )sin( n 0t ) dt = 0 4 244 3 T T/ 2 14
impar
Elproducto x(t )cos( n0t ) espar,porlocual T /2 T /2 2 4 an = x(t )cos( n0t ) dt = x(t )cos( n0t )dt 4 244 3 T T/ 2 14 T 0
par
103
SeriesdeFourier
AnlisisdeFourier
4.2.2.2.
x(t ) impar
Elproducto x(t )cos( n0t ) esimparyloscoeficientes a n soncero. T /2 2 an = x(t )cos( n 0t )dt = 0 T T/ 2 Elproducto x(t )sin( n 0t ) espar,porlocual T /2 T /2 2 4 bn = x ( t )sin( n t ) dt = x(t )sin( n 0t )dt 0 244 3 T T T/ 2 144 0
par
Observacin 4.5. Para representar seales pares slo se necesitan lo coeficientes an , los cuales ponderan cada uno de los csenos de la serie, pues la serie corresponde a una seal par y slo se necesitan seales pares para su representacin.Deformasimilarpararepresentarunasealimparslosenecesitan lassealesseno,porlocualslointervieneloscoeficientes bn . Ejemplo4.13.EncuentrelaserietrigonomtricadeFourierdelaseal.
104
SeriesdeFourier
AnlisisdeFourier
2 a0 = T
an = 4 T
T /2
1 1 t2 + ( ) = + = x t dt t dt = 0 2 2 20 0 0
T /2
2 t + cos( nt )dt 0 2
an =
an =
4 an = 2 [1 cos( n )] = n 2 n 0 2
n impar n par
Ejemplo4.14.EncuentrelaserietrigonomtricadeFourierdelaseal
105
SeriesdeFourier
AnlisisdeFourier
Solucin. Para esta seal T = por lo cual 0 = 2 . Dado que x(t ) es impar entonces loscoeficientes an y a0 soncero.Loscoeficientes bn puedenencontrarsecomo T /2 /2 4 4 bn = x(t )sin( n 0 t ) = sin( n 2t ) T 0 0
4 cos( n2t ) bn = 2n 0
4.2.3. TeoremadeParsevalparalaserietrigonomtricadeFourier La potencia promedio de una seal peridica puede ser encontrada utilizando los coeficientes de la serie exponencial de Fourier. Conociendo la relacin entre los coeficientes de la serie exponencial y la serie trigonomtrica, podemos encontrar la potenciapromediodelasealpormediodeestaltima,como
1 1 2 2 P = x(t ) dt = a0 + an 2 + bn 2 2 n =1 T 0
T
Demostracin.
P=
n =
cn =
n =
cn + c0 + cn
2 2 2 n =1
* Dado que x(t ) es real se tiene que cn = c n . Todo nmero complejo tiene magnitud
* = c n ;aspodemosreescribir igualasuconjugado,porlocual cn = cn
P=
n = 2
c n + c0 + cn
2 2 2 n =1 2
P = c0 + 2 cn
n =1
106
SeriesdeFourier
AnlisisdeFourier
Conociendoque c0 = a0 y cn = 1 ( an jbn ) ,para n > 0 ,setiene 2 Elvalormediodelasealreal x(t ) esunvalorreal,porlocual a0 = a0 2 ylapotencia promediopuedeescribirsecomo
2
P = a0 + 2 ( an jbn ) = a0 + 2 1 an jbn 4
2 n =1 1 2 2 2 2
P = a0 +
1 2 n =1
2 an + bn2
)
2
n =1
P = a0 2 +
1 2 an + bn2 2 n =1
Ejemplo 4.15. Encuentre, utilizando el teorema de Parseval para la serie trigonom trica,lapotenciapromediodelaseal x(t ) = 1 +1 cos( 2t ) + sin(t ) + cos(3t ) . 2 2 Solucin.Lasealyaseencuentraexpresadacomounaserietrigonomtrica,entonces 1 2 P = a0 2 + an + bn2 2 n =1 2 2 11 1 1 1 P = + + 12 + 12 = 2 2 2 8 Ejemplo 4.16. Encuentre la energa promedio de la seal sinusoidal x(t ) = A sin(t ) , donde R * ,usandoelteoremadeParsevalparalaserietrigonomtricadeFourier. Solucin. Para este caso el valor medio de la seal es cero y 0 = , por lo cual slo existeelcoeficiente b1 = A delaserietrigonomtrica.Lapotenciapromedioes 1 2 P = a0 2 + an + bn2 2 n =1 1 A2 P = b12 = 2 2 Este resultado concuerda con el obtenido utilizando el teorema de Parseval para la serieexponencial,paralapotenciapromediodelasealsinusoidal.
107
SeriesdeFourier
AnlisisdeFourier
4.3. AplicacionesdelasseriesdeFourier 4.3.1. Anlisisdesealesperidicas Una seal peridica, que cumple las condiciones de Dirichlet, puede representarse como una serie exponencial de Fourier y en el caso de ser real tambin puede representarsecomounaserietrigonomtrica.LaseriedeFourierbrindaninformacin importanteacercadelasealperidica. Valormedioopromediodelaseal VM = c0 = a0
EspectrodeFourier
Potenciapromedio En el caso en el cual la seales corresponden a seales de voltaje o corriente, los coeficientes de la serie de Fourier nos dan informacin sobre la cantidad de potencia delasealporunidaddetiempo. 1 2 2 2 P = cn = a0 + ( an + bn2 ) 2 n =1 n = 4.3.2. Convolucincircularcontina Definicin 4.3. Sean x(t ) y y(t ) dos seales peridicas, de periodo T , entonces la convolucincircularentreellassedefinecomo T T 1 1 h(t ) = [ x y ] (t ) = x( ) y(t )d = x(t ) y( )d T 0 T 0 La convolucin circular h(t ) , tambin una seal con periodo T , indica la cantidad de traslape entre la seal x(t ) y una versin reflejada y trasladada de y(t ) , sobre un intervalodelongitud T .Debidoaquelasseales x(t ) y y(t ) sonperidicas,amedida que una de las seales se desplaza sobre la otra el traslape entre las seales es peridico, con periodo T . Recuerde que al desplazar una seal de periodo T una
108
SeriesdeFourier
AnlisisdeFourier
cantidad detiempo que es mltiploentero de T ,se obtiene exactamentela misma sealyporendeelmismotraslape. Ejemplo 4.17. Consideremos dos seales peridicas x(t ) y y(t ) , de periodo T . Una sealtriangularyuntrendepulsos,comoseilustraenlaFigura4.4.
Figura4.4.Sealesperidicas.
Laseal y ( ) correspondeaunversinreflejadadelaseal y ( ) .
Figura4.5.Versinreflejadadelasealy(t).
La convolucin circular h(t ) indica la cantidad de traslape, en un intervalo de longitud T , entre la seal x( ) y una versin desplazada en t de la seal y ( ) , como se ilustraenlafigura.Eltraslapeencualquierintervalodelongitud T eselmismo.
Figura4.6.Traslapeentrelassealesperidicas(engris).
109
SeriesdeFourier
AnlisisdeFourier
donde 0 =
rn = 1 h(t )e jn0t dt T 0
T
h(t ) =
n =
r e
n
jn 0t
2 yloscoeficientesdelaserieexponencialpuedenencontrarsecomo T
Para esta representacin es necesario conocer la seal h(t ) . No obstante, los coeficientes rn pueden encontrarse de forma directa si se conocen los coeficientes de laseriesexponencialesdelasseales x(t ) y y (t ) . Propiedad 4.4. Los coeficientes de la serie exponencial de la convolucin circula h(t ) pueden encontrarse como rn = cn d n , donde cn y d n son los coeficientes de las series exponencialesdelaseales x(t ) y y (t ) ,respectivamente. Demostracin.Lasseales x(t ) y y (t ) alserperidicaspuedenexpresarsecomo T 1 jn 0t x(t ) = c n e con c n = x(t )e jn0t dt T 0 n =
y (t ) =
n =
d n e jn0t
con
dn =
1 y (t )e jn 0t dt T 0
h(t ) =
n =
cde
n n
jn0t
rn = cn d n
Ejemplo 4.18. Encuentre la convolucin circular entre las seales x(t ) = sin(t ) y y(t ) = 1 + cos(t ) . Solucin. Las seales x(t ) y y(t ) tiene periodo T = 2 , por lo cual 0 = 1 . La seal x(t ) puedeexpresarsecomounaserieexponencial,deacuerdoa
110
SeriesdeFourier
AnlisisdeFourier
x(t ) = sin(t ) =
j jt j jt e + e 2 2
cuyos coeficientes son c1 = j / 2 y c1 = j / 2 . La seal y (t ) puede expresarse tambincomounaserieexponencial,delaforma 1 1 y(t ) = 1 + cos(t ) = 1 + e jt + e jt 2 2 cuyos coeficientes son d 0 = 1, d1 = 1/ 2 y d 1 = 1/ 2 . La serie exponencial de la convolucincircularentrelassealesperidicases
h(t ) =
n =
re
n
jnt
r1 = c1d1 = j / 4
h(t ) =
1 e jt e jt 1 = sin(t ) 2 2j 2
Figura4.7.Sistemamasaresorteamortiguado.
111
SeriesdeFourier
AnlisisdeFourier
Eltrmino k eslaconstantedelresorte, c laconstantedefriccindelasuperficie, m lamasadelobjetoy x suposicinhorizontal. La sumatoria de fuerza en el sistema fsico debe ser igual a cero, por lo cual fuerza externaaplicada F (t ) debeserigualalafuerzadelobjeto,mslafuerzadefriccinde lasuperficie,mslafuerzadeoposicindelresortealmovimiento.Lafuerzaqueacta sobre un objeto es directamente proporcional a su masa y a su aceleracin. La fuerza de friccin es directamente proporcional al coeficiente de friccin y a la velocidad del objeto. La fuerza en el resorte es directamente proporcional a su constante por su desplazamiento. As, la sumatoria de fuerzas del sistema puede expresarse en funcin delaposicindelobjeto, x(t ) ,como
..
m x(t ) + c x(t ) + kx(t ) = 0 La solucin general deesta ecuacin es de la forma xH (t ) = c1e r1t + c2 e r2t , donde r1 y r2 sonlasracesdelaecuacincaracterstica mr 2 + cr + k = 0 Lasracesdeestepolinomioestndadaspor
r1,2 = c c 2 4mk 2m
..
112
SeriesdeFourier
AnlisisdeFourier
Complejasconjugadasconparterealnegativa.
t
t
Encualquieradeloscasos, lim x H (t ) = 0 ,entonces lim x(t ) = xP (t ) . Por tal motivo, en estado estable x(t ) es igual a la solucin particular. La solucin particular xP (t ) se escoge de acuerdo a la ecuacin en particular, en este caso de acuerdoalafuerzaexterna F (t ) .Dadoquelafuerzaexternaesunafuncinsinusoidal x(t ) debe serlo tambin, pues su derivadas debe ser iguales a D cos(t ) , por lo cual selasolucinparticulartienelaforma xP (t ) = A cos(t ) + B sin(t ) Lasconstantes A y B puedenencontrarsehaciendo
m x P (t ) + c x P (t ) + kx P (t ) = D cos(t ) delocualseobtiene D( k m 2 ) A= ( k m 2 )2 + (c )2 Dc B= ( k m 2 )2 + (c)2 Conociendolasolucinparticularsetienequelasolucindelsistemaes x(t ) = A cos(t ) + B sin(t ) Si la fuerza externa F (t ) es peridica, puede expresarse como una serie trigonomtrica
.. .
Dado que ya conocemos la solucin del sistema si la fuerza externa es una funcin sinusoidal, la solucin general del sistema ante cualquier fuerza externa peridica puede ser encontrada, la solucin a cada una de las componentes de F (t ) y posteriormenterealizarsusuperposicin.
113
SeriesdeFourier
AnlisisdeFourier
Ejemplo 4.19. Considere un sistema masaresorte con m = 1gr , c = 0.02 gr / s y k = 25 gr / s 2 . Encuentre la posicin del objeto, x(t ) , en estado estable si la fuerza externaaplicadaeslaqueseilustraenlaFigura.
t + 2 F (t ) = t + 2
Solucin.Laecuacinparaestesistemaes
.. .
x(t ) + 0.02 x(t ) + 25 x(t ) = F (t ) La fuerza externa F (t ) tiene periodo T = 2 , por lo cual 0 = 1 , y puede expresarse conounaserietrigonomtricadelaforma 4 1 4 1 1 F (t ) = cos( nt ) = cos(t ) + cos(3t ) + cos(5t )... 2 n =1 n 9 25
n = impar
Encontremoslasolucindelaecuacindelsistemaparacadaunadelascomponentes de la fuerza F (t ) , cada una de las cuales es de la forma 4 cos( nt ) / n 2 , con n impar. Consideremoslasecuacionesdiferencialesdelaforma .. . 4 x(t ) + 0.02 x(t ) + 25 x(t ) = 2 cos( nt ) n El lado derecho de esta ecuacin corresponde a nuestra funcin sinusoidal general para D = 4 / n 2 y = n .Lasolucinparaunvalorde n dadoes xn (t ) = An cos( nt ) + Bn sin( nt ) donde
114
SeriesdeFourier
AnlisisdeFourier
( 25 n 2 ) An = 2 n ( 25 n 2 )2 + (0.02n )2 4
Bn =
0.02n n ( 25 n ) + (0.02n)2
2 2 2
Entonces,larespuestageneraldelsistemapuedeescribirsecomo 4.4. Resumen Los exponenciales complejos forman las bases ortogonales elegidas en la representacin de seales en la teora de Fourier. Al realizar la descomposicin de una seal en trminos de exponenciales complejos se pueden conocer las componentesdefrecuenciapresentesylarespuestadeunsistemaLTI. La representacin de una seal utilizando un conjunto contable de exponenciales complejosseconocecomoserieexponencialdeFourier. Un conjunto de exponenciales de la forma e jn0t , con n Z , son mutuamente ortogonales en un intervalo [t1 , t2 ] si 0 = 2 /(t2 t1 ) . Dicho conjunto de exponenciales complejos forma una base ortogonal para el espacio vectorial formadoporlassealesconenergafinitaendichointervalo(finito). Para expresar una seal peridica como una serie exponencial de Fourier es suficiente representar un intervalo de longitud el periodo, de esta forma la serie convergealasealparatodoslosvaloresdetiempo. Los coeficientes de la serie exponencial de Fourier dan informacin de las componentesdefrecuenciapresentesenlaseal.Elcoeficiente cn dainformacin de la frecuencia n0 en la seal y pondera la participacin del exponencial e jn0t enlarepresentacindelamisma. El grafico de la magnitud de los coeficientes contra la frecuencia se conoce como Espectro de Fourier. Esta visualizacin permite conocer las componentes de frecuenciapresentesenlaseal.
x( t ) =
n =1 n = impar
xn (t ) =
n =1 n = impar
An cos( nt ) + Bn sin( nt )
115
SeriesdeFourier
AnlisisdeFourier
El teorema de Parseval para la serie exponencial establece que la potencia promedio de una sea peridica puede ser encontrada sumando los coeficientes delaserieexponencialenmagnitudalcuadrado. Si se desea representar una seal real es suficiente utilizar una base ortogonal formada por seales reales. La seales de la forma cos( n 0t ) y sin( n0t ) , con n Z , son mutuamente ortogonales en un intervalo [t1 , t2 ] si 0 = 2 /(t2 t1 ) . Dicho conjunto de seales forma una base ortogonal para el espacio vectorial formadoporlassealesconenergafinitaendichointervalo(finito). La representacin de seales en trminos de funciones seno y coseno se conoce como serie trigonomtrica de Fourier. Si la seal es par son slo necesaria las seales coseno para su representacin, en cambio, si la seal es impar es solo necesarioutilizarlassealessenoparasurepresentacin. 4.5. Ejercicios
Seccin4.14.3 1. EncuentreloscoeficientesdelaserieexponencialdeFourier,delasealperidica
2. UsandolaserieexponencialdeFourierrepresentelasealperidica
x(t ) = e t
0 < t <1
3. Usando la serie trigonomtrica de Fourier, represente la seal de salida de un rectificador de media onda ( y(t ) en la siguiente figura), si la seal de entrada es x(t ) = sin(t ) .
116
SeriesdeFourier
AnlisisdeFourier
y (t ) = sin(t )
0 < t <1
5. Exprese la seal x(t ) = 1 + sin 2 t cos 2 t + 2 sin t + 3 cos(3t ) como una serie 2 exponencialdeFouriereidentifiqueloscoeficientesdeFourier.Determineelvalor mediodelaseal. 6. Laserieexponencialdeunaseal x(t ) ,conperiodo T ,enunintervalo [0, T ] es 3 x( t ) = e jn t 2 n = 4 + ( n ) a. Determineelvalorde T b. Cualeselvalormediode x(t ) ? c. La componente de x(t ) en cierta frecuencia puede expresarse como a cos(3t ) .Determineelvalorde a . 7. Encuentrelacomponentedefrecuencia 5 ,delasealperidicadelPunto1. Seccin4.4 8. GrafiqueelespectrodeFourierdelasealdelPunto5. 9. Utilizando Matlab, grafique el espectro de Fourier de la seal de salida del rectificador de media onda (Punto 3), para ello tome slo los coeficientes cn con n 20 .Grafiquelasealutilizandosloestoscoeficientesenlaserieexponencial.
117
SeriesdeFourier
AnlisisdeFourier
Seccin4.5 10. Utilizando el Teorema de Parseval para la serie exponencial, encuentre la potencia promediodelasealperidicadelPunto5. 11. Aproxime la potencia promedio de la seal peridica del Punto 2 utilizando los coeficientes de la serie exponencial con n 10 . A qu porcentaje de la verdadera potenciapromediodelasealcorrespondeestaaproximacin? 12. Que porcentaje de la potencia promedio de la seal peridica del Punto 2, se encuentra contenido en las componentes de la seal con frecuencia menor igual a 10 rad/s? 13. Suponga que un seal peridica tiene coeficientes de la serie exponencial de n Fourierdadospor cn = 0.5 .Encuentrelapotenciapromediodelaseal. Seccin4.6 14. Demuestre que si para x(t ) se tiene los coeficientes c n para la serie exponencial * deFourierentoncespara x * (t ) setienenloscoeficientes c n . * 15. Demuestrequesi x(t ) esrealentonces c n = c n . 16. Demuestrequesi x(t ) realentonces Re{cn } espary Im{cn } esimpar Seccin4.7 17. Usando la serie trigonomtrica de Fourier represente la seal de salida de un rectificadordeondacompleta( y(t ) enlaFigura),silaentradaes x(t ) = sin( t ) .
18. UsandolaserietrigonomtricadeFourier,representelasiguientesealperidica
118
SeriesdeFourier
AnlisisdeFourier
19. Encuentre los coeficientes de la serie trigonomtrica de la seal peridica del Punto1. 20. EncuentrelaserietrigonomtricadeFourierdelasealperidicadelPunto2. 21. EncuentrelaserietrigonomtricadeFourierdelasealdelPunto5. Seccin4.8 22. Representelaseal x(t ) = sin( 2t ) + cos( 4t ) + 2 sin( 8t ) comounaserieexponencial de Fourier. Identifique los coeficientes cn y a partir de ellos obtenga los coeficientesdelaserietrigonomtrica. 23. Representelaseal x(t ) = sin 2 ( 2t ) cos(3t ) + cos(t ) comounaserietrigonomtrica de Fourier, identifique los coeficientes y a partir de ellos obtenga los coeficientes delaserieexponencial. Seccin4.10 24. Utilizando el Teorema de Parseval para la serie trigonomtrica, encuentre la potenciapromediodelasealperidicadelPunto5. 25. Aproxime la potencia promedio de la seal peridica del Punto 2 utilizando los coeficientes de la serie trigonomtrica con n 10 . A qu porcentaje de la verdaderapotenciapromediodelasealcorrespondeestaaproximacin?
119
SeriesdeFourier
AnlisisdeFourier
ESTAPGINASEDEJAINTENCIONALMENTEENBLANCO
120
5 TRANSFORMADA DE FOURIER
5.1. DeduccindelatransformadadeFourierL1 Hasta este punto hemos podido representar una seal x(t ) sobre un intervalo de longitudfinita [t1 , t2 ] ,utilizandolaserieexponencialdeFourier,mediante
x( t ) =
n =
ce
n
jn0t
t1 < t < t2
1 cn = t 2 t1
t2
x (t ) e
t1
jn 0 t
dt ,
0 =
2 t 2 t1
En este caso la serie converge a la seal x(t ) en el intervalo [t1 , t2 ] (en los puntos de discontinuad de x(t ) converge al promedio de la discontinuidad). Sin embargo, por fueradeesteintervalo,laserienonecesariamenteconvergea x(t ) . Silaseal x(t ) esperidicayelintervalo [t1 , t2 ] seeligedelongitudigualalperiodo T delaseal,laserieconvergealasealparatodoslosinstantesdetiempo. 5.1.1. Representacindesealesnoperidicas Suponga que se quiere representar una seal no peridica x(t ) como una suma de exponenciales complejos en el intervalo ( , ) . En este caso no se puede utilizar de formadirectalaserieexponencialdeFourier,pues t2 t1 = y 0 = 0 . Sin perdida de generalidad suponga que la seal x(t ) tiene soporte compacto. Generamosapartirde x(t ) unasealperidica xT (t ) ,lacualesforzadaarepetirse,de formasimtricaconrespectoalorigen,cadaintervalodetiempo T .
Figura5.1.Sealnoperidica.
TransformadadeFourier
AnlisisdeFourier
Figura5.2.Sealperidica.
Cuando el periodo T tiende a infinito, los vecinos de la seal original se desplazan al infinitoyseobtienelasealnoperidica x(t ) .Laseal xT (t ) ,porserperidica,tiene serieexponencialdeFourierdadapor donde
1 cn = xT (t )e jn0t dt , T T / 2
T /2
xT (t ) =
n =
ce
n
jn0t
0 =
2 T
Paraunasealperidica xT (t ) enparticular,setienesuespectrodeFourier.
Figura5.3.EspectrodeFourierdeunasealperidica.
122
TransformadadeFourier
AnlisisdeFourier
donde
T /2
xT (t ) =
n =
X ( n ) jn t e T
X ( n ) =
T / 2
xT (t )e jnt dt
Sea el espaciamiento entre las componentes de frecuencia presentes en la seal xT (t ) . El espaciamiento es igual a la frecuencia fundamental 0 , pues las componentes de frecuencia presentes en la seal peridica son de la forma n0 . Por talmotivo, = 2 / T yreemplazandoenlaserieexponencial,setiene X ( n ) j n t 1 xT (t ) = e = X ( n )e jnt 2 n = n = 2 / Alhacer T muygrande, sehacemuypequeoyelespectrodeFourierdelaseal xT (t ) sevuelvemsdenso,comoseilustraenlaFigura5.4.
Figura5.4.EspectrodeFourierdelasealperidicaparaTgrande.
Enellmitecuando T ,laseal xT (t ) llegaaserlaseal x(t ) ,porlocual 1 x(t ) = lim xT (t ) = lim X ( n )e jnt T T 2 n = En el limite cuando T el espaciamiento entre frecuencias 0 y las componentes discretas del espectro de Fourier se unen y forman un continuo. Por tal motivo la variable discreta n llega a ser la variable continua y la suma discreta, condiferencial ,llegaraserunasumacontinua(integral)delaforma
123
TransformadadeFourier
AnlisisdeFourier
donde
1 x (t ) = 2
X ()e
j t
X () =
x(t )e
j t
dt
De esta forma pudimos representar nuestra seal x(t ) para todos los valores del tiempo.Laseal X () seconocecomolatransformadadeFourier L1 de x(t ) . 5.2. TransformadadeFourierL1 Sea x(t ) L1 ,entoncessutransformadadeFourierpuedeserencontradacomo
{ x(t )} = X () =
x(t )e
j t
dt
donde {} = e jt dt ,eseloperadorquecalculalatransformadadeFourier.
1 { X ( )} = x(t ) = 2
1
X ()e
j t
Esta ecuacin se conoce como la transformada inversa de Fourier L1 y permite recuperarunasealapartirdesutransformada. El operador 1{} =
1 2
transformada X () quepertenecea L1 . Observacin 5.1. Las integrales anteriores permiten encontrar la transformada y la transformada inversa de Fourier, respectivamente, de seales en L1 . Las integrales anterioresnonecesariamenteconvergenparasealesquenopertenecena L1 .
124
TransformadadeFourier
AnlisisdeFourier
0 x(t ) = at e
t<0 t >0
Solucin.Primerosedebeverificarquelasealpertenecea L1 .
x (t ) 1 =
e at x(t ) dt = e dt = a 0
at
1 1 1 e = R a a
x(t ) L1
Lasealpertenecea L1 ,entoncessutransformadadeFourieresencontradacomo
X () =
x(t )e
j t
dt = e e
0
at jt
dt = e
0
t ( a + j )
dt =
t ( a + j ) 0
a + j
1 a + j
Figura5.5.TransformadadeFourierdelaseal:graficocomplejoymagnitud.
125
TransformadadeFourier
AnlisisdeFourier
Solucin.Primerosedebeverificarquelasealpertenecea L1 .
x (t ) 1 =
x(t ) dt =
dt = 2a R
x(t ) L1
Lasealpertenecea L1 ,entoncessutransformadadeFourieresencontradacomo
X () = X () = X () =
x(t )e
j t
dt =
jt
e jt dt = j
=
a
1 ( e ja e ja ) j
Figura5.6.TransformadadeFourierdelaseal.
Laseal sinc(t ) sedefinecomoelsenosobresuargumento,esdecir sin(t ) sinc(t ) = t La seal sinc(t ) presenta su mximo para t = 0 y posteriormente cae oscilando a medida que la magnitud del tiempo aumenta. La frecuencia de oscilacin de la seal sinc(t ) ,puedevariarsemodificandosuargumento,delaforma sinc( at ) .Enestecaso, la seal corta el eje horizontal en los valores del tiempo dados por t = ( n / a ) , donde n Z* .Elmximodelaseal sinc( at ) estdadocomo sin( at ) a cos( at ) = lim = 1 lim sinc( at ) = lim t 0 t 0 t 0 at a
126
TransformadadeFourier
AnlisisdeFourier
Ejemplo5.3.EncuentrelatransformadainversadeFourierdelaseal
X () = [u( + 3) u( 3)]
Solucin.Encontremosprimerolanorma L1 de X ()
X () 1 =
X () d =
d = 2 d = 9
0
X ( ) L1
LatransformadainversadeFourierde X ( ) puedeserencontradacomo
1 x( t ) = 2
1 X ( )e jt d = 2 e jt jt
3 3
jt
u= j t dv = e
du = d v=
3
e jt jt
1 x( t ) = 2
1 1 e jt e j 3t 3e j 3t + 3e j 3t + 2 d = 2 jt jt t 3 3
x( t ) =
1 1 3 j 3t j 3 t 1 e + e ) + 2 ( e j 3t e j 3t ) = ( t 2 jt j 1 3 sin(3t ) cos(3t ) 2 t t
3 j jt cos(3t ) + t 2 sin(3t )
x( t ) =
5.2.1. InterpretacindelaTransformadadeFourierL1 La magnitud de X () indica que componentes de frecuencia, de la forma e jt , se encuentran presentes en la seal x(t ) y en que proporcin. Para cada valor de , la seal X () contiene la informacin resultante de la comparacin entre seal x(t ) y un exponencial complejo de frecuencia , como se ilustra en la Figura 5.7. La lnea
127
TransformadadeFourier
AnlisisdeFourier
Figura5.7.Comparacindelasealx(t) ylaparterealdelexponencialcomplejo.
Si en algn intervalo de tiempo la seal x(t ) y el exponencial complejo e jt oscilan con la misma frecuencia, entonces tienen una fase mutua constante, y hacen una contribucinnonulaa X () . Por tal motivo, para un valor dado de , X () indica que tanto de esa frecuencia se encuentra presente en la seal. Dado que X () se define para todo valor real de ,podemosconocerquefrecuenciasseencuentrapresentesenlasealbajoanlisis. Por otro lado, conociendo la participacin de cada frecuencia podemos expresar la seal x(t ) ,comounasumadecomponentesfrecuencialesdelaforma 1 jt x(t ) = X ()e d 2 donde X () ponderaelaportedelexponencialdefrecuencia alaseal. 5.2.2. ConvergenciadelaTransformadadeFourierL1 En la definicin de la transformada y la transformada inversa de Fourier L1 , se indic quesuutilizacinserestringeasealesquepertenecenalconjunto L1 .Acontinuacin revisaremoselporqudeestarestriccin. Propiedad 5.1. Si x(t ) L1 entonces la integral de la transformada de Fourier L1 convergeparacualquiervalorde .
128
TransformadadeFourier
AnlisisdeFourier
Demostracin.
X () =
x(t )e jt dt
x(t )e jt dt
x(t ) e jt dt =
x(t ) dt = x(t ) 1
Paratodovalorde secumpleque X ( ) x(t ) 1 .Portalmotivo,lamagnituddela transformadadeFourierestacotadaporlanorma L1 delaseal. Propiedad5.2.Si X () L1 entonceslaintegraldelatransformadainversadeFourier L1 convergeparacualquiervalorde t . Demostracin.
1 x (t ) = 2
1 X ()e d 2
j t
X ( ) e
j t
1 d = 2
X ( ) d =
1 X ( ) 1 2
1 2
X ( ) 1 .
QuedademostradoasquelasintegralesdeFourierpuedenserutilizadasparaseales en L1 concertezaabsolutadesuconvergencia. Observacin5.2.Si x(t ) L1 entonces x(t ) 1 = yladesigualdad X ( ) x(t ) 1 notienesentido.Portalmotivo,nosepuedegarantizarquelasintegralesdeFourier convergenparasealesnopertenecientesa L1 . 5.2.3. PropiedadesdelatransformadadeFourierL1 El conocimiento de las propiedades de la transformada de Fourier permite obtener informacinimportanteenelanlisisdeunaseal.Enprimerlugar,sepuedeobservar como se comportan las propiedades frecuenciales ante diferentes modificaciones temporales sobre la seal original. En segundo lugar, se puede calcular de forma ms sencilla la transformada de Fourier de seales que corresponden a la modificacin de una seal cuya transformada ya es conocida. Finalmente, las propiedades permiten relacionarlainformacinentiempoyfrecuenciadeunaseal. 5.2.3.1. Linealidad:Superposicinyhomogeneidad
{ax(t ) + by(t )} =
129
TransformadadeFourier
AnlisisdeFourier
Complejoconjugado
{ x (t )} =
* *
x (t )e
*
j t
dt =
x(t )e
*
j t
jt = dt x ( t ) e dt
*
{ x (t )} = x(t )e j ( )t dt = X * ( )
Observacin 5.3. La magnitud de la transformada de una funcin real es par, pues x(t ) = x* (t ) yporende { x* (t )} = { x(t )} y X ( ) = X ( ) .
X () =
Re{ X ()} =
Re{ X ( )} =
X ( ) espar
130
TransformadadeFourier
AnlisisdeFourier
Lasfunciones Re{ X ( )}2 y Im{ X ()}2 sonpares,lasumadesealesparesespary larazcuadradadeunasealparespar. X () esimpar Im { x( )} Im { x()} X ( ) = tan 1 = tan 1 Re { x( )} Re { x()}
Im { x()} X ( ) = tan 1 = X ( ) Re { x()} Si x(t ) esparentonces
Re{ X ( )} =
Enestecasolatransformadaesunsealrealypuedeencontrasecomo
Si x(t ) esimparentonces
Re{ X ( )} = x(t )cos(t ) dt = 0 14243
impar
Enestecasolatransformadaesunsealimaginariaypuedeencontrasecomo
X () = 2 j x(t )sin(t )dt
0
131
TransformadadeFourier
AnlisisdeFourier
5.2.3.4.
Dualidad
Si la transformada de Fourier de una seal en el tiempo x(t ) es la seal X () , entonceslatransformadadelasealeneltiempo X (t ) eslaseal 2 x( ) . Supongaque { x(t )} = X () ,entonces
1 x( t ) = 2
X () e
jt
2 x( ) =
X (t )e
jt
dt
ElladoderechodeestaecuacincorrespondealatransformadadeFourierdelaseal X (t ) ,portalmotivo, { X (t )} = 2 x( )
Figura5.8.Latransformadadeunpulsoesunasealsinc.
Figura5.9.Latransformadadeunasealsincesunpulso.
132
TransformadadeFourier
AnlisisdeFourier
Esta propiedad es de gran utilidad para encontrar la transformada de Fourier de sealesquenopertenecena L1 ,comoveremosmsadelante. Ejemplo5.4.EncuentrelatransformadadeFourierdelaseal x(t ) = 1 /( 2 + j) . Solucin. Conociendo que {e 2t u(t )} = 1 /( 2 + j) y utilizando la propiedad de dualidadpara x(t ) = e 2t u (t ) y X () = 1 /( 2 + j) ,setieneque {1 /( 2 + j )} = 2 x( ) = 2 e 2 u( )
5.2.3.5. Escalamiento La compresin o expansin de una seal afecta su transformada de Fourier de forma inversa. Una seal que se comprime sufre una expansin de su transformada de Fourier, es decir presenta componentes de frecuencia ms altos. Por otro lado, una seal que es expandida sufre una compresin de su transformada de Fourier y por lo tantounacompresindelasfrecuenciaspresentesenlaseal.
Original
Compresin
Expansin
Figura5.10.Expansinycompresindeunaseal
ConsideremoslatransformadadeFourierdeunsealescalada
{ x( at )} =
x(at )e
jt
dt
u = at du = adt
133
TransformadadeFourier
AnlisisdeFourier
1 a X a si a > 0 { x( at )} = 1 X si a < 0 a a
Portalmotivo,
{ x( at )} =
1 X a a
EnlasFiguras5.11y5.12seilustraelefectodelescalamientodeunpulsocentradoen el origen y ancho 2a . Si el pulso se comprime, su transformada de Fourier (seal sinc) seensancha,loqueindicaquelasealcomprimidapresentafrecuenciasmsaltasque la seal original. Si el pulso se expande, su transformada se comprime, lo que indica quelasealexpandidapresentafrecuenciasmsbajasquelasealoriginal.
Figura5.11.Comprensinentiempoexpansinenfrecuencia.
Figura5.12.Expansinentiempocompresinenfrecuencia.
Ejemplo 5.5. La transformada de Fourier de una seal x(t ) es X () = 1 /(1 + 2 ) . EncuentrelatransformadadeFourierdelaseal x( t / 2) . Solucin. Utilizando la propiedad de escalamiento se tiene que { x( t / 2)} = 2 X ( 2) yporlotanto { x( t / 2)} = 2 / 1 + 4 2 .
134
TransformadadeFourier
AnlisisdeFourier
5.2.3.6.
Desplazamientotemporal
Figura5.13.Desplazamientotemporaldeunaseal.
{ x(t t0 )} =
x(u )e
jt0
j ( u + t0 )
du du
{ x(t t0 )} = e
x(u )e
ju
Portalmotivo,
DesplazamientoenFrecuencia(Modulacindeamplitud)
x(t )e j0t =
} x(t )e
j0t jt
dt
135
TransformadadeFourier
AnlisisdeFourier
x(t )e
j0 t
} = x(t )e
j ( 0 )t
dt
Portalmotivo,
x(t )e
j0 t
} = X ( )
0
Figura5.14.Sealpulsomultiplicadaporunexponencialcomplejo.
Figura5.15.Desplazamientodelasealsinchastalafrecuencia 0 .
Ejemplo 5.6. El proceso de modificar la amplitud de una seal armnica de alta frecuenciaseconocecomomodulacindeamplitud.
Figura5.16.Modulacindeamplitud.
136
TransformadadeFourier
AnlisisdeFourier
La amplitud de la seal x(t ) modifica (modula) la amplitud de la seal cos( 0 )t de forma tal que la informacin de la seal x(t ) , que estaba contenida en componentes de frecuencia bajas, ahora est contenida en una seal de alta frecuencia. Analicemos elefectodemultiplicarunasealarbitrariaporlaseal cos( 0 )t . 1 1 { x(t )cos(0t )} = { x(t )e j0t } + { x(t )e j0t } 2 2
1 1 X ( 0 ) + X ( + 0 ) 2 2 Al multiplicar la seal por el cos( 0t ) , la mitad de de su transformada de Fourier X () se traslada hasta 0 y la otra mitad hasta 0 . Suponga que x(t ) = e t u(t ) , entonces X () = 1 /(1 + j ) .Simodulamoslasealconel cos(10t ) setieneque 1 1 1 {e t u (t )cos(10t )} = + 2 1 + j ( 0 ) 1 + j ( + 0 ) EnlasFiguras5.17y5.18seilustraelefectodelamodulacinsobrelasealoriginal.
{ x(t )cos(0t )} =
Figura5.17.SealoriginalylamagnituddesutransformadadeFourier.
Figura5.18.SealmoduladaylamagnituddesutransformadadeFourier.
137
TransformadadeFourier
AnlisisdeFourier
5.2.3.8.
Diferenciacin
Si conocemos la transformada de una seal x(t ) L1 podemos encontrar la transformadade dx(t ) / dt L1 ,yengeneralladecualquieradesusderivadas. Si X () pertenecea L1 ,entonces 1 x( t ) = X ()e jt d 2 Derivandoaambosladosdelaigualdadconrespectoa t setiene dx(t ) 1 = jX ()e jt d = 1{ jX ( )} dt 2 Portalmotivo,sitransformamosambosladosdelaigualdadobtenemos dx(t ) = jX () dt Similarmente,sepuededemostrarqueparaunaderivadadeordensuperiorsecumple d n x(t ) n = ( j )n X ( ) dt Ejemplo5.7.SupongaquelatransformadadeFourierdeciertaseal x(t ) eslafuncin X () = 1 /(1 + 2 ) .EncuentrelatransformadadeFourierdelaseal d 2 x(t ) / dt 2 . d 2 x (t ) 2 2 Solucin. = ( j ) X ( ) = 2 1 + 2 dt 5.2.3.9. Propiedadesderivadasdelaintegrabilidadenmagnitud Lasiguientespropiedadessebasanenelhechodequelaseal x(t ) pertenecea L1 . Si x(t ) L1 entonces X () esacotada,puessepuededemostrarque
X ()
x(t )e
j t
dt = x(t ) dt = x(t ) 1
138
TransformadadeFourier
AnlisisdeFourier
Deformasimilarsi X () L1 ,entonces x(t ) esacotada,pues 1 1 1 j t x (t ) X ()e d = X () d = X ( ) 1 2 2 2 Continuidad Si X () L1 entonces X () esunasealcontinua.Unafuncin f ( x) escontinuasi lim f ( x + h ) f ( x ) = 0 x R
h 0
ParalatransformadadeFouriersetieneque
X ( + h) X () = X ( + h) X () =
x(t )e j ( + h )t dt
jt
x(t )e
jt
dt
x(t )e
h0
jht e 1 dt
Se debe demostrar que el lim [ X ( + h ) X ( )] = 0 . Sea {hn } una sucesin que tiende a cero a medida que n , entonces basta comprobar que el lim [ X ( + hn ) X ()] = 0 .Paraellosetieneque
n
lim [ X ( + hn ) X ( )] = lim
n n
x(t )e
jt
jhn t 1 e dt
La seal x(t )e jt [e jht 1] pertenece a L1 , entonces utilizando el Teorema de la convergencia dominada de Cauchy se puede intercambiar el orden entre la integral y ellmite,paralocualsetieneque Observacin 5.5. Toda seal en L1 debe tener transformada de Fourier continua. Por tal motivo, la seal sinc(t ) no pertenece a L1 , puessu transformada de Fourier esunasealpulso,lacualnoesunaseal continua (presentadiscontinuidades).
lim [ X ( + hn ) X ( )] =
n
lim x(t )e
n
jt
jhn t 1 e dt = 0
139
TransformadadeFourier
AnlisisdeFourier
TeoremadeRiemannLebesgue
Si una seal x(t ) se retrasa en el tiempo un valor t0 , su transformada de Fourier X () presentaunafaseadicionaldevalor t0 .Sialatransformadaselerestauna fasedevalor ,entonceslaseal x(t ) seretraseneltiempo / .Portalmotivo,
X ( ) = X ()e
x(t / )e
jt
dt
Deacuerdoaestaecuacin,sepuedeescribir
2 X () =
x(t )e
j t
jt
X ()
X ()
yportalmotivo,
lim
0
g (t + ) g (t ) dt = 0
porlocual
lim
x(t ) x(t / ) dt = 0
yporendesi entonces X () = 0 . Observacin 5.6. Ninguna seal en L1 puede tener como transformada de Fourier unasealconstante.
140
TransformadadeFourier
AnlisisdeFourier
Cambiandoelordendeintegracinsetiene
{ x(t ) y(t )} =
jt j t = x ( t ) y ( ) e dt d y ( ) x(t )e dt d
{ x(t ) y(t )} =
y( ) X ()e j d = X ( ) y( )e j d
Portalmotivo
Observacin 5.7. La convolucin en el tiempo de dos seales implica la multiplicacindesustransformadasdeFouriereneldominiodelafrecuencia. Ejemplo5.8.EncuentrelatransformadadeFourierdelaconvolucin x(t ) x(t ) , donde
Figura5.19.Sealpulsodeancho2a.
141
TransformadadeFourier
AnlisisdeFourier
jt
dt = 2a sinc( a)
Figura5.20.Transformadadelaconvolucindeunpardepulsos.
Propiedad 5.3. Si las seales x(t ) y y(t ) pertenecen a L1 , entonces su convolucin x(t ) y(t ) tambinpertenecea L1 .
Demostracin.Aprobarque
x(t ) y(t ) dt R
x(t ) y( )d
dt
x(t ) y( ) d dt
Intercambiandoelordendeintegracinsetiene
x(t ) y(t ) dt
y( )
x(t ) dt d 14 4 244 3
x(t ) 1
y( ) d
Portalmotivo
x (t ) y (t ) 1 x( t ) 1 y ( t ) 1
142
TransformadadeFourier
AnlisisdeFourier
5.3.1. RespuestadeunsistemaLTIutilizandolatransformadadeFourier La convolucin entre la seal de entrada y la respuesta al impulso del sistema puede ser realizada utilizando la propiedad de convolucin de la transformada de Fourier. La transformadadeFourierdelasalidadelsistemaLTIpuedeserencontradacomo { y(t )} = { x(t ) h(t )} = X () H () donde X () es la transformada de Fourier de la seal de entrada x(t ) y H () correspondealatransformadadelarespuestaalimpulsodelsistema h(t ) .
Fig.RespuestadeunsistemaLTIconrespuestaenfrecuenciaH().
Lafuncin H () seconocecomorespuestaenfrecuenciadelsistema,puesindicaen queformaelsistemamodificalascaractersticasfrecuencialesdelasealdeentrada. Ejemplo5.9.Laseal x(t ) = e t u (t ) esaplicadaaunsistemaLTIquetienerespuestaal impulso h(t ) = sinc(t ) .EncuentrelatransformadadeFourierdelasalida. Solucin.LatransformadadeFourierdelasealdeentradaes 1 1 X () = { x(t )} = = j 2 1 + j 1 + 2 1+ LarespuestaenfrecuenciadelsistemaLTIestdadapor 1 < < 1 H () = {h(t )} = 0 otro caso
Figura5.21.MagnituddelatransformadadeFourierdelasealyrespuestaenfrecuenciadelsistema.
143
TransformadadeFourier
AnlisisdeFourier
El sistema se comporta como un filtro que slo lo deja pasar las frecuencias bajas, contenidas entre0.5 y 0.5 radianes sobre segundo. La transformada de Fourier de la salida puede encontrarse como Y () = X () H () . La seal X () es compleja, por lo cual la seal Y () tambin lo es. La seal H () es real, por tal motivo su fase es ceroynoalteralafasede X () .Deacuerdoaesto,lafasede Y () vienedadapor Im{ X ()} Y () = X () = arctan Re{ X ()} Y () = arctan ( ) Lamagnitudde Y () puedeencontrarsecomo X ( ) 1 < < 1 Y () = otro caso 0 1 < < 1 Y () = 1 + 2 0 otro caso
Figura5.22.TransformadadeFourierdelasalida:magnitudyfase.
Una seal puede descomponerse como la suma contina de exponenciales complejos dediferentesfrecuencias,portalmotivo,larespuestadeunsistemaLTIanteunaseal puede verse actuando de forma separada sobre cada componente de frecuencia de la seal,atenuando,amplificandoodejandoinalteradacadacomponente. Un sistema LTI puede ser diseado para modificar las propiedades frecuenciales de unasealdeentrada.PorejemplounsistemaLTIqueslodejapasarlascomponentes debajafrecuenciadeunasealseconocecomounfiltropasabajas.
144
TransformadadeFourier
AnlisisdeFourier
5.3.2. Multiplicacindesealeseneltiempo Cuando dos o mas seales se multiplican en el tiempo su caractersticas frecuenciales se modifican. El efecto que tiene una multiplicacin en el tiempo es importante de analizar,puesesteprocedimientoescomnmenteutilizadoenelanlisisdeseales. Propiedad5.4.Lamultiplicacindedossealeseneltiempoimplicalaconvolucinde sustransformadasdeFouriereneldominiodelafrecuencia. 1 { x(t ) y(t )} = [ X ( ) Y ( )] 2 Demostracin.
{ x(t ) y(t )} =
jt
dt
Laseal y(t ) puedeexpresarseutilizandolaformuladelatransformadainversa,como 1 jt j t { x(t ) y(t )} = x(t ) Y ( ) e d e dt 2 Cambiandoelordendeintegracinsetiene 1 j ( ) t { x(t ) y(t )} = Y ( ) x ( t ) e dt d 2 Observacin 5.8. La convolucin en el tiempo implica multiplicacin en frecuencia (productodetransformadas).Unamultiplicacindedossealesimplicaconvolucin enlafrecuencia(convolucindesustransformadas).
{ x(t ) y(t )} =
1 2
Y ( ) X ( ) d = 2 [Y () X ()]
Ejemplo5.10.Supongaquesenospideestudiarlascomponentesdefrecuenciadeuna seal de ECG (electrocardiografa) con el fin de monitorear la salud de un paciente. Para ello se emitir un reporte de la actividad cardiaca del paciente cada dos segundos. Con el fin de obtener el fragmento que nos interesa, de longitud dos segundos, multiplicamos la seal x(t ) por una ventana v(t ) , con el fin de aislar el segmento a estudiar. El tipo de ventana elegida, determina la distorsin de la transformadadeFourier X () .
145
TransformadadeFourier
AnlisisdeFourier
Figura5.23.SealoriginaldeECGysutransformadadeFourier(suposicin).
Si elegimos como funcin una ventana rectangular (pulso), la transformada de Fourier delasealdeECGseconvolucionaconunasealsinc,eneldominiodelafrecuencia.
Figura5.24.SealventanarectangularylasealdeECGventaneada.
Si la ventana rectangular es ancha, su transformada es un sinc angosto y la distorsin sobre la transformada original es poca, Figura 5.25. En cambio, si la ventana rectangular es angosta, su transformada es una seal ancha y la transformada de Fourierdelasealoriginalsevedistorsionadaenmayorgrado,Figura5.26.
Figura5.26.Transformadadelaventanarectangularanchaysuefectoenlatransformadadelaseal deECG.
Figura5.26.Transformadadelaventanarectangularangostaysuefectoenlatransformadadelaseal deECG.
146
TransformadadeFourier
AnlisisdeFourier
E=
x(t ) dt =
x(t ) x (t ) dt
*
E=
1 x(t ) 2
( )e jt d dt
Intercambiamoselordendeintegracin,setiene
1 E= 2
E=
jt X ( ) x ( t ) e dt d
1 2
( )X ( ) d
E=
1 2
X () d
x (t ) 2 =
1 X () 2 2
Observacin 5.9. Si una seal pertenece a L2 entonces su transformada de Fourier tambin pertenece a L2 . Por tal motivo, la transformada de Fourier puede verse como una funcin de L2 a L2 . Por ejemplo, la transformada un pulso es la funcin sinc.Dadoqueelpulsopertenecea L2 entonceselsinc tambinpertenecea L2 .
Lafuncin X ( ) 2seconocecomodensidadespectraldeenergaydainformacinde cmo est repartida la energa de la seal en las diferentes frecuencias. El rea de la densidad espectral de energa en un intervalo dado nos indica la cantidad de energa delasealqueseencuentraeneserangodefrecuencias.
147
TransformadadeFourier
AnlisisdeFourier
Ejemplo 5.11. Calcule la energa de la seal x(t ) = e at u(t ) , donde a > 0 , tanto en el dominiodeltiempocomoeneldominiodelafrecuencia. Solucin. Tiempo
E=
x(t ) dt = e at dt
2 0
( )
0
E = e
0
a 2t
e a 2t dt = 2a
E=
1 2a
Frecuencia
E=
1 2
X ( ) d
1 a + j
{ x(t )} = X () =
X () =
a + 2
2
1 E= 2
E= 1 2a
1 1 1 d = tan 1 2 2 2 a a + a
HastaestepuntoslopodemosencontrarlatransformadadeFourierdeunasealen L1 . Por tal motivo, es necesario definir la transformada de Fourier para seales de energafinita(sealesen L2 )quenonecesariamentepertenezcana L1 . 5.5. TransformadadeFourierL2 El espacio L2 y su norma . 2 forman un espacio de Hilbert, es decir, un espacio normado completo con producto interno. Sean x(t ) y y(t ) seales pertenecientes a L2 ,entonceselproductointernoen L2 sedefinecomo
148
TransformadadeFourier
AnlisisdeFourier
x, y = x(t ) y* (t )dt
x(t ) dt = x(t ) 2
Si x(t ) L1 L2 , su transformada de Fourier puede ser encontrada utilizando la integral de Fourier para seales en L1 . Sin embargo si x(t ) L2 L1 , la formula de la transformadadeFourier L1 nonecesariamenteconverge. Definicin 5.1. Un conjunto A es denso en un conjunto B , si para todo elemento b B ,cualquiervecindariode b contieneporlomenosunelemento a A . Ejemplo5.12.Elconjuntodelosnmerosracionalesesdensoenlosreales.Alabrirun intervalo, sin importar que tan pequeo sea, sobre cualquier nmero real, siempre habr por los menos un nmero racional dentro de este intervalo. As, cualquier nmerorealpuedeaproximarsetanbiencomosequieraporunnmeroracional. El espacio L1 L2 es denso en L2 , por lo cual cualquier seal de L2 puede ser aproximada tan bien como se quiera por una seal de L1 L2 . Recordemos que las seales en L1 L2 tiene transformada de Fourier L1 . Por tal motivo para x(t ) L2 se puede encontrar una familia de seales { xN (t )} , donde N Z , que pertenecen a L1 L2 yqueconvergenen L2 alaseal x(t ) ,esdecir lim x(t ) xN (t ) 2 = 0
N
Figura5.27.Sealoriginaldeenergafinitaysuversintruncada.
149
TransformadadeFourier
AnlisisdeFourier
x (t ) 2 =
1 2
X () 2
DeacuerdoalteoremadePlancherel,paracada N Z + laseal X N () L2 . Se puede demostrar que { xN (t )} es una sucesin de Cauchy en L2 , es decir, xN1 (t ) xN2 (t ) 2 es arbitrariamente pequeo si N1 y N 2 son lo suficientemente grandes.UtilizandoelteoremadePlancherelsetiene
xN1 (t ) xN2 (t ) =
2
1 2
X N1 ( ) X N2 ()
2
por lo cual { X N ()} es tambin una sucesin de Cauchy en L2 . Dado que L2 es un espacio completo, la sucesin { X N ()} converge a un elemento del espacio L2 . Sea X ( ) L2 lasealtalque lim X () X N () 2 = 0
N
X () = lim x(t )e jt dt
N N
Deformasimilar,latransformadainversadeFourier L2 sedefinecomo
x( t ) =
N 1 2 N N
lim
X ( )e jt d
150
TransformadadeFourier
AnlisisdeFourier
lim
sinc(t ) dt =
sin(t ) dt = . t
Solucin.Aprobarque
La seal sinc(t ) es par, por tal motivo basta probar que seal
G( x ) = e tx
0
sin(t ) dt = . Definamos la 2 t 0
sin(t ) dt t
entonces
G '( x ) =
dG ( x ) = e tx sin(t ) dt dx 0
e jt e jt 1 t ( x j ) = et ( x+ j ) G '( x ) = e tx dt e dt 2 2 j j 0 0
1 et ( x j ) et ( x+ j ) 1 1 1 G '( x ) = = 2j x j x + j 0 2 j x + j x 1 G '( x ) = 2 x +1
+c
lim G( x ) = lim e tx
x x
0
sin(t ) dt = 0 t
151
TransformadadeFourier
AnlisisdeFourier
Portalmotivo,laconstantedeintegracines c = / 2 .Evaluandoellmite x 0
sin(t ) sin(t ) dt = dt = / 2 t t 0
{ (t t0 )} =
(t t )e
0
j t
dt = e jt0
Portalmotivo,latransformadadeFourierdeunimpulsoubicadoen t0 correspondea unexponencialcomplejoeneldominodelafrecuencia,defrecuencia t0 . Ejemplo5.14.EncuentrelaTFdelaseal x(t ) = 3 (t 3) + 2 (t ) (t + 1) . Solucin. { x(t )} = 3{ (t 3)} + 2{ (t )} { (t + 1)} { x(t )} = 3e j 3 + 2e j 0 e j { x(t )} = 2 e j + 3e j 3
Observacin 5.11. La funcin impulso no pertenece a L1 , pues su transformada de Fouriernotiendeaceroamedidaque . 5.6.2. TransformadadeFourierdeunexponencialcomplejo
Unexponencialcomplejoesunasealperidica,portalmotivonopertenecea L1 ysu transformada de Fourier no puede ser encontrada utilizando la integral para L1 . En la Seccin 5.9.1 se encontr que la transformada de un impulso corresponde a un
152
TransformadadeFourier
AnlisisdeFourier
exponencial complejo en el dominio de la frecuencia. De esta forma, utilizando la propiedaddedualidadsetienequesi { (t t0 )} = e jt0 ,entonces {e j0t } = 2 ( 0 ) = 2 ( + 0 )
Portalmotivo
{ e j 0t } = 2 ( 0 )
Figura5.28.SealexponencialcomplejoysutransformadadeFourier.
Observacin 5.12. El exponencial complejo posee una nica componente de frecuenciadevalor 0 . Ejemplo5.15.EncuentrelatransformadadeFourierdelaseal x(t ) = cos(0t ) Solucin. e j 0 t + e j 0t 1 j t j t { x(t )} = {cos(0t )} = = {e 0 + e 0 } 2 2
{ x(t )} =
Figura5.29.TransformadadeFourierdelasealcos(0t).
153
TransformadadeFourier
AnlisisdeFourier
{ }
Figura5.30.SealconstanteysutransformadadeFourier.
Observacin 5.13. La informacin sobre el nivel DC de una seal se encuentra en la transformadadeFourierevaluadaen = 0 ,esdecir, X (0) .
La transformada del exponencial complejo es la clave para encontrar la transformada deFourierdecualquiersealperidica. 5.6.3. TransformadadeFourierdesealesperidicas Si x(t ) es una seal peridica, con periodo T , entonces x(t ) L1 y la seal peridica puedeexpresarsepormediodeunaserieexponencialdeFourier,como 2 x(t ) = Cn e jn0t , 0 = T n =
{ x(t )} = cn e jn0t = {cn e jn0t } = cn {e jn0t } n = n = n =
{ x(t )} =
n =
cn {e jn0t } =
n = n
n =
c 2 ( n )
n
0 0
{ x(t )} = 2
c ( n )
Portalmotivo,siseconocenloscoeficientesdelaserieexponencialdeFourierdeuna seal peridica, su transformada de Fourier puede ser encontrada directamente, ubicando una funcin impulso en la frecuencia correspondiente al coeficiente cn , de peso 2 cn . Claramente, una seal peridica no pertenece a L1 , pues su transformada deFourierestaformadaporunaseriedeimpulsos,porlocualnoescontinua.
154
TransformadadeFourier
AnlisisdeFourier
Ejemplo 5.17. Una seal peridica tiene los coeficientes cn que se muestran en la Figura5.31,encuentrelasealysutransformadadeFourier,si 0 = 3 .
Observacin 5.14. Todas las frecuencias presentes en una seal peridica son mltiplos de la frecuencia fundamental 0 . La transformada de Fourier de una seal peridica est formada por un conjunto de impulsos y no puede ser encontradautilizandolaecuacindelatransformadadeFourier L1 .
Figura5.31.CoeficientesdeFourierparalasealperidica.
Solucin. El coeficiente cn se encuentra ubicado en la frecuencia n0 , por lo cual, los coeficientes son c2 = 2 , c1 = 4 , c0 = 4 , c1 = 4 y c2 = 2 . Conociendo que en la serie deFourierelcoeficiente cn acompaaaltrmino e jn 3t ,setiene x(t ) = 4e j 0t + 4e j 3t + 4e j 3t + 2e j 6t + 2e j 6t x(t ) = 4 + 2 cos(3t ) + cos(6t ) LatransformadadeFourierpuedeencontrarsecomo { x(t )} = 4{e j 0t } + 4{e j 3t } + 4{e j 3t } + 2{e j 6t } + 2{e j 6t }
{ x(t )} = 4 [2 () + 2 ( 3) + 2 ( + 3) + ( 6) + ( + 6)]
Figura5.32.TransformadadeFourierdelasealperidica.
155
TransformadadeFourier
AnlisisdeFourier
5.7. AplicacionesdelatransformadadeFourier 5.7.1. Estimacinespectral La transformada de Fourier de una seal nos da informacin de sus componentes frecuenciales. La funcin X ( ) o espectro de Fourier, nos indica que componentes de frecuencia estn presentes en la seal x(t ) y en que proporcin. La funcin X ( ) 2 o densidad espectral de energa, nos indica como se encuentra repartida la energadesealenlasdiferentescomponentesdefrecuencia. 5.7.2. AnlisisdesistemasLTI La transformada de Fourier nos permite encontrar la respuesta en frecuencia H () deunsistemaLTIapartirdesurespuestaaimpulso h(t ) .Apartirdelafuncin H () podemos analizar de qu forma se comporta nuestro sistema ante diferentes componentes de frecuencia. Adicionalmente utilizando la funcin H () se puede encontrar la respuesta del sistema, y(t ) , ante cualquier seal de entrada x(t ) . Para ello se hace Y () = X ( ) H () , donde X () y Y () , corresponde a las transformadas de Fourier de x(t ) y y(t ) , respectivamente. Posteriormente la seal desalidadelsistemapuedeserencontradacomo y(t ) = 1{ y(t )} = 1{ X () H ()} . 5.7.3. Ecuacionesdiferencialesordinariasyparciales Utilizandolapropiedaddediferenciacin,dadapor d n x (t ) F = ( j )n X ( ) n dt una ecuacin diferencial ordinaria o parcial, puede ser resuelta en el dominio de la frecuencia. A continuacin se presenta un ejemplo de una ecuacin diferencial ordinaria. Las ecuaciones diferenciales parciales se estudiarn detenidamente en una seccinposterior. Ejemplo 5.18. Utilizando la transformada de Fourier, resuelva la ecuacin diferencial
x(t ) + a x(t ) + bx(t ) = y (t ) ,donde y(t ) esunasealarbitraria. Solucin.Primerosetransformanambosladosdelaigualdad. .. . x(t ) + a x(t ) + b{ x(t )} = { y(t )}
..
( j)2 X ( ) + ajX () + bX () = Y ( )
156
TransformadadeFourier
AnlisisdeFourier
X () =
Y () (b 2 ) + aj
x(t ) = 1 { X ( )}
5.7.4. Diseodefiltrosanalgicos ConociendocomosecomportaunsistemaLTIeneldominiodelafrecuenciaesposible disearencircuito(filtro)querealiceunafuncindeseadasobreunasealdeentrada. Para ello se establece la respuesta en frecuencia que se desea y posteriormente se diseauncircuitoanalgicoquetengadicharespuestaenfrecuencia. 5.8. Resumen La serie exponencial no permite representar seales no peridicas sobre un intervalo de tiempo infinito por lo cual es necesario utilizar un conjunto no contabledeexponencialesparaobtenerdicharepresentacin. La transformada de Fourier X () de una seal x(t ) es obtenida al comprar la seal con un conjunto no contable de exponenciales complejos de diferentes frecuencias.LatransformadadeFourierconvergesloparasealesde L1 . X () da informacin de la componente de frecuencia en la seal, por tal motivo, el grfico de la magnitud de X () contra la frecuencia visualiza las componentes de frecuencia presentes en la seal. La funcin X () puede verse comounarepresentacineneldominodelafrecuenciadeunaseal. X ( ) esunafuncinpary X () esunafuncinimpar.Siseconoceque X () es la transformada de Fourier de una seal x(t ) la transformada de X (t ) es encontradacomo 2 x( ) .Unacompresin/expansindeunasealeneltiempo implicaunaexpansin/compresindesutransformadadeFourier. Si una seal se desplaza en el tiempo su transformada se multiplica por un exponencial complejo, mientras que si una seal se multiplica por un exponencial complejosutransformadasedesplazahastalafrecuenciadedichoexponencial.
157
TransformadadeFourier
AnlisisdeFourier
Si una seal pertenece a L1 entonces su transformada de Fourier es acotada, continua y decrece con la magnitud de la frecuencia. La energa de una seal es proporcional a la energa de su transformada de Fourier. Por tal motivo, la transformadadeFourieresunafuncinde L2 a L2 . La transformada de Fourier de una convolucin corresponde al producto de las transformadas. Por tal motivo, la salida de un sistema LTI puede ser encontrada al tomar la transformada inversa del producto entre la transformada de la seal de entradaylatransformadadelarespuestaimpulsodelsistema. LatransformadadeFourierdelarespuestaimpulsodeunsistemaseconocecomo la respuesta en frecuencia del sistema, pues sta indica como responde el sistema a cada componente de frecuencia de entrada. Si un exponencial complejo es aplicado a un sistema LTI la salida corresponde al mismo exponencial multiplicado porlarespuestaenfrecuenciaevaluadaenlafrecuenciadelexponencial. La transformada de Fourier de unexponencial complejo corresponde a un impulso ubicadoenlafrecuenciadelexponencial.LatransformadadeFourierdeunaseal peridicaestformadaporunconjuntodeimpulsos.
5.9. Ejercicios Seccin5.2 1. DeterminelatransformadadeFourierdelaseal x(t ) = e . 2. Determine la transformada de Fourier de la seal x(t ) de la figura. Exprese el resultadoenfuncinde sinc .
t
3. DeterminelatransformadadeFourierde x(t ) = e at cos( 0 t )u (t ) ,donde a > 0 . 4. Determine la transformada de Fourier de la seal x(t ) = e t u (t ) e 2t u (t ) , efectuando primero la convolucin y transformando el resultado y tomando la transformadadecadatrminoydespusmultiplicando.
158
TransformadadeFourier
AnlisisdeFourier
5. HallelatransformadadeFourierdelaseal x(t ) = 2 (t + 2) 2 (t 2) . 6. ConsideremoslasealCampanadeCauchydadapor x(t ) = 1 1 + t 2 . a. Demuestreque x(t ) L1 b. EncuentrelatransformadadeFourierde x(t ) dx 1 bx = Tengaencuentaque 2 tan 1 . 2 2 ab a +b x a
7. Laseal x(t ) =
t2
2 2
,seconocecomosealgaussiana.
Paraa.yb.tengaencuentaque e u du = .
159
TransformadadeFourier
AnlisisdeFourier
UsandolaspropiedadesdelatransformadadeFourier,escribalastransformadasde a. x(2t )
b. x(t 2)e jt
c. 4
dx(t ) dt
11. Use la propiedad de modulacin para encontrar la seal x(t ) cuya transformada deFourierseencuentraenlafigura.
y (t ) =
x(t s) y(s)ds + (t )
a. Si {x(t )} = X () y {y (t )} = Y () ,hallelarelacinentre X () y Y () .
160
TransformadadeFourier
AnlisisdeFourier
Seccin5.7 15. La transformada de Fourier de cierta seal x(t ) es X () = e . Calcule el porcentaje de energa total de x(t ) proporcionada por los componentes de frecuenciahasta1radianporsegundo. 16. Determine el valor numrico de la constante real positiva a , si la mitad de la energadelaseal x(t ) = e at u (t ) estenelrangoespectralde0a1Hz. 17. EvalulassiguientesintegralesutilizandoelteoremadeParseval.
sin t a. dt t
b.
1 dt + t2
Seccin5.7 18. ObtengalatransformadadeFourierdelaseal x(t ) = cos(0t ) ,donde 0 R . 19. Obtenga la transformada de Fourier de la secuencia de impulsos de peso unitario, queseilustraenlafigura.
20. Encuentre la transformada de Fourier de la seal de salida de un rectificador de ondacompleta( y(t ) enlafigura),silaentradaes x(t ) = sin( t ) .
161
6.1. Muestreodesealesdetiempocontinuo
6.1.1. Muestreoidealutilizandofuncionesimpulso Muchas seales de TC deben ser muestreadas para ser procesadas utilizando tcnicas digitales. Como la seal de TC toma valores en todos los instantes de tiempo, es imposible almacenar y procesar todo esa cantidad de informacin. Por tal motivo, el primer paso en el procesamiento digital de una seal contina, es tomar un conjunto de muestras de la seal, con el fin de que stas sean analizadas y/o procesadas. El proceso de tomar un conjunto de muestras de una seal de TC x(t ) , se denomina muestreo.SupongaqueunasealdeTC x(t ) esmuestreadacada Tm segundos.
Figura6.1.MuestreodeunasealdeTC.
El trmino Tm , se conoce como tiempo de muestreo y su inverso f m = 1 / Tm , se conoce comofrecuenciademuestreo.Esclaroenestepunto,queentremsmuestrassetome deunaseal,mssimilarserlaimagenmuestreadadelaversincontinua.Entrems pequeo sea Tm , mayor nmero de muestras se tendr de la seal por unidad de tiempo y mayor ser lafrecuencia de muestreo. Podemos imaginarnos que la seal de TC se hace pasar por un dispositivo, que se cierra cada Tm segundos para obtener la muestra x( nTm ) .Enlosdemsinstantesdetiempo,lasalidadeldispositivoescero. Este procedimiento puede ser modelado multiplicando nuestra seal de TC x(t ) , por untrendeimpulsosigualmenteespaciadosundistancia Tm ,definidoscomo
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
p(t ) =
n =
(t nT
Lasealmuestreada xm (t ) ,esobtenidacomo
xm (t ) =
n =
x(t ) (t nT
Recordemos que al multiplicar una seal x(t ) por un impulso ubicado en t = t0 , se obtiene el mismo impulso de peso la seal en t0 , es decir, x(t ) (t t0 ) = x(t0 ) (t t0 ) . Portalmotivo,nuestrasealmuestreadapuedeserexpresadacomo
xm (t ) =
n =
x(nT
) (t nTm )
Figura6.2.SealdeTCytrendeimpulsos.
La seal de TC xm (t ) , toma el valor de la seal x(t ) en los mltiplos del tiempo de muestreo Tm yelvalorceroencualquierotroinstantedetiempo.
Figura6.3.Sealmuestreadaobtenida.
164
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
xm (t ) = x(t ) (t nTm )
n =
Si tomamos la transformada de Fourier a ambos lados de la igualdad, encontramos la transformada de un producto, la cual corresponde a la convolucin de las transformadasdecadaunodelotrminosdeacuerdoa X m () = x(t ) (t nTm ) n = 1 X m () = X () (t nTm ) 2 n = donde X () corresponde a la transformada de Fourier de la seal original x(t ) . Para computar la transformada del tren de impulsos p(t ) , encontraremos primero su serie exponencial de Fourier, pues la seal es peridica, con periodo Tm . La seal tren de impulsostieneserieexponencialdeFourierdadapor 2 xi (t ) = cn e jnmt , m = Tm n = dondeloscoeficientes cn ,puedenserencontradoscomo T /2 T /2 1 m 1 m jnmt jn m t cn = ( t nT ) e dt ( t nT ) e dt = m m Tm T Tm n = n = Tm / 2 m /2 La ecuacin anterior comprende infinitas integrales evaluadas en el intervalo [Tm / 2, Tm / 2] , deimpulsos ubicados en nTm . Claramente el impulso ubicado en t = 0 es el nico que vive dentro del intervalo de integracin, por tal motivo las integrales para n 0 sonceroylaecuacinanteriorpuedereescribirsecomo
cn =
1 Tm
Tm / 2
Tm / 2
(t ) e jn t dt =
m
1 jn0 ( 0 ) 1 e = Tm Tm
Por tal motivo, la serie exponencial del tren de impulsos unitario con periodo Tm , puedeescribirsecomo
165
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
p(t ) =
n =
1
m
e jnmt , m =
2 Tm
La transformada de Fourier puede ser encontrada utilizando la ecuacin de la transformadaparasealesperidicas,conlacualseobtieneque 2 2 ( n m ), P( ) = m = Tm n = Tm Por lo tanto, la transformada de Fourier X m () de la seal muestreada, corresponde a la convolucin entre la transformada de la seal y un tren de impulsos igualmente espaciadosunadistancia m ydepeso 2 / Tm .Portalmotivoseobtiene 2 1 1 X m () = [ X ()] ( nm ) = [ X () ( nm )] 2 n = Tm Tm n = Propiedad6.1. X () ( 0 ) = X ( 0 ) Demostracin.
X () ( 0 ) =
X ( ) [( ) ] d = X (
0
UtilizandolaPropiedad6.1,latransformadadeFourier X m ( ) ,puedeescribirsecomo
X m () =
1 Tm
n =
X ( n
Observacin6.1.Laseal X m ( ) correspondeaunaversinperidica,conperiodo m , de la transformada de Fourier X () de la seal original x(t ) , escalada en amplitudporelfactor 1 / Tm ,comoseilustraenlaFiguras6.4y6.5. 6.1.3. Recuperacindelasealoriginal Consideremos una seal de TC x(t ) perteneciente a L1 y cuya componente de frecuenciamsaltaes a rad/seg,comoseilustraenlaFigura6.4. Definicin 6.1. Una seal x(t ) tiene ancho de banda limitado si su transformada de Fourier X () tienesoportecompacto,comoseilustraenlaFigura6.4.
166
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Figura6.4.TransformadadeFourierdelasealdeTCdebandalimitada.
Cuando la seal de TC x(t ) se muestrea cada Tm segundos, se obtiene la seal de TC xm (t ) , cuya transformada de Fourier X m ( ) , corresponde a una serie de copias escaladas de la seal X () , espaciadas m , como se ilustra en la Figura 6.5. Por tal motivo, la seal muestreada xm (t ) no tiene ancho de banda limitado (a diferencia de x(t ) )ypresentecomponenteseninfinitasbandadefrecuencia.
Figura6.5.TransformadadeFourierdelasealmuestreada.
Con el fin de reconstruir la seal original x(t ) a partir de sus muestras, se debe filtrar lasealmuestreada xm (t ) ,paraeliminarlascopiasredundantesde X () en X m () . Para ello, se debe ajustar un filtro ideal pasabajas con respuesta en frecuencia H () tal que slo permita el paso de la copia central de X () y elimine las copias redundantes,comoseilustraenlaFigura6.6.
Figura6.6.Eliminacindelascopiasredundantes.
167
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
La seal x(t ) es perfectamente reconstruida si se tiene un filtro ideal con frecuencia decorte c ajustadoparacontenerlacopiacentralde X () ,verFigura6.7.
Figura6.7.Reconstruccindelasealoriginal.
Observacin6.2.Elfiltroideal H () ,implicaunsistemaquetieneporrespuestaal impulso la funcin sinc, es decir, h(t ) = sinc(t ) . En la prctica es imposible obtener un sistema con esta respuesta al impulso, pues se requiere que el sistema no sea causal y que su respuesta impulso tenga soporte infinito. Por tal motivo, en la prcticaesimposiblereconstruirdeformaexactalasealoriginal.
Parareconstruir x(t ) apartirde xm (t ) deformacorrecta,senecesitaquelascopiasde X () en X m ( ) no se traslapen. Si las copias se traslapan, al realizar el filtrado ideal obtendremosunaversindistorsionadade X () yporlotantotambinunade x(t ) .
Figura6.8.Traslapeentrelascopiasdelatransformadaoriginal.
168
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
X () =
x(t )e
j t
dt
X m () =
(t )e jt dt
X m () =
n =
x( nTm ) (t nTm )e jt dt
Utilizandolapropiedaddeseleccindellafuncinimpulso,setiene
X m () =
n =
x(nT
)e jnTm
6.1.5. Sealesmuestreadasysealesdiscretas La seal muestreada xm (t ) slo contiene informacin importante en aquellos tiempo de muestreo, en los otros instantes del tiempo es cero. Por tal motivo, es suficiente almacenar la informacin de la seal de TC x(t ) en un seal de TD xn que contenga slolosvaloresmuestreados. Definamos x n como la seal de tiempo discreto dada por xn = x( nTm ) . Para un valor dado de n , la seal x n indica el valor de la seal de TC x(t ) , en el tiempo t = nT , donde n Z . Por tal motivo, toda seal discreta puede verse como una seal de tiempocontinuoquehasidomuestreada.
169
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Figura6.9.SealdeTDobtenida.
Al visualizar una seal de TD, slo se presentan las muestras y no el tiempo en el cual stas fueron tomadas. Sin embargo, la informacin del tiempo de muestreo siempre debe ser conocida para el anlisis de la seal y para su correcta visualizacin en una escala temporal. Adicionalmente, en la Seccin 6.2 se muestra que el tiempo de muestreo Tm es de suma importanciapara relacionar la frecuencia angular discreta conlafrecuenciaangularcontinua . Observacin 6.3. Dos seales de TC pueden generar la misma seal de TD al ser muestreadas,porlocualesimportanteespecificareltiempodemuestreo. Ejemplo 6.1. Consideremos dos seales sinusoidales de TC, de diferente frecuencia. Las dos seales son muestreadas de tal forma que se toman 4 muestras por cada periodo de la seal: mximo, mnimo y cruces por cero. En este caso, la seal de TD obtenidaeslamisma,comoseilustraenlasealderechadelaFigura6.10.
X m () =
n =
x(nT
)e jnTm
170
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Definamos comolafrecuenciaangulardiscreta,dadapor = Tm .Conociendoque la seal de TD xn se relaciona con la seal de TC x(t ) , por medio de xn = x( nTm ) , podemosdefinirlatransformadadeFourierparaunasealdeTD xn ,deacuerdoa
{ xn } = X ( ) =
n =
xe
n
j n
Observacin 6.4. La transformada de Fourier X m () , de la seal muestreada xm (t ) ,ylaTransformadadeFourier X ( ) ,delasealdeTD xn serelacionanporla variable = Tm . Si se quiere encontrar X ( ) a partir de X m ( ) , se hace X ( ) = X m () para = / Tm .
Figura6.11.SealpulsodeTDdeancho2.
X ( ) =
X ( ) = e + 1 + e j = 1 + 2 cos( )
n = j
xe
n
j n
n =1
j n
Figura6.12.TransformadadeFourierdelasealpulsodeTD.
171
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
X ( ) = X ( )
n =
xn e j n
n =
xn e j n
n =
xn = xn 1
X ( + 2 k ) = X ( + 2 k ) =
n =
xe
n
j ( + 2 k ) n
n = j n
xe
n
j n j 2 kn
n =
xe
n
= X ( )
LaPropiedad6.3tambinpuededemostrarseapartirdelaObservacin6.4. 6.2.2. InterpretacindelatransformadadeFourierl1 Paraunvalordadode 0 ,lamagnitudde X (0 ) dainformacindelaparticipacinde lacomponentedefrecuencia 0 enlaseal xn .Conociendoquelafrecuenciadiscreta es peridica, tiene sentido que la transformada de Fourier de una seal peridica tambin lo sea. Por tal motivo, si se conoce X ( ) sobre un intervalo de longitud 2 se pueden conocer las componentes de frecuencia presentes en una seal. Recordemos que la frecuencia ms alta es y la ms baja es 0 , por lo cual las frecuentas altas son las cercanas a y las frecuencias bajas las cercanas a 0 .La Figura6.13ilustralascomponentesdefrecuenciasdelasealdelEjemplo6.2.
Figura6.13.EspectrodeFourierdelasealdelEjemplo6.2.
172
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Una vez es obtenida la transformada de Fourier X ( ) , de una seal de TD xn l1 , la sealpuedeserrecuperadautilizandolatransformadainversadeFourier.Observeque X ( ) es una seal peridica,con periodo 2 , y corresponde a una serie exponencial de Fourier, con coeficientes dados por xn y seales base e j n . Los coeficientes de la serie exponencial (seal xn ) pueden ser encontrados utilizando la formula de los coeficientes cn delaserieexponencialdeFourier,apartirdelocualsetiene
-1{ X ( )} = xn =
1 2
X ( )e
j n
Apartirdeestaecuacin,esclaroque X ( ) ponderaunasumacontinua(integral)de exponencialescomplejosdedistintasfrecuenciasconelfindeobtenerlaseal xn . 6.2.3. PropiedadesdelaTFdeunasealdiscreta Linealidad {axn + byn } = aX ( ) + bY ( ) Desplazamientoeneltiempo { xn n0 } = X ( )e jo Periodicidad Modulacin
{ xn e j0 n } = X ( 0 )
Multiplicacin
{ xn yn } = X ( ) Y ( ) =
X ( )Y ( )d
X ( + 2 ) = X ( )
Simetra
X ( ) espary X ( ) esimpar
173
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.2.4. TransformadadeFourierparasealesperidicasdiscretas Las seales peridicas discretas no pertenecen a l1 por lo cual su transformada de Fouriernopuedeserencontradapormediodelasumatoria.Deformaanlogaalcaso continuo,sequiererepresentarunasealperidicadiscretacomounacombinacinde armnicos de su frecuencia fundamental. Sea xn una seal con periodo N , entonces sufrecuenciaangulares 0 = 2 N ylasealpuedeescribirsecomo
xn =
k =
ce
k
jk0 n
donde cada coeficientes complejo ck controla el aporte del ksimo armnico en la representacindelaseal. Propiedad6.4.Slohay N sealesdistintasdelaforma e jk0 n . Demostracin. e j ( k + N )0 n = e jk0 n e jN0 n = e jk0 n Por tal motivo, la seal puede representarse utilizando slo N armnicos de su frecuenciafundamental,deacuerdoa
xn = ck e jk0 n
k =0
N 1
Est representacin se conoce como la serie exponencial de Fourier para una seal discreta y a diferencia del caso continuo, la seal xn se expresa en funcin de un conjunto finito de exponenciales. Para encontrar los coeficientes ck cambiemos el ndicedelasumatoriapor m ymultipliquemosaambosladosporunexponencial
N 1
xn e jk0 n = ck e j ( m k )0 n
m=0
N 1
m=k mk
174
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Portalmotivo,loscoeficientesdelaserieexponencialpuedenencontrarsecomo
ck =
1 N
x e
n=0 n
N 1
jk0 n
k = 0,1, ..., N 1
SupongaqueunasealtienetransformadadeFourier X ( ) =
k =
2 (
k 2 )
Encontremosaquesealperteneceestatransformada,paraellosehace 1 2 ( 0 k 2 )e j n d xn = 1 2 ( 0 k 2 ) = 2 k = 2 k =
1 xn = 2
2
2 ( )e
0 0
j n
d = e j0 n
Por tal motivo, la transformada de Fourier de un exponencial complejo de frecuencia 0 es un conjunto impulsos de periodo y peso 2 , ubicados en las frecuencias 0 + 2 k ,con k Z .As,paraunexponencialcomplejodefrecuencia 0 setiene
{e j0 n } =
k =
2 (
k 2 )
Esta ecuacin es la clave para encontrar la transformada de Fourier de cualquier seal peridica. Consideremos la transformada de Fourier de una seal peridica discreta expresadacomounaserieexponencialdeFourier N 1 N 1 X ( ) = { xn } = ck e jk0 n = ck {e jk0 n } k =0 k =0
X ( ) = 2 ck
k =0
N 1
m =
( k
m2 )
175
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
La funcin X ( ) est formada por un conjunto de N impulsos ubicados en el intervalo [0, 2 ] ,cadaunodeloscualesserepitecada 2 .
Observacin 6.5. Si la transformada X ( ) es un conjunto de impulsos entonces la seal xn es peridica. Por otro lado, si la transformada X ( ) es una funcin continua(nopresentadiscontinuidades)entonceslaseal xn l1 . 6.2.5. TeoremadeParsevalparalaTFdesealesdiscretas Laenergadeunasealdiscretasedefinecomo
E=
n =
xn =
n =
xx
n n
UtilizandolaecuacindetransformadainversadeFourierdeTD,setiene
1 1 j n j n E = xn X ( ) e d x X ( ) e d = n n = 2 2 2 n = 2 Intercambiandoelordenentrelaintegralylasuma,setiene 1 1 E= X ( ) xn e j n d = X ( ) X ( )d 2 2 n = 2 2
Portalmotivo,laenergadelasealdiscretapuedeencontrarsecomo
E=
1 2
X ( ) d
xn hn =
k =
nk k
UtilizandolaecuacindetransformadainversadeFourierpodemosescribir xn k como
176
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
xn hn =
1 k = 2
X ( )e
0
j ( n k )
d hk
Intercambiandoelordenentrelaintegralylasuma,setiene 1 j n xn hn = X ( ) e e j k hk d 2 2 n =
xn hn =
1 2
[ X ( )H ( )] e
j n
xn hn = 1{ X ( ) H ( )} Portalmotivo,latransformadadeunaconvolucinpuedeencontrarsecomo
{ xn hn } = X ( ) H ( )
donde X ( ) = { xn } y H ( ) = {hn } . Los sistemas discretos lineales e invariante en el tiempo se caracterizan por su respuestaimpulso hn ylarespuestadelsistemaacualquiersealdeentrada xn puede encontrarsecomo xn hn .Utilizandolapropiedaddeconvolucin esposibleencontrar latransformadadeFourierdelasalidadelsistemacomoseilustraenlaFigura6.14.
Figura6.14.AnlisisdeunsistemaLTIdiscretoutilizandolatransformadadeFourier
La transformada de Fourier H ( ) de la respuesta impulso hn se conoce como respuesta en frecuencia del sistema, pues est funcin indica como responde al sistema a cada componente de frecuencia de entrada. Observe que la informacin frecuencial de la seal de salida est contenida en la transformada Y ( ) , la cual se obtiene multiplicando X ( ) (que contiene la informacin frecuencial de la seal d entrada) con H ( ) . Por tal motivo graficando la magnitud de H ( ) (sobre un intervalo de longitud 2 ) se puede observar que componentes de frecuencia se atenan,seamplificanonosealteranalpasaratravsdelsistema.
177
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Ejemplo 6.3. Encuentre la respuesta del sistema LTI discreto que tiene la respuesta impulsoqueseilustraenlasiguienteFigura,donde M Z + .
Solucin.Larespuestaenfrecuenciadelsistemapuedeencontrasecomo M M 1 1 1 j n 1 H ( ) = xn e j n = e j n = e e j n + + 2 M + 1 n = M 2 M + 1 n = M n = n =1
1 M j n j n 1+ e + e n 2M + 1 n = n =1 M 1 1 + 2 cos( n ) H ( ) = 2 M + 1 n =1
H ( ) =
xe
j n
La magnitud de la respuesta en frecuencia se ilustra en la Figura 6.15, para diferentes valores de M . Claramente el sistema se comporta como un filtro que de pasar las componentes de baja frecuencia y atena las de alta frecuencia (filtro pasabajas), y cuyaselectividadaumentaamedidaquecrece M (creceelsoportede hn ).
178
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.3. TransformadadiscretadeFourier(DFT) La transformada de Fourier X ( ) de una seal discreta es una funcin de tiempo continuo,porlocualsuclculoimplicatenerencuentatodoslosposiblesvaloresdela variable real . Dado que X ( ) es una funcin con periodo 2 bastara con computar X ( ) en el intervalo [0, 2 ] , sin embargo, toma un nmero infinito de valores en este intervalo finito. Este aspecto hace que sea imposible encontrar exactamente X ( ) utilizando un procesador digital, pues se necesitaran infinitas posicionesdememoriaycomputarinfinitosproductosysumas. Con el fin de solucionar este problema se calcular X ( ) slo sobre un conjunto de N valores de frecuencia (muestras de frecuencia) igualmente espaciados en el intervalo [0, 2 ] ,comoseilustraenlaFigura6.16.
Figura6.16.MuestreodelatransformadadeFourier.
Las N muestrasdefrecuenciasetomanigualmenteespaciadas,enlosvalores 2 ( N 1) 2 2 ( 2) , , ..., 0, N N N De esta forma podemos calcular X ( ) slo sobre las frecuencias k = 2 k / N , con k = {0,1, ..., N 1} ,deacuerdoa
X (k ) =
n =
xe
n
jk n
k = 0,1, ..., N 1
En la prctica todas las seales tiene longitud finita (soporte compacto), entonces la ecuacinanteriorpuedeescribirseparaunasealcausal(tomavalor0para n < 0 )de longitud L como
X (k ) = xn e jk n ,
n =0
L 1
k = 0,1, ..., N 1
179
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.3.1. Efectosdelmuestreoenfrecuencia Es claro en este punto que X ( ) corresponde a la representacin en el domino de la frecuencia de una seal discreta xn , es decir, X ( ) = { xn } . Sin embargo, como se mencion anteriormente, en algunos casos es imposible calcular X ( ) para todos los valores de y lo mejor que puede hacerse escalcular X ( ) paraun conjunto finitos de N valores de frecuencia en el intervalo [0, 2 ] . Este procedimiento equivale a tomar N muestrasdelafuncin X ( ) enelintervalo [0, 2 ] . Suponga que una seal discreta xn tiene transformada de Fourier X ( ) y dicha transformada es muestreada utilizando un conjunto de N impulsos igualmente espaciadossobrecadaintervalodelongitud 2 .Definamoslafuncin X m ( ) comola versinmuestreadadelatransformada X ( ) ,esdecir 2 k 2 ( k ) , k = X m ( ) = X ( ) N N k = Lapreguntaaresponderahoraesdequesealdiscretaestransformada X m ( ) ?,olo que es lo mismo, X m ( ) corresponde a la representacin frecuencial de que seal? Pararesponderestapreguntaencontremoslatransformadainversade X m ( ) como 1 2 X ( ) ( k ) e j n d 1{ X m ( )} = 2 2 k =
{ X m ( )} =
1
N 1 X ( ) ( k ) e j n d k =0
N 1 2 N 1 1{ X m ( )} = X ( )e j n ( k ) d k =0 k =0 0
1{ X m ( )} = X (k )e jk n
k =0
N 1
Por tal motivo, la transformada inversa de X m ( ) corresponde a la serie exponencial Fourier de una seal de periodo N , cuyos coeficientes complejos de Fourier son los valores X (k ) ,loscualespuedenserencontradoscomo 1 N 1 X (k ) = xnp e jk n N n =0 dondelaseal xnp correspondeaunaversinperidica(deperiodo N )delaseal xn , comoseilustraenlaFigura6.17paraunasealdelongitud 4 yparaN= 4.
180
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Figura6.17.Sealdiscretadelongitud 4 ysuversinperidica,deperiodo4.
La funcin X m ( ) es la representacin en el dominio de la frecuencia de una versin peridica de la seal discreta xn , es decir, X m ( ) = { xnp } . El periodo de la seal xnp es igual a nmero de muestras que se toman de X ( ) en el intervalo [0, 2 ] . Cual debeserelnmerodemuestrasquedebentomarsede X ( ) en [0, 2 ] paraobtener unabuenarepresentacinfrecuencialdelasealdiscreta xn pormediode X m ( ) ? Consideremos la seal xn de longitud 4 de la Figura 6.17, a la cual se le calcula X m ( ) para N = 2 , N = 4 y N = 8 . La seal representada en el dominio de la frecuenciapor X m ( ) para N = 2 eslasealperidicaqueseilustraenlaFigura6.18, que corresponde a una versin de periodo 2 de xn . Para N = 4 , X m ( ) representa a la seal de periodo 4, xnp , que se ilustra en la Figura 6.17. Finalmente, para N = 6 la sealrepresentadapor X m ( ) eslasealdeperiodo6queseilustraenlaFigura6.19. Claramente, la seal representada en el dominio de la frecuencia por X m ( ) para un valor de N dado, corresponde con la seal xn en el intervalo de tiempo [0, N 1] . Entre mas muestra se tomen en frecuencia (ms grande el valor de N ) ms similar es la transformada X m ( ) a X ( ) y mejor es la representacin en el domino de la frecuenciadadapor X m ( ) delasealdiscreta xn .
Figura6.18.SealdiscretarepresentadaporXm()paraN = 2.
Figura6.19.SealdiscretarepresentadaporXm()paraN = 6.
181
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Observacin 6.6. Para obtener una buena representacin en el domino de la frecuencia de una seal discreta de longitud L es necesario que el nmero de muestrasenfrecuenciacumpla N L ,casocontrario,lasealrepresentadaesuna versin truncada peridica de la sea discreta, como se ilustra en la Figura 6.18. Para N > L lasealesrellenadaconceroshastaalcanzarlalongitud N . 6.3.2. DefinicindelaDFT
Sea xn una seal discreta de longitud L entonces la DFT (transformada discreta de Fourier)de N puntossedefinecomo
Xk =
1 N
x e
n =0 n
L 1
jk n
k = 0,1, ..., N 1
donde, k son las N muestrasdefrecuenciadefinidascomo k = 2 k / N .LaDFTde N puntoscorrespondeaunvectorde N posiciones,delaforma X k = [ X 0 , X 1 , ..., X N 1 ] Observacin 6.7. La funcin X k es peridica, con periodo N , pues corresponde a unaversinmuestreadadelafuncinperidica X ( ) quetieneperiodo 2 . Ejemplo6.4.EncuentrelaDFTde3puntosdelaseal xn = {1, 2, 3} .
Figura6.20.Sealdiscretadelongitud3.
Solucin.Enestecaso L = 3 ylaDFTde3puntoses
1 Xk = N
x e
n =0 n
N 1
2 j k n N
2 j kn 1 2 = xn e 3 3 n =0
2 4 j k j k 1 X k = x0 + x1e 3 + x2 e 3 3
182
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
1 [ x0 + x1 + x2 ] = 2 3 2 4 j j 1 3 X 1 = x0 + 2e + 3e 3 = 0.5 j 0.2887 3
X0 =
4 8 j j 1 X 2 = 1 + 2e 3 + 3e 3 = 0.5 + j 0.2887 3
Portalmotivo,laDFTpuedeescribirsecomo X k = [2, 0.5 + j 0.2887, 0.5 + j 0.2887] 6.3.3. InterpretacindelaDFT Para cada valor de k la funcin X k da informacin sobre la participacin de la componentedefrecuencia k enunaversinperidica(deperiodo N )delaseal xn . Porejemplo,eltrmino X 0 dainformacindelvalormedio(nivelDC)delaseal,pues 1 N 1 X 0 = xn N n =0 ApartirdelaDFTde N puntosesposiblerecuperarlasealdiscretadelongitud L si N L deacuerdoa
xn = X k e jk n ,
k =0
N 1
n = 0,1, ..., L 1
DelaecuacindelaDFTinversaesclaroquelafuncin X k ponderalaparticipacinde cadaexponencialcomplejodefrecuencia k enlarepresentacindelaseal xn . Ejemplo6.5.EncuentrelasealdiscretaquetieneporDFTlafuncin X k = {0, 1, 2, 0, 0, 0, 2, 1} Solucin.Lafuncin X k correspondeaunaDFTde 8 puntos( N = 8 ),lasealdiscreta puedeobtenersecomo
xn = X k e
k =0
N 1
2 k j n N
= Xke
n=0
2 kn 8
183
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Solo X 1 , X 2 , X 6 y X 7 sondiferentesdecero,porlocual
xn = X 1e
j
2 (1) n 8
+ X 2e
j
2 ( 2 ) n 8 12
+ X 6e
n j
2 ( 6 ) n 8
+ X 7e
2 ( 7 ) n 8
14
xn = e
2 n 8
+ 2e
4 n 8
+ 2e
4 n 8
+e
2 n 8
xn = 2 cos( 28 n) + 4 cos( 24 n )
Propiedad 6.5. La seal de TD xn obtenida a partir de la DFT inversa es una seal peridica,conperiodo N . Demostracin.
xn + N = X k e
k =0
N 1
2 k j ( n + N ) N
= Xke
k =0
N 1
2 k j n N
e j 2 kn
xn + N = X k e
k =0
N 1
2 k j n N
= xn
6.3.4. VisualizacindelaDFT La DFT da informacin de las componentes de frecuencia presentes en una seal discreta, por tal motivo la visualizacin de la funcin X k permite conocer la informacin frecuencial de la seal. Debido a que X k en general puede ser una funcin complejaes necesaria visualizar en magnitud, dicho grfico se conoce como el espectrodefrecuenciasdelasealdiscreta.
La funcin X k se puede graficar bsicamente de dos formas: contra las muestras de frecuencia discreta k , o si se conoce el periodo de muestreo, contra la frecuencia continua . En el primer caso, simplemente se ubica la magnitud de X k contra su respectivafrecuenciadiscreta k ,comoseilustraenlaFigura6.21.
184
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Figura6.21.DFTcontrafrecuenciaangulardiscreta.
Figura6.22.VisualizacinalternativadelaDFTcontrafrecuenciadiscreta.
Si se conoce Tm , se puede convertir cada muestra de frecuencia discreta k , en una muestradefrecuenciacontinua k ,mediante k = k / Tm = 2 k / Tm ,verFigura6.23. SisedeseaelgrficoenHz,seencuentracadamuestracomo f k = k / Tm .
Figura6.23.DFTcontrafrecuenciaangularcontinua.
185
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Linealidad
1 N
x
n =0
L 1
cos(k n ) .
DFT{xn n0 } = X k e jk n0
DFT{xn e jl n } = X k l
1 P= N
P=
x
n =0 N 1
N 1
1 = N
1 xx = N n =0
n n
N 1
N 1 xn X k e j kn n=0 k =0
N 1
1 N
N 1 * j kn 1 x n Xke = N n =0 k =0
N 1
( x X
n=0 k =0 n
N 1 N 1
* j kn k
N 1 * 1 P = Xk N k =0
N 1 j kn x e = n Xk Xk n=0 k =0
Portalmotivo,lapotenciapromediodelasealdiscretapuedeencontrarsecomo
P = Xk
2 k =0
N 1
186
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.3.7. ConvolucindiscretautilizandolaDFT Propiedaddeconvolucincirculardiscreta La convolucin circular discreta se define para dos seales de TD peridicas x n y y n , ambassealesconperiodo N ,como 1 N 1 1 N 1 N 1 xn yn = xn s yn = X k e jk ( n s ) ys N s =0 N s =0 k =0
xn yn =
1 N
N 1 s =0
X k e jk n Ys e jk s
k =0 s =0
N 1
N 1
xn yn = X k Yk e jk n = DFT -1{ X k Yk }
Portalmotivo,laDFTdeunaconvolucincirculardiscretaestadadapor DFT{ xn yn } = X k Yk ConvolucinlinealdiscretautilizandolaDFT Para realizar la convolucin lineal dedos sealesde longitudfinita utilizando la DFT es necesario que la convolucin circular iguale a la convolucin lineal en el intervalo de inters. Sean xn y hn seales discretas causales de longitud M y L, respectivamente, entonces la seal xn hn (convolucin lineal entre xn y hn ) es tambin causal y tiene longitud M + L 1 . De acuerdo a esto se requiere que la convolucin circular se equivalentealaconvolucinlinealenelintervalode0a M + L 2 .Paraellosehace 1. SecalculamoslaDFTde N ( N = M + L 1 )puntosdelasseales xn y hn para obtenerlasfunciones X k y H k ,respectivamente. 2. SecomputaelproductoentreDFTs,esdecir,serealiza X k H k ,locualequivale arealizarlaconvolucincirculareneltiempodelassealesperidicas xnp y hnp (versionesdeperiodo N delasseales xn y hn ,respectivamente). 3. Finalmente la convolucin es obtenida realizando la DFT inversa de la funcin X k H k deacuerdoa xn yn = DFT -1{ X k H k } n = 0,1, ..., M + L 2 Observacin 6.7. Esta propiedad es til para computar convolucin lineal en el domino de la frecuencia, reduciendo as el tiempo de cmputo. Por ejemplo, puede utilizarseparaencontrarlarespuestaalaplicarunfiltrodado hn ,aunaseal xn .
187
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.4. TransformadarpidadeFourier(FFT) Para computar la DFT de N puntos de una seal discreta de longitud L es necesario realizar L 1 sumas de L productos para cada uno de los valores X k . Dado que deben encontrarse N elementos de X k , el cmputo de la DFT requiere un total de NL multiplicaciones,loquehacequeestatareasecomputacionalmentedemandante, tanto en tiempo de proceso como en posiciones de memoria, para seales de gran longitudoparaunnmeroelevadodemuestrasenfrecuencia. Ejemplo 6.5. Se quiereobtener la DFT de 10000 de una seal de longitud 10000 . Para estasealserequiereuntotalde 100 ' 000.000 demultiplicaciones. LosalgoritmosFFT(Fast FourierTransform)son unconjuntoderutinas quecalculanla DFT de una seal discreta de una forma ms eficiente, sin requerir el nmero de multiplicaciones antes mencionado. Por ejemplo, algunas versiones de FFT requieren slo N log 2 N multiplicaciones,paraelcaso N = L y N unapotenciade2. Ejemplo 6.6. Para la misma seal del Ejemplo 6. se requieren 10000 log 2 10000 132877 multiplicaciones. Suponga que en una tarjeta de procesamiento digital de seales una multiplicacin en punto flotante tarda 1ns , entonces para computar la DFTutilizandolaformulaconvencionalserequiere 1s .Porotrolado,paracomputarla DFTutilizandoelalgoritmodelaFFTsloserequeriran 1.32ms Existen diferentes algoritmos FFT, a continuacin revisamos las versin ms sencilla delAlgoritmodeCooleyTukey,paratenerunaideageneraldesufuncionamiento. 6.4.1. AlgoritmoFFTdediezmadoeneltiempo(Base2) Este algoritmo FFT divide la seal original xn , de longitud N = 2 p , en dos seales: la seal de muestras pares par xnpar = x2 n = { x0 , x2 , ..., xN 2 } y la seal de muestras imp = x2 n +1 = { x1 , x3 , ..., xN 1 } . El algoritmo computa la DFT para las seales impares xn xnpar y xnpar ,ydespuslascombinaparaobtenerlaDFTdelasealoriginal xn . Observacin6.8.Conslodividirlasealendos,seestreduciendolacomplejidad delalgoritmode N 2 multiplicacionesa N 2 / 2 multiplicaciones. Definamos M = N / 2 ,entonceslaDFTdelaseaoriginal xn ,puedeescribirsecomo
1 Xk = N
x e
n =0 n
N 1
2 k j n N
188
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
1 Xk = N 1 Xk = N
( N / 2 ) 1
m =0 M 1 m=0
x2 m e
par m
2 k j ( 2 m ) N
1 + N
M 1 m =0
( N / 2 ) 1
m =0
x2 m +1e
2 k j ( 2 m +1) N
2 k j m M
1 + N
imp m
2 k 2 k j m j M N
Deacuerdoaesto,podemosencontrarlaDFTcomo 2 k j par imp si k < M Xk + e N Xk Xk = 2 ( k M ) j par N X kimp si k M M X k M e imp . Para el donde X kpar es la DFT de la seal xnpar y X kimp es la DFT de la seal xn par imp par par cmputo X k y X k , las seales xn y xn pueden ser divididas en dos. El algoritmoserepitedeformasecuencial,hastaobtenersealesdelongituddosqueno puedenserdividas. 6.4.2. AplicacionesdelaFFT Diversos programas de computacin contienen rutinas muy eficientes de FFT, las cuales pueden ser usadas en esta seccin, dedicada a las aplicaciones. Entre ellos Matlab, en sus diferentes versiones, que incorpora la funcin FFT, la cual permite computarlaDFTdeunasealdecualquierlongituddeformaeficienteysencilla. 6.4.2.1. AnlisisespectraldesealesysistemasTDdiscretos LaFFTnospermiteestimarlascomponentesdefrecuencialesdeunasealdiscretade longitudfinita,comoseilustraenelEjemplo6.7.
189
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Ejemplo 6.7. Obtenga el espectro de frecuencias de una seal de ECG que ha sido muestreada a una tasa de 250 muestras por segundo. Para ello, implemente un programaenMatlabyutiliceparaelclculodelaDFTlafuncinFFTpara 512 puntos. GrafiquelafuncindeECGeneltiempoysucorrespondienteespectro,enHZ. Solucin.SeimplementolasiguientefuncinenMatlab.
function espectro(x,Np,fm); % x --- seal discreta de entrada % Np --- nmero de puntos de la DFT % fm --- frecuencia de muestreo L=length(x); Tm=(1/fm); Mp=ceil(Np/2); wd=0:2*pi/Np:2*pi*(Np-1)/Np; wdo=zeros(1,Np); fc=zeros(1,Np); z=abs(fft(x,Np)); zo=zeros(1,Np); t=0:Tm:Tm*(L-1); % Reorganizacin de frecuencias wdo(Np-Mp+1:end)=wd(1:Mp); wdo(1:Np-Mp)=wd(Mp+1:end)-2*pi; % Frecuencia continua en Hz fc=wdo/(2*pi*Tm); % Reorganizacin de la FFT zo(Np-Mp+1:end)=z(1:Mp); zo(1:Np-Mp)=z(Mp+1:end); % Visualizacin plot(t,x); title('Seales de ECG'); xlabel('Tiempo (seg)'); figure; plot(wdo,zo); title('Magnitud de la DFT') xlabel('Frecuencia discreta (rad)') figure; plot(fc,zo); title('Magnitud de la DFT') xlabel('Frecuencia (Hz)') % % % % % % % % % Longitud de la seal Tiempo de muestreo Mitad de puntos de la FFT Vector de Frec. discreta Vector de Frec. disc. org. Vector de Frec. cont. Hz Magnitud de FFT de la seal Vector para reorganizar la FFT Vector de tiempo
190
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Figura6.24.SealdeECGysuespectro(utilizandolaFFT).
LaFFTnospermiteconocerlarespuestaenfrecuenciadeunsistemadiscreto. Ejemplo 6.8. Obtenga la respuesta en frecuencia de los sistemas discretos con respuestaaimpulso hn = {0.1, 0.2, 0.4, 0.2, 0.1} y g n = {1, 2, 1,} . Solucin.Utilizandolafuncinespectropodemosencontrarlarespuestaenfrecuencia del sistema. Para ello, la respuesta a impulso es utilizada como la seal de entrada y seconfiguraunaFFTde512puntos.
Figura6.25.Respuestaenfrecuenciadelossistemasdiscretos.
El sistema hn , se comporta como un filtro pasabajas, pues deja pasar las frecuencias cercanas a 0 y atena las frecuencias cercanas a . El sistema g n , se comporta como un filtro pasaaltas, pues deja pasar las frecuencias cercanas a y atena las frecuenciascercanasa 0 . Observacin 6.9. La frecuencia continua de corte de los filtros depende del tiempo demuestreodelsistemadiscreto,dadoque = / Tm .
191
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.4.2.2.
ConvolucinlinealvaFFT
La respuesta de un sistema LTI puede ser encontrada realizando la convolucin entre surespuestaaimpulsoylasealdeentrada.LaFFTpermiterealizarestaoperacinde una forma sencilla y eficiente. Para ello, se obtiene la FFT de ambas seales y se realizaelproducto.LaFFTinversadeesteproductocorrespondeaalconvolucin. Ejemplo6.9.ApliquelosfiltrosdelejemploanterioralasealdeECGyobservela sealfiltrada,tantoeneltiempocomoenlafrecuencia. Solucin. Utilizando la funcin convFFT se puede realizar la convolucin entre dos seales en el dominio de la frecuencia. Para encontrar la respuesta del sistema a al sealdeECG,seintroducelasealdeECGcomolaseal1ylarespuestaaimpulsodel sistema como la seal 2. Las componentes de frecuencia de las seales filtradas son encontradas utilizando la funcin espectro. Adems, se encuentra la respuesta en frecuenciacontinuadelosdossistemas,paraunafrecuenciademuestreo f m = 250 .
function xy=convFFT(x,y,fm); % x --- seal discreta de entrada 1 % y --- seal discreta de entrada 2 % fm --- frecuencia de muestreo L1=length(x); L2=length(y); Tm=(1/fm); t=0:Tm:Tm*(L1-1); % Longitud mxima entre las seales L=max(L1,L2); % Convolucin via FFT z1=fft(x,L); z2=fft(y,L); z=z1.*z2; xy=ifft(z); % Visualizacin plot(t,x); title('Seal de entrada'); xlabel('Tiempo (seg)'); figure; plot(t,xy); title('Seal filtrada'); xlabel('Tiempo (seg)'); % % % % Longitud seal 1 (entrada) longitud seal 2 (sistema) Tiempo de muestreo Vector de tiempo
192
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Figura6.26.SealoriginaldeECGysuespectro.
Figura6.27.Respuestaenfrecuenciacontinuadelossistemasdiscretos.
Figura6.28.SealdeECGfiltradaconelfiltropasabajasysuespectro.
Figura6.29.SealdeECGfiltradaconelfiltropasaaltasysuespectro.
193
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.5. Resumen
Una seal de tiempo continuo toma valor para cualquier instante de tiempo. Por talmotivo,esimposiblealmacenary/oprocesartodoestacantidaddeinformacin y es necesario tomar un conjunto de muestra cada determinado tiempo, denominadotiempodemuestreo. Elmuestreoidealdeunasealdetiempocontinuoserealizamultiplicandolaseal por un tren de impulsos ubicados en los tiempos de observacin deseados. El muestreodeunasealhacequesuespectrollegueaserperidico. Silafrecuenciademuestreoesporlomenosdosvecesmayoralafrecuenciams altadelaseallascopiasenelespectrodelasealmuestreadanosetraslapanyla sealdetiempocontinuopuederecuperarseutilizandounfiltropasabajasideal. Una seal discreta es una seal que toma valor slo en un conjunto contable del tiempoypuedeversecomounasealdetiempocontinuomuestreada. La transformada de Fourier X ( ) de una sea discreta puede ser encontrada al compara la seal con un conjunto contable de exponenciales complejos. La transformadadeFourierconvergesloparasealesde l1 .
X ( ) de informacin de la componente de frecuencia en la seal, por tal motivo, el grfico de X ( ) en magnitud visualiza las componentes de frecuencia presentesenlaseal.Lafuncin X ( ) esperidicaytieneperiodo 2 .
LatransformadadeFourieresunaseacontinuaparasealen l1 yesunconjunto de impulsos para una seal peridica. Las seales peridicas no pertenecen a l1 por lo que su transformada debe ser encontrada utilizando la serie exponencial de FourierylatransformadadeFourierparaexponencialescomplejo. Para conocer las componentes de frecuencia de una seal discreta es suficiente conocer X ( ) en el intervalo [0, 2 ] . Dado que X ( ) toma infinitos valores sobreesteintervaloesimposiblecalcularestafuncinutilizandouncomputador. Envezdecalcular X ( ) paratodo en [0, 2 ] secalculaslopara N valoresde frecuencia igualmente espaciados en este intervalo. Esta transformada se conoce comotransformadadiscretadeFourier(DFT)de N puntosysenotacomo X k . El muestreo en frecuencia de la funcin X ( ) implica que la seal que es representada por la funcin X k corresponde a una versin peridica de la seal discreta xn .LosalgoritmosFFTpermitecalculardeformarpidayeficienteslaDFT de N (potenciade2)puntosdeunasealdiscretadelongitudfinita.
194
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.6. Ejercicios Seccin6.1 1. Supongaquelaseal x(t ) = e t u(t ) ,esmuestreadacada T = 1 instantesdetiempo. a. EncuentrelaexpresindelasealmuestreadaydelasealdeTD. b. Repitaa.parauntiempodemuestreo T = 3 . 2. EncuentrelatransformadadeFourierdelasealmuestreadadelPunto1.a. Seccin6.2 3. ParalasealdetiempodiscretoobtenidadelPunto1.a. a. EncuentrelatransformadadeFourier. b. Grafiquelamagnituddelatransformadapara 5 < < 5 . c. Compare este grafico con la magnitud de la transformada de la seal originaldetiempocontinuo x(t ) = e t u (t ) . 4. Paralasealdetiempodiscreto n + 4 3 n 1 x( n ) = 4 n 0 n 3 0 otro caso a. EncuentrelatransformadadeFourier. b. Grafiquelamagnitudylafasedelatransformada. 5. DemuestrelassiguientespropiedadesdelatransformadadeFourier a. {axn + byn } = aX ( ) + bY ( ) b. { xn n0 } = X ( )e j n0 c. { xn e j0 n } = X ( 0 ) 6. UtiliceelTeoremadeParsevalparacalcular a. LaenergadelasealdePunto3. b. LaenergadelasealdePunto4.
195
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
3 b. xn = cos 4
n n n sin 2
c.
2 xn = 4 cos 3
8. Determine la seal de TD que corresponde cada una de las siguientes transformadas. a. X k = [1, 0, 1, 0,1]
1 b. X k = 1 + cos k + 2 cos k , 2 2 4
0k 8
c.
Xk = e
k
4
0k 7
b. DFT{ xn n0 } = X k e jk n0 10. SupongaqueunsistemaLTIdiscretotienerespuestaimpulso hn = ( 1 )n un .Obtenga 2 laDFTdelasealdesalidadelsistema,silasealdeentradaes xn = {1, 1, 0,1, 1} . 11. UtilizandoMatlabyunmicrfono,grabesunombreyrealice a. Visualiceelsegmentodeaudio. b. ObtengalaFFTde512puntos,delsegmentodeaudio. c. Visualicelascomponentesdefrecuenciadelsegmentodeaudio. d. Convolucioneelsegmentodeaudioconunasealconstantedevalor1/Ny delongitudN. e. Reproduzcaelsegmentodeaudiooriginalyelsegmentoconvolucionado, paradiferentesvaloresdeN.Quesucedealrealizarlaconvolucin? f. Visualicelascomponentesdefrecuenciadelsegmentoconvolucionada. Quelesucedealascomponentesdefrecuencia?QueefectotienevariarN?
196
7.1. Conceptosbsicos
Definicin 7.1. Una derivada parcial es una derivada de una funcin de dos o ms variablesindependientes,conrespectoaunadeellas.
Ejemplo7.1.Algunasderivadasparciales. f ( x, y , z ) f ( x, y , z ) = xyz , = xz = f y y f ( x, t ) f ( x, t ) = tx 2 + t 2 , = zx = f xt xt
Definicin 7.2. Una ecuacin diferencial parcial (EDP) es una ecuacin con una o ms derivadasparcialesdeunafuncin(desconocida)de2omsvariablesindependientes.
ElordendeladerivadaparcialmsaltadeunaEDPesdenominadoelordendelaEDP. En esta seccin nos centraremos en ecuaciones diferenciales de segundo orden, es decir,enecuacionescuyaderivadaparcialmsaltaesdesegundoorden.
Ejemplo7.2.Algunasecuacionesdiferencialesparcialesdesegundoorden
Ecuacindeondaunidimensional( u( x, t ) )
2 2u 2 u = c t 2 x 2
u tt = c 2 u xx
Ecuacindecalorunidimensional( u( x, t ) )
u 2u = c2 2 t x ut = c 2 u xx
EcuacindeLaplacebidimensional( u( x, y ) ).
2u 2u + = 0 u xx + u yy = 0 x 2 y 2
Ecuacionesdiferencialesparciales
AnlisisdeFourier
7.1.1. ClasificacindelasEDPs TodaEDPdesegundoordenpuedeescribirsedeformageneralcomo Para u ( x, y ) : Au xx + 2 Bu xy + Cu yy = F ( x, y , u , u x , u y ) Para u ( x, t ) : Au xx + 2 Bu xt + Cutt = F ( x, t , u , u x , ut ) Deacuerdoaestaformageneral,lasEDPsdesegundoordenseclasificanen: AC B 2 > 0 i. Elpticassi ii. Parablicassi AC B 2 = 0 iii. Hiperblicassi AC B 2 < 0 Ejemplo 7.3. Clasifique las ecuaciones de onda, calor y laplace, utilizando las clases definidasanteriormente. Solucin. Ecuacindeondaunidimensional c 2u xx utt = 0 A = c 2 , B = 0, C = 1 y F = 0 AC B 2 = c 2 < 0 Portalmotivo,laecuacindeonda1Deshiperblica. Ecuacindecalorunidimensional c 2u xx = ut
A = c 2 , B = 0, C = 0 y F = ut
198
Ecuacionesdiferencialesparciales
AnlisisdeFourier
7.1.2. SolucindeunaEDP Definicin 7.3. Una funcin u es solucin de una EDP en alguna regin R del espacio de las variables independientes, si la funcin u tiene todas las derivadas en R y satisfacelaEDPsobretodo R . EngeneralelconjuntodesolucionesdeunaEDPesmuygrande.UnaEDPpuedetener mltiplessoluciones,comoseilustraenelsiguienteejemplo. Ejemplo 7.4. Verifique que las funciones u = x 2 y 2 , u = e x cos( y ) y u = ln( x 2 + y 2 ) , sonsolucinalaecuacindeLaplacebidimensional. Solucin.Averificarque u xx + u yy = 0 .
u = x2 y2
ux = 2 x u xx = 2 u y = 2 y u yy = 2
u xx +u yy = 2 2 = 0 u = e x cos( y )
u x = e x cos( y ) u xx = e x cos( y ) u y = e x sin( y ) u yy = e x cos( y ) u xx +u yy = e x cos( y ) e x cos( y ) = 0
u = ln( x 2 + y 2 )
ux = 2x 2 x + y2 u xx = u yy = 2 x 2 + 2 y 2
(x (x
2
+ y2 + y2
) )
2y uy = 2 x + y2
2 y 2 + 2 x 2
2 2
u xx +u yy =
2 x 2 + 2 y 2
(x
+ y2
2 y 2 + 2 x 2
(x
+ y2
=0
Muchos sistemas fsicos pueden ser modelados por medio de una EDP. Con el fin de obtener una solucin nica del sistema, se debe tener en cuenta informacin del
199
Ecuacionesdiferencialesparciales
AnlisisdeFourier
problema en particular y agregar esta informacin en el planteamiento de la EDP, por mediodecondicionesdefronteraycondicionesiniciales. Condicionesdefrontera Daninformacindelvalordelasolucinenlafronteradealgndominio. u( x0 , t ) = c u ( 0, t ) = c Condicionesiniciales Daninformacindelvalordelasolucinen t = 0 . u ( x , 0) = c 7.1.3. PropiedadesdelasEDPs SedicequeunaEDPestbienplanteada,si: i. Tienesolucin. ii. Lasolucinesnica. iii. Lasolucinescontinuaenlasvariables. Definicin 7.4. Una EDP, es lineal si la variable dependiente u y cada una de sus derivadas aparecen en una forma lineal, es decir, aparecen a la potencia 1 , y no hay productosofuncionesdelavariabledependiente. Ejemplo7.5.IdentifiquesilassiguientesEDPssonlineales. u xx + u yy = u Laecuacineslineal.
2
u xx + ( u yy ) = u
Laecuacinnoeslineal,eltrmino u yy estlacuadrado. Definicin 7.5. Una EDP es homognea si cada trmino de la ecuacin es la variable dependiente u oalgunadesusderivadas.
200
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Ejemplo7.6.IdentifiquesilassiguientesEDPssonhomogneas. u xx + u yy = 0 Laecuacineshomognea. u xy sin( y ) = 0 Nohomognea,pues sin( y ) noeslavariabledependienteniunadesusderivadas. u xx + u t + 3 = 0 Nohomognea,pues 3 noeslavariabledependienteniunadesusderivadas. 7.1.4. TeoremafundamentaldelasEDPs Si u1 y u 2 sonsolucionesdeunaEDPlinealyhomogneaenunaregin,entonces u = c1u1 + c2 u 2 tambinessolucinalaecuacinenesaregin,donde c1 y c2 sonconstantes. Observacin 7.1. Toda combinacin lineal de soluciones una EDP es tambin una solucindelaEDP. Ejemplo7.7.Demuestrequesilasfunciones v y w sonsolucinalaecuacindecalor 1D,entonces u =c1 v + c 2 w ,donde c1 y c2 sonconstantes,essolucintambin. Solucin.Aprobarque ut = c 2u xx .Dadoque v y w sonsolucinalaecuacindecalor cumplen vt = c 2 vxx y wt = c 2 wxx ,respectivamente.Portalmotivo ut = c1vt + c2 wt
ut = c1 c 2 vxx + c2 c 2 wxx
ut = c ( c1vxx + c2 wxx ) = c 2u xx
2
201
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Figura7.1.CuerdavibrantedelongitudL.
Supongaquelacuerdaesdistorsionadaydespusenciertoinstante( t = 0 )sesueltay se deja vibrar libremente. El problema es determinar la deflexin de la cuerda u( x, t ) , quecorrespondealadistorsindelacuerdaenlaposicin x enuntiempo t .
Figura7.2.Deflexindelacuerdaenlaposicinxeneltiempot.
Paraencontrarladeflexindelacuerda u ( x, t ) ,sedebeasumir: i. La masa de la cuerda es constante por unidad de longitud ( constante) y no presentaresistenciaaldoblarse. ii. La tensin causada al estirar la cuerda ( TH ) antes de atarla a los extremos es tan altaquelafuerzadegravedadesdespreciable. iii. El movimiento de la cuerda es nicamente vertical, es decir, cada partcula de la cuerdasemuevesloverticalmente. Para obtener la ecuacin diferencial del sistema consideremos las fuerzas que actan sobre una pequea porcin de la cuerda. Dado que la cuerda no ofrece resistencia al doblaje,latensinesalacurvadelacuerdaencadapunto.
Figura7.3.Fuerzasqueactansobreunapequeaporcindelacuerda.
202
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Sean T1 y T2 las tensiones sobre los puntos P y Q de la porcin de la cuerda, respectivamente. Como no hay movimiento horizontal, las componentes horizontales delastensiones T1 y T2 debenserigualesparaqueseanulenentreellas,esdecir, T1 cos( ) = T2 cos( ) = TH LaT tensin horizontaldelacuerda TH ,esunaconstantequedependedetensininicial 1 conlacuallacuerdafuefijadaalosextremos. En la componente vertical se tienen 2 fuerzas, una hacia abajo T1 sin( ) y otra hacia arriba T2 sin( ) .DeacuerdoalasegundaLeydeNewton,larelacinentrelamasade un objeto m , su aceleracin a y la fuerza aplicada F , es F = ma . El objeto en nuestro caso, es la porcin de la cuerda, que tiene masa proporcional a x . La aceleracin de la porcin de cuerda es al segunda derivada de su deflexin. La fuerza sobre la porcin de cuerda es solamente la resultante entre las componentes verticales de las tensiones, pues las componentes horizontales se encuentran en equilibrio.Portalmotivo,podemosescribir
T2 sin( ) T1 sin( ) = ( x ) ( 2u / t 2 ) 144 4 2444 3 123 1 4 24 3
F m a
donde es la densidad lineal de la cuerda (masa por unidad de longitud). Dividiendo laecuacinanteriorporlatensinhorizontal TH ,setiene
T2 sin( ) T1 sin( ) x 2 = u / t 2 T2 cos( ) T1 cos( ) TH
tan( ) tan( ) =
x
TH
( u / t )
2 2
tan( ) =
u x
x = x +x
Reemplazandoestehechoenlaecuacindelaporcindecuerda,setiene u u x 2 ( u / t 2 ) = x x T x = x +x x= x H
203
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Sea f ( x ) =
u ,entoncespodemosescribir x
f ( x + x ) f ( x + x ) =
x
TH
( u / t )
2 2
2u / x 2 =
TH
( u / t )
2 2
Finalmente, si definimos c 2 = TH / , obtenemos la ecuacin de onda unidimensional quegobiernaladeflexindelacuerda,dadapor 2 2u 2 u = c x 2 t 2 Condicionesdefrontera Debidoaquelacuerdaestsujetaalosextremos x = 0 y x = L ,setieneque u(0, t ) = 0 u ( L, t ) = 0 Condicionesiniciales La forma de movimiento de la cuerda, depende de la flexin inicial y de la velocidad. Denotemos f ( x) como la deflexin inicial, es decir, la distorsin de la cuerda para t = 0 ,y g ( x) comolavelocidadinicial.Entonceslascondicionesinicialesson: u ( x, 0) = f ( x ) u = g ( x) t t =0
204
Ecuacionesdiferencialesparciales
AnlisisdeFourier
7.3. Solucindelaecuacindeonda1D 7.3.1. Separacindevariables Los siguientes son los pasos para encontrar la solucin a la ecuacin de onda por mediodelmtododeseparacindevariables: i. Se plantean 2 ecuaciones diferenciales ordinarias utilizando la separacin de variables. ii. Se encuentran soluciones a las ecuaciones de tal forma que cumplan con las condicionesdefrontera. iii. Luegoserenenlassolucionesparaformarunasolucingeneralquesatisfaga lascondicionesiniciales. El mtodo de separacin de variables propone plantear la solucin de la ecuacin diferencialcomoelproductodedosfuncionesdeunanicavariables,esdecir, u( x, t ) = F ( x )G(t ) donde F esslofuncin deladistancia x eindependientedeltiempo t ,y G esslo funcin del tiempo t e independiente de la distancia x . De acuerdo a esto, podemos escribirlasderivadasparcialesde u( x, t ) como 2u ( x , t ) d 2 G (t ) = F ( x) = F ( x )G '' (t ) 2 2 dt t 2u ( x , t ) d 2 F ( x ) = G (t ) = F ( x )G(t ) dx 2 x 2 donde cada comilla denota una derivada con respecto a t y cada punto una derivada conrespectoa x .Laecuacindeondapuedeescribirsecomo
F ( x )G '' (t ) = c 2 F ( x )G (t )
G '' (t ) F ( x ) = c 2 G (t ) F ( x )
El lado izquierdo de la ecuacin corresponde a una funcin que depende slo de t , mientraselladoderechocorrespondeaunafuncinquedependeslode x .Debidoa
205
Ecuacionesdiferencialesparciales
AnlisisdeFourier
la igualdad, ambas funciones deben ser constantes, para evitar que una variacin en unadeellasimpliquelomismoenlaotra.Portalmotivo,sepuedeafirmarque
G '' (t ) F ( x ) = = k , k R c 2 G (t ) F ( x )
Apartirdeestaecuacinpodemosplanteardosecuacionesdiferencialesordinarias
u( L, t ) = F ( L )G(t ) = 0
Claramente, G (t ) no puede ser cero, pues ello implicara u ( x, t ) = 0 , por lo cual se debe cumplir que F (0) = 0 y F ( L) = 0 . Utilizando estas restricciones sobre F , encontremoslasolucindelaecuacin ( a ) ,quepuedeescribirsecomo d 2 F ( x) kF ( x ) = 0 dx 2 La ecuacin caracterstica est dada por m 2 k = 0 , por lo cual m1, 2 = k . El valor de k controla la forma de la solucin de ( a ) . Dado que no conocemos el valor de k , sedebeanalizarlosposiblesvaloresquelaconstante k puedetomar. Si k = 0 , entonces m1 = m2 = 0 y las races son reales e iguales. En este caso, lasolucindelaecuacin ( a ) esdelaforma F ( x ) = Axem1x + Bem2 x F ( x ) = Ax + B Lasolucindebesatisfacer F (0) = 0 y F ( L) = 0 ,entonces F ( 0) = B = 0 B = 0
F ( L ) = AL = 0
A = 0
206
Ecuacionesdiferencialesparciales
AnlisisdeFourier
La funcin F ( x ) = Ax + B no es una solucin valida, pues para satisfacer la condicin defronterarequiere A = B = 0 ,porlocual F ( x ) = 0 y u( x, t ) = 0 . Si k = q 2 ( k > 0 ), entonces m1 = q y m2 = q , y las races son reales y diferentes.Enestecaso,lasolucindelaecuacin ( a ) esdelaforma F ( x ) = Aem1x + Bem2 x
F ( x ) = Aeqx + Be qx
F ( 0) = A + B = 0
A = B
F ( L ) = A e qL Ae qL = 0
A= 0
La funcin F ( x ) = Aeqx + Be qx no es una solucin valida, pues para satisfacer la condicindefronterarequiere A = B = 0 ,porlocual F ( x ) = 0 y u( x, t ) = 0 . Finalmente, si k = q 2 ( k < 0 ), entonces m1 = jq y m2 = jq , y las races complejas conjugadas. En este caso, si la races son de la forma m = p jq , la solucindelaecuacinesdelaforma F ( x ) = e px [ A cos( qx ) + B sin( qx )] Comolaparterealdelasracesescero,lasolucinpuedeescribirsecomo F ( x ) = A cos( qx ) + B sin( qx ) Lasolucindebesatisfacer F (0) = 0 y F ( L) = 0 ,entonces F ( 0) = A = 0 A = 0
q=
n L
ypodemosescribirlasolucincomo n F ( x ) = B sin x L
207
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Asignado B = 1 ,obtenemosinfinitassolucinparalaecuacin ( a ) (unadiferentepara cadavalorde n )alascualesllamaremos Fn yescribiremoscomo n Fn ( x ) = sin x L Ejemplo7.8.Tressolucionesde ( a ) quesatisfacenlascondicionesdefrontera. F1 ( x ) = sin x L
2 F2 ( x ) = sin L
8 F8 ( x ) = sin x L
d 2G(t ) 2 n +c G (t ) = 0 dt 2 L Definamos n = cn / L , entonces podemos escribir (b) como G '' (t ) + n2G (t ) = 0 . La 2 ecuacincaractersticade (b) es m 2 + n = 0 ,conraces m1 = j n y m2 = j n .As, paracada n ,laecuacin (b) tieneunasolucindiferente,delaforma Gn (t ) = An cos( n t ) + Bn sin( n t ) Portalmotivo,lasfunciones un ( x, t ) = Fn ( x )Gn (t ) ,escritascomo 208
Ecuacionesdiferencialesparciales
AnlisisdeFourier
n un ( x, t ) = Amp n (t )sin x L
donde la funcin Amp n (t ) = An cos(n t ) + Bn sin(n t ) , varia con el tiempo y modifica la amplituddelafuncin sin( n x / L ) .Comoseilustraenlafigurapara n = 3 .
Figura7.4.Comportamientodelasolucinparadiferentestiempos.
Una sola solucin un ( x, t ) no necesariamente satisface las condiciones iniciales. Dado que la ecuacin de onda 1D es lineal y homognea, podemos utilizar el Teorema Fundamental de EDPs para reunir varias soluciones un ( x, t ) , con el fin de cumplir las condiciones iniciales. Consideremos la suma de infinitas soluciones, la cual tambin es solucindelaecuacindeonda,dadapor
u ( x , t ) = un ( x , t )
n =1
Note que u ( x, t ) satisface las condiciones de frontera, pues cada solucin un ( x, t ) las satisface.Podemosescribirlanuevasolucincomo n u( x, t ) = [ An cos(n t ) + Bn sin(nt )] sin x L n =1 Lanuevasolucindebesatisfacerlacondicininicial u( x, 0) = f ( x ) ,paraello n u( x, 0) = An sin x = f ( x) L n =1
209
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Esta sumatoria corresponde a la serie de Fourier de la seal f ( x) , que debe ser peridica. Como la serie contiene slo funciones sin( n0 x ) , la seal f ( x ) debe ser impar. La frecuencia fundamental de la serie es 0 = / L , por lo cual la seal f ( x ) tiene periodo T = 2 / L . Los coeficientes An de la serie, pueden ser encontrados para cualquierdeflexininicial f ( x ) delacuerda,utilizandolaecuacindeloscoeficientes paralaserietrigonomtricadeFourierdeunasealimpar,dadospor T /2 4 An = f ( x )sin( n0 x )dx T 0
2 n An = f ( x )sin L0 L
L
x dx
La nueva solucin u( x, t ) , debe satisfacer tambin la condicin inicial de velocidad u ' ( x, 0) = g ( x ) ,paraello u( x, t ) n x = [ Bn n cos(n t ) An n sin(n t )] sin t L n =1
u ( x, t ) n = Bn n sin x = g ( x) t t =0 n =1 L
De nuevo la serie corresponde a una seal impar con 0 = / L y periodo T = 2 / L . Loscoeficientesdelaseriepuedenserencontradoscomo L 2 n Bn n = g ( x )sin x dx L0 L Despejandoloscoeficientes Bn setiene
Bn =
2 n g ( x) sin x dx L n 0 L
L
Dadas unas condiciones iniciales f ( x) y g ( x) , los coeficientes An y Bn pueden ser encontrados, para garantizar que la solucin u( x, t ) , que ya satisface la ecuacin de onda y las condiciones de frontera, satisfaga tambin las condiciones iniciales. Por simplicidad, asumamos que la velocidad inicial de la cuerda g ( x ) es cero, por lo cual loscoeficientes Bn sonceroylasolucingeneralpuedeescribirsecomo cn n u( x, t ) = An cos(n t )sin x , n = L L n =1
210
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Interpretacindelasolucin
n u( x, t ) = An cos(nt )sin L n =1
[sin( ) + sin( + )] ,podemosescribir Conociendoque cos sin = 1 2 1 n n u( x, t ) = An sin ( x ct ) + An sin ( x + ct ) 2 n =1 L n =1 L n Dadoque f ( x ) = An sin x ,podemosescribir u( x, t ) como L n =1 1 u( x, t ) = [ f E ( x ct ) + f E ( x + ct )] 2 donde f E ( x) esunaextensinimparyperidica,conperiodo 2 L ,delafuncin f ( x) , comoseilustraenlaFigura7.6.Larespuestageneral u( x, t ) consistede2versionesde f ( x ) quesetrasladaneneltiempo,endireccincontraria,ysesuperponen.
Figura7.5.Deflexininicialdelacuerda.
Figura7.6.Extensinperidicaeimpardeladeflexininicial.
211
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Encuentreladeflexin u ( x, t ) delacuerda,silavelocidadinicialescero. Solucin.Primerosedebenencontrarloscoeficientes An ,paraello L L 2 2 n 3 n An = f ( x )sin x dx = sin x sin x dx L0 L0 L L L Conociendoque sin( )sin( ) = 1 [cos( ) cos( + )] ,setiene 2 L 1 x x An = cos ( n 3) cos ( n + 3) dx L 0 L L Para n = 3
L sin ( 6 x / L) 1 6 A3 = 1 cos x dx = 1 = 1 6 L0 L 0 L
Para n 3
sin [ x ( n 3) / L] sin [ x ( n + 3) / L] An = = 0 ( n 3) ( n + 3) 0
L
Solo hay un coeficiente de la serie que no es cero, el coeficiente A3 . Por tal motivo, la deflexindelacuerdaestdadapor 3 3 3 3 u ( x, t ) = A3 cos t sin x = cos t sin x L L L L
212
Ecuacionesdiferencialesparciales
AnlisisdeFourier
7.3.2. SolucindeDAlembert La solucin de DAlembert se basa en el transformada de Fourier (TF) para solucionar laecuacindeonda1D.EncontremoslaTFconrespectoa x de u ( x, t ) .
x {u ( x, t )} =
u( x, t )e
jx
dx = U (, t )
UtilizandolapropiedaddediferenciacindelaTF,setiene x {u x ( x, t )} = j U (, t )
x {u xx ( x, t )} = 2 U (, t )
Para encontrar la TF con respecto a x de ut ( x, t ) no se puede utilizar esta propiedad, pues la transformada y la derivada son con respecto a diferentes variables. Para este casosetiene u( x, t ) jx u( x, t + h) u( x, t ) jx x {ut ( x, t )} = e dx = lim e dx h 0 t h
U (, t ) = U t (, t ) t As,laTFconrespectoa x deunaderivadaconrespectoa t esigualaladerivadacon respectoa t delaTFconrespectoa x .Deformasimilarparaunasegundaderivada 2U (, t ) x {utt ( x, t )} = = U tt (, t ) t 2 Deacuerdoaestoresultados,sitomamoslaTFdelaecuacindeonda,setiene x {utt } = x {c 2u xx } x {ut ( x, t )} =
Portalmotivo,podemosescribir
213
Ecuacionesdiferencialesparciales
AnlisisdeFourier
2U (, t ) = c 2 2 U ( , t ) 2 t 2U (, t ) 2 2 + c U (, t ) = 0 t 2
La idea es solucionar esta EDO de segundo orden, para encontrar U (, t ) y despus utilizando la transformada inversa de Fourier, encontrar la deflexin de la cuerda u( x, t ) . La ecuacin caracterstica de la EDO es m 2 + c 2 2 = 0 , por lo cual sus races son m1,2 = jc .Paracadavalorde ,lasracescambianyporendelasolucindela EDOtambin.Comolasracesdelecuacincaractersticassoncomplejasconjugadasla solucindelaEDO,queengeneralpuedesercompleja,esdelaforma U (, t ) = H ( )e jct + G()e jct donde H () y G() son funciones slo de (constantes con respecto a t ). La deflexindelacuerda u( x, t ) ,puedeserencontradaapartirde U (, t ) ,como 1 u( x, t ) = x 1 {U (, t )} = U (, t )e jx d 2
u ( x, t ) = u ( x, t ) =
1 2
( H () e
j ct
+ G() e jct e jx d
1 j ( x + ct ) + H ( ) e d G( )e j ( x ct ) d 2
Suponga que existe un h( x ) y g ( x ) corresponden a la transformada inversa de Fourierdelasfunciones H () y G() ,esdecir, 1 1 h( x ) = x { H ()} = H ()e jx d 2
g ( x ) = x 1 {G ( )} =
1 2
G() e
j x
Deacuerdoaesto,podemosescribirladeflexindelacuerdacomo u( x, t ) = h( x + ct ) + g ( x ct ) Las funciones h y g son encontradas utilizando las condiciones iniciales y las condicionesdefrontera.
214
Ecuacionesdiferencialesparciales
AnlisisdeFourier
(1)
ut ( x, 0) = ch' ( x ) cg ' ( x ) = 0
' ' ' ' ut ( x, 0) = c h ( x ) g ( x ) = 0 h ( x) g ( x) = 0
h( x ) = g ( x ) + k , k R ( 2) Despejando h( x ) en (1) e igualando con ( 2) , se tiene que f ( x ) g ( x ) = g ( x ) + k . Despejando, se encuentra g ( x ) = 1 [ f ( x ) k ] y reemplazando en ( 2) se tiene que 2 h( x ) = 1 [ f ( x ) + k ] . Por tal motivo, la deflexindelacuerdapuesescribirsecomo 2 1 u( x, t ) = [ f ( x + ct ) + f ( x ct )] 2 CondicionesdeFrontera u(0, t ) = 0 1 u(0, t ) = [ f (ct ) + f ( ct )] = 0 2 f (ct ) = f ( ct ) Portalmotivo,lafuncin f ( x ) esimpar. u ( L, t ) = 0 1 u( L, t ) = [ f ( L + ct ) + f ( L ct )] = 0 2 f ( L + ct ) = f ( L ct ) Portalmotivo,lafuncin f ( x ) tieneperiodo 2 L . Observacin 7.2. La solucin de DAlembert concuerda con la solucin obtenida por el mtodo de separacin de variables. La TF permite solucionar de manera sencilla otrasecuacionesdiferencialesparciales.
215
Ecuacionesdiferencialesparciales
AnlisisdeFourier
ax {u x } + x {ut } = 0
ajU (, t ) +
U (, t ) =0 t
LaEDOdeprimerordenpuedeserresultahaciendo U (, t ) = aj t U ( , t ) Ahorasedebeintegraraambosladosdelaigualdad.Alintegrarelladoizquierdodela expresin, se obtiene la funcin ajt ms una constante de integracin H () , que dependedelvalordeyesconstanteconrespectoa t . ln[U (, t )] = jat + H ()
U (, t ) = H ( )e at Lasolucindelaecuacindebecumplir u( x, 0) = f ( x ) ,porlocualsitomamoslaTF {u( x, 0)} = x { f ( x )} U ( , 0 ) = F ( ) Utilizando esta restriccin, se encuentra que H () = F () y que U (, t ) = F ()e at . Lafuncin u( x, t ) esencontradatomandolatransformadainversadeFourier 1 1 at u( x, t ) = } x {U ( , t )} = x { F ( )e Conociendoquesi { f ( x )} = F () entonces { f ( x x0 )} = F ()e jx0 ,podemos encontrarlasolucindelaEDP,como u( x, t ) = f ( x at )
216
Ecuacionesdiferencialesparciales
AnlisisdeFourier
7.4. Ecuacindecalorunidimensional Elflujodecalordeunmaterialhomogneoestgobernadoporlaecuacindecalor: K u = c 2 2u , c 2 = t Donde u ( x, y, z , t ) es la temperatura del cuerpo, K es la conductividad trmica, es el calorespecfico y esla densidaddel material. La funcin 2 u esel Laplaciano de u conrespectoalascoordenadas ( x, y , z ) ,definidocomo 2u 2u 2u 2u = 2 + 2 + 2 x y z Consideremos la temperatura en una barra delgada alambre, de seccin transversal constante y de material homogneo. El alambre est orientado a lo largo del eje x y estperfectamenteaislado,paraqueelcalorfluyasolamenteenladireccin x .
Figura7.7.Barradelgadaorientadaalolargodelejex.
En este caso, u depende slo de x y de t , por lo cual las derivadas parciales con respectoa y ya z ,delLaplacianode u ,soncero.Portalmotivo,laecuacindecalor unidimensionalseplanteacomo u 2u = c2 2 t x 7.4.1. Alambrefinito(Separacindevariables) Consideremos un alambre de longitud finita L , y supongamos que sus extremos son mantenidosatemperaturacero:
Figura7.8.BarradelgadadelongitudL.
217
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Condicionesdefrontera Latemperaturaenlosextremosdelalambreescero. u(0, t ) = 0 u( L, t ) = 0 Condicininicial Latemperaturainicialdelalambreestdadapor u ( x,0) = f ( x) La idea es encontrar la funcin u ( x, t ) que satisface la ecuacin de calor 1D y que satisfaga las condiciones de frontera y la condicin inicial. Para ello se utilizar el mtododeseparacindevariablesparasolucionarlaecuacin ut = c 2u xx . Suponga que la solucin de la EDP es de la forma u( x, t ) = F ( x )G(t ) , entonces podemosreescribirlaecuacindecalorcomo F ( x )G ' (t ) = c 2 F ( x )G(t ) Separandolasvariables x y t ,setiene
G ' (t ) F ( x) = = k , k R 2 c G (t ) F ( x )
ApartirdeestaecuacinsepuedeplantearlasdossiguientesEDOs
F ( x ) kF ( x ) = 0
(a)
u( L, t ) = F ( L )G(t ) = 0
218
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Claramente, G (t ) no puede ser cero, pues ello implicara u ( x, t ) = 0 , por lo cual se debecumplirque F (0) = 0 y F ( L) = 0 .Laecuacin ( a ) puedeescribirsecomo d 2 F ( x) kF ( x ) = 0 dx 2 cuya ecuacin caracterstica est dada por m 2 k = 0 , con races m1, 2 = k . La solucin de la ecuacin depende del valor de k . De forma similar que en el caso de la ecuacindeonda,sepuededemostrarquepara k 0 lasolucinde ( a ) quesatisface las condiciones F (0) = 0 y F ( L) = 0 es f ( x ) = 0 , lo cual implica u( x, t ) = 0 . Por tal motivo, se puede asumir que k = q 2 ( k < 0 ) y la ecuacin caracterstica tiene races complejasconjugadas m1 = jq y m2 = jq .Lasolucinde ( a ) esdelaforma F ( x ) = A cos( qx ) + B sin( qx ) Lasolucindebesatisfacer F (0) = 0 y F ( L) = 0 ,entonces F ( 0) = A = 0 A = 0
q=
n L
ypodemosescribirlasolucincomo n F ( x ) = B sin x L Asignado B = 1 ,obtenemosinfinitassolucinparalaecuacin ( a ) (unadiferentepara cadavalorde n )alascualesllamaremos Fn yescribiremoscomo n Fn ( x ) = sin x L Solucinde (b)
Ecuacionesdiferencialesparciales
AnlisisdeFourier
dG(t ) 2 n +c G (t ) = 0 dt L Definamos n = cn / L , entonces podemos escribir (b) como G ' (t ) + n2G(t ) = 0 . La ecuacindeprimerordenpuedeserresueltaporseparacin,haciendo dG(t ) 2 G(t ) = n dt Para cada valor de n , la constante de integracin de la expresin de la izquierda cambia,portalmotivoseobtienelafuncin An ,queesindependientede t . ln[G(t )] = n 2t + K n As,paracada n ,laecuacin (b) tieneunasolucindiferente,delaforma
Gn (t ) = An e n t
Portalmotivo,lasfunciones un ( x, t ) = Fn ( x )Gn (t ) ,escritascomo 2 n un ( x, t ) = An e n t sin x L sonsolucinalaecuacindecalorysatisfacenlascondicionesdefrontera. Una sola solucin u n ( x, t ) no necesariamente satisface la condicin inicial f ( x ) . Consideremos la suma de infinitas soluciones, la cual tambin es solucin de la ecuacindecalor,dadapor
u ( x , t ) = un ( x , t )
n =1
Note que u ( x, t ) satisface las condiciones de frontera, pues cada solucin un ( x, t ) las satisface.Podemosescribirlanuevasolucincomo 2 n u( x, t ) = An e n t sin x L n =1 Lanuevasolucindebesatisfacerlacondicininicial u( x, 0) = f ( x ) ,paraello
220
Ecuacionesdiferencialesparciales
AnlisisdeFourier
n u( x, 0) = An sin L n =1
x = f ( x)
Esta sumatoria corresponde a la serie de Fourier de la seal f ( x) , que debe ser peridica. Como la serie contiene slo funciones sin( n0 x ) , la seal f ( x ) debe ser impar. La frecuencia fundamental de la serie es 0 = / L , por lo cual la seal f ( x ) tiene periodo T = 2 / L . Los coeficientes An de la serie, pueden ser encontrados para cualquierdeflexininicial f ( x ) delacuerda,utilizandolaecuacindeloscoeficientes paralaserietrigonomtricadeFourierdeunasealimpar,dadospor L 2 n An = f ( x )sin x dx L0 L Ejemplo 7.12. Considere una alambre de longitud y con c = 1 . El alambre presenta unatemperaturainicialdadapor
221
Ecuacionesdiferencialesparciales
AnlisisdeFourier
4 n An = 2 n sin 2
( n 1) 4 2 ( 1) 2 = n 0
n impar n par
7.4.2. Alambreinfinito(TransformadadeFourier) Suponga ahora que el alambre es infinito, de esta manera, no existen condiciones de fronteraylasolucindelaecuacindecalorsolosedebesatisfacerlacondicininicial u ( x,0) = f ( x) . Bajo estas condiciones, la transformada de Fourier es la herramienta apropiadapararesolverlaEDP.ConsideremoslaTFdecadatrminodelaecuacin x {u( x, t )} = U (, t )
x {c 2u xx } = c 2 x {u xx } = c 2 2 U (, t ) x {ut } = U (, t ) = U t ( , t ) t
As,laTFdelaecuacindecalorpuedeescribirsecomo U (, t ) = c 2 2U (, t ) t La idea es solucionar la EDO de primer orden, para hallar U (, t ) y posteriormente utilizando la transformada inversa de Fourier encontrar la temperatura u( x, t ) . La ecuacindeprimerordensesolucionaseparandovariables,haciendo U (, t ) 2 2 U (, t ) = c t
ln [U (, t )] = c 2 2t + H ( )
2 2
Ecuacionesdiferencialesparciales
AnlisisdeFourier
x {u( x, 0)} = x { f ( x )}
u ( x, t ) =
1 2
F ()e
c 2 2t
e jx d
u ( x, t ) =
1 2
F ()G(, t )e
jx
1 d = x { F ( )G ( , t )}
u ( x, t ) = f ( x ) g ( x, t )
2 2
1 g ( x, t ) = 2
2 x c 2t + jc 2t
Completandocuadrados,setiene
g ( x, t ) =
1 2
2 2 x x x c 2 t 2 + 2 + 2 2 jc t j 2 c t j 2c t
223
Ecuacionesdiferencialesparciales
AnlisisdeFourier
g ( x, t ) =
1 2
2 2 x x x 2 c 2 t 2 + 2 + 2 jc t j 2 c t c t j 2 c 2t
g ( x, t ) =
x c 2t 2 j 2c t
2 x x c 2 t 2 + 2 + 2 jc t j 2 c t
x Realizandolasustitucin u = c t + setiene du = c t d y 2 jc 2t
g ( x, t ) =
x c 2t 2 j 2c t
2 e
x2 2 4c t
e u du c t
x c 2t 2 j 2c t
c t 2
u2
du
g ( x, t ) =
2c t
Lasolucinalaecuacindecalor1Dpuedeescribircomo
u ( x, t ) = f ( x ) g ( x, t ) = f ( x ) 1 2c t
x 2 / 4 c 2t
2c t d
u ( x, t ) =
f ( )e
( x )2 / 4 c 2t
Interpretacindelasolucin Para valores pequeos de t ( t 0 ), la funcin g ( x, t ) corresponde a una campana muy angosta, por lo cual, la convolucin entre la campana y la temperatura inicial f ( x ) , es prcticamente la funcin f ( x ) . A medida que el tiempo pasa, la campana dada por la funcin g ( x, t ) , se empieza a ensanchar y la convolucin entre f ( x ) y g ( x, t ) correspondeaunversindistorsionadadelatemperaturainicial f ( x ) .
224
Ecuacionesdiferencialesparciales
AnlisisdeFourier
1 x2 + y2 + z 2
satisfacelaecuacin
3. Verifiquequelassiguientesfuncionessatisfacenlaecuacindecalorparaalgn c . c. u( x, t ) = e 2t cos( x )
d. u( x, y ) = e t sin(3 x ) 4. Verifiquequelassiguientesfuncionessatisfacenlaecuacindeonda. a. u( x, t ) = x 2 + 4t 2
b. u( x, t ) = sin(ct )sin(x ) 5. Demuestre que u( x, t ) = v( x + ct ) + w( x ct ) , donde v y w son funciones derivablesde x y t ,essolucinalaecuacindeonda. 6. Encuentrelafuncin u( x, y ) ,solucindelassiguientesecuacionesdiferenciales. a. u y + 2 yu = 0
b. u x = 2 xyu
c. u xx + 4u = 0 Seccin7.2y7.3 7. Cuales de la siguientes funciones puede ser una condicin inicial de una cuerda vibrantedelongitud L = 1 .Justifiquesurespuesta.
225
Ecuacionesdiferencialesparciales
AnlisisdeFourier
a.
f ( x ) = sin( x )
b. f ( x ) = x 2 c. f ( x ) = sin(3 x )sin(5 x ) d. f ( x ) = cos(3 x )cos(5 x ) 7. Encuentre la deflexin de la cuerda que tiene L = y c = 1 , y que presenta las condicionesiniciales g ( x) = 0 y
1 f ( x) = k sin( kx ) k =1 3
8. Encuentre la deflexin de la cuerda que tiene L = y c = 1 , y que presenta las condicionesiniciales g ( x) = 0 y f ( x ) = sin( 2 x )cos( x ) 2 9. Encuentre la deflexin de la cuerda que tiene L = y c = 1 , y que presenta las condicionesiniciales g ( x) = 0 y
f ( x ) = [ k sin( x ) + sin( kx )] .
k =1
10. Encuentre u( x, y ) para la ecuacin u x au y = 0 utilizando el mtodo de separacindevariables. 11. Encuentre u( x, t ) para la ecuacin la ecuacin au x + ut = 0 , utilizando la transformadadeFourier. Seccin7.4 12. Encuentre la temperatura de una barra de longitud 10 y c = 1 . Sus terminaciones sonmantenidasacerogradosysutemperaturainiciales f ( x ) = sin(0.2 x ) . 13. Encuentre la temperatura de una barra de longitud 10 y c = 1 . Sus terminaciones son mantenidas a cero grados y su temperatura inicial es f ( x ) = x(10 x ) .
226
Apndice A
ESPACIOS VECTORIALES
Un espacio vectorial o lineal es una coleccin de objetos, denominados vectores, que pueden ser sumados y escalados. Para realizar una definicin ms formal se necesitan algunasdefinicionesprevias.
A.1. Grupos,anillosycampos DefinicinA.1.Ungrupo (G ,*) esunconjunto G juntoaunaoperacinbinaria que cumplen i. Clausura: Si a , b G a b G G escerradobajo .
Si adems a , b G ( a b = b a ) entonces el grupo (G ,*) es abeliano (conmutativo). EjemploA.1. (Z, + ) y (R, + ) songruposabelianosconidentidad0. (R* , ) esungrupo abeliano con identidad 1. (Z, ) no es un grupo pues existen elementos sin inversa. (R, ) no es un grupo pues el elemento 0 no tiene inversa. El par (R, ) se conoce comomonoide. Definicin A.2. (G ,*) es un monoide si cumple las propiedades de clausura, asociatividadeidentidaddelaDefinicinA.1. Definicin A.3. Un anillo ( R, +, ) es un conjunto R junto a la adicin + y a la multiplicacin ,quecumplen i. ( R, + ) esungrupoabelianoconidentidad 0 .
Espaciosvectoriales
AnlisisdeFourier
i.
( F , + ) esungrupoabelianoconidentidad 0 .
a , b, c R a (b + c ) = a b + a c .
( a + b) v = ( a v) + (b v) ( a b) v = a (b v)
1 v = v 1 eslaidentidadmultiplicativade F
a v V
Loselementosdeunespaciovectorialseconocencomovectores. Ejemplo A.3. Demuestre que los siguientes conjuntos son espacios vectoriales. Para elloverifiquequeloselementosdelcampopuedenserescaladosysumados. V = R n con F = R Si x R n entonces x = ( x1 , x2 , ..., xn ) con x1 , x2 , ..., xn R n . Escalados.Si a R y x R n entonces a x = ( ax1 , ax2 , ..., axn ) R n . Sumados.Si x, y R n entonces x+ y = ( x1 + y1 , x2 + y2 , ..., xn + yn ) R n . V = L1 con F = C
Si x(t ) L1 entonces
Espaciosvectoriales
AnlisisdeFourier
ax(t ) dt = a
x(t ) dt < .
y(t ) dt < .
A.3. Normadeunespaciovectorial Una norma es una medida, que se le asigna a cada elemento (vector) de un espaciovectorial V ,quedebecumplir i. v V : v 0 y v = 0 v = 0
ii. a F y v V : iii. v, w V :
av = a v v+ w v + w
Por tal motivo, una norma es una funcin del espacio vectorial a los nmeros reales mayoresigualesacero,esdecir, : V [0, ) .Unespaciovectorialnormadoesun espaciovectorialdotadoconnorma. EjemploA.4. R n y L1 sonespaciosvectorialesnormados.
x(t ) dt
ii. v, w V : iii. v, w, z V :
Por tal motivo, una mtrica es una funcin que toma dos elementos del espacio vectorialyasignaunnmerorealmayorigualacero,esdecir, : V V [0, ) .Un espaciovectorialmtricoesunespaciovectorialdotadoconmtrica.
229
Espaciosvectoriales
AnlisisdeFourier
Observacin A.1. Todo espacio vectorial normado es tambin un espacio mtrico, conmtricadefinidacomo (v, w) = v w .
EjemploA.5. R n y L1 sonespaciosvectorialesmtricos.
x(t ) y(t ) dt
A.4. Productointerno
El producto interno , se define para dos elementos de un espacio vectorial V con campo F ydebecumplir v, w F y a F con i. v, v > 0 y v, v v = 0
ii.
v, w = w, v
y
v, w1 + w 2 = v, w1 + v, w 2
iii. v1 + v 2 , w = v1 , w + v 2 , w iv.
a v, w = a v, w
v, a w = a* v, w
Por tal motivo, el producto interno es una funcin que toma dos elementos del espacio vectorial y un elemento del campo, es decir, : V V F . Un espacio vectorialeucldeoesunespaciovectorialdotadoconproductointerno. Observacin A.2. Todo espacio vectorial eucldeo es tambin un espacio normado, connormadefinidacomo x = x, x . EjemploA.5. R n y L2 sonespaciosvectorialesconproductoeucldeo. Si x, y R n entonces x, y = x1 y1 + x2 y2 + ... + xn yn
x(t ) y (t )dt
*
Adicionalmente, L2 esunespaciovectorialnormado,connormadefinidacomo
x (t ) =
x(t ) x* (t )dt =
x(t ) dt
230
Espaciosvectoriales
AnlisisdeFourier
BIBLIOGRAFA
1. STREMLER,Ferrel.SistemasdeComunicacin.Alfaomega,1989. 2. SOLIMAN, Samir S. y SRINATH, Mandyam D. Seales y Sistemas Continuos y Discretos.2da.Edicin,PrenticeHall,1999. 3. OPPENHEIM,AlanV.,WILLSKY,AlanS.yNAWAB,S.Hamid.SealesySistemas. 2da.Edicin,PrenticeHall,1998. 4. ROBERTS, Michael J. Seales y Sistemas: Anlisis mediante mtodos de transformadayMATLAB.1ra.Edicin,McGrawHill,2004. 5. RESTREPO, Alfredo. Fundamentos de la Teora de Seales y Sistemas. UniversidaddelosAndes,2003. 6. PROAKIS,JohnG.yMANOLAKIS,DimitrisG.TratamientoDigitaldeSeales.4ta Edicin.PrenticeHall,2007. 7. KREYSZIG,Edwin.MatemticasAvanzadasparaIngeniera.Limusa,2003. 8. KARU,ZoherZ.SignalsandSystems.FourthEdition,ZiZiPress,2001. 9. HSU, Hwei P. Schaum's Outline of Theory and Problems of Signals and Systems. McGrawHill,1995. 10. MERTINS, Alfred. Signal Analysis: Wavelets, Filter Banks, TimeFrequency TransformsandApplications.JohnWiley&Sons,1999. 11. STARK, HansGeorg. Wavelets and Signal Processing: An ApplicationBased Introduction.Springer,2005 12. BOGESS, Albert and NARCOWICH, Francis J. A First Course in Wavelets with FourierAnalysis.FirstEdition,PrenticeHall,2001. 13. MALLAT, Stphane. A Wavelet Tour in Signal Processing. Second Edition, AcademicPress,1999. 14. KOLMOGOROV,A.N.andFOMIN,S.N.IntroductoryRealAnalysis.Dover.
231