Equivalence of Sobolev norms in Lebesgue spaces for Hardy operators in a half-space

Resumo Técnico: Equivalência de Normas de Sobolev para Operadores de Hardy em um Semiespaço

1. O Problema e o Contexto

O artigo investiga a relação entre as escalas de espaços de Sobolev homogêneos gerados por operadores de Schrödinger com potenciais de Hardy em um semiespaço ($\mathbb{R}^d_+$) e os gerados pelo Laplaciano (ou Laplaciano fracionário) padrão sem potencial.

O operador estudado é definido como:
$$L_\lambda^{(\alpha)} := (-\Delta)_{\mathbb{R}^d_+}^{\alpha/2} + \lambda x_d^{-\alpha}$$
onde:

• $d \in \mathbb{N}$ é a dimensão.
• $\alpha \in (0, 2]$ é a ordem da derivada (sendo $\alpha=2$ o caso clássico e $\alpha < 2$ o caso fracionário regional).
• $(-\Delta)_{\mathbb{R}^d_+}^{\alpha/2}$ é o Laplaciano fracionário regional (que se reduz ao Laplaciano de Dirichlet quando $\alpha=2$).
• $\lambda x_d^{-\alpha}$ é o potencial de Hardy, dependente da distância $x_d$ à fronteira do semiespaço.
• $\lambda$ é uma constante de acoplamento.

Objetivo Principal: Estabelecer condições sob as quais as normas de Sobolev $\|(L_\lambda)^{s/2}u\|_{L^p}$ e $\|(L_0)^{s/2}u\|_{L^p}$ são equivalentes. Ou seja, determinar quando os domínios dos operadores de potência fracionária são os mesmos, permitindo substituir o operador complexo $L_\lambda$ pelo operador mais simples $L_0$ em estimativas de $L^p$.

Este trabalho estende resultados anteriores (notadamente de Frank e Merz, 2023) que foram provados apenas para o caso $p=2$, para todo o intervalo $p \in (1, \infty)$.

2. Metodologia e Ferramentas Técnicas

A prova da equivalência das normas enfrenta desafios significativos quando $p \neq 2$, pois a definição direta do domínio do operador $(L_\lambda)^{s/2}$ em $L^p$ não é trivial. Os autores utilizam uma abordagem baseada em estimativas de funções quadráticas (square functions) e análise de núcleo de calor.

As principais ferramentas metodológicas incluem:

1. Funções Quadráticas Contínuas:
   Em vez de usar projeções de Littlewood-Paley clássicas, os autores definem uma função quadrática contínua associada ao semigrupo de calor $e^{-tL_\lambda}$:
   $$(S_{L_\lambda, \gamma}f)(x) := \left( \int_0^\infty |(tL_\lambda)^\gamma e^{-tL_\lambda}f|^2 \frac{dt}{t} \right)^{1/2}$$
   Eles provam que $\|S_{L_\lambda, \gamma}f\|_{L^p} \simeq \|f\|_{L^p}$, o que permite caracterizar as normas de Sobolev via o semigrupo de calor.

2. Estimativas de Núcleo de Calor (Heat Kernel Bounds):
   O trabalho depende criticamente de estimativas pontuais precisas para o núcleo de calor $p_t(x, y)$ de $L_\lambda$.

   • Para $\lambda \geq 0$ (caso repulsivo ou nulo), as estimativas são conhecidas e envolvem pesos singulares $(1 \wedge x_d/t^{1/\alpha})^\sigma$.
   • Para $\lambda < 0$ (caso atrativo), o artigo assume que as estimativas de limite superior conhecidas para $\lambda \geq 0$ se estendem para o intervalo admissível $\lambda \geq \lambda_*$, uma hipótese que é discutida e justificada em casos específicos (como $d=1$).

3. Desigualdades de Hardy Generalizadas e Revertidas:
   Para conectar as normas de $L_\lambda$ e $L_0$, os autores provam duas desigualdades cruciais:

   • Desigualdade de Hardy Revertida: Fornece um limite inferior para o potencial de Hardy em termos de uma função quadrática que mede a diferença entre os semigrupos de $L_\lambda$ e $L_0$.
   • Desigualdade de Hardy Generalizada: Fornece um limite superior para potências do potencial de Hardy em termos do operador $L_\lambda$.

4. Testes de Schur e Análise de Núcleos:
   A prova das desigualdades acima utiliza testes de Schur ponderados para operadores integrais, analisando o comportamento dos núcleos de diferença $tL_0 e^{-tL_0} - tL_\lambda e^{-tL_\lambda}$ em diferentes regiões do espaço (perto da fronteira, longe da fronteira, etc.).

3. Resultados Principais

Teorema 1.1 (Equivalência de Normas):
Seja $p \in (1, \infty)$, $\alpha \in (0, 2]$ e $s \in (0, 2] \cap (0, 2d/\alpha)$. Seja $\sigma$ o parâmetro associado a $\lambda$ via a função $C(\sigma)$.
As normas são equivalentes:
$$\|(L_\lambda)^{s/2}u\|_{L^p(\mathbb{R}^d_+)} \simeq \|(L_0)^{s/2}u\|_{L^p(\mathbb{R}^d_+)}$$
se e somente se a condição sobre $p$ for satisfeita:
$$\frac{1}{p} > \max\left\{ \frac{\alpha s}{2} - (\alpha-1)_+, \frac{\alpha s}{2} - \sigma \right\}$$
onde $(\alpha-1)_+ = \max(0, \alpha-1)$.

• Caso Repulsivo ($\lambda > 0$): O resultado é válido para todos os $\lambda$ admissíveis.
• Caso Atrativo ($\lambda < 0$): O resultado é válido sob a hipótese de que as estimativas de núcleo de calor se estendem para $\lambda \in [\lambda_*, 0)$. O artigo destaca que, se essas estimativas forem provadas, a equivalência se estende automaticamente a este regime.

Corolário 1.2 (Transformadas de Riesz):
Como consequência direta, as transformadas de Riesz associadas a $L_0$ e $L_\lambda$ são limitadas em $L^p$, permitindo a comparação de operadores fracionários.

Teorema 1.10 (Densidade):
O artigo prova que o espaço $(L_\lambda)^{s/2}C_c^\infty(\mathbb{R}^d_+)$ é denso em $L^p(\mathbb{R}^d_+)$ sob certas condições de $s$ e $p$, o que é essencial para definir rigorosamente os domínios dos operadores em $L^p$.

4. Contribuições Chave

1. Generalização para $L^p$ ($p \neq 2$): O trabalho supera a limitação de estudos anteriores restritos a $L^2$, estabelecendo a equivalência de normas em todo o espaço $L^p$ para operadores de Hardy em semiespaços.
2. Novas Estimativas de Funções Quadráticas: Desenvolve estimativas robustas para funções quadráticas associadas a operadores com núcleos de calor que decaem lentamente e possuem pesos singulares, superando a falha de métodos tradicionais baseados em teoremas de multiplicadores de Mikhlin-Hörmander quando $\lambda < 0$.
3. Tratamento Unificado de Casos Atrativos e Repulsivos: Oferece uma estrutura teórica que cobre tanto potenciais repulsivos ($\lambda > 0$) quanto atrativos ($\lambda < 0$), delineando claramente as condições de validade e as limitações atuais relacionadas às estimativas de núcleo de calor para o caso atrativo.
4. Extensão de Resultados Anteriores: Estende o trabalho de Frank e Merz (2023) e conecta-se a uma linha de pesquisa ativa (Killip, Miao, Visan, Zhang, Zheng) sobre a caracterização de domínios de operadores de Schrödinger homogêneos.

5. Significado e Aplicações

A equivalência de normas de Sobolev é uma ferramenta poderosa na análise matemática e na física matemática, pois permite substituir operadores complexos com potenciais singulares por operadores mais simples (como o Laplaciano fracionário) sem perder informações sobre a regularidade das funções.

• Física Matemática: Os resultados são cruciais para o estudo de sistemas quânticos de muitos corpos com interações criticamente fortes, como átomos relativísticos. A equivalência permite reduzir problemas de muitos corpos a problemas de um corpo envolvendo operadores mais tratáveis.
• Equações Diferenciais Parciais (EDPs): Facilita o estudo de bem-postura global e espalhamento (scattering) para equações de Schrödinger não lineares envolvendo operadores de Hardy.
• Modelos de Escala: Os operadores homogêneos aparecem frequentemente como limites de escala em problemas de mecânica quântica, relatividade geral e finanças. A capacidade de trocar o operador de Hardy pelo Laplaciano simplifica drasticamente a análise assintótica e numérica desses modelos.

Em suma, o artigo fornece a base analítica rigorosa necessária para manipular espaços de Sobolev associados a operadores de Hardy em $L^p$, abrindo caminho para novas aplicações em problemas de física teórica e análise não linear.