On the dimension of the graph of the classical Weierstrass function

DOI10.1016/J.AIM.2014.07.033MaRDI QIDQ406289zbMATH OpenOpenAlexFDO

Authors Krzysztof Barański, Balázs Bárány, Julia Romanowska

Publication date 8 September 2014

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1309.3759

Hausdorff and packing measures (28A78) Fractals (28A80) Smooth ergodic theory, invariant measures for smooth dynamical systems (37C40) Dimension theory of smooth dynamical systems (37C45)

Abstract: This paper examines dimension of the graph of the famous Weierstrass non-differentiable function [ W_{lambda, b} (x) = sum_{n=0}^{infty}lambda^ncos(2pi b^n x) ] for an integer

b g e 2

and

1 / b < l a m b d a < 1

. We prove that for every

b

there exists (explicitly given)

l a m b d a_{b} i n (1 / b, 1)

such that the Hausdorff dimension of the graph of

W_{l a m b d a, b}

is equal to

D = 2 + f r a c l o g l a m b d a l o g b

for every

l a m b d a i n (l a m b d a_{b}, 1)

. We also show that the dimension is equal to

D

for almost every

l a m b d a

on some larger interval. This partially solves a well-known thirty-year-old conjecture. Furthermore, we prove that the Hausdorff dimension of the graph of the function [ f (x) = sum_{n=0}^{infty}lambda^nphi(b^n x) ] for an integer

b g e 2

and

1 / b < l a m b d a < 1

is equal to

D

for a typical

m a t h b b Z

-periodic

C^{3}

function

p h i

.

Review text

The authors study the Hausdorff dimension of the graph \(\Gamma(b,\lambda)\) of the famous Weierstrass function NEWLINE\[NEWLINE W_{b,\lambda}(x) =\sum_{n=0}^{\infty}\lambda^{n}\cos(2\pi b^{n}x).NEWLINE\]NEWLINE As known, for \(b>1\) and \(1/b<\lambda<1\) this function is continuous and nowhere differentiable on the real axis.NEWLINENEWLINE\textit{J. L. Kaplan} et al. [Ergodic Theory Dyn. Syst. 4, 261--281 (1984; Zbl 0558.58018)] proved that the box counting dimension of \(\Gamma(b,\lambda)\) is equal to NEWLINE\[NEWLINE D=2+\log_{b}{\lambda}.NEWLINE\]NEWLINE The authors of the present paper prove that for any integer \(b\geq 2\) there exist two constants \(\lambda_b\) and \(\tilde{\lambda}_b\) such that \(1/b < \tilde{\lambda}_b <\lambda_b <1\), and for all \(\lambda\in (\lambda_{b}, 1)\) and for almost all \(\lambda\in (\tilde{\lambda}_{b}, \lambda_{b}]\) the Hausdorff dimension of \(\Gamma(b,\lambda)\) also equals to \(D\). They obtain certain formulas for these constants and show that NEWLINE\[NEWLINE \lambda_{b} \to \frac{1}{\pi}, \quad \tilde{\lambda}_{b}\sqrt{b}\to \frac{1}{\sqrt{\pi}}NEWLINE\]NEWLINE for \(b\to\infty.\)NEWLINENEWLINEThe authors generalize some of these results for graphs of functions \(\sum\limits_{n=0}^{\infty}\lambda^{n}\phi(\lambda^{n}x)\), where \(\phi\) stands for sufficiently smooth 1-periodic function.

Recommendations

Cites work

Cited in

(52)

This page was built for publication: On the dimension of the graph of the classical Weierstrass function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q406289)