JEE Challenger
More from Application of Derivatives

Inequalities for Definite Integrals and Function Bounds

Comprehension Passage

Consider real-valued functions ψ1:[0,∞)→R\psi_1 : [0,\infty) \rightarrow \mathbb{R}, ψ2:[0,∞)→R\psi_2 : [0,\infty) \rightarrow \mathbb{R}, f:[0,∞)→Rf : [0,\infty) \rightarrow \mathbb{R} and g:[0,∞)→Rg : [0,\infty) \rightarrow \mathbb{R} satisfying f(0)=g(0)=0f(0) = g(0) = 0, defined as: ψ1(x)=e−x+x,x≥0,\psi_1(x) = e^{-x} + x, \quad x \ge 0, ψ2(x)=x2−2x−2e−x+2,x≥0,\psi_2(x) = x^2 - 2x - 2e^{-x} + 2, \quad x \ge 0, f(x)=∫−xx(∣t∣−t2)e−t2dt,x>0f(x) = \int_{-x}^{x} (|t| - t^2) e^{-t^2} dt, \quad x > 0 and g(x)=∫0x2te−tdt,x>0.g(x) = \int_0^{x^2} \sqrt{t} e^{-t} dt, \quad x > 0.

Which of the following assertions is TRUE?

Options

A

ψ1(x)≤1\psi_1(x) \le 1, for all x>0x > 0

B

ψ2(x)≤0\psi_2(x) \le 0, for all x>0x > 0

C

f(x)≥1−e−x2−23x3+25x5f(x) \ge 1 - e^{-x^2} - \frac{2}{3}x^3 + \frac{2}{5}x^5, for all x∈(0,12)x \in \left(0, \frac{1}{2}\right)

D

g(x)≤23x3−25x5+17x7g(x) \le \frac{2}{3}x^3 - \frac{2}{5}x^5 + \frac{1}{7}x^7, for all x∈(0,12)x \in \left(0, \frac{1}{2}\right)

Correct

Step-by-Step Solution

To determine which assertion is TRUE, let us analyze each function and its given option step-by-step.


1. Analysis of Option A:

The function ψ1(x)\psi_1(x) is given by: ψ1(x)=e−x+x,x≥0\psi_1(x) = e^{-x} + x, \quad x \ge 0

Differentiating with respect to xx: ψ1′(x)=−e−x+1=1−e−x\psi_1'(x) = -e^{-x} + 1 = 1 - e^{-x}

For any x>0x > 0, e−x<1e^{-x} < 1, which implies: ψ1′(x)>0for all x>0\psi_1'(x) > 0 \quad \text{for all } x > 0

Thus, ψ1(x)\psi_1(x) is strictly increasing for x>0x > 0. Since ψ1(0)=e0+0=1\psi_1(0) = e^0 + 0 = 1, we have: ψ1(x)>1for all x>0\psi_1(x) > 1 \quad \text{for all } x > 0

Therefore, Option A (ψ1(x)≤1\psi_1(x) \le 1) is FALSE.


2. Analysis of Option B:

The function ψ2(x)\psi_2(x) is given by: ψ2(x)=x2−2x−2e−x+2,x≥0\psi_2(x) = x^2 - 2x - 2e^{-x} + 2, \quad x \ge 0

Differentiating with respect to xx: ψ2′(x)=2x−2+2e−x=2(e−x+x−1)=2(ψ1(x)−1)\psi_2'(x) = 2x - 2 + 2e^{-x} = 2(e^{-x} + x - 1) = 2(\psi_1(x) - 1)

Since ψ1(x)>1\psi_1(x) > 1 for all x>0x > 0, we have: ψ2′(x)>0for all x>0\psi_2'(x) > 0 \quad \text{for all } x > 0

Thus, ψ2(x)\psi_2(x) is strictly increasing for x>0x > 0. Since ψ2(0)=02−2(0)−2e0+2=0\psi_2(0) = 0^2 - 2(0) - 2e^0 + 2 = 0, we have: ψ2(x)>0for all x>0\psi_2(x) > 0 \quad \text{for all } x > 0

Therefore, Option B (ψ2(x)≤0\psi_2(x) \le 0) is FALSE.


3. Analysis of Option C:

The function f(x)f(x) is defined as: f(x)=∫−xx(∣t∣−t2)e−t2dt,x>0f(x) = \int_{-x}^{x} (|t| - t^2) e^{-t^2} dt, \quad x > 0

Since the integrand (∣t∣−t2)e−t2(|t| - t^2) e^{-t^2} is an even function of tt, we can rewrite f(x)f(x) as: f(x)=2∫0x(t−t2)e−t2dt=2∫0xte−t2dt−2∫0xt2e−t2dtf(x) = 2 \int_{0}^{x} (t - t^2) e^{-t^2} dt = 2 \int_{0}^{x} t e^{-t^2} dt - 2 \int_{0}^{x} t^2 e^{-t^2} dt

Evaluating the first integral: 2∫0xte−t2dt=[−e−t2]0x=1−e−x22 \int_{0}^{x} t e^{-t^2} dt = \left[ -e^{-t^2} \right]_0^x = 1 - e^{-x^2}

So, f(x)=1−e−x2−2∫0xt2e−t2dtf(x) = 1 - e^{-x^2} - 2 \int_{0}^{x} t^2 e^{-t^2} dt

For any y>0y > 0, we know e−y>1−ye^{-y} > 1 - y. Substituting y=t2y = t^2, we get: e−t2>1−t2  ⟹  t2e−t2>t2−t4e^{-t^2} > 1 - t^2 \implies t^2 e^{-t^2} > t^2 - t^4

Integrating from 00 to xx: ∫0xt2e−t2dt>∫0x(t2−t4)dt=x33−x55\int_{0}^{x} t^2 e^{-t^2} dt > \int_{0}^{x} (t^2 - t^4) dt = \frac{x^3}{3} - \frac{x^5}{5}

Multiplying by −2-2: −2∫0xt2e−t2dt<−23x3+25x5-2 \int_{0}^{x} t^2 e^{-t^2} dt < -\frac{2}{3}x^3 + \frac{2}{5}x^5

Substituting this back into f(x)f(x): f(x)<1−e−x2−23x3+25x5f(x) < 1 - e^{-x^2} - \frac{2}{3}x^3 + \frac{2}{5}x^5

Therefore, Option C (f(x)≥1−e−x2−23x3+25x5f(x) \ge 1 - e^{-x^2} - \frac{2}{3}x^3 + \frac{2}{5}x^5) is FALSE.


4. Analysis of Option D:

The function g(x)g(x) is defined as: g(x)=∫0x2te−tdt,x>0g(x) = \int_{0}^{x^2} \sqrt{t} e^{-t} dt, \quad x > 0

Using the substitution t=u2  ⟹  dt=2u dut = u^2 \implies dt = 2u \, du: g(x)=∫0xue−u2(2u du)=2∫0xu2e−u2dug(x) = \int_{0}^{x} u e^{-u^2} (2u \, du) = 2 \int_{0}^{x} u^2 e^{-u^2} du

Consider the Taylor series expansion bound for e−ye^{-y} where y>0y > 0: h(y)=1−y+y22−e−yh(y) = 1 - y + \frac{y^2}{2} - e^{-y}

Note that h(0)=0h(0) = 0 and: h′(y)=−1+y+e−y=ψ1(y)−1>0for all y>0h'(y) = -1 + y + e^{-y} = \psi_1(y) - 1 > 0 \quad \text{for all } y > 0

Since h′(y)>0h'(y) > 0 for y>0y > 0, h(y)>0h(y) > 0 for all y>0y > 0, which gives: e−y<1−y+y22e^{-y} < 1 - y + \frac{y^2}{2}

Substituting y=u2y = u^2: e−u2<1−u2+u42e^{-u^2} < 1 - u^2 + \frac{u^4}{2}

Thus, u2e−u2<u2−u4+u62u^2 e^{-u^2} < u^2 - u^4 + \frac{u^6}{2}

Integrating from 00 to xx: ∫0xu2e−u2du<∫0x(u2−u4+u62)du=x33−x55+x714\int_{0}^{x} u^2 e^{-u^2} du < \int_{0}^{x} \left(u^2 - u^4 + \frac{u^6}{2}\right) du = \frac{x^3}{3} - \frac{x^5}{5} + \frac{x^7}{14}

Multiplying both sides by 22: g(x)=2∫0xu2e−u2du<23x3−25x5+17x7g(x) = 2 \int_{0}^{x} u^2 e^{-u^2} du < \frac{2}{3}x^3 - \frac{2}{5}x^5 + \frac{1}{7}x^7

Hence, g(x)≤23x3−25x5+17x7g(x) \le \frac{2}{3}x^3 - \frac{2}{5}x^5 + \frac{1}{7}x^7 holds for all x∈(0,12)x \in \left(0, \frac{1}{2}\right).

Therefore, Option D is TRUE.


Conclusion:

The correct statement is D.