Skip to main content
Inserted Wikilink for Jensen's inequality
Source Link
Noam D. Elkies
  • 79.9k
  • 15
  • 281
  • 376

We prove strict inequality for $x>1$ and $p>2$. Add $1$ to both sides and divide by $x^p$ to get an equivalent inequality that can be written as $$ \frac{x-1}{x} \left(\frac{x+1}{x}\right)^{p-1} + \frac1x \left( \frac1x \right)^{p-1} \geq 1. $$ Since $p > 2$ the function $f : X \mapsto X^{p-1}$ is strictly convex upwards. The left-hand side is a weighted average $$ \frac{x-1}{x} f\left(\frac{x+1}{x}\right) + \frac1x f\left( \frac1x \right) $$ of values of $f$, with positive weights and evaluated at different $X$'s. Hence by Jensen's inequality it strictly exceeds the value of $f$ at the corresponding weighted average of $X$'s, which is $$ f\left(\frac{x-1}{x} \cdot \frac{x+1}{x} + \frac1x \cdot \frac1x \right) = f(1) = 1, $$ QED.

The same argument shows that the inequality holds for $p<1$, and is reversed for $1 < p < 2$ because then $f$ is concave downwards.

We prove strict inequality for $x>1$ and $p>2$. Add $1$ to both sides and divide by $x^p$ to get an equivalent inequality that can be written as $$ \frac{x-1}{x} \left(\frac{x+1}{x}\right)^{p-1} + \frac1x \left( \frac1x \right)^{p-1} \geq 1. $$ Since $p > 2$ the function $f : X \mapsto X^{p-1}$ is strictly convex upwards. The left-hand side is a weighted average $$ \frac{x-1}{x} f\left(\frac{x+1}{x}\right) + \frac1x f\left( \frac1x \right) $$ of values of $f$, with positive weights and evaluated at different $X$'s. Hence it strictly exceeds the value of $f$ at the corresponding weighted average of $X$'s, which is $$ f\left(\frac{x-1}{x} \cdot \frac{x+1}{x} + \frac1x \cdot \frac1x \right) = f(1) = 1, $$ QED.

The same argument shows that the inequality holds for $p<1$, and is reversed for $1 < p < 2$ because then $f$ is concave downwards.

We prove strict inequality for $x>1$ and $p>2$. Add $1$ to both sides and divide by $x^p$ to get an equivalent inequality that can be written as $$ \frac{x-1}{x} \left(\frac{x+1}{x}\right)^{p-1} + \frac1x \left( \frac1x \right)^{p-1} \geq 1. $$ Since $p > 2$ the function $f : X \mapsto X^{p-1}$ is strictly convex upwards. The left-hand side is a weighted average $$ \frac{x-1}{x} f\left(\frac{x+1}{x}\right) + \frac1x f\left( \frac1x \right) $$ of values of $f$, with positive weights and evaluated at different $X$'s. Hence by Jensen's inequality it strictly exceeds the value of $f$ at the corresponding weighted average of $X$'s, which is $$ f\left(\frac{x-1}{x} \cdot \frac{x+1}{x} + \frac1x \cdot \frac1x \right) = f(1) = 1, $$ QED.

The same argument shows that the inequality holds for $p<1$, and is reversed for $1 < p < 2$ because then $f$ is concave downwards.

Corrected typo: missing f in second display
Source Link
Noam D. Elkies
  • 79.9k
  • 15
  • 281
  • 376

We prove strict inequality for $x>1$ and $p>2$. Add $1$ to both sides and divide by $x^p$ to get an equivalent inequality that can be written as $$ \frac{x-1}{x} \left(\frac{x+1}{x}\right)^{p-1} + \frac1x \left( \frac1x \right)^{p-1} \geq 1. $$ Since $p > 2$ the function $f : X \mapsto X^{p-1}$ is strictly convex upwards. The left-hand side is a weighted average $$ \frac{x-1}{x} f\left(\frac{x+1}{x}\right) + \frac1x \left( \frac1x \right) $$$$ \frac{x-1}{x} f\left(\frac{x+1}{x}\right) + \frac1x f\left( \frac1x \right) $$ of values of $f$, with positive weights and evaluated at different $X$'s. Hence it strictly exceeds the value of $f$ at the corresponding weighted average of $X$'s, which is $$ f\left(\frac{x-1}{x} \cdot \frac{x+1}{x} + \frac1x \cdot \frac1x \right) = f(1) = 1, $$ QED.

The same argument shows that the inequality holds for $p<1$, and is reversed for $1 < p < 2$ because then $f$ is concave downwards.

We prove strict inequality for $x>1$ and $p>2$. Add $1$ to both sides and divide by $x^p$ to get an equivalent inequality that can be written as $$ \frac{x-1}{x} \left(\frac{x+1}{x}\right)^{p-1} + \frac1x \left( \frac1x \right)^{p-1} \geq 1. $$ Since $p > 2$ the function $f : X \mapsto X^{p-1}$ is strictly convex upwards. The left-hand side is a weighted average $$ \frac{x-1}{x} f\left(\frac{x+1}{x}\right) + \frac1x \left( \frac1x \right) $$ of values of $f$, with positive weights and evaluated at different $X$'s. Hence it strictly exceeds the value of $f$ at the corresponding weighted average of $X$'s, which is $$ f\left(\frac{x-1}{x} \cdot \frac{x+1}{x} + \frac1x \cdot \frac1x \right) = f(1) = 1, $$ QED.

The same argument shows that the inequality holds for $p<1$, and is reversed for $1 < p < 2$ because then $f$ is concave downwards.

We prove strict inequality for $x>1$ and $p>2$. Add $1$ to both sides and divide by $x^p$ to get an equivalent inequality that can be written as $$ \frac{x-1}{x} \left(\frac{x+1}{x}\right)^{p-1} + \frac1x \left( \frac1x \right)^{p-1} \geq 1. $$ Since $p > 2$ the function $f : X \mapsto X^{p-1}$ is strictly convex upwards. The left-hand side is a weighted average $$ \frac{x-1}{x} f\left(\frac{x+1}{x}\right) + \frac1x f\left( \frac1x \right) $$ of values of $f$, with positive weights and evaluated at different $X$'s. Hence it strictly exceeds the value of $f$ at the corresponding weighted average of $X$'s, which is $$ f\left(\frac{x-1}{x} \cdot \frac{x+1}{x} + \frac1x \cdot \frac1x \right) = f(1) = 1, $$ QED.

The same argument shows that the inequality holds for $p<1$, and is reversed for $1 < p < 2$ because then $f$ is concave downwards.

Source Link
Noam D. Elkies
  • 79.9k
  • 15
  • 281
  • 376

We prove strict inequality for $x>1$ and $p>2$. Add $1$ to both sides and divide by $x^p$ to get an equivalent inequality that can be written as $$ \frac{x-1}{x} \left(\frac{x+1}{x}\right)^{p-1} + \frac1x \left( \frac1x \right)^{p-1} \geq 1. $$ Since $p > 2$ the function $f : X \mapsto X^{p-1}$ is strictly convex upwards. The left-hand side is a weighted average $$ \frac{x-1}{x} f\left(\frac{x+1}{x}\right) + \frac1x \left( \frac1x \right) $$ of values of $f$, with positive weights and evaluated at different $X$'s. Hence it strictly exceeds the value of $f$ at the corresponding weighted average of $X$'s, which is $$ f\left(\frac{x-1}{x} \cdot \frac{x+1}{x} + \frac1x \cdot \frac1x \right) = f(1) = 1, $$ QED.

The same argument shows that the inequality holds for $p<1$, and is reversed for $1 < p < 2$ because then $f$ is concave downwards.