Меню Главная Случайная статья Настройки Неравенство Юнга Материал из https://ru.wikipedia.org Неравенство Юнга (Янга) — соотношение для непрерывной строго возрастающей функции ${\displaystyle f}$, обращающейся в нуль в нуле: для любых ${\displaystyle a\geqslant 0}$ и ${\displaystyle b\geqslant 0}$ выполнено[1]: ${\displaystyle ab\leqslant \int \limits _{0}^{a}f(x)dx+\int \limits _{0}^{b}f^{-1}(x)dx}$, где ${\displaystyle f^{-1}}$ — функция, обратная ${\displaystyle f}$. Равенство достигается тогда и только тогда, когда ${\displaystyle b=f(a)}$. Установлено в 1912 году Уильямом Янгом[2]. Естественное следствие — ${\displaystyle ab\leqslant af(a)+bf^{-1}(b)}$ (в тех же условиях)[3]. Неравенство Фенхеля может быть рассмотрено как обобщение этого следствия — результат распространяется на пару выпукло-сопряжённых функций ${\displaystyle f}$ и ${\displaystyle f^{*}}$ в соответствующих векторных пространствах ${\displaystyle a\in X}$ и ${\displaystyle b\in X^{*}}$ (двойственном пространстве): ${\displaystyle \left\langle a,b\right\rangle \leqslant f(a)+f^{*}(b)}$. Также из этого следствия при ${\displaystyle f(x)=x^{p-1}}$, и, соответственно ${\displaystyle f^{-1}(y)=y^{q-1}}$, может быть получено числовое неравенство Юнга: если ${\displaystyle p,q>1}$ — сопряжённые показатели (то есть такие числа, что ${\displaystyle {\frac {1}{p}}+{\frac {1}{q}}=1}$), то: ${\displaystyle ab\leqslant {\frac {a^{p}}{p}}+{\frac {b^{q}}{q}}}$; равенство достигается при ${\displaystyle a^{p}=b^{q}}$. Этот результат весьма востребован в различных направлениях анализа, в частности, используется в доказательстве неравенства Гёльдера, применяется для оценки норм нелинейных членов дифференциальных уравнений в частных производных. Функции: ${\displaystyle F(a)=\int \limits _{0}^{a}f(x)dx}$ и ${\displaystyle \Phi (b)=\int \limits _{0}^{b}f^{-1}(x)dx}$ в связи с неравенством называются двойственными по Юнгу[4]. Если ${\displaystyle F_{1}}$ двойственна по Юнгу с ${\displaystyle \Phi _{1}}$, а ${\displaystyle F_{2}}$ — двойственна по Юнгу с ${\displaystyle \Phi _{2}}$, то из ${\displaystyle F_{1}(x)\leqslant F_{2}(x)}$ при достаточно больших ${\displaystyle x}$ следует, что ${\displaystyle \Phi _{1}(x)\geqslant \Phi _{2}(x)}$ при достаточно больших ${\displaystyle x}$[5]. Примечания Харди — Литтлвуд — Пойа, 1948, Теорема 156. Young W. H. On classes of summable functions and their Fourier series (англ.) // Proc. Royal Soc. A. — 1912. — Vol. 87. — P. 225—229. — doi:10.1098/rspa.1912.0076. Харди — Литтлвуд — Пойа, 1948, Теорема 157, с. 137. Гельфанд — Шилов, 1958, с. 26. Гельфанд — Шилов, 1958, с. 27. Литература Харди Г. Г., Литтльвуд Дж. Е., Г. Полиа. Неравенства. — М.: Государственное издательство иностранной литературы, 1948. — 456 с.