Invariant measures for parabolic IFS with overlaps and random continued fractions

We study parabolic iterated function systems (IFS) with overlaps on the real line. An ergodic shift-invariant measure with positive entropy on the symbolic space induces an invariant measure on the limit set of the IFS. The Hausdorff dimension of this measure equals the ratio of entropy over Lyapunov exponent if the IFS has no ``overlaps.' We focus on the overlapping case and consider parameterized families of IFS, satisfying a transversality condition. Our main result is that the invariant measure is absolutely continuous for a.e. parameter such that the entropy is greater than the Lyapunov exponent. If the entropy does not exceed the Lyapunov exponent, then their ratio gives the Hausdorff dimension of the invariant measure for a.e. parameter value, and moreover, the local dimension of the exceptional set of parameters can be estimated. These results are applied to a family of random continued fractions studied by R. Lyons. He proved singularity above a certain threshold; we show that this threshold is sharp and establish absolute continuity for a.e. parameter in some interval below the threshold.

     

Persistence of nonhyperbolic measures for <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-diffeomorphisms

In the space of diffeomorphisms of an arbitrary closed manifold of dimension ≥ 3, we construct an open set such that each difteomorphism in this set has an invariant ergodic measure with respect to which one of its Lyapunov exponents is zero. These difteomorphisins are constructed to have a partially hyperbolic invariant set on which the dynamics is conjugate to a soft skew product with the circle as the fiber. It is the central Lyapunov exponent that proves to be zero in this case, and the construction is based on an analysis of properties of the corresponding skew products.     

Order Conditions for Sampling the Invariant Measure of Ergodic Stochastic Differential Equations on Manifolds

We derive a new methodology for the construction of high-order integrators for sampling the invariant measure of ergodic stochastic differential equations with dynamics constrained on a manifold. We obtain the order conditions for sampling the invariant measure for a class of Runge–Kutta methods applied to the constrained overdamped Langevin equation. The analysis is valid for arbitrarily high order and relies on an extension of the exotic aromatic Butcher-series formalism. To illustrate the methodology, a method of order two is introduced, and numerical experiments on the sphere, the torus and the special linear group confirm the theoretical findings.

     

Analytic expansion of the lyapunov exponent associated to the SchrÖDinger operator with random potential

The invariant measure and Lyapunov exponent associated to the one–dimensional Schrödinger operator with a random potential (or, in other words, to the damped linear oscillator with random restoring force) are studied for small real noise (diffusions). Analytic expression are given via perturbation expansion. As a by-product, the well-known positivity of the Lyapunov exponent (in the undamped case) is reproved     

Towards mesoscopic ergodic theory Dedicated with Admiration to the Memory of Professor Shantao Liao

The present paper is devoted to a preliminary study towards the establishment of an ergodic theory for stochastic differential equations(SDEs) with less regular coefficients and degenerate noises. These equations are often derived as mesoscopic limits of complex or huge microscopic systems. By studying the associated Fokker-Planck equation(FPE), we prove the convergence of the time average of globally defined weak solutions of such an SDE to the set of stationary measures of the FPE under Lyapunov conditions. In the case where the set of stationary measures consists of a single element, the unique stationary measure is shown to be physical.Similar convergence results for the solutions of the FPE are established as well. Some of our convergence results, while being special cases of those contained in Ji et al.(2019) for SDEs with periodic coefficients, have weaken the required Lyapunov conditions and are of much simplified proofs. Applications to stochastic damping Hamiltonian systems and stochastic slow-fast systems are given.     

Error analysis of a hybrid method for computing Lyapunov exponents

In a previous paper (Beyn and Lust in Numer Math 113:357–375, 2009) we suggested a numerical method for computing all Lyapunov exponents of a dynamical system by spatial integration with respect to an ergodic measure. The method extended an earlier approach of Aston and Dellnitz (Comput Methods Appl Mech Eng 170:223–237, 1999) for the largest Lyapunov exponent by integrating the diagonal entries from the $QR$ -decomposition of the Jacobian for an iterated map. In this paper we provide an asymptotic error analysis of the method for the case in which all Lyapunov exponents are simple. We employ Oseledec multiplicative ergodic theorem and impose certain hyperbolicity conditions on the invariant subspaces that belong to neighboring exponents. The resulting error expansion shows that one step of extrapolation is enough to obtain exponential decay of errors.     

“Random” random matrix products

The paper deals with compositions of independent random bundle maps whose distributions form a stationary process which leads to study of Markov processes in random environments. A particular case of this situation is a product of independent random matrices with stationarily changing distributions. We obtain results concerning invariant filtrations for such systems, positivity and simplicity of the largest Lyapunov exponent, as well as central limit theorem type results. An application to random harmonic functions and measures is also considered. Continuous time versions of these results, which yield applications to linear stochastic differential equations in random environments, are also discussed. Partially supported by the Edmund Landau Center for Research in Mathematical Analysis and Related Areas, sponsored by the Minerva Foundation (Germany).     

The Burgers equation with affine linear noise: Dynamics and stability

We study the dynamics of the Burgers equation on the unit interval driven by affine linear noise. Mild solutions of the Burgers stochastic partial differential equation generate a smooth perfect and locally compacting cocycle on the energy space. Using multiplicative ergodic theory techniques, we establish the existence of a discrete non-random Lyapunov spectrum for the cocycle. We establish a local stable manifold theorem near a hyperbolic stationary point, as well as the existence of local smooth invariant manifolds with finite codimension and a countable global invariant foliation of the energy space relative to an ergodic stationary point.     

Orbital stability index for stochastic systems

The Known concepts of Lyapunov exponent, moment Lyapunov exponents, and stability index for stationary points of stochastic systems are carried over for invariant orbits with nonvanishing diffusion. The obtained geneal results are applied to investiating stochastic stability and stabilization of orbits on the plane. These questions are considered under small diffusion as well.     

Expansions in nearly linear stochastic dynamical problems

A class of stochastic differential equations is considered which arises by adding a nonlinear term with a small parameter δ in the drift coefficient of a linear stochastic system. First, for a fixed time an expansion in powers of δ of the expectations of functions is established. Second, under the assumptions guaranteeing the existence of a unique ergodic measure, the corresponding expansion of the expectations of functions with respect to the invariant measure in powers of δ, δ²,… is also established.     

Ergodic properties for some non-expanding non-reversible systems

We study several properties of invariant measures obtained from preimages, for non-invertible maps on fractal sets which model non-reversible dynamical systems. We give two ways to describe the distribution of all preimages for endomorphisms which are not necessarily expanding on a basic set Λ. We give a topological dynamics condition which guarantees that the corresponding measures converge to a unique conformal ergodic borelian measure; this helps in estimating the unstable dimension a.e. with respect to this measure with the help of Lyapunov exponents. When there exist negative Lyapunov exponents of this limit measure, we study the conditional probabilities induced on the non-uniform local stable manifolds by the limit measure, and also its pointwise dimension on stable manifolds.     

A hybrid method for computing Lyapunov exponents

In this paper we propose a numerical method for computing all Lyapunov coefficients of a discrete time dynamical system by spatial integration. The method extends an approach of Aston and Dellnitz (Comput Methods Appl Mech Eng 170:223–237, 1999) who use a box approximation of an underlying ergodic measure and compute the first Lyapunov exponent from a spatial average of the norms of the Jacobian for the iterated map. In the hybrid method proposed here, we combine this approach with classical QR-oriented methods by integrating suitable R-factors with respect to the invariant measure. In this way we obtain approximate values for all Lyapunov exponents. Assuming somewhat stronger conditions than those of Oseledec’ multiplicative theorem, these values satisfy an error expansion that allows to accelerate convergence through extrapolation. W.-J. Beyn and A. Lust was supported by CRC 701 ‘Spectral Analysis and Topological Methods in Mathematics’. The paper is mainly based on the PhD thesis [27] of A. Lust.     

The moment Lyapunov exponent for a three-dimensional stochastic system

This paper presents a method, through which the pth moment stability of a linear multiplicative stochastic system, that is a linear part of a co-dimension two-bifurcation system upon a three-dimensional center manifold and is subjected to a parametric excitation by an ergodic real noise, is obtained. The excitation included is assumed to be an integrable function of an n-dimensional Ornstein–Uhlenbeck vector process that is the output of a linear filter system and both the strong mixing condition, which is the sufficient condition for the stochastic averaging method, and the delicate balance condition are removed in the present study. By using a perturbation method and the spectrum representations of both the Fokker Planck operator and its adjoint one of the linear filter system, the asymptotic expressions of the moment Lyapunov exponent are obtained, which match the numerical results well.     

带有双噪声的随机SI传染病模型的稳定性与分岔

建立一个带有双噪声的随机SI传染病模型,运用随机平均法及非线性动力学理论对模型进行化简．通过Lyapunov指数和奇异边界理论,得到模型的局部随机稳定性和全局随机稳定性的条件．根据不变测度的Lyapunov指数和平稳概率密度,分析模型的随机分岔．结果表明,系统在随机因素作用下变得更敏感、更不稳定.     

Statistical properties of topological Collet-Eckmann maps

We study geometric and statistical properties of complex rational maps satisfying a non-uniform hyperbolicity condition called “Topological Collet-Eckmann”. This condition is weaker than the “Collet-Eckmann” condition. We show that every such map possesses a unique conformal probability measure of minimal exponent, and that this measure is non-atomic, ergodic, and that its Hausdorff dimension is equal to the Hausdorff dimension of the Julia set. Furthermore, we show that there is a unique invariant probability measure that is absolutely continuous with respect to this conformal measure, and that this invariant measure is exponentially mixing (it has exponential decay of correlations) and satisfies the Central Limit Theorem.We also show that for a complex rational map the existence of such invariant measure characterizes the Topological Collet-Eckmann condition: a rational map satisfies the Topological Collet-Eckmann condition if, and only if, it possesses an exponentially mixing invariant measure that is absolutely continuous with respect to some conformal measure, and whose topological support contains at least 2 points.     

Dimension theory of iterated function systems

Let {S_i} be an iterated function system (IFS) on ?^d with attractor K. Let (Σ, σ) denote the one‐sided full shift over the alphabet {1, …, ??}. We define the projection entropy function h_π on the space of invariant measures on Σ associated with the coding map π : Σ → K and develop some basic ergodic properties about it. This concept turns out to be crucial in the study of dimensional properties of invariant measures on K. We show that for any conformal IFS (respectively, the direct product of finitely many conformal IFSs), without any separation condition, the projection of an ergodic measure under π is always exactly dimensional and its Hausdorff dimension can be represented as the ratio of its projection entropy to its Lyapunov exponent (respectively, the linear combination of projection entropies associated with several coding maps). Furthermore, for any conformal IFS and certain affine IFSs, we prove a variational principle between the Hausdorff dimension of the attractors and that of projections of ergodic measures. © 2008 Wiley Periodicals, Inc.     

Deterministic and stochastic equations of motion arising in Oldroyd fluids of order one: existence,uniqueness, exponential stability and invariant measures

Abstract

In this work, we consider the two-dimensional viscoelastic fluid flow equations, arising from the Oldroyd model for the non-Newtonian fluid flows. We investigate the well-posedness of such models in two-dimensional bounded and unbounded (Poincaré domains) domains, both in deterministic and stochastic settings. The existence and uniqueness of weak solution in the deterministic case is proved via a local monotonicity property of the linear and nonlinear operators and a localized version of the Minty-Browder technique. Some results on the exponential stability of stationary solutions are also established. The global solvability results for the stochastic counterpart are obtained by a stochastic generalization of the Minty-Browder technique. The exponential stability results in the mean square as well as in the pathwise (almost sure) sense are also discussed. Using the exponential stability results, we finally prove the existence of a unique invariant measure, which is ergodic and strongly mixing.     

Lyapunov exponents of nilpotent Itô systems with random coefficients

The paper considers the top Lyapunov exponent of a two-dimensional linear stochastic differential equation. The matrix coefficients are assumed to be functions of an independent recurrent Markov process, and the system is a small perturbation of a nilpotent system. The main result gives the asymptotic behavior of the top Lyapunov exponent as the perturbation parameter tends to zero. This generalizes a result of Pinsky and Wihstutz for the constant coefficient case.     

Hausdorff Measures versus Equilibrium States of Conformal Infinite Iterated Function Systems

Dealing with infinite iterated function systems we introduce and develop the ergodic theory of Hölder systems of functions similarly as in [HU] and [HMU]. In the context of conformal infinite iterated function systems we prove the volume lemma for the Hausdorff dimension of the projection onto the limit set of a shift invariant measure. This can be considered as a Billingsley type result. Our cenral goal is to demonstrate the appearance of the "singularity-absolute continuity" dichotomy for equilibrium states of Hölder systems of functions which has been observed in [PUZ,I] and [PUZ,II] (see also [DU1] and [DU2]) in the setting of rational functions of the Riemann sphere.     

Invariant measures for non-primitive tiling substitutions

We consider self-affine tiling substitutions in Euclidean space and the corresponding tiling dynamical systems. It is well known that in the primitive case, the dynamical system is uniquely ergodic. We investigate invariant measures when the substitution is not primitive and the tiling dynamical system is non-minimal. We prove that all ergodic invariant probability measures are supported on minimal components, but there are other natural ergodic invariant measures, which are infinite. Under some mild assumptions, we completely characterize σ-finite invariant measures which are positive and finite on a cylinder set. A key step is to establish recognizability of non-periodic tilings in our setting. Examples include the “integer Sierpiński gasket and carpet” tilings. For such tilings, the only invariant probability measure is supported on trivial periodic tilings, but there is a fully supported σ-finite invariant measure that is locally finite and unique up to scaling.