讲解关于slam一系列文章汇总链接:史上最全slam从零开始,针对于本栏目讲解的 卡尔曼家族从零解剖 链接 :卡尔曼家族从零解剖-(00)目录最新无死角讲解:https://blog.csdn.net/weixin_43013761/article/details/133846882
文末正下方中心提供了本人
联系方式,
点击本人照片即可显示
W
X
→
官方认证
{\color{blue}{文末正下方中心}提供了本人 \color{red} 联系方式,\color{blue}点击本人照片即可显示WX→官方认证}
文末正下方中心提供了本人联系方式,点击本人照片即可显示WX→官方认证
郑重声明:该系列博客为本人 ( W e n h a i Z h u ) 独家私有 , 禁止转载与抄袭 , 举报有谢 ! \color{red}郑重声明:该系列博客为本人(WenhaiZhu)独家私有,禁止转载与抄袭,举报有谢! 郑重声明:该系列博客为本人(WenhaiZhu)独家私有,禁止转载与抄袭,举报有谢!
一、 前言
该篇博客,主要是对前面知识点进行扫盲,因为有太多的疑惑还没有得到解答,若直接略过直接展开后面的内容进行讲解,就没有办法达到个人编写该系列博客目的,本人是希望彻头彻尾弄明白卡尔曼滤波,及其分支。哪怕掘地三尺,刨根问底也再所不辞。在这之前,个人觉得需要把上篇博客拓展的内容,重述一遍。因为其对卡尔曼滤波的应用确实比较重要:
( 1 ) : \color{red} (1): (1):从状态轴 x x x 来看,通常都是离散的。但是对于每个状态处理时,若有观测 y y y 参与,则通常会涉及到连续处理。 仅供参考,结论: \color{red} 仅供参考,结论: 仅供参考,结论: 卡尔曼滤波即包含了离散,也融入了连续。
( 2 ) : \color{red} (2): (2): 卡尔曼滤波并不需要每次迭代都进行观测,可以以一定频率进行观测更新。其主要与观测数据精度相关,精度越高,允许间隔观测的间隔时长越大。且每次观测,可以观测多个数据。
( 3 ) : \color{red} (3): (3):卡尔曼滤波递推公式虽然是线性的,但是这并不意味着其只能应用于线性变换的场景,其也适用于一些复杂的非线性变换场景,需要观测频率较高。
当然,这篇博客有这篇博客的重点,上面仅仅是记录一下重点而已,下面三个问题就是该篇博客需要解答的:
(
1
)
:
\color{blue} (1):
(1):高斯分布分布负无穷到正无穷的积分为什么是1?
(
2
)
:
\color{blue} (2):
(2): 高斯分布经过线性变换为什么还是高斯分布?
(
3
)
:
\color{blue} (3):
(3): 两个高斯分布函数的乘积为什么依旧是高斯分布?
二、证明高斯概率密度函数积分为1
不用多说,前面涉及到高斯概率密度函数的点,基本都使用到其积分为 1 这个性质。但是并没有进行详细推导,高斯函数又分为一元高斯与多元高斯,多元高斯会涉及到协方差矩阵,对于协方差矩阵,本人不打算在系列博客讲解,后续或许会归纳倒 史上最全slam从零开始 中 【零、SLAM基础知识解读–>难度系数00】部分。先来看看一元高斯,如果篇幅允许再分析多元高斯。
1. 一元高斯
所谓的一元高斯,也就是只有一个随机条件变量,话不多说,这里把他的表达式列一下:
N
(
μ
,
σ
)
=
1
σ
2
π
exp
(
(
x
−
μ
)
2
2
σ
2
)
(1)
\color{green} \tag {1}\mathcal{N}(\mu,\sigma)=\frac{1}{\sigma \sqrt {2 \pi}}\exp(\frac{(x-\mu)^2}{2\sigma^2})
N(μ,σ)=σ2π1exp(2σ2(x−μ)2)(1)既然是要证明其积分为1,直接上手积分:
F
(
x
)
=
∫
−
∞
+
∞
f
(
x
)
=
∫
−
∞
+
∞
1
σ
2
π
exp
(
(
x
−
μ
)
2
2
σ
2
)
=
1
σ
2
π
∫
−
∞
+
∞
exp
(
(
x
−
μ
)
2
2
σ
2
)
(2)
\color{green} \tag {2}F(x)=\int_{-\infty}^{+\infty}f(x)=\int_{-\infty}^{+\infty}\frac{1}{\sigma \sqrt {2 \pi}}\exp(\frac{(x-\mu)^2}{2\sigma^2})=\frac{1}{\sigma \sqrt {2 \pi}}\int_{-\infty}^{+\infty}\exp(\frac{(x-\mu)^2}{2\sigma^2})
F(x)=∫−∞+∞f(x)=∫−∞+∞σ2π1exp(2σ2(x−μ)2)=σ2π1∫−∞+∞exp(2σ2(x−μ)2)(2) 上式中的
1
σ
2
π
\frac{1}{\sigma \sqrt {2 \pi}}
σ2π1 为常数,所以直接提到积分外面来,对于无穷积分
∫
−
∞
+
∞
exp
(
(
x
−
μ
)
2
2
σ
2
)
\int_{-\infty}^{+\infty}\exp(\frac{(x-\mu)^2}{2\sigma^2})
∫−∞+∞exp(2σ2(x−μ)2) 的求解是比较复杂的,有兴趣的朋友可以使用分步积分计算一下,计算过程把指数部分写成二次形式,可以发现是没有的,因为分布积分过程中,积分部分的
x
x
x 的次数会越来越高。那么应该采用什么办法来求解呢?
二、两高斯函数乘积仍为高斯。
N
(
μ
,
σ
)
=
1
σ
2
π
exp
(
(
x
−
μ
)
2
2
σ
2
)
(1)
\color{green} \tag {1}\mathcal{N}(\mu,\sigma)=\frac{1}{\sigma \sqrt {2 \pi}}\exp(\frac{(x-\mu)^2}{2\sigma^2})
N(μ,σ)=σ2π1exp(2σ2(x−μ)2)(1)上面仅仅是一个表达式而已,然而需要推导的是两个表达式,那么假设两个高斯函数如下:
f
(
x
)
=
N
1
(
μ
1
,
σ
1
)
=
1
σ
1
2
π
exp
(
(
x
−
μ
1
)
2
2
σ
1
2
)
(2)
\color{green} \tag {2}\ f(x)=\mathcal{N_1}(\mu_1,\sigma_1)=\frac{1}{\sigma_1 \sqrt {2 \pi}} \exp(\frac{(x-\mu_1)^2}{2\sigma_1^2})
f(x)=N1(μ1,σ1)=σ12π1exp(2σ12(x−μ1)2)(2)
g
(
x
)
=
N
2
(
μ
2
,
σ
2
)
=
1
σ
2
2
π
exp
(
(
x
−
μ
2
)
2
2
σ
2
2
)
(3)
\color{green} \tag {3}\ g(x)=\mathcal{N_2}(\mu_2,\sigma_2)=\frac{1}{\sigma_2 \sqrt {2 \pi}} \exp(\frac{(x-\mu_2)^2}{2\sigma_2^2})
g(x)=N2(μ2,σ2)=σ22π1exp(2σ22(x−μ2)2)(3)
重点
:
\color{red} 重点:
重点: 上面的并没有区分
x
1
x_1
x1 与
x
1
x_1
x1,也就是说,推导的基本条件是,同一个比变量,符合两种高斯分布,然后这计算这两个高斯概率密度函数的乘积,话不多说,先直接带入:
f
(
x
)
⋅
g
(
x
)
=
(
1
σ
1
2
π
⋅
1
σ
2
2
π
)
exp
(
(
x
−
μ
1
)
2
2
σ
1
2
⋅
(
x
−
μ
2
)
2
2
σ
2
2
)
(4)
\color{green} \tag {4} f(x)·g(x)=(\frac{1}{\sigma_1 \sqrt {2 \pi}}·\frac{1}{\sigma_2 \sqrt {2 \pi}})\exp(\frac{(x-\mu_1)^2}{2\sigma_1^2}·\frac{(x-\mu_2)^2}{2\sigma_2^2})
f(x)⋅g(x)=(σ12π1⋅σ22π1)exp(2σ12(x−μ1)2⋅2σ22(x−μ2)2)(4)先来讨论其指数部分,令:
$$$$