Existence of variational solutions to doubly nonlinear systems in nondecreasing domains

技術要約：非減少領域における二重非線形系の変分解の存在性

問題設定
本論文は、以下の形式の二重非線形放物型系のコーシー・ディリクレ問題を取り扱う：
$$\partial_t (|u|^{q-1}u) - \text{div}(D_\xi f(x, u, Du)) = -D_u f(x, u, Du)$$
これは、有界な非円筒領域 $E \subset \mathbb{R}^{n+1}$（ここで $n \ge 2$）で定義される。領域 $E$ は、時間に関して非減少であると仮定されている。すなわち、時刻の切片 $E_t$ が $0 \le s \le t < T$ に対して $E_s \subset E_t$ を満たすことを意味する。パラメータは $q \in (0, \infty)$ および $p \in (1, \infty)$ を満たす。

被積分関数 $f(x, u, \xi)$ は以下を仮定している：

1. 固定された $(u, \xi)$ に対して、$x$ に関して可積分である。
2. $(u, \xi)$ に関して凸である。
3. $p$-強コサーシビティ条件 $\nu|\xi|^p \le f(x, u, \xi)$ を満たす。
   極めて重要な点として、著者らは主要な存在結果に対して $f$ の特定の（上限的な）増大条件を課しておらず、これにより指数関数的または非標準的な増大を許容している。

手法
証明は、非線形版の最小化運動法（minimizing movements法、またはインプリシット・オイラー法、あるいはデ・ジョルジの最小化運動法としても知られる）に基づいている。このアプローチは、円筒領域における二重非線形方程式に関する先行研究（Bögleinら [17]）および非円筒領域における放物型系に関する先行研究（Bögleinら [19]）の技術を組み合わせたものである。

手順は以下の通りである：

1. 時間の離散化： 時間区間 $(0, T)$ をステップサイズ $h_\ell = T/\ell$ で分割する。
2. 反復最小化： 各時間ステップにおいて、以下の楕円型変分汎関数を最小化することによって、関数の列 $u_{\ell, i}$ を構成する：
   $$F_\ell[w; u_{\ell, i-1}] = \int_\Omega f(x, w, Dw) \, dx + \frac{1}{h_\ell} \int_\Omega b[u_{\ell, i-1}, w] \, dx$$
   ここで $b[u, v]$ は、べき関数 $|v|^{q+1}$ の凸性に関連する特定の境界項である。
3. エネルギー評価と収束： 著者らは、区分定数補間 $u_\ell$ に対する一様なエネルギー評価を導出する。コンパクトネスの議論（特に $|u_\ell|^{(q+1)/2}$ の収束に関する補題 3.11）を用いて、極限写像 $u$ の存在を確立する。
4. 非円筒領域の取り扱い： 時間変化する領域を管理することが重要な技術的側面である。$E$ が非減少であるという性質により、比較写像の拡張が可能となり、また $L^{n+1}(\partial E) = 0$ という仮定を利用することで、極限写像が正しい横方向境界条件を満たすことを保証できる。
5. 変分不等式： 極限写像は変分不等式を満たすことが示され、これがこの文脈における変分解の定義となる。

主要な貢献と結果

1. 非減少領域における存在性（定理 2.3）：
   本論文は、変分解 $u \in C^0([0, T]; L^{q+1}(\Omega, \mathbb{R}^N)) \cap V^p_q(E)$ の存在を証明している。

   • 汎用性： 円筒領域や非負の解に限定されていた従来の成果とは異なり、本結果は一般的な非減少な非円筒領域に適用可能であり、符号付きまたはベクトル値の解を許容する。
   • $f$ に対する弱い仮定： 存在証明は、$f$ の上限的な増大条件を課すことなく、凸性と強コサーシビティのみに基づいて成立する。
   • 正則性： 解は、特定の双対空間における $|u|^{q-1}u$ の弱い時間微分を持ち、解は $L^{q+1}$ ノルムに関して時間連続である。

2. 双対空間における時間微分の存在性（定理 2.5）：
   追加の仮定（具体的には、領域が測度密度条件を満たすこと、および $f$ が標準的な $p$-増大条件を満たすこと）の下で、著者らは項 $|u|^{q-1}u$ が双対空間 $(V^{p,0}(E))'$ において分布的な時間微分を持つことを証明している。

3. 時間連続性：
   著者らは、任意の変分解が $L^{q+1}(\Omega, \mathbb{R}^N)$ 値として時間連続であることを確立している。これは、非円筒的な設定に適応させた、解の時間モルフィケーション（時間平滑化）を用いたテスト関数を用いることで達成される。

意義と主張
本論文は、既存の二重非線形方程式の理論を一般化するものと位置づけている。

• 範囲の拡張： 円筒領域から非円筒（特に非減少な）領域へと存在理論を拡張し、幾何学的な変動が十分に扱われていなかった二重非線形系における文献上の空白を埋めている。
• 緩和された増大条件： 被積分関数 $f$ の上限的な増大条件を取り除くことで、指数関数的な増大を持つものを含む、より広いクラスの非線形性を許容している。これは、以前はより厳格な制約や特定の文脈下でのみ扱われていたものである。
• 手法の統合： 本研究は、二重非線形方程式に対する「最小化運動」のアプローチと、時間依存する領域の幾何学的取り扱いをうまく統合している。
• 一意性： 著者らは、本研究では一意性は確立されていないことを明記している。彼らは、このような系の一意性は繊細な問題であり、特に非円筒領域においては、検討されている一般的なケースにおいて未解決の問題であることを指摘している（ただし、非負の解を持つ多孔質媒体方程式のような特定のケースでは既知である）。

本論文は、開発された手法が時間依存の境界値にも適応できる可能性があると結論付けているが、現在の研究は、核となる存在理論を確立するために、時間独立な横方向境界値に焦点を当てている。