Coron's problem for the critical Lane-Emden system (Q6166753)

The authors address the solvability of the critical Lane-Emden system \[ \left\{ \begin{array}{ll} -\Delta u = \vert v \vert^{p-1}v &\hbox{in \(\Omega_\varepsilon\)} \\ -\Delta v = \vert u \vert^{q-1}u &\hbox{in \(\Omega_\varepsilon\)} \\ u=v=0 &\hbox{on \(\partial \Omega_\varepsilon\)} \end{array} \right. \] where \(N \geq 4\), \(\Omega\) is a smooth bounded domain in \(\mathbb{R}^N\) such that \(0 \in \Omega\), \(\varepsilon>0\) is a small number, \(\Omega_\varepsilon = \Omega \setminus B(0,\varepsilon)\), \(p \in \left(1, \frac{N-1}{N-2} \right)\), and the pair \((p, q)\) is on the Sobolev hyperbola \[ \frac{1}{p+1}+\frac{1}{q+1}=\frac{N-2}{N}. \] The authors prove that the system admits a family of positive solutions that concentrate around the center of the hole as \(\varepsilon \to 0\), obtaining a concrete qualitative description of the solutions as well.