arxiv: v1 [math.ca] 23 Jul 2018

Transcription

1 NON APPROXIMATE DERIVABILITY OF THE TAKAGI FUNCTION JUAN FERRERA AND JAVIER GÓMEZ GIL arxiv: v1 [math.ca] 23 Jul 2018 Abstract. The Takagi function is a classical example of a continuous nowhere differentiable function. In this paper we prove that it is nowhere approximately derivable. The Takagi function is probably the easiest example of a continuous nowhere derivable function, it was introduced in 1903 (see [13]), and ever since, it has caught the interest of mathematicians, as a matter of fact it was often rediscovered, for instance, in 1930, using base ten instead of base two by Van der Waerden (see [14]). For an extensive information about this function, see the surveys [1] and [9]. We say that a function f satisfies the C 1 Lusin property if for every ε > 0 there exists a C 1 function g such that the set x : f(x) g(x) has Lebesgue measure less than ε. It is known that the Takagi s function does not satisfy the C 1 Lusin property, more precisely, that it agrees with no C 1 function on any set of positive measure (see [3]). In particular, this implies that the Takagi function does not satisfy the Lipschitz property (see [10]), however it is almost Lipschitz in the sense that it is α-hölder continuous for every 0 < α < 1 (see [12]). The fact that the Takagi function does not enjoy the C 1 Lusin property is also interesting from a different view point because it provides a counterexample for the following question: It is known that every function with non empty Frechet subdifferential a.e. satisfies the C 1 Lusin property (see [2]), does this result remain true if we replace the Frechet subdifferential by the Limiting subdifferential? (see [4] for an elementary introduction of these properties) The answer is not since the Takagi function has non empty Limiting subdifferential everywhere (see [5] or [6]). The Lusin properties are closely related with the approximate differentiability, for instance a one dimensional function has the C 1 Lusin property if and only if it is approximately derivable a.e., for this result see [15] or [11] for similar results involving funcions on R n. From all these results we may deduce that the Takagi function is not approximately derivable a.e., in other words: there exists a positive measure set such that the Takagi function is not approximately derivable at any point of that set. The aim of this paper is to give a direct, 2010 Mathematics Subject Classification. Primary 26A27; Secondary 26A30. Key words and phrases. Takagi function, Approximate derivative. 1

2 2 JUAN FERRERA AND JAVIER GÓMEZ GIL and relatively elementary, proof of a stronger result, namely that the Takagi function is nowhere approximately derivable. Although it is known that almost every, in the sense of category, continuous function f : R R is nowhere approximately derivable, see [7], it is not easy to provide examples of such functions, see for instance the examples that appear in [7] or [8], clearly the functions that they define are not as elementary as the Takagi function. On the other hand the relevance of the Takagi function worth the study of its approximate derivability. We introduce some definitions and notation. L will denote the Lebesgue measure on R. For a function f : R R, l is the approximate limit of f at x, aplim y x f(y) = l, if for every ε > 0, ( ) L (x r,x+r) y R : f(y) l ε lim r 0 + 2r We say that a function f : R R is approximately derivable at x if there exists a real number f ap (x), named approximate derivative of f at x, such that aplim y x f(y) f(x) f ap (x)(y x) y x The following result, see [8] page 139, is immediate: Proposition 1. Let f : R R be a function, let x be a point of R and suppose that f is approximately derivable at x with approximate derivative f ap(x). Then, for any real number α > f ap(x), we have L lim r 0 + L lim r 0 + y (x r,x+r)setminusx : f(y) f(x) y x 2r Similarly, for any real number β < f ap (x), we have y (x r,x+r)\x : 2r f(y) f(x) y x β α We proceed to define the Takagi function. For n N, n 0, let D n = k2 n : k Z R and let D = D n be the set of all dyadic numbers. The Takagi function T : R R is defined as T(x) = g k (x) = limg n (x) (1) n k=1 where g k (x) = min( x y : y D k ), and G n = g 1 + +g n. The aim of this paper is to prove the following Theorem: Theorem 2. The Takagi function is nowhere approximately derivable. We split the proof in several Propositions. First, we assume that x D, we have that for all n there exist x n,y n D n such that x (x n,y n ) and (x n,y n ) D n =.

3 NON APPROXIMATE DERIVABILITY OF THE TAKAGI FUNCTION 3 It is clear that for k < n we have that (x n,y n ) (x k,y k ) and g k (x ) g k (x) = g k(x)(x x) (2) for all x [x n,y n ]. Note that g k is derivable at x because x D, moreover g k (x) = ±1. We start with the following estimation: Lemma 3. Let x D. If g n (x) = 1 then L y : 0 < x y < 2 n, T(y) T(x) G y x n 1(x)+ 2 5 Analogously, if g n (x) = 1 then L y : 0 < x y < 2 n, T(y) T(x) G y x n 1(x) n+5. (3) 1 2 n+5. (4) Proof. Let x n,y n be as above, if g n(x) = 1 then x is closer to x n than to y n, hence y n x > 2 n 1. For 0 < t < 2 n 5 we have that g n+k (y n t) min 2 n 5,2 n k 1 for all k = 0,1,2,... and then, by (2), T(y n t) T(x) G n 1 (y n t) G n 1 (x)+ 5 2 n+5 + k>4 1 2 n+k+1 G n 1(x)(y n t x)+ 6 2 n+5. Therefore, T(y n t) T(x) G n 1 y n t x (x) since y n t x 2 n 1 2 n 5 = 15 2 n 5. The case g n (x) = 1 is similar. Proposition 4. Let x D, if either I = liminf n G n (x) or S = limsup n G n (x), is finite then T is not approximately derivable at x. Proof. Let us suppose that I is finite and T is approximately derivable at x. As I is finite, there exists n 0 such that G n(x) I for all n n 0 and there exists a strictly increasing subsequence (n k ) k0 such that G n k 1 (x) = I for all k. It is clear that g n k 1 (x) = 1 and g n k (x) = +1 for all k > 0 and hence, by Lemma 3, L y : 0 < y x < r, T(y) T(x) I + 2 y x 5 lim sup r 0 2r + L y : 0 < y x < 2 n k, T(y) T(x) G y x n k 1(x)+ 2 5 limsup k 2 n k > 0

4 4 JUAN FERRERA AND JAVIER GÓMEZ GIL and lim sup r 0 + limsup k L y : 0 < y x < r, T(y) T(x) I +1 2 y x 5 2r L y : 0 < y x < 2 nk+1, T(y) T(x) G y x n k 2(x) n k > 0 since I + 1 = G n k 2 (x). We deduce, by Proposition 1, the following contradiction. The case S finite is similar. T ap (x) I < I T ap (x). The alternative occurs when both limits are infinite. Then we also have that T is not approximately derivable. Proposition5. Let x D, if I = liminf n G n (x) ands = limsup ng n (x) are infinite, then T is not approximately derivable at x. Proof. As the result is obvious if I = S, we will suppose that I = and S = +. Then, there exists a subsequence (n k ) k such that for all k, and G n k (x) < G n k+1 (x), g n k +1 (x) = 1; G n k (x) k +. ByProposition1, ift isapproximatelyderivableatxandα > T ap (x) there exists δ > 0 such that T(y) T(x) L y (x r,x+r)\x : α < 1 y x 32 r (5) for 0 < r < δ. But if k is such that G n k 1 (x) > α+1 and 2 n k < δ we have, by Lemma 3, that L y : 0 < y x < 1, T(y) T(x) G 2 n n k y x k 1(x) = 1 1 n k n k that contradicts (5). It only remains to prove that T is not approximately derivable at any dyadic number. Proposition 6. If x D, then T is not approximately derivable at x.

5 NON APPROXIMATE DERIVABILITY OF THE TAKAGI FUNCTION 5 Proof. If x D, let n 0 be the smaller integer such that x D n0 +1. Let n be such that n > 2n 0. If 2 h < 2 n then g k (x+h) = h for every k, n 0 < k n. Thus n 0 ( T(x+h) T(x) gk (x+h) g k (x) ) n + g k (x+h) k=1 k=n 0 +1 n 0 h +(n n 0 ) h = (n 2n 0 ) h. This implies that L y : 0 < y x < 1 T(y) T(x) 2n+1, n 2n 0 1 y x 4 2 n. It follows from Proposition 1 that T is not approximately derivable at x. Joining Propositions 4, 5, and 6, we have the proof of Theorem 2 References [1] P.C. Alaart and K. Kawamura, The Takagi function: a survey, Real Anal. Exchange 37 (2012), [2] D. Azagra, J. Ferrera, M. García-Bravo J. Gómez-Gil, Subdifferentiable functions satisfy Lusin properties of class C 1 or C 2, Journal of Approximation Theory 230 (2018), 1-12 [3] J.B. Brown and G. Kozlowski, Smooth Interpolation, Hölder Continuity, and the Takagi-van der Waerden Function, Amer. Math. Monthly 110, no. 2 (2003), [4] J. Ferrera, An introduction to nonsmooth analysis, Elsevier/Academic Press, Amsterdam, [5] J. Ferrera and J. Gomez-Gil, Generalized Takagi-Van der Waerden functions and their subdifferentials, J. Convex Anal. 25 (4) (2018) [6] P. Gora and R.J. Stern, Subdifferential analysis of the Van der Waerden function, J. Convex Anal. 18 (3) (2011), [7] V. Jarník, Sur la derivabilité des fonctions continues, Spisy Privodov, Fak. Univ. Karlovy 129 (1934), 3-9. [8] A. Kharazishvili, Strange Functions in Real Analysis, Second Edition, Monographs and textbooks in pure and applied mathematics. CRC Press, [9] J.C. Lagarias, The Takagi function and its properties, RIMS Kôkyûroku Besatsu, B34 (2012), [10] J. Marcinkiewicz, Sur les séries de Fourier, Fund. Math. 27 (1936) [11] F.-C. Liu and W.-S. Tai, Approximate Taylor polynomials and differentiation of functions, Topol. Methods Nonlinear Anal. 3 (1994), no. 1, [12] A. Shidfar and K. Sabetfatkhri, On the continuity of Van der Waerden s Function in the Hölder sense, Amer. Math. Monthly 93, no. 5 (1986), [13] T. Takagi, A simple example of the coninuous function without derivative, Proc. Phys. Math. Soc. Tokio Ser. II 1 (1903), [14] B.L. Van der Waerden, Ein einfaches Beispiel einer nichdifferenzierbaren stetigen Funktion, Math. Z. 32 (1930), [15] H. Whitney, On totally differentiable and smooth functions, Pacific J. Math. 1, (1951)

6 6 JUAN FERRERA AND JAVIER GÓMEZ GIL IMI, Departamento de Análisis Matemático y Matemática Aplicada, Facultad Ciencias Matemáticas, Universidad Complutense, 28040, Madrid, Spain address: ferrera@ucm.es Departamento de Análisis Matemático y Matemática Aplicada, Facultad Ciencias Matemáticas, Universidad Complutense, 28040, Madrid, Spain address: gomezgil@mat.ucm.es