Оценить $\int_{-\pi/2}^{\pi/2} (1+e^{2i\phi})^{\alpha} (1+e^{-2i\phi})^{\beta} \, \mathrm{d}\phi$
Я должен оценить:
$$ \int_{-\pi/2}^{\pi/2} (1+e^{2i\phi})^{\alpha} (1+e^{-2i\phi})^{\beta} \, \mathrm{d}\phi $$
используя биномиальную теорему и тождество:
$${}_2F_1 \left(\begin{array}{c}a , b \\ c \end{array};x\right) = \frac{\Gamma(c)}{\Gamma(b)\Gamma(c-b)} \int_{0}^{1} t^{b-1}(1-t)^{c-b-1}(1-xt)^{-a} \, \mathrm{d}t$$
Итак, сначала, используя биномиальную теорему, я получаю:
\begin{align*} &\int_{-\pi/2}^{\pi/2} \sum_{k=0}^{\alpha} \binom{\alpha}{k} e^{2i\phi k} \sum_{k=0}^{\beta} \binom{\beta}{k} e^{-2i\phi k} \, \mathrm{d}\phi \\ &= \int_{-\pi/2}^{\pi/2} \sum_{k=0}^{\alpha} \sum_{l=0}^{\beta} \binom{\alpha}{k} e^{2i\phi k} \binom{\beta}{l} e^{-2i\phi l} \, \mathrm{d}\phi \\ &= \int_{-\pi/2}^{\pi/2} \sum_{k=0}^{\alpha} \sum_{l=0}^{\beta} \binom{\alpha}{k} \binom{\beta}{l} e^{2i\phi(k-l)} \, \mathrm{d}\phi \end{align*}
Но отсюда я не знаю, как действовать или, скорее, как использовать личность. Есть подсказки?
Ответы
Если $\beta$ неотрицательное целое число, с $z=e^{2i\phi}$ это становится$$\oint_{|z|=1}(1+z)^{\alpha+\beta}\frac{dz}{2iz^{\beta+1}}=\pi[z^\beta](1+z)^{\alpha+\beta}=\pi\binom{\alpha+\beta}{\beta}=\frac{\pi\Gamma(\alpha+\beta+1)}{\Gamma(\alpha+1)\Gamma(\beta+1)}.$$Обновление: @Iridescent указал, как мы можем обобщить до сложных $\beta$. Интеграл равен$2^{\alpha+\beta-1}\int_0^{\pi/2}\cos^{\alpha+\beta}\phi\cos[(\alpha-\beta)\phi]d\phi$, поскольку мнимая часть подынтегрального выражения интегрируется $0$ на $[-\tfrac{\pi}{2},\,\tfrac{\pi}{2}]$. Старый вопрос доказывает, что это действительно$\tfrac{\pi\Gamma(\alpha+\beta+1)}{\Gamma(\alpha+1)\Gamma(\beta+1)}$.