1. It is well known that

if $R(m)>-1$. It follows from this and Fourier's Theorem that, if $n$ is any real number except $\pm \pi $ and $R(\alpha +\beta )>1$, or if $n=\pm \pi $ and $R(\alpha +\beta )>2$, then according as $|n|\lt \pi$ or $|n|\geq \pi $. In particular we have if $R(\alpha +\beta )>1$; and if $R(\alpha )>\frac{1}{2}$. If $\alpha$ is an integer $n+1$, (1.22) reduces to Again, if $m$ is a positive integer, we have $$ \frac{\sin m\pi x}{\sin \pi x} =\left\{\begin{array}{l} \ds 1+2\cos 2\pi x +2\cos 4\pi x+\cdots\mbox{ to } \half (m+1) \mbox{ terms }\qquad\mbox{or}\\ \ds 2\cos \pi x +2\cos 3\pi x+\cdots \mbox{ to } \half m \mbox{ terms} \end{array}\right., $$ according as $m$ is odd or even. It follows from this and (1.2) that, if $R(\alpha )>1$, $$ \int_{0}^{\infty }\frac{\sin m\pi x}{\sin \pi x}\frac{dx}{\Gamma (\alpha +x)\Gamma (\alpha -x)}=\frac{2^{2\alpha -3}}{\Gamma (2\alpha -1)}\quad or \quad 0, $$ according as $m$ is odd or even. Hence, if $m$ and $n$ are positive integers, we have according as $m$ is odd or even. From this we easily deduce that, if $l,m,$ and $n$ are positive integers, according as $m$ is odd or even. It follows that according as $m$ is odd or even. Similarly we can shew that for all positive integral values of $l,m,$ and $n$.

In this connection it is interesting to note the following results:

(i) If $R(\alpha +\beta )>1$ and $R(\gamma +\delta )>1$, then

This is easily proved by writing $$\int_{-\frac{1}{2}}^{\frac{1}{2}} (2\cos \pi z)^{ \alpha +\beta -2} e^{i\pi z(\alpha -\beta +2x)}dz $$ instead of $$\frac{\Gamma (\alpha +\beta -1)}{\Gamma (\alpha +x)\Gamma (\beta -x)}$$ in the left-hand side of (1.3).

(ii) If $m$ and $n$ are integers of which one is odd and the other even, and $m\geq 0$ and $R(\alpha +\beta )>2$, then

where $\xi $ is any real number. This is proved as follows: Suppose that the left-hand side, minus the right-hand side, is $f(\xi )$. Then $$ f^{\prime} (\xi ) = -\frac{(\alpha +\beta -2)(\cos \pi \xi )^m} {\Gamma (\alpha +\xi )\Gamma (\beta -\xi )}e^{in\pi \xi} -\frac{\ds(-1)^{m+n}(\cos \pi \xi )^m e^{in\pi \xi }}{\ds\Gamma (\alpha +\xi )\Gamma (\beta -\xi -1)}+\frac{\ds(\cos \pi \xi )^m e^{in\pi \xi }}{\ds\Gamma (\alpha -1+\xi )\Gamma (\beta -\xi )}=0. $$ Hence $f(\xi )$ is a constant which is easily seen to be zero.

2. Before proceeding further I shall give a few general rules for generalising the results in the previous and the following sections. If $$f_{r}(\zeta )=\int_{\xi }^{\eta }\frac{(x+\epsilon _1) (x+\epsilon _2)\cdots (x+\epsilon _r)}{\Gamma (\zeta \pm x)}F(x) \ dx,$$ where $r$ is zero or a positive integer, and the $\epsilon $'s, $\xi ,\eta ,\zeta $ and $F(x)$ are all arbitrary, then it is easy to see that

provided the necessary convergence conditions are satisfied.

Similarly if $$f_{r}(\zeta )=\int_{\xi }^{\eta }(x+\epsilon _1)(x+\epsilon _2)\cdots (x+\epsilon _r)\Gamma (\zeta \pm x)F(x) \ dx,$$ then

Thus we see that, if $f_0 (\zeta )$ is known, $f_r (\zeta )$ can be easily determined.

Suppose now that $P(x)$ is a polynomial of the $r$th degree and $N$ any integer greater than or equal to $r$. Let $D,E$ and $\Delta $ denote the usual operators so that $$E=1+\Delta =e^{D}.$$ Then, if $$ f(\zeta )=\int_{\xi }^{\eta }\frac{F(x)}{\Gamma (\zeta \pm x)} \ dx, $$

as easily seen by replacing $P(x)$ by $$ (1\pm \Delta E^{-\frac{1}{2}\pm \half })^{\zeta \pm x-1} P\left\{\pm(1-\zeta )\right \}. $$ Similarly using the equation $$ P(x)=(1\mp \Delta E^{-\frac{1}{2}\mp \half })^{-(\zeta \pm x)} P(\pm \zeta ), $$ we find that, if $$ f(\zeta )=\int_{\xi }^{\eta }\Gamma (\zeta \pm x) F(x) \ dx, $$ then As an illustration let us apply (2.3) to (1.2). We find that if $n$ is any real number except $\pm \pi $, and $R(\alpha +\beta )>1+r$, or if $n= \pm \pi $, and $R(\alpha +\beta )>2+r$, and $N$ is any positive integer greater than or equal to $r$, where $r$ is the degree of the polynomial $P(x)$, then according as $|n|\geq \pi $ or $|n|\lt \pi $, $k_{\nu }$ being either $\ds e^{\frac{1}{2}in\nu }\Delta ^{\nu }P(1-\alpha )$ or $$e^{-\frac{1}{2}in\nu }(-\Delta )^{\nu }P(\beta -\nu -1 ).$$ It is immaterial which value of $k_{\nu }$ we take.

If $$P(x)=\frac{\Gamma (\zeta _1 +x)}{\Gamma (\zeta _2 +x)},$$ where $\zeta _1 -\zeta _2 $ is a positive integer, then it is well known that

This affords a very good example for the previous formulæ.

It is easy to see that (1.2) can be restated as

or according as $|n|\geq \pi $ or $|n|\lt \pi $ ($n$ being of course real). But $$\int_{-\infty}^{\infty }\frac{P(x)e^{inx}} {\Gamma (\alpha +x) \Gamma (\beta -x)} \ dx=\int_{-\infty}^{\infty }\frac{e^{(D+in)x}P(0)}{\Gamma (\alpha +x) \Gamma (\beta -x)} \ dx.$$ Hence, if the conditions stated for (2.5) are satisfied, or according as $|n|\geq \pi $ or $|n|\lt \pi $.

3. We shall now consider an important extension of (1.2). Let $[x]$ denote the greatest integer not exceeding $x$, so that (e.g.) $[-5\frac{1}{2}]=-6$. Let us agree further that $$\sum_{\mu }^{\nu }=0,$$ if $\nu \lt \mu $. Then if $n$ and $s$ are real and $\phi (z)$ is a function that can be expanded in the form $$ \sum_{-\infty }^{\infty }C_{\nu }z^{\nu } $$ when $|z|=1$, we have

where the summation is bounded by $$ -\left [\frac{\pi }{|s|}+\frac{n}{s}\right ]\leq \nu \leq \left [\frac{\pi }{|s|}-\frac{n}{s}\right ], $$ provided that either

$\hspace{2cm}$ (i) $\pi +n$ and $\pi -n $ are not multiples of $s$, and $R(\alpha +\beta )>1,$

$\hspace{1cm}$ or $\hspace{.3cm}$ (ii) $\pi +n$ and $\pi -n $ are multiples of $s$, and $R(\alpha +\beta )>2,$

$\hspace{1cm}$ or $\hspace{.3cm}$ (iii) $C_{(\pi -n)/s}=0$ and $C_{-(\pi +n)/s}=0$, whenever one or the other or both of the suffixes

$\hspace{2.9cm}$ of $C$ happen to be integral, and $R(\alpha +\beta )>1,$

$\hspace{1cm}$ or $\hspace{.3cm}$ (iv) $\pi +n$ and $\pi -n $ are multiples of $s$, $\alpha +\beta $ is an integer greater than 1, and

$\hspace{2.85cm}$ $C_{(\pi -n)/s}=e^{2i\pi \alpha }C_{-(\pi +n)/s}$.

The formula (3.1) is easily obtained by substituting the series for $\phi $ and integrating term-by-term, using (1.2).

It should be remembered that (3.1) is not true if $n$ or $s$ ceases to be real, though the integral may be convergent. In such cases, generally, the integral cannot be evaluated in finite terms.

The following integrals can be evaluated at once, with the help of (3.1):

where $m$ and $n$ are real and $|p|\neq |q|$; where $n$ and $s$ are real and $m$ is a positive integer; where $m$ is real and $|\epsilon |\lt 1$; For instance the value of (3.14) is $$ \sum \left (\frac{q+p}{q-p}\right )^{\frac{1}{2}\nu } J_{\nu } \left \{\sqrt{(q^2-p^2)}\right \}\frac{\left \{2\cos \half (n+\nu s ) \right \}^{\alpha +\beta -2}}{\Gamma (\alpha +\beta -1)}e^{\frac{1}{2}i(\beta -\alpha )(n+\nu s)}, $$ where $J_{\nu } (x)$ is the ordinary Bessel function of the $\nu $th order, and $\{(q+p)/(q-p)\}^{\frac{1}{2}\nu }$ should be interpreted so that the first term in the expansion of $$ \{(q+p)/(q-p)\}^{\frac{1}{2}\nu }J_{\nu } \left \{\sqrt{(q^2-p^2)}\right \} $$ is $$\frac{\left \{\half (p+q)\right \}^{\nu }}{\nu !}.$$

Putting $s=2\pi $ in (3.1) we obtain the following corollary. If $\phi $ is the same function as in (3.1), and $ n$ is any real number, then

where $$\lambda =-\left [\frac{\pi +n }{2\pi }\right ],$$ provided that either

$\hspace{2.2cm}$ (i) $n$ is not an odd multiple of $\pi$, and $R(\alpha +\beta )>1,$

$\hspace{1cm}$ or$\quad$ (ii) $n$ is an odd multiple of $\pi $ , and $R(\alpha +\beta )>2,$

$\hspace{1cm}$ or$\quad$ (iii) $n$ is an odd multiple of $\pi $, $C_{(\pi -n)/2\pi }=0$ and $C_{-(\pi +n)/2\pi }=0$, and $R(\alpha +\beta )>1,$

$\hspace{1cm}$ or$\quad$ (iv) $n$ is an odd multiple of $\pi $, $\alpha +\beta $ is an integer greater than 1, and $C_{(\pi -n)/2\pi }=e^{2i\pi \alpha }C_{-(\pi +n)/2\pi}$.

Thus we see that the value of each integrals (3.12) – (3.14), when $s=2\pi$, reduces to a single term.

The next section will be denoted to the application of (3.2) in evaluating some special integrals.

4. Suppose that $\alpha $ is not real and $$\phi (z)=1+e^{-2i\pi \alpha }z+e^{-4i\pi \alpha }z^2 +\cdots \quad (I(\alpha )\lt 0),$$ and $$\ds \phi (z)=-e^{2i\pi \alpha }z^{-1}-e^{4i\pi \alpha }z^{-2}+\cdots \quad (I(\alpha )>0), $$ so that $\phi (z)$ is convergent when $|z|=1$. Then it is easy to see that $$\int_{-\infty}^{\infty }\frac{\Gamma (\alpha +x)} {\Gamma (\beta +x)}e^{inx } \ dx=2i\pi e^{-i\pi \alpha }\int_{-\infty}^{\infty }\frac{\phi (e^{2i\pi x})}{\Gamma (1-\alpha +x)\Gamma (\beta -x)}e^{ix(\pi -n) } \ dx.$$

It follows from (3.2) that if $\alpha $ is not real, $n$ real, and

$\hspace{2cm}$ (i) $n$ is neither 0 nor any multiple of $2\pi $, and $R(\alpha -\beta)\lt 0,$

$\hspace{1cm}$ or $\hspace{.3cm}$ (ii) $n$ has the same sign as $I(\alpha )$ and $R(\alpha -\beta )\lt 0,$

$\hspace{1cm}$ or $\hspace{.3cm}$ (iii) $n$ is 0, or a multiple of $2\pi$, having the sign opposite to that of $I(\alpha )$, and $R(\alpha -\beta )\lt -1,$

$\hspace{1cm}$ or $\hspace{.3cm}$ (iv) $n$ is not 0 and $\alpha -\beta $ is a negative integer, then

the zero value being taken when $n$ and $I(\alpha )$ have the same sign, the plus sign when $n\geq 0$ and $I(\alpha )\lt 0$, and the minus sign when $n\leq 0$ and $I(\alpha )>0$.

As a particular cases of (4.1) we have

if $\alpha $ is not real and $R(\alpha -\beta )\lt -1$. If $\alpha $ is not real, $n$ real, and (i) $r$ is a positive integer, or (ii) $r=0$ and $n\neq 0$, then the different values being selected as in (4.1).

Similarly we can shew that if $\alpha $ and $\beta $ are not real and $n$ is real, and

$\hspace{2cm}$ (i) $n$ is not an odd multiple of $\pi $ and $R(\alpha +\beta )\lt 1$,

$\hspace{1cm}$ or $\hspace{.3cm}$ (ii) $n$ is an odd multiple of $\pi $ which has either the sign of $I(\beta )$ or the sign opposite

$\hspace{3cm}$ to that of $I(\alpha )$, and $R(\alpha +\beta )\lt 0$,

$\hspace{1cm}$ or $\hspace{.3cm}$ (iii) $n$ is an odd multiple of $\pi $ which has neither the sign of $I(\beta )$ nor the sign opposite

$\hspace{3cm}$ to that of $I(\alpha)$, and $R(\alpha +\beta )\lt 1$, then

where $\eta _n (\zeta )$ is equal to 0 when $\pi -n$ and $I(\zeta )$ have the same sign, to 1 when $n\leq \pi $ and $I(\zeta )\lt 0$, and to $-1$ when $n\geq \pi $ and $I(\zeta )>0$.

It should be remembered that for real values of $n$ $$\left |2\cos \half n\right |=2\cos \left (\half n -\pi \left [\frac{(\pi +n)}{2\pi }\right ]\right ).$$

It follows, in particular, that if $\alpha $ and $\beta $ are not real, and $R(\alpha +\beta )\lt 1$, then

the zero value being chosen when $I(\alpha )$ and $I(\beta )$ have different signs, the plus sign when $I(\alpha )$ and $I(\beta )$ are both negative, and the minus sign when $I(\alpha )$ and $I(\beta )$ are both positive.

The following results can either be deduced from (1.5) or be proved independently in the same way as (1.4).

If $n$ is zero or any multiple of $2\pi $, $\xi $ real, $\alpha $ any number except the real numbers less than or equal to $-\xi $, and $\beta $ is any number such that $R(\beta -\alpha )>1$, then

If $n$ is any odd multiple of $\pi $, $\alpha $ and $\xi $ are the same as in (4.3), and $\beta $ is not real and $R(\alpha +\beta )\lt 0$, then

5. We now proceed to consider an application of (1.2) to some other functions. Suppose that $U_s (x)$, $V_s(x)$ and $W_s (x)$ are many-valued functions of $x$ defined by $$U_s (x)=\frac{u_0 x^s}{\Gamma (1+s)}+\frac{u_1 x^{s+\epsilon}} {\Gamma (1+s+\epsilon)}+\frac{u_2 x^{s+2\epsilon}}{\Gamma (1+s+2\epsilon)} +\cdots ,$$ $$V_s (x)=\frac{v_0 x^s}{\Gamma (1+s)}+\frac{v_1 x^{s+\epsilon}} {\Gamma (1+s+\epsilon)}+\frac{v_2 x^{s+2\epsilon}}{\Gamma (1+s+2\epsilon)} +\cdots ,$$ $$W_s (x)=\frac{w_0 x^s}{\Gamma (1+s)}+\frac{w_1 x^{s+\epsilon}} {\Gamma (1+s+\epsilon)}+\frac{w_2 x^{s+2\epsilon}}{\Gamma (1+s+2\epsilon)} +\cdots ,$$ where $R(\epsilon )\geq 0$, the $u$'s, $v$'s and $w$'s are any numbers connected by the relation to be found by equating the coefficients of the various powers of $k$ in the equation

$w_0+w_1k+w_2k^2+\cdots =(u_0+u_1k+u_2k^2+\cdots ) (v_0+v_1k+v_2k^2+\cdots )$ ¹,

and the series $U_s (x)$, $V_s(x)$ and $W_s (x)$ are convergent at least for the values of $s$ and $x$ that appear in the equation (5.2).

The functions $U,V$ and $W$ are many valued. If $|x/y|=1$ and $|\arg (x/y)|\lt \pi $, then one value of $\arg (x+y)$ is given by the equation

If we choose $\arg x$ and $\arg y$ arbitrarily, and agree that $$x^{s+\mu \epsilon }=\exp \{(s+\mu \epsilon )(\log |x|+i\arg x)\},$$ and that of $y^{s+\mu \epsilon }$ and $(x+y)^{s+\mu \epsilon }$ are to be interpreted similarly, that value of $\arg (x+y)$ being chosen which is given by (5.1), then a definite branch of $W$ is associated with any arbitrary pair of branches of $U$ and $V$.

If $\alpha ,\beta ,x, y$ are any numbers such that $|x/y|=1$, and $R(\alpha +\beta )>0$ when $|\arg (x/y)|=\pi $ and $R(\alpha +\beta )>-1$ otherwise, then

according as $|\arg (x/y )|\geq \pi $ or $ |\arg (x/y )|\lt \pi $, whatever be the branches of $U(x)$ and $V(y)$, provided that the corresponding branch of $W(x+y)$ is fixed in accordance with the conventions explained above. This is proved as follows. Suppose that $$x=te^{\frac{1}{2}in},\quad y=te^{-\frac{1}{2}in},$$ where $t$ is arbitrary and $n$ is any real number. Then the integral becomes $$\int_{-\infty}^{\infty }U_{\alpha +\xi }(te^{\frac{1}{2}in}) V_{\beta -\xi }(te^{-\frac{1}{2}in})e^{in \xi }d\xi.$$

If we expand the integral in powers of $t$, and integrate term by term with the help of (1.2) and then make use of the relations between the $u$'s, $v$'s and $w$'s, the result will be $$W_{\alpha +\beta }\left (2t\cos \half n\right ) =W_{\alpha +\beta }(x+y),$$ or zero, according to the conditions stated with regard to (5.2).

In particular, if $R(\alpha +\beta )>-1$, we have

Suppose now that $G_s (p,x)$ is a many-valued function of $x$ defined by $$G_s (p,x)=\frac{x^s}{\Gamma (s+1)}-\frac{p}{1!} \frac{ x^{s+1}}{\Gamma (s+2)}+\frac{p(p+1)}{2!}\frac{ x^{s+2}} {\Gamma (s+3)} -\cdots .$$ Then it follows from (5.2) that if $\alpha ,\beta ,x, y$ are any numbers such that $|x/y|=1$, and $R(\alpha +\beta )>0$ when $|\arg (x/y)|=\pi $ and $R(\alpha +\beta )>-1$ otherwise, we have according as $|\arg (x/y )|\geq \pi $ or $\lt \pi $, whatever be the branches of $G(p,x)$ and $G(q,y)$, provided that the corresponding branch of $G(p+q,x+y)$ is chosen according to our former convention. If, in particular, $R(\alpha +\beta )>-1$, then It may be interesting to note that the right-hand sides of (5.3) and (5.31) are of the form $G_{\alpha +\beta }(p+q,z)$, which reduces to $$\frac{z^{\alpha +\beta }}{\Gamma (\alpha +\beta +1)}$$ when $p=-q$, becoming independent of $p$ or $q$.

The ordinary Bessel's functions are particular cases of the function $G_s (p,x)$. Hence we have the following particular results. If $n$ is real, and $R(\alpha +\beta )>0$ when $n=\pm \pi $ and $R(\alpha +\beta )>-1$ otherwise, then

according as $|n|\geq \pi $ or $\lt \pi $. If $n$ is real, and $R(\alpha +\beta )>0$ when $n=\pm \pi $ and $R(\alpha +\beta )>-1$ otherwise, then according as $|n|\geq \pi $ or $\lt \pi $. If $R(\alpha +\beta )>-1$, then and

6. We shall now consider some special cases of the integral

$l$ and $n$ being real numbers.

Replacing $1/\{\Gamma (\gamma+lx)\Gamma (\delta -lx) \}$ by $$\frac{1}{\pi \Gamma (\gamma +\delta -1)} \int _{-\frac{1}{2}\pi}^{\frac{1}{2}\pi}(2\cos z)^{\gamma +\delta -2} e^{-iz(\gamma -\delta +2lx)}dz,$$ it follows from (1.2) that (6.1) is equal to

where $u$ and $v$ are the lower and upper extremities of the common part of the intervals $$-\half \pi \lt z\lt \half \pi, \quad -\half \pi \lt \half n-lz \lt \half \pi.$$ If the intervals do not overlap, the value of (6.1) is zero. It is easy to see that if the intervals do not overlap; and that, if they do overlap and $l>0$, then $$u=\left |\frac{\pi }{4}+\frac{n-\pi }{4l}\right |-\left |\frac{\pi }{4} -\frac{n-\pi }{4l}\right |,$$ and $$v=\left |\frac{\pi }{4}+\frac{n+\pi }{4l}\right |-\left |\frac{\pi }{4} -\frac{n+\pi }{4l}\right |.$$ It should also be observed that, though (6.11) may not be convergent for all the values of $\alpha ,\beta , \gamma $ and $\delta $ for which (6.1) is convergent, yet we may evaluate (6.11) when it is convergent, and so obtain a formula for (6.1) which may be extended, by the theory of analytic continuation, to all values of the parameters for which the integral converges.

From (6.12) we see that, if $l$ and $n$ are any real numbers such that $|n|\geq \pi (1+|l|),$ then

provided that $\hspace{0.5in}$ $\ds \mbox{ (i) } R(\alpha +\beta +\gamma +\delta )>2$ when $\ds |n|> \pi (1+|l|)$,

and $\hspace{1.25in}$ $\ds \mbox{ (ii) } R(\alpha +\beta +\gamma +\delta )>3$ when $\ds |n|= \pi (1+|l|)$.

7. Suppose now that $l=1$ and $n=0$; then (6.11) reduces to $$ \frac{1}{\pi \Gamma (\alpha +\beta -1)\Gamma (\gamma +\delta -1)} \int_{-\frac{1}{2}\pi}^{\frac{1}{2}\pi}(2\cos z )^{\alpha +\beta +\gamma + \delta -4}e^{iz(\alpha -\beta -\gamma +\delta )} dz, $$ which is easily evaluated by the help of (1.1). Hence

provided that (i) $R(\alpha +\beta +\gamma +\delta )>3$, or (ii) $2(\alpha -\gamma )$ and $2(\beta -\delta )$ are odd integers and $R(\alpha +\beta +\gamma +\delta )>2$.

It should be noted that the formula fails when $\alpha +\beta +\gamma +\delta =3$ and $2(\alpha -\gamma )$ and $2(\beta -\delta )$ are odd integers. The value of the integral in this case is some times $1/2\pi $ and some times $-1/2\pi $. The value to be selected may be fixed as follows. It is easy to see that, in this case, one and only one of the numbers $\alpha +\beta -1 ,\beta +\gamma -1 ,\gamma +\delta -1 $ and $\delta +\alpha -1 $ will be an integer less than or equal to zero. If $\alpha +\beta -1 $ or $\beta +\gamma -1$ happens to be such a number, then the value of the integral is $\pm 1/2\pi $, according as $2(\beta -\delta )\equiv \mp 1\pmod {4}$. But if $\gamma +\delta -1 $ or $\delta +\alpha -1 $ happens to be such a number, the value of the integral is $\pm 1/2\pi $, according as $2(\beta -\delta )\equiv \pm 1\pmod {4}$.

As particular cases of (7.1), we have

provided that $R(\alpha +\beta )>\frac{3}{2}$, provided that (i) $R(\alpha +\beta )>\frac{3}{2}$, or (ii) $2(\alpha -\beta )$ is an odd integer and $R(\alpha +\beta )>1$. If $2(\alpha +\beta )=3$ and $2(\alpha -\beta )$ is an odd integer, then the value of the integral (7.12), when $\alpha \geq 1$, is $\pm 1/2\pi $, according as $2(\alpha -\beta )\equiv \pm 1\pmod {4}$, and when $\alpha \lt 1$ it is $\pm 1/2\pi $, according as $2(\alpha -\beta )\equiv \mp 1\pmod {4}$.

Putting $\alpha =\beta$ in (7.11) or in (7.12), we obtain

if $R(\alpha )>\frac{3}{4}$. Suppose again that $l=1, n=\pi$, and $\alpha +\delta =\beta +\gamma $. Then (6.11) reduces to $$ \frac{e^{\frac{1}{2}i\pi (\beta -\alpha )}} {\pi \Gamma (\alpha +\beta -1)\Gamma (\gamma +\delta -1)}\int_{0}^{\frac{1}{2}\pi }\left (2\sin z \right )^{\alpha +\beta -2}(2\cos z)^{\gamma +\delta -2} dz. $$ Hence we see that if $\alpha +\delta =\beta +\gamma $ and $R(\alpha +\beta +\gamma +\delta )>2$. In particular if $R(\alpha +\beta )>1$, and if $R(\alpha )>\frac{1}{2}$.

8. It follows from (6.2), (7.1), and (7.2) that, if $$\phi (z)=\sum_{-\infty }^{\infty }c_{2\nu }z^{2\nu },\quad \psi (z) = \sum_{-\infty }^{\infty }c_{2\nu +1}z^{2\nu +1},$$ the series being convergent when $|z|=1$, then

provided that (i) $R(\alpha +\beta +\gamma +\delta )>3$ or (ii) $R(\alpha +\beta +\gamma +\delta )>2$ and $$c_2e^{i\pi (\beta +\delta )}+c_{-2}e^{-i\pi (\beta +\delta )} =2c_0\cos \pi (\beta -\delta ),$$ $$c_2e^{-i\pi (\alpha +\gamma )}+c_{-2}e^{i\pi (\alpha +\gamma )} =2c_0\cos \pi (\alpha -\gamma );$$ and that provided that $\alpha +\delta =\beta +\gamma $ and $R(\alpha +\beta +\gamma +\delta )>2$.

If $\alpha +\delta -\beta -\gamma$ is an integer other than zero, it is possible to evaluate the integrals (7.2) and (8.2) in finite terms, but not as a single term.

The following integrals can be evaluated as a single term, with the help of (8.1) and (8.2), whenever they are convergent:

where (i) $n$ is an odd multiple of $\pi $, or (ii) $n$ is an even multiple of $\pi $ and $\alpha +1=\beta +\gamma +\delta $; where (i) $n$ is an even multiple of $\pi $, or (ii) $n$ is an odd multiple of $\pi $ and $\alpha +\delta =\beta +\gamma $; where (i) $n$ is an odd multiple of $\pi $, or (ii) $n$ is an even multiple of $\pi $ and $\alpha +\beta +\gamma =1+\delta $; where (i) $n$ is an even multiple of $\pi $, or (ii) $n$ is an odd multiple of $\pi $ and $\alpha +\delta =\beta +\gamma $. Thus for instance, if $\delta $ is not real, $\alpha +1=\beta +\gamma +\delta $, and $R(\alpha +\beta +\gamma -\delta )>1$, then according as $I(\delta )$ is positive or negative; and if $\gamma $ and $\delta $ are not real and $R(\alpha +\beta -\gamma -\delta )>1$, then the zero value being taken when $I(\gamma )$ and $I(\delta)$ have the same sign, the plus sign when $I(\gamma )>0$ and $I(\delta)\lt 0$, and the minus sign when $I(\gamma )\lt 0$ and $I(\delta)>0$.

9. The following results are easily obtained with the help of (6.11). If $2(\alpha -\beta )=\gamma -\delta $ and $R(\alpha +\beta +\gamma +\delta )>3$, then

If $R(\alpha +\beta )>\frac{3}{2}$, then

If $\alpha +\beta +\gamma +\delta =4$, then

If $2(\alpha -\beta )=\gamma -\delta +k $, where $k$ is $\pm 1$ or $\pm 2$, then

provided that $R(\alpha +\beta +\gamma +\delta )>2$.

If $3(\alpha -\beta )=\gamma -\delta +k$, where $k$ is $\pm 1$ or $\pm 2$, then

provided that (i) $R(\alpha +\beta +\gamma +\delta )>3$, or (ii) $\beta +\gamma -2\alpha $ is integral and $R(\alpha +\beta +\gamma +\delta )>2$.

In (9.2) and (9.3) the plus sign or minus sign on the right-hand side is to be taken according as $k$ is positive or negative. If $k$ is an integer other than $\pm 1$ or $\pm 2$, the integrals in (9.2) and (9.3) can still be evaluated in finite terms, but in a less simple form.

10. In this connection, it may be interesting to note that, if $n$ is an even multiple of $\pi $, and $\alpha +\beta +\gamma +\delta =4$, then

for all real values of $\xi $. The proof of this is the same as that of (1.4).

Finally I may mention the formula

which holds if (i) $R(\alpha +\beta +\gamma +\delta )>-1$, or (ii) $2(\alpha -\gamma )$ and $2(\beta -\delta )$ are odd integers and $R(\alpha +\beta +\gamma +\delta )>-2$.