Uniform Calderón-Zygmund estimates in multiscale elliptic homogenization

技術要約：マルチスケール楕円型ホモジナイゼーションにおける一様カルデロン・ジグムント評価

問題設定
本論文は、有界な $C^1$ ドメイン $\Omega \subset \mathbb{R}^d$ における線形楕円型方程式の解の一様正則性を扱う：
$$-\text{div}(A_\varepsilon \nabla u_\varepsilon) = \text{div} f,$$
ここで、係数行列 $A_\varepsilon(x)$ は $n$ 個の異なる振動スケールを示す：
$$A_\varepsilon(x) = A\left(\frac{x}{\varepsilon_1}, \frac{x}{\varepsilon_2}, \dots, \frac{x}{\varepsilon_n}\right).$$
ここで、$A(y_1, \dots, y_n)$ は各変数 $y_i$ に関して1周期であり、パラメータ $(\varepsilon_1, \dots, \varepsilon_n) \in (0, 1]^n$ は小さいものとする。ここでの主要な課題は、スケールが十分に分離していない場合（すなわち、比 $\varepsilon_{i+1}/\varepsilon_i$ が冪乗則による分離条件を満たさない場合）であっても、勾配 $\nabla u_\varepsilon$ に対する一様 $L^p$ 評価（カルデロン・ジグムント評価）において、定数が小さなパラメータに依存しないことを確立することである。

先行研究では、コンパクトネス法を用いて、このようなスケール分離のない系に対する一様ヘルダー（$C^\alpha$）評価を確立している。しかし、勾配評価（$L^p$ 評価）は通常、定量的収束率や補正項（correctors）の微細な性質を必要とするが、スケール分離がない場合にはこれらが以前は利用できなかった。

手法
著者らは、スケール分離の欠如を克服するために、数論とホモジナイゼーション技術を組み合わせた新しい証明戦略を開発している。核となる手法は、主に以下の3つの構成要素からなる：

1. ディリクレの定理と再周期化（Reperiodization）:
   著者らは、最小のスケールを他のスケールから定量的に分離するために、同時ディオファントス近似に関するディリクレの定理を利用する。スケールの列と大きなパラメータ $Q$ が与えられたとき、新しい1周期的な行列 $A^\sharp$ を「再周期化」テクニックを通じて構築する。この変換により、元の係数 $A_\varepsilon$ を次のように書き換える：
   $$A\left(\frac{x}{\varepsilon_1}, \dots, \frac{x}{\varepsilon_n}\right) = A^\sharp\left(\frac{x}{\varepsilon'_1}, \dots, \frac{x}{\varepsilon'_n}\right),$$
   ここで、新しいスケールは、最小のスケール $\varepsilon'_n$ が残りの $n-1$ 個のスケールから $Q$ だけ分離されている（すなわち、$\varepsilon'_i \ge Q \varepsilon'_n$）という条件を満たす。このプロセスは、最後の変数における $A^\sharp$ の正則性を低下させる可能性があるが、これにより反復的なホモジナイゼーションの適用が可能になる。

2. 定量的スケール低減（Quantitative Scale Reduction）:
   上述の分離特性を用いて、著者らは定量的スケール低減を行う。$n$ スケールの問題の解が、高々 $n-1$ 個のスケールを持つ問題の解によって一様に近似されることを証明する。この近似には、反復的ホモジナイゼーション理論から導かれる補正項が含まれる。この近似における誤差は、$Q^{-1}$ の冪乗および最小スケールとドメインサイズの比によって制御される。

3. 二重平均化を用いた実変数引数:
   $L^p$ 勾配評価を確立するために、著者らは洗練された実変数引数（CaffarelliとPeralの枠組みに基づく）を採用している。ここでの決定的な革新は、「二重平均化」テクニックの使用である。

• 第一の平均化は、スケール低減による近似誤差を処理するために、大きなスケールで行われる。
• 第二の平均化は、補正項の周期構造を利用するために、周期セル（$Q$ に依存）のスケールで行われる。
  この二重のアプローチにより、著者らは、再周期化された行列における補正項の勾配の一様 $L^p$ 評価（これは $Q$ に依存し、発散してしまう）を必要とせずに、$L^2$ エネルギー評価と補正項の周期性に依拠して、これを回避することができる。

主要な結果

• 定理 1.1（主結果）: 任意の $p \in (1, \infty)$ に対して、勾配 $\nabla u_\varepsilon$ は次の一様評価を満たす：
  $$\|\nabla u_\varepsilon\|_{L^p(\Omega)} \le C \|f\|_{L^p(\Omega)},$$
  ここで、定数 $C$ は次元 $d$、スケール数 $n$、楕円性定数 $\Lambda$、$p$、ヘルダー連続性のパラメータ $(\tau, L)$、およびドメイン $\Omega$ にのみ依存する。決定的なことは、$C$ がパラメータ $(\varepsilon_1, \dots, \varepsilon_n)$ に依存しないことである。この結果は、ディリクレ境界条件および適合的なノイマン境界条件の両方に対して成立する。

• 系 1.2（準周期ホモジナイゼーション）: 主定理は、行列 $M$ に関するディオファントス条件を必要とせずに、準周期係数 $A(x/\varepsilon) = B(Mx/\varepsilon)$ に対する一様カルデロン・ジグムンド評価を導く。これは、これまで厳格なディオファントス条件の下でのみ既知であった、文献における空白を埋めるものである。

• 大規模リプシッツ評価: 著者らは、一様大規模またはメゾスコピックスケールのリプシッツ評価も導出している。$n=2$ の場合、半径 $r \ge \varepsilon_2^{1-\alpha}$ に対してリプシッツ評価が成立する。$n \ge 3$ の場合、任意の与えられたスケールの近傍で同様の評価が得られるが、スケール分離のない完全な一様リプシッツ評価は依然として未解決の問題である。

意義と主張
著者らは、本研究が、いかなるスケール分離の仮定も置かずに、任意のマルチスケール係数を持つ楕円型方程式に対する一様 $L^p$ 勾配評価の最初の証明を提供すると主張している。

• 新規性: ディリクレの定理をホモジナイゼーション理論に導入したことは、幾何学的な分離が失敗する場合でも、定量的にはスケールを分離できる新しいツールとして提示されている。
• 限界の克服: 本論文は、ソフトなコンパクトネス法（$C^\alpha$ 評価には十分である）が $L^p$ 勾配評価には不十分であることを明示している。提案された定量的アプローチは、定数を明示的に計算し、補正項を利用しており、このギャップを埋めるために必要である。
• 汎用性: 結果は、退化した周期セルや共鳴周波数（例：リウヴィル数）を持つ準周期媒体に対する制限的な算術条件を課すことなく、ホモジナイゼーション理論の範囲を大幅に広げるものである。
• メカニズム: 本研究は、決定的なホモジナイズド極限（固定された収束率を持つもの）が存在しない場合でも、マルチスケール媒体における「平均化効果」がすべてのメゾスコピックスケールにわたって安定して発生することを示唆しており、複雑な媒体における解の正則性に関するより深い理解を提供する。