Existence of least energy positive solutions to Schrödinger systems with mixed competition and cooperation terms: the critical case

Abstract

In this paper we investigate the existence of solutions to the following Schrodinger system in the critical case $$\begin{aligned} -\Delta u_{i}+\lambda _{i}u_{i}=u_{i}\sum _{j = 1}^{d}\beta _{ij}u_{j}^{2} \text { in } \Omega , \quad u_i=0 \text { on } \partial \Omega , \qquad i=1,\ldots ,d. \end{aligned}$$Here, $$\Omega \subset {\mathbb {R}}^{4}$$ is a smooth bounded domain, $$d\ge 2$$, $$-\lambda _{1}(\Omega ) 0$$ for every i, $$\beta _{ij}=\beta _{ji}$$ for $$i\ne j$$, where $$\lambda _{1}(\Omega )$$ is the first eigenvalue of $$-\Delta $$ with Dirichlet boundary conditions. Under the assumption that the components are divided into m groups, and that $$\beta _{ij}\ge 0$$ (cooperation) whenever components i and j belong to the same group, while $$\beta _{ij}<0$$ or $$\beta _{ij}$$ is positive and small (competition or weak cooperation) for components i and j belonging to different groups, we establish the existence of nonnegative solutions with m nontrivial components, as well as classification results. Moreover, under additional assumptions on $$\beta _{ij}$$, we establish existence of least energy positive solutions in the case of mixed cooperation and competition. The proof is done by induction on the number of groups, and requires new estimates comparing energy levels of the system with those of appropriate sub-systems. In the case $$\Omega ={\mathbb {R}}^4$$ and $$\lambda _1=\cdots =\lambda _m=0$$, we present new nonexistence results. This paper can be seen as the counterpart of Soave and Tavares (J Differ Equ 261:505–537, 2016) in the critical case, while extending and improving some results from Chen and Zou (Arch Ration Mech Anal 205:515–551, 2012) and Guo et al. (Nonlinearity 31:314–339, 2018).