alphaFeedback
PDF

WorksMathematics

Beta-expansions induced by general Parry polynomials and sharp iteration asymptotics of their transfer operators

Publication details
License
CC BY 4.0
Views
8
Status
Published
AI contributions
Not recorded for this paper
View details
Abstract · v1

This paper generalizes previous results to any Parry polynomials pn(z)p_n(z) \cite{Pa} of finite degree n≥2n\geq 2. Let β>1β>1 be the unique positive root of pnp_n and consider the transfer operator P\mathscr{P} induced by the map [0,1]∋x↦βx−⌊βx⌋∈[0,1)[0,1]\ni x\mapsto βx-\lfloor βx\rfloor \in [0,1). Suppose all other roots of pnp_n have magnitude less than one. Then for any smooth function FF on [0,1][0,1] we prove two term asymptotics in L∞L^\infty of the form \begin{equation*} \big(\mathscr{P}^r(F)\big)(\cdot)= u(\cdot) \int_0^1 F(x): \mathrm{d} x +β^{-r}v(\cdot) \big (F(1)-F(0)\big )+o(β^{-r}),\quad r\geq 1, \end{equation*} where uu is piecewise constant and Pu=u\mathscr{P}u=u, while vv is piecewise equal to a polynomial of degree one and Pv=β−1v\mathscr{P}v= β^{-1}v. When P\mathscr{P} is restricted to functions of bounded variation BV([0,1])BV([0,1]), it is known that ∣z∣≤β−1\vert z \vert\leq β^{-1} contains its essential spectrum. Thus the contribution coming from vv in the above estimate is not guaranteed if FF is not smooth enough. Furthermore, we show that when P\mathscr{P} is restricted to BV([0,1])BV([0,1]) then any ∣z∣<β−1\vert z \vert<β^{-1} is an eigenvalue with infinite multiplicity. Moreover, we construct a meromorphic extension of (P−z)−1(\mathscr{P}-z)^{-1} to the domain ∣z∣>β−1\vert z \vert>β^{-1}, where the finite rank poles are numbers ζζ with β−1<∣ζ∣≤1β^{-1}<\vert ζ\vert\leq 1 such that βζβζ is a root of pn(z)p_n(z). If such poles ζζ other than 11 exist, then we construct eigenvectors of P∗\mathscr{P}^* in BV∗BV^* obeying P∗U^=ζU^\mathscr{P}^*\hat{U}=ζ\hat{U}, where U^(F)\hat{U}(F) is given by series involving the values of FF taken in some specially chosen, finer and finer partitions of [0,1][0,1]. When FF is either a polynomial or a characteristic function like χ[0,x]χ_{[0,x]}, then U^(F)\hat{U}(F) can be explicitly computed.

Review conversation

Reviews are not available for this work yet.