https://123dok.net/document/z1d37r7e-trotter-product-formula-linear-evolution-equations-hilbert-spaces.html