Schrödinger-Poisson systems in \(4\)-dimensional closed manifolds (Q887706)

In a four-dimensional closed manifold \((M,g)\)\textbf{,} the author considers the following nonlinear problem \[ (*)_{\phi,\omega}:\;\Delta_gu+\omega^2u+\phi u=u^3\text{ in }M\text{ and }\Delta_g\phi+m_0^2\phi=4\pi q^2u^2\text{ in }M, \] such that \(\Delta_g\) is the standard Laplace-Beltrami operator, the functions \(u\) and \(\phi\) are positive, and the quantities \((q,m_0, \omega)\) are real numbers. The first result focuses on the (non)existence of (constant) positive solutions associated to \((*)_{\phi,\omega}\), this by imposing meaningful conditions both on \(S_g\), the trace of the Ricci curvature tensor w.r.t. \(g\), and on the quotient of \(4\pi q^2\) and \(m_0^2\) (Theorem 1.1). Also, the author treats the case when \((*)_{\phi,\omega}\) has a unique explicit pair of solutions (Theorem 1.2). Then, the author defines what is a non-resonant phase, i.e., a sequence \((\omega_n)_{n\in\mathbb N}\) converging to \(\omega\) and any \((u_n,\phi_n)_{n\in\mathbb N}\), a sequence of smooth positive solutions of \((*)_{\phi_n,\omega_n}\), converges to a pair of solutions of \((*)_{\phi,\omega}\) with respect to the \(C^2\)-norm (Definition 2.1). Consequently, the second result states that \(\omega\) is a non-resonant-phase whenever \(6\omega^2\) and \(4\pi q^2\) are strictly less than \(S_g\) and \(m_0^2\), respectively (Theorem 2.1). The proof of the latter theorem is based on the use of some lemmas.