递推公式连续和离散谁更本质

回到高中数学

现在主要工作是给高中生补习数学，因此获得了一个契机，再次回到高中数学的语境，结果发现了很多当年错过的有趣问题。回头以大学的高视角再看，不禁感慨高中时候自己有多naive。感觉有必要做一个整理记录。

数列部分有一类题型：已知递推公式求解通项公式。例如

已知数列 ${a_{n}}$ 的递推公式 $a_{n + 1} = 2 a_{n} + 1$ ，以及首项 $a_{1} = 1$ ，求解其通项公式。

在准备这一类题目时，我发现它们和微分方程有类似的结构。也可以定义“线性、特解、通解、初始条件、齐次方程、非齐次方程”之类的术语和概念。

学过微分方程的朋友可以看这个视频，讲解了上述思想的本质，以及为什么在很多数学对象上都有相似的概念。

对微分方程印象还未淡去的朋友，也可以尝试套上“线性、特解、通解、初始条件、齐次方程、非齐次方程”的概念，在差分方程的语境下重构一遍。

大学期间我接触过一些差分的内容，也知道差分和微分之间的相似性。但当时我只以为差分方法是在微分方法出现之前的权宜之计，为微分的成熟做了铺垫。一旦微分方法发展成熟之后，差分法就可以姑且被扫进故纸堆了。毕竟大部分本科数学教授的内容都集中在连续系统，我们也认为真实的物理世界是连续的。

但是和ChatGPT聊过之后，我了解到有专门的理论研究这种差分方程和其他离散演化系统，而且内容也相当的抽象和复杂。这类研究的体量让我意识到，离散系统的数学本身就很重要。

继续追问下，我才认识到离散系统并不是连续系统的“较次”版本，有很多数学对象本质上就是离散的，例如算法步骤，信号处理，现代的量子物理。在最抽象的层次上来说，所有的数学代数动作，本身都是离散的步骤，在数理逻辑课上学的不就是这个思想吗？