Professional Documents
Culture Documents
ndice
Tema 2.1 2.2 2.3 2.4 2.! 2.# 2.% 2.' 2.( Antecedenetes Introduccin Funcin discreta Seales discretas ele entales "peraciones con funciones discretas $iferencia de una funcin $iferencias de productos & cocientes Independencia lineal )ner*a & potencia
pg
v_07_03_02
2.1. Antecedentes
+a& consideradas dos ra as del c,lculo )l c,lculo infinitesi al )l c,lculo de diferencias finitas
A bas ra as estudian tanto funciones continuas co o funciones discretas considerando sus respecti-os & particulares punrtos de -ista .prospero/. 0ara e1e plificar2 considere 3ue la pri era definicin de deri-ada consiste del si*uiente cociente diferencial. f ' ( t )= lim h 0 f ( t + h) f ( t ) h
u&
4na diferencia finita es una e5presin ate ,tica de la for a f ( t +h )f ( t ) . Si una diferencia finita se di-ide por h se obtiene una e5presin si ilar al cociente diferencial. 6tese 3ue el C,lculo de las $iferencias Finitas difiere en 3ue se e plean cantidades finitas en lu*ar de cantidades infinitesi ales2 es decir7 f ' ( t )= f ( t + h) f ( t ) h
)l C,lculo de las $iferencias Finitas se inici co o un 8todo para calcular2 de anera apro5i ada2 las soluciones a las ecuaciones diferenciales usando )cuaciones en $iferencias Finitas para apro5i ar deri-adas.
2.2. Introduccin
)l presente captulo tiene la intencin de apo&ar el punto del -ista2 de un profesor en particular2 para la e5posicin de su c,tedra 90rocesa iento $i*ital de Seales:. $urante este se*undo captulo se estudiar,n t8cnicas ate ,ticas2 necesarias en el estudio de las seales discretas. 0or su puesto se considera el punto de -ista del c,lculo de diferencias finitas & a la -e; se considera ta bi8n 3ue el do inio de tales funciones es el con1unto de los enteros.
)l do inio de una funcin discreta puede estar for ado por un con1unto de n< eros reales2 los cuales no *uardan nin*una relacin entre s7 uestreo no unifor e. 0or e1e plo2 en la funcin7 f ( t )=t +1 ; donde t =...1.1, 0.5,2.3, , 4.02,... =2.1>
4n caso particular es a3uel en el cual2 los -alores del do inio de una funcin est,n e3uiespaciados por una cantidad lla ada periodo de uestreo7 uestreo unifor e. 0or e1e plo2 considere la funcin7 f ( t )=r cos ( 0 t ) Al
t
=2.2>
Definicin 2.2. Una funcin de tiempo discreto con muestreo uniforme se caracteri;a por 3ue su -ariable independiente slo puede to ar -alores 3ue est,n e3uiespaciados por una cantidad constante lla ada periodo de uestreo dom {f }={... , 0, s , 2 s , 3 s ... ( N 1 ) s , ...} . )ntonces2 el recorrido o i a*en de la funcin es Img {f }={... , f ( 0 ) , f ( s ) , f ( 2 2 ) , f ( 3 s ) , ... , f (( N 1) s ) , ... } Muc?as -eces2 las diferentes biblio*rafas .prospero2 proa@is/ consideran el estudio de las funciones discretas2 considerando un uestreo unifor e de la seal2 & por tanto tienden a ocultar el periodo de uestreo2 apro-ec?ando 3ue es una constante para la funcin. As 3ue el do inio de la funciones discretas est, constituido por un subcon1unto i propio de los enteros. Consid8rese2 por e1e plo2 la ecuacin =2.2>2 el do inio estar, dado por los -alores de n=[... 0,1,2,3,. .. , N 1,. .. ] en tanto 3ue la i a*en 3uedar, representada tal co o se indica en la ecuacin =2.3>. Aas biblio*rafas ta bi8n tienden a considerar 3ue de la seal se to an2 &a sea N uestras o bien N +1 uestras. Bales uestras se to an en un inter-alor de duracin T 2 lla ado inter-alo de uestreo.
n={0,1,2,3,...}
=2.4>
$onde n representa el ao de en-e1eci iento. )sta es una funcin discreta donde los -alores de su do inio est,n e3uiespaciados & su representacin en for a de sucesin es la si*uiente7
f ( n )={1000, 950, 900,850, ...}
=2.!>
Definicin 2.4. Propiedad sobre la existencia de las muestras . Aa seal discreta f ( n ) es no definida entre instantes de uestreo. )s incorrecto pensar 3ue la seal f ( n ) to a el -alor de cero para n no entera2 si ple ente no est, definida para -alores no enteros de n .proa@is/ Definicin 2.5 Propiedad sobre el con unto dominio. A pesar de 3ue se con-iene 3ue una seal discreta tiene un ori*en anal*ico2 el estudio te poral de tales seales se reali;a considerando 3ue el con1unto do inio de tales seales es el con1unto de los n< eros enteros.
3. Depresentacin en secuencia tal co o una secuencia de duracin infinita con el ori*en te poral en =nE0> indicado por una flec?a7
f ( n )={...0 , 0 , 1,4,1,0,0,... } =2.%>
4. 4na secuencia f ( n ) la cual es cero para n 0 2 puede ser representada co o f ( n )={0 , 1,4,1,0,0,. ..} =2.'>
!. 4na secuencia de duracin finita puede ser representada co o f ( n )={3, 1, 2.5 , 0, 4,1} =2.(>
n 0
=2.10>
Aa secuencia de la ecuacin =2.(>2 al ser finita2 se cuenta sus ele entos & contiene un total de # ele entos2 ra;n por la cual se le lla a secuencia de seis puntos. Sii ilar ente2 la secuencia de la ecuacin 2.10 se le lla ara secuencia de 4 puntos.
n= 0 =2.11> n 0
Definicin 2.#. $scaln unitario. )l recorrido de la funcin discreta escaln unitario to a un -alor constante2 un uno2 para cada ele ento del do inio a partir de n 0 . Su representacin *r,fica puede -erse en la fi*ura 2.2 en tanto 3ue su definicin ate ,tica es7 u ( t )= 1 ; 0;
Definicin 2.%. &a unitaria . Aa funcin ra pa unitaria es a3uella en la 3ue cada -alor del do inio se corresponde a as is o a partir de n 0 . Su representacin *r,fica puede -erse en la fi*ura 2.3 en tanto 3ue su definicin ate ,tica es7 r ( n)= n; 0;
Definicin 2.'. $xponencial. Aa funcin e5ponencial es a3uella en la 3ue cada -alor del do inio es potencia de una constante lla ada base. Su representacin *r,fica puede -erse en la fi*ura 2.4 en tanto 3ue su definicin ate ,tica es7 exp ( n)= a ;
n
n a
=2.14>
n=-5:5; %% % 0<a<1 a=0.75; expo01=a.^n; subplot(2,2,1) stem(n,expo01) title('0<a<1') %% % -1<a<0 a=-0.75; expo02=a.^n; subplot(2,2,2) stem(n,expo02); title('-1<a<0'); %% % a 1 a=1.2; expo0!=a.^n; subplot(2,2,!) stem(n,expo0!); title('a 1'); %% % a<-1 a=-1.2; expo0"=a.^n; subplot(2,2,"); stem(n,expo0"); title('a<-1');
Illustration 4: $e resetnaciones de la #uncin e% onencial ara diversos valores & si'nos de la (ase. Fi'uras 'eneradas en )A*+A, -)A*+A, es un roduto de )at./or0s1. A la derec.a de la #i'ura se resenta el cdi'o 2ue la 'ener
Definicin 2.1(. $xponencial comple a . )s una seal del tipo e5ponencial2 co o la indicada en la definicin 2.10. 0ara este caso la base es un n< ero co ple1o7
a= r e
j
=2.1!>
n =2.1#>
Definicin 2.12. &esta de funciones . Sean f ( n ) & g ( n ) dos funciones reales2 a bas de -ariable entera. Aa resta de a bas funciones2 denotada por f ( n ) g( n ) 2 es otra funcin definida co o ( f g )( n)=f ( n)g ( n ) . )l do inio de ( f g )( n) es la interseccin de los do inios de sendas funciones. Mate ,tica ente2 la resta de funciones se define co o7 ( f g )( n)=f ( n) g ( n ) ; dom {f g }= dom {f }dom { g} =2.1'>
Definicin 2.13. Producto de funciones . Sean f ( n ) & g ( n) dos funciones reales2 a bas de -ariable entera. )l producto de a bas funciones2 denotado por f ( n ) g ( n) 2 es otra funcin definida co o ( f g )( n )=f ( n) g( n ) . )l do inio de ( f g )( n) es la interseccin de los do inios de sendas funciones. Mate ,tica ente2 el producto de funciones se define co o7 ( f g )( n )=f ( n) g( n ) ; dom {f g }= dom {f }dom {g } =2.1(> ultiplicacin.
Definicin 2.14. )ociente de funciones . Sean f ( n ) & g ( n ) dos funciones reales2 a bas de -ariable entera. )l cociente de a bas funciones2 denotado por f ( n )/ g ( n ) 2 es otra funcin definida co o ( f / g)( n )= f ( n )/ g ( n ) . )l do inio de ( f / g)( n ) es la interseccin de los do inios de sendas funciones. Mate ,tica ente2 el cociente de funciones se define co o7 ( f / g)( n )= f ( n )/ g ( n ) ; dom {f / g }=dom { f } dom {g } =2.20>
g ( n)
Aa funcin ( f / g)( n ) slo est, definida en a3uellos -alores del do inio en los cuales la funcin nula.
no sea
Definicin 2.15. Producto por un escalar . Sea f ( n ) una funcin real de -ariable entera & sea un n< ero real lla ado escalar. )l producto de un escalar por la funcin2 denotado co o f ( n) 2 es otra funcin definida por ( f )( n )= f ( n ) . )l do inio de ( f )( n ) es el do inio de f ( n ) . Mate ,tica ente2 el producto de un escalar por una funcin se e5presa co o7 ( f )( n)= f ( n ) ; dom {( f )}= dom {f } =2.21>
2.$.2 Ejemplo
Se desea obtener la pri era diferencia de la funcin si*uiente f ( n )=2 n Solucin f ( n)= f ( n ) f ( n 1) =2n 22 ( n1)2 =2.2!> =2n 22 ( n22 n+ 1) = 4 n 2
2
=2.24>
A?ora se sustitu&e la ecuacin =2.23> en la ecuacin =2.2#> & se reali;a el si*uiente desarrollo f ( n)= { f ( n)} = {f ( n )f ( n1 )} =f ( n )f ( n1 ) f ( n1 )+ f ( n2) =f ( n )2f ( n1)+ f ( n 2) )n conclusin2 la se*unda diferencia de una funcin se e5presa co o f ( t )= f ( n)2f ( n 1 )+ f ( n2)
2 2
=2.2%>
A?ora se sustitu&e la ecuacin =2.2%> en la ecuacin =2.2'> & se reali;a el si*uiente desarrollo f ( n )= { f ( n)} = {f ( n ) 2f ( n1)+ f ( n 2)} =f ( n ) 2f ( n 1)+ f ( n 2) f ( n1)+ 2f ( n 2)f ( n3) =f ( n ) 3f ( n 1)+3f ( n2 ) f ( n 3 ) )n conclusin2 la tercera diferencia de una funcin se e5presa co o f ( n )=f ( n ) 3f ( n 1)+3f ( n2 ) f ( n 3 )
3 3 2
=2.2(>
m f ( n)= (1)i m C i f ( n i)
i =0
=2.30>
con
mC i= i ! ( m i ) !
m!
=2.31>
$onde7
mC i
( 1)
representa los si*nos alternados de los coeficientes dados por el tri,n*ulo de 0ascal
2.$.$ Ejemplo
Calcule las diferencias 0 2 1 2 2 & 3 2 de la funcin f ( n )=n
3
=2.32>
=2.33>
=2.3#>
A odo de de ostracin consid8rense las funciones reales de -ariable entera f ( n ) & g ( n) . )l producto de sus diferencias puede e5presar co o7 {f ( n )} {g ( n)}=[ f ( n ) f ( n1) ] [ g ( n ) g ( n 1) ] =2.40> Deali;ando el producto bino ial {f ( n )} {g ( n)}=f ( n ) g ( n) f ( n ) g ( n 1 )g ( n) f ( n1)+ f ( n 1) g ( n 1) "bs8r-ese 3ue la ecuacin obtenida es id8ntica a la ecuacin =2.3(> por lo cual se -alida el teore a 2.2.
A odo de de ostracin consid8rense las funciones reales de -ariable entera f ( n ) & g ( n) . Aa pri era diferencia de su producto es7 {f ( n ) g ( n )}= f ( n ) g ( n ) f ( n1) g( n 1 ) =2.42> Destando & su ando f ( n ) g ( n1 ) al t8r ino a la derec?a del si*no i*ual se lo*ra {f ( n ) g ( n )}= f ( n ) g ( n ) f ( n ) g ( n 1)+ f ( n ) g ( n1) f ( n 1) g ( n1 ) =2.43> Si plificando los t8r inos en ne*rita de la eucacin anterior se lo*ra {f ( n ) g ( n)}= f ( n) g ( n)+ f ( n) g ( n 1)f ( n1) g ( n1 ) =2.44> Su ando & resrtando g ( n) f ( n ) en el ie bro derec?o de la ecuacin se lo*ra
g ( n ) f ( n ) se lo*ra
{f ( n ) g ( n)}= f ( n) g ( n)+ g ( n) f ( n)g ( n ) f ( n )+ g( n ) f ( n 1)+ f ( n ) g ( n 1) f ( n 1) g ( n 1) =2.4#> Co parando los t8r inos en ne*rita de la ecuacin =2.43> con la ecuacin =2.3(> & sustitu&endo se tiene 3ue
{f ( n ) g ( n )}= f ( n ) g ( n )+ g ( n ) f ( n) f ( n ) g ( n )
"bs8r-ese 3ue la ecuacin obtenida es id8ntica a la ecuacin =2.41> por lo cual se -alida el teore a 2.3.
A odo de de ostracin consid8rense las funciones reales de -ariable entera f ( n ) & g ( n) . Aa pri era diferencia de su cociente es7
{f ( n) f ( n) f ( n 1 ) ( n )}= g g ( n ) g (n1)
=2.4'>
Destando & su ando f ( n 1 ) g ( n 1) en el nu erador de la ecuacin =2.4(> {f ( n) f ( n) g ( n 1)f ( n 1) g ( n 1)+ f ( n1) g ( n 1) g ( n) f ( n 1 ) ( n )}= =2.!0> g g ( n ) g ( n 1)
Factori;ando t8r inos co unes {f ( n) [ f ( n)f ( n 1 )] g ( n 1)+ f ( n 1 )[ g ( n) g ( n 1)] ( n )}= =2.!1> g g (n ) g (n1)
A odo de de ostracin consid8rese calcular la pri era diferencia del cociente dado en la ecuacin =2.44>. $ebido a 3ue este cociente resulta en una constante2 su pri era diferencia ser, cero2 es decir7 f ( n) = cte= 0 =2.!!> g (n )
I*ualando la ecuacin =2.4%> con la ecuacin =2.!!> se tiene 3ue7 1 [ g ( n1 ) f (n)f ( n1) g( n) ] =0 =2.!#> g ( n ) g ( n 1 ) $espe1ando el deno inador se lo*ra7 g ( n 1) f ( n) f ( n 1 ) g ( n )= 0 6tese 3ue la ecuacin obtenida corresponde con la ecuacin =2.!4>
Teorema 2.' )riterio de la diferencia de un cociente para +aluar la independencia lineal . 4na condicin suficiente & necesaria para 3ue dos funciones reales2 a bas de -ariable entera7 f ( n ) & g ( n) 2 sean lineal ente independientes es 3ue satisfa*an7 g ( n1) f ( n)f ( n 1) g ( n)= h( n) para toda n del dominio =2.!%>
odo de de ostracin consid8rese la ecuacin =2.!3> & calc<lese la pri era diferencia del cociente2 es decir2 f ( n) = g (n )
cte =2.!'>
funcin de n
6tese 3ue la pri era diferencia de h ( n) puede resultar en una constante o en una funcin de n . I*ualando la ecuacin =2.4%> con la euacin =2.!0> se lo*ra 1 [ g ( n1 ) f (n)f ( n1) g( n) ] = g ( n) g ( n 1 )
cte =2.!(>
funcin de n
$espe1ando el t8r ino g ( n) g ( n1 ) se lo*ra7 g ( n 1) f ( n) f ( n 1 ) g ( n )= funcin de n 6tese 3ue la ecuacin obtenida corresponde con la ecuacin =2.!%> Teorema 2.1( )riterio de la combinacin lineal para dependencia lineal . Sea un con1unto de funciones reales de -ariable entera7 ={f 1 ( t ) , f 2 ( t ) , ... , f i ( t ) , ... f N ( t )} . )ste con1unto ser, lineal ente dependiente si e5iste al enos una funcin 3ue sea <ltiplo escalar de una co binacin lineal de las restantes2 es decir7 i f i ( t )= 1 f 1 ( t )+ 2 f 2 ( t )+... + N f N ( t ) n dom {} =2.#0>
6tese 3ue la ecuacin =2.#0> debe satisfacerse para toda n en el do inio del con1unto de funciones.
Si las funciones de la ecuacin =2.#1> fueran lineal ente dependientes2 se puede afir ar 3ue ?a& un con1unto de constantes diferentes de cero para las cuales la co binacin lineal de todas las funciones del con1unto es cero. %i las funciones de la ecuacin ,2.$1- fueran linealmente independientes. no /a r0a un conjunto de constantes diferentres de cero para las cuales la com inacin lineal sea nula. Entonces. la 1nica forma en 2ue tal com inacin lineal sea cero ser0a 2ue todas las constantes sean cero. As0 entonces se tiene el siguiente criterio de independencia lineal.
Teorema 2.11. )riterio de la combinacin lineal para la independencia lineal . Sea un con1unto de funciones reales de -ariable entera7 ={f 1 ( n) , f 2 ( n) , ... , f i ( n ) , ... f N ( n)} & sea el con1unto de constantes reales ={ 1 , 2 , ... , N } . Si la co binacin lineal de las funciones es cero2 es decir2 1 f 1 ( n )+ 2 f 2 ( n )+...+ N f N ( n)=0 para toda n en el do inio del con1unto2 sla ente cuando las constantes son cero ( 1 = 2 =... = N = 0) 2 se dice 3ue las funciones son lineal ente independientes.
$ado 3ue la ecuacin =2.#3> se cu ple para toda n del do inio del con1unto de funciones2 entonces se cu ple ta bi8n para los dos -alores consecuti-os si*uientes2 es decir7 n1 & n 2 . As entonces pode os plantear las dos ecuaciones si*uientes7 1 f ( n 1 )+ 2 g ( n 1)+ 3 h ( n 1 )= 0 n dom {} solo para 1 = 2= 3= 0 & 1 f ( n 2 )+ 2 g( n2)+3 h (n2 )= 0 n dom {} solo para 1 = 2 = 3 =0 =2.#!> =2.#4>
A?ora bien2 es posible reunir las ecuaciones =2.!!>2 =2.!#> & =2.!%> en el si*uiente siste a7
1 0 f ( n) g (n ) h( n ) f ( n 1) g ( n 1 ) h( n 1 ) 2 = 0 0 f ( n 2) g ( n 2 ) h( n 2 ) 3
][ ] [ ]
=2.##>
donde la atri; de coeficientes for ada por las diferencias de las funciones se lla a matri, de )asorati de las funciones & el deter inante de la atri; de lla a casoratiano de las funciones. )l casoratiano ser, representado co o W C . Teorema 2.12. )riterio de )asorati para dependencia lineal 4na condicin suficiente & necesaria para 3ue un con1unto de N funciones reales de -ariable entera7 ={f 1 ( n) , f 2 ( n) , ... , f N ( n )} para toda n en el do inio del con1unto2 sean lineal ente dependientes es 3ue su casoratiano sea cero2 ate ,tica ente7 W C ( f 1, f 2,. .. , f N )=0 n dom {} =2.#%>
Teorema 2.13 )riterio de )asorati para independencia lineal 4na condicin suficiente & necesaria para 3ue un con1unto de N funciones reales de -ariable entera7 ={f 1 ( n) , f 2 ( n) , ... , f N ( n )} para toda n en el do inio del con1unto2 sean lineal ente independientes es 3ue su casoratiano sea una funcin de n 2 ate ,tica ente7 W C ( f 1, f 2,. .. , f N )=h ( n) n dom {} =2.#'>
)s posible e5tender el teore a 2.13 pensado 3ue es suficiente e-aluar el casoratiano para un <nico -alor de la -ariable independiente & encontrar 3ue el deter inante es diferente de cero. )ste -alor de la -ariable independiente puede ser cual3uiera dentro del do inio del con1unto de funciones. Teorema 2.14. "egundo )riterio de )asorati para independencia lineal 4na condicin suficiente para 3ue un con1unto de N funciones reales de -ariable entera7 ={f 1 ( n) , f 2 ( n) , ... , f N ( n )} para toda n en el do inio del con1unto2 sean lineal ente independientes es 3ue su casoratiano sea diferente de cero para al*<n -alor de n dentro del do inio2 ate ,tica ente7 W C ( f 1, f 2,. .. , f N )0 para alguna n en el dom {} =2.#(>
2.+.4 Ejemplo
Sean f ( n ) & g ( n ) dos funciones reales2 a bas de -ariable entera2 definidas a continuacin2 defnase el respecti-o casoratiano f ( n ); g ( n) ; n =2.%0> n
f ( n) g( n ) f ( n 1 ) g ( n 1)
!
!
f ( n) g ( n) = f ( n ) g ( n 1) g ( n) f ( n1 ) =2.%1> f ( n 1) g( n 1 )
2.+.5 Ejemplo
Se desea saber si las funciones si*uientes son lineal ente independientes
f ( n )= n ; g ( n)= an ; n
=2.%2>
n a
f ( n) g( n ) an = an ( n 1 )an ( n 1 )= 0 = n f ( n 1 ) g ( n 1) n 1 a ( n 1)
!!
=2.%3>
$ado 3ue el casoratiano es cero se puede afir ar 3ue las ecuaciones =2.%2> son lineal ente dependientes
2.+.$ Ejemplo
Se desea saber si las funciones si*uientes son lineal ente independientes f ( n)=n; g ( n)= n ;
2
n =2.%4> n
f ( n) g( n ) f ( n 1 ) g ( n 1)
! !!
Sustitu&endo las respecti-as funciones & resol-iendo el deter inante resulta 3ue7
n n2 f ( n) g ( n) 2 2 2 = = n ( n+1) n ( n+ 1)=n +n f ( n 1) g( n 1 ) n 1 ( n 1 ) 2
=2.%!>
)l casoratiano de la ecuacin =2.#%> es notable tne una cur-a parablica. Aa e-aluacin del casoratiano para al*unos -alores puede -erse en la tabla 2.3.
Tabla 2.3. )-aluacin del casoratiano para la pare1a de funciones =2.2(> n nG2Hn F! F30 F4 F20 F3 F12 F2 F# F1 F2 0 0 1 0 2 F2 3 F# 4 F12 ! F12
$ado 3ue el casoratiano es una funcin de n se puede concluir 3ue el con1unto de ecuaciones =2.##> es lineal entre independiente.
2.+.* Ejemplo
Se desea saber si las funciones si*uientes son lineal ente independientes f ( n )=n ; g ( n)= 2n ; h ( n)= n2 ; n n =2.%#> n
f ( n) g (n) h (n ) f ( n 1 ) g ( n 1) h ( n 1 ) f ( n 2 ) g ( n 2) h ( n 2 )
=2.%%>
n 2n n2 n 1 2 ( n 1) ( n 1) 2 n 2 2 ( n 2) ( n 2)
2
=2.%'>
Desol-iendo el deter inante2 es posible ostrar 3ue esta atri; no es in-ersible. Sin e bar*o2 es ,s r,pido recurrir a al*una ?erra ienta de c,lculo en la 3ue se sustitu&an di-ersos -alores de n & calcular los respecti-os deter inantes. Aa e-aluacin del casoratiano para -alores de n en elinter-alo de F! a ! puede -erse en la tabla 2.4. Tabla 2.4. )-aluacin del casoratiano para la pare1a de funciones =2.34>. A la derec?a de la tabla se e5ibe el cdi*o M e pleado para *enerar la tabla n $etI J F! 0 #aso$atiano=%,&; F4 0 (o$ n=-5:5 aux='et( %n 2)n n)n; n-1 2)(n-1) (n-1))(n-1) ; F3 0 n*2 2)(n-2) (n-2))(n-2) & ) F2 0 F1 0 #aso$atiano=%#aso$atiano ; n,aux&; 0 0 en' 1 0 #aso$atiano 2 0 3 0 4 0 ! 0
$ado 3ue la tabla uestra consistente ente cero para los -alores de n e5?ibidos2 se puede concluir 3ue el con1unto de ecuaciones =2.%#> es lineal ente dependiente2 al enos para el inter-alo de -alores de n dados en la tabla.
2.+.+ Ejemplo
Se desea saber si las funciones si*uientes son lineal ente independientes f ( n )=1 ; g ( n)=(2 )n ; h ( n )= 3n ;
n
n n n =2.%1>
!
!
1( n1 ) 1( n2 )
=2.%2>
Mediante operaciones por fila se puede ostrar 3ue esta atri; es sie pre in-ersible. Sin e bar*o2 es posible recurrir al teore a 2.13 & sustituir un -alor para n 2 por e1e plo n=0 & calcular el deter inante. 1 1 1 1 0.5 0.333 = 0.833 1 0.25 0.111
=2.%3>
)ntonces2 deacuerdo al teore a 2.13 dado 3ue el casoratiano es diferente de cero para al*<n -alor de n se puede concluir 3ue el con1uto de tres funciones es lineal ente independiente.
2.+.5 Ejemplo
Sean las funciones si*uientes2 deter ine si son lineal ente independientes. )-al<e el deter inante casoratiano para para -alores de n [5,5 ] & analice los resultados. f ( n )=n
2
=2.%4>
n2 2n!n! 2 ( n 1 ) ( n 1 )!n 1!
=2.%!>
)-aluando el casorati para los -alores de n indicados en el proble a2 se consi*ue la tabla 2.3
Tabla 2.3. )-aluacin del casoratiano de la ecuacin =2.3'>. A la derec?a se presenta el cdi*o en M e pleado para *enerar la tabla. n f-n. F! 0 #aso$atiano=%,&; F4 0 (o$ n=-5:5 aux='et( %1^n , (-2)^n , !^n ; F3 0 1^(n*1) , (-2)^(n*1) , !^(n*1) ; F2 0 1^(n*2) , (-2)^(n*2) , !^(n*2) & ); F1 0 0 0 #aso$atiano=%#aso$atiano ; n,aux&; 1 0 en' 2 0 #aso$atiano 3 0 4 0 ! 0
Aa fi*ura 2.! ilustra la *r,fica del co porta iento tanto de n2 & n!n! . 6tese 3ue no es aparente su relacin de dependencia2 no obstante 3ue el casoratiano indica 3ue son funciones lineal ente dependientes. Bal situacin indica 3ue los teore as de dependencia e independencia lineal a<n son discutibles. Final ente2 es posible establecer una relacin de dependencia para las funciones =2.%4> si el do inio de n se considera <nica ente co o el con1unto de los entreros positi-os inclu&endo al cero.
2.5.1 Energ0a
Considere inicial ente la si*uiente secuencia discreta7
f ( n )={f ( N ) ... f ( 0) ... f ( N )}
n = N
!f ( n)!2 =2.'0>
edia total consu ida por la serie de la ecuacin =2.'0> se e-al<a considerando un inter-alo inifinito.
N
N # n = N
!f ( n )!2 =2.'1>
2.5.2 Potencia
Aa rapide; con la cual se consu e la ener*a por la secuencia discreta de la ecuacin =2.%(> se calcula co o la ener*a consu ida entre el inter-alo de consu o N n N . S N {f ( n)}= Aa potencia 1 " {f ( n)} =2.'2> 2N +1 N edia total se e-al<a considerando un inter-alo infinito
1 " f ( n) =2.'3> 2N + 1 N
S {f ( n)}= lim
N #
S {f ( n)}= lim
N #
1 !f (n)!2 =2.'4> 2N + 1 n = N
Son seales de duracin finita Son ta bi8n seales de duracin infinita pero 3ue concentran su consu o de ener*a en un pe3ueo inter-alo. )l resto del tie po el consu o de ener*a en ni o & tiende a cero.
S {f ( n)}<# =2.'%> " { f ( n)}=0 =2.''> Son seales peridicas2 las cuales son de duracin infinita. Son seales constantes2 las cuales tienen una duracin infinita Son seales aleatorias2 las cuales son de duracin infinita.
edia
N # n= 0 N
a2n (a2 )n
2 N +1 2
= lim
N # n= 0
= lim
1( a )
N # 1 a
N #
= 0 =2.(0>
)ntonces la ener*a
1 n " {u 1 ( n ) a ; a< 1}= 1 a2 )l c,lculo de la potencia S {u 1 ( n) a ; a <1 }= lim = lim =0 )ntonces2 la potencia
n n
1 "N N # 2N + 1 1 1 1a
2
N # 2N + 1
edia total.)l
n= 0 N n= 0
u2 ( n ) 1
= lim
= lim
= lim
N +1 1/ N 1/ N
1 N = lim 1 N # 2+ N 1+ 1 = 2
)l c,lculo de la ener*a
N
N # n =0 N
u1 2 (n) 1 N +1
N
= lim
N # n =0
= lim =#
N # n =0
)ntonces la ener*a