Monotonicity and rigidity of solutions to some elliptic systems with uniform limits

In this paper, we prove the validity of Gibbons’ conjecture for a coupled competing Gross–Pitaevskii system. We also provide sharp a priori bounds, regularity results and additional Liouville-type theorems.