In fact it's my point of view but I think that this version of Niculescu's inequality is a mixture between Karamata and Jensen's inequality .

So we have :

Let $f(x)$ be a convex strictly decreasing function on an interval $I$, $x_i$ and $y_i$ be positives reals numbers belonging to $I$ , and $p_i>0$ be the coefficients such that $\sum_{i=1}^{n}p_i=1$ then we have : $$\sum_{i=1}^{n}p_if(y_i)-f(\sum_{i=1}^{n} p_i y_i)\geq \sum_{i=1}^{n}p_if(x_i)-f(\sum_{i=1}^{n} p_i x_i) $$

With the Condition $$\sum_{i=1}^{k}p_i x_i\geq \sum_{i=1}^{k}p_i y_i$$ With : $1\leq k \leq n$

My First question : Is this theorem true ? And have some literature on this ?

If it's true I have a proof for the following inequality :

$$j(\frac{x_1^{q+1}}{k x_1^{q}+ p x_2^{q}}+\cdots+\frac{x_n^{q+1}}{k x_n^{q}+ p x_1^{q}})\geq \sum_{i=1}^{n} x_i$$ With $j=k+p$ positive real numbers and $q$ a natural positive number .

My try :

Let the following substitution coming :


After simplify (dividing) the inequality by a $x_i$ ( you have $n$ choice ) the form of the inequality becomes :

$$j(\frac{\alpha_1}{k + p a_1^{q}}+\cdots+\frac{\alpha_n}{k + p a_n^{q}})\geq \sum_{i=1}^{n} \alpha_i$$

With $\alpha_1=1$

$\alpha_2=a_1$ and

$\alpha_k=\prod_{i=1}^{k-1} a_i$

Now we divide by $\sum_{i=1}^{n} \alpha_n$ we get :

$$j(\frac{p_1}{k + p a_1^{q}}+\cdots+\frac{p_n}{k + p a_n^{q}})\geq 1$$ With $$p_i=\frac{\alpha_i}{\sum_{i=1}^{n} \alpha_i}$$ Now we apply the theorem of Niculescu to the function :

$-F(x)$ such that :

$$F'(x)=j(\frac{1}{k + p x^{q}})$$

We know that $F(x)$ is increasing and concave .

With :





Now remains to divide by epsilon the inequality and make the difference between each summand with the same index and take the limit for $\epsilon$ to zero and apply the Fondamental theorem of Calculus .I let the end to the reader .

My last question : Is my proof right ?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.