Sur l'interversion des dérivations partielles. (Q1533079)

Beweis des folgenden Satzes: Wenn \(f_{xy}^{\prime\prime} (x,y)\) in der Umgebung von \(x=x_0\), \(y=y_0\) existirt und für \(x=x_0\), \(y=y_0\) stetig ist, wenn ferner \(f_y' (x_0, y_0)\) in der Umgebung von \(x=x_0\) existirt, dann existirt auch \(f^{\prime\prime}_{xy} (x_0, y_0)\) und es ist \(f^{\prime\prime}_{xy} (x_0, y_0) = f^{\prime\prime}_{yx} (x_0, y_0)\). Der Verf. geht aus von der Beziehung: \[ f^{\prime\prime}_{xy} (x_0 +h, y_0 +k) = f^{\prime\prime}_{xy} (x_0, y_0) + \alpha \] und integrirt sie in Bezug auf \(h\) zwischen 0 und \(h\); die neue so erhaltene Relation wird dann zwischen 0 und \(k\) integrirt. Man dividirt durch \(k\), sucht die Grenze der erhaltenen Ergebnisse für \(k=0\), dann dividirt man das neue Ergebnis durch \(h\) und setzt \(h\) gleich Null. Man kann auch von der doppelten Ungleichheit \[ m< f^{\prime\prime}_{xy} (x_0 +h, y_0 +k) <M \] ausgehen, in der \(m\) und \(M\) Constanten sind.