A product formula is proved which involves the unitary group generated by a semibounded self-adjoint operator and an orthogonal projection P. It gives a partial answer to the question about existence of the limit which describes quantum Zeno dynamics in the subspace Ran P.
@inproceedings{takashi2006product,
title={Product formula for quantum Zeno dynamics},
author={Takashi Ichinose, and Pavel Exner},
url={http://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20191020142121040998883},
pages={601-604},
year={2006},
}
Takashi Ichinose, and Pavel Exner. Product formula for quantum Zeno dynamics. 2006. pp.601-604. http://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20191020142121040998883.