An H-convergence-based implicit function theorem for homogenization of nonlinear non-smooth elliptic systems

技術的概要：非線形非滑らかな楕円型系の均質化に関する H-収束に基づく陰関数定理

問題の定義
本論文は、以下の形式の半線形 2 階楕円型系の境界値問題の均質化を取り扱います：
$$\partial_{x_i} \left( a_{ij}^{\alpha\beta}(\varepsilon, x)\partial_{x_j}u^\beta(x) + f_i^\alpha(x, u(x)) \right) = 0 \quad \text{in } \Omega,$$
ただし、同次ディリクレ境界条件を課します。ここで、$\varepsilon > 0$ は小さな均質化パラメータ、$\Omega \subset \mathbb{R}^N$ は有界なリプシッツ領域であり、拡散テンソル $a_{ij}^{\alpha\beta}(\varepsilon, \cdot)$ はレジェンドル楕円性条件を満たします。非線形項 $f_i^\alpha$ は、$C(\Omega; \mathbb{R}^n)$ から $L^{p_0}(\Omega)$ への写像として $C^1$ 級滑らかであり、$p_0 > N$ であると仮定されます。

拡散テンソルは、$\varepsilon \to 0$ において均質化テンソル $\hat{a}_{ij}^{\alpha\beta}$ へ H-収束すると仮定されます。中心的な問題は、均質化された問題 (1.9) の非退化な弱解 $u_0$ の近傍において、振動する問題 (1.1) の弱解 $u_\varepsilon$ の存在と局所一意性を確立すること、具体的には強収束 $\|u_\varepsilon - u_0\|_\infty \to 0$ を証明することです。

手法
著者は、古典的な陰関数定理ではなく、特異摂動と均質化に適応された一般化された陰関数定理のアプローチを採用します。対処される核心的な難しさは、振動する問題の線形化された作用素が、一様な作用素ノルムに関してではなく、H-収束の弱収束の sense でしか収束しないという点であり、これにより古典的定理の直接適用が妨げられています。

手法は以下のステップで進行します：

1. 抽象的な設定：境界値問題を適切なバナッハ空間における作用素方程式 $A_\varepsilon u + DF(u) = 0$ として再定式化します。
2. 近似解：反復の開始点として均質化解 $u_0$ を用いる代わりに（これは必要なノルムにおける正則性や収束性の欠如により失敗するため）、著者は線形問題 $A_\varepsilon \bar{u}_\varepsilon + DF(u_0) = 0$ によって定義される近似解の族 $\bar{u}_\varepsilon$ を構成します。
3. 不動点議論：R.J. マグナスに基づく一般化された陰関数定理を適用します。証明は、近似解によって定義される反復列に対するバナッハの不動点定理を利用します。
4. 関数空間の選択：バナッハ空間 $U$ と $V$ の選択は決定的であり、次元 $N$ と拡散テンソルの構造に依存します：
   • 場合 $N=2$：証明は $p > 2$ であるソボレフ空間 $W^{1,p}_0(\Omega; \mathbb{R}^n)$（マイヤーズ型評価）を利用します。
   • 場合 三角型系（$\alpha > \beta$ に対して $a_{ij}^{\alpha\beta} = 0$）：証明は $\lambda > N-2$ であるソボレフ・モレー空間 $W^{1,2,\lambda}_0(\Omega; \mathbb{R}^n)$ を利用します。これにより、標準的なソボレフ埋め込みが失敗する可能性がある非滑らかなデータ、または均質化テンソルが三角構造を失う場合でも処理が可能になります。
5. 正則性の道具：証明は、非滑らかなデータを持つ線形楕円型系に対する最大正則性評価（マイヤーズおよびモレー評価）に大きく依存しており、これにより選択された関数空間内で必要なコンパクト性と連続性の性質が保証されます。

主要な貢献と結果
主要な結果は定理 1.1であり、$u_0$ が均質化問題の非退化な弱解（すなわち、線形化された均質化作用素が可逆である）であるならば、十分に小さな $\varepsilon$ に対して、元の問題の一意な弱解 $u_\varepsilon$ が存在し、$\|u_\varepsilon - u_0\|_\infty < \delta$ かつ $\varepsilon \to 0$ に対して $\|u_\varepsilon - u_0\|_\infty \to 0$ となることを述べています。

具体的な技術的貢献には以下が含まれます：

• 滑らかさ仮定の緩和：この結果は、領域境界 $\partial\Omega$、拡散係数 $a_{ij}^{\alpha\beta}$、非線形項 $f$、または解 $u_0$ の追加的な滑らかさを要求することなく成立します。非滑らかなデータ（$L^\infty$ 係数）を許容します。
• 大域的一意性の不要：この定理は、非線形問題の解の大域的一意性を仮定することなく、$u_0$ 近傍での局所的一意性を確立します。
• 非三角型均質化の処理：三角型系（条件 1.8）の場合、著者は均質化テンソル $\hat{a}_{ij}^{\alpha\beta}$ は一般的に三角型ではないと指摘しています。ソボレフ・モレー空間の使用により、この極限における構造の喪失にもかかわらず証明を進行させることが可能になります。
• 強 $L^\infty$ 収束：この結果は、均質化理論で典型的な弱 $H^1$ 収束よりも強い $L^\infty$ ノルムにおける収束を保証します。
• ヘルダー連続性：副産物として（注 1.7）、解 $u_\varepsilon$ がヘルダー連続であることが示されます。

意義と主張
本論文は、この結果が線形の場合（$f$ が $u$ に依存しない場合）においても新しいものであると主張しています。線形の場合、ラックス・ミルグラムの補題は $W^{1,2}_0$ における一意な弱可解性を保証しますが、非滑らかなデータの下で H-収束により解が $L^\infty$ に属し、かつ $L^\infty$ において強収束することは直ちに明らかではありません。

著者は、このアプローチが、補正子を含む漸近展開ではなく、線形化によって構成された近似解を利用することで、特異摂動理論と均質化理論の間のギャップを埋めていることを強調しています。これにより、滑らかさ演算子や $u_0$ に関する追加の正則性仮定を必要としません。

本論文は、データの非滑らかさにより $\|u_\varepsilon - u_0\|_\infty \to 0$ の収束速度を提供しないことを明示的に述べており、滑らかなデータが $O(\varepsilon)$ や $O(\varepsilon^\omega)$ などの速度を許容する場合と対比させています。この研究は、非滑らかで非周期的な非線形系の均質化に関する基礎的な存在および局所一意性の結果として提示されています。