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

技术摘要：$\mathbb{R}^N$ 中混合局部-非局部 Hénon 问题

问题陈述
本文研究了在整个空间 $\mathbb{R}^N$ 中，由混合局部-非局部算子驱动的 Hénon 型方程的正径向解的存在性、正则性及不存在性。该问题表述为：
$$\begin{cases} \mathcal{L}_{s,p,\gamma} u + |x|^\beta |u|^{p-2}u = |x|^\alpha |u|^{q-2}u & \text{in } \mathbb{R}^N, \\ u > 0, \end{cases}$$
其中算子 $\mathcal{L}_{s,p,\gamma}$ 定义为局部 $p$-Laplacian 与分数阶 $p$-Laplacian 的凸组合：
$$\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$，用以防止在无界区域中常见的质量损失现象，而这种现象通常会阻碍纯 Hénon 方程在无界域上的解的存在性。右侧则具有 Hénon 权重 $|x|^\alpha$。

研究方法
作者在针对径向函数的泛函分析框架内采用了变分法。

1. 泛函设定： 问题在径向函数的加权分数阶 Sobolev 空间 $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)$ 到加权 Lebesgue 空间 $L^q_\alpha(\mathbb{R}^N)$ 的紧嵌入。这是通过结合 Strauss 径向引理（提供径向函数的衰减估计）与广义 Rother 型引理，以及对权重 $\alpha$ 和 $\beta$ 之间相互作用的特定估计来实现的。
3. 存在性： 利用 Mountain Pass 型定理（具体为 Brezis-Nirenberg 版本）证明了 $J$ 的非平凡临界点。证明过程验证了其几何条件（零点处的局部极小值以及泛函变为负值的路径）以及 Palais-Smale 条件，后者的验证依赖于已建立的紧嵌入。
4. 正则性： 通过适用于混合算子和加权设置的 De Giorgi 迭代方案，建立了弱解的有界性。
5. 不存在性： 利用 Pohozaev 型恒等式推导出了超临界指数下的不存在性结果。这涉及缩放论证以及针对无界区域的广义 Pohozaev 结果，该结果需要对梯度进行加权控制。

主要贡献与结果

• 存在性定理 (Theorem 1.1)： 作者证明了在指数 $q$ 处于次临界范围 $p < q < p^*_{\gamma,s,\alpha}$ 下，存在径向弱解，其中 $p^*_{\gamma,s,\alpha}$ 是适配于混合算子的临界 Sobolev 指数。至关重要的是，若参数满足以下不等式，则保证解的存在性：
  $$\alpha - \beta + (q-p)\left(1 - \frac{N}{p}\right) < 0.$$
  该结果将先前关于纯局部 ($\gamma=1$) 和纯分数阶 ($\gamma=0$) Hénon 方程在无界域上的存在性研究扩展到了混合情形。

• 正则性 (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$ 的有界解空间）中不存在解。这证实了临界指数是具有适当衰减的有界解存在的障碍。

意义与范围
本文声称将 Hénon 型方程的理论从有界域以及纯局部或纯分数阶的情形，扩展到了更复杂的 $\mathbb{R}^N$ 全空间混合局部-非局部算子的情形。

• 泛化性： 作者的结果统一并推广了 Ni 关于有界域的研究，以及随后关于分数阶 Hénon 方程在 $\mathbb{R}^N$ 中的研究（例如 [2, 6, 14, 20]）。
• 参数范围： 作者指出，其推导的条件 (1.6) 改进了文献 [14] 中针对 $p=2$ 且 $\beta=2$ 特殊情况所得出的参数范围。
• 方法论严谨性： 该工作为混合算子提供了严谨的泛函框架，证明了通过径向对称性和加权范数的相互作用，可以在无界域中恢复变分法所需的紧性。

本文并未提出新的物理模型或实验应用，而是专注于该椭圆问题的数学分析，为这类混合算子解的存在性及其性质提供了理论基础。