Ein Glattheitsmodul ist ein Funktional, das die Glattheit einer Funktion durch Messung der Größe ihrer Differenzen endlicher Ordnung auf verschiedenen Skalen quantifiziert. Üblicherweise über r‑te Differenzen Δ_h^r f und einen Skalenparameter t definiert, ergibt sich eine nichtnegative Funktion ω(f,t), die für glattere Funktionen bei kleinen t gegen null geht.

Prinzip

Endliche Differenzen kodieren Regularität: die Rate, mit der Differenznormen schrumpfen, wenn die Skala gegen null geht, charakterisiert die Glattheit. Das Modul fasst diese Differenzen über Verschiebungen und Ordnungen zusammen und liefert skalenabhängige Regularitätsmaße.

Demonstration

Auf der reellen Achse gilt für eine Lipschitz‑Funktion mit Konstante L das erste‑Ordnungs‑Modul ω(f,t) ≤ L t. Für eine C^m‑Funktion verhält sich das r‑te Modul wie O(t^m) für r ≤ m, was die klassische Ableitungsabnahme widerspiegelt.

Fehlanwendung

Punktweise Ableitungen ohne Normierung oder Mittelung fälschlich mit Modulwerten gleichsetzen; eine eindimensionale Differenz auf einer einzigen Skala zur Behauptung globaler Glattheit verwenden; oder ein in L^p definiertes Modul anwenden ohne Mitgliedschaft in L^p zu prüfen.

Konsequenz

Liefert skalenempfindliche Regularitätsschätzungen zur Charakterisierung von Approximationsraten (Polynomanäherung, Spline‑Fehler), zur Definition von Besov‑ und Lipschitz‑Räumen und zum quantitativen Vergleich unterschiedlicher Glattheitsbegriffe.

Umkehrung

Sobolev‑ oder Ableitungsnormen bieten eine komplementäre, spektrale oder integrale Messung der Glattheit; Ableitungen messen das infinitesimale lokale Verhalten, das Modul jedoch das gemittelte Verhalten auf endlicher Skala — Differenzen gegen Ableitungen auszutauschen verändert die Sichtweise.

Abgrenzung

Benötigt einen Funktionsraummkontext (z. B. L^p, C^k) sowie die Wahl von Differenzordnung und Norm; die Definitionen variieren mit dem Träger (Rd, Torus, Intervall) und lassen sich nicht ohne Regularisierung auf Distributionen erweitern.

Semantische Spannung

Wettstreit mit ableitungsbasierten Normen (Sobolev) und punktweisen Hölder‑Exponenten: das Modul betont die mittlere Abklingrate auf Skalen, Ableitungen das infinitesimale Verhalten; der Kontext entscheidet.

Synthese

Das Glattheitsmodul ist das skalenabhängige Profil endlicher Differenzen, das beschreibt, wie schnell die Oszillationen einer Funktion verschwinden, wenn die Beobachtungsskala kleiner wird — eine praxisnahe Brücke zwischen lokalen Ableitungsinformationen und globalen Approximationsleistungen.