Fučik spectrum for the operator with rapidly increasing weight and applications

这是一份关于论文《具有快速增长权重的算子的 Fučík 谱及其应用》（Fuˇcik spectrum for the operator with rapidly increasing weight and applications）的详细技术总结。

1. 研究背景与问题定义

核心算子与方程：
本文研究定义在全空间 $\mathbb{R}^N$ ($N \ge 1$) 上的算子 $L$ 的 Fučík 谱问题。该算子定义为：
$$Lu := -\Delta u - \frac{1}{2}(x \cdot \nabla u)$$
该算子与热方程 $v_t - \Delta v = |v|^{p-2}v$ 的自相似解（self-similar solutions）密切相关。通过引入权重函数 $K(x) := e^{|x|^2/4}$，算子 $L$ 可以写成散度形式 $Lu = -\frac{1}{K}\nabla \cdot (K\nabla u)$，从而具有变分结构。

Fučík 谱问题：
定义 $\Sigma$ 为所有使得以下方程存在非平凡解 $u \in X$ 的参数对 $(\alpha, \beta) \in \mathbb{R}^2$ 的集合：
$$\begin{cases} -\Delta u - \frac{1}{2}(x \cdot \nabla u) = \alpha u^+ - \beta u^-, & \text{in } \mathbb{R}^N \\ u \in X \end{cases}$$
其中 $u^+ = \max(u, 0)$, $u^- = \max(-u, 0)$，$X$ 是由 $C_c^\infty(\mathbb{R}^N)$ 在加权范数 $\|u\| = (\int_{\mathbb{R}^N} |\nabla u|^2 K(x) dx)^{1/2}$ 下完备化得到的希尔伯特空间。

主要难点：
由于问题定义在全空间 $\mathbb{R}^N$ 上，且权重函数 $K(x)$ 在无穷远处快速增长（导致解在无穷远处快速衰减），传统的有界域上的估计方法无法直接适用。此外，需要处理加权 Sobolev 空间中的紧性嵌入问题。

应用目标：
利用构建的 Fučík 谱性质，研究以下非线性方程解的多重性：
$$\begin{cases} -\Delta u - \frac{1}{2}(x \cdot \nabla u) = f(x, u), & \text{in } \mathbb{R}^N \\ u \in X \end{cases}$$
其中非线性项 $f(x, u)$ 在零点和无穷远处均表现为渐近线性。

2. 方法论

本文主要采用了变分法和极小极大原理（Minimax Principle）。

1. 加权 Sobolev 空间与嵌入：

   • 利用 Escobedo 和 Kavian 的工作，确立了空间 $X$ 与加权 Lebesgue 空间 $L_K^q$ 之间的连续和紧嵌入关系（对于 $q \in [2, 2^*)$）。
   • 利用算子 $L$ 的特征值 $\lambda_k = \frac{N+k-1}{2}$ 及其对应的特征函数（特别是第一特征函数 $\phi_1(x) = e^{-|x|^2/4}$）作为分析基础。

2. 极小极大构造曲线：

   • 定义泛函 $I_p(u) = \int |\nabla u|^2 K dx - p \int (u^+)^2 K dx$。
   • 在单位球面 $P = \{u \in X : \int u^2 K dx = 1\}$ 上限制该泛函，记为 $\tilde{I}_p$。
   • 利用 Ekeland 变分原理 和 山路引理（Mountain Pass Lemma） 的变体，构造连接第一特征函数 $\phi_1$ 和 $-\phi_1$ 的路径。
   • 通过定义临界值 $c(p) = \inf_{\gamma \in \Gamma} \max_{u \in \gamma} \tilde{I}_p(u)$，其中 $\Gamma$ 是连接 $-\phi_1$ 和 $\phi_1$ 的路径集合，从而得到谱曲线上的点 $(p+c(p), c(p))$。

3. PS 条件（Palais-Smale 条件）验证：

   • 证明了泛函 $\tilde{I}_p$ 在流形 $P$ 上满足 PS 条件，这是保证临界点存在的关键。由于全空间缺乏紧性，证明过程利用了权重函数的衰减性质和特征函数的性质。

4. 拓扑与几何分析：

   • 分析了流形 $P$ 的连通性，利用路径连通性证明极小极大值的存在性。
   • 通过反证法，结合特征函数的变号性质，证明了非平凡解必须位于特定的谱区域。

3. 主要贡献与结果

A. Fučík 谱的结构与性质

1. 谱曲线的存在性：
   证明了 Fučík 谱 $\Sigma$ 包含三条曲线：

   • 垂直线 $\{\lambda_1\} \times \mathbb{R}$
   • 水平线 $\mathbb{R} \times \{\lambda_1\}$
   • 第一条非平凡曲线 $C$：定义为 $C = \{(p + c(p), c(p)) : p \in \mathbb{R}\}$，其中 $c(p)$ 是通过极小极大方法得到的临界值，且 $c(p) > \lambda_1$。

2. 曲线 $C$ 的性质：

   • Lipschitz 连续性： 映射 $p \mapsto (p+c(p), c(p))$ 在 $\mathbb{R}$ 上是 Lipschitz 连续的。
   • 严格单调性： 曲线 $C$ 是严格递减的。即若 $p_1 < p_2$，则 $p_1 + c(p_1) < p_2 + c(p_2)$ 且 $c(p_1) > c(p_2)$。
   • 渐近行为： 当 $p \to \infty$ 时，$c(p) \to \lambda_1$。这意味着曲线 $C$ 在无穷远处渐近于第一特征值线。
   • 对称性： 证明了 $c(-p) = c(p) + p$，反映了谱的对称结构。

3. 谱的拓扑性质：

   • 证明了 $\Sigma$ 和 $\Sigma_0$（变号解对应的谱）在 $\mathbb{R}^2$ 中是闭集。
   • 证明了 $\Sigma_0$ 位于由 $\lambda_1$ 定义的折线 $L_2$ 的右上方（即 $\alpha > \lambda_1, \beta > \lambda_1$）。

B. 应用：非线性方程解的多重性

利用上述谱性质，研究了渐近线性非线性方程 (1.2) 的解的存在性。

• 假设条件： $f(x, u)$ 在 $u \to 0$ 和 $u \to \infty$ 时分别趋于 $f_0$ 和 $f_\infty$，且 $f_0, f_\infty \in (\lambda_1, \infty)$。
• 主要定理（Theorem 5.1）： 在满足适当条件（包括 $f(x, t) \ge 0$ 对于 $t>0$）下，该问题在空间 $X$ 中至少存在两个正解。
• 证明思路：
  1. 构造能量泛函 $I(u)$。
  2. 利用 $f_0 > \lambda_1$ 证明泛函在原点附近具有“山谷”结构（局部极小值）。
  3. 利用 $f_\infty > \lambda_1$ 和 Fučík 谱的性质，证明泛函满足山路几何结构（Mountain Pass Geometry）。
  4. 验证 $(C)_c$ 条件（Cerami 条件），确保临界点的存在。
  5. 通过比较临界值，得到两个不同的临界点（一个局部极小值，一个山路型临界点），并证明它们均为正解。

4. 意义与价值

1. 理论拓展：
   本文将经典的 Fučík 谱理论从有界域推广到了全空间 $\mathbb{R}^N$，并处理了具有快速增长权重（导致解快速衰减）的算子。这填补了该算子在非线性谱理论方面的空白。

2. 克服技术障碍：
   针对全空间问题缺乏紧性的难题，作者巧妙地利用了加权 Sobolev 空间的紧嵌入性质和算子 $L$ 的自相似结构，建立了有效的紧性论证（PS 条件），为处理类似的全空间加权问题提供了范例。

3. 应用价值：
   通过建立 Fučík 谱的精细结构（特别是第一条非平凡曲线及其渐近行为），为研究全空间上渐近线性非线性偏微分方程的多重解问题提供了强有力的工具。结果证明了在参数跨越第一特征值时，方程解的多重性现象，丰富了非线性椭圆型方程的解的存在性理论。

4. 数学物理背景：
   该算子直接关联热方程的自相似解，因此本研究不仅具有纯数学意义，也为理解热传导过程中的非线性现象（如 blow-up 或衰减行为）提供了数学基础。

总结：
这篇论文通过严谨的变分分析，成功构建了全空间加权算子的 Fučík 谱的第一条非平凡曲线，揭示了其良好的解析性质（连续性、单调性、渐近性），并成功将其应用于证明非线性方程至少存在两个正解，是一篇在非线性椭圆方程谱理论领域具有较高学术价值的研究成果。