The behavior of limits at infinity describes the "end behavior" of a function, revealing what happens to the function's output ( yy π¦ -values) as the input (xx
π₯
) grows without bound, either positively (xββx right arrow infinity
π₯ββ
) or negatively (xβββx right arrow negative infinity
π₯βββ
). The analysis of limits at infinity is fundamental to determining if a function has a horizontal asymptote.
The core concept of limits at infinity
As xx
π₯
approaches infinity or negative infinity, the function's behavior can follow one of three general paths:
-
Approach a finite number: The function's value gets arbitrarily close to a specific, finite number Lcap L
πΏ
. If limxββf(x)=Llimit over x right arrow infinity of f of x equals cap L
limπ₯ββπ(π₯)=πΏ
, the line y=Ly equals cap L
π¦=πΏ
is a horizontal asymptote.
-
Approach infinity or negative infinity: The function's value grows or shrinks without bound, tending toward βinfinity
β
or ββnegative infinity
ββ
.
-
Oscillate: The function's value bounces between different numbers, never settling on a single value, so the limit does not exist.
Evaluating limits at infinity for different function types
Rational functions
For rational functionsβa ratio of two polynomials, f(x)=P(x)Q(x)f of x equals the fraction with numerator cap P open paren x close paren and denominator cap Q open paren x close paren end-fraction
π(π₯)=π(π₯)π(π₯)
βthe limit at infinity is determined by comparing the degrees of the numerator, P(x)cap P open paren x close paren
π(π₯)
, and the denominator, Q(x)cap Q open paren x close paren
π(π₯)
. The dominant term in each polynomial (the term with the highest power of xx
π₯
) dictates the function's end behavior. A reliable algebraic technique is to divide every term in the function by the highest power of xx
π₯
in the denominator.
Let Ncap N
π
be the degree of the numerator and Dcap D
π·
be the degree of the denominator.
-
**If N<Dcap N is less than cap D
π<π·
:** The denominator grows much faster than the numerator. The limit is 0, and there is a horizontal asymptote at y=0y equals 0
π¦=0
.
-
**Example:**limxββx2β1x3+2=limxββx2x3β1x3x3x3+2x3=limxββ1xβ1x31+2x3=0β01+0=0limit over x right arrow infinity of the fraction with numerator x squared minus 1 and denominator x cubed plus 2 end-fraction equals limit over x right arrow infinity of the fraction with numerator the fraction with numerator x squared and denominator x cubed end-fraction minus the fraction with numerator 1 and denominator x cubed end-fraction and denominator the fraction with numerator x cubed and denominator x cubed end-fraction plus the fraction with numerator 2 and denominator x cubed end-fraction end-fraction equals limit over x right arrow infinity of the fraction with numerator 1 over x end-fraction minus the fraction with numerator 1 and denominator x cubed end-fraction and denominator 1 plus the fraction with numerator 2 and denominator x cubed end-fraction end-fraction equals the fraction with numerator 0 minus 0 and denominator 1 plus 0 end-fraction equals 0
limπ₯ββπ₯2β1π₯3+2=limπ₯ββπ₯2π₯3β1π₯3π₯3π₯3+2π₯3=limπ₯ββ1π₯β1π₯31+2π₯3=0β01+0=0
.
-
-
**If N=Dcap N equals cap D
π=π·
:** The numerator and denominator grow at the same rate. The limit is the ratio of the leading coefficients.
-
**Example:**limxββ5x2+32x2+4x=limxββ5x2x2+3x22x2x2+4xx2=limxββ5+3x22+4x=5+02+0=52limit over x right arrow infinity of the fraction with numerator 5 x squared plus 3 and denominator 2 x squared plus 4 x end-fraction equals limit over x right arrow infinity of the fraction with numerator the fraction with numerator 5 x squared and denominator x squared end-fraction plus the fraction with numerator 3 and denominator x squared end-fraction and denominator the fraction with numerator 2 x squared and denominator x squared end-fraction plus the fraction with numerator 4 x and denominator x squared end-fraction end-fraction equals limit over x right arrow infinity of the fraction with numerator 5 plus the fraction with numerator 3 and denominator x squared end-fraction and denominator 2 plus 4 over x end-fraction end-fraction equals the fraction with numerator 5 plus 0 and denominator 2 plus 0 end-fraction equals five-halves
limπ₯ββ5π₯2+32π₯2+4π₯=limπ₯ββ5π₯2π₯2+3π₯22π₯2π₯2+4π₯π₯2=limπ₯ββ5+3π₯22+4π₯=5+02+0=52
.
-
-
**If N>Dcap N is greater than cap D
π>π·
:** The numerator grows faster than the denominator. The limit is **βinfinity
β
or ββnegative infinity
ββ** , and there is no horizontal asymptote. The sign is determined by the signs of the leading coefficients.
-
**Example:**limxββ4x3xβ1=limxββ4x3xxxβ1x=limxββ4x21β1x=β1=βlimit over x right arrow infinity of the fraction with numerator 4 x cubed and denominator x minus 1 end-fraction equals limit over x right arrow infinity of the fraction with numerator the fraction with numerator 4 x cubed and denominator x end-fraction and denominator x over x end-fraction minus 1 over x end-fraction end-fraction equals limit over x right arrow infinity of the fraction with numerator 4 x squared and denominator 1 minus 1 over x end-fraction end-fraction equals the fraction with numerator infinity and denominator 1 end-fraction equals infinity
limπ₯ββ4π₯3π₯β1=limπ₯ββ4π₯3π₯π₯π₯β1π₯=limπ₯ββ4π₯21β1π₯=β1=β
.
-
Functions involving radicals
For limits at infinity involving square roots, particularly in rational expressions, the highest power of xx
π₯
in the denominator must be carefully identified. When xβββx right arrow negative infinity
π₯βββ
, the term x2the square root of x squared end-root
π₯2β
should be treated as βxnegative x
βπ₯
, not xx
π₯
, to account for the negativity of xx
π₯
.
-
**Example:**limxβββx2+12xβ5limit over x right arrow negative infinity of the fraction with numerator the square root of x squared plus 1 end-root and denominator 2 x minus 5 end-fraction
limπ₯βββπ₯2+1β2π₯β5
-
Divide the numerator and denominator by xx
π₯
: limxβββx2+1x2xβ5x=limxββββx2+1x22β5x=limxββββ1+1x22β5x=β1+02β0=β12limit over x right arrow negative infinity of the fraction with numerator the fraction with numerator the square root of x squared plus 1 end-root and denominator x end-fraction and denominator the fraction with numerator 2 x minus 5 and denominator x end-fraction end-fraction equals limit over x right arrow negative infinity of the fraction with numerator negative the square root of the fraction with numerator x squared plus 1 and denominator x squared end-fraction end-root and denominator 2 minus 5 over x end-fraction end-fraction equals limit over x right arrow negative infinity of the fraction with numerator negative the square root of 1 plus the fraction with numerator 1 and denominator x squared end-fraction end-root and denominator 2 minus 5 over x end-fraction end-fraction equals the fraction with numerator negative the square root of 1 plus 0 end-root and denominator 2 minus 0 end-fraction equals negative one-half
limπ₯βββπ₯2+1βπ₯2π₯β5π₯=limπ₯ββββπ₯2+1π₯22β5π₯=limπ₯ββββ1+1π₯22β5π₯=β1+0β2β0=β12
.
-
Exponential and logarithmic functions
The behavior of these functions at infinity is dictated by their intrinsic growth rates.
-
**Exponential functions (f(x)=bxf of x equals b to the x-th power
π(π₯)=ππ₯
):**
-
**b>1b is greater than 1
π>1
:**limxββbx=βlimit over x right arrow infinity of b to the x-th power equals infinity
limπ₯ββππ₯=β
and limxβββbx=0limit over x right arrow negative infinity of b to the x-th power equals 0
limπ₯βββππ₯=0
.
-
**0<b<10 is less than b is less than 1
0<π<1
:**limxββbx=0limit over x right arrow infinity of b to the x-th power equals 0
limπ₯ββππ₯=0
and limxβββbx=βlimit over x right arrow negative infinity of b to the x-th power equals infinity
limπ₯βββππ₯=β
.
-
-
**Logarithmic functions (f(x)=logb(x)f of x equals log base b of x
π(π₯)=logπ(π₯)
):**
-
**b>1b is greater than 1
π>1
:**limxββlogb(x)=βlimit over x right arrow infinity of log base b of x equals infinity
limπ₯ββlogπ(π₯)=β
. The domain of logb(x)log base b of x
logπ(π₯)
is only positive numbers, so limxβββlimit over x right arrow negative infinity of
limπ₯βββ
is not considered.
-
Trigonometric functions
The standard trigonometric functions, such as sin(x)sine x
sin(π₯)
and cos(x)cosine x
cos(π₯)
, have no limit as xββx right arrow infinity
π₯ββ
or xβββx right arrow negative infinity
π₯βββ
because they oscillate indefinitely between -1 and 1.
However, the Squeeze Theorem can be used for more complex expressions involving trigonometric functions.
-
**Example:**limxββsin(x)xlimit over x right arrow infinity of sine x over x end-fraction
limπ₯ββsin(π₯)π₯
-
We know that -1β€sin(x)β€1negative 1 is less than or equal to sine x is less than or equal to 1
β1β€sin(π₯)β€1
.
-
Divide all parts of the inequality by xx
π₯
(for x>0x is greater than 0
π₯>0
): -1xβ€sin(x)xβ€1xnegative 1 over x end-fraction is less than or equal to sine x over x end-fraction is less than or equal to 1 over x end-fraction
β1π₯β€sin(π₯)π₯β€1π₯
.
-
Since limxββ-1x=0limit over x right arrow infinity of negative 1 over x end-fraction equals 0
limπ₯βββ1π₯=0
and limxββ1x=0limit over x right arrow infinity of 1 over x end-fraction equals 0
limπ₯ββ1π₯=0
, by the Squeeze Theorem, limxββsin(x)x=0limit over x right arrow infinity of sine x over x end-fraction equals 0
limπ₯ββsin(π₯)π₯=0
.
-
Connection to horizontal asymptotes
A function has a horizontal asymptote at y=Ly equals cap L
π¦=πΏ
if either limxββf(x)=Llimit over x right arrow infinity of f of x equals cap L
limπ₯ββπ(π₯)=πΏ
or limxβββf(x)=Llimit over x right arrow negative infinity of f of x equals cap L
limπ₯βββπ(π₯)=πΏ
.
It is important to evaluate the limit at both positive and negative infinity, as a function can have different horizontal asymptotes in each direction. For example, a rational function with a square root may have different limits as xββx right arrow infinity
π₯ββ
and xβββx right arrow negative infinity
π₯βββ
.
Summary of key behaviors
| Function Type | Limit as xββx right arrow infinity π₯ββ | Limit as xβββx right arrow negative infinity π₯βββ |
|---|---|---|
| Rational (N<Dcap N is less than cap D π<π· ) | 0 | 0 |
| Rational (N=Dcap N equals cap D π=π· ) | Ratio of leading coefficients | Ratio of leading coefficients |
| Rational (N>Dcap N is greater than cap D π>π· ) | Β±βplus or minus infinity Β±β | Β±βplus or minus infinity Β±β |
| Polynomial (p(x)p open paren x close paren π(π₯) ) | Β±βplus or minus infinity Β±β (depends on leading term) | Β±βplus or minus infinity Β±β (depends on leading term) |
| Exponential (bx,b>1b to the x-th power comma b is greater than 1 ππ₯,π>1 ) | βinfinity β | 0 |
| Exponential (bx,0<b<1b to the x-th power comma 0 is less than b is less than 1 ππ₯,0<π<1 ) | 0 | βinfinity β |
| Logarithmic (logb(x),b>1log base b of x comma b is greater than 1 logπ(π₯),π>1 ) | βinfinity β | Not applicable |
| Sine/Cosine | Does not exist (oscillates) | Does not exist (oscillates) |