Arithmetical periodicities of Bessel functions. (Q568353)

Verf. behandelt die Differenzengleichung \[ U_{n+1}=(an+b)U_n+cU_{n-1},\qquad (a,b,c,n\text{ ganze Zahlen}),\tag{1} \] oder \[ U_{n+1}=a(n+\alpha )U_n+cU_{n-1},\qquad \alpha =\frac ba. \] Durch \(U_0\), \(U_1\) und die Koeffizienten der Gleichung sind alle \(U_n\) bestimmt: \[ U_n=U_n(a,\alpha,c;U_0,U_1). \] Die allgemeine Funktion \(U_n\) läßt sich als homogene lineare Verbindung von \[ S_n(a,\alpha,c)=U_n(a,\alpha,c;0,1) \] und \[ T_n(a,\alpha,c)=U_n(a,\alpha,c;1,0) \] ausdrücken. Man kann auch die \textit{Bessel}schen Funktionen \(J_n\) und \(Y_n\) auf die \(U_n\) zurückführen. Verf. betrachtet nun die \(U_n\;(\text{mod }M)\), wo \(M\) irgendeine zu \(a\) teilerfremde Zahl ist, und erhält \[ U_{n+2M}\equiv c^MU_n\qquad (\text{mod }M). \] Ist \((ac,M)=1\), so kann man durch wiederholte Anwendung dieses Ergebnisses und Einführung des Exponenten \(e\), zu dem \(c\;(\text{mod }M)\) gehört, eine Periode \(\pi \) konstruieren, so daß \[ U_{n+\pi }\equiv U_n\qquad (\text{mod }M). \] Sei \((e,M)\) der g. g. T., \([e,M]\) k. g. V. von \(e\) und \(M\), so ist \[ \pi =[e,M]\delta =\frac {eM}{(e,M)}\delta, \] wo \(\delta \) ein Teiler von \(2(e,M)\) ist.\quad (IV 6 B.)