The Trotter-Kato product formula for Gibbs semigroups (Q2638492)

For two non-negative selfadjoint operators A,B defined in the separable Hilbert space the authors investigate convergence in the Trotter-Kato product formula \[ (f((t/n)B)g((t/n)A))^ n\to \exp (-t(A+b))\quad (n\to \infty) \] in the trace topology.