Абсолютно интегрируемая функция

В математике абсолютно интегрируемая функция — это функция , абсолютное значение которой интегрируемо , что означает , что интеграл абсолютного значения по всей области конечен.

Для вещественной функции, поскольку где $${\displaystyle \int |f(x)|\,dx=\int f^{+}(x)\,dx+\int f^{-}(x)\,dx}$$ $${\displaystyle f^{+}(x)=\max(f(x),0),\ \ \ f^{-}(x)=\max(-f(x),0),}$$

оба и должны быть конечными. В интегрировании по Лебегу это в точности требование, чтобы любая измеримая функция f считалась интегрируемой, при этом интеграл был равен , так что на самом деле «абсолютно интегрируемая» означает то же самое, что и «интегрируемая по Лебегу» для измеримых функций. ${\textstyle \int f^{+}(x)\,dx}$ ${\textstyle \int f^{-}(x)\,dx}$ ${\textstyle \int f^{+}(x)\,dx-\int f^{-}(x)\,dx}$

То же самое относится и к комплексной функции. Определим, где и являются вещественной и мнимой частями . Тогда так. Это показывает, что сумма четырех интегралов (в середине) конечна тогда и только тогда, когда интеграл по абсолютной величине конечен, а функция интегрируема по Лебегу только в том случае, если все четыре интеграла конечны. Таким образом, наличие конечного интеграла по абсолютному значению эквивалентно условиям, при которых функция является «интегрируемой по Лебегу». $${\displaystyle f^{+}(x)=\max(\Re f(x),0)}$$ $${\displaystyle f^{-}(x)=\max(-\Re f(x),0)}$$ $${\displaystyle f^{+i}(x)=\max(\Im f(x),0)}$$ $${\displaystyle f^{-i}(x)=\max(-\Im f(x),0)}$$ ${\displaystyle \Re f(x)}$ ${\displaystyle \Im f(x)}$ ${\displaystyle f(x)}$ $${\displaystyle |f(x)|\leq f^{+}(x)+f^{-}(x)+f^{+i}(x)+f^{-i}(x)\leq {\sqrt {2}}\,|f(x)|}$$ $${\displaystyle \int |f(x)|\,dx\leq \int f^{+}(x)\,dx+\int f^{-}(x)\,dx+\int f^{+i}(x)\,dx+\int f^{-i}(x)\,dx\leq {\sqrt {2}}\int |f(x)|\,dx}$$

Внешние ссылки

• «Абсолютно интегрируемая функция – Математическая энциклопедия» . Проверено 9 октября 2015 г.

Рекомендации

• Тао, Теренс , Анализ 2 , 3-е изд., Тексты и материалы для чтения по математике, Книжное агентство Hindustan, Нью-Дели.