A constant rank theorem for linear elliptic equations on the sphere with applications to the mixed Christoffel problem

Resumo Técnico

1. O Problema: O Probleto de Christoffel Misto

O artigo aborda o Problema de Christoffel Misto, uma generalização do clássico Problema de Christoffel na geometria convexa.

• Contexto: Dado um conjunto de $n-1$ corpos convexos $\Omega_1, \dots, \Omega_{n-1}$ em $\mathbb{R}^{n+1}$ e uma medida de Borel $\mu$ na esfera unitária $S^n$, o objetivo é encontrar um corpo convexo $\Omega$ tal que sua medida de área mista $S(\Omega_1, \dots, \Omega_{n-1}, \Omega; \cdot)$ coincida com $\mu$.
• Formulação PDE: Sob a suposição de regularidade ($C^{2,+}$), o problema pode ser reduzido à resolução de uma Equação Diferencial Parcial (EDP) linear de segunda ordem na esfera. Seja $u$ a função de suporte de $\Omega$ e $W = (u_{ij} + u\delta_{ij})$ a forma de Weingarten inversa. A equação assume a forma:
  $$\sum_{\alpha, \beta=1}^n a_{\alpha\beta}(x) (u_{\alpha\beta}(x) + \delta_{\alpha\beta}u(x)) = f(x)$$
  onde $(a_{\alpha\beta})$ é a matriz de cofatores mistos das formas de Weingarten dos corpos dados $\Omega_i$, e $f$ é a densidade da medida $\mu$.
• Desafio Principal: A existência de uma solução $u$ para a EDP é garantida pela teoria padrão de EDPs elípticas. No entanto, para que $u$ corresponda a um corpo convexo (solução geométrica), a matriz $W$ deve ser definida positiva em toda a esfera ($W > 0$). O problema central é garantir que uma solução não negativa ($W \ge 0$) seja estritamente positiva.

2. Metodologia: O Teorema de Rango Constante

A ferramenta central desenvolvida pelos autores é um Teorema de Rango Constante para soluções de equações elípticas lineares na esfera.

• Estratégia: O método consiste em provar que, sob certas condições de convexidade nos dados (corpos dados e densidade da medida), se a matriz $W$ é semidefinida positiva ($W \ge 0$) e possui um certo rango em algum ponto, então ela possui rango constante em todo o domínio.
• Função de Teste:
  • Para $n=2$ (caso 3D), utiliza-se o determinante de $W$ ($\phi = \det(W)$) como função de teste.
  • Para $n \ge 3$, utiliza-se uma função de teste mais sofisticada baseada nas funções simétricas elementares dos autovalores de $W$:
    $$\phi(x) = \sigma_{l+1}(W) + \frac{\sigma_{l+2}(W)}{\sigma_{l+1}(W)}$$
    onde $l$ é o rango mínimo assumido por $W$.
• Princípio do Mínimo Forte: Os autores derivam desigualdades diferenciais para essas funções de teste. Ao aplicar o Princípio do Mínimo Forte, demonstram que se a função de teste se anula em algum ponto (indicando perda de rango), ela deve ser identicamente zero, implicando que o rango é constante.
• Condições de Convexidade: A prova depende criticamente de condições de convexidade sobre a extensão 1-homogênea de certos tensores relacionados aos dados do problema (matriz $A$ e função $f$).

3. Principais Contribuições e Resultados

A. Teorema de Rango Constante (Teorema 1.1 e 1.2)
Os autores estabelecem condições suficientes para que a solução $u$ da EDP linear tenha uma matriz de Weingarten inversa $W$ de rango constante.

• Caso $n=2$ (Espaço 3D): É apresentada uma condição simplificada (Teorema 1.2 e 1.5) onde a convexidade da extensão 1-homogênea do tensor $W_0/f$ (onde $W_0$ é a forma de Weingarten do corpo dado) garante a solução geométrica.
• Caso $n \ge 3$: É estabelecida uma condição técnica mais complexa (Teorema 1.1) envolvendo derivadas covariantes de segunda ordem da razão entre os elementos da matriz de cofatores mistos e a densidade $f$.

B. Solução do Problema de Christoffel Misto (Corolários 1.5 e 1.6, Teorema 1.3)
Utilizando um argumento de continuidade (homotopia) conectando o problema misto a um caso conhecido (como o Problema de Christoffel padrão ou o caso da esfera unitária), os autores provam a existência de soluções geométricas:

• Teorema 1.3 ($n \ge 3$): Se os corpos dados $\Omega_i$ e a densidade $f$ satisfazem uma condição de convexidade ao longo de um caminho de homotopia (interpolando entre a identidade e a matriz de cofatores mistos), então existe um corpo convexo único (a menos de translações) que resolve o problema.
• Teoremas 1.4 e 1.5 ($n=2$): Fornecem condições explícitas e verificáveis para o espaço tridimensional, incluindo casos onde a densidade é constante ou onde a extensão do tensor do corpo dado é convexa.

C. Generalização do Trabalho Anterior
O trabalho estende significativamente os resultados de Guan e Ma (referência [13]), que tratavam apenas do Problema de Christoffel padrão (onde todos os corpos dados são a bola unitária). Aqui, a generalização para corpos convexos arbitrários (Problema Misto) é alcançada através de uma análise refinada da matriz de cofatores mistos.

4. Significado e Impacto

• Avanço na Geometria Convexa: O artigo fornece condições suficientes rigorosas para a existência de soluções no Problema de Christoffel Misto, um problema que, diferentemente do Problema de Minkowski, carece de condições de existência e unicidade simples e gerais.
• Técnica Analítica: A adaptação e o refinamento do método de "rango constante" para equações lineares elípticas com coeficientes variáveis (matriz de cofatores mistos) representam um avanço técnico importante na teoria de EDPs geométricas.
• Aplicabilidade: Os resultados são aplicáveis tanto em dimensões arbitrárias quanto, de forma especial, no caso tridimensional ($n=2$), onde condições mais simples e geometricamente intuitivas (como a convexidade de extensões de tensores) são derivadas.
• Unificação: O trabalho unifica a abordagem para o Problema de Minkowski, Christoffel e suas generalizações mistas sob a ótica de soluções geométricas de EDPs elípticas.

Em resumo, o artigo resolve uma questão fundamental sobre a "geometrização" de soluções de EDPs lineares na esfera, estabelecendo que, sob condições de convexidade adequadas nos dados, a solução não degenera e corresponde efetivamente a um corpo convexo, resolvendo assim o Problema de Christoffel Misto.