<Emphasis Type="Italic">C</Emphasis><Superscript>0</Superscript> transversality and shadowing properties

Let f be an Axiom A diffeomorphism of a closed smooth two-dimensional manifold. It is shown that the following statements are equivalent: (a) f satisfies the C ⁰ transversality condition, (b) f has the shadowing property, and (c) f has the inverse shadowing property with respect to a class of continuous methods.     

The set of axiom A diffeomorphisms with no cycles

LetM be aC ^∞ closed manifold and Diff¹ (M) be the space of diffeomorphisms ofM endowed with theC ¹ topology. This paper contains an affirmative answer to the following conjecture raised by Mañé, which is an extension of the stability and Ω-stability conjectures of Palis and Smale, as follows: theC ¹ interior of the subset of diffeomorphism such that all the periodic points are hyperbolic is characterized as the set of diffeomorphisms satisfying Axiom A and the no-cycles condition. Moreover, it is showed that theC ¹ interior of the set of all Kupka-Smale diffeomorphisms coincides with the set of all diffeomorphisms satisfying Axiom A and the strong transversality condition.     

Structural stability of vector fields with shadowing

Let X be a C¹ vector field without singularities. In this paper, we show that X is in the C¹ interior of the set of vector fields with the shadowing property if and only if X satisfies both Axiom A and the strong transversality condition; that is, X is structurally stable.     

Ergodic theory of differentiable dynamical systems

Iff is a C^{1 + ɛ} diffeomorphism of a compact manifold M, we prove the existence of stable manifolds, almost everywhere with respect to everyf-invariant probability measure on M. These stable manifolds are smooth but do not in general constitute a continuous family. The proof of this stable manifold theorem (and similar results) is through the study of random matrix products (multiplicative ergodic theorem) and perturbation of such products. Dedicated to the memory of Rufus Bowen     

Dynamical systems with Lipschitz inverse shadowing properties

In this paper, the notion of the Lipschitz inverse shadowing property with respect to two classes of d-methods that generate pseudotrajectories of dynamical systems is introduced. It is shown that if a diffeomorphism of a Euclidean space has the Lipschitz inverse shadowing property on the trajectory of an individual point, then the Mañé analytic strong transversality condition must be satisfied at this point. This result is used in the proof of the main theorem: a diffeomorphism of a smooth closed manifold that has the Lipschitz inverse shadowing property is structurally stable.     

On the approximation of time one maps of Anosov flows by Axiom A diffeomorphisms

We prove that if 𝒻₁ is the time one map of a transitive and codimension one Anosov flow φ and it is C ¹-approximated by Axiom A diffeomorphisms satisfying a property called P, then the flow is topologically conjugated to the suspension of a codimension one Anosov diffeomorphism. A diffeomorphism 𝒻 satisfies property P if for every periodic point in M the number of periodic points in a fundamental domain of its central manifold is constant. Received: 15 March 2001     

New criteria for hyperbolicity based on periodic sets

We prove some criteria for uniform hyperbolicity based on the periodic points of the transformation. More precisely, if a mild hyperbolicity condition holds for the periodic points of any diffeomorphism in a residual subset of a C ¹-open set U then there exists an open and dense subset A ? U of Axiom A diffeomorphisms. Moreover, we also prove a noninvertible version of Ergodic Closing Lemma which we use to prove a counterpart of this result for local diffeomorphisms.     

On the connection between weak and strong convergencies in Cm

In this work wome connections are pursued between weak and strong convergence in the spaces C^m (m-times continuously differentiable functions on Rⁿ). Let f_n, f?C^{m + 1}, where n = 1, 2,…, and m is a nonnegative integer. Suppose that the sequence {f_n} converges to f relative to the weak topology of C^{m + 1}. It is shown that this implies the convergence of {f_n} to f with respect to the strong topology of C^m. Several corollaries to this theorem are established; among them is a sufficient condition for uniform convergence. A stronger result is shown to exist when the sequence constitutes an output sequence of a linear weakly continuous operator.     

Perelman’s lambda-functional and the stability of Ricci-flat metrics

In this article, we introduce a new method (based on Perelman’s λ-functional) to study the stability of compact Ricci-flat metrics. Under the assumption that all infinitesimal Ricci-flat deformations are integrable we prove: (a) a Ricci-flat metric is a local maximizer of λ in a C ^2,α -sense if and only if its Lichnerowicz Laplacian is nonpositive, (b) λ satisfies a ?ojasiewicz-Simon gradient inequality, (c) the Ricci flow does not move excessively in gauge directions. As consequences, we obtain a rigidity result, a new proof of Sesum’s dynamical stability theorem, and a dynamical instability theorem.     

On the dynamical coherence of structurally stable 3-diffeomorphisms

We prove that each structurally stable diffeomorphism f on a closed 3-manifold M ³ with a two-dimensional surface nonwandering set is topologically conjugated to some model dynamically coherent diffeomorphism.     

On the inverse limit stability of endomorphisms

We present several results suggesting that the concept of C¹$C^1$-inverse (limit structural) stability is free of singularity theory. An example of a robustly transitive, C¹$C^1$-inverse stable endomorphism with a persistent critical set is given. We show that every C¹$C^1$-inverse stable, axiom A endomorphism satisfies a certain strong transversality condition (T). We prove that every attractor–repeller endomorphism satisfying axiom A and condition (T  ) is C¹$C^1$-inverse stable. The latter is applied to Hénon maps, rational functions and others. This leads us to conjecture that C¹$C^1$-inverse stable endomorphisms are exactly those which satisfy axiom A and condition (T).     

Hyperbolicity, transversality and analytic first integrals

Let A be a (normally) hyperbolic compact invariant manifold of an analytic diffeomorphism f of an analytic manifold M. We assume that the stable and unstable manifold of A intersect transversally (in an admissible way), the dynamics on A is ergodic and the modulus of the eigenvalues associated to the stable and unstable manifold, respectively, satisfy a non-resonance condition. In the case where A is a point or a torus, we prove that the discrete dynamical system associated to f does not admit an analytic first integral. The proof is based on a triviality lemma, which is of combinatorial nature, and a geometrical lemma. The same techniques, allow us to prove analytic non-integrability of Hamiltonian systems having Arnold diffusion. In particular, using results of Xia, we prove analytic non-integrability of the elliptic restricted three-body problem, as well as the planar three-body problem.     

Contraction mappings in interval analysis

Under certain conditions, the contraction mapping fixed point theorem guarantees the convergence of the iterationx _i+1=f(x _i ) toward a fixed point of the functionf:R ⁿ →R ⁿ. When an interval extensionF off is used in a similar iteration scheme to obtain a sequence of interval vectors these conditions need not provide convergence to a degenerate interval vector representing the fixed point, even if the width of the initial interval vector is chosen arbitrarily small. We give a sufficient condition on the extensionF in order that the convergence is guaranteed. The centered form of Moore satisfies this condition.     

Robust Weak Ergodicity And Stable Ergodicity

In this paper, we define robust weak ergodicity and study the relation between robust weak ergodicity and stable ergodicity for conservative partially hyperbolic systems. We prove that a C^r(r > 1) conservative partially hyperbolic diffeomorphism is stably ergodic if it is robustly weakly ergodic and has positive (or negative) central exponents on a positive measure set. Furthermore, if the condition of robust weak ergodicity is replaced by weak ergodicity, then the diffeomophism is an almost stably ergodic system. Additionally, we show in dimension three, a C^r(r > 1) conservative partially hyperbolic diffeomorphism can be approximated by stably ergodic systems if it is robustly weakly ergodic and robustly has non-zero central exponents.     

Shcherbina’s theorem for finely holomorphic functions

We prove an analogue of Sadullaev’s theorem concerning the size of the set where a maximal totally real manifold M can meet a pluripolar set. M has to be of class C ¹ only. This readily leads to a version of Shcherbina’s theorem for C ¹ functions f that are defined in a neighborhood of certain compact sets ${K\subset\mathbb{C}}We prove an analogue of Sadullaev’s theorem concerning the size of the set where a maximal totally real manifold M can meet a pluripolar set. M has to be of class C ¹ only. This readily leads to a version of Shcherbina’s theorem for C ¹ functions f that are defined in a neighborhood of certain compact sets K ì \mathbbC{K\subset\mathbb{C}}. If the graph Γ _f (K) is pluripolar, then \frac?f?[`(z)]=0{\frac{\partial f}{\partial\bar z}=0} in the closure of the fine interior of K.     

Grothendieck's theorem for noncommutative C1-algebras,with an Appendix on Grothendieck's constants

We study a conjecture of Grothendieck on bilinear forms on a C¹-algebra $\text{Ol}$. We prove that every “approximable” operator from $\text{Ol}$ into $\text{Ol}$¹ factors through a Hilbert space, and we describe the factorization. In the commutative case, this is known as Grothendieck's theorem. These results enable us to prove a conjecture of Ringrose on operators on a C¹-algebra. In the Appendix, we present a new proof of Grothendieck's inequality which gives an improved upper bound for the so-called Grothendieck constant k_G.     

Hausdorff dimension bounds for smoothness of holonomies for codimension 1 hyperbolic dynamics

We prove that the stable holonomies of a proper codimension 1 attractor Λ, for a C^r diffeomorphism f of a surface, are not C^1+θ for θ greater than the Hausdorff dimension of the stable leaves of f intersected with Λ. To prove this result we show that there are no diffeomorphisms of surfaces, with a proper codimension 1 attractor, that are affine on a neighbourhood of the attractor and have affine stable holonomies on the attractor.     

Unique ergodicity for horocycle foliations

The notion of unique ergodicity is extended to multidimensional foliations, and it is shown that ifg is the strong stable or strong unstable foliation of a topologically mixing basic set Ω_κ for an Axiom A diffeomorphism or flow theng is uniquely ergodic.     

Anderson localization for the discrete one-dimensional quasi-periodic Schrödinger operator with potential defined by a Gevrey-class function

In this paper we consider the discrete one-dimensional Schrödinger operator with quasi-periodic potential v_n=λv(x+nω). We assume that the frequency ω satisfies a strong Diophantine condition and that the function v belongs to a Gevrey class, and it satisfies a transversality condition. Under these assumptions we prove—in the perturbative regime—that for large disorder λ and for most frequencies ω the operator satisfies Anderson localization. Moreover, we show that the associated Lyapunov exponent is positive for all energies, and that the Lyapunov exponent and the integrated density of states are continuous functions with a certain modulus of continuity. We also prove a partial nonperturbative result assuming that the function v belongs to some particular Gevrey classes.     

Results on infinite-dimensional topology and applications to the structure of the critical set of nonlinear Sturm-Liouville operators

We consider the nonlinear Sturm-Liouville differential operator F(u)=−u″+f(u) for u∈H_D²([0,π]), a Sobolev space of functions satisfying Dirichlet boundary conditions. For a generic nonlinearity we show that there is a diffeomorphism in the domain of F converting the critical set C of F into a union of isolated parallel hyperplanes. For the proof, we show that the homotopy groups of connected components of C are trivial and prove results which permit to replace homotopy equivalences of systems of infinite-dimensional Hilbert manifolds by diffeomorphisms.