Phase separating solutions for two component systems in general planar domains (Q6039205)

This paper is concerned with the construction of phase separating solutions for the following the system: \[ \begin{aligned} &-\Delta u_1 = f (u_1, x) - \beta u_1u^2_2 \text{ in }\Omega,\\ &-\Delta u_2 = f (u_2, x) -\beta u_2u^2_1 \text{ in } \Omega,\\ & \hspace{2cm} u_1|_{\partial \Omega} = u_2 |_{\partial \Omega}= 0, \end{aligned}\tag{1} \] as the parameter \(\beta\) is large enough. Here \(\Omega \subset \mathbb{R}^2\) is a bounded with smooth boundary. If the function \(f \in C^{3,\gamma} (\mathbb{R} \times \Omega)\) with \(\gamma \in (0,1)\), and \(w \in H^s(\Omega) \ ( s > 11/2 )\) is a non-degenerate solution (see the definition in the paper) to the Dirichlet problem \[ - \Delta w = f (w, x) \text{ in } \Omega, \ w|_{\partial \Omega} = 0, \] the authors prove that the system (1) has a solution \((u_1, u_2)\) such that, as \(\beta\rightarrow +\infty\), \[ \|w_i - u_i \|_{C^\alpha (\Omega) }= \mathcal{O} (\beta^{-(1\alpha)/4}) \text{ with } \alpha \in [0,1), \] and, for some \(\alpha \in (0,1/2)\), \[ \|w_i - u_i \|_{C^{2,\alpha}(K)} = \mathcal{O} (\beta^{-1/4}), \] over the compacts \(K \subset \Omega\setminus \Gamma\) and \(\Gamma = \{x\in \Omega: w(x) = 0\}.\)