当 $R_v \to 0$ 时,测量变得完美,公式趋近于 $\hat x = H^{-1}y$(假设 $H$ 可逆)。误差协方差趋向于 0,说明估计完全依赖测量。
巩固 LMMSE 应用,理解 Gram-Schmidt 正交化思想,区分 Smoothing / Filtering / Prediction
掌握LMMSE的典型例子、Gram-Schmidt正交化与三类估计问题
建议先完成前面的课程,或具备线性代数与概率论基础。
若 $\hat X$ 是基于 $y_{1},\ldots,y_{N}$ 的 LMMSE 估计,则:
也就是说,误差和每一个可用测量都不相关。这为我们提供了列方程求解增益的基本工具。
模型:
假设 $E[xv^T] = 0$,已知:
求 $x$ 给定 $y$ 的 LMMSE 估计。
LMMSE 形式:$\hat x = K^* y$,公式 $K^* = R_{xy}R_{y}^{-1}$。
由于 $x$ 与 $v$ 不相关:
这就是线性测量模型下 LMMSE 的一般公式。
若 $H=I,\; v=0$,则 $y=x$:
$$ \hat x = y $$完全相信测量。
若 $y$ 和 $x$ 无关:
$$ \hat x = 0 $$回到先验均值。
💡 直觉
测量可靠就相信测量;测量完全没信息就别被测量影响。Kalman Filter 的增益就自动在这两个极端之间平滑调节。
设 $\{y(t)\}$ 是零均值平稳随机过程,自协方差:
目标:估计 $X = \int_{0}^T y(t)dt$,给定测量 $y(0), y(T)$。
线性估计:
根据正交原理,误差与每个测量正交:
第一个正交条件:
得到:
第二个正交条件:
矩阵形式:
这正是用正交原理列方程求解增益的典型过程。
给定一组向量 $v_{1},\ldots,v_{n}$,目标是构造一组正交向量 $u_{1},\ldots,u_{n}$。
🧠 核心思想
新向量减去它在旧方向上的投影,剩下的就是新的正交方向。
向量 $v$ 在 $u$ 上的投影:
Gram-Schmidt 过程:
归一化:$e_{i} = \frac{u_i}{\|u_{i}\|}$。
设:
则:
投影:
所以:
得到正交方向 $(1,0)$ 和 $(0,1)$。
考虑不可观测状态 $x_{1},x_{2},\ldots$ 和观测 $y_{1},y_{2},\ldots$:
用未来和过去的测量估计过去状态:
$$ \{y_1,\ldots,y_N\} \to x_t,\quad t < N $$平滑/后处理
用当前及过去测量估计当前状态:
$$ \{y_1,\ldots,y_t\} \to x_t $$实时估计
用当前及过去测量预测未来状态:
$$ \{y_1,\ldots,y_j\} \to x_t,\quad t > j $$预测未来
在 $y=Hx+v$ 模型中,LMMSE 估计是 $\hat x = R_x H^T (H R_x H^T + R_v)^{-1} y$。如果噪声 $v$ 的协方差 $R_v \to 0$,估计会变成什么?
当 $R_v \to 0$ 时,测量变得完美,公式趋近于 $\hat x = H^{-1}y$(假设 $H$ 可逆)。误差协方差趋向于 0,说明估计完全依赖测量。
Gram-Schmidt 正交化中,$u_2 = v_2 - \operatorname{Proj}_{u_1}(v_2)$。为什么减去投影后 $u_2$ 与 $u_1$ 正交?
因为 $\operatorname{Proj}_{u_1}(v_2)$ 是 $v_2$ 在 $u_1$ 上的全部线性成分,减去后剩下的 $u_2$ 与 $u_1$ 正交:$\langle u_2, u_1 \rangle = \langle v_2, u_1 \rangle - \frac{\langle v_2, u_1 \rangle}{\langle u_1, u_1 \rangle} \langle u_1, u_1 \rangle = 0$。这就是"新方向 = 原方向 − 旧方向上的投影"的思想。
Smoothing、Filtering、Prediction 三类估计的本质区别是什么?
施老师大课堂 · 研讨会系列 · KF L12 LMMSE 例子、Gram-Schmidt 与三类估计问题