一个特别的参数积分I(p,q)

---

前言

这里计算一个积分，方便在推导中使用

---

一、$I(p,q)$的定义

这个积分没有特别的名字，我们暂且用$I(p,q)$来称呼它，它的定义是
$$\begin{array}{r}I(p,q)={\int }_0^{2\pi }co{s}^{2p}\theta si{n}^{2q}\theta d\theta \end{array}$$
我们只讨论$p,q$为非负整数的特殊情况。

二、$I(p,q)$的对称性

首先它具有对称性，在积分中如果做替换：$\theta \to \theta +\pi /2$，可以看出这一点。我们写成：
$I(p,q)=I(q,p)$

三、$I(p,q)$的递推公式

由于$p,q$是对称的，不妨设$p\le q$：
$$\begin{array}{rl}I(p,q)=& {\int }_0^{2\pi }co{s}^{2p}\theta si{n}^{2q}\theta d\theta =\frac{1}{2q+1}{\int }_0^{2\pi }co{s}^{2p-1}\theta d(si{n}^{2q+1}\theta )\\ =& -\frac{1}{2q+1}{\int }_0^{2\pi }si{n}^{2q+1}\theta d(co{s}^{2p-1}\theta )=\frac{2p-1}{2q+1}{\int }_0^{2\pi }co{s}^{2p-2}\theta si{n}^{2q+2}\theta d\theta \\ =& \frac{2p-1}{2q+1}I(p-1,q+1)\end{array}$$
所以第一个递推公式就是：
$$\begin{array}{r}I(p,q)=\frac{2p-1}{2q+1}I(p-1,q+1)\dots \dots (1)\end{array}$$
显然利用上式，求$I(p,q)$的问题可以归结为计算$I(0,r)$的问题：
$$\begin{array}{rl}I(0,r)=& {\int }_0^{2\pi }si{n}^{2r}\theta d\theta =-{\int }_0^{2\pi }si{n}^{2r-1}\theta dcos\theta ={\int }_0^{2\pi }cos\theta d(si{n}^{2r-1}\theta )\\ =& (2r-1){\int }_0^{2\pi }si{n}^{2r-2}\theta co{s}^2\theta d\theta \\ =& (2r-1){\int }_0^{2\pi }si{n}^{2r-2}\theta d\theta -(2r-1){\int }_0^{2\pi }si{n}^{2r}\theta d\theta \\ =& (2r-1)I(0,r-1)-(2r-1)I(0,r)\end{array}$$
于是得到递推公式：
$$\begin{array}{r}I(0,r)=\frac{2r-1}{2r}I(0,r-1)\dots \dots (2)\end{array}$$

四、$I(p,q)$的值

利用递推关系$(1)$可得：
$$\begin{array}{rl}I(p,q)=& \frac{2p-1}{2q+1}I(p-1,q+1)\\ =& \frac{(2p-1)(2p-3)}{(2q+1)(2q+3)}I(p-2,q+2)\\ =& \frac{(2p-1)(2p-3)(2p-5)}{(2q+1)(2q+3)(2q+5)}I(p-3,q+3)\\ =& \cdots \\ =& \frac{(2p-1)!!(2q-1)!!}{(2q+2p-1)!!}I(0,p+q)\end{array}$$
由递推关系$(2)$可得：
$$\begin{array}{rl}I(0,r)=& \frac{2r-1}{2r}I(0,r-1)\\ =& \frac{(2r-1)(2r-3)}{(2r)(2r-2)}I(0,r-2)\\ =& \frac{(2r-1)(2r-3)(2r-5)}{(2r)(2r-2)(2r-4)}I(0,r-3)\\ =& \cdots \\ =& \frac{(2r-1)!!}{(2r)!!}I(0,0)\\ =& 2\pi \frac{(2r-1)!!}{(2r)!!}\end{array}$$

结合两个式子，并且做替换$r\to p+q$，可得：
$$\begin{array}{rl}I(p,q)=& 2\pi \frac{(2p-1)!!(2q-1)!!}{(2p+2q)!!}=2\pi \frac{(2p-1)!!(2p)!!(2q-1)!!(2q)!!}{(2p)!!(2p+2q)!!(2q)!!}\\ =& \frac{2\pi }{2^{2p+2q}}\frac{(2p)!(2q)!}{p!(p+q)!q!}\end{array}$$

总结

通过推导得到了公式：
$$\begin{array}{r}I(p,q)=\frac{2\pi }{2^{2p+2q}}\frac{(2p)!(2q)!}{p!(p+q)!q!}\end{array}$$