约翰·彼得·古斯塔夫·勒热纳·狄利克雷（Johann Peter Gustav Lejeune Dirichlet）

解析数论的创始人，现代函数概念与傅里叶级数严格理论的奠基者；他用令人惊讶的简单观察开场、再以极其锐利的分析收尾，开启了柏林数学的黄金时代，并把黎曼引向伟大。

一、生平与时代背景

约翰·彼得·古斯塔夫·勒热纳·狄利克雷于 1805 年 2 月 13 日生于迪伦（Düren），当时该地属法兰西帝国（今德国北莱茵-威斯特法伦州，位于亚琛与科隆之间）。其家族来自比利时列日附近的里什莱（Richelet），姓氏 "Lejeune Dirichlet" 即源自法语 "Le jeune de Richelet"（"里什莱的少年"）——并非如许多旧说所声称的来自法国。这一谱系考证见 Butzer 等的研究（MacTutor 参考文献 [6]）。父亲是迪伦的邮政局长。

早在 1817 年（12 岁）进入波恩的文理中学（Gymnasium）之前，狄利克雷就已对数学着迷，把零花钱都用来买数学书。在波恩两年后，父母送他去科隆的耶稣会学院，他有幸受教于欧姆（Georg Ohm）。16 岁（1821 年）完成中学学业，但当时德国大学水平不高，他决定赴巴黎求学。1822 年 5 月抵达巴黎时随身带着高斯的《算术研究》（Disquisitiones Arithmeticae），他终身珍爱此书，如旁人携带圣经一般。到巴黎不久他染上天花，但很快回到法兰西公学院（Collège de France）与理学院的课堂，受教于当时的一流数学家：比奥（Biot）、傅里叶（Fourier）、弗朗索厄（Francoeur）、阿谢特（Hachette）、拉普拉斯（Laplace）、拉克鲁瓦（Lacroix）、勒让德（Legendre）与泊松（Poisson）。

1823 年夏起，狄利克雷受雇于退役将军马克西米利安·塞巴斯蒂安·富瓦（Maximilien Sébastien Foy）——拿破仑战争中的名将，1819 年起任众议院自由派反对派领袖——住在巴黎其家中，教将军的妻女德语，待遇优厚且被视若家人。他的第一篇论文一举成名，研究著名的费马大定理：$n=3,4$ 已由欧拉与费马证出，狄利克雷攻克 $n=5$。当 $n=5$ 时，$x,y,z$ 中必有一个偶数、一个被 5 整除，分两种情形。狄利克雷证明了情形 1（被 5 整除的数恰为偶数），1825 年 7 月提交巴黎科学院；勒让德被指定为审稿人之一，补证了情形 2，完整证明于 1825 年 9 月发表。事实上狄利克雷本人后来也用推广情形 1 的论证独立完成了情形 2；他还在稍后证明了 $n=14$ 的情形（"几乎触及 $n=7$"——而 $n=7$ 后由拉梅于 1839 年证出）。

1825 年 11 月 28 日富瓦将军去世，狄利克雷决定返回德国，由亚历山大·冯·洪堡（Alexander von Humboldt）多方推荐。难题在于：在德国大学任教需取得教授资格（habilitation），而狄利克雷没有博士学位，也不会说拉丁语（当时的必要条件）。科隆大学授予他荣誉博士学位解决了这一问题，他遂向布雷斯劳（Breslau，今弗罗茨瓦夫）大学提交了关于一类特殊素因子多项式的 habilitation 论文。围绕他的任命有大量争议，德国教授间反对与支持的通信极多。

1827 年起狄利克雷在布雷斯劳任教，但与当初选择巴黎一样，他不满这里的低水平。在洪堡帮助下，1828 年他迁往柏林，受聘于军事学院（Military College）——真正的吸引力在于协议允许他在柏林大学兼课。不久他被任命为柏林大学教授，1828—1855 年间一直在此，同时保留军事学院的职务，这使他的教学与行政负担比他希望的更重。1831 年他入选柏林科学院，薪水改善使他得以结婚，1832 年娶丽贝卡·门德尔松（Rebecca Mendelssohn）——作曲家门德尔松的两个姐妹之一。狄利克雷与柯尼斯堡的雅可比（Jacobi）是终身挚友，二人在数论研究上相互影响极深。

1843 年雅可比患糖尿病，医生建议去意大利休养但他不富裕。狄利克雷探望后致信洪堡，请他向腓特烈·威廉四世为雅可比争取资助，成功获批。狄利克雷向柏林请得 18 个月长假，1843 年秋与雅可比、博尔夏特（Borchardt）一同赴意大利，途经数城并参加卢卡的数学会议，11 月 16 日抵罗马；施勒夫利（Schläfli）与施泰纳（Steiner）也同行，施勒夫利主要担任翻译并随狄利克雷学习数学。狄利克雷未全程留在罗马，他游历了西西里，1844/45 冬在佛罗伦萨度过，1845 年春返回柏林。

他在柏林教学负荷极重，1853 年写信给学生克罗内克（Kronecker）抱怨每周要上 13 节课外加许多其他职务。因此当 1855 年高斯去世、哥廷根向他提供高斯的讲席时，这对他不啻是解脱。他没有立即接受，而是借此向普鲁士文化部提出减轻负担（请求不再在军事学院授课），但迟迟未获答复，遂致信哥廷根接受聘任；文化部随后才提出改善条件与薪水，为时已晚。

哥廷根更安静的生活似乎适合他，研究时间增多，也带出了优秀的学生，可惜未能长久享受。1858 年夏他在瑞士蒙特勒（Montreux）的一个会议上演讲时心脏病发作，艰难地回到哥廷根；病重之际又遭妻子因中风去世的打击。1859 年 5 月 5 日，狄利克雷在哥廷根逝世，享年 54 岁，葬于哥廷根。

他为人谦逊，晚年略显腼腆孤僻，极少在会议上发言、不愿公开露面，但教学极为出色，表达清晰。托马斯·赫斯特（Thomas Hirst）描述 45 岁的他："一个相当高瘦的人，唇须与络腮胡将白未白，嗓音略粗，耳朵颇背……他的一个缺点是忘记时间：掏出表发现已过三点，便句子没说完就跑出去。"Koch 评曰："数学的重要部分受狄利克雷影响。他的证明特征是从令人惊讶的简单观察开始，继而对剩余问题作极其锐利的分析。随着狄利克雷，柏林数学的黄金时代开始了。"

二、学术生涯年表

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

1. 算术级数中的素数定理与狄利克雷 $L$ 函数（1837）——解析数论的诞生

问题背景：勒让德曾猜想：若首项 $a$ 与公差 $d$ 互素，则算术级数 $a,\ a+d,\ a+2d,\dots$ 中含无穷多个素数。欧几里得证明了素数无穷多，但把素数限制在一个算术级数里，初等方法完全失效。

关键思想：狄利克雷把欧拉证明素数无穷多的解析思路（$\sum 1/p$ 发散）推广到级数的单个同余类。对模 $d$ 的每个狄利克雷特征 $\chi$（即群同态 $(\mathbb Z/d\mathbb Z)^\times\to\mathbb C^\times$ 的扩张），他定义了今天所称的狄利克雷 $L$ 函数：

$$L(s,\chi)=\sum_{n=1}^\infty \frac{\chi(n)}{n^s},\qquad \Re(s)>1,$$

并利用正交关系把"$\equiv a\pmod d$ 的素数"从全体素数中分离出来。证明的核心与最难处在于：对每个非主特征 $\chi$，必须证明 $L(1,\chi)\ne 0$（否则对数发散项会被抵消）。狄利克雷分实二次特征与复特征情形处理，终于得到：

$$\sum_{\substack{p\le x\ p\equiv a\pmod d}}\frac{1}{p}\sim \frac{1}{\varphi(d)}\log\log x\quad (x\to\infty),$$

从而该同余类中有无穷多素数（且按 $1/\varphi(d)$ 的比例分布）。

精确表述：狄利克雷定理——若 $\gcd(a,d)=1$，则算术级数 $a+nd$（$n\ge 0$）中含有无穷多个素数。

与前人关系：欧拉已有 $\sum 1/p$ 发散的思想，勒让德提出猜想；狄利克雷首次把复分析（特征、$L$ 函数）系统地注入数论。达文波特（Davenport）1967 年写道："解析数论可以说始于狄利克雷的工作，尤其是他 1837 年关于给定算术级数中素数存在性的论文。"

局限性：狄利克雷定理只给出存在性与粗分布，未给出素数在级数中的具体计数的渐近公式（这是后来的算术级数素数定理，由德拉瓦莱·普桑等证明）；$L(1,\chi)\ne 0$ 的证明被后人不断简化，但至今仍无完全初等的证明（塞尔伯格 1949 年给出初等证明，避开了复分析但极其冗长）。

2. 类数公式与狄利克雷级数（1838—1839）

问题背景：高斯《算术研究》建立了二元二次型的理论与类数概念，但未能给出一般类数的显式公式。

关键思想：在紧接 1837 年论文之后的两篇文章（1838、1839）中，狄利克雷用狄利克雷级数与特征和，推出了二元二次型的类数公式。对判别式 $D<0$ 与 $D>0$ 分别给出类数 $h(D)$ 的闭式，涉及 $L(1,\chi_D)$：

• 对虚二次域（$D<0$）：$h(D)=\frac{w\sqrt{|D|}}{2\pi}L(1,\chi_D)$，其中 $w$ 是单位根个数；
• 对实二次域（$D>0$）：$h(D)\log\varepsilon=\sqrt{D}\,L(1,\chi_D)$，其中 $\varepsilon$ 是基本单位——这同时把类数与单位（佩尔方程的基本解）联系起来。

与前人关系：把高斯的二次型理论与解析方法结合，是解析数论的又一里程碑；后被戴德金推广到一般代数数域的戴德金 $\zeta$ 函数与类数公式。

3. 函数的现代定义与狄利克雷函数（1837）

问题背景：18 世纪至 19 世纪初，"函数"常被等同于一个解析表达式（如 $x^2$、$\sin x$）或一条可画出的曲线；傅里叶宣称任意函数都可展开为三角级数，迫使人们重新审视"函数"究竟是什么。

关键思想：狄利克雷在 1837 年提出了沿用至今的函数定义（原文）：

如果变量 $y$ 与变量 $x$ 有这样的关系：每当给 $x$ 指定一个数值，就存在一个规则，按此规则确定 $y$ 的唯一一个值，那么就说 $y$ 是自变量 $x$ 的函数。

这一定义把函数从"解析表达式"中解放出来，确立为定义域到值域的对应规则。为说明这一概念的广泛性，他构造了著名的狄利克雷函数：

$$D(x)=\begin{cases}1,& x\in\mathbb Q,\ 0,& x\notin\mathbb Q.\end{cases}$$

它处处不连续、黎曼不可积，表明函数可以极端病态、远超几何直观。

与前人关系：超越了欧拉、傅里叶时代的函数观；魏尔斯特拉斯、戴德金后来进一步把函数严格化为有序对的集合。

局限性：狄利克雷仍假定变量取数值；一般集合间的映射概念要到康托尔、戴德金才完全确立。

4. 傅里叶级数的收敛性——傅里叶级数理论的创立（1829）

问题背景：傅里叶用三角级数解热方程，但未严格证明收敛性；泊松曾给出一个"证明"，被柯西指出不严格；而柯西本人的证明也有错误。

关键思想：狄利克雷 1828—1829 年在 Crelle 杂志发表的论文，首次给出了傅里叶级数逐点收敛的严格充分条件，今称狄利克雷条件：若 $f$ 在一个周期内分段单调且只有有限个（第一类）间断点，则其傅里叶级数在每点 $x$ 收敛于

$$\frac{f(x+0)+f(x-0)}{2}$$

（间断点处收敛于左右极限的平均值；连续点处收敛于 $f(x)$）。他引入狄利克雷核

$$D_n(x)=\frac{1}{2}+\sum_{k=1}^n\cos(kx)=\frac{\sin((n+1/2)x)}{2\sin(x/2)}$$

来研究部分和 $S_n(x)=\frac{1}{\pi}\int_{-\pi}^\pi f(t)D_n(x-t)\,dt$，并分析其收敛性。黎曼在其关于傅里叶级数的 habilitation 论文导言中说，正是狄利克雷"写出了关于这个主题的第一篇深刻论文"。由于这些工作，狄利克雷被公认为傅里叶级数理论的创立者。

与前人关系：纠正了柯西证明的错误（狄利克雷评柯西论文："作者本人也承认，他的证明对某些函数是有缺陷的，而那些函数的收敛性却是无可争议的。"），把傅里叶的形式计算提升为严格定理。

局限性：分段单调、有限间断只是充分条件，远非必要；后来杜布瓦-雷蒙构造了连续函数其傅里叶级数在某点发散的例子，勒贝格积分与傅里叶变换理论才给出更一般的框架。

5. 位势论与狄利克雷问题（1839 起）

问题背景：拉普拉斯研究太阳系稳定性，涉及给定边界值求区域内调和函数的问题；椭球对内部与外部点的引力吸引也需要严格处理。

关键思想：1839 年起狄利克雷发表计算重积分的方法，将其应用于椭球引力问题（吸引体内外点）；继而转向拉普拉斯的太阳系稳定性分析，避免了丢弃二次及以上项的级数展开做法。这些工作引出了以他命名的狄利克雷问题：

给定区域 $\Omega\subset\mathbb R^n$ 及其边界 $\partial\Omega$ 上的连续函数 $g$，求在 $\Omega$ 内调和（满足 $\Delta u=0$）且在边界上取给定边值 $u=g$ 的函数 $u$。

与前人关系：格林（Green）1828 年已从位势角度研究过类似问题；狄利克雷把它纳入分析基础。黎曼在博士论文中用"狄利克雷原理"（使能量积分 $\int|\nabla u|^2$ 取极小的函数调和）处理它，后被魏尔斯特拉斯指出极小值存在性未证，由希尔伯特 1900 年严格补救。

6. 代数数论：单位定理与《数论讲义》（1846 / 1863）

问题背景：高斯研究了二次型的整数表示，但一般代数数域中整数的单位结构尚未厘清。

关键思想：狄利克雷证明了单位定理（Dirichlet's unit theorem）：代数数域 $K$ 的单位群 $U_K$ 是有限生成的阿贝尔群，其秩为

$$r=r_1+r_2-1,$$

其中 $r_1$ 为 $K$ 的实嵌入个数，$r_2$ 为复共轭嵌入对的个数；即 $U_K\cong \mathbb Z^{r_1+r_2-1}\times \mu_K$（$\mu_K$ 为 $K$ 中单位根的有限循环群）。他还把对数嵌入（单位映射到 $\mathbb R^{r_1+r_2}$ 中的格）方法引入数论。

这些工作以及他的数论课程，由学生戴德金（Dedekind）整理为《数论讲义》（Vorlesungen über Zahlentheorie），1863 年出版；戴德金在其中加入了关于理想（ideal）的著名补充，奠定了代数数论的现代基础。

与前人关系：单位定理是代数数论的支柱之一；戴德金的理想论直接脱胎于对狄利克雷讲义的编辑与推广。

7. 抽屉原理与丢番图逼近

问题背景：如何用有理数逼近任意实数？

关键思想：狄利克雷在研究二次型与逼近时，系统使用了今天所称的鸽巢原理（德语 Schubfachprinzip，"抽屉原理"）：若把 $n+1$ 个物体放入 $n$ 个抽屉，则至少有一个抽屉含多于一个物体。由此他证明了狄利克雷逼近定理：对任意实数 $\alpha$ 与正整数 $N$，存在整数 $p,q$，$1\le q\le N$，使得

$$\left|\alpha-\frac pq\right|<\frac{1}{qN}\quad(\text{特别地 }<\frac1{q^2}).$$

这是丢番图逼近的基本结果，后由图埃、西格尔、罗斯（Thue–Siegel–Roth 定理）大大精化。

8. 数学物理：流体力学方程的首次精确积分（1852）

问题背景：不可压缩流体绕流问题的严格解长期缺失。

关键思想：1852 年狄利克雷研究置于不可压缩流体中的球，在研究过程中首次精确积分了流体力学方程，给出了该问题的解析解。他还研究过系统的平衡与位势理论。

四、代表著作与文献

• 《算术级数中素数的证明》（Beweis des Satzes, dass jede unbegrenzte arithmetische Progression…，1837）：解析数论的开山之作。
• 1838、1839 年两篇解析数论论文（载 Crelle 杂志）：引入狄利克雷级数，给出类数公式。
• 《关于三角级数的收敛性》（Sur la convergence des séries trigonométriques，1829，Crelle 杂志）：傅里叶级数理论的奠基论文。
• 《数论讲义》（Vorlesungen über Zahlentheorie，1863，戴德金整理出版）：含单位定理、戴德金的理想论补充，是代数数论的奠基性著作；多次再版。
• 《引力论》（Untersuchungen über ein Problem der Hydrodynamik，1860）等数学物理论文。
• 全集：Gustav Lejeune Dirichlet's Werke（L. Kronecker 与 L. Fuchs 编，柏林，1889—1897），含库默尔的传记。

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

• 师承：在巴黎受教于傅里叶、拉普拉斯、勒让德、泊松、比奥、拉克鲁瓦、阿谢特等；精神上奉高斯为导师，终身研读《算术研究》。未取得正式博士学位（科隆荣誉博士）。
• 学派归属：德国数论与分析传统的核心人物，柏林数学黄金时代的开启者；与雅可比共同构成 19 世纪中叶德国数论的双璧。
• 同时代交往：
• 卡尔·弗里德里希·高斯：精神偶像；狄利克雷 1855 年接任其哥廷根讲席。二人有直接的学术与个人联系（双二次互反律）。
• 卡尔·古斯塔夫·雅可比：终身挚友，柯尼斯堡与柏林之间频繁交流，互相影响数论研究；狄利克雷为其争取资助并陪同意大利之行。
• 亚历山大·冯·洪堡：举荐人，多次为他在柏林的职位与雅可比的资助奔走。
• 富瓦将军：1823—1825 年的雇主，待之如家人。
• 伯恩哈德·黎曼：学生；黎曼的博士论文与 habilitation 都深受狄利克雷影响（黎曼称狄利克雷为其最主要的思想来源，"狄利克雷原理"即以之命名）。
• 利奥波德·克罗内克：学生与通信者，狄利克雷曾向他抱怨教学负担。
• 理查德·戴德金：学生，整理并出版《数论讲义》，加入理想论补充。
• 施勒夫利：意大利之行的翻译与学生。
• 爱德华·库默尔、斐迪南·爱森斯坦：柏林同时代数论学家，有交往。
• 对手：与利布里（Libri，刘维尔的对手）在巴黎时期有学术摩擦；关于任命有过争议。

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

• 家族来源误传：许多旧称狄利克雷家族来自法国。学界已更正：Butzer 等的谱系研究表明其家族来自比利时列日附近的里什莱，姓氏即"里什莱的少年"之意。本条在档案中应据 MacTutor 采用比利时来源说。
• $n=5$ 情形 2 的归属：完整证明由勒让德（审稿人）补出情形 2、狄利克雷后也独立补证。$n=5$ 的完整证明由二人共享，通常归功于"狄利克雷与勒让德"，优先权细节有商榷但不影响结果。
• 与柯西的证明之争：狄利克雷指出柯西关于傅里叶级数收敛的证明有错，柯西本人亦承认其证明有缺陷；这是分析严格化进程中的一次关键校正。
• 任命争议：1826—1827 年围绕他在德国大学获得教授资格，德国教授间有大量支持与反对的通信（无博士、不谙拉丁语是主要反对理由），但他以荣誉博士化解。
• 历史评价：狄利克雷被视为 19 世纪上半叶最深刻的数学家之一，解析数论、傅里叶分析、代数数论与现代函数概念的奠基者。他的证明风格——"简单观察 + 锐利分析"——影响深远。赫斯特、库默尔、Koch 等对其教学与品格评价极高。他开启的柏林数学黄金时代，经库默尔、克罗内克、魏尔斯特拉斯延续至 19 世纪末。

七、身后影响与学术谱系

• 解析数论：狄利克雷 $L$ 函数与特征方法成为整个解析数论的基本工具，从素数分布、类数公式到朗兰兹纲领的自守 $L$ 函数，无不溯源于此。
• 代数数论：单位定理与《数论讲义》（含戴德金理想论）是代数数论的基石，经戴德金、希尔伯特、类域论一脉相承。
• 分析：现代函数定义解放了分析；傅里叶级数严格理论经黎曼、勒贝格发展为现代调和分析；狄利克雷问题与狄利克雷原理是位势论、变分法与偏微分方程的核心。
• 数学物理：流体力学方程的精确积分、椭球引力、位势论方法影响了后来的连续介质力学与天体力学。
• 教育传承：黎曼是其最杰出的学生，黎曼几何、黎曼 $\zeta$ 函数都受狄利克雷启发；戴德金继承其数论遗产。
• 命名遗存：狄利克雷定理、狄利克雷 $L$ 函数、狄利克雷级数、狄利克雷特征、狄利克雷核、狄利克雷条件、狄利克雷函数、狄利克雷问题、狄利克雷原理、狄利克雷单位定理、狄利克雷逼近定理、抽屉原理（狄利克雷鸽巢原理）、狄利克雷判别法（级数收敛）、月球狄利克雷环形山等。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Johann Peter Gustav Lejeune Dirichlet：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Dictionary of Scientific Biography — Dirichlet (PDF, MacTutor 托管)：科学史权威传记条目（O. Ore 撰写）。
• Wikipedia: Peter Gustav Lejeune Dirichlet：生平与著作交叉核对。
• Wikipedia: Dirichlet's theorem on arithmetic progressions：算术级数素数定理的精确陈述与证明思路。
• Wikipedia: Dirichlet L-function：$L$ 函数与类数公式。
• Wikipedia: Dirichlet's test for convergence：级数收敛判别法。
• Wikipedia: Dirichlet problem：位势论边值问题。
• Wikipedia: Dirichlet's unit theorem：代数数域单位群结构。
• Encyclopædia Britannica — Peter Gustav Lejeune Dirichlet：权威百科条目。
• Heinz Klaus Strick 传记（MacTutor 托管 PDF）：通俗传记，补充生平细节。