Difference the local-level state-space model to eliminate its latent level:
Independence and Gaussianity give a stationary Gaussian process with
For , let
These satisfy and . Therefore has the covariance of the moving-average model , where is Gaussian white noise of variance . This is an actual representation, not just covariance matching: define . The convergent inverse filter has constant spectral density , so its Gaussian coordinates are independent, and multiplication by recovers .
Thus
This is the formal ARMA equation with autoregressive coefficient one. Its unit root means that the levels are generally not stationary: if the initial state has finite variance and is independent of future noises, . In stationary-model terminology the correct classification is ARIMA(0,1,1). The requested ARMA description must therefore allow a unit-root equation.
When , the differences are just ; when and , they are , a noninvertible MA(1) with coefficient . If both variances vanish, the model is deterministic apart from a possible initial random level. These limits explain the qualifications on the invertible representation above.
Conditionally on past observations, adding the independent state increment gives the prediction
The new observation then has conditional distribution , and its conditional covariance with is . Equivalently, multiplying the state prediction probability density function by the observation likelihood and completing the square gives
For positive variances, rearrangement yields the scalar Gaussian Kalman recursion
Here the innovation is the observation minus its predicted mean. The displayed covariance formula also handles zero variances whenever its denominator is nonzero; a completely deterministic prediction and observation require no probabilistic update. Independence of the new noises from the past and the initial state is the usual state-space assumption needed for this conditional calculation.
A constant posterior variance must be a fixed point of the recursion in part (b). Multiplying by its positive denominator gives
Conversely, if a nonnegative solves this equation and the filter is initialized with , the recursion preserves at every step. The fixed-point equation alone does not force an arbitrary initial covariance to be constant.
For , the admissible root and its steady-state local-level Kalman gain are
The state estimate then obeys exponential smoothing:
Iteration makes the weights explicit:
Thus older observations receive geometrically decreasing weights. Consistently with part (a), the innovations variance is and the differenced MA coefficient is . The degeneracies and give gain zero and gain one respectively when the denominator is positive.

Articles by others on the same topic (0)

There are currently no matching articles.