Notes on the structure of sequences. I. (Q1835026)

\textit{T. Vijayaraghavan} hat (1928; F. d. M. 54, 223 (JFM 54.0223.*)) Grenzwertsätze bewiesen, deren einer eine Verallgemeinerung eines \textit{Mercer}schen Satzes bedeutet. In der vorliegenden Arbeit beweist Verf. zunächst die folgenden zwei verwandten Sätze, in denen \[ q_n =\varrho_n + i\sigma_n \] gesetzt ist: 1. Ist \(\varliminf\varrho_n\) eine positive Zahl, und bilden die \(a_n\) eine Folge positiver Zahlen, für die die unendliche Reihe \[ \sum \dfrac{1}{a_n} \] divergiert, so folgt aus \[ (a_n+q_n)t_n- a_nt_{n-1}\to 0, \] daß auch \(t\) eine Nullfolge ist. 2. Ist \(\varliminf\varrho_n>-1\) und \(\sum b_n\) eine divergente Reihe mit positiven Gliedern, so folgt aus \[ s_n +q_n \dfrac{b_1s_1+b_2s_2+\cdots +b_ns_n}{b_1+b_2+\cdots +b_n}\to 0 \] \[ \dfrac{b_1s_1+b_2s_2+\cdots +b_ns_n}{b_1+b_2 +\cdots +b_n}\to0. \] Sodann überträgt Verf. diese Sätze auf Integrale stetiger Funktionen. Dabei wird stets \(q (x)\) als eine in jedem endlichen Intervall stetige, komplexwertige Funktion mit \[ q(x) = \varrho(x) + i\sigma(x) \] und \(y(x)\) als eine auf jedem endlichen Intervall integrierbare Funktion von \(x\), die für \(x\to \infty \) gegen Null geht, vorausgesetzt. 3. Ist \[ \varrho(x) > c > 0 \;\;\text{für}\;\;\;x > X_0, \] \(a (x)\) eine auf jedem endlichen Intervall integrierbare, für positive \(x\) positive Funktion, und divergiert das Integral \[ \int\limits^x\dfrac{du}{a(u)} \;\;\text{für} \;\;\;x\to \infty, \] dann geht jede Lösung der Gleichung \[ a(x)f'(x)+q(x)f(x)=y(x) \] für \(x\to \infty\) gegen Null. 4. Ist \[ \varrho(x) > c-1 > 1 \;\;\;\text{für} \;\;x > X_0, \] \(b (x)\) eine positive, auf jedem endlichen Intervall stetige Funktion, \[ B (x) = \int\limits_0^x b(u) du \to \infty \;\;\text{für}\;\;\;x\to \infty \] und \(| q (x) |\) beschränkt, so geht jede Lösung \(f (x)\) der Gleichung \[ f(x) + \dfrac{q(x)}{B(x)}\int\limits _0^x f(u) b(u)du=y(x) \] gegen Null, wenn \(x\to \infty\). \(4^1\). Ist \(y(x)\) auf jedem Intervall stetig, so folgt \[ \dfrac{1}{B(x)}\int\limits_0^x f(u)b(u)du\to 0 \;\;\;\text{aus} \;\;x\to \infty; \] die Beschränktheit von \(|q(x)|\) braucht dabei nicht vorausgesetzt zu werden. Zu 4. vgl. \textit{Landau} (1913; F. d. M. 44, 281 (JFM 44.0281.*)).