Asymptotically sharp Hardy-Rellich inequalities on lattices

Resumo Técnico: Desigualdades de Hardy-Rellich Assintoticamente Afiadas em Lattices

Enunciado do Problema
O artigo aborda a determinação do comportamento assintótico afiado das constantes ótimas, denotadas por $C_{m,d}$, em desigualdades de Hardy-Rellich discretas na rede inteira $\mathbb{Z}^d$ conforme a dimensão $d$ tende ao infinito. Para um inteiro fixo de ordem $m \ge 1$, a desigualdade é definida como:
$$\sum_{n \in \mathbb{Z}^d} |D_m u(n)|^2 \ge C_{m,d} \sum_{n \in \mathbb{Z}^d \setminus \{0\}} \frac{|u(n)|^2}{|n|^{2m}}, \quad \forall u \in E(\mathbb{Z}^d),$$
onde $E(\mathbb{Z}^d)$ é o espaço de funções de suporte compacto que se anulam na origem, e $D_m$ representa o operador diferencial discreto de ordem $m$.

Embora as constantes afiadas para essas desigualdades sejam bem compreendidas no cenário euclidiano contínuo $\mathbb{R}^d$ (onde escalam como $d^{2m}$), o caso discreto apresenta desafios significativos devido à falta de argumentos de escala e de integração por partes. O trabalho anterior de Gupta estabeleceu que $C_{m,d}$ escala como $d^m$ para $d$ grande, mas o valor limite assintótico exato permaneceu uma questão em aberto. Especificamente, sabia-se que $0 < \liminf_{d\to\infty} C_{m,d}/d^m \le \limsup_{d\to\infty} C_{m,d}/d^m < \infty$. Este artigo visa resolver o valor exato deste limite.

Metodologia
Os autores empregam uma abordagem de múltiplas etapas combinando análise de Fourier, identidades funcionais e estimativas de concentração probabilística:

1. Redução de Fourier: Seguindo a abordagem de Gupta, o problema discreto em $\mathbb{Z}^d$ é transformado em uma desigualdade integral ponderada equivalente no toro plano $\mathbb{T}^d = [-\pi, \pi]^d$. As somas discretas são convertidas em integrais envolvendo uma função de peso anisotrópica específica:
   $$\omega(x) = \sum_{j=1}^d \left(\sin \frac{x_j}{2}\right)^2.$$
   O problema reduz-se a encontrar a melhor constante para desigualdades ponderadas da forma:
   $$\int_{\mathbb{T}^d} |D_k \phi|^2 \omega^\gamma dx \ge C_{d,k,\ell,\gamma} \int_{\mathbb{T}^d} |D_\ell \phi|^2 \omega^{\gamma-k+\ell} dx.$$

2. Identidades de Hardy-Rellich Generalizadas: Para lidar com os termos de erro decorrentes do peso anisotrópico $\omega^\gamma$, os autores utilizam identidades de Hardy-Rellich de primeira e segunda ordem gerais. Uma novidade fundamental é a introdução de uma identidade do tipo Rellich de segunda ordem (Lema 2.1, Eq. 2.2) que acopla a matriz Hessiana com um campo vetorial via produtos tensoriais. Isso permite o gerenciamento preciso do acoplamento entre diferentes direções espaciais, algo que abordagens padrão de pares de Bessel não conseguem tratar neste contexto.

3. Estimativas de Concentração Probabilística: O peso $\omega$ é interpretado como uma média empírica de variáveis aleatórias independentes. Os autores aproveitam essa estrutura probabilística para controlar as regiões degeneradas do peso (onde $\omega \to 0$) conforme $d \to \infty$.

   • Desigualdade de Hoeffding: Utilizada para estimar a medida do conjunto onde o peso desvia significativamente de sua média, garantindo que as regiões "ruins" se tornem negligenciáveis em altas dimensões.
   • Métodos de Entropia: Os autores empregam a desigualdade de log-Sobolev no toro, observando que a melhor constante é independente da dimensão. Isso permite estimativas de entropia uniformes através das dimensões, o que é crucial para limitar as integrais ponderadas.

Contribuições Principais e Resultados
O resultado primário do artigo é a determinação do limite assintótico exato das constantes ótimas:

Teorema 1.1: Para todo inteiro fixo $m \ge 1$, a constante afiada $C_{m,d}$ satisfaz:
$$\lim_{d \to \infty} \frac{C_{m,d}}{d^m} = 2^m.$$

Para alcançar isso, os autores primeiro estabelecem o Teorema 1.3, que fornece o comportamento assintótico para as desigualdades ponderadas gerais no toro. Eles provam que para inteiros não negativos $\ell, k$ com $0 < k - \ell \le \gamma$:
$$\lim_{d \to \infty} \frac{C_{d,k,\ell,\gamma}}{d^{k-\ell}} = 2^{\ell-k}.$$

A prova baseia-se na Proposição 1.4, que estabelece estimativas afiadas para as normas ponderadas envolvendo o gradiente e o Laplaciano. Especificamente, eles mostram que para $d$ grande:

• $\int |\nabla \phi|^2 \omega^\gamma \approx \int \phi^2 \omega^\gamma$ (até termos de ordem inferior).
• $\int |\nabla \phi|^2 \omega^\gamma \approx \frac{d}{2} \int \phi^2 \omega^{\gamma-1}$.
• $\int |\Delta \phi|^2 \omega^\gamma \approx \int |\nabla \phi|^2 \omega^\gamma$.
• $\int |\Delta \phi|^2 \omega^\gamma \approx \frac{d}{2} \int |\nabla \phi|^2 \omega^{\gamma-1}$.

Essas estimativas são derivadas combinando as novas identidades de Rellich com os limites de concentração probabilística (Hoeffding e entropia) para lidar com a anisotropia de $\omega$.

Significância
O artigo afirma fornecer uma resposta completa a uma questão deixada em aberto por Gupta sobre o comportamento assintótico exato das constantes de Hardy-Rellich discretas. O resultado destaca uma diferença fundamental entre os cenários discreto e contínuo: enquanto as constantes ótimas em $\mathbb{R}^d$ crescem como $d^{2m}$, aquelas na rede $\mathbb{Z}^d$ crescem como $d^m$. Os autores observam que sua abordagem, particularmente o uso de estimativas de concentração probabilística para lidar com pesos anisotrópicos de maneira uniforme em relação à dimensão, oferece um novo conjunto de ferramentas para analisar desigualdades discretas de alta dimensão.

O artigo também reconhece que, após sua conclusão, Gupta obteve de forma independente o mesmo resultado usando uma abordagem diferente. A contribuição dos autores reside na combinação específica de redução de Fourier, novas identidades de segunda ordem e métodos probabilísticos para derivar essas estimativas afiadas.