Addition theorem for Bessel functions

 

J_n(x+y) = \sum_{m=-\infty}^\infty J_m(x) J_{n-m}(y)