<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">OJDM</journal-id><journal-title-group><journal-title>Open Journal of Discrete Mathematics</journal-title></journal-title-group><issn pub-type="epub">2161-7635</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ojdm.2013.31004</article-id><article-id pub-id-type="publisher-id">OJDM-27368</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Accelerated Series for Riemann Zeta Function at Odd Integer Arguments
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>uuso</surname><given-names>T. Olkkonen</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Hannu</surname><given-names>Olkkonen</given-names></name><xref ref-type="aff" rid="aff2"><sup>2</sup></xref></contrib></contrib-group><aff id="aff2"><addr-line>Department of Applied Physics, University of Eastern Finland, Kuopio, Finland</addr-line></aff><aff id="aff1"><addr-line>VTT Technical Research Centre of Finland, Espoo, Finland</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>juuso.olkkonen@vtt.fi(UTO)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>29</day><month>01</month><year>2013</year></pub-date><volume>03</volume><issue>01</issue><fpage>18</fpage><lpage>20</lpage><history><date date-type="received"><day>August</day>	<month>29,</month>	<year>2012</year></date><date date-type="rev-recd"><day>September</day>	<month>29,</month>	<year>2012</year>	</date><date date-type="accepted"><day>October</day>	<month>12,</month>	<year>2012</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  Riemann zeta function is an important tool in signal analysis and number theory. Applications of the zeta function include e.g. the generation of irrational and prime numbers. In this work we present a new accelerated series for Riemann zeta function. As an application we describe the recursive algorithm for computation of the zeta function at odd integer arguments.
  
 
</p></abstract><kwd-group><kwd>Riemann Zeta Function; Converging Series; Number Theory; Cryptography; Signal Processing; Compressive Sensing</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The Riemann zeta function <img src="4-1200110\46ea86cb-7a8d-4cd0-baaf-474b657084e3.jpg" /> defined as for complex numbers s with <img src="4-1200110\bd34e860-6fd0-4f4c-8519-a166d35260f8.jpg" /></p><disp-formula id="scirp.27368-formula90490"><label>(1)</label><graphic position="anchor" xlink:href="4-1200110\e8ee3f8f-8f53-44ed-b613-4158f4b41b19.jpg"  xlink:type="simple"/></disp-formula><p>has a central role in number theory and appears in many areas of science and technology [<xref ref-type="bibr" rid="scirp.27368-ref1">1</xref>]. The Riemann zeta function is closely related to the prime numbers via (1) and it is an important tool in cryptography. Algorithms for evaluating <img src="4-1200110\277643dc-ee22-471d-bf2f-91fe8dd425ea.jpg" /> are vitally developing initialised by Euler, who invented the basic equation (1). Much of the research effort has been laid to the developing the accelerated series for computation of <img src="4-1200110\84a1e43f-d970-4f18-9a58-5c52f3e31a84.jpg" /> for integer arguments [1-4]. For even s, the Riemann zeta function obeys the general rule<img src="4-1200110\d0a6f4e1-5bf9-46b3-90aa-0a8601fcd9a7.jpg" />, where <img src="4-1200110\9a0c1b32-cc7b-4338-9c56-dcc935c700b1.jpg" /> is an integer. For odd s, no closed form solution for <img src="4-1200110\9740e975-d021-4a43-86a1-444d78003a8a.jpg" /> has been solved and the computational algorithms are usually based on the acceleration of the series (1) by asymptotic expansion with Bernoulli numbers or via Euler's transformation [<xref ref-type="bibr" rid="scirp.27368-ref2">2</xref>]. Recursive algorithms have also presented for evaluation of <img src="4-1200110\fd807cac-33db-43b9-970a-be3c639fcf36.jpg" /> at odd integers [<xref ref-type="bibr" rid="scirp.27368-ref5">5</xref>].</p><p>In this work we describe a new accelerated series for the Riemann zeta function at integer arguments. The main result is involved in Theorem 1.</p><p>Theorem 1: Let us suppose that <img src="4-1200110\b46fca4f-01d6-4a6f-ab57-b9f40e096629.jpg" /> is the Riemann zeta function defined by (1). The following series converges as</p><p><img src="4-1200110\9c94e0d9-2195-45aa-85d0-92ee464c441f.jpg" /></p><p>In Section 2 we give the proof of Theorem 1. In Section 3 we present derivatives of Theorem 1 and describe the method for accelerating the zeta function series given by Theorem 1. In Section 4 we describe the recursive algorithm for evaluation of the Riemann zeta function at integer arguments.</p></sec><sec id="s2"><title>2. Proof of Theorem 1</title><p>We may deduce</p><disp-formula id="scirp.27368-formula90491"><label>(2)</label><graphic position="anchor" xlink:href="4-1200110\d0be4e8e-45f1-4dee-a5e9-c0a28c0b36a7.jpg"  xlink:type="simple"/></disp-formula><p>The series (2) converges very slowly. However, we may write</p><disp-formula id="scirp.27368-formula90492"><label>(3)</label><graphic position="anchor" xlink:href="4-1200110\d817ca76-5be8-4ac3-9a3b-b8e970dd27fd.jpg"  xlink:type="simple"/></disp-formula><p>which has an accelerated convergence. The proof is now completed.</p></sec><sec id="s3"><title>3. Derivatives of Theorem 1</title><p>Lemma 1: For <img src="4-1200110\1c2069bf-fc3e-4ae3-a694-6791394efe5f.jpg" /></p><disp-formula id="scirp.27368-formula90493"><label>(4)</label><graphic position="anchor" xlink:href="4-1200110\e614c74f-5661-42ec-b4d6-d35a8c6169a5.jpg"  xlink:type="simple"/></disp-formula><p>Proof: Similar as Theorem 1.</p><p>Lemma 2: For <img src="4-1200110\e38b1f14-481a-4eef-8979-db48e58cf5fa.jpg" /></p><disp-formula id="scirp.27368-formula90494"><label>(5)</label><graphic position="anchor" xlink:href="4-1200110\cc9aa89c-8bc2-4bad-a261-f6473854ba50.jpg"  xlink:type="simple"/></disp-formula><p>Proof: Follows directly from Lemma 1 by elimination of the first term in series (4).</p><p>Lemma 3:</p><disp-formula id="scirp.27368-formula90495"><label>(6)</label><graphic position="anchor" xlink:href="4-1200110\b3c7c6e9-02fa-448d-a4e9-fa07f3be5edc.jpg"  xlink:type="simple"/></disp-formula><p>Proof: Similar as Theorem 1.</p><p>Lemma 4:</p><disp-formula id="scirp.27368-formula90496"><label>(7)</label><graphic position="anchor" xlink:href="4-1200110\5a99205e-aa22-4e7a-99a6-724b32ffe092.jpg"  xlink:type="simple"/></disp-formula><p>Proof: Follows directly Lemma 3.</p><p>Lemmas 3 and 4 can be generalised as Lemma 5: For <img src="4-1200110\5ea5a94a-f0b3-4166-9f80-50487f905fa7.jpg" /></p><disp-formula id="scirp.27368-formula90497"><label>(8)</label><graphic position="anchor" xlink:href="4-1200110\eedde05a-1f92-412a-9789-9bda44bbe5b5.jpg"  xlink:type="simple"/></disp-formula><p>Lemma 6: For <img src="4-1200110\0c9adedc-2337-4abc-ab1f-7161269e80f9.jpg" /></p><disp-formula id="scirp.27368-formula90498"><label>(9)</label><graphic position="anchor" xlink:href="4-1200110\7834dd1a-08f0-4b72-9255-78e99cfd5bc2.jpg"  xlink:type="simple"/></disp-formula><p>The last series (Lemma 6) can be further generalized as Lemma 7: For <img src="4-1200110\8fc599cf-8883-475a-9af3-6469d1f74ee7.jpg" /> and <img src="4-1200110\e98840ac-351d-4cc6-9d79-1f8099920928.jpg" /></p><disp-formula id="scirp.27368-formula90499"><label>(10)</label><graphic position="anchor" xlink:href="4-1200110\43428ab8-2109-4770-9d22-e261dd1f1cd3.jpg"  xlink:type="simple"/></disp-formula><p>The series can be further accelerated by noting that<img src="4-1200110\93175aec-0628-4431-a64e-32704c2fb0d6.jpg" />. We may write Lemma 7 as</p><p><img src="4-1200110\b948ff6a-fa77-4f09-ae92-7d90abbb18ae.jpg" /></p><p>which gives Lemma 8: For <img src="4-1200110\9ad39706-fbf7-482c-980a-14da4144b3cb.jpg" />and <img src="4-1200110\52f7e97f-299b-4037-98f8-baaa1b30837d.jpg" /></p><disp-formula id="scirp.27368-formula90500"><label>. (11)</label><graphic position="anchor" xlink:href="4-1200110\6cafcfb1-308f-43ef-9844-704ece02c17b.jpg"  xlink:type="simple"/></disp-formula></sec><sec id="s4"><title>4. Recursive Algorithm</title><p>From Lemma 8 we may deduce Lemma 9: For <img src="4-1200110\c507bd65-821a-4312-8890-d44d49a863ef.jpg" /> and <img src="4-1200110\dd4f6105-442f-47e5-8067-6afc5aaced40.jpg" /></p><disp-formula id="scirp.27368-formula90501"><label>(12)</label><graphic position="anchor" xlink:href="4-1200110\69572c2e-c2f3-4d97-a93c-cf7db8c11fa7.jpg"  xlink:type="simple"/></disp-formula><p>The last series can be computed if<img src="4-1200110\708baa9e-c984-4237-b67f-bce7fbd7ead3.jpg" />, <img src="4-1200110\6ee21495-27f4-4281-8e32-eebf96d6e6a5.jpg" />are known. This leads to the fast recursive computation of the zeta function. Especially for <img src="4-1200110\ce156b34-6ab5-4beb-81a5-0774e8963ef2.jpg" /> we obtain the sequential <img src="4-1200110\7fe676fa-b06f-4ecb-bc63-fa3a61843633.jpg" /> values as</p><disp-formula id="scirp.27368-formula90502"><label>(13)</label><graphic position="anchor" xlink:href="4-1200110\a72e9e7c-8697-4e59-b19b-040a786ef4cf.jpg"  xlink:type="simple"/></disp-formula><p>Both series in (13) have accelerated convergence and to obtain the required accuracy only a few previously computed<img src="4-1200110\dcbbc6d3-6501-479d-9594-63981534ce53.jpg" />, <img src="4-1200110\d361c676-f3eb-4f63-9f17-acaadadf32cf.jpg" />values are needed.</p></sec><sec id="s5"><title>5. Discussion</title><p>In this work we present a new accelerated series for Riemann zeta function. The key observation is presented in Theorem 1. The infinite summation of the zeta functions weighted by <img src="4-1200110\06507743-50cf-46f5-9be2-11a67841f970.jpg" /> can be represented by fast converging series. One application is the recursive computation of the zeta function from the sequence of previously known zeta function values. The recursive algorithm can be initialised using (13), which has itself accelerated convergence. Especially in high values of <img src="4-1200110\ff58f319-7050-46e0-b9fd-1f65633e43cd.jpg" />the first series in (13) has high convergence due to the term <img src="4-1200110\d34bf6b5-41e1-493d-aeba-c0529148cd6a.jpg" /> in the denominator.</p><p>The zeta function values for odd integers are generally believed to be irrational, thought consistent proof is given only for <img src="4-1200110\98e03e50-2dd0-4714-9482-12c60ef0b494.jpg" /> [6,7]. The irrational number sequences, which can be easily reproduced from a few parameters are important e.g. in encryption coding. The recursive algorithm (Lemma 9) serves as a good candidate for the irrational number generator, since it requires only two parameters<img src="4-1200110\e1915b07-0d27-4131-80d3-d09563fdce09.jpg" />. By altering the parameters a countless number of irrational number sequences are obtained.</p><p>Recently a close connection with the log-time sampled signals and the zeta function has been observed [<xref ref-type="bibr" rid="scirp.27368-ref8">8</xref>]. The zeta transform allows the analysis and synthesis of the log-time sampled signals for example in compressive sensing applications.</p></sec><sec id="s6"><title>6. Acknowledgements</title><p>This work was supported by the National Technology Agency of Finland (TEKES). The authors would like to thank the anonymous reviewers for their valuable comments.</p></sec><sec id="s7"><title>REFERENCES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.27368-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">J. M. Borwein, D. M. Bradley and R. E. Crandall, “Computational Strategies for the Riemann Zeta Function,” Journal of Computational and Applied Mathematics, Vol. 121, No. 1-2, 2000, pp. 247-296.  
doi:10.1016/S0377-0427(00)00336-8</mixed-citation></ref><ref id="scirp.27368-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">E. Grosswald, “Remarks Concerning the Values of the Riemann Zeta Function at Integral, Odd Arguments,” Journal of Number Theory, Vol. 4, No. 3, 1972, pp. 225-235. doi:10.1016/0022-314X(72)90049-2</mixed-citation></ref><ref id="scirp.27368-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">D. Cvijovi? and J. Klinowski, “Integral Representations of the Riemann Zeta Function for Odd-Integer Arguments,” Journal of Computational and Applied Mathematics, Vol. 142, No. 2, 2002, pp. 435-439.  
doi:10.1016/S0377-0427(02)00358-8 </mixed-citation></ref><ref id="scirp.27368-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">T. Ito, “On an Integral Representation of Special Values of the Zeta Function at Odd Integers,” Journal of Mathematical Society of Japan, Vol. 58, No. 3, 2006, pp. 681-691. doi:10.2969/jmsj/1156342033</mixed-citation></ref><ref id="scirp.27368-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">H. Olkkonen and J. T. Olkkonen, “Fast Converging Series for Riemann Zeta Function,” Open Journal of Discrete Mathematics, Vol. 2, No. 4, 2012, pp. 131-133.  
doi:10.4236/ojdm.2012.24025</mixed-citation></ref><ref id="scirp.27368-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">R. Apéry, “Irrationalité de ζ(2) et ζ(3),” Astérisque, Vol. 61, 1979, pp. 11-13.</mixed-citation></ref><ref id="scirp.27368-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">F. Beukers, “A Note on the Irrationality of ζ(2) and ζ(3),” Bulletin London Mathematical Society, Vol. 11, No. 3, 1979, pp. 268-272. doi:10.1112/blms/11.3.268</mixed-citation></ref><ref id="scirp.27368-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">H. Olkkonen and J. T. Olkkonen, “Log-Time Sampling of Signals: Zeta Transform,” Open Journal of Discrete Mathematics, Vol. 1, No. 2, 2011, pp. 62-65.  
doi:10.4236/ojdm.2011.12008</mixed-citation></ref></ref-list></back></article>