6
$\begingroup$

Who first proved the interchangeability of partial derivatives? I never see any reference in textbooks. This is not a trivial result.

$\endgroup$
3
  • 4
    $\begingroup$ For analytic functions it is trivial. The problem is that the modern definition of function was only given in 19th century. Previously most mathematicians thought of "functions" as analytic functions. $\endgroup$ Jan 13 '18 at 19:50
  • $\begingroup$ @AlexandreEremenko What would be the contrast between the "modern definition of function" and "analytic functions"? $\endgroup$
    – Nat
    Jan 16 '18 at 2:38
  • $\begingroup$ clairaut? schwarz? young? $\endgroup$
    – BCLC
    Nov 29 '21 at 16:15
8
$\begingroup$

It looks as if it was Euler who first proved it. See A note on the history of mixed partial derivatives, by Thomas James Higgins (Scripta Mathematica 7 (1940), pp. 59–62).

$\endgroup$
3
  • 1
    $\begingroup$ Nice paper. One might add that (according to Euler himself) the first to put it in anything like the notation in the title was Fontaine (1738, p. 26). Clairaut (1742, footnote p. 294) discusses the independence of Euler’s, Fontaine’s, and his own proof. $\endgroup$ Jan 13 '18 at 15:30
  • 1
    $\begingroup$ One might also add that Lindelöf in 1867 criticized all proofs that had been given so far and that the first rigorous proof was subsequently presented by Schwarz in 1873. $\endgroup$ Jan 26 '18 at 23:42
  • $\begingroup$ José Carlos Santos link is dead? anyway what about clairaut? schwarz? young? $\endgroup$
    – BCLC
    Nov 29 '21 at 16:16
4
$\begingroup$

This question could also be asked as: Who first found an example for the not-interchangeability of partial derivatives?

It was H.A. Schwarz who proved the theorem: If a function $f:\mathbb{R}^n \rightarrow\mathbb{R}^n$ is $m$ times differentiable and continuous, then the $m$th mixed derivatives are independent of the order.

$\endgroup$
4
  • 1
    $\begingroup$ Ok, I'm confused: what's meant here by a function which is differentiable but not continuous? $\endgroup$ Jan 15 '18 at 12:39
  • $\begingroup$ For an example see for instance W. Mückenheim: "Mathematik für die ersten Semester", 4th ed., De Gruyter, Berlin 2015, p. 246 or de.wikipedia.org/wiki/Satz_von_Schwarz $\endgroup$
    – Otto
    Jan 15 '18 at 21:36
  • $\begingroup$ I think you should mention notation $f \in C^m$, not for the sake of notation per se, but to help the person who asked the question. $\endgroup$ Jan 20 '18 at 6:21
  • $\begingroup$ I am unaware of that paper by Schwarz. I only know the one where he proved the interchangeability of the partial derivatives for a function of two variables: archive.org/stream/gesammeltemathem02schwuoft#page/274/mode/2up $\endgroup$ Jan 26 '18 at 23:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.