Weighted centro-affine Poincaré inequalities

Resumo Técnico: Desigualdades de Poincaré Centro-Afinas Ponderadas

Enunciado do Problema
O artigo aborda o problema de estabelecer desigualdades de Poincaré ponderadas em calotas esféricas e suas interseções para hipersuperfícies estritamente convexas e suaves, especificamente no contexto da geometria centro-afina. Os autores visam derivar essas desigualdades para uma classe de pesos que dependem do vetor de posição $X$ da hipersuperfície. Uma motivação primária é utilizar essas desigualdades analíticas para provar novas desigualdades de Brunn–Minkowski para quermassintegrais duais $\tilde{V}_q$ em intervalos onde métodos anteriores (como a abordagem de Reilly ou fórmulas de Bochner padrão em toda a esfera) foram insuficientes ou produziram constantes subótimas. Especificamente, o trabalho visa o intervalo $q > n$ para corpos convexos incondicionais e o intervalo $q \in (0, n)$, visando caracterizar os casos de igualdade e estabelecer a unicidade para o problema de Minkowski $L_{p,q}$.

Metodologia
Os autores empregam uma combinação de geometria diferencial centro-afina, fórmulas de Bochner ponderadas e métodos variacionais.

1. Fórmulas de Bochner Centro-Afinas: A principal ferramenta analítica é a derivação de fórmulas de Bochner ponderadas em calotas esféricas (regiões definidas por $\langle X, w \rangle > 0$) e suas interseções. Os autores definem uma conexão centro-afina livre de torção $\nabla$ e uma métrica $g$ na esfera unitária $S^{n-1}$. Eles estabelecem uma identidade de Bochner ponderada para o operador $L_\Phi = \Delta - g(\nabla \Phi, \nabla \cdot)$, onde o peso é determinado por um potencial $\Phi$.
2. Aproximação Baseada em Calotas: Para lidar com as singularidades e problemas de fronteira associados às interseções de calotas (que possuem fronteiras suavemente contínuas), os autores aproximam esses domínios por subdomínios suaves. Um passo técnico crucial envolve a construção de uma função definidora suave para a interseção que preserve as propriedades de concavidade necessárias para garantir a não negatividade do termo de fronteira (a segunda forma fundamental) na integração por partes de Bochner.
3. Geometria Centro-Afina Logarítmica: Uma inovação metodológica significativa é a introdução de uma "geometria centro-afina logarítmica plana" no ortante positivo $(0, \infty)^n$. Ao mapear o vetor de posição $X$ para $Y = \log X$, os autores constroem uma estrutura equiafina plana $(g_{\log}, \nabla_{\log})$ adaptada à estrutura multiplicativa da soma $L_0$. Nesta geometria, o vetor transversal é constante e a conexão é plana, permitindo uma desigualdade de Poincaré nítida com uma constante $n$.
4. Técnicas Variacionais e de Desigualdade: As provas das desigualdades de Brunn–Minkowski utilizam a desigualdade de Prékopa–Leindler e a desigualdade de Borell–Brascamp–Lieb (BBL). Para o caso da soma $L_0$ ($q \in (0, n)$), uma mudança de variáveis logarítmica transforma a densidade radial em uma densidade log-côncava. Para $q > n$, os autores empregam mudanças de variáveis do tipo $L_p$ no ortante positivo para interpolar entre sistemas de coordenadas logarítmicos e euclidianos, estabelecendo a log-concavidade para intervalos específicos de parâmetros.

Principais Contribuições e Resultados

• Desigualdades de Poincaré Ponderadas:

  • Teorema 1.1: Estabelece uma desigualdade de Poincaré centro-afina ponderada em interseções de calotas para pesos da forma $\omega(\ell_{w_1}, \dots, \ell_{w_m})$. A constante espectral depende das propriedades de homogeneidade e concavidade de $\omega$.
  • Teorema 1.5: Prova uma desigualdade de Poincaré centro-afina ponderada para a medida do $q$-ésimo quermassintegral dual ($q \in (0, n)$) com peso $|X|^{q-n}$. Para corpos incondicionais, a constante melhora de $q-1$ para $q$.
  • Corolário 3.22: Deriva uma desigualdade de Poincaré centro-afina com peso $|X|^2$ para corpos incondicionais, um resultado essencial para provar a desigualdade de Brunn–Minkowski para $\tilde{V}_{n+2}$.

• Desigualdades de Brunn–Minkowski:

  • Teorema 1.2: Prova a desigualdade de Brunn–Minkowski para o $(n+2)$-ésimo quermassintegral dual $\tilde{V}_{n+2}$ para corpos convexos incondicionais: $\tilde{V}_{n+2}(K+L)^{1/(n+2)} \geq \tilde{V}_{n+2}(K)^{1/(n+2)} + \tilde{V}_{n+2}(L)^{1/(n+2)}$. A igualdade ocorre se, e somente se, $K$ e $L$ são dilatados.
  • Teorema 1.3: Estabelece uma desigualdade de Brunn–Minkowski $L_0$ para o $q$-ésimo quermassintegral dual ($q \in (0, n)$) para corpos incondicionais, com igualdade apenas para dilatados.
  • Teorema 1.4: Estende a desigualdade de Brunn–Minkowski para a soma $L_p$ onde $q = n + \alpha$ para $0 < \alpha \leq \frac{2p(1-p)}{2-p}$. Isso cobre o intervalo $q \in (n, n + 6 - 4\sqrt{2}]$ para um $p \in (0, 1)$ adequado.

• Resultados de Unicidade:

  • Teorema 1.6: Prova a unicidade para o problema de Minkowski $L_{p,q}$ na classe incondicional. Especificamente, para $q = n+2$ e $1 \leq p < q$, ou $q \in (0, n)$ e $0 \leq p < q$, existe no máximo um corpo convexo incondicional $C^2_+$ resolvendo a equação de curvatura prescrita. O caso $q=n+2, p=1$ é observado como novo mesmo para $f=1$ e $n \geq 3$.

• Geometria Logarítmica:

  • O artigo introduz a geometria centro-afina logarítmica, mostrando que ela é plana e equiafina. Demonstra que a desigualdade de Poincaré nesta geometria com constante $n$ implica a desigualdade de Poincaré centro-afina com a mesma constante para corpos incondicionais. As funções $p_i - 1/n$ (onde $p_i = x_i X_i / h$) são identificadas como autofunções do Laplaciano logarítmico, analogamente aos harmônicos esféricos quadráticos.

Significância e Alegações
Os autores alegam que sua principal contribuição é a introdução da geometria centro-afina logarítmica plana, que é naturalmente adaptada à estrutura multiplicativa da soma $L_0$. Este arcabouço geométrico permite a derivação de desigualdades de Poincaré nítidas que eram anteriormente inalcançáveis usando fórmulas de Bochner centro-afinas padrão em toda a esfera (que falham em controlar certos termos negativos sem suposições de compressão adicionais).

O artigo afirma que esses resultados analíticos fornecem uma abordagem unificada para provar desigualdades de Brunn–Minkowski para quermassintegrais duais em intervalos anteriormente inacessíveis ($q > n$) e para somas $L_p$. Além disso, as desigualdades derivadas levam a novos resultados de unicidade para o problema de Minkowski $L_{p,q}$ no cenário incondicional, estendendo resultados conhecidos para casos onde suposições de simetria eram anteriormente necessárias ou onde a unicidade era desconhecida. O trabalho faz a ponte entre a estrutura $L_1$ (centro-afina clássica) e a estrutura $L_0$ (logarítmica), oferecendo uma nova perspectiva sobre a geometria infinitesimal de corpos convexos incondicionais.