An Approximate Bounded Cochain Projection

Technische Samenvatting: Een Benaderende Begrensde Cochain-projectie

Probleemstelling
Het artikel behandelt de constructie van een projectie, $\Pi^{(k)}$, die een oneindig-dimensionale Hilbert-complex van differentiële $k$-vormen, $H\Lambda^{(k)}(\Omega)$, afbeeldt op een eind-dimensionale stuksgewijze polynoom sub-complex, $H\Lambda^{(k)}_h(\Omega)$. Het doel is om drie specifieke eigenschappen te vervullen die kenmerkend zijn voor een "begrensde cochain-projectie":

1. Idempotentie: $\Pi^{(k)}\Pi^{(k)} = \Pi^{(k)}$.
2. Uniforme Begrensdheid: De projectie is begrensd in de Sobolev-norm ($H\Lambda^{(k)}$) met een constante die onafhankelijk is van de mesh-parameter $h$.
3. Commuterende Eigenschap: De projectie commuteert met de externe afgeleide ($d$), zodanig dat $d\Pi^{(k)} = \Pi^{(k+1)}d$.

Hoewel begrensde cochain-projecties goed gevestigd zijn voor contractibele domeinen (waar het de Rham-complex exact is), benadrukt het artikel een moeilijkheid op niet-contractibele domeinen. Op dergelijke domeinen bezit het complex niet-triviale cohomologie (harmonische vormen). Standaardconstructies falen vaak in het handhaven van uniforme begrensdheid of exacte commutativiteit wanneer de eind-dimensionale subruimte de topologie van het domein niet perfect vastlegt (d.w.z. wanneer de kloof tussen de oneindig-dimensionale en de eind-dimensionale harmonische ruimtes niet nul is).

Methodologie
De auteurs stellen een constructie voor die gebaseerd is op een geaugmenteerde gemengde formulering en een twee-niveau discrete complex.

1. Geaugmenteerde Gemengde Formulering:
   In plaats van te vertrouwen op smoothing-operatoren gevolgd door interpolatie (wat een gebrek aan uniforme begrensdheid in de $H\Lambda$-norm kan hebben), definiëren de auteurs de projectie $\Pi^{(k)}$ via een variationeel probleem. Gegeven $\phi^{(k)} \in H\Lambda^{(k)}(\Omega)$, zoekt de projectie naar $\lambda^{(i)} \in H\Lambda^{(i)}_h(\Omega)$ en een harmonische variabele $h^{(k+1)} \in H^{(k+1)}_h$ die een symmetrisch stelsel van vergelijkingen voldoet.

   • Dit stelsel introduceert een Lagrange-multiplier, $h^{(k+1)}$, die de restrictie afdwingt dat de geprojecteerde afgeleide in de ruimte van exacte vormen ligt.
   • De auteurs bewijzen de wel-geponeerdheid van dit stelsel met behulp van stabiliteitscondities, inclus\nief de coërciviteit van de bilineaire vorm op gesloten vormen en inf-sup condities voor de externe afgeleide en de harmonische ruimte.

2. Eigenschappen van het Geaugmenteerde Stelsel:

   • Idempotentie: Bewezen door aan te tonen dat als de input reeds in de eind-dimensionale ruimte zit, de oplossing van het gemengde stelsel de input zelf is.
   • Begrensdheid: Bewezen door de oplossing te decomponeren in gesloten en orthogonale componenten, waarbij gebruik wordt gemaakt van de Poincaré-ongelijkheid om de $L^2$- en graafnormen te begrenzen.
   • Commuterende Eigenschap: Het artikel demonstreert dat de projectie commuteert met $d$ als het domein contractibel is of als de eind-dimensionale ruimte "topologisch conform" is (d.w.z. de kloof tussen de discrete en de continue harmonische ruimtes nul is). Als de ruimte niet topologisch conform is, is de harmonische multiplier $h^{(k+1)}$ niet nul, wat de topologische inconsistentie vertegenwoordigt, en de commuterende eigenschap geldt slechts tot de grootte van deze fout.

3. Benaderende Begrensde Cochain-projectie (Twee-niveau Constructie):
   Om niet-contractibele domeinen aan te pakken waar de discrete ruimte mogelijk niet topologisch conform is, stellen de auteurs een compositie voor van twee operatoren:

   • Stap 1: Een projectie $\Pi^{(k)}$ die de oneindig-dimensionale ruimte afbeeldt op een verrijkte eind-dimensionale ruimte $\tilde{H}\Lambda^{(k)}_h(\Omega)$. Deze verrijkte ruimte is geconstrueerd om topologisch conform te zijn (kloof = 0).
   • Stap 2: Een canonieke projectie $\Pi^{(k)}_C$ die de verrijkte ruimte $\tilde{H}\Lambda^{(k)}_h(\Omega)$ afbeeldt op de doel-computationele ruimte $H\Lambda^{(k)}_h(\Omega)$.
     De compositie $\Pi^{(k)}_C \Pi^{(k)}$ dient als de uiteindelijke benaderende begrensde cochain-projectie.

Belangrijkste Bijdragen en Resultaten

• Constructie van een Begrensde Projectie: Het artikel biedt een rigoureuze constructie van een projectie die idempotent en uniform begrensd is in de Sobolev-norm voor zowel contractibele als niet-contractibele domeinen.
• Afhandeling van Niet-Contractibele Domeinen: De auteurs tonen aan dat op niet-contractibele domeinen de commuterende eigenschap exact wordt voldaan als de discrete harmonische ruimte topologisch conform is. Indien dit niet het geval is, wordt de fout in commutativiteit gekwantificeerd door de harmonische multiplier $h^{(k+1)}$, die de topologische discrepantie meet.
• Discrete Stabiliteit: In tegenstelling tot eerdere constructies die steunen op continue regularisaties, gebruikt deze aanpak een gemengde formulering die analytische moeilijkheden gerelateerd aan continue rechtse inversen van de externe afgeleide vermijdt.
• Benaderende Commutativiteit: Het artikel demonstreert dat door een twee-niveau aanpak te gebruiken (het verrijken van de ruimte om de topologie op te lossen voordat men naar de uiteindelijke mesh projecteert), men een projectie kan verkrijgen die begrensd is en commuteert met de externe afgeleide tot een willekeurige nauwkeurigheid.

Betekenis en Claims
Het artikel claimt een constructie van een projectie te presenteren die de drie definiërende eigenschappen van een begrensde cochain-projectie vervult. Specifiek stelt het dat:

• Op contractibele domeinen, de voorgestelde projectie idempotent is, uniform begrensd is en exact commuteert met de externe afgeleide.
• Op niet-contractibele domeinen, de projectie idempotent en uniform begrensd blijft. De commuterende eigenschap wordt voldaan "tot een willekeurige nauwkeurigheid", wat betekent dat de fout de willekeurige nauwkeurigheid kan benaderen door de topologische resolutie van de tussenliggende ruimte te verfijnen (bijv. via $p$-verfijning totdat de harmonische multiplier verdwijnt tot machineprecisie).

Dit werk bouwt voort op het Finite Element Exterior Calculus (FEEC) raamwerk en verfijnt bestaande ideeën met betrekking tot lokale constructies en randvoorwaarden. Het onderscheidt zich door een constructie te bieden die "volledig lokaal" is in de zin dat het geen continue rechtse inversen vereist, maar in plaats daarvan vertrouwt op discrete problemen geposeerd op een hulp-verfijning om de topologische restricties te hanteren. De auteurs positioneren dit als een methode om stabiliteit en consistentie in numerieke methoden voor differentiële vormen op complexe geometrieën te waarborgen.