Anisotropic gradient rearrangement of BV functions and applications

Resumo Técnico: Rearranjo Anisotrópico do Gradiente de Funções BV e Aplicações

Enunciado do Problema
O artigo aborda a extensão das técnicas de simetrização e rearranjo do cenário euclidiano para ambientes anisotrópicos para funções de variação limitada (BV). Enquanto a simetrização clássica (por exemplo, simetrização de Schwarz) compara soluções de Equações Diferenciais Parciais (EDPs) em domínios gerais com soluções em bolas simétricas, desenvolvimentos recentes em [10] introduziram um rearranjo de gradiente para funções BV no caso euclidiano. Este procedimento separa a parte absolutamente contínua do gradiente de sua parte singular, rearranjando a primeira enquanto concentra a última na fronteira do domínio simetrizado.

O problema específico abordado aqui é a generalização deste resultado para o cenário anisotrópico, onde a geometria é governada por uma função convexa, positivamente 1-homogênea $H$ (a norma anisotrópica ou norma de Finsler) em vez da norma euclidiana. Neste contexto, os objetos geométricos naturais são as formas de Wulff (minimizadores do perímetro anisotrópico) em vez de bolas euclidianas. O desafio reside em definir um rearranjo que preserve a variação total anisotrópica e estabeleça uma comparação em $L^1$ entre uma função e sua contraparte simetrizada, levando em conta a parte singular da derivada distribucional.

Metodologia
Os autores empregam uma estratégia análoga ao caso euclidiano em [10], adaptada ao quadro anisotrópico:

1. Definições e Preliminares: O artigo estabelece a notação necessária para normas anisotrópicas ($H$), normas polares ($H^\circ$) e bolas de Wulff ($W_R$). Define a variação total anisotrópica $|Du|_H$ e recorda a fórmula do coárea anisotrópica e a desigualdade isoperimétrica.
2. Truncamento e Decomposição de Medida: Para uma função não negativa $u \in BV_0(\Omega)$, os autores consideram truncamentos $v_s = (u - u^*(s))_+$. Analisam a variação total anisotrópica desses truncamentos, $G(s) = |Dv_s|_H(\mathbb{R}^n)$, decompondo-a em uma parte absolutamente contínua ($G_{H,1}$) e uma parte singular ($G_{H,2}$).
3. Construção do Rearranjo de Gradiente:
   • A parte absolutamente contínua da densidade de energia anisotrópica, $H(\nabla_a u)$, é rearranjada para uma função crescente $g^\sharp$ na bola de Wulff $\Omega^\star$.
   • Uma nova função $u^\star$ é construída em $\Omega^\star$ tal que seu gradiente satisfaça $H(\nabla u^\star) = g^\sharp quase em toda parte.
   • Crucialmente, a parte singular da derivada original, $D_s u$, não é descartada. Em vez disso, é codificada como um traço de fronteira constante $c_0$ em $\partial \Omega^\star$. Esta constante é definida como a razão entre a variação anisotrópica total singular e o perímetro anisotrópico da bola de Wulff: $c_0 = |D_s u|_H(\mathbb{R}^n) / P_H(\Omega^\star)$.
4. Prova de Comparação: O teorema principal é provado estabelecendo uma desigualdade diferencial que relaciona a função de distribuição de $u$ à medida induzida pelo rearranjo. Ao integrar esta desigualdade e utilizar a desigualdade de Hardy-Littlewood, os autores derivam a comparação em $L^1$.

Principais Contribuições e Resultados

• Teorema 1.2 (Resultado Principal): Para uma função não negativa $u \in BV_0(\Omega)$, seja $u^\star$ o rearranjo anisotrópico do gradiente definido na bola de Wulff $\Omega^\star$ (com $|\Omega^\star| = |\Omega|$). O artigo prova a comparação em $L^1$:
  $$\|u\|_{L^1(\Omega)} \leq \|u^\star\|_{L^1(\Omega^\star)}$$
  Este resultado generaliza a comparação euclidiana em $L^1$ de [10] para o cenário anisotrópico.

• Preservação da Variação Total Anisotrópica: A construção garante que a variação total anisotrópica seja preservada sob simetrização:
  $$|Du^\star|_H(\mathbb{R}^n) = |Du|_H(\mathbb{R}^n)$$
  A parte singular da derivada é explicitamente recuperada como um termo de fronteira na função simetrizada.

• Aplicações à Rigidez de Torção: Os autores aplicam o teorema principal para derivar desigualdades do tipo Saint-Venant para dois funcionais relacionados à rigidez de torção no cenário anisotrópico:

  1. Rigidez de Torção Penalizada ($T^H_F$): Para um funcional envolvendo energia de Dirichlet anisotrópica e um termo de penalização baseado na medida do suporte do gradiente, o artigo prova que o funcional é minimizado (ou a rigidez maximizada) quando o domínio é uma bola de Wulff. Isso é alcançado mostrando que o rearranjo anisotrópico do gradiente preserva a energia e o termo de penalização enquanto aumenta a norma $L^1$ da função.
  2. Funcional de Isolamento Anisotrópico ($T^H_G$): Para um funcional envolvendo energia de Dirichlet anisotrópica e um termo de fronteira relacionado ao traço da função, o artigo estabelece uma desigualdade de Saint-Venant similar. Uma etapa técnica chave (Lema 4.4) identifica a integral de fronteira do traço com a parte singular da variação anisotrópica da extensão nula da função, permitindo a aplicação do teorema principal de rearranjo.

Significado e Alegações
O artigo alega fornecer um contraparte anisotrópico rigoroso à técnica de simetrização de gradiente introduzida em [10]. Seu significado principal reside em:

• Tratamento de Singularidades: Estende com sucesso métodos de rearranjo para funções BV rastreando explicitamente a parte singular da derivada através de um dado de fronteira, em vez de perdê-la durante a simetrização.
• Generalidade Geométrica: Substitui a bola euclidiana pela forma de Wulff, que é o minimizador natural para energias de superfície anisotrópicas, tornando assim os resultados aplicáveis a modelos envolvendo tensão superficial cristalina e energias interfaciais.
• Aplicações Variacionais: Demonstra a utilidade deste rearranjo na prova de desigualdades do tipo isoperimétrico para problemas variacionais onde a geometria natural é anisotrópica.

Limitações e Modéstia
Os autores são modestos quanto ao escopo de suas alegações de unicidade. No contexto da rigidez de torção penalizada em uma bola de Wulff (Proposição 4.1), eles estabelecem a existência de um minimizador simétrico, mas afirmam explicitamente que não alegam unicidade. Eles observam que um resultado de unicidade ou rigidez exigiria um análogo anisotrópico dos teoremas de rigidez provados em [33] para o caso euclidiano, os quais não estão disponíveis no cenário anisotrópico atual. Consequentemente, o artigo foca nos princípios de comparação e na existência de minimizadores simétricos, em vez de caracterizações completas de rigidez.