Sharp trace inequalities for conformally invariant fractional powers of the sublaplacian on the Heisenberg group and the CR sphere

Resumo Técnico

1. Problema e Contexto

O artigo aborda a generalização de desigualdades de traço de Sobolev agudas (sharp Sobolev trace inequalities) para contextos não euclidianos, especificamente no Grupo de Heisenberg ($H_n$) e na Esfera CR ($S^{2n+1}$).

• Contexto Euclidiano: Desigualdades de traço clássicas relacionam a norma de uma função no domínio com a norma de sua restrição (traço) em um subespaço de dimensão inferior. Resultados notáveis incluem os trabalhos de Escobar, Beckner, e Einav-Loss, que estabeleceram constantes ótimas e casos de igualdade para potências fracionárias do Laplaciano euclidiano.
• O Desafio: Estender esses resultados para operadores subelípticos (sublaplacianos) em geometrias de contato e CR (Cauchy-Riemann), onde a estrutura do espaço e a invariância conforme são mais complexas. O objetivo é encontrar as melhores constantes e caracterizar as funções extremas (que atingem a igualdade) para potências fracionárias conformes do sublaplaciano.

2. Metodologia

Os autores utilizam uma abordagem baseada em dualidade e transformações conformes, combinando ferramentas analíticas avançadas:

1. Argumento de Dualidade (Bez-Machihara-Sugimoto): Em vez de trabalhar diretamente com o operador de traço, os autores constroem um operador linear auxiliar ($S_m$) que mapeia funções do espaço total para o subespaço. A prova baseia-se na decomposição ortogonal do espaço de energia, demonstrando que a energia total é a soma da energia do "erro" (diferença entre a função e sua projeção) mais a energia do traço.
2. Invariância Conforme e Transformação de Cayley:
   • Utilizam a Transformação de Cayley para estabelecer uma correspondência isométrica (até fatores de escala) entre o Grupo de Heisenberg e a Esfera CR.
   • Isso permite transferir resultados provados na esfera para o grupo de Heisenberg e vice-versa.
3. Desigualdade de Hardy-Littlewood-Sobolev (HLS) Aguda: O núcleo da prova depende das versões agudas da desigualdade HLS no Grupo de Heisenberg e na Esfera CR, estabelecidas anteriormente por Frank e Lieb. Essas desigualdades fornecem as constantes ótimas necessárias para os limites de Sobolev.
4. Cálculo de Operadores Específicos: Os autores realizam cálculos explícitos para determinar a ação de operadores de potências fracionárias do sublaplaciano sobre kernels de convolução e funções de Green, identificando os operadores de projeção exatos ($P_{s,m}$) que aparecem na decomposição de energia.

3. Principais Contribuições e Resultados

O artigo estabelece três tipos principais de desigualdades de traço agudas e suas versões de limite:

A. Desigualdades de Traço de Sobolev (Casos $s < Q_n$):
Os autores provam desigualdades para $1 \le m < n$ e $2m < s < Q_n$ (onde $Q_n = 2n+2$ é a dimensão homogênea):

• Teorema 1.3 (Grupo de Heisenberg): Estabelece uma desigualdade de traço para funções em $W^{s,2}(H_n)$ restritas a um subgrupo $H_{n-m}$.
  • Resultado: $\int_{H_n} |L_{s,H_n}^{1/2}f|^2 \ge C \cdot \|R_m f\|_{L^p(H_{n-m})}^2$.
  • Condição de Igualdade: A igualdade é atingida se e somente se $f$ for uma função específica envolvendo potências de $|z''|$ e integrais sobre o subgrupo, parametrizadas por constantes de escala e translação.
• Teorema 1.4 (Esfera CR): Análogo ao Teorema 1.3, mas para funções na Esfera CR $S^{2n+1}$ restritas a uma esfera de dimensão inferior $S^{2(n-m)+1}$.
  • Resultado: Desigualdade envolvendo o operador $A_{s, S^{2n+1}}$.
  • Condição de Igualdade: Funções da forma $F(\zeta) = c (\sum |\zeta_j|^2)^{(s-2m)/2} \times \text{integral de Poisson}$.
• Teorema 1.5 (Traço Híbrido): Estabelece uma desigualdade de traço para funções no Grupo de Heisenberg restritas diretamente à Esfera CR (via identificação natural).

B. Desigualdades de Traço Beckner-Onofri (Caso Limite $s = Q_n$):
No caso crítico onde o expoente atinge a dimensão homogênea ($s = Q_n$), as desigualdades de Sobolev padrão degeneram, e surgem desigualdades do tipo Beckner-Onofri (envolvendo logaritmos e exponenciais).

• Teorema 1.7: Estabelece uma desigualdade de traço Beckner-Onofri na Esfera CR para funções CR-pluriharmonicas.
  • A desigualdade relaciona a energia do operador $A'_{Q_n}$ com o logaritmo da média exponencial do traço.
  • O caso de igualdade é caracterizado por funções da forma $-Q_n \ln|1 - \xi \cdot \eta| + c$, modificadas por um fator de projeção.

C. Extensão para a Esfera Euclidiana Padrão:
Uma contribuição inesperada e significativa é a aplicação da mesma metodologia para derivar versões de traço das desigualdades Beckner-Onofri na Esfera Euclidiana Padrão ($S^n$), um cenário que não havia sido tratado na literatura anterior para traços em subesferas.

• Teorema 1.9: Fornece a desigualdade de traço aguda para a esfera $S^n$ restrita a $S^{n-m}$, com constantes ótimas explícitas e caracterização das funções extremas.

4. Significado e Impacto

• Unificação de Geometrias: O trabalho demonstra a robustez do método de dualidade de Bez-Machihara-Sugimoto, mostrando que ele se aplica consistentemente tanto em espaços euclidianos quanto em geometrias sub-Riemannianas (Heisenberg) e CR.
• Constantes Ótimas: O artigo fornece explicitamente as melhores constantes (best constants) para essas desigualdades em contextos não euclidianos, preenchendo uma lacuna importante na análise geométrica.
• Caracterização de Extremantes: A descrição precisa das funções que atingem a igualdade é crucial para a análise variacional, permitindo o estudo de problemas de existência para equações diferenciais parciais não lineares associadas a esses operadores.
• Novas Ferramentas para Análise CR: Os resultados fornecem novas ferramentas para investigar problemas de curvatura Q-conforme e equações de Yamabe em variedades CR.

Em resumo, este artigo é um avanço fundamental na teoria das desigualdades funcionais em geometrias não-euclidianas, estendendo resultados clássicos de análise harmônica para o domínio do sublaplaciano fracionário com invariância conforme.