arxiv: v1 [math.ca] 2 Nov 2018

Transcription

1 arxiv.org arxiv: v1 [math.ca] 2 Nov 2018 One method for proving some classes of eponential analytical inequalities Branko Malešević a, Tatjana Lutovac a, Bojan Banjac b a School of Electrical Engineering, University of Belgrade, Serbia b Faculty of Technical Sciences, University of Novi Sad, Serbia PhD student at School of Electrical Engineering, University of Belgrade, Serbia Abstract. In this paper we propose a method for proving some eponential inequalities based on power series epansion analysis of derivations of the corresponding functions. Our approach provides a simple proof generates a new class of appropriate inequalities, as well as allows direct establishment of the dependence between (the eponent of) some functions that occur as bounds of the approimation the interval in which the corresponding inequality holds true. 1. Introduction preliminaries Papers [5]-[18] have recently considered various methods for proving mied trigonometric polynomial inequalities of the form: n f ()= α i p i sin q i cos r i >0, i=1 where p i, q i, r i N 0,α i R\{0} (0, π 2 ). In monographs [3] [4] were stated various analytical inequalities that can be reduced to mied trigonometric polynomial inequalities. An algorithm that reduces proving of such inequalities to proving of the corresponding polynomial inequalities is developed in [9]. It is shown that many open problems various inequalities recently published in renowned journals can be proved using the proposed algorithm. In this paper we consider some eponential analytical inequalities whose proving can be reduced to analysis of power series epansion of the corresponding functions, analysis of the derivatives of the function. We propose a method for generating proving an appropriate class of eponential inequalities. The starting point in our analysis are the following two (recently published) results: 2010 Mathematics Subject Classification. Primary 26D07; Secondary 41A58, 26E05 Keywords. Analytic inequalities, Series epansions, Real-analytic functions The first author was supported in part by the Serbian Ministry of Education, Science Technological Development, under projects ON III The second author was supported in part by the Serbian Ministry of Education, Science Technological Development, under project TR addresses:branko.malesevic@etf.bg.ac.rs (Branko Malešević ),tatjana.lutovac@etf.bg.ac.rs (Tatjana Lutovac), bojan.banjac@uns.ac.rs (Bojan Banjac)

2 Statement 1.1. ( [1], Theorem 1 ) If (0, 1) then e a2 < cos <e 2 /2 where a Statement 1.2. ( [2], Theorem 3 ) If (0, 1) then e b2 < tan < /3 e 2 with the best possible constants b /3. B. Malešević, T. Lutovac, B. Banjac 2 In this paper we present provide proof for an improvement of the previous statements. Let us recall some of the well-known power series epansions that will be used in our proofs. Based on [19], the following power series epansions hold: log cos = log k=1 tan = k=1 where B i (i N) are Bernoulli s numbers. 2. Main results 2k, ( π/2<<π/2), (3) (2 2k 1 1) B 2k 2k, (0<<π/2), (4) First, we consider the relationship between the number of zeros the number of (local) minimums of a real function, as well as some properties of its derivatives. We prove the following assertion: Theorem 2.1. Let f : (0, c) R be m times differentiable function ( for some m 2, m N ) which satisfies the following conditions: (a) f (m) ()>0 for (0, c); (b) there is a right neighbourhood of zero in which the following inequalities hold true: f ()<0, f ()<0,..., f (m 1) ()<0; (c) there is a left neighbourhood of c in which the following inequalities hold true: f ()>0, f ()>0,..., f (m 1) ()>0. Then the function f has eactly one zero 0 (0, c), f ()<0 for (0, 0 ) f ()>0 for ( 0, c). Also, the function f has eactly one local minimum in the interval (0, c) i.e. there is eactly one point t 0 (0, 0 ) (0, c) such that f (t 0 )<0 is the minimal value of function f () over the interval (0, 0 ) i.e. (0, c). Proof. On the basis of condition (a), as f (m) ()>0 for (0, c), it follows that f (m 1) () is a monotonically increasing function for (0, c). Based on conditions (b) (c), we conclude that there eists eactly one zero m 1 (0, c) of the function f (m 1) (). Net, we can conclude that function f (m 2) () is monotonically decreasing for (0, m 1 ) monotonically increasing for ( m 1, c). It is clear that the function f (m 2) () has eactly one minimum in the interval (0, c) at point m 1, so f (m 2) ( m 1 )<0 holds. On the basis of condition (c), it follows that function f (m 2) () has eactly one root m 2 in the interval (0, c) ( m 2 ( m 1, c)) f (m 2) ()<0for (0, m 2 ) as well as f (m 2) ()>0 for ( m 2, c). By repeating the above procedure, we get the assertion given in the theorem. Remark 2.2. The Theorem 2.1 is a natural etension of Theorem 3, from [18], which was applied in [18] to inequalities involving the sinc function. (1) (2)

3 B. Malešević, T. Lutovac, B. Banjac Generalization of Statement 1.1 Consider inequalities (1) for (0,π/2) parameter a R +. It is enough to analyse the following equivalent inequalities: a 2 < log cos < 2 /2, (5) for (0,π/2) parameter a R +. Firstly, we prove that the right-h side of inequality (5) holds true for every (0,π/2). The real analytical function f 1 ()= log cos : ( 0, 2) π R, has the following power series epansion f 1 ()= 2k, for (0,π/2), from which it follows that f 1 ()>0 for (0,π/2). Consider now the left-h side of inequality (5). The corresponding real analytical function has the following power series epansion: f 2 ()= ( 1 2 a ) 2 + f 2 ()= a 2 log cos : ( 0, π 2) R 2k. (6) Based on the above power series epansion, it is not hard to show that for a>1/2 m=3 the conditions of Theorem 2.1 are fulfilled. Therefore, in the interval ( 0, π 2) the function f2 () has eactly one zero 0, there is eactly one point t 0 (0, 0 ) such that f 2 (t 0 )<0 is minimal value of the function f 2 () over the interval (0, 0 ) (0,π/2). For every fied 0 ( 0, π 2) a= log cos 0, 2 0 we have f 2 ( 0 )=0, i.e. 0 is the (unique) zero of the function f 2 (), for all (0, 0 ) f 2 ()<0. Further, based on (6) f 2 ( 0 )=0we have: a= k 2 0 > 1 2. Overall, on the basis of the previous consideration, the following improvement of Statement 1.1 has been proved: Theorem 2.3. Let 0 (0,π/2). Then for every (0, 0 ) the following inequalities hold true with the best possible constants a= ( log cos 0 ) / 2 0 e a2 < cos <e 2 /2 1/2. Remark 2.4. For 0 = 1 we get Statement 1.1. constant a= log cos In that case, t the minimum value f 2 (t 0 ) determines the absolute value of the largest errorδ in the approimation of the function log cos with the square polynomial a 2 over interval (0, 1).

4 B. Malešević, T. Lutovac, B. Banjac Generalization of Statement 1.2 Consider inequalities (2) for (0,π/2) parameter b R +. It is enough to analyse the following equivalent inequalities: b 2 < log 2 < tan 3 for (0,π/2) parameter b R +. For the right-h side of inequality (7) it is enough to observe the real analytical function 1 ()= log tan :( ) 0, π 2 R, the corresponding power series epansion: 1 ()= 2k, for (0,π/2), from which it follows that 1 ()>0 for (0,π/2). Consider now the left-h side of inequality (7). The corresponding real analytical function 2 ()= b 2 log tan :( ) 0, π 2 R has the following power series epansion: 2 ()= ( 1 3 b ) 2 + 2k. (8) It is not hard to show that for b > 1/3 m = 3 the conditions of Theorem 2.1 are fulfilled. Therefore, the function 2 () has eactly one zero 0 in the interval ( 0, π 2), there is eactly one point t0 (0, 0 ) such that 2 (t 0 )<0 is the minimal value of the function 2 () over the interval (0, 0 ) (0,π/2). For every fied 0 ( 0, π 2) b= log 0 tan 0, 2 0 we have 2 ( 0 )=0, i.e. 0 is the (unique) zero of the function 2 (), for all (0, 0 ) 2 ()<0. Further, based on (8) 2 ( 0 )=0we have: b= k 2 0 > 1 3. Overall, on the basis of the previous consideration, the following improvement of Statement 1.2 has been proved: Theorem 2.5. Let 0 (0,π/2). Then for every (0, 0 ) the following inequalities hold true e b2 < log tan < /3 e 2 ( ) with the best possible constants b = log 0 / 2 tan 0 0 1/3. Remark 2.6. For 0 = 1 we get Statement 1.2 constant b=log tan In that case, t the minimum value 2 (t 0 ) determines the absolute value of the largest errorδ in the approimation of the function log tan with the square polynomial b2 over interval (0, 1). (7)

5 B. Malešević, T. Lutovac, B. Banjac 5 3. Conclusion In this paper we established some eponential analytic inequalities, using the results of Theorem 2.1, as well as the power series epansion of the corresponding functions. In particular, we proved that the following inequalities hold true: e a2 < cos <e 2 /2, e b2 < log tan < e 2 /3 for every (0,α), where 0<α<π/2, with the best possible constants a= ( log cosα ) /α 2 1/2, b= ( log α ) /α 2 1/3, respectively. tanα Our approach provides a simple proof allows direct establishment of the dependence between the eponents of the bounds of approimation the interval in which the corresponding inequality holds true. In this way, we get a class of inequalities as well as intervals in which these inequalities are true. We believe that our method can contribute to broader application of the power series in the study of inequalities. References [1] Y. J. Bagul, Inequalities involving Circular, Hyperbolic Eponential Functions, J. Math. Inequal. 11:3 (2017), [2] Y. J. Bagul, New Inequalities involving Circular, Inverse Circular, Hyperbolic, Inverse Hyperbolic Eponential Functions, Adv. Inequal. Appl. 2018:5 (2018), 1 8. [3] D. S. Mitrinović, Analytic inequalities, Springer [4] G. Milovanović, M. Rassias (ed.), Analytic Number Theory, Approimation Theory Special Functions, Springer 2014, Chapter: G. D. Anderson, M. Vuorinen, X. Zhang: Topics in Special Functions III, [5] B. Banjac, M. Nenezić, B. Malešević, Some applications of Lambda-method for obtaining approimations in filter design, Proceedings of 23-rd TELFOR conference, pp , Beograd [6] M. Nenezić, B. Malešević, C. Mortici, New approimations of some epressions involving trigonometric functions, Appl. Math. Comput. 283 (2016), [7] B. Banjac, M. Makragić, B. Malešević Some notes on a method for proving inequalities by computer, Results Math. 69:1 (2016), [8] B. Malešević, M. Makragić, A Method for Proving Some Inequalities on Mied Trigonometric Polynomial Functions, J. Math. Inequal. 10:3 (2016), [9] T. Lutovac, B. Malešević, C. Mortici, The natural algorithmic approach of mied trigonometric-polynomial problems, J. Inequal. Appl. 2017:116 (2017), [10] B. Malešević, M. Rašajski, T. Lutovac, Refinements generalizations of some inequalities of Shafer-Fink s type for the inverse sine function, J. Inequal. Appl. 2017:275 (2017), 1 9. [11] B. Malešević, M. Rašajski, T. Lutovac, Refined estimates generalizations of inequalities related to the arctangent function Shafer s inequality, Math. Probl. Eng Article ID (2018), 1 8. [12] M. Rašajski, T. Lutovac, B. Malešević, Sharpening Generalizations of Shafer-Fink Wilker Type Inequalities :a New Approach, J. Nonlinear Sci. Appl. 11:7 (2018), [13] M. Makragić, A method for proving some inequalities on mied hyperbolic-trigonometric polynomial functions, J. Math. Inequal. 11:3 (2017), [14] B. Malešević, I. Jovović, B. Banjac, A proof of two conjectures of Chao-Ping Chen for inverse trigonometric functions, J. Math. Inequal. 11 (1) (2017), [15] B. Malešević, T. Lutovac, M. Rašajski, C. Mortici, Etensions of the natural approach to refinements generalizations of some trigonometric inequalities, Adv. Difference Equ. 2018:90 (2018), [16] T. Lutovac, B. Malešević, M. Rašajski, A new method for proving some inequalities related to several special functions, Results Math. 73:100, (2018), [17] B. Malešević, T. Lutovac, B. Banjac, A proof of an open problem of Yusuke Nishizawa for a power-eponential function, J. Math. Inequal. 12: 2 (2018), [18] M. Rašajski, T. Lutovac, B. Malešević, About some eponential inequalities related to the sinc function, J. Inequal. Appl. 2018:150, (2018), [19] I. Gradshteyn, I. Ryzhik, Table of Integrals Series Products, 8th Edition, Academic Press 2015.