距离的模式是一个谜,但速度的模式却清楚得多。球开始时以50 米/秒
0 @- j8 L% i* `! g! j. B( `的向上速度出发,1 秒后速度减到大约40 米/秒;再过1 秒,速度是30 米/
' `% d( H4 G% ]( u l! t5 r秒;然后是20 米/秒,10 米/秒;最后是0 米/秒(静止)。再过1 秒后,球
7 m; T+ m( E( W0 E3 ?向下运动的速度是10 米/秒。采用负数,我们可以把这当作-10 米/秒的向上% |% M) O$ b& S6 @ [& J' d* Q
速度。随后的数秒,球继续向下运动:-20 米/秒,-30 米/秒,-40 米/秒, 2 S( W- v/ s8 a" r7 H4 n, O
-50 米/秒。最后球触及地面。因此,每隔1 秒测得的速度序列是: ' `- W' g% g4 ^
50,40,30,20,10,0,-10,-20,-30,-40,-50
& H2 W' @: Y+ ^0 L3 g9 q8 |0 H现在有一个几乎不会被忽视的模式,但让我们再进一步来看一看加速度。就$ w4 w' x- _% u. J
炮弹的加速度而言,相应的序列(用负数代表向下运动)是
" r7 p7 Q8 E+ y, N% S" o- J2 B: z-10,-10,-10,-10,-10,-10,-10,-10,-10,-10,-10 , ?0 R, }- G: E7 _
我想你会同意,这模式极其简单。炮弹向下的恒定加速度为10 米/秒2(真
3 f) X% {; B* h* N正的数值约为9.81 米/秒2,这取决于你在地球上的什么地方来做这一实验。3 Z. L- R7 C4 l' v- \
但10 比较好记)。
2 O5 K: e6 r0 x/ \1 j' _& e+ \我们如何来解释隐藏在动态变量中的这个常数呢?当其他所有变量都在% N. H0 r& W3 w, e' K j9 `
发生变化时,为什么加速度不变?一个引人注目的解释分成两个因素。第一- D9 y7 T" u9 N( |0 L
个因素是地球引力一定在将炮弹向下拉,即存在着作用于炮弹的重力。预期
1 x. h3 f9 _% c6 {2 }这个力在距地面不同的高度上保持相同是合理的。确实,由于重力把我们身2 k4 f3 O: H2 x' m( g2 _& r
体向下拉,我们感受到了重量。要是我们站在高楼的楼顶,我们仍然有相同
" ~" D% l4 [2 h# X: A* n的重量。当然,这种日常的观察并未告诉我们倘使距离变得足够大——如大
! J, W, Y: O5 D& B+ Q1 t到月球与地球之间的距离——会发生什么情况。不久我们将回到这个问题上
9 c2 s: k$ j9 e+ L; n! A' y6 ]来。
! F& S) m& f, ^$ H# Z* I6 F第二个因素是真正的突破。我们有一个在不变的向下力的作用下运动的: }9 t, S+ b3 r6 U* u
物体,并且我们观测到物体的运动有一个不变的向下的加速度。为方便起见, ) x0 _8 j8 r: W$ t3 S* ~
我们假定重力强一些,这样向下的加速度也大一些。我们没有到过重力较大
8 U% X& z; ^3 X& W6 F的行星,如木星,因此无法验证这一概念,但它似乎是合理的。同样有理由& w) |8 k7 a* }" ~) C- d) \ a
假设木星上向下的加速度也是常数,但它与地球上的常数不同。与这一真实( U# @+ U' j7 p% P' t: f& a
实验和理想实验混合物相容的最简单理论是,当一个力作用于物体时,物体- S# f2 u& I7 H) f( J- b
具有一个正比于该力的加速度。这正是牛顿运动定律的核心。唯一缺失的成( _6 K5 T4 `% e
分是,对一切物体和一切力,无论这些力是否保持不变,这一假设总是正确,
) L; C! F, o/ I; a8 f并且比例常数的确认与物体的质量有关。准确地说,牛顿运动定律表述为: $ P) ?# V% C! }2 v
质量×加速度=力
! V1 m' v& z+ j9 D/ b1 `这一定律的巨大价值在于,对于任何质量和力系统,包括随时间改变的质量
! V6 h1 G1 Y5 N6 ?. x和力,它都有效。我们通过论证得出这个定律的时候,未曾预料到这种普遍3 R( Z7 t4 D$ f7 y/ N
性,但结果正是如此。
; k4 W& M0 Z) R- g' Q4 a牛顿表述了3 条运动定律,但现代研究把它们视为单一数学方程的3 个
8 g8 {8 C1 G# p6 I. |3 K侧面。所以我将用“牛顿运动定律”这个短语指代这3 条定律。
2 t) [7 {- ^! X) ^& ~# M每当遇到一座山时,登山队员的自然冲动是攀登它;遇到一个方程时, ( U0 Z2 e' F- G* c8 p
数学家的自然冲动是求解它。但怎么解呢?已知物体的质量和作用于物体上5 z1 u* v" z# U" X7 r
的力,我们不难解这个方程,求得加速度。但这是对错误问题的解答。已知- ~9 W% M3 G! b$ Y7 x/ V( ]2 Z
炮弹的加速度总是-10 米/秒2,这并未告诉我们关于弹道形状的任何明显东
) F7 u" o% k* S' M/ n西。这是名为微积分的数学分支一显身手的地方,牛顿(以及菜布尼兹)为
) F4 d+ k( |+ |7 H此才发明了微积分。微积分提供了一种方法,如今叫积分方法,它使我们能
" I2 |) |! l: E ?# l$ p# G从任意时刻的加速度得出任意时刻的速度。我们同样可以用它来得到任意时
) h8 h' C* ~/ n5 T0 h5 Z1 |刻物体的位置。这才是对正确问题的解答。) m$ R8 b& ?/ Z, M3 v
我前面说过,速度是位置的变化率,加速度是速度的变化率。微积分则" l( j! u6 H3 ]+ o& A! V
是被发明出来处理变化率问题的数学方法。尤其是,它提供了求变化率的方$ Z/ J' X" S9 n; H% V7 k" N- ^, e; w
法——微分方法。积分“消除”微分的效果;积分两次消除微分两次的效果。* n: p0 c2 ~" Z5 H4 H- X
好像罗马神杰纳斯(Janus)的两张面孔①朝向相反,这些孪生的微积分方法
+ Z/ k' L+ b$ c: c( I0 I作用相反。如果知道任一时刻任意一个函数——位置、速度和加速度,就可' z+ n$ ?- f& a- E
以算出另外两个函数。( G' L' b8 A$ _4 G2 w7 q! [- }
牛顿运动定律给我们上了重要一课。这就是,从自然定律到自然行为的
1 E9 i( k1 u0 k X) _) X7 R9 X m道路不一定是直接的、明显的。在我们观察到的自然行为和产生这些行为的+ M8 b0 S9 R [" ?0 U
自然定律之间是一道鸿沟,人类心智只能借助数学计算来跨越它。这并不表* @9 f8 x- g6 o$ V9 h9 D
明自然界就是数学;不表明“上帝是数学家”[物理学家保罗·狄拉克(PauI
$ y4 L+ |5 {; U+ C1 w2 p* ~Dirac)如是说]。或许自然之模式和规律有其他起源,但无论如何,数学对0 \ z, K& m) O5 \, G+ r
于人类把握这些模式是一条极为有效的途径。' J% E5 ?' P8 a" b/ H
贯彻牛顿的基本思想,即自然界中的变化可用数学过程来描述,正如自
- r- w( [5 z* O然界中的形式可用数学上的事物来描述一样,所发现的物理定律都有一个相
% W1 P2 ^8 D T- z% e# T) Y似的特征。这些定律都以方程的形式表述。方程不是与最初感兴趣的物理量
& E& h b. o, _' X/ i有关,而是与那些物理量随时间变化的速率或那些速率随时间变化的速率相
* O/ y! w0 ?4 w' ~2 P5 l关。例如,决定热量如何通过导体的“热流方程”是关于物体温度的变化率" l) g8 C6 t# o+ g
的方程;支配水、空气或其他材料中波运动的“波动方程”,则与波高的变8 D" N9 W F Y) T, }+ Z
化率的变化率有关。光、声、电、磁、材料弹性弯曲、流体流动和化学反应3 D) ?- E8 I( Y* o4 \6 x+ d
进程的物理定律,都是有关各种变化率的方程。9 p; @/ [, x( t+ v
由于变化率涉及某个量的现在与将来某时刻的数值之差( difference ) ,
" l2 D- Y' w) T" c- i7 x; Z/ T所以这种方程叫微分( differential ) 方程, 微分
5 [' c+ x5 [, `! T9 g' w$ h* }& o(differenti-atiOn)这个术语就是这样得来的①。自牛顿以来,数学物理/ f7 v9 k: A; ~/ S
学的策略成为用各种微分方程来描述宇宙,然后求解方程。: B S) m- A+ f; z+ O4 w' C
然而,随着我们把这一策略用于更为复杂的领域,我们对“求解”这个
1 ]5 i" R, C( g词的认识经历了一系列重大变化。最初它意味着找到一个描述系统在任意时
: q5 A" e: ^2 p8 f* |刻的状态的准确的数学公式。牛顿发现的另一个重要的自然模式——万有引
# p' U2 M' ]5 g. L3 @( i力定律——就是建立在这种解的基础之上。他将开普勒发现的行星以椭圆形
+ {6 @$ |3 P/ c/ z. G0 d轨道运行与另两个也是由开普勒发现的数学规律②相结合作为开始,然后探- g9 L6 c0 S2 d) z
究作用于行星上的什么样的力必然产生开普勒发现的模式。实际上,牛顿试
9 k1 B% M U0 x% I7 B' D1 l图由自然行为反推自然定律。他运用的是归纳过程而不是演绎过程。他发现
+ u. t* [# w' R% x2 y+ T了一个美妙的结论:所需要的力应当总指向太阳方向;力应当随行星至太阳
5 I; _3 D, A6 i7 N0 F; h' f的距离增大而减小,并且,这种减小应当服从一个简单的数学定律——平方
% }4 s4 f! v% q1 b反比律。这就是说,例如,这一距离加倍,作用于行星上的力就减小到四分: l0 f/ Z$ o/ F; L5 s0 R2 M
之一;距离成3 倍,力减小到九分之一;以此类推。这一发现是如此美妙, 4 S# P' N) s( D+ p3 q4 p6 U( g* b
以致它肯定揭示了关于这个世界的深刻真理。从这一发现出发,与认识到必. E6 f3 K k0 n8 G% J- v, g
然是太阳产生这个力仅一步之遥。太阳吸引行星,假如行星远离太阳,则吸
9 F2 M! D# U* \9 x' O( K) j a4 l引力变弱。这是一个很动人的思想。牛顿又实现了一个巨大的智力飞跃:他
7 K& D, J: q/ V7 A: O5 M4 T认为同样类型的吸引力必然在宇宙中任何地方任何两个天体之间存在。7 |# v3 G; C$ }& E# P
至此,牛顿“归纳出”关于力的定律以后,才通过演绎行星运动的几何
& ^- l( ?' V! c; }' @学来自圆其说。对于服从平方反比律的两个相互吸引着的天体系统,牛顿求* y& m' i! b5 n0 H, b- j- ~4 F6 w
解根据他的运动定律和万有引力定律给出的方程。在当时,“求解”意味着
" b, d" s. J0 x找出其运动的数学公式。公式表明,天体必须围绕其公共质心以椭圆形轨道' S" t: E. S5 j& y1 `* Z
运动。当火星以一个巨大的椭圆形轨道绕太阳运行时,太阳却以一个小得其
1 K1 \2 P% Y, n" L" J; I4 O运动很难被察觉的椭圆形轨道运行。与火星相比,太阳的质量要大得多,这
; }7 Y2 j6 g! J3 [5 z( c使得两者的公共质心位于太阳表面处,这便解释了开普勒认为火星以椭圆形: Y" t0 a; {/ R$ n, l4 q
轨道围绕不动的太阳运行的原因。& w4 u# h8 w, b; g S j! v
然而,当牛顿和他的后继者试图再接再厉求解三体系统或多体系统—— 3 e& Q" i) y: C6 q* y
如月球/地球/太阳系统或整个太阳系——的方程时,他们遇到了技术上的困" F2 ~/ \4 K9 S& ~
难,而且他们只能靠改变“求解”这个词的含义来摆脱困境。他们找不到精
) H+ w+ {. ?. k$ j7 ?6 m确解出方程的任何公式,因此只得放弃这种努力,而企图找到计算近似值的8 b7 n" X4 f+ K
途径。例如,在1860 年前后,法国天文学家夏尔-欧仁·德洛内(Charles-
- V! A, k. |1 {/ ^0 i6 D OEugene Delallnay)用了几乎一本书的篇幅得到了一个在地球和太阳引力的
8 b; ?8 G. s, h. g作用下月球运动的近似解。它是一个相当精确的近似,所以它有一本书的篇1 N$ G8 K1 v1 N% z, J8 h
幅,而且德洛内花了20 年的时间才得出这一近似解。1970 年,用符号代数& V% f+ g6 Y4 @) D8 Y- b9 i
计算机程序核算它时,仅用了20 小时。在核算中只发现德洛内犯了3 个不严
/ k1 X+ y* f0 B重的错误。6 p, _; Z+ b: r
月球/地球/太阳系统的运动由于显见的原因叫做三体问题。它完全不同4 D5 @, C$ X8 ~# ^; h9 }
于由牛顿干净利落地解决了的二体问题,以致于就像是在另一个星系或另一* o+ k( K8 S8 J) P/ h+ c3 W
个宇宙中另一颗行星上发明出来的东西。三体问题寻求描述在平方反比律万
r" \3 ~, n& s% W# a6 q有引力作用下3 个天体运动的方程的解。数学家几个世纪来一直想找到这样
" B" D6 }5 A9 l6 F! u/ k的解,但除了得到近似值(如只适用于像月球/地球/太阳这样的特殊情形的, Z2 q1 h) Z' ]( y; L+ {3 h
德洛内近似)之外,未取得多少引人注目的进展。甚至连所谓的限制性三体 s" A/ [7 p$ q* s% O! i
问题,即其中一个天体质量很小,可以认为它对另两个天体不施加任何力, : i: N z1 a/ T( t! c4 P
都被证明完全无法逾越。这是第一个重要的暗示:了解定律可能不足以认识$ B+ U! F, O H: O7 j
系统的行为;定律与行为之间的鸿沟可能不总是可跨越的。
9 r. [) X# _5 q2 X3 G牛顿之后过了3 个世纪,尽管付出了巨大的努力,我们仍然没有得到关9 C# E: s) p0 E# s2 f/ i
于三体问题的完满答案。不过,我们终于明白了这个问题为什么如此难以攻
# Z3 y7 p# r9 o6 {: G1 Z克。二体问题是“可积的”①——能量守恒定律和动量守恒定律把解限制得
8 Z! t f4 U0 z$ }: z' v, ^( h相当严格,解被迫取一个简单的数学形式。1994 年,佐治亚理工学院的夏志' ]+ D2 Y% l, e f. T. k
宏(Zhihong Xia)②证明了数学家长久猜测的命题:三体系统不是可积的。
# x8 D; U( J; @$ Q8 D) f通过证明三体系统呈现一个由国立莫斯科大学的弗拉基米尔·阿诺德9 J1 i: J+ d" \' }) L; ]; d
(Vladimir Arnold)于1964 年首先发现的名为阿诺德扩散的奇怪现象,夏
4 h* H0 p. n. ?3 @* o志宏确实取得了不小的成果。阿诺德扩散在相对轨道位置上产生极其缓慢的* j2 m+ _6 L6 M- _7 a
“无规”漂移。这种漂移并非真正无规,它是如今称之为混沌的一类行为的
! ^7 O- J- H9 }- |5 k/ A一个例子。混沌作为貌似无规的行为可以用纯粹确定性的原因来描述。
9 u' r! M+ Y5 f1 v在此,我想请读者注意:这种研究再一次改变了“求解”的含义。起初
0 C2 j9 v5 [6 B6 G“求解”这个词意味着“求公式”,后来其含义变成“求近似数”,最后它* ^$ n% o( O# f4 X6 l% g
实际上变成“大致告诉我解像什么样子”。我们用寻求定性解答取代了寻求) t3 N/ a; X/ _! }$ |
定量解答。在一定意义上,正在发生的事好像是一种退步:要是求公式太难,
( N9 r! i# o/ O就试着求近似;要是近似不可得,就试一试定性描述。但把这种进步视为退
0 n6 ]) d3 R4 q8 q0 \; B步是错误的,因为这种含义变化给我们的启示是,对于像三体问题这样的问# M9 e6 |/ F0 Y1 ] l! t
题,不会存在任何公式。我们可以证明,存在着公式不能抓住的解的定性内* ~% Q# O# v7 s: f% q; n! Q# R
容。在这种问题中探求公式就是寻找海市蜃楼似的东西。' ~! m) p3 U: b$ \0 `
为什么人们首先想要得到一个公式呢?因为在动力学的早期岁月,那是4 ~4 H, J; O5 Z! u- t
证明何种运动存在的唯一一条路。之后,同样的信息可以由近似导出。如今, . c b2 m5 t7 q+ p C0 Z7 |
它可以从直接又精确地处理运动的主要定性方面的理论得到。正如我们在后. A- U8 [9 w' Q3 ~+ P# M, e7 r
面几章将看到的,这种向明显定性的理论的转变不是退步,而是一个长足的 U4 R; b: r4 F6 O5 t/ U
进步。我们第一次开始按照自然的本来面目认识自然之模式。 |