Sobolev-Poincaré inequalities for piecewise $W^{1,p}$ functions over general polytopic meshes

1. Problema e Contexto

O artigo aborda a necessidade de estabelecer desigualdades de Sobolev-Poincaré para funções do tipo $W^{1,p}$ definidas por partes (piecewise) em famílias de malhas polipédicas (polytopic meshes) gerais, em qualquer dimensão.

• Contexto Atual: Desigualdades desse tipo são ferramentas essenciais para a análise de métodos de elementos finitos não conformes (nonconforming finite elements) e métodos de volumes finitos.
• Limitações da Literatura Existente: Trabalhos anteriores (como os de Arnold, Brenner, Lasis e Suli) focaram frequentemente em malhas simpliciais ou cartesianas, em dimensões baixas (2D/3D), ou restringiram-se a espaços de polinômios. Muitas vezes, as constantes nas estimativas não eram explícitas em relação às propriedades geométricas da malha ou do domínio, o que dificulta a análise de convergência para métodos de alta ordem ou em geometrias complexas.
• Objetivo: Generalizar essas desigualdades para:
  1. Malhas polipédicas arbitrárias (com qualquer número de faces por elemento).
  2. Espaços $W^{1,p}$ quebrados (broken spaces), não apenas polinômios.
  3. Fornecer constantes explícitas que dependam da geometria do domínio e da regularidade da malha.

2. Metodologia

Os autores desenvolvem uma prova que não depende de operadores de enriquecimento (como em trabalhos anteriores) nem de imersões contínuas de espaços de variação limitada. Em vez disso, a metodologia baseia-se na generalização de dois resultados fundamentais da teoria de espaços de Sobolev:

1. Desigualdades de Traço de Sobolev (Sobolev-Trace Inequalities):

   • Os autores generalizam desigualdades de traço contínuas para malhas polipédicas.
   • Eles derivam estimativas explícitas para a norma $L^q$ na fronteira de um elemento em termos das normas $L^s$ e $W^{1, s/(s-q+1)}$ no interior do elemento.
   • A prova utiliza funções de Raviart-Thomas de ordem mais baixa em sub-simplices e o teorema da divergência, combinados com desigualdades de Hölder e Young.

2. Inversos à Direita Estáveis de $W^{1,p}$ do Operador Divergente (Babuška-Aziz Inequalities):

   • Um dos pilares do trabalho é a prova da existência de um inverso à direita do operador divergente ($\nabla \cdot v = f$) que seja estável na norma $W^{1,p}$ e satisfaça condições de contorno mistas (homogêneas em parte da fronteira $\Gamma_N$ e livres em $\Gamma_D$).
   • Para domínios não convexos, os autores utilizam uma técnica de extensão do domínio ($\Omega_{ext}$) para garantir que o domínio estendido seja estrelado (star-shaped) em relação a uma bola, permitindo a aplicação de resultados clássicos de estabilidade.
   • As constantes obtidas dependem explicitamente da convexidade do domínio, do raio da bola de estrelamento e das medidas relativas do domínio original e da extensão.

3. Principais Contribuições e Resultados

O artigo apresenta quatro teoremas principais e dois corolários:

• Teorema 1.1 e Corolário 1.2 (Desigualdades de Traço): Estabelecem desigualdades de traço para malhas polipédicas gerais com constantes explícitas dependentes do parâmetro de regularidade da malha ($\gamma$) e da dimensão.
• Teorema 1.4 (Inverso do Divergente com Condições Mistas): Prova a existência de um inverso à direita do divergente com estabilidade $W^{1,p}$ para condições de contorno mistas. O teorema fornece limites superiores explícitos para a constante de estabilidade, distinguindo entre casos convexos e não convexos.
• Teorema 1.5 (Desigualdade de Sobolev-Poincaré do Primeiro Tipo):
  • Estabelece uma desigualdade para a norma $L^{p^*}$ (expoente crítico de Sobolev) de uma função $v$ em termos da norma do gradiente quebrado $\|\nabla_h v\|_{L^p}$ e dos saltos (jumps) nas faces internas e de Dirichlet.
  • A norma dos saltos é medida em $L^{p^\sharp}$ (expoente de traço).
• Teorema 1.6 (Desigualdade de Sobolev-Poincaré do Segundo Tipo):
  • Fornece uma desigualdade com expoentes mais fracos, mas com uma estrutura de norma mais adequada para certos métodos numéricos.
  • Inclui termos de salto ponderados por fatores geométricos ($\tilde{h}_F$), permitindo flexibilidade na escolha da escala.
• Corolários 1.7 e 1.8 (Versões Médias):
  • Adaptam as desigualdades para espaços de elementos finitos não conformes específicos, como os espaços de Crouzeix-Raviart.
  • Substituem os saltos diretos pelos saltos projetados em constantes médias nas faces ($\Pi^0_{F_n} [[v]]$), o que é crucial para a análise de métodos de Galerkin descontínuos (DG) e métodos polipédicos (PolyDG).

4. Significado e Impacto

• Aplicabilidade em Métodos Não Conformes: As desigualdades são fundamentais para provar a bem-postura (well-posedness) e a convergência de métodos de elementos finitos não conformes em malhas polipédicas, incluindo métodos de alta ordem e métodos baseados em aglomerados de elementos (agglomerated meshes).
• Constantes Explícitas: A grande vantagem deste trabalho é que todas as constantes nas estimativas são explícitas em relação às propriedades geométricas (diâmetro do domínio, raio de estrelamento, regularidade da malha). Isso é vital para a análise de convergência dos métodos $p$ e $hp$ sob hipóteses mínimas de regularidade.
• Generalidade: Os resultados cobrem uma classe muito mais ampla de malhas do que a literatura anterior, incluindo malhas com elementos de número arbitrário de faces e malhas não conformes clássicas.
• Problemas Não Lineares e Condições de Contorno Mistas: A metodologia permite a análise de problemas não lineares e a incorporação natural de condições de contorno mistas (Dirichlet e Neumann), algo que era difícil de tratar com as ferramentas anteriores.
• Ferramenta para Métodos Modernos: O trabalho fornece a base teórica necessária para o desenvolvimento e análise de métodos modernos como IPDG (Interior Penalty Discontinuous Galerkin), WOPSIP e métodos Trefftz em geometrias complexas.

Em resumo, o artigo preenche uma lacuna teórica importante ao fornecer ferramentas analíticas robustas e com constantes explícitas para a análise de métodos numéricos avançados em malhas polipédicas gerais, superando as limitações de trabalhos anteriores focados em malhas simpliciais ou espaços polinomiais restritos.