English

Takagi-van der Waerden functions in metric spaces and its Lipschitz derivatives

Functional Analysis 2024-12-19 v2

Abstract

We introduce the Takagi--van der Waerden function with parameters a>b>0a{>}b{>}0 by setting fa,b(x)=n=1bnd(x,Sn)f_{a,b}(x)=\sum\limits_{n=1}^\infty b^n d\big(x,S_n\big), where SnS_n is a maximal 1an\frac1{a^n}-separated set in a metric space XX. So, if X=RX=\mathbb R and Sn=1anZS_n=\frac1{a^n}\mathbb Z then f2,1f_{2,1} is the Takagi function and f10,1f_{10,1} is the van der Waerden function which are the famous examples of nowhere differentiable functions. Then we prove that the big Lipschitz derivative Lipfa,b(x)=+\mathrm{Lip} f_{a,b}(x)=+\infty if a>b>2a>b>2 and xx is a non-isolated point of XX. Moreover, if the shell porosity ps(X,x)<λ<1p^s(X,x)<\lambda<1 for some λ\lambda and each non-isolated point xXx\in X then the little Lipschitz derivative lipfa,b(x)=+\mathrm{lip} f_{a,b}(x)=+\infty for large enough a>ba>b and any non-isolated point xXx\in X. In particular, this is true for any normed space. Finally, we prove that for any open set AA in a metric (normed) space XX without isolated points there exists a continuous function ff such that Lipf(x)=+\mathrm{Lip} f(x)=+\infty (and lipf(x)=+\mathrm{lip} f(x)=+\infty) exactly on AA.

Keywords

Cite

@article{arxiv.2406.05684,
  title  = {Takagi-van der Waerden functions in metric spaces and its Lipschitz derivatives},
  author = {Oleksandr Maslyuchenko and Ziemowit Wójcicki},
  journal= {arXiv preprint arXiv:2406.05684},
  year   = {2024}
}