Derivative at a point: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Peter Schmitt
(derivative)
imported>Peter Schmitt
(clarification)
Line 12: Line 12:


'''Remark:''' The differential quotient of a function at a point is often called the [[derivative]] of the function at the point.
'''Remark:''' The differential quotient of a function at a point is often called the [[derivative]] of the function at the point.
But while the differential quotient is local to the point considered,  
But while the differential quotient is a value defined locally to the point considered,  
the derivative of the given function is also a global function evaluated at the point.
the derivative of the given function is also a global function that is evaluated at the point to obtain the differential quotient.


== Definition ==
== Definition ==

Revision as of 14:42, 21 January 2011

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

The differential quotient is a fundamental mathematical notion of calculus and analysis. Informally, a differential quotient shows the rate of change exhibited by a function at a particular point.

Probably the best known example of a differential quotient is velocity: While the mean velocity is obtained by dividing the distance travelled by the time needed, the velocity at a particular moment — as shown by a speedometer — is the differential quotient of the distance travelled (as function of the time needed) at that moment, i.e., for practical purposes, the mean velocity in a very short time interval or, in mathematical terms, the limit to that these mean velocities converge.

Remark: The differential quotient of a function at a point is often called the derivative of the function at the point. But while the differential quotient is a value defined locally to the point considered, the derivative of the given function is also a global function that is evaluated at the point to obtain the differential quotient.

Definition

In mathematics, the derivative of a function is a measure of how rapidly the function changes locally when its argument changes.

In order to define the derivative, a difference quotient is constructed. The derivative of the function f at a is the limit

as h approaches zero, if this limit exists. If the limit exists, then f is said to be differentiable at a. If a function is differentiable in all the points in which it is defined, then it is said to be differentiable.

If a function is differentiable in a point, it is also continuous in that point. The reverse is not true, which we shall soon see:

Example. Consider the function , (where is the absolute value of x). The function is continuous in the point 0, since when zero is approached from either side, the limit of the function is zero. We study the derivative in the point zero:

We see that this expression has the limit 1 when we approach zero from the right side, but the limit -1 when we approach from the left side. Hence, the function is not differentiable.

Some notational styles

These are all equivalent ways to denote the derivative of a function f in the point x.

Multivariable calculus

The extension of the concept of derivative to multivariable functions, or vector-valued functions of vector variables, may be achieved by considering the derivative as a linear approximation to a differentiable function. In the one variable case we can regard as a linear function of one variable which is a close approximation to the function at the point .

Let be a function of n variables. We say that F is differentiable at a point if there is a linear function such that

where denotes the Euclidean distance in .

The derivative , if it exists, is a linear map and hence may be represented by a matrix. The entries in the matrix are the partial derivatives of the component functions of Fj with respect to the coordinates xi. If F is differentiable at a point then the partial derivatives all exist at that point, but the converse does not hold in general.

Formal derivative

The derivative of the monomial Xn may be formally defined as and this extends to a linear map D on the polynomial ring over any ring R. Similarly we may define D on the ring of formal power series .

The map D is a derivation, that is, an R-linear map such that