Difference between revisions of "Non-differentiable function"
(Importing text file) |
|||
Line 1: | Line 1: | ||
+ | {{TEX|want}} | ||
+ | |||
A function that does not have a [[Differential|differential]]. In the case of functions of one variable it is a function that does not have a finite derivative. For example, the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670101.png" /> is not differentiable at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670102.png" />, though it is differentiable at that point from the left and from the right (i.e. it has finite left and right derivatives at that point). The continuous function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670103.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670104.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670105.png" /> is not only non-differentiable at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670106.png" />, it has neither left nor right (and neither finite nor infinite) derivatives at that point. | A function that does not have a [[Differential|differential]]. In the case of functions of one variable it is a function that does not have a finite derivative. For example, the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670101.png" /> is not differentiable at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670102.png" />, though it is differentiable at that point from the left and from the right (i.e. it has finite left and right derivatives at that point). The continuous function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670103.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670104.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670105.png" /> is not only non-differentiable at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067010/n0670106.png" />, it has neither left nor right (and neither finite nor infinite) derivatives at that point. | ||
Revision as of 17:54, 15 February 2013
A function that does not have a differential. In the case of functions of one variable it is a function that does not have a finite derivative. For example, the function is not differentiable at
, though it is differentiable at that point from the left and from the right (i.e. it has finite left and right derivatives at that point). The continuous function
if
and
is not only non-differentiable at
, it has neither left nor right (and neither finite nor infinite) derivatives at that point.
The first examples of functions continuous on the entire real line but having no finite derivative at any point were constructed by B. Bolzano in 1830 (published in 1930) and by K. Weierstrass in 1860 (published in 1872). Weierstrass' function is the sum of the series
![]() |
where ,
is an odd natural number and
. A simpler example, based on the same idea, in which
is replaced by a simpler periodic function — a polygonal line — was constructed by B.L. van der Waerden. Let
be the function defined for real
as the absolute value of the difference between
and the nearest integer. This function is linear on every interval
, where
is an integer; it is continuous and periodic with period 1. Let
![]() |
then van der Waerden's function is defined by
![]() |
This function is continuous on the entire real line but does not have a finite derivative at any point. The first three partial sums of the series are shown in the figure.
Figure: n067010a
For functions of more than one variable, differentiability at a point is not equivalent to the existence of the partial derivatives at the point; there are examples of non-differentiable functions that have partial derivatives. For example, the function
![]() |
is continuous at all points of the plane and has partial derivatives everywhere but it is not differentiable at .
Comments
S. Banach proved that "most" continuous functions are nowhere differentiable. Specifically, he showed that if denotes the space of all continuous real-valued functions on the unit interval
, equipped with the uniform metric (sup norm), then the set of members of
that have a finite right-hand derivative at some point of
is of the first Baire category (cf. Baire classes) in the complete metric space
. Proof of this fact and of the nowhere differentiability of Weierstrass' example cited above can be found in [a1]. A proof that van der Waerden's example has the stated properties can be found in [a2].
References
[a1] | E. Hewitt, K.R. Stromberg, "Real and abstract analysis" , Springer (1965) |
[a2] | K.R. Stromberg, "Introduction to classical real analysis" , Wadsworth (1981) |
Non-differentiable function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Non-differentiable_function&oldid=11831