- Research
- Open access
- Published:
About some exponential inequalities related to the sinc function
Journal of Inequalities and Applications volume 2018, Article number: 150 (2018)
Abstract
In this paper, we prove some exponential inequalities involving the sinc function. We analyze and prove inequalities with constant exponents and inequalities with certain polynomial exponents. Also, we establish intervals in which these inequalities hold.
1 Introduction
Inequalities related to the sinc function, \(\operatorname{sinc}x= \frac{\sin x}{x}\) (\(x \neq0 \)), occur in many fields of mathematics and engineering [1–7] such as Fourier analysis and its applications, information theory, radio transmission, optics, signal processing, sound recording, etc.
The following inequalities are proved in [8]:
for every \(x\in ( 0,\pi )\). In [9], the authors considered possible refinements of inequality (1) by a real analytic function \(\varphi _{a}(x)= ( \frac{\sin x}{x} ) ^{ a} \) for \(x\in ( 0,\pi ) \) and parameter \(a\in \mathbb{R} \) and proved the following inequalities:
Statement 1
([9], Theorem 10)
For all \({x \in (0, \pi )}\) and \(a \in (1, \frac{3}{2} )\),
In [9], based on the analysis of the sign of the analytic function
in the right neighborhood of zero, the corresponding inequalities for parameter values \(a \geq \frac{3}{2} \) are discussed.
In this paper, in Sect. 3.1, using the power series expansions and the Wu–Debnath theorem, we prove that inequality (2) holds for \(a = \frac{3}{2} \). At the same time, this proof represents another proof of Statement 1. Also, we analyze the cases \(a\in ( \frac{3}{2} ,2 )\) and \(a \geq2\) and prove the corresponding inequalities.
In Sect. 3.2, we introduce and prove a new double-sided inequality of similar type involving polynomial exponents.
Finally, in Sect. 3.3, we establish a relation between the cases of constant and polynomial exponents.
2 Preliminaries
In this section, we review some results that we use in our study.
In accordance with [10], the following expansions hold:
where \(\mathbf{B}_{i}\) (\(i \in {\mathbb {N}}\)) are Bernoulli’s numbers.
In our proofs, we use the following theorem proved by Wu and Debnath [11].
Theorem WD
([11], Theorem 2)
Suppose that \(f(x)\) is a real function on \((a,b)\) and that n is a positive integer such that \(f ^{(k)}(a+)\), \(f^{(k)}(b-)\) (\(k \in\{0,1,2, \ldots,n\}\)) exist.
-
(i)
Suppose that \((-1)^{(n)} f^{(n)}(x)\) is increasing on \((a,b)\). Then, for all \(x \in(a,b)\), we have the following inequality:
$$ \begin{aligned}[b] &\sum_{k=0}^{n-1} \frac{f^{(k)}(b-)}{k!} (x-b)^{k} + \frac{1}{(a-b)^{n}} \Biggl( f(a + ) - \sum_{k=0}^{n-1} \frac{(a-b)^{k}f^{(k)}(b-)}{k!}\Biggr) (x-b)^{n} \\ &\quad< f(x) < \sum_{k=0}^{n} \frac{f^{(k)}(b-)}{k!}(x-b)^{k}. \end{aligned} $$(5)Furthermore, if \((-1)^{n} f^{(n)}(x)\) is decreasing on \((a,b)\), then the reversed inequality of (5) holds.
-
(ii)
Suppose that \(f^{(n)}(x)\) is increasing on \((a,b)\). Then, for all \(x \in(a,b)\), we have the following inequality:
$$ \begin{aligned}[b] &\sum_{k=0}^{n} \frac{f^{(k)}(a+)}{k!}(x-a)^{k} \\ &\quad < f(x) \\ &\quad < \sum_{k=0}^{n-1}\frac{f^{(k)}(a+)}{k!} (x-a)^{k} + \frac{1}{(b-a)^{n}} \Biggl( f(b-) - \sum _{k=0}^{n-1} \frac{(b-a)^{k}f^{(k)}(a+)}{k!} \Biggr) (x-a)^{n}. \end{aligned} $$(6)
Furthermore, if \(f^{(n)}(x)\) is decreasing on \((a,b)\), then the reversed inequality of (6) holds.
Remark 1
Note that inequalities (5) and (6) hold for \(n \in {\mathbb {N}}\) and for \(n=0\).
Here, and throughout this paper, a sum where the upper bound of summation is lower than its lower bound is understood to be zero.
The following theorem, which is a consequence of Theorem WD, was proved in [12].
Theorem 2
([12], Theorem 1)
Let a function \(f:(a,b) \longrightarrow {\mathbb {R}}\) have the following power series expansion:
for \(x \in(a,b)\), where the sequence of coefficients \(\{c_{k}\}_{k \in {\mathbb {N}}_{0}}\) has a finite number of nonpositive terms, and their indices are in the set \(J = \{j_{0},\ldots,j_{\ell}\}\).
Then, for the function
and the sequence \(\{C_{k}\}_{k \in {\mathbb {N}}_{0}}\) of the nonnegative coefficients defined by
we have
for every \(x \in(a,b)\).
Also, \(F^{(k)}(a+)= k! C_{k}\), and the following inequalities hold:
for all \(x \in(a, b)\) and \(n \in {\mathbb {N}}_{0}\), that is,
for all \(x \in(a,b)\) and \(m > \max\{j_{0},\ldots,j_{\ell}\}\).
3 Main results
3.1 Inequalities with constants in the exponents
First, we consider a connection between the number of zeros of a real analytic function and some properties of its derivatives. It is well known that the zeros of a nonconstant analytic function are isolated [13]; see also [14] and [15].
We prove the following statement.
Theorem 3
Let \(f : (0, c) \longrightarrow {\mathbb {R}}\) be a real analytic function such that \(f^{(k)}(x) > 0\) for \(x \in(0,c)\) and \(k= m, m+1, \ldots\) (for some \(m \in {\mathbb {N}}\)).
Suppose that the following conditions hold:
-
(1)
there is a right neighborhood of zero in which \(f(x)<0\), \(f'(x)<0\), … , \(f^{(m-1)}(x)<0\), and
-
(2)
\(f(c_{-})>0\), \(f'(c_{-})>0\), … , \(f^{(m-1)}(c_{-})>0\).
Then there exists exactly one zero \(x_{0} \in(0, c) \) of the function f.
Proof
As \(f^{(m)}(x) > 0\) for \(x \in(0,c)\), it follows that \(f^{(m-1)}(x)\) is an increasing function for \(x \in(0,c)\). From conditions (1) and (2) we conclude that there exists exactly one zero \(x_{m-1} \in(0, c)\) of the function \(f^{(m-1)}(x)\). Next, we can conclude that function \(f^{(m-2)}(x)\) is decreasing for \(x \in(0,x_{m-1})\) and increasing for \(x \in(x_{m-1},c)\). It is clear that the function \(f^{(m-2)}(x) \) has exactly one minimum in the interval \((0, c)\) at point \(x_{m-1}\) and \(f^{(m-2)}(x_{m-1}) < 0\). From condition (2) it follows that the function \(f^{(m-2)}(x)\) has exactly one root \(x_{m-2}\) on the interval \((0, c)\) and \(x_{m-2} \in(x_{m-1}, c)\).
By repeating the described procedure, we get the statement of the theorem. □
Let us consider the family of functions
for \(x \in(0, \pi)\) and parameter \(a \in(1, +\infty)\).
Obviously, the following equivalence is true:
for \(a, a_{1} > 1 \) and \(x \in(0,\pi)\).
Thus
By the power series expansions (3) and (4), we have
for \(a>1\) and \(x \in(0, \pi)\), where
For \(a = \frac{3}{2} \), we have \(E_{1}=0\) and \(E_{k}>0\) for \(k=2,3 , \ldots\) . Thus from (16) we have
and consequently we have the following result.
Theorem 4
For all \(x \in(0, \pi)\), we have
Since
for \(x \in(0, \pi)\) and \(a \in (1, \frac{3}{2} ]\), the previous theorem can be thought of as a new proof of Statement 1.
Consider now the family of functions \(f_{a}(x) = a \ln\frac{\sin x}{x} - 2 \ln\cos\frac{x}{2} \) for \(x \in(0, \pi)\) and parameter \(a > \frac{3}{2} \).
It easy to check that for the sequence
the following equivalences are true:
Let us now consider the function \(\mathfrak{m} : [ \frac{3}{2} ,2 ) \longrightarrow {\mathbb {N}}_{0}\) defined by
It is not difficult to check that \(\lim_{a \rightarrow2_{-}} \mathfrak{m}(a) = +\infty\), whereas for a fixed \(a \in (\frac{3}{2} ,2 )\), the number of negative elements of the sequence \(\{ E_{k} \}_{k \in {\mathbb {N}}}\) is \(\mathfrak{m}(a)\), and their indices are in the set \(\{ 1, \ldots, \mathfrak{m}(a)\}\). For this reason, we distinguish two cases \(a \in ( \frac{3}{2} ,2 )\) and \(a\geq2\).
As for the parameter \(a = 2\) and \(x \in(0, \pi)\), we have
whereas for \(a>2\) and \(x \in(0, \pi)\), we have
Hence, we have proved the following theorem.
Theorem 5
For all \(a \geq2\) and \(x \in (0, \pi)\), we have
Consider now the case where the parameter \(a \in ( \frac{3}{2} ,2 ) \). As noted before, for any fixed \(a \in ( \frac{3}{2} ,2 ) \), there is a finite number of negative coefficients in the power series expansion (17), so it is possible to apply Theorem 2.
According to Theorem 2, we have the following inequalities:
for all \(x \in (0,c )\), \(c \in (0,\pi )\), \(n > \mathfrak{m}(a)+1\), and \(a \in ( \frac{3}{2} ,2 )\).
The family of functions \(f_{a}(x)\) for \(x \in(0, \pi)\) and \(a \in ( \frac{3}{2} ,2 )\) satisfy conditions (1) and (2) of Theorem 3, as we prove in the following lemma.
Lemma 1
Consider the family of functions \(f_{a}(x) = a \ln\frac{\sin x}{x} - 2 \ln\cos\frac{x}{2} \) for \(x \in(0,\pi)\) and parameter \(a \in ( \frac{3}{2} ,2 )\). Let \(m=\mathfrak{m}(a)\), where \(\mathfrak{m}(a)\) is defined as in (20).
Then \(\frac{d^{k}}{dx^{k}} f_{a}(x) > 0\) for \(k = m, m+1, \ldots \) and \(x \in(0,\pi)\), and the following assertions hold:
-
(1)
There is a right neighborhood of zero in which the following inequalities hold: \(f_{a}(x)<0\), \(\frac{d}{dx} f_{a}(x)<0\), … , \(\frac{d^{m-1}}{dx^{m-1}} f_{a}(x)<0\);
-
(2)
\(f_{a}(\pi_{-})>0\), \(\frac{d}{dx}f_{a}(\pi_{-})>0\), … , \(\frac{d^{m-1}}{dx^{m-1}} f_{a}(\pi_{-})>0\).
Proof
Let us recall that, for any fixed \(a \in ( \frac{3}{2} ,2 ) \), there is a finite number of negative coefficients in the power series expansion (17). Also, we have
For the derivatives of the function \(f_{a}(x)\) in the left neighborhood of π, it suffices to observe that
From this the conclusions of the lemma can be directly derived. □
Thus, for every \(a \in ( \frac{3}{2} ,2 )\), the corresponding function \(f_{a}(x) = a \ln\frac{\sin x}{x} - 2 \ln\cos\frac{x}{2} \) has exactly one zero on the interval \((0, \pi)\). Let us denote it by \(x_{a}\).
The following theorem is a direct consequence of these considerations.
Theorem 6
For every \(a \in ( \frac{3}{2} ,2 )\) and all \(x \in (0, x_{a} ]\), where \(0< x_{a} < \pi\), we have
For the selected discrete values of \(a \in ( \frac{3}{2} , 2 ) \), the zeros \(x_{a}\) of the corresponding functions \(f_{a} (x)\) are shown in Table 1. Although the values \(x_{a}\) can be obtained by any numerical method, the following remark can also be used to locate them.
Remark 7
For a fixed \(a \in ( \frac{3}{2} ,2 )\), select \(n>\mathfrak{m}(a)+1\) and consider inequalities (22). Denote the corresponding polynomials on the left- and right-hand sides of (22) by \(P_{L}(x)\) and \(P_{R}(x)\), respectively. These polynomials are of negative sign in a right neighborhood of zero (see [15], Theorem 2.5), and they have positive leading coefficients. Then, the root \(x_{a}\) of the equation \(f_{a}(x) = 0\) is always localized between the smallest positive roots of the equations \(P_{L} (x) = 0\) and \(P_{R} (x) = 0\).
3.2 Inequalities with polynomial exponents
In this subsection, we propose and prove a new double-sided inequality involving the sinc function with polynomial exponents.
To be more specific, we find two polynomials of the second degree that, when placed in the exponent of the sinc function, give an upper and a lower bound for \({\cos}^{2} \frac{x}{2}\).
Theorem 8
For every \(x\in(0,3.1)\), we have the double-sided inequality
where \({p_{1}} ( x ) = \frac{3}{2} + \frac{{{x^{2}}}}{{2{\pi^{2}}}} \) and \({p_{2}} ( x ) = \frac{3}{2} + \frac{{{x^{2}}}}{{80}} \).
Proof
Consider the equivalent form of inequality (24)
Now, let us denote
for \(i=1,2\).
Based on Theorem WD, from (3) we obtain
for \(x \in (0,\pi )\), where \(n, m \in {\mathbb {N}}\), \(m,n \ge2\).
Based on Theorem WD, from (4) we obtain
for \(x \in (0,c )\), where \(0 < c < \frac{\pi}{2} \), \(n, m \in {\mathbb {N}}\), \(m,n \ge2\), that is,
for \(x \in (0,c )\) and \(0 < c < \pi\), \(n, m \in {\mathbb {N}}\), \(m,n \ge2\).
Now, let us introduce the notation
for \(m_{1},n_{1}\in {\mathbb {N}}\), \(m_{1},n_{1} \ge2\), \(c_{1}\in(0,\pi)\), and \(x \in(0,c_{1})\);
for \(m_{2},n_{2}\in {\mathbb {N}}\), \(m_{2},n_{2} \ge2\), \(c_{2}\in(0,\pi)\), and \(x \in (0,c_{2})\).
By inequalities (25) and (27) we have
for \(m_{1},n_{1},m_{2},n_{2} \in {\mathbb {N}}\) and \(c_{1},c_{2} \in(0,\pi)\).
For \(c_{1}=c_{2}=3.1\), \(m_{1}=25\), and \(n_{1}=10\) and for \(m_{2}=13\) and \(n_{2}=27\), it is easy to prove that \({H_{1}} ( x, m_{1}, n_{1}, c_{1} )<0\) and \({H_{2}} ( x, m_{2}, n_{2}, c_{2} )>0\) for every \(x \in(0,c_{1})\).
Hence we conclude that \(G_{1}(x)<0\) and \(G_{2}(x)>0\) for every \(x \in (0,3.1)\), and the double-sided inequality (24) holds. □
Remark 9
Note that this method can be used to prove that inequality (24) of Theorem 8 holds on any interval \((0,c)\) where \(c \in(0, \pi)\), but the degrees of the polynomials \(H_{1}\) and \(H_{2}\) get larger as c approaches π.
3.3 Constant vs. polynomial exponents
Let us observe the inequalities in Theorems 6 and 8 and inequality (24) containing constants and polynomials in the exponents, respectively.
A question of establishing a relation between these functions, with different types of exponents, comes up naturally. The following theorem addresses this question.
Theorem 10
For all \(a \in ( \frac{3}{2} ,2 )\) and \(x\in (0,m_{a} )\), where \(m_{a}=\sqrt{2\pi^{2} ( {a - \frac{3}{2}} )}\), we have the following double-sided inequality:
Proof
Let \(a = \frac{3}{2} + \varepsilon\), \(\varepsilon\in (0, \frac{1}{2} )\), and \(x>0\). Then
Now we have
Hence, applying Theorem 8, the double-sided inequality (28) holds for all \({a \in ( \frac{3}{2} ,2 )}\) and \(x \in(0,m_{a})\). □
In Table 1 we show the values \(x_{a}\) and \(m_{a}\) for some specified \(a \in ( \frac{3}{2} ,2 ) \).
Remark 11
Note that Theorem 10 represents another proof of the following assertion from [9]:
4 Conclusion
In this paper, using the power series expansions and the application of the Wu–Debnath theorem, we proved that inequality (2) holds for \(a = \frac{3}{2} \). At the same time, this proof represents a new short proof of Statement 1.
We analyzed the cases \(a \in ( \frac{3}{2} ,2 )\) and \(a \geq 2\), and we proved the corresponding inequalities. We introduced and proved a new double-sided inequality of similar type involving polynomial exponents. Also, we established a relation between the cases of constant and polynomial exponents.
References
Mitrinović, D.S.: Analytic Inequalities. Springer, Berlin (1970)
Mortici, C.: The natural approach of Wilker–Cusa–Huygens inequalities. Math. Inequal. Appl. 14(3), 535–541 (2011)
Rahmatollahi, G., De Abreu, G.T.F.: Closed-form hop-count distributions in random networks with arbitrary routing. IEEE Trans. Commun. 60(2), 429–444 (2012)
Anderson, D.G., Vuorinen, M., Zhang, X.: Topics in special functions III. In: G.V. Milovanović, M.Th. Rassias (eds.) Analytic Number Theory, Approximation Theory and Special Functions, pp. 297–345. Springer, Berlin (2014)
Cloud, M.J., Drachman, B.C., Lebedev, L.P.: Inequalities with Applications to Engineering. Springer, Berlin (2014)
Lutovac, T., Malešević, B., Rašajski, M.: A new method for proving some inequalities related to several special functions. Results Math. (accepted). arXiv:1802.02082
Malešević, B., Lutovac, T., Rašajski, M., Mortici, C.: Extensions of the natural approach to refinements and generalizations of some trigonometric inequalities. Adv. Differ. Equ. 2018, 90 (2018)
Yang, Z.-H.: New sharp Jordan type inequalities and their applications. Gulf J. Math. 2(1), 1–10 (2014)
Lutovac, T., Malešević, B., Mortici, C.: The natural algorithmic approach of mixed trigonometric-polynomial problems. J. Inequal. Appl. 2017, 116 (2017)
Gradshteyn, I., Ryzhik, I.: Table of Integrals Series and Products, 8th edn. Academic Press, San Diego (2015)
Wu, S., Debnath, L.: A generalization of L’Hospital-type rules for monotonicity and its application. Appl. Math. Lett. 22, 284–290 (2009)
Rašajski, M., Lutovac, T., Malešević, B.: Sharpening and generalizations of Shafer–Fink and Wilker type inequalities: a new approach. J. Nonlinear Sci. Appl. 11(7), 885–893 (2018). https://doi.org/10.22436/jnsa.011.07.02
Godement, R.: Analysis I: Convergence, Elementary Functions. Springer, Berlin (2004)
Krantz, S.G., Parks, H.R.: A Primer of Real Analytic Functions. Springer, Berlin (1992)
Malešević, B., Makragić, M.: A method for proving some inequalities on mixed trigonometric polynomial functions. J. Math. Inequal. 10(3), 849–876 (2016)
Acknowledgements
The authors are grateful to the Serbian Ministry of Education, Science and Technological Development, for their support. Also, the authors are grateful to the reviewers for their careful reading and for their valuable comments.
Funding
The research of the first, second, and third authors was supported in part by the Serbian Ministry of Education, Science and Technological Development, under Projects ON 174033, TR 32023, and ON 174032 & III 44006, respectively.
Author information
Authors and Affiliations
Contributions
All the authors participated in every phase of the research conducted for this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors would like to state that they do not have any competing interests in the subject of this research.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Rašajski, M., Lutovac, T. & Malešević, B. About some exponential inequalities related to the sinc function. J Inequal Appl 2018, 150 (2018). https://doi.org/10.1186/s13660-018-1740-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1740-9