β—€ Back to Note

Tony's Intertwingled Memex β€’ Reference Manual

Limits at Infinity

Formulas & Definitions
Core Definition

A limit at infinity describes the global end behavior of a function f(x)f(x)f(x) as the independent variable xxx increases or decreases without bound:

  • Positive Infinity: lim⁑xβ†’βˆžf(x)=L\lim_{x \to \infty} f(x) = Llimxβ†’βˆžβ€‹f(x)=L
  • Negative Infinity: lim⁑xβ†’βˆ’βˆžf(x)=M\lim_{x \to -\infty} f(x) = Mlimxβ†’βˆ’βˆžβ€‹f(x)=M If the limit approaches a finite real number (LLL or MMM), the corresponding line y=Ly = Ly=L or y=My = My=M is a horizontal asymptote.

Concept Explanation

While standard limits analyze localized behavior near a specific point x=cx = cx=c, limits at infinity zoom out infinitely far across the global domain. They answer the question: What is the long-term, steady-state behavior of the system as time or distance grows arbitrarily large?

        y ^
          |                 f(x)
       L -+ - - - - - - - - - - - - - - - - (Horizontal Asymptote y = L)
          |              . ~ ~ ~ ~ ~ - -
          |         . '
          |      . '
          +-----+--------------------------> x
          0     |

Three Fundamental Outcomes at Infinity

  1. Convergence to a Finite Constant (L∈RL \in \mathbb{R}L∈R): The function flattens out along the horizontal line y=Ly = Ly=L.
  2. Divergence to Infinity (±∞\pm\infty±∞): The function grows or drops without bound.
  3. Oscillatory Non-Convergence (DNE\text{DNE}DNE): The function oscillates perpetually without settling (e.g., lim⁑xβ†’βˆžsin⁑(x)\lim_{x \to \infty} \sin(x)limxβ†’βˆžβ€‹sin(x)).

Fundamental Reciprocal Power Rule

For any rational number r>0r > 0r>0 and constant ccc:

lim⁑xβ†’βˆžcxr=0andlim⁑xβ†’βˆ’βˆžcxr=0(providedΒ xrΒ isΒ definedΒ forΒ x<0)\lim_{x \to \infty} \frac{c}{x^r} = 0 \quad \text{and} \quad \lim_{x \to -\infty} \frac{c}{x^r} = 0 \quad (\text{provided } x^r \text{ is defined for } x < 0)xβ†’βˆžlim​xrc​=0andxβ†’βˆ’βˆžlim​xrc​=0(providedΒ xrΒ isΒ definedΒ forΒ x<0)

This fundamental rule is the primary engine behind Growth Dominance: dividing all terms in a rational expression by the highest power of xxx reduces lower-order terms to 000.


Engineering Applications

Limits at infinity are essential in modeling steady-state physical systems:

  • Aerospace & Mechanical Engineering: Determining the terminal velocity of a falling projectile or re-entry vehicle under atmospheric drag.
  • Biochemical & Environmental Engineering: Calculating maximum saturation throughput (Vmax⁑V_{\max}Vmax​) in Michaelis-Menten enzyme kinetics and bioreactors.
  • Electrical & Computer Engineering: Determining steady-state capacitor voltages in RC networks and response latency in distributed server clusters.

Example Problems

Example Problem 1: Rational End Behavior

Evaluate the limit:

lim⁑xβ†’βˆž4x3βˆ’2x+72x3+5x2βˆ’1\lim_{x \to \infty} \frac{4x^3 - 2x + 7}{2x^3 + 5x^2 - 1}xβ†’βˆžlim​2x3+5x2βˆ’14x3βˆ’2x+7​

Solution

Step 1: Divide by the highest power in the denominator (x3x^3x3)

lim⁑xβ†’βˆž4x3x3βˆ’2xx3+7x32x3x3+5x2x3βˆ’1x3=lim⁑xβ†’βˆž4βˆ’2x2+7x32+5xβˆ’1x3\lim_{x \to \infty} \frac{\frac{4x^3}{x^3} - \frac{2x}{x^3} + \frac{7}{x^3}}{\frac{2x^3}{x^3} + \frac{5x^2}{x^3} - \frac{1}{x^3}} = \lim_{x \to \infty} \frac{4 - \frac{2}{x^2} + \frac{7}{x^3}}{2 + \frac{5}{x} - \frac{1}{x^3}}xβ†’βˆžlim​x32x3​+x35x2β€‹βˆ’x31​x34x3β€‹βˆ’x32x​+x37​​=xβ†’βˆžlim​2+x5β€‹βˆ’x31​4βˆ’x22​+x37​​

Step 2: Apply the reciprocal power rule
As xβ†’βˆžx \to \inftyxβ†’βˆž, all terms cxrβ†’0\frac{c}{x^r} \to 0xrc​→0:

=4βˆ’0+02+0βˆ’0=42=2= \frac{4 - 0 + 0}{2 + 0 - 0} = \frac{4}{2} = 2=2+0βˆ’04βˆ’0+0​=24​=2

Conclusion: The limit is 222, producing a horizontal asymptote at y=2y = 2y=2.

Example Problem 2: Polynomial Leading Term End Behavior

Evaluate the limit:

lim⁑xβ†’βˆ’βˆž(5x4βˆ’3x3+2xβˆ’9)\lim_{x \to -\infty} (5x^4 - 3x^3 + 2x - 9)xβ†’βˆ’βˆžlim​(5x4βˆ’3x3+2xβˆ’9)

Solution

Step 1: Factor out the highest power term

lim⁑xβ†’βˆ’βˆž5x4(1βˆ’35x+25x3βˆ’95x4)\lim_{x \to -\infty} 5x^4 \left( 1 - \frac{3}{5x} + \frac{2}{5x^3} - \frac{9}{5x^4} \right)xβ†’βˆ’βˆžlim​5x4(1βˆ’5x3​+5x32β€‹βˆ’5x49​)

Step 2: Evaluate the dominant term
As xβ†’βˆ’βˆžx \to -\inftyxβ†’βˆ’βˆž, the bracketed expression approaches 1βˆ’0+0βˆ’0=11 - 0 + 0 - 0 = 11βˆ’0+0βˆ’0=1. The leading term 5x45x^45x4 dominates: Since (βˆ’βˆž)4=+∞(- \infty)^4 = +\infty(βˆ’βˆž)4=+∞ (even power), 5(+∞)=+∞5(+\infty) = +\infty5(+∞)=+∞.

Conclusion: lim⁑xβ†’βˆ’βˆž(5x4βˆ’3x3+2xβˆ’9)=+∞\lim_{x \to -\infty} (5x^4 - 3x^3 + 2x - 9) = +\inftylimxβ†’βˆ’βˆžβ€‹(5x4βˆ’3x3+2xβˆ’9)=+∞.


Connections & References

  • Parent Concepts: Limits, Calculus Foundations
  • Related Concepts: Horizontal Asymptotes, Growth Dominance in Limits, Limits with Radicals and Conjugates, Vertical Asymptotes
  • Course Links: Calc-1 Session 04