Lokale Hölderstetigkeit

Die lokale Hölderstetigkeit ist ein Konzept der Mathematik, das die Hölderstetigkeit und damit auch die Lipschitzstetigkeit verallgemeinert. Sie ist nach Otto Hölder benannt und findet beispielsweise in der Wahrscheinlichkeitstheorie bei der Formulierung des Satzes von Kolmogorow-Tschenzow Verwendung. Dieser liefert Kriterien, wann Modifikationen eines stochastischen Prozesses existieren, die lokal hölderstetig sind.

Definition

Gegeben seien zwei metrische Räume $(E_{1},d_{1})$ und $(E_{2},d_{2})$. Eine Abbildung

$\varphi \colon E_{1}\to E_{2}$

heißt lokal hölderstetig der Ordnung γ oder kurz lokal hölder-γ-stetig, wenn zu jedem $t\in E_{1}$ ein echt positives $\varepsilon >0$ und eine echt positive Zahl $C=C(t,\varepsilon )>0$ existiert, so dass für alle $r,s\in E_{1}$ mit $d_{1}(r,t)<\varepsilon$ und $d_{1}(s,t)<\varepsilon$ die Ungleichung

$d_{2}(\varphi (r),\varphi (s))\leq C\cdot d_{1}(r,s)^{\gamma }$

gilt.

Beispiele

• Jede lipschitzstetige Funktion mit Lipschitzkonstante $L$ ist lokal hölderstetig mit Exponent $\gamma =1$ und $C=L$
• Jede hölderstetige Abbildung mit Konstante $C$ und Exponent $\gamma$ ist auch lokal hölderstetig mit Konstante $C$ und Exponent $\gamma$.

Eigenschaften

• Ist $f$ eine reellwertige Funktion einer reellen Variable und lokal hölderstetig mit Exponent $\gamma \in (0,1]$, so ist $f$ auch lokal hölderstetig für jeden Exponenten $\gamma ^{*}$ mit $0\leq \gamma ^{*}\leq \gamma$.
• Ist der Definitionsbereich von $f$ kompakt, so folgt aus der lokalen Hölderstetigkeit die Hölderstetigkeit. Im Allgemeinen ist dieser Schluss aber falsch.

Literatur

• Achim Klenke: Wahrscheinlichkeitstheorie. 3. Auflage. Springer-Verlag, Berlin Heidelberg 2013, ISBN 978-3-642-36017-6, S. 468–469, doi:10.1007/978-3-642-36018-3.