Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Libro - Analis de Fourier
Libro - Analis de Fourier
ANLISIS DE FOURIER
Primera Edicin
DERECHOS RESERVADOS 2007 por JULIAN QUIROGA SEPLVEDA Bogot ANLISIS DE FOURIER Julin Quiroga Seplveda ISBN: 978-958-44-2350-4
CONTENIDO
PREFACIO 1. CONCEPTOS BSICOS
1.1. Basesmatemticas 1.1.1. ConjuntosNumricos 1.1.2. Notacindeinters 1.1.3. Clasificacindeconjuntosdeacuerdoasucardinalidad 1.1.4. nfimoysupremo 1.2. Funciones 1.2.1. Inyectividad 1.2.2. Sobreyectividad 1.2.3. Biyectividad 1.2.4. Invertibilidad 1.3. Variablecompleja 1.3.1. Nmeroscomplejos 1.3.2. IdentidaddeEuler(ExponencialComplejo) 1.3.3. Operacionesentrecomplejos 1.3.4. Complejoconjugado 1.3.5. FuncionesComplejas 1.4. 1.5. Resumen Ejercicios 1 1 2 3 3 4 5 5 6 6 6 7 8 10 10 12 14 15
XI 1
2. SEALES
2.1. Clasificacindeseales 2.1.1. Sealescontinuasydiscretas 2.1.2. Sealesdesoportecompactoyacotadas 2.1.3. Sealespareseimpares 2.2. Sealesperidicas 2.2.1. Sealesperidicasdetiempocontinuo 2.2.2. SumadeexponencialescomplejosdeTC 2.2.3. Sealesperidicasdetiempodiscreto 2.2.4. SumadeexponencialesperidicosdeTD 2.3. Potenciayenergadeunaseal 2.3.1. Potenciainstantnea 2.3.2. Energa 2.3.3. Potenciapromedio 2.4. Normasyespaciosnormados 2.4.1. NormayespacioL1 17 17 19 20 24 24 27 29 32 33 33 34 34 37 37
17
39 41 42 43 43 45 47 47 48 48 52 53 53 55 57 59
2.5. FuncionesSingulares 2.5.1. FuncinescalndeHeaviside 2.5.2. Funcinimpulso 2.5.3. Escalnunitariodiscreto 2.5.4. Impulsounitariodiscreto 2.6. Convolucinlineal 2.6.1. Definicin 2.6.2. Propiedadesdelaconvolucin 2.7. SistemasLTI 2.7.1. Sistemascontinuos 2.7.2. Sistemasdiscretos 2.8. 2.9. Resumen Ejercicios
3. REPRESENTACIN DE SEALES
3.1. Descomposicindeseales 63 64 64 65 68 68 68 70 71 77 78 79 80
63
3.2. Aproximacindeunvector 3.2.1. Aproximacindeunelementodelplano 3.2.2. Aproximacindeunaseal 3.3. Basesortogonales 3.1.1. Baseseindependencialineal 3.1.2. Ortogonalidad 3.1.3. MtododeortogonalizacindeGramSchmidt 3.4. 3.5. 3.6. 3.7. 3.8. Representacindesealesenunintervalodetiempofinito TeoremadeParsevalparaunintervalofinito Representacindeunasealperidica Resumen Ejercicios
4. SERIES DE FOURIER
4.1. SerieexponencialdeFourier 4.1.1. CondicionesdeDirichlet 4.1.2. Clculodelaserieexponencial 4.1.3. EspectrodeFourier 4.1.4. TeoremadeParsevalparalaserieexponencial 83 83 85 88 90
83
VIII
4.1.5.
Propiedadesdelaserieexponencial
4.2. SerietrigonomtricadeFourier 4.2.1. Relacinentrelaserietrigonomtricaylaserieexponencial 4.2.2. SerietrigonomtricadeFourierparasealespareseimpares 4.2.3. TeoremadeParsevalparalaserietrigonomtricadeFourier 4.3. AplicacionesdelasseriesdeFourier 4.3.1. Anlisisdesealesperidicas 4.3.2. Convolucincircularcontina 4.3.3. Oscilacionesforzadas 4.4. 4.5. Resumen Ejercicios
5. TRANSFORMADA DE FOURIER
5.1. DeduccindelatransformadadeFourierL1 5.1.1. Representacindesealesnoperidicas 5.2. TransformadadeFourierL1 5.2.1. InterpretacindelaTransformadadeFourierL1 5.2.2. ConvergenciadelaTransformadadeFourierL1 5.3. PropiedaddeconvolucinparalaTF 5.3.1. RespuestadeunsistemaLTIutilizandolatransformadadeFourier 5.3.2. Multiplicacindesealeseneltiempo 5.4. 5.5. TeoremadeParsevalparalatransformadadeFourier TransformadadeFourierL2
121
121 121 124 127 128 141 143 145 147 148 152 152 152 154 156 157 158
5.6. TransformadasdeFourierqueimplicanfuncionesimpulso 5.6.1. TransformadadeFourierdelafuncinimpulso 5.6.2. TransformadadeFourierdeunexponencialcomplejo 5.6.3. TransformadadeFourierdesealesperidicas 5.7. 5.8. 5.9. AplicacionesdelatransformadadeFourier Resumen Ejercicios
163
163 163 165 166 169 169
IX
6.2. TransformadadeFourierparasealesdiscretas 6.2.1. DefinicindelatransformadadeFourierl1 6.2.2. InterpretacindelatransformadadeFourierl1 6.2.3. PropiedadesdelaTFdeunasealdiscreta 6.2.4. TransformadadeFourierparasealesperidicasdiscretas 6.2.5. TeoremadeParsevalparalaTFdesealesdiscretas 6.2.6. PropiedaddeconvolucinparalaTFdesealesdiscretas 6.3. TransformadadiscretadeFourier(DFT) 6.3.1. Efectosdelmuestreoenfrecuencia 6.3.2. DefinicindelaDFT 6.3.3. InterpretacindelaDFT 6.3.4. VisualizacindelaDFT 6.3.5. PropiedadesdelaDFT 6.3.7. ConvolucindiscretautilizandolaDFT 6.4. TransformadarpidadeFourier(FFT) 6.4.1. AlgoritmoFFTdediezmadoeneltiempo(Base2) 6.4.2. AplicacionesdelaFFT 6.5. 6.6. Resumen Ejercicios
170 170 172 173 174 176 176 179 180 182 183 184 186 187 188 188 189 194 195
197
197 198 199 200 201 205 205 213 217 217 222 225
7.3. Solucindelaecuacindeonda1D 7.3.1. Separacindevariables 7.3.2. SolucindeDAlembert 7.4. Ecuacindecalorunidimensional 7.4.1. Alambrefinito(Separacindevariables) 7.4.2. Alambreinfinito(TransformadadeFourier) 7.5. Ejercicios
227 231
PREFACIO
La primera edicin del libro ANALISIS DE FOURIER recopila los contenidos bsicos del anlisis de seales y sistemas utilizando la teora de Fourier. Este libro puede ser usado como texto gua en cursos de ingeniera elctrica y electrnica en el rea de seales y sistemas en los cuales se quieran relacionar los conceptos matemticos elementales de la teora de Fourier con problemas sencillos de aplicacin en el campo de procesamiento digital de seales y en el estudiodesistemaslinealeseinvarianteseneltiempo. El libro rene las deducciones matemticas junto a una serie de ejercicios explicativos y de aplicacin, los cuales intentan guiar al estudiante en su camino de aprendizaje y de apropiacin de las herramientas que ofrece el anlisis de Fourier para el estudio de seales y sistemas. Para ello el libro presenta en cada Captulo las temticas principales, acompaadas de ilustraciones y ejemplos desarrollados en su totalidad. Adicionalmente, al fin de cada Captulosepresentaunbreveresumenconlosconceptosmsimportantes. Este libro trata de apoyar al estudiante en la comprensin de un tema demandante debido a sus requerimientos matemticos. Por tal motivo, es de suma importancia que el estudiante realice la lectura de los contenidos temticos de cada seccin, revise los ejemplos resueltos y desarrolle los ejercicios propuestos, con el fin de apropiarse de cada uno de los contenidos. Este libro trata algunos temas complementarios de forma corta, si se desea profundizar en cualquieradeestoscontenidosellectorpuedeconsultarlabibliografaaqurelacionada. El libro est organizado como sigue. En el Captulo 1 se hace una pequea revisin de los conceptosbsicosqueelestudiantedebemanejarparaenfrentarlosCaptulosposteriores.Se revisanalgunosconceptosdeconjuntosnumricos,funcionesyvariablecompleja. EnelCaptulo2seintroduceelconceptodesealyserealizasuclasificacin.Posteriormente se estudian las seales peridicas de tiempo discreto y continuo, y se estudia el concepto de frecuencia angular continua y discreta. Con el fin de tomar medidas cuantitativas de las sealessedefinenpotenciayenerga.Serealizaunabreverevisindeespaciosvectoriales,en particular aquellos dotados con norma y se presentan las seales como vectores. Finalmente se estudian los sistemas lineales e invariante en el tiempo (sistemas de convolucin), en particularsurespuestaaunasealdeentradadadayestabilidadensentidoEASA. En el Captulo 3 se estudia como un elemento de un espacio vectorial puede ser aproximado en trminos de otros elementos del espacio, para ello se introducen los conceptos de producto interno y ortogonalidad. Para la representacin de vectores se estudia el concepto de base ortogonal y como caso particular se deduce la forma como una seal puede ser representadapormediodeunconjuntodesealesmssimples.
XI
En el Captulo 4 se estudian las series de Fourier como caso particular de la representacin de seales. Se presenta la serie exponencial de Fourier y se analiza la informacin frecuencial de la seal contenida en los coeficientes complejos. De forma similar se introduce la serie trigonomtricayseilustranalgunosejemplosdeaplicacin. En el Captulo 5 se define la Transformada de Fourier L1 para la representacin seales no peridicas sobre un intervalo infinito del tiempo. Se interpreta la informacin contenida en la transformada de Fourier, as como algunas de sus propiedades. Se revisan aplicaciones en estimacin espectral y estudio de sistemas lineales el tiempo (filtros). De forma corta se deducelaTransformadadeFourierL2parasealesdeenergafinita. En el Captulo 6 es dedicado al anlisis de Fourier para seales discretas. Se introduce el concepto de muestreo en tiempo y sus efectos sobre las caractersticas frecuenciales de la seal.PosteriormentesedefinelatransformadadeFourierparasealesdiscretasyalgunasde sus propiedades. Se presenta la transformada discreta de Fourier y el efecto de muestreo en frecuencia sobre la seal en el tiempo. Se desarrollan en Matlab ejemplos de anlisis de respuestaenfrecuenciadesistemasdiscretoydeestimacinespectraldesealesdiscretas. Finalmente,enelCaptulo7seestudianalgunasecuacionesdiferencialesparcialesdesegundo orden, en las cuales son aplicadas la serie y la transformada de Fourier. Se incluye adems un apndicesobreespaciosvectoriales. Deseo agradecer especialmente a los estudiantes de mis cursos que sirvieron para probar en las clases buena parte de este material. De igual forma, quiero agradecer a Gabriel Narvez, JuanPabloMaillaneyCarlosCalveraqueescribieronencomputadorpartedeestemanuscrito. Espero que este libro sea de gran utilidad para el desarrollo de sus cursos en los cuales necesiten la Teora de Fourier aplicada a seales y sistemas. Agradezco me comuniquen los erroresencontradosocualquiersugerenciaparalamejoradeestelibro.
Bogot, 2007.
XII
1 CONCEPTOS BSICOS
1.1. Basesmatemticas
1.1.1. ConjuntosNumricos
Nmerosenteros
El conjunto de los nmeros enteros, denominado Z , est formado por todos los nmeros que pueden ser generados por sumas o restas sucesivas del nmero 1 .
Z = {K , 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5,K}
El conjunto de los nmeros naturales, denominado N , esta formado por todos los nmeros enteros no negativos.
N = {0, 1, 2, 3, 4, 5,K}
Denotaremos como Z + , al conjunto de los nmeros enteros positivos, es decir, los nmeros naturales menos el cero ( N {0} ).
Z + = {1, 2, 3, 4, 5,K}
Z* = {K , 5, 4, 3, 2, 1, 1, 2, 3, 4, 5,K} Nmerosracionales
El conjunto de los nmeros racionales, denominado Q , est formado por todos los nmeros que pueden ser expresados de la forma a/b , donde a y b son nmeros enteros y b es diferente de cero. Cada racional puede ser escrito de infinitas formas, por ejemplo, 4 / 12 = 2 / 6 = 1 / 3 . Se dice que un racional est expresado como una fraccin irreducible, si a y b son primos relativos, es decir, mcd( a , b) = 1 . Cada nmero racional diferente de cero tiene exactamente una forma de fraccin irreducible, con un denominador positivo.
Nmerosreales
El conjunto de los nmeros reales, denominado R , puede ser informalmente descrito como el conjunto de nmeros que pueden ser expresados por una representacin decimal infinita, por ejemplo, 3.14159265... . Los nmeros reales contienen a los
Conceptosbsicos
AnlisisdeFourier
nmeros racionales y a los irracionales. El conjunto de los nmeros irracionales est formado por todos los nmeros reales que no pueden ser expresados como un racional, por ejemplo, y 2. Los nmeros reales pueden ser ubicados como puntos sobre una larga lnea numrica, conocida como la recta real.
Figura1.1.Larectareal.
Denotaremos como R + , al conjunto de los nmeros reales positivos, es decir, los nmeros reales mayores que cero. Denotaremos como R , al conjunto de los nmeros reales sin el cero. Nmeroscomplejos El conjunto de los nmeros complejos, denominado C , est formado por todos los nmeros de la forma a + jb , donde a y b son nmeros reales. En la Seccin 1.3 se realizar un estudio ms detallado de este conjunto. 1.1.2. Notacindeinters A continuacin revisaremos algunos smbolos matemticos, los cuales nos sern tiles paraescribiralgunosenunciadosdeformacompacta. x pertenecealconjunto A x A Existeunelemento x delconjunto A x A Existeunnicoelemento x de A ! x A Paratodosloselementosdelconjunto A x A B = { x A : Q( x )} B es el conjunto formado por los elementos de A que cumplen la condicin Q Bessubconjunto(estcontenido)deA B A , Entonces,Siyslosi /, ,: Talque , y,o Ejemplo1.1. Si x esunnmeroentero,entonces x esunnmeroreal. x Z x R
Conceptosbsicos
AnlisisdeFourier
B eselconjuntodelosnmerosenterosconmagnitudmenora4.
B = { x Z : x < 4} = {3, 2, 1, 0, 1, 2, 3}
Existeunniconmerorealtalquelasumaconlmismodaelmismonmero.
! x R / x + x = x
1.1.3. Clasificacindeconjuntosdeacuerdoasucardinalidad Los conjuntos pueden clasificarse de acuerdo a su cardinalidad como finitos o infinitos. Por ejemplo, el conjunto del ejemplo anterior, B = { 3,2,1, 0, 1, 2, 3} , es un conjunto finito de cardinalidad 7. Todo conjunto finito es contable (enumerable), es decir sus elementos pueden ser ordenados. Los conjuntos infinitos en cambio pueden ser contables o no contables. Por ejemplo los enteros y los reales son conjuntos infinitos, sin embargo los enteros son contables y los reales no. En el caso de los nmero enteros, sabemos por ejemplo, que despus del 2 sigue 1, 0, 1, 2, ... . Sin embargo, para los nmeros reales, despus del 0 que nmero sigue, el 0.1 , el 0.01 , o 0.001 ?. No importa que nmero asumamos que sigue al 0 , siempre encontraremos un nmero entre 0 y ste.
Figura1.2.Clasificacindeconjuntos
1.1.4. nfimoysupremo Algunas veces los conceptos de mximo y mnimo de un conjunto numrico no son suficientes. Por ejemplo, cual es mnimo del conjunto formado por el intervalo (0,1] de la recta real?. La respuesta es que este conjunto infinito no tiene mnimo, pues para cualquier valor que asumamos como mnimo, podemos encontrar un valor ms pequeo que tambin pertenece al conjunto. Definicin 1.1. x es una cota superior de un conjunto A , si y A se cumple que x y , es decir, x es mayor o igual a cada uno de los elementos de A . La mnima cota superior de un conjunto A se conoce como supremo ( sup ). Si el supremo pertenece al conjunto, entonces es el mximo, en caso contrario, el conjunto no tiene mximo.
Conceptosbsicos
AnlisisdeFourier
Ejemplo 1.2. Para el conjunto [0,10) , encuentre 2 cotas superiores y su supremo. El conjunto tiene mximo? Solucin. Como cotas superiores tomemos 11 y 100 . El supremo es 10 y debido a que 10 nopertenecealintervalo,elconjuntonotienemximo.
Definicin 1.2. x es una cota inferior de un conjunto A , si y A se cumple que x y , es decir, x es menor o igual a cada uno de los elementos de A . La mxima cota inferior de un conjunto A se conoce como nfimo ( inf ). Si el nfimo pertenece al conjunto, entonces es el mnimo, en caso contrario, el conjunto no tiene mnimo.
Ejemplo 1.3. Para el conjunto A = {1 / n : n R + } , encuentre 2 cotas inferiores y su nfimo. El conjunto tiene mnimo? Solucin.Comocotasinferiorestomemos 1 y 2 .Elnfimoes 0 ydebidoaque 0 no pertenecealintervalo,elconjuntonotienemnimo. Observacin1.1.Notodoslosconjuntosdecardinalidadinfinitaquetienensupremo o nfimo, tienen mximo o mnimo, respectivamente. Un conjunto que no posee supremo o nfimo, se conoce como un conjunto no acotado (no tiene cotas). Todos losconjuntosdecardinalitafinitatienen mximoymnimo. 1.2. Funciones Definicin 1.3. f : A B es una funcin del conjunto A al conjunto B, si a A ! b B tal que f ( a ) = b , es decir, si a cada elemento de A , f asigna un nico elemento del conjunto B . El elemento b se conoce como la imagen de a bajo f. El conjunto A se conoce como el dominio de la funcin y el conjunto B como el codominio. El rango de f es el conjunto definido como f ( A) = { f ( a ) : a A} . Ejemplo1.4.Determinedominio,codominioyrangodelassiguientesfunciones.
f : C R dadapor f ( a + jb ) = a 2 + b 2 .
El dominio de f son los complejos, el codominio los reales y el rango de f los reales mayores e iguales a cero. La imagen del elemento 3 + 4 j bajo f , es el elemento 5 . f : R R dadapor f ( x ) = sin( x ) . El dominio y codominio de f son los reales y el rango de f es el intervalo [1, 1] de la recta real. La imagen del elemento / 2 bajo f , es el elemento 1.
Conceptosbsicos
AnlisisdeFourier
f : R R dadapor f ( x ) = 5 x + 2 .
El dominio, el codominio y el rango de f son los reales. La imagen del elemento 2 bajo f es el elemento 12 . 1.2.1. Inyectividad f : A B es una funcin inyectiva si y slo si a, b A ( f ( a ) = f (b) a = b) , es decir, dos elementos diferentes del dominio no pueden tener la misma imagen.
Figura1.3.Funcininyectiva.
Ejemplo1.5.Demuestreque f : R R ,dadapor f ( x ) = 2 x + 1 ,esinyectiva. Solucin. Supongamos que f ( a ) = f (b ) , entonces 2a + 1 = 2b + 1 , lo cual implica que a = b yporlotanto f esinyectiva. Ejemplo1.6.Demuestreque f : R R ,dadapor f ( x ) = x 2 ,noesinyectiva. Solucin.Supongamosque f ( a ) = f (b ) ,entonces a 2 = b 2 ,locualimplicaque a = b y que + b y b tiene la misma imagen bajo f , por tal motivo la funcin no es inyectiva. 1.2.2. Sobreyectividad f : A B es una funcin sobreyectiva si y slo si b B ( a A / f ( a ) = b) , es decir, todo elemento del codominio es imagen de por lo menos un elemento del dominio bajo f, lo cual implica que el codominio es igual al rango.
Figura1.4.Funcinsobreyectivanoinyectiva.
Conceptosbsicos
AnlisisdeFourier
Ejemplo1.7.Demuestreque f : R R ,dadapor f ( x ) = 2 x + 1 ,essobreyectiva. Solucin. Para cada valor b del codominio, se debe encontrar un elemento a del dominio, tal que f ( a ) = 2a + 1 = b . Claramente para cada b R , la ecuacin a = (b 1) / 2 calcula un a R que satisface f ( a ) = b . Por tal motivo, la funcin es sobreyectiva. Ejemplo1.8.Demuestreque f : Z R ,dadapor f ( x ) = x / 2 ,noessobreyectiva. Solucin. Para un valor b del codominio se debe encontrar un elemento a del dominio tal que f ( a ) = a / 2 = b . Para un b R la ecuacin a = 2b no siempre nos da un entero. Si b = 0.2 entonces a = 0.4 , pero 0.4 no pertenece al dominio de la funcin. Portalmotivolafuncinnoessobreyectiva.
1.2.3. Biyectividad
f : A B es un funcin biyectiva si es inyectiva y sobreyectiva, es decir, dos elementos del dominio no pueden tener la misma imagen y todo elemento del codominioesimagendeunelementodeldominio.
Figura1.5.Funcinbiyectiva.
1.2.4. Invertibilidad
f : A B es una funcin invertible si f 1 : B A es una funcin. Para esto se requierequefseaunafuncinbiyectiva. 1.3. Variablecompleja Los nmeros complejos fueron introducidos con el fin de resolver problemas que no tienen solucin en los nmeros reales. Por ejemplo, ningn real es solucin a la ecuacin x 2 = 1 ,puescualquierrealalcuadradosiempreespositivo.Adiferenciade losrealesquevivenenunarecta,loscomplejosvivenenunplano(elplanocomplejo).
6
Conceptosbsicos
AnlisisdeFourier
1.3.1. Nmeroscomplejos Sea x un nmero complejo, entonces se puede expresar de la forma x = a + jb , donde a y b son nmeros reales y la constante j identifica la parte imaginaria. El nmero complejo x , tiene 2 componentes: una parte real, Re{ x} = a , y una parte imaginaria, Im{ x} = b . La contaste j , que tiene valor -1, solo es un indicador de la componenteimaginariaynohacepartedesta. Ejemplo1.9.Encuentrelascomponentesrealeimaginariadelossiguientescomplejos. x = 3 j4 Re{ x} = 3 , Im{ x} = 4 x = 2 Re{ x} = 2 , Im{ x} = 0 x= j Re{ x} = 0 , Im{ x} = 1
Loscomplejospuedenubicarseenelplanoutilizandodossistemasdecoordenadas. Coordenadasrectangulares El nmero complejo se expresa como la suma de dos componentes, una real y una imaginaria, de la forma x = Re{ x} + j Im{ x} . Su ubicacin en el plano se realiza en el puntodeinterseccindedosrectas,unaquecortaelejerealen Re{ x} ( a enlaFigura 1.6)ylaotraquecortaelejeimaginarioen Im{ x} ( b enlaFigura1.6).
Figura1.6.Ubicacindeunnmerocomplejoenelplano
Conceptosbsicos
AnlisisdeFourier
Coordenadaspolares El nmero complejo se expresa mediante magnitud y fase (ngulo), de la forma x = x x . Su ubicacin en el plano es a una distancia |x| del origen ( r en la Figura 1.6)yorientado x ( enlaFigura1.6)gradosconrespectoalejereal. Cambiodecoordenadas Derectangularesapolares: Magnitud Fase
r = Re{ x} 2 + Im{ x} 2 = x
= arctan
Im{ x} = x Re{ x}
Depolaresarectangulares: Re{ x} = r cos ParteReal Parteimaginaria Im{ x} = r sin 1.3.2. IdentidaddeEuler(ExponencialComplejo) LaidentidaddeEulerseestablececomo
e j = cos + j sin
El exponencial complejo e j , tiene parte real cos y parte imaginaria sin , adicionalmente su magnitud y fase estn dadas como
e j = cos 2 + sin 2 = 1
sin e j = arctan = cos Por tal motivo los nmeros de la forma e j viven sobre el crculo unitario (radio 1) y forman una ngulo de con el eje real, como se ilustra en la Figura 1.7.
Conceptosbsicos
AnlisisdeFourier
Figura1.7.Exponencialcomplejo
Algunos exponenciales de inters son e j 0 = 1 , e j / 2 = j y e j = 1 . Conociendo que una vuelta al crculo unitario es 2 , el exponencial complejo permanece inalterado si su argumento es desplazado cualquier mltiplo entero de 2 , es decir e j ( + 2 k ) = e j k Z El exponencial complejo es entonces un fasor, de magnitud 1 y fase , lo cual lo hace apropiadopararepresentarcomplejosenformapolar,delaforma x = x e jx . Ejemplo1.10.Expreseelnmerocomplejo x = 4 e j / 6 encoordenadasrectangulares. Solucin. Dado que x est expresado en coordenadas polares, debemos encontrar primero su magnitud y su fase, las cuales estn dadas por r = 4 y = / 6 . As, se obtiene Re{ x} = 4cos( / 6) = 3.46 y Im{ x} = 4sen( / 6) = 2 ,porlocual x = 3.46 + j 2 . Ejemplo1.11.Expreseelnmerocomplejo x = 3 j 4 encoordenadaspolares. Solucin. Re{ x} = 3 y Im{ x} = 4 , entonces r = 3 2 + 4 2 = 5 y = arctan(-4 / 3) = 0.9273 . Por tal motivo, x = 5e j 0.9273 .
a
sin x =
e jx e jx 2j
cos x =
e jx + e jx 2
Conceptosbsicos
AnlisisdeFourier
1.3.3. Operacionesentrecomplejos Las operaciones entre complejos deben ser tratadas con cautela, pues algunas propiedades vlidas para los reales no son aplicables para los complejos. La suma y la diferencia entre nmeros complejos, se realiza por conveniencia en coordenadas rectangulares, mientras la multiplicacin y la divisin entre nmeros complejos, se realizaencoordenadaspolares. Suma x + y = ( Re{ x} + Re{ y }) + j ( Im{ x} + Im{ y }) Diferencia Producto
xy = x y e j (x + y ) x y = ( Re{ x} Re{ y }) + j ( Im{ x} Im{ y })
Divisin x x / y = e j (x y ) y
10
Conceptosbsicos
AnlisisdeFourier
El conjugado de un nmero complejo x tiene la misma magnitud pero fase contraria, comoseilustraenlaFigura1.8.Portalmotivosetieneque x = x * .
Figura1.8.Complejoconjugado.
Solucin. xx* = x e j x e j = x
)(
Solucin. x* = 2 + j3
x = 22 + ( 3)2 = 13
11
Conceptosbsicos
AnlisisdeFourier
2 xx* = x =
( a )2 + b 2
= a 2 + b2
Re{ x} =
a a Im{ x} = 2 2 2 a +b a +b
2
x* =
a b a + jb 1 +j 2 = 2 = 2 2 2 a +b a +b a +b a jb
2
x =
1 1 = a + jb a 2 + b2
1.3.5. FuncionesComplejas Las funciones complejas son aquellas funciones que tienen como codominio el conjunto de los nmeros complejos, es decir f : A C , donde A es un conjunto arbitrario. Estas funciones se identifican porque poseen el indicador j o porque su dominio son los nmeros complejos. Las funciones pueden expresarse en coordenadas Rectangulares: f ( x) = Re{ f ( x)} + j Im{ f ( x)} f ( x ) = f ( x ) e j ( x ) Polares: La relacin entre coordenadas rectangulares y polares para funciones complejas es igual que para el caso de los nmeros complejos. Para su visualizacin, existen 3 posibilidades como se ilustra en las Figuras 1.91.11, para la funcin f ( x) = 2e jx , donde f : R C . La primera es un grfico en 3 dimensiones de la funcin, con ejes: componente real, componente imaginaria y variable independiente. La segunda opcinconsisteenvisualizarlascomponentes,realeimaginaria,engrficosdiferentes contralavariableindependiente.Laltimaopcinyquizslamsutilizada,consisteen realizarungrficoparalamagnitudyotroparalafasedelafuncin,cadaunocontrala variableindependiente.
12
Conceptosbsicos
AnlisisdeFourier
Figura1.9.Grafico3D.
Figura1.10.Grficosporcomponentes:partesrealeimaginariasporseparado.
Figura1.11.Grficosdemagnitudyfase.
13
Conceptosbsicos
AnlisisdeFourier
1.4. Resumen Se revis la definicin de algunos conjuntos numricos como los reales, enteros, racionales e irracionales y se estableci una notacin para definir y relacionar elementosdeunconjunto. Los conjuntos numricos se clasifican de acuerdo a su cardinalidad como finitos o infinitos. Los conjuntos infinitos pueden ser contables (enumerables o ordenables) onocontables. Se defini el concepto de cota superior e inferior de un conjunto numrico y a partirdeestoslosconceptosdesupremo(mnimacotasuperior)enfimo(mxima cota inferior). Si el supremo o el nfimo pertenece al conjunto entonces es el mximooelmnimodelconjunto,respectivamente. Una funcin f : A B es un operador que asigna a cada elemento del conjunto A (dominio) un nico elemento del conjunto B (rango). Una funcin puede ser inyectiva y/o sobreyectiva, y se conocen como biyectiva si cumplen las dos condiciones. Los nmeros complejos viven en plano y pueden representarse en coordenadas rectangulares(parterealeimaginaria)opolares(magnitudyfase). Los exponenciales complejo viven en el circulo unitario (magnitud unitaria) del plano complejo y su fase (ngulo) es igual a su argumento. Un exponencial complejotienecomoparterealuncosenoycomoparteimaginariaunseno. El complejo conjugado refleja a un nmero complejo con respecto al eje real y es til para descomponer fracciones complejas en componentes real e imaginaria, as comoparaencontrarlamagnituddenmeroscomplejos. Una funcin con codomino en los complejos es una funcin compleja, cuya visualizacinpuedehacerporcomponentesrealeimaginariopormagnitudyfase.
14
Conceptosbsicos
AnlisisdeFourier
2. EscribatextualmenteloquesignificanlasexpresionesycontestesisonFV. a. x R / ( x + x = 0) x b. x Z ( 2 Z) c. x Z x R d. R Z 3. nfimosysupremos a. Mencione 2 cotas superiores del conjunto A y encuentre su supremo. Existemximo?Cules? b. Mencione 2 cotas inferiores del conjunto B y encuentre su nfimo. Existe mnimo?Cules? Seccin1.2 4. Ejemplosdefunciones. a. Deunejemplodeunafuncininyectivanosobreyectiva.Demuestre. b. Deunejemplodeunafuncinnoinyectivasobreyectiva.Demuestre. c. Deunejemplodeunafuncinbiyectiva.Demuestre. 5. Cualesdelasiguientesfuncionessoninyectivas?sobreyectivas?biyectivas? a.
f : R R ; f ( x) = 1 + x2
f : R R ; f ( x) =
b.
1 1+ x
c. d.
f : R + R ; f ( x) = x f : R R + {0}; f ( x ) = 2 x
15
Conceptosbsicos
AnlisisdeFourier
e.
f : Z Z ; f ( x) = 2 x
6. Determineeldomino,elcodominioyelrango,delassiguientesfunciones. 1 a. f : R R ; f ( x ) = 1+ x
b. c.
f : R + R ; f ( x) = x
f : Z Z ; f ( x) = 2 x
Seccin1.3 7. Encuentre la parte real, la parte imaginaria, el conjugado, la magnitud y la fase de lossiguientesnmeroscomplejos. 1 a. x = 2+ j b. x = e c.
j
x=
j 3 2 j
8. Demuestre que un nmero complejo y su conjugado, tienen la misma magnitud y fasedesignocontrario. 9. Encuentrelamagnituddelassiguientesfuncionescomplejas. a. f ( x ) = e x e jx
b.
f ( x ) = xe j 2 x
Expreselafuncinencoordenadaspolaresyencoordenadasrectangulares.
16
2 SEALES
Unasealesunaabstraccin,decualquiercantidadmesurable,queesfuncindeuna omsvariablesindependientes. Ejemplo2.1.Algunassealesdelmundoreal.
Las seales pueden modelarse matemticamente como funciones. En este curso hablaremos indiscriminadamente de seales y funciones. Consideraremos seales unidimensionales, las cuales son funciones de una sola variable independiente, que en lamayoradeloscasossereltiempo t . 2.1. Clasificacindeseales 2.1.1. Sealescontinuasydiscretas La seales pueden clasificarse en dos grandes grupos: las seales de tiempo continuo (TC)osealescontinuas,quedenotaremoscomo x(t ) ,ylassealesdetiempodiscreto (TD)osealesdiscretas,querepresentaremoscomo xn .
Seales
AnlisisdeFourier
2.1.1.1.
Sealesdetiempocontinuo
Las seales de TC toman valor en todos los instantes de tiempo y pueden modelarse comofuncionesquetienendominioenlosreales( f : R ).Elvalordeunasealde TC se puede conocerencualquier instante de tiempo. Las seales que son f : R R se conocen como seales de TC reales y las seales que son f : R C se conocen comosealesdeTCcomplejas.
Figura2.1.Sealesdetiempocontinuo:sealrealysealcompleja.
2.1.1.2. Sealesdetiempodiscreto Las seales de TD toman valor slo en un conjunto contable del tiempo y pueden modelarse como funciones con dominio en los enteros ( f : Z ). El valor de una sealdeTDslopuedeconocerseenalgunosinstantesdetiempo.Lassealesqueson f : Z R se conocen como seales de TD reales y las seales que son f : Z C se conocencomosealesdeTDcomplejas.
Figura2.2.Sealesdetiempodiscreto:sealrealysealcompleja.
Algunas seales de TD son versiones muestreadas de seales de TC, como sucede al digitalizarunacancinoalescanearunafotografa.
18
Seales
AnlisisdeFourier
2.1.2. Sealesdesoportecompactoyacotadas 2.1.2.1. Soportedeunaseal Elsoportedeunafuncinsedefinecomoelsubconjuntodeldominiodentrodelcualla funcintomavalordistintodecero. Definicin2.1.ElsoportedeunasealdeTC x(t ) ,eselsubconjuntocerradoyconexo mspequeodeltiempo,quecontienelosvaloresnonulosde x(t ) .
Figura2.3.Sealesdesoporteacotadoynoacotado,respectivamente.
Unasealtienesoportecompacto,sisusoporteesacotado. Ejemplo 2.2. La seal x(t ) = e t no tiene soporte compacto, pues la seal nunca llega asercero.LasealtriangularqueilustraenlaFigura2.4sitienesoportecompacto.
2
Figura2.4.Sealdesoportenoacotadoysealdesoportecompacto.
19
Seales
AnlisisdeFourier
Ejemplo 2.3. La seal x(t ) = arctan(t ) es una seal acotada, con nfimo y supremo iguala / 2 .Laseal x(t ) = 1 / t ,noesacotada,comoseilustraenlaFigura2.5.
Figura2.5.Sealacotadaysealnoacotada.
2.1.3. Sealespareseimpares Algunassealescumplenconciertotipodesimetraconrespectoacero,ydeacuerdo aestasimetraseclasificanensealespareseimpares. 2.1.3.1. CasoContinuo Una seal de TC x(t ) es par si cumple con x(t ) = x(t ) , es decir, si al reflejarla con respectoalejeverticalseobtienelamismaseal.
Figura2.6.Sealcontinapar.
20
Seales
AnlisisdeFourier
Figura2.7.SealdeTCimpar.
Ejemplo2.5.Demuestrequelaseal x(t ) = t esimpar. Solucin. x( t ) = t = x(t ) Portalmotivo, x(t ) esunasealimpar. Propiedad2.1.Si x(t ) esunasealpar,entonces
Si x(t ) esunasealimpar,entonces
x(t )dt = 0 .
21
Seales
AnlisisdeFourier
= x0 + 2 xn
n=0
Si xn esunasealimpar,entonces
n = a
= 0
2.1.3.3. Componentepareimpar Una seal dada no necesariamente es par o impar, sin embargo, toda seal puede expresarsecomolasumadeunasealparmsunasealimpar. CasoContinuo x(t ) = x par (t ) + x imp (t ) ,donde x(t ) + x(t ) x par (t ) = 2 x(t ) x(t ) x imp (t ) = 2 Ejemplo2.8.Descomponga x(t ) = 1 + t + t 2 comounasealparmsunasealimpar. Solucin. x(t ) = x par (t ) + x imp (t )
22
Seales
AnlisisdeFourier
(1 + t + t 2 ) + (1 t + t 2 ) x (t ) = = 1+ t2 2 2 (1 + t + t ) (1 t + t 2 ) ximp (t ) = =t 2
par
x par (t ) =
Observacin 2.1. Si x(t ) es una seal par, entonces x par (t ) = x(t ) y x imp (t ) = 0 . Si x(t ) esunasealimpar,entonces x par (t ) = 0 y x imp (t ) = x(t ) .
imp xn = xnpar + xn ,donde x + x n xnpar = n 2 x x n imp xn = n 2
CasoDiscreto
Ejemplo2.10.Descomponga xn comolasumadeunasealparmsunaimpar.
Figura2.8.SealdeTDadescomponer.
23
Seales
AnlisisdeFourier
Solucin.Realizaremoslasolucindeformagrafica.
Figura2.9.a.Sealreflejada.
Figura2.9.b.Componentepardelaseal.
Figura2.9.c.Componenteimpardelaseal.
2.2. Sealesperidicas Una seal peridica es una seal que repite su valor despus de un determinado tiempo, denominado periodo. Las seales peridicas son las funciones elegidas para la representacindesealesenlateoradeFourier. 2.2.1. Sealesperidicasdetiempocontinuo Unvalor a R ,esuntiempoderepeticinparaunaseal x(t ) si x( t + a ) = x( t ) esdecir,sidesplazamoslasealen a instantesdetiempoobtenemoslamismaseal.
24
Seales
AnlisisdeFourier
Definicin 2.3. El perodo T de una seal de TC x(t ) , es el mnimo tiempo de repeticinpositivo.Unaseal x(t ) esunasealperidica,siexiste T R + ,talque x( t + T ) = x ( t ) Siunaseal x(t ) tieneperiodo T ,entoncescumple x(t + kT ) = x(t ) , donde k Z Cada uno de los trminos kT , es un tiempo de repeticin de la seal. Observe que al desplazar x(t ) cualquier mltiplo entero de su periodo T , se obtiene la misma seal. Por tal motivo, conocer la seal x(t ) sobre un intervalo de tiempo de longitud T , es suficiente para conocer toda la seal, ya que la seal peridica est formada por copiasinfinitasdeeseintervalo,comoseilustraenlaFigura2.10.
Observacin2.2.Elvalor a = 0 esuntiempoderepeticinparacualquierseal.
Figura2.10.SealperidicadeTC.
Por convencin las seales constantes tienen periodo infinito, pues el conjunto de tiemposderepeticindeunasealconstantenotienemnimo. Definicin2.4.Lafrecuenciacontinua f ,sedefinecomoelinversodelperiodo f = 1/ T Si el periodo se expresa en segundos, la frecuencia esten HZ, parael caso de seales sinusoidales,oenciclosporsegundo(cps),paraotrassealesperidicas. La frecuencia nos da informacin de cuantas veces se repite una seal en un intervalo de tiempo (tasa de repeticin). Conociendo que el periodo de una seal de TC puede
Observacin 2.3. Toda seal peridica tiene soporte no acotado, por lo tanto no compacto,pueslasealdeberepetirsedesde hasta .
25
Seales
AnlisisdeFourier
estar en el intervalo (0, ) , la frecuencia de una seal de TC se encuentra en el intervalo [0, ) .Lassealesconstantestienenfrecuenciacero,puessuperiodoes . Definicin2.5.Lafrecuenciaangularcontinua ,esproporcionalalafrecuenciadela sealeinversaasuperiodo,ysedefinecomo 2 = 2 f = T La frecuencia angular continua se encuentra en el intervalo [0, ) . Si la frecuencia seexpresaenHz,lafrecuenciaangulartieneunidadesderad/seg. La mayora de seales peridicas pueden descomponerse como la suma de seales peridicas ms simples, de diferentes frecuencias. Sin embargo, existen algunas seales peridicas que poseen una nica frecuencia y no pueden descomponerse. Estas seales son la base del anlisis de Fourier y son: la seal seno sin(t ) , la seal coseno cos(t ) yelexponencialcomplejo e jt = cos(t ) + j sin(t ) . Lafrecuenciaangular ,controlalatasaalacualserepitecadaunadeestasseales. Silaseal e jt esperidicaexisteunvalor T R + talque e j ( t +T ) = e jt ,entonces e jt e jT = e jt e jT = 1 as, la seal es peridica si T = 2 k , donde k Z . Por tal motivo, el periodo de las seales e jt , sin(t ) y cos(t ) puedeserencontradoapartirde ,deacuerdoa 2 T= Una seal con frecuencia negativa, es equivalente a la misma seal de frecuencia positiva pero reflejada (tiempo invertido). Por ejemplo, las seales sin(t ) y sin( t ) ,tienenelmismoperiodo,perounacorrespondealareflexindelaotra. Ejemplo2.11.Encuentreelperiododelassiguientesseales. x(t ) = sin( 2t ) Enestecaso = 2 ,porlocual T = 2 / 2 = . x(t ) = e jt Enestecaso = ,porlocual T = 2 / = 2 .
26
Seales
AnlisisdeFourier
Observacin 2.4. Para todo R , las seales sin( t ) , cos(t ) y e jt son peridicas.Adems,laamplitud yfase deestassealesnoalterasuperiodo. 2.2.2. SumadeexponencialescomplejosdeTC SupongamoslasumadedossealesdeTCperidicas x(t ) = e j1t + e j2t Si x(t ) esperidica,paraalgn T R + debecumplir x(t + T ) = x(t ) ,esdecir j1 ( t +T ) j1t 2t e + e j 2 ( t +T ) = e + e j3 1442443 14 24
x ( t +T ) x(t )
e j1t e j1T + e j2t e j2T = e j1t + e j2t La igualdad anterior se cumple si y slo si e j1T = 1 y e j2T = 1 . Por tal motivo, si la seal x(t ) es peridica, se debe cumplir que 1T = 2k1 y 2T = 2k 2 , donde k1 , k2 Z* . As, x(t ) es peridica si y slo si 1 / 2 = k1 / k 2 , es decir, si el cociente 1 / 2 es un nmero racional. Las funciones sin( t ) y cos(t ) pueden expresarse en trminos de exponenciales complejos, por lo cual, para la suma de esta clase de sealessemantienelamismarestriccin. Ejemplo2.12.Encuentreelperiododelassiguientesseales,encasodeserperidicas. x(t ) = cos(3t ) + sin(5t ) 1 = 3, 2 = 5 1 2 = 3 5 Q ,lasealesperidica. Debemos encontrar los valores k1 , k2 Z* ms pequeos para los que se cumple 1T = 2k1 y 2T = 2k 2 . Para nuestra seal se tiene 3T = 2k1 y 5T = 2k 2 . Despejandosetiene 3k 2 = 5k1 k1 = 3, k 2 = 5 .Portalmotivo T = 2 . x(t ) = sin( 2t ) + sin(t ) 1 = 2, 2 = 1 2 = 2 Q ,lasealnoesperidica.
Cuando se realiza la suma de ms de dos seales peridicas, el periodo puede ser encontrado para dos seales y el resultado obtenido posteriormente es recalculado conotraseal.Esteprocedimientoesrepetidohastaalcanzarlatotalidaddeseales. Observacin2.5.Si 1 / 2 Q 2 / 1 Q .
27
Seales
AnlisisdeFourier
Ejemplo2.13.Encuentreelperiododelasiguienteseal,encasodeserperidica. x(t ) = cos(t ) + sin(t 2) + cos(t 3) Solucin. Tomemos x1 (t ) = cos(t ) + sin(t 2) , as x(t ) = x1 (t ) + cos(t / 3) . Para x1 (t ) se tiene 1 = 1 y 2 = 1 / 2 , entonces 1 2 = 2 Q . Por tal motivo x1 (t ) es peridica y paraellasedebecumplir T1 = 2k1 y T1 2 = 2k 2 .As, 2k 2 = k1 k1 = 2, k 2 = 1 yel periodode x1 (t ) es T1 = 4 ysufrecuenciaangulares x = 2 4 = 1 2 . Para x(t ) , se tienen dos seales con frecuencias angulares x = 1 2 y 3 = 1 3 , entonces x 3 = 3 2 Q . Por tal motivo, x(t ) es peridica y para ella se debe cumplir T 2 = 2k x y T 3 = 2k 3 . As , 2k x = 3k 3 y se obtiene k x = 3 y k 3 = 2 . Por tal motivo, x(t ) tieneperiodo T = 12 .
1 1 1
Observacin 2.6. Cuando se suma una seal peridica con una seal constante, la sealresultantetieneperiodoigualal delasealperidica.
Ejemplo2.14.Encuentreelperiodode x(t ) = cos 2 (3t ) ,encasodeserperidica. Solucin. Expresemos el cos 2 (3t ) de forma apropiada para encontrar el periodo de 1 [ ] x(t ) .Conociendolaidentidad cos 2 = 1 2 (1 + cos 2 ) ,setieneque x(t ) = 2 1 + cos(6t ) . Elperiododelasealcosenoes 2 6 ,entonceselperiodode x(t ) es T = 3 .
Definicin 2.6. Una seal con frecuencia angular k , donde k R * , se conoce como un armnico de una seal con frecuencia angular . En este caso se conoce como frecuenciafundamentalylasealconfrecuencia comofundamental. Propiedad 2.3. El periodo de una seal suma de una fundamental de frecuencia angular ysusarmnicos,esigualalperiododelafundamental,esdecir, T = 2 . Demostracin. Considereunasealdefrecuencia queessumadaconvariosdesusarmnicos x(t ) = sin(t ) + sin( k1t ) + sin( k2 t ) + K + sin( k N t ) , k1 , k2 , ..., k N Z En este caso la fundamental sin( t ) , tiene periodo 2 / y su isimo armnico sin( k i ) , tiene periodo 2 /( k i ) . Observe que 2 / es un tiempo de repeticin para cada uno de los armnicos, pues 2 / es mltiplo de 2 /( k i ) de. Por tal motivo,elperiododelasealtotalestdadoporelperiododelafundamental.
28
Seales
AnlisisdeFourier
Ejemplo 2.15. Halle el periodo de la seal x(t ) = cos( 2t ) + 1 cos(6t ) + 1 cos(8t ) , en caso 2 3 deserperidica. Solucin. Claramente la seal es peridica, pues corresponde a la suma de la fundamental cos( 2t ) con dos de sus armnicos. El periodo de la seal es T = 2 2 = .
2.2.3. Sealesperidicasdetiempodiscreto Unvalor a Z ,esuntiempoderepeticinparaunasealdeTD xn ,si xn + a = xn Definicin 2.7. El perodo N , de una seal de TD xn , es el mnimo tiempo de repeticinpositivo.Unaseal xn esunasealperidica,siexiste N Z + ,talque
xn + N = xn
Siunaseal xn tieneperiodo N ,entoncescumple xn + kN = xn , donde k Z Cada uno de los trminos kN , es un tiempo de repeticin de la seal. Observe que al desplazar xn cualquier mltiplo entero de su periodo N , se obtiene la misma seal. Por tal motivo, conocer la seal xn sobre un intervalo de longitud N , es suficiente para conocer toda la seal, ya que la seal peridica est formada por copias infinitas deeseintervalo.
Figura2.11.SealdeTDperidica.
29
Seales
AnlisisdeFourier
Definicin2.8.Lafrecuenciadiscreta f ,sedefinecomoelinversodelperiodo f = 1/ N La frecuencia nos da informacin de cuantas veces se repite una seal en un intervalo detiempo.Elperiodomspequeodeunasealperidicadiscretanoconstantees2. Por tal motivo, el periodo de una seal de TD se encuentra en el intervalo [2, ) . De acuerdoaesto,lafrecuenciadeunasealdeTDestenelintervalo [0,1 2] . Claramente una seal constante discreta tiene periodo 1 . Por tal motivo, las seales constantes tienen frecuencia 1 . Sin embargo, como se demostrar ms adelante, las sealesconstantesdiscretastambintienenfrecuencia 0 ,locualimplicaquetambin tienenperiodoinfinito;esdecir,tienen2periodos, 1 y .
Figura2.12.SealesdeTD:sealconstanteysealconperiodo2.
Definicin 2.9. La frecuencia angular discreta , es proporcional a la frecuencia de la sealdeTDeinversaasuperiodo,ysedefinecomo 2 = 2 f = N La frecuencia angular discreta se encuentra en el intervalo [0, ] . Las frecuencias cercanas a 0 se conocen como frecuencias bajas y las frecuencias cercanas a se conocencomofrecuenciasaltas. Al igual que en el caso continuo, nos centraremos en el estudio de tres seales peridicasbsicasquepermiterepresentarcasicualquierotrasealperidicadiscreta. Estas seales son: la seal seno sin( n ) , la seal coseno cos( n) y el exponencial complejo e j n = cos( n ) + j sin( n ) .
Observacin 2.7. No para todo las seales sin( n) , cos( n) y e j n son peridicas.
30
Seales
AnlisisdeFourier
Demostracin. Si e
j n
esunasealperidica,debeexistir N Z + ,talque
e j ( n+ N ) = e jn e j n e j N = e j n Por tal motivo se debe cumplir que e jN = 1 . Conociendo que los complejos de la forma e j viven sobre el circulo unitario en plano complejo y forman un ngulo de conelejereal,serequiereque N seaunmltiploenterode 2 ,esdecir N = 2k , donde k Z .Portalmotivo,lafrecuenciaangulardebeserdelaforma 2k = N De forma similar, se puede demostrar que las seales sin( n) y cos( n) son peridicas slo si su frecuencia angular es un mltiplo racional de 2 . Para encontrar el periodo es necesario expresar como un mltiplo racional de 2 . El periodocorrespondealdenominadordelmltiploracional. Ejemplo 2.16. Determine si las siguientes seales son peridicas y encuentre su periodo. xn = cos[( 3)n] Enestecaso = 2 (1 / 6) ,entonces xn esunasealperidicaconperiodo N = 6 . xn = e j 2 n Enestecaso = 2 (1 / ) ,entonces xn noesperidicapues (1 / ) Q . xn = sin 2 n
31
Seales
AnlisisdeFourier
Dos seales con diferente frecuencia angular, como cos[( 3)n] y cos[(7 3)n] , tienenelmismoperiodo,situacinimposibleparasealesdeTC.Estosedebeaquela frecuencia angular discreta es peridica, con periodo 2 . Por tal motivo, una frecuenciadiscreta 0 ,puedetambinescribirsecomo 0 + 2 k ,con k Z . 2.2.4. SumadeexponencialesperidicosdeTD Propiedad2.5.TodasumadesealesdeTDperidicasesperidica. Demostracin. Si xn y y n son dos seales de TD peridicas, con periodos N y M , respectivamente, entonces MN y MCM ( M , N ) son tiempos de repeticin para xn , y n y { xn + yn } . y yn = e , Si sumamos de dos exponenciales complejos peridicos xn = e seales con periodo N y M , respectivamente, entonces la seal xn + yn tiene periodo K ,dadopor K = MCM ( M , N ) donde MCM eselmnimocomnmltiplo. Ejemplo2.17.Encuentreelperiododelassiguientessumas. 2 2 cos n + sin n 4 5 N = 4, M = 5 y mcd ( 4,5) = 1 ,entonces K = 4 5 = 20 . 2 2 cos n + sin n 4 8 N = 4, M = 8 y mcd ( 4, 8) = 4 . Por tal motivo, el periodo de la suma es K = MCM ( 4, 8) = 8 . 2 2 n + sin n cos 6 8 N = 6, M = 8 y mcd (6,8) = 2 . Por tal motivo, el periodo de la suma es K = MCM (6, 8) = 24 .
2 j n N 2 j n M
32
Seales
AnlisisdeFourier
2.3. Potenciayenergadeunaseal En la mayora de los casos trabajaremos con seales, continuas o discretas, que correspondenaunvoltajeoaunacorriente.Portalmotivo,medidasdelasealcomo lapotenciainstantnea,lapotenciapromedioylaenerga,sondesumaimportancia. 2.3.1. Potenciainstantnea Enuncircuitopuramenteresistivo,comoelqueseilustraenlaFigura2.13,lapotencia p(t ) sobre el resistor R en un cierto instante de tiempo, es el producto entre la diferencia de potencial v(t ) de los terminales del resistor y la intensidad de la corriente i(t ) quepasaatravsdelmismo,esdecir p(t ) = v(t )i* (t ) .
Figura2.13.Circuitoresistivo.
Utilizando la ley de Ohm, la potencia instantnea puede expresarse en trminos del voltaje v(t ) enlosterminalesdelresistor
p ( t ) = x(t )
33
Seales
AnlisisdeFourier
2.3.2. Energa La energa total de una seal x(t ) , se define como la suma (integral) de su potencia instantnea x(t ) 2ypuedeserencontradacomo
E=
x(t ) dt
Las seales para las cuales la integral anterior converge se conocen como seales de energa finita. En la prctica, todas las seales tienen energa finita. La energa de una seal x(t ) puedeserencontradadentrodeunintervalodetiempo (t1 , t2 ) ,paraello 2.3.3. Potenciapromedio La promedio durante un intervalo de tiempo (t1 , t2 ) de una seal x(t ) , puede ser encontrada si sumamos la potencia sobre el intervalo y dividimos por la longitud del mismo.Lapotenciapromedio P sobreunintervalo (t1 , t2 ) ,sedefinecomo
t2
P t1 ,t2
1 2 2 = x(t ) dt t2 t1 t1
Lapotenciapromediodelasealsecalculacuandoelintervalosevuelveinfinito
1 2 2 P = lim x(t ) dt T T t1
Si la potencia promedio se mantiene finita, pero no cero, cuando la longitud del intervalo de tiempo T tiende a infinito, la seal x(t ) se denomina seal de potencia. La potencia promedio de una seal peridica puede encontrarse sin evaluar el lmite T . En este caso, se puede tomar T como el periodo de la seal y calcular la potenciapromediosobrecualquierintervalodetiempodelongitud T ,esdecir 1 2 P = x(t ) dt TT Ejemplo2.18.Paralaseal x(t ) = 2e j 3t ,encuentrelapotencia,laenergadelasealy lapotenciapromedio.Lasealesdepotenciaodeenerga?
34
Seales
AnlisisdeFourier
Solucin. Potenciainstantnea
p ( t ) = x ( t ) = 2e j 3 t p ( t ) = 2 2 e j 3t = 4
2
Energa
E=
x(t ) dt =
2e
j 3t
dt = 4 e j 3t dt
E = 4 dt = 8 1dt =
0
Potenciapromedio
2 1 4 2 x(t ) dt = lim e j 3t dt T T T T T / 2 T / 2 T /2 T /2 T /2
P = lim
Portalmotivo, x(t ) esunasealdepotencia. Ejemplo 2.19. Encuentre la potencia, la energa y la potencia promedio de la siguiente seal.Lasealesdepotenciaodeenerga?
Figura2.14.Sealexponencialdecrecientepar.
Solucin.
35
Seales
AnlisisdeFourier