A Regular Sine Series with Even $k$

Consider the Fourier series of the two-cycle unit-amplitude sawtooth wave. As is well known it is given by the sine series

$$S_{\rm s} = -\, \frac{4}{\pi} \sum_{j=1}^{\infty} \frac{1}{2j}\, \sin[(2j)\theta].$$

The corresponding FC series is then

$$\bar{S}_{\rm s} = -\, \frac{4}{\pi} \sum_{j=1}^{\infty} \frac{1}{2j}\, \cos[(2j)\theta],$$

the complex $S_{v}$ series is given by

$$S_{v} = -\, \frac{4}{\pi} \sum_{j=1}^{\infty} \frac{1}{2j}\, v^{2j},$$

and the complex power series $S_{z}$ is given by

$$S_{z} = -\, \frac{4}{\pi} \sum_{j=1}^{\infty} \frac{1}{2j}\, z^{2j}.$$

The ratio test tells us that the disk of convergence of $S_{z}$ is the unit disk. If we consider the inner analytic function $w(z)$ within this disk we observe that $w(0)=0$, as expected. We have for this function

$$w(z) = -\, \frac{4}{\pi} \sum_{j=1}^{\infty} \frac{1}{2j}\, z^{2j}.$$

Being given by a monotonic series of step $2$ this function has two dominant singularities, located at $z=1$ and at $z=-1$, where it diverges to infinity, as one can easily verify,

$$\begin{eqnarray*} w(1) & = & -\, \frac{4}{\pi} \sum_{j=1}^{\infty} \frac{1... ...pi} \sum_{j=1}^{\infty} \frac{1}{2j}\, \\ & \to & -\infty. \end{eqnarray*}$$

We must therefore use the two factors $(z-1)(z+1)=z^{2}-1$ in the construction of the center series,

$$\begin{eqnarray*} C_{z} & = & -\, \frac{4}{\pi}\, \left(z^{2}-1\right) \su... ... 1 - \sum_{j=1}^{\infty} \frac{1}{j(j+1)}\, z^{2j} \right]. \end{eqnarray*}$$

Unlike the original series, with coefficients that behave as $1/k$ (with $k=2j$), this series has coefficients that go to zero as $1/k^{2}$ when $k\to\infty$, and therefore is absolutely and uniformly convergent to a continuous function. This shows, in particular, that our evaluation of the set of dominant singularities of $w(z)$ was in fact correct. We have therefore for $S_{z}$ the representation

$$S_{z} = \frac{2}{\pi}\, \frac{z^{2}}{z^{2}-1} \left[ 1 - \sum_{j=1}^{\infty} \frac{1}{j(j+1)}\, z^{2j} \right],$$

with the singularities factored out and where the series involved is absolutely and uniformly convergent, and therefore converges much faster than the original one.

We may now take the real and imaginary parts of the $S_{v}$ series in order to obtain faster-converging representation of the original DP Fourier series and its FC series. We have on the unit circle

$$\begin{eqnarray*} \frac{z^{2}}{z^{2}-1} & = & \frac {z^{2}\left[(z^{*})^{2}-... ...box{\boldmath$\imath$}}{2}\, \frac{\cos(\theta)}{\sin(\theta)}, \end{eqnarray*}$$

and therefore

$$\begin{eqnarray*} S_{v} & = & \frac{1}{\pi} \left[ 1 - \mbox{\boldmath$\i... ...j=1}^{\infty} \frac{1}{j(j+1)}\, \cos[(2j+1)\theta] \right\}. \end{eqnarray*}$$

The original DP function is given by the imaginary part,

$$f_{\rm s}(\theta) = -\, \frac{1}{\pi\sin(\theta)} \left... ...1}^{\infty} \frac{1}{j(j+1)}\, \cos[(2j+1)\theta] \right\},$$

and the corresponding FC function $f_{\rm c}(\theta)=\bar{f}_{\rm s}(\theta)$ is given by the real part,

$$f_{\rm c}(\theta) = \frac{1}{\pi\sin(\theta)} \left\{ \... ...1}^{\infty} \frac{1}{j(j+1)}\, \sin[(2j+1)\theta] \right\}.$$

Both of these series are absolutely and uniformly convergent.