Lösbarkeit nichtlinearer Gleichungen mit Orthogonalitätssätzen vom Borsukschen Typ. (Solvability of nonlinear equations by orthogonality theorems of Borsuk type) (Q1091598)

Sei \({\mathbb{R}}^ n\) der n-dimensionale reelle euklidische Raum, \(x\cdot y\) bezeichne das innere Produkt zweier Punkte \(x,y\in {\mathbb{R}}^ n\) und \(| x|:=\sqrt{x\cdot x}\) die euklidische Norm. Es bezeichne \(| x,y|:=arc \cos (x\cdot y)\in [0,\pi]\) den Winkel zweier Punkte \(x,y\in S^ n:=\{x\in {\mathbb{R}}^ n| | x| =1\}.\) Der Verf. beweist zwei Sätze vom Borsukschen Typ. Sei \(f:S^ n\to S^ n\) eine stetige Abbildung, zu der ein Punkt \(p_ 0\subseteq S^ n\) mit \(f(p_ 0)=f(-p_ 0)\) existiert. Es existiere eine Kurve \(p:[0,1]\to S^ n\), die \(p_ 0\) mit \(-p_ 0\) verbindet mit: (1) für jeden Kurvenpunkt \(x=p(t)\) und jedes \(y\in S^ n\) mit \(| x,y| =\pi /2\) gelte f(x)\(\neq f(y),\) (2) es existiere \(p(t_ 1)\), so daß für alle \(x,y\in S^ n\) mit \(| x,y| =\pi /2\) und \(p(t_ 1)\) aus der geodätischen Verbindungsstrecke von x,y gilt f(x)\(\neq f(y).\) Dann gilt deg f\(=2\) mod 4 (2. Orthogonalitätssatz). Der andere Satz folgt hieraus durch Benutzung des Borsukschen Antipodensatzes. Mittels dieser Sätze erhält man bekanntlich die Lösbarkeit nichtlinearer Gleichungssysteme im \({\mathbb{R}}^ n\). Die Übertragung dieser Sätze auf Fixpunktgleichungen in Hilberträumen für vollstetige Vektorfelder wird angegeben. Als Anwendung werden zwei Beispiele von Polynomsystemen und ein Beispiel einer Integralgleichung studiert.