今天“集智百科精选”是一个长期专栏,持续为大家推送复杂性科学相关的基本概念和资源信息。作为集智俱乐部的开源科学项目,集智百科希望打造复杂性科学领域最全面的百科全书,欢迎对复杂性科学感兴趣、热爱知识整理和分享的朋友加入!

本文是对集智百科中“非线性系统”词条的摘录,参考资料及相关词条请参阅百科词条原文。


本词条由集智俱乐部众包生产,难免存在纰漏和问题,欢迎大家留言反馈或者前往对应的百科词条页面进行修改,一经修改,可以获得对应的积分奖励噢!



目录


一、什么是非线性系统?

二、定义

三、非线性代数方程

四、非线性递推关系

五、非线性微分方程

六、非线性动力学行为的类型

七、相关资源推荐

八、集智百科词条志愿者招募



一、什么是非线性系统?

在数学及科学中,非线性系统 Nonlinear System 是一种输出的变化与输入的变化不成比例的系统。大多数系统在本质上是非线性的,因而非线性问题引起了工程师、生物学家、物理学家、数学家和许多其他科学家的兴趣。


描述变量随时间变化的非线性动力系统与较之简单得多的线性系统相比,可能显得混沌、不可预测或违反直觉。

通常,非线性系统的行为在数学上被描述为一组非线性的联立方程组,其中未知数(或微分方程中的未知函数)作为一个高于一次的多项式变量出现,或者作为一个非一次多项式函数的参数出现。

换句话说,在非线性方程系统中,待解的方程不能被写成未知变量或函数的线性组合。无论方程中是否有已知的线性函数,系统都可以被定义为非线性。特别是当一个微分方程的未知函数及其导数是线性的,即使其他变量是非线性的,也称该方程是线性的。


在线性系统中,整体等于部分和,描述线性系统的方程满足叠加原理,作用的总和正好等于每一部分作用相加的代数和,这意味着每一部分作用都是独立的、互不相关的;


而在普遍存在的非线性系统中,作用的总和不等于每一部分作用相加的代数和,因为系统内部要素之间存在着复杂的非线性相互作用。


由于非线性动力学方程难以求解,通常用线性方程来近似非线性系统(线性化 Linearization)。这种方法对于一定范围的输入和某些精度要求下的效果不错,但一些有趣的现象如孤子 Soliton、混沌 Chaos 和奇点 Singularity 在线性化后被隐藏。


因此,非线性系统的动态行为在某些方面可能看起来是违反直觉的、不可预测的、甚至是混沌的。。尽管这种混沌行为可能感觉很像随机行为,但它实际上并不是随机的。例如,天气的某些方面被认为是混沌的,其系统某部分的微小扰动就会产生复杂的整体影响。这种非线性是目前技术无法进行精确长期预测的原因之一。


有些作者用非线性科学这一术语来研究非线性系统。这一术语引起了其他人的争议:


“使用‘非线性科学’这样的术语,就如同把动物学里大部分对象称作‘非大象动物’研究一样可笑。” 

——斯塔尼斯拉夫·乌拉姆 Stanislaw Ulam


二、定义


在数学中,线性映射(或线性函数)f(x)满足以下两个性质:


  • 可加性 Additivity(叠加原理 Superposition principle): 

  • 齐次性 Homogeneity: 

当α是有理数或实数,且f(x)是连续函数时,由可加性可以推出齐次性。但当α是复数时,可加性不能导出齐次性。


例如,反线性映射(antilinear map)是可加的,但不是齐次的。可加性和齐次性条件经常组合,称为叠加原理:

对一个写成f(x)=C的方程,若 f(x) 是线性映射(如上定义),则称其为线性的 Linear,否则称为非线性的 Nonlinear。若C=0,该方程称为是齐次的。


定义 f(x)=C 是非常具有一般性的,因为 x 可以是任意合理的数学对象(数字、向量、函数等),函数 f(x) 实际上可以是任意映射,包括有相关约束(如给定边界值)的积分或微分。若 f(x) 包含对 x 的微分运算,则该方程为微分方程。


相关概念辨析

线性Linear、非线性 Nonlinear、亚线性 Sublinear、超线性 Superlinear:描述量与量之间的一种变化关系,例如,其中n>1。


当n=1时,表示为线性关系;


当n≠1时,表示为非线性关系;当0<n<1时,表示为亚线性关系;当n>1时,表示为超线性关系。


亚线性与超线性属于非线性变化关系范畴。当两个变量之间存在亚线性关系时,其典型特性是因变量的变化速率会随着自变量的增大而减小,即其一阶导数会随着自变量的增大而减小;


两个变量之间存在超线性关系时,其典型特性是因变量的变化速率会随着自变量的增大而增大,即其一阶导数会随着自变量的增大而增大。



三、非线性代数方程


非线性代数方程,又称多项式方程,由某多项式(次数大于1)等于零定义。例如:



对于一个单一的多项式方程,求根算法可用于其求解(即找到满足该方程的变量的值集)。而代数方程组则相对复杂,其研究是现代数学的较难分支——代数几何领域的动力之一。


甚很难判断一个给定的代数系统是否有复数解(见希尔伯特零点定律 Hilbert’s Nullstellensatz)。不过,对于具有有限个复数解的系统的多项式方程组,我们现在已经有了充分的理解,并且找到了有效的求解方法。



四、非线性递推关系


非线性递归关系中,序列的连续项被定义为其前项的非线性函数。非线性递归关系的例子有 logistic 映射和定义各种霍夫斯塔特序列 Hofstadter Sequences 的关系。


非线性离散模型代表了一类广泛的非线性递归关系,包括 NARMAX(外部输入非线性自回归移动平均)模型和相关的非线性系统辨识和分析程序。这些方法可用于研究时域、频域和时空域的广泛复杂非线性行为。



五、非线性微分方程


若一个微分方程组不是线性系统,则称其为非线性的。涉及非线性微分方程的问题非常多样,对不同问题的解决或分析方法也不相同。非线性微分方程的例子有流体力学中的纳维-斯托克斯方程 Navier-Stokes Equations和生物学中的洛特卡-沃尔泰拉方程 Lotka-Volterra Equations。


非线性问题最大的困难之一是通常不可能将已知的解组合成新的解。例如,在线性问题中,可以根据叠加原理以一族线性独立的解构造通解。


一个很好的例子是带有狄利克雷边界条件 Dirichlet Boundary Conditions 的一维热传导问题,其解可以写成(随时间变化)不同频率的正弦波的线性组合,这使得解非常灵活。而对非线性方程,通常可以找到几个非常特殊的解,但是此时叠加原理不适用,故无法构造新的解。


常微分方程

一阶常微分方程,尤其是自治(自主)方程(autonomous equations),通常可以用分离变量法来精确求解。例如,非线性方程


作为一般解(也有特解 u = 0,对应于 C 趋于无穷时的一般解的极限)。该方程是非线性的,因为它可以改写成



方程的左边不是 u 及其导数的线性函数。注意,若将项替换为u,该问题将变为线性的(指数衰减 Exponential Decay问题)。


二阶和高阶常微分方程(更一般地说,非线性方程组)很少能产生封闭解,而隐式解和非初等函数积分形式的解较为常见。非线性常微分方程定性分析的常用方法包括:


  • 检查是否有任意守恒量 Conserved Quantities(特别是在哈密顿系统 Hamiltonian System中)

  • 检查是否有类似守恒量的耗散量(见李雅普诺夫函数 Lyapunov Function)

  • 基于泰勒展开 Taylor Expansion的线性化

  • 将变量进行代换以便更好的进行研究

  • 分岔理论 Bifurcation Theory

  • 摄动理论 Perturbation Theory(也可应用于代数方程)


偏微分方程

研究非线性偏微分方程最常用的基本方法是变量代换(或转换问题),使变换后的问题更简单(甚至可能变为线性的)。有时可以将此类方程转化成一或多个常微分方程(如同分离变量法所示),此时不论得到的常微分方程是否可解,但是对研究问题总是有用的。


另一个流体力学和热力学中常见的策略(虽然不是数学上的)是利用尺度分析 Scale Analysis将一特定边界条件下简化一般自然方程。例如,在描述圆管内一维层流的瞬态时,非线性的纳维-斯托克斯方程 Navier-Stokes equations, 可以简化为一个线性的偏微分方程; 尺度分析提供了层流和一维流动的条件,也产生了简化的方程。


其他方法包括检查特征线法及前面所述研究常微分方程的方法。


单摆

图1:单摆图解


图2:单摆的线性化


一个经典的被广泛研究的非线性问题是重力影响下的单摆的动力学。利用拉格朗日力学 Lagrangian Mechanics,可以证明单摆的运动可以用无量纲的非线性方程



描述,其中重力指向“下”,θ 是摆与其静止位置形成的角度,如右图所示。“解”这个方

程的方法之一是用作为积分因子 Integrating Factor,最终得



这是一个含椭圆积分 Elliptic Integral的隐式解。这个“解”通常没什么用,因为这个解的大部分性质都隐藏在非初等函数积分中(除非,否则是非初等的)。


另一种解决这个问题的方法是利用泰勒展开将任意非线性项(此时为正弦函数项)在某些点进行线性化。例如,在θ=0 的点附近线性化(称为小角度近似)为



因为 θ≈0 时,有 sin(θ)≈θ。这是一个简谐振子 Simple Harmonic Oscillator ,对应于摆在其路径底部附近的摆动。另一种线性化方法是在 θ=π附近线性化,对应于运动到最高点的摆:


因为 θ≈π 时,有 sin(θ)≈π−θ。这个问题的解含双曲正弦曲线;注意到不同于小角度近似,它是不稳定的,这意味着 |θ| 通常会无限增长(但解也有可能是有界的)。这就解释了摆在最高点达到平衡的困难,此时实际上是一种不稳定的状态。


一个更有趣的线性化可能是在附近,此时 sin(θ)≈1:


这相当于一个自由落体问题。把这样线性化的结果合在一起看,就能得到有关摆的运动的非常有用的图像,如右图所示。利用其他方法寻找(精确的)相图 Phase Portrait和估计周期。


六、非线性动力学行为的类型


  • 振幅死亡 Amplitude Death——系统内的某振荡因系统的自回馈或与其他系统的某种相互作用而停止的现象

  • 混沌 Chaos——系统内的值无法无限期地预测到遥远的未来;波动是非周期性的

  • 多稳态 Multistability——两或多个稳态的存在

  • 孤子 Solitons——自增强的孤立波

  • 极限环 Limit Cycles——吸引不稳定不动点的渐近周期轨道

  • 自激振荡 Self-oscillations——开放耗散物理系统中的反馈振荡



七、相关资源推荐


课程推荐

非线性动力学和混沌理论是系统发展的,从一阶微分方程及其分岔开始,然后是相平面分析,极限环和它们的分岔,最终得到Lorenz方程,混沌,迭代映射,周期倍增,重整化,分形和奇怪吸引。此系列课程由斯蒂文·斯特罗加茨 Steven H. Strogatz主持,内容包括机械振动,激光,生物节律,超导电路,昆虫爆发,化学振荡器,遗传控制系统,混沌水轮,甚至是使用混乱发送秘密信息的技术。在每种情况下,科学背景都在初级阶段进行解释,并与数学理论紧密结合。



课程地址:

https://campus.swarma.org/course/697


八、百科项目志愿者招募


作为集智百科项目团队的成员,本文内容由Moonscar、Dorr,木子二月鸟,打豆豆参与贡献。我们也为每位作者和志愿者准备了专属简介和个人集智百科主页,更多信息可以访问其集智百科个人主页。




以上内容都是我们做这项目的起点,作为来自不同学科和领域的志愿者,我们建立起一个有效的百科团队,分配有审校、翻译、编辑、宣传等工作。我们秉持:知识从我而来,问题到我为止的信念,认真负责编撰每一个词条。


在这里从复杂性知识出发与伙伴同行,同时我们希望有更多志愿者加入这个团队,使百科词条内容得到扩充,并为每位志愿者提供相应奖励与资源,建立个人主页与贡献记录,使其能够继续探索复杂世界。


欢迎扫描下方二维码添加负责人加入集智百科团队!



来源:集智百科
编辑:曾祥轩



推荐阅读


混沌理论 | 集智百科
一堂课讲清非线性动力学、混沌、分型、网络科学、复杂系统的区别和联系
什么是元胞自动机?| 集智百科

论文解读:解救深度学习过拟合的神器——非线性系数

加入集智,一起复杂!







集智俱乐部QQ群|877391004

商务合作及投稿转载|swarma@swarma.org

◆ ◆ 

搜索公众号:集智俱乐部


加入“没有围墙的研究所”

让苹果砸得更猛烈些吧!



👇点击“阅读原文”,阅读“非线性动力系统”词条原文和有关文献!