Als Reaktion auf meinen kürzlich veröffentlichten Eintrag „Übungen zur Analysis I (nicht vertieft): Alternativer Zugang zu Blatt 8, Aufgabe 4 b)“ erhielt ich von Herrn Prof. Rieder Nachricht über ein weiteres Argument, das beweist, dass für alle Folgen reeller Zahlen $(a_n)_{n\in\N}$ und alle $k\in\N_0$ die Beziehung
\begin{equation}
\limsup_{n\to\infty} \sqrt[n]{|a_n|} = \limsup_{n\to\infty} \sqrt[n]{|a_{n+k}|} \label{e_main}
\end{equation} gilt. Die oberen Limiten werden dabei in \eqref{e_main} sowie im gesamten weiteren Verlauf stets bezogen auf die erweiterten reellen Zahlen $\bar\R = \R\cup\{\pm\infty\}$ berechnet. Ich gebe Herrn Prof. Rieders Argument sinngemäß wieder (und hoffe, er möge mir kleinere Abweichungen von seiner übermittelten Darstellung verzeihen).
\begin{equation}
\limsup_{n\to\infty} \sqrt[n]{|a_n|} = \limsup_{n\to\infty} \sqrt[n]{|a_{n+k}|} \label{e_main}
\end{equation} gilt. Die oberen Limiten werden dabei in \eqref{e_main} sowie im gesamten weiteren Verlauf stets bezogen auf die erweiterten reellen Zahlen $\bar\R = \R\cup\{\pm\infty\}$ berechnet. Ich gebe Herrn Prof. Rieders Argument sinngemäß wieder (und hoffe, er möge mir kleinere Abweichungen von seiner übermittelten Darstellung verzeihen).
Lemma. Sei $n_0\in\N$, $(b_n)_{n\geq n_0}$ eine Folge in $[0,\infty)$, $k\in\Z$. Dann giltBeweis. Angenommen, \[l' < l.\] Dann gibt es reelle Zahlen $s,t$, so dass \[l' < s < t < l.\] Da $t < l$, haben wir \[t < \sup\{\sqrt[n]{b_n} \mid n \ge m\}\] für alle $m\in\N$, $m \ge n_0$. Das heißt, für alle $m\in\N$ mit $m\ge n_0$ gibt es ein $n\in\N$, so dass $n\geq m$ und \[t < \sqrt[n]{b_n}.\] Mit anderen Worten: die Menge \[\{n \in \N \mid n \geq n_0, t < \sqrt[n]{b_n}\}\] ist unendlich. Da alle Glieder der Folge $(\sqrt[n]{b_{n+k}})$ nichtnegativ sind, gilt $0 \leq l'$, also $0 < t$. Wir setzen \[w := \log{t}.\] Aufgrund der (strengen) Monotonie der Exponentialfunktion folgt damit für alle $n\in\N$, $n\geq n_0$ aus \[\exp(w) = t < \sqrt[n]{b_n},\] dass \[0 < b_n \quad \text{und} \quad w < \frac1n \log{b_n}.\] Somit ist die Menge \[\{n\in\N\mid n+k\geq n_0,0 < b_{n+k},w<\frac1{n+k}\log(b_{n+k})\}\] unendlich. Für alle $n\in\N$ mit $n\geq n_0-k$ und $0 < b_{n+k}$ impliziert \[w<\frac1{n+k}\log(b_{n+k}),\] dass \[\frac{n+k}n w < \frac1n\log(b_{n+k}).\] Da $0<s$, existiert $v := \log s$. Die Monotonie der Exponentialfunktion liefert $v < w$. Folglich existiert ein $n_1 \in \N$, so dass für alle $n\in\N$ mit $n\geq n_1$: \[v < \frac{n+k}n w.\] Demnach sind die Mengen \[\{n\in\N\mid n+k\geq n_0, 0<b_{n+k},v<\frac1n\log(b_{n+k})\},\] und mithin \[\{n\in\N\mid n\geq n_0-k, s < \sqrt[n]{b_{n+k}}\},\] unendlich. Für alle $m\in\N$ mit $m\geq n_0-k$ ist also \[s < \sup\{\sqrt[n]{b_{n+k}} \mid n \geq m\},\] das heißt \[ s \leq \limsup_{n\to\infty} \sqrt[n]{b_{n+k}} = l' < s,\] was im Widerspruch zur Irreflexivität von $<$ steht. Somit gilt nicht $l' < l$, und wir schließen auf \eqref{e_rieder}. $\Box$
\begin{equation}
l := \limsup_{\substack{n\to\infty\\ n\geq n_0}} \sqrt[n]{b_n} \le \limsup_{\substack{n\to\infty\\ n\geq n_0-k}} \sqrt[n]{b_{n+k}} =: l'. \label{e_rieder}
\end{equation}
Korollar 1. Sei $(b_n)_{n\in\N}$ eine Folge in $[0,\infty)$ und $k\in \N_0$. Dann gilt \[l := \limsup_{n\to\infty} \sqrt[n]{b_n} = \limsup_{n\to\infty} \sqrt[n]{b_{n+k}} =: l'.\]Beweis. Das Lemma liefert sofort \[l \leq l'.\] Sei jetzt $(b'_n)_{n\in\N}$ gegeben durch \[b'_n = b_{n+k}.\] Dann folgt aus dem Lemma, angewendet auf $(b'_n)$ anstelle von $(b_n)$ und $-k$ anstelle von $k$, \[l' = \limsup_{n\to\infty} \sqrt[n]{b'_n} \leq \limsup_{\substack{n\to\infty\\ n\geq 1-(-k)}} \sqrt[n]{b'_{n+(-k)}} =: l''.\] Für alle $n\in\N$ mit $n \geq 1-(-k) = 1+k$ gilt aber: \[b'_{n+(-k)} = b_{(n+(-k))+k} = b_n.\] Das heißt, \[l'' = \limsup_{\substack{n\to\infty\\ n\geq 1+k}} \sqrt[n]{b_n} = \limsup_{n\to\infty} \sqrt[n]{b_n} = l.\] Aufgrund der Antisymmetrie von $\leq$ ergibt sich \[l=l',\] was zu beweisen war. $\Box$
Korollar 2. Sei $(a_n)_{n\in\N}$ eine Folge in $\R$ und $k\in \N_0$. Dann gilt \eqref{e_main}.Beweis. \eqref{e_main} folgt unmittelbar aus Korollar 1 für $(b_n) = (|a_n|)$. $\Box$