REVIEW 2 major objections 4 minor 31 references
A slicing approach to stress-strain duality
T0 review · 2 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read A slicing pairing makes stress-strain duality well-defined for unbounded BD deformations and divergence-measure stresses, and reduces to the classical Kohn–Temam pairing where defined.
desk verdict Solid slicing-based extension of stress-strain pairings to unbounded BD, but Theorem 1.1 overstates the Gauss–Green formula by omitting the integrability assumptions (7.10) from Theorem 7.9. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the slicing pairing ((A:Eu))_Ξ, built from a finite frame Ξ of N(N+1)/2 unit directions whose rank-one products ξ⊗ξ form a basis of the space of symmetric matrices. Writing A = Σ a^ξ ξ⊗ξ, the pairing disintegrates into one-dimensional pairings (a^ξ_y, Dû^ξ_y) between the BV slice of the coefficient a^ξ and the BV slice of the normal component û^ξ = u·ξ; the formula (7.2) integrates these scalar measures over the hyperplanes ξ^⊥. The machinery exploits the slicing theorem for BD (Proposition 2.7) and the scalar pairing theory for BV functions, and the key structural assumption is the directional BV condition BV^∞_Ξ, which ensures each a^ξ_y is BV along slices. This reduc
What would settle it
Compute the slicing pairing for a simple two-dimensional configuration in which A has divergence concentrated on a line but oscillates wildly in the tangential direction (so D_ξ a^ξ fails to be a Radon measure for every frame), with u a Heaviside jump across the line. If the construction still yields a measure for some choice of frame, the claimed necessity of BV^∞_Ξ is wrong; if it does not, the limitation is real. Alternatively, find A ∈ BV^∞_Ξ ∩ BV^∞_Ξ' and u ∈ BD with ((A:Eu))_Ξ ≠ ((A:Eu))_Ξ' and |E^c u|(S_A)>0; the paper's consistency theorem predicts equality only when |E^c u|(S_A)=0, so
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 1.1: for a symmetric stress field A in the directional BV class BV^∞_Ξ (each coefficient a^ξ = A:B^ξ has directional derivative D_ξ a^ξ a Radon measure) and any u ∈ BD(Ω), the slicing pairing ((A:Eu))_Ξ defined by (7.2) is a Radon measure in Ω, absolutely continuous with respect to |Eu|, with a Gauss–Green formula on sets of finite perimeter. When u ∈ BD ∩ L^∞, |E^c u|(S_A)=0, and condition (H*) holds, the slicing pairing coincides with the distributional pairing (A:Eu). The paper also shows that for A ∈ BV ∩ L^∞ the slicing construction reconstructs the intrinsic measure A^* : Eu, so the pairing is then frame-independent.
Load-bearing premise
The load-bearing premise is that, for each direction ξ in a chosen frame, the directional derivative D_ξ a^ξ of the coefficient a^ξ = A:B^ξ is a Radon measure; if even one of these directional derivatives is merely a distribution and not a measure, the slicing formula (7.2) is not defined, and the whole construction collapses.
Editorial extensions
If this is right
- Stress fields with singular surface divergence — e.g. jump discontinuities across cracks and material interfaces — now admit a well-defined stress-strain pairing that is a Radon measure absolutely continuous with |Eu|.
- Unbounded BD displacements, for which truncation arguments fail, are covered by the slicing definition; the resulting Gauss–Green formulas hold on sets of finite perimeter.
- Whenever the classical Kohn–Temam or distributional pairing is defined (bounded u, |E^c u|(S_A)=0, condition (H*)), the slicing pairing coincides with it, so the new object is a strict generalization.
- For stresses in BV ∩ L^∞ the slicing pairing is frame-independent and equals A^*:Eu, giving an intrinsic interfacial work in Griffith-type fracture configurations.
- The deviatoric pairing ((A^D:E^D u))_Ξ is also a Radon measure absolutely continuous with respect to |Eu|, extending the classical plasticity pairing to stresses with measure divergence.
Reading between the lines
- The frame-dependence of the slicing pairing is arguably a feature rather than a defect: for non-BV stresses, the energy concentration is captured only along the prescribed frame directions, so the pairing implicitly selects a family of preferred material orientations; a reader might expect that physical objectivity requires either proving frame-invariance for wider classes or prescribing Ξ as part
- The condition |E^c u|(S_A)=0, needed for consistency with the distributional pairing, is not needed for the slicing pairing itself; one can test numerically whether Cantor-type micro-cracking produces different slicing pairings for different frames, which would quantify the 'invisibility' of diffuse damage to the strain measure.
- The BV^∞_Ξ regularity is strictly stronger than divergence-measure regularity and is directional in nature (only directional derivatives along the frame are controlled). This suggests that the construction might extend to tensor fields with anisotropic singularities by choosing frames adapted to the singular set, an idea the paper does not pursue.
- If one chooses a frame aligned with the singular directions of DivA, the slicing pairing may be computable in practice from one-dimensional sections; this could provide a route to numerical quadrature for interfacial energies in fracture or damage models.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a slicing-based stress-strain pairing ((A:Eu))_Ξ for symmetric tensor fields A in a directional BV class BV^∞_Ξ and displacements u in BD, without requiring Div A ∈ L^N. The main results are: (i) the slicing pairing is a Radon measure on Ω, absolutely continuous with respect to |Eu| (Theorem 7.2); (ii) for bounded u it coincides with the distributional pairing under hypotheses (H*) and (Hc) (Theorems 6.5 and 7.2(iii)); (iii) Gauss-Green formulas hold on sets of finite perimeter under additional integrability hypotheses (Theorem 7.9); (iv) for A∈BV the pairing is frame-independent and equals A^*:Eu; (v) a deviatoric variant and a Mode I crack example are discussed. The proofs proceed by disintegrating Lebesgue, Cantor and jump parts separately, with explicit assumptions for the delicate Cantor part.
Significance. If the main claims are correct, the paper extends the classical Kohn–Temam pairing to stress fields whose divergence has singular surface contributions, which is relevant to fracture and interface models. The slicing construction is new in this setting, and the paper is careful to separate the unconditional measure/absolute-continuity theorem from the consistency theorem requiring (H*) and (Hc). Explicit strengths include: a genuinely unconditional Radon-measure and absolute-continuity result for unbounded BD deformations, a consistency theorem with the distributional pairing under stated hypotheses, and a concrete two-dimensional example showing the mechanism. The main advertised theorem, however, overstates the validity of the Gauss-Green formula, and the well-posedness of one of the integrability hypotheses needs clarification. These issues are local and repairable, but they affect the central statement of the paper.
major comments (2)
- [Theorem 1.1 vs. Theorem 7.9] Theorem 1.1 and the abstract assert that for every A∈BV^∞_Ξ and every u∈BD the slicing pairing is a Radon measure, absolutely continuous with respect to |Eu|, and satisfies a Gauss-Green formula on sets of finite perimeter. The measure and absolute-continuity parts are proved unconditionally in Theorem 7.2, but the Gauss-Green formula in Theorem 7.9 is proved only under the additional hypotheses (7.10): u*·ξ ∈ L^1_loc(R^N, |D_ξ a^ξ|) for each ξ∈Ξ, and u± ∈ L^1_{H^{N-1}∂*F,loc}. These do not follow from u∈BD and A∈BV^∞_Ξ. This is an internal mismatch between the advertised central claim and the precise theorem. Please restate Theorem 1.1 so that the Gauss-Green part carries hypotheses (7.10), or state it as a separate conditional result, and adjust the abstract accordingly.
- [Theorem 7.9 and Proposition 7.7] The hypothesis u*·ξ ∈ L^1_loc(R^N, |D_ξ a^ξ|) is not well-posed as written. The paper defines u* only on Ω\(S_u\J_u) (see (2.7) and the discussion preceding it), and for general u∈BD the paper itself notes that S_u\J_u need not be H^{N-1}-negligible. Since |D_ξ a^ξ| is a Radon measure that may charge S_u\J_u, the expression u*·ξ is not defined |D_ξ a^ξ|-a.e. unless an additional hypothesis such as |D_ξ a^ξ|(S_u\J_u)=0 is imposed. The slicing formulation (7.5) in Proposition 7.7 avoids this ambiguity by using the slice precise representative (û^ξ_y)*. To make Theorem 7.9 rigorous, either replace (7.4) by the slice condition (7.5), or add an explicit hypothesis excluding charge on S_u\J_u. This is a load-bearing clarification because the boundary term ∫ u*·dDivA in the Gauss-Green identity is otherwise not defined.
minor comments (4)
- [Abstract] Typo: “absolutely continuity” should be “absolute continuity.” Also, the abstract describes the fields as “bounded symmetric divergence-measure tensor fields,” but the main class BV^∞_Ξ is strictly stronger than DM^∞; consider wording that reflects the directional BV assumption.
- [Section 9] In formula (9.1), the sign convention for the boundary term should be reconciled explicitly with the trace convention in Theorem 5.8 and Remark 5.9, since (5.17) carries a minus sign while (9.1) is written with a plus sign after substituting Tr^+(A,∂F)=-A^+ν_F. A one-sentence explanation would prevent sign errors for readers.
- [Appendix A] The statement for N≥3 that “one needs (H'') with respect to sufficiently many (at least N) frames in generic position” is not a precise hypothesis. If this remark is kept, state the required rank condition explicitly, or label it as a heuristic.
- [Theorem 7.2] In the final frame-independence assertion, it may be helpful to state explicitly that for A∈BV∩L∞ the condition (Hc) is automatically satisfied, so that the conclusion does not require checking it.
Circularity Check
No significant circularity: the slicing pairing is defined by formula (7.2) and the consistency with the distributional pairing is proved (Theorem 7.2(iii)), not assumed.
full rationale
The paper's central construction is a definition, not a disguised fit: the slicing pairing ((A:Eu))_Ξ is introduced by (7.2) as a sum of one-dimensional Anzellotti pairings, and Theorem 7.2 proves from that definition that it is a Radon measure absolutely continuous with respect to |Eu|. The advertised consistency ((A:Eu))_Ξ = (A:Eu) for bounded u under (Hc) and (H*) is the proved content of Theorem 7.2(iii), relying on the slicing representation Theorem 6.5, whose Lebesgue/jump/Cantor parts are each established. No fitted constants, empirical data, or target assumptions are fed back into the construction. The frame dependence of the slicing pairing is explicitly acknowledged, and frame independence is recovered only for A∈BV via Theorem 7.2's final assertion, so no uniqueness is smuggled in. The paper does cite the authors' own preprint [25] for the BV tensor pairing (Theorems 2.17–2.18) and as a proof template in Theorem 5.8, but the BD slicing results are proven independently and do not reduce to this citation; hence the self-citation is not load-bearing. One non-circular issue should be flagged: Theorem 1.1 states a Gauss-Green formula for every A∈BV∞_Ξ and u∈BD, while the actual Theorem 7.9 requires the additional integrability hypotheses (7.10); this is an overstatement of scope, not a circularity, and does not affect the derivation chain.
Assumptions & free parameters
assumptions (7)
- standard math BV/BD slicing theory (Prop 2.2, 2.7, 2.8)
- standard math Normal trace theory for divergence-measure fields
- standard math Anzellotti-type pairing for BV functions
- domain assumption Directional BV regularity of A along frame (H'')
- domain assumption Cantor compatibility (Hc): |E^c u|(S_A)=0
- domain assumption Compatibility condition (H*): |Div^s A|(S_u \ J_u)=0
- domain assumption Integrability conditions (7.10) for the unbounded Gauss-Green
Cite this review
Pith. "Pith review of A slicing approach to stress-strain duality." pith.science (2026). https://pith.science/paper/SEZ6HFQZ
@misc{pith2026260717183,
author = {Pith},
title = {Pith review of: A slicing approach to stress-strain duality},
year = {2026},
howpublished = {\url{https://pith.science/paper/SEZ6HFQZ}},
note = {Machine review of arXiv:2607.17183}
}
abstract
The classical Kohn-Temam stress-strain pairing $({\bf A}:E{\bf u})$ for symmetric tensors ${\bf A}$ and ${\bf u}\in BD$ is typically formulated under summability assumptions on the divergence of ${\bf A}$. This excludes stress fields whose divergence has singular surface contributions, as occurs at cracks and material interfaces in continuum mechanics. We define and study stress-strain pairings for bounded symmetric divergence-measure tensor fields. For general ${\bf u}\in BD$, we introduce a slicing pairing $(({\bf A}:E{\bf u}))_\Xi$ for tensor fields satisfying a directional $BV$-type condition with respect to a finite frame $\Xi$. The definition is based on a one-dimensional disintegration strategy, and despite this construction, the new pairing enjoys analogous properties of the usual pairing $({\bf A}:E{\bf u})$, such as the absolutely continuity with respect to $|E{\bf u}|$ and the Gauss-Green formulas. We also identify several situations in which the pairing is independent of the choice of frame $\Xi$, including the relevant case in which the stress field ${\bf A}$ belongs to $BV$. While a distributional stress-strain pairing can be defined naturally for bounded $BD$ functions, it cannot be extended to the unbounded setting, since the truncation techniques available in $BV$ fail in $BD$. The slicing pairing is consistent with the distributional one whenever the latter is defined, while being more general even for bounded ${\bf u}$. Indeed, its existence does not require the compatibility condition $|{\rm Div}\,{\bf A}|(S_{{\bf u}}\setminus J_{\bf u})=0$ which is necessary for the distributional definition. This allows the treatment of stress fields interacting with diffuse micro-cracking.
Figures
Reference graph
Works this paper leans on
-
[25]
De Cicco and G
V. De Cicco and G. Scilla,Gauss-Green formulas for divergence measure tensor fields on rough do- mains, Preprint (2026)
2026
-
[1]
Ambrosio, A
L. Ambrosio, A. Coscia, and G. Dal Maso,Fine properties of functions with bounded deformation, Arch. Ration. Mech. Anal.139(1997), 201–238
1997
-
[2]
Ambrosio, G
L. Ambrosio, G. Crippa, and S. Maniglia,Traces and fine properties of aBDclass of vector fields and applications, Ann. Fac. Sci. Toulouse Math. (6)14(2005), no. 4, 527–561. 48 V. DE CICCO AND G. SCILLA
2005
-
[3]
Ambrosio, N
L. Ambrosio, N. Fusco, and D. Pallara,Functions of Bounded Variation and Free Discontinuity Prob- lems, Oxford Mathematical Monographs, The Clarendon Press Oxford University Press, New York, 2000
2000
-
[4]
Anzellotti,On the existence of the rates of stress and displacement for Prandtl-Reuss plasticity, Quarterly Appl
G. Anzellotti,On the existence of the rates of stress and displacement for Prandtl-Reuss plasticity, Quarterly Appl. Math.41(1983), 181–208
1983
-
[5]
,Pairings between measures and bounded functions and compensated compactness, Ann. Mat. Pura Appl. (4)135(1983), 293–318 (1984)
1983
-
[6]
J.51(1984), no
,On the extremal stress and displacement in Hencky plasticity, Duke Math. J.51(1984), no. 1, 133–147
1984
-
[7]
Anzellotti and M
G. Anzellotti and M. Giaquinta,Existence of the displacements field for an elasto-plastic body subject to Hencky’s law and Von Mises yield condition, Manuscripta Math.32(1980), 101–136
1980
Show all 31 references
-
[8]
Arroyo-Rabasa,Slicing and fine properties for functions with boundedA-variation, arXiv:2009.13513 (2020)
A. Arroyo-Rabasa,Slicing and fine properties for functions with boundedA-variation, arXiv:2009.13513 (2020)
2009 arXiv
-
[9]
J. F. Babadjian,Traces of functions of bounded deformation, Indiana Univ. Math. J.64(2015), no. 4, 1271–1290
2015
-
[10]
G. I. Barenblatt,The mathematical theory of equilibrium cracks in brittle fracture, Adv. Appl. Mech., 1962, pp. 55–129
1962
-
[11]
Bourdin, G
F. Bourdin, G. A. Francfort, and J.-J. Marigo,The variational approach to fracture, J. Elasticity91 (2008), no. 1–3, 5–148
2008
-
[12]
Chen and H
G.-Q. Chen and H. Frid,Divergence-measure fields and hyperbolic conservation laws, Arch. Ration. Mech. Anal.147(1999), no. 2, 89–118
1999
-
[13]
,Extended divergence-measure fields and the Euler equations for gas dynamics, Comm. Math. Phys.236(2003), no. 2, 251–280
2003
-
[14]
G. E. Comi, G. Crasta, V. De Cicco, and A. Malusa,Representation formulas of pairings between divergence-measure vector fields and BV functions, J. Funct. Anal.286(2024), no. 1
2024
-
[15]
G. E. Comi, V. De Cicco, and G. Scilla,Beyond BV: new pairings and Gauss-Green formu- las for measure fields with divergence measure, Commun. Contemp. Math., posted on 2026, DOI 10.1142/S0219199726500410
2026 doi
-
[16]
G. E. Comi and G. P. Leonardi,Measures in the dual ofBV: perimeter bounds and relations with divergence-measure fields, Nonlinear Anal.251(2025), 113686
2025
-
[17]
G. E. Comi and K. R. Payne,On locally essentially bounded divergence measure fields and sets of locally finite perimeter, Adv. Calc. Var.13(2020), no. 2, 179–217
2020
-
[18]
Conti, M
S. Conti, M. Focardi, and F. Iurlano,Which special functions of bounded deformation have bounded variation?, Proc. R. Soc. Edinb. A148(2018), no. 1, 33–50
2018
-
[19]
Crasta and V
G. Crasta and V. De Cicco,Anzellotti’s pairing theory and the Gauss–Green theorem, Adv. Math. 343(2019), 935–970
2019
-
[20]
,On the variational nature of the Anzellotti pairing, Adv. Calc. Var.18(2025), no. 3, 755–771
2025
-
[21]
Crasta, V
G. Crasta, V. De Cicco, and A. Malusa,Pairings between bounded divergence-measure vector fields and BV functions, Adv. Calc. Var.15(2022), no. 4, 787–810
2022
-
[22]
,Divergence of the composition of irregular fields withBVfunctions, ArXiv:2604.14033 (2026)
2026 arXiv
-
[23]
Dal Maso,Generalised functions of bounded deformation, J
G. Dal Maso,Generalised functions of bounded deformation, J. Eur. Math. Soc.15(2013), no. 5, 1943–1997
2013
-
[24]
Dal Maso, A
G. Dal Maso, A. De Simone, and M. G. Mora,Quasistatic evolution problems for linearly elastic- perfectly plastic materials, Arch. Ration. Mech. Anal.180(2006), 237–291
2006
-
[26]
Francfort and J.-J
G. Francfort and J.-J. Marigo,Revisiting brittle fracture as an energy minimization problem, J. Mech. Phys. Solids46(1998), no. 8, 1319–1342
1998
-
[27]
A. A. Griffith,The phenomena of rupture and flow in solids, Philos. Trans. Roy. Soc. London Ser. A 221(1921), 163–198
1921
-
[28]
The Linear Theory of Elasticity,
M. E. Gurtin, “The Linear Theory of Elasticity,” inLinear Theories of Elasticity and Thermoelasticity: Linear and Nonlinear Theories of Rods, Plates, and Shells, C. Truesdell, Ed. Berlin, Heidelberg: Springer Berlin Heidelberg, 1973, pp. 1-295
1973
-
[29]
Kohn and R
R. Kohn and R. Temam,Dual spaces of stresses and strains, with applications to Hencky plasticity, Appl. Math. Optim.10(1983), 1–35. STRESS-STRAIN DUALITY VIA SLICING 49
1983
-
[30]
Temam,Mathematical Problems in Plasticity, Gauthier-Villars Series in Modern Applied Mathe- matics, Gauthier-Villars, Paris, 1985
R. Temam,Mathematical Problems in Plasticity, Gauthier-Villars Series in Modern Applied Mathe- matics, Gauthier-Villars, Paris, 1985
1985
-
[31]
R. Caccioppoli
R. Temam and G. Strang,Functions of bounded deformation, Arch. Ration. Mech. Anal.75(1980), no. 1, 7–21. Department of Basic and Applied Sciences for Engineering, Sapienza University of Rome, Via A. Scarpa 10 - I-00185 Rome (Italy) Email address:virginia.decicco@uniroma1.it De...
1980
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.