Next generalization of Cîrtoaje’s inequality
- Ladislav Matejíčka^{1}Email author
https://doi.org/10.1186/s13660-017-1436-6
© The Author(s) 2017
Received: 30 April 2017
Accepted: 5 June 2017
Published: 5 July 2017
Abstract
In this paper, we classify sets of solutions of the next generalized Cîrtoaje’s inequality and its reverse, respectively.
Keywords
inequalities with power-exponential functions Cîrtoaje’s inequalityMSC
26D151 Introduction
In recent years, inequalities with power-exponential functions have been intensively studied [1–7]. They have many important applications. For example, they can be found in mathematical analysis and in other theories like mathematical physics, mathematical biology, ordinary differential equations, probability theory and statistics, chemistry, economics. For more details, a literature review and the history of inequalities with power-exponential functions, see [2]. Cîrtoaje, in [1], has introduced the following interesting conjecture on the inequalities with power-exponential functions. The inequality is similar to the reverse arithmetic-geometric mean inequality where its terms were rearranged.
Conjecture 1
2 Methods
In this paper, methods of mathematical and numerical analysis are used. We make a classification of sets of solutions of the other generalization of (CI).
3 Results and discussion
We remark that in [6] the special case of our classification for (4) was presented, where \(\varphi(i)=i\), \(\psi(i)=i+1\), \(i=1,\ldots,n-1\), \(\varphi(n)=n\), \(\psi(n)=1\).
We prove the following lemma.
Lemma 1
Let \(F(r)\) be defined by (3). Let φ, ψ be arbitrary functions from \(\{1,\ldots,n\}\) to \(\{ 1,\ldots,n\}\), \(n\in N\). Then \(F(r)\) is a concave function for each \(A\in R^{n}_{+}-S^{n}\), and \(F(0)=0\). If there is \(i\neq j\); \(i,j\in N\) such that \(x_{\psi(i)}\ln x_{i}\neq x_{\psi(j)}\ln x_{j}\), then \(F(r)\) is a strongly concave function in A.
Proof
Now we prove the following lemma.
Lemma 2
- 1.
If \(h(x_{1},\ldots,x_{n})=\sum_{i=1}^{n} (x_{\varphi (i)}-x_{\psi(i)} )\log(x_{i})<0\) for \(A=(x_{1},\ldots,x_{n})\in R^{n}_{+}\) then (RI) is valid for all \(r>0\) in \(A=(x_{1},\ldots,x_{n})\in R^{n}_{+}\).
- 2.
If \(h(x_{1},\ldots,x_{n})=\sum_{i=1}^{n} (x_{\varphi (i)}-x_{\psi(i)} )\log(x_{i})=0\) and \(g(x_{1},\ldots,x_{n})= \frac{1}{n}\sum_{i=1}^{n}x_{\varphi(i)}\log (x_{i})-\max_{1\leq m\leq n}\{x_{\psi(m)}\log(x_{m})\}<0\) for \(A=(x_{1},\ldots,x_{n})\in R^{n}_{+}\) then (RI) is valid for all \(r>0\) in \(A=(x_{1},\ldots,x_{n})\in R^{n}_{+}\).
- 3.
If \(h(x_{1},\ldots,x_{n})=\sum_{i=1}^{n} (x_{\varphi (i)}-x_{\psi(i)} )\log(x_{i})=0\) and \(g(x_{1},\ldots,x_{n})= \frac{1}{n}\sum_{i=1}^{n}x_{\varphi(i)}\log (x_{i})-\max_{1\leq m\leq n}\{x_{\psi(m)}\log(x_{m})\}=0\) for \(A=(x_{1},\ldots,x_{n})\in R^{n}_{+}\) then \(F(r)=0\) for \(r\geq0\) in \(A=(x_{1},\ldots,x_{n})\in R^{n}_{+}\).
- 4.
If \(h(x_{1},\ldots,x_{n})=\sum_{i=1}^{n} (x_{\varphi (i)}-x_{\psi(i)} )\log(x_{i})>0\) and \(g(x_{1},\ldots,x_{n})= \frac{1}{n}\sum_{i=1}^{n}x_{\varphi(i)}\log (x_{i})-\max_{1\leq m\leq n}\{x_{\psi(m)}\log(x_{m})\}\geq0\) for \(A=(x_{1},\ldots,x_{n})\in R^{n}_{+}\) then (I) is valid for all \(r\geq0\) in \(A=(x_{1},\ldots,x_{n})\in R^{n}_{+}\).
- 5.
If \(h(x_{1},\ldots,x_{n})=\sum_{i=1}^{n} (x_{\varphi (i)}-x_{\psi(i)} )\log(x_{i})>0\) and \(g(x_{1},\ldots,x_{n})= \frac{1}{n}\sum_{i=1}^{n}x_{\varphi(i)}\log (x_{i})-\max_{1\leq m\leq n}\{x_{\psi(m)}\log(x_{m})\}<0\) for \(A=(x_{1},\ldots,x_{n})\in R^{n}_{+}\) then there is \(r_{0}>0\) such that (I)is valid for \(r\in(0,r_{0}]\) and (RI) is valid for \(r\in(r_{0},\infty)\) in \(A=(x_{1},\ldots,x_{n})\in R^{n}_{+}\).
Proof
The proof is evident. It follows from Lemma 1. □
Note 1
It is easy to see that if \(g(x_{1},\ldots,x_{n})=0\) and \(h(x_{1},\ldots,x_{n})=0\) then \(F(r)=0\) for all \(r\geq0\). Really, from Lemma 1 we have \(F'(0)=0\) and \(\lim_{r\rightarrow\infty }F'(r)=0\). If \(F(r_{1})\neq0\) for some \(r_{1}>0\) then \(F(r_{1})<0\). Then there exists z such that \(F(r_{1})-F(0)=F'(z)r_{1}\) and \(0< z< r_{1}\). It implies \(F'(z)<0\). Because of \(F''(r)\leq0\) we get \(F'\) is non-increasing for \(r\geq0\). For \(r>z>0\) we obtain \(F'(r)\leq F'(z)\) so \(\lim_{r\rightarrow\infty}F'(r)\leq F'(z)<0\). This is a contradiction.
4 Conclusion
In this paper, we showed the following. If (I) is valid in \((x_{1},\ldots,x_{n})\) for some \(r_{0}>0\) then (I) is valid in \((x_{1},\ldots,x_{n})\) for all \(0< r\leq r_{0}\). Similarly, if (RI) is valid in \((x_{1},\ldots,x_{n})\) for some \(r_{0}>0\) then (RI) is valid in \((x_{1},\ldots,x_{n})\) for all \(r>r_{0}\).
We think that the way how to classify sets of solutions of the power-exponential inequalities could be used for other suitable inequalities.
Now we give examples of concrete applications of our results. We make the complete classification of sets of solutions for (I) and (RI) inequalities where \(n=2\). Using Matlab for plotting graphs of the solution curves for the characteristic equations \(g(X)=0\), \(h(X)=0\) we obtain the following figures for (I) and (RI). In the figures we denote by \(I+\mathit{RI}\) the points where (I) and also (RI) are locally valid. By I we denote points where (I) is valid for all \(r>0\) and by RI we denote points where (RI) is valid for all \(r>0\).
It is easy to show that for \(n=2\) there are only 12 basic cases of inequalities (I). The other four cases of (I) can be transformed to the previous cases.
Example 1
Example 2
Example 3
Example 4
Example 5
Example 6
Example 7
See Figure 1.
Example 8
See Figure 1.
Example 9
Example 10
Example 11
See Figure 1.
Example 12
Notes
Declarations
Acknowledgements
The work was supported by VEGA grant no. 1/0649/17 and KEGA grant no. 007TnUAD-4/2017. The author thanks Professor Ondrušová, Dean of the faculty FPT TnUAD in Púchov, Professor Vavro and Ing. Balážová for their kind support and he is deeply grateful to the unknown reviewer for valuable remarks and suggestions.
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.
Authors’ Affiliations
References
- Cîrtoaje, V: Proofs of three open inequalities with power exponential functions. J. Nonlinear Sci. Appl. 4(2), 130-137 (2011) MathSciNetMATHGoogle Scholar
- Coronel, A, Huancas, F: The proof of three power exponential inequalities. J. Inequal. Appl. 2014, 509 (2014). http://www.journalofinequalitiesandapplications.com/content/2014/1/509 MathSciNetView ArticleMATHGoogle Scholar
- Matejíčka, L: Proof of one open inequality. J. Nonlinear Sci. Appl. 7, 51-62 (2014). http://www.tjnsa.com MathSciNetMATHGoogle Scholar
- Matejíčka, L: On the Cîrtoaje’s conjecture. J. Inequal. Appl. 2016, 152 (2016). doi:https://doi.org/10.1186/s13660-016-1092-2 View ArticleMATHGoogle Scholar
- Matejíčka, L: Some remarks on Cîrtoaje’s conjecture. J. Inequal. Appl. 2016, 269 (2016). doi:https://doi.org/10.1186/s13660-016-1211-0 View ArticleMATHGoogle Scholar
- Matejíčka, L: On one interesting inequality. Surv. Math. Appl. 11, 1842-6298 (2016) Google Scholar
- Miyagi, M, Nishizawa, Y: A stronger inequality of Cîrtoaje’s one with power exponential functions. J. Nonlinear Sci. Appl. 8, 224-230 (2015). http://www.tjnsa.com MathSciNetMATHGoogle Scholar