Wurzelkriterium: Sei \(\rho = {{c4:: \limsup_{n\to\infty} |a_n|^{1/n} }}\). Dann:
- \(\rho < 1\) \(\implies\) \(\sum a_n\) konvergiert absolut
- \(\rho > 1\) \(\implies\) \(\sum a_n\) divergiert
- \(\rho = 1\) \(\implies\) keine Aussage möglich
Proof Included
Wenn Quotientenkriterium versagt (\(\rho=1\)), versagt auch das Wurzelkriterium — aber
nicht umgekehrt.
Proof:
- Convergence \(L < 1\)
-
- \(\sum a_n \geq 0\), \(\displaystyle L = \limsup_{n\to\infty} \left| {a_n}^{1/n} \right| < 1\).
- Choose \(q\) with \(L < q < 1\). Since \(\limsup \left| {a_n}^{1/n} \right| = L\), there exists \(N\) such that for all \(n \geq N: \left| {a_n}^{1/n} \right| \leq\) \(q \implies \left| a_n \right| \leq q^n\)
- So \(\sum_{n=N}^{\infty} \left| a_n \right| \leq\) \(\sum_{n=N}^{\infty} q^n < \infty\) (geometric series, \(q < 1\)).
- Hence \(\sum \left| a_n \right|\) converges. (Majorantenkriterium)
-
Divergence \(L > 1\)
- \(\sum a_n \geq 0\), \(\displaystyle L = \limsup_{n\to\infty} \left| {a_n}^{1/n} \right|\) \(> 1\).
- Since \(\limsup \left| {a_n}^{1/n} \right| > 1\), there exist infinitely many \(n\) such that: \(\left| {a_n}^{1/n} \right| >\) \(1 \implies |a_n| > 1\)
- So \(|a_n| \not\to 0\), hence \(\sum a_n\) diverges.Convergence