Liouville-type theorems and existence of solutions for quasilinear elliptic problems

技術要約：準線形楕円問題におけるリウヴィル型定理と解の存在性

問題設定
本研究は、上半空間 $\mathbb{R}^N_+$ 上で定義された、ノイマン境界条件を持つ不定形な準線形楕円問題のクラスを調査するものである。モデル問題 $(P)$ は次のように与えられる：
$$\begin{cases} -\text{div}(\rho(x)|\nabla u|^{p-2}\nabla u) = a(x)|u|^{q-2}u - b(x)|u|^{s-2}u, & \text{in } \mathbb{R}^N_+, \\ |\nabla u|^{p-2}\nabla u \cdot \nu = 0, & \text{on } \mathbb{R}^{N-1}, \end{cases}$$
ここで、$\rho, a, b$ は $\mathbb{R}^N_+$ における正の重み関数であり、$1 < p \le N$ であり、指数 $q, s$ は臨界ソボレフ指数 $p^*$ に対して特定の劣臨界または超臨界の制約を満たす。この問題の性質は、正の項 $a(x)|u|^{q-2}u$ と負の項 $b(x)|u|^{s-2}u$ の間の競合によって支配される。著者らは、重み関数が必ずしも球対称ではない場合を具体的に扱っており、そのためには新しい解析手法が必要となる。

手法
アプローチは、重み付きソボレフ空間の枠組み内での変分法に基づいている。著者らは、空間 $E$ を、ノルム $\|u\| = (\int_{\mathbb{R}^N_+} \rho(x)|\nabla u|^p dx)^{1/p}$ の下での $C^\infty_\delta(\mathbb{R}^N_+)$（上半空間に制限された滑らかな関数）の閉包として定義する。

手法の核心は、以下の3つの主要な構成要素からなる：

1. 新しい重み付き不等式： 著者らは、ノイマン条件を伴う上半空間に特化した、新しいハーディ型の不等式および関連する重み付きソボレフ埋め込みを開発する。これは、境界項を除去できなかった（K. Pflügerの不等式のような）以前の研究 [18] の限界に対処するものである。
2. ファイバリング法： 解の存在性を確立するために、著者らはファイバリング法を用いる。これには、関数 $I(u) = \frac{1}{p}\|u\|^p - \frac{1}{q}A(u) + \frac{1}{s}B(u)$ を、光線 $ru$ に制限して解析し、結果として得られるファイバー写像の臨界点を調べるプロセスが含まれる。
3. ア・プリオリ評価と矛盾： 非存在（リウヴィル型）の結果については、新しいハーディ型の不等式を用いて、精密なア・プリオリ評価を導出する。著者らは、補助関数 $G(r, v)$ の最大値を用いた矛盾による議論を利用し、重みの比率と指数の特定の条件下において、自明な解しか存在しないことを示す。

主な貢献

• 新しいハーディ型不等式： 本論文は、上半空間上の $C^\infty_0(\mathbb{R}^N)$ の関数に対する新しいハーディ型不等式（定理 2.10）を確立している。極めて重要な点として、著者らはこれらの不等式の正確な最適定数を決定しており、先行文献 [18] で提起された未知の定数に関する問いに対して部分的な回答を与えている。
• 重み付きソボレフ埋め込み： ノイマン境界条件と特定の重み $\rho(x) \ge \rho_0(1+x_N)^\gamma$ を扱うために不可欠な、空間 $D^{1,p}_\gamma(\mathbb{R}^N_+)$ に対する新しい重み付きソボレフ埋め込みが開発された。
• $p=N$ への拡張： 解析は、$p < N$ の標準的なケースを超えて、$p=N$ という極端なシナリオも組み込んでいる。
• ノイマン境界問題の解決： 本研究は、[18] におけるロビン境界条件の手法がノイマン問題には不十分であることを示し、新しい不等式を用いた修正された枠組みを提供している。

主な結果

1. リウヴィル型定理（非存在性）：

   • $p$-劣線形ケース ($1 < s < q < p$)： 仮定 (H0) および定数 $C_{p,\gamma}$ を含む $a/b$ の比に関する特定の境界の下で、この問題は自明な弱解のみを持つ（定理 2.1）。
   • $p$-超線形ケース ($p < q < s$)： 同様に、$b \in K_b$ であり、$a/b$ の比が $\eta(p, q, s)$ を含む特定の不等式を満たす場合、自明な解のみが存在する（定理 2.3）。これらの結果は $p < N$ と $p = N$ の両方で成立する。

2. 解の存在性：

   • $p$-超線形ケース： 重み $a$ および $b$ がコンパクト性の条件を満たすとき、$p < s < q < p^*$ または $1 < s < p < q < p^*$ において、非自明で非負の弱解が存在する（定理 2.5）。
   • $p$-劣線形ケース： 重みの適切な可積分性と減衰条件の下で、$1 < q < s < p$ または $1 < q < p < s < p^*$ において、非自明な解が存在する（定理 2.6）。
   • 補完的なケース： 関数空間の特定の部分集合 $D_1$ において、関数挙動が非存在領域とは異なるケース（$p < q < s < p^*$）に対する第3の存在結果（定理 2.7）が確立されている。

意義と主張
本論文は、従来の技術が境界項の問題により失敗した、非有界領域における不定形な準線形楕円問題に対する厳密な変分枠組みを提供すると主張している。関連するハーディ型不等式の最適定数を導出することで、著者らは以前よりも精密なア・プリオリ評価を提供している。結果は $p < N$ と $p = N$ の扱いを統一しており、また非対称な重み関数を明示的に扱うことで、この種のクラスの問題に対する存在定理および非存在定理の適用範囲を広げている。著者らは、Remark 2.9 および Section 6 に概説されているように、追加のポテンシャル項や境界条件を含むより一般的な問題にも、彼らの結果が拡張可能であると述べている。