WikiDer > Неравенство перестановки Рисса

В математика, то Неравенство перестановки Рисса (иногда называют Рис-Соболев неравенство) утверждает, что для любых трех неотрицательных функций ${ displaystyle f: mathbb {R} ^ {n} to mathbb {R} ^ {+}}$, ${ displaystyle g: mathbb {R} ^ {n} to mathbb {R} ^ {+}}$ и ${ displaystyle h: mathbb {R} ^ {n} to mathbb {R} ^ {+}}$ удовлетворяет неравенству

${ Displaystyle iint _ { mathbb {R} ^ {n} times mathbb {R} ^ {n}} f (x) g (xy) h (y) , dx , dy leq iint _ { mathbb {R} ^ {n} times mathbb {R} ^ {n}} f ^ {*} (x) g ^ {*} (xy) h ^ {*} (y) , dx , dy,}$

где ${ displaystyle f ^ {*}: mathbb {R} ^ {n} to mathbb {R} ^ {+}}$, ${ displaystyle g ^ {*}: mathbb {R} ^ {n} to mathbb {R} ^ {+}}$ и ${ displaystyle h ^ {*}: mathbb {R} ^ {n} to mathbb {R} ^ {+}}$ являются симметричные убывающие перестановки функций ${ displaystyle f}$, ${ displaystyle g}$ и ${ displaystyle h}$ соответственно.

История

Неравенство было впервые доказано Фриджес Рис в 1930 г.^[1] и независимо опровергнутый С.Л. Соболевым в 1938 г. Его можно обобщить на произвольное (но конечное) число функций, действующих на произвольное число переменных.^[2]

Приложения

Неравенство перестановки Рисса можно использовать для доказательства Неравенство Полиа – Сегё.

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

Одномерный случай

В одномерном случае неравенство сначала доказывается, когда функции ${ displaystyle f}$, ${ displaystyle g}$ и ${ displaystyle h}$ находятся характеристические функции конечного объединения интервалов. Затем неравенство может быть расширено на характеристические функции измеримых множеств, на измеримые функции, принимающие конечное число значений, и, наконец, на неотрицательные измеримые функции.^[3]

Многомерный случай

Чтобы перейти от одномерного случая к многомерному случаю, сферическая перестройка аппроксимируется симметризацией Штейнера, для которой одномерный аргумент применяется непосредственно теоремой Фубини.^[4]

Случаи равенства

В случае, когда любая из трех функций является строго симметрично убывающей функцией, равенство выполняется только тогда, когда две другие функции равны, с точностью до трансляции, своим симметрично убывающим перестановкам.^[5]

использованная литература