Proof of the theorem that the complete integral of a difference equation of the \(n^{\text{te}}\) order contains altogether \(n\) arbitrary constants. (Q1542029)

Boole hat in seinem ``Treatise on the calculus of finite differences'' einen Beweis gegeben für den Satz, dass das vollständige Integral einer Differentialgleichung \(n^{\text{ten}}\) Grades \(n\) willkürliche Constanten enthält. Das Integral \(u_x\) wird von ihm durch eine Reihe dargestellt, deren Terme Functionen des Index \(x\) sind; diese Reihe wird von Boole als endlich angenommen, obgleich sie für alle negativen \(x\), die numerisch grösser als \(n\) sind, unendlich wird. Da die Convergenz dieser unendlichen Reihe nicht im allgemeinen bewiesen werden kann, so muss hier eine andere Methode gewählt werden, deren Auseinandersetzung den Inhalt der Note bildet. Der Verfasser macht zuletzt darauf aufmerksam, dass der Beweis leichter ausgeführt werden kann, wenn man statt der von Boole angenommenen Form der Differenzengleichung: \[ \varDelta^n u_x =f(x,u_x,\varDelta u_x, \dots , \varDelta^{n-1} u_x) \] die folgende: \[ F(x,u_x,u_{x+1},\dots,u_{x+n})=0 \] wählt.