A topological approach to an elliptic problem

技術要約：楕円問題への位相幾何学的アプローチ

問題設定
本論文は、$p$-ラプラシアン、ポテンシャルの井戸、および特異性と臨界性の非線形性の組み合わせによって駆動される準線形楕円作用素を含む境界値問題を調査している。研究対象となる具体的な方程式は以下の通りである：
$$\begin{cases} -\Delta_p u + \mu V(x)|u|^{p-2}u = \beta|u|^{p^*-2}u + \lambda|u|^{-\gamma-1}u & \text{in } \Omega, \\ u = 0 & \text{on } \partial\Omega, \end{cases}$$
ここで、$\Omega \subset \mathbb{R}^N$ ($N \ge 3$) は滑らかな境界を持つ有界領域であり、$1 < p < N$ および $p^* = \frac{Np}{N-p}$ は臨界ソボレフ指数である。パラメータは $\mu, \beta, \lambda > 0$ および $0 < \gamma < 1$ を満たす。ポテンシャル $V \in L^\infty(\Omega)$ は非負であり、その零集合の内部 $\tilde{\Omega} = \text{int}(V^{-1}(0))$ は空ではない。

本問題は、主に二つの解析的な課題を提示している：

1. 臨界成長： 項 $|u|^{p^*-2}u$ は、ソボレフ埋め込みにおけるコンパクト性の欠如をもたらし、これは伝統的に集中コンパクト性原理（concentration-compactness principle）によって対処される困難さである。
2. 特異非線形性： 項 $|u|^{-\gamma-1}u$ は、ゼロ付近でのエネルギー汎関数に退化をもたらし、エネルギー汎関数をソボレフ空間 $W^{1,p}_0(\Omega)$ 全体で定義不能にする。

手法
著者らは、凹凸問題（concave-convex problems）に対してしばしば用いられる標準的な変分法（ネハリ多様体の分解など）とは異なる、位相幾何学的アプローチを採用している。核心となる手法は、コホモロジー指数と種数理論（genus theory）を用いた抽象的クリティカル・ポイント理論に基づいている。

1. 関数空間： 問題は、ノルム $\|u\|_\mu^p = \int_\Omega (|\nabla u|^p + \mu V(x)|u|^p) dx$ によって定義される重み付き空間 $W_\mu$ において分析される。この空間は、 $C_0^\infty(\Omega)$ の閉包であり、反射的バナッハ空間である。
2. クリティカル・ポイント定理：
   • Pereraの定理： 著者らは、複数の解の存在を確立するために、コホモロジー指数を用いたPereraによる定理を利用している。この定理により、特定の指数の対称集合に関連付けられたクリティカルな値 $c_k^*$ を特定することが可能となる。
   • Rabinowitzの対称的マウンテンパス定理： 無限個の解の存在を証明するために、著者らはRabinowitzの定理を用いており、これには汎関数が偶関数であること、パレ・スマイル（Palais-Smale）条件を満たすこと、および有限次元部分空間上で特定の幾何学的振る舞いを示すことが要求される。
3. 正則性解析： 特異性を扱うために、著者らはまず弱解が本質的に有界（$L^\infty$）であることを確立する。これは以下を通じて達成される：
   • 正の超解（supersolutions）に対するモゼ・イテレーション（Moser iteration）を介して導出された、弱ハーナック型不等式による、コンパクト部分集合上での正の下限の提供。
   • $L^\infty$ 有界性を証明するためのデ・ジアグリ（De Giorgi）型イテレーション。
   • 有界性が確立されると、特異項は局所的に有界となり、古典的な正則性結果（TolksdorfおよびLiebermanによるもの）を適用して、解を $C^{1,\alpha}_{loc}(\Omega)$ へとアップグレードすることが可能になる。

主要な結果
本論文は、弱解の存在と多重性に関する以下の主要な結果を確立している：

1. 大きな $\beta$ に対する多重性： 任意の $\beta \ge \beta^*$ に対して、問題は正のクリティカルな値を持つ $m$ 組の異なる弱解のペアを持つ。
   • 具体的には、$k \ge 2$ の場合、クリティカルなエネルギー $c_k^*$ を持つ無限個のクリティカル・ポイントが存在する。
   • $k=1$ の場合、ちょうど二つのクリティカル・ポイント $u$ と $-u$ が存在する。
2. 無限多重性： パラメータ $\beta > 0$ の値に関わらず、問題は無限個の解を持つ。
3. 正則性： すべての正の弱解 $u$ は、ある $\alpha \in (0,1)$ に対して $C^{1,\alpha}_{loc}(\Omega)$ に属する。これは、非線形項 $f(x) = \beta u^{p^*-1} + \lambda u^{-\gamma} - \mu V(x)u^{p-1}$ が $L^\infty_{loc}(\Omega)$ に属することを示すことにより、方程式を局所的に有界な右辺を持つ $p$-ラプラス方程式として扱うことで証明される。
4. 解集合の独立性： 著者らは、Rabinowitzの定理（有限次元のコンパクトな対称集合を用いる）によって得られる解の集合と、Pereraの定理（コホモロジー指数を用いる集合を用いる）によって得られる解の集合は、特定のエネルギーレベルにおいて複数の解が存在するため、たとえクリティカルなエネルギーレベルを共有していても、異なる可能性があることを指摘している。

意義と主張
本論文は、特異性と臨界性の両方の非線形性を組み合わせた楕辺問題に対して、位相幾何学的なツールを用いることで、解決のための位相幾何学的枠組みを提供することを主張している。これは、コンパクト性の欠如やゼロにおけるエネルギー汎関数の未定義性により、標準的な変分技法が困難に直面しやすい領域である。

• 方法論的貢献： ネハリ多様体の解析からコホモロジー指数理論へとシフトすることにより、著者らは、凹的な（特異な）効果と凸的な（臨界な）効果の間の競合を扱うための堅牢な手法を実証している。
• 正則性： 本研究は、特異項が存在する場合における弱解の存在と正則性の間のギャップを明示的に埋めており、特異性が解が局所的に $C^{1,\alpha}$ であることを妨げないことを証明している。
• 極限挙動： 抽象的な記述によれば、パラメータが8に吹け上がる（blow up）極限の場合、ポテンシャルの井戸の効果が無視可能となる別の問題の解が得られるが、この特定の極限に関する詳細な解析は、提供されたテキストの証明の主要な焦点ではない。

著者らは、特異的および臨界的な非線形性の相互作用を位相幾何学的ツールを通じて具体的に扱うことにより、半線形および準線形問題に関する先行研究（Ambrosetti-Brezis-Cerami、Giacomoniらによる研究を引用）の拡張として自らの研究を位置づけている。