Дифференциальное уравнение для вырожденной гипергеометрической функции. Вырожденная гипергеометрическая функция второго рода

 

Покажем, что вырожденная гипергеометрическая функция является частным решением дифференциального уравнения

 

z +( -z) -  u=0, (5.1)

где 0,-1,-2,…

u= F( , ,z)=  z^k

= z^k-1

= z^k-2

 

Действительно, обозначая левую часть уравнения l(u) и пологая u= = F( , ,z), имеем

 

l( ) = z^k-2+( -z) z^k-1-  z^k=

=[ - ]+ [k + -k- ] 0.

 

Чтобы получить второе линейное независимое решение рассматриваемого уравнения, предположим, что , и выполним подстановку  .

Уравнение (5.1) преобразуется тогда в уравнение того же вида

 

z +( -z) - =0

 

с новыми значениями параметров =1+ , =2- . Отсюда следует, что при 2,3,… функция также является решением уравнения (5.1).

Если 0, 1, 2,… оба решение ( ) имеют смысл и линейно независимы между собой, поэтому общий интеграл уравнения (5.1) может быть представлен в виде

 

u= F( , ,z)+B  F(1+ - ,2- ,z) (при =1 u= ) (5.2)

0, 1, 2,…

 

Чтобы получить выражение общего интеграла в форме, пригодной для любых значений (кроме =0,-1,-2,…), удобнл ввести вырожденную гипергеометрическую функцию второго рода

 

G , ,z)=  F( , ,z)+  F(1+ - ,2- ,z) (5.3)

0, 1, 2,…

 

Формула (5.3) определяет функцию G , ,z) для любых , отличных от целого числа. Покажем, что при n+1 (n=0,1,2,…) правая часть (5.3) стремиться к определенному пределу. Для доказательства заменим гипергеометрические функции соответствующими рядами и воспользуемся соотношением теории Г-функции. Тогда получим (5.4)

 

G , ,z)=  [ - ]=

= ( )

Мы имеем

 

 = =

n=0,1,2,…

= = =

= ,

 

поэтому выражение в правой части (5.4) при n+1 принимает неопределенный вид и стремится к пределу, значение которого может быть найдено по правилу Лопиталя. В соответствии с этим результатом положим

 

G( , ,z)=  G , ,z)= (-1)ⁿ⁺¹[ ] (5.5)

n=0,1,2,…

 

Выполнив вычисления, находим:

 

= [ ],

= [ ]+

+ ,

 

откуда для G( ,n+1,z) получается явное выражение в форме ряда (5.6)

 

G( ,n+1,z)= [ ]+

+  ,

n=0,1,2,… ,  0,-1,-2,… ,

 

Здесь - логарифмическая производная Г-функция, и для случая n=0 пустая сумма принимается равной 0.

Если =-m (m=0,1,2,…), то предельный переход n+1 (n=0,1,2…) в формуле (5.3) приводит к выражению

 

G(-m,n+1,z)=  F(-m,n+1,z), (5.7)

m=0,1,2,… , n=0,1,2,…

 

Из (5.3) непосредственно следует, что вырожденная гипергеометрическая функция второго рода удовлетворяет функциональному соотношению

 

G( , ,z)= G( - +1,2- ,z),  (5.8)

 

На основании этой формулы можно определить функцию G( , ,z) при , равному нулю или целому отрицательному числу, при помощи равенства

 

G( ,1-n,z)=  G( , ,z)= zⁿ G( +n,n+1,z) (5.9)

n=1,2,… ,

Таким образом, функция имеет смысл при любых значениях ее параметров. Из донного определения вытекает, что G( , ,z) регулярная функция от z в плоскости с разрезом (- ,0) и целая функция  и .

Покажем, что функция G( , ,z) является решением дифференциального уравнения (5.1).

При 0, 1, 2,… доказательство следует непосредственно из (5.3). Для целых  требуемый результат может быть обоснован путем применения принципа аналитического продолжения.

Если 0, 1, 2,… интегралы F( , ,z) и G( , ,z) линейно независимы между собой, в чем легко убедиться, составив вронскиан этой пары решений.

Из (5.1) следует W{F,G}=C e^z. Сравнивая обе части этого равенства при z 0, находим C= .

 

W{ F( , ,z),G( , ,z)}= - e^z. (5.10)

0, -1, -2,… ,

 

Общий интеграл уравнения (7.1) в этом случае может быть представлен в форме

 

u = AF( , ,z)+BG( , ,z), (5.11)

, 0, -1, -2,… ,

 

Функция G( , ,z) обладает рядом свойств, аналогичных свойствам функции F( , ,z). Так, например, имеют место формулы дифференцирования:

 G( , ,z)= - G( +1, +1,z)

 G( , ,z)= (-1)^m G( +m, +m,z) (5.12)

m=1,2,...

 

рекуррентные соотношения:

 

G- G( +1)-G( -1)=0, (5.13)

( - )G+G( -1) -zG( +1)=0, (5.14)

( -1+z)G - G( -1)+( - +1)G( -1)=0, (5.15)

( +z)G+ ( - -1)G( +1)-zG( +1)=0, (5.16)

G( -1)+(2 - +z)G + ( - +1)G( +1)=0, (5.17)

( - -1)G( -1)- ( -1+z)G + zG( +1)=0, (5.18)

G G( , ,z), G( 1)  G( 1, ,z), G( 1)  G( , 1,z)

 

и так далее.

Справедливость этих формул вытекает из определения функции G и соответствующих свойств функции F.

 

5. Представление различных функций через вырожденные гипергеометрические функции

 

Как уже отмечалось, многие элементарные и специальные функции, встречающиеся в анализе, могут быть вырождены через функцию F( , ,z).

Мы имеем, например,

 

1) F( , ,z)= =

 

так как

 

2) F(1,2,z)= =  ,

 

так как

 

3) F(-2,1,z)=

 

и так далее.

 

Литература

 

1. Балк М.Б. Математический анализ: теория аналитических функций.

2. Гурвиц А.И., Курант. Теория функций.

3. Евграфов Н.А. Аналитические функции.

4. Лебедев И.И. Специальные функции и их приложения.

5. Маркушевич. Введение в теорию аналитических функций.

6. Смирнов В.И. Курс высшей математики том 3,4.

7. Уиттекер, Ватсон. Курс современного анализа том 1,2

8. Фихтенгольд. Курс дифференциального и интегрального исчисления.

9. Фильчаков. Справочник по высшей математике.