一活性・二抑制因子反応拡散モデルにおける特異摂動解の存在と安定性について

特に,第0モードの不安定化を起こすパラメータに注目すると,この課題の目的である進行スポット解が安定に分岐していることも確認できる。しかし,論理的にそれらを示すことはかなりの困難を伴うので,現在は数値的検証法のテクニックを利用して,安定な進行スポット解の存在証明を行っている。