Question
Let f\left( x \right) = \left\{ {\matrix{ {\max \left\{ {\left| x \right|,{x^2}} \right\}} & {\left| x \right| \le 2} \cr {8 - 2\left| x \right|} & {2 < \left| x \right| \le 4} \cr } } \right. Let S be the set of points in the interval (– 4, 4) at which f is not differentiable. Then S
Options
Solution
Key Concepts and Formulas
- Differentiability at a point: A function is differentiable at a point if the limit exists. This is equivalent to checking if the left-hand derivative (LHD) equals the right-hand derivative (RHD) at that point.
- LHD at :
- RHD at :
- Continuity: A function must be continuous at a point to be differentiable at that point. If a function is not continuous at a point, it cannot be differentiable there.
- Differentiability of standard functions:
- Polynomials are differentiable everywhere.
- is not differentiable at .
- is differentiable everywhere.
- Piecewise functions: Differentiability needs to be checked at the points where the definition of the function changes. We also need to check for continuity at these points.
Step-by-Step Solution
First, let's analyze the given function . The function is defined in pieces based on the value of . The interval of interest is .
The function is given by: f\left( x \right) = \left\{ {\matrix{ {\max \left\{ {\left| x \right|,{x^2}} \right\}} & {\left| x \right| \le 2} \cr {8 - 2\left| x \right|} & {2 < \left| x \right| \le 4} \cr } } \right.
Let's break down the definition of into different intervals for in .
Part 1: Analyzing for
This condition means . In this interval, . We need to determine when and when .
-
Case 1: . This occurs when . Let . Then . This inequality holds for . Substituting back , we get . This means . So, for , .
-
Case 2: . This occurs when . This inequality holds for or . Since , implies , which means . So, we have or . Considering the interval , this means . This corresponds to . So, for , .
Combining these, for (i.e., ): f(x) = \left\{ {\matrix{ {x^2} & { - 2 \le x \le - 1} \cr {\left| x \right|} & { - 1 < x < 1} \cr {{x^2}} & {1 \le x \le 2} \cr } } \right.
Part 2: Analyzing for
This condition means or . In this interval, .
- If , then , so .
- If , then , so .
Putting it all together, the piecewise definition of on is: f\left( x \right) = \left\{ {\matrix{ {8 + 2x,} & { - 4 \le x \le - 2} \cr {{x^2},} & { - 2 \le x \le - 1} \cr {\left| x \right|,} & { - 1 < x < 1} \cr {{x^2},} & {1 \le x \le 2} \cr {8 - 2x,} & {2 < x \le 4} \cr } } \right.
Now, we need to find the points in where is not differentiable. The potential points of non-differentiability are the points where the definition of the function changes, which are . We also need to consider points where the constituent functions are not differentiable, such as for .
Step 1: Check for continuity at the points where the definition changes.
-
At :
- Left limit: .
- Right limit: .
- Function value: . Since the left limit, right limit, and function value are equal, is continuous at .
-
At :
- Left limit: .
- Right limit: .
- Function value: . Since the left limit, right limit, and function value are equal, is continuous at .
-
At :
- Left limit: .
- Right limit: .
- Function value: . Since the left limit, right limit, and function value are equal, is continuous at .
-
At :
- Left limit: .
- Right limit: .
- Function value: . Since the left limit, right limit, and function value are equal, is continuous at .
The function is continuous at all these points. Now we check differentiability.
Step 2: Check for differentiability at the points where the definition changes and at .
We need to compare the left-hand derivative (LHD) and the right-hand derivative (RHD) at each point.
-
At :
- For , . The derivative is . So, LHD at is .
- For (and ), . The derivative is . So, RHD at is . Since LHD () RHD (), is not differentiable at .
-
At :
- For (and ), . The derivative is . So, LHD at is .
- For (and ), .
- For , , so .
- For , , so . The RHD at is the derivative of as approaches from the right. Since , , so the derivative is . Thus, RHD at is . Since LHD () RHD (), is not differentiable at .
-
At :
- The function in the neighborhood of is .
- The function is known to be not differentiable at .
- Let's verify:
- LHD at : .
- RHD at : . Since LHD () RHD (), is not differentiable at .
-
At :
- For (and ), .
- For , , so . The LHD at is the derivative of as approaches from the left. Since , , so the derivative is . Thus, LHD at is .
- For (and ), . The derivative is . So, RHD at is . Since LHD () RHD (), is not differentiable at .
- For (and ), .
-
At :
- For (and ), . The derivative is . So, LHD at is .
- For , . The derivative is . So, RHD at is . Since LHD () RHD (), is not differentiable at .
Step 3: Identify the set S.
The set S is the set of points in the interval (– 4, 4) at which f is not differentiable. From our analysis, the points are .
Therefore, .
Common Mistakes & Tips
- Forgetting to check continuity first: If a function is not continuous at a point, it cannot be differentiable there. While we checked continuity here, it's a good first step.
- Incorrectly defining in piecewise form: Remember for and for . This is crucial when dealing with intervals involving negative numbers.
- Assuming differentiability of standard functions within intervals: While is differentiable everywhere and is differentiable everywhere except , you still need to check differentiability at the junction points of the piecewise definition. The derivative of from the left and right at are and respectively.
Summary
We first correctly expanded the piecewise definition of by analyzing the and conditions over the given intervals. We identified the critical points where differentiability might fail: the points where the function definition changes () and points where the constituent functions are not differentiable ( for ). We then checked for continuity at these points, which was confirmed. Finally, we calculated the left-hand and right-hand derivatives at each critical point and found that they were unequal at . Thus, these points constitute the set S of non-differentiable points.
The final answer is . This corresponds to option (B).