This article examines nonnegative solutions of the two-component elliptic Gross-Pitaevskii system{ϵ1Δu1=u1(u12+λu22−1)inRn,ϵ2Δu2=u2(u22+λu12−1)inRn, for parameters 1<λ<∞ and ϵ1,ϵ2∈R+. We provide a natural counterpart of the De Giorgi's conjecture, regarding the Allen-Cahn equation, for the above system and we settle it for n≤3. We prove and apply a geometric Poincaré inequality to show that∇u1⋅∇u2=−|∇u1||∇u2|. We study symmetry of components when ϵ1=ϵ2 and asymmetry of components when ϵ1≠ϵ2. In one dimension, we explore explicit profiles of solutions for specific parameters λ,ϵ1,ϵ2. In addition, we provide a gradient estimate, various energy estimates, Liouville theorems, monotonicity formulae and a formalization of surface tensions of the energy for solutions of the above system.Note that when λ=0, the above system becomes decoupled and recovers the Allen-Cahn equation. The De Giorgi conjecture (1978) for the Allen-Cahn equation states that bounded monotone solutions of the Allen-Cahn equation are one-dimensional when n≤8. This conjecture is already settled under certain assumptions. When 0<λ≤1, the system refers to the real-valued Ginzburg-Landau system and nonnegative solutions are trivial.
Read full abstract