Procesos Estocásticos Estacionarios y Funciones de Autocorrelación
Fundamentos de procesos estocásticos, estacionariedad en covarianza, ruido blanco, funciones de autocorrelación (ACF) y autocorrelación parcial (PACF). Pruebas de Box-Pierce, Ljung-Box y Durbin-Watson. Verificación de estacionariedad con ADF y KPSS. EACF para identificación de ARMA.
Del análisis determinístico al estocástico
Los módulos 1–9 modelan la serie de tiempo como una función determinística del tiempo (tendencia + estacionalidad) más un error aleatorio. El siguiente paso metodológico es modelar el error mismo como un proceso estocástico con estructura temporal. Esto da lugar a los procesos ARMA del módulo 11.
Para llegar ahí necesitamos el lenguaje de los procesos estocásticos: la noción de estacionariedad, las funciones de autocorrelación (ACF) y autocorrelación parcial (PACF), y las pruebas formales para verificar si una serie es ruido blanco.
Procesos estocásticos estacionarios, ruido blanco, funciones de autocorrelación (ACF) y autocorrelación parcial (PACF), pruebas de Ljung-Box y Box-Pierce, test de Durbin-Watson. Fundamento teórico para la identificación de modelos ARMA.
10.1 Procesos estocásticos y estacionariedad
Un proceso estocástico es una colección de variables aleatorias indexadas por el tiempo: . En series de tiempo, es discreto () y cada es una variable aleatoria con su propia distribución.
Estacionariedad en covarianza (débil)
Un proceso es estacionario en covarianza (o débilmente estacionario) si para todo y todo rezago :
- (i) (media constante)
- (ii) (varianza constante)
- (iii) (autocovarianza que depende solo del rezago , no de )
La estacionariedad en covarianza es el requisito mínimo para que la ACF muestral sea un estimador consistente de la ACF teórica. Si la serie tiene tendencia o varianza cambiante, no es estacionaria y debe transformarse (diferenciación, log) antes de aplicar métodos ARMA.
Estacionariedad estricta vs. débil
La estacionariedad estricta requiere que la distribución conjunta de sea invariante ante traslaciones temporales. La estacionariedad débil solo exige momentos de segundo orden constantes. Para procesos gaussianos, ambas coinciden.
10.2 Ruido blanco
El proceso más simple es el ruido blanco: una secuencia de variables aleatorias no correlacionadas, con media cero y varianza constante.
Si además las son independientes e idénticamente distribuidas (iid), se llama ruido blanco gaussiano cuando .
Ruido blanco = modelo nulo
El ruido blanco es el modelo nulo en series de tiempo: si los residuos de un modelo son ruido blanco, no queda estructura temporal por modelar. Todas las pruebas de este módulo (Ljung-Box, Box-Pierce, Durbin-Watson) tienen como hipótesis nula que la serie es ruido blanco.
10.3 Función de autocorrelación (ACF)
La función de autocorrelación mide la correlación lineal entre y como función del rezago .
Propiedades de la ACF teórica:
- (correlación consigo misma)
- (Cauchy-Schwarz)
- (simétrica)
- Para ruido blanco: para todo
ACF muestral
Dada una realización , la ACF muestral es:
Bajo la hipótesis de que es ruido blanco, es asintóticamente normal con:
Esto da las bandas de confianza al , que se dibujan en los gráficos de ACF. Si un valor de cae fuera de las bandas, se rechaza la hipótesis de ruido blanco para ese rezago.
ci.type='ma' usa las bandas de Bartlett (más anchas para rezagos altos). Las bandas ±1.96/√n asumen ruido blanco bajo H₀.
Patrones de la ACF para identificación
AR(p)
ACF decae exponencialmente o con ondas senoidales amortiguadas. No se corta en un rezago fijo.
MA(q)
ACF se corta (cae a cero) después del rezago . Los valores para son ≈ 0.
ARMA(p,q)
ACF decae exponencialmente después del rezago . Comportamiento mixto: no se corta limpiamente.
Ruido blanco
ACF ≈ 0 para todo . Todos los valores dentro de las bandas de confianza.
10.4 Función de autocorrelación parcial (PACF)
La función de autocorrelación parcial mide la correlación entre y eliminando el efecto de las observaciones intermedias .
Formalmente, es el último coeficiente de la regresión de sobre sus rezagos previos:
Entonces . La PACF se calcula con las ecuaciones de Yule-Walker o recursivamente con el algoritmo de Durbin-Levinson.
Patrones de la PACF para identificación
AR(p)
PACF se corta después del rezago . Los valores para son ≈ 0.
MA(q)
PACF decae exponencialmente o con ondas amortiguadas. No se corta en un rezago fijo.
ARMA(p,q)
PACF decae exponencialmente después del rezago . Comportamiento mixto.
Ruido blanco
PACF ≈ 0 para todo .
Tabla resumen: ACF y PACF para identificación
| Proceso | ACF | PACF | |---|---|---| | AR(p) | Decae exponencial / senoidal | Se corta en | | MA(q) | Se corta en | Decae exponencial / senoidal | | ARMA(p,q) | Decae después de | Decae después de | | Ruido blanco | Cero para todo | Cero para todo |
La función pacf() de R base calcula la PACF muestral usando el algoritmo de Durbin-Levinson.
10.5 Pruebas de ruido blanco: Box-Pierce y Ljung-Box
Las pruebas de Box-Pierce y Ljung-Box evalúan conjuntamente si los primeros rezagos de la ACF son todos cero, es decir, si la serie es ruido blanco.
Estadísticos de prueba
Box-Pierce:
Ljung-Box (mejor para muestras pequeñas):
donde es el número de parámetros ARMA ya estimados (0 si se prueba una serie cruda). es el número máximo de rezagos (típicamente ).
Hipótesis:
- : (ruido blanco)
- : (hay autocorrelación)
Regla de decisión: Si (o p-valor ), se rechaza y la serie no es ruido blanco: hay estructura temporal por modelar.
Ljung-Box vs. Box-Pierce
El estadístico de Ljung-Box incluye el factor de corrección que mejora la aproximación para muestras finitas. En la práctica, se prefiere Ljung-Box sobre Box-Pierce, especialmente cuando es pequeño o moderado.
Box.test() de R base implementa ambas pruebas. type='Ljung' para Ljung-Box, type='Box' para Box-Pierce.
10.6 Test de Durbin-Watson para AR(1)
El test de Durbin-Watson detecta autocorrelación de primer orden (AR(1)) en los residuos de una regresión. Es específico para el rezago 1, a diferencia de Ljung-Box que evalúa múltiples rezagos conjuntamente.
El estadístico está entre 0 y 4:
- : no hay autocorrelación AR(1)
- : autocorrelación positiva ()
- : autocorrelación negativa ()
La relación aproximada con el coeficiente AR(1) es: .
Limitación del test de Durbin-Watson
El DW solo detecta AR(1). Una serie con autocorrelación en rezagos mayores (MA(2), AR(2), etc.) puede tener y pasar el test. Siempre complementar con Ljung-Box y revisar el gráfico de ACF.
10.7 Verificación de estacionariedad en covarianza
Para que la ACF y PACF muestrales sean interpretables, la serie debe ser estacionaria en covarianza. Los indicadores visuales y formales son:
Indicadores visuales
- • La serie oscila alrededor de una media constante
- • La varianza no cambia con el tiempo
- • No hay tendencia visible
- • La ACF decae rápidamente a cero
Pruebas formales
- • ADF (Augmented Dickey-Fuller): H₀ = raíz unitaria (no estacionaria)
- • KPSS: H₀ = estacionaria
- • PP (Phillips-Perron): robusto a heterocedasticidad
adf.test() y kpss.test() del paquete tseries. ADF y KPSS son complementarios: ADF tiene H₀=no estacionaria, KPSS tiene H₀=estacionaria.
10.8 Función de autocorrelación extendida (EACF)
Cuando la ACF y PACF no dan un patrón claro (caso ARMA mixto), la función de autocorrelación extendida (EACF) ayuda a identificar los órdenes y . La EACF calcula, para cada combinación , los residuos de un ajuste AR(p) y luego examina la ACF de esos residuos. El patrón teórico es:
- Para un ARMA(p,q), la EACF se corta en la posición
- Las celdas con y son ≈ 0
- El "triángulo" de ceros identifica el orden
1library(TSA)2eacf(at, ar.max = 13, ma.max = 13)3eacf(Z1t, ar.max = 13, ma.max = 13)4eacf(Z3t, ar.max = 13, ma.max = 13)5eacf(Z4t, ar.max = 13, ma.max = 13)6# Interpretación:7# - at: EACF toda cero → ruido blanco (0,0)8# - Z1t: EACF se corta en (1,0) → AR(1)9# - Z3t: EACF se corta en (1,2) → ARMA(1,2)10# - Z4t: EACF se corta en (0,1) → MA(1)11auto.arima(Z1t, ic = "bic") # → ARIMA(1,0,0)12auto.arima(Z3t, ic = "bic") # → ARIMA(1,0,2)13auto.arima(Z4t, ic = "bic") # → ARIMA(0,0,1)
La función eacf() del paquete TSA muestra una tabla donde 'x' indica autocorrelación significativa y 'o' indica cero. El vértice del triángulo de 'o' identifica (p,q).
Conexión con TimeSight
TimeSight calcula automáticamente la ACF y PACF en el paso de Exploración, y realiza pruebas ADF y KPSS para verificar estacionariedad. En el paso de Diagnóstico, aplica Ljung-Box a los residuos del modelo para verificar que sean ruido blanco. El módulo 11 muestra cómo usar estas herramientas para identificar y ajustar modelos ARMA.