Comprehensive Study Notes on Limits: Infinite Limits, One-Sided Limits, and Asymptotic Behavior
Infinite Limits and Vertical Asymptotes
Definition of Near $a$: A function f(x) is defined near a if it is defined on an open interval around a, such as (a−h,a+h) for some positive distance h>0, excluding the point a itself (x=a).
Infinite Limits: Let f(x) be defined near a.
Positive Infinite Limit: limx→af(x)=∞ means that the values of f(x) can be made arbitrarily large positive by restricting x to be sufficiently close to a, but not equal to a.
Negative Infinite Limit: limx→af(x)=−∞ means that the values of f(x) can be made arbitrarily large negative by restricting x to be sufficiently close to a, but not equal to a.
Vertical Asymptote and Singularity: A vertical line x=a represents a vertical asymptote (or singularity) of f(x) if the function blows up, approaching ∞ or −∞ as x approaches a.
Three Cases of Behavior at Vertical Asymptotes:
Both sides approach positive infinity: limx→a−f(x)=∞ and limx→a+f(x)=∞⟹limx→af(x)=∞
Both sides approach negative infinity: limx→a−f(x)=−∞ and limx→a+f(x)=−∞⟹limx→af(x)=−∞
Opposite sides approach different infinities: One side approaches ∞ and the other side approaches −∞⟹limx→af(x)=DNE (Does Not Exist).
Rationale for Non-Existent Limits at Asymptotes: Limits require a single, unique value. If different paths of approach (left-hand vs. right-hand) yield conflicting infinite behavior (∞ vs. −∞), no unique limit value can be assigned, rendering the two-sided limit non-existent.
Behavior and Limit Evaluation of Rational Functions
Definition of a Rational Function: A function f(x)=q(x)p(x) where p(x) and q(x) are polynomials. At any given point a, a rational function is either defined at a or has a vertical asymptote at a.
Case 1: Non-Zero Denominator (q(a)=0):
If q(a)=0, then a is in the domain of f(x). Evaluate the limit directly using direct substitution:
limx→aq(x)p(x)=q(a)p(a)
Conclusion: Discrepancy between one-sided limits implies limx→1x−1x=DNE
Systematic Algorithm for Finding Limits of Rational Functions
Complete Decision Algorithm for limx→aq(x)p(x):
Step 1: Check the denominator at a. If q(a)=0, evaluate directly via substitution to find q(a)p(a).
Step 2: If q(a)=0 and p(a)=0 (0nonzero form), identify a vertical asymptote. Analyze the signs of the numerator and denominator near a (separately for x<a and x>a) to classify the limit as ∞, −∞, or DNE.
Step 3: If q(a)=0 and p(a)=0 (00 indeterminate form), factor out (x−a) from both p(x) and q(x), cancel the common factor, and repeat the decision algorithm on the simplified rational expression.
Algebraic Simplification Example (Sum of Rational Functions):
Problem: Evaluate limx→2(x−21−x2−44).
Apply difference of squares identity: a2−b2=(a−b)(a+b)⟹x2−4=(x−2)(x+2).
Find a common denominator to combine fractions:
x−21−(x−2)(x+2)4=(x−2)(x+2)x+2−(x−2)(x+2)4
Apply factor and cancel step:
(x−2)(x+2)x−2=x+21for x=2
Re-evaluate the limit using direct substitution:
limx→2x+21=2+21=41
One-Sided Limits and Existence Criteria
Left-Handed Limit Definition: limx→a−f(x)=L means the values of f(x) can be made arbitrarily close to L by restricting x to be sufficiently close to a with x<a. Only values to the left of a are considered.
Right-Handed Limit Definition: limx→a+f(x)=L means the values of f(x) can be made arbitrarily close to L by restricting x to be sufficiently close to a with x>a. Only values to the right of a are considered.
Piecewise Function Evaluation Procedure:
Given the piecewise defined function:
f(x)={x2−1x+2if x<1if x≥1
Evaluate right-handed limit limx→1+f(x): Restrict to condition x>1, so f(x)=x+2:
limx→1+f(x)=limx→1+(x+2)=1+2=3
Evaluate left-handed limit limx→1−f(x): Restrict to condition x<1, so f(x)=x2−1:
limx→1−f(x)=limx→1−(x2−1)=12−1=0
Fundamental Existence Theorem for Two-Sided Limits:
Statement: A two-sided limit exists and equals L if and only if both the left-handed limit and right-handed limit exist and are equal to L:
limx→af(x)=L⟺(limx→a−f(x)=Landlimx→a+f(x)=L)
Scope: The logical equivalence holds whether L is a finite real number, ∞, or −∞.
Application: For the piecewise function f(x) above, limx→1−f(x)=0 and limx→1+f(x)=3. Because 0=3, the left and right limits fail to agree, so limx→1f(x)=DNE.
Application of Existence Theorem to One-Sided Rational Functions:
Left-handed limit (x→1−): x<1⟹1−x>0. Non-zero over zero form yields limx→1−1−x1=∞.
Right-handed limit (x→1+): x>1⟹x>0 and x2−1>0. Non-zero over zero form yields limx→1+x2−1x=∞.
Conclusion: Since limx→1−g(x)=∞ and limx→1+g(x)=∞, the two-sided limit exists and equals limx→1g(x)=∞
Limits at Infinity
Concept: Limits as x→∞ or x→−∞ specify the long-term horizontal asymptotic behavior of a function as x grows arbitrarily large in the positive or negative direction.
Power Rule Theorem for Limits at Infinity:
If r>0 is a rational number such that xr is defined for all x, then:
limx→∞xr1=0
If xr is defined for negative values of x, then:
limx→−∞xr1=0
Domain Restriction Warning: The exponent r=21 is a non-example for x→−∞ because x1/2=x is undefined for negative real numbers (x<0).
Strategy for Rational Functions as x→±∞:
Divide every term in both the numerator and denominator by the highest power of x occurring in the denominator.
Worked Example 1 (Finite Limit at Infinity):
Evaluate limx→∞2x3−8x3−2x+1.
Identify highest denominator power: x3. Divide numerator and denominator by x3:
limx→∞x32x3−x38x3x3−x32x+x31=limx→∞2−x381−x22+x31
Apply limit laws and power rules as x→∞:
2−8(0)1−2(0)+0=21
Worked Example 2 (Infinite Limit at Negative Infinity):
Evaluate limx→−∞1−x1x2−x.
Dividing through by highest power of x in denominator:
limx→−∞1x(1−x1)