Captulo 02

Funciones discretas

ndice

Tema
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
2.9

Antecedenetes
Introduccin
Funcin discreta
Seales discretas elementales
Operaciones con funciones discretas
Diferencia de una funcin
Diferencias de productos y cocientes
Independencia lineal
Energa y potencia

v_07_03_02

MI. Mario Alfredo Ibarra Carrillo

pg

2.1. Antecedentes
Hay consideradas dos ramas del clculo

El clculo infinitesimal

El clculo de diferencias finitas

Ambas ramas estudian tanto funciones continuas como funciones discretas considerando sus respectivos y muy
particulares punrtos de vista [prospero].
Para ejemplificar, considere que la primera definicin de derivada consiste del siguiente cociente diferencial.
f '(t )=lim h 0

f ( t+h) f ( t )
h

Una diferencia finita es una expresin matemtica de la forma f (t +h)f (t) . Si una diferencia finita se divide
por h se obtiene una expresin similar al cociente diferencial. Ntese que el Clculo de las Diferencias Finitas
difiere en que se emplean cantidades finitas en lugar de cantidades infinitesimales, es decir:
f '(t )=

f ( t+h) f ( t )
h

El Clculo de las Diferencias Finitas se inici como un mtodo para calcular, de manera aproximada, las
soluciones a las ecuaciones diferenciales usando Ecuaciones en Diferencias Finitas para aproximar derivadas.

2.2. Introduccin
El presente captulo tiene la intencin de apoyar el punto del vista, de un profesor en particular, para la
exposicin de su ctedra Procesamiento Digital de Seales.
Durante este segundo captulo se estudiarn tcnicas matemticas, necesarias en el estudio de las seales
discretas. Por su puesto se considera el punto de vista del clculo de diferencias finitas y a la vez se considera
tambin que el dominio de tales funciones es el conjunto de los enteros.

2.3. Funcin discreta

A continuacin se proveen las definiciones que sern la base para el Procesamiento de Seales.
Definicin 2.1. Una funcin de tiempo discreto se caracteriza por que su variable independiente slo puede
tomar determinados valores [prospero]. A este respecto se puede afirmar que el cojunto dominio de tal funcin
es numerable.

MI. Mario Alfredo Ibarra Carrillo

El dominio de una funcin discreta puede estar formado por un conjunto de nmeros reales, los cuales no
guardan ninguna relacin entre s: muestreo no uniforme. Por ejemplo, en la funcin:
f (t )=t +1;

donde t =...1.1, 0.5,2.3, , 4.02,...

(2.1)

Un caso particular es aquel en el cual, los valores del dominio de una funcin estn equiespaciados por una
cantidad llamada periodo de muestreo: muestreo uniforme. Por ejemplo, considere la funcin:
t

f (t )=r cos( 0 t )

(2.2)

Al muestrear el tiempo uniformemente se define que:

t=n s ; n=...1,0,1,2,. .. (2.3)

Definicin 2.2. Una funcin de tiempo discreto con muestreo uniforme se caracteriza por que su variable
independiente slo puede tomar valores que estn equiespaciados por una cantidad constante llamada periodo
de muestreo dom {f }={... ,0, s , 2 s ,3 s ...(N 1) s , ...} . Entonces, el recorrido o imagen de la funcin es
Img{f }={... , f (0) , f ( s ), f (2 2 ), f (3 s ) ,... , f (( N 1) s ), ...}
Muchas veces, las diferentes bibliografas [prospero, proakis] consideran el estudio de las funciones discretas,
considerando un muestreo uniforme de la seal, y por tanto tienden a ocultar el periodo de muestreo,
aprovechando que es una constante para la funcin. As que el dominio de la funciones discretas est
constituido por un subconjunto impropio de los enteros. Considrese, por ejemplo, la ecuacin (2.2), el dominio
estar dado por los valores de n=[... 0,1,2,3,. .., N 1,. ..] en tanto que la imagen quedar representada tal
como se indica en la ecuacin (2.3).
Las bibliografas tambin tienden a considerar que de la seal se toman, ya sea N muestras o bien N+1
muestras. Tales muestras se toman en un intervalor de duracin T , llamado intervalo de muestreo.

2.3.2 Ejemplo de funcin discreta

[prospero]
Debido a la depreciacin a la que est sujeto un bien material, que originalmente cost $1,000.00, tiene un valor
anual dado por la expresin siguiente
n

f (n )=1000(10.05) ;

n={0,1,2,3,...}

(2.4)

Donde n representa el ao de envejecimiento. Esta es una funcin discreta donde los valores de su dominio
estn equiespaciados y su representacin en forma de sucesin es la siguiente:
f (n )={1000, 950, 900,850, ...}

(2.5)

2.3.3 Propieades de las funciones discretas

Definicin 2.3 Propiedad sobre el origen de la seal discreta. La seal discreta f (n ) fue obtenida de
muestrear una seal anloga f a (t) . Entonces f (n)=f a (n s ) donde s es el periodo de muestreo (tiempo
entre dos muestras consecutivas) [proakis].

MI. Mario Alfredo Ibarra Carrillo

Definicin 2.4. Propiedad sobre la existencia de las muestras. La seal discreta f (n ) es no definida entre
instantes de muestreo. Es incorrecto pensar que la seal f (n ) toma el valor de cero para n no entera,
simplemente no est definida para valores no enteros de n [proakis]
Definicin 2.5 Propiedad sobre el conjunto dominio. A pesar de que se conviene que una seal discreta
tiene un origen analgico, el estudio temporal de tales seales se realiza considerando que el conjunto dominio
de tales seales es el conjunto de los nmeros enteros.

2.3.4 Representaciones para una seal discreta

[proakis]
Mas all de la representacin grfica de una seal discreta o secuencia existen representaciones alternativas
que son frecuentes dada la conveniencia de su uso. Estas son:
1. Representacin funcional, tal como

1,
f (n )= 4,
0,

para n=1,3
para n=2
(2.6)
otro caso

2. Representacin tabular, tal como

n ... -2 -1 0
f(n) ... 0 0 0

1
1

2
4

3
1

4
0

5 ...
0 ...

3. Representacin en secuencia tal como una secuencia de duracin infinita con el origen temporal en
(n=0) indicado por una flecha:
f (n )={...0 , 0 , 1,4,1,0,0,...} (2.7)

4. Una secuencia f (n ) la cual es cero para n0 , puede ser representada como

f (n)={0 , 1,4,1,0,0,. ..} (2.8)

5. Una secuencia de duracin finita puede ser representada como

f (n)={3,1,2.5 , 0, 4,1} (2.9)

6. Un secuencia de duracin finita, la cual es cero para

f (n)={0 , 1.4,1}

(2.10)

MI. Mario Alfredo Ibarra Carrillo

n0

puede ser representada como

La secuencia de la ecuacin (2.9), al ser finita, se cuenta sus elementos y contiene un total de 6 elementos,
razn por la cual se le llama secuencia de seis puntos. Siimilarmente, la secuencia de la ecuacin 2.10 se le
llamara secuencia de 4 puntos.

2.4. Seales discretas elementales

Suelen presentarse con frecuencia algunas funciones que juegan un papel importante en el estudio de las
seales y los sistemas discretos. Al respecto, cabe decir, que las diferentes bibliografas coinciden en que, las
seales presentadas a continuacin, tienen como conjunto dominio al conjunto de los enteros, en tanto que su
conjunto imagen o recorrido es un subconjunto de los nmeros reales.
Definicin 2.6. Secuencia pulso unitario. La secuencia pulso unitario se representa por medio de la delta,
(n) . El recorrido de la funcin pulso unitario vale uno para n=0 y cero para cualquier otro valor de
n . Su representacin grfica puede verse en la figura 2.1 en tanto que su definicin matemtica es:
(n)= 1,
0,

n=0
(2.11)
n 0

Illustration 2.1: Funcin pulso unitario.

Definicin 2.7. Escaln unitario. El recorrido de la funcin discreta escaln unitario toma un valor constante,
un uno, para cada elemento del dominio a partir de n0 . Su representacin grfica puede verse en la figura
2.2 en tanto que su definicin matemtica es:
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.8. Rampa unitaria. La funcin rampa unitaria es aquella en la que cada valor del dominio se
corresponde a as mismo a partir de n0 . Su representacin grfica puede verse en la figura 2.3 en tanto
que su definicin matemtica es:
r (n)= n;
0;

n=0,1,2,3,...
(2.13)
n<0

Illustration 2.3: Funcin rampa.

Definicin 2.9. Exponencial. La funcin exponencial es aquella en la que cada valor del dominio es potencia
de una constante llamada base. Su representacin grfica puede verse en la figura 2.4 en tanto que su
definicin matemtica es:
n

exp( n)=a ;

n a

MI. Mario Alfredo Ibarra Carrillo

(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;
expo03=a.^n;
subplot(2,2,3)
stem(n,expo03);
title('a>1');
%%
%

a<-1

a=-1.2;
expo04=a.^n;
subplot(2,2,4);
stem(n,expo04);
title('a<-1');

Illustration 4: Represetnaciones de la funcin exponencial para diversos valores y signos de la base. Figuras generadas
en MATLAB (MATLAB es un produto de Mathworks). A la derecha de la figura se presenta el cdigo que la gener

Definicin 2.10. Exponencial compleja. Es una seal del tipo exponencial, como la indicada en la definicin
2.10. Para este caso la base es un nmero complejo:
a=r e

(2.15)

As que la funcin exponencial compleja queda expresada como

f (n)=r n e

j n

n (2.16)

2.5. Operaciones con funciones discretas

Para mantener cierta generalidad y formalidad matemtica, en vez de emplear la frase funciones discretas
para las respectivas definiciones, se utiliza la frase funciones reales de variable entera.

MI. Mario Alfredo Ibarra Carrillo

2.5.1 Agrebra de funciones discretas

Definicin 2.11. Suma de funciones. Sean f (n ) y g ( n) dos funciones reales, ambas de variable entera.
La suma de ambas funciones, denotada por f (n)+ g(n) , es otra funcin definida como
(f +g)(n)=f (n)+g(n) . El dominio de (f +g )(n) es la interseccin de los dominios de sendas funciones.
Matemticamente, la suma de funciones se define como:
(f +g)(n)=f (n)+g(n);

dom {f +g}=dom {f }dom{g}

(2.17)

Definicin 2.12. Resta de funciones. Sean f (n ) y g ( n) dos funciones reales, ambas de variable entera.
La resta de ambas funciones, denotada por f (n) g( n) , es otra funcin definida como
(f g)(n)=f (n)g(n) . El dominio de (f g )(n) es la interseccin de los dominios de sendas funciones.
Matemticamente, la resta de funciones se define como:
(f g)(n)=f (n)g(n);

dom {f g}=dom {f }dom{g}

(2.18)

Definicin 2.13. Producto de funciones. Sean f (n ) y g ( n) dos funciones reales, ambas de variable
entera. El producto de ambas funciones, denotado por f (n) g(n) , es otra funcin definida como
(f g)(n)=f (n) g( n) . El dominio de (f g )(n) es la interseccin de los dominios de sendas funciones.
Matemticamente, el producto de funciones se define como:
(f g)(n)=f (n) g( n);

dom {f g}=dom{f }dom {g}

(2.19)

En el caso del producto, suele omitirse el operador de multiplicacin.

Definicin 2.14. Cociente de funciones. Sean f (n ) y g ( n) dos funciones reales, ambas de variable
entera. El cociente de ambas funciones, denotado por f (n)/ g(n) , es otra funcin definida como
(f / g)(n )=f ( n)/ g(n) . El dominio de (f / g)(n) es la interseccin de los dominios de sendas funciones.
Matemticamente, el cociente de funciones se define como:
(f / g)(n )=f ( n)/ g(n);

dom {f / g}=dom{f } dom{g}

(2.20)

La funcin (f / g)(n ) slo est definida en aquellos valores del dominio en los cuales la funcin
nula.

g ( n)

no sea

Definicin 2.15. Producto por un escalar. Sea f (n ) una funcin real de variable entera y sea un
nmero real llamado escalar. El producto de un escalar por la funcin, denotado como f (n) , es otra funcin
definida por ( f )( n)= f (n) . El dominio de ( f )( n) es el dominio de f (n ) . Matemticamente, el
producto de un escalar por una funcin se expresa como:
( f )( n)= f (n);

dom {( f )}=dom{f }

(2.21)

2.5.2 Convolucin y correlacin

Estas operaciones sern tratadas en un captulo posterior y esto es debido a la extensin del tema.

MI. Mario Alfredo Ibarra Carrillo

2.5.3 Combinacin lineal

Definicin 2.16. Combinacin lineal. Sean f (n ) y g ( n) dos funciones reales, ambas de variable entera
y sean dos nmeros reales 1 y 2 , ambos llamados los escalares. La combinacin lineal de ambas
funciones, denotada por 1 f (n )+ 2 g( n) , es otra funcin definida por ( 1 f + 2 g)(n)= 1 f (n)+ 2 g(n) . El
dominio de la combinacin lineal es la interseccin de los dominios de sendas funciones. Matemticamente se
puede expresar la combinacin lineal como:
( 1 f + 2 g)(n)= 1 f (n)+ 2 g(n);

dom {( 1 f + 2 g)(n)}=dom {f }dom{g}

(2.22)

2.6 Diferencia de una funcin

El clculo de diferencias finitas se aplica tanto a funciones continuas com a funciones discretas, para el caso
que compete al presente captulo se aplicarn las diferencias finitas a funciones reales de variable entera.

2.6.1 Primera diferencia de una funcin

Sea la funcin discreta f (n) y partiendo del instante n , ste se decrementa en una cantidad finita 1 , de
tal manera que para n1 el valor de la funcin es f (n1) . Entonces el incremento que experimenta la
funcin es f (n)f ( n1) y se le conoce como primera diferencia de la funcin.
Defincin 2.17. primera diferencia de una funcin. El cambio de una funcin f (n) debido a un decremento
en 1 de su argumento n , se llama primera diferencia de la funcin y se representa por f ( n) .
Matemticamente, la primera diferencia se expresa como:
f ( n)= f (n)f (n1) (2.23)

2.6.2 Ejemplo
Se desea obtener la primera diferencia de la funcin siguiente
f (n)=2 n

(2.24)

Solucin
f ( n)= f (n)f (n1)
=2n 22(n1)2
(2.25)
=2n 22(n22 n+1)
=4 n2

MI. Mario Alfredo Ibarra Carrillo

2.6.3 Segunda diferencia de una funcin

De forma semejante a como se calcul la primera diferencia de la funcin f (n ) , se calcula la segunda
diferencia, es decir
2
f (n)= { f ( n)} (2.26)

Ahora se sustituye la ecuacin (2.23) en la ecuacin (2.26) y se realiza el siguiente desarrollo

2

f (n)= { f ( n)}
= {f (n)f ( n1)}
=f (n)f ( n1)
f ( n1)+f ( n2)
=f (n)2f (n1)+ f (n2)
En conclusin, la segunda diferencia de una funcin se expresa como
2

f (t )=f (n)2f( n1)+ f ( n2)

(2.27)

2.6.4 Tercera diferencia de una funcin

De forma semejante a como se calcul la segunda diferencia de la funcin f (n) , se calcula la tercera
diferencia, es decir
3
2
f (n )= { f (n)} (2.28)

Ahora se sustituye la ecuacin (2.27) en la ecuacin (2.28) y se realiza el siguiente desarrollo

3

f (n)= { f (n)}
= {f (n)2f (n1)+f (n2)}
=f (n)2f (n1)+f (n2)
f ( n1)+2f (n2)f (n3)
=f (n)3f (n1)+3f (n2)f (n3)
En conclusin, la tercera diferencia de una funcin se expresa como
3

f (n)=f (n)3f (n1)+3f (n2)f (n3)

MI. Mario Alfredo Ibarra Carrillo

(2.29)

2.6.5 Clculo de la m-sima diferencia de una funcin

La m-sima diferencia de una funcin puede generalizarse mediante la frmula siguiente:
m

m f ( n)= (1)i m C i f ( ni)

(2.30)

i=0

con
m!

mC i= i !(mi)!

(2.31)

Donde:
mC i

Todos los posibles valores se conocen como el tringulo de Pascal

i

representa los signos alternados de los coeficientes dados por el tringulo de Pascal

(1)

2.6.6 Ejemplo
Calcule las diferencias 0 , 1 , 2 y 3 , de la funcin
f (n)=n

(2.32)

La diferencia de orden cero de una funcin es:

0

f (n)=f ( n)=n

(2.33)

La primera diferencia se calcula como

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

La segunda diferencia se calcula como

2
2
2
f (n)= { f ( n)}=3n +3n+1 [ 3( n1) +3(n1)+1 ]= 6n2 (2.35)

La terecera diferencia se calcula como

3

f (n)= { f (n)}=6n 2[ 6( n1)2 ]=6

(2.36)

2.6.7 Conclusin sobre el clculo de diferencias finitas

Ntese a lo largo de los segmentos 2.6.1 a 2.6.4 la forma en que se calcularon las diferencias. A este respecto
se aconseja considerar que la diferencia msima es mas fcil de calcular si se parte de la diferencia m1
.

MI. Mario Alfredo Ibarra Carrillo

2.7 Diferencias de productos y cocientes

2.7.1 Primera diferencia de una constante

Teorema 2.1. La primera diferencia de una constante es cero, es decir
cte=0 (2.38)

2.7.1 Producto de dos diferencias

Teorema 2.2. El producto de dos diferencias. Sean las funciones reales de variable entera f (n ) y g( n) .
El producto de sus diferencias es:
{f (n)} {g( n)}=f (n) g( n) f (n) g(n1)g( n) f (n1)+ f (n1) g(n1) (2.39)

A modo de demostracin considrense las funciones reales de variable entera f (n ) y g( n) . El producto de

sus diferencias puede expresar como:
{f (n)} {g( n)}=[ f ( n) f ( n1) ] [ g(n) g(n1) ] (2.40)
Realizando el producto binomial
{f (n)} {g( n)}=f (n) g( n) f (n) g(n1)g( n) f (n1)+ f (n1) g(n1)
Obsrvese que la ecuacin obtenida es idntica a la ecuacin (2.39) por lo cual se valida el teorema 2.2.

MI. Mario Alfredo Ibarra Carrillo

2.7.1 Primera diferencia de un producto de funciones

Teorema 2.3. Primera diferencia de un producto. Sean las funciones reales de variable entera f (n ) y
g( n) . La primera diferencia de su producto es:
{f (n) g(n)}= f ( n) g( n)+ g(n) f ( n) f (n) g(n) (2.41)

A modo de demostracin considrense las funciones reales de variable entera f (n ) y g( n) . La primera

diferencia de su producto es:
{f (n) g(n)}= f ( n) g(n)f (n1) g( n1) (2.42)
Restando y sumando f (n) g(n1) al trmino a la derecha del signo igual se logra
{f (n) g(n)}= f ( n) g( n) f ( n) g( n1)+ f ( n) g(n1)f (n1) g( n1) (2.43)
Simplificando los trminos en negrita de la eucacin anterior se logra
{f (n) g(n)}= f ( n) g( n)+ f ( n) g(n1)f (n1) g( n1) (2.44)
Sumando y resrtando g( n) f (n) en el miembro derecho de la ecuacin se logra
{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 (n1) (2.45)

Desarrollando el trmino

g (n) f (n ) se logra

{f (n) g(n)}= f ( n) g( n)+ g(n) f ( n)g( n) f ( n)+ g( n) f ( n 1)+ f ( n) g( n1) f ( n1) g( n 1) (2.46)
Comparando los trminos en negrita de la ecuacin (2.43) con la ecuacin (2.39) y sustituyendo se tiene que
{f (n ) g (n)}= f ( n) g ( n)+ g (n) f ( n) f ( n) g ( n)

Obsrvese que la ecuacin obtenida es idntica a la ecuacin (2.41) por lo cual se valida el teorema 2.3.

MI. Mario Alfredo Ibarra Carrillo

2.7.2 Primera diferencia de un cociente de funciones

Teorema 2.4. Primera diferencia de un cociente. Sean las funciones reales de variable entera f (n ) y
g( n) . La primera diferencia de su cociente es:

f ( n)
1
=
[ g(n) f (n ) f ( n) g(n)] (2.47)
g(n) g(n) g(n+1)

A modo de demostracin considrense las funciones reales de variable entera f (n ) y g( n) . La primera

diferencia de su cociente es:
{f

( n)
f (n) f ( n1 )
(n )}=

g
g (n ) g (n1)

(2.48)

Realizando la resta de quebrados

{f

( n)
f (n) g (n1)g (n ) f ( n1)
( n)}=
g
g (n) g( n1)

(2.49)

Restando y sumando f (n1) g(n1) en el numerador de la ecuacin (2.49)

{f

( n)
f (n) g(n1)f (n1) g( n1)+ f ( n1) g(n1)g(n) f (n1)
( n)}=
(2.50)
g
g(n ) g(n1)

Factorizando trminos comunes

{f

( n)
[ f (n)f (n1)] g (n1)+ f (n1)[ g ( n) g (n1)]
( n)}=
(2.51)
g
g (n ) g (n1)

Sabiendo que
f ( n)= f ( n) f (n1)
g(n)=g(n)g( n1)
Sustituyendo se logra:
{

f (n ) g ( n1) f (n)f (n1) g (n)

}=
g (n)
g (n) g ( n1)

MI. Mario Alfredo Ibarra Carrillo

2.8. Independencia lineal

2.8.1 Teoremas de dependencia-independencia lineal

Teorema 2.5 Dependencia lineal. Dadas dos funciones reales, ambas de variable entera, f (n ) y g ( n) ,
stas formarn un conjunto de ecuaciones linealmenrte dependiente si una de ellas es un mltiplo escalar de la
otra.
Teorema 2.6 Criterio del cociente para valuar la dependencia lineal. Una condicin suficiente y necesaria
para que dos funciones reales, ambas de variable entera, f (n ) y g ( n) , sean linealmente dependientes
implica que su cociente es una constante para toda n en el dominio comn de las funciones, lo cual indica
que una de las funciones es mltiplo escalar de la otra. Matemticamente se tiene que
f (n )
=cte. para toda n del dominio (2.52)
g (n)
Teorema 2.7 Criterio del cociente para valuar la independencia lineal. Una condicin suficiente y necesaria
para dos funciones reales, ambas de variable entera, f (n ) y g ( n) , sean linealmente independientes implica
que su cociente es una funcin de la variable independiente. Matemticamente se tiene que
f (n)
=h(n) (2.53)
g(n)
Teorema 2.8 Criterio de la diferencia de un cociente para valuar la dependencia lineal . Una condicin
suficiente y necesaria para que dos funciones reales, ambas de variable entera: f (n ) y g ( n) , sean
linealmente dependientes es que satisfagan:
g( n1) f (n)f (n1) g(n)=0

para toda n del dominio (2.54)

A modo de demostracin considrese calcular la primera diferencia del cociente dado en la ecuacin (2.44).
Debido a que este cociente resulta en una constante, su primera diferencia ser cero, es decir:

f ( n)
= cte=0 (2.55)
g(n)

Igualando la ecuacin (2.47) con la ecuacin (2.55) se tiene que:

1
[ g(n1) f (n)f (n1) g( n) ] =0 (2.56)
g(n) g(n1 )
Despejando el denominador se logra:
g( n1) f (n)f (n1) g(n)=0
Ntese que la ecuacin obtenida corresponde con la ecuacin (2.54)

MI. Mario Alfredo Ibarra Carrillo

Teorema 2.9 Criterio de la diferencia de un cociente para valuar la independencia lineal . Una condicin
suficiente y necesaria para que dos funciones reales, ambas de variable entera: f (n ) y g ( n) , sean
linealmente independientes es que satisfagan:
g( n1) f (n)f (n1) g(n)=h( n)

para toda n del dominio (2.57)

A modo de demostracin considrese la ecuacin (2.53) y calclese la primera diferencia del cociente, es decir,

f ( n)
=
g(n)

cte

(2.58)
funcin de n

Ntese que la primera diferencia de h (n) puede resultar en una constante o en una funcin de n .
Igualando la ecuacin (2.47) con la euacin (2.50) se logra
1
[ g(n1) f (n)f (n1) g( n) ] =
g(n) g(n1 )

cte

(2.59)
funcin de n

Despejando el trmino g ( n) g (n1) se logra:

g( n1) f (n)f (n1) g(n)=funcin de n
Ntese que la ecuacin obtenida corresponde con la ecuacin (2.57)
Teorema 2.10 Criterio de la combinacin lineal para dependencia lineal. Sea un conjunto de funciones
reales de variable entera: ={f 1 (t) , f 2 (t ) , ..., f i (t ) ,... f N (t )} . Este conjunto ser linealmente dependiente si
existe al menos una funcin que sea mltiplo escalar de una combinacin lineal de las restantes, es decir:
i f i (t)= 1 f 1 (t )+ 2 f 2 (t )+...+ N f N (t)

ndom {} (2.60)

Ntese que la ecuacin (2.60) debe satisfacerse para toda n en el dominio del conjunto de funciones.

2.8.2 Estudio sobre la independencia lineal

Si ahora se resta i f i (t) a ambos lados del signo igual de la ecuacin (2.60) se tiene que:
1 f 1 ( t )+ 2 f 2 (t )+...+ N f N (t ) i f i (t)=0

ndom {} (2.61)

Si las funciones de la ecuacin (2.61) fueran linealmente dependientes, se puede afirmar que hay un conjunto
de constantes diferentes de cero para las cuales la combinacin lineal de todas las funciones del conjunto es
cero.
Si las funciones de la ecuacin (2.61) fueran linealmente independientes, no habra un conjunto de
constantes diferentres de cero para las cuales la combinacin lineal sea nula. Entonces, la nica forma
en que tal combinacin lineal sea cero sera que todas las constantes sean cero. As entonces se tiene
el siguiente criterio de independencia lineal.

MI. Mario Alfredo Ibarra Carrillo

Teorema 2.11. Criterio de la combinacin lineal para la independencia lineal. Sea un conjunto de funciones
reales de variable entera: ={f 1 (n) , f 2 ( n) ,... , f i (n), ... f N ( n)} y sea el conjunto de constantes reales
={ 1 , 2 , ..., N } .
Si
la
combinacin
lineal
de
las
funciones
es
cero,
es
decir,
1 f 1 ( n)+ 2 f 2 (n)+...+ N f N (n)=0 para toda n en el dominio del conjunto, slamente cuando las
constantes son cero ( 1 = 2 =...= N =0) , se dice que las funciones son linealmente independientes.

2.8.3 La matriz casorati

Suponga ahora un conjunto de tres funciones reales, las tres de variable entera
={f (n) , g(n) , h(n)} (2.62)
Estas funciones sern linealmente independientes si satisfacen
1 f (n )+ 2 g( n)+ 3 h( n)=0 ndom {}
solo para 1 = 2 = 3 =0

(2.63)

Dado que la ecuacin (2.63) se cumple para toda n del dominio del conjunto de funciones, entonces se
cumple tambin para los dos valores consecutivos siguientes, es decir: n1 y n2 . As entonces podemos
plantear las dos ecuaciones siguientes:
1 f (n1)+ 2 g ( n1)+ 3 h(n1)=0 n dom{}
solo para 1 = 2= 3=0

(2.64)

y
1 f (n2)+ 2 g( n2)+3 h(n2)=0

ndom {}
solo para 1 = 2 = 3 =0

(2.65)

Ahora bien, es posible reunir las ecuaciones (2.55), (2.56) y (2.57) en el siguiente sistema:

][ ] [ ]

1 0
f (n)
g(n )
h( n)
f (n1) g(n1) h( n1) 2 = 0
0
f (n2) g(n2) h( n2)
3

(2.66)

donde la matriz de coeficientes formada por las diferencias de las funciones se llama matriz de Casorati de las
funciones y el determinante de la matriz de llama casoratiano de las funciones. El casoratiano ser
representado como W C .
Teorema 2.12. Criterio de Casorati para dependencia lineal Una condicin suficiente y necesaria para que
un conjunto de N funciones reales de variable entera: ={f 1 (n) , f 2 ( n) ,... , f N (n)} para toda n en el
dominio del conjunto, sean linealmente dependientes es que su casoratiano sea cero, matemticamente:
W C ( f 1, f 2,. .., f N )=0

ndom {} (2.67)

MI. Mario Alfredo Ibarra Carrillo

Teorema 2.13 Criterio de Casorati para independencia lineal Una condicin suficiente y necesaria para que
un conjunto de N funciones reales de variable entera: ={f 1 (n) , f 2 ( n) ,... , f N (n)} para toda n en el
dominio del conjunto, sean linealmente independientes es que su casoratiano sea una funcin de n ,
matemticamente:
W C ( f 1, f 2,. .., f N )=h( n)

ndom{} (2.68)

Es posible extender el teorema 2.13 pensado que es suficiente evaluar el casoratiano para un nico valor de la
variable independiente y encontrar que el determinante es diferente de cero. Este valor de la variable
independiente puede ser cualquiera dentro del dominio del conjunto de funciones.
Teorema 2.14. Segundo Criterio de Casorati para independencia lineal Una condicin suficiente para que
un conjunto de N funciones reales de variable entera: ={f 1 (n) , f 2 ( n) ,... , f N (n)} para toda n en el
dominio del conjunto, sean linealmente independientes es que su casoratiano sea diferente de cero para algn
valor de n dentro del dominio, matemticamente:
W C ( f 1, f 2,. .., f N )0

para alguna n en el dom {} (2.69)

2.8.4 Ejemplo
Sean f (n ) y g ( n) dos funciones reales, ambas de variable entera, definidas a continuacin, defnase el
respectivo casoratiano
f (n);

n
(2.70)

g( n);

El respectivo casoratiano queda establecido como

f ( n)
g( n)
f ( n1) g( n1)

Resolviendo el determinante se logra

f ( n)
g( n)
=f (n) g(n1) g(n) f (n1 ) (2.71)
f ( n1) g( n1)

2.8.5 Ejemplo
Se desea saber si las funciones siguientes son linealmente independientes
f (n )=n ;

g ( n)=an ;

n a

(2.72)

El casoratiano de estas funciones se plantea como

MI. Mario Alfredo Ibarra Carrillo

f ( n)
g( n)
an =an( n1)an (n1)=0
= n
f ( n1) g( n1) n1 a( n1)

(2.73)

Dado que el casoratiano es cero se puede afirmar que las ecuaciones (2.72) son linealmente dependientes

2.8.6 Ejemplo
Se desea saber si las funciones siguientes son linealmente independientes
f (n)=n;
2

g( n)=n ;

n
(2.74)
n

El casoratiano de estas funciones se plantea como

f ( n)
g( n)
f ( n1) g( n1)

Sustituyendo las respectivas funciones y resolviendo el determinante resulta que:

n
n2
f ( n)
g( n)
2
2
2
=
= n(n+1) n (n+1)=n +n
f ( n1) g( n1) n1 (n1) 2

(2.75)

El casoratiano de la ecuacin (2.67) es notablemtne una curva parablica. La evaluacin del casoratiano para
algunos valores puede verse en la tabla 2.3.

Tabla 2.3. Evaluacin del

casoratiano para la pareja de
funciones (2.29)
n
n^2+n
-5
-30
-4
-20
-3
-12
-2
-6
-1
-2
0
0
1
0
2
-2
3
-6
4
-12
5
-12

Dado que el casoratiano es una funcin de n se puede concluir que el conjunto de ecuaciones (2.66) es
linealmentre independiente.

MI. Mario Alfredo Ibarra Carrillo

2.8.7 Ejemplo
Se desea saber si las funciones siguientes son linealmente independientes
f (n)=n ;

g( n)=2n ;

n (2.76)

h(n)=n2 ;

El casoratiano de estas funciones se plantea como

f ( n)
g(n)
h(n)
f (n1) g (n1) h(n1)
f ( n2) g (n2) h(n2)

(2.77)

Sustituyendo las respectivas funciones se tiene que el casoratiano es:

n
2n
n2
n1 2(n1) (n1) 2
n2 2(n2) (n2)

(2.78)

Resolviendo el determinante, es posible mostrar que esta matriz no es inversible. Sin embargo, es ms rpido
recurrir a alguna herramienta de clculo en la que se sustituyan diversos valores de n y calcular los
respectivos determinantes. La evaluacin del casoratiano para valores de n en elintervalo de -5 a 5 puede
verse en la tabla 2.4.
Tabla 2.4. Evaluacin del casoratiano para la pareja de funciones (2.34). A la derecha
de la tabla se exibe el cdigo M empleado para generar la tabla
n
Det{ }
-5
0
casoratiano=[,];
-4
0
for n=-5:5
aux=det( [n 2*n n*n; n-1 2*(n-1) (n-1)*(n-1) ;
-3
0
n+2 2*(n-2) (n-2)*(n-2) ] )
-2
0
-1
0
casoratiano=[casoratiano ; n,aux];
0
0
end
1
0
casoratiano
2
0
3
0
4
0
5
0

Dado que la tabla muestra consistentemente cero para los valores de n exhibidos, se puede concluir que el
conjunto de ecuaciones (2.76) es linealmente dependiente, al menos para el intervalo de valores de n dados
en la tabla.

MI. Mario Alfredo Ibarra Carrillo

2.8.8 Ejemplo
Se desea saber si las funciones siguientes son linealmente independientes
n

f (n)=1 ;

g( n)=(2)n ;

h(n)=3n ;

(2.71)

El casoratiano de estas funciones se plantea como:

(2)
3
(n1)
(n1)
(2)
3
(n2)
(2)
3(n2)

1(n1 )
1(n2 )

(2.72)

Mediante operaciones por fila se puede mostrar que esta matriz es siempre inversible. Sin embargo, es posible
recurrir al teorema 2.13 y sustituir un valor para n , por ejemplo n=0 y calcular el determinante.

1
1
1
1 0.5 0.333 =0.833
1 0.25 0.111

(2.73)

Entonces, deacuerdo al teorema 2.13 dado que el casoratiano es diferente de cero para algn valor de n se
puede concluir que el conjuto de tres funciones es linealmente independiente.

2.8.9 Ejemplo
Sean las funciones siguientes, determine si son linealmente independientes. Evale el determinante casoratiano
para para valores de n[5,5] y analice los resultados.
f (n)=n

(2.74)

g( n)=nn n
El casoratiano para esta funciones se plantea como

n2
2nn
2
(n1) ( n1)n1

(2.75)

Evaluando el casorati para los valores de n indicados en el problema, se consigue la tabla 2.3

MI. Mario Alfredo Ibarra Carrillo

Tabla 2.3. Evaluacin del casoratiano de la ecuacin (2.38). A la

derecha se presenta el cdigo en M empleado para generar la tabla.
n
f(n)
-5
0
casoratiano=[,];
-4
0
for n=-5:5
aux=det(
[1^n
,
(-2)^n
,
3^n
;
-3
0
1^(n+1)
,
(-2)^(n+1)
,
3^(n+1)
;
-2
0
1^(n+2) , (-2)^(n+2) , 3^(n+2) ] );
-1
0
0
0
casoratiano=[casoratiano ; n,aux];
1
0
end
2
0
casoratiano
3
0
4
0
5
0

La figura 2.5 ilustra la grfica del comportamiento tanto de n2 y nn . Ntese que no es aparente su
relacin de dependencia, no obstante que el casoratiano indica que son funciones linealmente dependientes.
Tal situacin indica que los teoremas de dependencia e independencia lineal an son discutibles.
Finalmente, es posible establecer una relacin de dependencia para las funciones (2.74) si el dominio de n se
considera nicamente como el conjunto de los entreros positivos incluyendo al cero.

Illustration 5: Grficas de "n^2" y "n|n|".

MI. Mario Alfredo Ibarra Carrillo

2.9 Energa y potencia

[proakis; cap 2]
La seales, para su tratamiento correcto, deben clasificarse en funcin de la energa consumida por ellas y en
funcin de la rapidez con la cual consumen energa. A este respecto, las seales son de dos tipos, seal
energa y seal potencia.
Los mtodos matemticos empleados en el anlisis de seales discretas estn en funcin del tipo de seal que
se desea analizar. As entonces, las seales potencia sern analizadas empleando series trigonomtricas de
Fourier y series exponenciales de Fourier. Por otra parte, las seales energa se analizan mediante
transformadas de Fourier.

2.9.1 Energa
Considere inicialmente la siguiente secuencia discreta:
f (n )={f (N )... f (0) ...f ( N )}

(2.79)

La energa consumida por la serie de la ecuacin (2.79), en el intrevalo

como:
N

N {f (n)}=

Nn N

se calcula entonces

f (n)2 (2.80)

n=N

La energa media total consumida por la serie de la ecuacin (2.80) se evala considerando un intervalo inifinito.
N

{f ( n)}= lim

N n=N

f (n)2 (2.81)

2.9.2 Potencia
La rapidez con la cual se consume la energa por la secuencia discreta de la ecuacin (2.79) se calcula como la
energa consumida entre el intervalo de consumo Nn N .
S N {f (n)}=

1
{f (n)} (2.82)
2N+1 N

La potencia media total se evala considerando un intervalo infinito

S {f (n)}= lim
N

1
f (n) (2.83)
2N+1 N

Sustituyendo la ecuacin (2.80) en la ecuacin (2.83) se logra

MI. Mario Alfredo Ibarra Carrillo

S {f (n)}= lim
N

1
f (n)2 (2.84)
2N+1 n=N

2.9.3 Seal energa

Definicin 2.18. Una seal energa es aquella que:

Tiene energa media total finita, es decir, requiere de un consumo finito de energa

{f (n )}< (2.85)

Tiene potencia media total cero

S {f (n)}=0 (2.86)

Son seales de duracin finita

Son tambin seales de duracin infinita pero que concentran su consumo de energa en un pequeo
intervalo. El resto del tiempo el consumo de energa en mnimo y tiende a cero.

2.9.4 Seal potencia

Definicin 2.21. Una seal potencia es aquella que:

Tiene potencia media total finita.

S {f (n)}< (2.87)

Tiene energa media total infinita, es decir, requiere de un consumo infinito de energa.

{f ( n)}=0 (2.88)

Son seales peridicas, las cuales son de duracin infinita.

Son seales constantes, las cuales tienen una duracin infinita

Son seales aleatorias, las cuales son de duracin infinita.

2.9.5 Ejemplo de seal energa: exponencial unilateral

Sea la funcin exponencial unilateral siguiente, se desea calcular su energa media total y su potencia media
total.
n

f (n)=u1 (n) a ; a<1 (2.89)

El clculo de la energa media total se despliega a continuacin

MI. Mario Alfredo Ibarra Carrillo

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

a2n

N n=0
N

= lim

(a2 )n

N n=0

2 N+1

= lim

1(a )

N 1a

Considere ahora que 0<a<1 por lo cual

2N

lim a

=0 (2.90)

Entonces la energa media total de la exponencial unilateral es:

1
n
{u1 (n)a ; a<1}=
1 a2

(2.91)

El clculo de la potencia media total se despliega a continuacin

n

1
N
N 2N+1

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

N 2N+1

1
1a

=0
Entonces, la potencia media total de la exponencial unilateral es:
n

S {u 1 ( n) a ; a<1}=0 (2.92)

MI. Mario Alfredo Ibarra Carrillo

2.9.6 Ejemplo de seal potencia: escaln unitario

Sea la funcin escaln unitario de la cual se desea calcular su potencia media total y su energa media total.El
clculo de la potencia media total se despliega a continuacin
1
2N+1
N

S {u1 (n )}= lim

1
N 2N+1

= lim

u2 ( n)

n=0
N

n=0

N +1
2N+1
N

= lim

= lim

N +1 1/ N
1/ N

N 2N+1

1
N
= lim
1
N 2+
N
1+

1
=
2

Entonces, la potencia media total de una seal escaln unitario es:

S {u 1 ( n)}=

1
2

(2.93)

El clculo de la energa media total del escaln unitario se realiza a continuacin

N

{u1 (n)}= lim

u1 2 (n)

N n=0
N

= lim

= lim

N +1

N n=0
N

N n=0

Entonces la energa media total de un escaln unitario es infinita:

{u1 (n)}= (2.94)

MI. Mario Alfredo Ibarra Carrillo