Identities for Chebyshev polynomials of the second kind

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.

• you might check whether the factor $2^n$ should not be $4^n$ (see below) – Carlo Beenakker Feb 25 '18 at 16:25
• Yes, you are right. I have corrected the error. – Zurab Silagadze Feb 25 '18 at 16:43

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.