https://123dok.net/document/zx56okx4-trotter-kato-product-formula-for-unitary-groups.html