コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

トランスクリティカル分岐

出典: フリー百科事典『ウィキペディア(Wikipedia)』

これはこのページの過去の版です。Yapparina (会話 | 投稿記録) による 2021年7月23日 (金) 08:03個人設定で未設定ならUTC)時点の版であり、現在の版とは大きく異なる場合があります。

トランスクリティカル分岐の様子を示すアニメーション。曲線が x 軸と1点で接するときに分岐が起きる。

トランスクリティカル分岐(英語: transcritical bifurcation)は、力学系における分岐の一種。安定性交替型分岐ともいう。安定な固定点と不安定な固定点が衝突し、安定性が入れ替わるような分岐を起こす。

トランスクリティカル分岐は、固定点近傍で起こる局所的分岐の一種で、1次元以上の系で起こる。連続力学系と離散力学系のどちらにもトランスクリティカル分岐と分類されるものがあり、連続力学系の標準形は1次元常微分方程式

で、離散力学系の標準形は1次元写像

で与えられる。

特徴

力学系には、連続的な時間で考える連続力学系と、離散的な時間で考える離散力学系がある[1]。どちらの種類の力学系でも、トランスクリティカル分岐と見なされる分岐が存在する[2]。力学系の分岐には、固定点(連続力学系では平衡点ともいう)の近傍の振る舞いが変化する局所的分岐と、1つの固定点の近傍に限定されない大局的な振る舞いが変化する大域的分岐がある[3]。トランスクリティカル分岐は局所的分岐の主な例の一つで、1次元以上の系で起こり得る[4]。ただし、多次元相空間で起こる場合でもトランスクリティカル分岐による振る舞いの変化はある1次元部分空間上に制限されており、中心多様体の理論によって1次元ベクトル場または1次元写像の分析に帰着できる[5]

トランスクリティカル分岐には、2つの固定点が関わる[6]。1つの固定点は安定(源点)で、もう一つの固定点は不安定(沈点)である[7]。パラメータを変化させると、1つの固定点がもう1つの固定点に近づいていき、衝突して通り過ぎる。したがって、トランスクリティカル分岐では固定点の数は分岐(衝突)後も変わらない[8]。しかし、それぞれの固定点の安定性が分岐によって入れ替わる[9]。このような2つの固定点間での安定性の交換がトランスクリティカル分岐の特徴であり、安定性交替型分岐とも呼ばれる[6]

トランスクリティカル分岐は非双曲型固定点で起こる分岐であり、連続力学系では分岐点でヤコビ行列固有値 0 を1つ持ち、離散力学系では分岐点でヤコビ行列が固有値 1 を1つ持つ[10]。このような分岐は連続力学系ではゼロ固有値分岐と呼ばれ、トランスクリティカル分岐はその一種である[11]

標準形・分岐図

連続力学系

分岐理論における標準形とは、ある種類の分岐を起こす具体的で簡単な形をした系であり、その種類の分岐を起こす一般的な系は分岐点近傍において標準形に変換できる[12]。連続力学系におけるトランスクリティカル分岐の標準形は、次の1次元常微分方程式で与えられる[13]

ここで、t ∈ ℝ は独立変数で時間を意味し、x ∈ ℝ は従属変数で状態変数を意味する。μ ∈ ℝ は時間に依らない係数で、系のパラメータである[14]。以下、簡単のため、f(x, μ)f(x) とも記す。

上式の右辺第2項の符号が負である場合はスーパークリティカル(超臨界)な分岐と呼ばれ、符号が正である場合はサブクリティカル(亜臨界)な分岐と呼ばれる[15]。ここでは、上式の右辺第2項の符号が負である場合を考える。ベクトル場の固定点(平衡点)とは、

を満たす点 x のことで、固定点では系は定常状態にある[16]。固定点を x* で表すとすれば、トランスクリティカル分岐の標準形の固定点は、x* = 0x* = μ の2つである[7]x-y 平面で考えると、y = f(x) の曲線が x 軸と交わる箇所が固定点である[17]μ を変化させると、f(x) の曲線は以下の図のように変化する[18]

連続力学系の標準形(右辺第2項符号が負の場合)において、パラメータ μ を変化させたときの x-f(x) グラフの様子


パラメータ μ と固定点 x* の変化を整理すると次のようになっている[18]

  • μ < 0 では、x* = μ は不安定固定点、x* = 0 は安定平衡点である。μ を増加させていくと、x* = μ0 へ近づいていく。
  • μ = 0 では、2つの固定点が衝突、一致して、固定点は x = 0 のみとなる。
  • μ > 0 では、再び固定点は2つになり、今度は x* = μ が安定固定点、x* = 0 が不安定固定点になる。

パラメータ μ を独立変数とみなし、μ-x 平面で固定点の様子を描いたものを分岐図という[19]。トランスクリティカル分岐の標準形の分岐図は、以下の図のようになる[20]

トランスクリティカル分岐の分岐図

離散力学系

離散力学系におけるトランスクリティカル分岐の標準形は、次の1次元写像で与えられる[21]

連続力学系と同じく、ここでは、右辺第3項の符号が負である場合を考える。この写像の固定点(不動点)とは、

を満たす点 x である[22]。連続力学系と同じく固定点を x* で表すと、離散力学系の標準形の固定点は x* = 0 および x* = μ である[21]x-y 平面で考えると、y = f(x) の曲線が y = x の直線と交わる箇所が固定点である[23]μ を変化させると、f(x) の曲線は以下の図のように変化する[24]

トランスクリティカル分岐の標準形のパラメータ μ を変化させたときの f (x)-x グラフの様子


パラメータ μ と固定点 x* の変化は次のようになっている[24]

  • μ < 0 かつ |μ| ≪ 1 では、x* = μ は不安定固定点、x* = 0 は安定固定点である。μ を増加させていくと、x* = μ0 へ近づいていく。
  • μ = 0 では、2つの固定点が衝突、一致して、固定点は x = 0 のみとなる。
  • μ > 0 かつ |μ| ≪ 1 では、再び固定点は2つになり、今度は x* = μ が安定固定点、x* = 0 が不安定固定点になる。

離散力学系の標準形の分岐図は、連続力学系と同じ形である[25]

一般的条件

標準形に限定されない一般的な力学系において、トランスクリティカル分岐の一般的な発生条件は次のように整理できる。1つのパラメータを持つ一般的な1次元ベクトル場

が与えられたとする。ベクトル場 f(x, μ) が固定点 x* = 0 を持ち、さらに以下の条件を満たすとき、分岐値 μc = 0f(x, μ) はトランスクリティカル分岐を起こす[26]

上記の一般的条件は (x = 0, μ = 0) に限定されない[27]。分岐点が任意の値の組 (x = x*, μ = μc) でも、(x = x*, μ = μc) で条件が満たされればトランスクリティカル分岐が起きる[27]

別の見方では次のような定理が成立する。上記の条件を満たす f(x, μ) は、xμ に適当な変換を施せば、分岐点 (x = 0, μ = 0) 近傍で

という形に書き直すことができる[28]。ここで、y は新たな変数、a は新たなパラメータ、O(x3)ランダウの記号である。

離散力学系の場合は次のとおりである。1パラメータ族の一般的な1次元写像

が条件

を満たすとき、(x = 0, μ = 0) で写像 f(x, μ) はトランスクリティカル分岐を起こす[29]

で起きるトランスクリティカル分岐の様子。

次の微分方程式はトランスクリティカル分岐を起こす一例である[30]

この系では x = 0μ によらず常に固定点となる[30]。分岐値は μc = −1 で、(x = 0, μ = −1) でトランスクリティカル分岐が起こる[30]

次の写像は離散力学系でトランスクリティカル分岐を起こす一例で、ロジスティック写像として知られる[31][32]

この系でも x = 0μ によらず常に固定点である[31][32]。分岐値は μc = 1 で、(x = 0, μ = 1) でトランスクリティカル分岐が起こる[31][32]

一般に、連続力学系の周期軌道の問題は、ポアンカレ写像によって次元を1つ減らした離散力学系の問題に帰着できる[33]。周期軌道のポアンカレ写像がトランスクリティカル分岐が起こす場合は、元の相空間上では2つの安定・不安定な周期軌道が衝突・通過し、安定性が入れ替わるような挙動となる[34]

出典

  1. ^ 白石 謙一、2014、『力学系の理論』オンデマンド版、岩波書店 ISBN 978-4-00-730152-0 p. 167
  2. ^ 小室 2005, pp. 83, 94; ウィギンス 2013, pp. 266, 369; 松葉 2011, pp. 229, 231.
  3. ^ 松葉 2011, p. 204.
  4. ^ 松葉 2011, pp. 204, 223.
  5. ^ Strogatz 2015, pp. 264–265; ウィギンス 2013, pp. 256, 364.
  6. ^ a b 小室 2005, pp. 83, 95–96.
  7. ^ a b 松葉 2011, p. 229.
  8. ^ 桑村 2015, p. 95.
  9. ^ Strogatz 2015, p. 57.
  10. ^ ウィギンス 2013, pp. 256, 364.
  11. ^ Strogatz 2015, p. 272; 桑村 2015, p. 115.
  12. ^ Strogatz 2015, p. 59; 桑村 2015, p. 116.
  13. ^ 小室 2005, pp. 84; ウィギンス 2013, pp. 268–269.
  14. ^ ウィギンス 2013, pp. 1, 258.
  15. ^ ピエール・ベルジュ、イヴェ・ポモウ、クリスチャン・ビダル、相澤 洋二(訳)、1992、『カオスの中の秩序 ―乱流の理解に向けて』初版、産業図書 ISBN 4-7828-0068-1 pp. 255–260
  16. ^ Strogatz 2015, p. 161.
  17. ^ Strogatz 2015, p. 19.
  18. ^ a b Strogatz 2015, p. 57; 桑村 2015, p. 95.
  19. ^ 松葉 2011, p. 209.
  20. ^ 小室 2005, p. 84.
  21. ^ a b 松葉 2011, p. 231.
  22. ^ Strogatz 2015, p. 382.
  23. ^ K.T.アリグッド・T.D.サウアー・J.A.ヨーク、津田 一郎(監訳)、星野 高志・阿部 巨仁・黒田 拓・松本 和宏(訳)、2012、『カオス 第1巻 力学系入門』、丸善出版 ISBN 978-4-621-06223-4 p. 6
  24. ^ a b 小室 2005, p. 95.
  25. ^ ウィギンス 2013, p. 370.
  26. ^ ウィギンス 2013, pp. 266–268.
  27. ^ a b 松葉 2011, p. 230.
  28. ^ 桑村 2015, p. 114.
  29. ^ ウィギンス 2013, pp. 370–372.
  30. ^ a b c Strogatz 2015, pp. 58–59; 桑村 2015, pp. 95–96.
  31. ^ a b c 小室 2005, pp. 112–116.
  32. ^ a b c Morris W. Hirsch; Stephen Smale; Robert L. Devaney、桐木 紳・三波 篤朗・谷川 清隆・辻井 正人(訳)、2007、『力学系入門 原著第2版―微分方程式からカオスまで』初版、共立出版 ISBN 978-4-320-01847-1 p. 344
  33. ^ 小室 2005, p. 23.
  34. ^ 小室 2005, pp. 106–110.

参照文献

外部リンク