Homogenization for the $p$-Laplacian in a $d$-dimensional ball perforated along the unit sphere: the critical case $p=d$

技術要約：単位球面沿いに穿孔された $d$ 次元球における $p$-ラプラシアンの均質化（臨界ケース $p=d$）

問題設定
本論文では、$\rho > 1$ である $B(0, \rho) \setminus \Gamma_\varepsilon \subset \mathbb{R}^d$ という穿孔された領域における $p$-ラプラシアンの境界値問題に対するペロン解 $u_\varepsilon$ の漸近挙動を調査している。領域は、単位球面 $S^{d-1}$ の近傍に分布する多数の小さなコンパクトな空洞 $\Gamma_\varepsilon$ によって穿孔されている。空洞は、スケール $\varepsilon$ で球面上に漸近的に等分布している「アンカー」$S(\varepsilon)$ を中心としている。各空洞は、コンパクト集合 $K_s$ のスケーリングされたコピー $s + \alpha(\varepsilon)\varepsilon K_s$ である。ここで、スケーリング因子は $\alpha(\varepsilon) \to 0$ を満たす。

境界条件は、$u_\varepsilon = 1$ （$\Gamma_\varepsilon$ 上）、$u_\varepsilon = 0$ （$\partial B(0, \rho)$ 上）である。本研究は、次元が指数と一致する臨界ケース $p = d > 1$ に焦点を当てている。このケースは、関連する文献で以前に分析された劣臨界（sub-critical, $p < d$）および超臨界（super-critical, $p > d$）のレジームとは異なる。臨界ケースにおいて、空洞とバルク・ポテンシャルの間の相互作用は対数容量メカニズムによって支配され、これは空洞のサイズにおける指数的な臨界スケーリングを導く。

手法
著者らは、$d$-調和的設定（$p=d$）に適合した変分法、容量評価、および比較原理の組み合わせを用いている。

1. スケーリングと臨界ウィンドウ： 著者らは、パラメータ $\tau = \lim_{\varepsilon \downarrow 0} [\varepsilon \log(1/\alpha(\varepsilon))]^{-1}$ を通じて臨界スケーリング・レジームを特定している。これは、空洞のサイズが $\alpha(\varepsilon) \approx \exp(-1/(\tau\varepsilon))$ のように振る舞うことを意味する。パラメータ $\tau \in [0, \infty]$ は、解のマクロな挙動を決定する。
2. アンザッツ（Ansatz）の構成： 2つの近似関数（アンザッツ）が構成される：
   • バルクの $d$-調和ポテンシャル $U_\rho$（定数 $A$ によってスケーリングされたもの）と局所的な径方向のバンプの和を組み合わせた、明示的な径方向アンザッツ $u_\varepsilon^A$。
   • 径方向のバンプを個々の空洞の正確な $d$-容量的ポテンシャル $V^s_R$ に置き換えた、形状適応型アンザッツ $\hat{u}_\varepsilon^A$。
3. エネルギー最小化： 解析の中核は、$d$-エネルギー汎関数 $E(v) = \int |\nabla v|^d$ の最小化に置かれている。著者らはアンザッツ関数の漸近エネルギーを導出し、全エネルギーがパラメータ $A$ に依存する汎関数 $\phi_\tau(A)$ に収束することを示す。最適な係数 $A^*$ は、この汎関数の最小化子として特定される。
4. 局所評価と分離：
   • 局所エネルギー境界： 「良質なアンカー／劣悪なアンカー」の分類と局所振動評価（補題 3.1–3.3）を用いることで、解が単位球の近くの球面シェル上で定数値に近いことを確立している。
   • 分離定理： $p$-ラプラシアン（$p=d$）に関する重要な技術的ツール（定理 6.1）として、空洞と単位球の間の領域における調和関数の振動を抑える分離定理がある。これは、空洞の影響が球面から急速に減衰することを証明するものである。これは、最大値原理と特定の障壁構成に依拠している。
5. 収束の証明： 著者らは、真の解 $u_\varepsilon$ が最適な係数 $A^*$ を持つアンザッツに、$L^\infty$ ノルムおよびソボレフ空間 $H^{1,d}_0$ の両方で収束することを証明している。これは、$u_\varepsilon$ のエネルギーをアンザッツのエネルギーと比較し、勾配の差を制御するためにクラークソンの不等式を利用することによって達成される。

主要な結果
著者らは、等分布アンカー（H1）、空洞の一様な正の容量（H2）、および臨界スケーリング（H3）の仮定の下で、以下の主要な定理を確立している。

1. 均質化極限（定理 1.1）： $\varepsilon \to 0$ のとき、解 $u_\varepsilon$ は $\bar{B}(0, \rho) \setminus S^{d-1}$ のコンパクト部分集合上で、スケーリングされた径方向ポテンシャルに一様収束する：
   $$u_\varepsilon(x) \to A^* U_\rho(x)$$
   ここで $U_\rho(x) = \min\{1, 1 - \log|x|/\log\rho\}$ は、単位球の $d$-調和ポテンシャルである。スケーリング因子 $A^*$ は $\tau$ によって明示的に決定される：
   $$A^* = \begin{cases} \frac{\tau \sigma^{1/(d-1)} \log \rho}{1 + \tau \sigma^{1/(d-1)} \log \rho} & 0 \le \tau < \infty \\ 1 & \tau = \infty \end{cases}$$
   ここで $\sigma$ はアンカーの密度に関連する。穿孔集合の $d$-容量は $\omega_{d-1} (\log \rho)^{-(d-1)} (A^*)^{d-1}$ に収束する。

2. 強および一様近似（定理 1.2）： 解 $u_\varepsilon$ は、形状適応型アンザッツ $\hat{u}_\varepsilon^{A^*}$（および結果として明示的な径方向アンザッツ $u_\varepsilon^{A^*}$）に、$L^\infty$ ノルムおよび $H^{1,d}_0$ ノルムの両方で収束する。これにより、アンザッツがマクロな極限だけでなく、空洞付近のミクロなプロファイルをも捉えていることが確認される。

意義と主張
本論文は、超曲面上に集中した穿孔がある場合の $p$-ラプラシアンの臨界ケース $p=d$ における均質化問題を解決したと主張している。

• 臨界スケーリング： 劣臨界ケース（$p < d$）では臨界スケールが代数的であるのに対し、著者らは $p=d$ の場合、臨界スケールが指数的であることを示している。これは、有効容量が対数スケーリングパラメータ $\tau$ に依存するという、質的に異なる極限挙動をもたらす。
• 共形不変性： 著者らは、臨界ケースにおいては、$d$-エネルギーの共形不変性により、空洞の具体的な幾何学的詳細（一様な非退化性を超えたもの）が主要な漸近挙動に影響を与えないことを指摘している。これは、空洞の具体的な容量値が必要とされる劣臨界ケースとは対照的である。
• 明示的な構成： 論文は、エネルギーおよび点値ノルムの両方において高い精度で解を近似する明示的なアンザッツを提供しており、ミクロな空洞構造からマクロな均質化ポテンシャルへの遷移を完全に記述している。

本研究は、著者らによる以前の研究（特に劣臨界ケース $p < d$ に関するもの）を拡張し、境界となる指数 $p=d$ の空白を埋めるものであり、消失する穴が球上に分布している場合に、臨界次元における非線形楕円方程式のグローバルな解にどのように影響するかを理解するための厳密な枠組みを提供している。