Evaluating Properties of Twice Differentiable Function from Limit Relation
Assume f:(0,π)→R is a twice differentiable function satisfying
limt→xt−xf(x)sint−f(t)sinx=sin2xfor every x∈(0,π).
Given that f(6π)=−12π, identify which of the following assertion(s) is (are) CORRECT:
To determine the correct options, we first find the explicit form of the function f(x).
Step 1: Simplify the Given Limit
We are given:
limt→xt−xf(x)sint−f(t)sinx=sin2xfor every x∈(0,π)
Since this limit is of the indeterminate form 00, we apply L'Hôpital's Rule with respect to t:
limt→xdtd[t−x]dtd[f(x)sint−f(t)sinx]=limt→x1f(x)cost−f′(t)sinx=f(x)cosx−f′(x)sinx
Thus, the differential equation is:
f(x)cosx−f′(x)sinx=sin2x
Step 2: Solve the Differential Equation
Divide both sides by sin2x (since x∈(0,π), sinx=0):
sin2xf′(x)sinx−f(x)cosx=−1
Recognizing the left-hand side as the derivative of sinxf(x):
dxd(sinxf(x))=−1
Integrating both sides with respect to x:
sinxf(x)=−x+C⟹f(x)=(C−x)sinx
Using the initial condition f(6π)=−12π:
f(6π)=(C−6π)sin(6π)=21(C−6π)=−12πC−6π=−6π⟹C=0
Therefore, the function is:
f(x)=−xsinxfor x∈(0,π)
Step 3: Analyze the Options
Option A:f(4π)=−4πsin(4π)=−42π
Option A states f(4π)=42π, so Option A is incorrect.
Option B:
For x∈(0,π), consider the expansion inequality of sinx:
sinx>x−6x3
Multiplying by −x<0 (since x>0):
−xsinx<−x(x−6x3)f(x)<6x4−x2
Thus, Option B is correct.
Option C:
The first derivative of f(x) is:
f′(x)=dxd(−xsinx)=−sinx−xcosx=−(sinx+xcosx)
Let h(x)=sinx+xcosx. The function h(x) is continuous on [2π,π]:
h(2π)=sin(2π)+2πcos(2π)=1>0h(π)=sin(π)+πcos(π)=−π<0
By the Intermediate Value Theorem, there exists at least one α∈(2π,π)⊂(0,π) such that h(α)=0, which implies f′(α)=0.
Thus, Option C is correct.
Option D:
The second derivative of f(x) is:
f′′(x)=dxd(−sinx−xcosx)=−cosx−(cosx−xsinx)=−2cosx+xsinx
Adding f(x)=−xsinx:
f′′(x)+f(x)=(−2cosx+xsinx)+(−xsinx)=−2cosx
Evaluating at x=2π:
f′′(2π)+f(2π)=−2cos(2π)=0
Thus, Option D is correct.