Skip to content

Research at St Andrews

On the average box dimensions of graphs of typical continuous functions

Research output: Contribution to journalArticle

Author(s)

B. Adam-Day, C. Ashcroft, L. Olsen, N. Pinzani, A. Rizzoli, J. Rowe

School/Research organisations

Abstract

Let X be a bounded subset of Rd and write Cu(X) for the set of uniformly continuous functions on X equipped with the uniform norm. The lower and upper box dimensions, denoted by dim̲B(graph(f)) and dim ¯ B(graph (f)) , of the graph graph (f) of a function f∈ Cu(X) are defined by dim̲B(graph(f))=limδ↘0inflogNδ(graph(f))-logδ,dim¯B(graph(f))=limδ↘0suplogNδ(graph(f))-logδ,where Nδ(graph (f)) denotes the number of δ-mesh cubes that intersect graph (f).

Hyde et al. have recently proved that the box counting function(∗)logNδ(graph(f))-logδof the graph of a typical function f∈ Cu(X) diverges in the worst possible way as δ↘ 0. More precisely, Hyde et al. showed that for a typical function f∈ Cu(X) , the lower box dimension of the graph of f is as small as possible and if X has only finitely many isolated points, then the upper box dimension of the graph of f is as big as possible.

In this paper we will prove that the box counting function (*) of the graph of a typical function f∈ Cu(X) is spectacularly more irregular than suggested by the result due to Hyde et al. Namely, we show the following surprising result: not only is the box counting function in (*) divergent as δ↘ 0 , but it is so irregular that it remains spectacularly divergent as δ↘ 0 even after being “averaged" or “smoothened out" using exceptionally powerful averaging methods including all higher order Hölder and Cesàro averages and all higher order Riesz–Hardy logarithmic averages. For example, if the box dimension of X exists, then we show that for a typical function f∈ Cu(X) , all the higher order lower Hölder and Cesàro averages of the box counting function (*) are as small as possible, namely, equal to the box dimension of X, and if, in addition, X has only finitely many isolated points, then all the higher order upper Hölder and Cesàro averages of the box counting function (*) are as big as possible, namely, equal to the box dimension of X plus 1.

Close

Details

Original languageEnglish
Pages (from-to)263-302
Number of pages40
JournalActa Mathematica Hungarica
Volume156
Issue number2
Early online date3 Oct 2018
DOIs
Publication statusPublished - Dec 2018

    Research areas

  • Baire category, Box dimension, Cesàro mean, Continuous functions, Hölder mean, Riesz–Hardy mean

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. On the rate of convergence of ((||ƒ||p)¦(||ƒ||∞))p as p →∞

    Olsen, L. O. R., Feb 2019, In : Mediterranean Journal of Mathematics. 16, 10 p., 11.

    Research output: Contribution to journalArticle

  2. On average Hewitt-Stromberg measures of typical compact metric spaces

    Olsen, L., 24 Jan 2019, In : Mathematische Zeitschrift. First Online, 25 p.

    Research output: Contribution to journalArticle

  3. Average distances between points in graph-directed self-similar fractals

    Olsen, L. & Richardson, A., 27 Aug 2018, In : Mathematische Nachrichten. Early View, 25 p.

    Research output: Contribution to journalArticle

  4. On the Hausdorff and packing measures of typical compact metric spaces

    Jurina, S., MacGregor, N., Mitchell, A., Olsen, L. & Stylianou, A., Aug 2018, In : Aequationes Mathematicae. 92, 4, p. 709–735 27 p.

    Research output: Contribution to journalArticle

Related by journal

  1. Automatic completely-simple semigroups

    Campbell, C. M., Robertson, E. F., Ruskuc, N. & Thomas, R. M., May 2002, In : Acta Mathematica Hungarica. 95, 3, p. 201-215 15 p.

    Research output: Contribution to journalArticle

ID: 256346414

Top