{"entities":{"Q6974205":{"pageid":21348285,"ns":120,"title":"Item:Q6974205","lastrevid":84039932,"modified":"2026-05-08T14:22:57Z","type":"item","id":"Q6974205","labels":{"en":{"language":"en","value":"Explicit conversions between summatory functions of the M\u00f6bius function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8050272"}},"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":"Q6974205$2B0ECEE3-E49D-4F41-A631-9BF0DA9849EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baa3708d8d64946ff5e6e5c2375ce76f707b3728","datavalue":{"value":{"text":"Explicit conversions between summatory functions of the M\u00f6bius function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6974205$0D945298-A005-425A-8127-FD06501EDF29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1894d4f325ed8df36dd958e1a386745eea568e84","datavalue":{"value":"10.2140/CNT.2025.14.163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974205$0A63F0C5-EA5A-4F4F-ADDF-8E5C75F9562D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4624b2c911988414355de21066b5fd6be017d6e2","datavalue":{"value":{"entity-type":"item","numeric-id":6341869,"id":"Q6341869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$FE04E64C-1727-4DEF-9440-DAA2ECE80782","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af040a8a07f6d3d774a535f2d3f57d6f6c5fb957","datavalue":{"value":{"entity-type":"item","numeric-id":6547217,"id":"Q6547217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$CC048476-B0FD-419A-A39C-755B4EC4388F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6b9aa32cd4bfe489f35b7aca3fda977d4e5555c","datavalue":{"value":{"time":"+2025-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6974205$85A00FD3-1376-4FA4-B8BC-4BE0B86EDB73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59f598d889812e8eda8b06528bfda649b0a739f1","datavalue":{"value":"Let \\(M(x) := \\sum_{n \\leqslant x} \\mu(n)\\) be the Mertens function, and \\(m(x):= \\sum_{n \\leqslant x} \\frac{\\mu(n)}{n}\\) be the logarithmic mean of the M\u00f6bius \\(\\mu\\) function. In [\\textit{M. Balazard}, Proc. Steklov Inst. Math. 276, 33--39 (2012; Zbl 1297.11120)], Balazard established some identities relating \\(M(x)\\) and \\(m(x)\\). In this interesting article under review, the author generalizes Balazard's work by proving a theorem generating all identities of this type. More precisely, it is shown the following result: let \\(g,h : \\left[ 0,1 \\right] \\to \\mathbb{C}\\) be two integrable functions on \\([0,1]\\) such that \\N\\[\\N\\int_0^1 g(t) \\, \\mathrm{d}t = 1 \\quad \\text{and} \\quad \\int_0^1 h(t) \\, \\mathrm{d}t = 0.\\N\\]\\N\\begin{itemize}\\N\\item[\\(\\triangleright\\)] For all \\(x \\geqslant 1\\), set \\(G(x) := 1 - \\frac{1}{x} \\sum_{n \\leqslant x} g(n/x)\\). Then, for all \\(x \\geqslant 1\\), we have \\N\\[\\Nx m(x) - M(x) = \\int_1^x M(x/t) G(t) \\, \\mathrm{d}t + \\int_{1/x}^{1} \\frac{g(t)}{t} \\, \\mathrm{d}t.\\N\\]\\N\\item[\\(\\triangleright\\)] For all \\(x \\geqslant 1\\), set \\(H(x) := 1 - \\sum_{n \\leqslant x} h(n/x)\\). Then, for all \\(x \\geqslant 1\\), we have \\N\\[\\Nx m(x) - M(x) = x \\int_1^x m(x/t) H(t) \\, \\frac{\\mathrm{d}t}{t^2} - x \\int_0^{1/x} h(t) \\, \\mathrm{d}t.\\N\\]\\N\\end{itemize}\\NUsing this identities with some specific weights allows the author to establish some important consequences for the M\u00f6bius function. Among other things, the author proves that \\N\\[\\N|m(x)| \\leqslant \\frac{0.0130073}{\\log x} \\ \\left( x \\geqslant 97 063 \\right) \\quad \\text{and} \\quad |m(x)| < \\frac{363}{(\\log x)^{2}} \\ \\left( x \\geqslant 2 \\right)\\N\\]\\Nimproving earlier results obtained by Ramar\u00e9 in [\\textit{O. Ramar\u00e9}, Math. Comput. 84, No. 293, 1359--1387 (2015; Zbl 1320.11095)] and the reviewer in [\\textit{O. Bordell\u00e8s}, J. Integer Seq. 18, No. 11, Article 15.11.1, 13 p. (2015; Zbl 1390.11115)]. As an asymptotical corollary, the authors also shows that \\N\\[\\N\\limsup_{x \\to \\infty} |m(x)| \\sqrt{x} > \\sqrt{2}\\N\\]\\Nestablishing that the supremum of \\(|m(x)| \\sqrt{x}\\) is not reached for \\(x \\to 2^{-}\\), contrary to what the first numerical observations might suggest.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974205$EC77965E-20AF-4AB5-94D3-8DA920E7A768","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c5469093ba38ec5444d85260fa7afc13f26c4907","datavalue":{"value":{"entity-type":"item","numeric-id":425114,"id":"Q425114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$F1418BE8-D2CE-49C4-814B-1B74E289A573","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce43af76667bf5ee226f5551a40d83564ed9a3fe","datavalue":{"value":"11N37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974205$5326F2F7-55EB-404F-AAF7-9D01C8EA2FC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"591b05404456b13c23310817ae5d2c4e15c03ecd","datavalue":{"value":"8050272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6974205$A139AD47-B6AA-4BFF-9EDF-383AABCD4CD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40638d22a7e8fa2430d56494da6613dbf3d1bd7","datavalue":{"value":"explicit theory of prime numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974205$46D51AA8-FF12-42B4-93CE-1AF410720769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89dedcfb5183873aad01c0f5c35c10e60d26c689","datavalue":{"value":"asymptotics of arithmetical functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6974205$2C7662A5-FE76-44A1-AAC2-5D4E3ED55B78","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":"Q6974205$B0E23907-EDDC-4AD3-84DA-02494FF9C3BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8b0fcc0fa8a4a7ce731071b63992ee85af0ee0","datavalue":{"value":{"entity-type":"item","numeric-id":741971,"id":"Q741971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$ACB26343-9978-426F-976B-1ECCB97A09A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa605a05275045fc9b1eabfe3b9192450a1d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3457643,"id":"Q3457643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$1F7B7C08-E0D4-4826-8865-EBDE611A52DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e25d62532862dfb23e4c312672ffc605471df2","datavalue":{"value":{"entity-type":"item","numeric-id":2479910,"id":"Q2479910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$7295E578-40FC-40D5-ACDE-3ED36E068375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b7ae28541a3a8754b0b6dd2957f596b8b10774","datavalue":{"value":{"entity-type":"item","numeric-id":3472169,"id":"Q3472169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$48C39DB7-36F5-4F92-AE52-7EFB866D40DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29ad35e0bfc4424f4fc470643396d6ee9e1f39c","datavalue":{"value":{"entity-type":"item","numeric-id":4285752,"id":"Q4285752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$3FB9107D-FF98-44EE-A81C-5BCA3916A302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8caa68ee150bd3e5f85ef75088287fd338dc4839","datavalue":{"value":{"entity-type":"item","numeric-id":1910679,"id":"Q1910679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$9794CC0A-0E4B-4C40-A8B7-470133D60B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00d3650e029ffa676fe309740b8970a66bfcc27","datavalue":{"value":{"entity-type":"item","numeric-id":4600721,"id":"Q4600721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$F6E4CB2E-44E9-4905-9BF1-3CA0F0218567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4febd4ab51f13a68e0e19b20891203f34ddbb27d","datavalue":{"value":{"entity-type":"item","numeric-id":5542207,"id":"Q5542207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$F0EC3F7D-92C4-4F18-A5EA-801217539230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3102c7923896ba57b3a85a18cf0e874ad2f61beb","datavalue":{"value":{"entity-type":"item","numeric-id":3333133,"id":"Q3333133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$58DAAFB9-F29A-40BF-96C9-DC7E7D5A40C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b082c8e87859c7096145f25dc9ddea6e677f4b","datavalue":{"value":{"entity-type":"item","numeric-id":4920579,"id":"Q4920579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$017FB2BA-7133-4AC5-BAE4-F89D05D4FFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39cfe8b301a84c970cce555f5a246c42e1e8283","datavalue":{"value":{"entity-type":"item","numeric-id":4905235,"id":"Q4905235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$8BD653F9-8F7E-4C5C-A42E-BD8A501C7F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c923b66325545bad01de472264fbbe30fd13173","datavalue":{"value":{"entity-type":"item","numeric-id":5179227,"id":"Q5179227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$06191E51-F773-4DC0-BB57-7C64749FA7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322c6887e43ad386538ca6f63867771945af95c5","datavalue":{"value":{"entity-type":"item","numeric-id":1710480,"id":"Q1710480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$66DC02EC-A468-49F2-88B1-D6496247645C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29f1df2db6565da05cedb9236c65787ec3f2db0","datavalue":{"value":{"entity-type":"item","numeric-id":5226544,"id":"Q5226544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$D5D0CDEA-1F35-41E9-A18E-AD9417BF0470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9b43bb259d051f6e312dbb5997a6b7ba416319","datavalue":{"value":{"entity-type":"item","numeric-id":3735790,"id":"Q3735790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$1E88BB68-940D-454D-AA14-31E917CE0E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d2704d26daff921f033485344199009f5288ae","datavalue":{"value":{"entity-type":"item","numeric-id":5065973,"id":"Q5065973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6974205$D9CF9C82-F05C-415C-8213-22A2EE3EB69E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explicit conversions between summatory functions of the M\u00f6bius function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Explicit_conversions_between_summatory_functions_of_the_M%C3%B6bius_function"}}}}}