Теорема единственности для периодических в среднем функций на гипергруппе Бесселя – Кингмана

Одно из свойств периодической функции на вещественной оси состоит в том, что она полностью определяется своими значениями на периоде. Этот факт допускает следующее нетривиальное обобщение на многомерный случай: если функция $f\in C^\infty (\mathbb R^n)$ $(n\ge 2)$ с нулевыми интегралами по всем сферам (или шарам) фиксированного радиуса $r$ равна нулю в некотором шаре радиуса $r$, то $f$ является нулевой на $\mathbb R^n$. Условие бесконечной гладкости функции $f$ в этом утверждении ослабить нельзя. В данной работе изучается подобное явление для решений уравнений свертки, связанных с оператором обобщенного сдвига Бесселя. Сначала рассматривается случай, когда свертывателем уравнения является индикатор отрезка, симметричного относительно нуля. Показано, что решения такого уравнения определяется своими значениями на указанном отрезке. Далее приводится обобщение этого свойства для общего уравнения свертки Бесселя. Полученные результаты являются аналогами известных теорем единственности для периодических в среднем функций, принадлежащих Ф. Йону, Ю. И. Любичу и А. Ф. Леонтьеву.

обобщенный сдвиг, уравнения свертки, функции Бесселя, сферическое преобразование, теорема Титчмарша о свертке