 Research
 Open Access
 Published:
The proof of three powerexponential inequalities
Journal of Inequalities and Applications volume 2014, Article number: 509 (2014)
Abstract
In this paper we prove three powerexponential inequalities for positive real numbers. In particular, we conclude that this proofs give affirmatively answers to three, until now, open problems (Conjectures 4.4, 2.1 and 2.2) posed by Cîrtoaje (J. Inequal. Pure Appl. Math. 10:21, 2009; J. Nonlinear Sci. Appl. 4(2):130137, 2011). Moreover, we present a new proof of the inequality {a}^{ra}+{b}^{rb}\ge {a}^{rb}+{b}^{ra} for all positive real numbers a and b and r\in [0,e]. In addition, three new conjectures are presented.
1 Introduction
The powerexponential functions have useful applications in mathematical analysis and in other theories like statistics [1], biology [2, 3], optimization [4], ordinary differential equations [5], and probability [6]. In recent years there has been intensive research in this area; see for instance [7–17] and the recent overview on general mathematical inequalities done by Cerone and Dragomir [18]. Some problems look like very simple but are difficult. For instance, we have the following two classical problems: find the solution of the equation z{e}^{z}=a and the basic problem of comparing {a}^{b} and {b}^{a} for all positive real numbers a and b. The first problem is perhaps one of the most ancient and useful problems concerning to powerexponential functions; see for instance [19–21]. It was introduced by Lambert in [22] and has been studied by recognized mathematicians like Euler, Pólya, Szegö, and Knuth; see [23–25]. The solution to the problem has inspired the definition of the wellknown WLambert function; see [26]. For the solution to the second problem, see the discussion given in [27, 28] and more recently in [16]. Moreover, in spite of its algebraic simplicity, both problems are the central topic of a large number of research papers in the last years (see [7, 11, 13] and references therein). In particular, in this paper, we are interested in some inequalities conjectured by Cîrtoaje in [12, 29], which are very close to the second problem. To be more specific, we start by recalling that in [30] was introduced and probed the following assertion: the inequality {a}^{a}+{b}^{b}\ge {a}^{b}+{b}^{a} holds for all positive real numbers less than or equal to 1. After that, Cîrtoaje [12] introduced, proved and conjectured several results about inequalities for powerexponential functions. In particular, in [12], it was established that the inequality
holds true for r\in [0,e] and for either a\ge b\ge 1/e or 1/e\ge a\ge b>0. However, in [12], Cîrtoaje leaves as an open problem the proof of (1.1) for 1>a>1/e>b>0. Moreover, in [12] the following conjectures were introduced:
Conjecture 4.3. If a, b, c are positive real numbers, then {a}^{2a}+{b}^{2b}+{c}^{2c}\ge {a}^{2b}+{b}^{2c}+{c}^{2a}.
Conjecture 4.4. Let r be a positive real number. The inequality
holds true for all positive real numbers a, b, c with a\le b\le c if and only if r\le e.
Conjecture 4.6. Let r be a positive real number. The inequality {a}^{ra}+{b}^{ra}\ge 2 holds for all nonnegative real numbers a and b if and only if r\le 3.
Conjecture 4.7. If a and b are nonnegative real numbers such that a+b=2, then {a}^{3b}+{b}^{3a}+{2}^{4}{(ab)}^{4}\ge 2.
Conjecture 4.8. If a and b are nonnegative real numbers such that a+b=1, then {a}^{2b}+{b}^{2a}\le 1.
Afterwards, the analysis of (1.1) was completed by Manyama in [14]. Thereafter, of the Cîrtoaje conjectures, the milestones of the history are the works of Coronel and Huancas [13], Matejíčka [31], Li [9] and Hisasue [10] (see also the work of Cîrtoaje [29]), where they proved Conjectures 4.3, 4.6, 4.7, and 4.8, respectively. Here, we should be comment that the proof of Conjecture 4.4 is still open. Subsequently, in 2011 Cîrtoaje introduced a new proof of (1.1) and presented the following three new conjectures:
Conjecture 2.1. If a,b\in \phantom{\rule{0.2em}{0ex}}]0,1] and r\in \phantom{\rule{0.2em}{0ex}}]0,e], then 2\sqrt{{a}^{ra}{b}^{rb}}\ge {a}^{rb}+{b}^{ra}.
Conjecture 2.2. If a,b,c\in \phantom{\rule{0.2em}{0ex}}]0,1], then 3{a}^{a}{b}^{b}{c}^{c}\ge {(abc)}^{a}+{(abc)}^{b}+{(abc)}^{c}.
Conjecture 5.1. If a, b are nonnegative real numbers satisfying a+b=1, and if k\ge 1, then {a}^{{(2b)}^{k}}+{b}^{{(2a)}^{k}}\le 1.
Recently, Miyagi and Nishizawa [7] have proved Conjecture 5.1. However, Conjectures 2.1 and 2.2 are still open. Thus, the main focus of this paper are the proofs of Conjectures 4.4, 2.1, and 2.2.
The main contribution of the present paper is the development of the proof of the following four theorems:
Theorem 1.1 The inequality (1.1) holds, for all positive real numbers a, b and for all r\in [0,e].
Theorem 1.2 The inequality (1.2) holds, for all positive real numbers a, b, c and for all r\in [0,e].
Theorem 1.3 The inequality
holds, for all positive real numbers a, b and for all r\in [0,e].
Theorem 1.4 Let n\in \mathbb{N} and {x}_{i}\in \phantom{\rule{0.2em}{0ex}}{]0,1]}^{n}. Then the inequality
holds.
Note that Conjectures 4.4, 2.1, and 2.2 are solved by Theorems 1.2, 1.3, 1.4, respectively. Moreover, we develop a proof of Theorem 1.1 which is an alternative proof of (1.1) for all positive real numbers a, b, and r\in [0,e], which is distinct from the existing proofs given in [14, 29].
The rest of the paper is organized in two sections: In Section 2 we present the proofs of Theorems 1.1, 1.2, 1.3 and 1.4 and in Section 3 we present some remarks and three new conjectures.
2 Proofs of main results
In this section we present the proofs of Theorems 1.1, 1.2, 1.3, 1.4. Firstly, we recall a result of [13]. Then we present the corresponding proofs.
2.1 A preliminary result
For completeness and selfcontained structure of the proofs of Theorems 1.1 and 1.2, we need the following result of [13].
Proposition 2.1 Consider s\in {\mathbb{R}}^{+} with s\ne 1, m\in {\mathbb{R}}^{+} and f,g:{\mathbb{R}}^{+}\to \mathbb{R} defined as follows:
Then the following properties are satisfied:

(i)
f(\gamma )=0 and f(0)=f(1)={\gamma}^{s}+\gamma.

(ii)
If s>1, f is strictly increasing on ]g(s),\mathrm{\infty}[ and strictly decreasing on ]0,g(s)[.

(iii)
If s\in \phantom{\rule{0.2em}{0ex}}]0,1[, f is strictly decreasing on ]g(s),\mathrm{\infty}[ and strictly increasing on ]0,g(s)[.

(iv)
g is continuous on {\mathbb{R}}^{+}\cup \{0\} and strictly increasing on {\mathbb{R}}^{+}. Furthermore y=1 is a horizontal asymptote of y=g(t).
2.2 Proof of Theorem 1.1
Without loss of generality, we assume that a>b. Indeed, we find the proof (1.1) by application of Proposition 2.1 with t={a}^{rb}, \gamma ={b}^{rb}, and s=a/b. Indeed, we distinguish three cases
(a_{2}) Case a>b>1 (t>\gamma >1 and s>1). By Proposition 2.1(iv), we note that g(s)<1. Then, by the strictly increasing behavior of f (Proposition 2.1(ii)) we deduce the inequality since:
(b_{2}) Case a>1\ge b (t>1\ge \gamma and s>1). For \gamma \in [g(s),1], we conclude the inequality by almost identical arguments to that used before in (i), since t>1\ge \gamma \ge g(s) and s>1. Otherwise, if \gamma \in [0,g(s)], we deduce that
which implies the desired inequality.
(c_{2}) Case 1>a>b>0 (1>t>\gamma >0 and s>1). First, we define h:[0,1]\to \mathbb{R} by the correspondence rule h(t)=rtlnt for t>0 and h(0)=0. The function h is concave and has a maximum at (1/e,r/e). Thus, we deduce that
Secondary, by the Napier inequality [32]
From (2.1) and (2.2) we have
which implies \gamma >g(s). The proof of this case is completed by application of Proposition 2.1(ii).
Hence, by (a_{2}), (b_{2}), and (c_{2}) we conclude that Theorem 1.1 is valid.
2.3 Proof of Theorem 1.2
The proof of this theorem is again developed by application of Proposition 2.1. Firstly, we recall the notation of [13]:
The family \{{\mathbb{E}}_{1},{\mathbb{E}}_{a}^{+},{\mathbb{E}}_{a}^{},{\mathbb{E}}_{b}^{+},{\mathbb{E}}_{b}^{},{\mathbb{E}}_{c}^{+},{\mathbb{E}}_{c}^{}\} is a set partition of {\mathbb{R}}_{+}^{3}. Now, with this notation, we subdivide the proof in three parts:
(a_{3}) Case (a,b,c)\in {\mathbb{E}}_{1}. This special case is a direct consequence of Theorem 1.1.
(b_{3}) Case (a,b,c)\in {\mathbb{E}}_{a}^{+}\cup {\mathbb{E}}_{b}^{+}\cup {\mathbb{E}}_{c}^{+}. If (a,b,c)\in {\mathbb{E}}_{a}^{+}, we apply Theorem 1.1 and Proposition 2.1 as follows. We select t={a}^{rb}, \gamma ={c}^{rb} and s=a/b, the monotonic behavior and properties of function f, defined on Proposition 2.1, imply that
since t>\gamma, t>1 and s>1. Indeed, the corresponding proof of (2.3) needs the distinction of two cases: c\ge 1 and c<1. If c\ge 1, then \gamma >1 and \gamma \in \phantom{\rule{0.2em}{0ex}}]g(s),\mathrm{\infty}[, so f is strictly increasing and t>\gamma implies (2.3). For c<1, we note that \gamma <1 and {\gamma}^{s}+\gamma \ge 0 since s>1 and 1\in \phantom{\rule{0.2em}{0ex}}]g(s),\mathrm{\infty}[, then the assumption t>1 implies that f(t)>f(1)={\gamma}^{s}+\gamma \ge 0=f(\gamma ) and (2.3) is again true for this subcase. Moreover, for (a,b,c)\in {\mathbb{E}}_{a}^{+}\subset {\mathbb{R}}_{+}^{3}, by Theorem 1.1, we recall that the inequality
holds true for all r\in [0,e]. Adding (2.3) and (2.4) we deduce (1.2).
The proof for (a,b,c)\in {\mathbb{E}}_{b}^{+}\cup {\mathbb{E}}_{c}^{+} is similar to the case (a,b,c)\in {\mathbb{E}}_{a}^{+} and we omit the details. However, we comment that for (a,b,c)\in {\mathbb{E}}_{b}^{+} we choose t={b}^{rc}, \gamma ={c}^{2c}, and s=b/c; and for (a,b,c)\in {\mathbb{E}}_{c}^{+} we select t={c}^{ra}, \gamma ={b}^{ra}, and s=c/a.
(c_{3}) Case (a,b,c)\in {\mathbb{E}}_{a}^{}\cup {\mathbb{E}}_{b}^{}\cup {\mathbb{E}}_{c}^{}. Without loss of generality, we assume that (a,b,c)\in {\mathbb{E}}_{a}^{} is such that c<b<a, since the proof for b<c<a is similar. We note that \mathrm{\Omega}=[0,e]\times [0,1] can be partitioned in the two sets
Now, we continue the proof by distinguish the following two subcases: (r,c)\in {\mathrm{\Omega}}_{1} and (r,c)\in {\mathrm{\Omega}}_{2}.
For the subcase (r,c)\in {\mathrm{\Omega}}_{1}, we apply the function f given on Proposition 2.1 with t={b}^{rc}, \gamma ={c}^{rc}, and s=a/c to prove
Indeed, we firstly note that the function m:[c,1]\to \mathbb{R} defined as follows: m(z)=z{c}^{rz}{c}^{rc+1} has the following properties:
(m_{ a }) m(c)=0;
(m_{ b }) m(1)={c}^{r}(1{c}^{rc+1r})\ge 0 for all (r,c)\in {\mathrm{\Omega}}_{1} since c>(r1)/r; and
(m_{ c }) m has a maximum at {z}_{max}=1/rlnc, since the first and second derivatives of m are given by {m}^{\prime}(z)={c}^{rz}(1+rzlnc) and {m}^{\u2033}(z)={c}^{rz}(2r+rzlnc)lnc and naturally {m}^{\prime}({z}_{max})=0 and {m}^{\u2033}({z}_{max})<0.
Moreover, we notice that {z}_{max}\ge c is equivalent to 1>rclnc, which is true for r\in [0,e] and c\in [0,1]; see the proof of (2.1). Then, by (m_{ a })(m_{ c }), it follows that m(z)\ge 0, for all z\in [c,1]. In particular, for z=a, we have
Now, from (2.6), we note that
which implies (2.5) by application of Proposition 2.1(ii), since t>\gamma >g(s) and f is increasing on ]g(s),\mathrm{\infty}[.
For the subcase (r,c)\in {\mathrm{\Omega}}_{2}, we apply the function f given on Proposition 2.1 with t={b}^{rc}, \gamma ={c}^{rc}, and s=a/c to prove
We note that the inequality {c}^{rc}>{c}^{r1} holds true for all (r,c)\in {\mathrm{\Omega}}_{2}. Now, in order to deduce that \gamma >g(s) it is sufficient to prove that {c}^{r1}>g(s). Indeed, the function q:[c,1]\to \mathbb{R} defined as q(z)={c}^{(1r)z}{z}^{c}{c}^{c+c(1r)} has the following properties:
(q_{ a }) q(c)=0;
(q_{ b }) q(1)={c}^{1r}(1{c}^{c+(c1)(1r)})\ge 0 for all (r,c)\in {\mathrm{\Omega}}_{2}, since c\in [0,(r1)/r]; and
(q_{ c }) q is increasing in [c,1].
Then we deduce that q(z)\ge 0 for all z\in [c,1]. In particular, for z=a\in [c,1], we deduce that {c}^{(1r)a}{a}^{c}{c}^{c+c(1r)}\ge 0, which implies the following sequence of implications:
Thus (2.8) holds true.
From (2.5) and (2.8), we deduce that
Hence, to complete the proof for 0<c<b<a<1, we add the inequality (2.9) with {a}^{ra}+{b}^{rb}>{a}^{rb}+{b}^{ra} for r\in [0,e], which is true by Theorem 1.1.
For (a,b,c)\in {\mathbb{E}}_{b}^{}\cup {\mathbb{E}}_{c}^{} we can follow line by line the proof of (a,b,c)\in {\mathbb{E}}_{a}^{}. However, we can obtain a direct proof by applying the result obtained for (a,b,c)\in {\mathbb{E}}_{a}^{} by interchanging the role of variables. For instance, if (a,b,c)\in {\mathbb{E}}_{b}^{} then (b,a,c)\in {\mathbb{E}}_{a}^{}, which implies (1.2).
Hence, by (a_{3}), (b_{3}), and (c_{3}) we have the complete proof of Theorem 1.2.
2.4 Proof of Theorem 1.3
Given b\in \phantom{\rule{0.2em}{0ex}}]0,1], we define the function H:\phantom{\rule{0.2em}{0ex}}]0,1]\to \mathbb{R} as follows:
Then we prove that H(x)>0 for all x\in \phantom{\rule{0.2em}{0ex}}]0,1], which naturally implies the inequality 2\sqrt{{a}^{ra}{b}^{rb}}\ge {a}^{rb}+{b}^{ra} for x=a. Indeed, we prove that the function H has a global minimum at x=b. The fact that in x=b there is a local minimum of H follows by noticing that {H}^{\prime}(b)=0 and {H}^{\u2033}(b)>0, since
Meanwhile, the property that b is a global minimum of H can be proved by rewriting {H}^{\prime} as the difference of two functions and by analyzing the sign of {H}^{\prime} using some properties of this new functions. Indeed, to be more specific, we note that {H}^{\prime}(x)=r[K(x)Q(x)] for all x\in \phantom{\rule{0.2em}{0ex}}]0,1], where the functions K and Q are defined as follows:
The functions K and Q have the following properties:
(K_{1}) K is strictly increasing on ]0,1], since {K}^{\prime}(x)=\sqrt{{x}^{rx}{b}^{rb}}\{r{(lnx+1)}^{2}+{x}^{1}\}>0, for all x\in \phantom{\rule{0.2em}{0ex}}]0,1].
(K_{2}) K(x)\to \mathrm{\infty} when x\to {0}^{+}, K(1/e)=0, and K(1)=\sqrt{{b}^{rb}}.
(Q_{1}) The derivative of Q is given by {Q}^{\prime}(x)=r{b}^{rx}{(lnb)}^{2}+b(rb1){x}^{rb2}, for all x\in \phantom{\rule{0.2em}{0ex}}]0,1]. Then, in order to analyze the sign of {Q}^{\prime}, we introduce the set \mathrm{\Lambda}=\phantom{\rule{0.2em}{0ex}}]0,1]\times \phantom{\rule{0.2em}{0ex}}]0,e] and a partition \{{\mathrm{\Lambda}}_{1},{\mathrm{\Lambda}}_{2},{\mathrm{\Lambda}}_{3}\} of Λ, where
We note that the sets {\mathrm{\Lambda}}_{i}, i=1,2,3, are not empty since for instance ]0,1[\phantom{\rule{0.2em}{0ex}}\times [1/b,e]\subset {\mathrm{\Lambda}}_{1} for all b\in \phantom{\rule{0.2em}{0ex}}]0,1], \{1\}\times \phantom{\rule{0.2em}{0ex}}]0,1[\phantom{\rule{0.2em}{0ex}}\subset {\mathrm{\Lambda}}_{2} and ]0,1[\phantom{\rule{0.2em}{0ex}}\times \{1\}\subset {\mathrm{\Lambda}}_{3}. Moreover, we note that rb>1 implies that (b,r)\in {\mathrm{\Lambda}}_{1} and naturally {\mathrm{\Lambda}}_{2}\cup {\mathrm{\Lambda}}_{3} is a subset of ]0,1]\phantom{\rule{0.2em}{0ex}}\times \phantom{\rule{0.2em}{0ex}}]0,1/b[. The uniqueness of c can be deduced by noticing that the solution of {Q}^{\prime}(x)=0 is equivalent to the intersection of the following two monotone functions: S(x)=r{b}^{rx}{(lnb)}^{2} and J(x)=b(1rb){x}^{rb2}.
(Q_{2}) Q(x)\to lnb when x\to {0}^{+}, and Q(1)={b}^{r}lnb+b.
From (K_{1}) and (Q_{1}) we deduce the uniqueness of b\in \phantom{\rule{0.2em}{0ex}}]0,1] such that Q(b)=K(b) or equivalently {H}^{\prime}(b)=0. Now, from (K_{2}) and (Q_{2}), we note that Q({0}^{+})>K({0}^{+}) for all (r,b)\in \mathrm{\Lambda} since K({0}^{+})=\mathrm{\infty}. Then {H}^{\prime}(x)<0 for all x\in \phantom{\rule{0.2em}{0ex}}]0,b[. Additionally, from (K_{2}) and (Q_{2}), we observe that Q(1)<K(1). This fact is a consequence of the fact that the function F(w,r)=\sqrt{{w}^{rw}}{w}^{r}ln(w)w is strictly decreasing in r, since {F}_{r}(w,r)=ln(w)((r/2)\sqrt{{w}^{rw}}{w}^{r}ln(w))<0. Consequently, for r<e we have F(w,r)>F(w,e)=\sqrt{{w}^{ew}}{w}^{e}ln(w)w>0 for all w\in \phantom{\rule{0.2em}{0ex}}]0,1]. Hence, for w=b we get F(b,r)>0 or Q(1)<K(1), which implies that {H}^{\prime}(x)>0 for all x\in \phantom{\rule{0.2em}{0ex}}]b,1]. Thus, b is a global minimum of H. Therefore, H(x)\ge H(b)=0 for all x\in \phantom{\rule{0.2em}{0ex}}]0,1] and in particular for x=a.
2.5 Proof of Theorem 1.4
The proof follows by the fact that the function P:\phantom{\rule{0.2em}{0ex}}{]0,1]}^{n1}\to \mathbb{R} is defined by the following correspondence rule:
and it has a global minimum at ({z}_{1},\dots ,{z}_{n1})=({x}_{n},\dots ,{x}_{n}). Indeed, for simplicity of notation we develop the details of the proof for n=3 and with ({x}_{1},{x}_{2},{x}_{3})=(a,b,c). Note that, in this case for an arbitrary c\in \phantom{\rule{0.2em}{0ex}}]0,1], the function P:\phantom{\rule{0.2em}{0ex}}{]0,1]}^{2}\to \mathbb{R} has the following form:
Then we have
An evaluation at (c,c) implies that
Now, defining {\mathbb{P}}_{1}(w)=6w{(ln(w))}^{2}+4 and {\mathbb{P}}_{2}(w)=27{w}^{2}{(lnw)}^{4}24w{(lnw)}^{2}+4, we observe that {P}_{xx}(c,c)={c}^{3c1}{\mathbb{P}}_{1}(c) and {P}_{xx}(c,c){P}_{yy}(c,c){P}_{xy}(c,c){P}_{xy}(c,c)={c}^{2(3c1)}{\mathbb{P}}_{2}(c). Then the Hessian matrix associated to P at (c,c) is positive semidefinite since both functions, {\mathbb{P}}_{1} and {\mathbb{P}}_{2}, are positive on ]0,1] or equivalently the function P has a local minimum at (c,c). Now, we deduce that (c,c) is the global minimum since we can prove that (c,c) is the unique solution of ({P}_{x},{P}_{y})=(0,0). Indeed, assuming that there is (x,y) with x\ne y\ne c such that {P}_{x}(x,y)={P}_{y}(x,y)=0, we can deduce a contradiction. Note that
since the inequality ln(r)>(r1)/r holds for all r>0 and r\ne 1 (see for instance [27]). Then x=y, which is a contradiction with the assumption that x\ne y. Thus, we see that (c,c) is a global minimum of the function P or equivalently P(x,y)\ge P(c,c)=0 for all (x,y)\in \phantom{\rule{0.2em}{0ex}}{]0,1]}^{2}, which implies the desired inequality for (x,y)=(a,b).
3 Additional remarks on possible generalizations
In this section we present the possible extensions of Theorems 1.1, 1.2, and 1.3 to a sequence of positive real numbers. We note that the natural generalizations of (1.2) and (1.3) are given by
respectively. We present a partial proof of (3.1) (see Lemma 3.1, below) and leave as a conjecture the proof of (3.2).
Lemma 3.1 The inequality given in (3.1) holds for all r\in [0,e], if we restrict ({x}_{1},\dots ,{x}_{n}) to the hypercube {[0,1]}^{n}.
Proof Before we start the proof, we notice that the function \mathrm{\Upsilon}(x,y)={x}^{a/b}x{y}^{a/b}+y defined from {\mathbb{R}}_{+}^{2}\to \mathbb{R} and for a>b is concave and \mathrm{\Upsilon}(0,0)=\mathrm{\Upsilon}(1,0)=\mathrm{\Upsilon}(0,1)=\mathrm{\Upsilon}(1,1)=0. Then \mathrm{\Upsilon}(x,y)\ge 0 for all (x,y)\in [0,1]\times [0,1]. Similarly, the function {\mathrm{\Upsilon}}_{s}(w,z)=\mathrm{\Upsilon}(z,w) for a<b is concave and {\mathrm{\Upsilon}}_{s}(w,z)\ge 0 for all (w,z)\in [0,1]\times [0,1]. Now, we proceed by induction on n. Let us assume that the theorem is valid for a sequence of positive numbers ({x}_{1},\dots ,{x}_{k}) for all k<n. We note that
The terms {\mathbb{K}}_{1} and {\mathbb{K}}_{2} are positive by the inductive hypothesis. Meanwhile, the term {\mathbb{K}}_{3} is positive by the concavity of the functions ϒ and {\mathrm{\Upsilon}}_{s}. Note that a={x}_{n1} and b={x}_{n}, and {\mathbb{K}}_{3}=\mathrm{\Upsilon}({x}_{n}^{r{x}_{1}},{x}_{n1}^{r{x}_{1}}) or {\mathbb{K}}_{3}={\mathrm{\Upsilon}}_{s}({x}_{n1}^{r{x}_{1}},{x}_{n}^{r{x}_{1}}), depending if {x}_{n1}>{x}_{1} or {x}_{n1}<{x}_{1}, respectively. Then, by (3.3), it follows that the lemma is valid. □
Conjecture 3.1 Let n\in \mathbb{N} and n>4. Then the inequality (3.1) holds for all ({x}_{1},\dots ,{x}_{n})\in {\mathbb{R}}_{+}^{n} and r\in [0,e].
Conjecture 3.2 Let n\in \mathbb{N} and n\ge 3. Then the inequality (3.2) holds for all r\in [0,e].
Conjecture 3.3 Let n\in \mathbb{N} and {x}_{i}\in \phantom{\rule{0.2em}{0ex}}{]0,1]}^{n}. Then the inequality
holds for all r\in [0,e].
References
Dahmani A, Karima Belaide K: Exponential inequalities in calibration problems with gaussians errors. Commun. Stat., Theory Methods 2013,42(19):35963607. 10.1080/03610926.2011.635257
Hou Q, Lin Z, Dusing RW, Gajewski BJ, Mccallum RW: A bayesian hierarchical assessment of gastric emptying with the linear, power exponential and modified power exponential models. Neurogastroenterology & Motility 2010,22(12):13081317. 10.1111/j.13652982.2010.01572.x
Floyd BNI, Camilleri M, Andresen V, Esfandyari T, Busciglio I, Zinsmeister AR: Comparison of mathematical methods for calculating colonic compliance in humans: power exponential, computerbased and manual linear interpolation models. Neurogastroenterology & Motility 2008,20(4):330335. 10.1111/j.13652982.2007.01024.x
Park JS, Baek J: Efficient computation of maximum likelihood estimators in a spatial linear model with power exponential covariogram. Comput. Geosci. 2001,27(1):17. 10.1016/S00983004(00)000169
Bruno AD: Powerexponential expansions of solutions to an ordinary differential equation. Dokl. Math. 2012,85(3):336340. 10.1134/S106456241203009X
Fan X, Grama I, Liu Q: Large deviation exponential inequalities for supermartingales. Electron. Commun. Probab. 2012,17(59):18.
Miyagi M, Nishizawa Y: A short proof of an open inequality with powerexponential functions. Aust. J. Math. Anal. Appl. 2014. Article ID 6, 11(1): Article ID 6
Miyagi M, Nishizawa Y: Proof of an open inequality with double powerexponential functions. J. Inequal. Appl. 2013. Article ID 468, 2013: Article ID 468
Li Y: Solutions of two conjectures on inequalities with powerexponential functions. RGMIA Res. Rep. Collect. 2009. Article ID 7, 12(4): Article ID 7
Hisasue M: Solution of inequalities with powerexponential functions by Cîrtoaje. Aust. J. Math. Anal. Appl. 2012. Article ID 4, 9(2): Article ID 4
Cîrtoaje V: Proofs of three open inequalities with powerexponential functions. J. Nonlinear Sci. Appl. 2011,4(2):130137.
Cîrtoaje V: On some inequalities with powerexponential functions. J. Inequal. Pure Appl. Math. 2009. Article ID 21, 10(1): Article ID 21
Coronel A, Huancas F:On the inequality {a}^{2a}+{b}^{2b}+{c}^{2c}\ge {a}^{2b}+{b}^{2c}+{c}^{2a}. Aust. J. Math. Anal. Appl. 2012. Article ID 3, 9(1): Article ID 3
Manyama S: Solution of one conjecture on inequalities with powerexponential functions. Aust. J. Math. Anal. Appl. 2010. Article ID 1, 7(2): Article ID 1
Matejíčka L: On an open problem posed in the paper ‘Inequalities of powerexponential functions’. J. Inequal. Pure Appl. Math. 2008. Article ID 75, 9(3): Article ID 75
Qi F, Debnath L: Inequalities for powerexponential functions. J. Inequal. Pure Appl. Math. 2000. Article ID 15, 1(2): Article ID 15
Qi F, Xu SL:The function ({b}^{x}{a}^{x})/x: inequalities and properties. Proc. Am. Math. Soc. 1998,126(11):33553359. 10.1090/S0002993998044426
Cerone P, Dragomir SS: Mathematical Inequalities. CRC Press, Boca Raton; 2011.
Wright EM:Solution of the equation z{e}^{z}=a. Proc. R. Soc. Edinb., Sect. A 1959, 65: 193203.
Wright EM:Solution of the equation z{e}^{z}=a. Bull. Am. Math. Soc. 1959, 65: 8993. 10.1090/S000299041959102901
Wright EM:Solution of the equation (pz+q){e}^{z}=rz+s. Bull. Am. Math. Soc. 1960, 66: 277281. 10.1090/S000299041960104697
Lambert, JH: Observations variae in mathesin puram. Acta Helvitica, PhysicoMathematicoAnatomicoBotanicoMedica 63, 128168 (1758)
Euler, J: De serie lambertina plurimisque eius insignibus proprietatibus. Acta Acad. Scient. Petropol. 2, 2951 (1783)
Pólya G, Szegő G: Aufgaben und Lehrsätze aus der Analysis. Band II: Funktionentheorie, Nullstellen, Polynome Determinanten, Zahlentheorie. Springer, Berlin; 1971.
Corless RM, Gonnet GH, Hare DEG, Jeffrey DJ, Knuth DE: On the Lambert W function. Adv. Comput. Math. 1996,5(4):329359.
Hoorfar A, Hassani M: Inequalities on the Lambert W function and hyperpower function. J. Inequal. Pure Appl. Math. 2008. Article ID 51, 9(2): Article ID 51
Bullen PS Pitman Monographs and Surveys in Pure and Applied Mathematics 97. In A Dictionary of Inequalities. Longman, Harlow; 1998.
Luo J, Wen JJ:A powermean discriminance of comparing {a}^{b} and {b}^{a}. In Research Inequalities. Edited by: Yand XZ. People’s Press of Tibet, The People’s Republic of China; 2000:8388.
Cîrtoaje V: Proofs of three open inequalities with powerexponential functions. J. Nonlinear Sci. Appl. 2011,4(2):130137.
zeikii, A, Cîrtoaje, V, Berndt, B:. Mathlinks Forum. http://www.mathlinks.ro/Forum/viewtopic.php?t=118722 (2006). Accessed November 2006
Matejíčka L: Solution of one conjecture on inequalities with powerexponential functions. J. Inequal. Pure Appl. Math. 2009,10(3):15.
Nelsen RB: Napier’s inequality (two proofs). Coll. Math. J. 1993. Article ID 165, 24(2): Article ID 165
Acknowledgements
We acknowledge the support of ‘Univesidad del BíoBío’ (Chile) through the research projects 124109 3/R, 104709 01 F/E, and 121909 GI/C.
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 (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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
Coronel, A., Huancas, F. The proof of three powerexponential inequalities. J Inequal Appl 2014, 509 (2014). https://doi.org/10.1186/1029242X2014509
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2014509
Keywords
 power inequalities
 exponential inequalities
 powerexponential inequalities