{"entities":{"Q2590829":{"pageid":2601572,"ns":120,"title":"Item:Q2590829","lastrevid":44422728,"modified":"2025-11-22T20:07:57Z","type":"item","id":"Q2590829","labels":{"en":{"language":"en","value":"Some theorems on quasi-analyticity for functions of several variables."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2510283"}},"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":"Q2590829$9A33B0BF-1D08-4F94-919C-DE00DDED1100","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cac9d01086d197422f0f8733f9183016da31540","datavalue":{"value":{"text":"Some theorems on quasi-analyticity for functions of several variables.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2590829$0CE07D37-2FBB-432B-B2BF-3BEEFE4B901C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ad151dae22a8d0beff85305b22626c6f9e8735d","datavalue":{"value":"65.0219.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590829$1C6A7005-1B50-43B1-81E4-04DF6091E47A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d288934643297c2bf9464c575d7718ab1fb3899","datavalue":{"value":"10.2307/2371501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590829$BCE74333-E6AB-4E09-8CD6-62AE330A96CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98eeb8ee7789ed97a471349f40c8a3445e1838fc","datavalue":{"value":{"entity-type":"item","numeric-id":768010,"id":"Q768010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590829$D81A0880-B3DB-4B4F-885F-4E2E5880B750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bf09071acdfa2d1c1443db477031487cbb7589f","datavalue":{"value":{"entity-type":"item","numeric-id":6480505,"id":"Q6480505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590829$6C763969-6DED-467B-84F7-2D96E3DA6ADB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1add02162fef49a66552187e850c2369475498a6","datavalue":{"value":{"entity-type":"item","numeric-id":559377,"id":"Q559377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590829$340064D7-F5B7-4318-A28A-0B3847DE2868","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2590829$617FBE37-C537-4A1E-B796-3963F06CD1F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d023e9e6a40eb9011831c2c357dd73b0231d8341","datavalue":{"value":"\\(f(x_1,\\dots, x_k)\\) sei in einem Bereich des \\(k\\)-dimensionalen Euklidischen Raumes mit Ableitungen beliebig hoher Ordnung versehen. Man setze  \\[ \\begin{gathered} D_0(f, x)=|\\,f(x_1,\\dots, x_k)\\,|,\\\\ D_n(f, x)=\\biggl\\{\\sum\\biggl|\\,\\frac{\\partial ^n f(x_1,\\dots ,x_k)}{\\partial x_{\\alpha _1}\\;\\dots \\partial x_{\\alpha _{ n}}}\\,\\biggr|^2\\biggr\\}^\\frac{1}{2}\\qquad(n=1, 2, 3,\\dots ),\\end{gathered} \\]  wo \\(\\alpha _1\\),\\dots, \\(\\alpha _{n}\\) unabh\u00e4ngig von l bis \\(k\\) laufen. Es gilt der Satz: Ist \\(f\\) in einem zusammenh\u00e4ngenden Bereich \\(R\\) erkl\u00e4rt, und bedeutet \\(x_{0}=(x_1^0,\\dots, x_k^0)\\) einen inneren Punkt daraus, so folgt aus  \\[ D_n(f, x)\\leqq m_n\\;\\text{in}\\;R,\\quad D_n(f, x_0)=0,\\quad\\sum m_n^{-\\tfrac{1}{n}}\\,\\text{divergent}, \\]  da\u00df \\(f\\) in ganz \\(R\\) verschwindet. Der Beweis wird so gef\u00fchrt. Ist \\(x'=(x'_1,\\dots,x_k')\\) ein solcher Punkt, der mit \\(x_{0}\\) in \\(R\\) geradlinig verbunden werden kann, so wird \\(f(x_1,\\dots, x_k)\\) durch die Substitution  \\[ x_i(s)=\\frac{x_i'-x_i^0}{\\sqrt{\\textstyle \\sum\\limits_{\\mu =1}^{k}\\bigl(x_\\mu '-x_\\mu ^0\\bigr)^2}}\\,s+x_i^0 \\]  in eine Funktion einer Variablen \\(s\\) verwandelt, f\u00fcr welche sodann die Annahmen zu dem analogen Satz in einer Ver\u00e4nderlichen von \\textit{Denjoy} und \\textit{Carleman} (\\textit{Carleman}, Les fonctions quasi analytiques (1926: F. d. M. 52, 255 (JFM 52.0255.*)), S. 20) gelten. So erh\u00e4lt man \\(f(x_1', \\dots, x_k')=0\\). Nach der entsprechenden Schlu\u00dfweise wie bei der analytischen Fortsetzung folgt das Resultat f\u00fcr alle Punkte in \\(R\\). Ist \\(f\\) im ganzen Euklidischen Raum \\(E_k\\) erkl\u00e4rt, so folgt aus  \\[ \\textstyle \\int\\limits_{E_k}D_n(f, x)\\,dv\\leqq m_n,\\quad D_n(f, x_0)=0,\\quad \\sum(m_n+\\dots +m_{m+k-1})^{-\\tfrac{1}{n}}\\;\\;\\text{divergent,} \\]  da\u00df \\(f\\) \u00fcberall verschwindet.  Verf. stellen die entsprechenden S\u00e4tze im Riemannschen Raum auf, wobei \\(D_n(f, x)\\) mit Hilfe von Normalkoordinaten mit \\((x_1,\\dots, x_k)\\) als Ursprung geeignet definiert wird.  Verf. geben eine weitere Verallgemeinerung des Carlemanschen Satzes wie folgt: Unter \\(U\\) werde fortan eine solche Punktfolge im \\(k\\)-dimensionalen Euklidischen Raum verstanden, die die Eigenschaft hat, da\u00df aus dem Verschwinden einer analytischen Funktion auf ihr deren identisches Verschwinden folgt. \\(p\\) sei eine gegebene ganze Zahl, \\(P_n(\\xi _1,\\dots, \\xi _k)\\) ein homogenes Polynom vom Grad \\(pn\\) mit reellen Koeffizienten; \\(P_{0} = 1\\). Zur Funktion \\(f\\) wird der Differentialoperator  \\[ L_n(f, x)=P_n\\biggl(\\frac{\\partial f}{\\partial x_1},\\dots, \\frac{\\partial f}{\\partial x_k}\\biggr) \\]  gebildet. Es sei nun \\(f(x_1,\\dots, x_k) = 0\\) au\u00dfer wenn alle \\(x_i>0\\) (\\(i = 1\\), 2,\\dots, \\(k\\)). Die Folge \\(U\\) liege in \\(x_i > 0\\). Weiter sei  \\[ |\\,L_n(f, x)\\,|\\leqq m_n,\\;\\;\\;\\sum P_n(\\xi _1,\\dots,\\xi _k)^{\\tfrac{1}{np}}\\,(m_n)^{-\\tfrac{1}{np}}\\;\\;\\text{divergent} \\]  f\u00fcr \\((\\xi _1,\\dots,\\xi _k)\\) in \\(U\\). Dann verschwindet \\(f\\) identisch. Der Satz wird auf einen eindimensionalen Satz von Carleman zur\u00fcckgef\u00fchrt.  Wie \u00fcblich setze man den Laplaceschen Operator  \\[ \\varDelta ^0f=f,\\;\\;\\varDelta f=\\frac{\\partial ^2f}{\\partial x_1^2}+\\dots +\\frac{\\partial ^2f}{\\partial x_k^2},\\;\\;\\varDelta ^nf=\\varDelta (\\varDelta ^{n-1}f). \\]  Die Bedingungen  \\[ |\\,\\varDelta ^nf\\,|\\leqq m_n,\\;\\;\\varDelta ^nf(\\xi _1, \\dots, \\xi _k)=0\\;\\text{in}\\;U\\quad\\sum m_n^{-\\tfrac{1}{n}}\\,\\text{divergent,} \\]  haben sodann \\(f\\equiv 0\\) im Gefolge. Der entsprechende Satz gilt auch auf der Kugel  \\[ x_1^2+\\dots +x_{k+1}^2=1\\qquad(k\\geqq 2) \\]  des \\((k + 1)\\)-dimensionalen Raumes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2590829$4C255233-3439-48E5-9076-3404C40F893F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b7f21e3a594a4d723e59ad2f837ffff4d9a4c0f","datavalue":{"value":"2510283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590829$DA01A721-8EF7-4F66-9C4C-6E51F318E03C","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":"Q2590829$FDA07004-C45D-4A5A-929E-DCED77A37464","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72ff6a07743a72a0dec7c6796c7124861514d12a","datavalue":{"value":"https://doi.org/10.2307/2371501","type":"string"},"datatype":"url"},"type":"statement","id":"Q2590829$0A36CE98-FACD-4BAB-8C55-9FEA565F013D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa5cb0accd7a0aa29ede0bdc51fe07b3555bc0fc","datavalue":{"value":"W2334559886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590829$55505E68-7944-4FE1-9BF7-119B41EAB884","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2590829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2590829"}}}}}