Función localmente integrable

En matemáticas, un función localmente integrable es una función que es integrable en cualquier conjunto acotado contenido en su dominio de definición y cuya adherencia está contenida también en dicho dominio. La importancia del concepto reside en el hecho de que se ignora el comportamiento de la función en el infinito, y se atiende sólo a su comportamiento local.

Definición formal

Más formalmente, sea $\scriptstyle \Omega$ un conjunto abierto del espacio euclídeo $\scriptstyle \mathbb {R} ^{n}$ y sea $\scriptstyle f:\Omega \to \mathbb {C}$ una función medible en el sentido de Lebesgue. Si la integral de Lebesgue:

$\int _{B}|f|dx\,$

es finita para todo conjunto acotado $B\subset \Omega$, con ${\overline {B}}\subseteq \Omega$, entonces $f$ es una función localmente integrable. El conjunto de todas las funciones localmente integrable es un espacio vectorial designado por:

$L_{loc}^{1}(\Omega )$

Propiedades

Teorema. Toda función $\scriptstyle f$ del espacio $L^{p}(\Omega )$, $\scriptstyle 1\leq p\leq +\infty$, donde $\Omega$ es un conjunto abierto de $\scriptstyle \mathbb {R} ^{n}$ es localmente integrable. Para ver esto, basta considerar la función característica $\scriptstyle \chi _{K}$ de un conjunto compacto$\scriptstyle K$ de $\Omega$: entonces, para $\scriptstyle p\leq +\infty$

$\left|{\int _{\Omega }|\chi _{K}|^{q}dx}\right|^{1/q}=\left|{\int _{K}dx}\right|^{1/q}=|\mu (K)|^{1/q}<+\infty$

donde

• $q$ es un número positivo tal que $1/p+1/q=1$para un p dado tal que $\scriptstyle 1\leq p\leq +\infty$
• $\mu (K)$ es la medida de Lebesgue del conjunto compacto $K$

Entonces por la desigualdad de Hölder se tiene que:

${\int _{K}|f|dx}={\int _{\Omega }|f\chi _{K}|dx}\leq \left|{\int _{\Omega }|f|^{p}dx}\right|^{1/p}\left|{\int _{K}dx}\right|^{1/q}=\|f\|_{p}|\mu (K)|^{1/q}<+\infty$

Y por tanto:

$f\in L_{loc}^{1}(\Omega )$

Nótese que puesto que la siguiente desigualdad es cierta:

${\int _{K}|f|dx}={\int _{\Omega }|f\chi _{K}|dx}\leq \left|{\int _{K}|f|^{p}dx}\right|^{1/p}\left|{\int _{K}dx}\right|^{1/q}=\|f\|_{p}|\mu (K)|^{1/q}<+\infty$

la afirmación se sigue también para funciones $f$que pertenecen al espacio $L^{p}(K)$ para cada conjunto compacto $K$ de $\Omega$.

Referencias

• Strichartz, Robert S. (2003). A Guide to Distribution Theory and Fourier Transforms (en inglés). World Scientific Publishers. ISBN 981-238-430-8. 

• Datos: Q1318586