FORMULACIN Y SOLUCIN DE ECUACIONES

LINEALES EN DIFERENCIAS CON COEFICIENTES

CONSTANTES EN EL CONTEXTO DEL
ANLISIS DE SERIES TEMPORALES (*)
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 (y
t
con tendencia determinista). Caso 3. g(t) exponencial (caso
especfico de y
t
con tendencia determinista no lineal)
4.E.- Aproximacin matemtica al concepto de raz unitaria
4.F.- Solucin particular con procesos de fuerza estocsticos
5.- UN EJEMPLO PRCTICO COMPLETO
Ecuaciones en diferencias para el anlisis de series temporales pg.1
FORMULACIN Y SOLUCIN DE ECUACIONES LINEALES EN
DIFERENCIAS CON COEFICIENTES CONSTANTES EN EL CONTEXTO
DEL ANLISIS DE SERIES TEMPORALES
Desde que a principios de los aos 70 se presentara la metodologa ARIMA
como una herramienta til para modelizar el comportamiento de algunas magnitudes
susceptibles de ser representadas como una serie temporal, el anlisis de series se ha
convertido en una referencia economtrica indispensable. Aunque el uso de los modelos
de series temporales nacidos a partir de entonces se ha visto en cierto modo eclipsado
durante muchos aos por enfoque estructural, poco a poco se han ido abriendo espacios
de aplicacin, oportunidades de desarrollo de estas tcnicas a la sombra, muchas veces,
de la falta de adecuacin perfecta de los modelos clasicos
1
. El campo original
aportado por Box y Jenkins fue creciendo con la incorporacin del concepto de
estacionariedad, las preocupacin por la modelizacin de series estacionarias y el
planteamiento de lo que vino a llamarse modelos de correccin de error.
En las ltimas dos dcadas, la idea de la cointegracin no ha venido ms que a
confirmar las posibilidades del anlisis de series temporales aportando una herramienta
muy valiosa de modelizacin del equilibrio a largo plazo entre variables. Este nuevo
2

camino ha posibilitado un resurgimiento claro de esta otra forma de anlisis y, hoy en

da, debe formar parte esencial de cualquier econmetra.
A la hora de abordar cualquier aspecto relacionado con la cointegracin y, en
general, con el estudio de series temporales, nos encontramos con mltiples referencias
matemticas al tema de las ecuaciones en diferencias ya que el aspecto fundamental de
esta disciplina es, obviamente, la consideracin del tiempo. Si no se dispone de una
base adecuada de conocimiento de esta materia, la comprensin de determinadas
propiedades, desarrollos y conceptos resulta ms compleja. En realidad, el anlisis de
series temporales supone la estimacin de ecuaciones en diferencias que contienen
componentes estocsticos.
En general cuando se emprende al principio el estudio de una nueva herramienta,
la tentacin empuja a no empezar por el principio obviando, si es posible, el abundante
aparato matemtico que requiere la aplicacin de la misma. En el caso del anlisis de
series temporales, esto no es posible, dado que el desarrollo matemtico ha sido
importante desde un principio y en cualquier texto las referencias matemticas que se
suponen conocidas por el lector son constantes.
En este documento se pretende exponer de forma sencilla pero matemticamente
completa el cuerpo terico que rodea la formulacin y resolucin de ecuaciones en
diferencias.

1
Es evidente la evolucin combinada del anlisis de series temporales y la econometra estructural en
formas como las funciones de transferencia, los modelos VARMA o los modelos de la London School of
Economics.
2
Novedoso ms que nuevo, dado que su introduccin por parte de Granger y Newbold se produjo en
1981.
Ecuaciones en diferencias para el anlisis de series temporales pg.2
1.- DEFINICIONES PRINCIPALES
Una ecuacin ordinaria en diferencias es una ecuacin que contiene una o ms
diferencias de una funcin desconocida cuyo argumento es el tiempo:
) ..... , , , (
3 2
t
n
t t t t
y y y y y f
donde representa el operador retardo. Si el argumento no es nicamente el tiempo la
ecuacin pierde el calificativo de ordinaria y pasa a denominarse ecuacin en
diferencias finitas parciales.
En el contexto del anlisis de series temporales, una ecuacin de y
t
en
diferencias es aquella en la que y
t
depender de sus valores retardados, del tiempo y
de otras variables. Lo fundamental, en nuestro caso, ser la aparicin de los propios
valores retardados de la variable y
t
. Un paseo aleatorio sin deriva del tipo:
1 1 + +
+
t t t
y y (Ec. 1)
es una ecuacin en diferencias con un componente estocstico (
t
).
En el contexto del anlisis de series temporales, interesa principalmente lo que
se denomina Ecuacin en diferencias lineal de orden n con coeficientes
constantes. La expresin genrica de esta ecuacin es:

+ +
n
i
t i t i t
x y a a y
1
0
(Ec. 2)
donde los coeficientes a
i
se suponen constantes (parmetros) y los n trminos y
t-i
son
de orden uno (ecuacin lineal). El trmino x
t
se denomina proceso de fuerza
3
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 a
o
=0, a
1
=1 y x
t
=
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.

3
Traduccin aproximada del trmino anglosajn forcing process.
Ecuaciones en diferencias para el anlisis de series temporales pg.3
2.- SOLUCIN DE ECUACIONES EN DIFERENCIAS: Conceptos previos
Igual que el resto de ecuaciones matemticas, las llamadas ecuaciones en
diferencias admiten una solucin para la variable incgnita, en nuestro caso y
t
. La
solucin de una ecuacin en diferencias ser generalmente otra funcin, no un nico
valor.
La funcin solucin expresar y
t
en funcin de t y de los elementos del
proceso de fuerza (e incluso excepcionalmente de algunos valores iniciales de y
t
denominados condiciones iniciales). Esta solucin, lo ser si transforma la ecuacin en
diferencias en una identidad para cualquier valor del proceso de fuerza x
t
y cualquier
valor de t. Por ejemplo, para la ecuacin simple en diferencias:
1
2

+
t t
y y (Ec. 3)
la funcin c t y
t
+ 2 , donde c es un trmino constante cualquiera, es una solucin:
sustituyendo y
t
e y
t-1
se comprueba enseguida la igualdad:
c t c t c t c t y y
t t
+ + + + + +

2 2 ) 1 ( 2 2 2 2
1
(Ec. 4)
No se deben confundir soluciones de una ecuacin con formas reducidas de la
misma. La solucin de una ecuacin en diferencias no puede incluir retardos de la
propia incgnita salvo en el caso antes comentado de que sea necesario considerar
condiciones iniciales de partida para y
t
.
Es interesante advertir el significado de la solucin de una ecuacin. Partiendo
de una ecuacin en la que postulamos que y
t
puede expresarse en funcin de valores
pasados propios y
t-1
, y
t-2
...etc., la solucin de esta ecuacin en diferencias nos informa
de cmo se forman los valores de y
t
por el paso del tiempo, es decir de la variable t
y del resto de trminos de la ecuacin en diferencias (por ejemplo, en el paseo aleatorio,
por el componente
t
).
Ejemplo:
Partiendo de la ecuacin en diferencias
2 1
35 . 0 2 . 0

+
t t t
y y y (Ec. 5)
su solucin permite observar el patrn de formacin temporal de los valores de y
t
.
Efectivamente, sin entrar por ahora en su clculo, la solucin a esta ecuacin
podra ser
4
:
t t
t
y ) 5 . 0 ( 17 . 0 ) 7 . 0 ( 83 . 0 +

4
Decimos podra porque los coeficientes de la solucin dependen de los valores iniciales dados a y
0
e
y
1
que en este caso fueron y
0
=1 e y
1
=0.5.
Ecuaciones en diferencias para el anlisis de series temporales pg.4
Esta solucin permite observar el patrn de formacin temporal de los valores
de y
t
en el siguiente grfico:
0,00
0,20
0,40
0,60
0,80
1,00
1,20
1 4 7 10 13 16 19 22 25 28 31 34 37 40 43 46 49
Tiempo "t"
Valores yt
3.- SOLUCIN DE UNA ECUACIN EN DIFERENCIAS POR ITERACIN
Aunque no ser el mtodo propuesto en este documento para obtener la solucin
de una ecuacin en diferencias, existe una primera forma de obtener la solucin de una
ecuacin en diferencias que se conoce como solucin por iteracin.
Supuesto un valor inicial (y
0
) conocido
Si partimos de la expresin de la ecuacin en diferencias:
t t t
y y + +
1
5 . 0 2 (Ec. 6)
y suponemos conocido el valor inicial y
0
podemos escribir:
1 0 1
5 . 0 2 + + y y (Ec. 7)
por tanto, si a partir de la igualdad para y
2,
y sustituimos sucesivamente hacia delante,
tenemos:
2 1 0
2
2 1 0 2 1 2
5 . 0 5 . 0 ) 5 . 0 1 ( 2 ) 5 . 0 2 ( 5 . 0 2 5 . 0 2 + + + + + + + + + + y y y y
y para y
3
de forma similar:
3 2 1
2
0
3 2
3 2 3
5 . 0 5 . 0 5 . 0 ) 5 . 0 5 . 0 1 ( 2 5 . 0 2 + + + + + + + + y y y
por lo que, observando la regla de formacin hacia delante podramos concluir que:

+ +
1
0
1
0
0
5 . 0 5 . 0 5 . 0 2
t
i
i t
i
t
i
t i
t
y y (Ec. 8)
que es efectivamente una solucin para la ecuacin planteada ya que expresa y
t
en
funcin de t, el proceso de fuerza y un valor conocido y
0
.
Ecuaciones en diferencias para el anlisis de series temporales pg.5
Supuesto que no se conoce un valor inicial (y
0
)
Si no se conoce ningn valor inicial para y
0,
el mtodo no nos es de utilidad. La
forma de solucionarlo es, a partir de la Ec. (7), realizar una nueva sustitucin sucesiva,
en este caso, hacia atrs (para t=-1, t=-2...etc.). En ese caso, la expresin (7) adopta la
forma:

+ + + + + +
t
i
t
i t
i
t
i
i
t
i
i t
i
t
i
t i
t
y y y
0
1
1
0
1
0
1
0
0 1
5 . 0 5 . 0 5 . 0 2 5 . 0 ) 5 . 0 2 ( 5 . 0 5 . 0 2
y despus de m perodos:

+

+ +

+ +
m t
i
m
m t
i t
i
m t
i
i
t
y y
0
1
1
0
5 . 0 5 . 0 5 . 0 2 (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:

0
5 . 0
) 5 . 0 1 (
2
i
i t
i
t
y (Ec. 10)
aunque la realidad es que tambin ser una solucin cualquier transformacin del tipo:

+
0
5 . 0
) 5 . 0 1 (
2
5 . 0
i
i t
i t
t
A y (Ec. 11)
donde A es una constante arbitraria.
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 y
0
. Si la ecuacin fuera de
segundo orden, deberemos conocer dos valores iniciales de y
t
en un caso, o dos
constantes arbitrarias A
1
y A
2
en el otro caso.

5
Basta con recordar la expresin de los n trminos de una progresin geomtrica de razn r y
primer trmino a
0:
) 1 (
) 1 (
0
r
r a
S
n

Ecuaciones en diferencias para el anlisis de series temporales pg.6

4.- SOLUCIN HOMOGENEA Y PARTICULAR
Planteamiento
El procedimiento general de resolucin de ecuaciones en diferencias parte de
descomposicin de la solucin completa (y
t
) en dos partes claramente diferenciadas: la
solucin homognea (y
t
h
) y la solucin particular (y
t
p
).
p
t
h
t t
y y y + (Ec. 12)
La solucin homognea resolver slo la ecuacin homognea que puede
identificarse en toda ecuacin general en diferencias. Este sistema homogneo
considerar nicamente los valores de y
t
con sus retardos (y
t-1
, y
t-2
...etc.). Por ejemplo,
en la ecuacin:
t t t t
y y y + +
2 1
3 5 . 0 2
el sistema homogneo ser:
0 3 5 . 0
2 1
+
t t t
y y y
Como todo sistema homogneo, ste admitir, como veremos ms adelante, la
solucin trivial y
t
= y
t-1
= y
t-2
=0 o bien una serie de infinitas soluciones a partir de dos
constantes arbitrarias A
1
y A
2
.
La solucin particular atender a la porcin de la ecuacin no considerada en el
sistema homogneo, en nuestro ejemplo, la parte formada por el trmino independiente
y la perturbacin aleatoria
t
. El procedimiento total de resolucin comprender pues
las siguientes etapas:
1. Identificar la ecuacin homognea y encontrar las n soluciones homogneas
posibles a la misma, es decir, encontrar la llamada solucin general homognea.
2. Encontrar una solucin particular.
3. Formar la solucin completa como suma de la homognea y particular.
4. Eliminar las constantes arbitrarias imponiendo una serie de condiciones
iniciales.
4.A.- Obtencin de la solucin homognea: ecuacin y races caractersticas
Sin prdida de generalidad vamos a proponer una sencilla transformacin que
permite obtener la llamada solucin general para el sistema homogneo de cualquier
ecuacin en diferencias ordinaria, lineal, de diferencias finitas y de coeficientes
constantes.
Supongamos el caso ms sencillo de todos, una ecuacin genrica de primer
orden del tipo:
{ }
t t t
x y a a y + +
1 1 0
(Ec. 13)
Ecuaciones en diferencias para el anlisis de series temporales pg.7
cuyo sistema homogneo ser:
0
1 1

t t
y a y (Ec. 14)
Si realizamos ahora la transformacin y
t
=
t
, la ecuacin queda:
0
1
1

t t
a (Ec. 15)
expresin que, dividiendo a ambos lados por el factor comn
t-1
, podramos
transformar en:
0 ) (
1
a
Esta ecuacin se denomina ecuacin caracterstica y a sus soluciones races
caractersticas. La solucin (raz caracterstica) de esta ecuacin ser =a
1
que
efectivamente es una solucin para . Dado el cambio de variable:
t
t
t
t
a y y
1

tambin para la ecuacin inicial se cumple la identidad correspondiente:
0 0 0
1
1 1 1

t t
a a a
En seguida puede observarse como, adems, dada la solucin anterior, la
expresin A(a
1
)
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:
t h
t
a A y
1
(Ec. 16)
Resulta fcil observar cmo segn la forma genrica de la solucin homognea,
la secuencia representada por los valores de y
t
slo ser convergente cuando |a
1
| 1.
Concretamente, para A=1 la representacin grfica de los tres patrones temporales de
evolucin de y
t
sern:
1
1
a
Evolucin constante hacia
A
1 0
1
< < a
Convergencia directa a 0
0 1
1
< < a
Convergencia
oscilante a 0
0
0,2
0,4
0,6
0,8
1
1,2
1 5 9 13 17 21 25 29 33 37 41 45 49
Valores de "t"
Yt
0
0,1
0,2
0,3
0,4
0,5
0,6
1 5 9 13 17 21 25 29 33 37 41 45 49
Valores de "t"
Yt
-0,6
-0,5
-0,4
-0,3
-0,2
-0,1
0
0,1
0,2
0,3
1 5 9 13 17 21 25 29 33 37 41 45 49
Valores de "t"
Yt
Ecuaciones en diferencias para el anlisis de series temporales pg.8
Ecuaciones de segundo grado
Examinemos ahora un caso ms general, una ecuacin en diferencias de segundo
orden con un proceso de fuerza genrico x
t
:
{ }
t t t t
x y a y a a y + + +
2 2 1 1 0
(Ec. 17)
El sistema homogneo ser entonces:
0
2 2 1 1

t t t
y a y a y (Ec. 18)
y, realizando el mismo cambio que en el caso de la ecuacin de primer orden,
obtenemos la correspondiente ecuacin caracterstica, en este caso de segundo grado:
0
2 1
2
a a (Ec. 19)
Las races caractersticas sern por tanto las que corresponden a cualquier
solucin de una ecuacin cuadrtica, es decir:
2
4
2
4
2
2
1 1
2
2
2
1 1
1
a a a
a a a
+

+ +

(Ec. 20)
Cualquiera de las dos races permite obtener una solucin para y
t
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 y
t
.
t
t t
t
A Solucin
A A n combinaci Solucin
A Solucin
) ( 2
) ( ) (
) ( 1
2 2 2
2 2 1 1
1 1 1




+

La demostracin es sencilla:
[ ] [ ]
0 0 0
) ( ) ( ) ( ) ( ) ( ) (
) ) ( ) ( ( ) ) ( ) ( ( ) ( ) (
2
2 2 2
1
2 2 1 2 2
2
1 1 2
1
1 1 1 1 1
2
2 2
2
1 1 2
1
2 2
1
1 1 1 2 2 1 1
2 2 1 1
+
+
+ + +




t t t t t t
t t t t t t
t t t
A a A a A A a A a A
A A a A A a A A
y a y a y


El procedimiento puede generalizarse sin problemas especiales para sistemas de
un orden superior p variando exclusivamente la expresin de las p races
caractersticas que definirn la solucin de la ecuacin. La solucin general homognea
ser, por combinacin lineal de las p soluciones individuales de la forma:
Ecuaciones en diferencias para el anlisis de series temporales pg.9

p
i
t
i i
h
t
A y
1
) ( (Ec. 21)
Es obvio que las p constantes arbitrarias A
i
que se introducen en la solucin
pueden eliminarse de la expresin generando un sistema de p ecuaciones con p
incgnitas utilizando los p valores iniciales conocidos para y
t
, por ejemplo, para p=2:
1
2 2
1
1 1 1
0
2 2
0
1 1 0
) ( ) (
) ( ) (


A A y
A A y
+
+
(Ec. 22)
4.B.- Obtencin de la solucin homognea a partir del polinomio de retardos
Una forma sencilla alternativa de obtener la solucin al sistema homogneo de
una ecuacin en diferencias es operar con el polinomio de retardos. Partiendo de la
expresin inicial:
0
2 2 1 1

t t t
y a y a y (Ec. 23)
podemos escribir:
0 ) 1 (
2
2 1
L a L a y
t
(Ec. 24)
es evidente entonces que las soluciones de la ecuacin se corresponden con las races
del polinomio de retardos entre parntesis, o sea:
2
2
2
1 1
2
2
2
2
1 1
1
2
4
2
4
a
a a a
L
a
a a a
L

+

+ +

(Ec. 25)
Estas races permiten resolver la ecuacin en diferencias y puede comprobarse
que cada una de ellas se corresponde con la recproca de cada una de las races
caractersticas
1
y
2
. Efectivamente, si L
i
es una raz del polinomio de retardos, se
cumplir que:
0 1
2
2 1

i i
L a L a (Ec. 26)
y resulta fcil comprobar que L
i
=1/
i
observando como se cumple la ecuacin
caracterstica:
0
2 1
2
+ a a
i
(Ec. 27)
ya que:
Ecuaciones en diferencias para el anlisis de series temporales pg.10
0
0 1 1 1
2 2
2
2 1
3
3
2
2
1
2 1
2

,
_

,
_

i i
i i
i
i i i
i i
L L
L a L a
L
L a L a L
a
L
a
L
4.C.- Condiciones de estabilidad de la solucin homognea de una ecuacin de
segundo grado
Dada la expresin genrica de la solucin homognea general de una ecuacin
en diferencias, es obvio que el proceso y
t
no ser convergente (estacionario) para
cualquier valor de
1
y
2
o, dicho de otra forma, para cualquier valor de a
1
y a
2
. En
principio, vamos a partir de dos situaciones bsicas segn la naturaleza real o imaginaria
de las races caractersticas de la ecuacin, distinguiendo tres casos principales.
Caso 1. Races reales y distintas
Las races caractersticas de una determinada ecuacin sern reales y distintas
siempre y cuando el discriminante de la expresin:
2
4
2
2
1 1
1
a a a + t
(Ec. 28)
sea positivo y distinto de cero; dicho de otra forma, cuando:
0 4
2
2
1
> + a a (Ec. 29)
En este caso, la solucin general ser la propuesta en el desarrollo genrico:
t t
t
A A y ) ( ) (
2 2 1 1
+ (Ec. 30)
Obviamente, la secuencia y
t
slo ser convergente (estacionaria) si
1
y
2
son
menores o iguales a la unidad, independientemente del valor de las constantes
arbitrarias. Si utilizamos las races del polinomio de retardos de la ecuacin en
diferencias, entonces la condicin de estabilidad implicar que stas sean superiores a la
unidad dado que
i
=1/L
i
.
Realizando sencillas transformaciones algebraicas podemos implicar en las
condiciones de estabilidad tambin a los coeficientes a
1
y a
2
de la ecuacin original.
Para la raz
i
mayor tenemos:
1
2
1 2
2
1 1
2 1
2
2
1
2 1
2
2
1 1
4 4 4 2 ) 4 ( 2 ) 4 ( a a a a a a a a a a + < + < + < + +
es decir, 1
2 1
< + a a (Ec. 31)
y para la raz ms pequea, del mismo modo, obtendramos, 1
1 2
< a a (Ec. 32)
Dentro del amplio conjunto de soluciones convergentes representadas por pares
(a
1
, a
2
), el patrn de convergencia puede ser muy diferente tal y como se muestra a
continuacin.
Ecuaciones en diferencias para el anlisis de series temporales pg.11
Figura 1
-2,00
-1,00
0,00
1,00
2,00
3,00
4,00
5,00
6,00
7,00
1 4 7 10 13 16 19 22 25 28 31 34 37 40 43 46 49
Valores de "t"
Yt
Figura 3
-6,00
-4,00
-2,00
0,00
2,00
4,00
6,00
8,00
1 4 7 10 13 16 19 22 25 28 31 34 37 40 43 46 49
Valores de "t"
Yt
Figura 2
-6,00
-4,00
-2,00
0,00
2,00
4,00
6,00
8,00
1 4 7 10 13 16 19 22 25 28 31 34 37 40 43 46 49
Valores de "t"
Yt
Figura 4
-2,00
-1,00
0,00
1,00
2,00
3,00
4,00
5,00
6,00
7,00
1 4 7 10 13 16 19 22 25 28 31 34 37 40 43 46 49
Valores de "t"
Yt
Las cuatro figuras anteriores se corresponden con cuatro distintas ecuaciones de
segundo orden resueltas para los mismos valores y
0
e y
1
iniciales pero con distintos
parmetros a
1
y a
2
.
6
Puede observarse como, por ejemplo, dada la forma de la solucin
general, la presencia de races caractersticas negativas supone un comportamiento
oscilatorio ms o menos amortiguado mientras que en el caso de races positivas la
convergencia es directa (salvando el valor negativo de los valores iniciales)
Caso 2. Races reales e idnticas
Dada la expresin de las races caractersticas, si el discriminante de la
expresin:
2
4
2
2
1 1
a a a
i
+ t
(Ec. 33)
es nulo, las dos races sern reales pero idnticas:
2
1
2 1
a
(Ec. 34)
En estas circunstancias, puede comprobarse fcilmente que una segunda
solucin para la ecuacin en diferencias toma la forma:

6
La figura 1 ha sido generada con (a
1
=0.5;a
2
=0.45), la segunda con (a
1
=-0.5;a
2
=0.45), la tercera con
(a
1
=-0.8;a
2
=-0.01) y la ltima con (a
1
=0.5;a
2
=-0.01). Las constantes arbitrarias A
1
y A
2
han sido
generadas en todos los casos partiendo de los valores iniciales y
0
=-1 e y
1
=6.
Ecuaciones en diferencias para el anlisis de series temporales pg.12
t
h
t
a
t y

,
_

2
1
(Ec. 35)
Para demostrarlo basta con sustituirla en la ecuacin en diferencias y comprobar
la igualdad:
( ) ( )( ) ( )( )
( ) ( )( ) ( )
( ) [ ] ( ) [ ] 0 2 2 4
2 2 1 2
0 2 2 2 1 2
0
2
1
2 2
1
2
2
1
1 1
2
1
2
1 2
1
1 1 1
2 2 1 1
+ + +

+



a a t a a
t a a t a a t
a t a a t a a t
y a y a y
t t t
t t t
teniendo en cuenta que en la ltima igualdad las expresiones entre corchetes se anulan
dado que partimos de la condicin a
2
1
+4a
2
=0.
Por tanto, la solucin homognea general que puede considerarse ahora ser una
combinacin lineal de ambas soluciones de la forma:
( ) ( )
t t h
t
a t A a A y 2 2
1 2 1 1
+ (Ec. 36)
donde de nuevo A
1
y A
2
son constantes arbitrarias que pueden eliminarse considerando
dos valores iniciales y
0
e y
1
.
Dada la expresin anterior, en este caso, las condiciones de estabilidad de la
ecuacin requieren una vez ms que la raz caracterstica nica
1
sea menor que la
unidad. El trmino t(a
1
/2)
t
no supone problemas de convergencia para t infinito en la
medida en que efectivamente:
0 ) 2 (
1


t
t
a t lim
Esta condicin para
i
viene a significar obviamente que el coeficiente a
1
de la
ecuacin deber ser menor que 2 en valor absoluto:
2 | | 1 2
1 1
< < a a
Al mismo tiempo, la condicin de estabilidad para a
1
fuerza necesariamente el
valor de estabilidad de a
2
dado que el discriminante de la ecuacin caracterstica debe
ser nulo; de esta forma, el parmetro a
2
deber comprenderse necesariamente entre 0 y -
1
0 1 - 2 | |
2
0 4
1
2
2
1
< < <
+
a a
a a
La forma de la solucin homognea, y en especial su segundo trmino,
determina para este tipo de procesos un aspecto muy particular de su patrn de
convergencia. Cuando a
1
es positivo (y menor que 2) el proceso converge a cero tras un
momento inicial de aspecto explosivo (figura 1 inferior) mientras que cuando a
1
es
Ecuaciones en diferencias para el anlisis de series temporales 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
-3,75
-2,75
-1,75
-0,75
0,25
1,25
2,25
3,25
1 8 15 22 29 36 43 50 57 64 71 78 85 92 99
Valores de "t"
Yt
Figura 2
-3,75
-2,75
-1,75
-0,75
0,25
1,25
2,25
3,25
1 9 17 25 33 41 49 57 65 73 81 89 97
Valores de "t"
Yt
Caso 3. Races imaginarias
Cuando el discriminante de la expresin de clculo de las races caractersticas
es negativo, no pueden obtenerse soluciones reales para la ecuacin analizada. Esto slo
puede ocurrir si a
2
es positivo en la ecuacin original ya que en la expresin de este
discriminante el trmino a
1
aparece elevado al cuadrado. Las dos races conjugadas
tendran la expresin:
2
,
2
1
2
1
1
d i a d i a

+
(Ec. 37)
O bien, si hacemos los cambios:
2 / ) 4 (
2 /
2
2
1
1
a a
a
+

la expresin ms habitual:
i t
2 1
, (Ec. 38)
donde 1 i .
La solucin homognea general toma entonces la forma habitual:
t t h
t
i A i A y ) ( ) (
2 1
+ + (Ec. 39)
donde A
1
y A
2
son las constantes arbitrarias habituales que ahora sern nmeros
complejos conjugados que pueden determinarse partiendo de condiciones iniciales y
0
e
y
1
. 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 y
0
para t=0 e y
1
para t=1
puede plantearse el sistema:
Ecuaciones en diferencias para el anlisis de series temporales pg.14
) ( ) (
2 1 1
2 1 0
i A i A y
A A y
+ +
+
(Ec. 40)
Dado que A
1
y A
2
son nmero complejos
7
podemos expresarlos como:
i C B A
i C B A

+
2
1
2
1
2
1
2
1
2
1
donde el factor se ha incluido slo por conveniencia. Sustituyendo estos valores en la
Ec.40 y resolviendo para B y C tenemos:
/ ) (
1 0
0
y y C
y B

(Ec. 41)
Puede observarse adems como:
i C A A
B A A

+
2 1
2 1
(Ec. 42)
Alternativamente y recordando el teorema de Moivre podemos escribir la
solucin homognea general reflejada en la Ec.39 de la forma:
) sen( t w Ar y
t h
t
(Ec. 43)
donde A y se obtendrn a partir de dos constantes arbitrarias B y C (como A
1
y A
2
en
el caso general), el parmetro r es lo que se denomina mdulo o valor absoluto del
nmero complejo, y w est elegida de forma que satisfaga simultneamente la
expresin:
2 1
2
1
) ( 2
) cos(
a
a
w

(Ec. 44)
Sin entrar en el desarrollo completo, esta transformacin parte de la expresin de
las races caractersticas en forma polar. Para ello deben realizarse las siguiente
transformaciones:
w r
w r
sen
cos

(Ec. 45)
donde obviamente:

7
Dado que las dos races caractersticas son complejas y, sin embargo y
h
es real, es matemticamente
necesario que A
1
y A
2
sean nmeros complejos.
Ecuaciones en diferencias para el anlisis de series temporales pg.15
2 2 2
r +
y por tanto r=(-a
1
)
1/2
.
Si las transformaciones de la Ec.45 se sustituyen en la Ec.39 la solucin
homognea general puede expresarse como:
t t t t
t t
t
w i w r A w i w r A
w ir w r A w ir w r A y
) sen (cos ) sen (cos
) sen cos ( ) sen cos (
2 1
2 1
+ +
+ +
(Ec. 46)
Con lo que aplicando el teorema de Moivre a la anterior expresin tenemos:
[ ]
( ) ( ) [ ] t w i A A t w A A r
t w i t w A t w i t w A r y
t
t
t
+ +
+ +
sen cos
) sen (cos ) sen (cos
2 1 2 1
2 1
(Ec. 47)
con lo que, dadas las igualdades de la Ec.42 tenemos:
[ ] wt C wt B r y
t
t
sen cos (Ec. 48)
Esta expresin es la expuesta inicialmente en la Ec. 43 ya que partiendo de la
transformacin:
sen C cos A A B (Ec. 49)
tenemos que:
[ ] wt wt c Ar y
t
t
sen sen cos os (Ec. 50)
que mediante una sencilla transformacin trigonomtrica queda finalmente:
) sen( t w Ar y
t h
t
(Ec. 51)
Esta expresin de la solucin homognea es relativamente compleja de obtener
pero permite establecer con mayor sencillez los patrones de evolucin temporal del
proceso y
t
ya que la anterior expresin es una funcin trigonomtrica fcilmente
representable.
- Debe notarse como el parmetro r define la amplitud de la representacin Ar
t
,
una amplitud variable, lgicamente, ya que depende del parmetro t. Para que la
secuencia representada por y
t
sea convergente, ser necesario que r sea menor que
uno en valor absoluto. Debe observarse que la expresin de este parmetro r es:
Ecuaciones en diferencias para el anlisis de series temporales pg.16
2
1
2
) ( a r
por lo que la condicin de estacionariedad obliga a que a
2
sea menor que la unidad
en valor absoluto
8
.
- El parmetro w representa lo que se denomina frecuencia angular y define el
nmero de ciclos por unidad de tiempo, es decir, la inversa del perodo. La
frecuencia se mide en radianes e indica el nmero de ciclos que hay por unidad de
tiempo.
- El parmetro representa lo que se denomina fase, que viene a indicar la situacin
del ciclo en cada momento del tiempo. Define de forma especial la ordenada en el
origen (t=0).
El patrn de convergencia de este tipo de soluciones viene determinado por los
valores de los parmetros a
1
y a
2
de la ecuacin original en la medida en que estos
determinan la amplitud, frecuencia angular y fase de la representacin trigonomtrica.
El valor del parmetro a
2
es, obviamente, el ms determinante ya que condiciona
de forma directa la amplitud de la curva (r) y de forma indirecta su frecuencia angular
(w). A mayor valor del parmetro dentro de los lmites de convergencia mayor es la
amplitud de la curva y su frecuencia angular. En las figuras que se muestran a
continuacin aparecen dos ecuaciones con el mismo parmetro a
1
y distinto a
2
inicializadas para los mismos parmetros A=1.5 y fase()=2.

8
Ya sabemos, en cualquier caso, que a
2
es un nmero positivo ya que slo de esta forma la ecuacin
puede tener soluciones imaginarias.
Figura 1
-0,80
-0,60
-0,40
-0,20
0,00
0,20
0,40
0,60
0,80
1,00
1,20
1,40
1 9 17 25 33 41 49 57 65 73 81 89 97
Valores de "t"
Yt
Figura 2
-1,50
-1,00
-0,50
0,00
0,50
1,00
1,50
1 9 17 25 33 41 49 57 65 73 81 89 97
Valores de "t"
Yt
En la figura 1, el parmetro a
2
es igual a 0.77 y en la figura 2 toma el valor 0.93.
Resulta sencillo comprobar en la segunda figura tanto la mayor amplitud como
frecuencia angular as como la menor velocidad de convergencia al valor cero.
El parmetro a
1
tambin interviene en la forma de la secuencia de convergencia
de este tipo de ecuaciones en diferencias. En este caso, a
2
interviene de forma indirecta
en la determinacin de la frecuencia angular. Cuando el valor de a
1
es positivo, la
Ecuaciones en diferencias para el anlisis de series temporales pg.17
frecuencia angular w presenta un coseno negativo lo que determina un trnsito brusco
entre valores positivos y negativos.
Esta caracterstica se observa fcilmente en el grfico de la solucin, que pierde
su aspecto ondulante y toma forma de dientes de sierra; las figuras que se muestran
a continuacin son idnticas a las anteriores salvo por el valor del parmetro a
1
que es
ahora positivo e igual a 1.6:
Figura 1 (bis)
-1,50
-1,00
-0,50
0,00
0,50
1,00
1 9 17 25 33 41 49 57 65 73 81 89 97
Valores de "t"
Yt
Figura 2 (bis)
-1,50
-1,00
-0,50
0,00
0,50
1,00
1,50
1 9 17 25 33 41 49 57 65 73 81 89 97
Valores de "t"
Yt
4.E.- El celebre crculo unitario
Casi de forma automtica, cualquier texto introductorio al anlisis de las series
temporales nos presenta las condiciones de convergencia (estacionariedad) de los
procesos autorregresivos con la siguiente frase:
Un proceso autorregresivo ser estacionario (convergente) si sus races caen dentro
del crculo unitario o si las races de su polinomio de retardos caen fuera del mismo
Esta frase puede resultar, sin duda, incomprensible si no se han revisado los
conceptos que se han expuesto hasta este momento en el presente texto. Una vez que se
tiene claro el concepto de raz caracterstica y su papel en la determinacin de la
solucin homognea de una ecuacin en diferencias, resulta inmediato comprender esta
condicin. Efectivamente, la solucin homognea tiene la forma general:
t t h
t
A A y ) ( ) (
2 2 1 1
+ (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:
Ecuaciones en diferencias para el anlisis de series temporales pg.18
2
,
2
1
2
1
1
d i a d i a

+

No obstante, cuando este es el caso, la pregunta sigue siendo: por qu un
circulo y por qu unitario?. Si usamos la doble representacin real/imaginaria,
cada una de las races caractersticas vendr representada por una coordenada del tipo:

,
_

,
_

+
2
,
2
2
,
2
1
2
1
1
d i a
d i a

es decir, una ser la conjugada de la otra. La condicin de convergencia en el caso de

races imaginarias obligaba a que el parmetro r de amplitud fuera menor que la
unidad, un parmetro que poda expresarse como:
2
1
2
) ( a r
Pero resulta, y aqu est la clave, que este parmetro r es precisamente la
distancia que separar las soluciones
1
y
2
del origen del plano real/imaginario sean
cuales sean estas, luego necesariamente el par de soluciones (
1
,
2
) deber estar dentro
de un crculo unitario como en el que se muestra en la ilustracin presentada a
continuacin.
r
r

,
_

+
2
,
2
1
1
d
i
a

,
_

2
,
2
1
2
d
-i
a

( ) ( ) 1 2 / 2 /
2
2 / 1 2
1
< + d i a r
Eje imaginario
Crculo unitario
Eje real
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.
Ecuaciones en diferencias para el anlisis de series temporales pg.19
4.D.- Obtencin de la solucin particular
Obviamente, la solucin homognea no resuelve ms que el sistema homogneo
de la ecuacin en diferencias. Para obtener la solucin completa ser necesario
incorporar en la solucin general, junto a la solucin homognea, la denominada
solucin particular, tal y como plantebamos en la Ec.12.:
particular
t
ognea
t t
y y y +
hom
En el caso de la siguiente ecuacin en el que el trmino de fuerza es nulo,
tenemos no obstante un trmino constante e igual a 1/2:
5 . 0 25 . 0
1
+
t t
y y (Ec. 53)
la solucin homognea es de la forma
9
:
t t h
t
A y ) 25 . 0 ( 5 . 0 ) (
pero efectivamente puede comprobarse fcilmente que esta solucin no resuelve la
ecuacin completa Ec.53 debido precisamente a la aparicin del trmino constante
(0.5):
( ) 5 . 0 ) 25 . 0 ( 5 . 0 ) 25 . 0 ( 5 . 0 5 . 0 ) 25 . 0 ( 5 . 0 25 . 0 ) 25 . 0 ( 5 . 0
1
+ +
t t t t
La solucin completa requiere incorporar la solucin particular que, en este caso,
puede intuirse fcilmente que tendr la siguiente expresin constante:
) 25 . 0 1 (
5 . 0
+

p
t
y (Ec. 54)
Es sencillo calcular cmo ahora la solucin completa:
) 25 . 0 1 (
5 . 0
) 25 . 0 ( 5 . 0
+
+ +
t p
t
h
t t
y y y
si soluciona la ecuacin para y
t
:
( ) ( )

,
_

+
+

+

+

,
_

+
+
+
+

5 . 0
) 25 . 0 1 (
5 . 0
5 . 0
) 25 . 0 1 (
5 . 0
25 . 0 ) 25 . 0 ( 5 . 0 ) 25 . 0 ( 5 . 0
5 . 0
) 25 . 0 1 (
5 . 0
) 25 . 0 ( 5 . 0 25 . 0
) 25 . 0 1 (
5 . 0
) 25 . 0 ( 5 . 0
1
t t
t t

9
A fin de que la solucin sea replicable debe especificarse que se ha considerado y
0
=0
Ecuaciones en diferencias para el anlisis de series temporales 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 y
t
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:
p t p t t t t
y a y a y a a y

+ + + + ...
2 2 1 1 0
(Ec. 55)
en el que el proceso de fuerza es nulo pero aparece en la ecuacin original un trmino
constante. Si asumimos que y
t
se comportar como la parte no homognea g(t) estamos
asumiendo la constancia de y
t:
y y t g y
t t
) (
Si sustituimos y
t
=y en la ecuacin original Ec.55 obtenemos la solucin
particular que, en este caso, ser igual a una constante:
) ... 1 (
...
2 1
0
2 1 0
p t
p
t p t
a a a
a
y y a y a y a a y

+ + + +

(Ec. 56)
resultado que es coherente con el obtenido en el ejemplo numrico expuesto en el
apartado anterior (Ec.54).
Esta solucin representa precisamente el valor de convergencia de y
t
para
infinitas observaciones, siempre y cuando estemos hablando de un proceso y
t
estacionario y es por eso por lo que, a veces, se define la solucin particular como el
punto de equilibrio del proceso a largo plazo:
( )
( )
) ... 1 (
) ... 1 (
) ( ) ( ) (

2 1
0
2 1
0
2 2 1 1
p t
p t
t
p p
t t
t
p
t
h
t
t
t
t
a a a
a
a a a
a
A A A lim
y y lim y lim

,
_

+ + + +
+

Ecuaciones en diferencias para el anlisis de series temporales pg.21
Caso 2. g(t) funcin del tiempo (y
t
con tendencia determinista)
La ecuacin genrica sera ahora:
bt y a y a y a a y
p t p t t t
+ + + + +

...
2 2 1 1 0
(Ec. 57)
lo que equivale a introducir en el proceso estocstico una tendencia determinista. En
este caso, asumiendo de nuevo que y
t
se comporta como g(t) debemos considerar que y
t
ser tambin una funcin del tiempo:
t y t b a t g
t
+ + ) ( (Ec. 58)
Sustituyendo y
t
y g(t) en la ecuacin Ec.57 tenemos:
( ) ( ) ( ) ( ) ( ) ( ) t b a p t a t a t a t
p
+ + + + +
0 2 1
... 2 1 (Ec. 59)
con lo que reagrupando los trminos para los coeficientes comunes y tenemos:
( ) ( ) ( ) t b a t a a a pa a a a a a
p p p
+ + + + + +
0 2 1 2 1 2 1
... 1 ... 2 ... 1
e igualando trmino a trmino queda:
( ) ( )
( ) b a a a
a pa a a a a a
p
p p

+ + + +
... 1
... 2 ... 1
2 1
0 2 1 2 1

pudiendo calcular y , los parmetros genricos de la solucin particlar propuestos en
la Ec.57:
( )
( )
( )
p
p
p
a a a
b
a a a
pa a a a

+ + +

... 1
... 1
... 2
2 1
2 1
2 1 0

(Ec. 60)
Caso 3. g(t) exponencial (caso especfico de y
t
con tendencia determinista no lineal)
Un caso especial de tendencia no lineal es aquel en el que g(t) es funcin
exponencial del tiempo:
t
p t p t t t
bd y a y a y a y + + + +

...
2 2 1 1
(Ec. 61)
en este caso, el procedimiento sugiere que y
t
deber comportarse segn un patrn
exponencial similar:
t
t
d y (Ec. 62)
Ecuaciones en diferencias para el anlisis de series temporales pg.22
sustituyendo, como en los casos anteriores, esta expresin en la Ec.61 para calcular el
parmetro tenemos:
t p t
p
t t t
bd d a d a d a d

....
2
2
1
1
de donde sacando factor comn:
( )
t p
p
t
bd d a d a d a d

.... 1
2
2
1
1

o sea:
( )
p
p
d a d a d a
b

.... 1
2
2
1
1

4.E.- Aproximacin matemtica al concepto de raz unitaria

Con lo visto hasta aqu podemos realizar una interesante aproximacin
matemtica al concepto de raz unitaria. Es sabido que una serie temporal y
t
no
estacionaria en media puede transformarse en una serie estacionaria integrndose la
serie un determinado nmero d de veces; a esta serie se la denomina entonces serie
integrada de orden d. Cuando la serie es integrada de orden uno I(1), decimos que la
serie presenta una raz unitaria: Qu significa esto matemticamente?.
Cuando decimos que una serie tiene una raz unitaria debemos entender que lo
que estamos sealando es que una de las races caractersticas de la ecuacin
caracterstica definida por el sistema homogneo de esta ecuacin es igual a la unidad.
Por ejemplo, en la ecuacin:
2 . 1 75 . 0 25 . 0
2 1
+ + +
t t t
y y y
efectivamente una de las races del sistema homogneo:
0 75 . 0 25 . 0
2 1

t t t
y y y
es igual a la unidad:
8 . 0
2
4
1
2
4
2
2
1 1
2
2
2
1 1
1

+

+ +

a a a a a a

Sin embargo, dada la expresin genrica de la solucin homognea general
introducida en la Ec.21, no hay ninguna razn que explique la NO
ESTACIONARIEDAD (convergencia) del proceso y
t
ya que esta tomara la forma,
tambin convergente:


+
p
i
t
i i
t h
t
p
i
t
i i
h
t
A A y A y
2
1
1
) ( ) 1 ( ) ( (Ec. 63)
por ejemplo, para y
0
=1 e y
1
=-0.75, la solucin homognea sera:
Ecuaciones en diferencias para el anlisis de series temporales pg.23
t t h
t
y ) 80 . 0 ( 75 . 3 ) 1 ( 44 . 3 +
que es claramente convergente:
-4
-3,5
-3
-2,5
-2
-1,5
-1
-0,5
0
1 8 15 22 29 36 43 50 57 64 71 78 85 92 99
Valores de "t"
Yt
Dnde reside, por tanto, la razn de la No estacionariedad (no-convergencia)? :
la respuesta est en la solucin particular.
Efectivamente, la ecuacin presentada en el ejemplo de este apartado y todas
aquellas con una raz unitaria, presentan una particularidad aritmtica muy importante
que influye decisivamente en la forma de su solucin particular: la suma de los
coeficientes autorregresivos es igual a la unidad:
1 .....
2 1
+ + +
p
a a a
Esta propiedad hace que la solucin particular no pueda plantearse en el espacio
finito con las expresiones genricas vistas en los apartados anteriores. As, para el caso
de un trmino g(t) constante, la solucin no podr ser:
) ... 1 (
2 1
0
p t
p
t
a a a
a
y

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:
p t p t t t t
y a y a y a a y

+ + + + ...
2 2 1 1 0
puede comprobarse como la solucin particular no puede ser ahora:
) ... 1 (
2 1
0
p t
p
t
a a a
a
y

y sin embargo, si proponemos la presencia de una tendencia temporal:

Ecuaciones en diferencias para el anlisis de series temporales pg.24
t c y
p
t
(Ec. 64)
podemos calcular c sin mayor problema:
) ... 2 (
) ( ... ) 2 ( ) 1 (
2 1
0
2 1 0
p t
p t
pa a a
a
c p t c a t c a y t c a a ct
+ + +
+ + + +

cumplindose la ecuacin inicial.

En el ejemplo numrico propuesto al principio de este apartado, el valor de ese
trmino c es:
69 . 0
) 75 . 0 2 25 . 0 (
2 . 1
) 2 (
2 1
0

t
a a
a
c
por lo que la solucin particular ser, conforme a la Ec.64:
t t c y
p
t
69 . 0
y la solucin completa:
t y y y
t p
t
h
t t
+ + + 69 . 0 ) 80 . 0 ( 75 . 3 44 . 3
Efectivamente puede observarse entonces como la serie integrada de orden uno
no es estacionaria ya que esta solucin completa no podr nunca ser convergente dado
el trmino tendencial 0.69t. La serie y
t
presentar, por tanto, una tendencia lineal:
0
10
20
30
40
50
60
70
1 8 15 22 29 36 43 50 57 64 71 78 85 92 99
Valores de "t"
Yt
La serie en diferencias, sin embargo, ser efectivamente estacionaria; generando
la ecuacin en diferencias y operando sencillamente puede observarse cmo la ecuacin
resultante de tercer orden no presentara problemas de races unitarias:
Ecuaciones en diferencias para el anlisis de series temporales pg.25
3 2 1
3 2 2 1 1
3 2 1
2 1
75 . 0 5 . 0 25 . 1
) ( 75 . 0 ) ( 25 . 0
2 . 1 75 . 0 25 . 0
2 . 1 75 . 0 25 . 0




+
+ +
+ + +
+ + +
t t t t
t t t t t t
t t t
t t t
y y y y
y y y y y y (2) - (1)
(2) y y y
(1) y y y
y su representacin grfica sera claramente convergente:
0
0,1
0,2
0,3
0,4
0,5
0,6
0,7
0,8
1 6 11 16 21 26 31 36 41 46 51 56 61 66 71 76 81 86 91 96
Valores de "t"
Yt
4.F.- Solucin particular con procesos de fuerza estocsticos
En el contexto del anlisis de series temporales, en todas las ocasiones, el
denominado proceso de fuerza contendr, no slo un trmino constante o tendencial,
sino un componente aleatorio. Hasta el ms sencillo de los procesos autorregresivos,
estar representado por un modelo estocstico AR(1) en el que aparecer una
perturbacin aleatoria
t
. En estos casos, los mtodos propuestos en el apartado
anterior para tres casos especficos no sern suficientes para obtener una solucin
completa en la ecuacin en diferencias y, por otro lado, las condiciones de convergencia
no podrn ser enunciadas para cada caso si no se tiene en cuenta el carcter estocstico
del proceso de fuerza.
El mtodo propuesto para obtener la solucin particular de una ecuacin en
diferencias ser el conocido como Mtodo de Coeficientes Indeterminados. Este
mtodo es conceptualmente sencillo aunque su falta de desarrollo hace que, en
ocasiones, resulte complejo de aplicar. El mtodo parte de la idea de que la solucin a
una ecuacin en diferencias lineal es necesariamente lineal. Las etapas que definen este
mtodo son:
- 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
- Se sustituye la solucin proyecto en la ecuacin original
- Se resuelven los coeficientes de la solucin proyecto que garantizan la identidad de
la ecuacin independientemente de los valores de las variables incluidas
Ecuaciones en diferencias para el anlisis de series temporales pg.26
- Si no es posible obtener una identidad la conclusin debe ser que la solucin
proyecto no es adecuada por lo que debe proponerse otra diferente y repetir de
nuevo el proyecto
Por ejemplo, supongamos un proceso AR(1):
t t t
y a a y + +
1 1 0
(Ec. 65)
Cuya solucin homognea ya es conocida. Dados los trminos que aparecen en
el proceso de fuerza, seguramente la solucin particular podr expresarse como una
funcin de un trmino constante y los valores presentes y pasados del trmino
t
.

+
0
0
i
i t i t
b y (Ec. 66)
El problema ser encontrar los valores de b
0
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:
( )
t t t t t t t
b a a b + + + + + + + + + + + +

... ... .... ...
3 2 2 1 1 0 0 1 0 2 2 1 1 0 0
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
2 1 1 2 1 0 1 1 0 0 1 0 0
+ + + +
t t t
a a b a a b
o lo que es igual, contamos con el siguiente conjunto de identidades:
..
..
0
0
0 1
0
1 1 2
0 1 1
0
0 1 0 0

a
a
b a a b
(Ec. 67)
De ellas podemos deducir de forma recursivamente y fcilmente el valor de los
parmetros idneos para que la ecuacin proyecto sea una solucin generalmente
vlida:
Ecuaciones en diferencias para el anlisis de series temporales pg.27
) 1 (
0
1
0
0 0 1 0 0
a
a
b b a a b

--------------------
1 0 1
0

0

1 1 1 1 0 1 1
0 1 0 a a a
2
1 2 1 1 2 1 1 2
0 0 a a a a
i
i
a
1
......
Por lo que la solucin particular adoptar la forma:

0
1
1
0
) 1 (
i
i t
i p
t
a
a
a
y (Ec. 68)
de donde la solucin genrica total ser:

+ +
0
1
1
0
1
) 1 (
) (
i
i t
i t p
t
h
t t
a
a
a
a A y y y (Ec. 69)
para obtener el valor de A, basta con contar con un valor inicial para y
0
y sustituirlo en
esa expresin:

+
0
1
1
0
0
0
1
1
0
0
) 1 ( ) 1 (
i
i
i
i
i
i
a
a
a
y A a
a
a
A y
de forma que la Ec.69 queda finalmente:

+
1
]
1

0
1
1
0
0
1
1
0
0 1
) 1 ( ) 1 (
) (
i
i t
i
i
i
i t
t
a
a
a
a
a
a
y a y (Ec. 70)
Debe notarse cmo esta ecuacin no es una ecuacin valida en todo caso ya que,
si a
1
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:

+ +
0
1 0
i
i t i t
t b b y (Ec. 71)
Ecuaciones en diferencias para el anlisis de series temporales pg.28
y, siguiendo el mtodo propuesto ms arriba, la solucin particular resultante final ser:

+ +
t
i
i
p
t
t a y y
0
0 0
(Ec. 72)
donde una vez ms puede observarse la presencia de un a tendencia determinista que
domina el patrn de evolucin del proceso a lo largo del tiempo.
5.- UN EJEMPLO PRCTICO COMPLETO
Obtener la solucin completa de la siguiente ecuacin en diferencias obtenida de
la estimacin de un proceso ARMA(1,1) dado el valor y
0
=0.75:
1 1
2 . 0 3 . 0 5 . 0

+ +
t t t t
y y
Solucin homognea:
Sistema homogneo:
0 3 . 0
1
+
t t
y y
haciendo x
t
=y
t
tenemos:
0 3 . 0
1
+
t t
x x
dividiendo la expresin entre x
t-1
:
3 0 0 3 . 0 , x x +
con lo que la solucin homognea toma la forma:
t h
t
A y ) 3 . 0 (
Solucin particular:
Se propone la solucin genrica:

+ +
0
1 0
i
i t i t
t b b y
y se sustituye en la ecuacin original:
( )
1
0
1 1 0
0
1 0
2 . 0 1 3 . 0 5 . 0

+ +
1
]
1

+ + + +
t t
i
i t i
i
i t i
t b b t b b
agrupando por trminos (constante, tendencial t y
t-i
) tenemos:
Ecuaciones en diferencias para el anlisis de series temporales pg.29
( ) ( )
( ) ( ) ( ) 0 3 . 0 2 . 0 03 1
3 . 0 3 . 0 3 . 0 5 . 0
2
1 1 0 1 0
1 1 1 0 0
+ + + + + +
+ + +

i
i t i i t t
t b b b b b

por lo que, para que esta igualdad se cumpla para todo valor de t y
t
tenemos:

( )
( )
( )
( )
( )
( )
..
..
0 3 . 0
0 3 . 0
0 2 . 0 3 . 0
0 1
0 3 . 0
0 3 . 0 3 . 0 5 . 0
2 3
1 2
0 1
0
1 1
1 0 0
+
+
+
+

+

+

b b
b b b
de donde resulta:
( ) 0 0 3 . 0
1 1 1
+ b b b
lo que es coherente con el hecho de que no estemos ante un proceso con una raz
unitaria (a
1
1), y adems:
( ) 38 . 0
) 3 . 0 1 (
5 . 0
0 3 . 0 3 . 0 5 . 0
0 1 0 0

+
+ b b b b
y por ltimo:
( )
( )
( )
( ) ( ) ( )
( ) ( )
. .
. .


i
i
0
1 . 0 3 . 0 ........
1 0 3 0 0 3 . 0
1 0 3 0 0 3 . 0
1 . 0 0 2 . 0 3 . 0
1 0 1
1
2
3 2 3
2 1 2
1 0 1
0

+
+
+
+

por tanto, la solucin final resulta:
( )
i t
i
i
t
t
t
A y

+ + +
1
1
) 1 . 0 ( 3 . 0 38 . 0 ) 3 . 0 (
Si utilizamos el valor inicial y
0
=0.75 propuesta en el enunciado podemos
eliminar la constante A arbitraria:
( )
i
i
i
A

1
1
0
) 1 . 0 ( 3 . 0 38 . 0 75 . 0
y sustituirla en la ecuacin de la solucin completa para acabar obteniendo:
Ecuaciones en diferencias para el anlisis de series temporales pg.30
( ) ( )
i t
i
i
t
t
i
i
i
t
y

+ + +
1
]
1

1
1
1
1
0
) 1 . 0 ( 3 . 0 38 . 0 ) 3 . 0 ( ) 1 . 0 ( 3 . 0 38 . 0 75 . 0
que convenientemente operada queda finalmente:
( ) ( )
t i t
t
i
i t t
t
y + + + +

1
1
1
) 1 . 0 ( 3 . 0 ) 3 . 0 ( 3 . 0 37 . 0 38 . 0
Ecuaciones en diferencias para el anlisis de series temporales pg.31
REFERENCIAS BIBLIOGFRFICAS:
La referencia fundamental utilizada para la elaboracin de este documento
es el texto Difference Equations del Manual Applied Econometric Series, del
profesor Walter Enders de la Universidad de Iowa
10
. Otras referencias
importantes son:
- Box, G., & Jenkins, G. (1970). Time Series Analysis, Forecasting
and Control. San Francisco, Calif.: Holden Day.
- Kells, L.M. (1979). Ecuaciones diferenciales elementales. Ed. Del
Castillo. Madrid
- Kiseliov, A., Krasnov, M., Makarenko, G.(1979). Problemas de
Ecuaciones Diferenciales Ordinarias. Ed. MIR.
- Simons, G.F. (1988). Ecuaciones diferenciales.Ed. McGraw-Hill.
- Uriel, E. (1992). Anlisis de series temporales. Modelos ARIMA.
Coleccin baco. Ed. Paraninfo.

10
Enders, W. (1995). Applied Econometric Time Series. John Wiley & Sons, INC. New York