# Funzione localmente integrabile

In matematica, una funzione localmente integrabile è una funzione che è integrabile su ogni sottoinsieme compatto del dominio.
Detto $U$ un insieme aperto nello spazio euclideo $\mathbb {R} ^{n}$ e $f\colon U\to \mathbb {C}$ una funzione misurabile rispetto alla sigma-algebra di Lebesgue, se l'integrale di Lebesgue:
    $\int _{K}|f|\,d\mu$
esiste finito per ogni sottoinsieme compatto $K$ in $U$, allora $f$ è detta localmente integrabile.
Le funzioni localmente integrabili giocano un ruolo importante nella teoria delle distribuzioni, e compaiono nel teorema di Radon-Nikodym.

## Definizione alternativa

Sia $\Omega$ un insieme aperto di $\mathbb {R} ^{n}$ e $C_{c}^{\infty }(\Omega )$ l'insieme delle funzioni infinitamente differenziabili $\varphi \colon \Omega \to \mathbb {C}$ a supporto compatto definite su $\Omega$. Una funzione $f\colon \Omega \to \mathbb {C}$ tale che:
    $\int _{\Omega }|f\varphi |\,\mathrm {d} x<+\infty ,\qquad \forall \varphi \in C_{c}^{\infty }(\Omega )$
è detta localmente integrabile. L'insieme di tutte queste funzioni è denotato con $L_{\mathrm {loc} }^{1}(\Omega )$.
Questa definizione trova le sue radici nell'approccio alla teoria della misura e dell'integrazione basato sul concetto di operatore lineare continuo in uno spazio vettoriale topologico, sviluppato dal gruppo Nicolas Bourbaki e altri, ed utilizzato spesso nell'ambito dell'analisi funzionale. In particolare la definizione di funzionali lineari tramite integrali di nucleo $f$ è una pratica utilizzata nella teoria delle distribuzioni, dove in tal caso le funzioni $\varphi$ sono dette funzioni di test.
Si tratta di una definizione equivalente a quella standard, data in apertura, ossia:
    $\int _{K}|f|\,\mathrm {d} x<+\infty ,\quad \forall \,K\subset \Omega ,\,K{\text{ compatto}}$
se e solo se:
    $\int _{\Omega }|f\varphi |\,\mathrm {d} x<+\infty ,\quad \forall \,\varphi \in C_{\mathrm {c} }^{\infty }(\Omega ).$

### Dimostrazione

Infatti, sia $\varphi \in C_{c}^{\infty }(\Omega )$. Essendo una funzione misurabile limitata dalla sua norma uniforme $\|\varphi \|$ ed avendo un supporto $K$ compatto per la definizione standard, si ha:
    $\int _{\Omega }|f\varphi |\,\mathrm {d} x=\int _{K}|f|\,|\varphi |\,\mathrm {d} x\leq \|\varphi \|_{\infty }\int _{K}|f|\,\mathrm {d} x<+\infty .$
Per mostrare l'implicazione inversa, sia $K$ un sottoinsieme compatto di $\Omega$. Si vuole innanzitutto costruire una funzione di test $\varphi _{K}\in C_{c}^{\infty }(\Omega )$ che maggiora la funzione indicatrice $\chi _{K}$ di $K$. La distanza (insiemistica) tra $K$ e la sua frontiera $\partial K$ è strettamente maggiore di zero, ovvero:
    $\Delta :=d(K,\partial \Omega )>0$
ed è quindi possibile scegliere un numero reale $\delta$ tale per cui $\Delta >2\delta >0$ (se $\partial K$ è vuoto si prende $\Delta =\infty$). Siano ora $K_{\delta }$ e $K_{2\delta }$ gli intorni chiusi di $K$ aventi rispettivamente raggio $\delta$ e $2\delta$. Essi sono compatti e soddisfano:
    $K\subset K_{\delta }\subset K_{2\delta }\subset \Omega ,\qquad d(K_{\delta },\partial \Omega )=\Delta -\delta >\delta >0.$
Grazie alla convoluzione $*$ si definisce la funzione $\varphi _{K}\in C_{c}^{\infty }(\Omega )$ come:
    $\varphi _{K}(x)={\chi _{K_{\delta }}\ast \varphi _{\delta }(x)}=\int _{\mathbb {R} ^{n}}\chi _{K_{\delta }}(y)\,\varphi _{\delta }(x-y)\,\mathrm {d} y,$
dove $\varphi _{\delta }$ è un mollificatore. Dal momento che $\varphi _{K}(x)=1$ per tutti gli $x\in K$ si ha che $\chi _{K}\leq \varphi _{K}$.
Se $f$ è una funzione localmente integrabile rispetto alla seconda definizione si ha:
    $\int _{K}|f|\,\mathrm {d} x=\int _{\Omega }|f|\chi _{K}\,\mathrm {d} x\leq \int _{\Omega }|f|\varphi _{K}\,\mathrm {d} x<+\infty$
e poiché questo vale per ogni sottoinsieme compatto $K$ di $\Omega$, $f$ è localmente integrabile anche rispetto alla prima definizione.

## Generalizzazione

Sia $\Omega$ un aperto di $\mathbb {R} ^{n}$ e $f\colon \Omega \to \mathbb {C}$ una funzione misurabile rispetto alla sigma-algebra di Lebesgue. Se per un dato $p$ tale che $1\leq p\leq +\infty$ la funzione $f$ soddisfa:
    $\int _{K}|f|^{p}\,\mathrm {d} x<+\infty ,$
ossia appartiene allo spazio $L^{p}(K)$ per tutti i sottoinsiemi compatti di $\Omega$, allora $f$ è localmente $p$-integrabile. L'insieme di tutte le funzioni di questo tipo si indica con $L_{\mathrm {loc} }^{p}(\Omega )$.

## Proprietà
### Completezza dello spazio metrico L$^p$$_{loc}$

Lo spazio $L_{\mathrm {loc} }^{p}$ è uno spazio metrico completo per $p\geq 1$. La sua topologia può essere generata dalla famiglia di metriche:
    $d(u,v)=\sum _{k\geq 1}{\frac {1}{2^{k}}}{\frac {\Vert u-v\Vert _{p,\omega _{k}}}{1+\Vert u-v\Vert _{p,\omega _{k}}}},\qquad u,v\in L_{\mathrm {loc} }^{p}(\Omega ),$
dove $\{\omega _{k}\}_{k\geq 1}$ è una famiglia di insiemi non vuoti tale che:
* $\omega _{k}\subsetneq \omega _{k+1}$, ossia $\omega _{k}$ è strettamente incluso in $\omega _{k+1}$.
* $\bigcup _{k}\omega _{k}=\Omega$.
* Le funzioni $\Vert \cdot \Vert _{p,\omega _{k}}\colon L_{\mathrm {loc} }^{p}(\Omega )\to \mathbb {R} ^{+}$, con $k\in \mathbb {N}$, sono una famiglia indicizzata di seminorme definita come:
    ${\Vert u\Vert _{p,\omega _{k}}}=\int _{\omega _{k}}|u|^{p}\,\mathrm {d} x,\qquad \forall \,u\in L_{\mathrm {loc} }^{p}(\Omega ).$

### L$^p$ come sottospazio di L$^p$$_{loc}$ per p ≥ 1

Ogni funzione $f\in L^{p}$, dove $1\leq p\leq +\infty$ e $\Omega$ è un aperto di $\mathbb {R} ^{n}$, è localmente integrabile.
Per mostrare questo fatto, data la semplicità del caso $p=1$ si assume nel seguito $1<p\leq +\infty$. Considerando la funzione indicatrice $\chi _{k}$ del sottoinsieme compatto $K\subset \Omega$, si ha:
    $\left|{\int _{\Omega }|\chi _{K}|^{q}\,\mathrm {d} x}\right|^{1/q}=\left|{\int _{K}\mathrm {d} x}\right|^{1/q}=|\mu (K)|^{1/q}<+\infty ,$
dove $q$ è un numero positivo tale che $1/p+1/q=1$ per un dato $1\leq p\leq +\infty$, e $\mu (K)$ è la misura di Lebesgue di $K$. Allora, per la disuguaglianza di Hölder il prodotto $f\chi _{K}$ è una funzione integrabile, ossia appartiene a $L^{1}(\Omega )$ e:
    ${\int _{K}|f|\,\mathrm {d} x}={\int _{\Omega }|f\chi _{K}|\,\mathrm {d} x}\leq \left|{\int _{\Omega }|f|^{p}\,\mathrm {d} x}\right|^{1/p}\left|{\int _{K}\mathrm {d} x}\right|^{1/q}=\|f\|_{p}|\mu (K)|^{1/q}<+\infty .$
Quindi $f\in L_{\mathrm {loc} }^{1}(\Omega )$. Si nota che dal momento che vale:
    ${\int _{K}|f|\,\mathrm {d} x}={\int _{\Omega }|f\chi _{K}|\,\mathrm {d} x}\leq \left|{\int _{K}|f|^{p}\,\mathrm {d} x}\right|^{1/p}\left|{\int _{K}\mathrm {d} x}\right|^{1/q}=\|f\|_{p}|\mu (K)|^{1/q}<+\infty .$
Il teorema si applica anche quando $f$ appartiene solo allo spazio delle funzioni localmente $p$-integrabili, e pertanto si ha come corollario che ogni funzione $f\in L_{\mathrm {loc} }^{p}$, dove $1<p\leq +\infty$, è localmente integrabile, ovvero appartiene a $f\in L_{\mathrm {loc} }^{1}$.

## Esempi

* Ogni funzione integrabile (globalmente) in $U$ è localmente integrabile, cioè:
       $L^{1}(U)\subset L_{\mathrm {loc} }^{1}(U).$
* Più generalmente, ogni funzione in $L^{p}(U)$, con $1\leq p\leq +\infty$ è localmente integrabile:
       $L^{p}(U)\subset L_{\mathrm {loc} }^{1}(U).$
* La funzione costante a $1$ definita sulla retta reale è localmente integrabile, ma non globalmente. Più generalmente, le funzioni continue sono localmente integrabili.
* La funzione $f(x)=1/x$ per $x\neq 0$ e $f(0)=0$ non è localmente integrabile su $\mathbb {R}$, perché la condizione cade negli intervalli contenenti l'origine, mentre la sua restrizione a $(0,+\infty )$appartiene a $L_{\mathrm {loc} }^{1}(0,+\infty )$.