<?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">APM</journal-id><journal-title-group><journal-title>Advances in Pure Mathematics</journal-title></journal-title-group><issn pub-type="epub">2160-0368</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/apm.2016.65026</article-id><article-id pub-id-type="publisher-id">APM-65860</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>
 
 
  The Towering Zeta Function
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>ichael</surname><given-names>M. Anthony</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Enertron Corp., Hohenwald, TN, USA</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>uinvent@aol.com</email></corresp></author-notes><pub-date pub-type="epub"><day>31</day><month>03</month><year>2016</year></pub-date><volume>06</volume><issue>05</issue><fpage>351</fpage><lpage>392</lpage><history><date date-type="received"><day>18</day>	<month>November</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>23</month>	<year>April</year>	</date><date date-type="accepted"><day>26</day>	<month>April</month>	<year>2016</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><html>
 <head></head>
 
  Over a century and half has passed when Bernhard Riemann hypothesized that the non-trivial roots of the Riemann zeta function 
  ζ(
  s)
   all lie on the half-line 
  <img src="Edit_3e13724e-5042-4a0c-9041-f49fe68aeb07.bmp" alt="" />. In this paper the Zeta function is iterated as a power tower and its properties are applied as an approach to an indication that the Riemann hypothesis might be true. It is known that complex valued Power towers converge under certain conditions to exponential power towers of entire functions. These properties can be used to resolve the Riemann Hypothesis.
 
</html></p></abstract><kwd-group><kwd>Riemann Hypothesis</kwd><kwd> Zeta</kwd><kwd> Power Towers</kwd><kwd> Convergence</kwd><kwd> Exponential Iterations</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The Zeta function seems to be the pyramid that holds the number systems together in a towering edifice of combinatorial relations.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x7.png" xlink:type="simple"/></inline-formula> denote the complex numbers. They form a two-dimensional real vector space spanned by 1 and i where i is a fixed square root of −1, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x8.png" xlink:type="simple"/></inline-formula> belong are real numbers, i.e.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x9.png" xlink:type="simple"/></inline-formula>. The Riemann Zeta function is a complex variable function defined as</p><disp-formula id="scirp.65860-formula3475"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x10.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3476"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x17.png"  xlink:type="simple"/></disp-formula><p>Here, p is a prime. Except for a pole at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x18.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x19.png" xlink:type="simple"/></inline-formula>behaves properly and can be easily extended using the Gamma function. The extension of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x20.png" xlink:type="simple"/></inline-formula> to the entire complex plane can be obtained by consideration the entirety and the general definition of the Gamma function:</p><disp-formula id="scirp.65860-formula3477"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x21.png"  xlink:type="simple"/></disp-formula><p>Change variables by the substitution<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x22.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x23.png" xlink:type="simple"/></inline-formula>, in (3),</p><disp-formula id="scirp.65860-formula3478"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x24.png"  xlink:type="simple"/></disp-formula><p>Extracting <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x25.png" xlink:type="simple"/></inline-formula> from (4),</p><disp-formula id="scirp.65860-formula3479"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x26.png"  xlink:type="simple"/></disp-formula><p>The convergence of the series,</p><disp-formula id="scirp.65860-formula3480"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x27.png"  xlink:type="simple"/></disp-formula><p>in the interval <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x28.png" xlink:type="simple"/></inline-formula> gives the relation:</p><disp-formula id="scirp.65860-formula3481"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x29.png"  xlink:type="simple"/></disp-formula><p>This can be split into two separate integrals,</p><disp-formula id="scirp.65860-formula3482"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x30.png"  xlink:type="simple"/></disp-formula><p>Note that the sum (6) is related to the Jacobi Theta function. See Ref. [<xref ref-type="bibr" rid="scirp.65860-ref1">1</xref>]</p><disp-formula id="scirp.65860-formula3483"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x31.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3484"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x32.png"  xlink:type="simple"/></disp-formula><p>The Jacobi theta function obeys the symmetry</p><disp-formula id="scirp.65860-formula3485"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x33.png"  xlink:type="simple"/></disp-formula><p>Thus<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x34.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.65860-formula3486"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x35.png"  xlink:type="simple"/></disp-formula><p>The integral (8.0) now becomes</p><disp-formula id="scirp.65860-formula3487"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x36.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3488"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x37.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3489"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x38.png"  xlink:type="simple"/></disp-formula><p>The right side of the relation (15.0) is invariant to the substitution<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x39.png" xlink:type="simple"/></inline-formula>. This gives the reflection formula for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x40.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.65860-formula3490"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x41.png"  xlink:type="simple"/></disp-formula><p>The reflection formula indicates that the roots should obey a reflection and conjugate symmetry if they lie on the 1/2-line.</p><p>One can also study the maxima and minima of infinite products powers by looking at the functions that approximate the ζ-function.</p><p>Proposition 2: The Zeta function is related to power towers.</p><p>Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x42.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.65860-formula3491"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x43.png"  xlink:type="simple"/></disp-formula><p>The <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x44.png" xlink:type="simple"/></inline-formula> function can be written as a series in powers of n, where n is an integer, in the form:</p><disp-formula id="scirp.65860-formula3492"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x45.png"  xlink:type="simple"/></disp-formula><p>where, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x46.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x47.png" xlink:type="simple"/></inline-formula>.</p><p>Note that in (21), as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x48.png" xlink:type="simple"/></inline-formula> the minimum value of the terms for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x49.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.65860-formula3493"><label>(19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x50.png"  xlink:type="simple"/></disp-formula><p>is when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x51.png" xlink:type="simple"/></inline-formula>, but has repeated values for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x52.png" xlink:type="simple"/></inline-formula>, at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x53.png" xlink:type="simple"/></inline-formula>, since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x54.png" xlink:type="simple"/></inline-formula>. One can also write the Zeta func-</p><p>tion as follows:</p><disp-formula id="scirp.65860-formula3494"><label>(20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x55.png"  xlink:type="simple"/></disp-formula><p>From numerical calculations, the minima and maxima of the real and the complex parts of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x56.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x57.png" xlink:type="simple"/></inline-formula>, occurs when n = 3. This is due to the fact that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x58.png" xlink:type="simple"/></inline-formula>. One sees that something special is happening</p><p>between these three points, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x59.png" xlink:type="simple"/></inline-formula>for the functions that define<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x60.png" xlink:type="simple"/></inline-formula>. The graphs in <xref ref-type="fig" rid="fig1">Figure 1</xref>, <xref ref-type="fig" rid="fig2">Figure 2</xref>, and <xref ref-type="fig" rid="fig3">Figure 3</xref> show the relationship of these points and they are tied together by the fact that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x61.png" xlink:type="simple"/></inline-formula>.</p><p>One can see that all three functions are somewhat related by the relation s:</p><disp-formula id="scirp.65860-formula3495"><label>(21)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x62.png"  xlink:type="simple"/></disp-formula><p>This is true for the functions,</p><disp-formula id="scirp.65860-formula3496"><label>(22)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x63.png"  xlink:type="simple"/></disp-formula><fig id="fig1"  position="float"><label><xref ref-type="fig" rid="fig1">Figure 1</xref></label><caption><title> Shows that the minimum values of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x65.png" xlink:type="simple"/></inline-formula> verus n is close to e</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/7-5301015x64.png"/></fig><fig id="fig2"  position="float"><label><xref ref-type="fig" rid="fig2">Figure 2</xref></label><caption><title> Shows the maximum value of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x67.png" xlink:type="simple"/></inline-formula> is again exp (1)</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/7-5301015x66.png"/></fig><fig id="fig3"  position="float"><label><xref ref-type="fig" rid="fig3">Figure 3</xref></label><caption><title> Shows the graphs of the real component <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x69.png" xlink:type="simple"/></inline-formula> of the Zeta function. Again one sees that the minimum is at exp(1)</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/7-5301015x68.png"/></fig><p>One finds that these functions have their maxima and their minima in the range,</p><disp-formula id="scirp.65860-formula3497"><label>(23)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x70.png"  xlink:type="simple"/></disp-formula><p>This is exactly the range where real power towers converge. I will use this later when I discuss power towers.</p></sec><sec id="s2"><title>2. Relationship of the Riemann Zeta Function to Power Towers</title><p>Power towers have been studied extensively. I start by describing power towers following some conventional methods that have been used by Knuth Ref. [<xref ref-type="bibr" rid="scirp.65860-ref2">2</xref>] and others.</p><p>DEFINITION 1</p><p>Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x71.png" xlink:type="simple"/></inline-formula>. A power tower is defined as a follows:</p><disp-formula id="scirp.65860-formula3498"><label>(24)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x72.png"  xlink:type="simple"/></disp-formula><p>Here, I am using the Knuth notation for the tower of powers raised n times. See Ref. [<xref ref-type="bibr" rid="scirp.65860-ref2">2</xref>] .</p><p>DEFINITION 2</p><disp-formula id="scirp.65860-formula3499"><label>(25)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x73.png"  xlink:type="simple"/></disp-formula><p>I have used the case <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x74.png" xlink:type="simple"/></inline-formula> as the argument itself, although in the literature most authors start with the definition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x75.png" xlink:type="simple"/></inline-formula></p><p>It is understood that such a power tower is iterated from some past argument to its present argument. By past I mean, the values that would have occurred in an iteration of the function that lead the iteration to its present value.</p><p>DEFINITION 3. If the limit of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x76.png" xlink:type="simple"/></inline-formula> exists then define it as follows:</p><disp-formula id="scirp.65860-formula3500"><label>(26)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x77.png"  xlink:type="simple"/></disp-formula><p>DEFINITION 4. For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x78.png" xlink:type="simple"/></inline-formula> define the future power tower as the iterates starting from the present value <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x79.png" xlink:type="simple"/></inline-formula> as the first value that leads to a future <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x80.png" xlink:type="simple"/></inline-formula> value. Symbolically,</p><disp-formula id="scirp.65860-formula3501"><label>(27)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x81.png"  xlink:type="simple"/></disp-formula><p>It is understood that such a power tower is iterated from its present state to some future value. By future I mean the argument values that will occur in an iteration of the function from its present value to some future value.</p><p>DEFINITION 5. The complex Lambert W function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x82.png" xlink:type="simple"/></inline-formula> solves for the equation:</p><disp-formula id="scirp.65860-formula3502"><label>(28)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x83.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x84.png" xlink:type="simple"/></inline-formula>is multi-valued and as has many branches with the usual notation for the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x85.png" xlink:type="simple"/></inline-formula> branch as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x86.png" xlink:type="simple"/></inline-formula>, with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x87.png" xlink:type="simple"/></inline-formula> for the branch chosen. The principal branch of the function is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x88.png" xlink:type="simple"/></inline-formula> and for real arguments, the function is denoted by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x89.png" xlink:type="simple"/></inline-formula>. See Refs. [<xref ref-type="bibr" rid="scirp.65860-ref3">3</xref>] - [<xref ref-type="bibr" rid="scirp.65860-ref5">5</xref>] . The branch points of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x90.png" xlink:type="simple"/></inline-formula> take on real values only for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x91.png" xlink:type="simple"/></inline-formula> The function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x92.png" xlink:type="simple"/></inline-formula>, satisfies, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x93.png" xlink:type="simple"/></inline-formula>for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x84.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x90.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x92.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x94.png" xlink:type="simple"/></inline-formula> The only</p><p>other branch point that has real values is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x95.png" xlink:type="simple"/></inline-formula> which lies in the range<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x96.png" xlink:type="simple"/></inline-formula>. Curves other than the semi-line, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x96.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x97.png" xlink:type="simple"/></inline-formula>can be described by the parametric curves,</p><disp-formula id="scirp.65860-formula3503"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x98.png"  xlink:type="simple"/></disp-formula><p>These are subsets of the “Quadratrix of Hippias”.</p><p>Since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x99.png" xlink:type="simple"/></inline-formula>, the real values of the function occur at the branch points<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x99.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x100.png" xlink:type="simple"/></inline-formula>.</p><p>Consider the function,</p><disp-formula id="scirp.65860-formula3504"><label>(29)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x101.png"  xlink:type="simple"/></disp-formula><p>Let</p><disp-formula id="scirp.65860-formula3505"><label>(30)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x102.png"  xlink:type="simple"/></disp-formula><p>Proof:</p><disp-formula id="scirp.65860-formula3506"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x105.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3507"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x106.png"  xlink:type="simple"/></disp-formula><p>Using the Lambert W-function, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x107.png" xlink:type="simple"/></inline-formula>, for the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x108.png" xlink:type="simple"/></inline-formula> branch point,</p><disp-formula id="scirp.65860-formula3508"><label>(31)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x109.png"  xlink:type="simple"/></disp-formula><p>Obviously, z is constant over the range of values of c that satisfy the relation (31), thus the fixed points of the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x110.png" xlink:type="simple"/></inline-formula> are,</p><disp-formula id="scirp.65860-formula3509"><label>(32)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x111.png"  xlink:type="simple"/></disp-formula><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x112.png" xlink:type="simple"/></inline-formula> the sequence <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x112.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x113.png" xlink:type="simple"/></inline-formula> converge to fixed points that satisfy (32) and exponential</p><p>function of z, as will be seen later. For real values of x, the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x114.png" xlink:type="simple"/></inline-formula> only converges within the range of validity</p><disp-formula id="scirp.65860-formula3510"><label>(33)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x115.png"  xlink:type="simple"/></disp-formula><p>How does this relate to the iterations of the Zeta function?</p><p>DEFINITION 6: Define an iterated exponential as the Towering Zeta function:</p><disp-formula id="scirp.65860-formula3511"><label>(34)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x116.png"  xlink:type="simple"/></disp-formula><p>Here, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x117.png" xlink:type="simple"/></inline-formula>is defined as a future iterated exponential by taking the ζ-value of (z) and then taking the ζ-value of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x117.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x118.png" xlink:type="simple"/></inline-formula> and repeating this process n-times. The arrow shows the direction of iteration of Towering Zeta functions and the arrow → means take increasing nests of ζ values of prior Zeta values to obtain a new future value.</p><p>DEFINITION 7: Define the inverse past iterated exponential of the Towering Zeta function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x119.png" xlink:type="simple"/></inline-formula>, as follows:</p><disp-formula id="scirp.65860-formula3512"><label>(35)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x120.png"  xlink:type="simple"/></disp-formula><p>Here the arrow ← means take decreasing past nests of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x121.png" xlink:type="simple"/></inline-formula> where the inverse-zeta function is one of the set of infinite solutions to the equation, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x122.png" xlink:type="simple"/></inline-formula>and so</p><disp-formula id="scirp.65860-formula3513"><label>(36)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x123.png"  xlink:type="simple"/></disp-formula><p>Since the solutions to (36) are multivalued, we wish to fix particular solutions that will revert the function values back to original values from its inverse values.</p><p>Start with the reflection formula:</p><disp-formula id="scirp.65860-formula3514"><label>(37)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x124.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3515"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x125.png"  xlink:type="simple"/></disp-formula><p>where,</p><disp-formula id="scirp.65860-formula3516"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x126.png"  xlink:type="simple"/></disp-formula><p>Let there be solutions<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x127.png" xlink:type="simple"/></inline-formula>, such that</p><disp-formula id="scirp.65860-formula3517"><label>(38)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x128.png"  xlink:type="simple"/></disp-formula><p>Then the infinite number of possible inverse-solutions are paired as follows:</p><disp-formula id="scirp.65860-formula3518"><label>(39)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x129.png"  xlink:type="simple"/></disp-formula><p>Then these particular solutions of the function obeys the rules:</p><disp-formula id="scirp.65860-formula3519"><label>(40)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x130.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3520"><label>(41)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x131.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3521"><label>(42)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x132.png"  xlink:type="simple"/></disp-formula><p>For example, if only consider<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x133.png" xlink:type="simple"/></inline-formula>, then there exists a sequence of constants <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x133.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x134.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.65860-formula3522"><label>(43)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x135.png"  xlink:type="simple"/></disp-formula><p>One can expand these functions as follows:</p><disp-formula id="scirp.65860-formula3523"><label>(44)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x136.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3524"><label>(45)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x137.png"  xlink:type="simple"/></disp-formula><p>As another general example,</p><disp-formula id="scirp.65860-formula3525"><label>(46)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x138.png"  xlink:type="simple"/></disp-formula><p>This can be converted to a product form:</p><disp-formula id="scirp.65860-formula3526"><label>(47)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x139.png"  xlink:type="simple"/></disp-formula><p>Here, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x140.png" xlink:type="simple"/></inline-formula>are independent integers. In general,</p><disp-formula id="scirp.65860-formula3527"><label>(48)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x141.png"  xlink:type="simple"/></disp-formula><p>Thus, taking</p><disp-formula id="scirp.65860-formula3528"><label>(49)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x142.png"  xlink:type="simple"/></disp-formula><p>Then,</p><disp-formula id="scirp.65860-formula3529"><label>(50)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x143.png"  xlink:type="simple"/></disp-formula><p>Thus, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x144.png" xlink:type="simple"/></inline-formula>is a power tower that can be put in the general form:</p><disp-formula id="scirp.65860-formula3530"><label>(51)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x145.png"  xlink:type="simple"/></disp-formula><p>This however is only valid for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x146.png" xlink:type="simple"/></inline-formula>.</p><p>Now consider the same power towers in terms of primes.</p><p>In terms of primes, let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x147.png" xlink:type="simple"/></inline-formula> be the<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x148.png" xlink:type="simple"/></inline-formula>, prime with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x147.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x148.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x149.png" xlink:type="simple"/></inline-formula>. Then,</p><disp-formula id="scirp.65860-formula3531"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x150.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3532"><label>(52)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x151.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3533"><label>(53)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x152.png"  xlink:type="simple"/></disp-formula><p>Thus, taking</p><disp-formula id="scirp.65860-formula3534"><label>(54)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x153.png"  xlink:type="simple"/></disp-formula><p>The Zeta power tower in terms of primes becomes the simple form:</p><disp-formula id="scirp.65860-formula3535"><label>(55)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x154.png"  xlink:type="simple"/></disp-formula></sec><sec id="s3"><title>3. Convergence of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x155.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x155.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x156.png" xlink:type="simple"/></inline-formula></title><p>Consider the extended Zeta function,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x157.png" xlink:type="simple"/></inline-formula>.</p><disp-formula id="scirp.65860-formula3536"><label>(56)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x158.png"  xlink:type="simple"/></disp-formula><p>Then,</p><disp-formula id="scirp.65860-formula3537"><label>(57)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x159.png"  xlink:type="simple"/></disp-formula><p>Using this,</p><disp-formula id="scirp.65860-formula3538"><label>(58)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x160.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3539"><label>(59)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x161.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3540"><label>(60)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x162.png"  xlink:type="simple"/></disp-formula><p>Further,</p><disp-formula id="scirp.65860-formula3541"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x163.png"  xlink:type="simple"/></disp-formula><p>Thus, taking,</p><disp-formula id="scirp.65860-formula3542"><label>(61)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x164.png"  xlink:type="simple"/></disp-formula><p>The iterated zeta function becomes:</p><disp-formula id="scirp.65860-formula3543"><label>(62)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x165.png"  xlink:type="simple"/></disp-formula><p>Note that</p><disp-formula id="scirp.65860-formula3544"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x166.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3545"><label>(63)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x167.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3546"><label>(64)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x168.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3547"><label>(65)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x169.png"  xlink:type="simple"/></disp-formula><p>This is just the relation for the general zeta function:</p><disp-formula id="scirp.65860-formula3548"><label>(66)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x170.png"  xlink:type="simple"/></disp-formula><p>One sees that this is also a power tower product but this time the sum and the product operators are doubled. Thus the iterated exponential power tower of the zeta function for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x171.png" xlink:type="simple"/></inline-formula> can be separated into the product of two power towers:</p><disp-formula id="scirp.65860-formula3549"><label>(67)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x172.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3550"><label>(68)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x173.png"  xlink:type="simple"/></disp-formula><p>Since the raising power is not over the entire product, this becomes difficult to write in the general Knuth form. The future iterates of the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x174.png" xlink:type="simple"/></inline-formula> converges to a constant whenever there exists some root of the Towering Zeta function, that satisfies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x174.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x175.png" xlink:type="simple"/></inline-formula>. Thus, all the arguments that lead to a root are unique and no periods of the function can exist in the past iterations. This does not exclude close to periodic regions. This subject has been extensively studied in Julia Sets theory.</p><disp-formula id="scirp.65860-formula3551"><label>(69)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x176.png"  xlink:type="simple"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x177.png" xlink:type="simple"/></inline-formula> be a root of the Zeta function. Then, the future iterates<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x177.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x178.png" xlink:type="simple"/></inline-formula>, converge toconstants over all arguments.</p><disp-formula id="scirp.65860-formula3552"><label>(70)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x179.png"  xlink:type="simple"/></disp-formula><p>Obviously, the function vanishes for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x180.png" xlink:type="simple"/></inline-formula> also.</p><p>When the function is continued over values of k for a given root, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x181.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.65860-formula3553"><label>(71)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x182.png"  xlink:type="simple"/></disp-formula><p>This can be seen when the function is taken to the limit, and becomes an image of itself.</p><disp-formula id="scirp.65860-formula3554"><label>(72)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x183.png"  xlink:type="simple"/></disp-formula><p>The solutions to the relation<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x184.png" xlink:type="simple"/></inline-formula>, for can be obtained if one takes</p><disp-formula id="scirp.65860-formula3555"><label>(73)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x185.png"  xlink:type="simple"/></disp-formula><p>Thus <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x186.png" xlink:type="simple"/></inline-formula> converges for real values when n is large and obviously the power tower product converges to the constant function,</p><disp-formula id="scirp.65860-formula3556"><label>(74)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x187.png"  xlink:type="simple"/></disp-formula><p>If there appears an argument<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x188.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x189.png" xlink:type="simple"/></inline-formula> is the fixed point and the real limit of the function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x190.png" xlink:type="simple"/></inline-formula>, when <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x190.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x191.png" xlink:type="simple"/></inline-formula> is a root of the Zeta function. The convergence becomes real and the complex part of the arguments vanish. A plot of these values for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x190.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x191.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x192.png" xlink:type="simple"/></inline-formula> is shown in <xref ref-type="fig" rid="fig4">Figure 4</xref> for the converging values. Thus <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x188.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x190.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x191.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x192.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x193.png" xlink:type="simple"/></inline-formula> is a super attractor for all roots of the Zeta function.</p><p>Any roots <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x194.png" xlink:type="simple"/></inline-formula> of the Zeta function that appears in any iteration of the function at the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x195.png" xlink:type="simple"/></inline-formula> term, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x196.png" xlink:type="simple"/></inline-formula>, will converge the function,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x197.png" xlink:type="simple"/></inline-formula>. The functions of the infinite iterative form:</p><disp-formula id="scirp.65860-formula3557"><label>(75)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x198.png"  xlink:type="simple"/></disp-formula><p>have certain attracting and repelling values, and are sometimes periodic with respect to n. If one takes roots <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x199.png" xlink:type="simple"/></inline-formula> of the function as a starting point one finds that the function generates constants for each value of n, such that:</p><disp-formula id="scirp.65860-formula3558"><label>(76)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x200.png"  xlink:type="simple"/></disp-formula><fig id="fig4"  position="float"><label><xref ref-type="fig" rid="fig4">Figure 4</xref></label><caption><title> Shows the oscillations for convergence of iterates from a root</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/7-5301015x201.png"/></fig><p>Then, for all roots <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x202.png" xlink:type="simple"/></inline-formula> of the zeta function, there exists a unique sequence of real constants that are invariant with respect to all the roots and that converge to the same value,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x203.png" xlink:type="simple"/></inline-formula>. The plots below show examples of how the function’s values change for the real arguments generated by some complex roots.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x204.png" xlink:type="simple"/></inline-formula>, is the vertical axis as n changes (horizontal axis) for various indicated values of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x205.png" xlink:type="simple"/></inline-formula> One can see that the function has alternating maxima and minima at integer values of n with the lowest value occurring again at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x205.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x206.png" xlink:type="simple"/></inline-formula>. This is again due to that fact that the function converges to a constant for all roots as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x205.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x207.png" xlink:type="simple"/></inline-formula>.</p><p>One can surmise that any root <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x208.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x209.png" xlink:type="simple"/></inline-formula> vanishes will generate a convergent sequence of real arguments<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x210.png" xlink:type="simple"/></inline-formula>, for the functions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x211.png" xlink:type="simple"/></inline-formula> such that</p><disp-formula id="scirp.65860-formula3559"><label>(77)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x212.png"  xlink:type="simple"/></disp-formula><p>Assuming the Riemann Hypothesis, there is a symmetry between the real parts of the known complex roots s, of the function about zero:</p><disp-formula id="scirp.65860-formula3560"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x213.png"  xlink:type="simple"/></disp-formula><p>This symmetry is due to the fact that at any point in a large number of iterations where a root<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x214.png" xlink:type="simple"/></inline-formula>, one could replace zero of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x214.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x215.png" xlink:type="simple"/></inline-formula> with the equivalence,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x214.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x215.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x216.png" xlink:type="simple"/></inline-formula>;</p><disp-formula id="scirp.65860-formula3561"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x217.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3562"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x218.png"  xlink:type="simple"/></disp-formula><p>This implies that the convergence of the iterations of functions must be symmetric about a zero of the function as implied by the mean value theorem mention earlier.</p><p>It is worth noting that the complex parts of iterates of the complex arguments result in real arguments if the products of the components of the iterates is real. Thus the roots are expected to be composed of a spectrum of complex factors whose iterates are real since they result in a quadratic convergence to the real values due to the symmetry of the reflection formula.</p></sec><sec id="s4"><title>4. Convergence of the Riemann-Zeta Function for Complex Values</title><p>Let Z belong to integers and Z<sup>+</sup> to the subset of positive integers. Any sequence of arguments can be created by functional iteration. Let function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x219.png" xlink:type="simple"/></inline-formula>, with an initial value<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x220.png" xlink:type="simple"/></inline-formula>. The sequence obtained <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x221.png" xlink:type="simple"/></inline-formula> can yield periodic m-cycles <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x222.png" xlink:type="simple"/></inline-formula> for some<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x222.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x223.png" xlink:type="simple"/></inline-formula>. A critical periodic point <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x222.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x224.png" xlink:type="simple"/></inline-formula> can be classified depending on the value of the derivatives,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x221.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x222.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x225.png" xlink:type="simple"/></inline-formula>. Such points are studied in Fractals, Chaos theory, Attracting Periodic Cycles, and in Mandelbrot Sets, using Newton approximations and this critical point is classified as</p><disp-formula id="scirp.65860-formula3563"><label>(78)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x226.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3564"><label>(79)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x230.png"  xlink:type="simple"/></disp-formula><p>Then, the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x231.png" xlink:type="simple"/></inline-formula> has the following properties.</p><p>・ If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x232.png" xlink:type="simple"/></inline-formula> is a periodic point of period m, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x233.png" xlink:type="simple"/></inline-formula>, if and only if m divides p. This product is referred to as the multiplier of a periodic point z of period p. Since the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x234.png" xlink:type="simple"/></inline-formula> lie on a cycle,</p><disp-formula id="scirp.65860-formula3565"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x235.png"  xlink:type="simple"/></disp-formula><p>・ If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x236.png" xlink:type="simple"/></inline-formula> is a periodic point of period m, then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x237.png" xlink:type="simple"/></inline-formula>if and only if m divides<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x238.png" xlink:type="simple"/></inline-formula>.</p><p>LEMMA 2: If s is a root of the Zeta function, then the Towering Zeta function, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x239.png" xlink:type="simple"/></inline-formula>for finite values of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x240.png" xlink:type="simple"/></inline-formula>, unless either<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x241.png" xlink:type="simple"/></inline-formula>, or <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x242.png" xlink:type="simple"/></inline-formula> when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x240.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x243.png" xlink:type="simple"/></inline-formula>.</p><p>Proof: The case <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x244.png" xlink:type="simple"/></inline-formula> is trivial for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x245.png" xlink:type="simple"/></inline-formula>. Suppose there exists some<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x246.png" xlink:type="simple"/></inline-formula>, where r is a positive integer. Then there exists some</p><disp-formula id="scirp.65860-formula3566"><label>(80)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x247.png"  xlink:type="simple"/></disp-formula><p>i.e. there exists a sequence of arguments,</p><disp-formula id="scirp.65860-formula3567"><label>(81)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x248.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3568"><label>(82)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x249.png"  xlink:type="simple"/></disp-formula><p>Then,</p><disp-formula id="scirp.65860-formula3569"><label>(83)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x250.png"  xlink:type="simple"/></disp-formula><p>The iterated exponential that generates a root<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x251.png" xlink:type="simple"/></inline-formula>, must satisfy all roots independently, since if for some r, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x252.png" xlink:type="simple"/></inline-formula>is a root of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x253.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x254.png" xlink:type="simple"/></inline-formula> must generate a particular sequence of real arguments in a future sequence of arguments that must converge to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x255.png" xlink:type="simple"/></inline-formula>, as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x256.png" xlink:type="simple"/></inline-formula>, i.e., <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x254.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x257.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x258.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x259.png" xlink:type="simple"/></inline-formula>Such a sequence of real arguments cannot generate another complex root in the future direction. As an aside, Little wood showed that if the sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x260.png" xlink:type="simple"/></inline-formula>, contains all the imaginary parts of all zeros in the upper half-plane in ascending order, then,</p><disp-formula id="scirp.65860-formula3570"><label>(84)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x261.png"  xlink:type="simple"/></disp-formula><p>There cannot exist such a sequence of roots in the past or future arguments of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x262.png" xlink:type="simple"/></inline-formula> since when a root is encountered the sequence of arguments converge and never goes to zero but once. However, considering the fact that the Zeta function is multivalued at the roots, any root could be used in the future of a Zero, and as such a product of all roots following the Hadamard product for the Zeta function can be used in the future of a Zero of the function.</p><disp-formula id="scirp.65860-formula3571"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x263.png"  xlink:type="simple"/></disp-formula><p>The Towering Zeta function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x264.png" xlink:type="simple"/></inline-formula> can in fact have an infinite number of convergence points in all its roots. All roots converge the function to the real line from the complex plane (<xref ref-type="fig" rid="fig5">Figure 5</xref>).</p><p>Starting from a given root, the future iterations of the Towering Zeta function function over successive arguments that start from a root will lead to a convergence for every root. <xref ref-type="table" rid="table1">Table 1</xref> shows the iterations from a root s in an upward future trend toward convergence to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x265.png" xlink:type="simple"/></inline-formula>. However starting from some past iteration, there exist an infinite number of roots that could be generated by a past iteration through zero.</p><p><xref ref-type="table" rid="table1">Table 1</xref> shows successive past values of arguments for the roots, that solve the iterated relation,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x266.png" xlink:type="simple"/></inline-formula>, where n runs up the tables in a future direction, i.e. arguments of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x267.png" xlink:type="simple"/></inline-formula> lead to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x268.png" xlink:type="simple"/></inline-formula>. As can be seen from <xref ref-type="table" rid="table1">Table 1</xref>, the function can become almost oscillatory for some values of negative roots. Values down the table are arguments that can generate roots as starting arguments of successive values of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x269.png" xlink:type="simple"/></inline-formula>.</p><fig id="fig5"  position="float"><label><xref ref-type="fig" rid="fig5">Figure 5</xref></label><caption><title> Shows the convergence from positive complex roots of the function to the real line</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/7-5301015x270.png"/></fig><table-wrap id="table1" ><label><xref ref-type="table" rid="table1">Table 1</xref></label><caption><title> Iterations of the roots of the Towering Zeta Function over real arguments</title></caption><table><tbody><thead><tr><th align="center" valign="middle"  colspan="2"  ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x271.png" xlink:type="simple"/></inline-formula></th></tr></thead><tr><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x272.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x273.png" xlink:type="simple"/></inline-formula></td></tr><tr><td align="center" valign="middle" >:</td><td align="center" valign="middle" >:</td></tr><tr><td align="center" valign="middle" >17</td><td align="center" valign="middle" >−0.29595806723778959429546880727279905000000000000000</td></tr><tr><td align="center" valign="middle" >16</td><td align="center" valign="middle" >−0.29580152831200018096290646344253482702467849073213</td></tr><tr><td align="center" valign="middle" >15</td><td align="center" valign="middle" >−0.29610685544242180860201784355977774292750241992426</td></tr><tr><td align="center" valign="middle" >14</td><td align="center" valign="middle" >−0.29551147448528153468605540107430168095507096662307</td></tr><tr><td align="center" valign="middle" >13</td><td align="center" valign="middle" >−0.29667304591820569539524370288435971088621053886270</td></tr><tr><td align="center" valign="middle" >12</td><td align="center" valign="middle" >−0.29440910387263694790663240676204680320270972628433</td></tr><tr><td align="center" valign="middle" >11</td><td align="center" valign="middle" >−0.29883017491388564173005702091107050051340373827686</td></tr><tr><td align="center" valign="middle" >10</td><td align="center" valign="middle" >−0.29022915571595152652543096855529715421054509417251</td></tr><tr><td align="center" valign="middle" >9</td><td align="center" valign="middle" >−0.30708636451194022129234803037380574262347512272602</td></tr><tr><td align="center" valign="middle" >8</td><td align="center" valign="middle" >−0.27451684815677210287939135693311577140783360600261</td></tr><tr><td align="center" valign="middle" >7</td><td align="center" valign="middle" >−0.33925706658308498350126705482505739973880105347080</td></tr><tr><td align="center" valign="middle" >6</td><td align="center" valign="middle" >0.21728231379886310314230045114591184991388919709022</td></tr><tr><td align="center" valign="middle" >5</td><td align="center" valign="middle" >−0.47450768974007172623842641724875639785397472932299</td></tr><tr><td align="center" valign="middle" >4</td><td align="center" valign="middle" >−0.02860979985485943088252867867522696522057632451858</td></tr><tr><td align="center" valign="middle" >3</td><td align="center" valign="middle" >−1.4603545088095868128894991525148973697655036386338</td></tr><tr><td align="center" valign="middle" >2</td><td align="center" valign="middle" >−1/2</td></tr><tr><td align="center" valign="middle" >1</td><td align="center" valign="middle" >0</td></tr><tr><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x274.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >s</td></tr></tbody></table></table-wrap><p>LEMMA 3: Le t<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x275.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x275.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x276.png" xlink:type="simple"/></inline-formula>, and let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x275.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x277.png" xlink:type="simple"/></inline-formula>, be a non-vanishing function on the disc<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x275.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x277.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x278.png" xlink:type="simple"/></inline-formula>, which is analytic in the interior. Then,</p><disp-formula id="scirp.65860-formula3572"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x279.png"  xlink:type="simple"/></disp-formula><p>Use Voronin’s theorem and let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x280.png" xlink:type="simple"/></inline-formula>. Then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x280.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x281.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.65860-formula3573"><label>(85)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x282.png"  xlink:type="simple"/></disp-formula><p>Further, since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x283.png" xlink:type="simple"/></inline-formula> the constant <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x284.png" xlink:type="simple"/></inline-formula> cannot be zero. However, we can choose <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x285.png" xlink:type="simple"/></inline-formula> and make</p><disp-formula id="scirp.65860-formula3574"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x286.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3575"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x287.png"  xlink:type="simple"/></disp-formula><p>So that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x288.png" xlink:type="simple"/></inline-formula> Obviously as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x289.png" xlink:type="simple"/></inline-formula>, the convergence demands that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x289.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x290.png" xlink:type="simple"/></inline-formula>.</p><p>As <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x291.png" xlink:type="simple"/></inline-formula> Now choose <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x291.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x292.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.65860-formula3576"><label>(86)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x293.png"  xlink:type="simple"/></disp-formula><p>Then there exists a negative constant such that</p><disp-formula id="scirp.65860-formula3577"><label>(87)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x294.png"  xlink:type="simple"/></disp-formula><p>Then,</p><disp-formula id="scirp.65860-formula3578"><label>(88)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x295.png"  xlink:type="simple"/></disp-formula><p>The constants <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x296.png" xlink:type="simple"/></inline-formula> must vanish at infinity since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x297.png" xlink:type="simple"/></inline-formula> is self similar and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x297.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x298.png" xlink:type="simple"/></inline-formula>, and any approximations of a constant function must be a constant-function, then, one suspiciously finds that:</p><disp-formula id="scirp.65860-formula3579"><label>(89)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x299.png"  xlink:type="simple"/></disp-formula><p>This value deviates from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x300.png" xlink:type="simple"/></inline-formula> by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x300.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x301.png" xlink:type="simple"/></inline-formula>.</p><p>I will now discuss the relationship between the Towering Zeta function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x302.png" xlink:type="simple"/></inline-formula> and its derivatives. Differentiating<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x303.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.65860-formula3580"><label>(90)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x304.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3581"><label>(91)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x305.png"  xlink:type="simple"/></disp-formula><p>Thus the derivative of the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x306.png" xlink:type="simple"/></inline-formula> is just products of the derivatives of the iterate functions taken over <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x307.png" xlink:type="simple"/></inline-formula> values. Note that the derivatives of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x307.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x308.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.65860-formula3582"><label>(92)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x309.png"  xlink:type="simple"/></disp-formula><p>have been shown by D.L. Shell [<xref ref-type="bibr" rid="scirp.65860-ref6">6</xref>] , to be periodic. Obviously, the power towers are intimately related to the Towering Zeta function and the almost periodic relationship is exactly the sort of behavior one sees with the Zeta function:</p><disp-formula id="scirp.65860-formula3583"><label>(93)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x310.png"  xlink:type="simple"/></disp-formula><p>LEMMA 4:</p><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x311.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x311.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x312.png" xlink:type="simple"/></inline-formula>.</p><p>Proof:</p><disp-formula id="scirp.65860-formula3584"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x313.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3585"><label>(94)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x314.png"  xlink:type="simple"/></disp-formula><p>Differentiating<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x315.png" xlink:type="simple"/></inline-formula>, one gets:</p><disp-formula id="scirp.65860-formula3586"><label>(95)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x316.png"  xlink:type="simple"/></disp-formula><p>Which is the same as the power tower derivatives when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x317.png" xlink:type="simple"/></inline-formula>.</p><disp-formula id="scirp.65860-formula3587"><label>(96)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x318.png"  xlink:type="simple"/></disp-formula><p>Hence,</p><disp-formula id="scirp.65860-formula3588"><label>(97)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x319.png"  xlink:type="simple"/></disp-formula><p>Noting that</p><disp-formula id="scirp.65860-formula3589"><label>(98)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x320.png"  xlink:type="simple"/></disp-formula><p>The derivative becomes,</p><disp-formula id="scirp.65860-formula3590"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x321.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3591"><label>(99)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x322.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3592"><label>(100)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x323.png"  xlink:type="simple"/></disp-formula><p>Put<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x324.png" xlink:type="simple"/></inline-formula>, and use</p><disp-formula id="scirp.65860-formula3593"><label>(101)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x325.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3594"><label>(102)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x326.png"  xlink:type="simple"/></disp-formula><p>LEMMA5: Define <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x327.png" xlink:type="simple"/></inline-formula> and let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x328.png" xlink:type="simple"/></inline-formula> and,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x328.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x329.png" xlink:type="simple"/></inline-formula>. Define <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x328.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x329.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x330.png" xlink:type="simple"/></inline-formula> and let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x328.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x329.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x330.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x331.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x328.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x329.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x330.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x331.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x332.png" xlink:type="simple"/></inline-formula>, then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x328.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x329.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x330.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x331.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x332.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x333.png" xlink:type="simple"/></inline-formula></p><p>Proof:</p><p>First we verify (102).</p><disp-formula id="scirp.65860-formula3595"><label>(103)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x334.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3596"><label>(104)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x335.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3597"><label>(105)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x336.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3598"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x337.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3599"><label>(106)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x338.png"  xlink:type="simple"/></disp-formula><p>Consider the product formula:</p><disp-formula id="scirp.65860-formula3600"><label>(107)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x339.png"  xlink:type="simple"/></disp-formula><p>Let the root s occur at the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x340.png" xlink:type="simple"/></inline-formula> iteration of the product formula, at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x340.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x341.png" xlink:type="simple"/></inline-formula>. Then,</p><disp-formula id="scirp.65860-formula3601"><label>(108)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x342.png"  xlink:type="simple"/></disp-formula><p>This separates the products into three terms, the first term, P, being the iterates before the root s is encountered, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x343.png" xlink:type="simple"/></inline-formula>and the second term N, being the iterate that produces a root at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x343.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x344.png" xlink:type="simple"/></inline-formula>, and third term being the iterations after the root at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x343.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x344.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x345.png" xlink:type="simple"/></inline-formula>.</p><disp-formula id="scirp.65860-formula3602"><label>(109)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x346.png"  xlink:type="simple"/></disp-formula><p>One has to determine if the factors P, N, F, can vanish in a given range of values of the arguments, s. Before determining these products, the following Lemmas are necessary.</p><p>LEMMA 6: If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x347.png" xlink:type="simple"/></inline-formula>, and if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x347.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x348.png" xlink:type="simple"/></inline-formula>, and if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x347.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x348.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x349.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x347.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x348.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x349.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x350.png" xlink:type="simple"/></inline-formula>, then,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x347.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x348.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x349.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x351.png" xlink:type="simple"/></inline-formula>.</p><p>Proof: Suppose there exists<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x352.png" xlink:type="simple"/></inline-formula>. Then, iterations from p to q will be periodic and will only generate cyclic arguments when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x353.png" xlink:type="simple"/></inline-formula>, where,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x354.png" xlink:type="simple"/></inline-formula>. Thus the past iterations for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x352.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x354.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x355.png" xlink:type="simple"/></inline-formula>, will be stuck in an eternal loop and never generate future roots, s. This is true for both real and complex arguments, z and for real and complex roots s.</p><p>LEMMA7: Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x356.png" xlink:type="simple"/></inline-formula>, then, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x357.png" xlink:type="simple"/></inline-formula>, and if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x358.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x358.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x359.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x358.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x360.png" xlink:type="simple"/></inline-formula>, and if for any p, q, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x357.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x358.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x360.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x361.png" xlink:type="simple"/></inline-formula>, then, P and F are infinite power towers.</p><p>Proof:</p><p>If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x362.png" xlink:type="simple"/></inline-formula>, and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x362.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x363.png" xlink:type="simple"/></inline-formula>, and if for any p or q, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x362.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x363.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x364.png" xlink:type="simple"/></inline-formula>then the sequence of iterations of the zeta function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x362.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x363.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x364.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x365.png" xlink:type="simple"/></inline-formula> has no past purely periodic arguments and as such there can be no other repelling, neutral or super-attracting points until the root itself is reached.</p><p>Then by induction, there are no past periodic arguments in the factor P prior to encountering this root. There must exists an infinite past for the iterations leading to root s. Then, the only critical point is the root itself and the sum of all such points will be the root. The root could be written as an infinite power tower of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x366.png" xlink:type="simple"/></inline-formula>. The same argument leads F to an infinite power tower.</p><p>Noting that</p><disp-formula id="scirp.65860-formula3603"><label>(110)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x367.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3604"><label>(111)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x368.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3605"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x369.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3606"><label>(112)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x370.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3607"><label>(113)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x371.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3608"><label>(114)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x372.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3609"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x373.png"  xlink:type="simple"/></disp-formula><p>Thus <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x374.png" xlink:type="simple"/></inline-formula> (115)</p><p>The factor N is given by:</p><disp-formula id="scirp.65860-formula3610"><label>(116)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x375.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3611"><label>(117)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x376.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3612"><label>(118)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x377.png"  xlink:type="simple"/></disp-formula><p>Both the above factors are zero, hence the proof. It is obvious that if a root occurs in any of the arguments of the function iterates of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x378.png" xlink:type="simple"/></inline-formula>, then, the derivatives of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x378.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x379.png" xlink:type="simple"/></inline-formula> must vanish since it converges to a constant. Now the conditions that allow a root to be encountered depend on P.</p><p>It is worth noting that the function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x380.png" xlink:type="simple"/></inline-formula>, and the arguments<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x380.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x381.png" xlink:type="simple"/></inline-formula>, are discontinuous functions over the complex plane. In other words they jump in values over each iteration and may never hit a root for some values of z.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x382.png" xlink:type="simple"/></inline-formula> be a starting value that does not hit a root.</p><p>The relationship given by the Hadamard factorization thus represents the relationship between the iterated functions<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x383.png" xlink:type="simple"/></inline-formula>, and roots <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x383.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x384.png" xlink:type="simple"/></inline-formula> of the zeta function.</p><disp-formula id="scirp.65860-formula3613"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x385.png"  xlink:type="simple"/></disp-formula><p>Obviously, the argument<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x386.png" xlink:type="simple"/></inline-formula>, is a pole of the function and so we assume<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x386.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x387.png" xlink:type="simple"/></inline-formula>. From the reflection formula,</p><disp-formula id="scirp.65860-formula3614"><label>(119)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x388.png"  xlink:type="simple"/></disp-formula><p>Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x389.png" xlink:type="simple"/></inline-formula> never hits a root, we can divide across by the reflection function,</p><disp-formula id="scirp.65860-formula3615"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x390.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3616"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x391.png"  xlink:type="simple"/></disp-formula><p>Since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x392.png" xlink:type="simple"/></inline-formula>, one can divide across by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x392.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x393.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.65860-formula3617"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x394.png"  xlink:type="simple"/></disp-formula><p>Using</p><disp-formula id="scirp.65860-formula3618"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x395.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3619"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x396.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3620"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x397.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3621"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x398.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3622"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x399.png"  xlink:type="simple"/></disp-formula><p>From the reflection formula,</p><disp-formula id="scirp.65860-formula3623"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x400.png"  xlink:type="simple"/></disp-formula><p>From the power of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x401.png" xlink:type="simple"/></inline-formula>, the condition for no roots to be obtained during iterations is that</p><disp-formula id="scirp.65860-formula3624"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x402.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3625"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x403.png"  xlink:type="simple"/></disp-formula><p>The condition <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x404.png" xlink:type="simple"/></inline-formula> implies that a root <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x404.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x405.png" xlink:type="simple"/></inline-formula> is a hit for arguments before <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x404.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x405.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x406.png" xlink:type="simple"/></inline-formula> itera-</p><p>tion. Thus the condition demonstrates that any prior argument that is a root <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x407.png" xlink:type="simple"/></inline-formula> will never have iterations that give another root again.</p><disp-formula id="scirp.65860-formula3626"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x408.png"  xlink:type="simple"/></disp-formula><p>Further, for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x409.png" xlink:type="simple"/></inline-formula>, the iterates that lead to a root give</p><disp-formula id="scirp.65860-formula3627"><label>(120)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x410.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3628"><label>(121)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x411.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3629"><label>(122)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x412.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3630"><label>(123)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x413.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3631"><label>(124)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x414.png"  xlink:type="simple"/></disp-formula><p>From, (124), one sees that the derivative vanishes at the root of given by some iterate<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x415.png" xlink:type="simple"/></inline-formula>. The condi-</p><p>tion that the derivative does not vanish when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x416.png" xlink:type="simple"/></inline-formula>, leads to a solution of the Riemann</p><p>Hypothesis. However, for the case<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x417.png" xlink:type="simple"/></inline-formula>, when <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x417.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x418.png" xlink:type="simple"/></inline-formula> is a root, none of the iterates vanish, since the iterates lead to the final root.</p></sec><sec id="s5"><title>5. Connection of the Towering Zeta Function to Exponential Power Towers</title><p>To illustrate the convergence of the Towering Zeta function for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x419.png" xlink:type="simple"/></inline-formula>, we start with:</p><disp-formula id="scirp.65860-formula3632"><label>(125)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x420.png"  xlink:type="simple"/></disp-formula><p>Then,</p><disp-formula id="scirp.65860-formula3633"><label>(126)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x421.png"  xlink:type="simple"/></disp-formula><p>Now use <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x422.png" xlink:type="simple"/></inline-formula> (127)</p><disp-formula id="scirp.65860-formula3634"><label>(128)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x423.png"  xlink:type="simple"/></disp-formula><p>To see that the reflection formula obeys the power tower representation, take,</p><disp-formula id="scirp.65860-formula3635"><label>(129)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x424.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3636"><label>(130)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x425.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3637"><label>(131)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x426.png"  xlink:type="simple"/></disp-formula><p>Then, since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x427.png" xlink:type="simple"/></inline-formula>, the two zeta functions can be written in the form:</p><disp-formula id="scirp.65860-formula3638"><label>(132)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x428.png"  xlink:type="simple"/></disp-formula><p>LEMMA 8: The fixed points of the Towering Zeta function are rational functions of its roots.</p><p>Proof:</p><p>Putting</p><disp-formula id="scirp.65860-formula3639"><label>(133)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x429.png"  xlink:type="simple"/></disp-formula><p>Thus,</p><disp-formula id="scirp.65860-formula3640"><label>(134)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x430.png"  xlink:type="simple"/></disp-formula><p>And so,</p><disp-formula id="scirp.65860-formula3641"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x431.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3642"><label>(135)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x432.png"  xlink:type="simple"/></disp-formula><p>The fixed points are obtained by the solutions to the relation:</p><disp-formula id="scirp.65860-formula3643"><label>(136)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x433.png"  xlink:type="simple"/></disp-formula><p>This can be simplified by putting <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x434.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.65860-formula3644"><label>(137)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x435.png"  xlink:type="simple"/></disp-formula><p>Power towers of the form (145) represent rational functions.</p><p>Remark 1. The only real algebraic solutions to (137) are 1, 2, and 4, since as shown in (23), functions of the power form (137) have an equivalence for the values 2, and 4:</p><disp-formula id="scirp.65860-formula3645"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x436.png"  xlink:type="simple"/></disp-formula><p>It is easy to see that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x437.png" xlink:type="simple"/></inline-formula> then the unique divisors of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x437.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x438.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x437.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x438.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x439.png" xlink:type="simple"/></inline-formula> are the same. It has been shown that values for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x437.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x438.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x439.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x440.png" xlink:type="simple"/></inline-formula> are transcendental number.</p><p>For real power towers, the prime divisors <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x441.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x441.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x442.png" xlink:type="simple"/></inline-formula> and the prime divisors <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x441.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x442.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x443.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x441.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x442.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x443.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x444.png" xlink:type="simple"/></inline-formula> are the same. Thus for the complex values, if there is an infinite number of unique divisors, then,</p><disp-formula id="scirp.65860-formula3646"><label>(138)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x445.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x446.png" xlink:type="simple"/></inline-formula>must be divisible by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x446.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x447.png" xlink:type="simple"/></inline-formula> leaving a factors that are the roots of unity. To see that the remaining factors are the roots of unity take<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x446.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x447.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x448.png" xlink:type="simple"/></inline-formula>, and so,</p><disp-formula id="scirp.65860-formula3647"><label>(139)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x449.png"  xlink:type="simple"/></disp-formula><p>and from this</p><disp-formula id="scirp.65860-formula3648"><label>(140)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x450.png"  xlink:type="simple"/></disp-formula><p>Write the rational function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x451.png" xlink:type="simple"/></inline-formula> as a rational function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x451.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x452.png" xlink:type="simple"/></inline-formula></p><p>Then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x453.png" xlink:type="simple"/></inline-formula>, and,</p><disp-formula id="scirp.65860-formula3649"><label>(141)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x454.png"  xlink:type="simple"/></disp-formula><p>Thus the reflection formula applies to the power tower representation:</p><disp-formula id="scirp.65860-formula3650"><label>(142)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x455.png"  xlink:type="simple"/></disp-formula><p>The reflection formula then tells us that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x456.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x456.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x457.png" xlink:type="simple"/></inline-formula> obey reciprocal relations. In Ref. [<xref ref-type="bibr" rid="scirp.65860-ref5">5</xref>] Shkliarski D., N. Chentzov, and I. Yaglom, show that for real integer values of s, the forms of equation (142) represent Power Towers that converge to real rational values.</p><p>DEFINITION 8. Define the set</p><disp-formula id="scirp.65860-formula3651"><label>(143)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x458.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x459.png" xlink:type="simple"/></inline-formula> denotes the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x459.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x460.png" xlink:type="simple"/></inline-formula> iterate of the map <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x459.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x460.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x461.png" xlink:type="simple"/></inline-formula> and converges.</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x462.png" xlink:type="simple"/></inline-formula>converges with limit<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x462.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x463.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x462.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x463.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x464.png" xlink:type="simple"/></inline-formula>. Thus,</p><disp-formula id="scirp.65860-formula3652"><label>(144)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x465.png"  xlink:type="simple"/></disp-formula><p>and so on with each such relation representing an entire function of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x466.png" xlink:type="simple"/></inline-formula>.</p><p>LEMMA 9: (Shell: Ref. [<xref ref-type="bibr" rid="scirp.65860-ref7">7</xref>] ). Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x467.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x467.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x468.png" xlink:type="simple"/></inline-formula> converges to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x467.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x468.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x469.png" xlink:type="simple"/></inline-formula>, in some neighborhood of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x467.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x468.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x469.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x470.png" xlink:type="simple"/></inline-formula>, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x467.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x468.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x469.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x470.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x471.png" xlink:type="simple"/></inline-formula> and can do so only if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x467.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x468.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x469.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x470.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x471.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x472.png" xlink:type="simple"/></inline-formula>.</p><p>Proof: Take the principal branch<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x473.png" xlink:type="simple"/></inline-formula>.</p><disp-formula id="scirp.65860-formula3653"><label>(145)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x474.png"  xlink:type="simple"/></disp-formula><p>An even stronger condition can be placed on the convergence of the sequence (143) by Thron in Ref. [<xref ref-type="bibr" rid="scirp.65860-ref8">8</xref>] .</p><p>LEMMA 10: (Thron; Ref. [<xref ref-type="bibr" rid="scirp.65860-ref8">8</xref>] ):</p><p>If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x475.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x475.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x476.png" xlink:type="simple"/></inline-formula>, or if x is a root of unity, then the sequence (143) converges to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x475.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x476.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x477.png" xlink:type="simple"/></inline-formula>. For almost all x such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x475.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x476.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x477.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x478.png" xlink:type="simple"/></inline-formula>, the sequence diverges.</p><p>Galidakis Ref. [<xref ref-type="bibr" rid="scirp.65860-ref9">9</xref>] noted that the fixed points <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x479.png" xlink:type="simple"/></inline-formula> of the functions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x479.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x480.png" xlink:type="simple"/></inline-formula> are rationally indifferent or parabolic and that their multiplier is exactly<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x479.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x480.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x481.png" xlink:type="simple"/></inline-formula>. I.N. Baker and P.J. Rippon Ref. [<xref ref-type="bibr" rid="scirp.65860-ref10">10</xref>] showed that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x479.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x480.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x481.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x482.png" xlink:type="simple"/></inline-formula> is a centrum number, in particular if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x479.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x480.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x481.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x482.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x483.png" xlink:type="simple"/></inline-formula> is non-Liouville number, then (143) diverges. The <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x479.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x480.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x481.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x482.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x483.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x484.png" xlink:type="simple"/></inline-formula> order power tower only converges to n fixed-points on the circle when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x479.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x480.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x481.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x482.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x483.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x484.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x485.png" xlink:type="simple"/></inline-formula>, a root of the function and when</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x486.png" xlink:type="simple"/></inline-formula>, with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x486.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x487.png" xlink:type="simple"/></inline-formula> being a rational function.</p><p>Following Titshmarch, Ref. [<xref ref-type="bibr" rid="scirp.65860-ref11">11</xref>] ,</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x488.png" xlink:type="simple"/></inline-formula> be any function with a continuous derivative in the interval<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x488.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x489.png" xlink:type="simple"/></inline-formula>. Then, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x488.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x489.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x490.png" xlink:type="simple"/></inline-formula> denotes the greatest integer not exceeding x,</p><disp-formula id="scirp.65860-formula3654"><label>(146)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x491.png"  xlink:type="simple"/></disp-formula><p>Following Titshmarch Ref. [<xref ref-type="bibr" rid="scirp.65860-ref11">11</xref>] page 14, taking<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x492.png" xlink:type="simple"/></inline-formula>, one arrives at the well known Zeta relation:</p><disp-formula id="scirp.65860-formula3655"><label>(147)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x493.png"  xlink:type="simple"/></disp-formula><p>Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x494.png" xlink:type="simple"/></inline-formula> is bounded, (148) is convergent for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x494.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x495.png" xlink:type="simple"/></inline-formula>.</p><p>For the region<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x496.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.65860-formula3656"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x497.png"  xlink:type="simple"/></disp-formula><p>and so</p><disp-formula id="scirp.65860-formula3657"><label>(148)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x498.png"  xlink:type="simple"/></disp-formula><p>Assuming the Riemann Hypothesis, the Towering Zeta Function follows this relation before convergence, i.e. when the real part of the arguments of the Zeta function is in the range<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x499.png" xlink:type="simple"/></inline-formula>.</p><p>Let s be a root of the Zeta function. Assuming the Riemann hypothesis, when the Towering Zeta function converges, the next argument is of the form</p><disp-formula id="scirp.65860-formula3658"><label>(149)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x500.png"  xlink:type="simple"/></disp-formula><p>Thus, for some finite iterations of a starting argument, z, let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x501.png" xlink:type="simple"/></inline-formula> be a root of the Zeta function. Then, the inverse gives, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x501.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x502.png" xlink:type="simple"/></inline-formula>The Zeta function now follows the relation,</p><disp-formula id="scirp.65860-formula3659"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x503.png"  xlink:type="simple"/></disp-formula><p>However the iterates are associative, thus,</p><disp-formula id="scirp.65860-formula3660"><label>(150)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x504.png"  xlink:type="simple"/></disp-formula><p>Of course, this is only true if the backward iterations are uniquely selected from the initial argument set<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x505.png" xlink:type="simple"/></inline-formula>. The range of the function changes since,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x505.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x506.png" xlink:type="simple"/></inline-formula>. Thus,</p><disp-formula id="scirp.65860-formula3661"><label>(151)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x507.png"  xlink:type="simple"/></disp-formula><p>k-iteration of the function for arguments in the range<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x508.png" xlink:type="simple"/></inline-formula>, give the functional relation.</p><disp-formula id="scirp.65860-formula3662"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x509.png"  xlink:type="simple"/></disp-formula><p>In other words, after convergence, the relation obeys the functional,</p><disp-formula id="scirp.65860-formula3663"><label>(152)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x510.png"  xlink:type="simple"/></disp-formula><p>Then, for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x511.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.65860-formula3664"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x512.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3665"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x513.png"  xlink:type="simple"/></disp-formula><p>The relation gives the invariant integral over an infinite iteration of the roots:</p><disp-formula id="scirp.65860-formula3666"><label>(153)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x514.png"  xlink:type="simple"/></disp-formula><p>I now introduce the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x515.png" xlink:type="simple"/></inline-formula> defined by the following theorem due to Ramanujan. Chakravarthi Padmanabhan Ramanujan was born in India on the 9<sup>th</sup> of January 1838. He died on the 27<sup>th</sup> of October 1874. He has been referred to as the greatest mathematician ever. His work on number theory and algebraic geometry has produced some of the most outstanding revelations in mathematics and is considered to be one of the pillars of modern day research. This paper is about Ramanujan’s so called Master Theorem that relates integrals of certain types of functions to a wide range of application including Power towers and the Zeta function.</p><p>The function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x516.png" xlink:type="simple"/></inline-formula> is intimately related to the Ramanujan Master Theorem and to the convergence of the Power Tower Zeta function.</p><p>LEMMA 11: [Ramanujan’s Master theorem Ref. [<xref ref-type="bibr" rid="scirp.65860-ref12">12</xref>] ].</p><p>Define<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x517.png" xlink:type="simple"/></inline-formula>, then, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x517.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x518.png" xlink:type="simple"/></inline-formula> in some neighborhood of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x517.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x518.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x519.png" xlink:type="simple"/></inline-formula>, then,</p><disp-formula id="scirp.65860-formula3667"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x520.png"  xlink:type="simple"/></disp-formula><p>DEFINITION 9: For any real or complex numbers, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x521.png" xlink:type="simple"/></inline-formula>let</p><disp-formula id="scirp.65860-formula3668"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x522.png"  xlink:type="simple"/></disp-formula><p>Then using the Master Theorem, the following apply:</p><p>LEMMA 12: There exists exponential power towers such that if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x523.png" xlink:type="simple"/></inline-formula> then,</p><disp-formula id="scirp.65860-formula3669"><label>(154)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x524.png"  xlink:type="simple"/></disp-formula><p>Proof:<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x525.png" xlink:type="simple"/></inline-formula>. Then,</p><disp-formula id="scirp.65860-formula3670"><label>(155)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x526.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3671"><label>(156)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x527.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3672"><label>(157)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x528.png"  xlink:type="simple"/></disp-formula><p>LEMMA 13 {Thron}: If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x529.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x529.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x530.png" xlink:type="simple"/></inline-formula>, or if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x529.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x530.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x531.png" xlink:type="simple"/></inline-formula> is a root of unity, then the sequence (143) converges to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x529.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x530.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x531.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x532.png" xlink:type="simple"/></inline-formula>. For almost all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x529.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x530.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x531.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x532.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x533.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x529.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x530.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x531.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x532.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x533.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x534.png" xlink:type="simple"/></inline-formula>, the sequence diverges.</p><p>LEMMA 14: For any complex numbers,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x535.png" xlink:type="simple"/></inline-formula> , if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x535.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x536.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x535.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x536.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x537.png" xlink:type="simple"/></inline-formula>.</p><p>Proof:</p><disp-formula id="scirp.65860-formula3673"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x538.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3674"><label>(158)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x539.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3675"><label>(159)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x540.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3676"><label>(160)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x541.png"  xlink:type="simple"/></disp-formula><p>LEMMA 15: For any complex numbers, x, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x542.png" xlink:type="simple"/></inline-formula>, then, the self-root function is given by:</p><disp-formula id="scirp.65860-formula3677"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x543.png"  xlink:type="simple"/></disp-formula><p>where,</p><disp-formula id="scirp.65860-formula3678"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x544.png"  xlink:type="simple"/></disp-formula><p>Proof: In [<xref ref-type="bibr" rid="scirp.65860-ref12">12</xref>] , and in [<xref ref-type="bibr" rid="scirp.65860-ref13">13</xref>] , Jovovic calculated the self-root sum:</p><disp-formula id="scirp.65860-formula3679"><label>(161)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x545.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x546.png" xlink:type="simple"/></inline-formula> is the Sterling number of the first kind. Thus, for the self-root,</p><disp-formula id="scirp.65860-formula3680"><label>(162)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x547.png"  xlink:type="simple"/></disp-formula><p>Note that in general, one can write:</p><disp-formula id="scirp.65860-formula3681"><label>(163)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x548.png"  xlink:type="simple"/></disp-formula><p>In which case the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x549.png" xlink:type="simple"/></inline-formula> becomes dependent on<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x549.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x550.png" xlink:type="simple"/></inline-formula>.</p><disp-formula id="scirp.65860-formula3682"><label>(164)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x551.png"  xlink:type="simple"/></disp-formula><p>LEMMA 16: If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x552.png" xlink:type="simple"/></inline-formula>, then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x552.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x553.png" xlink:type="simple"/></inline-formula>is a Power Tower and, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x552.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x553.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x554.png" xlink:type="simple"/></inline-formula>converges to<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x552.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x553.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x554.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x555.png" xlink:type="simple"/></inline-formula>.</p><p>LEMMA 17: For the self-root if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x556.png" xlink:type="simple"/></inline-formula> then,</p><disp-formula id="scirp.65860-formula3683"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x557.png"  xlink:type="simple"/></disp-formula><p>Proof:</p><disp-formula id="scirp.65860-formula3684"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x558.png"  xlink:type="simple"/></disp-formula><p>Differentiating<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x559.png" xlink:type="simple"/></inline-formula>, k times, a simple calculation shows that:</p><disp-formula id="scirp.65860-formula3685"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x560.png"  xlink:type="simple"/></disp-formula><p>where the symbol <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x561.png" xlink:type="simple"/></inline-formula> is the value of the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x561.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x562.png" xlink:type="simple"/></inline-formula> derivative at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x561.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x562.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x563.png" xlink:type="simple"/></inline-formula>. This is the same expression as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x561.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x562.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x563.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x564.png" xlink:type="simple"/></inline-formula> for the self-root</p><disp-formula id="scirp.65860-formula3686"><label>(165)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x565.png"  xlink:type="simple"/></disp-formula><p>LEMMA 18: If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x566.png" xlink:type="simple"/></inline-formula>, then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x566.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x567.png" xlink:type="simple"/></inline-formula></p><p>Proof: Using the Master theorem,</p><disp-formula id="scirp.65860-formula3687"><label>(166)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x568.png"  xlink:type="simple"/></disp-formula><p>Now,</p><disp-formula id="scirp.65860-formula3688"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x569.png"  xlink:type="simple"/></disp-formula><p>From the Zeta function, since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x570.png" xlink:type="simple"/></inline-formula> is independent of n,</p><disp-formula id="scirp.65860-formula3689"><label>(167)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x571.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3690"><label>(168)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x572.png"  xlink:type="simple"/></disp-formula><p>Now from Euler-Mac Laurin summation formula:</p><disp-formula id="scirp.65860-formula3691"><label>(169)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x573.png"  xlink:type="simple"/></disp-formula><p>Putting<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x574.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.65860-formula3692"><label>(170)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x575.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3693"><label>(171)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x576.png"  xlink:type="simple"/></disp-formula><p>Noting from the Bernoulli relation that only odd values of k survive, the integral (171) is zero when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x577.png" xlink:type="simple"/></inline-formula></p><p>LEMMA 19: Define <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x578.png" xlink:type="simple"/></inline-formula> then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x578.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x579.png" xlink:type="simple"/></inline-formula>, where</p><disp-formula id="scirp.65860-formula3694"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x580.png"  xlink:type="simple"/></disp-formula><p>Proof:</p><p>Consider the Fourieh series expansion,</p><disp-formula id="scirp.65860-formula3695"><label>(172)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x581.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3696"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x582.png"  xlink:type="simple"/></disp-formula><p>The derivatives <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x583.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x583.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x584.png" xlink:type="simple"/></inline-formula> at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x583.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x584.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x585.png" xlink:type="simple"/></inline-formula> are given by:</p><disp-formula id="scirp.65860-formula3697"><label>(173)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x586.png"  xlink:type="simple"/></disp-formula><p>Put:</p><disp-formula id="scirp.65860-formula3698"><label>(174)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x587.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3699"><label>(175)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x588.png"  xlink:type="simple"/></disp-formula><p>then,</p><disp-formula id="scirp.65860-formula3700"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x589.png"  xlink:type="simple"/></disp-formula><p>Thus, the fractional functions<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x590.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x590.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x591.png" xlink:type="simple"/></inline-formula>satisfy Ramanujan’s Master Theorem, when <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x590.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x591.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x592.png" xlink:type="simple"/></inline-formula> for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x590.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x591.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x592.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x593.png" xlink:type="simple"/></inline-formula>, and so</p><disp-formula id="scirp.65860-formula3701"><label>(176)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x594.png"  xlink:type="simple"/></disp-formula><p>Then,</p><disp-formula id="scirp.65860-formula3702"><label>(177)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x595.png"  xlink:type="simple"/></disp-formula><p><sup>*</sup>Note that putting <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x596.png" xlink:type="simple"/></inline-formula> in</p><disp-formula id="scirp.65860-formula3703"><label>(178)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x597.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3704"><label>(179)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x598.png"  xlink:type="simple"/></disp-formula><p>Then, as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x599.png" xlink:type="simple"/></inline-formula></p><p>LEMMA 20: If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x600.png" xlink:type="simple"/></inline-formula> then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x600.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x601.png" xlink:type="simple"/></inline-formula></p><p>Proof:</p><disp-formula id="scirp.65860-formula3705"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x602.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3706"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x603.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3707"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x604.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3708"><label>(180)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x605.png"  xlink:type="simple"/></disp-formula><p>LEMMA 21: For complex values of z, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x606.png" xlink:type="simple"/></inline-formula>, then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x607.png" xlink:type="simple"/></inline-formula>.</p><p>Proof:</p><disp-formula id="scirp.65860-formula3709"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x608.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3710"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x609.png"  xlink:type="simple"/></disp-formula><p>LEMMA 22: For complex values of z, if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x610.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x610.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x611.png" xlink:type="simple"/></inline-formula> is not a function of z, then the Ramanujan function</p><disp-formula id="scirp.65860-formula3711"><label>(181)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x612.png"  xlink:type="simple"/></disp-formula><p>is related to the Riesz function.</p><p>Proof: Integrating (181), and since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x613.png" xlink:type="simple"/></inline-formula> is independent of z,</p><disp-formula id="scirp.65860-formula3712"><label>(182)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x614.png"  xlink:type="simple"/></disp-formula><p>Note that (182) is exactly the Riesz function for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x615.png" xlink:type="simple"/></inline-formula>;</p><disp-formula id="scirp.65860-formula3713"><label>(183)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x616.png"  xlink:type="simple"/></disp-formula><p>LEMMA 23: For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x617.png" xlink:type="simple"/></inline-formula></p><p>Proof:</p><p>If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x618.png" xlink:type="simple"/></inline-formula>, then,</p><disp-formula id="scirp.65860-formula3714"><label>(184)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x619.png"  xlink:type="simple"/></disp-formula><p>Using the Zeta functional relation,</p><disp-formula id="scirp.65860-formula3715"><label>(185)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x620.png"  xlink:type="simple"/></disp-formula><p>Relation (185) becomes:</p><disp-formula id="scirp.65860-formula3716"><label>(186)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x621.png"  xlink:type="simple"/></disp-formula><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x622.png" xlink:type="simple"/></inline-formula>, the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x622.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x623.png" xlink:type="simple"/></inline-formula> is related to the Zeta function in an intimate way and so</p><disp-formula id="scirp.65860-formula3717"><label>(187)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x624.png"  xlink:type="simple"/></disp-formula><p>Corollary: If<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x625.png" xlink:type="simple"/></inline-formula>, then</p><disp-formula id="scirp.65860-formula3718"><label>(188)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x626.png"  xlink:type="simple"/></disp-formula><p>Proof:</p><disp-formula id="scirp.65860-formula3719"><label>(189)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x627.png"  xlink:type="simple"/></disp-formula><p>Thus<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x628.png" xlink:type="simple"/></inline-formula>, then,</p><disp-formula id="scirp.65860-formula3720"><label>(190)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x629.png"  xlink:type="simple"/></disp-formula><p>It is worth noting that relation (190) is one form of the Weyl fractional derivative. See Ref. [<xref ref-type="bibr" rid="scirp.65860-ref12">12</xref>] . The Riemann-Louiville fractional integral gives the same result.</p><disp-formula id="scirp.65860-formula3721"><label>(191)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x630.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3722"><label>(192)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x631.png"  xlink:type="simple"/></disp-formula></sec><sec id="s6"><title>6. Relationship of the Function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x632.png" xlink:type="simple"/></inline-formula> to the Density of Squarefree and Squarefull (Non-Squarefree) Numbers</title><p>DEFINITION 10: A positive integer m is squarefree if it is either a product of different primes or 1 otherwise it is squarefull.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x633.png" xlink:type="simple"/></inline-formula> be the densities of number of squarefree numbers and squarefull numbers in an infinite set of integers.</p><p>Note: RIEMANN’S HYPTOTHESIS: Fix<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x634.png" xlink:type="simple"/></inline-formula>. Then we can find N such that for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x634.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x635.png" xlink:type="simple"/></inline-formula> the number of square free numbers in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x634.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x635.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x636.png" xlink:type="simple"/></inline-formula> does not differ from the number of non-square numbers in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x634.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x635.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x636.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x637.png" xlink:type="simple"/></inline-formula> by more than</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x638.png" xlink:type="simple"/></inline-formula>.</p><p>LEMMA 24: The density of squarefree numbers is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x639.png" xlink:type="simple"/></inline-formula> and the density of squarefull numbers is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x639.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x640.png" xlink:type="simple"/></inline-formula>.</p><p>Proof:</p><p>Taken over square-free numbers m, and squarefull numbers n, then:</p><disp-formula id="scirp.65860-formula3723"><label>(193)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x641.png"  xlink:type="simple"/></disp-formula><p>Since</p><disp-formula id="scirp.65860-formula3724"><label>(194)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x642.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3725"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x643.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3726"><label>(195)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x644.png"  xlink:type="simple"/></disp-formula><p>Thus,</p><disp-formula id="scirp.65860-formula3727"><label>(196)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x645.png"  xlink:type="simple"/></disp-formula><p>Let</p><disp-formula id="scirp.65860-formula3728"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x646.png"  xlink:type="simple"/></disp-formula><p>Then,</p><disp-formula id="scirp.65860-formula3729"><label>(197)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x647.png"  xlink:type="simple"/></disp-formula><p>The number of both the squarefree and the square-full numbers is given by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x648.png" xlink:type="simple"/></inline-formula> for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x648.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x649.png" xlink:type="simple"/></inline-formula> since this is the one by one count of each infinite set. Thus, the density of the squarefree numbers and the squarefull numbers is given by:</p><disp-formula id="scirp.65860-formula3730"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x650.png"  xlink:type="simple"/></disp-formula><p>thus,</p><disp-formula id="scirp.65860-formula3731"><label>(198)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x651.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3732"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x652.png"  xlink:type="simple"/></disp-formula><p>It follows that the density of square-free numbers is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x653.png" xlink:type="simple"/></inline-formula> and the density of squarefull numbers is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x653.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x654.png" xlink:type="simple"/></inline-formula></p><p>LEMMA 25: Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x655.png" xlink:type="simple"/></inline-formula>, then,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x655.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x656.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x655.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x656.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x657.png" xlink:type="simple"/></inline-formula></p><p>Proof:</p><p>Taking the derivatives,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x658.png" xlink:type="simple"/></inline-formula>;</p><disp-formula id="scirp.65860-formula3733"><label>(199)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x659.png"  xlink:type="simple"/></disp-formula><p>One sees that the paired functions <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x660.png" xlink:type="simple"/></inline-formula> satisfy the Master Theorem. Thus, from LEMMA 25<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x660.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x661.png" xlink:type="simple"/></inline-formula></p><p>Further, to see that this is true, define:</p><disp-formula id="scirp.65860-formula3734"><label>(200)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x662.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3735"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x663.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3736"><label>(201)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x664.png"  xlink:type="simple"/></disp-formula><p>Put <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x665.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.65860-formula3737"><label>(202)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x666.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3738"><label>(203)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x667.png"  xlink:type="simple"/></disp-formula><p>LEMMA 26: If a function, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x668.png" xlink:type="simple"/></inline-formula>, has derivatives of all orders throughout a neighborhood of a point ξ, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x668.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x669.png" xlink:type="simple"/></inline-formula> and Ramanujan’s Master Theorem is simply the Taylor series.</p><p>Proof: The Taylor series of any function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x670.png" xlink:type="simple"/></inline-formula> that has derivatives of all orders throughout a neighborhood of a point<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x670.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x671.png" xlink:type="simple"/></inline-formula>, may be written as:</p><disp-formula id="scirp.65860-formula3739"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x672.png"  xlink:type="simple"/></disp-formula><p>Thus as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x673.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.65860-formula3740"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x674.png"  xlink:type="simple"/></disp-formula></sec><sec id="s7"><title>7. Relation of Power Towers to Transcendental Numbers</title><p>As can be seen from <xref ref-type="fig" rid="fig6">Figure 6</xref>, the function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x675.png" xlink:type="simple"/></inline-formula> only has quadratically equal values (red x’s) at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x675.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x676.png" xlink:type="simple"/></inline-formula> and also at <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x675.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x676.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x677.png" xlink:type="simple"/></inline-formula> There are no other paired quadratically equal values of that have the same values for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x675.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x676.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x677.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x678.png" xlink:type="simple"/></inline-formula> Hence the following LEMMA due to Mladen [<xref ref-type="bibr" rid="scirp.65860-ref14">14</xref>] .</p><fig id="fig6"  position="float"><label><xref ref-type="fig" rid="fig6">Figure 6</xref></label><caption><title> Shows a plot of the function<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x680.png" xlink:type="simple"/></inline-formula></title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/7-5301015x679.png"/></fig><p>LEMMA 27:</p><p>(Mladen, [<xref ref-type="bibr" rid="scirp.65860-ref14">14</xref>] ) For every real number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x681.png" xlink:type="simple"/></inline-formula> if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x681.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x682.png" xlink:type="simple"/></inline-formula> then, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x681.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x682.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x683.png" xlink:type="simple"/></inline-formula>and</p><p>a) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x684.png" xlink:type="simple"/></inline-formula></p><p>b) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x685.png" xlink:type="simple"/></inline-formula></p><p>c) <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x686.png" xlink:type="simple"/></inline-formula>is a continuous function strictly increasing on the interval <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x686.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x687.png" xlink:type="simple"/></inline-formula> and strictly decreasing on the interval <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x686.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x687.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x688.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x686.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x687.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x688.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x689.png" xlink:type="simple"/></inline-formula> has an absolute maximum at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x686.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x687.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x688.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x689.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x690.png" xlink:type="simple"/></inline-formula>, i.e. for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x686.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x687.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x688.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x689.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x690.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x691.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.65860-formula3741"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x692.png"  xlink:type="simple"/></disp-formula><p>and for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x693.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.65860-formula3742"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x694.png"  xlink:type="simple"/></disp-formula><p>LEMMA 28: Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x695.png" xlink:type="simple"/></inline-formula> be a real number, then:</p><p>a) For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x696.png" xlink:type="simple"/></inline-formula> the equation</p><disp-formula id="scirp.65860-formula3743"><label>(204)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x697.png"  xlink:type="simple"/></disp-formula><p>has exactly two solutions, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x698.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x698.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x699.png" xlink:type="simple"/></inline-formula></p><p>b) For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x700.png" xlink:type="simple"/></inline-formula> (207) has the unique solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x700.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x701.png" xlink:type="simple"/></inline-formula></p><p>c) For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x702.png" xlink:type="simple"/></inline-formula> (207) has no solutions</p><p>LEMMA 29: Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x703.png" xlink:type="simple"/></inline-formula> be an algebraic number such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x703.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x704.png" xlink:type="simple"/></inline-formula> then,</p><disp-formula id="scirp.65860-formula3744"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x705.png"  xlink:type="simple"/></disp-formula><p>a) if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x706.png" xlink:type="simple"/></inline-formula>, then, the infinite Power Tower <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x706.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x707.png" xlink:type="simple"/></inline-formula> is a rational number, and</p><disp-formula id="scirp.65860-formula3745"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x708.png"  xlink:type="simple"/></disp-formula><p>b) if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x709.png" xlink:type="simple"/></inline-formula> for some integer<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x709.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x710.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x709.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x710.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x711.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.65860-formula3746"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x712.png"  xlink:type="simple"/></disp-formula><p>and the infinite Power Tower <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x713.png" xlink:type="simple"/></inline-formula> is a rational number given by:</p><disp-formula id="scirp.65860-formula3747"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x714.png"  xlink:type="simple"/></disp-formula><p>c) If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x715.png" xlink:type="simple"/></inline-formula> and n is an integer, then it is not part of the sequence</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x716.png" xlink:type="simple"/></inline-formula>,</p><p>then the infinite Power tower <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x717.png" xlink:type="simple"/></inline-formula> is a transcendental number.</p><p>Proof of Theorem 1: For <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x718.png" xlink:type="simple"/></inline-formula> the Zeta function vanishes when <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x718.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x719.png" xlink:type="simple"/></inline-formula></p><p>Let<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x720.png" xlink:type="simple"/></inline-formula>.</p><p>Starting with the Zeta function for<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x721.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.65860-formula3748"><label>(205)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x722.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3749"><label>(206)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x723.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3750"><label>(207)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x724.png"  xlink:type="simple"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x725.png" xlink:type="simple"/></inline-formula> be algebraic numbers such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x725.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x726.png" xlink:type="simple"/></inline-formula>, then according to Lindemann?Weiers- trass theorem, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x725.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x726.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x727.png" xlink:type="simple"/></inline-formula>is transcendental.</p><p>Taking <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x728.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.65860-formula3751"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x729.png"  xlink:type="simple"/></disp-formula><p>The sequence of integers <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x730.png" xlink:type="simple"/></inline-formula> in the Zeta-function are part of the rational sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x730.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x731.png" xlink:type="simple"/></inline-formula>.</p><p>The sequence of integers <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x732.png" xlink:type="simple"/></inline-formula> in the Zeta-function are a part of the rational sequence<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x732.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x733.png" xlink:type="simple"/></inline-formula>, hence using LEMMA 29 the Zeta function (207) can be written as a function of transcendental numbers, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x732.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x733.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x734.png" xlink:type="simple"/></inline-formula>, in the form:</p><disp-formula id="scirp.65860-formula3752"><label>(208)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x735.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3753"><label>(209)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x736.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3754"><label>(210)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x737.png"  xlink:type="simple"/></disp-formula><p>Factoring;</p><disp-formula id="scirp.65860-formula3755"><label>(211)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x738.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3756"><label>(212)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x739.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3757"><label>(213)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x740.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3758"><label>(214)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x741.png"  xlink:type="simple"/></disp-formula><p>By the Lindemann-Weierstrass theorem, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x742.png" xlink:type="simple"/></inline-formula>is transcendental since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x742.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x743.png" xlink:type="simple"/></inline-formula> is algebraic, and so if s is rational, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x742.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x743.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x744.png" xlink:type="simple"/></inline-formula> is algebraic. If s is rational, when the Zeta function vanishes the sum</p><disp-formula id="scirp.65860-formula3759"><label>(215)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x745.png"  xlink:type="simple"/></disp-formula><p>is algebraic and the product of a transcendental number <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x746.png" xlink:type="simple"/></inline-formula> and a non?zero algebraic number is transcendental.</p><p>Thus we are left with the relationship:</p><disp-formula id="scirp.65860-formula3760"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x747.png"  xlink:type="simple"/></disp-formula><p>where, A is an algebraic number. See Ref. [<xref ref-type="bibr" rid="scirp.65860-ref15">15</xref>] .</p><p>The only value for which the left hand side and the right hand sides are transcendental is when<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x748.png" xlink:type="simple"/></inline-formula>. Q.E.D.</p></sec><sec id="s8"><title>8. Discussion</title><p>The Power Tower of the pure complex form with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x749.png" xlink:type="simple"/></inline-formula> a rational number:</p><disp-formula id="scirp.65860-formula3761"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x750.png"  xlink:type="simple"/></disp-formula><p>not only follow Ramanujan’s Master Theorem, it also converge to exponential functions of the form: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x751.png" xlink:type="simple"/></inline-formula> Thus the Zeta function takes the form:</p><disp-formula id="scirp.65860-formula3762"><label>(216)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x752.png"  xlink:type="simple"/></disp-formula><p>It is clear that the function converges only when</p><disp-formula id="scirp.65860-formula3763"><label>(217)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x753.png"  xlink:type="simple"/></disp-formula><p>This just shows the self-similarity of the convergence.</p><p>Now the only arguments that satisfy the path to convergence are:</p><disp-formula id="scirp.65860-formula3764"><label>(218)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x754.png"  xlink:type="simple"/></disp-formula><p>See Ref. [<xref ref-type="bibr" rid="scirp.65860-ref17">17</xref>] , Ref. [<xref ref-type="bibr" rid="scirp.65860-ref6">6</xref>] . Thus, the solutions to the convergence are on the half-line.</p><p>There are an infinite number of possible roots that can independently satisfy (218). For example, if a root is obtained from the backward iteration, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x755.png" xlink:type="simple"/></inline-formula>, then, starting at any iteration point<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x755.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x756.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.65860-formula3765"><label>(219)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x757.png"  xlink:type="simple"/></disp-formula><p>Thus any complex root s can be obtained by iterations that go backwards from the real negative line provided the arguments are chosen to be of the rational form:</p><disp-formula id="scirp.65860-formula3766"><label>(220)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x758.png"  xlink:type="simple"/></disp-formula><p>The solutions to inverse Zeta values is referred to as “a-points”. These points have been extensively studied by other authors, see [<xref ref-type="bibr" rid="scirp.65860-ref17">17</xref>] . The conditions of convergence of complex power towers of the form:</p><disp-formula id="scirp.65860-formula3767"><graphic  xlink:href="http://html.scirp.org/file/7-5301015x759.png"  xlink:type="simple"/></disp-formula><p>also require that</p><disp-formula id="scirp.65860-formula3768"><label>(221)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x760.png"  xlink:type="simple"/></disp-formula><p>The roots of the zeta function obey this condition as can be seen from <xref ref-type="table" rid="table2">Table 2</xref>:</p><p>Remark 2: The arguments that lead to roots have singular solutions to the inverse zeta functions of roots that generate them in the backward direction. This points to the fact that a root can only be arrived at when there are no cycles prior to the root. Thus, any argument z that leads to a root can be backward generated for as singular values of the inverse zeta function that it generates. Not all values of z can generate a root. Those that generate a root must conform to the power tower structure. The only reciprocal relations that relate the symmetry is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x761.png" xlink:type="simple"/></inline-formula> to reciprocal functions are conjugate complex functions of the exponential forms on the half-line:</p><disp-formula id="scirp.65860-formula3769"><label>(222)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x762.png"  xlink:type="simple"/></disp-formula><p>From this, one could surmise that the reflection formula and the inverse zeta power towers prescribe conjugate power towers that are also reflection symmetries about unity for the Zeta function. Write the Zeta Power Tower as follows:</p><table-wrap id="table2" ><label><xref ref-type="table" rid="table2">Table 2</xref></label><caption><title> The convergence condition for several non-trivial roots of the Zeta Power Tower</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >S</th><th align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x763.png" xlink:type="simple"/></inline-formula></th></tr></thead><tr><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x764.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >0.07071826295</td></tr><tr><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x765.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >0.04756015651</td></tr><tr><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x766.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >0.03997731031</td></tr><tr><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x767.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >0.01011817652</td></tr><tr><td align="center" valign="middle" ><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x768.png" xlink:type="simple"/></inline-formula></td><td align="center" valign="middle" >0.00</td></tr></tbody></table></table-wrap><disp-formula id="scirp.65860-formula3770"><label>(223)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x769.png"  xlink:type="simple"/></disp-formula><p>It is clear that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x770.png" xlink:type="simple"/></inline-formula>, and the values of x are just the products of the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x770.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x771.png" xlink:type="simple"/></inline-formula> roots of unity when the</p><p>The degree of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x772.png" xlink:type="simple"/></inline-formula> goes to infinity with k. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x772.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x773.png" xlink:type="simple"/></inline-formula> had an infinity of roots of unity, it would have elements</p><p>of arbitrarily high degree, and thus would not be of finite degree over the rationals, and thus would not, in fact, be an algebraic number field. Thus, equating the powers of (223), if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x774.png" xlink:type="simple"/></inline-formula> is divisible by all the factors of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x774.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x775.png" xlink:type="simple"/></inline-formula> then, the power towers can be written as</p><disp-formula id="scirp.65860-formula3771"><label>(224)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x776.png"  xlink:type="simple"/></disp-formula><p>These Power Towers are entire functions. An Entire Functions has special properties that relate to exponential functions. If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x777.png" xlink:type="simple"/></inline-formula> is analytic for the entire complex plane, then it is an entire function. An entire function can be represented by in the linear form:</p><disp-formula id="scirp.65860-formula3772"><label>(225)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x778.png"  xlink:type="simple"/></disp-formula><p>Anne Beurling demonstrated in all cases the translates of an integrable function defined in the entire interval [0, ∞], are represented by at least one exponential form <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x779.png" xlink:type="simple"/></inline-formula> and thus will always contain a continuous banded group character if the function does not vanish identically.</p><p>The function <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x785.png" xlink:type="simple"/></inline-formula> can also be represented by exponential terms and, rational functions of its roots can also be represented by the exponential forms. Since the function is analytic everywhere except for a simple pole with residue 1 at<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x785.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x786.png" xlink:type="simple"/></inline-formula>, the function</p><disp-formula id="scirp.65860-formula3773"><label>(226)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x787.png"  xlink:type="simple"/></disp-formula><p>is an entire function, and so one suspects that when the function vanishes, there exists an exponential representation of its roots <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x788.png" xlink:type="simple"/></inline-formula> in the rational form:</p><disp-formula id="scirp.65860-formula3774"><label>(227)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x789.png"  xlink:type="simple"/></disp-formula><p>Any form of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x790.png" xlink:type="simple"/></inline-formula> that expresses its roots as an entire function can be used to relate to exponential forms. There are many forms of the function that can be represented as rational functions of the roots when it vanishes. The exponential function is represented by the quotient of conjugate rational complex functions on the half-line:</p><disp-formula id="scirp.65860-formula3775"><label>(228)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x791.png"  xlink:type="simple"/></disp-formula><p>In all these instances one finds that if the roots are on the 1/2-line, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x792.png" xlink:type="simple"/></inline-formula> then the rational-functions<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x792.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x793.png" xlink:type="simple"/></inline-formula>, of the roots will give three possible but distinct cases for the exponential arguments<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x792.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x793.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x794.png" xlink:type="simple"/></inline-formula>, satisfying<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x792.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x793.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x794.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x795.png" xlink:type="simple"/></inline-formula>, where,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x792.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x793.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x794.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x795.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x796.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.65860-formula3776"><label>(229)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x797.png"  xlink:type="simple"/></disp-formula><p>with</p><disp-formula id="scirp.65860-formula3777"><label>(230)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x798.png"  xlink:type="simple"/></disp-formula><p>For the real arguments one finds that if the roots are on the 1/2-line then they must obey a certain symmetry that satisfies:</p><disp-formula id="scirp.65860-formula3778"><label>(231)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x799.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.65860-formula3779"><label>(232)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x800.png"  xlink:type="simple"/></disp-formula><p>If the complex roots obey the exponential relation (232) for the arguments, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x801.png" xlink:type="simple"/></inline-formula>, then only the fractional parts of the arguments contribute to the solution of (232) and thus all the complex roots of the function will be on the 1/2-line.</p><p>For the pure complex arguments, the roots will not satisfy the symmetry (223) since</p><disp-formula id="scirp.65860-formula3780"><label>(233)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x802.png"  xlink:type="simple"/></disp-formula><p>Exponential-functions with pure complex argument will not be found since the right-hand side is real while the left-hand side is pure complex. For solutions with arguments that are complex, if the roots are on the half line, they must satisfy the symmetry:</p><disp-formula id="scirp.65860-formula3781"><label>(234)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/7-5301015x803.png"  xlink:type="simple"/></disp-formula><fig id="fig7"  position="float"><label><xref ref-type="fig" rid="fig7">Figure 7</xref></label><caption><title> Values of iterations of the root s = −2</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/7-5301015x804.png"/></fig><fig id="fig8"  position="float"><label><xref ref-type="fig" rid="fig8">Figure 8</xref></label><caption><title> Values of iterations of the root s = −4</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/7-5301015x805.png"/></fig><fig id="fig9"  position="float"><label><xref ref-type="fig" rid="fig9">Figure 9</xref></label><caption><title> Values of iterations of the root s = −6</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/7-5301015x806.png"/></fig><fig id="fig10"  position="float"><label><xref ref-type="fig" rid="fig1">Figure 1</xref>0</label><caption><title> Values of iterations of the root s = −8</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/7-5301015x807.png"/></fig><table-wrap id="table3" ><label><xref ref-type="table" rid="table3">Table 3</xref></label><caption><title> Iterations of the arguments below seem to generatealmost periodic cycles of the set below</title></caption><table><tbody><thead><tr><th align="center" valign="middle" >−0.955672796977804042554378959475171320670</th></tr></thead><tr><td align="center" valign="middle" >−30.0000000063544093856041366895197085049</td></tr><tr><td align="center" valign="middle" >−41.9999999999999998574302112018735692239</td></tr><tr><td align="center" valign="middle" >−0.976512314920661294744350276007417719132</td></tr><tr><td align="center" valign="middle" >−22.0006303025081290011252788909666361481</td></tr><tr><td align="center" valign="middle" >−21.9855218713537597568162560452633382547</td></tr><tr><td align="center" valign="middle" >−21.9855320025224369786834301184732282964</td></tr></tbody></table></table-wrap><fig id="fig11"  position="float"><label><xref ref-type="fig" rid="fig1">Figure 1</xref>1</label><caption><title> Shows the plots of inverse iterates of real negative roots</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/7-5301015x808.png"/></fig><p>With the general condition that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/7-5301015x809.png" xlink:type="simple"/></inline-formula>, these solutions satisfy only the real negative even roots of the</p><p>function which are the only known real roots of the function. Thus if the roots are on the half-line, the only exponential arguments that will satisfy the roots are for the complex conjugate roots on the half-line. This indicates that the arguments that yield solutions to the vanishing of the Riemann-zeta function are symmetries that satisfy inverse tangent relations and as I will demonstrate in future papers that the arctangent symmetry (223) relates the Bernoulli numbers, Zeta functions, and the Gamma functions to prime numbers.</p></sec><sec id="s9"><title>9. Discussion of the Result</title><p>The convergence of Power towers relates the vanishing of the zeta function to the half-line. This relationship comes from the property of complex power towers of the exponential-form only converge to exponential functions relating the roots to the convergence. If one iterates backwards from a real root, one finds near misses of purely periodic states of the function as shown in Figures 7-11. Obviously if the cycle ever gets to be purely periodic then no roots can be generated since the periodic cycle will prevent any root from being generated backwards from the infinite past. <xref ref-type="table" rid="table3">Table 3</xref> shows the almost periodic cycles of the function that appears to dominate some roots. The inverse iterations seem to generate “very near root” misses.</p></sec><sec id="s10"><title>Cite this paper</title><p>Michael M. Anthony, (2016) The Towering Zeta Function. Advances in Pure Mathematics,06,351-392. doi: 10.4236/apm.2016.65026</p></sec></body><back><ref-list><title>References</title><ref id="scirp.65860-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Borwein, J.M. and Borwein, P.B. (1998) Pi and the AGM. Canadian Mathematical Society Series of Monographs and Advanced Texts, 4. John Wiley &amp; Sons Inc., New York. A Study in Analytic Number Theory and Computational Complexity; Reprint of the 1987 Original, A Wiley-Interscience Publication.</mixed-citation></ref><ref id="scirp.65860-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Corless, R.M., Jeffery, D.J. and Knuth, D. A Sequence of Series for the Lambert W Function. Department of Applied Mathematics, University of Western Ontario London, Canada.</mixed-citation></ref><ref id="scirp.65860-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Ehrhardt, W. (2014) The AMath and DAMath Special Functions. Reference Manual and Implementation Notes; Version 2.04, Including Complex Functions. http://creativecommons.org/licenses/by-nc-nd/3.0/</mixed-citation></ref><ref id="scirp.65860-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Dence, T.P. (2013) A Brief Look into the Lambert W Function. Applied Mathematics, 4, 887-892. http://dx.doi.org/10.4236/am.2013.46122</mixed-citation></ref><ref id="scirp.65860-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Shkliarski, D., Chentzov, N. and Yaglom, I. (1993) The USSR Olympiad Problem Book: Selected Problems and Theorems of Elementary Mathematics. Dover Publications, New York.</mixed-citation></ref><ref id="scirp.65860-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Anthony, M.M. The Principles of Causal Conspiracy Books 1&amp;2. Tate Publishing and Enterprises LLC.</mixed-citation></ref><ref id="scirp.65860-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Shell, D.L. (1959) Convergence of Infinite Exponentials. University of Cincinnati.</mixed-citation></ref><ref id="scirp.65860-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Thron, W.J. (1957) Convergence of Infinite Exponentials with Complex Elements. Proceedings of the American Mathematical Society, 8, 1040-1043. http://dx.doi.org/10.1090/S0002-9939-1957-0096054-X</mixed-citation></ref><ref id="scirp.65860-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Galidakis, I.N. (2004) On an Application of Lambert’s W Function to Infinite Exponentials. Complex Variables, Theory and Application, 49, 759-780. http://dx.doi.org/10.1080/02781070412331298796</mixed-citation></ref><ref id="scirp.65860-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Baker, I.N. and Rippon, P.J. (1985) A Note on Complex Iteration. The American Mathematical Monthly, 92, 501-504. http://www.jstor.org/stable/2322513</mixed-citation></ref><ref id="scirp.65860-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Titchmarsh, E.C. FRS; The Theory of the Riemann Zeta Function. Clarendon Press, Oxford University.</mixed-citation></ref><ref id="scirp.65860-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Berndt, B.C. (1939) Ramanujan’s Notebooks, Part 1. Springer Varlag.</mixed-citation></ref><ref id="scirp.65860-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Sloane, N.J.A. and Plouffe, S. (1995) The Encyclopedia of Integer Sequences. Academic Press.</mixed-citation></ref><ref id="scirp.65860-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Vassilev-Missana, M. (2010) Some Results on Infinite Power Towers. Notes on Number Theory and Discrete Mathematics, 16, 18-24. Int. Journal.</mixed-citation></ref><ref id="scirp.65860-ref15"><label>15</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Dubickas</surname><given-names> A. </given-names></name>,<etal>et al</etal>. (<year>2007</year>)<article-title>On the Powers of Some Transcendental Numbers</article-title><source> Bulletin of The Australian Mathematical Society</source><volume> 76</volume>,<fpage> 433</fpage>-<lpage>440</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.65860-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Anthony. M.M. A Simple Proof of the Riemann Hypothesis. http://empslocal.ex.ac.uk/people/staff/mrwatkin/zeta/RHproofs.htm</mixed-citation></ref><ref id="scirp.65860-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Lester, S.J. a-Points of the Riemann Zeta-Function on the Critical Line. arXiv:1402.0169v1 [math.NT].</mixed-citation></ref></ref-list></back></article>