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.     

Patterson-Sullivan-type measures on Riccati foliations with quasi-Fuchsian holonomy

We consider Riccati foliations ?_ρ with hyperbolic leaves, over a finite hyperbolic Riemann Surface S, constructed by suspending a representation ρ: π ₁(S) → PSL(2,?) in a quasi-Fuchsian group. The foliated geodesic flow has a repeller-attractor dynamic with generic statistics µ⁺ and µ^? for positive and negative times, respectively. These measures have a common projection to a harmonic measure μ_ρ for the Riccati foliation. We describe μ _ρ ⁺ , μ _ρ ^- and μ_ρ in terms of the Patterson-Sullivan construction, and we show that the measures μ_ρ provide examples of the conformal harmonic measures introduced by M. Brunella.     

Ergodic measures of geodesic flows on compact Lie groups

Let Ψ be the geodesic flow associated with a two-sided invariant metric on a compact Lie group. In this paper, we prove that every ergodic measure μ of Ψ is supported on the unit tangent bundle of a flat torus. As an application, all Lyapunov exponents of μ are zero hence μ is not hyperbolic. Our underlying manifolds have nonnegative curvature (possibly strictly positive on some sections), whereas in contrast, all geodesic flows related to negative curvature are Anosov hence every ergodic measure is hyperbolic.     

Equivalent boundedness of Marcinkiewicz integrals on non-homogeneous metric measure spaces

Let(X,d,μ)be a metric measure space satisfying the upper doubling condition and the geometrically doubling condition in the sense of Hyto¨nen.We prove that the L p(μ)-boundedness with p∈(1,∞)of the Marcinkiewicz integral is equivalent to either of its boundedness from L1(μ)into L1,∞(μ)or from the atomic Hardy space H1(μ)into L1(μ).Moreover,we show that,if the Marcinkiewicz integral is bounded from H1(μ)into L1(μ),then it is also bounded from L∞(μ)into the space RBLO(μ)(the regularized BLO),which is a proper subset of RBMO(μ)(the regularized BMO)and,conversely,if the Marcinkiewicz integral is bounded from L∞b(μ)(the set of all L∞(μ)functions with bounded support)into the space RBMO(μ),then it is also bounded from the finite atomic Hardy space H1,∞fin(μ)into L1(μ).These results essentially improve the known results even for non-doubling measures.     

Smooth diffeomorphisms of the plane with stable periodic points in a neighborhood of a homoclinic point

We consider self-diffeomorphisms of the plane of the class C ^r (1 ?? r < ??) with a fixed hyperbolic point and a nontransversal point homoclinic to it. We present a method for constructing a set of diffeomorphisms for which the neighborhood of a homoclinic point contains countably many stable periodic points with characteristic exponents bounded away from zero.     

Θ-type Calderón-Zygmund operators with non-doubling measures

Let µ be a Radon measure on ? ^d which may be non-doubling. The only condition that µ must satisfy is µ(B(x, r)) ≤ Cr ⁿ for all x∈? ^d , r > 0 and for some fixed 0 < n ≤ d. In this paper, under this assumption, we prove that θ-type Calderón-Zygmund operator which is bounded on L ²(µ) is also bounded from L ^∞(µ) into RBMO(µ) and from H _atb ^1,∞ (µ) into L ¹(µ). According to the interpolation theorem introduced by Tolsa, the L ^p (µ)-boundedness (1 < p < ∞) is established for θ-type Calderón-Zygmund operators. Via a sharp maximal operator, it is shown that commutators and multilinear commutators of θ-type Calderón-Zygmund operator with RBMO(µ) function are bounded on L ^p (µ) (1 < p < ∞).     

Geometry and entropy of generalized rotation sets

For a continuous map f on a compact metric space we study the geometry and entropy of the generalized rotation set Rot(Φ). Here Φ = (?₁, ..., ? _m ) is a m-dimensional continuous potential and Rot(Φ) is the set of all µ-integrals of Φ and µ runs over all f-invariant probability measures. It is easy to see that the rotation set is a compact and convex subset of ? ^m . We study the question if every compact and convex set is attained as a rotation set of a particular set of potentials within a particular class of dynamical systems. We give a positive answer in the case of subshifts of finite type by constructing for every compact and convex set K in ? ^m a potential Φ = Φ(K) with Rot(Φ) = K. Next, we study the relation between Rot(Φ) and the set of all statistical limits Rot _Pt (Φ). We show that in general these sets differ but also provide criteria that guarantee Rot(Φ) = Rot _Pt (Φ). Finally, we study the entropy function w ? H(w),w ∈ Rot(Φ). We establish a variational principle for the entropy function and show that for certain non-uniformly hyperbolic systems H(w) is determined by the growth rate of those hyperbolic periodic orbits whose Φ-integrals are close to w. We also show that for systems with strong thermodynamic properties (sub-shifts of finite type, hyperbolic systems and expansive homeomorphisms with specification, etc.) the entropy function w ? H(w) is real-analytic in the interior of the rotation set.     

Hyperbolicity, heterodimensional cycles and Lyapunov exponents for partially hyperbolic dynamics

We prove a dichotomy of C² partially hyperbolic sets with one-dimensional center direction admitting no zero Lyapunov exponents, either hyperbolicity over the supports of ergodic measures or approximation by a heterodimensional cycle. This provides a partial result to the C¹ Palis Conjecture that claims a dichotomy, hyperbolicity or homoclinic bifurcations in a dense subset of the space of C¹ diffeomorphisms. Moreover, a theorem of Ma?é applied in the proof is modified to have an additional property concerning the Hausdorff distance between a periodic orbit and the support of a hyperbolic ergodic measure.     

Thickness of a Simplex Whose Edge Lengths Fall Within a Prescribed Range

The existence of a simplex in hyperbolic, Euclidean, or spherical space whose edge lengths lie within a prescribed range has been studied in a few papers. The question considered there can be put this way. Let ? be a positive number (with a natural upper bound in the spherical case). What is the minimum number λ = λ _n (?) such that an n-simplex exists in the n-dimensional space whenever its edge lengths fall within [λ, ?]? The papers derive exact expressions for λ _n (?) in each of the three geometries. They do not tell, however, how 'thick' at least the simplex will be depending on ? and a lower bound µ ε [ λ, ?] of the edge lengths. Such a dependence clearly exists. One can easily guess for instance that, when µ is close to ?, the simplex cannot be too thin compared to the regular simplex for which µ =?. We define here a suitable thickness of a convex body and then estimate from below this thickness of a simplex in terms of n, ?, and µ for each of the three geometries.     

On a method for computing waveguide scattering matrices in the presence of point spectrum

A waveguide occupies a domain G in ? ⁿ⁺¹, n ? 1, having several cylindrical outlets to infinity. The waveguide is described by a general elliptic boundary value problem that is self-adjoint with respect to the Green formula and contains a spectral parameter µ. As an approximation to a row of the scattering matrix S(µ) we suggest a minimizer of a quadratic functional J ^R (·, µ). To construct such a functional, we solve an auxiliary boundary value problem in the bounded domain obtained by cutting off, at a distance R, the waveguide outlets to infinity. It is proved that, if a finite interval [µ₁, µ₂] of the continuous spectrum contains no thresholds, then, as R → ∞, the minimizer tends to the row of the scattering matrix at an exponential rate uniformly with respect to µ ∈ [µ₁, µ₂]. The interval may contain some waveguide eigenvalues whose eigenfunctions exponentially decay at infinity.     

Tame division algebras of prime period over function fields of p-adic curves

Let F be a field finitely generated and of transcendence degree one over a p-adic field, and let ? ≠ p be a prime. Results of Merkurjev and Saltman show that H²(F, µ_?) is generated by ?/?-cyclic classes. We prove the “?/?-length” in H²(F, µ_?) is less than the ?-Brauer dimension, which Salt-man showed to be three. It follows that all F-division algebras of period ? are crossed products, either cyclic (by Saltman’s cyclicity result) or tensor products of two cyclic F-division algebras. Our result was originally proved by Suresh when F contains the ?-th roots of unity µ_?.     

The extreme points of some convex sets in the theory of majorization

Let (A, %plane1D;49C;, μ) be a finite measure space, and let Ω_{µ, w}⁺f denote the set of all nonnegative real-valued %plane1D;49C;-measurable functions on A weaklymajorized by a nonnegative function f, in the sense of Hardly, Littlewood and Pólya. For a nonatomic µ, the extreme points ofΩ_{µ, w} ⁺f are shown to be the nonnegativefunctions obtained by taking a fraction (1−θ) of the largest values of and arranging them in any way on any subset of A of measure(1−θ), with values elsewhere set equal to zero. Topological properties of these extreme points are given.     

Timelike surfaces of constant mean curvature ±1 in anti-de Sitter 3-space ℍ3 1(−1)

It is shown that timelike surfaces of constant mean curvature ± in anti-de Sitter 3-space ?³ ₁(?1) can be constructed from a pair of Lorentz holomorphic and Lorentz antiholomorphic null curves in ?SL₂? via Bryant type representation formulae. These Bryant type representation formulae are used to investigate an explicit one-to-one correspondence, the so-called Lawson–Guichard correspondence, between timelike surfaces of constant mean curvature ± 1 and timelike minimal surfaces in Minkowski 3-space E ³ ₁. The hyperbolic Gauß map of timelike surfaces in ?³ ₁(?1), which is a close analogue of the classical Gauß map is considered. It is discussed that the hyperbolic Gauß map plays an important role in the study of timelike surfaces of constant mean curvature ± 1 in ?³ ₁(?1). In particular, the relationship between the Lorentz holomorphicity of the hyperbolic Gauß map and timelike surface of constant mean curvature ± 1 in ?³ ₁(?1) is studied.     

A Note on Time-Decay Estimates for the Compressible Navier–Stokes Equations

In the recent work, we have developed a decay framework in general L~p critical spaces and established optimal time-decay estimates for barotropic compressible Navier–Stokes equations. Those decay rates of L~q-L~r type of the solution and its derivatives are available in the critical regularity framework, which were exactly firstly observed by Matsumura Nishida, and subsequently generalized by Ponce for solutions with high Sobolev regularity. We would like to mention that our approach is likely to be effective for other hyperbolic/parabolic systems that are encountered in fluid mechanics or mathematical physics. In this paper, a new observation is involved in the high frequency, which enables us to improve decay exponents for the high frequencies of solutions.     

Shilnikov lemma for a nondegenerate critical manifold of a Hamiltonian system

Let M be a normally hyperbolic symplectic critical manifold of a Hamiltonian system. Suppose M consists of equilibria with real eigenvalues. We prove an analog of the Shilnikov lemma (strong version of the λ-lemma) describing the behavior of trajectories near M. Using this result, trajectories shadowing chains of homoclinic orbits to M are represented as extremals of a discrete variational problem. Then the existence of shadowing periodic orbits is proved. This paper is motivated by applications to the Poincaré’s second species solutions of the 3 body problem with 2 masses small of order µ. As µ → 0, double collisions of small bodies correspond to a symplectic critical manifold M of the regularized Hamiltonian system. Thus our results imply the existence of Poincaré’s second species (nearly collision) periodic solutions for the unrestricted 3 body problem.     

Nonuniform hyperbolicity for C1-generic diffeomorphisms

We study the ergodic theory of non-conservative C ¹-generic diffeomorphisms. First, we show that homoclinic classes of arbitrary diffeomorphisms exhibit ergodic measures whose supports coincide with the homoclinic class. Second, we show that generic (for the weak topology) ergodic measures of C ¹-generic diffeomorphisms are non-uniformly hyperbolic: they exhibit no zero Lyapunov exponents. Third, we extend a theorem by Sigmund on hyperbolic basic sets: every isolated transitive set Λ of any C ¹-generic diffeomorphism f exhibits many ergodic hyperbolic measures whose supports coincide with the whole set Λ.     

Negative entropy,zero temperature and Markov chains on the interval

We consider ergodic optimization for the shift map on the modified Bernoulli space σ: [0, 1]^? → [0, 1]^?, where [0, 1] is the unit closed interval, and the potential A: [0, 1]^? → ? considered depends on the two first coordinates of [0, 1]^?. We are interested in finding stationary Markov probabilities µ_∞ on [0, 1]^? that maximize the value ∫ Adµ, among all stationary (i.e. σ-invariant) probabilities µ on [0, 1]^?. This problem correspond in Statistical Mechanics to the zero temperature case for the interaction described by the potential A. The main purpose of this paper is to show, under the hypothesis of uniqueness of the maximizing probability, a Large Deviation Principle for a family of absolutely continuous Markov probabilities µ _β which weakly converges to µ_∞. The probabilities µ _β are obtained via an information we get from a Perron operator and they satisfy a variational principle similar to the pressure in Thermodynamic Formalism. As the potential A depends only on the first two coordinates, instead of the probability µ on [0, 1]^?, we can consider its projection ν on [0, 1]². We look at the problem in both ways. If µ_∞ is the maximizing probability on [0, 1]^?, we also have that its projection ν _∞ is maximizing for A. The hypothesis about stationarity on the maximization problem can also be seen as a transhipment problem. Under the hypothesis of A being C ² and the twist condition, that is,

$\frac{{\partial ^2 A}}{{\partial x\partial y}}(x,y) \ne 0, for all (x,y) \in [0,1]^2 ,$

we show the graph property of the maximizing probability ν on [0, 1]². Moreover, the graph is monotonous. An important result we get is: the maximizing probability is unique generically in Mañé’s sense. Finally, we exhibit a separating sub-action for A.

     

On the Baire Classification of Positive Characteristic Exponents in the Perron Effect of Change of Their Values

In the complete Perron effect of change of values of characteristic exponents, where all nontrivial solutions y(t, y₀) of the perturbed two-dimensional differential system are infinitely extendible and have finite positive exponents (the exponents of the linear approximation system being negative), we prove that the Lyapunov exponent λ[y(·, y₀)] of these solutions is a function of the second Baire class of their initial vectors y₀ ∈ ?ⁿ {0}.     

Kronecker multiplicities in the (k, ℓ) hook are polynomially bounded

The problem of decomposing the Kronecker product of S _n characters is one of the last major open problems in the ordinary representation theory of the symmetric group S _n . In this note λ and µ are partitions of n, n goes to infinity, and we prove upper and lower polynomial bounds for the multiplicities of the Kronecker product χ^λ ? χ^µ, where for some fixed k and ? both partitions λ and µ are in the (k, ?) hook.     

On recurrence and transience of self-interacting random walks

Let µ₁,...,µ _k be d-dimensional probabilitymeasures in ? ^d with mean 0. At each time we choose one of the measures based on the history of the process and take a step according to that measure. We give conditions for transience of such processes and also construct examples of recurrent processes of this type. In particular, in dimension 3 we give the complete picture: every walk generated by two measures is transient and there exists a recurrent walk generated by three measures.