On nulls of perturbed Fredholm operators and degenerate homoclinic bifurcations

It is known that small perturbations of a Fredholm operator L have nulls of dimension not larger than dim N (L). In this paper for any given positive integer k≤dim N(L) we prove that there is a perturbation of L which has an exactly κ-dimensional null. Actually, our proof gives a construction of the perturbation. We further apply our result to concrete examples of differential equations with degenerate homoclinic orbits, showing how many independent homoclinic orbits can be bifurcated from a perturbation.     

Periodic billiard orbits are dense in rational polygons

We show that periodic orbits are dense in the phase space for billiards in polygons for which the angle between each pair of sides is a rational multiple of

     

Statistical Properties of Unimodal Maps

We consider typical analytic unimodal maps which possess a chaotic attractor. Our main result is an explicit combinatorial formula for the exponents of periodic orbits. Since the exponents of periodic orbits form a complete set of smooth invariants, the smooth structure is completely determined by purely topological data (“typical rigidity”), which is quite unexpected in this setting. It implies in particular that the lamination structure of spaces of analytic unimodal maps (obtained by the partition into topological conjugacy classes, see [ALM]) is not transversely absolutely continuous. As an intermediate step in the proof of the formula, we show that the distribution of the critical orbit is described by the physical measure supported in the chaotic attractor.     

Billiards in rational polygons: Periodic trajectories, symmetries, and d-stability

Periodic trajectories of billiards in rational polygons satisfying the Veech alternative, in particular, in right triangles with an acute angle of the form π/n with integern are considered. The properties under investigation include: symmetry of periodic trajectories, asymptotics of the number of trajectories whose length does not exceed a certain value, stability of periodic billiard trajectories under small deformations of the polygon. Translated fromMatematicheskie Zametki, Vol. 62, No. 1, pp. 66–75, July, 1997. Translated by V. N. Dubrovsky     

Gauss map and Lyapunov exponents of interacting particles in a billiard

We show that the Lyapunov exponent (LE) of periodic orbits with Lebesgue measure zero from the Gauss map can be used to determine the main qualitative behavior of the LE of a Hamiltonian system. The Hamiltonian system is a one-dimensional box with two particles interacting via a Yukawa potential and does not possess Kolmogorov–Arnold–Moser (KAM) curves. In our case the Gauss map is applied to the mass ratio (γ = m₂/m₁) between particles. Besides the main qualitative behavior, some unexpected peaks in the γ dependence of the mean LE and the appearance of ‘stickness’ in phase space can also be understand via LE from the Gauss map. This shows a nice example of the relation between the “instability” of the continued fraction representation of a number with the stability of non-periodic curves (no KAM curves) from the physical model. Our results also confirm the intuition that pseudo-integrable systems with more complicated invariant surfaces of the flow (higher genus) should be more unstable under perturbation.     

On the Spectra of Certain Graphs Arising from Finite Fields

Cayley graphs on a subgroup ofGL(3,p),p>3 a prime, are defined and their properties, particularly their spectra, studied. It is shown that these graphs are connected, vertex-transitive, nonbipartite, and regular, and their degrees are computed. The eigenvalues of the corresponding adjacency matrices depend on the representations of the group of vertices. The “1-dimensional” eigenvalues can be completely described, while a portion of the “higher dimensional” eigenfunctions are discrete analogs of Bessel functions. A particular subset of these graphs is conjectured to be Ramanujan and this is verified for over 2000 graphs. These graphs follow a construction used by Terras on a subgroup ofGL(2,p). This method can be extended further to construct graphs using a subgroup ofGL(n, p) forn≥4. The 1-dimensional eigenvalues in this case can be expressed in terms of the 1-dimensional eigenvalues of graphs fromGL(2,p) andGL(3,p); this part of the spectra alone is sufficient to show that forn≥4, the graphs fromGL(n, p) are not in general Ramanujan.     

A billiard containing all links

We construct a 3-dimensional billiard realizing all links as collections of isotopy classes of periodic orbits. For every branched surface supporting a semi-flow, we construct a 3d-billiard whose collections of periodic orbits contain those of the branched surface. R. Ghrist constructed a knot-holder containing any link as collection of periodic orbits. Applying our construction to his example provides the desired billiard.     

Quantum Lévy processes on dual groups

We present a theory of quantum (non-commutative) Lévy processes on dual groups which generalizes the theory of Lévy processes on bialgebras. It follows from a result of N. Muraki that there exist exactly 5 notions of non-commutative ‘positive’ stochastic independence. We show that one can associate a commutative bialgebra with each pair consisting of a dual group and one of the 5 notions of independence. This construction is related to a construction of U. Franz. Our construction has the advantage that the important case of free independence is included. We show that Lévy processes are given by their generators which are precisely the conditonally positive linear functionals on the dual group.Supported by the European Research Training Network “Quantum Probability with Applications to Physics, Information Theory and Biology”     

Continuation of relative periodic orbits in a class of triatomic Hamiltonian systems

We study relative periodic orbits (i.e. time-periodic orbits in a frame rotating at constant velocity) in a class of triatomic Euclidean-invariant (planar) Hamiltonian systems. The system consists of two identical heavy atoms and a light one, and the atomic mass ratio is treated as a continuation parameter. Under some nondegeneracy conditions, we show that a given family of relative periodic orbits existing at infinite mass ratio (and parametrized by phase, rotational degree of freedom and period) persists for sufficiently large mass ratio and for nearby angular velocities (this result is valid for small angular velocities). The proof is based on a method initially introduced by Sepulchre and MacKay [J.-A. Sepulchre, R.S. MacKay, Localized oscillations in conservative or dissipative networks of weakly coupled autonomous oscillators, Nonlinearity 10 (1997) 679–713] and further developed by Muñoz-Almaraz et al. [F.J. Muñoz-Almaraz, et al., Continuation of periodic orbits in conservative and Hamiltonian systems, Physica D 181 (2003) 1–38] for the continuation of normal periodic orbits in Hamiltonian systems. Our results provide several types of relative periodic orbits, which extend from small amplitude relative normal modes [J.-P. Ortega, Relative normal modes for nonlinear Hamiltonian systems, Proc. Roy. Soc. Edinburgh Sect. A 133 (2003) 665–704] up to large amplitude solutions which are not restrained to a small neighborhood of a stable relative equilibrium. In particular, we show the existence of large amplitude motions of inversion, where the light atom periodically crosses the segment between heavy atoms. This analysis is completed by numerical results on the stability and bifurcations of some inversion orbits as their angular velocity is varied.     

Subregular Spreads of (2n+1,q)

In this paper, we develop some of the theory of spreads of projective spaces with an eye towards generalizing the results of R. H. Bruck (1969,in“Combinatorial Mathematics and Its Applications,” Chap. 27, pp. 426–514, Univ. of North Carolina Press, Chapel Hill). In particular, we wish to generalize the notion of asubregularspread to the higher dimensional case. Most of the theory here was anticipated by Bruck in later papers; however, he never provided a detailed formulation. We fill this gap here by developing the connections between a regular spread of (2n+1)-dimensional projective space and ann-dimensional circle geometry, which is the appropriate generalization of the Miquelian inversive plane. After developing this theory, we provide a fairly general method for constructing subregular spreads of (5,q). Finally, we explore a special case of this construction, which yields several examples of three-dimensional subregular translation planes which are not André planes.     

The -limit sets of a flow and periodic orbits

In this paper we discuss the ω-limit sets of a flow using the Conley theory, chain recurrence and Morse decompositions. Our results generalize and improve the related result in [Schropp J. A reduction principle for ω-limit sets. Z Angew Math Meth 1996;76(6):349–56], and we also show how they can be used as a basis for some new criteria for the existence of periodic orbits.     

Irregular dynamics and homoclinic orbits to Hamiltonian saddle centers

We consider 4-dimensional, real, analytic Hamiltonian systems with a saddle center equilibrium (related to a pair of real and a pair of imaginary eigenvalues) and a homoclinic orbit to it. We find conditions for the existence of transversal homoclinic orbits to periodic orbits of long period in every energy level sufficiently close to the energy level of the saddle center equilibrium. We also consider one-parameter families of reversible, 4-dimensional Hamiltonian systems. We prove that the set of parameter values where the system has homoclinic orbits to a saddle center equilibrium has no isolated points. We also present similar results for systems with heteroclinic orbits to saddle center equilibria. © 1997 John Wiley & Sons, Inc.     

Leaving the Moon by means of invariant manifolds of libration point orbits

The aim of this work is to look for rescue trajectories that leave the surface of the Moon, belonging to the hyperbolic manifolds associated with the central manifold of the Lagrangian points L₁ and L₂ of the Earth–Moon system. The model used for the Earth–Moon system is the Circular Restricted Three-Body Problem. We consider as nominal arrival orbits halo orbits and square Lissajous orbits around L₁ and L₂ and we show, for a given Δv, the regions of the Moon’s surface from which we can reach them. The key point of this work is the geometry of the hyperbolic manifolds associated with libration point orbits. Both periodic/quasi-periodic orbits and their corresponding stable invariant manifold are approximated by means of the Lindstedt–Poincaré semi-analytical approach.     

Polynomial identity rings as rings of functions

We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where “varieties” carry a PGL_n-action, regular and rational “functions” on them are matrix-valued, “coordinate rings” are prime polynomial identity algebras, and “function fields” are central simple algebras of degree n. In particular, a prime polynomial identity algebra of degree n is finitely generated if and only if it arises as the “coordinate ring” of a “variety” in this setting. For n=1 our definitions and results reduce to those of classical affine algebraic geometry.     

Super-attracting periodic orbits for a classical third order method

We use a classical third order root-finding iterative method for approximating roots of nonlinear equations. We present a procedure for constructing polynomials so that super-attracting periodic orbits of any prescribed period occur when this method is applied. This note can be considered as the second part of our previous study [S. Amat, S. Busquier, S. Plaza, A construction of attracting periodic orbits for some classical third order iterative methods, J. Comput. Appl. Math. 189(1–2) (2006) 22–33].     

Erd s–Turán Type Theorems on Quasiconformal Curves and Arcs

The theorems of Erd s and Turán mentioned in the title are concerned with the distribution of zeros of a monic polynomial with known uniform norm along the unit interval or the unit disk. Recently, Blatt and Grothmann (Const. Approx.7(1991), 19–47), Grothmann (“Interpolation Points and Zeros of Polynomials in Approximation Theory,” Habilitationsschrift, Katholische Universität Eichstätt, 1992), and Andrievskii and Blatt (J. Approx. Theory88(1977), 109–134) established corresponding results for polynomials, considered on a system of sufficiently smooth Jordan curves and arcs or piecewise smooth curves and arcs. We extend some of these results to polynomials with known uniform norm along an arbitrary quasiconformal curve or arc. As applications, estimates for the distribution of the zeros of best uniform approximants, values of orthogonal polynomials, and zeros of Bieberbach polynomials and their derivatives are obtained. We also give a negative answer to one conjecture of Eiermann and Stahl (“Zeros of orthogonal polynomials on regularN-gons,” in Lecture Notes in Math.1574(1994), 187–189).     

Explicit exact solutions for the (2 + 1)-dimensional Konopelchenko–Dubrovsky equation

In this paper, we construct new explicit exact solutions for the coupled the (2 + 1)-dimensional Konopelchenko–Dubrovsky equation (KD equation) by using a improved mapping approach and variable separation method. By means of the method, new types of variable-separation solutions (including solitary wave solutions, periodic wave solutions and rational function solutions) for the KD system are successfully obtained. The improved mapping approach and variable separation method can be applied to other higher-dimensional coupled nonlinear evolution equations.     

Approximation of unbounded functions via compactification

Approximants to functions f(s) that are allowed to possess infinite limits on their interval of definition, are constructed.To this end a compactification of Rⁿ is developed which is based on the projection of Rⁿ on a bowl-shaped subset of a parabolic surface. This compactification induces a bijection and a metric with several desirable properties that make it a useful tool for rational approximation of unbounded functions.Roughly speaking this compactification enables us to show that unbounded functions can be approximated by rational functions on a closed interval; thus we also obtain an extension to Weierstrass’ celebrated theorem. An extension to a Fourier-type theorem is also obtained. Roughly speaking, our result states that unbounded periodic functions can be approximated by quotients of certain trigonometric sums. The characteristics of the main results are the following. The approximations do not require the original approximated function to possess a restricted rate of growth. Neither do they require that the approximated function possess any amount of smoothness. Moreover, the numerator and denominator, in an approximating quotient are guaranteed not to vanish simultaneously. Furthermore, some of the proposed approximations are guaranteed to be bounded at every point at which the original approximated function is bounded. Beside the tool of compactification we also employ Bernstein polynomials and Cesaro means of “trigonometric sums”.     

Algebraic K-theory of non-linear projective spaces

In the spirit of “The Fundamental Theorem for the algebraic K-theory of spaces: I” (J. Pure Appl. Algebra 160 (2001) 21–52) we introduce a category of sheaves of topological spaces on n-dimensional projective space and present a calculation of its K-theory, a “non-linear” analogue of Quillen's isomorphism K_i(P_Rⁿ)₀ⁿK_i(R).     

Explicit formulas for wavelet-homogenized coefficients of elliptic operators

Wavelet-based homogenization provides a method for constructing a coarse-grid discretization of a variable–coefficient differential operator that implicitly accounts for the influence of the fine scale medium parameters on the coarse scale of the solution. The method is applied to discretizations of operators of the form in one dimension and μ(x)Δ in one and more dimensions. The resulting homogenized matrices are shown to correspond to differential operators of the same (or closely related) form. In dimension one, results are obtained for periodic two-phase and for arbitrary coefficients μ(x). For periodic two-phase coefficients, the homogenized coefficients may be computed exactly as the harmonic mean of the function μ. For non-periodic coefficients, the “mass-lumping” approximation results in an explicit formula for the homogenized coefficients. In higher dimensions, results are obtained for operators of the form μ(x)Δ, where μ(x) may or may not be periodic; explicit formulae for the homogenized coefficients are also derived. Numerical examples in 1D and 2D are also presented.