Stellen Sie sich eine geschlossene Schleife in Form eines Kleeblattknotens vor ( https://en.wikipedia.org/wiki/Trefoil_knot ). Wie soll man den Fluss durch diese Schleife berechnen? Normalerweise definieren wir eine beliebige glatte Oberfläche, sagen wir, dessen Grenze ist die gegebene Schleife und berechnen Sie den Fluss unter Verwendung seiner integralen Definition als
Alternativ könnte man das Vektorpotential einführen und unter Verwendung des Satzes von Stokes aus der Definition des Flusses ableiten Das
Wenn in der Tat die Anwendung des Satzes von Gauß oder Stokes ein Problem hat, dann die Tatsache, dass das Linienintegral über kann immer verwendet werden, um den Fluss zu definieren bedeutet das zumindest in diesem Sinne ist grundlegender als ?
Jeder Knoten ist die Grenze einer orientierbaren Fläche. Eine solche Fläche wird als Seifert-Fläche bezeichnet . Für jeden gegebenen Knoten (mit einer gegebenen Einbettung im 3D-Raum) ist der Fluss durch zwei solche Oberflächen derselbe. Wie üblich kann der Fluss entweder durch Integration berechnet werden über die Oberfläche oder durch Integration um den Knoten.
Abbildung 6 in "Visualization of Seifert Surfaces" von van Wijk und Cohen ( Link zu pdf ) zeigt dieses schöne Bild einer orientierbaren Oberfläche, deren Begrenzung ein Kleeblattknoten ist:
Die Grenze (der Kleeblattknoten) ist gelb hervorgehoben. Um zu sehen, dass es sich wirklich um einen Kleeblattknoten handelt, stellen Sie sich vor, Sie glätten die Knicke und schauen dann von oben auf die Figur. Die Tatsache, dass die Oberfläche orientierbar ist, ist bei Betrachtung klar (ein Insekt auf einer Seite kann nicht zur anderen Seite gehen, ohne die Grenze zu überschreiten), ebenso wie die Tatsache, dass sie sich nicht selbst schneidet.
Intuitiv können wir sehen, dass der Satz von Stokes in diesem Fall immer noch funktioniert, indem wir die Oberfläche in kleine Zellen unterteilen, jede mit dem Knoten als Grenze, und den Satz von Stokes auf jede einzelne Zelle anwenden. Die Beiträge von den Zelloberflächen summieren sich zum Fluss über die gesamte Oberfläche, und die Beiträge von den Zellgrenzen heben sich gegenseitig auf, wo zwei Grenzen benachbart sind, wobei nur das Integral über dem Kleeblatt übrig bleibt.
Wir können auch intuitiv sehen, dass der Fluss durch zwei beliebige solcher Oberflächen gleich sein muss, da diese beiden Oberflächen zu einer einzigen geschlossenen Oberfläche verbunden werden können, über der der Gesamtfluss aufgrund von Null sein muss . Die Tatsache, dass die geschlossene Fläche sich selbst schneiden könnte, ist kein Problem, genauso wie es kein Problem für zwei sich schneidende Flächen ist, die denselben Knoten wie die Grenze teilen.
Die Idee hinter dem Beweis, dass eine Seifert-Fläche existiert, ist skizziert in "Seifert surface and genera of knots" von Landry ( link to pdf ).
Für einen generischen, orientierten Knoten können Sie durch den Seifert-Algorithmus eine orientierte Oberfläche konstruieren , die den Knoten als Begrenzung hat . Der Satz von Stokes besagt, dass der Fluss durch zwei beliebige solche Oberflächen, die dieselbe Grenze teilen, gleich sein muss.
Im Prinzip könnte man für den Kleeblattknoten eine Seifert-Fläche konstruieren, parametrisieren und dann das Flussintegral auswerten. Das mag mühsam sein, aber es ist möglich. Es wäre jedoch viel einfacher, wie Sie sagen, einfach das Linienintegral von auszuwerten um den Knoten.
Davon abgesehen ist dies kein Indikator dafür ist grundlegender als , weil es kein Problem gibt, diese Flussintegrale zu definieren. Es wäre nur besonders schwierig, sie direkt auszuwerten.
G. Smith
hyportnex