[論文レビュー] Inertial manifolds on squeezed domains

Martino Prizzi, Krzysztof P. Rybakowski|ArXiv.org|Aug 31, 2002

Stability and Controllability of Differential Equations参考文献 13被引用数 10

ひとこと要約

本稿は、$\mathbb{R}^2$ 内の薄く圧縮された領域上で反応拡散方程式の $C^1$ 稠密な慣性多様体の存在を示している。領域が線分に圧縮される際、固定領域への変換とそれに続く特異摂動作用素のスペクトル解析により、慣性多様体が $C^1$-位相で1次元の極限方程式における制限慣性多様体に収束することを証明している。これは、元の領域に自然な幾何的仮定が成り立つ場合に成立する。

ABSTRACT

Let $Ω$ be an arbitrary smooth bounded domain in $\R^2$ and $ε>0$ be arbitrary. Squeeze $Ω$ by the factor $ε$ in the $y$-direction to obtain the squeezed domain $Ω_ε=\{(x,εy)\mid (x,y)\inΩ\}$. In this paper we study the family of reaction-diffusion equations $$ \alignedat 2 u_t&=Δu+f(u),&\quad &t>0, (x,y)\inΩ_ε\partial_{ν_ε} u&=0,& & t>0, (x,y)\in\partialΩ_ε,\endalignedat ag $E_ε$ $$ where $f$ is a dissipative nonlinearity of polynomial growth. In a previous paper we showed that, as $ε o 0$, the equations $(E_ε)$ have a limiting equation which is an abstract semilinear parabolic equation defined on a closed linear subspace of $H^1(Ω)$. We also proved that the family ${\Cal A}_ε$ of the corresponding attractors is upper semicontinuous at $ε=0$. In this paper we prove that, if $Ω$ satisfies some natural assumptions, then the limiting equation can be characterized as a reaction-diffusion equation on a finite topological graph. Moreover, there is a family $\Cal M_ε$ of inertial $C^1$-manifolds for $(E_ε)$, of some fixed finite dimension $ν$, and, as $ε o 0$, the flow on $\Cal M_ε$ converges in the $C^1$-sense to the limit flow on $\Cal M_0$.

研究の動機と目的

• 2次元の薄く圧縮された領域上での反応拡散方程式に対して、有限次元の慣性多様体の存在を確立すること。
• 領域が1次元区間に縮小する際の半フローと吸引因子族の漸近的挙動を分析すること。
• $\Omega_\epsilon$ 上の各方程式に対する慣性多様体 $\mathcal{M}_\epsilon$ が、$\epsilon \to 0^+$ の際に1次元極限方程式上の制限慣性多様体 $\mathcal{M}_0$ に $C^1$-位相で収束することを証明すること。
• 従来の薄い領域における慣性多様体の結果を、縦棒領域に限らない、穴や分岐を持つ一般の滑らかで有界な領域へ拡張すること。
• スペクトル理論と重み付きソボレフ空間を用いて、領域の圧縮に伴う慣性多様上の力学の収束を厳密な枠組みで提供すること。

提案手法

• 薄い領域 $\Omega_\epsilon$ 上の元の問題を微分同相 $T_\epsilon(x,y) = (x, \epsilon y)$ を用いて固定領域 $\Omega$ 上の等価問題に変換し、$y$ 方向に $\epsilon^{-2}$ スケーリングを持つ特異摂動作用素を得る。
• $H^1(\Omega)$ 上の楕円作用素 $A_\epsilon$ を特徴付けるために、$a_\epsilon(u,v) = \int_\Omega (u_x v_x + \epsilon^{-2} u_y v_y) \, dx\,dy$ という一様な双線形形式の族を定義する。
• $Q(x) = 1/x$ を重み関数とする重み付きソボレフ空間 $U(Q)$ を用いて、$\epsilon \to 0^+$ の極限作用素のスペクトル性質を解析し、コンパクト埋め込みと自己共役性を保証する。
• 重み付き空間 $U(Q)$ 上での一般化固有値問題 $a_Q(\omega, \varpi) = \lambda b(\omega, \varpi)$ のスペクトル理論を適用し、元の問題の固有値と極限系の固有値との関係を確立する。
• スペクトルギャップ条件に基づく慣性多様体構成法により、各 $\epsilon > 0$ に対して固定次元 $\nu$ の有限次元慣性多様体 $\mathcal{M}_\epsilon$ の存在を確立する。
• $\epsilon \to 0^+$ の際、慣性多様体上の半フローが、その幾何的性質および非線形フローの一様推定に基づき、制限慣性多様体 $\mathcal{M}_0$ 上の半フローに $C^1$-収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 薄く圧縮された領域 $\mathbb{R}^2$ 上の反応拡散方程式に対して、$\epsilon \to 0$ の際に $C^1$ 慣性多様体の族が存在するか？
• RQ2 $\Omega_\epsilon$ 上の方程式に対する慣性多様体が、1次元極限方程式上の制限慣性多様体に $C^1$-位相で収束するか？
• RQ3 領域 $\Omega_\epsilon$ 上の特異摂動ラプラシアンのスペクトル構造は、慣性多様体の存在性および正則性にどのように影響するか？
• RQ4 制限慣性多様体の存在および力学の $C^1$-収束を保証するため、元の領域 $\Omega$ に必要な幾何的仮定は何か？
• RQ5 慣性多様体構成法を縦棒領域のケースから、複雑なトポロジー（穴や分岐を含む）を持つ一般の滑らかで有界な領域へ拡張可能か？

主な発見

• 任意の滑らかで有界な領域 $\Omega \subset \mathbb{R}^2$ に対して、圧縮領域 $\Omega_\epsilon$ 上の反応拡散方程式に対して、固定次元 $\nu$ の $C^1$ 慣性多様体族 $\mathcal{M}_\epsilon$ が存在する。
• $\Omega$ が特定の自然な幾何的条件（極限における退化性の欠如を含む）を満たす限り、すべての $\epsilon > 0$ に対して慣性多様体 $\mathcal{M}_\epsilon$ が存在する。
• $\epsilon \to 0^+$ の際、$\mathcal{M}_\epsilon$ 上の半フローは、$]a,b[$ 上の1次元方程式に関連する制限慣性多様体 $\mathcal{M}_0$ 上の半フローに $C^1$-位相で収束する。
• 重み付き空間 $U(Q)$ 上の極限スペクトル問題の固有値 $\mu_\nu^Q$ は $\mu_\nu^Q \geq \pi^2 \nu^2$ を満たし、慣性多様体の存在に必要なスペクトルギャップ条件を保証する。
• 変換 $w = q^{1/2} u'$ を用いることで、固有値の重複度が制御され、線形独立性が保たれ、元の問題のスペクトル構造が極限に反映されることを保証する。
• 重み付きソボレフ空間におけるコンパクト埋め込みを活用し、慣性多様体埋め込みおよび非線形ベクトル場の $C^1$-ノルムに対する一様バインディングを確立することで、慣性多様体の収束が示された。