Función absolutamente integrable

En matemáticas , una función absolutamente integrable es una función cuyo valor absoluto es integrable , lo que significa que la integral del valor absoluto sobre todo el dominio es finita.

Para una función de valor real , ya que donde $${\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),}$$

Ambos deben ser finitos. En la integración de Lebesgue , este es exactamente el requisito para que cualquier función medible f se considere integrable, siendo entonces la integral igual a , de modo que, de hecho, "absolutamente integrable" significa lo mismo que "integrable de Lebesgue" para funciones mensurables. ${\textstyle \int f^{+}(x)\,dx}$${\textstyle \int f^{-}(x)\,dx}$ ${\textstyle \int f^{+}(x)\,dx-\int f^{-}(x)\,dx}$

Lo mismo ocurre con una función compleja . Definamos dónde y son las partes real e imaginaria de . Entonces, entonces Esto demuestra que la suma de las cuatro integrales (en el medio) es finita si y solo si la integral del valor absoluto es finita, y la función es integrable según Lebesgue solo si las cuatro integrales son finitas. Por lo tanto, tener una integral finita del valor absoluto es equivalente a las condiciones para que la función sea "integrable según Lebesgue". $${\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)}$${\estilo de visualización 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}$$

• «Función absolutamente integrable – Enciclopedia de Matemáticas» . Consultado el 9 de octubre de 2015 .

• Tao, Terence , Análisis 2 , 3.ª ed., Textos y lecturas en matemáticas, Hindustan Book Agency, Nueva Delhi.