--- abstract: | We consider the discretization $$q(t+\varepsilon)+q(t-\varepsilon)-2q(t)=\varepsilon^{2}\sin\big(q(t)\big),$$ $\varepsilon>0$ a small parameter, of the pendulum equation $ q '' = \sin (q) $; in system form, we have the discretization $$q(t+\varepsilon)-q(t)=\varepsilon p(t+\varepsilon), \ p(t+\varepsilon)-p(t)=\varepsilon\sin\big(q(t)\big).$$ of the system $$q'=p,\ p'=\sin(q).$$ The latter system of ordinary differential equations has two saddle points at $A=(0,0)$, $B=(2\pi, 0)$ and near both, there exist stable and unstable manifolds. It also admits a heteroclinic orbit connecting the stationary points $B$ and $A$ parametrised by $q_0(t)=4\arctan\big(e^{-t}\big)$ and which contains the stable manifold of this system at $A$ as well as its unstable manifold at $B$. We prove that the stable manifold of the point $A$ and the unstable manifold of the point $B$ do not coincide for the discretization. More precisely, we show that the vertical distance between these two manifolds is exponentially small but not zero and in particular we give an asymptotic estimate of this distance. For this purpose we use a method adapted from the article of Schäfke-Volkmer @SV using formal series and accurate estimates of the coefficients. Our result is similar to that of Lazutkin et. al. @LS; our method of proof, however, is quite different.\ \ <span>**Keywords:**</span> Difference equation; Manifolds; Linear operator; Formal solution; Gevrey asymptotic; Quasi-solution author: - | \ IRMA - UMR 7501 CNRS/ULP\ 7 rue René Descartes - 67084 Strasbourg Cedex, France\ email: njohnson@example.net title: '**On the distance between separatrices for the discretized pendulum equation** ' --- Introduction ============ We consider the following difference equation $$\begin{aligned} q(t+\varepsilon)+q(t-\varepsilon)-2q(t)=\varepsilon^{2}\sin\big(q(t)\big). {\label{diff}}\end{aligned}$$ This second order equation is a discretization of the pendulum equation $ q '' = \sin (q) $. It is equivalent to the following system of first order difference equations $$\begin{aligned} \begin{cases} q(t+\varepsilon)=q(t)+\varepsilon p(t+\varepsilon),\\ p(t+\varepsilon)=p(t)+\varepsilon\sin\big(q(t)\big). \end{cases} {\label{int1}}\end{aligned}$$ which can be considered as a discretization of the system $$\begin{aligned} \begin{cases} q'=p,\\ p'=\sin(q). \end{cases} {\label{int3}}\end{aligned}$$ The latter system has two saddle points at $A=(0,0)$, $B=(2\pi, 0)$ and there exist stable and unstable manifolds. For the discretized equation (\[int1\]) and sufficiently small $\varepsilon>0$, these manifolds still exist. The system (\[int3\]) has $\big(q_0(t),q^{'}_0(t)\big)$, where $q_0(t)=4\arctan\big(e^{-t}\big)$, as a heteroclinic orbit connecting the stationary points $B$ and $A$; it is a parametrisation of the curve $p=-2\sin(q/2)$ and contains the stable manifold of (\[int3\]) at the point $A$ as well as its unstable manifold at $B$. This curve, together with $p=2\sin(q/2)$, separates regions with periodic orbits from regions with non-periodic orbits and is therefore often called a <span>*separatrix*</span>. Our purpose is study the behavior of this separatrix under discretization of the equation – it turns out that there is no longer a heteroclinic orbit for system (\[int1\]) and its the stable manifold at $A$ and the unstable manifold at $B$ no longer coincide. More precisely, we want to estimate the distance between the stable manifold $W_{s, \varepsilon}^{-}$ of (\[int1\]) at $A$ and the unstable manifold $W_{u, \varepsilon}^{+}$ of (\[int1\]) at $B$ as a function of the parameter $\varepsilon$. Lazutkin et. al. @LS, Gelfreich @G, (see also Lazutkin @L1@L2) had given an asymptotic estimate of the splitting angle between the manifolds. Starting from a heteroclinic solution of the differential equation, they study the behavior of analytic solutions of the difference equation in the neighbourhood of its singularities $t=\pm\frac{\pi}{2}i$. We show that the distance between these two manifolds is exponentially small but not zero and we give an asymptotic estimate of this distance. This result is similar to that of Lazutkin et. al. @LS; our method of proof, however, is quite different. We use a method adapted from the article of Schäfke-Volkmer @SV using a formal power series solution and accurate estimates of the coefficients. This method was adapted for the logistic equation in Sellama@S. It turns out that the adaptation of this method for the pendulum equation is more difficult than in the case of the logistic equation. We will show Given any positive $t_0$, it is known that for sufficiently smal $\varepsilon_0>0$ and all $t\in ]-\infty, t_0] $ there is exactly one one point $w^{+}_{u,\varepsilon}(t)=(q_0(t),\tilde p^+_{u,\varepsilon}(t))$ on the stable unstable manifold having first coordinate $q_0(t)$. There exist constants $\alpha\neq0$, such that for any positive $t_0$ $${\mbox{\,\,\rm dist}}_{v}\big(w^{+}_{s,\varepsilon}(t),W^{-}_{s,\varepsilon}\big)=\dfrac{4\pi\alpha}{\varepsilon^{2}}\cosh(t)\sin\Big(\frac{2\pi t}{\varepsilon}\Big)e^{-\frac{\pi^{2}}{\varepsilon}}+O\bigg(\frac{1}{\varepsilon}e^{-\frac{\pi^{2}}{\varepsilon}}\bigg),\quad \text{as} \,\,\,\varepsilon\searrow 0,$$ uniformly for $-t_0<t<t_0$, where${\mbox{\,\,\rm dist}}_{v}\big(P,W^{-}_{u,\varepsilon}\big)$ denotes the vertical distance of a point $P$ from the unstable manifolds $W^{-}_{u,\varepsilon}$. This result corresponds to the result of Lazutkin et. al. @LS as the angle between the manifolds at an intersection point is asymptotically equivalent to $\tfrac1{q_0'(t)}\tfrac d{dt}{\mbox{\,\,\rm dist}}_{v}\big(w^{+}_{s,\varepsilon}(t),W^{-}_{u,\varepsilon}\big)$, but we do not want to give any detail here. Our proof uses the following steps. First, we construct a formal solution for the difference equation (\[diff\]) in the form of a power series in $d=2\rm{\mbox{arsinh}}(\varepsilon/2)$, whose coefficients are polynomials in $u=\tanh(d t/\varepsilon)$. This is done in section 2; the introduction of $d$ is necessary because polynomials are desired as coefficients. Then, we give asymptotic approximations of these coefficients using appropriate norms on spaces of polynomials. To that purpose we introduce operators on polynomials series. In section 6 we use the truncated Laplace transform to construct a function which satisfies (\[diff\]) except for an exponentially small error. The next and last step is to give an asymptotic estimate for the distance of some point of the stable manifold from the unstable manifold. A calculation shows that $\alpha=89.0334$ and therefore $4\pi\alpha=1118.8267$ (See Remark \[rem1\]); the corresponding constants of Lazutkin have already been calculated with high precision (See Lazutkin et. al. @LS). A <span>*proof*</span> that $\alpha\neq0$ as in @SV or @S would be possible. Y.B. Suris @SY had shown that $\alpha\neq 0$. Formal solutions ================ The purpose of this section is to find a convenient formal solution for equation (\[diff\]). First, we need some preparations. We put $$\begin{aligned} u:&=&\tanh\bigg(\frac{d}{\varepsilon}t\bigg),\\ q_{0d}(t):&=&4\arctan\Bigg(\exp\bigg(-\frac{d}{\varepsilon}t\bigg)\Bigg),\\ q_d(t)&=&\sqrt{1-u^{2}}A_{d}(u)+q_{0d}(t), \ \ A_d(u)=\sum_{n=1}^\infty A_n(u)d^n\end{aligned}$$ for a formal solution of (\[diff\]), where $d=\varepsilon+\sum_{n=3}^{\infty}d_{n}\varepsilon^{n}$ is a formal powers series in $\varepsilon$ to be determined. <span>**Remark.**</span> The linearization of equation (\[diff\]) at the point $A$ gives the following equation $$\begin{aligned} Z(t+\varepsilon)+Z(t-\varepsilon)-2Z(t)=\varepsilon^{2}Z(t).\end{aligned}$$ The parameter $d$ is such that $Z(t)=e^{-dt}$ is a solution of this equation, therefore $\varepsilon$ and $d$ are coupled by the relation $d=2\text{arcsinh}(\varepsilon /2).$ By Taylor expansion, we obtain $$\begin{aligned} q_{0d}(t+\varepsilon)+q_{0d}(t-\varepsilon)-2q_{0d}(t)=2\sum^{+\infty}_{n=1}\frac{1}{(2n)\,!}q^{(2n)}_{0d}(t) \,\varepsilon^{2n},\end{aligned}$$ where $\dfrac{2}{(2n)!}q^{(2n)}_{0d}(t)\varepsilon^{2n}/d^{2n}$ is an odd polynomial $I_{2n-1}(u)$ multiplied by $\sqrt{1-u^{2}} $; we find $I_{2n-1}(1)=4/(2n)!$. Using $\cos(q_{0d})=2u^{2}-1,\,\,\, \sin(q_{0d})=2u\sqrt{1-u^{2}}$, we can express our equation (\[diff\]) in the form $$\begin{aligned} A_{d}(T^{+})\sqrt{\frac{1-(T^{+})^{2}}{1-u^{2}}}+A_{d}(T^{-})\sqrt{\frac{1-(T^{-})^{2}}{1-u^{2}}}-2A_{d}(u)=f\big(\varepsilon,u,A_{d}(u)\big){\label{eq1}}\end{aligned}$$ or equivalently $$\begin{aligned} \dfrac{A_{d}(T^{+})}{\cosh(d)+u\sinh(d)}+\dfrac{A_{d}(T^{-})}{\cosh(d)-u\sinh(d)}-2A_{d}(u)=f\big(\varepsilon,u,A_{d}(u)\big){\label{eq2}}\end{aligned}$$ where $$\begin{aligned} f\big(\varepsilon,u,A_{d}(u)\big)&=&\varepsilon^{2}\bigg(2u\cos\Big(A_{d}(u)\sqrt{1-u^{2}}\Big)+\frac{2u^{2}-1}{\sqrt{1-u^{2}}}\sin\Big(A_{d}(u)\sqrt{1-u^{2}}\Big)\bigg)\\ &-& \sum_{n=1}^{+\infty}I_{2n-1}(u)\, d^{2n},\\ T^{+}&=&T^{+}(d,u)=\frac{u+\tanh(d)}{1+u\tanh(d)}=\tanh\Big(\dfrac{d}{\varepsilon}(t+\varepsilon)\Big),\\ T^{-}&=&T^{-}(d,u)=\frac{u-\tanh(d)}{1-u\tanh(d)}=\tanh\Big(\dfrac{d}{\varepsilon}(t-\varepsilon)\Big). $$ As $u\rightarrow1,$ the expressions $T^+$ and $T^-$ reduce to 1, the denominators in (\[eq2\]) simplify to $e^{\pm d}$ and hence equation (\[eq2\]) reduces to $$(e^{-d}+e^d-2)A_d(1)=\varepsilon^2(2+A_d(1))-4(\cosh(d)-1).$$ This is equivalent to $(2\cosh(d)-2-\varepsilon^2)(2+A_d(1))=0$ and hence we have necessarily $\varepsilon=2\sinh(d/2)$ if we want a formal solution such that the coefficients have limits as $u\rightarrow1$. **(On the formal solution)** If $\varepsilon=2\sinh(d/2)$, then equation (\[eq1\]) has a unique formal solution of the form $$A_{d}(u)=\sum^{+\infty}_{n=1}A_{2n-1}(u)d^{2n},$$ where $A_{2n-1}(u)$ are odd polynomials of degree $\leq 2n-1$. <span>\[the1\]</span> <span>**Remark:**</span> A similar formal solution was found using another method in @SY. **Proof.** We will use the Induction Principle to show that there exist unique odd polynomials $A_{1},A_{3},A_{5}...A_{2n-1}$ such that $$Z_{n}(d,u)=\sum_{k=1}^{n}A_{2k-1}(u)d^{2k}$$ satisfy $$R_{n}(d,u)=O(d^{2n+4}) {\label{re1}}$$ where $$\begin{aligned} R_{n}(d,u)&=&Z_{n,d}\big(T^{+}\big)\sqrt{\frac{1-(T^{+})^{2}}{1-u^{2}}}+Z_{n,d}\big(T^{-}\big)\sqrt{\frac{1-(T^{-})^{2}}{1-u^{2}}}\nonumber\\ &-&2Z_{n,d}(u)-f\big(\varepsilon,u,Z_{n,d}(u)\big) {\label{re2.7}}\end{aligned}$$ For $n=1$, a short calculation shows that we must have $A_{1}(u)=-\frac{1}{4}u $ and hence $Z_{1,d}(u)=-\frac{1}{4}ud^{2}$. We obtain $$R_{1}(d,u)=(\frac{-91}{48}u^{5}+\frac{137}{48}u^{3}-\frac{23}{24})d^{6}+O(d^{8}).$$ Suppose now that there exists $A_{1},A_{3},A_{5}...A_{2n-1}$ such that $$Z_{n}(d,u)=\sum_{k=1}^{n}A_{2k-1}(u)d^{2k}$$ satisfies (\[re1\]), (\[re2.7\]). We show that there is a unique polynomial $A_{2n+1}(u)$ such that $$Z_{n+1}(d,u)=Z_{n}(d,u) +A_{2n+1}(u)d^{2n+2} {\label{re2}}$$ satisfies (\[re1\]). We put $$R_{n}(d,u)=R_{2n+3}(u)d^{2n+4}+O\big(d^{2n+6}\big) {\label{re3}}$$ where $R_{2n+3}(u)$ is odd and $\text{deg}(R_{2n+3}(u))\leq2n+3$. We substitute $ Z_{n+1}(d,u)$ in equation (\[re2.7\]). Using Taylor expansion, (\[re2\]), (\[re3\]) and $\varepsilon=2\sinh(d/2)$, we obtain $$\begin{aligned} &&Z_{n+1,d}\big(T^{+}\big)\sqrt{\frac{1-(T^{+})^2}{1-u^{2}}}-Z_{n+1,d}\big(T^{-}\big)\sqrt{\frac{1-(T^{-})^2}{1-u^{2}}}-2Z_{n+1,d}(u)-\\ && f\big(\varepsilon,u,Z_{n+1,d}\big)=\bigg[(u^{4}-2u^{2}+1)A^{''}_{2n+1}(u)+(4u^{3}-4u)A^{'}_{2n+1}(u)+\\ && R_{2n+3}(u)\bigg]d^{2n+4}+ O\big(d^{2n+6}\big)\end{aligned}$$ We notice that (\[re3\]) is satisfied if only if $$\big[(1-u^{2})^{2}A^{'}_{2n+1}(u)\big]^{'}+R_{2n+3}(u)=0$$ This differential equation has a unique solution vanishing at $u=0$ without singularity at $u=1$, namely $$A_{2n+1}(u)=-\int_0^{u}\frac{\int_{1}^{t}R_{2n+3}(s)ds}{(1-t^{2})^{2}}dt.$$ We now show that this solution is an odd polynomial of $u$. It is clear that $\int_{1}^{t}R_{2n+3}(s)ds $ vanishes for $t=1$ and as $R_{2n+3}(s)$ is odd, it also vanishes for $t=-1$. It suffices to show that $R_{2n+3}(s) $ also vanishes at $t=\pm 1 $. Indeed, taking the limit of (\[re2.7\]) as $u\to 1$ as we did for (\[eq2\]) and using $$\begin{aligned} \lim_{u\to1} f\big(\varepsilon,u,Z(d,u)\big)&=&\varepsilon^2 Z(d,1) $$ we obtain $$R_{2n+3}(1)d^{2n+4}=\Bigg(e^d+e^{-d}-2-\varepsilon^{2}\Bigg)Z(d,1)+O(d^{2n+6}).$$ By our choice of $\varepsilon=2\sinh(d/2)$, we obtain $R_{2n+3}(1)d^{2n+4}=O(d^{2n+6})$. Consequently $R_{2n+3}(1)=0$. As $R_{2n+3}(u)$ is odd, we also have $R_{2n+3}(-1)=-R_{2n+3}(1)=0$. This proves that $A_{2n+1}(u)$ is an odd polynomial of $\text{degree}\big(A_{2n+1}(u)\big)\leq2n+1$ and $A_{2n+1}(0)=0.$ The first polynomials $A_{2n-1}(u)$ with $n>0$ can be calculated using Maple. $$\begin{array}{|c|c|c|c|c|} \hline n&1 &2 &3 \hl A_{2n-1}(u)\ &-\frac{1}{4}u &\bigg(\frac{91}{864}u^{3}-\frac{47}{576}u \bigg) &\bigg(-\frac{319}{2880}u^{5}+\frac{185}{1152}u^{3}-\frac{3703}{69120}u \bigg) \hl \end{array}$$ Now, we ntroduce the operators $\mathcal{C}_{2}, \mathcal{C}, \mathcal{S}_{2}, \mathcal{S}$ defined by $$\begin{array}{llll} \mathcal{C}(Z)(d,u)=\frac{1}{2}\big(Z(d,T^{+\frac{1}{2}})+Z(d,T^{-\frac{1}{2}})\big)&\\ \\ \mathcal{S}(Z)(d,u)=\frac{1}{2}\big(Z(d,T^{+\frac{1}{2}})-Z(d,T^{-\frac{1}{2}})\big)&\\ \\ \mathcal{C}_{1}(Z)(d,u)=\frac{1}{2}\big(Z(d,T^{+})+Z(d,T^{-})\big)&\\ \\ \mathcal{S}_{1}(Z)(d,u)=\frac{1}{2}\big(Z(d,T^{+})-Z(d,T^{-})\big)& \end{array} {\label{re3.3}}$$ where $T^{+\frac{1}{2}}=T^{+}(\frac{d}{2},u)$, $T^{-\frac{1}{2}}=T^{-}(\frac{d}{2},u)$ and $Z(d,u)$ is a formal power series in $d$ whose coefficients are polynomials. We can show that $$\begin{aligned} \begin{array}{ll} \mathcal{C}_{1}=2\mathcal{S}^{2}+Id \\ \mathcal{S}_{1}=2\mathcal{S}\mathcal{C} \end{array} {\label{re4}}\end{aligned}$$ and $$\begin{aligned} \begin{array}{llll} \mathcal{C}_{1}(Q\cdot G)=\mathcal{C}_{1}(Q)\mathcal{C}_{1}(G)+\mathcal{S}_{1}(Q)\mathcal{S}_{1}(G)&\\ \\ \mathcal{S}_{1}(Q\cdot G)=\mathcal{C}_{1}(Q)\mathcal{S}_{1}(G)+\mathcal{S}_{1}(Q)\mathcal{C}_{1}(G))&\\ \\ \mathcal{C}(Q\cdot G)=\mathcal{C}(Q)\mathcal{C}(G)+\mathcal{S}(Q)\mathcal{S}(G)&\\ \\ \mathcal{S}(Q\cdot G)=\mathcal{C}(Q)\mathcal{S}(G)+\mathcal{S}(Q)\mathcal{C}(G)& \end{array} {\label{re5}}\end{aligned}$$ if $Q,G$ are formal power series in $d$ whose coefficients are polynomials of $u$. Norms for polynomials and basis ================================ In this section we recall some definitions and results of @SV. Using a certain suquence of polynomials. we define convenient norms on spaces of polynomials which satisfies some useful proprieties. We denote by - $\mathcal{P}$ the set of all polynomial whose coefficents are complex - $\mathcal{P}_{n}$ the spaces of all polynomials of degree less than or equal to n @SV\. We define the sequence of polynomials $\tau_{n}(u)$ by $$\tau_0(u)=1,\,\tau_{1}(u)=u,\,\tau_{n+1}(u)=\frac{1}{n}D\tau_{n}(u) \mbox{ for }n\geq1,$$ where the operator $D$ is defined by $$D:=(1-u^{2})\frac{\partial}{\partial{u}}.$$ Then we have 1. $T^{+}(d,u)=\sum^{\infty}_{n=0}\tau_{n+1}(u)d^{n}$, 2. $\tau_n(u)$ has exactly degree $n$ and hence $\tau_0(u),...,\tau_{n}(u)$ form a basis of $\mathcal{P}_{n}$, 3. $\tau_{n}(\tanh(z))=\frac{1}{(n-1)\,!}\big(\frac{d}{dz} \big)^{n-1}\big(\tanh(z)\big)$ <span>\[prop1\]</span> Let $p \in \mathcal{P}_{n}$. As $ \tau_0(u),...,\tau_{n}(u)$ form a basis of $\mathcal{P}_{n}$, we can write $p\in {\mathcal P}_n$ as $$\begin{aligned} p=\sum^{n}_{k=0}a_{k}\tau_{k}(u).\end{aligned}$$ Then we define the norms $$\|p\|_{n}=\sum^{n}_{i=0}|a_{i}|\left(\frac{\pi}{2}\right)^{n-i} . {\label{norme}}$$ @SV\. Let n,m be positive integers and $p \in \mathcal{P}_{n}$, $q \in \mathcal{P}_{m}.$ The norms (\[norme\]) have the following properties: 1. $ \|Dp\|_{n+1}\le n\|p\|_{n}$. 2. If the constant term of $p$ in the basis $\{\tau_0,\tau_1..,\tau_n\}$ is zero, we have $$\|p\|_{n}\le \|Dp\|_{n+1}.$$ 3. There exists a constant $M_{2}$ such that $\|pq\|_{n+m}\le M_{2} \|p\|_{n}\|q\|_{m}$. 4. There is a constant $M_{3}$ such that that for all $ n> 1$, $|p(u)|\le M_{3}\left(\frac{2}{\pi}\right)^{n} \|p\|_{n}$ $(-1\le u\le 1)$. 5. There is a constant $M_{4}$ such that for all $ n> 1$ with $p(1)= p(-1)=0$ $$\begin{aligned} \Big\|\frac{p}{\tau_{2}}\Big\|_{n-2}\le M_{4} \|p\|_{n}\end{aligned}$$ <span>\[th2\]</span> Operators ========= In this section we will use some definitions of Schäfke-Volkmer@SV and adapt their results on operators on polynomial series to our context. Let $$\mathcal{Q}:=\left\{\mathnormal{Q}(d,u)=\sum^{\infty}_{n=0}\mathnormal{Q}_{n}(u)d^{n},\textrm{ where}\ \mathnormal{Q}_{n}(u)\in \mathcal{P}_{n},\textrm{ for all}\ n\in \mathbb{N} \right\}.$$ By abuse of notation, let $\|Q\|_n=\|Q_n\|_n$ for a polynomial series $$\mathnormal{Q}(d,u)=\sum^{\infty}_{n=0}\mathnormal{Q}_{n}(u)d^n.$$ Let $f$ be formal power series of $z$ whose coefficients are complex. We define a linear operator $f(dD)$ on $\mathcal{Q}$ by $$f(dD)\mathnormal{Q}(d,u)=\sum^{\infty}_{n=0} \Big( \sum^{n}_{i=0} f_{i} D^{i}\mathnormal{Q}_{n-i}(u) \Big)d^{n}$$ where $f(z)=\sum^{\infty}_{i=0}f_{i}z^{i}$ and $ \mathnormal{Q}\in\mathcal{Q}$. By the above Definition and (1) of Proposition \[prop1\] we can show that $$\begin{aligned} \mathnormal{Q}(d,T^{+}\big(\theta d, u)\big)=\big(\exp(\theta dD)\mathnormal{Q}\big)(d,u) \ \textrm{for }\ \mathnormal{Q}\in \mathcal{Q} \ \textrm{and all}\ \theta\in \mathbb{C}\end{aligned}$$ Thus with (\[re4\]) and (1) of Proposition \[prop1\] we obtain $$\begin{array}{llll} \mathcal{C}(\mathnormal{Q})\ =\cosh(\frac{d}{2}D)\mathnormal{Q},\ \mathcal{S}(\mathnormal{Q})\ =\sinh(\frac{d}{2}D)\mathnormal{Q}&\\ \mathcal{C}_{1}(\mathnormal{Q})=\cosh(dD)\mathnormal{Q},\ \mathcal{S}_{1}(\mathnormal{Q})=\sinh(dD)\mathnormal{Q} \end{array}$$ for polynomial series $\mathnormal{Q}$ in $ \mathcal{Q}$. <span>**Remark.**</span> According to the definition of norms in (\[norme\]), we have $$\begin{aligned} \text{If} \ \ \ Q\in \mathcal{Q},\ \ \ \text{then} \ \ \ dQ \in \mathcal{Q} \ \ \ \text{and} \ \ \ \| dQ\|_{n}=\dfrac{\pi}{2}\| Q\|_{n-1}\ \ \text{for all}\ \ n\geq 1. {\label{remp}}\end{aligned}$$ @SV Let $f(z)$ be formal power series having a radius of convergence greater than $2\pi$ and let k be a positve integer. There is a constant $K$ such that: If $\mathnormal{Q}$ is a polynomial series having the following property $$\begin{aligned} \|\mathnormal{Q}\|_{n}\leq \left\{\begin{array}{ll} 0 & \textrm{for}\ n<k \\ M(n-k)\,!(2\pi)^{-n} & \textrm{for}\ n\geq k \end{array} \right.\end{aligned}$$ where $M$ is independent of $n$ and $\mathnormal{Q} \in \mathcal{Q}$ then the polynomial series $f(dD)\mathnormal{Q}$ satisfies $$\begin{aligned} \|f(dD)\mathnormal{Q}\|_{n}\leq \left\{\begin{array}{ll} 0 & \textrm{for}\ n<k \\ MK(n-k)\,!(2\pi)^{-n} & \textrm{for}\ n\geq k \end{array} \right.\end{aligned}$$ <span>\[th3\]</span> Now we define on $\mathcal{Q}$ the following operator $$\mathcal{J}=\frac{\mathcal{S}}{dD}. {\label{re6}}$$ where the notation $\frac{\mathcal{S}}{dD}$ means simply $F(dD)$ with $F(z)=\dfrac{1}{z}\sinh(\frac z2)$. For each integer $k$ there exist a positive constant $K$ such that: If $\mathnormal{Q}$ is a polynomial series with odd $\mathnormal{Q}_{n}$ of degree at most $n$, $\|\mathnormal{Q}\|_{n}=0$ for $n<k$ in case of positive $k$ and $$\begin{aligned} \|dD\mathnormal{Q}\|_{n}\leq M(n-k)\,!(2\pi)^{-n} & \textrm{for}\ n\geq \max(0,k),\end{aligned}$$ where $M$ is independent of $n$, then the polynomial series $\mathcal{J}^{-1}(\mathnormal{Q})$ satisfies $$\begin{aligned} \quad \|\mathcal{J}^{-1}(\mathnormal{Q})\|_{n}\leq MK(2\pi)^{-n} \left\{\begin{array}{ll} (n-k+1)\,! & \textrm{for}\ k\leq1 \\ (n-1)\,!\log(n) & \textrm{for}\ k=2 \\ (n-1)\,! & \textrm{for}\ k \geq 3 \end{array} \right.\end{aligned}$$ <span>\[lem4\]</span> **Proof**. We can see easily that $\mathcal{J}^{-1}=\pi \,\tilde{\mathcal C}^{-1}+g(dD)$, where $\tilde{\mathcal C}=\cosh(\frac14dD)$ and $g(z)$ is analytic for $|z|<4\pi$, and use the proof of @SV. We have ${\mathcal S}=dD\,{\mathcal J}={\mathcal J}\, dD$, but using this relation for the inversion of $\mathcal S$ would give an insufficient result. Using of the formula $$1=\frac2z\sinh(\frac z2)+F(z)z, \mbox{ where }F(z)=z^{-2}(z-2\sinh(\frac z2))$$ is an entire function, we obtain the relation $$Q=2{\mathcal J}Q+F(dD)\,dDQ{\label{SJ}}$$ for polynomial series $Q\in{\mathcal Q}$. This will be essential in the proof of For each integer $k$ there exist a positive constant $K$ such that: If $\mathnormal{Q}$ is a polynomial series with odd $\mathnormal{Q}_{n}$ of degree at most $n$, $\|\mathnormal{Q}\|_{n}=0$ for $n<k$ in case of positive $k$, and $$\begin{aligned} \|\mathcal{S}(\mathnormal{Q})\|_{n}\leq M(n-k)\,!(2\pi)^{-n} & \textrm{for}\ n\geq \max(0,k),\end{aligned}$$ where $M$ is independent of $n$, then the polynomial series $\mathnormal{Q}$ satisfies $$\begin{aligned} \quad \|\mathnormal{Q}\|_{n}\leq MK(2\pi)^{-n} \left\{\begin{array}{ll} \\(n-k+1)\,! & \textrm{for}\ k\leq1 \\ (n-1)\,!\log(n) & \textrm{for}\ k=2 \\ (n-1)\,! & \textrm{for}\ k \geq 3 \end{array} \right.\end{aligned}$$ <span>\[th4a\]</span> **Proof.** By the preceding theorem, we have the wanted inequalities for $dDQ={\mathcal J}^{-1}{\mathcal S}Q$ in the place of $Q$. Here we used again $\|dDZ\|_{n}\leq (n-1)\|Z\|_{n-1}$ for any polynomial series $Z\in{\mathcal Q}$. Using theorem \[th3\] implies the same for $F(dD)dDQ$ with the entire function $F$ of (\[SJ\]) As $\|Z\|_n\leq\|dDZ\|_{n+1}$ by theorem \[th2\], we find the wanted inequalities (and even something better in the cases $k\geq2$) also for ${\mathcal J}Q$ because $dD{\mathcal J}={\mathcal S}$. Thus formula (\[SJ\]) yields the result $\square$ In order to obtain an asymptotic approximation for the coefficients of the formal solution, we will need to reverse some operators. This is not possible for the operators $\mathcal{S}$ and $dD$ on the set $\mathcal{Q}$, but we can define a subset $\mathcal{Q}^{*}$ of $\mathcal{Q}$ on which these operators have a right inverses. If we define $$\begin{aligned} \mathcal{Q}^{*}:=\left\{\mathnormal{Q}(d,u)=\sum^{\infty}_{n=1}\mathnormal{P}_{n}(u)d^{n},\textrm{ where}\ \mathnormal{P}_{n}(u)\in \mathcal{P}^{*}_{n},\textrm{ for all}\ n\geq 1 \right\}.\end{aligned}$$ where $\mathcal{P}_{n}^{*}$ is the subspace of $\mathcal{P}_{n}$ defined by $$\begin{aligned} \mathcal{P}_{n}^{*}:=\big\{\sum^{n}_{i=0}\alpha_{i}\tau_{i}\in \mathcal{P}_{n},| \ \alpha_0=0\ \big\}\end{aligned}$$ Then, the restrictions of the operators $dD,\mathcal{S}$ to $\mathcal{Q}^{*},$ denoted here by the same symbols $$\begin{aligned} dD&:& \mathcal{Q}^{*}\to (1-u^2)d^2\mathcal{Q}\\ \mathcal{S} &:& \mathcal{Q}^{*}\to (1-u^2)d^2\mathcal{Q}\end{aligned}$$ are bijective. We denote by $\mathcal{T}$ the inverse of the restriction of $\mathcal{S}$ to $\mathcal{Q}^{*},$ , and we have $$\mathcal{T}\mathcal{S}=\text{Id} \ \ \text{on } \ \ \mathcal{Q}^{*}$$ @SV We consider a polynomial series $$\begin{aligned} \mathnormal{Q}_{\alpha}(d,u)=\sum^{\infty}_{\substack{n=2} }\alpha_{n}(n-1)\,!\Big( \frac{i}{2\pi}\Big)^{n-1}\tau_{n}(u)d^{n}\end{aligned}$$ where $\alpha_{n}=\mathcal{O}(n^{-k})$ as $n \to \infty$ with some integer $k\geq 2$. Let $$\alpha:= \frac{4}{\pi}\sum^{\infty}_{\substack{n=1} }\alpha_{n},$$ then the coefficients $\left\{ \mathcal{T}(\mathnormal{Q}_{\alpha}) \right\}_{n}$ of $\mathcal{T}(\mathnormal{Q}_{\alpha}) $ satisfy $$\begin{aligned} \Bigg\| \left\{ \mathcal{T}(\mathnormal{Q}_{\alpha}) \right\}_{n}-\alpha (n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n-1}\tau_{n}\Bigg\|_{n}=\mathcal{O}\Big((n-k)\,!(2\pi)^{-n}\Big)\end{aligned}$$ as $n\to \infty$ for $n.$ <span>\[th5\]</span> **Proof**. The proof of this theorem is completely analogous to that of @SV. @SV Let $k,l, p,q$ be integer with $p\geq k$ and $q\geq l$. Define $m$ as the minimum of $k+q$ and $l+p$. then there is a constant $K$ with the following property:\ If $\mathnormal{P}$ and $\mathnormal{Q}$ are polynomial series such that $\|\mathnormal{P}\|_{n}=0 $ for $n<p$, $\|\mathnormal{Q}\|_{n}=0 $ for $n<q$ and $$\begin{aligned} \begin{array}{ll} \|\mathnormal{P}\|_{n}\leq M_{1}(n-k)\,!\, (2\pi)^{-n} & \textrm{for}\,\, n\geq p \\ \|\mathnormal{Q}\|_{n}\leq M_{2}(n-l)\,!\, (2\pi)^{-n} & \textrm{for}\,\, n\geq q \end{array}\end{aligned}$$ then $$\begin{aligned} \|\mathnormal{PQ}\|_{n}\leq KM_{1} M_{2}(n-m)\,!\, (2\pi)^{-n} & \textrm{for}\,\, n\geq p+q.\end{aligned}$$ <span>\[th6\]</span> <span>\[remM\]</span> Observe that the results of this section can also be applied, if the constants $M$ are replaced by any increasing sequence $(M_n)_{n\in N}$. In theorems \[th3\] and \[th6\] the first $n$ terms of the resulting polynomial series only depend of the first $n$ terms of the given series, so the "$M$" in the result simply has to be replaced by "$M_n$". In lemma \[lem4\] and theorem \[th4a\], the first $n$ terms of the result depend of the first $n+1$ given terms, so "$M$" in the result has to be replaced by "$M_{n+1}$". Asymptotic approximation of the coefficients of the formal solution =================================================================== In this section we will estimate the coefficients of the formal solution obtained previously (section 2). The idea is to write equation (\[eq1\]) essentially in the form $$V(d,u)\mathcal{S}(Q_1\mathcal{S}(Q_2\, A))(d,u)=g\big(d,u,A(d,u)\big), {\label{form}}$$ where $V,Q_1$ and $Q_2$ are known polynomials of $d$ and $u$ and $g$ is a certain function of $d, u$ and $A$ involving the operators $\mathcal{S}, \mathcal{C}$ and $\mathcal{J}$ multiplied by sufficiently high powers of $d$. Thanks to this equation, we will estimate the coefficients of the formal solution using the results of the previous section. We show that the coefficients of this formal solution is Gevrey-1, more precisely $\|A\|_{n}=O\big(n\,!\,(2\pi)^{-n}\big)$. Rewriting of equation (\[eq1\]) ------------------------------- Consider the decomposition $$A(d,u)=U(d,u)+F(d,u) {\label{re8}}$$ where $U$ is the initial part of $A$ calculated before $$U(d,u)=-\frac{1}{4}ud^{2}+\bigg(\frac{91}{864}u^{3}-\frac{47}{576}u \bigg)d^{4} +\bigg(-\frac{319}{2880}u^{5}+\frac{185}{1152}u^{3}-\frac{3703}{69120}u \bigg)d^{6}.$$ We insert this into (\[eq2\]), with (\[re4\]) and (\[re5\]), and obtain $$2\cosh(d)\cdot\mathcal{C}_{1}(F)-2u\,\sinh(d)\cdot\mathcal{S}_{1}(F)=W_0\cdot F +f_{1}\Big(d,u,F(d,u)\Big) {\label{re9}}$$ where $$\begin{aligned} W_0&=&\Big( \cosh^{2}(d)-u^{2}\sinh^{2}(d)\Big)\bigg[2+(2u^{2}-1)\varepsilon^{2}\cos\Big(U\cdot\sqrt{1-u^{2}}\Big)\\ &-&2u\,\varepsilon^{2}\sin\Big(U\cdot\sqrt{1-u^{2}}\Big)\cdot\sqrt{1-u^{2}}\bigg]\\ f_{1}\Big(d,u,F(d,u)\Big)&=& \varepsilon^{2}\Big( \cosh^{2}(d)-u^{2}\sinh^{2}(d)\Big)\Bigg[\bigg(\dfrac{2u^{2}-1}{\sqrt{1-u^{2}}}\sin\Big(U\cdot\sqrt{1-u^{2}}\Big)\\ &+&2u\cos\Big(U\cdot\sqrt{1-u^{2}}\Big)\bigg)\cos\Big(F(d,u)\sqrt{1-u^{2}}\Big) +\\ &&\bigg(\dfrac{2u^{2}-1}{\sqrt{1-u^{2}}}\cos\Big(U\cdot\sqrt{1-u^{2}}\Big)-2u\sin\Big(U\cdot\sqrt{1-u^{2}}\Big)\bigg)\times\\ &&\bigg(\sin\Big(F(d,u)\sqrt{1-u^{2}}\Big)-F(d,u)\sqrt{1-u^{2}}\bigg)\Bigg]\\ &-&\big(\cosh^{2}(d)-u^{2}\sinh^{2}(d)\big)\sum_{n=1}^{+\infty}I_{2n-1}(u)d^{2n}-2\cosh(d)\mathcal{C}_{1}(U)\\ &-&2u\,\sinh(d)\mathcal{S}_{1}(U)-2\Big( \cosh^{2}(d)-u^{2}\sinh^{2}(d)\Big)\cdot U.\end{aligned}$$ Observ that $f_{1}$ has the form $$\begin{array}{rcl}f_{1}\big(d,u,F(d,u)\big)&=&{\displaystyle}y_0(d,u)+y_1(d,u)\sum_{n=1}^{\infty} \frac1{(2n)!}(1-u^2)^nF(d,u)^{2n}+\\&&\ \ \ \ \ \ \ \ \ {\displaystyle}y_2(d,u)\sum_{n=1}^{\infty} \frac1{(2n+1)!}(1-u^2)^nF(d,u)^{2n+1}, \end{array}{\label{ff}}$$ where $y_{n}(d,u), n=1,2,3$ are convergent polynomial series. Now, we let $$\begin{aligned} \begin{array}{lll} F(d,u)&=&Q(d,u)\cdot G(d,u),\\ J(d,u)&=&Q_{1}(d,u)\cdot\mathcal{S}(G), \end{array} {\label{re13}}\end{aligned}$$ where $ G $ is a formal power series whose the first term contains $d^{8}$ and $$\begin{aligned} \begin{array}{lll} Q(d,u)&=&1+\frac{1}{4}(1-u^{2})d^{2}+\bigg(\frac{91}{432}u^{4}-\frac{13}{48}u^{2}+\frac{13}{216}\bigg)d^{4}\\ &+&\bigg(-\frac{319}{960}u^{6}+\frac{1079}{1728}u^{4}-\frac{937}{2880}u^{2}+\frac{287}{8640}\bigg)d^{6},\\ Q_{1}(d,u)&=&(u^{2}-1)d^{2}+\frac{1}{4}(1-u^{4})d^{4}-\dfrac{5}{48}(1-u^{2})\bigg(\frac{4}{9}u^{4}+u^{2}+1\bigg)d^{6}\\ &+&(1-u^{2})\bigg(-\frac{367}{2160}u^{6}+\frac{185}{432}u^{4}-\dfrac{997}{4320}u^{2}\bigg)d^{8}. \end{array} {\label{re10}}\end{aligned}$$ The choice of $Q_{1}(d,u)$ and $Q(d,u)$ depends in a precise way of the form of the equation (\[form\]) and has been determined using Maple. Using (\[re13\]), (\[re10\]) and (\[re5\]), we can rewrite equation (\[re9\]) in the form $$\begin{aligned} W_0Q+f_{1}\Big(d,u,F_{d}(u)\Big)&=&\Big[2\cosh(d)\mathcal{C}_{1}(Q)-2u\,\sinh(d)\mathcal{S}_{1}(Q)\Big]\mathcal{C}_{1}(G)\nonumber\\ &+&\Big[2\cosh(d)\mathcal{S}_{1}(Q)-2u\,\sinh(d)\mathcal{C}_{1}(Q)\Big]\mathcal{S}_{1}(G).\end{aligned}$$ Using (\[re4\]), we obtain $$\begin{aligned} V\cdot \mathcal{S}^{2}(G)+W\cdot \mathcal{S}\mathcal{C}(G)=W_{1}G+f_{2}\Big(d,u,F_{d}(u)\Big) {\label{re11}}\end{aligned}$$ where $f_{2}\Big(d,u,F_{d}(u)\Big)=\frac{1}{4}f_{1}\Big(d,u,F_{d}(u)\Big)$ $$\begin{aligned} \begin{array}{lll} V(d,u)&=&\cosh(d)\mathcal{C}_{1}(Q)-u\,\sinh(d)\mathcal{S}_{1}(Q)\\ W(d,u)&=&\cosh(d)\mathcal{S}_{1}(Q)-u\,\sinh(d)\mathcal{C}_{1}(Q)\\ W_{1}(d,u)&=&\frac{1}{4}\Big(-2\cosh(d)\mathcal{C}_{1}(Q)+2u\,\sinh(d)\mathcal{S}_{1}(Q)+W_0Q\Big) \end{array} {\label{re12}}\end{aligned}$$ The calculation of the first terms of the series $W_{1}$ by Maple shows that the convergent polynomial series $ W_{1}(d,u)$ begins with a term containing $d^{10}$. Using (\[re13\]) and (\[re5\]), we find $$\mathcal{S}(J)=\mathcal{S}\Big(Q_{1}\mathcal{S}(G)\Big)=\mathcal{C}(Q_{1})\mathcal{S}^{2}(G)+\mathcal{S}(Q_{1})\mathcal{S}\mathcal{C}(G). {\label{re15}}$$ Using $$\begin{aligned} V_{1}(d,u)&=&1+(1-u^{2})d^{2}+\bigg(-\dfrac{71}{432}u^{4}-\dfrac{1}{12}u^{2}+\dfrac{107}{432}\bigg)d^{4}\\ &+&\bigg(\dfrac{1351}{2160}u^{6}-\dfrac{193}{144}u^{4}+\dfrac{49}{60}u^{2}-\dfrac{11}{108}\bigg)d^{6},\end{aligned}$$ we obtain $$\begin{aligned} V_{1}\cdot\mathcal{C}(Q_{1})&=&Q_{1}V+W_{2}\\ V_{1}\cdot\mathcal{S}(Q_{1})&=&Q_{1}W+W_{3}\end{aligned}$$ where $W_{2}(d,u) $ and $ W_{3}(d,u)$ are convergent polynomials series beginning with $d^{10}$. With (\[re11\]) and (\[re15\]), this implies $$V_{1}\cdot\mathcal{S}\Big(Q_1\mathcal{S}(G)\Big)=W_{2}\cdot\mathcal{S}^2(G)+W_{3}\mathcal{S}\mathcal{C}(G)+Q_{1}W_{1}G+Q_{1}f_{2}\Big(d,u,Q_1 G(d,u)\Big). {\label{re16}}$$ This allows us to prove the following theorem $$\begin{aligned} G(d,u)&=&\Big(\frac{\alpha}{d^2}+(\beta+\frac{\alpha}{3})\Big)\dfrac{u\, H_{0}(d,u)}{\tau_2(u)}-\big(\beta d+\frac{\alpha}{d}\big)H_{2}(d,u)\nonumber\\ &+&\delta d H_{1}(d,u)+S(d,u)\end{aligned}$$ where $\alpha, \beta, \delta$ are constants and the polynomial series $H_0, H_1, H_2, S $ are defined by $$\begin{aligned} H_{0}(d,u):&=&\sum_{\substack{n=10\\ n\ even}}^{\infty}(n-1)\,!\Big(\dfrac{i}{2\pi}\Big)^{n}\tau_{n}(u)\,d^{n}\nonumber\\ H_{1}(d,u):&=&\sum_{\substack{n=9\\ n\ odd}}^{\infty}(n-1)\,!\Big(\dfrac{i}{2\pi}\Big)^{n+1}\tau_{n}(u)\,d^{n}\nonumber\\ H_2(d,u):&=&\sum_{\substack{n=9\\ n\ odd}}^{\infty}n\,!\Big(\dfrac{i}{2\pi}\Big)^{n+1}\tau_{n}(u)\,d^{n} {\label{rethtt}}\end{aligned}$$ and $S(d,u)$ is a polynomial series satisfying $$\|S\|_{n}=\mathcal{O}\Big( (n-3)! (2\pi)^{n}\Big).$$ <span>\[thtt\]</span> To prove this theorem we need to make some overvaluations on the coefficients of the polynomial series $\mathcal{S}\big(Q_1\mathcal{S}(G)\big)$. This will be the subject of the following paragraph. <span>**Remark**</span>: Observe that the series $F,G$ are odd in $u$, even in $d$ and beginning with $d^8$. The series $J$ is even in $u$, odd in $d$ and beginning with $d^{11}$ . In the series $F, G, A, J$, the degree of the polynomial that is the coefficient of $d^n$ is at most $n-1$ ; thus the results of section 4 can still be applied and $d^{-1}F, d^{-1}G, d^{-1}A, d^{-1}J \in \mathcal{Q}$ Upper bounds for the coefficients of $\mathcal{S}\big(Q_1\mathcal{S}(G)\big)$ ----------------------------------------------------------------------------- In this paragraph, we will use equation (\[re16\]), together with the definitions of $V_{1}$ and $Q_{1}$, $J$ and $G$, $W_{i}, i=1, 2, 3$, to prove $$\big\|\dfrac{1}{d}\mathcal{S}\big(Q_1\mathcal{S}(G)\big)\big\|_{n}=\mathcal{O}\Big( (n-8)\,!(2\pi)^{-n}\Big) \quad \textrm{as}\ n\to \infty.$$ <span>\[lem8\]</span> **Proof.** We set $$e_{n}:=\frac{(2\pi)^{n}\big\|\mathcal{S}(J)\big\|_{n}}{ (n-8)\,!}\ \ \textrm{for}\ \ n \geq 12 {\label{re17}}$$ We must show that $e_{n}=\mathcal{O}(n^{-1})$. In the sequel, we will use the following convention: if $a_{n}, n=0, 1, ...$. is any sequence of positve real numbers, then $$a^{+}_{n}:=\max(a_0,a_{1},...a_{n}) \ \textrm{for all} \ n\geq 0$$ We have $$\big\|\mathcal{S}(J)\big\|_{n}\leq e_{n}(n-8)\,! (2\pi)^{-n}\quad\textrm{for}\ \ n \geq 12 . {\label{re18}}$$ Using Theorem \[th4a\] and Remark \[remM\], we obtain $$\big\|J\big\|_{n}\leq K_{1}e^{+}_{n+1}(n-1)\,! (2\pi)^{-n}, \quad\textrm{for}\ \ n \geq 11 . {\label{re19}}$$ where $K_{1}$ denotes the constant associated with the operator $\mathcal{S}$ in Theorem \[th4a\], it is independent of the present context. In this proof $K_{i}, i=1,.. 9$ will always denote constants independent of $n$ and the sequence $e_{n}$. Using (\[re13\]), we obtain $$\big\|Q_{1}\mathcal{S}(G)\big\|_{n}\leq K_{1} e^{+}_{n+1}(n-1)\,! (2\pi)^{-n} \quad\textrm{for}\ \ n \geq 11 {\label{re22}}$$ We use (5) of Theorem \[th2\] and \[th6\]. Since $ \dfrac{Q_{1}(d,u)}{\tau_{2}(u)d^{2}} $ is a convergent power series beginning with $1$, there is a constant $K_{2}$ such that $$\big\|\mathcal{S}(G)\big\|_{n}\leq K_{2}\,e^{+}_{n+3}(n+1)\,! (2\pi)^{-n}, \quad\textrm{for}\ \ n \geq 9. {\label{re23}}$$ Using again Theorem \[th4a\] (and remark \[remM\]) and the fact that $F=G/Q$ where $Q$ is given in (\[re10\]), we obtain $$\renewcommand{\arraystretch}{1.3} \begin{array}l \big\|G\big\|_{n}\leq K_{3}e^{+}_{n+4}(n+2)\,! (2\pi)^{-n}\quad\textrm{for}\ \ n \geq 8, \\ \big\|F\big\|_{n}\leq K_{3}e^{+}_{n+4}(n+2)\,! (2\pi)^{-n}\quad\textrm{for}\ \ n \geq 8, \end{array} {\label{re25}}$$ where $K_{3}$ is a constant independent of $n$. This together with theorem \[th6\] implies that there are constants $K_4,L$ such that for all $k\geq2$ $$\big\|F^{k}\big\|_{n} \leq K_{4}L_1^kf^{(k)}_{n}(n-5)\,!(2\pi)^{-n}\ \ \ \textrm{for}\ n\geq 8k {\label{re26}}$$ where $$\renewcommand{\arraystretch}{1.4}\begin{array}{lcl} f^{(2)}_{n}&=&{\displaystyle}\sum^{n-8}_{i=8}e^{+}_{i+4}e^{+}_{n-i+4} \frac{(i+2)\,!\, (n-i+2)\,!}{(n-5)\,!},\ \ \textrm{for\ $n\geq 16$},\\ f^{(k+1)}_n&=&{\displaystyle}\sum^{n-8k}_{i=8}e^{+}_{i+4}f^{(k)}_{n-i} \frac{(i+2)\,!\, (n-i-5)\,!}{(n-5)\,!},\ \ \textrm{for\ $n\geq 8(k+1)$}, \end{array}$$ with $f^{(k)}_{n}:=0$ for $n<8k$. Using Theorems \[th3\] and \[th6\] and $W_{i}=O(d^{10}), i=1, 2, 3$, we obtain $$\Big\|W_{2}\cdot\mathcal{S}^2(G)\big\|_{n}\leq K_{5}e^{+}_{n-6}(n-9)\,! (2\pi)^{-n}\ \ \ \textrm{for}\ n\geq 20 {\label{re26.1}}$$ $$\Big\|W_{3}\mathcal{S}\mathcal{C}(G)\Big\|_{n}\leq K_{6}e^{+}_{n-6}(n-9)\,! (2\pi)^{-n}\ \ \ \textrm{for}\ n\geq 19, {\label{re26.2}}$$ $$\Big\|Q_{1}W_{1}G\Big\|_{n}\leq K_{7}e^{+}_{n-8}(n-10)\,! (2\pi)^{-n}\ \ \ \textrm{for}\ n\geq 20, {\label{re26.3}}$$ $$\Big\|Q_{1}f_{2}\Big(d,u,F_{d}(u)\Big)\Big\|_{n}\leq K_{8} (1+\sum_{k\geq2}\frac{L_2^k}{k!}f^{(k)+}_{n-4})(n-9)\,! (2\pi)^{-n} \ \ \ \textrm{for}\ n\geq 12, {\label{re26.4}}$$ Now, let us take the equation (\[re16\]) $$\Big\|V_{1}\cdot\mathcal{S}(J)\Big\|_{n}\leq\Big\|W_{2}\cdot\mathcal{S}^2(G)\big\|_{n}+\Big\|W_{3}\mathcal{S}\mathcal{C}(G)\Big\|_{n}+\Big\|Q_{1}W_{1}G\Big\|_{n}+\Big\|Q_{1}f_{2}\Big(d,u,F_{d}(u)\Big)\Big\|_{n}$$ Using (\[re26.1\]), (\[re26.2\]), (\[re26.3\]) and (\[re26.4\]), we obtain $$\big\|V_{1}\cdot\mathcal{S}(J)\big\|_{n}\leq K_{9}\Big(1+e_{n-6}^{+}+ \sum_{k\geq2}\frac{L_2^k}{k!}f^{(k)+}_{n-4}\Big)(n-9)!\,(2\pi)^{-n}$$ Since, $ V_{1} $ is a convergent polynomial series begins with $1$ , we also have $$\big\|\mathcal{S}(J)\big\|_{n}\leq K_{10}\Big(1+e_{n-6}^{+}+\sum_{k\geq2}\frac{L_2^k}{k!}f^{(k)+}_{n-4}\Big)(n-9)!\,(2\pi)^{-n}$$ Using (\[re17\]), we obtain $$e^{+}_{n}\leq \dfrac{K}{n}\Big(1+e_{n-6}^{+}+\sum_{k\geq2}\frac{L_2^k}{k!}f^{(k)+}_{n-4} \Big) \ \ \ \textrm{for}\ n\geq 12 {\label{re27}}$$ <span>**lem5.2**</span> Under the condition (\[re27\]), we have $e_{n}=\mathcal{O}(n^{-1})$ as $n\to \infty .$ <span>\[lem5.2\]</span> **Proof.** Let $K_{1}\geq 10\,!e^{+}_{12}$ an arbitrary number. We assume that $$e_{n}\leq \frac{K_{1}(n+p-1)\,!}{(n-2)\,!(p+11)\,!}\ \ \qquad \textrm{for $12\leq n\leq N-4 $} {\label{re27.1}}$$ with some $p\geq -1,\, N\geq 16$. This gives for $16\leq n\leq N $ $$\begin{aligned} (n-5)\,!f^{(2)}_{n}\leq K_{1}^{2}\sum_{i=8}^{n-8}\frac{(i+p+3)\,!(n+p-i+3)\,!}{\big((p+11)\,!\big)^{2}}.\end{aligned}$$ The first and last term of the above sum are the largest, so we can easily estimate $$\begin{aligned} \sum^{n-8}_{i=8}(i+p+3)\,!(n+p-i+3)\,!\leq (p+11)\,!(n+p-4)\,!\ \ \ .\end{aligned}$$ We obtain $$\begin{aligned} f^{(2)}_{n}\leq K^2_{1}\frac{(n+p-4)\,!}{(p+11)\,!(n-5)\,!} \qquad \textrm{for $16\leq n\leq N $} . \end{aligned}$$ In a similar way, we can prove by induction that $$\begin{aligned} f^{(k)}_{n}\leq K^k_{1}\frac{(n+p-4)\,!}{(p+11)\,!(n-5)\,!} \leq K^k_{1}\frac{(n+p-1)\,!}{(p+11)\,!(n-2)\,!}\qquad \textrm{for $8k\leq n\leq N $} . \end{aligned}$$ Using the assumption of the lemma, we obtain $$\begin{aligned} e_{n}\leq\frac{K}{n}e^{(1+L_2)K_1}\frac{(n+p-1)\,!}{(p+11)\,!(n-2)\,!} \qquad \textrm{for $16\leq n\leq N $}.\end{aligned}$$ Now we choose $N_0\geq 16$ so large that $\frac{K\exp((1+L_2)K_1)}{N_0}\leq K_{1}$ and then $p$ so large that (\[re27.1\]) holds for $N=N_0$. In a first step, our considerations imply by induction over $N$ that (\[re27.1\]) holds for <span>*all*</span> $N$ and hence $$\begin{aligned} e_{n}=\mathcal{O}\bigg(\frac{(n+p-1)\,!}{(n-2)\,!}\bigg) \ \textrm{as $ n\to \infty $}\end{aligned}$$ for this possibly large value of $p$. As $K_1$ is arbitrary in (\[re27.1\]), we have also shown for any $p\geq -1$ that $$\begin{aligned} e_{n}=\mathcal{O}\bigg(\frac{(n+p-1)\,!}{(n-2)\,!}\bigg) \ \textrm{as $ n\to \infty $}\end{aligned}$$ implies that $$\begin{aligned} e_{n}=\mathcal{O}\bigg(\frac{(n+p-2)\,!}{(n-2)\,!}\bigg) \ \textrm{as $ n\to \infty $\ \ .}\end{aligned}$$ Consequently the last assertion is proved for $p=-1$ and we have shown $$\begin{aligned} e_{n}=\mathcal{O}\big(n^{-1}\big) \ \textrm{as $ n\to \infty $ }\ \ .\end{aligned}$$ Finally we have proved that $$\begin{aligned} \big\|\mathcal{S}(J)\big\|_{n} =\mathcal{O}\big((n-9)\,!(2\pi)^{-n}\big) \ \textrm{as $ n\to \infty $ } \end{aligned}$$ and hence that $$\begin{aligned} \big\|\dfrac{1}{d}\mathcal{S}(J)\big\|_{n} =\mathcal{O}\big((n-8)\,!(2\pi)^{-n}\big) \ \textrm{as $ n\to \infty $ } \end{aligned}$$ which completes the proof of the lemma. $\square$ Proof of theorem \[thtt\] ------------------------- Let $E:=\dfrac{1}{d}\mathcal{S}(J)=\mathcal{S}(d^{-1}J)$. The polynomial series $E$ is odd in $d$ and its coefficients are odd in $u$. We partition it $$\begin{aligned} E_{n}(u)&=&\alpha_{n}(n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n-1}\tau_{n}(u)+\beta_{n-2}(n-3)\,!\Big(\frac{i}{2\pi}\Big)^{n-3}\tau_{n-2}(u)+\nonumber\\ &&\gamma_{n-4}(n-5)\,!\Big(\frac{i}{2\pi}\Big)^{n-5}\tau_{n-4}(u)+\overline{E}_{n-6}(u) {\label{re28}}\end{aligned}$$ for odd $n\geq 11$, where $\alpha_{n}$ , $\beta_{n}$ and $\gamma_{n}$ are real numbers and also $\overline{E}_{n}$ have at most degree $n$ for all $n$. For the whole series $E$ this is equivalent to $$\begin{aligned} \mathcal{S}(d^{-1}J)=E=E_{1}+d^{2}E_{2}+d^{4}E_{3}+d^{6}\overline{E} {\label{re29}}\end{aligned}$$ where $$\begin{aligned} E_{1} &=&\sum^{+\infty}_{n=11}\alpha_{n}(n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n-1}\tau_{n}(u)d^{n} \\ E_{2}&=&\sum^{+\infty}_{n=9}\beta_{n}(n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n-1}\tau_{n}(u)d^{n}\\ E_{3}&=&\sum^{+\infty}_{n=7}\gamma_{n}(n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n-1}\tau_{n}(u)d^{n}\\ \overline{E} &=&\sum^{+\infty}_{n=5}\overline{E}_{n}(u)d^{n} \end{aligned}$$ Lemma \[lem8\] implies that $$\begin{aligned} \alpha_{n}=\mathcal{O}(n^{-7}), \ \beta_{n}=\mathcal{O}(n^{-5}),\ \gamma_{n}=\mathcal{O}(n^{-3}) \ \textrm{and} \ \|\overline{E}_{n}\|_{n}=\mathcal{O}\big((n-2)\,!(2\pi)^{-n} \big).\end{aligned}$$ Applying $ \mathcal{T}$ to (\[re29\]) we obtain $$\frac1dJ=\mathcal{T}(E_{1})+d^{2}\mathcal{T}(E_{2})+d^{4}\mathcal{T}(E_{3})+d^{6}\mathcal{T}(\overline{E}) {\label{re30}}$$ To the first three summands we apply Theorem \[th5\]. Thus we obtain $$\begin{aligned} \Big\| \{\mathcal{T}(E_{1})\}_{n}-\alpha (n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n}\tau_{n}(u)\Big\|_{n}&=&\mathcal{O}\big((n-7)\,!(2\pi)^{-n} \big)\\ \Big\| \{\mathcal{T}(E_{2})\}_{n}-\beta (n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n}\tau_{n}(u)\Big\|_{n}&=&\mathcal{O}\big((n-5)\,!(2\pi)^{-n} \big)\\ \Big\| \{\mathcal{T}(E_{3})\}_{n}-\gamma (n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n}\tau_{n}(u)\Big\|_{n}&=&\mathcal{O}\big((n-3)\,!(2\pi)^{-n}\big)\end{aligned}$$ where $$\begin{aligned} \alpha=\frac{4}{\pi}\sum^{\infty}_{\substack{n=11\\ n\ odd}}\alpha_{n}, \ \beta=\frac{4}{\pi}\sum^{\infty}_{\substack{n=9\\ n\ odd}}\beta_{n}, \gamma=\frac{4}{\pi}\sum^{\infty}_{\substack{n=7\\ n\ odd}}\gamma_{n}.\end{aligned}$$ To the last part of (\[re30\]) we apply Theorem \[th4a\] and obtain $$\begin{aligned} \Big\| \{\mathcal{T}(\overline{E})\}_{n}\Big\|_{n}&=&\mathcal{O}\big((n-1)\,!(2\pi)^{-n}\log(n) \big),\end{aligned}$$ thus altogether $$\begin{aligned} \bigg\| \{(\dfrac{1}{d}J)\}_{n}&-&\alpha (n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n}\tau_{n}-\beta (n-3)\,!\Big(\frac{i}{2\pi}\Big)^{n-2}\tau_{n-2}-\\ &&\gamma(n-5)\,!\Big(\frac{i}{2\pi}\Big)^{n-4}\tau_{n-4}\bigg\|_{n} = \mathcal{O}\Big((n-7)\,!(2\pi)^{-n}\log(n)\Big).\end{aligned}$$ Using (\[remp\]) we obtain $$\begin{aligned} \bigg\| \{J\}_{n}&-&\alpha (n-2)\,!\Big(\frac{i}{2\pi}\Big)^{n-1}\tau_{n-1}-\beta (n-4)\,!\Big(\frac{i}{2\pi}\Big)^{n-3}\tau_{n-3}\\ &-&\gamma(n-6)\,!\Big(\frac{i}{2\pi}\Big)^{n-5}\tau_{n-5}\bigg\|_{n} = \mathcal{O}\Big((n-8)\,!(2\pi)^{-n}\log(n)\Big)\ \ .\end{aligned}$$ The asymptotic of $J_n$ gives a good approximation of $\alpha$; its suffice to calculate , using a formal calculation software (for example: Pari), the first $40$ terms of $A(d,u)$ by the recurrence of Section 2 and to evaluate the highest coefficients of $ J_n$ to get the approximation $\alpha= 89.0334.$ <span>\[rem1\]</span> Next we observe that $J=Q_{1}\mathcal{S}(G)$, where $Q_1$ is given in (\[re10\]) Using part 5. of Theorem \[th2\], we obtain <span>**EA**</span> $$\begin{aligned} \bigg\| \big\{\mathcal{S}(G)\big\}_{n}&+&\alpha n\,!\Big(\frac{i}{2\pi}\Big)^{n+1}\frac{\tau_{n+1}}{\tau_{2}}+\big(\beta-\alpha p_{2}(u)\big) (n-2)\,!\Big(\frac{i}{2\pi}\Big)^{n-1}\frac{\tau_{n-1}}{\tau_{2}}\nonumber\\ &&+(\gamma-\beta p_{2}(u)-\alpha p_{4}(u)\big) (n-4)\,!\Big(\frac{i}{2\pi}\Big)^{n-3}\frac{\tau_{n-3}}{\tau_{2}}\bigg\|_{n}\nonumber\\ &= &\mathcal{O}\Big((n-6)\,! (2\pi)^{-n}\log(n)\Big) {\label{ea}}\end{aligned}$$ where $$\begin{aligned} p_{2}(u)&=&-\dfrac{1}{4}-\dfrac{u^{2}}{4}=-\dfrac{1}{2}+\dfrac{\tau_{2}}{4}\\ p_{4}(u)&=&\dfrac{1}{24}-\dfrac{u^{2}}{48}-\dfrac{7 u^{4}}{432}=\dfrac{1}{216}+\dfrac{55}{1296}\tau_{2}+\dfrac{7}{432}\tau_{4}.\end{aligned}$$ <span>**Remark:**</span> Observe that the approximation (\[ea\]) of the coefficients $\{\mathcal{S}(G)\}_n$ is polynomial. Indeed; the polynomials $\tau_n(u), n\geq 2 $ are divisible by $\tau_2 (u)$.\ In order to find an asymptotic estimation for the coefficients of the formal solution, we need to apply the inverse of operator $\mathcal{S}$ . To this purpose, we show the following lemma If $H_0, H_1, H_2$ are the polynomial series defined in (\[rethtt\]). Then - 1 If we define the operator $\mathcal{C}_{\frac{1}{4}}=\cosh\Big(\dfrac{dD}{4}\Big)$, then the polynomial series $\mathcal{C}_{\frac{1}{4}}(H_0), \mathcal{C}_{\frac{1}{4}}(H_1)$ are converging. - 2\. the polynomial series $\mathcal{S}(H_{0}), \mathcal{S}(H_1) $ are converging. - 3\. $\mathcal{C}(H_{0})=-H_{0}+\mu_{1}(d,u) $, where $\mu_{1}(d,u) $ is a convergent series. - 4\. $\mathcal{S}(H_{2})=\dfrac{1}{2}H_{0}+\mu_{2}(d,u) $, where $H_{2}=d\dfrac{\partial}{\partial d} H_{1}$ and $\mu_{2}(d,u) $ is a convergent series . - 5\. $\mathcal{S}\bigg(\dfrac{H_{0}}{\tau_{2}(u)}\bigg)=-u\sinh(d)\dfrac{H_{0}}{\tau_{2}(u)}+\mu_{3}(d,u) $, where $\mu_{3}(d,u) $ is a convergent series . - 6\. $\mathcal{S}\bigg(\dfrac{u\,H_{0}}{\tau_{2}(u)}\bigg)=-\frac{1}{2}(u^{2}+1)\sinh(d)\dfrac{H_{0}}{\tau_{2}(u)}+\mu_{4}(d,u) $, where $\mu_{4}(d,u) $ is a convergent series . - 7\. $\mathcal{S}\bigg(\dfrac{u\,H_{0}}{\sinh(d)\tau_{2}(u)}- H_{2}\bigg)=-\dfrac{H_{0}}{\tau_{2}(u)}+\mu_{5}(d,u) $, where $\mu_{5}(d,u) $ is a convergent series . <span>**Proof.**</span> (1)- We have $$\begin{aligned} \mathcal{C}_{\frac{1}{4}}(H_{0})=\sum_{\substack{m=0\\ m\ even}}^{\infty}\dfrac{1}{4^{m}m!}d^mD^{m}\bigg(\sum_{\substack{n=10\\ n\ even}}^{\infty}(n-1)\,!\Big(\dfrac{i}{2\pi}\Big)^{n}\tau_{n}(u)\,d^{n}\bigg)\end{aligned}$$ using the definition of the operator $D$ in Proposition \[prop1\], we obtain $$\begin{aligned} \mathcal{C}_{\frac{1}{4}}(H_{0})&=& \sum_{m, n}\dfrac{1}{4^{m}m!}(n+m-1)\,!\Big(\dfrac{i}{2\pi}\Big)^{n}\tau_{n+m}(u)\,d^{n+m}\nonumber\\ &=& \sum_{\substack{k=10\\ k\ even}}^{\infty}\gamma_{k}(k-1)!\Big(\dfrac{i}{2\pi}\Big)^{k} \tau_k d^k {\label{pl}}\end{aligned}$$ where $$\gamma_{k}:= \sum_{\substack{m=0\\ m\ even}}^{k-10}\dfrac{1}{4^{m}m!}\big(\frac{2\pi}{i}\big)^{m}.$$ Hence $$\begin{aligned} \gamma_{k}= \sum_{\substack{m=0\\ m\ even}}^{\infty}\dfrac{1}{4^{m}m!}\big(\frac{2\pi}{i}\big)^{m}-\sum_{\substack{m=k-8\\ m\ even}}^{\infty}\dfrac{1}{4^{m}m!}\big(\frac{2\pi}{i}\big)^{m}.\end{aligned}$$ Using $$\sum_{\substack{m=0\\ m\ even}}^{\infty}\dfrac{1}{4^{m}m!}\big(\frac{2\pi}{i}\big)^{m}=\sum_{l=0}^{\infty}\dfrac{(-1)^l}{(2l)!}\big(\frac{\pi}{2}\big)^{2l}=\cos(\frac{\pi}{2})=0,$$ we find $$\begin{aligned} \gamma_{k}= -\sum_{\substack{m=k-8\\ m\ even}}^{\infty}\dfrac{1}{m!}\big(\frac{\pi}{2i}\big)^{m}\end{aligned}$$ which implies $$\begin{aligned} |\gamma_{k}|&\leq & \dfrac{1}{(k-8)!}\Big(\frac{\pi}{2}\Big)^{k-8}\sum_{\substack{m=0\\ m\ even}}^{\infty}\dfrac{1}{m!}\big(\frac{\pi}{2}\big)^{m}\\ &\leq & \dfrac{\cosh(\pi/2)}{(k-8)!}\Big(\frac{\pi}{2}\Big)^{k-8}\end{aligned}$$ This with (\[pl\]) imply that $\mathcal{C}_{\frac{1}{4}}(H_{0})=\mu(d,u)$ is convergent. For $\mathcal{C}_{\frac{1}{4}}(H_1)$, we can use the same method. (2)- As $ \mathcal{S}=2\mathcal{S}_{\frac{1}{4}}\mathcal{C}_{\frac{1}{4}}$, where $\mathcal{S}_{\frac{1}{4}}=\sinh\Big(\dfrac{dD}{4}\Big)$, we obtain using (1), $$\mathcal{S}(H_0)=2\mathcal{S}_{\frac{1}{4}}\Big(\mathcal{C}_{\frac{1}{4}}(H_{0})\Big)=2\mathcal{S}_{\frac{1}{4}}(\mu)$$ This implies that $\mathcal{S}(H_0)$ is convergent. For $\mathcal{S}(H_1)$, we can use the same method. (3)- We have $\mathcal{C}(H_{0})=(2\mathcal{C}^{2}_{\frac{1}{4}}-Id)H_{0}=-H_0+2\mathcal{C}^{2}_{\frac{1}{4}}(H_0)$. This with (1) imply $$\mathcal{C}(H_{0})=-H_{0}+\mu_{1}(d,u)$$ where $\mu_{1}(d,u)$ is a convergent series. (4)- We differentiate the equation $\mathcal{S}(H_{1})=C_{1}$ with respect to $d$. As $$z\dfrac{d}{dz}\Big(\sinh(z/2)\Big)=\dfrac{z}{2}\cosh(z/2),$$ we obtain $$\begin{aligned} \mathcal{S}(H_{2})+\dfrac{1}{2}\mathcal{C}(dDH_{1})=d\dfrac{\partial C_{1}}{\partial d}\end{aligned}$$ Using (3) of this lemma, we obtain $$\begin{aligned} \mathcal{S}(H_{2})=\dfrac{1}{2}dDH_{1}+\mu_{2}(d,u)=\dfrac{1}{2}H_{0}+\mu_{2}(d,u),\end{aligned}$$ where $\mu_{2}(d,u)$ is a convergent series. (5)- Using (\[re5\]) and (2), (3) of this lemma we obtain $$\begin{aligned} \mathcal{S}(H_{0})=\mathcal{S}\bigg(\tau_{2}(u)\dfrac{H_{0}}{\tau_{2}(u)}\bigg)&=&\mathcal{S}\big(\tau_{2}(u)\big)\mathcal{C}\bigg(\dfrac{H_{0}}{\tau_2}\bigg)+\mathcal{C}(\tau_{2}(u))\mathcal{S}\bigg(\dfrac{H_{0}}{\tau_2}\bigg)\\ &=& \mu_{3}(d,u),\\ \mathcal{C}(H_{0})=\mathcal{C}\bigg(\tau_{2}(u)\dfrac{H_{0}}{\tau_{2}(u)}\bigg)&=&\mathcal{C}\big(\tau_{2}(u)\big)\mathcal{C}\bigg(\dfrac{H_{0}}{\tau_2}\bigg)+\mathcal{S}(\tau_{2}(u))\mathcal{S}\bigg(\dfrac{H_{0}}{\tau_2}\bigg)\\ &=& -H_0.\end{aligned}$$ This implis $$\begin{aligned} \mathcal{S}\bigg(\dfrac{H_{0}}{\tau_2}\bigg)&=&\dfrac{\mathcal{S}\big(\tau_{2}(u)\big)}{\mathcal{C}\big(\tau_{2}(u)\big)^2-\mathcal{S}\big(\tau_{2}(u)\big)^2}H_0+\mu_{4}(d,u)\\ &=&-u\sinh(d)\dfrac{H_{0}}{\tau_{2}(u)}+\mu_{4}(d,u),\end{aligned}$$ where $\mu_{3}(d,u)$, $\mu_{4}(d,u)$ are converging series. (6)- The proof of (6) is similar to that of (5). (7)- Using (4) and (6), we obtain $$\begin{aligned} \mathcal{S}\bigg(\dfrac{u\,H_{0}}{\sinh(d)\tau_{2}(u)}- H_{2}\bigg)&=&\Big(-\frac{1}{2}(u^2+1)-\frac{1}{2}\tau_{2}(u)\Big)\dfrac{H_{0}}{\tau_{2}(u)}+\mu_{5}(d,u)\\ &=&-\dfrac{H_{0}}{\tau_{2}(u)}+\mu_{5}(d,u),\end{aligned}$$ where $\mu_{5}(d,u)$ is a convergent series. This completes the proof of Lemma.\ Using the definition of $H_{0}$ in (\[rethtt\]) and (\[ea\]), we can rewrite $\dfrac{1}{d}\mathcal{S}(G)$ in the form $$\begin{aligned} \frac{1}{d}\mathcal{S}(G)&=&-\alpha \dfrac{H_{0}}{d^{2}\tau_{2}(u)}-(\beta +\frac{1}{2}\alpha)\dfrac{H_{0}}{\tau_{2}(u)}+\dfrac{1}{4}\alpha H_{0}+\overline{X}, {\label{re31}}\end{aligned}$$ where $$\big\|\overline{X}\big\|_{n}= \mathcal{O}\Big((n-3)\,!(2\pi)^{-n}\Big).$$ Using (2) and (5) of the previous Lemma and applying also the inverse of the operator $\mathcal{S}$ in (\[re31\]), we obtain <span>**RE34**</span> $$\begin{aligned} \frac{1}{d}G=\dfrac{1}{d^2}\Big(\alpha+(\beta +\frac{1}{2}\alpha)d^2\Big)\Big[\dfrac{1}{\sinh(d)}\dfrac{u\, H_{0}}{\tau_{2}(u)}-H_{2}\Big]+\dfrac{1}{2}\alpha H_{2}+\delta H_{1}+\overline{X}_{1} {\label{re34}}\end{aligned}$$ where, $\delta$ is a constant and $$\begin{aligned} H_{2}(d,u)&=&d\dfrac{\partial H_{1}}{\partial d}(d,u) =\sum_{\substack{n=9\\ n\ odd}}^{\infty}n\,!\Big(\dfrac{i}{2\pi}\Big)^{n+1}\tau_{n}(u)\,d^{n}\\ \big\|\overline{X}_{1}\big\|_{n}&=& \mathcal{O}\Big((n-2)\,!(2\pi)^{-n}\Big)\\ \delta &=&\dfrac{4}{\pi} \sum_{n=1}^{\infty}\delta_n,\end{aligned}$$ with $\delta_n=O(n^{-2}).$ In the expression of $\frac{1}{d}G$, the term $\delta H_1$ comes from the fact that the series $X$ can be written $$X(d,u)=D_1(d,u)+d^2 D_2(d,u)$$ where $$\begin{aligned} D_1(d,u)&=& \sum_{n=8}^{\infty}\delta_{n} (n-1)!\bigg(\dfrac{i}{2\pi}\bigg)^n \tau_n(u) d^n\\ \big\|D_{2}\big\|_{n}&=& \mathcal{O}\Big((n-1)\,!(2\pi)^{-n}\Big)\end{aligned}$$ if we apply theorem \[th5\] on the series $D_1(d,u)$ and Theorem \[th4a\] on $D_1(d,u)$, the term $\delta H_1$ appears in the expression of $\frac{1}{d}G.$ Since $\dfrac{1}{\text{sinh}(d)}=d^{-1}-\dfrac{d}{6}+\mathcal{O}(d^{3})$, we obtain $$\begin{aligned} G(d,u)&=&\Big(\frac{\alpha}{d^2}+(\beta+\frac{\alpha}{3})\Big)\dfrac{u\, H_{0}(d,u)}{\tau_2(u)}-\big(\beta d+\frac{\alpha}{d}\big)H_{2}(d,u)\nonumber\\ &+&\delta d H_{1}(d,u)+S(d,u) {\label{re36}}\end{aligned}$$ where $ \|S\|_{n}=\mathcal{O}\Big( (n-3)! (2\pi)^{n}\Big)$ $\square$ Observe that in $d^{-2}\dfrac{u\, H_{0}}{\tau_2(u)},\, d^{-1}H_{2}$ the degree of the coefficients of $d^n$ exceeds $n$. This is due to the fact that the expressions $u\frac{\tau_{n+2}}{\tau_2}-\tau_{n+1}$ etc., which are of degree $n-1$, were split. It is not necessary (but would not be difficult) to write down asymptotic approximations for the coefficients of $F$, because equations (\[re13\]) and (\[re9\]) can be used. This completes the proof of the theorem \[thtt\] $\square$ Functions and quasi-solutions ============================= So far, we have shown that equation (\[eq1\]) has a formal solution and we have found an asymptotic approximation of the coefficients of the formal solution. We will use this to construct a quasi-solution, i.e. a function that satisfies equation (\[eq1\]) except for some exponentially small error. To that purpose, we define the functions $$\begin{aligned} H_{n}(u):&=&(n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n}\tau_{n}(u) {\label{re37}}\end{aligned}$$ and $$\begin{aligned} h_{0}(t,u):&=&\sum^{\infty}_{\substack{n=10\\ n\ even}}H_{n}(u)\frac{t^{n-1}}{(n-1)\,!}\\ h_{1}(t,u):&=&\dfrac{i}{2\pi}\sum^{\infty}_{\substack{n=9\\ n\ odd}}H_{n}(u)\frac{t^{n-1}}{(n-1)\,!}\\ h_{2}(t,u):&=&\dfrac{i}{2\pi}\sum^{\infty}_{\substack{n=9\\ n\ odd}}n\,H_{n}(u)\frac{t^{n-1}}{(n-1)\,!} {\label{re38}}\ \ .\end{aligned}$$ This means that $$\begin{aligned} h_{0}(t,u)&=&\frac{i}{2\pi}\sum^{\infty}_{\substack{n=1\\ n\ odd}}\Big(\frac{i}{2\pi}\Big)^{n}\tau_{n+1}(u)\, t^{n}-\Big(H_2\, t+H_4\frac{t^3}{3!} +H_6\, \frac{t^5}{5!}+H_8\, \frac{t^7}{7!}\Big)\nonumber\\ h_{1}(t,u)&=&\big(\frac{i}{2\pi}\big)^{2}\sum^{\infty}_{\substack{n=0\\ n\ even}}\Big(\frac{i}{2\pi}\Big)^{n}\tau_{n+1}(u)t^{n}-\frac{i}{2\pi}\Big(H_1+H_3\frac{t^2}{2!} +H_5\, \frac{t^4}{4!}7H_7\, \frac{t^6}{6!}\Big) {\label{re39}}\end{aligned}$$ Using part 4. of the proposition (\[prop1\]), we obtain $$\begin{aligned} \frac{i}{2\pi}\sum^{\infty}_{\substack{n=1\\ n\ odd}}\Big(\frac{i}{2\pi}\Big)^{n}\tau_{n+1}(u)\, t^{n}=\frac{i}{2\pi}\sum^{\infty}_{\substack{n=1\\ n\ odd}}\frac{1}{n\,!}\Big(\frac{it}{2\pi}\Big)^{n}\frac{d^{n}}{d^{n}\xi}\Big(\tanh(\xi)\Big)\end{aligned}$$ This is obviously the difference of two Taylor expansion and thus we can write $$\begin{aligned} h_{0}(t,u)&=&\frac{i}{4\pi}\Big[\tanh\big(\xi+\frac{it}{2\pi}\big)-\tanh\big(\xi-\frac{it}{2\pi}\big)\Big]\nonumber\\ &-&\Big(H_2\, t+H_4\frac{t^3}{3!} +H_6\, \frac{t^5}{5!}+H_8\, \frac{t^7}{7!}\Big). {\label{re40}}\end{aligned}$$ Similarly, $$\begin{aligned} h_{1}(t,u)&=&-\frac{1}{4\pi^2}\sum^{\infty}_{\substack{n=0\\ n\ even}}\frac{1}{n\,!}\Big(\frac{it}{2\pi}\Big)^{n}\frac{d^{n}}{d^{n}\xi}\Big(\tanh(\xi)\Big)\nonumber\\ &-&\frac{i}{2\pi}\Big(H_1+H_3\frac{t^2}{2!} +H_5\, \frac{t^4}{4!}7H_7\, \frac{t^6}{6!}\Big) $$ or equivalently $$\begin{aligned} h_{1}(t,u)&=&\frac{-1}{8\pi^{2}}\Big[\tanh\big(\xi+\frac{it}{2\pi}\big)+\tanh\big(\xi-\frac{it}{2\pi}\big)\Big]\nonumber\\ &-&\frac{i}{2\pi}\Big(H_1+H_3\frac{t^2}{2!} +H_5\, \frac{t^4}{4!}7H_7\, \frac{t^6}{6!}\Big). {\label{re41}}\end{aligned}$$ The functional equations for the trigonometric and hyperbolic functions imply that $$\begin{aligned} h_{0}(t,u)&=&-\dfrac{1}{2\pi}\frac{(1-u^2)\,\sin\big(\frac{t}{2\pi}\big)\cos\big(\frac{t}{2\pi}\big)}{\cos\big(\frac{t}{2\pi}\big)^{2}+u^{2}\sin\big(\frac{t}{2\pi}\big)^{2}}\nonumber\\ &+&\dfrac{\tau_2}{4\pi^2}t-\dfrac{\tau_4}{16\pi^4}t^3+\dfrac{\tau_6}{64\pi^6}t^5-\dfrac{\tau_8}{256\pi^8}t^7\nonumber\\ h_{1}(t,u)&=&-\dfrac{1}{4\pi^2}\frac{(u-u^3)\sin\big(\frac{t}{2\pi}\big)^{2}}{\cos\big(\frac{t}{2\pi}\big)^{2}+u^{2}\sin\big(\frac{t}{2\pi}\big)^{2}}\nonumber\\ &+&\dfrac{\tau_1}{4\pi^2}-\dfrac{\tau_3}{16\pi^4}t^2+\dfrac{\tau_5}{64\pi^6}t^4-\dfrac{\tau_7}{256\pi^8}t^6 {\label{re43}}\end{aligned}$$ For fixed real $u$ the functions $h_{k}(.,u), k=0, 1, 2 $ are analytic in $|t|<\rho$, where $\rho=\pi^2$. In the subsequent definition, we consider real values of $u$, $0< u\leq 1$, here $h_{k}, k=0, 1, 2$ are also analytic with respect to $t$ on the positive real axis. We define the functions $\mathcal{H}_{k}(d,u), k=0..3$, by $$\begin{aligned} \mathcal{H}_{0}(d,u):&=&\int^{+\infty}_0e^{-\frac{t}{d}}h_{0}(t,u) d\,t \ \mbox{for }0<u\leq 1 \nonumber\\ \mathcal{H}_{1}(d,u):&=& \int^{+\infty}_0e^{-\frac{t}{d}}h_{1}(t,u) d\,t \ \mbox{for }0<u\leq 1 \nonumber\\ \mathcal{H}_{2}(d,u):&=& \int^{+\infty}_0 e^{-\frac{t}{d}}h_{2}(t,u) d\,t \ \mbox{for }0<u\leq 1. {\label{re44}}\end{aligned}$$ We have $\mathcal{H}_{2}(d,u)=d\dfrac{\partial \mathcal{H}_{1} }{\partial d}(d,u)$. Indeed $$\begin{aligned} d\dfrac{\partial \mathcal{H}_{1} }{\partial d}(d,u)&=& \int^{+\infty}_0\Big(\frac{1}{d} e^{-\frac{t}{d}}\Big)t\cdot h_{1}(t,u) d\,t \\ &=&- \int^{+\infty}_0\dfrac{\partial}{\partial t}\Big(e^{-\frac{t}{d}}\Big)\cdot t\, \cdot h_{1}(t,u) d\,t\\ &=&\int^{+\infty}_0 e^{-\frac{t}{d}}\big(h_{1}(t,u)+t\cdot \dfrac{\partial}{\partial t}h_{1}(t,u)\big) d\,t\\ &=& \int^{+\infty}_0 e^{-\frac{t}{d}}h_{2}(t,u) d\,t\end{aligned}$$ The functions $\mathcal{H}_k(d,.)$ are real analytic; they can be continued analytically to the interval $-1<u\leq1$ in the following way. Choose some positive number $M$ and let $\Gamma_1$ the path consisting of the segment from $0$ to $Mi$ and of the ray $t\mapsto t+Mi, t\geq0$. Let $\Gamma_2$ the symmetric path that could also be obtained using $-M$ instead of $M$. Recalling (\[re40\]), we can also define $$\begin{aligned} \mathcal{H}_0(d,u):&=&\frac{i}{4\pi} \left[\int_{\Gamma_2}e^{-\frac{t}{d}} \tanh\big(\xi+\frac{it}{2\pi}\big)\,dt- \int_{\Gamma_1}e^{-\frac{t}{d}}\tanh\big(\xi-\frac{it}{2\pi}\big)\,dt \right]\nonumber\\ &+&\mu_{0}(d,u), {\label{re44a}}\end{aligned}$$ where $$\mu_{0}(d,u):=\dfrac{1}{4\pi^2} \tau_2(u) d^2-\dfrac{3}{8\pi^4}\tau_4(u) d^4+\dfrac{15}{8\pi^6}\tau_6(u) d^6-\dfrac{315}{16\pi^8}\tau_8(u) d^8,$$ for $-\tanh(\frac2\pi M)<u\leq1$, where $\xi=\mbox{artanh}(u)$, because the singularities of $\tanh$ are $i(\frac\pi2+n\pi)$, $n$ integer. As $M$ is arbitrary, this defines the analytic continuation of $\mathcal{H}_0(d,.)$ for $-1<u\leq1$. Similarly, the real analytic continuations of $\mathcal{H}_k, k=1, 2$ are defined. In the sequel, we use the operator $\mathcal{C}, \mathcal{S}$ also for functions. Consider the functions $\mathcal{H}_k(d,u), k=0..2$, defined in (\[re44\]). Then, for $-1<u\leq1$ - 1 For $k=0,1$, $$\begin{aligned} \mathcal{H}_{k}(d,T^{\pm\frac{1}{2}})=-\mathcal{H}_{k}(d,u)+\mu^{\pm}_k(d,u), {\label{rel}}\end{aligned}$$ where $T^{+\frac{1}{2}}, T^{-\frac{1}{2}}$ are defined in (\[re3.3\]) and the functions $\mu^{\pm}_k(d,u), k=0, 1,$ are analytic, beginning with $d^{10}$, resp $d^9$ - 2\. For $k=0,1$, $\mathcal{S}(\mathcal{H}_{k})=\mu_k(d,u) $ , where the functions $\mu_k(d,u), k=0,1,$ are analytic, beginning with $d^{11}$, resp $d^{10}$ . - 3\. For $k=0,1$, $\mathcal{C}(\mathcal{H}_{k})=-\mathcal{H}_{k}(d,u)+\lambda_k(d,u) $ , where the functions $\lambda_k(d,u), k=0,1,$ are analytic, beginning with $d^{10}$, resp $d^{9}$. - 4\. $\mathcal{S}(\mathcal{H}_{2})=\dfrac{1}{2}\mathcal{H}_{0}(d,u)+\mu_{2}(d,u) $, where $\mu_{2}(d,u) $ is a analytic function, beginnings with $d^{10}$ . - 5\. $\mathcal{S}\bigg(\dfrac{u\,\mathcal{H}_{0}}{\tau_{2}(u)}\bigg)=-\frac{1}{2}(u^{2}+1)\sinh(d)\dfrac{\mathcal{H}_{0}}{\tau_{2}(u)}+\mu_{4}(d,u) $, where the function $\mu_{4}(d,u) $ is analytic, beginnings with $d^{11}$ . <span>\[lem6.1\]</span> <span>**Proof.**</span> (1)- For $k=0$ we replace $u$ by $T^{+\frac{1}{2}}$ in (\[re40\]). Using (\[re44a\]) and $\xi(T^{+\frac{1}{2}})=\xi(u)+\frac{1}{2}d$ we obtain for $0<u\leq1$ $$\begin{aligned} \mathcal{H}_{0}(d,T^{+\frac{1}{2}})=\int^{+\infty}_0e^{-\frac{t}{d}}h_{0}(t,T^{+\frac{1}{2}}) d\,t=\dfrac{i}{4\pi}\mathcal{I}^{+}+ \mu(d,T^{+\frac{1}{2}}) {\label{re45}}\end{aligned}$$ where $$\begin{aligned} \mathcal{I}^{+}=\int^{+\infty}_0e^{-\frac{t}{d}}\tanh\big(\xi+\frac{d}{2}+\frac{it}{2\pi}\big)d\,t -\int^{+\infty}_0e^{-\frac{t}{d}}\tanh\big(\xi-\frac{d}{2}+\frac{it}{2\pi}\big)d\,t\end{aligned}$$ If we substitute $t+\pi i\,d $ in the first part, $t-\pi i\,d $ in the second part we obtain $$\begin{aligned} \mathcal{I}^{+}=-\int^{+\infty-\pi id}_{-\pi id}e^{-\frac{t}{d}}\tanh\big(\xi+\frac{it}{2\pi}\big)d\,t +\int^{+\infty+\pi id}_{\pi id}e^{-\frac{t}{d}}\tanh\big(\xi-\frac{it}{\pi}\big)d\,t\ \ .\end{aligned}$$ Now, we apply Cauchy's theorem $$\begin{aligned} \mathcal{I}^{+}&=&-\int^{+\infty}_0e^{-\frac{t}{d}}\Big(\tanh\big(\xi+\frac{it}{2\pi}\big)-\tanh\big(\xi-\frac{it}{2\pi}\big)\Big)d\,t\\ &+&\int^{-\pi id}_0e^{-\frac{t}{d}}\tanh\big(\xi+\frac{it}{2\pi}\big)d\,t -\int^{\pi id}_0e^{-\frac{t}{d}}\tanh\big(\xi-\frac{it}{2\pi}\big)d\,t\ \ .\end{aligned}$$ Substituting $t=-i\,ds $ in the second part, $t= i\,ds $ in the third part, we obtain $$\begin{aligned} \mathcal{I}^{+}&=&\int^{+\infty}_0e^{-\frac{t}{d}}\Big(\tanh\big(\xi+\frac{it}{2\pi}\big)-\tanh\big(\xi-\frac{it}{2\pi}\big)\Big)d\,t\\ &-&2i\,d\int^{\pi}_0\cos(s) \tanh\big(\xi+d \frac{s}{2\pi}\big)ds.\end{aligned}$$ With (\[re45\]) this implies for $0<u\leq1$ $$\begin{aligned} \mathcal{H}_{0}(d,T^{+})= -\mathcal{H}_{0}(d,u)+\mu_{0}^{+}(d,u)\end{aligned}$$ where $$\begin{aligned} \mu_{0}^{+}(d,u)=\dfrac{d}{2\pi}\int^{\pi}_0\cos(s) \tanh\big(\xi+d\frac{s}{2\pi}\big)ds+ \mu(d,T^{+\frac{1}{2}}). {\label{re46}}\end{aligned}$$ By real analytic continuation, this formula is valid for $-1<u\leq1$. We use the same method for $\mathcal{H}_{0}(d,T^{-\frac{1}{2}}), \mathcal{H}_{1}(d,T^{\pm\frac{1}{2}})$ and obtain for $-1<u\leq1$ $$\begin{aligned} \mathcal{H}_{0}(d,T^{-\frac{1}{2}})&=& -\mathcal{H}_{0}(d,u)+\mu^{-}_{0}(d,u)\nonumber\\ \mathcal{H}_{1}(d,T^{+\frac{1}{2}})&=& -\mathcal{H}_{1}(d,u)+\mu_{1}^{+}(d,u)\nonumber\\ \mathcal{H}_{1}(d,T^{-\frac{1}{2}})&=& -\mathcal{H}_{1}(d,u)+\mu_{1}^{-}(d,u) {\label{re47}}\end{aligned}$$ where $$\begin{aligned} \mu^{-}_{0}(d,u)&=&\dfrac{d}{2\pi}\int^{\pi}_0\cos(s) \tanh\big(\xi-\frac{d\,s}{2\pi}\big)d\,s+ \mu_{0}(d,T^{-\frac{1}{2}}) \\ \mu^{+}_{1}(d,u)&=&-\dfrac{d}{4\pi^2}\int^{\pi}_0\sin(s) \tanh\big(\xi+\frac{d\,s}{2\pi}\big)d\,s + \mu_{1}(d,T^{+\frac{1}{2}})\\ \mu^{-}_{1}(d,u)&=&-\dfrac{d}{4\pi^2}\int^{\pi}_0\sin(s) \tanh\big(\xi-\frac{d\,s}{2\pi}\big)d\,s + \mu_{1}(d,T^{-\frac{1}{2}})\\ \mu_{1}(d,u)&=&\frac{1}{4\pi^2}\tau_1(u) d -\frac{1}{8\pi^4}\tau_3(u) d^3+\frac{3}{8\pi^6}\tau_5(u) d^5-\frac{45}{16\pi^8}\tau_7(u) d^7\end{aligned}$$ (2)- Using the definition of the operator $\mathcal{S}$ in (\[re3.3\]) and (1) of this Lemma, the result is immediate. (3)- The proof of (3) is similar to that of (2). (4)- For $k=1$, we differentiate (\[rel\]) with respect to $d$. Because $$\dfrac{\partial T^{\pm\frac{1}{2}}}{\partial d}=\pm\frac{1}{2}\Big(1-(T^{\pm\frac{1}{2}})^2\Big),$$ then $$\begin{aligned} \mathcal{H}_2(d,u)\pm\frac{d}{2}\Big(1-(T^{\pm\frac{1}{2}})^2\Big)\dfrac{\partial \mathcal{H}_{1}}{\partial u}(d,T^{\pm\frac{1}{2}})= -\mathcal{H}_{2}(d,u)+d\mu'^{\pm}_{1}(d,u)\end{aligned}$$ implies $$\begin{aligned} \mathcal{S}\big(\mathcal{H}_2\big)&=&-\frac{d}{2}\mathcal{C}\Big((1-u^2)\dfrac{\partial \mathcal{H}_{1}}{\partial u}\Big)+d\big(\mu'^{+}_{1}(d,u)-\mu'^{-}_{1}(d,u)\big)\\ &=& \frac{d}{2}(1-u^2)\dfrac{\partial \mathcal{H}_{1}}{\partial u}+\mu_{2}(d,u)\\ &=& \frac{1}{2} \mathcal{H}_{0}(d,u)+\mu_{2}(d,u)\end{aligned}$$ where $\mu_{2}(d,u)$ is analytic function beginings with $d^{10}$. (5)- Using (\[re5\]) and (2), (3) of previous lemma , we obtain $$\begin{aligned} \mathcal{S}\Big(\dfrac{u}{\tau_2}\mathcal{H}_0\Big)&=&\mathcal{S}\Big(\dfrac{u}{\tau_2}\Big)\mathcal{C}\big(\mathcal{H}_0\big)+\mathcal{C}\Big(\dfrac{u}{\tau_2}\Big)\mathcal{S}\big(\mathcal{H}_0\big)\\ &=& -\frac{1}{2}(u^{2}+1)\sinh(d)\dfrac{\mathcal{H}_{0}}{\tau_{2}(u)}+\mu_{4}(d,u) ,\end{aligned}$$ where the function $\mu_{4}(d,u) $ is analytic, beginnings with $d^{11}$. This completes proof of the Lemma. In the sequel we consider $u_0\in]-1,0]$. We have 1. Uniformly for $u_0\leq u\leq1$, $$\begin{aligned} \mathcal{H}_{0}(d,u) &\sim & \sum^{\infty}_{\substack{n=2\\ n\ even}}(n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n}\tau_{n}(u)d^{n}\ \textrm{as} \ d\searrow 0 \nonumber\\ \mathcal{H}_{1}(d,u)&\sim&\sum^{\infty}_{\substack{n=3\\ n\ odd}}(n-1)\,!\Big(\frac{i}{2\pi}\Big)^{n+1}\,\tau_{n}(u)d^{n}\ \textrm{as} \ d\searrow 0\nonumber\\ \mathcal{H}_{2}(d,u)&\sim&\sum^{\infty}_{\substack{n=3\\ n\ odd}}n\,!\Big(\frac{i}{2\pi}\Big)^{n+1}\,\tau_{n}(u)d^{n}\ \textrm{as} \ d\searrow 0 {\label{re48}}\end{aligned}$$ 2. For $i=1..3$, $\big|\frac{\partial\mathcal{H}_{i}}{\partial u}(d,u)\big|\leq Kd$for $u_0< u\leq 1\ $ $(d>0)$ <span>\[propo2\]</span> **Proof.** The proof of this proposition is similar to that of @S. With the aim of applying the results of @SV, we consider $S_{n-2}(u)=R_n(u)$, where $S_n(u)$ is the remainder term in (\[re36\]). Then $R_{n}(u), n$ is a sequence of polynomials of degree at most $n$ and $$\begin{aligned} \|R_{n}\|_{n}=O\Big((n-5)\,!(2\pi)^{-1}\log(n)\Big)\end{aligned}$$ @SV If we define $$\begin{aligned} r(t,u):&=&\sum_{n=10}^{\infty}R_{n}(u)\frac{t^{n-1}}{(n-1)\,!} \ \quad (t\in \mathbb{C}, |t|\leq\pi^{2}, u_0\leq u\leq 1 )\\ r(t,u):&=&r\big(\pi^{2},u\big)+\big(t-\pi^{2}\big)\frac{\partial r}{\partial t}\big(\pi^{2},u\big) \quad ( t>\pi^{2}, u_0\leq u\leq 1 )\\ \mathcal{R}(d,u):&=&\int_0^{\infty}e^{-\frac{t}{d}}\,r(t,u)dt \end{aligned}$$ then 1. $r$ is continuously differentiable function on the set $B$ of all $(t,u)$ such that $u$ satisfies $u_0\leq u\leq 1$ and $t$ is a complex number and satisfies $|t|\leq\pi^{2}$ or $ t>\pi^{2}$. The restriction of $r$ to $u_0\leq u\leq 1,|t|\leq\pi^{2}$ is twice continuously differentiable. for fixed $u_0\leq u\leq 1$ the function $r(t,u)$ is analytic in $|t|<\pi^{2}$ 2. $\mathcal{R}(d,u)$ is continuous, partially differentiable with respect to $u$, has continuous partial derivative and $$\begin{aligned} \mathcal{R}(d,u)\sim\sum^{\infty}_{n=10}R_{n}(u)d^{n}\ \textrm{as} \ d\searrow 0\end{aligned}$$ 3. $\big|\mathcal{R}(d,u)\big|\leq Kd^{3},\ \big|\frac{\partial\mathcal{R}}{\partial u}(d,u)\big|\leq Kd^{3}$for $u_0\leq u\leq 1\ $ $(d>0)$ <span>\[lem1\]</span> The importance of our definition of $\mathcal{R}$ lies in a certain compatibility with insertion of the functions $T^{+}, T^{-}$ for $u$. First let $$\begin{aligned} \sum^{\infty}_{n=10}R^{+}_{n}(u)d^{n}&=&\sum^{\infty}_{n=11}R_{n}(T^{+})d^{n}\\ \sum^{\infty}_{n=10}R^{-}_{n}(u)d^{n}&=&\sum^{\infty}_{n=11}R_{n}(T^{-})d^{n}\end{aligned}$$ We obtain a new sequences $R_{n}^{+}(u), R_{n}^{-}(u)$ of polynomials of degree at most $n$. This follows from the relation $$p\big(T^+(d,u)\big)=\sum_{k=0}^{\infty}\frac{1}{k !}D^k p(u) d^k\ \ .$$ Theorem \[th3\] implies $$\begin{aligned} \big\|R_{n}^{+}(u)\big\|_{n} &=&O\Big((n-5)\,!(2\pi)^{-n}\log(n)\Big)\\ \big\|R_{n}^{-}(u)\big\|_{n} &=&O\Big((n-5)\,!(2\pi)^{-n}\log(n)\Big)\end{aligned}$$ Therefore we can use the previous lemma for $R_{n}^{+}(u),\ R_{n}^{-}(u)$ and obtain functions $\mathcal{R}^{+}(d,u),\ \mathcal{R}^{-}(d,u)$. There is a positive constant $K$ independent of $ d,u$ such that $$\begin{aligned} \big|\mathcal{R}^{+}(d,u)-\mathcal{R}(d,T^{+})\big| &\leq & Kd^{3}e^{-\frac{\pi^{2}}{d}},\quad \text{for}\, (d>0, u_0<u\leq 1),\\ \big|\mathcal{R}^{-}(d,u)-\mathcal{R}(d,T^{-})\big|&\leq& Kd^{3}e^{-\frac{\pi^{2}}{d}}\quad \text{for}\, (d>0, u_0<u\leq 1).\end{aligned}$$ <span>\[th9\]</span> <span>**Proof.**</span> The proof is exactly the one of @SV . Let $\mathcal{D}(d,u)$ be a function defined for $0<d<d_0$ and $u_0<u<1$. We say that $\mathcal{D}(d,u)$ has property if $$\begin{aligned} \mathcal{D}(d,u)=\int_0^{\infty}e^{-\frac{t}{d}}\,q(t,u)dt \quad (0<d<d_0,\ u_0<u<1 )\end{aligned}$$ is the Laplace transform of some function $q(t,u)$ that has the following properties 1. $q(t,u)$ is defined if $u_0<u<1$ and either $t$ is complex and $|t|<\pi^{2}$ or $t$ is real and $t\geq 0$, 2. $q(t,u)$ is analytic in $|t|<\pi^{2}$ for $ u_0<u<1$, 3. $q(t,u)$ restricted to $0\leq t<\pi^{2}$ or $t\geq\pi^{2}$ is continuous and the $\lim_{t\to\pi^{2} } q(t,u)$ exists for every $ u_0<u<1$, 4. there is a positve constant $K$ such that $$\begin{aligned} |q(d,u)|\leq K e^{Kt} \quad \text{for} \quad t\geq 0, (0<d<d_0,\ u_0<u<1 )\end{aligned}$$ For $u_0<u\leq 1$, we have 1. If $\mathcal{H}_{i}(d,u), i=0,1,2$ are the functions of (\[re44\]) then $$d^{2}\mathcal{H}_{k}(d,u)=(1-u^2)\tilde{\mathcal{H}}_{k}(d,u)+\mathcal{O}\Big((1-u^2)e^{-\frac{\pi^2}{d}}\Big), \ \ k=0,1$$ and $$d^{3}\mathcal{H}_{2}(d,u)=(1-u^2)\tilde{\mathcal{H}}_{2}(d,u)+\mathcal{O}\Big((1-u^2)e^{-\frac{\pi^2}{d}}\Big),$$ where $\tilde{\mathcal{H}}_{i}(d,u),i=1,2,3$ have property . 2. Let $k$ be a psitive integer. If $\mathcal{D}_{1}, \mathcal{D}_{2}$ have property and their first terms in the Taylor development at $d = 0$, begin with $d^k$ then $$\mathcal{D}_{1}(d,u)\mathcal{D}_{2}(d,u)=d^k\mathcal{D}(d,u)+\mathcal{O}\Big(d^ke^{-\frac{\pi^2}{d}}\Big),$$ where $\mathcal{D}(d,u)$ has property 3. Any function $\mathcal{D}(d,u)$ analytic in a neighborhood of $d=0$ has property if $\mathcal{D}(0,u)=0$ for all $u$, 4. If $\mathcal{R}(d,u)$ is defined by lemma \[lem1\] then $\dfrac{1}{d^{2}}\mathcal{R}(d,u)$ has property 5. If $\mathcal{D}_{1}, \mathcal{D}_{2} $ have property then so do $\mathcal{D}_{1}+\mathcal{D}_{2}, \ \mathcal{D}_{1}-\mathcal{D}_{2}$ and $\mathcal{D}_{1}\cdot\mathcal{D}_{2} $ 6. If $\mathcal{D}(d,u)$ has property then $$\begin{aligned} \big|\mathcal{D}(d,u)\big|\leq Kd \quad \big(0<d<\frac{1}{K})\end{aligned}$$ with some constant $K>0$ independent of $u$. <span>\[lem11\]</span> <span>**Proof**</span> 1. For $i=0$, (i)-If $u>0$, we have $$\begin{aligned} d^2 \mathcal{H}_{0}=(1-u^2) \int_{0}^{\infty} e^{-\frac{t}{d}}g_2(t,u) dt {\label{fp}}\end{aligned}$$ where $$g_2(t,u)=\dfrac{1}{(1-u^2)}\int_{0}^{t}\int_{0}^{\tau}h_0(s,u) ds\, d\tau$$ $g_2(t,u)$ has a logarithmic singularity at $t_k(s)=(2k+1)\pi^2\pm d\dfrac{2\pi\, s }{\varepsilon}i$ for $(k\geq 0, s>0)$. it is analytic in $|t|<\pi^2$ and $\lim_{t\to\pi^2}g_2(t,u)$ exists. If we put $$\tilde{\mathcal{H}}_{0}(d,u)=\int_{0}^{\infty} e^{-\frac{t}{d}}\tilde{g}_2(t,u) d\,t$$ where $$\tilde{g}_2(t,u)= \begin{cases} g_2(t,u), &\text{if $t\leq \pi^2$}\\ g_2(\pi^2,u), &\text{if $t\geq \pi^2$} \end{cases}$$ then $\tilde{\mathcal{H}}_{0}(d,u)$ has property and $$d^2\mathcal{H}_{0}(d,u)=(1-u^2)\tilde{\mathcal{H}}_{0}(d,u)+\mathcal{O}\Big((1-u^2)e^{-\frac{\pi^2}{d}}\Big).$$ (ii)- For $-u_0 <u<1$, where $0<u_0 <1$,, we have $$\begin{aligned} \mathcal{H}_{0}(d,u)&=& \int_{0}^{\infty e^{i\varphi}} e^{-\frac{t}{d}}h_0(t,u) d\,t+2\pi i\sum_{k\geq 0}Res\Big(e^{-\frac{t}{d}}h_0(t,u),t_k(s)\Big)\\ &=&\int_{0}^{\infty e^{i\varphi}} e^{-\frac{t}{d}}h_0(t,u) d\,t+\mathcal{O}\Big((1-u^2)e^{-\frac{\pi^2}{d}}\Big)\end{aligned}$$ where $\dfrac{\pi}{2}<\varphi<\dfrac{\pi}{4}$. For $0<u<u_0$, this formula coincides with the formula $$\int_{0}^{\infty} e^{-\frac{t}{d}}h_0(t,u) d\,t$$ and extends it by real analytic continuation for $-u_0<u<0.$ This implis $$\begin{aligned} d^2\mathcal{H}_{0}(d,u)&=&(1-u^2)\int_{0}^{\infty e^{i\varphi}} e^{-\frac{t}{d}}g_2(t,u) d\,t+\mathcal{O}\Big((1-u^2)d^2e^{-\frac{\pi^2}{d}}\Big)\end{aligned}$$ we obtain $$\begin{aligned} d^2\mathcal{H}_{0}(d,u)&-&(1-u^2)\tilde{\mathcal{H}}_{0}(d,u)=(1-u^2)\int_{\Gamma} e^{-\frac{t}{d}}g_2(t,u) d\,\Gamma\\ &+&\mathcal{O}\Big((1-u^2)e^{-\frac{\pi^2}{d}}\Big),\end{aligned}$$ where $\Gamma$ is the path following the real line from infinity to $(\pi^2,0)$, then along the vertical line from $(\pi^2,0)$ to $\Big(\pi^2,\pi^2\tan(\varphi)\Big)$ and finally along the line $y=\tan(\varphi) x$ from $\Big(\pi^2,\pi^2\tan(\varphi)\Big)$ to infinity. Since $g_2(.,u)$ is bounded on $\Gamma$, then $$\Big|d^2\mathcal{H}_{0}(d,u)-(1-u^2)\tilde{\mathcal{H}}_{0}(d,u)\Big|\leq K (1-u^2)e^{-\frac{\pi^2}{d}},$$ where $K$ is positive constant. Finally $$d^2\mathcal{H}_{0}(d,u)=(1-u^2)\tilde{\mathcal{H}}_{0}(d,u)+\mathcal{O}\Big((1-u^2)e^{-\frac{\pi^2}{d}}\Big) \ \ \ \text{for} \ \ \ (0<u_0<u\leq1)$$ For $i=1$ we can use the same method. For $i=2$, we use the same method with $$\begin{aligned} d^3 \mathcal{H}_{2}=(1-u^2) \int_{0}^{\infty} e^{-\frac{t}{d}}g_2(t,u) d\,t\end{aligned}$$ where $$g_2(t,u)=\dfrac{1}{(1-u^2)}\int_{0}^{t}\int_{0}^{\sigma}\int_{0}^{\tau}h_2(s,u) ds\, d\sigma\,d\tau.$$ 2. We assume that $\mathcal{D}_{1}(d,u), \mathcal{D}_{2}(d,u)$ have property and their first terms in the Taylor development at $d=0$ begin with $d^k$. Then $$\begin{aligned} \mathcal{D}_{1}= \int_{0}^{\infty} e^{-\frac{t}{d}}f(t,u) d\,t\\ \mathcal{D}_{2}= \int_{0}^{\infty} e^{-\frac{t}{d}}g(t,u) d\,t\end{aligned}$$ where $f(t,u), g(t,u)$ are analytic in $|t|<\pi^2$ and $f(t,u)=O(t^{k-1}), g(t,u)=O(t^{k-1})$. $$\begin{aligned} \mathcal{D}_{1}(d,u)\mathcal{D}_{2}(d,u)= \int_{0}^{\infty} e^{-\frac{t}{d}}(f*g)(t,u) d\,t\end{aligned}$$ Since $$\begin{aligned} h(t,u)&= &(f*g)(t,u) =\int_{0}^{s}f(t,u)g(t-s,u)ds \\ &=&\int_{0}^{t}f(t-s,u)g(s,u)ds\\ &=& \int_{t/2}^{t}f(s,u)g(t-s,u)ds +\int_{t/2}^{t}f(t-s,u)g(s,u)ds.\end{aligned}$$ For $t<\pi^2$, the function $h(t,u)$ is $k$ times differentiable with respect to $t$ and $$\begin{aligned} h'(t,u)&= & f(t,u)g(0,u)+f(0,u)g(t,u)-f(\frac{t}{2},u)g(\frac{t}{2},u)\\ &+& \int_{t/2}^{t}f(s,u)g'(t-s,u)ds +\int_{t/2}^{t}f'(t-s,u)g(s,u)ds\\ &=&\int_{t/2}^{t}f(s)g'(t-s)ds +\int_{t/2}^{t}f'(t-s,u)g(s,u)ds\\ &-&f(\frac{t}{2},u)g(\frac{t}{2},u)\\ h^{(k)}(t,u)&= &\int_{t/2}^{t}f(s)g^{(k-1)}(t-s)ds +\int_{t/2}^{t}f^{(k-1)}(t-s,u)g(s,u)ds\\ &- &\sum_{n=0}^{^k-1}f^{(n)}(\frac{t}{2},u)g^{(k-1-n)}(\frac{t}{2},u)\end{aligned}$$ Observe that $ h^{(k)}(t,u)$ is contninuous on $[0,2\pi^2[$, it is analytic for $|t|<\pi^2$. If we put $$\tilde{h}(t,u)= \begin{cases} h(t,u), &\text{if $t< \pi^2$}\\ (t-\pi^2)^k. &\text{if $t\geq \pi^2$} \end{cases}$$ then $$\int_{0}^{\infty} e^{-\frac{t}{d}}\tilde{h}^{(k)}(t,u) d\,t,$$ has property and $$\begin{aligned} (\mathcal{D}_{1}\cdot\mathcal{D}_{2})(d,u)&=& \int_{0}^{\infty} e^{-\frac{t}{d}}h(t,u) d\,t=\int_{0}^{\infty} e^{-\frac{t}{d}}\tilde{h}(t,u) d\,t+\mathcal{O}\Big(d^ke^{-\frac{\pi^2}{d}}\Big) \\ &=&d^k\int_{0}^{\infty} e^{-\frac{t}{d}}\tilde{h}^{(k)}(t,u) d\,t+\mathcal{O}\Big(d^ke^{-\frac{\pi^2}{d}}\Big)\\ &=&d^k\mathcal{D}(d,u)+\mathcal{O}\Big(d^ke^{-\frac{\pi^2}{d}}\Big)\end{aligned}$$ where $\mathcal{D}(d,u)$ has property . For $0\leq u\leq 1,$ the proof of (3), (4), (5) and (6) is exactly the one of @SV. This proof is valid for $u_0<u\leq 1.$ Now we have a formal solution of the equation (\[eq1\]) and an asymptotic estimate for its coefficients. With the results on the functions in the beginning of this section we have enough information to be able to give a precise function which satisfies the equation (\[eq1\]) with an exponentially small error as $d\to 0$. In Theorem \[the1\] we found that (\[eq1\]) has a uniquely determined formal power series solution $$\begin{aligned} A(d,u)&=&U(d,u)+Q(d,u)G(d,u) {\label{re49}}\end{aligned}$$ where $U, Q$ are defined in (\[re8\]), (\[re10\]) and $G$ is given by (\[re36\]). This suggest that we put $$\begin{aligned} \mathcal{G}(d,u)&=&\Big(\frac{\alpha}{d^2}+(\beta+\frac{\alpha}{3})\Big)\dfrac{u\, \mathcal{H}_{0}(d,u)}{\tau_2(u)}-\big(\beta d+\frac{\alpha}{d}\big)\mathcal{H}_{2}(d,u)\nonumber\\ &+&\delta d \mathcal{H}_{1}(d,u)+d^{^-2}\mathcal{R}(d,u)\nonumber\\ \mathcal{A}(d,u) &=& U(d,u)+ Q(d,u)\mathcal{G}(d,u) {\label{re52}}\end{aligned}$$ for $d>0, u_0<u\leq1$, where $\mathcal{H}_{i}(d,u), i=0..2$ are defined in (\[re44\]) and $\mathcal{{R}}(d,u)$ is the function corresponding to $R_{n},\ n=8.10..$ according to lemma \[lem1\]. Using (1) of proposition \[propo2\] and (2) of lemma \[lem1\], we obtain $$\mathcal{G}(d,u)\sim G(d,u)\quad \textrm {as} \ d\searrow 0\ \textrm {for every}\, u_0<u\leq1. {\label{re53}}$$ Consequently $$\begin{aligned} \mathcal{A}(d,u)&\sim &A(d,u)\quad \textrm {as} \ d\searrow 0\ \textrm {for every}\, u_0<u\leq 1. {\label{re54}}\end{aligned}$$ The function $\mathcal{G}(d,u)$ satisfies (\[re16\]) except for an exponentially small error. More precisely $$\Bigg|V_{1}\cdot\mathcal{S}\Big(Q_{1}\mathcal{S}(\mathcal{G})\Big)-W_{2}\cdot\mathcal{S}^2(\mathcal{G})-W_{3}\mathcal{S}\mathcal{C}(\mathcal{G})-Q_{1}W_{1}\mathcal{G}-Q_{1}f_{2}\Big(d,u,\mathcal{G}\Big)\Bigg|\leq Kd^3(1-u^2) e^{-\frac{\pi^{2}}{d}},$$ uniformly for $ ( u_0<u<1, 0<d<d_0,)$, where $K$ is a constant independent of $d$ and $u$. <span>\[the10\]</span> In the proof of this Theorem the functions $\mathcal{D}_i(d,u), i=1.2..$ have property . **Proof.** We set $$\mathcal{F}(d,u)=V_{1}\cdot\mathcal{S}\Big(Q_{1}\mathcal{S}(\mathcal{G})\Big)-W_{2}\cdot\mathcal{S}^2(\mathcal{G})-W_{3}\mathcal{S}\mathcal{C}(\mathcal{G})-Q_{1}W_{1}\mathcal{G}-Q_{1}f_{2}\Big(d,u,\mathcal{G}\Big) . {\label{re55}}$$ Using (2), (4), (5) of Lemma \[lem6.1\], and (\[re52\]), we obtain $$\begin{aligned} \mathcal{S}(\mathcal{G})=-\Big(\alpha_{1}\sinh(d)\dfrac{1}{\tau_2}- (\frac{\alpha_1}{2}\sinh(d)-\frac{\beta_1}{2})\Big) \mathcal{H}_{0}+(1-u^2)d^8\mathcal{D}_1(d,u)+d^{-2}\mathcal{S}(\mathcal{R}) {\label{re56}}\end{aligned}$$ where $\mathcal{D}_1(d,u)$ has property and $$\begin{aligned} \alpha_1 :&=&\frac{\alpha}{d^2}+(\beta+\frac{\alpha}{3})\\ \beta_1 : &=&\frac{\alpha}{d}+ \beta d\end{aligned}$$ This with lemma \[lem6.1\] imply $$\begin{aligned} V_1\mathcal{S}\Big(Q_{1}\mathcal{S}(\mathcal{G})\Big)&=& d^5\mathcal{D}_2(d,u)\mathcal{H}_{0}+(1-u^2)d^{11}\mathcal{D}_3(d,u) +d^{-2}V_1\mathcal{S}(Q_1)\mathcal{C}\mathcal{S}(\mathcal{R})\\ &+&d^{-2}V_1\mathcal{C}(Q_1)\mathcal{S}^{2}(\mathcal{R}),\end{aligned}$$ where $ \mathcal{D}_2(d,u), \mathcal{D}_3(d,u) $ have property . Because $$\begin{aligned} \mathcal{C}(Q_{1})&=&(1-u^2)d^2\big(1+\mathcal{O}(d^2)\big),\\ \mathcal{S}(Q_{1})&=&(1-u^2)d^3\big(u+\mathcal{O}(d^2)\big),\\ V_1 &=& 1+\mathcal{O}(d^2)\end{aligned}$$ it is sufficient to apply Theorem \[th9\], (4) of Lemma \[lem11\] for $\mathcal{R}$ and (1) of Lemma \[lem11\] for $\mathcal{H}_{0}$ we obtain $$\begin{aligned} V_1\mathcal{S}\Big(Q_{1}\mathcal{S}(\mathcal{G})\Big)&=& d^5\mathcal{D}_2(d,u)\mathcal{H}_{0}+(1-u^2)d^{2}\mathcal{D}_4(d,u)+\mathcal{O}\Big((1-u^2)d^3 e^{-\frac{\pi^2}{d}}\Big)\end{aligned}$$ where $ \mathcal{D}_4(d,u) $ has property . With (1) of lemma \[lem11\] this implies $$\begin{aligned} V_1\mathcal{S}\Big(Q_{1}\mathcal{S}(\mathcal{G})\Big)&=& (1-u^2)d^{2}\mathcal{D}_5(d,u)+\mathcal{O}\Big((1-u^2)d^3 e^{-\frac{\pi^2}{d}}\Big) {\label{re57}}\end{aligned}$$ Using the same method for the terms $W_{2}\cdot\mathcal{S}^2(\mathcal{G})$, $W_{3}\mathcal{S}\mathcal{C}(\mathcal{G})$ and $Q_{1}W_{1}\mathcal{G}$, we obtain $$\begin{aligned} W_{2}\cdot\mathcal{S}^2(\mathcal{G})&=&(1-u^2)d^{10}\mathcal{D}_6(d,u)+\mathcal{O}\Big((1-u^2)d^{10} e^{-\frac{\pi^2}{d}}\Big),\nonumber\\ W_{3}\mathcal{S}\mathcal{C}(\mathcal{G})&=&(1-u^2)d^{9}\mathcal{D}_7(d,u)+\mathcal{O}\Big((1-u^2)d^{10} e^{-\frac{\pi^2}{d}}\Big),\nonumber\\ Q_{1}W_{1}\mathcal{G}&=&(1-u^2)d^{8}\mathcal{D}_8(d,u)+\mathcal{O}\Big((1-u^2)d^{10} e^{-\frac{\pi^2}{d}}\Big). {\label{re57.a}}\end{aligned}$$ To study the term $Q_{1}f_{2}\Big(d,u,\mathcal{G}\Big) $, we first treat $\mathcal{G}^2$ and $\mathcal{G}^3$ . $$\begin{aligned} \mathcal{G}^2(d,u)&=&\alpha_1^2\dfrac{u^2}{\tau_2^2}\mathcal{H}_0^2+\beta_1^2\mathcal{H}_2^2+\delta^2 d^2\mathcal{H}_1^2+d^{-4}\mathcal{R}^2-2\alpha_1 \beta_1\dfrac{u}{\tau_2}\mathcal{H}_0 \mathcal{H}_2 +2\alpha_1 \delta\dfrac{u}{\tau_2}\mathcal{H}_0 \mathcal{H}_1 \nonumber\\ &+& 2d^{-2}\alpha_1 \dfrac{u}{\tau_2}\mathcal{H}_0 \mathcal{R}-2\beta_1 \delta d\mathcal{H}_1 \mathcal{H}_2-2d^{-2} \beta_1\mathcal{R} \mathcal{H}_2+2d^{-1}\delta \mathcal{R} \mathcal{H}_1\end{aligned}$$ Using (1), (2) and (4) of the lemme \[lem11\] we obtain $$\begin{aligned} \mathcal{G}(d,u)^2=d^{2}\mathcal{D}_9(d,u)+\mathcal{O}\Big(d^2 e^{-\frac{\pi^2}{d}}\Big) {\label{re58}}\end{aligned}$$ With (2) of lemma \[lem11\] this implies $$\begin{aligned} \mathcal{G}(d,u)^3=\mathcal{G}(d,u)\mathcal{G}(d,u)^{2}=d^{8}\mathcal{D}_{10}(d,u)+\mathcal{O}\Big(d^{8} e^{-\frac{\pi^2}{d}}\Big). {\label{re58.a}}\end{aligned}$$ We can rewrite $$\begin{aligned} f_{2}\big(d,u,\mathcal{G}\big)=y_0(d,u)+y_1(d,u)\mathcal{G}^2 f_{1,1}\big(d,u,\mathcal{G}^2)+y_2(d,u)d^2\mathcal{G}^3 f_{1,2}\big(d,u,\mathcal{G}^2\big) {\label{58.b}}\end{aligned}$$ where $f_{1,1}, f_{1,2}$ and $ y_i,i=0, 1, 2$ are analytic . For $i=1,2$, $$\begin{aligned} f_{1,i}(d,u,\mathcal{G}^2)=\int_{0}^{\infty}e^{-\frac{t}{d}}f_i(t,u)d\,t+\mathcal{O}\Big(d^2 e^{-\frac{\pi^2}{d}}\Big)\quad \text{for} (d>0, u_0<u \leq 1)\end{aligned}$$ where $f_i(.,u)$ is analytic in $|t|<\pi^2$ and continuous in $[0, \pi^2[ $ and $[\pi^2, \infty[ $ <span>**Proof.**</span> Using (\[re58\]), we can rewrite $$\mathcal{G}^2(d,u)=\int_{0}^{\infty}e^{-\frac{t}{d}}g(t,u)d\,t+\mathcal{O}\Big(d^2 e^{-\frac{\pi^2}{d}}\Big)$$ where $g(.,u)$ is analytic in $|t|<\pi^2$, it is continuous in $[0, \pi^2[ $ and $[\pi^2, \infty[ $, twice differentiable in $|t|<\pi^2$. We obtain $$f_{1,i}(d,u,\mathcal{G}^2)=\sum_{n=1}^{\infty}f_{n,i}(d,u)\mathcal{G}^{2n}$$ where $$f_{n,i}(d,u)=\int_{0}^{\infty}e^{-\frac{t}{d}}\varphi_{n,i}(t,u)d\,t$$ and $\varphi_{n,i}(t,u)$ are entire functions. Using the proof of theorem 5.1 from @CRSS, we find $$\begin{aligned} f_{1,i}(d,u,\mathcal{G}^2)=\int_{0}^{\infty}e^{-\frac{t}{d}}f_i(t,u)d\,t+\mathcal{O}\Big(d^2 e^{-\frac{\pi^2}{d}}\Big)\end{aligned}$$ where the series $$\sum_{n=1}^{^\infty}(\varphi_{n,i}*g^{*n})(t,u)\Big),\ \ \ g^{*n}=g*...*g, n \text{ times}$$ is uniformly convergent to a function $f_i(t,u)$ analytic in $|t|<\pi^2$ and continuous in $[0, \pi^2[ $ and $[\pi^2, \infty[ $, satisfies also $$|f_i(t,u)|\leq K \exp(Kt)\ \ \ \text{for} \ \ t\geq 0, u_0<u\leq 1.$$ Then $$f_{1,i}(d,u,\mathcal{G}^2)=\mathcal{Y}_i(d,u)+\mathcal{O}\Big(d^2 e^{-\frac{\pi^2}{d}}\Big)\quad \text{for} (d>0, u_0<u \leq 1),$$ where $\mathcal{Y}_i(d,u), i=1,2$ have property . This lemma with (\[58.b\]) and (2) of lemma \[lem11\] imply $$\begin{aligned} Q_{1}f_{2}\Big(d,u,\mathcal{G}\Big) =d^{6}(1-u^2)\mathcal{D}_{10}(d,u)+\mathcal{O}\Big(d^{6}(1-u^2) e^{-\frac{\pi^2}{d}}\Big) {\label{re58.c}}\end{aligned}$$ Combining (\[re57\]), (\[re57.a\]) and (\[re58.c\]), we find $$\begin{aligned} \mathcal{F}(d,u)&=&d^2(1-u^2)\mathcal{D}(d,u)+\mathcal{K}(d,u)\end{aligned}$$ where $\mathcal{D}(d,u)$ has property and $$\big|\mathcal{K}(d,u)\big|\leq Kd^3(1-u^2)de^{\frac{-\pi^{2}}{d}}\quad \textrm{for}\quad (0<d<d_0, \,u_0<u<1). {\label{re59}}$$ Hence $$\mathcal{F}(d,u)=(1-u^2)d^2\int_0^{\infty}e^{-\frac{t}{d}}q(t,u)dt+\mathcal{K}(d,u)$$ where $q(t,u)$ is analytic in $|t|<\pi^{2}$, it is continuous on $[0,\pi^{2}[$ and $]\pi^{2},\infty[$, has a limit as $t\to \pi^{2}$ for every $u_0<u<1$ and satisfies $$|q(t,u)|\leq K\,e^{Kt}, {\label{re60}}$$ with a constant $K$ independent of $u$. If $q(t,u)=\sum_{n=0}^{\infty}q_{n}(u)t^{n}$ is the power series of $q(t,u)$ near $t=0$, Watson's lemma with (\[re59\]) imply $$\mathcal{F}(d,u)\sim \sum_{n=0}^{\infty}n!(1-u^2) q_{n}(u)d^{n+3} \quad \textrm {as} \ d\searrow 0\ \textrm {for every}\,\ u_0<u<1\ \ .$$ On the other hand because of its definition $$\begin{aligned} \mathcal{F}(d,u)&\sim &V_{1}\cdot\mathcal{S}\Big(Q_{1}\mathcal{S}(\mathcal{G})\Big)-W_{2}\cdot\mathcal{S}^2(\mathcal{G})-W_{3}\mathcal{S}\mathcal{C}(\mathcal{G})\\ &-&Q_{1}W_{1}\mathcal{G}-Q_{1}f_{2}\Big(d,u,\mathcal{G}\Big)= 0+0d+\cdot\cdot\cdot\ \ \ \ \ \ ,\end{aligned}$$ since the formal series $G$ satisfies (\[re16\]). This means that all $q_{n}\equiv 0$. Thus we obtain for $u_0<u<1$ with (\[re60\]) $$\begin{aligned} (1-u^2)d^2\int_0^{\infty}e^{-\frac{t}{d}}|q(t,u)|dt &\leq & (1-u^2)d^2\int_{\pi^{2}}^{\infty}e^{-\frac{t}{d}}K e^{Kt}dt\\ &\leq & K(1-u^2)d^3e^{-\frac{\pi^{2}}{d}} \quad (0<d<d_0)\end{aligned}$$ and thus $$\big|\mathcal{F}(d,u)\big|\leq K(1-u^2)d^3e^{-\frac{\pi^{2}}{d}} \quad (0<d<d_0)\ .$$ We have proved that $$\begin{aligned} \Bigg|V_{1}\cdot\mathcal{S}\Big(Q_{1}\mathcal{S}(\mathcal{G})\Big)&-&W_{2}\cdot\mathcal{S}^2(\mathcal{G})-W_{3}\mathcal{S}\mathcal{C}(\mathcal{G}) -Q_{1}W_{1}\mathcal{G}-Q_{1}f_{2}\Big(d,u,\mathcal{G}\Big)\Bigg|\\ & \leq & K(1-u^2)d^3e^{-\frac{\pi^{2}}{d}},\end{aligned}$$ for $0<d<d_0, \,u_0< u< 1$, i.e. ${\mathcal Q}(d,u)$ is a quasi-solution of (\[re16\]) on this interval. This implies that the function $\mathcal{A}(d,u)$ defined in (\[re52\]) is a quasi-solution of (\[eq1\]), more precisely $$\begin{aligned} \Bigg|\sqrt{\frac{1-(T^{+})^{2}}{1-u^{2}}}\mathcal{A}(d,T^{+})&+&\sqrt{\frac{1-(T^{-})^{2}}{1-u^{2}}}\mathcal{A}(d,T^{-})-2\mathcal{A}(d,u)-f\big(\varepsilon,\mathcal{A}(d,u)\big)\Bigg|\nonumber\\ &\leq& Kde^{-\frac{\pi^{2}}{d}},{\label{quasi}}\end{aligned}$$ Distance Between Points of Manifolds ==================================== Clearly, if $q_{\varepsilon} (t)$ is an exact solution of the difference equation (\[diff\]), then $(q_{\varepsilon}(t),p_{\varepsilon}(t))$, where $p_{\varepsilon}(t)=\frac{1}{\varepsilon}\big(q_{\varepsilon}(t)-q_{\varepsilon}(t-\varepsilon)\big)$, is an exact solution of the the system (\[int1\]). In the introduction, we have mentioned that the stable manifold $W_{s}^{-}$ of this system at $A=(0,0)$ is parametrized by $t\to (q^-_{\varepsilon}(t),p^-_{\varepsilon}(t))$ and the unstable manifold $W_{u}^{+}$ of (\[int1\]) at $B=(2\pi,0)$ is parametrized by $t\to (q^{+}_{\varepsilon}(t),p^{+}_{\varepsilon}(t))$, where $ (q^{-}_{\varepsilon}(t),p^{-}_{\varepsilon}(t))$ is an exact solution of (\[int1\]) and $q^{+}_{\varepsilon}(t)=2\pi -q^-_{\varepsilon}(-t), p^{+}_{\varepsilon}(t)=p^-_{\varepsilon}(-t+\varepsilon)$. In the previous section, we have constructed a quasi-solution $\mathcal{A}(d,u)$ for equation (\[eq1\]), i.e. it satisfies this equation with an exponentially small error. We denote by $\tilde{W}_{s}$, $\tilde{W}_{u}$ the manifolds close to $W^{-}_{s}$ respectively $W^{+}_{u}$ parametrized by $t\mapsto \big(\xi_{-}(t),\varphi_{-}(t)\big)$ respectively $t\mapsto \big(\xi_{+}(t),\varphi_{+}(t)\big)$, where $\xi_{-}(t)=\sqrt{1-u(t)^{^2}}\mathcal{A}\big(d,u(t)\big)+q_{0d}(t)$ and $\xi_{+}(t)=2\pi-\xi_{-}(-t)$, $\varphi_{-}(t)=\dfrac{1}{\varepsilon}\big(\xi_{-}(t)-\xi_{-}(t-\varepsilon) \big) $, $\varphi_{+}(t)=\dfrac{1}{\varepsilon}\big(\xi_{+}(t)-\xi_{+}(t-\varepsilon) \big) $. Here and in the sequel, we often omit to indicate the dependence with respect to $\varepsilon$ for the sake of simplicity of notation. We will first show that the vertical distance between some point $(q_{1},p_{1})$ of the stable manifold $W_{s}^{-}$ and the manifold $\tilde{W}_{s}$ is exponentially small. For this purpose, we consider the sequence $Z_{n}=(q_{n},p_{n})$ on the stable manifold $W_{s}^{-}$, defined by $$\begin{aligned} Z_{n+1}=\binom{q_{n+1}}{p_{n+1}}=\phi\binom{q_{n}}{p_{n}}=\binom{q_{n}+\varepsilon p_{n+1}}{p_{n}+\varepsilon \sin(q_{n})},\ \mbox{for}\ n=1,2,3,....\end{aligned}$$ There is a sequence $t_{n}$ such that $$\begin{aligned} \xi_{-}(t_{n})=q_{n}=\sqrt{1-u(t_{n})^{^2}}\mathcal{A}\big(d,u(t_{n})\big)+q_{0d}(t_{n}). {\label{re60.0}}\end{aligned}$$ The vertical projection of the point $(q_{n},p_{n})$ on the manifold $\tilde{W}_{s}$ is the point $(q_{n},b_{n})$, where $b_{n}=\varphi_{-}(t_{n})=g(q_{n}):=\varphi_{-}\big(\xi_{-}^{-1}(q_{n})\big)$ for $n=1,2,3,...$ . We denote by $\triangle_{\varepsilon}(n)$ the vertical distance between the point $(q_{n},p_{n})$ and the manifold $\tilde{W}_{s}$. Then $$\triangle_{\varepsilon}(n)=p_{n}-b_{n}. {\label{re61}}$$ For the $\phi$-image of the point $(q_n,b_n)$ on $\tilde W_s$, we find $$\begin{aligned} \binom{\tilde{q}_{n+1}}{\tilde{b}_{n+1}}&=&\phi\binom{q_{n}}{b_{n}}=\binom{q_{n}+\varepsilon \tilde{b}_{n+1}}{b_{n}+\varepsilon \sin(q_{n})},\nonumber\\ &=&\binom{\xi_{-}(t_{n})+\varepsilon \tilde{b}_{n+1}}{\varepsilon^{-1}\big(\xi_{-}(t_{n})-\xi_{-}(t_{n}-\varepsilon) \big) +\varepsilon \sin\big(\xi_{-}(t_{n})\big)}\nonumber\\ &=&\binom{2\xi_{-}(t_{n})-\xi_{-}(t_{n}-\varepsilon) +\varepsilon^{2} \sin\big(\xi_{-}(t_{n})\big)}{\varepsilon^{-1}\big(\xi_{-}(t_{n})-\xi_{-}(t_{n}-\varepsilon) \big) +\varepsilon \sin\big(\xi_{-}(t_{n})\big)}\end{aligned}$$ As the function $\xi_{-}$ satisfies equation (\[diff\]) except for an exponentially small error because of (\[quasi\]) and (\[re60.0\]), we have $$\begin{aligned} \tilde{q}_{n+1}&=&\xi_{-}(t_{n}+\varepsilon)+e_{n+1}(\varepsilon)\nonumber\\ \tilde{b}_{n+1}&=&\varphi_{-}(t_{n}+\varepsilon)+\dfrac{1}{\varepsilon}e_{n+1}(\varepsilon),\end{aligned}$$ where $|e_{n+1}(\varepsilon)|\leq K \varepsilon\exp(-\dfrac{\pi^{2}}{\varepsilon})$ with some $K$ independent of $\varepsilon$ and $n$. Since $g\Big(\xi_{-}(t_{n}+\varepsilon)\Big)=\varphi_{-}(t_{n}+\varepsilon)$, we have $$\begin{aligned} \tilde{b}_{n+1} &=&g\Big(\xi_{-}(t_{n}+\varepsilon)\Big)+\dfrac{1}{\varepsilon}e_{n+1}(\varepsilon)\nonumber\\ &=&g\Big(\tilde{q}_{n+1}-e_{n+1}(\varepsilon)\Big)+\dfrac{1}{\varepsilon}e_{n+1}(\varepsilon) {\label{re62}}\end{aligned}$$ On the other hand, using (\[re61\]) and the definition of $\phi$, we obtain $$\begin{aligned} \binom{\tilde{q}_{n+1}}{\tilde{b}_{n+1}}&=&\phi\binom{q_{n}}{p_{n}-\triangle_{\varepsilon}(n)}=\binom{q_{n}+\varepsilon p_{n}+\varepsilon^{^2} \sin(q_{n})-\varepsilon\triangle_{\varepsilon}(n)}{p_{n}+\varepsilon \sin(q_{n})-\triangle_{\varepsilon}(n)},\nonumber\\ &=&\binom{q_{n+1}-\varepsilon\triangle_{\varepsilon}(n)}{p_{n+1}-\triangle_{\varepsilon}(n)}.\end{aligned}$$ With (\[re61\]) and (\[re62\]) this implies $$\begin{aligned} \triangle_{\varepsilon}(n+1)&=&p_{n+1}-b_{n+1}=p_{n+1}-g(q_{n+1})\nonumber\\ &=& \triangle_{\varepsilon}(n)+\tilde{b}_{n+1}-g\Big(\tilde{q}_{n+1}+\varepsilon\triangle_{\varepsilon}(n)\Big)\nonumber\\ &=&\triangle_{\varepsilon}(n)+g\Big(\tilde{q}_{n+1}-e_{n+1}(\varepsilon)\Big)-g\Big(\tilde{q}_{n+1}+\varepsilon\triangle_{\varepsilon}(n)\Big)+\dfrac{1}{\varepsilon}e_{n+1}(\varepsilon). $$ Using Taylor expansion we obtain $$\begin{aligned} \triangle_{\varepsilon}(n+1) &=& \big(1-\varepsilon g'(\theta_{n+1})\big)\triangle_{\varepsilon}(n)+\dfrac{1}{\varepsilon}\big(1-\varepsilon g'(\theta_{n+1})\big)e_{n+1}(\varepsilon){\label{delta1}}\end{aligned}$$ where $\tilde{q}_{n+1}-e_{n+1}(\varepsilon)<\theta_{n+1}<\tilde{q}_{n+1}+\varepsilon\triangle_{\varepsilon}(n)$. Now $g$ is $\varepsilon$-close to the curve $p=-2\sin(q/2)$, hence $$\begin{aligned} g'(\theta_{n+1})&=& -\cos\Big(\dfrac{\theta_{n+1}}{2}\Big)+O(d).\end{aligned}$$ Thus given any positive $\mu<\pi$, there is a positive constant $c$ such that for all $q_{1}\leq \mu$, all $n$ and sufficiently small $d$, $$1-\varepsilon g'(\theta_{n+1})\geq1+\varepsilon c\ \ .$$ It is now convenient to write (\[delta1\]) in the form $$\triangle_{\varepsilon}(n)=\big(1-\varepsilon g'(\theta_{n+1})\big)^{-1}\triangle_{\varepsilon}(n+1) -\frac1\varepsilon e_{n+1}(\varepsilon)$$ As $\triangle_{\varepsilon}(n)\to 0$ as $n\to \infty$, this implies that that there is a positive constant $K$ such that $$\begin{aligned} \big|\triangle_{\varepsilon}(n)\big|&\leq& Ke^{-\frac{\pi^{2}}{\varepsilon}} \sum^{\infty}_{k=0 }(1+\varepsilon c)^{-k}\end{aligned}$$ Consequently $$\triangle_{\varepsilon}(n)=O\bigg( \frac{1}{\varepsilon}\exp\Big(-\frac{\pi^{2}}{\varepsilon}\Big)\bigg).{\label{delta0}}$$ In particular $$\begin{aligned} {\mbox{\,\,\rm dist}}_v((q_1,p_1),\tilde W_{s})=O\bigg( \frac{1}{\varepsilon}\exp\Big(-\frac{\pi^{2}}{\varepsilon}\Big)\bigg),{\label{dists}}\end{aligned}$$ where $(q_{1},p_{1})$ is any point on the stable manifold $W_{s}^{-}$, provided $q_1\leq\mu<\pi$; here ${\mbox{\,\,\rm dist}}_v$ denotes the vertical distance. The estimate (\[dists\]) can be extended to any $\mu<2\pi$ and a starting point $(q_1,p_1)$ with $q_1\leq\mu$ in the following way. The relation (\[delta1\]) remains valid, only now we just have the existence of some constant $c>0$ such that $1-\varepsilon g'(\theta_{n+1})\geq1-\varepsilon c\ $ for all $n$. As system (\[int1\]) can be regarded as a one-step numerical method for the system (\[int3\]) of differential equations and the starting point is at a distance ${\cal O}(\varepsilon)$ of its solution $(q_0(t),q_0'(t))$, results on the convergence of one-step methods can be applied and yield that $q_k=q_0(t_1+(k-1)\varepsilon)+{\cal O}(\varepsilon)$, where $q_0(t_1)=q_1$, uniformly for integer $k$, $1\leq k\leq L/\varepsilon$, where $L$ is any positive constant. We choose $L$ such $q_0(t_1+L)\leq\mu/2<\pi$. Repeated application of (\[delta1\]) now gives $$|\triangle_\varepsilon(n)-\triangle_\varepsilon(n+[L/\varepsilon])|\leq K e^{-\frac{\pi^2}\varepsilon}\sum_{k=0}^{[L/\varepsilon]}(1-\varepsilon c)^{-k} \leq \frac{K e^{Lc}}{c\varepsilon}e^{-\frac{\pi^2}\varepsilon}\ \ .$$ To the quantity $\triangle_\varepsilon(n+[L/\varepsilon])$, inequality (\[delta0\]) can be applied, because $q_{n+[L/\varepsilon]}\leq\mu/2<\pi$. Thus (\[delta0\]) and hence also (\[dists\]) remain valid also uniformly for $0<q_1\leq\mu$, provided $\mu<2\pi$. The analogous reasoning applies to the vertical distance of a point $(\tilde q_{1},\tilde p_{1})$ on the unstable manifold $W_u^+$ from the manifold $\tilde{W}_{u}$ and yields $$\begin{aligned} {\mbox{\,\,\rm dist}}_v((\tilde q_1,\tilde p_1),\tilde W_{u})=O\bigg( \frac{1}{\varepsilon}\exp\Big(-\frac{\pi^{2}}{\varepsilon}\Big)\bigg).{\label{distu}}\end{aligned}$$ Another method to obtain (\[distu\]) consists in using (\[dists\]) and symmetry. Now we will estimate the vertical distance between the two manifolds $\tilde{W}_{s}$ and $\tilde{W}_{u}$. As the quasi-solution ${\mathcal A}(d,u)$ is defined for $-1<u=:\tanh(t)<1$, we can define $$\begin{aligned} \mathcal{A}^{+}(d,u)&=&-\mathcal{A}(d,-u),\nonumber\\ \xi_{+}(t)&=&\sqrt{1-u(t)^{2}}\mathcal{A}^{+}\big(d,u(t)\big)+2\pi-q_{0d}(-t)= 2\pi-\xi_-(-t), {\label{dc01}}\end{aligned}$$ $$D_{\varepsilon}(t)=\xi_{+}(t)-\xi_{-}(t) \quad \text {for} \, -\dfrac{4}{3}<t<\dfrac{4}{3}\ \ . {\label{dc1}}$$ Using (\[dc01\]) and the definition of $\xi_{-}(t)$ we find $$\begin{aligned} D_{\varepsilon}(t)&=&-\sqrt{1-u(t)^{^2}}\Big(\mathcal{A}\big(d,u(t)\big)+\mathcal{A}\big(d,-u(t)\big)\Big)-q_{0d}(t)-q_{0d}(-t)+2\pi\nonumber\\ &=&-\sqrt{1-u(t)^{^2}}\Big(\mathcal{A}\big(d,u(t)\big)+\mathcal{A}\big(d,-u(t)\big)\Big)\end{aligned}$$ With (\[re13\]) and (\[re52\]) this implies $$\begin{aligned} D_{\varepsilon}(t)&=&-\sqrt{1-u(t)^{^2}}Q(d,u)\Bigg[\alpha_{1}\dfrac{u}{\tau_2}\Big(\mathcal{H}_{0}(d,u)-\mathcal{H}_{0}(d,-u)\Big) -\nonumber \\ &&\beta_{1}\Big(\mathcal{H}_{2}(d,u)+\mathcal{H}_{2}(d,-u)\Big)+ \delta d\Big(\mathcal{H}_{1}(d,u)+\mathcal{H}_{1}(d,-u)\Big)\Bigg]\end{aligned}$$ where $Q(d,u)$ is defined in (\[re10\]), $\alpha_{1}, \beta_{1}$ are defind in (\[re56\]) and ${\mathcal H}_i(d,u)$ are defined in (\[re44\]) and can be continued analytically to $-1<u\leq1$ as in (\[re44a\]). Using the fact that the functions $u\,h_0(s,u), h_1(s,u), h_2(s,u)$ in (\[re44\]) are odd, we can apply the residue theorem and obtain for $-1<u<1$ that $$\begin{aligned} \mathcal{H}_{i}(d,u)+\mathcal{H}_i(d,-u)&=& \sum_{Im(s_{k}(t))<0}2\pi i {\mbox{\,Res}}\Big(e^{-\frac{s}{d}}h_{i}(s,u),s_{k}(t)\Big)\\ &&-\sum_{Im(s_{k}(t))>0}2\pi i {\mbox{\,Res}}\Big(e^{-\frac{s}{d}}h_{i}(s,u),s_{k}(t)\Big),\quad i=0,1,2,\end{aligned}$$ where $s_{k}(t)= \pi^{2}\pm \frac{2d\pi\,t}{\varepsilon}\,i+2k\pi^{2}$ for $k\ge 0$. We obtain $$\begin{aligned} {\mbox{\,Res}}\Big(e^{-\frac{s}{d}}h_{0}(s,u),s_{k}(t)\Big)&=&\dfrac{1}{2}e^{-\dfrac{(k+1)\pi^{2}}{d}}e^{\mp\dfrac{2\pi t i}{\varepsilon}}\nonumber\\ {\mbox{\,Res}}\Big(e^{-\frac{s}{d}}h_{1}(s,u),s_{k}(t)\Big)&=&\pm\dfrac{i}{4\pi}e^{-\dfrac{(k+1)\pi^{2}}{d}}e^{\mp\dfrac{2\pi t i}{\varepsilon}}\nonumber\\ {\mbox{\,Res}}\Big(e^{-\frac{s}{d}}h_{2}(s,u),s_{k}(t)\Big)&=&\pm \dfrac{i}{4\varepsilon d}\big(\pi \varepsilon i \mp 2d t\big)e^{-\dfrac{(k+1)\pi^{2}}{d}}e^{\mp\dfrac{2\pi t i}{\varepsilon}}\end{aligned}$$ and hence $$\begin{aligned} D_{\varepsilon}(t)&=&\frac{1}{d^2} \phi_{1}(t,\varepsilon)\exp\bigg(-\frac{\pi^{2}}{d}\bigg)+O\bigg(e^{-\frac{\pi^{2}}{d}}\bigg). {\label{dc2}}\end{aligned}$$ where $$\begin{aligned} \phi_{1}(t,\varepsilon)&=&2\pi\alpha\bigg[\sinh\Big(\frac{dt}{\varepsilon}\Big)+t/\cosh\Big(\frac{dt}{\varepsilon}\Big)\bigg]\sin\Big(\frac{2\pi t}{\varepsilon}\Big)\nonumber\\ &+&\bigg[\dfrac{ \pi \alpha}{\cosh\Big(\frac{dt}{\varepsilon}\Big)}\bigg]\cos\Big(\frac{2\pi t}{\varepsilon}\Big) $$ As a consequence of (\[dc2\]) and (\[dc01\]), we obtain immediately that $$\xi^\pm(0)=\pi+{\cal O}(\varepsilon^{-2}e^{-\pi^2/\varepsilon})\ \ . {\label{xi0pi}}$$ Now, let us take a point $(\xi_{+}(t), \varphi_{+}(t)) $ on the manifold $\tilde{W}_{u}$. We suppose that the point $(\xi_{-}(t_1), \varphi_{-}(t_{1}))$ is its vertical projection on the manifold $ \tilde{W}_{s} $. We will evaluate the vertical distance between these two points $$\begin{aligned} {\mbox{\,\,\rm dist}}_{v}(t)=\varphi_{+}(t)-\varphi_{-}(t_{1})=\varphi_{+}(t)-g\big(\xi_{+}(t)\big),\end{aligned}$$ where $g(x)=\varphi_{-}\Big(\xi_{-}^{-1}(x)\Big)$. Thus by (\[dc1\]) $$\begin{aligned} {\mbox{\,\,\rm dist}}_{v}(t)=\varphi_{+}(t)-g\big(\xi_{-}(t)+D_{\varepsilon}(t)\big).\end{aligned}$$ Using Taylor expansion, we find $$\begin{aligned} {\mbox{\,\,\rm dist}}_{v}(t)=\varphi_{+}(t)-g\big(\xi_{-}(t)\big)-D_{\varepsilon}(t)g'\big(\eta(t)\big),\end{aligned}$$ where $\xi_{-}(t)<\eta(t)<\xi_{-}(t)+D_{\varepsilon}(t)$. Here $$\begin{aligned} \eta(t)&=&q_{0d}(t)+O(d) ,\ \ \mbox{hence}\\ g'\big(\eta(t)\big)&=&-\cos\Big(\dfrac{\eta(t)}{2}\Big)+O(d)=-\tanh\Big(\frac{dt}{\varepsilon}\Big)+O(d). {\label{dr0}}\end{aligned}$$ As $g\big(\xi_{-}(t)\big)=\varphi_{-}(t)$, this yields $$\begin{aligned} {\mbox{\,\,\rm dist}}_{v}(t)&=&\varphi_{+}(t)-\varphi_{-}(t)-D_{\varepsilon}(t)g'_{-}\big(\eta(t)\big),\nonumber\\ &=&\frac{1}{\varepsilon}\big(\xi_{+}(t)-\xi_{+}(t-\varepsilon)\big)-\frac{1}{\varepsilon}\big(\xi_{-}(t)-\xi_{-}(t-\varepsilon)\big)-D_{\varepsilon}(t)g'_{-}\big(\eta(t)\big),\nonumber \\ &=&\frac{1}{\varepsilon}\big(D_{\varepsilon}(t)-D_{\varepsilon}(t-\varepsilon)\big)-D_{\varepsilon}(t)g'\big(\eta(t)\big). {\label{dr1}}\end{aligned}$$ Now formula (\[dc2\]) applies and we obtain $$\begin{aligned} D_{\varepsilon}(t-\varepsilon)&=&D_{\varepsilon}(t)+\dfrac{1}{d}\phi_{2}(t,\varepsilon)\exp\bigg(-\frac{\pi^{2}}{d}\bigg)+O\bigg(e^{-\frac{\pi^{2}}{d}}\bigg)\end{aligned}$$ where $$\begin{aligned} \phi_{2}(t,\varepsilon)&=&-2\pi\alpha\bigg[\dfrac{\cosh\Big(\frac{dt}{\varepsilon}\Big)^2+1}{\cosh\Big(\frac{dt}{\varepsilon}\Big)}-t\dfrac{\,\tanh\Big(\frac{dt}{\varepsilon}\Big)}{\cosh\Big(\frac{dt}{\varepsilon}\Big)}\bigg]\sin\Big(\frac{2\pi t}{\varepsilon}\Big)\nonumber\\ &+& \pi\alpha\bigg[\dfrac{\tanh\Big(\frac{dt}{\varepsilon}\Big)}{\cosh\Big(\frac{dt}{\varepsilon}\Big)}\bigg]\cos\Big(\frac{2\pi t}{\varepsilon}\Big)\ \ .\end{aligned}$$ With (\[dr1\]) and (\[dr0\]) this implies $$\begin{aligned} {\mbox{\,\,\rm dist}}_{v}(t)=\dfrac{1}{d^{2}}\bigg[-\phi_{2}(t,\varepsilon)+\tanh\Big(\frac{dt}{\varepsilon}\Big)\phi_{1}(t,\varepsilon)\bigg]e^{-\frac{\pi^{2}}{d}}+O\bigg(\frac{1}{d}e^{-\frac{\pi^{2}}{d}}\bigg)\ \ .\end{aligned}$$ Consequently, for $-\dfrac{4}{3}\leq t\leq \dfrac{4}{3}$ $$\begin{aligned} {\mbox{\,\,\rm dist}}_{v}(t)=\dfrac{4\pi\alpha}{\varepsilon^{2}}\cosh(t)\sin\Big(\frac{2\pi t}{\varepsilon}\Big)e^{-\frac{\pi^{2}}{\varepsilon}}+O\bigg(\frac{1}{\varepsilon}e^{-\frac{\pi^{2}}{\varepsilon}}\bigg)\quad \text{as} \,\,\,\varepsilon\searrow 0.\end{aligned}$$ Combining this result with (\[dists\]) and (\[distu\]), we finally obtain our main result theorem 1.1, because $\xi_\pm(t)=q_0(t)+{\cal O}(\varepsilon^2)$ uniformly with respect to $t$ on any finite interval. <span>02</span> , Gevrey solutions of singularly perturbed differential equations, <span>*J. reine. Angew. Math.*</span> 518 (2000), 95-129. , Asymptotic Analysis of Singular perturbations, <span>*North-Holland, Amsterdam*</span> (1979). , Exponentially small splitting of separatrices for difference equations with small step size, <span>*Journal of Dynamical and Control Systems*</span> 2 (1996), no. 2, 193-238. , A
{'source': 'arXiv_out/0806'}