Asymptotically sharp Hardy-Rellich inequalities on lattices

Technische Samenvatting: Asymptotisch scherpe Hardy-Rellich-ongelijkheden op roosters

Probleemstelling
Het artikel behandelt de bepaling van het scherpe asymptotische gedrag van de optimale constanten, aangeduid als $C_{m,d}$, in discrete Hardy-Rellich-ongelijkheden op het gehele rooster $\mathbb{Z}^d$ wanneer de dimensie $d$ naar oneindig gaat. Voor een vaste gehele orde $m \ge 1$ is de ongelijkheid gedefinieerd als:
$$\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),$$
waarbij $E(\mathbb{Z}^d)$ de ruimte is van compact ondersteunde functies die in de oorsprong verdwijnen, en $D_m$ de discrete differentiële operator van orde $m$ voorstelt.

Hoewel scherpe constanten voor deze ongelijkheden goed begrepen zijn in de continue Euclidische setting $\mathbb{R}^d$ (waar ze schalen als $d^{2m}$), presenteert de discrete casus aanzienlijke uitdagingen vanwege het gebrek aan schalingargumenten en integratie door delen. Vorig werk van Gupta stelde vast dat $C_{m,d}$ schaalt als $d^m$ voor grote $d$, maar de exacte asymptotische limiet bleef een open vraag. Specifiek was bekend dat $0 < \liminf_{d\to\infty} C_{m,d}/d^m \le \limsup_{d\to\infty} C_{m,d}/d^m < \infty$. Dit artikel beoogt de exacte waarde van deze limiet op te lossen.

Methodologie
De auteurs hanteren een meerstapsbenadering die Fourieranalyse, functionele identiteiten en probabilistische concentratie-inschattingen combineert:

1. Fourier-reductie: Volgens de aanpak van Gupta wordt het discrete probleem op $\mathbb{Z}^d$ getransformeerd naar een equivalente gewogen integraal-ongelijkheid op de platte torus $\mathbb{T}^d = [-\pi, \pi]^d$. De discrete sommen worden omgezet in integralen met betrekking tot een specifieke anisotrope gewichtsfunctie:
   $$\omega(x) = \sum_{j=1}^d \left(\sin \frac{x_j}{2}\right)^2.$$
   Het probleem reduceert tot het vinden van de beste constante voor gewogen ongelijkheden van de vorm:
   $$\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. Gegeneraliseerde Hardy-Rellich-identiteiten: Om de fouttermen te behandelen die voortvloeien uit de anisotrope gewichtsfunctie $\omega^\gamma$, maken de auteurs gebruik van algemene eerste- en tweede-orde Hardy-Rellich-identiteiten. Een belangrijke nieuwheid is de introductie van een tweede-orde Rellich-type identiteit (Lemma 2.1, Eq. 2.2) die de Hessiaanse matrix koppelt aan een vectorveld via tensorproducten. Dit maakt een precieze beheersing van de koppeling tussen verschillende ruimtelijke richtingen mogelijk, waar standaard Bessel-paar benaderingen in deze context tekortschieten.

3. Probabilistische Concentratie-inschattingen: Het gewicht $\omega$ wordt geïnterpreteerd als een empirisch gemiddelde van onafhankelijke random variabelen. De auteurs maken gebruik van deze probabilistische structuur om de degeneratieve regio's van het gewicht (waar $\omega \to 0$) te beheersen naarmate $d \to \infty$.

   • Hoeffding's Ongelijkheid: Gebruikt om de maat van de verzameling te schatten waar het gewicht significant afwijkt van zijn gemiddelde, wat ervoor zorgt dat de "slechte" regio's in hoge dimensies verwaarloosbaar worden.
   • Entropie-methoden: De auteurs passen de logaritmische Sobolev-ongelijkheid op de torus toe, waarbij zij opmerken dat de beste constante dimensie-onafhankelijk is. Dit maakt uniforme entropie-inschattingen over dimensies mogelijk, wat cruciaal is voor het begrenzen van de gewogen integralen.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat van het artikel is de bepaling van de exacte asymptotische limiet van de optimale constanten:

Stelling 1.1: Voor elke vaste gehele $m \ge 1$ voldoet de scherpe constante $C_{m,d}$ aan:
$$\lim_{d \to \infty} \frac{C_{m,d}}{d^m} = 2^m.$$

Om dit te bereiken, stellen de auteurs eerst Stelling 1.3 vast, die het asymptotische gedrag voor de algemene gewogen ongelijkheden op de torus bepaalt. Zij bewijzen dat voor niet-negatieve gehele getallen $\ell, k$ met $0 < k - \ell \le \gamma$:
$$\lim_{d \to \infty} \frac{C_{d,k,\ell,\gamma}}{d^{k-\ell}} = 2^{\ell-k}.$$

Het bewijs steunt op Propositie 1.4, die scherpe inschattingen geeft voor de gewogen normen met betrekking tot de gradiënt en de Laplaciaan. Specifiek tonen zij aan dat voor grote $d$:

• $\int |\nabla \phi|^2 \omega^\gamma \approx \int \phi^2 \omega^\gamma$ (tot lagere orde termen).
• $\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}$.

Deze inschattingen worden afgeleid door de nieuwe Rellich-identiteiten te combineren met de probabilistische concentratie-bounds (Hoeffding en entropie) om de anisotropie van $\omega$ te beheersen.

Betekenis
Het artikel beweert een volledig antwoord te bieden op een vraag die door Gupta open werd gelaten betreffende het precieze asymptotische gedrag van discrete Hardy-Rellich-constanten. Het resultaat benadrukt een fundamenteel verschil tussen de continue en discrete setting: terwijl optimale constanten in $\mathbb{R}^d$ groeien als $d^{2m}$, groeien die op het rooster $\mathbb{Z}^d$ als $d^m$. De auteurs merken op dat hun aanpak, met name het gebruik van probabilistische concentratie-inschattingen om anisotrope gewichten op een dimensie-uniforme wijze te behandelen, een nieuw instrumentarium biedt voor het analyseren van hoog-dimensionale discrete ongelijkheden.

Het artikel erkent ook dat, na voltooiing hiervan, Gupta onafhankelijk van hetzelfde resultaat heeft verkregen met een andere aanpak. De bijdrage van de auteurs ligt in de specifieke combinatie van Fourier-reductie, nieuwe tweede-orde identiteiten en probabilistische methoden om deze scherpe inschattingen af te leiden.