On best approximation and estimates of Bohr--Favard type on the sphere for functions with bounded Laplacian

Technische Samenvatting: Beste Benadering en Schattingen van het Bohr–Favard Type op de Sfeer voor Functies met een Begrensde Laplaciaan

Probleemstelling
Dit werk behandelt de bepaling van scherpe constanten in schattingen voor de uniforme ($L^\infty$) norm van functies op de eenheidssfeer $S^d$ ($d \ge 2$) met een begrensde Laplaciaan ($\|\Delta f\|_\infty \le 1$). De studie richt zich op twee afzonderlijke maar gerelateerde problemen, analoog aan de klassieke Bohr- en Favard-stellingen voor periodieke functies:

1. Het Bohr-probleem: Het schatten van de norm van functies waarvan de eerste $n-1$ sferische harmonische componenten verdwijnen ($f \perp \mathcal{H}_{<n}$). Het doel is om de scherpe constante $H(n, S^d)$ te vinden in de ongelijkheid $\|f\|_\infty \le H(n, S^d) \|\Delta f\|_\infty$.
2. Het Favard-probleem: Het schatten van de beste uniforme benaderingsfout $E_{n-1}(f)_{L^\infty}$ van dergelijke functies door sferische polynomen van graad ten hoogste $n-1$. Het doel is om de scherpe constante $K(n, S^d)$ te vinden in de ongelijkheid $E_{n-1}(f)_{L^\infty} \le K(n, S^d) \|\Delta f\|_\infty$.

Het artikel streeft ernaar de exacte waarden van deze constanten voor een vaste $n$ en hun asymptotische gedrag als $n \to \infty$ te bepalen, waarbij specifiek wordt onderzocht of de constanten voor het benaderingsprobleem ($K$) samenvallen met of strikt kleiner zijn dan die voor het normprobleem ($H$), een onderscheid dat verschilt van het klassieke periodieke geval waar zij gelijk zijn.

Methodologie
De primaire methodologie steunt op de Green-representatie van de inverse Laplaciaan. Voor functies met een gemiddelde van nul kan een functie $f$ worden uitgedrukt als een convolutie van zijn Laplaciaan $g = -\Delta f$ met een zonale Green-kern $G_d$:
$$f(x) = \int_{S^d} G_d(x \cdot y) g(y) \, d\sigma_d(y).$$
Het probleem van het begrenzen van $\|f\|_\infty$ of de benaderingsfout reduceert tot het vinden van de beste $L^1$-benadering van de Green-kern $G_d$ door polynomen van graad ten hoogste $n-1$ met betrekking tot de geïnduceerde maat op de sfeer.

Belangrijke technische stappen omvatten:

• Kern-interpolatie: Het vaststellen dat de beste $L^1$-benadering van de Green-kern de interpolerende polynoom is bij de nulpunten van een specifieke monische extreme polynoom $q_{n,d}$. Deze nulpunten worden bepaald door verdwijnende momentenvoorwaarden tegenover de gewogen maat geïnduceerd door de sferische maat.
• Extreme Polynomen: Het gebruik van Lemma 4.1 om de existentie en uniciteit van de monische polynoom vast te stellen die de gewogen $L^1$-norm minimaliseert. Het teken van de benaderingsfout wordt getoond gelijk te zijn aan het teken van deze extreme polynoom, wat de constructie van extreme functies (Bohr-extremalen) mogelijk maakt die de grenzen bereiken.
• Dimensionale Analyse:
  • $S^2$: Het probleem wordt gemapt naar een trigonometrische $L^1$-benadering op een gelijkmatig verdeeld rooster, wat leidt tot expliciete reekjesformules met Chebyshev-knopen.
  • $S^3$: De interpolatieknopen worden bepaald door een gewogen $L^1$ extreem probleem. Het herschalen van het probleem als $n \to \infty$ leidt tot de Hörmander–Bernhardsson-functie, een unieke volledige functie van exponentieel type één die de $L^1$-norm op $\mathbb{R}$ minimaliseert.
  • Hogere Dimensies ($S^4, S^6$): De Green-kernen in even dimensies kunnen worden uitgedrukt als eindige sommen van polen en logaritmen. De asymptotische constanten worden afgeleid door de limiterende gedraging van de herschale extreme polynomen te analyseren, die convergeren naar gewogen volledige extremalen.
• Dualiteit en Strikte Ongelijkheid: Om te bewijzen dat $K(n, S^d) < H(n, S^d)$, maakt het artikel gebruik van een duale formulering betreffende maten die $\mathcal{H}_{<n}$ annihileren. Er wordt aangetoond dat de gelijkheid van de constanten een voorwaarde zou vereisen waarbij de tekens van de kern-benaderingsfouten bij verschillende polen perfect op elkaar aansluiten, een conditie die als onmogelijk wordt beschouwd voor $n \ge 2$ vanwege de geometrische snijpuntseigenschappen van de tekenveranderingsverzamelingen (breedtegraad-sferen).

Belangrijkste Bijdragen en Resultaten

1. Exacte Constanten voor Vaste $n$:

   • $S^2$: De constante $H(n, S^2)$ wordt gegeven door een expliciete convergerende reeks (Theorem 7.1). De beste coëfficiënt voor de asymptotische schatting is $H(S^2) = \frac{7\zeta(3)}{4}$.
   • $S^3$: De constante $H(n, S^3)$ wordt uitgedrukt via een integraal met betrekking tot de extreme polynoom $q_n$. De asymptotische constante $H(S^3)$ wordt geïdentificeerd als een positieve integraal met betrekking tot de Hörmander–Bernhardsson-functie $\phi$, numeriek geëvalueerd als $\beta \approx 2.850999$ (Theorem 9.2).
   • $S^4$ en $S^6$: De asymptotische constanten worden afgeleid in termen van de minimale normen van gewogen volledige extreme functies (Theorem 13.1). Voor $S^4$ is de limiet $M_4/4$; voor $S^6$ betreft het een combinatie van een gewogen norm en de tweede afgeleide van de extreme functie in nul.

2. Uniforme Grenzen:
   Het artikel bewijst dat de afgeleide asymptotische limieten inderdaad de beste coëfficiënten zijn die gelijktijdig geldig zijn voor alle $n$. Specifiek voor $S^3$, $S^4$ en $S^6$ is het supremum van $n^2 H(n, S^d)$ gelijk aan de limiet wanneer $n \to \infty$ (Theorems 10.1, 14.1).

3. Strikte Ongelijkheid tussen Bohr- en Favard-constanten:
   Een centrale bevinding is dat voor elke vaste $n \ge 2$ op $S^2$ en $S^3$, de beste benaderingsconstante strikt kleiner is dan de Bohr-constante:
   $$K(n, S^d) < H(n, S^d).$$
   Dit staat in contrast met het klassieke periodieke geval waar de constanten samenvallen. Het artikel biedt een kwantitatieve kloof voor grote $n$ op $S^2$ (Proposition 17.1) en bewijst de strikte ongelijkheid via een compactheidsargument op de ruimte van maten (Theorems 15.2 en 18.1).

4. Constructieve Benadering:
   Het artikel biedt een expliciete lineaire operator voor het benaderen van functies op $S^2$ die optimaal is onder alle lineaire methoden die naar $\mathcal{H}_{<n}$ mappen. Deze methode behelst het convolueren van de Laplaciaan met de beste $L^1$-benadering van de Green-kern (Theorem 15.1, Section 16).

Betekenis en Claims
Het artikel claimt de bepaling van scherpe Bohr-type constanten op sferen voor functies met begrensde Laplacieën te hebben opgelost, door deze uit te drukken via gewogen $L^1$ extreme polynomen. De meest significante observatie, beschreven als "onverwacht", is de strikte scheiding tussen de Bohr-constante (norm van functies met ontbrekende harmonischen) en de Favard-constante (beste benaderingsfout) voor elke vaste $n \ge 2$ op $S^2$ en $S^3$.

Het werk stelt vast dat terwijl de gelijkheid van deze constanten standhoudt in de klassieke periodieke setting, dit niet het geval is op sferen. Het artikel biedt expliciete formules voor $S^2$, integraalrepresentaties met de Hörmander–Bernhardsson-functie voor $S^3$, en asymptotische formules voor $S^4$ en $S^6$. Het laat de vraag open of de strikte ongelijkheid standhoudt in de limiet (dat wil zeggen, of $\limsup n^2 K(n, S^d) < \lim n^2 H(n, S^d)$) en bepaalt niet de exacte waarden van $K(n, S^d)$ voor $n \ge 2$, maar biedt enkel ondergrenzen en bewijst dat de strikte ongelijkheid bestaat.