Non-differentiability and fractional differentiability on timescales

This work deals with concepts of non-differentiability and a non-integer order differential on timescales. Through an investigation of a local non-integer order derivative on timescales, a mean value theorem (a fractional analog of the mean value theorem on timescales) is presented. Then, by illustrating a vanishing property of this derivative, its objectivity is discussed. As a first-hand result, the potentials and capability of this fractional derivative connected to nonsmooth analysis, including non-differentiable paths and a class of self-similar fractals, are stated. It is stated that the non-integer order derivative never vanishes almost everywhere. It has been shown that with the help of changing the order of differentiability on a q-timescale, the non-differentiability disappears.


Introduction
Calculus on timescales originally was proposed in S. Hilger's Ph.D. thesis, which aimed to unify the differential and difference calculus [15,16]. Timescales, as closed subsets of the real line, include diverse patterns such as non-countable self-similar sets, primes and closed intervals as well. Although its fabric is one dimensional, up to an appropriate transformation, it is potentially capable of including higher dimensional patterns (see Sect. 2.1). Despite the complexity of the diverse scattering patterns in timescales, dynamic equations and inequalities on timescales are enriched by many fruitful results, and indeed research topics in this area are of great interests [4,8,9].
Compared to the classical calculus with some of its nonlocal fractional counterparts with the same antiquity, a few incomplete efforts aiming to present local fractional calculus [3] or non-local fractional calculus [2,26] on timescales have been done.
Differentiation and/or integration on fractals are reported in [7,12,20,27]. In conjunction with the main result of the present work, it is noteworthy that [27] introduces a local non-integer order calculus on Cantor set, which (in its general topological definition) is a prototype of a famous and mostly observed pattern. The mentioned theory in [27] is thrived to obtain an almost comprehensive achievement in non-integer order dynamic equations on Cantor set in the local sense. Surprisingly, this local non-integer order theory studies a subclass of nondifferentiable functions including Lebesgue-Cantor function.
Based on the idea in [7], a non-integer order derivative is in accordance with the Hausdorff dimension of a compact fractal. A rigorous mathematical integration theory on fractals can be found in [12], in which the concept of a generalized Riemann integral based on the staircase function is introduced. Moreover, for a given compact fractal F and a function f : F → R, it proposes a derivative at t ∈ F by (provided the limit exists) where * S α F is the staircase function corresponding to F, and 0 < α < 1 is the * γ -dimension of F [12]. A timescale approach toward the differentiation theory on fractals is suggested in [3]. Indeed, [3] proposes a non-integer order differentiation on timescales that contains compact fractals as well. In this approach, an implicit assumption is that all timescales are subject to the local non-integer order differentiation theory. In other words, for a given function defined on an arbitrary timescale, the differential of that function is not equivalent to zero necessarily.
As it will be discussed in this paper, in the above-mentioned proposal, all those timescales whose set of dense points are non-empty must be excluded from the theory since the derivative of a smooth function vanishes at the dense points. To overcome the lack of applicability in the presence of this vanishing property, one may take non-differentiable functions into account and this supposition leads us to the main result of the present work.
This work is organized as follows: Section 2 is devoted to preliminaries on timescales with and α-derivative. In Sect. 2.1, a class of selfsimilar fractals as compact timescales are studied. Non-integer order mean value on timescales is stated in Sect. 2.2. The mentioned theorem is a breakthrough in both integer and non-integer order differentiation and integration theory on timescales, whereas it is utilized to obtain the main background for integration theory [5]. In Sect. 3, we obtain the vanishing property of α-derivative for smooth functions in the sense that f (α) vanishes at right-dense points. Then, utilizing the non-integer order mean value theorem, we obtain the main result for nondifferentiable and α-differentiable functions. Section 4 is devoted to some examples of nondifferentiable functions.
In accordance with a classical nowhere differentiability and the classical Weierstrass function, a class of -nondifferentiable functions on a q-timescale is introduced. Then, the α-differentiability is represented. The specific series form of those functions is inspired by the trigonometric series form of their classical archetype, namely the Weierstrass function. Also, the q-version of a non-differentiable function in the above sense appears as a q-integral, which is a summation consisting of a finite number of terms.

Preliminary concepts
For comprehensive discussions on the calculus and dynamic equations on timescales, see [5].
Timescales are closed subsets of the real line. Some of the prevalent examples are Z, hZ (h > 0), Primes, 2 Z and R.
Three basic functions denoted by σ , ρ and μ, respectively, are defined by (

2.2)
A right-scattered point t ∈ T is a point for which we have μ(t) > 0, and it is called right-dense when μ(t) = 0. T κ is defined by T\{t 0 }, where t 0 is the left-scattered maximum. A function f : T → R is called regulated when its left-sided limits exist at left-dense points and its right-sided limits exist at right-dense points. It is clear that regulated functions are bounded on bounded subsets of T. A function f : T κ → R is said to be rd-continuous, if it is continuous at right-dense points, and the left-sided limits on left-dense points exist. The notation C rd (T) or simply C rd is served as the set of rd-continuous functions.

Self-similar compact timescales
The notion of timescales and non-integer order dynamic may be supported by fractal geometry. In view of the prevalence of fractal patterns in nature, some inspiring studies, specially in biology, are reported [1,13,14]. The present subsection is inspired by Fig. 1, [14]. Suppose S ⊂ R N and X = { (a n ) n | a n ∈ Z p } ( p ∈ Primes), X 1 ⊂ X be non-voided and assume that there is a one to one correspondence between S and X 1 . Making use of p-based expansion of numbers, [−1, 1]/∼ consists of equivalence classes t ∈ R Z , with t 1 ∼ t 2 iff a n −b n = 0 mod p, where t 1 = n a n p n and t 2 = n b n p n . Define T : X → R Z by T (a n ) n = n a n p n , then (X, d) is an infinite dimensional vector space over Z p , where d((a n ) n , (b n ) n ) = T (a n − b n ) n . It is clear that For the next statement, members of s ∈ S are denoted by the same notations as their counterparts in X , i.e., s = {a n }, so d(s 1 , s 2 ) for s 1 , s 2 ∈ S is defined by d({a n }, {b n }), where {a n } and {b n } are correspondent X members for s 1 and s 2 .

Proposition 2.1 Let g : S → S be a function and suppose
for some α ∈ [0, 1] and 0 < λ < 1. If S is correspondent to X 1 ⊂ X , then a similar identity holds for Proof Let t 1 = n∈N 0 a n p n and t 2 = in S. Let {ã n } and {b n } be correspondent to g(s 1 ) and g(s 2 ), then The result of Proposition 2.1 holds if we substitute the equality sign by ≤.

-Calculus and fractional calculus on timescales
Calculus on timescales begins with the following definition: Definition 2.3 [5] Suppose X is a real Banach space, f : T → X is a function and t ∈ T κ . We define f (t) ∈ X to be a vector-if it exists-with the property that, for any > 0, there is a neighborhood In case μ(t) > 0 and f is continuous, then f is differentiable at t and we have and when the point t is right-dense, f is differentiable at t iff the limit exists.
For D ⊂ T κ , a continuous function f : T → X is called pre-differentiable with region of differentiation D, if T\D is countable and contains no right-scattered point and also f (t) exists for all t ∈ D.
A non-integer order derivative in the local sense has been suggested in [21].
is defined to be a number with the property that, for any positive , there exists a neighborhood U ⊂ T of t of length δ so that for all s ∈ U. We name the number f (α) (t) fractional derivative of order α at t.
Besides the α-differentiation theory in [3], an indefinite integral together with a number of firsthand properties are derived. However, some of those properties with their applicability and domain of validity have been discussed in [21]. Similar to Eqs. (2.6) and (2.7), if f is continuous at t and t is right-scattered, then f is differentiable of order α at t with [3] exists and then it will be f (α) (x) [3].

Remark 2.5
Reminding the notion of measure chain which leads us to the graininess function μ, a fractional counterpart of it can be thought of as a pre-measure on a bent real line with the deflection parameter α. In this way, a rough geometric interpretation of fractional derivative of a function at point t ∈ T of order α is a slope of a bent line tangent to the function at t ∈ T. (2.14) A non-integer order counterpart of Theorem 2.6 is stated below: Proof The proof is based on the induction principle ( [5], Theorem 1.7) and here it is given with a modification to the proof of Theorem 1.67 in [5]. Let r, s ∈ T with r ≤ s. Since T \ D is countable, we denote it by {t n | n ∈ N}. Suppose the following statement S(t) : there exists a continuous and bounded function M : (2.17) The trivial case S(r ) is satisfied with any bounded and continuous M. Let t be right-scattered, then t ∈ D and assume that S(t) holds. We have This shows that S(σ (t)) holds with M(σ (t)) = M(t). Now, let t be right-dense with t = s. First, suppose t ∈ D. Since f and g are pre-differentiable, then there exists a neighborhood U of t with Assume the other case, namely t ∈ T \ D or t = t m for some m. Since every pre-differentiable function is continuous, there exists a neighborhood U of t such that for every τ ∈ U , we have Hence, The last inequality holds since t = t m < τ. Therefore, S(τ ) holds for all τ ∈ U ∩ (t, ∞) with M(τ ) = M(t). Now, let t be a left-dense point and suppose S(τ ) holds for τ < t. Thus, we have and S(t) follows from continuity of f , g and M with M(t) = lim τ →t − M(τ ). We conclude that the above deductions prove the assertion.

Main results
The content of this section evolves around the objectivity of the α-derivative and it aims to show that the class of α-differentiable functions with nonzero α-derivative is rather small in the sense of smoothness. It is assumed that T is bounded and functions are continuous. Since the concentration is on the right-dense points, for the sake of objectivity, assume that the set of right-dense points is non-empty. Proof By the definition, we have Here, the uniform convergence of the series and uniform continuity of the family (u n−α α ) n give the result.

Remark 3.2 The above result fails in the of lack of differentiability: Suppose
= 0 up to the dense points, but such asymptotic condition ruins the differentiability.
In favor of Theorem 2.8, one can easily obtain:

Corollary 3.5 Suppose f ∈ C 1 (T κ ), then f (α) vanishes at right-dense points.
Proof Assume f (α) (t) = 0 for some right-dense t. From Proposition 3.3, there exists a sequence (t n ) n ⊂ T κ with f (t n ) → ∞. Let t 0 = lim t n , then f is not -differentiable on t 0 . It yields t 0 / ∈ T κ and therefore t 0 = max T and it contradicts the right-dense property. This proves the assertion.

Definition 3.6
Let E denote the set of right-dense points in T. The set of all α-pre-differentiable functions f : T → R for which f (α) is bounded and non-zero on E ∩ D, is denoted by h α + . Also, h α 0 stands for the set of all α-pre-differentiable functions with f (α) ≡ 0 on E ∩ D and Li(T) denotes the space of Lipschitz functions.
is the the space of Hölder continuous functions on T, which is a Banach space with the norm (3.4) in which . is the sup norm.
The following statement is immediate.  C[a, b], it seems to be reasonable to regard the α-derivative in connection with non-smooth analysis.
For the purpose of the following statement, let Z ( f (α) ) be the set of zeros of f (α) .

Suppose T does not contain left-dense points. Assume that f is bounded on T \ E and f ∈ h α
0 , then f ∈ Li(T).
Proof Let x 0 ∈ T and assume that f ∈ H β (T), then for the function g x 0 defined by where K does not depend on f e.g.,( [22] section 1.1). Since g x 0 is continuous on T, its limit exists at x 0 provided x 0 ∈ E and one can infer that f is locally Hölder continuous. Also, by compactness of T and continuity of g t with respect to t, the family {g t } t∈T is uniform bounded and it proves f ∈ H α (T). Parts 2 and 3 are clear.

Non-differentiability vs α-differentiability: examples
Test Example 4.1 It is well known that the Weierstrass function defined by the following trigonometric series is non-differentiable and belongs to H α . Fractal geometric study of the Weierstrass function (as a mono-fractal) and its generalization has an interesting literature, both in theory and in applications [6,17,18,28]. Although in the present work, we have studied the local fractional derivative, non-local based fractional studies of f are reported [23]. Indeed, there is a direct relationship between the order of Grunwald-Letnikov derivative of f and its Hausdorff dimension [23]. Now, let { n } n be such that n → 0, then the function has the following property: which leads to g (α) ≡ 0 (Chapter 2, Section 3, [29]). Then, we conclude that there exists a non-voided set upon which g is differentiable (Fig. 1).

Fig. 2 TimescaleT
It is clear that T 1 ⊂ T consists of dense points of T, and f is -differentiable on T\T 1 . Let t ∈ T 1 , then t = q k for some k ∈ N, and let t j = q j + q k , in which j > k. Obviously, (since h(q k q −n ) = q k−n when n ≤ k and otherwise h(q k q −n ) = 0). The same result holds for while we have Note that with the help ofq = q α , Eq. (4.7) has a q-integral representation below whereT = {0, 1} ∪ q αN n∈N q αn + q αN n+1 (Fig. 2). It can be verified that g is not fractional differentiable of order 0 < β < 1 on {0} ∪ q αN 0 : (4.10) For the purpose of fractional differentiability, we need to modify the previous definitions: Let l : R → R be a differentiable function that vanishes outside [0, 1]. We can define the corresponding function h by (4.11) The summation in Eq. (4.11) is finite again, while l vanishes outside of [0, 1], so for t = q k , we have l(q αk−n ) = 0 for αk < n, where . is the floor function. The function h is fractional differentiable of order α, since for t = q k we have  Note that one can obtain a similar result by consideringT and defining Apparently, h(t) in either of the above definitions is not -differentiable, but α-differentiable on T and equivalently, h as a function onT is -differentiable (see Fig. 3).

Remark 4.3
As it has been represented through the examples above, the discussed local non-integer order derivative and -derivative are equal up to a change of scale, i.e., changing q N 0 with q αN 0 in Example 4.2. Interestingly, the transformation t −→ t α preserves the scattering property of two discussed timescales, that is, μ(t) = 1−q q t for t ∈ T and μ(t) = 1−q α q α t for t ∈T. The same invariance holds for T = Z under the shift transformation t −→ t + α. In general, if a given timescale is invariant under a transformation (a change of scale as a function of α), then we would be able to use and α derivative interchangeably in the sense of T andT and their corresponding function h(t).

Conclusion
In this work, an objectivity of the local α-derivative on timescales has been discussed. Using the fractional mean value theorem, it is shown that, compared to the smooth functions, which have trivial α-derivative, nowhere differentiable functions, which satisfy fractional differentiability, possess almost everywhere non-triviality of the fractional derivative of order α. As it is shown in Example 4.1, the discussed local derivative has some potentials to study dynamics on self-similar fractals. The concepts of nowhere -differentiability up to dense points and α-differentiability on timescales is also studied, and almost everywhere non-vanishing property of a fractional order derivative is stated. Making use of the series representation of q-integrals, a class of non-differentiable, but α-differentiable on a q-timescale is introduced.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http:// creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.