Función localmente integrable

En matemáticas, un función localmente integrable es una función que es integrable en cualquier conjunto compacto contenido en su dominio de definición. 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\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_K | f| dx \,

es finita para todo conjunto compacto K \subset \Omega, entonces f es una función localmente integrable. El conjunto de todas las funciones localmente integrable es un espacio vectorial designado por:

L^1_{loc}(\Omega)

Propiedades

Teorema. Toda función \scriptstyle f del espacio Lp(Ω), \scriptstyle 1\leq p\leq+\infty, donde Ω 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 Ω: 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 = 1para un p dado tal que \scriptstyle 1\leq p\leq+\infty
  • μ(K) es la medida de Lebesgue dek 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^1_{loc}(\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 fque pertenecen al espacio editar] Referencia

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

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Lema de Riemann-Lebesgue — Definicion Sea u una función compleja integrable en el intervalo cerrado [a,b], es decir, una función localmente integrable en en citado intervalo. Entonces: Nótese que el signo ± indica que ha de ser considerado aquel signo que convierta la… …   Wikipedia Español

  • Integración — La integral definida de una función representa el área limitada por la gráfica de la función, con signo positivo cuando la función toma valores positivos y negativo cuando toma valores negativos. Para otros usos de este término, véase Integración …   Wikipedia Español

  • Medida de Haar — En análisis matemático, la medida de Haar es una manera de asignar un volumen invariante a los subconjuntos de grupos topológicos localmente compactos y de definir posteriormente una integral para las funciones sobre esos grupos. Esta medida fue… …   Wikipedia Español

  • Convolución — en un dispositivo óptico (microscopio de fluorescencia, corte longitudinal de una imagen 3D) …   Wikipedia Español

  • Variedad de Kähler — En matemáticas, una variedad de Kähler es una variedad con estructura unitaria a (condición de integración. En particular, es una variedad compleja, una variedad de Riemann, y una variedad simpléctica, con estas tres estructuras compatibles entre …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.