{"entities":{"Q2473639":{"pageid":2484382,"ns":120,"title":"Item:Q2473639","lastrevid":73465779,"modified":"2026-04-14T16:06:09Z","type":"item","id":"Q2473639","labels":{"en":{"language":"en","value":"On an identity of Mahler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5242155"}},"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":"Q2473639$00F2802C-3632-431C-8D75-E64C160961B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f766337fc3acac17502983b951f7e97c2ddfd22b","datavalue":{"value":{"text":"On an identity of Mahler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2473639$8DBEFD48-038B-4EFA-BEFC-0151AC350F31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6faef51e16e78d4aa5ae5735236d954d4e9b0ca","datavalue":{"value":"1148.11032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473639$B7143F80-B329-4422-AA4C-6E277B887EA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473639$1EA2CA73-B01F-44EA-B981-458344763789","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f4cea1d629a8aa358d6ac4f0c18e4c1f82cc9f1","datavalue":{"value":{"time":"+2008-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2473639$755A2E11-B495-4CD5-A561-E1F8D284D102","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"330d5d08e1fe85432e3f08abef15c71dc6e57787","datavalue":{"value":"The \\(m\\)-fold Euler-type integrals   \\[  F(z)=\\idotsint_{[0,1]^m} \\prod_{j=1}^m\\frac{x_j^{a_j-1}(1-x_j)^{b_j-a_j-1}} {(1-zx_j\\dotsb x_m)^{c_j}}\\;dx_1\\dotsb dx_m, \\qquad | z|<1,  \\]   where \\(a_j\\), \\(b_j\\) and \\(c_j\\) are integer parameters satisfying \\(0<a_j<b_j\\) (to ensure the convergence), specialized at the point \\(z=1\\), play an important role in the arithmetic study of the values of Riemann's zeta function \\(\\zeta(s)\\) at integers \\(s\\geq2\\); cf., for example [\\textit{F. Beukers}, Bull. Lond. Math. Soc. 11, 268--272 (1979; Zbl 0421.10023); \\textit{V. N.~Sorokin}, Sb. Math. 187, No.~12, 1819--1852 (1996); translation from Mat. Sb. 187, No. 12, 87--120 (1996; Zbl 0876.11035); \\textit{G.~Rhin} and \\textit{C.~Viola}, Acta Arith. 97, No.~3, 269--293 (2001; Zbl 1004.11042); \\textit{W.~Zudilin}, J. Lond. Math. Soc. (2) 70, No.~1, 215--230 (2004; Zbl 1065.11054)]. A general theorem of \\textit{S. A.~Zlobin} [Math. Notes 77, No.~5, 630--652 (2005); translation from Mat. Zametki 77, No. 5, 683--706 (2005; Zbl 1120.11030)] says that the integrals \\(F(z)\\) can be represented as linear forms, with polynomial coefficients, in the so-called generalized polylogarithms, and these are the forms used in the proofs of several results on the linear and algebraic independence of the values of polylogarithms, in particular, of~\\(\\zeta(s)\\). The introductory part of the article reviews the corresponding cases.  The very first ``Diophantine'' application of the integral \\(F(z)\\), namely, to estimate the irrationality measures of algebraic numbers and the transcendence measures of the logarithms of algebraic numbers, was given by \\textit{K.~Mahler} in [Math. Ann. 105, No. 1, 267--276 (1931; Zbl 0002.18401); J. Reine Angew. Math. 166, 118--136 (1931; Zbl 0003.15101); J. Reine Angew. Math. 166, 137--150 (1932; Zbl 0003.38805)]. A version of Mahler's original result gets a new proof in the article under review (Theorem~1), while Theorem~2 provides a generalization of Theorem~1 with certain sufficient conditions for the integers \\(a_j,b_j,c_j\\) to ensure an expansion of the form  \\[  z^{b_m-1}F(z) =\\sum_{k=0}^dA_k(z)\\frac{(-\\log(1-z))^k}{k!}, \\quad\\text{where }A_k(z)\\in\\mathbb Q[z].  \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2473639$04D815D4-3638-4034-825F-1AB5C89FD79E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a88e9bb6c8447cdb3018b8d08a5a3871d0f50a1","datavalue":{"value":"11J82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473639$B83419BF-3C1C-4879-90F2-14FB3966A3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f43c829dead1e69cdc8fa03b6e5b76393eeea7","datavalue":{"value":"11G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473639$CFBABE1D-64CE-4A3C-98E3-B9289E851E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf1793154f9f6074241685d4336e22640c6d4fa","datavalue":{"value":"33B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473639$2A1DAEBE-2C92-4474-A249-2F4EA83F9F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8992a45dfbb8374cf50a97b52b5e63fe08b10fd6","datavalue":{"value":"41A21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473639$EACD4118-7E83-47A7-AA6A-E6D278357035","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95ef974fc66153af930cdce3fa44ff1c3c717294","datavalue":{"value":"5242155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473639$A85D79D6-2F1A-4C69-B1F4-BC559DBFDE0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23baa929e285ae73d0a1aca3a8a182f9a75992cd","datavalue":{"value":"Diophantine approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2473639$71929ADE-BFD9-4A26-8716-F16CA2A1D4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"194b45317c05668774266aa6ebd4dccfc543f71e","datavalue":{"value":"Pad\u00e9 approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2473639$B56EBE77-7544-41E0-B944-3D52C1E2E737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b32bad43855a427a6778f6400dbfc11af17dda5d","datavalue":{"value":"Mahler's identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2473639$187E474D-8123-4A27-B9F6-7A6BAA50C12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff90e1c3f7fe2fd21e9f38b1f578be9bda35781","datavalue":{"value":"generalized polylogarithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2473639$43C2E5B1-76A2-4C40-9BE0-6E3B6F03B98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a876b7b76466308777a8cb0e2eab5c501a028f4e","datavalue":{"value":"Euler's multiple integral","type":"string"},"datatype":"string"},"type":"statement","id":"Q2473639$25EF3871-2838-4D2D-9607-E80BF605FDA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e67bb2347df9ef48fd8e89b0bb893076e5c58606","datavalue":{"value":{"entity-type":"item","numeric-id":558147,"id":"Q558147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473639$6B5D12DC-0FEA-42B9-9454-BE25089EA33B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8e58d6ba4e46b32c81727510be51112f668db5c","datavalue":{"value":{"entity-type":"item","numeric-id":303815,"id":"Q303815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473639$329A21DC-3093-4BD0-B103-0F00744B061A","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":"Q2473639$95CB4A0C-F9E5-4351-A502-9B2EDF8DD5E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a38f30dacf4c56e8305986e7b241c3024b2a6bd","datavalue":{"value":"https://doi.org/10.1007/s11006-006-0009-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2473639$D8857BE4-4B28-4AF2-A673-9AA2E4A5A20C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eed1cd2246027ad455a11e6d6230f434d719bc0a","datavalue":{"value":"W1966846167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473639$4C5B5876-7B17-473B-8CBC-AB6E291EEB2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c652b5b7efd32aab04ad58b1edfe7416143c596e","datavalue":{"value":{"entity-type":"item","numeric-id":4828522,"id":"Q4828522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473639$5BF0BB89-9B9B-405E-8BE1-75FD45AB1762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b728b13513f3a9680dd9e863000bceb204ec19","datavalue":{"value":{"entity-type":"item","numeric-id":4341658,"id":"Q4341658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473639$C53D946A-445A-402E-91FC-D50BC65E8EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0098e25195c19555898f7bb510c09f9c82da6c4","datavalue":{"value":{"entity-type":"item","numeric-id":4513017,"id":"Q4513017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473639$6349D3F1-98E6-458C-B84D-D0D659885362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfbf5ae6c4fa72dd1d5f7317b019df397380ce4b","datavalue":{"value":{"entity-type":"item","numeric-id":1810127,"id":"Q1810127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473639$CF14D043-A008-496F-9FA0-1B458CDA1B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb6ddd440df5fcf1a86c5b7e9a65f0a2872beb4b","datavalue":{"value":{"entity-type":"item","numeric-id":5550509,"id":"Q5550509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473639$D2596F17-1C8E-4465-95BD-1E9C83AEBF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925cd8753a285ff75720e94d6e4ca05d0a5ce518","datavalue":{"value":{"entity-type":"item","numeric-id":4483366,"id":"Q4483366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473639$367B5298-7815-4F5D-AD63-503DF100F65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e08a957cc31d34d2f097c1e91fe4471515d7a25c","datavalue":{"value":{"entity-type":"item","numeric-id":4079940,"id":"Q4079940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473639$D4A6C274-99FE-41FD-AFD3-2E74C408D6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb5fa0a40c2aabf1496213c2a17f2244fcd7dd6","datavalue":{"value":{"entity-type":"item","numeric-id":5529599,"id":"Q5529599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2473639$81E40BC7-EE21-4A70-B8C6-2D90426DC34D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"777396754f00774bfca5f61ba4887414573b756d","datavalue":{"value":"10.1007/S11006-006-0009-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2473639$311479D1-1528-40D5-989B-4D5354A73310","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85f4cce70f23a7e02ca9b22b750322d218aef061","datavalue":{"value":{"entity-type":"item","numeric-id":1996510,"id":"Q1996510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6284dfbcff4f542674f3e9e950cd6207dc2d92f","datavalue":{"value":{"amount":"+0.776807427406311","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":"Q2473639$DFCD8223-1971-41C6-9C0F-64E894B40729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc4e14317a53d4d851de031addd632cf28f0661","datavalue":{"value":{"entity-type":"item","numeric-id":3079932,"id":"Q3079932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452b0b06d4e1ed30c544c29aaa010718d63e9021","datavalue":{"value":{"amount":"+0.7699259519577026","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":"Q2473639$5A7DC5C0-B73A-4BF1-BE70-55BAC6CFDCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525ace22f41325a468110b0fe77c31b718c1f00e","datavalue":{"value":{"entity-type":"item","numeric-id":2341941,"id":"Q2341941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b578baf923d919146c18a0dd3c26c2d9af2d6f9","datavalue":{"value":{"amount":"+0.76723712682724","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":"Q2473639$F47EDD21-1CA1-4E30-B053-5AEAD0F1BD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed54ac26b6e3bdce4baf939f46bb1c8c264946a9","datavalue":{"value":{"entity-type":"item","numeric-id":5246913,"id":"Q5246913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c705b71a0e8bc00fac1b8b8102dfae99c37888b","datavalue":{"value":{"amount":"+0.7670088410377502","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":"Q2473639$FE6A0C0C-D58E-4D21-A91E-604C75230236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07249f53317c8ed60483fb5182f8c33c8a85c45","datavalue":{"value":{"entity-type":"item","numeric-id":2279220,"id":"Q2279220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8637f114cb29040516aa42ab5f7be078ac32979","datavalue":{"value":{"amount":"+0.7653835415840149","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":"Q2473639$AE00C8D5-40F9-48B9-9196-F94096D3ABAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On an identity of Mahler","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_an_identity_of_Mahler"}}}}}