TOPICS
Search

Dini Derivative


Let f be a real-valued function defined on an interval [a,b] and let x_0 in (a,b). The four one-sided limits

 D^+f(x_0)=lim sup_(x->x_0+)(f(x)-f(x_0))/(x-x_0),
(1)
 D_+f(x_0)=lim inf_(x->x_0+)(f(x)-f(x_0))/(x-x_0),
(2)
 D^-f(x_0)=lim sup_(x->x_0-)(f(x)-f(x_0))/(x-x_0),
(3)

and

 D_-f(x_0)=lim inf_(x->x_0-)(f(x)-f(x_0))/(x-x_0)
(4)

are called the Dini derivatives of f at x_0. Individually, they are referred to as the upper right, lower right, upper left, and lower left Dini derivatives of f at x_0, respectively, and any or all of the values may be infinite.

It turns out that continuity at a point x_0 of a single Dini derivative of a continuous function f implies continuity of the other three Dini derivatives of f at x_0, equality of the four Dini derivatives, and (usual) differentiability of the function f. In addition, the Denjoy-Saks-Young theorem completely characterizes all possible Dini derivatives of finite real-valued functions defined on intervals and--as corollaries--the Dini derivatives of all monotone and continuous functions defined on intervals.

Many other important properties of Dini derivatives have been studied and characterized. Banach showed that the Dini derivative of a Lebesgue measurable function is Lebesgue measurable. Moreover, one can easily show that convex functions satisfy some very precise "almost differentiability" conditions with respect to Dini derivatives (Kannan and Krueger 1996).

Unlike the usual derivative of a function f, the Dini derivative can sometimes have unexpected properties. One famous example of such is due to Ruziewicz, who showed that the difference of two continuous functions f and g on an interval I may not be constant even if f^'=g^' on I; this is due, in part, to the allowance of infinite Dini derivative.


See also

Continuous, Continuous Function, Convex Function, Denjoy-Saks-Young Theorem, Derivative, Interval, Lebesgue Measure, Limit, Lower Left Dini Derivative, Lower Right Dini Derivative, Measurable Function, Monotone, Upper Left Dini Derivative, Upper Right Dini Derivative

This entry contributed by Christopher Stover

Explore with Wolfram|Alpha

References

Kannan, R. and Krueger, C. K. Advanced Analysis on the Real Line. New York: Springer-Verlag, 1996.

Cite this as:

Stover, Christopher. "Dini Derivative." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/DiniDerivative.html

Subject classifications