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

Technisches Resümee: Beste Annäherung und Schätzungen vom Bohr–Favard-Typ auf der Sphäre für Funktionen mit beschränktem Laplace-Operator

Problemstellung
Diese Arbeit befasst sich mit der Bestimmung der scharfen Konstanten in Abschätzungen für die gleichmäßige Norm ($L^\infty$-Norm) von Funktionen auf der Einheitskugel $S^d$ ($d \ge 2$) mit einem beschränkten Laplace-Operator ($\|\Delta f\|_\infty \le 1$). Die Untersuchung konzentriert sich auf zwei distinkte, aber verwandte Probleme, die analog zu den klassischen Bohr- und Favard-Theoremen für periodische Funktionen stehen:

1. Das Bohr-Problem: Abschätzung der Norm von Funktionen, deren erste $n-1$ sphärische Harmonische verschwinden ($f \perp \mathcal{H}_{<n}$). Ziel ist es, die scharfe Konstante $H(n, S^d)$ in der Ungleichung $\|f\|_\infty \le H(n, S^d) \|\Delta f\|_\infty$ zu finden.
2. Das Favard-Problem: Abschätzung des Fehlers der besten gleichmäßigen Annäherung $E_{n-1}(f)_{L^\infty}$ solcher Funktionen durch sphärische Polynome des Grades höchstens $n-1$. Ziel ist es, die scharfe Konstante $K(n, S^d)$ in der Ungleichung $E_{n-1}(f)_{L^\infty} \le K(n, S^d) \|\Delta f\|_\infty$ zu finden.

Die Arbeit strebt danach, die exakten Werte dieser Konstanten für ein festes $n$ sowie deren asymptotisches Verhalten für $n \to \infty$ zu bestimmen, wobei untersucht wird, ob die Konstanten für das Approximationsproblem ($K$) mit denen des Normproblems ($H$) identisch sind oder strikt kleiner ausfallen – eine Unterscheidung, die im Gegensatz zum klassischen periodischen Fall steht, in dem sie gleich sind.

Methodik
Die primäre Methodik stützt sich auf die Green-Darstellung des inversen Laplace-Operators. Für Funktionen mit Mittelwert Null kann $f$ als Faltung des Laplace-Operators $g = -\Delta f$ mit einem zonalen Green-Kern $G_d$ ausgedrückt werden:
$$f(x) = \int_{S^d} G_d(x \cdot y) g(y) \, d\sigma_d(y).$$
Das Problem der Begrenzung von $\|f\|_\infty$ oder des Approximationsfehlers reduziert sich auf das Finden der besten $L^1$-Approximation des Green-Kerns $G_d$ durch Polynome des Grades höchstens $n-1$ bezüglich des induzierten Maßes auf der Sphäre.

Zentrale technische Schritte umfassen:

• Kern-Interpolation: Identifizierung der Tatsache, dass das beste $L^1$-Approximant zum Green-Kern das interpolierende Polynom an den Nullstellen eines spezifischen monischen Extremalpolynoms $q_{n,d}$ ist. Diese Nullstellen werden durch verschwindende Momentbedingungen gegenüber dem durch das sphärische Maß induzierten Gewicht bestimmt.
• Extremalpolynome: Verwendung von Lemma 4.1, um die Existenz und Eindeutigkeit des monischen Polynoms zu etablieren, welches die gewichtete $L^1$-Norm minimiert. Das Vorzeichen des Approximationsfehlers wird als das Vorzeichen dieses Extremalpolynoms gezeigt, was die Konstruktion von Extremalfunktionen (Bohr-Extremalen) ermöglicht, welche die Schranken erreichen.
• Dimensionsanalyse:
  • $S^2$: Das Problem wird auf ein trigonometrisches $L^1$-Approximationsproblem auf einem äquidistanten Gitter abgebildet, was zu expliziten Reihenformeln unter Verwendung von Chebyshev-Knoten führt.
  • $S^3$: Die Interpolationsknoten werden durch ein gewichtetes $L^1$-Extremalproblem bestimmt. Die Skalierung des Problems als $n \to \infty$ führt zur Hörmander–Bernhardsson-Funktion, einer eindeutigen ganzen Funktion vom Typ exponentiell eins, die die $L^1$-Norm auf $\mathbb{R}$ minimiert.
  • Höhere Dimensionen ($S^4, S^6$): Die Green-Kerne in geraden Dimensionen lassen sich als endliche Summen von Polen und Logarithmen ausdrücken. Die asymptotischen Konstanten werden durch die Analyse des Grenzverhaltens der reskalierten Extremalpolynome abgeleitet, welche gegen gewichtete ganze Extremalfunktionen konvergieren.
• Dualität und strikte Ungleichung: Um zu zeigen, dass $K(n, S^d) < H(n, S^d)$, verwendet die Arbeit eine duale Formulierung involving von Maßen, die $\mathcal{H}_{<n}$ annihilieren. Es wird demonstriert, dass die Gleichheit der Konstanten die Bedingung erfordern würde, dass die Vorzeichen der Kern-Approximationsfehler an den verschiedenen Polen perfekt übereinstimmen – eine Bedingung, die aufgrund der geometrischen Schnittpunkteigenschaften der Vorzeichenwechsel-Mengen (Breitengrad-Sphären) für $n \ge 2$ als unmöglich erwiesen wird.

Zentrale Beiträge und Ergebnisse

1. Exakte Konstanten für festes $n$:

   • $S^2$: Die Konstante $H(n, S^2)$ wird durch eine explizite konvergente Reihe gegeben (Theorem 7.1). Der beste Koeffizient für die asymptotische Abschätzung ist $H(S^2) = \frac{7\zeta(3)}{4}$.
   • $S^3$: Die Konstante $H(n, S^3)$ wird über ein Integral unter Verwendung des Extremalpolynoms $q_n$ ausgedrückt. Die asymptotische Konstante $H(S^3)$ wird als ein positives Integral unter Verwendung der Hörmander–Bernhardsson-Funktion $\phi$ identifiziert, das numerisch als $\beta \approx 2.850999$ evaluiert wurde (Theorem 9.2).
   • $S^4$ und $S^6$: Die asymptotischen Konstanten werden in Abhängigkeit von den Minimalnormen gewichteter ganzer Extremalfunktionen hergeleitet (Theorem 13.1). Für $S^4$ ist das Limit $M_4/4$; für $S^6$ beinhaltet es eine Kombination aus einer gewichteten Norm und der zweiten Ableitung der Extremalfunktion bei Null.

2. Einheitliche Schranken:
   Die Arbeit beweist, dass die abgeleiteten asymptotischen Grenzwerte tatsächlich die besten Koeffizienten sind, die simultan für alle $n$ gültig sind. Speziell für $S^3, S^4$ und $S^6$ entspricht das Supremum von $n^2 H(n, S^d)$ dem Grenzwert für $n \to \infty$ (Theoreme 10.1, 14.1).

3. Strikte Ungleichheit zwischen Bohr- und Favard-Konstanten:
   Ein zentrales Ergebnis ist, dass für jedes feste $n \ge 2$ auf $S^2$ und $S^3$ die beste Approximationskonstante strikt kleiner ist als die Bohr-Konstante:
   $$K(n, S^d) < H(n, S^d).$$
   Dies steht im Gegensatz zum klassischen periodischen Fall, in dem die Konstanten zusammenfallen. Die Arbeit liefert eine quantitative Lücke für große $n$ auf $S^2$ (Proposition 17.1) und beweist die strikte Ungleichheit mittels eines Kompaktheitsarguments auf dem Raum der Maße (Theoreme 15.2 und 18.1).

4. Konstruktive Approximation:
   Die Arbeit liefert einen expliziten linearen Operator zur Approximation von Funktionen auf $S^2$, der unter allen linearen Methoden, die auf $\mathcal{H}_{<n}$ abbilden, optimal ist. Diese Methode beinhaltet die Faltung des Laplace-Operators mit dem besten $L^1$-Approximanten zum Green-Kern (Theorem 15.1, Abschnitt 16).

Bedeutung und Behauptungen
Die Arbeit beansprucht, die Bestimmung der scharfen Bohr-Typ-Konstanten auf Sphären für Funktionen mit beschränkten Laplace-Operatoren gelöst zu haben, indem sie diese durch gewichtete $L^1$-Extremalpolynome ausdrückt. Die bedeutendste Beobachtung, die als „unerwartet“ beschrieben wird, ist die strikte Trennung zwischen der Bohr-Konstante (Norm von Funktionen mit fehlenden Harmonischen) und der Favard-Konstante (beste Approximationsfehlerschranke) für jedes feste $n \ge 2$ auf $S^2$ und $S^3$.

Die Arbeit stellt klar, dass während die Identität dieser Konstanten im klassischen periodischen Setting gilt, dies auf Sphären nicht der Fall ist. Sie liefert explizite Formeln für $S^2$, Integraldarstellungen unter Verwendung der Hörmander–Bernhardsson-Funktion für $S^3$ sowie asymptotische Formeln für $S^4$ und $S^6$. Es bleibt die offene Frage, ob die strikte Ungleichheit im Grenzwert fortbesteht (d. h. ob $\limsup n^2 K(n, S^d) < \lim n^2 H(n, S^d)$ gilt), und sie bestimmt nicht die exakten Werte von $K(n, S^d)$ für $n \ge 2$, sondern liefert lediglich untere Schranken und beweist die Existenz der strikten Ungleichheit.