Funcție absolut integrabilă

În matematică, o funcție absolut integrabilă este o funcție a cărei valoare absolută este integrabilă, ceea ce înseamnă că integrala valorii absolute pe întregul domeniu este finită.

Definiție

Funcția $f\,:\,\mathbb {R} \rightarrow \mathbb {C}$ se numește absolut integrabilă dacă integrala $\int \limits _{-\infty }^{\infty }|f(x)|dx$ este convergentă.

Pentru o funcție reală, deoarece

$\int |f(x)|dx=\int f^{+}(x)dx+\int f^{-}(x)dx$

unde

$f^{+}(x)=\max(f(x),0),\ \ \ f^{-}(x)=\max(-f(x),0),$

ambele $\int f^{+}(x)dx$ și $\int f^{-}(x)dx$ trebuie să fie finite la integrarea Lebesgue. Aceasta este exact cerința ca orice funcție măsurabilă f să fie considerată integrabilă, iar atunci integrala este $\int f^{+}(x)dx-\int f^{-}(x)dx$, astfel încât, de fapt, „absolut integrabil” înseamnă același lucru cu „integrabil Lebesgue” pentru funcții măsurabile.

Același lucru este valabil și pentru o funcție complexă. Definind:

$f^{+}(x)=\max(\Re f(x),0)$

$f^{-}(x)=\max(-\Re f(x),0)$

$f^{+i}(x)=\max(\Im f(x),0)$

$f^{-i}(x)=\max(-\Im f(x),0)$

unde $\Re f(x)$ și $\Im f(x)$ sunt partea reală, respectiv cea imaginară a $f(x)$. Atunci

$|f(x)|\leq f^{+}(x)+f^{-}(x)+f^{+i}(x)+f^{-i}(x)\leq {\sqrt {2}}\,|f(x)|$

deci

$\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$

Aceasta arată că suma celor patru integrale (la mijloc) este finită dacă și numai dacă integrala valorii absolute este finită, iar funcția este integrabilă Lebesgue numai dacă toate cele patru integrale sunt finite. Deci, având o integrală finită a valorii absolute este echivalent cu condițiile pentru ca funcția să fie „integrabilă Lebesgue”.

Legături externe

• en Hazewinkel, Michiel, ed. (2001), „Absolutely integrable function”, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104