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 )$ .^[1]

Note

^ Gianni Gilardi, Analisi Tre, collana McGraw-Hill Education, 2014ª ed., McGraw-Hill, p. 93. URL consultato il 14 gennaio 2018 (archiviato dall'url originale il 14 gennaio 2018).

Bibliografia

(EN) S. Saks, Theory of the integral , Hafner (1952)
(EN) G.P. Tolstov, On the curvilinear and iterated integral Trudy Mat. Inst. Steklov. , 35 (1950) pp. 1–101

Voci correlate

Collegamenti esterni

(EN) Eric W. Weisstein, Funzione localmente integrabile, su MathWorld, Wolfram Research.
(EN) I.A. Vinogradova, Locally integrable function, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

[1] Gianni Gilardi, Analisi Tre, collana McGraw-Hill Education, 2014ª ed., McGraw-Hill, p. 93. URL consultato il 14 gennaio 2018 (archiviato dall'url originale il 14 gennaio 2018).

[1]