To analyze the continuity and differentiability of the function g ( x ) g(x) g ( x ) , we consider the given definition:
g ( x ) = { 0 if x < a ∫ a x f ( t ) d t if a ≤ x ≤ b ∫ a b f ( t ) d t if x > b g(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} g ( x ) = ⎩ ⎨ ⎧ 0 ∫ a x f ( t ) d t ∫ a b f ( t ) d t if x < a if a ≤ x ≤ b if x > b
where f : [ a , b ] → [ 1 , ∞ ) f: [a, b] \rightarrow [1, \infty) f : [ a , b ] → [ 1 , ∞ ) is a continuous function.
1. Continuity Analysis
At x = a x = a x = 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 lim x → a − g ( x ) = lim x → a − 0 = 0
Right-Hand Limit (RHL):
lim x → a + g ( x ) = lim x → a + ∫ a x f ( t ) d t = ∫ a a f ( t ) d t = 0 \lim_{x \to a^+} g(x) = \lim_{x \to a^+} \int_a^x f(t) \, dt = \int_a^a f(t) \, dt = 0 lim x → a + g ( x ) = lim x → a + ∫ a x f ( t ) d t = ∫ a a f ( t ) d t = 0
Value of the function at x = a x = a x = a :
g ( a ) = ∫ a a f ( t ) d t = 0 g(a) = \int_a^a f(t) \, dt = 0 g ( a ) = ∫ a a f ( t ) d t = 0
Since LHL = RHL = g ( a ) = 0 \text{LHL} = \text{RHL} = g(a) = 0 LHL = RHL = g ( a ) = 0 , g ( x ) g(x) g ( x ) is continuous at x = a x = a x = a .
At x = b x = b x = b :
Left-Hand Limit (LHL):
lim x → b − g ( x ) = lim x → b − ∫ a x f ( t ) d t = ∫ a b f ( t ) d t \lim_{x \to b^-} g(x) = \lim_{x \to b^-} \int_a^x f(t) \, dt = \int_a^b f(t) \, dt lim x → b − g ( x ) = lim x → b − ∫ a x f ( t ) d t = ∫ a b f ( t ) d t
Right-Hand Limit (RHL):
lim x → b + g ( x ) = lim x → b + ∫ a b f ( t ) d t = ∫ a b f ( t ) d t \lim_{x \to b^+} g(x) = \lim_{x \to b^+} \int_a^b f(t) \, dt = \int_a^b f(t) \, dt lim x → b + g ( x ) = lim x → b + ∫ a b f ( t ) d t = ∫ a b f ( t ) d t
Value of the function at x = b x = b x = b :
g ( b ) = ∫ a b f ( t ) d t g(b) = \int_a^b f(t) \, dt g ( b ) = ∫ a b f ( t ) d t
Since LHL = RHL = g ( b ) \text{LHL} = \text{RHL} = g(b) LHL = RHL = g ( b ) , g ( x ) g(x) g ( x ) is continuous at x = b x = b x = b .
Everywhere else:
For x < a x < a x < a , g ( x ) = 0 g(x) = 0 g ( x ) = 0 is a constant function, hence continuous.
For a < x < b a < x < b a < x < b , g ( x ) = ∫ a x f ( t ) d t g(x) = \int_a^x f(t) \, dt g ( x ) = ∫ a x f ( t ) d t is continuous by the Fundamental Theorem of Calculus, as f ( t ) f(t) f ( t ) is continuous on [ a , b ] [a, b] [ a , b ] .
For x > b x > b x > b , g ( x ) = ∫ a b f ( t ) d t g(x) = \int_a^b f(t) \, dt g ( x ) = ∫ a b f ( t ) d t is a constant, hence continuous.
Thus, g ( x ) g(x) g ( x ) is continuous everywhere on R \mathbb{R} R .
2. Differentiability Analysis
At x = a x = a x = a :
Left-Hand Derivative (LHD):
g ′ ( a − ) = lim h → 0 − g ( a + h ) − g ( a ) h = lim h → 0 − 0 − 0 h = 0 g'(a^-) = \lim_{h \to 0^-} \frac{g(a+h) - g(a)}{h} = \lim_{h \to 0^-} \frac{0 - 0}{h} = 0 g ′ ( a − ) = lim h → 0 − h g ( a + h ) − g ( a ) = lim h → 0 − h 0 − 0 = 0
Right-Hand Derivative (RHD):
By the Fundamental Theorem of Calculus,
g ′ ( a + ) = lim x → a + d d x ( ∫ a x f ( t ) d t ) = f ( a ) g'(a^+) = \lim_{x \to a^+} \frac{d}{dx} \left( \int_a^x f(t) \, dt \right) = f(a) g ′ ( a + ) = lim x → a + d x d ( ∫ a x f ( t ) d t ) = f ( a )
Since f : [ a , b ] → [ 1 , ∞ ) f: [a, b] \rightarrow [1, \infty) f : [ a , b ] → [ 1 , ∞ ) , we have f ( a ) ≥ 1 > 0 f(a) \ge 1 > 0 f ( a ) ≥ 1 > 0 .
Therefore, g ′ ( a − ) ≠ g ′ ( a + ) g'(a^-) \neq g'(a^+) g ′ ( a − ) = g ′ ( a + ) , which implies that g ( x ) g(x) g ( x ) is not differentiable at x = a x = a x = a .
At x = b x = b x = b :
Left-Hand Derivative (LHD):
By the Fundamental Theorem of Calculus,
g ′ ( b − ) = lim x → b − d d x ( ∫ a x f ( t ) d t ) = f ( b ) g'(b^-) = \lim_{x \to b^-} \frac{d}{dx} \left( \int_a^x f(t) \, dt \right) = f(b) g ′ ( b − ) = lim x → b − d x d ( ∫ a x f ( t ) d t ) = f ( b )
Right-Hand Derivative (RHD):
g ′ ( b + ) = lim h → 0 + g ( b + h ) − g ( b ) h = lim h → 0 + ∫ a b f ( t ) d t − ∫ a b f ( t ) d t h = 0 g'(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 g ′ ( b + ) = lim h → 0 + h g ( b + h ) − g ( b ) = lim h → 0 + h ∫ a b f ( t ) d t − ∫ a b f ( t ) d t = 0
Since f ( b ) ≥ 1 > 0 f(b) \ge 1 > 0 f ( b ) ≥ 1 > 0 , we have g ′ ( b − ) ≠ g ′ ( b + ) g'(b^-) \neq g'(b^+) g ′ ( b − ) = g ′ ( b + ) , which implies that g ( x ) g(x) g ( x ) is not differentiable at x = b x = b x = b .
Conclusion
g ( x ) g(x) g ( x ) is continuous everywhere on R \mathbb{R} R .
g ( x ) g(x) g ( x ) is not differentiable at x = a x = a x = a and x = b x = b x = b .
Hence, options (A) and (C) are correct.