A spinorial analogue of the Brezis-Nirenberg theorem involving the critical Sobolev exponent (Q2020078)

On a compact spin manifold \((M^m,g)\), the authors study solutions of the nonlinear Dirac equation \(D\psi=\lambda\psi+f(|\psi|)\psi+|\psi|^{\frac{2}{m-1}}\psi\) where \(\lambda\in\mathbb{R}\) and \(f=o(s^{\frac{2}{m-1}})\) as \(s\to\infty\). Such an equation is called in the paper (NLD) and is the Euler-Lagrange equation associated to some functional \(\mathcal{L}_\lambda(\psi)\). The authors show in Theorem 2.1 that if \(f\) satisfies some conditions (called \(f_1\),\(f_2\) and \(f_3\) in the paper), then (NLD) has at least one energy solution \(\psi_\lambda\) for every \(\lambda>0\). Also the map \(\mathbb{R}^+\to \mathbb{R}^+; \lambda\to \mathcal{L}_\lambda(\psi_\lambda)\) is continuous and nonincreasing on each interval \([\lambda_k,\lambda_{k+1})\). On the other hand, if \(f\) satisfies some other conditions (called \(f_1\),\(f_4\) and \(f_5\) in the paper), then (NLD) has at least one energy solution \(\psi_\lambda\) for every \(\lambda\in \mathbb{R}\setminus \{\lambda_k:k\leq 0\}\). The map \(\mathbb{R}\setminus \{\lambda_k:k\leq 0\}\to \mathbb{R}^+; \lambda\to \mathcal{L}_\lambda(\psi_\lambda)\) is continuous and nonincreasing on each interval \([\lambda_{k-1},\lambda_{k})\), if \(k\geq 2\), respectively \((\lambda_{k-1},\lambda_{k})\), if \(k\leq 1\).