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

Bất đẳng thức Rogers-Hölder • Bất đẳng thức Otto Hölder

Bất đẳng thức Hölder là một trong những bất đẳng thức kinh điển và quan trọng nhất của toán học giải tích, được nhà toán học người Đức Otto Hölder công bố vào năm 1889. Tuy nhiên, một phiên bản tương tự đã được Leonard James Rogers tìm ra trước đó một năm. Dù có tranh luận về lịch sử, nhưng cái tên “Hölder” đã trở nên phổ biến toàn cầu nhờ việc Otto Hölder đặt bất đẳng thức này vào bối cảnh của lý thuyết hàm số lồi. Trong toán học Olympiad, đây là công cụ mạnh mẽ nhất để xử lý các biểu thức không đồng bậc và là chìa khóa mở ra thế giới của giải tích hàm và không gian $L_p$.

Định vị kiến thức

Bất đẳng thức Hölder là một công cụ mạnh mẽ khi cần chứng minh các bất đẳng thức khác, đóng vai trò cầu nối logic giữa đại số sơ cấp và giải tích hàm hiện đại. Đây là dạng tổng quát hóa trực tiếp của bất đẳng thức Cauchy-Schwarz quen thuộc, đồng thời là nền tảng tất yếu để chứng minh bất đẳng thức Minkowski — dạng bất đẳng thức tam giác trong không gian $L_p$. Để làm chủ kiến thức này, cần xây dựng nền tảng từ bất đẳng thức Young và lý thuyết hàm lồi (bất đẳng thức Jensen).

Trong môi trường Toán Olympiad, Hölder được xem là công cụ “phân loại thí sinh” cực mạnh, thường xuyên xuất hiện trong các kỳ thi Học sinh giỏi Quốc gia, Chọn đội tuyển TST và Olympic Toán học Quốc tế. Nó đặc biệt hiệu quả khi xử lý các biểu thức chứa số mũ hữu tỉ hoặc có cấu trúc không đồng bậc — những dạng toán mà các bất đẳng thức kinh điển khác thường rơi vào bế tắc nếu không qua bước biến đổi phức tạp.

Lý thuyết

Cho các số thực không âm a_1, a_2, \dots, a_n và b_1, b_2, \dots, b_n. Nếu p và q là hai số thực dương thỏa mãn điều kiện:

\frac{1}{p} + \frac{1}{q} = 1 với p > 1

Khi đó, ta có bất đẳng thức:

\sum_{k=1}^n a_k b_k \leq \left( \sum_{k=1}^n a_k^p \right)^{1/p} \left( \sum_{k=1}^n b_k^q \right)^{1/q}

Dấu đẳng thức xảy ra khi và chỉ khi hai dãy a_k^p và b_k^q tỉ lệ thuận với nhau, tức là tồn tại các hằng số \alpha, \beta không đồng thời bằng 0 sao cho \alpha a_k^p = \beta b_k^q với mọi k = 1, \dots, n.

Chứng minh

• Ý tưởng
Sử dụng bất đẳng thức Young: ab \leq \frac{a^p}{p} + \frac{b^q}{q} và kỹ thuật chuẩn hóa dãy số.

• Chứng minh
1. Xét trường hợp nếu \sum a_k^p = 0 hoặc \sum b_k^q = 0, bất đẳng thức trở nên hiển nhiên vì cả hai vế đều bằng 0.
2. Giả sử các tổng trên đều dương. Đặt:

A = \left( \sum_{k=1}^n a_k^p \right)^{1/p} và B = \left( \sum_{k=1}^n b_k^q \right)^{1/q}

3. Thay các biến mới a = \frac{a_\nu}{A} và b = \frac{b_\nu}{B} vào bất đẳng thức Young cho từng chỉ số \nu:

\frac{a_\nu b_\nu}{AB} \leq \frac{1}{p} \frac{a_\nu^p}{A^p} + \frac{1}{q} \frac{b_\nu^q}{B^q}

4. Lấy tổng hai vế theo chỉ số \nu từ 1 đến n:

\frac{\sum a_\nu b_\nu}{AB} \leq \frac{1}{p} \frac{\sum a_\nu^p}{A^p} + \frac{1}{q} \frac{\sum b_\nu^q}{B^q}

5. Vì \sum a_\nu^p = A^p và \sum b_\nu^q = B^q, vế phải trở thành \frac{1}{p}(1) + \frac{1}{q}(1) = 1.
6. Từ đó ta có \sum a_\nu b_\nu \leq AB, đây chính là điều phải chứng minh.

Hệ quả

• Bất đẳng thức Cauchy-Schwarz: Khi chọn p = q = 2, ta thu được dạng quen thuộc:

\sum a_k b_k \leq \sqrt{\sum a_k^2} \sqrt{\sum b_k^2}

• Bất đẳng thức Hölder đảo: Nếu một trong hai số p hoặc q âm (khi đó số còn lại phải nằm trong khoảng từ 0 đến 1), bất đẳng thức sẽ đổi chiều:

\sum_{k=1}^n a_k b_k \geq \left( \sum_{k=1}^n a_k^p \right)^{1/p} \left( \sum_{k=1}^n b_k^q \right)^{1/q}

• Bất đẳng thức Minkowski: Hệ quả quan trọng nhất của Hölder là dùng để thiết lập tính chất của chuẩn trong không gian L^p:

\left( \sum_{k=1}^n (a_k + b_k)^p \right)^{1/p} \leq \left( \sum_{k=1}^n a_k^p \right)^{1/p} + \left( \sum_{k=1}^n b_k^p \right)^{1/p}

Ví dụ

Kỹ thuật chính khi dùng Hölder là phân tách các số hạng sao cho các số mũ p, q triệt tiêu được các căn thức hoặc lũy thừa phức tạp trong bài toán.

• Ví dụ
Chứng minh rằng với x, y, z > 0 thì (x^3+y^3+z^3)(1+1+1)^2 \geq (x+y+z)^3.

• Giải
Áp dụng bất đẳng thức Hölder cho hai dãy:
– Dãy 1: (x, y, z) với số mũ p=3.
– Dãy 2: (1, 1, 1) với số mũ q=3/2 (thỏa mãn 1/3 + 2/3 = 1).

Ta có:

\sum x \cdot 1 \leq \left( \sum x^3 \right)^{1/3} \left( \sum 1^{3/2} \right)^{2/3}

Lũy thừa bậc 3 hai vế:

(x+y+z)^3 \leq (x^3+y^3+z^3) \cdot 3^2

Đây chính là kỹ thuật dùng dãy số phụ (dãy toàn số 1) để hạ bậc lũy thừa hoặc triệt tiêu căn thức thường gặp trong các bài thi Olympic.

Tài liệu liên quan

Đề thi

Tạp chí

Đọc thêm

• Wolfram MathWorld: Hölder’s Inequality
• Art of Problem Solving: Holder’s Inequality Wiki
• Encyclopedia of Mathematics: Hölder inequality
• Brilliant: Hölder’s Inequality