Cohomology of Finite Element Stokes Complexes on Alfeld Splits

Sintesi Tecnica: Coomologia di Complessi di Stokes a Elementi Finiti su Split di Alfeld

Enunciato del Problema
Il documento affronta la costruzione e l'analisi di discretizzazioni a elementi finiti conformi per il complesso di Stokes con condizioni al contorno miste su domini poliedrici in $\mathbb{R}^3$. Il complesso di Stokes è una sequenza di spazi di funzioni e operatori differenziali:
$$0 \to H^2_{\Gamma_0}(\Omega) \xrightarrow{\text{grad}} H^1_{\Gamma_0}(\Omega; \text{curl}) \xrightarrow{\text{curl}} H^1_{\Gamma_0}(\Omega)^3 \xrightarrow{\text{div}} L^2(\Omega) \to 0$$
dove $\Gamma_0$ e $\Gamma_1$ partizionano il bordo $\partial\Omega$. Gli autori si concentrano sulla discretizzazione di questo complesso utilizzando spazi polinomiali a pezzi su mesh con split di Alfeld (tetraedri suddivisi collegando i vertici al baricentro).

Una sfida critica nella teoria del calcolo esterno a elementi finiti (FEEC) è garantire che il complesso discreto preservi le proprietà topologiche del complesso continuo, ovvero la sua coomologia. I gruppi coomologici caratterizzano i kernel degli operatori modulo gli range degli operatori precedenti. La coomologia dei complessi di Stokes sub-conformi su domini non banali con condizioni al contorno miste non era stata pienamente affrontata in letteratura prima di questo lavoro.

Metodologia
Gli autori impiegano un framework basato su strutture di traccia, spazi bubble e complessi scheletrici, estendendo la metodologia sviluppata in [26] per gestire le condizioni al contorno miste e i requisiti di regolarità specifici del complesso di Stokes.

1. Spazi Polinomiali Completi: Gli autori analizzano innanzitutto il "pieno" complesso di Stokes a elementi finiti definito su split di Alfeld (dove gli spazi consistono in polinomi di grado elevato $p \ge 3$ con specifici requisiti di continuità: $C^2$ nei vertici per lo spazio scalare, $C^1$ per lo spazio vettoriale). Definiscono operatori di traccia su sottosimplessi (vertici, spigoli, facce) e costruiscono spazi bubble per decomporre gli spazi globali a elementi finiti.
2. Gestione delle Condizioni al Contorno: Un contributo metodologico significativo è la modifica della struttura di traccia per tenere conto delle condizioni al contorno miste. Gli autori identificano che le condizioni di traccia standard non impongono automaticamente la necessaria svanenza delle derivate sulle porzioni "piatte" del bordo $\Gamma_0$. Introducono spazi bubble per i vertici modificati ($B_{0,nn}$ e $B_{1,nn}$) che impongono specifici vincoli sulla derivata normale sulle facce piatte del bordo, garantendo che gli spazi discreti soddisfino le condizioni al contorno richieste ($H^k_{\Gamma_0}$).
3. Complessi Minimi: Gli autori cercano "complessi minimi" dove i gradi dei polinomi sono ridotti il più possibile pur mantenendo l'esattezza del complesso locale e l'isomorfismo della coomologia globale. Utilizzano l'elemento di Guzmán-Neilan (lo spazio di velocità a più basso ordine conforme a $H^1$) e costanti a tratti per la pressione. Costruiscono nuovi spazi conformi a $H^2$ e $H^1(\text{curl})$ a minore dimensione che contengono i polinomi completi di ordine minimo ma soddisfano i vincoli necessari per formare una sequenza esatta.
4. Analisi della Coomologia: Stabilendo una decomposizione in somma diretta degli spazi discreti in componenti scheletriche (basate sui vertici) e bubble, gli autori dimostrano che la coomologia del complesso discreto è isomorfa alla coomologia di un complesso di cocatene simpliciali relativo. Ciò consente di sfruttare i risultati noti che collegano la coomologia simpliciale ai numeri di Betti relativi del dominio.
5. Proiezioni: Il documento costruisce proiezioni di cocatene commutanti di tipo Scott-Zhang limitate per i complessi minimi, garantendo la stabilità e la commutatività con gli operatori differenziali.

Contributi Chiave e Risultati

1. Isomorfismo delle Coomologie (Complesso Pieno): Gli autori dimostrano che il complesso di Stokes discreto formato dagli spazi polinomiali completi su split di Alfeld (come definito in [19]) ha una coomologia isomorfa alla coomologia continua del complesso di Stokes per qualsiasi dominio Lipschitz forte limitato con condizioni al contorno miste. Nello specifico, $\dim H^{k,h}_{\Gamma_0} = \dim H^k_{\Gamma_0} = b_k(\Omega, \Gamma_0)$, dove $b_k$ sono i numeri di Betti relativi. Questo estende i risultati precedenti da [19] a domini non banali e condizioni al contorno miste.

2. Costruzione di Complessi Minimi: Il documento costruisce nuovi complessi a elementi finiti conformi "minimi".

   • Lo spazio conforme a $L^2$ è costituito da costanti a tratti ($DG_0$).
   • Lo spazio conforme a $H^1$ è l'elemento di Guzmán-Neilan.
   • Nuovi spazi conformi a $H^2$ e $H^1(\text{curl})$ a minore dimensione sono costruiti per completare il complesso.
   • Si dimostra che questi spazi minimi formano complessi locali esatti e possiedono coomologie globali isomorfe al complesso continuo.

3. Proiezioni Commutanti Limitate: Gli autori costruiscono proiezioni di cocatene commutanti e limitate per i complessi minimi. Queste proiezioni preservano le condizioni al contorno e commutano con gli operatori gradiente, rotore (curl) e divergenza, una proprietà cruciale per la stabilità degli schemi numerici e il precondizionamento.

4. Gradi di Libertà: Il documento caratterizza esplicitamente gli insiemi unisolventi dei gradi di libertà per i nuovi spazi minimi, che includono valori nei vertici, derivate di ordine superiore e integrali su spigoli/facce, analogamente alle forme di Whitney ma adattate per la maggiore regolarità del complesso di Stokes.

Significato
Il documento rivendica importanza in diverse aree:

• Completezza Teorica: Colma una lacuna nella letteratura stabilendo rigorosamente la coomologia dei complessi di Stokes conformi a elementi finiti su domini non banali con condizioni al contorno miste.
• Robustezza: Dimostrando l'isomorfismo delle coomologie, i risultati garantiscono che gli schemi numerici basati su questi complessi (come quelli per Navier-Stokes incomprimibile o la teoria dello stress di coppia) erediteranno le proprietà topologiche del problema continuo, portando a conservazione della massa, robustezza della pressione e stabilità uniforme.
• Efficienza: La costruzione di complessi "minimi" fornisce una via per metodi a elementi finiti di ordine inferiore e computazionalmente meno onerosi che non sacrificano l'integrità strutturale (coomologia) richiesta per la robustezza.
• Precondizionamento: La caratterizzazione della coomologia e l'esistenza di proiezioni commutanti limitate sono essenziali per la costruzione di robusti precondizionatori per problemi dipendenti da parametri derivanti dal complesso di Stokes.

Il lavoro si basa sul framework di [26] ed estende tale approccio al contesto specifico del complesso di Stokes e degli split di Alfeld, fornendo una base per future applicazioni in fluidodinamica ed elasticità dove questi specifici vincoli topologici sono vitali.