长期以来人们认为，从实际问题归结出的数学问题总是适定的。</p>
早在20世纪初。</p>
Hadamard便观察到了一个现象：</p>
在一些很一般的情况下，求解线性方程的问题是不适定的。</p>
即使方程存在唯一解，如果方程的右边发生一个任意小的扰动，都会导致方程的解有一个很大的变化。</p>
在这种情况下。</p>
如果最小化方程两边之差的一个范函，并不能获得方程的一个近似解。</p>
到了20世纪60年代。</p>
Tikhonov，Ivanov和Phillips又发现了最小化误差范函的加正则项。</p>
即正则化的范函，而不是仅仅最小化误差范函，就能得到一个不适定的解题的解序列趋向于正确解。</p>
换而言之。</p>
第一部分的方程组，其实是一个描述渐变区域的序列集合。</p>
甚至可能是......</p>
图像？</p>
想到这里。</p>
徐云顿时来了兴趣。</p>
从4D/B2可以判断，这应该是一个涉及到旋转曲面的问题。</p>
第二行的∑(jik=S)∏(jik=q)(Xi)(ωj)则可以确定曲面与经线成了某个定角。</p>
既然是定角，那么就可以假设定模型λ=( A ， B ，π)，以及观测序列O =(，，...， oT )。</p>
那么就有α1(i)=πibi(o1)， i=1，2，...，N</p>
αt+1(i)=[j=1∑Nαt(i)aji]bi(ot+1)， i=1，2，...，N</p>
十五分钟后。</p>
看着面前的结果，徐云若有所思：</p>
“极大化的模型参数吗......”</p>
随后他思索片刻，继续在纸上写下了一道公式：</p>
Q(λ，λ)=I∑logπi1P(O，I∣λ)+I∑(t=1∑T?1logaitit+1)P(O，I∣λ)+I∑(t=1∑Tlogbit(ot))P(O，I∣λ)。</p>
这是一个很简单的投影曲线，并且圆锥对数螺线上任一点的挠率也与该点到轴的距离成反比。</p>
因此可以化简成另一个表达式。</p>
δt(i)=i1i2，...，it?1maxP(it=i，t?1，...，i1，ot，...，o1∣λ)， i=1，2，...，N</p>
解着解着，徐云的表情也愈发凝重了起来。</p>
两个小时后。</p>
徐云看着面前的图纸，眉头紧紧的拧成一团：</p>
“好家伙，第一组方程的化解项，居然是一个观测态的方程？”</p>
观测态方程其实是个很奇怪的玩意儿，它在数学中的释义比较复杂，但在物理中的释义却很简单：</p>
它表示着一个时序的非概率模型，指的是状态空间中经过从一个状态到另一个状态的转换的非随机过程。</p>
看到这里。</p>
有些同学是不是感觉很熟悉？</p>
没错。</p>
这是一个定义上与马尔科夫链完全相反的模型，描述的是一种很小区间内的定性可能。</p>
而这种模型，一般只会出现在.......</p>
超级超级小的微观领域。</p>
想到这里。</p>
徐云忽然灵光一闪。</p>
“微观领域，衰变积分？”</p>
只见他飞快的拿起笔，在其中另一张纸上飞快的写下了一行字：</p>
y(xn+1)?y(xn)/h≈f(xn，y(xn))</p>