\documentstyle{amsppt}
\magnification=1200
\NoRunningHeads
%\nologo
\topmatter
\title Splitting of separatrices for the Chirikov's standard map
\endtitle
\author V.F.Lazutkin
\endauthor
\abstract
{This is a revised English version of my earlier paper \cite{L1}
deposited in VINITI in 1984. An asymptotic formula for the
exponentially small angle of intersection of the stable and unstable
manifolds of the fixed hyperbolic point for the standard map is
derived provided the parameter $\varepsilon $ tends to zero.}
\endabstract
\endtopmatter
\document
\leftskip 0cm
\heading \S 1. Introduction. The formula for the separatrices splitting
\endheading
This paper is a revised English version of my earlier paper \cite{L1}
deposited in VINITI in 1984. Here I changed some notations, changed
the formulations of the conjectures to make them more realistic
(the first one now is a theorem, the second one remains open), and
added recent references. I keep the numbers for old references while
the new ones acquired letter labels.
It is known that a big part of Liouville invariant tori persists under
small perturbations of an integrable Hamiltonian system. The corresponding
perturbation theory is called KAM theory (theory of Kolmogorov--
Arnold--Moser) \cite{1},\cite{2}, \cite{3}. In a system which differs
slightly from an integrable one, the invariant tori constitute a smooth
family diffeomorfic to the product of a torus and a Cantor set of positive
Lebesgue measure. Let us call these tori Kolmogorov tori. The measure of
the complement to the set of Kolmogorov tori intersected with a bounded set
has the order $\Cal O (\sqrt\varepsilon )$ provided $\varepsilon \to 0$,
where $\varepsilon $ is a perturbation parameter. This estimate and the
results concerning the smoothness are contained in the papers \cite{4,5,6}.
In the complement to the set of Kolmogorov tori the system behaves
stochastically \cite{7}. Now there is now in any sense satisfactory
qualitative theory describing the behaviour of a Hamiltonian system
in the complement to the set of Kolmogorov tori. It is known that at least
for two--dimensional area--preserving diffeomorphisms the remnants of
destroyed Liouville tori are p[resent in the phase space as invariant
Cantor sets \cite{8,9,15}.
A good model for the perturbation theory of completely integrable dynamical
systems is the standard map SM introduced by B.V.Chirikov \cite{10,11,C,G}
which is defined by the formulas
$$
\aligned
SM:& (x,y)\longmapsto (x_1,y_1),\\
x_1&=x+y_1(\mod 2\pi )\\
y_1&=y+\varepsilon \sin x
\endaligned
\tag1.1
$$
If $\varepsilon = 0$, the transformation (1.1) is integrable, the
variable $y$ is an integral. If $\varepsilon >0$, the transformation
has a fixed point $(0,0)$. The stable $W^s$ and the unstable $W^u$
manifolds (the separatrices) of the point $(0,0)$ have an intersection
at a point $(\pi ,y_{\Gamma})$ where $y_{\Gamma}\approx
2\sqrt\varepsilon $, the first intersection of $W^u$ with symmetry line
$x=\pi $.
The aim of this work is to derive the following asymptotic as
$\varepsilon\to 0$ formula for the angle $\varphi $ of the intersection
of $W^u$ and $W^s$ at $(\pi ,y_{\Gamma})$:
$$
\varphi = \frac{\pi |\Theta _1|}{\varepsilon }
{\text e}^{-\frac{\pi ^2}{\sqrt\varepsilon}}\left\lbrack
1+\Cal O\left (\varepsilon ^{\frac18-\delta}\right )\right\rbrack.
\tag1.2
$$
The number $|\Theta _1|$ in (1.2) is a constant which is to be defined
in the process of solution of some auxiliary nonlinear problem not
containing $\varepsilon $ (see \S 3). The first numerical evaluation
of this number made by I.G.Shachmannski in 1984 gives the value
$|\Theta _1|\approx 1040.$
Further more precise calculation (\cite{LST}
yielded
$|\Theta _1|= 1118.82770595.$
The number $\delta >0$ in (1.2) is arbitrary, the constant in the estimate
$\Cal O\left (\varepsilon ^{\frac18-\delta}\right )$
depending on $\delta .$
The formula in question shows that for small $\varepsilon$ the angle
$\varphi$ is exponentially small. The exponential smallness was proved
earlier by A.I.Neishtadt \cite{12}. Some estimates for the angle were
obtained in unpublished paper \cite{CS}.
Nonnullity of $\varphi$ implies
transversality of the intersection of the separatrices at the point
$(\pi ,y_{\Gamma}).$ The existence of such a point generates a very
complicated picture of intersections of the separatrices
$W^s$ and $W^u,$ which was described by H.Poincar\'e \cite{13}.
The separatrix $W^u$ is an injective immersion of $\Bbb R$ into the
phase space $(\Bbb R / 2\pi\Bbb Z)\times \Bbb R.$ The image of this
injection is a noncompact curve passing through the point $(0,0),$
oscillating with the amplitude growing as the distance from $(0,0)$ grows,
and winding onto itself. The stable separatrix $W^s$ behaves in the same
way. Intersections of these two curves constitute a complicated
entangled web whose closure is the stochastic layer near the separatrix.
Numerical experiments \cite{10,11} show the presence this stochastic layer,
its growth as $\varepsilon $ grows, and its fusion with other similar
stochastic layers which pervade the phase space of the standard Chirikov
map (see also \cite{14,15,16,FS}).
One can not consider the derivation and proof of formula (1.2) presented
below as quite rigorous. One needs to supplement it with the proof of
two conjectures concerning the existence of the time--energy variables
formulated in \S3 and \S4.
The author is grateful to I.P.Kornfeld, A.I.Neishtadt, Ya.G.Sinai,
B.V.Chirikov, A.I. Shni\-rel\-man for numerous discussions and valuable advices.
The author thanks I.G.Shachmannski who has undertaken the first numerical
computations of the constant $|\Theta _1|.$
\heading \S 2. An approximation of the Chirikov's map in the complex domain
\endheading
Effects connected with the creation of the stochastic layer are exponentially
small for small $\varepsilon,$ as it was mentioned in \S 1. It is difficult
to distinguish them on the background of approximations having the error
of order of a power of $\varepsilon .$ Professor A.I.Shnirelman communicated
to the author the idea that one could better to investigate these effects
in the complex domain where they grew up enough to be of the same order
as the mentioned powerlike approximations.
It is convenient to pass in (1.1) from the variables $(x,y)$ to variables
$(X,Y)$ by formulas
$$
X=x, \quad Y=\frac1{\sqrt\varepsilon}y.\tag2.1
$$
The standard map reads in this variables as $(X,Y)\longmapsto (X_1,Y_1),$
where
$$
\frac{X_1-X}{\sqrt\varepsilon}=Y_1, \quad
\frac{Y_1-Y}{\sqrt\varepsilon}=\sin X . \tag2.2
$$
We will consider (2.2) in a complex phase space
$\Bbb C /2\pi \Bbb Z\times \Bbb C.$
If ${\text{Im}} X$ and $\vert Y\vert$ is not very large, the system (2.2), for small
$\varepsilon $, can be well approximated by the pendulum differential equation:
$$
X^{\prime } =Y,\quad Y^{\prime }= \sin X . \tag2.3
$$
To investigate the standard map for large positive ${\text{Im}} X$, it is convenient
to make the change of variables
$$
X=-i\ln \frac{\varepsilon}2 + iu ,\quad \sqrt\varepsilon Y = iv.\tag2.4
$$
The variable $u$ and $v$ are called {\it semistandard variables}. Our map
reads in these variables:
$$
\aligned
u_1 &= u+v_1\,,\\ v_1&=v+\text e^u -
\frac{\varepsilon ^2}{4}\text e^{-u}\, .
\endaligned
\tag2.5
$$
The transformation (2.5) is defined on the phase space
$(\Bbb C/2i\pi \Bbb Z)\times \Bbb C \,.$
The term
$-\frac{\varepsilon ^2}{4}\text e^{-u}$ in (2.5) is small in comparison with
the term $\text e^u$ provided ${\text{Re}} u < const \,.$ Therefore the
transformation (2.5) in that domain can be well approximated by a
transformation not depending on $\varepsilon $: $SSM:(u,v)\longmapsto
(u_1,v_1)\,,$
$$
u_1=u+v_1\,,\quad v_1=v+\text e^u \,,\tag2.6
$$
which we call {\it semistandard map} (it was introduced in \cite{GP}, see
also \cite{P}). The statement ''well approximated ''
will be precisely formulated later in concrete situations.
In the subsequent sections we will study invariant curves with respect to
the transformations in question. By an {\it invariant curve with step $h$}
we mean an analytic map $W:\Bbb C \longrightarrow
(\Bbb C/2i\pi \Bbb Z)\times \Bbb C \,, W(t)=(X(t),Y(t))\,,$
satisfying the following system of difference equations:
$$
\aligned
\Delta _h X(t) &= \sqrt\varepsilon Y(t+h),\\
\Delta _h Y(t) &= \sqrt\varepsilon \sin X(t)\,.
\endaligned
\tag2.7
$$
Here
$$
\Delta _h f(t) =f(t+h)-f(t)\,.\tag2.8
$$
One can give an analogous definition also for the transformation (2.6).
To study $W^u$ in the domain where an approximation by differential equations
is suitable, it is convenient to take the expression (4.2) for $h\,.$
To investigate integral curves of the transformations (2.5) and (2.6) in the
semistandard variables, it is convenient to set $h=1\,.$ To pass from (2.7)
to corresponding equations in the semistandard variables, one needs to pass
to a ''semistandard time '' $x$ by a formula
$$
t=a+hx\,.\tag2.9
$$
When investigating the behaviour of separatrices in the complex domain
${\text{Im}}X\ge 1$, it is convenient to set $a=i\frac{\pi }2$ in (2.9).
\heading \S 3. The investigation of the semistandard map
\endheading
In this section we formulate necessary assertions about properties of the
semistandard map (2.6). By {\it invariant curve} of the semistandard map
we mean an analytic map
$$
\Gamma \: \Bbb C \longrightarrow (\Bbb C/2i\pi \Bbb Z)\times \Bbb C \,,
\Gamma (x)=(u(x),v(x))\,,
$$
obeying to the equations
$$
\aligned
u(x+1)-u(x)&=v(x+1)\,,\\ v(x+1)-v(x)&={\text e}^{u(x)}\,.\
\endaligned
\tag3.1
$$
It is easy to verify that, if $(u(x),v(x))$ is an invariant curve,
then $(u_1(x),v_1(x))$ with
$$
\aligned
u_1(x)&=u(-x)\,,\\ v_1(x)&=-v(-x+1)
\endaligned
\tag3.2
$$
is an invariant curve too.
\proclaim{Theorem 1\ (on the existence and the unicity of the unstable manifold)}
There exists the unique invariant curve $\Gamma _-(x)=(u_-(x),v_-(x))$
of the semistandard map with the following
asymptotics as $x\to\infty$:
$$
\aligned
u_-(x)&=-\ln\frac{x^2}2 +\Cal O\left(\frac1{x^2}\right)\,,\\
v_-(x)&=-\frac2x+\Cal O\left(\frac1{x^2}\right)\,.
\endaligned \tag3.3
$$
In (3.3) $\ln\frac{x^2}2>0 $ if $x<0\,.$
The following asymptotic expansion for $x\to \infty$ is valid
uniformlly in a sector $\delta _0 \le \arg x \le 2\pi - \delta _0$ ,
$\delta _0 \in ]0 ,\pi /2[$ being an arbitrary fixed number:
$$
u_-(x) = - \ln \frac{x^2}{2} +
\sum _{k=1}^{\infty } a_k x^{-2k}, \tag3.4
$$
where $ a_k$ are real numbers. The first three values of $a_k$ are
$a_1=-{1\over 4}$\ ,$a_2={91\over 864} $\ ,$a_3=-{319\over 2880}$.
\endproclaim
This theorem will be proven in \S 7 (see also \cite{L2}
Applying the transformation (3.2) to the curve $\Gamma _-$ yields the
stable manifold $\Gamma _+=(u_+,v_+)\,.$
It follows from (3.4) that $\Gamma _+(x)$ has the same asymptotic
expansion as $\Gamma _-(x)$ but in the sector defined by the
inequality
$$-\pi +\delta _0 \le \arg x \le - \delta _0 \ .\tag3.5$$
As a consequence, we have in this sector for arbitrary positive $N$
$$
\vert u_+(x) - u_-(x)\vert \le \text{const}\cdot \vert x\vert
^{-N},\tag3.6
$$
where the const depends on $N$ and on the choice of $\delta _0$.
In fact, a stronger estimate is valid.
\proclaim{Theorem 2} The following estimates
$$
\aligned
\vert u_+(x) - u_-(x)\vert & \le \text{const}\cdot \vert x\vert ^2
\exp (-2\pi \vert \text{Im} x\vert ) ,\\
\vert v_+(x) - v_-(x)\vert & \le \text{const}\cdot \vert x\vert
\exp (-2\pi \vert
%\text
{Im} x\vert ) ,
\endaligned \tag3.7
$$
are valid in the sector $-\pi +\delta _0 \le \arg x \le - \delta _0$,
the \text{const} depending only on the choice of $\delta _0$.
\endproclaim
For large positive ${\text{Re}}u$ the semistandard map can be well approximated
by a system of differential equations:
$$
u'=v\,,\quad v'=\text e^u\,,\tag3.8
$$
the latter possessing an integral
$$
\Cal E = \frac12v^2+\text e^u\,.\tag3.9
$$
The following Theorem provides us with an analytical integral for SSM near
$\Gamma_-$. Given numbers $A>1$ and $\delta _0 \in ]0 ,\pi /2[$
define the domains:
$D_A \subset \Bbb C $ by inequalities
$$
\aligned
-\pi +\delta _0 &\le \arg x \le - \delta _0,\\
\text{Im}x &\le -A,
\endaligned \tag3.10
$$
and $\Omega _A \subset \Bbb C ^2 $ by inequalities
$$
\aligned
&x\in D_A ,\\
&\vert y\vert ^2 \le \exp (-2\pi \vert \text{Im}x\vert ), \\
&\vert y\vert ^2 < \exp (-4\pi A ) .
\endaligned \tag3.11
$$
Define $D_A^{'}$ in the same way as $D_A$ but with $2A$ and $2\delta _0$
standing for $A$ and $\delta _0$ respectively.
\proclaim{Theorem 3} There exist a constant $A>1$ and an analytical
symplectic injective immersion $\Phi : \Omega _A \to \Bbb C ^2 $ such that
\roster
\item $\Phi (x,0)= \Gamma _-(x)$ if $x\in D_A$;
\item $\Phi $ conjugates SSM with the shift $(x,y) \mapsto (x+1,y)$;
\item if $x\in D_A^{'}$ then the ball in ${\Bbb C}^2$ with the center
$(u_-(x),v_-(x))$ and of radius $r=\exp (-\frac{4\pi }{3}\vert
\text{Im}x \vert)$
is contained in $\Phi (\Omega _A)$;
\item $\text{pr}_2 \circ \Phi ^{-1} $ has the derivatives up to
the second order bounded by a constant depending only on
$\delta _0$;
\item $\text{pr}_1 \circ \Phi ^{-1} $ has the first derivatives
bounded by $\text{const}|x|^2$ with const depending only on
$\delta _0\,.$
\endroster
\endproclaim
The theorems 2,3 are proven in \cite{L2} except the assertion (5), but the
latter can be easily deduced from the estimates of the cited paper.
Another more stronger version of this theorem
was formulated in \cite{L1} as a conjecture, probably false.
Denote $\Cal E_-=\text{pr}_2\circ\Phi^{-1}\,.$ It follows from (3.7) and the
assertion (3) of Theorem 2 that the image of $D_A^{'}$ under the map $\Gamma_+$
is contained in $\Phi(\Omega_A)$ provided $A$ is sufficiently large. So for
these values of $A$ there is defined the superposition
$$
\Theta = \Cal E_-\circ\bigl.\Gamma _+\bigr|_{D_A^{'}}\,.\tag3.12
$$
It follows from the
assertion (2) of Theorem 3 that $\Theta (x)$ is periodic in the variable $x$
with a period 1. Due to the assertion (1) of Theorem 3 and Theorem 2 the
function $\Theta $ tends to zero if ${\text{Im}}x$ tends to $-\infty \,.$
Therefore one can expand $\Theta (x)$ in the following Fourier series
converging in a lower halfplane:
$$
\Theta (x) = \sum_{n=1}^{\infty}\Theta _n\text e^{-in2\pi x}\,.\tag3.13
$$
It is the first coefficient $\Theta_1$ of this expansion that enters the
formula (1.2) for the angle of separatrices intersection.
Yu.B.Suris has proven that $\Theta _1$ is purely imaginary. Numerical
calculations show that the imaginary part of $\Theta _1$ is negative
and give the value $|\Theta _1|= 1118.82770595$ (see \cite{LST}).
\heading \S 4. The separatrices of the standard map in the complex domain
\endheading
We will consider the standard map $SM:(X,Y)\longmapsto (X_1,Y_1)\,,$
$$
X_1=X+\sqrt\varepsilon Y_1(\mod 2\pi )\,,\quad Y_1=Y+\sqrt\varepsilon\sin X
\tag4.1
$$
in the space
$(\Bbb C /2\pi\Bbb Z)\times \Bbb C\,. $
The transformation (4.1) for positive $\varepsilon$ h as a hyperbolicfixed point
$(0,0)\,.$ Eigenvalues of the linear part of the map at this point are
$\lambda_1=\text e^h,\, \lambda_2=\text e^{-h},\,$ where
$$
h=\ln (1+\sqrt\varepsilon\sqrt{1+\varepsilon /4}+\varepsilon /2)
=\sqrt\varepsilon -\frac1{24}\varepsilon^{3/2}+\frac3{640}\varepsilon ^{5/2}
+\Cal O\bigl(\varepsilon ^{7/2}\bigr)\,.\tag4.2
$$
In this section we will consider invariant curves of the transformation (4.1)
(see \S 2) with the step $h$ given by the expression (4.2).
\proclaim{Theorem 4} Given a constant $C>0\,,$ there exists the unique
invariant curve $W^u(C,t)=\bigl(X_-(C,t),Y_-(C,t)\bigr)$ of the map (4.1)
possessing the following asymptotics at $t\to -\infty \:$
$$
X_-(C,t)=C\text e^t + o(\text e^t)\,.\tag4.3
$$
If $\varepsilon $ is sufficiently large, one can choose the constant $C$
in the interval $[3,5]$ so that
$$
X_-(C,0)=\pi\,.\tag4.4
$$
\endproclaim
We suppose in our further considerations that the constant $C$ for $W^u$ is
chosen from the condition (4.4). For small $\varepsilon $ it admits the
asymptotics (8.12). Denote the invariant curve of Theorem 4 satisfying the
condition (4.4) by $W^u(t)=\bigl(X_-(t),Y_-(t)\bigr)\,.$
We will study for small $\varepsilon $ the behaviour of the curve $W^u$ in the
domain ${\text{Re}}t\le h\,,\ |\arg t-i\frac{\pi}2(2k+1)|ge\delta _0\,,\ k\in\Bbb Z\,.$
It follows from the formulas (8.1)--(8.3), that
$$
X_-(t+i\pi)=-X_-(t)\,\quad X_-(\overline t)=\overline{X_-(t)}\,.\tag4.5
$$
So it is sufficient to consider $W^u$ in the domain
$$
\Cal D = \left\{ t\in\Bbb C\:0\le{\text{Im}}t\le\frac{\pi}2\,\
{\text{Re}}t\le h\,\ \arg t \le -\delta _0 <0\right\}\,.
$$
\proclaim{Theorem 5} The followig estimate is valid in the domain $\Cal D$ :
$$
\vert X_-(t)-X_0(t)\vert\le{\text const}\cdot\varepsilon\left(
1+\frac1{\vert t-i\pi /2\vert^2}\right)\,,\tag4.6
$$
where
$$
X_0(t)=4\arctan \text e^t\,,\tag4.7
$$
const depending only on $\delta _0$\,.
\endproclaim
\proclaim{Remark} The function (4.7) is the first component of a solution
of the differential equations (2.3) which approximate the difference equations (2.2).
\endproclaim
For further convenience we divide the domain $\Cal D$ into the following
four pieces: $\Cal D=\bigcup_{i=0}^3\Cal D_i\,.$ Here $\Cal D_0$ is the halfstrip
defined by the inequalities ${\text{Re}}t\le 1\,,\, 0\le{\text{Im}}t\le\pi /2\,.$
The domain $\Cal D_3$ is the intersection with $\Cal D$ of the rectangle
$$
\Pi_3 =\left\{t\:-\sqrt\varepsilon\frac{\sigma}{2\pi}\ln\frac1\varepsilon
\le {\text{Re}}t\le h\,,\ 0\le\frac{\pi}2-{\text{Im}}t\le
\sqrt\varepsilon\frac{\sigma}{2\pi}\ln\frac1\varepsilon\right\}\,,
$$
where
$$
\sigma=\frac18+\frac\delta 2\,.\tag4.8
$$
One gets the domain $\Cal D_2$ by throwing out the rectangl $\Pi _3$ from
the rectangle
$$
\Pi_2 =\left\{t\:-\varepsilon^{1/4}\le {\text{Re}}t\le h\,,\
0\le\frac{\pi}2-{\text{Im}}t\le\varepsilon^{1/4}\right\}\,,
$$
and the domain $\Cal D_1$ by throwig out the rectangle $\Pi _2$
from the rectangle $\Pi_1\mathbreak =\left\{t\:-1\le \text{Re}t\le h\,,\
0\le \text{Im}t\le\frac\pi 2\right\}\,.$
When deriving the formula for the separatrices splitting, we need in the
asymptotics of $W^u(t)$ for $t\in \Cal D_2\,.$ In this domain the approximation
by $X_0(t)$ is not valid. Instead we will take the function
$$
-i\ln \frac {h^2}2 + iu_-\left(\frac{t-i\pi /2}h\right)\,,
$$
where $u_-(x)$ is the first component of the unstable manifold of the
semistandard map. It is convenient to pass to the semistandard variables by setting
$$
X_-\left(i\frac\pi 2+hx\right)=-i\ln \frac {h2}2 +
i\tilde u_-(x)\,.\tag4.9
$$
Since for $hx\to 0$
$$
X_0\left(i\frac\pi 2+hx\right)= -i\ln\frac{h^2}2- \ln \frac{x^2}{2} +
i\tilde u_-(x)+\Cal O\left(\varepsilon x^2\right)\,,\tag4.10
$$
taking into account the asymptotics (3.4) and the estimate (4.6), we obtain
that the function $u_-(x)$ approximates $\tilde u_-(x)$ with the same accuracy
at the boundary which divides the domains $\Cal D_1$ and $\Cal D_2\:$
$$
\vert\tilde u_-(x)-u_-(x)\vert\le\text{const}\sqrt\varepsilon\,.\tag4.11
$$
\proclaim{Theorem 6} The following estimate is valid in the
domain $\Cal D_2\:$
$$
\vert\tilde u_-(x)-u_-(x)\vert\le\text{const}
\varepsilon ^{\frac14-\frac{\delta}2}\,.\tag4.12
$$
where $\delta >0$ is arbitrary, const does not depend on the choice of
$\delta\,.$
\endproclaim
The theorems 4 and 5 will be proven in \S.
One obtains the stable separatrix $W^s$ from the unstable one $W^u$ by the
transformation
$$
\aligned
X_+(t)&=2\pi - X_-(-t)\,,\\ Y_+(t)&=Y_-(-t+h)\,.
\endaligned
\tag4.13
$$
Set
$$
\tilde\Cal D =\left\{t\in\Bbb C\:\vert\text{Re}t\vert\le h\,,\
\vert\text{Im}t\vert\le\frac{\pi}2 -
\sqrt\varepsilon\frac{\sigma}{2\pi}\ln\frac1\varepsilon\right\}\,.
\tag4.14
$$
Let $\tilde\Omega$ is a subset in $\Bbb C^2$ obtained by joining all
rectilinear segments with ends at points
$X_-(t),Y_-(t)$ and $X_+(t),Y_+(t)\,,$ the variable $t$ running over
$\tilde \Cal D\,.$
\proclaim{Conjecture B} There exist analytic functions $t(X,Y)$ and $E(X,Y)$
defined in a neighbourhood of $\tilde\Omega$ satisfying the conditions:
\roster
\item they are real at real $X$ and $Y$;
\item $E(X_-(t),Y_-(t))=0\,,\ t(X_-(t),Y_-(t))=t$;
\item $dt\wedge dE = dX\wedge dY\, ;$
\item if $(X_1,Y_1)$ is connected with $(X,Y)$ by the formulas (4.1) then
$E(X_1,Y_1)=E(X,Y)$ and $t(X_1,Y_1)=t(X,Y)+h\,;$
\item if one passes to the semistandard variables and sets
$$
E(X,Y)=-\frac1{h^2}\tilde\Cal E(u,v)\,,\tag4.15
$$
then the derivatives of the function $\tilde\Cal E$ with respect to the
variables $u$ and $v$ up to the second orderd are bounded by constants
depending but on $\delta \,.$
\endroster
\endproclaim
I beleive that this conjecture can be proven in the same way as Theorem 3.
The proof of the formula (1.2) depends essentially on the validity of
Conjecture B.
\heading \S 5. Deduction of the formula for the splitting of the separatrices
\endheading
The separatrices $W^s(t)$ and $W^u(t)$ have an intersection at a point
corresponding to the value $t=0$ as it follows from symmetry reasons.
It is at this point where we are going to calculate the value of the
angle of intersection of separatrices.
Define a function $\psi$ by the formula
$$
\psi (t)=E(X_+(t),Y_+(t))\,.\tag5.1
$$
The function $\psi(t)$ possesses the following properties:\roster\item it is
periodic with period $h$ due to (4) of Conjecture B;\item $\psi (0)=0$ due to
(2) of Conjecture B;\item it is defined and analytic in the strip $|\text{Im}
t|\le\frac\pi 2-\frac\sigma {2\pi}\sqrt\varepsilon\ln\frac1\varepsilon$ again
due to Conjecture B and due to (1) of this list.\endroster Let us calculate
its derivative at the homoclinic point, {\it{i.e.}} at $t=0\:$
$$
\psi^{'}(0)=
X_-^{\prime}(0)Y_+^{\prime}(0)-Y_-^{\prime}(0)X_+^{\prime}(0)\,.\tag5.2
$$
To obtain (5.2) we used the formulas
$$
\aligned
X_-^{\prime}(t)&=\frac{\partial E}{\partial Y}\left(X_-(t),Y_-(t)\right)\,,\\
Y_-^{\prime}(t)&=-\frac{\partial E}{\partial X}\left(X_-(t),Y_-(t)\right)\,,
\endaligned
\tag5.3
$$
which one easily deduce from (1) and (2) of Conjecture B. The following
formula for the angle of separatrices intersection is a consequence of (5.2):
$$
\aligned
\varphi\approx\sin\varphi&=-\frac{\sqrt\varepsilon}{\sqrt{X_-^{\prime}(0)^2+
Y_-^{\prime}(0)^2}\sqrt{X_+^{\prime}(0)^2+Y_+^{\prime}(0)^2}}\\&=-
\frac{\sqrt\varepsilon}4\psi'(0)\left(1+\Cal O(\sqrt\varepsilon)\right)\,.
\endaligned
\tag5.4
$$
Here we used the estimate of Theorem 5 and the equalities (4.13):
$$
\aligned
X_-^{\prime}(0)&=2+\Cal O(\sqrt\varepsilon)\,, \quad
X_+^{\prime}(0)=2+
\Cal O(\sqrt\varepsilon)\,,\\
Y_-^{\prime}(0)&=\Cal O(\sqrt\varepsilon)\,,
Y_+^{\prime}(0)=\Cal O(\sqrt\varepsilon)\,.
\endaligned
\tag5.5
$$
The multiplier $\sqrt\varepsilon$ has appeared in (5.4) due to the change
of variables from the initial ones $(x,y)$ in (1.1) to $(X,Y)$ by formulas (2.1).
To calculate $\psi (t)$ let us compare it with the function
$$
\chi(t)=-\frac1{h^2}\Theta\left(\frac{t-i\frac\pi 2}h\right) -
\overline{\frac1{h^2}\Theta\left(\frac{\overline t-i\frac\pi 2}h\right)}\,,
\tag5.6
$$
where $\Theta (x)$ is the function defined in \$ 3. Note that $\Theta (x)$ is
defined for $\text{Im}x\le-\text{const}<0$ where const does not depend on
$\varepsilon\,.$ It follows that for $\varepsilon$ sufficiently small the
strip where the function (5.6) is defined contains the strip
$$
|\text{Im}t|\le\frac\pi 2-\frac\sigma{2\pi}\sqrt\varepsilon\ln\frac1\varepsilon
$$
where we are going to compare $\psi(t)$ and $\chi(t)\,.$
Note that both the functions are real for real$t\,.$ It is sufficient therefore
to compare $\psi(t)$ and $\chi(t)$ in the rectangle
$$
\Pi =\left\{t\in\Bbb C\:|\text{Re}t|\le\frac h2\,,\quad 0\le\text{Im}t\le
\frac\pi 2-\frac\sigma{2\pi}\sqrt\varepsilon\ln\frac1\varepsilon\right\}\,.
$$
In the domain $\Pi\cap\Cal D_1$ (see \S 4) the function $\chi(t)$ is exponentially
small for small $\varepsilon\,,$ and $\psi (t)$ admits, due to Conjecture B and
the assertion of Theorem 5, the estimate
$$
|\psi (t)|\le\text{const}(|X_+(t)-X_-(t)|+|Y_+(t)-Y_-(t)|)\le\text{const}\,.
$$
Hence in that domain
$$
|\psi (t)-\chi (t)|\le\text{const}\,.
$$
Let us estimate the difference $\psi (t)-\chi (t)$ in the domain
$\Pi\cap\Cal D_2\,.$ For this purpose it is convenient to pass to the
semi standard variables:
$$
\left\{
\aligned
X_-\left(i\frac\pi 2+hx\right)&=
-i\log\frac{h^2}2 +i\tilde u_-(x)\,,\\
Y_-\left(i\frac\pi 2+hx\right)&=\frac i{\sqrt\varepsilon}\tilde v_-(x)\,,\\
X_+\left(i\frac\pi 2+hx\right)&=
-i\log\frac{h^2}2 +i\tilde u_+(x)\,,\\
Y_+\left(i\frac\pi 2+hx\right)&=\frac i{\sqrt\varepsilon}\tilde v_+(x)\,.
\endaligned
\right.
\tag5.8
$$
One may neglect the second term in the right side of (5.6) in the domain
$\Pi\cap\Cal D_2\,.$ It follows from (4.15) that
$$
\psi (t)=-\frac1{h^2}\tilde\Cal E\biggl(\tilde u_+(x),\tilde v_+(x)\biggr)\,.
\tag5.9
$$
We have in the domain $\Pi\cap\Cal D_2\,,$ taking into account (3.12), (5.3)
and the boundness of the second derivatives of the functions $\tilde\Cal E$
and $\Cal E_-\:$
$$
\aligned
&\tilde\Cal E\left(\tilde u_+(x),\tilde v_+(x)\right)-\Theta (x)\\
&=-\tilde v{'}_-(x)[\tilde u_+(x)-\tilde u_-(x)]+\tilde
u{'}_-(x)[\tilde v_+(x)-\tilde v_-(x)]\\
&+ v{'}_-(x)[ u_+(x)- u_-(x)]-u{'}_-(x)[ v_+(x)- v_-(x)]\\
&+\Cal O\left(
|\tilde u_+-\tilde u_-|^2+|\tilde v_+-\tilde v_-|^2+
| u_+- u_-|^2+| v_+- v_-|^2 \right)\,.
\endaligned
\tag5.10
$$
>From (3.13) and (4.8) it follows that in this domain
$$
\left|\Theta (x)\right|\le\text{const}\text e^{-\sigma\ln\frac1\varepsilon}
=\text{const}\varepsilon^{\frac18+\frac\delta 2}\,,\tag5.11
$$
and from analogous considerations
$$
|\text{pr}_1\circ\Phi^{-1}\circ\Gamma_+(x) -x|\le
=\text{const}\cdot\varepsilon^{\frac18+\frac\delta 2}\,.\tag5.12
$$
It is not difficult to deduce from (3.11), (3.12) and Theorem 3 the following
estimate:
$$
\aligned
&|u_+-u_-|+| v_+- v_-|\le\text{const}\left(\ln\frac1\varepsilon\right)^2
\varepsilon^{\frac18+\frac\delta 2}\\&\le\text{const}\cdot\varepsilon^{\frac18}\,.
\endaligned
\tag5.13
$$
Using the estimate of Theorem 6 one gets that (5.13) is true also for
$\tilde u\,,\ \tilde v\:$
$$
|\tilde u_+-\tilde u_-|+| \tilde v_+- \tilde v_-|\le
\text{const}\cdot\varepsilon^{\frac18}\,.\tag5.14
$$
So the quadratic term in (5.10) has the order
$\Cal O\left(\varepsilon ^{1/4}\right)\,.$ Regroupping linear terms in (5.10)
and using the asymptotics (3.4) yields the following estimate for the right
part of (5.10) :
$$
\aligned
&\left|\tilde\Cal E\left(\tilde u_+(x),\tilde v_+(x)\right)-\Theta (x)\right|
\le\text{const}\left[|\tilde u_+(x)-u_+(x)|\right.\\
&+|\tilde v_+(x)-v_+(x)|+|\tilde u_+^{'}(x)-u_+^{'}(x)|
+|\tilde v_+^{'}(x)-v_+^{'}(x)|\\
&+|\tilde u_-(x)-u_-(x)|+|\tilde v_-(x)-v_-(x)|+|\tilde u_-^{'}(x)-u_-^{'}(x)|\\
&+\left.|\tilde v_+^{'}(x)-v_+^{'}(x)|\right]+\Cal O\left(\varepsilon ^{1/4}\right)
\le\text{const}\cdot \varepsilon^{\frac14-\frac\delta 2}\,.
\endaligned
\tag5.15
$$
It follows from (5.15) and (5.7) that in the strip $|\text{Im}t|\le\frac\pi
2-\frac\sigma{2\pi}\sqrt\varepsilon\ln\frac1\varepsilon\:$
$$
|\psi(t)-\chi(t)|\le\text{const}\cdot\varepsilon{-1+\frac14-\frac\delta 2}\,.
\tag5.16
$$
The use of Fourier expansion results in the following lemma:
\proclaim{Lemma 5.1} Let a function $f(t)$ be analytic in a strip
$|\text{Im}t|\le b\,,$ be continuous in the clousure of that strip,
and be periodic with a period $a>0\,.$ Let
$$
\text e^{-\frac{2\pi b}a}\le\frac12\qquad\text{and}\qquad\int_0^af(t)\,dt=0\quad
\text{\rm{(*)}}\,.
$$
Then the following estimate is true for real values of $t\:$
$$
|f(t)|\le4\max_{|\text{Im}\tau|\le b}|f(\tau)|\text e^{-\frac{2\pi b}a}\,.
\tag5.17
$$
\endproclaim
Applying this lemma to the function $\psi(t)-\chi(t)$ yields on the real axis
$$
\psi(t)=\frac{2|\Theta_1|}\varepsilon
\text e^{-\frac{\pi^2}{\sqrt\varepsilon}}
\sin\frac{2\pi t}h+\Cal|\left(
\text e^{-\frac{\pi^2}{\sqrt\varepsilon}}
\varepsilon^{-1+\frac18-\delta}\right)\,.\tag5.18
$$
Here we took into account that $\Theta _1$ is purely imaginary negative.
Taking depivative of (5.18) at $t=0$ and substituting the result into (5.4),
we get the formula (1.2). Note that the property (*) for the function
$\psi(t)$ follows from the assertion (3) of Conjecture B, the area
preserving property of the standard map, and the existence of invariant curves
\cite{3}\,.
\heading \S 6. Operator $L$
\endheading
In this section we investigate a linear operator which is a sufficiently
good approximation of nonlinear operators occurring further.
The value of the operator $L$ at a complex--valued function of the complex
variable $x$ is given by the expression
$$
\left(Lf\right)(x)=\Delta^2f(x)-\frac2{x^2}f(x)\,,\tag6.1
$$
where the second difference
$\Delta^2f(x)$
is defined by the formula
$$
\Delta^2f(x)=f(x+1)+f(x-1)-2f(x)\,.\tag6.2
$$
We will associate to the expression (6.1) operators in different spaces
and build inverse operators to them. For simplicity of notations we will
use one letter $L$ (and $L^{-1}$ for an inverse operator) for denoting
surely different operators. First we will consider $L$ defined on the set
of all, not necessarily defined everywhere, functions of the complex variable
$x\,.$
Let us formulate two lemmas on solutions of the homogeneous equation
$$
\Delta^2u-\frac2{x^2}u=0\,.\tag6.3
$$
\proclaim{Lemma 6.1} General solution of the homogeneous equation (6.1) has
the form
$$
u(x)=a(x)u_0(x)+b(x)x^2\,.\tag6.4
$$
where $a(x)$ and $b(x)$ are arbitrary periodic with the period 1 functions,
$$
u_0(x)=\frac12+x+x^2\sum_{k=1}^\infty\frac1{(x-k)^2}\,.\tag6.5
$$
\endproclaim
\proclaim{Lemma 6.2}
The following asymptotic expansion is valid uniformly in any sector
$|\arg x|\ge\alpha>0\:$
$$
u_0(x)=\sum_{m=1}^\infty (-1)^mB_m\frac1{x^{2m-1}}\,,\tag6.6
$$
where $B_m$ are the Bernoulli numbers: $B_1=\frac15\,,\ B_2=1{30}\,,\
B_3=1{42}\,,\ B_4=\frac1{30}\,,\ B_5=\frac{5}{66}\,\dots $
The function $u_0(x)$ satisfies the relation
$$
u_0(x)--u_0(-x)+\frac{\pi^2x^2}{\sin^2\pi x}\,.\tag6.7
$$
\endproclaim
Let us introduce the Wronski's determinant
$$
W(f,g)(x)=\left(\Delta f(x)\right)\cdot g(x) -f(x)\cdot\Delta g(x)\,,\tag6.8
$$
where $\Delta f(x)=f(x+1)-f(x)\,.$ If $f$ and $g$ are solutions of the
homogeneous equation (6.3) then $W(f,g)$ is a periodic function with period 1.
\proclaim{Corollary}
$$
W(u_0,x^2)=\frac12\,.\tag6.9
$$
\endproclaim
The inverse operator to the operator $L$ is defined in this paper by the
formula
$$
\left(L^{-1}f\right)(x)=2\sum_{k=1}\infty\left[u_0(x)(x-k)^2-u_0(x-k)x^2
\right]f(x-k)\,.\tag6.10
$$
It is not difficult to check that the right side of (6.10) satisfies the
nonhomogeneous equation $Lu=f$ provided the series converges.
Given $R>0\,,\ 0<\alpha<\frac\pi 2\,,$ define the domain
$\Cal D(R,\alpha)$
in the complex plane of the variable $x$ by the inequality
$$
\alpha\le\arg(x+R/\sin\alpha)\le2\pi-\alpha\,,
$$
and denote by the symbol $\Cal X_\gamma\left(\Cal D(R,\alpha)\right)
\,,\,\gamma\ge 0\,$ the Banach space
of complex valued continuous functions defined in
$\Cal D(R,\alpha)$ and analytical in interior points of $\Cal D(R,\alpha)\,,$
possessing the finite norm
$$
\Vert f\Vert_\gamma=\sup_{x\in\Cal D(R,\alpha)}|x|^\gamma|f(x)|\tag6.11
$$
\proclaim{Lemma 6.3} Let $\gamma >3\,.$ The expression (6.10) defines a
bounded operator
$$
L^{-1}\:
\Cal X_\gamma\left(\Cal D(R,\alpha)\right)
\longrightarrow
\Cal X_\gamma-2\left(\Cal D(R,\alpha)\right)\,,
$$
the norm of which can be estimated by a constant depending only on
$\alpha$ and $\gamma\,.$
\endproclaim
\demo{Proof} Using (6.6) we have:
$$
\split
\left\Vert L^{-1}f\right\Vert_{\gamma-2}
&\le \text{const}\cdot
\sup_{x\in\Cal D(R,\alpha)}\sum_{k=1}^\infty \left(|x|^{\gamma-3}\cdot
|x-k|^{-\gamma+2}\right.\\
&\left.+|x|^\gamma\cdot|x-k|^{-\gamma-1}\right)
\Vert f\Vert_\gamma\,.
\endsplit\tag6.12
$$
If $\beta>1$ then
$$
\sum_{k=1}^\infty|x-k|^{-\beta}=\Cal O\left(x^{-\beta+1}\right)\,.\tag6.13
$$
One gets the assertion of Lemma by estimating the right side of (6.12) with
use of (6.13).\qed
\enddemo
Further we consider a Banach space
$\Cal X_\gamma(\ell)$
where $\ell$ is
a segment in the complex plane parallel to the real axis. That space consists
of all bounded complex--valued functions defined on $\ell$ and is endowed with
the norm
$$
\Vert f\Vert_\gamma=\sup_{x\in\ell}|x|^\gamma|f(x)|\,.\tag6.14
$$
Define the operator $L^{-1}\:\Cal X_{\gamma_1}(\ell)\longrightarrow
\Cal X_{\gamma_2}(\ell)$ by the formula (6.10), all functions being prolonged
by zero onto the ''negative continuation'' of the segment $\ell\,,$ {\it i.e.}
onto the ray parallel to the real axis and running to the left from the left
end of the segment $\ell\,.$ Evidently all such operators are bounded provided
the segment $\ell$ does not contain points of the ray [$1\,,+\infty$[\,.
The following lemma is true, one can prove it in the same way as Lemma 6.3.
\proclaim{Lemma 6.4} If $\gamma >3$ and the segment $\ell$ does not intersect
with the ray $[1/2\,,+\infty[$ then the norm of the operator
$$
L^{-1}\:\Cal X_\gamma(\ell)\longrightarrow
\Cal X_{\gamma-2}(\ell)
$$
is bounded by a constant depending only on $\gamma$ and \ $\inf_{x\in\ell}
|\arg x|\,.$
\endproclaim
\medskip
\proclaim{Lemma 6.5} Let $1\le\gamma\le2$ and e segment $\ell$ is contained
wholly in the domain $\Cal D\setminus\Cal D_0$ (see the definition in \S 4),
then the following estimate is valid for the norm of the operator
$L^{-1}\:\Cal X_\gamma(\ell)\longrightarrow\Cal X_{\gamma}(\ell)\:$
$$
\Vert L^{}-1\Vert\le\text{const}\cdot\varepsilon^{-1}\,,\tag6.15
$$
where const depends only on $\gamma$ and $\alpha\,.$ This operator is
Volterra in the following sense. Given a function $\Phi\in\Cal X_0(\ell)$
the operator $I-\varepsilon L^{-1}\Phi\cdot$ has a bounded inverse operator
in the space $\Cal X_\gamma(\ell)\,,$ and its norm depends only of the norm
of the function $\Phi\,$ $\gamma$ and $\alpha\,.$ Here $I$ is the identity
operator, $\Phi\cdot$ is the operator of multiplication by $\Phi\,.$
\endproclaim
\demo{Proof} In the same manner as in the proof of Lemma 6.3, we have
$$
\split
\left\Vert L^{-1}f\right\Vert_\gamma
&\le \text{const}\cdot
\sup_{x\in\ell}\sum_{1\le k\le |\text{Re}x+\frac1{\sqrt\varepsilon}}
\left(|x|^{\gamma-1}\cdot
|x-k|^{-\gamma+2}\right.\\
&\left.+|x|^\gamma+2\cdot|x-k|^{-\gamma-1}\right)
\Vert f\Vert_\gamma\,.
\endsplit\tag6.16
$$
Let us introduce variables
$$
t=1+\sqrt\varepsilon\text{Re}x\,,\qquad\tilde t=1+\sqrt\varepsilon
(\text{Re}x-k)\,.\tag6.17
$$
Then the sum in the right side of (6.16) can be evaluated by the integral
$$
\frac1\varepsilon\int_0^t\left[(1-t+\frac\pi 2)^{\gamma-1}(1-\tilde t)^{2-
\gamma}+(1-t+\frac\pi 2)^{2+\gamma}(1-\tilde t)^{-1-\gamma}\right]\,d\tilde t
\,,\tag6.18
$$
which implies immediately the first assertion of Lemma. Since the integrand
in (6.18) is a bounded function,one obtains, applying usual Volterra estimates
of the terms of the sequence $f_0=f\,,\ f_{n+1}=\varepsilon L^{-1}\Phi
\cdot f_n\,,$ the second assertion of Lemma.\qed\enddemo
\heading \S 7. Proof of Theorem 1
\endheading
It is convenient to pass from a system of difference equation of the first
order (3.1) to one equation of the second order
$$
\Delta^2u(x)=\text e^{u(x)}\,.\tag7.1
$$
It is sufficient to prove the existence an uniqueness of an analytical solution
of the equation (7.1) which admits for $\text{Re}x\le-R<0$ the form
$$
u(x)=-\ln\frac{x^2}2+\xi(x)\,,\tag7.2
$$
where
$$
\xi(x)=\Cal O\left(x^2\right)\,.\tag7.3
$$
Note that, if we find the existence and uniqueness of such a function $\xi(x)$
for $\text{Re}x\le-R<0\,,$ then $u(x)$ can be restored by means of (7.1) on
the whole complex plane.
One can rewrite the equation (7.1) in terms of the function $\xi(x)$ in the
form
$$
\Delta^2\xi(x)-\frac2{x^2}\xi(x)=\Phi(x,\xi(x))\,,\tag7.4
$$
where
$$
\Phi(x,\xi)=-2\ln\left(1-\frac1{x^2}\right)-\frac2{x^2}+\frac2{x^2}\left(
\text e^\xi-1-\xi\right)\,.\tag7.5
$$
The equation (7.4) together with condition (7.3) posed on the behaviour of
$\xi(x)$ as $x\to\infty$ is equivalent to one equation
$$
\xi=F(\xi)\,,\tag7.6
$$
where
$$
F(\xi)=L^{-1}\Phi(\xi)\,,\qquad\Phi(\xi)(x)=\Phi(x,\xi(x))\,.\tag7.7
$$
We will consider the equation (7.6) in $\Cal X_2\left(\Cal D(R,\alpha)\right)$
(see \S 6). Denote by $B$ the unit closed ball with the center at $0$ in that
space. If $R$ in the definition of the domain $\Cal D(R,\alpha)$ is sufficiently
large, $\xi\,,\ \xi_1\,,\ \xi_2\,\in B\,,$ then the following estimates are
true:
$$
\gather
\Vert\Phi(\xi)\Vert_4\le\text{const}\frac{\Vert\xi\Vert_2}
{R^2}+\frac23\,,\tag7.8\\
\Vert\Phi(\xi_1)-\Phi(\xi_2)\Vert_4\le\frac{\text{const}}{R^2}
\Vert\xi_1-\xi_2\Vert_2\,.\tag7.9
\endgather
$$
The estimate (7.8) and Lemma 6.3 imply that, for sufficiently large $R\,,$
the sequence $\xi_n\,,\ n=0\,,1\,,2\,,\dots\,,\ \xi_0=0\,,\
\xi_{n+1}=F(\xi_n)\,,$ is contained in $B\,.$ The estimate (7.9) shows
its convergence in $B$ for sufficiently large $R\,.$
One can easily prove the assertion about an asymptotic expansion following
the same lines. Fix an arbitrary natural number $N$ and introduce a function
$\eta$ by setting
$$
u(x)=-\ln\frac{x^2}2+\sum_{k=0}^N\frac{a_k}{x^{2k}}+\eta(x)\,.\tag7.10
$$
We have an equation for defining $\eta(x)\:$
$$
\split
L\eta(x)
&= 2\ln\left(1-\frac1{x^2}\right)
+\sum_{k=1}^{N+1}\frac2k
\cdot\frac1{x^{2k}}\\
&+\frac2{x^2}\left[\text e^{\sum_{k=1}^Na_kx^{-2k}
+\eta(x)}-1-\eta(x)-\sum_{k=1}^{N+1}\frac2k\cdot\frac1{x^{2k}}+
\frac{x^2}2\sum_{k=1}^{N+1}a_k\Delta^2\frac1{x^{2k}}\right]
\endsplit\tag7.11
$$
We choose the numbers $a_k$ so that the expression in brackets in the right
side of (7.11) admits the estimate
$$
\Cal O\left(\eta^2\right)+\Cal O\left(\frac1{x^2}\eta\right)+
\Cal O\left(\frac1{x^{2N+2}}\right)\,.\tag7.12
$$
Then one has to reverse the operator $L$ and to resolve the obtained equation
in the space $\Cal X_{2N+2}\left(\Cal D(R,\alpha)\right)\,.$
The uniqueness of a solution of the equation (7.6) with the condition (7.3)
follows also from the estimates (7.8) and (7.9). The first one shows that,
for $R$ sufficiently large, a solution belongs to $B\,.$ The second one that
the nonlinear operator $F$ defined by the formula (7.7) is a contracting
operator.
\heading \S 8. Proof of Theorem 4
\endheading
Fix a constant $C>0\,.$ The system (2.7) together with the condition (4.3)
is equivalent to one equation
$$
X_-(t)=C\text e^t+F\bigl(X_-\bigr)(t)\,,\tag8.1
$$
where
$$
\gather
F\bigl(X\bigr)(t)=\frac{\sqrt\varepsilon}{\sqrt{1+\varepsilon/4}}
\sum_{k=1}^\infty\Phi\bigl(X(t-kh)\bigr)\,\sinh kh\,,\tag8.2\\
\Phi(x)=\sin x - x\,.\tag8.3
\endgather
$$
Consider the equation (8.1) in the ball of radius 10 with center at the origin
in Banach space of functions analytic in a halfplane $\text{Re}t<-R<0\,,$
continuous in the closure of that halfplane endowed with a norm
$$
\Vert X\Vert=\sup_{\text{Re}t0\,,\ b>0\,\ ab<1/4\,,$ and
$$
y_1