{"entities":{"Q819225":{"pageid":821073,"ns":120,"title":"Item:Q819225","lastrevid":64611000,"modified":"2026-04-11T21:03:41Z","type":"item","id":"Q819225","labels":{"en":{"language":"en","value":"Arithmetic differential equations and \\(E\\)-functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5015548"}},"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":"Q819225$C7183BFE-36C1-4554-8112-0C4D87E49A7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9501e70abca68d32936e348e43b1c40c10f01e52","datavalue":{"value":{"text":"Arithmetic differential equations and \\(E\\)-functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q819225$3A85D8CC-31BB-43B5-A1C1-1DFC3E5F6083","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0890a1588637d30cf120b8a85eba967ac05363c5","datavalue":{"value":"1142.12003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819225$780097F0-9AD8-49E1-B81B-3E5E482B15AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aa85c39ababc089846eda59f6f7886474da149e","datavalue":{"value":{"entity-type":"item","numeric-id":816954,"id":"Q816954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819225$9D5B53DC-EA28-42B9-B14C-BF83A804C55B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819225$B6A9DE45-5A8F-49CE-9553-F4D79C1CA646","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2561d4efd2c82b33855e170a6eb229ba58358f5","datavalue":{"value":{"time":"+2006-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q819225$898AA0E5-90FD-465B-A0EE-A1C1F473E4E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9aeb3add7faa2c5d9603634afa262ef48b770a13","datavalue":{"value":"https://arxiv.org/abs/math/0511318","type":"string"},"datatype":"url"},"type":"statement","id":"Q819225$094450CE-EE8C-454F-958A-86D955864750","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd864f5d9f366ef3bee40477a9ceb38e10cfac04","datavalue":{"value":"Let \\(K\\) be a number field, and let \\(\\phi \\in K[X,d/dX]\\) be a differential operator. The Fourier transform of \\(\\phi\\) is defined by replacing \\(X\\) with \\(d/dX\\) and \\(d/dX\\) with \\(-X\\). Recall that \\(\\phi\\) is called a \\(G\\)-operator if it is the minimal differential operator annihilating a \\(G\\)-function (see for instance 0830.12004 Dwork, Bernard; Gerotto, Giovanni; Sullivan, Francis J. An introduction to \\(G\\)-functions) and recall also that \\(\\psi \\in K[X,d/dX]\\) is called an \\(E\\)-operator if it is the Fourier transform of a \\(G\\)-operator. These operators are important because they annihilate certain arithmetic Gevrey series, by a result of \\textit{Y. Andr\u00e9} [Ann. Math. (2) 151, No. 2, 705--740 (2000; Zbl 1037.11049)].  The main result of the paper (theorem 3.1) is the following characterization of \\(E\\)-operators (here \\(A_\\psi\\) is the companion matrix of \\(\\psi\\)). A differential operator \\(\\psi \\in K[X,d/dX]\\) of rank \\(\\mu\\) is an \\(E\\)-operator if and only if (1) The coefficients of \\(\\psi\\) are not all in \\(K\\) (2) The slopes of the Newton-Ramis polygon of \\(\\psi\\) lie in \\(\\{-1,0\\}\\) (3) The differential system \\(dZ/dX = A_\\psi Z\\) has a solution of the form \\(Y(1/X) \\cdot (1/X)^\\Gamma \\cdot \\exp(-\\Delta X)\\) where \\(Y(X) \\in \\mathrm{GL}_\\mu(K((X)))\\) satisfies \\(\\prod_{v} \\min(R_v(Y)\\pi_v,1) \\neq 0\\) (the product being taken over all finite places \\(v\\) of \\(K\\) and \\(\\pi_v\\) being a uniformizer), where \\(\\Gamma \\in \\text{M}_\\mu(K)\\) has eigenvalues in \\(\\mathbb{Q}\\), and where \\(\\Delta \\in \\mathrm{M}_\\mu(K)\\) is diagonal and commutes with \\(\\Gamma\\). Section 3 of the paper is devoted to the proof that an \\(E\\)-operator satisfies (1), (2) and (3) while the rest of the paper is devoted to the proof of the converse statement. An important ingredient is the formal Laplace transform.","type":"string"},"datatype":"string"},"type":"statement","id":"Q819225$C1FE9B47-05DE-4EA8-B4DC-A8A419177B77","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"16296a5c3edbc8d451114050da29083d44484242","datavalue":{"value":{"entity-type":"item","numeric-id":487718,"id":"Q487718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819225$076E90B8-58C6-4EB2-97A3-08DF78799764","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b03e888b0e7a9763f3cf8c9bcc2f092135c24010","datavalue":{"value":"12H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819225$5864ED4B-06AB-49AD-BFDB-013E5154D02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb218609bb348fdd327631b73dea60728afa1930","datavalue":{"value":"13N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819225$95435B1F-7D0F-4383-AE63-332F3B24994A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b0b420d2a2096bad0ca5abce002cbaa7082f604","datavalue":{"value":"5015548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819225$389F12B5-BF27-46E3-BF7F-D5C5A52505FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7159b9add6e9b2b9c59390d2e1db2d1686fa78c","datavalue":{"value":"\\(E\\)-operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q819225$1433FFA1-EC20-425B-9BFF-CDCD816DEB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aeb198de89347d6715e19894a93fa76da333378","datavalue":{"value":"\\(G\\)-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q819225$C3AE436A-B7A5-416F-ADAD-930F63F320A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0be08da4cf87facf746102420dcea51e2fe70d8","datavalue":{"value":"\\(p\\)-adic differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q819225$248719F6-75ED-49CF-BCC7-95D1A63798DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5cde6648f836989a42071489e4569534ff616e","datavalue":{"value":"formal Laplace transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q819225$69EFA3AF-7A3A-46B7-B2EF-15654A004BF1","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":"Q819225$B653DD6D-9FA9-4EC2-A609-F6377262C33C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc127c8cd539234ea01adc4bb29fa27bcdcf1178","datavalue":{"value":{"entity-type":"item","numeric-id":816956,"id":"Q816956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028e9cb6c4f16d4a762ff4c974ed7ad9a85bdbda","datavalue":{"value":{"amount":"+0.7804625034332275","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":"Q819225$88C673F1-1EF7-4ABE-A873-C476109C409E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855683f4fb2697197795304db3feee3f27c37f3f","datavalue":{"value":{"entity-type":"item","numeric-id":502550,"id":"Q502550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92e034afc092e3ee5bc22fb6d04a8ce6a45a9ce","datavalue":{"value":{"amount":"+0.7599411010742188","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":"Q819225$3F209661-92DF-4CAF-9788-FFECBC0CFA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff43bfd61813e9bf8bc0cc91b11c5f228431b529","datavalue":{"value":{"entity-type":"item","numeric-id":3484930,"id":"Q3484930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111319323da1bd951083b8d8b1b7cb96fc2489a9","datavalue":{"value":{"amount":"+0.753006100654602","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":"Q819225$B450F1E5-C04B-44A3-8C66-3B635E495B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b3949b9adb736324160a96f0370bca02aa1ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1081639,"id":"Q1081639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a343c48859847f7c1a003bcf801296daafe5de82","datavalue":{"value":{"amount":"+0.7444400787353516","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":"Q819225$2676EEC2-AD75-47A6-B00D-BD904B25594C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeab7886809d24db0a2e693b0840e26c27835f20","datavalue":{"value":{"entity-type":"item","numeric-id":607041,"id":"Q607041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d57e9bc6b5d3d6bb7a0d0cc8380283d2e27aa88","datavalue":{"value":{"amount":"+0.739267885684967","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":"Q819225$C6697809-CDF2-4118-AFF4-8ED3FA5CCB20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetic differential equations and \\(E\\)-functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetic_differential_equations_and_%5C(E%5C)-functions"}}}}}