A local mountain pass type result for a system of nonlinear Schrödinger equations (Q629856)

The authors consider a singular perturbation problem for a system of nonlinear Schrödinger equations: \[ \begin{cases} -\varepsilon^2 \Delta v_1 + V_1(x)v_1 = \mu_1 v_1^3 + \beta v_1 v_2^2 &\text{in } \mathbb R^N,\\ -\varepsilon^2 \Delta v_2 + V_2(x)v_2 = \mu_2 v_2^3 + \beta v_1^2 v_2 &\text{in } \mathbb R^N,\\ v_1(x), v_2(x)>0 &\text{in }\mathbb R^N,\\ v_1(x), v_2(x) \in H^1(\mathbb R^N),\end{cases}\tag{*} \] where \(N=2,3\), \(\mu_1,\mu_2,\beta>0\) and \(V_1(x),V_2(x):\mathbb R^N \to (0,\infty)\) are positive continuous functions. They consider the case where the interaction \(\beta>0\) is relatively small and they define for \(P\in\mathbb R^N\) the least energy level \(m(P)\) for non-trivial vector solutions of the rescaled ``limit'' problem: \[ \begin{cases} - \Delta v_1 + V_1(P)v_1= \mu_1 v_1^3 + \beta v_1 v_2^2 &\text{in }\mathbb R^N,\\ - \Delta v_2 + V_2(P)v_2 = \mu_2 v_2^3 + \beta v_1^2 v_2 &\text{in }\mathbb R^N,\\ v_1(x), v_2(x)>0 &\text{in }\mathbb R^N,\\ v_1(x), v_2(x) \in H^1(\mathbb R^N). \end{cases}\tag{**} \] They assume that there exists an open bounded set \(\Lambda \subset\mathbb R^N\) satisfying \[ \inf_{P\in \Lambda} m(P) < \inf_{P\in \partial \Lambda} m(P). \] They show that (*) possesses a family of non-trivial vector positive solutions \(\{ (v_{1\varepsilon}(x), v_{2\varepsilon}(x)) \}_{\varepsilon \in (0, \varepsilon_0]}\) which concentrates -- after extracting a subsequence \(\varepsilon_n \to 0\) -- to a point \(P_0 \in \Lambda\) with \(m(P_0)=\inf_{P\in \Lambda}m(P)\). Moreover, \((v_{1\varepsilon}(x), v_{2\varepsilon}(x))\) converges to a least energy non-trivial vector solution of (**) after a suitable rescaling.