Pith. sign in

REVIEW 2 major objections 5 minor 33 references

Rigidity and functional properties of $\mathrm{BD}_{dev}(\Omega)$

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

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

Pith's one-line read The paper proves that any $\mathrm{BD}_{dev}$ map whose deviatoric strain has a constant polar direction in the wave cone splits into one-dimensional $BV$ profiles, a $W^{1,1}$ part, and a polynomial remainder.

desk verdict The annihilator, wave cone, and kernel projection are real contributions, but the density step in Theorem 5.3 has a genuine gap: L_ε is uncontrolled, and the asserted L1 compactness does not follow. read the letter →

arxiv 2505.23348 v1 pith:5C6EG3NQ submitted 2025-05-29 math.AP math.CA

Marco Caroccia , Nicolas Van Goethem This is my paper
classification math.APmath.CA MSC 35B6549J4546E3574C05
keywords boundeddeviatoricdeformationrigiditywaveconeannihilatorkernelprojectionblow-uprelaxationhomogenization
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

Functions of bounded deviatoric deformation, $\mathrm{BD}_{dev}$, are vector fields whose deviatoric strain $\mathcal{E}_d u = Eu - (\mathrm{div}\,u)/n\,\mathrm{Id}$ is a finite Radon measure; they arise in plasticity and fluid mechanics, where shear rather than compression is the controlled variable. This paper proves a rigidity theorem: if $\mathcal{E}_d u$ equals a fixed trace-free symmetric matrix $a\odot b - (a\cdot b)/n\,\mathrm{Id}$ times a nonnegative measure, then $u$ must split into one-dimensional functions of $x\cdot a$ and $x\cdot b$ with $BV$ regularity, a $W^{1,1}$ piece, an explicitly described third-order polynomial $Q$, and a kernel element $L$. A companion theorem gives an explicit projection operator onto $\mathrm{Ker}(\mathcal{E}_d)$ and the resulting Poincar\'e inequality. If true, the blow-up profiles needed for relaxation and homogenization of deviatoric energies are fully determined, including energies depending on $u$ itself.

What carries the argument

The load-bearing object is the fourth-order annihilator $A$ for $\mathcal{E}_d$, with symbol $A[\xi]M=|\xi|^2(M\xi\otimes\xi+\xi\otimes M\xi)-|\xi|^4M-\frac{\xi^t M\xi}{n-1}((n-2)\xi\otimes\xi+|\xi|^2\mathrm{Id})$. Its kernel is exactly the wave cone $\{a\odot b-(a\cdot b)/n\,\mathrm{Id}\}$, which is the set of admissible constant polars. The proof then uses the curl-type identities of Lemma 5.1, obtained by differentiating the relation and applying Schwarz's theorem, to turn the constant-polar equation into wave equations for the density $g$; the remainder is a third-order polynomial term. A second mechanism is the explicit operator $R_K$ of Theorem 1.4, built from boundary integrals $s_K,A_K,\gamma_K,b_K$, which fixes $\mathrm{Ker}(\mathcal{E}_d)$ and gives the Poincar\'e estimate.

What would settle it

In $n=3$ with $a=b=e_1$, take the density $g$ from Lemma 5.13, $g=h(x_1)+\sum_{j=2}^3 p_j(x_1)x_j+\psi(x_1)(x_2^2+x_3^2)/2+\varrho(x_2^2-x_3^2)$, and solve $\mathcal{E}_d u = (e_1\odot e_1 - \mathrm{Id}/3)g$. Theorem 1.2 predicts the layered structure (5.51) with $F\in BV_{\mathrm{loc}}$; a solution whose non-polynomial part depends genuinely on both $x_2$ and $x_3$, or whose $F$ is not $BV$, would falsify the theorem. A simpler algebraic test is to compute $\ker A[\xi]$ from (3.7) and look for an element not of the form $a\odot b-(a\cdot b)/n\,\mathrm{Id}$.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.2, is that for $n\ge 3$ the wave cone of a fourth-order annihilator $A$ of $\mathcal{E}_d$ is exactly the set $\{a\odot b - (a\cdot b)/n\,\mathrm{Id}: a,b\in\mathbb{R}^n\}$, and that any $u\in \mathrm{BD}_{dev}(K)$ with $\mathcal{E}_d u = (a\odot b - (a\cdot b)/n\,\mathrm{Id})\mu$ has one of two rigid forms. If $a,b$ are not parallel, $u(x)=\psi_1(x\cdot a)b+\psi_2(x\cdot b)a+Q(x)+L(x)$ with $\psi_1,\psi_2\in BV_{\mathrm{loc}}$, $Q$ a homogeneous third-order polynomial solving (1.6), and $L\in\mathrm{Ker}(\mathcal{E}_d)$. If $b=\lambda a$, $u$ has the layered structure (1.7) with $F\in BV_{\mathrm{loc}}$, $P_j,G\in W^{1,1}_{\mathrm{loc}}$ with derivatives in $BV_{\mathrm{loc}}$; for $n\ge 4$ the extra polynomial coefficient $\varrho$ vanishes. The paper derives from the annihilator the fine structure $\mathcal{E}_d u = e_d(u)\mathcal{L}^n + ([u]\odot\nu_u - ([u]\cdot\nu_u)/n\,\mathrm{Id})\mathcal{H}^{n-1}\lrcorner J_u + a(x)\odot b(x) - (a(x)\cdot b(x))/n\,\mathrm{Id}\,|\mathcal{E}_d^c u|$, and Theorem 1.4 constructs an explicit operator $R_K$ fixing $\mathrm{Ker}(\mathcal{E}_d)$ with $\|u-R_K[u]\|_{L^1}\le c|\mathcal{E}_d u|(K)$.

Load-bearing premise

The argument rests on the known theorem, not reproved here, that at almost every point of the singular part the polar of $\mathcal{E}_d^s u$ lies in the wave cone; the whole blow-up strategy collapses if that theorem fails.

Editorial extensions

If this is right

  • At singular (Cantor-type) points, every blow-up of a $\mathrm{BD}_{dev}$ map has one of the two rigid forms in Theorem 1.2; this is the missing input for a full relaxation theorem on $\mathrm{BD}_{dev}$.
  • Because $R_K$ is explicit and fixes the kernel, the iterated blow-up argument can compute the constant in front of the one-dimensional profile, as done for $BD$.
  • The annihilator gives $|\mathcal{E}_d u|\ll\mathcal{H}^{n-1}$ and the jump part $[u]\odot\nu_u - ([u]\cdot\nu_u)/n\,\mathrm{Id}\,\mathcal{H}^{n-1}\lrcorner J_u$, so the singular measure of $\mathrm{BD}_{dev}$ maps is as concentrated as in $BD$.
  • Energies depending on $u$ as well as $\mathcal{E}_d u$ can be handled, because the rigidity step does not require dropping dependence on $u$.
  • For $n\ge 4$, the polynomial coefficient $\varrho$ in the parallel case vanishes, so in high dimensions the layered structure is independent of the exceptional third-order polynomial.

Reading between the lines

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

  • The third-order polynomial remainder is a new feature with no $BD$ analogue; if it survives in the limit energies, homogenized shear-only models may contain cubic terms even when the underlying $BD$ model has none.
  • The $n=2$ failure of $C$-ellipticity suggests the rigidity statement may be false there; a two-dimensional counterexample with a singular part spread over a curve would test this.
  • The quasi-continuity obtained from $R_K$ is a natural stepping stone toward the paper's open conjecture $|\mathcal{E}_d u|(S_u\setminus J_u)=0$.
  • The same pipeline (annihilator, wave cone, constant-polar rigidity, kernel projection) could be applied to other trace-free first-order operators in continuum mechanics.
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 / 5 minor

Summary. The paper develops the structural theory of the space BD_dev(Ω) of functions of bounded deviatoric deformation, defined through the trace-free symmetric gradient operator E_d u = sym Du - (div u)/n Id. The main results are: (i) an explicit fourth-order annihilator A for E_d whose wave cone is exactly {a⊙b - (a·b)/n Id : a,b∈R^n} (Propositions 3.2 and 3.6); (ii) a rigidity theorem (Theorem 1.2, proved as Theorems 5.3 and 5.11) describing every u∈BD_dev with E_d u equal to a constant polar matrix in the wave cone times a nonnegative measure as a sum of one-dimensional BV terms, a W^{1,1} part, a polynomial part solving an explicit deviatoric equation, and a Killing field in Ker(E_d); (iii) an explicit kernel projection operator R_K satisfying the Poincaré inequality (Theorem 1.4); and (iv) fine properties of E_d u, including |E_d u| ≪ H^{n-1}, the structure of the jump part, and a quasi-continuity property. The proof strategy is to mollify, solve the smooth PDE system derived in Lemma 5.1, and pass to the limit separately in the non-parallel and parallel cases, treating n=3 and n≥4 differently.

Significance. If the proof is repaired as suggested below, the paper would provide the BD_dev analogue of the classical BD rigidity and would supply the two main ingredients (rigidity with constant polar and an explicit kernel projection) needed for the iterative blow-up approach to relaxation and homogenization with integrands depending on u as well as E_d u. The explicit annihilator and the computation of its wave cone are clean and useful results, and the paper is honest about relying on the external De Philippis-Rindler theorem for the polar of the singular part. The paper also contains a clear statement of the open question whether |E_d u|(S_u \ J_u)=0. These strengths are substantial. However, the central density step in Theorem 5.3 has a real compactness gap and the main theorem as stated contains a false regularity assertion; both are repairable within the manuscript's scope, but they block acceptance in the present form.

major comments (2)
  1. [Section 5.1.3 (proof of Theorem 5.3)] The step "since sup_ε |E_d(u_ε−L_ε)|(A)<∞ we have u_ε−L_ε→ū in L1" is not justified. The kernels L_ε are not specified and E_d does not control them: for example L_ε(y)=ε^{-1}y belongs to Ker(E_d) and has |E_d L_ε|=0 but ∥L_ε∥_{L1(A)}→∞. This is load-bearing because the subsequent extraction of the limits of Q_ε and of ψ_i^ε in Steps one and two depends on having a convergent subsequence of u_ε−L_ε. The gap can be repaired by fixing a bounded linear projection Π_A onto Ker(E_d), as already used in Proposition 2.4 or Proposition 2.6, and choosing L_ε=Π_A u_ε; the Poincaré inequality then gives a uniform L1 bound for u_ε−Π_A u_ε on compact subdomains, allowing the compactness theorem to be applied. This choice must be stated explicitly in the proof.
  2. [Theorem 1.2, Case 1] The statement of the main theorem asserts ψ_1, ψ_2 ∈ C^∞(R), but the precise rigidity theorem (Theorem 5.3) proves only ψ_1, ψ_2 ∈ BV_loc(R), and this regularity is optimal. For instance u(x)=H(x·b)a belongs to BD_dev and satisfies E_d u=(a⊙b−(a·b)/n Id) μ with μ=H^{n-1} on {x·b=0}; one of the profile functions is a Heaviside function, not a C^∞ function. The statement of Theorem 1.2 should replace C^∞ by BV_loc; as printed, the central theorem is false.
minor comments (5)
  1. [Section 5.1.3, Step two of Theorem 5.3] The labels ψ_1 and ψ_2 are interchanged relative to the statement (5.20): the proof writes w_ε=aψ^1_ε(x·b)+bψ^2_ε(x·a) and concludes w=aψ_1(x·b)+bψ_2(x·a), whereas (5.20) states ψ_1(x·a)b+ψ_2(x·b)a. The BV verification in Step three follows the proof's convention, so the statement and the proof must be reconciled.
  2. [Remark 2.3] The remark says "our rigidity Theorems 5.3 and 5.11 are proven for n=2", which contradicts both theorems and the surrounding discussion of C-ellipticity for n≥3; this is presumably intended to read "proven for n≥3" or "not proven for n=2".
  3. [Section 5.1.3, Step one of Theorem 5.3] The assertion that all coefficients of Q_ε are polynomial functions of η_ε, ϑ_ε, and v_ε is used to conclude Q_ε→Q, but the full coefficient dependence is not derived; Proposition 5.5 proves only the two displayed third-order coefficients. The authors should either justify this dependence systematically or restructure the argument so that Lemma 5.10 is applied directly to each component Q_ε·e_j.
  4. [Section 4.1] The sentence "for L^n-a.e. x∈ there exists a precise representative" is missing the domain Ω; this is a typographical error.
  5. [General] There are several minor typos, such as "compacntess" in Section 5.1.3 and "wethern" in Remark 2.3; a careful proofreading pass is needed.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the rigidity theorem is proved from in-text PDE analysis and the external De Philippis–Rindler theorem; the authors' earlier work appears only as motivational or replaceable technical support.

full rationale

The central result, Theorem 1.2, is not equivalent to an input. The proof starts from the equation E_d u = (a⊙b - (a·b)/n Id) μ and derives the structure (1.5)-(1.7) through the annihilator computation in Propositions 3.2-3.6, the PDE system in Lemma 5.1, the D'Alembert formula, and an explicit approximation passage in Sections 5.1-5.2. The reduction to constant polar vectors relies on the De Philippis-Rindler theorem [16], which is an external result and is cited as such, not on the authors' own work. The kernel projection Theorem 1.4 is proven explicitly in Section 6 by direct trace computations; the Poincaré inequality cited there is attributed to [19, Theorem 3.7], with [13] as an alternative source. The authors' own [12] and [13] are used only to motivate the iterative blow-up procedure and to quote standard inequalities, and these do not enter as the justification of the rigidity conclusion. The suspicious step in the approximation argument involving the unspecified kernel component L_ε is a possible proof gap about compactness, not a circularity: the desired structure is not assumed in defining L_ε, and the conclusion does not reduce to a fitted parameter or to a self-citation. No renaming of a known result into new coordinates occurs; the wave cone formula for the annihilator is computed in the paper, and the fine-property corollaries use external rectifiability and polar-vector results. Overall, the derivation chain is self-contained at the level of the main theorems, with only non-load-bearing self-citations.

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

No free parameters are fitted or introduced ad hoc; η, ϑ, ρ, v in the rigidity theorem are part of the conclusion, not assumptions. No new physical entities are postulated. The explicit kernel projection operator R_K is a constructed function, applied to prove Theorem 1.4, not an invented entity in the sense of a new force or particle.

assumptions (3)
  • standard math De Philippis-Rindler theorem: the polar of the singular part of an A-free measure lies in the wave cone of A
    Invoked in Section 1.3 and Section 4 (Corollary 3.7, equation (3.5)) to claim that dE^s_d u/d|E^s_d u| belongs to Λ_A. The paper relies on this published result to justify studying only constant polar vectors in the wave cone.
  • domain assumption Known structural results for BD and for C-elliptic operators: trace existence, Poincaré-Sobolev inequality, compactness
    Quoted from [11], [24], [23] and [19] in Propositions 2.1, 2.4, 2.6 and Theorem 2.5. These results are stated as established and are used to build the BD_dev framework.
  • standard math Kernel characterization of the symmetric gradient E
    Used in the proof of Proposition 3.1 to conclude u(y)-p(y)=Ay+b after showing E(u-p)=0. The kernel of E is a classical fact.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rigidity and functional properties of $\mathrm{BD}_{dev}(\Omega)$." pith.science (2026). https://pith.science/paper/5C6EG3NQ

@misc{pith2026250523348,
  author       = {Pith},
  title        = {Pith review of: Rigidity and functional properties of $\mathrmBD_dev(\Omega)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5C6EG3NQ}},
  note         = {Machine review of arXiv:2505.23348}
}
abstract

We provide a structural analysis of the space of functions of bounded deviatoric deformation, $\mathrm{BD}_{dev}$, which arises in models of plasticity and fluid mechanics. The main result is the identification of the annihilator and a rigidity theorem for $\mathrm{BD}_{dev}$-maps with constant polar vector in the wave cone characterizing the structure of singularities for such maps. This result, together with an explicit kernel projection operator, enables an iterative blow-up procedure for relaxation and homogenization problems, allowing for integrands with explicit dependence on $u$ as well as $\mathcal{E}_d u$. Our approach overcomes several difficulties as compared to the $\mathrm{BD}$ case, in particular due to the lack of invariance of $\mathcal{E}_d$ under orthogonalization of the polar directions. Applications to integral representation and Material science are discussed.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

33 extracted references · 32 canonical work pages

  1. [1]

    Alberti, S

    G. Alberti, S. Bianchini, and G. Crippa. On the Lp-differentiability of certain classes of functions.Revista Matem´ atica Iberoamericana, 30(1):349–367, 2014

    work page 2014

  2. [2]

    Ambrosio, A

    L. Ambrosio, A. Coscia, and G. Dal Maso. Fine properties of functions with bounded deformation.Archive for Rational Mechanics and Analysis, 139(3):201–238, 1997

    work page 1997

  3. [3]

    Ambrosio, N

    L. Ambrosio, N. Fusco, and D. Pallara.Functions of bounded variation and free discontinuity problems, volume 254. Clarendon Press Oxford, 2000

    work page 2000

  4. [4]

    Arroyo-Rabasa

    A. Arroyo-Rabasa. Slicing and fine properties for functions with bounded a-variation.arXiv preprint arXiv:2009.13513, 4, 2020

    arXiv 2009

  5. [5]

    Arroyo-Rabasa, G

    A. Arroyo-Rabasa, G. De Philippis, J. Hirsch, and F. Rindler. Dimensional estimates and rectifiability for measures satisfying linear pde constraints.Geometric and Functional Analysis, 29(3):639–658, 2019

    work page 2019

  6. [6]

    Arroyo-Rabasa and J

    A. Arroyo-Rabasa and J. Simental. An elementary approach to the homological properties of constant-rank operators. Comptes Rendus. Math´ ematique, 361(G1):45–63, 2023

    work page 2023

  7. [7]

    A look into some of the fine properties of functions with bounded $\mathscr A$-variation

    A. Arroyo-Rabasa and A. Skorobogatova. On the fine properties of elliptic operators.arXiv preprint arXiv:1911.08474, 2019

    work page Pith review arXiv 1911

  8. [8]

    Bauer, P

    S. Bauer, P. Neff, D. Pauly, and G. Starke. Dev−Div and DevSym−DevCurl inequalities for incompatible square tensor fields with mixed boundary conditions.ESAIM: COCV, 22(1):112–133, 2016

    work page 2016

Show all 33 references
  1. [9]

    V. I. Bogachev and M. A. S. Ruas.Measure theory, volume 1. Springer, 2007

    2007

  2. [10]

    Bouchitt´ e, I

    G. Bouchitt´ e, I. Fonseca, and L. Mascarenhas. A global method for relaxation.Arch. Rational Mech. Anal., 145(1):51–98, 1998

    1998

  3. [11]

    Breit, L

    D. Breit, L. Diening, and F. Gmeineder. On the trace operator for functions of boundedA-variation.Analysis e PDE, 13(2):559 – 594, 2020

    2020

  4. [12]

    Caroccia, M

    M. Caroccia, M. Focardi, and N. Van Goethem. On the integral representation of variational functionals onbd. arXiv preprint arXiv:1907.11478, 2019

    1907 arXiv

  5. [13]

    Caroccia and N

    M. Caroccia and N. Van Goethem. Iterative blow-ups for maps with boundedA-variation: a refinement, with application to BD and BV.arXiv preprint arXiv:2504.02490, 2025

    2025 arXiv

  6. [14]

    Buss Clemens, C

    N. Buss Clemens, C. Heussinger, and O. Hallatschek. Thermalized connectivity networks of jammed packings.Soft matter, 12 36:7682–7, 2016

    2016

  7. [15]

    S. Dain. Generalized korn’s inequality and conformal killing vectors.Calc. Var., 25:535–540, 2006

    2006

  8. [16]

    De Philippis and F

    G. De Philippis and F. Rindler. On the structure ofA-free measures and applications.Annals of Mathematics, pages 1017–1039, 2016

    2016

  9. [17]

    De Philippis and F

    G. De Philippis and F. Rindler. Fine properties of functions of bounded deformation-an approach via linear pdes. Mathematics In Engineering, 2(3):386–422, 2020

    2020

  10. [18]

    G. Del Nin. Rectifiability of the jump set of locally integrable functions.Annali Scuola Normale Superiore- Classe di Scienze, pages 1233–1240, 2021

    2021

  11. [19]

    Diening and F

    L. Diening and F. Gmeineder. Sharp trace and korn inequalities for differential operators.Potential Analysis, pages 1–54, 2024

    2024

  12. [20]

    D. S. Dong, L.and Stone and R. S. Lakes. Softening of bulk modulus and negative poisson ratio in barium titanate ceramic near the curie point.Philosophical Magazine Letters, 90(1):23–33, 2010

    2010

  13. [21]

    Ebobisse

    F. Ebobisse. Fine properties of functions with bounded deformation and applications in variational problems.Ph.D. Thesis, 1999

    1999

  14. [22]

    L. C. Evans.Measure theory and fine properties of functions. Routledge, 2018

    2018

  15. [23]

    Gmeineder and B

    F. Gmeineder and B. Rait ¸˘ a. Embeddings forA-weakly differentiable functions on domains.J. Funct. Anal., 277(12):108278, 33, 2019

    2019

  16. [24]

    Gmeineder and B

    F. Gmeineder and B. Raita. On critical L p-differentiability of bd maps.Rev. Mat. Iberoam, 5, 2017

    2017

  17. [25]

    Greaves, A

    G.N. Greaves, A. L. Greer, R. S. Lakes, and T. Rouxel. Negative poisson’s ratio in modern functional materials. Nature Materials, 10(37):823 – 837, 2011

    2011

  18. [26]

    S. Hirotsu. Softening of bulk modulus and negative poisson’s ratio near the volume phase transition of polymer gels. The Journal of Chemical Physics, 94(5):3949–3957, 03 1991. 48

    1991

  19. [27]

    R. V. Kohn. New estimates for deformations in terms of their strains: i) estimates of wirtinger type for nonlinear strains; ii) functions whose linearized strains are measures. 1980

    1980

  20. [28]

    Maggi.Sets of finite perimeter and geometric variational problems, volume 135 ofCambridge Studies in Advanced Mathematics

    F. Maggi.Sets of finite perimeter and geometric variational problems, volume 135 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2012. An introduction to geometric measure theory

    2012

  21. [29]

    Maggiani, G

    R. Maggiani, G. B.and Scala and N. Van Goethem. A compatible-incompatible decomposition of symmetric tensors inL p with application to elasticity.Math. Methods Appl. Sci., 38(18):5217–5230, 2015

    2015

  22. [30]

    A. V. Mazaev, O. Ajeneza, and M. V. Shitikova. Auxetics materials: classification, mechanical properties and applications.IOP Conference Series: Materials Science and Engineering, 747(1):012008, jan 2020

    2020

  23. [31]

    B. Raita. Critical L p differentiability of BV A maps and canceling operators.Transactions of the American Mathe- matical Society, 372:7297–7326, 2019

    2019

  24. [32]

    Temam and G

    R. Temam and G. Strang. Functions of bounded deformation.Arch. Rational Mech. Anal., 75:7–21, 1980

    1980

  25. [33]

    Van Schaftingen

    J. Van Schaftingen. Limiting sobolev inequalities for vector fields and canceling linear differential operators.Journal of the European Mathematical Society (EMS Publishing), 15(3), 2013. Politecnico di Milano, Dipartimento di matematica Email address:marco.caroccia@polimi.it ...

    2013

Pith tools

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