A multiplicity theorem for a class of nonlocal elliptic equations involving even nonlinearities

技术摘要：具有偶函数非线性项的非局部椭圆方程的多重性定理

问题陈述
本文研究了有界光滑区域 $\Omega \subset \mathbb{R}^n$ 上一类非局部椭圆 Dirichlet 边值问题。问题 $(P)$ 形式化为：
$$\begin{cases} -\Delta u = Q\left(\int_{\Omega} F(x, u(x))dx\right) f(x, u) + g(x, u) & \text{in } \Omega \\ u = 0 & \text{on } \partial\Omega \end{cases}$$
此处，$F(x, t) = \int_0^t f(x, s)ds$，非局部项源于函数 $Q$ 对 $F$ 在定义域内积分的依赖。本研究重点在于建立在合适的开区间内，该问题至少存在三个不同弱解的条件。

方法论与泛函框架
作者采用了变分方法，具体利用了临界点理论。问题的弱解被识别为能量泛函 $\Phi: H^1_0(\Omega) \to \mathbb{R}$ 的临界点，其中 $\Phi$ 定义为：
$$\Phi(u) = \frac{1}{2}\|u\|^2 - J(u)$$
这里 $\|u\|$ 是 $H^1_0(\Omega)$ 中的标准范数，而 $J(u)$ 包含了非局部项和扰动项 $g$。

证明的核心依赖于一个严格极小极大不等式（strict minimax inequality）和一个三临界点定理（在文献 [2] 中引用为 Theorem 3）。该方法通过以下步骤进行：

1. 构造辅助泛函： 作者引入了一个涉及严格凸函数 $\alpha$、连续奇函数 $\gamma$ 以及非局部积分项的泛函 $P(u, \lambda)$。
2. 验证极小极大不等式： 最核心的技术难点在于证明严格不等式：
   $$\sup_{\lambda \in \mathbb{R}} \inf_{u \in H^1_0(\Omega)} P(u, \lambda) < \inf_{u \in H^1_0(\Omega)} \sup_{\lambda \in \mathbb{R}} P(u, \lambda)$$
   这是通过反证法实现的。作者假设等式成立，并证明由此产生的鞍点 $(u^*, \lambda^*)$ 会导致逻辑上的不一致。具体而言，证明利用了函数的对称性质（$f$ 的偶性，$\gamma$ 的奇性）以及 $\alpha$ 的严格凸性来表明：如果存在满足等式假设的解，则该解必须是平凡解（$u^*=0$），这与构造大参数下的泛函相矛盾。
3. 强制性与连续性： 证明建立了映射 $u \mapsto \sup_{\lambda} P(u, \lambda)$ 是顺序弱下半连续且具有强制性的。这确保了极小值的存在，并允许应用抽象临界点定理。
4. 由 $g$ 进行的扰动： 最后一步是加入扰动项 $g \in \mathcal{A}$（一类具有特定增长条件的 Carathéodory 函数）。作者表明，如果 $g$ 的原函数的振荡足够小（受限于常数 $\epsilon^*_\mu$），则严格极小极大不等式得以保持，从而保证了解的多重性。

主要假设
主要结果（Theorem 1）要求满足以下条件：

• 非线性 $f$： 对于几乎所有的 $x$，$f(x, \cdot)$ 必须是偶函数，且 $f$ 非零的集合测度为正。此外，$F(x, t)$ 在无穷远处必须满足次二次增长条件（$\lim_{|t|\to\infty} \sup |F(x,t)|/t^2 = 0$）。
• 非线性 $\gamma$： $\gamma$ 是连续奇函数，仅在 0 处为 0，且其原函数满足线性增长界限。
• 凸函数 $\alpha$： $\alpha$ 是严格凸的、可导的，满足 $\alpha(0)>0$，$\alpha'(0)=0$，且 $\alpha'(R)=R$。
• 参数 $\mu$： 参数 $\mu$ 必须足够大。
• 扰动 $g$： $g$ 的原函数的上确界积分与下确界积分之差必须小于特定的阈值 $\epsilon^*_\mu$。

主要结果
本文证明了 Theorem 1，即在上述假设下，存在一个阈值 $\epsilon^*_\mu > 0$，使得对于任何满足小规模条件的扰动 $g$，存在一个开区间 $A \subseteq \mathbb{R}$ 和一个半径 $\rho > 0$。对于每一个 $\lambda \in A$，问题 $(P)$ 在 $H^1_0(\Omega)$ 中至少拥有 三个不同的弱解，且这些解的范数均严格小于 $\rho$。

意义与主张
本文定位为一篇旨在证明具有偶函数非局部问题特定多重性结果的“极短笔记”。

• 新颖性： 作者在 Remark 1 中明确指出，他们“尚未知晓足够接近 Theorem 1 的已知结果以进行适当的比较”。这表明该结果填补了文献中关于结合非局部项、偶函数以及通过严格极小极大不等式实现三解多重性的特定空白。
• 范围： 本工作是纯理论性的，侧重于在变分框架内研究解的存在性。它并未提出数值方法、具体的物理应用或未来的实验方向。其意义在于将临界点理论扩展到一类具有偶对称性的非局部椭圆方程。