混沌是数值游戏,还是客观实在?


 

吴 勇

(Email: wwuu129@163.com

重庆涪陵区国土局

2003,10公布于潜科学网站

 

提要:本文基于非线性演化的溃变论观点,对生态学中一维虫口模型的连续形式的解析解与迭代形式的数值解作了对比分析,结果发现两者存在较大差别,并简要讨论了出现这种差别的原因。从而我们认为洛伦兹“混沌”是数值游戏,而不是客观实在。

关键词:虫口模型 混沌 数值游戏 解析解 溃变论

1.引言

“混沌”又称“奇怪吸引子”。它是美国气象学家洛伦兹(Lorenz)于1963年在研究大气对流模型时,利用谱截断方法和在离散化的处理下应用数值计算,获得的“非周期流”。当时并未引起科学界的重视。后来,经过其他一些人的工作,尤其是1978年美国物理学家费根鲍姆(M.J.Feigenbaum)在研究生态学中的一维非线性迭代方程(虫口模型)的数值解时,发现了倍周期分叉和类似的“非周期流”,以及通向混沌道路上两个普适常数,方才使混沌引起科学界的高度重视并出现了研究热潮,一度使混沌学说发展成为非线性演化问题的代名词,而在自然科学和哲学界风靡了二十多年。尽管近几年来,混沌学说因应用遇到了困难而逐渐受到冷遇,已由80年代的混沌学说热时的“第三次革命”,称“混沌”架起了“确定性和随机性的桥梁”,并一时间兴起了“人类生活于概率的宇宙中”的论点,到目前降格为“内凛”随机性等等提法。但至今它的幽灵仍然笼罩在科学神圣殿堂的上空,似乎混沌已成为非线性演化问题的“正统理论”,自然很少有人怀疑它的正确性。欧阳首承及其研究小组(1994),根据非线性演化方程的解普遍具有不连续且逆向转化的特征,提出了预测事物转折性变化的“溃变理论”。从而,终结了300年牛顿连续体系的初值自相似演化特征。不仅为预测事物转折性变化(例如,强对流天气变化、地震、生命演化中的生与死、经济变化中的通货膨胀和经济危机、化学反应中的燃烧和爆炸等现象)找到了一条可行的理论途径;而且,符合“对立统一”的观点,也显化了我国古代“老子”和“易经”等朴素哲学思想中“远则反”、“穷则变,变则通,通则久”、“阴、阳”转换、“物有荣枯,人有生死”等观点。在这篇短文中,对涉及溃变现象的内容仅作了简要介绍,有兴趣的读者可查阅文后附的参考文献。我们还在许多文章中指出了混沌的“人为性”而非客观性,也是基于非线性演化的本质的非连续奇异性特征,已不能随意的将连续性方程像线性演化方程一样离散化,并强行数值计算;否则,将得出错误结果,就像“混沌”一样。为了说明我们的观点,本文(考虑网上发表的特点)不作长篇大论并尽量避免复杂的公式推导,仅就简单的一维非线性方程的解析解与数值解作对比分析就可证明混沌是一种数值游戏、而不是客观实在。

2. 一维虫口模型的连续形式与迭代形式的联系

一维虫口模型的迭代(标准)形式为

x n+1 = μx n ( 1-x n )  (1)

μ为参数。它是人们研究混沌的最简单方程,也是混沌概念得以普及和广泛传播最早的例子。

一维虫口模型的连续形式为

d x / d t = a x – bx2 (2)

t代表时间,a、b为参数。它的特点是能够在任意参数范围内求出其解析解,以便与迭代形式的数值结果作比较。将(2)的左端导数离散化,得

(x n+1 – x n ) / Δt = a x n– b x n2 (3)

当a、b分别取

a = (μ-1)/Δt , b = μ/Δt (4)

时,式(3)与式(1)等价。

下面我们分别介绍式(1)的数值结果和式(2)的解析解,并且分析它们结果之间的区别,便可发现式(1)的数值结果和式(2)的解析解有天攘之别,那么,将式(1)的数值结果,当作式(2)(原问题)的近似,是一种认识上的严重错误。即非线性演化方程的数值解(包括混沌)仅是一种数值游戏,而并非(原问题)的客观实在。

3.一维虫口模型迭代形式的数值解

生态学中的维虫口模型迭代形式的数值解最早是由美国物理学家费根鲍姆给出的。下面简要介绍其结果。

式(1)在限定参数0≤μ≤4和变量变化范围x∈[0,1]的数值计算结果给出如下:

0<μ<1, x n只有一个平衡态(不动点)0,即x n0,且是稳定的。μ=1时,发生超临界分岔。

1<μ≤3时,有一个平衡态0A,0点不稳定,A点稳定。μ=3时,又发生叉型分岔。

3<μ≤3.45时,x n在两个值上来回跳动,这叫周期2解。

3.449<μ≤3.545时,周期2解的两个值又不稳定,此时x n在四个值上来回跳动,这叫周期4解。

这样的过程不断继续下去,周期1不稳定分岔出周期2,周期2不稳定分岔出周期4,周期4不稳定分岔出周期8 ……(图略),但这样的过程又不是无限分下去的。当μ>3.57时,不是周期解,而是所谓的非周期解或称“非周期流”,即混沌。在倍周期分岔进入混沌的道路上,费根鲍姆还发现了两个普适常数,以及混沌的自相似结构等性质,在这里不作介绍,因为许多这方面的教科书都有详细讨论。

上面的数值结果反映了维虫口模型迭代形式(1)的演化,这是毫无疑问的。我们的问题是它是否(近似)反映了一维虫口模型的连续形式(2)的演化过程,就像线性微分方程的解一般可以用相应离散方程的数值解逼近它一样?所幸的是,解决这个问题并不难。因为在任何参数范围内,可以解出(2)的解析解,然后将两者加以比较就可一目了然。

4. 一维虫口模型的连续形式的解析解

对于一维虫口模型的连续形式(2)可以在任何参数条件下求出解析解。先给出初始条件如下

x (0) = x0 (5)

下面分几种情况讨论。

(Ⅰ). (2)式中,若忽略非线性因素b的影响,可化为线性方程

d x /d t = ax (6)

解出x,得

x = a0 e a t (7)

这里a0为积分常数。故在线性情况下,x不是随指数连续增长(a>0) 并趋于无限;就是随指数连续减少并趋于零(a<0)。显然,指数增长模型(线性模型)与实际情况不符合。

传统上生态学中非线性动态分析是根据普里高津(I.Prigogine)的S型逻辑增长理论进行的。(图略)。它仅反映了非线性稳定演化的一面,而未反映非稳定演化的关键问题,尤其是不稳定发展反映了系统逆向转换特征而显得格外重要。所以,I.Prigogine的S型逻辑增长曲线也未反映出非线性演化的整体特征。

(Ⅱ)。将动态演化模型(2)改写为

d x /d t = b x (q - x )  (8 )

这里q = a/b。积分(8)式,得

|x / (x – q ) |= b 0 e a t (9)

式中b o为积分常数,由初始状态x 0确定。下面分不同的情况给予讨论。

(1) . 如果q = a / b>0 ( 即a >0、b >0 或a <0、b <0 ) 时,则

(ⅰ).若x(包括x 0>q ,(9)展开为

x / (x – q ) = b 0 e a t  (10)

其中b 0由初值确定为

b 0 = x 0 / (x 0 – q ) >1  (11)

解出(10)中的x得

x = q / {1– [ ( x 0 – q ) / x 0] e – a t }  (12)

a)a > 0时,x随时间增大并连续地趋于平衡态q。这是系统稳定的情形。(图略)

(b).a < 0 时,(12)揭示了演化的转折性变化或溃变。这种情形,系统是不稳定的。溃变产生的时间为t = tc = -(1/a)ln[x 0/ (x 0 – q)],(图略)。故

当t < tc时,x随时间稳定连续增长,反映了初值的自相似演化过程;

当t = tc时,x由不稳定非连续发展为溃变,反映了初值自相似演化遭到破坏。

当t > tc时,x发生溃变后的逆转(当t→∞时,N 0)。

(ⅱ) .当0<x (包括x 0)<q时,(9)展开为

x / ( q – x ) = b 0 e a t (13)

这里b 0由初值确定为 b 0= x 0 / (q – x 0) >0。解出(13)的x,得

x = q /{1 + [ ( q –x 0 ) / x 0] e – a t } (14)

在这种情况下,无论a >0还是a <0, x都为稳定变化。不同的是,当a > 0时,t→∞,x →q;a < 0时,t →∞, x → 0(图略)

(2 ).如果q <0, (即a > 0、b < 0或a < 0、b > 0), 则由(9)有

x / (x – q ) = b 0 e a t (15)

这时b 0由初值确定为b 0 = x 0 / (x 0 – q ),且有0 < b 0 < 1,解出(3.9)中的x,得

x = – q / { [ ( x 0 – q ) / x 0] e – a t –1 } (16)

分两种情况讨论(16)的时间演化行为。

(ⅰ).当a > 0时,(16)为不稳定的溃变过程。其溃变发生的时刻为t = tc = (1/a)ln[ ( x 0 – q ) / x 0]( 图略)。(当t→∞时,x →q)这一阶段(t > tc)与第一阶段(t < tc)的初值自相似变化不同,产生了新形式的结构系统。

(ⅱ).a < 0时,(16)表示x稳定地随时间增加而趋于零(图略)

(Ⅲ?a = 0时,动态演化模型(2)改写为

d x / d t = – bx2 (17)

不难求出它的解为

x = x 0 / (1 + b x 0t) (18)

显然,当(b x 0 < 0,(18)式也是溃变解。

综上所述,一维虫口模型的连续形式(2),可根据不同的参数取值范围,呈现出两类不同的时间演化,一是稳定(连续)演化,另一类是非稳定(非连续)的转折性演化---溃变,并构成了如下的认识。

首先,在线性动态演化中,指数增长(a > 0)或指数减少(a < 0)的情况,在非线性演化中并不成立。也即是说,在非线性动态演化中,a > 0也可以趋于有限(稳定),而a < 0也可以是转折性变换(不稳定)。这反映了线性与非线性的本质区别。在传统上将线性看成非线性的近似观点,是认识的误区。而作为非线性模型的S型逻辑增长理论,仅是非线性整体演化中某种条件下的特例。

其次,在上述模型的分析中,无论参数限定在何种范围,都不存在相应离散方程数值计算出现的所谓倍周期解和“非周期流”,即混沌。现在是比较清楚的了,一维虫口模型的连续形式的解析解与迭代形式的数值解具有重大区别,以迭代形式的数值解逼近连续形式的解析解犯了认识上的重大错误。那么,这种错误是怎样产生的呢?下面根据这一例子作进一步的分析。

5.讨论

根据3节和4节的讨论,初步证明一维虫口模型的连续形式的解析解与迭代形式的数值解具有重大区别。下面进一步的分析这种错误是怎样产生的。根据式(1)和(2)的系数联系(4),在不同的参数变化对应情况为

0≤μ<1 时,a < 0,b > 0 ,q < 0;

μ = 1时,a = 0,b = 1/Δt , q = 0 ;

μ> 1 时,a > 0 , b > 0 , 0 < q < 1;

显然,在上面参数对应情况下,都可以找到解析解与其数值解的对应,可以发现它们之间是完全不同的。这里限于篇幅,仅举一个例子来说明。

对于μ> 1 时,对应有a > 0 , b > 0 , 0 < q < 1,如果μ=3.2时,x n就在0.513和0.799两个值之间跳动,即周期2解。对应的

q = a / b = (μ-1)/ μ= 0.686

显然,周期20.513将落在解析解的(14)中;而0799将落在解析解的(12)中。也就是说,在参数和初值完全确定的情况下,一维虫口模型的连续形式的演化只能是按照(12)式或者(14)演化,而不能同时一会按照(12)演化、一会按照(14)演化。数值解却能同时在两支解中演化,显然是矛盾的。在数值解的过程中,随着参数μ不断增大,又会分别以0.5130.799为中心在解析解的(12)和(14)中跳动,即出现所谓的周期4解,依次类推,就产生了数值解中的倍周期分岔。随着倍周期分岔的不断增大,就会产生计算混乱,即所谓的“非周期流”或混沌。

对于像洛伦兹方程那样的高阶复合型非线性演化方程,无法求解析解。在给定的参数和初值条件下,无法预先知道解是否有不连续奇异性,强行数值计算的结果,不能说明任何问题,也只能是数值计算游戏而已。

综上所述,无论是简单的非线性演化方程或是复杂的非线性演化方程都含有不连续奇异性特征,构成了与线性演化方程的重大区别。即非线性演化方程的线性化近似方程将丢弃非线性演化方程含有的且重要的不连续特征,而失真。虽然非线性演化的不连续性破坏了初值自相似演化,但仍然是确定性的。从这个意义上说,非线性演化的溃变理论,不仅区别于拉普拉斯初值自相似演化的牛顿体系;而且区别于量子力学和“混沌”理论的概率性演化。至于量子力学的概率性解释本质上也是由于非线性演化的不连续奇异性造成的(我们在有关文章中有讨论);而“混沌”却是强行数值积分出现的混乱结果。作为迭代方程的数值游戏并没有错,但将它作为原问题的客观演化实在,是犯了认识上的错误。这个问题值得科学家们认真思考。

 

参考文献

[1].欧阳首承,运动流体的断裂与天气预测的若干问题,成都科技大学出版社,(1994)。

[2].Ouyong,S.C., Wu,Y. ,Lin,Y .and Li,C.,The discontinuity problem and “Chaos” of Lorenz’s

model, Kybernetes, Vol.27,Num.6/7. pp.621—635.(1998).

[3].欧阳首承, D.H.McNeil, Lin Yi, 走进非规则, 气象出版社,(2002).

[4].欧阳首承,泛系预测观与流体暴转., 应用数学和力学 ,第10卷.第3期,pp255--262

(1995)

[5]Ouyang Shoucheng Wang Yongzong Wu Yong Li Chao The “rebel traveling” of general

Nonlinear evolutional equation and discussion on related problems,Applied Mathematics and

Mechanics, (English Edition) ,Vol.19,No.2,pp179—189,(1998).

[6]。欧阳首承.,王永中,吴勇,李超,一般非线性演化方程的“暴力进程”及有关问题的讨论, 应用数学和力学 ,第19卷、第2期,1998。

[7].Wu Yong ang Lin Yi Beyond nonstructural quantitative analysis ,World Scientific Publishing Co.Pte..Ltd. Singapore, (2002).

[8].Chao Li, Shou cheng Ou yong ,Yi Lin, nonlinear analysis of population evolution models,

Kybernetes, Vol.27,Num.6/7,pp.788—808.(1998)..

[9].欧阳首承,天气演化与结构预测,气象出版社,1998.

[10].OuYang,S.C.,et al. The second stir and incompleteness of quantitative analysis, Kybernetes,Vol.29,No.1and2,pp.53?0 ,2000.

[11].Yong Wu, Blown梪ps : a leap from specified local confusions to a general whole evolution, Kybernetes, Vol.27,num.6/7,pp.647?55 ,1998.

[12].OuYang,S.C. et.al. ,Evolutionary 揳ging?and 揹eath?and quantitative instability,International journal of Computational and Numerical analysis and Application,Vol.1,no.4,pp413?37 ,2002.

[13].Yi Lin and Yong Wu,Blown-ups and the concept of whole evolution in systems science,Problems of Nonlinear Analysis in Engineering systems,Vol.4,np7,pp16-31,1998.

[14].Y.Lin,C.Li,S.C.OuYang and Y.Wu,The mathematical structure of population and Lorenz抯 models and the problem of 揷haos? System Analysis Modelling Simulation,Vol.30,pp93-108,1998.

[15].Ouyang Shoucheng,Yi Lin and Wu Yong, Prediction of natural disasters ,Int.J.General systems,Vol.29(6),pp.897-912,2000.

-------

公式验证:

由中(2)式

d x / d t = a x – bx2

若a ,b不为零。 经整理,得

d x /d t = b x (q - x ) (a)

这里b = a/b,此即为文(8)式。上式分离变量,得

dx / [x (q - x )] = b d t (b)

将(b)的左边进一步展开为分部积分形式

(1 / q) {[ 1/x ] + [1 / (q – x )]} dx = b d t

{[ 1/x ] + [1 / (q – x )]} dx = b qd t = a d t

进一步展开为

[ dx/x ] + [dx / (q – x )] = a d t

两边积分,得

Ln│x│– Ln│q –x│ = a t + A0 (c)

A0 为积分常数。( c)式进一步整理

Ln│x/(q –x)│ = a t + A0 

|x / (x – q ) |= e (a t +A0) = b 0 e a t (d )

这里 b 0= e A0 。式(d) 即为文中(9)式

分两种情况讨论

(1) 如果q = a / b>0 ( 即a >0、b >0 或a <0、b <0 ) 时,则

(ⅰ).若x(包括x 0>q ,(9)或(d)式展开为

x / (x – q ) = b 0 e a t (e)

其中b 0由初值确定为

b 0 = x 0 / (x 0 – q ) >1

进一步展开(e)式

x = b 0 e a t (x – q ) = b 0 e a t x -- b 0q e a t

整理

( 1- b 0 e a t)x = – b 0q e a t

x = (– b 0q e a t) / ( 1- b 0 e a t) 

x = q / (1- b 0-1 e - a t) = q / {1– [ ( x 0 – q ) / x 0] e – a t }

此即为文中(12)式。

(ⅱ) 。 当0<x (包括x 0)<q时,(9)或(d)式展开为

x / ( q – x ) = b 0 e a t (f)

这里b 0由初值确定为 b 0= x 0 / (q – x 0) >0. 展开(f)式为

x = b 0 qe a t – b 0 e a t x  整理得

( 1 + b 0 e a t) x = b 0 qe a t

x = (b 0 qe a t) / ( 1 + b 0 e a t)

x = q / ( b 0 – 1e a t + 1) = q /{1 + [ ( q –x 0 ) / x 0] e – a t }

此即为文中(14)式。

(2 ).如果q <0, (即a > 0、b < 0或a < 0、b > 0), 则由(9)或(d)式(因为讨论种群x> 0),有

x / (x – q ) = b 0 e a t (g)

这时b 0由初值确定为b 0 = x 0 / (x 0 – q )。展开(g),得

x = b 0 e a t x – b 0 qe a t

整理

( 1 – b 0 e a t ) x = – b 0 qe a t

x = (– b 0 qe a t ) / ( 1 – b 0 e a t )

x = – q / (b 0 – 1e a t – 1 ) = – q / { [ ( x 0 – q ) / x 0] e – a t –1 }

此即为文中(12)式。

文中主要公式推导完毕。