pith. sign in

arxiv: 2404.02121 · v2 · submitted 2024-04-02 · 🧮 math.AP

On regularity and rigidity of 2times 2 differential inclusions into non-elliptic curves

Xavier Lamy , Andrew Lorent , Guanying Peng This is my paper

Pith reviewed 2026-05-24 02:04 UTC · model grok-4.3

classification 🧮 math.AP
keywords differential inclusionsregularityrigiditynon-elliptic curvesentropy productionsconservation laws2x2 matricespartial differential equations
0
0 comments X

The pith

Solutions to Du in non-elliptic curves are locally Lipschitz outside isolated points and rigid near them.

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

The paper examines differential inclusions where the gradient Du lies on a compact connected C² curve Π in the space of 2x2 matrices without rank-one connections, but where tangent lines may permit such connections so classical ellipticity fails. It shows that for a wide class of these curves, any such u is locally Lipschitz continuous except at a discrete set of points, with the map rigidly determined in neighborhoods of those points. When at least one tangent line is elliptic or when the tangent bundle satisfies certain topological restrictions, singularities are entirely absent. The argument rests on deriving an infinite family of conservation laws that every solution must obey and that suffice to control the singularities.

Core claim

For a wide class of such curves Π, we show that Du is locally Lipschitz outside a discrete set, and is rigidly characterized around each singularity. Moreover, in the partially elliptic case where at least one tangent line to Π has no rank-one connections, or under some topological restrictions on the tangent bundle of Π, there are no singularities. This is achieved through the identification of an infinite family of conservation laws called entropy productions that hold for any solution.

What carries the argument

An infinite family of conservation laws, called entropy productions, that every solution satisfies and that control possible singularities beyond the reach of classical ellipticity.

If this is right

  • Du is locally Lipschitz outside a discrete set of points.
  • The behavior of Du is rigidly characterized in neighborhoods of each singularity.
  • No singularities occur when at least one tangent line to Π has no rank-one connections.
  • No singularities occur under topological restrictions on the tangent bundle of Π.

Where Pith is reading between the lines

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

  • The entropy-production structure may extend to other systems of conservation laws or differential inclusions where ellipticity is absent.
  • Similar discrete-singularity conclusions could hold in higher-dimensional matrix-valued problems once analogous conservation laws are found.
  • The rigid characterization near singularities may constrain possible defect structures in models governed by such inclusions.

Load-bearing premise

The derived infinite family of conservation laws is strong enough to control singularities for the wide class of curves under consideration.

What would settle it

A map u satisfying Du ∈ Π whose set of non-Lipschitz points is not discrete, or which fails to obey one of the identified entropy productions, would contradict the claimed regularity.

read the original abstract

We study differential inclusions $Du\in \Pi$ in an open set $\Omega\subset\mathbb R^2$, where $\Pi\subset \mathbb R^{2\times 2}$ is a compact connected $C^2$ curve without rank-one connections, but non-elliptic: tangent lines to $\Pi$ may have rank-one connections, so that classical regularity and rigidity results do not apply. For a wide class of such curves $\Pi$, we show that $Du$ is locally Lipschitz outside a discrete set, and is rigidly characterized around each singularity. Moreover, in the partially elliptic case where at least one tangent line to $\Pi$ has no rank-one connections, or under some topological restrictions on the tangent bundle of $\Pi$, there are no singularities. This goes well beyond previously known particular cases related to Burgers' equation and to the Aviles-Giga functional. The key is the identification and appropriate use of a general underlying structure: an infinite family of conservation laws, called entropy productions in reference to the theory of scalar conservation laws.

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 / 2 minor

Summary. The manuscript studies differential inclusions Du ∈ Π in an open set Ω ⊂ ℝ², where Π ⊂ ℝ^{2×2} is a compact connected C² curve without rank-one connections but non-elliptic (tangent lines may admit rank-one connections). For a wide class of such curves, the authors prove that Du is locally Lipschitz outside a discrete set and rigidly characterized around each singularity. In the partially elliptic case (at least one tangent line without rank-one connections) or under topological restrictions on the tangent bundle of Π, there are no singularities. The central tool is the identification of an infinite family of conservation laws (entropy productions) derived from the geometry of Π, extending results known for Burgers' equation and the Aviles-Giga functional.

Significance. If the derivation of the entropy-production family holds and suffices to control singularities, the result meaningfully extends regularity theory for differential inclusions beyond the elliptic regime to a broad geometric class of non-elliptic curves. This provides a general structural approach that could apply to other problems in scalar conservation laws and related variational problems. The geometric, parameter-free character of the entropy family is a strength.

minor comments (2)
  1. The abstract refers to 'a wide class of such curves Π' without a precise characterization; a clear statement of the hypotheses on Π (e.g., curvature conditions or avoidance of certain tangents) would help readers assess the scope.
  2. Notation for the tangent bundle of Π and the precise definition of 'partially elliptic' could be introduced earlier or with a short diagram to improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments are provided in the report, so we have no points to address point-by-point. We will incorporate any minor suggestions during revision.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper identifies an infinite family of entropy productions (conservation laws) directly from the geometry of the C² curve Π without rank-one connections and the differential inclusion Du ∈ Π. This step is presented as extending classical cases (Burgers, Aviles-Giga) via independent geometric and analytic arguments rather than by fitting parameters, self-definition, or load-bearing self-citation. No quoted reduction shows any claimed result equivalent to its inputs by construction; the central regularity and rigidity statements rest on these derived laws without circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on the geometric hypotheses that Π is a compact connected C² curve without rank-one connections (yet non-elliptic) and on the existence of an infinite family of entropy productions derived from the inclusion; these are domain assumptions rather than fitted numbers or new postulated objects.

axioms (1)
  • domain assumption Π is a compact connected C² curve in R^{2×2} without rank-one connections but non-elliptic (tangent lines may admit rank-one connections).
    This is the precise setting stated in the abstract for which classical ellipticity-based results fail and the new entropy-production argument is applied.

pith-pipeline@v0.9.0 · 5718 in / 1477 out tokens · 25922 ms · 2026-05-24T02:04:11.749718+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

37 extracted references · 37 canonical work pages

  1. [1]

    Line energies for gradient vector fields in the plane

    Ambrosio, L., De Lellis, C., and Mantegazza, C. Line energies for gradient vector fields in the plane. Calc. Var. Partial Differ. Equ. , 9(4):327--355, 1999

    work page 1999

  2. [2]

    On lower semicontinuity of a defect energy obtained by a singular limit of the G inzburg- L andau type energy for gradient fields

    Aviles, P., and Giga, Y. On lower semicontinuity of a defect energy obtained by a singular limit of the G inzburg- L andau type energy for gradient fields. Proc. Roy. Soc. Edinburgh Sect. A , 129(1):1--17, 1999

    work page 1999

  3. [3]

    Brezis, H., Coron, J.-M., and Lieb, E. H. Harmonic maps with defects. Comm. Math. Phys. , 107(4):649--705, 1986

    work page 1986

  4. [4]

    Another approach to Liouville theorem

    Bojarski, B., and Iwaniec, T. Another approach to Liouville theorem . Math. Nachr. , 107:253--262, 1982

    work page 1982

  5. [5]

    Kinetic selection principle for curl-free vector fields of unit norm

    Bochard, P., and Pegon, P. Kinetic selection principle for curl-free vector fields of unit norm. Commun. Partial Differ. Equations , 42(9):1375--1402, 2017

    work page 2017

  6. [6]

    Constantin, P., E, W., and Titi, E. S. Onsager's conjecture on the energy conservation for solutions of E uler's equation. Comm. Math. Phys. , 165(1):207--209, 1994

    work page 1994

  7. [7]

    Regularizing effect of nonlinearity in multidimensional scalar conservation laws

    Crippa, G., Otto, F., and Westdickenberg, M. Regularizing effect of nonlinearity in multidimensional scalar conservation laws. In Transport equations and multi-D hyperbolic conservation laws , pages 77--128. Berlin: Springer, 2008

    work page 2008

  8. [8]

    A regularizing property of the 2D -eikonal equation

    De Lellis, C., and Ignat, R. A regularizing property of the 2D -eikonal equation. Comm. Partial Differential Equations , 40(8):1543--1557, 2015

    work page 2015

  9. [9]

    Structure of entropy solutions to the eikonal equation

    De Lellis, C., and Otto, F. Structure of entropy solutions to the eikonal equation. J. Eur. Math. Soc. (JEMS) , 5(2):107--145, 2003

    work page 2003

  10. [10]

    Minimal entropy conditions for Burgers equation

    De Lellis, C., Otto, F., and Westdickenberg, M. Minimal entropy conditions for Burgers equation. Q. Appl. Math. , 62(4):687--700, 2004

    work page 2004

  11. [11]

    V., and Otto, F

    DeSimone, A., M\" u ller, S., Kohn, R. V., and Otto, F. A compactness result in the gradient theory of phase transitions. Proc. Roy. Soc. Edinburgh Sect. A , 131(4):833--844, 2001

    work page 2001

  12. [12]

    Unique continuation for differential inclusions

    De Philippis, G., Guerra, A., and Tione, R. Unique continuation for differential inclusions. arXiv:2312.05022 , 2023

    work page arXiv 2023

  13. [13]

    Tartar's conjecture and localization of the quasiconvex hull in R^ 2 2

    Faraco, D., and Sz\' e kelyhidi, L. Tartar's conjecture and localization of the quasiconvex hull in R^ 2 2 . Acta Math. , 200(2):279--305, 2008

    work page 2008

  14. [14]

    Optimal Besov differentiability for entropy solutions of the eikonal equation

    Ghiraldin, F., and Lamy, X. Optimal Besov differentiability for entropy solutions of the eikonal equation. Commun. Pure Appl. Math. , 73(2):317--349, 2020

    work page 2020

  15. [15]

    Compactness and structure of zero-states for unoriented A viles– G iga functionals

    Goldman, M., Merlet, B., Pegon, M., and Serfaty, S. Compactness and structure of zero-states for unoriented A viles– G iga functionals. J. Inst. Math. Jussieu , 2023

    work page 2023

  16. [16]

    A construction of laminates from rank-1 polygons

    Iqbal, Z. A construction of laminates from rank-1 polygons. Proc. Roy. Soc. Edinburgh Sect. A , 130(6):1311--1335, 2000

    work page 2000

  17. [17]

    Jin, W., and Kohn, R. V. Singular perturbation and the energy of folds. J. Nonlinear Sci. , 10(3):355--390, 2000

    work page 2000

  18. [18]

    Line-energy Ginzburg - Landau models: zero-energy states

    Jabin, P.-E., Otto, F., and Perthame, B. Line-energy Ginzburg - Landau models: zero-energy states. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) , 1(1):187--202, 2002

    work page 2002

  19. [19]

    Kruzhkov, S. N. First order quasilinear equations in several independent variables. Math. USSR, Sb. , 10:217--243, 1970

    work page 1970

  20. [20]

    Kirchheim, B., and Sz \'e kelyhidi, L. j. On the gradient set of Lipschitz maps. J. Reine Angew. Math. , 625:215--229, 2008

    work page 2008

  21. [21]

    Theoreme sur l’equation dx^2+dy^2+dz^2= (d ^2+d ^2+d ^2)

    Liouville, J. Theoreme sur l’equation dx^2+dy^2+dz^2= (d ^2+d ^2+d ^2) . J. Math. Pures Appl , 1(15), 1850

    work page

  22. [22]

    Regularity of the stress field for degenerate and/or singular elliptic problems

    Lledos, B. Regularity of the stress field for degenerate and/or singular elliptic problems. preprint , 2023

    work page 2023

  23. [23]

    Rigidity of a non-elliptic differential inclusion related to the Aviles -giga conjecture

    Lamy, X., Lorent, A., and Peng, G. Rigidity of a non-elliptic differential inclusion related to the Aviles -giga conjecture. Arch. Ration. Mech. Anal. , 238(1):383--413, 2020

    work page 2020

  24. [24]

    On a generalized Aviles - Giga functional: compactness, zero-energy states, regularity estimates and energy bounds

    Lamy, X., Lorent, A., and Peng, G. On a generalized Aviles - Giga functional: compactness, zero-energy states, regularity estimates and energy bounds. Commun. Partial Differ. Equations , 47(11):2270--2308, 2022

    work page 2022

  25. [25]

    Quantitative Rigidity of Differential Inclusions in Two Dimensions

    Lamy, X., Lorent, A., and Peng, G. Quantitative Rigidity of Differential Inclusions in Two Dimensions . Int. Math. Res. Not. IMRN , 05 2023

    work page 2023

  26. [26]

    A quantitative characterisation of functions with low Aviles Giga energy on convex domains

    Lorent, A. A quantitative characterisation of functions with low Aviles Giga energy on convex domains. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) , 13(1):1--66, 2014

    work page 2014

  27. [27]

    Regularity of the Eikonal equation with two vanishing entropies

    Lorent, A., and Peng, G. Regularity of the Eikonal equation with two vanishing entropies. Ann. Inst. Henri Poincar \'e , Anal. Non Lin \'e aire , 35(2):481--516, 2018

    work page 2018

  28. [28]

    L., Perthame, B., and Tadmor, E

    Lions, P. L., Perthame, B., and Tadmor, E. A kinetic formulation of multidimensional scalar conservation laws and related equations. J. Am. Math. Soc. , 7(1):169--191, 1994

    work page 1994

  29. [29]

    Variational models for microstructure and phase transitions

    M \"u ller, S. Variational models for microstructure and phase transitions. In Calculus of variations and geometric evolution problems. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (CIME), Cetraro, Italy, June 15--22, 1996 , pages 85--210. Berlin: Springer, 1999

    work page 1996

  30. [30]

    Panov, E. Y. Uniqueness of the solution of the Cauchy problem for a first order quasilinear equation with one admissible strictly convex entropy. Math. Notes , 55(5):1, 1994

    work page 1994

  31. [31]

    Kinetic formulation of conservation laws , volume 21 of Oxf

    Perthame, B. Kinetic formulation of conservation laws , volume 21 of Oxf. Lect. Ser. Math. Appl. Oxford: Oxford University Press, 2002

    work page 2002

  32. [32]

    Reshetnyak, Y. G. Stability theorems in geometry and analysis. Translated from the Russian by N . S . Dairbekov and V . N . Dyatlov . Revised and updated translation , volume 304 of Math. Appl., Dordr. Dordrecht: Kluwer Academic Publishers, rev. and updated transl. edition, 1994

    work page 1994

  33. [33]

    Compensated compactness and applications to partial differential equations

    Tartar, L. Compensated compactness and applications to partial differential equations. Nonlinear analysis and mechanics: Heriot-Watt Symposium, Vol. IV, Res. Notes in Math., 39, Pitman, Boston, Mass.-London, 1979 , pages 136--212, 1979

    work page 1979

  34. [34]

    The compensated compactness method applied to systems of conservation laws

    Tartar, L. The compensated compactness method applied to systems of conservation laws. Systems of nonlinear partial differential equations, Proc . NATO Adv . Study Inst ., Oxford / U . K . 1982, NATO ASI Ser . Ser ., C 111, 263-285 (1983)., 1983

    work page 1982

  35. [35]

    Theory of function spaces , volume 78 of Monogr

    Triebel, H. Theory of function spaces , volume 78 of Monogr. Math., Basel . Birkh \"a user, Cham, 1983

    work page 1983

  36. [36]

    On T artar's conjecture

    S ver\' a k, V. On T artar's conjecture. Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire , 10(4):405--412, 1993

    work page 1993

  37. [37]

    On connected subsets of \(M^ 2 2 \) without rank-one connections

    Zhang, K. On connected subsets of \(M^ 2 2 \) without rank-one connections. Proc. R. Soc. Edinb., Sect. A, Math. , 127(1):207--216, 1997

    work page 1997