About non-differentiable functions
type: Item
instance of: scholarly article
title: About non-differentiable functions
zbMATH Open document ID: 0995.26006
author: Fayçal Ben Adda
author: Jacky Cresson
published in: Journal of Mathematical Analysis and Applications
publication date: 2002-10-15T00:00:00Z
reviewed by: S. G. Samko
Mathematics Subject Classification ID: 26A33
Mathematics Subject Classification ID: 26A27
zbMATH DE Number: 1703069
zbMATH Keywords: fractional calculus
zbMATH Keywords: local behaviour
zbMATH Keywords: nowhere differentiable functions
MaRDI profile type: Publication
OpenAlex ID: W2030143759
cites work: Q4361663
cites work: Q3864730
cites work: Fractional differential equations. An introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications
cites work: Functions that have no first order derivative might have fractional derivatives of all orders less than one
cites work: Q4748596
cites work: Q3269421
cites work: Q4698930
cites work: Q3141895
DOI: 10.1006/JMAA.2001.7656
Recommended article: Q5846006
Recommended article: Non-convex and semi-differentiable functions
Recommended article: Nonlinear conditions for differentiability of functions
Recommended article: Q3788227
review text: \textit{K. M. Kolwankar} and \textit{A. D. Gangal} [``Fractional differentiability of nowhere differentiable functions and dimensions'', Chaos, 6, No.~4, 505-513 (1996; Zbl 1055.26504)] introduced a certain ``localization'' \(d^\alpha f(x)\) of the Riemann-Liouville fractional derivative to study the local behaviour of nowhere differentiable functions. The authors present a development of this notion, one of the main statements being the formula NEWLINE\[NEWLINEd^\alpha f(x)= \Gamma(1+\alpha)\lim_{ t\to x}\frac{f(t)-f(x)}{|t-x|^\alpha} \tag{1}NEWLINE\]NEWLINE (under the assumption that \(d^\alpha f(x)\) exists) and its consequences.NEWLINENEWLINENEWLINEReviewer's remarks. 1. The construction \(d^\alpha f(x)\) is equal to zero for any nice function, which roughly speaking, behaves locally better than a Hölder function of order \(\lambda> \alpha\) and is equal to infinity at all points where it has ``bad'' behaviour, worse than a Hölder function of order \(\lambda< \alpha\). Therefore, this construction may serve just as a kind of indicator whether a function \(f(t)\) at the point \(x\) is better or worse than the power function \(|t-x|^\alpha\) (as it is in fact interpreted in the recent paper [\textit{K. M. Kolwankar} and \textit{J. Lévy Véhel}, ``Measuring functions smoothness with local fractional derivatives'', Fract. Calc. Appl. Anal. 4, No.~3, 285-301 (2001)]. It cannot be named as a fractional derivative, even if a local one. 2. From the well-known Marchaud representation for the fractional derivative it follows immediately that NEWLINE\[NEWLINEd^\alpha f(x)= \frac{1}{\Gamma(1-\alpha)}\lim_{ t\to x}\left[ \frac{f(t)-f(x)}{|t-x|^\alpha}+ \alpha \text{sign}(t-x)\int_x^t\frac{f(t)-f(s)}{|t-s|^{1+\alpha}}ds\right]\tag{2}NEWLINE\]NEWLINE which coincides with (1) for functions \(f(t)\) which behave at a point \(x\) as the power function \(|t-x|^\alpha\), since NEWLINE\[NEWLINE\int_x^t\frac{(t-x)^\alpha - (s-x)^\alpha}{(t-s)^{1+\alpha} } ds = B(1+\alpha,-\alpha)+\fra…
description: scientific article; zbMATH DE number 1703069