Diffeomorphisms with persistency

The interior of the set of all diffeomorphisms satisfying Lewowicz's persistency is characterized as the set of all diffeomorphisms satisfying Axiom A and the strong transversality condition.

     

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.     

Structural stability of C1 diffeomorphisms

In this paper we prove that if f is a C¹ diffeomorphism that satisfies Axiom A and the strong transversality condition then it is structurally stable. J. Robbin proved this theorem for C² diffeomorphisms. In addition to reducing the amount of differentiability necessary to prove the theorem, we also give a new proof combining the d_f metric of Robbin with the stable and unstable manifold proof of D. Anosov. We also prove structural stability in the neighborhood of a single hyperbolic basic set (independent of its being part of a diffeomorphism that satisfies Axiom A and the strong transversality condition). These proofs are adapted to prove the structural stability of C¹ flows in another paper.     

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.     

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     

How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency

Here we study an amazing phenomenon discovered by Newhouse [S. Newhouse, Non-density of Axiom A(a) on S², in: Proc. Sympos. Pure Math., vol. 14, Amer. Math. Soc., 1970, pp. 191-202; S. Newhouse, Diffeomorphisms with infinitely many sinks, Topology 13 (1974) 9-18; S. Newhouse, The abundance of wild hyperbolic sets and nonsmooth stable sets of diffeomorphisms, Publ. Math. Inst. Hautes Études Sci. 50 (1979) 101-151]. It turns out that in the space of Cr smooth diffeomorphisms Diffr(M) of a compact surface M there is an open set U such that a Baire generic diffeomorphism f∈U has infinitely many coexisting sinks. In this paper we make a step towards understanding “how often does a surface diffeomorphism have infinitely many sinks.” Our main result roughly says that with probability one for any positive D a surface diffeomorphism has only finitely many localized sinks either of cyclicity bounded by D or those whose period is relatively large compared to its cyclicity. It verifies a particular case of Palis' Conjecture saying that even though diffeomorphisms with infinitely many coexisting sinks are Baire generic, they have probability zero.One of the key points of the proof is an application of Newton Interpolation Polynomials to study the dynamics initiated in [V. Kaloshin, B. Hunt, A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I, Ann. of Math., in press, 92 pp.; V. Kaloshin, A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II, preprint, 85 pp.].     

The barycenter property for robust and generic diffeomorphisms

Let f:M~d→M~d(d≥2) be a diffeomorphism on a compact C~∞ manifold on M.If a diffeomorphism f belongs to the C~1-interior of the set of all diffeomorphisms having the barycenter property,then f is Ω-stable.Moreover,if a generic diffeomorphism f has the barycenter property,then f is Ω-stable.We also apply our results to volume preserving diffeomorphisms.     

Roots in differential rings of ultradifferentiable functions

Let {M _k } be a logconvex sequence satisfying the differentiability condition $$\sup (M_{n + 1} /M_n )^{1/n} < \infty $$ . It is shown that the Carleman class C{k! M _k } contains all C ^∞ roots of its nonflat elements, i.e., if f ∈ C{k! M _k } and α > 0, then $$f^\alpha \in C\{ k!M_k \} whenever f^\alpha \in C^\infty $$ . If {M _k } also satisfies the additional condition M _n ^1/n → ∞, then the Beurling class C(k! M _k ) is also contains all C ^∞ roots of its nonflat elements.     

Topological stability for conservative systems

We prove that the C¹ interior of the set of all topologically stable C¹ incompressible flows is contained in the set of Anosov incompressible flows. Moreover, we obtain an analogous result for the discrete-time case.     

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.     

The conjugating map for commutative groups of circle diffeomorphisms

For a single aperiodic, orientation preserving diffeomorphism on the circle, all known local results on the differentiability of the conjugating map are also known to be global results. We show that this does not hold for commutative groups of diffeomorphisms. Given a set of rotation numbers, we construct commuting diffeomorphisms inC ^2-ε for all ε>0 with these rotation numbers that are not conjugate to rotations. On the other hand, we prove that for a commutative subgroupF ⊂C ^1+β, 0<β<1, containing diffeomorphisms that are perturbations of rotations, a conjugating maph exists as long as the rotation numbers of this subset jointly satisfy a Diophantine condition.     

A remark on the topological stability of symplectomorphisms

We prove that the C¹ interior of the set of all topologically stable C¹ symplectomorphisms is contained in the set of Anosov symplectomorphisms.     

Tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property

In this paper we set up a representation theorem for tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property in terms of Ky Fan norms. Examples of tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property include unitarily invariant norms on finite factors (type II₁ factors and Mn(C)) and symmetric gauge norms on L^∞[0,1] and Cn. As the first application, we obtain that the class of unitarily invariant norms on a type II₁ factor coincides with the class of symmetric gauge norms on L^∞[0,1] and von Neumann's classical result [J. von Neumann, Some matrix-inequalities and metrization of matrix-space, Tomsk. Univ. Rev. 1 (1937) 286-300] on unitarily invariant norms on Mn(C). As the second application, Ky Fan's dominance theorem [Ky Fan, Maximum properties and inequalities for the eigenvalues of completely continuous operators, Proc. Natl. Acad. Sci. USA 37 (1951) 760-766] is obtained for finite von Neumann algebras satisfying the weak Dixmier property. As the third application, some classical results in non-commutative Lp-theory (e.g., non-commutative Hölder's inequality, duality and reflexivity of non-commutative Lp-spaces) are obtained for general unitarily invariant norms on finite factors. We also investigate the extreme points of N(M), the convex compact set (in the pointwise weak topology) of normalized unitarily invariant norms (the norm of the identity operator is 1) on a finite factor M. We obtain all extreme points of N(M₂(C)) and some extreme points of N(Mn(C)) (n?3). For a type II₁ factor M, we prove that if t (0?t?1) is a rational number then the Ky Fan tth norm is an extreme point of N(M).     

Backward inducing and exponential decay of correlations for partially hyperbolic attractors

We study partially hyperbolic attractors ofC ² diffeomorphisms on a compact manifold. For a robust (non-empty interior) class of such diffeomorphisms, we construct Sinai-Ruelle-Bowen measures, for which we prove exponential decay of correlations and the central limit theorem, in the space of Hölder continuous functions. The techniques we develop (backward inducing, redundancy elimination algorithm) should be useful in the study of the stochastic properties of much more general non-uniformly hyperbolic systems.     

Minimal distortion morphs generated by time-dependent vector fields

A morph between two Riemannian n-manifolds is an isotopy between them together with the set of all intermediate manifolds equipped with Riemannian metrics. We propose measures of the distortion produced by some classes of morphs and diffeomorphisms between two isotopic Riemannian n-manifolds and, with respect to these classes, prove the existence of minimal distortion morphs and diffeomorphisms. In particular, we consider the class of time-dependent vector fields (on an open subset Ω of Rn+1 in which the manifolds are embedded) that generate morphs between two manifolds M and N via an evolution equation, define the bending and the morphing distortion energies for these morphs, and prove the existence of minimizers of the corresponding functionals in the set of time-dependent vector fields that generate morphs between M and N and are L² functions from [0,1] to the Sobolev space .     

Dynamics on Ahlfors quasi-circles

The celebrated theory of Denjoy introduced a topological invariant distinguishingC ¹ andC ² diffeomorphisms of the circle. AC ² diffeomorphism of the circle cannot have an infinite minimal set other than the circle itself. However, this is possible forC ¹ diffeomorphisms. In dimension two there is a related invariant distinguishingC ² andC ³ diffeomorphisms. Partially supported by NSF grant No. MCS-83202062.     

On multicyclic operators and the Vasjunin-Nikol'ski206-1206-1206-1discotheca

If A is a bounded linear multicyclic operator acting on a complex Banach spaceX, then thedisc of A is defined by: disc A = sup(R ∈ Cyc A) min{dimR′: R′ ? R, R′ ∈ Cyc A}, where Cyc A denotes the family of all finite dimensional subspacesR ofX such that X = (R+AR+A ² R+?)^?. It is shown that if the set {λ ∈ ?: dim ker (λ-A)^* ≥ n} has nonempty interior (in particular, if A is a Fredholm operator of index -n), then disc A ≥ n+1. This result affirmatively answers a question of V.I. Vasjunin and N.K. Nikol'skiï. In the case whenX is a Hilbert space, it is shown that the set of all operators A such that A is n-multicyclic, but disc A =∞, is dense in the set of all n-multicyclic operators. If M_λ = "multiplication by λ" acting on the disk algebra (and many other spaces of continuous and/or analytic functions), then M_λ is cyclic, but disc M_λ = ∞. However, the analogous result is false if the disk algebra is replaced by the algebra of functions analytic on the disk and smooth on the boundary, or algebras of Lipschitz functions. If T is a multicyclic unicellular operator, then T is cyclic and disc T=1.     

Generic Bowen-expansive flows

We prove that in the set of all C ¹ vector fields on a compact manifold there is a residual subset which satisfies the property that if a vector field is Bowen-expansive, then it is Axiom A without cycles.     

Recurrence and genericity

We prove a C¹-connecting lemma for pseudo-orbits of diffeomorphisms on compact manifolds. We explore some consequences for C¹-generic diffeomorphisms. For instance, C¹-generic conservative diffeomorphisms are transitive. To cite this article: C. Bonatti, S. Crovisier, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Regularity of finite-dimensional realizations for evolution equations

We show that a continuous local semiflow of C^k-maps on a finite-dimensional C^k-manifold M with boundary is in fact a local C^k-semiflow on M and can be embedded into a local C^k-flow around interior points of M under some weak assumption. This result is applied to an open regularity problem for finite-dimensional realizations of stochastic interest rate models.