Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Jensen's Inequality"

(→‎Proof)
(→‎Proof)
Line 23: Line 23:
 
By the fundamental theorem of calculus, we have
 
By the fundamental theorem of calculus, we have
 
<cmath>\int_{x_i}^{\bar{x}} F'(t) \, dt = F(\bar{x}) - F(x_i) .</cmath>
 
<cmath>\int_{x_i}^{\bar{x}} F'(t) \, dt = F(\bar{x}) - F(x_i) .</cmath>
−
Evaluating the integrals, the last two inequalities both result in
+
Evaluating the integrals, each of the last two inequalities implies the same result:
 +
<cmath>F(\bar{x})-F(x_i) \ge F'(\bar{x})(\bar{x}-x_i)</cmath>
 +
so this is true for all <math>x_i</math>. Then we have
 
<cmath>
 
<cmath>
 
\begin{align*}
 
\begin{align*}

Revision as of 08:28, 31 July 2020

Jensen's Inequality is an inequality discovered by Danish mathematician Johan Jensen in 1906.

Inequality

Let ${F}$ be a convex function of one real variable. Let $x_1,\dots,x_n\in\mathbb R$ and let $a_1,\dots, a_n\ge 0$ satisfy $a_1+\dots+a_n=1$. Then


$F(a_1x_1+\dots+a_n x_n)\le a_1F(x_1)+\dots+a_n F(x_n)$


If ${F}$ is a Concave Function, we have:


$F(a_1x_1+\dots+a_n x_n)\ge a_1F(x_1)+\dots+a_n F(x_n)$


Proof

We only prove the case where $F$ is concave. The proof for the other case is similar.

Let $\bar{x}=\sum_{i=1}^n a_ix_i$. As $F$ is concave, then its derivative $F'$ is monotonically decreasing. We consider two cases.

If $x_i \le \bar{x}$, then \[\int_{x_i}^{\bar{x}} F'(t) \, dt \ge \int_{x_i}^{\bar{x}} F'(\bar{x}) \, dt .\] If $x_i > \bar{x}$, then \[\int_{\bar{x}}^{x_i} F'(t) \, dt \le \int_{\bar{x}}^{x_i} F'(\bar{x}) \, dt .\] By the fundamental theorem of calculus, we have \[\int_{x_i}^{\bar{x}} F'(t) \, dt = F(\bar{x}) - F(x_i) .\] Evaluating the integrals, each of the last two inequalities implies the same result: \[F(\bar{x})-F(x_i) \ge F'(\bar{x})(\bar{x}-x_i)\] so this is true for all $x_i$. Then we have \begin{align*} && F(\bar{x})-F(x_i) &\ge F'(\bar{x})(\bar{x}-x_i) \\ \Longrightarrow && a_i F(\bar{x}) - a_i F(x_i) &\ge F'(\bar{x})(a_i\bar{x}-a_i x_i) && \text{as } a_i>0 \\ \Longrightarrow && F(\bar{x}) - \sum_{i=1}^n a_i F(x_i) &\ge F'(\bar{x})\left(\bar{x} - \sum_{i=1}^n a_i x_i \right) && \text{as } \sum_{i=1}^n a_i = 1 \\ \Longrightarrow && F(\bar{x}) &\ge \sum_{i=1}^n a_i F(x_i) && \text{as } \bar{x}=\sum_{i=1}^n a_ix_i \end{align*} as desired.

One of the simplest examples of Jensen's inequality is the quadratic mean - arithmetic mean inequality. Take $F(x)=x^2$ (verify that $F'(x)=2x$ and $F''(x)=2>0$) and $a_1=\dots=a_n=\frac 1n$. You'll get $\left(\frac{x_1+\dots+x_n}{n}\right)^2\le \frac{x_1^2+\dots+ x_n^2}{n}$. Similarly, arithmetic mean-geometric mean inequality can be obtained from Jensen's inequality by considering $F(x)=-\log x$.

Problems

Introductory

Prove AM-GM using Jensen's Inequality

Intermediate

  • Prove that for any $\triangle ABC$, we have $\sin{A}+\sin{B}+\sin{C}\leq \frac{3\sqrt{3}}{2}$.
  • Show that in any triangle $\triangle ABC$ we have $\cos {A} \cos{B} \cos {C} \leq \frac{1}{8}$

Olympiad

  • Let $a,b,c$ be positive real numbers. Prove that

$\frac{a}{\sqrt{a^{2}+8bc}}+\frac{b}{\sqrt{b^{2}+8ca}}+\frac{c}{\sqrt{c^{2}+8ab}}\ge 1$ (Source)

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Jensen%27s_Inequality&oldid=129941"