At which points exactly has Lebesgue’s singular function the derivative zero ?

At which points exactly has Lebesgue’s singular function the derivative zero ?

Kiko Kawamura
University of North Texas 111Supported in part by Japanese GCOE Program G08: “Fostering Top Leaders in Mathematics - Broadening the Core and Exploring New Ground”.  222Address: Department of Mathematics, University of North Texas, 1155 Union Circle #311430, Denton, TX 76203-5017, USA; E-mail: kiko@unt.edu
July 27, 2019
Abstract

Let be Lebesgue’s singular function with a real parameter (). As is well known, is strictly increasing and has a derivative equal to zero almost everywhere. However, what sets of actually have or ? We give a partial characterization of these sets in terms of the binary expansion of . As an application, we consider the differentiability of the composition of Takagi’s nowhere differentiable function and the inverse of Lebesgue’s singular function.


AMS 2000 subject classification: 26A27 (primary); 26A15, 26A30, 60G50 (secondary)


Key words and phrases: Takagi’s function, Lebesgue’s singular function, Nowhere-differentiable function, Dini derivatives.

1 Introduction

Imagine flipping an unfair coin with probability of heads and probability of tails. Note that . Let the binary expansion of : be determined by flipping the coin infinitely many times. More precisely, if the -th toss is heads and if it is tails. We define Lebesgue’s singular function as the distribution function of :

Figure 1: Lebesgue’s singular function ()

It is well-known that is strictly increasing, but the derivative is almost everywhere. This distribution function was also defined in different ways and studied by a number of authors: Cesaro (1906), Faber (1910), Lomnicki and Ulam(1934), Salem (1943), De Rham (1957) and others. For instance, De Rham [3] studied as a unique continuous solution of the functional equation

(1)

where , and .

From (1), it is clear that the graph of is self-affine. Because of its connection with fractals, several applications have been found in recent years: for instance, in physics [12, 13], real analysis [5, 6], digital sum problems [7, 9] and complex dynamical systems [10]. There is even a connection with the Collatz conjecture [2].

Reconsider the differentiability of . It is known that for any , is either zero, or , or it does not exist. Then, it is natural to ask at which points exactly we have or .

In fact, De Rham [3] gave the following partial answer to this question. Let the binary expansion of be , where . For those having two binary expansions, we choose the expansion which is eventually all zeros. As an exception, fix for every if .

Define

(2)

Note that is the number of ’s occurring in the first binary digits of .

Suppose that tends to a limit as , and let

(3)

Then the derivative exists and is zero, when . An English translation of De Rham’s original paper is included in Edgar’s book [4].

Unfortunately, De Rham’s paper did not contain a proof. The main purpose of this note is to give a proof of De Rham’s statement and extend his result. The paper is organized as follows. Section 2 states and proves the main results. The key to the proof is to use Lomnicki and Ulam’s expression from 1934 [8]. De Rham might have had a different proof in mind, as he did not mention Lomnicki and Ulam’s paper. In Section 3, as an application, we consider a question about the differentiability of the composition of Takagi’s nowhere differentiale function and the inverse of Lebesgue’s singular function.

2 The main result

For convenience, define the right-hand and left-hand derivatives of as follows.

provided the limits exist.

From the self-affinity of the graph, we have

Lemma 2.1.

For any for which exists,

Define

(4)

provided the limit exists, and put . In other words, is the density of the digit in the binary expansion of , for .

Theorem 2.2.
  1. If is dyadic, then .

  2. If is not dyadic and , then

Remark 2.3.

De Rham’s statement is equivalent to the following. For a value of for which exists, when .

Remark 2.4.

If is a binary normal, that is, , then Theorem 2.2 gives , since .


Proof of Theorem 2.2. First, suppose is a dyadic point, say . Let where . Since is increasing, this implies that

(5)

The key to the proof is to use the following expression for , given by Lomnicki and Ulam [8]:

(6)

where is defined by (2). By (6), we have

Since is a positive constant,

By (5), it follows that

Since is also a dyadic, the left-hand derivative follows from Lemma 2.1:

Therefore, does not exist if is dyadic.


Next, suppose is not dyadic and . Let be the address of the -th in the binary expansion of , and . Since is increasing, this implies that

(7)

Using (6), we have

(8)

Let be the address of the -th appearing after position in the binary expansion of . Then we have

Since and , the series in the right hand side above converges, say to .

For convenience, define

Then we can write (8) as

(9)

Since , it follows that

(10)

By (9), we have

Since tends to a nonzero limit as , we have as . Therefore, it follows from (7) and (10) that


Finally, for the left-hand derivative, it follows from Lemma 2.1 that

since when . This concludes the proof.


Remark 2.5.

A careful study of the above proof shows that the existence of the full limit is not necesary. The following generalization is straightforward:

  1. Suppose . Then

  2. Suppose . Then

    where is defined by (3).


Note that Theorem 2.2 left out the boundary case; that is, those numbers for which ; in other words, numbers which have the following densities:

Let us define some additional notation. As a complement of , define to be the number of ’s occurring in the first binary digits of :

Let be the address of the -th in the binary expansion of as a complement of . Observe that

Then, it is easy to prove the following lemma by contradiction.

Lemma 2.6.

Let and . If as , then .

Theorem 2.7.

Suppose satisfies . Let and suppose .

  1. If as , then

  2. If as , then

Proof of Theorem 2.7.

We follow the same argument for non-dyadic points as in the proof of Theorem 2.2. Let . Since tends to a nonzero limit as , is of smaller order than . Then, it follows from (9) that

because

Thus,

Since as , it follows from (7) and (10) that if ,

Similary, if as , then

Next, consider the left-hand derivative. From Lemma 2.1, we have . It is clear that also satisfies , since for . Let . Since , we have if . It follows from Lemma 2.6 that if or , then . This concludes the proof.

3 Application

We apply the main result to the following simple question. In classical calculus, the chain rule is used to compute the derivative of the composition of two differentiable functions. However, what can we say, for example, about the differentiability of the composition of a nowhere differentiable function and a singular function? For instance, let be Takagi’s nowhere differentiable function, which is defined by

Is nowhere differentiable? See Figure . If , the figure of the graph looks somewhat like Takagi’s function; on the other hand, if , the shape of the graph is more like Lebesgue’s singular function. Thus, we can guess that might not be nowhere differentiable if is close to .

Although does not have a finite derivative anywhere, it is known to have an improper infinite derivative at many points. In fact, Allaart and Kawamura [1] proved that the set of points where or has Hausdorff dimension one. Note that the inverse of Lebesgue’s singular function is also singular. Hence, if we try to (naively) use the chain rule to compute the derivative of , we may run into one of the indeterminate products or .


The following theorem gives an answer to this concrete question: has a finite but vanishing derivative at uncountably many points.

Figure 2: Graphs of for (left) and (right)
Theorem 3.1.

Let , and put . If and , then

(11)

Proof.


Define . Then we can write

(12)

Allaart and Kawamura [1] proved that if exists and , then

Therefore, we have

A slight modification of the proof of Theorem 2.2 yields

Substituting these results into (12) gives (11).

Acknowledgment

This research was done mainly during my visit to RIMS, Kyoto university. I am grateful to Prof. H. Okamoto for his support and warm-hearted hospitality. Also, I would like to thank Prof. P. Allaart for his helpful comments and suggestions in preparing this paper.

Lastly, I wish to dedicate this paper to the memory of Prof. H. Shinya, who taught me a deeper understanding of calculus.

References

  • [1] P. Allaart and K. Kawamura, The improper infinite derivatives of Takagi’s nowhere-differentiable function, J.  Math.  Anal.  Appl., 372, pp 656-665  (2010).
  • [2] L. Berg and M. Kruppel, De Rham’s singular function and related functions, Z.  Anal.  Anwendungen., 19, no. 1, pp 227-237  (2000).
  • [3] G. de Rham, Sur quelques courbes définies par des équations fonctionnelles, Rend. Sem. Mat. Torino 16, pp. 101-113  (1957).
  • [4] G. A. Edgar, Classics on Fractals, Addison-Wesley, Reading, MA (1993).
  • [5] M. Hata and M. Yamaguti, Takagi function and its generalization, Japan J. Appl. Math.1, pp. 183-199  (1984).
  • [6] K. Kawamura, On the classification of self-similar sets determined by two contractions on the plane, J. Math.  Kyoto Univ.42, no. 2, pp. 255-286  (2002).
  • [7] M. Kruppel, De Rham’s singular function, its partial derivatives with respect to the parameter and binary digital sums, Rostock.  Math.  Kolloq., 64, pp 57-74  (2009).
  • [8] Z. Lomnicki and S. Ulam, Sur la théorie de la mesure dans les espaces combinatoires et son application au calcul des probabilités I. Variables indépendantes. Fund. Math. 23, pp. 237-278  (1934).
  • [9] T. Okada, T. Sekiguchi and Y. Shiota, An explicit formula of the exponential sums of digital sums, Japan J. Indust. Appl. Math. 12, pp. 425-438  (1995).
  • [10] H. Sumi, Rational semigroups, random complex dynamics and singular functions on the complex plane. Sugaku 61, no. 2, pp. 133-161 (2009).
  • [11] T. Takagi, A simple example of the continuous function without derivative, Phys.-Math. Soc. Japan 1 (1903), 176-177. The Collected Papers of Teiji Takagi, S. Kuroda, Ed., Iwanami, pp. 5-6 (1973).
  • [12] H. Takayasu, Physical models of fractal functions, Japan J. Appl. Math.1, pp. 201-205  (1984).
  • [13] S. Tasaki, I. Antoniou and Z. Suchanecki, Deterministic diffusion, De Rham equation and fractal eigenvectors, Physics Letter A 179, pp. 97-102  (1993).
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
283503
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description