Hölder-Raum

Hölder-Raum

Der Hölder-Raum (nach Otto Hölder) ist in der Mathematik ein Banachraum von Funktionen, der in der Theorie der partiellen Differentialgleichungen eine Rolle spielt. Dort sind Hölder-Räume eine natürliche Wahl, um Existenztheorie betreiben zu können.

Inhaltsverzeichnis

Definition

Sei U \subset \R^n. Der Hölder-Raum Ck(U) ist die Menge aller Funktionen u:U\rightarrow\R mit u \in C^k(U), für die folgende Norm endlich ist:

\|u\|_{C^{k,\gamma}(U)} := \sum_{|\alpha| \le k}\|D^\alpha u\|_{C(U)} + \sum_{|\alpha|=k}[D^\alpha u]_{C^{0,\gamma}(U)}.

Hier bezeichnet

\|D^\alpha u\|_{C(U)} := \sup\left\{|D^\alpha u(x)|\ |\ x \in U\right\}

die Supremumsnorm und

[D^\alpha u]_{C^{0,\gamma}(U)} := \sup\left\{\left.\frac{|D^\alpha u(x) - D^\alpha u(y)|}{|x-y|^\gamma}\ \right|\ x,y \in U, x \ne y\right\}

eine Halbnorm. Für C0,γ(Ω) schreibt man auch Cγ(Ω).

Der Hölder-Raum ist also der Raum der k-mal stetig differenzierbaren, beschränkten Funktionen von U nach \R, deren k-ten partiellen Ableitungen Hölder-stetig zu einer Konstanten \gamma \in (0,1] und ebenfalls beschränkt sind. Im Spezialfall γ = 1 spricht man meistens von Lipschitz-Stetigkeit.

Satz von Kellogg

Sei \gamma \in (0, 1] und \Omega \subset \mathbb{R}^n ein beschränktes Gebiet mit C2,γ-Rand sowie L ein streng elliptischer Operator in Ω mit Koeffizienten in Cγ(Ω), d. h.

Lu := \sum_{i,j=1}^n a^{ij}(x)\cdot(D^{ij}u)(x) + \sum_{i=1}^n b^i(x)\cdot(D^iu)(x) + c(x)\cdot u(x),

wobei a^{ij}, b^i, c: \Omega \rightarrow \mathbb{R} in Cγ(Ω) liegen und die Matrix A(x) := (a^{ij}(x))_{i,j=1,\ldots,n} die Elliptizitätsbedingung

\langle A(x)\xi, \xi\rangle \geq \lambda\|\xi\|^2 für alle x \in \Omega, \xi \in \mathbb{R}^n

mit einer von x unabhängigen Konstanten λ > 0 erfüllt. Weiter sei die Funktion c \leq 0 nichtpositiv sowie f \in C^\gamma(\Omega) und \varphi \in C(\overline{\Omega}) \cap C^{2,\gamma}(\Omega). Dann besitzt die Gleichung

\left\{\begin{array}{rlll}Lu&=&f&\textrm{in}\ \Omega\ ,\\u&=&\varphi&\textrm{auf}\ \partial\Omega\ ,\end{array}\right.

eine eindeutige klassische Lösung u \in C(\overline{\Omega}) \cap C^{2,\gamma}(\Omega).

Da die obige Gleichung keine klassische Lösung u besitzt, falls von f lediglich Stetigkeit gefordert wird, ist die Kontrolle des Stetigkeitsmoduls von Relevanz für die Existenztheorie in der Theorie der partiellen Differentialgleichungen. Hölder-Räume sind eine Klasse von Funktionen, innerhalb derer klassische Existenztheorie betrieben werden kann.

Siehe auch

Literatur

  • H. W. Alt: Lineare Funktionalanalysis. 4. Auflage, Springer-Verlag, ISBN 3-540-43947-1.
  • D. Gilbarg, N. S. Trudinger: Elliptic Partial Differential Equations of Second Order. In: Grundlehren der mathematischen Wissenschaften. Band 224, Springer-Verlag, Berlin/Heidelberg/New York 1977, ISBN 3-540-08007-4.

Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Hölder — ist der Familienname folgender Personen: Alfred von Hölder (1835–1915), Kommerzialrat, Hof und Universitätsbuchhändler Eduard Hölder (1847–1911), deutscher Jurist Egon Hölder (1927–2007), Präsident des Statistischen Bundesamtes Ernst Hölder… …   Deutsch Wikipedia

  • Hölder-stetig — 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. Inhaltsverzeichnis… …   Deutsch Wikipedia

  • Hölder-Stetigkeit — 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. Inhaltsverzeichnis… …   Deutsch Wikipedia

  • Otto Ludwig Hölder — (* 22. Dezember 1859 in Stuttgart; † 29. August 1937 in Leipzig) war ein deutscher Mathematiker. Er war Entdecker und Namensgeber der Hölder Ungleichung (1884), der Hölder Stetigkeit (einer Verallgemeinerung der Lipschitz Stetigkeit), die in der… …   Deutsch Wikipedia

  • Lebesgue-Raum — In der Mathematik sind Lp Räume spezielle Banachräume, die aus Räumen sogenannter „p fach integrierbarer“ Funktionen gebildet werden. Das L in der Bezeichnung geht auf den französischen Mathematiker Henri Léon Lebesgue zurück, da diese Räume über …   Deutsch Wikipedia

  • Lp-Raum — In der Mathematik sind Lp Räume spezielle Banachräume, die aus Räumen sogenannter „p fach integrierbarer“ Funktionen gebildet werden. Das L in der Bezeichnung geht auf den französischen Mathematiker Henri Léon Lebesgue zurück, da diese Räume über …   Deutsch Wikipedia

  • Noddy Holder — Slade Slade in Oslo 1977 Gründung 1966 als N’Betweens Auflösung 1992 Wiedervereinigung 1993 als Slade II Genre Glam Rock …   Deutsch Wikipedia

  • Hölderstetigkeit — 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. Inhaltsverzeichnis… …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”