Comprehensive Calculus Guide: Limits, One-Sided Behavior, and Asymptotes

Mathematical Foundation of Limits

  • A limit provides a mathematically precise framework for analyzing the behavior of a function near a specific point, regardless of the function's value at that exact point.
  • Intuitive concepts in mathematics are often formalized into logically precise definitions, which can increase structural and notation complexity.
  • Initial numerical exploration example:
    • Function inputs evaluated near x=1x = 1: x=0x = 0, x=12x = \frac{1}{2}, x=0.9x = 0.9, and x=0.99x = 0.99.
    • As xx approaches 11, the output values f(x)f(x) approach 22.

Comparative Analysis of Limits vs. Function Values

To demonstrate the distinct behavior of limits versus actual function values at a point x=2x = 2, consider three functions f(x)f(x), g(x)g(x), and h(x)h(x) that are identical everywhere except at x=2x = 2:

  • Function f(x)f(x):

    • Behavior: Continuous path passing through (2,3)(2, 3).
    • Limit evaluation: limx2f(x)=3\lim_{x \to 2} f(x) = 3.
    • Function value: f(2)=3f(2) = 3.
    • Relationship: The limit and the function value agree (limx2f(x)=f(2)\lim_{x \to 2} f(x) = f(2)).
  • Function g(x)g(x):

    • Behavior: Has an open circle at (2,3)(2, 3) with no assigned point elsewhere.
    • Limit evaluation: limx2g(x)=3\lim_{x \to 2} g(x) = 3.
    • Function value: g(2)g(2) is undefined (does not exist).
    • Relationship: The limit exists, but the function value does not exist.
  • Function h(x)h(x):

    • Behavior: Has an open circle at (2,3)(2, 3) and a solid point at (2,1)(2, 1).
    • Limit evaluation: limx2h(x)=3\lim_{x \to 2} h(x) = 3.
    • Function value: h(2)=1h(2) = 1.
    • Relationship: Both the limit and the function value exist, but they are not equal (limx2h(x)h(2)\lim_{x \to 2} h(x) \neq h(2)).
  • Relationship to Continuity:

    • The condition where the limit of a function equals the function's actual value, limxaf(x)=f(a)\lim_{x \to a} f(x) = f(a), defines the concept of continuity at x=ax = a.

Pitfalls of Numerical Sampling with Oscillating Functions

Evaluating limits solely by plugging in numbers can lead to incorrect conclusions if sampling coincides with specific repeating values.

  • Example Function: f(x)=sin(πx)f(x) = \sin\left(\frac{\pi}{x}\right) as x0x \to 0.
  • Misleading Numerical Sampling Table:
    • For x=12x = \frac{1}{2}: f(12)=sin(2π)=0f\left(\frac{1}{2}\right) = \sin(2\pi) = 0
    • For x=110x = \frac{1}{10}: f(110)=sin(10π)=0f\left(\frac{1}{10}\right) = \sin(10\pi) = 0
    • For x=1100x = \frac{1}{100}: f(1100)=sin(100π)=0f\left(\frac{1}{100}\right) = \sin(100\pi) = 0
    • Erroneous conclusion from table: Numerical evaluation suggests limx0sin(πx)=0\lim_{x \to 0} \sin\left(\frac{\pi}{x}\right) = 0.
  • Correct Analysis:
    • Evaluating at x=25x = \frac{2}{5} gives f(25)=sin(5π2)=1f\left(\frac{2}{5}\right) = \sin\left(\frac{5\pi}{2}\right) = 1.
    • In general, odd integer multiples of π2\frac{\pi}{2} yield function values of 11 or 1-1.
    • Graph behavior: As xx approaches 00, the function oscillates infinitely fast between 1-1 and 11.
    • Within any arbitrary interval around 00, the function takes on every value from 1-1 to 11 infinitely many times.
    • Conclusion: Because no single value is being approached, limx0sin(πx)\lim_{x \to 0} \sin\left(\frac{\pi}{x}\right) does not exist (DNE).

One-Sided Limits and Fundamental Limit Theorem

  • Definitions:

    • Right-hand limit: Approaching aa from the right where x>ax > a, denoted as limxa+f(x)\lim_{x \to a^+} f(x).
    • Left-hand limit: Approaching aa from the left where x<ax < a, denoted as limxaf(x)\lim_{x \to a^-} f(x).
  • Theorem:

    • limxaf(x)=L\lim_{x \to a} f(x) = L if and only if limxa+f(x)=L\lim_{x \to a^+} f(x) = L and limxaf(x)=L\lim_{x \to a^-} f(x) = L.
    • For a two-sided limit to exist, both one-sided limits must exist and be strictly equal.
  • Graphical Piecewise Example:

    • At x=2x = -2:
    • limx2f(x)=0\lim_{x \to -2^-} f(x) = 0
    • limx2+f(x)=0\lim_{x \to -2^+} f(x) = 0
    • limx2f(x)=0\lim_{x \to -2} f(x) = 0
    • f(2)f(-2) is undefined (open circle).
    • At x=1x = 1:
    • Left-hand limit: limx1f(x)=4\lim_{x \to 1^-} f(x) = -4
    • Right-hand limit: limx1+f(x)=1\lim_{x \to 1^+} f(x) = 1
    • Two-sided limit: limx1f(x)=DNE\lim_{x \to 1} f(x) = \text{DNE} (does not exist) because limx1f(x)limx1+f(x)\lim_{x \to 1^-} f(x) \neq \lim_{x \to 1^+} f(x).
    • Function value: f(1)=4f(1) = -4 (solid circle at (1,4)(1, -4)).

Infinite Limits and Vertical Asymptotes

  • Modes of Limit Non-Existence:

    1. Infinite oscillation near a point (e.g., sin(πx)\sin\left(\frac{\pi}{x}\right)).
    2. Disagreement between left-hand and right-hand limits (break/jump discontinuities).
    3. Unbounded growth where output values become arbitrarily large positive or negative values.
  • Infinite Limit Notation and Interpretation:

    • If f(x)f(x) grows arbitrarily large positively as xax \to a, write limxaf(x)=\lim_{x \to a} f(x) = \infty.
    • If f(x)f(x) grows arbitrarily large negatively as xax \to a, write limxaf(x)=\lim_{x \to a} f(x) = -\infty.
    • Critical distinction: Writing limxaf(x)=\lim_{x \to a} f(x) = \infty describes a specific, structured way in which the limit fails to exist; the limit still technically does not exist in the real number system.
  • Vertical Asymptotes:

    • Infinite limits correspond directly to vertical asymptotes on a graph.
  • Graph Analysis with Vertical Asymptotes at x=1x = -1 and x=2x = 2:

    • At x=1x = -1:
    • limx1f(x)=\lim_{x \to -1^-} f(x) = \infty
    • limx1+f(x)=\lim_{x \to -1^+} f(x) = \infty
    • limx1f(x)=\lim_{x \to -1} f(x) = \infty
    • At x=2x = 2:
    • limx2f(x)=\lim_{x \to 2^-} f(x) = -\infty
    • limx2+f(x)=\lim_{x \to 2^+} f(x) = \infty
    • limx2f(x)=DNE\lim_{x \to 2} f(x) = \text{DNE} (does not exist, as left and right tendencies disagree and do not yield a uniform infinite sign).

Analytical and Graphical Analysis of Rational Functions

  • Evaluating limx1+1x1\lim_{x \to 1^+} \frac{1}{x - 1} numerically:

    • Select x=1.1x = 1.1: 11.11=1110=10\frac{1}{1.1 - 1} = \frac{1}{\frac{1}{10}} = 10
    • Select x=1.01x = 1.01: 11.011=11100=100\frac{1}{1.01 - 1} = \frac{1}{\frac{1}{100}} = 100
    • Select x=1.001x = 1.001: 11.0011=111000=1000\frac{1}{1.001 - 1} = \frac{1}{\frac{1}{1000}} = 1000
    • Result: limx1+1x1=\lim_{x \to 1^+} \frac{1}{x - 1} = \infty.
  • Evaluating limx11x1\lim_{x \to 1^-} \frac{1}{x - 1} numerically:

    • Select x=0.9x = 0.9: 10.91=1110=10\frac{1}{0.9 - 1} = \frac{1}{-\frac{1}{10}} = -10
    • Select x=0.99x = 0.99: 10.991=11100=100\frac{1}{0.99 - 1} = \frac{1}{-\frac{1}{100}} = -100
    • Result: limx11x1=\lim_{x \to 1^-} \frac{1}{x - 1} = -\infty.
  • Graphical Transformations:

    • The parent function g(x)=1xg(x) = \frac{1}{x} has a vertical asymptote at x = 0$.\n - Replacing xwithwithx - 1ininf(x) = \frac{1}{x - 1}representsahorizontalshifttotherightbyrepresents a horizontal shift to the right by1 unit.\n - Consequently, the vertical asymptote shifts from x = 0totox = 1$$.