Calculus – Why the Harmonic Series Diverges but the p-Harmonic Series Converges

calculussequences-and-series

I am struggling understanding intuitively why the harmonic series diverges but the p-harmonic series converges. I know there are methods and applications to prove convergence, but I am only having trouble understanding intuitively why it is. I know I must never trust my intuition, but this is hard for me to grasp. In both cases, the terms of the series are getting smaller, hence are approaching zero, but they both result in different answers.
$$\sum_{n=1}^{\infty}\frac{1}{n}=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\cdots = \text{diverges}$$ $$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^2}=1+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\cdots =\text{converges}$$

Best Answer

Firstly, you should always use your intuition. If you find that your intuition was correct, then smile. If you find that your intuition was wrong, use the experience to fine-tune your intuition.

I hope I'm interpreting you question correctly - here goes. Since you are not interested in any of the proofs, I'll just focus on intuition. Now, let's consider a series of the from $\sum _n \frac{1}{n^p}$, with $p>0$ a parameter. Intuitively, the convergence or divergence of the series depends on how fast the general term $\frac{1}{n^p}$ tends to $0$. This is so because the sum is that of infinitely many positive quantities. If these quantities converge to $0$ too slow, the number of summands in each partial sum will be more dominant than the magnitude of the summands. However, if the quantities converge to $0$ fast enough, then in each partial sum the magnitude of the summands will be dominated by numbers of small magnitude, and thus outweigh the fact that there are lots of summands.

So, the question is how fast does $\frac{1}{n^p}$ converge to $0$. Let's look at some extreme values of $p$. If $p$ is very large, say $p=1000$, then $\frac{1}{n^p}$ becomes very small very fast (experiment with computing just a few values to see that). So, when $p$ is large, it seems the general term converges to $0$ very fast, and thus we'd expect the series to converge. However, if the value of $p$ is very small, say $p=\frac{1}{1000}$, then $\frac{1}{n^p}$ is actually pretty large for the first few possibilities for $n$, and while it does monotonically tend to $0$, it does so very slowly. So, we'd expect the series to diverge when $p$ is small.

Now, if $0<p<q$ then $\frac{1}{n^q}<\frac{1}{n^p}$, so the bigger the parameter the faster the convergence of the general term to $0$ gets. So, small values for the parameter imply diverge of the series, while large values of the parameter imply convergence of the series. So, somewhere in the middle there has to be a value $b$ for the parameter such that if $p<b$ then the series diverges, while if $p>b$ then the series converges.

So, just by this straightforward analysis of the behaviour with respect to varying the parameter $p$, we know (intuitively) that there must be some cut-off value for $p$ that is the gateway between convergence and divergence. What happens at the that gateway value for $p$ is unclear, and there is no compelling reason to suspect one behaviour of the series over another. Now, the particular whereabouts of that special gateway value for $p$ should depend strongly on the particularities of the general term. This is thus where you'll have to delve into more rigorous proofs.

I hope this rather lengthy answer addresses what you were wondering about. Basically, it says that a cutoff parameter must exist, but we can't expect to say anything about its whereabouts nor the behaviour at that cutoff value without careful study of the general terms.

Related Question