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

技术摘要：球面上有界拉普拉斯函数的最佳逼近与 Bohr–Favard 型估计

问题陈述
本研究旨在确定在具有有界拉普拉斯算子（$\|\Delta f\|_\infty \le 1$）的单位球面 $S^d$ ($d \ge 2$) 上，函数一致范数（$L^\infty$ 范数）估计中的锐利常数。研究重点关注两个不同但相关的课题，它们类比于经典周期函数的 Bohr 和 Favard 定理：

1. Bohr 问题： 估计前 $n-1$ 个球面调和分量消失（即 $f \perp \mathcal{H}_{<n}$）的函数的范数。目标是找到不等式 $\|f\|_\infty \le H(n, S^d) \|\Delta f\|_\infty$ 中的锐利常数 $H(n, S^d)$。
2. Favard 问题： 估计此类函数由次数至多为 $n-1$ 的球面多项式进行的最优一致逼近误差 $E_{n-1}(f)_{L^\infty}$。目标是找到不等式 $E_{n-1}(f)_{L^\infty} \le K(n, S^d) \|\Delta f\|_\infty$ 中的锐利常数 $K(n, S^d)$。

本文旨在确定对于固定 $n$ 的这些常数的精确值及其当 $n \to \infty$ 时的渐近行为，特别是研究逼近问题的常数（$K$）是否与范数问题的常数（$H$）相等或严格小于后者，这一区别不同于经典的周期情形。

方法论
主要方法依赖于逆拉普拉斯算子的 Green 表示法。对于均值为零的函数，$f$ 可以表示为其拉普拉斯算子 $g = -\Delta f$ 与一个局部（zonal）Green 核 $G_d$ 的卷积：
$$f(x) = \int_{S^d} G_d(x \cdot y) g(y) \, d\sigma_d(y).$$
对 $\|f\|_\infty$ 或逼近误差的估计问题，可以转化为寻找 Green 核 $G_d$ 关于球面诱导测度的次数至多为 $n-1$ 的最佳 $L^1$ 逼近。

关键技术步骤包括：

• 核插值： 确定 Green 核的最佳 $L^1$ 逼近器是关于特定单项极值多项式 $q_{n,d}$ 的插值多项式。这些零点是通过针对球面测度诱导的权重满足消失矩条件来确定的。
• 极值多项式： 利用引理 4.1 建立最小化加权 $L^1$ 范数的单项多项式的存在性与唯一性。逼近误差的符号被证明与该极值多项式的符号一致，这使得构造实现界的极值函数（Bohr 极值函数）成为可能。
• 维度分析：
  • $S^2$： 将问题映射为等距网格上的三角 $L^1$ 逼近问题，从而得到涉及切比雪夫节点的显式级数公式。
  • $S^3$： 插值节点由加权 $L^1$ 极值问题决定。当 $n \to \infty$ 时，通过对问题进行重标度，导出了 Hörmander–Bernardsson 函数，这是一个在 $\mathbb{R}$ 上最小化 $L^1$ 范数的唯一的指数类型为 1 的整函数。
  • 高维情况 ($S^4, S^6$)： 偶数维中的 Green 核可以表示为极点和对数的有限和。渐近常数通过分析重标度后的极值多项式的极限行为来导出，这些多项式收敛于加权整极值函数。
• 对偶性与严格不等式： 为了证明 $K(n, S^d) < H(n, S^d)$，本文采用了涉及湮灭 $\mathcal{H}_{<n}$ 的测度的对偶形式。研究表明，若要常数相等，则要求核逼近误差在不同极点处的符号必须完美对齐，而由于符号变化集（纬度球面）的几何交集性质，这种条件在 $n \ge 2$ 时被证明是不可能成立的。

核心贡献与结果

1. 针对固定 $n$ 的精确常数：

   • $S^2$： 常数 $H(n, S^2)$ 由一个显式的收敛级数给出（定理 7.1）。用于渐近估计的最佳系数为 $H(S^2) = \frac{7\zeta(3)}{4}$。
   • $S^3$： 常数 $H(n, S^3)$ 通过涉及极值多项式 $q_n$ 的积分来表示。渐近常数 $H(S^3)$ 被确定为一个涉及 Hörmander–Bernardsson 函数 $\phi$ 的正积分（定理 9.2），数值评估为 $\beta \approx 2.850999$。
   • $S^4$ 和 $S^6$： 渐近常数通过加权整极值函数的最小范数来导出（定理 13.1）。对于 $S^4$，极限为 $M_4/4$；对于 $S^6$，则涉及一个加权范数以及极值函数在零点处的二阶导数。

2. 一致界限：
   本文证明了所导出的渐近极限确实是适用于所有 $n$ 的最佳系数。具体而言，对于 $S^3, S^4$ 和 $S^6$，$n^2 H(n, S^d)$ 的上确界等于其极限（定理 10.1, 14.1）。

3. Bohr 常数与 Favard 常数之间的严格不等式：
   一个核心发现是，对于 $S^2$ 和 $S^3$ 上的每一个固定 $n \ge 2$，最佳逼近常数都严格小于 Bohr 常数：
   $$K(n, S^d) < H(n, S^d).$$
   这与常数相等的经典周期情形形成对比。本文为 $S^2$ 在大 $n$ 时的情形提供了一个定量间隙（命题 17.1），并通过在测度空间上的紧致性论证证明了严格不等式（定理 15.2 和 18.1）。

4. 构造性逼近：
   本文为 $S^2$ 上的函数逼近提供了一个显式的线性算子，该算子在所有映射到 $\mathcal{H}_{<n}$ 的线性方法中是最优的。该方法涉及将拉普拉斯算子与 Green 核的最佳 $L^1$ 逼近器进行卷积（定理 15.1, 第 16 节）。

意义与主张
本文声称解决了确定球面上具有有界拉普拉斯函数的锐利 Bohr 型常数的问题，并将其通过加权 $L^1$ 极值多项式进行表达。其中最显著且被描述为“出乎意料”的观察结果是：对于每个固定的 $n \ge 2$，在 $S^2$ 和 $S^3$ 上，Bohr 常数（缺失调和函数的范数）与 Favard 常数（最佳逼近误差）之间存在严格的分离。

本文确立了虽然在经典周期设置中这两个常数是相等的，但在球面上则不然。本文提供了 $S^2$ 的显式公式、涉及 Hörmander–Bernardsson 函数的积分表示，以及 $S^4$ 和 $S^6$ 的渐近公式。同时，本文也指出，对于 $n \ge 2$，本文并未确定 $K(n, S^d)$ 的精确值，仅提供了下界并证明了严格不等式的存在，同时也留下了关于极限情况下严格不等式是否持续存在（即 $\limsup n^2 K(n, S^d) < \lim n^2 H(n, S^d)$）的问题。