Product formula for nonlinear semigroups in Hilbert spaces (Q791129): Difference between revisions

The aim of the paper is to prove a Lie-Trotter product formula for contractive semigroups of (nonlinear) operators on a Hilbert space: Let H be a real Hilbert space, A, B be maximal monotone multivalued operators, with maximal monotone \(A+B\). Denote by \(S_ A(t)\), \(S_ B(t)\), \(S_{A+B}(t)\), \(t\geq o\), the corresponding contractive semigroups. Assume the existence of a closed convex set \(C\subseteq \overline{D(A)\cap D(B)},\) such that the resolvents \((I+\lambda A)^{- 1}\) and \((I+\lambda B)^{-1}, \lambda>o\), map C into C. Then the Lie Trotter formula \[ S_{A+B}(t)x=\lim_{n\to \infty}(S_ A(t/n)S_ B(t/n))^ nx \] (\(s\in C\) and \(t\geq o)\) holds. An analogous result was proved by \textit{H. Brezis} and \textit{A. Pazy} [J. Funct. Anal. 6, 237-281 (1970; Zbl 0209.455)] under the additional assumption that A and B are single-valued. Similar results are anounced for semigroups on Banach spaces.