The set of black (by Hermann Schwarz ; is also set of Clairaut called; or Young -Theorem ) is a set of the mathematics in the differential calculus of several variables. It says that in the case of multiple, continuously differentiable functions of several variables, the order in which the partial differentiations (derivatives) are carried out according to the individual variables is not decisive for the result.
In fact, he also derives the existence and the value of a further partial second derivative from the existence of the partial first derivatives, for example, and a partial second derivative.
Schwarz's theorem should not be confused with Schwarz's lemma .
If an open set as well as at least -times are partially differentiable and if all -th partial derivatives are at least still continuous , then -time is totally differentiable and in particular the order of the differentiation in all -th partial derivatives is irrelevant.
In particular for and is therefore true
The theorem already applies under slightly weaker conditions: It is sufficient that the first partial derivatives in the point under consideration are totally differentiable . To be precise, the following geometric formulation of the theorem also applies, for example: If and are Banach spaces over a commutative field or and is an open subset of on which a function is defined that is twice (totally) differentiable at the point , then is the second derivative of there, which by definition an element of , so a self-on is bilinear and continuous function, symmetrical: that is, for all true
If it breaks down into a finite, -fold product of Banach spaces , that is, if the norm of is compatible with the product topology, then the existence and symmetry of both the existence of the second partial derivatives with and for in the point , the elements by definition of are as well as their symmetry by interchanging the variables and arguments. That is, for everyone and applies
Notes: As is well known, the continuity of all 2nd partial derivatives follows . But this is not a prerequisite for the sentence. The classic formulation corresponds to the special case and , since all standards are equivalent to (and ), these are automatically compatible with the product topology, so that this requirement is then not applicable. The geometric formulation generalizes the classical to not necessarily finite-dimensional, real or complex Banach spaces and . Without their arguments and the given formula would be wrong in general, because and act on different spaces. So the Banach spaces and even if they are finite dimensional, could be of different dimensions. Since the multilinear mappings on products of Banach spaces (with the operator norm) themselves form Banach spaces again, the (complete) symmetry is transferred (by complete induction) to all higher derivatives, so that the arbitrary interchangeability of the partial derivatives in this sense up to and including the order of differentiability (the function at this point) applies.
Possible spellings without brackets are
or also .
If one understands the partial differentiation itself as a mapping from to and from to , one can write even more briefly:
or also .
Schwarz's theorem also states that the Hessian matrix is symmetric .
If one understands as a differentiable 0-form and writes for the outer derivation , then the theorem of Schwarz has the form or simply only .
For can also express this as follows: The rotation of Gradientenvektorfelds is zero: or with Nabla written symbol: . The gradient vector field is therefore free of eddies .
The function is given by It results for the first partial derivatives
and for the two second partial derivatives and
It can be seen that it is true
Without the continuity of the second derivatives, the theorem does not hold in general. A counterexample, in which the interchangeability does not apply, is the function with and
With this function, the second partial derivatives exist entirely , but it holds
Relation to exact differential equations
A differential equation of the form is given
This is called exact if there is a continuously partially differentiable function such that :
If and are continuously partially differentiable functions , then, according to Schwarz's theorem, a necessary condition for this is that
If the open set is simply connected , then the condition also implies the existence of (e.g. for star-shaped sets this follows from the Poincaré lemma ).
^ Arens et al .: Mathematics. Spektrum Akademischer Verlag, 2008, p. 789
↑ Hans Grauert and Wolfgang Fischer, Differential- und Integralrechnung II. , Springer Verlag 1978
^ Henri Cartan, differential calculation , Bibliographisches Institut Mannheim / Vienna / Zurich 1974
^ Herbert Amann, Joachim Escher: Analysis II. 2nd edition. Birkhäuser, Basel / Boston / Berlin 2006, ISBN 3-7643-7105-6 , pp. 192–193.