{"entities":{"Q6077852":{"pageid":13212159,"ns":120,"title":"Item:Q6077852","lastrevid":58675584,"modified":"2026-04-06T07:01:49Z","type":"item","id":"Q6077852","labels":{"en":{"language":"en","value":"Liouville's theorem on integration in finite terms for \\(\\mathrm{D}_\\infty , \\mathrm{SL}_2\\), and Weierstrass field extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7742422"}},"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":"Q6077852$AE17C400-6B27-4F8C-973B-75BCD11DA741","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adb1103ba5ca85405d1ea69b223876838e816866","datavalue":{"value":{"text":"Liouville's theorem on integration in finite terms for \\(\\mathrm{D}_\\infty , \\mathrm{SL}_2\\), and Weierstrass field extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6077852$AF3BB5DA-4E9C-49BD-A469-7894A58ED053","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b5a22a5423ee1fbc8b5acfb83ae0b3d9f9bc99c","datavalue":{"value":{"entity-type":"item","numeric-id":6077851,"id":"Q6077851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$97F90EE4-9AF3-4D6B-97C6-3FF07CE1A1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fd92814fcb83641e7bfad9f6aff289942e75b71","datavalue":{"value":{"entity-type":"item","numeric-id":326582,"id":"Q326582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$D5EE4FC2-F6B9-45C0-8A00-A99701F0A599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$99EE4641-B0C1-4117-B90F-5D58CC4C41C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9418e61d518d54d5ce54693edbb949cbf20535ee","datavalue":{"value":{"time":"+2023-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6077852$7A4C5EFD-815A-44E8-840F-7BF1AE0B8198","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"826d239a08707bcb03e757b3f02b9414070e9fd7","datavalue":{"value":"https://arxiv.org/abs/2308.00659","type":"string"},"datatype":"url"},"type":"statement","id":"Q6077852$5FE518E6-8C03-4389-B747-A1CF019B427A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"85e87f9d80633c23389f9c115c00a4f474fe41c0","datavalue":{"value":"The article deals with the question whether elementary integrals over differential extensions can be decended to elementary integrals over the base differential field. More precisely, if \\((k,\\partial)\\) is a differential field of characteristic zero with algebraically closed field of constants \\(C\\) (e.g. \\((k,\\partial)=(\\mathbb{C}(x),\\partial_x)\\)), an element \\(f\\in k\\) is said to have an \\emph{elementary integral} over \\(k\\), if the exist \\(c_1,\\ldots, c_n\\in C\\), \\(u_1,\\ldots, u_n\\in k\\setminus \\{0\\}\\) and \\(v\\in k\\) such that \\[ f = \\sum_{i=1}^n c_i\\frac{\\partial(u_i)}{u_i} + \\partial(v). \\]  Let \\((E,\\partial_E)\\) be a differential extension of \\((k,\\partial)\\) with the same field of constants, one can ask whether an element \\(f\\in k\\) which has an elementary integral over \\(E\\) (i.e. the elements \\(u_i\\) and \\(v\\) from above are in \\(E\\)), also has an elementary integral over \\(k\\).  In the article, the authors solve this question to the affirmative for certain types of extensions \\(E/k\\). Namely (see Theorem 1.1) for those extensions \\(E/k\\) that are a successive extension of \\begin{enumerate} \\item[a)] elementary extensions (i.e. algebraic, logarithmic or exponential), \\item[b)] Picard-Vessiot extensions with Galois group isomorphic to the special linear group \\(\\mathop{SL}_2(C)\\) or the infinite dihedral group \\(\\mathop{D}_\\infty\\), or \\item[c)] an elliptic extension, i.e. generated by a transcendental element \\(\\theta\\) and its derivative \\(\\theta'\\) fulfilling a Weierstrass equation \\((\\theta')^2=\\alpha^2\\cdot (4\\theta^3-g_1\\theta-g_0)\\) for constant elements \\(g_0,g_1\\in C\\) and \\(\\alpha\\) in the smaller differential field. \\end{enumerate}  Of course the general case of a successive extension follows inductively from the three cases of extensions, and case a) is a result of \\textit{M. Rosenlicht} [Pac. J. Math. 24, 153--161 (1968; Zbl 0155.36702)]. The other two cases, however, are really new contributions to the subject.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077852$754D1FC7-9757-4C83-BFE6-7CFCB9230A0B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2f19d7951b6ce918dd47a41ac52e34056a1c4615","datavalue":{"value":{"entity-type":"item","numeric-id":403052,"id":"Q403052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$513CD3C0-F4AA-45D3-8C0D-5693B6368BA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077852$176C19AE-0029-4C35-8C96-8E4FAAE7A910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2caeb08173bdc16534b506f6d1fea5a2e89840a8","datavalue":{"value":"12F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077852$FC6C318A-5E1C-4F85-8667-6AAA24BD3FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077852$4D87746E-FCC3-4980-9876-99363340BFFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"410b715c4d53a801e018820887f988b013038e44","datavalue":{"value":"7742422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077852$91CED106-0074-4AFB-9C34-3E067EAF83F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8945963b112b4c0bfb0ecad3105ee6ae8620c8f9","datavalue":{"value":"differential fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077852$4D6D8498-2530-4535-8955-ADB9B02938BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c037f344d39fe57055304e67c0d34f072f7c798","datavalue":{"value":"Liouville's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077852$F8BBDF40-CED0-4DC3-BEA9-2D3D89EB9A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5084d77751400b3a59103435683779d62b2cba9f","datavalue":{"value":"Weierstrass differential equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077852$6BCC1931-9EF1-4797-9C29-B1482E5B6842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9685602a056fde101cf72f11d4ec994655380aeb","datavalue":{"value":"Picard-Vessiot extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077852$E3439560-EFFB-4835-BD23-0544C40D58A2","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":"Q6077852$7AA6396E-150B-40E5-A585-22345E98E1EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0399b55ce073d595be5721157905128858652682","datavalue":{"value":"W4386743895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077852$58AB968C-8CCA-4CA1-8408-0BA8179A4A04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73cfff124ee054ef9e9b474a64e88b809f2a72a0","datavalue":{"value":{"entity-type":"item","numeric-id":2457377,"id":"Q2457377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$4EA60E72-8717-4613-A65E-AB4E27F92DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b3e6da08a3531c94950caead185aa0841ff228","datavalue":{"value":{"entity-type":"item","numeric-id":5824422,"id":"Q5824422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$B84BABB8-FC13-4CF8-9B84-D95D1AF8BB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7541301e6458b3911ae86a4d82d9aeec271c4209","datavalue":{"value":{"entity-type":"item","numeric-id":1082810,"id":"Q1082810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$90BC3F88-103E-4AF0-9CF5-2AFDE43C2FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6a9d5efb416011cc9d27dd303f0a530a5fbff8","datavalue":{"value":{"entity-type":"item","numeric-id":5469966,"id":"Q5469966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$27BFBF2A-86D1-4637-B34D-8CACEB9D7662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57132986554c1f1b8d48fa5b15625d7212ae8a6","datavalue":{"value":{"entity-type":"item","numeric-id":2422713,"id":"Q2422713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$FFEC12F7-EE26-4DC2-99B3-6B9149713A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea99d34030b2153c38252a9dc02bdf8f9b6ac6e1","datavalue":{"value":{"entity-type":"item","numeric-id":4321755,"id":"Q4321755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$53DC9796-FC9F-4D53-B3CD-3DDB6A849775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b7b339ae7c6132d2668d9ddb51cd7fe5994c67","datavalue":{"value":{"entity-type":"item","numeric-id":2526780,"id":"Q2526780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$BF41365A-70F6-45DD-B70C-FC3DAD247760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6dd65d4e768e58c52c1d65b3426f0d2d45d888","datavalue":{"value":{"entity-type":"item","numeric-id":1222199,"id":"Q1222199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$7E1EDF0F-7960-4B80-BBC6-B7C93677E086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3478df4a230b3368d430b6eb89a8ed4341217112","datavalue":{"value":{"entity-type":"item","numeric-id":1121414,"id":"Q1121414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$84F7B780-A626-4529-B3ED-7BED70C893EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"723cc4c09b6b0edbb1b2de8dc68bf0568eb613bd","datavalue":{"value":{"entity-type":"item","numeric-id":3695362,"id":"Q3695362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077852$61BC766B-6464-4A6D-8EFB-40ED32312482","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"491eb2d39ba07e92712edfe12f4646fa73e36317","datavalue":{"value":"10.1007/S00013-023-01907-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077852$449254AE-06BB-4AD2-BD16-DC597A8F22FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08db88a3bc42211f2aaa69c38d9a1c7261d466a5","datavalue":{"value":{"entity-type":"item","numeric-id":5112485,"id":"Q5112485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa0cffb422b66479d4c912d392e24d51eb65eda","datavalue":{"value":{"amount":"+0.8269547820091248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6077852$7D16F44D-CD5A-45F3-B5DA-D392B981BD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a660ec7fb123dfa0f66abba5c34b6feb19d7d43","datavalue":{"value":{"entity-type":"item","numeric-id":1346802,"id":"Q1346802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de5d8d4ebb5f3c41cc235aafb9ab779e541efa2","datavalue":{"value":{"amount":"+0.8257549405097961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6077852$DD7095C3-35CF-4013-B0BE-D36E0855F360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0bd9ea4228d33dda92b50252216c8ea57a063e8","datavalue":{"value":{"entity-type":"item","numeric-id":2639105,"id":"Q2639105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f62e77e3dc2e02e5c82a306e1f269c635046ce","datavalue":{"value":{"amount":"+0.8105186820030212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6077852$275667BC-6412-4772-BB7B-0DA92075C2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c35f58dc8d48b9267670533d6dfd40169b55a37","datavalue":{"value":{"entity-type":"item","numeric-id":2785252,"id":"Q2785252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66979c2ddab2db1158d741923ab052ec0b0b6ff3","datavalue":{"value":{"amount":"+0.8048055768013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6077852$A3302A19-AFB5-451C-9026-C214BA3538DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b7d6304ca3208855944b2983b4db71b0ae820c","datavalue":{"value":{"entity-type":"item","numeric-id":4001409,"id":"Q4001409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94ec404a9e6d806aafa29bc86f3db39cf2c6ec8","datavalue":{"value":{"amount":"+0.8025141954421997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6077852$6C58BE29-C687-45FB-A2F7-13626DAFAF76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6077852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6077852"}}}}}