Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuaciones en Diferencias 01
Ecuaciones en Diferencias 01
Ramn Maha
Junio 1998.
(*) Este documento forma parte de la Tesis Doctoral enmarcada en el rea del anlisis
de cointegracin del mismo autor y dirigida por D. Jos Vicns Otero.
NDICE DE CONTENIDO
- INTRODUCCIN
1.- DEFINICIONES PRINCIPALES. Forma estructural y reducida de una ecuacin
en diferencias
2.- SOLUCIN DE ECUACIONES EN DIFERENCIAS. Conceptos previos
3.- SOLUCIN DE UNA ECUACIN EN DIFERENCIAS POR ITERACIN
4.- SOLUCIN HOMOGENEA Y PARTICULAR. Planteamiento
4.A.- Obtencin de la solucin homognea: ecuacin y races caractersticas.
Ecuaciones de segundo grado
4.B.- Obtencin de la solucin homognea a partir del polinomio de retardos
4.C.- Condiciones de estabilidad de la solucin homognea de una ecuacin de
segundo grado. Caso 1. Races reales y distintas. Caso 2. Races reales e
idnticas. Caso 3. Races imaginarias
4.E.- El celebre crculo unitario
4.D.- Obtencin de la solucin particular. Solucin particular con procesos de
fuerza g(t) deterministas. Caso 1. g(t) constante. Caso 2. g(t) funcin del
tiempo (yt con tendencia determinista). Caso 3. g(t) exponencial (caso
especfico de yt con tendencia determinista no lineal)
4.E.- Aproximacin matemtica al concepto de raz unitaria
4.F.-
pg.1
pg.2
y t = a 0 + a i y t i + x t
(Ec. 2)
i =1
donde los coeficientes ai se suponen constantes (parmetros) y los n trminos yt-i son
de orden uno (ecuacin lineal). El trmino xt se denomina proceso de fuerza3 y puede
explicitarse de formas muy diversas: funcin del tiempo, valores actuales y/o retardados
de otras variables y/o perturbaciones aleatorias. Por ejemplo, para ao=0, a1=1 y xt=t
tenemos la formulacin tradicional del paseo aleatorio anterior.
Forma estructural y reducida de una ecuacin en diferencias
Una ecuacin en la forma estructural expresa la variable endgena en funcin
de valores actuales de otra endgena. La forma reducida, por el contrario, puede
incluir valores retardados de la propia endgena o de otras endgenas pero nunca
valores contemporneos. En el contexto de un modelo multiecuacional de series
temporales una ecuacin en su forma reducida puede ser expresada en su forma
estructural. Una ecuacin univariante en su forma reducida es aquella en la que la
endgena es expresada exclusivamente en funcin de retardos de ella misma.
pg.3
(Ec. 3)
(Ec. 4)
(Ec. 5)
Decimos podra porque los coeficientes de la solucin dependen de los valores iniciales dados a y0 e
y1 que en este caso fueron y0=1 e y1=0.5.
pg.4
10 13 16 19 22 25 28 31 34 37 40 43 46 49
Tiempo "t"
(Ec. 6)
(Ec. 7)
por tanto, si a partir de la igualdad para y2, y sustituimos sucesivamente hacia delante,
tenemos:
y 2 = 2 + 0.5 y1 + 2 = 2 + 0.5 ( 2 + 0.5 y 0 + 1 ) + 2 = 2 (1 + 0.5) + 0.52 y 0 + 0.5 1 + 2
y para y3 de forma similar:
y 3 = 2 + 0.5 y 2 + 3 = 2(1 + 0.5 + 0.52 ) + 0.53 y 0 + 0.52 1 + 0.5 2 + 3
por lo que, observando la regla de formacin hacia delante podramos concluir que:
t 1
t 1
i =0
i =0
(Ec. 8)
pg.5
t 1
i =0
i =0
i =0
i =0
t +m
i =0
i =0
(Ec. 9)
dado que el coeficiente 0.5 es menor que uno en valor absoluto podemos suponer que, a
medida que m tienda a infinito, el ltimo trmino de la Ec. (9) tender a cero y el
sumatorio del primer y segundo miembro converger a 1/(1-0.5)5. Por tanto, la forma
final de la solucin puede ser:
yt =
2
+ 0.5i t i
(1 0.5) i =0
(Ec. 10)
aunque la realidad es que tambin ser una solucin cualquier transformacin del tipo:
2
+ 0.5i t i
(1 0.5) i =0
donde A es una constante arbitraria.
y t = A 0.5t +
(Ec. 11)
A primera vista, esta segunda solucin parece ms sencilla que la primera pero,
sin embargo, no es as. En primer lugar encontramos una sucesin de infinitos trminos
que complica su utilizacin discreta, en segundo lugar, la presencia del parmetro A
induce una arbitrariedad molesta y, en tercer lugar, no est claro que el procedimiento
sirva si el parmetro hubiera sido mayor que la unidad.
Tampoco la primera solucin est exenta de limitaciones dado que, recordemos,
nos vemos obligados a obtener un valor conocido para y0. Si la ecuacin fuera de
segundo orden, deberemos conocer dos valores iniciales de yt en un caso, o dos
constantes arbitrarias A1 y A2 en el otro caso.
Basta con recordar la expresin de los n trminos de una progresin geomtrica de razn r y
primer trmino a0:
S=
a 0 (1 + r n )
(1 r )
pg.6
(Ec. 12)
pg.7
(Ec. 14)
(Ec. 15)
expresin que, dividiendo a ambos lados por el factor comn t-1, podramos
transformar en:
( a1 ) = 0
Esta ecuacin se denomina ecuacin caracterstica y a sus soluciones races
caractersticas. La solucin (raz caracterstica) de esta ecuacin ser =a1 que
efectivamente es una solucin para . Dado el cambio de variable:
y t = t y t = a1t
tambin para la ecuacin inicial se cumple la identidad correspondiente:
a1t a1 a1t 1 = 0 0 = 0
En seguida puede observarse como, adems, dada la solucin anterior, la
expresin A(a1)t tambin ser una solucin a la ecuacin, donde A es una constante
arbitraria cualquiera. En virtud de esa propiedad inmediata obtenemos lo que antes
hemos denominado solucin homognea general:
y th = A a1t
(Ec. 16)
0 < a1 < 1
Convergencia directa a 0
Yt
Yt
Yt
1,2
0,6
0,5
0,8
0,4
0,6
0,3
0,4
0,2
0,2
0,1
0
0
1 5 9 13 17 21 25 29 33 37 41 45 49
Valores de "t"
1 < a1 < 0
Convergencia
oscilante a 0
9 13 17 21 25 29 33 37 41 45 49
Valores de "t"
0,3
0,2
0,1
0
-0,1 1 5 9 13 17 21 25 29 33 37 41 45 49
-0,2
-0,3
-0,4
-0,5
-0,6
Valores de "t"
pg.8
(Ec. 18)
(Ec. 19)
Las races caractersticas sern por tanto las que corresponden a cualquier
solucin de una ecuacin cuadrtica, es decir:
1 =
2 =
a1 + a12 + 4a 2
2
a1 a12 + 4a 2
(Ec. 20)
Cualquiera de las dos races permite obtener una solucin para yt de la forma
A()t. Resulta adems inmediato comprobar que, dadas las dos soluciones representadas
por las races caractersticas 1 y 2 , cualquier combinacin lineal de las mismas ser
tambin una solucin para yt.
1 1 Solucin A1 ( 1 ) t
Solucin combinacin A1 ( 1 ) t + A2 ( 2 ) t
2 2 Solucin A2 ( 2 ) t
La demostracin es sencilla:
y t a1 y t 1 a 2 y t 2 =
= A1 (1 ) + A2 ( 2 ) a1 ( A1 (1 ) t 1 + A2 ( 2 ) t 1 ) a 2 ( A1 (1 ) t 2 + A2 ( 2 ) t 2 ) =
= A1 ( 1 ) t a1 A1 (1 ) t 1 a 2 A1 (1 ) t 2 + A2 ( 2 ) t a1 A2 ( 2 ) t 1 a 2 A2 ( 2 ) t 2 =
= 0+0= 0
t
] [
pg.9
y th = Ai ( i ) t
(Ec. 21)
i =1
(Ec. 22)
(Ec. 23)
y t (1 a1 L a 2 L2 ) = 0
(Ec. 24)
podemos escribir:
es evidente entonces que las soluciones de la ecuacin se corresponden con las races
del polinomio de retardos entre parntesis, o sea:
L1 =
a1 + a12 + 4a 2
2 a2
a1 a12 + 4a 2
L2 =
2 a2
(Ec. 25)
(Ec. 26)
(Ec. 27)
pg.10
Li
1
+ a1
Li
a1 a12 + 4a 2
2
(Ec. 28)
(Ec. 29)
(Ec. 30)
(Ec. 31)
(Ec. 32)
pg.11
Figura 2
Figura 1
Yt
8,00
Yt
7,00
6,00
5,00
4,00
3,00
2,00
1,00
0,00
-1,00
-2,00
6,00
4,00
2,00
0,00
-2,00
-4,00
-6,00
1
7 10 13 16 19 22 25 28 31 34 37 40 43 46 49
7 10 13 16 19 22 25 28 31 34 37 40 43 46 49
Valores de "t"
Valores de "t"
Figura 4
Figura 3
Yt
8,00
Yt
7,00
6,00
5,00
4,00
3,00
2,00
1,00
0,00
-1,00
-2,00
6,00
4,00
2,00
0,00
-2,00
-4,00
-6,00
1
7 10 13 16 19 22 25 28 31 34 37 40 43 46 49
7 10 13 16 19 22 25 28 31 34 37 40 43 46 49
Valores de "t"
Valores de "t"
a1 a12 + 4a 2
si el discriminante de la
(Ec. 33)
(Ec. 34)
La figura 1 ha sido generada con (a1=0.5;a2=0.45), la segunda con (a1=-0.5;a2=0.45), la tercera con
(a1=-0.8;a2=-0.01) y la ltima con (a1=0.5;a2=-0.01). Las constantes arbitrarias A1 y A2 han sido
generadas en todos los casos partiendo de los valores iniciales y0=-1 e y1=6.
pg.12
y = t a1
2
h
t
(Ec. 35)
t (a1 2 ) a1 (t 1)(a1 2 )
t 1
+ a 2 (t 2 )(a1 2)
t 2
=0
t (a1 2 ) a1 (t 1)(a1 2 ) a 2 (t 2 ) =
2
] [
(a 12 4 ) + a 2 t + (a 12 2 ) + 2a 2 = 0
teniendo en cuenta que en la ltima igualdad las expresiones entre corchetes se anulan
dado que partimos de la condicin a21+4a2=0.
Por tanto, la solucin homognea general que puede considerarse ahora ser una
combinacin lineal de ambas soluciones de la forma:
y th = A1 (a1 2 ) + A2 t (a1 2 )
t
(Ec. 36)
a12 + 4 a 2 =0
- 1 < a2 < 0
pg.13
negativo (y mayor que 2) la solucin parece oscilar de forma explosiva para converger
despus bruscamente, y tambin de forma oscilante, a cero:
Figura 1
Figura 2
Yt
3,25
Yt
3,25
2,25
2,25
1,25
1,25
0,25
0,25
-0,75
-0,75
-1,75
-1,75
-2,75
-2,75
-3,75
-3,75
1
15 22 29 36 43 50 57 64 71 78 85 92 99
17
25
33
Valores de "t"
41
49
57
65
73
81
89
Valores de "t"
a1 + i d
a i d
, 2 = 1
2
2
(Ec. 37)
(Ec. 38)
i = 1 .
(Ec. 39)
donde A1 y A2 son las constantes arbitrarias habituales que ahora sern nmeros
complejos conjugados que pueden determinarse partiendo de condiciones iniciales y0 e
y1. Aunque no se ha hecho en ninguno de los dos anteriores casos conviene en este caso
observar cmo es la dinmica de su obtencin. Partiendo de y0 para t=0 e y1 para t=1
puede plantearse el sistema:
97
pg.14
y 0 = A1 + A2
y1 = A1 ( + i ) + A2 ( i )
(Ec. 40)
A2 = B C i
1
(Ec. 41)
C = ( y 0 y1 ) /
Puede observarse adems como:
A1 + A2 = B
A1 A2 = C i
(Ec. 42)
(Ec. 43)
(Ec. 45)
donde obviamente:
7
Dado que las dos races caractersticas son complejas y, sin embargo yh es real, es matemticamente
necesario que A1 y A2 sean nmeros complejos.
pg.15
2 + 2 = r 2
y por tanto r=(-a1)1/2.
Si las transformaciones de la Ec.45 se sustituyen en la Ec.39 la solucin
homognea general puede expresarse como:
y t = A1 ( r cos w + ir sen w) t + A2 ( r cos w ir sen w) t =
= A1 r t (cos w + i sen w) t + A2 r t (cos w i sen w) t
(Ec. 46)
(Ec. 47)
(Ec. 48)
C = A sen
(Ec. 49)
tenemos que:
y t = Ar t [cos cos wt sen sen wt ]
(Ec. 50)
(Ec. 51)
pg.16
r = ( a 2 )
por lo que la condicin de estacionariedad obliga a que a2 sea menor que la unidad
en valor absoluto8.
-
Figura 2
Yt
1,50
1,00
0,50
0,00
-0,50
-1,00
-1,50
17
25
33
41
49
57
Valores de "t"
65
73
81
89
97
17
25
33
41
49
57
65
73
81
89
97
Valores de "t"
Ya sabemos, en cualquier caso, que a2 es un nmero positivo ya que slo de esta forma la ecuacin
puede tener soluciones imaginarias.
pg.17
Figura 1 (bis)
Figura 2 (bis)
Yt
1,00
Yt
1,50
0,50
1,00
0,00
0,50
0,00
-0,50
-0,50
-1,00
-1,00
-1,50
1
17 25 33 41 49 57 65 73 81 89 97
-1,50
Valores de "t"
17 25 33 41 49 57 65 73 81 89 97
Valores de "t"
(Ec. 52)
donde 1 y 2 son las races caractersticas. Dada esta forma general, est claro que la
convergencia (estacionariedad) de la ecuacin en diferencias (proceso autorregresivo)
pasa por que 1 y 2 sean menores que la unidad, pero: por qu decimos que 1 y 2
deben caer dentro de un crculo unitario y no simplemente que deben ser menores
que 1?.
La razn es que cuando 1 y 2 son enteras, bastara una recta para
representarlas, por lo que el crculo, es decir las dos dimensiones, seran innecesarias;
pero cuando 1 y 2 son imaginarias, necesitamos una representacin en dos ejes, uno
real y otro imaginario, para representar races imaginarias del tipo:
pg.18
1 =
a1 + i d
a i d
, 2 = 1
2
2
a
i d
2 = 1 ,
2
2
Eje imaginario
a
d
1 = 1 , + i
2
2
Crculo unitario
Eje real
r
r=
(a1 / 2 )2 + (i d 1 / 2 / 2 )2
< 1
a
d
2 = 1 , -i
2
2
Cuando las soluciones son reales, basta el eje horizontal (real) para
representarlas, cuando son imaginarias, deben caer dentro del crculo unitario ya que
de otra forma el radio r sera superior a 1 y la solucin no sera convergente.
pg.19
(Ec. 53)
0.5
(1 + 0.25)
(Ec. 54)
0.5
(1 + 0.25)
0.5
0.5
= 0.25 0.5( 0.25) t 1 +
+ 0.5
(1 + 0.25)
(1 + 0.25)
A fin de que la solucin sea replicable debe especificarse que se ha considerado y0=0
pg.20
ya que la segunda expresin entre parntesis del lado derecho de la ecuacin toma valor
cero.
Solucin particular con procesos de fuerza deterministas
Vamos a considerar primero el caso en el que el sistema NO contiene
componentes estocsticos. La forma de encontrar con rapidez la solucin particular es
asumir que yt se comporta de forma anloga a la parte no homognea de la ecuacin
original, parte no homognea que denominaremos g(t).
Caso 1. g(t) constante
El caso ilustrado anteriormente con el ejemplo numrico es una situacin
particular de un caso genrico del tipo:
y t = a 0 + a1 y t 1 + a t 2 y t 2 + ... + a p y t p
(Ec. 55)
a0
(1 a1 a t 2 ... a p )
(Ec. 56)
a0
=
= lim (A1 (1 ) t + A2 ( 2 ) t + + Ap ( p ) t ) +
t
(
1
...
a
)
1
t
2
p
a0
=
(1 a1 a t 2 ... a p )
pg.21
(Ec. 57)
(Ec. 58)
a 0 (a1 + 2a 2 + ... + pa p )
(1 a
a 2 ... a p )
b
=
(1 a1 a2 ... a p )
(Ec. 60)
(Ec. 61)
(Ec. 62)
pg.22
sustituyendo, como en los casos anteriores, esta expresin en la Ec.61 para calcular el
parmetro tenemos:
d t a1d t 1 a 2d t 2 .... a pd t p = bd t
de donde sacando factor comn:
d t (1 a1d 1 a 2 d 2 .... a p d p ) = bd t
o sea:
=
(1 a d
1
b
a 2 d 2 .... a p d p )
a1 + a12 + 4a 2
2
=1
2 =
a1 a12 + 4a 2
2
= 0.8
i =1
i =2
y th = Ai ( i ) t y th = A1 (1) t + Ai ( i ) t
(Ec. 63)
pg.23
y th = 3.44(1) t + 3.75(0.80) t
que es claramente convergente:
Yt
0
-0,5
-1
-1,5
-2
-2,5
-3
-3,5
-4
1
15 22 29 36 43 50 57 64 71 78 85 92 99
Valores de "t"
a0
(1 a1 a t 2 ... a p )
ya que el denominador de esta expresin sera nulo. Tampoco, y por la misma razn,
para el caso de una tendencia lineal determinista ser posible aplicar la forma propuesta
en Ec.60.
En ambos casos, la no-convergencia de la solucin particular genrica sugiere la
aparicin en esta solucin particular de una tendencia temporal. En el caso concreto ms
sencillo, con g(t) constante definido en Ec.55:
y t = a 0 + a1 y t 1 + a t 2 y t 2 + ... + a p y t p
puede comprobarse como la solucin particular no puede ser ahora:
y tp =
a0
(1 a1 a t 2 ... a p )
pg.24
y tp = c t
(Ec. 64)
a0
(a1 + 2a t 2 + ... + pa p )
15 22 29 36 43 50 57 64 71 78 85 92 99
Valores de "t"
pg.25
Yt
0,8
0,7
0,6
0,5
0,4
0,3
0,2
0,1
0
1 6 11 16 21 26 31 36 41 46 51 56 61 66 71 76 81 86 91 96
Valores de "t"
4.F.-
Se propone una solucin proyecto genrica; una funcin de carcter lineal que
contenga todos los trminos que se prev aparecern en la solucin real
multiplicados por una serie de parmetros desconocidos
pg.26
(Ec. 65)
y t = b0 + i t i
(Ec. 66)
i =0
El problema ser encontrar los valores de b0 y i que hacen vlida esta solucin
para todos los casos en la Ec.65. Debe notarse que no se ha incluido explcitamente el
tiempo en la solucin proyecto (Ec.66) dado que, del anterior apartado, hemos
aprendido que la presencia de una tendencia determinista en la solucin particular es
algo circunscrito al caso concreto de presencia de una raz unitaria.
Para encontrar los coeficientes especficos de la solucin particular sustituimos
Ec.66 en la ecuacin original:
b0 + 0 t + 1 t 1 + 2 t 2 + ... + .... = a 0 + a1 (b0 + 0 t 1 + 1 t 2 + 2 t 3 + ... + ...) + t
Esta ecuacin debe cumplirse para todo valor de t. Agrupando a uno lado los
coeficientes fijos y dependientes de los trminos t tenemos:
0 1 = 0
1 a1 0 = 0
(Ec. 67)
2 a11 = 0
..
..
pg.27
b0 a 0 a1b0 = 0 b0 =
a0
(1 a1 )
-------------------0 1 = 0 0 = 1
1 a1 0 = 0 1 a1 1 = 0 1 = a1
2 a11 = 0 2 a1 a1 = 0 2 = a12
...... i = a1i
Por lo que la solucin particular adoptar la forma:
y tp =
a0
+ a1i t i
(1 a1 ) i =0
(Ec. 68)
a0
+ a1i t i
(1 a1 ) i =0
(Ec. 69)
para obtener el valor de A, basta con contar con un valor inicial para y0 y sustituirlo en
esa expresin:
y0 = A +
a0
+ a1i i
(1 a1 ) i =0
A = y0
a0
+ a1i i
(1 a1 ) i =0
a0
+ a1i i
y t = ( a1 ) t y 0
(1 a1 ) i =0
a0
i
+
+
(1 a ) a1 t i
i =0
1
(Ec. 70)
Debe notarse cmo esta ecuacin no es una ecuacin valida en todo caso ya que,
si a1 fuese igual a la unidad, es decir, si estuvisemos ante una raz unitaria, la expresin
no sera calculable en el espacio finito. Este hecho sugiere que la solucin proyecto
formulada en la Ec.66 no es vlida cuando el proceso contiene una raz unitaria y debe
formularse una solucin alternativa. Tal y como vimos en los casos genricos de
solucin particular para procesos de fuerza deterministas, en presencia de una raz
unitaria convena introducir una tendencia temporal en la solucin particular; por tanto,
en estos casos, la solucin proyecto ser:
y t = b0 + b1t + i t i
i =0
(Ec. 71)
pg.28
y tp = y 0 + a 0 t + i
(Ec. 72)
i =0
y t = b0 + b1t + i t i
i =0
b0 + b1t + i t i
i =0
pg.29
+ ( 0 + 1) t + (1 + 03 0 0.2 ) t 1 + ( i + 0.3 i 1 ) t i = 0
i =2
por lo que, para que esta igualdad se cumpla para todo valor de t y t tenemos:
(b1 + 0.3b1 ) = 0
( 0 + 1) = 0
(1 + 0.3 0 0.2) = 0
( 2 + 0.31 ) = 0
( 3 + 0.3 2 ) = 0
..
..
de donde resulta:
(b1 + 0.3b1 ) = 0
b1 = 0
lo que es coherente con el hecho de que no estemos ante un proceso con una raz
unitaria (a11), y adems:
b0 =
0.5
= 0.38
(1 + 0.3)
( 0 + 1) = 0 0 = 1
(1 + 0.3 0 0.2 ) = 0 1 = 0.1
( 2 + 0.31 ) = 0 2 = 0.3 0.1
( 3 + 0.3 2 ) = 0 3 = (0.3)2 ( 0.1)
i 1
........ i = (0.3) ( 0.1)
i =1
i =1
pg.30
i 1
i 1
y t = 0.75 0.38 0 (0.3) ( 0.1) i ( 0.3) t + 0.38 + t + (0.3) ( 0.1) t i
i =1
i =1
i =1
i 1
REFERENCIAS BIBLIOGFRFICAS:
10
Enders, W. (1995). Applied Econometric Time Series. John Wiley & Sons, INC. New York
pg.31