Differentiability in Higher Dimensions
See also: Multivariable calculusA function f: Rm → Rn is said to be differentiable at a point x0 if there exists a linear map J: Rm → Rn such that
If a function is differentiable at x0, then all of the partial derivatives must exist at x0, in which case the linear map J is given by the Jacobian matrix. A similar formulation of the higher-dimensional derivative is provided by the fundamental increment lemma found in single-variable calculus.
Note that existence of the partial derivatives (or even all of the directional derivatives) does not guarantee that a function is differentiable at a point. For example, the function ƒ: R2 → R defined by
is not differentiable at (0, 0), but all of the partial derivatives and directional derivatives exist at this point. For a continuous example, the function
is not differentiable at (0, 0), but again all of the partial derivatives and directional derivatives exist.
It is known that if the partial derivatives of a function all exist and are continuous in a neighborhood of a point, then the function must be differentiable at that point, and is in fact of class C1.
Read more about this topic: Differentiable Function
Famous quotes containing the words higher and/or dimensions:
“For the most part we think that there are few degrees of sublimity, and that the highest is but little higher than that which we now behold; but we are always deceived. Sublimer visions appear, and the former pale and fade away.”
—Henry David Thoreau (1817–1862)
“It seems to me that we do not know nearly enough about ourselves; that we do not often enough wonder if our lives, or some events and times in our lives, may not be analogues or metaphors or echoes of evolvements and happenings going on in other people?—or animals?—even forests or oceans or rocks?—in this world of ours or, even, in worlds or dimensions elsewhere.”
—Doris Lessing (b. 1919)