4
$\begingroup$

While calculating an integral in a quantum mechanical problem by two different methods, I came across the following identity $$\sum_{k=0}^n\sum_{m=0}^{2k}(-2)^m\binom{2(n-k)}{n-k}\binom{2k}{k}\binom{2k}{m}\cos^m{\phi}U_m(\cos{\phi})=2^{2n}U_{2n}(\cos{\phi})P_n(\cos{2\phi}),$$ where $U_m(x)$ are Chebyshev polynomials of the second kind and $P_n(x)$ is the Legendre polynomial. Is this identity known? Were similar identities considered in the literature?

P.S. It seems this is a special $m=0$ case of a more general identity $$\sum\limits_{k=0}^n\sum\limits_{r=0}^{2k}(-2)^r \frac{(k+1)_m}{(m+r+1)_m}\binom{2(n-k)}{n-k}\binom{2k}{r} \binom{2(m+k)}{m+k}\cos^r{\phi}\,U_{m+r}(\cos{\phi})= 2^{2n}U_{2n+m}(\cos{\phi})\,P_n^{(0,m)}(\cos{2\phi}),$$ where $P_n^{(0,m)}$ is the Jacobi polynomial and $(x)_m=\Gamma(x+m)/\Gamma(x)$.

One more identity with symmetrical double sum is $$\sum\limits_{k=0}^n\sum\limits_{r=0}^n \frac{(-1)^{k+r}(n+1)_m(k+r+1)_m}{(k+1)_m(r+1)_m}\binom{n}{k}\binom{n}{r} \binom{k+r}{k}\cos^{k+r}{\phi}U_{m+k+r}(\cos{\phi})= U_{2n+m}(\cos{\phi})\,P_n^{(0,m)}(\cos{2\phi}).$$

Can a similar identity be found for the double sum $$\sum_{m_1=0}^n\sum_{m_2=0}^n\frac{(-1)^{m_1+m_2}(m_1+m_2+1)_m} {(m+1)_m(m+1)_m}\binom{n}{m_1}\binom{n}{m_2}\binom{m_1+m_2}{m_1} \times $$ $$(m+m_1+m_2+1)\, {_2{F}_1}(a,a+1/2;k+3/2;-\tan^2{\phi}),$$ where $a=1+(m+m_1+m_2)/2$? Such a generalization, if found, will allow to increase numerical stability of certain atomic form factors calculations.

$\endgroup$
2
  • 2
    $\begingroup$ you might check whether the factor $2^n$ should not be $4^n$ (see below) $\endgroup$ Feb 25, 2018 at 16:25
  • $\begingroup$ Yes, you are right. I have corrected the error. $\endgroup$ Feb 25, 2018 at 16:43

1 Answer 1

4
$\begingroup$

Mathematica evaluates $$S_n=\sum_{k=0}^n\sum_{m=0}^{2k}(-2)^m\binom{2(n-k)}{n-k}\binom{2k}{k}\binom{2k}{m}[\cos{\phi}]^mU_m(\cos{\phi})=$$ $$=\frac{(-1)^n 4^n\sqrt\pi}{n!\,\Gamma(\tfrac{1}{2}-n)\sin\phi}{\rm Im}\,\left[e^{i\phi}\, _2{F}_1\left(\tfrac{1}{2},-n;\tfrac{1}{2}-n;e^{4 i \phi}\right)\right]$$

For $n=3$ this gives $$S_3=\frac{8 \sin 7 \phi}{\sin\phi}(3 \cos 2\phi+5 \cos 6 \phi)$$ in agreement with the (corrected) $n=3$ result of the OP.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.