alphaFeedback

WorksMathematics

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

AI contributions
Not recorded for this paper
View details

Abstract

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.

Introduction

The setting

Let n∈{2,3,…}n \in\{2,3,\ldots\}, ai∈N0={0,1,2,…}a_i \in\mathbb{N}_0 = \{0,1,2,\ldots\} for i∈{0,1,…,n−1}i \in\{0,1,\ldots,n-1\} and a0an−1≥1a_0a_{n-1} \ge1. Consider the function

f(x)=1−a0x−a1x2−⋯−an−1xn.(1)f(x) = 1 - \frac{a_0}{x} - \frac{a_1}{x^2} - \cdots- \frac{a_{n-1}}{x^n}. \tag*{(1)}

We have f′(x)>0f'(x)>0 for all x>0x>0, f(a0)<0f(a_0)<0 and lim⁡x→∞f(x)=1\lim_{x\to\infty} f(x)=1. This implies that the equation

1=a0β+a1β2+⋯+an−1βn,β>0,(2)1=\frac{a_0}{\beta}+\frac{a_1}{\beta^2}+\cdots+\frac{a_{n-1}}{\beta^n},\qquad\beta>0, \tag*{(2)}

has a unique solution. In this context, we see that β>1\beta>1 is the unique positive root of the degree nn polynomial with integer coefficients

p(z)=zn−a0zn−1−⋯−an−1.(3)p(z)=z^n-a_0z^{n-1}-\cdots-a_{n-1}. \tag*{(3)}

Let Tβ(x)=xβ−⌊xβ⌋T_\beta(x)=x\beta-\lfloor x\beta\rfloor, and assume that β\beta and the corresponding coefficients {aj}j=0n−1\{a_j\}_{j=0}^{n-1} also satisfy the following constraints:

a0=⌊β⌋,a1=⌊βTβ(1)⌋,…,an−1=⌊βTβn−1(1)⌋,Tβn(1)=0.(4)a_0=\lfloor\beta\rfloor,\qquad a_1=\lfloor\beta T_\beta(1)\rfloor,\qquad\ldots,\qquad a_{n-1}=\lfloor\beta T_\beta^{n-1}(1)\rfloor,\qquad T_\beta^n(1)=0. \tag*{(4)}

We call such aja_j’s a finite Parry sequence; Parry (see [10]) found the necessary and sufficient conditions which the coefficients must satisfy in order to also obey (2) and (4): denoting by ≻\succ the lexicographic “greater than" order between two sequences, then these conditions are:

[a0,a1,…,an−1,0,…]≻[aj,aj+1,…,an−1,0,…]for all 1≤j≤n−1.(5)[a_0,a_1,\ldots,a_{n-1},0,\ldots]\succ[a_j,a_{j+1},\ldots,a_{n-1},0,\ldots]\quad\text{for all }1\leq j\leq n-1. \tag*{(5)}

Definition 1.1. We say that a polynomial p(z)p(z) as in (3) is a Parry polynomial if the coefficients {aj}j=0n−1\{a_j\}_{j=0}^{n-1} form a finite Parry sequence. We say that p(z)p(z) is a Parry-Pisot polynomial if it is a Parry polynomial and the other n−1n-1 roots of p(z)p(z) besides β\beta belong to the open unit disk.

Definition 1.2. We say that β>1\beta>1 is a Pisot number if there exists a polynomial p(z)=zn+∑k=1nckzn−kp(z)=z^n+\sum_{k=1}^{n}c_kz^{n-k} with all ck∈Zc_k\in\mathbb{Z}, such that p(β)=0p(\beta)=0 and all other roots of pp lie in the open unit disk.

Remark 1.1. Note that a Parry polynomial may fail to be a Parry-Pisot polynomial although its corresponding β\beta is a Pisot number. This happens for example for the (reducible over integers) polynomial

z5−z4−1=(z2−z+1)(z3−z−1)(6)z^5-z^4-1=(z^2-z+1)(z^3-z-1) \tag*{(6)}

where n=5n=5, a0=a4=1a_0=a_4=1 and a1=a2=a3=0a_1=a_2=a_3=0; this is a finite Parry sequence, see (13). Here β\beta is the positive root of z3−z−1z^3-z-1, the so-called “plastic constant", the smallest possible Pisot number. But p(z)p(z) in (6) is not Parry-Pisot because two of its roots are e±iπ/3e^{\pm i\pi/3} and have length one and the other two roots of z3−z−1z^3-z-1 have length less than 1.

For any β>1\beta>1 coming from a finite Parry sequence we introduce the transfer (or Perron-Frobenius) operator P:Lp([0,1])→Lp([0,1])\mathcal{P}:L^p([0,1])\to L^p([0,1]) with 1≤p≤∞1\leq p\leq\infty given by

(Pf)(x)=β−1∑k=0a0f(x+kβ),0≤x≤1.(7)(\mathcal{P}f)(x)=\beta^{-1}\sum_{k=0}^{a_0}f\left(\frac{x+k}{\beta}\right),\qquad0\leq x\leq1. \tag*{(7)}

Here we always assume f(x)=0f(x)=0 if x∉[0,1]x\notin[0,1].

Let us also introduce the composition (Koopman) operator K:Lp([0,1])→Lp([0,1])K : L^p([0,1]) \to L^p([0,1]) acting as

(Kf)(x)=f(Tβ(x))=f(βx−⌊βx⌋).(8)(Kf)(x)=f(T_\beta(x))=f(\beta x-\lfloor\beta x\rfloor). \tag*{(8)}

There is an important duality relation between these two operators. For all g∈L1([0,1])g \in L^1([0,1]) and f∈L∞([0,1])f \in L^\infty([0,1]):

∫[0,1]g(x)(Kf)(x) dx=∫[0,1](Pg)(x)f(x) dx.(9)\int_{[0,1]} g(x)(Kf)(x)\,\mathrm{d}x=\int_{[0,1]}(\mathcal{P}g)(x)f(x)\,\mathrm{d}x. \tag*{(9)}

More on the necessary and sufficient conditions for having a finite Parry sequence

Following [10] we will give here a few more details on the necessary and sufficient conditions which the coefficients must obey when they satisfy (4) and (5).

The first equality in (4) demands a0<β<a0+1a_0 < \beta< a_0+1 (where β>a0\beta> a_0 holds due to (2)). Furthermore, by Tβ:[0,1]→[0,1)T_\beta: [0,1] \to[0,1) together with (2) and (4), we have for all 1≤k≤n−11 \leq k \leq n-1:

b0:=1,b1:=a1β+⋯+an−1βn−1=Tβ(1)=β−a0∈(0,1),b2:=a2β+⋯+an−1βn−2=Tβ2(1)=β2−βa0−a1∈(0,1),⋮bk:=akβ+⋯+an−1βn−k=Tβk(1)=βk−βk−1a0−βk−2a1−⋯−ak−1∈(0,1).(10)\begin{aligned} b_0&:=1,\\ b_1&:=\frac{a_1}{\beta}+\cdots+\frac{a_{n-1}}{\beta^{n-1}}=T_\beta(1)=\beta-a_0\in(0,1),\\ b_2&:=\frac{a_2}{\beta}+\cdots+\frac{a_{n-1}}{\beta^{n-2}}=T_\beta^2(1)=\beta^2-\beta a_0-a_1\in(0,1),\\ &\vdots\\ b_k&:=\frac{a_k}{\beta}+\cdots+\frac{a_{n-1}}{\beta^{n-k}}=T_\beta^k(1)=\beta^k-\beta^{k-1}a_0-\beta^{k-2}a_1-\cdots-a_{k-1}\in(0,1). \tag*{(10)} \end{aligned}

We gather a few important facts implied by (4).

Lemma 1.2. We have bj≠bkb_j \ne b_k if j≠kj \ne k.

Proof. If j>kj>k and Tj(1)=Tk(1)T^j(1)=T^k(1) then Tn−jT^{n-j} acting on Tj(1)T^j(1) gives zero but acting on Tk(1)T^k(1) does not, which leads to a contradiction. □\square

References

  1. [1]Brauer, A.: On algebraic equations with all but one root in the interior of the unit circle. Math. Nachr. 4, 250–257 (1950) DOI
  2. [2]Cornean, H.D., Herbst, I.W., Marcelli, G.: Spectral and dynamical results related to certain non-integer base expansions on the unit interval. J. Spectr. Theory 16(1) 329-353 (2025) arxiv, DOIDOI
  3. [3]Cornean, H.D., Sørensen, K.S.: Sharp iteration asymptotics for transfer operators induced by greedy β-expansions. J. Approx. Theory 313, art. no. 106234 (2026) arxiv, DOIDOI
  4. [10]Parry, W.: On the β-expansions of real numbers. Acta Math. Acad. Sci. Hungar. 11, 401–416 (1960) DOI
  5. [11]Solomyak, B.M.: Conjugates of beta-numbers and the zero-free domain for a class of analytic functions. Proc. London Math. Soc. (3) 68, 477-498 (1994) DOIDOI
  6. [12]SUZUKI, S.: Non-leading eigenvalues of the Perron–Frobenius operators for beta-maps. Ergod. Th. & Dynam. Sys. 46, 291-319 (2026) DOIarxiv.org/abs/2410.00411

Paper details

vlnc:W_cyg5a2sg
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 8

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

Not recorded for this paper · View statement →

Looking for related papers…
Contents