View source for Differentiable function

{{short description|Mathematical function whose derivative exists}}
[[File:Polynomialdeg3.svg|thumb|right|A differentiable function]]
In [[Mathematics|mathematics]], a '''differentiable function''' of one [[Real number|real]] variable is a [[Function (mathematics)|function]] whose [[Derivative|derivative]] exists at each point in its [[Domain of a function|domain]]. In other words, the [[Graph of a function|graph]] of a differentiable function has a non-[[Vertical tangent|vertical]] tangent line at each interior point in its domain. A differentiable function is smooth (the function is locally well approximated as a [[Linear function|linear function]] at each interior point) and does not contain any break, angle<!--Please, do not link to [[Angle|angle]] as this is the common language meaning. A link to [[Curvilinear angle|curvilinear angle]] would be possible if (or when) such an article would (or will) exist. -->, or [[Cusp (singularity)|cusp]].

If {{math|''x''<sub>0</sub>}} is an interior point in the domain of a function {{mvar|f}}, then {{mvar|f}} is said to be ''differentiable at'' {{math|''x''<sub>0</sub>}} if the derivative <math>f'(x_0)</math> exists. In other words, the graph of {{mvar|f}} has a non-vertical tangent line at the point {{math|(''x''<sub>0</sub>, ''f''(''x''<sub>0</sub>))}}. {{mvar|f}} is said to be differentiable on {{mvar|U}} if it is differentiable at every point of {{mvar|U}}. {{mvar|f}} is said to be ''continuously differentiable'' if its derivative is also a continuous function over the domain of the function <math display="inline">f</math>. Generally speaking, {{mvar|f}} is said to be of class {{em|<math>C^k</math>}} if its first <math>k</math> derivatives <math display="inline">f^{\prime}(x), f^{\prime\prime}(x), \ldots, f^{(k)}(x)</math> exist and are continuous over the domain of the function <math display="inline">f</math>.

For a multivariable function, as shown here, the differentiability of it is something more than the existence of the partial derivatives of it.

==Differentiability of real functions of one variable==

A function <math>f:U\to\mathbb{R}</math>, defined on an open set <math display="inline">U\subset\mathbb{R}</math>, is said to be ''differentiable'' at <math>a\in U</math> if the derivative
:<math>f'(a)=\lim_{h\to0}\frac{f(a+h)-f(a)}{h}</math> 
exists. This implies that the function is [[Continuous function|continuous]] at {{mvar|a}}.

This function {{mvar|f}} is said to be ''differentiable'' on {{mvar|U}} if it is differentiable at every point of {{mvar|U}}. In this case, the derivative of {{mvar|f}} is thus a function from {{mvar|U}} into <math>\mathbb R.</math> 

A continuous function is not necessarily differentiable, but a differentiable function is necessarily [[Continuous function|continuous]] (at every point where it is differentiable) as being shown below (in the section [[Differentiable function#Differentiability and continuity|Differentiability and continuity]]). A function is said to be ''continuously differentiable'' if its derivative is also a continuous function; there exist functions that are differentiable but not continuously differentiable (an example is given in the section [[Differentiable function#Differentiability classes|Differentiability classes]]).

==Differentiability and continuity==
[[File:Absolute value.svg|left|thumb|The [[Absolute value|absolute value]] function is continuous (i.e. it has no gaps). It is differentiable everywhere ''except'' at the point {{math|''x''}} = 0, where it makes a sharp turn as it crosses the {{math|''y''}}-axis.]]
[[File:Cusp at (0,0.5).svg|thumb|right|A [[Cusp (singularity)|cusp]] on the graph of a continuous function. At zero, the function is continuous but not differentiable.]]
If {{math|''f''}} is differentiable at a point {{math|''x''<sub>0</sub>}}, then {{math|''f''}} must also be [[Continuous function|continuous]] at {{math|''x''<sub>0</sub>}}.  In particular, any differentiable function must be continuous at every point in its domain. ''The converse does not hold'': a continuous function need not be differentiable. For example, a function with a bend, [[Cusp (singularity)|cusp]], or [[Vertical tangent|vertical tangent]] may be continuous, but fails to be differentiable at the location of the anomaly.

Most functions that occur in practice have derivatives at all points or at [[Almost everywhere|almost every]] point. However, a result of [[Biography:Stefan Banach|Stefan Banach]] states that the set of functions that have a derivative at some point is a [[Meagre set|meagre set]] in the space of all continuous functions.<ref>{{cite journal |last=Banach |first=S. |title=Über die Baire'sche Kategorie gewisser Funktionenmengen |journal=[[Studia Mathematica|Studia Math.]] |volume=3 |issue=1 |year=1931 |pages=174–179 |doi=10.4064/sm-3-1-174-179 |doi-access=free }}.  Cited by {{cite book|author1=Hewitt, E  |author2=Stromberg, K|title=Real and abstract analysis|publisher=Springer-Verlag|year=1963|pages=Theorem 17.8|no-pp=true}}</ref> Informally, this means that differentiable functions are very atypical among continuous functions. The first known example of a function that is continuous everywhere but differentiable nowhere is the [[Weierstrass function]].
{{-}}

== Differentiability classes ==
[[File:Approximation of cos with linear functions without numbers.svg|300px|thumb|Differentiable functions can be locally approximated by linear functions.]]
[[File:The function x^2*sin(1 over x).svg|thumb|300px|The function <math>f : \R \to \R</math> with <math>f(x) = x^2\sin\left(\tfrac 1x\right)</math> for <math>x \neq 0</math> and <math>f(0) = 0</math> is differentiable. However, this function is not continuously differentiable.]]
{{main|Smoothness}}
A function <math display="inline">f</math> is said to be {{em|{{visible anchor|continuously differentiable|Continuous differentiability}}}} if the derivative <math display="inline">f^{\prime}(x)</math> exists and is itself a continuous function. Although the derivative of a differentiable function never has a jump discontinuity, it is possible for the derivative to have an [[Classification of discontinuities#Essential discontinuity|essential discontinuity]]. For example, the function
<math display="block">f(x) \;=\; \begin{cases} x^2 \sin(1/x) & \text{ if }x \neq 0 \\ 0 & \text{ if } x = 0\end{cases}</math>
is differentiable at 0, since
<math display="block">f'(0) = \lim_{\varepsilon \to 0} \left(\frac{\varepsilon^2\sin(1/\varepsilon)-0}{\varepsilon}\right) = 0</math>
exists. However, for <math>x \neq 0,</math> [[Differentiation rules|differentiation rules]] imply
<math display="block">f'(x) = 2x\sin(1/x) - \cos(1/x)\;,</math>
which has no limit as <math>x \to 0.</math> Thus, this example shows the existence of a function that is differentiable but not continuously differentiable (i.e., the derivative is not a continuous function). Nevertheless, [[Darboux's theorem (analysis)|Darboux's theorem]] implies that the derivative of any function satisfies the conclusion of the [[Intermediate value theorem|intermediate value theorem]].

Similarly to how [[Continuous function|continuous function]]s are said to be of {{em|class <math>C^0,</math>}} continuously differentiable functions are sometimes said to be of {{em|class <math>C^1</math>}}. A function is of {{em|class <math>C^2</math>}} if the first and [[Second derivative|second derivative]] of the function both exist and are continuous. More generally, a function is said to be of {{em|class <math>C^k</math>}} if the first <math>k</math> derivatives <math display="inline">f^{\prime}(x), f^{\prime\prime}(x), \ldots, f^{(k)}(x)</math> all exist and are continuous. If derivatives <math>f^{(n)}</math> exist for all positive integers <math display="inline">n,</math> the function is smooth or equivalently, of {{em|class <math>C^{\infty}.</math>}}
{{-}}

==Differentiability in higher dimensions==

A [[Function of several real variables|function of several real variables]] {{math|'''f''': '''R'''<sup>''m''</sup> → '''R'''<sup>''n''</sup>}} is said to be differentiable at a point {{math|'''x'''<sub>0</sub>}} if there exists a [[Linear map|linear map]] {{math|'''J''': '''R'''<sup>''m''</sup> → '''R'''<sup>''n''</sup>}} such that
:<math>\lim_{\mathbf{h}\to \mathbf{0}} \frac{\|\mathbf{f}(\mathbf{x_0}+\mathbf{h}) - \mathbf{f}(\mathbf{x_0}) - \mathbf{J}\mathbf{(h)}\|_{\mathbf{R}^{n}}}{\| \mathbf{h} \|_{\mathbf{R}^{m}}} = 0.</math>

If a function is differentiable at {{math|'''x'''<sub>0</sub>}}, then all of the [[Partial derivative|partial derivative]]s exist at {{math|'''x'''<sub>0</sub>}}, and the linear map {{math|'''J'''}} is given by the Jacobian matrix, an ''n'' × ''m'' matrix in this case. A similar formulation of the higher-dimensional derivative is provided by the [[Fundamental increment lemma|fundamental increment lemma]] found in single-variable calculus.

If all the partial derivatives of a function exist in a [[Neighbourhood (mathematics)|neighborhood]] of a point {{math|'''x'''<sub>0</sub>}} and are continuous at the point {{math|'''x'''<sub>0</sub>}}, then the function is differentiable at that point {{math|'''x'''<sub>0</sub>}}.

However, the existence of the partial derivatives (or even of all the [[Directional derivative|directional derivative]]s) does not guarantee that a function is differentiable at a point. For example, the function {{math|''f'': '''R'''<sup>2</sup> → '''R'''}} defined by

:<math display="block">f(x,y) = \begin{cases}x & \text{if }y \ne x^2 \\ 0 & \text{if }y = x^2\end{cases}</math>

is not differentiable at {{math|(0, 0)}}, but all of the partial derivatives and directional derivatives exist at this point. For a continuous example, the function

:<math>f(x,y) = \begin{cases}y^3/(x^2+y^2) & \text{if }(x,y) \ne (0,0) \\ 0 & \text{if }(x,y) = (0,0)\end{cases}</math>

is not differentiable at {{math|(0, 0)}}, but again all of the partial derivatives and directional derivatives exist.


==Differentiability in complex analysis==
{{main|Holomorphic function}}
In [[Complex analysis|complex analysis]], complex-differentiability is defined using the same definition as single-variable real functions. This is allowed by the possibility of dividing [[Complex number|complex number]]s. So, a function <math display="inline">f:\mathbb{C}\to\mathbb{C}</math> is said to be differentiable at <math display="inline">x=a</math> when

:<math>f'(a)=\lim_{\underset{h\in\mathbb C}{h\to 0}}\frac{f(a+h)-f(a)}{h}.</math>

Although this definition looks similar to the differentiability of single-variable real functions, it is however a more restrictive condition. A function <math display="inline">f:\mathbb{C}\to\mathbb{C}</math>, that is complex-differentiable at a point <math display="inline">x=a</math> is automatically differentiable at that point, when viewed as a function <math>f:\mathbb{R}^2\to\mathbb{R}^2</math>. This is because the complex-differentiability implies that

:<math>\lim_{\underset{h\in\mathbb C}{h\to 0}}\frac{|f(a+h)-f(a)-f'(a)h|}{|h|}=0.</math>

However, a function <math display="inline">f:\mathbb{C}\to\mathbb{C}</math> can be differentiable as a multi-variable function, while not being complex-differentiable. For example, <math>f(z)=\frac{z+\overline{z}}{2}</math> is differentiable at every point, viewed as the 2-variable [[Real-valued function|real function]] <math>f(x,y)=x</math>, but it is not complex-differentiable at any point because the limit <math display="inline">\lim_{h\to 0}\frac{h+\bar h}{2h}</math> does not exist (e.g., it depends on the angle of approach).

Any function that is complex-differentiable in a neighborhood of a point is called [[Holomorphic function|holomorphic]] at that point. Such a function is necessarily infinitely differentiable, and in fact [[Analytic function|analytic]].

==Differentiable functions on manifolds==
If ''M'' is a [[Differentiable manifold|differentiable manifold]], a real or complex-valued function ''f'' on ''M'' is said to be differentiable at a point ''p'' if it is differentiable with respect to some (or any) coordinate chart defined around ''p''. If ''M'' and ''N'' are differentiable manifolds, a function ''f'':&nbsp;''M''&nbsp;→&nbsp;''N'' is said to be differentiable at a point ''p'' if it is differentiable with respect to some (or any) coordinate charts defined around ''p'' and ''f''(''p'').

==See also==
* [[Generalizations of the derivative]]
* [[Semi-differentiability]]
* [[Differentiable programming]]

==References==
{{reflist}}

{{Differentiable computing}}

[[Category:Differential calculus]]
[[Category:Multivariable calculus]]
[[Category:Smooth functions]]

{{Sourceattribution|Differentiable function}}