Pith. sign in

REVIEW 4 minor 35 references

Polyconvexity alone does not force true Cauchy stress to rise with true Hencky strain for incompressible three-dimensional hyperelasticity.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-12 14:15 UTC pith:P7Y2H6M5

load-bearing objection Clean, explicit counterexample that finally separates polyconvexity from TSTS-M (and rank-one convexity from TSTS-M) in incompressible 3-D hyperelasticity.

arxiv 2607.06568 v1 pith:P7Y2H6M5 submitted 2026-06-10 physics.class-ph cond-mat.mtrl-scimath-phmath.MP

Polyconvexity does not imply true-stress-true-strain monotonicity in the incompressible three-dimensional case

Dominik K. Klein , Maximilian P. Wollner , Patrizio Neff This is my paper
classification physics.class-ph cond-mat.mtrl-scimath-phmath.MP
keywords hyperelasticityincompressibilitypolyconvexitytrue-stress-true-strain monotonicityHill’s inequalityLegendre-Hadamard ellipticityrank-one convexityconstitutive inequalities
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper asks which constitutive inequalities are needed for idealized isotropic hyperelasticity when the material is constrained to be incompressible in three dimensions. Polyconvexity is known to give existence theorems and real wave speeds, while true-stress-true-strain monotonicity (TSTS-M) is the multi-axial requirement that the Cauchy stress must increase with the Hencky strain. Earlier work had shown that Ball’s sufficient conditions for polyconvexity already imply TSTS-M; the open question was whether every polyconvex energy does the same. The authors settle the question negatively: they construct an explicit isotropic energy built from softplus functions of the signed singular values that is polyconvex for every real choice of coefficients, yet produces a non-monotone uniaxial Cauchy stress. Consequently polyconvexity (and the weaker rank-one convexity it implies) is not by itself enough to guarantee a physically reasonable stress-strain response.

Core claim

In the incompressible three-dimensional setting, polyconvexity does not imply true-stress-true-strain monotonicity. An explicit isotropic potential that is polyconvex for all real parameters nevertheless yields a Cauchy stress that decreases over an interval of uniaxial stretch, violating TSTS-M (and therefore also Hill’s inequality).

What carries the argument

The isotropic softplus potential (2.1) written as a sum of four softplus functions of linear forms in the signed singular values and their products; its polyconvexity follows at once from the necessary-and-sufficient characterization of Wiedemann & Peter, while its loss of TSTS-M is read off from the closed-form uniaxial stress formula (2.7).

Load-bearing premise

The proof that the softplus construction is polyconvex rests entirely on the recent necessary-and-sufficient characterization of isotropic polyconvexity in terms of signed singular values; if that characterization has a gap for this particular family, the counter-example fails.

What would settle it

Direct numerical evaluation of the uniaxial Cauchy stress (2.7) at the two stretches 1.5 and 2.5 for the stated parameters: if the stress at 1.5 is not strictly larger than the stress at 2.5, or if an independent check shows that the energy fails to be polyconvex, the claim collapses.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The manuscript constructs an explicit isotropic incompressible hyperelastic potential (2.1) based on the softplus function of a linear combination of signed singular values and their products. Theorem 2.1 asserts that this potential is polyconvex for every real triple (a,b,c) by verifying the three necessary-and-sufficient conditions of Wiedemann & Peter (2026) / Geuken et al. (2026): convexity in the six signed-singular-value arguments, Π_{3}-invariance by construction, and lower semi-continuity. For the concrete coefficients (a,b,c)=(−5,−14,−22) the closed-form uniaxial Cauchy stress (2.7) is shown to be non-monotone (numerical values σ(1.5)≈14.5>σ(2.5)≈12.3), so TSTS-M fails (Theorem 2.2). The same potential remains rank-one convex (hence LH-elliptic) and produces a monotone true shear stress in simple shear. The two corollaries therefore establish that neither polyconvexity nor rank-one convexity implies TSTS-M in the three-dimensional incompressible setting, completing the diagram of constitutive implications summarized in Figure 1.

Significance. The result closes a previously open logical gap in the hierarchy of constitutive inequalities for idealized isotropic incompressible elasticity. Earlier work had shown that Ball’s sufficient conditions for polyconvexity already imply TSTS-M, and that the implication fails in the compressible three-dimensional case; the present counter-example demonstrates that the implication also fails once the full (necessary-and-sufficient) characterization of polyconvexity is admitted. The construction is elementary once the cited characterization is granted, supplies closed-form stress expressions, and is immediately usable as a test case for numerical schemes that rely solely on polyconvexity. The paper therefore supplies a clean, falsifiable negative answer that will be of lasting reference value.

minor comments (4)
  1. In the sentence preceding Corollary 2.3 the word “satisfsy” is misspelled; correct to “satisfy”.
  2. Figure 3 caption and the surrounding text refer to “ρ” in places where the uniaxial Cauchy stress is denoted σ; unify the notation.
  3. The asymptotic value τ o28 of the shear stress is stated after (2.5); a one-line derivation of this limit (using the known limits of the sigmoid) would make the claim self-contained.
  4. References to the authors’ own concurrent preprints (Wollner et al. 2026a,b; Klein et al. 2026a,b) are numerous; a short clarifying sentence that the present counter-example is independent of those works would help the reader.

Circularity Check

0 steps flagged

No circularity: explicit counterexample verifies polyconvexity and TSTS-M violation independently by direct construction and closed-form computation.

full rationale

The central claim (Corollary 2.3) is established by an explicit isotropic potential (2.1) built from the softplus of a linear form in the signed singular values. Theorem 2.1 verifies polyconvexity for arbitrary real coefficients by checking the three necessary-and-sufficient conditions of the external characterization (Wiedemann–Peter 2026 / Geuken et al. 2026 Cor. 2): convexity follows because softplus is convex and θ is linear (hence each summand is convex), Π₃-invariance holds by the four-term construction, and lower semi-continuity is immediate from continuity. Theorem 2.2 then supplies the closed-form uniaxial Cauchy stress (2.7) and exhibits a concrete numerical decrease (σ(1.5)≈14.5 > σ(2.5)≈12.3). Neither step reduces to a fitted quantity, a self-definition, or a load-bearing self-citation; prior papers by the same authors supply only background relations (Ball’s sufficient conditions imply TSTS-M, the overall diagram of implications). The argument is therefore self-contained against the external characterization it invokes and contains no circular reduction.

Axiom & Free-Parameter Ledger

1 free parameters · 4 axioms · 0 invented entities

The central claim is a pure mathematical separation result. It rests on standard differential calculus, the classical definitions of polyconvexity/rank-one convexity/TSTS-M, and one external characterization theorem for isotropic polyconvexity. Three real coefficients are chosen by hand to exhibit the violation; they are free parameters of the counterexample, not fitted quantities. No new physical entities are postulated.

free parameters (1)
  • a,b,c (material coefficients of the softplus potential) = (-5, -14, -22)
    Chosen by hand as (-5,-14,-22) solely to produce a visible non-monotonic uniaxial response while preserving polyconvexity; any other triple that yields a decrease would serve equally well.
axioms (4)
  • domain assumption Wiedemann-Peter (2026) necessary-and-sufficient characterization of isotropic polyconvexity via signed singular values (convexity of h, Pi(3)-invariance, lower semi-continuity)
    Invoked as Theorem 1.5 and used as the sole criterion for proving polyconvexity of the constructed potential (Theorem 2.1).
  • standard math Polyconvexity implies rank-one convexity (Ciarlet 1988)
    Used to obtain the secondary corollary that rank-one convexity also fails to imply TSTS-M.
  • domain assumption TSTS-M is equivalent to strict convexity of the reduced energy in logarithmic principal stretches for incompressible isotropic materials
    Cited from Baaser (2026) and used to confirm the loss of TSTS-M via the reduced potential plot.
  • standard math Standard definitions of Cauchy stress, Hencky strain, softplus and sigmoid functions, and the special linear group SL(3)
    Background continuum-mechanics and calculus facts used throughout Sections 1-2.

pith-pipeline@v1.1.0-grok45 · 14172 in / 2590 out tokens · 22043 ms · 2026-07-12T14:15:57.882203+00:00 · methodology

0 comments
read the original abstract

We study constitutive conditions of hyperelastic potentials for incompressible material behavior in three dimensions. By means of a counterexample, we show that polyconvexity does not imply true-stress-true-strain monotonicity. Thus, polyconvexity alone is not strong enough to guarantee a physically reasonable response for idealized elasticity.

Figures

Figures reproduced from arXiv: 2607.06568 by Dominik K. Klein, Maximilian P. Wollner, Patrizio Neff.

Figure 1
Figure 1. Figure 1: Overview of various constitutive constraints and their relation in isotropic incompressible hyperelasticity. [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Visualization of the softplus function (𝑥) employed for the potential in (2.1). The stress response of the potential, cf. (2.5) and (2.7), depends on the sigmoid function (𝑥) = D𝑥(𝑥), which is the first derivative of the softplus function. Polyconvexity is fulfilled if and only if (i) ℎ is convex, (ii) ̃ℎ is Π3 -invariant, which includes the six permutations introduced in (1.12) and the four symmetri… view at source ↗
Figure 3
Figure 3. Figure 3: Evaluation of the potential in (2.1) with parameters [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗

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

35 extracted references · 3 canonical work pages

  1. [1]

    C. O. Horgan and J. G. Murphy , title =. J. Elast. , year =

  2. [2]

    A variational approach for materially stable anisotropic hyperelasticity , volume=. Int. J. Solids Struct. , author=. 2005 , pages=. doi:10.1016/j.ijsolstr.2004.11.021 , number=

    work page doi:10.1016/j.ijsolstr.2004.11.021 2005

  3. [3]

    Ordinary and strong ellipticity in the equilibrium theory of incompressible hyperelastic solids , author=. Arch. Ration. Mech. Anal. , year=

  4. [4]

    , title =

    Baaser, H. , title =. 2026 , journal =

    2026

  5. [5]

    Constitutive inequalities for isotropic elastic solids under finite strain , author =. J. Mech. Phys. Solids , volume =. 1970 , doi =

    1970

  6. [6]

    Ball, J. M. , title =. 1976 , journal =

    1976

  7. [7]

    Ball, J. M. , editor =. Constitutive inequalities and existence theorems in nonlinear elastostatics , booktitle =

  8. [8]

    Ciarlet, P. G. , title =. 1988 , series =

    1988

  9. [9]

    and Kurzeja, P

    Geuken, G.-L. and Kurzeja, P. and Wiedemann, D. and Mosler, J. , title =. 2025 , journal =

    2025

  10. [10]

    On the different notions of convexity for rotationally invariant functions , volume =

    Dacorogna, Bernard and Koshigoe, Hideyuki , journal =. On the different notions of convexity for rotationally invariant functions , volume =

  11. [11]

    Klein, D. K. and Mokarram, H. and Kikinov, K. and Kannapinn, M. and Rudykh, S. and Gil, A. J. , title =. 2026 , journal =

    2026

  12. [12]

    and Husemann, N

    Neff, P. and Husemann, N. J. and Korobeynikov, S. N. and Ghiba, I.-D. and Martin, R. J. , title =. Acta. Mech. , pages =. 2025 , doi =

    2025

  13. [13]

    2025 , issn =

    The corotational stability postulate: Positive incremental Cauchy stress moduli for diagonal, homogeneous deformations in isotropic nonlinear elasticity , journal =. 2025 , issn =. doi:10.1016/j.ijnonlinmec.2025.105033 , author =

    work page doi:10.1016/j.ijnonlinmec.2025.105033 2025

  14. [14]

    2008 , doi =

    Direct Methods in the Calculus of Variations , author =. 2008 , doi =

    2008

  15. [15]

    , title =

    Mielke, A. , title =. 2005 , journal =

    2005

  16. [16]

    Ernest and Fosdick, Roger and Zhang, Ying

    Dunn, J. Ernest and Fosdick, Roger and Zhang, Ying. Rank 1 convexity for a class of incompressible elastic materials. Rational Continua, Classical and New: A collection of papers dedicated to Gianfranco Capriz on the occasion of his 75th birthday. 2003. doi:10.1007/978-88-470-2231-7_7

    work page doi:10.1007/978-88-470-2231-7_7 2003

  17. [17]

    and Wollner, M

    Ghiba, I.-D. and Wollner, M. P. and Neff, P. , title =. n.a. , journal =

  18. [18]

    and Ghiba, I-D

    Neff, P. and Ghiba, I-D. and Lankeit, J. , title =. J. Elast. , pages =. 2015 , doi =

    2015

  19. [19]

    Morrey, C. B. , title =. 1952 , journal =

    1952

  20. [20]

    Murnaghan, F. D. , title =. 1941 , journal =

    1941

  21. [21]

    and Eidel, B

    Neff, P. and Eidel, B. and Martin, R. J. , title =. Arch. Rational Mech. Anal. , pages =. 2016 , doi =

    2016

  22. [22]

    and Holthausen, S

    Neff, P. and Holthausen, S. and d'Agostino, M. V. and Bernardini, D. and Sky, A. and Ghiba, I.-D. and Martin, R. J. , title =. J. Mech. Phys. Solids , pages =. 2025 , doi =

    2025

  23. [23]

    and Husemann, N

    Neff, P. and Husemann, N. J. and Holthausen, S. and Gmeineder, F. and Blesgen, T. , title =. J. Nonlinear Sci. , year =

  24. [24]

    , year =

    Truesdell, C. , year =. Z. angew. Math. Mech. , volume =

  25. [25]

    1949 , journal =

    Verzerrungstensor, Verzerrungsdeviator und Spannungstensor bei endlichen Formänderungen , author =. 1949 , journal =

    1949

  26. [26]

    1965 , doi =

    The Non-Linear Field Theories of Mechanics , author =. 1965 , doi =

    1965

  27. [27]

    and Peter, M

    Wiedemann, D. and Peter, M. A. , title =. 2026 , journal =

    2026

  28. [28]

    Wollner, M. P. and Holzapfel, G. A. and Neff, P. , title =. 2026 , journal =

    2026

  29. [29]

    M. P. Wollner and D. K. Klein and H. Baaser and G. A. Holzapfel and P. Neff , title =. 2026 , journal=. 2605.20031 , archivePrefix=

    Pith/arXiv arXiv 2026

  30. [30]

    Klein, D. K. and Fernández, M. and Martin, R. J. and Neff, P. and Weeger, O. , year =. Polyconvex anisotropic hyperelasticity with neural networks , volume =. doi:10.1016/j.jmps.2021.104703 , journal =

    doi:10.1016/j.jmps.2021.104703 2021

  31. [31]

    2026 , eprint=

    On limitations of polyconvexity , author=. 2026 , eprint=

    2026

  32. [32]

    and Kurzeja, P

    Geuken, G.-L. and Kurzeja, P. and Wiedemann, D. and Zlatić, M. and Čanađija, M. and Mosler, J. , title =. Pre-print under review , eprint =. 2026 , archivePrefix=

    2026

  33. [33]

    Strain tensor, strain deviator and stress tensor for finite deformations

    The axiomatic introduction of arbitrary strain tensors by Hans Richter -- a commented translation of "Strain tensor, strain deviator and stress tensor for finite deformations" , author=. Pre-print under review , eprint=. 2019 , archivePrefix=

    2019

  34. [34]

    , title =

    Rosakis, P. , title =. 1997 , journal =

    1997

  35. [35]

    and Husemann, N

    Neff, P. and Husemann, N. J. and Holthausen, S. and d'Agostino, M. V. and Bernardini, D. and Sky, A. and Tchakoutio Nguetcho, A. S. and Ghiba, I.-D. and Martin, R. J. and Gmeineder, F. and Korobeynikov, S. N. and Blesgen, T. , title =. doi:10.13140/RG.2.2.15349.69603 , year =

    doi:10.13140/rg.2.2.15349.69603