✨Bất đẳng thức Hölder

Trong giải tích toán học, bất đẳng thức Hölder, đặt theo tên nhà toán học Đức Otto Hölder, là một bất đẳng thức cơ bản liên quan đến các không gian L^p: giả sử S là một không gian đo, với 1 ≤ p, q ≤ ∞ thỏa 1/p + 1/q = 1, đồng thời f thuộc L^p(S) và g thuộc L^q(S). Khi đó fg thuộc L¹(S) và :$|fg|\_1\; \backslash le\; |f|\_p\; |g|\_q.$

Các số p và q nói trên được gọi là liên hợp Holder của lẫn nhau.

Bất đẳng thức Holder được dùng để chứng minh bất đẳng thức tam giác tổng quát trong không gian L^p, bất đẳng thức Minkowski và cũng dùng để chứng minh L^p là đối ngẫu với L^q.

Các trường hợp đặc biệt đáng chú ý

• Với p = q = 2 bất đẳng thức Holder trở thành bất đẳng thức Cauchy-Schwarz.
• Trong trường hợp không gian Euclide, khi tập S là {1,...,n} với một độ đo kiểu đếm, chúng ta có kết quả là với mọi x, y trong Rⁿ (Cⁿ) :$\backslash sum\_\{k=1\}^n\; |x\_k\; y$k| \leq \left(\sum{k=1}^n |xk|^p \right)^{1/p} \left(\sum{k=1}^n |y_k|^q \right)^{1/q}
• Nếu S=N với một độ đo kiểu đếm, khi đó chúng ta có được bất đẳng thức Holder cho các dãy từ không gian lp :$\backslash sum\backslash limits\_\{n=1\}^\{\backslash infty\}\; |x\_n\; \backslash cdot\; y$n| \le \left(\sum\limits{n=1}^{\infty} |xn|^p \right)^{1/p} \cdot \left(\sum\limits{n=1}^{\infty} |y_n|^q \right)^{1/q},\; \forall x \in l^p, y\in l^q.
• Trong trường hợp không gian của các hàm giá trị phức khả tích, chúng ta có

:$\backslash left|\backslash int\; f(x)g(x)\backslash ,dx\backslash right|\backslash leq\backslash left(\backslash int\; \backslash left|f(x)\backslash right|^p\backslash ,dx\; \backslash right)^\{1/p\}\backslash cdot\; \backslash left(\backslash int\backslash left|g(x)\backslash right|^q\backslash ,dx\backslash right)^\{1/q\}.$

• Dạng đại số thường gặp trong chứng minh bất đẳng thức của bất đẳng thức Holder

• Trong trường hợp không gian xác suất $(\backslash Omega,\backslash mathcal\{F\},\backslash mathbb\{P\})$, $L^p(\backslash Omega,\backslash mathcal\{F\},\backslash mathbb\{P\})$ là các ký hiệu để chỉ không gian của các biến ngẫu nhiên với moment p hữu hạn,, trong đó $\backslash mathbb\{E\}$ là ký hiệu chỉ giá trị kỳ vọng. Bất đẳng thức Holder trở thành :$\backslash mathbb\{E\}|XY|\; \backslash le\; \backslash left(\backslash mathbb\{E\}|X|^p\backslash right)^\{1/p\}\; \backslash cdot\; \backslash left(\backslash mathbb\{E\}|Y|^q\; \backslash right)^\{1/q\},\backslash ;\; \backslash forall\; X\; \backslash in\; L^p,\; Y\; \backslash in\; L^q$.

Trường hợp tổng quát

Có thể chứng minh trường hợp tổng quát sau bằng phương pháp quy nạp

Giả sử $p$k\geq 1, k=1,\ldots n sao cho :$\backslash sum${k=1}^n \frac{1}{p_k}=1 Giả sử $u\_k\backslash in\; L^\{p$k}(S). Khi đó ta có $\backslash prod${k=1}^n uk \in L^1(S) và :$\backslash left|\backslash prod${k=1}^n uk\right|{\displaystyle L^1(S)}\leq \prod_{k=1}^n |uk|{\displaystyle L^{p_k}(S)}