Sur l'intégration des équations différentielles linéaires à coefficients constants. (Q5913800)

Cauchy hat bekantlich zur Auflösung des Systems von \(k\) Differentialgleichungen mit constanten Coefficienten \[ \begin{matrix} & & & & &\r \\ \frac{du}{dx} &+a_1u+ &b_1v &+\cdots+ &h_1t &=0,\\ \frac{dv}{dx} &+a_2u+ &b_2v &+\cdots+ &h_2t &=0,\\ \vdots &\vdots &\vdots &\vdots &\vdots &\vdots\\ \frac{dt}{dx} &+a_ku+ &b_kv &+\cdots+ &h_kt &=0 \end{matrix} \] ein die einfachen und mehrfachen Wurzeln der charakteristischen Gleichung umfassendes System von Formeln gegeben, worin gleichzeitig \(u,v,w,\dots,t\) für \(x=x_0\) beliebig vorgeschriebene Werte \(u_0,v_0,\dots,t_0\) annehmen. Der Verfasser leitet diese Formeln auf directem Wege ab. Von der Bemerkung ausgehend, dass die Coefficienten der in Reihen dargestellten Integrale \[ u=u_0+u_1z+\cdots+\frac{u_mz^m}{m!}+\text{etc.}, \] \[ v=v_0+v_1z+\cdots+\frac{v_mz^m}{m!}+\text{etc.}, \dots, t=t_0+t_1z+\cdots+ \frac{t_mz^m}{m!}+\text{etc.} \] \[ (x-x_0=z\text{ gesetzt}) \] den recurrenten Gleichungen \[ u_{m+1}+a_1u_m+\cdots+h_1t_m=0,\quad v_{m+1}+a_2u_m+\cdots+h_2t_m=0, \] \[ \dots,t_{m+1}+a_ku_m+b_kv_m+\cdots+h_kt_m=0 \] genügen, zeigt er zunächst, dass die Reihen \[ \begin{aligned} & U(z)=u_0+u_1z+u_2z^2+\cdots+u_mz^m+\text{etc.,}\dots,\\ & T(z)=t_0+t_1z+t_2z^2+\cdots+t_mz^m+\text{etc.}\end{aligned} \] durch rationale Brüche darstellbar sind, die zum gemeinsamen Nenner ein Polynom \(F(z)\) \(k^{\text{ten}}\) Grades haben, während die Zähler ganze Polynome \((k-1)^{\text{ten}}\) Grades sind, also z. B. \(U(z)=\Omega(z):F(z)\), wo \[ F(z)=\begin{vmatrix} 1+a_1z, &b_1z, &\dots, &h_1z\\ \vdots &\vdots &\vdots &\vdots\\ a_kz, &b_kz, &\dots, &1+h_kz \end{vmatrix}, \] \[ \left(z^kF\left(\frac 1z\right)=0 \text{ ist die charakteristische Gleichung}\right) \] und \[ \Omega(z)=\frac{u_0A_1(z)+\cdots+t_0A_k(z)}{F(z)}; \] \(A_1,\dots, A_k\) sind die Coefficienten der Elemente der ersten Verticalreihe in der Determinante. Jede Reihe \[ u=u_0+u_1z+\cdots+\frac{u_mz^m}{m!}+\text{etc.}, \] die aus der Entwickelung einer rationalen Function \(\Omega(z):F(z)\) hervorgeht, indem darin \(u_m\) durch \(u_m:m!\) ersetzt wird, lässt sich aber, wie der Verfasser allgemein zeigt, in der Form summiren \[ \underset {s} E\;\frac{s^{k-1}\Omega\left(\frac1s\right)} {s^kF\left(\frac1s\right)}\;e^{sz}, \] worin \(E\) die Summe der Residuen für alle Wurzeln von \[ s^kF\left(\frac1s\right)=0 \] bedeutet. Hieraus ergeben sich die Cauchy'schen Formeln.