| Derivative (generalizations) |
Article Index for Derivative |
Information AboutDerivative (generalizations) |
|
MULTIVARIABLE CALCULUS The derivative is often met for the first time as an operation on a single real function of a single real variable. One of the simplest settings for generalizations is to vector valued functions of several variables (most often the domain forms a vector space as well). This is the field of Multivariable Calculus . One view of the derivative is that it specifies the best linear approximation to a function at a given point. Generalizing to functions from R''n'' to R''m'' yields the idea of the ''' Total Derivative ''', the best linear transformation approximating the function. Such a transformation is often represented by an ''n'' by ''m'' matrix, known as the ''' Jacobian ''' matrix. Each entry of this matrix represents a ''' Partial Derivative ''', specifying the rate of change of one range coordinate with respect to a change in a domain coordinate. For real valued functions from Rn to R, the total derivative is often called the '''s''' of Scalar functions or normal directions. Several linear combinations of partial derivatives are especially useful in the context of differential equations defined by a vector valued function R''n'' to R''n''. The ''' Divergence ''' gives a measure of how much "source" or "sink" near a point there is. It can be used to calculate Flux by Divergence Theorem . The ''' Curl ''' measures how much " Rotation " a vector field has near a point. The Convective Derivative takes into account changes due to time dependence and motion through space along vector field. CONVEX ANALYSIS The Subderivative and Subgradient are generalizations of the derivative to Convex Function s. DERIVATIVES OF NON-UNITARY ORDER Another simple generalization one can make to the derivative is to simply apply it more than once, obtaining second order derivative (and higher), as defined in the article on derivatives. This notion can be generalized. In addition to ''n''-th derivatives for any Natural Number ''n'', using various methods, one can take derivatives to fractional or negative powers. The -1 order derivative will then correspond to the integral, whence the term Differintegral . The study of different possible definitions and notions of derivatives to nonnatural numbered powers is known as ''' Fractional Calculus '''. In Multivariate Calculus , the second order derivative of a scalar function is given by the Hessian Matrix , which is the matrix of second order partial derivatives. It is used in finding Local Extrema , and also in Morse Theory . The Laplacian is a second-order Differential Operator given by the divergence of the gradient of a scalar function on '''R'''''n''. The definition of the ''' D'Alembertian ''' is similar to the Laplacian's, but it uses the indefinite Metric of Minkowski Space , instead of the Euclidean Dot Product of '''R'''''n''. ALGEBRA A Derivation is a linear map on a Ring or Algebra which satisfies the Leibniz law ( Product Rule ). They are studied in a purely algebraic setting in Differential Galois Theory , but also turn up in many other areas, where they often agree with less algebraic definitions of derivatives. In particular, the formal derivative of a Polynomial over a commutative ring ''R'' is defined by : The mapping is then a derivation on the Polynomial Ring ''R'' {Link without Title} . This definition can be extended to Rational Function s as well. DIFFERENTIAL TOPOLOGY In Differential Topology , a Vector Field may be defined as a derivation on the ring of Smooth Function s on a Manifold , and a ''' Tangent Vector ''' may be defined as a derivation at a point. This allows the abstraction of the notion of a Directional Derivative of a scalar function to general manifolds. For manifolds that are Subset s of '''R'''''n'', this tangent vector will agree with the directional derivative defined above. The Pushforward of a map between manifolds is the induced map between tangent spaces of those maps. It abstracts the Jacobian Matrix . On the Exterior Algebra of Differential Forms over a Smooth Manifold , the Exterior Derivative is the unique linear map which satisfies a Graded version of the Leibniz law and squares to zero. It is a grade 1 derivation on the exterior algebra. The Lie Derivative is the rate of change of a vector or tensor field along the flow of another vector field. On vector fields, it is an example of a Lie Bracket (vector fields form the Lie Algebra of the Diffeomorphism Group of the manifold). It is a grade 0 derivation on the algebra. The Inner Derivative is a grade –1 derivation on the exterior algebra of forms. Together, the exterior derivative, the Lie derivative, and the inner derivative span a Lie Superalgebra . DIFFERENTIAL GEOMETRY In Differential Geometry , the Covariant Derivative makes a choice for taking directional derivatives of vector fields along Curve s. This extends the directional derivative of scalar functions to sections of Vector Bundle s or Principal Bundle s. In Riemannian Geometry , the existence of a metric chooses a unique preferred Torsion -free covariant derivative, known as the Levi-Civita Connection . See also Gauge Covariant Derivative for a treatment oriented to physics. The Exterior Covariant Derivative extends the exterior derivative to vector valued forms. COMPLEX ANALYSIS In Complex Analysis , the central objects of study are Holomorphic Functions , which are complex-valued functions on the Complex Numbers satisfying a suitably extended definition of differentiability. The Schwarzian Derivative describes how a complex function is approximated by a Fractional-linear Map , in much the same way that a normal derivative describes how a function is approximated by a linear map. FUNCTIONAL ANALYSIS In Functional Analysis , the Functional Derivative defines the derivative with respect to a function of a functional on a space of functions. This is an extension of the directional derivative to an infinite Dimension al vector space. The Fréchet Derivative allows the extension of the directional derivative to a general Banach Space . The ''' Gâteaux Derivative ''' extends the concept to Locally Convex Topological Vector Space s. In Measure Theory , the Radon-Nikodym Derivative generalizes the Jacobian , used for changing variables, to measures. It expresses one measure μ in terms of another measure ν (under certain conditions). The derivative also admits a generalization to the space of Distributions on a space of functions using Integration By Parts against a suitably well-behaved subspace. On a Function Space , the Linear Operator which assigns to each function its derivative is an example of a Differential Operator . General differential operators include higher order derivatives. By means of the Fourier Transform , ''' Pseudo-differential Operator s''' can be defined which allow for fractional calculus. ALGEBRAIC GEOMETRY In Algebraic Geometry , the Kähler Differential allows the definition of the exterior derivative to be extended to arbitrary Algebraic Varieties , instead of just smooth manifolds. QUANTUM GROUPS In the area of Quantum Group s, the Q-derivative is a Q-deformation of the normal derivative of a function. OTHER GENERALIZATIONS It may be possible to combine two or more of the above different notions of extension or abstraction of the original derivative. For example, in Finsler Geometry , one studies spaces which look Locally like Banach Space s. Thus one might want a derivative with some of the features of a Functional Derivative and the Covariant Derivative . |
|
|