Total derivative - Alchetron, The Free Social Encyclopedia

In the mathematical field of differential calculus, a total derivative or full derivative of a function f of several variables, e.g., t , x , y , etc., with respect to an exogenous argument, e.g., t , is the limiting ratio of the change in the function's value to the change in the exogenous argument's value (for arbitrarily small changes), taking into account the exogenous argument's direct effect as well as its indirect effects via the other arguments of the function.

The total derivative of a function is different from its corresponding partial derivative ( ∂ ). Calculation of the total derivative of f with respect to t does not assume that the other arguments are constant while t varies; instead, it allows the other arguments to depend on t . The total derivative adds in these indirect dependencies to find the overall dependency of f on t . For example, the total derivative of f ( t , x , y ) with respect to t is

d ⁡ f d ⁡ t = ∂ f ∂ t d ⁡ t d ⁡ t + ∂ f ∂ x d ⁡ x d ⁡ t + ∂ f ∂ y d ⁡ y d ⁡ t

which simplifies to

d ⁡ f d ⁡ t = ∂ f ∂ t + ∂ f ∂ x d ⁡ x d ⁡ t + ∂ f ∂ y d ⁡ y d ⁡ t .

Consider multiplying both sides of the equation by the differential d ⁡ t :

d ⁡ f = ∂ f ∂ t d ⁡ t + ∂ f ∂ x d ⁡ x + ∂ f ∂ y d ⁡ y .

The result is the differential change d ⁡ f in, or total differential of, the function f . Because f depends on t , some of that change will be due to the partial derivative of f with respect to t . However, some of that change will also be due to the partial derivatives of f with respect to the variables x and y . So, the differential d ⁡ t is applied to the total derivatives of x and y to find differentials d ⁡ x and d ⁡ y , which can then be used to find the contribution to d ⁡ f .

"Total derivative" is sometimes also used as a synonym for the material derivative, D u D t , in fluid mechanics.

Differentiation with indirect dependencies

Suppose that f is a function of two variables, x and y. Normally these variables are assumed to be independent. However, in some situations they may be dependent on each other. For example y could be a function of x, constraining the domain of f to a curve in R 2 . In this case the partial derivative of f with respect to x does not give the true rate of change of f with respect to changing x because changing x necessarily changes y. The total derivative takes such dependencies into account.

For example, suppose

f ( x , y ) = x y .

The rate of change of f with respect to x is usually the partial derivative of f with respect to x; in this case,

∂ f ∂ x = y .

However, if y depends on x, the partial derivative does not give the true rate of change of f as x changes because it holds y fixed.

Suppose we are constrained to the line

y = x ;

then

f ( x , y ) = f ( x , x ) = x 2 .

In that case, the total derivative of f with respect to x is

d f d x = 2 x .

Instead of immediately substituting for y in terms of x, this can be found equivalently using the chain rule:

d f d x = ∂ f ∂ x + ∂ f ∂ y d y d x = y + x ⋅ 1 = x + y = 2 x .

Notice that this is not equal to the partial derivative:

d f d x = 2 x ≠ ∂ f ∂ x = y = x .

While one can often perform substitutions to eliminate indirect dependencies, the chain rule provides for a more efficient and general technique. Suppose M(t, p₁, ..., p_n) is a function of time t and n variables p i which themselves depend on time. Then, the total time derivative of M is

d ⁡ M d ⁡ t = d d ⁡ t M ( t , p 1 ( t ) , … , p n ( t ) ) .

The chain rule for differentiating a function of several variables implies that

d ⁡ M d ⁡ t = ∂ M ∂ t + ∑ i = 1 n ∂ M ∂ p i d ⁡ p i d ⁡ t = ( ∂ ∂ t + ∑ i = 1 n d ⁡ p i d ⁡ t ∂ ∂ p i ) ( M ) .

This expression is often used in physics for a gauge transformation of the Lagrangian, as two Lagrangians that differ only by the total time derivative of a function of time and the n generalized coordinates lead to the same equations of motion. An interesting example concerns the resolution of causality concerning the Wheeler–Feynman time-symmetric theory. The operator in brackets (in the final expression) is also called the total derivative operator (with respect to t).

For example, the total derivative of f(x(t), y(t)) is

d ⁡ f d ⁡ t = ∂ f ∂ x d ⁡ x d ⁡ t + ∂ f ∂ y d ⁡ y d ⁡ t .

Here there is no ∂f / ∂t term since f itself does not depend on the independent variable t directly.

The total derivative via differentials

Differentials provide a simple way to understand the total derivative. For instance, suppose M ( t , p 1 , … , p n ) is a function of time t and n variables p i as in the previous section. Then, the differential of M is

d ⁡ M = ∂ M ∂ t d ⁡ t + ∑ i = 1 n ∂ M ∂ p i d ⁡ p i .

This expression is often interpreted heuristically as a relation between infinitesimals. However, if the variables t and p i are interpreted as functions, and M ( t , p 1 , … , p n ) is interpreted to mean the composite of M with these functions, then the above expression makes perfect sense as an equality of differential 1-forms, and is immediate from the chain rule for the exterior derivative. The advantage of this point of view is that it takes into account arbitrary dependencies between the variables. For example, if p 1 2 = p 2 p 3 then 2 p 1 d ⁡ p 1 = p 3 d ⁡ p 2 + p 2 d ⁡ p 3 . In particular, if the variables p i are all functions of t, as in the previous section, then

d ⁡ M = ∂ M ∂ t d ⁡ t + ∑ i = 1 n ∂ M ∂ p i ∂ p i ∂ t d ⁡ t .

Dividing through by dt gives the total derivative dM / dt.

The total derivative as a linear map

Let U ⊆ R n be an open subset. Then a function f : U → R m is said to be (totally) differentiable at a point p ∈ U , if there exists a linear map d ⁡ f p : R n → R m (also denoted D_pf or Df(p)) such that

lim x → p ∥ f ( x ) − f ( p ) − d ⁡ f p ( x − p ) ∥ ∥ x − p ∥ = 0.

The linear map d ⁡ f p is called the (total) derivative or (total) differential of f at p . A function is (totally) differentiable if its total derivative exists at every point in its domain.

Note that f is differentiable if and only if each of its components f i : U → R is differentiable. For this it is necessary, but not sufficient, that the partial derivatives of each function f_j exist. However, if these partial derivatives exist and are continuous, then f is differentiable and its differential at any point is the linear map determined by the Jacobian matrix of partial derivatives at that point.

Total differential equation

A total differential equation is a differential equation expressed in terms of total derivatives. Since the exterior derivative is a natural operator, in a sense that can be given a technical meaning, such equations are intrinsic and geometric.

Application to equation systems

In economics, it is common for the total derivative to arise in the context of a system of equations. For example, a simple supply-demand system might specify the quantity q of a product demanded as a function D of its price p and consumers' income I, the latter being an exogenous variable, and might specify the quantity supplied by producers as a function S of its price and two exogenous resource cost variables r and w. The resulting system of equations,

q = D ( p , I ) , q = S ( p , r , w ) ,

determines the market equilibrium values of the variables p and q. The total derivative of, for example, p with respect to r, d p d r , gives the sign and magnitude of the reaction of the market price to the exogenous variable r. In the indicated system, there are a total of six possible total derivatives, also known in this context as comparative static derivatives: dp/dr, dp/dw, dp/dI, dq/dr, dq/dw, and dq/dI. The total derivatives are found by totally differentiating the system of equations, dividing through by, say dr, treating dq/dr and dp/dr as the unknowns, setting dI=dw=0, and solving the two totally differentiated equations simultaneously, typically by using Cramer's rule.

References

Total derivative Wikipedia

(Text) CC BY-SA