Symmetric derivative - Alchetron, The Free Social Encyclopedia

In mathematics, the symmetric derivative is an operation generalizing the ordinary derivative. It is defined as:

If a function is differentiable (in the usual sense) at a point, then it is also symmetrically differentiable, but the converse is not true. A well-known [counter]example is the absolute value function f(x) = |x|, which is not differentiable at x = 0, but is symmetrically differentiable here with symmetric derivative 0. For differentiable functions, the symmetric difference quotient does provide a better numerical approximation of the derivative than the usual difference quotient.

The symmetric derivative at a given point equals the arithmetic mean of the left and right derivatives at that point, if the latter two both exist.

Neither Rolle's theorem nor the mean value theorem hold for the symmetric derivative; some similar but weaker statements have been proved.

The modulus function

For the modulus function, f ( x ) = | x | , we have, at x = 0 ,

f s ( 0 ) = lim h → 0 f ( 0 + h ) − f ( 0 − h ) 2 h = lim h → 0 f ( h ) − f ( − h ) 2 h = lim h → 0 | h | − | − h | 2 h = lim h → 0 h − ( − ( − h ) ) 2 h = 0

only, where remember that h > 0 and h ⟶ 0 , and hence | − h | is equal to − ( − h ) only! So, we observe that the symmetric derivative of the modulus function exists at x = 0 ,and is equal to zero, even if its ordinary derivative won't exist at that point (due to a "sharp" turn in the curve at x = 0 ).

Note in this example both the left and right derivatives at 0 exits, but they are unequal (one is -1 and the other is 1); their average is 0, as expected.

x−2

For the function f ( x ) = 1 / x 2 , we have, at x = 0 ,

f s ( 0 ) = lim h → 0 f ( 0 + h ) − f ( 0 − h ) 2 h = lim h → 0 f ( h ) − f ( − h ) 2 h = lim h → 0 1 / h 2 − 1 / ( − h ) 2 2 h = lim h → 0 1 / h 2 − 1 / h 2 2 h = 0

only, where again, h > 0 and h ⟶ 0 . See that again, for this function, its symmetric derivative exists at x = 0 , its ordinary derivative does not occur at x = 0 , due to discontinuity in the curve at x = 0 . Furthermore, neither the left nor the right derivatives are finite at 0, i.e. this is an essential discontinuity.

The Dirichlet function

The Dirichlet function, defined as:

f ( x ) = { 1 , if x is rational 0 , if x is irrational

may be analysed to realize that it has symmetric derivatives ∀ x ∈ Q but not ∀ x ∈ R − Q , i.e. symmetric derivative exists for rational numbers but not for irrational numbers.

Quasi-mean value theorem

The symmetric derivative does not obey the usual mean value theorem (of Lagrange). As counterexample, the symmetric derivative of f(x) = |x| has the image {-1, 0, 1}, but secants for f can have a wider range of slopes; for instance, on the interval [-1, 2], the mean value theorem would mandate that there exist a point where the (symmetric) derivative takes the value | 2 | − | − 1 | 2 − ( − 1 ) = 1 3 .

A theorem somewhat analogous to Rolle's theorem but for the symmetric derivative was established by in 1967 C.E. Aull, who named it Quasi-Rolle theorem. If f is continuous on the closed interval [a, b] and symmetrically differentiable on the open interval (a, b) and f(b) = f(a) = 0, then there exist two points x, y in (a, b) such that f_s(x) ≥ 0 and f_s(y) ≤ 0. A lemma also established by Aull as a stepping stone to this theorem states that if f is continuous on the closed interval [a, b] and symmetrically differentiable on the open interval (a, b) and additionally f(b) > f(a) then there exist a point z in (a, b) where the symmetric derivative is non-negative, or with the notation used above, f_s(z) ≥ 0. Analogously, if f(b) < f(a), then there exists a point z in (a, b) where f_s(z) ≤ 0.

The quasi-mean value theorem for a symmetrically differentiable function states that if f is continuous on the closed interval [a, b] and symmetrically differentiable on the open interval (a, b), then there exist x, y in (a, b) such that

f s ( x ) ≤ f ( b ) − f ( a ) b − a ≤ f s ( y ) .

As an application, the quasi-mean value theorem for f(x) = |x| on an interval containing 0 predicts that the slope of any secant of f is between -1 and 1.

If the symmetric derivative of f has the Darboux property, then the (form of the) regular mean value theorem (of Lagrange) holds, i.e. there exists z in (a, b):

f s ( z ) = f ( b ) − f ( a ) b − a .

As a consequence, if a function is continuous and its symmetric derivative is also continuous (thus has the Darboux property), then the function is differentiable in the usual sense.

Generalizations

The notion generalizes to higher-order symmetric derivatives and also to n-dimensional Euclidean spaces.

The second symmetric derivative

It is defined as

lim h → 0 f ( x + h ) − 2 f ( x ) + f ( x − h ) h 2 .

If the (usual) second derivative exists, then the second symmetric derivative equals it. The second symmetric derivative may exist however even when the (ordinary) second derivative does not. As example, consider the sign function sgn ⁡ ( x ) which is defined through

sgn ⁡ ( x ) = { − 1 if x < 0 , 0 if x = 0 , 1 if x > 0.

The sign function is not continuous at zero and therefore the second derivative for x = 0 does not exist. But the second symmetric derivative exists for x = 0 :

lim h → 0 sgn ⁡ ( 0 + h ) − 2 sgn ⁡ ( 0 ) + sgn ⁡ ( 0 − h ) h 2 = lim h → 0 1 − 2 ⋅ 0 + ( − 1 ) h 2 = lim h → 0 0 h 2 = 0

References

Symmetric derivative Wikipedia

(Text) CC BY-SA

Contents