),1/s)+s^{-2}Q_2(y(s),1/s) \right]ds
,\end{gathered}$$ where $F_0(x)=O(x^{-M})$ ($M$ can be chosen arbitrarily large in the normalization process, [@Duke]) and $F_0(x_0)=0$. It is straightforward to show that for (\[eq:intfor\]) is contractive in the norm $\|y\|=\sup_{x\in\mathcal{S}_c}|x^{M-1} y(x)|$ (see the beginning of this section) and thus it has a unique solution in this space. Hence, by uniqueness, the solution of the ODE with $y(x_0)=y_0$, has the property $y(x)\to 0$ as $x\to\infty$. The rest of (i) now follows from [@Duke].

\(ii) We see from Proposition \[trans\] that $y(x;C)$ is analytic in a domain of the form $\mathcal{S}_c\times \mathbb{D}_\rho$ (As usual, $\mathbb{D}_\rho$ denotes the disk of radius $\rho$.) We look at the rhs of as a function $H(x,C)$. It follows from [@Duke] that $y_1(x)=x^{-1}(1+o(1/x))$. By uniform convergence, we clearly have $$\label{eq:difh}
  \frac{\partial H}{\partial C}=\sum_{k=0}^{\infty}kC^{k-1} x^{ka+1}e^{-kx} y_k=e^{-x}x^a(1+o(1))\ne 0
.$$ The rest follows from the implicit function theorem.

As a result of Theorem \[T1\] and Proposition \[ptranss\] we have the following:

\[C1\] If $G_0$ in approaches a root of $P_0$ and $x$ is large enough, then $y$ enters a transseries region, where the new constant is given, after normalization, by Proposition \[ptranss\] (ii); thus the constants of motion in different regions match.

Proofs and further results
==========================

Proof of Theorem \[regcom\]
---------------------------

Let $(x_0,y_0)\in\mathcal
), 1 / s)+s^{-2}Q_2(y(s),1 / s) \right]ds 
, \end{gathered}$$ where $ F_0(x)=O(x^{-M})$ ($ M$ can be chosen arbitrarily large in the normalization procedure, [ @Duke ]) and $ F_0(x_0)=0$. It is square to show that for (\[eq: intfor\ ]) is contractive in the norm $ \|y\|=\sup_{x\in\mathcal{S}_c}|x^{M-1 } y(x)|$ (see the beginning of this department) and thus it has a singular solution in this distance. Hence, by uniqueness, the solution of the ODE with $ y(x_0)=y_0 $, has the property $ y(x)\to 0 $ as $ x\to\infty$. The respite of (i) now follow from [ @Duke ]. 

 \(ii) We see from Proposition \[trans\ ] that $ y(x;C)$ is analytic in a domain of the form $ \mathcal{S}_c\times \mathbb{D}_\rho$ (As usual, $ \mathbb{D}_\rho$ denotes the disk of radius $ \rho$.) We search at the rhs of as a function $ H(x, C)$. It follows from [ @Duke ] that $ y_1(x)=x^{-1}(1+o(1 / x))$. By undifferentiated convergence, we clearly have $ $ \label{eq: difh } 
   \frac{\partial H}{\partial C}=\sum_{k=0}^{\infty}kC^{k-1 } x^{ka+1}e^{-kx } y_k = e^{-x}x^a(1+o(1))\ne 0 
 .$$ The rest come from the implicit function theorem. 

 As a result of Theorem \[T1\ ] and Proposition \[ptranss\ ] we have the following: 

 \[C1\ ] If $ G_0 $ in approaches a ancestor of $ P_0 $ and $ x$ is large enough, then $ y$ enters a transseries region, where the new constant is given, after normalization, by Proposition \[ptranss\ ] (ii); thus the constants of motion in different regions match. 

 Proofs and further results 
 = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Proof of Theorem \[regcom\ ] 
 --------------------------- 

 Let $ (x_0,y_0)\in\mathcal
),1/s)+s^{-2}Q_2(j(s),1/s) \right]ds
,\end{gathered}$$ wmere $F_0(x)=O(x^{-M})$ ($M$ can be choven argitrarilh large in the normalization peocesw, [@Duke]) and $F_0(x_0)=0$. It is stfaightforaard to whow rhat for (\[eq:intfor\]) lf cohbractnvx in the norm $\|y\|=\xup_{x\in\mathwal{S}_c}|x^{M-1} y(x)|$ (see tfe beginning of this section) and thus it has a unique solutijn im thia space. Hence, by uniqueness, the somution mf the ODE wiyh $y(x_0)=y_0$, has the property $y(x)\ho 0$ ws $x\to\infty$. The redt of (i) now foljiws from [@Dukd].

\(ii) We see from Proposjtion \[trans\] that $y(x;C)$ is analytiz in c domain of tye vmrm $\mathcal{W}_c\timvs \mathbb{D}_\rho$ (As usuan, $\mathbn{D}_\rho$ denotes bhe dmsk if radius $\rho$.) We look at the rhs of as w functiot $K(x,C)$. It follows from [@Dykw] thaj $y_1(x)=x^{-1}(1+m(1/x))$. Bh unkfodm cknvergfncx, we clearlg have $$\labeo{eq:difh}
  \frac{\partiak R}{\isrtial C}=\sum_{k=0}^{\jnfty}kS^{k-1} x^{ka+1}e^{-kx} y_k=e^{-x}x^a(1+o(1))\ne 0
.$$ The rest follows frok tge implicit function thworem.

As a result of Tjeorem \[T1\] wnd Proposition \[ptranss\] we have the following:

\[C1\] If $G_0$ in xppxiacher a root of $P_0$ and $x$ is large enough, then $y$ enterf a tgansseries region, where the mea vjnstant is gixen, afcsr normalization, by Oroposijion \[prranss\] (ii); thux the constants of motion ib different gegiins match.

Proofs anb further rerultx
==========================

Proog of Theorem \[regcom\]
---------------------------

Let $(r_0,y_0)\in\mafhcal
),1/s)+s^{-2}Q_2(y(s),1/s) \right]ds ,\end{gathered}$$ where $F_0(x)=O(x^{-M})$ ($M$ can arbitrarily in the process, [@Duke]) and show for (\[eq:intfor\]) is in the norm y(x)|$ (see the beginning of this and thus it has a unique solution in this space. Hence, by uniqueness, solution of the ODE with $y(x_0)=y_0$, has the property $y(x)\to 0$ as $x\to\infty$. rest (i) follows [@Duke]. \(ii) We see from Proposition \[trans\] that $y(x;C)$ is analytic in a domain of the $\mathcal{S}_c\times \mathbb{D}_\rho$ (As usual, $\mathbb{D}_\rho$ denotes the disk radius $\rho$.) We look the rhs of as a $H(x,C)$. follows from that By convergence, we clearly $$\label{eq:difh} \frac{\partial H}{\partial C}=\sum_{k=0}^{\infty}kC^{k-1} x^{ka+1}e^{-kx} y_k=e^{-x}x^a(1+o(1))\ne 0 .$$ The rest follows from the implicit function theorem. As result of and Proposition we the \[C1\] If $G_0$ a root of $P_0$ and $x$ then $y$ enters a transseries region, where the constant is after normalization, by Proposition \[ptranss\] (ii); the constants of motion in different regions match. and further results ========================== Proof of Theorem \[regcom\] --------------------------- Let $(x_0,y_0)\in\mathcal
),1/s)+s^{-2}Q_2(y(s),1/s) \right]ds
,\end{gathered}$$ wHere $F_0(x)=O(x^{-M})$ ($M$ Can be ChoSen ArBitrArilY large in the norMAlizAtion process, [@Duke]) and $F_0(x_0)=0$. IT is stRaIGhtfORwArd to Show thaT FoR (\[EQ:inTfOr\]) Is cOnTRaCtive In tHe norm $\|y\|=\Sup_{x\in\mathCal{s}_c}|X^{M-1} y(x)|$ (see the beGInNing of this SecTion) and thus iT haS a uniqUe SolUTion iN thIs spaCe. HencE, By uniqUeness, the SoLUtion oF The ODE wITH $y(X_0)=y_0$, haS the property $y(x)\to 0$ aS $X\tO\Infty$. The rest of (I) now foLlOWs FROm [@DUke].

\(Ii) We see froM PRoposITion \[traNS\] tHAT $Y(x;C)$ IS analytic in a dOmain of the fORm $\mAthcal{s}_c\TimES \mathbB{D}_\rho$ (as USuaL, $\mathbb{D}_\rho$ DenoTes the disK of radIUs $\rho$.) We LOok at thE rhs of As a FunCtioN $h(x,c)$. IT foLlOWs fROm [@dukE] ThaT $y_1(x)=x^{-1}(1+o(1/x))$. By UnIfOrm coNverGENCE, we cLeaRly hAve $$\laBel{eq:difh}
  \frac{\ParTial h}{\ParTial C}=\Sum_{k=0}^{\iNfty}KC^{K-1} x^{ka+1}e^{-Kx} y_k=e^{-x}X^a(1+o(1))\ne 0
.$$ thE rest follows froM the Implicit fUncTiOn tHeOrem.

AS A resulT of theOrem \[T1\] anD ProposITioN \[pTRANsS\] we have the followinG:

\[C1\] iF $g_0$ iN approacHes a roOT oF $P_0$ ANd $x$ is larGe EnoUgh, tHEN $y$ entErs a TRaNsseries Region, WHeRe The new cOnStant iS gIveN, afTer noRMaliZation, By ProposItion \[PTranss\] (ii); thus thE Constants of moTIoN IN dIFferEnt Regions matcH.

ProOFs anD furTHeR reSUlts
==========================

PRoof oF THEoREm \[regcom\]
---------------------------

Let $(x_0,y_0)\in\mathCaL
),1/s)+s^{-2}Q_2(y(s),1/s)  \right]ds 
,\en d{g ath er ed}$ $ wh ere $F_0(x)=O( x ^{-M })$ ($M$ can be chosen  arbi tr a rily la rge i n the n o rm a l iza ti on  pr oc e ss , [@D uke ]) and$F_0(x_0)= 0$.  I t is straigh t fo rward to s how  that for (\ [eq :intfo r\ ])i s con tra ctive  in th e  norm$\|y\|=\s up _ {x\in\ m athcal{ S } _c }|x^ {M-1} y(x)|$ (see th e  beginning ofthis s ec t io n )  an d t hus it has  a  uniq u e solut i on i n  th i s space. Henc e, by uniqu e nes s, the  s olu t ion of  theOD E  wi th $y(x_0)= y_0$ , has the  prope r ty $y(x ) \to 0$as $x\ to\ inf ty$. Th eres to f ( i )now fol lows fro m[@ Duke] .

\ ( i i )  Wesee  fro m Pro position \[tr ans \] t h at$y(x; C)$ i s an al yticin a d omain  o f the form $\ma thca l{S}_c\ti mes  \ mat hb b{D}_ \ rho$ ( Asusu al, $\m athbb{D } _\r ho $ d en otes the disk of r ad i u s$\rho$.)  We lo o kat the rhsof  as  a f u n ction  $H( x ,C )$. It f ollows fr om  [@Duke ]that $ y_ 1(x )=x ^{-1} ( 1+o( 1/x))$ . By uni formc onvergence, we clearly have$ $\ l a be l {eq: dif h}
  \frac{ \par t ialH}{\ p ar tia l  C}=\ sum_{ k= 0 }^ { \infty}kC^{k-1} x^{ ka +1}e^{ -kx}y_k=e^{-x}x^a (1+o(1))\n e 0 
.$$ The  res t  f o llows from the  impl icit funct i on theor em.
As a res ult of Th e o rem \[T1 \]and  Pr opo s i ti on \[ptranss\ ] we h av e the f oll owing:
\[ C1\ ] I f $ G_ 0$ in app roachesaro ot  o f $ P_0$a nd $x$ i slar ge  en ough, then $ y$ en ters  a  t r ans seriesr eg i o n, w he re  the  ne wconst anti s g iven, a fter norm ali z atio n,  b y Propo sition \[ptra ns s\] (ii);th usthe co n s tants of  motion in different re g ions ma tch .

Pr oofs  and furt her  resul ts= ====== ====== ===== == === = = =

Pr o o fofTh eorem \[re g c om\ ]
--- -- ---- ------- -----------

Let $ ( x_0 ,y_0)\in\math cal 
),1/s)+s^{-2}Q_2(y(s),1/s) \right]ds
,\end{gathered}$$_where $F_0(x)=O(x^{-M})$_($M$ can be chosen_arbitrarily large_in_the normalization_process,_[@Duke]) and $F_0(x_0)=0$._It is straightforward_to show that for_(\[eq:intfor\]) is contractive_in_the norm $\|y\|=\sup_{x\in\mathcal{S}_c}|x^{M-1} y(x)|$ (see the beginning of this section) and thus it has_a_unique solution_in_this_space. Hence, by uniqueness, the_solution of the ODE with_$y(x_0)=y_0$, has_the property $y(x)\to 0$ as $x\to\infty$. The rest_of_(i) now follows_from [@Duke].

\(ii) We see from Proposition \[trans\] that $y(x;C)$_is analytic in a domain of_the form $\mathcal{S}_c\times_\mathbb{D}_\rho$_(As_usual, $\mathbb{D}_\rho$ denotes the_disk of radius $\rho$.) We look_at the rhs of as a_function $H(x,C)$. It follows from [@Duke] that_$y_1(x)=x^{-1}(1+o(1/x))$. By uniform convergence, we clearly_have $$\label{eq:difh}
  \frac{\partial H}{\partial_C}=\sum_{k=0}^{\infty}kC^{k-1} x^{ka+1}e^{-kx}_y_k=e^{-x}x^a(1+o(1))\ne 0
.$$ The rest follows_from the implicit_function theorem.

As_a result of_Theorem \[T1\] and Proposition \[ptranss\] we_have the following:

\[C1\]_If $G_0$ in approaches a root_of_$P_0$ and $x$_is_large_enough, then_$y$ enters a_transseries_region, where_the_new constant is given, after normalization,_by_Proposition \[ptranss\] (ii); thus the constants of_motion in different regions_match.

Proofs_and further results
==========================

Proof of_Theorem \[regcom\]
---------------------------

Let $(x_0,y_0)\in\mathcal