You are on page 1of 26

Captulo 02 Funciones discretas

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

MI. Mario Alfredo Ibarra Carrillo

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.

2.3. Funcin discreta


A continuacin se pro-een las definiciones 3ue ser,n la base para el 0rocesa iento de Seales. Definicin 2.1. Una funcin de tiempo discreto se caracteri;a por 3ue su -ariable independiente slo puede to ar deter inados -alores .prospero/. A este respecto se puede afir ar 3ue el co1unto do inio de tal funcin es nu erable.

MI. Mario Alfredo Ibarra Carrillo

)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>

uestrear el tie po unifor e ente se define 3ue7

t = n s ; n= ... 1,0,1,2,. .. =2.3>

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.

2.3.2 Ejemplo de funcin discreta


.prospero/ $ebido a la depreciacin a la 3ue est, su1eto un bien anual dado por la e5presin si*uiente
f ( n )= 1000 ( 1 0.05 ) ;
n

aterial2 3ue ori*inal ente cost C12000.002 tiene un -alor

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.!>

2.3.3 Propieades de las funciones discretas


Definicin 2.3 Propiedad sobre el origen de la seal discreta . Aa seal discreta f ( n ) fue obtenida de uestrear una seal an,lo*a f a ( t ) . )ntonces f ( n )=f a ( n s ) donde s es el periodo de uestreo =tie po entre dos uestras consecuti-as> .proa@is/.

MI. Mario Alfredo Ibarra Carrillo

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.

2.3.4 Representaciones para una seal discreta


.proa@is/ Mas all, de la representacin *r,fica de una seal discreta o secuencia e5isten representaciones alternati-as 3ue son frecuentes dada la con-eniencia de su uso. )stas son7 1. Depresentacin funcional2 tal co o
1, f ( n )= 4, 0,

para n = 1,3 para n = 2 =2.#> otro caso

2. Depresentacin tabular2 tal co o n ... F2 F1 0 f=n> ... 0 0 0 1 1 2 4 3 1 4 0 ! ... 0 ...

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.(>

#. 4n secuencia de duracin finita2 la cual es cero para f ( n )={0 , 1.4,1 }

n 0

puede ser representada co o

=2.10>

MI. Mario Alfredo Ibarra Carrillo

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.

2.4. Seales discretas elementales


Suelen presentarse con frecuencia al*unas funciones 3ue 1ue*an un papel i portante en el estudio de las seales & los siste as discretos. Al respecto2 cabe decir2 3ue las diferentes biblio*rafas coinciden en 3ue2 las seales presentadas a continuacin2 tienen co o con1unto do inio al con1unto de los enteros2 en tanto 3ue su con1unto i a*en o recorrido es un subcon1unto de los n< eros reales. Definicin 2.!. "ecuencia pulso unitario . Aa secuencia pulso unitario se representa por edio de la delta2 ( n ) . )l recorrido de la funcin pulso unitario -ale uno para n= 0 & cero para cual3uier otro -alor de n . Su representacin *r,fica puede -erse en la fi*ura 2.1 en tanto 3ue su definicin ate ,tica es7 ( n )= 1, 0,

n= 0 =2.11> n 0

Illustration 2.1: Funcin ulso unitario.

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;

n= 0,1,2,3,. .. =2.12> n< 0

MI. Mario Alfredo Ibarra Carrillo

Illustration 2.2: Funcin escaln unitario.

Definicin 2.%. &ampa 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;

n=0,1,2,3,... =2.13> n<0

Illustration 2.3: Funcin ram a.

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>

MI. Mario Alfredo Ibarra Carrillo

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!>

As 3ue la funcin e5ponencial co ple1a 3ueda e5presada co o f ( n )=r n e


j n

n =2.1#>

2.!. " eraciones con #unciones discretas


0ara antener cierta *eneralidad & for alidad ate ,tica2 en -e; de e plear la frase 9funciones discretas: para las respecti-as definiciones2 se utili;a la frase 9funciones reales de -ariable entera:.

MI. Mario Alfredo Ibarra Carrillo

2.5.1 Agre ra de funciones discretas


Definicin 2.11. "uma de funciones . Sean f ( n ) & g ( n ) dos funciones reales2 a bas de -ariable entera. Aa su a 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 su a de funciones se define co o7 ( f +g )( n)= f ( n)+g ( n ) ; dom {f + g }=dom {f }dom { g} =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.

)n el caso del producto2 suele o itirse el operador de

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.5.2 !on"olucin # correlacin


)stas operaciones ser,n tratadas en un captulo posterior & esto es debido a la e5tensin del te a.

MI. Mario Alfredo Ibarra Carrillo

2.5.3 !om inacin lineal


Definicin 2.1!. )ombinacin lineal . Sean f ( n ) & g ( n) dos funciones reales2 a bas de -ariable entera & sean dos n< eros reales 1 & 2 2 a bos lla ados los escalares. Aa co binacin lineal de a bas funciones2 denotada por 1 f ( n )+ 2 g ( n) 2 es otra funcin definida por ( 1 f + 2 g )( n)= 1 f ( n)+ 2 g ( n ) . )l do inio de la co binacin lineal es la interseccin de los do inios de sendas funciones. Mate ,tica ente se puede e5presar la co binacin lineal co o7 ( 1 f + 2 g )( n )= 1 f ( n )+ 2 g ( n ) ; dom {( 1 f + 2 g )( n)}=dom {f }dom { g} =2.22>

2.3 4i#erencia de una #uncin


)l c,lculo de diferencias finitas se aplica tanto a funciones continuas co a funciones discretas2 para el caso 3ue co pete al presente captulo se aplicar,n las diferencias finitas a funciones reales de -ariable entera.

2.$.1 Primera diferencia de una funcin


Sea la funcin discreta f ( n ) & partiendo del instante n 2 8ste se decre enta en una cantidad finita 1 2 de tal anera 3ue para n 1 el -alor de la funcin es f ( n 1 ) . )ntonces el incre ento 3ue e5peri enta la funcin es f ( n ) f ( n 1) & se le conoce co o pri era diferencia de la funcin. Defincin 2.1#. primera diferencia de una funcin . )l ca bio de una funcin f ( n ) debido a un decre ento en 1 de su ar*u ento n 2 se lla a pri era diferencia de la funcin & se representa por f ( n) . Mate ,tica ente2 la pri era diferencia se e5presa co o7 f ( n)= f ( n) f ( n 1) =2.23>

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>

MI. Mario Alfredo Ibarra Carrillo

2.$.3 %egunda diferencia de una funcin


$e for a se e1ante a co o se calcul la pri era diferencia de la funcin f (n ) 2 se calcula la se*unda diferencia2 es decir
2 f ( n)= { f ( n)} =2.2#>

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%>

2.$.4 &ercera diferencia de una funcin


$e for a se e1ante a co o se calcul la se*unda diferencia de la funcin f ( n ) 2 se calcula la tercera diferencia2 es decir
3 2 f ( n )= { f ( n )} =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(>

MI. Mario Alfredo Ibarra Carrillo

2.$.5 !'lculo de la m()sima diferencia de una funcin


Aa F8si a diferencia de una funcin puede *enerali;arse
m

ediante la fr ula si*uiente7

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

Bodos los posibles -alores se conocen co o el tri,n*ulo de 0ascal


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>

Aa diferencia de orden cero de una funcin es7 f ( n )=f ( n)=n


0 3

=2.33>

Aa pri era diferencia se calcula co o


3 3 2 f ( n)= n ( n 1 ) =3n 3n + 1 =2.34>

Aa se*unda diferencia se calcula co o


2 2 2 f ( n )= { f ( n)}=3n +3n +1 [ 3( n1 ) +3 ( n 1 )+ 1 ]= 6n 2 =2.3!>

Aa terecera diferencia se calcula co o f ( n )= { f ( n )}=6n 2 [ 6 ( n 1) 2 ]=6


3 2

=2.3#>

2.$.* !onclusin so re el c'lculo de diferencias finitas


6tese a lo lar*o de los se* entos 2.#.1 a 2.#.4 la for a en 3ue se calcularon las diferencias. A este respecto se aconse1a considerar 3ue la diferencia m sima es as f,cil de calcular si se parte de la diferencia m 1 .

MI. Mario Alfredo Ibarra Carrillo

2.7 4i#erencias de roductos & cocientes

2.*.1 Primera diferencia de una constante


Teorema 2.1. *a primera diferencia de una constante es cero2 es decir
cte = 0 =2.3'>

2.*.1 Producto de dos diferencias


Teorema 2.2. $l producto de dos diferencias . Sean las funciones reales de -ariable entera f ( n ) & g ( n) . )l producto de sus diferencias es7 {f ( n )} {g ( n)}=f ( n ) g ( n) f ( n ) g ( n 1 )g ( n) f ( n1)+ f ( n 1) g ( n 1) =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.

MI. Mario Alfredo Ibarra Carrillo

2.*.1 Primera diferencia de un producto de funciones


Teorema 2.3. Primera diferencia de un producto . Sean 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 )+ g ( n ) f ( n) f ( n ) g ( n) =2.41>

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

{f ( n ) g ( n)}= f ( n) g ( n)+ g ( n ) f ( n ) g ( n ) f ( n )+ f ( n) g ( n 1 )f ( n 1 ) g ( n 1 ) =2.4!>

$esarrollando el t8r ino

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.

MI. Mario Alfredo Ibarra Carrillo

2.*.2 Primera diferencia de un cociente de funciones


Teorema 2.4. Primera diferencia de un cociente . Sean las funciones reales de -ariable entera f ( n ) & g ( n) . Aa pri era diferencia de su cociente es7 f ( n) 1 = [ g (n) f (n ) f ( n) g ( n )] =2.4%> g ( n ) g ( n ) g ( n+ 1)

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'>

Deali;ando la resta de 3uebrados {f ( n) f ( n) g ( n 1)g ( n ) f ( n 1) ( n )}= g g ( n ) g( n 1 ) =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)

Sabiendo 3ue f ( n)= f ( n ) f ( n 1) g ( n )= g ( n ) g ( n 1) Sustitu&endo se lo*ra7 { f ( n ) g ( n 1 ) f ( n ) f ( n 1) g ( n) }= g (n) g ( n ) g ( n 1)

MI. Mario Alfredo Ibarra Carrillo

2.5. Inde endencia lineal

2.+.1 &eoremas de dependencia(independencia lineal


Teorema 2.5 Dependencia lineal. $adas dos funciones reales2 a bas de -ariable entera2 f ( n ) & g ( n) 2 8stas for ar,n un con1unto de ecuaciones lineal enrte dependiente si una de ellas es un <ltiplo escalar de la otra. Teorema 2.! )riterio del cociente para +aluar la dependencia lineal . 4na condicin suficiente & necesaria para 3ue dos funciones reales2 a bas de -ariable entera2 f ( n ) & g ( n) 2 sean lineal ente dependientes i plica 3ue su cociente es una constante para toda n en el do inio co <n de las funciones2 lo cual indica 3ue una de las funciones es <ltiplo escalar de la otra. Mate ,tica ente se tiene 3ue f (n ) =cte. para toda n del dominio =2.!2> g (n) Teorema 2.# )riterio del cociente para +aluar la independencia lineal . 4na condicin suficiente & necesaria para dos funciones reales2 a bas de -ariable entera2 f ( n ) & g ( n ) 2 sean lineal ente independientes i plica 3ue su cociente es una funcin de la -ariable independiente. Mate ,tica ente se tiene 3ue f (n ) =h ( n) =2.!3> g (n) Teorema 2.% )riterio de la diferencia de un cociente para +aluar la dependencia lineal . 4na condicin suficiente & necesaria para 3ue dos funciones reales2 a bas de -ariable entera7 f ( n ) & g ( n) 2 sean lineal ente dependientes es 3ue satisfa*an7 g ( n 1) f ( n) f ( n 1 ) g ( n )= 0 para toda n del dominio =2.!4>

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>

MI. Mario Alfredo Ibarra Carrillo

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.

2.+.2 Estudio so re la independencia lineal


Si a?ora se resta i f i ( t ) a a bos lados del si*no i*ual de la ecuacin =2.#0> se tiene 3ue7 1 f 1 ( t )+ 2 f 2 ( t )+ ... + N f N ( t ) i f i ( t )=0 n dom {} =2.#1>

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.

MI. Mario Alfredo Ibarra Carrillo

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.

2.+.3 3a matri4 casorati


Supon*a a?ora un con1unto de tres funciones reales2 las tres de -ariable entera ={f ( n) , g ( n) , h ( n)} =2.#2> )stas funciones ser,n lineal ente independientes si satisfacen 1 f (n )+ 2 g( n)+ 3 h( n)= 0 n dom {} solo para 1 = 2 = 3 = 0 =2.#3>

$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.#%>

MI. Mario Alfredo Ibarra Carrillo

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

)l respecti-o casoratiano 3ueda establecido co o

f ( n) g( n ) f ( n 1 ) g ( n 1)

!
!

Desol-iendo el deter inante se lo*ra

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

)l casoratiano de estas funciones se plantea co o

MI. Mario Alfredo Ibarra Carrillo

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

)l casoratiano de estas funciones se plantea co o

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.

MI. Mario Alfredo Ibarra Carrillo

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

)l casoratiano de estas funciones se plantea co o

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.%%>

Sustitu&endo las respecti-as funciones se tiene 3ue el casoratiano es7

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.

MI. Mario Alfredo Ibarra Carrillo

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>

)l casoratiano de estas funciones se plantea co o7

!
!

1( n1 ) 1( n2 )

(2 ) 3 (n1) (n 1) (2 ) 3 ( n2) (2 ) 3(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>

g ( n)= n!n! n )l casoratiano para esta funciones se plantea co o

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

MI. Mario Alfredo Ibarra Carrillo

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.

Illustration !: 6r7#icas de 8n928 & 8n:n:8.

MI. Mario Alfredo Ibarra Carrillo

2.; <ner'=a & otencia


.proa@isK cap 2/ Aa seales2 para su trata iento correcto2 deben clasificarse en funcin de la ener*a consu ida por ellas & en funcin de la rapide; con la cual consu en ener*a. A este respecto2 las seales son de dos tipos2 seal ener*a & seal potencia. Aos 8todos ate ,ticos e pleados en el an,lisis de seales discretas est,n en funcin del tipo de seal 3ue se desea anali;ar. As entonces2 las seales potencia ser,n anali;adas e pleando series tri*ono 8tricas de Fourier & series e5ponenciales de Fourier. 0or otra parte2 las seales ener*a se anali;an ediante transfor adas de Fourier.

2.5.1 Energ0a
Considere inicial ente la si*uiente secuencia discreta7
f ( n )={f ( N ) ... f ( 0) ... f ( N )}

=2.%(> N n N se calcula entonces

Aa ener*a consu ida por la serie de la ecuacin =2.%(>2 en el intre-alo co o7


N

" N {f ( n )}= Aa ener*a

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

" { f ( n)}= lim

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 #

Sustitu&endo la ecuacin =2.'0> en la ecuacin =2.'3> se lo*ra

MI. Mario Alfredo Ibarra Carrillo

S {f ( n)}= lim
N #

1 !f (n)!2 =2.'4> 2N + 1 n = N

2.5.3 %eal energ0a


Definicin 2.1%. Una seal energ/a es a3uella 3ue7 Biene ener*a Biene potencia edia total finita2 es decir2 re3uiere de un consu o finito de ener*a edia total cero

" {f ( n )}<# =2.'!> S {f ( n)}= 0 =2.'#>

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.

2.5.4 %eal potencia


Definicin 2.21. Una seal potencia es a3uella 3ue7 Biene potencia Biene ener*a edia total finita. edia total infinita2 es decir2 re3uiere de un consu o infinito de ener*a.

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.

2.5.5 Ejemplo de seal energ0a6 e7ponencial unilateral


Sea la funcin e5ponencial unilateral si*uiente2 se desea calcular su ener*a total. f ( n )= u 1 ( n) a ; a< 1 =2.'(> )l c,lculo de la ener*a edia total se desplie*a a continuacin
n

edia total & su potencia

edia

MI. Mario Alfredo Ibarra Carrillo

" {u 1 ( n ) an ; a< 1}= lim

N # n= 0 N

a2n (a2 )n
2 N +1 2

= lim

N # n= 0

= lim

1( a )

N # 1 a

Considere a?ora 3ue 0< a< 1 por lo cual


lim a
2N

N #

= 0 =2.(0>

)ntonces la ener*a

edia total de la e5ponencial unilateral es7 =2.(1>

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

edia total se desplie*a a continuacin

1 "N N # 2N + 1 1 1 1a
2

N # 2N + 1

edia total de la e5ponencial unilateral es7

S {u 1 ( n) a ; a <1 }=0 =2.(2>

MI. Mario Alfredo Ibarra Carrillo

2.5.$ Ejemplo de seal potencia6 escaln unitario


Sea la funcin escaln unitario de la cual se desea calcular su potencia c,lculo de la potencia edia total se desplie*a a continuacin
S {u1 ( n )}= lim 1 2N +1 N # 1 N # 2N + 1 N +1 2N +1 N #
N # 2N + 1

edia total & su ener*a

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

)ntonces2 la potencia S {u 1 ( n)}= 1 2 =2.(3>

edia total de una seal escaln unitario es7

)l c,lculo de la ener*a
N

edia total del escaln unitario se reali;a a continuacin

" {u 1 ( n )}= lim

N # n =0 N

u1 2 (n) 1 N +1
N

= lim

N # n =0

= lim =#

N # n =0

)ntonces la ener*a

edia total de un escaln unitario es infinita7

" {u 1 ( n )}=# =2.(4>

MI. Mario Alfredo Ibarra Carrillo

You might also like