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

Resumo Técnico: Melhor Aproximação e Estimativas de Tipo Bohr–Favard na Esfera para Funções com Laplaciano Limitado

Enunciado do Problema
Este trabalho aborda a determinação de constantes aguçadas em estimativas para a norma uniforme ($L^\infty$) de funções na esfera unitária $S^d$ ($d \ge 2$) com um laplaciano limitado ($\|\Delta f\|_\infty \le 1$). O estudo foca em dois problemas distintos, porém relacionados, análogos aos clássicos teoremas de Bohr e Favard para funções periódicas:

1. O Problema de Bohr: Estimar a norma de funções cujos primeiros $n-1$ componentes de harmônicos esféricos se anulam ($f \perp \mathcal{H}_{<n}$). O objetivo é encontrar a constante aguda $H(n, S^d)$ na desigualdade $\|f\|_\infty \le H(n, S^d) \|\Delta f\|_\infty$.
2. O Problema de Favard: Estimar o erro de melhor aproximação uniforme $E_{n-1}(f)_{L^\infty}$ de tais funções por polinômios esféricos de grau no máximo $n-1$. O objetivo é encontrar a constante aguda $K(n, S^d)$ na desigualdade $E_{n-1}(f)_{L^\infty} \le K(n, S^d) \|\Delta f\|_\infty$.

O artigo busca determinar os valores exatos dessas constantes para um $n$ fixo e seu comportamento assintótico quando $n \to \infty$, investigando especificamente se as constantes para o problema de aproximação ($K$) coincidem com ou são estritamente menores que as do problema da norma ($H$), uma distinção que difere do caso periódico clássico onde elas são iguais.

Metodologia
A metodologia primária baseia-se na representação de Green do inverso do Laplaciano. Para funções de média zero, $f$ pode ser expressa como uma convolução do seu Laplaciano $g = -\Delta f$ com um núcleo de Green zonal $G_d$:
$$f(x) = \int_{S^d} G_d(x \cdot y) g(y) \, d\sigma_d(y).$$
O problema de limitar $\|f\|_\infty$ ou o erro de aproximação reduz-se a encontrar a melhor aproximação $L^1$ do núcleo de Green $G_d$ por polinômios de grau no máximo $n-1$ em relação à medida induzida na esfera.

Etapas técnicas fundamentais incluem:

• Interpolação de Núcleo: Identificar que o aproximante $L^1$ de melhor ajuste para o núcleo de Green é o polinômio interpolante nos zeros de um polinômio extremal mônico específico $q_{n,d}$. Esses zeros são determinados por condições de momentos nulos contra o peso induzido pela medida esférica.
• Polinômios Extremais: Utilizar o Lema 4.1 para estabelecer a existência e unicidade do polinômio mônico que minimiza a norma $L^1$ ponderada. O sinal do erro de aproximação é mostrado para ser o sinal deste polinômio extremal, o que permite a construção de funções extremais (extremais de Bohr) que atingem os limites.
• Análise Dimensional:
  • $S^2$: O problema é mapeado para um problema de aproximação $L^1$ trigonométrica em uma grade igualmente espaçada, levando a fórmulas de séries explícitas envolvendo nós de Chebyshev.
  • $S^3$: Os nós de interpolação são determinados por um problema extremal $L^1$ ponderado. O escalonamento do problema quando $n \to \infty$ leva à função de Hörmander–Bernhardsson, uma função inteira única de tipo exponencial um que minimiza a norma $L^1$ em $\mathbb{R}$.
  • Dimensões Superiores ($S^4, S^6$): Os núcleos de Green em dimensões pares são expressos como somas finitas de polos e logaritmos. As constantes assintóticas são derivadas através da análise do comportamento limite dos polinômios extremais escalonados, que convergem para extremais inteiras ponderadas.
• Dualidade e Desigualdade Estrita: Para provar que $K(n, S^d) < H(n, S^d)$, o artigo emprega uma formulação dual envolvendo medidas que aniquilam $\mathcal{H}_{<n}$. Demonstra-se que a igualdade das constantes exigiria que os sinais dos erros de aproximação do núcleo nos diferentes polos se alinhassem perfeitamente, uma condição mostrada como impossível para $n \ge 2$ devido às propriedades de interseção geométrica dos conjuntos de mudança de sinal (esferas de latitude).

Principais Contribuições e Resultados

1. Constantes Exatas para $n$ Fixo:

   • $S^2$: A constante $H(n, S^2)$ é dada por uma série convergente explícita (Teorema 7.1). O melhor coeficiente para a estimativa assintótica é $H(S^2) = \frac{7\zeta(3)}{4}$.
   • $S^3$: A constante $H(n, S^3)$ é expressa via uma integral envolvendo o polinômio extremal $q_n$. A constante assintótica $H(S^3)$ é identificada como uma integral positiva envolvendo a função de Hörmander–Bernhardsson $\phi$, numericamente avaliada como $\beta \approx 2.850999$.
   • $S^4$ e $S^6$: As constantes assintóticas são derivadas em termos das normas mínimas de funções extremais inteiras ponderadas (Teorema 13.1). Para $S^4$, o limite é $M_4/4$; para $S^6$, envolve uma combinação de uma norma ponderada e a segunda derivada da função extremal em zero.

2. Limites Uniformes:
   O artigo prova que os limites assintóticos derivados são, de fato, os melhores coeficientes válidos simultaneamente para todos os $n$. Especificamente, para $S^3$, $S^4$ e $S^6$, o supremo de $n^2 H(n, S^d)$ é igual ao limite quando $n \to \infty$ (Teoremas 10.1, 14.1).

3. Desigualdade Estrita entre as Constantes de Bohr e Favard:
   Uma descoberta central é que, para cada $n \ge 2$ fixo em $S^2$ e $S^3$, a constante de melhor aproximação é estritamente menor que a constante de Bohr:
   $$K(n, S^d) < H(n, S^d).$$
   Isso contrasta com o caso periódico clássico onde as constantes coincidem. O artigo fornece uma lacuna quantitativa para $n$ grande em $S^2$ (Proposição 17.1) e prova a desigualdade estrita via um argumento de compacidade no espaço de medidas (Teoremas 15.2 e 18.1).

4. Aproximação Construtiva:
   O artigo fornece um operador linear explícito para aproximar funções em $S^2$ que é ótimo entre todos os métodos lineares que mapeiam para $\mathcal{H}_{<n}$. Este método envolve a convolução do Laplaciano com o melhor aproximante $L^1$ do núcleo de Green (Teorema 15.1, Seção 16).

Significado e Alegações
O artigo afirma resolver a determinação de constantes do tipo Bohr aguçadas em esferas para funções com Laplacianos limitados, expressando-as através de polinômios extremais $L^1$ ponderados. A observação mais significativa, descrita como "inesperada", é a separação estrita entre a constante de Bohr (norma de funções com harmônicos ausentes) e a constante de Favard (erro de melhor aproximação) para cada $n \ge 2$ fixo em $S^2$ e $S^3$.

O trabalho estabelece que, embora a coincidência dessas constantes ocorra no cenário periódico clássico, ela falha em esferas. O artigo fornece fórmulas explícitas para $S^2$, representações integrais envolvendo a função de Hörmander–Bernhardsson para $S^3$, e fórmulas assintóticas para $S^4$ e $S^6$. Ele deixa em aberto a questão de se a desigualdade estrita persiste no limite (ou seja, se $\limsup n^2 K(n, S^d) < \lim n^2 H(n, S^d)$) e não determina os valores exatos de $K(n, S^d)$ para $n \ge 2$, apenas fornecendo limites inferiores e provando que a desigualdade estrita existe.