Hölder-Stetigkeit

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die Hölder-Stetigkeit (nach Otto Hölder) ist ein Konzept der Mathematik, das vor allem in der Theorie der partiellen Differentialgleichungen von zentraler Bedeutung ist. Sie ist eine Verallgemeinerung der Lipschitz-Stetigkeit.

Definition[Bearbeiten]

Sei  U \subset \mathbb{R} offen und  0 < \alpha \le 1. Eine Abbildung f \colon U\rightarrow \R heißt Hölder-stetig zum Exponenten \alpha genau dann, wenn eine positive reelle Zahl  C existiert, so dass für alle x,y\in U gilt:

\mid f(x)-f(y)\mid\leq C\mid x-y \mid^\alpha.

Allgemeiner heißt eine Funktion f\colon\Omega\subset E\rightarrow F zwischen zwei metrischen Räumen (E,d_E) und (F,d_F) Hölder-stetig mit Exponent \alpha und Konstante C, falls für alle x,y\in\Omega

d_F(f(x),f(y))\leq C(d_E(x,y))^\alpha

gilt.

Eigenschaften[Bearbeiten]

  • Für \alpha=1 ergibt sich die Lipschitz-Stetigkeit.
  • Jede Hölder-stetige Funktion ist gleichmäßig stetig: Setze für gegebenes \varepsilon>0 etwa \delta:=(\varepsilon/C)^{1/\alpha}. Dann folgt aus |x-y|\le\delta wie gewünscht |f(x)-f(y)|\le\varepsilon.
  • Die Umkehrung gilt nicht, wie folgendes Beispiel zeigt: Sei a\in(0,1) eine beliebig gewählte Konstante. Die auf dem Intervall [0,a] gemäß
    
f(x):=\left\{\begin{array}{cl}-1/\ln x&\mbox{für }0<x\le a\\0&\mbox{bei }x=0\end{array}\right.
    definierte Funktion f ist laut Satz von Heine gleichmäßig stetig. Wäre sie auch Hölder-stetig, dann gäbe es Konstanten C>0 und \alpha\in(0,1] mit f(x)\le Cx^\alpha für alle x\in(0,a], also insbesondere
    
C\ge\lim\limits_{x\downarrow 0}\frac{-x^{-\alpha}}{\ln x}=\lim\limits_{x\downarrow 0}\alpha x^{-\alpha}
    laut Regel von L’Hospital, was einen Widerspruch ergibt.

Siehe auch[Bearbeiten]

Literatur[Bearbeiten]

  • H.W. Alt: Lineare Funktionalanalysis. Springer-Verlag, 2002