Universelle Familien differenzierbarer Funktionen auf der Kreislinie (Q760069)

Ich schließe an die Note [Arch. Math. 33, 45-48 (1979; Zbl 0408.58013)] an, in der \textit{K. Jänich} and \textit{D. Michaelis} zeigen, daß die Familie der Kuspoiden \(f: {\mathbb{R}}\times {\mathbb{R}}^ n\to {\mathbb{R}}\), \(f(x,y)=x^{n+2}+y_ 1x^ n+...+y_ nx\) nicht nur lokal als Entfaltung des Keimes \(x^{n+2}\) um 0, sondern in gewissem Sinne auch global für Familien \({\mathbb{R}}\times M\to {\mathbb{R}}\) von Funktionen auf \({\mathbb{R}}\) universell ist. Es soll eine analoge Aussage über Familien \(f: S^ 1\times M\to {\mathbb{R}}\), \((x,y)\mapsto f_ y(x)\) von Funktionen auf dem Kreis bewiesen werden. Wie es naheliegt, tritt an die Stelle des allgemeinen Polynoms in diesem Fall das allgemeine trigonometrische Polynom. Die Funktionenfamilien werden hier als Gradientenmodelle betrachtet, also einer Familie \(f_ y: S^ 1\to {\mathbb{R}}\), \(y\in M\), entspricht die Familie von Vektorfeldern grad \(f_ y\), \(y\in M\) auf \(S^ 1\). Im Falle von \({\mathbb{R}}\) ist jedes Vektorfeld ein Gradientenfeld, durch Integration erhält man ein Potential. Zu einem Vektorfeld auf \(S^ 1\) gibt es im allgemeinen kein Potential. Wir erklären in {\S}2, inwiefern das allgemeine trigonometrische Polynom eine universelle Familie von Vektorfeldern auf \(S^ 1\) beschreibt. In {\S}3 gewinnen wir daraus ein universelles Gradientenmodell. In {\S}4-5 verfolgen wir Jänichs geometrische Konstruktion des universellen Gradientenmodells, wenn die Summe der Ordnungen der Singularitäten \(\leq 4\) ist.