数理人口学・数理生物学セミナー
過去の記録 ~06/23|次回の予定|今後の予定 06/24~
2014年10月22日(水)
14:50-16:20 数理科学研究科棟(駒場) 122号室
物部治徳 氏 (明治大学先端数理科学インスティテュート)
異なる反応項を持つある系の急速反応極限問題 (JAPANESE)
物部治徳 氏 (明治大学先端数理科学インスティテュート)
異なる反応項を持つある系の急速反応極限問題 (JAPANESE)
[ 講演概要 ]
本講演では、ある2成分反応拡散系の特異極限を考える。
尚、本研究は飯田雅人氏(宮崎大学)、二宮広和氏(明治大学)、村川秀樹氏(九州大学)との共同研究である。
特異極限は、反応拡散系(Allen-Cahn方程式やFitzHugh-Nagumo方程式など)を解析する上で重要な手法の一つであり、その極限方程式は方程式の形やパラメータの場所に依存して、界面方程式や自由境界問題などが導き出される。反応拡散系の解のダイナミクスを考察するために特異極限を用いたり、また逆の立場で、界面方程式や自由境界問題を反応拡散系で近似するために特異極限を用いられることもある。
近年、D. Hilhorstらにより\cite{HHP1}, \cite{HHP2}反応拡散系における``急速反応極限"の解析が進められ,様々な方程式において極限問題が考察されている。この解析の発展により、線型拡散を持つ反応拡散系と自由境界問題がある意味で繋がりを持つことが確認されている。しかしながら、それらのほとんどの結果は、反応項に対称性があり、非対称の場合に関する急速反応極限の解析結果はほとんど確認されていない。そこで、我々は最初のステップとして次のような単純な非対称な多項式を持つ反応拡散系の急速極限を考察し、多項式の指数の組み合わせと極限問題の関係について考察を行った:
例えば、ロトカ・ボルテラモデルのある急速反応極限としては、を含む数理もモデル
(P)k{ut=Δu−kum1vm3in QT:=Ω×(0,T),vt=−kum2vm4in QT,∂u∂ν=0on ST:=∂Ω×(0,T),u(x,0)=u0(x),v(x,0)=v0(x)in Ω,
ただし、ΩはRnの有界領域, Tは正定数, νは∂Ω上の外向き単位法線ベクトル、mi(i=1,2,3,4)は1より大きい正定数、u0,v0は非負の初期値を表す。このとき、適当な初期条件のもとでk→∞としたとき、次のような結果を得た(詳細は講演内で述べる):
(Case I)m=(m1,1,1,1)かつm1>3 ⇒ uはΩ上の熱方程式の解に近づく (Case II)m=(1,m2,1,1)かつm2>2 ⇒ uはsuppu0上の熱方程式の解に近づく (Case III)m=(1,1,m3,1)かつm3>0⇒ uは一相Stefan問題の解に近づく (Case IV)m=(1,1,1,m4)かつ2>m4>1⇒ uは一相Stefan問題の解に近づく
本講演では、ある2成分反応拡散系の特異極限を考える。
尚、本研究は飯田雅人氏(宮崎大学)、二宮広和氏(明治大学)、村川秀樹氏(九州大学)との共同研究である。
特異極限は、反応拡散系(Allen-Cahn方程式やFitzHugh-Nagumo方程式など)を解析する上で重要な手法の一つであり、その極限方程式は方程式の形やパラメータの場所に依存して、界面方程式や自由境界問題などが導き出される。反応拡散系の解のダイナミクスを考察するために特異極限を用いたり、また逆の立場で、界面方程式や自由境界問題を反応拡散系で近似するために特異極限を用いられることもある。
近年、D. Hilhorstらにより\cite{HHP1}, \cite{HHP2}反応拡散系における``急速反応極限"の解析が進められ,様々な方程式において極限問題が考察されている。この解析の発展により、線型拡散を持つ反応拡散系と自由境界問題がある意味で繋がりを持つことが確認されている。しかしながら、それらのほとんどの結果は、反応項に対称性があり、非対称の場合に関する急速反応極限の解析結果はほとんど確認されていない。そこで、我々は最初のステップとして次のような単純な非対称な多項式を持つ反応拡散系の急速極限を考察し、多項式の指数の組み合わせと極限問題の関係について考察を行った:
例えば、ロトカ・ボルテラモデルのある急速反応極限としては、を含む数理もモデル
(P)k{ut=Δu−kum1vm3in QT:=Ω×(0,T),vt=−kum2vm4in QT,∂u∂ν=0on ST:=∂Ω×(0,T),u(x,0)=u0(x),v(x,0)=v0(x)in Ω,
ただし、ΩはRnの有界領域, Tは正定数, νは∂Ω上の外向き単位法線ベクトル、mi(i=1,2,3,4)は1より大きい正定数、u0,v0は非負の初期値を表す。このとき、適当な初期条件のもとでk→∞としたとき、次のような結果を得た(詳細は講演内で述べる):
(Case I)m=(m1,1,1,1)かつm1>3 ⇒ uはΩ上の熱方程式の解に近づく (Case II)m=(1,m2,1,1)かつm2>2 ⇒ uはsuppu0上の熱方程式の解に近づく (Case III)m=(1,1,m3,1)かつm3>0⇒ uは一相Stefan問題の解に近づく (Case IV)m=(1,1,1,m4)かつ2>m4>1⇒ uは一相Stefan問題の解に近づく