JEE Challenger
More from Continuity and Differentiability

Continuity and Differentiability of Integral Defined Function

Suppose f:[a,b]→[1,∞)f: [a, b] \rightarrow [1, \infty) is a continuous function, and g:R→Rg: \mathbb{R} \rightarrow \mathbb{R} is defined by

g(x)=0if x<a,∫axf(t)dtif a≤x≤b,∫abf(t)dtif x>b.g(x) = \begin{array}{ll} 0 & \text{if } x < a, \\ \int_a^x f(t) dt & \text{if } a \le x \le b, \\ \int_a^b f(t) dt & \text{if } x > b. \end{array}

Which of the following statements holds true?

Options

A

g(x)g(x) is continuous but not differentiable at x=ax = a

Correct
B

g(x)g(x) is differentiable everywhere on R\mathbb{R}

C

g(x)g(x) is continuous but not differentiable at x=bx = b

Correct
D

g(x)g(x) is continuous and differentiable at either aa or bb, but not both

Step-by-Step Solution

To analyze the continuity and differentiability of the function g(x)g(x), we consider the given definition:

g(x)={0if x<a∫axf(t) dtif a≤x≤b∫abf(t) dtif x>bg(x) = \begin{cases} 0 & \text{if } x < a \\ \int_a^x f(t) \, dt & \text{if } a \le x \le b \\ \int_a^b f(t) \, dt & \text{if } x > b \end{cases}

where f:[a,b]→[1,∞)f: [a, b] \rightarrow [1, \infty) is a continuous function.


1. Continuity Analysis

  • At x=ax = a:

    • Left-Hand Limit (LHL): lim⁡x→a−g(x)=lim⁡x→a−0=0\lim_{x \to a^-} g(x) = \lim_{x \to a^-} 0 = 0
    • Right-Hand Limit (RHL): lim⁡x→a+g(x)=lim⁡x→a+∫axf(t) dt=∫aaf(t) dt=0\lim_{x \to a^+} g(x) = \lim_{x \to a^+} \int_a^x f(t) \, dt = \int_a^a f(t) \, dt = 0
    • Value of the function at x=ax = a: g(a)=∫aaf(t) dt=0g(a) = \int_a^a f(t) \, dt = 0 Since LHL=RHL=g(a)=0\text{LHL} = \text{RHL} = g(a) = 0, g(x)g(x) is continuous at x=ax = a.
  • At x=bx = b:

    • Left-Hand Limit (LHL): lim⁡x→b−g(x)=lim⁡x→b−∫axf(t) dt=∫abf(t) dt\lim_{x \to b^-} g(x) = \lim_{x \to b^-} \int_a^x f(t) \, dt = \int_a^b f(t) \, dt
    • Right-Hand Limit (RHL): lim⁡x→b+g(x)=lim⁡x→b+∫abf(t) dt=∫abf(t) dt\lim_{x \to b^+} g(x) = \lim_{x \to b^+} \int_a^b f(t) \, dt = \int_a^b f(t) \, dt
    • Value of the function at x=bx = b: g(b)=∫abf(t) dtg(b) = \int_a^b f(t) \, dt Since LHL=RHL=g(b)\text{LHL} = \text{RHL} = g(b), g(x)g(x) is continuous at x=bx = b.
  • Everywhere else:

    • For x<ax < a, g(x)=0g(x) = 0 is a constant function, hence continuous.
    • For a<x<ba < x < b, g(x)=∫axf(t) dtg(x) = \int_a^x f(t) \, dt is continuous by the Fundamental Theorem of Calculus, as f(t)f(t) is continuous on [a,b][a, b].
    • For x>bx > b, g(x)=∫abf(t) dtg(x) = \int_a^b f(t) \, dt is a constant, hence continuous.

Thus, g(x)g(x) is continuous everywhere on R\mathbb{R}.


2. Differentiability Analysis

  • At x=ax = a:

    • Left-Hand Derivative (LHD): g′(a−)=lim⁡h→0−g(a+h)−g(a)h=lim⁡h→0−0−0h=0g'(a^-) = \lim_{h \to 0^-} \frac{g(a+h) - g(a)}{h} = \lim_{h \to 0^-} \frac{0 - 0}{h} = 0
    • Right-Hand Derivative (RHD): By the Fundamental Theorem of Calculus, g′(a+)=lim⁡x→a+ddx(∫axf(t) dt)=f(a)g'(a^+) = \lim_{x \to a^+} \frac{d}{dx} \left( \int_a^x f(t) \, dt \right) = f(a) Since f:[a,b]→[1,∞)f: [a, b] \rightarrow [1, \infty), we have f(a)≥1>0f(a) \ge 1 > 0. Therefore, g′(a−)≠g′(a+)g'(a^-) \neq g'(a^+), which implies that g(x)g(x) is not differentiable at x=ax = a.
  • At x=bx = b:

    • Left-Hand Derivative (LHD): By the Fundamental Theorem of Calculus, g′(b−)=lim⁡x→b−ddx(∫axf(t) dt)=f(b)g'(b^-) = \lim_{x \to b^-} \frac{d}{dx} \left( \int_a^x f(t) \, dt \right) = f(b)
    • Right-Hand Derivative (RHD): g′(b+)=lim⁡h→0+g(b+h)−g(b)h=lim⁡h→0+∫abf(t) dt−∫abf(t) dth=0g'(b^+) = \lim_{h \to 0^+} \frac{g(b+h) - g(b)}{h} = \lim_{h \to 0^+} \frac{\int_a^b f(t) \, dt - \int_a^b f(t) \, dt}{h} = 0 Since f(b)≥1>0f(b) \ge 1 > 0, we have g′(b−)≠g′(b+)g'(b^-) \neq g'(b^+), which implies that g(x)g(x) is not differentiable at x=bx = b.

Conclusion

  • g(x)g(x) is continuous everywhere on R\mathbb{R}.
  • g(x)g(x) is not differentiable at x=ax = a and x=bx = b.

Hence, options (A) and (C) are correct.