CC BY
18
2019
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
Математика и механика
№ 60
МАТЕМАТИКА
УДК 517.584 MSC 33C10
DOI 10.17223/19988621/60/1
А.А. Гималтдинова1, Е.П. Аносова
О НУЛЯХ КОМБИНАЦИИ ПРОИЗВЕДЕНИЙ ФУНКЦИЙ БЕССЕЛЯ
Исследуются функции, являющиеся суммой или разностью произведений функции Бесселя и модифицированной функции Бесселя с разными индексами. Изучается множество нулей таких функций. С помощью теоремы Штурма о разделении корней дифференциального уравнения доказано, что такая комбинация имеет счетное множество положительных нулей и счетное множество чисто мнимых нулей с положительной мнимой частью.
Ключевые слова: функция Бесселя, модифицированная функция Бесселя, множество нулей функции, теорема Штурма.
При исследовании краевых или спектральных задач (например, [1]) для уравнений смешанного типа со степенным вырождением возникает необходимость (при нахождении собственных значений) нахождения нулей функции вида
fv (t) = Jv (t)I-v (t) + Iv (t) J-v (t), 0 < V < 1, (1)
при Re t > 0 , где Jv (•) - функция Бесселя первого рода порядка v, Iv (•) - модифицированная функция Бесселя первого рода порядка v.
Изучению нулей комбинаций произведений цилиндрических функций посвящено относительно небольшое количество исследований. Например, в справочнике [2] приведены таблицы нескольких первых корней уравнения Jv (x)Nv (kx) - Jv (kx)Nv (x) = 0 для некоторых значений k и v, а также первых корней уравнения In (x) Jn '(x) - Jn (x)In '(x) = 0 для n = 0,1,2,3.
В некоторых случаях комбинации произведений функций Бесселя представляют собой элементарные функции, и тогда вопрос об их корнях решается элементарно, например [3, с. 91]:
Jv (z)7v-1(г) - F (z) Jv-j(z) = —,
nz
Iv (z) I-v+1 (z) - I-v (z) Iv-:( z) = -^^
nz
В книге [4] приведен обзор работ, посвященных изучению нулей функций, содержащих произведения бесселевых функций, но функция (1) или аналогичные ей не исследованы.
1 Работа первого автора поддержана грантом РФФИ-РБ (проект 17-41-020516).
В большой обзорной статье [5] приведены классические результаты по теории бесселевых функций, основные сведения о нулях функций Бесселя и их производных и методах их вычисления. Описан метод Эйлера вычисления малых нулей функций Бесселя, метод Стокса вычисления больших нулей функций Бесселя, а также другие методы. Отмечено, что можно использовать теорему Штурма [6, с.136] о разделении нулей решений обыкновенного дифференциального уравнения второго порядка, и показано ее применение для функций Бесселя. Однако там не рассматриваются комбинации вида (1).
В [4, с.336] приведен ряд формул, позволяющих свести произведения бесселевых функций к обобщенной гипергеометрической функции, например
J-v (г)Л, (г) =—орз
( V V 1 24 ^ 1;1 --,1 + -,-;-— ч 2 2 2 64 ,
8ш(т0 ( 1 V ъ ,4 \
2. 0 Ь3
3 -V 3 + V ; 2 , 2 ,2; 64
(2)
2п(1- V 2)
где 0¥3(а;Ь,с,й;г) - обобщенная гипергеометрическая функция. С учетом формулы (2) функцию (1) можно привести к виду
= 2ап(^) Г V .. , и Л
Jv (' ) =- 0 Ь3
V
1;1 -V ,1 + 1,1; - 2_
2 2 2 64
(3)
Однако обобщенная гипергеометрическая функция очень мало изучена, и в литературе нет утверждений о ее нулях.
Есть ряд работ, посвященных численным алгоритмам вычисления нулей бесселевых функций (например, [7]), однако и в этих работах не рассматриваются комбинации произведений цилиндрических функций. Кроме того, численные методы позволяют найти лишь конечное число нулей какой-либо функции.
Таким образом, в известных нам классических или современных работах нет каких-либо результатов о нулях функции (1).
В настоящей работе при помощи теоремы о разделении корней будет получена теорема о множестве нулей функции более общего вида, чем (1), а также рассмотрены конкретные примеры.
Утверждения о нулях функций ю
Теорема. Уравнение
Рассмотрим функцию /V® = JV (/)I (/) + 1ц (/)J-V (/), V, ц е Я, V, ц г N.
Jv (/) 1-ц Ц) + 1ц (I) J-v Ц) = 0 (4)
имеет счетное множество действительных положительных корней и счетное множество чисто мнимых корней с положительной мнимой частью. При этом каждый положительный корень находится на интервале между двумя последовательными нулями функции JV У) (равно как и между двумя последовательными нулями функции J-V (/)), а каждый чисто мнимый корень - между двумя последовательными нулями функции 1ц У) (или I У)).
Доказательство. 1) Пусть t = х е Я+ . В силу того, что
(Ух > 0)( 1ц (х) > 0, I-ц (х) > 0),
71V
из уравнения (4) получим
Jv (Г) _ J_v (Г)
(5)
I» С) I-» с)
При этом функция ) _ Jv(/)/1»(/) имеет те же нули, что и функция Jv(/), а функция /2 (/) _-aJ_v (/) /1 (/) имеет такие же нули, что и функция J_v (/).
Далее применим теорему о разделении корней [6, с.136]. В силу того, что функции Jv (/) и J-v (/) при нецелом V являются линейно независимыми решениями уравнения Бесселя, нули функций Jv (/) и J-V (/) взаимно разделены. Следовательно, и нули функций / и /2 также взаимно разделены. Это означает, что между любыми двумя соседними корнями функции / найдется ровно один корень функции /2, и наоборот. Отсюда, в силу непрерывности обеих этих функций, получим, что их графики пересекаются ровно в одной точке на каждом интервале между любыми двумя соседними корнями функции Jv (/) (а также между
любыми двумя соседними корнями функции J-V (/)).
Это означает, что уравнение (5) имеет счетное множество положительных корней. А зная нули функций Jv (/) и 3^ (/), можно отделить промежутки, на которых находятся корни уравнения (5).
2) Пусть t _ ¡у е С, у е Я +. Рассуждая аналогично, получим, что уравнение I» (¡У) / Jv (¡У) _ -1-» (¡У) / J-V (¡У) имеет счетное множество чисто мнимых корней. ■
Замечание 1. Остается невыясненным вопрос, имеет ли уравнение (4) другие комплексные корни, отличные от найденных чисто мнимых. Можно предположить, что других комплексных корней нет. Ниже будет разъяснено это предположение.
Замечание 2. Аналогично можно получить утверждение о счётности множест-
На основании доказанной теоремы (где V _ » _ 1/2) можем утверждать, что функция имеет счетное множество положительных нулей. Из известных представлений [2, с. 198] бесселевых функций с полуцелым индексом в виде элементарных функций:
можем выписать неотрицательные корни функции J1/2(х) и J-1/2(х): пк и п /2 + пк соответственно, где к е N и {0}. Тогда первый положительный нуль функции /1/2(0 будет находиться на интервале (п /2, п), второй - на интервале (3п /2,2п), ..., к -й корень - на интервале ((к -1 / 2)п, кп).
ва нулей функции /(,») _ Jv ^)I-» ^) -1» ^)J-v ^).
Пример 1. Пусть требуется найти положительные нули функции
/1/2 (х) _ ^1/2 (x)I-1/2 (х) + /2 (х)^-1/2(х).
С другой стороны, учитывая представления для модифицированных функций
[Г [Г
I1/2(x) = J— shx, I_1/2(x) = ./— chx, функцию f/2(x) можем записать в виде V nx V nx
2
f1/2( x) =— (sin x • ch x + cos x • sh x), то есть для нахождения нулей этой функции
nx
следует решить уравнение tg x = _ th x. Корни последнего уравнения найдены в работе [8]:
x = 0, x = ±(_п + пк + 0(е~2пк)j, к £ N,
x = ± + пк + 0(е_пк)j, к £ N. Итак, положительные нули функции /1/2(x) задаются формулой
x = _- + лк + 0(е-2жк). 4
Также в работе [8] доказано, что нет других комплексных корней, кроме найденных чисто мнимых. Учитывая, что для частного случая функции (1) - функции f1/2( x) - нет других комплексных корней, можно предположить, что их не будет
и в общем случае для функции f® (t).
Замечание 3. Полученные в примере 1 результаты о нулях функции f1/2(x) дают новые сведения и об обобщенной гипергеометрической функции (3) при V = 1/2.
Пример 2. Аналогично можно найти положительные нули функции
■/1/2(x) = J1/2(x)I_1/2(x) _ I1/2 (x)J-1/2(x). - 2
Преобразуем функцию к виду f1/2(x) = — (sin x • ch x _ cos x • sh x), тогда на ос-
nx
новании результатов работы [9] можем записать положительные нули функции /1/2 (x): x = П + пк + 0(е-2лк).
Пример 3. Оценить первый положительный корень функции
/1/4( x) = J1/4( x)I_1/4( x) + I1/4( x) J_1/4( x). Используя таблицу значений функций J1/4(x) и ,/_1/4(x), можно убедиться, что первый положительный корень функции /1/4(x) находится в интервале
(2;2,7). В этом случае более точную оценку можно найти только с помощью численных алгоритмов.
Выводы
Показано применение теоремы Штурма о разделении нулей к исследованию функции, являющейся комбинацией произведений функций Бесселя. Отмечено, как можно отделить промежутки нахождения нулей такой функции. Это позволит вместе с применением численных алгоритмов провести более полное изучение функций.
ЛИТЕРАТУРА
1. Гималтдинова А.А. Задача Дирихле для уравнения смешанного типа с двумя перпендикулярными линиями перехода в прямоугольной области // Научные ведомости Белгородского государственного университета. Серия: Математика. Физика. 2014. № 19 (190). С. 5-16.
2. Янке Е., Эмде Ф., Лёш Ф. Специальные функции. Формулы, графики, таблицы. М.: Наука, 1977. 344 с.
3. Бейтмен Г., Эрдейи А. Высшие трансцендентные функции. Т. 2. Функции Бесселя, функции параболического цилиндра, ортогональные многочлены. М.: Наука, 1974. 296 с.
4. Люк Ю. Специальные математические функции и их аппроксимации. М.: Мир, 1980. 608 с.
5. Керимов М.К. Исследования о нулях специальных функций Бесселя и методах их вычисления // Журнал вычислительной математики и математической физики. 2014. Т. 54. № 9. С. 1387-1441. DOI: 10.7868/S004446614090087
6. Трикоми Ф. Дифференциальные уравнения. М.: ИЛ, 1962. 352 с.
7. Алгазин С.Д. О табулировании с высокой точностью нулей функции Бесселя // Известия Тульского государственного университета. Естественные науки. 2013. Вып. 1. С. 132-141.
8. Гималтдинова А.А. Задача Дирихле для уравнения Лаврентьева - Бицадзе с двумя линиями изменения типа в прямоугольной области // Докл. АН. 2015. Т. 460. № 3. С. 260265. DOI: 10.7868/S0869565215030056.
9. Гималтдинова А.А. Задача Неймана для уравнения Лаврентьева - Бицадзе с двумя линиями изменения типа в прямоугольной области // Докл. АН. 2016. Т. 466. № 1. С. 7-11. DOI: 10.7868/S0869565216010059.
Статья поступила 09.10. 2018 г.
Gimaltdinova A.A., Anosova E.P. (2019) ON ZEROS OF THE COMBINATION OF PRODUCTS OF BESSEL FUNCTIONS. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika [Tomsk State University Journal of Mathematics and Mechanics]. 60. pp. 5-10
DOI 10.17223/19988621/60/1
Keywords: Bessel function, modified Bessel function, set of zeros of the function, Sturm theorem.
In this paper, the function fv (t) = Jv (t)I_v (t) + Iv (t )J_V (t),0 <v< 1, Re t > 0, is
investigated. Such functions were little studied in the literature. It is proved that more general
(1),(2)
functions fvц (t) = Jv(t)I (t) ±Iц(t)J_V(t) have a countable set of real zeros and a countable
set of pure imaginary zeros. The proof uses the well-known Sturm theorem for second-order differential equations. The statement is applied to specific examples. In the case v = 1/2, the function f1/2(x) = J1/2(x)I-1/2(x) +11/2(x)J_1/2(x) is reduced to an elementary function 2
f1/2(x) = — (sin x ■ cosh x + cos x ■ sinh x), and an asymptotic formula for its positive zeros nx
x = + %k + O(e~2nk) is found. Function f1/2(x) = J1/2(x)I_1/2(x) _I1/2(x)J_1/2(x) has the following positive zeros: x = П + nk + O(e~2*). AMS Mathematical Subject Classification: 33C10
Financial support. The work is supported by the Russian Foundation for Basic Research (grant no. 17-41-020516).
10
A.A. ruMamguHOBa, E.n. AHOcosa
GMALTDINOVA Afra Avkalevna (Candidate of Physics and Mathematics, Ufa State Petroleum
Technological University, Ufa, Russian Federation) E-mail: [email protected]
ANOSOVA Elizaveta Petrovna (Ufa State Petroleum Technological University, Ufa, Russian
Federation) E-mail: [email protected]
REFERENCES
1. Gimaltdinova A.A. (2014) Zadacha Dirikhle dlya uravneniya smeshannogo tipa s dvumya per-pendikulyarnymi liniyami perekhoda v pryamougolnoy oblasti [Dirichlet problem for a mixed-type equation with two perpendicular transition lines in a rectangular domain]. Nauchnye ve-domosti Belgorodskogo gosudarstvennogo universiteta. Seriya: Matematika. Fizika. 19(190). pp. 5-16.
2. Jahnke E., Emde F., Lösch F. (1960) Tafeln höhere Funktionen. Stuttgart. 344 p.
3. Bateman H., Erdelyi A. (1953) Higher Transcendental Functions. V.2. New York. 296 p.
4. Luke Y.L. (1975) Mathematical functions and their approximations. New York: Academic Press Inc.
5. Kerimov M.K. (2014) Studies on the zeros of Bessel functions and methods for their computation. Computational mathematics and mathematical physics. 54(9). pp. 1337-1388. DOI: 10.1134/S0965542514090073.
6. Tricomi F.G. (1961) Differential equations. Blackie & son Limited. 352 p.
7. Algazin S.D. (2013) O tabulirovanii s visokoy tochnost'yu nuley funktsii Besselya [About tabulating the zeros of the Bessel functions with high precision]. Izvestija Tul'skogo gosu-darstvennogo universiteta. Estestvennye nauki. 1. pp. 132-141.
8. Gimaltdinova A.A. (2015) The Dirichlet problem for the Lavrent'ev-Bitsadze equation with two type-change lines in a rectangular domain. Doklady Mathematics. 91(1). pp. 41-46. DOI: 10.1134/S1064562415010147.
9. Gimaltdinova A.A. (2016) Neumann problem for the Lavrent'ev-Bitsadze equation with two type-change lines in a rectangular domain. Doklady Mathematics. 93(1). pp. 1-5. DOI: 10.1134/S1064562416010038.
Received: October 9, 2018
