Varifaltigkeit

Die Varifaltigkeit (englisch Varifold) ist ein mathematischer Begriff aus der geometrischen Maßtheorie. Varifaltigkeiten sind Maße und können differenzierbare Mannigfaltigkeit durch das Konzept der Rektifizierbarkeit verallgemeinern. Dadurch können auch Flächen mit Singularitäten modelliert werden. Rektifizierbare Varifaltigkeiten verallgemeinern rektifizierbare Ströme.

Varifaltigkeit

Im ganzen Artikel seien $n, r \in ℤ$ mit $0 \leq r \leq n$ . Mit $G (r, n)$ bezeichnen wir die Graßmann-Mannigfaltigkeit von $ℝ^{n}$ , d. h. der Raum der unorientierten $r$ -dimensionalen linearen Unterräume von $ℝ^{n}$ .

Intuition

Sei $W$ Vektorraum und $U$ ein linearer Untervektorraum von $W$ . Eine Varifaltigkeit $V$ ist ein Maß für eine offene Teilmenge $S \subset W$ , welche von dem Untervektorraum $U$ abhängt

V (S, U) = μ (S \cap U) = \int_{S \cap U} d μ

für ein geeignetes Maß $μ$ . Als Beispiel sei $U$ eine Ebene und $μ$ das Produktmaß aus dem Lebesgue-Maß auf $S$ und dem Dirac-Maß auf $U$ .

Ein häufig gewähltes Maß ist das Produktmaß $V = ℋ_{∣ S}^{k} \otimes δ_{T_{x} S}$ , wobei das $ℋ_{∣ S}^{k}$ das $k$ -dimensionale Hausdorff-Maß an der Stelle $S$ bezeichnet und $T_{x} S$ den approximativen Tangentialraum und $δ$ das Dirac-Maß.

Definition

Sei $Ω$ eine offene Teilmenge von $ℝ^{n}$ . Eine $r$ -dimensionale Varifaltigkeit $V$ in $Ω$ ist ein Radon-Maß auf dem Raum

G_{r} (Ω) := Ω \times G (r, n)

.

Als Gewicht von $V$ definieren wir das Radonmaß $‖ V ‖ (A) := V (A \times G (r, n))$ für alle $A \subset Ω$ . Somit gilt $‖ V ‖ (A) = V (π^{- 1} (A))$ wobei $π : Ω \times G (r, n) \to Ω$ die Projektion $π : (x, S) \mapsto x$ ist.

Erläuterungen

Der Raum der Varifaltigkeiten notieren wir mit $V_{r} (Ω)$ und versehen ihn mit der schwachen Topologie, d. h. $V_{n} \to V$ in $V_{r} (Ω)$ genau dann, wenn $\int f d V_{n} \to \int f d V$ für alle $f \in C_{c} (G_{r} (Ω))$ .

Für eine Borel-Menge $A \subset Ω$ bezeichnen wir mit $V ⌞ G_{r} (A)$ die Restriktion auf $G_{r} (A) := A \times G (r, n)$ , somit gilt für alle $B \subset G_{r} (Ω)$

(V ⌞ G_{r} (A)) (B) = V (B \cap G_{r} (A))

Beispiele

Sei $Ω \subset ℝ^{n}$ offen und bezeichne mit $M_{r} (Ω)$ den Raum der stetig-differenzierbaren Untermannigfaltigkeiten in $Ω$ , welche eine lokal-endliche $r$ -dimensionale Fläche in $Ω$ besitzen. Sei $M \in M_{r} (Ω)$ und $ℋ^{r}$ das $r$ -dimensionale Hausdorff-Maß auf $ℝ^{n}$ . Für jedes $M \in M_{r} (Ω)$ definiere das Radon-Maß

‖ M ‖ (A) := ℋ^{r} (A \cap M),

für alle

A \subset Ω

.

Definiere

Γ := {x \in M : (x, T_{x} M) \in D}

wobei

T_{x} M \in G (r, n)

den Tangentialraum bezeichnet und

D \subset G_{r} (Ω)

. Dann existiert eine Abbildung

v : M_{r} (Ω) \to V_{r} (Ω)

so dass

v (M) (D) = ‖ M ‖ (Γ),

somit können Varifaltigkeiten als Verallgemeinerungen der Mannigfaltigkeiten verstanden werden.

Sei $M \subset ℝ^{n}$ eine geschlossene $k$ -dimensionale differenzierbare Mannigfaltigkeit und $ℋ^{k}$ das $k$ -dimensionale Hausdorff-Maß auf $ℝ^{n}$ . Sei $f : ℝ^{n} \times G (k, n) \to ℝ$ und $f \in C_{c} (G_{k} (ℝ))$ , dann wird für eine Borel-Teilmenge $A \subset M$ eine Varifaltigkeit $V_{A}$ durch

\int f d V_{A} = \int_{A} f (x, T_{x} M) d ℋ^{k} (x)

definiert.

Sei $Ω \subset ℝ^{n}$ offen und das $k$ -dimensionale Hausdorff-Maß $ℋ^{k}$ lokal-endlich. Weiter sei $U \subset Ω$ eine $ℋ^{k}$ -messbar und abzählbar $k$ -rektifizierbar Teilmenge (d. h. der approximative Tangentialraum existiert $ℋ^{k}$ -fast überall). Sei $f \in C_{c} (G_{k} (U))$ eine lokal-beschränkte lineare Funktion, dann definiert

\int_{Ω \times G (k, n)} f (x, S) d V_{U} (x, S) := \int_{U} f (x, T_{x} U) d ℋ^{k} (x)

eine Varifaltigkeit

V_{U} \in V_{k} (U)

. Es gilt

V_{U} = ℋ^{k} \otimes δ_{T_{x} U}

.

Rektifizierbare Varifaltigkeit

Sei $M$ eine abzählbar $n$ -rektifizierbare, $ℋ^{n}$ -messbare Teilmenge von $ℝ^{n + k}$ . Weiter definiere die sogenannte Multiplizitätsfunktion $θ$ , eine positive lokal- $ℋ^{n}$ -integriebare Funktion auf $M$ . Eine $n$ -rektifizierbare Varifaltigkeit ist die Äquivalenzklasse $\underline{v} (M, θ)$ aller Paare $(\tilde{M}, \tilde{θ})$ , wobei $\tilde{M}$ abzählbar $n$ -rektifizierbar ist und für die vereinigte Differenzmenge $D = (M ∖ \tilde{M}) \cup (\tilde{M} ∖ M)$ gilt, dass $ℋ^{n} (D) = 0$ , sowie für $θ = \tilde{θ}$ $ℋ^{n}$ -fast überall auf $M \cap \tilde{M}$ .

Literatur

William K. Allard: Notes on the theory of varifolds. In: Astérisque. Nr. 154-155, 1987, S. 73.
Ulrich Menne: The Concept of Varifold. Hrsg.: American Mathematical Society. Band 64, Nr. 10, 2017, S. 1148–1152, doi:10.1090/noti1589.
Leon Simon: Lectures on Geometric Measure Theory. In: Australian National University (Hrsg.): Proceedings of the Centre for Mathematics and its Applications. Band 3, 1983, ISBN 978-0-86784-429-0.

Einzelnachweise

1 2 Ulrich Menne: The Concept of Varifold. Hrsg.: American Mathematical Society. Band 64, Nr. 10, 2017, S. 1148–1152, doi:10.1090/noti1589.
↑ William K. Allard: Notes on the theory of varifolds. In: Astérisque. Nr. 154-155, 1987, S. 73.
↑ William K. Allard: Notes on the theory of varifolds. In: Astérisque. Nr. 154-155, 1987, S. 74.
↑ Yoshihiro Tonegawa: Brakke’s Mean Curvature Flow: An Introduction. Hrsg.: Springer. 2019, ISBN 978-981-13-7074-8.
↑ Leon Simon: Lectures on Geometric Measure Theory. In: Australian National University (Hrsg.): Proceedings of the Centre for Mathematics and its Applications. Band 3, 1983, ISBN 978-0-86784-429-0, S. 77.

[Menne-Concept-1] 1 2 Ulrich Menne: The Concept of Varifold. Hrsg.: American Mathematical Society. Band 64, Nr. 10, 2017, S. 1148–1152, doi:10.1090/noti1589.

[2] William K. Allard: Notes on the theory of varifolds. In: Astérisque. Nr. 154-155, 1987, S. 73.

[3] William K. Allard: Notes on the theory of varifolds. In: Astérisque. Nr. 154-155, 1987, S. 74.

[4] Yoshihiro Tonegawa: Brakke’s Mean Curvature Flow: An Introduction. Hrsg.: Springer. 2019, ISBN 978-981-13-7074-8.

[5] Leon Simon: Lectures on Geometric Measure Theory. In: Australian National University (Hrsg.): Proceedings of the Centre for Mathematics and its Applications. Band 3, 1983, ISBN 978-0-86784-429-0, S. 77.