Pith. sign in

REVIEW 2 major objections 5 minor 2 cited by

Nonlinear Beurling-Deny criteria

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

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

Pith's one-line read A single symmetric contraction inequality characterizes nonlinear Dirichlet forms.

desk verdict Useful synthesis with a new symmetric contraction condition, but Theorem 3's proof has false contraction identities that need correction before the paper is publishable. read the letter →

arxiv 2502.03691 v2 pith:DL5JBERM submitted 2025-02-06 math.FA

Simon Puchert This is my paper · ORCID
classification math.FA MSC 31C2547H20
keywords nonlinearDirichletformscontractionpropertynormalcontractionsf-shiftBeurling-Denycriteriareflectioncriterionconvexfunctionals
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

This paper proposes one symmetric contraction inequality, $E(f+Cg)+E(f-Cg)\le E(f+g)+E(f-g)$ for every normal contraction $C$, and proves that for proper lower semicontinuous functionals on $L^2(X,m)$ it exactly characterizes the nonlinear Dirichlet forms of Definition 1. The key move is to apply the inequality not to $E$ but to its $f$-shifts $E_f(g)=\tfrac12\big(E(f+g)+E(f-g)\big)-E(f)$, which reduce to $E$ itself in the bilinear case. With that shift, the condition reads $E_f(Cg)\le E_f(g)$ for every normal contraction $C$, a direct analogue of the classical contraction property from the linear theory. The same formulation reproduces and clarifies the earlier increasing-contraction criterion and the reflection-type inequalities, and closes a small gap in one of them. If the equivalences hold, the intricate definition of a nonlinear Dirichlet form can be replaced by one familiar-looking inequality.

What carries the argument

The load-bearing object is the $f$-shift $E_f(g)=\tfrac12\big(E(f+g)+E(f-g)\big)-E(f)$, a second-order central difference of $E$ at $f$ in direction $g$. In the bilinear case the parallelogram identity gives $E_f(g)=E(g)$, so the condition $E_f(Cg)\le E_f(g)$ is exactly the classical contraction property $E(Cg)\le E(g)$. The shift also satisfies the composition rule $(E_f)_g=\tfrac12(E_{f+g}+E_{f-g})$ wherever the terms are defined, so the class of functionals with the contraction property is closed under shifting; this lets the paper reduce general nonlinear Dirichlet forms to the symmetric case $E(0)=0$. The shift turns a two-variable inequality into a one-variable contraction condition for a whole family of derived functionals, which is what makes the characterizations of Theorems 1–3 go through.

What would settle it

Exhibit a proper lower semicontinuous functional on $L^2([0,1],dx)$ that satisfies condition (⋆) for every increasing normal contraction $p$ but violates one of the two inequalities of Definition 1; Theorem 1 asserts no such functional exists. A direct route would be to inspect the cited proof of [3, Theorem 2.39] for a gap, since that theorem is the only part of the equivalence to Definition 1 that the paper does not prove itself.

Watch

Extended reading notes

Core claim

The central discovery is that the asymmetric-looking condition (⋆) and the two-family inequalities of Definition 1 are the same condition, namely compatibility of every $f$-shift $E_f$ with every normal contraction. Theorem 1 proves the equivalence of the contraction property, condition (⋆), and being a nonlinear Dirichlet form; the passage between (⋆) and the contraction property is an explicit change of variables $f=(u+v)/2$, $g=(u-v)/2$, while the equivalence with Definition 1 is delegated to the cited result [3, Theorem 2.39]. Theorem 2 reduces Definition 1 to compatibility with the two elementary contractions $x\mapsto x^+$ and $x\mapsto (-\alpha)\vee x\wedge \alpha$, using the resolvent–projection equivalence of [12, Theorem 3.4]. Theorem 3 shows the contraction property is equivalent to the reflection inequalities of [7, Theorem 1.3], and its proof supplies the finiteness argument that was missing there. Corollary 15 packages the result as: $E$ is a nonlinear Dirichlet form exactly when every $f$-shift $E_f$ satisfies $E_f(Cg)\le E_f(g)$ for all normal contractions $C$.

Load-bearing premise

The chain of equivalences rests on three cited results the paper does not reprove — the equivalence between (⋆) and Definition 1, the resolvent–projection equivalence of [12, Theorem 3.4], and the density lemma of [7, Lemma 1.4] — so if any one of those statements fails, the corresponding implication collapses.

Editorial extensions

If this is right

  • The definition of a nonlinear Dirichlet form can be replaced by checking $E_f(Cg)\le E_f(g)$ for every normal contraction $C$; for practical purposes, Theorem 2 narrows the check to the clamps $x\mapsto x^+$ and $x\mapsto (-\alpha)\vee x\wedge\alpha$.
  • For positively $p$-homogeneous functionals, the check further reduces to the single unit clamp: $E_f(0\vee g\wedge 1)\le E_f(g)$, by Corollary 15.
  • Mixed Dirichlet energies on countable sets — sums of convex symmetric edge potentials — are closed under shifting and are therefore nonlinear Dirichlet forms, as shown in Example 4.
  • The reflection inequalities of [7, Theorem 1.3] are equivalent to the contraction property, and the gap in their proof is closed by a convexity-based finiteness argument; the corrected proof appears as Lemmas 9, 11, 13, and 14.

Reading between the lines

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

  • The $f$-shift is a second-order difference, so the contraction property can be read as a uniform one-sided Lipschitz bound on the second variation of $E$; one could test whether the property passes to $\Gamma$-limits or to Moreau envelopes of $E$, which would give stability of the nonlinear Dirichlet form property under approximation.
  • Because the contraction property is stated in terms of normal contractions $C\colon\mathbb{R}\to\mathbb{R}$, the same criterion is natural on $L^p$ spaces or Banach lattices whenever the lattice operations exist; extending Theorems 1–3 to $p\neq 2$ is a concrete open direction.
  • Theorem 3's reduction to elementary contractions of bounded complexity suggests a checkable numerical criterion: on a discretized space, one only needs to test finitely many clamps and reflections, which could make the theory algorithmic on graphs.
  • The finiteness trick that closes the gap in [7] — using convexity to subtract the extraneous terms — is likely reusable in other proofs that derive contraction inequalities by adding and subtracting auxiliary terms.
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 introduces a symmetric contraction property for extended real-valued functionals on L2(X,m), namely E(f+Cg)+E(f-Cg) ≤ E(f+g)+E(f-g) for all normal contractions C, and shows that it characterizes nonlinear Dirichlet forms in the sense of Cipriani and Grillo. The main results are Theorem 1, relating the property to the Bénilan-Picard condition; Theorem 2, giving equivalent formulations via compatibility with elementary contractions using a resolvent/projection argument; and Theorem 3, a reflection criterion in the spirit of Brigati and Hartarsky, with a detailed proof intended to close a gap in [7]. The paper also introduces f-shifts, giving a useful interpretation of the condition as a family of classical contraction properties, and derives a corollary for positively homogeneous functionals.

Significance. If the statements are correct, the paper provides a clean and genuinely simple characterization of nonlinear Dirichlet forms that unifies several existing criteria. The f-shift perspective is elegant and likely to be useful for future work, and the explicit repair of the gap in [7] is a valuable service to the community. The paper is transparent about its dependence on external results: Theorem 1(i)⇔(iii) is cited from Claus's thesis, Theorem 2 uses the resolvent/projection equivalence from [12], and Theorem 3 uses the density lemma from [7]. The new formulations are internally consistent with the known theory, and I see no circularity. However, the proof of Theorem 3 contains several false displayed identities that must be corrected before the paper can be accepted.

major comments (2)
  1. [Section 3, Lemmas 11 and 13] The displayed contraction identities in Lemmas 11 and 13 are false as printed. In Lemma 11, the assertion σ_x(t)=C_x(t^+) fails already for x=1, t=1: σ_1(1)=φ_1(1)=1, while C_1(1)=0. The correct identity is σ_x(t)=C_{2x}(t^+). In Lemma 13, the identity C_{x1}(x^+−σ(x))=ψ(x)−(x−x1)^+ fails for x1=1, x2=3, x=2: the left side is C_1(3)=−2 but the right side is ψ(2)−1=−1; similarly, C_{x2−x1}((id−x1)^+) should be C_{2(x2−x1)}. These are not cosmetic: with the printed indices, the inequalities that follow cannot be verified. Since Theorem 3(ii.b) assumes compatibility with C_α for all α≥0, replacing α by 2α is available and repairs the argument, so the statements are likely correct, but the proof as written is invalid.
  2. [Section 3, Lemma 14 and omitted mirror cases] Lemma 14 also contains a serious error: the displayed formula φ_{x1,x2}(t)=−t−2(t−x1)^+ +2(t−x2)^+ is not a normal contraction as written. For example, with x1=−1 and x2=1, one gets φ(0)=−2 and φ(0.5)=−3.5, violating the 1-Lipschitz condition. The formula presumably should be t−2(t−x1)^+ +2(t−x2)^+ (or its negative), but as printed the subsequent identities cannot be checked. In addition, the cases x<0 in Lemma 11 and x1<x2≤0 in Lemma 13 are dismissed as 'mostly identical'; given that the printed cases contain index errors, these omitted mirror cases need to be written out or justified explicitly. This is necessary because the reduction to the elementary contractions in G is a load-bearing step in the proof of (iii)⇒(i) in Theorem 3.
minor comments (5)
  1. [Section 2, proof of Theorem 2] The projection sets are off by a factor: compatibility with x↦x∧α corresponds to invariance of {u−v≤2α} and compatibility with 0∨x∧α to {0≤u−v≤2α}, not the sets with α/2 as written. Since α ranges over all positive numbers, this scaling does not affect the equivalence, but the text should be corrected.
  2. [Section 2, projection verification] In the verification that P(f+g,f−g)=(f+Cg,f−Cg) is the projection, writing an arbitrary element of C as (u−v,u+v) leads to the condition −b≤v≤−a, not a≤v≤b, and the inner product then does not match the displayed expression. Using (u+v,u−v) instead makes the argument correct.
  3. [Section 2, displayed definition of J^{(2)}_λ] The codomain of J^{(2)}_λ is written as L2×L2 → L2 → L2; this should be L2×L2 → L2×L2.
  4. [Theorem 1] The equivalence (i)⇔(iii) is delegated entirely to [3, Theorem 2.39], an external PhD thesis result. This is acceptable practice, but a short statement of the relevant characterization or a proof sketch would make the paper more self-contained.
  5. [End of Introduction] The sentence 'The final section contains a short summary of the results' is misleading, since the final section actually states Corollary 15; this wording should be adjusted.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the new contraction criterion is connected to known criteria by explicit substitutions and external citations.

full rationale

The paper's derivation chain is not circular. Definition 2's contraction property is linked to the Bénilan/Picard criterion by an explicit, reversible change of variables in Theorem 1 (p(x)=x/2−C(x/2) and C(x)=x−p(2x)); the equivalence (i)⇔(iii) is cited to Claus [3, Theorem 2.39], an external PhD thesis, which counts as independent support under the rubric. Theorem 2 rewrites Definition 1's two inequalities as compatibility with x↦x+ and the clamped contractions via direct identities, and uses Cipriani/Grillo [12, Theorem 3.4] for the resolvent/projection step; again external. Theorem 3's equivalence (ii)⇔(iii) is a substitution, and (iii)⇒(i) follows Brigati/Hartarsky [7], with Lemma 10 explicitly reproduced from [7, Lemma 1.4]. No parameter is fitted to the target, no quantity is defined in terms of the conclusion, and no self-citation is load-bearing. The possible C_α versus C_{2α} identity errors in Lemmas 11 and 13 are proof-correctness concerns, not circularity, since the paper's conclusion does not reduce to an assumed form of itself.

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

No free parameters or invented physical entities. The central claim rests on three domain-specific cited theorems (Claus, Cipriani/Grillo, Brigati/Hartarsky) and on standard convex analysis facts about resolvents and Hilbert projections.

assumptions (6)
  • domain assumption Equivalence of the Bénilan/Picard condition (⋆) with nonlinear Dirichlet forms in the sense of Cipriani/Grillo
    Used as Theorem 1 proof step (i)⇔(iii), cited to Claus [3], Theorem 2.39.
  • domain assumption Projection inequality (E^(2)(Proj_C) ≤ E^(2)) is equivalent to resolvent invariance J_λ^(2) C ⊆ C
    Used in Theorem 2, (iv)⇒(iii), cited to Cipriani/Grillo [12], Theorem 3.4.
  • domain assumption Finite compositions of normal contractions with |ϕ'|=1 a.e. and at most two discontinuities are pointwise dense among all normal contractions
    Used as Lemma 10 in Theorem 3, cited to Brigati/Hartarsky [7], Lemma 1.4.
  • standard math The nonlinear resolvent J_λ (unique minimizer of g↦E(g)+ 1/(2λ)||f−g||²) is 1-Lipschitz and continuous
    Used in Theorem 2 and Lemmas 13/14; referenced to Showalter [15], Section IV.1.
  • standard math Hilbert projection onto a closed convex set is characterized by the variational inequality ⟨f−Pf, g−Pf⟩≤0
    Used to identify the projection onto the strip sets in Theorem 2.
  • standard math Lower semicontinuity plus convexity implies existence and continuity of resolvents
    Assumed background for the minimizer J_λ and for pointwise limit arguments such as Lemma 6 and Lemma 9.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonlinear Beurling-Deny criteria." pith.science (2026). https://pith.science/paper/DL5JBERM

@misc{pith2026250203691,
  author       = {Pith},
  title        = {Pith review of: Nonlinear Beurling-Deny criteria},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DL5JBERM}},
  note         = {Machine review of arXiv:2502.03691}
}
read the original abstract

This short note introduces a simple symmetric contraction property for functionals. This property clearly characterizes Dirichlet forms in the linear case. We show that it also characterizes Dirichlet forms in the non-linear case. Furthermore, we use this property to gain a new perspective on criteria of Cipriani / Grillo as well as Brigati / Hartarsky.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Nonlinear resistance forms

    math.FA 2025-07 conditional novelty 7.0 of 10

    A new abstract class of nonlinear resistance forms is defined, with resistance metrics that satisfy the triangle inequality and add over serial circuits, unifying Kigami and p-resistance forms.

  2. The extended Dirichlet space and criticality theory for nonlinear Dirichlet forms

    math.FA 2025-01 accept novelty 7.0 of 10

    Nonlinear Dirichlet forms have an extended Dirichlet space, and their criticality and subcriticality are characterized by Hardy and Poincaré inequalities and by the norm of the constant function 1.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · cited by 2 Pith papers

  1. [7]

    Brigati, I

    G. Brigati, I. Hartarsky,The Normal Contraction Property for Non-Bilinear Dirichlet Forms, Potential Analysis (2024) 60:473–488

    work page 2024

  2. [12]

    Reine Angew

    F.Cipriani, G.Grillo,Nonlinear Markov semigroups, nonlinear Dirichlet forms and applications to minimal surfaces, J. Reine Angew. Math. (2003) 562:201- 235

    work page 2003

  3. [1]

    Barthélemy,Invariance d’un convexe fermé par un semi-groupe associé à une forme non-linéaire., Abstr

    L. Barthélemy,Invariance d’un convexe fermé par un semi-groupe associé à une forme non-linéaire., Abstr. Appl. Anal. 1, 237–262 (1996)

    work page 1996

  4. [2]

    4 (Paris, 1977/1978), volume 713 of Lecture Notes in Math., pages 1–37

    P.Bénilan, C.Picard,Quelques aspects non linéaires du principe du maximum., Séminaire de Théorie du Potentiel, No. 4 (Paris, 1977/1978), volume 713 of Lecture Notes in Math., pages 1–37. Springer, Berlin, 1979

    work page 1977

  5. [3]

    Claus,Nonlinear Dirichlet forms, PhD thesis, Technische Universität Dres- den, 2021

    B. Claus,Nonlinear Dirichlet forms, PhD thesis, Technische Universität Dres- den, 2021

    work page 2021

  6. [4]

    Claus,Energy spaces, Dirichlet forms and capacities in a nonlinear setting, Potential Analysis (2023) 58:159–179

    B. Claus,Energy spaces, Dirichlet forms and capacities in a nonlinear setting, Potential Analysis (2023) 58:159–179

    work page 2023

  7. [5]

    Chill, D

    R. Chill, D. Hauer, J. Kennedy,Nonlinear semigroups generated by j-elliptic functionals, J. Math. Pures Appl. (9)105(2016), no.3, 415–450

    work page 2016

  8. [6]

    Chill, M

    R. Chill, M. Warma,Dirichlet and Neumann boundary conditions for the p-Laplace operator: what is in between?, Proc. Roy. Soc. Edinburgh Sect. A142(2012), no.5, 975–1002

    work page 2012

Show all 15 references
  1. [8]

    Hofmann, J

    M. Hofmann, J. Kennedy, D. Mugnolo, M. Plümer,On Pleijel’s nodal domain theorem for quantum graphs, Ann. Henri Poincaré 22(2021), no.11, 3841–3870

    2021

  2. [9]

    Warma,The p-Laplace operator with the nonlocal Robin boundary con- ditions on arbitrary open sets, Ann

    M. Warma,The p-Laplace operator with the nonlocal Robin boundary con- ditions on arbitrary open sets, Ann. Mat. Pura Appl. (4)193(2014), no.1, 203–235

    2014

  3. [10]

    Grillo,On the equivalence between p-Poincaré inequalities andLr-Lq reg- ularization and decay estimates of certain nonlinear evolutions, J

    G. Grillo,On the equivalence between p-Poincaré inequalities andLr-Lq reg- ularization and decay estimates of certain nonlinear evolutions, J. Differential Equations 249(2010), no.10, 2561–2576

    2010

  4. [11]

    Schmidt,Energy forms, PhD thesis, Friedrich-Schiller-Universität Jena, 2017

    M. Schmidt,Energy forms, PhD thesis, Friedrich-Schiller-Universität Jena, 2017

    2017

  5. [13]

    Beurling, J

    A. Beurling, J. Deny,Espaces de Dirichlet. I. Le cas élémentaire, Acta Math. (1958) 99:203-224

    1958

  6. [14]

    Beurling, J

    A. Beurling, J. Deny,Dirichlet spaces, Proc. Nat. Acad. Sci. U.S.A. (1959) 45:208-215

    1959

  7. [15]

    R. E. Showalter,Monotone operators in Banach space and nonlinear partial differential equations, volume 49 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1997. Institut für Mathematik, Friedrich-Schiller-Universität Jena, 07743 Jena, Ger...

    1997

Pith tools

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