Sur les équations différentielles linéaires à solutions périodiques. (Q1521918): Difference between revisions

Bei Differentialgleichungen der Form: \[ (1)\qquad \frac {dx}{dt} + (\alpha\cos t+ \beta\sin t)x = \sum_{\nu=0}^q (a_\nu \cos vt+ b\nu \sin vt), \] wo die Constanten rational sind, lässt es sich durch eine endliche Anzahl arithmetischer Operationen entscheiden, ob die Lösungen periodisch sind oder nicht. Es wird dies zunächst für den Fall \(\beta=0\) dargethan. In diesem Falle lässt sich die Gleichung (1) in der Form: \[ x = e^{-\alpha\sin t} \left\{\int_0^t e^{\alpha \sin t}[f(\sin t) + \varphi (\sin t) \cos t] dt+c\right\} \] integriren, wo \(f\) und \(\varphi\) ganze rationale Functionen bedeuten. Hieraus folgt, dass \(x\) periodisch wird, wenn die Entwickelung von \(e^{\alpha (\sin t)}\) in eine Fourier'sche Reihe kein constantes Glied enthält, d. h. für \(J \equiv \int_0^{2\pi} e^{\alpha \sin t} f(\sin t)dt = 0.\) Es lässt sich aber leicht nachweisen, dass (2) \(J = a(\alpha) V(\alpha) + B(\alpha) V'(\alpha)\) ist, wo \[ V(\alpha) = \frac {1}{2\pi} \int_0^{2\pi} e^{\alpha \sin t} dt, \] und \(A(\alpha),\) \(B(\alpha)\) gewisse ganze rationale Functionen von \(1/\alpha\) bedeuten, deren Coefficienten ganze, ganzzahlige rationale Functionen von \(a_1, \dots, a_q\), \(b_1, \dots, b_q\) sind. Der Verf. zeigt nun, dass für rationale \(\alpha\) der Quotient \(V'(\alpha)/V(\alpha)\) immer irrational und \(V(\alpha),\) \(V'(\alpha)\) beide von Null verschieden sind. Die notwendige und hinreichende Periodicitätsbedingung \(J=0\) reducirt sich also nach (2) auf \(A(\alpha) = 0\), \(B(\alpha) = 0.\) Aehnliches gilt im allgemeinen Falle (\(\alpha\) und \(\beta\) beliebige rationale Zahlen). Diese Untersuchung scheint geeignet, eine Vorstellung von den Schwierigkeiten zu geben, welche in complicirteren Fällen mit der Periodicitätsfrage verknüpft sind.