4
$\begingroup$

Prove $(x+y)^{x+y}\ge x^x y^y$, subject to constraints $x>1$ and $y>1$. More generally, what other functions besides $x^x$ and $x\ln(x)$ satisfy this inequality? (I vaguely remember a paper where a well known distribution measure, which name unfortunately escapes me, was considered together with standard entropy).

Edit: For $x\ln(x)$ we are looking into $(x+y)\ln(x+y)\ge x\ln(x) + y\ln(y)$. In fact, here is original formulation of the problem: "Prove that the standard partition lattice order is consistent with total order of partition entropy values". The second part of my question is if there is alternative function on set partitions which agrees with lattice of partitions.

Edit2: I was looking into Gini Index: $\displaystyle\sum\limits_{i=0}^n p_i(1-p_i)$.

  • 3
    Since $(x+y)^{x+y}=(x+y)^x(x+y)^y$ and $x,y$ are both positive, what can we conclude?2012-01-25
  • 0
    @Fortuon Paendrag: Please make that an answer!2012-01-25
  • 0
    @AndréNicolas:Oh, ok. I was trying not to give away the answer so soon. But I will assume that enough time has elapsed.2012-01-25
  • 0
    $x\ln(x)$ does not always satisfy the inequality $f(x+y) \ge f(x)f(y)$: for example $7 \ln(7) \lt 3\ln(3) \times 4\ln(4)$.2012-01-25
  • 0
    $k^x$ turns the inequality into an equality.2012-01-25

2 Answers 2