Moving planes for domain walls in a coupled system

Alberto Farina (LAMFA); Amandine Aftalion (CAMS); Luc Nguyen (MI)

arxiv: 1907.09777 · v1 · pith:GJIZDK76new · submitted 2019-07-23 · 🧮 math.AP

Moving planes for domain walls in a coupled system

Amandine Aftalion (CAMS) , Alberto Farina (LAMFA) , Luc Nguyen (MI) This is my paper

Pith reviewed 2026-05-24 17:28 UTC · model grok-4.3

classification 🧮 math.AP

keywords moving plane methoddomain wallsphase transition solutionsBose-Einstein condensatesRabi couplingmonotonicityone-dimensionality

0 comments

The pith

Moving planes establish monotonicity and one-dimensionality for phase transition solutions in a coupled condensate system.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper applies the moving plane method to a system modeling phase segregation in two-component Bose-Einstein condensates that includes a Rabi coupling term. It aims to prove that the phase transition solutions are monotone and one-dimensional, even though the system is non-cooperative and lacks a maximum principle. Novel estimates are introduced to support the method, which also yields uniqueness of one-dimensional solutions up to translations. For large Rabi coefficients, only constant solutions exist.

Core claim

The central claim is that the moving plane method can be applied to prove monotonicity in one direction and one-dimensionality of the phase transition solutions for this coupled elliptic system. This requires new estimates that work for the non-cooperative case without a maximum principle. One-dimensional solutions are unique up to translations, and sufficiently large Rabi coefficients force all solutions to be constant.

What carries the argument

The moving plane method together with new estimates for the non-cooperative system that lacks a maximum principle.

Load-bearing premise

The new estimates developed for the non-cooperative system are valid and sufficient to carry out the moving plane argument on the phase transition solutions.

What would settle it

Exhibiting a non-monotone or genuinely two-dimensional phase transition solution for a small positive Rabi coefficient would falsify the claims.

read the original abstract

The system leading to phase segregation in two-component Bose-Einstein condensates can be generalized to hyperfine spin states with a Rabi term coupling. This leads to domain wall solutions having a monotone structure for a non-cooperative system. We use the moving plane method to prove mono-tonicity and one-dimensionality of the phase transition solutions. This relies on totally new estimates for a type of system for which no Maximum Principle a priori holds. We also derive that one dimensional solutions are unique up to translations. When the Rabi coefficient is large, we prove that no non-constant solutions can exist.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper supplies new estimates to run moving planes on a non-cooperative system without a maximum principle, but those estimates are the load-bearing and unverified step.

read the letter

The main advance is a set of a priori estimates that replace the missing maximum principle for this coupled elliptic system with Rabi term. With those in hand the authors run the moving plane method to conclude that the phase transition solutions are monotone, hence one-dimensional, and that the one-dimensional solutions are unique up to translation. They also show that sufficiently large Rabi coupling forces all solutions to be constant. These are concrete statements for a model that comes from two-component Bose-Einstein condensates with hyperfine coupling. The abstract is explicit that the estimates are new and that the system is non-cooperative, so the work is not just a routine application of existing techniques. That is the part worth noting. The rest of the argument follows standard lines once the comparison principle is restored by the estimates. The soft spot is precisely the one flagged in the stress-test note. Everything rests on whether the new estimates actually control the sign of the directional derivative or the difference between a solution and its translate when the Rabi coupling is present. The abstract gives no derivation, no error bounds, and no check against the decoupled limit where a maximum principle is known to hold. Without those details it is impossible to judge whether the estimates close the argument or whether they only work under extra restrictions on the nonlinearities. A reader who works on symmetry results for systems or on phase segregation models would find the paper useful once the estimates are verified. The claims are specific enough to be checked by referees familiar with moving planes. I would bring the paper to a reading group that already discusses elliptic systems or mathematical physics models, but I would not cite it until the estimates are confirmed. It deserves peer review because the question is well-posed and the method is standard enough that referees can evaluate the new estimates directly.

Referee Report

2 major / 2 minor

Summary. The manuscript applies the moving plane method to a coupled nonlinear Schrödinger system with Rabi coupling term modeling domain walls in two-component Bose-Einstein condensates. It establishes monotonicity and one-dimensional symmetry of phase-transition solutions via new a priori estimates that substitute for the absent maximum principle in this non-cooperative system, proves uniqueness of one-dimensional solutions up to translations, and shows non-existence of non-constant solutions for large Rabi coefficients.

Significance. If the novel estimates are valid and sufficient, the work would meaningfully extend the moving-plane technique to a class of systems where standard comparison principles fail, providing structural results for solutions of coupled Gross-Pitaevskii equations that are relevant to phase segregation phenomena.

major comments (2)

[Section 3 (new estimates) and proof of Theorem 1.2] The moving-plane argument for monotonicity (and hence one-dimensionality) rests entirely on the new estimates developed to control the sign of the directional derivative in the absence of a maximum principle. These estimates are described as 'totally new' for the Rabi-coupled non-cooperative system, yet the manuscript provides no explicit verification against limiting cases (e.g., vanishing Rabi coefficient) where a maximum principle is known to hold and the conclusion is already established by other methods.
[Section 4 (application of moving planes) and Section 5 (large-Rabi case)] Once the Rabi term is present, the comparison step that permits the plane to move requires the estimates to dominate the coupling; the abstract and proof sketch give no indication that the estimates were tested against the specific nonlinearities or against the large-Rabi non-existence regime claimed in the final result.

minor comments (2)

[Abstract] The abstract contains a hyphenation artifact ('mono-tonicity').
[Introduction and Section 2] Notation for the Rabi coefficient and the precise form of the nonlinearity should be stated uniformly from the introduction onward to avoid ambiguity when the estimates are applied.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below.

read point-by-point responses

Referee: [Section 3 (new estimates) and proof of Theorem 1.2] The moving-plane argument for monotonicity (and hence one-dimensionality) rests entirely on the new estimates developed to control the sign of the directional derivative in the absence of a maximum principle. These estimates are described as 'totally new' for the Rabi-coupled non-cooperative system, yet the manuscript provides no explicit verification against limiting cases (e.g., vanishing Rabi coefficient) where a maximum principle is known to hold and the conclusion is already established by other methods.

Authors: We agree that an explicit verification in the vanishing Rabi coefficient limit would improve the exposition. The estimates in Section 3 are derived in a manner that holds uniformly for all nonnegative values of the Rabi coefficient, so the decoupled case is formally included. In the revised manuscript we will add a remark in Section 3 that explicitly recovers the standard comparison principle (and hence the known one-dimensional symmetry results) when the Rabi term is set to zero. This will be done without altering the main proofs. revision: yes
Referee: [Section 4 (application of moving planes) and Section 5 (large-Rabi case)] Once the Rabi term is present, the comparison step that permits the plane to move requires the estimates to dominate the coupling; the abstract and proof sketch give no indication that the estimates were tested against the specific nonlinearities or against the large-Rabi non-existence regime claimed in the final result.

Authors: The a priori estimates of Section 3 are obtained for the precise nonlinearities appearing in the system and do not require smallness of the Rabi coefficient; they are applied verbatim in the moving-plane argument of Section 4. The non-existence result of Section 5 is established by a separate energy argument that is consistent with the estimates but does not rely on them for the contradiction. To address the referee's concern we will insert a short clarifying paragraph in the introduction and at the beginning of Section 5 that explicitly notes the range of applicability of the estimates with respect to the Rabi coefficient and the given nonlinear terms. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new estimates support moving-plane application

full rationale

The paper states it develops 'totally new estimates' for a non-cooperative system lacking a maximum principle, then applies the moving-plane method to obtain monotonicity and one-dimensionality. Uniqueness up to translation and non-existence for large Rabi coefficient follow from those results. No quoted step reduces a claimed prediction or uniqueness theorem to a fitted input, self-definition, or load-bearing self-citation chain. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Central claim depends on validity of new estimates and applicability of moving plane method; no free parameters, invented entities, or ad-hoc axioms mentioned in abstract.

axioms (1)

standard math Standard properties of elliptic PDEs and comparison principles hold in the background
Implicit for moving plane method applications in elliptic systems.

pith-pipeline@v0.9.0 · 5627 in / 1065 out tokens · 25864 ms · 2026-05-24T17:28:10.023607+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We use the moving plane method to prove monotonicity and one-dimensionality of the phase transition solutions. This relies on totally new estimates for a type of system for which no Maximum Principle a priori holds.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

u² + v² ≤ 1 and uv ≥ ω/α ... the system gets a structure of the type −Δu = u f1(u,v) + v f2(u,v) ...

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages · 1 internal anchor

[1]

Aftalion and P

A. Aftalion and P. Mason , Rabi-coupled two-component Bose-Einstein con- densates: Classiﬁcation of the ground states, defects, and energy estimates, Phys. Rev. A, 94 (2016), p. 023616

work page 2016
[2]

Aftalion and C

A. Aftalion and C. Sourdis , Interface layer of a two-component Bose- Einstein condensate , Commun. Contemp. Math., 19 (5) (2017)

work page 2017
[3]

, Phase transition in a Rabi coupled two-component Bose–Eins tein conden- sate, Nonlinear Analysis, 184 (2019), pp. 381–397

work page 2019
[4]

Alama, L

S. Alama, L. Bronsard, A. Contreras, and D. Pelinovsky , Domain walls in the coupled Gross–Pitaevskii equations , Archive for Rational Mechanics and Analysis, 215 (2015), pp. 579–610

work page 2015
[5]

Berestycki, L

H. Berestycki, L. Caffarelli, and L. Nirenberg , Monotonicity for el- liptic equations in unbounded Lipschitz domains. , Comm. Pure Appl. Math., L (1997), pp. 1089–1111

work page 1997
[6]

Berestycki, T.-C

H. Berestycki, T.-C. Lin, J. Wei, and C. Zhao , On phase-separation models: asymptotics and qualitative properties , Archive for Rational Mechanics and Analysis, 208 (2013), pp. 163–200

work page 2013
[7]

Berestycki and L

H. Berestycki and L. Nirenberg , Some qualitative properties of solutions of semilinear elliptic equations in cylindrical domains , in Analysis, et cetera, Academic Press, Boston, MA, 1990, pp. 115–164. 32

work page 1990
[8]

Berestycki and L

H. Berestycki and L. Nirenberg , On the method of moving planes and the sliding method , Boletim da Sociedade Brasileira de Matem´ atica- Bulletin/Brazilian Mathematical Society, 22 (1991), pp. 1–37

work page 1991
[9]

Berestycki, S

H. Berestycki, S. Terracini, K. W ang, and J. Wei , On entire solutions of an elliptic system modeling phase separations , Advances in Mathematics, 243 (2013), pp. 102–126

work page 2013
[10]

Brezis , Semilinear equations in Rn without condition at inﬁnity , Applied Mathematics and Optimization, 12 (1984), pp

H. Brezis , Semilinear equations in Rn without condition at inﬁnity , Applied Mathematics and Optimization, 12 (1984), pp. 271–282

work page 1984
[11]

E. A. Coddington and N. Levinson , Theory of ordinary diﬀerential equa- tions, McGraw-Hill Book Company, Inc., New York-Toronto-London, 19 55

work page
[12]

N. Dror, B. A. Malomed, and J. Zeng , Domain walls and vortices in linearly coupled systems , Physical Review E, 84 (2011), p. 046602

work page 2011
[13]

F arina, Symmetry for solutions of semilinear elliptic equations in RN and related conjectures, Ricerche Mat., 48 (suppl.) Papers in memory of Ennio De Giorgi

A. F arina, Symmetry for solutions of semilinear elliptic equations in RN and related conjectures, Ricerche Mat., 48 (suppl.) Papers in memory of Ennio De Giorgi. (1999), pp. 129–154

work page 1999
[14]

, Some symmetry results for entire solutions of an elliptic sy stem arising in phase separation, Discrete Contin. Dyn. Syst. A, 34(6) (2014), pp. 2505–2511

work page 2014
[15]

F arina, L

A. F arina, L. Montoro, and B. Sciunzi , Monotonicity and one-dimensional symmetry for solutions of − ∆pu = f (u) in half-spaces , Calculus of Variations and Partial Diﬀerential Equations, 43 (2012), pp. 123–145

work page 2012
[16]

F arina, B

A. F arina, B. Sciunzi, and N. Soave , Monotonicity and rigidity of solutions to some elliptic systems with uniform limits , 2017, to appear in Communications in Contemporary Mathematics, DOI: 10.1142/S021919971950044 5

work page doi:10.1142/s021919971950044 2017
[17]

F arina and N

A. F arina and N. Soave, Monotonicity and 1-dimensional symmetry for solu- tions of an elliptic system arising in Bose-Einstein conden sation, Arch. Ration. Mech. Anal., 213 (2014), pp. 287–326

work page 2014
[18]

Lellouch, T.-L

S. Lellouch, T.-L. Dao, T. Koffel, and L. Sanchez-Palencia , Two- component Bose gases with one-body and two-body couplings , Phys. Rev. A, 88 (2013), p. 063646

work page 2013
[19]

Matthews, B

M. Matthews, B. Anderson, P. Haljan, D. Hall, M. Holland, J. Williams, C. Wieman, and E. Cornell , Watching a superﬂuid untwist itself: Recurrence of Rabi oscillations in a Bose-Einstein condensate, Phys. Rev. Lett., 83 (1999), p. 3358. 33

work page 1999
[20]

C. Qu, M. Tylutki, S. Stringari, and L. Pitaevskii , Magnetic soli- tons in Rabi-coupled Bose-Einstein condensates , Physical Review A, 95 (2017), p. 033614

work page 2017
[21]

On the weak separation limit of a two-component Bose-Einstein condensate

C. Sourdis , On the weak separation limit of a two-component bose-einste in condensate, arXiv preprint arXiv:1611.04470, (2016)

work page internal anchor Pith review Pith/arXiv arXiv 2016
[22]

Usui and H

A. Usui and H. Takeuchi , Rabi-coupled countersuperﬂow in binary Bose- Einstein condensates , Phys. Rev. A, 91 (2015), p. 063635. 34

work page 2015

[1] [1]

Aftalion and P

A. Aftalion and P. Mason , Rabi-coupled two-component Bose-Einstein con- densates: Classiﬁcation of the ground states, defects, and energy estimates, Phys. Rev. A, 94 (2016), p. 023616

work page 2016

[2] [2]

Aftalion and C

A. Aftalion and C. Sourdis , Interface layer of a two-component Bose- Einstein condensate , Commun. Contemp. Math., 19 (5) (2017)

work page 2017

[3] [3]

, Phase transition in a Rabi coupled two-component Bose–Eins tein conden- sate, Nonlinear Analysis, 184 (2019), pp. 381–397

work page 2019

[4] [4]

Alama, L

S. Alama, L. Bronsard, A. Contreras, and D. Pelinovsky , Domain walls in the coupled Gross–Pitaevskii equations , Archive for Rational Mechanics and Analysis, 215 (2015), pp. 579–610

work page 2015

[5] [5]

Berestycki, L

H. Berestycki, L. Caffarelli, and L. Nirenberg , Monotonicity for el- liptic equations in unbounded Lipschitz domains. , Comm. Pure Appl. Math., L (1997), pp. 1089–1111

work page 1997

[6] [6]

Berestycki, T.-C

H. Berestycki, T.-C. Lin, J. Wei, and C. Zhao , On phase-separation models: asymptotics and qualitative properties , Archive for Rational Mechanics and Analysis, 208 (2013), pp. 163–200

work page 2013

[7] [7]

Berestycki and L

H. Berestycki and L. Nirenberg , Some qualitative properties of solutions of semilinear elliptic equations in cylindrical domains , in Analysis, et cetera, Academic Press, Boston, MA, 1990, pp. 115–164. 32

work page 1990

[8] [8]

Berestycki and L

H. Berestycki and L. Nirenberg , On the method of moving planes and the sliding method , Boletim da Sociedade Brasileira de Matem´ atica- Bulletin/Brazilian Mathematical Society, 22 (1991), pp. 1–37

work page 1991

[9] [9]

Berestycki, S

H. Berestycki, S. Terracini, K. W ang, and J. Wei , On entire solutions of an elliptic system modeling phase separations , Advances in Mathematics, 243 (2013), pp. 102–126

work page 2013

[10] [10]

Brezis , Semilinear equations in Rn without condition at inﬁnity , Applied Mathematics and Optimization, 12 (1984), pp

H. Brezis , Semilinear equations in Rn without condition at inﬁnity , Applied Mathematics and Optimization, 12 (1984), pp. 271–282

work page 1984

[11] [11]

E. A. Coddington and N. Levinson , Theory of ordinary diﬀerential equa- tions, McGraw-Hill Book Company, Inc., New York-Toronto-London, 19 55

work page

[12] [12]

N. Dror, B. A. Malomed, and J. Zeng , Domain walls and vortices in linearly coupled systems , Physical Review E, 84 (2011), p. 046602

work page 2011

[13] [13]

F arina, Symmetry for solutions of semilinear elliptic equations in RN and related conjectures, Ricerche Mat., 48 (suppl.) Papers in memory of Ennio De Giorgi

A. F arina, Symmetry for solutions of semilinear elliptic equations in RN and related conjectures, Ricerche Mat., 48 (suppl.) Papers in memory of Ennio De Giorgi. (1999), pp. 129–154

work page 1999

[14] [14]

, Some symmetry results for entire solutions of an elliptic sy stem arising in phase separation, Discrete Contin. Dyn. Syst. A, 34(6) (2014), pp. 2505–2511

work page 2014

[15] [15]

F arina, L

A. F arina, L. Montoro, and B. Sciunzi , Monotonicity and one-dimensional symmetry for solutions of − ∆pu = f (u) in half-spaces , Calculus of Variations and Partial Diﬀerential Equations, 43 (2012), pp. 123–145

work page 2012

[16] [16]

F arina, B

A. F arina, B. Sciunzi, and N. Soave , Monotonicity and rigidity of solutions to some elliptic systems with uniform limits , 2017, to appear in Communications in Contemporary Mathematics, DOI: 10.1142/S021919971950044 5

work page doi:10.1142/s021919971950044 2017

[17] [17]

F arina and N

A. F arina and N. Soave, Monotonicity and 1-dimensional symmetry for solu- tions of an elliptic system arising in Bose-Einstein conden sation, Arch. Ration. Mech. Anal., 213 (2014), pp. 287–326

work page 2014

[18] [18]

Lellouch, T.-L

S. Lellouch, T.-L. Dao, T. Koffel, and L. Sanchez-Palencia , Two- component Bose gases with one-body and two-body couplings , Phys. Rev. A, 88 (2013), p. 063646

work page 2013

[19] [19]

Matthews, B

M. Matthews, B. Anderson, P. Haljan, D. Hall, M. Holland, J. Williams, C. Wieman, and E. Cornell , Watching a superﬂuid untwist itself: Recurrence of Rabi oscillations in a Bose-Einstein condensate, Phys. Rev. Lett., 83 (1999), p. 3358. 33

work page 1999

[20] [20]

C. Qu, M. Tylutki, S. Stringari, and L. Pitaevskii , Magnetic soli- tons in Rabi-coupled Bose-Einstein condensates , Physical Review A, 95 (2017), p. 033614

work page 2017

[21] [21]

On the weak separation limit of a two-component Bose-Einstein condensate

C. Sourdis , On the weak separation limit of a two-component bose-einste in condensate, arXiv preprint arXiv:1611.04470, (2016)

work page internal anchor Pith review Pith/arXiv arXiv 2016

[22] [22]

Usui and H

A. Usui and H. Takeuchi , Rabi-coupled countersuperﬂow in binary Bose- Einstein condensates , Phys. Rev. A, 91 (2015), p. 063635. 34

work page 2015