Differentiability of a two-parameter family of self-affine functions

DOI10.1016/J.JMAA.2017.01.073zbMATH Open1373.28005arXiv1606.07838OpenAlexW2964067376MaRDI QIDQ2408754FDOQ2408754

Authors: Pieter C. Allaart 

Publication date: 13 October 2017

Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Abstract: This paper highlights an unexpected connection between expansions of real numbers to noninteger bases (so-called {em $$-expansions}) and the infinite derivatives of a class of self-affine functions. Precisely, we extend Okamoto's function (itself a generalization of the well-known functions of Perkins and Katsuura) to a two-parameter family $F_{N,a}:NinmathbbN,ain(0,1)$. We first show that for each $x$, $F_{N^{\prime },a}(x)$ is either $0$, $pminfty$, or undefined. We then extend Okamoto's theorem by proving that for each $N$, depending on the value of $a$ relative to a pair of thresholds, the set $x:F_{N^{\prime },a}(x)=0$ is either empty, uncountable but Lebesgue null, or of full Lebesgue measure. We compute its Hausdorff dimension in the second case. The second result is a characterization of the set $mathcal{D}_{i}nfty(a):=x:F_{N^{\prime },a}(x)=pminfty$, which enables us to closely relate this set to the set of points which have a unique expansion in the (typically noninteger) base $$. Recent advances in the theory of $$-expansions are then used to determine the cardinality and Hausdorff dimension of $mathcal{D}_{i}nfty(a)$, which depends qualitatively on the value of $a$ relative to a second pair of thresholds.

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

Recommendations

• The infinite derivatives of Okamoto's self-affine functions: an application of \(\beta\)-expansions
• Differentiability and Hölder spectra of a class of self-affine functions
• Non-differentiability sets for Cantor functions with respect to various expansions
• Self-affine singular and nowhere monotone functions related to the \(Q\)-representation of real numbers
• On a family of self-affine sets: topology, uniqueness, simultaneous expansions

zbMATH Keywords

Hausdorff dimensionbeta-expansionThue-Morse sequenceKomornik-Loreti constantcontinuous nowhere differentiable functioninfinite derivative

Mathematics Subject Classification ID

Hausdorff and packing measures (28A78) Fractals (28A80) Nondifferentiability (nondifferentiable functions, points of nondifferentiability), discontinuous derivatives (26A27)

Cites Work

• Fractal geometry. Mathematical foundations and applications
• On theβ-expansions of real numbers
• Unique Developments in Non-Integer Bases
• Unique representations of real numbers in non-integer bases
• Sets of nondifferentiability for conjugacies between expanding interval maps
• Subexpansions, superexpansions and uniqueness properties in non-integer bases
• Almost Every Number Has a Continuum of b-Expansions
• Generalized golden ratios over integer alphabets
• Hausdorff dimension of unique beta expansions
• On the critical case of Okamoto's continuous non-differentiable functions
• The infinite derivatives of Okamoto's self-affine functions: an application of \(\beta\)-expansions
• Multifractal structure of Bernoulli convolutions
• Hölder-differentiability of Gibbs distribution functions
• Hausdorff dimension of univoque sets and devil's staircase
• Continuous Nowhere-Differentiable Functions--an Application of Contraction Mappings
• A Characterization of the Nondifferentiability Set of the Cantor Function
• One-sided multifractal analysis and points of non-differentiability of devils staircases
• Hausdorff dimension of sets of non-differentiability points of Cantor functions
• Intersections of homogeneous Cantor sets and beta-expansions
• Multifractal decompositions of Moran fractals
• On the derivative of the \(\alpha\)-Farey-Minkowski function
• The Hausdorff Dimension of the Nondifferentiability Set of the Cantor Function is [ ln(2)/ln(3) ] 2
• Hölder differentiability of self-conformal devil's staircases
• A remark on continuous, nowhere differentiable functions
• On univoque and strongly univoque sets

Cited In (5)

• The partial derivative of Okamoto's functions with respect to the parameter
• The infinite derivatives of Okamoto's self-affine functions: an application of \(\beta\)-expansions
• On the continuity of the Hausdorff dimension of the univoque set
• Affine Maurer-Cartan invariants and their applications in self-affine fractals
• Differentiability and Hölder spectra of a class of self-affine functions

This page was built for publication: Differentiability of a two-parameter family of self-affine functions

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