zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Topologie et équations fonctionnelles. (French) JFM 60.0322.02

Durch Übertragung eines fundamentalen Begriffes der Topologie endlich-dimensionaler Räume ( des Brouwerschen Grades einer Abbildung) auf Abbildungen eines abstrakten Raumes gelingt es, der Lösungsmenge von gewissen, nicht notwendig linearen Funktionalgleichungen vom Typus x-F(x)=0 eine ganze Zahl, den Totalindex, zuzuschreiben, die invariant bleibt, wenn die Gleichung sich stetig ändert und die Lösungen gleichmäßig beschränkt bleiben.

Hieraus ergibt sich ein allgemeiner Weg für Existenztheoreme: Kann man eine solche Funktionalgleichung durch stetige Änderung in eine andere überführen, bei der sich leicht konstantieren läßt, daß ihr Totalindex von 0 verschieden ist, so weiß man, daß dies auch für die Ausgangsgleichung gilt. Daraus folgt dann die Existenz mindestens einer Lösung.

Diese Methode ist den sonstigen, auf sukzessiven Approximationen beruhenden Methoden besonders dadurch überlegen, daß sie über Existenz und lokale Eindeutigkeit der Lösungen der Übergangsschar keine Voraussetzungen macht.

So werden z. B. Existenzsätze für das Dirichletsche Problem der allgemeinsten Gleichung vom elliptischen Typ abgeleitet, die die Resultate von S. Bernstein wesentlich erweitern.

I.TopologischerGradvongewissenFunktionaltransformationen.

𝔈 sei ein abstrakter linearer, vollständiger und normierter Raum im Sinne von Banach. F(x) sei eine vollstetige Funktionaltransformation, die auf der abgeschlossenen Hülle ω ¯ einer offenen, beschränkter Menge ω von 𝔈 definiert ist und deren Werte zu 𝔈 gehören. Dann wird die Transformation

y=x-F(x)𝛷(x)

betrachtet. Der Punkt O gehöre nicht zum Bild 𝛷(ω ' ) des Rendes ω ' von ω. Es sei also

h=kürzesterAbstandvonOnach𝛷(ω ' )>0·

F h (x) sei eine auf ω ¯ definierte Funktionaltransformation, die F bis auf h annähert:

F(x)-F h (x)<h,

und deren Werte einer endlichdimensionalen Untermenge von 𝔈 angehören. 𝔈 n h sei eine Untermenge von 𝔈 mit endlicher Dimensionszahl n h , die alle Werte von F h (x) und mindestens einen Punkt von ω enthält. Der nichtleere Durchschnitt von ω und 𝔈 n h bildet eine offene beschränkte Menge ω n h ; ihr Rand ω n h ' gehört zu ω ' . 𝛷(ω n h ' ) hat also von O mindestens den Abstand h. Die Transformation

𝛷 h (x)x-F h (x)

transformiert ω ¯ n h in eine Menge 𝛷 h (ω ¯ n h ), die auch in 𝔈 n h liegt; sie approximiert 𝛷 bis auf h; also ist

kürzesterAbstandvonOnach𝛷 h (ω ¯ n h )>0·

Daher hat 𝛷 h auf ω ¯ n h “im Punkt 0”einen bestimmen “Grad”(Brouwer, 1911; F. d. M. 42, 417 (JFM 42.0417.*)). Dieser heißt der topologische Grad der Transformation 𝛷 im Punkt O:

d[𝛷,ω,O]=d[𝛷 h ,ω n h ,O]·

Durch die Transformation x ' =x-b kann man d auch für jeden Punkt b, der nicht auf 𝛷(ω ' ) liegt, definieren. - d ist unabhängig von der Wehl von F h (x) und 𝔈 n h .

II.BegriffdesIndexundBestimmungdesGrades.

a sei ein Punkt von ω und b sein Bild; b=a-F(a)𝛷(a). Es wird vorausgesetz, daß eine hinreichend kleine Kugel x-a<ϱ die einzige Lösung x=a von 𝛷(x)=b enthält. Dann existiert in jeder Kugel Σ(θ):

x-a<θϱ

der Grad d[𝛷,Σ(θ),b] und ist von θ unabhängig. Diese Zahl heißt der Index i[𝛷,a] des Punktes a.

Ist b das Bild von endlich vielen Punkten a 1 ,,a μ von ω ¯, von denen keiner auf ω ' liegt, so ist

d[𝛷,ω,b]= t=1 μ i[𝛷,a l ]·

In diesem Fall läßt sich also der Grad aus den Indices berechnen.

Ist 𝔈 schwach kompakt, F schwach stetig und x-F(x) eineindeutig in der Umgebung eines Punktes a von ω, so sit i[𝛷,a]=±1.

Wenn F in a ein vollstetiges Fréchetsches Differential A(x) besitz, so ist der Index von y=x-F(x) in a gleich dem Index von y=x-A(x), wenn dieser existiert.

III.TheoriegewisserFunktionalgleichungen.

Es wird die Gleichung x-F(x,k)=0 unter folgenden Annahmen betrachtet:

(H):x und die Werte von F gehören zu einem linearen, normierten und vollständigen Raum 𝔈; die k erfüllen ein abgeschlossenes, reelles Intervall K; in dem Raum [𝔈×K], der aus den Paaren (x,k) besteht, wird die Entfernung so definiert: (x,k)-(x ' ,k ' )=x-x ' +|k-k ' |; F(x,k) ist auf der abgeschlossenen Hülle 𝛺 ¯ einer offenen und beschränkten Menge 𝛺 von [𝔈×K] definiert; F(x,y) ist vollstetig auf 𝛺 ¯ und gleichmäßig stetig in K; der Rand 𝛺 ' von 𝛺 enthält keine Lösung (x,k) unseren Gleichung.

Der Grad der Transformation y=x-F(x,k) im Punkte y=0 soll der “Totalindex der Lösungen” der Gleichung heißen.

Weiter wird folgende Annahme gemacht: (H ' ): Für ein k 0 soll die Gleichung endlich viele Lösungen a 1 ,,a μ haben, die bekannt sind. Der Totalindex in k 0 sei von 0 verschieden. Dann gilt folgender Hauptsatz: Wenn für die Gleichung x-F(x,k)=0 die Annahmen (H) und (H ' ) gelten, so existiert im Raume [𝔈×K] ein Kontinuum von Lösungen, längst dessen k alle Werte aus K annimmt.

IV.Anwendungen.

In diesem Abschnitt wird vorausgesetzt, daß von vornherein die gleichmäßige Beschränktheit aller Lösungen bekannt ist, und der Hauptsatz für diesen Fall neu formuliert. Dann wird das Dirichletsche Problem für die klassiche elliptische Gleichung und für allgemeinere Gleichungen umgeformt in eine Funktionalgleichung von dem in III. betrachteten Typ und der Hauptsatz angewendet. Das ergibt: Jede Gleichung von elliptischem Typus

ax 1 ,x 2 ;z;z x 1 ,z x 2 2 z x 1 2 +2b() 2 z x 1 x 2 +c() 2 z x 2 2 =0

besitzt wenigstens eine Lösung, die in einem konvexen Gebiet 𝛥 definiert ist und auf dem Rand 𝛥 ' vorgegebene Werte annimmt. (Der Fall, daß die a,b,c nicht von z abhängen und analytisch sind, ist von S. Bernstein behandelt worden (1908; F. d. M. 39, 431 (JFM 39.0431.*)); hier ist z im Gegensatz zu oben sicher eindeutig.)

V.Anwendungen(Forsetzung).

Hier werden Gleichungen vom Typus G(x,x,k)=0 betrachtet von der Art, daß die Gleichung G(x,X,k)=0 jedem System (x,k) einen und nur einen Punkt X zuordnet und die hierdurch definierte Transformation X(x,k) vollstetig ist. Hierfür wird ein aus dem Fundamentalsatz fließender Satz aufgestellt, und dieser wird wieder auf Differentialgleichungen angewendet. Dies liefert z. B. folgendes Resultat:

Es sei eine Lösung z(x 1 ,,x n ) der Gleichung zweiter Ordnung

fx 1 ,,x n ;kz;z x 1 ,,z x n ; 2 z x 1 2 , 2 z x 1 x 2 ,, 2 z x n 2 ;k=0

zu finden, die im Innern eines gegebenen Gebietes definiert ist und auf dem Rande verschwindet. Die Gleichung sei für k=0 von elliptischem Typus und besitze eine Lösung, deren zweite Ableitungen eine Höldersche Bedingung erfüllen. Variiert k stetig, so besitz die Gleichung immer noch eine Lösung, solange nicht eine der beiden Möglichkeiten eintritt:

(a) Es ergibt sich eine Lösung, in deren Umgebung die Gleichung nicht von elliptischem Typ ist.

(b) Gewissen Werten des Parameters zwischen 0 und k entsprechen Lösungen, von deren zweiten Ableitungen wohl jede eine Höldersche Bedingung erfüllt, aber nicht alle dieselbe. (IV 13.)