Write and assume . The scalar Kalman filter reduces toTaking reciprocal variance and dividing the mean by variance givesThusSince 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
There are currently no matching articles.