# On the Cîrtoaje’s conjecture

## Abstract

In this paper, we prove the Cîrtoaje conjecture under other conditions.

## 1 Introduction and preliminaries

Within the past years, the power exponential functions have been the subject of very intensive research. Many problems concerning inequalities for the power exponential functions look so simple, but their solutions are not as simple as it seems. A lot of interesting results for inequalities with the power exponential functions have been obtained. The history and a literature review of inequalities with power exponential functions can be found for example in . Some other interesting problems concerning stronger inequalities of power exponential functions can be found in . In the paper, we study one inequality conjectured by Cîrtoaje . Cîrtoaje, in , has posted the following conjecture on the inequalities with power exponential functions.

### Conjecture 1.1

If $$a,b \in(0; 1]$$ and $$r \in[0; e]$$, then

$$2\sqrt{a^{ra}b^{rb}}\geq a^{rb}+b^{ra}.$$
(1.1)

The conjecture was proved by Matejíčka . In , Coronel and Huancas posted several conjectures for inequalities with the power exponential functions. Some of them are not valid as was shown by the unknown referee of this paper. We note that Theorems 1.2, 1.3, Lemma 3.1, Conjectures 3.1 and 3.2 in  are not valid. With the referee’s kind permission we present his counterexample: $$n=3$$, $$x_{1}=\frac{1}{3}$$, $$x_{2}=\frac{1}{9}$$, $$x_{3}=\frac{2}{3}$$, $$r=\frac{5}{2}$$, when

$$x_{1}^{rx_{1}}+x_{2}^{rx_{2}}+x_{3}^{rx_{3}}< x_{1}^{rx_{2}}+x_{2}^{rx_{3}}+x_{3}^{rx_{1}}.$$

In this paper, we show that the conjecture (1.1) is also valid under the conditions: $$1\leq\min^{2}\{a,b\}\leq\max\{a,b\}$$ or $$0<\min\{a,b\}\leq2/e$$ and $$\max\{a,b\}\geq1$$, or $$0<\min\{a,b\}\leq e$$, $$\max\{a,b\}\geq e$$, and $$r \in[0; e]$$.

## 2 Main results

### Theorem 2.1

Let a, b be positive numbers. The inequality

$$2\sqrt{a^{ra}b^{rb}}\geq a^{rb}+b^{ra}$$
(2.1)

holds for any $$r\in\langle 0,e\rangle$$ if one of the following three conditions is satisfied:

\begin{aligned}& \mathrm{(a)}\quad a\geq b^{2}\geq1; \\& \mathrm{(b)}\quad a\geq1\geq\frac{e}{2}b; \\& \mathrm{(c)}\quad a\geq e\geq b. \end{aligned}

### Proof

According to the power mean inequality, it suffices to consider the case where r has the maximum value, that is $$r=e$$. Without loss of generality, suppose $$a\geq b$$ and denote

$$H(x)=2\sqrt{x^{ex}b^{eb}}-x^{eb}-b^{ex}.$$

An easy calculation gives

\begin{aligned} &{H'(x)}=e\bigl(x^{\frac{ex}{2}}b^{\frac{eb}{2}}(\ln x+1)-bx^{eb-1}-b^{ex}\ln b\bigr), \\ &{H''(x)}=e \biggl(x^{\frac{ex}{2}}b^{\frac {eb}{2}} \biggl(\frac{e(\ln x+1)^{2}}{2}+\frac{1}{x} \biggr)-b(eb-1)x^{eb-2}-eb^{ex} \ln ^{2} b \biggr). \end{aligned}

Solution for (a): $$a\geq b^{2}\geq1$$.

Suppose $$x\geq b^{2}\geq1$$. We show $${H''(x)}\geq0$$, $${H(b^{2})}\geq 0$$, and $${H'(b^{2})}\geq0$$. It implies $$H(a)\geq0$$ for $$a\geq b^{2}\geq1$$.

It is easy to see that $$\frac{1}{e}{H''(x)}\geq U+V$$, where

\begin{aligned} &U=x^{\frac{ex}{2}}b^{\frac{eb}{2}}e\ln b-eb^{ex}\ln ^{2} b, \\ &V=x^{\frac{ex}{2}}b^{\frac{eb}{2}} \biggl(\frac{e\ln ^{2}b}{2}+\frac{e}{2} \biggr)+x^{\frac{ex}{2}-1}b^{\frac{eb}{2}}- eb^{2}x^{eb-2}+bx^{eb-2}. \end{aligned}

Similarly, we estimate

$$U\geq eb^{ex}\ln b \bigl(b^{\frac{eb}{2}}-\ln b \bigr)\geq eb^{ex}\ln b.$$

It follows from

$$f(b)=\frac{eb}{2}\ln b-\ln(1+\ln b)\geq0,$$

because of

$$f'(b)=\frac{eb(1+\ln b)^{2}-2}{2b(1+\ln b)}\geq0, \quad f(1)=0.$$

Next we estimate

\begin{aligned} V&= x^{eb-2} \biggl(x^{\frac{ex}{2}-eb+2}b^{\frac {eb}{2}} \biggl( \frac{e\ln^{2}b}{2}+\frac{e}{2} \biggr)+x^{\frac {ex}{2}+1-eb}b^{\frac{eb}{2}}- eb^{2}+b \biggr)\\ &\geq x^{eb-2} \biggl(b^{eb^{2}-2eb+4+\frac{eb}{2}} \biggl(\frac {e\ln^{2}b}{2}+ \frac{e}{2} \biggr)+b^{eb^{2}+2-2eb+\frac{eb}{2}}- eb^{2}+b \biggr). \end{aligned}

Using

\begin{aligned} & l(b)=eb^{2}-2eb+4+\frac{eb}{2}\geq\frac{8-e}{2},\qquad m(b)=eb^{2}-2eb+2+\frac{eb}{2}\geq\frac{4-e}{2}, \\ &l'(b)=2eb-2e+\frac{e}{2}> 0,\qquad m'(b)=2eb-2e+ \frac{e}{2}> 0,\qquad l(1)=\frac{8-e}{2}, \\ &m(1)=\frac{4-e}{2},\qquad \frac{8-e}{2}>\frac{5}{2},\qquad \frac {4-e}{2}>\frac{1}{2}, \end{aligned}

we have $${H''(x)}\geq0$$ for $$x\geq b^{2}\geq1$$ if

$$p(b)=\frac{e}{2}b^{\frac{5}{2}}-eb^{2}+b+b^{\frac{1}{2}}\geq0.$$

Put $$u=b^{1/2}$$ then we obtain $$p(b)\geq1$$ if

$$k(u)=\frac{e}{2}u^{4}-eu^{3}+u+1\geq0.$$

It is easy to see that $$k'(u)=0$$ if

$$q(u)=2eu^{3}-3eu^{2}+1=0.$$

From Cardano’s formula we see that the root of $$q(u)$$ is equal to $$u=1.4071$$. From $$k(1.4071)=0.5602$$ and from $$k''(u)=6eu^{2}-6eu\geq0$$ we have $$k(u)\geq0$$ for $$u\geq1$$. So $${H''(x)}\geq0$$ for $$x\geq b^{2}\geq1$$.

Now we show $${H'(b^{2})}\geq0$$.

Some calculation gives

$${H'\bigl(b^{2}\bigr)}=e \bigl(b^{eb^{2}+\frac{eb}{2}}(2\ln b+1)-b^{2eb-1}-b^{eb^{2}}\ln b \bigr).$$

From this we have $${H'(b^{2})}\geq0$$ if

$$\bigl(b^{eb^{2}+\frac{eb}{2}}-b^{eb^{2}} \bigr)\ln b+b^{eb^{2}+\frac{eb}{2}}(\ln b+1)-b^{2eb-1}\geq0.$$

Rewriting this we obtain $${H'(b^{2})}\geq0$$ if

$$b^{2eb-1} \bigl(b^{eb^{2}+\frac{eb}{2}-2eb+1}(\ln b+1)-1 \bigr)+b^{eb^{2}}\ln b \bigl(b^{\frac{eb}{2}}-1 \bigr)\geq0.$$

But this will be fulfilled if

$$b^{eb^{2}-3\frac{eb}{2}+1}(\ln b+1)-1\geq0.$$

This is equivalent to

$$o(b)= \biggl(eb^{2}-3\frac{eb}{2}+1 \biggr)\ln b+\ln (\ln b+1) \geq0.$$

Using $$\ln b\geq\frac{b-1}{b}$$ we have $$o(b)\geq0$$ if we show that

$$s(b)= \biggl(eb^{2}-3\frac{eb}{2} \biggr)\ln b+\ln (2b-1)\geq0.$$

An easy calculation gives

$$s'(b)= \biggl(2eb-3\frac{e}{2} \biggr)\ln b+eb-3 \frac {e}{2}+\frac{2}{2b-1}.$$

Because of $$s(1)=0$$ it suffices to show that $$eb-3\frac{e}{2}+\frac {2}{2b-1}\geq0$$. But this is evident from $$2-\frac{e}{2}\geq0$$ and $$eb-3\frac{e}{2}+\frac{2}{2b-1}=\frac {1}{2b-1} (2e(b-1)^{2}+2-\frac{e}{2} )$$.

Now we show that $${H(b^{2})}\geq0$$.

An easy calculation gives

$${H\bigl(b^{2}\bigr)}=2b^{eb^{2}}b^{\frac{eb}{2}}-b^{eb^{2}}-b^{2eb}=b^{2eb} \bigl(2b^{eb^{2}+\frac{eb}{2}-2eb}-b^{eb^{2}-2eb}-1 \bigr)\geq0$$

if

$$2b^{eb^{2}+\frac{eb}{2}-2eb}-b^{eb^{2}-2eb}=b^{eb^{2}-2eb} \bigl(2b^{\frac{eb}{2}}-1 \bigr)\geq1.$$

It suffices to show that $$2b^{\frac{eb}{2}}-1\geq b^{e}$$ because of

$$b^{eb^{2}-2eb} \bigl(2b^{\frac{eb}{2}}-1 \bigr)\geq b^{e(b-1)^{2}}\geq1.$$

Denote $$F(b)=2b^{\frac{eb}{2}}-b^{e}$$. Then

$$F'(b)=e \bigl(b^{\frac{eb}{2}}(\ln b+1)-b^{e-1} \bigr).$$

Because of $$F(1)=1$$ it suffices to show that $$F'(b)\geq0$$. We will be done if we show that

$$s(b)= \biggl(\frac{eb}{2}-e \biggr)\ln b+\ln(2b-1)\geq0.$$

We used $$\ln b\geq(b-1)/b$$. Because of $$s(1)=0$$ it suffices to show that

$$s'(b)=\frac{e}{2}\ln b+\frac{2eb^{2}+b(4-5e)+2e}{2b(2b-1)}\geq0.$$

But this is evident because of $$j(b)=2eb^{2}+b(4-5e)+2e\geq0$$. ($$j(1)=4-e\geq0$$, $$j'(1)=4-e\geq0$$, $$j''(b)=4e\geq0$$.)

Solution for (b): $$a\geq1\geq\frac{e}{2}b$$.

If $$b\leq2/e$$ and $$x\geq1$$ then it suffices to show that

$${H'(x)}=e\bigl(x^{\frac{ex}{2}}b^{\frac{eb}{2}}(\ln x+1)-bx^{eb-1}-b^{ex}\ln b\bigr)\geq0$$

and $$H(1)\geq0$$.

It is evident that $${H'(x)}\geq0$$ if

$$x^{\frac{ex}{2}-eb+1}b^{\frac{eb}{2}-1}(\ln x+1)\geq1.$$

It follows from $$\frac{ex}{2}-eb+1\geq0$$ and from $$\frac {eb}{2}-1\leq0$$. Finally, we show that $$H(1)\geq0$$. Denote $$v(b)=2b^{\frac{eb}{2}}-1-b^{e}$$.

Then we have $$v(2/e)=4/e-1-(2/e)^{e}=0.0373$$. If we show $$v'(b)\leq0$$ then the conjecture will be proved. An easy calculation gives

$$v'(b)=e \bigl(b^{\frac{eb}{2}}(\ln b+1)-b^{e-1} \bigr).$$

$$v'(b)\leq0$$ if

$$b^{\frac{eb}{2}-e+1}(\ln b+1)\leq1.$$

If $$0\leq b\leq1/e$$ then the inequality is evident. Let $$1/e\leq b\leq 2/e$$, then $$v'(b)\leq0$$ if

$$s(b)= \biggl(\frac{eb}{2}-e+1 \biggr)\ln b+\ln(\ln b+1)\leq0.$$

Numerical calculation shows that $$s(2/e)=-0.1461$$. So it suffices to show that

$$s'(b)=\frac{e}{2}\ln b+ \biggl(\frac{eb}{2}-e+1 \biggr) \frac{1}{b}+\frac{1}{\ln b+1}\frac{1}{b}\geq0.$$

This is equivalent to

$$\frac{1}{2}(\ln b+1)+\frac{1}{1+\ln b}+1-e\geq 0.$$
(2.2)

(We used $$eb/2\geq1/2$$.)

Put $$t=1+\ln b$$. Then (2.2) can be rewritten as

$$\frac{1}{t}m(t)=\frac{1}{t} \bigl(t^{2}+2(1-e)t+2 \bigr) \geq0$$

for $$0< t\leq\ln2$$. From $$m'(t)=2t+2(1-e)\leq-2.0503<0$$ and from $$m(\ln2)=\ln ^{2}2+2+2(1-e)\ln 2=0.0984\geq0$$ we see that the proof of the case (b) is complete.

Solution for (c) $$a\geq e\geq b$$.

It suffices to show that $$\sqrt{a^{ra}b^{rb}}\geq a^{rb}$$ and $$\sqrt{a^{ra}b^{rb}}\geq b^{ra}$$. The first inequality is equivalent to

$$a^{a-b}\geq \biggl(\frac{a}{b} \biggr)^{b},$$

or

$$a^{x-1}\geq x,\qquad x=\frac{a}{b}\geq1.$$

Indeed, we have

$$a^{x-1}\geq e^{x-1}\geq x.$$

The second inequality is equivalent to

$$\frac{b}{a}^{a}b^{a-b}\leq1,$$

or

$$xb^{1-x}\leq1,\qquad x=\frac{b}{a}\leq1.$$

Indeed we have

$$xb^{1-x}\leq xe^{1-x}\leq1.$$

This completes our proof. □

### Note 2.1

We note that the proof of the case (c) originates from an unknown reviewer. His proof of (c) is more elegant and his formulation of (c) is more general than ours.

### Note 2.2

We note that

$$2\sqrt{10^{e10}5^{e5}}-10^{e5}-5^{e10}=-5.6e18,$$

which implies that the inequality (1.1) is not valid for all $$a,b\geq0$$.

The referee’s counterexample implies that (1.1) cannot be generalized for $$n=3$$.

## References

1. 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

2. 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

3. Cîrtoaje, V: Proofs of three open inequalities with power exponential functions. J. Nonlinear Sci. Appl. 4(2), 130-137 (2011)

4. Matejíčka, L: Proof of one open inequality. J. Nonlinear Sci. Appl. 7, 51-62 (2014) http://www.tjnsa.com

## Acknowledgements

The work was supported by VEGA grant No. 1/0385/14. The author thanks the faculty FPT TnUAD in Púchov, Slovakia for its kind support and he is deeply grateful to the unknown reviewer for his valuable remarks, suggestions, and some generalization in the Theorem 2.1, for his kind permission to publish his counterexample, his version of the proof of (c) in Theorem 2.1.

## Author information

Authors

### Corresponding author 