关于Riesz位势算子特征函数结点域有限性的技术问询
首先先把问题的背景和核心疑问梳理清楚：
给定有界开集$\Omega \subseteq \mathbb{R}^N$（$N\geq 2$），$0<\alpha<N$，$L^2(\Omega)$上的Riesz位势算子$R_{\alpha,\Omega}$定义为：
$$
R_{\alpha,\Omega}(u)(x):=\int_\Omega \frac{u(y)}{|x-y|^{N-\alpha}}dy
$$
其特征值与对应特征函数满足变分等式：
$$
\int_\Omega \int_\Omega \frac{u_n(x)\phi(y)}{|x-y|^{N-\alpha}}dxdy=\lambda_n \int_\Omega u_n(x)\phi(x)dx, \forall \phi\in L^2(\Omega)
$$
核心疑问：
- 能否证明这类特征函数的结点域数量有限？
- 至少，能否证明第二特征函数的结点域数量有限？
- （原提问截断）对于径向特征函数，是否能证明相关结论？
好的，针对这些问题，我来分享一些业内的研究思路和已知结论：
1. 先明确核心差异：非局部算子 vs 经典局部算子
首先要注意，Riesz位势是非局部算子，这和我们熟悉的Laplace算子（局部微分算子）有本质区别，经典的Courant结点域定理（Laplace算子特征函数结点域数量不超过特征值的序号）不能直接套用，但我们可以借鉴其思路，结合非局部算子的特性来分析。
2. 径向特征函数：结点域有限性是显然的
如果特征函数是径向的（只依赖于$|x|$），那它的结点域只能是同心的球壳或者球心区域，比如在$|x|<r$时为正，$r<|x|<R$时为负（或者反过来），最多只有2个结点域，完全不用复杂证明，有限性是直接成立的。
3. 第二特征函数：结点域有限（甚至最多2个）是可证的
对于第二特征函数$u_2$，我们可以用类似Courant定理的变分思路来推导：
- 首先，第一特征函数$u_1$是不变号的（因为Riesz位势的核是正的，正算子的第一特征函数非负，且在$\Omega$内几乎处处正）。
- 假设$u_2$有3个或更多结点域，取其中任意一个结点域$D$，定义$v$为$u_2$在$D$上的限制，在$\Omega\setminus D$上为0。
- 由于$u_2$与$u_1$正交（特征函数的正交性），而$u_1$在$\Omega$上不变号，所以$v$也与$u_1$正交（因为$v$在$D$上不变号，$u_1$在$D$上也不变号，内积$\int_\Omega v u_1 dx$是$u_2$在$D$上与$u_1$的内积，而$u_2$整体与$u_1$正交，所以这个内积为0）。
- 计算$v$的Rayleigh商：$\frac{\langle R_{\alpha,\Omega} v, v \rangle}{|v|2_{L2}}$，根据Riesz位势的正定性，这个商不大于$\lambda_2$（因为$u_2$是第二特征值的极小化子），但$v$和$u_1$正交，这意味着$\lambda_2$不是第二特征值——矛盾。
- 所以$u_2$最多有2个结点域，自然是有限的。
4. 一般特征函数：结点域有限性的研究方向
对于一般的第$n$个特征函数，虽然没有像第二特征函数那样直接的结论，但有两个可行的研究路径：
- 正则性入手：Riesz位势算子$R_{\alpha,\Omega}$是$L2(\Omega)$到$H\alpha(\Omega)$的紧算子，特征函数$u_n \in H\alpha(\Omega)$。当$\alpha>1/2$时，根据Sobolev嵌入定理，$H\alpha(\Omega)$嵌入到连续函数空间$C(\overline{\Omega})$，这意味着$u_n$是连续函数。连续函数的结点域是开集，而如果假设存在无限多个结点域，这些开集必须是互不相交的，且直径趋于0（因为$\Omega$是有界的），但连续函数在直径趋于0的开集上的振幅趋于0，结合特征方程的变分形式，会导出和特征值定义矛盾的结果。
- 反证法思路：假设$u_n$有无限多个结点域${D_k}$，对每个$D_k$，取指示函数$\phi = \chi_{D_k}$代入特征方程，会得到$\int_\Omega \int_\Omega \frac{u_n(x)\chi_{D_k}(y)}{|x-y|^{N-\alpha}}dxdy = \lambda_n \int_{D_k} u_n(x)dx$。由于$u_n$在$D_k$上不变号，左边的积分可以和$u_n$在$D_k$上的积分建立正的下界，而右边是$\lambda_n$乘以这个积分，当$k$趋于无穷时，积分$\int_{D_k} u_n(x)dx$趋于0，这会导致左边的积分也趋于0，但Riesz位势的核是正的，左边积分应该有正的下界——这就构成了矛盾，从而证明结点域不能无限多。
备注：内容来源于stack exchange，提问作者Rose John
