Неравенство Гёльдера для интегралов: формулы и применение

Неравенство Гёльдера - одно из главных «рабочих» неравенств анализа: оно связывает интеграл произведения с раздельными нормами сомножителей и фактически задаёт двойственность между пространствами $L^p$ и $L^q$. Из него выводят неравенство Минковского, доказывают полноту $L^p$, обосновывают интерполяционные теоремы. В частности, при $p = q = 2$ оно превращается в неравенство Коши-Буняковского, а в дискретной форме даёт классическую оценку суммы $\sum |a_k b_k|$ через $\ell^p$- и $\ell^q$-нормы.

Формулировка неравенства Гёльдера

Пусть $(X, \mathcal{A}, \mu)$ - пространство с мерой, $p, q \in [1, \infty]$ - сопряжённые показатели, то есть $\tfrac{1}{p} + \tfrac{1}{q} = 1$. Для измеримых функций $f, g$ справедливо

$\int_X |fg| \, d\mu \le \left(\int_X |f|^p \, d\mu\right)^{1/p} \left(\int_X |g|^q \, d\mu\right)^{1/q}.$

В обозначениях $L^p$-норм это записывают компактно: $\|fg\|_1 \le \|f\|_p \cdot \|g\|_q$. Сопряжённость показателей - ключевое условие: пары $(2, 2)$, $(3, 3/2)$, $(1, \infty)$, $(4, 4/3)$ работают, а пара $(2, 3)$ - уже нет. Случай $p = 1, q = \infty$ интерпретируется через существенный супремум: $\|g\|_\infty = \operatorname*{ess\,sup} |g|$, и неравенство сводится к тривиальной оценке $\int |fg| \le \|g\|_\infty \int |f|$.

Подбор показателей и подстановка

Если непонятно, как выбрать пару $(p, q)$ под конкретную оценку или как именно неравенство «садится» на ваши функции - задай сценарий, $p$ и $f, g$, а в чате разберём подстановку шаг за шагом: проверка сопряжённости, явное вычисление норм, оценка и условие равенства.

Частный случай: неравенство Коши-Буняковского

При $p = q = 2$ показатели тривиально сопряжены ($\tfrac{1}{2} + \tfrac{1}{2} = 1$), и неравенство Гёльдера превращается в классическое неравенство Коши-Буняковского-Шварца:

$\int_X |fg| \, d\mu \le \left(\int_X |f|^2 \, d\mu\right)^{1/2} \left(\int_X |g|^2 \, d\mu\right)^{1/2}.$

В геометрическом языке гильбертова пространства $L^2$ это означает $|\langle f, g \rangle| \le \|f\|_2 \cdot \|g\|_2$ - модуль скалярного произведения не превосходит произведения норм. Именно неравенство Коши-Буняковского чаще всего встречается в учебных задачах по интегралам и рядам Фурье; неравенство Гёльдера - его обобщение, в котором веса распределены не поровну между $f$ и $g$, а смещены в сторону одной из функций.

Дискретная форма

Для последовательностей $\{a_k\}, \{b_k\}$ и сопряжённых $p, q \in [1, \infty]$ при $\tfrac{1}{p} + \tfrac{1}{q} = 1$ выполнено

$\sum_{k} |a_k b_k| \le \left(\sum_{k} |a_k|^p\right)^{1/p} \left(\sum_{k} |a_k|^q\right)^{1/q}.$

Точнее, в правой части второй сомножитель - $\left(\sum_k |b_k|^q\right)^{1/q}$. Это частный случай интегрального неравенства Гёльдера, когда мера $\mu$ - считающая на $\mathbb{N}$: интеграл сводится к сумме, а $L^p$ - к $\ell^p$. Дискретная форма постоянно используется в комбинаторике, теории чисел и оценке остатков рядов; она же стоит за многими «школьными» неравенствами вроде $(\sum a_k)^2 \le n \sum a_k^2$, которое получается при $b_k \equiv 1$ и $p = q = 2$.

Доказательство через неравенство Юнга

Стандартный приём - свести интегральное неравенство к точечному. Неравенство Юнга: для любых $a, b \ge 0$ и сопряжённых $p, q > 1$

$ab \le \frac{a^p}{p} + \frac{b^q}{q}.$

Доказывается из выпуклости логарифма или применением AM-GM к $\tfrac{1}{p}$ и $\tfrac{1}{q}$ как весам. Дальше предположим, что $\|f\|_p, \|g\|_q$ конечны и оба положительны (иначе всё тривиально). Нормируем: положим

$A(x) = \frac{|f(x)|}{\|f\|_p}, \quad B(x) = \frac{|g(x)|}{\|g\|_q}.$

Тогда $\|A\|_p = \|B\|_q = 1$. Применяем Юнга поточечно: $A(x) B(x) \le \tfrac{A(x)^p}{p} + \tfrac{B(x)^q}{q}$, интегрируем по $\mu$:

$\int A \cdot B \, d\mu \le \frac{1}{p} \int A^p \, d\mu + \frac{1}{q} \int B^q \, d\mu = \frac{1}{p} + \frac{1}{q} = 1.$

Подставляя обратно $A, B$, получаем $\int |fg| \le \|f\|_p \|g\|_q$. Случаи $p = 1, q = \infty$ и наоборот разбираются отдельно - там Юнг вырождается, и оценка очевидна напрямую.

Условие равенства

Равенство в неравенстве Гёльдера при $1 < p, q < \infty$ достигается тогда и только тогда, когда $|f|^p$ и $|g|^q$ пропорциональны почти всюду, то есть существуют неотрицательные константы $\alpha, \beta$ (не обе нулевые), такие что

$\alpha |f(x)|^p = \beta |g(x)|^q \quad \mu\text{-п.в.}$

В случае $p = q = 2$ это означает коллинеарность $|f|$ и $|g|$ - стандартное «равенство в Коши-Буняковского». В дискретной форме при $1 < p, q < \infty$: $|a_k|^p = c \cdot |b_k|^q$ для всех $k$ с некоторой константой $c \ge 0$. Проверка этого условия - обязательный шаг в задачах на «найти точную верхнюю границу»: иначе можно получить оценку, но проиграть в константе.

Обобщения

Неравенство Гёльдера допускает несколько важных обобщений.

Для $n$ функций. Если $p_1, \dots, p_n \in [1, \infty]$ и $\sum \tfrac{1}{p_k} = 1$, то

$\int \prod_{k=1}^n |f_k| \, d\mu \le \prod_{k=1}^n \left(\int |f_k|^{p_k} \, d\mu\right)^{1/p_k}.$

Доказывается индукцией по $n$ с применением исходной двучленной формы. Используется в оценках многомерных интегралов и в анализе свёрток.

Обратное неравенство при $0 < p < 1$. Если $0 < p < 1$ и $q < 0$ определены так, что $\tfrac{1}{p} + \tfrac{1}{q} = 1$ (тогда $q < 0$), и $f \ge 0, g > 0$, то знак неравенства меняется:

$\int fg \, d\mu \ge \left(\int f^p \, d\mu\right)^{1/p} \left(\int g^q \, d\mu\right)^{1/q}.$

Это «обратное Гёльдера» - полезно при работе с малыми показателями и в теории квазинорм.

Взвешенная форма. Если $w \ge 0$ - измеримый вес, то неравенство сохраняется с заменой $d\mu$ на $w \, d\mu$; этот вариант стандартен в теории $A_p$-весов Макенхоупта.

Применение в L^p-пространствах

Неравенство Гёльдера - фундамент теории $L^p$.

Двойственность $L^p$ и $L^q$. При $1 \le p < \infty$ и сопряжённом $q$ функционал $g \mapsto \int fg \, d\mu$ задаёт ограниченное линейное отображение $L^q \to (L^p)^*$, и при $1 < p < \infty$ - это изоморфизм. Норма функционала равна $\|g\|_q$ - оценку сверху даёт именно Гёльдер.

Неравенство Минковского как следствие. Для $1 \le p < \infty$ выполнено $\|f + g\|_p \le \|f\|_p + \|g\|_p$. Доказательство при $p > 1$ опирается на Гёльдера: раскрывают $|f+g|^p = |f+g| \cdot |f+g|^{p-1}$, применяют Гёльдера к каждому слагаемому с показателем $q = p/(p-1)$ и собирают всё обратно. Так в $L^p$ получается треугольное неравенство - без него норма не была бы нормой.

Теоремы об интерполяции. Теорема Рисса-Торина (комплексная интерполяция) и теорема Марцинкевича (вещественная интерполяция) опираются на Гёльдер при перенесении ограниченности оператора с пары пространств $L^{p_0}, L^{p_1}$ на промежуточные $L^p$. На практике это позволяет, например, перенести оценки преобразования Фурье с $L^1 \to L^\infty$ и $L^2 \to L^2$ на $L^p \to L^{p'}$ для $1 \le p \le 2$ (неравенство Хаусдорфа-Юнга).

Сходимость в среднем. Если $f_n \to f$ в $L^p$ и $g \in L^q$, то $\int f_n g \to \int f g$ - следствие $\left|\int (f_n - f) g\right| \le \|f_n - f\|_p \|g\|_q \to 0$. Это базовый приём при переходе к пределу под знаком интеграла, дополняющий теорему Лебега о мажорируемой сходимости.

Типовые задачи

В учебных курсах неравенство Гёльдера встречается в трёх постановках.

Оценка интеграла произведения. Дано $f \in L^p, g \in L^q$ на отрезке $[a, b]$ - оценить $\int_a^b fg$. Считаем $\|f\|_p$ и $\|g\|_q$, перемножаем. Если ответ нужно сравнить с конкретной константой, проверяем, реализуется ли равенство.

Подбор показателя $p$. Дан $\int |f|^r$, нужно оценить через известный $\int |f|^p$ при $r < p$. Делают трюк: $|f|^r = |f|^r \cdot 1$, применяют Гёльдера с показателем $p/r$. Это стандартная техника «log-выпуклость нормы»: $\|f\|_r \le \mu(X)^{1/r - 1/p} \|f\|_p$ при $\mu(X) < \infty$.

Доказательство Минковского. Раскладка $|f+g|^p = |f+g| \cdot |f+g|^{p-1}$, применяют Гёльдера к $|f| \cdot |f+g|^{p-1}$ и $|g| \cdot |f+g|^{p-1}$, делят результат на $\|f+g\|_p^{p-1}$.

Частые ошибки

• Брать несопряжённую пару $(p, q)$. Без условия $\tfrac{1}{p} + \tfrac{1}{q} = 1$ показатели в правой части не «склеятся», и оценка станет неверной.
• Забывать про абсолютные значения. Неравенство касается $\int |fg|$, а не $\int fg$ - для знакопеременных функций интеграл произведения может быть и отрицательным, тогда формальная подстановка даёт бессмыслицу.
• Применять формулу при $p < 1$, не меняя знак неравенства. При $0 < p < 1$ работает обратное Гёльдера, и направление оценки обратное.
• Считать, что равенство всегда достижимо. При $p = 1$ или $p = \infty$ условие равенства устроено иначе (нужна постоянная фаза или существенный максимум); для произвольных $f, g$ оценка обычно строгая.
• Использовать $\|g\|_\infty$ как обычный супремум на множестве меры ноль. В $L^\infty$ норма - существенный супремум; функция, равная $10^9$ в одной точке отрезка, имеет $\|g\|_\infty$, определяющуюся остальной частью.

FAQ

Чем неравенство Гёльдера отличается от неравенства Коши-Буняковского?

Гёльдер - общая форма для произвольной пары сопряжённых $p, q \in [1, \infty]$ с $\tfrac{1}{p} + \tfrac{1}{q} = 1$. Коши-Буняковского - частный случай при $p = q = 2$, отвечающий гильбертовой структуре $L^2$. Гёльдер позволяет работать с асимметричными парами вроде $(3, 3/2)$ или $(1, \infty)$, когда одна функция «тяжелее» другой.

Когда неравенство Гёльдера превращается в равенство?

При $1 < p, q < \infty$ - тогда и только тогда, когда $|f|^p$ и $|g|^q$ пропорциональны почти всюду: $\alpha |f|^p = \beta |g|^q$ п.в. для некоторых $\alpha, \beta \ge 0$. В частном случае $p = q = 2$ это коллинеарность $|f|$ и $|g|$. На границе ($p = 1$ или $\infty$) условие формулируется отдельно через носитель и фазу.

Зачем нужны $L^p$-пространства с произвольным $p$, а не только $L^2$?

Разные задачи требуют разных норм. $L^1$ - естественная мера «суммарного» отклонения, устойчива к выбросам. $L^2$ - гильбертово пространство, удобное для разложений в ряды Фурье. $L^\infty$ - равномерная оценка. Промежуточные $L^p$ интерполируют между ними, и неравенство Гёльдера - основной инструмент, позволяющий переносить оценки между этими шкалами.

Коротко

Неравенство Гёльдера для интегралов: $\int |fg| \, d\mu \le \|f\|_p \cdot \|g\|_q$ при сопряжённых $p, q \in [1, \infty]$, то есть $\tfrac{1}{p} + \tfrac{1}{q} = 1$. Доказывается через неравенство Юнга $ab \le a^p/p + b^q/q$ после нормировки. При $p = q = 2$ даёт неравенство Коши-Буняковского, в дискретной форме - оценку $\sum |a_k b_k|$ через $\ell^p$- и $\ell^q$-нормы. Равенство достигается, когда $|f|^p$ и $|g|^q$ пропорциональны п.в. Обобщается на $n$ сомножителей и даёт обратную форму при $0 < p < 1$. В $L^p$-теории из него выводят двойственность $L^p$ и $L^q$, неравенство Минковского и интерполяционные теоремы Рисса-Торина и Марцинкевича.