JEE Challenger
More from Continuity and Differentiability

Points of Discontinuity and Non Differentiability of Composite Function

Consider the functions f:(−1,1)→Rf: (-1, 1) \to \mathbb{R} and g:(−1,1)→(−1,1)g: (-1, 1) \to (-1, 1) defined by f(x)=∣2x−1∣+∣2x+1∣andg(x)=x−[x],f(x) = |2x - 1| + |2x + 1| \quad \text{and} \quad g(x) = x - [x], where [x][x] represents the greatest integer less than or equal to xx. Let f∘g:(−1,1)→Rf \circ g: (-1, 1) \to \mathbb{R} be the composite function defined as (f∘g)(x)=f(g(x))(f \circ g)(x) = f(g(x)). Let cc be the number of points in the interval (−1,1)(-1, 1) where f∘gf \circ g is NOT continuous, and dd be the number of points in (−1,1)(-1, 1) where f∘gf \circ g is NOT differentiable. Find the value of c+dc + d.

Official Numerical Answer4

Step-by-Step Solution

To find the value of c+dc + d, we first determine the explicit mathematical expressions for the functions g(x)g(x), f(x)f(x), and their composite function (f∘g)(x)(f \circ g)(x) on the interval (−1,1)(-1, 1).

Step 1: Analyze the function g(x)g(x)

The function g:(−1,1)→(−1,1)g: (-1, 1) \to (-1, 1) is defined as: g(x)=x−[x]g(x) = x - [x] where [x][x] is the greatest integer less than or equal to xx.

For x∈(−1,1)x \in (-1, 1), we split the domain into two intervals:

  1. For x∈(−1,0)x \in (-1, 0): [x]=−1  ⟹  g(x)=x−(−1)=x+1[x] = -1 \implies g(x) = x - (-1) = x + 1
  2. For x∈[0,1)x \in [0, 1): [x]=0  ⟹  g(x)=x−0=x[x] = 0 \implies g(x) = x - 0 = x

Thus,

g(x)={x+1,−1<x<0x,0≤x<1g(x) = \begin{cases} x + 1, & -1 < x < 0 \\ x, & 0 \le x < 1 \end{cases}

Note that g(x)∈[0,1)g(x) \in [0, 1) for all x∈(−1,1)x \in (-1, 1).


Step 2: Analyze the function f(t)f(t)

The function f:(−1,1)→Rf: (-1, 1) \to \mathbb{R} is defined as: f(t)=∣2t−1∣+∣2t+1∣f(t) = |2t - 1| + |2t + 1|

Since the range of g(x)g(x) is contained in [0,1)[0, 1), we only need to evaluate f(t)f(t) for t∈[0,1)t \in [0, 1):

  • For t≥0t \ge 0, we have 2t+1>02t + 1 > 0, so ∣2t+1∣=2t+1|2t + 1| = 2t + 1.
  • For 0≤t<120 \le t < \frac{1}{2}, 2t−1<0  ⟹  ∣2t−1∣=1−2t2t - 1 < 0 \implies |2t - 1| = 1 - 2t. f(t)=(1−2t)+(2t+1)=2f(t) = (1 - 2t) + (2t + 1) = 2
  • For 12≤t<1\frac{1}{2} \le t < 1, 2t−1≥0  ⟹  ∣2t−1∣=2t−12t - 1 \ge 0 \implies |2t - 1| = 2t - 1. f(t)=(2t−1)+(2t+1)=4tf(t) = (2t - 1) + (2t + 1) = 4t

Thus, for t∈[0,1)t \in [0, 1):

f(t)={2,0≤t<124t,12≤t<1f(t) = \begin{cases} 2, & 0 \le t < \frac{1}{2} \\ 4t, & \frac{1}{2} \le t < 1 \end{cases}

Step 3: Construct the composite function (f∘g)(x)(f \circ g)(x)

We evaluate (f∘g)(x)=f(g(x))(f \circ g)(x) = f(g(x)) by substituting g(x)g(x) into ff:

  1. For x∈(−1,−12)x \in \left(-1, -\frac{1}{2}\right): g(x)=x+1∈(0,12)  ⟹  (f∘g)(x)=2g(x) = x + 1 \in \left(0, \frac{1}{2}\right) \implies (f \circ g)(x) = 2

  2. For x∈[−12,0)x \in \left[-\frac{1}{2}, 0\right): g(x)=x+1∈[12,1)  ⟹  (f∘g)(x)=4(x+1)=4x+4g(x) = x + 1 \in \left[\frac{1}{2}, 1\right) \implies (f \circ g)(x) = 4(x + 1) = 4x + 4

  3. For x∈[0,12)x \in \left[0, \frac{1}{2}\right): g(x)=x∈[0,12)  ⟹  (f∘g)(x)=2g(x) = x \in \left[0, \frac{1}{2}\right) \implies (f \circ g)(x) = 2

  4. For x∈[12,1)x \in \left[\frac{1}{2}, 1\right): g(x)=x∈[12,1)  ⟹  (f∘g)(x)=4xg(x) = x \in \left[\frac{1}{2}, 1\right) \implies (f \circ g)(x) = 4x

Writing (f∘g)(x)(f \circ g)(x) piecewise over (−1,1)(-1, 1):

(f∘g)(x)={2,−1<x<−124x+4,−12≤x<02,0≤x<124x,12≤x<1(f \circ g)(x) = \begin{cases} 2, & -1 < x < -\frac{1}{2} \\ 4x + 4, & -\frac{1}{2} \le x < 0 \\ 2, & 0 \le x < \frac{1}{2} \\ 4x, & \frac{1}{2} \le x < 1 \end{cases}

Step 4: Determine points of discontinuity (cc)

The potential points of discontinuity in (−1,1)(-1, 1) are x=−12x = -\frac{1}{2}, x=0x = 0, and x=12x = \frac{1}{2}.

  1. At x=−12x = -\frac{1}{2}: lim⁡x→−12−(f∘g)(x)=2\lim_{x \to -\frac{1}{2}^-} (f \circ g)(x) = 2 lim⁡x→−12+(f∘g)(x)=4(−12)+4=2\lim_{x \to -\frac{1}{2}^+} (f \circ g)(x) = 4\left(-\frac{1}{2}\right) + 4 = 2 (f∘g)(−12)=2(f \circ g)\left(-\frac{1}{2}\right) = 2 Since LHL=RHL=(f∘g)(−12)\text{LHL} = \text{RHL} = (f \circ g)\left(-\frac{1}{2}\right), (f∘g)(f \circ g) is continuous at x=−12x = -\frac{1}{2}.

  2. At x=0x = 0: lim⁡x→0−(f∘g)(x)=4(0)+4=4\lim_{x \to 0^-} (f \circ g)(x) = 4(0) + 4 = 4 lim⁡x→0+(f∘g)(x)=2\lim_{x \to 0^+} (f \circ g)(x) = 2 Since LHL≠RHL\text{LHL} \neq \text{RHL}, (f∘g)(f \circ g) is discontinuous at x=0x = 0.

  3. At x=12x = \frac{1}{2}: lim⁡x→12−(f∘g)(x)=2\lim_{x \to \frac{1}{2}^-} (f \circ g)(x) = 2 lim⁡x→12+(f∘g)(x)=4(12)=2\lim_{x \to \frac{1}{2}^+} (f \circ g)(x) = 4\left(\frac{1}{2}\right) = 2 (f∘g)(12)=2(f \circ g)\left(\frac{1}{2}\right) = 2 Since LHL=RHL=(f∘g)(12)\text{LHL} = \text{RHL} = (f \circ g)\left(\frac{1}{2}\right), (f∘g)(f \circ g) is continuous at x=12x = \frac{1}{2}.

Therefore, the number of points of discontinuity is: c=1(at x=0)c = 1 \quad (\text{at } x = 0)


Step 5: Determine points of non-differentiability (dd)

Since (f∘g)(x)(f \circ g)(x) is discontinuous at x=0x = 0, it is automatically not differentiable at x=0x = 0.

Now, check the derivatives at the continuous transition points x=−12x = -\frac{1}{2} and x=12x = \frac{1}{2}:

  1. At x=−12x = -\frac{1}{2}: LHD=ddx(2)∣x→−12−=0\text{LHD} = \left.\frac{d}{dx}(2)\right|_{x \to -\frac{1}{2}^-} = 0 RHD=ddx(4x+4)∣x→−12+=4\text{RHD} = \left.\frac{d}{dx}(4x + 4)\right|_{x \to -\frac{1}{2}^+} = 4 Since LHD≠RHD\text{LHD} \neq \text{RHD}, (f∘g)(f \circ g) is not differentiable at x=−12x = -\frac{1}{2}.

  2. At x=12x = \frac{1}{2}: LHD=ddx(2)∣x→12−=0\text{LHD} = \left.\frac{d}{dx}(2)\right|_{x \to \frac{1}{2}^-} = 0 RHD=ddx(4x)∣x→12+=4\text{RHD} = \left.\frac{d}{dx}(4x)\right|_{x \to \frac{1}{2}^+} = 4 Since LHD≠RHD\text{LHD} \neq \text{RHD}, (f∘g)(f \circ g) is not differentiable at x=12x = \frac{1}{2}.

All other points inside the open intervals (−1,−12)\left(-1, -\frac{1}{2}\right), (−12,0)\left(-\frac{1}{2}, 0\right), (0,12)\left(0, \frac{1}{2}\right), and (12,1)\left(\frac{1}{2}, 1\right) are differentiable since the function is linear on those open intervals.

Therefore, the points of non-differentiability are x∈{−12,0,12}x \in \left\{-\frac{1}{2}, 0, \frac{1}{2}\right\}, giving: d=3d = 3


Conclusion

c+d=1+3=4c + d = 1 + 3 = 4