Научная статья на тему 'Об одном обобщении функции Бесселя'

Об одном обобщении функции Бесселя Текст научной статьи по специальности «Математика»

CC BY
253
62
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ФУНКЦИЯ БЕССЕЛЯ / BESSEL FUNCTION / ГИПЕРГЕОМЕТРИЧЕСКАЯ ФУНКЦИЯ / HYPERGEOMETRIC FUNCTION / ИНТЕГРАЛЬНОЕ ПРЕОБРАЗОВАНИЕ / INTEGRAL TRANSFORM

Аннотация научной статьи по математике, автор научной работы — Вирченко Нина Афанасьевна, Четвертак Мария Александровна

Вводится обобщенная функция Бесселя $J_{\mu,\omega } ( x )$ как одно из решений дифференциального уравнения $$ x^2 y''+x y'+( x-\mu ^2)(x+\omega ^2)y=0, \quad \mu, \omega \notin \mathbb Z. $$ Получено представление функции $J_{\mu, \omega } ( x )$ в виде степенного ряда; получена и доказана теорема об интегральных представлениях этой функции. Изучены основные свойства этой функции; построено интегральное преобразование и доказана формула его обращения.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

On one generalization of Bessel function

In this paper the generalized Bessel function $J_{\mu,\omega } ( x )$ is introduced. The function $J_{\mu,\omega } ( x )$ is given as one solution of the following differential equation: $$ x^2{y}''+x{y}'+\left( {x-\mu ^2} \right)\left( {x+\omega ^2} \right)y=0, \quad \mu, \omega \notin \mathbb Z. $$ The representation of the $J_{\mu,\omega } ( x )$ by the power series is given. The theorem on integral representations of the function $J_{\mu,\omega } ( x )$ is established. The main properties of the function $J_{\mu,\omega } ( x )$ are studied. The integral transforms of Bessel type with the function $J_{\mu,\omega } ( x )$ is constructed. Formula of inversion of this transform is received.

Текст научной работы на тему «Об одном обобщении функции Бесселя»

Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2014. № 4(37). С.16—21

ISSN: 2310-7081 (online), 1991-8615 (print) doi: http://dx.doi.org/10.14498/vsgtu1361

УДК 517.584, 517.923

ОБ ОДНОМ ОБОБЩЕНИИ ФУНКЦИИ БЕССЕЛЯ

Н. А. Вирченко, М. А. Четвертак

Национальный технический университет Украины «Киевский политехнический институт»,

Украина, 03056, Киев, просп. Победы, 37.

Аннотация

Вводится обобщенная функция Бесселя JM,W (x) как одно из решений дифференциального уравнения

x2y'' + xy' + (x - y2)(x + ш2)у = 0, ц, ш £ Z.

Получено представление функции JM,W (x) в виде степенного ряда; получена и доказана теорема об интегральных представлениях этой функции. Изучены основные свойства этой функции; построено интегральное преобразование и доказана формула его обращения.

Ключевые слова: функция Бесселя, гипергеометрическая функция, интегральное преобразование. doi: http://dx.doi.org/10.14498/vsgtu1361

Введение. Среди многообразия специальных функций особо выделяются функции Бесселя в силу своих многочисленных замечательных приложений в теории дифференциальных и интегральных уравнений, в физике, механике и др. (см., например библиографию в [1-9]). Функции Бесселя впервые возникли при рассмотрении задач о распостранении тепла в твердом круглом цилиндре, при исследовании колебаний растянутой круговой мембраны (работы Л. Эйлера), встречаются в работе Ж. Лагранжа по эллиптическим движениям. Систематическое изучение функций Бесселя начато Ф. Бесселем (1824 г.) в его научных работах.

Теперь функции Бесселя используются при решении широкого класса краевых задач математической физики, механики сплошных сред, в теории интегральных преобразований, так как они часто возникают при решении задач как прикладной, так и теоретической математики, в теории специальных функций и других отраслях прикладного естествознания [9-14].

1. Обобщенная функция Бесселя. Введем обобщенную функцию Бесселя Jy,u> (x) как одно из решений следующего дифференциального уравнения:

x2y'' + xy' + (x - y2')(x + ш2)у = 0, (1)

© 2014 Самарский государственный технический университет.

Образец для цитирования

Вирченко Н. А., Четвертак М. А. Об одном обобщении функции Бесселя // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2014. № 4(37). С. 16-21. doi: 10.14498/vsgtu1361.

Сведения об авторах

Нина Афанасьевна Вирченко (д.ф.-м.н., проф.; nvirchenko@hotmail.com), профессор, каф. математического анализа и теории вероятностей.

Мария Александровна Четвертак (chetvertakmaria.math@gmail.com; автор, ведущий переписку), аспирант, каф. математического анализа и теории вероятностей.

16

Об одном обобщении функции Бесселя

где ц, ш £ Z.

Заметим, что при ц2 = ш2 = и уравнение (1) является известным уравнением Бесселя [1]:

x2y” + xy' + (х2 — v2)y = 0.

Решение дифференциального уравнения (1) будем искать в виде

ГО

y = ^ Ck zk+p, Co = 0, (2)

k=0

где p — корень характеристического уравнения, Ck — некоторые аналитические функции при всех х.

Подставив (2) в (1) и приравняв коэффициенты при одинаковых степенях х, получим следующую рекуррентную систему для определения Ck:

(p + k)2(Jk + Ck-2 + (ц2 — w2)Ck-1 —

C = C2m-2 + (ш2 — ^)C2m-1

C2m = (p + 2m)2 - ц2ш2 ,

0, k = 2, 3,.. m = 1,2,________

(3)

(4)

После преобразования (2) с учетом Ck, найденных из (3), (4), получим

y - J(х)

х \м2 1 F / ц2 - цш + 2 ц2 + цш + 2 _ х2 \ (_

2У • 1F2v1; 2 , 2 ’ 4), (

где Г(х) — гамма-функция [2], 1F2(a; c, d; х) —гипергеометрическая функция [15], определяемая следующим образом:

где (a)n

ГО

iF^(a; c,d; х) = У

n=0

(a)n хП (c)n(d)n n! ,

символ Похгаммера, определенный для х £ C и n £ No

N U {0}:

(a)0 = 1, (a)n = a(a + 1)... (a + n — 1), n £ N.

Легко убедиться, что при ц2 = ш2 = и функция, определяемая формулой (5), совпадает с функцией Бесселя Jv(х) [1]:

J (х) = (f)U ryViyoF^ и + 1; — хт)

2. Интегральные представления функции J(x).

Теорема (об интегральных представлениях Функции JMjW (х)). При условиях существования функции (х) справедливы следующие интегральные

представления:

Т , , ц2 + цш f1 f1 / х2 \ 1 , м2-^ _1

J^(х) =--2--J J exp(—tT(1 — t) 2 (1 — т) 2 т dtdT, (6

11

17

Вирченко Н. А., Четвертак М. А.

J^ (x) = 2(к2 + кш)

exp

/о Jо

п

п

Х2 \ 2

sin2 ф sin (cos Ф) +^-1Х

х (cos eY4^+1 sin ф sin-1 вйфйв,

(7)

Jw(x) = 4^ J exp(-(1 - k2)(1 - l2)^ х

х k^2+M^im2-m^+1(i - i2)-1 dk dl. (8)

Доказательство формул (6)-(8) осуществляется при помощи соответствующих подстановок.

Учитывая для гипергеометрической функции 1F2 формулы

/* 1

1F2(1; k+m+1,r; x) = (k+m)r(r)x^ Ir-1(2Vxt)t(1 - t)k+m-1dt, (9)

J о

1^2(1; k + m + 1, r; x) = ^^^1+ ^ J 1^2(1; m,r; xt)tm-1(1 - t)k dt,(10)

где Ir-1(x) — модифицированная функция Бесселя при x £ C, можно получить еще ряд представлений для (x).

Заметим, что формулы (9), (10) доказываются непосредственной проверкой.

Используя представление функции JM;W (x) в виде ряда

J(x) — Г

2

к2 - кШ

+ 1

Е

п=0

(-1)п

/ x \2n+M2

Г(+ n + 1)Г(+ n + 1) V2y

П!

получаем формулу для дифференцирования:

— Т (x) = А V (-1)П____________(2n + к2)________fxх2п+м2-1

dx П=0 n! 2Г(и1 + n + 1)Г(и2 + n + 1)\2/ ,

где

U1

2

к2 - ки

U2

к2 + кш

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

2

, к2 = U1 + U2, а = Г

2

к2 - кШ

+1

3. Обобщенное интегральное преобразование. Введем обобщенное интегральное преобразование типа Бесселя:

f ^ / x2 Л

(I^ f (x)= J J^A a; c,d;-—tjf (t) dt. (11)

Для простоты рассмотрим (11) в следующей форме:

Г

{1р,шf (x) = JM;W(a; c,d; -xt)f (t)dt, a,c,d £ C, Re a> 0. (12)

о

18

Об одном обобщении функции Бесселя

Легко заметить, что (12) — интегральное G-преобразование [17]:

(G/)(ж) =

Gm,n

Gp,q

где Gmf — функция Мейера [16]:

(ai) 1,p

(fij )i,q

xt

/ (t)dt,

Gm,n

Gp,q

(ai) 1,p (в )1,q

f nr=i m + s)nn=1 Г(1 - a - s)

MhlUU+l Г (oi + s) Ш=т+1 Г(1 - Pj - s)

z sds.

0

z

С помощью интегрального преобразования Меллина получаем формулу обращения для (12). Справедлива следующая теорема.

Теорема. Пусть 0 < 1 - и < Re а, а0 = max[1 - Re c, 1 - Re d]. Если и > a0, Re A > и - 1, (1 - и) + Re(a - c - d) = 0, / £ Lv,2, то имеет место следующая формула обращения:

/(x)

x

dx

x

л+1

G

2,1

2,4

d

0

-A, 1 - а

c - 1, d - 1, 0, -A - 1

xt

(1F2/) (t)dt.

ORCID

Нина Афанасьевна Вирченко: http://orcid.org/0000-0001-7229-0156 Мария Александровна Четвертак: http://orcid.org/0000-0003-4323-5101

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Watson G. N. A Treatise on the Theory of Bessel Functions. Cambridge: University Press, 1922. vi+804 pp.

2. Вирченко Н. А., Царенко В. Н. Дробные интегральные преобразования гипергеометрического типа. Киев: Ин-т матем. НАН Украины, 1995. 216 с.

3. Волкодавов В. Ф., Канатников А. Н. Интегральные преобразования и операционное исчисление. М.: МГТУ им. Баумана, 1968. 228 с.

4. Галицын А. С., Жуковский А. Н. Интегральные преобразования и специальные функции в задачах теплопроводности. Киев: Наукова думка, 1986. 284 с.

5. Диткин В. А., Прудников А. П. К теории операционного исчисления, порожденного уравнением Бесселя// Ж. вычисл. матем. и матем. физ., 1963. Т. 3, №2. С. 223-238.

6. Коренев Б. Г. Введение в теорию бесселевых функций. М.: Наука, 1971. 288 с.

7. Лебедев Н. Н. Специальные функции и их приложения. М.: Физматгиз, 1963. 358 с.

8. Никифоров А. Ф., Уваров В. Б. Специальные функции математической физики. М.: Наука, 1978. 320 с.

9. Самко С. Г., Килбас А. А., Маричев О. И. Интегралы и производные дробного порядка и некоторые их приложения. Минск: Наука и техника, 1987. 688 с.

10. Bonilla B., Kilbas A. A., Rivero M., Rodriguez L., Trujillo J. J. Modified Bessel-type function and solution of differential and integral equations // Indian J. Pure and Appl. Math., 2000. vol. 31, no. 1. pp. 93-109.

11. Kalla S. L., Virchenko N., Tsarenko V. On some fractional order integral transforms generated by orthogonal polynomials // Applied Mathematics and Computation, 1998. vol. 91, no. 2-3. pp. 209-219. doi: 10.1016/s0096-3003(97)10019-4.

12. Khajan N. G. A modified finite Hankel transforms // Integral Transforms and Special Functions, 2003. vol. 14, no. 5. pp. 403-412. doi: 10.1080/10652460310001600654.

19

Вирченко Н. А., Четвертак М. А.

13. Virchenko N., Kalla S. L., Zaikina S. On some generalized integral transforms // Hadronic J., 2009. vol.32, no. 5. pp. 539-548.

14. Virchenko N. On one effective method of solving of mixed boundary value problems / Abstracts of International Congress of Mathematicians. Zurich, 1994. pp. 224.

15. Erdelyi A., Magnus W., Oberhettinger F., Tricomi F. G. Higher transcendental functions. vol. 1 / Bateman Manuscript Project. New York: McGraw-Hill Book Co., 1953. xxvi+302 pp.

16. Kilbas A. A., Saigo M. H-Transforms. Theory and Applications/ Analytical Methods and Special Functions. Boca, Raton, etc.: CRC Press, 2004. doi: 10.1201/9780203487372.

17. Вирченко Н. А. Об интегральном преобразовании с обобщенной функцией гипергеометрического типа/ Труды Двенадцатой межвузовской конференции (29-31 мая 2002 г.). Часть 3: Дифференциальные уравнения и краевые задачи / Матем. моделирование и краев. задачи. Самара: СамГТУ, 2002. С. 125.

Поступила в редакцию 03/XI/2014; в окончательном варианте — 26/XI/2014; принята в печать — 27/XI/2014.

Vestn. Samar. Gos. Techn. Un-ta. Ser. Fiz.-mat. nauki

[J. Samara State Tech. Univ., Ser. Phys. & Math. Sci.] 2014. Issue 4(37). Pp. 16—21

ISSN: 2310-7081 (online), 1991-8615 (print) doi: http://dx.doi.org/10.14498/vsgtu1361

MSC: 33C10, 34B30

ON ONE GENERALIZATION OF BESSEL FUNCTION

N. A. Virchenko, M. O. Chetvertak

National Technical University of Ukraine “Kiev Polytechnic Institute”,

37, Peremogi st., Kiev, 03056, Ukraine.

Abstract

In this paper the generalized Bessel function JMA, (x) is introduced. The function JMA, (x) is given as one solution of the following differential equation:

x2y'' + xy' + (x - p2) (x + Щ2) y = 0, p,o £ Z.

The representation of the (x) by the power series is given. The theorem on integral representations of the function (x) is established. The main properties of the function JMA, (x) are studied. The integral transforms of Bessel type with the function (x) is constructed. Formula of inversion

of this transform is received.

Keywords: Bessel function, hypergeometric function, integral transform. doi: http://dx.doi.org/10.14498/vsgtu1361

© 2014 Samara State Technical University.

How to cite Reference

Virchenko N. A., Chetvertak M. O. On one generalization of Bessel function, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. & Math. Sci.], 2014, no. 4(37), pp. 16-21. doi: 10.14498/vsgtu1361. (In Russian)

Authors Details

Nina A. Virchenko (Dr. Phys. & Math. Sci.; nvirchenko@hotmail.com), Professor, Dept. of Mathematical Analysis and Probability Theory.

Maria O. Chetvertak (chetvertakmaria.math@gmail.com; Corresponding Author), Postgraduate Student, Dept. of Mathematical Analysis and Probability Theory.

20

Об одном обобщении функции Бесселя

ORCID

Nina A. Virchenko: http://orcid.org/0000-0001-7229-0156 Maria O. Chetvertak: http://orcid.org/0000-0003-4323-5101

REFERENCES

1. Watson G. N. A Treatise on the Theory of Bessel Functions. Cambridge, University Press, 1922, vi+804 pp.

2. Virchenko N. A., Tsarenko V. N. Drobnye integral’nye preobrazovaniia gipergeometriches-kogo tipa [Fractional integral transformations of hypergeometric type]. Kiev, In-t matem. NAN Ukrainy, 1995, 216 pp. (In Russian)

3. Volkodavov V. F., Kanatnikov A. N. Integral’nye preobrazovaniia i operatsionnoe ischislenie [Integral Transforms and Operational Calculus]. Moscow, Bauman MSTU, 1968, 228 pp. (In Russian)

4. Galitsyn A. S., Zhukovskii A. N. Integral’nye preobrazovaniia i spetsial’nye funktsii v zadachakh teploprovodnosti [Integral transforms and special functions in heat conduction problems]. Kiev, Naukova Dumka, 1986, 284 pp. (In Russian)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

5. Ditkin V.A., Prudnikov A. P. On the theory of the operational calculus for the Bessel equation, U.S.S.R. Comput. Math. Math. Phys., 1963, vol. 3, no. 2, pp. 296-315. doi: 10. 1016/0041-5553(63)90022-3.

6. Korenev B. G. Vvedenie v teoriiu besselevykh funktsii [Introduction to the theory of Bessel functions]. Moscow, Nauka, 1971, 287 pp. (In Russian)

7. Lebedev N. N. Spetsial’nye funktsii i ikh prilozheniia [Special functions and their applications]. Moscow, Fizmatgiz, 1963, 358 pp. (In Russian)

8. Nikiforov A. F., Uvarov V. B. Spetsial’nye funktsii matematicheskoi fiziki [Special functions of mathematical physics]. Moscow, Nauka, 1978, 320 pp. (In Russian)

9. Samko St. G., Kilbas A. A., Marichev O. I. Fractional integrals and derivatives: theory and, applications. New York, NY, Gordon and Breach, 1993, xxxvi+976 pp.

10. Bonilla B., Kilbas A. A., Rivero M., Rodriguez L., Trujillo J. J. Modified Bessel-type function and solution of differential and integral equations, Indian J. Pure and Appl. Math., 2000, vol. 31, no. 1, pp. 93-109.

11. Kalla S. L., Virchenko N., Tsarenko V. On some fractional order integral transforms generated by orthogonal polynomials, Applied Mathematics and Computation, 1998, vol. 91, no. 2-3, pp. 209-219. doi: 10.1016/s0096-3003(97)10019-4.

12. Khajan N. G. A modified finite Hankel transforms, Integral Transforms and Special Functions, 2003, vol. 14, no. 5, pp. 403-412. doi: 10.1080/10652460310001600654.

13. Virchenko N., Kalla S. L., Zaikina S. On some generalized integral transforms, Hadronic J., 2009, vol. 32, no. 5, pp. 539-548.

14. Virchenko N. On one effective method of solving of mixed boundary value problems, Abstracts of International Congress of Mathematicians. Zurich, 1994, pp. 224.

15. Erdelyi A., Magnus W., Oberhettinger F., Tricomi F. G. Higher transcendental functions, vol. 1, Bateman Manuscript Project. New York, McGraw-Hill Book Co., 1953, xxvi+302 pp.

16. Kilbas A. A., Saigo M. H-Transforms. Theory and Applications, Analytical Methods and Special Functions. Boca, Raton, etc., CRC Press, 2004. doi: 10.1201/9780203487372.

17. Virchenko N. A. On an integral transform with generalized hypergeometric function, Proceedings of the Twelfth Inter-University Conference. Part 3, Matem. modelirovanie i kraev. zadachi. Samara, Samara State Technical Univ., 2002, pp. 125 (In Russian).

Received 03/XI/2014;

received in revised form 26/XI/2014;

accepted 27/XI/2014.

21

i Надоели баннеры? Вы всегда можете отключить рекламу.