English

Assouad dimension of the Takagi function

Classical Analysis and ODEs 2025-03-17 v2

Abstract

For any integer b2b\geq2 and real series {cn}\{c_n\} such that n=0cn<\sum_{n=0}^\infty|c_n|<\infty, the generalized Takagi function fc,b(x)f_{{\mathbf c},b}(x) is defined by fc,b(x):=n=0cnϕ(bnx),x[0,1], f_{{\mathbf c},b}(x):=\sum_{n=0}^\infty c_n\phi(b^n x), \quad x\in [0,1], where ϕ(x)=dist(x,Z)\phi(x)=dist(x,\mathbb{Z}) is the distance from xx to the nearest integer. The collection of functions with the form are called the Takagi class. In this paper, we show that in the case that limnbncn<\varlimsup_{n \to \infty} b^n |c_n|<\infty, the Assouad dimension of the graph Gfc,b={(x,fc,b(x)):x[0,1]}{\mathcal G} f_{{\mathbf c},b}=\{(x,f_{{\mathbf c},b}(x)):x\in[0,1]\} for the generalized Takagi function fc,b(x)f_{{\mathbf c},b}(x) is equal to one, that is, dimAGfc,b=1. \dim_A {\mathcal G} f_{{\mathbf c},b}=1. In particular, for each 0<a<10<a<1 and integer b2b \geq 2, we define Takagi function Ta,bT_{a,b} as followed, Ta,b(x):=n=0anϕ(bnx),x[0,1]. T_{a,b}(x):=\sum_{n=0}^\infty a^n \phi(b^n x), \quad x\in [0,1]. Then dimAGTa,b=1 \dim_A {\mathcal G} T_{a,b}=1 if and only if 0<a1/b0<a \leq 1/b.

Cite

@article{arxiv.2502.01140,
  title  = {Assouad dimension of the Takagi function},
  author = {Lai Jiang},
  journal= {arXiv preprint arXiv:2502.01140},
  year   = {2025}
}
R2 v1 2026-06-28T21:30:07.057Z