Infinite Products and a Tangent Fan Based on the infinite geometric sum 1 = 1/2 + 1/4 + 1/8 +... we have the trivial infinite product for any number a. Of course, dividing each term in the geometric sum by 2 gives the equivalent identity 1/2 = 1/4 + 1/8 + 1/16 + ..., so without altering the product we can introduce an arbitrary number b to give Likewise we can introduce a sequence of arbitrary quantities c,d,e,... and we have the identity Now, suppose we set and so on. Then the above identity becomes Naturally there are infinitely many variations on this approach. For example, if we set we'll end up with an expression for (1−x) that looks like this On the other hand, if we set we can define another infinite family of identities, based on All of these are based somewhat loosely on "binary" exponents. Of course, the infinite product is a standard example of an infinite product. It's even given as the example under the definition of "infinite product" in "The Harper Collins Dictionary of Mathematics" by Borowski and Borwein (although they have a typo, giving the exponent on x as 2n instead of 2n.) This is based directly on the geometric series (proven by Euclid) so there are many different infinite products, corresponding to the possible complete numeration systems. In other words, we want a set of sets of numbers such that every positive integer has a unique representation as a sum of precisely one element of each set, and each such representation corresponds uniquely to a positive integer. The "standard" example noted above corresponds to the binary number system, which has the sets whereas the base 3 number system has the basis sets which suggests the infinite product and similarly for any other base. Likewise, the factorial number system suggests the product Since the nth partial sum of the geometric series is (1−xn)/(1−x), these products all just correspond to cyclotomic factorizations, although not necessarily primitive factorizations. Incidentally, one simple way of "seeing" why these products work is to notice how the terms "telescope". For example, beginning with the identity which we can instantly see is true, because the factors "telescope" into each other, i.e., if we combine the first two terms on the right side we get the equivalent relation Then we combine the first two terms on the right side of this expression to give the equivalent relation and so on. Thus it's clear that if |x| is less than 1 the right hand infinite product equals 1. Such products are related to power series expansions of the natural log. If we write the original relation as and take the natural log of both sides, we have the infinite sum Now, making use of the well-known power series expansion the logs on the right side of the preceding equation give the overall sum which of course equals −ln(1 − x2), confirming the well-known expansion We could also express the above relations between logs in terms of the respective continued fractions, noting that In any case, it's clear that all the infinite products above are based on a sequence of functions that is multiplicatively cumulative in a nice way. For example, the cumulative products of are all of the form 1 − xn. Another sequence of functions with a similar property is Thus we can construct infinite products based on these functions, which of course are essentially just hyperbolic trig functions. The arch-typical identity of this family is More interestingly, we can apply the same approach to the ordinary trigonometric functions, noting the multiplicatively cumulative sequence of functions From this we immediately arrive at the interesting result This relates the magnitudes (norms) of the two sides, but in terms of the real and imaginary components, the identity can be explicitly written as The left hand side is as shown below: The "identity" of this simple circular locus with the infinite product on the right is non-trivial, because the right-hand side is evidently discontinuous at every real value of z. Notice that the right side vanishes when any of the arguments z, 2z, 4z,... is an integer multiple of π, so it vanishes for z = nπ/2k for any integers n and k. Also, the right side is infinite if any of the arguments 2k z is of the form nπ + π/2, which implies it is infinite for z = (nπ + π/2)/2k for any integers n and k. Thus every z is arbitrarily close to a value for which the function is zero, and also to a value for which the function is infinite. To see how this evolves into the circular locus, consider the partial product If we plot the real and imaginary parts of f(z) as z ranges from 0 to π, with N=0, we see that f(z) = tan(z)1/2, so the result is purely real, approaching positive infinity as z approaches π/2. Then when z exceeds π/2 the value of tan(z) branches to negative infinity, so the function f(z) becomes purely imaginary, coming in from ¥i to 0. This is illustrated in the left-hand figure below. In the right-hand figure below we have set N=1, so we get more branches of the tangent function, and each branch gives a straight line locus in the complex plane, with the density of points determined by the slope of the tangent and the effect of the respective root extractions. Increasing the number of factors to N=2, and then to N=3, increases the number of branches and focuses the density even more, as shown in the figures below. It should be noted that the lines for the branches has non-zero density at all distances from the origin, but since the plot only has finite resolution, we see only the points at discrete intervals, which truncates below some threshold density. With N=4 and N=5 the points are clearly arrayed in a "fan" that begins to outline the circular locus. Going on for just a couple of more steps, to N=6 and N=7, we see that nearly all the density in on the simple circular locus described previously. Nevertheless, the range of f(z) for any integer N includes the entire upper half of the complex plane, even though the density away from the circular locus can be made arbitrarily small by increasing N. Thus we argue that the limit of f(z) as N goes to infinity is the circular locus, but this must be understood in the sense of densities. Return to MathPages Main Menu