For the extended Fisher–Kolmogorov equation Δ2u−βΔu=u−u3\Delta^2 u-\beta\Delta u=u-u^3 in RN\mathbb{R}^N (the fourth-order Allen–Cahn equation with stabilizing parameter β≥0\beta\ge 0), Bonheure and Hamel proved a Gibbons-type one-dimensional symmetry theorem for solutions satisfying the uniform limits u→±1u\to\pm 1 as xN→±∞x_N\to\pm\infty when β≥8\beta\ge\sqrt{8}, but only under an auxiliary L∞L^\infty amplitude bound (∥u∥L∞(RN)<5\|u\|_{L^\infty(\mathbb{R}^N)}<\sqrt{5}). The problem is to classify all bounded standing fronts of this equation, that is, solutions with the limits u→±1u\to\pm 1 as xN→±∞x_N\to\pm\infty — uniform in x′x' in the regime β≥8\beta\ge\sqrt{8} and for every x′x' in the regime 0≤β<80\le\beta<\sqrt{8}. The two linked regimes are: (i) for β≥8\beta\ge\sqrt{8}, prove one-dimensional symmetry for solutions with the uniform limits and with no a priori amplitude restriction; and (ii) for 0≤β<80\le\beta<\sqrt{8}, decide whether non-planar standing fronts (solutions whose level sets are not hyperplanes) exist.

Background

The classical Allen–Cahn equation Δu=u3−u\Delta u=u^3-u is a basic model of phase transitions between two stable constant states u=±1u=\pm 1. A famous 1979 conjecture of De Giorgi predicts that any bounded solution monotone in one direction has planar level sets, at least in low dimensions; it is proved for N=2N=2 (Ghoussoub–Gui) and N=3N=3 (Ambrosio–Cabré), for 4≤N≤84\le N\le 8 under the additional hypothesis of limits u→±1u\to\pm 1 as xN→±∞x_N\to\pm\infty (Savin, via Γ\Gamma-convergence), and false for N≥9N\ge 9 (del Pino–Kowalczyk–Wei). The weaker statement with the limits u(x′,xN)→±1u(x',x_N)\to\pm 1 as xN→±∞x_N\to\pm\infty taken uniformly in x′=(x1,…,xN−1)x'=(x_1,\dots,x_{N-1}) — Gibbons' conjecture — holds in all dimensions for the second-order equation by the sliding method (comparing uu with its own translates in the xNx_N direction and using the maximum principle) and related comparison arguments (Berestycki–Hamel–Monneau; Barlow–Bass–Gui). The source paper studies the fourth-order analogue: the extended Fisher–Kolmogorov (EFK) equation Δ2u−βΔu=u−u3in RN,β>0,\Delta^2 u-\beta\Delta u=u-u^3\quad\text{in }\mathbb{R}^N,\qquad\beta>0, introduced by Dee and van Saarloos as a higher-order model for bistable physical systems (with β<0\beta<0 it corresponds to the stationary Swift–Hohenberg equation of Rayleigh–Bénard convection). Here Δ2\Delta^2 is the biharmonic operator (the Laplacian applied twice), so the equation is fourth order and the maximum principle and standard comparison principles fail; the parameter β\beta stabilizes the front: the threshold β≥8\beta\ge\sqrt{8} is exactly the condition that the linearization about u=±1u=\pm 1 has no oscillatory (saddle-focus) modes, and one-dimensional phase-plane analysis (Peletier–Troy) shows that monotone 1D fronts exist precisely for β≥8\beta\ge\sqrt{8}. Bonheure and Hamel proved (Theorem 1.4) that for any N≥1N\ge 1 and β≥8\beta\ge\sqrt{8}, a bounded classical solution of the EFK equation satisfying the uniform limits u→±1u\to\pm 1 as xN→±∞x_N\to\pm\infty together with the quantitative amplitude bound ∥u∥L∞(RN)<5\|u\|_{L^\infty(\mathbb{R}^N)}<\sqrt{5} depends only on xNx_N and is increasing in it — a Gibbons-type theorem in all dimensions. They also proved Liouville-type rigidity for solutions converging uniformly to the same equilibrium ±1\pm 1 in a direction (Theorem 1.5). The method is a half-space comparison/sliding scheme whose key monotonicity-type inequality holds under the spectral condition β≥2ω\beta\ge 2\sqrt{\omega} for the general nonlinearity. The amplitude hypothesis is genuinely used: in dimension N=1N=1 a first integral of the ODE gives ∥u∥L∞(R)≤2\|u\|_{L^\infty(\mathbb{R})}\le\sqrt{2} for every bounded solution and every β>0\beta>0, but no analogous a priori bound is known in N≥2N\ge 2, where no first integral exists. For 0≤β<80\le\beta<\sqrt{8} the one-dimensional dynamics is rich — besides multi-bump and layered stationary profiles (Peletier–Troy), Kalies and VanderVorst constructed multitransition homoclinic and heteroclinic solutions of the EFK equation — and no monotone 1D fronts exist, so whether any non-planar standing fronts exist in N≥2N\ge 2 is wide open.

Problem Statement

Classify the standing fronts of the extended Fisher–Kolmogorov (fourth-order Allen–Cahn) equation Δ2u−βΔu=u−u3in RN,\Delta^2 u-\beta\Delta u=u-u^3\quad\text{in }\mathbb{R}^N, that is, the bounded classical solutions satisfying the limits u(x′,xN)→±1u(x',x_N)\to\pm 1 as xN→±∞x_N\to\pm\infty — the uniform limits (1.5) of the source in the regime β≥8\beta\ge\sqrt{8}, and the limits for every x′=(x1,…,xN−1)∈RN−1x'=(x_1,\dots,x_{N-1})\in\mathbb{R}^{N-1} (condition (1.4) of the source) in the regime 0≤β<80\le\beta<\sqrt{8} — for all N≥2N\ge 2 and all β≥0\beta\ge 0 (β=0\beta=0 being the limiting pure biharmonic case, included in the source's questions). This comprises two linked regimes with one common objective (completing the classification of standing fronts across the parameter range):

(1) For β≥8\beta\ge\sqrt{8}: prove that every bounded solution satisfying the stronger uniform limits u(x′,xN)→±1u(x',x_N)\to\pm 1 as xN→±∞x_N\to\pm\infty, uniformly in x′x' (condition (1.5) of the source, the hypothesis of its Theorem 1.4), is one-dimensional — it depends only on xNx_N and is increasing in it — with no a priori L∞L^\infty amplitude bound or one-sided assumption such as u≤1u\le 1 or u≥−1u\ge-1.

(2) For 0≤β<80\le\beta<\sqrt{8}: decide whether there exist bounded solutions satisfying the limits u(x′,xN)→±1u(x',x_N)\to\pm 1 as xN→±∞x_N\to\pm\infty for every x′x' (condition (1.4) of the source, i.e. its Open question 1.3) whose level sets are not hyperplanes (non-planar standing fronts), and if so, describe them; or prove that none exist.

The two regimes together delimit where the fourth-order bistable equation admits only planar phase-separating fronts, completing the program identified in the source paper.

References

  1. Denis Bonheure, François Hamel, 'One-dimensional symmetry and Liouville type results for the fourth order Allen-Cahn equation in R^N', Chinese Annals of Mathematics, Series B 38(1):149–172, 2017. DOI 10.1007/s11401-016-1065-2, arXiv:1508.00333. https://doi.org/10.1007/s11401-016-1065-2
  2. G. T. Dee, W. van Saarloos, 'Bistable systems with propagating fronts leading to pattern formation', Physical Review Letters 60(25):2641–2644, 1988. DOI 10.1103/PhysRevLett.60.2641. https://doi.org/10.1103/PhysRevLett.60.2641
  3. L. A. Peletier, W. C. Troy, 'Spatial Patterns: Higher Order Models in Physics and Mechanics', Birkhäuser, Boston, 2001. DOI 10.1007/978-1-4612-0135-9. https://doi.org/10.1007/978-1-4612-0135-9
  4. H. Berestycki, F. Hamel, R. Monneau, 'One-dimensional symmetry of bounded entire solutions of some elliptic equations', Duke Mathematical Journal 103(3):375–396, 2000. DOI 10.1215/S0012-7094-00-10331-6. https://doi.org/10.1215/S0012-7094-00-10331-6
  5. M. T. Barlow, R. F. Bass, C. Gui, 'The Liouville property and a conjecture of De Giorgi', Communications on Pure and Applied Mathematics 53(8):1007–1038, 2000. DOI 10.1002/1097-0312(200008)53:8<1007::AID-CPA3>3.0.CO;2-U. https://doi.org/10.1002/1097-0312(200008)53:8%3C1007::AID-CPA3%3E3.0.CO;2-U
  6. N. Ghoussoub, C. Gui, 'On a conjecture of De Giorgi and some related problems', Mathematische Annalen 311(3):481–491, 1998. DOI 10.1007/s002080050196. https://doi.org/10.1007/s002080050196
  7. L. Ambrosio, X. Cabré, 'Entire solutions of semilinear elliptic equations in R^3 and a conjecture of De Giorgi', Journal of the American Mathematical Society 13:725–739, 2000. DOI 10.1090/S0894-0347-00-00345-3. https://doi.org/10.1090/S0894-0347-00-00345-3
  8. O. Savin, 'Regularity of flat level sets in phase transitions', Annals of Mathematics 169:41–78, 2009. DOI 10.4007/annals.2009.169.41. https://doi.org/10.4007/annals.2009.169.41
  9. M. del Pino, M. Kowalczyk, J. Wei, 'On De Giorgi's conjecture in dimension N≥9', Annals of Mathematics 174:1485–1569, 2011. DOI 10.4007/annals.2011.174.3.3. https://doi.org/10.4007/annals.2011.174.3.3
  10. D. Hilhorst, L. A. Peletier, R. Schätzle, 'Γ-limit for the extended Fisher-Kolmogorov equation', Proceedings of the Royal Society of Edinburgh Section A 132:141–162, 2002. DOI 10.1017/S0308210500001566. https://doi.org/10.1017/S0308210500001566
  11. Denis Bonheure, Juraj Földes, Alberto Saldaña, 'Qualitative properties of solutions to mixed-diffusion bistable equations', Calculus of Variations and Partial Differential Equations 55(3), article 67, 2016. DOI 10.1007/s00526-016-0987-6, arXiv:1509.07468. https://doi.org/10.1007/s00526-016-0987-6
  12. Radu Ignat, Hamdi Zorgati, 'Dimension Reduction and Optimality of the Uniform State in a Phase-Field-Crystal Model Involving a Higher-Order Functional', Journal of Nonlinear Science 30(1):261–282, 2020. DOI 10.1007/s00332-019-09573-0, arXiv:1812.09200. https://doi.org/10.1007/s00332-019-09573-0
  13. Phuong Le, 'Rigidity of solutions to elliptic equations with one uniform limit', Archiv der Mathematik 123(5):531–542, 2024. DOI 10.1007/s00013-024-02040-7. https://doi.org/10.1007/s00013-024-02040-7
  14. W. D. Kalies, R. C. A. M. VanderVorst, 'Multitransition Homoclinic and Heteroclinic Solutions of the Extended Fisher–Kolmogorov Equation', Journal of Differential Equations 131(2):209–228, 1996. DOI 10.1006/jdeq.1996.0161. https://doi.org/10.1006/jdeq.1996.0161