An Interface Green's Function Framework for Complete Discrete $W^{1,\infty}$ Analysis of Discontinuous Galerkin Methods

Resumo Técnico: Um Framework de Função de Green de Interface para uma Análise Completa de $W^{1,\infty}$ Discreta de Métodos de Discontinuous Galerkin

Enunciado do Problema
A análise de erro pontual de métodos de Discontinuous Galerkin (DG) tem sido uma área significativa de pesquisa, com a literatura existente estabelecendo estimativas de erro ótimas na norma $L^\infty$ e na seminorma $W^{1,\infty}$ quebrada. No entanto, uma lacuna teórica crítica permanece: a seminorma $W^{1,\infty}$ quebrada, definida como $\|\nabla(u - u_h)\|_{L^\infty_h(\Omega)}$, falha em controlar descontinuidades através de interfaces de malha. Consequentemente, as análises existentes não fornecem controle direto sobre saltos de interface, que são intrínsecos a aproximações descontínuas e vitais para estabilidade, conservação e pós-processamento. Além disso, em domínios poliédricos convexos, onde princípios máximos discretos fracos são atualmente indisponíveis para métodos DG, derivar estimativas ótimas sem fatores logarítmicos subótimos (por exemplo, $|\ln h|^\beta$) tem sido um desafio persistente, particularmente para graus polinomiais superiores a um.

Metodologia
Os autores propõem um novo framework de função de Green de interface para alcançar uma análise $W^{1,\infty}$ discreta completa. A inovação metodológica central diverge das análises clássicas de função de Green, que tipicamente utilizam uma única função delta discreta para estimar a solução ou seu gradiente. Em vez disso, este framework introduz funções de Green de interface geradas pela diferença entre funções delta discretas adjacentes.

1. Definição de Funções de Green de Interface:

   • Para interfaces de malha interiores, o framework define uma função de Green $\Gamma_{if}$ satisfazendo $-\Delta \Gamma_{if} = \delta_{h, K_+^*} - \delta_{h, K_-^*}$, onde $\delta_{h, K}$ representa uma função delta discreta suave suportada no elemento $K$. Este termo de fonte representa naturalmente o salto de aproximações descontínuas através da interface.
   • Para faces de contorno, uma função de Green $\Gamma_{bf}$ semelhante é definida usando uma única função delta discreta.

2. Fórmulas de Representação:
   Os saltos das soluções numéricas (e de seus gradientes) são representados usando estas funções de Green de interface e suas aproximações DG. Isso reduz a estimativa de quantidades de interface para o erro de aproximação das próprias funções de Green de interface.

3. Ingrediente Analítico Chave: Estimativas de Energia Local:
   A prova baseia-se em uma nova estimativa de energia local para estas funções de Green de interface, estabelecida via decomposição diadica do domínio.

   • Os autores empregam um argumento de expansão de Taylor em relação à variável de fonte.
   • Crucialmente, a diferença entre funções delta discretas vizinhas ($\delta_{h, K_+^*} - \delta_{h, K_-^*}$) cria um efeito de cancelamento ao nível da fonte singular.
   • Este cancelamento remove a contribuição singular dominante, produzindo estimativas locais mais aguçadas (especificamente, um fator adicional de $h$) comparadas às estimativas clássicas.
   • Esta melhoria permite a derivação de estimativas de interface sem introduzir fatores logarítmicos que tipicamente surgem da aplicação direta de desigualdades de traço discretas combinadas com as estimativas de norma máxima existentes.

Principais Contribuições e Resultados
O artigo estabelece uma teoria $W^{1,\infty}$ discreta "completa", definida pela norma:
$$|||v|||_{W^{1,\infty}_h(\Omega)} = \max_{K \in \mathcal{T}_h} \|\nabla v\|_{L^\infty(K)} + \max_{F \in \mathcal{E}_h} h_F^{-1} \|[v]\|_{L^\infty(F)}$$
Esta norma mede simultaneamente o gradiente quebrado e os saltos de interface escalonados.

O framework é aplicado aos seguintes métodos em domínios poliédricos convexos para a equação de Poisson:

• Método de Symmetric Interior Penalty DG (IPDG).
• Método de Hybrid Mixed DG.
• Dois métodos representativos de Hybridizable DG (HDG-1 e HDG-2).

Principais Resultados Teóricos:

• Estimativas de Salto Ótimas: Os autores provam estimativas de norma máxima ótimas para os saltos da interface $[u - u_h]$ e fluxos numéricos, removendo o fator logarítmico $\beta$ que anteriormente aparecia em estimativas em domínios poliédricos convexos.
• Limites de Erro Completos: Eles derivam estimativas de erro ótimas para os gradientes quebrados e saltos de interface simultaneamente, completando a análise pontual para estes métodos.
• Extensão para Problemas de Quarta Ordem: O framework é estendido para o método $C^0$ interior penalty para a equação biarmônica. Os autores derivam novas estimativas de norma máxima para os saltos da derivada normal, uma quantidade anteriormente não tratada na análise pontual para este método.

Significância e Alegações
O artigo alega que sua principal contribuição é metodológica. Ao introduzir funções de Green de interface baseadas na diferença de funções delta discretas, os autores superam a barreira fundamental da falta de princípios máximos discretos fracos para métodos DG em domínios poliédricos convexos.

• Remoção de Fatores Logarítmicos: O framework elimina com sucesso os fatores logarítmicos subótimos herdados das abordagens clássicas de desigualdade de traço, fornecendo estimativas ótimas para graus polinomiais superiores a um.
• Generalidade: A construção depende da estrutura descontínua local da aproximação, em vez da formulação numérica específica. Os autores afirmam que a metodologia é suficientemente geral para ser aplicável a uma ampla classe de métodos de elementos finitos descontínuos e não conformes.
• Completude: O trabalho fornece a primeira análise $W^{1,\infty}$ discreta completa que controla simultaneamente gradientes quebrados e saltos de interface para os métodos DG especificados, preenchendo uma lacuna crítica no entendimento teórico de aproximações pontuais para métodos descontínuos.