Series multisection

Short description: In mathematics, series built from equally spaced terms of another series

In mathematics, a multisection of a power series is a new power series composed of equally spaced terms extracted unaltered from the original series. Formally, if one is given a power series

[math]\displaystyle{ \sum_{n=-\infty}^\infty a_n\cdot z^n }[/math]

then its multisection is a power series of the form

[math]\displaystyle{ \sum_{m=-\infty}^\infty a_{qm+p}\cdot z^{qm+p} }[/math]

where p, q are integers, with 0 ≤ p < q. Series multisection represents one of the common transformations of generating functions.

Multisection of analytic functions

A multisection of the series of an analytic function

[math]\displaystyle{ f(z) = \sum_{n=0}^\infty a_n\cdot z^n }[/math]

has a closed-form expression in terms of the function [math]\displaystyle{ f(x) }[/math]:

[math]\displaystyle{ \sum_{m=0}^\infty a_{qm+p}\cdot z^{qm+p} = \frac{1}{q}\cdot \sum_{k=0}^{q-1} \omega^{-kp}\cdot f(\omega^k\cdot z), }[/math]

where [math]\displaystyle{ \omega = e^{\frac{2\pi i}{q}} }[/math] is a primitive q-th root of unity. This expression is often called a root of unity filter. This solution was first discovered by Thomas Simpson. This expression is especially useful in that it can convert an infinite sum into a finite sum. It is used, for example, in a key step of a standard proof of Gauss's digamma theorem, which gives a closed-form solution to the digamma function evaluated at rational values p/q.

Examples

Bisection

In general, the bisections of a series are the even and odd parts of the series.

Geometric series

Consider the geometric series

[math]\displaystyle{ \sum_{n=0}^{\infty} z^n=\frac{1}{1-z} \quad\text{ for }|z| \lt 1. }[/math]

By setting [math]\displaystyle{ z \rightarrow z^q }[/math] in the above series, its multisections are easily seen to be

[math]\displaystyle{ \sum_{m=0}^{\infty} z^{qm+p} = \frac{z^p}{1-z^q} \quad\text{ for }|z| \lt 1. }[/math]

Remembering that the sum of the multisections must equal the original series, we recover the familiar identity

[math]\displaystyle{ \sum_{p=0}^{q-1} z^p = \frac{1-z^q}{1-z}. }[/math]

Exponential function

The exponential function

[math]\displaystyle{ e^z=\sum_{n=0}^{\infty} {z^n \over n!} }[/math]

by means of the above formula for analytic functions separates into

[math]\displaystyle{ \sum_{m=0}^\infty {z^{qm+p} \over (qm+p)!} = \frac{1}{q}\cdot \sum_{k=0}^{q-1} \omega^{-kp} e^{\omega^k z}. }[/math]

The bisections are trivially the hyperbolic functions:

[math]\displaystyle{ \sum_{m=0}^\infty {z^{2m} \over (2m)!} = \frac{1}{2}\left(e^z+e^{-z}\right) = \cosh{z} }[/math]

[math]\displaystyle{ \sum_{m=0}^\infty {z^{2m+1} \over (2m+1)!} = \frac{1}{2}\left(e^z-e^{-z}\right) = \sinh{z}. }[/math]

Higher order multisections are found by noting that all such series must be real-valued along the real line. By taking the real part and using standard trigonometric identities, the formulas may be written in explicitly real form as

[math]\displaystyle{ \sum_{m=0}^\infty {z^{qm+p} \over (qm+p)!} = \frac{1}{q}\cdot \sum_{k=0}^{q-1} e^{z\cos(2\pi k/q)}\cos{\left(z\sin{\left(\frac{2\pi k}{q}\right)}-\frac{2\pi kp}{q}\right)}. }[/math]

These can be seen as solutions to the linear differential equation [math]\displaystyle{ f^{(q)}(z)=f(z) }[/math] with boundary conditions [math]\displaystyle{ f^{(k)}(0)=\delta_{k,p} }[/math], using Kronecker delta notation. In particular, the trisections are

[math]\displaystyle{ \sum_{m=0}^\infty {z^{3m} \over (3m)!} = \frac{1}{3}\left(e^z+2e^{-z/2}\cos{\frac{\sqrt{3}z}{2}}\right) }[/math]

[math]\displaystyle{ \sum_{m=0}^\infty {z^{3m+1} \over (3m+1)!} = \frac{1}{3}\left(e^z-e^{-z/2}\left(\cos{\frac{\sqrt{3}z}{2}}-\sqrt{3}\sin{\frac{\sqrt{3}z}{2}}\right)\right) }[/math]

[math]\displaystyle{ \sum_{m=0}^\infty {z^{3m+2} \over (3m+2)!} = \frac{1}{3}\left(e^z-e^{-z/2}\left(\cos{\frac{\sqrt{3}z}{2}}+\sqrt{3}\sin{\frac{\sqrt{3}z}{2}}\right)\right), }[/math]

and the quadrisections are

[math]\displaystyle{ \sum_{m=0}^\infty {z^{4m} \over (4m)!} = \frac{1}{2}\left(\cosh{z}+\cos{z}\right) }[/math]

[math]\displaystyle{ \sum_{m=0}^\infty {z^{4m+1} \over (4m+1)!} = \frac{1}{2}\left(\sinh{z}+\sin{z}\right) }[/math]

[math]\displaystyle{ \sum_{m=0}^\infty {z^{4m+2} \over (4m+2)!} = \frac{1}{2}\left(\cosh{z}-\cos{z}\right) }[/math]

[math]\displaystyle{ \sum_{m=0}^\infty {z^{4m+3} \over (4m+3)!} = \frac{1}{2}\left(\sinh{z}-\sin{z}\right). }[/math]

Binomial series

Multisection of a binomial expansion

[math]\displaystyle{ (1+x)^n = {n\choose 0} x^0 + {n\choose 1} x + {n\choose 2} x^2 + \cdots }[/math]

at x = 1 gives the following identity for the sum of binomial coefficients with step q:

[math]\displaystyle{ {n\choose p} + {n\choose p+q} + {n\choose p+2q} + \cdots = \frac{1}{q}\cdot \sum_{k=0}^{q-1} \left(2 \cos\frac{\pi k}{q}\right )^n\cdot \cos \frac{\pi(n-2p)k}{q}. }[/math]

References

• Weisstein, Eric W.. "Series Multisection". http://mathworld.wolfram.com/SeriesMultisection.html. 
• Somos, Michael A Multisection of q-Series, 2006.
• John Riordan (1968). Combinatorial identities. New York: John Wiley and Sons.