Optimal constant for the trace inequality in $BV$ for domains with corners

Resumo Técnico: Constante Ótima para a Desigualdade de Traço em BV para Domínios com Cantos

1. O Problema

O artigo aborda a determinação da constante ótima na desigualdade de traço para funções de variação limitada (BV) em domínios que possuem singularidades na fronteira, especificamente cantos (pontos onde a fronteira não é de classe $C^1$).

• Contexto: Em análise variacional, muitas vezes é necessário controlar a energia na fronteira de um domínio $\Omega$ em relação à energia no volume (bulk). Para funções $u \in BV(\Omega)$, o traço $Tr(u)$ na fronteira $\partial\Omega$ é bem definido. A desigualdade de traço geral estabelece que:
  $$\int_{\partial\Omega} |Tr(u)| \, d\mathcal{H}^{n-1} \leq C \left( \int_{\Omega} |u| \, dx + |Du|(\Omega) \right)$$
  onde $|Du|(\Omega)$ é a variação total (generalização do gradiente $L^1$).
• O Desafio: Em problemas de minimização onde o termo de fronteira tem um coeficiente negativo (ex: $F(u) = |Du|(\Omega) + \alpha \int_{\partial\Omega} |Tr(u)|$), a existência de soluções depende criticamente de quão pequeno pode ser o coeficiente $\alpha$ antes que o problema se torne ilimitado ($-\infty$).
• A Constante Crítica ($Q_{\partial\Omega}$): Anzellotti e Giaquinta definiram uma constante $Q_{\partial\Omega}$ que é o ínfimo dos constantes $C$ para os quais a desigualdade acima é válida. Sabe-se que, se a fronteira é suave ($C^1$), $Q_{\partial\Omega} = 1$. No entanto, em domínios com cantos (singularidades), essa constante pode ser maior que 1. O valor exato de $Q_{\partial\Omega}$ para domínios gerais com cantos em dimensões $n \geq 3$ era desconhecido.

2. Metodologia

Os autores utilizam ferramentas da Teoria Geométrica da Medida e Cálculo Variacional para resolver um problema de otimização geométrica assintótica.

• Redução a Cones: O problema local em um ponto singular $x \in \partial\Omega$ é reduzido ao estudo de um cone $C$ que descreve a geometria local da fronteira. A constante local $q_{\partial\Omega}(x)$ é definida como o supremo de uma razão funcional sobre subconjuntos de perímetro finito dentro do cone:
  $$q_{\partial\Omega}(0) = \sup \left\{ \frac{1}{P(E; C)} \int_{\partial C} Tr(1_E) \, d\mathcal{H}^{n-1} : E \subset C, |E|>0 \right\}$$
• Análise de Existência: Os autores demonstram que, devido à invariância de escala dos cones, a existência de um maximizador (um conjunto $E$ que atinge o supremo) não é garantida. Eles analisam sequências maximizantes que podem "colapsar" (tornar-se de medida zero) ou escapar para o infinito, mostrando que, em alguns casos, o supremo é atingido apenas no limite.
• Uso de Campos Vetoriais Constantes: A prova central baseia-se na aplicação do Teorema de Gauss-Green generalizado (Teorema de Estrutura de De Giorgi) com um campo vetorial constante $T = (0, \dots, 0, 1)$. Ao analisar o produto escalar entre este campo e a normal ao cone $\nu_C$, os autores derivam limites superiores para a razão de traço.
• Caracterização Geométrica: O método exige que a geometria da base do cone $G(f)$ possua uma propriedade específica de tangência a uma esfera inscrita, permitindo que o produto escalar $T \cdot \nu_C$ seja constante na superfície do cone.

3. Principais Contribuições e Resultados

A. Determinação da Constante Ótima para uma Classe de Cones (Teorema 2 e Teorema 19)
Os autores obtêm um valor explícito para a constante ótima $q_{\partial\Omega}(0)$ quando o cone $C$ possui uma base $G(f)$ que admite uma esfera inscrita (ou seja, todo plano tangente à base em um ponto também é tangente a uma esfera $S_R(\bar{x})$).

• Resultado: Se tal esfera de raio $R$ existe, a constante ótima é:
  $$q_{\partial\Omega}(0) = \frac{\sqrt{1 + R^2}}{R}$$
• Forma do Maximizador: O conjunto $E$ que maximiza a razão é a interseção do cone com um semi-espaço definido por um plano ortogonal ao eixo do cone (ou ao vetor $\bar{x}$), ou seja, $E = C \cap \{x \cdot \bar{x} \leq t\}$.

B. Generalização para Dimensão 2 (Observação 20)
O resultado confirma e generaliza intuições conhecidas para $n=2$. Para um ângulo em 2D, a solução ótima é sempre um segmento ortogonal à bissetriz do ângulo. A fórmula recupera o valor $\sqrt{2}$ para um ângulo de $90^\circ$ (onde $R=1$).

C. Limites Superiores para Cones Mais Gerais (Corolário 23)
Para cones onde a base não é perfeitamente tangente a uma esfera, mas é "tangente ou disjunta" de uma esfera de raio $R$, os autores provam que:
$$\alpha(C) \leq \frac{\sqrt{1 + R^2}}{R}$$
Isso permite estimar a constante ótima encontrando o maior raio $R$ possível que satisfaça a condição geométrica.

D. Exemplo de Não-Existência de Solução (Seção 3.1)
Os autores apresentam um exemplo concreto (o "cone livro" ou book cone em 3D, formado por duas faces planas com um ângulo de $90^\circ$) onde a sequência maximizante converge para um conjunto de medida zero. Isso demonstra que, embora o valor da constante seja bem definido, o problema de maximização pode não admitir uma solução no espaço de conjuntos de perímetro finito com volume positivo.

4. Significado e Impacto

• Preenchimento de Lacunas Teóricas: O trabalho fornece a primeira fórmula explícita para a constante de traço ótima em dimensões superiores ($n \geq 3$) para uma classe significativa de singularidades (cantos), estendendo resultados anteriores que se limitavam a fronteiras suaves ($C^1$) ou ao caso bidimensional.
• Aplicações em Análise Variacional: A determinação precisa de $Q_{\partial\Omega}$ é crucial para a análise de existência e regularidade de soluções em problemas de energia livre com termos de superfície, como modelos de fratura, wetting (molhabilidade) e transições de fase em materiais heterogêneos.
• Geometria e Análise: O artigo conecta profundamente a geometria da base do cone (propriedades de tangência a esferas) com a análise funcional das desigualdades de traço, estabelecendo que a "arredondamento" da base do cone (via esfera inscrita) é a chave para a otimalidade do plano de corte.
• Limitações e Futuro: O trabalho destaca que a condição de tangência a uma esfera é restritiva (ex: não se aplica a retângulos não quadrados em 3D), apontando para a necessidade de novas técnicas para lidar com singularidades mais complexas e não convexas.

Em resumo, o artigo resolve um problema geométrico-variacional específico, fornecendo uma fórmula exata para a constante de traço em domínios com cantos que possuem uma simetria de esfera inscrita, e demonstra as nuances da existência de maximizadores nesses contextos.