Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Libro Analisis de Fourier Quiroga
Libro Analisis de Fourier Quiroga
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
XI
1. CONCEPTOS BSICOS
1.1.
Basesmatemticas
1.1.1. ConjuntosNumricos
1.1.2. Notacindeinters
1.1.3. Clasificacindeconjuntosdeacuerdoasucardinalidad
1.1.4. nfimoysupremo
1
1
2
3
3
1.2.
Funciones
1.2.1. Inyectividad
1.2.2. Sobreyectividad
1.2.3. Biyectividad
1.2.4. Invertibilidad
4
5
5
6
6
1.3.
Variablecompleja
1.3.1. Nmeroscomplejos
1.3.2. IdentidaddeEuler(ExponencialComplejo)
1.3.3. Operacionesentrecomplejos
1.3.4. Complejoconjugado
1.3.5. FuncionesComplejas
6
7
8
10
10
12
1.4.
Resumen
14
1.5.
Ejercicios
15
2. SEALES
17
2.1.
Clasificacindeseales
2.1.1. Sealescontinuasydiscretas
2.1.2. Sealesdesoportecompactoyacotadas
2.1.3. Sealespareseimpares
17
17
19
20
2.2.
Sealesperidicas
2.2.1. Sealesperidicasdetiempocontinuo
2.2.2. SumadeexponencialescomplejosdeTC
2.2.3. Sealesperidicasdetiempodiscreto
2.2.4. SumadeexponencialesperidicosdeTD
24
24
27
29
32
2.3.
Potenciayenergadeunaseal
2.3.1. Potenciainstantnea
2.3.2. Energa
2.3.3. Potenciapromedio
33
33
34
34
2.4.
Normasyespaciosnormados
2.4.1. NormayespacioL1
37
37
2.4.2.
2.4.3.
2.4.4.
NormayespacioL2
Normayespaciol1
Normayespaciol2
39
41
42
2.5.
FuncionesSingulares
2.5.1. FuncinescalndeHeaviside
2.5.2. Funcinimpulso
2.5.3. Escalnunitariodiscreto
2.5.4. Impulsounitariodiscreto
43
43
45
47
47
2.6.
Convolucinlineal
2.6.1. Definicin
2.6.2. Propiedadesdelaconvolucin
48
48
52
2.7.
SistemasLTI
2.7.1. Sistemascontinuos
2.7.2. Sistemasdiscretos
53
53
55
2.8.
Resumen
57
2.9.
Ejercicios
59
3. REPRESENTACIN DE SEALES
3.1.
Descomposicindeseales
63
63
3.2.
Aproximacindeunvector
3.2.1. Aproximacindeunelementodelplano
3.2.2. Aproximacindeunaseal
64
64
65
3.3.
Basesortogonales
3.1.1. Baseseindependencialineal
3.1.2. Ortogonalidad
3.1.3. MtododeortogonalizacindeGramSchmidt
68
68
68
70
3.4.
Representacindesealesenunintervalodetiempofinito
71
3.5.
TeoremadeParsevalparaunintervalofinito
77
3.6.
Representacindeunasealperidica
78
3.7.
Resumen
79
3.8.
Ejercicios
80
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
83
85
88
90
VIII
4.1.5.
Propiedadesdelaserieexponencial
92
4.2.
SerietrigonomtricadeFourier
4.2.1. Relacinentrelaserietrigonomtricaylaserieexponencial
4.2.2. SerietrigonomtricadeFourierparasealespareseimpares
4.2.3. TeoremadeParsevalparalaserietrigonomtricadeFourier
96
100
103
106
4.3.
AplicacionesdelasseriesdeFourier
4.3.1. Anlisisdesealesperidicas
4.3.2. Convolucincircularcontina
4.3.3. Oscilacionesforzadas
108
108
108
111
4.4.
Resumen
115
4.5.
Ejercicios
116
5. TRANSFORMADA DE FOURIER
121
5.1.
DeduccindelatransformadadeFourierL1
5.1.1. Representacindesealesnoperidicas
121
121
5.2.
TransformadadeFourierL1
5.2.1. InterpretacindelaTransformadadeFourierL1
5.2.2. ConvergenciadelaTransformadadeFourierL1
124
127
128
5.3.
PropiedaddeconvolucinparalaTF
5.3.1. RespuestadeunsistemaLTIutilizandolatransformadadeFourier
5.3.2. Multiplicacindesealeseneltiempo
141
143
145
5.4.
TeoremadeParsevalparalatransformadadeFourier
147
5.5.
TransformadadeFourierL2
148
5.6.
TransformadasdeFourierqueimplicanfuncionesimpulso
5.6.1. TransformadadeFourierdelafuncinimpulso
5.6.2. TransformadadeFourierdeunexponencialcomplejo
5.6.3. TransformadadeFourierdesealesperidicas
152
152
152
154
5.7.
AplicacionesdelatransformadadeFourier
156
5.8.
Resumen
157
5.9.
Ejercicios
158
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
170
170
172
173
174
176
176
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
179
180
182
183
184
186
187
6.4.
TransformadarpidadeFourier(FFT)
6.4.1. AlgoritmoFFTdediezmadoeneltiempo(Base2)
6.4.2. AplicacionesdelaFFT
188
188
189
6.5.
Resumen
194
6.6.
Ejercicios
195
197
7.1.
Conceptosbsicos
7.1.1. ClasificacindelasEDPs
7.1.2. SolucindeunaEDP
7.1.3. PropiedadesdelasEDPs
197
198
199
200
7.2.
201
Ecuacindeondaunidimensional
7.3.
Solucindelaecuacindeonda1D
7.3.1. Separacindevariables
7.3.2. SolucindeDAlembert
205
205
213
7.4.
Ecuacindecalorunidimensional
7.4.1. Alambrefinito(Separacindevariables)
7.4.2. Alambreinfinito(TransformadadeFourier)
217
217
222
7.5.
225
Ejercicios
A. ESPACIOS VECTORIALES
227
BIBLIOGRAFA
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.
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}
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
Conceptosbsicos
AnlisisdeFourier
Figura1.1.Larectareal.
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 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
Conceptosbsicos
AnlisisdeFourier
Observacin1.1.Notodoslosconjuntosdecardinalidadinfinitaquetienensupremo
o nfimo, tienen mximo o mnimo, respectivamente. Un conjunto que no posee
supremoonfimo,seconocecomounconjuntonoacotado(notienecotas).Todos
losconjuntosdecardinalitafinitatienen mximoymnimo.
1.2. Funciones
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 ) .
Conceptosbsicos
AnlisisdeFourier
f : R R dadapor f ( x ) = 5 x + 2 .
1.2.1. Inyectividad
Figura1.3.Funcininyectiva.
1.2.2. Sobreyectividad
Figura1.4.Funcinsobreyectivanoinyectiva.
Conceptosbsicos
AnlisisdeFourier
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.
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
Figura1.5.Funcinbiyectiva.
1.2.4. Invertibilidad
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
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
Cambiodecoordenadas
Derectangularesapolares:
Magnitud
r = Re{ x} 2 + Im{ x} 2 = x
Fase
Im{ x}
= x
Re{ x}
= arctan
Depolaresarectangulares:
Re{ x} = r cos
ParteReal
Parteimaginaria
Im{ x} = r sin
1.3.2. IdentidaddeEuler(ExponencialComplejo)
LaidentidaddeEulerseestablececomo
e j = cos + j sin
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
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.
Ejemplo1.11.Expreseelnmerocomplejo x = 3 j 4 encoordenadaspolares.
sin x =
e jx e jx
2j
cos x =
e jx + e jx
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
Diferencia
Producto
xy = x y e j (x + y )
Divisin
x
x / y = e j (x y )
y
Ejemplo1.12.Si x = 2e j ,encuentre x 1 = 1 / x .
Solucin.
1
1
x 1 = e j (0 x ) = e j
x
2
Propiedad1.1.Lamagnituddeunproductoesigualalproductodelasmagnitudes.De
formasimilar,lamagnituddeuncocienteesigualalcocientedelasmagnitudes.
1.3.4. Complejoconjugado
Sea x = a + jb entoncessucomplejoconjugadosedefinecomo x * = a jb .
Ejemplo1.13.Elconjugadode x = 2 + j es x * = 2 j .
10
Conceptosbsicos
AnlisisdeFourier
Ejemplo1.14.Demuestrequesi x = x e j ,entonces x * = x e j .
Solucin.
x = x cos + j x sin
Elconjugadodeunnmerocomplejo x tienelamismamagnitudperofasecontraria,
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
Ejemplo1.17.Para x = a + jb encuentre xx * .
Solucin.
11
Conceptosbsicos
2
xx* = x =
( a )2 + b 2
AnlisisdeFourier
= a 2 + b2
Solucin.Paraencontrarlascomponentesrealeimaginaria,primerohayquelaparte
complejadeldenominador,porlocualsedebemultiplicarydividirporsuconjugado.
1
a jb a jb
a
b
x=
= 2
= 2
j 2
2
2
a + jb a jb a + b
a +b
a + 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
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:
12
Conceptosbsicos
AnlisisdeFourier
Figura1.9.Grafico3D.
Figura1.10.Grficosporcomponentes:partesrealeimaginariasporseparado.
Figura1.11.Grficosdemagnitudyfase.
13
Conceptosbsicos
AnlisisdeFourier
1.4. Resumen
14
Conceptosbsicos
AnlisisdeFourier
1.5. Ejercicios
Seccin1.1
1. Encuentreloselementosdelosconjuntos
a. A = { x Z : 4 x 5}
b. B = { x R : x < 10}
c. C = { x Z + : 2x Z, x 10}
2. EscribatextualmenteloquesignificanlasexpresionesycontestesisonFV.
a. x R / ( x + x = 0)
b. x Z ( 2x Z)
c. x Z x R
d. R Z
3. nfimosysupremos
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
b.
f : R R ; f ( x) =
1+ x
c.
d.
f : R + R ; f ( x) = x
f : R R + {0}; f ( x ) = 2 x
15
Conceptosbsicos
e.
AnlisisdeFourier
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. Encuentrelapartereal,laparteimaginaria,elconjugado,lamagnitudylafasede
lossiguientesnmeroscomplejos.
a. x =
2+ j
b. x = e
c.
x=
3 2 j
8. Demuestrequeunnmerocomplejoysuconjugado,tienenlamismamagnitudy
fasedesignocontrario.
9. Encuentrelamagnituddelassiguientesfuncionescomplejas.
a. f ( x ) = e x e jx
b.
f ( x ) = xe j 2 x
10. Considerelafuncincompleja
1 1 < x < 1
f ( x) =
0 otro caso
1 1 < x < 1
f ( x ) =
0 otro caso
Expreselafuncinencoordenadaspolaresyencoordenadasrectangulares.
16
2
SEALES
Unasealesunaabstraccin,decualquiercantidadmesurable,queesfuncindeuna
omsvariablesindependientes.
Ejemplo2.1.Algunassealesdelmundoreal.
2.1. Clasificacindeseales
2.1.1. Sealescontinuasydiscretas
Lasealespuedenclasificarseendosgrandesgrupos:lassealesdetiempocontinuo
(TC)osealescontinuas,quedenotaremoscomo x(t ) ,ylassealesdetiempodiscreto
(TD)osealesdiscretas,querepresentaremoscomo xn .
Seales
2.1.1.1.
AnlisisdeFourier
Sealesdetiempocontinuo
LassealesdeTCtomanvalorentodoslosinstantesdetiempoypuedenmodelarse
comofuncionesquetienendominioenlosreales( f : R ).Elvalordeunasealde
TCsepuedeconocerencualquierinstantedetiempo.Lassealesqueson f : R R
seconocencomosealesdeTCrealesylassealesqueson f : R C seconocen
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 seconocencomosealesdeTDrealesylassealesqueson f : Z C se
conocencomosealesdeTDcomplejas.
Figura2.2.Sealesdetiempodiscreto:sealrealysealcompleja.
18
Seales
AnlisisdeFourier
2.1.2. Sealesdesoportecompactoyacotadas
2.1.2.1. Soportedeunaseal
Elsoportedeunafuncinsedefinecomoelsubconjuntodeldominiodentrodelcualla
funcintomavalordistintodecero.
Figura2.3.Sealesdesoporteacotadoynoacotado,respectivamente.
Unasealtienesoportecompacto,sisusoporteesacotado.
Figura2.4.Sealdesoportenoacotadoysealdesoportecompacto.
2.1.2.2. Sealesacotadas
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.
Solucin.
x( t ) = 1 + ( t )2 = 1 + t 2 = x(t )
20
Seales
AnlisisdeFourier
Figura2.7.SealdeTCimpar.
Solucin.
x( t ) = t = x(t )
Si x(t ) esunasealimpar,entonces
x(t )dt = 0 .
2.1.3.2. CasoDiscreto
UnasealdeTD xn esparsicumplecon xn = xn .
Ejemplo2.6.Demuestrequelaseal xn = e n + e n espar.
Solucin.
x n = e n + e n = xn
Portalmotivo, xn esunasealpar.
21
Seales
AnlisisdeFourier
Unaseal xn esimparsicumplecon xn = xn .
Ejemplo2.7.Demuestrequelaseal xn = e n e n esimpar.
Solucin.
x n = e n e n = xn
Propiedad2.2.Si xn esunasealpar,entonces
n = a
= 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(t )
x par (t ) =
x(t ) x(t )
x imp (t ) =
Solucin.
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
Solucin.
et + e t
= cosh(t )
2
et e t
ximp (t ) =
= sinh(t )
2
x par (t ) =
CasoDiscreto
x + x n
xnpar = n
x x n
xnimp = n
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
x( t + a ) = x( t )
esdecir,sidesplazamoslasealen a instantesdetiempoobtenemoslamismaseal.
24
Seales
AnlisisdeFourier
Observacin2.2.Elvalor a = 0 esuntiempoderepeticinparacualquierseal.
x( t + T ) = x ( t )
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.
Figura2.10.SealperidicadeTC.
Observacin 2.3. Toda seal peridica tiene soporte no acotado, por lo tanto no
compacto,pueslasealdeberepetirsedesde hasta .
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
25
Seales
AnlisisdeFourier
Definicin2.5.Lafrecuenciaangularcontinua ,esproporcionalalafrecuenciadela
sealeinversaasuperiodo,ysedefinecomo
2
= 2 f =
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
T=
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
2.2.2. SumadeexponencialescomplejosdeTC
SupongamoslasumadedossealesdeTCperidicas
j1 ( t +T )
j1t
2t
e1442443
+ e j2 ( t +T ) = e14
+ e j3
24
x ( t +T )
x(t )
Ejemplo2.12.Encuentreelperiododelassiguientesseales,encasodeserperidicas.
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 .
1 = 2, 2 = 1 2 = 2 Q ,lasealnoesperidica.
Observacin2.5.Si 1 / 2 Q 2 / 1 Q .
27
Seales
AnlisisdeFourier
Ejemplo2.13.Encuentreelperiododelasiguienteseal,encasodeserperidica.
Observacin2.6.Cuandosesumaunasealperidicaconunasealconstante,la
sealresultantetieneperiodoigualal delasealperidica.
Demostracin.
Considereunasealdefrecuencia queessumadaconvariosdesusarmnicos
28
Seales
AnlisisdeFourier
2.2.3. Sealesperidicasdetiempodiscreto
xn + a = xn
xn + N = xn
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 =
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
=
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.
xn = cos[( 3)n]
xn = e j 2 n
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.
2
j
n
N
2
j
n
M
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 )
Ejemplo2.17.Encuentreelperiododelassiguientessumas.
2
2
cos
n + sin
n
4
5
2
2
cos
n + sin
n
4
8
2
2
n + sin
n
cos
6
8
32
Seales
AnlisisdeFourier
2.3. Potenciayenergadeunaseal
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.
=
p(t ) =
R
R
Enamboscasos,lapotenciainstantneaesproporcionalalamagnitudalcuadradode
laseal.Paraunresistor R = 1 ,lasecuacionestomanlamismaforma,esdecir
p ( t ) = x(t )
33
Seales
AnlisisdeFourier
2.3.2. Energa
E=
x(t ) dt
Lassealesparalascualeslaintegralanteriorconvergeseconocencomosealesde
energafinita.Enlaprctica,todaslassealestienenenergafinita.Laenergadeuna
seal x(t ) puedeserencontradadentrodeunintervalodetiempo (t1 , t2 ) ,paraello
t2
t1
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
P t1 ,t2
1 2
2
=
x(t ) dt
t2 t1 t1
Lapotenciapromediodelasealsecalculacuandoelintervalosevuelveinfinito
1 2
2
P = lim x(t ) dt
T T
t1
1
2
P = x(t ) dt
TT
34
Seales
AnlisisdeFourier
Solucin.
Potenciainstantnea
p ( t ) = x ( t ) = 2e j 3 t
p ( t ) = 2 2 e j 3t = 4
Energa
E=
x(t ) dt =
2e
j 3t
dt = 4 e j 3t dt
E = 4 dt = 8 1dt =
Potenciapromedio
T /2
T /2
2
1
4
2
x(t ) dt = lim
e j 3t dt
T T
T T
T / 2
T / 2
P = lim
T /2
4
4
P = lim
dt = lim [T / 2 ( T / 2)] = 4
T T
T T
T / 2
Ejemplo2.19.Encuentrelapotencia,laenergaylapotenciapromediodelasiguiente
seal.Lasealesdepotenciaodeenerga?
Figura2.14.Sealexponencialdecrecientepar.
Solucin.
35
Seales
Potenciainstantnea
AnlisisdeFourier
e4t
p(t ) = e 4|t| = 4t
e
t<0
t>0
Energa
E=
x(t ) dt =
(e )
2|t |
dt =
4|t |
dt
E=
4 t
4t
e dt + e dt =
Potenciapromedio
T /2
T /2
1
1
2
P = lim
x(t ) dt = lim
e 2|t|
T T
T T
T / 2
T / 2
T /2
1
4 t
dt = lim
e dt
T T
T / 2
2
T T
P = lim
T /2
1 4t
1
e
= lim
(1 e2T ) = 0
T 2T
T 2T
T /2
e4t dt = lim
2.3.4. Casodiscreto
Potenciainstantneadelaseal
pn = xn
Energaenelintervalo ( n1 , n2 )
n2
En1 ,n2 = xn
2
n = n1
Energadelaseal
Potenciapromedioenelintervalo ( n1 , n2 )
Potenciapromedio
E=
n =
P n1 ,n2
xn
n2
1
2
=
xn
( n2 n1 ) + 1 n = n1
1
N N
P = lim
N /2
n = 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.
2.4.1. NormayespacioL1
x(t ) 1 =
x(t ) dt
L1 eselespaciovectorialformadoportodaslassealesdeTCquetienennorma L1
finita(sealesintegrablesenmagnitud),esdecir, L1 = f : R C :
f < .
t 3 t 3
Ejemplo2.21.Encuentrelanorma L1 delaseal x(t ) =
Solucin.
Figura2.15.Sealoriginalysumagnitud.
x (t ) 1 =
x(t ) dt =
dt
37
Seales
AnlisisdeFourier
x(t ) 1 = t dt + t dt = 9
t 1
1 / t
Ejemplo2.22.Encuentrelanorma L1 delaseal x(t ) =
0 otro caso
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 ) dt = 1 / t 2 dt
1
x(t ) 1 = 1 t 2 dt = 1 t 1 = 1
38
Seales
AnlisisdeFourier
Lassealesquepertenecena L1 seconocencomosealesintegrablesenmagnitud.
Propiedad2.6.
x(t ) dt
x(t ) dt
Portalmotivo,siunasealesintegrableenmagnitudesintegrablesinmagnitud.La
norma L1 deunasealdeTCpuedecalcularsesobreunintervalofinitodetiempo,en
esecasosedefinecomo
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.
{1 / n} = {1, 12 , 13 , 14 , ...}
2.4.2. NormayespacioL2
x (t ) 2 =
x(t ) dt
L2 eselespaciovectorialformadoportodaslassealesdeTCquetienennorma L2
finita(sealesdeenergafinita),esdecir, L2 = f : R C :
< .
t 1
1 / t
Ejemplo2.25.Encuentrelanorma L2 delaseal x(t ) =
0 otro caso
39
Seales
AnlisisdeFourier
Solucin.
x (t ) 2 =
x(t ) dt =
1/ t
dt
1 t
x (t ) 1 =
dt = 1 / t 1 = 1
Portalmotivolasealpertenecea L2 .Notequeestasealnopertenecea L1 .
E = x(t )
Propiedad2.7.Todasealacotadaydesoportecompactopertenecea L1 L2 .
Lanorma L2 deunasealdeTCpuedecalcularsesobreunintervalofinitodetiempo,
enesecasosedefinecomo
t2
x(t )
x(t ) 2 (t1 , t2 ) =
dt
t1
Observacin2.9.Unasealquenotienesoportecompactopuedepertenecera L1 o
L2 .Enlosejemplosrealizadosalgunassealestienesoportenoacotadoyalgunas
deellaspertenecena L1 o L2 .
Definicin2.13.UnespaciodeHilbert,esunespaciovectorialnormadocompletocon
productointerno,esdecir,unespaciodeBanachconproductointerno.
x, y =
x(t ) y (t ) dt
*
Elproductointernoenciertaformacalculalasimilitudentredossealesdelespacio.
Lanorma L2 ylaenergadeunasealserelacionanconelproductointerno,mediante
40
Seales
x, x =
x(t ) x (t ) dt =
*
AnlisisdeFourier
x(t ) dt
x , x = x (t )
=E
2.4.3. Normayespaciol1
xn 1 =
n =
xn
Elespacio l1 ,eselespaciovectorialformadoportodaslassealesdeTDquetienen
norma l1 finita.Lassealesde l1 seconocencomosealessumablesenmagnitud.
Propiedad2.8.
n =
xn
n =
xn
Portalmotivo,siunasealessumableenmagnitudessumablesinmagnitud.
Lanorma L1 deunasealdeTDpuedecalcularsesobreunintervalofinitodetiempo,
enesecasosedefinecomo
n2
xn 1 ( n1 , n2 ) = xn
n = n1
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
2.4.4. Normayespaciol2
xn
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 )
n / 2 2 n 2
Ejemplo2.27.Calculelanorma l2 ylaenergadelaseal xn =
.
0 otro caso
Solucin.
Figura2.18.Sealoriginalysumagnitud.
xn
E = xn
n 2 = 1 + 14 + 0 + 14 + 1 = 10 2
n = 2
= 5 2
42
Seales
AnlisisdeFourier
2.5. FuncionesSingulares
2.5.1. FuncinescalndeHeaviside
LafuncinescalndeHeavisideofuncinescalnunitariosedefinecomo
0 t < 0
u (t ) =
1 t > 0
Ejemplo2.28.Obtengalagraficadelassiguientesfuncionesescaln.
u (t + 1) :eltiempodelatransicinestdadoporlaecuacin t + 1 = 0 ,porlo
cuallatransicinocurreen t = 1 .
0 t < 1
u (t + 1) =
1 t > 1
u (t ) :debidoaquelafuncinestreflejadalatransicinesdeunoacero.El
tiempodelatransicinseencuentrahaciendo t = 0 ,porlocual t = 0 .
1 t < 0
u ( t ) =
0 t > 0
43
Seales
AnlisisdeFourier
u (2 t ) :debidoaquelafuncinestreflejada,latransicinesdeunoacero.
Eltiempodelatransicinseencuentrahaciendo 2 t = 0 ,porlocual t = 2 .
1 t < 2
u (2 t ) =
0 t > 2
Propiedadseparadora
La funcin escaln es comnmente utilizada para anular una seal a partir de cierto
tiempoyesutilizadajuntoaotrosescalonesparaseleccionarunaregindeintersen
unaseal.Almultiplicarunaseal x(t ) porunescalnseobtiene
0 t < t0
x(t )u (t t0 ) =
x(t ) t > t0
Figura2.19.Sealoriginalysealmultiplicadaporunescaln.
Ejemplo2.29.Grafiquelaseal t [u (t 1) u (t 3)]
Figura2.20.Restadelasfuncionesescaln
44
Seales
AnlisisdeFourier
Figura2.21.Sealoriginalysealmultiplicadaporlasfuncionesescaln.
2.5.2. Funcinimpulso
LafuncinimpulsoodeltadeDiracestdefinidacomo
t =0
0
0 otro caso
(t ) =
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 .
0 t = 3
0 t3
(t 3) =
45
Seales
AnlisisdeFourier
Propiedaddereaunitaria
1 si a < t0 < b
otro caso
(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
x(t ) (t t0 ) = x(t0 ) (t t0 )
46
Seales
AnlisisdeFourier
Ejemplo2.32.Evalulassiguientesintegrales
cos( t )
x2
(t )dt = e cos( ) = e 1
( x)dx = 0
1
100
2.5.3. Escalnunitariodiscreto
Lafuncinescalnunitariodiscretosedefinecomo
0 n < 0
un =
1 n 0
2.5.4. Impulsounitariodiscreto
Lafuncinimpulsodiscreto n ,estdefinidacomo
n=0
1
0 otro caso
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
xn n n0 = xn0 n n0
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
Nohaytraslapeentrelasseales,porlocual h(0) = 0 .
Para t = 1
h(1) =
f ( ) g (1 )d
1
1
h(1) = f ( ) g (1 )d = d =
2
Para t = 2
h( 2 ) =
f ( ) g ( 2 )d
50
Seales
h( 2 ) =
AnlisisdeFourier
f ( ) g (1 )d = d + ( + 2) d = 1
Elvalorde h( 2) correspondealreadeltriangulodelcorrespondientetraslape.
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
t
1
h(t ) = + ( + 2) d
2 1
(t 2 ) 2
h( t ) = 1
2
51
Seales
AnlisisdeFourier
h( t ) =
1
+ d
2 2+t
(t 2 ) 2
h( t ) = 1
2
h( t ) =
+ 2 d
2 + t
(t 4) 2
h( t ) =
2
Portalmotivo,laconvolucinentrelassealesesunasealatrozosdadapor
1 2
t
2
h(t ) = 1 12 (t 2)2
1 (t 4 ) 2
2
0
t<0
0 < t <1
1 t 3
3<t < 4
t>4
2.6.2. Propiedadesdelaconvolucin
Conmutatividad
x(t ) y (t ) = y (t ) x(t )
52
Seales
Asociatividad
Distributividad
AnlisisdeFourier
x(t ) [ y (t ) z (t )] = [x(t ) y (t )] z (t )
x( t ) [ y ( t ) + z ( t ) ] = x ( t ) y ( t ) + x( t ) z ( t )
Convolucinconimpulso
x( t ) ( t t 0 ) = x ( t t 0 )
2.6.3. Convolucinlinealdiscreta
Deformaanlogaalcasocontinuo,laconvolucindiscretaentredosseales xn y yn ,
esunaterceraseal hn ,definidacomo
yn = [ x h]n =
xh
k =
k nk
k =
nk k
2.7. SistemasLTI
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
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 )
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
Ejemplo2.34.EncuentrelarespuestadeunsistemaLTIaunexponencialcomplejo.
x(t )h( )d = e
y (t ) =
j 0 ( t )
h( )d = e
j0 t
j 0
d = e j0t H (0 )
h( )e
Larespuestaaunexponencialcomplejodefrecuencia 0 eselmismoexponencial
multiplicadoporunafuncinquedependedelafrecuencia 0 .
EstabilidadensentidoEASA
ConsideremoslasalidadelsistemaLTI
y (t ) =
x( )h(t )d
y (t )
x( ) h(t ) d sup x( )
R
h(t ) d
2.7.2. Sistemasdiscretos
UnsistemaLTIdiscretopuedeversecomounoperadorqueacadasealdeentrada xn
leasignaunasealdesalida yn ,cumpliendolinealidadeinvarianzatemporal.
Figura2.27.SistemaLTIdiscreto
55
Seales
AnlisisdeFourier
Laseal xn puedeescribirse,utilizandounafuncinimpulso,como
xn =
k =
nk
= xn n
Supongaquelaseal xn entraaunsistema(LTI),entonceslasalidaes
yn = L[ xn ] = L xk n k = xk L[ n k ]
k =
k =
Definamos hn comolarespuestaaunimpulsodiscretodelsistemaLTI,esdecir
hn = L[ n ] L[ n k ] = hn k
Portalmotivo,podemosescribirlarespuestadelsistemacomo
yn =
xh
k =
k nk
= xn hn
LarespuestadeunsistemaLTIaunasealdeentradacorrespondealaconvolucin
entrelasealdeentrada xn ylarespuestaalimpulsodelsistema hn .
Figura2.28.RespuestadeunsistemaLTIconrespuestaalimpulsoh(t).
EstabilidadensentidoEASA
yn =
xh
k =
k nk
yn
k =
xk hn k sup xk
kZ
k =
hn k
yn sup xk hn 1
kZ
Portalmotivo,silarespuestaimpulso hn l1 elsistemaesestableensentidoEASA,y
elsistemaasignaunasealdesalidaacotadaatodasealdeentradaacotada.
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
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
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.
b.
c.
d.
e.
59
Seales
AnlisisdeFourier
7. Encuentreelperiododelassiguientessealesdetiempodiscreto,enelcasodeser
peridicas.
2
j
n
3
+e
2
j
n
5
c.
x[n] = sin(3 kn )
k =1
x1[n] = e j n
x2 [n] = cos( 2 n)
x3 [n] = sin
n
4
x4 [n] = sin
n
4
a.
b.
c.
d.
Lapotenciainstantnea
Laenerga
Lapotenciapromedio
Laseal x(t ) ,esunasealdeenergaodepotencia?
a.
b.
c.
d.
Lapotenciainstantnea
Laenerga
Lapotenciapromedio
Laseal x(t ) ,esunasealdeenergaodepotencia?
60
Seales
a.
b.
c.
d.
AnlisisdeFourier
Lapotenciainstantnea
Laenerga
Lapotenciapromedio
Laseal x(t ) ,esunasealdeenergaodepotencia?
13. *Porqulaenergadeunasealperidicaesinfinita?Porqusupotencia
promediopuedecalcularsesobreunintervalodelongitud T ?
Seccin2.7
14. *Contestefalsoverdadero.
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
a. Dibuje x(t )
b. Dibuje x( 2t )
c. Dibuje x( 2 t )
18. Evalulassiguientesexpresiones
a.
[n 3]e
( n 3 )2
n =
61
Seales
AnlisisdeFourier
b.
(2t 1)4
dt
Seccin2.9
Seccin2.10
23. *Definasistemacausalysistemaconmemoria.
Lineal
Invarianteeneltiempo
Causal
Conmemoria.
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
Figura3.1.Sealdesoportecompacto.
x(t ) = ann (t )
t1 < t < t2
n
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
EnesteCaptuloestudiaremosbajoquecondicionesunasealpuededescomponerse
comounasumadesealesmssimplesycomoserealizadichadescomposicin.
3.2. Aproximacindeunvector
Consideremoslatareadeaproximarunelementodeunespaciovectorialdotadocon
productointernoentrminosdeotroelementocualquieradelespacio.Paraestefin,
definamoslanotacin ., . comoelproductointernodelespaciovectorial.
3.2.1. Aproximacindeunelementodelplano
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
f copt x
f, x
f, x
copt =
f
x
x, x
x, x
3.2.2. Aproximacindeunaseal
S[t1 , t2 ] = f : R C :
t2
t1
f <
t2
x1 (t ), x2 (t ) = x1 (t ) x2* (t ) dt
t1
f (t ) cx(t )
t1 < t < t2
(t ) = f (t ) cx(t )
t2
E = f (t ) cx(t ) dt
2
t1
65
Representacindeseales
AnlisisdeFourier
Laenergadelerrorpuedeescribirsedeformaapropiadacomo
t2
t2
t1
t1
t2
t2
t2
t1
t1
t1
t2
t2
t1
t1
t2
x( t )
dt
t1
E = E f c Ex
t2
Ex
t1
1
f (t ) x (t )dt 2
Ex
*
t2
f (t ) x (t )dt
*
t1
Enestaexpresinelnicotrminoquedependede c eselsegundo,portalmotivoel
valorde c queminimizalaenergadelerroreselencontradocomo
t2
f (t ) x (t )dt
*
copt =
1
Ex
t2
f (t ) x (t )dt =
*
t1
t1
t2
x (t )
dt
t1
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
t2
E = E f 2c f (t ) x(t )dt + c 2 Ex
t1
El valor de c que minimiza la energa del error puede ser encontrado haciendo
dE / dc = 0 ydespejando c ,paralocualseobtiene
66
Representacindeseales
AnlisisdeFourier
2
dE
= 2 f (t ) x(t )dt + 2cEx = 0
dc
t1
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 )
0<t <
1
f (t ) =
1 < t < 2
Solucin.Lasealpuedeaproximarsecomo
f (t ), x(t )
f (t )
sin(t )
0 < t < 2
x(t ), x(t )
f (t ), x(t ) =
x(t ), x(t ) =
x 2 (t )dt =
2
sin (t )dt =
0
1
1 cos 2 (t ) dt =
20
f (t )
sin(t )
0 < t < 2
67
Representacindeseales
AnlisisdeFourier
3.3. Basesortogonales
3.1.1. Baseseindependencialineal
v V
v = 11 + 22 + ... + N N
3.1.2. Ortogonalidad
t2
1 (t ), 2 (t ) = 1 (t )2* (t )dt = 0
t1
t2
0 mn
m (t ), n (t ) = m (t )n* (t )dt =
En m = n
t1
68
Representacindeseales
AnlisisdeFourier
t2
t2
t1
t1
n (t ), n (t ) = n (t )n* (t )dt = n ( t ) dt = 1
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 )
t1
t2
(t )dt = e
2 /
dt =
jnt jmt
j ( n m ) t
dt
t1
Si n m
2 /
j ( n m ) t
2 /
dt = e
j ( n m) 0
j ( n m ) t
j ( n m ) 2
1
=e
j ( n m)
Dadoque ( n m) Z entonces e j ( n m ) 2 = 1 y
t2
(t )
(t )dt = 0
t1
Si n = m
2 /
2 /
dt =
j ( n m ) t
t2
(t )
n
t1
dt =
2 /
e j 0 dt =
2 /
dt = t 0
Portalmotivoelsistemaesortogonal.
69
Representacindeseales
AnlisisdeFourier
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
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
wi = i k =1 i , uk uk
i 1
AnlisisdeFourier
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
x(t ) ann (t )
n =1
t1 < t < t2
t2
t1
n =1
E = x(t ) ann (t ) dt
2
2
2
Propiedad3.1. x y = x xy* x* y + y
Demostracin.
x y = ( x y )( x y )* = ( x y )( x* y* )
71
Representacindeseales
AnlisisdeFourier
UtilicemoslaPropiedad3.1paraexpandirnuestrafuncindeerror,como
t2
t2
t2
t2
t1
* *
n n
n =1
t1
n =1
t1
a (t )
t1 n =1
dt
n n
Consideremoselltimotrminodelafuncindeerror,entonces
t2
t1
t2
2 N
N
N
N
n =1
n =1
t1 n =1
t1 n =1 m =1
Intercambiandoelordendelassumatoriasylaintegral,setiene
t2
t2
t1 n =1
n =1 m =1
t1
Elconjuntodeseales {n (t )} formanunsistemaortogonal,porlocual
t2
a 2 E n = m
an am* n (t )m* (t ) dt = n n
n
m
t1
t2
ann (t ) = an En
t1 n =1
n =1
Reemplazandoesteresultadoenlafuncindeerrorexpandida,setiene
t2
t2
t2
t1
n =1
t1
n =1
n =1
t1
Lafuncindeerrorpuedereescribirsedeformaapropiadacomo
t2
E = x(t ) dt +
2
n =1
t1
N
1 2
1 2
E a 1 2 x(t )n* (t) dt 1 2 x(t )n* (t) dt
En t1
n =1 En t1
12
n
n
En1 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
t2
an
x(t ) (t ) dt =
=
(t ) (t ) dt
t1
t2
t1
*
n
*
n
*
n
x(t ), n (t )
n (t ), n (t )
Utilizandoesteresultadoenlaenergadelerrorobtenemos
t2
t
N
t2
1 2
2
E = x(t ) dt 1 2 x(t )n* (t) dt x* (t )n (t) dt
n =1 En t1
t1
1
t2
E = x(t ) dt
t1
n =1
2
N
1
2
2
( En an ) En an* = x(t ) dt En an
En
n =1
t1
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) = 32 t 2 12
73
Representacindeseales
AnlisisdeFourier
Solucin.
1
1
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
(t )
*
2
(t )dt =
t t ) dt =
3 3
2
3
2
1
2
dt
1
2
t dt = 0
Dondeloscoeficientes a0 , a1 y a2 ,sonencontradoscomo
a0
x(t ) (t ) dt =
=
(t ) (t ) dt
*
0
1
1
1 0
1
1
*
0
t dt
1 dt
2 t dt
a1 =
1
1
x(t )1* (t ) dt
1 (t ) (t ) dt
a2
1
1
t t dt
t dt
t 2 dt + t 2 dt
0
2/3
=0
( t ) t dt = ( 3t t ) dt = 1 / 4 = 5
=
=
2/5
2/5 8
(t ) (t ) dt ( t ) dt
1
*
1
1
1
x(t )2* (t ) dt
1 2
*
2
3 2
1 2
1
3 2
1 2
1
2
1
2
Lasealpuedeaproximarsecomo
15 2
x(t ) 12 0 (t ) + 85 2 (t ) = 163 + 16
t
Figura3.6.Sealoriginalysuaproximacinutilizandoelconjuntodesealesdadas.
74
Representacindeseales
AnlisisdeFourier
Ejemplo3.5.Considerelaseal
1 0 < t <1
x( t ) =
1 1 < t < 2
t2
t1
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
0
2 0
2 0
Si n = m
1
1
t
1 sin( 2n t )
0 sin(n t )sin( m t )dt = 2 0 dt 2 0 cos(2n t )dt = 2 0 2 2n 0
2
1 sin( 4n )
0 = 1
2n
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
0
2 0
2 0
75
Representacindeseales
1 sin[( n m )2 ] 1 sin[( n + m )2 ]
=0
( n m )
2 ( n + m )
1 sin[( n m) t ]
1 sin[( n + m) t ]
0 sin(n t )sin(m t )dt = 2 (n m) 2 (n + m)
0
0
2
AnlisisdeFourier
an =
1
En
t2
t1
cos( n t )
cos( n t )
+
an =
[1 cos(n )] = 4
n
n
si
es
impar
n
1
*
x(t ) (t )dt = x(t )sin(n t )dt
2
4 1
4
1
x( t ) =
sin( n t ) =
sin[( 2n 1) t ]
n =1 n
n =1 ( 2n 1)
n impar
Expandiendoalgunostrminosdelasumasetiene
4
1
1
3
5
Figura3.7.Representacindelasealutilizando3y100trminosdelaserie,respectivamente.
76
Representacindeseales
AnlisisdeFourier
3.5. TeoremadeParsevalparaunintervalofinito
t2
x(t ) dt = an En
2
n =1
t1
Demostracin.
t2
t1
t2
t2
t1
t1
2
Intercambiandoelordenentrelasumatoriaylaintegral,setiene
t2
t2
*
2
2
*
*
an x(t )n (t )dt = an ( En an ) = an En
t x(t ) dt =
n =1
n =1
1
t1
n =1
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
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
x(t ) * (t )dt
an =
En T
Enestecaso,lasealperidicaesrepresentadaporlasumatoriasobretodoelejereal
(paratodoslosinstantesdetiempo),esdecir
x(t ) = ann (t )
< t <
n =1
Figura3.8.RepresentacindeunaversinperidicadelasealdelEjemplo3.5utilizando20trminos
delaserie.
78
Representacindeseales
AnlisisdeFourier
3.7. Resumen
79
Representacindeseales
AnlisisdeFourier
3.8. Ejercicios
Seccin3.2
1. Setienendosseales
1 (t ) = e
2 (t ) = 1 Ae
2 t
Seccin3.3
3. Considerelassiguientesseales
1 (t ) = t
0 (t ) = 1
2 (t) = 32 t 2 12
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
x(t ) =
n =
n n
(t )
0 < t <
80
Representacindeseales
AnlisisdeFourier
b. Obtengaelgraficodelasealaproximada,utilizandoslolassealesbase
quecumplencon n 10 .
5. Considereelconjuntodesealesortogonales,dadopor
Utiliceestastressealesparaaproximarlasiguientesealenelintervalo [0, 3] .
6. Considereelconjuntodeseales
x1 (t ) = e t u(t )
x2 (t ) = e 2t u(t )
x3 (t ) = e t u(t )
Seccin3.4
7. UtiliceelTeoremadeParsevalparaaproximarlaenergadelasealtriangulodel
Punto5,paraelloutiliceloscoeficientesencontradosparasurepresentacin.
81
Representacindeseales
AnlisisdeFourier
ESTAPGINASEDEJAINTENCIONALMENTEENBLANCO.
82
4
SERIES DE FOURIER
4.1. SerieexponencialdeFourier
Definicin 4.1. La serie exponencial de Fourier de una seal peridica x(t ) , con
periodo T ,estdadapor
x( t ) =
ce
n =
jn0t
1
cn = x(t )e jn0t dt
TT
cn =
a +T
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,
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
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
1
cn = x(t )e jn0t dt x(t )e jn0t dt
T 0
T 0
cn
1
cn x ( t ) dt R
T 0
1
x ( t ) e jn0t dt
T 0
T
84
SeriesdeFourier
AnlisisdeFourier
4.1.2. Clculodelaserieexponencial
A t 2
x( t ) = A t
2
2
t
A
2
T /2
1
1
jn0 t
c
=
x
(
t
)
e
dt
=
x(t )e jnt dt
n
2
T T/ 2
/ 2
/2
1
jnt
jnt
jnt
cn =
Ae dt + Ae dt + Ae dt
2
/2
/ 2
/ 2
/2
A
jnt
jnt
jnt
cn =
e dt + e dt e dt
2
/ 2
/2
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
=
c
dt
dt
dt
2
/ 2
/2
A
+ + = 0
c0 =
2
2 2 2 2
Caso2: n 0
85
SeriesdeFourier
AnlisisdeFourier
+
+
jn / 2
jn / 2
jn
jn
jn
jn
A jn 2
jn
jn
2
2
2
cn =
e
e
e
e
e
e
2 jn
A
cn =
2
cn =
jn
A jn 2
jn
2
+ e jn
e
e
e
2
2
2 jn
jn
jn
A 2e 2 2e 2 e jn e jn
+
cn =
2j
2j
n
2 A n
A
n
cn =
2 sin
sin
sin ( n ) =
n
2
2
n
2A
sin n n impar
cn = n
0
n par
Portalmotivolaserieexponencialpuedeescribirsecomo
2A
n jnt
x (t ) =
sin
e
2
n = n
n impar
A < t <
x( t ) =
0 otro caso
86
SeriesdeFourier
x (t ) =
n =
cn e jn0t =
ce
n =
jnt
AnlisisdeFourier
dondeloscoeficientes cn puedenencontrarsedeacuerdoa
T /2
1
1
jnt
c
=
x
(
t
)
e
dt
=
x(t )e jnt dt
n
2
T T / 2
1
A
jnt
c
Ae
dt
e jnt dt
=
=
n
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
Laserieexponencialdelasealpuedeescribirsecomo
A
A
x (t ) =
+
sin( n )e jnt
n = n
n0
Ejemplo 4.4. Represente la seal x(t ) = 2 cos 2 (t ) + 4 sin( 4t ) como una serie
exponencialdeFourieryencuentreloscoeficientes cn .
e j 2t + e j 2t
e j 4t e j 4t
x
t
t
t
(
)
1
cos(
2
)
4
sin(
4
)
1
4
=
+
+
=
+
+
2
2j
87
SeriesdeFourier
AnlisisdeFourier
1
1
2
2
x( t ) = 1 + e j 2 t + e j 2 t + e j 4 t e j 4 t
2
2
j
j
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
Ejemplo4.5.ParaelEjemplo4.3,locoeficientesdelaserieexponencialson c0 = A /
ypara n 0 , cn = ( A / n ) sin( n ) .Sitomamos A = 1 y = / 6 seobtienelaseal
ysurespectivoespectrodeFourier
88
SeriesdeFourier
Sitomamos A = 1 y = / 6 seobtienelaseal
ysurespectivoespectrodeFourier
AnlisisdeFourier
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 =
Demostracin.
T
T
1
1
2
P = x(t ) dt = x(t ) x* (t )dt
T 0
T 0
*
P = cn e jn0t cn e jn0t dt
T 0 n =
n =
P=
T 0 n = m =
P=
n = m =
cn cm*
1 j ( n m ) 0t
e
dt
T 0
90
SeriesdeFourier
AnlisisdeFourier
T
1 n = m
1 j ( n m ) 0t
e
dt =
T 0
0 n m
Por tal motivo, de la doble sumatoria slo sobreviven los trminos para los cuales
n = m ,entonces
P=
c c =
n =
*
n n
n =
cn
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
Solucin.Lasealpuedeescribirsecomo
A
A
x(t ) = A sin(t ) = j e jt + j e jt
2
2
Lapotenciapromediopuedeserencontradacomo
91
SeriesdeFourier
P=
n =
cn
AnlisisdeFourier
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 .
Unoperadoreslinealsicumpleconsuperposicinyhomogeneidad.
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 ) .
SF [ x(t ) + y(t )] =
1
T
[ x (t ) + y ( t ) ] e
dt
jn0t
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 )]
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 .
1
SF [ Ax(t )] = Ax(t )e jnt0 dt
T 0
1T
4.1.5.2.
Complejoconjugado: SF x* (t ) = c* n
*
1 *
1
x (t )e jn0t dt = x(t )e jn0t dt
T 0
T 0
SF x* (t ) =
1T
1T
jn0t
j ( n ) 0 t
SF x (t ) =
x
(
t
)
e
dt
dt = c* n
= x( t )
T 0
T 0
4.1.5.3.
Reflexin: SF [ x( t )] = c n
SF [ x( t )] =
1 t
x( t )e jn0t dt
0
T
T
0
1
1
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
93
SeriesdeFourier
1
cn =
T
AnlisisdeFourier
1
x(t )cos( n 0t ) dt j x(t )sin( n 0t ) dt
T 0
0
cn =
1
Re {cn } = x(t )cos( n 0t )dt
T 0
Im {cn } =
1
x(t )sen( n 0t )dt
T 0
Re {cn } esunasealpar
Re {c n } =
1
1
x(t )cos( n 0t )dt = x(t )cos( n 0t )dt = Re {cn }
T 0
T 0
Im {cn } esunasealpar
Im {c n } =
1
1
x(t )sen( n 0t )dt = x(t )sen( n 0t )dt = Im {cn }
T 0
T 0
cn esunasealpar
cn = Re {cn } + Im {cn } = Re {c n } + Im {c n } = c n
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
T
T
1T
1 *
1
jn0t
jn0t
c = x(t )e
dt = x (t )e
dt = x(t )e j ( n ) 0t dt = c n
T 0
T 0
T 0
*
n
Si x(t ) esrealypar,entonces
T /2
1
Im {Cn } =
x(t )sin( n 0t )dt = 0
T T/ 2
cn =
2
cn = Re {cn } =
T
T /2
1
x(t )cos( n 0t )dt = c n
T T/ 2
T /2
Si x(t ) esrealeimpar,entonces
T /2
1
Re {Cn } =
x(t )cos( n 0t )dt = 0
T T/ 2
T /2
1
x(t )sin( n 0t )dt = c n
T T/ 2
cn = j
2
cn = Im {cn } = j
T
T /2
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.
x( t ) =
ce
n =
jn0t
Demostracin.Paratodafuncinovariable x secumpleque
x = Re{ x} + j Im{ x}
(1)
Re{ x} = x + x*
(3)
2
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
96
SeriesdeFourier
AnlisisdeFourier
Re{ x(t )} = Re cn e jn0t = Re{cn e jn0t }
n =
n =
UtilizandolaPropiedad4.3,setiene
Re{ x(t )} =
n =
) ( Im{c }Im{e
n =
jn0t
Re{ x(t )} =
n =
Im{c }sin(n t )
n =
Utilizando(3)y(4)setiene
1
1
Re{ x(t )} = cn + cn* cos( n 0t )
cn cn* sin( n 0t )
2 n =
2 j n =
1
1
x(t ) = ( cn + c n ) cos( n0t )
( cn c n ) sin(n0t )
2 n =
2 j n =
1
j
x(t ) = ( cn + c n ) cos( n 0t ) + ( cn c n ) sin( n 0t )
3 2 n = 14442444
3
2 n = 14442444
par
par
n =1
n =1
Definamosloscoeficientesdelaserietrigonomtrica,deacuerdoa
a0 = c0
an = cn + c n
bn = j (cn c n )
97
SeriesdeFourier
AnlisisdeFourier
n =1
n =1
donde
a0 =
1
x(t )dt
T T
an =
2
x(t )cos( n0t )dt
T T
bn =
2
x(t )sin( n0t )dt
T T
Observacin4.4.Loscoeficientes a0 , an y bn delaserietrigonomtricasonreales.
Loscoeficientes an y bn slotomanvalorpara n = 1, 2, ..., .
2
(t + 2)
x (t ) = t 2
(t 2)2
M
2 < t < 0
0<t <2
2<t <4
M
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
Integrandoporpartes
u = t 2
dv = cos( n t )
sin( n t )
=
=
du
tdt
v
2
sin( n t )
2
sin( n t )
2t dt =
an = t 2
sin( n t )t dt
n 0 0 n
n 0
Integrandoporpartesnuevamente,setiene
dv = sin( n t )
u = t
cos( n t )
du
=
dt
v
=
2
2
2 t cos( n t )
cos( n t )
+
an =
dt
n
n
0 0 n
4
2 2 sin( n t )
an =
+
=
2
2
n n
n ) 0 ( n )
(
Paralocoeficientes bn ,setiene
T
2
2
Integrandoporpartes
99
SeriesdeFourier
AnlisisdeFourier
u = t 2
dv = sin( n t )
cos( n t )
du = 2tdt v =
n
cos( n t )
cos( n t )
4 cos( n2 )
cos( n t )
2t dt =
bn = t 2
t dt
+
+ 2
n 0 0 n
n
n
0
2
Integrandoporpartesnuevamente,setiene
dv = cos( n t )
u = t
sin( n t )
du
=
dt
v
=
t sin( n t ) 2 2 sin( n t )
4
4
+2
bn =
dt =
n
n
n
0
0
n
4 4 1
4 1
4.2.1. Relacinentrelaserietrigonomtricaylaserieexponencial
100
SeriesdeFourier
AnlisisdeFourier
a0 = c0
an = 2 Re{cn }, n = 1, 2, 3...
bn = 2 Im{cn }, n = 1, 2, 3...
c0 = a0
cn = 12 ( an jbn ), n = 1, 2, 3, ...
Ejemplo4.10.EncuentreloscoeficientesdelaserieexponencialdelEjemplo4.9.
Solucin.
4
c0 = a0 =
1
1 4
4
cn = [ a n jbn ] =
+j
2
2
2 ( n )
n
cn =
2
( n )2
(1 + jn ) , n = 1, 2, 3...
2
c n = cn* =
(1 jn ), n = 1, 2, 3, ...
( n )2
Portalmotivoloscoeficientesdelaserieexponencial,estndadospor
4/3
n=0
cn = 2
+
(
jn
)
n
1
0
( n )2
101
SeriesdeFourier
AnlisisdeFourier
ylaserieexponencialparalaseales
4 2 1 + jn jn t
x(t ) = + 2
e
3 n = n 2
n0
Ejemplo4.11.EncuentreloscoeficientesdelaserietrigonomtricadeFourierparala
sealdelEjemplo4.3.
Solucin.
a0 = c0 =
2A
sin( n )
n
bn = 2 Im{cn } = 0
an = 2 Re{cn } =
1 1
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
1
cos( 2t ) n = 2 a2 = 1 / 2
2
cos(3t ) n = 3
a3 = 1
102
SeriesdeFourier
AnlisisdeFourier
sin(t ) n = 1 b1 = 1
4.2.2. SerietrigonomtricadeFourierparasealespareseimpares
Conocerqueunasealesparoimparestilparaagilizarelclculodeloscoeficientes
delaserietrigonomtricadeFouriercuandosetomaelintervalo [T / 2, T / 2] .Eneste
casolaseriepuedereducirsedependiendosi x(t ) esparoimpar.
4.2.2.1.
x(t ) par
T /2
2
bn =
x(t )sin( n 0t ) dt = 0
4244
3
T T/ 2 14
impar
T /2
T /2
2
4
an =
x(t )cos( n0t ) dt = x(t )cos( n0t )dt
3
T T/ 2 144244
T 0
par
T /2
T /2
1
2
a0 =
x
(
t
)
dt
=
0 x(t )dt
T T/ 2 {
T
par
Portalmotivo,paraunasealparlaserietrigonomtricadeFourieresdelaforma
103
SeriesdeFourier
4.2.2.2.
AnlisisdeFourier
x(t ) impar
T /2
2
an =
x(t )cos( n 0t )dt = 0
T T/ 2
T /2
T /2
2
4
bn =
x
(
t
)sin(
n
t
)
dt
=
x(t )sin( n 0t )dt
0
T T/ 2 1442443 T 0
par
Dadoquelasealesimpar,suvalormedioescero.
T /2
1
a0 =
x(t ) dt = 0
T T/ 2 {
impar
As,paraunasealimparlaserietrigonomtricadeFouriercomoesdelaforma
Ejemplo4.13.EncuentrelaserietrigonomtricadeFourierdelaseal.
< t < 0
t +
x (t ) = 2
t + 0 < t <
104
SeriesdeFourier
AnlisisdeFourier
2
a0 =
T
1
1 t2
+ = 0
(
)
=
+
=
x
t
dt
t
dt
0
2
0
2 2 0
T /2
an =
4
T
T /2
t + cos( nt )dt
0
2
an =
u = t dv = cos( nt )dt
sin( nt )
du
dt
v
=
=
sin( nt )
2 t sin( nt )
1
sin( nt )dt +
an =
n
n0
n 0
0
an =
an = 2 [1 cos( n )] = n 2
n
0
2 cos( nt ) 2
[cos(n ) cos(0)]
=
n 2 .0 n 2
n impar
n par
Laserietrigonomtricapuedeescribirsecomo
4 1
4
1
cos( nt ) =
cos [( 2n 1)t ]
x(t ) =
2
n =1 n
n =1 ( 2n 1)2
n impar
Ejemplo4.14.EncuentrelaserietrigonomtricadeFourierdelaseal
1 2 < t < 0
x( t ) =
1
0<t <
105
SeriesdeFourier
AnlisisdeFourier
T /2
/2
4
4
4 cos( n2t )
bn =
2n
0
2
[ cos(n ) + cos(0)]
=
n
4
n impar
2
bn =
1 cos( n )] = n
[
n
0
n par
/2
Laserietrigonomtricapuedeescribirsecomo:
4
4 sin [( 2n 1)2t ]
x(t ) =
sin( n 2t ) =
n =1
2n 1
n =1 n
n impar
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
P = x(t ) dt = a02 + an 2 + bn 2
2 n =1
T 0
Demostracin.
P=
n =
cn =
cn + c0 + cn
2
n =
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 =
c n + c0 + cn
2
n =1
P = c0 + 2 cn
2
n =1
106
SeriesdeFourier
AnlisisdeFourier
n =1
P = a0 + 2 ( an jbn ) = a0 + 2 14 an jbn
2
P = a0 +
2 n =1
1
2
an2 + bn2
n =1
P = a0 2 +
1 2
an + bn2
2 n =1
Solucin.Lasealyaseencuentraexpresadacomounaserietrigonomtrica,entonces
P = a0 2 + an2 + bn2
2 n =1
2
2
11
1 1 1
P = + + 12 + 12 =
2 2 2
8
Solucin.Paraestecasoelvalormediodelasealesceroy 0 = ,porlocualslo
existeelcoeficiente b1 = A delaserietrigonomtrica.Lapotenciapromedioes
1
P = a0 2 + an2 + bn2
2 n =1
1
A2
P = b12 =
2
2
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
Potenciapromedio
1
2
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
108
SeriesdeFourier
AnlisisdeFourier
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).
Figura4.6.Traslapeentrelassealesperidicas(engris).
109
SeriesdeFourier
AnlisisdeFourier
h(t ) =
r e
n =
donde 0 =
jn 0t
2
yloscoeficientesdelaserieexponencialpuedenencontrarsecomo
T
rn =
1
h(t )e jn0t dt
T 0
Propiedad4.4.Loscoeficientesdelaserieexponencialdelaconvolucincircula h(t )
puedenencontrarsecomo rn = cn d n ,donde cn y d n sonloscoeficientesdelasseries
exponencialesdelaseales x(t ) y y (t ) ,respectivamente.
1
jn 0t
x(t ) = c n e
con c n = x(t )e jn0t dt
T 0
n =
y (t ) =
d n e jn0t
n =
con
dn =
1
y (t )e jn 0t dt
T 0
T
T
1
1
1 T
h(t ) =
cde
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 ) .
110
SeriesdeFourier
x(t ) = sin(t ) =
AnlisisdeFourier
j jt j jt
e + e
2
2
1
1
y(t ) = 1 + cos(t ) = 1 + e jt + e jt
2
2
h(t ) =
re
n =
jnt
r0 = c0 d 0 = 0
r1 = c1d1 = j / 4
r1 = c1d 1 = j / 4
Portalmotivo,laconvolucincircularpuedeobtenersecomo
j jt j jt
h(t ) =
1 e jt e jt 1
= sin(t )
2 2j 2
4.3.3. Oscilacionesforzadas
Considereunsistemamasaresorte,alcualleesaplicadaunfuerzaexterna F (t ) .
Figura4.7.Sistemamasaresorteamortiguado.
111
SeriesdeFourier
AnlisisdeFourier
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
..
dondecadapuntorepresentaunaderivadaconrespectoaltiempo.Silafuerzaexterna
F (t ) es peridica y la constante de friccin no es cero, la respuesta del sistema en
estadoestableesoscilatoriaconfrecuenciaigualalafrecuenciafundamentalde F (t ) .
Supongaquelafuerzaexternaaplicadacorrespondeaunasealsinusoidal,entonces
..
..
mr 2 + cr + k = 0
Lasracesdeestepolinomioestndadaspor
r1,2 =
c c 2 4mk
2m
Motivoporelcual,lasraces r1 y r2 seencuentranenalgunodeestosdoscasos
Ambasnegativas( r1 , r2 < 0 ).
112
SeriesdeFourier
AnlisisdeFourier
Complejasconjugadasconparterealnegativa.
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
n =1
n =1
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
t
+
2
F (t ) =
t +
Solucin.Laecuacinparaestesistemaes
..
< t < 0
0<t<
4
1
4
1
1
F (t ) =
cos( nt ) = cos(t ) + cos(3t ) + cos(5t )...
2
n =1 n
9
25
n = impar
Encontremoslasolucindelaecuacindelsistemaparacadaunadelascomponentes
delafuerza F (t ) ,cadaunadelascualesesdelaforma 4 cos( nt ) / n 2 ,con n impar.
Consideremoslasecuacionesdiferencialesdelaforma
..
.
4
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
x( t ) =
n =1
n = impar
xn (t ) =
n =1
n = impar
An cos( nt ) + Bn sin( nt )
4.4. Resumen
Larepresentacindeunasealutilizandounconjuntocontabledeexponenciales
complejosseconocecomoserieexponencialdeFourier.
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.
Elgraficodelamagnituddeloscoeficientescontralafrecuenciaseconocecomo
Espectro de Fourier. Esta visualizacin permite conocer las componentes de
frecuenciapresentesenlaseal.
115
SeriesdeFourier
AnlisisdeFourier
4.5. Ejercicios
Seccin4.14.3
1. EncuentreloscoeficientesdelaserieexponencialdeFourier,delasealperidica
2. UsandolaserieexponencialdeFourierrepresentelasealperidica
x(t ) = e t
0 < t <1
116
SeriesdeFourier
AnlisisdeFourier
y (t ) = sin(t )
0 < t <1
5. Exprese la seal x(t ) = 12 + sin 2 t cos 2 t + 2 sin t + 3 cos(3t ) como una serie
exponencialdeFouriereidentifiqueloscoeficientesdeFourier.Determineelvalor
mediodelaseal.
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.
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?
Seccin4.6
Seccin4.7
18. UsandolaserietrigonomtricadeFourier,representelasiguientesealperidica
118
SeriesdeFourier
AnlisisdeFourier
20. EncuentrelaserietrigonomtricadeFourierdelasealperidicadelPunto2.
21. EncuentrelaserietrigonomtricadeFourierdelasealdelPunto5.
Seccin4.8
Seccin4.10
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 ) =
ce
n =
jn0t
t1 < t < t2
1
cn =
t 2 t1
t2
x (t ) e
jn 0 t
dt ,
0 =
t1
t 2 t1
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.
lim xT = x(t )
Cuandoelperiodo T tiendeainfinito,losvecinosdelasealoriginalsedesplazanal
infinitoyseobtienelasealnoperidica x(t ) .Laseal xT (t ) ,porserperidica,tiene
serieexponencialdeFourierdadapor
xT (t ) =
ce
n =
jn0t
donde
T /2
1
cn =
xT (t )e jn0t dt ,
T T / 2
0 =
Paraunasealperidica xT (t ) enparticular,setienesuespectrodeFourier.
Figura5.3.EspectrodeFourierdeunasealperidica.
122
TransformadadeFourier
AnlisisdeFourier
xT (t ) =
n =
X ( n ) jn t
e
donde
T /2
X ( n ) =
xT (t )e jnt dt
T / 2
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 /
Figura5.4.EspectrodeFourierdelasealperidicaparaTgrande.
T
T 2
n =
123
TransformadadeFourier
1
x (t ) =
2
X ()e
j t
AnlisisdeFourier
donde
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
{ x(t )} = X () =
x(t )e
j t
dt
donde {} = e jt dt ,eseloperadorquecalculalatransformadadeFourier.
1
{ X ( )} = x(t ) =
2
1
X ()e
j t
Eloperador 1{} =
1
2
e jt dt ,calculalatransformadainversadeFourierdeuna
transformada X () quepertenecea L1 .
Observacin5.1.Lasintegralesanteriorespermitenencontrarlatransformadayla
transformadainversadeFourier,respectivamente,desealesen L1 .Lasintegrales
anterioresnonecesariamenteconvergenparasealesquenopertenecena L1 .
124
TransformadadeFourier
AnlisisdeFourier
0
x(t ) = at
e
t<0
t >0
Solucin.Primerosedebeverificarquelasealpertenecea L1 .
x (t ) 1 =
e at
x(t ) dt = e dt =
a
0
at
1
1
1 e = R
a
a
x(t ) L1
Lasealpertenecea L1 ,entoncessutransformadadeFourieresencontradacomo
X () =
x(t )e
j t
dt = e e
0
at jt
dt = e
t ( a + j )
dt =
t ( a + j ) 0
a + j
a + j
Figura5.5.TransformadadeFourierdelaseal:graficocomplejoymagnitud.
Ejemplo5.2.EncuentrelatransformadadeFourierdeunpulsodeancho2 a ,donde
a R + ,centradoenelorigen.
1 a < t < a
x(t ) =
0 otro caso
125
TransformadadeFourier
AnlisisdeFourier
Solucin.Primerosedebeverificarquelasealpertenecea L1 .
x (t ) 1 =
x(t ) dt =
dt = 2a R
x(t ) L1
Lasealpertenecea L1 ,entoncessutransformadadeFourieresencontradacomo
X () =
x(t )e
j t
dt =
jt
e jt
dt =
j
=
a
1
( e ja e ja )
j
X () =
2
2
e ja e ja ) = [sin(a )]
(
2 j
X () =
2a sin(a )
= 2a sinc(a )
a
Figura5.6.TransformadadeFourierdelaseal.
sin(t )
sinc(t ) =
t
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
X ( ) L1
LatransformadainversadeFourierde X ( ) puedeserencontradacomo
1
x( t ) =
2
1
j t
X ()e d = 2
1
x( t ) =
2
e jt
jt
jt
u=
j t
dv = e
du = d
v=
e jt
jt
1 1
e jt
e j 3t
3e j 3t + 3e j 3t + 2
d =
2 jt
jt
t
3
3
x( t ) =
1
1 3 j 3t j 3 t
1
e + e ) + 2 ( e j 3t e j 3t ) =
(
t
2 jt
x( t ) =
j 1
3
sin(3t ) cos(3t )
2
t
t
j
jt cos(3t ) + t 2 sin(3t )
5.2.1. InterpretacindelaTransformadadeFourierL1
127
TransformadadeFourier
AnlisisdeFourier
Figura5.7.Comparacindelasealx(t) ylaparterealdelexponencialcomplejo.
Portalmotivo,paraunvalordadode , X () indicaquetantodeesafrecuencia
seencuentrapresenteenlaseal.Dadoque X () sedefineparatodovalorrealde
,podemosconocerquefrecuenciasseencuentrapresentesenlasealbajoanlisis.
1
jt
x(t ) =
X ()e d
2
5.2.2. ConvergenciadelaTransformadadeFourierL1
EnladefinicindelatransformadaylatransformadainversadeFourier L1 ,seindic
quesuutilizacinserestringeasealesquepertenecenalconjunto L1 .Acontinuacin
revisaremoselporqudeestarestriccin.
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
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
2
1
d =
2
X ( ) d =
1
X ( ) 1
2
X ( ) 1 .
QuedademostradoasquelasintegralesdeFourierpuedenserutilizadasparaseales
en L1 concertezaabsolutadesuconvergencia.
5.2.3. PropiedadesdelatransformadadeFourierL1
5.2.3.1. Linealidad:Superposicinyhomogeneidad
{ax(t ) + by(t )} =
j t
jt
jt
[ax(t ) + by(t )]e dt = a x(t )e dt + b y(t )e dt
129
TransformadadeFourier
AnlisisdeFourier
5.2.3.2.
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 ( ) .
5.2.3.3.
Simetra
LatransformadadeFourierpuedeexpresarsecomo
X () =
Re{ X ()} =
Re{ X ( )} =
X ( ) espar
130
TransformadadeFourier
AnlisisdeFourier
X () esimpar
Im { x( )}
Im { x()}
X ( ) = tan 1
= tan 1
Re { x( )}
Re { x()}
Im { x()}
X ( ) = tan 1
= X ( )
Re { x()}
Si x(t ) esparentonces
Re{ X ( )} =
impar
Enestecasolatransformadaesunsealrealypuedeencontrasecomo
Si x(t ) esimparentonces
Re{ X ( )} =
x(t )cos(t ) dt = 0
14243
impar
par
Enestecasolatransformadaesunsealimaginariaypuedeencontrasecomo
131
TransformadadeFourier
5.2.3.4.
AnlisisdeFourier
Dualidad
1
x( t ) =
2
X () e
jt
Ahora,intercambiandolasvariables y t setiene
1
x( ) =
X (t )e jt dt
2 x( ) =
X (t )e
jt
dt
ElladoderechodeestaecuacincorrespondealatransformadadeFourierdelaseal
X (t ) ,portalmotivo,
{ X (t )} = 2 x( )
Figura5.8.Latransformadadeunpulsoesunasealsinc.
Figura5.9.Latransformadadeunasealsincesunpulso.
132
TransformadadeFourier
AnlisisdeFourier
Ejemplo5.4.EncuentrelatransformadadeFourierdelaseal x(t ) = 1 /( 2 + j) .
{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
u
1
j
x(u )e a
si a > 0
{ x( at )} =
u
j
a
1
du si a < 0
a x(u )e
133
TransformadadeFourier
AnlisisdeFourier
1
a X a si a > 0
{ x( at )} =
1 X si a < 0
a a
Portalmotivo,
{ x( at )} =
1
X
a a
EnlasFiguras5.11y5.12seilustraelefectodelescalamientodeunpulsocentradoen
elorigenyancho 2a .Sielpulsosecomprime,sutransformadadeFourier(sealsinc)
seensancha,loqueindicaquelasealcomprimidapresentafrecuenciasmsaltasque
lasealoriginal.Sielpulsoseexpande,sutransformadasecomprime,loqueindica
quelasealexpandidapresentafrecuenciasmsbajasquelasealoriginal.
Figura5.11.Comprensinentiempoexpansinenfrecuencia.
Figura5.12.Expansinentiempocompresinenfrecuencia.
Solucin.Utilizandolapropiedaddeescalamientosetieneque { x( t / 2)} = 2 X ( 2)
yporlotanto { x( t / 2)} = 2 / 1 + 4 2 .
134
TransformadadeFourier
5.2.3.6.
AnlisisdeFourier
Desplazamientotemporal
Siunasealseretrazaeneltiempoen t0 ,lamagnituddesutransformadanosealtera
yacadacomponentedefrecuenciaseleagregaunafasenegativadevalor t0 .
Figura5.13.Desplazamientotemporaldeunaseal.
ConsideremoslatransformadadeFourierdeunasealdesplazada
u = t t0
{ x(t t0 )} = x(t t0 )e jt dt
du = dt
{ x(t t0 )} =
x(u )e
j ( u + t0 )
du
{ x(t t0 )} = e
jt0
x(u )e
ju
du
Portalmotivo,
5.2.3.7.
DesplazamientoenFrecuencia(Modulacindeamplitud)
ConsideremoslaTFdeunasealmultiplicadaporunexponencialcomplejo
} x(t )e
x(t )e j0t =
j0t jt
dt
135
TransformadadeFourier
x(t )e
j0 t
} = x(t )e
j ( 0 )t
AnlisisdeFourier
dt
Portalmotivo,
x(t )e
j0 t
} = X ( )
0
EnFiguras5.14y5.15seilustraelefectodemultiplicarunpulsocentradoenelorigen
yancho 2a ,porunexponencialcomplejodefrecuencia 0 .
Figura5.14.Sealpulsomultiplicadaporunexponencialcomplejo.
Figura5.15.Desplazamientodelasealsinchastalafrecuencia 0 .
Figura5.16.Modulacindeamplitud.
136
TransformadadeFourier
AnlisisdeFourier
1
1
1
1
X ( 0 ) + X ( + 0 )
2
2
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
5.2.3.8.
AnlisisdeFourier
Diferenciacin
Si X () pertenecea L1 ,entonces
x( t ) =
X ()e jt d
Derivandoaambosladosdelaigualdadconrespectoa t setiene
dx(t ) 1
=
jX ()e jt d = 1{ jX ( )}
dt
2
Portalmotivo,sitransformamosambosladosdelaigualdadobtenemos
dx(t )
= jX ()
dt
Similarmente,sepuededemostrarqueparaunaderivadadeordensuperiorsecumple
d n x(t )
n = ( j )n X ( )
dt
d 2 x (t )
2
2
Solucin.
=
(
j
)
X
(
)
=
2
1 + 2
dt
5.2.3.9. Propiedadesderivadasdelaintegrabilidadenmagnitud
X ()
x(t )e
j t
dt = x(t ) dt = x(t ) 1
138
TransformadadeFourier
AnlisisdeFourier
1
1
1
j t
x (t )
X ()e d =
X () d =
X ( ) 1
2
2
2
Continuidad
lim f ( x + h ) f ( x ) = 0 x R
h 0
ParalatransformadadeFouriersetieneque
X ( + h) X () =
x(t )e j ( + h )t dt
X ( + h) X () =
x(t )e
jt
dt
x(t )e
jt
e jht 1 dt
lim [ X ( + hn ) X ( )] = lim
n
x(t )e
jt
e jhnt 1 dt
lim [ X ( + hn ) X ( )] =
n
lim x(t )e
jt
e jhnt 1 dt = 0
139
TransformadadeFourier
AnlisisdeFourier
TeoremadeRiemannLebesgue
lim X () = lim X () = 0
X ( ) = X ()e
x(t / )e
jt
dt
Deacuerdoaestaecuacin,sepuedeescribir
2 X () =
14
4244
3
144424443
x(t )e
j t
X ()
jt
X ()
yportalmotivo,
lim
0
g (t + ) g (t ) dt = 0
porlocual
lim
x(t ) x(t / ) dt = 0
yporendesi entonces X () = 0 .
Observacin5.6.Ningunasealen L1 puedetenercomotransformadadeFourier
unasealconstante.
140
TransformadadeFourier
AnlisisdeFourier
5.3. PropiedaddeconvolucinparalaTF
Cambiandoelordendeintegracinsetiene
{ x(t ) y(t )} =
jt
j t
=
x
(
t
)
y
(
)
e
dt
d
y
(
x(t )e dt d
{ x(t ) y(t )} =
y( ) X ()e j d = X ( ) y( )e j d
Portalmotivo
Figura5.19.Sealpulsodeancho2a.
141
TransformadadeFourier
AnlisisdeFourier
Solucin.Utilizandoalpropiedaddeconvolucinsetieneque
{ x(t ) x(t )} = X 2 ( )
a
X () =
jt
dt = 2a sinc( a)
Figura5.20.Transformadadelaconvolucindeunpardepulsos.
Demostracin.Aprobarque
x(t ) y(t ) dt R
x(t ) y(t ) dt =
x(t ) y( )d
x(t ) y(t ) dt
dt
x(t ) y( ) d dt
Intercambiandoelordendeintegracinsetiene
x(t ) y(t ) dt
y( )
x(t ) dt d
14
4244
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
Fig.RespuestadeunsistemaLTIconrespuestaenfrecuenciaH().
Lafuncin H () seconocecomorespuestaenfrecuenciadelsistema,puesindicaen
queformaelsistemamodificalascaractersticasfrecuencialesdelasealdeentrada.
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
1
jt
j t
{ x(t ) y(t )} = x(t )
Y
(
)
e
d
e dt
Cambiandoelordendeintegracinsetiene
1
j ( ) t
{ x(t ) y(t )} =
Y
(
)
x
(
t
)
e
dt
{ 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
5.4. TeoremadeParsevalparalatransformadadeFourier
Laenergadeunasealsedefinecomo
E=
x(t ) dt =
x(t ) x (t ) dt
*
1
x(t ) 2
E=
( )e jt d dt
Intercambiamoselordendeintegracin,setiene
1
E=
2
E=
1
2
jt
X
(
)
x
(
t
)
e
dt
( )X ( ) d
Portalmotivoalenergadelasealpuedeserencontradautilizandosutransformada
deFourier X () ,deacuerdoa
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 .
Lafuncin X ( ) 2seconocecomodensidadespectraldeenergaydainformacinde
cmoestrepartidalaenergadelasealenlasdiferentesfrecuencias.Elreadela
densidadespectraldeenergaenunintervalodadonosindicalacantidaddeenerga
delasealqueseencuentraeneserangodefrecuencias.
147
TransformadadeFourier
AnlisisdeFourier
Observacin5.10.Laenergadeunasealpuedeserencontradaeneldominodel
tiempo,utilizando x(t ) oeneldelafrecuencia(Parseval),utilizando X () .
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=
E = e
( )
a 2t
x(t ) dt = e at dt
e a 2t
dt =
2a
2a
E=
Frecuencia
E=
1
2
X ( ) d
{ x(t )} = X () =
1
E=
2
E=
a + j
X () =
a + 2
2
1
1 1
1
a 2 + 2 d = 2 a tan a
2a
HastaestepuntoslopodemosencontrarlatransformadadeFourierdeunasealen
L1 . Por tal motivo, es necesario definir la transformada de Fourier para seales de
energafinita(sealesen L2 )quenonecesariamentepertenezcana L1 .
5.5. TransformadadeFourierL2
148
TransformadadeFourier
AnlisisdeFourier
x, y = x(t ) y* (t )dt
E = x, x = x(t ) x* (t )dt =
x(t ) dt = x(t ) 2
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.
lim x(t ) xN (t ) 2 = 0
N
Figura5.27.Sealoriginaldeenergafinitaysuversintruncada.
149
TransformadadeFourier
AnlisisdeFourier
X N () = x(t )e jt dt
N
TeoremadeParseval(General).Sean f , g ( L1 L2 ) entonceslatransformadade
Fourierpreservaelproductointerno,esdecir,
f (t ), g (t ) = 21 F ( ), g ()
TeoremadePlancherel(Casoparticular).Sea x ( L1 L2 ) entonces
x (t ) 2 =
1
2
X () 2
DeacuerdoalteoremadePlancherel,paracada N Z + laseal X N () L2 .
xN1 (t ) xN2 (t ) =
2
1
2
X N1 ( ) X N2 ()
2
lim X () X N () 2 = 0
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 =
Solucin.Aprobarque
sin(t )
dt = .
t
sin(t )
dt = .Definamosla
2
t
0
G( x ) = e tx
0
sin(t )
dt
t
entonces
dG ( x )
= e tx sin(t ) dt
dx
0
G '( x ) =
e jt e jt
1
e t ( x j ) e t ( x + j ) dt
=
G '( x ) = e tx
dt
2
2
j
j
0
0
1 et ( x j ) et ( x+ j )
1 1
1
G '( x ) =
=
2j x j
x + j 0 2 j x + j x
1
G '( x ) = 2
x +1
G( x ) = 2
dx = arctan( x ) + c
x +1
+c
lim G( x ) = lim e tx
x
sin(t )
dt = 0
t
151
TransformadadeFourier
AnlisisdeFourier
Portalmotivo,laconstantedeintegracines c = / 2 .Evaluandoellmite x 0
lim G( x ) = lim e tx
x 0
x 0
sin(t )
sin(t )
dt =
dt = / 2
t
t
0
Portalmotivo,
sin(t )
t dt =
5.6. TransformadasdeFourierqueimplicanfuncionesimpulso
5.6.1. TransformadadeFourierdelafuncinimpulso
UtilizandolapropiedaddeseleccinsobrelaintegraldeFourier L1 ,setiene
{ (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 )} = 3e j 3 + 2e j 0 e j
{ x(t )} = 2 e j + 3e j 3
Observacin5.11.Lafuncinimpulsonopertenecea L1 ,puessutransformadade
Fouriernotiendeaceroamedidaque .
5.6.2. TransformadadeFourierdeunexponencialcomplejo
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
{e j0t } = 2 ( 0 ) = 2 ( + 0 )
Portalmotivo
{ e j 0t } = 2 ( 0 )
Figura5.28.SealexponencialcomplejoysutransformadadeFourier.
Solucin.
e j 0 t + e j 0t 1
j t
j t
{ x(t )} = {cos(0t )} =
= {e 0 + e 0 }
2
1
1
{e j0t } + {e j0t } = [ 2 ( 0 ) + 2 ( + 0 )]
2
2
{ x(t )} = [ ( 0 ) + ( + 0 )]
{ x(t )} =
Figura5.29.TransformadadeFourierdelasealcos(0t).
153
TransformadadeFourier
AnlisisdeFourier
Ejemplo5.16.EncuentrelatransformadadeFourierdelasealconstante x(t ) = c .
Solucin.
{c} = ce j 0t = c e j 0t = 2 c ()
{ }
Figura5.30.SealconstanteysutransformadadeFourier.
Observacin5.13.LainformacinsobreelnivelDCdeunasealseencuentraenla
transformadadeFourierevaluadaen = 0 ,esdecir, X (0) .
Latransformadadelexponencialcomplejoeslaclaveparaencontrarlatransformada
deFourierdecualquiersealperidica.
5.6.3. TransformadadeFourierdesealesperidicas
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 )} =
cn {e jn0t } =
n =
{ x(t )} = 2
c 2 ( n )
n =
c ( n )
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
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 .
Ejemplo 5.17. Una seal peridica tiene los coeficientes cn que se muestran en la
Figura5.31,encuentrelasealysutransformadadeFourier,si 0 = 3 .
Figura5.31.CoeficientesdeFourierparalasealperidica.
x(t ) = 4e j 0t + 4e j 3t + 4e j 3t + 2e j 6t + 2e j 6t
LatransformadadeFourierpuedeencontrarsecomo
{ x(t )} = 4 [2 () + 2 ( 3) + 2 ( + 3) + ( 6) + ( + 6)]
Figura5.32.TransformadadeFourierdelasealperidica.
155
TransformadadeFourier
AnlisisdeFourier
5.7. AplicacionesdelatransformadadeFourier
5.7.1. Estimacinespectral
5.7.2. AnlisisdesistemasLTI
5.7.3. Ecuacionesdiferencialesordinariasyparciales
Utilizandolapropiedaddediferenciacin,dadapor
d n x (t )
F
= ( j )n X ( )
n
dt
Ejemplo5.18.UtilizandolatransformadadeFourier,resuelvalaecuacindiferencial
..
Solucin.Primerosetransformanambosladosdelaigualdad.
..
.
( j)2 X ( ) + ajX () + bX () = Y ( )
156
TransformadadeFourier
AnlisisdeFourier
Ahorasedespejaeltrmino X () ysecomputalatransformadainversadeFourier
paraencontrarlasolucin x(t ) .
X () 2 + aj + b = Y ( )
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
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.
157
TransformadadeFourier
AnlisisdeFourier
5.9. Ejercicios
Seccin5.2
1. DeterminelatransformadadeFourierdelaseal x(t ) = e .
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.
a. Encuentresunorma L1 ,enfuncinde ( 0 ).
b. HallesutransformadadeFourier,enfuncinde .
Paraa.yb.tengaencuentaque e u du = .
2
Seccin5.5
9. Si {x(t )} = X () ,determinelatransformadadefourierde
a. x(1 t )
b. x[(t / 2) 2]
dx(t )
c.
cos t
dt
d
[x(2t )]
d.
dt
159
TransformadadeFourier
AnlisisdeFourier
2 2
1
X () = 2
e +1
+1
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.
Sistemas5.6
y (t ) =
x(t s) y(s)ds + (t )
a. Si {x(t )} = X () y {y (t )} = Y () ,hallelarelacinentre X () y Y () .
b. Si x(t ) = e 2t u (t ) ,halle y (t ) .
160
TransformadadeFourier
AnlisisdeFourier
Seccin5.7
17. EvalulassiguientesintegralesutilizandoelteoremadeParseval.
sin t
a.
dt
t
b.
1
dt
+ t2
Seccin5.7
19. ObtengalatransformadadeFourierdelasecuenciadeimpulsosdepesounitario,
queseilustraenlafigura.
161
6
ANLISIS DE FOURIER PARA
SEALES DISCRETAS
Las ventajas del procesamiento digital de seales han hecho que las tcnicas de
procesamiento analgico queden un poco rezagadas. Por tal motivo, es sumamente
importanteconoceryutilizarlasherramientasqueofreceelanlisisdeFourierparael
estudioyanlisisdesealesysistemasdetiempodiscreto.
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.
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
p(t ) =
(t nT
n =
Lasealmuestreada xm (t ) ,esobtenidacomo
xm (t ) =
x(t ) (t nT
n =
xm (t ) =
x(nT
n =
) (t nTm )
Figura6.2.SealdeTCytrendeimpulsos.
Figura6.3.Sealmuestreadaobtenida.
164
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.1.2. Efectodelmuestreosobreelespectro
Lasealmuestreadapuedeexpresarsecomo
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 =
X m () =
X () (t nTm )
2
n =
xi (t ) = cn e jnmt , m =
Tm
n =
dondeloscoeficientes cn ,puedenserencontradoscomo
T /2
T /2
1 m
1 m
jnmt
jn m t
cn =
(
t
nT
)
e
dt
(
t
nT
)
e
dt
m
m
Tm Tm / 2 n =
Tm n = Tm / 2
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
p(t ) =
n =
e jnmt , m =
AnlisisdeFourier
Tm
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
X ( n
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
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.
Figura6.5.TransformadadeFourierdelasealmuestreada.
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.
2
2 a < m =
Tm
SilafrecuenciaenHzmsaltadelaseales f a = a / 2 ,entoncessedebecumplir
fm > 2 fa
EstacondicinseconocecomotasadeNyquist.
168
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.1.4. TransformadadeFourierdeunasealmuestreada
X () =
x(t )e
j t
dt
X m () =
(t )e jt dt
Utilizandoladefinicindelasealmuestreada xm (t ) ,podemosreescribir
X m () = x( nTm ) (t nTm ) e jt dt
n =
Intercambiandoelordenentrelaintegralylasumatoria,setiene
X m () =
n =
x( nTm ) (t nTm )e jt dt
Utilizandolapropiedaddeseleccindellafuncinimpulso,setiene
X m () =
x(nT
n =
)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.
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.
(a)
(b)
(c)
Figura6.10.SealesdeTCquegeneranunamismasealdeTD.(a)y(b)sealesdeTCy(c)sealdeTD.
6.2. TransformadadeFourierparasealesdiscretas
6.2.1. DefinicindelatransformadadeFourierl1
LatransformadadeFourierdeunasealmuestreada xm (t ) ,estadadapor
X m () =
x(nT
n =
)e jnTm
170
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
{ xn } = X ( ) =
xe
n =
j n
1 si n { 1,0,1}
Ejemplo6.2.EncuentrelaTFdelaseal x n =
.
0 si n { 1,0,1}
Solucin.LasealcorrespondeaunpulsodeTD,comoseilustraenlaFigura6.11.
Figura6.11.SealpulsodeTDdeancho2.
X ( ) =
xe
n =
j
j n
j n
n =1
X ( ) = e + 1 + e j = 1 + 2 cos( )
Figura6.12.TransformadadeFourierdelasealpulsodeTD.
171
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Demostracin.
X ( ) =
n =
X ( )
n =
xn e j n
n =
xn e j n
xn = xn 1
Propiedad.6.3.Latransformada X ( ) siempreesperidica,conperiodo 2 .
X ( + 2 k ) =
xe
n =
X ( + 2 k ) =
xe
n =
j ( + 2 k ) n
xe
n =
j n
j n j 2 kn
= X ( )
LaPropiedad6.3tambinpuededemostrarseapartirdelaObservacin6.4.
6.2.2. InterpretacindelatransformadadeFourierl1
Figura6.13.EspectrodeFourierdelasealdelEjemplo6.2.
172
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
-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
{ xn e j0 n } = X ( 0 )
Multiplicacin
{ xn yn } = X ( ) Y ( ) =
X ( )Y ( )d
Periodicidad
X ( + 2 ) = X ( )
Simetra
X ( ) espary X ( ) esimpar
173
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.2.4. TransformadadeFourierparasealesperidicasdiscretas
xn =
ce
k =
jk0 n
Demostracin.
N 1
xn = ck e jk0 n
k =0
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
N 1
xn e jk0 n = ck e j ( m k )0 n
m=0
N 1
N 1
Nc
jk0 n
j ( m k )0 n
x
e
c
=
= k
n
k e
n=0
m=0
n=0
0
N 1
m=k
mk
174
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Portalmotivo,loscoeficientesdelaserieexponencialpuedenencontrarsecomo
ck =
1
N
N 1
x e
n
n=0
jk0 n
k = 0,1, ..., N 1
SupongaqueunasealtienetransformadadeFourier X ( ) =
2 (
k =
k 2 )
Encontremosaquesealperteneceestatransformada,paraellosehace
1
2 ( 0 k 2 )e j n d
xn = 1 2 ( 0 k 2 ) =
k =
2 k =
1
xn =
2
2 ( )e
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 } =
2 (
k =
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
N 1
X ( ) = 2 ck
k =0
( k
m =
m2 )
175
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
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 =
xx
n =
n n
UtilizandolaecuacindetransformadainversadeFourierdeTD,setiene
j n
j n
E = xn
X
(
)
e
d
x
X
(
)
e
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
6.2.6. PropiedaddeconvolucinparalaTFdesealesdiscretas
Laconvolucindiscretaentre x n y hn sedefinecomo:
xn hn =
k =
nk k
UtilizandolaecuacindetransformadainversadeFourierpodemosescribir xn k como
176
AnlisisdeFourierparasealesdiscretas
xn hn =
k = 2
X ( )e
j ( n k )
AnlisisdeFourier
d hk
Intercambiandoelordenentrelaintegralylasuma,setiene
j n
xn hn =
X
(
)
e
e j k hk d
2 2
n =
xn hn =
1
2
[ X ( )H ( )] e
j n
xn hn = 1{ X ( ) H ( )}
Portalmotivo,latransformadadeunaconvolucinpuedeencontrarsecomo
{ xn hn } = X ( ) H ( )
donde X ( ) = { xn } y H ( ) = {hn } .
Figura6.14.AnlisisdeunsistemaLTIdiscretoutilizandolatransformadadeFourier
177
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Ejemplo 6.3. Encuentre la respuesta del sistema LTI discreto que tiene la respuesta
impulsoqueseilustraenlasiguienteFigura,donde M Z + .
1
n { M , ..., M }
hn = 2 M + 1
0
otro caso
Solucin.Larespuestaenfrecuenciadelsistemapuedeencontrasecomo
M
M
1
1 1 j n
H ( ) = xn e j n =
e j n =
e
e j n
+
+
2 M + 1 n = M
2 M + 1 n = M
n =
n =1
1 M j n j n
1+ e + e
n
2 M + 1 n =1
n =
M
1
1 + 2 cos( n )
H ( ) =
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 ).
Lasalidadelsistemaaunaentradaarbitraria xn puedeexpresarsecomo
1
1 N
yn = xn hn =
xn =
( x N + ... + x0 + ... + xN )
2M + 1
2M + 1 n = N
178
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.3. TransformadadiscretadeFourier(DFT)
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
X (k ) =
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
L 1
X (k ) = xn e jk n ,
k = 0,1, ..., N 1
n =0
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 ] .
2 k
2
( k ) ,
k =
X m ( ) = X ( )
N
N k =
Lapreguntaaresponderahoraesdequesealdiscretaestransformada X m ( ) ?,olo
que es lo mismo, X m ( ) corresponde a la representacin frecuencial de que seal?
Pararesponderestapreguntaencontremoslatransformadainversade X m ( ) como
X
(
( k ) e j n d
1{ X m ( )} =
2 2
k =
{ X m ( )} =
1
N 1
X ( ) ( k ) e j n d
k =0
N 1 2
N 1
1{ X m ( )} = X ( )e j n ( k ) d
k =0
k =0
N 1
1{ X m ( )} = X (k )e jk n
k =0
Portalmotivo,latransformadainversade X m ( ) correspondealaserieexponencial
Fourierdeunasealdeperiodo N ,cuyoscoeficientescomplejosdeFouriersonlos
valores X (k ) ,loscualespuedenserencontradoscomo
1 N 1
X (k ) = xnp e jk n
N n =0
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 ( ) ?
Figura6.18.SealdiscretarepresentadaporXm()paraN = 2.
Figura6.19.SealdiscretarepresentadaporXm()paraN = 6.
181
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.3.2. DefinicindelaDFT
Xk =
1
N
L 1
x e
n =0
jk n
k = 0,1, ..., N 1
X k = [ X 0 , X 1 , ..., X N 1 ]
Ejemplo6.4.EncuentrelaDFTde3puntosdelaseal xn = {1, 2, 3} .
Figura6.20.Sealdiscretadelongitud3.
Solucin.Enestecaso L = 3 ylaDFTde3puntoses
1
Xk =
N
N 1
x e
n =0
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
1 N 1
X 0 = xn
N n =0
ApartirdelaDFTde N puntosesposiblerecuperarlasealdiscretadelongitud L si
N L deacuerdoa
N 1
xn = X k e jk n ,
n = 0,1, ..., L 1
k =0
DelaecuacindelaDFTinversaesclaroquelafuncin X k ponderalaparticipacinde
cadaexponencialcomplejodefrecuencia k enlarepresentacindelaseal xn .
Ejemplo6.5.EncuentrelasealdiscretaquetieneporDFTlafuncin
X k = {0, 1, 2, 0, 0, 0, 2, 1}
N 1
xn = X k e
k =0
2 k
j
n
N
= Xke
2
kn
8
n=0
183
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Solo X 1 , X 2 , X 6 y X 7 sondiferentesdecero,porlocual
xn = X 1e
2 (1)
n
8
+ X 2e
2 ( 2 )
n
8
+ X 6e
2 ( 6 )
n
8
+ X 7e
2 ( 7 )
n
8
2
n
8
12
14
xn = e 8 + 2e 8 + 2e 8 + e 8
Lafrecuenciadiscretatieneperiodo 2 ,porlocual
12
4
14
2
6 =
2 =
y 7 =
2 =
8
8
8
8
Lasealdiscretapuedeescribirsecomo
xn = e
+ 2e
4
n
8
+ 2e
4
n
8
+e
2
n
8
xn = 2 cos( 28 n) + 4 cos( 24 n )
Demostracin.
N 1
xn + N = X k e
2 k
j
( n + N )
N
k =0
N 1
xn + N = X k e
k =0
N 1
= Xke
2 k
j
n
N
e j 2 kn
k =0
2 k
j
n
N
= xn
6.3.4. VisualizacindelaDFT
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.
Paramejorarlainterpretacin,losvaloresde X k confrecuenciadiscretasuperiora
sonubicadosenfrecuenciasnegativas,paraesasfrecuenciassehace k = k 2 .De
estaformaseilustranlas N muestrasde X ( ) enelintervalo [ , ] ,Figura6.22.
Figura6.22.VisualizacinalternativadelaDFTcontrafrecuenciadiscreta.
Figura6.23.DFTcontrafrecuenciaangularcontinua.
185
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.3.5. PropiedadesdelaDFT
Linealidad
X k espar, X k esimpary X k =
1
N
L 1
n =0
cos(k n ) .
Desplazamientoeneltiempo
DFT{xn n0 } = X k e jk n0
Modulacin
DFT{xn e jl n } = X k l
Multiplicacin
DFT{ xn yn } = X k Yk
donde representalaconvolucindiscreta,lacualsedefineenlaSeccin6.3.7.
6.3.6. TeoremadeParsevalparaDFT( N = L )
1
P=
N
N 1
x
n =0
1
=
N
N 1
1
xx =
N
n =0
n n
N 1
xn X k e j kn
n=0
k =0
N 1
P=
1
N
N 1 * j kn 1
x
n Xke
= N
n =0
k =0
N 1
N 1 N 1
( x X
n=0 k =0
* j kn
k
N 1
1
P = X k*
k =0
N
N 1
j kn
x
e
=
n
Xk Xk
n=0
k =0
N 1
Portalmotivo,lapotenciapromediodelasealdiscretapuedeencontrarsecomo
N 1
P = Xk
2
k =0
186
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.3.7. ConvolucindiscretautilizandolaDFT
Propiedaddeconvolucincirculardiscreta
LaconvolucincirculardiscretasedefineparadossealesdeTDperidicas x n y y n ,
ambassealesconperiodo N ,como
1 N 1
1 N 1 N 1
xn yn = xn s yn = X k e jk ( n s ) ys
N s =0
N s =0 k =0
xn yn =
1
N
N 1
N 1
k =0
s =0
X k e jk n Ys e jk s
N 1
xn yn = X k Yk e jk n = DFT -1{ X k Yk }
s =0
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
xn yn = DFT -1{ X k H k }
n = 0,1, ..., M + L 2
187
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.4. TransformadarpidadeFourier(FFT)
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
6.4.1. AlgoritmoFFTdediezmadoeneltiempo(Base2)
1
Xk =
N
N 1
x e
n =0
2 k
j
n
N
188
AnlisisdeFourierparasealesdiscretas
1
Xk =
N
( N / 2 ) 1
1
Xk =
N
M 1
x2 m e
m =0
2 k
j
( 2 m )
N
1
+
N
AnlisisdeFourier
( N / 2 ) 1
m =0
x2 m +1e
2 k
j
( 2 m +1)
N
m=0
par
m
2 k
j
m
M
1
+
N
M 1
m =0
imp
m
2 k
2 k
j
m j
M
N
Deacuerdoaesto,podemosencontrarlaDFTcomo
2 k
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
donde X kpar es la DFT de la seal xnpar y X kimp es la DFT de la seal xnimp . 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
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);
%
%
%
%
%
%
%
%
%
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
% 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)')
190
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
Figura6.24.SealdeECGysuespectro(utilizandolaFFT).
LaFFTnospermiteconocerlarespuestaenfrecuenciadeunsistemadiscreto.
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
6.4.2.2.
AnlisisdeFourier
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);
%
%
%
%
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 .
194
AnlisisdeFourierparasealesdiscretas
AnlisisdeFourier
6.6. Ejercicios
Seccin6.1
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
Secciones6.3y6.4
7. ObtengalaDFTdelassiguientesseales
a. xn = {1, 1, 0,1, 1}
3
b. xn = cos
4
c.
2
xn = 4 cos
3
n
n sin
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
9. DemuestrelassiguientespropiedadesdelaDFT.
b. DFT{ xn n0 } = X k e jk n0
11. UtilizandoMatlabyunmicrfono,grabesunombreyrealice
a. Visualiceelsegmentodeaudio.
b. ObtengalaFFTde512puntos,delsegmentodeaudio.
c. Visualicelascomponentesdefrecuenciadelsegmentodeaudio.
d. Convolucioneelsegmentodeaudioconunasealconstantedevalor1/Ny
delongitudN.
e. Reproduzcaelsegmentodeaudiooriginalyelsegmentoconvolucionado,
paradiferentesvaloresdeN.Quesucedealrealizarlaconvolucin?
f. Visualicelascomponentesdefrecuenciadelsegmentoconvolucionada.
Quelesucedealascomponentesdefrecuencia?QueefectotienevariarN?
196
7
ECUACIONES DIFERENCIALES
PARCIALES
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 ) )
2
2u
2 u
=
c
t 2
x 2
u tt = c 2 u xx
Ecuacindecalorunidimensional( u( x, t ) )
u
2u
= c2 2
t
x
ut = c 2 u xx
EcuacindeLaplacebidimensional( u( x, y ) ).
2u 2u
+
= 0 u xx + u yy = 0
x 2 y 2
Ecuacionesdiferencialesparciales
AnlisisdeFourier
7.1.1. ClasificacindelasEDPs
TodaEDPdesegundoordenpuedeescribirsedeformageneralcomo
Para u ( x, y ) :
Au xx + 2 Bu xy + Cu yy = F ( x, y , u , u x , u y )
Para u ( x, t ) :
Au xx + 2 Bu xt + Cutt = F ( x, t , u , u x , ut )
Deacuerdoaestaformageneral,lasEDPsdesegundoordenseclasificanen:
AC B 2 > 0
i. Elpticassi
ii. Parablicassi AC B 2 = 0
iii. Hiperblicassi AC B 2 < 0
Ejemplo 7.3. Clasifique las ecuaciones de onda, calor y laplace, utilizando las clases
definidasanteriormente.
Solucin.
Ecuacindeondaunidimensional
c 2u xx utt = 0
A = c 2 , B = 0, C = 1 y F = 0
AC B 2 = c 2 < 0
Portalmotivo,laecuacindeonda1Deshiperblica.
Ecuacindecalorunidimensional
c 2u xx = ut
A = c 2 , B = 0, C = 0 y F = ut
AC B 2 = 0
Portalmotivo,laecuacindeonda1Deshiperblica.
EcuacindeLaplacebidimensional
u xx + u yy = 0
A = 1, B = 0, C = 1 y F = 0
AC B 2 = 1
Portalmotivo,laecuacindeLaplace2Deshiperblica.
198
Ecuacionesdiferencialesparciales
AnlisisdeFourier
7.1.2. SolucindeunaEDP
EngeneralelconjuntodesolucionesdeunaEDPesmuygrande.UnaEDPpuedetener
mltiplessoluciones,comoseilustraenelsiguienteejemplo.
Solucin.Averificarque u xx + u yy = 0 .
u = x2 y2
ux = 2 x
u xx = 2
u y = 2 y u yy = 2
u xx +u yy = 2 2 = 0
u = e x cos( y )
u x = e x cos( y ) u xx = e x cos( y )
u y = e x sin( y ) u yy = e x cos( y )
u xx +u yy = e x cos( y ) e x cos( y ) = 0
u = ln( x 2 + y 2 )
ux =
2x
2
x + y2
u xx =
2y
uy = 2
x + y2
u yy =
2 x 2 + 2 y 2
(x
+ y2
2 y 2 + 2 x 2
(x
+ y2
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.
u xx + ( u yy ) = u
2
Laecuacinnoeslineal,eltrmino u yy estlacuadrado.
200
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Ejemplo7.6.IdentifiquesilassiguientesEDPssonhomogneas.
u xx + u yy = 0
Laecuacineshomognea.
u xy sin( y ) = 0
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.
ut = c1vt + c2 wt
ut = c1 c 2 vxx + c2 c 2 wxx
ut = c ( c1vxx + c2 wxx ) = c 2u xx
2
7.2. Ecuacindeondaunidimensional
Considereunacuerdavibranteextendidaaunalongitud L yfijadaenlosextremos.
201
Ecuacionesdiferencialesparciales
AnlisisdeFourier
Figura7.1.CuerdavibrantedelongitudL.
Supongaquelacuerdaesdistorsionadaydespusenciertoinstante( t = 0 )sesueltay
sedejavibrarlibremente.Elproblemaesdeterminarladeflexindelacuerda u( x, t ) ,
quecorrespondealadistorsindelacuerdaenlaposicin x enuntiempo t .
Figura7.2.Deflexindelacuerdaenlaposicinxeneltiempot.
Paraencontrarladeflexindelacuerda u ( x, t ) ,sedebeasumir:
Figura7.3.Fuerzasqueactansobreunapequeaporcindelacuerda.
202
Ecuacionesdiferencialesparciales
AnlisisdeFourier
T1 cos( ) = T2 cos( ) = TH
T1
Latensinhorizontaldelacuerda
TH ,esunaconstantequedependedetensininicial
conlacuallacuerdafuefijadaalosextremos.
donde esladensidadlinealdelacuerda(masaporunidaddelongitud).Dividiendo
laecuacinanteriorporlatensinhorizontal TH ,setiene
T2 sin( ) T1 sin( ) x 2
=
u / t 2
T2 cos( ) T1 cos( )
TH
tan( ) tan( ) =
TH
( u / t )
2
tan( ) =
x x = x
tan( ) =
u
x
x = x +x
Reemplazandoestehechoenlaecuacindelaporcindecuerda,setiene
u
u x 2
( u / t 2 )
x
x
T
x = x +x
x= x
203
Ecuacionesdiferencialesparciales
Sea f ( x ) =
AnlisisdeFourier
u
,entoncespodemosescribir
x
f ( x + x ) f ( x + x ) =
x
TH
( u / t )
2
Laporcindecuerdasesuponemuypequea,porlocual x 0 .Bajoestacondicin
seeldiferencial, x sepasaadividirlaexpresindelaizquierda,setiene
2
f ( x + x ) + f ( x ) df ( x ) u
=
=
lim
x 0
x
x 2
dx
ylaecuacindelacuerdapuedereescribirsecomo
2u / x 2 =
TH
( u / t )
2
Finalmente,sidefinimos c 2 = TH / ,obtenemoslaecuacindeondaunidimensional
quegobiernaladeflexindelacuerda,dadapor
2
2u
2 u
=
c
x 2
t 2
Condicionesdefrontera
Debidoaquelacuerdaestsujetaalosextremos x = 0 y x = L ,setieneque
u(0, t ) = 0
u ( L, t ) = 0
Condicionesiniciales
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:
u( x, t ) = F ( x )G(t )
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 )
205
Ecuacionesdiferencialesparciales
AnlisisdeFourier
laigualdad,ambasfuncionesdebenserconstantes,paraevitarqueunavariacinen
unadeellasimpliquelomismoenlaotra.Portalmotivo,sepuedeafirmarque
G '' (t ) F ( x )
=
= k , k R
c 2 G (t ) F ( x )
Apartirdeestaecuacinpodemosplanteardosecuacionesdiferencialesordinarias
(a)
F Fk = 0
''
2
(b )
G Gkc = 0
Solucinde ( a )
u(0, t ) = F (0)G(t ) = 0
u( L, t ) = F ( L )G(t ) = 0
d 2 F ( x)
kF ( x ) = 0
dx 2
Si k = 0 ,entonces m1 = m2 = 0 ylasracessonrealeseiguales.Enestecaso,
lasolucindelaecuacin ( a ) esdelaforma
F ( x ) = Axem1x + Bem2 x
F ( x ) = Ax + B
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 .
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
F ( x ) = e px [ A cos( qx ) + B sin( qx )]
Comolaparterealdelasracesescero,lasolucinpuedeescribirsecomo
F ( x ) = A cos( qx ) + B sin( qx )
F ( 0) = A = 0 A = 0
F ( L ) = B sin( qL ) = 0 sin( qL ) = 0
q=
ypodemosescribirlasolucincomo
n
F ( x ) = B sin
x
207
Ecuacionesdiferencialesparciales
AnlisisdeFourier
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
Solucinde (b)
Dadoque q =
n
n
,setieneque k =
ypodemosescribir (b) como
L
L
d 2G(t ) 2 n
+c
G (t ) = 0
dt 2
L
Gn (t ) = An cos( n t ) + Bn sin( n t )
208
Ecuacionesdiferencialesparciales
AnlisisdeFourier
n
un ( x, t ) = [ An cos(nt ) + Bn sin(n t )] sin
L
sonsolucinalaecuacindeondaysatisfacenlascondicionesdefrontera.
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
Lanuevasolucindebesatisfacerlacondicininicial u( x, 0) = f ( x ) ,paraello
u( x, 0) = An sin
x = f ( x)
L
n =1
209
Ecuacionesdiferencialesparciales
AnlisisdeFourier
T /2
4
An = f ( x )sin( n0 x )dx
T 0
2
n
An = f ( x )sin
L0
L
L
x dx
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
Denuevolaseriecorrespondeaunasealimparcon 0 = / L yperiodo T = 2 / L .
Loscoeficientesdelaseriepuedenserencontradoscomo
L
2
n
Bn n = g ( x )sin
x dx
L0
L
Despejandoloscoeficientes Bn setiene
2
n
g ( x) sin
x dx
L n 0
L
L
Bn =
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
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
u( x, t ) = [ f E ( x ct ) + f E ( x + ct )]
2
Figura7.5.Deflexininicialdelacuerda.
Figura7.6.Extensinperidicaeimpardeladeflexininicial.
211
Ecuacionesdiferencialesparciales
AnlisisdeFourier
3
f ( x ) = sin
L
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
L
1
x
An = cos ( n 3) cos ( n + 3) dx
L 0
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
Solohayuncoeficientedelaseriequenoescero,elcoeficiente A3 .Portalmotivo,la
deflexindelacuerdaestdadapor
3 3
3 3
u ( x, t ) = A3 cos
t sin
x = cos t sin
x
L L
L L
212
Ecuacionesdiferencialesparciales
AnlisisdeFourier
7.3.2. SolucindeDAlembert
LasolucindeDAlembertsebasaeneltransformadadeFourier(TF)parasolucionar
laecuacindeonda1D.EncontremoslaTFconrespectoa x de u ( x, t ) .
x {u ( x, t )} =
u( x, t )e
jx
dx = U (, t )
UtilizandolapropiedaddediferenciacindelaTF,setiene
x {u x ( x, t )} = j U (, t )
x {u xx ( x, t )} = 2 U (, t )
ParaencontrarlaTFconrespectoa x de ut ( x, t ) nosepuedeutilizarestapropiedad,
pueslatransformadayladerivadasonconrespectoadiferentesvariables.Paraeste
casosetiene
u( x, t ) jx
u( x, t + h) u( x, t ) jx
x {ut ( x, t )} =
e dx = lim
e dx
h
0
t
h
1
x {ut ( x, t )} = lim x {u( x, t + h)} x {u ( x, t )}
h 0 h
1
x {ut ( x, t )} = lim [U ( , t + h) U (, t )]
h 0 h
Portalmotivo,podemosescribir
U (, t )
= U t (, t )
t
2U (, t )
x {utt ( x, t )} =
= U tt (, t )
t 2
Deacuerdoaestoresultados,sitomamoslaTFdelaecuacindeonda,setiene
x {utt } = x {c 2u xx }
x {ut ( x, t )} =
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( x, t ) = x 1 {U (, t )} =
U (, t )e jx d
u ( x, t ) =
1
2
( H () e
j ct
+ G() e jct e jx d
u ( x, t ) =
1
j ( x + ct )
+
H
(
)
e
d
G( )e j ( x ct ) d
1
1
h( x ) = x { H ()} =
H ()e jx d
g ( x ) = x 1 {G ( )} =
1
2
G() e
j x
Deacuerdoaesto,podemosescribirladeflexindelacuerdacomo
u( x, t ) = h( x + ct ) + g ( x ct )
214
Ecuacionesdiferencialesparciales
CondicionesIniciales
Deflexininicial: u( x, 0) = f ( x )
u ( x,0) = h( x) + g ( x) = f ( x)
Velocidadinicial: u ' ( x, 0) = g ( x )
ut ( x, t ) = ch' ( x + ct ) cg ' ( x + ct )
(1)
ut ( x, 0) = ch' ( x ) cg ' ( x ) = 0
AnlisisdeFourier
h( x ) = g ( x ) + k , k R
( 2)
u( x, t ) = [ f ( x + ct ) + f ( x ct )]
2
CondicionesdeFrontera
u(0, t ) = 0
u(0, t ) = [ f (ct ) + f ( ct )] = 0
2
f (ct ) = f ( ct )
Portalmotivo,lafuncin f ( x ) esimpar.
u ( L, t ) = 0
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
Ejemplo7.11.Resuelvalaecuacin au x + ut = 0 ,utilizandolatransformadadeFourier,
donde a esunaconstanterealy u( x, 0) = f ( x ) .
Solucin.TomandolaTFconrespectoa x ,setiene
ax {u x } + x {ut } = 0
ajU (, t ) +
U (, t )
=0
t
LaEDOdeprimerordenpuedeserresultahaciendo
U (, t )
= aj t
U ( , t )
Ahorasedebeintegraraambosladosdelaigualdad.Alintegrarelladoizquierdodela
expresin,seobtienelafuncin ajt msunaconstantedeintegracin H () ,que
dependedelvalordeyesconstanteconrespectoa t .
ln[U (, t )] = jat + H ()
U (, t ) = H ( )e at
Lasolucindelaecuacindebecumplir u( x, 0) = f ( x ) ,porlocualsitomamoslaTF
{u( x, 0)} = x { f ( x )}
U ( , 0 ) = F ( )
u( x, t ) = x 1{U (, t )} = x 1{ F ( )e at }
u( x, t ) = f ( x at )
216
Ecuacionesdiferencialesparciales
AnlisisdeFourier
7.4. Ecuacindecalorunidimensional
Elflujodecalordeunmaterialhomogneoestgobernadoporlaecuacindecalor:
K
u
= c 2 2u , c 2 =
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)
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)
G ' kc 2G = 0
(b )
Solucinde ( a )
u(0, t ) = F (0)G(t ) = 0
u( L, t ) = F ( L )G(t ) = 0
218
Ecuacionesdiferencialesparciales
AnlisisdeFourier
d 2 F ( x)
kF ( x ) = 0
dx 2
F ( x ) = A cos( qx ) + B sin( qx )
F ( 0) = A = 0 A = 0
F ( L ) = B sin( qL ) = 0 sin( qL ) = 0
q=
ypodemosescribirlasolucincomo
n
F ( x ) = B sin
x
n
Fn ( x ) = sin
x
L
Solucinde (b)
n
n
Dadoque q =
,setieneque k =
ypodemosescribir (b) como
L
L
219
Ecuacionesdiferencialesparciales
AnlisisdeFourier
dG(t ) 2 n
+c
G (t ) = 0
dt
L
dG(t )
2
G(t ) = n dt
ln[G(t )] = n 2t + K n
Gn (t ) = An e n t
2
n
un ( x, t ) = An e n t sin
x
L
sonsolucinalaecuacindecalorysatisfacenlascondicionesdefrontera.
u ( x , t ) = un ( x , t )
n =1
2
n
u( x, t ) = An e n t sin
x
L
n =1
Lanuevasolucindebesatisfacerlacondicininicial u( x, 0) = f ( x ) ,paraello
220
Ecuacionesdiferencialesparciales
n
u( x, 0) = An sin
L
n =1
AnlisisdeFourier
x = f ( x)
L
2
n
An = f ( x )sin
x dx
L0
L
si 0 < x < / 2
x
f ( x) =
x si / 2 < x <
Encuentrelatemperatura u( x, t ) delalambre.
Solucin.Loscoeficientes An delasolucinpuedenserencontradoscomo
L
/2
2
2
n
An = f ( x )sin
x dx = x sin ( nx ) dx + ( x )sin ( nx ) dx
0
L0
L
/2
/2
21
/2
1
2 [sin( nx ) nx cos( nx )] / 2
n
21
An = 2 sin n n cos n cos( n ) cos n
n 2 2 2 n
2
1
2 n cos( n ) sin n + n cos n
n
2 2
2
221
Ecuacionesdiferencialesparciales
4 n
An = 2
n sin 2
( n 1)
4
2 ( 1) 2
= n
0
AnlisisdeFourier
n impar
n par
Latemperaturadelaalambreestdadapor
4
4
u( x, t ) = 2 sin( nx )e t 2 sin( nx )e t
n =1 n
n =3 n
n=n + 4
n= n+ 4
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 )
U (, t )
2 2
U (, t ) = c t
ln [U (, t )] = c 2 2t + H ( )
U (, t ) = H ( )e c t
Lafuncin H () puedeserencontradautilizandolacondicininicial u( x, 0) = f ( x ) .
Paraello,sitomamoslaTFdelatemperaturainicialsetiene
222
Ecuacionesdiferencialesparciales
AnlisisdeFourier
x {u( x, 0)} = x { f ( x )}
U ( , 0) = F ( ) H ( ) = F ( )
Portalmotivo,podemosescribir
U ( , t ) = F ( )e c t
TomandolatransformainversadeFourier,setiene
1
1
u( x, t ) = x {U (, t )} =
U (, t )e jx d
u ( x, t ) =
1
2
F ()e
c 2 2t
e jx d
2 2
Definamoslafuncin G (, t ) = e c t ,entonces
u ( x, t ) =
1
2
F ()G(, t )e
jx
d = x 1{ F ( )G(, t )}
u( x, t ) = x 1{ F ()} x 1{G(, t )}
u ( x, t ) = f ( x ) g ( x, t )
2 2
2 2
1
1
2 c 2t jx
g ( x, t ) =
e
e
d
=
e c t + jx d
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 +
2
2
jc t j 2 c t
j 2c t
223
Ecuacionesdiferencialesparciales
g ( x, t ) =
1
2
AnlisisdeFourier
2
x x
x
2
c 2 t 2 + 2 +
jc t j 2 c t c t j 2 c 2t
g ( x, t ) =
x
c 2t
2
j 2c t
x x
c 2 t 2 + 2 +
jc t j 2 c t
x
Realizandolasustitucin u = c t +
setiene du = c t d y
2 jc 2t
g ( x, t ) =
x
c 2t
2
j 2c t
e u du
c t
x
c 2t
2
j 2c t
c t 2
u2
du
g ( x, t ) =
x2
2
4c t
2c t
Lasolucinalaecuacindecalor1Dpuedeescribircomo
u ( x, t ) = f ( x ) g ( x, t ) = f ( x )
x 2 / 4 c 2t
2c t
u ( x, t ) =
1
2c t
f ( )e
( x )2 / 4 c 2t
Interpretacindelasolucin
224
Ecuacionesdiferencialesparciales
AnlisisdeFourier
7.5. Ejercicios
Seccin7.1
1. VerifiquequelassiguientesfuncionessonsolucinalaecuacindeLaplace2D.
a. u( x, y ) = 2 xy
b. u( x, y ) = x 3 3 xy 2
2. Verifiquequelafuncin u( x, y , z ) =
1
x2 + y2 + z 2
satisfacelaecuacin
2u =
2u 2u 2 u
+
+
=0
x 2 y 2 z 2
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 )
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
a.
AnlisisdeFourier
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 )
f ( x ) = k1 sin( kx )
k =1
f ( x ) = sin( 2 x )cos( x 2 )
f ( x ) = [ k sin( x ) + sin( kx )] .
k =1
Seccin7.4
226
Apndice A
ESPACIOS VECTORIALES
Unespaciovectorialolinealesunacoleccindeobjetos,denominadosvectores,que
puedensersumadosyescalados.Pararealizarunadefinicinmsformalsenecesitan
algunasdefinicionesprevias.
A.1. Grupos,anillosycampos
i. Clausura:
Si a , b G a b G G escerradobajo .
ii. Asociatividad:
a , b, c G a (b c ) = ( a b ) c
iii. Identidad:
a G ( a e = e a = a ) e :identidad
iv. Inversa:
a G a ' G /
a a ' = a ' a = e
i. ( R, + ) esungrupoabelianoconidentidad 0 .
ii. ( R, ) esunmonoideconidentidad 1 .
iii. Lamultiplicacindistribuyelaadicin a , b, c R a (b + c ) = a b + a c .
Definicin A.4. Un campo ( F , +, ) es un conjunto F junto a la adicin + y a la
multiplicacin ,quecumplen
Espaciosvectoriales
i.
AnlisisdeFourier
( F , + ) esungrupoabelianoconidentidad 0 .
ii. ( F * , ) esungrupoabelianoconidentidad1.
iii. La
multiplicacin
distribuye
la
adicin
a , b, c R a (b + c ) = a b + a c .
Loselementosdeuncamposeconocencomoescalares.
EjemploA.2. (R, + , ) y (C, + , ) sonanillosycampos.
A.2. Definicindeespaciovectorial
Unconjunto V esunespaciovectorialsobreuncampo ( F , +, ) si
i. (V , + ) esungrupoabelianoconidentidad 0 .
ii. a F y v, w V : a (v + w) = a v + a w
iii. a, b F y v V :
( a + b) v = ( a v) + (b v)
iv. a, b F y v V :
( a b) v = a (b v)
v. v V :
1 v = v 1 eslaidentidadmultiplicativade F
vi. a F y v V :
a v V
Loselementosdeunespaciovectorialseconocencomovectores.
Ejemplo A.3. Demuestre que los siguientes conjuntos son espacios vectoriales. Para
elloverifiquequeloselementosdelcampopuedenserescaladosysumados.
V = R n con F = R
V = L1 con F = C
Si x(t ) L1 entonces
x(t ) dt < .
228
Espaciosvectoriales
AnlisisdeFourier
ax(t ) dt = a
x(t ) dt < .
y(t ) dt < .
A.3. Normadeunespaciovectorial
i. v V :
v 0 y v = 0 v = 0
ii. a F y v V :
av = a v
iii. v, w 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
DefinicinA.5.Unamtrica esunamedidadedistancia,entredosvectoresdeun
espaciovectorial,quedebecumplir
i. v, w V :
(v, w) 0 y (v, w) = 0 v = w
ii. v, w V :
(v, w) = (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
conmtricadefinidacomo (v, w) = v w .
EjemploA.5. R n y L1 sonespaciosvectorialesmtricos.
x(t ) y(t ) dt
A.4. Productointerno
i.
v, v > 0 y v, v v = 0
ii.
v, w = w, v
iii. v1 + v 2 , w = v1 , w + v 2 , w
iv.
a v, w = a v, w
v, w1 + w 2 = v, w1 + v, w 2
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.
3. OPPENHEIM,AlanV.,WILLSKY,AlanS.yNAWAB,S.Hamid.SealesySistemas.
2da.Edicin,PrenticeHall,1998.
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.
12. BOGESS, Albert and NARCOWICH, Francis J. A First Course in Wavelets with
FourierAnalysis.FirstEdition,PrenticeHall,2001.
14. KOLMOGOROV,A.N.andFOMIN,S.N.IntroductoryRealAnalysis.Dover.
231