该文研究了下列含局部和非局部椭圆型算子方程的 Brezis-Nirenberg 型问题
$\begin{equation*} \left\{\begin{array}{ll} - \Delta u +(-\Delta)^su= \lambda u+ |u|^{2^*-2}u,~~ & x\in \Omega,\\ u=0, & x\in \mathbb{R}^N\setminus \Omega, \end{array}\right. \end{equation*}$
其中 $ \Omega\subset \mathbb{R}^N $ ( $ N>2 $ ) 是光滑有界区域, $ s\in (0,1) $, $ 2^*= \frac{2N}{N-2} $. 对于上述问题, 存在某个 $ \lambda^* \in\left[\lambda_{1, s}, \lambda_1\right) $, 当 $ \lambda\in (\lambda^*,\lambda_1) $时, 至少存在一个正解, 而当 $ \lambda\in [\lambda_1,+\infty) $ 时, 问题不存在正解, 其中 $ \lambda_{1,s} $ 和 $ \lambda_1 $ 分别是算子 $ (-\Delta)^s $ 和 $ - \Delta +(-\Delta)^s $ Dirichlet 边值问题的第一特征值. 该文首先对 $ \lambda^* $ 的下界作了估计. 其次, 通过构造合适的环绕集合, 利用 Willem 环绕原理证明了当 $ \lambda\in [\lambda_1,+\infty) $ 时问题变号解的存在性.