Remarks on a theorem of Du Bois-Reymond in the calculus of variations. (Q1486465)

Neuer Beweis für das \textit{Du Bois-Reymond}sche Lemma der Variationsrechnung und für \textit{Zermelos} Verallgemeinerung dieses Lemmas: Ist \(N (x)\) stetig und ist \(\int^b_a \frac{d^m \eta}{dx^m}\,N dx = 0\) für alle \(m\)-mal stetig differenzierbaren \(\eta\), die in \(a\) und \(b\) samt ihren \(m - 1\) ersten Ableitungen verschwinden, so ist \(N\) ein Polynom vom Grade \(m - 1\). Der Gedankengang ist folgender: Seien \(N_0, N_1, \dots ,N_m m + 1\) Funktionen, für die die Annahme des Lemmas gilt, so gilt sie auch für \(c_0N_0 + c_1N_1+ \cdots + c_mN_m\). Ist \(f(x)\) die Funktion, die man erhält, indem man \(c_0N_0 + c_1N_1 + \cdots + c_mN_m\) \(m\)-mal von 0 bis \(x\) integriert, so verschwindet \(f (x)\) in \(a\) samt seinen \(m - 1\) ersten Ableitungen, und durch geeignete Wahl der Konstanten \(c\) kann man erreichen, daß dies auch in \(b\) eintritt. Dann kann man \(f (x)\) für \(\eta\) einsetzen und erhält \[ \int^b_a (c_0N_0 + c_1N_1 + \cdots +c_mN_m)^2dx=0; \] d. h.: zwischen irgend \(m +1\) Funktionen, für die die Annahme des Lemmas gilt, besteht eine lineare Abhängigkeit. Da für die \(m\) Funktionen \(1, x, x^2, \dots ,x^{m-1}\) diese Annahme gilt, drückt sich also \(N\) linear durch diese \(m\) Funktionen aus, ist also tatsächlich ein Polynom \((m-1)\)-ten Grades.