{"entities":{"Q841269":{"pageid":843117,"ns":120,"title":"Item:Q841269","lastrevid":64739694,"modified":"2026-04-11T21:54:28Z","type":"item","id":"Q841269","labels":{"en":{"language":"en","value":"Atkinson's formula for Hardy's function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5604009"}},"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":"Q841269$A5C809AA-7C4B-4F1C-827C-1951606C397E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6f29144e805c7ef567dfd4518135b0d07fd5a43","datavalue":{"value":{"text":"Atkinson's formula for Hardy's function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q841269$FEC0A93A-D7AC-4972-AFA4-F27E06FB1B7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98caa978716f32159966ce7fe00fa9d583c3695a","datavalue":{"value":"1232.11083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841269$0EDF1911-81CC-4149-A834-BB9D3D39897C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09d84d8fbfa3311209fd761ac60f5e532c05515d","datavalue":{"value":{"entity-type":"item","numeric-id":180504,"id":"Q180504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$BE546B37-2CAF-4A5B-9BC1-F581B8E5D88D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$D3E6DC17-F781-4C87-97A9-3B0A59A5893B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0511b34f06c549178cd5aa0c7bf87d7d40160e71","datavalue":{"value":{"time":"+2009-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q841269$D360A106-32E8-43F3-8A12-870A48078663","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb25d0f24615899a7567dd64ae47c4bb84826d21","datavalue":{"value":"The author investigates \\(F(T)\\), the primitive of Hardy's function \\(Z(t)\\), where  \\[  F(T) := \\int_0^T Z(t)\\,dt, \\quad Z(t) := \\zeta({\\textstyle\\frac{1}{2}}+it)\\bigl(\\chi({\\textstyle\\frac{1}{2}}+it)\\bigr)^{-1/2}, \\quad \\zeta(s) = \\chi(s)\\zeta(1-s),  \\]  so that \\(Z(t)\\) is real for real \\(t\\) and \\(|Z(t)| = |\\zeta(\\frac{1}{2}+it)|\\). The reviewer [Arch. Math. 83, 41--47 (2004; Zbl 1168.11319)] proved that \\(F(T) = O_\\varepsilon(T^{1/4+\\varepsilon})\\) and conjectured that \\(F(T) = \\Omega_\\pm(T^{1/4})\\). This conjecture was proved by \\textit{M. A. Korolev} [Dokl. Math. 75, No. 2, 295--298 (2007); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 413, No. 5, 599--602 (2007; Zbl 1162.11045)], who also proved that \\(F(T) = O(T^{1/4})\\), so that the order of \\(F(T)\\) is determined, up to the values of the numerical constants that are involved. In the present paper the author obtains again Korolev's results. However, his method is different, and susceptible to generalizations. It is based on the use of the Laplace transform \\(L(p) = \\int_0^\\infty Z(t)e^{-pt}\\,dt\\). The author in fact used earlier with success the approach via Laplace transforms, but for the function \\(Z^2(t)\\) [Kyiv: Institute of Mathematics. Proc. Inst. Math. Natl. Acad. Sci. Ukr., Math. Appl. 21(1), 137--154 (1998; Zbl 0948.11032)].  The explicit formula for \\(F(T)\\) is as follows (Theorem 1 in the text). Let \\(\\,T\\,\\) be a large positive number, \\(N \\asymp T\\), \\(N' = N'(T) = T/(2\\pi) + N/2 - (N^2/4+ NT/(2\\pi))^{1/2}\\). Then  \\[  F(T) = S _1(T) + S _2(T) + O\\left ((\\log T)^{5/4}\\right ),\\leqno(1)  \\]  where  \\[ \\begin{multlined} S _1(T) = 2\\sqrt{2} (T/(2\\pi) )^{1/4}\\sum_{0\\leq n\\leq \\sqrt{N}}(-1)^{n(n+1)/2} e\\left (T,\\left (n+{\\textstyle\\frac{1}{2}} \\right )^2\\right )\\left (n+{\\textstyle\\frac{1}{2}} \\right )^{-1}\\times\\cr \\times \\cos \\left ({\\textstyle\\frac{1}{2}} f\\left (T, \\left (n+{\\textstyle\\frac{1}{2}}\\right )^2\\right ) - 3\\pi /8\\right ) \\end{multlined}  \\]  and  \\[ S _2(T) = -4 \\sum_{1\\leq n\\leq \\sqrt{N'}} n^{-1/2}\\left (\\log (T/2\\pi n^2) \\right )^{-1}\\cos \\left ({\\textstyle\\frac{1}{2}} g\\left (T, n^2\\right )+ \\pi /4\\right ),  \\]  where  \\[ \\begin{aligned}   f(T,n) &= 2T\\operatorname{arsinh}\\bigl(\\sqrt{\\pi n/(2T})\\bigr) + \\sqrt{2\\pi nT + \\pi^2n^2} - \\pi/4\\cr& = -\\textstyle{1\\over4}\\pi + 2\\sqrt{2\\pi nT} + \\textstyle{1\\over6}\\sqrt{2\\pi^3}n^{3/2}T^{-1/2} + a_5n^{5/2}T^{-3/2} + a_7n^{7/2}T^{-5/2} + \\ldots\\,,\\cr g(T,n) &= T\\log \\left(\\frac{T}{2\\pi n}\\right) - T + \\pi /4, \\\\ e(T,n) &= (1+\\pi n/(2T))^{-1/4}{\\Bigl\\{(2T/\\pi n)^{1/2} \\operatorname{arsinh}(\\sqrt{\\pi n/(2T})\\Bigr\\}}^{-1}\\cr& = 1 + O(n/T)\\qquad(1 \\le n < T), \\end{aligned}  \\]  and \\(\\operatorname{arsinh}x = \\log(x + \\sqrt{1+x^2}\\,).\\) By careful analysis the author deduces from this formula another expression (Theorem 2 in the text), which enables him to recover that \\(F(T) = \\Omega_\\pm(T^{1/4})\\) and \\(F(T) = O(T^{1/4})\\). Another important aspect of (1) is that it is analogous to the famous formula of \\textit{F. V. Atkinson} [Acta Math. 31, 353--376 (1949; Zbl 0036.18603)] for the function \\(E(T)\\), defined by  \\[  \\int_0^T|\\zeta(\\textstyle{\\frac{1}{2}}+it)|^2\\,dt \\,=\\, T\\log{T\\over2\\pi} + (2\\gamma-1)T + E(T),  \\]  where \\(\\gamma = -\\Gamma'(1)\\) is Euler's constant.","type":"string"},"datatype":"string"},"type":"statement","id":"Q841269$A2680CA3-50D2-4B19-A9FF-86ADBD0B44FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"640734dc6335f307dd4519055b3de0a0f9533ea0","datavalue":{"value":"11M06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841269$D9B6ABF3-DAA3-4030-B7F9-B2C4A08EF5DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2572c8707c9b5904780358bdd70a5e8ec2b339d","datavalue":{"value":"5604009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841269$36A13E41-BEF1-439A-9218-C1391C6C2895","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80043a87077f868d2d87f3b22633bd5bcde8df0","datavalue":{"value":"Riemann zeta-function","type":"string"},"datatype":"string"},"type":"statement","id":"Q841269$96B5E95F-E88E-4186-B631-7B55CD66714D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6f2400abe9d4400153afa91fdfecb03923c9161","datavalue":{"value":"Hardy's function","type":"string"},"datatype":"string"},"type":"statement","id":"Q841269$E6C51D3D-CA84-4EE9-A693-1FD8B23F5112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72458e079bf39bfad80bda5c5b3187eb0ce7411e","datavalue":{"value":"Atkinson's formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q841269$105D1F2F-F103-4C4B-B6B0-54B8970A5484","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e3b6bf8f43348d6f1e8e502973c6d0a2d37c7d5","datavalue":{"value":{"entity-type":"item","numeric-id":180520,"id":"Q180520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$D685F14A-87FF-43DD-8FD0-46AE47FD78B6","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":"Q841269$AA43E711-1A5A-4D00-B911-ABC767A8D14E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f681d5fd43e8b04fa521e978774bdbc8a0201c6f","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2009.02.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q841269$6F551B57-F3FC-487E-92A5-3435476C6DBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0031d455d92c2f59d9e40f236c23eb1b2b2e082","datavalue":{"value":"W2047645408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841269$9521B23E-4A27-406B-9AFF-10F7194418E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b72899f74ec5306af30365798e4060fc1be810","datavalue":{"value":{"entity-type":"item","numeric-id":2648353,"id":"Q2648353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$FFBD899A-BCB2-448E-9EE8-1F4B0F7579F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f7eb6f8a7d0c68b1c8757ac4cf298229a6ed53","datavalue":{"value":{"entity-type":"item","numeric-id":4893761,"id":"Q4893761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$9B89CF20-5AA7-47B4-8593-122C61413F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5b0e099db73f8160e0625a5326632fab6e7367","datavalue":{"value":{"entity-type":"item","numeric-id":1069975,"id":"Q1069975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$E5905C9F-F658-4435-B5F9-D95A7DF5AE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a615b65ed91490bf25c8c09d949ec4cd57e06d6","datavalue":{"value":{"entity-type":"item","numeric-id":1881019,"id":"Q1881019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$D0AADC8C-4276-4194-9A91-5577652264B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cc95ae8f92298812a278f8af80708618821a0e","datavalue":{"value":{"entity-type":"item","numeric-id":789433,"id":"Q789433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$F82DF587-ED24-4B9F-8955-80FFE8A9247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ba377a451fc8ec9b6e9a705d37812a2fc105ca","datavalue":{"value":{"entity-type":"item","numeric-id":1187676,"id":"Q1187676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$FA9A770F-BFDC-4B0E-A241-5F522B1773CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40160bb2c0bff623d42055544f1f06deca0d0448","datavalue":{"value":{"entity-type":"item","numeric-id":4509196,"id":"Q4509196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$8E9E4CF5-CB4B-4AAB-AF16-06927008DC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca635be3c9898b9af9ddd70ff7aeb3d6f217d29","datavalue":{"value":{"entity-type":"item","numeric-id":3926684,"id":"Q3926684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$DF4EE004-53CD-4F33-A362-4FDA64890382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3c00dd5ca90261f668211988d9554320354e37","datavalue":{"value":{"entity-type":"item","numeric-id":960712,"id":"Q960712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$4A61F85D-5291-4E79-93A6-1BA5108CBF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53565db6d3c1831557468fbfb38fdd4f765fdea3","datavalue":{"value":{"entity-type":"item","numeric-id":4666472,"id":"Q4666472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$F66E7627-F532-4DF9-9CDA-C84BADF03B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6701e538f55fd38357cef399ef0839c8abf78c","datavalue":{"value":{"entity-type":"item","numeric-id":4198833,"id":"Q4198833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$E9BED6BE-0F69-42FE-BCF3-322D2904B4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365b9fe38edbab0b81781969d9aa3755f85fc392","datavalue":{"value":{"entity-type":"item","numeric-id":3894011,"id":"Q3894011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841269$16540017-8DE5-4284-A0CE-C684EE16F5C9","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":"Q841269$00435ECE-9BC7-49E8-BFBC-04359094326A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"063f245dfa304f618ac1c5eee98fabb760cb2b3d","datavalue":{"value":"10.1016/J.JNT.2009.02.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841269$B695BE5F-9B74-48BF-B643-A93A1390FB77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae92352137245b870a4aa73ed0c308b6bc4868f5","datavalue":{"value":{"entity-type":"item","numeric-id":2431089,"id":"Q2431089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855a12e8ac51d31f40ee5a300650129758f0dade","datavalue":{"value":{"amount":"+0.8711353540420532","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":"Q841269$04B47BE6-5945-4BE8-929D-075FED2B0296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b1414a588d98b0062807f6b7678199432d5942","datavalue":{"value":{"entity-type":"item","numeric-id":3520115,"id":"Q3520115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306484461ed273ee818fc57391cebe3a6efec5ab","datavalue":{"value":{"amount":"+0.8664959073066711","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":"Q841269$DFEBE2BA-2221-49AF-817B-4FA3226ECFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adec63a5090e2c30d5e2a6b9d65ac3d08d60f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":960712,"id":"Q960712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf9d438d545ada879d4b6b8306b14101ab3742c","datavalue":{"value":{"amount":"+0.8602293729782104","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":"Q841269$6240040D-F274-4F90-BAF4-5F63E0280DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00badebff2e28970081e6ff9d72ed3930b957f9b","datavalue":{"value":{"entity-type":"item","numeric-id":5232072,"id":"Q5232072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a5abcae5230c8f1b278747b85571d087a89576","datavalue":{"value":{"amount":"+0.837308943271637","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":"Q841269$B7C7A609-1D0C-4AC5-A911-B79EFA2B3815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70b625c8e8ce587c309868e6025e44fd82029e5","datavalue":{"value":{"entity-type":"item","numeric-id":1661310,"id":"Q1661310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3560c697e010edc8624dd967a6dd9539d3561fa0","datavalue":{"value":{"amount":"+0.8279517889022827","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":"Q841269$0727A4D5-B260-412C-8D50-E5B0BFD11B28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Atkinson's formula for Hardy's function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Atkinson%27s_formula_for_Hardy%27s_function"}}}}}