Density of Neumann regular smooth functions in Sobolev spaces of subanalytic manifolds

1. Problema e Contexto

O artigo investiga a densidade de funções suaves ($C^\infty$) que satisfazem a condição de Neumann regular em espaços de Sobolev $W^{1,p}(M)$, onde $M$ é uma variedade subanalítica limitada e suave ($C^\infty$) em $\mathbb{R}^n$.

• Definição de Função Neumann Regular: Uma função $u$ é dita Neumann regular se é suave na maioria dos pontos da fronteira e seu gradiente é tangente à fronteira (ou seja, a derivada normal é zero: $\nabla u \cdot n = 0$).
• Motivação: Em domínios com singularidades (não necessariamente Lipschitz), as formulações fracas de Equações Diferenciais Parciais (EDPs), como a equação de Laplace com condições de Neumann ou mistas, exigem que o espaço de funções de teste seja denso no espaço de Sobolev.
• O Desafio: Em domínios gerais, a densidade de funções suaves até a fronteira falha para certos valores de $p$. O artigo busca caracterizar exatamente quando a densidade de funções Neumann regulares ocorre, considerando a geometria das singularidades da fronteira de $M$.

2. Metodologia

A abordagem combina geometria subanalítica, teoria de espaços de Sobolev em domínios singulares e técnicas de aproximação construtiva.

• Geometria Subanalítica: O autor utiliza a categoria subanalítica (que inclui conjuntos definidos por desigualdades analíticas e é estável sob projeções e operações booleanas) para garantir propriedades de finitude, como decomposição celular e estratificação.
• Estratificação e Fronteira: A fronteira $\partial M$ é analisada através de estratificações que satisfazem a condição de fronteira (Whitney). O autor distingue entre o locus regular da fronteira ($\Gamma$) e as singularidades.
• Conectividade: Um conceito central é a "conectividade em um ponto de fronteira". Diz-se que $M$ é conexo em $x_0 \in \partial M$ se a interseção de uma bola pequena centrada em $x_0$ com $M$ for um conjunto conexo.
• Construção de Partições da Unidade: Para provar a densidade no caso de $p$ grande, o autor constrói explicitamente partições da unidade Lipschitzianas compostas exclusivamente por funções Neumann regulares. Isso é feito utilizando vizinhanças tubulares Lipschitzianas ao redor das singularidades.

3. Principais Resultados

Os resultados são divididos em dois regimes de $p$: pequeno ($p \in [1, 2]$) e grande ($p$ suficientemente grande).

A. Caso $p \in [1, 2]$ (Teorema 3.1 e Corolário 0.1)

• Resultado: O espaço de funções $C^\infty(M)$ que são Neumann regulares é denso em $W^{1,p}(M)$ se e somente se $M$ for conexo em quase todo ponto da fronteira (em relação à medida de Hausdorff $H^{m-1}$).
• Implicação: Se a fronteira tiver "pontos de cunha" ou desconexões que ocorrem apenas em um conjunto de medida zero, a densidade ainda vale para $p \le 2$.
• Generalização: O resultado se estende a funções que se anulam em um subconjunto aberto da fronteira (condições de Dirichlet parciais).

B. Caso $p$ Grande (Teorema 3.3)

• Resultado: Para $p$ suficientemente grande (dependendo da geometria das singularidades), o espaço de funções Lipschitzianas que são $C^\infty$ em $M \cup \Gamma$ e Neumann regulares é denso em $W^{1,p}(M)$ se e somente se $M$ for conexo em todo ponto da fronteira (não apenas quase todo).
• Limitação de Regularidade: O artigo demonstra que, mesmo para $p$ grande, não é possível garantir a densidade de funções $C^2$ (ou mais suaves) que satisfaçam a condição de Neumann em pontos singulares.
• Contraexemplo (Exemplo 3.6): O autor apresenta um exemplo (baseado em um contraexemplo clássico de Whitney) de um domínio Lipschitz subanalítico em $\mathbb{R}^4$ onde:
  1. O domínio é conexo em todos os pontos da fronteira.
  2. A densidade de funções $C^2$ Neumann regulares falha para $p$ arbitrariamente grande.
  3. Isso prova que as partições da unidade construídas devem ser apenas Lipschitzianas e não podem ser exigidas como restrições de funções $C^2$ em $\mathbb{R}^n$.

4. Contribuições Técnicas Chave

1. Caracterização de Conectividade: Estabelece a distinção crucial entre "conectividade quase em toda parte" (suficiente para $p$ pequeno) e "conectividade em toda parte" (necessária para $p$ grande).
2. Partições da Unidade Neumann Regulares Lipschitzianas: A construção de partições da unidade (Proposição 3.5) que são:
   • Lipschitzianas globalmente.
   • Suaves ($C^\infty$) na parte regular da fronteira.
   • Neumann regulares (gradiente tangente à fronteira).
   • Essenciais para localizar formulações fracas de EDPs em domínios singulares.
3. Limites de Regularidade: Demonstra que a regularidade $C^2$ é incompatível com a condição de Neumann em certas singularidades subanalíticas, forçando o uso de funções Lipschitzianas para garantir a densidade em $W^{1,p}$ para $p$ alto.

5. Significado e Relevância

• Teoria de EDPs em Domínios Não Suaves: O trabalho fornece as ferramentas necessárias para formular problemas de valor de contorno (Neumann e mistos) em domínios com singularidades complexas (como cúspides ou intersecções de superfícies), que são comuns em aplicações de física e engenharia, mas difíceis de tratar com a teoria clássica de domínios Lipschitz.
• Generalização de Resultados Clássicos: Estende resultados conhecidos para domínios suaves e complexos simpliciais Lipschitz para a categoria muito mais ampla de variedades subanalíticas.
• Precisão Geométrica: O artigo esclarece que a densidade de funções de teste não depende apenas da dimensão, mas da topologia local da fronteira (conectividade) e da regularidade das funções de aproximação (Lipschitz vs. $C^2$).

Em resumo, o artigo de Valette resolve a questão da densidade de funções Neumann regulares em espaços de Sobolev sobre variedades subanalíticas, estabelecendo condições topológicas precisas sobre a fronteira e fornecendo ferramentas construtivas (partições da unidade) que são fundamentais para a análise de EDPs em geometrias singulares.