Prefer a chat interface with context about you and your work?
On the Trotter product formula
Introduction.Kato [5] (cf.Kato-Masuda [8]) proved the Trotter product formula s-lim_.[e-/e-"/]n=e-(;z)Pfor the form sum A 4 B of self-adjoint operators A and B which are bounded from below in a Hilbert space JL Here P is the orthogonal projection of onto the closure of (]A]/)(]B]m).The purpose of this paper is to …