数学において、周期進行波 (または波列 )とは、一定速度で移動する一次元 空間 の周期関数である。したがって、これは空間と時間の両方の周期関数である特殊な時空間 振動 の一種である。
周期進行波は、自励振動系 [ 1 ] 、[ 2 ] 、興奮性系 [ 3 ] 、 反応拡散移流系 [ 4 ] など、多くの数学方程式において基本的な役割を果たしている。 これらのタイプの方程式は、生物学、化学、物理学の数学的モデルとして広く使用されており、周期進行波に似た現象の例が 経験的に 数多く見つかっている。
周期進行波の数学的理論は偏微分方程式 において最も発展しているが、これらの解は積分微分方程式[ 5 ] [ 6 ] 積分差分方程式[ 7 ] 結合写像格子[ 8 ] セルオートマトン [ 9 ] [ 10 ] など他の多くの種類の数学システムにも現れる。
周期的な進行波は、それ自体が重要であるだけでなく、2 次元空間の 螺旋波やターゲット パターン、および 3 次元空間のスクロール波の 1 次元版として重要です。
研究の歴史 周期進行波は18世紀から波動方程式の解として知られていましたが、 非線形システム におけるその研究は1970年代に始まりました。初期の重要な研究論文はナンシー・コペル とルー・ハワードによる論文[ 1 ] で、反応拡散方程式 における周期進行波に関するいくつかの基本的な結果を証明しました。これに続いて1970年代から1980年代初頭にかけて重要な研究活動が続きました。その後、研究が停滞した時期がありましたが、周期進行波の発生に関する数学的研究[ 11 ] [ 12 ] や、生態学 における周期的個体群の時空間データセットでの検出[ 13 ] [ 14 ] によって、周期進行波への関心が再燃しました。 2000年代半ば以降、周期進行波の研究は、その安定性 と絶対安定性を調べるための新しい計算手法の恩恵を受けています。[ 15 ] [ 16 ]
家族 周期進行波の存在は、通常、数式中のパラメータ 値に依存します。周期進行波の解が存在する場合、通常、異なる波の速度を持つそのような解の族が存在します。偏微分方程式の場合、周期進行波は通常、波の速度が連続する範囲で発生します。[ 1 ]
安定性 重要な問題は、周期進行波が元の数学体系の解として安定 か不安定かである。偏微分方程式の場合、波族は 安定 部分と不安定 部分に細分されるのが典型的である。[ 1 ] [ 17 ] [ 18 ] 不安定な周期進行波の場合、重要な副次的な問題は、それらが絶対的に不安定か対流的に不安定か、つまり定常成長線形モードが存在するかどうかである。[ 19 ] この問題は、いくつかの偏微分方程式についてのみ解決されている。[ 2 ] [ 15 ] [ 16 ]
世代 周期的な進行波の発生メカニズムはいくつか確立されており、その中には以下のようなものがあります。
これらすべての場合において、周期進行波族のどのメンバーが選択されるかが重要な問題となります。ほとんどの数学体系において、これは未解決の問題です。
時空間の混沌 捕食者による獲物への侵入を模擬した際の周期的な進行波とカオス 波動生成機構から生じる周期進行波は、いくつかのパラメータ 値において不安定になることがよくあります。このような場合、解は通常、時空間カオス へと発展します。[ 11 ] [ 27 ] つまり、解は周期進行波を介してカオスへの時空間遷移を伴うことになります。
ラムダ・オメガ系と複素ギンツブルグ・ランダウ方程式周期進行波の原型として機能し、数学的理解と理論の発展の基礎となってきた2つの数学体系があります。これらは「ラムダ-オメガ」クラスの反応拡散方程式です [ 1 ]。 ∂ あなた ∂ t = ∂ 2 あなた ∂ × 2 + λ ( r ) あなた − ω ( r ) v {\displaystyle {\frac {\partial u}{\partial t}}={\frac {\partial ^{2}u}{\partial x^{2}}}+\lambda (r)u-\omega (r)v} ∂ v ∂ t = ∂ 2 v ∂ × 2 + ω ( r ) あなた + λ ( r ) v {\displaystyle {\frac {\partial v}{\partial t}}={\frac {\partial ^{2}v}{\partial x^{2}}}+\omega (r)u+\lambda (r)v}
()と複素ギンツブルグ・ランダウ 方程式。[ 2 ] r = あなた 2 + v 2 {\textstyle r={\sqrt {u^{2}+v^{2}}}}
∂ あ ∂ t = あ + ( 1 + 私 b ) ∂ 2 あ ∂ × 2 − ( 1 + 私 c ) | あ | 2 あ {\displaystyle {\frac {\partial A}{\partial t}}=A+(1+ib){\frac {\partial ^{2}A}{\partial x^{2}}}-(1+ic)|A|^{2}A}
(A は複素数値です)。λ ( r ) = 1 − r 2 、ω ( r ) = − c r 2 、b = 0 の場合、これらのシステムは同じであることに注意してください。 両方のシステムとも、振幅(r または | A |)と位相(arctan( v / u ) または arg A )で式を書き直すことで簡略化できます。 このように式を書き直すと、一定振幅の解は周期的な進行波であり、位相は 空間 と時間の線形関数であることが簡単にわかります。 したがって、u とv 、または Re( A ) と Im( A ) は、空間と時間の 正弦関数です。
周期進行波族のこれらの厳密解は、さらなる解析的研究を可能にする。周期進行波の安定性に関する厳密な条件は [ 1 ] [ 2 ] で見出され、絶対安定性の条件は単純な多項式の解に還元される。 [ 15 ] [ 16 ]また、侵入によって生成される波の選択問題 [ 22 ] [ 33 ]およびゼロディリクレ境界条件 [ 34 ] [ 35 ] についても厳密な解が得られている 。 後者の場合、複素ギンツブルグ・ランダウ方程式の全体解は定常なノザキ・ベッキ・ホールとなる。[ 34 ] [ 36 ]
複素ギンツブルグ-ランダウ方程式の周期的な進行波に関する研究の多くは物理学の 文献に記載されており、そこではそれらは通常平面波 として知られています。
周期進行波の数値計算とその安定性 ほとんどの数学方程式では、周期進行波解の解析 計算は不可能であるため、数値計算 を行う必要があります。偏微分方程式 では、x とt をそれぞれ (1 次元の) 空間変数と時間変数とします。周期進行波は、進行波変数z = x - c t の関数です。この解の形を偏微分方程式に代入すると、進行波方程式と呼ばれる常微分方程式 系が得られます。周期進行波はこれらの方程式の限界サイクル に対応し、数値計算 の基礎となります。標準的な計算手法は、進行波方程式の数値接続 です。まず、定常状態の継続を実行して ホップ分岐 点を見つけます。これが、数値接続によってたどることができる周期進行波解のブランチ (ファミリ) の開始点です。いくつかの(珍しい)ケースでは、周期進行波解の枝(族)の両端の点がホモクリニック 解であり、[ 37 ] その場合には偏微分方程式の数値解などの外部開始点を使用する必要があります。
周期進行波の安定性は、 スペクトル を計算することで数値的に計算することもできる。偏微分方程式の周期進行波解のスペクトルは、本質的にスペクトル のみで構成されるため、この計算は容易になる。[ 38 ] 数値的アプローチとしては、ヒル法[ 39 ] やスペクトルの数値接続[ 15 ] などが挙げられる。後者のアプローチの利点の一つは、安定波と不安定波の間のパラメータ 空間における境界を計算するために拡張できることである[ 40 ]。
ソフトウェア: 無料のオープンソースソフトウェア パッケージWavetrain http://www.ma.hw.ac.uk/wavetrainは 、周期進行波の数値的研究のために設計されています。[ 41 ] 数値接続 を使用して、Wavetrainは偏微分方程式の周期進行波解の形と安定性、および波が存在し安定しているパラメータ空間の領域を計算することができます。
アプリケーション 経験的に 発見された周期進行波に似た現象の例には以下のものがあります。
参照
参考文献 ^ a b c d e f N. Kopell, LN Howard (1973)「反応拡散方程式の平面波解」、Stud. Appl. Math. 52: 291–328。 ^ a b c d I. S. Aranson, L. Kramer (2002)「複素ギンツブルグ・ランダウ方程式の世界」Rev. Mod. Phys. 74: 99–143. DOI:10.1103/RevModPhys.74.99 ^ S. Coombes (2001)「樹状波のスパイク-拡散-スパイクモデルにおける周期的進行波から進行波前線へ」 Math. Biosci. 170: 155–172. DOI:10.1016/S0025-5564(00)00070-5 ^ JA Sherratt, GJ Lord (2007)「半乾燥環境における植生縞模様のモデルにおける非線形ダイナミクスとパターン分岐」 Theor. Popul. Biol. 71 (2007): 1–11. DOI:10.1016/j.tpb.2006.07.009 ^ SA Gourley, NF Britton (1993)「非局所効果を伴う集団モデルの進行波解の不安定性」 IMA J. Appl. Math. 51: 299–310. DOI:10.1093/imamat/51.3.299 ^ P. Ashwin, MV Bartuccelli, TJ Bridges, SA Gourley (2002)「時空間遅延を伴うKPP方程式のトラベリングフロント」, Z. Angew. Math. Phys. 53: 103–122. DOI:0010-2571/02/010103-20 ^ M. Kot (1992)「離散時間進行波:生態学的例」 J. Math. Biol. 30: 413-436. DOI:10.1007/BF00173295 ^ MDS Herrera, JS Martin (2009)「同期状態と進行波の結合写像格子、およびそれらの周期倍加カスケードの解析的研究」 Chaos, Solitons & Fractals 42: 901–910. DOI:10.1016/j.chaos.2009.02.040 ^ JA Sherratt (1996)「決定論的セルオートマトン群における周期進行波」 Physica D 95: 319–335. DOI:10.1016/0167-2789(96)00070-X ^ M. Courbage (1997)「1次元無限セルオートマトンにおける進行波の豊富さについて」 Physica D 103: 133–144. DOI:10.1016/S0167-2789(96)00256-4 ^ a b c J. A. Sherratt (1994)「反応拡散波における不規則な航跡」、Physica D 70: 370–382. DOI:10.1016/0167-2789(94)90072-8 ^ a b S.V. Petrovskii, H. Malchow (1999)「被食者-捕食者システムにおけるパターン形成の最小モデル」Math. Comp. Modelling 29: 49–63. DOI:10.1016/S0895-7177(99)00070-9 ^ a b E. Ranta, V. Kaitala (1997)「ハタネズミの個体群動態における移動波」Nature 390: 456. DOI:10.1038/37261 ^ a b X. Lambin, DA Elston, SJ Petty, JL MacKinnon (1998)「野ネズミの周期的個体群における空間的非同期性と周期的進行波」Proc. R. Soc. Lond. B 265: 1491–1496. DOI:10.1098/rspb.1998.0462 ^ a b c d J.DM Rademacher, B. Sandstede , A. Scheel (2007)「継続を用いた絶対スペクトルと基本スペクトルの計算」Physica D 229: 166–183. DOI:10.1016/j.physd.2007.03.016 ^ a b c M. J. Smith, JDM Rademacher, JA Sherratt (2009)「波列の絶対安定性はラムダ・オメガ型反応拡散システムにおける時空間ダイナミクスを説明できる」SIAM J. Appl. Dyn. Systems 8: 1136–1159. DOI:10.1137/090747865 ^ K. Maginu (1981)「反応拡散系における大きな空間周期を持つ周期進行波解の安定性」、 J. Diff. Eqns. 39: 73–99. 10.1016/0022-0396(81)90084-X ^ MJ Smith, JA Sherratt (2007)「振動反応拡散系における不等拡散係数の周期進行波への影響」 Physica D 236: 90–103. DOI:10.1016/j.physd.2007.07.013 ^ B. Sandstede, A. Scheel (2000)「非有界領域および大規模有界領域における波動の絶対不安定性と対流不安定性」 Physica D 145: 233–277. DOI:10.1016/S0167-2789(00)00114-7 ^ AL Kay, JA Sherratt (2000)「空間ノイズは有限領域上の振動系における周期波パターンを安定化する」 SIAM J. Appl. Math. 61: 1013–1041. DOI:10.1137/S0036139999360696 ^ a b D. M. Johnson, ON Bjornstad, AM Liebhold (2006)「景観モザイクは昆虫発生の伝播波を誘発する」Oecologia 148: 51–60. DOI:10.1007/s00442-005-0349-0 ^ a b K. Nozaki, N. Bekki (1983)「ギンツブルグ・ランダウ方程式におけるパターン選択とカオスへの時空間遷移」Phys. Rev. Lett. 51: 2171-2174. DOI:10.1103/PhysRevLett.51.2171 ^ A. Tsameret, V. Steinberg (1994)「軸流を伴うクエット・テイラー系における競合状態」、 Phys. Rev. E 49: 4077-4086. DOI:10.1103/PhysRevE.49.4077 ^ M. Ipsen, L. Kramer, PG Sorensen (2000)「化学反応拡散系の記述のための振幅方程式」, Phys. Rep. 337: 193–235. DOI:10.1016/S0370-1573(00)00062-4 ^ AS Mikhailov, K. Showalter (2006)「化学システムにおける波、パターン、乱流の制御」 Phys. Rep. 425: 79–194. DOI:10.1016/j.physrep.2005.11.003 ^ JA Sherratt, MA Lewis, AC Fowler (1995)「侵略後の生態学的混沌」 Proc. Natl. Acad. Sci. USA 92: 2524–2528. 10.1073/pnas.92.7.2524 ^ a b S.V. Petrovskii, H. Malchow (2001)「カオスの波:時空間個体群動態におけるパターン形成の新たなメカニズム」Theor. Pop. Biol. 59: 157–174. DOI:10.1006/tpbi.2000.1509 ^ JA Sherratt, X. Lambin, CJ Thomas, TN Sherratt (2002)「周期的捕食者-被食者システムにおける景観特性による周期波の生成」 Proc. R. Soc. Lond. B 269: 327–334. DOI:10.1098/rspb.2001.1890 ^ M. Sieber, H. Malchow, SV Petrovskii (2010)「振動反応拡散系における周期進行波のノイズ誘起抑制」 Proc. R. Soc. Lond. A 466: 1903–1917. DOI:10.1098/rspa.2009.0611 ^ JA Sherratt (2008)「振動反応拡散方程式におけるロビン境界条件とディリクレ境界条件による周期進行波生成の比較」 IMA J. Appl. Math. 73: 759-781. DOI:10.1093/imamat/hxn015 ^ VN Biktashev, MA Tsyganov (2009)「交差拡散を伴う振動系における自発進行波」、 Phys. Rev. E 80: art. no. 056111. DOI:10.1103/PhysRevE.80.056111 ^ MR Garvie, M. Golinski (2010)「空間的に拡張された捕食者と被食者の相互作用におけるメタ個体群動態」、 Ecological Complexity 7: 55–59. DOI:10.1016/j.ecocom.2009.05.001 ^ JA Sherratt (1994)「λ-ω型反応拡散方程式における周期平面波の発展について」 SIAM J. Appl. Math. 54: 1374–1385. DOI: 10.1137/S0036139993243746 ^ a b N. Bekki, K. Nozaki (1985)「一般化ギンツブルグ・ランダウ方程式における空間パターンとホールの形成」Phys. Lett. A 110: 133–135. DOI: 10.1016/0375-9601(85)90759-5 ^ JA Sherratt (2003)「振動反応拡散系におけるディリクレ境界条件による周期進行波選択」、 SIAM J. Appl. Math. 63: 1520–1538. DOI:10.1137/S0036139902392483 ^ J. Lega (2001)「複素ギンツブルグ・ランダウ方程式のトラベリングホール解:レビュー」、 Physica D 152: 269–287. DOI:10.1016/S0167-2789(01)00174-9 ^ EJ Doedel, JP Kernevez (1986)「AUTO: 常微分方程式の継続と分岐問題のためのソフトウェア」、応用数学レポート 、カリフォルニア工科大学、パサデナ、米国 ^ B. Sandstede (2002)「進行波の安定性」第3.4.2節。B. Fiedler (編)『動的システムハンドブック II』 、北ホラント州アムステルダム、983~1055頁。https ://www.dam.brown.edu/people/sandsted/publications/survey-stability-of-waves.pdf 2013年9月27日 アーカイブ 、Wayback Machine にて ^ B. Deconinck, JN Kutz (2006)「フロケ・フーリエ・ヒル法を用いた線形演算子のスペクトル計算」 J. Comput. Phys. 219: 296–321. DOI:10.1016/j.jcp.2006.03.020 ^ JA Sherratt (2013)「偏微分方程式の安定および不安定周期進行波(波列)解間のパラメータ空間における境界の数値接続」 Adv. Comput. Math 、印刷中。DOI :10.1007/s10444-012-9273-0 ^ JA Sherratt (2012)「偏微分方程式の周期進行波(波列)解を研究するための数値接続法」 Appl. Math. Computation 218: 4684–4694. DOI:10.1016/j.amc.2011.11.005 ^ AC Nilssen, O. Tenow, H. Bylund (2007)「 Epirrita autumnata/Operophtera brumataの 発生における波動と同期性 II. 太陽黒点活動は周期的な発生を説明できない」 J. Animal Ecol. 76: 269–275. DOI:10.1111/j.1365-2656.2006.01205.x/full ^ R. Moss, DA Elston, A. Watson (2000)「アカライチョウの個体群変動サイクルにおける空間的非同期性と人口動態移動波」、 Ecology 81: 981-989. DOI:10.1890/0012-9658 ^ M. Rietkerk、SC Dekker、PC de Ruiter、J. van de Koppel (2004) 「生態系における自己組織化された斑点と壊滅的な変化」、 Science 305: 1926–1929。 DOI:10.1126/science.1101867 ^ C. Valentin, JM d'Herbes, J. Poesen (1999)「縞状植生パターンの土壌と水の成分」 Catena 37: 1-24. DOI:10.1016/S0341-8162(99)00053-3 ^ DL Dunkerley, KJ Brown (2002)「オーストラリア乾燥地帯における斜め植生帯:パターンの進化と維持に関する理論への示唆」 J. Arid Environ. 52: 163–181. DOI:10.1006/jare.2001.0940 ^ V. Deblauwe (2010) "Modulation des Structure de vegetation auto-organisees en milieu aride / 乾燥気候における自己組織化植生パターン変調".博士論文、ブリュッセル自由大学 。「ULB のカタログ・デ・テーゼ・エレクトロニクス - テーゼ ULBetd-04122010-093151」 。2013 年 9 月 27 日にオリジナル からアーカイブされました。2013 年 1 月 9 日 に取得 。 ^ N. Kopell, LN Howard (1973)「ベロウソフ反応における水平バンド」、 Science 180: 1171–1173. DOI:10.1126/science.180.4091.1171 ^ G. Bordyugov, N. Fischer, H. Engel, N. Manz, O. Steinbock (2010)「ベロウソフ・ジャボチンスキー反応における異常分散:実験とモデリング」 Physica D 239: 766–775. DOI:10.1016/j.physd.2009.10.022 ^ MREProctor (2006)「ダイナモ作用と太陽」M. Rieutord, B. Dubrulle (編)『恒星流体力学と数値シミュレーション:太陽から中性子星まで 』EAS Publications Series 21: 241–273. http://www.damtp.cam.ac.uk/user/mrep/solcyc/paper.pdf ^ MRE Proctor, EA Spiegel (1991)「太陽活動の波動」『太陽と冷たい星:活動、磁気、ダイナモ』(物理学講義ノート380) pp. 117–128. DOI:10.1007/3-540-53955-7_116 ^ E. Kaplan, V. Steinberg (1993)「位相ずれ、非断熱効果、および進行波源のダイナミクス」、 Phys. Rev. Lett. 71: 3291–3294. DOI:10.1103/PhysRevLett.71.3291 ^ L. Pastur、MT Westra、D. Snouck、W. van de Water、M. van Hecke、C. Storm、W. van Saarloos (2003) 「一次元進行波対流実験におけるソースとホール」、 Phys. Rev. E 67: 芸術。いいえ。 036305.DOI :10.1103/PhysRevE.67.036305 ^ P. Habdas, MJ Case, JR de Bruyn (2001)「1次元移動フィンガーパターンにおけるシンク欠陥とソース欠陥の挙動」、 Phys. Rev. E 63: art.\ no.\ 066305. DOI:10.1103/PhysRevE.63.066305