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

Resumen Técnico: Mejor Aproximación y Estimaciones de Tipo Bohr–Favard en la Esfera para Funciones con Laplaciano Acotado

Planteamiento del Problema
Este trabajo aborda la determinación de constantes afiladas en estimaciones para la norma uniforme ($L^\infty$) de funciones en la esfera unidad $S^d$ ($d \ge 2$) con un Laplaciano acotado ($\|\Delta f\|_\infty \le 1$). El estudio se centra en dos problemas distintos pero relacionados, análogos a los clásicos teoremas de Bohr y Favard para funciones periódicas:

1. El Problema de Bohr: Estimar la norma de funciones cuyos primeros $n-1$ componentes de armónicos esféricos se anulan ($f \perp \mathcal{H}_{<n}$). El objetivo es encontrar la constante afilada $H(n, S^d)$ en la desigualdad $\|f\|_\infty \le H(n, S^d) \|\Delta f\|_\infty$.
2. El Problema de Favard: Estimar el error de la mejor aproximación uniforme $E_{n-1}(f)_{L^\infty}$ de tales funciones por polinomios esféricos de grado a lo sumo $n-1$. El objetivo es encontrar la constante afilada $K(n, S^d)$ en la desigualdad $E_{n-1}(f)_{L^\infty} \le K(n, S^d) \|\Delta f\|_\infty$.

El artículo busca determinar los valores exactos de estas constantes para un $n$ fijo y su comportamiento asintótico cuando $n \to \infty$, investigando específicamente si las constantes para el problema de aproximación ($K$) coinciden con o son estrictamente menores que las del problema de la norma ($H$), una distinción que difiere del caso periódico clásico donde son iguales.

Metodología
La metodología principal se basa en la representación de Green del inverso del Laplaciano. Para funciones de media cero, $f$ puede expresarse como una convolución de su Laplaciano $g = -\Delta f$ con un núcleo de Green zonal $G_d$:
$$f(x) = \int_{S^d} G_d(x \cdot y) g(y) \, d\sigma_d(y).$$
El problema de acotar $\|f\|_\infty$ o el error de aproximación se reduce a encontrar la mejor aproximación $L^1$ del núcleo de Green por polinomios de grado a lo sumo $n-1$ con respecto a la medida inducida en la esfera.

Pasos técnicos clave incluyen:

• Interpolación de Núcleos: Identificar que el mejor aproximante $L^1$ al núcleo de Green es el polinomio interpolante en los ceros de un polinomio extremal mónico específico $q_{n,d}$. Estos ceros están determinados por condiciones de momentos nulos contra el peso inducido por la medida esférica.
• Polinomios Extremales: Utilizar el Lema 4.1 para establecer la existencia y unicidad del polinomio mónico que minimiza la norma $L^1$ ponderada. Se muestra que el signo del error de aproximación es el signo de este polinomio extremal, lo que permite la construcción de funciones extremales (extremales de Bohr) que alcanzan las cotas.
• Análisis Dimensional:
  • $S^2$: El problema se mapea a un problema de aproximación $L^1$ trigonométrica en una rejilla equiesparcida, lo que conduce a fórmulas de series explícitas que involucran nodos de Chebyshev.
  • $S^3$: Los nodos de interpolación se determinan mediante un problema extremal $L^1$ ponderado. El reescalado del problema cuando $n \to \infty$ conduce a la función de Hörmander–Bernardsson, una función entera única de tipo exponencial uno que minimiza la norma $L^1$ en $\mathbb{R}$.
  • Dimensiones Superiores ($S^4, S^6$): Los núcleos de Green en dimensiones pares se expresan como sumas finitas de polos y logaritmos. Las constantes asintóticas se derivan analizando el comportamiento límite de los polinomios extremales reescalados, que convergen a extremales enteros ponderados.
• Dualidad y Desigualdad Estricta: Para probar que $K(n, S^d) < H(n, S^d)$, el artículo emplea una formulación dual que involucra medidas que aniquilan $\mathcal{H}_{<n}$. Se demuestra que la igualdad de las constantes requeriría que los signos de los errores de aproximación del núcleo en diferentes polos se alinearan perfectamente, una condición que se muestra imposible para $n \ge 2$ debido a las propiedades de intersección geométrica de los conjuntos de cambio de signo (esferas de latitud).

Contribuciones y Resultados Clave

1. Constantes Exactas para $n$ Fijo:

   • $S^2$: La constante $H(n, S^2)$ viene dada por una serie convergente explícita (Teorema 7.1). El mejor coeficiente para la estimación asintótica es $H(S^2) = \frac{7\zeta(3)}{4}$.
   • $S^3$: La constante $H(n, S^3)$ se expresa mediante una integral que involucra al polinomio extremal $q_n$. La constante asintótica $H(S^3)$ se identifica como una integral positiva que involucra a la función de Hörmander–Bernardsson $\phi$, evaluada numéricamente como $\beta \approx 2.850999$.
   • $S^4$ y $S^6$: Las constantes asintóticas se derivan en términos de las normas mínimas de funciones extremales enteras ponderadas (Teorema 13.1). Para $S^4$, el límite es $M_4/4$; para $S^6$, involucra una combinación de una norma ponderada y la segunda derivada de la función extremal en cero.

2. Cotas Uniformes:
   El artículo demuestra que los límites asintóticos derivados son, de hecho, los mejores coeficientes válidos simultáneamente para todo $n$. Específicamente, para $S^3$, $S^4$ y $S^6$, el supremo de $n^2 H(n, S^d)$ es igual al límite cuando $n \to \infty$ (Teoremas 10.1, 14.1).

3. Desigualdad Estricta entre las Constantes de Bohr y de Favard:
   Un hallazgo central es que, para cada $n \ge 2$ fijo en $S^2$ y $S^3$, la constante de mejor aproximación es estrictamente menor que la constante de Bohr:
   $$K(n, S^d) < H(n, S^d).$$
   Esto contrasta con el caso periódico clásico donde las constantes coinciden. El artículo proporciona una brecha cuantitativa para $n$ grande en $S^2$ (Proposición 17.1) y prueba la desigualdad estricta mediante un argumento de compacidad sobre el espacio de medidas (Teoremas 15.2 y 18.1).

4. Aproximación Constructiva:
   El artículo proporciona un operador lineal explícito para aproximar funciones en $S^2$ que es óptimo entre todos los métodos lineales que mapean hacia $\mathcal{H}_{<n}$. Este método implica la convolución del Laplaciano con el mejor aproximante $L^1$ del núcleo de Green (Teorema 15.1, Sección 16).

Significancia y Reivindicaciones
El artículo afirma resolver la determinación de las constantes de tipo Bohr afiladas en esferas para funciones con Laplacianos acotados, expresándolas a través de polinomios extremales $L^1$ ponderados. La observación más significativa, descrita como "inesperada", es la separación estricta entre la constante de Bohr (norma de funciones con armónicos ausentes) y la constante de Favard (error de mejor aproximación) para cada $n \ge 2$ fijo en $S^2$ y $S^3$.

El trabajo establece que, mientras que la coincidencia de estas constantes se mantiene en el entorno periódico clásico, esta falla en las esferas. El artículo proporciona fórmulas explícitas para $S^2$, representaciones integrales que involucran la función de Hörmander–Bernardsson para $S^3$, y fórmulas asintóticas para $S^4$ y $S^6$. Deja abierta la cuestión de si la desigualdad estricta persiste en el límite (es decir, si $\limsup n^2 K(n, S^d) < \lim n^2 H(n, S^d)$) y no determina los valores exactos de $K(n, S^d)$ para $n \ge 2$, solo proporcionando cotas inferiores y probando que la desigualdad estricta existe.