{"entities":{"Q1450335":{"pageid":1461075,"ns":120,"title":"Item:Q1450335","lastrevid":43117438,"modified":"2025-07-21T15:50:37Z","type":"item","id":"Q1450335","labels":{"en":{"language":"en","value":"Les fonctions quasi analytiques. Le\u00e7ons profess\u00e9es au Coll\u00e8ge de France."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2586290"}},"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":"Q1450335$4985110A-4595-4699-8592-265760324673","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed6c3f415474a2083b10a45bc230c7343bc2fa62","datavalue":{"value":{"text":"Les fonctions quasi analytiques. Le\u00e7ons profess\u00e9es au Coll\u00e8ge de France.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1450335$544A6844-353A-4D16-91F6-B8A127129EA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e333e696d91d049d56e4e6b13a2cbe91eace37a","datavalue":{"value":"52.0255.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1450335$60D4241C-F9BE-4FF3-BAB4-B72326F14E07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dd745ff93b31145e75d180e6d28b5d93f81438","datavalue":{"value":{"time":"+1926-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":"Q1450335$7493663A-CDEE-41B5-8595-23230F83FA38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"09b1963ade7e7c09fbe94fbb1ee1a2cfcd64c89a","datavalue":{"value":"Es handelt sich um quasianalytische Funktionen einer reellen Variablen. Eine Familie von unendlich oft differenzierbaren Funktionen eines Intervalles \\((a, b)\\) hei\u00dft quasianalytisch, wenn zwei Funktionen der Familie identisch sind, sobald in einem Punkt ihre s\u00e4mtlichen Ableitungen \u00fcbereinstimmen. Verschiedene Fragestellungen der partiellen Differentialgleichungen legen es nahe, sich auf Funktionen zu beschr\u00e4nken, deren Ableitungen Ungleichungen der Form \\[ | f^{(n)} (x)| < K^n A_n \\] gen\u00fcgen. Dabei sind die \\(A_n\\) positive Konstanten, die f\u00fcr alle Funktionen der Familie fest sind, w\u00e4hrend \\(K\\) eine von \\(f(x)\\) abh\u00e4ngige Konstante bedeutet. Die Theorie befa\u00dft sich dann haupts\u00e4chlich mit den folgenden beiden Fragen: 1. Welches sind die notwendigen und hinreichenden Eigenschaften der \\(A_n\\), wenn die Familie quasianalytisch sein soll? 2. Wie kann man eine quasianalytische Funktion aus ihren Ableitungen in einem Punkt berechnen? Nach Darstellung der \u00e4lteren S\u00e4tze von Denjoy und Borel entwickelt der Verf. die Theorie der asymptotischen Reihen. Diese setzt ihn in Stand, die erste Frage wie folgt zu beantworten: Die notwendige und hinreichende Bedingung besteht darin, da\u00df \\[ \\int_0^\\infty \\log \\left( \\sum_0^\\infty \\frac {r^{2n}}{A^2_n} \\right) \\, \\frac {dr}{r^2} \\] divergiert; oder was dasselbe ist, da\u00df die kleinste nicht wachsende Majorante der Reihe \\[ \\sum \\frac 1{\\root \\uproot{3} n \\of {A_n}} \\] divergiert. Kap. 7 bringt die L\u00f6sung der zweiten Frage. Sie besteht in folgendem: Man setze \\(A_n = a_n^n\\). Dann kann man eine Folge von Zahlen \\(A_n^* = (a^*_n)^n\\) finden, die gleichfalls eine quasianalytische Familie bilden, und f\u00fcr die \\(\\lim\\limits_{n \\to \\infty} \\dfrac{a_n}{a_n^*} = 0\\) ist. Dann setze man \\(b_n = \\dfrac 1{(a_n^*)^{2^n}}\\) und bezeichne mit \\[ f_k (x) = \\sum_0^{k-1} c_n \\omega_{k,n} (x) \\] die Funktion, welche \\[ \\sum_0^k b_n \\int_0^1 \\left[ f^{(n)} (x) \\right]^2 \\, dx \\] zum Minimum macht. Dann ist \\[ f (x) = \\lim_{k \\to \\infty} \\sum_0^{k-1} \\omega_{k,n} (x) \\frac {f^{(n)} (0)}{n!} x^n \\] die L\u00f6sung des zweiten Problems. Es wird noch die Frage beantwortet, wann die \\(f^{(n)}(0)\\) einer quasianalytischen Funktion angeh\u00f6ren. Kap. 8 entwickelt die Zusammenh\u00e4nge mit den Kettenbr\u00fcchen und dem Momentenproblem von Stieltjes. Es ergeben sich so neue Beweise der S\u00e4tze von Denjoy und Borel. Ferner ergibt sich der folgende Satz: Daf\u00fcr, da\u00df die unendlich oft differenzierbare Funktion \\[ f(x) = a_0 + a_1 \\cos x + a_2 \\cos 2x + \\cdots\\quad\\text{mit}\\;|a_n|