非線形システム

数学科学において、非線形システム(または非線形システム)は、出力の変化が入力の変化に比例しないシステムである。 [ 1 ] [ 2 ]非線形問題は、ほとんどのシステムが本質的に非線形であるため、エンジニア生物学者[ 3 ] [ 4 ] [ 5 ]物理学者[ 6 ] [ 7 ]数学者、および他の多くの科学者の関心事である。[ 8 ]時間の経過に伴う変数の変化を記述する非線形動的システムは、はるかに単純な線形システムとは対照的に、混沌としていたり​​、予測不可能であったり、直感に反したりするように見えることがある。

通常、非線形システムの挙動は数学では非線形方程式系によって記述されます。これは、未知数 (微分方程式の場合は未知の関数) が 1 より高次の多項式の変数として、または 1 次多項式ではない関数の引数として現れる一連の同時方程式です。言い換えると、非線形方程式系では、解くべき方程式は、そこに登場する未知の変数または関数の線形結合として記述することはできません。既知の線形関数が方程式に現れるかどうかに関わらず、系は非線形として定義できます。特に、微分方程式は、そこに現れる他の変数に関しては非線形であっても、未知の関数とその導関数に関して線形であれば 線形です。

非線形動的方程式は解くのが難しいため、非線形システムは一般に線形方程式で近似されます (線形化)。 この方法は、ある程度の精度と入力値の範囲まではうまく機能しますが、ソリトンカオス[ 9 ]特異点などの興味深い現象は線形化によって隠れてしまいます。 そのため、非線形システムの動的動作のいくつかの側面は、直感に反し、予測不可能で、さらにはカオス的に見えることがあります。 このようなカオス的な動作はランダムな動作に似ている場合がありますが、実際にはランダムではありません。 たとえば、天気のいくつかの側面はカオス的であると考えられており、システムの一部で単純な変化が生じると、システム全体に複雑な影響が生じます。 この非線形性は、現在の技術では正確な長期予報が不可能な理由の 1 つです。

一部の著者は、非線形システムの研究に「 非線形科学」という用語を使用しています。この用語については異論もあります。

非線形科学のような用語を使用することは、動物学の大部分をゾウ以外の動物の研究であるとみなすようなものです。

意味

数学において、線型写像(または線型関数)とは次の両方の特性を満たすものです。

  • 加法性または重ね合わせの原理
  • 均質性:

加法性は任意の有理関数αに対して同次性を意味し、連続関数 αに対しては任意の実関数αに対して同次性を意味します。複素関数αの場合、同次性は加法性から導き出されません。例えば、反線型写像は加法性はありますが、同次ではありません。加法性と同次性の条件は、重ね合わせ原理においてしばしば組み合わされます。

次のように書かれた方程式

は、(上で定義したように)線型写像である場合には線型、そうでない場合には非線型と呼ばれます。この方程式は、が同次関数である場合には同次と呼ばれます。

の定義は非常に一般的であり、 は任意の数学的オブジェクト(数値、ベクトル、関数など)にすることができ、関数 は文字通り任意の写像にすることができ、これには関連する制約(境界値など)を伴う積分や微分も含まれます。が について微分を含む場合、結果は微分方程式となります。

非線形方程式系

非線形方程式系は、複数の変数を持つ方程式の集合で構成され、そのうちの少なくとも 1 つは線形方程式ではありません。

形式の単一方程式に対しては、多くの手法が考案されています。 「根を求めるアルゴリズム」を参照してください。f多項式の場合、次のような多項式方程式が存在します。一般根を求めるアルゴリズムは多項式の根に適用されますが、一般的にすべての根が求まるわけではなく、根が見つからない場合でも、根が存在しないことを意味するわけではありません。多項式に特有の手法では、すべての根または根を求めることができます。「実根分離」を参照してください。

多項式方程式系を解くこと、すなわち複数の変数を持つ複数の多項式の集合の共通零点を見つけることは難しい問題であり、グレブナー基底アルゴリズムなどの精巧なアルゴリズムが設計されている。[ 11 ]

微分可能な関数を零点に等しくすることで形成される連立方程式の一般的なケースでは、ニュートン法とその変種が主な手法です。これらの方法は一般に解を与えることはできますが、解の個数に関する情報は提供しません。

非線形再帰関係

非線形回帰関係は、ある数列の連続する項を、先行する項の非線形関数として定義する。非線形回帰関係の例としては、ロジスティック写像や、様々なホフスタッター数列を定義する関係などがある。非線形回帰関係の広範なクラスを表現する非線形離散モデルには、NARMAX(外生入力による非線形自己回帰移動平均)モデルや、関連する非線形システム同定・解析手順などがある。[ 12 ]これらのアプローチは、時間、周波数、時空間領域における複雑な非線形挙動の広範なクラスを研究するために使用できる。

非線形微分方程式

微分方程式は、線形方程式系でない場合、非線形であると言われます。非線形微分方程式を含む問題は非常に多様であり、解法や解析法は問題によって異なります。非線形微分方程式の例としては、流体力学におけるナビエ・ストークス方程式や生物学におけるロトカ・ヴォルテラ方程式などが挙げられます。

非線形問題における最大の難しさの一つは、既知の解を組み合わせて新しい解を作ることが一般的に不可能であることです。例えば線形問題では、線形独立な解の族を用いて、重ね合わせの原理によって一般解を構築することができます。その良い例として、ディリクレ境界条件を持つ1次元熱輸送が挙げられます。この解は、異なる周波数の正弦波の時間依存線形結合として表すことができます。これにより、解は非常に柔軟になります。非線形方程式には非常に具体的な解が複数見つかることがよくありますが、重ね合わせの原理がないため、新しい解を構築することはできません。

常微分方程式

1階常微分方程式は、特に自律方程式の場合、変数分離によって厳密に解けることが多い。例えば、非線形方程式

は一般解として(そしてCが無限大に近づくときの一般解の極限に対応する特殊解としても)持つ。この方程式は非線形であり、次のように書ける。

方程式の左辺は とその導関数の線形関数ではありません。項を に置き換えると、問題は線形関数(指数関数的減少問題)になることに注意してください。

2 次以上の常微分方程式 (より一般的には、非線形方程式のシステム)では、暗黙的な解や非基本積分を含む解は見られますが、閉じた形式の解が得られることはめったにありません。

非線形常微分方程式の定性分析によく使われる手法には以下のものがあります。

偏微分方程式

非線形偏微分方程式を研究する最も一般的な基本的なアプローチは、変数を変更(あるいは問題を変換)して、結果として得られる問題をより単純化(線形化も可能)することです。場合によっては、変数分離法で見られるように、方程式を1つまたは複数の常微分方程式に変換することがあります。これは、結果として得られる常微分方程式が解けるかどうかに関わらず、常に有用です。

流体力学や熱力学でよく用いられる、もう1つの一般的な(ただし数学的ではない)手法は、スケール解析を用いて、特定の境界値問題における一般的な自然方程式を簡略化することです。例えば、(非常に)非線形なナビエ・ストークス方程式は、円管内の過渡的、層流、一次元流れの場合、1つの線形偏微分方程式に簡略化できます。スケール解析は、流れが層流かつ一次元となる条件を与え、簡略化された方程式も導き出します。

その他の方法としては、特性を調べたり、常微分方程式に上記で概説した方法を使用したりすることが挙げられます。

振り子

振り子のイラスト
振り子の線形化

古典的で広く研究されている非線形問題の一つに、重力の影響下にある摩擦のない振り子の力学がある。ラグランジュ力学を用いると、振り子の運動は無次元非線形方程式 で記述できることが示される[ 14 ]。

ここで、重力は「下向き」を向いており、右図に示すように、振り子が静止位置に対してなす角度である。この方程式を「解く」一つの方法は、積分因子としてを用いることで、最終的には

これは楕円積分を含む暗黙的な解である。この「解」は、解の性質の大部分が非基本積分( でない限り非基本積分)に隠されているため、一般的にはあまり利用されない。

この問題へのもう一つのアプローチは、様々な関心点における非線形性(この場合は正弦関数の項)をテイラー展開によって線形化することである。例えば、小角近似と呼ばれる における線形化は、

となるため、の場合に成り立つ。これは単振動子であり、振り子の軌道の底部付近での振動に対応する。もう一つの線形化は においてであり、振り子が真上に伸びている状態に対応する。

の場合、 となるため、この問題の解は双曲正弦曲線を含みます。小角近似とは異なり、この近似は不安定であり、 は通常は無限に大きくなりますが、有界解も考えられます。これは振り子を垂直に立ててバランスをとるのが難しいことに相当し、文字通り不安定な状態です。

もう 1 つの興味深い線形化は の周りで可能であり、その周りでは です。

これは自由落下問題に対応します。右図に示すように、このような線形化を組み合わせることで、振り子の力学に関する非常に有用な定性的な図が得られます。他の手法を用いて、(正確な)位相図やおおよその周期を求めることもできます。

非線形動的動作の種類

  • 振幅の消滅- システム内に存在する振動が、他のシステムとの何らかの相互作用、または同じシステムからのフィードバックによって停止する。
  • カオス- システムの値は将来まで無期限に予測することはできず、変動は非周期的である
  • 多重安定性– 2つ以上の安定状態の存在
  • ソリトン– 自己増強孤立波
  • リミットサイクル– 不安定化した固定点が引き寄せられる漸近的な周期軌道。
  • 自己振動– 開放型の散逸物理システムで発生するフィードバック振動。

非線形方程式の例

参照

参考文献

  1. ^ 「線形システムと非線形システムの説明」 MITニュース。 2018年6月30日閲覧
  2. ^ 「非線形システム、応用数学 - バーミンガム大学」 www.birmingham.ac.uk . 2018年6月30日閲覧
  3. ^「非線形生物学」、非線形宇宙、フロンティアコレクション、シュプリンガーベルリンハイデルベルク、2007年、pp.  181– 276、doi10.1007/978-3-540-34153-6_7ISBN 9783540341529
  4. ^ Korenberg, Michael J.; Hunter, Ian W. (1996年3月). 「非線形生物システムの同定:Volterraカーネルアプローチ」Annals of Biomedical Engineering . 24 (2): 250– 268. doi : 10.1007/bf02667354 . ISSN 0090-6964 . PMID 8678357 . S2CID 20643206 .   
  5. ^モスコーニ、フランチェスコ;ジュルー、トーマス。デスプラ、ニコラス。シンハ、ディーパック・クマール。アルマン、ジャン=フランソワ。ヴィンセント・コロッケ。デビッド・ベンシモン (2008)。「生物学におけるいくつかの非線形の課題」非線形性21 (8):T131。Bibcode : 2008Nonli..21..131M土井10.1088/0951-7715/21/8/T03ISSN 0951-7715S2CID 119808230  
  6. ^ Gintautas, V. (2008). 「非線形微分方程式系の共鳴強制」. Chaos . 18 ( 3) 033118. arXiv : 0803.2252 . Bibcode : 2008Chaos..18c3118G . doi : 10.1063/1.2964200 . PMID 19045456. S2CID 18345817 .  
  7. ^ Stephenson, C.; et., al. (2017). 「第一原理計算による自己組織化電気ネットワークのトポロジカル特性」 . Sci . Rep . 7 41621. Bibcode : 2017NatSR...741621S . doi : 10.1038/srep41621 . PMC 5290745. PMID 28155863 .  
  8. ^ de Canete, Javier, Cipriano Galindo, Inmaculada Garcia-Moral (2011).システムエンジニアリングとオートメーション:インタラクティブな教育的アプローチベルリン: Springer. p. 46. ISBN 978-3642202292. 2018年1月20日閲覧{{cite book}}: CS1 maint: multiple names: authors list (link)
  9. ^非線形力学 I: カオス 2008年2月12日アーカイブMITのOpenCourseWareWayback Machine
  10. ^ Campbell, David K. (2004年11月25日). 非線形物理学:新たな息吹」 . Nature . 432 (7016): 455– 456. Bibcode : 2004Natur.432..455C . doi : 10.1038/432455a . ISSN 0028-0836 . PMID 15565139. S2CID 4403332 .   
  11. ^ Lazard, D. (2009). 「多項式システム解法の30年、そして今?」 . Journal of Symbolic Computation . 44 (3): 222– 231. doi : 10.1016/j.jsc.2008.03.004 .
  12. ^ Billings SA「非線形システム同定:時間、周波数、時空間領域におけるNARMAX法」Wiley、2013年
  13. ^ Vardia T. Haimo (1985). 「有限時間微分方程式」. 1985年第24回IEEE意思決定制御会議. pp.  1729– 1733. doi : 10.1109/CDC.1985.268832 . S2CID 45426376 . 
  14. ^デイヴィッド・トン:古典力学の講義

さらに読む