<p>In this paper, we will extend Knuth’s up arrow notation <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(b \uparrow \uparrow n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo stretchy="false">↑</mo> <mo stretchy="false">↑</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>, which for integer <i>n</i> is <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(b^{b^{\cdot ^{\cdot ^{b}}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>b</mi> <msup> <mi>b</mi> <msup> <mo>·</mo> <msup> <mo>·</mo> <mi>b</mi> </msup> </msup> </msup> </msup> </math></EquationSource> </InlineEquation> with <i>n</i> <i>b</i>’s, to allow <i>n</i> to be a fraction, or even complex. We do this by first considering the unique complex tetration <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\kappa _b(z)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>κ</mi> <mi>b</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which satisfies the equations <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\kappa _b(z+1) = b^{\kappa _b(z)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>κ</mi> <mi>b</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mi>b</mi> <mrow> <msub> <mi>κ</mi> <mi>b</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\kappa _b(0)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>κ</mi> <mi>b</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, and then fix the value of <i>z</i> as we vary the base <i>b</i>. In particular, we will consider the “half-iterate,” which is the case with <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(z=1/2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>=</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, and analytically continue the function into the complex <i>b</i>-plane. To consider “third-iterates” and “fourth-iterates,” we also use 11 other values of <i>z</i>, namely 1/12, 1/6, 1/4, 1/3, 5/12, 7/12, 2/3, 3/4, 5/6, 11/12, and finally <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(z=i\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>=</mo> <mi>i</mi> </mrow> </math></EquationSource> </InlineEquation>. We make several discoveries by analyzing these functions. First of all, we discover that there is a branch cut at <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(b=e^{1/e}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>=</mo> <msup> <mi>e</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mi>e</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, and find that as we approach this point, the functions approach one of the known super-exponentials for the base <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(e^{1/e}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>e</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mi>e</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>. Also, we find that <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(b=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> is also a branch point, and discover what happens as the base approaches 1.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Analyzing the function \(z\uparrow \uparrow \!a\) for fractional a

  • William Paulsen

摘要

In this paper, we will extend Knuth’s up arrow notation \(b \uparrow \uparrow n\) b n , which for integer n is \(b^{b^{\cdot ^{\cdot ^{b}}}}\) b b · · b with n b’s, to allow n to be a fraction, or even complex. We do this by first considering the unique complex tetration \(\kappa _b(z)\) κ b ( z ) , which satisfies the equations \(\kappa _b(z+1) = b^{\kappa _b(z)}\) κ b ( z + 1 ) = b κ b ( z ) with \(\kappa _b(0)=1\) κ b ( 0 ) = 1 , and then fix the value of z as we vary the base b. In particular, we will consider the “half-iterate,” which is the case with \(z=1/2\) z = 1 / 2 , and analytically continue the function into the complex b-plane. To consider “third-iterates” and “fourth-iterates,” we also use 11 other values of z, namely 1/12, 1/6, 1/4, 1/3, 5/12, 7/12, 2/3, 3/4, 5/6, 11/12, and finally \(z=i\) z = i . We make several discoveries by analyzing these functions. First of all, we discover that there is a branch cut at \(b=e^{1/e}\) b = e 1 / e , and find that as we approach this point, the functions approach one of the known super-exponentials for the base \(e^{1/e}\) e 1 / e . Also, we find that \(b=1\) b = 1 is also a branch point, and discover what happens as the base approaches 1.