The total differential (also complete differential ) is an alternative term in the area of differential calculus for the differential of a function , especially for functions of several variables. For a given totally differentiable function one denotes the total differential, for example:
Here is an open subset of the real vector space or, more generally, a differentiable manifold . Different symbols are used to distinguish between total and partial differentials: a “non-italic d” for the total differential and an “italic d” ( ) for the partial derivatives . It should be noted that in the following, the total differentiability of the function is always assumed, and not just the existence of the partial derivatives represented in the above formula.
Traditionally, and still today often in the natural and economic sciences, a differential is understood to be infinitesimal differences. In today's mathematics, it is understood to mean differential forms (more precisely: 1-forms ). These can be understood either as purely formal expressions or as linear mappings. The differential of a function at the point is then the linear mapping ( linear form ), which assigns the directional derivative from at the point to the direction of to each vector . With this meaning, the (total) differential is also called total derivative . With this meaning, the term can also be generalized to mappings with values in , in another vector space or in a manifold.
Total differential in the simple case
For a function of two independent variables, the term total differential is understood to mean the expression
The term is called total differential because it contains all information about the derivative, while the partial derivatives only contain information about the derivative in the direction of the coordinate axes. The summands and are sometimes also called partial differentials .
Hanging and of a size from (for example, when the path of a point in the plane as a function of time describe) are so functions and added, then the derivation of the composite function
can be calculated as follows:
The derivatives of and can be written as and . Plug this into the above expression and get
or in the notation customary in physics
So formally the total differential is simply divided by. Mathematically, this is an application of the multidimensional chain rule (see below).
Different use of the terms partial and total derivative in physics
In mechanics, situations are typically dealt with in which the function does not only depend on the location coordinates and , but also on the time. As above, consider the case that and are the location coordinates of a moving point. In this situation the compound function depends
in two ways from time :
- Because even the first variable depends on. This time dependence is called explicit .
- Because the location coordinates and of depend. This time dependence is called implicit .
One speaks of the partial derivative of with respect to time when one means the partial derivative of the first function, that is
at fixed and . So here only the explicit time dependency is taken into account.
On the other hand, one speaks of the total derivative of with respect to time when one means the derivative of the composite function, i.e.
The two are related as follows:
So here the explicit and the implicit time dependency are taken into account.
An example of this from the Fluid Mechanics : With will the temperature at the time at the place designated. The partial derivative then describes the change in temperature over time at a fixed location . The change in temperature experienced by a particle moving with the flow also depends on the change in location. The total derivative of the temperature can then be described as above with the help of the total differential:
The total differential as a linear map
Real vector space
In the event that there is an open subset of the real vector space and a differentiable function from to , the total differential for each point is a linear mapping that assigns the directional derivative in the direction of this vector to each vector , i.e.
Since the total differential is a linear mapping , i.e. a linear form , it can be written in the following form
where is the linear form that assigns its -th component to a vector, i.e. ( dual basis ).
With the help of the gradient , the total differential can also be written as follows:
with the scalar product on the right side .
For the general case, the total differential for each point is a linear mapping that assigns the directional derivative in this direction to each tangential direction. If the tangential vector of a curve in with , then is
The total differential is thus an element of the cotangent space of at the point .
For a representation of in coordinates, consider a map of the surroundings of the point with . With the going standard basis of designated. The various curves represent a basis of the tangent space and means
one obtains the partial derivatives. Analogously to the real vector space then applies
where is the total differential of the function , i.e. the element from the cotangent space that is dual to the basis vector .
If one considers tangential vectors as derivatives , then the following applies .
Is a differentiable function, and is , a differentiable path (for example, the description of a moving point), then for the derivation of the concatenated feature:
The analogous statement applies to manifolds.
Differential and linear approximation
The derivation of a totally differentiable function in the point is a linear mapping (function) that the function
for small changes .
In modern mathematics, this function is called the (total) differential of at the point (see above). The terms “total differential” and “total derivative” are therefore synonymous. The representation
so is an equation between functions. The differentials are functions, namely the coordinate functions which the vector which th component assign: . The approximation property is thus written as
Differentials as small changes
In the traditional view, which is widespread in many natural sciences, the differentials stand for the small changes themselves. The total differential of then stands for the value of the linear mapping mentioned, and the approximation property is written as
Examples of this point of view are shown in the picture opposite and the picture above.
Every total differential is a -form, that is, has the following representation
the -form is said to be exact . In the calculus of differential forms , the Cartan derivative is described as the following form:
Is it actually a total differential of a function , i. H. applies
, so is
according to Schwarz's theorem .
The converse always applies locally: If the 1-form fulfills the condition , one says is closed , then at least in a neighborhood of every given point there exists an antiderivative of , i.e. i.e., a differentiable function such that is. It follows from Schwarz's theorem that every exact shape is closed.
The condition is therefore also called the integrability condition . In detail it reads:
- The following applies to all indices
- The following applies to all indices
which is also referred to as a generalized rotation condition with regard to physical applications .
In many cases there is even a global antiderivative and is actually a total differential. This is the case, for example, when the domain of definition of the differential form is Euclidean space , or more generally when it is star-shaped or simply connected .
The statement that every 1-form on a manifold that fulfills the integrability condition has an antiderivative (i.e. is a total differential) is equivalent to the fact that the first De Rham cohomology group is trivial.
Law of differential and integral calculus
Looking at and any form . Then, for dimensional reasons, the following always applies and the integrability condition that is valid for is fulfilled. Thus there is a function that satisfies the equation or . This is precisely the main theorem of differential and integral calculus for functions of one variable.
The total derivative for vector-valued functions can be defined quite analogously (in principle component-wise). As a generalization for pictures in a differentiable manifold obtained push forwards .
In functional analysis , the term total derivative can be generalized in an obvious way for Fréchet derivatives , in the calculus of variations for the so-called variation derivatives .
In addition to the exact differential, there are also inexact differentials .
- Robert Denk, Reinhard Racke: Compendium of Analysis, Volume 1, 1st Edition, 2011.
- Otto Forster: Analysis 2, 11th edition, 2017.
^ Lothar Papula : Mathematics for Engineers. Volume 2, 5th edition. 1990.
↑ Ilja N Bronstein, Konstantin A Semendjajew: Taschenbuch der Mathematik . 7. revised and additional edition. Harri Deutsch, Frankfurt 2008, ISBN 978-3-8171-2007-9