On the divergence of the composition of irregular fields with BV functions

Resumo Técnico: Divergência da Composição de Campos Irregulares com Funções BV

1. O Problema

O artigo aborda a generalização da regra da cadeia para o divergente de funções compostas da forma $v(x) = B(x, u(x))$, onde:

• $u$ é uma função escalar de Variação Limitada (BV) em um domínio aberto $\Omega \subset \mathbb{R}^N$.
• $B(x, t)$ é uma família de campos vetoriais limitados com divergência medida (pertencentes ao espaço $DM^\infty$).

O desafio central reside na extensão da fórmula clássica de ponto:
$$\text{div}(B(x, u)) = (\text{div}_x B)(x, u) + \partial_t B(x, u) \cdot \nabla u$$
para o contexto de medidas, quando $u$ não é diferenciável e possui descontinuidades (conjunto de salto $J_u$). Em particular, o termo $\partial_t B(x, u) \cdot \nabla u$ deve ser substituído por uma medida de emparelhamento (pairing measure) bem definida entre o campo $b(x, u) := \partial_t B(x, u)$ e a derivada da função $Du$.

A literatura existente (como em [27]) introduziu um "emparelhamento padrão" não linear, mas este mostrou-se inadequado para certas propriedades variacionais, especificamente a semicontinuidade inferior de funcionais integrais sob convergência em $L^1$. O problema é identificar quais representantes pontuais de $u$ no conjunto de salto garantem essa semicontinuidade.

2. Metodologia

Os autores desenvolvem uma abordagem baseada na teoria de medidas e análise funcional em espaços de funções de variação limitada:

• Definição de Famílias de Emparelhamento: Em vez de fixar um único representante para $u$ no conjunto de salto, os autores introduzem uma família de emparelhamentos não lineares $\lambda$, dependendo de uma função mensurável de Borel $\lambda: \Omega \to [0, 1]$.

  • O representante $\lambda$ é definido como $u_\lambda = (1-\lambda)u^- + \lambda u^+$, onde $u^-$ e $u^+$ são os limites aproximados inferior e superior de $u$.
  • Eles distinguem entre emparelhamentos não lineares (definidos via $F(x, u_\lambda)$) e emparelhamentos externos (definidos via combinação convexa de $F(x, u^-)$ e $F(x, u^+)$).

• Representação de Traços Fracos: Utilizam a teoria de traços normais fracos para campos de divergência medida em conjuntos retificáveis (como o conjunto de salto $J_u$ e fronteiras reduzidas de conjuntos de perímetro finito). Isso permite expressar a densidade dos emparelhamentos em termos desses traços.

• Fórmula de Coarea e Aproximação:

  • Estendem a Fórmula de Coarea para o emparelhamento externo, relacionando a medida do emparelhamento com a integral sobre os níveis de $u$.
  • Utilizam sequências de aproximação suave (mollification) e o teorema de Comi-Leonardi para construir sequências que convergem estritamente em BV, preservando valores pontuais controlados.

• Análise Variacional: Investigam a semicontinuidade inferior de funcionais associados aos emparelhamentos sob sequências que convergem em $L^1$ com controle nos representantes pontuais (propriedade PR).

3. Principais Contribuições e Resultados

A. Novas Definições de Emparelhamento
Os autores definem rigorosamente duas famílias de medidas:

1. Emparelhamento Não Linear $\lambda$: $(b(\cdot, u), Du)_\lambda = -F(x, u_\lambda)\sigma + \text{div}(B(x, u))$.
2. Emparelhamento Externo $\lambda$: $[b(\cdot, u), Du]_\lambda = -((1-\lambda)F(x, u^-) + \lambda F(x, u^+))\sigma + \text{div}(B(x, u))$.
   Eles provam que, embora diferentes no conjunto de salto, ambas as famílias compartilham a mesma parte difusa (fora do salto) e são absolutamente contínuas em relação a $|Du|$.

B. Fórmulas de Representação e Coarea

• Estabelecem uma Fórmula de Coarea para o emparelhamento externo (Teorema 5.1).
• Derivam representações explícitas para a densidade do emparelhamento em relação a $|Du|$:
  • Na parte de salto ($J_u$): A densidade depende dos traços fracos internos e externos do campo $b$ e do valor de $\lambda$.
  • Na parte difusa ($D^d u$): A densidade é independente de $\lambda$ e pode ser descrita usando traços normais fracos em fronteiras reduzidas de conjuntos de nível $\{u > t\}$ (Teorema 6.3).

C. Generalização da Fórmula de Gauss-Green
O artigo prova uma fórmula de Gauss-Green generalizada para domínios de perímetro finito, válida para ambas as famílias de emparelhamentos (Teorema 7.1). Isso permite a formulação fraca de EDPs não lineares em contextos de campos irregulares.

D. Semicontinuidade Inferior e Relaxamento (Resultado Central)
Este é o ponto mais inovador do trabalho:

• Os autores identificam que o emparelhamento padrão ($\lambda = 1/2$) não garante, em geral, a semicontinuidade inferior.
• Eles caracterizam a seleção ótima $\lambda$ (denotada por $L$) que minimiza o termo de divergência no conjunto de salto, definida através de:
  $$pF(x, u^-, u^+) = \max_{t \in [u^-, u^+]} F(x, t)$$
  O emparelhamento resultante, $(b(\cdot, u), Du)_L$, é semicontínuo inferiormente em relação a sequências em $L^1$ com representantes pontuais controlados (Teorema 8.8).
• Eles também caracterizam a seleção que minimiza a variação total do emparelhamento, denotada por $(b(\cdot, u), Du)_V$ (Teorema 8.13).

E. Fórmula de Relaxamento
O artigo estabelece que o funcional integral definido originalmente em espaços de Sobolev $W^{1,1}$, quando relaxado para o espaço $BV$ sob convergência $L^1$, coincide exatamente com a integral do emparelhamento semicontínuo inferiormente:
$$\mathcal{F}(u) = \int_\Omega \phi \, d(b(x, u), Du)_L$$
Isso generaliza resultados anteriores que exigiam que a divergência do campo fosse absolutamente contínua em relação à medida de Lebesgue.

4. Significado e Impacto

• Unificação Teórica: O trabalho unifica casos lineares (campos $A(x)$) e não lineares, fornecendo um quadro coerente para o cálculo variacional com campos de divergência medida.
• Aplicações em EDPs: As novas fórmulas de Gauss-Green e a regra da cadeia permitem a formulação rigorosa de equações de conservação com fluxos descontínuos e problemas de contorno envolvendo operadores não lineares (como o Laplaciano 1-Laplaciano) em domínios irregulares.
• Teoria Variacional: A caracterização precisa das seleções $\lambda$ que garantem semicontinuidade inferior é crucial para a existência de minimizadores em problemas de cálculo de variações onde a regularidade clássica falha.
• Generalização: Remove a restrição de que a divergência do campo vetorial deve ser absolutamente contínua em relação à medida de Lebesgue, abrindo caminho para o estudo de campos com singularidades mais complexas (medidas de Cantor e saltos).

Em suma, o artigo resolve uma lacuna fundamental na análise de campos irregulares acoplados a funções descontínuas, fornecendo as ferramentas analíticas necessárias para tratar problemas variacionais e de conservação em contextos de baixa regularidade.