Harmonic Series (mathematics) Article Index for
Harmonic
Website Links For
Harmonic
 

Information About

Harmonic Series (mathematics)




In Mathematics , the harmonic series is the Infinite Series

: \sum_{k=1}^\infty rac{1}{k} =
1 + rac{1}{2} + rac{1}{3} + rac{1}{4} +
\cdots.

It is so called because the wavelengths of the overtones of a vibrating string are proportional to 1, 1/2, 1/3, 1/4, ... .

It diverges, albeit slowly, to Infinity . This can be proved by noting that the harmonic series is term-by-term larger than or equal to the series

: \sum_{k=1}^\infty 2^{-\lceil \log_2 k ceil} \! =
1 + \left[ rac{1}{2} ight] + \left[ rac{1}{4} + rac{1}{4} ight]
+ \left[ rac{1}{8} + rac{1}{8} + rac{1}{8} + rac{1}{8} ight] + rac{1}{16}\cdots
::: = \quad\ 1 +\ rac{1}{2}\ +\ \quad rac{1}{2} \ \quad+ \ \qquad\quad rac{1}{2}\qquad\ \quad \ + \ \quad\ \cdots

which clearly diverges. (This proof, due to Nicole Oresme , is a high point of Medieval mathematics.) Even the sum of the reciprocals of the Prime Number s diverges to infinity (although that is much harder to prove; see Proof That The Sum Of The Reciprocals Of The Primes Diverges ).
The alternating harmonic series converges however:

: \sum_{k = 1}^\infty rac{(-1)^{k + 1}}{k} = \ln 2.

This is a consequence of the Taylor Series of the Natural Logarithm .

If we define the ''n''-th Harmonic Number as

: H_n = \sum_{k = 1}^n rac{1}{k}

then ''H''''n'' grows about as fast as the Natural Logarithm of ''n''. The reason is that the sum is approximated by the Integral

: \int_1^n {1 \over x}\, dx

whose value is ln(''n'').

More precisely, we have the Limit :

: \lim_{n o \infty} H_n - \ln(n) = \gamma

where γ is the Euler-Mascheroni Constant .

It has been proven that:

#The only ''H''''n'' that is an integer is ''H''1.
#The difference ''H''''m'' − ''H''''n'' where ''m'' > ''n'' is never an integer.

Jeffrey Lagarias proved in 2001 that the Riemann Hypothesis is equivalent to the statement

:\sigma(n)\le H_n + \ln(H_n)e^{H_n} \qquad \mbox{ for every }n\in\mathbb{N}

where σ(''n'') stands for the sum of positive Divisor s of ''n''. (See ''An Elementary Problem Equivalent to the Riemann Hypothesis'', American Mathematical Monthly, volume 109 (2002), pages 534--543.)

The general harmonic series is of the form
:\sum_{n=1}^{\infty} rac{1}{an+b}
All general harmonic series diverge.

The ''p''-series, is (any of) the series

:\sum_{n=1}^{\infty} rac{1}{n^p}

for ''p'' a positive real number. The series is convergent if ''p'' > 1 and divergent otherwise. When ''p'' = 1, the series is the harmonic series. If ''p'' > 1 then the sum of the series is ζ(''p''), i.e., the Riemann Zeta Function evaluated at ''p''.

This can be used in the testing of Convergence of series.


SEE ALSO