安德烈·安德列耶维奇·马尔可夫（Андрей Андреевич Марков / Andrey Andreyevich Markov）

切比雪夫最杰出的继承人，把概率论从"赌金与误差"的算术推进为关于相依随机变量的严谨理论；他发明的"马尔可夫链"如今是信息论、统计物理、人工智能乃至语言模型的基石，而他本人却是一位敢把王朝庆典踩在脚下的刚烈学者。

一、生平与时代背景

安德烈·安德列耶维奇·马尔可夫于 1856 年 6 月 14 日生于俄国梁赞（Ryazan）。父亲安德烈·格里戈里耶维奇·马尔可夫（Андрей Григорьевич Марков）是乡村执事之子，读过教会神学校，后来做了文书，举家迁往圣彼得堡后先在林业部任职，又成为若干贵族庄园的管家。母亲娜杰日达·彼得罗夫娜（Надежда Петровна）是一位国家职员的女儿。父亲与前妻育有两子数女，安德烈是两个男孩中的长子，弟弟弗拉基米尔（Владимир，1871—1897）后来也成为享有国际声誉的数学家，却在 25 岁时死于肺结核。[^mactutor-markov]

马尔可夫幼年体弱多病，10 岁前只能拄拐杖行走。他在圣彼得堡第五文科中学（Gymnasium No 5）读书时，数学天赋极为突出，其他科目却成绩平平；中学期间就写了一篇关于线性微分方程积分的论文——结果并不新颖，但由此结识了圣彼得堡大学的两位名教授科尔金（A. N. Korkin）与佐洛塔廖夫（E. I. Zolotarev），使他确信自己应当以数学为业。[^mactutor-markov]

1874 年他进入圣彼得堡大学物理数学系，参加科尔金与佐洛塔廖夫的讨论班，尤其受教于数学系主任切比雪夫（Pafnuty Chebyshev）——切比雪夫常在课堂上抛出新问题鼓励学生研究，这种氛围深深塑造了马尔可夫。1878 年他以一篇《论用连分数积分微分方程》的征文获金质奖章毕业；1880 年以硕士论文《论具有正行列式的二元二次型》获学位，这篇工作被切比雪夫誉为圣彼得堡数论学派乃至整个俄国数学最优秀的成果之一，当年即以法文发表于 Mathematische Annalen，但西欧数学家直到 1910—1920 年代才由弗罗贝尼乌斯（Frobenius）与雷马克（Remak）重新消化其中的思想——即今天的"马尔可夫数"与"马尔可夫谱"。[^mactutor-markov]

1884 年他以《论连分数的若干应用》获博士学位（相当于德国的特许任教资格 habilitation）。1886 年任圣彼得堡大学编外教授，1893 年升任正教授；同年经切比雪夫推荐成为俄国科学院通讯院士，1890 年升为通讯院士（extraordinary member），1896 年成为正式院士。他于 1905 年名义上退休，但此后大半生仍坚持授课。[^mactutor-markov]

婚姻上，他娶了玛丽亚·伊万诺娃·瓦尔瓦季耶娃（Maria Ivanova Valvatyeva）——她父亲是其父所管理的庄园的主人，马尔可夫曾给她补习数学；起初女方母亲嫌弃他管家之子的身份，直到他获得足够社会地位才应允，二人于 1883 年成婚。其子小安德烈·安德列耶维奇·马尔可夫（1903—1979）后来也成为著名数学家，以数理逻辑中的"马尔可夫定理"、正规算法与字问题不可判定性闻名。[^mactutor-markov]

马尔可夫生活在俄国政治剧烈动荡的年代，性格刚烈、立场鲜明。1902 年作家高尔基被选为科学院院士，随即在沙皇授意下被撤销，马尔可夫强烈抗议并拒绝接受次年授予他的荣誉。1907 年 6 月沙皇解散第二届杜马，他公开宣布退出院士资格，当局未敢严惩这位年迈的杰出学者。1913 年罗曼诺夫王朝庆祝执政 300 周年，马尔可夫以示不满，自行举办了"大数定律 200 周年"庆典（指雅各布·伯努利《猜度术》1713 年出版）。1917 年 9 月革命中，他主动请求科学院把他派到内地条件艰苦的小城扎赖斯克（Zaraisk），在当地中学义务教数学，不取分文。[^mactutor-markov]

回到圣彼得堡后他健康恶化，做了眼部手术；到 1921 年已几乎站不稳，却仍坚持在大学讲授概率论。1922 年 7 月 20 日，在数月极度痛苦之后逝世，享年 66 岁。[^mactutor-markov]

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 马尔可夫链的创立（1906—1907）——随机过程理论的起点

问题背景：自伯努利、棣莫弗以来，概率论主要处理独立重复试验（如抛硬币）。切比雪夫证明了大数定律和中心极限定理对独立变量成立，但现实中大量现象（气体分子碰撞、语言中字母相继出现、股价变动）是前后相依的——下一步依赖于当前状态，而非与整个历史无关。[^sheynin]

关键思想：马尔可夫在 1906—1907 年的一系列论文中引入了"链"的概念：考虑一列随机变量 $X_1, X_2, \ldots$，满足无后效性（Markov property）

$$ P(X_{n+1} \mid X_1, \ldots, X_n) = P(X_{n+1} \mid X_n), $$

即未来只依赖于当前、与过去无关。这是对伯努利独立试验的根本推广。他证明，对于有限状态、转移概率满足一定条件的链，大数定律仍然成立——尽管变量不再独立。1913 年他把这一理论应用于文学文本：统计普希金《叶甫盖尼·奥涅金》中元音与辅音的相继出现频率，把全诗看成一个两状态（元音/辅音）的马尔可夫链，验证了链的平稳分布与大数定律。[^mactutor-markov] 这是概率模型首次被用于自然语言，也可视为计算语言学与后来 N-gram 语言模型的远祖。

精确表述/公式：设链有有限状态空间 $S$，转移矩阵 $P=(p_{ij})$，若存在 $N$ 使 $P^N$ 所有元素为正（非周期不可约），则存在唯一平稳分布 $\pi$ 满足 $\pi P=\pi$，且对任意初态，$n$ 步后处于状态 $j$ 的概率趋于 $\pi_j$；时间平均 $\frac{1}{n}\sum_{k=1}^n f(X_k)$ 依概率收敛于 $\sum_j \pi_j f(j)$（大数定律）。

与前人关系：他继承了切比雪夫用矩方法处理极限定理的传统；而把"独立性"放宽为"仅依赖前一步"是全新创造。

局限性：马尔可夫本人只处理离散时间、离散状态的情形，且主要从数学内部动机出发（他坦言不考虑物理应用）。连续时间、连续状态的马尔可夫过程要等到 1923 年维纳（Norbert Wiener）严格构造布朗运动，1930 年代科尔莫戈罗夫（Kolmogorov）建立一般随机过程理论才完成。[^mactutor-markov]

2. 马尔可夫不等式与中心极限定理的一般证明

问题背景：切比雪夫已用矩方法给出独立变量的大数定律和中心极限定理的雏形，但条件较强。马尔可夫进一步松弛条件，使之适用于更一般的变量。

关键思想与精确表述：马尔可夫不等式（虽常以他命名，思想可溯至切比雪夫/马尔可夫学派）：对非负随机变量 $X$ 和任意 $a>0$，

$$ P(X \ge a) \le \frac{\mathbb{E}[X]}{a}. $$

这是一个极其简单却万能的尾部估计，是切比雪夫不等式、各种集中不等式乃至现代概率论的基石。在此基础上，马尔可夫用矩方法（method of moments）证明：若独立随机变量序列满足一定的矩增长条件，则其标准化和依分布收敛于标准正态——即中心极限定理在相当一般条件下成立。他与师弟李雅普诺夫（Lyapunov，后者用特征函数法）共同把中心极限定理推向严格与一般。[^mactutor-markov]

与前人关系：切比雪夫开创矩方法，马尔可夫将其完善并给出更弱的条件；李雅普诺夫的特征函数法更简洁有力，两人互补，共同奠定俄国概率学派的黄金时代。

3. 数论中的马尔可夫数、马尔可夫谱与连分数

问题背景：在硕士论文《论具有正行列式的二元二次型》（1880）中，马尔可夫研究了二次无理数的有理逼近精度问题——这延续了拉格朗日、切比雪夫关于连分数与丢番图逼近的传统。

关键思想与精确表述：他得到了著名的马尔可夫方程

$$ x^2 + y^2 + z^2 = 3xyz $$

其正整数解 $(x,y,z)$ 被称为马尔可夫数（Markov numbers）：1, 2, 5, 13, 29, 34, … 每个马尔可夫数对应一个拉格朗日谱中的值，描述某类二次无理数能被有理数逼近的最佳速度。由此产生的马尔可夫谱（Markov spectrum）与拉格朗日谱是丢番图逼近论的核心对象。

与前人关系：马尔可夫数的结构与连分数、模形式密切相关；他的工作在西欧长期被忽视，直到 1910 年代弗罗贝尼乌斯与雷马克重新研究。存疑：马尔可夫谱中"唯一性猜想"（每个马尔可夫数对应唯一的无序解三元组）至今未被完全证明，是该领域的著名开放问题——此为后世遗留，非马尔可夫本人的论断。

局限性：马尔可夫本人只给出了谱的初始构造与基本性质，现代关于马尔可夫谱的拓扑结构（它是分形集）的研究要到 20 世纪后半叶。

4. 分析与逼近论中的早期工作

问题背景：1900 年之前，马尔可夫的研究集中在数论与分析：代数连分数、积分的极限、逼近论与级数收敛性。

关键思想：他在逼近论中给出了马尔可夫兄弟不等式（与弟弟弗拉基米尔合作）：若 $P$ 是次数不超过 $n$ 的多项式，在 $[-1,1]$ 上 $|P(x)|\le M$，则对其 $k$ 阶导数有 $|P^{(k)}(x)|\le M \cdot n^2(n^2-1)\cdots(n^2-(k-1)^2)/((2k-1)!!)$。这类不等式在多项式逼近、数值分析中仍被使用。他还研究了矩问题（moment problem）——由一列矩能否唯一确定分布——的早期形式。

与前人关系：直接延续切比雪夫的连分数与逼近论方向。

5. 概率论教科书与俄国概率学派的塑造

马尔可夫所著《概率演算》（Исчисление вероятностей，初版 1900/1908，1913 年修订版，多次再版并被译为德文）以论证严谨、叙述清晰著称，把概率论"改造为数学中最完善的分支之一"，并广泛传播了切比雪夫的方法。[^mactutor-markov] 他与李雅普诺夫、伯恩斯坦（Sergei Bernstein）、斯捷克洛夫（Steklov）共同构成圣彼得堡概率学派，为 20 世纪概率论的公理化（科尔莫戈罗夫，1933）储备了思想与人才。

四、代表著作与文献

• 《论具有正行列式的二元二次型》（Sur les formes quadratiques binaires aux déterminants positifs，硕士论文，法文发表于 Mathematische Annalen，1880）：马尔可夫数与马尔可夫谱的起源，被切比雪夫誉为俄国数论学派最高成就之一。
• 《论连分数的若干应用》（博士论文，1884）：把连分数方法系统应用于积分极限与分析问题。
• 《概率演算》（Исчисление вероятностей，1900/1908 初版，1913 修订，有德文译本）：俄国概率论的经典教材，影响深远。
• "Extension of the limit theorems of probability theory to a chain of linked variables"（1908，德文 Mathematische Annalen）：马尔可夫链大数定律的关键论文。
• 《关于普希金〈叶甫盖尼·奥涅金〉一书中字母序列的统计研究》（1913，俄文）：把两状态马尔可夫链用于文学文本，是自然语言统计建模的先驱。

五、师承、学派与同时代交往

• 老师：切比雪夫（Pafnuty Chebyshev）是他最核心的导师，马尔可夫自称"切比雪夫思想最优雅的代言人"；另受教于科尔金（Korkin）与佐洛塔廖夫（Zolotarev）。
• 同门/同事：李雅普诺夫（Alexander Lyapunov）是其师弟，二人共同建立圣彼得堡概率学派，在中心极限定理上互补（矩方法 vs 特征函数法）；伯恩斯坦（Sergei Bernstein）继承并发展了马尔可夫链理论。
• 学生：包括罗曼诺夫斯基（V. I. Romanovsky）等；其子小马尔可夫（A. A. Markov Jr.）成为数理逻辑学家。
• 国际交往：其数论工作在西欧由弗罗贝尼乌斯（Frobenius）与雷马克（Remak）在 1910—1920 年代重新发掘；与德国数学家有学术通信。
• 同时代人物：他与高尔基（作家）因科学院事件产生政治交集；生活于托尔斯泰、柴可夫斯基、门捷列夫的时代。

六、争议、公案与历史评价

• 政治对抗：1902 年抗议高尔基院士资格被撤销、1907 年退出院士资格、1913 年以"大数定律 200 周年"抵制王朝庆典——这些举动在沙皇俄国极为大胆，也体现了他刚直不阿的性格。[^mactutor-markov]
• 工作被西欧长期忽视：他的数论杰作（马尔可夫谱）用法文发表于德国期刊，但思想超前，西欧数学界在三十年后才由弗罗贝尼乌斯等人消化。这反映了 19 世纪末俄法德数学圈之间的语言与传播壁垒。
• 历史评价：马尔可夫被公认为随机过程理论的创始人。伯恩斯坦评价他"把概率论改造为数学中最完善的领域之一"。[^mactutor-markov] 月球上有以他命名的马尔可夫环形山（Crater Markov）。[^mactutor-markov]
• 常见误传：有时人们把"马尔可夫决策过程"（MDP）也算到他头上——MDP 是 20 世纪中叶由贝尔曼（Bellman）、沙普利（Shapley）等人发展的，马尔可夫本人只提出了基础的链概念。

七、身后影响与学术谱系

马尔可夫链经李雅普诺夫、伯恩斯坦发展，1923 年维纳构造连续马尔可夫过程（布朗运动），1930 年代科尔莫戈罗夫建立一般随机过程与马尔可夫过程的严格理论，形成从离散到连续、从存在性到微分方程刻画的完整谱系。这条线直接通向：

• 统计物理：伊辛模型、布朗运动、遍历理论（马尔可夫性是物理"因果性"的数学化身）。
• 信息论与计算机科学：隐马尔可夫模型（HMM）是语音识别、自然语言处理的长期主力；N-gram 语言模型是马尔可夫链的直接后裔，也是大语言模型的思想远祖。
• 机器学习：马尔可夫随机场、强化学习中的马尔可夫决策过程（MDP）、蒙特卡洛马尔可夫链（MCMC）采样——现代 AI 的基础构件几乎都带有"马尔可夫"基因。
• 数学内部：马尔可夫谱/拉格朗日谱在丢番图逼近、双曲几何、动力系统中持续活跃；马尔可夫不等式是所有集中不等式的源头。

他的名字如今是概率论中出现频率最高的专有名词之一。

八、延伸阅读与权威来源

• MacTutor: Andrei Andreyevich Markov：权威数学史档案，本档案主要传记依据。
• MacTutor DSB: Markov (PDF)：《科学传记辞典》条目（Youschkevitch 撰）。
• Encyclopaedia Britannica: Andrey Andreyevich Markov：权威百科条目。
• Wikipedia: Andrey Markov：交叉核对用，含完整著作年表。
• Mathematical Genealogy Project: Markov：师承谱系数据。
• O. B. Sheynin, "A A Markov's Work on Probability", Archive for History of Exact Sciences 39 (1988), 337–377：马尔可夫概率工作的专门研究。
• B. N. Delone, The St Petersburg School of Number Theory (AMS, 2005)：圣彼得堡数论学派通史，含马尔可夫数论工作的背景。