A regularity result for $BV^{\mathcal{A}}(\Omega)$

Resumo Técnico: Um Resultado de Regularidade para $BV_A(\Omega)$

Enunciado do Problema
O artigo aborda a regularidade de distribuições sujeitas a restrições diferenciais lineares de posto constante. Especificamente, investiga-se se uma distribuição $u$ definida em um domínio limitado $\Omega \subset \mathbb{R}^n$, cuja imagem sob um operador elíptico linear de primeira ordem $A$ é uma medida de Radon limitada ($Au \in \mathcal{M}(\Omega; W)$), pertence necessariamente ao espaço de funções com variação $A$-limitada, denotado por $BV_A(\Omega; V)$.

Resultados clássicos para o espaço de funções com deformação limitada, $BD(\Omega)$ (onde $A$ é o gradiente simetrizado), tipicamente exigem que o bordo do domínio $\partial\Omega$ seja de classe $C^1$. Este trabalho visa estender tais resultados de regularidade para domínios com meros bordos Lipschitz, uma hipótese geométrica mais fraca, para uma classe mais ampla de operadores que satisfazem condições algébricas específicas.

Metodologia
Os autores empregam uma combinação de propriedades algébricas do símbolo principal do operador e técnicas de fatiamento geométrico. A metodologia central baseia-se nos seguintes componentes:

1. Propriedade de Posto Um e Mistura Algébrica: A análise restringe-se a operadores elípticos de primeira ordem $A$ que satisfazem a propriedade de posto um (introduzida por Arroyo-Rabasa). Esta propriedade é equivalente a uma condição de mistura algébrica no símbolo principal $A(\xi)$. Esta condição assegura que o operador permite uma "polarização" do problema, ligando a estrutura do operador a um comportamento unidimensional.
2. Espectro Direcional e Fatiamento: Os autores utilizam o conceito de espectro direcional $\partial\sigma(A)$. Ao estabelecer que, para qualquer direção $\xi$, existe um vetor dual $v^*$ tal que o emparelhamento $\langle v^*, u(\cdot) \rangle$ comporta-se como uma função clássica unidimensional de variação limitada ($BV$), eles reduzem o problema multidimensional a uma família de seções unidimensionais.
3. Compacidade e Polarização: Um passo técnico chave envolve provar um teorema de compacidade (Teorema 4.2) para sequências em $BV_A$. Isso depende de um argumento de polarização (Lema 3.4) que demonstra que, se duas direções $(\xi, v^*)$ e $(\eta, f)$ pertencem ao espectro direcional, pode-se gerar uma família contínua de direções. Isso permite o controle do módulo de continuidade $L^1$ do campo vetorial completo $u$ com base na continuidade de suas seções unidimensionais.
4. Regularidade Local via Teoria das Distribuições: Para lidar com o bordo, os autores estabelecem primeiro um resultado de regularidade local (Teorema 5.1) mostrando que $u \in BV_{A, loc}(\Omega)$. Isso é alcançado usando molificação e uma construção específica de seminorma para lidar com o núcleo do operador, evitando a dependência da teoria clássica da elasticidade específica ao gradiente simetrizado.
5. Integrabilidade no Bordo: A etapa final envolve estender a integrabilidade local até o bordo. Cobrindo o bordo Lipschitz com vizinhanças onde o bordo pode ser representado como um gráfico, e utilizando a fórmula da co-área juntamente com o teorema de fatiamento, os autores provam que a distribuição é integrável até o bordo.

Principais Contribuições e Resultados
O resultado primário é o Teorema 1.1, que afirma:

Seja $\Omega \subset \mathbb{R}^n$ um domínio limitado com um bordo Lipschitz e seja $A$ um operador elíptico de primeira ordem satisfazendo a propriedade de posto um. Se $u \in \mathcal{D}'(\Omega; V)$ e $Au \in \mathcal{M}(\Omega; W)$, então $u \in BV_A(\Omega; V)$.

Realizações técnicas específicas incluem:

• Extensão para Domínios Lipschitz: O artigo remove com sucesso o requisito de bordo $C^1$ encontrado em teoremas clássicos de regularidade $BD$, provando o resultado para domínios Lipschitz.
• Generalização de Operadores: O resultado aplica-se a qualquer operador elíptico de primeira ordem satisfazendo a propriedade de posto um, generalizando o caso específico do gradiente simetrizado.
• Teorema de Compacidade: Os autores fornecem um resultado de compacidade (Teorema 4.2) para sequências em $BV_A$, estabelecendo que sequências limitadas em $BV_A(\Omega; V)$ possuem subsequências convergentes em $L^1(\Omega; V)$. Isso é derivado usando o teorema de Fréchet-Kolmogorov combinado com as propriedades de fatiamento do operador.
• Regularidade Local: O Teorema 5.1 estabelece que distribuições com variação $A$-limitada estão localmente em $BV_A$, um passo intermediário crucial para o resultado global.

Significado e Alegações
Os autores posicionam este trabalho como uma extensão de fenômenos de regularidade conhecidos para espaços $BD$ a uma classe mais ampla de operadores elípticos sob hipóteses geométricas mais fracas. O significado reside em:

• Generalização Estrutural: Demonstrar que a propriedade de posto um é a condição estrutural suficiente para permitir técnicas de fatiamento para operadores além do gradiente e do gradiente simetrizado.
• Flexibilidade Geométrica: Provar que a regularidade de soluções a essas restrições diferenciais não depende da suavidade do bordo além da condição Lipschitz, que é um requisito padrão na teoria da medida geométrica, mas uma condição mais forte do que o necessário para esses operadores elípticos específicos.
• Independência Metodológica: A prova da regularidade local (Teorema 5.1) é notada por depender da teoria básica de distribuições e argumentos de compacidade, em vez das estruturas algébricas específicas da plasticidade ou elasticidade clássicas, sugerindo um quadro mais robusto para analisar problemas variacionais com crescimento linear.

O artigo não propõe novas aplicações ou propostas experimentais, mas sim solidifica a fundação teórica para o espaço $BV_A(\Omega)$ no contexto de domínios Lipschitz, facilitando análises adicionais de propriedades finas e operadores de traço neste cenário.