Suma de elementos positivos dividida por su producto "ponderado" - desigualdad

Question

Tengo la siguiente expresión,

$$ \frac{\sum_{i=1}^n x_i}{\prod_{i=1}^nx_i^{p_i}} $$

où $p_i$ s satisfacer $\sum p_i = 1$ y $p_i \in [0,1]$ y $x_i\geq0$ , $\forall i \in 1\dots n$ .

Creo que esta expresión es siempre $\geq 1$ Sin embargo, no sé cómo probarlo.

¿Hay algo que pueda concluir?

Gracias.

Answer 1

Concavidad de $\log$ da $$\log\left( \prod_{i=1}^nx_i^{p_i}\right) = \sum_{i=1}^n p_i\log x_i \stackrel{\mbox{concavity}}{\leq} \log\left( \sum_{i=1}^np_i x_i\right) \stackrel{0\leq p_i\leq 1}{\leq} \log\left( \sum_{i=1}^nx_i\right)$$

Answer 2

Aplicando la desigualdad AM-GM ponderada a los pesos $p_1, p_2, \ldots, p_n$ obtenemos \begin{equation} \dfrac{p_1 x_1 + p_2 x_2 + \cdots + p_n x_n}{1} \geq \sqrt[1]{x_1^{p_1} x_2^{p_2} \cdots x_n^{p_n}} \end{equation} (ya que $p_1 + p_2 + \cdots + p_n = \sum_{i=1}^n p_i = 1$ ). Esto se simplifica a \begin{equation} p_1 x_1 + p_2 x_2 + \cdots + p_n x_n \geq x_1^{p_1} x_2^{p_2} \cdots x_n^{p_n} . \end{equation} Por lo tanto, \begin{align} x_1^{p_1} x_2^{p_2} \cdots x_n^{p_n} \leq p_1 x_1 + p_2 x_2 + \cdots + p_n x_n = \sum_{i=1}^n \underbrace{p_i}_{\substack{\leq 1 \\ \text{(since $p_i \in \left[0,1\right]$)}}} x_i \leq \sum_{i=1}^n x_i , \end{align} para que \begin{align} \sum_{i=1}^n x_i \leq x_1^{p_1} x_2^{p_2} \cdots x_n^{p_n} = \prod_{i=1}^n x_i^{p_i} . \end{align}