How to prove divergence of harmonic series by eps-delta proof?

Click For Summary
SUMMARY

The discussion focuses on proving the divergence of the harmonic series using an epsilon-delta argument. By setting ##\epsilon=\frac{1}{2}## and analyzing the difference between the partial sums ##s_N## and ##s_{2N}##, it is demonstrated that the sequence of partial sums does not satisfy the Cauchy criterion for convergence. The conclusion is that the harmonic series diverges, as the partial sums grow without bound.

PREREQUISITES
  • Understanding of epsilon-delta definitions in calculus
  • Familiarity with sequences and series, particularly the harmonic series
  • Knowledge of Cauchy sequences and their convergence properties
  • Basic mathematical notation and manipulation skills
NEXT STEPS
  • Study the properties of Cauchy sequences in more detail
  • Explore other proofs of divergence for the harmonic series
  • Learn about convergence tests for series, such as the comparison test
  • Investigate the implications of divergence in real analysis
USEFUL FOR

This discussion is beneficial for mathematics students, educators, and anyone interested in real analysis, particularly those studying series convergence and divergence proofs.

Eclair_de_XII
Messages
1,082
Reaction score
91
Homework Statement
Let ##\{s_n\}_{n\in \mathbb{N}}=\{\sum_{1\leq k \leq n} \frac{1}{k}\}_{n\in \mathbb{N}}##. Show that this sequence cannot converge.
Relevant Equations
A sequence ##\{a_n\}_{n\in \mathbb{N}}## is Cauchy (or equivalently, convergent) iff for all ##\epsilon >0##, there is a positive integer ##N## such that for all ##n,m\geq N##, ##|a_n-a_m|<\epsilon##.

Want to prove:
There is a ##\epsilon>0## such that for all positive integers ##N##, there is ##n,m\geq N## such that ##|s_n-s_m|\geq \epsilon##
Set ##\epsilon=\frac{1}{2}##. Let ##N\in \mathbb{N}## and choose ##n=N,m=2N##. Then:

##\begin{align*}
\left|s_N-s_{2N}\right|&=&\left|\sum_{l=1}^N \frac{1}{l} - \sum_{l=1}^{2N} \frac{1}{l}\right|\\
&=&\left|\left(1+\frac{1}{2}+...+\frac{1}{N}\right)-\left(1+...+\frac{1}{N}+...+\frac{1}{2N}\right)\right|\\
&=&\left|\frac{1}{N+1}+...+\frac{1}{N+N}\right|\\
&>&\left|\frac{1}{N+N}+...+\frac{1}{N+N}\right|=\left|\frac{N}{N+N}\right|\\
&=&\left|\frac{N}{2N}\right|=\frac{1}{2}=\epsilon
\end{align*}##
 
  • Like
Likes   Reactions: Delta2
Physics news on Phys.org
I think your work is correct. You prove that the sequence of partial sums is not Cauchy, and hence (by equivalence of the notions of Cauchy and Convergence for a sequence) is not convergent.
 
  • Like
Likes   Reactions: Eclair_de_XII
Thanks for checking my work.
 
  • Like
Likes   Reactions: Delta2

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
17
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K