Revisiting multi-phase variational problems: A Muckenhoupt weight approach

技術要約：多相変分問題の再考：マックノープ重みによるアプローチ

問題設定
本論文は、以下の形式の多相エネルギー汎関数に関する正則性理論を調査している：
$$\mathcal{F}(v, \Omega) = \int_{\Omega} \left( |\nabla v|^p + \sum_{i=1}^N a_i(x)|\nabla v|^{p_i} \right) dx,$$
ここで、$\Omega \subset \mathbb{R}^n$ ($n \geq 2$) は有界開集合であり、$1 < p \leq p_1 \leq \dots \leq p_N < \infty$ であり、$a_i(x)$ は非負の変調係数である。この汎関数は、異なる材料成分の幾何学的分布を決定する係数 $a_i(x)$ を持つ、複数の成長相（growth phases）を持つ複合材料をモデル化している。関連するオイラー＝ラグランジュ方程式は、係数が消失する場合や勾配が大きくなる場合において、極めて非一様かつ退化した楕円型性を呈する。

手法の転換と動機
このような汎関数（二相ケース $N=1$ を含む）に対する従来の正則性結果は、変調係数 $a_i(\cdot)$ がヘルダー連続（$C^{0,\alpha}$）であり、特定の成長ギャップ条件（例：$p_i \leq p + \alpha_i p/n$）を満たすという構造的仮定に依存してきた。これらの条件は、ラブレントイェフ現象（Lavrentiev phenomenon）の不在を保証し、デ・ジョルジの反復スキームの構築を可能にするものである。

著者らは、古典的なヘルダー連続性の仮定を、係数 $a_i$ が適切なマックノープ重みクラス（$a_i \in \mathcal{A}_{p_i}$）に属するという条件に置き換えることで、明確に異なる構造的枠組みを提案している。この転換は、強異方性材料における係数が、ヘルダー連続性を満たさないもののマックノープの設定内では許容されるような、不連続性や特異性（例：べき乗型や対数型の特異性）を示す可能性があるという物理的な実態に基づいている。マックノープ条件は、重み付き空間におけるハーディ・リトルウッド最大作用素の有界性に関する必要十分な基準を提供しており、これは密度議論において極めて重要である。

主要な貢献と手法
本論文は、マックノープ仮定の下でのこれら多相汎関数の正則性理論を、以下の技術的ステップを通じて展開している：

1. ラブレントイェフ現象の不在： 著者らはまず、汎関数に関連する自然なムシラエク・オルリッチ・ソボレフ空間 $W^{1,H}(\Omega)$ において滑らかな関数が稠密であることを確立する。これは、マックノープ係数によって定義される重み付き空間におけるハーディ・リトルウッド最大作用素の有界性を証明することによって達成される。この密度結果はラブレントイェフ・ギャップを排除し、自然な空間におけるエネルギーの下限が滑らかな関数上の下限と一致することを保証する。

2. 高次可積分性（定理 A）： 精緻化されたゲリング型の議論を用いることで、本論文は局所極小値のエネルギー密度 $H(x, |\nabla u|)$ が高次可積分性（$L^{1+\delta_0}_{loc}$）を持つことを証明する。これは、極小値に関する逆ヘルダー不等式を確立することに基づいている。この不等式は、カチョリ型評価、多相構造に適応させたソボレフ＝ポアンカレ不等式、およびマックノープ重みの自己改善特性を組み合わせることによって導出される。

3. 局所有界性（定理 B）： 高次可積分性を基盤として、著者らは極小値の局所有界性（$L^\infty_{loc}$）を確立する。これはデ・ジョルジ型の反復スキームを介して達成される。重要な構成要素は、非同次的な成長と重み付き係数を考慮しつつ、多相エネルギー密度を用いて極小値の振動を定量化する特殊なレベルセット不等式の導出である。

4. ヘルダー連続性（定理 C）： 極小値の局所ヘルダー連続性は、より小さな球における振動の減衰を示すことで証明される。これには、先に確立された $L^\infty$ 境界とマックノープ重みの構造的性質を活用し、有界性と連続性の性質を橋渡しする特殊なデ・ジョルジ型レベルセット不等式が含まれる。

5. ハーナック不等式（定理 D）： 本論文は、非負の局所極小値に対するハーナック不等式を証明している。これは、局所的な上限が局所的な下限によって制御されることを述べている。この結果は、弱ハーナック不等式（下限の推定）と上限の推定を組み合わせることで導出される。係数の不規則性により、証明は極めて非自明であることが記されており、二つの片側境界を繋ぐために、重み付き評価とスケーリング議論を精緻に組み合わせる必要がある。

主要な結果

• 定理 A： 局所極小値は $H(\cdot, |\nabla u|) \in L^{1+\delta_0}_{loc}(\Omega)$ を満たす（ある $\delta_0 > 0$ に対して）。
• 定理 B： 局所極小値は局所有界である（$u \in L^\infty_{loc}(\Omega)$）。また、$L^\infty$ ノルムと局所エネルギーを関連付ける定量的な評価を与える。
• 定理 C： 局所極小値は局所ヘルダー連続である（$u \in C^{0,\alpha}_{loc}(\Omega)$）。
• 定理 D： 非負の局所極小値はハーナック不等式を満たす：$\sup_{B_r} u \leq C \inf_{B_r} u$。

意義と主張
本論文は、非一様楕円型変分問題における極小値の定性的挙動を理解するための新しい枠組みを提供すると主張しており、これは既存の文献を補完するものである。係数の古典的なヘルダー連続性を超えることで、著者らは、測度ゼロの集合上で消失または発散する可能性のある、より広範な不規則な係数を扱うことができる。

最も注目すべき点として、本論文は、マックノープ変調係数を持つ多相設定における非負の局所極小値に対するハーナック不等式の証明が、この種のものとしては初の成果であることを主張している。この結果は、複数の成長相と特異な重みの相互作用によって楕円型比が退化または爆発し得る設定において、極小値の局所的な挙動を制御するための新しい定量的なツールを提供する。本研究は、スケール不変性と同次性の欠如が課題となる非標準的な成長問題における正則性の理解を広げることに貢献している。