{"entities":{"Q520650":{"pageid":522417,"ns":120,"title":"Item:Q520650","lastrevid":62459181,"modified":"2026-04-11T06:13:58Z","type":"item","id":"Q520650","labels":{"en":{"language":"en","value":"New trigonometric identities and reciprocity laws of generalized Dedekind sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6701597"}},"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":"Q520650$01B155CC-0ABE-485A-8E05-94C6099BA643","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbe059f22c476433995ce5ee6fa81d18bb5e3b48","datavalue":{"value":{"text":"New trigonometric identities and reciprocity laws of generalized Dedekind sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q520650$AD0BE954-2DAA-4CDD-8E46-23F9DBDEB739","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"095e9a1be13b57b26584ff7f8af6112efdb83bc6","datavalue":{"value":"1416.11062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520650$C7FC96D2-6DBA-4125-A4DA-FE5EA22A3D1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b905032a0526fb997a113af170237ee34e9e8a19","datavalue":{"value":{"entity-type":"item","numeric-id":520649,"id":"Q520649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520650$07CD399C-57E5-4116-A8A9-0A506A29CFC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e81735ffae0dc240f9c7908f9071cba228792fc1","datavalue":{"value":{"entity-type":"item","numeric-id":172432,"id":"Q172432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520650$6146F15D-0253-4393-85F0-104C64194382","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"977fe84b040e1e1b28d470666cf1b15c51c4fd04","datavalue":{"value":{"time":"+2017-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q520650$551ECA98-1FF4-43E7-9A28-6CD6140F614A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04b77c04d44248edcc2def463698b1cb99c609f6","datavalue":{"value":"https://arxiv.org/abs/1409.2451","type":"string"},"datatype":"url"},"type":"statement","id":"Q520650$74D4DBEE-C9BB-4592-B84F-BB96FC01C58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6930100b9f692ff0d0aabf4ff6af468a5041b2f","datavalue":{"value":"https://projecteuclid.org/euclid.tjm/1484903126","type":"string"},"datatype":"url"},"type":"statement","id":"Q520650$5E9A9070-06FB-4D8D-BAEE-338B20F94E58","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78285e2e801b674eb92c9fbd60ebd621d3b5c72a","datavalue":{"value":"The author considers a product of the form  \\[ \\prod_{l=1}^{j_I}a_l^{m_l}\\cot^{(m_l-1)}(\\pi(a_lz-w_l))\\prod_{l=j_i+1}^{j_I+j_II} a_l^{m_l}\\csc^{(m_l-1)}(\\pi(a_lz-w_l)) \\]  and obtain some expressions of this by using higher derivatives of the cotangent and cosecant functions, which give various known and also new reciprocity laws of generalized Dedekind sums uniformly from suitable specializations. More precisely, the following theorem holds:   Theorem 3.1. Let \\(r\\in {\\mathbb Z}_{\\geq 2},\\,{a}=(a_1,\\dots,a_r)\\) and \\({m}=(m_1,\\dots,m_r)\\) in \\({\\mathbb Z}_{\\geq 1}^{r},\\,{w}=(w_1,\\dots,w_r)\\) with \\(w_i\\in \\mathcal{R}=\\{z\\in {\\mathbb C}|\\,0\\leq \\text{{Re}}(z)<1\\}\\), and \\({j}=(j_I,\\,j_{II})\\in {\\mathbb Z}_{\\geq 0}^2\\) with \\(j_I+j_{II}=r\\). And also for \\(J=I\\) and \\(II\\), let  \\[ \\begin{aligned} \\varphi_N^{(J)}(z) & =\\frac{1}{z^N}+\\sum_{n=1}^{\\infty}(-1)^{n\\delta_{J,II}} \\left(\\frac{1}{(z+n)^N}+\\frac{1}{(z-n)^N}\\right) =\\frac{(-1)^{N-1}}{(N-1)!}\\left(\\frac{d}{dz}\\right)^{N-1}\\varphi_1^{(J)}(z)\\;,\\\\ \\varphi_N^{({j},l)}(z) & =\\varphi_N^{(I)}(z)\\delta_I^{({j},l)}+ \\varphi_N^{(II)}(z)\\delta_{II}^{({j},l)} \\;\\;\\text{with}\\;\\; \\delta_{I}^{({j},l)}=\\sum_{j=1}^{j_I}\\delta_{j,l}\\;\\,\\text{and} \\;\\;\\delta_{II}^{({j},l)}= \\sum_{j=j_{I}+1}^{j_I+j_{II}}\\delta_{j,l}\\;, \\end{aligned} \\]  and  \\[ \\Phi^{({j})}(z;{a},{m},{w})=\\prod_{l=1}^{r}a_l^{m_l} \\varphi_{m_l}^{({j},l)}(a_lz-w_l). \\]   Then for case \\(J\\),  \\[ \\Phi^{({j})}(z;\\,{a},{m},{w})=\\cos\\left(\\frac{\\pi r}{2}\\right) \\pi^r\\delta_{j_{II},0} \\prod_{l=1}^r a_l\\delta_{m_l,1} +\\sum_{n=1}^{|{m}|}\\sum_{\\rho}\\mathcal{A}_n^{({j},-)}(\\rho;{a},{m},{w}) \\varphi_n^{(J)}(z-\\rho), \\]  where \\(\\rho\\) runs over all poles of \\(\\Phi^{({j})}(z;{a},{m},{w})\\) in \\(\\mathcal{R}\\) and \\(|{m}|=\\sum_{i=1}^r m_i\\). Here  \\[ \\mathcal{A}_n^{({j},-)}(\\rho;{a},{m},{w})=\\sum_{\\Lambda\\in R_{\\rho}} \\sum_{{(\\nu_k)_{k\\in \\Lambda^c}}\\in K_{n,\\Lambda}^{-}}\\prod _{l\\in \\Lambda}\\text{sgn}^{({j},l)}(\\rho;a_l,w_l) \\prod_{u\\in \\Lambda^c}\\{A_{\\nu_u}^{({j},u)}(\\rho;a_u,m_u,w_u)\\}\\;, \\]    \\[ A_{\\nu}^{({j},l)}(\\rho;a,m,w)=A_{\\nu}^{(I)}(\\rho;a,m,w)\\delta_{I}^{({j},l)} +A_{\\nu}^{(II)}(\\rho;a,m,w)\\delta_{II}^{({j},l)}\\;, \\]  and \\(A_{\\nu}^{(J)}(\\rho;a,m,w)\\) is the coefficient of \\((z-\\rho)^{\\nu}\\) in the Laurent expansion around \\(z=\\rho\\) of \\(a^m\\varphi_m^{(J)}(az-w)\\), where \\(R_{\\rho}=\\{\\Lambda\\subset \\{1,\\cdots,r\\}|a_\\lambda\\rho-w_{\\lambda}\\in {\\mathbb Z}\\;\\; \\text{for all}\\;\\lambda\\in \\Lambda\\}\\), \\(\\Lambda^{c}=\\{1,\\cdots,r\\}-\\Lambda\\), \\(K_{n,\\Lambda}^{-}=\\{(\\nu_k)_{k\\in \\Lambda^c}\\in {\\mathbb Z}_{\\geq 0}^{|\\Lambda^c|} |n=-\\sum_{k\\in \\Lambda^c}\\nu_k+\\sum_{\\lambda\\in \\Lambda}m_{\\lambda}\\}\\), and sgn\\(^{({j},l)}(\\rho;a,w)=(-1)^{(a\\rho-w)\\delta_{II}^{({j},l)}}\\,,\\;\\text{if}\\;\\; a\\rho-w\\in {\\mathbb Z}\\,\\text{and}\\;0,\\,\\text{otherwise}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q520650$DA2BF12A-F7F1-4DF3-8440-20E0DD68A803","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cae2130ecc41e73a19471ab0da1fd5dba9e06370","datavalue":{"value":{"entity-type":"item","numeric-id":241613,"id":"Q241613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q520650$D2EF0723-A91E-4217-9D29-27A341D8ED8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"76c61979e4c3d4177dcdda5982fb7e1952a991fc","datavalue":{"value":"11F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520650$C7234FE3-FA7F-4A02-9F57-478884D8F196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3c9277fbe5307a20b8489a5d855d248450d486a","datavalue":{"value":"11L03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520650$A3751DE6-BB53-4D92-9F69-92D283318D26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51a65f151d78707b04bba99588171fca28e68473","datavalue":{"value":"6701597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520650$B9B4F569-5411-42D7-A9E8-0D44797283DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa2da70f841b0834270af491657fd23e56ba206f","datavalue":{"value":"Dedekind sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q520650$ADD5D5B1-B61F-468F-8233-822F4FB637E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57bef12e60c6d0fd470f0b03a402880624cbd6e","datavalue":{"value":"Dedekind cotangent sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q520650$2780AF41-C456-4981-B5F8-79E9BACB6211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c630724ea7e955fabcaa9606ca19939993205a66","datavalue":{"value":"reciprocity law","type":"string"},"datatype":"string"},"type":"statement","id":"Q520650$74015AF8-5882-4E3D-9561-F1D3ABBB3F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8046b04ed848c4ba96d461dc29e0ba4318d8cee1","datavalue":{"value":"trigonometric identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q520650$DEB28A69-D17F-4861-B989-34631F891332","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":"Q520650$FC271D2A-C7C0-4D26-A5A6-A22696F4C798","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47ef32eaad7cca2cdfd3f06108595c33aebdecd0","datavalue":{"value":"W2962925706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520650$C8D3513C-7750-46A7-A1A8-174CAF338642","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e133b832004083575e8351b7307a14a60fd713a","datavalue":{"value":"10.3836/TJM/1484903126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q520650$4D62B464-9054-4507-BA30-CD8C144ED0DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df0915d44b11531b21bf0c53d8d16aeb69fc62d8","datavalue":{"value":{"entity-type":"item","numeric-id":1429180,"id":"Q1429180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5264f99f863c19e36272d0065300d4f9707c54","datavalue":{"value":{"amount":"+0.8748454451560974","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":"Q520650$7F2DD016-123D-4F96-A622-B43EC9B27EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d1deaef9c575edfe4e91a0133d5a2446e2c6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1866176,"id":"Q1866176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d80328b1438a9acfe9dee4128327299e7551bb5","datavalue":{"value":{"amount":"+0.8315698504447937","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":"Q520650$18E3E1F0-A22F-4F35-87B3-4E2E89F5403E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d044a146a160df523a8551240ef0e6f05a4e137","datavalue":{"value":{"entity-type":"item","numeric-id":1065844,"id":"Q1065844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff58487549c94d2abf93078cea0dd69ce269d74d","datavalue":{"value":{"amount":"+0.8284669518470764","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":"Q520650$E1D30F14-4ED2-4D23-91DA-FE1FA9CFC4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272609c48ab117440dc56b895ae092a1b7052d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4484441,"id":"Q4484441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6311ece15bd881c1adfff75d17145ef776b7a30d","datavalue":{"value":{"amount":"+0.8193411231040955","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":"Q520650$054E444D-F656-4155-A8F4-4A81167D4765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c154c2fcc7ab9d64ab17a93298566614cdd878","datavalue":{"value":{"entity-type":"item","numeric-id":2372799,"id":"Q2372799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e8ab6cbf669fb57c8103543b77235e4ac2ba7b","datavalue":{"value":{"amount":"+0.8186439871788025","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":"Q520650$E2F4959E-D486-4332-96C6-A03264CF2D06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"New trigonometric identities and reciprocity laws of generalized Dedekind sums","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/New_trigonometric_identities_and_reciprocity_laws_of_generalized_Dedekind_sums"}}}}}