SearcharxivSearch

arXiv subjects

Daniel Smania

Publications and source records attributed to Daniel Smania.

At least 19 recordsLinked to original sources

Brjuno-Like Functions for nonlinear expanding maps: Fractional Derivatives and Regularity Dichotomies

Cohomological equations appear frequently in dynamical systems. One of the most classical examples is the Liv\v{s}ic equation $$ v(x) = \alpha \circ F(x) - \alpha(x).$$ The existence and regularity of its solutions $\alpha$ is well understood when $F$ is a hyperbolic dynamical system (for instance an expanding map of the circle) and $v$ is a H\"older function. The $\textbf{twisted cohomological equation}$ $$ v(x) = \alpha \circ F(x) - (DF(x))^\beta \, \alpha(x) $$ is much less well understood. Functions similar to the famous Brjuno, Weierstrass, and Takagi functions appear as solutions of this equation. This functional equation also appears in the work of M. Lyubich, and of Avila, Lyubich, and de Melo in their study of deformations of quadratic-like and real-analytic maps. Nevertheless, there are some striking results concerning the (lack of) regularity of solutions $\alpha$ when $F$ is a linear endomorphism of the circle and $v$ is very regular. Notable contributions include works by Berry and Lewis; Ledrappier; Przytycki and Urba\'nski, and more recently by Bara\'nski, B\'ar\'any and Romanowska, as well as by Shen, and by Ren and Shen, on Takagi and Weierstrass (and Weierstrass-like) functions. We study the regularity of solutions $\alpha$ when $F$ is a $\textbf{nonlinear}$ expanding map of the circle and $v$ is not differentiable or even continuous, a setting in which previously used transversality techniques do not appear to be applicable. The new approach uses fractional derivatives to reduce the study of the twisted cohomological equation to that of a corresponding Liv\v{s}ic cohomological equation, and to show that the resulting distributional solutions (in the sense of Schwartz) satisfy certain Central Limit Theorem.

math.DS

Anisotropic spaces for the bilateral shift

Given two H\"older potentials $\phi_+$ and $\psi_-$ for the unilateral shift, we define anisotropic Banach spaces of distributions on the bilateral shift space with a finite alphabet. On these spaces, the transfer operator for the bilateral shift is quasicompact with a spectral gap, and the unique Gibbs state associated with $\phi_+$ spans its $1$-eigenspace. This result allows us to establish exponential decay of correlations for H\"older observables and a wide range of measures on the bilateral shift space.

math.DS

Particle systems, Dipoles and Besov spaces of distributions

We define distributions on an abstract measure space endowed with a sequence of partitions, and introduce analogues of Besov spaces with negative smoothness in this setting. In particular, we describe these spaces of distributions using unconditional Schauder bases consisting either of Haar wavelets or of pairs of Dirac masses (dipoles). This framework allows us to obtain duality results between Besov spaces of negative smoothness and H\"older spaces of functions with respect to an appropriately defined pseudo-metric.

math.AP

Transfer operators, atomic decomposition and the Bestiary

Arbieto and S. recently used atomic decomposition to study transfer operators. We give a long list of old and new expanding dynamical systems for which those results can be applied, obtaining the quasi-compactness of transfer operator acting on Besov spaces of measure spaces with a good grid.

math.DS

Birkhoff sums as distributions I: Regularity

We study Birkhoff sums as distributions. We obtain regularity results on such distributions for various dynamical systems with hyperbolicity, as hyperbolic linear maps on the torus and piecewise expanding maps on the interval. We also give some applications, as the study of advection in discrete dynamical systems.

math.DS

Birkhoff sums as distributions II: Applications to deformations of dynamical systems

Often topological classes of one-dimensional dynamical systems are finite codimension smooth manifolds. We describe a method to prove this sort of statement that we believe can be applied in many settings. In this work we will implement it for piecewise expanding maps. The most important step will be the identification of infinitesimal deformations with primitives of Birkhoff sums (up to addition of a Lipschitz function), that allows us to use the ergodic properties of piecewise expanding maps to study the regularity of infinitesimal deformations.

math.DS

Transfer operators and atomic decomposition

We use the method of atomic decomposition and a new family of Banach spaces to study the action of transfer operators associated to piecewise-defined maps. It turns out that these transfer operators are quasi-compact even when the associated potential, the dynamics and the underlying phase space have very low regularity. In particular it is often possible to obtain exponential decay of correlations, the Central Limit Theorem and almost sure invariance principle for fairly general observables, including unbounded ones.

math.DS

Besov-ish spaces through atomic decomposition

We use the method of atomic decomposition to build new families of function spaces, similar to Besov spaces, in measure spaces with grids, a very mild assumption. Besov spaces with low regularity are considered in measure spaces with good grids, and results on multipliers and left compositions are obtained.

math.CA

Fractional susceptibility functions for the quadratic family: Misiurewicz-Thurston parameters

For the quadratic family, we define the two-variable ($\eta$ and $z$) fractional susceptibility function associated to a C^1 observable at a stochastic map. We also define an approximate, "frozen" fractional susceptibility function. If the parameter is Misiurewicz-Thurston, we show that the frozen susceptibility function has a pole at $z=1$ for generic observables if a "one-half" transversality condition holds. We introduce "Whitney" fractional integrals and derivatives on suitable sets $\Omega$. We formulate conjectures supported by our results on the frozen susceptibility function and numerical experiments. In particular, we expect that the fractional susceptibility function for $\eta=1/2$ is singular at $z=1$ for Collet-Eckmann maps and generic observables. We view this work as a step towards the resolution of the paradox that the classical susceptibility function is holomorphic at $z=1$ for Misiurewicz-Thurston maps, despite lack of linear response.

math.DS

Classic and exotic Besov spaces induced by good grids

In a previous work we introduced Besov spaces $\mathcal{B}^s_{p,q}$ defined on a measure spaces with a good grid, with $p\in [1,\infty)$, $q\in [1,\infty]$ and $0< s< 1/p$. Here we show that classical Besov spaces on compact homogeneous spaces are examples of such Besov spaces. On the other hand we show that even Besov spaces defined by a good grid made of partitions by intervals may differ from a classical Besov space, giving birth to exotic Besov spaces.

math.CA

Solenoidal attractors with bounded combinatorics are shy

We show that in a generic finite-dimensional real-analytic family of real-analytic multimodal maps, the subset of parameters on which the corresponding map has a solenoidal attractor with bounded combinatorics is a set with zero Lebesgue measure.

math.DS

Central limit theorem for generalized Weierstrass functions

Let $f$ be a $C^{2+ε}$ expanding map of the circle and $v$ be a $C^{1+ε}$ real function of the circle. Consider the twisted cohomological equation $v(x) = α(f(x)) - Df(x) α(x)$ which has a unique bounded solution $α$. We prove that $α$ is either $C^{1+ε}$ or nowhere differentiable, and if $α$ is nowhere differentiable then the Newton quotients of $α$, after an appropriated normalization, converges in distribution to the normal distribution, with respect to the unique absolutely continuous invariant probability of $f$.

math.DS

Shy shadows of infinite-dimensional partially hyperbolic invariant sets

Let $\mathcal{R}$ be a strongly compact $C^2$ map defined in an open subset of an infinite-dimensional Banach space such that the image of its derivative $D_F \mathcal{R}$ is dense for every $F$. Let $Ω$ be a compact, forward invariant and partially hyperbolic set of $\mathcal{R}$ such that $\mathcal{R}\colon Ω\rightarrow Ω$ is onto. The $δ$-shadow $W^s_δ(Ω)$ of $Ω$ is the union of the sets $$W^s_δ(G)= \{F\colon dist(\mathcal{R}^iF, \mathcal{R}^iG) \leq δ, \ for \ every \ i\geq 0 \},$$ where $G \in Ω$. Suppose that $W^s_δ(Ω)$ has transversal empty interior, that is, for every $C^{1+Lip}$ $n$-dimensional manifold $M$ transversal to the distribution of dominated directions of $Ω$ and sufficiently close to $W^s_δ(Ω)$ we have that $M\cap W^s_δ(Ω)$ has empty interior in $M$. Here $n$ is the finite dimension of the strong unstable direction. We show that if $δ'$ is small enough then $$\cup_{i\geq 0}\mathcal{R}^{-i}W^s_{δ'} (Ω)$$ intercepts a $C^k$-generic finite dimensional curve inside the Banach space in a set of parameters with zero Lebesgue measure, for every $k\geq 0$. This extends to infinite-dimensional dynamical systems previous studies on the Lebesgue measure of stable laminations of invariants sets.

math.DS

Holomorphic motions for unicritical correspondences

We study quasiconformal deformations and mixing properties of hyperbolic sets in the family of holomorphic correspondences z^r +c, where r >1 is rational. Julia sets in this family are projections of Julia sets of holomorphic maps on C^2, which are skew-products when r is integer, and solenoids when r is non-integer and c is close to zero. Every hyperbolic Julia set in C^2 moves holomorphically. The projection determines a branched holomorphic motion with local (and sometimes global) parameterisations of the plane Julia set by quasiconformal curves.

math.DS

Existence of C^{K}-invariant foliations for Lorenz type maps

In this paper under similar conditions to that Shaskov and Shil'nikov [1994] we show that a C^{k+1} Lorenz-type map T has a C^{k} foliation which is invariant under T. This allows us to associate T to a C^{k} one-dimensional transformation.

math.DS