Riesz transform and its related inequalities for degenerate elliptic operators of Grushin type

Resumo Técnico: Transformada de Riesz e Desigualdades Relacionadas para Operadores Elípticos Degenerados do Tipo Grushin

Enunciado do Problema
Este artigo investiga a limitação em $L^p$ da transformada de Riesz e a validade da desigualdade inversa de Riesz para uma classe de operadores elípticos degenerados do tipo Grushin. O operador $L$ é definido em $\mathbb{R}^{n+m}$ por:
$$L = -\nabla_x \cdot (|x|^{2\alpha}\nabla_x) + |x|^{2\beta}\Delta_y,$$
onde $n, m \ge 1$, $0 < \alpha < 1$, e $\beta \ge 0$. O gradiente intrínseco associado é $\nabla_L = (|x|^\alpha \nabla_x, |x|^\beta \nabla_y)$. A degenerescência ocorre no conjunto singular $\{x=0\}$.

As questões centrais são:

1. Limitação da Transformada de Riesz: Para quais $p \in (1, \infty)$ a desigualdade $\|\nabla_L L^{-1/2} f\|_p \le C_p \|f\|_p$ é válida?
2. Desigualdade Inversa de Riesz: Para quais $p$ a desigualdade inversa $\|L^{1/2} f\|_p \le C_p \|\nabla_L f\|_p$ é válida?

A análise é complicada pela geometria anisotrópica do espaço de Grushin e pelo comportamento da realização de Friedrichs próximo ao conjunto singular, que varia significativamente dependendo da dimensão $n$ e do parâmetro de degenerescência $\alpha$.

Metodologia
A estratégia de prova baseia-se no estabelecimento de desigualdades de Hölder reversas para gradientes de funções $L$-harmônicas, aproveitando a equivalência abstrata entre essas desigualdades e a limitação da transformada de Riesz (Coulhon, Jiang, Koskela, Sikora). A metodologia é dividida em regimes distintos baseados na dimensão e na degenerescência:

1. Construções de Núcleo e Análise Explícita:

   • Realização de Friedrichs: Os autores caracterizam rigorosamente as condições de contorno admissíveis no conjunto singular $\{x=0\}$. Para $0 < \alpha < 1/2$, o domínio da forma admite um traço comum, levando a condições de correspondência de fluxo. Para $1/2 \le \alpha < 1$, o conjunto singular possui capacidade zero, separando o domínio em dois semirretas com condições de fluxo zero em cada uma.
   • Núcleos de Poisson e Green: Os autores constroem núcleos de Poisson e Green explícitos adaptados à extensão de Friedrichs. Isso envolve a transformada de Fourier na variável $y$ e a decomposição em harmônicos esféricos (para $n \ge 2$) ou a separação de partes pares/ímpares (para $n=1$).
   • Funções de Bessel Modificadas: A parte radial do operador reduz-se a equações de Bessel modificadas. A análise requer estimativas precisas de razões de funções de Bessel modificadas ($I_\nu$ e $K_\nu$).
     • No caso $n \ge 2$, a ordem $\nu_\ell$ das funções de Bessel depende da frequência angular $\ell$ e tende ao infinito. Os autores desenvolvem estimativas uniformes em relação à ordem, que são críticas para controlar a interação com o conjunto singular.
     • No caso $n=1$, o problema reduz-se à análise de Bessel de ordem fixa em semirretas, mas com condições de contorno distintas (fluxo zero para componentes pares, traço zero para componentes ímpares).

2. Desigualdade Inversa de Riesz via Aniquilação Harmônica:

   • Para a desigualdade inversa, particularmente no regime fortemente degenerado ($n=1, \alpha \ge 1/2$) onde as desigualdades de Poincaré globais falham, os autores empregam um método de aniquilação harmônica.
   • Esta técnica isola o termo harmônico principal no núcleo da transformada de Riesz (que causa a não limitação em certos regimes) e o elimina via integração por partes na forma bilinear. O termo restante é controlado usando uma desigualdade de Hardy adaptada para Grushin.

3. Argumento do Projetor de Hodge:

   • No caso unidimensional fortemente degenerado ($n=1, 1/2 \le \alpha < 1$), a falta de uma desigualdade de Poincaré global impede a aplicação direta das caracterizações padrão de Hölder reversa. Os autores combinam a desigualdade inversa de Riesz com um resultado de limitação do projetor de Hodge (critério de Shen) para recuperar o intervalo total de limitação da transformada de Riesz.

Principais Contribuições e Resultados

• Limitação de Intervalo Total para $n \ge 2$:
  O Teorema 1.1 estabelece que para $n \ge 2$ e $0 < \alpha < 1$, a transformada de Riesz é limitada em $L^p$ para todo o intervalo $1 < p < \infty$. Isso é alcançado provando a estimativa de Hölder reversa no limite $(RH_\infty)$ próximo ao conjunto singular usando estimativas de Bessel uniformes.

• Intervalo Nítido e Obstrução de Limite para $n=1$ Fracamente Degenerado:
  Para $n=1$ e $0 < \alpha < 1/2$, o Teorema 1.2 prova que a transformada de Riesz é limitada se, e somente se, $1 < p < \alpha^{-1}$.

  • Mecanismo: A componente ímpar da solução satisfaz uma condição de traço zero na origem, comportando-se como $\text{sgn}(x)|x|^{1-2\alpha}$. Seu gradiente intrínseco escala como $|x|^{-\alpha}$, criando uma singularidade que obstrui a limitação para $p \ge \alpha^{-1}$.
  • Nitidez: O artigo constrói um contraexemplo demonstrando a falha da desigualdade de Hölder reversa no ponto de limite.

• Desigualdade Inversa de Riesz para Todos os Regimes:
  O Teorema 1.3 estabelece a desigualdade inversa de Riesz para todos os $n, m \ge 1$.

  • Para $n \ge 2$, ela ocorre para todo $1 < p < \infty$.
  • Para $n=1$, ocorre para $p \in (1, (1-\alpha)^{-1}) \cup ((1-\alpha)^{-1}, \infty)$. O expoente excluído $p = (1-\alpha)^{-1}$ corresponde ao limiar de Hardy.
  • Crucialmente, no caso fortemente degenerado ($n=1, \alpha \ge 1/2$), a desigualdade inversa ocorre para todo $1 < p < \infty$, apesar da falha da desigualdade de Poincaré global, graças à técnica de aniquilação harmônica.

• Limitação de Intervalo Total para $n=1$ Fortemente Degenerado:
  O Teorema 1.4 prova que para $n=1$ e $1/2 \le \alpha < 1$, a transformada de Riesz é limitada para o intervalo completo $1 < p < \infty$.

  • Mecanismo: A realização de Friedrichs separa as duas semirretas, selecionando o ramo de fluxo zero em cada uma. Embora a desigualdade de Poincaré global falhe, a estrutura separada permite uma estimativa de Hölder reversa local fortalecida. Combinando isso com a desigualdade inversa de Riesz e a limitação do projetor de Hodge, obtém-se o resultado de intervalo total.

Significância e Alegações
O artigo afirma fornecer uma descrição completa da limitação em $L^p$ da transformada de Riesz para operadores de Grushin em todos os regimes de parâmetros.

• Transição de Comportamento: Uma descoberta fundamental é a "transição marcante" no comportamento do conjunto singular. No caso unidimensional fracamente degenerado, o conjunto singular atua como uma barreira que cria uma obstrução específica ($p < \alpha^{-1}$). No caso fortemente degenerado, o conjunto singular efetivamente separa o espaço, mas a condição de fluxo zero nos componentes separados restaura a limitação de intervalo total.
• Inovação Técnica: O trabalho introduz estimativas uniformes em relação à ordem para funções de Bessel modificadas no contexto de operadores de Grushin, que são necessárias para o caso de dimensões superiores. Ele também adapta o método de aniquilação harmônica para lidar com operadores degenerados onde o conjunto singular tem capacidade zero, contornando a necessidade de desigualdades de Poincaré globais na análise de Riesz reversa.
• Limitações: O artigo observa que os casos de limite $p = \alpha^{-1}$ (para $n=1, \alpha < 1/2$) e $p = (1-\alpha)^{-1}$ (para a desigualdade inversa) permanecem abertos ou são conhecidos como os limiares exatos de falha, mas o artigo não resolve a limitação nesses pontos exatos.

Os resultados destacam que a limitação da transformada de Riesz é sensível não apenas à geometria do núcleo de calor, mas especificamente ao comportamento de limite local de funções harmônicas no conjunto singular e à interação entre a realização de Friedrichs e o gradiente intrínseco.