「サドルノード分岐」の版間の差分

削除された内容追加された内容

インライン

2022年4月10日 (日) 09:49時点における最新版

サドルノード分岐（英語: saddle node bifurcation）は、力学系における分岐の一種。フォールド分岐（英語: fold bifurcation）ともいい、とくに1次元離散力学系では接線分岐（英語: tangent bifurcation）ともいう。安定な固定点と不安定な固定点が衝突し、固定点が消滅する、あるいは逆に何の固定点が存在しない場所に安定な固定点と不安定な固定点が現れるような分岐を起こす。

サドルノード分岐は、固定点近傍で起こる局所的分岐の一種で、1次元以上の系で起こる。連続力学系におけるサドルノード分岐の標準形は1次元常微分方程式の

{\frac {dx}{dt}}=\mu \mp x^{2}

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

x\mapsto x+\mu \mp x^{2}

で与えられる。

特徴[編集]

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

サドルノード分岐は、力学系で固定点の生成と消滅が起こる基本的なメカニズムである^[5]。固定点が存在しない状態からパラメータを変化させていくと、あるパラメータで1つの固定点が出現する。さらにパラメータを変化させていくと、その固定点は2つの固定点に分かれ、1つの固定点は安定な固定点（源点）として、もう一つの固定点は不安定な固定点（沈点）として、互いに離れていく。あるいは、パラメータを逆方向に変化させると、源点と沈点が近づき、あるパラメータで衝突し、対消滅するという様相を示す。このような分岐をサドルノード分岐と呼ぶ^[6]。この名称は、2次元以上で起こるサドルノード分岐では源点がサドル（鞍状点）に対応し、沈点がノード（安定結節点）に対応することに由来する^[7]。

サドルノード分岐は非双曲型固定点で起こる分岐であり、連続力学系では分岐点でヤコビ行列が固有値 0 を1つ持ち、離散力学系では分岐点でヤコビ行列が固有値 1 を1つ持つ^[8]。このような分岐は連続力学系ではゼロ固有値分岐と呼ばれ、サドルノード分岐はその一種である^[9]。

標準形・分岐図[編集]

連続力学系[編集]

分岐理論における標準形とは、ある種類の分岐を起こす具体的で簡単な形をした系であり、その種類の分岐を起こす一般的な系は分岐点近傍において標準形に変換できる^[10]。連続力学系におけるサドルノード分岐の標準形は、次の1次元常微分方程式で与えられる^[11]。

{\frac {dx}{dt}}=\mu \mp x^{2}

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

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

{\frac {dx}{dt}}=0

を満たす点 $x$ のことで、固定点では系は定常状態にある^[15]。固定点を $x *$ で表すとすれば、サドルノード分岐の標準形の固定点は $μ > 0$ では $x * = \pm \sqrt μ$ の2点である^[16]。一方で、 $μ < 0$ では固定点存在しない^[16]。 $x - y$ 平面で考えると、 $y = f (x)$ の曲線が $x$ 軸と交わる箇所が固定点である^[17]。 $μ$ を変化させると、 $f (x)$ の曲線は以下の図のように変化する^[18]。

標準形におけるパラメータ $μ$ と固定点 $x *$ の変化を整理すると次のようになっている^[19]。

$μ < 0$ では、固定点は存在しない。
$μ = 0$ では、 $x = 0$ にただ1つの固定点が現れる。
$μ > 0$ では、1つだった固定点は $x * = \pm \sqrt μ$ という2つの固定点に分かれる。片方の $x * = \sqrt μ$ が沈点で、もう片方の $x * = - \sqrt μ$ が源点になる。

パラメータ $μ$ を独立変数とみなし、 $μ - x$ 平面で固定点の様子を描いたものを分岐図という^[20]。サドルノード分岐の標準形の分岐図は、以下の図のようになる^[21]。分岐図上の曲線が折れ曲がっているような形をしていることからフォールド分岐（英語: fold bifurcation）とも呼ぶ^[22]。

離散力学系[編集]

離散力学系におけるサドルノード分岐の標準形は、次の1次元写像で与えられる^[23]。

x\mapsto f(x,\mu )=x+\mu \mp x^{2}

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

f(x)=x

を満たす点 $x$ である^[24]。連続力学系と同じく固定点を $x *$ で表すと、離散力学系の標準形の固定点も、 $μ > 0$ では $x * = \pm \sqrt μ$ で、 $μ < 0$ では存在しない^[25]。 $x - y$ 平面で考えると、 $y = f (x)$ の曲線が $y = x$ の直線と交わる箇所が固定点である^[26]。 $μ$ を変化させると、 $f (x)$ の曲線は以下の図のように変化する^[25]。分岐点の $μ = 0$ で $f (x)$ の曲線が対角線にちょうど接する^[27]。このため、1次元離散力学系のサドルノード分岐は接線分岐（英語: tangent bifurcation）という名でも呼ばれる^[27]。

標準形のパラメータ $μ$ と固定点 $x *$ の変化は次のようになっている^[25]。

$μ < 0$ では、固定点は存在しない。
$μ = 0$ では、 $x = 0$ にただ1つの固定点が現れる。
$μ > 0$ では、1つだった固定点は $x * = \pm \sqrt μ$ という2つの固定点に分かれる。 $μ$ が 1 よりも十分小さい範囲で、片方の $x * = \sqrt μ$ が沈点で、もう片方の $x * = - \sqrt μ$ が源点である。

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

一般的条件[編集]

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

{\frac {dx}{dt}}=f(x,\mu ),\ x\in \mathbb {R} ,\ \mu \in \mathbb {R}

が与えられたとする。ベクトル場 $f (x, μ)$ が固定点 $x * = 0$ を持ち、さらに以下の条件を満たすとき、分岐値 $μ c = 0$ で $f (x, μ)$ はサドルノード分岐を起こす^[29]。

{\begin{cases}{\dfrac {\partial f(0,\ 0)}{\partial x}}=0\\{\dfrac {\partial f(0,\ 0)}{\partial \mu }}\neq 0\\{\dfrac {\partial ^{2}f(0,\ 0)}{\partial x^{2}}}\neq 0\\\end{cases}}

上記の一般的条件は $(x = 0, μ = 0)$ に限定されない^[30]。分岐点が任意の値の組 $(x = x *, μ = μ c)$ でも、 $(x = x *, μ = μ c)$ で条件が満たされればサドルノード分岐が起きる^[30]。

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

{\frac {dy}{dt}}=a\pm y^{2}+O(y^{3})

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

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

x\mapsto f(x,\mu ),\ x\in \mathbb {R} ,\ \mu \in \mathbb {R}

が条件

{\begin{cases}{\dfrac {\partial f(0,\ 0)}{\partial x}}=1\\{\dfrac {\partial f(0,\ 0)}{\partial \mu }}\neq 0\\{\dfrac {\partial ^{2}f(0,\ 0)}{\partial x^{2}}}\neq 0\\\end{cases}}

を満たすとき、 $(x = 0, μ = 0)$ で写像 $f (x, μ)$ はサドルノード分岐を起こす^[32]。

例[編集]

次の微分方程式は、分岐値は $(x * = 0, μ c = 1)$ でサドルノード分岐を起こす一例である^[33]。

{\frac {dx}{dt}}=\mu +x-e^{x}

サドルノード分岐の重要な性質は構造安定な点で、系に摂動が加わっても分岐現象が質的に変わることはない^[34]。1次元連続力学系で一般的に現れる分岐は、サドルノード分岐である^[21]。

離散力学系の場合は、次のような写像がサドルノード分岐の例として挙げられる^[35]。

x\mapsto \mu e^{x}

この分岐値は $(x * = 1, μ c = 1/ e)$ で、 $μ > 1/ e$ では全ての $x$ は $n \to \infty$ で $f n (x) \to \infty$ となり、 $0 < μ < 1/ e)$ では源点と沈点がそれぞれ1つずつ存在する^[35]。

一般に、連続力学系の周期軌道の問題は、ポアンカレ写像によって次元を1つ減らした離散力学系の問題に帰着できる^[36]。ポアンカレ写像がサドルノード分岐が起こす場合は、元の相空間上では安定な周期軌道と不安定な周期軌道が衝突し、周期軌道が消滅するような様子を示す^[37]。

出典[編集]

^ 小室 2005, pp. 81, 93; ウィギンス 2013, pp. 262, 365; 松葉 2011, pp. 224, 227.
^ 松葉 2011, p. 204.
^ 松葉 2011, pp. 204, 223.
^ Strogatz 2015, pp. 264–265; ウィギンス 2013, pp. 256, 364.
^ Strogatz 2015, p. 50.
^ 小室 2005, pp. 81–82, 93–94.
^ 小室 2005, p. 81; Strogatz 2015, p. 52.
^ ウィギンス 2013, pp. 256, 364.
^ Strogatz 2015, p. 272; 桑村 2015, p. 115.
^ Strogatz 2015, p. 59; 桑村 2015, p. 116.
^ 小室 2005, pp. 82; ウィギンス 2013, pp. 265–266.
^ ウィギンス 2013, pp. 1, 258.
^ ピエール・ベルジュ、イヴェ・ポモウ、クリスチャン・ビダル、相澤洋二（訳）、1992、『カオスの中の秩序 ―乱流の理解に向けて』初版、産業図書 ISBN 4-7828-0068-1 pp. 255–260
^ 松葉 2011, p. 227.
^ Strogatz 2015, p. 161.
^ ^a ^b 松葉 2011, p. 224.
^ Strogatz 2015, p. 19.
^ 小室 2005, pp. 82; 松葉 2011, p. 224.
^ 桑村 2015, pp. 92–93.
^ 松葉 2011, p. 209.
^ ^a ^b 小室 2005, p. 82.
^ Strogatz 2015, p. 52.
^ 小室 2005, p. 94.
^ Strogatz 2015, p. 382.
^ ^a ^b ^c 小室 2005, p. 93.
^ K.T.アリグッド・T.D.サウアー・J.A.ヨーク、津田一郎（監訳）、星野高志・阿部巨仁・黒田拓・松本和宏（訳）、2012、『カオス　第1巻　力学系入門』、丸善出版 ISBN 978-4-621-06223-4 p. 6
^ ^a ^b ロバート・L・デバニー、上江洌達也・重本和泰・久保博嗣・田崎秀一（訳）、2007、『カオス力学系の基礎』新装版、ピアソン・エデュケーション ISBN 978-4-89471-028-3 p. 61
^ ウィギンス 2013, pp. 365–366.
^ ウィギンス 2013, pp. 264–265.
^ ^a ^b 松葉 2011, p. 226.
^ 桑村 2015, pp. 112–114.
^ ウィギンス 2013, p. 367; 松葉 2011, p. 227.
^ 桑村 2015, pp. 93–94.
^ ウィギンス 2013, p. 283; 松葉 2011, p. 227.
^ ^a ^b Robert L. Devaney、國府寛司・石井豊・新居俊作・木坂正史（新訂版訳）、後藤憲一（訳）、2003、『カオス力学系入門』新訂版、共立出版 ISBN 4-320-01705-6 pp. 71 – 72
^ 小室 2005, p. 23.
^ 小室 2005, pp. 106–110.

参照文献[編集]

小室元政、2005、『基礎からの力学系 ―分岐解析からカオス的遍歴へ』新版、サイエンス社 ISBN 4-7819-1118-8
松葉育雄、2011、『力学系カオス』第1版、森北出版 ISBN 978-4-627-15451-3
S. ウィギンス、丹羽敏雄（監訳）、今井桂子・田中茂・水谷正大・森真（訳）、2013、『非線形の力学系とカオス』新装版、丸善出版 ISBN 978-4-621-06435-1
Steven H. Strogatz、田中久陽・中尾裕也・千葉逸人（訳）、2015、『ストロガッツ　非線形ダイナミクスとカオス ―数学的基礎から物理・生物・化学・工学への応用まで』、丸善出版 ISBN 978-4-621-08580-6
桑村雅隆、2015、『パターン形成と分岐理論 ―自発的パターン発生の力学系入門』初版、共立出版〈シリーズ・現象を解明する数学〉 ISBN 978-4-320-11004-5

外部リンク[編集]

ウィキメディア・コモンズには、サドルノード分岐に関するカテゴリがあります。
Weisstein, Eric W. "Fold Bifurcation". mathworld.wolfram.com (英語).

[FOOTNOTE小室200581,_93ウィギンス2013262,_365松葉2011224,_227-1] 小室 2005, pp. 81, 93; ウィギンス 2013, pp. 262, 365; 松葉 2011, pp. 224, 227.

[FOOTNOTE松葉2011204-2] 松葉 2011, p. 204.

[FOOTNOTE松葉2011204,_223-3] 松葉 2011, pp. 204, 223.

[FOOTNOTEStrogatz2015264–265ウィギンス2013256,_364-4] Strogatz 2015, pp. 264–265; ウィギンス 2013, pp. 256, 364.

[FOOTNOTEStrogatz201550-5] Strogatz 2015, p. 50.

[FOOTNOTE小室200581–82,_93–94-6] 小室 2005, pp. 81–82, 93–94.

[FOOTNOTE小室200581Strogatz201552-7] 小室 2005, p. 81; Strogatz 2015, p. 52.

[FOOTNOTEウィギンス2013256,_364-8] ウィギンス 2013, pp. 256, 364.

[FOOTNOTEStrogatz2015272桑村2015115-9] Strogatz 2015, p. 272; 桑村 2015, p. 115.

[FOOTNOTEStrogatz201559桑村2015116-10] Strogatz 2015, p. 59; 桑村 2015, p. 116.

[FOOTNOTE小室200582ウィギンス2013265–266-11] 小室 2005, pp. 82; ウィギンス 2013, pp. 265–266.

[FOOTNOTEウィギンス20131,_258-12] ウィギンス 2013, pp. 1, 258.

[13] ピエール・ベルジュ、イヴェ・ポモウ、クリスチャン・ビダル、相澤洋二（訳）、1992、『カオスの中の秩序 ―乱流の理解に向けて』初版、産業図書 ISBN 4-7828-0068-1 pp. 255–260

[FOOTNOTE松葉2011227-14] 松葉 2011, p. 227.

[FOOTNOTEStrogatz2015161-15] Strogatz 2015, p. 161.

[FOOTNOTE松葉2011224-16] 松葉 2011, p. 224.

[FOOTNOTEStrogatz201519-17] Strogatz 2015, p. 19.

[FOOTNOTE小室200582松葉2011224-18] 小室 2005, pp. 82; 松葉 2011, p. 224.

[FOOTNOTE桑村201592–93-19] 桑村 2015, pp. 92–93.

[FOOTNOTE松葉2011209-20] 松葉 2011, p. 209.

[FOOTNOTE小室200582-21] 小室 2005, p. 82.

[FOOTNOTEStrogatz201552-22] Strogatz 2015, p. 52.

[FOOTNOTE小室200594-23] 小室 2005, p. 94.

[FOOTNOTEStrogatz2015382-24] Strogatz 2015, p. 382.

[FOOTNOTE小室200593-25] 小室 2005, p. 93.

[26] K.T.アリグッド・T.D.サウアー・J.A.ヨーク、津田一郎（監訳）、星野高志・阿部巨仁・黒田拓・松本和宏（訳）、2012、『カオス　第1巻　力学系入門』、丸善出版 ISBN 978-4-621-06223-4 p. 6

[デバニー2007-27] ロバート・L・デバニー、上江洌達也・重本和泰・久保博嗣・田崎秀一（訳）、2007、『カオス力学系の基礎』新装版、ピアソン・エデュケーション ISBN 978-4-89471-028-3 p. 61

[FOOTNOTEウィギンス2013365–366-28] ウィギンス 2013, pp. 365–366.

[FOOTNOTEウィギンス2013264–265-29] ウィギンス 2013, pp. 264–265.

[FOOTNOTE松葉2011226-30] 松葉 2011, p. 226.

[FOOTNOTE桑村2015112–114-31] 桑村 2015, pp. 112–114.

[FOOTNOTEウィギンス2013367松葉2011227-32] ウィギンス 2013, p. 367; 松葉 2011, p. 227.

[FOOTNOTE桑村201593–94-33] 桑村 2015, pp. 93–94.

[FOOTNOTEウィギンス2013283松葉2011227-34] ウィギンス 2013, p. 283; 松葉 2011, p. 227.

[Devaney2003-35] Robert L. Devaney、國府寛司・石井豊・新居俊作・木坂正史（新訂版訳）、後藤憲一（訳）、2003、『カオス力学系入門』新訂版、共立出版 ISBN 4-320-01705-6 pp. 71 – 72

[FOOTNOTE小室200523-36] 小室 2005, p. 23.

[FOOTNOTE小室2005106–110-37] 小室 2005, pp. 106–110.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

@@ 1行目: / 1行目: @@
+[[File:Saddle node bifurcation - animation.gif|thumb|270px|サドルノード分岐の様子を示すアニメーション。曲線が {{Mvar|x}} 軸と1点で接するときに分岐が起きる。]]
-'''サドルノード分岐''' (saddle-node bifurcation) は、[[分岐 (力学系) |分岐]]の一つ。余次元は1。'''フォールド分岐''' (fold bifurcation) や、'''ブルースカイ分岐''' (blue sky bifurcation) とも呼ばれる。
+'''サドルノード分岐'''（{{Lang-en|saddle node bifurcation|links=no}}）は、[[力学系]]における[[分岐 (力学系) |分岐]]の一種。'''フォールド分岐'''（{{Lang-en|fold bifurcation|links=no}}）ともいい、とくに1次元離散力学系では'''接線分岐'''（{{Lang-en|tangent bifurcation|links=no}}）ともいう。安定な[[不動点|固定点]]と不安定な固定点が衝突し、固定点が消滅する、あるいは逆に何の固定点が存在しない場所に安定な固定点と不安定な固定点が現れるような分岐を起こす。
+サドルノード分岐は、固定点近傍で起こる局所的分岐の一種で、1次元以上の系で起こる。連続力学系におけるサドルノード分岐の[[標準形]]は1次元[[常微分方程式]]の
-この分岐では、[[安定性 (数学)|安定]]な[[不動点]]と不安定な不動点が合わさり、不動点が消滅する。
+:<math>\frac{dx}{dt} = \mu \mp x^2 </math>
-[[正準系]]は、
+で、離散力学系における標準形は1次元[[写像]]の
-{{Indent|<math>\frac{dx}{dt}=r+x^2</math>}}
+:<math> x \mapsto x + \mu \mp x^2 </math>
-である。
+で与えられる。
-== 関連項目 ==
+==特徴==
+[[力学系]]には連続力学系と離散力学系があるが、どちらの種類の力学系でもサドルノード分岐と見なされる分岐が存在する{{Sfnm|小室|2005|1pp=81, 93|ウィギンス|2013|2pp=262, 365|松葉|2011|3pp=224, 227}}。力学系の[[分岐 (力学系)|分岐]]には、[[固定点]]（連続力学系では[[平衡点]]ともいう）の近傍の振る舞いが変化する局所的分岐と、1つの固定点の近傍に限定されない大局的な振る舞いが変化する大域的分岐がある{{Sfn|松葉|2011|p=204}}。サドルノード分岐は局所的分岐の主な例の一つで、1次元以上の系で起こり得る{{Sfn|松葉|2011|pp=204, 223}}。多次元相空間で起こる場合でもサドルノード分岐による振る舞いの変化はある1次元部分空間上に制限されており、[[中心多様体]]の理論によって1次元ベクトル場または1次元写像の分析に帰着できる{{Sfnm|Strogatz|2015|1pp=264&ndash;265|ウィギンス|2013|2pp=256, 364}}。
-* [[分岐図 (力学系)|分岐図]]
-* [[カタストロフィー理論|カタストロフィー]]
+サドルノード分岐は、力学系で固定点の生成と消滅が起こる基本的なメカニズムである{{Sfn|Strogatz|2015|p=50}}。固定点が存在しない状態からパラメータを変化させていくと、あるパラメータで1つの固定点が出現する。さらにパラメータを変化させていくと、その固定点は2つの固定点に分かれ、1つの固定点は安定な固定点（[[源点]]）として、もう一つの固定点は不安定な固定点（[[沈点]]）として、互いに離れていく。あるいは、パラメータを逆方向に変化させると、源点と沈点が近づき、あるパラメータで衝突し、対消滅するという様相を示す。このような分岐をサドルノード分岐と呼ぶ{{Sfn|小室|2005|pp=81&ndash;82, 93&ndash;94}}。この名称は、2次元以上で起こるサドルノード分岐では源点がサドル（鞍状点）に対応し、沈点がノード（安定結節点）に対応することに由来する{{Sfnm|小室|2005|1p=81|Strogatz|2015|2p=52}}。
-== 外部リンク ==
-{{Spedia|Saddle-node_Bifurcation|Saddle-node Bifurcation}}
+サドルノード分岐は[[双曲型平衡点|非双曲型固定点]]で起こる分岐であり、連続力学系では分岐点で[[ヤコビ行列]]が[[固有値]] 0 を1つ持ち、離散力学系では分岐点でヤコビ行列が固有値 1 を1つ持つ{{Sfn|ウィギンス|2013|pp=256, 364}}。このような分岐は連続力学系では'''ゼロ固有値分岐'''と呼ばれ、サドルノード分岐はその一種である{{Sfnm|Strogatz|2015|1p=272|桑村|2015|2p=115}}。
-{{DEFAULTSORT:さとるのうとふんき}}
+==標準形・分岐図==
+===連続力学系===
+分岐理論における[[標準形]]とは、ある種類の分岐を起こす具体的で簡単な形をした系であり、その種類の分岐を起こす一般的な系は分岐点近傍において標準形に変換できる{{Sfnm|Strogatz|2015|1p=59|桑村|2015|2p=116}}。連続力学系におけるサドルノード分岐の標準形は、次の1次元[[常微分方程式]]で与えられる{{Sfnm|小室|2005|1pp=82|ウィギンス|2013|2pp=265&ndash;266}}。
+:<math>\frac{dx}{dt} = \mu \mp x^2 </math>
+ここで、{{Math|''t'' &isin; &#8477;}} は独立変数で時間を意味し、{{Math|''x'' &isin; &#8477;}} は従属変数で状態変数を意味する。{{Math|''&mu;'' &isin; &#8477;}} は時間に依らない係数で、系のパラメータである{{Sfn|ウィギンス|2013|pp=1, 258}}。以下、簡単のため、{{Math|''f''(''x'', ''&mu;'')}} を {{Math|''f''(''x'')}} とも記す。
+上式の右辺第2項の符号が負である場合は'''スーパークリティカル'''（'''超臨界'''）な分岐と呼ばれ、符号が正である場合は'''サブクリティカル'''（'''亜臨界'''）な分岐と呼ばれる<ref>{{Cite book ja-jp |author = ピエール・ベルジュ、イヴェ・ポモウ、クリスチャン・ビダル |translator = 相澤 洋二 |title = カオスの中の秩序 ―乱流の理解に向けて |edition = 初版 |publisher = 産業図書 |year = 1992 |isbn = 4-7828-0068-1 }} pp. 255&ndash;260</ref>{{Sfn|松葉|2011|p=227}}。ここでは、上式の右辺第2項の符号が負である場合を考える。ベクトル場の固定点（[[平衡点]]）とは、
+:<math>\frac{dx}{dt} = 0 </math>
+を満たす点 {{Mvar|x}} のことで、固定点では系は定常状態にある{{Sfn|Strogatz|2015|p=161}}。固定点を {{Math|''x''<sup>*</sup>}} で表すとすれば、サドルノード分岐の標準形の固定点は {{Math|''&mu;'' > 0}} では {{Math|''x''<sup>*</sup> {{=}} &pm;{{sqrt|''&mu;''}}}} の2点である{{Sfn|松葉|2011|p=224}}。一方で、{{Math|''&mu;'' < 0}} では固定点存在しない{{Sfn|松葉|2011|p=224}}。{{Math|''x''-''y''}} 平面で考えると、{{Math|''y'' {{=}} ''f''(''x'')}} の曲線が {{Mvar|x}} 軸と交わる箇所が固定点である{{Sfn|Strogatz|2015|p=19}}。{{Mvar|&mu;}} を変化させると、{{Math|''f''(''x'')}} の曲線は以下の図のように変化する{{Sfnm|小室|2005|1pp=82|松葉|2011|2p=224}}。
+[[File:Saddle node bifurcation of normal form for continuous time dynamical system.png|thumb|center|600px|連続力学系の標準形（右辺第2項符号が負の場合）において、パラメータ {{Mvar|&mu;}} を変化させたときの {{Math|''x''-''f''(''x'')}} グラフの様子]]
+標準形におけるパラメータ {{Mvar|&mu;}} と固定点 {{Math|''x''<sup>*</sup>}} の変化を整理すると次のようになっている{{Sfn|桑村|2015|pp=92&ndash;93}}。
+*{{Math|''&mu;'' < 0}} では、固定点は存在しない。
+*{{Math|''&mu;'' {{=}} 0}} では、{{Math|''x'' {{=}} 0}} にただ1つの固定点が現れる。
+*{{Math|''&mu;'' > 0}} では、1つだった固定点は {{Math|''x''<sup>*</sup> {{=}} &pm;{{sqrt|''&mu;''}}}} という2つの固定点に分かれる。片方の {{Math|''x''<sup>*</sup> {{=}} {{sqrt|''&mu;''}}}} が沈点で、もう片方の {{Math|''x''<sup>*</sup> {{=}} &minus;{{sqrt|''&mu;''}}}} が源点になる。
+パラメータ {{Mvar|&mu;}} を独立変数とみなし、{{Math|''&mu;''-''x''}} 平面で固定点の様子を描いたものを[[分岐図 (力学系)|分岐図]]という{{Sfn|松葉|2011|p=209}}。サドルノード分岐の標準形の分岐図は、以下の図のようになる{{Sfn|小室|2005|p=82}}。分岐図上の曲線が折れ曲がっているような形をしていることからフォールド分岐（{{Lang-en|fold bifurcation|links=no}}）とも呼ぶ{{Sfn|Strogatz|2015|p=52}}。
+[[File:Bifurcation diagram of saddle node bifurcation.png|thumb|center|550px|サドルノード分岐の[[分岐図 (力学系)|分岐図]]。左がスーパークリティカルの場合、右がサブクリティカルの場合。]]
+===離散力学系===
+離散力学系におけるサドルノード分岐の標準形は、次の1次元[[写像]]で与えられる{{Sfn|小室|2005|p=94}}。
+:<math> x \mapsto f(x, \mu) = x + \mu \mp x^2 </math>
+連続力学系と同じく、ここでは、右辺第3項の符号が負である場合を考える。この写像の固定点（[[不動点]]）とは、
+:<math> f(x) = x </math>
+を満たす点 {{Mvar|x}} である{{Sfn|Strogatz|2015|p=382}}。連続力学系と同じく固定点を {{Math|''x''<sup>*</sup>}} で表すと、離散力学系の標準形の固定点も、{{Math|''&mu;'' > 0}} では {{Math|''x''<sup>*</sup> {{=}} &pm;{{sqrt|''&mu;''}}}} で、{{Math|''&mu;'' < 0}} では存在しない{{Sfn|小室|2005|p=93}}。{{Math|''x''-''y''}} 平面で考えると、{{Math|''y'' {{=}} ''f''(''x'')}} の曲線が {{Math|''y'' {{=}} ''x''}} の直線と交わる箇所が固定点である<ref>{{Cite book ja-jp |author = K.T.アリグッド・T.D.サウアー・J.A.ヨーク |translator = 星野 高志・阿部 巨仁・黒田 拓・松本 和宏 |others = 津田 一郎（監訳） |title= カオス　第1巻　力学系入門 |url = https://www.maruzen-publishing.co.jp/item/b302600.html |publisher = 丸善出版 |year = 2012 |isbn = 978-4-621-06223-4 |page = 6}}</ref>。{{Mvar|&mu;}} を変化させると、{{Math|''f''(''x'')}} の曲線は以下の図のように変化する{{Sfn|小室|2005|p=93}}。分岐点の {{Math|''&mu;'' {{=}} 0}} で {{Math|''f''(''x'')}} の曲線が対角線にちょうど接する<ref name="デバニー2007"/>。このため、1次元離散力学系のサドルノード分岐は'''接線分岐'''（{{Lang-en|tangent bifurcation|links=no}}）という名でも呼ばれる<ref name="デバニー2007">{{Cite book ja-jp |author = ロバート・L・デバニー |translator = 上江洌 達也・重本 和泰・久保 博嗣・田崎 秀一 |title = カオス力学系の基礎 |publisher = ピアソン・エデュケーション |year = 2007 |edition = 新装版 |isbn = 978-4-89471-028-3 |page = 61 }} </ref>。
+[[File:Saddle node bifurcation of normal form for discrete time dynamical system.png|thumb|center|600px|サドルノード分岐の標準形のパラメータ {{Mvar|&mu;}} を変化させたときの {{Math|''f'' (''x'')-''x''}} グラフの様子]]
+標準形のパラメータ {{Mvar|&mu;}} と固定点 {{Math|''x''<sup>*</sup>}} の変化は次のようになっている{{Sfn|小室|2005|p=93}}。
+*{{Math|''&mu;'' < 0}} では、固定点は存在しない。
+*{{Math|''&mu;'' {{=}} 0}} では、{{Math|''x'' {{=}} 0}} にただ1つの固定点が現れる。
+*{{Math|''&mu;'' > 0}} では、1つだった固定点は {{Math|''x''<sup>*</sup> {{=}} &pm;{{sqrt|''&mu;''}}}} という2つの固定点に分かれる。{{Mvar|&mu;}} が 1 よりも十分小さい範囲で、片方の {{Math|''x''<sup>*</sup> {{=}} {{sqrt|''&mu;''}}}} が沈点で、もう片方の {{Math|''x''<sup>*</sup> {{=}} &minus;{{sqrt|''&mu;''}}}} が源点である。
+離散力学系の標準形の分岐図は、連続力学系と同じ形である{{Sfn|ウィギンス|2013|pp=365&ndash;366}}。
+==一般的条件==
+標準形に限定されない一般的な力学系において、サドルノード分岐の一般的な発生条件は次のように整理できる。1つのパラメータを持つ一般的な1次元ベクトル場
+:<math>\frac{dx}{dt} = f(x, \mu),\ x \isin \R,\ \mu \isin \R</math>
+が与えられたとする。ベクトル場 {{Math|''f''(''x'', ''&mu;'')}} が固定点 {{Math|''x''<sup>*</sup> {{=}} 0}} を持ち、さらに以下の条件を満たすとき、分岐値 {{Math|''&mu;<sub>c</sub>'' {{=}} 0}} で {{Math|''f''(''x'', ''&mu;'')}} はサドルノード分岐を起こす{{Sfn|ウィギンス|2013|pp=264&ndash;265}}。
+:<math>
+\begin{cases}
+\dfrac{\partial f(0,\ 0)}{\partial x} = 0 \\
+\dfrac{\partial f(0,\ 0)}{\partial \mu} \ne 0 \\
+\dfrac{\partial^2 f(0,\ 0)}{\partial x^2} \ne 0 \\
+\end{cases}
+</math>
+上記の一般的条件は {{Math|(''x'' {{=}} 0, ''&mu;'' {{=}} 0)}} に限定されない{{Sfn|松葉|2011|p=226}}。分岐点が任意の値の組 {{Math|(''x'' {{=}} ''x''<sup>*</sup>, ''&mu;'' {{=}} ''&mu;''<sub>c</sub>)}} でも、{{Math|(''x'' {{=}} ''x''<sup>*</sup>, ''&mu;'' {{=}} ''&mu;''<sub>c</sub>)}} で条件が満たされればサドルノード分岐が起きる{{Sfn|松葉|2011|p=226}}。
+別の見方では次のような定理が成立する。上記の条件を満たす {{Math|''f''(''x'', ''&mu;'')}} は、{{Mvar|x}} と {{Mvar|&mu;}} に適当な変換を施せば、分岐点 {{Math|(''x'' {{=}} 0, ''&mu;'' {{=}} 0)}} 近傍で
+:<math>\frac{dy}{dt} = a \pm y^2 + O(y^3)</math>
+という形に書き直すことができる{{Sfn|桑村|2015|pp=112&ndash;114}}。ここで、{{Mvar|y}} は新たな変数、{{Mvar|a}} は新たなパラメータ、{{Math|''O''(''y''<sup>3</sup>)}} は[[ランダウの記号]]である。
+離散力学系の場合は次のとおりである。1パラメータ族の一般的な1次元写像
+:<math> x \mapsto f(x, \mu),\ x \isin \R,\ \mu \isin \R </math>
+が条件
+:<math>
+\begin{cases}
+\dfrac{\partial f(0,\ 0)}{\partial x} = 1 \\
+\dfrac{\partial f(0,\ 0)}{\partial \mu} \ne 0 \\
+\dfrac{\partial^2 f(0,\ 0)}{\partial x^2} \ne 0 \\
+\end{cases}
+</math>
+を満たすとき、{{Math|(''x'' {{=}} 0, ''&mu;'' {{=}} 0)}} で写像 {{Math|''f''(''x'', ''&mu;'')}} はサドルノード分岐を起こす{{Sfnm|ウィギンス|2013|1p=367|松葉|2011|2p=227}}。
+==例==
+[[File:Example of saddle node bifurcation.files.png|thumb|300px|<math>\frac{dx}{dt} = \mu + x - e^x </math>で起きるサドルノード分岐の様子。]]
+次の微分方程式は、分岐値は {{Math|(''x''<sup>*</sup> {{=}} 0, ''&mu;''<sub>c</sub> {{=}} 1)}} でサドルノード分岐を起こす一例である{{Sfn|桑村|2015|pp=93&ndash;94}}。
+:<math>\frac{dx}{dt} = \mu + x - e^x </math>
+サドルノード分岐の重要な性質は[[構造安定]]な点で、系に[[摂動]]が加わっても分岐現象が質的に変わることはない{{Sfnm|ウィギンス|2013|1p=283|松葉|2011|2p=227}}。1次元連続力学系で一般的に現れる分岐は、サドルノード分岐である{{Sfn|小室|2005|p=82}}。
+離散力学系の場合は、次のような写像がサドルノード分岐の例として挙げられる<ref name="Devaney2003">{{Cite book ja-jp |author = Robert L. Devaney |title = カオス力学系入門 |url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320017054 |translator = 後藤 憲一 |others = 國府 寛司・石井 豊 ・新居 俊作・木坂 正史（新訂版訳）|publisher = 共立出版 |year = 2003 |edition = 新訂版 |isbn = 4-320-01705-6 |pages = 71 &ndash; 72}}</ref>。
+:<math> x \mapsto \mu e^x </math>
+この分岐値は {{Math|(''x''<sup>*</sup> {{=}} 1, ''&mu;''<sub>c</sub> {{=}} 1/''e'')}} で、{{Math|''&mu;'' > 1/''e''}} では全ての {{Mvar|x}} は {{Math2|''n'' &rarr; &infin;}} で {{Math2|''f''<sup>''n''</sup>&thinsp;(''x'') &rarr; &infin;}} となり、{{Math|0 < ''&mu;'' < 1/''e'')}} では源点と沈点がそれぞれ1つずつ存在する<ref name="Devaney2003"/>。
+一般に、連続力学系の[[軌道 (力学系)|周期軌道]]の問題は、[[ポアンカレ写像]]によって次元を1つ減らした離散力学系の問題に帰着できる{{Sfn|小室|2005|p=23}}。ポアンカレ写像がサドルノード分岐が起こす場合は、元の相空間上では安定な周期軌道と不安定な周期軌道が衝突し、周期軌道が消滅するような様子を示す{{Sfn|小室|2005|pp=106&ndash;110}}。
+==出典==
+{{Reflist|2}}
+==参照文献==
+*{{Cite book ja-jp
+|title = 基礎からの力学系 ―分岐解析からカオス的遍歴へ
+|url = https://www.saiensu.co.jp/search/?isbn=978-4-7819-1118-2&y=2005
+|author = 小室 元政
+|publisher=サイエンス社
+|year = 2005
+|edition = 新版
+|isbn = 4-7819-1118-8
+|ref = {{Sfnref|小室|2005}}
+}}
+*{{Cite book ja-jp
+|author = 松葉 育雄
+|title = 力学系カオス
+|url = https://www.morikita.co.jp/books/book/599
+|publisher = 森北出版
+|edition= 第1版
+|year= 2011
+|isbn = 978-4-627-15451-3
+|ref = {{Sfnref|松葉|2011}}
+}}
+*{{Cite book ja-jp
+|author= S. ウィギンス
+|translator = 今井 桂子・田中 茂・水谷 正大・森 真
+|others = 丹羽 敏雄（監訳）
+|title= 非線形の力学系とカオス
+|url = https://www.maruzen-publishing.co.jp/item/b294656.html
+|edition = 新装版
+|publisher = 丸善出版
+|year= 2013
+|isbn = 978-4-621-06435-1
+|ref = {{Sfnref|ウィギンス|2013}}
+}}
+*{{Cite book ja-jp
+|author= Steven H. Strogatz
+|translator = 田中 久陽・中尾 裕也・千葉 逸人
+|title = ストロガッツ　非線形ダイナミクスとカオス ―数学的基礎から物理・生物・化学・工学への応用まで
+|url = https://www.maruzen-publishing.co.jp/item/b294857.html
+|publisher = 丸善出版
+|year = 2015
+|isbn = 978-4-621-08580-6
+|ref = {{Sfnref|Strogatz|2015}}
+}}
+*{{Cite book ja-jp
+|author = 桑村 雅隆
+|title = パターン形成と分岐理論 ―自発的パターン発生の力学系入門
+|url = https://www.kyoritsu-pub.co.jp/bookdetail/9784320110045
+|series = シリーズ・現象を解明する数学
+|publisher = 共立出版
+|year = 2015
+|edition = 初版
+|isbn = 978-4-320-11004-5
+|ref= {{Sfnref|桑村|2015}}
+}}
+==外部リンク==
+*{{Commonscat-inline}}
+*{{MathWorld |title = Fold Bifurcation |urlname = FoldBifurcation}}
+{{DEFAULTSORT:さとるのおとふんき}}
 [[Category:分岐理論]]
-[[Category:数学に関する記事]]