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
LaprimeraedicindellibroANALISISDEFOURIERrecopilaloscontenidosbsicosdelanlisis 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 conproblemassencillosdeaplicacinenelcampodeprocesamientodigitaldesealesyenel 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 apropiacindelasherramientasqueofreceelanlisisdeFourierparaelestudiodesealesy sistemas.ParaelloellibropresentaencadaCaptulolastemticasprincipales,acompaadas de ilustraciones y ejemplos desarrollados en su totalidad. Adicionalmente, al fin de cada Captulosepresentaunbreveresumenconlosconceptosmsimportantes. Estelibrotratadeapoyaralestudianteenlacomprensindeuntemademandantedebidoa sus requerimientos matemticos. Por tal motivo, es de suma importancia que el estudiante realicelalecturadeloscontenidostemticosdecadaseccin,reviselosejemplosresueltosy 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 seestudianlassealesperidicasdetiempodiscretoycontinuo,yseestudiaelconceptode frecuencia angular continua y discreta. Con el fin de tomar medidas cuantitativas de las sealessedefinenpotenciayenerga.Serealizaunabreverevisindeespaciosvectoriales,en particularaquellosdotadosconnormaysepresentanlassealescomovectores.Finalmente se estudian los sistemas lineales e invariante en el tiempo (sistemas de convolucin), en particularsurespuestaaunasealdeentradadadayestabilidadensentidoEASA. EnelCaptulo3seestudiacomounelementodeunespaciovectorialpuedeseraproximado en trminos de otros elementos del espacio, para ello se introducen los conceptos de productointernoyortogonalidad.Paralarepresentacin devectoresseestudiael concepto de base ortogonal y como caso particular se deduce la forma como una seal puede ser representadapormediodeunconjuntodesealesmssimples.
XI
EnelCaptulo4seestudianlasseriesdeFouriercomocasoparticulardelarepresentacinde seales.SepresentalaserieexponencialdeFourieryseanalizalainformacinfrecuencialde 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 peridicassobreunintervaloinfinitodeltiempo.Seinterpretalainformacincontenidaenla 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 suspropiedades.SepresentalatransformadadiscretadeFourieryelefectodemuestreoen frecuencia sobre la seal en el tiempo. Se desarrollan en Matlab ejemplos de anlisis de respuestaenfrecuenciadesistemasdiscretoydeestimacinespectraldesealesdiscretas. Finalmente,enelCaptulo7seestudianalgunasecuacionesdiferencialesparcialesdesegundo orden,enlascualessonaplicadaslaserieylatransformadadeFourier.Seincluyeademsun apndicesobreespaciosvectoriales. Deseoagradecerespecialmentealosestudiantesdemiscursosquesirvieronparaprobaren lasclasesbuenaparte deestematerial.Deigualforma,quiero agradecera 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 Acontinuacinrevisaremosalgunossmbolosmatemticos,loscualesnosserntiles 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.Comocotassuperiorestomemos 11 y 100 .Elsupremoes 10 ydebidoaque 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 supremoonfimo,seconocecomounconjuntonoacotado(notienecotas).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.Supongamosque f ( a ) = f (b ) ,entonces 2a + 1 = 2b + 1 ,locualimplicaque 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.Paraunvalorbdelcodominiosedebeencontrarunelementoadeldominio 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 nopertenecealdominiodelafuncin. 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 .Lacontaste j ,quetienevalor -1,soloesunindicadordela 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,delaforma x = Re{ x} + j Im{ x} .Suubicacinenelplanoserealizaenel 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 .Suubicacinenelplanoesaunadistancia|x|delorigen( r enlaFigura 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 Elexponencialcomplejoesentoncesunfasor,demagnitud1yfase ,locuallohace 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 propiedadesvlidasparalosrealesnosonaplicablesparaloscomplejos.Lasumayla 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 })
x/ y =
x y
e j (x y )
10
Conceptosbsicos
AnlisisdeFourier
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 .Laprimeraesungrficoen3dimensionesdelafuncin,conejes: 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. Losconjuntosnumricosseclasificandeacuerdoasucardinalidadcomofinitoso infinitos.Losconjuntosinfinitospuedensercontables(enumerablesoordenables) 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. Unafuncin f : A B esunoperadorqueasignaacadaelementodelconjunto 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. Elcomplejoconjugadoreflejaaunnmerocomplejoconrespectoalejerealyes tilparadescomponerfraccionescomplejasencomponentesrealeimaginaria,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. Mencione2cotasinferioresdelconjunto Byencuentresunfimo.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
x=
j 3 2 j
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,lascualessonfuncionesdeunasolavariableindependiente,queen lamayoradeloscasossereltiempo t . 2.1. Clasificacindeseales 2.1.1. Sealescontinuasydiscretas Lasealespuedenclasificarseendosgrandesgrupos:lassealesdetiempocontinuo (TC)osealescontinuas,quedenotaremoscomo x(t ) ,ylassealesdetiempodiscreto (TD)osealesdiscretas,querepresentaremoscomo xn .
Seales
AnlisisdeFourier
2.1.1.1.
Sealesdetiempocontinuo
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 seconocencomosealesdeTDrealesylassealesqueson 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.
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 ) =
Observacin2.1.Si x(t ) esunasealpar,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 ) . CasoDiscreto
imp xn = xnpar + xn ,donde x + x n xnpar = n 2 x x n imp xn = n 2
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,denominadoperiodo.Lassealesperidicassonlasfuncioneselegidasparala 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 Cadaunodelostrminos kT ,esuntiempoderepeticindelaseal.Observequeal desplazar x(t ) cualquiermltiploenterodesuperiodo T ,seobtienelamismaseal. Portalmotivo,conocerlaseal x(t ) sobreunintervalodetiempodelongitud 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 Sielperiodoseexpresaensegundos,lafrecuenciaestenHZ,paraelcasodeseales sinusoidales,oenciclosporsegundo(cps),paraotrassealesperidicas. Lafrecuencianosdainformacindecuantasvecesserepiteunasealenunintervalo detiempo(tasaderepeticin).ConociendoqueelperiododeunasealdeTCpuede
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 Lafrecuenciaangularcontinua seencuentraenelintervalo [0, ) .Silafrecuencia 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. EstassealessonlabasedelanlisisdeFourieryson:lasealseno sin(t ) ,laseal 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,lasealesperidicasi T = 2 k ,donde k Z .Portalmotivo,elperiododelas 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 j e j1 ( t +T ) + e j2 ( t +T ) = e j1t 24 2t 1442443 14+ e 3
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 .Portalmotivo x1 (t ) esperidicay 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 yseobtiene k x = 3 y k 3 = 2 .Portal motivo, x(t ) tieneperiodo T = 12 .
1 1 1
Ejemplo2.14.Encuentreelperiodode x(t ) = cos 2 (3t ) ,encasodeserperidica. Solucin. Expresemos el cos 2 (3t ) de forma apropiada para encontrar el periodo de x(t ) .Conociendolaidentidad cos 2 = 1 (1 + cos 2 ) ,setieneque x(t ) = 1 [1 + cos(6t )] . 2 2 Elperiododelasealcosenoes 2 6 ,entonceselperiodode x(t ) es T = 3 .
Definicin2.6.Unasealconfrecuenciaangular k ,donde k R * ,seconocecomo unarmnicodeunasealconfrecuenciaangular .Enestecaso seconocecomo 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
Ejemplo2.15.Halleelperiododelaseal x(t ) = cos( 2t ) + 1 cos(6t ) + 1 cos(8t ) ,encaso 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 Cadaunodelostrminos kN ,esuntiempoderepeticindelaseal.Observequeal desplazar xn cualquiermltiploenterodesuperiodo N ,seobtienelamismaseal. Por tal motivo, conocer la seal xn sobre un intervalo de longitud N , es suficiente paraconocertodalaseal,yaquelasealperidicaestformadaporcopiasinfinitas deeseintervalo.
Figura2.11.SealdeTDperidica.
29
Seales
AnlisisdeFourier
Definicin2.8.Lafrecuenciadiscreta f ,sedefinecomoelinversodelperiodo f = 1/ N Lafrecuencianosdainformacindecuantasvecesserepiteunasealenunintervalo detiempo.Elperiodomspequeodeunasealperidicadiscretanoconstantees2. Portalmotivo,elperiododeunasealdeTDseencuentraenelintervalo [2, ) .De acuerdoaesto,lafrecuenciadeunasealdeTDestenelintervalo [0,1 2] . Claramente una seal constante discreta tiene periodo 1 . Por tal motivo, las seales constantestienenfrecuencia 1 .Sinembargo,comosedemostrarmsadelante,las sealesconstantesdiscretastambintienenfrecuencia 0 ,locualimplicaquetambin tienenperiodoinfinito;esdecir,tienen2periodos, 1 y .
Figura2.12.SealesdeTD:sealconstanteysealconperiodo2.
Definicin2.9.Lafrecuenciaangulardiscreta ,esproporcionalalafrecuenciadela 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 vivensobreelcirculounitarioenplanocomplejoyformanunngulode 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
xn = cos[(7 3)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 , Sisumamosdedosexponencialescomplejosperidicos 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 unaseal x(t ) , se definecomo la suma (integral) de su potencia instantnea x(t ) 2ypuedeserencontradacomo
E=
x(t ) dt
Lassealesparalascualeslaintegralanteriorconvergeseconocencomosealesde energafinita.Enlaprctica,todaslassealestienenenergafinita.Laenergadeuna 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 encontradasisumamoslapotenciasobreelintervaloydividimosporlalongituddel 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 intervalodetiempo T tiendeainfinito,laseal x(t ) sedenominasealdepotencia. Lapotenciapromediodeunasealperidicapuedeencontrarsesinevaluarellmite 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
P = lim
1 4 2 j 3t 2 / 2 x(t ) dt = Tlim T T/ 2 e dt T T T
T /2
T /2
T /2
Figura2.14.Sealexponencialdecrecientepar.
Solucin.
35
Seales
AnlisisdeFourier
Potenciainstantnea 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 Definicin2.10.Unespaciovectorialesunacoleccindeobjetos(llamadosvectores) 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 espacioovector,esdelaforma x = ( x1 , x2 , x3 ) ,donde x1 , x2 , x3 R ,ycorrespondea unpuntoenelespaciotridimensional.Unanormaparaesteespacio(sepuedendefinir otras)esladistanciaeuclidianadelvectoralorigen,definidacomo
2 2 x = x12 + x2 + x3
x(t ) 1 =
x(t ) dt
L1 eselespaciovectorialformadoportodaslassealesdeTCquetienennorma 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
t2
Definicin2.11.UnespaciodeBanach,esunespaciovectorialnormadocompleto,es decir, un espacio vectorial normado en el cual todas las sucesiones de Cauchy convergen. Definicin2.12.Unasucesin { xn } ,enlacualsuselementosseacercanamedidaque 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 eselespaciovectorialformadoportodaslassealesdeTCquetienennorma 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 sealesque pertenecen a L2 se conocen como seales deenerga finita, pues si unasealtienenorma L2 finitatambintieneenergafinita.Laenergadeunaseal puedeserencontradaapartirdesunorma L2 ,como
E = x(t )
x(t )
t1
dt
x, y =
x(t ) y (t ) dt
*
40
Seales
AnlisisdeFourier
x, x =
x(t ) x (t ) dt =
*
2
x(t ) dt
x , x = x (t )
=E
xn 1 =
n =
xn
xn
n =
xn
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.Lassealesquepertenecena l2 seconocencomosealesdeenerga finita,puessiunasealtienenorma l2 finitatambintieneenergafinita.Laenerga deunasealdeTDpuedeserencontradaapartirdesunorma l2 ,como
E = x (t )
Figura2.18.Sealoriginalysumagnitud.
xn
n = 2
n 2 = 1 + 1 + 0 + 1 + 1 = 10 2 4 4
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
1 t < 0 u ( t ) = 0 t > 0
43
Seales
AnlisisdeFourier
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
Elimpulsotieneamplituddesconocida.Elvalor 1 delagrficaseconocecomoelpeso delafuncinimpulso.Lafuncinimpulsoslotomavalordiferentedeceroenaquel instantedeltiempoenelcualsuargumentoesigualacero.Porejemplo,elimpulso (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.Lafuncinestacompuestapor3impulsosdediferentespesos,ubicadosen 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 ) Portalmotivo,alintegrarunaseal x(t ) porunimpulsoubicadoeneltiempo 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
n =
47
Seales
AnlisisdeFourier
Lafuncinimpulsoslotomavalordiferentedeceroenaquelinstantedeltiempoen el cual su argumento es igual a cero. Por ejemplo, el impulso n n0 se encuentra ubicadoen n = n0 ,yaquealigualarelargumentoacerosetieneque n n0 = 0 . Propiedaddeseleccin Almultiplicarunaseal xn porunimpulsoubicadoeneltiempo n = n0 ,seobtieneun impulsoubicado n = n0 dealtura xn0 ,esdecir, xn n n0 = xn0 n n0 Portalmotivo,alsumarunaseal xn porunimpulsoubicadoeneltiempo n = n0 ,se evalalasealenelinstantedetiempoenelcualviveelimpulso.
n =
n n n0
= xn0
2.6. Convolucinlineal 2.6.1. Definicin Laconvolucinesunoperadorquetomadosseales f y g ,yproduceunatercera seal h ,lacualrepresentalacantidaddetraslape(readelproducto)entre f yuna 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.
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 ( ) permanecesinalterarse,yaqueesslofuncindelavariable .Porotro lado,paracadavalorde t ,laseal g (t ) correspondeaunaversindesplazadaen t delaseal g ( ) .Portalmotivo,laseal h(t ) contienelainformacindeltraslape entrelasseales f ( ) ,lacualsemantienefija,ylaseal g (t ) ,quesedesplazade 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. Conelfindeencontrarlasolucincompletapara h(t ) sedebetomar t porintervalos ynoporvalorespuntuales. Para t < 0 ,noexistetraslapeentrelasseales,pueselpulsoterminaen 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 Convolucinconimpulso
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 )
x( t ) ( t t 0 ) = x ( t t 0 )
2.6.3. Convolucinlinealdiscreta
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 )
Observacin2.10.Alrealizarlaconvolucindecualquierseal x(t ) conlafuncin 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 ) =
LarespuestadeunsistemaLTIaunasealdeentradacorrespondealaconvolucin entre la seal de entrada x(t ) y la respuesta al impulso del sistema h(t ) . Por tal motivo,lossistemasLTIsonconocidostambincomosistemasdeconvolucinyestn completamentecaracterizadosporsurespuestaimpulso h(t ) ,yaqueapartirdeella 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 (EntradaAcotada 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
Dadoquelaseal x(t ) esacotada,laseal x(t ) tieneporsupremounreal,entonces paraquelaseal y(t ) seaacotadaserequiereque h(t ) seaintegrableenmagnitud. Portalmotivo,silarespuestaimpulso h(t ) L1 elsistemaesestableensentidoEASA, 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
56
Seales
AnlisisdeFourier
2.8. Resumen Una seal es una abstraccin de cualquier cantidad que puede ser medida. Las sealespuedemodelarsecomofuncionesydeacuerdoasudominioseclasifican comosealesdetiempocontinuoodetiempodiscreto. Una seal es acotada en valor si su magnitud tiene supremo y una seal tiene soportecompactosisusoporteesacotado. Unasealesparsialreflejarlaseobtienelamismaseal,encambiounaseales 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. Unasealquerepitesuvalorcadadeterminadotiempoesunasealperidica.El inversodelperiodoseconocecomofrecuenciaydainformacindelatasaalacual serepiteunasealperidica. Lassealesdetiempocontinuo e jt , cos(t ) y sin(t ) sonperidicas,conperiodo 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. Lafrecuenciaangulardiscreta esperidicaconperiodo 2 .Enelintervalode frecuencias [ , ] , las frecuencias altas son la cercanas a y las frecuencias bajaslascercanasa 0 . Definimoslapotenciainstantneacomolamagnitudalcuadradodeunaseal,la energacomolacantidaddepotenciaenunintervalodadoylapotenciapromedio 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 escaladospermanecenenelconjunto. L1 eselespaciovectorialformadoporlas 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.Lafuncinescalnpresentaunatransicinde0a1eneltiempoparael cualseanulasuargumenta.Suderivadacorrespondealafuncinimpulso. Laconvolucinesunoperadorquecalculaelreadelproductoentredosseales, unaquesedejainalteradayotraquesereflejaysedesplazaparacadavalorde t . Unsistemaesunoperadorqueasignaacadasealdeentradaunanicasealde salida. Un sistema que cumple con superposicin y homogeneidad es un sistema lineal.Unsistemaesinvarianteeneltiemposiundesplazamientodelasealde entradageneraundesplazamientoigualdelasealdesalida.Lossistemaslineales einvariantesseconocencomosistemasLTI. UnsistemaLTIsecaracterizaporsurespuestaaimpulso,apartirdelacualpuede ser encontrada la salida del sistema a cualquier seal de entrada como la convolucinentrelarespuestaimpulsoylasealdeentrada.Larespuestadeun sistema LTI a un exponencial complejo es el mismo exponencial complejo multiplicadoporunafuncinquedependedelafrecuenciadelexponencial. UnsistemaesestableensentidoEASAsiatodaentradaacotadaasignaunasalida 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. Encuentreelperiododelassiguientessealesdetiempocontinuo,enelcasode 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. *ArgumenteporqulatransformadadeLaplacedelarespuestaimpulso 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.
Sedeseaexpresar x(t ) enelintervalodetiempo [t1 , t2 ] comounacombinacinlineal 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
Lafuncin H () dependedelarespuestaimpulso h(t ) ydelafrecuencia ,yesta definidaenelEjemplo2.34delaseccinanterior.ElmodelodescritoenlaFigura3.2 permiteencontrardeformasencillalarespuestadeunSLITaunasealarbitrariaque puede descomponerse como una suma ponderada de exponenciales complejos. Con veremos en Captulos posteriores esta representacin adems permite conocer informacinsobrelacomponentesdefrecuenciapresentesenlaseal. EnesteCaptuloestudiaremosbajoquecondicionesunasealpuededescomponerse comounasumadesealesmssimplesycomoserealizadichadescomposicin. 3.2. Aproximacindeunvector Consideremoslatareadeaproximarunelementodeunespaciovectorialdotadocon productointernoentrminosdeotroelementocualquieradelespacio.Paraestefin, 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 dondeelescalar copt correspondealacomponente(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
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 ) EsteresultadoconcuerdaconelresultadoobtenidoenlaSeccin3.1.2.Paraelcaso en el cual las seales f (t ) y x(t ) son reales, laconstante c es un real tambiny 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.Portalmotivo,deformageneral,sisedeseaaproximarunaseal 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 2 1 cos (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 EstemtodoesconocidocomoelprocedimientodeGramSchmidt.Esfcilverqueel 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 comoelerrorentrelaseal x(t ) ysu 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 conjuntodeseales {1 (t ), 2 (t ), K , N (t )} noeslinealmenteindependiente,puesen 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 )} formaunsistemaortogonal,casoconsideradoenestaSeccin, 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
t1 n =1
ann (t ) = an En
2 n =1
Reemplazandoesteresultadoenlafuncindeerrorexpandida,setiene
* * E = x(t ) dt x(t ) ann (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
1 En 2 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
Cadacoeficiente an representaenciertosentido,lasimilitudentrelaseal x(t ) yla 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 )
Entremsseales n (t ) setomenparaaproximarlasealdeseada,seesperaobtener 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 ] yelconjunto {n (t )} esunabasede S[t1 , t2 ] .Enestecaso,laseal x(t ) puede representarsedeformanicaenelintervalo [t1 , t2 ] como
x(t ) = ann (t )
n =1
t1 < t < t2
Observacin3.1.Larepresentacinconvergealasealsloenelintervalo [t1 , t2 ] , fueradestenosepuedegarantizarlaigualadentrelaserieysurepresentacin. Ejemplo3.4.Considerelassiguientesseales 0 (t ) = 1 1 (t ) = t 2 (t) = 3 t 2 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
* x(t )2 (t ) dt * 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 x(t ) 1 0 (t ) + 8 2 (t ) = 16 + 16 t 2 2
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 20 20 0 Si n = m 1 1 t 1 sin( 2n t ) sin(n t )sin( m t )dt = 2 dt 2 cos(2n t )dt = 2 0 2 2n 0 0 0 0
2 2 2 2 2
Portalmotivo kn = 1 .Recuerdequesi k Z ,entonces sin( k 2 ) = 0 . Si n m 2 2 2 1 1 sin( n t )sin( m t )dt = cos[( n m) t ] dt cos[( n + m) t ]dt 20 20 0
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 si n 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 Paraunaseal x(t ) delespacio S[t1 , t2 ] yunconjuntodeseales {n (t )} completoen 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 Ejemplo3.6.Aproximelaenergadelaseal x(t ) = t delEjemplo3.4apartirdelos coeficientesdesurepresentacin,paraelloutiliceelteoremadeParseval. Solucin.Loscoeficientesencontradosparalaaproximacindelasealutilizandolas 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 enun 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. Unconjuntodeelementosdeunespaciovectorialesunabasedelespaciosison 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. Determineunvalorde 0 paraelcualelconjuntodeseales {n } = {e jnt } ,con
n Z y R * ,seaortogonalenelintervalo [0, ] .
Seccin3.3 3. Considerelassiguientesseales 1 (t ) = t 0 (t ) = 1 2 (t) = 3 t 2 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
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. UtiliceelTeoremadeParsevalparaaproximarlaenergadelasealtriangulodel 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 representadacomounaserieexponencialdeFourierseconocencomocondicionesde 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 .
SisecumplenlascondicionesdeDirichlet,laseriedeFourierconvergealaseal x(t ) en todos los puntos de continuidad, y en los valores de t en los cuales x(t ) es discontinua,laserieconvergealpromediodeladiscontinuidad,esdecir,alpromedio 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 )
Portalmotivo,siuna sealperidicatieneenergafinitaalolargodecadaperiodo, 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 ) cumpleconlascondicionesdeDirichlet,entonceslaseal puedeserrepresentadacomounaserieexponencialdeFourier.Elperiododelaseal es 2 ,porlocual 0 = 1 yloscoeficientesdelaseriesonencontradoscomo T /2 1 1 cn = x(t )e jn0t dt = x(t )e jnt dt 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
Loscoeficientes cn soninfinitos,porlocualdebenserencontradosenfuncinde 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 c0 = dt + dt dt 2 / 2 /2 A c0 = + 2 + 2 2 2 = 0 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. RepresentelasealutilizandolaserieexponencialdeFourier.Considere comoun nmerorealenelintervalo (0, ) .
86
SeriesdeFourier
AnlisisdeFourier
x (t ) =
n =
cn e jn0t =
n =
ce
n
jnt
dondeloscoeficientes cn puedenencontrarsedeacuerdoa T /2 1 1 jnt cn = x(t )e jnt dt = / 2 x(t )e dt 2 T T Enelintervalo [ , ] lasealslotomavaloren [ , ] ,entonces 1 A jnt cn = Ae jnt dt = 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 ) = 1 + cos( 2t ) + 4 sin( 4t ) = 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 , porlocual 0 = 2 .Conelfindeidentificarloscoeficientesdeestaserieexponencial 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 Loscoeficientes cn delaserieexponencialdeFourierpuedenserinterpretadoscomo una representacin frecuencial de x(t ) , pues cada coeficiente cn indica la contribucindelafrecuencia n0 alaseal x(t ) .As,siparaalgn n elcoeficiente 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 estnpresentesenlasealyenqueproporcin,paraelloseilustranloscoeficientes delaserieexponencialjuntoasufrecuenciarespectiva.Debidoaqueloscoeficientes cn engeneralpuedensercomplejos,elespectrodeFouriersegrafica 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 delaserieexponencialdeFourierson 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.
Observequesloexisten2componentesdefrecuenciasenlaseal,lasfrecuencias2 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 ElteoremadeParsevalrelacionalapotenciapromediodeunasealperidicaconel 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 * P = cn e jn0t cn e jn0t dt T 0 n = n = P= P= 1 jn t * jm t n m cn e 0 cme 0 dt T 0 = =
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 dt = e 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
Observacin4.2.Laenergapromediodeunsinusoidedependeexclusivamentede su amplitud. Dos sinusoides de igual amplitud y de diferente frecuencia tienen la mismapotenciapromedio. 4.1.5. Propiedadesdelaserieexponencial Sea SF lafuncinquecalculaloscoeficientesdelaserieexponencialdeFourierde 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 ) =
* * Complejoconjugado: SF x* (t ) = c n
1 * 1 jn t * jn t x (t )e 0 dt = T x(t )e 0 dt T 0 0
* *
SF [ x( t )] =
1 t jn t 0 x(t )e 0 dt 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
cn esunasealpar
Re {c n } =
Im {cn } esunasealpar Im {c n } =
1 1 x(t )sen(n0t )dt = T x(t )sen(n0t )dt = Im {cn } T 0 0
T T
cn = Re {cn } + Im {cn } = Re {c n } + Im {c n } = c n
2 2 2 2
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
1 Im {Cn } = x(t )sin( n 0t )dt = 0 T T/ 2 cn = 1 x(t )cos( n 0t )dt = c n T T/ 2
T /2 T /2 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(n0t ) 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 = Eltrmino cn + c n esparconrespectoa n ,puessihacemos tn = cn + c n secumple tn = t n .Porotrolado,eltrmino cn c n esimparconrespectoa n ,puessihacemos 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 3 4 3 2 n = 144 2444 2 n = 144 2444
par
par
puesel cos( n0t ) y sin( n0t ) sonpareimparconrespectoa 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 } ,paratodo n Z + .Apartirdeestehechoy n utilizandoladefinicinde cn puedenserencontradoslocoeficientes an y bn .
donde
a0 =
an =
bn =
M 2 (t + 2) x (t ) = t 2 (t 2)2 M
Solucin. La seal x(t ) tiene periodo T = 2 , por lo tanto 0 = . Para la representacindeunasealperidicasepuedetomarcualquiersegmentodelaseal 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 = 2 tdt v = 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 0 0 n 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 Unavezqueunasealreal x(t ) hasidorepresentadacomounaserietrigonomtrica deFourier,loscoeficientesdelaserieexponencialpuedenserencontradosdeforma 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.12. Encuentre la serie trigonomtrica de x(t ) = cos 2 (t ) + sin(t ) + cos(3t ) . Identifiqueloscoeficientesdelaserietrigonomtricayencuentrepormediodeestos 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 sumadesenosycsenos.Paraidentificarloscoeficientesdelaserieprimerosedebe 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 Deformasimilar,elcoeficiente bn acompaaal cos( n 0t ) enlaserietrigonomtrica. 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 Conocerqueunasealesparoimparestilparaagilizarelclculodeloscoeficientes 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 3 T T/ 2 14 244
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 3 T T/ 2 14 244 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 0t )dt = x(t )sin( n 0t )dt 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 0 2 20 0
T /2
2 t + 2 cos(nt )dt 0
an =
an =
4 an = 2 [1 cos( n )] = n 2 n 0 2
n impar n par
Ejemplo4.14.EncuentrelaserietrigonomtricadeFourierdelaseal
105
SeriesdeFourier
AnlisisdeFourier
Solucin.Paraestaseal T = porlocual 0 = 2 .Dadoque x(t ) esimparentonces 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
* igualasuconjugado,porlocual cn = cn = c n ;aspodemosreescribir
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.Paraestecasoelvalormediodelasealesceroy 0 = ,porlocualslo 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 Graficode cn vs n 0 El espectro da informacin acerca de las componentes de frecuencia presentes y su participacinenlaseal.
Potenciapromedio En el caso en el cual la seales corresponden a seales de voltaje o corriente, los coeficientesdelaseriedeFouriernosdaninformacinsobrelacantidaddepotencia 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 Laconvolucincircular h(t ) ,tambinunasealconperiodo T ,indicalacantidadde 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
cantidaddetiempo queesmltiploenterode T ,seobtieneexactamentelamisma 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).
Laconvolucincircular h(t ) indicalacantidaddetraslape,enunintervalodelongitud 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 puedenencontrarsedeformadirectasiseconocenloscoeficientesde laseriesexponencialesdelasseales x(t ) y y (t ) . Propiedad4.4.Loscoeficientesdelaserieexponencialdelaconvolucincircula h(t ) puedenencontrarsecomo rn = cn d n ,donde cn y d n sonloscoeficientesdelasseries 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 jn t y(t )e 0 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.Lasseales x(t ) y y(t ) tieneperiodo T = 2 ,porlocual 0 = 1 .Laseal 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 sobreunobjetoesdirectamenteproporcionalasumasayasuaceleracin.Lafuerza defriccinesdirectamenteproporcionalalcoeficientedefriccinyalavelocidaddel objeto. La fuerza en el resorte es directamente proporcional a su constante por su desplazamiento.As,lasumatoriadefuerzasdelsistemapuedeexpresarseenfuncin delaposicindelobjeto, x(t ) ,como
..
m x(t ) + c x(t ) + kx(t ) = 0 Lasolucingeneraldeestaecuacinesdelaforma 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
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 ) debeserlotambin,puessuderivadasdebeserigualesa D cos(t ) ,porlocual 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 ) Lafuerzaexterna F (t ) tieneperiodo T = 2 ,porlocual 0 = 1 ,ypuedeexpresarse conounaserietrigonomtricadelaforma 4 1 4 1 1 F (t ) = n2 cos(nt ) = cos(t ) + 9 cos(3t ) + 25 cos(5t )... n =1
n = impar
Encontremoslasolucindelaecuacindelsistemaparacadaunadelascomponentes delafuerza F (t ) ,cadaunadelascualesesdelaforma 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 representacindesealesenlateoradeFourier.Alrealizarladescomposicinde una seal en trminos de exponenciales complejos se pueden conocer las componentesdefrecuenciapresentesylarespuestadeunsistemaLTI. Larepresentacindeunasealutilizandounconjuntocontabledeexponenciales 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 delafrecuencia n0 enlasealyponderalaparticipacindelexponencial e jn0t enlarepresentacindelamisma. Elgraficodelamagnituddeloscoeficientescontralafrecuenciaseconocecomo 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 rectificadordemediaonda( y(t ) enlasiguientefigura),silasealdeentradaes 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 rectificadordemediaonda(Punto3),paraellotomesloloscoeficientes cn con n 20 .Grafiquelasealutilizandosloestoscoeficientesenlaserieexponencial.
117
SeriesdeFourier
AnlisisdeFourier
Seccin4.5 10. UtilizandoelTeoremadeParsevalparalaserieexponencial,encuentrelapotencia promediodelasealperidicadelPunto5. 11. Aproxime la potencia promedio de la seal peridica del Punto 2 utilizando los coeficientesdelaserieexponencialcon n 10 .Aquporcentajedelaverdadera potenciapromediodelasealcorrespondeestaaproximacin? 12. Que porcentaje de la potencia promedio de la seal peridica del Punto 2, se encuentracontenidoenlascomponentesdelasealconfrecuenciamenoriguala 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. Demuestrequesipara x(t ) setieneloscoeficientes c n paralaserieexponencial * 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 deFourier,identifiqueloscoeficientesyapartirdeellosobtengaloscoeficientes 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
Enestecasolaserieconvergealaseal x(t ) enelintervalo [t1 , t2 ] (enlospuntosde 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 exponencialescomplejosenelintervalo ( , ) .Enestecasonosepuedeutilizarde 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.
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 elespaciamientoentrelascomponentesdefrecuenciapresentesenlaseal xT (t ) . El espaciamiento es igual a la frecuencia fundamental 0 , pues las componentesdefrecuenciapresentesenlasealperidicasondelaforma 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 componentesdiscretasdelespectrodeFourierseunenyformanuncontinuo.Portal motivolavariablediscreta n llegaaserlavariablecontinua ylasumadiscreta, 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. Eloperador 1{} =
1 2
e jt dt ,calculalatransformadainversadeFourierdeuna
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 medidaquelamagnituddeltiempoaumenta.Lafrecuenciadeoscilacindelaseal sinc(t ) ,puedevariarsemodificandosuargumento,delaforma sinc( at ) .Enestecaso, lasealcortaelejehorizontalenlosvaloresdeltiempodadospor 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 j t X ()e 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 3 j 3t j 3 t 1 j 3t j 3t 1 jt ( e + e ) + t 2 ( e e ) = 2
j 1 3 t 2 sin(3t ) t cos(3t )
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 encuentranpresentesenlaseal x(t ) yenqueproporcin.Paracadavalorde ,la seal X () contienelainformacinresultantedelacomparacinentreseal 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.
Sienalgnintervalodetiempolaseal x(t ) yelexponencialcomplejo e jt oscilan con la misma frecuencia, entonces tienen una fase mutua constante, y hacen una contribucinnonulaa X () . Portalmotivo,paraunvalordadode , X () indicaquetantodeesafrecuencia seencuentrapresenteenlaseal.Dadoque X () sedefineparatodovalorrealde ,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 EnladefinicindelatransformadaylatransformadainversadeFourier L1 ,seindic 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 temporalessobrelasealoriginal.Ensegundolugar,sepuedecalculardeformams sencillalatransformadadeFourierdesealesquecorrespondenalamodificacinde 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
dt = x(t )e jt dt
*
{ x (t )} = x(t )e j ( )t dt = X * ( )
Observacin5.3.Lamagnituddelatransformadadeunafuncinrealespar,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( )} 1 Im { x( )} X ( ) = tan 1 = tan Re { x( )} Re { x()}
Im { x()} X ( ) = tan 1 = X ( ) Re { x()} Si x(t ) esparentonces
Re{ X ( )} =
Re{ X ( )} =
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 LacompresinoexpansindeunasealafectasutransformadadeFourierdeforma 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 sealqueesexpandidasufreunacompresindesutransformadadeFourieryporlo 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
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.Utilizandolapropiedaddeescalamientosetieneque { 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 formatalquelainformacindelaseal x(t ) ,queestabacontenidaencomponentes defrecuenciabajas,ahoraestcontenidaenunasealdealtafrecuencia.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 jt x( t ) = X ()e d 2 Derivandoaambosladosdelaigualdadconrespectoa t setiene dx(t ) 1 jt 1 = jX ()e d = { 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 = 2 X () d = 2 X () 1 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
e jht 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
e jhnt 1 dt
La seal x(t )e jt [e jht 1] pertenece a L1 , entonces utilizando el Teorema de la convergenciadominadadeCauchysepuedeintercambiarelordenentrelaintegraly ellmite,paralocualsetieneque Observacin 5.5. Toda seal en L1 debe tener transformada de Fourier continua. Portalmotivo,laseal sinc(t ) nopertenecea L1 ,puessutransformadadeFourier esunasealpulso,lacualnoesunaseal continua (presentadiscontinuidades).
lim [ X ( + hn ) X ( )] =
n
lim x(t )e
n
jt
e jhnt 1 dt = 0
139
TransformadadeFourier
AnlisisdeFourier
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
140
TransformadadeFourier
AnlisisdeFourier
Cambiandoelordendeintegracinsetiene
{ x(t ) y(t )} =
x(t ) y( )e jt dt d = y( ) x(t )e jt 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 244 4 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 Laconvolucinentrelasealdeentradaylarespuestaalimpulsodelsistemapuede serrealizadautilizandolapropiedaddeconvolucindelatransformadadeFourier.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 1 + j 1 + 2 1 + 2 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, contenidasentre0.5y0.5radianessobresegundo.LatransformadadeFourierdela salidapuedeencontrarsecomo Y () = X () H () .Laseal X () escompleja,por locuallaseal Y () tambinloes.Laseal H () esreal,portalmotivosufasees 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.
Unasealpuededescomponersecomolasumacontinadeexponencialescomplejos dediferentesfrecuencias,portalmotivo,larespuestadeunsistemaLTIanteunaseal puedeverseactuandodeformaseparadasobrecadacomponentedefrecuenciadela 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 Cuandodosomassealessemultiplicaneneltiemposucaractersticasfrecuenciales 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 { x(t ) y(t )} = x(t ) Y ( )e j t d e jt dt 2 Cambiandoelordendeintegracinsetiene 1 { x(t ) y(t )} = Y ( ) x(t )e j ( )t 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).
Sielegimoscomofuncinunaventanarectangular(pulso),latransformadadeFourier delasealdeECGseconvolucionaconunasealsinc,eneldominiodelafrecuencia.
Figura5.24.SealventanarectangularylasealdeECGventaneada.
Silaventanarectangularesancha,sutransformadaesunsincangostoyladistorsin 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=
X () x(t )e jt dt d
1 2
( )X ( ) d
E=
1 2
X () d
x (t ) 2 =
1 X () 2 2
Observacin5.9.Siunasealpertenecea L2 entoncessutransformadadeFourier tambin pertenece a L2 . Por tal motivo, la transformada de Fourier puede verse comounafuncinde L2 a L2 .Porejemplo,latransformadaunpulsoeslafuncin sinc.Dadoqueelpulsopertenecea L2 entonceselsinc tambinpertenecea L2 .
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 1 a 2 + 2 d = 2 a tan 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 normadocompletoconproductointerno.Sean x(t ) y y(t ) sealespertenecientesa 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 integraldeFourierparasealesen L1 .Sinembargosi x(t ) L2 L1 ,laformuladela 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 sealesen L1 L2 tienetransformadadeFourier L1 .Portalmotivopara 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
porlocual { X N ()} estambinunasucesindeCauchyen L2 .Dadoque L2 esun espaciocompleto,lasucesin { X N ()} convergeaunelementodelespacio 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
sin(t ) dt = .Definamosla 2 t 0
sin(t ) dt t
entonces
G '( x ) =
dG ( x ) = e tx sin(t ) dt dx 0
e jt e jt 1 G '( x ) = e tx dt = e t ( x j ) e t ( x + j ) dt 2j 0 2j 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
Unexponencialcomplejoesunasealperidica,portalmotivonopertenecea L1 ysu transformadadeFouriernopuedeserencontradautilizandolaintegralpara L1 .Enla 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.
Latransformadadelexponencialcomplejoeslaclaveparaencontrarlatransformada deFourierdecualquiersealperidica. 5.6.3. TransformadadeFourierdesealesperidicas Si x(t ) esunasealperidica,conperiodo T ,entonces x(t ) L1 ylasealperidica 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, ubicandounafuncinimpulsoenlafrecuenciacorrespondientealcoeficiente cn ,de peso 2 cn .Claramente,unasealperidicanopertenecea L1 ,puessutransformada 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.Elcoeficiente cn seencuentraubicadoenlafrecuencia n0 ,porlocual,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.Lafuncin X ( ) oespectrodeFourier,nosindicaquecomponentes 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.Lasecuacionesdiferencialesparcialesseestudiarndetenidamenteenuna seccinposterior. Ejemplo5.18.UtilizandolatransformadadeFourier,resuelvalaecuacindiferencial
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 componentesdefrecuenciapresentesenlaseal.Lafuncin X () puedeverse 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 exponencialcomplejo,mientrasquesiunasealsemultiplicaporunexponencial 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.Portalmotivo,lasalidadeunsistemaLTIpuedeserencontradaal tomarlatransformadainversadelproductoentrelatransformadadelasealde entradaylatransformadadelarespuestaimpulsodelsistema. LatransformadadeFourierdelarespuestaimpulsodeunsistemaseconocecomo larespuestaenfrecuenciadelsistema,puesstaindicacomorespondeelsistema a cada componente de frecuencia de entrada. Si un exponencial complejo es aplicadoaunsistemaLTIlasalidacorrespondealmismoexponencialmultiplicado porlarespuestaenfrecuenciaevaluadaenlafrecuenciadelexponencial. LatransformadadeFourierdeunexponencialcomplejocorrespondeaunimpulso 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
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 MuchassealesdeTCdebensermuestreadasparaserprocesadasutilizandotcnicas digitales. Como la seal de TC toma valores en todos los instantes de tiempo, es imposiblealmacenaryprocesartodoesacantidaddeinformacin.Portalmotivo,el primerpasoenelprocesamientodigitaldeunasealcontina,estomarunconjunto 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.
Eltrmino Tm ,seconocecomotiempodemuestreoysuinverso f m = 1 / Tm ,seconoce comofrecuenciademuestreo.Esclaroenestepunto,queentremsmuestrassetome deunaseal,mssimilarserlaimagenmuestreadadelaversincontinua.Entrems pequeo sea Tm , mayor nmero de muestras se tendr de la seal por unidad de tiempoymayorserlafrecuenciademuestreo.Podemosimaginarnosquelasealde TCsehacepasarporundispositivo,quesecierracada Tm segundosparaobtenerla muestra x( nTm ) .Enlosdemsinstantesdetiempo,lasalidadeldispositivoescero. EsteprocedimientopuedesermodeladomultiplicandonuestrasealdeTC 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 obtieneelmismoimpulsodepesolasealen t0 ,esdecir, 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 =
SitomamoslatransformadadeFourieraambosladosdelaigualdad,encontramosla 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 () correspondealatransformadadeFourierdelasealoriginal x(t ) .Para computarlatransformadadeltrendeimpulsos p(t ) ,encontraremosprimerosuserie 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 cn = (t nTm ) e dt = T n (t nTm ) e jnmt dt Tm T / 2 n = m = Tm / 2 m La ecuacin anterior comprende infinitas integrales evaluadas en el intervalo [Tm / 2, Tm / 2] ,deimpulsosubicadosen nTm .Claramenteelimpulsoubicadoen t = 0 eselnicoquevivedentrodelintervalodeintegracin,portalmotivolasintegrales 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 Porlotanto,latransformadadeFourier X m () delasealmuestreada,corresponde alaconvolucinentrelatransformadadelasealyuntrendeimpulsosigualmente 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.
CuandolasealdeTC x(t ) semuestreacada Tm segundos,seobtienelasealdeTC xm (t ) , cuya transformada de Fourier X m ( ) , corresponde a una serie de copias escaladasdelaseal X () ,espaciadas m ,comoseilustraenlaFigura6.5.Portal motivo,lasealmuestreada xm (t ) notieneanchodebandalimitado(adiferenciade x(t ) )ypresentecomponenteseninfinitasbandadefrecuencia.
Figura6.5.TransformadadeFourierdelasealmuestreada.
Conelfindereconstruirlasealoriginal x(t ) apartirdesusmuestras,sedebefiltrar lasealmuestreada xm (t ) ,paraeliminarlascopiasredundantesde X () en X m () . Paraello,sedebeajustarunfiltroidealpasabajasconrespuestaenfrecuencia 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
Figura6.7.Reconstruccindelasealoriginal.
Observacin6.2.Elfiltroideal H () ,implicaunsistemaquetieneporrespuestaal impulsolafuncinsinc,esdecir, h(t ) = sinc(t ) .Enlaprcticaesimposibleobtener 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.
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 Lasealmuestreada xm (t ) slocontieneinformacinimportanteenaquellostiempo de muestreo, en los otros instantes del tiempo es cero. Por tal motivo, es suficiente almacenarlainformacindelasealdeTC x(t ) enunsealdeTD xn quecontenga slolosvaloresmuestreados. Definamos x n comolasealdetiempodiscretodadapor xn = x( nTm ) .Paraunvalor 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.
AlvisualizarunasealdeTD,slosepresentanlasmuestrasynoeltiempoenelcual stas fueron tomadas. Sin embargo, la informacin del tiempo de muestreo siempre debeserconocidaparaelanlisisdelasealyparasucorrectavisualizacinenuna escala temporal. Adicionalmente, en la Seccin 6.2 se muestra que el tiempo de muestreo Tm esdesumaimportanciapararelacionarlafrecuenciaangulardiscreta 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 periododelaseal:mximo,mnimoycrucesporcero.Enestecaso,lasealdeTD 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 tambinlosea.Portalmotivo,siseconoce X ( ) sobreunintervalodelongitud 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
UnavezesobtenidalatransformadadeFourier X ( ) ,deunasealdeTD xn l1 ,la sealpuedeserrecuperadautilizandolatransformadainversadeFourier.Observeque X ( ) esunasealperidica,conperiodo 2 ,ycorrespondeaunaserieexponencial deFourier,concoeficientesdadospor xn ysealesbase e j n .Loscoeficientesdela 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 Modulacin Multiplicacin Periodicidad
{ xn e j0 n } = X ( 0 )
{ 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 armnicosdesufrecuenciafundamental.Sea xn unasealconperiodo 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 xn = 1 2 ( 0 k 2 ) = 2 ( 0 k 2 )e jn d 2 2 k = k =
1 xn = 2
2
2 ( )e
0 0
j n
d = e j0 n
Portalmotivo,latransformadadeFourierdeunexponencialcomplejodefrecuencia 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 )
EstaecuacineslaclaveparaencontrarlatransformadadeFourierdecualquierseal 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 .
Observacin6.5.Silatransformada X ( ) esunconjuntodeimpulsosentoncesla 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 E = xn X ( )e d = xn X ( )e jn d 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 2 k =
X ( )e
0
j ( n k )
d hk
Intercambiandoelordenentrelaintegralylasuma,setiene 1 xn hn = X ( )e j n 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 .Utilizandolapropiedaddeconvolucinesposibleencontrar 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 H ( ) = xn e j n = M e jn = 2M + 1 nM e jn +1 + e jn 2 M + 1 n = n = n =1 =
1 M j n j n 1+ e + e n 2 M + 1 n =1 n = M 1 H ( ) = 1 + 2 cos( n ) 2 M + 1 n =1
H ( ) =
xe
j n
LamagnituddelarespuestaenfrecuenciaseilustraenlaFigura6.15,paradiferentes valores de M . Claramente el sistema se comporta como un filtro que de pasar las componentes de baja frecuenciayatena lasde 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 ( ) enelintervalo [0, 2 ] ,sinembargo, tomaunnmeroinfinitode valores en este intervalo finito. Este aspecto hace que sea imposible encontrar exactamente X ( ) utilizando un procesador digital, pues se necesitaran infinitas posicionesdememoriaycomputarinfinitosproductosysumas. Conelfindesolucionaresteproblemasecalcular X ( ) slosobreunconjuntode 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 Esclaroenestepuntoque X ( ) correspondealarepresentacineneldominodela frecuencia de una seal discreta xn , es decir, X ( ) = { xn } . Sin embargo, como se mencionanteriormente,enalgunoscasosesimposiblecalcular X ( ) paratodoslos valoresde ylomejorquepuedehacerseescalcular X ( ) paraunconjuntofinitos 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 = X m ( ) = X ( ) ( k ) , 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 X ( ) 2 ( 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 0 k =0
1{ X m ( )} = X (k )e jk n
k =0
N 1
Portalmotivo,latransformadainversade X m ( ) correspondealaserieexponencial Fourierdeunasealdeperiodo N ,cuyoscoeficientescomplejosdeFouriersonlos 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.
Lafuncin X m ( ) eslarepresentacineneldominiodelafrecuenciadeunaversin peridicadelasealdiscreta xn ,esdecir, X m ( ) = { xnp } .Elperiododelaseal 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, quecorrespondeaunaversindeperiodo2de xn .Para N = 4 , X m ( ) representaa lasealdeperiodo4, xnp ,queseilustraenlaFigura6.17.Finalmente,para N = 6 la sealrepresentadapor X m ( ) eslasealdeperiodo6queseilustraenlaFigura6.19. Claramente,lasealrepresentadaeneldominiodelafrecuenciapor X m ( ) paraun valor de N dado, corresponde con la seal xn en el intervalo de tiempo [0, N 1] . Entremasmuestrasetomenenfrecuencia(msgrandeelvalorde N )mssimilares 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 sonlas N muestrasdefrecuenciadefinidascomo k = 2 k / N .LaDFTde N puntoscorrespondeaunvectorde N posiciones,delaforma X k = [ X 0 , X 1 , ..., X N 1 ] Observacin6.7.Lafuncin X k esperidica,conperiodo N ,puescorrespondea 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 funcincomplejaesnecesariavisualizarenmagnitud,dichogrficoseconocecomoel espectrodefrecuenciasdelasealdiscreta.
Lafuncin X k sepuedegraficarbsicamentededosformas:contralasmuestrasde 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.
Figura6.23.DFTcontrafrecuenciaangularcontinua.
185
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
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 x x = N n =0
n n
N 1
N 1 xn X k e jkn n=0 k =0
N 1
1 N
N 1 * 1 xn X k e j kn = k =0 n =0 N
N 1
( x X
n=0 k =0 n
N 1 N 1
* j kn k
N 1 * 1 P = Xk k =0 N
N 1 xn e j kn = X k X k n=0 k =0
Portalmotivo,lapotenciapromediodelasealdiscretapuedeencontrarsecomo
P = Xk
2 k =0
N 1
186
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
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 PararealizarlaconvolucinlinealdedossealesdelongitudfinitautilizandolaDFTes necesarioquelaconvolucincircularigualealaconvolucinlinealenelintervalode inters.Sean xn y hn sealesdiscretascausalesdelongitud My L,respectivamente, entonceslaseal xn hn (convolucinlinealentre xn y hn )estambincausalytiene 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. FinalmentelaconvolucinesobtenidarealizandolaDFTinversadelafuncin 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 dominodelafrecuencia,reduciendoaseltiempodecmputo.Porejemplo,puede utilizarseparaencontrarlarespuestaalaplicarunfiltrodado hn ,aunaseal xn .
187
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.4. TransformadarpidadeFourier(FFT) ParacomputarlaDFTde N puntosdeunasealdiscretadelongitud L esnecesario 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. Ejemplo6.5.SequiereobtenerlaDFTde 10000 deunasealdelongitud 10000 .Para estasealserequiereuntotalde 100 ' 000.000 demultiplicaciones. LosalgoritmosFFT(FastFourierTransform)sonunconjuntoderutinasquecalculanla DFT de una seal discreta de una forma ms eficiente, sin requerir el nmero de multiplicacionesantesmencionado.Porejemplo,algunasversionesdeFFTrequieren 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) EstealgoritmoFFTdividelasealoriginal xn ,delongitud N = 2 p ,endosseales:la seal de muestras pares par xnpar = x2 n = { x0 , x2 , ..., xN 2 } y la seal de muestras imp impares xn = x2 n +1 = { x1 , x3 , ..., xN 1 } . El algoritmo computa la DFT para las seales 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 donde X kpar es la DFT de la seal xnpar y X kimp es la DFT de la seal xn . Para el cmputo X kpar y X kimp , las seales xnpar y xnpar 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 delsistema.Paraello,larespuestaaimpulsoesutilizadacomolasealdeentraday seconfiguraunaFFTde512puntos.
Figura6.25.Respuestaenfrecuenciadelossistemasdiscretos.
Elsistema hn ,secomportacomounfiltropasabajas,puesdejapasarlasfrecuencias cercanas a 0 y atena las frecuencias cercanas a . El sistema g n , se comporta comounfiltropasaaltas,puesdejapasarlasfrecuenciascercanasa yatenalas frecuenciascercanasa 0 . Observacin6.9.Lafrecuenciacontinuadecortedelosfiltrosdependedeltiempo demuestreodelsistemadiscreto,dadoque = / Tm .
191
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.4.2.2.
ConvolucinlinealvaFFT
LarespuestadeunsistemaLTIpuedeserencontradarealizandolaconvolucinentre 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
Unasealdetiempocontinuotomavalorparacualquierinstantedetiempo.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. Unasealdiscretaesunasealquetomavalorsloenunconjuntocontabledel 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,elgrficode X ( ) enmagnitudvisualizalascomponentesdefrecuencia presentesenlaseal.Lafuncin X ( ) esperidicaytieneperiodo 2 .
LatransformadadeFourieresunaseacontinuaparasealen l1 yesunconjunto de impulsos para una seal peridica. Las seales peridicas no pertenecen a l1 porloquesutransformadadebeserencontradautilizandolaserieexponencialde 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 frecuenciaigualmenteespaciadosenesteintervalo.Estatransformadaseconoce 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
Definicin7.2.Unaecuacindiferencialparcial(EDP)esunaecuacinconunaoms 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 ) )
2u 2u = c2 2 t 2 x
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 Definicin7.3.Unafuncin u essolucindeunaEDPenalgunaregin R delespacio 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 = 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
MuchossistemasfsicospuedensermodeladospormediodeunaEDP.Conelfinde obtener una solucin nica del sistema, se debe tener en cuenta informacin del
199
Ecuacionesdiferencialesparciales
AnlisisdeFourier
problemaenparticularyagregarestainformacinenelplanteamientodelaEDP,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 derivadasaparecenenunaformalineal,esdecir,aparecenalapotencia 1 ,ynohay 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.
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. Latensincausadaalestirarlacuerda( TH )antesdeatarlaalosextremosestan altaquelafuerzadegravedadesdespreciable. iii. Elmovimientodelacuerdaesnicamentevertical,esdecir,cadapartculadela cuerdasemuevesloverticalmente. Paraobtenerlaecuacindiferencialdelsistemaconsideremoslasfuerzasqueactan sobreunapequeaporcindelacuerda.Dadoquelacuerdanoofreceresistenciaal 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.Comonohaymovimientohorizontal,lascomponenteshorizontales delastensiones T1 y T2 debenserigualesparaqueseanulenentreellas,esdecir, T1 cos( ) = T2 cos( ) = TH T1 Latensinhorizontaldelacuerda TH ,esunaconstantequedependedetensininicial conlacuallacuerdafuefijadaalosextremos. Enlacomponenteverticalsetienen2fuerzas,unahaciaabajo T1 sin( ) yotrahacia 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 aceleracindelaporcindecuerdaesalsegundaderivadadesudeflexin.Lafuerza 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 2444 4 3 123 1 24 4 3
F m a
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 = x +x x x = x TH
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,sidefinimos c 2 = TH / ,obtenemoslaecuacindeondaunidimensional quegobiernaladeflexindelacuerda,dadapor 2u 2u = c2 2 x 2 t Condicionesdefrontera Debidoaquelacuerdaestsujetaalosextremos x = 0 y x = L ,setieneque u(0, t ) = 0 u ( L, t ) = 0 Condicionesiniciales Laformademovimientodelacuerda,dependedelaflexininicialydelavelocidad. 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. Seencuentransolucionesalasecuacionesdetalformaquecumplanconlas 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 esslofuncindeladistancia x eindependientedeltiempo t ,y G esslo funcindeltiempo t eindependientedeladistancia x .Deacuerdoaesto,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 dondecadacomilladenotaunaderivadaconrespectoa t ycadapuntounaderivada 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
laigualdad,ambasfuncionesdebenserconstantes,paraevitarqueunavariacinen 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 Laecuacincaractersticaestdadapor m 2 k = 0 ,porlocual m1, 2 = k .Elvalor de k controlalaformadelasolucinde ( a ) .Dadoquenoconocemoselvalorde k , sedebeanalizarlosposiblesvaloresquelaconstante k puedetomar. Si k = 0 ,entonces m1 = m2 = 0 ylasracessonrealeseiguales.Enestecaso, 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
Lafuncin F ( x ) = Ax + B noesunasolucinvalida,puesparasatisfacerlacondicin 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 complejasconjugadas.Enestecaso,silaracessondelaforma 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
Figura7.4.Comportamientodelasolucinparadiferentestiempos.
Unasolasolucin un ( x, t ) nonecesariamentesatisfacelascondicionesiniciales.Dado que la ecuacin de onda 1D es lineal y homognea, podemos utilizar el Teorema FundamentaldeEDPsparareunirvariassoluciones un ( x, t ) ,conelfindecumplirlas condicionesiniciales.Consideremoslasumadeinfinitassoluciones,lacualtambines solucindelaecuacindeonda,dadapor
u ( x , t ) = un ( x , t )
n =1
Noteque u ( x, t ) satisfacelascondicionesdefrontera,puescadasolucin 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.Lafrecuenciafundamentaldelaseriees 0 = / L ,porlocuallaseal f ( x ) tieneperiodo T = 2 / L .Loscoeficientes An delaserie,puedenserencontradospara 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
Bn =
2 n g ( x) sin L x dx L n 0
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,asumamosquelavelocidadinicialdelacuerda g ( x ) escero,porlocual 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
Conociendoque cos sin = 1 [sin( ) + sin( + )] ,podemosescribir 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
212
Ecuacionesdiferencialesparciales
AnlisisdeFourier
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 )
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
LaideaessolucionarestaEDOdesegundoorden,paraencontrar U (, t ) ydespus utilizando la transformada inversa de Fourier, encontrar la deflexin de la cuerda u( x, t ) .LaecuacincaractersticadelaEDOes m 2 + c 2 2 = 0 ,porlocualsusraces 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 j x u( x, t ) = x 1 {U (, t )} = U (, t )e d 2
u ( x, t ) = u ( x, t ) =
1 2
( H () e
j ct
+ G() e jct e jx d
1 H ()e j ( x + ct ) 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 j x h( x ) = x { H ()} = H ()e 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)
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 ] .Portalmotivo,ladeflexindelacuerdapuesescribirsecomo 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 2L . Observacin7.2.LasolucindeDAlembertconcuerdaconlasolucinobtenidapor elmtododeseparacindevariables.LaTFpermitesolucionardemanerasencilla otrasecuacionesdiferencialesparciales.
215
Ecuacionesdiferencialesparciales
AnlisisdeFourier
ax {u x } + x {ut } = 0
ajU (, t ) +
U (, t ) =0 t
U (, t ) = H ( )e at Lasolucindelaecuacindebecumplir u( x, 0) = f ( x ) ,porlocualsitomamoslaTF {u( x, 0)} = x { f ( x )} U ( , 0 ) = F ( ) Utilizandoestarestriccin,seencuentraque H () = F () yque U (, t ) = F ()e at . Lafuncin u( x, t ) esencontradatomandolatransformadainversadeFourier u( x, t ) = 1{U (, t )} = 1{ F ( )e at } x x 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 ) eslatemperaturadelcuerpo, K eslaconductividadtrmica, es elcalorespecficoy esladensidaddelmaterial.Lafuncin 2 u eselLaplacianode u conrespectoalascoordenadas ( x, y , z ) ,definidocomo 2u 2u 2u 2u = 2 + 2 + 2 x y z Consideremoslatemperaturaenunabarradelgadaalambre,deseccintransversal constanteydematerialhomogneo.Elalambreestorientadoalolargodeleje 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) Consideremosunalambredelongitudfinita L ,ysupongamosquesusextremosson 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 solucindelaecuacindependedelvalorde k .Deformasimilarqueenelcasodela 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,sepuedeasumirque k = q 2 ( k < 0 )ylaecuacincaractersticatieneraces 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
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.Lafrecuenciafundamentaldelaseriees 0 = / L ,porlocuallaseal f ( x ) tieneperiodo T = 2 / L .Loscoeficientes An delaserie,puedenserencontradospara cualquierdeflexininicial f ( x ) delacuerda,utilizandolaecuacindeloscoeficientes paralaserietrigonomtricadeFourierdeunasealimpar,dadospor L 2 n An = f ( x )sin x dx L0 L Ejemplo7.12.Considereunaalambredelongitud ycon c = 1 .Elalambrepresenta 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) Supongaahoraqueelalambreesinfinito,deestamanera,noexistencondicionesde 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
d = 1{ F ( )G(, t )} x
La TF de una convolucin corresponde a un producto, por lo cual la transformada inversadeunproducto,correspondeaunaconvolucineneltiempo.Portalmotivo, u( x, t ) = 1{ F ()} 1{G(, t )} x x
u ( x, t ) = f ( x ) g ( x, t )
2 2
1 g ( x, t ) = 2
x c 2 t 2 + 2 jc t
Completandocuadrados,setiene
g ( x, t ) =
1 2
2 2 x x x c 2 t 2 + 2 + j 2 c 2t j 2 c 2t jc t
223
Ecuacionesdiferencialesparciales
AnlisisdeFourier
g ( x, t ) =
1 2
2 2 x x x c 2 t 2 + 2 + j 2 c 2t c 2 t jc t j 2 c 2t
g ( x, t ) =
x c 2t j 2 c 2t
2 x x c 2 t 2 + 2 + j 2 c 2t jc 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. Encuentrelatemperaturadeunabarradelongitud 10 y c = 1 .Susterminaciones sonmantenidasacerogradosysutemperaturainiciales f ( x ) = sin(0.2 x ) . 13. Encuentrelatemperaturadeunabarradelongitud 10 y c = 1 .Susterminaciones son mantenidas a cero grados y su temperatura inicial es f ( x ) = x(10 x ) .
226
Apndice A
ESPACIOS VECTORIALES
Unespaciovectorialolinealesunacoleccindeobjetos,denominadosvectores,que puedensersumadosyescalados.Pararealizarunadefinicinmsformalsenecesitan 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
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. ObservacinA.2.Todoespaciovectorialeucldeoestambinunespacionormado, 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,HweiP.Schaum'sOutlineofTheoryandProblemsofSignalsandSystems. 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