Polynomial-Exponential Bounds for Some Trigonometric and Hyperbolic Functions

: Recent advances in mathematical inequalities suggest that bounds of polynomial-exponential-type are appropriate for evaluating key trigonometric functions. In this paper, we innovate in this sense by establishing new and sharp bounds of the form ( 1 − α x 2 ) e β x 2 for the trigonometric sinc and cosine functions. Our main result for the sinc function is a double inequality holding on the interval ( 0, π ) , while our main result for the cosine function is a double inequality holding on the interval ( 0, π /2 ) . Comparable sharp results for hyperbolic functions are also obtained. The proofs are based on series expansions, inequalities on the Bernoulli numbers, and the monotone form of the l’Hospital rule. Some comparable bounds of the literature are improved. Examples of application via integral techniques are given.


Introduction
We know that the sinc and cosine functions, i.e., sin x/x and cos x, are less than 1 for 0 < x < π/2. These rude inequalities have been refined over time in several ways. In this regard, we may mention Jordan's and Kober's inequalities, which are 2 π < sin x x < 1; 0 < x < π 2 (1) and 1 − 2x respectively. Several proofs of these results exist. We refer the reader to [1][2][3][4][5][6] for more information. Due to their importance in mathematics, the inequalities (1) and (2) are sharpened and generalized in many ways by researchers. Moreover, different bounds for sine and cosine functions have been established in the literature so far. The list of references of this topic is extensive, and includes [3,4,. The obtained bounds involve polynomial functions, trigonometric functions, exponential functions, and combinations of them. In particular, recently, Chouikha et al. in [18] obtained the polynomial-exponential bounds for the sinc and cosine functions, as follows: sin and The inequalities (3)-(5) were proven by infinite product methods. They demonstrate that bounds of polynomial-exponential-type are appropriate for evaluating, with precision, these key trigonometric functions. This paper aims to provide some contributional material on this subject. In the first part of this work, we aim to provide new sharp bounds for polynomialexponential types of the form (1 − αx 2 )e βx 2 for the sinc and cosine functions. In the second part, we aim to present sharp polynomial-exponential bounds for the hyperbolic sinc and hyperbolic cosine functions. The constants are obtained such that the bounds are as sharp as possible. The proofs include series expansions, Bernoulli number inequalities, and the monotone form of the l'Hospital rule. As a result, we employ techniques that are completely different from those used by [18]. Furthermore, under some conditions on the domain of x, we improve the existing bounds of the literature, including those in (3)-(5). Another advantage of the findings is that the obtained bounds are manageable from the mathematical viewpoint. To illustrate that, some applications based on integral techniques are given to get new bounds for the cosine and hyperbolic cosine functions.
The organization of the paper is divided into the following sections: Section 2 presents the main theorems. Preliminaries and lemmas are described in Section 3. The proofs of the main results are detailed in Section 4. Applications are given in Section 5. Final discussions and conclusions are given in Section 6.

Main Theorems
We begin with our new polynomial-exponential bounds of the form (1 − αx 2 )e βx 2 for the sinc and cosine functions. Our main results are stated below.
The proofs of these new results, several applications, and a discussion of the significance of the findings and existing literature results are presented in the remainder of the work.

Preliminaries and Lemmas
We first recall the following simple geometric series expansion: as well as the following known power series expansions of cosh x and sinh x: Furthermore, the following series expansions: and can be found in ([31], 1.411). Here, B 2k stands for the even indexed Bernoulli number.
Then we have: In addition to this, we need the following lemmas, which can be proven in a scholarly manner.
The above preliminaries are the basis of the proofs of the main results, which are the subject of the next section.

Applications
The bounds established in the previous theorems have the quality of being manageable from the analytical viewpoint. In this section, we exploit this quality to propose some other sharp polynomial-exponential bounds for cosine and hyperbolic cosine functions. More precisely, these bounds will be obtained from Theorems 1 and 2, and integral developments. where Proof. By (6), we get for 0 < x < π. Using integration by parts method, this simply implies After rearranging the terms, we get the inequalities in (14).

Proposition 2.
Let 0 < x < r and r > 0. Then where , and the constant a being defined in Theorem 3.

Proof.
We skip the proof, as it is similar to the proof of Proposition 1. The inequalities (15) can be easily obtained by integrating inequalities (8).

Final Discussion and Conclusions
We now discuss the importance of our findings in the light of the existing results of the literature, and conclude the paper. Our first observation is that there are some limitations to the method used in [18] to obtain the polynomial-exponential bounds stated and proven in this paper. For instance, in [18], the lower bound for the sinc function is obtained in (0, π), whereas the upper bound is obtained in a half interval (0, π/2), and the upper bound of the cosine function is not obtained. We have adopted different methods and established comparable upper and lower polynomial-exponential bounds for sinc and cosine functions. The same kind of bounds for hyperbolic functions have never been discussed before in the literature. It is interesting to see that the bounds for hyperbolic functions in (8), (9), and (15) are very sharp and better than the existing bounds in the literature (they are better than the corresponding bounds presented in [19,24] and the references therein). Numerical calculations and graphical comparisons via the Maple software reveal the following important points:

•
There is no strict comparison between the lower bounds of the sinc function in (3) and (6). The lower bound in (6) is sharper than that in (3) in the interval (λ 1 , π), where λ 1 ≈ 2.5018. • The upper bound of the sinc function in (6) is uniformly sharper than that in (4). Moreover, it is valid in the extended interval (0, π).

•
The lower bound of the cosine function in (7) is sharper than that in (5) for the interval (λ 2 , π/2), where λ 2 ≈ 1.2221, and we also obtained the upper bound for the cosine function in (7). • The lower bound in (14) is uniformly sharper than that in (5). Moreover, it is valid over a larger interval (0, π). • If 0 < x < π/2, then the upper bound of (7) is sharper than that of (14). So, considering the better bounds of the cosine function in (7) and (14) and combining them, we have the following sharp double inequality: where φ 1 (x) is specified as in Proposition 1. • Both the inequalities of (15) are sharper than those of (9). Funding: This research received no external funding.