On one generalization of Bessel function

Full Text

Введение. Среди многообразия специальных функций особо выделяются функции Бесселя в силу своих многочисленных замечательных приложений в теории дифференциальных и интегральных уравнений, в физике, механике и др. (см., например библиографию в [1-9]). Функции Бесселя впервые возникли при рассмотрении задач о распостранении тепла в твердом круглом цилиндре, при исследовании колебаний растянутой круговой мембраны (работы Л. Эйлера), встречаются в работе Ж. Лагранжа по эллиптическим движениям. Систематическое изучение функций Бесселя начато Ф. Бесселем (1824 г.) в его научных работах. Теперь функции Бесселя используются при решении широкого класса краевых задач математической физики, механики сплошных сред, в теории интегральных преобразований, так как они часто возникают при решении задач как прикладной, так и теоретической математики, в теории специальных функций и других отраслях прикладного естествознания [9-14]. 1. Обобщенная функция Бесселя. Введем обобщенную функцию Бесселя Jµ,ω (x) как одно из решений следующего дифференциального уравнения: x2 y + xy + (x - µ2 )(x + ω 2 )y = 0, (1) © 2014 Самарский государственный технический университет. Образец для цитирования В и р ч е н к о Н. А., Ч е т в е р т а к М. А. Об одном обобщении функции Бесселя // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2014. № 4 (37). С. 16-21. doi: 10.14498/vsgtu1361. 16 Об одном обобщении функции Бесселя где µ, ω ∈ Z. / Заметим, что при µ2 = ω 2 = υ уравнение (1) является известным уравнением Бесселя [1]: x2 y + xy + (x2 - υ 2 )y = 0. Решение дифференциального уравнения (1) будем искать в виде ∞ Ck z k+ρ , y= C0 = 0, (2) k=0 где ρ - корень характеристического уравнения, Ck - некоторые аналитические функции при всех x. Подставив (2) в (1) и приравняв коэффициенты при одинаковых степенях x, получим следующую рекуррентную систему для определения Ck : (ρ + k)2 Ck + Ck-2 + (µ2 - ω 2 )Ck-1 = 0, C2m = - (ω 2 µ2 )C C2m-2 + - 2m-1 , 2 - µ2 ω 2 (ρ + 2m) k = 2, 3, . . . , m = 1, 2, . . . . (3) (4) После преобразования (2) с учетом Ck , найденных из (3), (4), получим y = Jµ,ω (x) = µ2 x 2 1 Γ µ2 +µω+2 · 1 F2 1; 2 µ2 - µω + 2 µ2 + µω + 2 x2 , ;- , (5) 2 2 4 где Γ(x) - гамма-функция [2], 1 F2 (a; c, d; x) - гипергеометрическая функция [15], определяемая следующим образом: ∞ 1 F2 (a; c, d; x) = n=0 (a)n xn , (c)n (d)n n! где (a)n - символ Похгаммера, определенный для x ∈ C и n ∈ N0 = N ∪ {0}: (a)0 = 1, (a)n = a(a + 1) . . . (a + n - 1), n ∈ N. Легко убедиться, что при µ2 = ω 2 = υ функция, определяемая формулой (5), совпадает с функцией Бесселя Jυ (x) [1]: Jυ (x) = x 2 υ x2 1 · 0 F1 υ + 1; - . Γ(υ + 1) 4 2. Интегральные представления функции Jµ,ω (x). Теорема (об интегральных представлениях функции Jµ,ω (x)). При условиях существования функции Jµ,ω (x) справедливы следующие интегральные представления: Jµ,ω (x) = µ2 + µω 2 1 1 exp -tτ 0 0 µ2 -µω µ2 +µω x2 (1 - t) 2 -1 (1 - τ ) 2 τ -1 dt dτ, (6) 4 17 В и р ч е н к о Н. А., Ч е т в е р т а к М. А. π π exp - sin2 φ sin θ Jµ,ω (x) = 2(µ2 + µω) 0 0 x2 2 (cos φ)µ +µω-1 × 4 2 +µω+1 × (cos θ)µ 1 1 exp -(1 - k 2 )(1 - l2 ) Jµ,ω (x) = 4 0 0 sin φ sin-1 θ dφ dθ, (7) x2 × 4 × kµ 2 +µω 2 -µω+1 lµ (1 - l2 )-1 dk dl. (8) Д о к а з а т е л ь с т в о формул (6)-(8) осуществляется при помощи соответствующих подстановок. Учитывая для гипергеометрической функции 1 F2 формулы 1 F2 (1; k+m+1, r; x) = (k+m)Γ(r)x √ 1-r Ir-1 (2 xt)t 2 (1 - t)k+m-1 dt, (9) 1 1-r 2 0 Γ(k + m + 1) 1 F2 (1; k + m + 1, r; x) = k!Γ(m) 1 m-1 (1 1 F2 (1; m, r; xt)t - t)k dt,(10) 0 где Ir-1 (x) - модифицированная функция Бесселя при x ∈ C, можно получить еще ряд представлений для Jµ,ω (x). Заметим, что формулы (9), (10) доказываются непосредственной проверкой. Используя представление функции Jµ,ω (x) в виде ряда Jµ,ω (x) = Γ µ2 - µω +1 × 2 ∞ (-1)n × n! Γ 1 µ2 -µω n=0 2 +n+1 Γ µ2 +µω 2 +n+1 x 2 2n+µ2 , получаем формулу для дифференцирования: d Jµ,ω (x) = A dx ∞ n=0 (-1)n (2n + µ2 ) x n! 2Γ(υ1 + n + 1)Γ(υ2 + n + 1) 2 2n+µ2 -1 , где υ1 = µ2 - µω , 2 υ2 = µ2 + µω , 2 µ2 = υ1 + υ2 , µ2 - µω +1 . 2 A=Γ 3. Обобщенное интегральное преобразование. Введем обобщенное интегральное преобразование типа Бесселя: ∞ Jµ,ω a; c, d; - Iµ,ω f (x) = 0 x2 t f (t) dt. 4 (11) Для простоты рассмотрим (11) в следующей форме: ∞ Jµ,ω (a; c, d; -xt)f (t)dt, Iµ,ω f (x) = 0 18 a, c, d ∈ C, Re a > 0. (12) Об одном обобщении функции Бесселя Легко заметить, что (12) - интегральное G-преобразование [17]: ∞ Gm,n p,q Gf (x) = 0 (ai )1,p (βj )1,q xt f (t)dt, где Gm,n - функция Мейера [16]: p,q Gm,n p,q (ai )1,p (βj )1,q z = 1 = 2πi m j=1 Γ (βj L p i=n+1 Γ (ai + s) + s) n i=1 Γ (1 - ai q j=m+1 Γ (1 - - s) βj - s) z -s ds. С помощью интегрального преобразования Меллина получаем формулу обращения для (12). Справедлива следующая теорема. Теорема. Пусть 0 < 1-υ < Re a, α0 = max[1-Re c, 1-Re d]. Если υ > α0 , Re λ > υ - 1, (1 - υ) + Re(a - c - d) = 0, f ∈ Lυ,2 , то имеет место следующая формула обращения: f (x) = x-λ d λ+1 x dx ∞ 0 G2,1 2,4 -λ, 1 - a c - 1, d - 1, 0, -λ - 1 xt 1 F2 f (t)dt.

About the authors

Nina A Virchenko

National Technical University of Ukraine “Kiev Polytechnic Institute”

Email: nvirchenko@hotmail.com
(Dr. Phys. & Math. Sci.; nvirchenko@hotmail.com), Professor, Dept. of Mathematical Analysis and Probability Theory 37, Peremogi st., Kiev, 03056, Ukraine

Maria O Chetvertak

National Technical University of Ukraine “Kiev Polytechnic Institute”

Email: chetvertakmaria.math@gmail.com
(chetvertakmaria.math@gmail.com; Corresponding Author), Postgraduate Student, Dept. of Mathematical Analysis and Probability Theory 37, Peremogi st., Kiev, 03056, Ukraine

References

Supplementary files