Convergence of P-Series/Real/Proof 2

From ProofWiki
Jump to: navigation, search

Theorem

Let $p \in \R$ be a real number.

Then the $p$-series:

$\displaystyle \sum_{n \mathop = 1}^\infty n^{-p}$

is convergent if and only if $p > 1$.


Proof

Let $p = 1$.

Then from Harmonic Series is Divergent the $p$-series diverges.

So let $p > 1$.


We note that the sequence of partial sums is increasing.

Hence it is sufficient to show that they are bounded above.

Let:

$s_{2^N} := 1 + \dfrac 1 {2^p} + \dfrac 1 {3^p} + \dotsb + \dfrac 1 {N^p}$

Then:

\(\displaystyle s_N\) \(\le\) \(\displaystyle S_{2^N - 1}\)
\(\displaystyle \) \(=\) \(\displaystyle 1 + \dfrac 1 {2^p} + \dfrac 1 {3^p} + \dfrac 1 {4^p} + \dotsb + \dfrac 1 {\paren {2^N - 1}^p}\)
\(\displaystyle \) \(=\) \(\displaystyle 1 + \paren {\dfrac 1 {2^p} + \dfrac 1 {3^p} } + \paren {\dfrac 1 {4^p} + \dfrac 1 {5^p} + \dfrac 1 {6^p} + \dfrac 1 {7^p} } + \dotsb + \paren {\dfrac 1 {2^{\paren {N - 1} p} } + \dotsb + \dfrac 1 {\paren {2^N - 1}^p} }\)
\(\displaystyle \) \(\le\) \(\displaystyle 1 + \paren {\dfrac 1 {2^p} + \dfrac 1 {2^p} } + \paren {\dfrac 1 {4^p} + \dfrac 1 {4^p} + \dfrac 1 {4^p} + \dfrac 1 {4^p} } + \dotsb + \paren {\dfrac 1 {2^{\paren {N - 1} p} } + \dotsb + \dfrac 1 {2^{\paren {N - 1} p} } }\)
\(\displaystyle \) \(=\) \(\displaystyle 1 + \dfrac 2 {2^p} + \dfrac 4 {4^p} + \dotsb + \dfrac {2^{N - 1} } {2^{\paren {N - 1} p} }\)
\(\displaystyle \) \(=\) \(\displaystyle 1 + \dfrac 1 {2^{p - 1} } + \paren {\dfrac 1 {2^{p - 1} } }^2 + \dotsb + \paren {\dfrac 1 {2^{p - 1} } }^{n - 1}\)
\(\displaystyle \) \(=\) \(\displaystyle \dfrac {1 - \paren {1 / 2^{p - 1} }^N} {1 - \paren {1 / 2^{p - 1} } }\)
\(\displaystyle \) \(\le\) \(\displaystyle \dfrac 1 {1 - \paren {1 / 2^{p - 1} } }\)

Hence the result.

$\blacksquare$


Sources