Professional Documents
Culture Documents
1 Introduction 2
8 Sundry Findings 25
8.1 Pythagorean Identities . . . . . . . . . . . . . . . . . . . . . . . . 25
8.2 Curvature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
8.3 The Inner Product on Level m . . . . . . . . . . . . . . . . . . . 28
8.4 Differentiation, Rotation and Displacement . . . . . . . . . . . . 29
8.5 The Roots of nth -Degree Polynomials . . . . . . . . . . . . . . . 31
9 Conclusion 34
3
E Derivation of the Broom Theorems 51
E.1 Sweeping Up . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
E.2 Sweeping Sideways . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4
Abstract
xi( )
22−m
e
Introduction
Asclepius, in days when we are young,
The Music of the Spheres we first hear sung!
Through straining then, to listen and to learn,
What revelries of truth one may discern!
2
5. Each generated function can be represented in terms of a combination of
hyperbolic and circular components. More precisely, every such function
is either ex , e−x , cos(x), sin(x), or a sum of products of either cosh(x) or
sinh(x) with either cos(x) or sin(x).
6. The set of functions generated at all levels defines an orthogonal basis for
the Taylor polynomials.
7. A geometric curvature can be associated with Taylor polynomials.
8. In certain cases, the roots of nth –degree polynomials can be found very
simply.
3
Chapter 2
Of all fractions, perhaps the simplest are those which are powers of two ( 21 , 14 , 18 ,
etc.). Consequently, in considering possible generalizations of Euler’s term eix
to fractional powers of i we are led naturally to the term
xi( )
22−m
e (2.1)
Where m is an integer. I call this the “magic suitcase”, because however much
one unpacks from this term, there is always more to be found.
While perhaps initially mysterious, the suitcase simply takes advantage of
the useful properties of powers of two, which interact very naturally with i. Each
value of m corresponds to a particular level, whose characteristics are outlined
below.
(22−1 ) (21 ) 2
exi = exi = exi = e−x
• For m = 2, we have
xi( ) xi( )
22−2 20 1
e =e = exi = eix
4
This gives us the traditional Euler term, corresponding to a circle in the
complex plane.
• For m = 3, we have
so
(22−m )
lim exi = ex
m→∞
(2m −1)/2m−1
eθi (2.2)
1 http://www.google.com/patents?vid=USPAT5563556
5
Chapter 3
The Geometric
Interpretation
2−m ) 2−m )
i(2 = (eiπ/2 )(2 (3.1)
2−m 2−m
By replacing i(2 )
with (eiπ/2 )(2 )
in the suitcase, we can express it
equivalently as
x(eiπ/2 ) (
22−m )
xi( )
22−m
e = e (3.2)
(
(iπ/2) 22−m )
= exe (3.3)
(
iπ 21−m )
= exe (3.4)
We can now invoke Euler’s formula to break apart the upper exponent:
6
(
iπ 21−m ) 1−m 1−m
exe = ex(cos(π2 )+i sin(π2 )) (3.6)
1−m 1−m
= ex cos(π2 ) eix sin(π2 ) (3.7)
and therefore
xi( )
22−m 1−m
) ix sin(π21−m )
e = ex cos(π2 e (3.8)
1−m
The first factor of Equation (3.8), ex cos(π2 )
, is a pure real-valued expo-
ix sin(π2 1−m )
nential. The second factor, e , defines a circle in the complex plane
with period 2π/ sin(π21−m ). Multiplying these two factors together, we have a
“growing circle”: that is, a spiral.
As m increases, we have
lim cos(π21−m ) = 1 (3.9)
m→∞
lim sin(π21−m ) = 0 (3.10)
m→∞
Consequently, with increasing m the exponential term grows faster, and the
spiral rotation “slows down” (period increases).
(22−m )
Regardless of the value of m, for x = 0 we have exi = e0 = 1. There-
fore, every spiral “starts” on the real axis of the complex plane, at the point
(1, 0). As m increases, the period also increases: in the limit of large m, the
spiral “slows down” its rotation to the degree that it never gets off the real axis.
(22−m )
This is the geometric interpretation of the fact that exi converges back to
ex as m → ∞.
For clarity, let us look at Equation (3.8) for particular values of m.
7
• For m = 2, cos(π21−m ) = 0 and sin(π21−m ) = 1, so
1−m
) ix sin(π21−m )
ex cos(π2 e = eix
1−m
) ix sin(π21−m )
ex cos(π2 e = ex
(22−m )
exi = (cosh(cos(π21−m )x) + sinh(cos(π21−m )x)) · (3.12)
(cos(sin(π21−m )x) + i sin(sin(π21−m )x))
8
Chapter 4
∞
X (ix)t
eix = (4.1)
t=0
t!
(ix)2 (ix)3
= 1 + (ix) + + + ... (4.2)
2! 3!
x2 ix3
= 1 + ix − − + ... (4.3)
2! 3!
x2 x3
= (1 − + . . .) + i(x − + . . .) (4.4)
2! 3!
∞ ∞
X x2t X x2t+1
= +i (4.5)
t=0
(2t)! t=0
(2t + 1)!
= cos(x) + i sin(x) (4.6)
Precisely the same procedure can be followed to generate functions for any
m-value of the suitcase. For m = 3, we have
9
∞
xi1/2
X (xi1/2 )t
e = (4.7)
t=0
t!
(xi1/2 )2 (xi1/2 )3
= 1 + (xi1/2 ) + + + (4.8)
2! 3!
(xi1/2 )4 (xi1/2 )5 (xi1/2 )6 (xi1/2 )7
+ + + + . . . (4.9)
4! 5! 6! 7!
x2 x3
= 1 + i1/2 x + i1 + i3/2 + (4.10)
2! 3!
x4 x5 x6 x7
− − i1/2 − i1 − i3/2 + . . . (4.11)
4! 5! 6! 7!
x4 x5
= (1 + − + . . .) + i1/2 (x − + . . .) + (4.12)
4! 5!
x2 x6 x3 x7
i( − + . . .) + i3/2 ( − + . . .) (4.13)
2! 6! 3! 7!
= ψ3,0 (x) + i1/2 ψ3,1 (x) + iψ3,2 (x) + i3/2 ψ3,3 (x) (4.14)
Where
∞
X x4t
ψ3,0 (x) ≡ (4.15)
t=0
(4t)!
∞
X x4t+1
ψ3,1 (x) ≡ (4.16)
t=0
(4t + 1)!
∞
X x4t+2
ψ3,2 (x) ≡ (4.17)
t=0
(4t + 2)!
∞
X x4t+3
ψ3,3 (x) ≡ (4.18)
t=0
(4t + 3)!
(4.19)
1
The general relationship for any m is
d2m−1 e−1
xi(
22−m ) X 2−m
e = in2 ψmn (x) (4.20)
n=0
1 The proof of this equation is simply a generalization of the above m = 3 discussion: see
Appendix A.
10
where
∞ m−1
X
td21−m e xtd2 e+n
ψmn (x) = (−1) (4.21)
t=0
(td2m−1 e + n)!
The ceiling functions are there to handle boundary cases correctly. The
ceiling function prevents 2m−1 from taking on a fractional value for m ≤ 0. In
Equation (4.21) the factor d21−m e “turns off” the sign alternation of terms for
m ≤ 0, corresponding the function ex .
Here are some interesting points about Equations (4.20) and (4.21).
11
Chapter 5
The Algebraic
Interpretation
(22−m )
In Chapter 4, we saw how to express the functions generated by exi as
Taylor series. Is it also possible to describe these same functions in terms of
familiar algebraic expressions? In this chapter, we shall see that it is.
From Chapter 4 we know that
4
ψ0,0 (x) = ex = exi (5.1)
2
ψ1,0 (x) = e−x = exi (5.2)
1 ix −ix
1 xi1 xi3
ψ2,0 (x) = cos(x) = e +e = e +e (5.3)
2 2
Note that
4 if m = 0;
22−m = 2 if m = 1; (5.4)
1 if m = 2.
(22−m )
So the above equations all have exi as the first term. Notice also that the
above three equations can be described by the rules
(22−m )
• Start with the term exi
12
(2m−2 ) (1+2)
• If 2m−2 (1 + 2) < 4, add the term exi
1 xi1/2
? xi3/2 xi5/2 xi7/2
ψ3,0 (x) = e +e +e +e (5.5)
4
d2m−1 e−1
? 1 X (2p+1)22−m
ψm,0 (x) = exi (5.8)
d2m−1 e p=0
To prove Equation (5.8), it is useful to define a function Em,0 (x) with the
above property. By definition
d2m−1 e−1
1 X (2p+1)22−m
Em,0 (x) ≡ exi (5.9)
d2m−1 e p=0
If we assume Em,0 (x) = ψm,0 (x), it follows that the derivative and integrals
of Em,0 (x) must be equal to the derivatives and integrals of ψm,0 (x). By in-
spection, taking the integrals of Equation (5.9) with integration constant zero,
we define
1 “hypothesize”
2 There is a tension between simple exposition, on the one hand, and a certain realism
about how results are actually found on the other. In practice, I found the m = 3 relationship
by means less than pretty, not suitable for a family monograph, then guessed the general
relationship.
13
d2m−1 e−1
1 X 2−m (2p+1)22−m
Emn (x) ≡ i−n(2p+1)2 exi (5.10)
d2m−1 e p=0
With the above definition of Emn (x), we can then prove that for all m,
d2m−1 e−1
xi(
22−m ) X 2−m
e = in2 Emn (x) (5.12)
n=0
Since ψmn (x) is always a real-valued function, it follows that Emn (x) must
also be always real-valued. This is rather surprising, given that for n 6= 0 the
terms of Emn (x) have imaginary coefficients. With each successive differen-
tiation of Emn (x) a shower of imaginary factors descend from the exponents
to become coefficients; and yet the imaginary part of Emn (x) always exactly
cancels out to produce a purely real result. It is a most delicate dance.
Let us examine Emn (x) in more detail. For m = 3, we have
14
1/2
i1/2 = eiπ/2 (5.14)
= eiπ/4 (5.15)
π π
= cos( ) + i sin( ) (5.16)
4 4
1 1
= √ + i√ (5.17)
2 2
3/2
i3/2 = eiπ/2 (5.18)
i3π/4
= e (5.19)
3π 3π
= cos( ) + i sin( ) (5.20)
4 4
1 1
= −√ + i√ (5.21)
2 2
5/2
i5/2 = eiπ/2 (5.22)
= ei5π/4 (5.23)
5π 5π
= cos( ) + i sin( ) (5.24)
4 4
1 1
= −√ − i√ (5.25)
2 2
7/2
i7/2 = eiπ/2 (5.26)
i7π/4
= e (5.27)
7π 7π
= cos( ) + i sin( ) (5.28)
4 4
1 1
= √ − i√ (5.29)
2 2
And hence
15
1 x/√2 xi/√2 √ √
E3,0 (x) = (e e + e−x/ 2 exi/ 2 + (5.30)
4 √ √ √ √
e−x/ 2 e−xi/ 2 + ex/ 2 e−xi/ 2 )
√ √ √
E3,0 (x) = 14 ( ex/ 2 (exi/ 2
+ e−xi/ 2 ) + (5.31)
√ √ √
e−x/ 2 (exi/ 2
+ e−xi/ 2 ))
1 √ √ √ √
E3,0 (x) = ((ex/ 2 + e−x/ 2 )(exi/ 2 + e−xi/ 2 )) (5.32)
4
x x
E3,0 (x) = cosh( √ ) cos( √ ) (5.33)
2 2
Following the differentiation rule for ψmn (x) given in Chapter 4, we obtain
x x
E3,0 (x) cosh( √ ) cos( √ )
= (5.34)
2 2
1 x x x x
E3,1 (x) = √ (cosh( √ ) sin( √ ) + sinh( √ ) cos( √ )) (5.35)
2 2 2 2 2
x x
E3,2 (x) = sinh( √ ) sin( √ ) (5.36)
2 2
1 x x x x
E3,3 (x) = √ (cosh( √ ) sin( √ ) − sinh( √ ) cos( √ )) (5.37)
2 2 2 2 2
(5.38)
d2m−3 e−1
1 X
Em,0 (x) = cosh(cp x) cos(sp x) (5.39)
d2m−3 e p=0
16
cp ≡ cos(π(2p + 1)21−m ) (5.40)
sp ≡ sin(π(2p + 1)21−m ) (5.41)
From Em,0 (x), we can obtain Emn (x) for all n by repeated differentiation
or integration. Alternatively, one can find Emn (x) from the following equation
(see Appendix C)
d2m−1 e−1
1 X m−2
Emn (x) = i−n(2p+1)2 · (5.42)
d2m−1 e p=0
(cosh(cp x) cos(sp x) + sinh(cp x) cos(sp x) +
i cosh(cp x) sin(sp x) + i sinh(cp x) sin(sp x))
For concreteness, the algebraic view of the Cairns functions for m ≤ 4 are
given in Appendix G.
Recall from Chapter 4 that ψmn (x) is symmetric if n is even, and anti-
symmetric if n is odd. The same rule must hold for Emn (x), since Emn (x) =
ψmn (x). From the Emn (x) perspective, the symmetry rules hold because cosh(x)
and cos(x) are symmetric functions, and sinh(x) and sin(x) are antisymmetric.
The product of two symmetric functions or two anti-symmetric functions is
symmetric, and the product of a symmetric with an anti-symmetric function is
anti-symmetric. For even n, Emn (x) is a sum of products of the (symmetric)
cosh(x) cos(x) and sinh(x) sin(x); for odd n, Emn (x) is a sum of products of the
(anti-symmetric) cosh(x) sin(x) and sinh(x) cos(x).
17
Chapter 6
∞
X xt x2 x3
ex = =1+x+ + + ... (6.1)
t=0
t! 2! 3!
By inspection of Equation (4.21), we see that every ψmn (x) can be derived
from the Taylor series for ex by taking the terms of ex and multiplying each
of them by either −1, 0, or 1. More explicitly, we can build the below table,
in which each entry gives the coefficient of a particular ψmn (x) for a particular
term in ex .
x2 x3 x4 x5 x6 x7
1 x 2! 3! 4! 5! 6! 7! ...
ψ0,0 (x) = ex 1 1 1 1 1 1 1 1 ...
ψ1,0 (x) = e−x 1 -1 1 -1 1 -1 1 -1 ...
ψ2,0 (x) = cos(x) 1 0 -1 0 1 0 -1 0 ...
ψ2,1 (x) = sin(x) 0 1 0 -1 0 1 0 -1 ...
ψ3,0 (x) 1 0 0 0 -1 0 0 0 ...
ψ3,1 (x) 0 1 0 0 0 -1 0 0 ...
ψ3,2 (x) 0 0 1 0 0 0 -1 0 ...
ψ3,3 (x) 0 0 0 1 0 0 0 -1 ...
.. .. .. .. .. .. .. .. .. ..
. . . . . . . . . .
18
consider only the first M levels and the first L ≡ 2M terms from functions in
each of these levels. We recover the full Cairns space in the limit as M → ∞.
m−1
(−1)t÷2 if n = t mod 2m−1 and 0 ≤ t < L;
~vm,n,L (t) = (6.2)
0 Otherwise.
for
M ≥ 0 (6.3)
L = 2M (6.4)
m = 0, 1, . . . , M (6.5)
n = 0, 1, . . . , d2m−1 e − 1 (6.6)
Notice that L is equal to the total number of Cairns functions through level
M . More explicitly,
M L # of Functions Functions
0 1 1 ψ0,0 (x)
1 2 2 ψ0,0 (x), ψ1,0 (x)
2 4 4 ψ0,0 (x), ψ1,0 (x), ψ2,0 (x), ψ2,1 (x)
3 8 8 ψ0,0 (x), ψ1,0 (x), ψ2,0 (x), ψ2,1 (x), ψ3,0 (x), ψ3,1 (x), ψ3,2 (x), ψ3,3 (x)
... ... ... ...
This is a quite useful feature. It tells us that the first L vectors as defined
above form an orthogonal set covering all Taylor series with degree less than L.
Consequently, any Taylor polynomial can be reversibly projected onto (a
finite approximation of) Cairns space simply by computing a series of L dot
products. And since the vectors to be projected onto contain only −1, 0 and 1
entries, computing the dot products requires only addition and subtraction of
the terms in the Taylor series, followed by a divide to scale for the length of the
vector projected onto.
We can normalize the vectors defined above into an orthonormal basis set
by dividing each by its length. Since the fraction of terms that are non-zero at
1 L
level m is d2m−1 e , the number of non-zero terms in ~
vm,n,L is d2m−1 e . Since the
non-zero terms are all either 1 or −1, the vector length is
p
||~vm,n,L || = L/d2m−1 e (6.8)
19
~vm,n,L
v̂m,n,L = (6.9)
||~vm,n,L ||
In this chapter, we have seen that any function defined by a Taylor series
can be trivially and reversibly mapped onto the Cairns functions by orthogonal
projection. Once this mapping is complete, the function can be viewed in terms
of its hyperbolic and circular components, simply by switching to the algebraic
(Em,n (x)) interpretation.
Doing so provides a decomposition similar to Fourier analysis; but while
Fourier analysis represents only the periodic properties of the source function,
Cairns space provides a balanced treatment of both exponential and periodic
characteristics.
It may also be of interest that after projecting onto Cairns space one can
measure a curvature associated with a function, in the sense outlined in Sec-
tion 8.2, by calculating the relative weight of the projection on higher m-levels.
20
Chapter 7
While the ψm,n (x) functions define linearly-independent vectors, in the sense
described in Chapter 6, there are methods to move between them using non-
linear transforms. I call the methods for doing so the “broom theorems”, since
they allow information to be “swept” to different parts of Cairns space. To
sweep up or down through the levels of Cairns space requires imaginary factors.
It is also possible to “sweep sideways” at a particular level, through use of a
displacement.
Roughly speaking,
7.1 Sweeping Up
To move from a lower to a higher m-level, we have
21
c−1
mu −1 e+n)/d2mv −2 e
X
ψmu ,n (x) = i(−pd2 · (7.1)
p=0
mu −1 e
(−1)pd2 ·
2−mv
ψ(mv ,td2mu −1 e+n) (xi(2 )
)
Where 0 ≤ mu < mv and c ≡ 2mv −1 /d2mu −1 e
Here are examples, which can be checked by expanding their Taylor series.
ψ2,1 (x) = i−1/4 ψ4,1 (i1/4 x)−i−3/4 ψ4,3 (i1/4 x)+i−5/4 ψ4,5 (i1/4 x)−i−7/4 ψ4,7 (i1/4 x)
2−mv
The i(2 ) factor in the ψ
mu ,n argument is designed to provide a sign
alternation every 2mv −1 terms, which corresponds to the sign alternation pattern
for level mv . The (2p + 1) factor is designed to cancel out the unwanted terms
22
2−mv
at level mu . The coefficient of i−n(2p+1)(2 ) performs a shift to handle n > 0
correctly.
Notice that in the special case mu = 0, Equation (7.2) reduces to Equa-
tion (5.10). From this viewpoint, Equation (5.10) is simply the special case
where one sweeps down to level m = 0. The proof of Equation (7.2) is there-
fore similar to the proof of Equation (5.10), differing in the number of stages
required.
Here are some examples.
d2m−1 e−1
X
ψm,n (x) = whole(n − p)ψm,p (x − a)ψm,(n−p)modd2m−1 e−1 (a) (7.3)
p=0
23
For instance,
ψ3,0 (x) = ψ3,0 (x−a)ψ3,0 (a)−ψ3,1 (x−a)ψ3,3 (a)−ψ3,2 (x−a)ψ3,2 (a)−ψ3,3 (x−a)ψ3,1 (a)
24
Chapter 8
Sundry Findings
This chapter collects findings that are either not sufficiently important, or not
sufficiently developed, to merit their own chapters.
With
Since the left sides of Equations (8.1) and (8.5) are equal, the right sides
must also be equal: hence, cos2 (x) + sin2 (x) = 1.
Precisely the same procedure can be completed for m = 3, although the
algebra is slightly more complicated. One finds
1/2 1/2
exi e−xi = e0 = 1 (8.6)
25
And
1/2 1/2
1 3
exi e−xi = ψ3,0 (x) + i 2 ψ3,1 (x) + iψ3,2 (x) + i 2 ψ3,3 (x) · (8.7)
1 3
ψ3,0 (x) − i 2 ψ3,1 (x) + iψ3,2 (x) − i 2 ψ3,3 (x)
2 2
1 = (ψ3,0 (x) − ψ3,2 (x) + 2ψ3,1 (x)ψ3,3 (x)) + (8.8)
2 2
i(ψ3,3 (x) − ψ3,1 (x) + 2ψ3,0 (x)ψ3,2 (x)) (8.9)
Since the left-side of the above has no imaginary part, we have the two
identities
2 2
1 = ψ3,0 (x) − ψ3,2 (x) + 2ψ3,1 (x)ψ3,3 (x) (8.10)
2 2
0 = ψ3,3 (x) − ψ3,1 (x) + 2ψ3,0 (x)ψ3,2 (x) (8.11)
The differential relationships between the ψ3,n (x) allow us the option to
write these identities equivalently as
ψ (x) ψ3,1 (x) ψ3,2 (x) ψ3,3 (x)
1 = 3,0
−
ψ03,0 (x) ψ03,1 (x) ψ03,2 (x) ψ03,3 (x)
and
ψ (x) ψ3,3 (x) ψ3,1 (x) ψ3,2 (x)
0 = 3,0
−
ψ03,0 (x) ψ03,3 (x) ψ03,1 (x) ψ03,2 (x)
26
Yet another way of representing these identities involves the natural loga-
rithm.
And similarly
d2 2 d2 2
0=− 2
(ln(ψ3,0 (x))) ψ3,0 (x) + 2 (ln(ψ3,2 (x))) ψ3,2 (x)
dx dx
These relationships exist in simpler form at m = 2 with ψ2,0 (x) = cos(x)
and ψ2,1 (x) = sin(x). For instance,
8.2 Curvature
Equation (3.8) can be thought of as defining a triangle with angle x sin(π21−m )
1−m
and magnitude ex cos(π2 )
.
Let us define
θm ≡ x sin(π21−m ) (8.21)
x cos(π21−m )
Lm ≡ e (8.22)
27
the summation as x increases, since they grow more rapidly with x. This implies
that as x increases, the composite triangle will become more narrow; or, put
differently, the angle between the sides of the triangle depends on the length of
the sides. This is a characteristic of non-Euclidean geometry.
For negative x, as the magnitude of x increases the relative influence of the
higher m-levels will decline, because they decrease more rapidly with negative
x.
If we view from the perspective of (say) level m = 5, the composite triangle
will appear to narrow with increasing positive x, and widen with decreasing neg-
ative x. The former corresponds to elliptical geometry, the latter to hyperbolic
geometry.
Note that m = 2 provides a perfectly Euclidean geometry.
28
• For m = 1, Equation (8.24) reduces to
For m ≥ 3 the inner product becomes more complex, but no less interesting.1
Notice that only for m = 2, corresponding to Euler’s formula, is the inner
product independent of x. This is to be expected:2 only for m = 2 does the
(22−m )
suitcase term exi correspond to a perfect circle, with no growth term.
29
For conciseness, define the displacement
2−m )
∆m ≡ iπ21−m i−(2 (8.40)
Then
• For m = 0, ∆0 = 2πi;
• For m = 1, ∆1 = −πi;
• For m = 2, ∆2 = π/2;
• For m = 3, ∆3 = πi1/2 /4;
• For m = 4, ∆4 = πi3/4 /8
d −x
e = e−(x+∆m ) = e−x+πi = e−x eπi = e−x (−1) = −e−x
dx
Since
d2m−1 e−1
xi( )
22−m X 2−m
e = in2 Emn (x) (8.42)
n=0
30
Note, however, that the above is a statement about the summation as a
whole, not about particular terms in the summation. In particular, for m ≥ 3
it is not true that4
?
Em,n<d2m−1 e−1 (x) = Em,n+1 (x + ∆m ) False! (8.44)
a b
L cos(x) − sin(x) = 0 (8.46)
L L
√
for L ≡ a2 + b2 .
a b
L and L are now in the form of the cos and sin of some angle α, defined by
a a
cos(α) = ⇒ α = arccos( ) (8.47)
L L
Or equivalently
b b
sin(α) = ⇒ α = arcsin( ) (8.48)
L L
α is the angle formed by a right triangle with sides a and b and hypotenuse
L.
This gives us
31
Or
L cos(α + x) = 0 (8.50)
This is a remarkable relationship. It says that any sum of a cos and sin
function with the same period is equal to a single shifted, scaled cos function.
And while it is not clear for what values of x
is true,
L cos(α + x) = 0 (8.52)
obviously holds when x = ±π/2 − α. The roots are found simply by rotating
by ±π/2 from −α.
Does a generalization of the above hold for Cairns space generally? If so,
one could imagine solving for the roots of polynomials by projecting onto Cairns
space and performing rotations.
Here is an intriguing special case. From Equation (3.8) we know that the
(22−m )
real and imaginary parts of exi are respectively
1−m )
Rm (x) = ex cos(π2 cos(x sin(π21−m )) (8.53)
x cos(π21−m ) 1−m
Im (x) = e sin(x sin(π2 )) (8.54)
Im (x)
= tan(x sin(π21−m )) (8.55)
Rm (x)
From Equation (5.12) we know that Em,n (x) has associated with it a coef-
2−m
ficient of in(2 ) . We may split this into real and imaginary components as
follows.
2−m
in(2 ) = eiπn(21−m ) = cos(πn21−m ) + i sin(πn21−m ) (8.56)
32
d2m−1 e−1
X
Rm (x) = cos(πn21−m )Emn (x) (8.57)
n=0
d2m−1 e−1
X
Im (x) = sin(πn21−m )Emn (x) (8.58)
n=0
d2m−1 e−1
X
an Emn (x) = 0 (8.59)
n=0
−kR
x = arctan( )/ sin(π21−m ) (8.61)
kI
One can imagine using the broom theorems, or other means, to collect the
projection of a polynomial onto a single level, then distribute it according to the
natural coefficients. However, If there is a general solution to the problem of
finding polynomial roots in Cairns space I have not found it as yet, and not for
lack of trying. I will not describe here the techniques that do not work, for the
enumeration is dismal; and the hand of time is fleeting, and my cigar is burning
out.
6 Incidentally, there is a “hyperbolic dual” in which one uses Equation (3.12) to break the
33
Chapter 9
Conclusion
But we are not conceived as angels are:
A thousand mindless cares our minds must mar,
Whose troubled tides, through time, turn tyrannous tsar.
(22−m )
In this monograph, the nine characters of the suitcase, exi , have been
unpacked to some sixty pages; and it is clear that we have seen neither the sides
nor the depths of the matter.
There is an interesting debate as to whether mathematics is invented or
discovered. On my own experience, I must come down solidly on the side of
discovered. I could not have invented the magic suitcase, simply because it is
much smarter than I am.
I found what I would not have imagined, nor thought possible if imagined,
nor known how to achieve if thought possible. I stumbled across things, very
much like a child at the beach, or (in my better moments) like an archaeologist
carefully excavating a buried palace. I learned mathematics by studying the
suitcase; I taught it nothing.
I have a strong sense of mathematics as existing in a “place”. A place very
different from what we are used to, to be sure, but a place nonetheless. If
one asks if it is a place as real as one on Earth, I would say “more real”. It
existed before our planet was formed, it will exist after the Earth is gone; it is
independent of our universe itself. And it is independent of ourselves as well.
No one can carve their initials in the sides of mathematics.
There is something glorious about learning mathematics, but a kind of sad-
ness as well. I do not fully understand what the suitcase entails, and I very
much suspect that I never will. I am conscious of dimly viewing a garden to
which I can never find the key, and can never be admitted.
34
Appendix A
Derivation of ψmn(x)
In Chapter 4, it was stated that by grouping terms with like coefficients of i one
could write the suitcase as
d2m−1 e−1
xi(
22−m ) X 1−m
e = in2 ψmn (x) (A.1)
n=0
where
∞ m−1
X
td21−m e xtd2 e+n
ψmn (x) = (−1) (A.2)
t=0
(td2m−1 e + n)!
2−m
t
(22−m )
∞
X xi(2 )
exi ≡ (A.3)
t=0
t!
2−m
∞
X xt i(t2 )
= (A.4)
t=0
t!
Notice that
2−m
i(t2 ) = −1
35
Occurs when
After t = 2m−1 terms the pattern of i exponents will repeat, with sign
reversed. Let us call this the “step size”.
Since we are interested in grouping terms with like factors of i, we need to
collect terms that are separated by the step size. This gives us (roughly)
d2m−1 e−1
(22−m )
in(2 )
2−m
X
exi = (A.7)
n=0
∞ m−1
X xt2 +n
t
· (−1) (A.8)
t=n
(t2m−1 + n)!
Essentially, we simply define ψmn (x) by the second summation in the above
equation. The one remaining issue is to handle the case m ≤ 0 correctly, which
corresponds to the function ex .
Comparison with the Taylor series for ex suggests that we change 2m−1 to
m−1
d2 e. This prevents 2m−1 from becoming fractional for m ≤ 0, and provides
the correct behavior for ex . (Of course, the ceiling functions have no effect for
m ≥ 1.)
The second issue for m ≤ 0 is to get the sign right. For m ≤ 0 the step size
t = 2m−1 is less than one; the meaning is that the sign never changes.1 We can
handle this special case adequately, if not entirely elegantly, by writing
∞ m−1
X
td21−m e xtd2 e+n
ψmn (x) = (−1) (A.9)
t=0
(td2m−1 e + n)!
For m ≥ 1 the d21−m e factor is simply 1 and has no effect. For m ≤ 0 this
factor will be a power of two; since −1 raised to any power of two is 1, this has
the effect of preventing a sign change between terms.2
1 More precisely, it implies that the sign changes at least twice between adjacent terms, so
that by the time one gets to the next term the sign is back where it was.
2 In the software industry, this would be known as a “hack”. I prefer the phrase “adequate,
36
Appendix B
This appendix proves that as claimed by Equation (5.11), the Taylor series view
(22−m )
of the components of exi , given by ψmn (x), is equivalent to the algebraic
view of the components given by Emn (x).
To review, these two views of the suitcase are defined by
∞ m−1
X 1−m e xtd2 e+n
ψmn (x) = (−1)td2 (B.1)
t=0
(td2m−1 e + n)!
d2m−1 e−1
1 X 2−m (2p+1)22−m
Emn (x) ≡ i−n(2p+1)2 exi (B.2)
d2m−1 e p=0
Note that it is sufficient to prove the case for Em,0 (x) = ψm,0 (x). Since the
ψmn (x) and Emn (x) can be defined by differentiation (or integration) of ψm,0 (x)
and Em,0 (x) respectively, the equivalence of Em,0 (x) and ψm,0 (x) implies the
equivalence of all other functions in their respective families.
The proof proceeds by expanding Em,0 (x) as a sum of Taylor series, then
recursively canceling terms until we are left with ψm,0 (x).
d2m−1 e−1
1 X (2p+1)22−m
Em,0 (x) ≡ exi (B.3)
d2m−1 e p=0
t
d2m−1 e−1 ∞ (2p+1)22−m
1 X X xi
= (B.4)
d2m−1 e p=0 t=0
t!
37
where in the last step we expanded the exponential as a Taylor series. Next,
split the series into 2m−1 overlapping summations, with index n. This gives us
Next, split the above summation into two parts, essentially comparing the
first and second quadrants of the complex plane to the third and fourth quad-
rants. We obtain
38
Reparameterizing the second sum gives
d2m−2 e−1
X 2−m
= (−1)t in(2p+1)(2 )
(B.14)
p=0
d2m−2 e−1
m−2
]+1)(22−m )
X
+ (−1)t in(2[p+2 (B.15)
p=0
d2m−2 e−1
X 2−m
= (−1)t in(2p+1)(2 )
(B.16)
p=0
d2m−2 e−1
X 2−m
+ (−1)t in(2p+1)(2 ) 2n
i (B.17)
p=0
d2m−2 e−1
X 2−m
= (−1)t in(2p+1)(2 )
(B.18)
p=0
d2m−2 e−1
X 2−m
+ (−1)t in(2p+1)(2 )
(−1)n (B.19)
p=0
The two summations differ only by a factor of (−1)n : consequently, the sum
will be zero for any odd n. For even n, the two sums are equal, so we can rewrite
the summation as
d2m−2 e−1
X
2(−1)t in(2p+1) 22−m (B.20)
p=0
We can again split the summation in two, to compare the first quadrant to
the second quadrant. We find
39
d2m−3 e−1 d2m−3 e−1
t n(2p+1)(22−m ) m−2
]+1)(22−m )
X X
(−1) i + −1t in(2[p+2 (B.22)
p=0 p=0
d2m−3 e−1 d2m−3 e−1
t n(2p+1)(22−m ) 2−m
X X
= (−1) i + (−1)t in(2p+1)(2 ) n
i (B.23)
p=0 p=0
40
Appendix C
Factoring Emn(x)
This appendix derives Equations (5.39) and (5.42), relating to the factors of
Em,n (x).
d2m−3 e−1
1 X
Em,0 (x) = cosh(cp x) cos(sp x) (C.1)
d2m−3 e p=0
d2m−1 e−1
1 X (2p+1)22−m
Em,0 (x) ≡ exi (C.4)
d2m−1 e p=0
d2m−2 e−1 d2m−1 e−1
1 X (2p+1)22−m X (2p+1)22−m
Em,0 (x) = exi + exi (C.5)
d2m−1 e p=0 p=d2m−2 e
41
The general idea is to build cos(x) terms by combining terms between the two
summations. We will then repeat the process to build the cosh(x) terms. To
begin, we first reparameterize the second summation.
d2m−2 e−1
(2p+1)22−m i2
X
= exi (C.7)
p=0
m−1 22−m )
Noting that i2 = i(2 , we can write
42
d2m−2 e−1
(2(d2m−2 e−1−p)+1)22−m i2
X
exi (C.9)
p=0
d2m−2 e−1
(2m−1 +2(d2m−2 e−1−p)+1)22−m
X
= exi (C.10)
p=0
d2m−2 e−1
(2m−1 +(2m−1 −2−2p)+1)22−m
X
= exi (C.11)
p=0
d2m−2 e−1
(2m −1−2p)22−m
X
= exi (C.12)
p=0
d2m−2 e−1
4 i(−2p−1)22−m
X
= exi (C.13)
p=0
d2m−2 e−1
−(2p+1)22−m
X
= exi (C.14)
p=0
d2m−2 e−1 d2m−2 e−1
1 X (2p+1)22−m
X −(2p+1)22−m
Em,0 (x) = exi + exi
d2m−1 e p=0 p=0
(C.15)
i = eiπ/2
43
(2p+1)22−m −(2p+1)22−m
exi + exi
(iπ(2p+1)22−m )/2 −(iπ(2p+1)22−m )/2
= exe + exe
= ex(cos(π(2p+1)2 )+i sin(π(2p+1)2 )) + ex(cos(−π(2p+1)2 )+i sin(−π(2p+1)2 ))
1−m 1−m 1−m 1−m
1−m
1−m 1−m
= ex cos(π(2p+1)2 ) eix sin(π(2p+1)2 ) + eix sin(−π(2p+1)2 )
1−m
= ex cos(π(2p+1)2 ) (cos(x sin(π(2p + 1)21−m )) + i sin(x sin(π(2p + 1)21−m ))
+ cos(x sin(−π(2p + 1)21−m )) + i sin(x sin(−π(2p + 1)21−m )))
1−m
= ex cos(π(2p+1)2 ) (cos(x sin(π(2p + 1)21−m )) + i sin(x sin(π(2p + 1)21−m ))
+ cos(x sin(π(2p + 1)21−m )) − i sin(x sin(π(2p + 1)21−m )))
1−m
= ex cos(π(2p+1)2 ) 2 cos(x sin(π(2p + 1)21−m ))
1−m )
= 2ex cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m ))
d2m−2 e−1
1 X 1−m )
Em,0 (x) = 2ex cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m ))
d2m−1 e p=0
d2m−2 e−1
1 X 1−m )
= ex cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m ))
d2m−2 e p=0
1−m
The next step is to collapse the ex cos(π(2p+1)2 ) factors to pro-
duce cosh(x). We proceed as above, splitting the series in two,
reparameterizing, reversing direction and grouping terms.
44
Em,0 (x)
d2m−2 e−1
1 X 1−m )
= ex cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m ))
d2m−2 e p=0
d2m−3 e−1
1 X 1−m )
= ( ex cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m ))
d2m−2 e p=0
d2m−2 e−1
1−m )
X
+ ex cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m )))
p=d2m−3 e
d2m−2 e−1
1−m )
X
ex cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m ))
p=d2m−3 e
d2m−3 e−1
m−3 )+1)21−m )
X
= ex cos(π(2(p+2 cos(x sin(π(2(p + 2m−3 ) + 1)21−m ))
p=0
d2m−3 e−1
1−m +π/2)
X
= ex cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m + π/2))
p=0
d2m−3 e−1
1−m +π/2)
X
ex cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m + π/2))
p=0
d2m−3 e−1
m−3 e−1−p)+1)21−m +π/2)
X
= ex cos(π(2(d2
p=0
45
Two useful identities are
cos(π − k) = − cos(k)
sin(π − k) = − sin(k)
Using these identities, the summation reduces further to
d2m−3 e−1
1−m )
X
ex cos(π−π(2p+1)2 cos(x sin(π − π(2p + 1)21−m ))
p=0
d2m−3 e−1
1−m )
X
= e−x cos(π(2p+1)2 cos(−x sin(π(2p + 1)21−m ))
p=0
d2m−3 e−1
1−m )
X
= e−x cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m ))
p=0
Em,0 (x)
d2m−2 e−1
1 X 1−m )
= ex cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m ))
d2m−2 e p=0
d2m−3 e−1
1 X 1−m ) 1−m )
= ex cos(π(2p+1)2 + e−x cos(π(2p+1)2 cos(x sin(π(2p + 1)21−m ))
d2m−2 e p=0
d2m−3 e−1
1 X
Em,0 (x) = cosh(x cos(π(2p + 1)21−m )) cos(x sin(π(2p + 1)21−m ))
d2m−3 e p=0
1 1
= cosh(xcp ) cos(xsp )
d2m−3 e d2m−3 e
46
We now know how to express Em,0 (x) in terms of the cosh(x) and
cos(x) functions. Given this, all Em,n (x) can be found by repeated
differentiation or integration.
In the next section, we will see another means to compute Emn (x).
Em,0 (x)
d2m−1 e−1
1 X (2p+1)2m−2
≡ exi
d2m−1 e p=0
d2m−1 e−1
1 X m−1 ) m−1 )
= ex cos((2p+1)π2 eix sin((2p+1)π2
d2m−1 e p=0
d2m−1 e−1
1 X
= ecp x eisp x
d2m−1 e p=0
d2m−1 e−1
1 X
= (cosh(cp x) + sinh(cp x)) (cos(sp x) + i sin(sp x))
d2m−1 e p=0
d2m−1 e−1
1 X
=
d2m−1 e p=0
cosh(cp x) cos(sp x) + sinh(cp x) cos(sp x)
+i cosh(cp x) sin(sp x) + i sinh(cp x) sin(sp x)
m−2
Since each integration brings down a factor of i−(2p+1)2 for the
pth term, we have
Emn (x)
d2m−1 e−1
1 X m−2
= i−n(2p+1)2
d2m−1 e p=0
·(cosh(cp x) cos(sp x) + sinh(cp x) cos(sp x)
+i cosh(cp x) sin(sp x) + i sinh(cp x) sin(sp x))
47
Appendix D
m−1
(−1)t÷2 if n = t mod 2m−1 and 0 ≤ t < L;
~vm,n,L (t) =
0 Otherwise.
(D.1)
for
M ≥ 0 (D.2)
L = 2M (D.3)
m = 0, 1, . . . , M (D.4)
n = 0, 1, . . . , d2m−1 e − 1 (D.5)
That is,
48
0≤t<L (D.7)
n0 = t mod 2m0 (D.8)
n1 = t mod 2m1 (D.9)
The first observation is that any two vectors in the same level
(i.e., same m-value) are orthogonal. If m0 = m1 then n0 = n1 , which
says that no two distinct vectors at the same level share any non-zero
entries. This is apparent from the table provided in Chapter 5.
For m0 6= m1 , assume without loss of generality that m1 > m0 .
Equation (6.2) allows us to break a vector into exactly L/2m inter-
vals, each with the same pattern of zero and non-zero terms, with
only a sign alternation between successive intervals for m > 0. The
definition of L ensures that the number of intervals so defined will
be even and ≥ 2.
We note that since m1 > m0 by assumption, v~0 has more intervals
than v~1 , by a factor of 2m1 /2m0 .
We have the option of expressing v~0 as the sum of 2m1 /2m0 vec-
tors, constructed as follows
−m0 −1
2m1X
v~0 (t) = w
~ m0 ,n0 ,q,L (t)
q=0
where
~vm0 ,n0 ,L (t) iff t mod 2m1 = q;
w
~ m0 ,n0 ,q,L (t) = (D.10)
0 Otherwise.
The above has the effect of breaking v~0 into a sum of offset vec-
tors, each having the same interval as v~1 . v~0 ◦v~1 can now be expressed
as the sum of the inner products of v~1 with each of the w ~ m0 ,n0 ,q,L .
These inner products can be considered separately.
That is,
−m0 −1
2m1X
~v1 ◦ ~v0 = ~v1 ◦ w
~ m0 ,n0 ,q,L (D.11)
q=0
49
Since each of the w ~ m0 ,n0 ,q,L has the same interval length as v~1 ,
v~1 ◦ w
~ m0 ,n0 ,q,L will have no non-zero terms except when both n0 = n1
mod 2m0 (i.e., there are overlapping non-zero terms between ~v0 and
~v1 ) and n1 = n0 + q (i.e., the right decomposition of ~v0 ).
Thus, proving orthogonality reduces to proving v~1 ◦ w ~ m0 ,n0 ,q,L for
m0
n0 = n1 mod 2 and n1 = n0 + q, since all other inner products
have no common non-zero terms.
Note that v~1 has an even number of non-zero terms, half of these
+1 and half −1.
w
~ m0 ,n0 ,q,L has exactly the same positions holding non-zero values
as v~1 , since both have the same first position for a non-zero term
and the same step size. However, while v~1 has an equal number
of positive and negative entries, all entries in w ~ m0 ,n0 ,q,L are of the
same sign. This is because the terms of w ~ m0 ,n0 ,q,L are pulled from
positions of v~0 that are an even number of intervals apart.
Therefore, v~1 ◦ w ~ m0 ,n0 ,q,L = 0, which completes the proof that the
vectors defined by Equation (6.2) are orthogonal.
50
Appendix E
E.1 Sweeping Up
Let mv > mu ≥ 0 and define c ≡ 2mv −1 /d2mu −1 e.
By definition,
∞ mu −1e+n
X
td21−mu e xtd2
ψmu ,n (x) = (−1) (E.1)
t=0
(td2mu −1 e + n)!
∞ X
c−1 mv −1 +td2mu −1 e+n
X
td21−mu e xs2
ψmu ,n (x) = (−1) (E.2)
s=0 t=0
(s2mv −1 + td2mu −1 e + n)!
This creates “big steps” of size 2mv −1 , and covers the terms
stepped over with “small steps” of size d2mu −1 e.
As a short-hand, define
q ≡ s2mv −1 + td2mu −1 e + n
51
Then, simply re-expressing the above, we have
∞ X
c−1
X 1−mu e xq
ψmu ,n (x) = (−1)td2 (E.3)
s=0 t=0
q!
c−1 ∞
X 1−mu e
X xq
ψmu ,n (x) = (−1)td2 (E.4)
t=0 s=0
q!
The summation
∞
X xq
s=0
q!
2−m q
xq = i(2
v) 2−mv
x i−q2 (E.5)
2−mv mu −1 e+n)22−mv
i−q2 = i−2s i−(td2 (E.6)
mu −1 e+n)22−mv
= −1s i−(td2 (E.7)
This gives us what we need. The first factor of the above gives us
a sign alternation for Equation (E.4). Since the second factor has
no s-dependency it can be moved to the outer (first) summation.
Therefore we have
c−1 ∞ (22−mv )
X
td21−mu e
−(td2mu −1 e+n)22−mv
X
s (i x)q
ψmu ,n (x) = (−1) i (−1)
t=0 s=0
q!
52
(E.8)
53
ψ3,0 (x) (E.10)
= ψ3,0 (a) (E.11)
+(x − a)ψ03,0 (a) (E.12)
(x − a)2
+ ψ003,0 (a) (E.13)
2!
(x − a)3
+ ψ0003,0 (a) (E.14)
3!
+... (E.15)
= ψ3,0 (a) (E.16)
+(x − a)(−ψ3,3 (a)) (E.17)
(x − a)2
+ (−ψ3,2 (a)) (E.18)
2!
(x − a)3
+ (−ψ3,1 (a)) (E.19)
3!
+... (E.20)
= ψ3,0 (a)ψ3,0 (x − a) (E.21)
−ψ3,3 (a)ψ3,1 (x − a) (E.22)
−ψ3,2 (a)ψ3,2 (x − a) (E.23)
−ψ3,1 (a)ψ3,3 (x − a) (E.24)
Notice that in the special case a = 0 we have ψ3,0 (a) = 1,
ψ3,1 (a) = ψ3,2 (a) = ψ3,3 (a) = 0 and the above reduces to a sim-
ple identity.
We now apply the same approach more generally.
∞
X (x − a)t (t)
ψm,n (x) = ψm,n (a) (E.25)
t=0
t!
d2m−1 e−1 ∞ m−1
X X (x − a)td2 e+p (td2m−1 e+p)
= ψ (a) (E.26)
p=0 t=0
(td2m−1 e + p)! m,n
54
n differentiations, and negative thereafter. This pattern will reverse
in the next cycle, and alternate thereafter.
We also know that there are exacly d2m−1 e − 1 functions at level
m, meaning that after d2m−1 e − 1 differentiations we return to the
same function, with a sign change.
Combining this information, we have
d2m−1 e−1
X
ψm,n (x) = whole(n − p)ψm,p (x − a)ψm,(n−p)modd2m−1 e−1 (a)
p=0
55
Appendix F
This appendix derives Equation (8.24) for the inner product at level
m.
56
Em,n (x) ◦ Em,n (x + α)
d2m−1 e−1
X
= Em,n (x)Em,n (x + α)
n=0
d2m−1 e−1
X
= Em,n (x)Em,n (x + α)
n=0
d2m−1 e−1
X
=
n=0
d2m−1 e−1
1 X 2−m (2pa +1)22−m
i−n(2pa +1)2 exi
d2m−1 e pa =0
d2m−1 e−1
1 X 2−m (x+α)i(2pb +1)2
2−m
i−n(2pb +1)2 e
d2m−1 e pb =0
pa =0 pb =0 n=0
2
1 2−m 2−m
i−n(2pa +1)2 i−n(2pb +1)2
d2m−1 e
(2pa +1)22−m (2pb +1)22−m
exi e(x+α)i
57
i−n(2p+1)/2 (F.4)
p=0 p=1
n=0 1 1
n=1 i−1 i−3
Does this pattern generalize for m ≥ 4?
Let us examine the summation of the coefficients by themselves.
d2m−1 e−1
2−m 2−m
X
i−n(2pa +1)2 i−n(2pb +1)2 = (F.5)
n=0
d2m−1 e−1
2−m
X
i−2n(pa +pb +1)2 (F.6)
n=0
58
d2m−1 e−1
2−m
X
i−2n(pa +pb +1)2 (F.7)
n=0
d2m−2 e−1 d2m−1 e−1
−2n(pa +pb +1)22−m 2−m
X X
= i + i−2n(pa +pb +1)2 (F.8)
n=0 n=d2m−2 e
d2m−2 e−1
2−m
X
i−2n(pa +pb +1)2 1 + i−2(pa +pb +1)
= (F.9)
n=0
d2m−3 e−1
2−m
X
2 i−2n(pa +pb +1)2 1 + i−2(pa +pb +1)
n=0
pb = 2m−1 − pa − 1 (F.10)
Which gives us
59
(2pb + 1)22−m = (2(2m−1 − pa − 1) + 1)22−m (F.11)
= (2m − 2pa − 1)22−m (F.12)
= 4 − (2pa + 1)22−m (F.13)
So
2−m 2−m
i(2pb +1)2 = i4−(2pa +1)2 (F.14)
−(2pa +1)22−m
= i (F.15)
To summarize, we now have the following simplifications available
1. The summation over n, and the imaginary coefficients, can be
replaced by the constraint pa + pb + 1 = 2m−1 and a factor of
2m−1 .
2. Since there is only one allowable value of pb for a given value
of pa , we can eliminate pb from the exponent and drop the
summation over pb .
This gives us
d2m−1 e−1
X
Em,n (x)Em,n (x + α)
n=0
d2m−1 e−1 d2m−1 e−1 d2m−1 e−1
X X X
=
pa =0 pb =0 n=0
2
1 2−m 2−m
i−n(2pa +1)2 i−n(2pb +1)2
d2m−1 e
(2pa +1)22−m (2p +1)22−m
d2m−1 eexi e(x+α)i b
d2m−1 e−1 2
X 1 m−1 xi(2pa +1)2
2−m
(x+α)i−(2pa +1)2
2−m
= d2 ee e
p =0
d2m−1 e
a
60
d2m−1 e−1
1 2−m 2−m
“ ”
2−m
x i(2pa +1)2 +i−(2pa +1)2 αi−(2pa +1)2
X
e e
pa =0
d2m−1 e
d2m−1 e−1
1 X 1−m ) −(2p+1)22−m
e2x cos(π(2p+1)2 eαi
d2m−1 e p=0
as claimed.
61
Appendix G
This appendix details ψmn (x) and Emn (x) for the levels m ≤ 4.
Recall that
∞ m−1
X
td21−m e xtd2 e+n
ψmn (x) = (−1) (G.1)
t=0
(td2m−1 e + n)!
d2m−1 e−1
1 X (2p+1)22−m
Em,0 (x) = exi (G.2)
d2m−1 e p=0
(G.3)
and
d2m−1 e−1
xi(
22−m ) X 2−m
e = in2 (ψmn (x) = Emn (x)) (G.4)
n=0
G.1 m≤0
For m = 0,
62
∞
X xt
ψ0,0 (x) =
t=0
t!
and
E0 , 0(x) = ex
G.2 m=1
For m = 1,
∞ t
tx
X
ψ1,0 (x) = −1
t=0
t!
and
G.3 m=2
For m = 2,
∞
X x2t
t
ψ2,0 (x) = −1
t=0
(2t)!
∞
X x2t+1
ψ2,1 (x) = −1t
t=0
(2t + 1)!
and
1 x
e + e−x
E2,0 (x) = cos(x) =
2
1 x
e − e−x
E2,1 (x) = sin(x) =
2i
63
G.4 m=3
For m = 3,
∞
X x4t
ψ3,0 (x) = −1t
t=0
(4t)!
∞
X x4t+1
ψ3,1 (x) = −1t
t=0
(4t + 1)!
∞
X x4t+2
ψ3,2 (x) = −1t
t=0
(4t + 2)!
∞
X x4t+3
ψ3,3 (x) = −1t
t=0
(4t + 3)!
The Emn (x)values can be found from the below table, generated
1/2 3/2 5/2 7/2
by integrating 4E3,0 = exi + exi + exi + exi
x x
E3,0 = cosh( √ ) cos( √ )
2 2
1 x x x x
E3,1 = √ cosh( √ ) sin( √ ) + sinh( √ ) cos( √ )
2 2 2 2 2
x x
E3,2 = sinh( √ ) sin( √ )
2 2
1 x x x x
E3,3 = √ cosh( √ ) sin( √ ) − sinh( √ ) cos( √ )
2 2 2 2 2
64
G.5 m=4
For m = 4,
∞
X x8t
ψ4,0 (x) = −1t
t=0
(8t)!
∞
X x8t+1
ψ4,1 (x) = −1t
t=0
(8t + 1)!
∞
X x8t+2
ψ4,2 (x) = −1t
t=0
(8t + 2)!
∞
X x8t+3
ψ4,3 (x) = −1t
t=0
(8t + 3)!
∞
X x8t+4
ψ4,4 (x) = −1t
t=0
(8t + 4)!
∞
X x8t+5
ψ4,5 (x) = −1t
t=0
(8t + 5)!
∞
X x8t+6
ψ4,6 (x) = −1t
t=0
(8t + 6)!
∞
X
t x8t+7
ψ4,7 (x) = −1
t=0
(8t + 7)!
and for Emn (x)we have
65
Alternatively, we can differentiate Equation (5.9). For concise-
ness, we make use of the abbreviations
α2 + β 2 = 1 (G.11)
1
α2 − β 2 = √ (G.12)
2
1
2αβ = √ (G.13)
2
√
(α + β)/ 2 = α (G.14)
√
(α − β)/ 2 = β (G.15)
66
E4,0 = ch (αx)c(βx) + ch (βx)c(αx)
E4,1 = βch (αx)s(βx) + αsh (αx)c(βx) + αch (βx)s(αx) + βsh (βx)c(αx)
1
E4,2 = √ (sh (αx)s(βx) + ch (αx)c(βx) + sh (βx)s(αx) − ch (βx)c(αx))
2
E4,3 = αch (αx)s(βx) + βsh (αx)c(βx) − βch (βx)s(αx) − αsh (βx)c(αx)
E4,4 = sh (αx)s(βx) − sh (βx)s(αx)
E4,5 = −βsh (αx)c(βx) + αch (αx)s(βx) + αsh (βx)c(αx) − βch (βx)s(αx)
1
E4,6 = √ (−ch (αx)c(βx) + sh (αx)s(βx) + ch (βx)c(αx) + sh (βx)s(αx))
2
E4,7 = −αsh (αx)c(βx) + βch (αx)s(βx) − βsh (βx)c(αx) + αch (βx)s(αx)
Notice that for even n, E4,n (x) consists of only cosh cos or sinh sin
terms, whereas for odd n E4,n (x) consists of only cosh sin or sinh cos
terms. This is consistent with the requirement that E4,n (x) must be
symmetric for even n, and anti-symmetric for odd n.2
As an exercise, it is possible to use the broom theorems and a
modest amount of trickery to show that E4,0 (x) = 0 is equivalent to
√ √ √ √
−1 = tanh(αx/ 2)tanh(βx/ 2)tan(αx/ 2)tan(βx/ 2)
x8 x16
ψ4,0 (x) = 1 − + − ...
8! 16!
1
is invariant under the 7 distinct transforms x → i 2 x, x → ix, x → i3/2 x, x → i2 x, x → i5/2 x,
x → i3 x, x → i7/2 x
Since E4,0 (x) = ψ4,0 (x), it follows that E4,0 (x) must have the same invariants. For E3,0 (x),
the corresponding 3 transforms essentially map a given element into each of the 3 other
elements of E3,0 (x) = cosh(x) cos(x) = (ex + e−x )(eix + e−ix )/4. But this would not work for
?
E4,0 (x) = (a + b)(c + d)(e + f ), since there are only 5 other elements available for 7 transforms.
67