JEE Challenger
More from Continuity and Differentiability

Discontinuity Points of Functions Involving Greatest Integer

For a real number α\alpha, let [α][\alpha] denote the greatest integer less than or equal to α\alpha. For a finite set SS, let S|S| denote the number of elements in the set SS.

Consider the functions f:(3,3)(,)f : (-3, 3) \to (-\infty, \infty) and g:(3,3)(,)g : (-3, 3) \to (-\infty, \infty) defined by
f(x)=[x3]loge(1+sin2(π(x[x])))f(x) = [x^3] \log_e (1 + \sin^2(\pi(x - [x])))
and
g(x)=x3sin2(πloge(1+x[x]))g(x) = x^3 \sin^2(\pi \log_e(1 + x - [x])).

Let A={x(3,3):f is discontinuous at x}A = \{x \in (-3, 3) : f \text{ is discontinuous at } x\} and B={x(3,3):g is discontinuous at x}.B = \{x \in (-3, 3) : g \text{ is discontinuous at } x\}.

Then the value of A+2BAB|A| + 2|B| - |A \cap B| is ________.

Official Numerical Answer56

Step-by-Step Solution

To find the value of A+2BAB|A| + 2|B| - |A \cap B|, we need to determine the points of discontinuity for both functions f(x)f(x) and g(x)g(x) in the domain (3,3)(-3, 3).


Step 1: Analyzing the continuity of f(x)f(x)

The function f:(3,3)(,)f: (-3, 3) \to (-\infty, \infty) is defined as: f(x)=[x3]loge(1+sin2(π{x}))f(x) = [x^3] \log_e (1 + \sin^2(\pi \{x\})) where {x}=x[x]\{x\} = x - [x] denotes the fractional part of xx.

  1. Continuity of loge(1+sin2(π{x}))\log_e(1 + \sin^2(\pi \{x\})):

    • As xk+x \to k^+ (where kZk \in \mathbb{Z}), {x}0+\{x\} \to 0^+, so sin2(π{x})sin2(0)=0\sin^2(\pi \{x\}) \to \sin^2(0) = 0.
    • As xkx \to k^-, {x}1\{x\} \to 1^-, so sin2(π{x})sin2(π)=0\sin^2(\pi \{x\}) \to \sin^2(\pi) = 0.
    • At x=kx = k, {k}=0\{k\} = 0, so sin2(π{k})=0\sin^2(\pi \{k\}) = 0.

    Thus, sin2(π{x})\sin^2(\pi \{x\}) is continuous for all xRx \in \mathbb{R}, and loge(1+sin2(π{x}))=0\log_e(1 + \sin^2(\pi \{x\})) = 0 whenever xZx \in \mathbb{Z}.

  2. Points of potential discontinuity of [x3][x^3]:

    • For x(3,3)x \in (-3, 3), we have x3(27,27)x^3 \in (-27, 27).
    • The greatest integer function [x3][x^3] is discontinuous at points where x3=nZx^3 = n \in \mathbb{Z}, which corresponds to x=n1/3x = n^{1/3} for n{26,25,,26}n \in \{-26, -25, \dots, 26\}.
    • The total number of such integers nn is 26(26)+1=5326 - (-26) + 1 = 53.
  3. Checking continuity of f(x)f(x) at x=n1/3x = n^{1/3}:

    • Case (i): When x=n1/3x = n^{1/3} is an integer, i.e., x{2,1,0,1,2}x \in \{-2, -1, 0, 1, 2\} (which corresponds to n{8,1,0,1,8}n \in \{-8, -1, 0, 1, 8\}): As xk{2,1,0,1,2}x \to k \in \{-2, -1, 0, 1, 2\}, [x3][x^3] remains bounded, while loge(1+sin2(π{x}))0\log_e(1 + \sin^2(\pi \{x\})) \to 0. Therefore, limxkf(x)=0=f(k)\lim_{x \to k} f(x) = 0 = f(k) Thus, f(x)f(x) is continuous at all 5 integer points.

    • Case (ii): When x=n1/3x = n^{1/3} is NOT an integer, i.e., n{26,,26}{8,1,0,1,8}n \in \{-26, \dots, 26\} \setminus \{-8, -1, 0, 1, 8\}: Since xx is not an integer, {x}Z\{x\} \notin \mathbb{Z}, which implies sin2(π{x})>0\sin^2(\pi \{x\}) > 0, so loge(1+sin2(π{x}))=C>0\log_e(1 + \sin^2(\pi \{x\})) = C > 0. However, [x3][x^3] has a jump discontinuity at x=n1/3x = n^{1/3}: limx(n1/3)+[x3]=nandlimx(n1/3)[x3]=n1\lim_{x \to (n^{1/3})^+} [x^3] = n \quad \text{and} \quad \lim_{x \to (n^{1/3})^-} [x^3] = n - 1 Consequently, limx(n1/3)+f(x)=nCandlimx(n1/3)f(x)=(n1)C\lim_{x \to (n^{1/3})^+} f(x) = n C \quad \text{and} \quad \lim_{x \to (n^{1/3})^-} f(x) = (n - 1) C Since C>0C > 0, these one-sided limits are unequal. Thus, f(x)f(x) is discontinuous at these points.

Therefore, the set of points of discontinuity of f(x)f(x) in (3,3)(-3, 3) is: A={n1/3:n{26,,26}{8,1,0,1,8}}A = \{ n^{1/3} : n \in \{-26, \dots, 26\} \setminus \{-8, -1, 0, 1, 8\} \} A=535=48|A| = 53 - 5 = 48


Step 2: Analyzing the continuity of g(x)g(x)

The function g:(3,3)(,)g: (-3, 3) \to (-\infty, \infty) is defined as: g(x)=x3sin2(πloge(1+{x}))g(x) = x^3 \sin^2(\pi \log_e(1 + \{x\}))

  1. Since x3x^3 and {x}\{x\} are continuous everywhere except possibly where {x}\{x\} is discontinuous (i.e., at integers), the only candidates for discontinuity of g(x)g(x) are x{2,1,0,1,2}x \in \{-2, -1, 0, 1, 2\}.

  2. Checking at x=0x = 0: limx0g(x)=0=g(0)\lim_{x \to 0} g(x) = 0 = g(0) So g(x)g(x) is continuous at x=0x = 0.

  3. Checking at non-zero integers k{2,1,1,2}k \in \{-2, -1, 1, 2\}:

    • Right-Hand Limit (RHL): As xk+x \to k^+, {x}0+    loge(1+{x})0\{x\} \to 0^+ \implies \log_e(1 + \{x\}) \to 0. limxk+g(x)=k3sin2(0)=0\lim_{x \to k^+} g(x) = k^3 \sin^2(0) = 0

    • Left-Hand Limit (LHL): As xkx \to k^-, {x}1    loge(1+{x})loge2\{x\} \to 1^- \implies \log_e(1 + \{x\}) \to \log_e 2. limxkg(x)=k3sin2(πloge2)\lim_{x \to k^-} g(x) = k^3 \sin^2(\pi \log_e 2)

    Since loge2\log_e 2 is not an integer, sin2(πloge2)0\sin^2(\pi \log_e 2) \neq 0. For k0k \neq 0, k30k^3 \neq 0, which means: LHLRHL\text{LHL} \neq \text{RHL}

    Therefore, g(x)g(x) is discontinuous at x{2,1,1,2}x \in \{-2, -1, 1, 2\}.

Thus, the set of points of discontinuity of g(x)g(x) is: B={2,1,1,2}B = \{-2, -1, 1, 2\} B=4|B| = 4


Step 3: Calculating AB|A \cap B| and the Final Value

  • AA consists purely of non-integer points of the form n1/3n^{1/3}.
  • BB consists purely of integer points {2,1,1,2}\{-2, -1, 1, 2\}.

Therefore, AB=A \cap B = \emptyset, so AB=0|A \cap B| = 0.

Now, substituting these values into the required expression: A+2BAB=48+2(4)0=48+8=56|A| + 2|B| - |A \cap B| = 48 + 2(4) - 0 = 48 + 8 = 56