MH1810 Math

Chapter 4b: Limits and Continuity

Imron Rosyadi

4.9 Techniques in Finding Limits

4.9.1 Eliminating Zero Denominators

When direct substitution results in an indeterminate form like \(\frac{0}{0}\), we often need to simplify the expression by factoring and canceling common factors.

Example 4.9.1 / 4.9.2:

Evaluate \(\lim_{x \to -2}\frac{3x + 6}{x^2 - 4}\).

  • Question: Can we apply the quotient limit law: \(\frac{\lim_{x \to -2} (3x+6)}{\lim_{x \to -2} (x^2-4)}\)?

    No, because the denominator \(\lim_{x \to -2} (x^2-4) = (-2)^2 - 4 = 4 - 4 = 0\). This gives \(\frac{0}{0}\).

  • Solution: We simplify first: \[ \begin{aligned} \lim_{x \to -2} \frac{3x + 6}{x^2 - 4} &= \lim_{x \to -2} \frac{3(x + 2)}{(x + 2)(x - 2)} & \text{(Factor numerator and denominator)} \\ &= \lim_{x \to -2} \frac{3}{x - 2} & \text{(Cancel common factor (x+2), valid for } x \neq -2) \\ &= \frac{3}{-2 - 2} & \text{(Now substitute, as denominator is not zero)} \\ &= -\frac{3}{4}. \end{aligned} \]

4.9 Techniques in Finding Limits

Example 4.9.3:

\(\lim_{x \to -3}\frac{x^3 + 4x^2 + 4x + 3}{-x^3 - 2x^2 + 5x + 6}\)

  • Direct substitution gives \(\frac{0}{0}\). Both polynomials have a factor \((x+3)\) by the Factor Theorem.

  • By long division (or synthetic division):

    \(x^3 + 4x^2 + 4x + 3 = (x + 3)(x^2 + x + 1)\)

    \(-x^3 - 2x^2 + 5x + 6 = (x + 3)(-x^2 + x + 2)\)

  • Now evaluate the limit: \[ \lim_{x \to -3} \frac{(x + 3)(x^2 + x + 1)}{(x + 3)(-x^2 + x + 2)} = \lim_{x \to -3} \frac{x^2 + x + 1}{-x^2 + x + 2} = \frac{(-3)^2 + (-3) + 1}{-(-3)^2 + (-3) + 2} = \frac{9 - 3 + 1}{-9 - 3 + 2} = \frac{7}{-10} = -\frac{7}{10}. \]

4.9.2 Rationalization

We can use the difference of squares factorization, \(a^2 - b^2 = (a - b)(a + b)\), especially for expressions involving square roots.

Example 4.9.4 / 4.9.5:

Find \(\lim_{x \to 1^+}\frac{\sqrt{2 - x} - 1}{x - 1}\).

  • Question: Can you evaluate the limit by substitution? Substituting \(x=1\) gives \(\frac{\sqrt{2-1} - 1}{1-1} = \frac{\sqrt{1} - 1}{0} = \frac{0}{0}\), an indeterminate form. So, no direct substitution.

4.9.2 Rationalization

  • Solution: Multiply by the conjugate of the numerator: \[ \begin{aligned} \lim_{x \to 1^+} \frac{\sqrt{2 - x} - 1}{x - 1} &= \lim_{x \to 1^+} \frac{\sqrt{2 - x} - 1}{x - 1} \cdot \frac{\sqrt{2 - x} + 1}{\sqrt{2 - x} + 1} & \text{(Multiply by conjugate)} \\ &= \lim_{x \to 1^+} \frac{(\sqrt{2 - x})^2 - (1)^2}{(x - 1)(\sqrt{2 - x} + 1)} & \text{(Difference of squares)} \\ &= \lim_{x \to 1^+} \frac{(2 - x) - 1}{(x - 1)(\sqrt{2 - x} + 1)} \\ &= \lim_{x \to 1^+} \frac{1 - x}{(x - 1)(\sqrt{2 - x} + 1)} \\ &= \lim_{x \to 1^+} \frac{-(x - 1)}{(x - 1)(\sqrt{2 - x} + 1)} & \text{(Factor out -1 from numerator)} \\ &= \lim_{x \to 1^+} \frac{-1}{\sqrt{2 - x} + 1} & \text{(Cancel common factor (x-1))} \\ &= \frac{-1}{\sqrt{2 - 1} + 1} & \text{(Now substitute, denominator is not zero)} \\ &= \frac{-1}{1 + 1} = -\frac{1}{2}. \end{aligned} \]

4.9.3 Squeeze Theorem

The Squeeze Theorem is a powerful tool for finding the limit of a function that is “squeezed” between two other functions whose limits are known and equal.

Important

Theorem 4.9.6 (Squeeze Theorem)

Suppose \(f, g\) and \(h\) are defined on an open interval \(I\) containing \(a\), except possibly at \(x = a\).

If \(f(x) \leq g(x) \leq h(x)\) on \(I\) (except possibly at \(x = a\)), and \(\lim_{x \to a} f(x) = \lim_{x \to a} h(x) = L\), then \[ \lim_{x \to a} g(x) = L. \]

(Also known as the Sandwich Theorem or Pinching Theorem)

4.9.3 Squeeze Theorem

Example 4.9.7: Evaluate \(\lim_{x \to 0} x^2 \sin \left(\frac{1}{x^2}\right)\).

Common Wrong Solution:

\(\lim_{x \to 0} x^2 \sin \left(\frac{1}{x^2}\right) \stackrel{*}{=} \lim_{x \to 0} x^2 \cdot \lim_{x \to 0} \sin \left(\frac{1}{x^2}\right) = 0 \cdot (\text{DNE}) \neq 0\).

The product rule for limits is wrongly applied because \(\lim_{x \to 0} \sin \left(\frac{1}{x^2}\right)\) does not exist (it oscillates).

4.9.3 Squeeze Theorem

Correct Solution (using Squeeze Theorem):

  1. Find bounds for the oscillating part: We know that for any value \(k\), \(-1 \leq \sin(k) \leq 1\).

    So, for \(x \neq 0\), \(-1 \leq \sin \left(\frac{1}{x^2}\right) \leq 1\).

  2. Multiply by the non-negative factor: Since \(x^2 \geq 0\) for all \(x\), we can multiply the inequality by \(x^2\) without flipping the signs: \[ \underbrace{-x^2}_{f(x)} \leq \underbrace{x^2 \sin \left(\frac{1}{x^2}\right)}_{g(x)} \leq \underbrace{x^2}_{h(x)}. \]

  3. Evaluate limits of the bounding functions:

    \(\lim_{x \to 0} (-x^2) = 0\)

    \(\lim_{x \to 0} (x^2) = 0\)

  4. Apply the Squeeze Theorem: Since \(g(x)\) is squeezed between \(f(x)\) and \(h(x)\), and both \(f(x)\) and \(h(x)\) approach \(0\) as \(x \to 0\), we conclude: \[ \lim_{x \to 0} x^2 \sin \left(\frac{1}{x^2}\right) = 0. \]

4.10 One-sided Limits in Practice

Recall the relationship between a two-sided limit and one-sided limits:

Important

Theorem 4.10.1 (Equal One-sided Limits)

\(\lim_{x \to c} f(x) = L\) if and only if \(\lim_{x \to c^-} f(x) = L\) and \(\lim_{x \to c^+} f(x) = L\).

This theorem is especially useful for piecewise functions.

4.10 One-sided Limits in Practice

Example 4.10.2: Consider the function \[ f(x) = \left\{ \begin{array}{ll} -x & \text{if } x < -1 \\ x^2 & \text{if } |x| \leq 1, \text{ i.e., } -1 \leq x \leq 1 \\ 2 & \text{if } x > 1 \end{array} \right. \]

Determine if the following limits exist and their values:

  1. \(\lim_{x \to -1^-} f(x)\)
  2. \(\lim_{x \to -1^+} f(x)\)
  3. \(\lim_{x \to -1} f(x)\)
  4. \(\lim_{x \to 1} f(x)\)

Graph of piecewise function

4.10 One-sided Limits in Practice

Solution:

  1. \(\lim_{x \to -1^-} f(x) = \lim_{x \to -1^-} (-x) = -(-1) = 1\).
  2. \(\lim_{x \to -1^+} f(x) = \lim_{x \to -1^+} (x^2) = (-1)^2 = 1\).
  3. Since \(\lim_{x \to -1^-} f(x) = 1\) and \(\lim_{x \to -1^+} f(x) = 1\), the limit \(\lim_{x \to -1} f(x)\) exists and equals \(1\).
  4. For \(\lim_{x \to 1} f(x)\):
    • \(\lim_{x \to 1^-} f(x) = \lim_{x \to 1^-} (x^2) = (1)^2 = 1\).
    • \(\lim_{x \to 1^+} f(x) = \lim_{x \to 1^+} (2) = 2\). Since \(\lim_{x \to 1^-} f(x) \neq \lim_{x \to 1^+} f(x)\), the limit \(\lim_{x \to 1} f(x)\) does not exist.

4.11 Limit Laws for Infinite Limits

When dealing with infinite limits, some standard limit laws need to be adapted or interpreted carefully.

Important

Theorem 4.11.1 (Limit Laws for Infinite Limits)

Suppose that \(\lim_{x \to a} f(x) = \infty\), \(\lim_{x \to a} g(x) = \infty\), and \(\lim_{x \to a} h(x) = c\) (where \(c\) is a constant). Then:

  1. \(\lim_{x \to a}(f(x) + g(x)) = \infty\); \(\lim_{x \to a}(f(x) + h(x)) = \infty\). (Infinity plus infinity is infinity; infinity plus a finite number is infinity)

  2. \(\lim_{x \to a}f(x) \cdot g(x) = \infty\). (Infinity times infinity is infinity)

  3. \(\lim_{x \to a}f(x) \cdot h(x) = \infty\) if \(c > 0\) and \(\lim_{x \to a}f(x) \cdot h(x) = -\infty\) if \(c < 0\).

    (Infinity times a positive constant is infinity; infinity times a negative constant is negative infinity)

  4. \(\lim_{x \to a}\frac{1}{f(x)} = 0\).

    (One divided by an infinitely large number approaches zero)

The same laws hold for one-sided limits (\(\lim_{x \to a^+}\) and \(\lim_{x \to a^-}\)).

4.11 Limit Laws for Infinite Limits

Example 4.11.2:

Evaluate \(\lim_{x \to \pi /2^-}(\tan x + 2\sin x)\).

  • \(\lim_{x \to \pi /2^-}(\tan x) = +\infty\).
  • \(\lim_{x \to \pi /2^-}(2\sin x) = 2\sin (\pi /2) = 2 \cdot 1 = 2\).
  • By Law (1): \(\lim_{x \to \pi /2^-}(\tan x + 2\sin x) = +\infty + 2 = +\infty\).

Example 4.11.3: Evaluate \(\lim_{x \to \pi /2^-}(-3\tan x\sin x)\).

  • \(\lim_{x \to \pi /2^-}(\tan x) = +\infty\).
  • \(\lim_{x \to \pi /2^-}(-3\sin x) = -3\sin (\pi /2) = -3 \cdot 1 = -3\).
  • By Law (3) (with \(c < 0\)): \(\lim_{x \to \pi /2^-}(-3\tan x\sin x) = -\infty\).

Example 4.11.4: Evaluate \(\lim_{x \to \pi /2^+}\frac{x}{\tan x}\).

  • \(\lim_{x \to \pi /2^+}x = \pi /2\).
  • \(\lim_{x \to \pi /2^+}\tan x = -\infty\).
  • This can be rewritten as \(\lim_{x \to \pi /2^+} x \cdot \frac{1}{\tan x}\).
  • By Law (4), \(\lim_{x \to \pi /2^+}\frac{1}{\tan x} = 0\).
  • By product law (finite limit times zero): \(\lim_{x \to \pi /2^+} \frac{x}{\tan x} = \frac{\pi}{2} \cdot 0 = 0\).

Some Useful Techniques for Infinite Limits

When we have \(\lim_{x \to a} f(x) = 0\), the limit of \(\frac{1}{f(x)}\) will diverge (either to \(\infty\), \(-\infty\), or not exist).

How do we know which one will hold?

Important

Theorem 4.11.5: Suppose \(\lim_{x \to a} f(x) = 0\).

  1. If \(f(x) > 0\) on some deleted neighborhood of \(a\), then \(\lim_{x \to a} \frac{1}{f(x)} = \infty\).
  2. If \(f(x) < 0\) on some deleted neighborhood of \(a\), then \(\lim_{x \to a} \frac{1}{f(x)} = -\infty\).
  3. Otherwise, \(\lim_{x \to a} \frac{1}{f(x)}\) does not exist (e.g., if \(f(x)\) changes sign around \(a\)).

(A deleted neighborhood of \(a\) is \((a-\delta, a) \cup (a, a+\delta)\).)

Some Useful Techniques for Infinite Limits

One-sided Limits Version

For one-sided limits, we have similar results:

Important

Proposition 4.11.6:

Suppose \(\lim_{x \to a^+} f(x) = 0\).

  1. If \(f(x) > 0\) for \(x \in (a, a + \delta)\), then \(\lim_{x \to a^+} \frac{1}{f(x)} = \infty\).
  2. If \(f(x) < 0\) for \(x \in (a, a + \delta)\), then \(\lim_{x \to a^+} \frac{1}{f(x)} = -\infty\).

(Similar rules apply for \(\lim_{x \to a^-} f(x) = 0\) by considering \(x \in (a - \delta, a)\).)

Example 4.11.7:

Evaluate \(\lim_{x \to 1^+}\frac{1}{1 - x^3}\).

  • Note that \(\lim_{x \to 1^+} (1 - x^3) = 0\).
  • For \(x > 1\) (approaching from the right), \(x^3 > 1\), so \(1 - x^3 < 0\).
  • Therefore, by Proposition 4.11.6 (b), \(\lim_{x \to 1^+}\frac{1}{1 - x^3} = -\infty\).

Some Useful Techniques for Infinite Limits

One-sided Limits Version

Example 4.11.8:

Evaluate \(\lim_{x \to -2^-}\frac{x - 1}{x + 2}\).

  • Note that \(\lim_{x \to -2^-} (x - 1) = -2 - 1 = -3\).
  • Note that \(\lim_{x \to -2^-} (x + 2) = 0\).
  • For \(x < -2\) (approaching from the left), \(x + 2 < 0\).
  • So, \(\lim_{x \to -2^-}\frac{1}{x + 2} = -\infty\).
  • Therefore, \(\lim_{x \to -2^-}\frac{x - 1}{x + 2} = (-3) \cdot (-\infty) = \infty\).

4.12 Evaluation of Limits at Infinity

Limit theorems and laws also hold for \(\lim_{x \to \infty}\) and \(\lim_{x \to -\infty}\), provided the respective limits exist.

For example, if \(\lim_{x \to \infty} f(x) = L\) and \(\lim_{x \to \infty} g(x) = M\) exist, then: \[ \lim_{x \to \infty} (f(x) + g(x)) = L + M \] \[ \lim_{x \to \infty} (f(x) \cdot g(x)) = L \cdot M \] \[ \lim_{x \to \infty} (f(x))^n = L^n, \text{ for } n \in \mathbb{Z}^+. \]

4.12 Evaluation of Limits at Infinity

Some Useful Limits

Important

Theorem 4.12.1:

  1. If \(n\) is a positive integer, then \(\lim_{x \to \infty} \frac{1}{x^n} = 0\) and \(\lim_{x \to -\infty} \frac{1}{x^n} = 0\).
  2. If \(m\) and \(n\) are positive integers, then \(\lim_{x \to \infty} \frac{1}{x^{m/n}} = 0\) and \(\lim_{x \to -\infty} \frac{1}{x^{m/n}} = 0\), provided \(n\) is an odd integer for \(x \to -\infty\).

Example 4.12.2:

  1. \(\lim_{x \to \infty}\frac{1}{x^5} = 0.\)
  2. \(\lim_{x \to -\infty}\frac{1}{x^{7 / 3}} + e^x = 0.\) (Note: \(\lim_{x \to -\infty} e^x = 0\))
  3. \(\lim_{x \to \infty}\frac{1}{x^{3 / 4}} = 0.\)

Evaluating Limits at Infinity for Rational Functions

A common technique for rational functions at infinity is to divide both the numerator and denominator by the highest power of \(x\) in the denominator.

Example 4.12.3:

Evaluate \(\lim_{x \to \infty}\frac{x + 4}{x^2 - 6x + 5}\).

Solution:

Divide numerator and denominator by \(x^2\) (highest power of \(x\) in denominator): \[ \begin{aligned} \lim_{x \to \infty} \frac{x + 4}{x^2 - 6x + 5} &= \lim_{x \to \infty} \frac{\frac{x}{x^2} + \frac{4}{x^2}}{\frac{x^2}{x^2} - \frac{6x}{x^2} + \frac{5}{x^2}} \\ &= \lim_{x \to \infty} \frac{\frac{1}{x} + \frac{4}{x^2}}{1 - \frac{6}{x} + \frac{5}{x^2}} \\ &= \frac{\lim_{x \to \infty} \frac{1}{x} + \lim_{x \to \infty} \frac{4}{x^2}}{\lim_{x \to \infty} 1 - \lim_{x \to \infty} \frac{6}{x} + \lim_{x \to \infty} \frac{5}{x^2}} & \text{(Apply limit laws)} \\ &= \frac{0 + 0}{1 - 0 + 0} = \frac{0}{1} = 0. \end{aligned} \]

Evaluating Limits at Infinity for Rational Functions

Example 4.12.4:

Evaluate \(\lim_{x \to \infty}\frac{x^3 + 4x - 5}{7x^3 - 6x + 5}\).

Solution:

Divide numerator and denominator by \(x^3\) (highest power of \(x\) in denominator): \[ \begin{aligned} \lim_{x \to \infty} \frac{x^3 + 4x - 5}{7x^3 - 6x + 5} &= \lim_{x \to \infty} \frac{\frac{x^3}{x^3} + \frac{4x}{x^3} - \frac{5}{x^3}}{\frac{7x^3}{x^3} - \frac{6x}{x^3} + \frac{5}{x^3}} \\ &= \lim_{x \to \infty} \frac{1 + \frac{4}{x^2} - \frac{5}{x^3}}{7 - \frac{6}{x^2} + \frac{5}{x^3}} \\ &= \frac{1 + 0 - 0}{7 - 0 + 0} = \frac{1}{7}. \end{aligned} \]

Limits of Hyperbolic Functions

Hyperbolic functions also have specific behaviors at infinity.

Important

Proposition 4.12.5:

  1. \(\lim_{x \to \infty} \sinh x = +\infty\) and \(\lim_{x \to -\infty} \sinh x = -\infty\).
  2. \(\lim_{x \to \infty} \cosh x = +\infty\) and \(\lim_{x \to -\infty} \cosh x = +\infty\).
  3. \(\lim_{x \to \infty} \tanh x = +1\) and \(\lim_{x \to -\infty} \tanh x = -1\).

Limits Involving Square Roots

When evaluating limits at infinity involving square roots, be careful with the definition of \(\sqrt{x^2}\).

Example 4.12.6: Evaluate \(\lim_{x \to \infty}\frac{\sqrt{2x^2 + 1}}{3x - 5}\).

Solution: For \(x > 0\), we know \(x = \sqrt{x^2}\). Divide numerator and denominator by \(x\): \[ \begin{aligned} \lim_{x \to \infty} \frac{\sqrt{2x^2 + 1}}{3x - 5} &= \lim_{x \to \infty} \frac{\frac{\sqrt{2x^2 + 1}}{x}}{\frac{3x - 5}{x}} \\ &= \lim_{x \to \infty} \frac{\sqrt{\frac{2x^2 + 1}{x^2}}}{3 - \frac{5}{x}} & \text{(Since } x > 0, x = \sqrt{x^2}) \\ &= \lim_{x \to \infty} \frac{\sqrt{2 + \frac{1}{x^2}}}{3 - \frac{5}{x}} \\ &= \frac{\sqrt{2 + 0}}{3 - 0} = \frac{\sqrt{2}}{3}. \end{aligned} \]

Limits Involving Square Roots

Example 4.12.7: Evaluate \(\lim_{x \to -\infty}\frac{\sqrt{2x^2 + 1}}{3x - 5}\).

Solution: For \(x < 0\), we know \(x = -\sqrt{x^2}\). Divide numerator and denominator by \(x\): \[ \begin{aligned} \lim_{x \to -\infty} \frac{\sqrt{2x^2 + 1}}{3x - 5} &= \lim_{x \to -\infty} \frac{\frac{\sqrt{2x^2 + 1}}{x}}{\frac{3x - 5}{x}} \\ &= \lim_{x \to -\infty} \frac{\frac{\sqrt{2x^2 + 1}}{-\sqrt{x^2}}}{3 - \frac{5}{x}} & \text{(Since } x < 0, x = -\sqrt{x^2}) \\ &= \lim_{x \to -\infty} \frac{-\sqrt{\frac{2x^2 + 1}{x^2}}}{3 - \frac{5}{x}} \\ &= \lim_{x \to -\infty} \frac{-\sqrt{2 + \frac{1}{x^2}}}{3 - \frac{5}{x}} \\ &= \frac{-\sqrt{2 + 0}}{3 - 0} = -\frac{\sqrt{2}}{3}. \end{aligned} \]

4.13 Continuous Functions

We often focus on functions that are continuous over entire intervals.

Intervals and End-points

Consider intervals like \((a, b)\), \([a, b)\), \((a, b]\), \([a, b]\), \((a, \infty)\), \([a, \infty)\), \((-\infty, b)\), \((-\infty, b]\).

  • Points \(a\) and \(b\) are endpoints. \(a\) is a left endpoint, \(b\) is a right endpoint.
  • A point \(x\) in an interval is an interior point if it is not an endpoint.

Continuity on an Interval

Important

Definition 4.13.1: The function \(f\) is said to be continuous on the interval \(I\) if:

  1. \(f\) is continuous at every interior point \(c\) of \(I\), i.e., \(\lim_{x \to c} f(x) = f(c)\).
  2. If the left endpoint \(a\) of \(I\) is included in \(I\), \(f\) is continuous from the right there, i.e., \(\lim_{x \to a^+} f(x) = f(a)\).
  3. If the right endpoint \(b\) of \(I\) is included in \(I\), \(f\) is continuous from the left there, i.e., \(\lim_{x \to b^-} f(x) = f(b)\).

The graph of a continuous function on an interval will be a curve with no breaks and no jumps.

4.13 Continuous Functions

Example 4.13.2:

The Heaviside function \(H(x) = \left\{ \begin{array}{ll} 0 & \text{if } x < 0 \\ 1 & \text{if } x \geq 0 \end{array} \right.\)

  • Is continuous on the interval \([0, \infty)\) (continuous from the right at \(x=0\)).
  • Is NOT continuous on \((-\infty, \infty)\) (due to jump at \(x=0\)).
  • Is NOT continuous on \((-\infty, 0]\) (not continuous from the left at \(x=0\)).

Some Known Continuous Functions

Many familiar functions are continuous on their domains:

  • Polynomials: E.g., \(f(x) = x^3 + x + 1\) (continuous on \(\mathbb{R}\)).
  • \(n^{th}\)-root functions: E.g., \(g(x) = \sqrt[5]{x}\) (continuous on \(\mathbb{R}\)).
  • Trigonometric functions: E.g., \(\sin x, \cos x\) (continuous on \(\mathbb{R}\)).
  • Exponential and Logarithmic functions: E.g., \(e^x, 3^x\) (continuous on \(\mathbb{R}\)); \(\ln x\) (continuous on \((0, \infty)\)).
  • Hyperbolic functions: E.g., \(\sinh x, \cosh x\) (continuous on \(\mathbb{R}\)).

For these functions, to determine \(\lim_{x \to c} f(x)\) at a point \(x=c\) in their domain, we can simply substitute \(c\) into the function.

Some Known Continuous Functions

Combination and Composite Functions

Important

Theorem 4.13.3 (Combination of Continuous Functions)

If functions \(f\) and \(g\) are continuous on a set \(S\), then \(f \pm g\), \(f \cdot g\), and \(f/g\) (provided \(g(c) \neq 0\)) are also continuous on \(S\).

Proposition 4.13.5 (Composite of Continuous Functions)

If \(f\) is continuous on its domain \(D_f\) and \(g\) is continuous on the range \(R_f\) of \(f\), then the composite function \(g \circ f\) is continuous on \(D_f\).

Some Known Continuous Functions

Combination and Composite Functions

Example 4.13.4:

The function \(f(x) = \frac{\sin(x - e^x)}{\ln x}\) is continuous on \((1, \infty)\).

(Numerator is composite of continuous functions, denominator \(\ln x\) is continuous and non-zero on \((1, \infty)\)).

Example 4.13.6:

\(f(x) = x^3\) and \(g(x) = \sin x\) are continuous on \(\mathbb{R}\). Their composite functions \(f \circ g(x) = (\sin x)^3\) and \(g \circ f(x) = \sin(x^3)\) are also continuous on \(\mathbb{R}\).

Composite Functions and Their Domains

Example 4.13.7:

Let \(f(x) = \sqrt{x - 4}\) on \([4, \infty)\) and \(g(x) = x^2\).

Find \(g \circ f\) and its domain where it is continuous.

Solution:

\(f\) is continuous on \([4, \infty)\). \(g(x) = x^2\) is continuous on \(\mathbb{R}\).

The composite function \(g \circ f\) is continuous on the domain where \((g \circ f)(x)\) is defined.

\((g \circ f)(x) = g(f(x)) = g(\sqrt{x - 4})\).

This requires \(x - 4 \geq 0\), so \(x \geq 4\).

Then, \(g(\sqrt{x - 4}) = (\sqrt{x - 4})^2 = x - 4\), provided \(x \geq 4\).

Thus, \((g \circ f)(x) = x - 4\) with domain \([4, \infty)\).

So, \((g \circ f)(x)\) is continuous on \([4, \infty)\).

Note

Remark 4.13.8:

Although \((g \circ f)(x)\) and \(h(x) = x - 4\) have the same expression, they are different functions because their domains differ. \((g \circ f)(x) = x - 4\) is only defined on \([4, \infty)\), while \(h(x) = x - 4\) is defined on \(\mathbb{R}\).

Composite Functions and Their Domains

Example 4.13.9:

Let \(f(x) = \sqrt{x - 4}\) on \([4, \infty)\) and \(g(x) = x^2\).

Find \(f \circ g\) and its domain where it is continuous.

Solution:

\((f \circ g)(x) = f(g(x)) = f(x^2)\).

This requires \(x^2 - 4 \geq 0\), which means \(x^2 \geq 4\).

So, \(x \leq -2\) or \(x \geq 2\).

Thus, \((f \circ g)(x) = \sqrt{x^2 - 4}\) with domain \((-\infty, -2] \cup [2, \infty)\).

The composite function \(f \circ g\) is continuous on its domain \((-\infty, -2] \cup [2, \infty)\).

Inverse of Continuous Functions

Important

Proposition 4.13.10:

If \(f\) is a one-to-one continuous function, then its inverse \(f^{-1}\) is continuous.

This implies that inverse trigonometric functions (\(\sin^{-1}x, \cos^{-1}x, \tan^{-1}x\)) are continuous on their respective restricted domains.

4.14 The Intermediate Value Theorem (IVT)

For a function \(f\) that is continuous on a closed and bounded interval \([a, b]\), the Intermediate Value Theorem is a powerful result.

Important

Theorem 4.14.1 (Intermediate Value Theorem)

Suppose that \(f\) is continuous on the closed and bounded interval \([a, b]\) where \(f(a) \neq f(b)\).

Let \(p\) be any real number between \(f(a)\) and \(f(b)\).

Then there exists a number \(c\) in the open interval \((a,b)\) such that \(f(c) = p\).

Remark: The number \(p\) is an intermediate value between \(f(a)\) and \(f(b)\).

4.14 The Intermediate Value Theorem (IVT)

Intermediate Value Theorem - Graphical Illustration IVT Illustration

A typical use of the Intermediate Value Theorem is to locate a root of a function (\(f(c)=0\)).

4.14 The Intermediate Value Theorem (IVT)

IVT: Application (1) Finding Roots

If \(f\) is continuous on \([a, b]\) and \(f(a)\) and \(f(b)\) have opposite signs, then \(p = 0\) is an intermediate value.

By IVT, there is a real number \(c \in (a,b)\) such that \(f(c) = 0\).

Example 4.14.2:

For \(f(x) = x^3 - 5x^2 + 3\), is there a root of \(f\) in \((0,1)\)?

Solution:

  1. \(f(x)\) is a polynomial, so it is continuous everywhere, including on \([0, 1]\).

  2. Evaluate \(f\) at the endpoints:

    • \(f(0) = (0)^3 - 5(0)^2 + 3 = 3\).
    • \(f(1) = (1)^3 - 5(1)^2 + 3 = 1 - 5 + 3 = -1\).
  3. Since \(f(0) = 3\) (positive) and \(f(1) = -1\) (negative), \(f(0)\) and \(f(1)\) have opposite signs.

  4. By the Intermediate Value Theorem, there must be a value \(c \in (0, 1)\) such that \(f(c) = 0\).

    Thus, there is a root in the interval \((0, 1)\).

IVT: Application (2) Intersection of Curves

Example 4.14.3:

Use IVT to explain why the two curves \(y = \cos x\) and \(y = x^2\) intersect at some point with \(x\)-coordinate \(c\) where \(c \in (0, \frac{\pi}{2})\).

Solution:

The curves intersect if \(\cos c = c^2\), which is equivalent to \(\cos c - c^2 = 0\).

Let \(f(x) = \cos x - x^2\). We want to find a root of \(f(x)\).

  1. Continuity: \(y = \cos x\) is continuous on \(\mathbb{R}\), and \(y = x^2\) is continuous on \(\mathbb{R}\).

    Therefore, \(f(x) = \cos x - x^2\) is continuous on \(\mathbb{R}\), and specifically on the closed interval \([0, \frac{\pi}{2}]\).

  2. Evaluate at endpoints:

    • \(f(0) = \cos(0) - (0)^2 = 1 - 0 = 1\).
    • \(f\left(\frac{\pi}{2}\right) = \cos\left(\frac{\pi}{2}\right) - \left(\frac{\pi}{2}\right)^2 = 0 - \frac{\pi^2}{4} = -\frac{\pi^2}{4}\).
  3. Check for opposite signs: \(f(0) = 1 > 0\) and \(f\left(\frac{\pi}{2}\right) = -\frac{\pi^2}{4} \approx -2.467 < 0\).

    Since \(f(0)\) and \(f\left(\frac{\pi}{2}\right)\) have opposite signs, \(p=0\) is an intermediate value between them.

  4. Apply IVT: By the Intermediate Value Theorem, there exists a real number \(c \in (0, \frac{\pi}{2})\) such that \(f(c) = 0\).

    This means \(\cos c - c^2 = 0\), or \(\cos c = c^2\), so the curves intersect at \(x=c\).

4.15 The Extreme Value Theorem (EVT)

Another crucial result for continuous functions on closed and bounded intervals is the Extreme Value Theorem. First, let’s define extreme values.

Global Maximum/Minimum

Important

Definition 4.15.1:

  1. A function \(f\) has a global maximum (absolute maximum) at \(c\) if \(f(c) \geq f(x)\) for all \(x\) in the domain \(D\). \(f(c)\) is the maximum value.
  2. A function \(f\) has a global minimum (absolute minimum) at \(c\) if \(f(c) \leq f(x)\) for all \(x\) in the domain \(D\). \(f(c)\) is the minimum value.
  3. The maximum and minimum values of \(f\) are called the extreme values of \(f\).

4.15 The Extreme Value Theorem (EVT)

Example 4.15.2:

Consider \(f:[-1,1]\to \mathbb{R}\) defined as \(f(x) = \left\{ \begin{array}{ll} -x & \text{if } x < 0 \\ 1 & \text{if } x \geq 0 \end{array} \right.\).

Does \(f\) have a global maximum and minimum on \([-1, 1]\)?

  • \(f\) is not continuous at \(x=0\).
  • For \(x \in [-1, 0)\), \(f(x) = -x\) means \(f(x) \in (0, 1]\). As \(x \to 0^-\), \(f(x) \to 0\).
  • For \(x \in [0, 1]\), \(f(x) = 1\).
  • The range of \(f\) on \([-1,1]\) is \((0, 1] \cup \{1\} = (0, 1]\).
  • Global maximum is \(f(0)=1\).
  • No global minimum, as \(f(x)\) approaches 0 but never reaches it in \((0,1]\).

Example 4.15.3: Let \(f(x) = \frac{1}{x}\), \(x \in (0, 1]\).

  • \(f\) is continuous on \((0, 1]\) (not a closed interval).
  • Global minimum is \(f(1)=1\).
  • No global maximum, as \(f(x) \to \infty\) as \(x \to 0^+\).

Extreme Value Theorem

The Extreme Value Theorem guarantees the existence of global maximum and minimum when both continuity and closed-and-bounded conditions are satisfied.

Important

Theorem 4.15.4 (Extreme Value Theorem)

If \(f\) is a continuous function on a closed and bounded interval \([a, b]\), then there are points \(c_1\) and \(c_2\) in \([a, b]\) such that \(f(c_1) = m\) is a global minimum and \(f(c_2) = M\) is a global maximum for \(f\).

Extreme Value Theorem - Consequence

As a consequence of both the Intermediate Value Theorem and the Extreme Value Theorem:

Tip

Corollary 4.15.5: If \(f:[a,b] \to \mathbb{R}\) is a continuous function, then the range \(R_f\) of \(f\) is a singleton \(\{f(a)\}\) or a closed and bounded interval \([f(c_1), f(c_2)]\), for some \(c_1 \in [a,b]\) and \(c_2 \in [a,b]\).

This means a continuous function on a closed interval maps that interval to another closed interval (or a single point if the function is constant).

Extreme Value Theorem

Example 4.15.6:

Determine the range of \(f(x) = 3x^2, x \in [-2,1]\).

Solution:

  1. \(f(x) = 3x^2\) is a polynomial, so it is continuous on \([-2, 1]\).
  2. The interval \([-2, 1]\) is closed and bounded.
  3. By EVT, a global maximum and minimum exist.
  4. Find critical points (where \(f'(x)=0\) or undefined) and evaluate at endpoints:
    • \(f'(x) = 6x\). Setting \(f'(x)=0\) gives \(x=0\).
    • Evaluate at endpoints and critical point:
      • \(f(-2) = 3(-2)^2 = 12\).
      • \(f(1) = 3(1)^2 = 3\).
      • \(f(0) = 3(0)^2 = 0\).
  5. Global maximum is \(f(-2) = 12\). Global minimum is \(f(0) = 0\).
  6. By Corollary 4.15.5, the range of \(f\) is \([0, 12]\).

Key Takeaways

Limits are about Approach, not always Value:

  • \(\lim_{x \to a} f(x)\) describes the behavior of \(f(x)\) near \(x=a\), not necessarily at \(x=a\).
  • One-sided limits help analyze behavior from left (\(\lim_{x \to a^-}\)) and right (\(\lim_{x \to a^+}\)). A two-sided limit exists if and only if one-sided limits are equal.
  • Infinite limits (\(\infty, -\infty\)) describe unbounded behavior, often leading to vertical asymptotes.
  • Limits at infinity describe end behavior (horizontal asymptotes).

Key Takeaways

Continuity is Key:

  • A function \(f\) is continuous at \(x=c\) if \(f(c)\) is defined, \(\lim_{x \to c} f(x)\) exists, and they are equal (\(f(c) = \lim_{x \to c} f(x)\)).
  • Continuous functions allow direct substitution for limits.

Key Takeaways

Powerful Theorems & Techniques:

  • Limit Laws simplify evaluating limits of sums, products, quotients, and powers.
  • Algebraic Techniques (factoring, rationalization) resolve \(\frac{0}{0}\) indeterminate forms.
  • Squeeze Theorem finds limits of functions bounded by two other functions with the same limit.
  • Intermediate Value Theorem (IVT) guarantees a function hits all values between \(f(a)\) and \(f(b)\) if continuous on \([a,b]\). Great for proving existence of roots.
  • Extreme Value Theorem (EVT) guarantees continuous functions on \([a,b]\) attain global max and min.

Key Equations

Equation Description
\(\lim_{x \to a} f(x) = L\) The limit of \(f(x)\) as \(x\) approaches \(a\) is \(L\).
\(\lim_{x \to a^-} f(x) = L\) Left-hand limit: \(f(x)\) approaches \(L\) as \(x\) approaches \(a\) from values less than \(a\).
\(\lim_{x \to a^+} f(x) = L\) Right-hand limit: \(f(x)\) approaches \(L\) as \(x\) approaches \(a\) from values greater than \(a\).
\(\lim_{x \to a} f(x) = L \iff \lim_{x \to a^-} f(x) = L \text{ and } \lim_{x \to a^+} f(x) = L\) A two-sided limit exists if and only if both one-sided limits exist and are equal.

Key Equations

Equation Description
\(\lim_{x \to a} f(x) = \infty\) \(f(x)\) increases without bound as \(x\) approaches \(a\).
\(\lim_{x \to \infty} f(x) = L\) \(f(x)\) approaches \(L\) as \(x\) increases without bound.
\(\lim_{x \to a} (f(x) \pm g(x)) = \lim_{x \to a} f(x) \pm \lim_{x \to a} g(x)\) Limit of a sum/difference is the sum/difference of limits.
\(\lim_{x \to a} f(x)g(x) = \lim_{x \to a} f(x) \cdot \lim_{x \to a} g(x)\) Limit of a product is the product of limits.
\(\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{\lim_{x \to a} f(x)}{\lim_{x \to a} g(x)}\), if \(\lim_{x \to a} g(x) \neq 0\) Limit of a quotient is the quotient of limits (denominator must not be zero).
\(\lim_{x \to c} f(x) = f(c)\) Definition of continuity at a point \(c\).

Key Terms

Term Definition
Limit of a Function The value that a function approaches as the input (or independent variable) approaches some value.
One-sided Limit The limit of a function as the input approaches a point from either the left (values less than the point) or the right (values greater than the point).
Left-hand Limit The limit as \(x \to a^-\) (from the left).
Right-hand Limit The limit as \(x \to a^+\) (from the right).
Infinite Limit A limit in which the function’s values grow without bound (to \(\infty\)) or decrease without bound (to \(-\infty\)) as the input approaches a specific point.
Vertical Asymptote A vertical line \(x=a\) that the graph of a function approaches as \(x\) approaches \(a\), where the function’s values tend towards \(\pm \infty\).

Key Terms

Term Definition
Limit at Infinity A limit in which the input (or independent variable) grows without bound (\(x \to \infty\)) or decreases without bound (\(x \to -\infty\)), and the function approaches a specific finite value \(L\).
Horizontal Asymptote A horizontal line \(y=b\) that the graph of a function approaches as \(x \to \pm \infty\).
Indeterminate Form An expression (like \(\frac{0}{0}\) or \(\frac{\infty}{\infty}\)) whose limit cannot be determined by direct substitution, requiring further analysis or algebraic manipulation.
Continuity at a Point A function is continuous at a point if its limit at that point exists, its value at that point exists, and these two are equal. Graphically, no breaks, jumps, or holes.
Continuity on an Interval A function is continuous on an interval if it is continuous at every interior point, and continuous from the right/left at any included endpoints.

Key Terms

Term Definition
Squeeze Theorem A theorem stating that if a function \(g(x)\) is bounded between two functions \(f(x)\) and \(h(x)\) near a point \(a\), and both \(f(x)\) and \(h(x)\) have the same limit \(L\) at \(a\), then \(g(x)\) also has the limit \(L\) at \(a\).
Intermediate Value Theorem (IVT) A theorem stating that for a continuous function on a closed interval \([a,b]\), the function takes on every value between \(f(a)\) and \(f(b)\).
Extreme Value Theorem (EVT) A theorem stating that a continuous function on a closed and bounded interval \([a,b]\) must attain both a global maximum and a global minimum on that interval.
Global Maximum/Minimum The absolute highest or lowest value that a function attains over its entire domain.