Real Analysis/Landau notation

The Landau notation is an amazing tool applicable in all of real analysis. The reason it is so convenient and widely used is because it underlines a key principle of real analysis, namely estimation. Loosely speaking, the Landau notation introduces two operators which can be called the "order of magnitude" operators, which essentially compare the magnitude of two given functions.

The little-o

The little-o provides a function that is of lower order of magnitude than a given function, that is the function $o(g(x))$ is of a lower order than the function $g(x)$. Formally,

Definition

Let $A\subseteq ℝ$ and let $c\in ℝ$

Let $f,g:A\to ℝ$

If $\underset{x\to c}{\lim }\frac{f(x)}{g(x)}=0$ then we say that

"As $x\to c$, $f(x)=o(g(x))$"

Examples

• As $x\to \mathrm{\infty }$, (and $m<n$) $x^m=o(x^n)$
• As $x\to \mathrm{\infty }$, (and $n\in \mathbb{N}$) $\ln x=o(x^n)$
• As $x\to 0$, $\sin x=o(1)$

The Big-O

The Big-O provides a function that is at most the same order as that of a given function, that is the function $O(g(x))$ is at most the same order as the function $g(x)$. Formally,

Definition

Let $A\subseteq ℝ$ and let $c\in ℝ$

Let $f,g:A\to ℝ$

If there exists $M>0$ such that $\underset{x\to c}{\lim }\left|\frac{f(x)}{g(x)}\right|<M$ then we say that

"As $x\to c$, $f(x)=O(g(x))$"

Examples

• As $x\to 0$, $\sin x=O(x)$
• As $x\to \frac{\pi }{2}$, $\sin x=O(1)$

Applications

We will now consider few examples which demonstrate the power of this notation.

Differentiability

Let $f:𝒰\subseteq ℝ\to ℝ$ and $x_0\in 𝒰$.

Then $f$ is differentiable at $x_0$ if and only if

There exists a $\lambda \in ℝ$ such that as $x\to x_0$, $f(x)=f(x_0)+\lambda (x-x_0)+o(|x-x_0|)$.

Mean Value Theorem

Let $f:[a,x]\to ℝ$ be differentiable on $[a,b]$. Then,

As $x\to a$, $f(x)=f(a)+O(x-a)$

Taylor's Theorem

Let $f:[a,x]\to ℝ$ be n-times differentiable on $[a,b]$. Then,

As $x\to a$, $f(x)=f(a)+\frac{(x-a)f^{\prime }(a)}{1!}+\frac{(x-a{)}^2{f}^{″}(a)}{2!}+\dots +\frac{(x-a{)}^{n-1}{f}^{(n-1)}(a)}{(n-1)!}+O((x-a{)}^n)$