- Research
- Open access
- Published:
Necessary and sufficient conditions for the two parameter generalized Wilker-type inequalities
Journal of Inequalities and Applications volume 2016, Article number: 322 (2016)
Abstract
In the article, we provide the necessary and sufficient conditions for the parameters α and β such that the generalized Wilker-type inequality
holds for all \(x\in(0, \pi/2)\).
1 Introduction
The Wilker inequality [1, 2] for sine and tangent functions states that the inequality
holds for all \(x\in(0, \pi/2)\). The generalizations and improvements for the Wilker inequality (1.1) have been the subject of intensive research in the recent years. Wu and Srivastava [3] proved that the inequality
holds for all \(x\in(0, \pi/2)\) if \(\lambda>0\), \(\mu>0\), \(q>0\) or \(q\leq \min\{-1, -\lambda/\mu\}\), and \(p\leq2q\mu/\lambda\). Baricz and Sándor [4] generalized inequality (1.2) to the Bessel functions.
In [5], Zhu proved that the inequalities
hold for \(x\in(0, \pi/2)\) and \(p\geq1\). Matejíčka [6] presented the best possible parameter p such that the second inequality of (1.3) holds for \(x\in(0, \pi/2)\).
Zhu [7] proved that the inequalities
are valid for all \(x\in(0, \pi/2)\) if \((p, \lambda, \eta)\in\{(p, \lambda, \eta)| p\geq1, \lambda\geq1-(2/\pi)^{p}, \eta\leq1/3\} \cup\{(p, \lambda, \eta)| 0\leq p\leq4/5, \lambda\geq1/3, \eta \leq 1-(2/\pi)^{p}\}\).
In [8], Yang and Chu provided the necessary and sufficient condition for the parameter μ such that the generalized Wilker-type inequality
holds for any fixed \(\lambda\geq1\) and all \(x\in(0, \pi/2)\).
Very recently, Chu et al. [9] proved that the two parameter generalized Wilker-type inequality
holds for all \(x\in(0, \pi/2)\) if \((\alpha, \beta)\in E_{0}\), and inequality (1.4) is reversed if \((\alpha, \beta)\in E_{1}\), where
The main purpose of this paper is to provide the necessary and sufficient conditions for the parameters α and β such that the generalized Wilker-type inequality (1.4) and its reversed inequality hold for all \(x\in(0, \pi/2)\).
2 Lemmas
Lemma 2.1
See [10], Lemma 2.3
Let \(-\infty<\alpha<\beta <\infty \), \(f_{1}, f_{2}: [\alpha,\beta] \rightarrow\mathbb{R}\) be continuous on \([\alpha, \beta]\) and differentiable on \((\alpha, \beta)\), and \(f^{\prime}_{2}(x)\neq0\) on \((\alpha,\beta)\). Then the inequality
holds for all \(x\in (\alpha,\beta )\) if there exists \(\eta\in (\alpha, \beta)\) such that \(f^{\prime}_{1}(x)/f^{\prime}_{2}(x)\) is strictly increasing (decreasing) on \((\alpha, \eta)\) and strictly decreasing (increasing) on \((\eta, \beta)\), and
Lemma 2.2
See [9], Lemma 2.9
Let \(\beta\in\mathbb{R}\), \(x\in (0, \pi/2)\), and \(\mathsf{F}(x)\), \(\mathsf{G}(x)\), \(\mathsf{H}(x)\) and \(g(x)\) be defined by
and
respectively. Then the following statements are true:
-
(1)
The function \(g(x)\) is strictly increasing from \((0, \pi/2)\) onto \((2\beta+12/5, 3-\pi^{2}/4)\) if \(\beta=-1\).
-
(2)
The function \(g(x)\) is strictly increasing from \((0, \pi/2)\) onto \((2\beta+12/5, \infty)\) if \(\beta>-1\).
-
(3)
The function \(g(x)\) is strictly decreasing from \((0, \pi/2)\) onto \((-\infty, 2\beta+12/5)\) if \(\beta\leq-37/35\).
Let \(\alpha, \beta\in\mathbb{R}\), \(x\in(0, \pi/2)\) and the functions \(\mathsf{I}_{\alpha}(x)\), \(\mathsf{J}_{\beta}(x)\) and \(\mathsf{Q}_{\alpha,\beta}(x)\) be defined by
and
respectively.
Then it is not difficult to verify that
Lemma 2.3
See [9], Lemma 2.10
Let \(x\in(0, \pi/2)\) and \(\mathsf{Q}_{\alpha, \beta}(x)\) be defined by (2.7). Then the following statements are true:
-
(1)
If \(\alpha+2\beta+12/5\geq0\) and \(\beta\geq-1\), then \(\mathsf {Q}_{\alpha, \beta}(x)\) is strictly decreasing on \((0, \pi/2)\).
-
(2)
If \(\alpha\leq\pi^{2}/4-3\) and \(-37/35<\beta\leq-1\), then \(\mathsf {Q}_{\alpha, \beta}(x)\) is strictly increasing on \((0, \pi/2)\).
-
(3)
If \(\alpha+2\beta+12/5\leq0\) and \(\beta\leq-37/35\), then \(\mathsf {Q}_{\alpha, \beta}(x)\) is strictly increasing on \((0, \pi/2)\).
Lemma 2.4
Let \(x\in(0, \pi/2)\), \(\mathsf{Q}_{\alpha, \beta}(x)\) be defined by (2.7) and the function \(x\rightarrow\mathsf{D}(\alpha, \beta; x)\) be defined by
Then the following statements are true:
(1) If \(\alpha\in\mathbb{R}\) is fixed and \(\beta<0\), then there exists a unique solution \(\beta=\beta(\alpha)\) given by
satisfies the equation \(\mathsf{D} (\alpha, \beta; {\frac{\pi }{2}}^{-} )=0\) such that \(\mathsf{D} (\alpha, \beta; {\frac{\pi }{2}}^{-} )>0\) for \(\beta<\beta(\alpha)\) and \(\mathsf{D} (\alpha, \beta; {\frac{\pi}{2}}^{-} )<0\) for \(\beta>\beta (\alpha)\).
(2) If \(\beta<0\) is fixed, then there exists a unique solution \(\alpha =\alpha(\beta)\) satisfies the equation \(\mathsf{D} (\alpha, \beta; {\frac{\pi}{2}}^{-} )=0\) such that \(\mathsf{D} (\alpha, \beta; {\frac{\pi}{2}}^{-} )>0\) for \(\alpha<\alpha(\beta)\) and \(\mathsf {D} (\alpha, \beta; {\frac{\pi}{2}}^{-} )<0\) for \(\alpha >\alpha (\beta)\). In particular, one has
(3) The two functions \(\alpha\rightarrow\beta(\alpha)\) and \(\beta \rightarrow\alpha(\beta)\) are strictly decreasing.
Proof
Part (1) follows easily from (2.9)-(2.11) and the fact that \([(2/\pi)^{\alpha}-1]/\alpha<0\).
(2) It follows from (2.9) and (2.11) that
Note that
for \(\alpha\neq0\).
From (2.9), (2.11), and (2.15) we clearly see that the function \(\alpha \rightarrow\mathsf{D} (\alpha, \beta; {\frac{\pi }{2}}^{-} )\) is strictly decreasing. Therefore, there exists a unique solution \(\alpha=\alpha(\beta)\) that satisfies the equation \(\mathsf{D} (\alpha, \beta; {\frac{\pi}{2}}^{-} )=0\) such that \(\mathsf {D} (\alpha, \beta; {\frac{\pi}{2}}^{-} )>0\) for \(\alpha<\alpha (\beta )\) and \(\mathsf{D} (\alpha, \beta; {\frac{\pi}{2}}^{-} )<0\) for \(\alpha>\alpha(\beta)\) follows from (2.14) and the monotonicity of the function \(\alpha\rightarrow\mathsf{D} (\alpha, \beta; {\frac {\pi}{2}}^{-} )\). Numerical computations show that
(3) The function \(\alpha\rightarrow\beta(\alpha)\) is strictly decreasing follows easily from (2.12) and (2.15). The function \(\beta\rightarrow\alpha(\beta)\) is strictly decreasing due to it is the inverse function of \(\alpha\rightarrow\beta(\alpha)\). □
Lemma 2.5
Let \(\beta(\alpha)\) be defined by (2.12). Then
is the unique solution of the equation \(\beta(\alpha)=-\alpha/2-6/5\) such that \(\beta(\alpha)<-\alpha/2-6/5\) for \(\alpha<\alpha_{1}\) and \(\beta(\alpha)>-\alpha/2-6/5\) for \(\alpha>\alpha_{1}\).
Proof
Let \(P(\alpha)=\beta(\alpha)+\alpha/2+6/5\). Then from (2.12) we clearly see that
for \(\alpha\neq0\), where the last of (2.18) due to \(\log x-x+1<0\) for all \(x>0\) with \(x\neq1\).
Inequality (2.18) implies that the function \(\alpha\rightarrow P(\alpha )\) is strictly increasing on \((0, \infty)\). Therefore, there exists a unique \(\alpha=\alpha_{1}\) that satisfies the equation \(\beta(\alpha )=-\alpha/2-6/5\) such that \(\beta(\alpha)<-\alpha/2-6/5\) for \(\alpha <\alpha_{1}\) and \(\beta(\alpha)>-\alpha/2-6/5\) for \(\alpha>\alpha_{1}\) follows from (2.17) and the monotonicity of the function \(\alpha \rightarrow P(\alpha)\). Numerical computations show that \(\alpha _{1}=-0.36131140\cdots\). □
Lemma 2.6
Let \(\mathsf{Q}_{\alpha, \beta}(x)\), \(\beta(\alpha)\), \(\alpha_{0}\) and \(\alpha^{\ast}_{0}\) be defined by (2.7), (2.12), and (2.13), respectively. Then the following statements are true:
-
(1)
If \(\alpha\geq-2/7=-0.28571428\cdots\), then the inequality \(\mathsf {Q}_{\alpha, \beta}(x)>1/2\) holds for all \(x\in(0, \pi/2)\) if and only if \(\beta\leq-\alpha/2-6/5\).
-
(2)
If \(\alpha\geq\alpha^{\ast}_{0}\), then the inequality \(\mathsf {Q}_{\alpha, \beta}(x)<1/2\) holds for all \(x\in(0, \pi/2)\) if and only if \(\beta\geq\beta(\alpha)\).
-
(3)
If \(\alpha\leq-2/5\), then the inequality \(\mathsf{Q}_{\alpha, \beta }(x)<1/2\) holds for all \(x\in(0, \pi/2)\) if and only if \(\beta\geq -\alpha/2-6/5\).
-
(4)
If \(\alpha\leq\alpha_{0}\), then the inequality \(\mathsf {Q}_{\alpha , \beta}(x)>1/2\) holds for all \(x\in(0, \pi/2)\) if and only if \(\beta \leq\beta(\alpha)\).
Proof
(1) If \(\alpha\geq-2/7\) and \(\mathsf{Q}_{\alpha, \beta }(x)>1/2\) for all \(x\in(0, \pi/2)\), then from (2.5)-(2.7) one has
which implies that \(\beta\leq-\alpha/2-6/5\).
If \(\alpha\geq-2/7\) and \(\beta\leq-\alpha/2-6/5\), then we clearly see
Therefore, \(\mathsf{Q}_{\alpha, \beta}(x)>1/2\) for all \(x\in(0, \pi /2)\) follows from Lemma 2.3(3) and (2.8) together with (2.19).
(2) If \(\alpha\geq\alpha^{\ast}_{0}\) and \(\mathsf{Q}_{\alpha, \beta }(x)<1/2\) for all \(x\in(0, \pi/2)\), then from (2.11) and Lemma 2.4(1) we clearly see that \(\mathsf{D} (\alpha, \beta; {\frac{\pi }{2}}^{-} )\leq0\) and \(\beta\geq\beta(\alpha)\).
Next, we prove that \(\mathsf{Q}_{\alpha, \beta}(x)<1/2\) for all \(x\in (0, \pi/2)\) if \(\alpha\geq\alpha^{\ast}_{0}\) and \(\beta\geq\beta (\alpha)\). It follows from (2.6) and (2.7) together with the fact that
for \(x\in(0, \pi/2)\) and \(\beta\neq0\) that the function \(\beta \rightarrow\mathsf{Q}_{\alpha, \beta}(x)\) is strictly decreasing. Therefore, it suffices to prove that \(\mathsf{Q}_{\alpha, \beta }(x)<1/2\) for all \(x\in(0, \pi/2)\) if \(\alpha\geq\alpha^{\ast}_{0}\) and \(\beta=\beta(\alpha)\).
From (2.13) and Lemma 2.4(3) we get
Let \(\alpha\beta\neq0\), \(\mathsf{F}(x)\), \(\mathsf{G}(x)\), \(\mathsf {H}(x)\), \(g(x)\), \(\mathsf{I}_{\alpha}(x)\) and \(\mathsf{J}_{\beta}(x)\) be defined by (2.1)-(2.6), respectively. Then simple computations lead to
for \(x\in(0, \pi/2)\).
Let \(\alpha_{1}=-0.36131140\cdots\) be defined by (2.16). Then it follows from Lemma 2.2(3), Lemma 2.5, and (2.20) together with \(\alpha \geq\alpha^{\ast}_{0}=-0.20340978\cdots>\alpha_{1}\) that the function \(x\rightarrow g(x)+\alpha\) is strictly decreasing on \((0, \pi/2)\) and
From (2.21) and (2.23) together with the monotonicity of the function \(x\rightarrow g(x)+\alpha\) on the interval \((0, \pi/2)\) we clearly see that there exists \(x_{0}\in(0, \pi/2)\) such that the function \(x\rightarrow\mathsf{I}^{\prime}_{\alpha}(x)/\mathsf{J}^{\prime }_{\beta }(x)\) is strictly decreasing on \((0, x_{0})\) and strictly increasing on \((x_{0}, \pi/2)\).
Note that
Therefore, \(\mathsf{Q}_{\alpha, \beta}(x)<1/2\) for all \(x\in(0, \pi /2)\) follows from Lemma 2.1, (2.7), (2.22), (2.24), and the piecewise monotonicity of the function \(x\rightarrow\mathsf{I}^{\prime }_{\alpha }(x)/\mathsf{J}^{\prime}_{\beta}(x)\) on the interval \((0, \pi/2)\).
(3) If \(\alpha\leq-2/5\) and \(\mathsf{Q}_{\alpha, \beta}(x)<1/2\) for all \(x\in(0, \pi/2)\), then from (2.5)-(2.7) we have
which implies that \(\beta\geq-\alpha/2-6/5\).
If \(\alpha\leq-2/5\) and \(\beta\geq-\alpha/2-6/5\), then we clearly see that
Therefore, \(\mathsf{Q}_{\alpha, \beta}(x)<1/2\) for \(x\in(0, \pi/2)\) follows easily from Lemma 2.3(1), (2.8), and (2.25).
(4) If \(\alpha\leq\alpha_{0}\) and \(\mathsf{Q}_{\alpha, \beta}(x)>1/2\) for all \(x\in(0, \pi/2)\), then (2.11) and Lemma 2.4(1) lead to the conclusion that \(\mathsf{D} (\alpha, \beta; {\frac{\pi }{2}}^{-} )\geq0\) and \(\beta\leq\beta(\alpha)\).
Next, we prove that \(\mathsf{Q}_{\alpha, \beta}(x)>1/2\) for all \(x\in (0, \pi/2)\) if \(\alpha\leq\alpha_{0}\) and \(\beta\leq\beta(\alpha)\). Since the function \(\beta\rightarrow\mathsf{Q}_{\alpha, \beta}(x)\) is strictly decreasing which was proved in part (2), we only need to prove that \(\mathsf{Q}_{\alpha, \beta}(x)>1/2\) for all \(x\in(0, \pi/2)\) if \(\alpha\leq\alpha_{0}\) and \(\beta=\beta(\alpha)\). It follows from Lemma 2.2(1) and (2), Lemma 2.4(3), Lemma 2.5, and \(\alpha\leq\alpha _{0}<\alpha_{1}\) that \(\beta\geq\beta(\alpha_{0})=-1\) and the function \(g(x)+\alpha\) is strictly increasing on \((0, \pi/2)\) such that
From (2.21), (2.26), and (2.27) we clearly see that there exists \(x^{\ast}\in(0, \pi/2)\) such that the function \(x\rightarrow\mathsf {I}^{\prime}_{\alpha}(x)/\mathsf{J}^{\prime}_{\beta}(x)\) is strictly increasing on \((0, x^{\ast})\) and strictly decreasing on \((x^{\ast}, \pi /2)\). Therefore, \(\mathsf{Q}_{\alpha, \beta}(x)>1/2\) for all \(x\in(0, \pi/2)\) follows from Lemma 2.1, (2.7), (2.22), (2.24), and the piecewise monotonicity of the function \(x\rightarrow\mathsf {I}^{\prime }_{\alpha}(x)/\mathsf{J}^{\prime}_{\beta}(x)\) on the interval \((0, \pi /2)\). □
Lemma 2.7
Let \(\mathsf{Q}_{\alpha, \beta}(x)\), \(\alpha_{0}\), \(\alpha^{\ast}_{0}\) and \(\alpha(\beta)\) be defined by (2.7) and Lemma 2.4, respectively. Then the following statements are true:
-
(1)
If \(\beta\geq-1\), then the inequality \(\mathsf{Q}_{\alpha, \beta }(x)<1/2\) holds for all \(x\in(0, \pi/2)\) if and only if \(\alpha\geq -2\beta-12/5\).
-
(2)
If \(-1\leq\beta<0\), then the inequality \(\mathsf{Q}_{\alpha, \beta }(x)>1/2\) holds for all \(x\in(0, \pi/2)\) if and only if \(\alpha\leq \alpha(\beta)\).
-
(3)
If \(\beta\leq-37/35\), then the inequality \(\mathsf{Q}_{\alpha, \beta}(x)>1/2\) holds for all \(x\in(0, \pi/2)\) if and only if \(\alpha \leq-2\beta-12/5\).
-
(4)
If \(\beta\leq-37/35\), then the inequality \(\mathsf{Q}_{\alpha, \beta}(x)<1/2\) holds for all \(x\in(0, \pi/2)\) if and only if \(\alpha \geq\alpha(\beta)\).
Proof
(1) If \(\beta\geq-1\) and \(\mathsf{Q}_{\alpha, \beta }(x)<1/2\) for all \(x\in(0, \pi/2)\), then from (2.5)-(2.7) we get
which implies that \(\alpha\geq-2\beta-12/5\).
If \(\beta\geq-1\) and \(\alpha\geq-2\beta-12/5\), then \(\mathsf {Q}_{\alpha, \beta}(x)<1/2\) for all \(x\in(0, \pi/2)\) follows from (2.8) and Lemma 2.3(1).
(2) If \(-1\leq\beta<0\) and \(\mathsf{Q}_{\alpha, \beta}(x)>1/2\) for all \(x\in(0, \pi/2)\), then (2.11) and Lemma 2.4(2) lead to the conclusion that \(\mathsf{D} (\alpha,\beta;{\frac{\pi}{2}}^{-} )\geq0\) and \(\alpha\leq\alpha(\beta)\).
Next, we prove that \(\mathsf{Q}_{\alpha, \beta}(x)>1/2\) for all \(x\in (0, \pi/2)\) if \(-1\leq\beta<0\) and \(\alpha\leq\alpha(\beta)\). It follows from \(-1\leq\beta<0\) and \(\alpha\leq\alpha(\beta)\) together with Lemma 2.4(3) that
Therefore, \(\mathsf{Q}_{\alpha, \beta}(x)>1/2\) for all \(x\in(0, \pi /2)\) follows from Lemma 2.6(4) and (2.28).
(3) If \(\beta\leq-37/35\) and \(\mathsf{Q}_{\alpha, \beta}(x)>1/2\) for all \(x\in(0, \pi/2)\), then from (2.5)-(2.7) we have
which implies that \(\alpha\leq-2\beta-12/5\).
If \(\beta\leq-37/35\) and \(\alpha\leq-2\beta-12/5\), then \(\mathsf {Q}_{\alpha, \beta}(x)>1/2\) for all \(x\in(0, \pi/2)\) follows from (2.8) and Lemma 2.3(3).
(4) If \(\beta\leq-37/35\) and \(\mathsf{Q}_{\alpha, \beta}(x)<1/2\) for all \(x\in(0, \pi/2)\), then (2.11) and Lemma 2.4(2) lead to the conclusion that \(\mathsf{D} (\alpha, \beta; {\frac{\pi}{2}}^{-} )\leq 0\) and \(\alpha\geq\alpha(\beta)\).
Next, we prove that \(\mathsf{Q}_{\alpha, \beta}(x)<1/2\) for all \(x\in (0, \pi/2)\) if \(\beta\leq-37/35\) and \(\alpha\geq\alpha(\beta)\). It follows from \(\beta\leq-37/35\) and \(\alpha\geq\alpha(\beta)\) together with Lemma 2.4(3) that
Therefore, the desired result follows from Lemma 2.6(2) and (2.29). □
3 Main results
Let \(\alpha, \beta\in\mathbb{R}\) with \(\alpha\beta(\alpha+2\beta )\neq 0\) and \(\mathsf{Q}_{\alpha, \beta}(x)\) be defined by (2.7), then we clearly see that the generalized Wilker-type inequality
holds for all \(x\in(0, \pi/2)\) if and only if \(\mathsf{Q}_{\alpha, \beta}(x)<1/2\) and \(\alpha\beta(\alpha+2\beta)> 0\) or \(\mathsf {Q}_{\alpha, \beta}(x)>1/2\) and \(\alpha\beta(\alpha+2\beta)<0\), while the generalized Wilker-type inequality
holds for all \(x\in(0, \pi/2)\) if and only if \(\mathsf{Q}_{\alpha, \beta}(x)<1/2\) and \(\alpha\beta(\alpha+2\beta)<0\) or \(\mathsf {Q}_{\alpha , \beta}(x)>1/2\) and \(\alpha\beta(\alpha+2\beta)>0\).
From Lemmas 2.6 and 2.7 together with inequalities (3.1) and (3.2) we get Theorems 3.1 and 3.2 immediately.
Theorem 3.1
Let \(\alpha, \beta\in\mathbb{R}\) with \(\alpha \beta (\alpha+2\beta)\neq0\), \(\beta(\alpha)\), \(\alpha_{0}\) and \(\alpha ^{\ast }_{0}\) be defined by (2.12) and (2.13), respectively. Then the following statements are true:
-
(1)
If \(\alpha\geq-2/7\), then inequality (3.1) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha, \beta)\in\{(\alpha, \beta)|\beta \leq -\alpha/2-6/5, \alpha\beta(\alpha+2\beta)<0\}\) and inequality (3.2) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha, \beta)\in\{ (\alpha, \beta)|\beta\leq-\alpha/2-6/5, \alpha\beta(\alpha +2\beta)>0\}\).
-
(2)
If \(\alpha\geq\alpha^{\ast}_{0}\), then inequality (3.1) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha, \beta)\in\{(\alpha, \beta)|\beta\geq\beta(\alpha), \alpha\beta(\alpha+2\beta)>0\}\) and inequality (3.2) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha , \beta)\in\{(\alpha, \beta)|\beta\geq\beta(\alpha), \alpha \beta (\alpha+2\beta)<0\}\).
-
(3)
If \(\alpha\leq-2/5\), then inequality (3.1) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha, \beta)\in\{(\alpha, \beta)|\beta \geq -\alpha/2-6/5, \alpha\beta(\alpha+2\beta)>0\}\) and inequality (3.2) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha, \beta)\in\{ (\alpha, \beta)|\beta\geq-\alpha/2-6/5, \alpha\beta(\alpha +2\beta)<0\}\).
-
(4)
If \(\alpha\leq\alpha_{0}\), then inequality (3.1) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha,\beta)\in\{(\alpha,\beta )|\beta\leq\beta(\alpha),\alpha\beta(\alpha+2\beta)<0\}\) and inequality (3.2) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha ,\beta)\in\{(\alpha,\beta)|\beta\leq\beta(\alpha), \alpha\beta (\alpha +2\beta)>0\}\).
Theorem 3.2
Let \(\alpha,\beta\in\mathbb{R}\) with \(\alpha \beta (\alpha+2\beta)\neq0\), \(\alpha_{0}\), \(\alpha^{\ast}_{0}\), and \(\alpha (\beta)\) be defined by Lemma 2.4. Then the following statements are true:
-
(1)
If \(\beta\geq-1\), then inequality (3.1) holds for all \(x\in(0, \pi /2)\) if and only if \((\alpha,\beta)\in\{(\alpha,\beta)|\alpha\geq -2\beta-12/5, \alpha\beta(\alpha+2\beta)>0\}\) and inequality (3.2) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha,\beta)\in\{ (\alpha,\beta)|\alpha\geq-2\beta-12/5, \alpha\beta(\alpha +2\beta)<0\}\).
-
(2)
If \(-1\leq\beta<0\), then inequality (3.1) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha,\beta)\in\{(\alpha,\beta)|\alpha \leq \alpha(\beta),\alpha\beta(\alpha+2\beta)<0\}\) and inequality (3.2) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha,\beta)\in\{ (\alpha,\beta)|\alpha\leq\alpha(\beta), \alpha\beta(\alpha +2\beta)>0\}\).
-
(3)
If \(\beta\leq-37/35\), then inequality (3.1) holds for all \(x\in (0, \pi/2)\) if and only if \((\alpha,\beta)\in\{(\alpha,\beta )|\alpha \leq-2\beta-12/5, \alpha\beta(\alpha+2\beta)<0\}\cup\{(\alpha ,\beta )|\alpha\geq\alpha(\beta), \alpha\beta(\alpha+2\beta)>0\}\) and inequality (3.2) holds for all \(x\in(0, \pi/2)\) if and only if \((\alpha ,\beta)\in\{(\alpha,\beta)|\alpha\leq-2\beta-12/5, \alpha\beta (\alpha +2\beta)>0\}\cup\{(\alpha,\beta)|\alpha\geq\alpha(\beta), \alpha\beta (\alpha+2\beta)<0\}\).
References
Wilker, JB: Problem E3306. Am. Math. Mon. 96(1), 55 (1989)
Sumner, JS, Jagers, AA, Vowe, M, Anglesio, J: Inequalities involving trigonometric functions. Am. Math. Mon. 98(3), 264-267 (1991)
Wu, S-H, Srivastava, H-M: A weighted and exponential generalization of Wilker’s inequality and its applications. Integral Transforms Spec. Funct. 18(7-8), 529-535 (2007)
Baricz, Á, Sándor, J: Extensions of the generalized Wilker inequality to Bessel functions. J. Math. Inequal. 2(3), 397-406 (2008)
Zhu, L: Some new Wilker-type inequalities for circular and hyperbolic functions. Abstr. Appl. Anal. 2009, Article ID 485842 (2009)
Matejíčka, L: Note on two Wilker-type inequalities. Int. J. Open Probl. Comput. Sci. Math. 4(1), 79-85 (2011)
Zhu, L: A source of inequalities for circular functions. Comput. Math. Appl. 58(10), 1998-2004 (2009)
Yang, Z-H, Chu, Y-M: Sharp Wilker-type inequalities with applications. J. Inequal. Appl. 2014, Article ID 166 (2014)
Chu, H-H, Yang, Z-H, Chu, Y-M, Zhang, W: Generalized Wilker-type inequalities with two parameters. J. Inequal. Appl. 2016, Article ID 187 (2016)
Yang, Z-H, Chu, Y-M, Zhang, X-H: Sharp Cusa type inequalities with two parameters and their applications. Appl. Math. Comput. 268, 1177-1198 (2015)
Acknowledgements
The research was supported by the Natural Science Foundation of China under Grants 11371125, 61374086, and 11401191.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Sun, H., Yang, ZH. & Chu, YM. Necessary and sufficient conditions for the two parameter generalized Wilker-type inequalities. J Inequal Appl 2016, 322 (2016). https://doi.org/10.1186/s13660-016-1270-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1270-2