
Let \((\mathcal E, \mathcal D)\) be a strongly local, regular symmetric Dirichlet form. A function \(K\) is said to operate on \(\mathcal D\), if \(K\circ u \in \mathcal D\) for all \(u\in\mathcal D\). By the very definition of Dirichlet forms all normal contractions operate on \(\mathcal D\) and satisfy \(\mathcal E(K\circ u,K\circ u) \leq M^2\cdot\mathcal E(u,u)\); note that normal contractions are Lipschitz continuous. The aim of the paper is to show the converse of this assertion, namely, that every \(K\) that operates on \(\mathcal D\) is already (locally) Lipschitz continuous. In the context of Sobolev spaces \(W_p^1(U)\), \(1\leq p < \infty\), over a bounded domain \(U\subset\mathbb R^d\) this question has been answered in the affirmative [see e.g. \textit{J. Appell} and \textit{P. Zabreiko}, Nonlinear superposition operators. Cambridge Univ. Press (1990; Zbl 0701.47041) for a survey]. The Dirichlet form context refers to the particular case of \(\mathcal D = W^1_2\). The main theorem of this paper states that a Borel measurable \(K:\mathbb R \to \mathbb R\) such that \(K\circ u\in\mathcal D\) for all \(u\in \mathcal D\cap L^\infty\) and such that \(K(0)=0\) is locally Lipschitz continuous. If \(K\) operates on \(\mathcal D\), it is globally Lipschitz continuous. The proofs rely on the co-area formula for condenser potentials.
Dirichlet forms, Lipschitz continuity, 31C25, Particular nonlinear operators (superposition, Hammerstein, Nemytskiĭ, Uryson, etc.), Dirichlet space, Probabilistic potential theory, 60J45, local Dirichlet form, 46E35, co-area formula, Sobolev spaces and other spaces of ``smooth'' functions, embedding theorems, trace theorems, 46H30
Dirichlet forms, Lipschitz continuity, 31C25, Particular nonlinear operators (superposition, Hammerstein, Nemytskiĭ, Uryson, etc.), Dirichlet space, Probabilistic potential theory, 60J45, local Dirichlet form, 46E35, co-area formula, Sobolev spaces and other spaces of ``smooth'' functions, embedding theorems, trace theorems, 46H30
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
