Professional Documents
Culture Documents
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. This is sometimes known as Schwarz's theorem, Clairaut's theorem, or
Young's theorem.[1][2]
In the context of partial differential equations it is called the Schwarz integrability condition.
Contents
Formal expressions of symmetry
History
Theorem of Schwarz
Proof of Clairaut's theorem using iterated integrals
Sufficiency of twice-differentiability
Distribution theory formulation
Requirement of continuity
In Lie theory
Application to differential forms
Notes
References
Further reading
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.
History
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,[3] although already in 1721 Bernoulli had implicitly assumed the result with no formal justification.[4] 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 .[5] Other attempts
were made by P. Blanchet (1841), Duhamel (1856), Sturm (1857), Schlömilch (1862), and Bertrand (1864). Finally in 1867 Lindelöf systematically analyzed all
the earlier flawed proofs and was able to exhibit a specific counterexample where mixed derivatives failed to be equal.[6][7]
Six years after that, Schwarz succeeded in giving the first rigorous proof.[8] Dini later contributed by finding more general conditions than those of Schwarz.
Eventually a clean and more general version was found by Jordan in 1883 that is still the proof found in most textbooks. Minor variants of earlier proofs were
published by Laurent (1885), Peano (1889 and 1893), J. Edwards (1892), P. Haag (1893), J. K. Whittemore (1898), Vivanti (1899) and Pierpont (1905). Further
progress was made in 1907-1909 when E. W. Hobson and W. H. Young found proofs with weaker conditions than those of Schwarz and Dini. In 1918,
Carathéodory gave a different proof based on the Lebesgue integral.[7]
Theorem of Schwarz
In mathematical analysis, Schwarz's theorem (or Clairaut's theorem on equality of mixed partials)[9] named after Alexis Clairaut and Hermann Schwarz,
states that for a function defined on a set , if is a point such that some neighborhood of is contained in and has continuous
second partial derivatives on that neighborhood of , then for all i and j in
One easy way to establish this theorem (in the case where , , and , which readily entails the result in general) is by applying Green's theorem
to the gradient of
An elementary proof for functions on open subsets of the plane is as follows (by a simple reduction, the general case for the theorem of Schwarz easily reduces
to the planar case).[10] Let be a differentiable function on an open rectangle Ω containing a point and suppose that is continuous with
continuous and over Ω. Define
By the mean value theorem, for fixed h and k non-zero, can be found in the open interval with
Letting tend to zero in the last equality, the continuity assumptions on and now imply that
This account is a straightforward classical method found in many text books, for example in Burkill, Apostol and Rudin.[10][11][12]
Although the derivation above is elementary, the approach can also be viewed from a more conceptual perspective so that the result becomes more
apparent.[13][14][15][16][17] Indeed the difference operators commute and tend to as tends to 0, with a similar statement for
second order operators.[a] Here, for a vector in the plane and a directional vector, the difference operator is defined by
Hence
This is a generalized version of the mean value theorem. Recall that the elementary discussion on maxima or minima for real-valued functions implies that if is
continuous on and differentiable on , then there is a point in such that
For vector-valued functions with a finite-dimensional normed space, there is no analogue of the equality above, indeed it fails. But since
, the inequality above is a useful substitute. Moreover, using the pairing of the dual of with its dual norm, yields the following
inequality:
.
These versions of the mean valued theorem are discussed in Rudin, Hörmander and elsewhere.[19][20]
For a function on an open set in the plane, define and . Furthermore for set
Then for in the open set, the generalized mean value theorem can be applied twice:
Thus tends to as tends to 0. The same argument shows that tends to . Hence, since the
difference operators commute, so do the partial differential operators and , as claimed.[21][22][23][24][25]
for some and in . Thus the first elementary proof can be reinterpreted using difference operators. Conversely, instead of using the generalized mean
value theorem in the second proof, the classical mean valued theorem could be used.
continuity of F implies immediately that the functions and are continuous.[27] It follows that
moreover it is immediate that the iterated integral is positive if F is positive.[28] The equality above is a simple case of Fubini's theorem, involving no measure
theory. Titchmarsh (1939) proves it in a straightforward way using Riemann approximating sums corresponding to subdivisions of a rectangle into smaller
rectangles.
To prove Clairaut's theorem, assume f is a differentiable function on an open set U, for which the mixed second partial derivatives fyx and fxy exist and are
continuous. Using the fundamental theorem of calculus twice,
Similarly
The two iterated integrals are therefore equal. On the other hand, since fxy(x,y) is continuous, the second iterated integral can be performed by first integrating
over x and then afterwards over y. But then the iterated integral of fyx − fxy on [a,b] × [c,d] must vanish. However, if the iterated integral of a continuous
function function F vanishes for all rectangles, then F must be identically zero; for otherwise F or −F would be strictly positive at some point and therefore by
continuity on a rectangle, which is not possible. Hence fyx − fxy must vanish identically, so that fyx = fxy everywhere.[29][30][31][32][33]
Sufficiency of twice-differentiability
A weaker condition than the continuity of second partial derivatives (which is implied by the latter) which suffices to ensure symmetry is that all partial
derivatives are themselves differentiable.[34] Another strengthening of the theorem, in which existence of the permuted mixed partial is asserted, was provided by
Peano in a short 1890 note on Mathesis:
Requirement of continuity
The symmetry may be broken if the function fails to have differentiable partial derivatives, which is possible if Clairaut's theorem is not satisfied (the second
partial derivatives are not continuous).
(1)
This can be visualized by the polar form ; it is everywhere continuous, but its derivatives at (0, 0) cannot be computed
algebraically. Rather, the limit of difference quotients shows that , so the graph has a horizontal tangent plane at (0, 0), and
the partial derivatives exist and are everywhere continuous. However, the second partial derivatives are not continuous at (0, 0), and the symmetry fails. In
fact, along the x-axis the y-derivative is , and so:
In contrast, along the y-axis the x-derivative , and so . That is, at (0, 0), although the mixed partial derivatives do
exist, and at every other point the symmetry does hold.
showing that the function oscillates four times when traveling once around an arbitrarily small loop containing the origin. Intuitively, therefore, the local behavior
of the function at (0, 0) cannot be described as a quadratic form, and the Hessian matrix thus fails to be symmetric.
In general, the interchange of limiting operations need not commute. Given two variables near (0, 0) and two limiting processes on
corresponding to making h → 0 first, and to making k → 0 first. It can matter, looking at the first-order terms, which is applied first. This leads to the construction
of pathological examples in which second derivatives are non-symmetric. This kind of example belongs to the theory of real analysis where the pointwise value
of functions matters. When viewed as a distribution the second partial derivative's values can be changed at an arbitrary set of points as long as this has Lebesgue
measure 0. Since in the example the Hessian is symmetric everywhere except (0, 0), there is no contradiction with the fact that the Hessian, viewed as a Schwartz
distribution, is symmetric.
In Lie theory
Consider the first-order differential operators Di to be infinitesimal operators on Euclidean space. That is, Di in a sense generates the one-parameter group of
translations parallel to the xi-axis. These groups commute with each other, and therefore the infinitesimal generators do also; the Lie bracket
[Di, Dj] = 0
is this property's reflection. In other words, the Lie derivative of one coordinate with respect to another is zero.
while if , the closed property is the identity . (In modern language this is one version of the Poincaré lemma.)[39]
Notes
a. These can also be rephrased in terms of the action of operators on Schwartz functions on the plane. Under Fourier transform, the difference
and differential operators are just multiplication operators.[18]
1. "Young's Theorem" (https://web.archive.org/web/2006051813473 17. Cartan 1971, pp. 64–67.
9/http://are.berkeley.edu/courses/ARE210/fall2005/lecture_notes/Y 18. Hörmander 2015, Chapter VII.
oung%27s-Theorem.pdf) (PDF). University of California Berkeley.
19. Hörmander 2015, p. 6.
Archived from the original (http://are.berkeley.edu/courses/ARE21
0/fall2005/lecture_notes/Young%27s-Theorem.pdf) (PDF) on 20. Rudin 1976, p. .
2006-05-18. Retrieved 2015-01-02. 21. Hörmander 2015, p. 11.
2. Allen 1964, pp. 300–305 (https://books.google.com/books?id=fgm9 22. Dieudonné 1960.
O6reUcsC&pg=PA300). 23. Godement 1998a.
3. Euler 1740. 24. Lang 1969.
4. Sandifer 2007, pp. 142–147 (https://books.google.com/books?id=3 25. Cartan 1971.
-DyDwAAQBAJ&pg=PA142), footnote: Comm. Acad. Sci. Imp. 26. Titchmarsh 1939, p. .
Petropol. 7 (1734/1735) 1740, 174-189, 180-183; Opera Omnia,
27. Titchmarsh 1939, pp. 23–25.
1.22, 34-56..
28. Titchmarsh 1939, pp. 49–50.
5. Minguzzi 2015.
29. Spivak 1965, p. 61.
6. Lindelöf 1867.
30. McGrath 2014.
7. Higgins 1940.
31. Aksoy & Martelli 2002.
8. Schwarz 1873.
32. Axler 2020, pp. 142–143.
9. James 1966, p. .
33. Marshall, Donald E., Theorems of Fubini and Clairaut (https://sites.
10. Burkill 1962, pp. 154–155
math.washington.edu/~marshall/math_136/FubiniClairaut.pdf)
11. Apostol 1965. (PDF), University of Washington
12. Rudin 1976. 34. Hubbard & Hubbard 2015, pp. 732–733.
13. Hörmander 2015, pp. 7, 11. This condensed account is possibly 35. Rudin 1976, pp. 235–236.
the shortest.
36. Hobson 1921, pp. 403–404.
14. Dieudonné 1960, pp. 179–180.
37. Apostol 1974, pp. 358–359.
15. Godement 1998b, pp. 287–289.
38. Tu 2010.
16. Lang 1969, pp. 108–111.
39. Katz 1981.
References
Aksoy, A.; Martelli, M. (2002), "Mixed Partial Derivatives and Fubini's Theorem" (https://scholarship.claremont.edu/cgi/viewcontent.cgi?refere
r=https://www.google.com/&httpsredir=1&article=1580&context=cmc_fac_pub), College Mathematics Journal of MAA, 33 (2): 126–130,
doi:10.1080/07468342.2002.11921930 (https://doi.org/10.1080%2F07468342.2002.11921930), S2CID 124561972 (https://api.semanticsch
olar.org/CorpusID:124561972)
Allen, R. G. D. (1964). Mathematical Analysis for Economists (https://books.google.com/books?id=fgm9O6reUcsC). New York: St. Martin's
Press. ISBN 9781443725224.
Apostol, Tom M. (1965), Mathematical analysis: a modern approach to advanced calculus, London: Addison-Wesley, OCLC 901554874 (http
s://www.worldcat.org/oclc/901554874)
Apostol, Tom M. (1974), Mathematical Analysis, Addison-Wesley, ISBN 9780201002881
Axler, Sheldon (2020), Measure, integration & real analysis, Graduate Texts in Mathematics, vol. 282, Springer, ISBN 9783030331436
Bourbaki, Nicolas (1952), "Chapitre III: Mesures sur les espaces localement compacts", Eléments de mathématique, Livre VI: Intégration (in
French), Hermann et Cie
Burkill, J. C. (1962), A First Course in Mathematical Analysis, Cambridge University Press, ISBN 9780521294683 (reprinted 1978)
Cartan, Henri (1971), Calcul Differentiel (in French), Hermann, ISBN 9780395120330
Clairaut, A. C. (1739), "Recherches générales sur le calcul intégral" (https://www.biodiversitylibrary.org/item/87741#page/563/mode/1up),
Mémoires de l'Académie Royale des Sciences: 425–436
Clairaut, A. C. (1740), "Sur l'integration ou la construction des equations différentielles du premier ordre" (https://www.biodiversitylibrary.org/i
tem/87743#page/447/mode/1up), Mémoires de l'Académie Royale des Sciences, 2: 293–323
Dieudonné, J. (1937), "Sur les fonctions continues numérique définies dans une produit de deux espaces compacts", Comptes Rendus de
l'Académie des Sciences de Paris, 205: 593–595
Dieudonné, J. (1960), Foundations of Modern Analysis, Pure and Applied Mathematics, vol. 10, Academic Press, ISBN 9780122155505
Dieudonné, J. (1976), Treatise on analysis. Vol. II., Pure and Applied Mathematics, vol. 10-II, translated by I. G. Macdonald, Academic Press,
ISBN 9780122155024
Euler, Leonhard (1740). "De infinitis curvis eiusdem generis seu methodus inveniendi aequationes pro infinitis curvis eiusdem generis" (http
s://scholarlycommons.pacific.edu/euler-works/44/) [On infinite(ly many) curves of the same type, that is, a method of finding equations for
infinite(ly many) curves of the same type]. Commentarii Academiae Scientiarum Petropolitanae (in Latin). 7: 174–189, 180–183 – via The
Euler Archive, maintained by the University of the Pacific.
Gilkey, Peter; Park, JeongHyeong; Vázquez-Lorenzo, Ramón (2015), Aspects of differential geometry I, Synthesis Lectures on Mathematics
and Statistics, vol. 15, Morgan & Claypool, ISBN 9781627056632
Godement, Roger (1998a), Analyse mathématique I (https://archive.org/details/ananlyse-mathematique-tome-i-ii-iii-iv-roger-godemet),
Springer
Godement, Roger (1998b), Analyse mathématique II (https://archive.org/details/ananlyse-mathematique-tome-i-ii-iii-iv-roger-godemet),
Springer
Higgins, Thomas James (1940). "A note on the history of mixed partial derivatives" (https://web.archive.org/web/20170419195440/http://mat
hforum.org/kb/thread.jspa?forumID=13&threadID=1580215&messageID=5765194). Scripta Mathematica. 7: 59–62. Archived from the
original (http://mathforum.org/kb/thread.jspa?forumID=13&threadID=1580215&messageID=5765194) on 2017-04-19. Retrieved 2017-04-19.
Hobson, E. W. (1921), The theory of functions of a real variable and the theory of Fourier's series. Vol. I., Cambridge University Press
Hörmander, Lars (2015), The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, Classics in
Mathematics (2nd ed.), Springer, ISBN 9783642614972
Hubbard, John; Hubbard, Barbara (2015). Vector Calculus, Linear Algebra and Differential Forms (http://matrixeditions.com/5thUnifiedAppro
ach.html) (5th ed.). Matrix Editions. ISBN 9780971576681.
James, R. C. (1966). Advanced Calculus (https://books.google.com/books?id=d5kpAQAAMAAJ). Belmont, CA: Wadsworth.
Jordan, Camille (1893), Cours d'analyse de l'École polytechnique. Tome I. Calcul différentiel (Les Grands Classiques Gauthier-Villars),
Éditions Jacques Gaba]
Katz, Victor J. (1981), "The history of differential forms from Clairaut to Poincaré", Historia Mathematica, 8 (2): 161–188, doi:10.1016/0315-
0860(81)90027-6 (https://doi.org/10.1016%2F0315-0860%2881%2990027-6)
Lang, Serge (1969), Real Analysis, Addison-Wesley, ISBN 0201041790
Lindelöf, L. L. (1867), "Remarques sur les différentes manières d'établir la formule d2 z/dx dy = d2 z/dy dx" (https://www.biodiversitylibrary.or
g/item/48435#page/225/mode/1up), Acta Societatis Scientiarum Fennicae, 8: 205–213
Loomis, Lynn H. (1953), An introduction to abstract harmonic analysis, D. Van Nostrand, hdl:2027/uc1.b4250788 (https://hdl.handle.net/202
7%2Fuc1.b4250788)
McGrath, Peter J. (2014), "Another proof of Clairaut's theorem", Amer. Math. Monthly, 121 (2): 165–166,
doi:10.4169/amer.math.monthly.121.02.165 (https://doi.org/10.4169%2Famer.math.monthly.121.02.165), S2CID 12698408 (https://api.seman
ticscholar.org/CorpusID:12698408)
Minguzzi, E. (2015). "The equality of mixed partial derivatives under weak differentiability conditions". Real Analysis Exchange. 40: 81–98.
arXiv:1309.5841 (https://arxiv.org/abs/1309.5841). doi:10.14321/realanalexch.40.1.0081 (https://doi.org/10.14321%2Frealanalexch.40.1.008
1). S2CID 119315951 (https://api.semanticscholar.org/CorpusID:119315951).
Nachbin, Leopoldo (1965), Elements of approximation theory, Notas de Matemática, vol. 33, Rio de Janeiro: Fascículo publicado pelo
Instituto de Matemática Pura e Aplicada do Conselho Nacional de Pesquisas
Rudin, Walter (1976), Principles of Mathematical Analysis (https://archive.org/details/1979RudinW), International Series in Pure & Applied
Mathematics, McGraw-Hill, ISBN 0-07-054235-X
Sandifer, C. Edward (2007), "Mixed partial derivatives are equal" (https://books.google.com/books?id=3-DyDwAAQBAJ&pg=PA142), The
Early Mathematics of Leonard Euler, Vol. 1, Mathematics Association of America, ISBN 9780883855591
Schwarz, H. A. (1873), "Communication" (https://www.biodiversitylibrary.org/item/27383#page/37/mode/1up), Archives des Sciences
Physiques et Naturelles, 48: 38–44
Spivak, Michael (1965), Calculus on manifolds. A modern approach to classical theorems of advanced calculus, W. A. Benjamin
Tao, Terence (2006), Analysis II (https://link.springer.com/content/pdf/10.1007%2F978-981-10-1804-6.pdf) (PDF), Texts and Readings in
Mathematics, vol. 38, Hindustan Book Agency, doi:10.1007/978-981-10-1804-6 (https://doi.org/10.1007%2F978-981-10-1804-6),
ISBN 8185931631
Titchmarsh, E. C. (1939), The Theory of Functions (2nd ed.), Oxford University Press
Tu, Loring W. (2010), An Introduction to Manifolds (https://archive.org/details/TuL.W.AnIntroductionToManifolds2e2010Springer) (2nd ed.),
New York: Springer, ISBN 978-1-4419-7399-3
Further reading
"Partial derivative" (https://www.encyclopediaofmath.org/index.php?title=Partial_derivative), Encyclopedia of Mathematics, EMS Press,
2001 [1994]
Text is available under the Creative Commons Attribution-ShareAlike License 3.0; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy
Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.