コンテンツにスキップ

「周期進行波」の版間の差分

出典: フリー百科事典『ウィキペディア(Wikipedia)』
削除された内容 追加された内容
m →‎top: 出典テンプレートと{{R}}の適用。書誌情報の追加。他。
1行目: 1行目:
{{for|量子力学における波動の爆発|波束}}
{{for|量子力学における波動の|波束}}
[[数学]]の分野における'''周期進行波'''(しゅうきしんこうは、{{Lang-en-short|periodic travelling wave}})あるいは'''波列'''(はれつ、{{lang-en-short|wavetrain}})とは、一定のスピードで動く[[次元|1次元]][[ユークリッド空間]]内のある[[周期関数]]である。したがって、[[空間]]および[[時間]]の両方に関する周期関数であるような時空的[[振動]]の特別なタイプと見なされる。


周期進行波は、[[振動理論|自己振動系]]<ref name="KopellHoward1973">{{Cite journal|author1=N. Kopell|author2=L.N. Howard|date=1973|title=Plane wave solutions to reaction-diffusion equations|journal={{enlink|Studies in Applied Mathematics|Stud. Appl. Math.|p=off|s=off}}|volume=52|pages=291-328}}</ref><ref name="AransonKramer2002">{{Cite journal|author1=I.S. Aranson|author2=L. Kramer|date=4 February 2002|title=The world of the complex Ginzburg-Landau equation|location=[[ミネアポリス|Minneapolis]]|publisher=[[アメリカ物理学会|APS]]|journal={{enlink|Reviews of Modern Physics|Rev. Mod. Phys.|p=off|s=off}}|volume=74|pages=99-143|issn=0034-6861|lccn=31021290|oclc=5975699|doi=10.1103/RevModPhys.74.99}}</ref>や{{仮リンク|励起的媒質|label=励起系|en|excitable medium}}<ref>{{Cite journal|author=S. Coombes|date=April 2001|title=From periodic travelling waves to travelling fronts in the spike-diffuse-spike model of dendritic waves|location=[[アムステルダム|Amsterdam]]|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Mathematical Biosciences|Math. Biosci.|p=off|s=off}}|volume=170|issue=2|pages=155-172|issn=0025-5564|lccn=68130147|oclc=1681432|doi=10.1016/S0025-5564(00)00070-5}}</ref>、[[移流拡散方程式|移流反応拡散系]]<ref name="SherrattLord2007">{{Cite journal|author1=J.A. Sherratt|author2=G.J. Lord|title=Nonlinear dynamics and pattern bifurcations in a model for vegetation stripes in semi-arid environments|location=[[アムステルダム|Amsterdam]]|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Theoretical Population Biology|Theor. Popul. Biol.|p=off|s=off}}|volume=71|issue=1|date=February 2007|pages=1–11|issn=0040-5809|lccn=73019414|oclc=932477|doi=10.1016/j.tpb.2006.07.009}}</ref>を含む、多くの数学の方程式系において本質的に重要な役割を担う。
[[数学]]の分野における'''周期進行波'''(しゅうきしんこうは、{{Lang-en-short|periodic travelling wave}})あるいは'''波列'''(wavetrain)とは、一定のスピードで動く[[次元|1次元]][[ユークリッド空間]]内のある[[周期関数]]である。したがってそれは、[[空間]]および[[時間]]の両方に関する周期関数であるような時空的[[振動]]の特別なタイプと見なされる。

周期進行波は、[[振動理論|自己振動系]]<ref name="KopellHoward1973">N. Kopell, L.N. Howard (1973)
"Plane wave solutions to reaction-diffusion equations",
''Stud. Appl. Math.'' 52: 291-328.</ref><ref
name="AransonKramer2002">I.S. Aranson, L. Kramer (2002)
"The world of the complex Ginzburg-Landau equation",
''Rev. Mod. Phys.'' 74: 99-143.
[http://link.aps.org/doi/10.1103/RevModPhys.74.99 DOI:10.1103/RevModPhys.74.99]</ref>や
{{仮リンク|励起的媒質|label=励起系|en|excitable medium}}<ref>S. Coombes (2001)
"From periodic travelling waves to
travelling fronts in the spike-diffuse-spike model of dendritic waves",
''Math. Biosci.'' 170: 155-172.
[http://dx.doi.org/10.1016/S0025-5564(00)00070-5 DOI:10.1016/S0025-5564(00)00070-5]</ref>、
[[移流拡散方程式|移流反応拡散系]]<ref name="SherrattLord2007">J.A. Sherratt, G.J. Lord (2007)
"Nonlinear dynamics and pattern bifurcations in a model for vegetation
stripes in semi-arid environments", ''Theor. Popul. Biol.'' 71 (2007): 1-11.
[http://dx.doi.org/10.1016/j.tpb.2006.07.009 DOI:10.1016/j.tpb.2006.07.009]</ref>を含む、多くの数学の方程式系において本質的に重要な役割を担う。


これらのタイプの[[方程式|方程式系]] は、[[生物学]]、[[化学]]および[[物理学]]の[[数理モデル]]として幅広く用いられ、周期進行波に似た挙動を示す多くの現象の例が[[経験則|経験的に]]知られている。
これらのタイプの[[方程式|方程式系]] は、[[生物学]]、[[化学]]および[[物理学]]の[[数理モデル]]として幅広く用いられ、周期進行波に似た挙動を示す多くの現象の例が[[経験則|経験的に]]知られている。


周期進行波に関する数学の理論は、そのほとんどが[[偏微分方程式]]のために発展されたものではあるが、他のタイプの数学のシステム、例えば[[積分微分方程式]]<ref>{{Cite journal|author1=S.A. Gourley|author2=N.F. Britton|date=1 September 1993|title=Instability of traveling wave solutions of a population model with nonlocal effects|journal=IMA J. Appl. Math.|volume=51|issue=3|pages=299-310|doi=10.1093/imamat/51.3.299}}</ref><ref>{{Cite journal|author1=P. Ashwin|author2=M.V. Bartuccelli|author3=T.J. Bridges|author4=S.A. Gourley|date=January 2002|title=Travelling fronts for the KPP equation with spatio-temporal delay|location=[[バーゼル|Basel]]|publisher={{enlink|Birkhäuser|Birkhäuser Verlag|p=off|s=off}}|journal={{enlink|Zeitschrift für Angewandte Mathematik und Physik|Z. Angew. Math. Phys.|p=off|s=off}}|volume=53|issue=1|pages=103-122|issn=0044-2275|lccn=52017098|oclc=868969274|doi=10.1007/s00033-002-8145-8}}</ref>、積分差分方程式<ref>{{Cite journal|author=M. Kot|date=15 November 1992|title=Discrete-time travelling waves: ecological examples|location=[[ハイデルベルク|Heidelberg]]|publisher=[[シュプリンガー・サイエンス・アンド・ビジネス・メディア|Springer Verlag]]|journal={{enlink|Journal of Mathematical Biology|J. Math. Biol.|p=off|s=off}}|volume=30|issue=4|pages=413-436|issn=0303-6812|lccn=74645888|oclc=01794831|doi=10.1007/BF00173295}}</ref>、結合写像格子<ref>{{Cite journal|author1=M.D.S. Herrera|author2=J.S. Martin|title=An analytical study in coupled map lattices of synchronized states and traveling waves, and of their period-doubling cascades|journal=Chaos, Solitons & Fractals|volume=42|issue=2|date=30 October 2009|pages=901–910|doi=10.1016/j.chaos.2009.02.040}}</ref>やセルオートマトン<ref>{{Cite journal|author=J.A. Sherratt|date=1 September 1996|title=Periodic travelling waves in a family of deterministic cellular automata|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Physica (journal)|Physica D|p=off|s=off}}|volume=95|issue=3–4|pages=319-335|issn=0167-2789|oclc=807718984|doi=10.1016/0167-2789(96)00070-X}}</ref><ref>{{Cite journal|atuhor=M. Courbage|date=15 April 1997|title=On the abundance of traveling waves in 1D infinite cellular automata|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Physica (journal)|Physica D|p=off|s=off}}|volume=103|issue=1–4|pages=133-144|issn=0167-2789|oclc=807718984|doi=10.1016/S0167-2789(96)00256-4}}</ref>などにおいても、それら周期進行波の解は同様に生じる。
周期進行波に関する数学の理論は、そのほとんどが[[偏微分方程式]]のために発展されたものではあるが、他のタイプの数学のシステム、例えば[[積分微分方程式]]<ref>S.A. Gourley, N.F. Britton (1993)
"Instability of traveling wave solutions of a population model with
nonlocal effects", ''IMA J. Appl. Math.'' 51: 299-310.
[http://imamat.oxfordjournals.org/content/51/3/299.short DOI:10.1093/imamat/51.3.299]</ref><ref>P. Ashwin, M.V. Bartuccelli, T.J. Bridges, S.A. Gourley (2002) "Travelling fronts for the KPP
equation with spatio-temporal delay", ''Z. Angew. Math. Phys.'' 53: 103-122.
[http://link.springer.com/article/10.1007%2Fs00033-002-8145-8?LI=true DOI:0010-2571/02/010103-20]</ref>、
積分差分方程式<ref>M. Kot (1992) "Discrete-time travelling waves: ecological examples", ''J. Math. Biol.'' 30: 413-436. [http://dx.doi.org/10.1007/BF00173295 DOI:10.1007/BF00173295]</ref>、
結合写像格子<ref>M.D.S. Herrera, J.S. Martin (2009) "An analytical study in coupled map lattices of synchronized states and traveling waves, and of their period-doubling cascades", ''Chaos, Solitons & Fractals'' 42: 901-910. [http://dx.doi.org/10.1016/j.chaos.2009.02.040 DOI:10.1016/j.chaos.2009.02.040]</ref>やセルオートマトン<ref>J.A. Sherratt (1996) "Periodic travelling waves in a family of deterministic cellular automata", ''Physica D'' 95: 319-335. [http://dx.doi.org/10.1016/0167-2789(96)00070-X DOI:10.1016/0167-2789(96)00070-X]</ref><ref>M. Courbage (1997) "On the abundance of traveling waves in 1D infinite cellular automata", ''Physica D'' 103: 133-144. [http://dx.doi.org/10.1016/S0167-2789(96)00256-4 DOI:10.1016/S0167-2789(96)00256-4]</ref>などにおいても、それら周期進行波の解は同様に生じる。


周期進行波はそれ自身が重要であるとともに、2次元空間における渦巻波(spiral wave)やターゲットパターン、3次元空間における旋回波(scroll wave)に対し、一次元的に同値なものである。
周期進行波はそれ自身が重要であるとともに、2次元空間における{{仮リンク|渦巻波|en|spiral wave}}やターゲットパターン、3次元空間における旋回波に対し、一次元的に同値なものである。


== 周期進行波に関する研究の歴史 ==
== 歴史 ==
周期進行波は、1970年代に初めて研究された。キーとなる早期の研究論文は [[:en:Nancy Kopell|Nancy Kopell]] と Lou
周期進行波は、1970年代に初めて研究された。キーとなる早期の研究論文は {{enlink|Nancy Kopell|p=off|s=off}} と Lou
Howard によるもの <ref name="KopellHoward1973" /> で、[[反応拡散方程式]]における周期進行波に関するいくつかの基本的な結果が証明された。この論文は、1970年代から1980年代早期に行われた意義のある研究活動の先駆けとなった。その後、しばらく活動が停滞したのち、周期進行波の生成に関する数学的な研究<ref name="Sherratt1994">J.A. Sherratt (1994) "Irregular
Howard によるもの{{R|KopellHoward1973}}で、[[反応拡散方程式]]における周期進行波に関するいくつかの基本的な結果が証明された。この論文は、1970年代から1980年代早期に行われた意義のある研究活動の先駆けとなった。その後、しばらく活動が停滞したのち、周期進行波の生成に関する数学的な研究<ref name="Sherratt1994">{{Cite journal|author=J.A. Sherratt|title=Irregular
wakes in reaction-diffusion waves|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Physica (journal)|Physica D|p=off|s=off}}|volume=70|issue=4|date=15 February 1994|pages=370–382|issn=0167-2789|oclc=807718984|doi=10.1016/0167-2789(94)90072-8}}</ref><ref name="PetrovskiiMalchow1999">{{Cite journal|author1=S.V. Petrovskii|author2=H. Malchow|title=A
wakes in reaction-diffusion waves", ''Physica D'' 70: 370-382.
minimal model of pattern formation in a prey-predator system|journal=Math. Comp. Modelling|volume=29|issue=8|date=April 1999|pages=49–63|doi=10.1016/S0895-7177(99)00070-9}}</ref>や、[[生態学]]における周期個体群に関する時空間的なデータセットにそれら周期進行波が発見された<ref name="RantaKaitala1997">{{Cite journal|author1=E. Ranta|author2=V. Kaitala|date=4 December 1997|title=Travelling waves in vole population dynamics|location=[[ロンドン|London]]|publisher={{enlink|Nature Publishing Group|p=off|s=off}}|journal=[[ネイチャー|Nature]]|volume=390|page=456|issn=0028-0836|oclc=01586310|doi=10.1038/37261}}</ref><ref name="Lambinetal1998">{{Cite journal|author1=X. Lambin|author2=D.A. Elston|author3=S.J. Petty|author4=J.L. MacKinnon|date=22 August 1998|title=Spatial asynchrony and periodic travelling waves in cyclic populations of field voles|location=[[ロンドン|London]]|publisher=[[王立協会|Royal Society]]|journal={{enlink|Proceedings of the Royal Society|Proc. R. Soc. Lond B|p=off|s=off}}|volume=265|issue=1405|pages=1491-1496|issn=0962-8452|lccn=92656221|oclc=1764614|doi=10.1098/rspb.1998.0462}}</ref>ことに伴って、研究の興味は刷新された。2000年代中盤より、周期進行波に関する研究は、それらの[[安定性理論|安定性]]や絶対安定性を調べるための新たな計算法によって発展されている<ref name="Rademacheretal2007">{{Cite journal|author1=J.D.M. Rademacher|author2=B. Sandstede|author3=A. Scheel|title=Computing absolute and essential spectra using ontinuation|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Physica (journal)|Physica D|p=off|s=off}}|volume=229|issue=2|date=15 May 2007|pages=166–183|issn=0167-2789|oclc=807718984|doi=10.1016/j.physd.2007.03.016}}</ref><ref name="Smithetal2009">{{Cite journal|author1=M.J. Smith|author2=J.D.M. Rademacher|author3=J.A. Sherratt|date=26 January 2009|title=Absolute stability of wavetrains can explain patiotemporal dynamics in reaction-diffusion systems of lambda-omega type|publisher={{enlink|Society for Industrial and Applied Mathematics|SIAM|p=off|s=off}}|journal=SIAM J. Appl. Dyn. Systems|volume=8|issue=3|pages=1136-1159|doi=10.1137/090747865}}</ref>。
[http://dx.doi.org/10.1016/0167-2789(94)90072-8 DOI:10.1016/0167-2789(94)90072-8]</ref><ref name="PetrovskiiMalchow1999">S.V. Petrovskii, H. Malchow (1999) "A
minimal model of pattern formation in a prey-predator system",
''Math. Comp. Modelling'' 29: 49-63. [http://dx.doi.org/10.1016/S0895-7177(99)00070-9 DOI:10.1016/S0895-7177(99)00070-9]</ref>や、[[生態学]]における周期個体群に関する時空間的なデータセットにそれら周期進行波が発見された<ref name="RantaKaitala1997">E. Ranta, V. Kaitala (1997) "Travelling waves in vole population dynamics", ''Nature'' 390: 456. [http://www.nature.com/nature/journal/v390/n6659/pdf/390456a0.pdf DOI:10.1038/37261]</ref><ref name="Lambinetal1998">X. Lambin,
D.A. Elston, S.J. Petty, J.L. MacKinnon (1998) "Spatial
asynchrony and periodic travelling waves in cyclic populations of field
voles", ''Proc. R. Soc. Lond'' B 265: 1491-1496.
[http://rspb.royalsocietypublishing.org/content/265/1405/1491.short DOI:10.1098/rspb.1998.0462]</ref>ことに伴って、研究の興味は刷新された。2000年代中盤より、周期進行波に関する研究は、それらの[[安定性理論|安定性]]や絶対安定性を調べるための新たな計算法によって発展されている<ref name="Rademacheretal2007">J.D.M. Rademacher,
B. Sandstede, A. Scheel (2007) "Computing absolute and essential
spectra using continuation", ''Physica D'' 229: 166-183.
[http://dx.doi.org/10.1016/j.physd.2007.03.016 DOI:10.1016/j.physd.2007.03.016]</ref><ref
name="Smithetal2009">M.J. Smith, J.D.M. Rademacher, J.A. Sherratt
(2009) "Absolute stability of wavetrains can explain spatiotemporal
dynamics in reaction-diffusion systems of lambda-omega type", ''SIAM J. Appl. Dyn. Systems'' 8: 1136-1159.
[http://dx.doi.org/10.1137/090747865 DOI:10.1137/090747865]</ref>。


== 周期進行波の族 ==
== 族 ==
周期進行波の存在は、通常、数学的な方程式の中の[[媒介変数]]の値に左右される。周期進行波解が存在するなら、波のスピードが異なるそのような解の族が通常存在する。偏微分方程式において、周期進行波は通常、波のスピードの連続的な領域に対して生じる<ref name="KopellHoward1973" />
周期進行波の存在は、通常、数学的な方程式の中の[[媒介変数]]の値に左右される。周期進行波解が存在するなら、波のスピードが異なるそのような解の族が通常存在する。偏微分方程式において、周期進行波は通常、波のスピードの連続的な領域に対して生じる{{R|KopellHoward1973}}


== 周期進行波の安定性 ==
== 安定性 ==
周期進行波に関する重要な問題の一つに、それが元の数学的システムの解として[[安定性理論|安定]]かそれとも不安定か、という問題がある。偏微分方程式に対しては、通常、周期進行波の族は安定な部分と不安定な部分に細分される{{R|KopellHoward1973}}<ref>{{Cite journal|author=K. Maginu|date=January 1981|title=Stability of periodic travelling wave solutions with large spatial periods in reaction-diffusion systems|journal=J. Diff. Eqns.|volume=39|issue=1|pages=73-99|doi=10.1016/0022-0396(81)90084-X}}</ref><ref>{{Cite journal|author1=M.J. Smith|author2=J.A. Sherratt|title=The effects of unequal diffusion coefficients on periodic travelling waves in oscillatory reaction-diffusion systems|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Physica (journal)|Physica D|p=off|s=off}}|volume=236|issue=2|date=15 December 2007|pages=90-103|issn=0167-2789|oclc=807718984|doi=10.1016/j.physd.2007.07.013}}</ref>。不安定な周期進行波に関する、重要かつ補助的な問題の一つに、それらが絶対不安定あるいは対流不安定であるか、すなわちそれらは定常的に成長する線型モードであるかどうか、という問題がある<ref name="SandstedeScheel2000">{{Cite journal|author1=B. Sandstede|author2=A. Scheel|title=Absolute and convective instabilities of waves on unbounded and large bounded domains|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Physica (journal)|Physica D|p=off|s=off}}|volume=145|issue=3–4|date=1 November 2000|pages=233-277|issn=0167-2789|oclc=807718984|doi=10.1016/S0167-2789(00)00114-7}}</ref>。この問題は限られた偏微分方程式についてのみ、解決されている{{R|AransonKramer2002|Rademacheretal2007|Smithetal2009}}。
周期進行波に関する重要な問題の一つに、それが元の数学的システムの解として[[安定性理論|安定]]かそれとも不安定か、という問題がある。偏微分方程式に対しては、通常、周期進行波の族は安定な部分と不安定な部分に細分される<ref name="KopellHoward1973" /><ref>K. Maginu (1981)
"Stability of periodic travelling wave solutions with large
spatial periods in reaction-diffusion systems", ''J. Diff. Eqns.'' 39:
73-99.
[http://dx.doi.org/10.1016/0022-0396(81)90084-X 10.1016/0022-0396(81)90084-X]</ref><ref>M.J. Smith, J.A. Sherratt
(2007) "The effects of unequal diffusion coefficients on periodic
travelling waves in
oscillatory reaction-diffusion systems", ''Physica D'' 236: 90-103.
[http://dx.doi.org/10.1016/j.physd.2007.07.013 DOI:10.1016/j.physd.2007.07.013]</ref>。不安定な周期進行波に関する、重要かつ補助的な問題の一つに、それらが絶対不安定あるいは対流不安定であるか、すなわちそれらは定常的に成長する線型モードであるかどうか、という問題がある<ref name="SandstedeScheel2000">B. Sandstede, A. Scheel (2000)
"Absolute and convective instabilities of waves on unbounded and large
bounded domains", ''Physica D'' 145: 233-277.
[http://dx.doi.org/10.1016/S0167-2789(00)00114-7 DOI:10.1016/S0167-2789(00)00114-7]</ref>。この問題は限られた偏微分方程式についてのみ、解決されている<ref
name="AransonKramer2002" /><ref name="Rademacheretal2007" /><ref
name="Smithetal2009" />。


== 周期進行波の生成 ==
== 生成 ==
周期進行波の生成に関する以下のような多くのメカニズムが知られている。


; 異質性
周期進行波の生成に関する多くのメカニズムが知られている。それらには以下のようなものが含まれる:
: 媒介変数における空間的なノイズの結果として、周期進行波の連続的な帯を生成することが出来る<ref>{{Cite journal|author1=A.L. Kay|author2=J.A. Sherratt|date=2000|title=Spatial noise stabilizes periodic wave patterns in oscillatory systems on finite domains|publisher={{enlink|Society for Industrial and Applied Mathematics|SIAM|p=off|s=off}}|journal={{enlink|SIAM Journal on Applied Mathematics|SIAM J. Appl. Math.|p=off|s=off}}|volume=61|issue=3|pages=1013-1041|doi=10.1137/S0036139999360696}}</ref>。このことは、周期進行波の二次元への一般化であるターゲットパターンや渦巻波を不純物が生成するような、[[時計反応|振動化学反応]]への応用において重要となる。この過程は、1970年代および1980年代初期における、周期進行波に関する研究の大きな動機となった。また生態学においては、景観異質性が周期進行波の原因の一つとして提唱されてきた<ref name="Johnsonetal2006">{{Cite journal|author1=D.M. Johnson|author2=O.N. Bjornstad|author3=A.M. Liebhold|date=May 2006|title=Landscape mosaic induces travelling waves of insect outbreaks|location=[[ベルリン|Berlin]]|publisher=[[シュプリンガー・サイエンス・アンド・ビジネス・メディア|Springer-Verlag]]|journal={{enlink|Oecologia|p=off|s=off}}|volume=148|issue=1|pages=51-60|issn=0029-8549|oclc=1353676|doi=10.1007/s00442-005-0349-0}}</ref>。
* '''異質性''':媒介変数における空間的なノイズの結果として、周期進行波の連続的な帯を生成することが出来る<ref>A.L. Kay,
; 侵入
J.A. Sherratt (2000) "Spatial noise stabilizes periodic wave patterns
: 周期進行波をそれらの wake から離すことが出来る{{R|Sherratt1994|PetrovskiiMalchow1999}}<ref name="NozakiBekki1983">{{Cite journal|author1=K. Nozaki|author2=N. Bekki|date=5 August 1983|title=Pattern selection and spatiotemporal transition to chaos in the Ginzburg-Landau equation|location={{enlink|Ridge, New York|Ridge, NY|p=off|s=off}}|publisher=[[アメリカ物理学会|APS]]|journal=[[フィジカル・レビュー|Phys. Rev. Lett.]]|volume=51|issue=24|pages=2171-2174|issn=0031-9007|lccn=59037543|oclc=1715834|doi=10.1103/PhysRevLett.51.2171}}</ref>。これは、[[ベロウソフ・ジャボチンスキー反応]]のような化学系<ref>{{Cite journal|author1=M. Ipsen|author2=L. Kramer|author3=P.G. Sorensen|title=Amplitude equations for description of chemical reaction–diffusion systems|location=[[アムステルダム|Amsterdam]]|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Physics Reports|Phys. Rep.|p=off|s=off}}|volume=337|issue=1–2|date=October 2000|pages=193-235|issn=0370-1573|oclc=252468919|doi=10.1016/S0370-1573(00)00062-4}}</ref><ref>{{Cite journal|author1=A.S. Mikhailov|author2=K. Showalter|title=Control of waves, patterns and turbulence in chemical systems|location=[[アムステルダム|Amsterdam]]|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Physics Reports|Phys. Rep.|p=off|s=off}}|volume=425|issue=2–3|date=March 2006|pages=79-194|issn=0370-1573|oclc=252468919|doi=10.1016/j.physrep.2005.11.003}}</ref>や、[[生態学]]の[[捕食-被食関係|被食・捕食系]]<ref>{{Cite journal|author1=J.A. Sherratt|author2=M.A. Lewis|author3=A.C. Fowler|date=March 28, 1995|title=Ecological chaos in the wake of invasion|location=[[ワシントンD.C.|Washington, D.C.]]|publisher=[[米国科学アカデミー|NAS]]|journal=[[米国科学アカデミー紀要|Proc. Natl. Acad. Sci. USA]]|volume=92|issue=7|pages=2524-2528|issn=0027-8424|lccn=16010069|oclc=43473694|jstor=2367152|doi=10.1073/pnas.92.7.2524}}</ref><ref name="PetrovskiiMalchow2001">{{Cite journal|author1=S.V. Petrovskii|author2=H. Malchow|title=Wave of chaos: new mechanism of pattern formation in spatio-temporal population dynamics|location=[[アムステルダム|Amsterdam]]|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Theoretical Population Biology|Theor. Pop. Biol.|p=off|s=off}}|volume=59|issue=2|date=March 2001|pages=157-174|issn=0040-5809|lccn=73019414|oclc=932477|doi=10.1006/tpbi.2000.1509}}</ref>において、通過流が存在しているときの{{仮リンク|テイラー=クエット流|label=テイラー=クエット系|en|Taylor–Couette flow}}に対して、重要となる。
in oscillatory systems on finite domains", ''SIAM J. Appl. Math.'' 61:
; 分域境界
1013-1041.
: [[ディリクレ境界条件]]あるいは[[ロビン境界条件]]を伴う<ref>{{Cite journal|author1=J. A. Sherratt|author2=X. Lambin|author3=C.J. Thomas|author4=T.N. Sherratt|date=22 February 2002|title=Generation of periodic waves by landscape features in cyclic predator-prey systems|location=[[ロンドン|London]]|publisher=[[王立協会|Royal Society]]|journal={{enlink|Proceedings of the Royal Society|Proc. R. Soc. Lond B|p=off|s=off}}|volume=269|issue=1489|pages=327-334|issn=0962-8452|lccn=92656221|oclc=1764614|doi=10.1098/rspb.2001.1890}}</ref><ref>{{Cite journal|author1=M. Sieber|author2=H. Malchow|author3=S.V. Petrovskii|date=20 January 2010|title=Noise-induced suppression of periodic travelling waves in oscillatory reaction–diffusion systems|location=[[ロンドン|London]]|publisher=[[王立協会|Royal Society]]|journal={{enlink|Proceedings of the Royal Society|Proc. R. Soc. Lond. A|p=off|s=off}}|volume=466|issue=2119|pages=1903-1917|issn=1364-5021|lccn=96660116|oclc=610206090|doi=10.1098/rspa.2009.0611}}</ref><ref>{{Cite journal|author=J.A. Sherratt|date=23 June 2008|title=A comparison of periodic travelling wave generation by Robin and Dirichlet boundary conditions in oscillatory reaction-diffusion equations|journal=IMA J. Appl. Math.|volume=73|issue=5|pages=759-781|doi=10.1093/imamat/hxn015}}</ref>。これは、生息地と周りの敵対的環境の間の境界に、ディリクレあるいはロビン境界条件が対応するような[[生態学]]において、潜在的に重要となる。しかし、波の発生に関する決定的な経験的実証を得ることは、生態学のシステムに対しては困難である。
[http://dx.doi.org/10.1137/S0036139999360696 DOI:10.1137/S0036139999360696]</ref>。このことは、周期進行波の二次元への一般化であるターゲットパターンや渦巻波を不純物が生成するような、[[時計反応|振動化学反応]]への応用において重要となる。この過程は、1970年代および1980年代初期における、周期進行波に関する研究の大きな動機となった。また生態学においては、景観異質性(landscape heterogeneity)が周期進行波の原因の一つとして提唱されてきた<ref name="Johnsonetal2006">D.M. Johnson, O.N. Bjornstad, A.M. Liebhold (2006) "Landscape mosaic induces travelling waves of insect outbreaks", ''Oecologia'' 148: 51-60.
; 追跡と回避
[http://link.springer.com/article/10.1007%2Fs00442-005-0349-0?LI=true DOI:10.1007/s00442-005-0349-0]</ref>。
: その結果として移住が生じる<ref>{{Cite journal|author1=V.N. Biktashev|author2=M.A. Tsyganov|date=24 August 2009|title=Spontaneous traveling waves in oscillatory systems with cross diffusion|location={{enlink|Ridge, New York|Ridge, NY|p=off|s=off}}|publisher=[[アメリカ物理学会|APS]]|journal=[[フィジカル・レビュー|Phys. Rev. E]]|volume=80|issue=5|issn=1539-3755|lccn=2001227060|oclc=45808357|doi=10.1103/PhysRevE.80.056111}}</ref>。これは[[生態学]]において意義深いものであるだろう。
* '''侵入''':周期進行波をそれらの wake から離すことが出来る<ref name="Sherratt1994" /><ref name="PetrovskiiMalchow1999" /><ref name="NozakiBekki1983">K. Nozaki, N. Bekki (1983) "Pattern selection and spatiotemporal transition to chaos in the Ginzburg-Landau equation", ''Phys. Rev. Lett.'' 51: 2171-2174. [http://link.aps.org/doi/10.1103/PhysRevLett.51.2171 DOI:10.1103/PhysRevLett.51.2171]</ref>。これは、[[ベロウソフ・ジャボチンスキー反応]]のような化学系<ref>M. Ipsen, L. Kramer,
; 部分個体群間の移住<ref>{{Cite journal|author1=M. R. Garvie|author2=M. Golinski|title=Metapopulation dynamics for spatially extended predator-prey interactions|location=[[アムステルダム|Amsterdam]]|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Ecological Complexity|p=off|s=off}}|volume=7|issue=1|date=March 2010|pages=55-59|issn=1476-945X|oclc=54836874|doi=10.1016/j.ecocom.2009.05.001}}</ref>
P.G. Sorensen (2000) "Amplitude equations for description of chemical
: これもまた[[生態学]]における潜在的な意義を持つものである。
reaction–diffusion systems", ''Phys. Rep.'' 337: 193-235.
[http://dx.doi.org/10.1016/S0370-1573(00)00062-4 DOI:10.1016/S0370-1573(00)00062-4]</ref><ref>A.S. Mikhailov,
K. Showalter (2006) "Control of waves, patterns and turbulence in
chemical systems", ''Phys. Rep.'' 425: 79-194.
[http://dx.doi.org/10.1016/j.physrep.2005.11.003 DOI:10.1016/j.physrep.2005.11.003]</ref>や、[[生態学]]の[[捕食-被食関係|被食・捕食系]]<ref>J.A. Sherratt, M.A. Lewis, A.C. Fowler (1995) "Ecological chaos
in the wake of invasion", ''Proc. Natl. Acad. Sci. USA'' 92: 2524-2528.
[http://www.pnas.org/content/92/7/2524.short 10.1073/pnas.92.7.2524]</ref><ref name="PetrovskiiMalchow2001">S.V. Petrovskii, H. Malchow (2001)
"Wave of chaos: new mechanism of pattern formation in
spatio-temporal population dynamics", ''Theor. Pop. Biol.'' 59:
157-174.
[http://dx.doi.org/10.1006/tpbi.2000.1509 DOI:10.1006/tpbi.2000.1509]</ref>において、通過流が存在しているときの{{仮リンク|テイラー=クエット流|label=テイラー=クエット系|en|Taylor–Couette flow}}に対して、重要となる。
* '''分域境界''':[[ディリクレ境界条件|ディリクレ]]あるいは[[ロビン境界条件|ロビン]]境界条件を伴う<ref>J. A. Sherratt, X. Lambin, C.J. Thomas, T.N. Sherratt (2002) "Generation of periodic waves by landscape features in cyclic
predator-prey systems" ''Proc. R. Soc. Lond.'' B 269: 327-334.
[http://rspb.royalsocietypublishing.org/content/269/1489/327.short DOI:10.1098/rspb.2001.1890]</ref><ref>M. Sieber, H. Malchow,
S.V. Petrovskii (2010)
"Noise-induced suppression of periodic travelling waves in oscillatory
reaction–diffusion systems", ''Proc. R. Soc. Lond.'' A 466:
1903-1917.
[http://rspa.royalsocietypublishing.org/content/466/2119/1903.abstract DOI:10.1098/rspa.2009.0611]</ref><ref>J.A. Sherratt (2008) "A comparison of periodic travelling wave generation by Robin and Dirichlet boundary conditions in oscillatory reaction-diffusion equations". ''IMA J. Appl. Math.'' 73: 759-781.
[http://imamat.oxfordjournals.org/content/73/5/759.short DOI:10.1093/imamat/hxn015]</ref>。これは、生息地と周りの敵対的環境の間の境界に、ディリクレあるいはロビン境界条件が対応するような[[生態学]]において、潜在的に重要となる。しかし、波の発生に関する決定的な経験的実証を得ることは、生態学のシステムに対しては困難である。
* '''追跡と回避''':その結果として移住が生じる<ref>V.N. Biktashev,
M.A. Tsyganov (2009) "Spontaneous traveling waves in oscillatory
systems with cross diffusion", ''Phys. Rev. E'' 80: art. no. 056111.
[http://link.aps.org/doi/10.1103/PhysRevE.80.056111 DOI:10.1103/PhysRevE.80.056111]</ref>。これは[[生態学]]において意義深いものであるだろう。
* '''部分個体群間の移住'''<ref>M. R. Garvie, M. Golinski
(2010) "Metapopulation dynamics for spatially extended predator-prey
interactions", ''Ecological Complexity'' 7: 55-59.
[http://dx.doi.org/10.1016/j.ecocom.2009.05.001 DOI:10.1016/j.ecocom.2009.05.001]</ref>:これもまた[[生態学]]における潜在的な意義を持つものである。


これら全てのケースにおいて、キーとなる問題は周期進行波の族のどの所属者が選択されるかということである。ほとんどの数学的システムに対しては、この問題は未解決となっている。
これら全てのケースにおいて、キーとなる問題は周期進行波の族のどの所属者が選択されるかということである。ほとんどの数学的システムに対しては、この問題は未解決となっている。


== 周期進行波と時空カオス ==
== 周期進行波と時空カオス ==
いくつかの[[媒介変数]]に対して、ある波の生成メカニズムから生じた周期進行波が不安定であることは、共通認識となっている。そのような場合、解は通常、時空[[カオス理論|カオス]]へと発展する{{R|Sherratt1994|PetrovskiiMalchow2001}}。したがってそのような解は、周期進行波を介したカオスへの時空的な変遷を含むものである。

いくつかの[[媒介変数]]に対して、ある波の生成メカニズムから生じた周期進行波が不安定であることは、共通認識となっている。そのような場合、解は通常、時空[[カオス理論|カオス]]へと発展する<ref name="Sherratt1994" /><ref
name="PetrovskiiMalchow2001" />。したがってそのような解は、周期進行波を介したカオスへの時空的な変遷を含むものである。


== ラムダ-オメガ系と複素ギンツブルグ-ランダウ方程式 ==
== ラムダ-オメガ系と複素ギンツブルグ-ランダウ方程式 ==
周期進行波の原型であり、その数学的な理解と理論の発展の基盤となっている二つの数学的な系が存在する。それらは、「ラムダ-オメガ」クラスの[[反応拡散方程式]]{{R|KopellHoward1973}}
:<math>\begin{align}&frac{\partial u}{\partial t}=\frac{\partial^2 u}{\partial x^2}+\lambda(r)u-\omega(r)v\\
&\frac{\partial v}{\partial t}=\frac{\partial^2 v}{\partial x^2}+\omega(r)u+\lambda(r)v\\
&\left[\because r=\left(u^2+v^2\right)^1/2\right]\end{align}</math>
および、複素[[ギンツブルグ-ランダウ理論|ギンツブルグ-ランダウ]]方程式{{R|AransonKramer2002}}
:<math>\frac{\partial A}{\partial t}=A+(1+ib)\frac{\partial^2 A}{\partial x^2}-(1+ic)|A|^2A</math>
である({{Mvar|A}} は複素数値)。これらの系は {{Math|''&lambda;''(''r'') {{=}} 1 &minus; ''r''<sup>2</sup>, ''&omega;''(''r'') {{=}} &minus; ''cr''<sup>2</sup>, ''b'' {{=}} 0}} のとき、同一のものとなることに注意されたい。これらの系はいずれも、方程式を振幅({{Mvar|r}} あるいは {{Math|{{!}}''A''{{!}}}})および位相({{Math|arctan({{Sfrac|''v''|''u''}})}} あるいは {{Math|arg ''A''}})に関して書き換えることで、簡易化することが出来る。この方法で方程式が書き換えられたなら、振幅が定数であるような解は、位相が[[ユークリッド空間|空間]]と[[時間]]の線型関数であるような周期進行波であることが簡単に分かる。したがって、{{Mvar|u, v}} あるいは {{Math|Re(''A''), Im(''A'')}} は空間と時間の[[正弦波|正弦関数]]である。


周期進行波の族に対するそれらの厳密解は、非常に広い範囲のさらなる解析的研究を可能とする。その周期進行波の[[安定性理論|安定性]]のための厳密条件を見つけることが出来{{R|KopellHoward1973|AransonKramer2002}}、絶対安定性のための条件は、簡単な[[多項式]]の解へと帰着される{{R|Rademacheretal2007|Smithetal2009}}。
周期進行波の原型であり、その数学的な理解と理論の発展の基盤となっている二つの数学的な系が存在する。それらは、「ラムダ-オメガ」クラスの[[反応拡散方程式]]<ref name="KopellHoward1973" />
:<math>
\frac{\partial u}{\partial t}=\frac{\partial^2 u}{\partial x^2}+\lambda(r)u-\omega(r)v
</math>


厳密解はまた、侵入{{R|NozakiBekki1983}}<ref>{{Cite journal|author=J.A. Sherratt|date=3 February 1993|title=On the evolution of periodic plane waves in reaction-diffusion equations of λ-ω type|publisher={{enlink|Society for Industrial and Applied Mathematics|SIAM|p=off|s=off}}|journal={{enlink|SIAM Journal on Applied Mathematics|SIAM J. Appl. Math.|p=off|s=off}}|volume=54|issue=5|pages=1374-1385|doi=10.1137/S0036139993243746}}</ref>やディリクレゼロ境界条件<ref
:<math>
name="BekkiNozaki1985">{{Cite journal|author1=N. Bekki|author2=K. Nozaki|title=Formations of spatial patterns and holes in the generalized Ginzburg-Landau equation|location=[[アムステルダム|Amsterdam]]|publisher=[[エルゼビア|Elsevier]]|journal=[[Physics Letters|Phys. Lett. A]]|volume=110|issue=3|date=15 July 1985|pages=133-135|issn=0375-9601|oclc=192102249|doi=10.1016/0375-9601(85)90759-5}}</ref><ref>{{Cite journal|author=J. A. Sherratt|date=2003|title=Periodic travelling wave selection by Dirichlet boundary conditions in oscillatory reaction-diffusion systems|publisher={{enlink|Society for Industrial and Applied Mathematics|SIAM|p=off|s=off}}|journal={{enlink|SIAM Journal on Applied Mathematics|SIAM J. Appl. Math.|p=off|s=off}}|volume=63|issue=5|pages=1520-1538|doi=10.1137/S0036139902392483}}</ref>によって生成される波の選択問題に対して得られている。後者のケースでは、複素ギンツブルグ-ランダウ方程式に対して、全域解は定常 Nozaki-Bekki ホールとなる{{R|BekkiNozaki1985}}<ref>{{Cite journal|author=J. Lega|title=Traveling hole solutions of the complex Ginzburg-Landau equation: a review|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Physica (journal)|Physica D|p=off|s=off}}|volume=152–153|date=15 May 2001|pages=269-287|issn=0167-2789|oclc=807718984|doi=10.1016/S0167-2789(01)00174-9}}</ref>。
\frac{\partial v}{\partial t}=\frac{\partial^2 v}{\partial x^2}+\omega(r)u+\lambda(r)v
</math>
(ただし ''r''=(''u''<sup>2</sup>+''v''<sup>2</sup>)<sup>1/2</sup>)および、複素[[ギンツブルグ-ランダウ理論|ギンツブルグ-ランダウ]]方程式<ref name="AransonKramer2002" />

:<math>\frac{\partial A}{\partial t} =
A + (1 + ib)\frac{\partial^2 A}{\partial x^2}
- (1 + ic)|A|^2 A</math>

である(''A'' は複素数値)。これらの系は λ(''r'')=1-''r''<sup>2</sup>、ω(''r'')=-''c''
''r''<sup>2</sup> および ''b''=0 のとき、同一のものとなることに注意されたい。これらの系はいずれも、方程式を振幅(''r'' あるいは |''A''|)および位相(arctan(''v''/''u'') あるいは arg ''A'')に関して書き換えることで、簡易化することが出来る。この方法で方程式が書き換えられたなら、振幅が定数であるような解は、位相が[[ユークリッド空間|空間]]と[[時間]]の線型関数であるような周期進行波であることが簡単に分かる。したがって、''u'' と ''v''、あるいは Re(''A'') と Im(''A'') は空間と時間の[[正弦波|正弦関数]]である。

周期進行波の族に対するそれらの厳密解は、非常に広い範囲のさらなる解析的研究を可能とする。その周期進行波の[[安定性理論|安定性]]のための厳密条件を見つけることが出来<ref name="KopellHoward1973" /><ref name="AransonKramer2002" />、絶対安定性のための条件は、簡単な[[多項式]]の解へと帰着される<ref name="Rademacheretal2007" /><ref name="Smithetal2009" />。

厳密解はまた、侵入<ref name="NozakiBekki1983" /><ref>J.A. Sherratt (1994) "On
the evolution of periodic plane waves in reaction-diffusion equations
of λ-ω type", ''SIAM J. Appl. Math.'' 54: 1374-1385.
[http://dx.doi.org/10.1137/S0036139993243746 DOI: 10.1137/S0036139993243746]</ref>やディリクレゼロ境界条件<ref
name="BekkiNozaki1985">N. Bekki, K. Nozaki (1985) "Formations of
spatial patterns and holes in the generalized Ginzburg-Landau
equation", ''Phys. Lett. A'' 110: 133-135.
[http://dx.doi.org/10.1016/0375-9601(85)90759-5 DOI: 10.1016/0375-9601(85)90759-5]</ref><ref>J. A. Sherratt (2003)
"Periodic travelling wave selection by Dirichlet boundary conditions
in oscillatory reaction-diffusion systems", ''SIAM J. Appl. Math.'' 63: 1520-1538.
[http://dx.doi.org/10.1137/S0036139902392483 DOI:10.1137/S0036139902392483]</ref>によって生成される波の選択問題に対して得られている。後者のケースでは、複素ギンツブルグ-ランダウ方程式に大して、全域解は定常 Nozaki-Bekki ホールとなる<ref name="BekkiNozaki1985" /><ref>J. Lega (2001)
"Traveling hole solutions of the complex Ginzburg-Landau equation: a
review", ''Physica D'' 152: 269-287.
[http://dx.doi.org/10.1016/S0167-2789(01)00174-9 DOI:10.1016/S0167-2789(01)00174-9]</ref>。


複素ギンツブルグ-ランダウ方程式における周期進行波に関する研究のほとんどは、[[物理学]]の文献によるものであり、そこではそれらは通常[[平面波]]として知られている。
複素ギンツブルグ-ランダウ方程式における周期進行波に関する研究のほとんどは、[[物理学]]の文献によるものであり、そこではそれらは通常[[平面波]]として知られている。


== 周期進行波の数値計算と安定性 ==
== 数値計算と安定性 ==
ほとんどの数学的方程式に対して、周期進行波解を[[解析学|解析的]]に求めることは不可能であり、そのため[[数値解析|数値計算]]を行う必要が生じる。そのような[[偏微分方程式]]に対し、{{Mvar|x, t}} はそれぞれ([[次元|1次元]]の)[[ユークリッド空間|空間]]と[[時間]]を表す変数とする。このとき、周期進行波は進行波変数 {{Math|''z'' {{=}} ''x'' &minus; ''ct''}} の関数となる。この形式の解を偏微分方程式に代入することで、周期進行波方程式として知られる[[常微分方程式]]系が得られる。周期進行波は、そのような方程式系の[[リミットサイクル]]に相当し、数値解析の基盤を与えるものである。標準的な計算手法は、周期進行波方程式に対する{{仮リンク|数値接続|en|numerical continuation}}である。始めに、[[定常状態]]を[[ホップ分岐|ホップ分岐点]]に置く接続を行う。これが、数値接続によってフォローすることの出来る、周期進行波解の分岐(族)の始点である。いくつかの(珍しい)ケースでは、周期進行波解の分岐(族)の終点はいずれも[[ホモクリニック軌道|ホモクリニック]]な解であり<ref>{{Cite journal|author1=E.J. Doedel|author2=J.P. Kernevez|date=1986|title=AUTO: software for continuation and bifurcation problems in ordinary differential equations|journal=Applied Mathematics Report|publisher=[[カリフォルニア工科大学|Caltech]]|location=[[パサデナ (カリフォルニア州)|Pasadena, CA]]}}</ref>、そのようなケースでは偏微分方程式の数値解のような外的な始点を用いる必要がある。


周期進行波の[[安定性理論|安定性]]は、その[[スペクトル (関数解析学)|スペクトル]]を計算することで、数値的に調べることが出来る。偏微分方程式の周期進行波のスペクトルはすべて[[本質的スペクトル]]であるという事実があるため、より簡単に調べることが出来る<ref>{{Cite book|chapter=&sect; 3.4.2|author=B. Sandstede|date=March 7, 2002|title=Stability of travelling waves|editor=B. Fiedler|series=Handbook of Dynamical Systems|volume=II|edition=1st|publisher=North-Holland|location=[[アムステルダム|Amsterdam]]|pages=983-1055|url=http://www.dam.brown.edu/people/sandsted/publications/survey-stability-of-waves.pdf|format=PDF|asin=0444501681|oclc=48572345|ncid=BA56806307|isbn=978-0444501684}}</ref>。考えられる数値的手法として、ヒルの方法<ref>{{Cite journal|author1=B. Deconinck|author2=J.N. Kutz|title=Computing spectra of linear operators using the Floquet-Fourier-Hill method|location=[[アムステルダム|Amsterdam]]|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Journal of Computational Physics|J. Comput. Phys.|p=off|s=off}}|volume=219|issue=1|date=20 November 2006|pages=296-321|issn=0021-9991|lccn=68007628|oclc=01640027|doi=10.1016/j.jcp.2006.03.020}}</ref>や、スペクトルの数値接続{{R|Rademacheretal2007}}などが挙げられる。後者の手法を採用する利点として、[[安定性理論|安定]]な波と不安定な波の間の[[媒介変数]]空間の境界を計算出来ることが挙げられる<ref>{{Cite journal|author=J.A. Sherratt|date=22 March 2012|title=Numerical continuation of boundaries in parameter space between stable and unstable periodic travelling wave (wavetrain) solutions of partial differential equations|journal=Adv. Comput. Math|volume=39|issue=1|pages=175–192|doi=10.1007/s10444-012-9273-0}}</ref>。
殆どの数学的方程式に対して、周期進行波解を[[解析学|解析的]]に求めることは不可能であり、そのため[[数値解析|数値計算]]を行う必要が生じる。そのような[[偏微分方程式]]に対し、''x'' と ''t'' はそれぞれ([[次元|1次元]]の)[[ユークリッド空間|空間]]と[[時間]]を表す変数とする。このとき、周期進行波は進行波変数 ''z''=''x''-''c'' ''t'' の関数となる。この形式の解を偏微分方程式に代入することで、周期進行波方程式として知られる[[常微分方程式]]系が得られる。周期進行波は、そのような方程式系の[[リミットサイクル]]に相当し、数値解析の基盤を与えるものである。標準的な計算手法は、周期進行波方程式に対する{{仮リンク|数値接続|en|numerical continuation}}である。始めに、[[定常状態]]を[[ホップ分岐|ホップ分岐点]]に置く接続を行う。これが、数値接続によってフォローすることの出来る、周期進行波解の分岐(族)の始点である。いくつかの(珍しい)ケースでは、周期進行波解の分岐(族)の終点はいずれも[[ホモクリニック軌道|ホモクリニック]]な解であり<ref>E.J. Doedel,
J.P. Kernevez (1986) "AUTO: software for continuation and bifurcation
problems in ordinary differential equations", Applied Mathematics
Report, California Institute of Technology, Pasadena, USA</ref>、そのようなケースでは偏微分方程式の数値解のような外的な始点を用いる必要がある。


=== ソフトウェア ===
周期進行波の[[安定性理論|安定性]]は、その[[スペクトル (関数解析学)|スペクトル]]を計算することで、数値的に調べることが出来る。偏微分方程式の周期進行波のスペクトルはすべて[[本質的スペクトル]]であるという事実があるため、より簡単に調べることが出来る<ref>Section 3.4.2 of B. Sandstede (2002)
周期進行波の数値的な解析を行うための、フリーの[[オープンソースソフトウェア]]として、[http://www.ma.hw.ac.uk/wavetrain Wavetrain]が挙げられる<ref>{{Cite journal|author=J.A. Sherratt|title=Numerical continuation methods for studying periodic travelling wave (wavetrain) solutions of partial differential equations|journal=Appl. Math. Computation|volume=218|issue=9|date=1 January 2012|pages=4684-4694|doi=10.1016/j.amc.2011.11.005}}</ref>。数値接続を利用することで、Wavetrain では偏微分方程式の周期進行波解の形状と安定性、および波が安定に存在するような媒介変数空間の領域を計算することが出来る。
"Stability of travelling waves".
In: B. Fiedler (ed.) "Handbook of Dynamical Systems II",
North-Holland, Amsterdam, pp. 983-1055.
http://www.dam.brown.edu/people/sandsted/publications/survey-stability-of-waves.pdf</ref>。考えられる数値的手法として、ヒルの方法<ref>B. Deconinck, J.N. Kutz (2006)
"Computing spectra of linear operators using the Floquet-Fourier-Hill
method", ''J. Comput. Phys.'' 219: 296-321.
[http://dx.doi.org/10.1016/j.jcp.2006.03.020 DOI:10.1016/j.jcp.2006.03.020]
</ref>や、スペクトルの数値接続<ref name="Rademacheretal2007" />などが挙げられる。後者の手法を採用する利点として、[[安定性理論|安定]]な波と不安定な波の間の[[媒介変数]]空間の境界を計算出来ることが挙げられる<ref>J.A. Sherratt (2013) "Numerical continuation of boundaries
in parameter space between stable and unstable periodic travelling
wave (wavetrain) solutions of partial differential equations",
''Adv. Comput. Math'', in press.
[http://link.springer.com/article/10.1007/s10444-012-9273-0 DOI:10.1007/s10444-012-9273-0]</ref>


== 応用 ==
'''ソフトウェア''':周期進行波の数値的な解析を行うための、フリーの[[オープンソースソフトウェア]]として、Wavetrain http://www.ma.hw.ac.uk/wavetrain が挙げられる<ref>J.A. Sherratt (2012) "Numerical continuation methods for studying periodic travelling wave (wavetrain) solutions of partial differential equations",
経験的に発見されている、周期進行波を示す現象の例として、以下が挙げられる。
''Appl. Math. Computation'' 218: 4684-4694.
[http://dx.doi.org/10.1016/j.amc.2011.11.005 DOI:10.1016/j.amc.2011.11.005]</ref>。数値接続を利用することで、Wavetrain では偏微分方程式の周期進行波解の形状と安定性、および波が安定に存在するような媒介変数空間の領域を計算することが出来る。


* 複数年周期で大量発生する多くの生物個体。いくつかの事例では、それらの個体の周期は空間的に周期進行波として構成される。そのような挙動は、[[フェノスカンジア]]と北イギリスに生息する[[ハタネズミ]]{{R|RantaKaitala1997}}や、北フェノスカンジアの[[シャクガ]]<ref>{{Cite journal|author1=A.C. Nilssen|author2=O. Tenow|author3=H. Bylund|date=29 January 2007|title=Waves and synchrony in ''Epirrita autumnata/Operophtera brumata'' outbreaks II. Sunspot activity cannot explain cyclic outbreaks|journal={{enlink|Journal of Animal Ecology|J. Animal Ecol.|p=off|s=off}}|volume=76|issue=2|pages=269-275|issn=0021-8790|lccn=agr35000273|oclc=42799265|doi=10.1111/j.1365-2656.2006.01205.x}}</ref>、ヨーロッパアルプスのカラマツガ{{R|Johnsonetal2006}}、スコットランドの[[ライチョウ|アカライチョウ]]に見られる<ref>{{Cite journal|author1=R. Moss|author2=D.A. Elston|author3=A. Watson|date=1 April 2000|title=Spatial asynchrony and demographic travelling waves during red grouse population cycles|journal={{enlink|Ecology (journal)|Ecology|p=off|s=off}}|volume=81|issue=4|pages=981-989|issn=0012-9658|lccn=sn97-23010|oclc=35698209|jstor=177172|doi=10.1890/0012-9658(2000)081[0981:SAADTW]2.0.CO;2}}</ref>。
== 周期進行波の応用 ==
* 半砂漠において、[[植生]]はしばしば{{仮リンク|自然界のパターン|label=空間パターン|en|Patterns in nature}}を自己構成する<ref>{{Cite journal|author1=M. Rietkerk|author2=S.C. Dekker|author3=P.C. de Ruiter|author4=J. van de Koppel|date=24 September 2004|title=Self-organized patchiness and catastrophic shifts in ecosystems|location=[[ワシントンD.C.|Washington, D.C.]]|publisher=[[アメリカ科学振興協会|AAAS]]|journal=[[サイエンス|Science]]|volume=305|issue=5692|pages=1926-1929|issn=0036-8075|lccn=17024346|oclc=1644869|jstor=3837866|doi=10.1126/science.1101867}}</ref>。坂の上で、これは裸地の帯によって区分される、[[等値線]]に平行に走る植生の帯からなる。このタイプの帯状の植生は、しばしば[[タイガーブッシュ]]として知られている。多くの観測的な研究によって、この帯は坂を上る方向へゆっくり移動していることがレポートされている<ref>{{Cite journal|author1=C. Valentin|author2=J.M. d'Herbes|author3=J. Poesen|title=Soil and water components of banded vegetation patterns|journal=Catena|volume=37|issue=1–2|date=September 1999|pages=1-24|doi=10.1016/S0341-8162(99)00053-3}}</ref>。しかし、他の多くのケースにおいては、観測点が明らかに定常パターンにあることも知られており<ref>{{Cite journal|author1=D.L. Dunkerley|author2=K.J. Brown|title=Oblique vegetation banding in the Australian arid zone: implications for theories of pattern evolution and maintenance|journal=J. Arid Environ.|volume=52|issue=2|date=June 2002|pages=163-181|doi=10.1006/jare.2001.0940}}</ref>、移動に関する問題は依然として物議を醸すものとなっている。利用可能なデータと最も適合する結論は、いくつかの帯状の植生パターンは移動するが、他のものは移動しない、というものである<ref>{{Cite journal|author=V. Deblauwe|date=2010|title=Modulation des structures de vegetation auto-organisees en milieu aride / Self-organized vegetation pattern modulation in arid climates.|journal=PhD thesis|publisher={{enlink|Université libre de Bruxelles|p=off|s=off}}|location=[[ブリュッセル|Brüssel]]|url=http://theses.ulb.ac.be/ETD-db/collection/available/ULBetd-04122010-093151/|deadlinkdate=2017-01-20|archiveurl=http://web.archive.org/web/20130927230423/http://theses.ulb.ac.be/ETD-db/collection/available/ULBetd-04122010-093151/|archivedate=2013-09-27}}</ref>。前者の分類に含まれるパターンは、周期進行波の形状を備えるものである。
* [[振動理論|振動的]]および{{仮リンク|励起的媒質|label=励起的|en|excitable medium}}化学反応において、進行帯は生じる。それらは1970年代に[[ベロウソフ・ジャボチンスキー反応]]において観測され<ref>{{Cite journal|author1=N. Kopell|author2=L.N. Howard|date=15 June 1973|title=Horizontal bands in Belousov reaction|location=[[ワシントンD.C.|Washington, D.C.]]|publisher=[[アメリカ科学振興協会|AAAS]]|journal=[[サイエンス|Science]]|volume=180|issue=4091|pages=1171-1173|issn=0036-8075|lccn=17024346|oclc=1644869|jstor=1736377|doi=10.1126/science.180.4091.1171}}</ref>、当時の周期進行波に関する数学的研究に重要な動機を与えた。より近年の研究では、詳細なモデリングを介して、実験的に観測される帯と、周期進行波に関する数学理論を結びつける業績を得ている<ref>{{Cite journal|author1=G. Bordyugov|author2=N. Fischer|author3=H. Engel|author4=N. Manz|author5=O. Steinbock|title=Anomalous dispersion in the Belousov-Zhabotinsky reaction: experiments and modeling|publisher=[[エルゼビア|Elsevier]]|journal={{enlink|Physica (journal)|Physica D|p=off|s=off}}|volume=239|issue=11|date=1 June 2010|pages=766-775|issn=0167-2789|oclc=807718984|doi=10.1016/j.physd.2009.10.022}}</ref>。
* 周期進行波は、[[太陽活動周期|太陽周期]]の一部として、[[太陽]]にも現れる<ref>{{Cite journal|author=M.R.E.Proctor|date=2006|title=Dynamo action and the sun|editor=M. Rieutord, B. Dubrulle|journal=Stellar Fluid Dynamics and Numerical Simulations: From the Sun to Neutron Stars|publisher={{enlink|European Astronomical Society|EAS Publications|p=off|s=off}}|series=Series 21|pages=241-273|url=http://www.damtp.cam.ac.uk/user/mrep/solcyc/paper.pdf|format=PDF}}</ref><ref>{{Cite book|author1=M.R.E. Proctor|author2=E.A. Spiegel|date=1991|chapter=Waves of solar activity|title=The Sun and Cool Stars: Activity, Magnetism, Dynamos|series=Lecture Notes in Physics|volume=380|pages=117-128|isbn=978-3-540-53955-1|ncid=BA12533626|oclc=23355660|issn=0075-8450|doi=10.1007/3-540-53955-7_116}}</ref>。それらは[[太陽ダイナモ]]による太陽の[[磁場]]の生成の帰結として生じるものである。したがって、それらは[[太陽黒点]]と関係している。
* [[流体力学]]において、[[対流]]パターンはしばしば周期進行波を含むものとなる。特殊な例には、二流体対流<ref>{{Cite journal|author1=E. Kaplan|author2=V. Steinberg|date=13 July 1993|title=Phase slippage, nonadiabatic effect, and dynamics of a source of traveling waves|location={{enlink|Ridge, New York|Ridge, NY|p=off|s=off}}|publisher=[[アメリカ物理学会|APS]]|journal=[[フィジカル・レビュー|Phys. Rev. Lett.]]|volume=71|issue=20|pages=3291-3294|issn=0031-9007|lccn=59037543|oclc=1715834|doi=10.1103/PhysRevLett.71.3291}}</ref>や、熱ワイヤー対流<ref>{{Cite journal|author1=L. Pastur|author2=M.T. Westra|author3=D. Snouck|author4=W. van de Water|author5=M. van Hecke|author6=C. Storm|author7=W. van Saarloos|date=8 November 2001|title=Sources and holes in a one-dimensional traveling-wave convection experiment|location={{enlink|Ridge, New York|Ridge, NY|p=off|s=off}}|publisher=[[アメリカ物理学会|APS]]|journal=[[フィジカル・レビュー|Phys. Rev. E]]|volume=67|issue=3|issn=1539-3755|lccn=2001227060|oclc=45808357|doi=10.1103/PhysRevE.67.036305}}</ref>が含まれる。
* 周期進行波のパターンは、「印刷機の不安定性」にも現れる。それらにおいては、二つの回転する無原動体シリンダーの間の薄い溝が、オイルで満たされている<ref>{{Cite journal|author1=P. Habdas|author2=M.J. Case|author3=J.R. de Bruyn|date=22 December 2000|title=Behavior of sink and source defects in a one-dimensional traveling finger pattern|location={{enlink|Ridge, New York|Ridge, NY|p=off|s=off}}|publisher=[[アメリカ物理学会|APS]]|journal=[[フィジカル・レビュー|Phys. Rev. E]]|volume=63|issue=6|issn=1539-3755|lccn=2001227060|oclc=45808357|doi=10.1103/PhysRevE.63.066305}}</ref>。


== 脚注 ==
経験的に発見されている、周期進行波を示す現象の例として、以下が挙げられる。
{{脚注ヘルプ}}

{{reflist|2}}
* 複数年周期で大量発生する多くの生物個体。いくつかの事例では、それらの個体の周期は空間的に周期進行波として構成される。そのような挙動は、[[フェノスカンジア]]と北イギリスに生息する[[ハタネズミ]]<ref name="RantaKaitala1997" />や、北フェノスカンジアの[[シャクガ]]<ref>A.C. Nilssen, O. Tenow, H. Bylund (2007) "Waves and synchrony in ''Epirrita autumnata/Operophtera brumata'' outbreaks II. Sunspot activity cannot explain cyclic outbreaks", ''J. Animal Ecol.'' 76: 269-275.
[http://onlinelibrary.wiley.com/doi/10.1111/j.1365-2656.2006.01205.x/full DOI:10.1111/j.1365-2656.2006.01205.x/full]</ref>、ヨーロッパアルプスのカラマツガ<ref name="Johnsonetal2006" />、スコットランドの[[ライチョウ|アカライチョウ]]に見られる<ref>R. Moss, D.A. Elston, A. Watson (2000) "Spatial asynchrony and demographic travelling waves during red grouse population cycles", ''Ecology'' 81: 981-989.
[http://dx.doi.org/10.1890/0012-9658(2000)081%5B0981:SAADTW%5D2.0.CO;2 DOI:10.1890/0012-9658]</ref>。
* 半砂漠において、[[植生]]はしばしば{{仮リンク|自然界のパターン|label=空間パターン|en|Patterns in nature}}を自己構成する<ref>M. Rietkerk, S.C. Dekker, P.C. de Ruiter, J. van de
Koppel (2004) "Self-organized patchiness and
catastrophic shifts in ecosystems", ''Science'' 305: 1926-1929.
[http://www.sciencemag.org/content/305/5692/1926 DOI:10.1126/science.1101867]</ref>。坂の上で、これは裸地の帯によって区分される、[[等値線]]に平行に走る植生の帯からなる。このタイプの帯状の植生は、しばしば[[タイガーブッシュ]]として知られている。多くの観測的な研究によって、この帯は坂を上る方向へゆっくり移動していることがレポートされている<ref>C. Valentin, J.M. d'Herbes,
J. Poesen (1999) "Soil and water components of banded vegetation patterns",
''Catena'' 37: 1-24.
[http://dx.doi.org/10.1016/S0341-8162(99)00053-3 DOI:10.1016/S0341-8162(99)00053-3]</ref>。しかし、他の多くのケースにおいては、観測点が明らかに定常パターンにあることも知られており<ref>D.L. Dunkerley, K.J. Brown (2002) "Oblique vegetation banding in the Australian arid zone: implications for theories of
pattern evolution and maintenance", ''J. Arid Environ.'' 52:
163-181.
[http://dx.doi.org/10.1006/jare.2001.0940 DOI:10.1006/jare.2001.0940]</ref>、移動に関する問題は依然として物議を醸すものとなっている。利用可能なデータと最も適合する結論は、いくつかの帯状の植生パターンは移動するが、他のものは移動しない、というものである<ref>V. Deblauwe (2010)
Modulation des structures de vegetation auto-organisees
en milieu aride / Self-organized vegetation pattern modulation in
arid climates. ''PhD thesis, Universite Libre de Bruxelles''.
http://theses.ulb.ac.be/ETD-db/collection/available/ULBetd-04122010-093151/</ref>。前者の分類に含まれるパターンは、周期進行波の形状を備えるものである。
* [[振動理論|振動的]]および{{仮リンク|励起的媒質|label=励起的|en|excitable medium}}化学反応において、進行帯は生じる。それらは1970年代に[[ベロウソフ・ジャボチンスキー反応]]において観測され<ref>N. Kopell, L.N. Howard (1973)
"Horizontal bands in Belousov reaction", ''Science'' 180:
1171-1173.
[http://www.sciencemag.org/content/180/4091/1171.abstract DOI:10.1126/science.180.4091.1171]</ref>、当時の周期進行波に関する数学的研究に重要な動機を与えた。より近年の研究では、詳細なモデリングを介して、実験的に観測される帯と、周期進行波に関する数学理論を結びつける業績を得ている<ref>G. Bordyugov, N. Fischer, H. Engel, N. Manz,
O. Steinbock (2010) "Anomalous dispersion in the
Belousov-Zhabotinsky reaction: experiments and modeling", ''Physica D'' 239: 766-775.
[http://dx.doi.org/10.1016/j.physd.2009.10.022 DOI:10.1016/j.physd.2009.10.022]</ref>。
* 周期進行波は、[[太陽活動周期|太陽周期]]の一部として、[[太陽]]にも現れる<ref>M.R.E.Proctor (2006) "Dynamo action and the sun". In:
M. Rieutord, B. Dubrulle (eds.) ''Stellar Fluid Dynamics and
Numerical Simulations: From the Sun to Neutron Stars'', EAS
Publications Series 21: 241-273.
http://www.damtp.cam.ac.uk/user/mrep/solcyc/paper.pdf</ref><ref>
M.R.E. Proctor, E.A. Spiegel (1991) "Waves of solar activity". In:
''The Sun and Cool Stars: Activity, Magnetism, Dynamos (Lecture Notes in Physics 380)'' pp. 117-128.
[http://link.springer.com/chapter/10.1007%2F3-540-53955-7_116 DOI:10.1007/3-540-53955-7_116]</ref>。それらは[[太陽ダイナモ]]による太陽の[[磁場]]の生成の帰結として生じるものである。したがって、それらは[[太陽黒点]]と関係している。
* [[流体力学]]において、[[対流]]パターンはしばしば周期進行波を含むものとなる。特殊な例には、二流体対流<ref>E. Kaplan, V. Steinberg (1993) "Phase slippage, nonadiabatic effect, and dynamics of a source of
traveling waves", ''Phys. Rev. Lett.'' 71: 3291-3294.
[http://link.aps.org/doi/10.1103/PhysRevLett.71.3291 DOI:10.1103/PhysRevLett.71.3291]</ref>や、熱ワイヤー対流<ref>
L. Pastur, M.T. Westra, D. Snouck, W. van de Water, M. van Hecke,
C. Storm, W. van Saarloos (2003) "Sources and holes in a
one-dimensional traveling-wave convection experiment",
''Phys. Rev. E'' 67: art. no. 036305.
[http://link.aps.org/doi/10.1103/PhysRevE.67.036305 DOI:10.1103/PhysRevE.67.036305]</ref>が含まれる。
* 周期進行波のパターンは、「印刷機の不安定性」にも現れる。それらにおいては、二つの回転する無原動体シリンダーの間の薄い溝が、オイルで満たされている<ref>P. Habdas, M.J. Case, J.R. de Bruyn (2001) "Behavior of sink and source defects in a one-dimensional
traveling finger pattern", ''Phys. Rev. E'' 63: art.\ no.\ 066305.
[http://link.aps.org/doi/10.1103/PhysRevE.63.066305 DOI:10.1103/PhysRevE.63.066305]</ref>。


== 関連項目 ==
== 関連項目 ==
233行目: 83行目:
* [[波動]]
* [[波動]]
* [[反応拡散系]]
* [[反応拡散系]]

== 脚注 ==
{{reflist}}


{{DEFAULTSORT:しゆうきしんこうは}}
{{DEFAULTSORT:しゆうきしんこうは}}

2017年1月20日 (金) 09:23時点における版

数学の分野における周期進行波(しゅうきしんこうは、: periodic travelling wave)あるいは波列(はれつ、: wavetrain)とは、一定のスピードで動く1次元ユークリッド空間内のある周期関数である。したがって、空間および時間の両方に関する周期関数であるような時空的振動の特別なタイプと見なされる。

周期進行波は、自己振動系[1][2]励起系英語版[3]移流反応拡散系[4]を含む、多くの数学の方程式系において本質的に重要な役割を担う。

これらのタイプの方程式系 は、生物学化学および物理学数理モデルとして幅広く用いられ、周期進行波に似た挙動を示す多くの現象の例が経験的に知られている。

周期進行波に関する数学の理論は、そのほとんどが偏微分方程式のために発展されたものではあるが、他のタイプの数学のシステム、例えば積分微分方程式[5][6]、積分差分方程式[7]、結合写像格子[8]やセルオートマトン[9][10]などにおいても、それら周期進行波の解は同様に生じる。

周期進行波はそれ自身が重要であるとともに、2次元空間における渦巻波英語版やターゲットパターン、3次元空間における旋回波に対し、一次元的に同値なものである。

歴史

周期進行波は、1970年代に初めて研究された。キーとなる早期の研究論文は Nancy Kopell と Lou Howard によるもの[1]で、反応拡散方程式における周期進行波に関するいくつかの基本的な結果が証明された。この論文は、1970年代から1980年代早期に行われた意義のある研究活動の先駆けとなった。その後、しばらく活動が停滞したのち、周期進行波の生成に関する数学的な研究[11][12]や、生態学における周期個体群に関する時空間的なデータセットにそれら周期進行波が発見された[13][14]ことに伴って、研究の興味は刷新された。2000年代中盤より、周期進行波に関する研究は、それらの安定性や絶対安定性を調べるための新たな計算法によって発展されている[15][16]

周期進行波の存在は、通常、数学的な方程式の中の媒介変数の値に左右される。周期進行波解が存在するなら、波のスピードが異なるそのような解の族が通常存在する。偏微分方程式において、周期進行波は通常、波のスピードの連続的な領域に対して生じる[1]

安定性

周期進行波に関する重要な問題の一つに、それが元の数学的システムの解として安定かそれとも不安定か、という問題がある。偏微分方程式に対しては、通常、周期進行波の族は安定な部分と不安定な部分に細分される[1][17][18]。不安定な周期進行波に関する、重要かつ補助的な問題の一つに、それらが絶対不安定あるいは対流不安定であるか、すなわちそれらは定常的に成長する線型モードであるかどうか、という問題がある[19]。この問題は限られた偏微分方程式についてのみ、解決されている[2][15][16]

生成

周期進行波の生成に関する以下のような多くのメカニズムが知られている。

異質性
媒介変数における空間的なノイズの結果として、周期進行波の連続的な帯を生成することが出来る[20]。このことは、周期進行波の二次元への一般化であるターゲットパターンや渦巻波を不純物が生成するような、振動化学反応への応用において重要となる。この過程は、1970年代および1980年代初期における、周期進行波に関する研究の大きな動機となった。また生態学においては、景観異質性が周期進行波の原因の一つとして提唱されてきた[21]
侵入
周期進行波をそれらの wake から離すことが出来る[11][12][22]。これは、ベロウソフ・ジャボチンスキー反応のような化学系[23][24]や、生態学被食・捕食系[25][26]において、通過流が存在しているときのテイラー=クエット系英語版に対して、重要となる。
分域境界
ディリクレ境界条件あるいはロビン境界条件を伴う[27][28][29]。これは、生息地と周りの敵対的環境の間の境界に、ディリクレあるいはロビン境界条件が対応するような生態学において、潜在的に重要となる。しかし、波の発生に関する決定的な経験的実証を得ることは、生態学のシステムに対しては困難である。
追跡と回避
その結果として移住が生じる[30]。これは生態学において意義深いものであるだろう。
部分個体群間の移住[31]
これもまた生態学における潜在的な意義を持つものである。

これら全てのケースにおいて、キーとなる問題は周期進行波の族のどの所属者が選択されるかということである。ほとんどの数学的システムに対しては、この問題は未解決となっている。

周期進行波と時空カオス

いくつかの媒介変数に対して、ある波の生成メカニズムから生じた周期進行波が不安定であることは、共通認識となっている。そのような場合、解は通常、時空カオスへと発展する[11][26]。したがってそのような解は、周期進行波を介したカオスへの時空的な変遷を含むものである。

ラムダ-オメガ系と複素ギンツブルグ-ランダウ方程式

周期進行波の原型であり、その数学的な理解と理論の発展の基盤となっている二つの数学的な系が存在する。それらは、「ラムダ-オメガ」クラスの反応拡散方程式[1]

および、複素ギンツブルグ-ランダウ方程式[2]

である(A は複素数値)。これらの系は λ(r) = 1 − r2, ω(r) = − cr2, b = 0 のとき、同一のものとなることに注意されたい。これらの系はいずれも、方程式を振幅(r あるいは |A|)および位相(arctan(v/u) あるいは arg A)に関して書き換えることで、簡易化することが出来る。この方法で方程式が書き換えられたなら、振幅が定数であるような解は、位相が空間時間の線型関数であるような周期進行波であることが簡単に分かる。したがって、u, v あるいは Re(A), Im(A) は空間と時間の正弦関数である。

周期進行波の族に対するそれらの厳密解は、非常に広い範囲のさらなる解析的研究を可能とする。その周期進行波の安定性のための厳密条件を見つけることが出来[1][2]、絶対安定性のための条件は、簡単な多項式の解へと帰着される[15][16]

厳密解はまた、侵入[22][32]やディリクレゼロ境界条件[33][34]によって生成される波の選択問題に対して得られている。後者のケースでは、複素ギンツブルグ-ランダウ方程式に対して、全域解は定常 Nozaki-Bekki ホールとなる[33][35]

複素ギンツブルグ-ランダウ方程式における周期進行波に関する研究のほとんどは、物理学の文献によるものであり、そこではそれらは通常平面波として知られている。

数値計算と安定性

ほとんどの数学的方程式に対して、周期進行波解を解析的に求めることは不可能であり、そのため数値計算を行う必要が生じる。そのような偏微分方程式に対し、x, t はそれぞれ(1次元の)空間時間を表す変数とする。このとき、周期進行波は進行波変数 z = xct の関数となる。この形式の解を偏微分方程式に代入することで、周期進行波方程式として知られる常微分方程式系が得られる。周期進行波は、そのような方程式系のリミットサイクルに相当し、数値解析の基盤を与えるものである。標準的な計算手法は、周期進行波方程式に対する数値接続英語版である。始めに、定常状態ホップ分岐点に置く接続を行う。これが、数値接続によってフォローすることの出来る、周期進行波解の分岐(族)の始点である。いくつかの(珍しい)ケースでは、周期進行波解の分岐(族)の終点はいずれもホモクリニックな解であり[36]、そのようなケースでは偏微分方程式の数値解のような外的な始点を用いる必要がある。

周期進行波の安定性は、そのスペクトルを計算することで、数値的に調べることが出来る。偏微分方程式の周期進行波のスペクトルはすべて本質的スペクトルであるという事実があるため、より簡単に調べることが出来る[37]。考えられる数値的手法として、ヒルの方法[38]や、スペクトルの数値接続[15]などが挙げられる。後者の手法を採用する利点として、安定な波と不安定な波の間の媒介変数空間の境界を計算出来ることが挙げられる[39]

ソフトウェア

周期進行波の数値的な解析を行うための、フリーのオープンソースソフトウェアとして、Wavetrainが挙げられる[40]。数値接続を利用することで、Wavetrain では偏微分方程式の周期進行波解の形状と安定性、および波が安定に存在するような媒介変数空間の領域を計算することが出来る。

応用

経験的に発見されている、周期進行波を示す現象の例として、以下が挙げられる。

  • 複数年周期で大量発生する多くの生物個体。いくつかの事例では、それらの個体の周期は空間的に周期進行波として構成される。そのような挙動は、フェノスカンジアと北イギリスに生息するハタネズミ[13]や、北フェノスカンジアのシャクガ[41]、ヨーロッパアルプスのカラマツガ[21]、スコットランドのアカライチョウに見られる[42]
  • 半砂漠において、植生はしばしば空間パターン英語版を自己構成する[43]。坂の上で、これは裸地の帯によって区分される、等値線に平行に走る植生の帯からなる。このタイプの帯状の植生は、しばしばタイガーブッシュとして知られている。多くの観測的な研究によって、この帯は坂を上る方向へゆっくり移動していることがレポートされている[44]。しかし、他の多くのケースにおいては、観測点が明らかに定常パターンにあることも知られており[45]、移動に関する問題は依然として物議を醸すものとなっている。利用可能なデータと最も適合する結論は、いくつかの帯状の植生パターンは移動するが、他のものは移動しない、というものである[46]。前者の分類に含まれるパターンは、周期進行波の形状を備えるものである。
  • 振動的および励起的英語版化学反応において、進行帯は生じる。それらは1970年代にベロウソフ・ジャボチンスキー反応において観測され[47]、当時の周期進行波に関する数学的研究に重要な動機を与えた。より近年の研究では、詳細なモデリングを介して、実験的に観測される帯と、周期進行波に関する数学理論を結びつける業績を得ている[48]
  • 周期進行波は、太陽周期の一部として、太陽にも現れる[49][50]。それらは太陽ダイナモによる太陽の磁場の生成の帰結として生じるものである。したがって、それらは太陽黒点と関係している。
  • 流体力学において、対流パターンはしばしば周期進行波を含むものとなる。特殊な例には、二流体対流[51]や、熱ワイヤー対流[52]が含まれる。
  • 周期進行波のパターンは、「印刷機の不安定性」にも現れる。それらにおいては、二つの回転する無原動体シリンダーの間の薄い溝が、オイルで満たされている[53]

脚注

  1. ^ a b c d e f N. Kopell; L.N. Howard (1973). “Plane wave solutions to reaction-diffusion equations”. Stud. Appl. Math. 52: 291-328. 
  2. ^ a b c d I.S. Aranson; L. Kramer (4 February 2002). “The world of the complex Ginzburg-Landau equation”. Rev. Mod. Phys. (Minneapolis: APS) 74: 99-143. doi:10.1103/RevModPhys.74.99. ISSN 0034-6861. LCCN 31-21290. OCLC 5975699. 
  3. ^ S. Coombes (April 2001). “From periodic travelling waves to travelling fronts in the spike-diffuse-spike model of dendritic waves”. Math. Biosci. (Amsterdam: Elsevier) 170 (2): 155-172. doi:10.1016/S0025-5564(00)00070-5. ISSN 0025-5564. LCCN 68-130147. OCLC 1681432. 
  4. ^ J.A. Sherratt; G.J. Lord (February 2007). “Nonlinear dynamics and pattern bifurcations in a model for vegetation stripes in semi-arid environments”. Theor. Popul. Biol. (Amsterdam: Elsevier) 71 (1): 1–11. doi:10.1016/j.tpb.2006.07.009. ISSN 0040-5809. LCCN 73-19414. OCLC 932477. 
  5. ^ S.A. Gourley; N.F. Britton (1 September 1993). “Instability of traveling wave solutions of a population model with nonlocal effects”. IMA J. Appl. Math. 51 (3): 299-310. doi:10.1093/imamat/51.3.299. 
  6. ^ P. Ashwin; M.V. Bartuccelli; T.J. Bridges; S.A. Gourley (January 2002). “Travelling fronts for the KPP equation with spatio-temporal delay”. Z. Angew. Math. Phys. (Basel: Birkhäuser Verlag) 53 (1): 103-122. doi:10.1007/s00033-002-8145-8. ISSN 0044-2275. LCCN 52-17098. OCLC 868969274. 
  7. ^ M. Kot (15 November 1992). “Discrete-time travelling waves: ecological examples”. J. Math. Biol. (Heidelberg: Springer Verlag) 30 (4): 413-436. doi:10.1007/BF00173295. ISSN 0303-6812. LCCN 74-645888. OCLC 01794831. 
  8. ^ M.D.S. Herrera; J.S. Martin (30 October 2009). “An analytical study in coupled map lattices of synchronized states and traveling waves, and of their period-doubling cascades”. Chaos, Solitons & Fractals 42 (2): 901–910. doi:10.1016/j.chaos.2009.02.040. 
  9. ^ J.A. Sherratt (1 September 1996). “Periodic travelling waves in a family of deterministic cellular automata”. Physica D (Elsevier) 95 (3–4): 319-335. doi:10.1016/0167-2789(96)00070-X. ISSN 0167-2789. OCLC 807718984. 
  10. ^ “On the abundance of traveling waves in 1D infinite cellular automata”. Physica D (Elsevier) 103 (1–4): 133-144. (15 April 1997). doi:10.1016/S0167-2789(96)00256-4. ISSN 0167-2789. OCLC 807718984. 
  11. ^ a b c J.A. Sherratt (15 February 1994). “Irregular wakes in reaction-diffusion waves”. Physica D (Elsevier) 70 (4): 370–382. doi:10.1016/0167-2789(94)90072-8. ISSN 0167-2789. OCLC 807718984. 
  12. ^ a b S.V. Petrovskii; H. Malchow (April 1999). “A minimal model of pattern formation in a prey-predator system”. Math. Comp. Modelling 29 (8): 49–63. doi:10.1016/S0895-7177(99)00070-9. 
  13. ^ a b E. Ranta; V. Kaitala (4 December 1997). “Travelling waves in vole population dynamics”. Nature (London: Nature Publishing Group) 390: 456. doi:10.1038/37261. ISSN 0028-0836. OCLC 01586310. 
  14. ^ X. Lambin; D.A. Elston; S.J. Petty; J.L. MacKinnon (22 August 1998). “Spatial asynchrony and periodic travelling waves in cyclic populations of field voles”. Proc. R. Soc. Lond B (London: Royal Society) 265 (1405): 1491-1496. doi:10.1098/rspb.1998.0462. ISSN 0962-8452. LCCN 92-656221. OCLC 1764614. 
  15. ^ a b c d J.D.M. Rademacher; B. Sandstede; A. Scheel (15 May 2007). “Computing absolute and essential spectra using ontinuation”. Physica D (Elsevier) 229 (2): 166–183. doi:10.1016/j.physd.2007.03.016. ISSN 0167-2789. OCLC 807718984. 
  16. ^ a b c M.J. Smith; J.D.M. Rademacher; J.A. Sherratt (26 January 2009). “Absolute stability of wavetrains can explain patiotemporal dynamics in reaction-diffusion systems of lambda-omega type”. SIAM J. Appl. Dyn. Systems (SIAM) 8 (3): 1136-1159. doi:10.1137/090747865. 
  17. ^ K. Maginu (January 1981). “Stability of periodic travelling wave solutions with large spatial periods in reaction-diffusion systems”. J. Diff. Eqns. 39 (1): 73-99. doi:10.1016/0022-0396(81)90084-X. 
  18. ^ M.J. Smith; J.A. Sherratt (15 December 2007). “The effects of unequal diffusion coefficients on periodic travelling waves in oscillatory reaction-diffusion systems”. Physica D (Elsevier) 236 (2): 90-103. doi:10.1016/j.physd.2007.07.013. ISSN 0167-2789. OCLC 807718984. 
  19. ^ B. Sandstede; A. Scheel (1 November 2000). “Absolute and convective instabilities of waves on unbounded and large bounded domains”. Physica D (Elsevier) 145 (3–4): 233-277. doi:10.1016/S0167-2789(00)00114-7. ISSN 0167-2789. OCLC 807718984. 
  20. ^ A.L. Kay; J.A. Sherratt (2000). “Spatial noise stabilizes periodic wave patterns in oscillatory systems on finite domains”. SIAM J. Appl. Math. (SIAM) 61 (3): 1013-1041. doi:10.1137/S0036139999360696. 
  21. ^ a b D.M. Johnson; O.N. Bjornstad; A.M. Liebhold (May 2006). “Landscape mosaic induces travelling waves of insect outbreaks”. Oecologia (Berlin: Springer-Verlag) 148 (1): 51-60. doi:10.1007/s00442-005-0349-0. ISSN 0029-8549. OCLC 1353676. 
  22. ^ a b K. Nozaki; N. Bekki (5 August 1983). “Pattern selection and spatiotemporal transition to chaos in the Ginzburg-Landau equation”. Phys. Rev. Lett. (Ridge, NY: APS) 51 (24): 2171-2174. doi:10.1103/PhysRevLett.51.2171. ISSN 0031-9007. LCCN 59-37543. OCLC 1715834. 
  23. ^ M. Ipsen; L. Kramer; P.G. Sorensen (October 2000). “Amplitude equations for description of chemical reaction–diffusion systems”. Phys. Rep. (Amsterdam: Elsevier) 337 (1–2): 193-235. doi:10.1016/S0370-1573(00)00062-4. ISSN 0370-1573. OCLC 252468919. 
  24. ^ A.S. Mikhailov; K. Showalter (March 2006). “Control of waves, patterns and turbulence in chemical systems”. Phys. Rep. (Amsterdam: Elsevier) 425 (2–3): 79-194. doi:10.1016/j.physrep.2005.11.003. ISSN 0370-1573. OCLC 252468919. 
  25. ^ J.A. Sherratt; M.A. Lewis; A.C. Fowler (March 28, 1995). “Ecological chaos in the wake of invasion”. Proc. Natl. Acad. Sci. USA (Washington, D.C.: NAS) 92 (7): 2524-2528. doi:10.1073/pnas.92.7.2524. ISSN 0027-8424. JSTOR 2367152. LCCN 16-10069. OCLC 43473694. 
  26. ^ a b S.V. Petrovskii; H. Malchow (March 2001). “Wave of chaos: new mechanism of pattern formation in spatio-temporal population dynamics”. Theor. Pop. Biol. (Amsterdam: Elsevier) 59 (2): 157-174. doi:10.1006/tpbi.2000.1509. ISSN 0040-5809. LCCN 73-19414. OCLC 932477. 
  27. ^ J. A. Sherratt; X. Lambin; C.J. Thomas; T.N. Sherratt (22 February 2002). “Generation of periodic waves by landscape features in cyclic predator-prey systems”. Proc. R. Soc. Lond B (London: Royal Society) 269 (1489): 327-334. doi:10.1098/rspb.2001.1890. ISSN 0962-8452. LCCN 92-656221. OCLC 1764614. 
  28. ^ M. Sieber; H. Malchow; S.V. Petrovskii (20 January 2010). “Noise-induced suppression of periodic travelling waves in oscillatory reaction–diffusion systems”. Proc. R. Soc. Lond. A (London: Royal Society) 466 (2119): 1903-1917. doi:10.1098/rspa.2009.0611. ISSN 1364-5021. LCCN 96-660116. OCLC 610206090. 
  29. ^ J.A. Sherratt (23 June 2008). “A comparison of periodic travelling wave generation by Robin and Dirichlet boundary conditions in oscillatory reaction-diffusion equations”. IMA J. Appl. Math. 73 (5): 759-781. doi:10.1093/imamat/hxn015. 
  30. ^ V.N. Biktashev; M.A. Tsyganov (24 August 2009). “Spontaneous traveling waves in oscillatory systems with cross diffusion”. Phys. Rev. E (Ridge, NY: APS) 80 (5). doi:10.1103/PhysRevE.80.056111. ISSN 1539-3755. LCCN 2001-227060. OCLC 45808357. 
  31. ^ M. R. Garvie; M. Golinski (March 2010). “Metapopulation dynamics for spatially extended predator-prey interactions”. Ecological Complexity (Amsterdam: Elsevier) 7 (1): 55-59. doi:10.1016/j.ecocom.2009.05.001. ISSN 1476-945X. OCLC 54836874. 
  32. ^ J.A. Sherratt (3 February 1993). “On the evolution of periodic plane waves in reaction-diffusion equations of λ-ω type”. SIAM J. Appl. Math. (SIAM) 54 (5): 1374-1385. doi:10.1137/S0036139993243746. 
  33. ^ a b N. Bekki; K. Nozaki (15 July 1985). “Formations of spatial patterns and holes in the generalized Ginzburg-Landau equation”. Phys. Lett. A (Amsterdam: Elsevier) 110 (3): 133-135. doi:10.1016/0375-9601(85)90759-5. ISSN 0375-9601. OCLC 192102249. 
  34. ^ J. A. Sherratt (2003). “Periodic travelling wave selection by Dirichlet boundary conditions in oscillatory reaction-diffusion systems”. SIAM J. Appl. Math. (SIAM) 63 (5): 1520-1538. doi:10.1137/S0036139902392483. 
  35. ^ J. Lega (15 May 2001). “Traveling hole solutions of the complex Ginzburg-Landau equation: a review”. Physica D (Elsevier) 152–153: 269-287. doi:10.1016/S0167-2789(01)00174-9. ISSN 0167-2789. OCLC 807718984. 
  36. ^ E.J. Doedel; J.P. Kernevez (1986). “AUTO: software for continuation and bifurcation problems in ordinary differential equations”. Applied Mathematics Report (Pasadena, CA: Caltech). 
  37. ^ B. Sandstede (March 7, 2002). “§ 3.4.2”. In B. Fiedler (PDF). Stability of travelling waves. Handbook of Dynamical Systems. II (1st ed.). Amsterdam: North-Holland. pp. 983-1055. ASIN 0444501681. ISBN 978-0444501684. NCID BA56806307. OCLC 48572345. http://www.dam.brown.edu/people/sandsted/publications/survey-stability-of-waves.pdf 
  38. ^ B. Deconinck; J.N. Kutz (20 November 2006). “Computing spectra of linear operators using the Floquet-Fourier-Hill method”. J. Comput. Phys. (Amsterdam: Elsevier) 219 (1): 296-321. doi:10.1016/j.jcp.2006.03.020. ISSN 0021-9991. LCCN 68-7628. OCLC 01640027. 
  39. ^ J.A. Sherratt (22 March 2012). “Numerical continuation of boundaries in parameter space between stable and unstable periodic travelling wave (wavetrain) solutions of partial differential equations”. Adv. Comput. Math 39 (1): 175–192. doi:10.1007/s10444-012-9273-0. 
  40. ^ J.A. Sherratt (1 January 2012). “Numerical continuation methods for studying periodic travelling wave (wavetrain) solutions of partial differential equations”. Appl. Math. Computation 218 (9): 4684-4694. doi:10.1016/j.amc.2011.11.005. 
  41. ^ A.C. Nilssen; O. Tenow; H. Bylund (29 January 2007). “Waves and synchrony in Epirrita autumnata/Operophtera brumata outbreaks II. Sunspot activity cannot explain cyclic outbreaks”. J. Animal Ecol. 76 (2): 269-275. doi:10.1111/j.1365-2656.2006.01205.x. ISSN 0021-8790. LCCN agr3-500027. OCLC 42799265. 
  42. ^ R. Moss; D.A. Elston; A. Watson (1 April 2000). “Spatial asynchrony and demographic travelling waves during red grouse population cycles”. Ecology 81 (4): 981-989. doi:10.1890/0012-9658(2000)081[0981:SAADTW]2.0.CO;2. ISSN 0012-9658. JSTOR 177172. LCCN sn97--23010. OCLC 35698209. 
  43. ^ M. Rietkerk; S.C. Dekker; P.C. de Ruiter; J. van de Koppel (24 September 2004). “Self-organized patchiness and catastrophic shifts in ecosystems”. Science (Washington, D.C.: AAAS) 305 (5692): 1926-1929. doi:10.1126/science.1101867. ISSN 0036-8075. JSTOR 3837866. LCCN 17-24346. OCLC 1644869. 
  44. ^ C. Valentin; J.M. d'Herbes; J. Poesen (September 1999). “Soil and water components of banded vegetation patterns”. Catena 37 (1–2): 1-24. doi:10.1016/S0341-8162(99)00053-3. 
  45. ^ D.L. Dunkerley; K.J. Brown (June 2002). “Oblique vegetation banding in the Australian arid zone: implications for theories of pattern evolution and maintenance”. J. Arid Environ. 52 (2): 163-181. doi:10.1006/jare.2001.0940. 
  46. ^ V. Deblauwe (2010). “Modulation des structures de vegetation auto-organisees en milieu aride / Self-organized vegetation pattern modulation in arid climates.”. PhD thesis (Brüssel: Université libre de Bruxelles). オリジナルの2013-09-27時点におけるアーカイブ。. http://web.archive.org/web/20130927230423/http://theses.ulb.ac.be/ETD-db/collection/available/ULBetd-04122010-093151/. 
  47. ^ N. Kopell; L.N. Howard (15 June 1973). “Horizontal bands in Belousov reaction”. Science (Washington, D.C.: AAAS) 180 (4091): 1171-1173. doi:10.1126/science.180.4091.1171. ISSN 0036-8075. JSTOR 1736377. LCCN 17-24346. OCLC 1644869. 
  48. ^ G. Bordyugov; N. Fischer; H. Engel; N. Manz; O. Steinbock (1 June 2010). “Anomalous dispersion in the Belousov-Zhabotinsky reaction: experiments and modeling”. Physica D (Elsevier) 239 (11): 766-775. doi:10.1016/j.physd.2009.10.022. ISSN 0167-2789. OCLC 807718984. 
  49. ^ M.R.E.Proctor (2006). M. Rieutord, B. Dubrulle. ed. “Dynamo action and the sun” (PDF). Stellar Fluid Dynamics and Numerical Simulations: From the Sun to Neutron Stars. Series 21 (EAS Publications): 241-273. http://www.damtp.cam.ac.uk/user/mrep/solcyc/paper.pdf. 
  50. ^ M.R.E. Proctor; E.A. Spiegel (1991). “Waves of solar activity”. The Sun and Cool Stars: Activity, Magnetism, Dynamos. Lecture Notes in Physics. 380. pp. 117-128. doi:10.1007/3-540-53955-7_116. ISBN 978-3-540-53955-1. ISSN 0075-8450. NCID BA12533626. OCLC 23355660 
  51. ^ E. Kaplan; V. Steinberg (13 July 1993). “Phase slippage, nonadiabatic effect, and dynamics of a source of traveling waves”. Phys. Rev. Lett. (Ridge, NY: APS) 71 (20): 3291-3294. doi:10.1103/PhysRevLett.71.3291. ISSN 0031-9007. LCCN 59-37543. OCLC 1715834. 
  52. ^ L. Pastur; M.T. Westra; D. Snouck; W. van de Water; M. van Hecke; C. Storm; W. van Saarloos (8 November 2001). “Sources and holes in a one-dimensional traveling-wave convection experiment”. Phys. Rev. E (Ridge, NY: APS) 67 (3). doi:10.1103/PhysRevE.67.036305. ISSN 1539-3755. LCCN 2001-227060. OCLC 45808357. 
  53. ^ P. Habdas; M.J. Case; J.R. de Bruyn (22 December 2000). “Behavior of sink and source defects in a one-dimensional traveling finger pattern”. Phys. Rev. E (Ridge, NY: APS) 63 (6). doi:10.1103/PhysRevE.63.066305. ISSN 1539-3755. LCCN 2001-227060. OCLC 45808357. 

関連項目