Sharp upper bounds for splitting of separatrices near a simple resonance

General theory for the splitting of separatrices near simple resonances of near-Liouville-integrable Hamiltonian systems is developed in the convex real-analytic setting. A generic estimate
$$|\mathfrak{S}_k| \leqslant O(\sqrt{\varepsilon}) \times \exp \biggl[- \biggl \vert k \cdot \biggl(c_1 \frac{\omega}{\sqrt{\varepsilon}} + c_2 \biggl) \biggl \vert -|k| \sigma \biggr], k \in \mathbb{Z}^n \backslash \{0\}$$
is proved for the Fourier coefficients of the splitting distance measure $\mathfrak{S}(\phi), \phi \in \mathbb{T}^n$, describing the intersections of Lagrangian manifolds, asymptotic to invariant $n$-tori, $\varepsilon$ being the perturbation parameter. The constants $\omega \in \mathbb{R}^n$, $c_1$,$\sigma>0$,$c_2 \in \mathbb{R}^n$ are characteristic of the given problem (the Hamiltonian and the resonance), cannot be improved and can be calculated explicitly, given an example. The theory allows for optimal parameter dependencies in the smallness condition for $\varepsilon$.