Гипергеометрическое уравнение

Здесь - логарифмическая производная Г-функция, и для случая 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)= zn 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}=Cez. Сравнивая обе части этого равенства при z0, находим C=.

W{ F(,,z),G(,,z)}= - ez. (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)mG(+m,+m,z) (5.12)

m=1,2, .

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

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

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

 Скачать реферат