Proof of the existence of a complete integral for the equation \(f(x,\; y,\; y') = 0\). (Q1551447)

Um die Existenz einer der Differentialgleichung \[ f(x, y, y') =0 \] entsprechenden primitiven Gleichung zu beweisen, schlägt der Verfasser den folgenden Weg ein. Das vollständige Integral lässt sich als Grenzform der Relation \[ y- y_0 = y_0' (x_1 - x_0) + y_1' (x_2-x_1) + \cdots + y_{n-1}' (x-x_{n-1}) \] auffassen, wenn die Theilung des Intervalles \(x-x_0\) in's Unendliche fortgesetzt wird, während die \(y_r\) und die \(y_r'\) successive durch die Gleichungen \[ f(x_r, y_r, \; y_r') = 0 \quad \text{und} \quad y_{r+1} - y_r = y_r' (x_{r+1} - x_r) \] bestimmt werden. Es kommt hierbei wesentlich darauf an, die Existenz einer Grenze zu beweisen. Setzt man voraus, dass nicht \(\frac{df}{dy} = 0\) oder \(\frac{dy'}{dx} = 0\), was erlaubt ist, so hat man, wenn \(X\), \(Y\), \(Y'\) zusammengehörige Werthe bezeichnen, \[ Y' - y' = a(X-x) + b(Y-y), \] wo \(a\) und \(b\) endliche Grössen bedeuten. Ist dann \(m\) der grösste der Werthe \(y_r'\) so ist demnächst \(y-y_0 = c(x-x_0)\), wo \(c\) eine endliche Grösse, kleiner als \(m\), bezeichnet. Theilt man ferner ein kleines Intervall \(x-x_0\) in \(n\) Theile, so erhält man statt einer Differenz \(\eta - y_0 = y_0' (x-x_0)\) eine neue Differenz \(y-y_0\), und es wird \[ y- \eta = (y_1' - y')(x_2 - x_1) + (y_2' - y_0') (x_3 - x_2) + \cdots \] \[ \cdots + (y_{n-1} - y_0') (x-x_{n-1}). \] Ist \(y_r' - y_0'\) die grösste der hier auftretenden Differenzen, so wird \[ y- \eta < (y_r' - y_0')(x-x_0) < (a + bc)(x-x_0)^2. \] Eine fortgesetzte Theilung irgend eines Intervalles \(x_s - x_{s-1}\) bewirkt deshalb, dass \(y_s\) den Zuwachs \(\varDelta y_s = a_a(x_s - x_{s-1})^2\) erhält, wo \(a_s\) eine Grösse bedeutet, welche für \(x_s - x_{s-1} = 0\) nicht unendlich wird. Mittels ähnlicher Betrachtungen wird bewiesen, dass, wenn man \(y_0\) den Zuwachs \(\varDelta y_0\) giebt, der Endwerth \(y\) ebenfalls einen Zuwachs \(P. \varDelta y_0\) erhält, wo \(P\) endlich bleibt. Durch Combination dieser beiden Sätze wird endlich dargelegt, nicht nur, dass ein Grenzwerth von \(y-y_0\) existirt, sondern auch, dass dieser Grenzwerth von der Art, auf welche die Theilung vergenommen wird -- wenn dieselbe nur in's Unendliche fortgesetzt wird -- ganz unabhängig ist, so dass man auf diese Weise zuletzt \(y\) als Function von \(x_1\), \(x_0\) und \(y_0\) dargestellt erhält.