Difference between revisions of "Non-differentiable function"
(Importing text file) |
(Texed) |
||
(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
− | 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 | + | {{TEX|done}} |
+ | |||
+ | 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 $f(x) = |x|$ is not differentiable at $x=0$, 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 $f(x) = x \sin(1/x)$ if $x \ne 0$ and $f(0) = 0$ is not only non-differentiable at $x=0$, 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 | 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 | ||
− | + | $$f(x) = \sum_{n=0}^\infty a^n \cos(b^n \pi x),$$ | |
− | + | where $0 < a < 1$, $b$ is an odd natural number and $ab > 1 + 3\pi / 2$. A simpler example, based on the same idea, in which $\cos \omega x$ is replaced by a simpler periodic function — a polygonal line — was constructed by B.L. van der Waerden. Let $u_0(x)$ be the function defined for real $x$ as the absolute value of the difference between $x$ and the nearest integer. This function is linear on every interval $[n/2, (n+1)/2]$, where $n$ is an integer; it is continuous and periodic with period 1. Let | |
− | where < | ||
− | |||
− | |||
+ | $$u_k(x) = \frac{u_0(4^k x)}{4^k}, \quad k=1, 2, \ldots, $$ | ||
then van der Waerden's function is defined by | then van der Waerden's function is defined by | ||
− | + | $$f(x) = \sum_{k=0}^\infty u_k(x).$$ | |
− | |||
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. | 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. | ||
Line 21: | Line 21: | ||
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 | 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 | ||
− | + | $$f(x, y) = \begin{cases} \dfrac{x^2 y}{x^2 + y^2} & \text{if } x^2 + y^2 > 0, \\ 0 & \text{if } x = y = 0, \end{cases}$$ | |
− | + | is continuous at all points of the plane and has partial derivatives everywhere but it is not differentiable at $(0, 0)$. | |
− | is continuous at all points of the plane and has partial derivatives everywhere but it is not differentiable at | ||
====Comments==== | ====Comments==== | ||
− | S. Banach proved that "most" continuous functions are nowhere differentiable. Specifically, he showed that if | + | S. Banach proved that "most" continuous functions are nowhere differentiable. Specifically, he showed that if $C$ denotes the space of all continuous real-valued functions on the unit interval $[0, 1]$, equipped with the uniform metric (sup norm), then the set of members of $C$ that have a finite right-hand derivative at some point of $[0, 1)$ is of the first Baire category (cf. |
+ | [[Baire classes|Baire classes]]) in the complete metric space $C$. Proof of this fact and of the nowhere differentiability of Weierstrass' example cited above can be found in | ||
+ | [[#References|[a1]]]. A proof that van der Waerden's example has the stated properties can be found in | ||
+ | [[#References|[a2]]]. | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> E. Hewitt, K.R. Stromberg, "Real and abstract analysis" , Springer (1965)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> K.R. Stromberg, "Introduction to classical real analysis" , Wadsworth (1981)</TD></TR></table> | + | <table><TR><TD valign="top">[a1]</TD> |
+ | <TD valign="top"> E. Hewitt, K.R. Stromberg, "Real and abstract analysis" , Springer (1965)</TD> | ||
+ | </TR><TR><TD valign="top">[a2]</TD> | ||
+ | <TD valign="top"> K.R. Stromberg, "Introduction to classical real analysis" , Wadsworth (1981)</TD> | ||
+ | </TR></table> |
Latest revision as of 03:45, 8 August 2018
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 $f(x) = |x|$ is not differentiable at $x=0$, 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 $f(x) = x \sin(1/x)$ if $x \ne 0$ and $f(0) = 0$ is not only non-differentiable at $x=0$, 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
$$f(x) = \sum_{n=0}^\infty a^n \cos(b^n \pi x),$$ where $0 < a < 1$, $b$ is an odd natural number and $ab > 1 + 3\pi / 2$. A simpler example, based on the same idea, in which $\cos \omega x$ is replaced by a simpler periodic function — a polygonal line — was constructed by B.L. van der Waerden. Let $u_0(x)$ be the function defined for real $x$ as the absolute value of the difference between $x$ and the nearest integer. This function is linear on every interval $[n/2, (n+1)/2]$, where $n$ is an integer; it is continuous and periodic with period 1. Let
$$u_k(x) = \frac{u_0(4^k x)}{4^k}, \quad k=1, 2, \ldots, $$ then van der Waerden's function is defined by
$$f(x) = \sum_{k=0}^\infty u_k(x).$$ 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
$$f(x, y) = \begin{cases} \dfrac{x^2 y}{x^2 + y^2} & \text{if } x^2 + y^2 > 0, \\ 0 & \text{if } x = y = 0, \end{cases}$$ is continuous at all points of the plane and has partial derivatives everywhere but it is not differentiable at $(0, 0)$.
Comments
S. Banach proved that "most" continuous functions are nowhere differentiable. Specifically, he showed that if $C$ denotes the space of all continuous real-valued functions on the unit interval $[0, 1]$, equipped with the uniform metric (sup norm), then the set of members of $C$ that have a finite right-hand derivative at some point of $[0, 1)$ is of the first Baire category (cf. Baire classes) in the complete metric space $C$. 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