Да, но проблема с коэффициентами -- какой финт нужно применить, чтобы показать, что каждый коэфф. нулевой -- не знаю (например, если

-- неотрицательное целое, только один коэфф. гарантированно обнулится, а остальные -- проблема.).
Свёртка применялась здесь изначально, это уже результат. Вообще это из тождеств с функцией Бесселя.