2. Преобразование первичного возбуждения.
Покажем сначала, что и первичное возбуждение можно представить в виде суммы частных решений (5). Мы предпошлем отому теорему о разложении произвольной функции по функциям Бесселя. Эта теорема гласит:
Для наших целей достаточно считать функцией Бесселя порядка но теорема остается в силе для Бесселевых функций произвольного, как целого, так и дробного порядка
Доказательство следует из интеграла Фурье для произвольной функции от двух прямоугольных координат
ср. гл. XIX, § 1, (26). Введем в (8) полярные координаты:
и предположим, что зависит только от
Тогда:
Оба интеграла зависят только от т. е. не зависят от и после введения подходящих переменных интегрирования (например, они оказываются тождественными с интегральным выражением (5) стр. 867 функций Бесселя нулевого порядка т. е. уравнение (8а) совпадает с уравнением (7), которое тем самым доказано. Чтобы доказать такое же равенство для Бесселевых функций произвольного целого порядка нужно положить:
и убедиться, что после подходящих подстановок сокращается с обеих сторон. Конечно, должны так стремиться к нулю при чтобы интеграл Фурье (8) сходился.
Применим уравнение (7) к нашему первичному возбуждению, причем будем считать так что Положив
При помощи (11) мы можем написать выражение (6) целиком в виде интеграла