In mathematics, the symmetry of second derivatives (also called the equality of mixed partials) refers to the possibility of interchanging the order of taking partial derivatives of a function of n variables without changing the result under certain conditions (see below). The symmetry is the assertion that the second-order partial derivatives satisfy the identity so that they form an n × n symmetric matrix, known as the function's Hessian matrix. Sufficient conditions for the above symmetry to hold are established by a result known as Schwarz's theorem, Clairaut's theorem, or Young's theorem. In the context of partial differential equations it is called the Schwarz integrability condition. In symbols, the symmetry may be expressed as: Another notation is: In terms of composition of the differential operator Di which takes the partial derivative with respect to xi: From this relation it follows that the ring of differential operators with constant coefficients, generated by the Di, is commutative; but this is only true as operators over a domain of sufficiently differentiable functions. It is easy to check the symmetry as applied to monomials, so that one can take polynomials in the xi as a domain. In fact smooth functions are another valid domain. The result on the equality of mixed partial derivatives under certain conditions has a long history. The list of unsuccessful proposed proofs started with Euler's, published in 1740, although already in 1721 Bernoulli had implicitly assumed the result with no formal justification. Clairaut also published a proposed proof in 1740, with no other attempts until the end of the 18th century. Starting then, for a period of 70 years, a number of incomplete proofs were proposed. The proof of Lagrange (1797) was improved by Cauchy (1823), but assumed the existence and continuity of the partial derivatives and . Other attempts were made by P. Blanchet (1841), Duhamel (1856), Sturm (1857), Schlömilch (1862), and Bertrand (1864).

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (14)
MATH-106(e): Analysis II
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs variables.
MATH-251(e): Numerical analysis
Le cours présente des méthodes numériques pour la résolution de problèmes mathématiques comme des systèmes d'équations linéaires ou non linéaires, l'approximation de fonctions, intégration et dérivati
MATH-106(f): Analysis II
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs variables.
Afficher plus
Séances de cours associées (117)
Compléments mathématiques:
Explore les outils mathématiques pour les différences de fonctions de variables et d'intégrales multiples, y compris les quantités conservatrices et les différences totales exactes.
Dérivés partiels : fonctions et définitions
Explore les dérivées partielles des fonctions avec de multiples variables, en mettant l'accent sur leurs définitions et leurs propriétés.
Maxwell Relations: Théorie de Schwarz
Explore l'application du théorème de Schwarz pour dériver les relations de Maxwell.
Afficher plus
Publications associées (26)

Null energy constraints on two-dimensional RG flows

Grégoire Olivier Mathys

We study applications of spectral positivity and the averaged null energy condition (ANEC) to renormalization group (RG) flows in two-dimensional quantum field theory. We find a succinct new proof of the Zamolodchikov c-theorem, and derive further independ ...
New York2024

Diversity of radial spin textures in chiral materials

Oleg Yazyev, Daniel Gosalbez Martinez, Alberto Crepaldi

We introduce a classification of the radial spin textures in momentum space that emerge at the high-symmetry points in crystals characterized by nonpolar chiral point groups (D2, D3, D4, D6, T, O). Based on the symmetry constraints imposed by these point g ...
College Pk2023

Learning of Continuous and Piecewise-Linear Functions With Hessian Total-Variation Regularization

Michaël Unser, Shayan Aziznejad, Joaquim Gonçalves Garcia Barreto Campos

We develop a novel 2D functional learning framework that employs a sparsity-promoting regularization based on second-order derivatives. Motivated by the nature of the regularizer, we restrict the search space to the span of piecewise-linear box splines shi ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022
Afficher plus
Personnes associées (2)
Concepts associés (7)
Lemme de Poincaré
Le lemme de Poincaré est un résultat fondamental en analyse à plusieurs variables et en géométrie différentielle. Il concerne les formes différentielles (implicitement de classe C) sur une variété différentielle (implicitement lisse). D'après le théorème de Schwarz, toute forme différentielle exacte est fermée. Le lemme de Poincaré assure une réciproque partielle : Sous ces hypothèses, la conclusion du lemme de Poincaré se reformule en termes de cohomologie de De Rham. En particulier, toute forme différentielle fermée est localement exacte.
Fonction de plusieurs variables
En mathématiques et plus spécialement en analyse vectorielle, une fonction numérique à plusieurs variables réelles est une fonction dont l'ensemble de départ E est une partie du produit cartésien . L'ensemble d'arrivée F peut être ou . Le second cas peut se ramener au premier cas en considérant qu'il s'agit en réalité de p fonctions de dans appelées fonctions coordonnées. La fonction est donc une relation associant à chaque n-uplet x = (x, x, ...
Leibniz integral rule
In calculus, the Leibniz integral rule for differentiation under the integral sign states that for an integral of the form where and the integrands are functions dependent on the derivative of this integral is expressible as where the partial derivative indicates that inside the integral, only the variation of with is considered in taking the derivative. It is named after Gottfried Leibniz.
Afficher plus