Difference between revisions of "Karamata's Inequality"
(→Proof) |
Embershed97 (talk | contribs) m (→Proof) |
||
| Line 24: | Line 24: | ||
Therefore, <cmath>\sum_{i=1}^{n}f(a_i) \geq \sum_{i=1}^{n}f(b_i)</cmath> | Therefore, <cmath>\sum_{i=1}^{n}f(a_i) \geq \sum_{i=1}^{n}f(b_i)</cmath> | ||
| − | Thus we have proven Karamat's Theorem | + | Thus, we have proven Karamat's Theorem. |
Revision as of 03:41, 22 June 2023
Karamata's Inequality states that if 
majorizes 
and 
is a convex function, then
![\[\sum_{i=1}^{n}f(a_i)\geq \sum_{i=1}^{n}f(b_i)\]](http://latex.artofproblemsolving.com/8/7/a/87a4a83faeec64d121a46b01a9d9e59fa1e01f1e.png)
Proof
We will first use an important fact:
If 
is convex over the interval 
, then 
and 
, 
This is proven by taking casework on 
. If 
, then
![\[\Gamma(x_1, x)=\frac{f(x_1)-f(x)}{x_1-x}\leq \frac{f(x_2)-f(x)}{x_2-x}=\Gamma(x_2, x)\]](http://latex.artofproblemsolving.com/5/b/a/5ba7af700eda7a71cfae06a5a6f2af0cc3e85608.png)
A similar argument shows for other values of 
.
Now, define a sequence 
such that:
![\[c_i=\Gamma(a_i, b_i)\]](http://latex.artofproblemsolving.com/b/c/4/bc4a41fcf633cc45fc4b425e36bc9dd9658122df.png)
Define the sequences 
such that
![\[A_i=\sum_{j=1}^{i}a_j, A_0=0\]](http://latex.artofproblemsolving.com/6/3/a/63ab8ca2a0e6dabd47a146d887b1aa1edb27cd16.png)
and 
similarly.
Then, assuming 
and similarily with the 
's, we get that 
. Now, we know:
![\[\sum_{i=1}^{n}f(a_i) - \sum_{i=1}^{n}f(b_i)=\sum_{i=1}^{n}f(a_i)-f(b_i)=\sum_{i=1}^{n}c_i(a_i-b_i)=\sum_{i=1}^{n}c_i(A_i-A_{i-1}-B_i+B_{i+1})\]](http://latex.artofproblemsolving.com/3/e/6/3e64c9146d7841436de40d5d5e72757978fdafe3.png)
![\[\sum_{i=1}^{n}c_i(A_i-A_{i-1}-B_i+B_{i+1})=\sum_{i=1}^{n}c_i(A_i-B_i) - \sum_{i=0}^{n-1}c_{i+1}(A_i-B_i)=\sum_{i=0}^{n-1}c_i(A_i-B_i) - \sum_{i=0}^{n-1}c_{i+1}(A_i-B_i)\]](http://latex.artofproblemsolving.com/c/b/a/cba4bc41c9d0d35b27b8ce9431c6c5d39c3f9cf1.png)
![\[\sum_{i=0}^{n-1}c_i(A_i-B_i) - \sum_{i=0}^{n-1}c_{i+1}(A_i-B_i)=\sum_{i=1}^{n}(c_i-c_{i+1})(A_i-B_i)\geq 0\]](http://latex.artofproblemsolving.com/2/0/f/20f7bb1eec5a949d486b9af2e333b6b195dbaa1b.png)
.
Therefore, ![\[\sum_{i=1}^{n}f(a_i) \geq \sum_{i=1}^{n}f(b_i)\]](http://latex.artofproblemsolving.com/a/5/f/a5f3a0bda5405595d581b32b1825d4126963bd36.png)
Thus, we have proven Karamat's Theorem.
This article is a stub. Help us out by expanding it.
