{"entities":{"Q1540189":{"pageid":1550929,"ns":120,"title":"Item:Q1540189","lastrevid":43193566,"modified":"2025-07-22T05:43:47Z","type":"item","id":"Q1540189","labels":{"en":{"language":"en","value":"On a function which does not satisfy any algebraic equation."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2696320"}},"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":"Q1540189$FA1A62E1-C8D0-4BE6-8BBE-C0DDB3C0413D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"691b953d60a66ab22e8421204a1b900f442c1eda","datavalue":{"value":{"text":"On a function which does not satisfy any algebraic equation.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1540189$5A7D64AF-1E68-429E-9044-940EEABF4453","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69049cb98ef11d2c3707c45a8d3c014c964e3c04","datavalue":{"value":"19.0378.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1540189$3C3582DB-FBA7-4A64-9460-4809ACAA5A21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f290ffa45713570580aedeb1cddd050e8679577","datavalue":{"value":{"entity-type":"item","numeric-id":563665,"id":"Q563665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1540189$8D9EF8F5-8E90-4749-BEAC-88EA368B876A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3bae722b4073862f646cb1b37c11c84ff605adbe","datavalue":{"value":{"entity-type":"item","numeric-id":1523054,"id":"Q1523054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1540189$B2E9CD87-69EA-49B6-87B9-9921F66166FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f87ff571a5126166204de58a5c648f32df793e5","datavalue":{"value":{"time":"+1887-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":"Q1540189$92402838-158F-4FF4-9940-EA68FD310C68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"17455ca223aa932bb07cf59ae4b7ba334f082a15","datavalue":{"value":"Bedeuten \\(x_1,x_2,\\dots,x_n\\) unabh\u00e4ngige Ver\u00e4nderliche, \\(y_1,y_2,\\ldots,y_r\\) bestimmte algebraische Functionen derselben, so sagt man, falls eine Relation der Gestalt  \\[ G(f(y_1),f(y_2),\\dots,f(y_r),x_1,x_2,\\dots,x_n)=0 \\tag{1} \\]   besteht, dass die Function \\(f(x)\\) einer algebraischen Functionalgleichung gen\u00fcgt. Dabei bezeichnet \\(G\\) eine rationale ganze Function der eingeschlossenen Argumente, und es wird selbstverst\u00e4ndlich vorausgesetzt, da\u00df jene Relation (1) nicht identisch erf\u00fcllt ist, d. h. da\u00df dieselbe nicht besteht, wenn man f\u00fcr \\(f(y_1),f(y_2),\\ldots,f(y_r)\\) von einander und von \\(x_1,x_2,\\dots,x_n\\) unabh\u00e4ngige Argumente einsetzt.  In der vorliegenden Note zeigt Hr. H\u00f6lder, dass die ganze transcendente Function  \\[ J(x)=x+\\frac{x^2}{2.2!}+\\frac{x^3}{3.3!}+\\frac{x^4}{4.4!}+\\cdots \\]    keiner algebraischen Functionalgleichung gen\u00fcgt. Da man \\(n-1\\) der Ver\u00e4nderlichen   \\(x_1,x_2,\\dots,x_n\\) constante Werte beilegen kann, so ist es hinreichend, die Unm\u00f6glichkeit einer Relation (1) zu beweisen f\u00fcr den Fall, da\u00df man nur eine unabh\u00e4ngige Ver\u00e4nderliche in die Betrachrung einf\u00fchrt. Die Function \\(J(x)\\) befriedigt die Differentialgleichung  \\[ \\frac{dJ(x)}{dx}=\\frac{e^x-1}{x}, \\]    und dieser Umstand l\u00e4\u00dft es zweckm\u00e4\u00dfig erscheinen, sogleich zu beweisen, da\u00df selbst eine nicht-identische Relation der Gestalt  \\[ G(J(y_1),\\;J(y_2),\\dots,\\;J(y_r), e^{z_1},e^{z_2},\\dots,e^{z_r},x)=0 \\tag{2} \\]   unm\u00f6glich ist, wo \\(y_1,y_2,\\dots,y_r\\), \\(z_1,z_2,\\dots,z_r\\) bestimmte algebraische Functionen von \\(x\\) bedeuten.   Die zu diesem Beweise f\u00fchrenden \u00dcberlegungen sind denjenigen \u00e4hnlich, welche der Verfasser angestellt hat, um zu zeigen, da\u00df die Function \\(\\varGamma(x)\\) keiner algebraischen Differentialgleichung gen\u00fcgt. Nimmt man die Existenz einer Relation der Gestalt (2) an, so darf man offenbar voraussetzen, da\u00df die Gr\u00f6\u00dfen \\(e^{z_1},e^{z_2},\\ldots,e^{z_s}\\) nur linear in dieselbe eingehen, und da\u00df keine der Differenzen \\(z_i-z_k\\) eine Constante ist. Bezeichnet man sodann mit \\(m\\) die Ordnung der Function \\(G\\) in Bezug auf die Gr\u00f6\u00dfen \\(J(y_1),J(y_2),\\ldots,J(y_r)\\), so ergiebt sich, da\u00df die mehrmalige Differentiation der Gleichung (2) zu einer nicht-identischen Gleichung derselben Gestalt f\u00fchrt, f\u00fcr welche die Ordnung \\(m\\) einen um eine Einheit kleineren Wert besitzt als f\u00fcr die Gleichung (2). Hieraus folgt dann die Existenz einer die Gr\u00f6\u00dfen \\(J(y_1),J(y_2),\\ldots,J(y_r)\\) nicht mehr enthaltenden Relation, deren Unm\u00f6glichkeit leicht erwiesen wird.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1540189$1ACE8100-A5B7-4F91-802A-EA8FA32D5F25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c0889502c8230e6bde725b97efbeea71240305b","datavalue":{"value":"30D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1540189$0B7BCFF0-7071-4982-BFCA-C46CEC6A28CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1540189$FCAB2B6F-4718-4D5B-8ADB-CA2AE90201BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b59c780dd39ff103d35538d3a84e6038b7db2548","datavalue":{"value":"2696320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1540189$1D29F051-70D3-423D-A9F3-779B8D6826EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"819f137f9ec626acba1c8947981be8a93c7821b2","datavalue":{"value":"transcendental functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1540189$1B65EABC-0FC1-41BC-8FD5-9C82FB0FE240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae96ea78988d404c59436e4aeeed24ae2f2a9037","datavalue":{"value":"differential Galois theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1540189$294561E6-A3C6-41D2-8808-E7CD3A2AD48E","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":"Q1540189$8852E472-9AFE-4D89-A7F6-F5D38018C92E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1540189","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1540189"}}}}}