Symmetry of components and Liouville theorems for noncooperative elliptic systems on the half-space (Q2449599)

The present paper deals with properties of the solutions of the following equations on \(H_n\) (the real upper half-space) \[ -\Delta u=f(u,v)\quad \text{and}\quad -\Delta v=g(u,v).\tag{\(*\)} \] Thus, the authors show three results. The first one states that if a solution pair associated to \((*)\) satisfies \[ [f(u,v)-g(u,v)][u-Kv]\leq 0,\tag{\(**\)} \] \(K\) is a positive constant, \(u=Kv\) on \(\partial H_n\), the boundary of \(H_n\), and \(u(x)=v(x)=o(|x|)\) for \(x\) close to infinity [this condition takes the name of sublinear growth], then \(u\) and \(v\) remain proportional in \(H_n\) (Theorem 2.1). Then by considering explicit functions \(f,g\) the authors give sufficient conditions for a solution pair associated to \((*)\) to be trivial (Theorem 2.2). On the second result, the authors withdraw the assumption of sublinear growth and swap the condition \((**)\) by \(f(u,v)\geq cu^rv^{p+q}\); \(g(u,v)\geq cu^{r+q}v^{p}\), where \(c>0,\;p\geq 0, q\geq 0,\;r\geq0\), then by making hypothesis on these numbers, they show that \((u,v)\), a solution pair of \((*)\), is either semitrivial or proportional to each other (Theorem 2.3). Amongst the tools used for the proof, the authors show the rigidity result for superharmonic functions (Lemma 3.3). Regarding the third result, the authors consider \(f,g\) constituted by Hölder continuous functions on a smooth bounded domain of \(\mathbb R^n\) and give sufficient conditions for a solution pair to be bounded and positive, respectively (Theorem 2.4).