Módulo 10·Ruido blanco, ACF, PACF, Ljung-Box y estacionariedad

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.

Estacionariedad en covarianzaRuido blancoFunción de autocorrelación (ACF)Función de autocorrelación parcial (PACF)Pruebas Box-Pierce y Ljung-BoxTest de Durbin-WatsonADF y KPSS para estacionariedadEACF para identificación 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: {Yt}t∈T\{Y_t\}_{t \in T}. En series de tiempo, TT es discreto (t=1,2,3,…t = 1, 2, 3, \ldots) y cada YtY_t es una variable aleatoria con su propia distribución.

Estacionariedad en covarianza (débil)

Un proceso {Yt}\{Y_t\} es estacionario en covarianza (o débilmente estacionario) si para todo tt y todo rezago kk:

  • (i) E[Yt]=μE[Y_t] = \mu (media constante)
  • (ii) Var(Yt)=σ2\text{Var}(Y_t) = \sigma^2 (varianza constante)
  • (iii) Cov(Yt,Yt−k)=γ(k)\text{Cov}(Y_t, Y_{t-k}) = \gamma(k) (autocovarianza que depende solo del rezago kk, no de tt)

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 (Yt1,…,Ytk)(Y_{t_1}, \ldots, Y_{t_k}) 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.

{at}∼RB(0,σ2)⟺E[at]=0,    Var(at)=σ2,    γ(k)=0    ∀ k≠0\{a_t\} \sim \text{RB}(0, \sigma^2) \quad \Longleftrightarrow \quad E[a_t] = 0, \;\; \text{Var}(a_t) = \sigma^2, \;\; \gamma(k) = 0 \;\; \forall \, k \neq 0

Si además las ata_t son independientes e idénticamente distribuidas (iid), se llama ruido blanco gaussiano cuando at∼N(0,σ2)a_t \sim N(0, \sigma^2).

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 YtY_t y Yt−kY_{t-k} como función del rezago kk.

ρ(k)=γ(k)γ(0)=Cov(Yt,Yt−k)Var(Yt)\rho(k) = \frac{\gamma(k)}{\gamma(0)} = \frac{\text{Cov}(Y_t, Y_{t-k})}{\text{Var}(Y_t)}

Propiedades de la ACF teórica:

  • ρ(0)=1\rho(0) = 1 (correlación consigo misma)
  • ∣ρ(k)∣≤1|\rho(k)| \leq 1 (Cauchy-Schwarz)
  • ρ(k)=ρ(−k)\rho(k) = \rho(-k) (simétrica)
  • Para ruido blanco: ρ(k)=0\rho(k) = 0 para todo k≠0k \neq 0

ACF muestral

Dada una realización Y1,…,YnY_1, \ldots, Y_n, la ACF muestral es:

ρ^(k)=∑t=k+1n(Yt−Yˉ)(Yt−k−Yˉ)∑t=1n(Yt−Yˉ)2\hat{\rho}(k) = \frac{\sum_{t=k+1}^{n}(Y_t - \bar{Y})(Y_{t-k} - \bar{Y})}{\sum_{t=1}^{n}(Y_t - \bar{Y})^2}

Bajo la hipótesis de que {Yt}\{Y_t\} es ruido blanco, ρ^(k)\hat{\rho}(k) es asintóticamente normal con:

ρ^(k)∼aproxN(0,1n)\hat{\rho}(k) \overset{\text{aprox}}{\sim} N\left(0, \frac{1}{n}\right)

Esto da las bandas de confianza al ±1.96/n\pm 1.96/\sqrt{n}, que se dibujan en los gráficos de ACF. Si un valor de ρ^(k)\hat{\rho}(k) cae fuera de las bandas, se rechaza la hipótesis de ruido blanco para ese rezago.

▶ ACF muestral de cinco series simuladas

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 qq. Los valores ρ^(k)\hat{\rho}(k) para k>qk > q son ≈ 0.

ARMA(p,q)

ACF decae exponencialmente después del rezago q−pq-p. Comportamiento mixto: no se corta limpiamente.

Ruido blanco

ACF ≈ 0 para todo k>0k > 0. 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 YtY_t y Yt−kY_{t-k} eliminando el efecto de las observaciones intermedias Yt−1,…,Yt−k+1Y_{t-1}, \ldots, Y_{t-k+1}.

ϕ(k)=Corr(Yt,Yt−k∣Yt−1,…,Yt−k+1)\phi(k) = \text{Corr}(Y_t, Y_{t-k} \mid Y_{t-1}, \ldots, Y_{t-k+1})

Formalmente, ϕ(k)\phi(k) es el último coeficiente de la regresión de YtY_t sobre sus kk rezagos previos:

Yt=ϕ1Yt−1+ϕ2Yt−2+⋯+ϕkYt−k+εtY_t = \phi_1 Y_{t-1} + \phi_2 Y_{t-2} + \cdots + \phi_k Y_{t-k} + \varepsilon_t

Entonces ϕ(k)=ϕk\phi(k) = \phi_k. 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 pp. Los valores ϕ^(k)\hat{\phi}(k) para k>pk > p 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 p−qp-q. Comportamiento mixto.

Ruido blanco

PACF ≈ 0 para todo k>0k > 0.

Tabla resumen: ACF y PACF para identificación

| Proceso | ACF ρ(k)\rho(k) | PACF ϕ(k)\phi(k) | |---|---|---| | AR(p) | Decae exponencial / senoidal | Se corta en k=pk = p | | MA(q) | Se corta en k=qk = q | Decae exponencial / senoidal | | ARMA(p,q) | Decae después de q−pq-p | Decae después de p−qp-q | | Ruido blanco | Cero para todo k≠0k \neq 0 | Cero para todo k≠0k \neq 0 |

▶ PACF muestral de las cinco series simuladas

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 MM rezagos de la ACF son todos cero, es decir, si la serie es ruido blanco.

Estadísticos de prueba

Box-Pierce:

QBP=n∑k=1Mρ^(k)2    ∼  χM−p−q2Q_{BP} = n \sum_{k=1}^{M} \hat{\rho}(k)^2 \;\;\sim\; \chi^2_{M-p-q}

Ljung-Box (mejor para muestras pequeñas):

QLB=n(n+2)∑k=1Mρ^(k)2n−k    ∼  χM−p−q2Q_{LB} = n(n+2) \sum_{k=1}^{M} \frac{\hat{\rho}(k)^2}{n-k} \;\;\sim\; \chi^2_{M-p-q}

donde p+qp+q es el número de parámetros ARMA ya estimados (0 si se prueba una serie cruda). MM es el número máximo de rezagos (típicamente M=min⁡(20,n/5)M = \min(20, n/5)).

Hipótesis:

  • H0H_0: ρ(1)=ρ(2)=⋯=ρ(M)=0\rho(1) = \rho(2) = \cdots = \rho(M) = 0 (ruido blanco)
  • H1H_1: ∃ k≤M:ρ(k)≠0\exists \, k \leq M : \rho(k) \neq 0 (hay autocorrelación)

Regla de decisión: Si Q>χα,M−p−q2Q > \chi^2_{\alpha, M-p-q} (o p-valor <α< \alpha), se rechaza H0H_0 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 (n+2)/(n−k)(n+2)/(n-k) que mejora la aproximación χ2\chi^2 para muestras finitas. En la práctica, se prefiere Ljung-Box sobre Box-Pierce, especialmente cuando nn es pequeño o moderado.

▶ Pruebas Box-Pierce y Ljung-Box sobre las cinco series

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.

DW=∑t=2n(et−et−1)2∑t=1net2DW = \frac{\sum_{t=2}^{n}(e_t - e_{t-1})^2}{\sum_{t=1}^{n} e_t^2}

El estadístico DWDW está entre 0 y 4:

  • DW≈2DW \approx 2: no hay autocorrelación AR(1)
  • DW<2DW < 2: autocorrelación positiva (ϕ1>0\phi_1 > 0)
  • DW>2DW > 2: autocorrelación negativa (ϕ1<0\phi_1 < 0)

La relación aproximada con el coeficiente AR(1) es: DW≈2(1−ϕ^1)DW \approx 2(1 - \hat{\phi}_1).

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 DW≈2DW \approx 2 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
▶ Verificación de estacionariedad y ruido blanco

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 pp y qq. La EACF calcula, para cada combinación (p,q)(p, q), 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 (p,q)(p, q)
  • Las celdas (p′,q′)(p', q') con p′≥pp' \geq p y q′≥qq' \geq q son ≈ 0
  • El "triángulo" de ceros identifica el orden
EACF para identificación de ARMA
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.