This section works through twelve fully solved examples and one guided activity, applying every idea from 8.1.1–8.1.11 to concrete functions. Several examples also introduce standard limit results that are quoted, without re-derivation, throughout the harder examples: x→0limxex−1=1, x→0limxax−1=loga, x→0lim(1+t)1/t=e, x→0lim(1−t)1/t=e−1=e1, x→0limxlog(1+x)=1, and x→0limxlog(1−x)=−1 (these can be proved using L'Hospital's rule or power-series expansions, studied at a more advanced stage) — together with the already-familiar θ→0limθsinθ=1=θ→0limθtanθ.
Example 1. Discuss the continuity of f(x)=∣x−3∣ at x=3 (Fig. 8.8). By the definition of the modulus function, f(x)=−(x−3) for x<3 and f(x)=x−3 for x≥3. Here f(3)=3−3=0; also x→3−limf(x)=−(3−3)=0 and x→3+limf(x)=3−3=0, so both one-sided limits equal 0=limx→3f(x), and x→3limf(x)=f(3)=0. Therefore f(x) is continuous at x=3.
Example 2. Determine whether f is continuous on R, where f(x)=3x+1 for x<2, f(x)=7 for 2≤x<4, and f(x)=x2−8 for x≥4; if discontinuous, state the type. Since the function is built from polynomials on each piece, any discontinuity can only occur where the definition switches, i.e. at x=2 and x=4. At x=2: f(2)=7 (given), x→2−limf(x)=x→2lim(3x+1)=7, and x→2+limf(x)=7; so x→2limf(x)=f(2)=7, and f is continuous at x=2. At x=4: f(4)=42−8=8; x→4−limf(x)=x→4lim(7)=7, while x→4+limf(x)=x→4lim(x2−8)=16−8=8. Since 7=8, x→4limf(x) does not exist, so f is discontinuous at x=4, with a jump discontinuity there (both one-sided limits exist but differ); f is continuous everywhere else on R.
Example 3. Test whether f(x)=x+4x2+16x+48 for x=−4, f(−4)=8, is continuous at x=−4. Here f(−4)=8 is defined. Factorising, x2+16x+48=(x+4)(x+12), so for x=−4,
So x→−4limf(x)=f(−4)=8, and by definition f(x) is continuous at x=−4.
Example 4. Discuss the continuity of f(x)=9−x2 on the interval [−3,3]. The domain of f is exactly [−3,3], since f needs 9−x2≥0. For any a∈(−3,3), x→alimf(x)=x→alim9−x2=9−a2=f(a), so f is continuous at every interior point. At the endpoints, f(3)=0 and f(−3)=0; also x→3−limf(x)=f(3)=0 and x→−3+limf(x)=f(−3)=0. So f is continuous on (−3,3), continuous to the right at x=−3, and continuous to the left at x=3; hence f(x)=9−x2 is continuous on the closed interval [−3,3].
Example 5. Show that f(x)=⌊x⌋ is not continuous at x=0,1 on the interval [−1,2) (Fig. 8.9): f(x)=−1 for x∈[−1,0), f(x)=0 for x∈[0,1), and f(x)=1 for x∈[1,2). At x=0: f(0)=0, but x→0−limf(x)=−1 while x→0+limf(x)=0; since these differ, f is discontinuous at x=0. At x=1: f(1)=1, but x→1−limf(x)=0 while x→1+limf(x)=1; since these differ too, f is discontinuous at x=1. Hence f(x)=⌊x⌋ is not continuous at x=0 or x=1 within [−1,2) (each is a jump discontinuity, visible as the two steps in Fig. 8.9).
Example 6. Discuss the continuity of f(x)=x2sin(x1) for x=0, f(0)=0, at x=0. Since −1≤sin(x1)≤1 for every x=0, multiplying throughout by x2(≥0) gives −x2≤x2sin(x1)≤x2. Taking the limit as x→0 throughout, both outer bounds −x2 and x2 go to 0, so by the Squeeze Theorem, x→0limx2sin(x1)=0, i.e. x→0limf(x)=0=f(0). Hence f(x) is continuous at x=0.
Example 7. Find k if f(x)=sin3xxex+tanx for x=0, f(0)=k, is continuous at x=0. Since f must equal its own limit at 0,
using limx→0θsinθ=1=limx→0θtanθ as x→0,3x→0. So k=32.
Example 8. If f is continuous at x=1, where f(x)=x−1sin(πx)+a for x<1, f(1)=2π, and f(x)=π(1−x)21+cos(πx)+b for x>1, find a and b. Continuity at x=1 requires x→1−limf(x)=x→1+limf(x)=f(1). For the left limit, put x−1=t so x=1+t, t→0−: sin(πx)=sin(π+πt)=−sin(πt), so
Example 9. Identify discontinuities for the following as either jump or removable, on R:
(1) f(x)=x−6x2−3x−18: this rational function is continuous for every x=6, so f(6) is not defined. Factorising, x2−3x−18=(x−6)(x+3), so x→6limf(x)=x→6lim(x+3)=9. Since f(6) is undefined but the limit exists, f has a removable discontinuity at x=6.
(2) g(x)=3x+1 for x<3, g(x)=2−3x for x≥3: this is built from two different polynomials meeting at x=3. Here g(3)=2−3(3)=−7; x→3−limg(x)=x→3lim(3x+1)=10, while x→3+limg(x)=x→3lim(2−3x)=−7. Since 10=−7, x→3limg(x) does not exist, so g has a jump discontinuity at x=3.
(3) h(x)=13−x2 for x<5, h(x)=13−5x for x>5: h(5) is not defined by either piece. x→5−limh(x)=13−25=−12 and x→5+limh(x)=13−25=−12 agree, so x→5limh(x)=−12 exists even though h(5) is undefined — a removable discontinuity at x=5.
Note: the standard limits limx→0xex−1=1, limx→0xax−1=loga, limx→0(1+t)1/t=e, limx→0(1−t)1/t=e−1=e1, limx→0xlog(1+x)=1 and limx→0xlog(1−x)=−1 are used from here on without re-proof; they can be established using L'Hospital's rule or a power-series expansion, taken up at a more advanced stage.
Example 10. Show that f(x)=cotx5cosx−e(π/2−x) for x=π/2, f(π/2)=log5−e, has a removable discontinuity at x=π/2, and redefine it to be continuous there. Here f(π/2)=log5−e is defined. Put 2π−x=t, so x=2π−t, t→0 as x→2π: then cosx=sint, cotx=tant, so
and dividing every piece by t (valid since t=0) and using sint=0 near 0, this reduces, using limt→0tsint=1=limt→0ttant, limt→0tet−1=1 and limt→0tat−1=loga, to
limx→π/2f(x)=1(1)(log5)−1=log5−1.
Since f(π/2)=log5−e is defined and x→π/2limf(x)=log5−1 exists, but log5−1=log5−e, the function has a removable discontinuity at x=π/2; it is repaired by redefining f(π/2)=log5−1, giving the continuous function
f(x)=cotx5cosx−e(π/2−x) for x=2π,f(2π)=log5−1.
Example 11. If f(x)=(2−5x3x+2)1/x for x=0 is continuous at x=0, find f(0). Since f must equal its limit at 0, write 2−5x3x+2=2(1−25x)2(1+23x)=(1−25x)1/x(1+23x)1/x, so
Figure 8.8Fig. 8.8 – the graph of f(x) = |x-3| (Example 1)
What this figure shows. A V-shaped graph with its vertex sitting on the X-axis at x=3: the left arm is the falling line y=−(x−3) approaching zero as x increases towards 3, and the right arm is the rising line y=x−3 moving away from zero as x increases past 3, the two arms meeting cleanly at the vertex with no gap – used in Example 1 to confirm continuity a …
Figure 8.9Fig. 8.9 – the floor function on [-1,2) (Example 5)
What this figure shows. A three-step staircase graph over the domain [−1,2): a segment at height −1 from x=−1 (solid dot) to just before x=0 (open circle), a segment at height 0 from x=0 (solid dot) to just before x=1 (open circle), and a segment at height 1 from x=1 (solid dot) to just before x=2 (open circle) – the two visible vertical steps at x=0 and x=1 are exactly the discontinuities Example 5 asks the stude …