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.     

On the smoothness of conjugation of circle diffeomorphisms with rigid rotations

We prove that any C^3+β-smooth diffeomorphism preserving the orientation of a circle with rotation number from the Diophantine class D_δ, 0 < β < δ < 1, is C^2+β−δ-smoothly conjugate to a rigid rotation of the circle by a certain angle. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 2, pp. 268–282, February, 2008.     

Examples of C1-smoothly conjugate diffeomorphisms of the circle with break that are not C1+γ-smoothly conjugate

We prove the existence of two real-analytic diffeomorphisms of the circle with break of the same size and an irrational rotation number of semibounded type that are not C ^1+γ -smoothly conjugate for any γ > 0. In this way, we show that the previous result concerning the C ¹-smoothness of conjugacy for these mappings is the exact estimate of smoothness for this conjugacy.     

Herman’s theory revisited

We prove that a C ^2+α -smooth orientation-preserving circle diffeomorphism with rotation number in Diophantine class D _δ , 0≤δ<α≤1, α−δ≠1, is C ^1+α−δ -smoothly conjugate to a rigid rotation. This is the first sharp result on the smoothness of the conjugacy. We also derive the most precise version of Denjoy’s inequality for such diffeomorphisms.     

Absence of robust rigidity for circle maps with breaks

We give examples of analytic circle maps with singularities of break type with the same rotation number and the same size of the break for which no conjugacy is Lipschitz continuous. In the second part of the paper, we discuss a class of rotation numbers for which a conjugacy is C¹$C^1$-smooth, although the numbers can be strongly non-Diophantine (Liouville). For the rotation numbers in this class, we construct examples of analytic circle maps with breaks, for which the conjugacy is not C^1+α$C^{1+\alpha }$ smooth, for any α>0$\alpha >0$.     

Robust rigidity for circle diffeomorphisms with singularities

We prove that under certain regularity conditions imposed on the renormalizations of two circle diffeomorphisms with singularities, their C ¹-smooth equivalence follows from exponential convergence of those renormalizations. As an easy corollary, any two analytical critical circle maps with the same order of critical points and the same irrational rotation number are C ¹-smoothly conjugate.     

Examples of attracting sets of birkhoff type

We discuss an explicit example of a map of the plane R ² with a nontrivial attracting set. In particular, we are concerned with the concept of rotation number introduced by Poincaré for maps of the circle and its subsequent extension by Birkhoff to maps of the annulus. The use of rotation number allows nontrivial attractors to be distinguished. The map we discuss has an attracting set containing a set of orbits with infinitely many different rotation numbers. We obtain the map by considering an Euler iteration of a family of vector fields originally described by Arnold and find that the resulting Euler map undergoes some bifurcations which are analogous to those of the family of vector fields. Specifically, there are Hopf bifurcations where changes of stability of a fixed point result in the creation of an attracting circle. The circle which grows from the fixed point is then shown to undergo structural changes giving nontrivial attracting sets. This arises from Euler map behaviour for which the corresponding vector field behaviour is a heteroclinic saddle connection. It is possible to give an explicit trapping region for the Euler map which contains the attracting set and to describe some of its properties. Finally, an analogy is drawn with attracting sets which arise for forced oscillators.     

Stability of orbit spaces of endomorphisms

In this paper it is first proved that, for a hyperbolic set of aC ¹ (non-invertible) endomorphism of a compact manifold, the dynamical structure of its orbit space (inverse limit space) is stable underC ¹-small perturbations and is semi-stable underC ⁰-small perturbations. It is then proved that if an Axiom A endomorphism satisfies no-cycle condition then its orbit space is Θ-stable andR-stable underC ¹-small perturbations and is semi-Θ-stable and semi-R-stable underC ⁰-small perturbations. This research is supported by the National Natural Science Foundation of China     

UNIFORM CONVERGENCE OF CESARO MEANS OF NEGATIVE ORDER OF DOUBLE TRIGONOMETRIC FOURIER SERIES

In this paper we prove that iff ∈ C([-π,π]2) and the function f is bounded partial p-variation for some p ∈ [1, ∞), then the double trigonometric Fourier series of a function f is uniformly (C;-α,-β) summable (α β＜ 1/p,α,β＞ 0) in the sense of Pringsheim. If α β≥ 1/p, then there exists a continuous function f0 of bounded partial double trigonometric Fourier series of fo diverge over cubes.     

Repellers for non-uniformly expanding maps with singular or critical points

GivenanergodicmeasurewithpositiveentropyandonlypositiveLyapunov exponents, its dynamical quantifiers can be approximated by means of quantifiers of some family of uniformly expanding repellers. Here non-uniformly expanding maps are studied that are C ^1+β smooth outside a set of possibly critical or singular points.     

Definition of Measure-theoretic Pressure Using Spanning Sets

We introduce a new definition of measure–theoretic pressure for ergodic measures of continuous maps on a compact metric space. This definition is similar to those of topological pressure involving spanning sets. As an application, for C ^{1+ α} (α > 0) diffeomorphisms of a compact manifold, we study the relationship between the measure–theoretic pressure and the periodic points. Project Supported by National Natural Science Foundation of China     

Covering numbers: Arithmetics and dynamics for rotations and interval exchanges

We study a particular case of the two-dimensional Steinhaus theorem, giving estimates of the possible distances between points of the formkα andkα+β on the unit circle, through an approximation algorithm of β by the pointskα. This allows us to compute covering numbers (maximal measures of Rokhlin stacks having certain prescribed regularity properties) for the symbolic dynamical systems associated to the rotation of argument α, acting on the partition of the circle by the points 0, β. We can the compute topological and measure-theoretic covering numbers for exchange of three intervals; in this way, we prove that every ergodic exchange of three intervals has simple spectrum and build a new class of three-interval exchanges which are not of rank one.     

How many intervals cover a point in Dvoretzky covering?

Consider the Dvoretzky random covering with length sequence {α/n} _n≥1 (α>0). We are interested in the setF _β of points on the circle which are covered by a numberβ logn of the firstn randomly placed intervals. It is proved among others that for a certain interval ofβ>0, the Hausdorff dimension ofF _β is equal to 1−[βlog(β/α)−(β−α)]. This implies that points on the circle are differently covered. The research was partially supported by the Zheng Ge Ru Foundation and the RGC grant of Hong Kong.     

Convolution properties of some classes of analytic functions

Let A denote the class of functions which are analytic in |z|<1 and normalized so that f(0)=0 and f′(0)=1, and let R(α, β)⊂A be the class of functions f such thatRe[f′(z)+αzf″(z)]>β,Re α>0, β<1. We determine conditions under which (i) f ∈ R(α₁, β₁), g ∈ R(α₂, β₂) implies that the convolution f×g of f and g is convex; (ii) f ∈ R(0, β₁), g ∈ R(0, β₂) implies that f×g is starlike; (iii) f≠A such that f′(z)[f(z)/z]^μ-1 ≺ 1 + λz, μ>0, 0<λ<1, is starlike, and (iv) f≠A such that f′(z)+αzf″(z) ≺ 1 + λz, α>0, δ>0, is convex or starlike. Bibliography: 16 titles. Published inZapiski Nauchnykh Seminarov POMI, Vol. 226, 1996, pp. 138–154.     

Growth of Groups and Diffeomorphisms of the Interval

We prove that, for all α > 0, every finitely generated group of C ^1+α diffeomorphisms of the interval with sub-exponential growth is almost nilpotent. Consequently, there is no group of C ^1+α interval diffeomorphisms having intermediate growth. In addition, we show that the C ^1+α regularity hypothesis for this assertion is essential by giving a C ¹ counter-example. Received: November 2006, Revised: July 2007, Accepted: July 2007     

Some estimates related to fractal measures and Laplacians on manifolds

Let Δ be the Laplace-Beltrami operator on ann dimensional completeC ^∞ manifoldM In this paper we establish an estimate ofe ^tΔ (dμ) valid for allt>0 wheredμ is a locally uniformly α dimensional measure onM 0≤α≤n The result is used to study the mapping properties of (I-tΔ)^-β considered as an operator fromL ^p (M dμ) toL ^p (M dx) wheredx is the Riemannian measure onM β>(n−α)/2p′ 1/p+1/p′=1 1≤p≤∞     

On invariant additive subgroups

Suppose thatR is a prime ring with the centerZ and the extended centroidC. An additive subgroupA ofR is said to be invariant under special automorphisms if (1+t)A(1+t)⁻¹ ⊆A for allt ∈R such thatt ²=0. Assume thatR possesses nontrivial idempotents. We prove: (1) If chR ≠ 2 or ifRC ≠C ₂, then any noncentral additive subgroup ofR invariant under special automorphisms contains a noncentral Lie ideal. (2) If chR=2,RC=C ₂ andC ≠ {0, 1}, then the following two conditions are equivalent: (i) any noncentral additive subgroup invariant under special automorphisms contains a noncentral Lie ideal; (ii) there isα ∈Z / {0} such thatα ² Z ⊆ {β ²:β ∈Z}.     

Closed convex hull of the family of multivalently close-to-convex functions of order β

In this paper the closed convex hulls of the compact familiesC _β(p), of multivalently close to convex functions of order β andV ₀ ^k (p), of multivalent functions of bounded boundary rotation, have been determined, respectively for β≥1 andk≥2(p+1)/p. Extreme points of these convex hulls are partially characterised. For a fixed pointz ₀∈D={z:|z|<1}, a new familyC _β(p, z₀) is defined through Montel normalisation and its closed convex hull is also foud. Sharp coefficient estimates for functions subordinate to or majorised by some function inC _β(p) orC' _β(p) are discussed for β>0. It is shown that iff is subordinate to some function inC _β(p) then each Taylor coefficient off is dominated by the corresponding coefficient of the function .     

Precise asymptotic formulas for variational eigencurves of semilinear two-parameter elliptic eigenvalue problems

We consider the two-parameter nonlinear eigenvalue problem?−Δu = μu − λ(u + u ^p + f(u)), u > 0 in Ω, u = 0 on ∂Ω,?where p>1 is a constant and μ,λ>0 are parameters. We establish the asymptotic formulas for the variational eigencurves λ=λ(μ,α) as μ→∞, where α>0 is a normalizing parameter. We emphasize that the critical case from a viewpoint of the two-term asymptotics of the eigencurve is p=3. Moreover, it is shown that p=5/3 is also a critical exponent from a view point of the three-term asymptotics when Ω is a ball or an annulus. This sort of criticality for two-parameter problems seems to be new. Received: February 9, 2002; in final form: April 3, 2002?Published online: April 14, 2003     

On the magnification of cantor sets and their limit models

For aC ¹⁺ hyperbolic (cookie-cutter) Cantor setC we consider the limits of sequences of closed subsets ofR obtained by arbitrarily high magnifications around different points ofC. It is shown that a well defined set of limit models exists for the infinitesimal geometry, orscenery, in the Cantor set. IfCC} is a diffeomorphic copy ofC then the set of limit models of C is the same as that ofC. Furthermore every limit model is made of Cantor sets which areC ¹⁺ diffeomorphic withC (for some >0, (0,1)), but not all suchC ¹⁺ copies ofC occur in the limit models. We show the relation between this approach to the asymptotic structure of a Cantor set and Sullivan's scaling function. An alternative definition of a fractal is discussed.With 1 Figure