{"entities":{"Q542846":{"pageid":544613,"ns":120,"title":"Item:Q542846","lastrevid":62624964,"modified":"2026-04-11T07:21:20Z","type":"item","id":"Q542846","labels":{"en":{"language":"en","value":"An inequality for sums of binary digits, with application to Takagi functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5909849"}},"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":"Q542846$F24D6FCB-76BE-4816-BC22-4729CE0A7BA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afd44968da9a32a76e246d788ab72267fc54e797","datavalue":{"value":{"text":"An inequality for sums of binary digits, with application to Takagi functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q542846$3B4A73CA-D75D-477E-ABBF-089E1391F4D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"177917aff8234410f86db3d97d3c8655d6d37afd","datavalue":{"value":"1223.26018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542846$72910C35-EE88-48DD-A3DA-74B90A291940","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542846$2B0EBF67-F885-427C-840C-5B0594A542C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9da3e2cf3b9d96f1075fbe50eeeb3bf407d9491","datavalue":{"value":{"time":"+2011-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q542846$A504A7D0-8ACB-47AC-A337-101287FC39F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f742ace4256575670ed569260356a8edbd9fc12e","datavalue":{"value":"https://arxiv.org/abs/1009.1308","type":"string"},"datatype":"url"},"type":"statement","id":"Q542846$D90A9FAB-D4D2-4743-8FB2-767468F9AEB0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"488349b30c6d4cd464c62208abe8ca5ee6a9162b","datavalue":{"value":"Let \\(\\phi(x)=2\\inf\\{|x-n|\\;:\\;n\\in \\mathbb{Z}\\}\\). For \\(\\alpha>0\\) let \\(f_\\alpha(x)=\\sum\\limits_{j=0}^\\infty2^{-\\alpha j}\\phi(2^jx)\\). In particular, \\(\\frac{1}{2}f_1\\) is Takagi's continuous nowhere differentiable function. \\textit{J. Tabor} and \\textit{J. Tabor} [J. Math. Anal. Appl. 356, No. 2, 729--737 (2009; Zbl 1188.26008)] proved that  \\[ f_\\alpha\\Big(\\frac{x+y}{2}\\Big)\\leq\\frac{f_\\alpha(x)+f_\\alpha(y)}{2}+|x-y|^\\alpha, \\]  for all \\(\\alpha\\in[1,2]\\) and \\(x,y\\in[0,1]\\).  By developing an explicit expression for \\(f_\\alpha\\) at dyadic rational points, the author shows that the above inequality can be reduced to a simple inequality for weighted sums of binary digits.   This simple inequality (which is also of independent interest) is used to give an alternative proof of the result of Tabor and Tabor, which provides more insight into the essential structure of the function \\(f_\\alpha\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q542846$AAB10BCD-DF48-4CD1-A99E-F232C262C3B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"18a7294370e7fb961703e4ac5f30f7a75e786c64","datavalue":{"value":{"entity-type":"item","numeric-id":249935,"id":"Q249935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542846$A3EDE67F-94B0-433B-80E5-9F49AD68E040","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf0bb20530d42a22142f51f8d00fc3ce15111381","datavalue":{"value":"26A51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542846$59D4A593-C79F-4DA3-9470-83DAC5079AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf241bd7117daf3a91684dd92feff523bc285195","datavalue":{"value":"26A27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542846$CB0B7E9D-890A-40DB-B7B2-C50B24768E81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef3a974f13f751e39cc8a4826a35b35da3f7fccb","datavalue":{"value":"5909849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542846$F24FD7A7-E015-4ECD-85C4-AF409C2A7E6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b356fdb9471c72e5294968ec132fdc85e29e53e6","datavalue":{"value":"Takagi function","type":"string"},"datatype":"string"},"type":"statement","id":"Q542846$325554F4-AE41-4813-AF99-274568071E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62456305cf175824f5500d969b6a8a33db7f039e","datavalue":{"value":"approximate convexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q542846$C40B92AB-5D85-4D7C-AB03-F093DDC48A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00517c27480f89097ca55736a03450d012f47141","datavalue":{"value":"digital sum inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q542846$C0B8B0EB-9A39-495A-96B3-B8459176CB6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"162570ef578c8a3c6585604ce2656f922affba45","datavalue":{"value":{"entity-type":"item","numeric-id":294285,"id":"Q294285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542846$8484630B-8323-45A0-B20B-7D23CDB2DF0F","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":"Q542846$AE6F3C90-0B86-4A4B-8F16-9E813A11B16B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4aed44bb56d98a8ceaedb8fa5ed1b6d735022503","datavalue":{"value":"W2962708266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542846$D05E8DBC-435B-44EC-9D20-A31789E54F85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4096adf628ca4e80374cf13f37f2400e866476f","datavalue":{"value":{"entity-type":"item","numeric-id":994336,"id":"Q994336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542846$ABB2ED7E-25F2-417A-9D65-635FEF041113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caaeea1a2f8d70c5b66509c0167bd3544d7a6388","datavalue":{"value":{"entity-type":"item","numeric-id":5506488,"id":"Q5506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542846$9E30C436-B02E-427B-8B21-B19D5AD6B001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9a24bd56c5671f26bc06f39f7167cd4074d3d5","datavalue":{"value":{"entity-type":"item","numeric-id":3515170,"id":"Q3515170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542846$BE94F162-31EA-43DA-825F-4A9E2AFAFA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dddcacbdca10dc99b228d6bec287548dfbeea7c","datavalue":{"value":{"entity-type":"item","numeric-id":4037011,"id":"Q4037011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542846$63933F60-1386-4B0C-85AC-0A3C7E6A6A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab15f1d29887e3941c420fd5b551dd265414c26","datavalue":{"value":{"entity-type":"item","numeric-id":971922,"id":"Q971922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542846$3983A2EA-FB47-4CFD-BB17-622A6BCCA18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede0218a620a7885f7f68bca1f15f9700bce9160","datavalue":{"value":{"entity-type":"item","numeric-id":1025054,"id":"Q1025054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542846$10749300-4D52-4ECB-A762-616C95DBFAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17da01020581ecb89d94b252cc8a6e6ffabfb86e","datavalue":{"value":{"entity-type":"item","numeric-id":5544386,"id":"Q5544386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q542846$D48945A3-E85A-41AD-AC7A-622E5D3C82F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c749f0f32e6a00e8686dd30923dc933a6383e218","datavalue":{"value":"10.1016/J.JMAA.2011.03.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q542846$7B3540B7-6BB2-44B8-9266-929A3A2C53B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6938915a0a887096620bc9ad7ba4a6deb542cbe2","datavalue":{"value":{"entity-type":"item","numeric-id":3619622,"id":"Q3619622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f95aec4153b5aced184a73eb76376626cb7116","datavalue":{"value":{"amount":"+0.8693365454673767","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":"Q542846$BC0F9469-A1AF-4D48-BC20-E85BD9742546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f84cdc104f2d9428c0ba442a6bcc03407ee7bcc4","datavalue":{"value":{"entity-type":"item","numeric-id":5506488,"id":"Q5506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c1d0121c0e0b6d2a18317f24d578baaa5b7005","datavalue":{"value":{"amount":"+0.8352074027061462","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":"Q542846$7713FF00-1CF6-4D51-B10E-EFAA2B000C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780849549ae6846a6fd73a7a0426876d0516697d","datavalue":{"value":{"entity-type":"item","numeric-id":4980064,"id":"Q4980064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3fbf7025caa3b9fee0ec1ed34496f85a49d6e2","datavalue":{"value":{"amount":"+0.8297741413116455","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":"Q542846$77D3BEB8-4C23-412F-ADD7-889668C32900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373ba891dbf5538a1e0d8df06ae484c302ef17d2","datavalue":{"value":{"entity-type":"item","numeric-id":3396091,"id":"Q3396091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb22d3fd1ad6eb5e34139635bcdc6f2dbf07ab5d","datavalue":{"value":{"amount":"+0.7993190288543701","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":"Q542846$B4181B1D-9F2E-4404-B156-AADBA5752690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914e0f9f624ef917df03c1f704d61d5a84c8ec20","datavalue":{"value":{"entity-type":"item","numeric-id":810162,"id":"Q810162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300b719ca2a51411478f110ad7d055fd70ff8d8b","datavalue":{"value":{"amount":"+0.7892608642578125","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":"Q542846$E12A37E5-4192-47C9-847D-1AD58E5B1008","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An inequality for sums of binary digits, with application to Takagi functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_inequality_for_sums_of_binary_digits,_with_application_to_Takagi_functions"}}}}}