No label defined (Q4025601)

[For part I, cf. ibid., No. 3, 407-417 (1992; Zbl 0763.34018).] Consider the \(C^ 3\) system (1) \(\dot x=f(x,y)+\alpha f_ 0(x,y,\alpha,\delta)\), \(\dot y=g(x,y)+\alpha g_ 0(x,y,\alpha,\delta)\) where \(\alpha\in R\), \(\delta\in R^ n\), \(n\geq 1\). Assume \((1)_{\alpha=0}\) has a separatrix cycle \(L_ 0\) of the form \(\infty\), where the double point \(N\) is a weak saddle with \(\sigma_ 0=(f_ x+g_ y)_ N=0\), and the two trajectories passing through \(N\) are \(z_ 1(t)\) and \(z_ 2(t)\). Theorem 1. If \(\sigma_ 1+\sigma_ 2<0\) \((>0)\), then \(L_ 0\) is outer stable (unstable) for \((1)_{\alpha=0}\), where \(\sigma_ i=\int^ \infty_{-\infty}(f_ x+g_ y)(z_ i(t))dt\) \((i=1,2)\) are finite numbers, by a former theorem. Next, denote \[ M_ i(\delta)=\int^ \infty_{-\infty}e^{-\int^ t_ 0(f_ x+g_ y)dt}\cdot (fg_ 0-gf_ 0)_{{\alpha=0\atop z=z_ i(t)}}dt,\;i=1,2. \] Theorem 2. Assume \(\sigma_ 0=0\), \(\sigma_ 1+\sigma_ 2\neq 0\), then for sufficiently small \(|\alpha|\) and \(|\delta-\delta_ 0|\), in a small neighbourhood of \(L_ 0\) there is a unique limit cycle (no limit cycle) of (1), when \(\alpha(\sigma_ 1+\sigma_ 2)M_ i(\delta_ 0)<0\) \((>0)\), \(i=1,2\). Some similar theorems are also proved when \((1)_{\alpha=0}\) has a family of closed orbits \(L_ \lambda\) outside \(L_ 0(L_ \lambda\to L_ 0\) when \(\lambda\to 0)\), by using \(M_ 1(\delta_ 0)+M_ 2(\delta_ 0)\) and its derivative instead of \(M_ i(\delta_ 0)\). The authors also point out that the uniqueness of limit cycles in a certain theorem in \textit{J. Carr}'s book ``Application of centre manifold theory'' (1981; Zbl 0464.58001) was not strictly proved.