For a broad parameter range, the Assouad dimension of Weierstrass and Takagi function graphs is strictly less than 2, with explicit quantitative upper bounds.
Assouad dimension of the Takagi function
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
For any integer $b\geq2$ and real series $\{c_n\}$ such that $\sum_{n=0}^\infty|c_n|<\infty$, the generalized Takagi function $f_{{\mathbf c},b}(x)$ is defined by $$ f_{{\mathbf c},b}(x):=\sum_{n=0}^\infty c_n\phi(b^n x), \quad x\in [0,1], $$ where $\phi(x)=dist(x,\mathbb{Z})$ is the distance from $x$ 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 $\varlimsup_{n \to \infty} b^n |c_n|<\infty$, the Assouad dimension of the graph ${\mathcal G} f_{{\mathbf c},b}=\{(x,f_{{\mathbf c},b}(x)):x\in[0,1]\}$ for the generalized Takagi function $f_{{\mathbf c},b}(x)$ is equal to one, that is, $$ \dim_A {\mathcal G} f_{{\mathbf c},b}=1. $$ In particular, for each $0<a<1$ and integer $b \geq 2$, we define Takagi function $T_{a,b}$ as followed, $$ T_{a,b}(x):=\sum_{n=0}^\infty a^n \phi(b^n x), \quad x\in [0,1]. $$ Then $ \dim_A {\mathcal G} T_{a,b}=1 $ if and only if $0<a \leq 1/b$.
citation-role summary
citation-polarity summary
fields
math.DS 1years
2026 1verdicts
ACCEPT 1roles
background 1polarities
support 1representative citing papers
citing papers explorer
-
On the Assouad dimension of Weierstrass function graphs
For a broad parameter range, the Assouad dimension of Weierstrass and Takagi function graphs is strictly less than 2, with explicit quantitative upper bounds.