← 返回 约翰·伯努利 简介档案 深度档案
微积分变分法

约翰·伯努利(Johann Bernoulli)

莱布尼茨微积分在欧洲大陆最有力的推广者与应用大师——提出最速降线问题开创变分法,洛必达法则的真正作者,欧拉的老师,被同时代人誉为「当代阿基米德」(Archimedes of his age,此语刻于其墓碑),却一生深陷与兄长、亲子的优先权之争。

一、生平与时代背景

约翰·伯努利于 1667 年 7 月 27 日(儒略旧历)/ 8 月 6 日(格里高利历)出生于瑞士巴塞尔,是尼古拉与玛格丽塔·伯努利的第十个孩子,比兄长雅各布小 12 岁。家族是从尼德兰安特卫普逃出的新教难民,在巴塞尔经营香料生意,信奉加尔文宗。约翰在自传中写道,父母「不遗余力、不惜代价地在道德与宗教上给予我适当教育」。

父母安排他从商:1682 年(15 岁)他在香料行做了一年,极不适应、业绩很差。1683 年父亲勉强同意他入巴塞尔大学,但指定他学医学(伯努利家族多人虽热爱数学却被安排学医)。在大学里他随兄长雅各布私下学数学,两人一起啃莱布尼茨 1684 年那篇晦涩的微分学论文;两年后,约翰的数学功力已与兄长不相上下。1690 年他发表第一篇论文,内容却是发酵作用(医学相关,非数学)。

1691 年他赴日内瓦讲授微分学,随后到巴黎进入马勒伯朗士(Malebranche)的学术圈,结识了洛必达侯爵。洛必达发现约翰对莱布尼茨新微积分的理解远超巴黎所有人,便请他私下授课(在巴黎及洛必达的 Oucques 庄园),报酬丰厚;约翰回巴塞尔后仍以通信授课,洛必达支付相当于半个教授的薪水。正是这些讲义,后来成为史上第一本微积分教科书(1696 年洛必达出版)的蓝本,书中的「洛必达法则」实为约翰的结果。1692 年在巴黎他结识了瓦里尼翁(Varignon),二人结下深厚友谊,瓦里尼翁从他那里学到微积分的大量应用;同年他开始与莱布尼茨通信,这成为莱布尼茨一生最重要的通信之一。

1691 年他解出雅各布同年提出的悬链线问题,这是他第一个独立于兄长的重要成果。1694 年他提交医学博士论文,主题其实是肌肉运动的数学应用。1695 年他收到两个讲席邀请:哈雷与格罗宁根(数学,经惠更斯推荐),他欣然接受格罗宁根——终于获得与兄长平等的地位。此时他已与 Drothea Falkner 结婚,长子尼古拉(II)才 7 个月。1695 年 9 月 1 日举家出发,穿越战区、乘船下莱茵、再换马车与船,10 月 22 日抵达,开始了艰难的十年格罗宁根生涯:卷入宗教争端(被指控否认肉身复活、1702 年被学生 Venhuysen 写小册子指控信奉笛卡尔哲学、反对加尔文信仰,他写了 12 页长文答辩),次女 1697 年出生仅活六周,他本人重病一度被误传死讯;他引入的物理实验同时触怒笛卡尔派与加尔文派。

1696 年 6 月他提出最速降线问题挑战全欧,得到五个解答(他自己、雅各布、莱布尼茨、牛顿、洛必达),答案是摆线;雅各布随即回敬以等周问题。约翰对等周问题的早期解答不如雅各布,但 1718 年读到泰勒的著作后重做,给出了优雅解答,成为变分法的基石。

1705 年岳父思念女儿、不久于人世,约翰举家返巴塞尔,出发两天后雅各布病逝(他途中才得知)。他本拟接任希腊语讲席,因兄长去世而改任巴塞尔数学教授,并在此终老;期间拒绝了乌得勒支、莱顿及 1717 年格罗宁根的返聘邀请。

1713 年他深度卷入牛顿—莱布尼茨微积分优先权之争,坚定支持莱布尼茨,用微积分解出牛顿方法未能解决的问题以彰显其优越性;但他同时支持笛卡尔的漩涡说反对牛顿引力,这一点他是错的,并因此延误了牛顿物理在欧洲大陆的接受。他在力学中主张活力(vis viva,即动能)守恒,引发又一场旷日持久的争论。他与亲生儿子丹尼尔也陷入优先权之争:把自己的《水力学》(Hydraulica)倒署为 1732 年,以图压过丹尼尔 1738 年出版的《流体动力学》(Hydrodynamica),后被史家证伪。

约翰生前享有巨大声誉,当选巴黎、柏林、伦敦、圣彼得堡、博洛尼亚科学院院士,被誉为「当代阿基米德」。1748 年 1 月 1 日卒于巴塞尔。

二、学术生涯年表

年份 事件
1667 7 月 27 日(儒略旧历)/ 8 月 6 日(格里高利历)生于巴塞尔,双历法记年
1682 15 岁,遵父命在香料行学徒一年,失败
1683 入巴塞尔大学学医;私下随兄雅各布学数学,共读莱布尼茨微积分
1690 发表首篇论文(发酵,医学主题)
1691 赴日内瓦讲授微分学;解出悬链线(雅各布同年提出);到巴黎入马勒伯朗士圈,结识洛必达
1691—1692 为洛必达私下讲授微积分(巴黎与 Oucques 庄园)
1692 结识瓦里尼翁;开始与莱布尼茨通信(莱布尼茨一生最重要通信之一)
1694 提交医学博士论文(实为肌肉运动的数学应用);研究函数 $y=x^x$,用分部积分研究级数
1694 洛必达致信提出以每年 300 镑酬金换取其发现与讲义的保密与使用权;约翰接受
1695 接受格罗宁根数学讲席(惠更斯推荐);9 月 1 日举家迁往荷兰
1696 6 月在《教师学报》提出最速降线问题,挑战全欧;得到五个解答(含自己的),答案为摆线
1696 洛必达出版《阐明曲线的无穷小分析》,基于约翰讲义;含今称「洛必达法则」
1697 次女出生六周夭折;与雅各布关系彻底破裂
1702 遭学生 Venhuysen 小册子指控,写 12 页答辩
1705 得知岳父病重,举家返巴塞尔;途中获悉雅各布去世;接任巴塞尔数学教授
1713 卷入牛顿—莱布尼茨之争,力挺莱布尼茨;错误支持笛卡尔漩涡说
1718 重读泰勒后重新解出等周问题,给出变分法的奠基性解答
1738 出版《水力学》(倒署 1732 年),与子丹尼尔争优先权
1748 1 月 1 日卒于巴塞尔;墓碑刻「当代阿基米德」

三、核心成果(逐条技术解析)

1. 最速降线问题——变分法的诞生

问题背景:在重力作用下,一质点从较高点到不在其正下方的较低点,沿什么曲线下滑时间最短?这是 17 世纪末的著名挑战,伽利略曾给出错误答案(圆弧)。

关键思想:1696 年 6 月约翰在《教师学报》公开征解。他自己的解法巧妙地用了光学类比:把质点的速度类比为光在变折射率介质中的速度,按费马最短时间原理(斯涅尔定律的连续推广),把竖直方向切成薄片,在每片内速度近似恒定、路径满足折射定律 $\sin\theta/\sqrt{y}=\text{常数}$,从而推出曲线的微分方程。

精确表述:设质点从原点由静止出发,能量守恒给出 $v=\sqrt{2gy}$,最速降线满足 $$\frac{dx}{dy}=\sqrt{\frac{y}{a-y}},$$ 其解为摆线(旋轮线)的参数方程:$x=a(\theta-\sin\theta),\ y=a(1-\cos\theta)$。共收到五个有效解答(约翰、雅各布、莱布尼茨、牛顿、洛必达),均指向摆线。

与前人关系:伽利略曾尝试但错误地认为是圆弧;约翰的光学类比受费马原理启发(雅各布此前也研究过类似思想)。

局限性:这是「对一条曲线取极值」的天才特例,但尚未抽象为一般的变分法框架。一般的欧拉—拉格朗日方程要到 1744 年(欧拉)与 1760 年代(拉格朗日)才系统建立;约翰 1718 年对等周问题的工作是迈向这一框架的关键一步。

2. 洛必达法则的真正作者

问题背景:求形如 $0/0$ 的不定式极限,是微积分早期的核心计算问题。

关键思想:约翰在 1694 年给洛必达的通信讲义中给出了这一法则。洛必达将其写入 1696 年的《无穷小分析》第 9 章,此后以「洛必达法则」传世,约翰长期被埋没。

精确表述(现代形式):若 $\lim_{x\to a} f(x)=\lim_{x\to a} g(x)=0$(或同为 $\infty$),且 $g'(x)\neq 0$ 在 $a$ 附近,则 $$\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)},$$ 只要右端极限存在。

与前人关系:法则的思想(以导数比代替函数比)源自莱布尼茨微分法;约翰是给出一般陈述者,洛必达是整理出版者。洛必达书中还纠正了约翰的若干错误(如约翰误以为 $\int dx/x$ 是有限的),说明他并非纯粹抄写。

局限性:1922 年 Schafheitlin 在巴塞尔公共图书馆发现约翰侄子尼古拉(I)抄写的约翰微分学课程手稿,与洛必达的书高度雷同,才最终证实此为约翰的成果(详见第六节)。

3. 悬链线的解法

问题背景:一条柔软、不可伸长的均匀链条两端悬挂,在重力下取什么形状?伽利略曾猜测是抛物线,实为错误。雅各布 1690/1691 年重新提出该问题挑战全欧。

关键思想:约翰 1691 年解出,用微积分建立曲线的微分方程:取链条最低点,分析张力的水平与竖直分量,得到 $dy/dx = s/a$($s$ 为弧长),结合弧长微分推出双曲余弦解。

精确表述:悬链线方程为 $y=a\cosh(x/a) = \dfrac a2\left(e^{x/a}+e^{-x/a}\right)$,其中 $a$ 由张力与线密度决定。

与前人关系:莱布尼茨、惠更斯也在同一年(1691)各自独立解出;约翰的解法用微分方程,清晰有力。

局限性:这是他第一个独立于兄长的成果,用的是雅各布提出问题时给出的思路,故雅各布认为他只是在自己的框架内解题(兄弟争议之一)。

4. 等周问题与变分法的奠基(1718)

问题背景:在给定周长的闭曲线中,哪条围出的面积最大?以及更一般的带约束的变分问题。雅各布在最速降线之争后提出此问题回敬约翰。

关键思想:约翰早期解答不如雅各布;1718 年读到泰勒的著作后,他引入了沿变分曲线移动点的切线变化分析,给出一个优雅而一般的处理,包含了后来变分法的核心思想(极值曲线满足的必要条件的雏形)。

精确表述:约翰证明,等周条件下的面积最大问题可化为对一族曲线的变分分析,其极值曲线满足一个二阶微分关系,这是欧拉—拉格朗日方程在特定情形的早期形式。

与前人关系:古希腊已知道等周定理(圆面积最大),但无严格证明;约翰的变分方法是分析学处理此类问题的突破,直接启发欧拉。

局限性:尚未建立一般的变分法算法(欧拉 1744 年才给出系统的欧拉方程);他与雅各布的解答互相挑错,反映了方法的不成熟。

5. 分析学技法:分部积分、积分概念与函数研究

问题背景:如何系统地求积分(反微分)与求和级数?莱布尼茨给出了微分规则,但积分技术尚在草创。

关键思想:约翰把积分直接定义为微分的逆运算,以此求解微分方程取得巨大成功;他研究了函数 $y=x^x$(1694),用分部积分求和级数,并利用三角函数、双曲函数满足的微分方程发现其加法定理。

精确表述: - 分部积分:$\int u\,dv = uv - \int v\,du$,他系统用于级数求和与方程求解。 - $x^x$ 的积分与展开:他给出 $\int_0^1 x^{-x}\,dx = \sum_{n=1}^\infty n^{-n}$(一个著名的级数等式,有时称「Johann Bernoulli 级数」)。 - 他把积分看作微分的逆,而非面积,这一观点推动了微分方程求解技术。

与前人关系:分部积分思想在莱布尼茨处已有雏形,约翰将其系统化为工具;他是最早把 $x^x$ 这类「幂指函数」作为分析对象的人之一。

局限性:当时积分尚无严格定义(无极限、无测度),他的「逆运算」观点虽实用,却回避了收敛性与存在性问题。

四、代表著作与文献

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

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

七、身后影响与学术谱系

八、延伸阅读与权威来源