{"entities":{"Q5924385":{"pageid":8058252,"ns":120,"title":"Item:Q5924385","lastrevid":41154307,"modified":"2025-04-18T13:14:17Z","type":"item","id":"Q5924385","labels":{"en":{"language":"en","value":"Topologie et \u00e9quations fonctionnelles."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2537975"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924385$1BC1A216-2CE1-4F70-B39F-DA361F52AB4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18bd41c1dbd2abbc5282904c2c2980306ee21194","datavalue":{"value":{"text":"Topologie et \u00e9quations fonctionnelles.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5924385$02B73212-7203-4A31-AD36-9328BE0244E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9821c2b4f1cdaa42521c11928d1c8172611f2136","datavalue":{"value":"60.0322.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924385$CF9DE3EB-2972-414E-A2DA-4A7F6E13930E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"154bb5cf77dae21fc635838c22be377a97119141","datavalue":{"value":{"entity-type":"item","numeric-id":560036,"id":"Q560036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924385$2BD8BB26-1FDA-421C-A24B-18609BEC3280","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5924385$4BD483DB-BD0A-4D65-99B5-B3FD291C99FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f5d51105625ea72ff9f0d04f79d728ff1368fb1","datavalue":{"value":"http://www.numdam.org/item?id=ASENS_1934_3_51__45_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5924385$8D12D4C4-B089-4E91-AF4C-37C7ADEADDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6022dfdf6d7b9416d7dc23c58a771f96a5aa4c1a","datavalue":{"value":"https://eudml.org/doc/81511","type":"string"},"datatype":"url"},"type":"statement","id":"Q5924385$1F815AF4-46A9-4612-9CBD-A4483830DF0A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b38bcbf70524f849003fc0b648150dae8a494df","datavalue":{"value":"Durch \u00dcbertragung eines fundamentalen Begriffes der Topologie endlich-dimensionaler R\u00e4ume ( des \\textit{Brouwer}schen Grades einer Abbildung) auf Abbildungen eines abstrakten Raumes gelingt es, der L\u00f6sungsmenge 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 \u00e4ndert und die L\u00f6sungen gleichm\u00e4\u00dfig beschr\u00e4nkt bleiben.   Hieraus ergibt sich ein allgemeiner Weg f\u00fcr Existenztheoreme: Kann man eine solche Funktionalgleichung durch stetige \u00c4nderung in eine andere \u00fcberf\u00fchren, bei der sich leicht konstantieren l\u00e4\u00dft, da\u00df\\ ihr Totalindex von 0 verschieden ist, so wei\u00df\\ man, da\u00df\\ dies auch f\u00fcr die Ausgangsgleichung gilt. Daraus folgt dann die Existenz mindestens einer L\u00f6sung.   Diese Methode ist den sonstigen, auf sukzessiven Approximationen beruhenden Methoden besonders dadurch \u00fcberlegen, da\u00df\\ sie \u00fcber Existenz und lokale Eindeutigkeit der L\u00f6sungen der \u00dcbergangsschar keine Voraussetzungen macht.   So werden z. B. Existenzs\u00e4tze f\u00fcr das \\textit{Dirichlet}sche Problem der allgemeinsten Gleichung vom elliptischen Typ abgeleitet, die die Resultate von \\textit{S. Bernstein} wesentlich erweitern.    \\[ \\text{I. Topologischer Grad von gewissen Funktionaltransformationen.} \\]   \\(\\mathfrak E\\) sei ein abstrakter linearer, vollst\u00e4ndiger und normierter Raum im Sinne von \\textit{Banach}. \\(F(x)\\) sei eine vollstetige Funktionaltransformation, die auf der abgeschlossenen H\u00fclle \\(\\overline \\omega \\) einer offenen, beschr\u00e4nkter Menge \\(\\omega \\) von \\(\\mathfrak E\\) definiert ist und deren Werte zu \\(\\mathfrak E\\) geh\u00f6ren. Dann wird die Transformation \\[ y=x-F(x)\\equiv \\varPhi (x) \\] betrachtet. Der Punkt \\(O\\) geh\u00f6re nicht zum Bild \\(\\varPhi (\\omega ^\\prime )\\) des Rendes \\(\\omega ^\\prime \\) von \\(\\omega \\). Es sei also \\[ h=\\text{k\u00fcrzester Abstand von }O\\text{ nach }\\varPhi (\\omega ^\\prime )>0. \\]  \\(F_h(x)\\) sei eine auf \\(\\overline \\omega \\) definierte Funktionaltransformation, die \\(F\\) bis auf \\(h\\) ann\u00e4hert:  \\[ \\|F(x)-F_h(x)\\|<h, \\] und deren Werte einer endlichdimensionalen Untermenge von \\(\\mathfrak E\\) angeh\u00f6ren. \\(\\mathfrak E_{n_{h}}\\) sei eine Untermenge von \\(\\mathfrak E\\) mit endlicher Dimensionszahl \\(n_h\\), die alle Werte von \\(F_h(x)\\) und mindestens einen Punkt von \\(\\omega \\) enth\u00e4lt. Der nichtleere Durchschnitt von \\(\\omega \\) und \\(\\mathfrak E_{n_{h}}\\) bildet eine offene beschr\u00e4nkte Menge \\(\\omega _{n_{h}}\\); ihr Rand \\(\\omega _{n_{h}}^\\prime \\) geh\u00f6rt zu \\(\\omega ^\\prime \\). \\(\\varPhi (\\omega _{n_{h}}^\\prime )\\) hat also von \\(O\\) mindestens den Abstand \\(h\\). Die Transformation  \\[ \\varPhi _h(x)\\equiv x-F_h(x) \\] transformiert \\(\\overline \\omega _{n_{h}}\\) in eine Menge \\(\\varPhi _h(\\overline \\omega _{n_{h}})\\), die auch in \\(\\mathfrak E_{n_{h}}\\) liegt; sie approximiert \\(\\varPhi \\) bis auf \\(h\\); also ist  \\[ \\text{k\u00fcrzester Abstand von }O\\text{ nach }\\varPhi _h(\\overline \\omega _{n_{h}})>0. \\]  Daher hat \\(\\varPhi _h\\) auf \\(\\overline \\omega _{n_{h}}\\) ``im Punkt \\(0\\)''einen bestimmen ``Grad''(\\textit{Brouwer}, 1911; F. d. M. 42, 417 (JFM 42.0417.*)). Dieser hei\u00dft der topologische Grad der Transformation \\(\\varPhi \\) im Punkt \\(O\\):  \\[ d[\\varPhi,\\omega,O]=d[\\varPhi _h,\\omega _{n_{h}},O]. \\] Durch die Transformation \\(x^\\prime =x-b\\) kann man \\(d\\) auch f\u00fcr jeden Punkt \\(b\\), der nicht auf \\(\\varPhi (\\omega ^\\prime )\\) liegt, definieren. - \\(d\\) ist unabh\u00e4ngig von der Wehl von \\(F_h(x)\\) und \\(\\mathfrak E_{n_{h}}\\).   \\[ \\text{II. Begriff des Index und Bestimmung des Grades.} \\]    \\(a\\) sei ein Punkt von \\(\\omega \\) und \\(b\\) sein Bild; \\(b=a-F(a)\\equiv \\varPhi (a)\\). Es wird vorausgesetz, da\u00df\\ eine hinreichend kleine Kugel \\(\\|x-a\\|<\\varrho \\) die einzige L\u00f6sung \\(x=a\\) von \\(\\varPhi (x)=b\\) enth\u00e4lt. Dann existiert in jeder Kugel \\(\\Sigma (\\theta )\\): \\[ \\|x-a\\|<\\theta \\varrho  \\] der Grad \\(d[\\varPhi,\\Sigma (\\theta ),b]\\) und ist von \\(\\theta \\) unabh\u00e4ngig. Diese Zahl hei\u00dft der Index \\(i[\\varPhi,a]\\) des Punktes \\(a\\).   Ist \\(b\\) das Bild von endlich vielen Punkten \\(a_1,\\dots,a_\\mu \\) von \\(\\overline \\omega \\), von denen keiner auf \\(\\omega ^\\prime \\) liegt, so ist  \\[ d[\\varPhi,\\omega,b]=\\sum \\limits _{t=1}^\\mu i[\\varPhi,a_l]. \\]   In diesem Fall l\u00e4\u00dft sich also der Grad aus den Indices berechnen.  Ist \\(\\mathfrak E\\) schwach kompakt, \\(F\\) schwach stetig und \\(x-F(x)\\) eineindeutig in der Umgebung eines Punktes \\(a\\) von \\(\\omega \\), so sit \\(i[\\varPhi,a]=\\pm 1\\).   Wenn \\(F\\) in \\(a\\) ein vollstetiges \\textit{Fr\u00e9chet}sches 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.   \\[ \\text{III. Theorie gewisser Funktionalgleichungen.} \\]    Es wird die Gleichung \\(x-F(x,k)=0\\) unter folgenden Annahmen betrachtet:   \\((H):x\\) und die Werte von \\(F\\) geh\u00f6ren zu einem linearen, normierten und vollst\u00e4ndigen Raum \\(\\mathfrak E\\); die \\(k\\) erf\u00fcllen ein abgeschlossenes, reelles Intervall \\(K\\); in dem Raum \\([\\mathfrak E\\times K]\\), der aus den Paaren \\((x,k)\\) besteht, wird die Entfernung so definiert: \\(\\|(x,k)-(x^\\prime,k^\\prime )\\|=\\|x-x^\\prime \\|+|k-k^\\prime |;\\) \\(F(x,k)\\) ist auf der abgeschlossenen H\u00fclle \\(\\overline \\varOmega \\) einer offenen und beschr\u00e4nkten Menge \\(\\varOmega \\) von \\([\\mathfrak E\\times K]\\) definiert; \\(F(x,y)\\) ist vollstetig auf \\(\\overline \\varOmega \\) und gleichm\u00e4\u00dfig stetig in \\(K\\); der Rand \\(\\varOmega ^\\prime \\) von \\(\\varOmega \\) enth\u00e4lt keine L\u00f6sung \\((x,k)\\) unseren Gleichung.   Der Grad der Transformation \\(y=x-F(x,k)\\) im Punkte \\(y=0\\) soll der ``Totalindex der L\u00f6sungen'' der Gleichung hei\u00dfen.   Weiter wird folgende Annahme gemacht: \\((H^\\prime )\\): F\u00fcr ein \\(k_0\\) soll die Gleichung endlich viele L\u00f6sungen \\(a_1,\\dots,a_\\mu \\) haben, die bekannt sind. Der Totalindex in \\(k_0\\) sei von 0 verschieden. Dann gilt folgender Hauptsatz: Wenn f\u00fcr die Gleichung \\(x-F(x,k)=0\\) die Annahmen \\((H)\\) und \\((H^\\prime )\\) gelten, so existiert im Raume \\([\\mathfrak E\\times K]\\) ein Kontinuum von L\u00f6sungen, l\u00e4ngst dessen \\(k\\) alle Werte aus \\(K\\) annimmt.   \\[ \\text{IV. Anwendungen.} \\]    In diesem Abschnitt wird vorausgesetzt, da\u00df\\ von vornherein die gleichm\u00e4\u00dfige Beschr\u00e4nktheit aller L\u00f6sungen bekannt ist, und der Hauptsatz f\u00fcr diesen Fall neu formuliert. Dann wird das \\textit{Dirichlet}sche Problem f\u00fcr die klassiche elliptische Gleichung und f\u00fcr allgemeinere Gleichungen umgeformt in eine Funktionalgleichung von dem in III. betrachteten Typ und der Hauptsatz angewendet. Das ergibt: Jede Gleichung von elliptischem Typus  \\[ a\\left (x_1,x_2;z;\\frac {\\partial z}{\\partial x_1},\\frac {\\partial z}{\\partial x_2}\\right ) \\frac {\\partial ^2 z}{\\partial x_1^2}+2b(\\dots )\\frac {\\partial ^2 z}{\\partial x_1\\partial x_2}+c(\\dotsb ) \\frac {\\partial ^2 z}{\\partial x_2^2}=0 \\] besitzt wenigstens eine L\u00f6sung, die in einem konvexen Gebiet \\(\\varDelta \\) definiert ist und auf dem Rand \\(\\varDelta ^\\prime \\) vorgegebene Werte annimmt. (Der Fall, da\u00df\\^^Mdie \\(a,b,c\\) nicht von \\(z\\) abh\u00e4ngen und analytisch sind, ist von \\textit{S. Bernstein} behandelt worden (1908; F. d. M. 39, 431 (JFM 39.0431.*)); hier ist \\(z\\) im Gegensatz zu oben sicher eindeutig.)    \\[ \\text{V. Anwendungen (Forsetzung).} \\]    Hier werden Gleichungen vom Typus \\(G(x,x,k)=0\\) betrachtet von der Art, da\u00df\\ 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\u00fcr wird ein aus dem Fundamentalsatz flie\u00dfender Satz aufgestellt, und dieser wird wieder auf Differentialgleichungen angewendet. Dies liefert z. B. folgendes Resultat:   Es sei eine L\u00f6sung \\(z(x_1,\\dots,x_n)\\) der Gleichung zweiter Ordnung  \\[ f\\left (x_1,\\dots,x_n;kz;\\frac {\\partial z}{\\partial x_1},\\dots,\\frac {\\partial z}{\\partial x_n}; \\frac {\\partial ^2 z}{\\partial x_1^2},\\frac {\\partial ^2 z}{\\partial x_1\\partial x_2},\\dots, \\frac {\\partial ^2 z}{\\partial x_n^2};k\\right )=0 \\] zu finden, die im Innern eines gegebenen Gebietes definiert ist und auf dem Rande verschwindet. Die Gleichung sei f\u00fcr \\(k=0\\) von elliptischem Typus und besitze eine L\u00f6sung, deren zweite Ableitungen eine \\textit{H\u00f6lder}sche Bedingung erf\u00fcllen. Variiert \\(k\\) stetig, so besitz die Gleichung immer noch eine L\u00f6sung, solange nicht eine der beiden M\u00f6glichkeiten eintritt:   (a) Es ergibt sich eine L\u00f6sung, in deren Umgebung die Gleichung nicht von elliptischem Typ ist.   (b) Gewissen Werten des Parameters zwischen 0 und \\(k\\) entsprechen L\u00f6sungen, von deren zweiten Ableitungen wohl jede eine \\textit{H\u00f6lder}sche Bedingung erf\u00fcllt, aber nicht alle dieselbe. (IV 13.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5924385$9CC2FCC4-BD3A-41C1-BE18-492F9944CC97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4958ff230cb19bea6d7f5396c9ecd479edad137","datavalue":{"value":"2537975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924385$DBC911D2-51AF-43B8-BDC6-17E2CBC57F2B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924385$6ECBC72F-CAAD-4843-8927-3FE66AFBAEEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2af71aff388ac58ac67ef9515def3d1dd2211e40","datavalue":{"value":"W266420308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924385$096DA919-9DFE-4818-9856-90AD4A0BDBCC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7cc48e94553f1fff262145f579a049d62c207d74","datavalue":{"value":"Q107294709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924385$53132268-E9B9-49A7-B198-D8B960455B18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7750d2a83883cfa2cc223f4235e0ac6b25f928de","datavalue":{"value":"10.24033/ASENS.836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924385$93D91DB3-0AA5-4E57-BE86-41617F8DC5A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33b2ada3c78e7e5ff0e89eb5c86c5bc93ed226a3","datavalue":{"value":{"entity-type":"item","numeric-id":6482418,"id":"Q6482418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924385$54481605-FA76-47AA-88B5-3B5EF1D30C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e3a2f2093da202bdfc0ffdd1981ee1d4e6d1830","datavalue":{"value":{"entity-type":"item","numeric-id":6672188,"id":"Q6672188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924385$884BB58C-30FB-4E10-BCF2-2ACC8A655EDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5924385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5924385"}}}}}