# Limsup, liminf simply explained

• Jan 14th 2012, 11:19 AM
gotmejerry
Limsup, liminf simply explained
I don't really understand these and why are they important. Can someone explain me these concepts?
Thanks!
• Jan 16th 2012, 06:33 AM
JakeBarnes
Re: Limsup, liminf simply explained
There are a few equivalent ways to define these concepts. Let $\displaystyle \{a_n\}_{n=1}^{\infty}$ be a sequence of real numbers. For each positive integer n, define the number $\displaystyle b_n := \sup \{a_k : k \ge n\}$. Then we define $\displaystyle \limsup_{n \to \infty} a_n := \lim_{n \to \infty} b_n$.

There are a few immediate consequences of this definition:

1. If $\displaystyle m \le n$ then $\displaystyle \{a_k : k \ge n\} \subset \{a_k : k \ge m\}$. So $\displaystyle b_m \ge b_n$, hence the sequence $\displaystyle \{b_n\}_{n=1}^{\infty}$ is a decreasing sequence. So $\displaystyle \lim_{n \to \infty} b_n$ always exists, since a monotonic sequence of real numbers always has a limit in the extended reals.

Similarly, we can define $\displaystyle c_n := \inf \{a_k : k \ge n\}$ and defining $\displaystyle \liminf_{n \to \infty} a_n := \lim_{n \to \infty} c_n$. Then a similar analysis shows that the sequence $\displaystyle \{c_n\}_{n=1}^{\infty}$ is a monotonically increasing sequence, and so its limit always exists in the extended reals.

2. $\displaystyle \lim_{n \to \infty} a_n$ exists if and only if $\displaystyle \limsup_{n \to \infty} a_n = \liminf_{n \to \infty} a_n$; in which case, the limit is the same.

3. $\displaystyle \liminf_{n \to \infty} a_n \le \limsup_{n \to \infty} a_n$

4. If $\displaystyle B = \limsup_{n \to \infty} a_n$ and $\displaystyle C = \liminf_{n \to \infty} a_n$, then B and C satisfy the following:

$\displaystyle a_n > B$ for only finitely many n and $\displaystyle a_n < C$ for only finitely many n.

5. There exist subsequences of $\displaystyle \{a_n\}_{n=1}^{\infty}$ which converge to B and C.

Now, why do we care? For starters, the limsup and liminf always exist. Compare this with the limit, which need not exist for any particular sequence. For example, the sequence $\displaystyle a_n = (-1)^n$ has no limit. The limsup and liminf provide tools which can be used to establish some properties for the sequence.

An elementary example of this is the root test from the analysis of infinite sums.

Root test: Given a sequence $\displaystyle \{a_n\}_{n=1}^{\infty}$ of real numbers, set $\displaystyle A := \limsup_{n \to \infty} (|a_n|)^{\frac{1}{n}}$

Then:

If A < 1, the sum converges
If A > 1, the sum diverges
If A = 1, there is no conclusion.

Now note in the statement of the theorem that there's no question of the existence of A. You might have encountered this theorem once before with the limsup replaced by an ordinary limit. The same result holds, so long as the limit exists. By extending the statement to deal with a limsup, there is no need to assume the stronger hypothesis that the limit exists.

Analysis is often concerned with estimations and approximations. The limsup and liminf provide a convenient method for constructing bounds on the end behavior of the sequence.