Stable invariant manifolds for parabolic dynamics

We consider nonautonomous equations v^′=A(t)v in a Banach space that exhibit stable and unstable behaviors with respect to arbitrary growth rates ecρ(t) for some function ρ(t). This corresponds to the existence of a “generalized” exponential dichotomy, which is known to be robust. When ρ(t)≠t this behavior can be described as a type of parabolic dynamics. We consider the general case of nonuniform exponential dichotomies, for which the Lyapunov stability is not uniform. We show that for any sufficiently small perturbation f of a “generalized” exponential dichotomy there is a stable invariant manifold for the perturbed equation v^′=A(t)v+f(t,v). We also consider the case of exponential contractions, which allow a simpler treatment, and we show that they persist under sufficiently small nonlinear perturbations.     

Stable manifolds for nonuniform polynomial dichotomies

We establish the existence of smooth stable manifolds in Banach spaces for sufficiently small perturbations of a new type of dichotomy that we call nonuniform polynomial dichotomy. This new dichotomy is more restrictive in the “nonuniform part” but allow the “uniform part” to obey a polynomial law instead of an exponential (more restrictive) law. We consider two families of perturbations. For one of the families we obtain local Lipschitz stable manifolds and for the other family, assuming more restrictive conditions on the perturbations and its derivatives, we obtain C¹ global stable manifolds. Finally we present an example of a family of nonuniform polynomial dichotomies and apply our results to obtain stable manifolds for some perturbations of this family.     

Invariant manifolds near a minimizer

A classical result, studied, among others, by Carathéodory [C. Carathéodory, Calculus of Variations and Partial Differential Equations of the First Order, Chelsea, New York, 1989], states that, for second-order, scalar equations, nondegenerate periodic minimizers are hyperbolic. Consequently, the Stable/Unstable Manifold Theorem applies, and implies that, at least locally, the stable and unstable sets are regular curves intersecting transversally at the nondegenerate minimizer.For analytic equations, there is a version of this fact which holds for isolated, but possibly degenerate, minimizers.     

Entropy-expansiveness of geodesic flows on closed manifolds without conjugate points

In this article, we consider the entropy-expansiveness of geodesic flows on closed Riemannian manifolds without conjugate points. We prove that, if the manifold has no focal points, or if the manifold is bounded asymptote, then the geodesic flow is entropy-expansive. Moreover, for the compact oriented surfaces without conjugate points, we prove that the geodesic flows are entropy-expansive. We also give an estimation of distance between two positively asymptotic geodesics of an uniform visibility manifold.     

Numerical calculation of invariant manifolds for maps

Many processes in the sciences and in engineering are modelled by dynamical systems and—in discretized version—by nonlinear maps. To understand the often complicated dynamical behaviour it is a well established tool to use the concept of invariant manifolds of the system. In this way it is often possible to reduce the dimension of the system considerably. In this paper we propose a new method to calculate numerically invariant manifolds near fixed points of maps. We prove convergence of our procedure and provide an error estimation. Finally, the application of the method is illustrated by examples.     

Pitchfork bifurcations of invariant manifolds

A pitchfork bifurcation of an (m−1)-dimensional invariant submanifold of a dynamical system in Rm is defined analogous to that in R. Sufficient conditions for such a bifurcation to occur are stated and existence of the bifurcated manifolds is proved under the stated hypotheses. For discrete dynamical systems, the existence of locally attracting manifolds M₊ and M₋, after the bifurcation has taken place is proved by constructing a diffeomorphism of the unstable manifold M. Techniques used for proving the theorem involve differential topology and analysis. The theorem is illustrated by means of a canonical example.     

Minimal dynamics on Menger manifolds

The Menger universal spaces are realized as invariant sets of noninvertible, expanding maps. Minimal actions on these spaces of free groups with two or three generators are exhibited.     

Stable manifolds for semi-linear evolution equations and admissibility of function spaces on a half-line

Consider an evolution family U=(U(t,s))_t?s?0 on a half-line R₊ and a semi-linear integral equation . We prove the existence of stable manifolds of solutions to this equation in the case that (U(t,s))_t?s?0 has an exponential dichotomy and the nonlinear forcing term f(t,x) satisfies the non-uniform Lipschitz conditions: ‖f(t,x₁)−f(t,x₂)‖?φ(t)‖x₁−x₂‖ for φ being a real and positive function which belongs to admissible function spaces which contain wide classes of function spaces like function spaces of Lp type, the Lorentz spaces Lp,q and many other function spaces occurring in interpolation theory.     

Invariant manifolds of maps close to a product of rotations: close to the rotation axis

We consider families of maps depending on a parameter ε such that for ε=0 the map becomes a product of linear rotations in and for ε≠0 the map is weakly attracting in the product of the rotation planes and weakly repelling in some complementary subspace. We prove that the unstable manifold converges to the complementary subspace in the C^r topology, the case r=∞ included. We consider both the local and the global manifolds. For that we prove some results on families of maps near a norm one linear map, which are of independent interest.     

The parameterization method for invariant manifolds III: overview and applications

We describe a method to establish existence and regularity of invariant manifolds and, at the same time to find simple maps which are conjugated to the dynamics on them. The method establishes several invariant manifold theorems. For instance, it reduces the proof of the usual stable manifold theorem near hyperbolic points to an application of the implicit function theorem in Banach spaces. We also present several other applications of the method.     

Stable invariant manifolds for delay equations with piecewise constant argument

We construct smooth stable invariant manifolds for a class of delay equations with piecewise constant delay, for any sufficiently small perturbation of a nonuniform exponential dichotomy. We build on former work for perturbations of a uniform exponential dichotomy, also for delay equations with piecewise constant delay. These equations can be described as delay equations with an impulsive behavior of the derivative, such that at certain times the derivative changes abruptly.     

Nonzero fixed points of power-bounded linear operators

This paper provides a variety of sufficient conditions for the existence of a nonzero fixed point of a power-bounded linear operator defined on a real Banach space. In the case of power-bounded positive operators on a Banach lattice, among the conditions we provide are not being strongly stable along with commuting with a compact operator or being quasicompact. These results apply directly to Markov operators. In the case of an arbitrary power-bounded operator on a Hilbert space, being uniformly asymptotically regular and not strongly stable guarantees the existence of a nonzero fixed point.

     

The fixed subgroups of homeomorphisms of Seifert manifolds

Let M be a compact connected orientable Seifert manifold with hyperbolic orbifold B M,and fπ : π1(M) →π1(M) be an automorphism induced by an orientation-reversing homeomorphism f of M. We give a bound on the rank of the fixed subgroup of fπ, namely, rank Fix(fπ) 2rankπ1(M),which is an analogue of inequalities on surface groups and hyperbolic 3-manifold groups.     

Slow manifolds for dissipative dynamical systems

A class of infinite-dimensional dissipative dynamical systems is defined for which the slow invariant manifolds can be calculated. Large-time behavior of the evolution of such systems is studied.     

Inertial manifolds and linear multi-step methods

We determine the existence and C ¹ convergence of an inertial manifold for a strongly A(α) stable, pth order, p≧1, linear multi-step method approximating a sectorial evolution equation that satisfies a gap condition. This inertial manifold gives rise to a one-step method that C ¹ approximates the inertial form of the evolution equation and yields further approximation properties of the multi-step method. This revised version was published online in June 2006 with corrections to the Cover Date.     

Density of periodic points, invariant measures and almost equicontinuous points of cellular automata

Revisiting the notion of μ-almost equicontinuous cellular automata introduced by R. Gilman, we show that the sequence of image measures of a shift ergodic measure μ by iterations of such automata converges in Cesàro mean to an invariant measure μ_c. Moreover the dynamical system (cellular automaton F, invariant measure μ_c) has still the μ_c-almost equicontinuity property and the set of periodic points is dense in the topological support of the measure μ_c. We also show that the density of periodic points in the topological support of a measure μ occurs for each μ-almost equicontinuous cellular automaton when μ is an invariant and shift ergodic measure. Finally using most of these results we give a non-trivial example of a couple (μ-equicontinuous cellular automaton F, shift and F-invariant measure μ) such that the restriction of F to the topological support of μ has no equicontinuous points.     

Second main theorem and uniqueness theorem with moving targets on parabolic manifolds

In this paper, with the motivation from Diophantine approximation, a truncated second main theorem is established for meromorphic maps from M   into P(V)$\mathbb{P}(V)$ with moving targets _gj:M→P(V^?)$g_j:M\to \mathbb{P}(V^{?})$, 1≤j≤q$1\le j\le q$, where M is a parabolic manifold and V is a Hermitian vector space. As an application of this second main theorem, a uniqueness theorem without counting multiplicities is given.