To determine the correct statements about the given function f:(0,∞)→R defined by
f(x)=∫1/xxe−(t+t1)tdt
we analyze its derivative and functional properties step-by-step.
Step 1: Derivative and Monotonicity Analysis
Using the Leibniz rule for differentiation under the integral sign:
f′(x)=e−(x+x1)⋅x1⋅dxd(x)−e−(x1+1/x1)⋅1/x1⋅dxd(x1)
Simplifying each term:
f′(x)=e−(x+x1)x1−e−(x1+x)⋅x(−x21)
f′(x)=x1e−(x+x1)+x1e−(x+x1)=x2e−(x+x1)
For all x∈(0,∞):
- x>0
- e−(x+x1)>0
Thus, f′(x)>0 for all x∈(0,∞).
- Since f′(x)>0 for all x∈[1,∞), f(x) is monotonically increasing on [1,∞). Therefore, Statement (A) is correct.
- Since f′(x)>0 for all x∈(0,1), f(x) is monotonically increasing on (0,1), not decreasing. Therefore, Statement (B) is incorrect.
Step 2: Relation between f(x) and f(x1)
Evaluating f(x1):
f(x1)=∫x1/xe−(t+t1)tdt
Using the integral property ∫abg(t)dt=−∫bag(t)dt:
f(x1)=−∫1/xxe−(t+t1)tdt=−f(x)
Rearranging gives:
f(x)+f(x1)=0for all x∈(0,∞)
Therefore, Statement (C) is correct.
Step 3: Symmetry of f(2x)
Let g(x)=f(2x). To check if g(x) is an odd function, we compute g(−x):
g(−x)=f(2−x)=f(2x1)
Using the property proven in Step 2, f(u1)=−f(u) for u=2x:
g(−x)=−f(2x)=−g(x)
Since g(−x)=−g(x) for all x∈R, f(2x) is an odd function of x on R. Therefore, Statement (D) is correct.
Conclusion
The correct statements are (A), (C), and (D).