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

技術的要約：ラプラシアンが有界な関数に対する球面上のボア・ファヴァール型の最良近似と推定

問題設定
本研究は、ラプラシアンが有界（$\|\Delta f\|_\infty \le 1$）な単位球面 $S^d$ ($d \ge 2$) 上の関数の一様ノルム（$L^\infty$ ノルム）の鋭い定数の決定を扱う。本研究は、周期関数における古典的なボアおよびファヴァールの定理に類似した、2つの異なるが関連する問題に焦点を当てている：

1. ボアの問題： 最初の $n-1$ 個の球面調和成分が消滅する関数（$f \perp \mathcal{H}_{<n}$）のノルムを推定すること。目標は、不等式 $\|f\|_\infty \le H(n, S^d) \|\Delta f\|_\infty$ における鋭い定数 $H(n, S^d)$ を求めることである。
2. ファヴァールの問題： このような関数の、次数が最大 $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$）と一致するか、あるいはそれよりも厳密に小さいかという点（これは古典的な周期関数のケースとは異なる）を調査している。

手法
主要な手法は、逆ラプラス演算子のグリーン表現に基づいている。平均がゼロの関数 $f$ は、そのラプラシアン $g = -\Delta f$ と、帯状のグリーン核 $G_d$ との畳み込みとして表現できる：
$$f(x) = \int_{S^d} G_d(x \cdot y) g(y) \, d\sigma_d(y).$$
$\|f\|_\infty$ または近似誤差の境界を求める問題は、球面上の誘導された測量に関する、次数が最大 $n-1$ のグリーン核 $G_d$ の最良 $L^1$ 近似を見つけることに帰着する。

主な技術的ステップ：

• カーネル補間： グリーン核の最良 $L^1$ 近似関数は、特定の単項極値多項式 $q_{n,d}$ の零点における補間多項式である。これらの零点は、球面測量によって誘導された重みに対するモーメント消失条件によって決定される。
• 極値多項式： レマ 4.1 を用いて、重み付き $L^1$ ノルムを最小化する単項多項式の存在と一意性を確立する。近似誤差の符号は、この極値多項式の符号と一致することが示され、これにより境界を達成する極値関数（ボア極値関数）の構成が可能となる。
• 次元解析：
  • $S^2$： 問題は、等間隔格子上の三角 $L^1$ 近似問題へと写像され、チェビシェフ結節点を用いた明示的な級数公式へと導かれる。
  • $S^3$： 補間結節点は、重み付き $L^1$ 極値問題によって決定される。$n \to \infty$ として問題を再スケーリングすると、$\mathbb{R}$ 上の $L^1$ ノルムを最小化する、指数型 1 の一意な全関数であるヘルマンダー・ベルンハルトソン関数へと至る。
  • 高次元 ($S^4, S^6$)： 偶数次元におけるグリーン核は、極と対数の有限和として表される。漸近定数は、再スケーリングされた極値多項式の極限挙動を分析することによって導出される。これらは重み付き全関数へと収束する。
• 双対性と厳密な不等式： $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)$ は、ヘルマンダー・ベルンハルトソン関数 $\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)$ の上限は極限 $\lim_{n \to \infty} n^2 H(n, S^d)$ に等しい（定理 10.1, 14.1）。

3. ボア定数とファヴァール定数の間の厳密な不等式：
   $n \ge 2$ のすべての固定された $n$ に対して、最良近似定数はボア定数よりも厳密に小さいことが判明した：
   $$K(n, S^d) < H(n, S^d).$$
   これは、両方の定数が一致する古典的な周期関数のケースとは対照的である。本論文は、$S^2$ における大きな $n$ に対する定量的ギャップを提供し（命題 17.1）、コンパクト性を用いた測量の空間上の議論を通じて厳密な不等式を証明している（定理 15.2 および 18.1）。

4. 構成的近似：
   本論文は、$S^2$ 上の関数を近似するための明示的な線形作用素を提供しており、これは $\mathcal{H}_{<n}$ への写像となるすべての線形手法の中で最適である（定理 15.1, セクション 16）。この手法は、グリーン核の最良 $L^1$ 近似関数とラプラシアンの畳み込みを含む。

意義と主張
本論文は、ラプラシアンが有界な関数に対する球面上の鋭いボア型定数の決定を、重み付き $L^1$ 極値多項式を用いて解決したと主張している。最も重要な観察、すなわち「予期せぬ」事実は、$S^2$ および $S^3$ 上のすべての固定された $n \ge 2$ に対して、ボア定数（欠落した調和成分を持つ関数のノルム）とファヴァール定数（最良近似誤差）の間に厳密な分離が存在することである。

本研究は、古典的な周期の設定ではこれらの定数の一致が成り立つ一方で、球面ではそれが成立しないことを示している。本論文は、$S^2$ に対する明示的な公式、$S^3$ に対するヘルマンダー・ベルンハルトソン関数を用いた積分表示、および $S^4, S^6$ に対する漸近公式を提供している。また、$\limsup n^2 K(n, S^d) < \lim n^2 H(n, S^d)$ が成り立つかどうかという極限における問題は未解決のまま残しており、$n \ge 2$ における $K(n, S^d)$ の正確な値を決定するのではなく、下限を提供し、厳密な不等式が存在することを証明している。