7,129
个编辑
更改
无编辑摘要
在数学及科学中，'''非线性系统 Nonlinear System'''是一种输出的变化与输入的变化不成比例的系统<ref>{{Cite news|url=https://news.mit.edu/2010/explained-linear-0226|title=Explained: Linear and nonlinear systems|work=MIT News|access-date=2018-06-30}}</ref><ref>{{Cite web|url=https://www.birmingham.ac.uk/research/activity/mathematics/applied-maths/nonlinear-systems.aspx|title=Nonlinear systems, Applied Mathematics - University of Birmingham|website=www.birmingham.ac.uk|language=en-gb|access-date=2018-06-30}}</ref>。大多数系统在本质上是非线性的，因而非线性问题引起了工程师、,<ref>{{Citation|date=2007|pages=181–276|publisher=Springer Berlin Heidelberg|language=en|doi=10.1007/978-3-540-34153-6_7|title = The Nonlinear Universe|series = The Frontiers Collection|chapter = Nonlinear Biology}}</ref><ref>{{cite journal|last=Korenberg|first=Michael J.|last2=Hunter|first2=Ian W.|date=March 1996|title=The identification of nonlinear biological systems: Volterra kernel approaches|journal=Annals of Biomedical Engineering|language=en|volume=24|issue=2|pages=250–268|doi=10.1007/bf02667354|issn=0090-6964}}</ref><ref>{{cite journal|last=Mosconi|first=Francesco|last2=Julou|first2=Thomas|last3=Desprat|first3=Nicolas|last4=Sinha|first4=Deepak Kumar|last5=Allemand|first5=Jean-François|last6=Vincent Croquette|last7=Bensimon|first7=David|date=2008|title=Some nonlinear challenges in biology|url=http://stacks.iop.org/0951-7715/21/i=8/a=T03|journal=Nonlinearity|language=en|volume=21|issue=8|pages=T131|doi=10.1088/0951-7715/21/8/T03|issn=0951-7715|bibcode=2008Nonli..21..131M}}</ref>生物学家、物理学家<ref>{{cite journal|last1=Gintautas|first1=V.|title=Resonant forcing of nonlinear systems of differential equations|journal=Chaos|date=2008|volume=18|issue=3|pages=033118|doi=10.1063/1.2964200|pmid=19045456|arxiv=0803.2252|bibcode=2008Chaos..18c3118G}}</ref><ref>{{cite journal|last1=Stephenson|first1=C.|last2=et.|first2=al.|title=Topological properties of a self-assembled electrical network via ab initio calculation|journal=Sci. Rep.|volume=7|pages=41621|date=2017|doi=10.1038/srep41621|pmid=28155863|pmc=5290745|bibcode=2017NatSR...741621S}}</ref>、数学家和许多其他科学家的兴趣。描述变量随时间变化的非线性动力系统与较之简单得多的线性系统相比，可能显得混沌、不可预测或违反直觉<ref>{{cite book|last1=de Canete|first1=Javier, Cipriano Galindo, and Inmaculada Garcia-Moral|title=System Engineering and Automation: An Interactive Educational Approach|date=2011|publisher=Springer|location=Berlin|isbn=978-3642202292|page=46|url=https://books.google.com/?id=h8rCQYXGGY8C&pg=PA46&lpg=PA46&dq=most+systems+are+inherently+nonlinear+in+nature#v=onepage&q=most%20systems%20are%20inherently%20nonlinear%20in%20nature&f=false|accessdate=20 January 2018}}</ref>。
在数学及科学中，'''非线性系统 Nonlinear System'''是一种输出的变化与输入的变化不成比例的系统<ref>{{Cite news|url=https://news.mit.edu/2010/explained-linear-0226|title=Explained: Linear and nonlinear systems|work=MIT News|access-date=2018-06-30}}</ref><ref>{{Cite web|url=https://www.birmingham.ac.uk/research/activity/mathematics/applied-maths/nonlinear-systems.aspx|title=Nonlinear systems, Applied Mathematics - University of Birmingham|website=www.birmingham.ac.uk|language=en-gb|access-date=2018-06-30}}</ref>。大多数系统在本质上是非线性的，因而非线性问题引起了工程师、,<ref>{{Citation|date=2007|pages=181–276|publisher=Springer Berlin Heidelberg|language=en|doi=10.1007/978-3-540-34153-6_7|title = The Nonlinear Universe|series = The Frontiers Collection|chapter = Nonlinear Biology}}</ref><ref>{{cite journal|last=Korenberg|first=Michael J.|last2=Hunter|first2=Ian W.|date=March 1996|title=The identification of nonlinear biological systems: Volterra kernel approaches|journal=Annals of Biomedical Engineering|language=en|volume=24|issue=2|pages=250–268|doi=10.1007/bf02667354|issn=0090-6964}}</ref><ref>{{cite journal|last=Mosconi|first=Francesco|last2=Julou|first2=Thomas|last3=Desprat|first3=Nicolas|last4=Sinha|first4=Deepak Kumar|last5=Allemand|first5=Jean-François|last6=Vincent Croquette|last7=Bensimon|first7=David|date=2008|title=Some nonlinear challenges in biology|url=http://stacks.iop.org/0951-7715/21/i=8/a=T03|journal=Nonlinearity|language=en|volume=21|issue=8|pages=T131|doi=10.1088/0951-7715/21/8/T03|issn=0951-7715|bibcode=2008Nonli..21..131M}}</ref>生物学家、物理学家<ref>{{cite journal|last1=Gintautas|first1=V.|title=Resonant forcing of nonlinear systems of differential equations|journal=Chaos|date=2008|volume=18|issue=3|pages=033118|doi=10.1063/1.2964200|pmid=19045456|arxiv=0803.2252|bibcode=2008Chaos..18c3118G}}</ref><ref>{{cite journal|last1=Stephenson|first1=C.|last2=et.|first2=al.|title=Topological properties of a self-assembled electrical network via ab initio calculation|journal=Sci. Rep.|volume=7|pages=41621|date=2017|doi=10.1038/srep41621|pmid=28155863|pmc=5290745|bibcode=2017NatSR...741621S}}</ref>、数学家和许多其他科学家的兴趣。描述变量随时间变化的非线性动力系统与较之简单得多的线性系统相比，可能显得混沌、不可预测或违反直觉<ref>{{cite book|last1=de Canete|first1=Javier, Cipriano Galindo, and Inmaculada Garcia-Moral|title=System Engineering and Automation: An Interactive Educational Approach|date=2011|publisher=Springer|location=Berlin|isbn=978-3642202292|page=46|url=https://books.google.com/?id=h8rCQYXGGY8C&pg=PA46&lpg=PA46&dq=most+systems+are+inherently+nonlinear+in+nature#v=onepage&q=most%20systems%20are%20inherently%20nonlinear%20in%20nature&f=false|accessdate=20 January 2018}}</ref>。
通常，非线性系统的行为在数学上被描述为一组非线性的联立方程组，其中未知数（或微分方程中的未知函数）作为一个高于一次的多项式变量出现，或者作为一个非一次多项式函数的参数出现。
通常，非线性系统的行为在数学上被描述为一组非线性的联立方程组，其中未知数（或微分方程中的未知函数）作为一个高于一次的多项式变量出现，或者作为一个非一次多项式函数的参数出现。
换句话说，在非线性方程系统中，待解的方程不能被写成未知变量或函数的线性组合。无论方程中是否有已知的线性函数，系统都可以被定义为非线性。特别是当一个微分方程的未知函数及其导数是线性的，即使其他变量是非线性的，也称该方程是线性的。
换句话说，在非线性方程系统中，待解的方程不能被写成未知变量或函数的线性组合。无论方程中是否有已知的线性函数，系统都可以被定义为非线性。特别是当一个微分方程的未知函数及其导数是线性的，即使其他变量是非线性的，也称该方程是线性的。
由于非线性动力学方程难以求解，通常用线性方程来近似非线性系统（[[线性化]] Linearization）。这种方法对于一定范围的输入和某些精度要求下的效果不错，但一些有趣的现象如[[孤子]] Soliton、[[混沌]] Chaos和[[奇异性]] Singularity在线性化后被隐藏<ref>[http://ocw.mit.edu/OcwWeb/Earth--Atmospheric--and-Planetary-Sciences/12-006JFall-2006/CourseHome/index.htm Nonlinear Dynamics I: Chaos] at [http://ocw.mit.edu/OcwWeb/index.htm MIT's OpenCourseWare]</ref>。因此，非线性系统的动态行为在某些方面可能看起来违反直觉、不可预测、甚至混沌。尽管这种混沌行为可能感觉很像随机行为，但它实际上并不是随机的。例如，天气的某些方面被认为是混沌的，其系统某部分的微小扰动就会产生复杂的整体影响。这种非线性是目前技术无法进行精确长期预测的原因之一。
由于非线性动力学方程难以求解，通常用线性方程来近似非线性系统（[[线性化]] Linearization）。这种方法对于一定范围的输入和某些精度要求下的效果不错，但一些有趣的现象如[[孤子]] Soliton、[[混沌]] Chaos和[[奇异性]] Singularity在线性化后被隐藏<ref>[http://ocw.mit.edu/OcwWeb/Earth--Atmospheric--and-Planetary-Sciences/12-006JFall-2006/CourseHome/index.htm Nonlinear Dynamics I: Chaos] at [http://ocw.mit.edu/OcwWeb/index.htm MIT's OpenCourseWare]</ref>。因此，非线性系统的动态行为在某些方面可能看起来违反直觉、不可预测、甚至混沌。尽管这种混沌行为可能感觉很像随机行为，但它实际上并不是随机的。例如，天气的某些方面被认为是混沌的，其系统某部分的微小扰动就会产生复杂的整体影响。这种非线性是目前技术无法进行精确长期预测的原因之一。
有些作者用非线性科学这一术语来研究非线性系统。这一术语引起了其他人的争议:
有些作者用非线性科学这一术语来研究非线性系统。这一术语引起了其他人的争议:
“使用‘非线性科学’这样的术语，就如同把动物学里大部分对象称作‘非大象动物’研究一样可笑。”<ref>{{cite journal|last1=Campbell|first1=David K.|title=Nonlinear physics: Fresh breather|journal=Nature|date=25 November 2004|volume=432|issue=7016|pages=455–456|doi=10.1038/432455a|pmid=15565139|url=https://zenodo.org/record/1134179|language=en|issn=0028-0836|bibcode=2004Natur.432..455C}}</ref>
::::'''“使用‘非线性科学’这样的术语，就如同把动物学里大部分对象称作‘非大象动物’研究一样可笑。”<ref>{{cite journal|last1=Campbell|first1=David K.|title=Nonlinear physics: Fresh breather|journal=Nature|date=25 November 2004|volume=432|issue=7016|pages=455–456|doi=10.1038/432455a|pmid=15565139|url=https://zenodo.org/record/1134179|language=en|issn=0028-0836|bibcode=2004Natur.432..455C}}</ref> ——斯塔尼斯拉夫·乌拉姆 Stanislaw Ulam'''
==定义==
==定义==
*'''齐次性 Homogeneity''': <math>\textstyle f(\alpha x) = \alpha f(x).</math>
*'''齐次性 Homogeneity''': <math>\textstyle f(\alpha x) = \alpha f(x).</math>
当<math>\alpha</math>是有理数或实数，且<math>f(x)</math>是连续函数时，由可加性可以推出齐次性。但当α是复数时，可加性不能导出齐次性。例如，反线性映射是可加的，但不是齐次的。可加性和齐次性条件经常组合，称为叠加原理：
:<math>f(\alpha x + \beta y) = \alpha f(x) + \beta f(y)</math>
:<math>f(\alpha x + \beta y) = \alpha f(x) + \beta f(y)</math>
:<math>f(x) = C</math>
:<math>f(x) = C</math>
的方程，若 <math> f (x) </math> 是线性映射（如上定义） ，则称其为'''线性的 Linear'''，否则称为'''非线性的 Nonlinear'''。若<math>C = 0</math>，该方程称为是齐次的。
的方程，若 <math> f (x) </math> 是线性映射（如上定义），则称其为'''线性的 Linear'''，否则称为'''非线性的 Nonlinear'''。若<math>C = 0</math>，该方程称为是齐次的。
定义 <math>f(x) = C</math> 是非常具有一般性的，因为 <math>x</math> 可以是任意合理的数学对象（数字、向量、函数等），函数 <math>f(x)</math> 实际上可以是任意映射，包括有相关约束（如给定边界值）的积分或微分。若 <math>f(x)</math> 包含对 <math>x</math> 的微分运算，则该方程为微分方程。
定义 <math>f(x) = C</math> 是非常具有一般性的，因为 <math>x</math> 可以是任意合理的数学对象（数字、向量、函数等），函数 <math>f(x)</math> 实际上可以是任意映射，包括有相关约束（如给定边界值）的积分或微分。若 <math>f(x)</math> 包含对 <math>x</math> 的微分运算，则该方程为微分方程。
===相关概念辨析===
===相关概念辨析===
线性Linear、非线性 Nonlinear、亚线性 Sublinear、超线性 Superlinear：描述量与量之间的一种变化关系，例如<math>y=a+b*x^n</math>，其中<math>n>1</math>。当<math>n=1</math>时，表示为线性关系；<math>n\neq 1</math>时，表示为非线性关系；当<math>0<n<1</math>时，表示为亚线性关系；当<math>n>1</math>时，表示为超线性关系。
线性Linear、非线性 Nonlinear、亚线性 Sublinear、超线性 Superlinear：描述量与量之间的一种变化关系，例如<math>y=a+b*x^n</math>，其中<math>n>1</math>。当<math>n=1</math>时，表示为线性关系；<math>n\neq 1</math>时，表示为非线性关系；当<math>0<n<1</math>时，表示为亚线性关系；当<math>n>1</math>时，表示为超线性关系。
亚线性与超线性属于非线性变化关系范畴。当两个变量之间存在亚线性关系时，其典型特性是因变量的变化速率会随着自变量的增大而减小，即其一阶导数会随着自变量的增大而减小；两个变量之间存在超线性关系时，其典型特性是因变量的变化速率会随着自变量的增大而增大，即其一阶导数会随着自变量的增大而增大。
亚线性与超线性属于非线性变化关系范畴。当两个变量之间存在亚线性关系时，其典型特性是因变量的变化速率会随着自变量的增大而减小，即其一阶导数会随着自变量的增大而减小；两个变量之间存在超线性关系时，其典型特性是因变量的变化速率会随着自变量的增大而增大，即其一阶导数会随着自变量的增大而增大。
在线性系统中，整体等于部分和，描述线性系统的方程满足叠加原理，作用的总和正好等于每一部分作用相加的代数和，这意味着每一部分作用都是独立的、互不相关的；而在普遍存在的非线性系统中，作用的总和不等于每一部分作用相加的代数和，因为系统内部要素之间存在着复杂的非线性相互作用。
在线性系统中，整体等于部分和，描述线性系统的方程满足叠加原理，作用的总和正好等于每一部分作用相加的代数和，这意味着每一部分作用都是独立的、互不相关的；而在普遍存在的非线性系统中，作用的总和不等于每一部分作用相加的代数和，因为系统内部要素之间存在着复杂的非线性相互作用。
==非线性代数方程==
==非线性代数方程==
对于一个单一的多项式方程，求根算法可用于其求解（即找到满足该方程的变量的值集）。而代数方程组则相对复杂，其研究是现代数学的较难分支——代数几何领域的动力之一。甚至很难判断一个给定的代数系统是否有复数解（见[[希尔伯特零点定律]] Hilbert's Nullstellensatz）。不过，对于具有有限个复数解的系统的多项式方程组，我们现在已经有了充分的理解，并且找到了有效的求解方法<ref>{{cite journal |last1= Lazard |first1= D. |title= Thirty years of Polynomial System Solving, and now? |doi= 10.1016/j.jsc.2008.03.004 |journal= Journal of Symbolic Computation |volume= 44 |issue= 3 |pages= 222–231 |year= 2009 |pmid= |pmc=}}</ref>。
对于一个单一的多项式方程，求根算法可用于其求解（即找到满足该方程的变量的值集）。而代数方程组则相对复杂，其研究是现代数学的较难分支——代数几何领域的动力之一。甚至很难判断一个给定的代数系统是否有复数解（见[[希尔伯特零点定律]] Hilbert's Nullstellensatz）。不过，对于具有有限个复数解的系统的多项式方程组，我们现在已经有了充分的理解，并且找到了有效的求解方法<ref>{{cite journal |last1= Lazard |first1= D. |title= Thirty years of Polynomial System Solving, and now? |doi= 10.1016/j.jsc.2008.03.004 |journal= Journal of Symbolic Computation |volume= 44 |issue= 3 |pages= 222–231 |year= 2009 |pmid= |pmc=}}</ref>。
==非线性递推关系==
==非线性递推关系==
[[非线性递归]]关系中，序列的连续项被定义为其前项的非线性函数。非线性递归关系的例子有 [[logistic 映射]]和定义各种'''霍夫斯塔特序列 Hofstadter Sequences''' 的关系。非线性离散模型代表了一类广泛的非线性递归关系，包括 NARMAX（外部输入非线性自回归移动平均）模型和相关的非线性系统辨识和分析程序<ref name="SAB1">Billings S.A. "Nonlinear System Identification: NARMAX Methods in the Time, Frequency, and Spatio-Temporal Domains". Wiley, 2013</ref>。这些方法可用于研究时域、频域和时空域的广泛复杂非线性行为。
[[非线性递归]]关系中，序列的连续项被定义为其前项的非线性函数。非线性递归关系的例子有 [[logistic 映射]]和定义各种'''霍夫斯塔特序列 Hofstadter Sequences''' 的关系。非线性离散模型代表了一类广泛的非线性递归关系，包括 NARMAX（外部输入非线性自回归移动平均）模型和相关的非线性系统辨识和分析程序<ref name="SAB1">Billings S.A. "Nonlinear System Identification: NARMAX Methods in the Time, Frequency, and Spatio-Temporal Domains". Wiley, 2013</ref>。这些方法可用于研究时域、频域和时空域的广泛复杂非线性行为。
==非线性微分方程==
==非线性微分方程==
若一个微分方程组不是线性系统，则称其为非线性的。涉及[[非线性微分方程]]的问题非常多样，对不同问题的解决或分析方法也不相同。非线性微分方程的例子有流体力学中的纳维-斯托克斯方程 Navier-Stokes Equations和生物学中的洛特卡－沃尔泰拉方程 Lotka-Volterra Equations。
若一个微分方程组不是线性系统，则称其为非线性的。涉及[[非线性微分方程]]的问题非常多样，对不同问题的解决或分析方法也不相同。非线性微分方程的例子有流体力学中的纳维-斯托克斯方程 Navier-Stokes Equations和生物学中的洛特卡－沃尔泰拉方程 Lotka-Volterra Equations。
非线性问题最大的困难之一是通常不可能将已知的解组合成新的解。例如，在线性问题中，可以根据叠加原理以一族线性独立的解构造通解。一个很好的例子是带有'''狄利克雷边界条件 Dirichlet Boundary Conditions'''的一维热传导问题，其解可以写成（随时间变化）不同频率的正弦波的线性组合，这使得解非常灵活。而对非线性方程，通常可以找到几个非常特殊的解，但是此时叠加原理不适用，故无法构造新的解。
非线性问题最大的困难之一是通常不可能将已知的解组合成新的解。例如，在线性问题中，可以根据叠加原理以一族线性独立的解构造通解。一个很好的例子是带有'''狄利克雷边界条件 Dirichlet Boundary Conditions'''的一维热传导问题，其解可以写成（随时间变化）不同频率的正弦波的线性组合，这使得解非常灵活。而对非线性方程，通常可以找到几个非常特殊的解，但是此时叠加原理不适用，故无法构造新的解。
===常微分方程===
===常微分方程===
一阶常微分方程，尤其是自治（自主）方程，通常可以用分离变量法来精确求解。例如，非线性方程
:<math>\frac{d u}{d x} = -u^2</math>
:<math>\frac{d u}{d x} = -u^2</math>
方程的左边不是 ''u'' 及其导数的线性函数。注意，若将 ''u''<sup>2</sup> 项替换为''u''，该问题将变为线性的（指数衰减 Exponential Decay问题）。
方程的左边不是 ''u'' 及其导数的线性函数。注意，若将 ''u''<sup>2</sup> 项替换为''u''，该问题将变为线性的（指数衰减 Exponential Decay问题）。
二阶和高阶常微分方程（更一般地说，非线性方程组）很少能产生封闭解，而隐式解和非初等函数积分形式的解较为常见。非线性常微分方程定性分析的常用方法包括:
*检查是否有任意'''守恒量 Conserved Quantities'''（特别是在'''[[哈密顿]]系统 Hamiltonian System'''中）
*检查是否有任意'''守恒量 Conserved Quantities'''（特别是在'''[[哈密顿]]系统 Hamiltonian System'''中）
*检查是否有类似守恒量的耗散量（见'''[[李亚普诺夫函数]] Lyapunov Function'''）
*检查是否有类似守恒量的耗散量（见'''[[李亚普诺夫函数]] Lyapunov Function'''）
*基于'''[[泰勒展开] Taylor Expansion'''的线性化
*基于'''[[泰勒展开]] Taylor Expansion'''的线性化
*将变量进行代换以便更好的进行研究
*将变量进行代换以便更好的进行研究
*'''[[摄动理论]] Perturbation Theory'''（也可应用于代数方程）
*'''[[摄动理论]] Perturbation Theory'''（也可应用于代数方程）
===偏微分方程===
===偏微分方程===
研究非线性偏微分方程最常用的基本方法是变量代换（或转换问题），使变换后的问题更简单（甚至可能变为线性的）。有时可以将此类方程转化成一或多个常微分方程（如同分离变量法所示），此时不论得到的常微分方程是否可解，但是对研究问题总是有用的。
研究非线性偏微分方程最常用的基本方法是变量代换（或转换问题），使变换后的问题更简单（甚至可能变为线性的）。有时可以将此类方程转化成一或多个常微分方程（如同分离变量法所示），此时不论得到的常微分方程是否可解，但是对研究问题总是有用的。
另一个流体力学和热力学中常见的策略（虽然不是数学上的）是利用'''[[尺度分析]] Scale Analysis'''将一特定边界条件下简化一般自然方程。例如，在描述圆管内一维层流的瞬态时，非线性的[[纳维－斯托克斯方程]] Navier-Stokes 可以简化为一个线性的偏微分方程; 尺度分析提供了层流和一维流动的条件，也产生了简化的方程。
另一个流体力学和热力学中常见的策略（虽然不是数学上的）是利用'''[[尺度分析]] Scale Analysis'''将一特定边界条件下简化一般自然方程。例如，在描述圆管内一维层流的瞬态时，非线性的[[纳维－斯托克斯方程]] Navier-Stokes 可以简化为一个线性的偏微分方程; 尺度分析提供了层流和一维流动的条件，也产生了简化的方程。
其他方法包括检查特征线法及前面所述研究常微分方程的方法。
其他方法包括检查特征线法及前面所述研究常微分方程的方法。
===单摆===
===单摆===
因为 <math>\theta \approx \pi</math> 时，有 <math>\sin(\theta) \approx \pi - \theta</math>。这个问题的解含双曲正弦曲线；注意到不同于小角度近似，它是不稳定的，这意味着 <math>|\theta|</math> 通常会无限增长（但解也有可能是有界的）。这就解释了摆在最高点达到平衡的困难，此时实际上是一种不稳定的状态。
因为 <math>\theta \approx \pi</math> 时，有 <math>\sin(\theta) \approx \pi - \theta</math>。这个问题的解含双曲正弦曲线；注意到不同于小角度近似，它是不稳定的，这意味着 <math>|\theta|</math> 通常会无限增长（但解也有可能是有界的）。这就解释了摆在最高点达到平衡的困难，此时实际上是一种不稳定的状态。
一个更有趣的线性化可能是在 <math>\theta = \pi/2</math>附近，此时 <math>\sin(\theta) \approx 1</math>:
一个更有趣的线性化可能是在 <math>\theta = \pi/2</math>附近，此时 <math>\sin(\theta) \approx 1</math>:
这相当于一个自由落体问题。把这样线性化的结果合在一起看，就能得到有关摆的运动的非常有用的图像，如右图所示。利用其他方法寻找（精确的）'''[[相图]] Phase Portrait'''和估计周期。
这相当于一个自由落体问题。把这样线性化的结果合在一起看，就能得到有关摆的运动的非常有用的图像，如右图所示。利用其他方法寻找（精确的）'''[[相图]] Phase Portrait'''和估计周期。
==非线性动力学行为的类型==
==非线性动力学行为的类型==
*'''[[自激振荡]] Self-oscillations'''——开放耗散物理系统中的反馈振荡
*'''[[自激振荡]] Self-oscillations'''——开放耗散物理系统中的反馈振荡
==非线性方程的例子==
==非线性方程的例子==