8. Limit At Infinity Ananyzer — Theory
Limits at infinity describe the long-run behavior of a function as \(x\to +\infty\) or \(x\to -\infty\).
These limits are closely connected to asymptotes and growth rates.
1) Horizontal asymptotes
If \(\displaystyle \lim_{x\to \infty} f(x)=L\) (finite), then the graph approaches the horizontal line \(y=L\),
called a horizontal asymptote.
\[
\lim_{x\to \pm\infty} f(x) = L
\quad\Longrightarrow\quad
\text{horizontal asymptote: } y=L.
\]
2) Rational functions \(\frac{P(x)}{Q(x)}\): compare degrees
For a reduced rational function, compare degrees \(d_P=\deg P\) and \(d_Q=\deg Q\):
\[
\deg P < \deg Q \Rightarrow \lim_{x\to \pm\infty}\frac{P(x)}{Q(x)} = 0
\]
\[
\deg P = \deg Q \Rightarrow \lim_{x\to \pm\infty}\frac{P(x)}{Q(x)} = \frac{\text{leading coeff of }P}{\text{leading coeff of }Q}
\]
If \(\deg P > \deg Q\), the function does not have a horizontal asymptote (it typically diverges),
but it may have a slant or polynomial asymptote from long division.
3) Slant and polynomial asymptotes (long division)
If \(P\) and \(Q\) are polynomials with \(\deg P \ge \deg Q\), divide:
\[
\frac{P(x)}{Q(x)} = S(x) + \frac{R(x)}{Q(x)},
\quad \deg R < \deg Q.
\]
Then \(\frac{R(x)}{Q(x)}\to 0\) as \(x\to \pm\infty\), so the asymptote is \(y=S(x)\).
\[
\deg P = \deg Q + 1 \Rightarrow \text{slant asymptote (linear)} \quad y=S(x)
\]
\[
\deg P \ge \deg Q + 2 \Rightarrow \text{polynomial asymptote} \quad y=S(x)
\]
4) Exponential, polynomial, logarithmic growth
A key “dominance ladder” for \(x\to +\infty\) is:
\[
\ln x \ll x^p \ll a^x \ll x! \quad (p>0,\ a>1).
\]
- Exponentials dominate polynomials: \(\displaystyle \frac{e^x}{x^n}\to \infty\) as \(x\to +\infty\).
- Polynomials dominate logarithms: \(\displaystyle \frac{x^p}{\ln x}\to \infty\) as \(x\to +\infty\).
- As \(x\to -\infty\), \(e^x\to 0\) while \(e^{-x}\to \infty\).
5) A standard technique: divide by the dominant term
Example:
\[
\lim_{x\to\infty}\frac{x^2+e^x}{2x^2}.
\]
Divide numerator and denominator by \(x^2\):
\[
\frac{x^2+e^x}{2x^2}=\frac{1+\frac{e^x}{x^2}}{2}.
\]
Since \(\frac{e^x}{x^2}\to\infty\), the whole expression \(\to\infty\).
6) Big-O viewpoint (intuition)
Saying \(f(x)=O(g(x))\) means \(|f(x)|\) is eventually bounded by a constant multiple of \(|g(x)|\).
For limits at infinity, this helps you keep only the fastest-growing term.