A mixed local-nonlocal Hénon problem in $\mathbb{R}^N$

技術要約：$\mathbb{R}^N$ における混合局所・非局所ヘノン問題

問題設定
本論文は、$\mathbb{R}^N$ 全空間における、混合局所・非局所作用素によって駆動されるヘノン型方程式の正の径方向解の存在性、正則性、および非存在性を調査するものである。問題は次のように定式化される：
$$\begin{cases} \mathcal{L}_{s,p,\gamma} u + |x|^\beta |u|^{p-2}u = |x|^\alpha |u|^{q-2}u & \mathbb{R}^N \text{ 内で}, \\ u > 0, \end{cases}$$
ここで、作用素 $\mathcal{L}_{s,p,\gamma}$ は、局所的な $p$-ラプラシアンと分数 $p$-ラプラシアンの凸結合として定義される：
$$\mathcal{L}_{s,p,\gamma} u := \gamma(-\Delta_p)u + (1-\gamma)(-\Delta_p)^s u.$$
ここで、$\gamma \in [0, 1]$ は混合パラメータ、$s \in (0, 1]$ は分数次数（$s=1$ は局所的なケースに対応）、$p > 1$ である。この方程式には、純粋なヘノン方程式では通常、非存在を招く原因となる「無限遠での質量の喪失」を防ぐため、左辺に閉じ込めポテンシャル $|x|^\beta |u|^{p-2}u$ が含まれている。右辺にはヘノン重み $|x|^\alpha$ が備わっている。

手法
著者らは、径方向関数に特化した関数解析的枠組みの中で変分法を用いる。

1. 関数設定： 問題は、径方向関数からなる重み付き分数ソボレフ空間 $W^{s,p}_{\beta, \text{rad}}(\mathbb{R}^N)$ において研究される。関連するエネルギー汎関数は以下の通りである：
   $$J(u) = \frac{\gamma}{p}\|\nabla u\|_p^p + \frac{1-\gamma}{p}[u]_{s,p}^p + \frac{1}{p}\|u\|_{p,\beta}^p - \frac{1}{q}\|u\|_{q,\alpha}^q.$$
2. コンパクト性： 非有界領域における中心的な技術的課題は、コンパクトな埋め込みの欠如である。著者らは、重み付き径方向空間 $W^{s,p}_{\beta, \text{rad}}(\mathbb{R}^N)$ から重み付きルベーグ空間 $L^q_\alpha(\mathbb{R}^N)$ へのコンパクトな埋め込みを確立する。これは、Strauss の径方向補題（径方向関数の減衰評価を与える）と、一般化された Rother 型の補題、および重み $\alpha$ と $\beta$ の間の特定の相互作用に関する評価を組み合わせることで達成される。
3. 存在性： $J$ の非自明な臨界点の存在は、Mountain Pass 型の定理（具体的には Brezis-Nirenberg 版）を用いて証明される。証明では、幾何学的条件（ゼロにおける局所最小および汎関数が負になる経路）の検証、および確立されたコンパクトな埋め込みに基づく Palais-Smale 条件の検証が行われる。
4. 正則性： 混合作用素と重み付きの設定に適応させた De Giorgi 反復スキームを通じて、弱解の有界性が確立される。
5. 非存在性： 超臨界指数に対する非存在の結果を導出するために、Pohozaev 型の恒等式が利用される。これには、スケーリング引数と、勾配の重み付き制御を必要とする非有界領域に対する一般化された Pohozaev の結果が含まれる。

主要な貢献と結果

• 存在定理 (Theorem 1.1): 著者らは、指数 $q$ が劣臨界範囲 $p < q < p^*_{\gamma,s,\alpha}$ にある条件下で、径方向の弱解が存在することを証明する。ここで $p^*_{\gamma,s,\alpha}$ は、混合作用素と重みに適応した臨界ソボレフ指数である。決定的なことに、パラメータが以下の不等式を満たす場合に存在が保証される：
  $$\alpha - \beta + (q-p)\left(1 - \frac{N}{p}\right) < 0.$$
  この結果は、純粋に局所的な（$\gamma=1$）または純粋に分数的な（$\gamma=0$）ヘノン方程式に関する従来の存在結果を、非有界領域における混合ケースへと拡張するものである。

• 正則性 (Theorem 1.2): 存在定理から得られる任意の径方向弱解 $u$ は、本質的に有界（$u \in L^\infty(\mathbb{R}^N)$）であることが示される。これは、重みの特異性と非局所的作用素を考慮すると、非自明な結果である。

• 非存在の閾値 (Theorem 1.3): 本論文は、$p^*_{\gamma,s,\alpha}$ が存在性の鋭い閾値として機能することを確立している。具体的には、$q > p^*_{\gamma,s,\alpha}$ の場合、$\tilde{X}(\mathbb{R}^N)$（重み付き勾配制御 $|\nabla u(x)||x| \in L^r$ を持つ有界解として定義される）において解は存在しない。これにより、臨界指数が適切な減衰を持つ有界解の存在に対する障壁となることが確認される。

意義と範囲
本論文は、ヘノン型方程式の理論を有界領域および純粋に局所的または分数的な設定から、より複雑な $\mathbb{R}^N$ 全空間における混合局所・非局所作用素の設定へと拡張することを目的としている。

• 一般化： 著者らは、有界領域における Ni の研究、およびその後の分数ヘノン方程式に関する研究（例：[2, 6, 14, 20]）を統合し、一般化している。
• パラメータ範囲： 著者らは、導出された条件 (1.6) が、$p=2$ かつ $\beta=2$ の特定のケースにおいて [14] で得られたパラメータ範囲を改善していることを指摘している。
• 手法の厳密性： 本研究は、混合作用素のための厳密な関数的枠組みを提供し、径方向の対称性と重み付きノルムの相互作用を通じて、非有界領域において変分法に必要なコンパクト性が回復できることを示している。

本論文は、新しい物理モデルや実験的応用を提案するものではなく、厳密に楕円型問題の数学的解析に焦点を当てており、この種の混合作用素の解の存在と性質に関する理論的基礎を提供している。