Total derivative

In mathematics (more precisely in differential calculus), the term total derivative has a number of closely related meanings.

• The total derivative of a function (f) of several input variables (t,x,y etc), with respect to one of its input variables (t), is different from the partial derivative. Calculation of the total derivative does not assume that x and y (etc) can hold constant while t varies: instead, it allows for x and y (etc) to have a dependency on t. The total derivative adds in these indirect dependencies to get the overall dependency of f on t. For example, the total derivative of f(t,x,y) with respect to t is

Failed to parse (Missing texvc executable; please see math/README to configure.): \frac{\operatorname df}{\operatorname dt}=\frac{\partial f}{\partial t} + \frac{\partial f}{\partial x} \frac{\operatorname dx}{\operatorname dt} + \frac{\partial f}{\partial y} \frac{\operatorname dy}{\operatorname dt}.

Consider multiplying both sides of the equation by the differential Failed to parse (Missing texvc executable; please see math/README to configure.): \operatorname dt

. The result will be the differential change Failed to parse (Missing texvc executable; please see math/README to configure.): \operatorname df

in the function Failed to parse (Missing texvc executable; please see math/README to configure.): f

. Because Failed to parse (Missing texvc executable; please see math/README to configure.): f

depends on Failed to parse (Missing texvc executable; please see math/README to configure.): t

, some of that change will be due to the partial derivative of Failed to parse (Missing texvc executable; please see math/README to configure.): f

with respect to Failed to parse (Missing texvc executable; please see math/README to configure.): t

. However, some of that change will also be due to the partial derivatives of Failed to parse (Missing texvc executable; please see math/README to configure.): f

with respect to the variables Failed to parse (Missing texvc executable; please see math/README to configure.): x
and Failed to parse (Missing texvc executable; please see math/README to configure.): y

. So, the differential Failed to parse (Missing texvc executable; please see math/README to configure.): \operatorname dt

is applied to the total derivatives of Failed to parse (Missing texvc executable; please see math/README to configure.): x
and Failed to parse (Missing texvc executable; please see math/README to configure.): y
to find differentials Failed to parse (Missing texvc executable; please see math/README to configure.): \operatorname dx
and Failed to parse (Missing texvc executable; please see math/README to configure.): \operatorname dy

, which can then be used to find the contribution to Failed to parse (Missing texvc executable; please see math/README to configure.): \operatorname df .

• It refers to a differential operator such as

Failed to parse (Missing texvc executable; please see math/README to configure.): \frac{\operatorname d}{\operatorname dx}= \frac{\partial }{\partial x}+\sum_{j=1}^k \frac{\operatorname dy_j}{\operatorname dx}\frac{\partial }{\partial y_j},

which computes the total derivative of a function (with respect to x in this case).

• It refers to the (total) differential df of a function, either in the traditional language of infinitesimals or the modern language of differential forms.

• A differential of the form

Failed to parse (Missing texvc executable; please see math/README to configure.): \sum_{j=1}^k f_j(x_1,\ldots x_k) \operatorname d{x_j}

is called a total differential or an exact differential if it is the differential of a function. Again this can be interpreted infinitesimally, or by using differential forms and the exterior derivative.

• It is another name for the derivative as a linear map, i.e., if f is a differentiable function from Rⁿ to R^m, then the (total) derivative (or differential) of f at x∈Rⁿ is the linear map from Rⁿ to R^m whose matrix is the Jacobian matrix of f at x.

• It is a synonym for the gradient, which is essentially the derivative of a function from Rⁿ to R.

Differentiation with indirect dependencies

Suppose that f is a function of three variables x, y, and z. Normally these variables are assumed to be independent. However, in some situations they may be dependent on each other. For example, y and z could be functions of x. 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 x, because it does not take into account the dependency of y and z on x. The total derivative is a way of taking such dependencies into account.

For example, suppose f (x, y, z) = xyz. The rate of change of f with respect to x is normally determined by taking the partial derivative of f with respect to x, which is, in this case, ∂f / ∂x = yz. However, if y and z are not truly independent but depend on x as well this does not give the right answer. For a really simple example, suppose y and z are both equal to x. Then f=xyz=x³ and so the (total) derivative of f with respect to x is df / dx = 3x². Notice that this is not equal to the partial derivative yz=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 Failed to parse (Missing texvc executable; please see math/README to configure.): p_i

which themselves depend on time. Then, the total time derivative of M is 

Failed to parse (Missing texvc executable; please see math/README to configure.): {\operatorname{d}M \over \operatorname{d}t} = \frac{\operatorname d}{\operatorname d t} M \bigl(t, p_1(t), \ldots, p_n(t)\bigr).

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

Failed to parse (Missing texvc executable; please see math/README to configure.): {\operatorname{d}M \over \operatorname{d}t} = \frac{\partial M}{\partial t} + \sum_{i=1}^n \frac{\partial M}{\partial p_i}\frac{\operatorname{d}p_i}{\operatorname{d}t} = \biggl(\frac{\partial}{\partial t} + \sum_{i=1}^n \frac{\operatorname{d}p_i}{\operatorname{d}t}\frac{\partial}{\partial p_i}\biggr)(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. 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

Failed to parse (Missing texvc executable; please see math/README to configure.): \frac{\operatorname df}{\operatorname dt} = { \partial f \over \partial x}{\operatorname dx \over \operatorname dt }+{ \partial f \over \partial y}{\operatorname dy \over \operatorname dt }.

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 Failed to parse (Missing texvc executable; please see math/README to configure.): M(t,p_1,\dots,p_n)

is a function of time t and n variables Failed to parse (Missing texvc executable; please see math/README to configure.): p_i
as in the previous section. Then, the differential of M is

Failed to parse (Missing texvc executable; please see math/README to configure.): \operatorname d M = \frac{\partial M}{\partial t} \operatorname d t + \sum_{i=1}^n \frac{\partial M}{\partial p_i}\operatorname{d}p_i.

This expression is often interpreted heuristically as a relation between infinitesimals. However, if the variables t and p_j are interpreted as functions, and Failed to parse (Missing texvc executable; please see math/README to configure.): M(t,p_1,\dots,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 Failed to parse (Missing texvc executable; please see math/README to configure.): p_1^2=p_2 p_3
then Failed to parse (Missing texvc executable; please see math/README to configure.): 2p_1\operatorname dp_1=p_3 \operatorname d p_2+p_2\operatorname d p_3

. In particular, if the variables p_j are all functions of t, as in the previous section, then

Failed to parse (Missing texvc executable; please see math/README to configure.): \operatorname d M = \frac{\partial M}{\partial t} \operatorname d t + \sum_{i=1}^n \frac{\partial M}{\partial p_i}\frac{\partial p_i}{\partial t}\,\operatorname d t.

The total derivative as a linear map

Let Failed to parse (Missing texvc executable; please see math/README to configure.): U\subseteq \mathbb{R}^{n}

be an open subset. Then a function Failed to parse (Missing texvc executable; please see math/README to configure.): f:U\rightarrow \mathbb{R}^m
is said to be (totally) differentiable at a point Failed to parse (Missing texvc executable; please see math/README to configure.): p\in U

, if there exists a linear map Failed to parse (Missing texvc executable; please see math/README to configure.): \operatorname df_p:\mathbb{R}^n \rightarrow \mathbb{R}^m

(also denoted Dpf or Df(p)) such that 

Failed to parse (Missing texvc executable; please see math/README to configure.): \lim_{x\rightarrow p}\frac{\|f(x)-f(p)-\operatorname df_p(x-p)\|}{\|x-p\|}=0.

The linear map Failed to parse (Missing texvc executable; please see math/README to configure.): \operatorname d f_p

is called the (total) derivative or (total) differential of Failed to parse (Missing texvc executable; please see math/README to configure.): f
at Failed to parse (Missing texvc executable; please see math/README to configure.): 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 Failed to parse (Missing texvc executable; please see math/README to configure.): f_i:U\rightarrow \mathbb{R}

is differentiable. For this it is necessary, but not sufficient, that the partial derivatives of each function fj 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

Main article: 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 of the total differential to error estimation

In measurement, the total differential is used in estimating the error Δf of a function f based on the errors Δx, Δy, ... of the parameters x, y, .... Assuming that

Δf(x) = f'(x) × Δx

and that all variables are independent, then for all variables,

Δf = f_x Δx+ f_y Δy +...

This is because the derivative f_x with respect to the particular parameter x gives the sensitivity of the function f to a change in x, in particular the error Δx. As they are assumed to be independent, the analysis describes the worst-case scenario. The absolute values of the component errors are used, because after simple computation, the derivative may have a negative sign. From this principle the error rules of summation, multiplication etc. are derived, e.g.:

Let f(a, b) = a × b;

Δf = f_aΔa + f_bΔb; evaluating the derivatives

Δf = bΔa + aΔb; dividing by f, which is a × b

Δf/f = Δa/a + Δb/b

That is to say, in multiplication, the total relative error is the sum of the relative errors of the parameters.

Bibliography

• A. D. Polyanin and V. F. Zaitsev, Handbook of Exact Solutions for Ordinary Differential Equations (2nd edition), Chapman & Hall/CRC Press, Boca Raton, 2003. ISBN 1-58488-297-2

• From thesaurus.maths.org total derivative

cs:Totální derivace de:Totales Differential es:Diferencial total id:Diferensial total it:Derivata totale ru:Полная производная функции