Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Libroc
Libroc
FOURIER
ANLISIS DE FOURIER
Primera Edicin
Julin Quiroga Seplveda
BOGOT, COLOMBIA
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.1. Basesmatemticas 1
1.1.1. ConjuntosNumricos 1
1.1.2. Notacindeinters 2
1.1.3. Clasificacindeconjuntosdeacuerdoasucardinalidad 3
1.1.4. nfimoysupremo 3
1.2. Funciones 4
1.2.1. Inyectividad 5
1.2.2. Sobreyectividad 5
1.2.3. Biyectividad 6
1.2.4. Invertibilidad 6
1.3. Variablecompleja 6
1.3.1. Nmeroscomplejos 7
1.3.2. IdentidaddeEuler(ExponencialComplejo) 8
1.3.3. Operacionesentrecomplejos 10
1.3.4. Complejoconjugado 10
1.3.5. FuncionesComplejas 12
1.4. Resumen 14
1.5. Ejercicios 15
2. SEALES 17
2.1. Clasificacindeseales 17
2.1.1. Sealescontinuasydiscretas 17
2.1.2. Sealesdesoportecompactoyacotadas 19
2.1.3. Sealespareseimpares 20
2.2. Sealesperidicas 24
2.2.1. Sealesperidicasdetiempocontinuo 24
2.2.2. SumadeexponencialescomplejosdeTC 27
2.2.3. Sealesperidicasdetiempodiscreto 29
2.2.4. SumadeexponencialesperidicosdeTD 32
2.3. Potenciayenergadeunaseal 33
2.3.1. Potenciainstantnea 33
2.3.2. Energa 34
2.3.3. Potenciapromedio 34
2.4. Normasyespaciosnormados 37
2.4.1. NormayespacioL
1
37
VIII
2.4.2. NormayespacioL
2
39
2.4.3. Normayespaciol
1
41
2.4.4. Normayespaciol
2
42
2.5. FuncionesSingulares 43
2.5.1. FuncinescalndeHeaviside 43
2.5.2. Funcinimpulso 45
2.5.3. Escalnunitariodiscreto 47
2.5.4. Impulsounitariodiscreto 47
2.6. Convolucinlineal 48
2.6.1. Definicin 48
2.6.2. Propiedadesdelaconvolucin 52
2.7. SistemasLTI 53
2.7.1. Sistemascontinuos 53
2.7.2. Sistemasdiscretos 55
2.8. Resumen 57
2.9. Ejercicios 59
3. REPRESENTACIN DE SEALES 63
3.1. Descomposicindeseales 63
3.2. Aproximacindeunvector 64
3.2.1. Aproximacindeunelementodelplano 64
3.2.2. Aproximacindeunaseal 65
3.3. Basesortogonales 68
3.1.1. Baseseindependencialineal 68
3.1.2. Ortogonalidad 68
3.1.3. MtododeortogonalizacindeGramSchmidt 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 83
4.1. SerieexponencialdeFourier 83
4.1.1. CondicionesdeDirichlet 83
4.1.2. Clculodelaserieexponencial 85
4.1.3. EspectrodeFourier 88
4.1.4. TeoremadeParsevalparalaserieexponencial 90
IX
4.1.5. Propiedadesdelaserieexponencial 92
4.2. SerietrigonomtricadeFourier 96
4.2.1. Relacinentrelaserietrigonomtricaylaserieexponencial 100
4.2.2. SerietrigonomtricadeFourierparasealespareseimpares 103
4.2.3. TeoremadeParsevalparalaserietrigonomtricadeFourier 106
4.3. AplicacionesdelasseriesdeFourier 108
4.3.1. Anlisisdesealesperidicas 108
4.3.2. Convolucincircularcontina 108
4.3.3. Oscilacionesforzadas 111
4.4. Resumen 115
4.5. Ejercicios 116
5. TRANSFORMADA DE FOURIER 121
5.1. DeduccindelatransformadadeFourierL
1
121
5.1.1. Representacindesealesnoperidicas 121
5.2. TransformadadeFourierL
1
124
5.2.1. InterpretacindelaTransformadadeFourierL
1
127
5.2.2. ConvergenciadelaTransformadadeFourierL
1
128
5.3. PropiedaddeconvolucinparalaTF 141
5.3.1. RespuestadeunsistemaLTIutilizandolatransformadadeFourier 143
5.3.2. Multiplicacindesealeseneltiempo 145
5.4. TeoremadeParsevalparalatransformadadeFourier 147
5.5. TransformadadeFourierL
2
148
5.6. TransformadasdeFourierqueimplicanfuncionesimpulso 152
5.6.1. TransformadadeFourierdelafuncinimpulso 152
5.6.2. TransformadadeFourierdeunexponencialcomplejo 152
5.6.3. TransformadadeFourierdesealesperidicas 154
5.7. AplicacionesdelatransformadadeFourier 156
5.8. Resumen 157
5.9. Ejercicios 158
6. ANLISIS DE FOURIER PARA SEALES DISCRETAS 163
6.1. Muestreodesealesdetiempocontinuo 163
6.1.1. Muestreoidealutilizandofuncionesimpulso 163
6.1.2. Efectodelmuestreosobreelespectro 165
6.1.3. Recuperacindelasealoriginal 166
6.1.4. TransformadadeFourierdeunasealmuestreada 169
6.1.5. Sealesmuestreadasysealesdiscretas 169
X
6.2. TransformadadeFourierparasealesdiscretas 170
6.2.1. DefinicindelatransformadadeFourierl
1
170
6.2.2. InterpretacindelatransformadadeFourierl
1
172
6.2.3. PropiedadesdelaTFdeunasealdiscreta 173
6.2.4. TransformadadeFourierparasealesperidicasdiscretas 174
6.2.5. TeoremadeParsevalparalaTFdesealesdiscretas 176
6.2.6. PropiedaddeconvolucinparalaTFdesealesdiscretas 176
6.3. TransformadadiscretadeFourier(DFT) 179
6.3.1. Efectosdelmuestreoenfrecuencia 180
6.3.2. DefinicindelaDFT 182
6.3.3. InterpretacindelaDFT 183
6.3.4. VisualizacindelaDFT 184
6.3.5. PropiedadesdelaDFT 186
6.3.7. ConvolucindiscretautilizandolaDFT 187
6.4. TransformadarpidadeFourier(FFT) 188
6.4.1. AlgoritmoFFTdediezmadoeneltiempo(Base2) 188
6.4.2. AplicacionesdelaFFT 189
6.5. Resumen 194
6.6. Ejercicios 195
7. ECUACIONES DIFERENCIALES PARCIALES 197
7.1. Conceptosbsicos 197
7.1.1. ClasificacindelasEDPs 198
7.1.2. SolucindeunaEDP 199
7.1.3. PropiedadesdelasEDPs 200
7.2. Ecuacindeondaunidimensional 201
7.3. Solucindelaecuacindeonda1D 205
7.3.1. Separacindevariables 205
7.3.2. SolucindeDAlembert 213
7.4. Ecuacindecalorunidimensional 217
7.4.1. Alambrefinito(Separacindevariables) 217
7.4.2. Alambreinfinito(TransformadadeFourier) 222
7.5. Ejercicios 225
A. ESPACIOS VECTORIALES 227
BIBLIOGRAFA 231
XI
PREFACIO
El libro rene las deducciones matemticas junto a una serie de ejercicios explicativos y de
aplicacin, los cuales intentan guiar al estudiante en su camino de aprendizaje y de
apropiacin delasherramientasque ofreceelanlisisdeFourierparaelestudiodesealesy
sistemas. Para ello el libro presenta en cada Captulo las temticas principales, acompaadas
de ilustraciones y ejemplos desarrollados en su totalidad. Adicionalmente, al fin de cada
Captulosepresentaunbreveresumenconlosconceptosmsimportantes.
El libro est organizado como sigue. En el Captulo 1 se hace una pequea revisin de los
conceptosbsicosqueelestudiantedebemanejarparaenfrentarlosCaptulosposteriores.Se
revisanalgunosconceptosdeconjuntosnumricos,funcionesyvariablecompleja.
EnelCaptulo2seintroduceelconceptodesealyserealizasuclasificacin.Posteriormente
se estudian las seales peridicas de tiempo discreto y continuo, y se estudia el concepto de
frecuencia angular continua y discreta. Con el fin de tomar medidas cuantitativas de las
sealessedefinenpotenciayenerga.Serealizaunabreverevisindeespaciosvectoriales,en
particular aquellos dotados con norma y se presentan las seales como vectores. Finalmente
se estudian los sistemas lineales e invariante en el tiempo (sistemas de convolucin), en
particularsurespuestaaunasealdeentradadadayestabilidadensentidoEASA.
EnelCaptulo4seestudianlasseriesdeFouriercomocasoparticulardelarepresentacinde
seales.SepresentalaserieexponencialdeFourieryseanalizalainformacinfrecuencialde
la seal contenida en los coeficientes complejos. De forma similar se introduce la serie
trigonomtricayseilustranalgunosejemplosdeaplicacin.
Finalmente,enelCaptulo7seestudianalgunasecuacionesdiferencialesparcialesdesegundo
orden,enlascualessonaplicadaslaserieylatransformadadeFourier.Seincluyeademsun
apndicesobreespaciosvectoriales.
Deseo agradecer especialmente a los estudiantes de mis cursos que sirvieron para probar en
las clases buena parte de este material. De igual forma, quiero agradecer a Gabriel Narvez,
JuanPabloMaillaneyCarlosCalveraqueescribieronencomputadorpartedeestemanuscrito.
Espero que este libro sea de gran utilidad para el desarrollo de sus cursos en los cuales
necesiten la Teora de Fourier aplicada a seales y sistemas. Agradezco me comuniquen los
erroresencontradosocualquiersugerenciaparalamejoradeestelibro.
Bogot, 2007.
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 nmero1.
5 4 3 2 1 0 1 2 3 4, 5, Z { , , , , , , , , , , } = K K
El conjunto de los nmeros naturales, denominado N , esta formado por todos los
nmeros enteros no negativos.
0 1 2 3 4, 5, N { , , , , } = K
Denotaremos como
+
Z , al conjunto de los nmeros enteros positivos, es decir, los
nmeros naturales menos el cero ( 0 N { } ).
{1 2 3 4, 5,
+
Z , , , } = K
Denotaremos como
*
Z , al conjunto de los nmeros enteros sin el cero ( 0 N { } ).
5 4 3 2 1 1 2 3 4, 5,
*
Z { , , , , , , , , , } = K 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 1 ( , ) a b = . Cada nmero racional diferente de cero tiene
exactamente una forma de fraccin irreducible, con un denominador positivo.
Nmerosreales
Figura1.1.Larectareal.
Denotaremos como R
+
, al conjunto de los nmeros reales positivos, es decir, los
nmeros reales mayores que cero. Denotaremos como R
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.
A x x pertenecealconjunto A
A x Existeunelemento x delconjunto A
A x ! Existeunnicoelemento x de A
A x Paratodosloselementosdelconjunto A
)} ( : { x Q A x B = B es el conjunto formado por los elementos de A que
cumplen la condicin Q
A B
Bessubconjunto(estcontenido)deA
, Entonces,Siyslosi
/, ,: Talque
,
y,o
Ejemplo1.1.
Si x esunnmeroentero,entonces x esunnmeroreal.
R Z x x
Conceptosbsicos AnlisisdeFourier
3
B eselconjuntodelosnmerosenterosconmagnitudmenora4.
4 3 2 1 0, 1, 2, 3 { Z: } { , , , } B x x = < =
Existeunniconmerorealtalquelasumaconlmismodaelmismonmero.
x x x x = + / ! R
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
1.2. Funciones
Ejemplo1.4.Determinedominio,codominioyrangodelassiguientesfunciones.
R C : f dadapor
2 2
b a jb a f + = + ) ( .
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.
R R : f dadapor ) sin( ) ( x x f = .
1.2.1. Inyectividad
Figura1.3.Funcininyectiva.
Ejemplo1.6.Demuestreque R R : f ,dadapor
2
x x f = ) ( ,noesinyectiva.
Solucin.Supongamosque ) ( ) ( b f a f = ,entonces
2 2
b a = ,locualimplicaque b a =
y que b + y b tiene la misma imagen bajo f , por tal motivo la funcin no es
inyectiva.
1.2.2. Sobreyectividad
Figura1.4.Funcinsobreyectivanoinyectiva.
Conceptosbsicos AnlisisdeFourier
6
Solucin. Para cada valor b del codominio, se debe encontrar un elemento a del
dominio, tal que b a a f = + = 1 2 ) ( . Claramente para cada R b , la ecuacin
2 1 / ) ( = b a calcula un R a que satisface b a f = ) ( . Por tal motivo, la funcin es
sobreyectiva.
Solucin.Paraunvalorbdelcodominiosedebeencontrarunelementoadeldominio
tal que b a a f = = 2 / ) ( . Para un R b la ecuacin b a 2 = no siempre nos da un
entero.Si 2 0. = b entonces 4 0. = a ,pero 0 4 . nopertenecealdominiodelafuncin.
Portalmotivolafuncinnoessobreyectiva.
1.2.3. Biyectividad
Figura1.5.Funcinbiyectiva.
1.2.4. Invertibilidad
:
1
es una funcin. Para esto se
requierequefseaunafuncinbiyectiva.
1.3. Variablecompleja
Los nmeros complejos fueron introducidos con el fin de resolver problemas que no
tienen solucin en los nmeros reales. Por ejemplo, ningn real es solucin a la
ecuacin 1
2
= x ,puescualquierrealalcuadradosiempreespositivo.Adiferenciade
losrealesquevivenenunarecta,loscomplejosvivenenunplano(elplanocomplejo).
Conceptosbsicos AnlisisdeFourier
7
1.3.1. Nmeroscomplejos
Ejemplo1.9.Encuentrelascomponentesrealeimaginariadelossiguientescomplejos.
4 3 j x =
3 = } Re{x , 4 = } Im{x
2 = x
2 = } Re{x , 0 = } Im{x
j x =
0 = } Re{x , 1 = } Im{x
Loscomplejospuedenubicarseenelplanoutilizandodossistemasdecoordenadas.
Coordenadasrectangulares
El nmero complejo se expresa como la suma de dos componentes, una real y una
imaginaria,de la forma } Im{ } Re{ x j x x + = . Su ubicacin en el plano se realiza enel
puntodeinterseccindedosrectas,unaquecortaelejerealen } Re{x ( a enlaFigura
1.6)ylaotraquecortaelejeimaginarioen } Im{x ( b enlaFigura1.6).
Figura1.6.Ubicacindeunnmerocomplejoenelplano
Conceptosbsicos AnlisisdeFourier
8
Coordenadaspolares
Cambiodecoordenadas
Derectangularesapolares:
Magnitud x x x r = + =
2 2
} Im{ } Re{
Fase
Im{ }
arctan
Re{ }
x
x
x
= =
Depolaresarectangulares:
1.3.2. IdentidaddeEuler(ExponencialComplejo)
LaidentidaddeEulerseestablececomo
cos sin
j
e j
= +
El exponencial complejo
j
e , tiene parte real cos y parte imaginaria sin ,
adicionalmente su magnitud y fase estn dadas como
2 2
1 cos sin
j
e
= + =
sin
arctan
cos
j
e
= =
Figura1.7.Exponencialcomplejo
2 ( )
Z
j k j
e e k
+
=
Elexponencialcomplejoesentoncesunfasor,demagnitud1yfase ,locuallohace
apropiadopararepresentarcomplejosenformapolar,delaforma
x j
e x x
= .
Ejemplo1.10.Expreseelnmerocomplejo
6
4
/ j
e x = encoordenadasrectangulares.
Ejemplo1.11.Expreseelnmerocomplejo 4 3 j x = encoordenadaspolares.
j
e e
x
jx jx
2
= sin
2
jx jx
e e
x
+
= cos
Conceptosbsicos AnlisisdeFourier
10
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
( ) y x j
e y x xy
+
=
Divisin
( ) y x j
e
y
x
y x
=
/
Ejemplo1.12.Si
j
e x 2 = ,encuentre x x / 1
1
=
Solucin.
( ) j x j
e e
x
x
= =
2
1 1
0 1
Propiedad1.1.Lamagnituddeunproductoesigualalproductodelasmagnitudes.De
formasimilar,lamagnituddeuncocienteesigualalcocientedelasmagnitudes.
1.3.4. Complejoconjugado
Sea jb a x + = entoncessucomplejoconjugadosedefinecomo jb a x =
*
.
Ejemplo1.13.Elconjugadode j x + = 2 es j x = 2
*
.
Conceptosbsicos AnlisisdeFourier
11
Ejemplo1.14.Demuestrequesi
j
e x x = ,entonces
j
e x x
=
*
.
Solucin.
cos sin x x j x = +
( ) ( )
*
cos sin cos sin
j
x x j x x j x x e
= = + =
Elconjugadodeunnmerocomplejo x tienelamismamagnitudperofasecontraria,
comoseilustraenlaFigura1.8.Portalmotivosetieneque
*
x x = .
Figura1.8.Complejoconjugado.
Ejemplo 1.15. Demuestre que
2
x xx =
*
Solucin.
( )( )
2
x e x e x xx
j j
= =
*
Ejemplo 1.16. Para 3 2 j x = encuentre
*
x y x .
Solucin.
3 2 j x + =
*
2 2
2 3 13 ( ) x = + =
Ejemplo1.17.Para jb a x + = encuentre
*
xx .
Solucin.
Conceptosbsicos AnlisisdeFourier
12
( )
2 2
2
2
2
2
b a b a x xx + =
+ = =
*
Solucin.Paraencontrarlascomponentesrealeimaginaria,primerohayquelaparte
complejadeldenominador,porlocualsedebemultiplicarydividirporsuconjugado.
2 2 2 2 2 2
1 a jb a jb a b
x j
a jb a jb a b a b a b
= = =
+ + + +
2 2
Re{ }
a
x
a b
=
+
2 2
Im{ }
a
x
a b
=
+
2 2 2 2 2 2
1
*
a b a jb
x j
a b a b a b a jb
+
= + = =
+ + +
2 2
1 1
x
a jb
a b
= =
+
+
1.3.5. FuncionesComplejas
Las funciones complejas son aquellas funciones que tienen como codominio el conjunto
de los nmeros complejos, es decir A : C f , 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
Polares:
( )
( ) ( )
j x
f x f x e
=
Conceptosbsicos AnlisisdeFourier
13
Figura1.9.Grafico3D.
Figura1.10.Grficosporcomponentes:partesrealeimaginariasporseparado.
Figura1.11.Grficosdemagnitudyfase.
Conceptosbsicos AnlisisdeFourier
14
1.4. Resumen
Unafuncin : f A B esunoperadorqueasignaacadaelementodelconjunto A
(dominio) un nico elemento del conjunto B (rango). Una funcin puede ser
inyectiva y/o sobreyectiva, y se conocen como biyectiva si cumplen las dos
condiciones.
Una funcin con codomino en los complejos es una funcin compleja, cuya
visualizacinpuedehacerporcomponentesrealeimaginariopormagnitudyfase.
Conceptosbsicos AnlisisdeFourier
15
1.5. Ejercicios
Seccin1.1
1. Encuentreloselementosdelosconjuntos
a. { } 4 5 Z: A x x =
b.
{ }
10 R: B x x = <
c.
{ }
2
10 Z : Z,
x
C x x
+
=
2. EscribatextualmenteloquesignificanlasexpresionesycontestesisonFV.
a. ) 0 ( = + x x x / R
b.
2
( Z Z)
x
x
c. R Z x x
d. Z R
3. nfimosysupremos
Seccin1.2
4. Ejemplosdefunciones.
a. Deunejemplodeunafuncininyectivanosobreyectiva.Demuestre.
b. Deunejemplodeunafuncinnoinyectivasobreyectiva.Demuestre.
c. Deunejemplodeunafuncinbiyectiva.Demuestre.
5. Cualesdelasiguientesfuncionessoninyectivas?sobreyectivas?biyectivas?
a.
2
; 1 : R R ( ) f f x x = +
b.
1
;
1
: R R ( ) f f x
x
=
+
c. ; : R R ( ) f f x x
+
=
d. 0 ; 2 : R R { } ( )
x
f f x
+
=
Conceptosbsicos AnlisisdeFourier
16
e. ; 2 : Z Z ( ) f f x x =
6. Determineeldomino,elcodominioyelrango,delassiguientesfunciones.
a.
1
;
1
: R R ( ) f f x
x
=
+
b. ; : R R ( ) f f x x
+
=
c. ; 2 : Z Z ( ) f f x x =
Seccin1.3
7. Encuentrelapartereal,laparteimaginaria,elconjugado,lamagnitudylafasede
lossiguientesnmeroscomplejos.
a.
1
2
x
j
=
+
b.
3
j
x e
c.
3 2
j
x
j
=
9. Encuentrelamagnituddelassiguientesfuncionescomplejas.
a. ( )
x jx
f x e e =
b.
2
( )
j x
f x xe
10. Considerelafuncincompleja
1 1 1
0 otro caso
( )
x
f x
< <
=
1 1 1
0 otro caso
( )
x
f x
< <
=
Expreselafuncinencoordenadaspolaresyencoordenadasrectangulares.
2
SEALES
Unasealesunaabstraccin,decualquiercantidadmesurable,queesfuncindeuna
omsvariablesindependientes.
Ejemplo2.1.Algunassealesdelmundoreal.
2.1. Clasificacindeseales
2.1.1. Sealescontinuasydiscretas
La seales pueden clasificarse en dos grandes grupos: las seales de tiempo continuo
(TC)osealescontinuas,quedenotaremoscomo ) (t x ,ylassealesdetiempodiscreto
(TD)osealesdiscretas,querepresentaremoscomo
n
x .
Seales AnlisisdeFourier
18
2.1.1.1. Sealesdetiempocontinuo
Las seales de TC toman valor en todos los instantes de tiempo y pueden modelarse
comofuncionesquetienendominioenlosreales( : R f ).Elvalordeunasealde
TCsepuedeconocerencualquierinstantedetiempo.Lassealesqueson R R : f
se conocen como seales de TC reales y las seales que son C R : f se conocen
comosealesdeTCcomplejas.
Figura2.1.Sealesdetiempocontinuo:sealrealysealcompleja.
2.1.1.2. Sealesdetiempodiscreto
Las seales de TD toman valor slo en un conjunto contable del tiempo y pueden
modelarse como funciones con dominio en los enteros ( : Z f ). El valor de una
sealdeTDslopuedeconocerseenalgunosinstantesdetiempo.Lassealesqueson
R Z : f seconocencomosealesdeTDrealesylassealesqueson C Z : f se
conocencomosealesdeTDcomplejas.
Figura2.2.Sealesdetiempodiscreto:sealrealysealcompleja.
Seales AnlisisdeFourier
19
2.1.2. Sealesdesoportecompactoyacotadas
2.1.2.1. Soportedeunaseal
Elsoportedeunafuncinsedefinecomoelsubconjuntodeldominiodentrodelcualla
funcintomavalordistintodecero.
Definicin2.1.ElsoportedeunasealdeTC ) (t x ,eselsubconjuntocerradoyconexo
mspequeodeltiempo,quecontienelosvaloresnonulosde ) (t x .
Figura2.3.Sealesdesoporteacotadoynoacotado,respectivamente.
Unasealtienesoportecompacto,sisusoporteesacotado.
Ejemplo2.2.Laseal
2
( )
t
x t e
= notienesoportecompacto,pueslasealnuncallega
asercero.LasealtriangularqueilustraenlaFigura2.4sitienesoportecompacto.
Figura2.4.Sealdesoportenoacotadoysealdesoportecompacto.
2.1.2.2. Sealesacotadas
Seales AnlisisdeFourier
20
Ejemplo 2.3. La seal ( ) arctan( ) x t t = es una seal acotada, con nfimo y supremo
iguala 2 / .Laseal 1 ( ) / x t t = ,noesacotada,comoseilustraenlaFigura2.5.
Figura2.5.Sealacotadaysealnoacotada.
2.1.3. Sealespareseimpares
Algunassealescumplenconciertotipodesimetraconrespectoacero,ydeacuerdo
aestasimetraseclasificanensealespareseimpares.
2.1.3.1. CasoContinuo
Figura2.6.Sealcontinapar.
Ejemplo2.4.Demuestrequelaseal
2
1 ) ( t t x + = espar.
Solucin.
2 2
1 1 ( ) ( ) ( ) x t t t x t = + = + =
Portalmotivo, ) (t x esunasealpar.
Seales AnlisisdeFourier
21
UnasealdeTC ) (t x esimparsicumplecon ( ) ( ) x t x t = ,esdecir,sialreflejarlacon
respectoalejeverticalseobtienelasealoriginalconsignocontrario.
Figura2.7.SealdeTCimpar.
Ejemplo2.5.Demuestrequelaseal t t x = ) ( esimpar.
Solucin.
( ) ( ) x t t x t = =
Portalmotivo, ) (t x esunasealimpar.
Propiedad2.1.Si ( ) x t esunasealpar,entonces
0
2 ( ) ( )
a a
a
x t dt x t dt
Si ( ) x t esunasealimpar,entonces
0 ( )
a
a
x t dt
2.1.3.2. CasoDiscreto
UnasealdeTD
n
x esparsicumplecon
n n
x x
= .
Ejemplo2.6.Demuestrequelaseal
n n
n
e e x
+ = espar.
Solucin.
n n
n n
x e e x
= + =
Portalmotivo,
n
x esunasealpar.
Seales AnlisisdeFourier
22
Unaseal
n
x esimparsicumplecon
n n
x x
= .
Ejemplo2.7.Demuestrequelaseal
n n
n
e e x
= esimpar.
Solucin.
n n
n n
x e e x
= =
Propiedad2.2.Si
n
x esunasealpar,entonces
0
0
2
a a
n n
n a n
x x x
= =
= +
Si
n
x esunasealimpar,entonces
0
a
n
n a
x
=
=
2.1.3.3. Componentepareimpar
Una seal dada no necesariamente es par o impar, sin embargo, toda seal puede
expresarsecomolasumadeunasealparmsunasealimpar.
CasoContinuo
) ( ) ( ) ( t x t x t x
imp par
+ = ,donde
2
) ( ) (
) (
t x t x
t x
par
+
=
2
) ( ) (
) (
t x t x
t x
imp
=
Ejemplo2.8.Descomponga
2
1 ) ( t t t x + + = comounasealparmsunasealimpar.
Solucin.
) ( ) ( ) ( t x t x t x
imp par
+ =
Seales AnlisisdeFourier
23
2 2
2
1 1
1
2
( ) ( )
( )
par
t t t t
x t t
+ + + +
= = +
2 2
1 1
2
( ) ( )
( )
imp
t t t t
x t t
+ + +
= =
Ejemplo2.9.Descomponga
t
e t x = ) ( comolasumadeunasealparmsunaimpar.
Solucin.
) ( ) ( ) ( t x t x t x
imp par
+ =
2
( ) cosh( )
t t
par
e e
x t t
+
= =
2
( ) sinh( )
t t
imp
e e
x t t
= =
CasoDiscreto
imp
n
par
n n
x x x + = ,donde
2
n n par
n
x x
x
+
=
2
n n imp
n
x x
x
Ejemplo2.10.Descomponga
n
x comolasumadeunasealparmsunaimpar.
Figura2.8.SealdeTDadescomponer.
Figura2.9.a.Sealreflejada.
Figura2.9.b.Componentepardelaseal.
Figura2.9.c.Componenteimpardelaseal.
2.2. Sealesperidicas
Una seal peridica es una seal que repite su valor despus de un determinado
tiempo,denominadoperiodo.Lassealesperidicassonlasfuncioneselegidasparala
representacindesealesenlateoradeFourier.
2.2.1. Sealesperidicasdetiempocontinuo
Unvalor R a ,esuntiempoderepeticinparaunaseal ) (t x si
) ( ) ( t x a t x = +
esdecir,sidesplazamoslasealen a instantesdetiempoobtenemoslamismaseal.
Seales AnlisisdeFourier
25
) ( ) ( t x T t x = +
donde ( ) ( ) , Z x t kT x t k + =
Cadaunodelostrminos kT ,esuntiempoderepeticindelaseal.Observequeal
desplazar ( ) x t cualquiermltiploenterodesuperiodo T ,seobtienelamismaseal.
Por tal motivo, conocer la seal ( ) x t sobre un intervalo de tiempo de longitud T , es
suficiente para conocer toda la seal, ya que la seal peridica est formada por
copiasinfinitasdeeseintervalo,comoseilustraenlaFigura2.10.
Figura2.10.SealperidicadeTC.
Por convencin las seales constantes tienen periodo infinito, pues el conjunto de
tiemposderepeticindeunasealconstantenotienemnimo.
Definicin2.4.Lafrecuenciacontinua f ,sedefinecomoelinversodelperiodo
T f / 1 =
Sielperiodoseexpresaensegundos,lafrecuenciaestenHZ,paraelcasodeseales
sinusoidales,oenciclosporsegundo(cps),paraotrassealesperidicas.
Lafrecuencianosdainformacindecuantasvecesserepiteunasealenunintervalo
de tiempo (tasa de repeticin). Conociendo que el periodo de una seal de TC puede
Observacin2.2.Elvalor 0 = a esuntiempoderepeticinparacualquierseal.
Observacin 2.3. Toda seal peridica tiene soporte no acotado, por lo tanto no
compacto,pueslasealdeberepetirsedesde hasta .
Seales AnlisisdeFourier
26
estar en el intervalo 0 ( , ) , la frecuencia de una seal de TC se encuentra en el
intervalo ) , [ 0 .Lassealesconstantestienenfrecuenciacero,puessuperiodoes .
Definicin2.5.Lafrecuenciaangularcontinua ,esproporcionalalafrecuenciadela
sealeinversaasuperiodo,ysedefinecomo
2
2 f
T
= =
Lafrecuenciaangular ,controlalatasaalacualserepitecadaunadeestasseales.
Silaseal
j t
e
esperidicaexisteunvalor T
+
R talque
j t T j t
e e
+
=
( )
,entonces
1
j t j T j t j T
e e e e
= =
as,lasealesperidicasi 2 T k = ,donde k Z .Portalmotivo,elperiododelas
seales
j t
e
, sin( ) t y cos( ) t puedeserencontradoapartirde ,deacuerdoa
=
2
T
Ejemplo2.11.Encuentreelperiododelassiguientesseales.
) sin( ) ( t t x 2 =
Enestecaso 2 = ,porlocual 2 2 / T = = .
t j
e t x
= ) (
Enestecaso = ,porlocual 2 2 / T = = .
Seales AnlisisdeFourier
27
2.2.2. SumadeexponencialescomplejosdeTC
SupongamoslasumadedossealesdeTCperidicas
1 2
j t j t
x t e e
= + ( )
Si ) (t x esperidica,paraalgn
+
R T debecumplir ) ( ) ( t x T t x = + ,esdecir
1 2 1 2
j t T j t T j t j t
x t T x t
e e e e
+ +
+
+ = +
( ) ( )
( ) ( )
1442443 14243
1 1 2 2 1 2
j t j T j t j T j t j t
e e e e e e
+ = +
Ejemplo2.12.Encuentreelperiododelassiguientesseales,encasodeserperidicas.
) sin( ) cos( ) ( t t t x 5 3 + =
Q , = = = 5 3 5 3
2 1 2 1
,lasealesperidica.
Debemos encontrar los valores
1 2
*
, Z k k ms pequeos para los que se cumple
1 1
2 k T = y
2 2
2 k T = . Para nuestra seal se tiene
1
2 3 k T = y
2
2 5 k T = .
Despejandosetiene 5 3 5 3
2 1 1 2
= = = k k k k , .Portalmotivo 2 = T .
) sin( ) sin( ) ( t t t x + = 2
Q , = = = 2 2
2 1 2 1
,lasealnoesperidica.
Ejemplo2.13.Encuentreelperiododelasiguienteseal,encasodeserperidica.
Ejemplo2.14.Encuentreelperiodode ) ( cos ) ( t t x 3
2
= ,encasodeserperidica.
Solucin. Expresemos el
2
3 cos ( ) t de forma apropiada para encontrar el periodo de
) (t x .Conociendolaidentidad ) cos ( cos 2 1
2
1
2
+ = ,setieneque [ ] ) cos( ) ( t t x 6 1
2
1
+ = .
Elperiododelasealcosenoes 6 2 ,entonceselperiodode ) (t x es 3 = T .
Demostracin.
Considereunasealdefrecuencia queessumadaconvariosdesusarmnicos
1 2 1 2
( ) sin( ) sin( ) sin( ) sin( ) , , , ..., Z
N N
x t t k t k t k t k k k = + + + + K
Ejemplo2.15.Halleelperiododelaseal
1 1
2 3
2 6 8 ( ) cos( ) cos( ) cos( ) x t t t t = + + ,encaso
deserperidica.
2.2.3. Sealesperidicasdetiempodiscreto
Unvalor Z a ,esuntiempoderepeticinparaunasealdeTD
n
x ,si
n a n
x x =
+
n N n
x x =
+
Siunaseal
n
x tieneperiodo N ,entoncescumple
donde , Z
n kN n
x x k
+
=
Cadaunodelostrminos kN ,esuntiempoderepeticindelaseal.Observequeal
desplazar
n
x cualquier mltiplo entero de su periodo N , se obtiene la misma seal.
Por tal motivo, conocer la seal
n
x sobre un intervalo de longitud N , es suficiente
paraconocertodalaseal,yaquelasealperidicaestformadaporcopiasinfinitas
deeseintervalo.
Figura2.11.SealdeTDperidica.
Seales AnlisisdeFourier
30
Definicin2.8.Lafrecuenciadiscreta f ,sedefinecomoelinversodelperiodo
1/ f N =
Lafrecuencianosdainformacindecuantasvecesserepiteunasealenunintervalo
detiempo.Elperiodomspequeodeunasealperidicadiscretanoconstantees2.
Por tal motivo, el periodo de una seal de TD se encuentra en el intervalo 2 [ , ) . De
acuerdoaesto,lafrecuenciadeunasealdeTDestenelintervalo 0 1 2 [ , ].
Claramente una seal constante discreta tiene periodo 1. Por tal motivo, las seales
constantes tienen frecuencia 1. Sin embargo, como se demostrar ms adelante, las
sealesconstantesdiscretastambintienenfrecuencia 0 ,locualimplicaquetambin
tienenperiodoinfinito;esdecir,tienen2periodos,1y .
Figura2.12.SealesdeTD:sealconstanteysealconperiodo2.
Definicin2.9.Lafrecuenciaangulardiscreta ,esproporcionalalafrecuenciadela
sealdeTDeinversaasuperiodo,ysedefinecomo
2
2 f
N
= =
= + .
Demostracin.
Si
j n
e
esunasealperidica,debeexistir
+
Z N ,talque
n j N n j
e e
=
+ ) (
j n j N j n
e e e
=
N
k
2
=
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.
] ) 3 cos[( n x
n
=
Enestecaso 2 1 6 = ( / ) ,entonces
n
x esunasealperidicaconperiodo 6 N = .
n j
n
e x
2
=
Enestecaso 2 1 ( / ) = ,entonces
n
x noesperidicapues 1 ( / ) Q.
( )
2 sin
n
x n
=
Enestecaso
( )
2 1 2 / = ,entonces
n
x noesperidicapues
( )
1 2 / Q .
] ) 3 7 cos[( n x
n
=
Enestecaso 2 7 6 ( / ) = ,entonces
n
x esunasealperidicaconperiodo 6 N = .
Seales AnlisisdeFourier
32
Dos seales con diferente frecuencia angular, como 3 cos[( ) ] n y 7 3 cos[( ) ] n ,
tienenelmismoperiodo,situacinimposibleparasealesdeTC.Estosedebeaquela
frecuencia angular discreta es peridica, con periodo 2 . Por tal motivo, una
frecuenciadiscreta
0
,puedetambinescribirsecomo
0
2 k + ,con Z k .
2.2.4. SumadeexponencialesperidicosdeTD
Propiedad2.5.TodasumadesealesdeTDperidicasesperidica.
Demostracin. Si
n
x y
n
y son dos seales de TD peridicas, con periodos N y M ,
respectivamente, entonces MN y ( , ) MCM M N son tiempos de repeticin para
n
x ,
n
y y { }
n n
x y + .
Sisumamosdedosexponencialescomplejosperidicos
2
j n
N
n
x e
= y
2
j n
M
n
y e
= ,
seales con periodo N y M , respectivamente, entonces la seal
n n
y x + tiene
periodo K ,dadopor
) , ( N M MCM K =
Ejemplo2.17.Encuentreelperiododelassiguientessumas.
n n
5
2
4
2
sin cos
, 4 = N 5 = M y 1 5 4 = ) , ( mcd ,entonces 4 5 20 K = = .
n n
8
2
4
2
sin cos
n n
8
2
6
2
sin cos
Seales AnlisisdeFourier
33
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.
2
*
( )
( ) ( )
( )
v t
v t v t
p t
R R
= =
oentrminosdelacorriente ( ) i t atravsdelresistor
2
*
( ) ( ) ( ) ( ) p t i t i t R i t R = =
Enamboscasos,lapotenciainstantneaesproporcionalalamagnitudalcuadradode
laseal.Paraunresistor 1 R = ,lasecuacionestomanlamismaforma,esdecir
2 2
( ) ( ) ( ) p t v t i t = = ,
porloqueesusualreferirsealapotenciainstantneadeunasealdada ( ) x t ,como
2
( ) ( ) p t x t =
Seales AnlisisdeFourier
34
2.3.2. Energa
2
( ) E x t dt
Las seales para las cuales la integral anterior converge se conocen como seales de
energafinita.Enlaprctica,todaslassealestienenenergafinita.Laenergadeuna
seal ( ) x t puedeserencontradadentrodeunintervalodetiempo
1 2
( , ) t t ,paraello
2
1 2
1
2
,
( )
t
t t
t
E x t dt =
2.3.3. Potenciapromedio
2
1 2
1
2
2 1
1
, ( )
t
t t
t
P x t dt
t t
=
Lapotenciapromediodelasealsecalculacuandoelintervalosevuelveinfinito
2
1
2 1
lim ( )
t
T
t
P x t dt
T
2 1
T
P x t dt
T
=
( )
Ejemplo2.18.Paralaseal
3
2
j t
x t e = ( ) ,encuentrelapotencia,laenergadelasealy
lapotenciapromedio.Lasealesdepotenciaodeenerga?
Seales AnlisisdeFourier
35
Solucin.
Potenciainstantnea
2
2
3
2 ( ) ( )
j t
p t x t e = =
2
2 3
2 4 ( )
j t
p t e = =
Energa
2 2
2
3 3
2 4 ( )
j t j t
E x t dt e dt e dt
= = =
0
4 8 1 E dt dt
= = =
Potenciapromedio
2 2
2
2
3
2 2
1 4
/ /
/ /
lim ( ) lim
T T
j t
T T
T T
P x t dt e dt
T T
= =
2
2
4 4
2 2 4
/
/
lim lim [ / ( / )]
T
T T
T
P dt T T
T T
= = =
Portalmotivo, ( ) x t esunasealdepotencia.
Ejemplo2.19.Encuentrelapotencia,laenergaylapotenciapromediodelasiguiente
seal.Lasealesdepotenciaodeenerga?
Figura2.14.Sealexponencialdecrecientepar.
Solucin.
Seales AnlisisdeFourier
36
Potenciainstantnea
( )
2 2
2
2 2 | | | |
( ) ( )
t t
p t x t e e
= = =
4
4
4
0
0
| |
( )
t
t
t
e t
p t e
e t
<
= =
>
Energa
( )
2
2
2 4 t t
E x t dt e dt e dt
= = =
| | | |
( )
0
4 4
0
1
2
t t
E e dt e dt
= + =
Potenciapromedio
( )
2 2 2
2
2
4 2
2 2 2
1 1 1
T T T
t t
T T T
T T T
P x t dt e dt e dt
T T T
= = =
/ / /
| |
/ / /
lim ( ) lim lim
( )
0
2
4 4 2
2 0
2 1 1
1 0
2 2
T
t t T
T T T
T
P e dt e e
T T T
= = = =
/
/
lim lim lim
Portalmotivo, ( ) x t esunasealdeenergafinita.
2.3.4. Casodiscreto
Potenciainstantneadelaseal
2
n n
p x =
Energaenelintervalo
1 2
( , ) n n
2
1 2
1
2
,
n
n n n
n n
E x
=
=
Energadelaseal
2
n
n
E x
=
=
Potenciapromedioenelintervalo
1 2
( , ) n n
2
1 2
1
2
2 1
1
1
,
( )
n
n n
n
n n
P x
n n
=
=
+
Potenciapromedio
2
2
2
1
N
n
N
n N
P x
N
=
=
/
/
lim
Seales AnlisisdeFourier
37
2.4. Normasyespaciosnormados
2 2 2
1 2 3
x x x x = + +
2.4.1. NormayespacioL
1
Lanorma
1
L deunasealdeTC ) (t x ,sedefinecomo
dt t x t x ) ( ) (
1
1
L es el espacio vectorial formado por todas las seales de TC que tienen norma
1
L
finita(sealesintegrablesenmagnitud),esdecir,
{ } 1
L f f
= <
: R C: .
Ejemplo2.21.Encuentrelanorma
1
L delaseal
3 3
0
t t
x t
=
( )
Solucin.
Figura2.15.Sealoriginalysumagnitud.
3
1
3
( ) ( ) x t x t dt t dt
= =
Seales AnlisisdeFourier
38
0 3
1
3 0
9 ( ) x t t dt t dt
= + =
Estasealpertenecea
1
L ,puessunorma
1
L esfinita.
Ejemplo2.22.Encuentrelanorma
1
L delaseal
1 1
0 otro caso
t t
x t
=
/
( )
Figura2.16.Lasealoriginalysumagnitud.
1
1
1 ( ) ( ) / x t x t dt t dt
= =
1
1
1 1 ( ) ln( ) ln( ) x t t dt
= = =
Portalmotivolasealnopertenecea
1
L .
Ejemplo2.23.Encuentrelanorma
1
L delaseal
=
caso otro 0
1 1
2
t t
t x
/
) (
Figura2.17.Lasealoriginalysumagnitud.
2
1
1
1 ( ) ( ) / x t x t dt t dt
= =
= =
1
1
2
1
1 1 t dt t t x ) ( 1
Seales AnlisisdeFourier
39
Lassealesquepertenecena
1
L seconocencomosealesintegrablesenmagnitud.
Propiedad2.6. ( ) ( ) x t dt x t dt
Por tal motivo, si una seal es integrable en magnitud es integrable sin magnitud. La
norma
1
L deunasealdeTCpuedecalcularsesobreunintervalofinitodetiempo,en
esecasosedefinecomo
2
1
1 2
1
( ) ( , ) ( )
t
t
x t t t x t dt =
Definicin2.11.UnespaciodeBanach,esunespaciovectorialnormadocompleto,es
decir, un espacio vectorial normado en el cual todas las sucesiones de Cauchy
convergen.
Definicin2.12.Unasucesin { }
n
x ,enlacualsuselementosseacercanamedidaque
avanzalasucesin,esunasucesindeCauchy.
Ejemplo2.24. 1 { / } n ,donde N n
+
,esunasucesindeCauchy.
1 1 1
2 3 4
1 1 { / } { , , , , ...} n =
Elespacio
1
L escompleto,porlocual
1
L esunespaciodeBanach.
2.4.2. NormayespacioL
2
Lanorma
2
L deunasealdeTC ) (t x sedefinecomo
2
2
( ) ( ) x t x t dt
2
L es el espacio vectorial formado por todas las seales de TC que tienen norma
2
L
finita(sealesdeenergafinita),esdecir,
{ }
2
2
L f f
= <
: R C: .
Ejemplo2.25.Encuentrelanorma
2
L delaseal
1 1
0 otro caso
t t
x t
=
/
( )
Seales AnlisisdeFourier
40
Solucin.
2 2
2
1
1 ( ) ( ) / x t x t dt t dt
= =
2
1 1
1
1 1 1 ( ) / x t t dt t
= = =
Portalmotivolasealpertenecea
2
L .Notequeestasealnopertenecea
1
L .
( )
2
2
( ) E x t =
Propiedad2.7.Todasealacotadaydesoportecompactopertenecea
2 1
L L .
Lanorma
2
L deunasealdeTCpuedecalcularsesobreunintervalofinitodetiempo,
enesecasosedefinecomo
2
1
2
1 2
2
( ) ( , ) ( )
t
t
x t t t x t dt =
Definicin2.13.UnespaciodeHilbert,esunespaciovectorialnormadocompletocon
productointerno,esdecir,unespaciodeBanachconproductointerno.
Elproductointernoentre ( ) x t y ( ) y t ,dossealesde
2
L ,sedefinecomo
*
, ( ) ( ) x y x t y t dt
El producto interno en cierta forma calcula la similitud entre dos seales del espacio.
Lanorma
2
L ylaenergadeunasealserelacionanconelproductointerno,mediante
Observacin2.8.Unasealen
1
L nonecesariamentepertenecea
2
L yviceversa.
Observacin2.9.Unasealquenotienesoportecompactopuedepertenecera
1
L o
2
L . En los ejemplos realizados algunas seales tiene soporte no acotado y algunas
deellaspertenecena
1
L o
2
L .
Seales AnlisisdeFourier
41
2
*
, ( ) ( ) ( ) x x x t x t dt x t dt
= =
( )
2
2
, ( ) x x x t E = =
2.4.3. Normayespaciol
1
Lanorma
1
l deunasealdeTD
n
x sedefinecomo
1
n n
n
x x
=
=
El espacio
1
l , es el espacio vectorial formado por todas las seales de TD que tienen
norma
1
l finita.Lassealesde
1
l seconocencomosealessumablesenmagnitud.
Propiedad2.8.
n n
n n
x x
= =
Portalmotivo,siunasealessumableenmagnitudessumablesinmagnitud.
Lanorma
1
L deunasealdeTDpuedecalcularsesobreunintervalofinitodetiempo,
enesecasosedefinecomo
2
1
1 2
1
( , )
n
n n
n n
x n n x
=
=
Ejemplo2.26.Encuentrelanorma
1
l delaseal
2 3 0
0 3
0 otro caso
n
j n n
x jn n
< <
= <
Solucin.Lamagnituddelasealpuedeescribirsecomo
2 2 1
1 3
0 otro caso
n
n n
x n n
1
2 2 2 1 1 2 3 12
n
x = + + + + =
Seales AnlisisdeFourier
42
2.4.4. Normayespaciol
2
Lanorma
2
l deunasealdeTD
n
x sedefinecomo
2
2
n n
n
x x
=
=
El espacio
2
l es el espacio vectorial formado por todas las seales de TD que tienen
norma
2
l finita.Lassealesquepertenecena
2
l seconocencomosealesdeenerga
finita, pues si una seal tiene norma
2
l finita tambin tiene energa finita. La energa
deunasealdeTDpuedeserencontradaapartirdesunorma
2
l ,como
( )
2
2
( ) E x t =
Ejemplo2.27.Calculelanorma
2
l ylaenergadelaseal
2 2 2
0 otro caso
n
n n
x
=
/
.
Solucin.
Figura2.18.Sealoriginalysumagnitud.
= + + + + = =
=
1 0 1 2
4
1
4
1
2
2
2
2
n
n
n x 2 10
( ) = =
2
2
n
x E 2 5
Seales AnlisisdeFourier
43
2.5. FuncionesSingulares
2.5.1. FuncinescalndeHeaviside
LafuncinescalndeHeavisideofuncinescalnunitariosedefinecomo
Ejemplo2.28.Obtengalagraficadelassiguientesfuncionesescaln.
( 1) u t + :eltiempodelatransicinestdadoporlaecuacin 1 0 t + = ,porlo
cuallatransicinocurreen 1 t = .
( ) u t :debidoaquelafuncinestreflejadalatransicinesdeunoacero.El
tiempodelatransicinseencuentrahaciendo 0 t = ,porlocual 0 t = .
0 0
1 0
( )
t
u t
t
<
=
>
0 1
( 1)
1 1
t
u t
t
<
+ =
>
1 0
( )
0 0
t
u t
t
<
=
>
Seales AnlisisdeFourier
44
(2 ) u t :debidoaquelafuncinestreflejada,latransicinesdeunoacero.
Eltiempodelatransicinseencuentrahaciendo 2 0 t = ,porlocual 2 t = .
Propiedadseparadora
La funcin escaln es comnmente utilizada para anular una seal a partir de cierto
tiempoyesutilizadajuntoaotrosescalonesparaseleccionarunaregindeintersen
unaseal.Almultiplicarunaseal ( ) x t porunescalnseobtiene
0
0
0
0
( ) ( )
( )
t t
x t u t t
x t t t
<
=
>
Figura2.19.Sealoriginalysealmultiplicadaporunescaln.
Ejemplo2.29.Grafiquelaseal [ ] ) 3 ( ) 1 ( t u t u t
Figura2.20.Restadelasfuncionesescaln
1 2
(2 )
0 2
t
u t
t
<
=
>
Seales AnlisisdeFourier
45
Figura2.21.Sealoriginalysealmultiplicadaporlasfuncionesescaln.
2.5.2. Funcinimpulso
LafuncinimpulsoodeltadeDiracestdefinidacomo
Elimpulsotieneamplituddesconocida.Elvalor 1delagrficaseconocecomoelpeso
de la funcin impulso. La funcin impulso slo toma valor diferente de cero en aquel
instante del tiempo en el cual su argumento es igual a cero. Por ejemplo, el impulso
( ) t est ubicado en el origen, pues su argumento es t . No obstante, un impulso
puede ubicarse en cualquier instante del tiempo, para lo cual se modifica su
argumento. El impulso
0
( ) t t se encuentra ubicado en
0
t t = , ya que al igualar el
argumentodelimpulsoaceroseobtiene
0
0 t t = .
Ejemplo2.30.Grafiquelafuncin ( 3) t .
Solucin.Igualandoelargumentodelimpulsoacerosetiene 3 0 t = ,porlocualel
impulsoseencuentraubicadoeneltiempo 3 t = .
0 0
( )
0 otro caso
t
t
=
=
0 3
( 3)
0 3
t
t
t
=
=
Seales AnlisisdeFourier
46
Propiedaddereaunitaria
0
0
1 si
( )
0 otro caso
b
a
a t b
t t dt
< <
=
Ejemplo2.31.Evalelaintegral [ ] 3 ( 2) 2 ( ) ( 1) t t t dt
+ +
Figura2.22.Sealformadaportresfuncionesimpulso.
Expresandolaintegraldelasumacomolasumadelasintegralessetiene
2 1 2 3 ) 1 ( ) ( 2 ) 2 ( 3 = + = + +
dt t dt t dt t
Propiedaddeseleccin
Almultiplicarunaseal ( ) x t porunimpulsoubicadoeneltiempo
0
t t = ,seobtieneun
impulsoubicado
0
t t = conpeso
0
( ) x t ,esdecir,
0 0 0
( ) ( ) ( ) ( ) x t t t x t t t =
Por tal motivo, al integrar una seal ( ) x t por un impulso ubicado en el tiempo
0
t t = ,
seevalalasealenelinstantedetiempoenelcualviveelimpulso.
0 0
( ) ( ) ( ) x t t t dt x t
Seales AnlisisdeFourier
47
Ejemplo2.32.Evalulassiguientesintegrales
1 ) cos( ) cos(
) (
= =
e e dt t e
t
0 ) (
1
2
=
dx x e
x
100
1
log( ) ( 10) log(10) 1 t t dt = =
2.5.3. Escalnunitariodiscreto
Lafuncinescalnunitariodiscretosedefinecomo
2.5.4. Impulsounitariodiscreto
Lafuncinimpulsodiscreto
n
,estdefinidacomo
0 0
1 0
n
n
u
n
<
=
1 0
0 otro caso
n
n
=
=
Seales AnlisisdeFourier
48
Lafuncinimpulsoslotomavalordiferentedeceroenaquelinstantedeltiempoen
el cual su argumento es igual a cero. Por ejemplo, el impulso
0
n n
se encuentra
ubicadoen
0
n n = ,yaquealigualarelargumentoacerosetieneque
0
0 n n = .
Propiedaddeseleccin
Almultiplicarunaseal
n
x porunimpulsoubicadoeneltiempo
0
n n = ,seobtieneun
impulsoubicado
0
n n = dealtura
0
n
x ,esdecir,
0 0 0
n n n n n n
x x
=
0 0
n n n n
n
x x
=
=
2.6. Convolucinlineal
2.6.1. Definicin
( ) [ ]( ) ( ) ( ) ( ) ( ) h t f g t f g t d f t g d
= = =
Seales AnlisisdeFourier
49
Solucin.Laconvolucin ( ) h t entrelasseales ( ) f t y ( ) g t puedeencontrarsecomo
( ) ( ) ( ) h t f g t d
Consideremoslaseal ( ) g ,quecorrespondeaunaversinreflejadade ( ) g t .
Figura2.23.Sealreflejada.
Figura2.24.Sealreflejadaydesplazada.
Seales AnlisisdeFourier
50
Para 0 t =
0 ( ) ( ) ( ) h f g d
Nohaytraslapeentrelasseales,porlocual 0 0 ( ) h = .
Para 1 t =
1 1 ( ) ( ) ( ) h f g d
1
0
1
1 1
2
( ) ( ) ( ) h f g d d
= = =
Observaque 1 ( ) h correspondealreadeltriangulodelcorrespondientetraslape.
Para 2 t =
2 2 ( ) ( ) ( ) h f g d
= = + + =
Elvalorde 2 ( ) h correspondealreadeltriangulodelcorrespondientetraslape.
Para 0 t < , no existe traslape entre las seales, pues el pulso termina en t , el
cualesunavalornegativo,yeltrianguloempiezaencero.
0 ( ) h t =
2
0
2
( )
t
t
h t d = =
1
2
1
2
2
2
1
2
( ) ( )
( )
( )
t
h t d
t
h t
= + +
Seales AnlisisdeFourier
52
1
2
2
1
2
2
1
2
( )
( )
( )
t
h t d
t
h t
+
= +
2
2
2
2
4
2
( )
( )
( )
t
h t d
t
h t
+
= +
Portalmotivo,laconvolucinentrelassealesesunasealatrozosdadapor
2.6.2. Propiedadesdelaconvolucin
Conmutatividad
) ( ) ( ) ( ) ( t x t y t y t x =
2
1
2
2
1
2
2
1
2
0 0
0 1
1 2 1 3
4 3 4
0 4
( ) ( )
( )
t
t t
h t t t
t t
t
<
< <
< <
>
Seales AnlisisdeFourier
53
Asociatividad
[ ] [ ] ) ( ) ( ) ( ) ( ) ( ) ( t z t y t x t z t y t x =
Distributividad
[ ]
x t y t z t x t y t x t z t + = + ( ) ( ) ( ) ( ) ( ) ( ) ( )
Convolucinconimpulso
0 0
( ) ( ) ( ) x t t t x t t =
2.6.3. Convolucinlinealdiscreta
Deformaanlogaalcasocontinuo,laconvolucindiscretaentredosseales
n
x y
n
y ,
esunaterceraseal
n
h ,definidacomo
[ ]
n n k n k n k k
k k
y x h x h x h
= =
= = =
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
[ ]
( ) ( ) [ ( )] [ ( )] L ax t by t aL x t bL y t + = +
Invarianteeneltiempo
Si
[ ]
( ) ( ) L x t y t = entonces
0 0
[ ( )] ( ) L x t t y t t =
Un sistema LTI puede verse como un operador que a cada seal de entrada ( ) x t le
asignaunasealdesalida
[ ]
y t L x t = ( ) ( ) ,cumpliendolasdospropiedadesanteriores.
Seales AnlisisdeFourier
54
Figura2.25.SistemaLTIcontinuo
Unaseal ( ) x t puedeevaluarseenuninstantedetiempo
0
t haciendo
0 0
( ) ( ) ( ) x t x t t t dt
Engeneral,laseal ( ) x t puedereescribirseutilizandounafuncinimpulso,como
x t x t d x t t
= =
( ) ( ) ( ) ( ) ( )
Supongaquelaseal ) (t x entraaunsistemaLTI,entonceslasalidaes
y t L x t L x t d x L t d
= = =
( ) [ ( )] ( ) ( ) ( ) [ ( )]
( ) ( ) ( ) ( ) ( ) y t x h t d x t h t
= =
Figura2.26.RespuestadeunsistemaLTIconrespuestaalimpulsoh(t).
Observacin 2.10. Al realizar la convolucin de cualquier seal ( ) x t con la funcin
impulso ( ) t setienelasealoriginal,esdecir, ( ) ( ) ( ) x t t x t = .
Seales AnlisisdeFourier
55
Ejemplo2.34.EncuentrelarespuestadeunsistemaLTIaunexponencialcomplejo.
Solucin.Si
t j
e t x
0
) (
= ylarespuestaalimpulsodesistemaes ( ) h t ,setiene
0 0 0 0
0
j t j t j j t
y t x t h d e h d e h e d e H
= = = =
( )
( ) ( ) ( ) ( ) ( ) ( )
Larespuestaaunexponencialcomplejodefrecuencia
0
eselmismoexponencial
multiplicadoporunafuncinquedependedelafrecuencia
0
.
EstabilidadensentidoEASA
ConsideremoslasalidadelsistemaLTI
( ) ( ) ( ) y t x h t d
R
( ) ( ) ( ) sup ( ) ( ) y t x h t d x h t d
1
R
( ) sup ( ) ( ) y t x h t
2.7.2. Sistemasdiscretos
UnsistemaLTIdiscretopuedeversecomounoperadorqueacadasealdeentrada
n
x
leasignaunasealdesalida
n
y ,cumpliendolinealidadeinvarianzatemporal.
Figura2.27.SistemaLTIdiscreto
Seales AnlisisdeFourier
56
Laseal
n
x puedeescribirse,utilizandounafuncinimpulso,como
n k n k n n
k
x x x
=
= =
Supongaquelaseal
n
x entraaunsistema(LTI),entonceslasalidaes
n n k n k k n k
k k
y L x L x x L
= =
= = =
[ ] [ ]
Definamos
n
h comolarespuestaaunimpulsodiscretodelsistemaLTI,esdecir
[ ] [ ]
n n n k n k
h L L h
= =
Portalmotivo,podemosescribirlarespuestadelsistemacomo
n k n k n n
k
y x h x h
=
= =
LarespuestadeunsistemaLTIaunasealdeentradacorrespondealaconvolucin
entrelasealdeentrada
n
x ylarespuestaalimpulsodelsistema
n
h .
Figura2.28.RespuestadeunsistemaLTIconrespuestaalimpulsoh(t).
EstabilidadensentidoEASA
n k n k
k
y x h
=
=
Z
sup
n k n k k n k
k
k k
y x h x h
= =
1
Z
sup
n k n
k
y x h
Portalmotivo,silarespuestaimpulso
1 n
h l elsistemaesestableensentidoEASA,y
elsistemaasignaunasealdesalidaacotadaatodasealdeentradaacotada.
Seales AnlisisdeFourier
57
2.8. Resumen
Una seal es una abstraccin de cualquier cantidad que puede ser medida. Las
seales puede modelarse como funciones y de acuerdo a su dominio se clasifican
comosealesdetiempocontinuoodetiempodiscreto.
Una seal es acotada en valor si su magnitud tiene supremo y una seal tiene
soportecompactosisusoporteesacotado.
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.
Seales AnlisisdeFourier
58
Lafuncinimpulsoslotomavalordistintodeceroenelvalordetiempodondese
anula su argumento. Al multiplicar una seal por un impulso se obtiene otro
impulso de peso igual a la seal donde vive el impulso. Un impulso tiene rea
unitaria. La funcin escaln presenta una transicin de 0 a 1 en el tiempo para el
cualseanulasuargumenta.Suderivadacorrespondealafuncinimpulso.
Laconvolucinesunoperadorquecalculaelreadelproductoentredosseales,
unaquesedejainalteradayotraquesereflejaysedesplazaparacadavalorde t .
Unsistemaesunoperadorqueasignaacadasealdeentradaunanicasealde
salida. Un sistema que cumple con superposicin y homogeneidad es un sistema
lineal. Un sistema es invariante en el tiempo si un desplazamiento de la seal de
entradageneraundesplazamientoigualdelasealdesalida.Lossistemaslineales
einvariantesseconocencomosistemasLTI.
UnsistemaLTIsecaracterizaporsurespuestaaimpulso,apartirdelacualpuede
ser encontrada la salida del sistema a cualquier seal de entrada como la
convolucin entre la respuesta impulso y la seal de entrada. La respuesta de un
sistema LTI a un exponencial complejo es el mismo exponencial complejo
multiplicadoporunafuncinquedependedelafrecuenciadelexponencial.
UnsistemaesestableensentidoEASAsiatodaentradaacotadaasignaunasalida
acotada.UnsistemaLTIesestablesisurespuestaimpulsopertenecea
1
L .
Seales AnlisisdeFourier
59
2.9. Ejercicios
Seccin2.2
1. Determinesilassiguientessealessondetiempocontinuoodiscreto.
a. : R C f
b. 0 1 : Z { , } f
c. : Z R f
d. { } 0 255 : R Z: f x x < <
2. Determinesilassealesdelejemploanteriorsondevalorcontinuoodiscreto.
Seccin2.4
4. Demuestrequesi ( ) x t esunasealpar,entonces
0
2 ( ) ( )
a a
a
x t dt x t dt
5. Descompongalassiguientessealescomolasumadeunasealparmsunaseal
impar.Demuestrequecadacomponenteesparoimpar.
a.
2
2 t t t x + + = ) (
b. ( )
jt
x t e =
c. 3 sin( ) cos( )
n
x n n n = + +
Seccin2.5
a. ( ) ( ) t t t x
5
2
7
2
cos sin ) ( + =
b. t t t x 3 2
2
sin ) ( sin ) ( + =
c. ) cos( cos ) ( t t t x + =
d. ) sin( ) sin( ) sin( ) ( t t t t x
4 3
+ + =
e. 2 3 6 5 10 10 20 ( ) sin( ) sin( ) sin( ) sin( ) x t t t t t = + + +
Seales AnlisisdeFourier
60
7. Encuentreelperiododelassiguientessealesdetiempodiscreto,enelcasodeser
peridicas.
a. 2 [ ] sin( ) cos( ) x n n n = +
b.
2 2
3 5
[ ]
j n j n
x n e e
= +
c.
1
3 [ ] sin( )
k
x n kn
=
=
1
[ ]
j n
x n e
=
2
2 [ ] cos( ) x n n =
3
7
4
[ ] sin x n n
=
4
6
4
[ ] sin x n n
=
a. Lapotenciainstantnea
b. Laenerga
c. Lapotenciapromedio
d. Laseal ( ) x t ,esunasealdeenergaodepotencia?
11. Paralaseal ( ) ( )
t
x t e u t = ,encuentre
a. Lapotenciainstantnea
b. Laenerga
c. Lapotenciapromedio
d. Laseal ( ) x t ,esunasealdeenergaodepotencia?
Seales AnlisisdeFourier
61
a. Lapotenciainstantnea
b. Laenerga
c. Lapotenciapromedio
d. Laseal ( ) x t ,esunasealdeenergaodepotencia?
13. *Porqulaenergadeunasealperidicaesinfinita?Porqusupotencia
promediopuedecalcularsesobreunintervalodelongitud T ?
Seccin2.7
14. *Contestefalsoverdadero.
a. Unaseal ) (t x ,acotadaydesoportecompactoperteneceaL1yaL2.
b. Todaseal ) (t x L1pertenecetambinaL2.
c. Si ) (t x L2entoncestieneenergafinitaysoportecompacto.
d. Lanicasealcon 0
1
=
n
x eslasealcero.
e. Si
n
x (l1l2),entonces
n
x tieneenergafinitay ( ) R
= n
n
x .
15. Encuentrelanormaele1,lanormaele2ylaenergadelassiguientesseales.
a. ( )
t
x t e
=
b. [ ] ) ( ) ( ) ( 3
2
= t u t u t t x
c. 0 5
n
n
x n u
= [ ] .
d.
10 t j t
x t e e u t
= ( ) ( )
Seccin2.8
16. Considerelaseal 1 2 ( ) ( ) ( ) x t u t u t = + .
a. Dibuje ( ) x t
b. Dibuje 2 ( ) x t
c. Dibuje 2 ( ) x t
18. Evalulassiguientesexpresiones
a.
2
3
3
( )
[ ]
n
n
n e
Seales AnlisisdeFourier
62
b. 2 1 4 ( )
t
t dt
Seccin2.9
20. Encuentrelaconvolucin
2
( ) ( )
t t
e u t e u t
.
21. Considerelasealdelejercicio19.Dibujelaseal 3 ( ) ( ) ( ) x t g t t = .
Seccin2.10
23. *Definasistemacausalysistemaconmemoria.
24. Determinesielsistema 2 2 ( ) ( ) ( ) y t x t x t = + es
a. Lineal
b. Invarianteeneltiempo
c. Causal
d. Conmemoria.
25. *EncuentrelarespuestadeunsistemaLTIalaseal
0
x t A t = ( ) cos( ) .
26. *UnsistemaLTIconrespuestaimpulso ( ) ( )
t
h t e u t
= esestable?Justifique.
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.
3
REPRESENTACIN DE SEALES
3.1. Descomposicindeseales
Sinperdidadegeneralidad,considereunaseal ) (t x consoporteen ] , [
2 1
t t
Figura3.1.Sealdesoportecompacto.
Sedeseaexpresar ) (t x enelintervalodetiempo
1 2
t t [ , ] comounacombinacinlineal
desealesmssimple,esdecir
1 2 n n
n
x t a t t t t = < <
( ) ( )
dondeloscoeficientesconstantes C
n
a ylostrminos ) (t
n
sonseales,engeneral
complejas, las cuales se conocen como seales base. Los coeficientes
n
a son
independientesdeltiempoynosbrindaninformacinimportantesobrelaseal.
1 2
1 2
N
j t j t j t
N
x t a e a e a e
= + + + ( ) ...
Figura3.2.RespuestadeunsistemaLTIaladescomposicindelaseal.
Representacindeseales AnlisisdeFourier
64
EnesteCaptuloestudiaremosbajoquecondicionesunasealpuededescomponerse
comounasumadesealesmssimplesycomoserealizadichadescomposicin.
3.2. Aproximacindeunvector
3.2.1. Aproximacindeunelementodelplano
Sean
1 2
x x = x ( , ) y
1 2
f f = f ( , ) loselementosde
2
R queseilustranenlaFigura3.3.En
el espacio
2
R (parejas de reales) el producto interno entre dos vectores x y f se
definecomo
1 1 2 2
x, f x f x f = + .Sedeseaaproximarelvector f entrminosdelvector
x , para lo cual existen diversas posibilidades como se ilustran en la Figura 3.4. Se
pretendeobtenerlamejorrepresentacinposiblede f entrminosdelvector x .Silos
vectores f y x soncolineales,laaproximacinllegaaserunarepresentacin,encaso
contrario(casodelaFigura3.3)laaproximacintieneunerrorasociado.
Figura3.3.Dosvectoresen
2
R .
1 1
f x e c = +
2 2
f x e c = +
2 2
f x e c = +
Figura3.4.Algunasposibilidadesparalaaproximacinde f entrminosde x .
Representacindeseales AnlisisdeFourier
65
Claramente el mnimo error ocurre cuando la aproximacin corresponde a la
proyeccindelvector f sobreelvector x ,casoenelcualelerror
2
e esperpendicular
alaaproximacin
2
x c .Portalmotivo,lamejoraproximacinesobtenidahaciendo
f x
opt
c
donde el escalar
opt
c corresponde a la componente (sombra) de f sobre x , definida
entrminosdelproductointernodelespaciovectorialcomo
f, x f, x
f x
x, x x, x
opt
c =
3.2.2. Aproximacindeunaseal
Consideremoselconjuntodesealesconenergafinitaenelintervalo
1 2
[ , ] t t ,dadopor
{ }
2
1
1 2
S[ , ] : R C:
t
t
t t f f = <
2
1
1 2 1 2
*
( ), ( ) ( ) ( )
t
t
x t x t x t x t dt =
1 2
( ) ( ) f t cx t t t t < <
( ) ( ) ( ) t f t cx t =
Sea E
laenergadelerrorenelintervalo
1 2
[ , ] t t ,definidacomo
2
1
2
( ) ( )
t
t
E f t cx t dt
Representacindeseales AnlisisdeFourier
66
Laenergadelerrorpuedeescribirsedeformaapropiadacomo
[ ][ ]
2 2
1 1
2 *
( ) ( ) ( ) ( ) ( ) ( )
t t
t t
E f t cx t dt f t cx t f t cx t dt
= =
2 2 2 2
1 1 1 1
2 2 2
* *
( ) ( ) ( ) ( ) ( ) ( )
t t t t
t t t t
E f t dt c f t x t dt c f t x t dt c x t dt
= +
2 2
1 1
2
* *
( ) ( ) ( ) ( )
t t
f x
t t
E E c f t x t dt c f t x t dt c E
= +
(3.1)
2 2
1 1
2 2
2
1 1
* *
( ) ( ) ( ) ( )
t t
f x
x t t x
E E c E f t x t dt f t x t dt
E
E
Enestaexpresinelnicotrminoquedependede c eselsegundo,portalmotivoel
valorde c queminimizalaenergadelerroreselencontradocomo
2
2
1
2
1
1
2
1
*
*
( ) ( )
( ) ( )
( )
t
t
t
opt t
x t
t
f t x t dt
c f t x t dt
E
x t dt
= =
Laecuacinanteriorpuedeescribirseentrminosdelproductointernoen Scomo
( ), ( )
( ), ( )
opt
f t x t
c
x t x t
=
Este resultado concuerda con el resultado obtenido en la Seccin 3.1.2. Para el caso
en el cual las seales ( ) f t y ( ) x t son reales, la constante c es un real tambin y la
ecuacin(3.1)puedeescribirsecomo
2
1
2
2 ( ) ( )
t
f x
t
E E c f t x t dt c E
= +
El valor de c que minimiza la energa del error puede ser encontrado haciendo
d d 0 / E c
= ydespejando c ,paralocualseobtiene
Representacindeseales AnlisisdeFourier
67
2
1
d
2 2 0
d
( ) ( )
t
x
t
E
f t x t dt cE
c
= + =
Al despejar c de esta ecuacin se obtiene el mismo valor ptimo que para el caso
complejo. Por tal motivo, de forma general, sise desea aproximar una seal ( ) S f t
entrminosdeotraseal ( ) S x t ,lomejorquepuedehacersees
1 2
( ), ( )
( ) ( )
( ), ( )
f t x t
f t x t t t t
x t x t
< <
Solucin.Lasealpuedeaproximarsecomo
0 2
( ), ( )
( ) sin( )
( ), ( )
f t x t
f t t t
x t x t
< <
2 2
0 0
4 ( ), ( ) ( ) ( ) sin( ) sin( ) f t x t f t x t dt t dt t dt
= = =
2 2
2 2 2
0 0 0
1
1
2
( ), ( ) ( ) sin ( ) cos ( ) x t x t x t dt t dt t dt
= = = =
4
0 2 ( ) sin( ) f t t t
< <
Representacindeseales AnlisisdeFourier
68
3.3. Basesortogonales
3.1.1. Baseseindependencialineal
1 1 2 2
...
N N
v V v = + + +
donde
i
F , para 1 2 , , ..., i N = . Si adicionalmente los vectores { }
1 2
, , ...,
N
son
linealmenteindependientes,entoncessonunabasedelespacioV .
Definicin3.1.Unconjuntodevectores { }
1 2
, , ...,
N
eslinealmenteindependientesi
yslosi
1 1 2 2
0 ...
N N
+ + + = implica
1 2
0 ...
N
= = = = .
Si un conjunto de vectores { }
1 2
, , ...,
N
es lineal linealmente independientes y
genera el espacio V (base del espacio), cada elemento v V tiene una
representacinnicaentrminosdedichosvectores.
3.1.2. Ortogonalidad
Dos vectores
1
v y
2
v son ortogonales si su producto interno es cero, es decir, si
1 2
0 , v v = . Un conjunto de vectores { }
1 2
, , ...,
N
v v v forma un sistema ortogonal
(mutuamente ortogonales) si 0 ,
m n
v v = para m n . Un conjunto de vectores
{ }
1 2
, , ...,
N
v v v forma un sistema normalizado (norma unitaria) si 1 ,
m m
v v = para
1 2 , , ..., m N = .Unconjuntodevectoresqueformaunsistemaortogonalynormalizado
seconocecomounsistemaortonormal.
Definicin3.2. ) (
1
t y ) (
2
t sonsealesortogonalesenelintervalo ] , [
2 1
t t si
2
1
1 2 1 2
0
*
( ), ( ) ( ) ( )
t
t
t t t t dt = =
2
1
0
*
( ), ( ) ( ) ( )
t
m n m n
n t
m n
t t t t dt
E m n
= =
=
Representacindeseales AnlisisdeFourier
69
donde
n
E ,eslaenergadelaseal ( )
n
t enelintervalodetiempo ] , [
2 1
t t .Lasseales
del conjunto { ( )}
n
t forman un sistema normalizado en ] , [
2 1
t t , si cada una de ellas
tieneenerga1enelintervalo,esdecir,si
( )
2 2
1 1
2
1
*
( ), ( ) ( ) ( )
t t
n n n n n
t t
t t t t dt t dt = = =
paratodaseal ) (t
n
delconjunto.Esdecir,suenergaen ] , [
2 1
t t eslaunidad.
Ejemplo3.2.Pruebequeelconjuntodeseales { ( )},
n
t donde ( )
jn t
n
t e
= ,con n
y
*
R ,esunsistemaortogonalenintervalo ] , [ 2 0 .
Solucin.Elconjuntodesealesdado,esdelaforma
2 2
1 { ( )} { , , , , , , }
j t j t j t j t
n
t
e e e e
= K K
Verifiquemossielsistemaesortogonal,paraellodebecumplir
2 2
1 1
2
0
/
( )
( ) ( )
t t
jnt jmt j n m t
n m
t t
t t dt dt dt
e e e
= =
Si m n
2
2
2
0 0
1
/
/
( ) ( )
( )
( ) ( )
j n m t j n m
j n m t
e e
dt
e
j n m j n m
= =
Dadoque ( ) Z n m entonces
2
1
( ) j n m
e
= y
2
1
0 ( ) ( )
t
n m
t
t t dt
Si n m =
2 2 2
2
0
0
0 0 0
2
/ / /
/
( ) j j n m t
dt e dt dt t
e
= = = =
2
1
2 2
( )
t
n
t
t dt
=
Portalmotivoelsistemaesortogonal.
Representacindeseales AnlisisdeFourier
70
Definicin 3.3. Un conjunto de seales
1 2
{ ( )} { ( ), ( ), , ( )}
n N
t t t t = K forma un
sistema ortonormal si forma un sistema ortogonal y normalizado. Si el sistema
ortonormal
1 2
{ ( )} { ( ), ( ), , ( )}
n N
t t t t = K es una base de cierto espacio vectorial,
entoncesseconocecomounabaseortonormal.
Unconjuntodevectoresmutuamenteortogonaleslinealmenteindependiente.Portal
motivo, si un conjunto de seales
1 2
{ ( )} { ( ), ( ), , ( )}
n N
t t t t = K 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
1 1
w =
1 1 1
/ u w w =
2 2 2 1 1
, w u u =
2 2 2
/ u w w =
3 3 3 1 1 3 2 2
, , w u u u u =
3 3 3
/ u w w =
M
Representacindeseales AnlisisdeFourier
71
1
1
,
i
i i i k k
k
w u u
=
=
/
i i i
u w w =
EstemtodoesconocidocomoelprocedimientodeGramSchmidt.Esfcilverqueel
resultado no es nico, pues un reordenamiento de los vectores { }
i
antes de la
otrogonalizacin resulta en un conjunto { }
i
u diferente. Adicionalmente, si
1 2
{ , , , }
N
K es una base de un espacio vectorial entonces el procedimiento de
GramSchmidtconstruyeunabaseortonormal
1 2
{ , , , }
N
u u u K paraelmismoespacio.
3.4. Representacindesealesenunintervalodetiempofinito
Unaseal ( ) x t conenergafinitaenunintervalo
1 2
[ , ] t t sepuederepresentardeforma
nicapormediodeunabasede
1 2
S[ , ] t t .Siqueremosaproximarlaseal ( ) x t endicho
intervalo,entrminosdeNsealesarbitrarias
1 2
{ ( ), ( ), , ( )}
N
t t t K ,debemoshacer
1 2
1
( ) ( )
N
n n
n
x t a t t t t
=
< <
donde C
i
a , para 1 2 , , .., i N = . Definamos como el error entre la seal ( ) x t y su
aproximacin,entonceslaenergadelerrorenelintervalo
1 2
[ , ] t t vienedadacomo
2
1
2
1
( ) ( )
t
N
n n
n
t
E x t a t dt
=
=
Propiedad3.1.
2 2 2
* *
x y x xy x y y = +
Demostracin.
2
* * *
( )( ) ( )( ) x y x y x y x y x y = =
2
* * * *
x y xx xy x y yy = +
Representacindeseales AnlisisdeFourier
72
UtilicemoslaPropiedad3.1paraexpandirnuestrafuncindeerror,como
2 2 2 2
1 1 1 1
2
2
1 1 1
* * *
( ) ( ) ( ) ( ) ( ) ( )
t t t t
N N N
n n n n n n
n n n
t t t t
E x t dt x t a t dt x t a t dt a t dt
= = =
= +
Consideremoselltimotrminodelafuncindeerror,entonces
2 2 2
1 1 1
2
1 1 1 1 1
*
* *
( ) ( ) ( ) ( ) ( )
t t t
N N N N N
n n n n n n n n m m
n n n n m
t t t
a t a t a t dt a t a t dt
= = = = =
= =
Intercambiandoelordendelassumatoriasylaintegral,setiene
2 2
1 1
2
1 1 1
* *
( ) ( ) ( )
t t
N N N
n n n m n m
n n m
t t
a t a a t t dt
= = =
=
Elconjuntodeseales { ( )}
n
t formanunsistemaortogonal,porlocual
2
1
2
0
* *
( ) ( )
t
n n
n m n m
t
a E n m
a a t t dt
n m
=
=
2
1
2
2
1 1
( )
t
N N
n n n n
n n
t
a t a E
= =
=
Reemplazandoesteresultadoenlafuncindeerrorexpandida,setiene
2 2 2
1 1 1
2 2
1 1 1
* * *
( ) ( ) ( ) ( ) ( )
t t t
N N N
n n n n n n
n n n
t t t
E x t dt x t a t dt x t a t dt a E
= = =
= +
Lafuncindeerrorpuedereescribirsedeformaapropiadacomo
2 2 2
1 1 1
2 2
2
1 2
1 2 1 2
1 1
1 1
(t) (t)
* *
( ) ( ) ( )
t t t
N N
n n n n
n n
n n t t t
E x t dt E a x t dt x t dt
E E
= =
= +
2
1
1 2
1 2
1
(t) 0
*
( )
t
n n n
n t
E a x t dt
E
=
Representacindeseales AnlisisdeFourier
73
Portalmotivo,elvalorptimoparaloscoeficientes
n
a es
2
1
1
( )
*
( )
t
n n
n t
a x t t dt
E
=
Cada coeficiente
n
a representa en cierto sentido, la similitud entre la seal ( ) x t y la
seal ( )
n
t utilizadaparasuaproximacin.Deestaforma,cadacoeficiente
n
a indicala
contribucin ptima de la seal ( )
n
t , en la aproximacin de ( ) x t . Reemplazando el
valordelaenerga
n
E delaseal ( )
n
t ,enlaecuacinanterior,setiene
2
1
2
1
( )
( )
( ) ( )
( ) ( )
*
* *
( )
( ),
,
t
n
t n
n t
n n
n n
t
x t t dt
x t t
a
t t
t t dt
= =
Utilizandoesteresultadoenlaenergadelerrorobtenemos
2 2 2
1 1 1
2
1 2
1
1
(t) (t)
* *
( ) ( ) ( )
t t t
N
n n
n
n t t t
E x t dt x t dt x t dt
E
=
=
( )( )
2 2
1 1
2 2 2
1 1
1
*
( ) ( )
t t
N N
n n n n n n
n n
n t t
E x t dt E a E a x t dt E a
E
= =
= =
Entremsseales ( )
n
t setomenparaaproximarlasealdeseada,seesperaobtener
una aproximacin mejor. Si el conjunto de seales base { ( )}
n
t es tal que el 0 E
=
cuando N (un nmero infinito de seales), se dice que { ( )}
n
t es completo en
1 2
[ , ] t t yelconjunto { ( )}
n
t esunabasede
1 2
S[ , ] t t .Enestecaso,laseal ( ) x t puede
representarsedeformanicaenelintervalo
1 2
[ , ] t t como
1 2
1
( ) ( )
n n
n
x t a t t t t
=
= < <
Ejemplo3.4.Considerelassiguientesseales
1
0
= ) (t t t = ) (
1
2
1
2
2
3
2
= t t) (
1 1
0 1
1 1
0
*
( ) ( ) t t dt t dt
= =
( ) ( )
1 1 1
2 2
3 1
0 2 2 2
1 1 0
3 1 0
*
( ) ( ) t t dt t dt t dt
= = =
( )
1 1 1 1
3 3
3 3 1 1
1 2 2 2 2 2
1 1 1 1
0
*
( ) ( ) t t dt t t dt t dt t dt
= = =
0 0 1 1 2 2
( ) ( ) ( ) ( ) x t a t a t a t + +
Dondeloscoeficientes
0
a ,
1
a y
2
a ,sonencontradoscomo
1 1 1
0
0 1 1
0 1 1
0 0
1 1
2 ( )
1
2 2
( ) ( ) 1
*
*
( ) t dt x t t dt t dt
a
t t dt dt
= = = =
0 1 1 1
2 2
1
1 0 1 1
1 1 1
2
1 1
1 1
( )
0
2 3
( ) ( )
*
*
( )
/
t dt t dt x t t dt t t dt
a
t t dt t dt
+
= = = =
( )
( )
( )
1 1 1
3 2
3 1
2 2 2
0 1 1
2 1 1 2
2
3 1
2 2 2 2
1 1
3 ( )
1 4 5
2 5 2 5 8
( ) ( )
*
*
( )
/
/ /
t t dt x t t dt t t dt
a
t t dt t dt
= = = = =
Lasealpuedeaproximarsecomo
2
5 3 15 1
0 2 2 8 16 16
( ) ( ) ( ) x t t t t + = +
Figura3.6.Sealoriginalysuaproximacinutilizandoelconjuntodesealesdadas.
Representacindeseales AnlisisdeFourier
75
Ejemplo3.5.Considerelaseal
Sedeseaaproximar ( ) x t enelintervalo
0 2 [ , ] empleandoelconjuntodesealesbase
sin( )
n
n t = ,donde Z n .
Solucin.Verifiquemosque ( )} {
n
t formaunsistemaortogonalen 0 2 [ , ] ,paraello
2
1
2
0
( ) ( ) sin( )sin( )
t
n m
t
t t dt n t m t dt
Propiedad3.2.Identidad
1
2
sin( )sin( ) [cos( ) cos( )] x y x y x y = + .
2 2 2
0 0 0
1 1
2 2
sin( )sin( ) cos[( ) ] cos[( ) ] n t m t dt n m t dt n m t dt = +
Si n m =
2 2
2 2 2
0 0 0 0 0
1 1 1 2
2
2 2 2 2 2
sin( )
sin( )sin( ) cos( )
t n t
n t m t dt dt n t dt
n
= =
2
0
1 4
1 0 1
2 2
sin( )
sin( )sin( )
n
n t m t dt
n
= =
Portalmotivo 1
n
k = .Recuerdequesi Z k ,entonces 2 0 sin( ) k = .
Si n m
2 2 2
0 0 0
1 1
2 2
sin( )sin( ) cos[( ) ] cos[( ) ] n t m t dt n m t dt n m t dt = +
1 0 1
1 1 2
( )
t
x t
t
< <
=
< <
Representacindeseales AnlisisdeFourier
76
2 2
2
0 0 0
1 1
2 2
sin[( ) ] sin[( ) ]
sin( )sin( )
( ) ( )
n m t n m t
n t m t dt
n m n m
+
=
+
2
0
1 2 1 2
0
2 2
sin[( ) ] sin[( ) ]
sin( )sin( )
( ) ( )
n m n m
n t m t dt
n m n m
+
= =
+
2 2
1 0
1
*
( ) ( ) ( )sin( )
t
n
n t
x t t dt x t n t dt
a
E
= =
0 2
1 2
1 1 0 1
cos( ) cos( )
sin( ) sin( )
n
n t n t
n t dt n t dt
a
n n
= == +
[ ]
1
1 2 cos( ) cos( ) cos( )
n
n n n
a
n
= +
[ ]
0 si es par
2
1
4
si es impar
cos( )
n
n
a n
n n
n
= =
Utilizandolaecuacingeneraldelarepresentacin,podemosescribir ( ) x t como
1 1
impar
4 1 4 1
2 1
2 1
( ) sin( ) sin[( ) ]
( )
n n
n
x t n t n t
n n
= =
= =
Expandiendoalgunostrminosdelasumasetiene
4 1 1
3 5
3 5
( ) sin( ) sin( ) sin( ) ... x t t t t
= + + +
Figura3.7.Representacindelasealutilizando3y100trminosdelaserie,respectivamente.
Representacindeseales AnlisisdeFourier
77
3.5. TeoremadeParsevalparaunintervalofinito
Paraunaseal ( ) x t delespacio
1 2
S[ , ] t t yunconjuntodeseales { } ( )
n
t completoen
elintervalo
1 2
[ , ] t t (basede
1 2
S[ , ] t t ),secumple
2
1
2 2
1
( )
t
n n
n
t
x t dt a E
=
=
Laenergadelasealenelintervalo
1 2
[ , ] t t esproporcionalalcuadradodelanorma
2
l
deloscoeficientes
n
a utilizadosparasurepresentacineneseintervalo.
Demostracin.
2 2 2
1 1 1
2
1
*
*
( ) ( ) ( ) ( ) ( )
t t t
n n
n
t t t
x t dt x t x t dt x t a t dt
=
= =
Intercambiandoelordenentrelasumatoriaylaintegral,setiene
( )
2 2
1 1
2 2
1 1 1
* * *
( ) ( ) ( )
t t
n n n n n n n
n n n
t t
x t dt a x t t dt a E a a E
= = =
= = =
Ejemplo 3.6. Aproxime la energa de la seal ( ) x t t = del Ejemplo 3.4 a partir de los
coeficientesdesurepresentacin,paraelloutiliceelteoremadeParseval.
2 2 2 2
3
2
0 2
1
1 5 1 5 2 21
2
2 8 2 8 5 32
n n
n
E a k k k
=
= + = + =
Observacin 3.2. A medida que se aumentan los trminos de la representacin
disminuyeelerrorentrelasealoriginalysuaproximacin.
Representacindeseales AnlisisdeFourier
78
3.6. Representacindeunasealperidica
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
n
a ,sobreunintervalodelongitudT,como
1
*
( ) ( )
n
n T
x t t dt
a
E
=
Si la seales { ( )}
n
t son peridicas, con periodo T, entonces la representacin de la
seal corresponde con la seal peridica por fuera del intervalo 0 [ , ] T . Para esto se
debecumplirque
0 ( ) R ( ) S[ , ]
T
x t dt x t T
Enestecaso,lasealperidicaesrepresentadaporlasumatoriasobretodoelejereal
(paratodoslosinstantesdetiempo),esdecir
1
( ) ( )
n n
n
x t a t t
=
= < <
Figura3.8.RepresentacindeunaversinperidicadelasealdelEjemplo3.5utilizando20trminos
delaserie.
Representacindeseales AnlisisdeFourier
79
3.7. Resumen
Unespaciovectorialeucldeoesunespaciodotaconproductointerno.Elproducto
internocalculaenciertosentidolasimilitudentredosvectores.
Las seales con energa finita en un intervalo dado forman un espacio vectorial
eucldeo.Alaproximarunasealentrminosdeotrapormediodeunaproyeccin
ortogonalseminimizalaenergadelerrorentrelasealysuaproximacin.
Dos vectores son ortogonales si su producto interno es cero. Dos vectores son
ortonormalessisonortogonalesysuautoproductointernoeslaunidad.Unabase
ortogonalesunabasedelespacioformadaporvectoresmutuamenteortogonales.
Dos seales son ortogonales si su producto interno es cero. Dos seales son
ortonormalessisonortogonalesylaenergadecadaunadeellaseslaunidad.
Sielconjuntodesealesutilizadasparalaaproximacinformaunabaseortogonal
elerroresceroylaaproximacinllegaaserunarepresentacindelaseal.
Seccin3.2
1. Setienendosseales
t
e t
= ) (
1
t
Ae t
2
2
1
= ) (
2. Determineunvalorde 0 paraelcualelconjuntodeseales { } { }
jn t
n
e
= ,con
Z n y
*
R ,seaortogonalenelintervalo ] , 0 [ .
Seccin3.3
3. Considerelassiguientesseales
1
0
= ) (t t t = ) (
1
2
1
2
2
3
2
= t t) (
a. Muestrequesonmutuamenteortogonalesenelintervalo[1,1].
b. Usando este conjunto de seales ortogonales, represente en el intervalo
[1,1],laseal
1 1 0
1 0 1
( )
t
x t
t
< <
=
< <
4. Considerelaseal
0
0 otro caso
( )
t
e t
x t
< <
=
< < =
=
t t d t x
n
n n
0 ) ( ) (
Representacindeseales AnlisisdeFourier
81
b. Obtenga el grafico de la seal aproximada, utilizando slo las seales base
quecumplencon 10 n .
5. Considereelconjuntodesealesortogonales,dadopor
Utiliceestastressealesparaaproximarlasiguientesealenelintervalo 0 3 [ , ] .
6. Considereelconjuntodeseales
1
( ) ( )
t
x t e u t
=
2
2
( ) ( )
t
x t e u t
=
3
( ) ( )
t
x t e u t
= utilizandolasseales
i
, 1 2 3 , , i = .
c. Calculeelerrorcuadrticomedioentrelaseal ( ) x t ysuaproximacin.
Seccin3.4
ESTAPGINASEDEJAINTENCIONALMENTEENBLANCO.
4
SERIES DE FOURIER
4.1. SerieexponencialdeFourier
0
( )
jn t
n
n
x t c e
=
=
dondelaconstante
0
seconocecomofrecuenciafundamentaldelaseal ( ) x t yest
definida como
0
2 / T = . Los coeficientes
n
c se conocen como coeficientes
complejosdeFourierypuedenserencontradosdeacuerdoa
0
1
( )
jn t
n
T
c x t e dt
T
=
0
( )
a T
jn t
n
a
c x t e dt
+
=
paracualquier R a .
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
84
( ) R
T
x t dt
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.
2
( ) R
T
x t
Por tal motivo, si una seal peridica tiene energa finita a lo largo de cada periodo,
entonces puede ser representada como una serie exponencial de Fourier. La gran
mayoradesealesperidicascumplenestacondicin.
Ejemplo 4.1. Demuestre que si una seal ( ) x t cumple la condicin iii) de Dirichlet,
entoncesloscoeficientes
n
c desuserieexponencialdeFouriertienenmagnitudfinita.
Solucin.
0 0
0 0
1 1
( ) ( )
T T
jn t jn t
n
c x t e dt x t e dt
T T
=
( )
0
0
1
T
jn t
n
c x t e dt
T
( )
0
1
R
T
n
c x t dt
T
SeriesdeFourier AnlisisdeFourier
85
4.1.2. Clculodelaserieexponencial
0
2
2
1 1
2
/
/
( ) ( )
T
jn t jnt
n
T
c x t e dt x t e dt
T
= =
2 2
2 2
1
2
/ /
/ /
jnt jnt jnt
n
c Ae dt Ae dt Ae dt
= + +
2 2
2 2
2
/ /
/ /
jnt jnt jnt
n
A
c e dt e dt e dt
= +
Los coeficientes
n
c son infinitos, por lo cual deben ser encontrados en funcin de n .
Al realizar la integral el trmino nt pasa a dividir y para el caso 0 n = se tiene un
coeficiente de valor infinito. Por tal motivo algunos valores de n , en este ejemplo
0 n = ,debensertratadosporaparte,paraevitarcoeficientesdevalorinfinito.
Caso1:
0 n =
2 2
0
2 2
2
/ /
/ /
A
c dt dt dt
= +
0
0
2 2 2 2 2
A
c
= + + =
Caso2: 0 n
2
2 2
2
( )
A t
x t A t
A t
SeriesdeFourier AnlisisdeFourier
86
2 2
2 2
2
/ /
/ /
jnt jnt jnt
n
A e e e
c
jn jn jn
= + +
2 2 2 2
2
jn jn jn jn
jn jn
n
A
c e e e e e e
jn
= + +
2 2
2 2
2
jn jn
jn jn
n
A
c e e e e
jn
= +
2 2
2 2
2 2
jn jn
jn jn
n
A e e e e
c
n j j
= +
( )
2
2
2 2
sin sin sin
n
A n A n
c n
n n
= =
2
impar
2
0 par
sin
n
A
n n
c n
n
Portalmotivolaserieexponencialpuedeescribirsecomo
impar
2
2
( ) sin
jnt
n
n
A n
x t e
n
=
=
Solucin.Elperiododelaseales 2 ,porlocual
0
1 = .Laserieexponencialpuede
escribirsecomo
0 otro caso
( )
A t
x t
< <
=
SeriesdeFourier AnlisisdeFourier
87
0
( )
jn t jnt
n n
n n
x t c e c e
= =
= =
dondeloscoeficientes
n
c puedenencontrarsedeacuerdoa
2
2
1 1
2
/
/
( ) ( )
T
jnt jnt
n
T
c x t e dt x t e dt
T
= =
1
2 2
jnt jnt
n
A
c Ae dt e dt
= =
Caso1: 0 n =
0
2 2
A A A
c dt t
= = =
Caso2: 0 n
2 2
jnt
jn jn
n
A e A
c e e
jn jn
= =
sin( )
n
A
c n
n
Laserieexponencialdelasealpuedeescribirsecomo
( )
0
sin( )
jnt
n
n
A A
x t n e
n
= +
Solucin.Conociendoque
2
1 1
2 2
2 cos ( ) cos( ) t t = + ,lasealpuedereescribirsecomo
2 2 4 4
1 2 4 4 1 4
2 2
( ) cos( ) sin( )
j t j t j t j t
e e e e
x t t t
j
+
= + + = + +
SeriesdeFourier AnlisisdeFourier
88
2 2 4 4
1 1 2 2
1
2 2
( )
j t j t j t j t
x t e e e e
j j
= + + +
Enestaexpresinlaseal ( ) x t seencuentraexpresadacomounaserieexponencial,ya
quecorrespondeaunasumadeexponencialescomplejos.Elperododelaseales ,
por lo cual
0
2 = . Con el fin de identificar los coeficientes de esta serie exponencial
es necesario recordar que el coeficiente
n
c acompaa al trmino
0
jn t
e
en la serie.
Para este caso, el coeficiente
n
c acompaa al trmino
2 jn t
e , por lo cual
0
1 c = ,
1
1 2 / c = ,
1
1 2 / c
= ,
2
2 c j = y
2
2 c j
= ;losdemscoeficientessoncero.
4.1.3. EspectrodeFourier
Loscoeficientes
n
c delaserieexponencialdeFourierpuedenserinterpretadoscomo
una representacin frecuencial de ( ) x t , pues cada coeficiente
n
c indica la
contribucin de la frecuencia
0
n a la seal ( ) x t . As, si para algn n el coeficiente
n
c es cero, la seal ( ) x t no tiene componente de frecuencia
0
n ; por ejemplo,
0
c
representaelnivelDCdelaseal.Debidoaquelaseal ( ) x t esperidicaconperiodo
T ,suscomponentesdefrecuenciassonmltiplosdelafrecuenciafundamental
0
Ejemplo4.5.ParaelEjemplo4.3,locoeficientesdelaserieexponencialson
0
/ c A =
ypara 0 n , ( ) / sin( )
n
c A n n = .Sitomamos 1 A = y 6 / = seobtienelaseal
ysurespectivoespectrodeFourier
SeriesdeFourier AnlisisdeFourier
89
Sitomamos 1 A = y 6 / = seobtienelaseal
ysurespectivoespectrodeFourier
= ,
2
2 c j = y
2
2 c j
= ,
con
0
2 = .ElespectrodeFourierde ( ) x t seilustraenlaFigura4.2.
SeriesdeFourier AnlisisdeFourier
90
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
0
jn t
n
c e
y
0
jn t
n
c e
conformanlacomponentesdefrecuencia
0
n ,paracualquier n .
4.1.4. TeoremadeParsevalparalaserieexponencial
2 2
0
1
( )
T
n
n
P x t dt c
T
=
= =
Demostracin.
2
0 0
1 1
*
( ) ( ) ( )
T T
P x t dt x t x t dt
T T
= =
0 0
0
1
*
T
jn t jn t
n n
n n
P c e c e dt
T
= =
=
0 0
0
1
*
T
jn t jn t
n n
n n
P c e c e dt
T
= =
=
0 0
0
1
*
T
jn t jm t
n m
n m
P c e c e dt
T
= =
=
0
0
1
( ) *
T
j n m t
n m
n m
P c c e dt
T
= =
=
Lasseales
0
{ }
jn t
e
,con Z n ,sonortogonalesen 0 [ , ] T ,entonces
SeriesdeFourier AnlisisdeFourier
91
0
0
1
1
0
( )
T
j n m t
n m
e dt
T n m
=
=
Por tal motivo, de la doble sumatoria slo sobreviven los trminos para los cuales
n m = ,entonces
2
*
n n n
n n
P c c c
= =
= =
Solucin.Lasealpuedeescribirsecomo
2 2
2 2
( )
jt jt j t j t
e e e e
x t
j
+
= +
2 2
1 1
2 2 2 2
( )
jt jt j t j t
j j
x t e e e e
= + +
Lapotenciapromediopuedeserencontradacomo
2 2 2 2
2 1 1
2 2 2 2
n
n
j j
P c
= = + + +
1 1 1 1
1
4 4 4 4
P = + + + =
Solucin.Lasealpuedeescribirsecomo
2 2
( ) sin( )
j t j t
A A
x t A t j e j e
= = +
Lapotenciapromediopuedeserencontradacomo
2 2
2
2 2
n
n
A A
P c j j
=
= = +
2 2 2
4 4 2
A A A
P + =
4.1.5. Propiedadesdelaserieexponencial
4.1.5.1. Linealidad: [ ] [ ] ( ) [ ] ( ) ) ( ) ( ) ( ) ( t y SF B t x SF A t By t Ax SF + = +
Unoperadoreslinealsicumpleconsuperposicinyhomogeneidad.
Aprobar:
[ ] [ ] [ ]
( ) ( ) ( ) ( ) SF x t y t SF x t SF y t + = +
[ ] [ ]
0
0
1
( ) ( ) ( ) ( )
T
jn t
SF x t y t x t y t e dt
T
+ = +
[ ] [ ] [ ]
0 0
0 0
1 1
( ) ( ) ( ) ( ) ( ) ( )
T T
jn t jn t
SF x t y t x t e dt y t e dt SF x t SF y t
T T
+ = + = +
[ ] [ ] [ ]
( ) ( ) ( ) ( ) SF x t y t SF x t SF y t + = +
Aprobar:
[ ] [ ]
( ) ( ) SF Ax t A SF x t =
[ ]
0
0
1
( ) ( )
T
jnt
SF Ax t Ax t e dt
T
=
[ ] [ ]
0
0
1
( ) ( ) ( )
T
jn t
SF Ax t A x t e dt A SF x t
T
= =
4.1.5.2. Complejoconjugado:
* *
( )
n
SF x t c
0 0
0 0
1 1
*
* *
( ) ( ) ( )
T T
jn t jn t
SF x t x t e dt x t e dt
T T
= =
0 0
0 0
1 1
* *
( ) * *
( ) ( ) ( )
T T
jn t j n t
n
SF x t x t e dt x t dt c
T T
= = =
4.1.5.3. Reflexin:
[ ]
( )
n
SF x t c
[ ]
0
0
1
( ) ( )
t
jn t
SF x t x t e dt
T
=
[ ]
0
0
1 1
( ) ( ) ( ) ( )
T
jn u jn u
T
SF x t x u e du x u e du
T T
= =
[ ]
0
1
( )
( ) ( )
T
j n u
n
SF x t x u e du c
T
= =
4.1.5.4. Simetra
Si ) (t x esreal,setiene
[ ]
0
0 0
0 0
1 1
( ) ( ) cos( ) sin( )
T T
jn t
n
c x t e dt x t n t j n t dt
T T
= = +
SeriesdeFourier AnlisisdeFourier
94
[ ]
0 0
0
1
( )cos( ) ( )sin( )
T
n
c x t n t dt jx t n t dt
T
=
0 0
0 0
1
( )cos( ) ( )sin( )
T T
n
c x t n t dt j x t n t dt
T
=
{ }
0
0
1
Re ( )cos( )
T
n
c x t n t dt
T
=
{ }
0
0
1
Im ( ) ( )
T
n
c x t sen n t dt
T
=
{ } Re
n
c esunasealpar
{ } { }
0 0
0 0
1 1
Re ( )cos( ) ( )cos( ) Re
T T
n n
c x t n t dt x t n t dt c
T T
= = =
{ } Im
n
c esunasealpar
{ } { }
0 0
0 0
1 1
Im ( ) ( ) ( ) ( ) Im
T T
n n
c x t sen n t dt x t sen n t dt c
T T
= = =
n
c esunasealpar
{ } { } { } { }
2 2 2 2
Re Im Re Im
n n n n n n
c c c c c c
= + = + =
2
Re{ }
n
c esunasealpar,pueselproductodedossealesparesesotrasealpar.
2
Im{ }
n
c esunasealpar,pueselproductodedossealesimparesesunasealpar.
Lasumadedossealesparesesunasealparylarazcuadradadeunasealpares
partambin;porlocual | |
n
c esunasealpar.
n
c esunasealimpar
= = = =
*
n n
c c
Dadoque ( ) x t esrealsetieneque
*
( ) ( ) x t x t = ,porlocual
SeriesdeFourier AnlisisdeFourier
95
0 0 0
0 0 0
1 1 1
*
( ) * *
( ) ( ) ( )
T T T
jn t jn t j n t
n n
c x t e dt x t e dt x t e dt c
T T T
= = = =
Si ) (t x esrealypar,entonces
{ }
2
0
2
1
0
/
/
Im ( )sin( )
T
n
T
C x t n t dt
T
= =
2
0
2
1
/
/
( )cos( )
T
n n
T
c x t n t dt c
T
= =
{ }
2
0
0
2
/
Re ( )cos( )
T
n n
c c x t n t dt
T
= =
Laintegraldelaparteimaginariaescero,pueselproducto
0
( )sin( ) x t n t esunaseal
impar.Portalmotivoloscoeficientes
n
c sonrealesypares.
Si ) (t x esrealeimpar,entonces
{ }
2
0
2
1
0
/
/
Re ( )cos( )
T
n
T
C x t n t dt
T
= =
2
0
2
1
/
/
( )sin( )
T
n n
T
c j x t n t dt c
T
= =
{ }
2
0
0
2
/
Im ( )sin( )
T
n n
c c j x t n t dt
T
= =
Laintegraldelaparterealescero,pueselproducto
0
( )cos( ) x t n t esunasealimpar.
Portalmotivo,loscoeficientes
n
c sonimaginarioseimpares.
SealPeridica CoeficientesdelaSEF
( ), ( ) x t y t ,
n n
c d
) ( ) ( t By t Ax +
n n
Bd Ac +
) (
*
t x
n
c
) ( t x
n
c
( ) x t real Re{ }
n
c pary Im{ }
n
c impar
( ) x t real
*
n n
c c
=
( ) x t par
n
c par
( ) x t realypar
n
c realypar
Tabla4.1.AlgunaspropiedadesdelaserieexponencialdeFourier
SeriesdeFourier AnlisisdeFourier
96
4.2. SerietrigonomtricadeFourier
Si se conoce que ) (t x es una seal real, es decir 0 Im{ ( )} x t = , existe una forma
equivalente de representar ) (t x como una serie de Fourier utilizando slo seales
realesqueformanunabaseortogonal.
0
( )
jn t
n
n
x t c e
=
=
Propiedad4.3. { } { } { } { } { } Re ( ) ( ) Re ( ) Re ( ) Im ( ) Im ( ) x t y t x t y t x t y t =
Demostracin.Paratodafuncinovariable x secumpleque
( ) Re{ } Im{ } x t x j x
= (2)
( )
1
2
*
Re{ } x x x = + (3)
( )
1
2
*
Im{ } x x x
j
= (4)
Utilizando(3)paraelproducto xy ,setiene
( )
1 1
2 2
* * *
Re{ } ( ) xy xy xy xy x y = + = +
Ahora,utilizandolasdefiniciones(1)y(2)sobreestaltimaecuacinsetiene
( )( )
( )( )
1
2
Re{ } Re{ } Im{ } Re{ } Im{ }
Re{ } Im{ } Re{ } Im{ }
xy x j x y j y
x j x y j y
= + +
Representemosslolaparterealdelaseal ( ) x t ,paraello
SeriesdeFourier AnlisisdeFourier
97
0 0
Re{ ( )} Re Re{ }
jn t jn t
n n
n n
x t c e c e
= =
= =
UtilizandolaPropiedad4.3,setiene
( ) ( )
0 0
Re{ ( )} Re{ }Re{ } Im{ }Im{ }
jn t jn t
n n
n n
x t c e c e
= =
=
0 0
Re{ ( )} Re{ }cos( ) Im{ }sin( )
n n
n n
x t c n t c n t
= =
=
Utilizando(3)y(4)setiene
( ) ( )
0 0
1 1
2 2
* *
Re{ ( )} cos( ) sin( )
n n n n
n n
x t c c n t c c n t
j
= =
= +
= ,porlocual
( ) ( )
0 0
1 1
2 2
( ) cos( ) sin( )
n n n n
n n
x t c c n t c c n t
j
= =
= +
El trmino
n n
c c
= + se cumple
n n
t t
= .Porotrolado,eltrmino
n n
c c
esimparconrespectoa n ,puessihacemos
n n n
t c c
= secumple
n n
t t
= ;portalmotivo
( ) ( )
0 0
par par
1
2 2
( ) cos( ) sin( )
n n n n
n n
j
x t c c n t c c n t
= =
= + +
144424443 144424443
puesel
0
cos( ) n t y
0
sin( ) n t sonpareimparconrespectoa n ,respectivamente.La
sumatoriade a deunasealparesigualadosveceslasumatoriade1a ms
eltrminocero.Deacuerdoaestopodemosreescribir ( ) x t ,como
( ) ( )
0 0 0
1 1
( ) cos( ) sin( )
n n n n
n n
x t c c c n t j c c n t
= =
= + + +
Definamosloscoeficientesdelaserietrigonomtrica,deacuerdoa
0 0
a c =
n n n
a c c
= + ( )
n n n
b j c c
SeriesdeFourier AnlisisdeFourier
98
Definicin4.2.LaserietrigonomtricadeFourierdeunasealreal ( ) x t ,estadadapor
0 0 0
1 1
( ) cos( ) sin( )
n n
n n
x t a a n t b n t
= =
= + +
donde
0
1
( )
T
a x t dt
T
=
0
2
( )cos( )
n
T
a x t n t dt
T
=
0
2
( )sin( )
n
T
b x t n t dt
T
=
Ejemplo4.9.Representelaseal ) (t x utilizandolaserietrigonomtricadeFourier.
= + = + = y
2
*
( ) ( ) Im{ }
n n n n n n
b j c c j c c c
= = = , para todo
+
Z n . A partir de este hecho y
utilizandoladefinicinde
n
c puedenserencontradoslocoeficientes
n
a y
n
b .
2
2
2
2 2 0
0 2
2 2 4
( )
( )
( )
t t
x t t t
t t
+ < <
= < <
< <
M M
M M
SeriesdeFourier AnlisisdeFourier
99
Paraelcoeficiente
0
a ovalormediodelaseal,setiene
2
3
2
0
0 0 0
1 1 4
2 6 3
( )
T T
t
a x t dt t dt
T
= = = =
Paraloscoeficientes
n
a ,setiene
2
2
0
0 0
2
( )cos( ) cos( )
T
n
a x t n t dt t n t dt
T
= =
Integrandoporpartes
= =
= =
n
t n
v tdt du
t n dv t u
) sin(
2
) cos(
2
2
2 2
2
0 0 0
2
2
sin( ) sin( )
sin( )
n
n t n t
a t t dt n t t dt
n n n
= =
Integrandoporpartesnuevamente,setiene
sin( )
cos( )
u t dv n t
n t
du dt v
n
= =
= =
2
2
0 0
2 cos( ) cos( )
n
t n t n t
a dt
n n n
= +
( ) ( )
2
2 2
0
2 2 4 sin( )
n
n t
a
n n
n n
= + =
Paralocoeficientes
n
b ,setiene
2
2
0
0 0
2
( )cos( ) sin( )
T
n
b x t n t dt t n t dt
T
= =
Integrandoporpartes
SeriesdeFourier AnlisisdeFourier
100
2
2
sin( )
cos( )
u t dv n t
n t
du tdt v
n
= =
= =
2
2 2
2
0 0 0
4 2
2 2
cos( ) cos( ) cos( ) cos( )
n
n t n t n n t
b t t dt t dt
n n n n
= + = +
Integrandoporpartesnuevamente,setiene
cos( )
sin( )
u t dv n t
n t
du dt v
n
= =
= =
2
2
0 0
4 4
2
sin( ) sin( )
n
t n t n t
b dt
n n n n
= + =
LaserietrigonomtricadeFourierpara ( ) x t vienedadapor
2 2
1 1
4 4 1 4 1
3
( ) cos( ) sin( )
n n
x t n t n t
n n
= =
= +
Figura4.3.Representacinde ( ) x t utilizandolosprimeros15trminosdela
serietrigonomtricadeFourier.
4.2.1. Relacinentrelaserietrigonomtricaylaserieexponencial
Una vez que una sealreal ( ) x t ha sido representada como una serie trigonomtrica
de Fourier, los coeficientes de la serie exponencial pueden ser encontrados de forma
directa a partir de los coeficientes de la serie trigonomtrica. De forma similar, si se
conocen los coeficientes de la serie exponencial de Fourier de una seal real, los
coeficientesdelaserietrigonomtricapuedensercalculadosapartirdeestos.
SeriesdeFourier AnlisisdeFourier
101
Si queremos encontrar los coeficientes de la serie exponencial a partir de los
coeficientesdelaserietrigonomtricadeFourier,esdecir,
0
{ } { , , }
n n n
c a a b ,sehace
0 0
a c =
2 1 2 3 Re{ }, , , ...
n n
a c n = =
2 1 2 3 Im{ }, , , ...
n n
b c n = =
0 0
c a =
1
2
1 2 3 ( ), , , , ...
n n n
c a jb n = =
Paraencontrarloscoeficientes
n
c paravalornegativosde n ,sehace
*
n n
c c
= .
Ejemplo4.10.EncuentreloscoeficientesdelaserieexponencialdelEjemplo4.9.
Solucin.
0 0
4
3
c a = =
Loscoeficientes
n
c para n positivo, 1 2 3 , , , ... n = ,son
[ ]
2
1 1 4 4
2 2 ( )
n n n
c a jb j
n n
= = +
2
2
1 1 2 3 ( ) , , , ...
( )
n
c jn n
n
= + =
Loscoeficientes
n
c ,para n negativo,seencuentrancomo
2
2
1 , 1 2 3
*
( ) , , , ...
( )
n n
c c jn n
n
= = =
Portalmotivoloscoeficientesdelaserieexponencial,estndadospor
2
4 3 0
2
1 0
/
( )
( )
n
n
c
jn n
n
=
+
SeriesdeFourier AnlisisdeFourier
102
ylaserieexponencialparalaseales
2 2
0
4 2 1
3
( )
jn t
n
n
jn
x t e
n
+
= +
Ejemplo 4.11. Encuentre los coeficientes delaserie trigonomtrica de Fourier para la
sealdelEjemplo4.3.
Solucin.
0 0
A
a c
= =
2
2Re{ } sin( )
n n
A
a c n
n
= =
2 0 Im{ }
n n
b c = =
Solucin.Conociendoque
2
1
2
1 2 cos ( cos ) = + ,podemosreescribirlasealcomo
1 1
2 3
2 2
( ) cos( ) sin( ) cos( ) x t t t t = + + +
EsexpresincorrespondealaserietrigonomtricadeFourierdelaseal,puesesuna
sumadesenosycsenos.Paraidentificarloscoeficientesdelaserieprimerosedebe
encontrar el periodo de la seal. La seal ( ) x t tiene 2 T = , por lo cual
0
1 = . El
trminoindependientecorrespondealvalormedioonivelDCdelaseal,entonces
0
1 2 / a =
Elcoeficiente
n
a acompaaal
0
cos( ) n t enlaserietrigonomtrica.Paranuestraseal
elcoeficiente
n
a acompaaal cos( ) nt ,porlocual
1
2 2
3
2 2 1 2
3 3 1
cos( ) /
cos( )
t n a
t n a
= =
= =
Deformasimilar,elcoeficiente
n
b acompaaal
0
cos( ) n t enlaserietrigonomtrica.
Paranuestrasealelcoeficiente
n
b acompaaal sin( ) nt ,porlocual
SeriesdeFourier AnlisisdeFourier
103
1
1 1 sin( ) t n b = =
= > , entonces
1
2 / c j
= ,
2
1 4 / c
= y
3
1 2 / c = .Losdemscoeficientessoncero.
4.2.2. SerietrigonomtricadeFourierparasealespareseimpares
Conocerqueunasealesparoimparestilparaagilizarelclculodeloscoeficientes
delaserietrigonomtricadeFouriercuandosetomaelintervalo 2 2 [ / , / ] T T .Eneste
casolaseriepuedereducirsedependiendosi ) (t x esparoimpar.
4.2.2.1. ( ) x t par
Enestecaso,elproducto
0
( )sin( ) x t n t esimparyloscoeficientes
n
b soncero.
2
0
2
impar
2
0
/
/
( )sin( )
T
n
T
b x t n t dt
T
= =
1442443
Elproducto
0
( )cos( ) x t n t espar,porlocual
2 2
0 0
2 0
par
2 4
/ /
/
( )cos( ) ( )cos( )
T T
n
T
a x t n t dt x t n t dt
T T
= =
1442443
Finalmente,dadoquelaseal ( ) x t espar,suvalormediopuedeencontrarsecomo
{
2 2
0
2 0
par
1 2
/ /
/
( ) ( )
T T
T
a x t dt x t dt
T T
= =
Portalmotivo,paraunasealparlaserietrigonomtricadeFourieresdelaforma
0 0
1
( ) cos( )
n
n
x t a a n t
=
= +
SeriesdeFourier AnlisisdeFourier
104
< < +
< < +
=
t t
t t
t x
0
2
0
2
) (
4.2.2.2. ) (t x impar
Elproducto
0
( )cos( ) x t n t esimparyloscoeficientes
n
a soncero.
2
0
2
2
0
/
/
( )cos( )
T
n
T
a x t n t dt
T
= =
Elproducto
0
( )sin( ) x t n t espar,porlocual
2 2
0 0
2 0
par
2 4
/ /
/
( )sin( ) ( )sin( )
T T
n
T
b x t n t dt x t n t dt
T T
= =
1442443
Dadoquelasealesimpar,suvalormedioescero.
{
2
0
2
impar
1
0
/
/
( )
T
T
a x t dt
T
= =
As,paraunasealimparlaserietrigonomtricadeFouriercomoesdelaforma
0
1
( ) sin( )
n
n
x t b n t
=
=
Ejemplo4.13.EncuentrelaserietrigonomtricadeFourierdelaseal.
0
2 2
1
2
1
) (
2
0
2
0
2 /
0
0
=
+ =
+ = =
t
dt t dt t x
T
a
T
2
0 0
4 2
2
/
( )cos( ) cos( )
T
n
a x t nt dt t nt dt
T
= = +
0 0
2
cos( )
cos( ) cos( )
sin( )
n
u t dv nt dt
a t nt dt nt dt
nt
du dt v
n
= =
= +
= =
0 0 0
2 1 sin( ) sin( )
sin( )
n
t nt nt
a nt dt
n n n
= +
[ ]
2 2
0
2 2
0
.
cos( )
cos( ) cos( )
n
nt
a n
n n
= =
[ ]
2
2
4
impar 2
1
0 par
cos( )
n
n
a n
n
n
n
= =
Laserietrigonomtricapuedeescribirsecomo
[ ]
2 2
1 1
impar
4 1 4 1
2 1
2 1
( ) cos( ) cos ( )
( )
n n
n
x t nt n t
n n
= =
= =
Ejemplo4.14.EncuentrelaserietrigonomtricadeFourierdelaseal
1 0
2
1 0
2
( )
t
x t
t
< <
< <
SeriesdeFourier AnlisisdeFourier
106
Solucin.Paraestaseal T = porlocual
0
2 = .Dadoque ) (t x esimparentonces
loscoeficientes
n
a y
0
a soncero.Loscoeficientes
n
b puedenencontrarsecomo
2 2
0
0 0
4 4
2
/ /
( )sin( ) sin( )
T
n
b x t n t n t
T
= =
[ ]
2
0
4 2 2
0
2
/
cos( )
cos( ) cos( )
n
n t
b n
n n
= = +
[ ]
4
impar 2
1
0 par
cos( )
n
n
b n
n
n
n
= =
Laserietrigonomtricapuedeescribirsecomo:
[ ]
1 1
impar
2 1 2
4 4
2
2 1
sin ( )
( ) sin( )
n n
n
n t
x t n t
n n
= =
= =
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
( )
2
2 2 2
0
1
0
1 1
2
( )
T
n n
n
P x t dt a a b
T
=
= = + +
Demostracin.
1
2 2 2 2
0
1
n n n
n n n
P c c c c
= = =
= = + +
= = ;aspodemosreescribir
1
2 2 2
0
1
n n
n n
P c c c
= =
= + +
2 2
0
1
2
n
n
P c c
=
= +
SeriesdeFourier AnlisisdeFourier
107
Conociendoque
0 0
c a = y
1
2
( )
n n n
c a jb = ,para 0 n > ,setiene
2 2 2 2
1 1
0 0 2 4
1 1
2 2 ( )
n n n n
n n
P a a jb a a jb
= =
= + = +
( )
2
2
2 2
0
1
1
2
n n
n
P a a b
=
= + +
Elvalormediodelasealreal ( ) x t esunvalorreal,porlocual
2
2
0 0
a a = ylapotencia
promediopuedeescribirsecomo
( )
2 2 2
0
1
1
2
n n
n
P a a b
=
= + +
Solucin.Lasealyaseencuentraexpresadacomounaserietrigonomtrica,entonces
( )
2 2 2
0
1
1
2
n n
n
P a a b
=
= + +
2 2
2 2
1 1 1 11
1 1
2 2 2 8
P
= + + + =
( )
2 2 2
0
1
1
2
n n
n
P a a b
=
= + +
2
2
1
1
2 2
A
P b = =
SeriesdeFourier AnlisisdeFourier
108
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
0 0 M
V c a = =
EspectrodeFourier
Graficode
0
vs
n
c n
Potenciapromedio
2
2 2 2
0
1
1
2
( )
n n n
n n
P c a a b
= =
= = + +
4.3.2. Convolucincircularcontina
[ ]
0 0
1 1
( ) ( ) ( ) ( ) ( ) ( )
T T
h t x y t x y t d x t y d
T T
= = =
Figura4.4.Sealesperidicas.
Laseal ( ) y correspondeaunversinreflejadadelaseal ( ) y .
Figura4.5.Versinreflejadadelasealy(t).
Laconvolucincircular ( ) h t indicalacantidaddetraslape,enunintervalodelongitud
T , entre la seal ( ) x y una versin desplazada en t de la seal ( ) y , como se
ilustraenlafigura.Eltraslapeencualquierintervalodelongitud T eselmismo.
Figura4.6.Traslapeentrelassealesperidicas(engris).
=
n
t jn
n
e r t h
0
) (
donde
T
2
0
= yloscoeficientesdelaserieexponencialpuedenencontrarsecomo
=
T
t jn
n
dt e t h
T
r
0
0
) (
1
Demostracin.Lasseales ( ) x t y ( ) y t alserperidicaspuedenexpresarsecomo
=
n
t jn
n
e c t x
0
) ( con
=
T
t jn
n
dt e t x
T
c
0
0
) (
1
=
n
t jn
n
e d t y
0
) ( con
=
T
t jn
n
dt e t y
T
d
0
0
) (
1
Portalmotivopodemosreescribir ( ) h t como
0
( )
0 0
1 1
( ) ( ) ( ) ( )
T T
jn t
n
n
h t x t y d c e y d
T T
=
= =
0 0
0
1
( ) ( )
T
jn jn t
n
n
h t y e d c e
T
=
=
0
( )
jn t
n n n n n
n
h t c d e r c d
=
= =
2 2
( ) sin( )
jt jt
j j
x t t e e
= = +
1 1
1 1
2 2
( ) cos( )
jt jt
y t t e e
= + = + +
= = = . La serie exponencial de la
convolucincircularentrelassealesperidicases
( )
jnt
n
n
h t r e
=
=
donde
n n n
d c r = .Utilizandoloscoeficientesobtenidospara ( ) x t y ( ) y t setiene
0
0 0 0
= = d c r
1 1 1
4 / r c d j = =
1 1 1
4 / r c d j
= =
Portalmotivo,laconvolucincircularpuedeobtenersecomo
1 1
( )
4 4
jt jt jt jt
j j
h t r e r e e e
= + = +
1 1
( ) sin( )
2 2 2
jt jt
e e
h t t
j
= =
4.3.3. Oscilacionesforzadas
Considereunsistemamasaresorte,alcualleesaplicadaunfuerzaexterna ( ) F t .
Figura4.7.Sistemamasaresorteamortiguado.
SeriesdeFourier AnlisisdeFourier
112
Eltrmino k eslaconstantedelresorte, c laconstantedefriccindelasuperficie, m
lamasadelobjetoy x suposicinhorizontal.
La sumatoria de fuerza en el sistema fsico debe ser igual a cero, por lo cual fuerza
externaaplicada ( ) F t debeserigualalafuerzadelobjeto,mslafuerzadefriccinde
lasuperficie,mslafuerzadeoposicindelresortealmovimiento.Lafuerzaqueacta
sobreunobjetoesdirectamenteproporcionalasumasayasuaceleracin.Lafuerza
defriccinesdirectamenteproporcionalalcoeficientedefriccinyalavelocidaddel
objeto. La fuerza en el resorte es directamente proporcional a su constante por su
desplazamiento.As,lasumatoriadefuerzasdelsistemapuedeexpresarseenfuncin
delaposicindelobjeto, ( ) x t ,como
.. .
( ) ( ) ( ) ( ) mx t c x t kx t F t + + =
dondecadapuntorepresentaunaderivadaconrespectoaltiempo.Silafuerzaexterna
( ) F t es peridica y la constante de friccin no es cero, la respuesta del sistema en
estadoestableesoscilatoriaconfrecuenciaigualalafrecuenciafundamentalde ( ) F t .
Supongaquelafuerzaexternaaplicadacorrespondeaunasealsinusoidal,entonces
.. .
( ) ( ) ( ) cos( ) mx t c x t kx t D t + + =
0
.. .
( ) ( ) ( ) mx t c x t kx t + + =
Lasolucingeneraldeestaecuacinesdelaforma
1 2
1 2
( )
r t r t
H
x t c e c e = + ,donde
1
r y
2
r
sonlasracesdelaecuacincaracterstica
2
0 mr cr k + + =
Lasracesdeestepolinomioestndadaspor
2
1,2
4
2
c c mk
r
m
=
Motivoporelcual,lasraces
1
r y
2
r seencuentranenalgunodeestosdoscasos
Ambasnegativas(
1 2
, 0 r r < ).
SeriesdeFourier AnlisisdeFourier
113
Complejasconjugadasconparterealnegativa.
Encualquieradeloscasos, 0 ) ( lim =
t x
H
t
,entonces lim ( ) ( )
P
t
x t x t
= .
( ) cos( ) sin( )
P
x t A t B t = +
Lasconstantes Ay B puedenencontrarsehaciendo
.. .
( ) ( ) ( ) cos( )
P P P
mx t c x t kx t D t + + =
delocualseobtiene
2
2 2 2
( )
( ) ( )
D k m
A
k m c
=
+
2 2 2
( ) ( )
D c
B
k m c
=
+
Conociendolasolucinparticularsetienequelasolucindelsistemaes
( ) cos( ) sin( ) x t A t B t = +
0 0 0
1 1
( ) cos( ) sin( )
n n
n n
F t a a n t b n t
= =
= + +
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.
SeriesdeFourier AnlisisdeFourier
114
Solucin.Laecuacinparaestesistemaes
0 02 25
.. .
( ) . ( ) ( ) ( ) x t x t x t F t + + =
2
1
4 1 4 1 1
3 5
9 25
( ) cos( ) cos( ) cos( ) cos( )...
n
n impar
F t nt t t t
n
=
=
= = + +
Encontremoslasolucindelaecuacindelsistemaparacadaunadelascomponentes
delafuerza ( ) F t ,cadaunadelascualesesdelaforma
2
4cos( ) / nt n ,con n impar.
Consideremoslasecuacionesdiferencialesdelaforma
2
4
0 02 25
.. .
( ) . ( ) ( ) cos( ) x t x t x t nt
n
+ + =
( ) cos( ) sin( )
n n n
x t A nt B nt = +
donde
0
2
( )
0
2
t t
F t
t t
+ < <
+ < <
SeriesdeFourier AnlisisdeFourier
115
2
2 2 2 2
4 25
25 0 02
( )
( ) ( . )
n
n
A
n n n
=
+
2 2 2 2
4 0 02
25 0 02
.
( ) ( . )
n
n
B
n n n
=
+
Entonces,larespuestageneraldelsistemapuedeescribirsecomo
1 1
( ) ( ) cos( ) sin( )
n n n
n n
n impar n impar
x t x t A nt B nt
= =
= =
= = +
4.4. Resumen
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.
enlarepresentacindelamisma.
SeriesdeFourier AnlisisdeFourier
116
El teorema de Parseval para la serie exponencial establece que la potencia
promedio de una sea peridica puede ser encontrada sumando los coeficientes
delaserieexponencialenmagnitudalcuadrado.
Si se desea representar una seal real es suficiente utilizar una base ortogonal
formada por seales reales. La seales de la forma
0
cos( ) n t y
0
sin( ) n t , con
Z n , son mutuamente ortogonales en un intervalo
1 2
[ , ] t t si
0 2 1
2 /( ) t t = .
Dicho conjunto de seales forma una base ortogonal para el espacio vectorial
formadoporlassealesconenergafinitaendichointervalo(finito).
4.5. Ejercicios
Seccin4.14.3
1. EncuentreloscoeficientesdelaserieexponencialdeFourier,delasealperidica
2. UsandolaserieexponencialdeFourierrepresentelasealperidica
0 1 ( )
t
x t e t
= < <
SeriesdeFourier AnlisisdeFourier
117
2
3
4
( )
( )
jn t
n
x t e
n
=
=
+
a. Determineelvalorde T
b. Cualeselvalormediode ) (t x ?
c. La componente de ) (t x en cierta frecuencia puede expresarse como
) cos( t a 3 .Determineelvalorde a .
7. Encuentrelacomponentedefrecuencia 5 ,delasealperidicadelPunto1.
Seccin4.4
8. GrafiqueelespectrodeFourierdelasealdelPunto5.
10. UtilizandoelTeoremadeParsevalparalaserieexponencial,encuentrelapotencia
promediodelasealperidicadelPunto5.
11. Aproxime la potencia promedio de la seal peridica del Punto 2 utilizando los
coeficientesdelaserieexponencialcon 10 n .Aquporcentajedelaverdadera
potenciapromediodelasealcorrespondeestaaproximacin?
Seccin4.6
Seccin4.7
18. UsandolaserietrigonomtricadeFourier,representelasiguientesealperidica
SeriesdeFourier AnlisisdeFourier
119
20. EncuentrelaserietrigonomtricadeFourierdelasealperidicadelPunto2.
21. EncuentrelaserietrigonomtricadeFourierdelasealdelPunto5.
Seccin4.8
23. Representelaseal
2
2 3 ( ) sin ( ) cos( ) cos( ) x t t t t = + comounaserietrigonomtrica
de Fourier, identifique los coeficientes y a partir de ellos obtenga los coeficientes
delaserieexponencial.
Seccin4.10
25. Aproxime la potencia promedio de la seal peridica del Punto 2 utilizando los
coeficientes de la serie trigonomtrica con 10 n . A qu porcentaje de la
verdaderapotenciapromediodelasealcorrespondeestaaproximacin?
SeriesdeFourier AnlisisdeFourier
120
ESTAPGINASEDEJAINTENCIONALMENTEENBLANCO
5
TRANSFORMADA DE FOURIER
5.1. DeduccindelatransformadadeFourierL
1
Hasta este punto hemos podido representar una seal ( ) x t sobre un intervalo de
longitudfinita
1 2
[ , ] t t ,utilizandolaserieexponencialdeFourier,mediante
0
1 2
( )
jn t
n
n
x t c e t t t
=
= < <
dondelasfunciones
0
{ }
jn t
e
formanunabaseortogonalen
1 2
[ , ] t t yloscoeficientes
n
c
puedenserencontradosdeacuerdoa
2
0
1
0
2 1 2 1
1 2
( ) ,
t
jn t
n
t
c x t e dt
t t t t
= =
Silaseal ( ) x t esperidicayelintervalo
1 2
[ , ] t t seeligedelongitudigualalperiodo T
delaseal,laserieconvergealasealparatodoslosinstantesdetiempo.
5.1.1. Representacindesealesnoperidicas
Suponga que se quiere representar una seal no peridica ( ) x t como una suma de
exponencialescomplejosenelintervalo ( , ) .Enestecasonosepuedeutilizarde
formadirectalaserieexponencialdeFourier,pues
2 1
t t = y
0
0 = .
Figura5.1.Sealnoperidica.
TransformadadeFourier AnlisisdeFourier
122
Figura5.2.Sealperidica.
Lasealoriginal ( ) x t puederecuperarseapartirdelasealperidicahaciendo
lim ( )
T
T
x x t
0
( )
jn t
T n
n
x t c e
=
=
donde
0
2
0
2
1 2
/
/
( ) ,
T
jn t
n T
T
c x t e dt
T T
= =
Paraunasealperidica ( )
T
x t enparticular,setienesuespectrodeFourier.
Figura5.3.EspectrodeFourierdeunasealperidica.
Definamoslasfunciones
0 n
n = y ( )
n n
X Tc = ,entonceslaseriedeFourierdela
sealperidica ( )
T
x t puedereescribirsecomo
TransformadadeFourier AnlisisdeFourier
123
( )
( )
n
j t n
T
n
X
x t e
T
donde
2
2
/
/
( ) ( )
n
T
j t
n T
T
X x t e dt
1
2 2
( )
( ) ( )
/
n n
j t j t
n
T n
n n
X
x t e X e
= =
= =
Figura5.4.EspectrodeFourierdelasealperidicaparaTgrande.
Enellmitecuando T ,laseal ( )
T
x t llegaaserlaseal ( ) x t ,porlocual
1
2
( ) lim ( ) lim ( )
n
j t
T n
T T
n
x t x t X e
=
= =
1
2
( ) ( )
j t
x t X e d
donde
( ) ( )
j t
X x t e dt
De esta forma pudimos representar nuestra seal ( ) x t para todos los valores del
tiempo.Laseal ( ) X seconocecomolatransformadadeFourier
1
L de ( ) x t .
5.2. TransformadadeFourierL
1
Sea
1
( ) x t L ,entoncessutransformadadeFourierpuedeserencontradacomo
{ ( )} ( ) ( )
j t
x t X x t e dt
= =
donde { }
j t
e dt
,eseloperadorquecalculalatransformadadeFourier.
1
1
2
{ ( )} ( ) ( )
j t
X x t X e d
= =
El operador
1
1
2
{ }
j t
e dt
Ejemplo5.1.EncuentrelaTFdelaseal donde ( ) ( ) , R
at
x t e u t a
+
= .
Observacin5.1.Lasintegralesanteriorespermitenencontrarlatransformadayla
transformadainversadeFourier,respectivamente,desealesen
1
L .Lasintegrales
anterioresnonecesariamenteconvergenparasealesquenopertenecena
1
L .
TransformadadeFourier AnlisisdeFourier
125
Solucin.Primerosedebeverificarquelasealpertenecea
1
L .
0
1
1
0
1 1
1 ( ) ( ) R ( )
at
at
e
x t x t dt e dt e x t L
a a a
= = = = =
Lasealpertenecea
1
L ,entoncessutransformadadeFourieresencontradacomo
0
0 0
1
( )
( )
( ) ( )
t a j
j t at j t t a j
X x t e dt e e dt e dt
a j a j
+
+
= = = = =
+ +
Figura5.5.TransformadadeFourierdelaseal:graficocomplejoymagnitud.
Ejemplo5.2.EncuentrelatransformadadeFourierdeunpulsodeancho2a ,donde
R a
+
,centradoenelorigen.
0 0
0
( )
at
t
x t
e t
<
=
>
1
0 otro caso
( )
a t a
x t
< <
=
TransformadadeFourier AnlisisdeFourier
126
Solucin.Primerosedebeverificarquelasealpertenecea
1
L .
1
1
2 ( ) ( ) R ( )
a
a
x t x t dt dt a x t L
= = =
Lasealpertenecea
1
L ,entoncessutransformadadeFourieresencontradacomo
( )
1
( ) ( )
a
a j t
j t j t j a j a
a a
e
X x t e dt e dt e e
j j
= = = =
( ) [ ]
2 2
2
( ) sin( )
j a j a
X e e a
j
= =
2
2
sin( )
( ) sinc( )
a a
X a a
a
= =
Figura5.6.TransformadadeFourierdelaseal.
sin( )
sinc( )
t
t
t
=
0 0 0
1
sin( ) cos( )
lim sinc( ) lim lim
t t t
at a at
at
at a
= = =
TransformadadeFourier AnlisisdeFourier
127
Ejemplo5.3.EncuentrelatransformadainversadeFourierdelaseal
Solucin.Encontremosprimerolanorma
1
L de ( ) X
3 3
1
1
3 0
2 9 ( ) ( ) ( ) X X d d d X L
= = = =
LatransformadainversadeFourierde ( ) X puedeserencontradacomo
3
3
1 1
2 2
( ) ( )
j t j t
j t
j t
u du d
x t X e d e d
e
dv e v
jt
= =
= =
= =
( )
3 3
3 3
3 3
2
3 3 3
1 1 1
3 3
2 2
( )
j t j t j t
j t j t
e e e
x t d e e
jt jt jt t
= = + +
( ) ( )
3 3 3 3
2 2
1 3 1 1 3
3 3
2
( ) cos( ) sin( )
j t j t j t j t
j
x t e e e e t t
jt t jt t
= + + = +
2
1 3
3 3 ( ) sin( ) cos( )
j
x t t t
t t
=
5.2.1. InterpretacindelaTransformadadeFourierL
1
Figura5.7.Comparacindelasealx(t) ylaparterealdelexponencialcomplejo.
Portalmotivo,paraunvalordadode , X ( ) indicaquetantodeesafrecuencia
se encuentra presenteen la seal. Dado que X ( ) se define para todo valor real de
,podemosconocerquefrecuenciasseencuentrapresentesenlasealbajoanlisis.
1
( ) ( )
2
j t
x t X e d
5.2.2. ConvergenciadelaTransformadadeFourierL
1
EnladefinicindelatransformadaylatransformadainversadeFourier
1
L ,seindic
quesuutilizacinserestringeasealesquepertenecenalconjunto
1
L .Acontinuacin
revisaremoselporqudeestarestriccin.
Propiedad 5.1. Si
1
) ( L t x entonces la integral de la transformada de Fourier
1
L
convergeparacualquiervalorde .
TransformadadeFourier AnlisisdeFourier
129
Demostracin.
1
( ) ( ) ( ) ( ) ( ) ( )
j t j t j t
X x t e dt x t e dt x t e dt x t dt x t
= = =
Paratodovalorde secumpleque
1
( ) ( ) X x t .Portalmotivo,lamagnituddela
transformadadeFourierestacotadaporlanorma
1
L delaseal.
Propiedad5.2.Si
1
) ( L X entonceslaintegraldelatransformadainversadeFourier
1
L convergeparacualquiervalorde t .
Demostracin.
1
1 1 1 1
2 2 2 2
( ) ( ) ( ) ( ) ( )
j t j t
x t X e d X e d X d X
= = =
Paratodovalorde t secumpleque
1
2
1
( ) ( ) x t X
QuedademostradoasquelasintegralesdeFourierpuedenserutilizadasparaseales
en
1
L concertezaabsolutadesuconvergencia.
5.2.3. PropiedadesdelatransformadadeFourierL
1
5.2.3.1. Linealidad:Superposicinyhomogeneidad
{ ( ) ( )} [ ( ) ( )] ( ) ( )
j t j t j t
ax t by t ax t by t e dt a x t e dt b y t e dt
+ = + = +
Observacin5.2.Si
1
( ) x t L entonces ( ) x t
1
= yladesigualdad ( ) X ( ) x t
1
notienesentido.Portalmotivo,nosepuedegarantizarquelasintegralesdeFourier
convergenparasealesnopertenecientesa
1
L .
TransformadadeFourier AnlisisdeFourier
130
{ ( ) ( )} { ( )} { ( )} ( ) ( ) ax t by t a x t b x t aX bY + = + = +
5.2.3.2. Complejoconjugado
*
*
* *
{ ( )} ( ) ( ) ( )
j t j t j t
x t x t e dt x t e dt x t e dt
= = =
*
* ( ) *
{ ( )} ( ) ( )
j t
x t x t e dt X
= =
5.2.3.3. Simetra
LatransformadadeFourierpuedeexpresarsecomo
( ) ( )cos( ) ( )sin( ) X x t t dt j x t t dt
=
Supongamosque ( ) x t esreal,entonces
Re{ ( )} ( )cos( ) X x t t dt
Im{ ( )} ( )sin( ) X x t t dt
Re{ ( )} X espar
Im{ ( )} X esimpar
( ) X espar
2 2
( ) Re{ ( )} Im{ ( )} X X X = +
Lasfunciones
2
Re{ ( )} X y
2
Im{ ( )} X sonpares,lasumadesealesparesespary
larazcuadradadeunasealparespar.
( ) X esimpar
{ }
{ }
{ }
{ }
1 1
Im ( ) Im ( )
( ) tan tan
Re ( ) Re ( )
x x
X
x x
= =
{ }
{ }
1
Im ( )
( ) tan ( )
Re ( )
x
X X
x
= =
Si ( ) x t esparentonces
0
par
2 Re{ ( )} ( )cos( ) ( )cos( ) X x t t dt x t t dt
= =
14243
impar
0 Im{ ( )} ( )sin( ) X x t t dt
= =
14243
Enestecasolatransformadaesunsealrealypuedeencontrasecomo
0
2 ( ) ( )cos( ) X x t t dt
Si ( ) x t esimparentonces
impar
0 Re{ ( )} ( )cos( ) X x t t dt
= =
14243
0
par
2 Im{ ( )} ( )sin( ) ( )sin( ) X x t t dt x t t dt
= =
14243
Enestecasolatransformadaesunsealimaginariaypuedeencontrasecomo
0
2 ( ) ( )sin( ) X j x t t dt
TransformadadeFourier AnlisisdeFourier
132
5.2.3.4. Dualidad
Supongaque { ( )} ( ) x t X = ,entonces
1
2
( ) ( )
j t
x t X e d
Ahora,intercambiandolasvariables y t setiene
1
2
( ) ( )
j t
x X t e dt
2 ( ) ( )
j t
x X t e dt
ElladoderechodeestaecuacincorrespondealatransformadadeFourierdelaseal
( ) X t ,portalmotivo,
2 { ( )} ( ) X t x =
Figura5.8.Latransformadadeunpulsoesunasealsinc.
Figura5.9.Latransformadadeunasealsincesunpulso.
TransformadadeFourier AnlisisdeFourier
133
Esta propiedad es de gran utilidad para encontrar la transformada de Fourier de
sealesquenopertenecena
1
L ,comoveremosmsadelante.
Ejemplo5.4.EncuentrelatransformadadeFourierdelaseal 1 2 ( ) /( ) x t j = + .
= + y utilizando la propiedad de
dualidadpara
2
( ) ( )
t
x t e u t
= y 1 2 ( ) /( ) X j = + ,setieneque
2
1 2 2 2 { /( )} ( ) ( ) j x e u
+ = =
5.2.3.5. Escalamiento
Original Compresin Expansin
Figura5.10.Expansinycompresindeunaseal
ConsideremoslatransformadadeFourierdeunsealescalada
{ } ( ) ( )
j t
u at
x at x at e dt
du adt
=
=
=
{ }
1
si 0
1
si 0
( )
( )
( )
u
j
a
u
j
a
x u e a
a
x at
x u e du a
a
>
<
TransformadadeFourier AnlisisdeFourier
134
{ }
1
si 0
1
si 0
( )
X a
a a
x at
X a
a a
>
=
<
Portalmotivo,
{ }
1
( ) x at X
a a
=
EnlasFiguras5.11y5.12seilustraelefectodelescalamientodeunpulsocentradoen
elorigenyancho 2a .Sielpulsosecomprime,sutransformadadeFourier(sealsinc)
seensancha,loqueindicaquelasealcomprimidapresentafrecuenciasmsaltasque
la seal original. Si el pulso se expande, su transformada se comprime, lo que indica
quelasealexpandidapresentafrecuenciasmsbajasquelasealoriginal.
Figura5.11.Comprensinentiempoexpansinenfrecuencia.
Figura5.12.Expansinentiempocompresinenfrecuencia.
Solucin.Utilizandolapropiedaddeescalamientosetieneque 2 2 2 { ( / )} ( ) x t X =
yporlotanto
( )
2
2 2 1 4 { ( / )} / x t = + .
TransformadadeFourier AnlisisdeFourier
135
5.2.3.6. Desplazamientotemporal
Siunasealseretrazaeneltiempoen
0
t ,lamagnituddesutransformadanosealtera
yacadacomponentedefrecuenciaseleagregaunafasenegativadevalor
0
t .
Figura5.13.Desplazamientotemporaldeunaseal.
ConsideremoslatransformadadeFourierdeunasealdesplazada
{ }
0
0 0
( ) ( )
j t
u t t
x t t x t t e dt
du dt
=
=
=
{ }
0
0
( )
( ) ( )
j u t
x t t x u e du
=
{ }
0
0
( ) ( )
j t j u
x t t e x u e du
Portalmotivo,
{ }
0
0
( ) ( )
j t
x t t X e
=
5.2.3.7. DesplazamientoenFrecuencia(Modulacindeamplitud)
Cuandounaseal ( ) x t esmultiplicadaeneltiempoporunexponencialcomplejode
frecuencia
0
,sutransformadadeFourier ( ) X sedesplazahasta
0
.
ConsideremoslaTFdeunasealmultiplicadaporunexponencialcomplejo
{ }
0 0
( ) ( )
j t j t j t
x t e x t e e dt
=
Observacin5.4. { } { }
0
0
( ) ( ) ( ) ( )
j t
x t t X e X x t
= = =
TransformadadeFourier AnlisisdeFourier
136
{ }
( )
0 0
( ) ( )
j t j t
x t e x t e dt
Portalmotivo,
{ }
0
0
( ) ( )
j t
x t e X
EnFiguras5.14y5.15seilustraelefectodemultiplicarunpulsocentradoenelorigen
yancho 2a ,porunexponencialcomplejodefrecuencia
0
.
Figura5.14.Sealpulsomultiplicadaporunexponencialcomplejo.
Figura5.15.Desplazamientodelasealsinchastalafrecuencia
0
Figura5.16.Modulacindeamplitud.
TransformadadeFourier AnlisisdeFourier
137
0 0
0
1 1
2 2
{ ( )cos( )} { ( ) } { ( ) }
j t j t
x t t x t e x t e
= +
0 0 0
1 1
2 2
{ ( )cos( )} ( ) ( ) x t t X X = + +
= ,
entonces 1 1 ( ) /( ) X j = + .Simodulamoslasealconel 10 cos( ) t setieneque
0 0
1 1 1
10
2 1 1
{ ( )cos( )}
( ) ( )
t
e u t t
j j
= +
+ + +
EnlasFiguras5.17y5.18seilustraelefectodelamodulacinsobrelasealoriginal.
Figura5.17.SealoriginalylamagnituddesutransformadadeFourier.
Figura5.18.SealmoduladaylamagnituddesutransformadadeFourier.
TransformadadeFourier AnlisisdeFourier
138
5.2.3.8. Diferenciacin
Si ( ) X pertenecea
1
L ,entonces
1
2
( ) ( )
j t
x t X e d
Derivandoaambosladosdelaigualdadconrespectoa t setiene
1
d 1
d 2
( )
( ) { ( )}
j t
x t
j X e d j X
t
= =
Portalmotivo,sitransformamosambosladosdelaigualdadobtenemos
d
d
( )
( )
x t
j X
t
=
Similarmente,sepuededemostrarqueparaunaderivadadeordensuperiorsecumple
d
d
( )
( ) ( )
n
n
n
x t
j X
t
=
Ejemplo5.7.SupongaquelatransformadadeFourierdeciertaseal ( ) x t eslafuncin
2
1 1 ( ) /( ) X = + .EncuentrelatransformadadeFourierdelaseal
2 2
d d ( ) / x t t .
Solucin.
2 2
2
2 2
d
d 1
( )
( ) ( )
x t
j X
t
= =
+
5.2.3.9. Propiedadesderivadasdelaintegrabilidadenmagnitud
Lasiguientespropiedadessebasanenelhechodequelaseal ( ) x t pertenecea
1
L .
Si
1
) ( L t x entonces ) ( X esacotada,puessepuededemostrarque
1
( ) ( ) ( ) ( )
j t
X x t e dt x t dt x t
= =
TransformadadeFourier AnlisisdeFourier
139
Deformasimilarsi
1
) ( L X ,entonces ) (t x esacotada,pues
1
1 1 1
2 2 2
( ) ( ) ( ) ( )
j t
x t X e d X d X
= =
Continuidad
Si
1
) ( L X entonces ) ( X esunasealcontinua.Unafuncin ) (x f escontinuasi
0
0 lim ( ) ( ) R
h
f x h f x x
+ =
ParalatransformadadeFouriersetieneque
( )
( ) ( ) ( ) ( )
j h t j t
X h X x t e dt x t e dt
+
+ =
1 ( ) ( ) ( )
j t jht
X h X x t e e dt
+ =
+ = . Sea { }
n
h una sucesin que
tiende a cero a medida que n , entonces basta comprobar que el
[ ]
0 lim ( ) ( )
n
n
X h X
+ = .Paraellosetieneque
[ ]
1 lim ( ) ( ) lim ( )
n
jh t j t
n
n n
X h X x t e e dt
+ =
La seal 1 ( ) [ ]
j t jht
x t e e
pertenece a
1
L , entonces utilizando el Teorema de la
convergencia dominada de Cauchy se puede intercambiar el orden entre la integral y
ellmite,paralocualsetieneque
[ ]
1 0 lim ( ) ( ) lim ( )
n
jh t j t
n
n n
X h X x t e e dt
+ = =
Si
1
) ( L t x entoncessuTFtiendeaceroamedidaque crece,esdecir,
0 lim ( ) lim ( ) X X
= =
( ) ( ) ( / )
j j t
X X e x t e dt
= =
Deacuerdoaestaecuacin,sepuedeescribir
[ ]
2
( ) ( )
( ) ( ) ( / ) ( ) ( / )
j t j t j t
X X
X x t e dt x t e dt x t x t e dt
= =
1442443 144424443
yportalmotivo,
[ ]
0 5 ( ) . ( ) ( / )
j t
X x t x t e dt
0 5 ( ) . ( ) ( / ) X x t x t dt
Sepuededemostrarquesi
1
( ) x t L entonces
0
0 lim ( ) ( ) g t g t dt
+ =
porlocual
0 lim ( ) ( / ) x t x t dt
yporendesi entonces 0 ( ) X = .
Laconvolucinentredossealeses ) (t x y ) (t y sedefinecomo
[ ]
= d y t x t t y t x ) ( ) ( ) ( ) ( ) (
Sea { } ) ( ) ( t x X = y { } ) ( ) ( t y Y = ,entonces
{ } ( ) ( ) ( ) ( )
j t
x t y t x t y d e dt
=
Cambiandoelordendeintegracinsetiene
{ } ( ) ( ) ( ) ( ) ( ) ( )
j t j t
x t y t x t y e dt d y x t e dt d
= =
Como { } ( ) ( )
j
x t X e
= ,entonces
{ } ( ) ( ) ( ) ( ) ( ) ( )
j j
x t y t y X e d X y e d
= =
Portalmotivo
{ } ( ) ( ) ( ) ( ) x t y t X Y =
{ }
1
( ) ( ) ( ) ( ) x t y t X Y
Ejemplo5.8.EncuentrelatransformadadeFourierdelaconvolucin ) ( ) ( t x t x ,
donde
Figura5.19.Sealpulsodeancho2a.
Observacin 5.7. La convolucin en el tiempo de dos seales implica la
multiplicacindesustransformadasdeFouriereneldominiodelafrecuencia.
TransformadadeFourier AnlisisdeFourier
142
Solucin.Utilizandoalpropiedaddeconvolucinsetieneque
{ }
2
( ) ( ) ( ) x t x t X =
2 ( ) sinc( )
a
j t
a
X e dt a a
= =
{ }
2 2
4 ( ) ( ) sinc ( ) x t x t a a =
Figura5.20.Transformadadelaconvolucindeunpardepulsos.
Demostracin.Aprobarque ( ) ( ) R x t y t dt
( ) ( ) ( ) ( ) x t y t dt x t y d dt
=
( ) ( ) ( ) ( ) x t y t dt x t y d dt
Intercambiandoelordendeintegracinsetiene
1
( )
( ) ( ) ( ) ( )
x t
x t y t dt y x t dt d
1442443
1
( ) ( ) ( ) ( ) x t y t dt x t y d
Portalmotivo
1 1 1
( ) ( ) ( ) ( ) x t y t x t y t
TransformadadeFourier AnlisisdeFourier
143
5.3.1. RespuestadeunsistemaLTIutilizandolatransformadadeFourier
{ ( )} { ( ) ( )} ( ) ( ) y t x t h t X H = =
Fig.RespuestadeunsistemaLTIconrespuestaenfrecuenciaH().
Lafuncin ( ) H seconocecomorespuestaenfrecuenciadelsistema,puesindicaen
queformaelsistemamodificalascaractersticasfrecuencialesdelasealdeentrada.
Ejemplo5.9.Laseal ( ) ( )
t
x t e u t
= esaplicadaaunsistemaLTIquetienerespuestaal
impulso ( ) sinc( ) h t t = .EncuentrelatransformadadeFourierdelasalida.
Solucin.LatransformadadeFourierdelasealdeentradaes
2 2
1 1
1 1 1
( ) { ( )} X x t j
j
= = =
+ + +
LarespuestaenfrecuenciadelsistemaLTIestdadapor
1 1
0 otro caso
( ) { ( )} H h t
< <
= =
Figura5.21.MagnituddelatransformadadeFourierdelasealyrespuestaenfrecuenciadelsistema.
TransformadadeFourier AnlisisdeFourier
144
El sistema se comporta como un filtro que slo lo deja pasar las frecuencias bajas,
contenidasentre 0.5 y0.5 radianes sobre segundo. La transformada de Fourier de la
salida puede encontrarse como ( ) ( ) ( ) Y X H = . La seal ( ) X es compleja, por
lo cual la seal ( ) Y tambin lo es. La seal ( ) H esreal, por talmotivo su fasees
ceroynoalteralafasede ( ) X .Deacuerdoaesto,lafasede ( ) Y vienedadapor
Im{ ( )}
( ) ( ) arctan
Re{ ( )}
X
Y X
X
= =
( ) ( ) arctan Y =
Lamagnitudde ( ) Y puedeencontrarsecomo
1 1
0 otro caso
( )
( )
X
Y
< <
=
2
1 1
1
0 otro caso
( ) Y
< <
=
+
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.
TransformadadeFourier AnlisisdeFourier
145
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
2
( ) ( ) ( ) ( ) x t y t X Y
Demostracin.
{ } ( ) ( ) [ ( ) ( )]
j t
x t y t x t y t e dt
Laseal ( ) y t puedeexpresarseutilizandolaformuladelatransformadainversa,como
{ }
1
2
( ) ( ) ( ) ( )
j t j t
x t y t x t Y e d e dt
Cambiandoelordendeintegracinsetiene
{ }
1
2
( )
( ) ( ) ( ) ( )
j t
x t y t Y x t e dt d
=
{ } [ ]
1 1
2 2
( ) ( ) ( ) ( ) ( ) ( ) x t y t Y X d 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 ) (t v , con el fin de aislar el
segmento a estudiar. El tipo de ventana elegida, determina la distorsin de la
transformadadeFourier ( ) X .
Observacin 5.8. La convolucin en el tiempo implica multiplicacin en frecuencia
(productodetransformadas).Unamultiplicacindedossealesimplicaconvolucin
enlafrecuencia(convolucindesustransformadas).
TransformadadeFourier AnlisisdeFourier
146
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.
TransformadadeFourier AnlisisdeFourier
147
5.4. TeoremadeParsevalparalatransformadadeFourier
Laenergadeunasealsedefinecomo
2
*
( ) ( ) ( ) E x t dt x t x t dt
= =
Si
2
) ( L t x entoncestieneenergafinita.Supongamosque
1
) ( L X ,entonces
utilizandolaformuladelatransformadainversapara
*
( ) x t podemosescribir
1
2
*
( ) ( )
j t
E x t X e d dt
Intercambiamoselordendeintegracin,setiene
1
2
*
( ) ( )
j t
E X x t e dt d
1
2
*
( ) ( ) E X X d
Portalmotivoalenergadelasealpuedeserencontradautilizandosutransformada
deFourier ( ) X ,deacuerdoa
2 1
2
( ) E X d
Lanorma
2
L delaseal ( ) x t esdirectamenteproporcionalalanorma
2
L desu
transformada ( ) X yestarelacionadasporlaecuacin
2 2
1
2
( ) ( ) x t X
Lafuncin ( ) X
2
seconocecomodensidadespectraldeenergaydainformacinde
cmo est repartida la energa de la seal en las diferentes frecuencias. El rea de la
densidad espectral de energa en un intervalo dado nos indica la cantidad de energa
delasealqueseencuentraeneserangodefrecuencias.
Observacin5.9.Siunasealpertenecea
2
L entoncessutransformadadeFourier
tambin pertenece a
2
L . Por tal motivo, la transformada de Fourier puede verse
comounafuncinde
2
L a
2
L .Porejemplo,latransformadaunpulsoeslafuncin
sinc.Dadoqueelpulsopertenecea
2
L entonceselsinc tambinpertenecea
2
L .
TransformadadeFourier AnlisisdeFourier
148
Solucin.
Tiempo
( )
2
2
0
( )
at
E x t dt e dt
= =
0
2
2
0
2
a t
a t
e
E e dt
a
= =
1
2
E
a
=
Frecuencia
2 1
2
( ) E X d
{ }
2 2
1 1
( ) ( ) ( ) x t X X
a j
a
= = =
+
+
1
2 2
1 1 1 1
2 2
tan E d
a a a
= =
+
1
2
E
a
=
HastaestepuntoslopodemosencontrarlatransformadadeFourierdeunasealen
1
L . Por tal motivo, es necesario definir la transformada de Fourier para seales de
energafinita(sealesen
2
L )quenonecesariamentepertenezcana
1
L .
5.5. TransformadadeFourierL
2
El espacio
2
L y su norma .
2
forman un espacio de Hilbert, es decir, un espacio
normado completo con producto interno. Sean ( ) x t y ( ) y t seales pertenecientes a
2
L ,entonceselproductointernoen
2
L sedefinecomo
Observacin5.10.Laenergadeunasealpuedeserencontradaeneldominodel
tiempo,utilizando ( ) x t oeneldelafrecuencia(Parseval),utilizando ( ) X .
TransformadadeFourier AnlisisdeFourier
149
*
, ( ) ( ) x y x t y t dt
Laenergadeunaseal
2
( ) x t L ,serelacionaconsuproductointerno,mediante
2 2
2
*
, ( ) ( ) ( ) ( ) E x x x t x t dt x t dt x t
= = = =
Si
1 2
( ) x t L L , su transformada de Fourier puede ser encontrada utilizando la
integraldeFourierparasealesen
1
L .Sinembargosi 1
2
( ) x t L L ,laformuladela
transformadadeFourier
1
L nonecesariamenteconverge.
Ejemplo5.12.Elconjuntodelosnmerosracionalesesdensoenlosreales.Alabrirun
intervalo, sin importar que tan pequeo sea, sobre cualquier nmero real, siempre
habr por los menos un nmero racional dentro de este intervalo. As, cualquier
nmerorealpuedeaproximarsetanbiencomosequieraporunnmeroracional.
El espacio
1 2
L L es denso en
2
L , por lo cual cualquier seal de
2
L puede ser
aproximada tan bien como se quiera por una seal de
1 2
L L . Recordemos que las
sealesen
1 2
L L tienetransformadadeFourier
1
L .Portalmotivopara
2
( ) x t L se
puede encontrar una familia de seales { ( )}
N
x t , donde Z N , que pertenecen a
1 2
L L yqueconvergenen
2
L alaseal ( ) x t ,esdecir
2
0 lim ( ) ( )
N
N
x t x t
Sea
2
( ) x t L y
+
Z N .Consideremosversionestruncadasde ( ) x t ,definidascomo
( ) ( )[ ( ) ( )]
N
x t x t u t N u t N = +
Figura5.27.Sealoriginaldeenergafinitaysuversintruncada.
TransformadadeFourier AnlisisdeFourier
150
Para cada
+
Z N , la seal ( )
1 2
( )
N
x t L L , por tal motivo su transformada de
Fourierpuedeserencontradacomo
( ) ( )
N
j t
N
N
X x t e dt
DeacuerdoalteoremadePlancherel,paracada
+
Z N laseal
2
( )
N
X L .
1 2 1 2
1
2
2 2
( ) ( ) ( ) ( )
N N N N
x t x t X X
por lo cual { ( )}
N
X es tambin una sucesin de Cauchy en
2
L . Dado que
2
L es un
espacio completo, la sucesin { ( )}
N
X converge a un elemento del espacio
2
L . Sea
2
( ) X L lasealtalque
2
0 lim ( ) ( )
N
N
X X
entonces ( ) X eslatransformada
2
L de ( ) x t ,definidacomo
( ) lim ( )
N
j t
N N
X x t e dt
=
Deformasimilar,latransformadainversadeFourier
2
L sedefinecomo
1
2
( ) lim ( )
N
j t
N N
x t X e d
TeoremadeParseval(General).Sean ( )
1 2
, f g L L entonceslatransformadade
Fourierpreservaelproductointerno,esdecir,
1
2
( ), ( ) ( ), ( ) f t g t F g
TeoremadePlancherel(Casoparticular).Sea ( )
1 2
x L L entonces
1
2 2 2
( ) ( ) x t X
=
TransformadadeFourier AnlisisdeFourier
151
Ejemplo5.13.Demuestrequelaseal sinc( ) t esintegrable,esdecir
lim sinc( )
N
N
N
t dt
Solucin.Aprobarque
sin( ) t
dt
t
.
Laseal sinc( ) t espar,portalmotivobastaprobarque
0
2
sin( ) t
dt
t
.Definamosla
seal
0
sin( )
( )
tx
t
G x e dt
t
entonces
0
d
d
( )
'( ) sin( )
tx
G x
G x e t dt
x
= =
0 0
1
2 2
( ) ( )
'( )
jt jt
tx t x j t x j
e e
G x e dt e e dt
j j
+
= =
0
1 1 1 1
2 2
( ) ( )
'( )
t x j t x j
e e
G x
j x j x j j x j x j
+
= =
+ +
2
1
1
'( ) G x
x
=
+
2
1
1
( ) arctan( ) G x dx x c
x
= = +
+
[ ]
2
lim ( ) lim arctan( )
x x
G x x c c
= + = +
0
0
sin( )
lim ( ) lim
tx
x x
t
G x e dt
t
= =
TransformadadeFourier AnlisisdeFourier
152
Portalmotivo,laconstantedeintegracines 2 / c = .Evaluandoellmite 0 x
2 2
lim ( ) lim arctan( )
x x
G x x
= + =
0 0
0 0
2
sin( ) sin( )
lim ( ) lim /
tx
x x
t t
G x e dt dt
t t
= = =
Portalmotivo,
sin( ) t
dt
t
5.6. TransformadasdeFourierqueimplicanfuncionesimpulso
5.6.1. TransformadadeFourierdelafuncinimpulso
UtilizandolapropiedaddeseleccinsobrelaintegraldeFourier
1
L ,setiene
0
0 0
{ ( )} ( )
j t j t
t t t t e dt e
= =
Portalmotivo,latransformadadeFourierdeunimpulsoubicadoen
0
t correspondea
unexponencialcomplejoeneldominodelafrecuencia,defrecuencia
0
t .
Ejemplo5.14.EncuentrelaTFdelaseal ) 1 ( ) ( 2 ) 3 ( 3 ) ( + + = t t t t x .
Solucin.
3 3 2 1 { ( )} { ( )} { ( )} { ( )} x t t t t = + +
3 0
3 2 { ( )}
j j j
x t e e e
= +
3
2 3 { ( )}
j j
x t e e
= +
5.6.2. TransformadadeFourierdeunexponencialcomplejo
Unexponencialcomplejoesunasealperidica,portalmotivonopertenecea
1
L ysu
transformadadeFouriernopuedeserencontradautilizandolaintegralpara
1
L .Enla
Seccin 5.9.1 se encontr que la transformada de un impulso corresponde a un
Observacin5.11.Lafuncinimpulsonopertenecea
1
L ,puessutransformadade
Fouriernotiendeaceroamedidaque .
TransformadadeFourier AnlisisdeFourier
153
exponencial complejo en el dominio de la frecuencia. De esta forma, utilizando la
propiedaddedualidadsetienequesi
0
0
{ ( )}
j t
t t e
= ,entonces
0
0 0
2 2 { } ( ) ( )
j t
e
= = +
Portalmotivo
0
0
2 { } ( )
j t
e
Figura5.28.SealexponencialcomplejoysutransformadadeFourier.
Ejemplo5.15.EncuentrelatransformadadeFourierdelaseal
0
( ) cos( ) x t t =
Solucin.
0 0
0 0
0
1
2 2
{ ( )} {cos( )} { }
j t j t
j t j t
e e
x t t e e
+
= = = +
[ ]
0 0
0 0
1 1
2 2
2 2
{ ( )} { } { } ( ) ( )
j t j t
x t e e
= + = + +
[ ]
0 0
{ ( )} ( ) ( ) x t = + +
Figura5.29.TransformadadeFourierdelasealcos(
0
t).
Observacin 5.12. El exponencial complejo posee una nica componente de
frecuenciadevalor
0
.
TransformadadeFourier AnlisisdeFourier
154
Ejemplo5.16.EncuentrelatransformadadeFourierdelasealconstante ( ) x t c = .
Solucin.
{ } { } { }
0 0
2 ( )
j t j t
c ce c e c = = =
Figura5.30.SealconstanteysutransformadadeFourier.
5.6.3. TransformadadeFourierdesealesperidicas
0
0
2
( ) ,
jn t
n
n
x t C e
T
=
= =
0 0 0
{ ( )} { } { }
jn t jn t jn t
n n n
n n n
x t c e c e c e
= = =
= = =
0
0
2 { ( )} { } ( )
jn t
n n
n n
x t c e c n
= =
= =
0
2 { ( )} ( )
n
n
x t c n
=
=
Portalmotivo,siseconocenloscoeficientesdelaserieexponencialdeFourierdeuna
seal peridica, su transformada de Fourier puede ser encontrada directamente,
ubicando una funcin impulso en la frecuencia correspondiente al coeficiente
n
c , de
peso 2
n
c .Claramente,unasealperidicanopertenecea
1
L ,puessutransformada
deFourierestaformadaporunaseriedeimpulsos,porlocualnoescontinua.
Observacin5.13.LainformacinsobreelnivelDCdeunasealseencuentraenla
transformadadeFourierevaluadaen 0 = ,esdecir, 0 ( ) X .
TransformadadeFourier AnlisisdeFourier
155
Figura5.31.CoeficientesdeFourierparalasealperidica.
Solucin. Elcoeficiente
n
c se encuentra ubicado en la frecuencia
0
n , por lo cual, los
coeficientes son
2
2 c
= ,
1
4 c
= ,
0
4 c = ,
1
4 c = y
2
2 c = . Conociendo que en la serie
deFourierelcoeficiente
n
c acompaaaltrmino
3 jn t
e ,setiene
0 3 3 6 6
4 4 4 2 2 ( )
j t j t j t j t j t
x t e e e e e
= + + + +
4 2 3 6 ( ) cos( ) cos( ) x t t t = + +
LatransformadadeFourierpuedeencontrarsecomo
0 3 3 6 6
4 4 4 2 2 { ( )} { } { } { } { } { }
j t j t j t j t j t
x t e e e e e
= + + + +
4
2 2 3 2 3 6 6 { ( )} [ ( ) ( ) ( ) ( ) ( )] x t
=
+ + + + + +
Figura5.32.TransformadadeFourierdelasealperidica.
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
1
L .
TransformadadeFourier AnlisisdeFourier
156
5.7. AplicacionesdelatransformadadeFourier
5.7.1. Estimacinespectral
5.7.2. AnlisisdesistemasLTI
5.7.3. Ecuacionesdiferencialesordinariasyparciales
Utilizandolapropiedaddediferenciacin,dadapor
d
d
( )
( ) ( )
n
n
n
x t
F j X
t
=
Solucin.Primerosetransformanambosladosdelaigualdad.
{ } { }
.. .
( ) ( ) ( ) ( ) x t a x t b x t y t
+ + =
2
( ) ( ) ( ) ( ) ( ) j X aj X bX Y + + =
TransformadadeFourier AnlisisdeFourier
157
2
( ) ( ) X aj b Y + + =
2
( )
( )
( )
Y
X
b aj
=
+
{ }
1
( ) ( ) x t 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.
LatransformadadeFourierdelarespuestaimpulsodeunsistemaseconocecomo
larespuestaenfrecuenciadelsistema,puesstaindicacomorespondeelsistema
a cada componente de frecuencia de entrada. Si un exponencial complejo es
aplicadoaunsistemaLTIlasalidacorrespondealmismoexponencialmultiplicado
porlarespuestaenfrecuenciaevaluadaenlafrecuenciadelexponencial.
LatransformadadeFourierdeunexponencialcomplejocorrespondeaunimpulso
ubicadoenlafrecuenciadelexponencial.LatransformadadeFourierdeunaseal
peridicaestformadaporunconjuntodeimpulsos.
5.9. Ejercicios
Seccin5.2
1. DeterminelatransformadadeFourierdelaseal
t
e t x
= ) ( .
3. DeterminelatransformadadeFourierde ) ( ) cos( ) (
0
t u t e t x
at
=
,donde 0 > a .
6. ConsideremoslasealCampanadeCauchydadapor ( )
2
1 1 ) ( t t x + = .
a. Demuestreque
1
) ( L t x
b. EncuentrelatransformadadeFourierde ) (t x
Tengaencuentaque
=
+
a
bx
ab x b a
dx
1
2 2 2
tan
1
.
7. Laseal
2
2
2
2
1
) (
t
e t x
= ,seconocecomosealgaussiana.
a. Encuentresunorma
1
L ,enfuncinde ( 0 ).
b. HallesutransformadadeFourier,enfuncinde .
Paraa.yb.tengaencuentaque =
du e
u
2
.
8. Determinalaseal ) (t x cuyatransformadadeFourierseilustraenlafigura.
Seccin5.5
9. Si { } ) ( ) ( = X t x ,determinelatransformadadefourierde
a. ) 1 ( t x
b. [ ] 2 ) 2 / ( t x
c. t
dt
t dx
cos
) (
d. [ ] ) 2 ( t x
dt
d
TransformadadeFourier AnlisisdeFourier
160
10. Unaseal ) (t x tienetransformadadeFourierdadapor
+
=
1
2
2
2
2
1
1
) ( e X
UsandolaspropiedadesdelatransformadadeFourier,escribalastransformadasde
a. ) 2 ( t x
b.
jt
e t x ) 2 (
c.
dt
t dx ) (
4
Sistemas5.6
) ( ) ( ) ( ) ( t ds s y s t x t y + =
a. Si { } ) ( ) ( = X t x y { } ) ( ) ( = Y t y ,hallelarelacinentre ) ( X y ) ( Y .
b. Si ) ( ) (
2
t u e t x
t
= ,halle ) (t y .
a.
t j t j t j
e t h e t y e t x
0 0 0
) ( ) ( ) (
=
b. [ ] ) ( ) ( ) (
2 1 2 1
t t t h t t y t t x + =
TransformadadeFourier AnlisisdeFourier
161
Seccin5.7
17. EvalulassiguientesintegralesutilizandoelteoremadeParseval.
a.
dt
t
t
2
sin
b.
+
dt
t a
2 2
1
Seccin5.7
18. ObtengalatransformadadeFourierdelaseal
0
( ) cos( ) x t t = ,donde
0
R .
19. ObtengalatransformadadeFourierdelasecuenciadeimpulsosdepesounitario,
queseilustraenlafigura.
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
imposible almacenar y procesar todo esa cantidad de informacin. Por tal motivo, el
primer paso enel procesamiento digital de una sealcontina, es tomar un conjunto
de muestras de la seal, con el fin de que stas sean analizadas y/o procesadas. El
proceso de tomar un conjunto de muestras de una seal de TC ( ) x t , se denomina
muestreo.SupongaqueunasealdeTC ) (t x esmuestreadacada
m
T segundos.
Figura6.1.MuestreodeunasealdeTC.
Eltrmino
m
T ,seconocecomotiempodemuestreoysuinverso 1/
m m
f T = ,seconoce
comofrecuenciademuestreo.Esclaroenestepunto,queentremsmuestrassetome
deunaseal,mssimilarserlaimagenmuestreadadelaversincontinua.Entrems
pequeo sea
m
T , mayor nmero de muestras se tendr de la seal por unidad de
tiempoymayorserlafrecuenciademuestreo.Podemosimaginarnosquelasealde
TC se hace pasar por un dispositivo, que se cierra cada
m
T segundos para obtener la
muestra ( )
m
x nT .Enlosdemsinstantesdetiempo,lasalidadeldispositivoescero.
=
=
Lasealmuestreada ( )
m
x t ,esobtenidacomo
( ) ( ) ( ) ( ) ( )
m m
n
x t x t p t x t t nT
=
= =
( ) ( ) ( )
m m
n
x t x t t nT
=
=
( ) ( ) ( )
m m m
n
x t x nT t nT
=
=
Figura6.2.SealdeTCytrendeimpulsos.
La seal de TC ( )
m
x t , toma el valor de la seal ( ) x t en los mltiplos del tiempo de
muestreo
m
T yelvalorceroencualquierotroinstantedetiempo.
Figura6.3.Sealmuestreadaobtenida.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
165
6.1.2. Efectodelmuestreosobreelespectro
Lasealmuestreadapuedeexpresarsecomo
( ) ( ) ( )
m m
n
x t x t t nT
=
=
SitomamoslatransformadadeFourieraambosladosdelaigualdad,encontramosla
transformada de un producto, la cual corresponde a la convolucin de las
transformadasdecadaunodelotrminosdeacuerdoa
( ) ( ) ( )
m m
n
X x t t nT
=
=
1
2
( ) ( ) ( )
m m
n
X X t nT
=
=
2
( ) ,
m
jn t
i n m
n
m
x t c e
T
=
= =
dondeloscoeficientes
n
c ,puedenserencontradoscomo
2 2
2 2
1 1
/ /
/ /
( ) ( )
m m
m m
m m
T T
jn t jn t
n m m
n n
m m T T
c t nT e dt t nT e dt
T T
= =
= =
0
2
0
2
1 1 1
/
( )
/
( )
m
m
m
T
jn t jn
n
m m m T
c t e dt e
T T T
= = =
Por tal motivo, la serie exponencial del tren de impulsos unitario con periodo
m
T ,
puedeescribirsecomo
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
166
1 2
( ) ,
m
jn t
m
n
m m
p t e
T T
=
= =
2 2
( ) ( ),
m m
n
m m
P n
T T
=
= =
Porlotanto,latransformadadeFourier ( )
m
X delasealmuestreada,corresponde
a la convolucin entre la transformada de la seal y un tren de impulsos igualmente
espaciadosunadistancia
m
ydepeso 2 /
m
T .Portalmotivoseobtiene
[ ] [ ]
1 2 1
2
( ) ( ) ( ) ( ) ( )
m m m
n n
m m
X X n X n
T T
= =
= =
Propiedad6.1.
0 0
( ) ( ) ( ) X X =
Demostracin.
0 0 0
( ) ( ) ( ) [( ) ] ( ) X X d X
= =
UtilizandolaPropiedad6.1,latransformadadeFourier ( )
m
X ,puedeescribirsecomo
1
( ) ( )
m m
n
m
X X n
T
=
=
6.1.3. Recuperacindelasealoriginal
Figura6.4.TransformadadeFourierdelasealdeTCdebandalimitada.
Figura6.5.TransformadadeFourierdelasealmuestreada.
Conelfindereconstruirlasealoriginal ( ) x t apartirdesusmuestras,sedebefiltrar
lasealmuestreada ( )
m
x t ,paraeliminarlascopiasredundantesde ( ) X en ( )
m
X .
Paraello,sedebeajustarunfiltroidealpasabajasconrespuestaenfrecuencia ( ) H
tal que slo permita el paso de la copia central de ( ) X y elimine las copias
redundantes,comoseilustraenlaFigura6.6.
Figura6.6.Eliminacindelascopiasredundantes.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
168
La seal ( ) x t es perfectamente reconstruida si se tiene un filtro ideal con frecuencia
decorte
c
ajustadoparacontenerlacopiacentralde ( ) X ,verFigura6.7.
Figura6.7.Reconstruccindelasealoriginal.
Parareconstruir ( ) x t apartirde ( )
m
x t deformacorrecta,senecesitaquelascopiasde
( ) X en ( )
m
X nosetraslapen.Silascopiassetraslapan,alrealizarelfiltradoideal
obtendremosunaversindistorsionadade ( ) X yporlotantotambinunade ( ) x t .
Figura6.8.Traslapeentrelascopiasdelatransformadaoriginal.
Paraevitareltraslapeentrecopiassedebegarantizarque
a m a
< ,esdecir,
2
2
a m
m
T
< =
SilafrecuenciaenHzmsaltadelaseales 2 /
a a
f = ,entoncessedebecumplir
2
m a
f f >
EstacondicinseconocecomotasadeNyquist.
Observacin6.2.Elfiltroideal ( ) H ,implicaunsistemaquetieneporrespuestaal
impulso la funcin sinc, es decir, ( ) sinc( ) h t t = . En la prctica es imposible obtener
un sistema con esta respuesta al impulso, pues se requiere que el sistema no sea
causal y que su respuesta impulso tenga soporte infinito. Por tal motivo, en la
prcticaesimposiblereconstruirdeformaexactalasealoriginal.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
169
6.1.4. TransformadadeFourierdeunasealmuestreada
ParaunasealdeTC
1
) ( L t x ,sutransformadadeFourierpuedeencontrarsecomo
( ) ( )
j t
X x t e dt
Si se muestrea ) (t x cada
m
T segundos, utilizando un tren de impulsos, se obtiene
( )
m
x t ,cuyatransformadadeFourierpuedeserencontradamediante
( ) ( )
j t
m m
X x t e dt
Utilizandoladefinicindelasealmuestreada ( )
m
x t ,podemosreescribir
( ) ( ) ( )
j t
m m m
n
X x nT t nT e dt
Intercambiandoelordenentrelaintegralylasumatoria,setiene
( ) ( ) ( )
j t
m m m
n
X x nT t nT e dt
=
=
Utilizandolapropiedaddeseleccindellafuncinimpulso,setiene
( ) ( )
m
j nT
m m
n
X x nT e
=
=
6.1.5. Sealesmuestreadasysealesdiscretas
La seal muestreada ( )
m
x t slo contiene informacin importante en aquellos tiempo
de muestreo, en los otros instantes del tiempo es cero. Por tal motivo, es suficiente
almacenar la informacin de la seal de TC ( ) x t en un seal de TD
n
x que contenga
slolosvaloresmuestreados.
Definamos
n
x como la seal de tiempo discreto dada por ( )
n m
x x nT = . Para un valor
dado de n , la seal
n
x indica el valor de la seal de TC ) (t x , en el tiempo nT t = ,
donde Z n . Por tal motivo, toda seal discreta puede verse como una seal de
tiempocontinuoquehasidomuestreada.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
170
Figura6.9.SealdeTDobtenida.
AlvisualizarunasealdeTD,slosepresentanlasmuestrasynoeltiempoenelcual
stas fueron tomadas. Sin embargo, la informacin del tiempo de muestreo siempre
debe ser conocida para el anlisis de la seal y para su correcta visualizacin en una
escala temporal. Adicionalmente, en la Seccin 6.2 se muestra que el tiempo de
muestreo
m
T esdesumaimportanciapararelacionarlafrecuenciaangulardiscreta
conlafrecuenciaangularcontinua .
(a) (b) (c)
Figura6.10.SealesdeTCquegeneranunamismasealdeTD.(a)y(b)sealesdeTCy(c)sealdeTD.
6.2. TransformadadeFourierparasealesdiscretas
6.2.1. DefinicindelatransformadadeFourierl
1
LatransformadadeFourierdeunasealmuestreada ( )
m
x t ,estadadapor
( ) ( )
m
j nT
m m
n
X x nT e
=
=
Observacin 6.3. Dos seales de TC pueden generar la misma seal de TD al ser
muestreadas,porlocualesimportanteespecificareltiempodemuestreo.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
171
Definamos comolafrecuenciaangulardiscreta,dadapor
m
T = .Conociendoque
la seal de TD
n
x se relaciona con la seal de TC ( ) x t , por medio de ( )
n m
x x nT = ,
podemosdefinirlatransformadadeFourierparaunasealdeTD
n
x ,deacuerdoa
{ } ( )
j n
n n
n
x X x e
=
= =
Ejemplo6.2.EncuentrelaTFdelaseal
{ }
{ }
=
1 , 0 , 1 0
1 , 0 , 1 1
n si
n si
x
n
.
Solucin.LasealcorrespondeaunpulsodeTD,comoseilustraenlaFigura6.11.
Figura6.11.SealpulsodeTDdeancho2.
1
1
( )
j n j n
n
n n
X x e e
= =
= =
1 1 2 ( ) cos( )
j j
X e e
= + + = +
Figura6.12.TransformadadeFourierdelasealpulsodeTD.
( )
j n j n
n n
n n
X x e x e
= =
=
1
( )
n n
n
X x x
=
=
Propiedad.6.3.Latransformada ) ( X siempreesperidica,conperiodo 2 .
2 2
2
( )
( )
j k n j n j kn
n n
n n
X k x e x e e
+
= =
+ = =
2 ( ) ( )
j n
n
n
X k x e X
=
+ = =
LaPropiedad6.3tambinpuededemostrarseapartirdelaObservacin6.4.
6.2.2. InterpretacindelatransformadadeFourierl
1
Paraunvalordadode
0
,lamagnitudde
0
( ) X dainformacindelaparticipacinde
lacomponentedefrecuencia
0
enlaseal
n
x .Conociendoquelafrecuenciadiscreta
es peridica, tiene sentido que la transformada de Fourier de una seal peridica
tambinlosea.Portalmotivo,siseconoce ( ) X sobreunintervalodelongitud 2
se pueden conocer las componentes de frecuencia presentes en una seal.
Recordemos que la frecuencia ms alta es y la ms baja es 0 , por lo cual las
frecuentas altas son las cercanas a y las frecuencias bajas las cercanas a 0 .La
Figura6.13ilustralascomponentesdefrecuenciasdelasealdelEjemplo6.2.
Figura6.13.EspectrodeFourierdelasealdelEjemplo6.2.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
173
Una vez es obtenida la transformada de Fourier ( ) X , de una seal de TD
1 n
x l , la
sealpuedeserrecuperadautilizandolatransformadainversadeFourier.Observeque
( ) X esunasealperidica,conperiodo 2 ,ycorrespondeaunaserieexponencial
de Fourier, con coeficientes dados por
n
x y seales base
j n
e
. Los coeficientes de la
serie exponencial (seal
n
x ) pueden ser encontrados utilizando la formula de los
coeficientes
n
c delaserieexponencialdeFourier,apartirdelocualsetiene
1
2
1
2
-
{ ( )} ( )
j n
n
X x X e d
= =
Apartirdeestaecuacin,esclaroque ( ) X ponderaunasumacontinua(integral)de
exponencialescomplejosdedistintasfrecuenciasconelfindeobtenerlaseal
n
x .
6.2.3. PropiedadesdelaTFdeunasealdiscreta
Linealidad
{ } ( ) ( )
n n
ax by aX bY + = +
Desplazamientoeneltiempo
0
{ } ( )
o
j
n n
x X e
Modulacin
0
0
{ } ( )
j n
n
x e X
Multiplicacin
2
{ } ( ) ( ) ( ) ( )
n n
x y X Y X Y d
= =
Periodicidad
2 ( ) ( ) X X + =
Simetra
( ) X espary ( ) X esimpar
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
174
6.2.4. TransformadadeFourierparasealesperidicasdiscretas
0
jk n
n k
k
x c e
=
=
Propiedad6.4.Slohay N sealesdistintasdelaforma
0
jk n
e
.
Demostracin.
0 0 0 0
( ) j k N n jk n jN n jk n
e e e e
+
= =
0
1
0
N
jk n
n k
k
x c e
=
=
Est representacin se conoce como la serie exponencial de Fourier para una seal
discreta y a diferencia del caso continuo, la seal
n
x se expresa en funcin de un
conjunto finito de exponenciales. Para encontrar los coeficientes
k
c cambiemos el
ndicedelasumatoriapor m ymultipliquemosaambosladosporunexponencial
0 0 0
1
0
N
jk n jm n jk n
n k
m
x e c e e
=
=
0 0
1
0
( )
N
jk n j m k n
n k
m
x e c e
=
=
Sumandosobrelosvaloresde n enintervalo
[ ]
0 1 , N setiene
0 0
1 1 1
0 0 0
0
( )
N N N
jk n j m k n k
n k
n m n
Nc m k
x e c e
m k
= = =
=
= =
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
175
Portalmotivo,loscoeficientesdelaserieexponencialpuedenencontrarsecomo
0
1
0
1
0 1 1 , , , ...,
N
jk n
k n
n
c x e k N
N
=
= =
SupongaqueunasealtienetransformadadeFourier
0
2 2 ( ) ( )
k
X k
=
=
Encontremosaquesealperteneceestatransformada,paraellosehace
1
0 0
2
1
2 2 2 2
2
( ) ( )
j n
n
k k
x k k e d
= =
= =
0
2
0
0
1
2
2
( )
j n j n
n
x e d e
= =
0
0
2 2 { } ( )
j n
k
e k
=
=
EstaecuacineslaclaveparaencontrarlatransformadadeFourierdecualquierseal
peridica. Consideremos la transformada de Fourier de una seal peridica discreta
expresadacomounaserieexponencialdeFourier
0 0
1 1
0 0
( ) { } { }
N N
jk n jk n
n k k
k k
X x c e c e
= =
= = =
1
0
0
2 2 ( ) ( )
N
k
k m
X c k m
= =
=
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
176
La funcin ( ) X est formada por un conjunto de N impulsos ubicados en el
intervalo 0 2 [ , ] ,cadaunodeloscualesserepitecada 2 .
6.2.5. TeoremadeParsevalparalaTFdesealesdiscretas
Laenergadeunasealdiscretasedefinecomo
2
n n n
n n
E x x x
= =
= =
UtilizandolaecuacindetransformadainversadeFourierdeTD,setiene
2 2
1 1
2 2
( ) ( )
j n j n
n n
n n
E x X e d x X e d
= =
= =
Intercambiandoelordenentrelaintegralylasuma,setiene
2 2
1 1
2 2
( ) ( ) ( )
j n
n
n
E X x e d X X d
=
= =
Portalmotivo,laenergadelasealdiscretapuedeencontrarsecomo
2
2
1
2
( ) E X d
6.2.6. PropiedaddeconvolucinparalaTFdesealesdiscretas
Laconvolucindiscretaentre
n
x y
n
h sedefinecomo:
n n n k k
k
x h x h
=
=
UtilizandolaecuacindetransformadainversadeFourierpodemosescribir
n k
x
como
Observacin6.5.Silatransformada ( ) X esunconjuntodeimpulsosentoncesla
seal
n
x es peridica. Por otro lado, si la transformada ( ) X es una funcin
continua(nopresentadiscontinuidades)entonceslaseal
1 n
x l .
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
177
2
0
1
2
( )
( )
j n k
n n k
k
x h X e d h
=
=
Intercambiandoelordenentrelaintegralylasuma,setiene
2
1
2
( )
j n j k
n n k
n
x h X e e h d
=
=
[ ]
2
1
2
( ) ( )
j n
n n
x h X H e d
1
{ ( ) ( )}
n n
x h X H
=
Portalmotivo,latransformadadeunaconvolucinpuedeencontrarsecomo
{ } ( ) ( )
n n
x h X H =
donde ( ) { }
n
X x = y ( ) { }
n
H h = .
Figura6.14.AnlisisdeunsistemaLTIdiscretoutilizandolatransformadadeFourier
Ejemplo 6.3. Encuentre la respuesta del sistema LTI discreto que tiene la respuesta
impulsoqueseilustraenlasiguienteFigura,donde Z M
+
.
Solucin.Larespuestaenfrecuenciadelsistemapuedeencontrasecomo
( )
1
1
1 1
1
2 1 2 1
M M
j n j n j n j n
n
n n M n M n
H x e e e e
M M
= = = =
= = = + +
+ +
( ) ( )
1
1
1
2 1
M
j n j n j n
n
n n
H x e e e
M
= =
= = + +
+
( )
1
1
1 2
2 1
cos( )
M
n
H n
M
=
= +
+
LamagnituddelarespuestaenfrecuenciaseilustraenlaFigura6.15,paradiferentes
valores de M . Claramente el sistema se comporta como un filtro que de pasar las
componentes de baja frecuencia y atena las de alta frecuencia (filtro pasabajas), y
cuyaselectividadaumentaamedidaquecrece M (creceelsoportede
n
h ).
Figura6.15.RespuestaenfrecuenciadelsistemasparaM = 1, M = 3yM = 10,respectivamente.
Lasalidadelsistemaaunaentradaarbitraria
n
x puedeexpresarsecomo
( )
0
1 1
2 1 2 1
... ...
N
n n n n N N
n N
y x h x x x x
M M
=
= = = + + + +
+ +
{ }
1
2 1
0 otro caso
, ...,
n
n M M
h
M
=
+
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
179
6.3. TransformadadiscretadeFourier(DFT)
Figura6.16.MuestreodelatransformadadeFourier.
Las N muestrasdefrecuenciasetomanigualmenteespaciadas,enlosvalores
2 2 2 2 1
0
( ) ( )
, , , ...,
N
N N N
0 1 1 ( ) , , , ...,
k
j n
k n
n
X x e k N
=
= =
En la prctica todas las seales tiene longitud finita (soporte compacto), entonces la
ecuacinanteriorpuedeescribirseparaunasealcausal(tomavalor0para 0 n < )de
longitud L como
1
0
0 1 1 ( ) , , , ...,
k
L
j n
k n
n
X x e k N
=
= =
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
180
6.3.1. Efectosdelmuestreoenfrecuencia
Esclaroenestepuntoque ( ) X correspondealarepresentacineneldominodela
frecuencia de una seal discreta
n
x , es decir, ( ) { }
n
X x = . 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 2
( ) ( ) ( ) ,
m k k
k
k
X X
N N
=
= =
Lapreguntaaresponderahoraesdequesealdiscretaestransformada ( )
m
X ?,olo
que es lo mismo, ( )
m
X corresponde a la representacin frecuencial de que seal?
Pararesponderestapreguntaencontremoslatransformadainversade ( )
m
X como
1
2
1
2
2
{ ( )} ( ) ( )
j n
m k
k
X X e d
=
=
2
1
1
0
0
{ ( )} ( ) ( )
N
j n
m k
k
X X e d
=
=
2
1 1
1
0 0
0
{ ( )} ( ) ( )
N N
j n
m k
k k
X X e d
= =
=
1
1
0
{ ( )} ( )
k
N
j n
m k
k
X X e
=
=
Portalmotivo,latransformadainversade ( )
m
X correspondealaserieexponencial
Fourier de una seal de periodo N , cuyos coeficientes complejos de Fourier son los
valores ( )
k
X ,loscualespuedenserencontradoscomo
1
0
1
( )
k
N
j n p
k n
n
X x e
N
=
=
dondelaseal
p
n
x correspondeaunaversinperidica(deperiodo N )delaseal
n
x ,
comoseilustraenlaFigura6.17paraunasealdelongitud 4 yparaN= 4.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
181
Figura6.17.Sealdiscretadelongitud 4 ysuversinperidica,deperiodo4.
Lafuncin ( )
m
X eslarepresentacineneldominiodelafrecuenciadeunaversin
peridicadelasealdiscreta
n
x ,esdecir, ( ) { }
p
m n
X x = .Elperiododelaseal
p
n
x
es igual a nmero de muestras que se toman de ( ) X en el intervalo 0 2 [ , ] . Cual
debeserelnmerodemuestrasquedebentomarsede ( ) X en 0 2 [ , ] paraobtener
unabuenarepresentacinfrecuencialdelasealdiscreta
n
x pormediode ( )
m
X ?
Consideremos la seal
n
x de longitud 4 de la Figura 6.17, a la cual se le calcula
( )
m
X para 2 N = , 4 N = y 8 N = . La seal representada en el dominio de la
frecuenciapor ( )
m
X para 2 N = eslasealperidicaqueseilustraenlaFigura6.18,
quecorrespondeaunaversindeperiodo2de
n
x .Para 4 N = , ( )
m
X representaa
la seal de periodo 4,
p
n
x , que se ilustra en la Figura 6.17. Finalmente, para 6 N = la
sealrepresentadapor ( )
m
X eslasealdeperiodo6queseilustraenlaFigura6.19.
Claramente,lasealrepresentadaeneldominiodelafrecuenciapor ( )
m
X paraun
valor de N dado, corresponde con la seal
n
x en el intervalo de tiempo 0 1 [ , ] N .
Entremasmuestrasetomenenfrecuencia(msgrandeelvalorde N )mssimilares
la transformada ( )
m
X a ( ) X y mejor es la representacin en el domino de la
frecuenciadadapor ( )
m
X delasealdiscreta
n
x .
Figura6.18.SealdiscretarepresentadaporX
m
()paraN = 2.
Figura6.19.SealdiscretarepresentadaporX
m
()paraN = 6.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
182
6.3.2. DefinicindelaDFT
Sea
n
x una seal discreta de longitud L entonces la DFT (transformada discreta de
Fourier)de N puntossedefinecomo
1
0
1
0 1 1 , , , ...,
k
L
j n
k n
n
X x e k N
N
=
= =
donde,
k
sonlas N muestrasdefrecuenciadefinidascomo 2 /
k
k N = .LaDFTde
N puntoscorrespondeaunvectorde N posiciones,delaforma
0 1 1
[ , , ..., ]
k N
X X X X
=
Ejemplo6.4.EncuentrelaDFTde3puntosdelaseal 1 2 3 { , , }
n
x = .
Figura6.20.Sealdiscretadelongitud3.
Solucin.Enestecaso 3 L = ylaDFTde3puntoses
2
2
1 2
3
0 0
1 1
3
N
j k n
j kn
N
k n n
n n
X x e x e
N
= =
= =
2 4
3 3
0 1 2
1
3
j k j k
k
X x x e x e
= + +
[ ]
0 0 1 2
1
2
3
X x x x = + + =
2 4
3 3
1 0
1
2 3 0 5 0 2887
3
. .
j j
X x e e j
= + + =
4 8
3 3
2
1
1 2 3 0 5 0 2887
3
. .
j j
X e e j
= + + = +
Portalmotivo,laDFTpuedeescribirsecomo
2 0 5 0 2887 0 5 0 2887 [ , . . , . . ]
k
X j j = + +
6.3.3. InterpretacindelaDFT
1
0
0
1
N
n
n
X x
N
=
=
ApartirdelaDFTde N puntosesposiblerecuperarlasealdiscretadelongitud L si
N L deacuerdoa
1
0
0 1 1 , , , ...,
k
N
j n
n k
k
x X e n L
=
= =
DelaecuacindelaDFTinversaesclaroquelafuncin
k
X ponderalaparticipacinde
cadaexponencialcomplejodefrecuencia
k
enlarepresentacindelaseal
n
x .
Ejemplo6.5.EncuentrelasealdiscretaquetieneporDFTlafuncin
0 1 2 0 0 0 2 1 { , , , , , , , }
k
X =
Solucin.Lafuncin
k
X correspondeaunaDFTde 8puntos( 8 N = ),lasealdiscreta
puedeobtenersecomo
2
2
1 7
8
0 0
k
N
j n
j kn
N
n k k
k n
x X e X e
= =
= =
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
184
Solo
1
X ,
2
X ,
6
X y
7
X sondiferentesdecero,porlocual
2 1 2 2 2 6 2 7
8 8 8 8
1 2 6 7
( ) ( ) ( ) ( )
j n j n j n j n
n
x X e X e X e X e
= + + +
2 4 12 14
8 8 8 8
2 2
j n j n j n j n
n
x e e e e
= + + +
Lafrecuenciadiscretatieneperiodo 2 ,porlocual
6
12 4
2
8 8
= = y
7
14 2
2
8 8
= =
Lasealdiscretapuedeescribirsecomo
2 4 4 2
8 8 8 8
2 2
j n j n j n j n
n
x e e e e
= + + +
2 2
8 4
2 4 cos( ) cos( )
n
x n n
= +
Demostracin.
2 2
1 1
2
0 0
( )
k k
N N
j n N j n
j kn N N
n N k k
k k
x X e X e e
+
+
= =
= =
2
1
0
k
N
j n
N
n N k n
k
x X e x
+
=
= =
6.3.4. VisualizacindelaDFT
La funcin
k
X se puede graficar bsicamente de dos formas: contra las muestras de
frecuencia discreta
k
, o si se conoce el periodo de muestreo, contra la frecuencia
continua . En el primer caso, simplemente se ubica la magnitud de
k
X contra su
respectivafrecuenciadiscreta
k
,comoseilustraenlaFigura6.21.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
185
Figura6.21.DFTcontrafrecuenciaangulardiscreta.
Paramejorarlainterpretacin,losvaloresde
k
X confrecuenciadiscretasuperiora
sonubicadosenfrecuenciasnegativas,paraesasfrecuenciassehace 2
k k
= .De
estaformaseilustranlas N muestrasde ( ) X enelintervalo [ , ] ,Figura6.22.
Figura6.22.VisualizacinalternativadelaDFTcontrafrecuenciadiscreta.
Si se conoce
m
T , se puede convertir cada muestra de frecuencia discreta
k
, en una
muestradefrecuenciacontinua
k
,mediante 2 / /
k k m m
T k T = = ,verFigura6.23.
SisedeseaelgrficoenHz,seencuentracadamuestracomo /
k m
f k T = .
Figura6.23.DFTcontrafrecuenciaangularcontinua.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
186
6.3.5. PropiedadesdelaDFT
Linealidad
DFT{ }
n n k k
ax by aX bY + = +
Simetra:si
p
n
x (extensinperidicade
n
x )esparentonces
k
X espar,
k
X esimpary
1
0
1
cos( )
L
k n k
n
X x n
N
=
=
.
Desplazamientoeneltiempo
0
0
DFT{ }
k
j n
n n k
x X e
Modulacin
DFT{ }
l
j n
n k l
x e X
Multiplicacin
DFT{ }
n n k k
x y X Y =
donde representalaconvolucindiscreta,lacualsedefineenlaSeccin6.3.7.
6.3.6. TeoremadeParsevalparaDFT( N L = )
1 1 1 1
2
0 0 0 0
1 1 1
*
N N N N
j kn
n n n n k
n n n k
P x x x x X e
N N N
= = = =
= = =
( )
1 1 1 1
0 0 0 0
1 1
* *
N N N N
j kn j kn
n k n k
n k n k
P x X e x X e
N N
= = = =
= =
1 1 1
0 0 0
1
*
N N N
j kn
k n k k
k n k
P X x e X X
N
= = =
= =
Portalmotivo,lapotenciapromediodelasealdiscretapuedeencontrarsecomo
1
2
0
N
k
k
P X
=
=
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
187
6.3.7. ConvolucindiscretautilizandolaDFT
Propiedaddeconvolucincirculardiscreta
1 1 1
0 0 0
1 1
( )
k
N N N
j n s
n n n s n k s
s s k
x y x y X e y
N N
= = =
= =
1 1
0 0
1
k k
N N
j n j s
n n k s
k s
x y X e Y e
N
= =
=
1
-1
0
DFT { }
k
N
j n
n n k k k k
s
x y X Y e X Y
=
= =
Portalmotivo,laDFTdeunaconvolucincirculardiscretaestadadapor
DFT{ }
n n k k
x y X Y =
ConvolucinlinealdiscretautilizandolaDFT
PararealizarlaconvolucinlinealdedossealesdelongitudfinitautilizandolaDFTes
necesario que la convolucin circular iguale a la convolucin lineal en el intervalo de
inters. Sean
n
x y
n
h seales discretas causales de longitud M y L, respectivamente,
entonces la seal
n n
x h (convolucin lineal entre
n
x y
n
h ) es tambin causal y tiene
longitud 1 M L + . De acuerdo a esto se requiere que la convolucin circular se
equivalentealaconvolucinlinealenelintervalode0a 2 M L + .Paraellosehace
1. SecalculamoslaDFTde N ( 1 N M L = + )puntosdelasseales
n
x y
n
h para
obtenerlasfunciones
k
X y
k
H ,respectivamente.
2. SecomputaelproductoentreDFTs,esdecir,serealiza
k k
X H ,locualequivale
arealizarlaconvolucincirculareneltiempodelassealesperidicas
p
n
x y
p
n
h
(versionesdeperiodo N delasseales
n
x y
n
h ,respectivamente).
3. Finalmente la convolucin es obtenida realizando la DFT inversa de la funcin
k k
X H deacuerdoa
-1
DFT 0 1 2 { } , , ...,
n n k k
x y X H n M L = = +
LosalgoritmosFFT(FastFourierTransform)sonunconjuntoderutinasquecalculanla
DFT de una seal discreta de una forma ms eficiente, sin requerir el nmero de
multiplicaciones antes mencionado. Por ejemplo, algunas versiones de FFT requieren
slo
2
log N N multiplicaciones,paraelcaso N L = y N unapotenciade2.
6.4.1. AlgoritmoFFTdediezmadoeneltiempo(Base2)
Definamos 2 / M N = ,entonceslaDFTdelaseaoriginal
n
x ,puedeescribirsecomo
2
1
0
1
k
N
j n
N
k n
n
X x e
N
=
=
Observacin6.8.Conslodividirlasealendos,seestreduciendolacomplejidad
delalgoritmode
2
N multiplicacionesa
2
2 / N multiplicaciones.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
189
2 2
2 1 2 1
2 2 1
2 2 1
0 0
1 1
( / ) ( / )
( ) ( )
k k
N N
j m j m
N N
k m m
m m
X x e x e
N N
+
+
= =
= +
2 2 2
1 1
0 0
1 1
k k k
M M
j m j m j
par imp M M N
k m m
m m
X x e x e e
N N
= =
= +
Deacuerdoaesto,podemosencontrarlaDFTcomo
2
2
si
si
( )
k
j
par imp N
k k
k
k M
j
par imp N
k M k M
X e X k M
X
X e X k M
+ <
=
donde
par
k
X es la DFT de la seal
par
n
x y
imp
k
X es la DFT de la seal
imp
n
x . Para el
cmputo
par
k
X y
imp
k
X , las seales
par
n
x y
par
n
x pueden ser divididas en dos. El
algoritmoserepitedeformasecuencial,hastaobtenersealesdelongituddosqueno
puedenserdividas.
6.4.2. AplicacionesdelaFFT
6.4.2.1. AnlisisespectraldesealesysistemasTDdiscretos
LaFFTnospermiteestimarlascomponentesdefrecuencialesdeunasealdiscretade
longitudfinita,comoseilustraenelEjemplo6.7.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
190
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 512puntos.
GrafiquelafuncindeECGeneltiempoysucorrespondienteespectro,enHZ.
Solucin.SeimplementolasiguientefuncinenMatlab.
LaFFTnospermiteconocerlarespuestaenfrecuenciadeunsistemadiscreto.
Solucin.Utilizandolafuncinespectropodemosencontrarlarespuestaenfrecuencia
del sistema. Para ello, la respuesta a impulso es utilizada como la seal de entrada y
seconfiguraunaFFTde512puntos.
Figura6.25.Respuestaenfrecuenciadelossistemasdiscretos.
El sistema
n
h , se comporta como un filtro pasabajas, pues deja pasar las frecuencias
cercanas a 0 y atena las frecuencias cercanas a . El sistema
n
g , se comporta
comounfiltropasaaltas,puesdejapasarlasfrecuenciascercanasa yatenalas
frecuenciascercanasa 0 .
Observacin 6.9. La frecuencia continua de corte de los filtros depende del tiempo
demuestreodelsistemadiscreto,dadoque /
m
T = .
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
192
6.4.2.2. ConvolucinlinealvaFFT
Figura6.26.SealoriginaldeECGysuespectro.
Figura6.27.Respuestaenfrecuenciacontinuadelossistemasdiscretos.
Figura6.28.SealdeECGfiltradaconelfiltropasabajasysuespectro.
Figura6.29.SealdeECGfiltradaconelfiltropasaaltasysuespectro.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
194
6.5. Resumen
Una seal de tiempo continuo toma valor para cualquier instante de tiempo. Por
talmotivo,esimposiblealmacenary/oprocesartodoestacantidaddeinformacin
y es necesario tomar un conjunto de muestra cada determinado tiempo,
denominadotiempodemuestreo.
Elmuestreoidealdeunasealdetiempocontinuoserealizamultiplicandolaseal
por un tren de impulsos ubicados en los tiempos de observacin deseados. El
muestreodeunasealhacequesuespectrollegueaserperidico.
Silafrecuenciademuestreoesporlomenosdosvecesmayoralafrecuenciams
altadelaseallascopiasenelespectrodelasealmuestreadanosetraslapanyla
sealdetiempocontinuopuederecuperarseutilizandounfiltropasabajasideal.
Una seal discreta es una seal que toma valor slo en un conjunto contable del
tiempoypuedeversecomounasealdetiempocontinuomuestreada.
LatransformadadeFourieresunaseacontinuaparasealen
1
l yesunconjunto
de impulsos para una seal peridica. Las seales peridicas no pertenecen a
1
l
porloquesutransformadadebeserencontradautilizandolaserieexponencialde
FourierylatransformadadeFourierparaexponencialescomplejo.
Seccin6.1
1. Supongaquelaseal ( ) ( )
t
x t e u t
= ,esmuestreadacada 1 T = instantesdetiempo.
a. EncuentrelaexpresindelasealmuestreadaydelasealdeTD.
b. Repitaa.parauntiempodemuestreo 3 T = .
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 ( ) ( )
t
x t e u t
= .
4. Paralasealdetiempodiscreto
4 3 1
4 0 3
0 otro caso
( )
n n
x n n n
+
a. EncuentrelatransformadadeFourier.
b. Grafiquelamagnitudylafasedelatransformada.
5. DemuestrelassiguientespropiedadesdelatransformadadeFourier
a. { } ( ) ( )
n n
ax by aX bY + = +
b.
0
0
{ } ( )
j n
n n
x X e
=
c.
0
0
{ } ( )
j n
n
x e X
6. UtiliceelTeoremadeParsevalparacalcular
a. LaenergadelasealdePunto3.
b. LaenergadelasealdePunto4.
AnlisisdeFourierparasealesdiscretas AnlisisdeFourier
196
Secciones6.3y6.4
7. ObtengalaDFTdelassiguientesseales
a. 1 1 0 1 1 { , , , , }
n
x =
b.
3
4
cos
n
x n
=
c.
2
4
3 2
cos sin
n
n
x n
=
a. 1 0 1 0 1 [ , , , , ]
k
X =
b.
1
1 2 0 8
2 2 4
cos cos ,
k
X k k k
= + +
c.
4
0 7 ,
k
j
k
X e k
9. DemuestrelassiguientespropiedadesdelaDFT.
a. DFT{ }
n n k k
ax by aX bY + = +
b.
0
0
DFT{ }
k
j n
n n k
x X e
10. SupongaqueunsistemaLTIdiscretotienerespuestaimpulso
1
2
( )
n
n n
h u = .Obtenga
laDFTdelasealdesalidadelsistema,silasealdeentradaes 1 1 0 1 1 { , , , , }
n
x = .
11. UtilizandoMatlabyunmicrfono,grabesunombreyrealice
a. Visualiceelsegmentodeaudio.
b. ObtengalaFFTde512puntos,delsegmentodeaudio.
c. Visualicelascomponentesdefrecuenciadelsegmentodeaudio.
d. Convolucioneelsegmentodeaudioconunasealconstantedevalor1/Ny
delongitudN.
e. Reproduzcaelsegmentodeaudiooriginalyelsegmentoconvolucionado,
paradiferentesvaloresdeN.Quesucedealrealizarlaconvolucin?
f. Visualicelascomponentesdefrecuenciadelsegmentoconvolucionada.
Quelesucedealascomponentesdefrecuencia?QueefectotienevariarN?
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.
( , , )
( , , ) ,
y
f x y z
f x y z xyz xz f
y
= = =
2 2
( , )
( , ) ,
xt
f x t
f x t tx t zx f
x t
= + = =
Definicin 7.2. Una ecuacin diferencial parcial (EDP) es una ecuacin con una o ms
derivadasparcialesdeunafuncin(desconocida)de2omsvariablesindependientes.
ElordendeladerivadaparcialmsaltadeunaEDPesdenominadoelordendelaEDP.
En esta seccin nos centraremos en ecuaciones diferenciales de segundo orden, es
decir,enecuacionescuyaderivadaparcialmsaltaesdesegundoorden.
Ejemplo7.2.Algunasecuacionesdiferencialesparcialesdesegundoorden
Ecuacindeondaunidimensional( ( , ) u x t )
xx tt
u c u
x
u
c
t
u
2
2
2
2
2
2
=
Ecuacindecalorunidimensional( ( , ) u x t )
xx t
u c u
x
u
c
t
u
2
2
2
2
=
EcuacindeLaplacebidimensional( ( , ) u x y ).
0 0
2
2
2
2
= + =
yy xx
u u
y
u
x
u
TodaEDPdesegundoordenpuedeescribirsedeformageneralcomo
Para 2 ( , ) : ( , , , , )
xx xy yy x y
u x y Au Bu Cu F x y u u u + + =
Para 2 ( , ) : ( , , , , )
xx xt tt x t
u x t Au Bu Cu F x t u u u + + =
Deacuerdoaestaformageneral,lasEDPsdesegundoordenseclasificanen:
i. Elpticassi 0
2
> B AC
ii. Parablicassi 0
2
= B AC
iii. Hiperblicassi 0
2
< B AC
Ejemplo 7.3. Clasifique las ecuaciones de onda, calor y laplace, utilizando las clases
definidasanteriormente.
Solucin.
Ecuacindeondaunidimensional
2
0
xx tt
c u u =
2
0 1 y 0 , , A c B C F = = = =
2 2
0 AC B c = <
Portalmotivo,laecuacindeonda1Deshiperblica.
Ecuacindecalorunidimensional
2
xx t
c u u =
2
0 0 y , ,
t
A c B C F u = = = =
2
0 AC B =
Portalmotivo,laecuacindeonda1Deshiperblica.
EcuacindeLaplacebidimensional
0
xx yy
u u + =
1 0 1 y 0 , , A B C F = = = =
2
1 AC B =
Portalmotivo,laecuacindeLaplace2Deshiperblica.
Ecuacionesdiferencialesparciales AnlisisdeFourier
199
7.1.2. SolucindeunaEDP
EngeneralelconjuntodesolucionesdeunaEDPesmuygrande.UnaEDPpuedetener
mltiplessoluciones,comoseilustraenelsiguienteejemplo.
Solucin.Averificarque 0
xx yy
u u + = .
2 2
y x u =
2 2
2 2
x xx
y yy
u x u
u y u
= =
= =
2 2 0
xx yy
u u + = =
) cos( y e u
x
=
cos( ) cos( )
sin( ) cos( )
x x
x xx
x x
y yy
u e y u e y
u e y u e y
= =
= =
0 cos( ) cos( )
x x
xx yy
u u e y e y + = =
) ln(
2 2
y x u + =
( )
( )
2 2
2 2 2
2 2
2 2
2 2 2
2 2
2 2 2
2 2 2
x xx
y yy
x x y
u u
x y
x y
y y x
u u
x y
x y
+
= =
+
+
+
= =
+
+
( ) ( )
2 2 2 2
2 2
2 2 2 2
2 2 2 2
0
xx yy
x y y x
u u
x y x y
+ +
+ = + =
+ +
Muchos sistemas fsicos pueden ser modelados por medio de una EDP. Con el fin de
obtener una solucin nica del sistema, se debe tener en cuenta informacin del
Ecuacionesdiferencialesparciales AnlisisdeFourier
200
problemaenparticularyagregarestainformacinenelplanteamientodelaEDP,por
mediodecondicionesdefronteraycondicionesiniciales.
Condicionesdefrontera
Daninformacindelvalordelasolucinenlafronteradealgndominio.
0
( , ) u x t c =
0 ( , ) u t c =
Condicionesiniciales
Daninformacindelvalordelasolucinen 0 = t .
0 ( , ) u x c =
7.1.3. PropiedadesdelasEDPs
SedicequeunaEDPestbienplanteada,si:
i. Tienesolucin.
ii. Lasolucinesnica.
iii. Lasolucinescontinuaenlasvariables.
Definicin 7.4. Una EDP, es lineal si la variable dependiente u y cada una de sus
derivadas aparecen en una forma lineal, es decir, aparecen a la potencia 1, y no hay
productosofuncionesdelavariabledependiente.
Ejemplo7.5.IdentifiquesilassiguientesEDPssonlineales.
u u u
yy xx
= +
Laecuacineslineal.
( )
2
xx yy
u u u + =
Laecuacinnoeslineal,eltrmino
yy
u estlacuadrado.
Ejemplo7.6.IdentifiquesilassiguientesEDPssonhomogneas.
0 = +
yy xx
u u
Laecuacineshomognea.
0 ) sin( = y u
xy
0 3 = + +
t xx
u u
Nohomognea,pues 3noeslavariabledependienteniunadesusderivadas.
7.1.4. TeoremafundamentaldelasEDPs
Si
1
u y
2
u sonsolucionesdeunaEDPlinealyhomogneaenunaregin,entonces
2 2 1 1
u c u c u + =
tambinessolucinalaecuacinenesaregin,donde
1
c y
2
c sonconstantes.
Ejemplo7.7.Demuestrequesilasfunciones v y wsonsolucinalaecuacindecalor
1D,entonces w c v c u
2 1
+ = ,donde
1
c y
2
c sonconstantes,essolucintambin.
Solucin.Aprobarque
2
t xx
u c u = .Dadoque v y wsonsolucinalaecuacindecalor
cumplen
2
t xx
v c v = y
2
t xx
w c w = ,respectivamente.Portalmotivo
1 2 t t t
u c v c w = +
( ) ( )
2 2
2 1 t xx xx
u c v c c w c = +
( )
2 2
1 2 t xx xx xx
u c c v c w c u = + =
7.2. Ecuacindeondaunidimensional
Considereunacuerdavibranteextendidaaunalongitud L yfijadaenlosextremos.
Observacin 7.1. Toda combinacin lineal de soluciones una EDP es tambin una
solucindelaEDP.
Ecuacionesdiferencialesparciales AnlisisdeFourier
202
Figura7.1.CuerdavibrantedelongitudL.
Supongaquelacuerdaesdistorsionadaydespusenciertoinstante( 0 = t )sesueltay
sedejavibrarlibremente.Elproblemaesdeterminarladeflexindelacuerda ( , ) u x t ,
quecorrespondealadistorsindelacuerdaenlaposicin x enuntiempo t .
Figura7.2.Deflexindelacuerdaenlaposicinxeneltiempot.
Paraencontrarladeflexindelacuerda ) , ( t x u ,sedebeasumir:
Ecuacionesdiferencialesparciales AnlisisdeFourier
203
Sean
1
T y
2
T las tensiones sobre los puntos P y Q de la porcin de la cuerda,
respectivamente. Como no hay movimiento horizontal, las componentes horizontales
delastensiones
1
T y
2
T debenserigualesparaqueseanulenentreellas,esdecir,
1 2
cos( ) cos( )
H
T T T = =
Latensinhorizontaldelacuerda
H
T ,esunaconstantequedependedetensininicial
conlacuallacuerdafuefijadaalosextremos.
tan( )
x x
u
x
tan( )
x x x
u
x
= +
Reemplazandoestehechoenlaecuacindelaporcindecuerda,setiene
( )
2 2
/
x x x x x H
u u x
u t
x x T
= + =
=
1
T
Ecuacionesdiferencialesparciales AnlisisdeFourier
204
Sea ( )
u
f x
x
,entoncespodemosescribir
( )
2 2
( ) ( ) /
H
x
f x x f x x u t
T
+ + =
Laporcindecuerdasesuponemuypequea,porlocual 0 x .Bajoestacondicin
seeldiferencial, x sepasaadividirlaexpresindelaizquierda,setiene
2
2
0
( ) ( ) ( )
lim
x
f x x f x df x u
x dx x
+ +
= =
ylaecuacindelacuerdapuedereescribirsecomo
( )
2 2 2 2
/ /
H
u x u t
T
Finalmente, si definimos
2
/
H
c T = , obtenemos la ecuacin de onda unidimensional
quegobiernaladeflexindelacuerda,dadapor
2 2
2
2 2
u u
c
x t
=
Condicionesdefrontera
Debidoaquelacuerdaestsujetaalosextremos 0 = x y L x = ,setieneque
0 0 ( , ) u t =
0 ( , ) u L t =
Condicionesiniciales
0 ( , ) ( ) u x f x =
0
( )
t
u
g x
t
=
Ecuacionesdiferencialesparciales AnlisisdeFourier
205
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 =
2 2
2 2
d
d
''
( , ) ( )
( ) ( ) ( )
u x t G t
F x F x G t
t t
= =
2 2
2 2
d
d
( , ) ( )
( ) ( ) ( )
u x t F x
G t F x G t
x x
= =
dondecadacomilladenotaunaderivadaconrespectoa t ycadapuntounaderivada
conrespectoa x .Laecuacindeondapuedeescribirsecomo
2 ''
( ) ( ) ( ) ( ) F x G t c F x G t
Dividiendolaecuacindeondaporeltrmino
2
( ) ( ) c F x G t
,setiene
2
''
( ) ( )
( ) ( )
G t F x
c G t F x
2
''
( ) ( )
, R
( ) ( )
G t F x
k k
c G t F x
= =
Apartirdeestaecuacinpodemosplanteardosecuacionesdiferencialesordinarias
0 F Fk
= ( ) a
0
2 ' '
= Gkc G ( ) b
Solucinde ( ) a
Revisandolascondicionesdefrontera 0 0 ( , ) u t = y 0 ( , ) u L t = ,setieneque
0 0 0 ( , ) ( ) ( ) u t F G t = =
0 ( , ) ( ) ( ) u L t F L G t = =
2
2
d
0
d
( )
( )
F x
kF x
x
=
Si 0 k = ,entonces
1 2
0 m m = = ylasracessonrealeseiguales.Enestecaso,
lasolucindelaecuacin ( ) a esdelaforma
1 2
( )
m x m x
F x Axe Be = +
( ) F x Ax B = +
Lasolucindebesatisfacer 0 ) 0 ( = F y 0 ) ( = L F ,entonces
0 0 0 ( ) F B B = = =
0 0 ( ) F L AL A = = =
Ecuacionesdiferencialesparciales AnlisisdeFourier
207
La funcin ( ) F x Ax B = + no es una solucin valida, pues para satisfacer la condicin
defronterarequiere 0 A B = = ,porlocual 0 ( ) F x = y 0 ( , ) u x t = .
Si
2
k q = ( 0 k > ), entonces
1
m q = y
2
m q = , y las races son reales y
diferentes.Enestecaso,lasolucindelaecuacin ( ) a esdelaforma
1 2
( )
m x m x
F x Ae Be = +
( )
qx qx
F x Ae Be
= +
Lasolucindebesatisfacer 0 ) 0 ( = F y 0 ) ( = L F ,entonces
0 0 ( ) F A B A B = + = =
( )
0 0 ( )
qL qL
F L A e Ae A
= = =
La funcin ( )
qx qx
F x Ae Be
Finalmente, si
2
k q = ( 0 k < ), entonces
1
m jq = y
2
m jq = , y las races
complejasconjugadas.Enestecaso,silaracessondelaforma m p jq = ,la
solucindelaecuacinesdelaforma
[ ]
( ) cos( ) sin( )
px
F x e A qx B qx = +
Comolaparterealdelasracesescero,lasolucinpuedeescribirsecomo
( ) cos( ) sin( ) F x A qx B qx = +
Lasolucindebesatisfacer 0 ) 0 ( = F y 0 ) ( = L F ,entonces
0 0 0 ( ) F A A = = =
0 0 ( ) sin( ) sin( ) F L B qL qL = = =
n
q
L
ypodemosescribirlasolucincomo
( ) sin
n
F x B x
L
=
Ecuacionesdiferencialesparciales AnlisisdeFourier
208
Asignado 1 B = ,obtenemosinfinitassolucinparalaecuacin ( ) a (unadiferentepara
cadavalorde n )alascualesllamaremos
n
F yescribiremoscomo
( ) sin
n
n
F x x
L
=
Ejemplo7.8.Tressolucionesde ( ) a quesatisfacenlascondicionesdefrontera.
1
( ) sin F x x
L
=
2
2
( ) sin F x x
L
=
8
8
( ) sin F x x
L
=
Solucinde ( ) b
Dadoque
L
n
q
= ,setieneque
2
=
L
n
k
ypodemosescribir ( ) b como
2
2
2
2
d
0
d
( )
( )
G t n
c G t
t L
+ =
Definamos /
n
cn L = , entonces podemos escribir ( ) b como
2
0
''
( ) ( )
n
G t G t + = . La
ecuacincaractersticade ( ) b es 0
2 2
= +
n
m ,conraces
n
j m =
1
y
n
j m =
2
.As,
paracada n ,laecuacin ( ) b tieneunasolucindiferente,delaforma
) sin( ) cos( ) ( t B t A t G
n n n n n
+ =
Portalmotivo,lasfunciones ( , ) ( ) ( )
n n n
u x t F x G t = ,escritascomo
Ecuacionesdiferencialesparciales AnlisisdeFourier
209
[ ]
( , ) cos( ) sin( ) sin
n n n n n
n
u x t A t B t x
L
= +
sonsolucinalaecuacindeondaysatisfacenlascondicionesdefrontera.
Ejemplo7.9.Paracadavalorde n ,lafuncin ( , )
n
u x t puedeversecomo
Amp ( , ) ( )sin
n n
n
u x t t x
L
=
Figura7.4.Comportamientodelasolucinparadiferentestiempos.
Unasolasolucin ( , )
n
u x t nonecesariamentesatisfacelascondicionesiniciales.Dado
que la ecuacin de onda 1D es lineal y homognea, podemos utilizar el Teorema
Fundamental de EDPs para reunir varias soluciones ( , )
n
u x t , con el fin de cumplir las
condicionesiniciales.Consideremoslasumadeinfinitassoluciones,lacualtambines
solucindelaecuacindeonda,dadapor
1
( , ) ( , )
n
n
u x t u x t
=
=
[ ]
1
( , ) cos( ) sin( ) sin
n n n n
n
n
u x t A t B t x
L
=
= +
Lanuevasolucindebesatisfacerlacondicininicial 0 ( , ) ( ) u x f x = ,paraello
1
0 ( , ) sin ( )
n
n
n
u x A x f x
L
=
= =
Ecuacionesdiferencialesparciales AnlisisdeFourier
210
Esta sumatoria corresponde a la serie de Fourier de la seal ) (x f , que debe ser
peridica. Como la serie contiene slo funciones
0
sin( ) n x , la seal ( ) f x debe ser
impar.Lafrecuenciafundamentaldelaseriees
0
/ L = ,porlocuallaseal ( ) f x
tiene periodo 2/ T L = . Los coeficientes
n
A de la serie, pueden ser encontrados para
cualquierdeflexininicial ( ) f x delacuerda,utilizandolaecuacindeloscoeficientes
paralaserietrigonomtricadeFourierdeunasealimpar,dadospor
2
0
0
4
/
( )sin( )
T
n
A f x n x dx
T
=
0
2
( )sin
L
n
n
A f x x dx
L L
=
[ ]
1
( , )
cos( ) sin( ) sin
n n n n n n
n
u x t n
B t A t x
t L
=
=
1
0
( , )
sin ( )
n n
n
t
u x t n
B x g x
t L
=
=
= =
0
2
( )sin
L
n n
n
B g x x dx
L L
Despejandoloscoeficientes
n
B setiene
=
L
n
n
dx x
L
n
x g
L
B
0
sin ) (
2
1
( , ) cos( )sin ,
n n n
n
n cn
u x t A t x
L L
=
= =
Ecuacionesdiferencialesparciales AnlisisdeFourier
211
Interpretacindelasolucin
1
( , ) cos( )sin
n n
n
n
u x t A t x
L
=
=
Conociendoque
1
2
cos sin [sin( ) sin( )] = + + ,podemosescribir
1 1
1
2
( , ) sin ( ) sin ( )
n n
n n
n n
u x t A x ct A x ct
L L
= =
= + +
Dadoque
1
( ) sin
n
n
n
f x A x
L
=
=
,podemosescribir ( , ) u x t como
[ ]
1
2
( , ) ( ) ( )
E E
u x t f x ct f x ct = + +
donde ) (x f
E
esunaextensinimparyperidica,conperiodo L 2 ,delafuncin ) (x f ,
comoseilustraenlaFigura7.6.Larespuestageneral ( , ) u x t consistede2versionesde
( ) f x quesetrasladaneneltiempo,endireccincontraria,ysesuperponen.
Figura7.5.Deflexininicialdelacuerda.
Figura7.6.Extensinperidicaeimpardeladeflexininicial.
Ecuacionesdiferencialesparciales AnlisisdeFourier
212
Encuentreladeflexin ) , ( t x u delacuerda,silavelocidadinicialescero.
Solucin.Primerosedebenencontrarloscoeficientes
n
A ,paraello
0 0
2 2 3
( )sin sin sin
L L
n
n n
A f x x dx x x dx
L L L L L
= =
Conociendoque
1
2
sin( )sin( ) [cos( ) cos( )] = + ,setiene
0
1
3 3 cos ( ) cos ( )
L
n
x x
A n n dx
L L L
= +
Para 3 n =
( )
3
0
0
6
1 6
1 1 1
6
sin /
cos
L
L
x L
A x dx
L L
= = =
Para 3 n
[ ] [ ]
0
3 3
0
3 3
sin ( ) / sin ( ) /
( ) ( )
L
n
x n L x n L
A
n n
+
= =
+
Solohayuncoeficientedelaseriequenoescero,elcoeficiente
3
A .Portalmotivo,la
deflexindelacuerdaestdadapor
3
3 3 3 3
( , ) cos sin cos sin u x t A t x t x
L L L L
= =
3
( ) sin f x x
L
=
Ecuacionesdiferencialesparciales AnlisisdeFourier
213
7.3.2. SolucindeDAlembert
{ } ( , ) ( , ) ( , )
j x
x
u x t u x t e dx U t
= =
UtilizandolapropiedaddediferenciacindelaTF,setiene
{ } ( , ) ( , )
x x
u x t j U t =
{ }
2
( , ) ( , )
x xx
u x t U t =
ParaencontrarlaTFconrespectoa x de ) , ( t x u
t
nosepuedeutilizarestapropiedad,
pues la transformada y la derivada son con respecto a diferentes variables. Para este
casosetiene
{ }
0
( , ) ( , ) ( , )
( , ) lim
j x j x
x t
h
u x t u x t h u x t
u x t e dx e dx
t h
+
= =
{ } [ ]
0
1
( , ) lim ( , ) ( , )
j x
x t
h
u x t u x t h u x t e dx
h
= +
{ } { } { }
0
1
lim ( , ) ( , ) ( , )
x x x t
h
u x t h u x t u x t
h
= +
{ } [ ]
0
1
( , ) lim ( , ) ( , )
x t
h
u x t U t h U t
h
= +
Portalmotivo,podemosescribir
{ }
( , )
( , ) ( , )
x t t
U t
u x t U t
t
= =
{ }
2
2
( , )
( , ) ( , )
x tt tt
U t
u x t U t
t
= =
Deacuerdoaestoresultados,sitomamoslaTFdelaecuacindeonda,setiene
{ } { }
2
x tt x xx
u c u =
Ecuacionesdiferencialesparciales AnlisisdeFourier
214
2
2 2
2
( , )
( , )
U t
c U t
t
=
2
2 2
2
0
( , )
( , )
U t
c U t
t
+ =
( , ) ( ) ( )
j ct j ct
U t H e G e
= +
{ }
1
1
2
( , ) ( , ) ( , )
j x
x
u x t U t U t e d
= =
( )
1
2
( , ) ( ) ( )
j ct j ct j x
u x t H e G e e d
= +
1
2
( ) ( )
( , ) ( ) ( )
j x ct j x ct
u x t H e d G e d
+
= +
{ }
1
1
2
( ) ( ) ( )
j x
x
h x H H e d
= =
{ }
1
1
2
( ) ( ) ( )
j x
x
g x G G e d
= =
Deacuerdoaesto,podemosescribirladeflexindelacuerdacomo
( , ) ( ) ( ) u x t h x ct g x ct = + +
Ecuacionesdiferencialesparciales AnlisisdeFourier
215
CondicionesIniciales
Deflexininicial: 0 ( , ) ( ) u x f x =
) ( ) ( ) ( ) 0 , ( x f x g x h x u = + = 1 ( )
Velocidadinicial: 0
'
( , ) ( ) u x g x =
' '
( , ) ( ) ( )
t
u x t ch x ct cg x ct = + +
0 0
' '
( , ) ( ) ( )
t
u x ch x cg x = =
0 0 0
' ' ' '
( , ) ( ) ( ) ( ) ( )
t
u x c h x g x h x g x = = =
( ) ( ) , R h x g x k k = + 2 ( )
[ ]
1
2
( , ) ( ) ( ) u x t f x ct f x ct = + +
CondicionesdeFrontera
0 0 ( , ) u t =
[ ]
1
0 0
2
( , ) ( ) ( ) u t f ct f ct = + =
( ) ( ) f ct f ct =
Portalmotivo,lafuncin ( ) f x esimpar.
0 ( , ) u L t =
[ ]
1
0
2
( , ) ( ) ( ) u L t f L ct f L ct = + + =
( ) ( ) f L ct f L ct + =
Observacin7.2.LasolucindeDAlembertconcuerdaconlasolucinobtenidapor
el mtodo de separacin de variables. La TF permite solucionar de manera sencilla
otrasecuacionesdiferencialesparciales.
Ecuacionesdiferencialesparciales AnlisisdeFourier
216
Ejemplo7.11.Resuelvalaecuacin 0
x t
au u + = ,utilizandolatransformadadeFourier,
donde a esunaconstanterealy 0 ( , ) ( ) u x f x = .
Solucin.TomandolaTFconrespectoa x ,setiene
0 { } { }
x x x t
a u u + =
0
( , )
( , )
U t
aj U t
t
+ =
LaEDOdeprimerordenpuedeserresultahaciendo
( , )
( , )
U t
aj t
U t
=
Ahorasedebeintegraraambosladosdelaigualdad.Alintegrarelladoizquierdodela
expresin,seobtienelafuncin aj t msunaconstantedeintegracin ( ) H ,que
dependedelvalordeyesconstanteconrespectoa t .
ln[ ( , )] ( ) U t ja t H = +
( , ) ( )
at
U t H e
Lasolucindelaecuacindebecumplir 0 ( , ) ( ) u x f x = ,porlocualsitomamoslaTF
0 { ( , )} { ( )}
x
u x f x =
0 ( , ) ( ) U F =
Utilizandoestarestriccin,seencuentraque ( ) ( ) H F = yque ( , ) ( )
at
U t F e
= .
Lafuncin ( , ) u x t esencontradatomandolatransformadainversadeFourier
1 1
( , ) { ( , )} { ( ) }
at
x x
u x t U t F e
= =
Conociendoquesi { ( )} ( ) f x F = entonces
0
0
{ ( )} ( )
j x
f x x F e
= ,podemos
encontrarlasolucindelaEDP,como
( , ) ( ) u x t f x at =
Ecuacionesdiferencialesparciales AnlisisdeFourier
217
7.4. Ecuacindecalorunidimensional
Elflujodecalordeunmaterialhomogneoestgobernadoporlaecuacindecalor:
2 2 2
,
u K
c u c
t
= =
2
2
2
2
2
2
2
z
u
y
u
x
u
u
Consideremoslatemperaturaenunabarradelgadaalambre,deseccintransversal
constante y de material homogneo. El alambre est orientado a lo largo del eje x y
estperfectamenteaislado,paraqueelcalorfluyasolamenteenladireccin x .
Figura7.7.Barradelgadaorientadaalolargodelejex.
En este caso, u depende slo de x y de t , por lo cual las derivadas parciales con
respectoa y ya z ,delLaplacianode u ,soncero.Portalmotivo,laecuacindecalor
unidimensionalseplanteacomo
2
2
2
x
u
c
t
u
7.4.1. Alambrefinito(Separacindevariables)
Figura7.8.BarradelgadadelongitudL.
Ecuacionesdiferencialesparciales AnlisisdeFourier
218
Condicionesdefrontera
Latemperaturaenlosextremosdelalambreescero.
0 0 ( , ) u t =
0 ( , ) u L t =
Condicininicial
Latemperaturainicialdelalambreestdadapor
) ( ) 0 , ( x f x u =
2 '
( ) ( ) ( ) ( ) F x G t c F x G t
Separandolasvariables x y t ,setiene
2
'
( ) ( )
, R
( ) ( )
G t F x
k k
c G t F x
= =
ApartirdeestaecuacinsepuedeplantearlasdossiguientesEDOs
0 ( ) ( ) F x kF x
= ( ) a
2
0
'
G kc G = ( ) b
Solucinde ( ) a
Revisandolascondicionesdefrontera 0 0 ( , ) u t = y 0 ( , ) u L t = ,setieneque
0 0 0 ( , ) ( ) ( ) u t F G t = =
0 ( , ) ( ) ( ) u L t F L G t = =
Ecuacionesdiferencialesparciales AnlisisdeFourier
219
Claramente, ) (t G no puede ser cero, pues ello implicara 0 ) , ( = t x u , por lo cual se
debecumplirque 0 ) 0 ( = F y 0 ) ( = L F .Laecuacin ( ) a puedeescribirsecomo
2
2
d
0
d
( )
( )
F x
kF x
x
=
( ) cos( ) sin( ) F x A qx B qx = +
Lasolucindebesatisfacer 0 ) 0 ( = F y 0 ) ( = L F ,entonces
0 0 0 ( ) F A A = = =
0 0 ( ) sin( ) sin( ) F L B qL qL = = =
n
q
L
ypodemosescribirlasolucincomo
( ) sin
n
F x B x
L
=
( ) sin
n
n
F x x
L
=
Solucinde ( ) b
Dadoque
L
n
q
= ,setieneque
2
=
L
n
k
ypodemosescribir ( ) b como
Ecuacionesdiferencialesparciales AnlisisdeFourier
220
2
2
d
0
d
( )
( )
G t n
c G t
t L
+ =
Definamos /
n
cn L = , entonces podemos escribir ( ) b como
2
0
'
( ) ( )
n
G t G t + = . La
ecuacindeprimerordenpuedeserresueltaporseparacin,haciendo
2
( )
( )
n
dG t
dt
G t
=
2
ln[ ( )]
n n
G t t K = +
2
( )
n
t
n n
G t A e
=
Portalmotivo,lasfunciones ( , ) ( ) ( )
n n n
u x t F x G t = ,escritascomo
2
( , ) sin
n
t
n n
n
u x t A e x
L
sonsolucinalaecuacindecalorysatisfacenlascondicionesdefrontera.
1
( , ) ( , )
n
n
u x t u x t
=
=
2
1
( , ) sin
n
t
n
n
n
u x t A e x
L
=
=
Lanuevasolucindebesatisfacerlacondicininicial 0 ( , ) ( ) u x f x = ,paraello
Ecuacionesdiferencialesparciales AnlisisdeFourier
221
1
0 ( , ) sin ( )
n
n
n
u x A x f x
L
=
= =
0
2
( )sin
L
n
n
A f x x dx
L L
=
Encuentrelatemperatura ( , ) u x t delalambre.
Solucin.Loscoeficientes
n
A delasolucinpuedenserencontradoscomo
( ) ( )
2
0 0 2
2 2
/
/
( )sin sin ( )sin
L
n
n
A f x x dx x nx dx x nx dx
L L
= = +
( ) ( ) ( )
2
0 2 2
2
/
/ /
sin sin sin
n
A x nx dx nx dx x nx dx
= +
[ ]
[ ]
2
2 2 0
2 2
2 1
1
/
/
/
sin( ) cos( ) cos( )
sin( ) cos( )
n
A nx nx nx nx
n n
nx nx nx
n
2
2
2 1
2 2 2 2
1
2 2 2
sin cos cos( ) cos
cos( ) sin cos
n
A n n n n n
n n
n n n n n
n
si 0 2
si 2
/
( )
/
x x
f x
x x
< <
=
< <
Ecuacionesdiferencialesparciales AnlisisdeFourier
222
1
2
2
2
4
4 1 impar
2
0 par
( )
( )
sin
n
n
n n
A
n
n
n
= =
Latemperaturadelaalambreestdadapor
4 4
2 2
1 3
4 4
( , ) sin( ) sin( )
n n n n
t t
n n
u x t nx e nx e
n n
= + = +
= =
=
7.4.2. Alambreinfinito(TransformadadeFourier)
{ ( , )} ( , )
x
u x t U t =
2 2 2 2
{ } { } ( , )
x xx x xx
c u c u c U t = =
( , )
{ } ( , )
x t t
U t
u U t
t
= =
As,laTFdelaecuacindecalorpuedeescribirsecomo
2 2
( , )
( , )
U t
c U t
t
=
2 2
( , )
( , )
U t
c t
U t
=
[ ]
2 2
ln ( , ) ( ) U t c t H = +
2 2
( , ) ( )
c t
U t H e
=
Ecuacionesdiferencialesparciales AnlisisdeFourier
223
0 { ( , )} { ( )}
x x
u x f x =
0 ( , ) ( ) ( ) ( ) U F H F = =
Portalmotivo,podemosescribir
2 2
( , ) ( )
c t
U t F e
=
TomandolatransformainversadeFourier,setiene
{ }
1
1
2
( , ) ( , ) ( , )
j x
x
u x t U t U t e d
= =
2 2 1
2
( , ) ( )
c t j x
u x t F e e d
Definamoslafuncin
2 2
( , )
c t
G t e
= ,entonces
1
1
2
( , ) ( ) ( , ) { ( ) ( , )}
j x
x
u x t F G t e d F G t
= =
1 1
( , ) { ( )} { ( , )}
x x
u x t F G t
=
( , ) ( ) ( , ) u x t f x g x t =
donde
2 2
1 1
( , ) { ( , )} { }
c t
x x
g x t G t e
= = .Lafuncin ( , ) g x t esencontradacomo
2 2 2 2 1 1
2 2
( , )
c t j x c t j x
g x t e e d e d
+
= =
2 2
2
1
2
( , )
x
c t
jc t
g x t e d
Completandocuadrados,setiene
2 2
2 2
2 2 2
2 2
1
2
( , )
x x x
c t
jc t j c t j c t
g x t e d
+ +
Ecuacionesdiferencialesparciales AnlisisdeFourier
224
2
2
2 2
2
2 2
2 2
2
1
2
( , )
x x
x
c t
c t
jc t j c t
j c t
g x t e e d
+ +
2
2
2
2 2
2
2 2
2
2
2
( , )
x
c t x x
c t
j c t
jc t j c t
e
g x t e d
+ +
Realizandolasustitucin
2
2
x
u c t
jc t
= +
setiene du c t d = y
2 2
2 2
2 2 2
2
2 2
2
2
( , )
x x
c t c t
j c t j c t u
u
e e du e
g x t e du
c t c t
= =
2
2
4
2
( , )
x
c t
e
g x t
c t
=
Lasolucinalaecuacindecalor1Dpuedeescribircomo
( )
2 2
4
2
/
( , ) ( ) ( , ) ( )
x c t
e
u x t f x g x t f x
c t
= =
2 2
4 1
2
( ) /
( , ) ( )
x c t
u x t f e d
c t
Interpretacindelasolucin
Seccin7.1
1. VerifiquequelassiguientesfuncionessonsolucinalaecuacindeLaplace2D.
a. 2 ( , ) u x y xy =
b.
3 2
3 ( , ) u x y x xy =
2. Verifiquequelafuncin
2 2 2
1
( , , ) u x y z
x y z
=
+ +
satisfacelaecuacin
2 2 2
2
2 2 2
0
u u u
u
x y z
= + + =
3. Verifiquequelassiguientesfuncionessatisfacenlaecuacindecalorparaalgn c .
c.
2
( , ) cos( )
t
u x t e x
d. 3 ( , ) sin( )
t
u x y e x
4. Verifiquequelassiguientesfuncionessatisfacenlaecuacindeonda.
a.
2 2
4 ( , ) u x t x t = +
b. ( , ) sin( )sin( ) u x t ct x =
6. Encuentrelafuncin ( , ) u x y ,solucindelassiguientesecuacionesdiferenciales.
a. 2 0
y
u yu + =
b. 2
x
u xyu =
c. 4 0
xx
u u + =
Seccin7.2y7.3
7. Cuales de la siguientes funciones puede ser una condicin inicial de una cuerda
vibrantedelongitud 1 L = .Justifiquesurespuesta.
Ecuacionesdiferencialesparciales AnlisisdeFourier
226
a. ( ) sin( ) f x x =
b.
2
( ) f x x =
c. 3 5 ( ) sin( )sin( ) f x x x =
d. 3 5 ( ) cos( )cos( ) f x x x =
3
1
1
( ) sin( )
k
k
f x kx
=
=
2
2 ( ) sin( )cos( ) f x x x
=
[ ]
3
1
( ) sin( ) sin( )
k
f x k x kx
=
= +
Seccin7.4
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 esunmonoideconidentidad1.
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 AnlisisdeFourier
228
i. ( , ) F + esungrupoabelianoconidentidad 0 .
ii.
*
( , ) F esungrupoabelianoconidentidad1.
iii. La multiplicacin distribuye a la adicin
, , ( ) a b c R a b c a b a c + = + .
Loselementosdeuncamposeconocencomoescalares.
EjemploA.2. (R, , ) + y (C, , ) + sonanillosycampos.
A.2. Definicindeespaciovectorial
UnconjuntoV esunespaciovectorialsobreuncampo ( , , ) F + si
i. ( , ) V + esungrupoabelianoconidentidad 0 .
ii. a F y v, w V : (v w) v w a a a + = +
iii. , a b F y v V : ( ) v ( v) ( v) a b a b + = +
iv. , a b F y v V : ( ) v ( v) a b a b =
v. v V : 1 v v = 1eslaidentidadmultiplicativade F
vi. a F y v V : v a V
Loselementosdeunespaciovectorialseconocencomovectores.
Ejemplo A.3. Demuestre que los siguientes conjuntos son espacios vectoriales. Para
elloverifiquequeloselementosdelcampopuedenserescaladosysumados.
R
n
V = con R F =
Si x R
n
entonces
1 2
x ( , , ..., )
n
x x x = con
1 2
, , ..., R
n
n
x x x .
Escalados.Si R a y x R
n
entonces
1 2
x ( , , ..., ) R
n
n
a ax ax ax = .
Sumados.Si x, y R
n
entonces
1 1 2 2
x y ( , , ..., ) R
n
n n
x y x y x y + = + + + .
1
V L = con C F =
Si
1
( ) x t L entonces ( ) x t dt
<
.
Espaciosvectoriales AnlisisdeFourier
229
Escalados.Si C a y
1
( ) x t L entonces ( ) ( ) ax t dt a x t dt
= <
.
Sumados.Si
1
( ), ( ) x t y t L entonces ( ) ( ) ( ) ( ) x t y t dt x t dt y t dt
+ + <
.
A.3. Normadeunespaciovectorial
i. v V : 0 v y 0 0 v v = =
ii. a F y v V : v v a a =
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, 0 : [ , ) V .Unespaciovectorialnormadoesun
espaciovectorialdotadoconnorma.
EjemploA.4. R
n
y
1
L sonespaciosvectorialesnormados.
Si x R
n
entonces
2 2 2
1 2
x ...
n
x x x = + + +
Si
1
( ) x t L entonces ( ) ( ) x t x t dt
DefinicinA.5.Unamtrica esunamedidadedistancia,entredosvectoresdeun
espaciovectorial,quedebecumplir
i. v, w V : 0 (v, w) y 0 (v, w) v w = =
ii. v, w V : (v, w) (w, v) =
iii. v, w, z V : (v, z) (v, w) (w, z) +
Por tal motivo, una mtrica es una funcin que toma dos elementos del espacio
vectorialyasignaunnmerorealmayorigualacero,esdecir, 0 : [ , ) V V .Un
espaciovectorialmtricoesunespaciovectorialdotadoconmtrica.
Espaciosvectoriales AnlisisdeFourier
230
EjemploA.5. R
n
y
1
L sonespaciosvectorialesmtricos.
Si x, y R
n
entonces
2 2 2
1 1 2 2
(x, y) ( ) ( ) ... ( )
n n
x y x y x y = + + +
Si
1
( ), ( ) x t y t L entonces
[ ]
( ), ( ) ( ) ( ) x t y t x t y t dt
A.4. Productointerno
i. 0 v, v > y 0 v, v v =
ii.
*
v, w w, v =
iii.
1 2 1 2
v v , w v , w v , w + = + y
1 2 1 2
v, w w v, w v, w + = +
iv. v, w v, w a a = y
*
v, w v, w a a =
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.
EjemploA.5. R
n
y
2
L sonespaciosvectorialesconproductoeucldeo.
Si x, y R
n
entonces
1 1 2 2
x, y ...
n n
x y x y x y = + + +
Si
2
( ), ( ) x t y t L entonces
*
( ), ( ) ( ) ( ) x t y t x t y t dt
Adicionalmente,
2
L esunespaciovectorialnormado,connormadefinidacomo
2
*
( ) ( ) ( ) ( ) x t x t x t dt x t dt
= =
Observacin A.2. Todo espacio vectorial eucldeo es tambin un espacio normado,
connormadefinidacomo x = x, x .
Observacin A.1. Todo espacio vectorial normado es tambin un espacio mtrico,
conmtricadefinidacomo (v, w) v w = .
Espaciosvectoriales AnlisisdeFourier
231
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.