DIFERENCIAS FINITAS STC Clculo Diferencial Clculo Integral Teora de las Ecuaciones Diferenciales STD Diferencias Finitas - Operadores

res Teora de las Ecuaciones de Diferencias Seales Discretas: Existen slo para valores discretos del tiempo:tk = kT ; k = 0 entero(+) u(kT) STD v(kT) kT 0 Ecuacin de Diferencias Finitas ( de Diferencias) V(kT) = f{u(kT), u[(k-1)T], u[(k-2)T], ... , u[(k-j)T], v[(k-1)T], v[(k-2)T], ..., v[(k-i)T]} ; j1 Relacin Funcional Ec. de Diferencias ms general Esta relacin funcional puede ser cualquiera, incluso puede ser no lineal. 1 2 3 : : k u(kT) u(0) u(T) u(2T) u(3T) : : u(kT) v(kT) v(0) v(T) v(2T) v(3T) : : v(kT)

Nos interesan los sistemas cuya salida sea la combinacin lineal de las variables: u[(k-j)T] y v[(k-i)T] con j1 y adems con A y B coeficientes reales tal que:
J I

v(kT )
j 0

A j u (k

j )T
i 1

Bi v ( k

i )T

Esta es la Forma ms general de un Ecuacin de Diferencias Lineal con Coeficientes Constantes O tambin la Expresin ms General de un STD Lineal de Entrada nica (SISO). Representa el comportamiento de un STD lineal. Hay una similitud formal entre la Teora de las Ecuaciones Diferenciales y las Ecuaciones de Diferencias, pero no hay una conexin directa entre ambas. DIFERENCIAS DIVIDIDAS Dada una cierta variable independiente discreta xk y una cierta funcin f(xk) f(k) fk , puede confeccionarse una Tabla de Valores: xk f(xk) x0 f(x0) x1 f(x1) x2 f(x2) x3 f(x3) . . . . . . . . xk f(xk)

Las Diferencias Divididas de f(xk) se definen como la relacin entre las diferencias de f(xk) y xk:

xk

f(xk) : f(xi) : f(xj) : f(xk) : f(xn-1) f(xn)

D1f(xk)
:

D2f(xk)
:

:
: :

Dnf(xk)

Primeras Diferencias Divididas DD1f(xk):

Df(xi,xj) =

: xi
:

f(xi , xj) f(xi , xj, xk) f(xj, xk) : : : : : : : :

: : : : : : : f(xi,xj,xk,,xn)

Segundas Diferencias Divididas DD2f(xk):

D2f(xi,xj) =

xj
:

xk
:

: Ensimas Diferncias Divididas DDnf(xk): Dnf(xi,xj) =

xn-1 xn

En todos los casos se ve que en los trminos del numerador, las variables que son distintas son slo la primera y la ltima. Propiedades de las Diferencias Divididas: a) Dada una funcin f(xk) , puede demostrarse que: f(xi,xj) = f(xj,xi) b) Dada una F(x) = f(xk) g(xk), puede demostrarse que: F(xi,xj) = f(xi,xj) g(xi,xj) c) Dada una F(x) = A.f(x), puede demostrarse que: F(xi,xj) = A.f(xi,xj) Por lo tanto, las Diferencias Divididas tienen la propiedad de Linealidad. Ejercicio 1: Probar que si la funcin f(xk)es una funcin de variable compleja, para las diferencias divididas valen las siguientes propiedades: a) f(xj , xk) = f(xk , xj) b) Si f(xk) = a.g(xk) b.h(xk), entonces f(xi , xj) = a.g(xi , xj)) b.h(xi , xj) Tabla de Diferencias Divididas Los intervalos entre muestras pueden ser regulares o irregulares, esto es, el salto entre una muestra y otra puede ser constante, o puede variar. En todos los casos, para confeccionar la Tabla de Valores con las correspondientes Diferencias Divididas, se procede de la manera que se muestra en el ejemplo:

x x0 x1 x2
X 3

f(x) f(x0) f(x1) f(x2) f(x3)

1asDDs f(x0, x1) f(x1, x2) f(x2, x3)

2asDDs f(x0, x1, x2) f(x1, x2, x3)

3asDDs
f(x0, x1, x2, x3)

Ejercicio 2: Dada la funcin generatriz f(x) = x3, y la serie de valores de entrada x (con intervalos de muestreo: x = 0, 1, 3, 4, 7, 9 realizar una tabla de valores con las Primeras, Segundas y Terceras Diferencias Divididas. Observar y escribir conclusiones sobre los resultados obtenidos. x 0 1 3 4 7 9 f(x) 0 1 27 64 343 729 1asDDs 1 13 37 93 193 2asDDs 4 8 14 20 3asDDs 1 1 1 4asDDs 0 0

Vemos que, a pesar de haber tomado intervalos de muestreo totalmente irregulares, en la 3a diferencia obtenemos todos resultados iguales a 1., y de all en adelante son todas las diferencias iguales a cero. No hemos hecho distincin ni en el orden de ubicacin ni en el espaciamiento de las variables, ni en la forma de la funcin. Tampoco esta Diferencia Dividida nada tiene que ver con la Derivada de una funcin. Sin embargo estmos frente a una similitud formal entre las Diferencias Divididas y la Derivada de una Funcin. Recordemos, la derivada de la funcin f(x) = x3:
dx 3 3x 2 dx d 2 x3 6x dx d 3 x3 6 dx d 4 x3 0 dx

Vemos que la similitud formal est en que tanto la derivada como la diferencia de una funcin de orden n, se hacen igual a una constante en la ensima derivada o diferencia, y a partir de all las siguientes derivadas o diferencias son iguales a cero. El elemento bsico de una Ecuacin Diferencial es la Derivada, el de la Ecuacin de Diferencias es la Diferencia Vamos a tener en cuenta esto para ver la similitud entre las Ecuaciones Diferenciales y las Ecuaciones de Diferencias.

Primer Teorema: Las ensimas Diferencia Divididas de un polinomio de grado n, son constantes. Corolario: Las ensimas Diferencias de un polinomio de grado n son constantes.

Diferencias de una Funcin: Se define como Diferencia de una funcin f(xk) = f(xk+1) - f(xk) fk == fk+1 - fk
2

Esta es la Primera Diferencia

Segunda Diferencia de f : fk [fk] = [f(xk+1) - f(xk)] = fk+1 - fk = 2fk : Ensimas Diferencias de f : nfk [n-1fk] = n-1fk+1 - n-1fk = n fk Propiedades del Operador : a) (fk gk) = (fk) (gk) b) (C.fk) = C.( fk) c) m(n fk) = m+n fk Operador Incremental E: E(fk) = E f(xk) = f(xk+h) = f(xk+1) = fk+1 siendo h la diferencia que hay entre dos valores de x sucesivos (xk y xk+1) E[E.f(xk)] = E2 f(xk) = fk+2 = f(xk+2h) x xk h xk+1 f(x) f(xk) f(xk+h) : f(xk+) Propiedades del Operador E: 1) E(fk gk) = E fk E gk 2) E(C.fk) = C.E fk 3) E[Es fk] = E+s fk Ley exponencial de los sistemas lineales, vlida para y s enteros. Equivalencias entre los Operadores y E: Dos operadores se dice que tienen la propiedad de ser operacionalmente equivalentes, si aplicados a la misma funcin, dan el mismo resultado. fk = fk+1 - fk E f(xk) = E(xk+h) = fk+1, con h=1 fk = E fk - fk = (E-1) fk => = (E-1) 4 E f(xk) = fk+ = f(xk+h) Si tengo un cierto xk con su respectiva funcin f(xk), y le aplico el operador incremental, la hago bajar un nivel a la funcin. Si lo aplico veces, la bajo niveles. Ley de exponentes. Es vlida para valores de m y n enteros.

Interpretacin del STD por Ecuaciones de Diferencias As como las Ecuaciones Diferenciales podan utilizarse para definir los STC, ya sean lineales o no, lsd Ecuaciones de Diferencias se pueden utilizar para representar los STD sean lineales o no lineales. Como primera medida utilizaremos el operador E para aplicarlo a nuestra ecuacin de diferencias. El operador E puede utilizarse como operador de avance, o de retroceso (E-1). Aplicado a una funcin fk, sera: E(fk) = f(k+1) ; En f(k) = f(k+n) E (fk) = f(k-1) ; E f(k) = f(k-n) Entonces, por ejemplo si: y(k) = A0 fk + A1 fk+1 + A2 fk+2 + ... + An fk+n usando el operador E sera: y(k) = A0 fk + A1 E fk + A2 E2 fk + ... + An En fk Recordemos el operador Diferencia : fk = fk+1 fk
-1 -n

fk+n fk-n

E fk fk = (E 1) fk => Para la ensima diferencia ser: n fk

(E-1)n fk

Binomio de Newton Podemos expresar las Ecuaciones de Diferencia como: {f (En)}y(k) = (k) Entrada al STD Para interpretar al STD por ecuaciones de diferencias, introducimos a la entrada del sistema una excitacin (k) , y obtenemos la salida y(k). Si desarrollamos la expresin anterior, de orden n, lineal, con coeficientes constantes Ai , ser: (A0 + A1 E-1 + A2 E-2 + ... + An-1 E-(n-1) + An E-n)y(k) = (k) no hay ninguna restriccin para la funcin de excitacin (k), pudiendo ser sta eventualmente igual a cero, tendramos entonces una ecuacin de diferencias homognea; o puede tener una expresin analtica completa (con funciones generatrices xk, sen(wkT), cos(wkT), etc.) El sistema que puede responder a la ecuacin anterior ser un Sistema de Tiempo Discreto absolutamente generalizado, que puede ser lineal o no lineal.. De la expresin general para un STD lineal, causal, a coeficientes constantes, podemos ver que es posible realizar estos sistemas en forma computacional (por software) o por hardware (realizacin circuital). Computacional: se pueden desarrollar programas de computadora, con distintos lenguajes, que respondan a dicha ecuacin, haciendo variar el tiempo T en un intervalo prefijado, y obtener su respuesta temporal en forma directa. Por Hardware: As tambin podemos ver que es posible desarrollar la expresin general utilizando slo tres tipos de componentes: Sumadores (+), Multiplicadores ( ) y retardos (E-1).