pith. sign in

arxiv: 2607.02414 · v1 · pith:QAZUSNJUnew · submitted 2026-07-02 · 🧮 math.AP

Weak and strong solutions for a class of quasilinear Allen--Cahn systems

Harald Garcke , Tim Laux , Andrea Poiatti This is my paper

Pith reviewed 2026-07-03 09:16 UTC · model grok-4.3

classification 🧮 math.AP
keywords quasilinear Allen-Cahn systemexistence and uniquenessmaximal regularityminimizing movementshigher integrabilityweak solutionsstrong solutionsenergy decay
0
0 comments X

The pith

The first existence and uniqueness results are established for quasilinear Allen-Cahn systems whose gradient energy contains zero-order terms.

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

The paper proves local-in-time strong solutions exist and are unique by applying maximal regularity theory, handling linear constraints and nonlinear boundary conditions through non-standard techniques. It then establishes global-in-time weak solutions via a minimizing movement scheme, overcoming the lack of lambda-convexity by first proving boundedness and then applying the Giaquinta-Modica higher-integrability argument to pass to the limit. A sharp energy decay property is also shown using de Giorgi interpolation. These results address a gap that has persisted for nearly thirty years due to the non-convex gradient term and quadratic appearance of gradients in the weak form. The systems allow easy calibration of surface tensions and mobilities, which matters for applications in phase-field modeling.

Core claim

We give the first existence and uniqueness results for quasilinear Allen-Cahn systems with zero-order contributions in the gradient energy term. Local strong solutions are obtained from maximal regularity despite the involved constraints and boundary conditions. Global weak solutions follow from a minimizing movement approach after establishing higher integrability of the gradient via boundedness and the Giaquinta-Modica lemma, which permits passage to the limit even without lambda-convexity; de Giorgi interpolation then yields sharp energy decay.

What carries the argument

The quasilinear structure of the system (gradient term containing zero-order contributions), which permits maximal regularity for strong solutions and Giaquinta-Modica higher-integrability for weak solutions despite non-convexity.

If this is right

  • Local-in-time strong solutions exist and are unique for the quasilinear system.
  • Global-in-time weak solutions exist via time-discrete approximations that converge after higher integrability is established.
  • A sharp energy decay property holds for the weak solutions despite the energy not being lambda-convex.
  • The results apply to systems where surface tensions and mobilities can be calibrated directly through the zero-order terms.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The approach may extend to other phase-field models with non-convex gradient energies once similar boundedness and integrability steps are verified.
  • Numerical schemes based on the minimizing movement method could now be justified rigorously for these calibrated systems.
  • Applications in materials science gain a mathematical foundation for using such energies to control interface properties without convexity assumptions.

Load-bearing premise

The specific structure of the quasilinear system permits the application of maximal regularity and the Giaquinta-Modica higher-integrability argument despite the lack of lambda-convexity.

What would settle it

A concrete initial datum and parameter set for which either no strong solution exists on any positive time interval or the minimizing movement scheme fails to converge to a weak solution satisfying the energy inequality.

read the original abstract

We consider a quasilinear Allen--Cahn system which arises when the gradient energy term in the Ginzburg--Landau energy also contains zero order terms. Such systems offer significant advantages in applications, since surface tensions and mobilities can be easily calibrated. The analysis for these systems is highly challenging, partly due to the fact that the gradient term in the energy is non-convex and since gradient terms appear quadratically in the weak formulation. This explains why an existence theory has been lacking for nearly thirty years. In this paper, we give the first existence and uniqueness results for such systems. Firstly, we prove existence and uniqueness of local-in-time strong solutions using the theory of maximal regularity. Here, non-standard techniques have to be applied due to the fact that linear constraints on the solution are involved and due to nonlinear boundary conditions. Secondly, using a minimizing movement approach we show the existence of global-in-time weak solutions. Here, the main difficulty arises from the fact that the underlying energy is not $\lambda$-convex. We overcome this issue by proving higher integrability of the gradient of the solution, first showing that solutions are bounded and then using an approach by Giaquinta and Modica. This finally allows us to pass to the limit in the time-discrete approximation. Using the de Giorgi interpolation technique, we are also able to show a sharp energy decay property despite the lack of convexity of the energy.

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.

Referee Report

0 major / 3 minor

Summary. The paper establishes the first local-in-time strong solutions (via maximal regularity, adapted to linear constraints and nonlinear boundary conditions) and global-in-time weak solutions (via minimizing movements) for quasilinear Allen-Cahn systems whose gradient energy contains zero-order terms. The lack of λ-convexity is overcome by proving boundedness followed by Giaquinta-Modica higher integrability of the gradient, after which the time-discrete limit is passed; de Giorgi interpolation yields a sharp energy decay property.

Significance. If the results hold, the work supplies the first existence/uniqueness theory for a class of systems that has been open for nearly thirty years and that permits direct calibration of surface tensions and mobilities. The structural assumptions on the quasilinear terms are used to justify both the maximal-regularity step and the higher-integrability argument, and the combination of local strong and global weak solutions with energy decay is a substantive advance for the field.

minor comments (3)
  1. §1, line 12: the phrase 'gradient terms appear quadratically in the weak formulation' would benefit from an explicit display of the weak form to clarify the precise quadratic structure being handled.
  2. §3.2, after Eq. (3.4): the compatibility condition between the nonlinear boundary operator and the linear constraint is stated but its verification for the admissible class is only sketched; a short paragraph confirming that the class is closed under the required operations would improve readability.
  3. Table 1 (if present) or the statement of Theorem 4.1: the precise growth exponents on the zero-order terms in the gradient energy should be listed explicitly so that the Giaquinta-Modica constants can be traced back to them.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the detailed summary, and the recommendation for minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; standard existence proofs via external tools

full rationale

The manuscript establishes local strong solutions via maximal regularity (handling constraints and nonlinear BC) and global weak solutions via minimizing movements plus Giaquinta-Modica higher integrability to offset missing λ-convexity. All load-bearing steps invoke external theorems whose hypotheses are verified directly from the paper's structural assumptions on the energy (gradient term with zero-order contributions); these assumptions are part of the problem class definition rather than derived from the target result. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citation chains appear. The derivation is self-contained against the cited analytic machinery.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper is a pure existence proof in PDE theory and introduces no new physical constants, fitted parameters, or postulated entities. It relies on standard background results from maximal regularity theory and Sobolev-space embeddings.

axioms (2)
  • domain assumption The energy functional belongs to a class for which the quasilinear structure permits application of maximal regularity despite linear constraints and nonlinear boundary conditions.
    Invoked in the strong-solution section of the abstract.
  • domain assumption Solutions remain bounded, allowing Giaquinta-Modica higher integrability to restore compactness despite lack of lambda-convexity.
    Central step in the weak-solution existence argument described in the abstract.

pith-pipeline@v0.9.1-grok · 5788 in / 1418 out tokens · 23727 ms · 2026-07-03T09:16:26.853103+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

45 extracted references · 35 canonical work pages

  1. [1]

    Miranville, Alain and Schimperna, Giulio , TITLE =. Adv. Math. Sci. Appl. , FJOURNAL =. 2009 , NUMBER =

    2009

  2. [2]

    Boyer, Franck and Minjeaud, Sebastian , TITLE =. Math. Models Methods Appl. Sci. , FJOURNAL =. 2014 , NUMBER =. doi:10.1142/S0218202514500407 , URL =

    work page doi:10.1142/s0218202514500407 2014

  3. [3]

    Pr\". On the. J. Evol. Equ. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00028-020-00648-0 , URL =

    work page doi:10.1007/s00028-020-00648-0 2021

  4. [4]

    2008 , PAGES =

    Ambrosio, Luigi and Gigli, Nicola and Savar\'e, Giuseppe , TITLE =. 2008 , PAGES =

    2008

  5. [5]

    Preprint , volume =

    Helmut Abels and Andrea Poiatti , title =. Preprint , volume =. 2025 , eprint =

    2025

  6. [6]

    Giaquinta, Mariano and Giusti, Enrico , TITLE =. Ann. Inst. H. Poincar\'e. 1984 , NUMBER =

    1984

  7. [7]

    Boundary Value Problems for Partial Differential Equations and Applications , editor =

    De Giorgi, Ennio , title =. Boundary Value Problems for Partial Differential Equations and Applications , editor =. 1993 , mrnumber =

    1993

  8. [8]

    Interfaces Free Bound

    Grasselli, Maurizio and Poiatti, Andrea , TITLE =. Interfaces Free Bound. , FJOURNAL =. 2024 , NUMBER =. doi:10.4171/ifb/513 , URL =

    work page doi:10.4171/ifb/513 2024

  9. [9]

    Nonlinear Anal

    Poiatti, Andrea and Stefanelli, Ulisse , TITLE =. Nonlinear Anal. , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.na.2026.114151 , URL =

    work page doi:10.1016/j.na.2026.114151 2026

  10. [10]

    Denk, Robert and Hieber, Matthias and Pr\"uss, Jan , TITLE =. Math. Z. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00209-007-0120-9 , URL =

    work page doi:10.1007/s00209-007-0120-9 2007

  11. [11]

    Latushkin, Yuri and Pr\"uss, Jan and Schnaubelt, Roland , TITLE =. J. Evol. Equ. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s00028-006-0272-9 , URL =

    work page doi:10.1007/s00028-006-0272-9 2006

  12. [12]

    Strong solutions for the

    Saal, J\". Strong solutions for the. Proceedings of the. 2007 , MRCLASS =

    2007

  13. [13]

    Abels, Helmut and Weber, Josef , TITLE =. J. Evol. Equ. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00028-020-00646-2 , URL =

    work page doi:10.1007/s00028-020-00646-2 2021

  14. [14]

    A generalized equation for phase separation of a multi-component mixture with interfacial free energy

    Elliott, C. M. and Luckhaus, S. , TITLE = "A generalized equation for phase separation of a multi-component mixture with interfacial free energy", Journal =

  15. [15]

    Garcke, Harald and Nestler, Britta and Stinner, Bj\"orn , TITLE =. SIAM J. Appl. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1137/S0036139902413143 , URL =

    work page doi:10.1137/s0036139902413143 2004

  16. [16]

    Interfaces Free Bound

    Garcke, Harald and Stoth, Barbara and Nestler, Britta , TITLE =. Interfaces Free Bound. , FJOURNAL =. 1999 , NUMBER =. doi:10.4171/IFB/8 , URL =

    work page doi:10.4171/ifb/8 1999

  17. [17]

    Nestler and A.A

    B. Nestler and A.A. Wheeler , keywords =. A multi-phase-field model of eutectic and peritectic alloys: numerical simulation of growth structures , journal =. 2000 , issn =. doi:https://doi.org/10.1016/S0167-2789(99)00184-0 , url =

    work page doi:10.1016/s0167-2789(99)00184-0 2000

  18. [18]

    Garcke, Harald and Nestler, Britta and Stoth, Barbara , TITLE =. SIAM J. Appl. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1137/S0036139998334895 , URL =

    work page doi:10.1137/s0036139998334895 2000

  19. [19]

    and Braides, A

    Bellettini, G. and Braides, A. and Riey, G. , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s10231-003-0090-4 , URL =

    work page doi:10.1007/s10231-003-0090-4 2005

  20. [20]

    and Reusken, Arnold , TITLE =

    Jankuhn, Thomas and Olshanskii, Maxim A. and Reusken, Arnold , TITLE =. Interfaces Free Bound. , FJOURNAL =. 2018 , NUMBER =. doi:10.4171/IFB/405 , URL =

    work page doi:10.4171/ifb/405 2018

  21. [21]

    PhD Thesis , FJOURNAL =

    Maxwell, D , TITLE =. PhD Thesis , FJOURNAL =

  22. [22]

    Phys Rev E Stat Nonlin Soft Matter Phys

    Nestler, Britta and Garcke, Harald and Stinner, Bj\"orn , TITLE =. Phys Rev E Stat Nonlin Soft Matter Phys. , Year=

  23. [23]

    , TITLE =

    Olshanskii, Maxim A. , TITLE =. Phys. Fluids , FJOURNAL =. 2023 , NUMBER =. doi:10.1063/5.0152423 , URL =

    work page doi:10.1063/5.0152423 2023

  24. [24]

    and Reusken, Arnold and Zhiliakov, Alexander , TITLE =

    Olshanskii, Maxim A. and Reusken, Arnold and Zhiliakov, Alexander , TITLE =. Math. Models Methods Appl. Sci. , FJOURNAL =. 2022 , NUMBER =. doi:10.1142/S0218202522500658 , URL =

    work page doi:10.1142/s0218202522500658 2022

  25. [25]

    Moving interfaces and quasilinear parabolic evolution equations , SERIES =

    Pr\". Moving interfaces and quasilinear parabolic evolution equations , SERIES =. 2016 , PAGES =. doi:10.1007/978-3-319-27698-4 , URL =

    work page doi:10.1007/978-3-319-27698-4 2016

  26. [26]

    Discrete Contin

    LeCrone, Jeremy and Shao, Yuanzhen and Simonett, Gieri , TITLE =. Discrete Contin. Dyn. Syst. Ser. S , FJOURNAL =. 2020 , NUMBER =. doi:10.1177/0962280220930055 , URL =

    work page doi:10.1177/0962280220930055 2020

  27. [27]

    Physica D: Nonlinear Phenomena , volume =

    Harald Garcke and Britta Nestler and Barbara Stoth , title =. Physica D: Nonlinear Phenomena , volume =. 1998 , doi =

    1998

  28. [28]

    2002 , PAGES =

    H\'elein, Fr\'ed\'eric , TITLE =. 2002 , PAGES =. doi:10.1017/CBO9780511543036 , URL =

    work page doi:10.1017/cbo9780511543036 2002

  29. [29]

    Gal, C. G. and Grasselli, M. and Poiatti, A. and Shomberg, J. L. , TITLE =. Appl. Math. Optim. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00245-023-10048-8 , URL =

    work page doi:10.1007/s00245-023-10048-8 2023

  30. [30]

    and Modica, G

    Giaquinta, M. and Modica, G. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1979 , PAGES =. doi:10.1515/crll.1979.311-312.145 , URL =

    work page doi:10.1515/crll.1979.311-312.145 1979

  31. [31]

    Garcke, Harald , TITLE =. Ann. Inst. H. Poincar\'e. 2005 , NUMBER =. doi:10.1016/j.anihpc.2004.07.001 , URL =

    work page doi:10.1016/j.anihpc.2004.07.001 2005

  32. [32]

    Wang, Wei and Zhang, Pingwen and Zhang, Zhifei , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00205-012-0548-x , URL =

    work page doi:10.1007/s00205-012-0548-x 2012

  33. [33]

    Ebenfeld, Stefan , TITLE =. Math. Methods Appl. Sci. , FJOURNAL =. 2002 , NUMBER =. doi:10.1002/mma.283.abs , URL =

    work page doi:10.1002/mma.283.abs 2002

  34. [34]

    Ebenfeld, Stefan , TITLE =. Math. Methods Appl. Sci. , FJOURNAL =. 2002 , NUMBER =. doi:10.1002/mma.284 , URL =

    work page doi:10.1002/mma.284 2002

  35. [35]

    Interfaces: modeling, analysis, numerics , SERIES =

    B\". Interfaces: modeling, analysis, numerics , SERIES =. [2023] 2023 , PAGES =. doi:10.1007/978-3-031-35550-9 , URL =

    work page doi:10.1007/978-3-031-35550-9 2023

  36. [36]

    Koch, Herbert , TITLE =. Math. Z. , FJOURNAL =. 1993 , NUMBER =. doi:10.1007/BF02572388 , URL =

    work page doi:10.1007/bf02572388 1993

  37. [37]

    Koba, Hajime and Liu, Chun and Giga, Yoshikazu , TITLE =. Quart. Appl. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/qam/1452 , URL =

    work page doi:10.1090/qam/1452 2017

  38. [38]

    Bachini, Elena and Krause, Veit and Nitschke, Ingo and Voigt, Axel , TITLE =. J. Fluid Mech. , FJOURNAL =. 2023 , PAGES =. doi:10.1017/jfm.2023.943 , URL =

    work page doi:10.1017/jfm.2023.943 2023

  39. [39]

    Shape transformations of vesicles with intramembrane domains , author =. Phys. Rev. E , volume =. 1996 , month =. doi:10.1103/PhysRevE.53.2670 , url =

    work page doi:10.1103/physreve.53.2670 1996

  40. [40]

    and Hrusa, William J

    Dafermos, Constantine M. and Hrusa, William J. , TITLE =. Arch. Rational Mech. Anal. , FJOURNAL =. 1985 , NUMBER =. doi:10.1007/BF00250727 , URL =

    work page doi:10.1007/bf00250727 1985

  41. [41]

    Guo, Yan and Tice, Ian , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2024 , NUMBER =. doi:10.4171/jems/1312 , URL =

    work page doi:10.4171/jems/1312 2024

  42. [42]

    and Holst, M

    Behzadan, A. and Holst, M. , TITLE =. Ark. Mat. , FJOURNAL =. 2021 , NUMBER =. doi:10.4310/arkiv.2021.v59.n2.a2 , URL =

    work page doi:10.4310/arkiv.2021.v59.n2.a2 2021

  43. [43]

    Modica, Luciano , TITLE =. Arch. Rational Mech. Anal. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF00251230 , URL =

    work page doi:10.1007/bf00251230 1987

  44. [44]

    Baldo, Sisto , TITLE =. Ann. Inst. H. Poincar\'e. 1990 , NUMBER =. doi:10.1016/S0294-1449(16)30304-3 , URL =

    work page doi:10.1016/s0294-1449(16)30304-3 1990

  45. [45]

    Steinbach and F

    I. Steinbach and F. Pezzolla and B. Nestler and M. See. A phase field concept for multiphase systems , journal =. 1996 , issn =. doi:https://doi.org/10.1016/0167-2789(95)00298-7 , url =

    work page doi:10.1016/0167-2789(95)00298-7 1996