An Approximate Bounded Cochain Projection

Resumen Técnico: Una Proyección de Co-cadena Acotada Aproximada

Planteamiento del Problema
El artículo aborda la construcción de un proyectante, $\Pi^{(k)}$, que mapea un complejo de Hilbert de formas diferenciales de dimensión infinita, $H\Lambda^{(k)}(\Omega)$, sobre un subcomplejo de polinomios por trozos de dimensión finita, $H\Lambda^{(k)}_h(\Omega)$. El objetivo es satisfacer tres propiedades específicas características de un "proyectante de co-cadena acotado":

1. Idempotencia: $\Pi^{(k)}\Pi^{(k)} = \Pi^{(k)}$.
2. Acotación Uniforme: El proyectante es acotado en la norma de Sobolev ($H\Lambda^{(k)}$) con una constante independiente del parámetro de malla $h$.
3. Propiedad Conmutativa: El proyectante conmuta con la derivada exterior ($d$), de tal manera que $d\Pi^{(k)} = \Pi^{(k+1)}d$.

Aunque los proyectantes de co-cadena acotados están bien establecidos para dominios contractibles (donde el complejo de de Rham es exacto), el artículo destaca una dificultad en dominios no contractibles. En tales dominios, el complejo posee una cohomología no trivial (formas armónicas). Las construcciones estándar a menudo fallan al mantener la acotación uniforme o la conmutatividad exacta cuando el subespacio de dimensión finita no captura perfectamente la topología del dominio (es decir, cuando la brecha entre los espacios armónicos de dimensión infin 아니라 y de dimensión finita es distinta de cero).

Metodología
Los autores proponen una construcción basada en una formulación mixta aumentada y un complejo discreto de dos niveles.

1. Formulación Mixta Aumentada:
   En lugar de depender de operadores de suavizado seguidos de interpolación (que pueden carecer de acotación uniforme en la norma $H\Lambda$), los autores definen el proyectante $\Pi^{(k)}$ mediante un problema variacional. Dado $\phi^{(k)} \in H\Lambda^{(k)}(\Omega)$, el proyectante busca $\lambda^{(i)} \in H\Lambda^{(i)}_h(\Omega)$ y una variable armónica $h^{(k+1)} \in H^{(k+1)}_h$ que satisfaga un sistema de ecuaciones simétrico.

   • Este sistema introduce un multiplicador de Lagrange, $h^{(k+1)}$, que impone la restricción de que la derivada proyectada pertenezca al espacio de formas exactas.
   • Los autores prueban la bien-posedad de este sistema utilizando condiciones de estabilidad, incluyendo la coercitividad de la forma bilineal en formas cerradas y condiciones inf-sup para la derivada exterior y el espacio armónico.

2. Propiedades del Sistema Aumentado:

   • Idempotencia: Se prueba mostrando que si la entrada ya está en el espacio de dimensión finita, la solución del sistema mixto es la propia entrada.
   • Acotación: Se prueba mediante la descomposición de la solución en componentes cerradas y ortogonales, utilizando la desigualdad de Poincaré para acotar las normas $L^2$ y de gráfico.
   • Propiedad Conmutativa: El artículo demuestra que el proyectante conmuta con $d$ si el dominio es contractible o si el espacio de dimensión finita es "topológicamente conforme" (es decir, la brecha entre los espacios armónicos discretos y continuos es cero). Si el espacio no es topológicamente conforme, el multiplicador armónico $h^{(k+1)}$ es no nulo, representando la inconsistencia topológica, y la propiedad conmutativa se cumple solo hasta la magnitud de este error.

3. Proyección de Co-cadena Acotada Aproximada (Construcción de Dos Niveles):
   Para abordar dominios no contractibles donde el espacio discreto puede no ser topológicamente conforme, los autores proponen la composición de dos operadores:

   • Paso 1: Un proyectante $\Pi^{(k)}$ que mapea el espacio de dimensión infinita a un espacio de dimensión finita enriquecido $\tilde{H}\Lambda^{(k)}_h(\Omega)$. Este espacio enriquecido se construye para ser topológicamente conforme (brecha = 0).
   • Paso 2: Un proyectante canónico $\Pi^{(k)}_C$ que mapea el espacio enriquecido $\tilde{H}\Lambda^{(k)}_h(\Omega)$ hacia el espacio computacional objetivo $H\Lambda^{(k)}_h(\Omega)$.
     La composición $\Pi^{(k)}_C \Pi^{(k)}$ sirve como el proyectante de co-cadena acotada aproximado final.

Contribuciones Clave y Resultados

• Construcción de un Proyectante Acotado: El artículo proporciona una construcción rigurosa de un proyectante que es idempotente y uniformemente acotado en la norma de Sobolev tanto para dominios contractibles como no contractibles.
• Tratamiento de Dominios No Contractibles: Los autores muestran que, en dominios no contractibles, la propiedad conmutativa se satisface exactamente si el espacio armónico discreto es topológicamente conforme. Si no lo es, el error en la conmutatividad se cuantifica mediante el multiplicador armónico $h^{(k+1)}$, el cual mide la discrepancia topológica.
• Estabilidad Discreta: A diferencia de construcciones previas que dependen de regularizaciones continuas, este enfoque utiliza una formulación mixta que evita las dificultades analíticas asociadas con los inversos derechos continuos de la derivada exterior.
• Conmutatividad Aproximada: El artículo demuestra que, al utilizar un enfoque de dos niveles (enriqueciendo el espacio para resolver la topología antes de proyectar al espacio final), se puede lograr un proyectante que es acotado y conmuta con la derivada exterior con una precisión arbitraria.

Significancia y Reivindicaciones
El artículo afirma presentar una construcción de un proyectante que cumple con las tres propiedades definitorias de una proyección de co-cadena acotada. Específicamente, sostiene que:

• En dominios contractibles, el proyectante propuesto es idempotente, uniformemente acotado y conmuta exactamente con la derivada exterior.
• En dominios no contractibles, el proyectante permanece idempotente y uniformemente acotado. La propiedad conmutativa se satisface "hasta una precisión arbitraria", lo que significa que el error puede hacerse arbitrariamente pequeño mediante el refinamiento de la resolución topológica del espacio intermedio (por ejemplo, mediante el refinamiento $p$ hasta que el multiplicador armónico desaparezca hasta la precisión de la máquina).

Este trabajo se basa en el marco de la Cálculo Exterior de Elementos Finitos (FEEC), refinando ideas existentes sobre construcciones locales y condiciones de contorno. Se distingue al ofrecer una construcción que es "totalmente local" en el sentido de evitar inversos derechos continuos, recurriendo en su lugar a problemas discretos planteados en un refinamiento auxiliar para manejar las restricciones topológicas. Los autores posicionan esto como un método para asegurar la estabilidad y consistencia en métodos numéricos de formas diferenciales en geometrías complejas.