Gaffney's Inequality and the Closed Range Property of the De Rham Complex in Unbounded Domains

1. Il Problema

Il lavoro si concentra sulla proprietà di chiusura dell'immagine (closed range) degli operatori differenziali che compongono il complesso di de Rham (gradiente $\nabla$, rotore $\text{rot}$, divergenza $\text{div}$) in domini non limitati (unbounded) in $\mathbb{R}^3$, nello spazio $L^2$ non pesato.

In domini limitati e sufficientemente regolari, la chiusura dell'immagine è una conseguenza diretta dei teoremi di immersione compatta (Rellich-Kondrachov). Tuttavia, per domini non limitati (come cilindri infiniti, spazi esterni, ecc.), queste immersioni non sono più valide, rendendo la dimostrazione della chiusura dell'immagine un problema aperto e non banale.
L'obiettivo principale è caratterizzare esattamente quando gli operatori $\text{rot}$ (e i suoi adjunti) hanno immagine chiusa in funzione della geometria del dominio, specificamente in base al numero di direzioni in cui il dominio è limitato.

2. Metodologia

Gli autori adottano un approccio funzionale-analitico basato su tre pilastri fondamentali:

1. Teorema di Banach sull'immagine chiusa: Per dimostrare che un operatore lineare chiuso $A$ ha immagine chiusa, è sufficiente provare una disuguaglianza di tipo "closed range" (o stima di Friedrichs/Poincaré):
   $$\|x\| \leq c \|Ax\| \quad \forall x \in D(A) \cap N(A)^\perp$$
   dove $N(A)$ è il nucleo dell'operatore.

2. Disuguaglianza di Gaffney: Il cuore tecnico del lavoro è l'estensione e l'applicazione della disuguaglianza di Gaffney. Questa disuguaglianza lega la norma $L^2$ del gradiente di un campo vettoriale alla norma delle sue componenti rotore e divergenza:
   $$\|\nabla E\|_{L^2}^2 \leq \|\text{rot } E\|_{L^2}^2 + \|\text{div } E\|_{L^2}^2$$
   Gli autori dimostrano che questa disuguaglianza (insieme alla regolarità $H^1$) vale per domini convessi, anche se non limitati. Questo permette di ridurre il problema della chiusura dell'immagine del rotore a quello della stima di Friedrichs per il gradiente scalare.

3. Trasformazioni Bi-Lipschitz: Per generalizzare i risultati da domini semplici (cuboidi) a domini più complessi (confronti curvi, domini globali Lipschitz), gli autori utilizzano il teorema di invarianza della chiusura dell'immagine sotto trasformazioni bi-Lipschitz globali. Questo permette di trasferire le proprietà analitiche da un dominio "modello" (un cuboide) a un dominio deformato.

3. Contributi Chiave

• Caratterizzazione Geometrica Precisa: Il contributo principale è la dimostrazione che la chiusura dell'immagine degli operatori del complesso di de Rham dipende esclusivamente dal numero di direzioni limitate ($d_\Omega$) del dominio:

  • Gradiente ($\nabla$) e Divergenza ($\text{div}$): L'immagine è chiusa se e solo se il dominio è limitato in almeno una direzione ($d_\Omega \geq 1$).
  • Rotore ($\text{rot}$): L'immagine è chiusa se e solo se il dominio è limitato in almeno due direzioni ($d_\Omega \geq 2$).
  • Divergenza con condizioni al contorno nulle ($\text{div}$ con condizioni normali nulle): L'immagine è chiusa se e solo se il dominio è limitato in tre direzioni (cioè è un dominio limitato, $d_\Omega = 3$).

• Dimostrazioni Elementari per Domini Convessi: Gli autori forniscono dimostrazioni accessibili e auto-contenute della disuguaglianza di Gaffney per domini convessi (limitati e non), evitando tecniche di traccia complesse o sistemi ellittici di secondo ordine, basandosi invece su integrazioni per parti e approssimazioni.

• Controesempi e Sharpness: Vengono costruiti controesempi espliciti (utilizzando sequenze di funzioni costruite ad hoc) per dimostrare che le condizioni sopra sono necessarie. Ad esempio, se un dominio è limitato solo in una direzione, l'operatore rotore non ha immagine chiusa.

• Casi con Condizioni al Contorno Miste: Il paper presenta un esempio non banale in cui l'operatore rotore ha immagine chiusa anche se il dominio è limitato solo in una direzione, a patto di utilizzare condizioni al contorno miste (tangenziali su una faccia, normali sull'altra). Questo mostra che la geometria del dominio non è l'unico fattore, ma anche la scelta delle condizioni al contorno gioca un ruolo cruciale.

4. Risultati Principali

• Teorema 4.5 (Disuguaglianza di Gaffney): Per ogni dominio convesso $\Omega \subseteq \mathbb{R}^3$ (anche non limitato), se un campo vettoriale $E$ appartiene a $H(\text{rot}) \cap H(\text{div})$ (con opportune condizioni al contorno), allora $E \in H^1(\Omega)$ e vale la stima di Gaffney con costante 1.
• Teorema 5.4 e 5.6 (Risultati sui Cuboidi): Per un cuboide $Q = I_1 \times I_2 \times I_3$, l'immagine di $\text{rot}$ è chiusa se e solo se almeno due intervalli $I_j$ sono limitati.
• Teorema 6.2 (Teorema Principale): Per un dominio globale Lipschitz $\Omega$ (immagine di un cuboide tramite trasformazione bi-Lipschitz), le equivalenze di chiusura dell'immagine sono determinate dal numero di direzioni limitate $d_\Omega$:
  • $R(\nabla)$ chiusa $\iff d_\Omega \geq 1$.
  • $R(\text{rot})$ chiusa $\iff d_\Omega \geq 2$.
  • $R(\text{div})$ chiusa $\iff d_\Omega = 3$.

5. Significato e Applicazioni

• Stabilità Esponenziale delle Equazioni di Maxwell: Il risultato più rilevante dal punto di vista applicativo riguarda l'operatore di Maxwell. La chiusura dell'immagine del rotore in domini limitati in due direzioni (come guide d'onda o cilindri infiniti) garantisce l'esistenza di un gap spettrale attorno allo zero per l'operatore di Maxwell. Questo è fondamentale per dimostrare la stabilità esponenziale delle soluzioni delle equazioni di Maxwell con smorzamento (conduttività), anche in domini non limitati.
• Asintotica a Bassa Frequenza: La chiusura dell'immagine permette di sviluppare teorie di soluzione robuste per equazioni alle derivate parziali e di analizzare il comportamento asintotico delle soluzioni a bassa frequenza (low frequency asymptotics) in contesti fisici reali.
• Generalizzazione dei Risultati: Il lavoro supera le limitazioni dei risultati precedenti che richiedevano domini limitati o spazi pesati, fornendo un quadro teorico unificato per domini non limitati in spazi $L^2$ standard, con implicazioni per la fisica matematica e l'ingegneria delle onde elettromagnetiche.

In sintesi, il paper risolve un problema fondamentale dell'analisi funzionale applicata alle equazioni di Maxwell, collegando rigorosamente la geometria del dominio (numero di direzioni limitate) alle proprietà spettrali e di stabilità degli operatori differenziali, utilizzando la disuguaglianza di Gaffney come strumento centrale.