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 "Hlder's inequality"
Line 3: Line 3:
 
<math>\sum_{i =1}^n a_ib_i\leq \left(\sum_{i=1}^n a_i^p\right)^{\frac {1}{p}}\left(\sum _{i =1}^n b_i^q\right)^{\frac {1}{q}}.</math>
 
<math>\sum_{i =1}^n a_ib_i\leq \left(\sum_{i=1}^n a_i^p\right)^{\frac {1}{p}}\left(\sum _{i =1}^n b_i^q\right)^{\frac {1}{q}}.</math>
 
<br>
 
<br>
−
Letting <math>p=q=2</math> in this inequality leads to the Cauchy-Schwarz Inequality.
+
Letting <math>p=q=2</math> in this inequality leads to the [[Cauchy-Schwarz]] Inequality.
 
<br>
 
<br>
 
This can also be generalized further to <math> n</math> sets of variables with a similar form.
 
This can also be generalized further to <math> n</math> sets of variables with a similar form.

Revision as of 17:17, 8 February 2013

The Hölder's Inequality, a generalization of the Cauchy-Schwarz inequality, states that, For all $a_i, b_i > 0 , p,q > 0$ such that $\frac {1}{p}+ \frac {1}{q} =1,$ we have:
$\sum_{i =1}^n a_ib_i\leq \left(\sum_{i=1}^n a_i^p\right)^{\frac {1}{p}}\left(\sum _{i =1}^n b_i^q\right)^{\frac {1}{q}}.$
Letting $p=q=2$ in this inequality leads to the Cauchy-Schwarz Inequality.
This can also be generalized further to $n$ sets of variables with a similar form.

Applications

1. Given $a_i, b_i>0; \ \ i=1,2,\cdots, n$ we have,
$\frac{a_1^k}{b_1}+\frac{a_2^k}{b_2}+\cdots+\frac{a_n^k}{b_n}\geq \frac{\left(a_1+\cdots+a_n\right)^k}{n^{k-2}\cdot\left(b_1+\cdots+b_n\right)}.$

2. Power-mean inequality: For $a_1, a_2,\cdots,a_n>0$ and $k\geq l,$ we have
$\sqrt[k]{\frac{a_1^k+\cdots+a_n^k}{n}}\geq \sqrt[l]{\frac{a_1^l+\cdots+a_n^l}{n}}.$

Retrieved from ""