Write and assume . The scalar Kalman filter reduces to
Taking reciprocal variance and dividing the mean by variance gives
Thus
Since the process noise is zero and , and . The strong law of large numbers gives almost surely. The prior's finite weight vanishes in the displayed formula, so both limits equal almost surely. A zero prior variance instead means is known, and the assertion follows directly without reciprocal-variance formulas.

Articles by others on the same topic (0)

There are currently no matching articles.