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

Sintesi Tecnica: Migliore Approssimazione e Stime di Tipo Bohr–Favard sulla Sfera per Funzioni con Laplaciano Limitato

Enunciato del Problema
Questo lavoro affronta la determinazione delle costanti strette nelle stime della norma uniforme ($L^\infty$) di funzioni sulla sfera unitaria $S^d$ ($d \ge 2$) con un Laplaciano limitato ($\|\Delta f\|_\infty \le 1$). Lo studio si concentra su due problemi distinti ma correlati, analoghi ai classici teoremi di Bohr e Favard per le funzioni periodiche:

1. Il Problema di Bohr: Stimare la norma di funzioni i cui primi $n-1$ componenti armoniche sferiche sono nulle ($f \perp \mathcal{H}_{<n}$). L'obiettivo è trovare la costante stretta $H(n, S^d)$ nella disuguaglianza $\|f\|_\infty \le H(n, S^d) \|\Delta f\|_\infty$.
2. Il Problema di Favard: Stimare l'errore di migliore approssimazione uniforme $E_{n-1}(f)_{L^\infty}$ di tali funzioni da parte di polinomi sferici di grado al massimo $n-1$. L'obiettivo è trovare la costante stretta $K(n, S^d)$ nella disuguaglianza $E_{n-1}(f)_{L^\infty} \le K(n, S^d) \|\Delta f\|_\infty$.

Il documento mira a determinare i valori esatti di queste costanti per $n$ fissato e il loro comportamento asintotico quando $n \to \infty$, investigando specificamente se le costanti per il problema di approssimazione ($K$) coincidano con o siano strettamente minori di quelle per il problema della norma ($H$), una distinzione che differisce dal caso classico periodico in cui esse sono uguali.

Metodologia
La metodologia primaria si basa sulla rappresentazione Green dell'inverso del Laplaciano. Per funzioni di media nulla, $f$ può essere espressa come una convoluzione del suo Laplaciano $g = -\Delta f$ con un nucleo Green zonale $G_d$:
$$f(x) = \int_{S^d} G_d(x \cdot y) g(y) \, d\sigma_d(y).$$
Il problema di limitare $\|f\|_\infty$ o l'errore di approssimazione si riduce alla ricerca della migliore approssimazione $L^1$ del nucleo Green $G_d$ da parte di polinomi di grado al massimo $n-1$ rispetto alla misura indotta sulla sfera.

Fasi tecniche chiave:

• Interpolazione del Nucleo: Identificare che il miglior approssimante $L^1$ al nucleo Green è il polinomio interpolante nei punti di zero di un particolare polinomio estremo monico $q_{n,d}$. Tali zeri sono determinati da condizioni di momento nullo rispetto alla misura pesata indotta dalla sfera.
• Polinomi Estremi: Utilizzare il Lemma 4.1 per stabilire l'esistenza e l'unicità del polinomio monico che minimizza la norma $L^1$ pesata. Si dimostra che il segno dell'errore di approssimazione è il segno di questo polinomio estremo, il che permette la costruzione di funzioni estreme (estremi di Bohr) che raggiungono i limiti.
• Analisi Dimensionale:
  • $S^2$: Il problema viene mappato su un problema di approssimazione $L^1$ trigonometrica su una griglia equispaziata, portando a formule in serie esplicite che coinvolgono i nodi di Chebyshev.
  • $S^3$: I nodi di interpolazione sono determinati da un problema estremo $L^1$ pesato. La riscalatura del problema per $n \to \infty$ porta alla funzione di Hörmander–Bernhardsson, un'unica funzione intera di tipo esponenziale uno che minimizza la norma $L^1$ su $\mathbb{R}$.
  • Dimensioni Superiori ($S^4, S^6$): I nuclei Green nelle dimensioni pari sono espressi come somme finite di poli e logaritmi. Le costanti asintotiche sono derivate analizzando il comportamento limite dei polinomi estremi riscalati, che convergono a funzioni intere estreme pesate.
• Dualità e Disuguaglianza Stretta: Per provare che $K(n, S^d) < H(n, S^d)$, il documento impiega una formulazione duale riguardante le misure che annullano $\mathcal{H}_{<n}$. Si dimostra che l'uguaglianza delle costanti richiederebbe che i segni degli errori di approssimazione del nucleo ai diversi poli si allineassero perfettamente, una condizione che si mostra impossibile per $n \ge 2$ a causa delle proprietà di intersezione geometrica degli insiemi di cambio di segno (sfere di latitudine).

Contributi Chiave e Risultati

1. Costanti Esatte per $n$ Fisso:

   • $S^2$: La costante $H(n, S^2)$ è data da una serie convergente esplicita (Teorema 7.1). Il miglior coefficiente per la stima asintotica è $H(S^2) = \frac{7\zeta(3)}{4}$.
   • $S^3$: La costante $H(n, S^3)$ è espressa tramite un integrale che coinvolge il polinomio estremo $q_n$. La costante asintotica $H(S^3)$ è identificata come un integrale positivo che coinvolge la funzione di Hörmander–Bernhardsson $\phi$, valutata numericamente come $\beta \approx 2.850999$.
   • $S^4$ e $S^6$: Le costanti asintotiche sono derivate in termini delle norme minime di funzioni intere estreme pesate (Teorema 13.1). Per $S^4$, il limite è $M_4/4$; per $S^6$, coinvolge una combinazione di una norma pesata e la derivata seconda della funzione estrema in zero.

2. Limiti Uniformi:
   Il documento prova che i limiti asintotici derivati sono effettivamente i migliori coefficienti validi simultaneamente per tutti gli $n$. Specificamente, per $S^3$, $S^4$ e $S^6$, il supremo di $n^2 H(n, S^d)$ è uguale al limite per $n \to \infty$ (Teoremi 10.1, 14.1).

3. Disuguaglianza Stretta tra le Costanti di Bohr e di Favard:
   Un risultato centrale è che per ogni $n \ge 2$ fissato su $S^2$ e $S^3$, la costante di migliore approssimazione è strettamente minore della costante di Bohr:
   $$K(n, S^d) < H(n, S^d).$$
   Ciò contrasta con il caso classico periodico in cui le costanti coincidono. Il documento fornisce un divario quantitativo per grandi $n$ su $S^2$ (Proposizione 17.1) e prova la disuguaglianza stretta tramite un argomento di compattezza sullo spazio delle misure (Teoremi 15.2 e 18.1).

4. Approssimazione Costruttiva:
   Il documento fornisce un operatore lineare esplicito per approssimare funzioni su $S^2$ che è ottimale tra tutti i metodi lineari che mappano verso $\mathcal{H}_{<n}$. Questo metodo prevede la convoluzione del Laplaciano con il miglior approssimante $L^1$ del nucleo Green (Teorema 15.1, Sezione 16).

Significatività e Rivendicazioni
Il documento rivendica di aver risolto la determinazione delle costanti di tipo Bohr strette sulle sfere per funzioni con Laplaciani limitati, esprimendole attraverso polinomi estremi $L^1$ pesati. L'osservazione più significativa, descritta come "inaspettata", è la separazione stretta tra la costante di Bohr (norma delle funzioni con armoniche mancanti) e la costante di Favard (errore di migliore approssimazione) per ogni $n \ge 2$ su $S^2$ e $S^3$.

Il lavoro stabilisce che, mentre la coincidenza di queste costanti è valida nell'impostazione periodica classica, essa fallisce sulle sfere. Il documento fornisce formule esplicite per $S^2$, rappresentazioni integrali che coinvolgono la funzione di Hörmander–Bernhardsson per $S^3$, e formule asintotiche per $S^4$ e $S^6$. Lascia aperto il quesito se la disuguaglianza stretta persista nel limite (ovvero se $\limsup n^2 K(n, S^d) < \lim n^2 H(n, S^d)$) e non determina i valori esatti di $K(n, S^d)$ per $n \ge 2$, fornendo solo limiti inferiori e provando che la disuguaglianza stretta esiste.