Clausen function

The Clausen function (of order 2) has simple zeros at all (integer) multiples of ${\displaystyle \pi ,\,}$ since if ${\displaystyle k\in \mathbb {Z} \,}$ is an integer, then ${\displaystyle \sin k\pi =0}$

${\displaystyle \operatorname {Cl} _{2}(m\pi )=0,\quad m=0,\,\pm 1,\,\pm 2,\,\pm 3,\,\cdots }$

It has maxima at ${\displaystyle \theta ={\frac {\pi }{3}}+2m\pi \quad [m\in \mathbb {Z} ]}$

${\displaystyle \operatorname {Cl} _{2}\left({\frac {\pi }{3}}+2m\pi \right)=1.01494160\ldots }$

and minima at ${\displaystyle \theta =-{\frac {\pi }{3}}+2m\pi \quad [m\in \mathbb {Z} ]}$

${\displaystyle \operatorname {Cl} _{2}\left(-{\frac {\pi }{3}}+2m\pi \right)=-1.01494160\ldots }$

The following properties are immediate consequences of the series definition:

${\displaystyle \operatorname {Cl} _{2}(\theta +2m\pi )=\operatorname {Cl} _{2}(\theta )}$

${\displaystyle \operatorname {Cl} _{2}(-\theta )=-\operatorname {Cl} _{2}(\theta )}$

See Lu & Perez (1992).

Standard Clausen functions

Glaisher–Clausen functions

More generally, one defines the two generalized Clausen functions:

${\displaystyle \operatorname {S} _{z}(\theta )=\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{z}}}}$

${\displaystyle \operatorname {C} _{z}(\theta )=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{z}}}}$

which are valid for complex z with Re z >1. The definition may be extended to all of the complex plane through analytic continuation.

When z is replaced with a non-negative integer, the standard Clausen functions are defined by the following Fourier series:

${\displaystyle \operatorname {Cl} _{2m+2}(\theta )=\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+2}}}}$

${\displaystyle \operatorname {Cl} _{2m+1}(\theta )=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+1}}}}$

${\displaystyle \operatorname {Sl} _{2m+2}(\theta )=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+2}}}}$

${\displaystyle \operatorname {Sl} _{2m+1}(\theta )=\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+1}}}}$

N.B. The SL-type Clausen functions have the alternative notation ${\displaystyle \operatorname {Gl} _{m}(\theta )\,}$ and are sometimes referred to as the Glaisher–Clausen functions (after James Whitbread Lee Glaisher, hence the GL-notation).

The SL-type Clausen function are polynomials in ${\displaystyle \,\theta \,}$, and are closely related to the Bernoulli polynomials. This connection is apparent from the Fourier series representations of the Bernoulli polynomials:

${\displaystyle B_{2n-1}(x)={\frac {2(-1)^{n}(2n-1)!}{(2\pi )^{2n-1}}}\,\sum _{k=1}^{\infty }{\frac {\sin 2\pi kx}{k^{2n-1}}}.}$

${\displaystyle B_{2n}(x)={\frac {2(-1)^{n-1}(2n)!}{(2\pi )^{2n}}}\,\sum _{k=1}^{\infty }{\frac {\cos 2\pi kx}{k^{2n}}}.}$

Setting ${\displaystyle \,x=\theta /2\pi \,}$ in the above, and then rearranging the terms gives the following closed form (polynomial) expressions:

${\displaystyle \operatorname {Sl} _{2m}(\theta )={\frac {(-1)^{m-1}(2\pi )^{2m}}{2(2m)!}}B_{2m}\left({\frac {\theta }{2\pi }}\right),}$

${\displaystyle \operatorname {Sl} _{2m-1}(\theta )={\frac {(-1)^{m}(2\pi )^{2m-1}}{2(2m-1)!}}B_{2m-1}\left({\frac {\theta }{2\pi }}\right),}$

where the Bernoulli polynomials ${\displaystyle \,B_{n}(x)\,}$ are defined in terms of the Bernoulli numbers ${\displaystyle \,B_{n}\equiv B_{n}(0)\,}$ by the relation:

${\displaystyle B_{n}(x)=\sum _{j=0}^{n}{\binom {n}{j}}B_{j}x^{n-j}.}$

Explicit evaluations derived from the above include:

${\displaystyle \operatorname {Sl} _{1}(\theta )={\frac {\pi }{2}}-{\frac {\theta }{2}},}$

${\displaystyle \operatorname {Sl} _{2}(\theta )={\frac {\pi ^{2}}{6}}-{\frac {\pi \theta }{2}}+{\frac {\theta ^{2}}{4}},}$

${\displaystyle \operatorname {Sl} _{3}(\theta )={\frac {\pi ^{2}\theta }{6}}-{\frac {\pi \theta ^{2}}{4}}+{\frac {\theta ^{3}}{12}},}$

${\displaystyle \operatorname {Sl} _{4}(\theta )={\frac {\pi ^{4}}{90}}-{\frac {\pi ^{2}\theta ^{2}}{12}}+{\frac {\pi \theta ^{3}}{12}}-{\frac {\theta ^{4}}{48}}.}$

For ${\displaystyle 0<\theta <\pi }$, the duplication formula can be proven directly from the integral definition (see also Lu & Perez (1992) for the result – although no proof is given):

${\displaystyle \operatorname {Cl} _{2}(2\theta )=2\operatorname {Cl} _{2}(\theta )-2\operatorname {Cl} _{2}(\pi -\theta )}$

Denoting Catalan's constant by ${\displaystyle K=\operatorname {Cl} _{2}\left({\frac {\pi }{2}}\right)}$, immediate consequences of the duplication formula include the relations:

${\displaystyle \operatorname {Cl} _{2}\left({\frac {\pi }{4}}\right)-\operatorname {Cl} _{2}\left({\frac {3\pi }{4}}\right)={\frac {K}{2}}}$

${\displaystyle 2\operatorname {Cl} _{2}\left({\frac {\pi }{3}}\right)=3\operatorname {Cl} _{2}\left({\frac {2\pi }{3}}\right)}$

For higher order Clausen functions, duplication formulae can be obtained from the one given above; simply replace ${\displaystyle \,\theta \,}$ with the dummy variable ${\displaystyle x}$, and integrate over the interval ${\displaystyle \,[0,\theta ].\,}$ Applying the same process repeatedly yields:

${\displaystyle \operatorname {Cl} _{3}(2\theta )=4\operatorname {Cl} _{3}(\theta )+4\operatorname {Cl} _{3}(\pi -\theta )}$

${\displaystyle \operatorname {Cl} _{4}(2\theta )=8\operatorname {Cl} _{4}(\theta )-8\operatorname {Cl} _{4}(\pi -\theta )}$

${\displaystyle \operatorname {Cl} _{5}(2\theta )=16\operatorname {Cl} _{5}(\theta )+16\operatorname {Cl} _{5}(\pi -\theta )}$

${\displaystyle \operatorname {Cl} _{6}(2\theta )=32\operatorname {Cl} _{6}(\theta )-32\operatorname {Cl} _{6}(\pi -\theta )}$

And more generally, upon induction on ${\displaystyle \,m,\;m\geq 1}$

${\displaystyle \operatorname {Cl} _{m+1}(2\theta )=2^{m}\left[\operatorname {Cl} _{m+1}(\theta )+(-1)^{m}\operatorname {Cl} _{m+1}(\pi -\theta )\right]}$

Use of the generalized duplication formula allows for an extension of the result for the Clausen function of order 2, involving Catalan's constant. For ${\displaystyle \,m\in \mathbb {Z} \geq 1\,}$

${\displaystyle \operatorname {Cl} _{2m}\left({\frac {\pi }{2}}\right)=2^{2m-1}\left[\operatorname {Cl} _{2m}\left({\frac {\pi }{4}}\right)-\operatorname {Cl} _{2m}\left({\frac {3\pi }{4}}\right)\right]=\beta (2m)}$

Where ${\displaystyle \,\beta (x)\,}$ is the Dirichlet beta function.

From the integral definition,

${\displaystyle \operatorname {Cl} _{2}(2\theta )=-\int _{0}^{2\theta }\log \left|2\sin {\frac {x}{2}}\right|\,dx}$

Apply the duplication formula for the sine function, ${\displaystyle \sin x=2\sin {\frac {x}{2}}\cos {\frac {x}{2}}}$ to obtain

${\displaystyle {\begin{aligned}&-\int _{0}^{2\theta }\log \left|\left(2\sin {\frac {x}{4}}\right)\left(2\cos {\frac {x}{4}}\right)\right|\,dx\\={}&-\int _{0}^{2\theta }\log \left|2\sin {\frac {x}{4}}\right|\,dx-\int _{0}^{2\theta }\log \left|2\cos {\frac {x}{4}}\right|\,dx\end{aligned}}}$

Apply the substitution ${\displaystyle x=2y,dx=2\,dy}$ on both integrals:

${\displaystyle {\begin{aligned}&-2\int _{0}^{\theta }\log \left|2\sin {\frac {x}{2}}\right|\,dx-2\int _{0}^{\theta }\log \left|2\cos {\frac {x}{2}}\right|\,dx\\={}&2\,\operatorname {Cl} _{2}(\theta )-2\int _{0}^{\theta }\log \left|2\cos {\frac {x}{2}}\right|\,dx\end{aligned}}}$

On that last integral, set ${\displaystyle y=\pi -x,\,x=\pi -y,\,dx=-dy}$, and use the trigonometric identity ${\displaystyle \cos(x-y)=\cos x\cos y-\sin x\sin y}$ to show that:

${\displaystyle {\begin{aligned}&\cos \left({\frac {\pi -y}{2}}\right)=\sin {\frac {y}{2}}\\\Longrightarrow \qquad &\operatorname {Cl} _{2}(2\theta )=2\,\operatorname {Cl} _{2}(\theta )-2\int _{0}^{\theta }\log \left|2\cos {\frac {x}{2}}\right|\,dx\\={}&2\,\operatorname {Cl} _{2}(\theta )+2\int _{\pi }^{\pi -\theta }\log \left|2\sin {\frac {y}{2}}\right|\,dy\\={}&2\,\operatorname {Cl} _{2}(\theta )-2\,\operatorname {Cl} _{2}(\pi -\theta )+2\,\operatorname {Cl} _{2}(\pi )\end{aligned}}}$

${\displaystyle \operatorname {Cl} _{2}(\pi )=0\,}$

Therefore,

${\displaystyle \operatorname {Cl} _{2}(2\theta )=2\,\operatorname {Cl} _{2}(\theta )-2\,\operatorname {Cl} _{2}(\pi -\theta )\,.\,\Box }$

Direct differentiation of the Fourier series expansions for the Clausen functions give:

${\displaystyle {\frac {d}{d\theta }}\operatorname {Cl} _{2m+2}(\theta )={\frac {d}{d\theta }}\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+2}}}=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+1}}}=\operatorname {Cl} _{2m+1}(\theta )}$

${\displaystyle {\frac {d}{d\theta }}\operatorname {Cl} _{2m+1}(\theta )={\frac {d}{d\theta }}\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+1}}}=-\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m}}}=-\operatorname {Cl} _{2m}(\theta )}$

${\displaystyle {\frac {d}{d\theta }}\operatorname {Sl} _{2m+2}(\theta )={\frac {d}{d\theta }}\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+2}}}=-\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+1}}}=-\operatorname {Sl} _{2m+1}(\theta )}$

${\displaystyle {\frac {d}{d\theta }}\operatorname {Sl} _{2m+1}(\theta )={\frac {d}{d\theta }}\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+1}}}=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m}}}=\operatorname {Sl} _{2m}(\theta )}$

By appealing to the First Fundamental Theorem Of Calculus, we also have:

${\displaystyle {\frac {d}{d\theta }}\operatorname {Cl} _{2}(\theta )={\frac {d}{d\theta }}\left[-\int _{0}^{\theta }\log \left|2\sin {\frac {x}{2}}\right|\,dx\,\right]=-\log \left|2\sin {\frac {\theta }{2}}\right|=\operatorname {Cl} _{1}(\theta )}$

The inverse tangent integral is defined on the interval ${\displaystyle 0<z<1}$ by

${\displaystyle \operatorname {Ti} _{2}(z)=\int _{0}^{z}{\frac {\tan ^{-1}x}{x}}\,dx=\sum _{k=0}^{\infty }(-1)^{k}{\frac {z^{2k+1}}{(2k+1)^{2}}}}$

It has the following closed form in terms of the Clausen function:

${\displaystyle \operatorname {Ti} _{2}(\tan \theta )=\theta \log(\tan \theta )+{\frac {1}{2}}\operatorname {Cl} _{2}(2\theta )+{\frac {1}{2}}\operatorname {Cl} _{2}(\pi -2\theta )}$

From the integral definition of the inverse tangent integral, we have

${\displaystyle \operatorname {Ti} _{2}(\tan \theta )=\int _{0}^{\tan \theta }{\frac {\tan ^{-1}x}{x}}\,dx}$

Performing an integration by parts

${\displaystyle \int _{0}^{\tan \theta }{\frac {\tan ^{-1}x}{x}}\,dx=\tan ^{-1}x\log x\,{\Bigg |}_{0}^{\tan \theta }-\int _{0}^{\tan \theta }{\frac {\log x}{1+x^{2}}}\,dx=}$

${\displaystyle \theta \log \tan \theta -\int _{0}^{\tan \theta }{\frac {\log x}{1+x^{2}}}\,dx}$

Apply the substitution ${\displaystyle x=\tan y,\,y=\tan ^{-1}x,\,dy={\frac {dx}{1+x^{2}}}\,}$ to obtain

${\displaystyle \theta \log \tan \theta -\int _{0}^{\theta }\log(\tan y)\,dy}$

For that last integral, apply the transform :${\displaystyle y=x/2,\,dy=dx/2\,}$ to get

${\displaystyle {\begin{aligned}&\theta \log \tan \theta -{\frac {1}{2}}\int _{0}^{2\theta }\log \left(\tan {\frac {x}{2}}\right)\,dx\\[6pt]={}&\theta \log \tan \theta -{\frac {1}{2}}\int _{0}^{2\theta }\log \left({\frac {\sin(x/2)}{\cos(x/2)}}\right)\,dx\\[6pt]={}&\theta \log \tan \theta -{\frac {1}{2}}\int _{0}^{2\theta }\log \left({\frac {2\sin(x/2)}{2\cos(x/2)}}\right)\,dx\\[6pt]={}&\theta \log \tan \theta -{\frac {1}{2}}\int _{0}^{2\theta }\log \left(2\sin {\frac {x}{2}}\right)\,dx+{\frac {1}{2}}\int _{0}^{2\theta }\log \left(2\cos {\frac {x}{2}}\right)\,dx\\[6pt]={}&\theta \log \tan \theta +{\frac {1}{2}}\operatorname {Cl} _{2}(2\theta )+{\frac {1}{2}}\int _{0}^{2\theta }\log \left(2\cos {\frac {x}{2}}\right)\,dx.\end{aligned}}}$

Finally, as with the proof of the Duplication formula, the substitution ${\displaystyle x=(\pi -y)\,}$ reduces that last integral to

${\displaystyle \int _{0}^{2\theta }\log \left(2\cos {\frac {x}{2}}\right)\,dx=\operatorname {Cl} _{2}(\pi -2\theta )-\operatorname {Cl} _{2}(\pi )=\operatorname {Cl} _{2}(\pi -2\theta )}$

Thus

${\displaystyle \operatorname {Ti} _{2}(\tan \theta )=\theta \log \tan \theta +{\frac {1}{2}}\operatorname {Cl} _{2}(2\theta )+{\frac {1}{2}}\operatorname {Cl} _{2}(\pi -2\theta )\,.\,\Box }$

For real ${\displaystyle 0<z<1}$, the Clausen function of second order can be expressed in terms of the Barnes G-function and (Euler) Gamma function:

${\displaystyle \operatorname {Cl} _{2}(2\pi z)=2\pi \log \left({\frac {G(1-z)}{G(1+z)}}\right)+2\pi z\log \left({\frac {\pi }{\sin \pi z}}\right)}$

Or equivalently

${\displaystyle \operatorname {Cl} _{2}(2\pi z)=2\pi \log \left({\frac {G(1-z)}{G(z)}}\right)-2\pi \log \Gamma (z)+2\pi z\log \left({\frac {\pi }{\sin \pi z}}\right)}$

See Adamchik (2003).

The Clausen functions represent the real and imaginary parts of the polylogarithm, on the unit circle:

${\displaystyle \operatorname {Cl} _{2m}(\theta )=\Im (\operatorname {Li} _{2m}(e^{i\theta })),\quad m\in \mathbb {Z} \geq 1}$

${\displaystyle \operatorname {Cl} _{2m+1}(\theta )=\Re (\operatorname {Li} _{2m+1}(e^{i\theta })),\quad m\in \mathbb {Z} \geq 0}$

This is easily seen by appealing to the series definition of the polylogarithm.

${\displaystyle \operatorname {Li} _{n}(z)=\sum _{k=1}^{\infty }{\frac {z^{k}}{k^{n}}}\quad \Longrightarrow \operatorname {Li} _{n}\left(e^{i\theta }\right)=\sum _{k=1}^{\infty }{\frac {\left(e^{i\theta }\right)^{k}}{k^{n}}}=\sum _{k=1}^{\infty }{\frac {e^{ik\theta }}{k^{n}}}}$

By Euler's theorem,

${\displaystyle e^{i\theta }=\cos \theta +i\sin \theta }$

and by de Moivre's Theorem (De Moivre's formula)

${\displaystyle (\cos \theta +i\sin \theta )^{k}=\cos k\theta +i\sin k\theta \quad \Rightarrow \operatorname {Li} _{n}\left(e^{i\theta }\right)=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{n}}}+i\,\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{n}}}}$

Hence

${\displaystyle \operatorname {Li} _{2m}\left(e^{i\theta }\right)=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m}}}+i\,\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m}}}=\operatorname {Sl} _{2m}(\theta )+i\operatorname {Cl} _{2m}(\theta )}$

${\displaystyle \operatorname {Li} _{2m+1}\left(e^{i\theta }\right)=\sum _{k=1}^{\infty }{\frac {\cos k\theta }{k^{2m+1}}}+i\,\sum _{k=1}^{\infty }{\frac {\sin k\theta }{k^{2m+1}}}=\operatorname {Cl} _{2m+1}(\theta )+i\operatorname {Sl} _{2m+1}(\theta )}$

The Clausen functions are intimately connected to the polygamma function. Indeed, it is possible to express Clausen functions as linear combinations of sine functions and polygamma functions. One such relation is shown here, and proven below:

${\displaystyle \operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)={\frac {1}{(2p)^{2m}(2m-1)!}}\,\sum _{j=1}^{p}\sin \left({\tfrac {qj\pi }{p}}\right)\,\left[\psi _{2m-1}\left({\tfrac {j}{2p}}\right)+(-1)^{q}\psi _{2m-1}\left({\tfrac {j+p}{2p}}\right)\right]}$

Let ${\displaystyle \,p\,}$ and ${\displaystyle \,q\,}$ be positive integers, such that ${\displaystyle \,q/p\,}$ is a rational number ${\displaystyle \,0<q/p<1\,}$, then, by the series definition for the higher order Clausen function (of even index):

${\displaystyle \operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)=\sum _{k=1}^{\infty }{\frac {\sin(kq\pi /p)}{k^{2m}}}}$

We split this sum into exactly p-parts, so that the first series contains all, and only, those terms congruent to ${\displaystyle \,kp+1,\,}$ the second series contains all terms congruent to ${\displaystyle \,kp+2,\,}$ etc., up to the final p-th part, that contain all terms congruent to ${\displaystyle \,kp+p\,}$

${\displaystyle {\begin{aligned}&\operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)\\={}&\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+1){\frac {q\pi }{p}}\right]}{(kp+1)^{2m}}}+\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+2){\frac {q\pi }{p}}\right]}{(kp+2)^{2m}}}+\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+3){\frac {q\pi }{p}}\right]}{(kp+3)^{2m}}}+\cdots \\&\cdots +\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+p-2){\frac {q\pi }{p}}\right]}{(kp+p-2)^{2m}}}+\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+p-1){\frac {q\pi }{p}}\right]}{(kp+p-1)^{2m}}}+\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+p){\frac {q\pi }{p}}\right]}{(kp+p)^{2m}}}\end{aligned}}}$

We can index these sums to form a double sum:

${\displaystyle {\begin{aligned}&\operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)=\sum _{j=1}^{p}\left\{\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+j){\frac {q\pi }{p}}\right]}{(kp+j)^{2m}}}\right\}\\={}&\sum _{j=1}^{p}{\frac {1}{p^{2m}}}\left\{\sum _{k=0}^{\infty }{\frac {\sin \left[(kp+j){\frac {q\pi }{p}}\right]}{(k+(j/p))^{2m}}}\right\}\end{aligned}}}$

Applying the addition formula for the sine function, ${\displaystyle \,\sin(x+y)=\sin x\cos y+\cos x\sin y,\,}$ the sine term in the numerator becomes:

${\displaystyle \sin \left[(kp+j){\frac {q\pi }{p}}\right]=\sin \left(kq\pi +{\frac {qj\pi }{p}}\right)=\sin kq\pi \cos {\frac {qj\pi }{p}}+\cos kq\pi \sin {\frac {qj\pi }{p}}}$

${\displaystyle \sin m\pi \equiv 0,\quad \,\cos m\pi \equiv (-1)^{m}\quad \Longleftrightarrow m=0,\,\pm 1,\,\pm 2,\,\pm 3,\,\ldots }$

${\displaystyle \sin \left[(kp+j){\frac {q\pi }{p}}\right]=(-1)^{kq}\sin {\frac {qj\pi }{p}}}$

Consequently,

${\displaystyle \operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)=\sum _{j=1}^{p}{\frac {1}{p^{2m}}}\sin \left({\frac {qj\pi }{p}}\right)\,\left\{\sum _{k=0}^{\infty }{\frac {(-1)^{kq}}{(k+(j/p))^{2m}}}\right\}}$

To convert the inner sum in the double sum into a non-alternating sum, split in two in parts in exactly the same way as the earlier sum was split into p-parts:

${\displaystyle {\begin{aligned}&\sum _{k=0}^{\infty }{\frac {(-1)^{kq}}{(k+(j/p))^{2m}}}=\sum _{k=0}^{\infty }{\frac {(-1)^{(2k)q}}{((2k)+(j/p))^{2m}}}+\sum _{k=0}^{\infty }{\frac {(-1)^{(2k+1)q}}{((2k+1)+(j/p))^{2m}}}\\={}&\sum _{k=0}^{\infty }{\frac {1}{(2k+(j/p))^{2m}}}+(-1)^{q}\,\sum _{k=0}^{\infty }{\frac {1}{(2k+1+(j/p))^{2m}}}\\={}&{\frac {1}{2^{p}}}\left[\sum _{k=0}^{\infty }{\frac {1}{(k+(j/2p))^{2m}}}+(-1)^{q}\,\sum _{k=0}^{\infty }{\frac {1}{(k+\left({\frac {j+p}{2p}}\right))^{2m}}}\right]\end{aligned}}}$

For ${\displaystyle \,m\in \mathbb {Z} \geq 1\,}$, the polygamma function has the series representation

${\displaystyle \psi _{m}(z)=(-1)^{m+1}m!\sum _{k=0}^{\infty }{\frac {1}{(k+z)^{m+1}}}}$

So, in terms of the polygamma function, the previous inner sum becomes:

${\displaystyle {\frac {1}{2^{2m}(2m-1)!}}\left[\psi _{2m-1}\left({\tfrac {j}{2p}}\right)+(-1)^{q}\psi _{2m-1}\left({\tfrac {j+p}{2p}}\right)\right]}$

Plugging this back into the double sum gives the desired result:

${\displaystyle \operatorname {Cl} _{2m}\left({\frac {q\pi }{p}}\right)={\frac {1}{(2p)^{2m}(2m-1)!}}\,\sum _{j=1}^{p}\sin \left({\tfrac {qj\pi }{p}}\right)\,\left[\psi _{2m-1}\left({\tfrac {j}{2p}}\right)+(-1)^{q}\psi _{2m-1}\left({\tfrac {j+p}{2p}}\right)\right]}$

The generalized logsine integral is defined by:

${\displaystyle {\mathcal {L}}s_{n}^{m}(\theta )=-\int _{0}^{\theta }x^{m}\log ^{n-m-1}\left|2\sin {\frac {x}{2}}\right|\,dx}$

In this generalized notation, the Clausen function can be expressed in the form:

${\displaystyle \operatorname {Cl} _{2}(\theta )={\mathcal {L}}s_{2}^{0}(\theta )}$

Ernst Kummer and Rogers give the relation

${\displaystyle \operatorname {Li} _{2}(e^{i\theta })=\zeta (2)-\theta (2\pi -\theta )/4+i\operatorname {Cl} _{2}(\theta )}$

valid for ${\displaystyle 0\leq \theta \leq 2\pi }$.

The Lobachevsky function Λ or Л is essentially the same function with a change of variable:

${\displaystyle \Lambda (\theta )=-\int _{0}^{\theta }\log |2\sin(t)|\,dt=\operatorname {Cl} _{2}(2\theta )/2}$

though the name "Lobachevsky function" is not quite historically accurate, as Lobachevsky's formulas for hyperbolic volume used the slightly different function

${\displaystyle \int _{0}^{\theta }\log |\sec(t)|\,dt=\Lambda (\theta +\pi /2)+\theta \log 2.}$

For rational values of ${\displaystyle \theta /\pi }$ (that is, for ${\displaystyle \theta /\pi =p/q}$ for some integers p and q), the function ${\displaystyle \sin(n\theta )}$ can be understood to represent a periodic orbit of an element in the cyclic group, and thus ${\displaystyle \operatorname {Cl} _{s}(\theta )}$ can be expressed as a simple sum involving the Hurwitz zeta function. This allows relations between certain Dirichlet L-functions to be easily computed.

A series acceleration for the Clausen function is given by

${\displaystyle {\frac {\operatorname {Cl} _{2}(\theta )}{\theta }}=1-\log |\theta |+\sum _{n=1}^{\infty }{\frac {\zeta (2n)}{n(2n+1)}}\left({\frac {\theta }{2\pi }}\right)^{2n}}$

which holds for ${\displaystyle |\theta |<2\pi }$. Here, ${\displaystyle \zeta (s)}$ is the Riemann zeta function. A more rapidly convergent form is given by

${\displaystyle {\frac {\operatorname {Cl} _{2}(\theta )}{\theta }}=3-\log \left[|\theta |\left(1-{\frac {\theta ^{2}}{4\pi ^{2}}}\right)\right]-{\frac {2\pi }{\theta }}\log \left({\frac {2\pi +\theta }{2\pi -\theta }}\right)+\sum _{n=1}^{\infty }{\frac {\zeta (2n)-1}{n(2n+1)}}\left({\frac {\theta }{2\pi }}\right)^{2n}.}$

Convergence is aided by the fact that ${\displaystyle \zeta (n)-1}$ approaches zero rapidly for large values of n. Both forms are obtainable through the types of resummation techniques used to obtain rational zeta series (Borwein et al. 2000).

Recall the Barnes G-function and Catalan's constant K. Some special values include

${\displaystyle \operatorname {Cl} _{2}\left({\frac {\pi }{2}}\right)=K}$

${\displaystyle \operatorname {Cl} _{2}\left({\frac {\pi }{3}}\right)=3\pi \log \left({\frac {G\left({\frac {2}{3}}\right)}{G\left({\frac {1}{3}}\right)}}\right)-3\pi \log \Gamma \left({\frac {1}{3}}\right)+\pi \log \left({\frac {2\pi }{\sqrt {3}}}\right)}$

${\displaystyle \operatorname {Cl} _{2}\left({\frac {2\pi }{3}}\right)=2\pi \log \left({\frac {G\left({\frac {2}{3}}\right)}{G\left({\frac {1}{3}}\right)}}\right)-2\pi \log \Gamma \left({\frac {1}{3}}\right)+{\frac {2\pi }{3}}\log \left({\frac {2\pi }{\sqrt {3}}}\right)}$

${\displaystyle \operatorname {Cl} _{2}\left({\frac {\pi }{4}}\right)=2\pi \log \left({\frac {G\left({\frac {7}{8}}\right)}{G\left({\frac {1}{8}}\right)}}\right)-2\pi \log \Gamma \left({\frac {1}{8}}\right)+{\frac {\pi }{4}}\log \left({\frac {2\pi }{\sqrt {2-{\sqrt {2}}}}}\right)}$

${\displaystyle \operatorname {Cl} _{2}\left({\frac {3\pi }{4}}\right)=2\pi \log \left({\frac {G\left({\frac {5}{8}}\right)}{G\left({\frac {3}{8}}\right)}}\right)-2\pi \log \Gamma \left({\frac {3}{8}}\right)+{\frac {3\pi }{4}}\log \left({\frac {2\pi }{\sqrt {2+{\sqrt {2}}}}}\right)}$

${\displaystyle \operatorname {Cl} _{2}\left({\frac {\pi }{6}}\right)=2\pi \log \left({\frac {G\left({\frac {11}{12}}\right)}{G\left({\frac {1}{12}}\right)}}\right)-2\pi \log \Gamma \left({\frac {1}{12}}\right)+{\frac {\pi }{6}}\log \left({\frac {2\pi {\sqrt {2}}}{{\sqrt {3}}-1}}\right)}$

${\displaystyle \operatorname {Cl} _{2}\left({\frac {5\pi }{6}}\right)=2\pi \log \left({\frac {G\left({\frac {7}{12}}\right)}{G\left({\frac {5}{12}}\right)}}\right)-2\pi \log \Gamma \left({\frac {5}{12}}\right)+{\frac {5\pi }{6}}\log \left({\frac {2\pi {\sqrt {2}}}{{\sqrt {3}}+1}}\right)}$

In general, from the Barnes G-function reflection formula,

${\displaystyle \operatorname {Cl} _{2}(2\pi z)=2\pi \log \left({\frac {G(1-z)}{G(z)}}\right)-2\pi \log \Gamma (z)+2\pi z\log \left({\frac {\pi }{\sin \pi z}}\right)}$

Equivalently, using Euler's reflection formula for the gamma function, then,

${\displaystyle \operatorname {Cl} _{2}(2\pi z)=2\pi \log \left({\frac {G(1-z)}{G(z)}}\right)-2\pi \log \Gamma (z)+2\pi z\log {\big (}\Gamma (z)\Gamma (1-z){\big )}}$

Some special values for higher order Clausen functions include

${\displaystyle \operatorname {Cl} _{2m}(0)=\operatorname {Cl} _{2m}(\pi )=\operatorname {Cl} _{2m}(2\pi )=0}$

${\displaystyle \operatorname {Cl} _{2m}\left({\frac {\pi }{2}}\right)=\beta (2m)}$

${\displaystyle \operatorname {Cl} _{2m+1}(0)=\operatorname {Cl} _{2m+1}(2\pi )=\zeta (2m+1)}$

${\displaystyle \operatorname {Cl} _{2m+1}(\pi )=-\eta (2m+1)=-\left({\frac {2^{2m}-1}{2^{2m}}}\right)\zeta (2m+1)}$

${\displaystyle \operatorname {Cl} _{2m+1}\left({\frac {\pi }{2}}\right)=-{\frac {1}{2^{2m+1}}}\eta (2m+1)=-\left({\frac {2^{2m}-1}{2^{4m+1}}}\right)\zeta (2m+1)}$

where ${\displaystyle \beta (x)}$ is the Dirichlet beta function, ${\displaystyle \eta (x)}$ is the Dirichlet eta function (also called the alternating zeta function), and ${\displaystyle \zeta (x)}$ is the Riemann zeta function.

The following integrals are easily proven from the series representations of the Clausen function:

${\displaystyle \int _{0}^{\theta }\operatorname {Cl} _{2m}(x)\,dx=\zeta (2m+1)-\operatorname {Cl} _{2m+1}(\theta )}$

${\displaystyle \int _{0}^{\theta }\operatorname {Cl} _{2m+1}(x)\,dx=\operatorname {Cl} _{2m+2}(\theta )}$

${\displaystyle \int _{0}^{\theta }\operatorname {Sl} _{2m}(x)\,dx=\operatorname {Sl} _{2m+1}(\theta )}$

${\displaystyle \int _{0}^{\theta }\operatorname {Sl} _{2m+1}(x)\,dx=\zeta (2m+2)-\operatorname {Cl} _{2m+2}(\theta )}$

Fourier-analytic methods can be used to find the first moments of the square of the function ${\displaystyle \operatorname {Cl} _{2}(x)}$ on the interval ${\displaystyle [0,\pi ]}$:[1]

${\displaystyle \int _{0}^{\pi }\operatorname {Cl} _{2}^{2}(x)\,dx=\zeta (4),}$

${\displaystyle \int _{0}^{\pi }t\operatorname {Cl} _{2}^{2}(x)\,dx={\frac {221}{90720}}\pi ^{6}-4\zeta ({\overline {5}},1)-2\zeta ({\overline {4}},2),}$

${\displaystyle \int _{0}^{\pi }t^{2}\operatorname {Cl} _{2}^{2}(x)\,dx=-{\frac {2}{3}}\pi \left[12\zeta ({\overline {5}},1)+6\zeta ({\overline {4}},2)-{\frac {23}{10080}}\pi ^{6}\right].}$

Here ${\displaystyle \zeta }$ denotes the multiple zeta function.

A large number of trigonometric and logarithmo-trigonometric integrals can be evaluated in terms of the Clausen function, and various common mathematical constants like ${\displaystyle \,K\,}$ (Catalan's constant), ${\displaystyle \,\log 2\,}$, and the special cases of the zeta function, ${\displaystyle \,\zeta (2)\,}$ and ${\displaystyle \,\zeta (3)\,}$.

The examples listed below follow directly from the integral representation of the Clausen function, and the proofs require little more than basic trigonometry, integration by parts, and occasional term-by-term integration of the Fourier series definitions of the Clausen functions.

${\displaystyle \int _{0}^{\theta }\log(\sin x)\,dx=-{\tfrac {1}{2}}\operatorname {Cl} _{2}(2\theta )-\theta \log 2}$

${\displaystyle \int _{0}^{\theta }\log(\cos x)\,dx={\tfrac {1}{2}}\operatorname {Cl} _{2}(\pi -2\theta )-\theta \log 2}$

${\displaystyle \int _{0}^{\theta }\log(\tan x)\,dx=-{\tfrac {1}{2}}\operatorname {Cl} _{2}(2\theta )-{\tfrac {1}{2}}\operatorname {Cl} _{2}(\pi -2\theta )}$

${\displaystyle \int _{0}^{\theta }\log(1+\cos x)\,dx=2\operatorname {Cl} _{2}(\pi -\theta )-\theta \log 2}$

${\displaystyle \int _{0}^{\theta }\log(1-\cos x)\,dx=-2\operatorname {Cl} _{2}(\theta )-\theta \log 2}$

${\displaystyle \int _{0}^{\theta }\log(1+\sin x)\,dx=2K-2\operatorname {Cl} _{2}\left({\frac {\pi }{2}}+\theta \right)-\theta \log 2}$

${\displaystyle \int _{0}^{\theta }\log(1-\sin x)\,dx=-2K+2\operatorname {Cl} _{2}\left({\frac {\pi }{2}}-\theta \right)-\theta \log 2}$