## A CLASS OF NOWHERE DIFFERENTIABLE FUNCTIONS SATISFYING SOME CONCAVITY-TYPE ESTIMATE

## YASUHIRO FUJITA, NAO HAMAMUKI, ANTONIO SICONOLFI, AND NORIKAZU YAMAGUCHI

Abstract. In this paper, we introduce and investigate a class P of continuous and periodic functions on R . The class P is defined so that second-order central differences of a function satisfy some concavity-type estimate. Although this definition seems to be independent of nowhere differentiable character, it turns out that each function in P is nowhere differentiable. The class P naturally appear from both a geometrical viewpoint and an analytic viewpoint. In fact, we prove that a function belongs to P if and only if some geometrical inequality holds for a family of parabolas with vertexes on this function. As its application, we study the behavior of the Hamilton-Jacobi flow starting from a function in P . A connection between P and some functional series is also investigated. In terms of second-order central differences, we give a necessary and sufficient condition so that a function given by the series belongs to P . This enables us to construct a large number of examples of functions in P through an explicit formula.

## 1. Introduction

Let us denote by C p ( R ) the set of all continuous and periodic functions f : R → R with period 1 and f (0) = 0. Throughout this paper, we assume that r is an integer such that r ≥ 2. Let N 0 := N ∪ { 0 } .

Our aim of this paper is to introduce and investigate the class P of functions in C p ( R ) defined as follows: Given a function f ∈ C p ( R ), we consider, for each ( n, k, y ) ∈ N 0 × Z × (0 , 1), the first-order forward and backward differences of f at k + y r n defined, respectively, by

$$( 1. 1 ) \quad \delta _ { n, k } ^ { + } ( y ; f ) = \frac { f ( \frac { k + 1 } { r ^ { n } } ) - f ( \frac { k + y } { r ^ { n } } ) } { \frac { 1 - y } { r ^ { n } } }, \quad \delta _ { n, k } ^ { - } ( y ; f ) = \frac { f ( \frac { k + y } { r ^ { n } } ) - f ( \frac { k } { r ^ { n } } ) } { \frac { y } { r ^ { n } } }.$$

Definition 1.1. Let c &gt; 0 be a given constant. A function f ∈ C p ( R ) belongs to P c if

$$\delta _ { n, k } ^ { + } ( y ; f ) - \delta _ { n, k } ^ { - } ( y ; f ) \leq - c$$

for all ( n, k, y ) ∈ N 0 × Z × (0 , 1). We use the notation P = ⋃ c&gt; 0 P c . Note that both P c and P depend on the choice of r though we omit it in our notation.

Date : August 5, 2019.

2010 Mathematics Subject Classification. Primary26A27, 26A99; Secondary 39B22.

Key words and phrases. Geometric inequality, nowhere differentiable functions, the Takagi function, inf-convolution.

The first author is supported in part by JSPS KAKENHI Nos. 15K04949 and 18K03360.

The second author is supported in part by JSPS KAKENHI No. 16K17621.

Inequality (1.2) can be written equivalently as

$$\Delta _ { n, k } ( y ; f ) \leq - 2 c r ^ { n },$$

where ∆ n,k ( y f ; ) is the second-order central difference defined by

$$( 1. 4 ) & & \Delta _ { n, k } ( y ; f ) = 2 r ^ { n } ( \delta _ { n, k } ^ { + } ( y ; f ) - \delta _ { n, k } ^ { - } ( y ; f ) ).$$

It is well-known that if a function f : R → R is concave and has the second derivative in some interval I , then f ′′ ≤ 0 in I . Even if f is not twice differentiable, a discrete version of the estimate ∆ n,k ( y, f ) ≤ 0 still holds. Thus, the condition (1.3) can be regarded as a concavity-type estimate for f . Our definition of P requires a function to have the second-order differences which tend to -∞ in the prescribed rate as n →∞ .

Although Definition 1.1 seems to be independent of nowhere differentiable character, it turns out that each function in P is nowhere differentiable. This shows that our concavity-type estimate (1.3) is significantly different from a usual concavity since any concave function is twice differentiable almost everywhere.

We have two reasons to introduce and investigate the class P . The first reason comes from a geometrical viewpoint. We show that each function in P has a geometrical characterization stated as follows: For any given function f ∈ C p ( R ), let { q f ( t, x ; z ) } z ∈ R be the family of parabolas defined by

$$( 1. 5 ) \quad \ q _ { f } ( t, x ; z ) = f ( z ) + \frac { 1 } { 2 t } ( x - z ) ^ { 2 }, \ \ ( t, x, z ) \in ( 0, \infty ) \times \mathbb { R } \times \mathbb { R }. \\ \quad \Phi \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdots$$

Then, we show that a function f in C p ( R ) belongs to P c if and only if f satisfies (F1) c For all ( n, k, y ) ∈ N 0 × Z × (0 , 1) and t ≥ 1 2 cr n ,

$$& ( 1. 6 ) \quad q _ { f } \left ( t, x ; \frac { k + y } { r ^ { n } } \right ) \geq \min \left \{ q _ { f } \left ( t, x ; \frac { k } { r ^ { n } } \right ), \, q _ { f } \left ( t, x ; \frac { k + 1 } { r ^ { n } } \right ) \right \}, \quad x \in \mathbb { R }. \\ & \text{Inaudit} v \, ( 1 \, 6 \, ) \text{ is a a-ometrical one related to position of the three paragraphs}$$

Inequality (1.6) is a geometrical one related to position of the three parabolas. Another interpretation of (1.6) is that the function q f ( t, x ; · ) takes a minimum over the interval [ k r n , k +1 r n ] at the endpoints.

↦

The second reason comes from an analytic viewpoint. We consider the operator U : C p ( R ) /owner ψ → U ψ ∈ C p ( R ) defined by the series

$$& r \cdot \, \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \\ & ( 1. 7 ) & & U _ { \psi } ( x ) = \sum _ { j = 0 } ^ { \infty } \frac { 1 } { r ^ { j } } \, \psi ( r ^ { j } x ), \quad x \in \mathbb { R }. \\ & \text{Such a series is known to generate nowhere differentiable functions un}$$

Such a series is known to generate nowhere differentiable functions under a suitable condition on ψ . We prove that the condition U ψ ∈ P can be equivalently rephrased by the condition including the second-order differences of ψ . In fact, we establish

$$& \check { ( 1. 8 ) } \quad & \dot { \Delta } _ { n, k } ( y ; U _ { \psi } ) = \sum _ { j = 0 } ^ { n - 1 } r ^ { j } \Delta _ { n - j, k } ( y ; \psi ) - \frac { 2 r ^ { n } } { y ( 1 - y ) } U _ { \psi } ( y ), \\ & \text{whenever } \psi \in C _ { \infty } ( \mathbb { R } ) \text{ and } ( n. k. u ) \in \mathbb { N } \times \mathbb { Z } \times ( 0. 1 ). \ \text{When } n = 0. \ \text{the first term}$$

whenever ψ ∈ C p ( R ) and ( n, k, y ) ∈ N 0 × Z × (0 , 1). When n = 0, the first term of the right-hand side of (1.8) is interpreted as 0. Thus, for a given c &gt; 0, we see that U ψ ∈ P c if and only if the right-hand side of (1.8) is less than or equal to -2 cr n for all ( n, k, y ) ∈ N 0 × Z × (0 , 1). In other words, the class P is characterized via the operator U . Besides, making use of (1.8), we give some sufficient conditions on ψ in order that U ψ ∈ P . We show that U ψ belongs to P if ψ is concave on [0 , 1]. Also, even if ψ is not concave on [0 , 1], there is the case where U ψ belongs to P provided

that ψ is semiconcave on [0 1] and satisfies some additional assumption. , These simple sufficient conditions enable us to systematically construct a large number of examples of functions in the class P through the explicit formula (1.7).

A typical example of functions constructed by this procedure is the generalized Takagi function τ r ∈ C p ( R ) defined by

$$& \stackrel { \cdot } { \sim } \cdot \quad r \cdot \quad \cdot \quad \cdot \\ & ( 1. 9 ) & \tau _ { r } ( x ) = U _ { d } ( x ) = \sum _ { j = 0 } ^ { \infty } \frac { 1 } { r ^ { j } } d ( r ^ { j } x ), \quad x \in \mathbb { R }, \\ & \text{where} \, d \in C _ { \mathbb { R } } ( \mathbb { R } ) \text{ is the distance function to the set $\mathbb{ }Z$. that is}.$$

where d ∈ C p ( R ) is the distance function to the set Z , that is,

$$( 1. 1 0 ) & & d ( x ) = \min \{ | x - z | \, | \, z \in \mathbb { Z } \}, \ \ x \in \mathbb { R }.$$

The celebrated Takagi function is given by τ 2 . The function τ 2 is equivalent to the one first constructed by T. Takagi in 1903, who showed that τ 2 is nowhere differentiable (see [17]). Its relevance in analysis, probability theory and number theory has been widely illustrated by many contributions, see for instance [17, 18, 1, 15]. Since d is concave on [0 , 1], we can show that τ r belongs to P for any integer r ≥ 2.

In connection to (F1) , we also study the behavior of the Hamilton-Jacobi flow c { H f t } t&gt; 0 starting from f ∈ P , where

$$H _ { t } f ( x ) = \inf _ { z \in \mathbb { R } } q _ { f } ( t, x ; z ), \ \ ( t, x ) \in ( 0, \infty ) \times \mathbb { R }.$$

This formula is widely used in the theory of viscosity solutions, and H f t is also referred to as an inf-convolution of f .

There are several papers related to our work. In [12], Hata and Yamaguti proposed a different generalization of the Tagaki function, the so-called Tagaki class, which includes not only nowhere differentiable functions, but also differentiable and even smooth ones. To analyze this class, they used some functional equations containing second-order central differences. Although we also use the second-order central difference ∆ n,k ( y f ; ) of a function f ∈ C p ( R ), the frame and the purpose of the investigation of [12] are however rather different to ours. In [3, 13, 16], an inequality for approximate midconvexity of the Takagi function was investigated. A precise behavior of the flow { H τ t } t&gt; 0 starting from the Takagi function is studied in [7].

The function U ψ of (1.7) has been considered by many authors. Cater [5] showed that if ψ ∈ C p ( R ) is concave on the interval [0 , 1] and ψ takes its positive maximum over [0 , 1] at x = 1 2 , then U ψ is nowhere differentiable. Although the connection between the concavity of ψ and U ψ was already explored in [5], in this paper we show in addition that the formula (1.7) provides examples of functions in the class P . Furthermore, we show that U ψ can belong to P even if ψ ∈ C p ( R ) is not concave on [0 , 1]. Heurteaux [14] gave another sufficient conditions on ψ ∈ C p ( R ) such that U ψ is nowhere differentiable. The set of maximum points in [0 , 1] of the function U ψ was studied in [8] for r = 2. However, all of the above papers neither characterize a class of nowhere differentiable functions nor introduce a class like P .

The structure of the present paper is as follows. In Section 2 we prove nowhere differentiability and the geometrical characterization of a function in P . Section 3 is devoted to the formula (1.8). We derive some sufficient conditions on ψ ∈ P in order that U ψ ∈ P . In Section 4, we study how the Hamilton-Jacobi flow { H f t } t&gt; 0 starting from f ∈ P behaves. Section 5 contains concluding remarks.

## 2. The class P

In this section, we state and prove several results on the class P . The first result of this section is Theorem 2.1, where we prove that each function in P is nowhere differentiable. The second result of this section is Theorem 2.3, which shows that a function f in C p ( R ) belongs to P c if and only if f satisfies (F1) c .

Since we study periodic functions with period 1, we often choose three points k r n , k + y r n , k +1 r n lying in [0 , 1]. For this reason, we prepare the set A of admissible triplets ( n, k, y ) as

$$\mathbb { A } \coloneqq \{ ( n, k, y ) \, | \, n \in \mathbb { N } _ { 0 }, \, k \in \{ 0, 1, 2, 3, \dots, r ^ { n } - 1 \}, \, y \in ( 0, 1 ) \}.$$

For any ( n, k, y ) ∈ A we have [ k r n , k +1 r n ] ⊂ [0 , 1]. For a constant c &gt; 0, note that f ∈ C p ( R ) belongs to P c if and only if (1.2) is satisfied for all ( n, k, y ) ∈ A .

We first derive a fundamental inequality for f ∈ P . For f ∈ C p ( R ), we see by (1.4) that

$$\Delta _ { 0, 0 } ( y ; f ) & = \frac { - 2 f ( y ) } { y ( 1 - y ) }, \quad y \in ( 0, 1 ).$$

Thus, for c &gt; 0 and y ∈ (0 , 1), we have ∆ 0 0 , ( y f ; ) ≤ -2 c if and only if

$$c y ( 1 - y ) \leq f ( y ).$$

Therefore we see that every f ∈ P c satisfies (2.2) for any y ∈ (0 , 1). In particular, when f ∈ P , we have f &gt; 0 in (0 , 1).

Now, we show that each function in P is nowhere differentiable. In what follows we write [ z ] for z ∈ R to indicate the largest integer not exceeding z . We denote by Q r the set of all rational numbers that can be written as k r n for some n ∈ N and k ∈ Z .

## Theorem 2.1. Each function in P is nowhere differentiable in R .

Proof. Fix c &gt; 0. Suppose that f ∈ P is differentiable at some point x ∈ [0 , 1].

/negationslash c We set k n = [ r n x ] for each n ∈ N . Also, set y n = y if x ∈ Q r and y n = r n x -[ r n x ] if x ∈ Q r , where y ∈ (0 , 1) is an arbitrary constant. We claim that δ ± n,k n ( y n ; f ) → f ′ ( x ) as n →∞ . This gives a contradiction since taking the limit n →∞ in (1.2) along these k n and y n implies that 0 ≤ -c .

When x ∈ Q r , we have [ r n x ] = r n x for n ∈ N large. In fact, since x ∈ Q r , there are n 0 ∈ N 0 and k 0 ∈ Z such that x = k 0 r n 0 , so that r n x = k r 0 n -n 0 ∈ N if n ≥ n 0 . For n ≥ n 0 we find that

$$\delta _ { n, k _ { n } } ^ { + } ( y _ { n } ; f ) = \frac { \lambda } { \frac { f ( x + \frac { 1 } { r ^ { n } } ) } { \frac { 1 - y } { r ^ { n } } } } _ { \ e t r \ \cdots } ^ { - \lambda } \ e t r \ \cdots } = \frac { f ( x + \frac { 1 } { r ^ { n } } ) - f ( x ) } { \frac { 1 } { r ^ { n } } \left ( 1 - y \right ) } - \frac { f ( x + \frac { y } { r ^ { n } } ) - f ( x ) } { \frac { y } { r ^ { n } } \frac { 1 - y } { y } }$$

$$\to \frac { f ^ { \prime } ( x ) } { 1 - y } - y \frac { \overset { \cdot } { f ^ { \prime } ( x ) } } { 1 - y } = f ^ { \prime } ( x ) \ \ ( n \to \infty ).$$

In the same manner, we deduce that δ -n,k n ( y n ; f ) → f ′ ( x ) as n →∞ .

/negationslash

Next, let x ∈ Q r . We then have [ r n x ] &lt; r n x &lt; [ r n x ] + 1 for each n ∈ N . This implies that y n ∈ (0 , 1) for each n ∈ N and that [ r n x ] r n → x as n →∞ . Thus,

$$\delta _ { n, k _ { n } } ^ { + } ( y _ { n } ; f ) & = \frac { f ( \frac { [ r ^ { n } x ] + 1 } { r ^ { n } } ) - f ( x ) } { \frac { [ r ^ { n } x ] + 1 } { r ^ { n } } - x } \to f ^ { \prime } ( x ) \quad ( n \to \infty ). \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \,.$$

Similarly, it follows that δ -n,k n ( y n ; f ) → f ′ ( x ). This completes the proof.

/square

Next, we show that a function f in C p ( R ) belongs to P c if and only if f satisfies (F1) . c To prove this, the following proposition is essential:

Proposition 2.2. Let ( n, k, y ) ∈ A and t ∈ (0 , ∞ ) . Then, for any f ∈ C p ( R ) , inequality (1.6) holds if and only if

$$\Delta _ { n, k } ( y ; f ) \leq - \frac { 1 } { t }.$$

Proof. Fix ( n, k, y ) ∈ A and t ∈ (0 , ∞ ). Let x 1 ( n, k, y, t ) be the unique solution of the equation

By direct calculation,

$$q _ { f } \left ( t, x ; \frac { k + y } { r ^ { n } } \right ) = q _ { f } \left ( t, x ; \frac { k } { r ^ { n } } \right ).$$

$$x _ { 1 } ( n, k, y, t ) & = \frac { k } { r ^ { n } } + \frac { y } { 2 r ^ { n } } + t \delta _ { n, k } ^ { - } ( y ; f ).$$

$$\colon \frac { \kappa } { r ^ { n } } + \frac { y } { 2 r ^ { n } }$$

Then, we have

Similarly, the unique solution x 2 ( n, k, y, t ) of the equation

$$u, \, \text{we move} \\ \begin{cases} q _ { f } \left ( t, x ; \frac { k } { r ^ { n } } \right ) \leq q _ { f } \left ( t, x ; \frac { k + y } { r ^ { n } } \right ), & x \leq x _ { 1 } ( n, k, y, t ), \\ q _ { f } \left ( t, x ; \frac { k } { r ^ { n } } \right ) > q _ { f } \left ( t, x ; \frac { k + y } { r ^ { n } } \right ), & x _ { 1 } ( n, k, y, t ) < x. \end{cases} \\ \text{larly, the unique solution $x_{2}(n,k,y,t)$ of the equation} \\ / \quad \text{$1\cdot \pm n \searrow} / \quad \text{$1\cdot \pm 1 \searrow}$$

$$q _ { f } \left ( t, x ; \frac { k + y } { r ^ { n } } \right ) = q _ { f } \left ( t, x ; \frac { k + 1 } { r ^ { n } } \right )$$

is given by

$$x _ { 2 } ( n, k, y, t ) = \frac { k } { r ^ { n } } + \frac { 1 + y } { 2 r ^ { n } } + t \delta _ { n, k } ^ { + } ( y ; f ).$$

$$\cdot \frac { } { r ^ { n } } \, \tau \, \frac { } { 2 r ^ { n } }$$

Furthermore,

$$\text{uname}, \\ \begin{cases} q _ { f } \left ( t, x ; \frac { k + y } { r ^ { n } } \right ) \geq q _ { f } \left ( t, x ; \frac { k + 1 } { r ^ { n } } \right ), & x _ { 2 } ( n, k, y, t ) \leq x, \\ q _ { f } \left ( t, x ; \frac { k + y } { 2 r ^ { n } } \right ) < q _ { f } \left ( t, x ; \frac { k + 1 } { r ^ { n } } \right ), & x < x _ { 2 } ( n, k, y, t ). \\ \text{en, a geometrical investigation shows that inequality (1.6) holds if and only i} \\. &. &. &. &. \end{cases}$$

 Then, a geometrical investigation shows that inequality (1.6) holds if and only if (2.6) x 1 ( n, k, y, t ) ≥ x 2 ( n, k, y, t ) .

By (2.4) and (2.5), we see that inequality (2.6) holds if and only if

$$\delta _ { n, k } ^ { - } ( y ; f ) - \delta _ { n, k } ^ { + } ( y ; f ) \geq \frac { 1 } { 2 r ^ { n } t }.$$

The desired inequality follows immediately from (1.4). /square

Now, we state the second result of this section.

Theorem 2.3. Let f ∈ C p ( R ) and let c &gt; 0 be a constant. Then, f satisfies (F1) c if and only if f ∈ P c .

Proof. Assume first that f ∈ P c . Fix ( n, k, y ) ∈ A and t ≥ 1 2 cr n arbitrarily. By (1.3) and (1.4), we have

$$\Delta _ { n, k } ( y ; f ) \leq - 2 c r ^ { n } \leq - \frac { 1 } { t },$$

and so (1.6) holds by Proposition 2.2. Thus we see that f satisfies (F1) c . Next, assume that (F1) c holds. Then, by Proposition 2.2, we see that

$$\Delta _ { n, k } ( y ; f ) \leq - \frac { 1 } { t }$$

for all ( n, k, y ) ∈ A and t ≥ 1 2 cr n . Letting t = 1 2 cr n , we conclude that f ∈ P c . /square

## 3. Functions U ψ and P

/negationslash

In this section, we give sufficient conditions on ψ ∈ C p ( R ) in order that U ψ ∈ P , where U is the operator defined by (1.7). The results enable us to generate a large number of functions in P through the explicit formula (1.7). We also give some examples of ψ ∈ C p ( R ) for which U ψ ∈ P .

The following theorem provides a representation of ∆ n,k ( U ψ ; y ) in terms of ∆ n,k ( ψ y ; ), which plays a crucial role to study if U ψ ∈ P . Note that, for every ψ ∈ C p ( R ), we have U ψ ∈ C p ( R ) and U ψ (0) = 0 by the definition of U ψ .

Theorem 3.1. Let ψ ∈ C p ( R ) . Then, (1.8) holds for each ( n, k, y ) ∈ A . When n = 0 , the first term of the right-hand side of (1.8) is interpreted as 0 .

Proof. Let ( n, k, y ) ∈ A . When n = 0, we have k = 0, so that (1.8) follows from (2.1) since U ψ (0) = 0. If n ≥ 1, then

$$& U _ { \psi } \left ( \frac { k + y } { r ^ { n } } \right ) - \sum _ { j = 0 } ^ { n - 1 } \frac { 1 } { r ^ { j } } \psi \left ( \frac { k + y } { r ^ { n - j } } \right ) \\ & = \sum _ { j = n } ^ { \infty } \frac { 1 } { r ^ { j } } \psi \left ( r ^ { j - n } ( k + y ) \right ) = \sum _ { j = n } ^ { \infty } \frac { 1 } { r ^ { j } } \psi \left ( r ^ { j - n } y \right ) = \frac { 1 } { r ^ { n } } U _ { \psi } ( y ).$$

This is valid even for y = 0 and y = 1. Since U ψ (0) = U ψ (1) = 0, we have

$$U _ { \psi } \left ( \frac { k } { r ^ { n } } \right ) = \sum _ { j = 0 } ^ { n - 1 } \frac { 1 } { r ^ { j } } \psi \left ( \frac { k } { r ^ { n - j } } \right ), \ \ U _ { \psi } \left ( \frac { k + 1 } { r ^ { n } } \right ) = \sum _ { j = 0 } ^ { n - 1 } \frac { 1 } { r ^ { j } } \psi \left ( \frac { k + 1 } { r ^ { n - j } } \right ).$$

We therefore have

$$& A \text{ CLASS OF NOWHERE DIFFERENTIABLE FUNCTIONS} \quad 7 \\ \text{We therefore have} \\ \Delta _ { n, k } ( y ; U _ { \psi } ) & = 2 ^ { n } \left [ \frac { U _ { \psi } \left ( \frac { k + 1 } { r ^ { n } } \right ) - U _ { \psi } \left ( \frac { k + y } { r ^ { n } } \right ) } { 1 - \psi } \right ] ^ { 2 } \frac { U _ { \psi } \left ( \frac { k + y } { r ^ { n } } \right ) } { \frac { k } { r ^ { n } } } \right ] \\ & = 2 ^ { n } \left [ \frac { \sum _ { j = 0 } ^ { n - 1 } \frac { 1 } { r ^ { n } } \left ( \psi \left ( \frac { k + 1 } { r ^ { n - j } } \right ) - \psi \left ( \frac { k + y } { r ^ { n - j } } \right ) \right ) - \frac { 1 } { r ^ { n } } U _ { \psi } ( y ) } { \frac { 1 - y } { r ^ { n } } } \\ & \quad - \frac { \sum _ { j = 0 } ^ { n - 1 } \frac { 1 } { r ^ { j } } \left ( \psi \left ( \frac { k + y } { r ^ { n - j } } \right ) - \psi \left ( \frac { k } { r ^ { n - j } } \right ) \right ) + \frac { 1 } { r ^ { n } } U _ { \psi } ( y ) } { \frac { y } { r ^ { n } } } \right ] \\ & = \sum _ { j = 0 } ^ { n - 1 } r ^ { j } \, \frac { 2 r ^ { n - j } \left [ \frac { \psi \left ( \frac { k + 1 } { r ^ { n - j } } \right ) - \psi \left ( \frac { k + y } { r ^ { n - j } } \right ) - \frac { \psi \left ( \frac { k + y } { r ^ { n - j } } \right ) - \psi \left ( \frac { k } { r ^ { n - j } } \right ) } { r ^ { n - j } } \right ] \\ & \quad - \frac { 2 r ^ { n } } { y ( 1 - y ) } U _ { \psi } ( y ) \\ & = \sum _ { j = 0 } ^ { n - 1 } r ^ { j } \Delta _ { n - j, k } ( y ; \psi ) - \frac { 2 r ^ { n } } { y ( 1 - y ) } U _ { \psi } ( y ). \\ \text{This implies} \, ( 1. 8 ). & \quad \Box \\ \text{Applying Theorem} 3.1, we derive some sufficient conditions on $\, \psi \in C_{p}(\mathbb { R } )$ that}$$

This implies (1.8).

/square

Applying Theorem 3.1, we derive some sufficient conditions on ψ ∈ C p ( R ) that guarantee U ψ ∈ P . As a typical result, it turns out that U ψ ∈ P if ψ is concave in [0 , 1] and positive in (0 , 1).

Let us recall a notion of concavity. A function g : [0 , 1] → R is said to be concave on [0 , 1] if the inequality

$$\lambda g ( x ) + ( 1 - \lambda ) g ( y ) \leq g ( \lambda x + ( 1 - \lambda ) y )$$

holds for all x, y ∈ [0 , 1] and λ ∈ [0 , 1]. If the reversed inequality holds, then g is said to be convex. For a constant α ≥ 0, a function g on [0 1] is , said to be α -semiconcave on [0 1] if , g x ( ) + α 2 x (1 -x ) is concave on [0 1]. , This is equivalent to the condition that g x ( ) -α 2 x 2 is concave on [0 , 1].

Remark 3.2 . (i) Let ψ ∈ C p ( R ) and assume that ψ is concave on some interval I . Then it is easy to see that ∆ n,k ( y ψ ; ) ≤ 0 for all ( n, k, y ) ∈ N 0 × Z × (0 , 1) such that [ k r n , k +1 r n ] ⊂ I . More generally, if ψ ∈ C p ( R ) is α -semiconcave on I , then we have ∆ n,k ( y ψ ; ) ≤ α for all ( n, k, y ) ∈ N 0 × Z × (0 , 1) such that [ k r n , k +1 r n ] ⊂ I . The reversed inequalities hold for ( α -semi)convex functions.

- (ii) If ψ ∈ C p ( R ) is concave on [0 , 1], then we have ∆ n,k ( y, ψ ) ≤ 0 for all ( n, k, y ) ∈ A by (i). However, the converse is not true in general: that is, even if ∆ n,k ( y, ψ ) ≤ 0 for all ( n, k, y ) ∈ A , we cannot say that ψ is concave on [0 , 1]. Every f ∈ P gives a counterexample to this. In fact, ∆ n,k ( y, f ) ≤ 0 for all ( n, k, y ) ∈ A , but f is never concave on [0 , 1] by Theorem 2.1, since a concave function must be differentiable almost everywhere.

We first prepare inequalities involving U ψ and the generalized Takagi function τ r defined in (1.9). Recall that d is the distance function given by (1.10).

Lemma 3.3. Let ψ ∈ C p ( R ) . Assume that there exists a constant m&gt; 0 such that md x ( ) ≤ ψ x ( ) for all x ∈ [0 , 1] . Then, we have

$$( 3. 1 ) \quad \quad \frac { \cdot \cdot } { r - 1 } x ( 1 - x ) \leq m \tau _ { r } ( x ) \leq U _ { \psi } ( x ), \ \ x \in [ 0, 1 ].$$

Proof. It follows from our assumption that md r x ( j ) ≤ ψ r x ( j ) for all x ∈ [0 , 1] and j ∈ N 0 . Thus, mτ r ( x ) ≤ U ψ ( x ) by taking the sum.

It remains to prove that

$$\frac { r } { r - 1 } x ( 1 - x ) \leq \tau _ { r } ( x ), \ \ x \in [ 0, 1 ].$$

Let

$$\omega _ { \infty } \, F ( x ) = d ( x ) + \frac { 1 } { r } d ( r x ), \quad G ( x ) = \frac { r } { r - 1 } x ( 1 - x ), \quad x \in [ 0, 1 ]. \quad \, \cdots \quad \sim \, \cdots \quad \sim \, \cdots \quad \sim \, \cdots \quad \sim \, \cdots \quad \sim \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \cdots \quad \, \colon \, \end{array}$$

Since F ≤ τ r , it suffices to show that G x ( ) ≤ F x ( ) for x ∈ [0 , 1]. As F and G are symmetric about x = 1 2 , we may assume that x ∈ [0 , 1 2 ]. Note that

$$& F ( x ) = 2 x \, \left ( 0 \leq x \leq \frac { 1 } { 2 r } \right ), \ F ( x ) = \frac { 1 } { r } \, \left ( \frac { 1 } { 2 r } \leq x \leq \frac { 1 } { r } \right ), \ F ( x ) \geq x \, \left ( \frac { 1 } { r } \leq x \leq \frac { 1 } { 2 } \right ). \\ & \mathfrak { w } n \dots \, \omega \prec \, \sim \, 1 \, \dots \, \mathfrak { w } \dots.$$

When 0 ≤ x ≤ 1 r , we have

$$G ( x ) \leq G \left ( \frac { 1 } { r } \right ) & = \frac { 1 } { r }, \quad G ( x ) \leq \frac { r } { r - 1 } x ( 1 - 0 ) \leq 2 x. \\ \nu / \sum \times \nu / \sum \nolimits \nolimits \nolimits \nolimits + \frac { 1 } { r } + 1 \times \sum \times 1 \quad \Gamma \nolimits \nolimits.$$

Thus G x ( ) ≤ F x ( ). Next, let 1 r ≤ x ≤ 1 2 . Then,

$$G ( x ) & \leq \frac { r } { r - 1 } x \left ( 1 - \frac { 1 } { r } \right ) = x \leq F ( x ). \\ \intertext { a a l e r } \ m a n d { \mathfrak { m } { 0 } }$$

Hence, we conclude (3.2).

/square

Remark 3.4 . Assume that ψ ∈ C p ( R ) is concave in [0 , 1] and ψ &gt; 0 in (0 , 1). Then, we have

$$& 2 \psi \left ( \frac { 1 } { 2 } \right ) d ( x ) \leq \psi ( x ), \quad x \in [ 0, 1 ], \\ & \quad \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \cdots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \dots \, \omega \ dots \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \dots \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \dots \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \ome� \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \dots \ \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \omega \dots \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \ome� \, \ome� \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \dots \, \ome� \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \, \ome� \}$$

and thus ψ satisfies the assumption in Lemma 3.3 for m = 2 ψ ( 1 2 ). Indeed, by the concavity of ψ , its graph lies above the segment connecting (0 , ψ (0)) and ( 1 2 , ψ ( 1 2 )) and the segment connecting ( 1 2 , ψ ( 1 2 )) and (1 , ψ (1)). This shows (3.3) since ψ (0) = ψ (1) = 0.

Now, we state the main result of this section.

Theorem 3.5. Let ψ ∈ C p ( R ) . Assume that there exist two constants m &gt; 0 and α ≥ 0 such that

- (i) md x ( ) ≤ ψ x ( ) for all x ∈ [0 , 1] .
- (ii) ∆ n,k ( y ψ ; ) ≤ α for all ( n, k, y ) ∈ A .

If 2 mr &gt; α , then U ψ ∈ P c with c = 2 mr -α 2( r -1) .

Proof. Let us derive ∆ n,k ( y U ; ψ ) ≤ -2 cr n for a fixed ( n, k, y ) ∈ A . From Lemma 3.3 it follows that

$$- \frac { 2 r ^ { n } } { y ( 1 - y ) } U _ { \psi } ( y ) \leq - \frac { 2 m r ^ { n + 1 } } { r - 1 }.$$

If n = 0, we see by (2.1) that ∆ 0 0 , ( y U ; θ ) ≤ -2 mr r -1 &lt; -2 . c For n ≥ 1 we have

$$\sum _ { j = 0 } ^ { n - 1 } r ^ { j } \Delta _ { n - j, k } ( y ; \psi ) \leq \sum _ { j = 0 } ^ { n - 1 } r ^ { j } \alpha = \alpha \cdot \frac { r ^ { n } - 1 } { r - 1 } < \alpha \cdot \frac { r ^ { n } } { r - 1 }.$$

Thus, by (1.8)

$$\Psi _ { n, k } ( y ; U _ { \psi } ) & \leq \alpha \cdot \frac { r ^ { n } } { r - 1 } - \frac { 2 m r ^ { n + 1 } } { r - 1 } = - 2 c r ^ { n }, \\ \text{roves the theorem.}$$

which proves the theorem.

Let us denote by E the set of ψ ∈ C p ( R ) satisfying (i) and (ii) in Theorem 3.5 for some m &gt; 0 and α ≥ 0 with 2 mr &gt; α . Theorem 3.5 asserts that U ψ ∈ P for every ψ ∈ E . We give typical classes that are included in E .

Proposition 3.6. The set E includes the following two sets:

- (1) SC 0 := { ψ ∈ C p ( R ) | ψ is concave in [0 , 1] and ψ &gt; 0 in (0 , 1) } (2) P .
- .

Proof. (1) Let ψ ∈ SC 0 . It follows from Remark 3.4 that ψ satisfies Theorem 3.5-(i) for m = 2 ψ ( 1 2 ), while we can take α = 0 in Theorem 3.5-(ii) by Remark 3.2-(i). Since 2 mr &gt; α , we have ψ ∈ E and U ψ ∈ P c with c = 2 r r -1 ψ ( 1 2 ).

(2) Let ψ ∈ P c for some c &gt; 0. By (2.2), we can take m = c in Theorem 3.5-(i). We also take α = 0 in Theorem 3.5-(ii) by the definition of P c . Since 2 mr &gt; α , we conclude that ψ ∈ E and U ψ ∈ P c ′ with c ′ = cr r -1 . /square

Note that the two sets SC 0 and P above are mutually disjoint, since a concave function is differentiable almost everywhere. Also, if ψ belongs to P , then U ψ also belongs to P since P ⊂ E by Proposition 3.6-(2). Thus, P is an invariant set under the operator U .

Remark 3.7 . By Proposition 3.6-(1) and its proof, we see that the generalized Takagi function τ r belongs to P c with c = r r -1 since d ∈ C p ( R ) is concave in [0 , 1] and d ( 1 2 ) = 1 2 . In particular, the Takagi function τ 2 is in P 2 for r = 2.

If ψ ∈ C p ( R ) is α -semiconcave in [0 , 1], then (ii) in Theorem 3.5 is fulfilled by Remark 3.2-(i). However, (i) does not hold in general even if ψ &gt; 0 in (0 , 1). One may then wonder if U ψ belongs to P for ψ in

SC α := { ψ ∈ C p ( R ) | ψ is α -semiconcave in [0 , 1] and ψ &gt; 0 in (0 , 1) }

with α &gt; 0. The answer is no. Besides, U ψ for ψ ∈ SC α does not necessarily possess nowhere differentiable character. Namely, for every α &gt; 0 there are the following three examples of ψ ∈ SC α :

/negationslash

- (A) U ψ ∈ P and ψ ∈ SC 0 .

/negationslash

- (B) U ψ ∈ P and U ψ is nowhere differentiable in [0 , 1].

/negationslash

- (C) U ψ ∈ P and U ψ ∈ C ∞ ((0 , 1)).

Let us give an example of ψ ∈ SC α satisfying each (A)-(C).

Example 3.8. For constants a, b &gt; 0, let ψ 0 = ad + bd 2 ∈ C p ( R ). Then, ψ 0 is not concave on [0 1] but 2 -semiconcave on [0 , b , 1]. In addition, when ar &gt; b , U ψ 0 ∈ P . We thus obtain a function satisfying (A).

Indeed, since ψ 0 ( x ) = ax + bx 2 on [0 , 1 2 ], ψ 0 is not concave on [0 1]. , Also, we have ψ 0 ( x ) + bx (1 -x ) = ( a + ) ( b d x ) on [0 , 1], and so ψ 0 is 2 b -semiconcave on [0 , 1].

Finally, since ψ 0 ≥ ad on [0 , 1], we can take m = a and α = 2 b in Theorem 3.5. Thus, ψ 0 ∈ E and so U ψ 0 ∈ P .

This example also shows that SC 0 ∪P /subsetnoteql E .

Let us next discuss the example of (B). Let θ ∈ C p ( R ) be a function such that

$$\theta ( x ) = x ^ { 2 } \text{ for } x \in \left [ 0, \frac { 1 } { r } \right ], \quad \theta \in C ^ { 2 } ( \mathbb { R } ), \quad \theta > 0 \text{ in } ( 0, 1 ). \\ \text{now another } [ 1 ] \text{ } \text{the room } 2 1 1 \text{ while accepted that if } a / \beta \in C ^ { 2 } / \mathbb { P } \wedge \cap C ^ { 1 } / \mathbb { P } \wedge \text{ and }$$

We now apply [14, Theorem 3.1], which asserts that, if ψ ∈ C p ( R ) ∩ C 1 ( R ) and ψ ′ is H¨lder continuous in o R , then U ψ is nowhere differentiable in R . Since θ satisfies these conditions, we deduce that U θ is nowhere differentiable in R . However, U θ does not belong to P as shown below.

/negationslash

Theorem 3.9. ∆ n, 0 ( 1 r ; U θ ) = -2 r -1 for each n ∈ N 0 . Thus, U θ ∈ P .

Proof. Let n ∈ N 0 . We have

Thus,

$$\mu \mu \cdots \cdots \cdots \\ U _ { \theta } \left ( \frac { 1 } { r } \right ) = \sum _ { j = 0 } ^ { \infty } \frac { 1 } { r ^ { j } } \theta ( r ^ { j - 1 } ) = \theta ( r ^ { - 1 } ) = \frac { 1 } { r ^ { 2 } }.$$

$$\frac { 2 r ^ { n } } { y ( 1 - y ) } U _ { \theta } ( y ) & \Big | _ { y = \frac { 1 } { r } } = \frac { 2 r ^ { n } } { r - 1 }. \\ \intertext { l ( 2. 1 ) \text{ shows that } \Delta _ { 0, 0 } ( \frac { 1 } { r } ; U _ { \theta } ) = - \frac { 2 } { r - } \\ \cdots \sim \cap \, \mathbb { m } \, \vdots \, \mathcal { c } \sim \mathcal { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathcal { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \ \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \ \mathbb{ m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb{ m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \ \mathbb { n } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { n } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \ \mathbb { m m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m } \, \mathbb { m }$$

$$\Delta _ { m, 0 } ( \frac { r } { r }, \theta ) = 2 \text{ for any } m \in \mathbb { N }, \text{ it follows from } 1 \text{heorem } 3. 1 \text{ that } \\ \Delta _ { n, 0 } \left ( \frac { 1 } { r } ; U _ { \theta } \right ) = \sum _ { j = 0 } ^ { n - 1 } r ^ { j } \Delta _ { n - j, 0 } \left ( \frac { 1 } { r } ; \theta \right ) - \frac { 2 r ^ { n } } { y ( 1 - y ) } U _ { \theta } ( y ) \Big | _ { y = \frac { 1 } { r } } \\ = 2 \sum _ { j = 0 } ^ { n - 1 } r ^ { j } - \frac { 2 r ^ { n } } { r - 1 } = - \frac { 2 } { r - 1 }. \\ \text{The proof is complete.} \quad & \square \\ \tau \, - \, - \, - \, \alpha \, \frac { c } { c } \cdots \alpha \, \sim \chi ^ { 2 / \mathfrak { m } } \, \cfrac { c } { c } \cdots \alpha \, \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \tan \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \os \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \exists \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \decoration \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sec \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \lessch \gamma \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \colon \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \prod \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \exp \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \loss \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \none \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ress { }$$

∣ When n = 0, this and (2.1) shows that ∆ 0 0 , ( 1 r ; U θ ) = -2 r -1 . Let n ≥ 1. Since ∆ m, 0 ( 1 r , θ ) = 2 for any m ∈ N , it follows from Theorem 3.1 that

The proof is complete.

/negationslash

Let α &gt; 0. Since θ ∈ C 2 ( R ), we have εθ ∈ SC α if ε &gt; 0 is sufficiently small. Also, it is easy to see that U εθ is still nowhere differentiable and U εθ ∈ P . We thus obtain a function satisfying (B).

Example 3.10. Let us give an example of a function satisfying (C). Define

$$\psi ( x ) = | \sin ( \pi x ) | - \frac { 1 } { r } | \sin ( \pi r x ) | \in C _ { p } ( \mathbb { R } ).$$

/negationslash

Then, by the definition of U ψ , we easily see that U ψ ( x ) = | sin( πx ) | ∈ C p ( R ). Thus U ψ ∈ C ∞ ((0 , 1)) and in particular U ψ ∈ P as required in (C).

Let us next check that ψ ∈ SC α for some α &gt; 0. The positivity of ψ in (0 , 1) follows from straightforward calculation, and so we omit the proof. Next, since functions 1 r sin( πrx ) and -1 r sin( πrx ) are semiconcave, the minimum of them - | 1 r sin( πrx ) | is also semiconcave. Therefore, ψ being the sum of two semiconcave functions in [0 , 1] is semiconcave in [0 , 1].

Similarly to the previous example, for a given α &gt; 0, we have εψ ∈ SC α if ε &gt; 0 is sufficiently small. A function satisfying (C) has thus been obtained.

We conclude this section by studying if a Weierstrass type function belongs P .

Example 3.11. The famous Weierstrass function W is given by

$$W ( x ) = \sum _ { j = 0 } ^ { \infty } a ^ { j } \rho ( b ^ { j } x ), \quad \rho ( x ) = \cos ( \pi x ), \\ \intertext { and } h \, \text{is an odd intoor with } a h \smile 1 \pm \underline { 3 \pi } \text{ Note that}$$

/negationslash where a ∈ (0 , 1) and b is an odd integer with ab &gt; 1+ 3 π 2 . Note that ρ is continuous and periodic on R with period 2 and ρ (0) = 0. Since we consider functions ψ in C p ( R ) with ψ (0) = 0 in this paper, we study U η for η x ( ) = sin(2 πx ) ∈ C p ( R ) instead of W . By Hardy [11], it is shown that U η is nowhere differentiable. We also remark that η possesses a balance of convexity and concavity properties, since it is concave on [0 , 1 2 ] and convex on [ 1 2 , 1].

/negationslash

We claim that U η does not belong to P . In fact, noting that η ( r j 2 ) = sin( πr j ) = 0 for all j ∈ N 0 , we see that U η ( 1 2 ) = 0 by the definition of U η . This implies that U η ∈ P since, if U η ∈ P , we have U η &gt; 0 in (0 , 1) by (2.2).

$$4. \text{ THE BEHAVIOR OF } \{ H _ { t } f \} _ { t > 0 } \text{ FOR } f \in \mathcal { P }$$

In this section we consider the behavior of the Hamilton-Jacobi flow { H f t } t&gt; 0 for f ∈ P , where H f t is the function defined by (1.11). It is known that H f t belongs to C p ( R ) and uniformly approximates f as t goes to 0 (see [4, Chapter 3.5]). Also, H f t is a unique viscosity solution of the initial value problem of the Hamilton-Jacobi equation:

$$( 4. 1 ) \quad \begin{cases} u _ { t } ( t, x ) + \frac { 1 } { 2 } \left ( u _ { x } ( t, x ) \right ) ^ { 2 } = 0, & ( t, x ) \in ( 0, \infty ) \times \mathbb { R }, \\ u ( 0, x ) = f ( x ), & x \in \mathbb { R } \\ \cdots, \quad \end{cases} \quad \begin{cases} u _ { t } ( t, x ) + \frac { 1 } { 2 } \left ( u _ { x } ( t, x ) \right ) ^ { 2 } = 0, & ( t, x ) \in ( 0, \infty ) \times \mathbb { R }, \\ u ( 0, x ) = f ( x ), & x \in \mathbb { R } \end{cases} \\ \cdots, \quad \end{cases} \quad \begin{cases} u _ { t } ( t, x ) \end{cases}$$

 (cf. [6]). Here, u t ( t, x ) = ∂u ∂t ( t, x ) and u x ( t, x ) = ∂u ∂x ( t, x ). First of all, we prove that the range of z in (1.11) can be reduced.

Lemma 4.1. Let f ∈ C p ( R ) . If f ( z ) ≥ 0 for all z ∈ [0 , 1] , then

$$( 4. 2 ) \quad \ \ H _ { t } f ( x ) = \min _ { z \in [ 0, 1 ] } q _ { f } ( t, x ; z ), \ \ ( t, x ) \in ( 0, \infty ) \times [ 0, 1 ].$$

Proof. Fix ( t, x ) ∈ (0 , ∞ × ) [0 , 1]. We first let z &lt; 0. Since f ( z ) ≥ 0, the geometrical investigation implies that q f ( t, x ; z ) &gt; q f ( t, x ; 0). Thus, the minimum in (1.11) is never attained for z &lt; 0. The same arguments show that z &gt; 1 is not a minimizer of (1.11), and hence (4.2) holds. /square

Now, we state the main result of this section.

Theorem 4.2. Let f ∈ P c for c &gt; 0 . Then, the following holds:

(F2) c For all n ∈ N 0 ,

$$& ( 4. 3 ) \quad H _ { t } f ( x ) = \min _ { k \in \{ 0, 1, 2, 3, \dots, r ^ { n } \} } q _ { f } \left ( t, x ; \frac { k } { r ^ { n } } \right ), \quad ( t, x ) \in \left [ \frac { 1 } { 2 c r ^ { n } }, \infty \right ) \times [ 0, 1 ]. \\ & \varepsilon \quad \varepsilon \quad \varepsilon \quad \varepsilon \quad \varepsilon \quad \varepsilon \quad \varepsilon \quad \varepsilon.$$

Proof. This is a consequence of (4.2) and (F1) . c In fact, since f ∈ P c satisfies the inequality f ( z ) ≥ 0 for z ∈ [0 , 1] by (2.2), we have (4.2), while Theorem 2.3 guarantees that (F1) c holds. /square

By Theorem 4.2 we see that H f t with f ∈ P c is a piecewise quadratic function in [0 , 1] for all t &gt; 0 and that the x -coordinate of each vertex of the parabolas making

up H f t always belongs to Q r . In general it is known that H f t for f ∈ C p ( R ) is 1 2 t -semiconcave in [0 , 1] for all t &gt; 0. For f ∈ P c we deduce from (4.3) that

$$H _ { t } f ( x ) - \frac { x ^ { 2 } } { 2 t } = \frac { 1 } { 2 t } \min _ { k \in \{ 0, 1, 2, 3, \dots, r ^ { n } \} } \left [ - \frac { 2 k } { r ^ { n } } x + \left ( \frac { k } { r ^ { n } } \right ) ^ { 2 } + f \left ( \frac { k } { r ^ { n } } \right ) \right ]$$

for ( t, x ) ∈ [ 1 2 cr n , ∞ × ) [0 , 1]. This shows that H f x t ( ) -x 2 2 t is not only concave but also piecewise linear in [0 , 1].

One may ask if, conversely, a function f ∈ C p ( R ) satisfying (F2) c for some c &gt; 0 is nowhere differentiable. We have no complete answer to this question at the moment. However, we can prove that such an f is non-differentiable on a dense subset of R . In general this is not enough to infer that it is nowhere differentiable, as is shown by the Riemann function. Indeed, let R be the Riemann function defined by

Set

$$R ( x ) = \sum _ { j = 1 } ^ { \infty } \frac { \sin ( \pi j ^ { 2 } x ) } { j ^ { 2 } }, \quad x \in \mathbb { R }.$$

$$F \coloneqq \left \{ \frac { 2 A + 1 } { 2 B + 1 } \, \Big | \, A, B \in \mathbb { Z } \right \} \, ( \subset \mathbb { Q } ). \\ \text{d Greater } [ 9, \, 1 0 ], \, \text{it is shown that } R \text{ is different} i \, \text{different} i \,.$$

∣ ∣ By Hardy [11] and Gerver [9, 10], it is shown that R is differentiable on the set F and that R is non-differetiable on the set ( R \ Q ) ∪ ( Q \ F ).

Theorem 4.3. Let f ∈ C p ( R ) and let c &gt; 0 be a constant. Assume that (F2) c holds. Then, there exists a dense subset of the interval [0 , 1] such that f is nondifferentiable at each point of this subset.

We denote by D f x -( ) the subdifferential of f at x , that is, the set of φ ′ ( x ) such that φ ∈ C 1 near x and f -φ has a local minimum at x . We list basic properties of the subdifferential used in the proof of Theorem 4.3. Let f ∈ C p ( R ) and x ∈ R .

- (I) If f is differentiable at x , then D f x -( ) = { f ′ ( x ) } ([2, Lemma II.1.8-(b)]);
- (II) Let t &gt; 0 and choose z ∈ R such that H f x t ( ) = q f ( t, x ; z ). Then x -z t ∈ D f z -( ) ([2, Lemma II.4.12-(iii)]).

Proof of Theorem 4.3. Fix x 0 ∈ (0 , 1) and ε &gt; 0, and let I = ( x 0 -ε, x 0 + ). We ε prove that there is some z ∈ I such that f is not differentiable at z . We may assume that ε &lt; min { x , 0 1 -x 0 } , so that I ⊂ [0 , 1]. Let t ∈ (0 , ε 2 2 M ), with M &gt; 0 the oscillation of f , that is, M = sup R f -inf R f . Since H f t is represented by (4.3) with n such that t ≥ 1 2 cr n , there exists some δ ∈ (0 , ε ) such that H f t = q f ( t, · ; z ) in J := [ x 0 -δ, x 0 ] ⊂ I with z = k r n for some k ∈ { 0 1 2 3 , , , , . . . , r n } . The choice of t then guarantees that z ∈ I . Indeed, we have

$$f ( x _ { 0 } ) \geq H _ { t } f ( x _ { 0 } ) = f ( z ) + \frac { 1 } { 2 t } ( x _ { 0 } - z ) ^ { 2 },$$

and hence ( x 0 -z ) 2 ≤ 2 ( t f ( x 0 ) -f ( z )) ≤ 2 Mt &lt; ε 2 , that is, z ∈ I .

It follows from (II) that x -z t ∈ D f z -( ) for all x ∈ J . This implies that [ x 0 - -δ z t , x 0 -z t ] ⊂ D f z -( ): that is, D f z -( ) is not a singleton. Hence we conclude by (I) that f is not differentiable at z . /square

Remark 4.4 . The above proof actually shows that the dense set we found is a subset of Q r .

## 5. Concluding remark

We conclude this paper by mentioning another possible definition of P c . Let us define P ′ c as the set of all f ∈ C p ( R ) such that there exists an infinite subset N ′ ⊂ N 0 such that f satisfies (1.2) for all ( n, k, y ) ∈ A with n ∈ N ′ . In other words, we require (1.2) only for some subsequence of n ∈ N 0 . Even if this generalized class P ′ c is used, one can easily see that Theorem 2.3 is obtained in a suitable sense. Namely, f ∈ P ′ c if and only if f satisfies (F1) c with 'For all n ∈ N ′ ' instead of 'For all n ∈ N 0 '. The proof is almost the same as before.

Moreover, Theorem 2.1 is true for a function in P ′ := ⋃ c&gt; 0 P ′ c since the proof still works when taking the limit along N ′ . The formula (1.7) still gives many examples of functions in P ′ . Though P ′ provides a more general class than does P , there are, however, no essential changes or difficulties in the proofs. For this reason, for simplicity of presentation, the authors decided to give results in this paper for P c instead of P ′ c .

## Acknowledgement

Antonio Siconolfi appreciates funding for selected research from the Faculty of Science, University of Toyama. It enabled him to visit the University of Toyama in March, 2018.

## References

- [1] P. Allaart and K. Kawamura , The Takagi function: a survey , Real Anal. Exchange 37 (2011/12), 1-54.
- [2] M. Bardi and I. Capuzzo-Dolcetta , Optimal control and viscosity solutions of HamiltonJacobi-Bellman equations, Systems &amp; Control: Foundations &amp; Applications. Birkh¨user a Boston, Inc., Boston, MA, 1997
- [3] Z. Boros , An inequality for the Takagi function , Math. Inequal. Appl., 11 (2008), 757-765.
- [4] P. Cannarsa and C. Sinestrari , Semiconcave functions, Hamilton-Jacobi equations, and optimal control, Progress in Nonlinear Differential Equations and their Applications, 58. Birkh¨user Boston, Inc., Boston, MA, 2004. a
- [5] F. S. Cater , Constructing nowhere differentiable functions from convex functions , Real Anal. Exchange 28 (2002/2003), 617-621.
- [6] M. Crandall, H. Ishii and P. L. Lions , User's guide to viscosity solutions of second order partial differential equations , Bull. Amer. Math. Soc. 27 (1992), 1-67.
- [7] Y. Fujita, N. Hamamuki and N. Yamaguchi , A Hamilton-Jacobi flow starting from the Takagi function , in preparation.
- [8] Y. Fujita and Y. Saito , On the sets of maximum points for generalized Takagi functions , Toyama Math. J., 39 (2017), 85-93.
- [9] J. Gerver , The differentiability of the Riemann function at certain rational multiples of π , Amer. J. Math. 92 (1970) 33-55.
- [10] J. Gerver , More on the differentiability of the Riemann function , Amer. J. Math. 93 (1971) 33-41.
- [11] G. H. Hardy , Weierstrass's non-differentiable functions , Trans. of A.M.S., 17 (1916), 301325.
- [12] M. Hata and M. Yamaguti , The Takagi function and its generalization , Japan J. Appl. Math. 1 (1984), 183-199.
- [13] A. H´zy and Z. P´les a a , On approximately midconvex functions , Bull. London Math. Soc. 36 (2004), 339-350.
- [14] Y. Heurteaux , Weierstrass functions in Zygmund's class , Proc. Amer. Math. Soc. 133 (2005), 2711-2720.
- [15] J. C. Lagarias , The Takagi function and its properties , RIMS kˆ okyˆroku Bessatsu, u B34 (2012), 153-189.

- [16] J. Mak´ o , A new proof of the approximate convexity of the Takagi function , Acta Math. Hungar., 151 (2017), 456-461.
- [17] 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 (1973), 5-6.
- [18] J. R. Trollope , An explicit expression for binary digital sums , Math. Mag. 41 (1968), 21-25.

Department of Mathematics, University of Toyama, 3190 Gofuku, Toyama-shi, Toyama 930-8555, Japan

E-mail address : yfujita@sci.u-toyama.ac.jp

Department of Mathematics, Hokkaido University, Kita 10, Nishi 8, Kita-Ku, Sapporo, Hokkaido, 060-0810, Japan

E-mail address : hnao@math.sci.hokudai.ac.jp

Department of Mathematics, Sapienza Universit` di Roma, Piazzale Aldo Moro 5, a 00185 Roma, Italy

E-mail address : siconolf@mat.uniroma1.it

Faculty of Human Development, University of Toyama, 3190 Gofuku, Toyama-shi, Toyama 930-8555, Japan

E-mail address : norikazu@edu.u-toyama.ac.jp
Yasuhiro Fujita Nao Hamamuki Antonio Siconolfi Norikazu Yamaguchi
A class of nowhere differentiable functions satisfying some concavity type estimate
In this paper, we introduce and investigate a class P of continuous and
periodic functions on R. The class P is defined so that second-order central
differences of a function satisfy some concavity-type estimate. Although this
definition seems to be independent of nowhere differentiable character, it
turns out that each function in P is nowhere differentiable. The class P
naturally appear from both a geometrical viewpoint and an analytic viewpoint.
In fact, we prove that a function belongs to P if and only if some geometrical
inequality holds for a family of parabolas with vertexes on this function. As
its application, we study the behavior of the Hamilton Jacobi flow starting
from a function in P. A connection between P and some functional series is also
investigated. In terms of second-order central differences, we give a necessary
and sufficient condition so that a function given by the series belongs to P.
This enables us to construct a large number of examples of functions in P
through an explicit formula.