Pith. sign in

REVIEW 2 major objections 4 minor 25 references

Quasiconvexity for the Dacorogna--Marcellini Energy

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Dacorogna–Marcellini energy is quasiconvex exactly when it is rank-one convex, for $|\gamma|\le 2/\sqrt3$.

desk verdict Serious attack on the Dacorogna-Marcellini gap; the heat-flow criterion is new, but the appendix's sum-of-squares identity and missing interpolation need checking. read the letter →

arxiv 2608.06367 v1 pith:OX34FFQ5 submitted 2026-08-06 math.AP

Giuseppe Bruno , Federico Pasqualotto This is my paper · ORCID
classification math.AP MSC 49J4574B20
keywords Dacorogna–Marcellinienergyquasiconvexityrank-oneconvexityMorrey'sproblemheat-flowmethodexacttwo-form2xmatriceshomogeneousquarticpolynomial
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that the Dacorogna–Marcellini energy $f_\gamma(A)=|A|^4-2\gamma|A|^2\det A$ on $2\times 2$ matrices is quasiconvex precisely when it is rank-one convex, that is, for $|\gamma|\le 2/\sqrt3$. This closes the interval $1<|\gamma|\le 2/\sqrt3$, where the energy was known to be rank-one convex and not polyconvex but quasiconvexity had been open. The proof uses a heat-flow monotonicity argument and an invariant exact two-form correction rather than a direct estimate of Morrey's condition. The method extends to show that for any homogeneous quartic polynomial on $2\times2$ matrices invariant under left and right rotations, quasiconvexity and rank-one convexity coincide.

What carries the argument

The load-bearing objects are the heat-flow criterion of Lemma 3 and the exact invariant correction $\omega_\gamma=d\alpha_\gamma$. Lemma 3 says $f_\gamma$ is quasiconvex if the integrated second-variation inequality holds for all affine-plus-Schwartz maps; it is proved by evolving the perturbation by the heat semigroup and showing that the relative energy is nonincreasing and decays to zero. The correction is chosen from the four-parameter ansatz $\alpha=c_1|A|^2\theta+c_2(\det A)\zeta+c_3|A|^2\zeta+c_4(\det A)\theta$, with invariant one-forms $\theta$ and $\zeta$; because $\omega_\gamma$ is exact, its integral along any gradient vanishes, so it can be added to the second-variation density without changing the integrated quantity. Rotational invariance reduces the pointwise inequality to $A=\operatorname{diag}(1,\rho)$, and the endpoint check is completed by the explicit matrix $M_1(\rho)$, whose principal minors are shown nonnegative.

What would settle it

Check the principal minors of the matrix $M_1(\rho)$ given in the paper for all real $\rho$; any $\rho$ where a minor is negative would contradict Lemma 4 at $\gamma=2/\sqrt3$. Alternatively, run a direct numerical test of inequality (1.1) for $f_{2/\sqrt3}$ at affine maps with oscillatory perturbations concentrated near matrices with distinct singular values.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: for $|\gamma|\le2/\sqrt3$, $f_\gamma(A)=|A|^4-2\gamma|A|^2\det A$ is quasiconvex. Since quasiconvexity always implies rank-one convexity and the converse threshold $|\gamma|\le2/\sqrt3$ was already known, the two notions are equivalent for this family. The proof's strategy is to differentiate the relative energy through the heat flow and establish an integrated second-variation inequality; because the integrand's second variation is not pointwise nonnegative, an exact $\mathrm{SO}(2)\times\mathrm{SO}(2)$-invariant two-form is added whose pullback by any gradient integrates to zero. After reducing to diagonal matrices by singular value decomposition, the endpoint $\gamma=2/\sqrt3$ yields an explicit quadratic form whose principal minors are nonnegative, and the paper states that the intermediate values follow by interpolation. Theorem 2 generalizes the same mechanism to every homogeneous quartic polynomial with the unique representation $Q(F)=a|F|^4+b|F|^2\det F+c(\det F)^2$.

Load-bearing premise

The load-bearing premise is the heat-flow sufficiency lemma: on the strength of sketched decay and continuity estimates, quasiconvexity is reduced to the integrated second-variation inequality, and the pointwise correction that proves that inequality for all $|\gamma|\le 2/\sqrt3$ is checked in detail only at the endpoint, with the interior range handled by an asserted interpolation.

Editorial extensions

If this is right

  • For every $\gamma$ with $1<|\gamma|\le 2/\sqrt3$, the paper supplies explicit quasiconvex integrands on $\mathbb{R}^{2\times2}$ that are not polyconvex.
  • For the whole Dacorogna–Marcellini family, the rank-one-convexity threshold is the quasiconvexity threshold, so the two classical conditions cannot be separated within this family.
  • The equivalence carried by the heat-flow argument extends to all homogeneous quartic polynomials on $2\times2$ matrices invariant under left and right rotations; for those, quasiconvexity is exactly rank-one convexity.
  • The proof pattern—heat-flow monotonicity plus an exact differential correction—provides a template for other variational integrands whose second-variation density is indefinite.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the interpolation step in Lemma 4 is made fully explicit, the proof would reduce the entire interval $|\gamma|\le 2/\sqrt3$ to a finite check at the endpoint, making the result easier to verify computationally.
  • The same two-form correction is likely adaptable to higher-degree rotationally invariant homogeneous integrands, as Theorem 2 already suggests; the size of the ansatz would grow with the degree.
  • Assuming the proof stands, the theorem decides previously conflicting numerical reports on the Dacorogna–Marcellini family in favor of quasiconvexity: any numerical violation found in this range would have to be an artifact rather than a genuine counterexample.
  • The reliance on a global polynomial primitive for the correction connects the method to the theory of null Lagrangians; integrands admitting such corrections may be exactly those for which the heat-flow criterion succeeds.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper proves that the Dacorogna--Marcellini energy f_gamma(A)=|A|^4 - 2 gamma |A|^2 det A is quasiconvex for |gamma| <= 2/sqrt(3), and hence, in view of the known rank-one convexity threshold, quasiconvex if and only if rank-one convex. The proof introduces a heat-flow monotonicity criterion (Lemma 3): if a suitable integrated second-variation inequality holds along perturbations v(x)=Fx+psi, then f_gamma is quasiconvex. The authors then construct an SO(2) x SO(2)-invariant exact two-form correction that makes the second-variation density pointwise nonnegative (Lemma 4), reducing the verification to a one-parameter family of 3x3 matrices whose principal minors are computed. Theorem 2 extends the equivalence to all SO(2) x SO(2)-invariant homogeneous quartic polynomials, which are classified and reduced to a one-parameter boundary family W_t.

Significance. The result, if correct, resolves a long-standing open problem for this canonical planar family and provides the first complete equivalence between quasiconvexity and rank-one convexity for a nontrivial class of 2x2 rotationally invariant quartics. The endpoint verification via explicit principal minors is a strength, as is the absence of fitted parameters in the proof. The method, combining flow monotonicity with exact differential corrections, appears novel and potentially transferable. However, the manuscript currently leaves two load-bearing algebraic steps insufficiently supported, so the significance is conditional on those being completed.

major comments (2)
  1. [Lemma 4, proof] Lemma 4 is stated for all |gamma| <= 2/sqrt(3), but the proof verifies the corrected pointwise inequality only at the endpoint gamma = 2/sqrt(3). The opening sentence 'It is enough to check this property for gamma = 2/sqrt(3)' is never justified. Since Theorem 1 needs the inequality for the whole interval, this is a load-bearing gap. The gap is repairable: for 0 <= gamma <= 2/sqrt(3) one can write E_gamma = lambda E_{2/sqrt(3)} + (1-lambda) E_0 with lambda = gamma sqrt(3)/2, noting that E_0 >= 0 pointwise because |A|^4 is convex, and negative gamma can be handled through f_{-gamma}(A) = f_gamma(A J) with a reflection J. This argument must be written out.
  2. [Appendix A, displayed identity after (A.4)] The pointwise nonnegativity of W_t rests entirely on the sum-of-squares identity following (A.4), which is introduced with 'collecting squares gives' and no supporting calculation. This identity is load-bearing for Theorem 2 and is exactly where a sign or coefficient error would be invisible without an independent check. Sampling several monomial coefficients (for example xi1^2, eta2^2, xi1 xi3) indicates that the identity is consistent, but the manuscript should provide the intermediate expansion or a verifiable algebraic derivation, since the claim is not otherwise checkable by the reader.
minor comments (4)
  1. [Equations (3.8), (3.10), and kappa(rho)] Several coefficients appear with missing fraction bars: for instance 8 rho sqrt(3) should read 8 rho / sqrt(3), and 2 rho sqrt(3) should read 2 rho / sqrt(3). As printed, these formulas are inconsistent with the subsequent identity kappa(rho) = (rho - 1/sqrt(3))^2 + 2/3. Please correct the typesetting.
  2. [Lemma 4, Step 3] The word 'skwe-symmetry' is a typo for 'skew-symmetry'; also, the equality omega_{A tilde}(B tilde_1, B tilde_2) = omega_A(B_1, B_2) uses det U = 1, which should be stated explicitly.
  3. [Lemma 3, proof] The symbol F is used both for the fixed matrix in v(x) = F x + psi and for the functional evaluated at tau; this notation clash makes the proof harder to follow. Rename the functional.
  4. [Lemma 4, Step 3] The reduction from diag(sigma, tau) to diag(1, rho) should explicitly use the degree-two homogeneity of E_gamma in its first argument and state the trivial case sigma = 0.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is a self-contained construction; unverified algebraic identities and an omitted interpolation are correctness risks, not circular reductions.

full rationale

The paper's derivation chain is not circular. The main theorem follows from Lemma 3 (a heat-flow sufficiency criterion, proved in the paper from first principles) and Lemma 4 (an explicit construction of an exact two-form correction making the second-variation density pointwise nonnegative). No quantity is fitted to the target conclusion in a way that assumes quasiconvexity: the coefficients c1–c4 in the correction form are determined by algebraic conditions (matching powers of ρ and requiring a zero mixed term when a diagonal coefficient vanishes) to achieve nonnegativity, which is a standard certificate construction rather than a circular reduction. The rank-one-convexity threshold and the necessity direction are cited from external prior work [1,6], not from the present authors; no self-citations occur. The Appendix A identity for the boundary family W_t is asserted as a computation ('collecting squares'), and while it is load-bearing and should be verified, an unverified computation is a correctness risk, not circularity. Similarly, the promised interpolation from the endpoint γ=2/√3 to intermediate γ is not written out, but this omission is a gap, not a circular step. No step exhibits an equation that is equivalent to its input by definition. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on standard analytic tools (heat semigroup, Stokes, Legendre-Hadamard) and on the explicit algebraic construction of the exact two-form; no empirical parameters are fitted and no new physical entities are postulated. The only slightly under-specified ingredient is the interpolation step for intermediate γ, which is standard and fillable.

assumptions (5)
  • standard math Legendre-Hadamard characterization of rank-one convexity for C^2 integrands
    Used in (1.2) and in the appendix to identify the rank-one convexity conditions; standard result in vectorial calculus of variations.
  • standard math Classical heat semigroup estimates and strong continuity in L^p for finite p
    Used in Lemma 3, estimates (2.2) and (2.4), to justify F(τ)→0 and F(τ)→F(0); standard semigroup theory.
  • standard math Stokes' theorem for pullbacks of polynomial forms by Schwartz maps
    Used to show the integral of the exact correction form vanishes, equations (3.1) and in the appendix.
  • standard math Quasiconvexity is preserved under nonnegative linear combinations
    Implicitly needed to interpolate from γ=2/√3 to all |γ|≤2/√3 in Lemma 4 and Theorem 1; the proof states interpolation follows but does not display the combination.
  • domain assumption SO(2)×SO(2) invariance and singular value decomposition reduce the pointwise inequality to diagonal matrices
    Used in Step 3 of Lemma 4 and in the appendix; valid because fγ, Wt, and the correction forms are invariant under left and right rotations and homogeneous in A.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quasiconvexity for the Dacorogna--Marcellini Energy." pith.science (2026). https://pith.science/paper/OX34FFQ5

@misc{pith2026260806367,
  author       = {Pith},
  title        = {Pith review of: Quasiconvexity for the Dacorogna--Marcellini Energy},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OX34FFQ5}},
  note         = {Machine review of arXiv:2608.06367}
}
abstract

We prove that the planar Dacorogna--Marcellini energy $f_\gamma(A)=|A|^4-2\gamma|A|^2\det A$ is quasiconvex exactly when it is rank-one convex, i.e. if and only if $|\gamma|\leq\frac{2}{\sqrt3}$. The proof uses a monotonicity property of the energy functional along the componentwise heat flow. As a corollary of our method, we show that for homogeneous quartic polynomials on $2 \times 2$ matrices invariant by left and right rotation, quasiconvexity is equivalent to rank one convexity.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 18 canonical work pages

  1. [1]

    Alibert and B

    J.-J. Alibert and B. Dacorogna, An example of a quasiconvex function that is not polyconvex in two dimensions,Arch. Rational Mech. Anal.117(1992), 155–166, doi:10.1007/BF00387763

    work page doi:10.1007/bf00387763 1992

  2. [2]

    Astala, D

    K. Astala, D. Faraco, A. Guerra, A. Koski, and J. Kristensen, The local Burkholder functional, quasiconvexity and geometric function theory, arXiv:2309.03495 (2023), arXiv:2309.03495

    arXiv 2023

  3. [3]

    Astala, T

    K. Astala, T. Iwaniec, I. Prause, and E. Saksman, Burkholder integrals, Morrey’s problem and quasiconformal mappings,J. Amer. Math. Soc.25(2012), no. 2, 507–531, doi:10.1090/S0894-0347-2011-00718-2

    work page doi:10.1090/s0894-0347-2011-00718-2 2012

  4. [4]

    J. M. Ball, Convexity conditions and existence theorems in nonlinear elasticity,Arch. Rational Mech. Anal.63(1976/77), 337–403, doi:10.1007/BF00279992

    doi:10.1007/bf00279992 1976

  5. [5]

    Dacorogna,Direct Methods in the Calculus of Variations, second ed., Applied Mathematical Sciences, vol

    B. Dacorogna,Direct Methods in the Calculus of Variations, second ed., Applied Mathematical Sciences, vol. 78, Springer, New York, 2008, doi:10.1007/978-0-387- 55249-1

    doi:10.1007/978-0-387- 2008

  6. [6]

    Dacorogna, J

    B. Dacorogna, J. Douchet, W. Gangbo, and J. Rappaz, Some examples of rank one convex functions in dimension two,Proc. Roy. Soc. Edinburgh Sect. A114(1990), 135–150, doi:10.1017/S0308210500024318

    work page doi:10.1017/s0308210500024318 1990

  7. [7]

    Dacorogna and J.-P

    B. Dacorogna and J.-P. Haeberly, Some numerical methods for the study of the convexity notions arising in the calculus of variations,ESAIM Math. Model. Numer. Anal.32(1998), no. 2, 153–175, doi:10.1051/m2an/1998320201531

    arXiv 1998

  8. [8]

    Dacorogna and H

    B. Dacorogna and H. Koshigoe, On the different notions of convexity for rotationally invariant functions,Ann. Fac. Sci. Toulouse Math. (6)2(1993), no. 2, 163–184, doi:10.5802/afst.762

    work page doi:10.5802/afst.762 1993

Show all 25 references
  1. [9]

    Dacorogna and P

    B. Dacorogna and P. Marcellini, A counterexample in the vectorial calculus of variations, inMaterial Instabilities in Continuum Mechanics (Edinburgh, 1985–1986), J. M. Ball (ed.), Oxford Sci. Publ., Oxford Univ. Press, New York, 1988, 77–83

    1985

  2. [10]

    Dong and K

    X. Dong and K. Enakoutsa, Some numerical simulations based on Dacorogna example functions in favor of Morrey conjecture, arXiv:2211.11194 (2022), arXiv:2211.11194

    2022 arXiv

  3. [11]

    Faraco and L

    D. Faraco and L. Székelyhidi, Jr., Tartar’s conjecture and localization of the quasi- convex hull inR2×2,Acta Math.200(2008), no. 2, 279–305, doi:10.1007/s11511-008- 0028-1

    2008 doi

  4. [12]

    Gremaud, Numerical optimization and quasiconvexity,European J

    P.-A. Gremaud, Numerical optimization and quasiconvexity,European J. Appl. Math. 6(1995), no. 1, 69–82, doi:10.1017/S0956792500001674

    1995 doi

  5. [13]

    Guerra and J

    A. Guerra and J. Kristensen, Automatic quasiconvexity of homogeneous isotropic rank-one convex integrands,Arch. Rational Mech. Anal.245(2022), no. 1, 479–500, doi:10.1007/s00205-022-01792-2

    2022 doi

  6. [14]

    Gutiérrez and J

    S. Gutiérrez and J. Villavicencio, An optimization algorithm applied to the Morrey conjecture in nonlinear elasticity,Internat. J. Solids Structures44(2007), no. 10, 3177–3186, doi:10.1016/j.ijsolstr.2006.09.017. 12

    2007 doi

  7. [15]

    T. L. J. Harris, B. Kirchheim, and C.-C. Lin, Two-by-two upper triangular matrices and Morrey’s conjecture,Calc. Var. Partial Differential Equations57(2018), no. 3, article 73, doi:10.1007/s00526-018-1360-8

    2018 doi

  8. [16]

    Kirchheim and L

    B. Kirchheim and L. Székelyhidi, Jr., On the gradient set of Lipschitz maps,J. Reine Angew. Math.625(2008), 215–229, doi:10.1515/CRELLE.2008.095

    2008 doi

  9. [17]

    R. J. Martin, I.-D. Ghiba, and P. Neff, Rank-one convexity implies polyconvexity for isotropic, objective and isochoric elastic energies in the two-dimensional case,Proc. Roy. Soc. Edinburgh Sect. A147(2017), no. 3, 571–597, doi:10.1017/S0308210516000275

    2017 doi

  10. [18]

    Matthes, R

    D. Matthes, R. J. McCann, and G. Savaré, A family of nonlinear fourth order equations of gradient flow type,Comm. Partial Differential Equations34(2009), 1352–1397, doi:10.1080/03605300903296256

    2009 doi

  11. [19]

    C. B. Morrey, Jr., Quasi-convexity and the lower semicontinuity of multiple integrals, Pacific J. Math.2(1952), 25–53, doi:10.2140/pjm.1952.2.25

    1952 doi

  12. [20]

    Müller, Rank-one convexity implies quasiconvexity on diagonal matrices,Int

    S. Müller, Rank-one convexity implies quasiconvexity on diagonal matrices,Int. Math. Res. Not.1999, no. 20, 1087–1095, doi:10.1155/S1073792899000598

    1999 doi

  13. [21]

    Šverák, Rank-one convexity does not imply quasiconvexity,Proc

    V. Šverák, Rank-one convexity does not imply quasiconvexity,Proc. Roy. Soc. Edinburgh Sect. A120(1992), 185–189, doi:10.1017/S0308210500015080

    1992 doi

  14. [22]

    Székelyhidi, Jr., Rank-one convex hulls inR2×2,Calc

    L. Székelyhidi, Jr., Rank-one convex hulls inR2×2,Calc. Var. Partial Differential Equations22(2005), no. 3, 253–281, doi:10.1007/s00526-004-0272-y

    2005 doi

  15. [23]

    Székelyhidi, Jr., On quasiconvex hulls in symmetric2 × 2matrices, Ann

    L. Székelyhidi, Jr., On quasiconvex hulls in symmetric2 × 2matrices, Ann. Inst. H. Poincaré C Anal. Non Linéaire23(2006), no. 6, 865–876, doi:10.1016/j.anihpc.2005.11.001

    2006 doi

  16. [24]

    J. Voss, R. J. Martin, I.-D. Ghiba, and P. Neff, Morrey’s conjecture for the planar volumetric–isochoric split: least rank-one convex energy functions,J. Nonlinear Sci. 32(2022), article 76, doi:10.1007/s00332-022-09827-4

    2022 doi

  17. [25]

    J. Voss, R. J. Martin, O. Sander, S. Kumar, D. M. Kochmann, and P. Neff, Numerical approaches for investigating quasiconvexity in the context of Morrey’s conjecture,J. Nonlinear Sci.32(2022), article 77, doi:10.1007/s00332-022-09820-x. 13

    2022 doi

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.