Lyapunov-Schmidt reduction for unfolding heteroclinic networks of equilibria and periodic orbits with tangencies

This article concerns arbitrary finite heteroclinic networks in any phase space dimension whose vertices can be a random mixture of equilibria and periodic orbits. In addition, tangencies in the intersection of un/stable manifolds are allowed. The main result is a reduction to algebraic equations of the problem to find all solutions that are close to the heteroclinic network for all time, and their parameter values. A leading order expansion is given in terms of the time spent near vertices and, if applicable, the location on the non-trivial tangent directions. The only difference between a periodic orbit and an equilibrium is that the time parameter is discrete for a periodic orbit. The essential assumptions are hyperbolicity of the vertices and transversality of parameters. Using the result, conjugacy to shift dynamics for a generic homoclinic orbit to a periodic orbit is proven. Finally, equilibrium-to-periodic orbit heteroclinic cycles of various types are considered.     

Existence of the Broucke periodic orbit and its linear stability

In this paper, we study the existence and linear stability of the Broucke periodic orbit in the planar three-body problem. In each period of this orbit, there are two binary collisions (or BC for short) between the outer bodies, while the inner body reaches its minimum or maximum at the time of each BC. A surprising simple existence proof of this orbit is given. The initial condition of this orbit is shown to be a supremum of some well-chosen set. The linear stability is then analyzed by Roberts? symmetry reduction method. It is shown that the Broucke periodic orbit with equal masses is linearly stable.     

Codimension 3 Non-resonant Bifurcations of Rough Heteroclinic Loops with One Orbit Flip

Heteroclinic bifurcations in four dimensional vector fields are investigated by setting up a local coordinates near a rough heteroclinic loop. This heteroclinic loop has a principal heteroclinic orbit and a non-principal heteroclinic orbit that takes orbit flip. The existence, nonexistence, coexistence and uniqueness of the 1-heteroclinic loop, 1-homoclinic orbit and 1-periodic orbit are studied. The existence of the two-fold or three-fold 1-periodic orbit is also obtained.     

Homoclinic Bifurcation of Orbit Flip with Resonant Principal Eigenvalues

Codimension-3 bifurcations of an orbit-flip homoclinic orbit with resonant principal eigenvalues are studied for a four-dimensional system. The existence, number, co-existence and noncoexistence of 1-homoclinic orbit, 1-periodic orbit, 2n-homoclinic orbit and 2n-periodic orbit are obtained. The bifurcation surfaces and existence regions are also given.     

Codimension 3 nonresonant bifurcations of homoclinic orbits with two inclination flips

Homoclinic bifurcations in four-dimensional vector fields are investigated by setting up a local coordinate near a homoclinic orbit. This homoclinic orbit is principal but its stable and unstable foliations take inclination flip. The existence, nonexistence, and uniqueness of the 1-homoclinic orbit and 1-periodic orbit are studied. The existence of the two-fold 1 -periodic orbit and three-fold 1 -periodic orbit are also obtained. It is indicated that the number of periodic orbits bifurcated from this kind of homoclinic orbits depends heavily on the strength of the inclination flip.     

On the determination of the basin of attraction of periodic orbits in three- and higher-dimensional systems

The determination of the basin of attraction of a periodic orbit can be achieved using a Lyapunov function. A Lyapunov function can be constructed by approximation of a first-order linear PDE for the orbital derivative via meshless collocation. However, if the periodic orbit is only accessible numerically, a different method has to be used near the periodic orbit. Borg's criterion provides a method to obtain information about the basin of attraction by measuring whether adjacent solutions approach each other with respect to a Riemannian metric. Using a numerical approximation of the periodic orbit and its first variation equation, a suitable Riemannian metric is constructed.     

Rigorous computational shadowing of orbits of ordinary differential equations

Summary. The existence of a true orbit near a numerically computed approximate orbit -- shadowing -- of autonomous system of ordinary differential equations is investigated. A general shadowing theorem for finite time, which guarantees the existence of shadowing in ordinary differential equations and provides error bounds for the distance between the true and the approximate orbit in terms of computable quantities, is proved. The practical use and the effectiveness of this theorem is demonstrated in the numerical computations of chaotic orbits of the Lorenz equations. Received December 15, 1993     

Two-sided approximation to periodic solutions of ordinary differential equations

Summary A two-sided approximation to the periodic orbit of an autonomous ordinary differential equation system is considered. First some results about variational equation systems for periodic solutions are obtained in Sect. 2. Then it is proved that if the periodic orbit is convex and stable, the explicit difference solution approximates the periodic orbit from the outer part and the implicit one from the inner part respectively. Finally a numerical example is given to illustrate our result and to point out that the numerical solution no longer has a one-sided approximation property, if the periodic orbit is not convex.The Work is supported by the National Natural Science Foundation of China     

Spacial chaos behavior of molecular orbit

In this article, the nonlinear dynamic behavior based on Hückel’s molecular orbit theory such as chaos and bifurcation of molecular orbit in the 3-D space, is studied. Molecular orbit, or the kinematical behavior of a molecule, is determined by a wave function. The relationship between molecular orbit and its corresponding energy level in a nonlinear dynamic system is also studied.     

快变量空间中的同宿轨道分支

本文考虑奇摄动问题的位于快变量空间中的奇异同宿轨道的保存和周期轨道分支问题.文中关于奇异同宿轨道保存的结论推广了一些已知的结果,而周期轨道产生于奇异同宿轨道的分支则提供了一种新的分支类型.     

伴随超临界分支的通有同宿轨道分支

本文研究具有非双曲奇点的高维系统在小扰动下的同宿轨道分支问题,通过在未扰同宿轨道邻域建立局部坐标系,导出系统在新坐标系下的Poincare映射,对伴随超临界分支的通有同宿轨道的保存及分支出周期轨道的情况进行了讨论,推广和改进了一些文献的结果.     

Geometric orbit datum and orbit covers

Vogan conjectured that the parabolic induction of orbit data is independent of the choice of the parabolic subgroup. In this paper we first give the parabolic induction of orbit covers, whose relationship with geometric orbit datum is also induced. Hence we show a geometric interpretation of orbit data and finally prove the conjugation for geometric orbit datum using geometric method.     

CODIMENSION 3 BIFURCATIONS OFHOMOCLINIC ORBITS WITH ORBITFLIPS AND INCLINATION FLIPS

The homoclinic bifurcations in four dimensional vector fields are investigated by setting up a local coordinates near the homoclinic orbit. This homoclinic orbit is non-principal in the meanings that its positive semi-orbit takes orbit flip and its unstable foliation takes inclination flip. The existence, nonexistence, uniqueness and coexistence of the 1-homoclinic orbit and the 1-periodic orbit are studied. The existence of the twofold periodic orbit and three-fold periodic orbit are also obtained.     

一种非线性函数的迭代动力分析

对一种非线性函数迭代的动力性质进行了分析,结果显示在函数的定义区间[－2,2]内,点χ的移动轨道具有如下性质：（i）点χ的移动轨道具有各种复杂的周期轨道,所有周期轨道形成的集合在区间[－2,2]内稠密,（ii）点χ的移动轨道或者在区间（－2,2）内稠密,或者经有限次映射后最终进入由所有的周期轨道形成的集合中。     

Homoclinic Flip Bifurcations Accompanied by Transcritical Bifurcation

The bifurcations of orbit flip homoclinic loop with nonhyperbolic equilibria are investigated. By constructing local coordinate systems near the unperturbed homoclinic orbit, Poincaré maps for the new system are established. Then the existence of homoclinic orbit and the periodic orbit is studied for the system accompanied with transcritical bifurcation.     

On sheets of orbit covers for classical semisimple lie groups

David Vogan gave programmatic conjectures about the Dixmier's map and he made two conjectures that induction may be independent of the choice of parabolic group used and the sheets of orbit data are conjugated or disjointed[1]. In our previous paper, we gave a geometric version of the parabolic induction of the geometric orbit datum (i.e. orbit covers), and proved Vogan's first conjecture for geometric orbit datum:the parabolic induction of the geometric orbit datum is independent of the choice of parabolic group. In this paper, we will prove the other Vogan's conjecture, that is, the sheets are conjugated or disjointed for classical semisimple complex groups.``     

The Hörmander index of symmetric periodic orbits

A symmetric periodic orbit is a special kind of periodic orbit that can also be regarded as a Lagrangian intersection point. Therefore it has two Maslov indices whose difference is the Hörmander index. In this paper we provide a formula for the Hörmander index of a symmetric periodic orbit and its iterates in terms of Chebyshev polynomials.     

Long periodic shadowing

A general theorem for establishing the existence of a true periodic orbit near a numerically computed pseudoperiodic orbit of an autonomous system of ordinary differential equations is presented. For practical applications, a Newton method is devised to compute appropriate pseudoperiodic orbits. Then numerical considerations for checking the hypotheses of the theorem in terms of quantities which can be computed directly from the pseudoperiodic orbit and the vector field are addressed. Finally, a numerical method for estimating the Lyapunov exponents of the true periodic orbit is given. The theory and computations are designed to be applicable for unstable periodic orbits with long periods. The existence of several such periodic orbits of the Lorenz equations is exhibited. This revised version was published online in June 2006 with corrections to the Cover Date.     

Iterations by odd functions with two extrema

Let I = [?1, 1] and fI → I be continuous, piecewise monotone and odd with two extrema. A periodic orbit is called symmetric if ?x is in the orbit when x is in the orbit. A periodic orbit which is not symmetric is called asymmetric. The first result of this paper proves an ordering of the periods for the symmetric orbits. There are two possibilities depending on how f behaves in a neighbourhood of 0. The second result of this paper proves that for a one-parameter family of odd functions with negative Schwarzian derivative there are three different types of nondegenerate bifurcations: saddle node, period-doubling pitchfork and period-preserving pitchfork. The last type of bifurcation occurs exactly when a symmetric orbit bifurcates to two asymmetric orbits.     

Analysis of the BMAP/G/1 retrial system with search of customers from the orbit

We consider a single server retrial queuing model in which customers arrive according to a batch Markovian arrival process. Any arriving batch finding the server busy enters into an orbit. Otherwise one customer from the arriving batch enters into service immediately while the rest join the orbit. The customers from the orbit try to reach the service later and the inter-retrial times are exponentially distributed with intensity depending (generally speaking) on the number of customers on the orbit. Additionally, the search mechanism can be switched-on at the service completion epoch with a known probability (probably depending on the number of customers on the orbit). The duration of the search is random and also probably depending on the number of customers in the orbit. The customer, which is found as the result of the search, enters the service immediately if the server is still idle. Assuming that the service times of the primary and repeated customers are generally distributed (with possibly different distributions), we perform the steady state analysis of the queueing model.