Existence and summability of solutions to nonlinear X-elliptic equations with measurable coefficients

技術要約：可測係数を持つ非線形X楕円方程式の解の存在と可積分性

問題設定
本論文は、可測係数を持ち、ゼロ・ディリクレ境界条件が付随する、非線形な退化楕円方程式のクラスにおける弱解の存在と正則性（具体的には可積分性）を扱う。方程式は、有界領域 $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) において定義され、局所リプシッツ連続なベクトル場 $X = \{X_1, \dots, X_d\}$ の族を用いる。主要な作用素は以下の形式をとる：
$$X^* a(x, u, Xu) = F(x, u, Xu) + X^* G(x, u)$$
ここで、$X^*$ はベクトル場作用素 $X$ の形式的随伴作用素であり、$Xu$は$X$-勾配を表す。係数$a(x, s, \xi)$は、特定の成長および単調性の条件を満たすカラテオドリの関数であるが、$x$に関して連続である必要はない。右辺には、ソース項$F$と、発散形式の項$X^* G(x, u)$ の両方が含まれる。

本研究は、一様楕円作用素（$X = \nabla$ の場合）の理論を、ユークリッド勾配ではなくベクトル場 $X$ に基づいて定義される楕円性を備えた劣楕円（subelliptic）の設定へと一般化するものである。この設定には、カルノー群上のサブ・ラプラシアンや、ヘルメルト（Hörmander）型のベクトル場に関連する作用素が含まれる。

手法
手法は、ベクトル場 $X$ に適応したソボレフ空間 $W^{1,p}_0(\Omega, X)$ 内の関数解析に基づいている。解析は、ドブリング条件（doubling condition）とポアンカレ不等式を備えた、カルノー・カロテオドリ計量に基づく幾何学的性質、特に「同次次元」$Q$ を用いて行われる。

1. 存在論: 本論文は、非線形 $X$-楕円的な文脈において古典的なレレイ・リオン（Leray-Lions）の定理を拡張する。中心的な戦略は、関連する作用素 $A: W^{1,p}_0(\Omega, X) \to (W^{1,p}_0(\Omega, X))'$ が強コアシーブ（coercive）かつ擬単調（pseudomonotone）であることを証明することである。

   • **強コアーシビティ（Coercivity）**は、構造的仮定 $a(x, s, \xi)\cdot \xi \ge \alpha |\xi|^p$ とソボレフ埋め込みを用いて確立される。
   • 擬単調性は、列の収束を分析することによって示される。重要な技術的ステップは、列 $u_n$ が $u$ に弱収束し、作用素が特定の極限条件を満たすとき、$X$-勾配 $Xu_n$ が $Xu$ にほとんど至る所（almost everywhere）で収束することを証明することである。これは、$a$ の $\xi$ 変数に関する厳密な単調性とネミツキー（Nemytskii）合成定理に依拠している。
   • 存在の結果は、擬単調作用素の全射性定理を通じて得られる。これにより、作用素が厳密に単調でない場合（作用素が解 $u$ に依存する場合によく見られる特徴）でも、解の存在が保証される。

2. 正則性と可積分性: 存在が確立された後、本論文は、データの可積分性（右辺項の可積分性）が解 $u$ の可積分性にどのように影響するかを調査する。

   • 解析は、成長指数 $p$ と同次次元 $Q$ の関係に基づいてケースを区別する。
   • ケース $p < Q$: 著者らは、テスト関数として $G_k(u)$ （切断関数）や $T_k(u)|T_k(u)|^{p(\gamma-1)}$ を用い、ア・プリオリ推定を導出する。これらの推定は、ソボレフ不等式およびレベル集合の測度の減衰に関するスタンプキア（Stampacchia）の補題と組み合わされ、有界性または改善された $L^s$ 可積分性を証明するために用いられる。
   • ケース $p = Q$: 解析には、$W^{1,Q}_0(\Omega, X)$ 内の関数に対して指数関数的な可積分性を提供するトルディンガー（Trudinger）の不等式を利用する。これにより、データが $L^m$ ($m > 1$) である場合でも、解の有界性の証明が可能となる。
   • ケース $p > Q$: 解はモレー（Morrey）型の埋め込みにより局所的なヘルダー連続性を持ち、境界条件は古典的な意味で満たされる。

主要な貢献と結果

1. レレイ・リオンの定理の拡張: 本論文は、カラテオドリ条件の下で、非線型問題 (2.1) の弱解 $u \in W^{1,p}_0(\Omega, X)$ の存在を証明する。これは、線形 $X$-楕円作用素（例：[20]）に関する先行研究を、主部が単に擬単調である非線形の場合へと拡張するものである。

   • 注記（一意性について）: 本論文は、作用素が $u$ に依存する場合（作用素が $a(x, Xu)$のみに依存しない場合）、単調性が厳密ではないため、一般的な非線形ケースでは一意性が保証されないことを明記している。一意性は、作用素が$Xu$のみに依存する場合（すなわち$a(x, Xu)$）にのみ回復される。

2. 可積分性の向上: 本論文は、ソース項の可積分性の増加が、解の可積分性の増加につながることを確立している。

   • データ $f \in L^m(\Omega)$ で $m > Q/p$ の場合、解は有界（$u \in L^\infty(\Omega)$）であることが証明される。
   • データ $f \in L^m(\Omega)$ で $p^* \le m < Q/p$ の場合、解は指数 $s = [m^*(p-1)]^*$ を持つ $L^s(\Omega)$ に属する。
   • 発散形式のデータ（$X^*F$）についても同様の結果が導かれる。
   • これらの結果は、一様楕円方程式（例：[23], [5]）で知られている正則化効果を、劣楕円の設定へと一般化するものである。

3. データ空間の精緻化: 本論文は、特に境界となる $p=Q$ の場合において、解の存在のための双対空間の要件を明確にしている。もし $f \log(1+|f|) \in L^1(\Omega)$ であれば、$f$ は $W^{1,Q}_0(\Omega, X)$ の双対に属することを示すが、この条件だけでは一般的な非線形ケースにおいて解の有界性を保証しないことも述べている。

意義と主張
本論文は、可測係数を持つ非線形退化楕円方程式に対する厳密な存在基準を提供することを主張しており、線形劣楕円理論と非線形一様楕円理論の間の空白を埋めるものである。その意義は以下の点にある：

• 一般化: 係数の滑らかさを要求することなく、ヘルメート型の条件を満たすベクトル場の族によって定義される作用素に対して、強力なレレイ・リオンの枠組みを適用することに成功した。
• 正則性の転移: 古典的な楕円理論で見られる「正則化効果」（より良いデータがより良い解をもたらす現象）が、ユークリッド次元 $N$ ではなく同次次元 $Q$ によって決定される指数に従いつつも、劣楕円の設定においても持続することを確認した。
• 最適性: 著者は、主部の単調性の仮定が作用素の擬単調性にとって必要であると考えており、存在の結果はその点において最適であるとしている。

本研究は、新しい応用や実験的手法を提案するものではなく、むしろサブ・リーマン幾何学や関連分野から生じる広範なクラスの退化偏微分方程式を分析するための理論的基礎を固めるものである。