A product formula related to quantum zeno dynamics (Q1777342)

The main result of the paper is the asymptotic behaviour of the product formula concerning the unitary group generated by a semibounded self-adjoint operator \(H\) and an orthogonal projection \(P\) acting on a separable Hilbert space \(\mathcal H\). The convergence is demonstrated in the Frechet space \(L^ 2_ {\text{Loc}}(R, {\mathcal H})\). The convergence in the strong operator topology is shown in case of \(P\) being finite-dimensional. In general case one can obtain the strong convergence by passing to a subsequence and by neglecting the set of measure zero. The results give a partial answer to the question about existence of the limit which describes quantum Zeno dynamics.