In calculus, a branch of mathematics, the notions of one-sided differentiability and semi-differentiability of a real-valued function f of a real variable are weaker than differentiability.
Contents
Definitions
Let f denote a real-valued function defined on a subset I of the real numbers.
If a ∈ I is a limit point of I ∩ [a,∞) and the one-sided limit
exists as a real number, then f is called right differentiable at a and the limit ∂+f(a) is called the right derivative of f at a.
If a ∈ I is a limit point of I ∩ (–∞,a] and the one-sided limit
exists as a real number, then f is called left differentiable at a and the limit ∂–f(a) is called the left derivative of f at a.
If a ∈ I is a limit point of I ∩ [a,∞) and I ∩ (–∞,a] and if f is left and right differentiable at a, then f is called semi-differentiable at a.
Remarks and examples
Application
If a real-valued, differentiable function f, defined on an interval I of the real line, has zero derivative everywhere, then it is constant, as an application of the mean value theorem shows. The assumption of differentiability can be weakened to continuity and one-sided differentiability of f. The version for right differentiable functions is given below, the version for left differentiable functions is analogous.
Higher-dimensional case
This above definition can be generalized to real-valued functions f defined on subsets of Rn using a weaker version of the directional derivative. Let a be an interior point of the domain of f. Then f is called semi-differentiable at the point a if for every direction u ∈ Rn the limit
exists as a real number.
Semi-differentiability is thus weaker than Gâteaux differentiability, for which one takes in the limit above h → 0 without restricting h to only positive values.
(Note that this generalization is not equivalent to the original definition for n = 1 since the concept of one-sided limit points is replaced with the stronger concept of interior points.)
Properties
Generalization
Instead of real-valued functions, one can consider functions taking values in Rn or in a Banach space.