Positive least energy solutions for $k$-coupled Schrödinger system with critical exponent: the higher dimension and cooperative case
In this paper, we study the following $k$-coupled nonlinear Schrödinger system with Sobolev critical exponent: \begin{equation*} \left\{ \begin{aligned} -Δu_i & +λ_iu_i =μ_i u_i^{2^*-1}+\sum_{j=1,j\ne i}^{k} β_{ij} u_{i}^{\frac{2^*}{2}-1}u_{j}^{\frac{2^*}{2}} \quad \hbox{in}\;Ω,\newline u_i&>0 \quad \hbox{in}\; Ω\quad \hbox{and}\quad u_i=0 \quad \hbox{on}\;\partialΩ, \quad i=1,2,\cdots, k. \end{aligned} \right. \end{equation*} Here $Ω\subset \mathbb{R}^N $ is a smooth bounded domain, $2^{*}=\frac{2N}{N-2}$ is the Sobolev critical exponent, $-λ_1(Ω)<λ_i<0, μ_i>0$ and $ β_{ij}=β_{ji}\ne 0$, where $λ_1(Ω)$ is the first eigenvalue of $-Δ$ with the Dirichlet boundary condition. We characterize the positive least energy solution of the $k$-coupled system for the purely cooperative case $β_{ij}>0$, in higher dimension $N\ge 5$. Since the $k$-coupled case is much more delicated, we shall introduce the idea of induction. We point out that the key idea is to give a more accurate upper bound of the least energy. It's interesting to see that the least energy of the $k$-coupled system decreases as $k$ grows. Moreover, we establish the existence of positive least energy solution of the limit system in $\mathbb{R}^N$, as well as classification results.