任何物理理论都是在对这个世界建模,那么为何我们总用微分方程来刻画这个世界呢?归根结底,现实世界是量子的(离散的、随机的),而非经典的(连续的、确定性的)。但我们在刻画许多问题时,却总是用确定、连续的微分方程来描述它,虽然这已牵扯了许多高维非线性系统,足够复杂难解,但其实只是一种经典极限下的近似。我们现在想了解时间/空间上全局的性质,但如果所有的信息都需要把握,就太难了。
于是我们假装自己站在其中的某一点上去感知世界对自己的影响,由此获取大致的信息,并假定这样局域的了解可以表征全局的属性,然后依此建模。这就要求所刻画的系统必须能用平均场近似比较好的来表征。所谓平均场近似,就是把一个复杂的多体系统的演化,依据处于其中的局域的研究对象所接收的综合信息来表征的近似手段。它相当于把整个环境的作用取了积分,作用到局部的一个对象上。
这一整合过程必然会平均掉一些局部的涨落,因而损失了部分信息,但使问题变得更简化,也即降低了所研究问题的维度。一般而言,所考虑的系统粒子数越大,环境与系统的相互作用越弱,环境变化越缓慢,平均场近似就越好,采用微分方程来刻画系统的动力学就越不失真。
而若针对的是一个粒子数比较少、涨落比较大的系统,比如生命系统中的各种蛋白质之间的相互作用,一个细胞里同类分子往往一共才几十到几千个,那么平均场近似就不太恰当了。这时需要用更微观的模型去描述。比如化学里就有Gillespie算法等,用于模拟一大群不同的相互作用粒子在给定规则下具有随机性的演化。其每一步往另一种状态跳转的概率,都与当前的各种粒子数目分布有关。
常微分方程(组)与偏微分方程(组)的本质区别在于所研究的动力学空间中的对象不同。常微分方程(组)描述的是n维动力学空间中的一个点随着时间变化而演化形成的一个轨迹。而偏微分方程(组)所刻画的是一个n维动力学空间中的一个曲线、曲面、超曲面随着时间变化而演化产生的一个变化过程。因为在物理和化学等考虑实际问题的科学中,我们研究一个具体的物体的时候,关注的东西是一个多个变量的函数的变化。
比如琴弦,我们关注的东西是它作为一个整体在各处振动起来的高或低的分布情形,而不仅仅关注弦上的一个点的运动,它是时间和位置的函数,所以我们用PDE来描述这个东西所对应的动力学空间中的一个曲线的变化(一个空间的维度,一个时间的维度)。所以,选取什么模型来刻画这个世界,取决于所研究的对象是动力学空间中一个曲线、(超)曲面随时间整体的变化,还是一个点随时间的演化轨迹,也取决于我们的能力范围。
另一方面,也许还取决于历史经验积累与实际条件。最初的微分动力系统理论,是在经典力学蓬勃发展的背景下发展的。众所周知,牛顿开创了一套体系相当完备的经典力学理论,而他也正是微积分的创始人之一,这部分数学与物理在那时的发展是相辅相成的。如果人们最初发展的是离散系统理论,而今我们能使用的数学手段,或许就会包含更多用于处理离散系统的工具与语言吧。
在处理许多问题时,人们首先想到的是微分方程,而非离散动力学模型,这与经典理论与微积分共同发展的历史或许也是脱不开关系的。