
============

Existence of formal constants of motion
---------------------------------------

Under the assumptions at the beginning of §\[D1\] we have

\[regcom\] Let $\mathcal{S}_y$ be an $R$-domain of type $\alpha$, and $$\mathcal{S}_1=\{y\in \mathcal{S}_y: |\pi(y)|< M_0 ~{\rm and}
~|\pi(y)-p_k|>\epsilon ~{\rm for~all~}k\}$$ where $M_0>0$ is an arbitrary constant. Let $\mathcal{C}$ be the union of $m$ circular paths surrounding $\alpha_k\in\ZZ$ times the root $p_k$, $k=1,\ldots,m$, chosen so that $$\label{eq:eqnontr}
\int_{\mathcal{C}}\frac{1}{P_0(y)}dy\neq0
.$$ Then, if $R_0$ is large enough, there exists a formal constant of motion in $$\mathcal{D}_1=\{(x,y):|x|>R_0,y\in\mathcal{S}_1\}$$ of the form. The terms $F_k$ in the expansion of $\tilde{C}$ in can be calculated by quadratures.

Actual constants of motion are obtained in Theorem \[T1\].

Consider now a set $\mathcal{S}$ of curves $\gamma$, $|\gamma(t)|\to\infty$ as $t\to\infty$, with the property that for all $t_1<t_2$ and all $n$ (which is in fact equivalent to for $n=0,1$ ) $$\label{eq:restrgam}
  \left| \Re \displaystyle \int_{\gamma(t_1)}^{\gamma(t_2)} \frac{\partial}{\partial y}Q_1(y,\gamma(t))|_{y=y_n(\gamma(t))}\gamma'(t)dt\right|\leqslant b\log(|\gamma(t_2)/\gamma(t_1)|+1)
 ,$$ where $b>0$ is a constant, and such that there is an $M$ so that for all $n$ we have $|y_n|<M$ along $\gamma$. Here $M$ can be chosen large if $x$ is large.
= = = = = = = = = = = = 

 Existence of formal constants of motion 
 --------------------------------------- 

 Under the assumptions at the beginning of § \[D1\ ] we get 

 \[regcom\ ] lease $ \mathcal{S}_y$ be an $ R$-domain of type $ \alpha$, and $ $ \mathcal{S}_1=\{y\in \mathcal{S}_y: |\pi(y)| < M_0 ~{\rm and } 
 ~|\pi(y)-p_k|>\epsilon ~{\rm for ~ all~}k\}$$ where $ M_0>0 $ is an arbitrary constant. Let $ \mathcal{C}$ be the union of $ m$ round paths surrounding $ \alpha_k\in\ZZ$ times the beginning $ p_k$, $ k=1,\ldots, m$, chosen so that $ $ \label{eq: eqnontr } 
 \int_{\mathcal{C}}\frac{1}{P_0(y)}dy\neq0 
 .$$ Then, if $ R_0 $ is large enough, there exist a formal constant of motion in $ $ \mathcal{D}_1=\{(x, y):|x|>R_0,y\in\mathcal{S}_1\}$$ of the shape. The terms $ F_k$ in the expansion of $ \tilde{C}$ in can be calculated by quadrature. 

 Actual constants of motion are obtained in Theorem \[T1\ ]. 

 Consider now a set $ \mathcal{S}$ of curves $ \gamma$, $ |\gamma(t)|\to\infty$ as $ t\to\infty$, with the place that for all $ t_1 < t_2 $ and all $ n$ (which is in fact equivalent to for $ n=0,1 $) $ $ \label{eq: restrgam } 
   \left| \Re \displaystyle \int_{\gamma(t_1)}^{\gamma(t_2) } \frac{\partial}{\partial y}Q_1(y,\gamma(t))|_{y = y_n(\gamma(t))}\gamma'(t)dt\right|\leqslant b\log(|\gamma(t_2)/\gamma(t_1)|+1) 
 , $ $ where $ b>0 $ is a constant, and such that there is an $ M$ so that for all $ n$ we own $ |y_n|<M$ along $ \gamma$. Here $ M$ can be chosen large if $ x$ is bombastic.

============

Exidtence of formal constanus of motion
---------------------------------------

Under the asvumptikns at tfe beginning of §\[D1\] we have

\[regrom\] Oet $\mqthcal{S}_y$ be an $R$-domain of type $\wlpha$, ane $$\mauhcal{S}_1=\{y\in \mathcal{S}_y: |\pi(y)|< M_0 ~{\rm ans}
~|\ii(y)-p_k|>\zpwilon ~{\rm for~alk~}k\}$$ where $M_0>0$ is an arbitrasy clnstant. Let $\mathcal{C}$ be the union os $m$ cirvupar paths surrjundpnd $\allha_k\in\ZZ$ times the root $p_k$, $k=1,\ldots,m$, chosen so that $$\labek{eq:eqnontr}
\int_{\mathcal{C}}\frac{1}{P_0(j)}dy\nfq0
.$$ Then, if $R_0$ is lagge enough, jgerq exists a fofmal constant of motioh in $$\mathcal{D}_1=\{(x,y):|x|>R_0,y\in\mathcal{S}_1\}$$ of the yorm. The tetma $V_n$ in the ex'ansiog of $\tilde{C}$ lm can te calcilated by quadvaturxs.

Acrual constants of motmon are obtained in Jheorem \[T1\].

Cmnaider now a set $\mqtycal{S}$ of wurvdw $\gxmmz$, $|\jamja(t)|\to\ijftb$ as $t\to\inffy$, with the property that for slj $t_1<t_2$ and all $n$ (which if in fact equivalent to for $n=0,1$ ) $$\label{eq:rtstrgzm}
  \left| \Re \displaystylw \int_{\gamma(t_1)}^{\gamma(t_2)} \fraf{\partial}{\pwrtial y}Q_1(y,\gamma(t))|_{y=y_n(\gamma(t))}\gamma'(t)dt\right|\leqslant b\lmg(|\gamjx(t_2)/\gcnma(t_1)|+1)
 ,$$ qhfre $b>0$ is a constant, and such that there is an $J$ xo that for all $k$ we have $|y_n|<M$ alonb $\hakia$. Here $M$ can be choseh large if $x$ is lagge.
============ Existence of formal constants of motion the at the of §\[D1\] we an of type $\alpha$, $$\mathcal{S}_1=\{y\in \mathcal{S}_y: |\pi(y)|< ~{\rm and} ~|\pi(y)-p_k|>\epsilon ~{\rm for~all~}k\}$$ where is an arbitrary constant. Let $\mathcal{C}$ be the union of $m$ circular paths $\alpha_k\in\ZZ$ times the root $p_k$, $k=1,\ldots,m$, chosen so that $$\label{eq:eqnontr} \int_{\mathcal{C}}\frac{1}{P_0(y)}dy\neq0 .$$ Then, $R_0$ large there a formal constant of motion in $$\mathcal{D}_1=\{(x,y):|x|>R_0,y\in\mathcal{S}_1\}$$ of the form. The terms $F_k$ in the expansion $\tilde{C}$ in can be calculated by quadratures. Actual of motion are obtained Theorem \[T1\]. Consider now a $\mathcal{S}$ curves $\gamma$, as with property that for $t_1<t_2$ and all $n$ (which is in fact equivalent to for $n=0,1$ ) $$\label{eq:restrgam} \left| \Re \displaystyle \frac{\partial}{\partial y}Q_1(y,\gamma(t))|_{y=y_n(\gamma(t))}\gamma'(t)dt\right|\leqslant where $b>0$ a and that there is so that for all $n$ we $\gamma$. Here $M$ can be chosen large if is large.

============

Existence of formal constantS of motion
---------------------------------------

UNder tHe aSsuMpTionS at tHe beginning of §\[D1\] WE havE

\[regcom\] Let $\mathcal{S}_y$ be aN $R$-domAiN Of tyPE $\aLpha$, aNd $$\mathcAL{S}_1=\{Y\IN \maThCaL{S}_y: |\Pi(Y)|< m_0 ~{\rM and}
~|\pI(y)-p_K|>\epsiloN ~{\rm for~all~}k\}$$ WheRe $m_0>0$ is an arbitraRY cOnstant. Let $\MatHcal{C}$ be the unIon Of $m$ cirCuLar PAths sUrrOundiNg $\alphA_K\in\ZZ$ tImes the roOt $P_K$, $k=1,\ldotS,M$, chosen SO ThAt $$\laBel{eq:eqnontr}
\int_{\maTHcAL{C}}\frac{1}{P_0(y)}dy\neq0
.$$ THen, if $R_0$ Is LArGE EnoUgh, There existS a FormaL ConstanT Of MOTIon IN $$\mathcal{D}_1=\{(x,y):|x|>R_0,Y\in\mathcal{S}_1\}$$ OF thE form. THe TerMS $F_k$ in tHe expAnSIon Of $\tilde{C}$ in cAn be CalculateD by quaDRatures.

aCtual coNstantS of MotIon aRE oBtAinEd IN ThEOrEm \[T1\].

cOnsIder now a SeT $\mAthcaL{S}$ of CURVEs $\gaMma$, $|\GammA(t)|\to\iNfty$ as $t\to\inftY$, wiTh thE ProPerty That fOr alL $t_1<T_2$ and aLl $n$ (whiCh is iN fAct equivalent to For $n=0,1$ ) $$\Label{eq:reStrGaM}
  \leFt| \re \disPLaystyLe \iNt_{\gAmma(t_1)}^{\gaMma(t_2)} \fraC{\ParTiAL}{\PArTial y}Q_1(y,\gamma(t))|_{y=y_n(\gaMmA(T))}\GaMma'(t)dt\riGht|\leqSLaNt B\Log(|\gamma(T_2)/\gAmmA(t_1)|+1)
 ,$$ whERE $b>0$ is a ConsTAnT, and such That thERe Is An $M$ so thAt For all $N$ wE haVe $|y_N|<M$ aloNG $\gamMa$. Here $m$ can be chOsen lARge if $x$ is large.

============

Existence o f formal c onsta nts  of  m otio n
-- -------------- - ---- ------------------

Un der t he assu m pt ionsat theb eg i n nin gof  §\ [D 1 \]  we h ave 

\[reg com\] Let$\m at hcal{S}_y$ b e  a n $R$-doma inof type $\al pha $, and  $ $\m a thcal {S} _1=\{ y\in \ m athcal {S}_y: |\ pi ( y)|< M _ 0 ~{\rm a nd }
~| \pi(y)-p_k|>\epsi l on ~{\rm for~all~ }k\}$$  w h er e $M_ 0>0 $ is an ar bi trary constan t .L e t  $\ m athcal{C}$ be  the uniono f $ m$ cir cu lar pathssurro un d ing  $\alpha_k\ in\Z Z$ timesthe ro o t $p_k$ ,  $k=1,\ ldots, m$,  ch osen so  t hat  $ $ \la b el {eq : eqn ontr}
\i nt _{ \math cal{ C } } \ frac {1} {P_0 (y)}d y\neq0
.$$ Th en,  if$ R_0 $ islarge  eno ug h, th ere ex istsaformal constant  ofmotion in  $$ \m ath ca l{D}_ 1 =\{(x, y): |x| >R_0,y\ in\math c al{ S} _ 1 \ }$ $ of the form. The  t e r ms  $F_k$ i n thee xp an s ion of $ \t ild e{C} $ in ca n be ca lculated  by qu a dr at ures.
Ac tual c on sta nts  of m o tion  are o btainedin Th e orem \[T1\].
C onsider now a se t $\ m athc al{ S}$ of curv es $ \ gamm a$,$ |\ gam m a(t)| \to\i nf t y$ as $t\to\infty$, wi th  the p roper ty that for a ll $t_1<t_ 2 $ and all$n$( wh i ch is in factequiv alent to f o r $n=0,1 $ ) $ $\label{ eq:restrg a m }
  \lef t|\Re  \d isp l a ys tyle \int_{\g a m ma(t _1 )}^{\ga mma (t_2)}\fr ac{ \pa rti al }{\partia l y}Q_1( y, \g am ma (t) )|_{y = y_n(\gam ma (t) )} \ga mma'( t )dt\ri ght|\ leqs la nt b\l og(|\ga m ma ( t _2)/ \g am ma(t _1) |+ 1)
 , $$ w h ere  $b>0$is a cons tan t , an dsu ch that  there is an$M $ so thatfo r a ll $n$ w e have $ |y_n|<M$ along $\gamma$ .  Here $ M$can b e ch osen larg e i f $x$isl arge.

============

Existence of_formal constants_of motion
---------------------------------------

Under the assumptions_at the_beginning_of §\[D1\]_we_have

\[regcom\] Let $\mathcal{S}_y$_be an $R$-domain_of type $\alpha$, and_$$\mathcal{S}_1=\{y\in \mathcal{S}_y: |\pi(y)|<_M_0_~{\rm and}
~|\pi(y)-p_k|>\epsilon ~{\rm for~all~}k\}$$ where $M_0>0$ is an arbitrary constant. Let $\mathcal{C}$ be the_union_of $m$_circular_paths_surrounding $\alpha_k\in\ZZ$ times the root_$p_k$, $k=1,\ldots,m$, chosen so that_$$\label{eq:eqnontr}
\int_{\mathcal{C}}\frac{1}{P_0(y)}dy\neq0
.$$ Then,_if $R_0$ is large enough, there exists a_formal_constant of motion_in $$\mathcal{D}_1=\{(x,y):|x|>R_0,y\in\mathcal{S}_1\}$$ of the form. The terms $F_k$ in_the expansion of $\tilde{C}$ in can_be calculated by_quadratures.

Actual_constants_of motion are obtained_in Theorem \[T1\].

Consider now a set_$\mathcal{S}$ of curves $\gamma$, $|\gamma(t)|\to\infty$ as_$t\to\infty$, with the property that for all_$t_1<t_2$ and all $n$ (which is_in fact equivalent to for_$n=0,1$ )_$$\label{eq:restrgam}
  \left| \Re \displaystyle_\int_{\gamma(t_1)}^{\gamma(t_2)} \frac{\partial}{\partial y}Q_1(y,\gamma(t))|_{y=y_n(\gamma(t))}\gamma'(t)dt\right|\leqslant_b\log(|\gamma(t_2)/\gamma(t_1)|+1)
 ,$$_where $b>0$ is_a constant, and such that there_is an $M$_so that for all $n$ we_have_$|y_n|<M$ along $\gamma$._Here_$M$_can be_chosen large if_$x$_is large.