Evaluation of Infinite Series by Integrals

Abstract

We examine a large class of infinite triple series and establish a general summation formula. This is done by expressing the triple series in terms of definite integrals involving arctangent function that are evaluated in turn in closed forms. Numerous explicit formulae are tabulated for the triple series whose values result in elegant expressions as $\pi$, $ln2$ and the Catalan constant G.

1. Introduction and Outline

In mathematics and applied sciences, there exist numerous infinite series [1,2]. For example, the double series of Mordell [3,4] and Tornheim [5,6,7,8] play an important role in the number theory. In his collected works, Ramanujan [9] made explorations to several remarkable series (see also [10]).

From calculus, there are two simple but well-known series

$$\sum _{n=0}^{\infty }\frac{{(-1)}^n}{2n+1}=\frac{\pi }{4}\mathrm{and}\sum _{n=0}^{\infty }\frac{{(-1)}^n}{n+1}=ln2.$$

Their tensor product with zeta function and extensions lead to intensive investigations on Euler–Zagier sums and multiple zeta values (see for example [11,12,13]). These works suggest the authors to examine naturally, for $\lambda \in \mathbb{Z}$ and $\mu ,\nu \in {\mathbb{N}}_0$, the following triple series

$${\mathrm{S}}_{\lambda }(\mu ,\nu )=\sum _{n=0}^{\infty }\left(\genfrac{}{}{0pt}{}{-\lambda }{n}\right)\sum _{i=1}^{\infty }\frac{{(-1)}^{i-1}}{2n+2i+2\mu -1}\sum _{j=1}^{\infty }\frac{{(-1)}^{j-1}}{2n+2j+2\nu -1}.$$

(1)

The aim of this article is to evaluate explicitly this series. Firstly, it is trivial to see that there holds the following symmetry:

$${\mathrm{S}}_{\lambda }(\mu ,\nu )={\mathrm{S}}_{\lambda }(\nu ,\mu ).$$

(2)

Then for $m\in {\mathbb{N}}_0$ and $n\in \mathbb{Z}$, recall the binomial identity

$$\left(\genfrac{}{}{0pt}{}{-\lambda }{n}\right)=\sum _{k=0}^m{(-1)}^{m-k}\left(\genfrac{}{}{0pt}{}{m}{k}\right)\left(\genfrac{}{}{0pt}{}{k-\lambda }{n+m}\right),$$

which can be explained by the finite differences (i.e., the mth difference of a polynomial of degree $m+n$). When $m\le min\{\mu ,\nu \}$, the series ${\mathrm{S}}_{\lambda }(\mu ,\nu )$ can be manipulated as follows:

$$\begin{array}{cc}\hfill {\mathrm{S}}_{\lambda }(\mu ,\nu )=\sum _{k=0}^m{(-1)}^{m-k}\left(\genfrac{}{}{0pt}{}{m}{k}\right)\sum _{n=0}^{\infty }\left(\genfrac{}{}{0pt}{}{k-\lambda }{n+m}\right)\sum _{i=1}^{\infty }\frac{{(-1)}^{i-1}}{2n+2i+2\mu -1}\sum _{j=1}^{\infty }\frac{{(-1)}^{j-1}}{2n+2j+2\nu -1}& \\ \hfill =\sum _{k=0}^m{(-1)}^{m-k}\left(\genfrac{}{}{0pt}{}{m}{k}\right)\sum _{n=m}^{\infty }\left(\genfrac{}{}{0pt}{}{k-\lambda }{n}\right)\sum _{i=1}^{\infty }\frac{{(-1)}^{i-1}}{2n+2i+2\mu -2m-1}\sum _{j=1}^{\infty }\frac{{(-1)}^{j-1}}{2n+2j+2\nu -2m-1}& \\ \hfill =\sum _{k=0}^m{(-1)}^{m-k}\left(\genfrac{}{}{0pt}{}{m}{k}\right)\sum _{n=0}^{\infty }\left(\genfrac{}{}{0pt}{}{k-\lambda }{n}\right)\sum _{i=1}^{\infty }\frac{{(-1)}^{i-1}}{2n+2i+2\mu -2m-1}\sum _{j=1}^{\infty }\frac{{(-1)}^{j-1}}{2n+2j+2\nu -2m-1}& ,\hfill \end{array}$$

where the lower limit m of the sum with respect to n is replaced by 0 because

$$\sum _{k=0}^m{(-1)}^{m-k}\left(\genfrac{}{}{0pt}{}{m}{k}\right)\left(\genfrac{}{}{0pt}{}{k-\lambda }{n}\right)=0\mathrm{for}0\le n<m.$$

Hence, we get the following recurrence relation.

Lemma 1 (Recurrence relation: $0\le m\le min\{\mu ,\nu \}$).

$${\mathrm{S}}_{\lambda }(\mu ,\nu )=\sum _{k=0}^m{(-1)}^{m-k}\left(\genfrac{}{}{0pt}{}{m}{k}\right){\mathrm{S}}_{\lambda -k}(\mu -m,\nu -m).$$

Particularly for $m=1$, the following simplified recurrence holds:

$${\mathrm{S}}_{\lambda }(\mu ,\nu )={\mathrm{S}}_{\lambda -1}(\mu -1,\nu -1)-{\mathrm{S}}_{\lambda }(\mu -1,\nu -1).$$

(3)

By writing the two inner sums as definite integrals

$$\begin{array}{cc}\hfill \sum _{i=1}^{\infty }\frac{{(-1)}^{i-1}}{2n+2i+2\mu -1}=& \sum _{i=1}^{\infty }{(-1)}^{i-1}{\int }_0^1{x}^{2n+2i+2\mu -2}dx\hfill \\ \hfill =& {\int }_0^1{x}^{2n+2\mu }\left\{\sum _{i=1}^{\infty }{(-1)}^{i-1}{x}^{2i-2}\right\}dx\hfill \\ \hfill =& {\int }_0^1\frac{x^{2n+2\mu }}{1+x^2}dx,\hfill \\ \hfill \sum _{j=1}^{\infty }\frac{{(-1)}^{j-1}}{2n+2j+2\nu -1}=& \sum _{j=1}^{\infty }{(-1)}^{j-1}{\int }_0^1{y}^{2n+2j+2\nu -2}dy\hfill \\ \hfill =& {\int }_0^1{y}^{2n+2\nu }\left\{\sum _{j=1}^{\infty }{(-1)}^{j-1}{y}^{2j-2}\right\}dy\hfill \\ \hfill =& {\int }_0^1\frac{y^{2n+2\nu }}{1+y^2}dy;\hfill \end{array}$$

where exchanging orders of summation and integration is justified by Lebesgue’s dominated convergence theorem ([14], §11.32), we can express ${\mathrm{S}}_{\lambda }(\mu ,\nu )$ as

$$\begin{array}{cc}\hfill {\mathrm{S}}_{\lambda }(\mu ,\nu )=& \sum _{n=0}^{\infty }\left(\genfrac{}{}{0pt}{}{-\lambda }{n}\right){\int }_0^1\frac{x^{2n+2\mu }}{1+x^2}dx{\int }_0^1\frac{y^{2n+2\nu }}{1+y^2}dy\hfill \\ \hfill =& {\int }_0^1{\int }_0^1\frac{x^{2\mu }{y}^{2\nu }dxdy}{(1+x^2)(1+y^2)}\sum _{n=0}^{\infty }\left(\genfrac{}{}{0pt}{}{-\lambda }{n}\right)x^{2n}{y}^{2n}.\hfill \end{array}$$

Evaluating the inner sum by the binomial theorem

$$\sum _{n=0}^{\infty }\left(\genfrac{}{}{0pt}{}{-\lambda }{n}\right)x^{2n}{y}^{2n}={(1+x^2{y}^2)}^{-\lambda },$$

leads us to the following double integral representation.

Lemma 2 (Integral representation: $\lambda \in \mathbb{Z}$ and $\mu ,\nu \in {\mathbb{N}}_0$).

$${\mathrm{S}}_{\lambda }(\mu ,\nu )={\int }_0^1{\int }_0^1\frac{x^{2\mu }{y}^{2\nu }dxdy}{(1+x^2)(1+y^2){(1+x^2{y}^2)}^{\lambda }}.$$

Based on Lemmas 1 and 2, we deduce the following preliminary facts.

• $\begin{array}{|c|}\hline \lambda , \mu , \nu \mathrm{with} \lambda =0\\ \hline\end{array}$ In this case, the corresponding double integral becomes a product of two single integrals

  $${\mathrm{S}}_0(\mu ,\nu )={\int }_0^1{\int }_0^1\frac{x^{2\mu }{y}^{2\nu }}{(1+x^2)(1+y^2)}dxdy={\int }_0^1\frac{x^{2\mu }}{1+x^2}dx{\int }_0^1\frac{y^{2\nu }}{1+y^2}dy.$$
  Both integrals are computable since their integrands are simple rational functions.
• $\begin{array}{|c|}\hline \lambda , \mu , \nu \mathrm{with} \lambda <0\\ \hline\end{array}$ According to the binomial theorem, by expanding ${(1+x^2{y}^2)}^{-\lambda }$ in Lemma 2, we can express ${\mathrm{S}}_{\lambda }(\mu ,\nu )$ in terms of ${\mathrm{S}}_0({\mu }^{\prime },{\nu }^{\prime })$.
• $\begin{array}{|c|}\hline \lambda , \mu , \nu \mathrm{with} \lambda >0\\ \hline\end{array}$ In view of Lemma 1, we can write ${\mathrm{S}}_{\lambda }(\mu ,\nu )$ in terms of ${\mathrm{S}}_{{\lambda }^{\prime }}({\mu }^{\prime },0)$ or ${\mathrm{S}}_{{\lambda }^{\prime }}(0,{\nu }^{\prime })$. Taking account of symmetry, we only need to evaluate ${\mathrm{S}}_{\lambda }(\mu ,0)$ for $\lambda \in \mathbb{Z}$ and $\mu \in {\mathbb{N}}_0$.

By making use of the algebraic relation

$$x^{2\mu }={(-1)}^{\mu }+(1+x^2)\sum _{k=1}^{\mu }{(-1)}^{\mu -k}{x}^{2k-2},$$

we can express

$${\mathrm{S}}_{\lambda }(\mu ,0)={(-1)}^{\mu }{\mathrm{S}}_{\lambda }(0,0)+\sum _{k=1}^{\mu }{(-1)}^{\mu -k}{\mathrm{T}}_{\lambda }(k-1),$$

where

$${\mathrm{T}}_{\lambda }\left(\mu \right)={\int }_0^1{\int }_0^1\frac{x^{2\mu }dxdy}{(1+y^2){(1+x^2{y}^2)}^{\lambda }}.$$

Therefore, the evaluation of series ${\mathrm{S}}_{\lambda }(\mu ,\nu )$ is simplified to analyzing series ${\mathrm{S}}_{\lambda }(0,0)$ and ${\mathrm{T}}_{\lambda }\left(\mu \right)$. They will be treated separately in the next two sections. Finally, the paper will end in Section 4, where a conclusive theorem will be presented together with several tabulated sample formulae.

Throughout the paper, we shall utilize the following notations. For an indeterminate x and $n\in {\mathbb{N}}_0$, the rising and falling factorials are defined by ${\left(x\right)}_0={⟨x⟩}_0=1$ and

$$\left.\begin{array}{c}\hfill {\left(x\right)}_n=x(x+1)\cdots (x+n-1)\\ {⟨x⟩}_n=x(x-1)\cdots (x-n+1)\hfill \end{array}\right\}\mathrm{for}n\in \mathbb{N}.$$

Analogous to the harmonic numbers and odd harmonic numbers [13,15,16,17,18]

$$H_n=\sum _{k=1}^n\frac{1}{k}\mathrm{and}{O}_n=\sum _{k=1}^n\frac{1}{2k-1},$$

(4)

we shall employ their “skewed” variants (cf. [19,20,21,22]):

$${\overline{H}}_n=\sum _{k=1}^n\frac{{(-1)}^{k-1}}{k}\mathrm{and}{\overline{O}}_n=\sum _{k=1}^n\frac{{(-1)}^{k-1}}{2k-1}.$$

(5)

Most of our summation formulae are expressed in terms of $\pi$, $ln2$ and Catalan’s constant (cf. [23,24,25])

$$G=\sum _{n=0}^{\infty }\frac{{(-1)}^n}{{(2n+1)}^2}\approx 0.915965594.$$

(6)

In order to assure the accuracy of computations, numerical tests for all the equations have been made by appropriately devised Mathematica commands.

2. Evaluation of ${\mathrm{S}}_{\mathbf{\lambda }}(\mathbf{0},\mathbf{0})$

In view of the integral expression in Lemma 2, consider the difference

$$2{\mathrm{S}}_{1+\lambda }(0,0)-{\mathrm{S}}_{\lambda }(0,0)={\int }_0^1{\int }_0^1\frac{(1-x^2{y}^2)dxdy}{(1+x^2)(1+y^2){(1+x^2{y}^2)}^{\lambda +1}}.$$

By applying the equation

$$1-x^2{y}^2=(1+x^2)+(1+y^2)-(1+x^2)(1+y^2)$$

and then the symmetry, we can manipulate the double integral

$$\begin{array}{c}2{\mathrm{S}}_{1+\lambda }(0,0)-{\mathrm{S}}_{\lambda }(0,0)={\int }_0^1{\int }_0^1\frac{dxdy}{(1+x^2){(1+x^2{y}^2)}^{\lambda +1}}\hfill \\ +{\int }_0^1{\int }_0^1\frac{dxdy}{(1+y^2){(1+x^2{y}^2)}^{\lambda +1}}-{\int }_0^1{\int }_0^1\frac{dxdy}{{(1+x^2{y}^2)}^{\lambda +1}}\hfill \\ =2{\int }_0^1{\int }_0^1\frac{dxdy}{(1+x^2){(1+x^2{y}^2)}^{\lambda +1}}-{\int }_0^1{\int }_0^1\frac{dxdy}{{(1+x^2{y}^2)}^{\lambda +1}},\hfill \end{array}$$

which yields the expression

$$\begin{array}{cc}\hfill 2{\mathrm{S}}_{1+\lambda }(0,0)-{\mathrm{S}}_{\lambda }(0,0)& ={\int }_0^1{\int }_0^1\frac{(1-x^2)dxdy}{(1+x^2){(1+x^2{y}^2)}^{\lambda +1}}\hfill \\ & ={\int }_0^1\frac{1-x^2}{1+x^2}dx{\int }_0^1\frac{dy}{{(1+x^2{y}^2)}^{\lambda +1}}\hfill \\ & ={\int }_0^1\frac{1-x^2}{1+x^2}{\mathsf{\Theta }}_{\lambda +1}\left(x\right)dx.\hfill \end{array}$$

Henceforth, ${\mathsf{\Theta }}_{\lambda }\left(x\right)$ is defined by the parametric integral

$${\mathsf{\Theta }}_{\lambda }\left(x\right)={\int }_0^1\frac{dy}{{(1+x^2{y}^2)}^{\lambda }}\mathrm{for}\lambda \in {\mathbb{N}}_0.$$

(7)

By employing the integration by parts

$$\begin{array}{cc}\hfill {\mathsf{\Theta }}_{\lambda }\left(x\right)& ={\mathsf{\Theta }}_{\lambda -1}\left(x\right)-{\int }_0^1\frac{{\left(xy\right)}^{2}dy}{{(1+x^2{y}^2)}^{\lambda }}\hfill \\ & ={\mathsf{\Theta }}_{\lambda -1}\left(x\right)-\frac{{\mathsf{\Theta }}_{\lambda -1}\left(x\right)}{2(\lambda -1)}+\frac{1}{2(\lambda -1){(1+x^2)}^{\lambda -1}},\hfill \end{array}$$

we get the following recurrence relation

$${\mathsf{\Theta }}_{\lambda }\left(x\right)=\frac{2\lambda -3}{2\lambda -2}{\mathsf{\Theta }}_{\lambda -1}\left(x\right)+\frac{1}{2(\lambda -1){(1+x^2)}^{\lambda -1}}.$$

Iterating this relation $\lambda -1$ times (under the condition $\lambda \ge 1$), we find that

$${\mathsf{\Theta }}_{\lambda }\left(x\right)=\frac{{⟨\lambda -\frac{3}{2}⟩}_{\lambda -1}}{{⟨\lambda -1⟩}_{\lambda -1}}{\mathsf{\Theta }}_1\left(x\right)+\frac{1}{2\lambda -1}\sum _{k=1}^{\lambda -1}\frac{{⟨\lambda -\frac{1}{2}⟩}_k}{{⟨\lambda -1⟩}_k{(1+x^2)}^{\lambda -k}},$$

where ${\mathsf{\Theta }}_0\left(x\right)$ and ${\mathsf{\Theta }}_1\left(x\right)$ are evaluated explicitly below

$${\mathsf{\Theta }}_0\left(x\right)=1\mathrm{and}{\mathsf{\Theta }}_1\left(x\right)={\int }_0^1\frac{dy}{1+x^2{y}^2}=\frac{arctanx}{x}.$$

Lemma 3 ($\lambda \in \mathbb{N}$).

$$\begin{array}{cc}\hfill {\mathsf{\Theta }}_{\lambda }\left(x\right)& =\left(\genfrac{}{}{0pt}{}{\lambda -\frac{3}{2}}{\lambda -1}\right)\frac{arctanx}{x}+\frac{1}{2}\sum _{k=1}^{\lambda -1}\frac{{⟨\lambda -\frac{3}{2}⟩}_{k-1}}{{⟨\lambda -1⟩}_k{(1+x^2)}^{\lambda -k}},\hfill \end{array}$$

(8)

$$\begin{array}{cc}\hfill {\mathsf{\Theta }}_{\lambda }\left(1\right)& =\left(\genfrac{}{}{0pt}{}{\lambda -\frac{3}{2}}{\lambda -1}\right)\frac{\pi }{4}+\sum _{k=1}^{\lambda -1}\frac{{⟨\lambda -\frac{3}{2}⟩}_{k-1}}{{⟨\lambda -1⟩}_k{2}^{1+\lambda -k}}.\hfill \end{array}$$

(9)

By substitution, we can proceed further

$$\begin{array}{cc}\hfill 2{\mathrm{S}}_{1+\lambda }(0,0)& -{\mathrm{S}}_{\lambda }(0,0)={\int }_0^1\frac{1-x^2}{1+x^2}{\mathsf{\Theta }}_{\lambda +1}\left(x\right)dx\hfill \\ & =\left(\genfrac{}{}{0pt}{}{\lambda -\frac{1}{2}}{\lambda }\right){\int }_0^1\frac{(1-x^2)arctanx}{x(1+x^2)}dx\hfill \\ & +\sum _{k=1}^{\lambda }\frac{{⟨\lambda +\frac{1}{2}⟩}_k}{(2\lambda +1){⟨\lambda ⟩}_k}{\int }_0^1\frac{1-x^2}{{(1+x^2)}^{2+\lambda -k}}dx.\hfill \end{array}$$

Evaluate the two integrals

$$\begin{array}{cc}& {\int }_0^1\frac{(1-x^2)arctanx}{x(1+x^2)}dx=\frac{\pi }{4}ln2,\hfill \\ & {\int }_0^1\frac{1-x^2}{{(1+x^2)}^{2+\lambda -k}}dx=2{\mathsf{\Theta }}_{2+\lambda -k}\left(1\right)-{\mathsf{\Theta }}_{1+\lambda -k}\left(1\right);\hfill \end{array}$$

where the first one is done as follows:

$$\begin{array}{cc}\hfill ♢& ={\int }_0^1\frac{(1-x^2)arctanx}{x(1+x^2)}dx={\int }_0^{\frac{\pi }{4}}2ycot\left(2y\right)dy\begin{array}{|c|}\hline x\to tany\\ \hline\end{array}\hfill \\ & =-{\int }_0^{\frac{\pi }{4}}lnsin\left(2y\right)dy=-\frac{1}{2}{\int }_0^{\frac{\pi }{2}}lnsinydy\hfill \\ & =-\frac{1}{2}{\int }_0^{\frac{\pi }{2}}lncosydy=-\frac{1}{4}{\int }_0^{\frac{\pi }{2}}ln\frac{sin\left(2y\right)}{2}dy\begin{array}{|c|}\hline y\to \frac{x}{2}\\ \hline\end{array}\hfill \\ & =\frac{\pi }{8}ln2-\frac{1}{8}{\int }_0^{\pi }lnsinxdx=\frac{\pi }{8}ln2-\frac{1}{4}{\int }_0^{\frac{\pi }{2}}lnsinxdx\hfill \\ & =\frac{\pi }{8}ln2+\frac{♢}{2}=\frac{\pi }{4}ln2..\hfill \end{array}$$

Then we can express the difference

$$\begin{array}{cc}\hfill 2{\mathrm{S}}_{1+\lambda }(0,0)& -{\mathrm{S}}_{\lambda }(0,0)=\left(\genfrac{}{}{0pt}{}{\lambda -\frac{1}{2}}{\lambda }\right)\frac{\pi }{4}ln2\hfill \\ & +\sum _{k=1}^{\lambda }\frac{{⟨\lambda +\frac{1}{2}⟩}_k}{(2\lambda +1){⟨\lambda ⟩}_k}\left\{2{\mathsf{\Theta }}_{2+\lambda -k}\left(1\right)-{\mathsf{\Theta }}_{1+\lambda -k}\left(1\right)\right\}.\hfill \end{array}$$

Denote the last sum by ∇, we can manipulate it as follows:

$$\begin{array}{cc}\hfill \nabla & =\sum _{k=1}^{\lambda }\frac{{⟨\lambda +\frac{1}{2}⟩}_k}{(2\lambda +1){⟨\lambda ⟩}_k}\left\{2{\mathsf{\Theta }}_{2+\lambda -k}\left(1\right)-{\mathsf{\Theta }}_{1+\lambda -k}\left(1\right)\right\}\hfill \\ & =\sum _{k=0}^{\lambda -1}\frac{2{⟨\lambda +\frac{1}{2}⟩}_{k+1}}{(2\lambda +1){⟨\lambda ⟩}_{k+1}}{\mathsf{\Theta }}_{1+\lambda -k}\left(1\right)-\sum _{k=1}^{\lambda }\frac{{⟨\lambda +\frac{1}{2}⟩}_k}{(2\lambda +1){⟨\lambda ⟩}_k}{\mathsf{\Theta }}_{1+\lambda -k}\left(1\right)\hfill \\ & =\frac{{\mathsf{\Theta }}_{\lambda +1}\left(1\right)}{\lambda }-\frac{{\left(\frac{1}{2}\right)}_{\lambda }}{\lambda !}{\mathsf{\Theta }}_1\left(1\right)+\sum _{k=1}^{\lambda -1}\frac{(1+\lambda -k){⟨\lambda +\frac{1}{2}⟩}_k}{(2\lambda +1){⟨\lambda ⟩}_{k+1}}{\mathsf{\Theta }}_{1+\lambda -k}\left(1\right).\hfill \end{array}$$

Therefore, we have established the following recurrence relation.

Proposition 1 ($\lambda \in \mathbb{Z}$).

$$\begin{array}{cc}\hfill \begin{array}{|c|}\hline \lambda <0\\ \hline\end{array}& {\mathrm{S}}_{\lambda }(0,0)=\sum _{k=0}^{-\lambda }\left(\genfrac{}{}{0pt}{}{-\lambda }{k}\right){\left\{\frac{\pi }{4}-{\overline{O}}_k\right\}}^2,\hfill \\ \hfill \begin{array}{|c|}\hline \lambda =0\\ \hline\end{array}& {\mathrm{S}}_0(0,0)=\frac{{\pi }^2}{16},\hfill \\ \hfill \begin{array}{|c|}\hline \lambda \ge 1\\ \hline\end{array}& {\mathrm{S}}_1(0,0)=\frac{{\pi }^2}{32}+\frac{\pi }{8}ln2,\hfill \\ & 2{\mathrm{S}}_{1+\lambda }(0,0)-{\mathrm{S}}_{\lambda }(0,0)=\frac{{\mathsf{\Theta }}_{\lambda +1}\left(1\right)}{\lambda }-\left(\genfrac{}{}{0pt}{}{\lambda -\frac{1}{2}}{\lambda }\right)\frac{\pi }{4}(1-ln2)\hfill \\ & \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em} +\sum _{k=1}^{\lambda -1}\frac{(1+\lambda -k){⟨\lambda +\frac{1}{2}⟩}_k}{(2\lambda +1){⟨\lambda ⟩}_{k+1}}{\mathsf{\Theta }}_{1+\lambda -k}\left(1\right).\hfill \end{array}$$

Remark 1.

According to this proposition, it can be seen that ${\mathrm{S}}_{\lambda }(0,0)\in \mathbb{Q}⟨1,\pi ,{\pi }^2⟩$ for $\lambda \le 0$ and ${\mathrm{S}}_{\lambda }(0,0)\in \mathbb{Q}⟨1,\pi ,{\pi }^2,\pi ln2⟩$ for $\lambda >0$; where $\mathbb{Q}⟨\mathrm{\Lambda }⟩$ denotes the $\mathbb{Q}$-linear space spanned by $\mathrm{\Lambda }\subset \mathbb{R}$. Furthermore, by iterating the recursion $\lambda -1$ times, we derive, for $\lambda \ge 1$, the following explicit formula

$$\begin{array}{cc}\hfill {\mathrm{S}}_{\lambda }(0,0)=\frac{\pi ln2}{2^{\lambda +2}}+\frac{{\pi }^2}{2^{\lambda +4}}& +\sum _{i=2}^{\lambda }\{\frac{2^{i-1-\lambda }}{i-1}{\mathsf{\Theta }}_i\left(1\right)-\frac{\pi (1-ln2)}{2^{3+\lambda -i}}\left(\genfrac{}{}{0pt}{}{i-\frac{3}{2}}{i-1}\right)\hfill \\ & +2^{i-1-\lambda }\sum _{k=1}^{i-2}\frac{(i-k){⟨i-\frac{1}{2}⟩}_k{\mathsf{\Theta }}_{i-k}\left(1\right)}{(2i-1){⟨i-1⟩}_{k+1}}\}.\hfill \end{array}$$

Proof. 

The initial values corresponding to $\lambda =0$ and $\lambda =1$ are determined by

$$\begin{array}{cc}\hfill {\mathrm{S}}_0(0,0)& ={\int }_0^1{\int }_0^1\frac{dxdy}{(1+x^2)(1+y^2)}=\frac{{\pi }^2}{16},\hfill \\ \hfill 2{\mathrm{S}}_1(0,0)& ={\mathrm{S}}_0(0,0)+{\int }_0^1\frac{1-x^2}{1+x^2}{\mathsf{\Theta }}_1\left(x\right)dx\hfill \\ & =\frac{{\pi }^2}{16}+{\int }_0^1\frac{(1-x^2)arctanx}{x(1+x^2)}dx=\frac{{\pi }^2}{16}+\frac{\pi }{4}ln2.\hfill \end{array}$$

when $\lambda <0$, the integral can be evaluated directly

$$\begin{array}{cc}\hfill S_{\lambda }(0,0)& ={\int }_0^1{\int }_0^1\frac{{(1+x^2{y}^2)}^{-\lambda }dxdy}{(1+x^2)(1+y^2)}\hfill \\ & =\sum _{k=0}^{-\lambda }\left(\genfrac{}{}{0pt}{}{-\lambda }{k}\right){\int }_0^1\frac{x^{2k}dx}{1+x^2}{\int }_0^1\frac{y^{2k}dy}{1+y^2}\hfill \\ & =\sum _{k=0}^{-\lambda }\left(\genfrac{}{}{0pt}{}{-\lambda }{k}\right){\left\{\frac{\pi }{4}-{\overline{O}}_k\right\}}^2,\hfill \end{array}$$

where the last line is justified by

$$\begin{array}{cc}\hfill {\int }_0^1\frac{x^{2k}dx}{1+x^2}-\frac{\pi }{4}{(-1)}^k& ={(-1)}^{k+1}{\int }_0^1\frac{1-{(-x^2)}^k}{1+x^2}dx\hfill \\ & ={(-1)}^{k+1}\sum _{i=1}^k{\int }_0^1{(-x^2)}^{i-1}dx\hfill \\ & ={(-1)}^{k+1}\sum _{i=1}^k\frac{{(-1)}^{i-1}}{2i-1}.\hfill \end{array}$$

 □

We highlight from Proposition 1 the following infinite series identities.

$$\begin{array}{|l|}\hline {\mathrm{S}}_1(0,0)=\frac{{\pi }^2}{32}+\frac{\pi }{8}ln2,\\ {\mathrm{S}}_2(0,0)=\frac{1}{8}+\frac{{\pi }^2}{64}+\frac{\pi }{8}ln2,\\ {\mathrm{S}}_3(0,0)=\frac{3}{16}+\frac{\pi }{128}+\frac{{\pi }^2}{128}+\frac{7\pi }{64}ln2,\\ {\mathrm{S}}_4(0,0)=\frac{31}{144}+\frac{\pi }{64}+\frac{{\pi }^2}{256}+\frac{3\pi }{32}ln2,\\ {\mathrm{S}}_5(0,0)=\frac{65}{288}+\frac{89\pi }{4096}+\frac{{\pi }^2}{512}+\frac{83\pi }{1024}ln2.\\ \hline\end{array}\begin{array}{|l|}\hline {\mathrm{S}}_{-1}(0,0)=1-\frac{\pi }{2}+\frac{{\pi }^2}{8},\\ {\mathrm{S}}_{-2}(0,0)=\frac{22}{9}-\frac{4\pi }{3}+\frac{{\pi }^2}{4},\\ {\mathrm{S}}_{-3}(0,0)=\frac{1144}{225}-\frac{44\pi }{15}+\frac{{\pi }^2}{2},\\ {\mathrm{S}}_{-4}(0,0)=\frac{4496}{441}-\frac{128\pi }{21}+{\pi }^2,\\ {\mathrm{S}}_{-5}(0,0)=\frac{2,011,504}{99,225}-\frac{3904\pi }{315}+2{\pi }^2.\\ \hline\end{array}$$

3. Evaluation of ${\mathrm{T}}_{\mathbf{\lambda }}\left(\mathbf{\mu }\right)$

Now we are going to evaluate

$${\mathrm{T}}_{\lambda }\left(\mu \right)={\int }_0^1{\int }_0^1\frac{x^{2\mu }dxdy}{(1+y^2){(1+x^2{y}^2)}^{\lambda }}.$$

Recalling the partial fraction decomposition

$$\frac{1}{(1+y){(1+xy)}^{\lambda }}=\frac{1}{{(1-x)}^{\lambda }(1+y)}-\sum _{k=1}^{\lambda }\frac{x}{{(1-x)}^{1+\lambda -k}{(1+xy)}^k},$$

we can integrate

$$\begin{array}{cc}\hfill {\int }_0^1\frac{dy}{(1+y^2){(1+x^2{y}^2)}^{\lambda }}& ={\int }_0^1\frac{1}{{(1-x^2)}^{\lambda }(1+y^2)}dy\hfill \\ & -\sum _{k=1}^{\lambda }{\int }_0^1\frac{x^2}{{(1-x^2)}^{1+\lambda -k}{(1+x^2{y}^2)}^k}dy\hfill \\ & =\frac{\pi }{4{(1-x^2)}^{\lambda }}-\sum _{k=1}^{\lambda }\frac{x^2{\mathsf{\Theta }}_k\left(x\right)}{{(1-x^2)}^{1+\lambda -k}}.\hfill \end{array}$$

This reduces ${\mathrm{T}}_{\lambda }\left(\mu \right)$ to a single integral

$${\mathrm{T}}_{\lambda }\left(\mu \right)={\int }_0^1\mathcal{R}(\lambda ,\mu ;x)dx,$$

where the integrand is given by

$$\mathcal{R}(\lambda ,\mu ;x)=\frac{\pi x^{2\mu }}{4{(1-x^2)}^{\lambda }}-\sum _{k=1}^{\lambda }\frac{x^{2+2\mu }{\mathsf{\Theta }}_k\left(x\right)}{{(1-x^2)}^{1+\lambda -k}}.$$

Observing that

$$\mathcal{R}(\lambda ,\mu ;x)-\mathcal{R}(\lambda ,\mu +1;x)=\mathcal{R}(\lambda -1,\mu ;x)-x^{2+2\mu }{\mathsf{\Theta }}_{\lambda }\left(x\right),$$

(10)

we find the recurrence relation

$${\mathrm{T}}_{\lambda }(1+\mu )={\mathrm{T}}_{\lambda }\left(\mu \right)-{\mathrm{T}}_{\lambda -1}\left(\mu \right)+\Delta (\lambda ,\mu ),$$

(11)

where the non–homogeneous term $\Delta (\lambda ,\mu )$ reads explicitly as

$$\begin{array}{cc}\hfill \Delta (\lambda ,\mu )& ={\int }_0^1{x}^{2+2\mu }{\mathsf{\Theta }}_{\lambda }\left(x\right)dx\hfill \\ & =\left(\genfrac{}{}{0pt}{}{\lambda -\frac{3}{2}}{\lambda -1}\right){\int }_0^1{x}^{1+2\mu }arctanxdx\hfill \\ & +\sum _{k=1}^{\lambda -1}\frac{{⟨\lambda -\frac{3}{2}⟩}_{k-1}}{2{⟨\lambda -1⟩}_k}{\int }_0^1\frac{x^{2+2\mu }}{{(1+x^2)}^{\lambda -k}}dx.\hfill \end{array}$$

The integral $\Delta (\lambda ,\mu )$ will be evaluated in Lemma 6. According to the recurrence (11), we infer that as long as ${\mathrm{T}}_{\lambda }\left(0\right)$ are known, we can deduce all ${\mathrm{T}}_{\lambda }\left(\mu \right)$ for $\mu >0$. Analogously, we claim that as long as ${\mathrm{T}}_1\left(\mu \right)$ are known, we can deduce all ${\mathrm{T}}_{\lambda }\left(\mu \right)$ for $\lambda \le 0$.

3.1. $\Delta (\lambda ,\mu )$

In order to evaluate $\Delta (\lambda ,\mu )$ explicitly, we have to do that for the above two integrals, that are treated in the next two separate lemmas.

Firstly, it is not hard to evaluate the arctan-integral below.

Lemma 4

($m\in {\mathbb{N}}_0$). Let χ be the logical function defined by $\chi \left(\mathit{true}\right)=1$ and $\chi \left(\mathit{false}\right)=0$. Then we have the following integral formulae:

$$\begin{array}{cc}& \mathit{I}\left(2m\right)={\int }_0^1{x}^{2m}arctanxdx=\frac{\pi }{8m+4}-\frac{{(-1)}^{m}ln2}{4m+2}+{(-1)}^m\frac{{\overline{H}}_m}{4m+2},\hfill \\ & \mathit{I}(2m+1)={\int }_0^1{x}^{2m+1}arctanxdx=\frac{\pi \chi \left(m--\mathrm{even}\right)}{4m+4}-{(-1)}^m\frac{{\overline{O}}_{m+1}}{2m+2}.\hfill \end{array}$$

Then for another integral of the rational function

$$\mathit{J}(m,n)={\int }_0^1\frac{x^m}{{(1+x^2)}^n}dx\mathrm{where}m\in {\mathbb{N}}_0\mathrm{and}n\in \mathbb{N},$$

by means of the integration by parts, we have

$$\mathit{J}(m,n)=\frac{m-1}{2(n-1)}{\int }_0^1\frac{x^{m-2}}{{(1+x^2)}^{n-1}}dx-\frac{x^{m-1}}{2(n-1){(1+x^2)}^{n-1}}{|}_0^1$$

which results in the following recurrence relation

$$\mathit{J}(m,n)=\frac{m-1}{2(n-1)}\mathit{J}(m-2,n-1)-\frac{1}{2^n(n-1)}.$$

Under the replacement $m\to \delta +2m$ with $\delta \in \{0,1\}$, the above equation can be restated as

$$\mathit{J}(\delta +2m,n)=\frac{\delta -1+2m}{2n-2}\mathit{J}(\delta +2m-2,n-1)-\frac{1}{2^n(n-1)}.$$

Iterating ℓ times this equation gives that

$$\mathit{J}(\delta +2m,n)=\frac{{⟨\frac{\delta -1}{2}+m⟩}_{\ell }}{{⟨n-1⟩}_{\ell }}\mathit{J}(\delta +2m-2\ell ,n-\ell )-\sum _{k=1}^{\ell }\frac{{⟨\frac{\delta -1}{2}+m⟩}_{k-1}}{2^{1+n-k}{⟨n-1⟩}_k}.$$

By assigning $\ell =m$ and $\ell =n-1$ for $n>m$ and $n\le m$, respectively, we get from the above equation the following recurrent formulae.

Lemma 5 ($m\in {\mathbb{N}}_0$, $n\in \mathbb{N}$ and $\delta \in \{0,1\}$).

$$\begin{array}{cc}\hfill \begin{array}{|c|}\hline n>m\\ \hline\end{array}& \mathit{J}(\delta +2m,n)=\frac{{\left(\frac{1+\delta }{2}\right)}_m}{{⟨n-1⟩}_m}\mathit{J}(\delta ,n-m)-\sum _{k=1}^m\frac{{⟨\frac{\delta -1}{2}+m⟩}_{k-1}}{2^{1+n-k}{⟨n-1⟩}_k},\hfill \\ \hfill \begin{array}{|c|}\hline n\le m\\ \hline\end{array}& \mathit{J}(\delta +2m,n)=\left(\genfrac{}{}{0pt}{}{\frac{\delta -1}{2}+m}{n-1}\right)\mathit{J}(2+\delta +2m-2n,1)-\sum _{k=1}^{n-1}\frac{{⟨\frac{\delta -1}{2}+m⟩}_{k-1}}{2^{1+n-k}{⟨n-1⟩}_k}.\hfill \end{array}$$

In the above lemma, the two integrals on the right are evaluated explicitly below:

$$\begin{array}{cc}& \mathit{J}(0,n)={\int }_0^1\frac{dx}{{(1+x^2)}^n}={\mathsf{\Theta }}_n\left(1\right)=\frac{\pi {⟨n-\frac{3}{2}⟩}_{n-1}}{4{⟨n-1⟩}_{n-1}}+\sum _{k=1}^{n-1}\frac{{⟨n-\frac{3}{2}⟩}_{k-1}}{{⟨n-1⟩}_k{2}^{1+n-k}};\hfill \\ & \mathit{J}(1,n)={\int }_0^1\frac{x}{{(1+x^2)}^n}dx=\left\{\begin{array}{cc}{\displaystyle \frac{ln2}{2}},\hfill & n=1;\hfill \\ {\displaystyle \frac{1-2^{1-n}}{2n-2}},\hfill & n>1;\hfill \end{array}\right.\hfill \\ & \mathit{J}(m,0)=\frac{1}{m+1},\mathit{J}(2m,1)={\int }_0^1\frac{x^{2m}dx}{1+x^2}={(-1)}^m\frac{\pi }{4}-{(-1)}^m{\overline{O}}_m;\hfill \\ & \mathit{J}(2m+1,1)={\int }_0^1\frac{x^{2m+1}dx}{1+x^2}={(-1)}^m\frac{ln2}{2}-{(-1)}^m\frac{{\overline{H}}_m}{2}.\hfill \end{array}$$

Finally, we find the following expression for the non-homogeneous term.

Lemma 6 ($\lambda ,\mu \in {\mathbb{N}}_0$).

$$\begin{array}{cc}\hfill \Delta (\lambda ,\mu )& ={\int }_0^1{x}^{2+2\mu }{\mathsf{\Theta }}_{\lambda }\left(x\right)dx=\left(\genfrac{}{}{0pt}{}{\lambda -\frac{3}{2}}{\lambda -1}\right)\mathit{I}(2\mu +1)\hfill \\ & +\sum _{k=1}^{\lambda -1}\frac{{⟨\lambda -\frac{3}{2}⟩}_{k-1}}{2{⟨\lambda -1⟩}_k}\mathit{J}(2\mu +2,\lambda -k).\hfill \end{array}$$

3.2. ${\mathrm{T}}_{\lambda }\left(0\right)$ with $\lambda \ge 1$

For $\lambda =1$, it is not difficult to check that

$${\mathrm{T}}_1\left(0\right)={\int }_0^1{\int }_0^1\frac{dxdy}{(1+y^2)(1+x^2{y}^2)}={\int }_0^1\frac{arctanydy}{y(1+y^2)}=\frac{G}{2}+\frac{\pi }{8}ln2.$$

This is justified by combining two integrals

$$\begin{array}{cc}\hfill {\int }_0^1\frac{arctany}{y(1+y^2)}dy-\frac{G}{2}& ={\int }_0^1\frac{arctany}{y(1+y^2)}dy-{\int }_0^1\frac{arctany}{2y}dy\hfill \\ & ={\int }_0^1\frac{(1-y^2)arctany}{2y(1+y^2)}dy=\frac{\pi }{8}ln2.\hfill \end{array}$$

Interestingly, there is a counterpart integral evaluation

$$\begin{array}{cc}\hfill {\int }_0^1\frac{yarctany}{(1+y^2)}dy-\frac{G}{2}& ={\int }_0^1\frac{yarctany}{(1+y^2)}dy-{\int }_0^1\frac{arctany}{2y}dy\hfill \\ & ={\int }_0^1\frac{(y^2-1)arctany}{2y(1+y^2)}dy=-\frac{\pi }{8}ln2.\hfill \end{array}$$

In general for $\lambda >1$, integrating with respect to x gives

$${\mathrm{T}}_{\lambda }\left(0\right)={\int }_0^1{\int }_0^1\frac{dxdy}{(1+y^2){(1+x^2{y}^2)}^{\lambda }}={\int }_0^1\frac{{\mathsf{\Theta }}_{\lambda }\left(y\right)}{1+y^2}dy.$$

Recalling Lemma 3, we can compute the rightmost integral

$$\begin{array}{cc}\hfill {\int }_0^1\frac{{\mathsf{\Theta }}_{\lambda }\left(y\right)}{1+y^2}dy& =\left(\genfrac{}{}{0pt}{}{\lambda -\frac{3}{2}}{\lambda -1}\right){\int }_0^1\frac{arctany}{y(1+y^2)}dy+\frac{1}{2\lambda -1}\sum _{k=1}^{\lambda -1}\frac{{⟨\lambda -\frac{1}{2}⟩}_k}{{⟨\lambda -1⟩}_k}{\int }_0^1\frac{dy}{{(1+y^2)}^{1+\lambda -k}}\hfill \\ & =\left(\genfrac{}{}{0pt}{}{\lambda -\frac{3}{2}}{\lambda -1}\right)\left\{\frac{G}{2}+\frac{\pi }{8}ln2\right\}+\frac{1}{2\lambda -1}\sum _{k=1}^{\lambda -1}\frac{{⟨\lambda -\frac{1}{2}⟩}_k}{{⟨\lambda -1⟩}_k}{\mathsf{\Theta }}_{1+\lambda -k}\left(1\right).\hfill \end{array}$$

This leads us to the general formula

$$\begin{array}{cc}\hfill {\mathrm{T}}_{\lambda }\left(0\right)& =\left(\genfrac{}{}{0pt}{}{\lambda -\frac{3}{2}}{\lambda -1}\right)\left\{\frac{G}{2}+\frac{\pi }{8}ln2\right\}+\frac{1}{2\lambda -1}\sum _{k=1}^{\lambda -1}\frac{{⟨\lambda -\frac{1}{2}⟩}_k}{{⟨\lambda -1⟩}_k}{\mathsf{\Theta }}_{1+\lambda -k}\left(1\right).\hfill \end{array}$$

3.3. ${\mathrm{T}}_{\lambda }\left(\mu \right)$ with $\lambda \le 0$

When $\lambda \le 0$, it is almost routine to proceed with

$$\begin{array}{cc}\hfill {\mathrm{T}}_{\lambda }\left(\mu \right)& ={\int }_0^1{\int }_0^1\frac{x^{2\mu }dxdy}{(1+y^2){(1+x^2{y}^2)}^{\lambda }}\hfill \\ & =\sum _{k=0}^{-\lambda }\left(\genfrac{}{}{0pt}{}{-\lambda }{k}\right){\int }_0^1{x}^{2\mu +2k}dx{\int }_0^1\frac{y^{2k}}{1+y^2}dy\hfill \\ & =\sum _{k=0}^{-\lambda }\left(\genfrac{}{}{0pt}{}{-\lambda }{k}\right)\frac{{(-1)}^k}{2\mu +2k+1}\left\{\frac{\pi }{4}-{\overline{O}}_k\right\}.\hfill \end{array}$$

Summing up, we have proved the following general result.

Proposition 2 ($\lambda \in \mathbb{Z}$ and $\mu \in {\mathbb{N}}_0$).

Assuming $\mathit{I}\left(\mu \right)$ and $\mathit{J}(\lambda ,\mu )$ as in Lemmas 4 and 5, we have the following formulae:

$$\begin{array}{cc}\hfill \begin{array}{|c|}\hline \begin{array}{c}\lambda \le 0\end{array}\\ \hline\end{array}& {\mathrm{T}}_{\lambda }\left(\mu \right)=\sum _{k=0}^{-\lambda }\left(\genfrac{}{}{0pt}{}{-\lambda }{k}\right)\frac{{(-1)}^k}{2\mu +2k+1}\left\{\frac{\pi }{4}-{\overline{O}}_k\right\};\hfill \\ \hfill \begin{array}{|c|}\hline \begin{array}{c}\lambda \ge 1\end{array}\\ \hline\end{array}& {\mathrm{T}}_{\lambda }\left(0\right)=\left(\genfrac{}{}{0pt}{}{\lambda -\frac{3}{2}}{\lambda -1}\right)\left\{\frac{G}{2}+\frac{\pi }{8}ln2\right\}+\frac{1}{2\lambda -1}\sum _{k=1}^{\lambda -1}\frac{{⟨\lambda -\frac{1}{2}⟩}_k}{{⟨\lambda -1⟩}_k}{\mathsf{\Theta }}_{1+\lambda -k}\left(1\right);\hfill \\ & {\mathrm{T}}_{\lambda }(\mu +1)={\mathrm{T}}_{\lambda }\left(\mu \right)-{\mathrm{T}}_{\lambda -1}\left(\mu \right)\begin{array}{|c|}\hline \Delta (\lambda ,\mu )\\ \hline\end{array}\hfill \\ & \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}+\left(\genfrac{}{}{0pt}{}{\lambda -\frac{3}{2}}{\lambda -1}\right)\mathit{I}(2\mu +1)+\sum _{k=1}^{\lambda -1}\frac{{⟨\lambda -\frac{3}{2}⟩}_{k-1}}{2{⟨\lambda -1⟩}_k}\mathit{J}(2\mu +2,\lambda -k).\hfill \end{array}$$

Remark 2.

This proposition clearly implies the remarkable fact that ${\mathrm{T}}_{\lambda }\left(\mu \right)\in \mathbb{Q}⟨1,\pi ⟩$ for $\lambda \le 0$ and ${\mathrm{T}}_{\lambda }\left(\mu \right)\in \mathbb{Q}⟨1,G,\pi ,\pi ln2⟩$ for $\lambda >0$.

According to Proposition 2, it is possible to compute ${\mathrm{T}}_{\lambda }\left(\mu \right)$ when $\lambda \in \mathbb{Z}$ and $\mu \in {\mathbb{N}}_0$ are specified by small values. For $-3\le \lambda \le 3$ and $0\le \mu \le 3$, the corresponding values of ${\mathrm{T}}_{\lambda }\left(\mu \right)$ are recorded in the following table.

$\lambda \backslash \mu$	0	1	2	3
$-3$	$\frac{76}{105}+\frac{4\pi }{35}$	$\frac{388}{945}+\frac{4\pi }{315}$	$\frac{988}{3465}+\frac{4\pi }{1155}$	$\frac{12}{55}+\frac{4\pi }{3003}$
$-2$	$\frac{8}{15}+\frac{2\pi }{15}$	$\frac{32}{105}+\frac{2\pi }{105}$	$\frac{40}{189}+\frac{2\pi }{315}$	$\frac{16}{99}+\frac{2\pi }{693}$
$-1$	$\frac{1}{3}+\frac{\pi }{6}$	$\frac{1}{5}+\frac{\pi }{30}$	$\frac{1}{7}+\frac{\pi }{70}$	$\frac{1}{9}+\frac{\pi }{126}$
0	$\frac{\pi }{4}$	$\frac{\pi }{12}$	$\frac{\pi }{20}$	$\frac{\pi }{28}$
1	$\frac{G}{2}+\frac{\pi }{8}ln2$	$\frac{G}{2}-\frac{1}{2}+\frac{\pi }{8}ln2$	$\frac{G}{2}-\frac{1}{3}-\frac{\pi }{12}+\frac{\pi }{8}ln2$	$\frac{G}{2}-\frac{43}{90}-\frac{\pi }{20}+\frac{\pi }{8}ln2$
2	$\frac{1}{8}+\frac{G}{4}+\frac{\pi }{16}+\frac{\pi }{16}ln2$	$\frac{3}{8}-\frac{G}{4}+\frac{\pi }{16}-\frac{\pi }{16}ln2$	$\frac{5}{8}-\frac{3G}{4}+\frac{3\pi }{16}-\frac{3\pi }{16}ln2$	$\frac{95}{72}-\frac{5G}{4}+\frac{3\pi }{16}-\frac{5\pi }{16}ln2$
3	$\frac{5}{32}+\frac{3G}{16}+\frac{9\pi }{128}+\frac{3\pi }{64}ln2$	$\frac{5}{32}-\frac{G}{16}+\frac{5\pi }{128}-\frac{\pi }{64}ln2$	$\frac{3G}{16}-\frac{3}{32}-\frac{3\pi }{128}+\frac{3\pi }{64}ln2$	$\frac{15G}{16}-\frac{89}{96}-\frac{15\pi }{128}+\frac{15\pi }{64}ln2$

4. Evaluation of ${\mathrm{S}}_{\mathbf{\lambda }}(\mathbf{\mu },\mathbf{\nu })$

Recalling the integral representation in Lemma 2, ${\mathrm{S}}_{\lambda }(\mu ,\nu )$ is symmetric in $\mu$ and $\nu$. Suppose that $\lambda \in \mathbb{Z}$ and $\mu ,\nu \in {\mathbb{N}}_0$ with $\mu \ge \nu$. By Lemma 1, we can write

$${\mathrm{S}}_{\lambda }(\mu ,\nu )=\sum _{k=0}^{\nu }{(-1)}^{\nu -k}\left(\genfrac{}{}{0pt}{}{\nu }{k}\right){\mathrm{S}}_{\lambda -k}(\mu -\nu ,0).$$

In view of the algebraic relation

$$x^{\mu -\nu }={(-1)}^{\mu -\nu }+(1+x)\sum _{j=1}^{\mu -\nu }{(-1)}^{\mu -\nu -j}{x}^{j-1},$$

we can proceed further with

$$\begin{array}{cc}\hfill {\mathrm{S}}_{\lambda -k}(\mu -\nu ,0)& ={\int }_0^1{\int }_0^1\frac{x^{2\mu -2\nu }}{(1+x^2)(1+y^2){(1+x^2{y}^2)}^{\lambda -k}}dxdy\hfill \\ & ={(-1)}^{\mu -\nu }{\mathrm{S}}_{\lambda -k}(0,0)+\sum _{j=1}^{\mu -\nu }{(-1)}^{\mu -\nu -j}{\mathrm{T}}_{\lambda -k}(j-1).\hfill \end{array}$$

By substitution, we arrive at the following conclusive theorem.

Theorem 1 ($\lambda \in \mathbb{Z}$ and $\mu ,\nu \in {\mathbb{N}}_0$).

For any triplet integers $\lambda ,\mu ,\nu$ with $\lambda \in \mathbb{Z}$ and $\mu ,\nu \in {\mathbb{N}}_0$, the corresponding ${\mathrm{S}}_{\lambda }(\mu ,\nu )$ always has the value in $\mathbb{Q}⟨1,\pi ,{\pi }^2⟩$ for $\lambda \le 0$ and $\mathbb{Q}⟨1,G,\pi ,{\pi }^2,\pi ln2⟩$ for $\lambda >0$, where $\mathbb{Q}⟨\mathrm{\Lambda }⟩$ denotes the $\mathbb{Q}$-linear space spanned by $\mathrm{\Lambda }\subset \mathbb{R}$. More precisely, assuming ${\mathrm{S}}_{\lambda }(0,0)$ and ${\mathrm{T}}_{\lambda }\left(\mu \right)$ as in Proposition 1 and Proposition 2, respectively, the following infinite series identity holds:

$${\mathrm{S}}_{\lambda }(\mu ,\nu )=\sum _{k=0}^{\nu }{(-1)}^{\mu -k}\left(\genfrac{}{}{0pt}{}{\nu }{k}\right){\mathrm{S}}_{\lambda -k}(0,0)+\sum _{k=0}^{\nu }\left(\genfrac{}{}{0pt}{}{\nu }{k}\right)\sum _{j=1}^{\mu -\nu }{(-1)}^{\mu -k-j}{\mathrm{T}}_{\lambda -k}(j-1).$$

According to this theorem, we tabulate the summation formulae for triple series ${\mathrm{S}}_{\lambda }(\mu ,\nu )$ with $-4\le \lambda \le 5$ and $0\le \mu ,\nu \le 3$ below.

	$\mu \backslash \nu$	0	1	2	3
$\begin{array}{|c|}\hline \lambda =0\\ \hline\end{array}$	0	$\frac{{\pi }^2}{16}$				$\begin{array}{|c|}\hline \lambda =0\\ \hline\end{array}$
	1	$\frac{\pi }{4}-\frac{{\pi }^2}{16}$	$1-\frac{\pi }{2}+\frac{{\pi }^2}{16}$
	2	$\frac{{\pi }^2}{16}-\frac{\pi }{6}$	$\frac{5\pi }{12}-\frac{{\pi }^2}{16}-\frac{2}{3}$	$\frac{4}{9}-\frac{\pi }{3}+\frac{{\pi }^2}{16}$
	3	$\frac{13\pi }{60}-\frac{{\pi }^2}{16}$	$\frac{13}{15}-\frac{7\pi }{15}+\frac{{\pi }^2}{16}$	$\frac{23\pi }{60}-\frac{{\pi }^2}{16}-\frac{26}{45}$	$\frac{169}{225}-\frac{13\pi }{30}+\frac{{\pi }^2}{16}$
$\begin{array}{|c|}\hline \lambda =-1\\ \hline\end{array}$	0	$1-\frac{\pi }{2}+\frac{{\pi }^2}{8}$				$\begin{array}{|c|}\hline \lambda =-1\\ \hline\end{array}$
	1	$\frac{2\pi }{3}-\frac{2}{3}-\frac{{\pi }^2}{8}$	$\frac{13}{9}-\frac{5\pi }{6}+\frac{{\pi }^2}{8}$
	2	$\frac{13}{15}-\frac{19\pi }{30}+\frac{{\pi }^2}{8}$	$\frac{4\pi }{5}-\frac{56}{45}-\frac{{\pi }^2}{8}$	$\frac{269}{225}-\frac{23\pi }{30}+\frac{{\pi }^2}{8}$
	3	$\frac{68\pi }{105}-\frac{76}{105}-\frac{{\pi }^2}{8}$	$\frac{85}{63}-\frac{57\pi }{70}+\frac{{\pi }^2}{8}$	$\frac{82\pi }{105}-\frac{1898}{1575}-\frac{{\pi }^2}{8}$	$\frac{\mathrm{14,057}}{\mathrm{11,025}}-\frac{167\pi }{210}+\frac{{\pi }^2}{8}$
$\begin{array}{|c|}\hline \lambda =-2\\ \hline\end{array}$	0	$\frac{22}{9}-\frac{4\pi }{3}+\frac{{\pi }^2}{4}$				$\begin{array}{|c|}\hline \lambda =-2\\ \hline\end{array}$
	1	$\frac{22\pi }{15}-\frac{86}{45}-\frac{{\pi }^2}{4}$	$\frac{66}{25}-\frac{8\pi }{5}+\frac{{\pi }^2}{4}$
	2	$\frac{698}{315}-\frac{152\pi }{105}+\frac{{\pi }^2}{4}$	$\frac{166\pi }{105}-\frac{1286}{525}-\frac{{\pi }^2}{4}$	$\frac{\mathrm{27,238}}{\mathrm{11,025}}-\frac{164\pi }{105}+\frac{{\pi }^2}{4}$
	3	$\frac{458\pi }{315}-\frac{1894}{945}-\frac{{\pi }^2}{4}$	$\frac{\mathrm{12,074}}{4725}-\frac{100\pi }{63}+\frac{{\pi }^2}{4}$	$\frac{494\pi }{315}-\frac{\mathrm{80,594}}{\mathrm{33,075}}-\frac{{\pi }^2}{4}$	$\frac{\mathrm{247,666}}{\mathrm{99,225}}-\frac{496\pi }{315}+\frac{{\pi }^2}{4}$
$\begin{array}{|c|}\hline \lambda =-3\\ \hline\end{array}$	0	$\frac{1144}{225}-\frac{44\pi }{15}+\frac{{\pi }^2}{2}$				$\begin{array}{|c|}\hline \lambda =-3\\ \hline\end{array}$
	1	$\frac{64\pi }{21}-\frac{6868}{1575}-\frac{{\pi }^2}{2}$	$\frac{\mathrm{56,344}}{\mathrm{11,025}}-\frac{332\pi }{105}+\frac{{\pi }^2}{2}$
	2	$\frac{\mathrm{22,544}}{4725}-\frac{956\pi }{315}+\frac{{\pi }^2}{2}$	$\frac{992\pi }{315}-\frac{\mathrm{161,612}}{\mathrm{33,075}}-\frac{{\pi }^2}{2}$	$\frac{\mathrm{492,808}}{\mathrm{99,225}}-\frac{988\pi }{315}+\frac{{\pi }^2}{2}$
	3	$\frac{1504\pi }{495}-\frac{\mathrm{233,164}}{\mathrm{51,975}}-\frac{{\pi }^2}{2}$	$\frac{\mathrm{1,827,712}}{\mathrm{363,825}}-\frac{\mathrm{10,924}\pi }{3465}+\frac{{\pi }^2}{2}$	$\frac{2176\pi }{693}-\frac{\mathrm{5,341,508}}{\mathrm{1,091,475}}-\frac{{\pi }^2}{2}$	$\frac{\mathrm{8,520,376}}{\mathrm{1,715,175}}-\frac{1556\pi }{495}+\frac{{\pi }^2}{2}$
$\begin{array}{|c|}\hline \lambda =-4\\ \hline\end{array}$	0	$\frac{4496}{441}-\frac{128\pi }{21}+{\pi }^2$				$\begin{array}{|c|}\hline \lambda =-4\\ \hline\end{array}$
	1	$\frac{1952\pi }{315}-\frac{\mathrm{61,168}}{6615}-{\pi }^2$	$\frac{\mathrm{999,904}}{\mathrm{99,225}}-\frac{1984\pi }{315}+{\pi }^2$
	2	$\frac{\mathrm{142,544}}{\mathrm{14,553}}-\frac{4288\pi }{693}+{\pi }^2$	$\frac{7264\pi }{1155}-\frac{\mathrm{10,674,704}}{\mathrm{1,091,475}}-{\pi }^2$	$\frac{\mathrm{4,770,896}}{\mathrm{480,249}}-\frac{4352\pi }{693}+{\pi }^2$
	3	$\frac{\mathrm{278,816}\pi }{\mathrm{45,045}}-\frac{\mathrm{809,072}}{\mathrm{85,995}}-{\pi }^2$	$\frac{\mathrm{141,578,432}}{\mathrm{14,189,175}}-\frac{\mathrm{31,488}\pi }{5005}+{\pi }^2$	$\frac{\mathrm{282,976}\pi }{\mathrm{45,045}}-\frac{\mathrm{306,183,088}}{\mathrm{31,216,185}}-{\pi }^2$	$\frac{\mathrm{20,122,947,296}}{\mathrm{2,029,052,025}}-\frac{\mathrm{283,072}\pi }{\mathrm{45,045}}+{\pi }^2$
$\begin{array}{|c|}\hline \lambda =1\\ \hline\end{array}$	0	$\frac{{\pi }^2}{32}+\frac{\pi }{8}ln2$				$\begin{array}{|c|}\hline \lambda =1\\ \hline\end{array}$
	1	$\frac{G}{2}-\frac{{\pi }^2}{32}$	$\frac{{\pi }^2}{32}-\frac{\pi }{8}ln2$
	2	$\frac{{\pi }^2}{32}+\frac{\pi }{8}ln2-\frac{1}{2}$	$\frac{\pi }{4}-\frac{G}{2}-\frac{{\pi }^2}{32}$	$1-\frac{\pi }{2}+\frac{{\pi }^2}{32}+\frac{\pi }{8}ln2$
	3	$\frac{G}{2}+\frac{1}{6}-\frac{\pi }{12}-\frac{{\pi }^2}{32}$	$\frac{1}{2}-\frac{\pi }{6}+\frac{{\pi }^2}{32}-\frac{\pi }{8}ln2$	$\frac{G}{2}-\frac{2}{3}+\frac{\pi }{6}-\frac{{\pi }^2}{32}$	$\frac{\pi }{6}+\frac{{\pi }^2}{32}-\frac{\pi }{8}ln2-\frac{5}{9}$
$\begin{array}{|c|}\hline \lambda =2\\ \hline\end{array}$	0	$\frac{1}{8}+\frac{{\pi }^2}{64}+\frac{\pi }{8}ln2$				$\begin{array}{|c|}\hline \lambda =2\\ \hline\end{array}$
	1	$\frac{G}{4}+\frac{\pi }{16}-\frac{{\pi }^2}{64}-\frac{\pi }{16}ln2$	$\frac{{\pi }^2}{64}-\frac{1}{8}$
	2	$\frac{3}{8}+\frac{{\pi }^2}{64}-\frac{G}{2}$	$\frac{G}{4}-\frac{\pi }{16}-\frac{{\pi }^2}{64}+\frac{\pi }{16}ln2$	$\frac{1}{8}+\frac{{\pi }^2}{64}-\frac{\pi }{8}ln2$
	3	$\frac{1}{4}-\frac{G}{4}+\frac{3\pi }{16}-\frac{{\pi }^2}{64}-\frac{3\pi }{16}ln2$	$\frac{G}{2}-\frac{7}{8}+\frac{{\pi }^2}{64}+\frac{1}{8}\pi ln2$	$\frac{5\pi }{16}-\frac{{\pi }^2}{64}-\frac{\pi }{16}ln2-\frac{3G}{4}$	$\frac{7}{8}-\frac{\pi }{2}+\frac{{\pi }^2}{64}+\frac{1}{4}\pi ln2$
$\begin{array}{|c|}\hline \lambda =3\\ \hline\end{array}$	0	$\frac{3}{16}+\frac{\pi }{128}+\frac{{\pi }^2}{128}+\frac{7\pi }{64}ln2$				$\begin{array}{|c|}\hline \lambda =3\\ \hline\end{array}$
	1	$\frac{3G}{16}-\frac{1}{32}+\frac{\pi }{16}-\frac{{\pi }^2}{128}-\frac{\pi }{16}ln2$	$\frac{{\pi }^2}{128}-\frac{\pi }{128}-\frac{1}{16}+\frac{\pi }{64}ln2$
	2	$\frac{3}{16}-\frac{G}{4}-\frac{3\pi }{128}+\frac{{\pi }^2}{128}+\frac{3\pi }{64}ln2$	$\frac{G}{16}+\frac{1}{32}-\frac{{\pi }^2}{128}$	$\frac{\pi }{128}+\frac{{\pi }^2}{128}-\frac{1}{16}-\frac{\pi }{64}ln2$
	3	$\frac{7G}{16}-\frac{9}{32}-\frac{{\pi }^2}{128}$	$\frac{3}{16}-\frac{G}{4}+\frac{3\pi }{128}+\frac{{\pi }^2}{128}-\frac{3\pi }{64}ln2$	$\frac{3G}{16}-\frac{1}{32}-\frac{\pi }{16}-\frac{{\pi }^2}{128}+\frac{\pi }{16}ln2$	$\frac{3}{16}-\frac{\pi }{128}+\frac{{\pi }^2}{128}-\frac{7\pi }{64}ln2$
$\begin{array}{|c|}\hline \lambda =4\\ \hline\end{array}$	0	$\frac{31}{144}+\frac{\pi }{64}+\frac{{\pi }^2}{256}+\frac{3\pi }{32}ln2$				$\begin{array}{|c|}\hline \lambda =4\\ \hline\end{array}$
	1	$\frac{5G}{32}-\frac{3}{64}+\frac{43\pi }{768}-\frac{{\pi }^2}{256}-\frac{7\pi }{128}ln2$	$\frac{{\pi }^2}{256}-\frac{1}{36}-\frac{\pi }{128}+\frac{\pi }{64}ln2$
	2	$\frac{{\pi }^2}{256}-\frac{3G}{16}+\frac{47}{288}-\frac{3\pi }{128}+\frac{3\pi }{64}ln2$	$\frac{G}{32}+\frac{1}{64}+\frac{5\pi }{768}-\frac{{\pi }^2}{256}-\frac{\pi }{128}ln2$	$\frac{{\pi }^2}{256}-\frac{5}{144}$
	3	$\frac{7G}{32}-\frac{9}{64}+\frac{25\pi }{768}-\frac{{\pi }^2}{256}-\frac{5\pi }{128}ln2$	$\frac{7}{288}-\frac{G}{16}+\frac{{\pi }^2}{256}$	$\frac{G}{32}+\frac{1}{64}-\frac{5\pi }{768}-\frac{{\pi }^2}{256}+\frac{\pi }{128}ln2$	$\frac{\pi }{128}-\frac{1}{36}+\frac{{\pi }^2}{256}-\frac{\pi }{64}ln2$
$\begin{array}{|c|}\hline \lambda =5\\ \hline\end{array}$	0	$\frac{65}{288}+\frac{89\pi }{4096}+\frac{{\pi }^2}{512}+\frac{83\pi }{1024}ln2$				$\begin{array}{|c|}\hline \lambda =5\\ \hline\end{array}$
	1	$\frac{35G}{256}-\frac{241}{4608}+\frac{19\pi }{384}-\frac{{\pi }^2}{512}-\frac{3\pi }{64}ln2$	$\frac{{\pi }^2}{512}-\frac{1}{96}-\frac{25\pi }{4096}+\frac{13\pi }{1024}ln2$
	2	$\frac{{\pi }^2}{512}-\frac{5G}{32}+\frac{29}{192}-\frac{253\pi }{\mathrm{12,288}}+\frac{43\pi }{1024}ln2$	$\frac{5G}{256}+\frac{25}{4608}+\frac{5\pi }{768}-\frac{{\pi }^2}{512}-\frac{\pi }{128}ln2$	$\frac{{\pi }^2}{512}-\frac{5}{288}-\frac{7\pi }{4096}+\frac{3\pi }{1024}ln2$
	3	$\frac{43G}{256}-\frac{179}{1536}+\frac{25\pi }{768}-\frac{{\pi }^2}{512}-\frac{5\pi }{128}ln2$	$\frac{{\pi }^2}{512}-\frac{G}{32}+\frac{7}{576}-\frac{35\pi }{\mathrm{12,288}}+\frac{5\pi }{1024}ln2$	$\frac{3G}{256}+\frac{47}{4608}-\frac{{\pi }^2}{512}$	$\frac{{\pi }^2}{512}-\frac{5}{288}+\frac{7\pi }{4096}-\frac{3\pi }{1024}ln2$