Diffuse Interface Energies with Microscopic Heterogeneities I: Homogenization

技術要約：微視的ヘテロジェニティを伴う拡散界面エネルギー I：ホモジナイゼーション

問題設定
本論文は、微視的なヘテロジェニティ（不均質性）を持つ材料における拡散界面のマクロな挙動を調査している。具体的には、著者らは、ヘテロジェニティの長さスケール $\delta$ が界面幅 $\epsilon$ よりも十分に小さい（すなわち $\delta \ll \epsilon$）領域における、Allen-Cahn型のエネルギー汎関手の $\Gamma$-極限を分析している。エネルギー汎関数は以下のように与えられる：
$$F_{\epsilon,\delta}(u; U) = \int_U \left( \frac{\epsilon}{2} a(\delta^{-1}x)\nabla u \cdot \nabla u + \frac{1}{\epsilon}\theta(\delta^{-1}x)W(u) \right) dx$$
ここで、$a$ は一様楕円的な行列場であり、$\theta$ は正の関数である。これらは共に、定常かつエルゴード的なランダム場のサンプルとしてモデル化されている。ポテンシャル $W$ は、$\pm 1$ に極小値を持つダブルウェル（二重井戸）ポテンシャルである。

中心となる問いは、$\epsilon \to 0$（シャープ界面極限）とホモジナイゼーション極限（$\delta \to 0$）が可換であるかどうかである。$\delta \sim \epsilon$ の場合、極限が $a$ と $\theta$ の結合統計量によって決定される異方的な表面エネルギーになることは既知であるが、$\delta \ll \epsilon$ の場合の挙動はより微妙である。著者らは、有効エネルギーが単に（係数がその平均値に置き換えられた場合と同様に）ホモジナイズされた表面エネルギーになる条件と、「稀な事象」（非典型的な局所的構成）が極限を支配するケースとの条件を明らかにすることを目的としている。

手法
証明戦略は、Allen-Cahn汎関手の $\Gamma$-収束における標準的な手法である、平面セル問題への還元に基づいている。著者らは、グローバルな汎関手の $\Gamma$-収束が、平面境界条件を持つ大きな立方体における極小値のエネルギーへの収束と等価であることを確立している。

分析の核となるのは、以下の2段階のアプローチである：

1. 決定論的な相対誤差推定： 著者らはまず、不均質なエネルギー $F_{\gamma}$ （ここで $\gamma = \delta/\epsilon$）とホモジナイズされたエネルギー $F$ との差に関する決定論的な推定値を導出する。これは、マクロな領域を固定サイズ $r_c$ のメゾスコピックな劣立方体に分解することによって達成される。各劣立方体内において、不均質な極小値をホモジナイズされた極小値と比較する。この比較には以下を用いる：

   • 補正関数（Correctors）： 楕円作用素 $-\nabla \cdot (a \nabla)$ に付随する勾配補正関数 $\phi$ およびフラックス補正関数 $\sigma$。
   • 正則性： 勾配の $L^p$ ノルムを制御し、極小値のヘルダー連続性を制御するための De Giorgi-Nash-Moser 推定および Meyer の推定。
   • クリーリングアウト特性（Clearing-out Property）： 低エネルギー領域において、極小値が純粋相（$\pm 1$）に近いことを保証する補題であり、これによりポテンシャル $W$ の線形化が可能となる。
   • 正則化： 小スケールでの厳密凸性を確保するために、修正されたポテンシャル $W_{\text{reg}}$ が使用され、これにより凸性に関する議論が容易になる。

2. 確率的平均化： 決定論的な誤差境界は、補正関数の「劣線形性（sublinearity）」と、$H^{-1}$ ノルムで測定される $\theta$ の振動に依存する。著者らは、これらの量を定量化するために定常場 $Sub_x(r)$ および $Osc_x(r)$ を定義する。彼らは、比率 $\delta/\epsilon$ が十分に速く減少する場合、これらの場が閾値を超える確率が十分に速く消失し、ホモジナイゼーション誤差が無視できることを証明する。

主要な貢献と結果

• 主要定理（ホモジナイゼーション領域）： 主要な結果（定理1）は、もし比率 $\delta(\epsilon)/\epsilon$ が、補正関数の劣線形性と $\theta$ の振動の確率的減衰率に対して十分に速く減少するならば、エネルギーがホモジナイズされた表面エネルギー $\bar{E}$ に確率的に $\Gamma$-収束することを確立している。有効表面張力は $\bar{\sigma}(\nu)^2 = \sigma_W^2 \bar{\theta} \nu \cdot \bar{a} \nu$ で与えられる（ここで $\bar{a}$ はホモジナイズされた行列、$\bar{\theta}$ は $\theta$ の期待値である）。

  • 十分条件は、以下の確率の減衰を通じて表現される：
    $$\lim_{\epsilon \to 0} \epsilon^{-d} P\left\{ Sub_0\left(\frac{\epsilon}{\delta(\epsilon)}\right) > \nu \right\} = 0$$
    および $Osc_0$ に対する同様の条件。

• 鋭さと稀な事象： 本論文は、もし $\delta/\epsilon$ があまりに遅く減少する場合、$\Gamma$-極限がホモジナイゼーションによる予測よりも厳密に小さくなる可能性があることを指摘している。この「稀な事象領域」（媒体の確率的に低い局所的構成がエネルギーを下げる領域）は、対となる論文 [49] の主題である。本研究は、次元 $d=1$ のランダム・チェッカーボード・モデルにおいて、導出された条件が鋭いことを証明している。

• 周期および準周期媒体： 著者らは、周期および一様準周期（Besicovitch 空間 $B_\infty$）媒体に対する無条件のホモジナイゼーション結果を証明している（系2）。これらの設定では、補正関数と振動の収束は空間的に一様であり、これは $\delta(\epsilon)/\epsilon \to 0$ である限り、減少率に関わらず、どのような $\delta(\epsilon)$ の列に対してもホモジナイゼーションが成立することを意味する。

• ほとんど確実な収束： 大偏差の確率に関するより強い可積分条件の下で（系1）、収束は数列に対する確率収束からほとんど確実な（almost-sure）収束へとアップグレードされる。

• 技術的ツール： 本論文は、確率的な $\Gamma$-収束のための計量 $d_\Gamma$ を導入し、必要な減衰率を定量化するために、最新の定量的確率的ホモジナイゼーション技術（具体的には Gloria, Neukamm, Otto [38] による最小半径および劣線形性の推定）を利用している。

意義
本論文は、相転移モデルにおける微視的なヘテロジェニティのスケールとメゾスコピックな界面幅の相互作用を厳密に特徴付けている。これは、$\delta \ll \epsilon$ の領域において、ホモジナイゼーションが自動的に起こるわけではないことを明らかにしている。むしろ、界面が鋭くなる前に媒体を「平均化」するためには、ヘテロジェニティのスケールが十分に小さいことが必要である。

その意義は以下の点にある：

1. 既存の結果の一般化： 量的な混合条件を必要とせずに、一般的な定常エルゴード的設定へと既知の周期ホモジナイゼーションの結果を拡張している。
2. 閾値の特定： ホモジナイゼーション領域と稀な事象領域を分ける確率的閾値（$Sub$および$Osc$ 場を介して）を明示的に特定している。
3. 構造化された媒体に対する無条件の結果： 周期および一様準周期媒体においては、「稀な事象」現象は発生せず、スケールの分離の具体的な速度に関わらず（$\delta \ll \epsilon$ である限り）ホモジナイゼーションが堅牢であることを示している。

著者らは、これらの結果がスカラーの場合に特有であり、De Giorgi-Nash-Moser 推定のような（ベクトル値の設定では利用できない可能性のある）手法に依存していることを強調している。本研究は、2編からなる論文シリーズの第1部であり、対となる論文 [49] が、反例と稀な事象のメカニズムの詳細を記述している。