Spectral Properties of the Logarithmic Laplacian with Indefinite Weights

技术摘要：带不定权重的对数拉普拉斯算子的谱性质

问题陈述
本文研究了由对数拉普拉斯算子（$L_\Delta$）驱动的加权特征值问题在有界区域 $\Omega \subseteq \mathbb{R}^N$ 上的谱性质。所研究的具体问题为：
$$\begin{cases} L_\Delta u = \lambda \omega(x) u & \text{在 } \Omega \text{ 内}, \\ u = 0 & \text{在 } \mathbb{R}^N \setminus \Omega \text{ 内}, \end{cases}$$
其中 $\omega: \Omega \to \mathbb{R}$ 是一个变号（不定）的权重函数。对数拉普拉斯算子作为分数阶拉普拉斯算子 $(-\Delta)^s$ 当 $s \to 0^+$ 时的一阶展开而出现。与分数阶拉普拉斯算子不同，$L_\Delta$ 的谱理论尚欠发达，而不定权重的存在引入了显著的解析挑战，特别是关于相关能量泛函的有界性以及极小化序列的紧性。

方法论与框架
作者发展了一个变分和谱框架，以解决 $L_\Delta$ 的非局部性质以及权重 $\omega$ 的不定性。关键的方法论组成部分包括：

1. 函数空间与嵌入：分析在空间 $H(\Omega)$ 中进行，该空间由涉及单位球内外相互作用的特定非局部二次型的有限性定义。作者利用了到 Orlicz 型空间 $L_\phi(\Omega)$ 和 $L_\eta(\Omega)$ 的最优连续和紧嵌入结果，其中 $\phi(t) = t^2 \ln(e+t)$。这使得允许使用比分数阶拉普拉斯算子通常使用的（例如 $L^\infty$ 或 $L^{N/2s}$）更广泛的容许权重类。
2. 权重假设：假设权重函数 $\omega$ 满足三个条件：
   • $(\omega_0)$：正部 $\omega_+$ 不恒为零。
   • $(\omega_1)$：$\omega$ 属于 Orlicz 空间 $L_{\psi^*}(\Omega)$，确保相对于解空间特定增长的积分性。
   • $(\omega_2)$：一个受 Pitt 型不等式启发的结构条件，确保能量泛函在约束流形上有下界。
3. 变分原理：利用 Lusternik-Schnirelman (LS) 变分原理建立了特征值的存在性。作者通过约束流形 $M = \{u \in H(\Omega) : \int_\Omega \omega(x)u^2 dx = 1\}$ 上对称子集的亏格，定义了一列 LS 特征值 $\lambda_k$。
4. Hardy 型不等式：一个关键的技术工具是针对 $L_\Delta$ 的 Pitt 型（Hardy 型）不等式，该不等式是通过对分数阶拉普拉斯算子的 Hardy 不等式关于参数 $s$ 在 $s=0$ 处求导推导出来的。该不等式为能量泛函提供了必要的下界。

主要贡献与结果

• 无界序列的存在性：本文证明了存在一个无界的 LS 特征值序列 $\lambda_0 \le \lambda_1 \le \lambda_2 \le \dots$ 发散至 $+\infty$。第一个特征值 $\lambda_1$ 被证明等于 Rayleigh 商在流形 $M$ 上的下确界。
• 特征函数的符号性质：
  • 对应于第一个特征值 $\lambda_1$ 的特征函数在 $\Omega$ 内具有恒定符号。
  • 对应于更高特征值（$\lambda \neq \lambda_1$）的特征函数必然在区域内变号。
• 单重性与孤立性：
  • 第一个特征值 $\lambda_1$ 是单重的（特征空间是一维的）。
  • 在假设 $\omega \in L^\infty(\Omega)$ 的情况下，$\lambda_1$ 是孤立的。
• 节点域不等式：作者建立了一种节点域型不等式，将高阶特征值与相应特征函数正负部分的测度联系起来。具体而言，对于与 $\lambda \neq \lambda_1$ 相关的特征函数 $v$，推导出了 $|\lambda|$ 的下界，该下界涉及节点域 $\Omega^\pm_v$ 的测度和嵌入常数。这一结果具有独立的兴趣，并解决了 $L_\Delta$ 的特征值可能为非正的事实。
• 替代刻画：本文提供了第二个特征值 $\lambda_2$ 的替代变分刻画，类似于分数阶拉普拉斯算子的结果，将其表示为从圆 $S^1$ 到流形 $M$ 的奇连续映射的极小极大值。
• 单调性性质：
  • 权重单调性：特征值关于权重函数是非增的。如果 $\omega_1 \le \omega_2$，则 $\lambda_k(\omega_2) \le \lambda_k(\omega_1)$。此外，如果 $\omega_1 \le \omega_2$ 且 $\omega_1 \not\equiv \omega_2$，则第一个特征值严格递减（$\lambda_1(\omega_1) > \lambda_1(\omega_2)$）。如果 $\omega_1 < \omega_2$ 严格成立，则第二个特征值也严格递减。
  • 区域单调性：特征值关于区域包含关系是非增的。如果 $\Omega_1 \subsetneq \Omega_2$，则 $\lambda_k(\Omega_2) \le \lambda_k(\Omega_1)$。第一个特征值关于区域扩张严格递减。

意义与主张
本文声称填补了对数拉普拉斯算子谱理论中的一个空白，该理论相较于分数阶拉普拉斯算子的发展较为滞后。其主要意义在于将理论扩展到不定权重的情形，在这种情形下，由于缺乏强制性以及能量泛函可能无下界，标准的变分方法往往失效。

作者强调，$L_\Delta$ 的非局部性质与不定权重的结合造成了困难，使得直接适应用于局部或分数阶算子的方法变得不可能。具体而言，由于单位球外的非局部相互作用，双线性形式可能会变号，且极小化序列可能会逃逸至无穷远。通过对权重施加特定的结构假设（特别是 Pitt 型条件）并利用 Orlicz 空间嵌入，作者成功地构建了一个克服这些障碍的变分框架。

这些结果确立了基本的谱性质——存在性、单重性、孤立性和单调性——这些对于涉及对数拉普拉斯算子的非线性方程的定性分析至关重要。推导出的节点域不等式被指出是一个具有独立兴趣的结果，提供了谱与特征函数几何形状之间的定量联系。该工作还阐明了分数阶拉普拉斯算子与对数拉普拉斯算子谱理论之间的关系，特别是在 $s \to 0^+$ 的极限情况下。