https://123dok.net/document/zwv17kj1-asymptotic-analysis-schrödinger-hamiltonians-birkhoff-gustavson-normal-form.html