Неравенство о средних степенных

Неравенство о средних степенных (также известно как неравенство Коши для средних степенных, неравенство о средних степенных или обобщённое неравенство о средних) — это фундаментальное математическое утверждение, устанавливающее монотонную зависимость среднего степенного (степенного среднего) от показателя степени. Оно гласит, что для любого набора положительных чисел среднее степенное с большим показателем степени не меньше среднего степенного с меньшим показателем, причём равенство достигается только в случае, когда все числа равны.

Определение среднего степенного

Пусть задан набор положительных действительных чисел \(x_1, x_2, \dots, x_n\) (где \(n \ge 1\)). Для любого действительного числа \(k \neq 0\) среднее степенное порядка \(k\) (или \(k\)-е среднее) определяется как:

\[ M_k(x_1, \dots, x_n) = \left( \frac{1}{n} \sum_{i=1}^{n} x_i^k \right)^{1/k}. \]

Для \(k = 0\) среднее степенное определяется как предел при \(k \to 0\) и равно среднему геометрическому:

\[ M_0(x_1, \dots, x_n) = \lim_{k \to 0} M_k = \left( \prod_{i=1}^{n} x_i \right)^{1/n}. \]

Для \(k = +\infty\) и \(k = -\infty\) средние определяются как предел:

\[ M_{+\infty}(x_1, \dots, x_n) = \max(x_1, \dots, x_n), \quad M_{-\infty}(x_1, \dots, x_n) = \min(x_1, \dots, x_n). \]

Формулировка неравенства

Неравенство о средних степенных утверждает, что функция \(k \mapsto M_k\) является неубывающей на всей числовой прямой (включая бесконечности). То есть для любых действительных чисел \(p\) и \(q\) таких, что \(p < q\), выполняется:

\[ M_p(x_1, \dots, x_n) \le M_q(x_1, \dots, x_n), \]

причём равенство имеет место тогда и только тогда, когда все числа \(x_1, \dots, x_n\) равны между собой.

Частные случаи

Неравенство о средних степенных объединяет в себе множество классических неравенств между различными средними:

• Неравенство между средним арифметическим и средним геометрическим (неравенство Коши): \(M_1 \ge M_0\), то есть:

\[ \frac{x_1 + \dots + x_n}{n} \ge \sqrt[n]{x_1 \cdots x_n}. \]

• Неравенство между средним квадратическим и средним арифметическим: \(M_2 \ge M_1\), то есть:

\[ \sqrt{\frac{x_1^2 + \dots + x_n^2}{n}} \ge \frac{x_1 + \dots + x_n}{n}. \]

• Неравенство между средним гармоническим и средним геометрическим: \(M_{-1} \le M_0\), то есть:

\[ \frac{n}{\frac{1}{x_1} + \dots + \frac{1}{x_n}} \le \sqrt[n]{x_1 \cdots x_n}. \]

• Неравенство между средним гармоническим, средним геометрическим и средним арифметическим (классическая цепочка):

\[ M_{-1} \le M_0 \le M_1. \]

Доказательство

Существует несколько подходов к доказательству неравенства о средних степенных. Наиболее распространённые основаны на:

1. Неравенстве Йенсена: Для выпуклых функций. Функция \(f(t) = \ln M_k(t)\) оказывается выпуклой по \(t\), что позволяет установить монотонность.
2. Неравенстве Гёльдера: Используется для перехода от одного показателя к другому.
3. Неравенстве между средними арифметическим и геометрическим: Применяется в комбинации с логарифмированием и предельными переходами.

Идея доказательства через неравенство Йенсена

Рассмотрим два показателя \(p < q\). Для положительных чисел \(x_i\) можно показать, что функция \(\phi(t) = \ln M_t\) является выпуклой. Тогда по неравенству Йенсена для выпуклых функций:

\[ \phi\left( \frac{p+q}{2} \right) \le \frac{\phi(p) + \phi(q)}{2}. \]

Это приводит к неравенству \(M_{(p+q)/2} \le \sqrt{M_p M_q}\), что после возведения в степень и логарифмирования даёт монотонность. Более строгое доказательство использует тот факт, что производная \(\frac{d}{dk} \ln M_k\) неотрицательна.

Обобщения и вариации

Взвешенное среднее степенное

Для набора положительных чисел с весами \(w_i > 0\), \(\sum w_i = 1\), взвешенное среднее степенное определяется как:

\[ M_k^{(w)}(x_1, \dots, x_n) = \left( \sum_{i=1}^{n} w_i x_i^k \right)^{1/k}. \]

Неравенство о средних степенных сохраняется и для взвешенного случая: \(M_p^{(w)} \le M_q^{(w)}\) при \(p < q\).

Неравенство для матриц

Для положительно определённых матриц существует аналог неравенства о средних степенных, известный как неравенство Лёвнера-Хайнца. Оно утверждает, что для эрмитовых матриц \(A\) и \(B\) функция \(t \mapsto (A^t B A^t)^{1/t}\) является монотонной по \(t\).

Неравенство для интегралов

Для функций на отрезке с положительными значениями среднее степенное порядка \(k\) определяется как:

\[ M_k(f) = \left( \frac{1}{b-a} \int_a^b f(x)^k \, dx \right)^{1/k}. \]

Неравенство о средних степенных для интегралов также справедливо и является частным случаем неравенства Гёльдера.

Применение

Неравенство о средних степенных широко используется в различных областях математики:

• Теория вероятностей и математическая статистика: При сравнении моментов распределений. Например, из неравенства следует, что среднее квадратическое отклонение не меньше среднего абсолютного отклонения.
• Анализ: При доказательстве других неравенств, таких как неравенство Коши — Буняковского, неравенство Минковского, неравенство Гёльдера.
• Оптимизация: В задачах нахождения экстремумов функций, где требуется сравнивать средние значения.
• Физика: В статистической механике при вычислении средних по ансамблю частиц.
• Экономика: При анализе неравенства доходов (например, сравнение среднего арифметического и среднего геометрического доходов).

История

Неравенство между средним арифметическим и средним геометрическим было известно ещё в античности (например, в «Началах» Евклида). В общем виде неравенство о средних степенных было сформулировано и доказано французским математиком Огюстеном Луи Коши в 1821 году в его работе «Курс анализа». Позднее оно было обобщено на случай произвольных весов и интегральных форм. В XX веке неравенство получило дальнейшее развитие в рамках теории выпуклых функций и функционального анализа.

Примеры

Пример 1: Два числа

Для двух положительных чисел \(a\) и \(b\) (\(a \neq b\)) неравенство о средних степенных даёт цепочку:

\[ \min(a,b) < \frac{2ab}{a+b} < \sqrt{ab} < \frac{a+b}{2} < \sqrt{\frac{a^2+b^2}{2}} < \max(a,b). \]

Пример 2: Числа 1, 2, 3

Для чисел 1, 2, 3 вычислим несколько средних:

• \(M_{-1} = \frac{3}{\frac{1}{1} + \frac{1}{2} + \frac{1}{3}} = \frac{3}{1 + 0.5 + 0.333...} = \frac{3}{1.833...} \approx 1.636\)
• \(M_0 = \sqrt[3]{1 \cdot 2 \cdot 3} = \sqrt[3]{6} \approx 1.817\)
• \(M_1 = \frac{1+2+3}{3} = 2\)
• \(M_2 = \sqrt{\frac{1^2+2^2+3^2}{3}} = \sqrt{\frac{1+4+9}{3}} = \sqrt{\frac{14}{3}} \approx 2.160\)

Неравенство выполняется: \(1.636 < 1.817 < 2 < 2.160\).

Интересные факты

• Неравенство о средних степенных является частным случаем более общего неравенства Мюрхеда, которое сравнивает средние степенные с разными наборами показателей.
• В случае, когда все числа равны, все средние степенные совпадают, что даёт единственное условие равенства.
• Для отрицательных показателей \(k\) среднее степенное определяется только для положительных чисел, так как возведение в отрицательную степень нуля или отрицательных чисел приводит к неопределённостям.