Insieme di Caccioppoli

In matematica, un insieme di Caccioppoli è un insieme il cui contorno è misurabile e ha (almeno localmente) una misura finita. Un sinonimo è un insieme di perimetro finito (localmente). In sostanza, un insieme è un insieme di Caccioppoli se la sua funzione caratteristica è una funzione a variazione limitata.

Storia

Il concetto di base di un insieme di Caccioppoli è stato introdotto per la prima volta dal matematico italiano Renato Caccioppoli nel 1927: considerando un insieme di piani o una superficie definita su un insieme aperto nel piano, Caccioppoli ha caratterizzato la loro misura o area come variazione totale nel senso di Tonelli delle loro funzioni che definiscono, cioè delle loro equazioni parametriche, purché questa quantità fosse limitata. La misura del contorno di un insieme è stata definita per la prima volta come un funzionale, precisamente una funzione di insieme: inoltre, essendo definita su insiemi aperti, può essere definita su tutti gli insiemi Borel e il suo valore può essere approssimato dai valori che assume una rete crescente di sottoinsiemi. Un'altra proprietà chiaramente data (e dimostrata) di questo funzionale era la sua semi-continuità inferiore.

Nel 1928 Caccioppoli precisa utilizzando una maglia triangolare come rete crescente che approssima il dominio aperto, definendo variazioni positive e negative la cui somma è la variazione totale, cioè l'area funzionale. Il suo punto di vista ispiratore, come ha esplicitamente ammesso, è stato quello di Giuseppe Peano, espresso dalla misura di Peano-Jordan: associare ad ogni porzione di una superficie un'area piana orientata in modo simile a come si associa una corda approssimativa a una curva. Inoltre, un altro tema trovato in questa teoria era l'estensione di un funzionale da un sottospazio all'intero spazio vettoriale: l'uso di teoremi che generalizzano il teorema di Hahn-Banach si incontra frequentemente nella ricerca di Caccioppoli. Tuttavia, il significato ristretto di variazione totale nel senso di Tonelli aggiungeva molte complicazioni allo sviluppo formale della teoria e l'uso di una descrizione parametrica degli insiemi ne limitava la portata.

Lamberto Cesàri introdusse la "giusta" generalizzazione delle funzioni a variazione limitata al caso di più variabili solo nel 1936: forse questo fu uno dei motivi che indusse Caccioppoli a presentare una versione migliorata della sua teoria solo quasi 24 anni dopo, nel discorso al IV Congresso UMI nell'ottobre 1951, seguito da cinque note pubblicate sui Rendiconti dell'Accademia Nazionale dei Lincei. Queste note sono state aspramente criticate da Laurence Chisholm Young in Mathematical Reviews.

Nel 1952 Ennio de Giorgi presentò i suoi primi risultati, sviluppando le idee di Caccioppoli, sulla definizione della misura dei contorni degli insiemi al Congresso di Salisburgo della Società Matematica Austriaca: ottenne questi risultati utilizzando un operatore levigante, analogo a un mollificatore, costruito dalla funzione gaussiana, provando indipendentemente alcuni risultati di Caccioppoli. Probabilmente fu indotto a studiare questa teoria dal suo maestro e amico Mauro Picone, che era stato anche maestro di Caccioppoli ed era anche suo amico. De Giorgi incontrò per la prima volta Caccioppoli nel 1953: durante il loro incontro, Caccioppoli espresse un profondo apprezzamento per il suo lavoro, iniziando la loro amicizia di una vita. Lo stesso anno ha pubblicato il suo primo articolo sull'argomento: tuttavia, questo articolo e quello che segue non hanno suscitato molto interesse da parte della comunità matematica. Fu solo con un articolo del 1954, rivisto da Laurence Chisholm Young su Mathematical Reviews, che il suo approccio agli insiemi di perimetro finito divenne ampiamente conosciuto e apprezzato: anche, nella recensione, Young rivide le sue precedenti critiche sull'opera di Caccioppoli.

L'ultimo articolo di De Giorgi sulla teoria dei perimetri fu pubblicato nel 1958: nel 1959, dopo la morte di Caccioppoli, iniziò a chiamare gli insiemi di perimetri finiti "insiemi di Caccioppoli". Due anni dopo Herbert Federer e Wendell Fleming pubblicarono un loro articolo nel 1960, cambiando l'approccio alla teoria. Fondamentalmente hanno introdotto due nuovi tipi di correnti, rispettivamente correnti normali e correnti integrali: in una serie successiva di articoli e nel suo famoso trattato, Federer ha dimostrato che gli insiemi di Caccioppoli sono correnti normali di dimensione $n$ in spazi euclidei $n$ -dimensionali. Tuttavia, anche se la teoria degli insiemi di Caccioppoli può essere studiata nell'ambito della teoria delle correnti, è consuetudine studiarla attraverso l'approccio "tradizionale" utilizzando funzioni a variazione limitata, come le varie sezioni presenti in molte importanti monografie di matematica e di fisica matematica testimoniano.

Definizione formale

Definizione di Caccioppoli

Definizione 1. Sia $\mathrm{\Omega }$ un sottoinsieme aperto di ${ℝ}^n$ e sia $E$ un insieme di Borel. Il perimetro di $E$ in $\mathrm{\Omega }$ è definito come segue

$P(E,\mathrm{\Omega })=V({\chi }_E,\mathrm{\Omega }):=\sup \{\underset{\mathrm{\Omega }}{\int }{\chi }_E(x)\mathrm{d}\mathrm{i}\mathrm{v}\mathit{\varphi }(x)\mathrm{d}x:\mathit{\varphi }\in C_c^1(\mathrm{\Omega },{ℝ}^n),\Vert \mathit{\varphi }{\Vert }_{L^{\mathrm{\infty }}(\mathrm{\Omega })}\le 1\}$

dove ${\chi }_E$ è la funzione caratteristica di $E$. Cioè, il perimetro di $E$ in un insieme aperto $\mathrm{\Omega }$ è definito come la variazione totale della sua funzione caratteristica su quell'insieme aperto. Se $\mathrm{\Omega }={ℝ}^n$, allora $P(E)=P(E,{ℝ}^n)$ per il perimetro (globale).

Definizione 2. L'insieme di Borel $E$ è un insieme di Caccioppoli se e solo se ha perimetro finito in ogni sottoinsieme aperto limitato $\mathrm{\Omega }$ di ${ℝ}^n$,

$P(E,\mathrm{\Omega })<+\mathrm{\infty }$ quando $\mathrm{\Omega }\subset {ℝ}^n$ è aperto e limitato.

Un insieme di Caccioppoli ha quindi una funzione caratteristica la cui variazione totale è limitata localmente. Dalla teoria delle funzioni a variazione limitata è noto che ciò implica l'esistenza di una misura di Radon a valori vettoriali $D{\chi }_E$ tale che

$\underset{\mathrm{\Omega }}{\int }{\chi }_E(x)\mathrm{d}\mathrm{i}\mathrm{v}\mathit{\varphi }(x)\mathrm{d}x=\underset{E}{\int }\mathrm{d}\mathrm{i}\mathrm{v}\mathit{\varphi }(x)\mathrm{d}x=-\underset{\mathrm{\Omega }}{\int }⟨\mathit{\varphi },D{\chi }_E(x)⟩\mathrm{\forall }\mathit{\varphi }\in C_c^1(\mathrm{\Omega },{ℝ}^n)$

Come notato per il caso di funzioni generali a variazione limitata, questo vettore misura $D{\chi }_E$ è il gradiente distributivo o debole di ${\chi }_E$. La misura della variazione totale associata a $D{\chi }_E$ è indicato da $|D{\chi }_E|$, cioè per ogni insieme aperto $\mathrm{\Omega }\subset {ℝ}^n$ si scrive $|D{\chi }_E|(\mathrm{\Omega })$ per $P(E,\mathrm{\Omega })=V({\chi }_E,\mathrm{\Omega })$ .

Definizione di De Giorgi

Ennio de Giorgi nei suoi articoli del 1953 e del 1954 introduce il seguente operatore di levigatura, analogo alla trasformata di Weierstrass nel caso unidimensionale

$W_{\lambda }{\chi }_E(x)=\underset{{ℝ}^n}{\int }{g}_{\lambda }(x-y){\chi }_E(y)\mathrm{d}y=(\pi \lambda {)}^{-\frac{n}{2}}\underset{E}{\int }{e}^{-\frac{(x-y{)}^2}{\lambda }}\mathrm{d}y$

Come si può facilmente dimostrare, $W_{\lambda }\chi (x)$ è una funzione liscia per tutti $x\in {ℝ}^n$, tale che

$\underset{\lambda \to 0}{\lim }{W}_{\lambda }{\chi }_E(x)={\chi }_E(x)$

inoltre, il suo gradiente è ovunque ben definito, così come il suo valore assoluto

$\mathrm{\nabla }{W}_{\lambda }{\chi }_E(x)=\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{d}{W}_{\lambda }{\chi }_E(x)=D{W}_{\lambda }{\chi }_E(x)=\left(\begin{array}{c}\frac{\partial W_{\lambda }{\chi }_E(x)}{\partial x_1}\\ ⋮\\ \frac{\partial W_{\lambda }{\chi }_E(x)}{\partial x_n}\end{array}\right)⟺|D{W}_{\lambda }{\chi }_E(x)|=\sqrt{\sum _{k=1}^n{\left|\frac{\partial W_{\lambda }{\chi }_E(x)}{\partial x_k}\right|}^2}$

Avendo definita questa funzione, De Giorgi dà la seguente definizione di perimetro:

Definizione 3. Sia $\mathrm{\Omega }$ un sottoinsieme aperto di ${ℝ}^n$ e sia $E$ un insieme di Borel. Il perimetro di $E$inl $\mathrm{\Omega }$ è il valore

$P(E,\mathrm{\Omega })=\underset{\lambda \to 0}{\lim }\underset{\mathrm{\Omega }}{\int }|D{W}_{\lambda }{\chi }_E(x)|\mathrm{d}x$

In realtà De Giorgi ha considerato il caso $\mathrm{\Omega }={ℝ}^n$: tuttavia, l'estensione al caso generale non è difficile. Si può provare che le due definizioni sono esattamente equivalenti: per una dimostrazione si vedano i già citati articoli di De Giorgi. Dopo aver definito cos'è un perimetro, De Giorgi dà la stessa definizione 2 di cosa sia un insieme di perimetro (localmente) finito.

Proprietà di base

Le seguenti proprietà sono le proprietà ordinarie che si suppone abbia la nozione generale di perimetro:

• Se $\mathrm{\Omega }\subseteq {\mathrm{\Omega }}_1$ allora $P(E,\mathrm{\Omega })\le P(E,{\mathrm{\Omega }}_1)$, con parità di tenuta se e solo se la chiusura di $E$ è un sottoinsieme compatto di $\mathrm{\Omega }$ .
• Per due insiemi di Cacciopoli qualsiasi $E_1$ e $E_2$, la relazione $P(E_1\cup E_2,\mathrm{\Omega })\le P(E_1,\mathrm{\Omega })+P(E_2,{\mathrm{\Omega }}_1)$ vale, con uguaglianza se e solo se $d(E_1,E_2)>0$, dove $d$ è la distanza tra gli insiemi nello spazio euclideo.
• Se la misura di Lebesgue di $E$ è $0$, allora $P(E)=0$: questo implica che se la differenza simmetrica $E_1\mathrm{△}{E}_2$ di due insiemi ha una misura di Lebesgue zero, i due insiemi hanno lo stesso perimetro cioè $P(E_1)=P(E_2)$ .

Nozioni di contorno

Per ogni insieme di Caccioppoli dato $E\subset {ℝ}^n$ esistono due grandezze analitiche naturalmente associate: la misura di Radon a valori vettoriali $D{\chi }_E$ e la sua misura di variazione totale $|D{\chi }_E|$. Dato che

$P(E,\mathrm{\Omega })=\underset{\mathrm{\Omega }}{\int }|D{\chi }_E|$

è il perimetro all'interno di qualsiasi insieme aperto $\mathrm{\Omega }$, ci si aspetta che $D{\chi }_E$ da solo dovrebbe in qualche modo spiegare il perimetro di $E$.

Il contorno topologico

È naturale cercare di capire la relazione tra gli oggetti $D{\chi }_E$, $|D{\chi }_E|$ e il contorno topologico $\partial E$. C'è un lemma elementare che garantisce che il supporto (nel senso di distribuzioni) di $D{\chi }_E$, e quindi anche $|D{\chi }_E|$, è sempre contenuto in $\partial E$:

Lemma. Il supporto della misura di Radon a valori vettoriali $D{\chi }_E$ è un sottoinsieme del contorno topologico $\partial E$ di $E$.

Prova. Per dimostrare il lemma si sceglie $x_0\notin \partial E$: allora $x_0$ appartiene all'insieme aperto ${ℝ}^n\setminus \partial E$ e questo implica che appartiene a un intorno aperto $A$ contenuto all'interno di $E$ o all'interno di ${ℝ}^n\setminus E$. Sia ora $\varphi \in C_c^1(A;{ℝ}^n)$. Se $A\subseteq ({ℝ}^n\setminus E{)}^{\circ }={ℝ}^n\setminus E^{-}$ dove $E^{-}$ è la chiusura di $E$, allora ${\chi }_E(x)=0$ per $x\in A$ e

$\underset{\mathrm{\Omega }}{\int }⟨\mathit{\varphi },D{\chi }_E(x)⟩=-\underset{A}{\int }{\chi }_E(x)\mathrm{div}\mathit{\varphi }(x)\mathrm{d}x=0$

Allo stesso modo, se $A\subseteq E^{\circ }$ allora ${\chi }_E(x)=1$ per $x\in A$ così

$\underset{\mathrm{\Omega }}{\int }⟨\mathit{\varphi },D{\chi }_E(x)⟩=-\underset{A}{\int }\mathrm{div}\mathit{\varphi }(x)\mathrm{d}x=0$

Con $\varphi \in C_c^1(A,{ℝ}^n)$ arbitrario ne segue che $x_0$ è al di fuori del supporto di $D{\chi }_E$.

Il contorno ridotto

Il contorno topologico $\partial E$ risulta essere troppo grezzo per gli insiemi di Caccioppoli perché la sua misura di Hausdorff compensa eccessivamente il perimetro $P(E)$ definito sopra. Anzi, l'insieme di Caccioppoli

$E=\{(x,y):0\le x,y\le 1\}\cup \{(x,0):-1\le x\le 1\}\subset {ℝ}^2$

che rappresenta un quadrato insieme a un segmento di linea sporgente a sinistra ha perimetro $P(E)=4$, cioè il segmento di linea estraneo viene ignorato, mentre il suo contorno topologico

$\partial E=\{(x,0):-1\le x\le 1\}\cup \{(x,1):0\le x\le 1\}\cup \{(x,y):x\in \{0,1\},0\le y\le 1\}$

ha misura di Hausdorff unidimensionale ${\mathscr{H}}^1(\partial E)=5$.

Il contorno "corretto" dovrebbe quindi essere un sottoinsieme di $\partial E$.

Definizione 4. Il contorno ridotto di un insieme di Caccioppoli $E\subset {ℝ}^n$ è indicato da ${\partial }^{*}E$ ed è definito come uguale alla raccolta di punti $x$ al quale il limite:

${\nu }_E(x):=\underset{\rho \downarrow 0}{\lim }\frac{D{\chi }_E(B_{\rho }(x))}{|D{\chi }_E|(B_{\rho }(x))}\in {ℝ}^n$

esiste e ha lunghezza pari a uno, cioè $|{\nu }_E(x)|=1$ .

Si può osservare che dal Teorema di Radon-Nikodym il contorno ridotto ${\partial }^{*}E$ è necessariamente contenuto nel supporto di $D{\chi }_E$, che a sua volta è contenuto nel contorno topologico $\partial E$ come spiegato nella sezione precedente. Questo è:

${\partial }^{*}E\subseteq \mathrm{support}D{\chi }_E\subseteq \partial E$

Le inclusioni sopra non sono necessariamente uguaglianze come mostra l'esempio precedente. In quell'esempio, $\partial E$ è il quadrato con il segmento che sporge, $\mathrm{support}D{\chi }_E$ è il quadrato, e ${\partial }^{*}E$ è il quadrato senza i suoi quattro angoli.

Teorema di De Giorgi

Per comodità, in questa sezione trattiamo solo il caso in cui $\mathrm{\Omega }={ℝ}^n$, cioè l'insieme $E$ ha (globalmente) un perimetro finito. Il teorema di De Giorgi fornisce un'intuizione geometrica per la nozione di contorni ridotti e conferma che è la definizione più naturale per gli insiemi di Caccioppoli mostrando

$P(E)(=\int |D{\chi }_E|)={\mathscr{H}}^{n-1}({\partial }^{*}E)$

cioè che la sua misura di Hausdorff è uguale al perimetro dell'insieme. L'affermazione del teorema è piuttosto lunga perché mette in relazione diverse nozioni geometriche tutte in una volta.

Teorema. Supponiamo $E\subset {ℝ}^n$ sia un insieme di Caccioppoli. Allora in ogni punto $x$ del contorno ridotto ${\partial }^{*}E$ esiste uno spazio tangente approssimativo $T_x$ di$|D{\chi }_E|$ di molteplicità uno, cioè un sottospazio codimensione-1 $T_x$ di ${ℝ}^n$ tale che

$\underset{\lambda \downarrow 0}{\lim }\underset{{ℝ}^n}{\int }f({\lambda }^{-1}(z-x))|D{\chi }_E|(z)=\underset{T_x}{\int }f(y)d{\mathscr{H}}^{n-1}(y)$

per ogni $f:{ℝ}^n\to ℝ$ continua, supportata in modo compatto. In effetti il sottospazio $T_x$ è il sottospazio ortogonale del vettore unitario

${\nu }_E(x)=\underset{\rho \downarrow 0}{\lim }\frac{D{\chi }_E(B_{\rho }(x))}{|D{\chi }_E|(B_{\rho }(x))}\in {ℝ}^n$

definito in precedenza. Anche questo vettore unitario soddisfa

$\underset{\lambda \downarrow 0}{\lim }\{{\lambda }^{-1}(z-x):z\in E\}\to \{y\in {ℝ}^n:y\cdot {\nu }_E(x)>0\}$

localmente in $L^1$, quindi è interpretato come un vettore normale unitario di indicazione interno al confine ridotto ${\partial }^{*}E$. Infine, ${\partial }^{*}E$ è (n-1) - rettificabile e la restrizione della misura di Hausdorff (n-1)-dimensionale ${\mathscr{H}}^{n-1}$ per ${\partial }^{*}E$ è $|D{\chi }_E|$, cioè

$|D{\chi }_E|(A)={\mathscr{H}}^{n-1}(A\cap {\partial }^{*}E)$ per tutti gli insiemi di Borel $A\subset {ℝ}^n$ .

Applicazioni

Formula Gauss-Green

Dalla definizione del vettore misura di Radon $D{\chi }_E$ e dalle proprietà del perimetro vale la seguente formula:

$\underset{E}{\int }\mathrm{div}\mathit{\varphi }(x)\mathrm{d}x=-\underset{\partial E}{\int }⟨\mathit{\varphi },D{\chi }_E(x)⟩\mathit{\varphi }\in C_c^1(\mathrm{\Omega },{ℝ}^n)$

Questa è una versione del teorema della divergenza per domini con contorno non liscio. Il teorema di De Giorgi può essere utilizzato per formulare la stessa identità in termini di contorno ridotto ${\partial }^{*}E$ e il vettore normale approssimativo dell'unità di puntamento verso l'interno ${\nu }_E$. Esattamente, vale la seguente uguaglianza

$\underset{E}{\int }\mathrm{div}\mathit{\varphi }(x)\mathrm{d}x=-\underset{{\partial }^{*}E}{\int }\mathit{\varphi }(x)\cdot {\nu }_E(x)\mathrm{d}{\mathscr{H}}^{n-1}(x)\mathit{\varphi }\in C_c^1(\mathrm{\Omega },{ℝ}^n)$

Voci correlate

• Teoria geometrica della misura
• Teorema della divergenza
• Integrale di Pfeffer

Collegamenti esterni

• Template:SpringerEOM
• Template:SpringerEOM
• Funzione a variazione limitata in Encyclopedia of Mathematics