Inequalities for elementary transcendental functions

[12/83%]
Show
LaTeX
?
(1)

For 0≤θ≤π20 \leq \theta \leq \frac{\pi }{2}, show that

sin⁡θ≥2πθ. \sin \theta \geq \frac{2}{\pi }\theta .
(2)

By using Part 1, or by any other method, show that if λ<1\lambda < 1, then

lim⁡R→∞Rλ∫0π2e−Rsin⁡θ dθ=0. \lim _{R \rightarrow \infty } R^{\lambda } \int _{0}^{\frac{\pi }{2}} e^{-R\sin \theta }\, d\theta = 0.

Prove that if x>0x > 0, then the inequalities hold

1+x2+x<1+x<1+x2. 1+\frac{x}{2+x} < \sqrt{1+x} < 1+\frac{x}{2}.
?

Let n∈Nn \in \mathbb {N}. Prove the inequalities

?
(a)

x2n2e−x<e−x−(1−xn)n⩽x2ne−x\frac{x^{2}}{n^{2}} e^{-x}<e^{-x}-\left(1-\frac{x}{n}\right)^{n} \leqslant \frac{x^{2}}{n} e^{-x} \quad for x∈[0,n],n>1x \in [0, n], n>1;

(b)

x24ne−x⩽(1+xn)−n−e−x⩽x2ne−x\frac{x^{2}}{4 n} e^{-x} \leqslant \left(1+\frac{x}{n}\right)^{-n}-e^{-x} \leqslant \frac{x^{2}}{n} e^{-x} for x∈[0,n]x \in [0, \sqrt{n}].

Let n∈Nn \in \mathbb {N} and φn(x)=e−x22n−ex(1−xn)n\varphi_{n}(x)=e^{-\frac{x^{2}}{2 n}}-e^{x}\left(1-\frac{x}{n}\right)^{n}. Prove that the function φn\varphi_{n} is nonnegative on the interval [0,n]\left[0, n\right] and

14en⩽max⁡[0,n]φn⩽1en \frac{1}{4 \sqrt{e n}} \leqslant \max _{\left[0, n\right]} \varphi _{n} \leqslant \frac{1}{\sqrt{e n}}

The next problem considers relations that supplement the classical inequalities

sin⁡x<x<tg⁡x,ln⁡(1+x)<x<ex−1,arctg⁡x<x<arcsin⁡x. \sin x<x<\operatorname {tg} x, \quad \ln (1+x)<x<e^{x}-1, \quad \operatorname {arctg} x<x<\arcsin x .
?

Prove the inequalities

?
(a)

(1+x)ln⁡2(1+x)<x2(1+x) \ln^{2}(1+x)<x^{2} \quad for x>−1,x≠0x>-1, x \neq 0;

(b)

x1+2πx<arctg⁡x\frac{x}{1+\frac{2}{\pi } x}<\operatorname {arctg} x \quad for x>0x>0;

(c)

x2<ln⁡(1+tg⁡2x)<sin⁡xtg⁡xx^{2}<\ln \left(1+\operatorname {tg}^{2} x\right)<\sin x \operatorname {tg} x \quad for x∈(0,π2)x \in \left(0, \frac{\pi }{2}\right);

(d)

3x−x3<2sin⁡(π2x)3 x-x^{3}<2 \sin \left(\frac{\pi }{2} x\right) \quad for x∈(0,1)x \in (0,1);

(e)

x3<sin⁡2xtg⁡xx^{3}<\sin^{2} x \operatorname {tg} x \quad for x∈(0,π2)x \in \left(0, \frac{\pi }{2}\right).

(f)

Does the inequality x3+ε<sin⁡2+εxtg⁡xx^{3+\varepsilon }<\sin^{2+\varepsilon } x \operatorname {tg} x hold on (0,π2)(0, \frac{\pi }{2}) for some fixed ε>0\varepsilon >0?

Prove that on the interval [−1,1]\left[-1,1\right] the inequalities hold

?
(a)

(1−x2)(1−14x2)⩽cos⁡π2x⩽(1−x2)(1−15x2)\left(1-x^{2}\right)\left(1-\frac{1}{4} x^{2}\right) \leqslant \cos \frac{\pi }{2} x \leqslant \left(1-x^{2}\right)\left(1-\frac{1}{5} x^{2}\right);

(b)

(1−x2)(1−23x2)⩽sin⁡πxπx⩽(1−x2)(1−12x2)\left(1-x^{2}\right)\left(1-\frac{2}{3} x^{2}\right) \leqslant \frac{\sin \pi x}{\pi x} \leqslant \left(1-x^{2}\right)\left(1-\frac{1}{2} x^{2}\right).

Prove the inequalities

?
(a)

(ex−1)ln⁡(1+x)>x2\left(e^{x}-1\right) \ln (1+x)>x^{2} \quad for x>0x>0;

(b)

tg⁡xarctg⁡x>x2\operatorname {tg} x \operatorname {arctg} x>x^{2} \quad for x∈(0,π2)x \in \left(0, \frac{\pi }{2}\right);

(c)

((1+x)p−1)((1+x)1/p−1)>x2\left((1+x)^{p}-1\right)\left((1+x)^{1 / p}-1\right)>x^{2} for x>0,p>0,p≠1x>0, p>0, p \neq 1.

What happens for p<0p<0?

(d)

((1−x)p−1)(1−(1+x)1/p)>x2\left((1-x)^{p}-1\right)\left(1-(1+x)^{1 / p}\right)>x^{2} for x∈(0,1),p<−1x \in (0,1), p<-1.

What happens for p∈(−1,0)p \in (-1,0)?

Prove the inequalities

2πsin⁡(π2x)arcsin⁡x<x2<sin⁡xarcsin⁡x for x∈(0,1). \frac{2}{\pi } \sin \left(\frac{\pi }{2} x\right) \arcsin x<x^{2}<\sin x \arcsin x \quad \text{ for } \quad x \in (0,1) .
?

Prove that for any x∈Rx \in \mathbb {R} and n∈Nn \in \mathbb {N} the inequalities hold

?
(a)

∣(sin⁡xx)(n)∣⩽1n+1\left|\left(\frac{\sin x}{x}\right)^{(n)}\right| \leqslant \frac{1}{n+1};

(b)

∣(1−cos⁡xx2)(n)∣⩽1(n+1)(n+2)\left|\left(\frac{1-\cos x}{x^{2}}\right)^{(n)}\right| \leqslant \frac{1}{(n+1)(n+2)};

(c)

∣(11+x2)(n)∣⩽n!(1+x2)n+12\left|\left(\frac{1}{1+x^{2}}\right)^{(n)}\right| \leqslant \frac{n!}{\left(1+x^{2}\right)^{\frac{n+1}{2}}}.

Prove that ∣(sin⁡xx)′∣⩽1kπ\left|\left(\frac{\sin x}{x}\right)^{\prime }\right| \leqslant \frac{1}{k \pi } for x∈[kπ,kπ+π](k∈N)x \in [k \pi , k \pi +\pi ](k \in \mathbb {N}).

?

Prove that for any x∈[0,1]x \in [0,1] the following inequalities hold

?
(a)

2⩽(1+x)p+(1−x)p⩽2p(p⩾1)2 \leqslant (1+x)^{p}+(1-x)^{p} \leqslant 2^{p} \quad (p \geqslant 1);

(b)

2(1+xp)⩽(1+x)p+(1−x)p⩽2p−1(1+xp)(p⩾2)2\left(1+x^{p}\right) \leqslant (1+x)^{p}+(1-x)^{p} \leqslant 2^{p-1}\left(1+x^{p}\right) \quad (p \geqslant 2);

(c)

(1+x)p+(1−x)p⩽2(1+(p−1)x2)p2(p⩾2)\quad (1+x)^{p}+(1-x)^{p} \leqslant 2\left(1+(p-1) x^{2}\right)^{\frac{p}{2}} \quad (p \geqslant 2);

(d)

(1+x)p+(1−x)p⩽2(1+xpp−1)p−1(p⩾2)\quad (1+x)^{p}+(1-x)^{p} \leqslant 2\left(1+x^{\frac{p}{p-1}}\right)^{p-1} \quad (p \geqslant 2).

In the case 1⩽p⩽21 \leqslant p \leqslant 2, the signs of the inequalities in (b)-(d) are reversed.

If 0<x<π20 < x < \frac{\pi }{2}, prove that

2π<sin⁡xx<1 \frac{2}{\pi } < \frac{\sin x}{x} < 1
?

References

[deSi04] de Souza P.N., Silva J. Berkeley Problems in Mathematics. 3rd ed., Springer, 2004.
[ККЧ+03] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Предел. Непрерывность. Дифференцируемость. 2-е изд., ФИЗМАТЛИТ, 2003.
[МГЛ+04] Макаров Б.М., Голузина М.Г., Лодкин А.А., Подкорытов А.Н. Избранные задачи по вещественному анализу. 2-е изд., Невский Диалект; БХВ-Петербург, 2004.
[Rud76] Rudin W. Principles of Mathematical Analysis. 3rd ed., McGraw-Hill, 1976.