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)f(x) is defined near aa if it is defined on an open interval around aa, such as (ah,a+h)(a - h, a + h) for some positive distance h>0h > 0, excluding the point aa itself (xax \neq a).
  • Infinite Limits: Let f(x)f(x) be defined near aa.
    • Positive Infinite Limit: limxaf(x)=\lim_{x \to a} f(x) = \infty means that the values of f(x)f(x) can be made arbitrarily large positive by restricting xx to be sufficiently close to aa, but not equal to aa.
    • Negative Infinite Limit: limxaf(x)=\lim_{x \to a} f(x) = -\infty means that the values of f(x)f(x) can be made arbitrarily large negative by restricting xx to be sufficiently close to aa, but not equal to aa.
  • Vertical Asymptote and Singularity: A vertical line x=ax = a represents a vertical asymptote (or singularity) of f(x)f(x) if the function blows up, approaching \infty or -\infty as xx approaches aa.
  • Three Cases of Behavior at Vertical Asymptotes:
    • Both sides approach positive infinity: limxaf(x)=\lim_{x \to a^-} f(x) = \infty and limxa+f(x)=    limxaf(x)=\lim_{x \to a^+} f(x) = \infty \implies \lim_{x \to a} f(x) = \infty
    • Both sides approach negative infinity: limxaf(x)=\lim_{x \to a^-} f(x) = -\infty and limxa+f(x)=    limxaf(x)=\lim_{x \to a^+} f(x) = -\infty \implies \lim_{x \to a} f(x) = -\infty
    • Opposite sides approach different infinities: One side approaches \infty and the other side approaches     limxaf(x)=DNE-\infty \implies \lim_{x \to a} f(x) = \text{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 (\infty vs. -\infty), 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)=p(x)q(x)f(x) = \frac{p(x)}{q(x)} where p(x)p(x) and q(x)q(x) are polynomials. At any given point aa, a rational function is either defined at aa or has a vertical asymptote at aa.
  • Case 1: Non-Zero Denominator (q(a)0q(a) \neq 0):
    • If q(a)0q(a) \neq 0, then aa is in the domain of f(x)f(x). Evaluate the limit directly using direct substitution: limxap(x)q(x)=p(a)q(a)\lim_{x \to a} \frac{p(x)}{q(x)} = \frac{p(a)}{q(a)}
    • Example: Calculate limx3x21x2+x+1\lim_{x \to 3} \frac{x^2 - 1}{x^2 + x + 1}. limx3x21x2+x+1=(3)21(3)2+3+1=919+3+1=813\lim_{x \to 3} \frac{x^2 - 1}{x^2 + x + 1} = \frac{(3)^2 - 1}{(3)^2 + 3 + 1} = \frac{9 - 1}{9 + 3 + 1} = \frac{8}{13}
  • Case 2: Non-Zero Numerator Over Zero Denominator (p(a)0p(a) \neq 0 and q(a)=0q(a) = 0):
    • The limit takes the form nonzero0\frac{\text{nonzero}}{0}. This condition guarantees a vertical asymptote at x=ax = a.
    • The limit must be one of three possibilities: \infty, -\infty, or DNE\text{DNE}.
  • Sign Analysis Principles for Products and Quotients:
    • The product or quotient of two quantities aa and bb is positive (ab>0a \cdot b > 0 or ab>0\frac{a}{b} > 0) when aa and bb have the same sign (both positive or both negative).
    • The product or quotient is negative (ab<0a \cdot b < 0 or ab<0\frac{a}{b} < 0) when aa and bb have opposite signs (one positive and one negative).
  • Sign Analysis Example 1 (Positive Infinite Limit):
    • Evaluate limx1x(x1)2\lim_{x \to 1} \frac{x}{(x-1)^2}.
    • Limit form: 10\frac{1}{0} (nonzero0\frac{\text{nonzero}}{0} form).
    • Numerator sign: xx is positive for all xx near 11
    • Denominator sign: (x1)2(x-1)^2 is positive for all x1x \neq 1 due to the square power.
    • Ratio sign: positivepositive=positive\frac{\text{positive}}{\text{positive}} = \text{positive} for all xx near 11
    • Conclusion: limx1x(x1)2=\lim_{x \to 1} \frac{x}{(x-1)^2} = \infty
  • Sign Analysis Example 2 (Negative Infinite Limit):
    • Evaluate limx01x2(x1)\lim_{x \to 0} \frac{1}{x^2(x-1)}.
    • Limit form: 10\frac{1}{0} (nonzero0\frac{\text{nonzero}}{0} form).
    • Denominator factoring: x2(x1)x^2(x-1).
    • Term x2x^2: positive for all x0x \neq 0
    • Term (x1)(x-1): negative for all xx near 00 (since xx near 00 implies x<1x < 1).
    • Denominator product: positive×negative=negative\text{positive} \times \text{negative} = \text{negative} for all xx near 00
    • Ratio sign: positivenegative=negative\frac{\text{positive}}{\text{negative}} = \text{negative} for all xx near 00
    • Conclusion: limx01x2(x1)=\lim_{x \to 0} \frac{1}{x^2(x-1)} = -\infty
  • Sign Analysis Example 3 (Non-Existent Limit):
    • Evaluate limx1xx1\lim_{x \to 1} \frac{x}{x-1}.
    • Limit form: 10\frac{1}{0} (nonzero0\frac{\text{nonzero}}{0} form).
    • Numerator sign: xx is positive for all xx near 11
    • Denominator sign: (x1)(x-1) is positive when x>1x > 1 and negative when x<1x < 1
    • Right-hand approach (x>1x > 1): positivepositive=positive    limx1+xx1=\frac{\text{positive}}{\text{positive}} = \text{positive} \implies \lim_{x \to 1^+} \frac{x}{x-1} = \infty
    • Left-hand approach (x<1x < 1): positivenegative=negative    limx1xx1=\frac{\text{positive}}{\text{negative}} = \text{negative} \implies \lim_{x \to 1^-} \frac{x}{x-1} = -\infty
    • Conclusion: Discrepancy between one-sided limits implies limx1xx1=DNE\lim_{x \to 1} \frac{x}{x-1} = \text{DNE}

Systematic Algorithm for Finding Limits of Rational Functions

  • Complete Decision Algorithm for limxap(x)q(x)\lim_{x \to a} \frac{p(x)}{q(x)}:
    • Step 1: Check the denominator at aa. If q(a)0q(a) \neq 0, evaluate directly via substitution to find p(a)q(a)\frac{p(a)}{q(a)}.
    • Step 2: If q(a)=0q(a) = 0 and p(a)0p(a) \neq 0 (nonzero0\frac{\text{nonzero}}{0} form), identify a vertical asymptote. Analyze the signs of the numerator and denominator near aa (separately for x<ax < a and x>ax > a) to classify the limit as \infty, -\infty, or DNE\text{DNE}.
    • Step 3: If q(a)=0q(a) = 0 and p(a)=0p(a) = 0 (00\frac{0}{0} indeterminate form), factor out (xa)(x-a) from both p(x)p(x) and q(x)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 limx2(1x24x24)\lim_{x \to 2} \left( \frac{1}{x-2} - \frac{4}{x^2 - 4} \right).
    • Apply difference of squares identity: a2b2=(ab)(a+b)    x24=(x2)(x+2)a^2 - b^2 = (a-b)(a+b) \implies x^2 - 4 = (x-2)(x+2).
    • Find a common denominator to combine fractions: 1x24(x2)(x+2)=x+2(x2)(x+2)4(x2)(x+2)\frac{1}{x-2} - \frac{4}{(x-2)(x+2)} = \frac{x+2}{(x-2)(x+2)} - \frac{4}{(x-2)(x+2)}
    • Combine numerators: (x+2)4(x2)(x+2)=x2(x2)(x+2)\frac{(x+2) - 4}{(x-2)(x+2)} = \frac{x-2}{(x-2)(x+2)}
    • Evaluate expression form at x=2x = 2: Yields 00\frac{0}{0}.
    • Apply factor and cancel step: x2(x2)(x+2)=1x+2for x2\frac{x-2}{(x-2)(x+2)} = \frac{1}{x+2} \quad \text{for } x \neq 2
    • Re-evaluate the limit using direct substitution: limx21x+2=12+2=14\lim_{x \to 2} \frac{1}{x+2} = \frac{1}{2+2} = \frac{1}{4}

One-Sided Limits and Existence Criteria

  • Left-Handed Limit Definition: limxaf(x)=L\lim_{x \to a^-} f(x) = L means the values of f(x)f(x) can be made arbitrarily close to LL by restricting xx to be sufficiently close to aa with x<ax < a. Only values to the left of aa are considered.
  • Right-Handed Limit Definition: limxa+f(x)=L\lim_{x \to a^+} f(x) = L means the values of f(x)f(x) can be made arbitrarily close to LL by restricting xx to be sufficiently close to aa with x>ax > a. Only values to the right of aa are considered.
  • Piecewise Function Evaluation Procedure:
    • Given the piecewise defined function: f(x)={x21if x<1x+2if x1f(x) = \begin{cases} x^2 - 1 & \text{if } x < 1 \\ x + 2 & \text{if } x \ge 1 \end{cases}
    • Evaluate right-handed limit limx1+f(x)\lim_{x \to 1^+} f(x): Restrict to condition x>1x > 1, so f(x)=x+2f(x) = x + 2: limx1+f(x)=limx1+(x+2)=1+2=3\lim_{x \to 1^+} f(x) = \lim_{x \to 1^+} (x + 2) = 1 + 2 = 3
    • Evaluate left-handed limit limx1f(x)\lim_{x \to 1^-} f(x): Restrict to condition x<1x < 1, so f(x)=x21f(x) = x^2 - 1: limx1f(x)=limx1(x21)=121=0\lim_{x \to 1^-} f(x) = \lim_{x \to 1^-} (x^2 - 1) = 1^2 - 1 = 0
  • Fundamental Existence Theorem for Two-Sided Limits:
    • Statement: A two-sided limit exists and equals LL if and only if both the left-handed limit and right-handed limit exist and are equal to LL: limxaf(x)=L    (limxaf(x)=Landlimxa+f(x)=L)\lim_{x \to a} f(x) = L \iff \left( \lim_{x \to a^-} f(x) = L \quad \text{and} \quad \lim_{x \to a^+} f(x) = L \right)
    • Scope: The logical equivalence holds whether LL is a finite real number, \infty, or -\infty.
    • Application: For the piecewise function f(x)f(x) above, limx1f(x)=0\lim_{x \to 1^-} f(x) = 0 and limx1+f(x)=3\lim_{x \to 1^+} f(x) = 3. Because 030 \neq 3, the left and right limits fail to agree, so limx1f(x)=DNE\lim_{x \to 1} f(x) = \text{DNE}.
  • Application of Existence Theorem to One-Sided Rational Functions:
    • Evaluate limx1g(x)\lim_{x \to 1} g(x) where: g(x)={11xif x<1xx21if x>1g(x) = \begin{cases} \frac{1}{1-x} & \text{if } x < 1 \\ \frac{x}{x^2-1} & \text{if } x > 1 \end{cases}
    • Left-handed limit (x1x \to 1^-): x<1    1x>0x < 1 \implies 1-x > 0. Non-zero over zero form yields limx111x=\lim_{x \to 1^-} \frac{1}{1-x} = \infty.
    • Right-handed limit (x1+x \to 1^+): x>1    x>0x > 1 \implies x > 0 and x21>0x^2-1 > 0. Non-zero over zero form yields limx1+xx21=\lim_{x \to 1^+} \frac{x}{x^2-1} = \infty.
    • Conclusion: Since limx1g(x)=\lim_{x \to 1^-} g(x) = \infty and limx1+g(x)=\lim_{x \to 1^+} g(x) = \infty, the two-sided limit exists and equals limx1g(x)=\lim_{x \to 1} g(x) = \infty

Limits at Infinity

  • Concept: Limits as xx \to \infty or xx \to -\infty specify the long-term horizontal asymptotic behavior of a function as xx grows arbitrarily large in the positive or negative direction.
  • Power Rule Theorem for Limits at Infinity:
    • If r>0r > 0 is a rational number such that xrx^r is defined for all xx, then: limx1xr=0\lim_{x \to \infty} \frac{1}{x^r} = 0
    • If xrx^r is defined for negative values of xx, then: limx1xr=0\lim_{x \to -\infty} \frac{1}{x^r} = 0
    • Domain Restriction Warning: The exponent r=12r = \frac{1}{2} is a non-example for xx \to -\infty because x1/2=xx^{1/2} = \sqrt{x} is undefined for negative real numbers (x<0x < 0).
  • Strategy for Rational Functions as x±x \to \pm \infty:
    • Divide every term in both the numerator and denominator by the highest power of xx occurring in the denominator.
  • Worked Example 1 (Finite Limit at Infinity):
    • Evaluate limxx32x+12x38\lim_{x \to \infty} \frac{x^3 - 2x + 1}{2x^3 - 8}.
    • Identify highest denominator power: x3x^3. Divide numerator and denominator by x3x^3: limxx3x32xx3+1x32x3x38x3=limx12x2+1x328x3\lim_{x \to \infty} \frac{\frac{x^3}{x^3} - \frac{2x}{x^3} + \frac{1}{x^3}}{\frac{2x^3}{x^3} - \frac{8}{x^3}} = \lim_{x \to \infty} \frac{1 - \frac{2}{x^2} + \frac{1}{x^3}}{2 - \frac{8}{x^3}}
    • Apply limit laws and power rules as xx \to \infty: 12(0)+028(0)=12\frac{1 - 2(0) + 0}{2 - 8(0)} = \frac{1}{2}
  • Worked Example 2 (Infinite Limit at Negative Infinity):
    • Evaluate limxx2x11x\lim_{x \to -\infty} \frac{x^2 - x}{1 - \frac{1}{x}}.
    • Dividing through by highest power of xx in denominator: limxx(11x)1\lim_{x \to -\infty} \frac{x \left( 1 - \frac{1}{x} \right)}{1}
    • Substitute limit values: Numerator approaches -\infty, denominator equals 11. Resulting form 1=\frac{-\infty}{1} = -\infty.

Comprehensive Graphical Limit Analysis

  • Graphical Evaluation Rules: For a given graph of a function f(x)f(x), limits are extracted by observing function behavior along specific paths:
    • Far-Left Long-Term Behavior: limxf(x)=\lim_{x \to -\infty} f(x) = \infty
    • Approach to x=3x = -3 from the Left: limx3f(x)=0\lim_{x \to -3^-} f(x) = 0
    • Two-Sided Approach to x=2x = -2: Both left and right paths approach height 44, so limx2f(x)=4\lim_{x \to -2} f(x) = 4
    • Approach to x=1x = -1 from the Right: limx1+f(x)=1\lim_{x \to -1^+} f(x) = 1
    • Approach to x=1x = -1 from the Left: limx1f(x)=3\lim_{x \to -1^-} f(x) = 3
    • Two-Sided Approach to x=1x = -1: Because limx1f(x)=31=limx1+f(x)\lim_{x \to -1^-} f(x) = 3 \neq 1 = \lim_{x \to -1^+} f(x), limx1f(x)=DNE\lim_{x \to -1} f(x) = \text{DNE}
    • Approach to Vertical Asymptote at x=0x = 0: Function shoots upward to infinity from both sides, so limx0f(x)=\lim_{x \to 0} f(x) = \infty
    • Far-Right Long-Term Behavior: Function flattens along the horizontal axis, so limxf(x)=0\lim_{x \to \infty} f(x) = 0