Incalculus, the notions ofone-sided differentiability andsemi-differentiability of areal-valuedfunctionf of a real variable are weaker thandifferentiability. Specifically, the functionf is said to beright differentiable at a pointa if, roughly speaking, aderivative can be defined as the function's argumentx moves toa from the right, andleft differentiable ata if the derivative can be defined asx moves toa from the left.

Inmathematics, aleft derivative and aright derivative arederivatives (rates of change of a function) defined for movement in one direction only (left or right; that is, to lower or higher values) by the argument of a function.
Letf denote a real-valued function defined on a subsetI of the real numbers.
Ifa ∈ I is alimit point ofI ∩ [a,∞) and theone-sided limit
exists as a real number, thenf is calledright differentiable ata and the limit∂+f(a) is called theright derivative off ata.
Ifa ∈ I is a limit point ofI ∩ (–∞,a] and the one-sided limit
exists as a real number, thenf is calledleft differentiable ata and the limit∂–f(a) is called theleft derivative off ata.
Ifa ∈ I is a limit point ofI ∩ [a,∞) andI ∩ (–∞,a] and iff is left and right differentiable ata, thenf is calledsemi-differentiable ata.
If the left and right derivatives are equal, then they have the same value as the usual ("bidirectional") derivative. One can also define asymmetric derivative, which equals thearithmetic mean of the left and right derivatives (when they both exist), so the symmetric derivative may exist when the usual derivative does not.[1]
If a real-valued, differentiable functionf, defined on an intervalI of the real line, has zero derivative everywhere, then it is constant, as an application of themean value theorem shows. The assumption of differentiability can be weakened to continuity and one-sided differentiability off. The version for right differentiable functions is given below, the version for left differentiable functions is analogous.
Theorem— Letf be a real-valued,continuous function, defined on an arbitraryintervalI of the real line. Iff is right differentiable at every pointa ∈ I, which is not thesupremum of the interval, and if this right derivative is always zero, thenf isconstant.
For aproof by contradiction, assume there exista < b inI such thatf(a) ≠f(b). Then
Definec as theinfimum of all thosex in the interval(a,b] for which thedifference quotient off exceedsε in absolute value, i.e.
Due to the continuity off, it follows thatc < b and|f(c) –f(a)| =ε(c –a). Atc the right derivative off is zero by assumption, hence there existsd in the interval(c,b] with|f(x) –f(c)| ≤ε(x –c) for allx in(c,d]. Hence, by thetriangle inequality,
for allx in[c,d), which contradicts the definition ofc.
Another common use is to describe derivatives treated asbinary operators ininfix notation, in which the derivatives is to be applied either to the left or rightoperands. This is useful, for example, when defining generalizations of thePoisson bracket. For a pair of functions f and g, the left and right derivatives are respectively defined as
Inbra–ket notation, the derivative operator can act on the right operand as the regular derivative or on the left as the negative derivative.[2]
This above definition can be generalized to real-valued functionsf defined on subsets ofRn using a weaker version of thedirectional derivative. Leta be an interior point of the domain off. Thenf is calledsemi-differentiable at the pointa if for every directionu ∈ Rn the limit
withR exists as a real number.
Semi-differentiability is thus weaker thanGateaux differentiability, for which one takes in the limit aboveh → 0 without restrictingh to only positive values.
For example, the function is semi-differentiable at, but not Gateaux differentiable there. Indeed, with
(Note that this generalization is not equivalent to the original definition forn = 1 since the concept of one-sided limit points is replaced with the stronger concept of interior points.)
Instead of real-valued functions, one can consider functions taking values inRn or in aBanach space.