Another look at elliptic homogenization

「Another Look at Elliptic Homogenization」技術要約

問題設定
本論文は、分数パラメータ $s$ が 1 に近づき、かつ振動スケール $\varepsilon$ が 0 に近づく際の、正規化された $(s, 2)$-ガリアルド（Gagliardo）セミノルムを持つ非局所汎関数の漸近挙動を調査している。具体的には、以下の汎関数を解析している：
$$F_{\varepsilon, s}(u) = (1 - s) \iint_{\Omega \times \Omega} a\left(\frac{x}{\varepsilon}\right) \frac{|u(x) - u(y)|^2}{|x - y|^{d+2s}} \, dx \, dy$$
ここで、$\Omega \subset \mathbb{R}^d$ は有界開集合であり、$a$ は 0 から離れた正の範囲にある 1 周期連続関数である。また、$s = s_\varepsilon \in (0, 1)$ である。

中心となる問いは、$\varepsilon \to 0$ かつ $s \to 1^-$ となる際の $F_{\varepsilon, s}$ の $\Gamma$-極限を決定することである。定数係数の場合、$s \to 1$ の極限がディリクレ積分を与えること（Bourgain, Brezis, Mironescu; Ponce）、および $s=1$ で固定した場合に $\varepsilon \to 0$ の極限が均質化されたディリクレ積分を与えることは既知であるが、これら 2 つの極限の相互作用は非自明である。本論文は、$s$ の 1 への収束が振動スケールに対して十分に速い「劣臨界（subcritical）」領域に焦点を当てている。

手法
著者らは、$L^2(\Omega)$ 収束に関する $\Gamma$-収束の理論を用いている。証明は、以下の仮定の下で $\Gamma$-下限（$\Gamma$-liminf）および $\Gamma$-上限（$\Gamma$-limsup）の不等式を確立することに分割される：
$$\lim_{\varepsilon \to 0} \frac{1 - s_\varepsilon}{\varepsilon^2} = 0$$

1. 局在化と離散化 (Liminf):

   • 補題 3 (局在化): 著者らはまず、$(1-s_\varepsilon)/r_\varepsilon^2 \to 0$ となるような $r_\varepsilon$ を選択すれば、$|x-y| > r_\varepsilon$ である点 $x, y$ 間の相互作用は無視できることを示す。これにより、非局所的な積分を局所的な相互作用範囲へと簡約することが可能になる。
   • 幾何学的分解: 小さな相互作用範囲内での非局所項を扱うために、著者らは立方体を単体へと分解するクーン（Kuhn）の分解に基づく離散化議論を利用する。彼らは、Solci の手法を援用し、$\mathbb{R}^d$ における正規直交基底 $V$ の集合上でのパラメータ化を導入する。
   • 補助関数: これらの基底によって定義される格子上の区分的アフィン補助関数 $u^\rho_\varepsilon$ を構成する。これらの関数を基底の集合および相互作用半径にわたって平均化することで、関数 $W^{1,2}(\Omega)$ の元を復元する。
   • 均質化: 局所的な楕円型エネルギーの既知の均質化結果を利用することで、これらの補助関数のエネルギーが均質化されたディリクレ積分に収束することを示すことにより、下限を導出する。

2. 回復列 (Limsup):

   • アフィンおよび区分的アフィン関数: アフィン関数 $u(x) = \langle z, x \rangle$ に対して、著者らは $u_\varepsilon(x) = \langle z, x \rangle + \varepsilon \phi(x/\varepsilon)$ という形式の回復列を構成する。ここで $\phi$ は、均質化行列 $A_{\text{hom}}$ のセル問題を解く周期的な補正関数（corrector）である。
   • テイラー展開: 証明は、補正関数 $\phi$ の 1 次テイラー展開に依存している。条件 $1-s \ll \varepsilon^2$ は、展開の剰余項が $1/\varepsilon^2$ でスケールすること、そしてそれが因子 $(1-s)$ によって乗じられた際に消滅することを保証するために極めて重要である。
   • 稠密性: 区分的アフィン関数を用いた対角線論法による稠密性議論を通じて、結果を一般的な $W^{1,2}(\Omega)$ 関数へと拡張する。

主要な結果
主要定理（定理 1）は、もし $\lim_{\varepsilon \to 0} (1 - s_\varepsilon)/\varepsilon^2 = 0$ ならば、関数列 $F_{\varepsilon, s_\varepsilon}$ は以下の均質化されたディリクレ積分に $\Gamma$-収束することを述べている：
$$\Gamma\text{-}\lim_{\varepsilon \to 0} F_{\varepsilon, s_\varepsilon}(u) = \frac{\sigma_{d-1}}{2d} \int_\Omega \langle A_{\text{hom}} \nabla u, \nabla u \rangle \, dx$$
ここで $\sigma_{d-1}$ は単位球の表面測度であり、$A_{\text{hom}}$ は標準的な周期的均質化公式によって定義される均質化行列である。

本論文は、この劣臨界領域において、分数パラメータ $s$ と振動スケール $\varepsilon$ の影響が「分離」されることを確立している。この極限は、$s \to 1$ を先に行い（局所的な振動エネルギーを復元）、その後に $\varepsilon \to 0$ を行う（そのエネルギーを均質化する）ことと等価である。

意義と範囲
本論文は、分数パラメータが 1 に十分に速く接近する場合、$s \to 1$ と $\varepsilon \to 0$ の極限を分離することが妥当であるという形式的な直感を、厳密に正当化するものである。著者らは、$1-s \ll \varepsilon^2$ という条件が劣臨界ケースであることを明示している。彼らは、臨界ケース（$1-s \sim \varepsilon^2$）および超臨界ケースには、非局所から局所への均質化手順を含む、より複雑な手法が必要であり、それらは本研究では扱わないと述べている。

その貢献は、分数ソボレフ近似と古典的な楕円型均質化の間の溝を埋めることにあり、特定のスケーリング関係の下では、ガリアルド・セミノルムの非局所的な性質が、標準的な局所の場合と比較して均質化された極限を変えないことを示している。また、クーンの分解と直交基底上の積分を用いた下限の新しい証明手法を提供しており、著者らはこれが、定数係数の場合における Bourgain, Brezis, Mironescu の古典的な結果に対する代替的な証明を提供すると指摘している。