Multiplicity results for mixed local-nonlocal variable exponent problem involving singular and superlinear term

这是一份关于论文《Mixed local-nonlocal variable exponent problem involving singular and superlinear term》（涉及奇异项和超线性项的混合局部 - 非局部变指数问题）的详细技术总结。

1. 研究问题 (Problem Statement)

本文研究了一类包含局部算子（$p(x)$-Laplacian）和非局部算子（分数阶 $p(x)$-Laplacian）的拟线性椭圆方程。该方程具有变指数（variable exponents）、奇异项（singular term）以及超线性增长项（superlinear growth term）。

具体的数学模型 $(Q_\lambda)$ 如下：
$$\begin{cases} -\Delta_{p(x)}u + (-\Delta)^s_{p(x)} u = \lambda a(x)u^{-\gamma(x)} + b(x)u^{r(x)-1}, & u > 0 \text{ in } \Omega, \\ u = 0, & \text{in } \mathbb{R}^N \setminus \Omega, \end{cases}$$
其中：

• $\Omega \subset \mathbb{R}^N$ 是有界 Lipschitz 区域。
• $\lambda > 0$ 是参数。
• $s \in (0, 1)$。
• $p(x, y)$ 是满足对称性和有界性的变指数函数，$p(x) := p(x, x)$。
• $\Delta_{p(x)}u = \text{div}(|\nabla u|^{p(x)-2}\nabla u)$ 是局部 $p(x)$-Laplacian。
• $(-\Delta)^s_{p(x)} u$ 是分数阶 $p(x)$-Laplacian，定义为柯西主值积分。
• 奇异项：$\lambda a(x)u^{-\gamma(x)}$，其中 $0 < \gamma(x) < 1$，导致能量泛函在原点不可微。
• 超线性项：$b(x)u^{r(x)-1}$，其中 $r(x) > p(x)$ 且处于次临界范围内。
• 权重函数 $a(x) > 0, b(x) \ge 0$。

2. 方法论 (Methodology)

由于奇异项的存在，能量泛函 $J_\lambda$ 不是 Fréchet 可微的（甚至不是 Gâteaux 可微的），因此无法直接应用标准的临界点理论。作者采用了以下策略：

1. 变分框架与函数空间：

   • 构建了合适的混合 Sobolev 空间 $X_0(\Omega) = W^{1,p(x)}_0(\Omega) \cap X_0$，其中 $X_0$ 是处理非局部项的分数阶变指数 Sobolev 空间。
   • 利用 Luxemburg 范数和模函数（modular function）的性质处理变指数空间中的收敛性问题。

2. Nehari 流形方法 (Nehari Manifold Method)：

   • 定义能量泛函 $J_\lambda$ 和对应的纤维映射（Fibering map）$\phi_u(t) = J_\lambda(tu)$。
   • 将 Nehari 流形 $\mathcal{N}_\lambda = \{u \in X_0 \setminus \{0\} : \langle J'_\lambda(u), u \rangle = 0\}$ 分解为三个子集：
     • $\mathcal{N}^0_\lambda$：$\phi''_u(1) = 0$（通常为空集，当 $\lambda$ 较小时）。
     • $\mathcal{N}^+_\lambda$：$\phi''_u(1) > 0$（对应局部极小值）。
     • $\mathcal{N}^-_\lambda$：$\phi''_u(1) < 0$（对应局部极大值或鞍点）。
   • 通过证明 $\mathcal{N}^0_\lambda = \{0\}$，将流形分解为 $\mathcal{N}^+_\lambda$ 和 $\mathcal{N}^-_\lambda$ 两部分。

3. 拓扑度理论与纤维映射分析：

   • 由于指数 $p(x)$ 和 $r(x)$ 是变化的，传统的单调性论证失效。作者利用**拓扑度（Topological Degree）**理论（特别是同伦不变性），通过逼近常指数函数，证明了涉及变指数的函数（如纤维映射的导数部分）具有严格的单调性。
   • 分析了纤维映射 $\phi_u(t)$ 的几何结构，证明了对于任意非零 $u$，存在唯一的 $t_+$ 和 $t_-$ 使得 $t_+ u \in \mathcal{N}^+_\lambda$ 和 $t_- u \in \mathcal{N}^-_\lambda$。

4. 极小化与紧性：

   • 分别在 $\mathcal{N}^+_\lambda$ 和 $\mathcal{N}^-_\lambda$ 上寻找能量泛函的极小值。
   • 利用 Ekeland 变分原理和 Palais-Smale 条件（通过能量泛函的强制性证明），证明了极小化序列的强收敛性，从而得到两个不同的临界点。

5. 正则性分析：

   • 采用 De Giorgi 迭代法（De Giorgi iteration）结合局部化论证（localization argument），证明了弱解的 $L^\infty$ 有界性。

3. 主要结果 (Key Results)

定理 2.1 (多解存在性)：
存在一个正常数 $\Lambda > 0$，使得对于任意 $\lambda \in (0, \Lambda)$，问题 $(Q_\lambda)$ 至少存在两个不同的正弱解 $u$ 和 $v$。

• 其中一个解 $u$ 位于 $\mathcal{N}^+_\lambda$ 上，对应能量泛函的全局极小值（能量为负）。
• 另一个解 $v$ 位于 $\mathcal{N}^-_\lambda$ 上，对应能量泛函在特定约束下的极小值（能量为正）。
• 这两个解是通过在 Nehari 流形的不同分支上分别进行极小化得到的。

定理 2.2 (正则性/有界性)：
在一定的权重函数 $a(x)$ 和指数条件（涉及 $p(x), r(x)$ 的特定不等式关系）下，上述弱解 $u$ 属于 $L^\infty(\Omega)$，即解是有界的。

• 条件包括 $a(x) \in L^\infty(\Omega)$ 或 $a(x)$ 属于特定的变指数 Lebesgue 空间，且指数满足特定的增长限制。

4. 创新点与贡献 (Contributions)

1. 混合算子与变指数的结合：
   这是首次研究同时包含局部和非局部算子且指数为变量的奇异椭圆方程。之前的文献多集中在常指数或单一类型的算子（纯局部或纯非局部）。
2. 处理奇异项的变指数困难：
   在变指数设置下，能量泛函不可微，且纤维映射的单调性难以直接证明。作者创造性地结合了拓扑度理论来处理变指数带来的非单调性，克服了这一技术障碍。
3. 多解结构的精细分析：
   通过深入分析 Nehari 流形的结构（特别是 $\mathcal{N}^0_\lambda$ 的消失和 $\mathcal{N}^\pm_\lambda$ 的分离），严格证明了在参数 $\lambda$ 较小时，奇异项和超线性项的相互作用导致了多解现象。
4. 正则性理论的扩展：
   将 De Giorgi 迭代法成功推广到混合局部 - 非局部变指数算子的框架下，建立了 $L^\infty$ 估计，填补了该领域正则性理论的空白。

5. 意义与影响 (Significance)

• 理论价值：该研究扩展了变指数 Sobolev 空间理论、Nehari 流形方法以及奇异椭圆方程理论的应用范围。它展示了如何处理混合算子（局部 + 非局部）与变指数结合时的复杂分析挑战。
• 物理背景：混合算子模型广泛应用于描述具有不同扩散机制的物理现象（如生物种群的扩散，既包含布朗运动又包含 Lévy 飞行）。变指数则能更精确地描述非均匀介质（如电致流体、图像处理中的边缘保持）。
• 方法学启示：文中利用拓扑度论证变指数函数单调性的技巧，为未来处理其他涉及变指数的非线性分析问题提供了新的思路。

综上所述，这篇论文在非线性椭圆方程领域取得了重要进展，特别是在处理混合算子、变指数和奇异项共存的复杂情形下，提供了严谨的存在性和正则性证明。