Nonlinear Dirichlet Forms: Theory & Applications

• Nonlinear Dirichlet forms are convex, lower semicontinuous functionals on Banach spaces that generalize classical bilinear Dirichlet forms through contraction inequalities.
• They provide a unified framework for studying nonlinear evolution equations, p-Laplace and Cheeger energies, and potential theory on nonsmooth or non-Riemannian spaces.
• Key properties like normal contraction, energy space definitions, and modular inequalities facilitate the analysis of Sobolev embeddings and criticality in nonlinear settings.

A nonlinear Dirichlet form is a convex, lower semicontinuous functional on a Banach (typically Hilbert) space, generalizing the classical bilinear Dirichlet form framework to accommodate nonlinearity arising from variational integrals, such as the $p$-energy and Cheeger energies. Such forms provide a unified approach to nonlinear evolution equations, nonlinear potential theory, and the analysis on spaces with non-Riemannian or nonsmooth structure.

1. Definition and Fundamental Properties

Let $V$ be a real topological vector space, with primary interest in $V = L^2(X, m)$ for $(X, m)$ a topological measure space. A functional $E: V \to [0, \infty]$ is called a nonlinear Dirichlet form if it is convex, lower semicontinuous, densely defined, and satisfies a system of contraction inequalities reminiscent of the Beurling–Deny criteria. Specifically, for all $u, v$ in the domain and all $\alpha \ge 0$: $E(u \vee v) + E(u \wedge v) \le E(u) + E(v),$

$$E\big(H_\alpha(u, v)\big) + E\big(H_\alpha(v, u)\big) \le E(u) + E(v),$$

where $H_\alpha(u, v)$ is a piecewise-defined truncation operator. Equivalently, for any normal contraction $V$0 (i.e., $V$1, $V$2), one has: $V$3 The subdifferential $V$4 generates a nonlinear, order-preserving, contractive semigroup on $V$5 (i.e., $V$6-contractions for all $V$7 and preservation of order) (Puchert, 6 Feb 2025, Claus, 2020, Brigati, 2023, Chill et al., 17 Jan 2026).

2. Energy (Dirichlet) Spaces and Banach Lattice Structure

Given a nonlinear Dirichlet form $V$8 as above, the associated energy (Dirichlet) space is

$V$9

This norm is lower semicontinuous and induces a Banach space structure. The space is a Banach lattice: if $V = L^2(X, m)$0, then $V = L^2(X, m)$1, $V = L^2(X, m)$2, and lattice operations are continuous if $V = L^2(X, m)$3 is quasilinear, i.e., its domain is a linear subspace. For even forms ($V = L^2(X, m)$4), $V = L^2(X, m)$5 forms a Banach lattice (Claus, 2020, Chill et al., 17 Jan 2026).

3. Beurling–Deny Criteria and Normal Contraction Properties

Nonlinear Dirichlet forms are characterized by generalized Beurling–Deny criteria, reducing to contraction properties under normal contractions. These include

• the modular contraction property: $V = L^2(X, m)$6 for any $V = L^2(X, m)$7-Lipschitz $V = L^2(X, m)$8 with $V = L^2(X, m)$9,
• two-point and truncated contraction relations, encapsulating both the Markovian and order-preserving attributes necessary for sub-Markovian evolution and potential theory (Puchert, 6 Feb 2025, Brigati, 2023).

In the quadratic (bilinear) case, these criteria recover the classical Markov property and the structure theory of linear Dirichlet forms. For the nonlinear case, the contraction property alone suffices to build the theory and ensure the well-posedness of associated nonlinear evolution and potential equations.

4. Capacity, Quasicontinuity, and Potential Theory

Associated to every (symmetric) nonlinear Dirichlet form is a notion of capacity: $(X, m)$0 Capacity is monotone, countably subadditive, inner regular on compacts, and null sets for capacity are null for $(X, m)$1. Functions in $(X, m)$2 admit quasicontinuous representatives: for every $(X, m)$3 and $(X, m)$4, there exists open $(X, m)$5 with $(X, m)$6 such that $(X, m)$7 is continuous on $(X, m)$8.

Potential theory for nonlinear Dirichlet forms extends the existence of equilibrium potentials and the structure of exceptional sets (polar/null capacity sets, nests) as in the bilinear framework (Claus, 2020, Schmidt et al., 30 Jan 2025, Beznea et al., 2023).

5. Examples: $(X, m)$9-Laplace, Cheeger, Variable Exponents, and Quasiregular Maps

• $E: V \to [0, \infty]$0-Laplace type energies: For a strongly local, regular Dirichlet form $E: V \to [0, \infty]$1 with carré du champ $E: V \to [0, \infty]$2, define for $E: V \to [0, \infty]$3:

$E: V \to [0, \infty]$4

This generalizes to the usual $E: V \to [0, \infty]$5-Laplacian in Euclidean domains and to Dirichlet forms associated to quasiregular mappings with the equilibrium and harmonicity theory carried over (Beznea et al., 2023).

• Cheeger energy: On metric measure spaces, Cheeger's energy $E: V \to [0, \infty]$6 is convex, lower semi-continuous, and $E: V \to [0, \infty]$7-homogeneous but typically not quadratic. The corresponding evolution is described by nonlinear heat flow (Brigati, 2023).
• Variable exponent energies: Energies of the form $E: V \to [0, \infty]$8 lead to a reflexive nonlinear Dirichlet form structure, under mild boundedness and growth conditions, generalizing the criticality theory (Schmidt et al., 30 Jan 2025).

6. Extensions: Criticality, Extended Spaces, and Sobolev/Isocapacitary Inequalities

The extended Dirichlet space $E: V \to [0, \infty]$9, endowed with the Luxemburg seminorm, is central to potential theory and recurrence/transience classification for nonlinear Dirichlet forms:

• Subcriticality: existence of a Hardy weight $u, v$0 with $u, v$1, equivalently completeness of $u, v$2.
• Criticality: existence of a null sequence $u, v$3 with $u, v$4; triviality of the extended space modulo constants. These criteria parallel classical results for linear forms and extend to the nonlinear context (Schmidt et al., 30 Jan 2025).

Sobolev inequalities for nonlinear Dirichlet forms hold in the form

$u, v$5

and are equivalent to isocapacitary inequalities,

$u, v$6

for all measurable sets $u, v$7, providing sharp embeddings and regularization for nonlinear semigroups (Chill et al., 17 Jan 2026).

7. Semigroup Domination and Zero-Order Perturbations

A nonlinear Dirichlet form $u, v$8 generates a nonlinear, order-preserving, contractive semigroup $u, v$9 on $\alpha \ge 0$0. If a second functional $\alpha \ge 0$1 has its associated semigroup $\alpha \ge 0$2 dominated by $\alpha \ge 0$3 ($\alpha \ge 0$4), $\alpha \ge 0$5 is of the form $\alpha \ge 0$6 for a pointwise, nonnegative, lower semicontinuous, bi-monotone kernel $\alpha \ge 0$7, corresponding, e.g., to Robin boundary conditions in PDEs. This generalizes the domination/interpolation theory for boundary-value problems to highly nonlinear contexts (Chill et al., 2023).

---

• (Claus, 2020) "Energy Spaces, Dirichlet Forms and Capacities in a Nonlinear Setting"
• (Brigati, 2023) "Nonlinear Dirichlet forms, energy spaces, and calculus rules"
• (Puchert, 6 Feb 2025) "Nonlinear Beurling-Deny criteria"
• (Beznea et al., 2023) "Nonlinear Dirichlet forms associated with quasiregular mappings"
• (Schmidt et al., 30 Jan 2025) "The extended Dirichlet space and criticality theory for nonlinear Dirichlet forms"
• (Chill et al., 2023) "Domination of nonlinear semigroups generated by regular, local Dirichlet forms"
• (Chill et al., 17 Jan 2026) "Sobolev inequalities for nonlinear Dirichlet forms"