Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
matem-ege-shpora / Математика формулы.pdf
Скачиваний:
35
Добавлен:
03.06.2015
Размер:
2.28 Mб
Скачать

http://vk.com/ege100ballov

108

6. Вырожденные гипергеометрические функции

У р а в н е н и е К у м м е р а :

 

 

z d2w + (c + z) dw aw = 0 ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dz2

 

 

 

dz

 

 

общее решение: w = AΦ(a, c; z) + BΨ(a, c; z)

 

(A и B — произвольные постоянные).

Ф у н к ц и я

 

К у м м е р а

Φ(a,

c; z)

 

 

(иногда обозначают M(a, c;

z)):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zn

n−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a (a +1)

z2

 

 

 

 

 

 

 

∏ (a + i)

 

 

 

 

 

Φ(a,c;z) = 1 + a

z

+

 

 

+… = 1 +

 

i=0

.

 

 

 

 

 

 

 

 

 

 

 

 

 

n−1

 

 

 

 

 

 

 

 

 

 

c 1!

 

 

 

c

(

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c +1

2!

 

 

 

 

 

n=1 n! ∏ (c + i)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=0

 

Функция Ψ(a,

c;

z) (иногда обозначают U(a, c; z)):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

Φ(a,c;z)

 

 

 

 

 

1−c Φ(1 + a c,2 − c;z)

 

Ψ(a,c;z) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

Γ(1 + a c) Γ(c)

 

 

 

Γ(a) Γ(2 − c)

 

 

 

 

 

 

 

 

sin πc

 

 

 

 

 

Интегральные представления:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Γ(c)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Φ(a,c;z) =

 

 

 

 

 

 

 

 

 

 

eztta−1

 

1

t

ca−1 dt;

 

 

 

 

 

 

 

Γ(c a) Γ(a)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ψ(a,c;z) =

ez

 

ezt (t −1)a−1 tca−1dt.

 

 

 

 

 

 

 

 

 

Γ(a)

 

Дифференцирование:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dnΦ

=

 

Γ(a + n) Γ(c)

Φ(a + n,c + n;z);

 

 

 

 

 

 

 

 

 

 

 

 

dzn

 

Γ(c + n) Γ(a)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dnΨ

 

= (−1)

n Γ(a + n)

 

Ψ(a + n,c + n;z).

 

 

 

 

 

 

 

 

 

 

 

dzn

 

 

 

 

 

Γ(a)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рекуррентные формулы:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ф о р м у л а К у м м е р а :

 

 

 

 

Φ(a,c;z) = ezΦ(c a,c; −z) ;

 

c

(

c

)

 

 

 

 

 

 

 

c

(

c −1 + z

)

Φ(a,c;z) +

(

c

a

)

z Φ(a,c +1;z) = 0;

 

−1 Φ(a,c −1;z)

 

 

 

 

 

 

 

 

 

 

 

c Φ(a,c;z) − c Φ(a −1,c;z) − z Φ(a,c +1;z) = 0;

 

 

 

(a −1 + z)Φ(a,c;z) + (c a) Φ(a −1,c;z) − (c −1) Φ(a,c −1;z) = 0;

 

(

??c + z

)

Φ(a,c;z)

(

c a

)

z Φ(a +

1,c;z) +

(

c

 

)

Φ(a,c −1;z) = 0;

 

 

 

 

 

 

 

 

 

+1

 

 

 

 

(a c +1)Φ(a,c;z) − a Φ(a +1,c;z) + (c −1)Φ(a,c −1;z) = 0;

 

 

 

 

(

(c a)Φ(a −1,c;z) + (2a c + z) Φ(a,c;z) − a Φ(a +1,c;z) = 0;

 

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

 

 

 

(

c

1 + z

)

 

Ψ(a,c;z) + z Ψ(a,c +1;z) = 0;

 

 

 

 

c a −1 Ψ(a,c −1;z) −

 

 

 

 

 

Ψ(a,c;z) − a Ψ(a +1,c;z) − Ψ(a,c −1;z) = 0;

(c a)Ψ(a,c;z) − z Ψ(a,c +1;z) + Ψ(a −1,c;z) = 0;

(a −1 + z)Ψ(a,c;z) − Ψ(a −1,c;z) + (a c +1)Ψ(a,c −1;z) = 0; (a + z)Ψ(a,c;z) + a (c a −1)Ψ(a +1,c;z) − z Ψ(a,c +1;z) = 0; Ψ(a −1,c;z) − (2a c + z)Ψ(a,c;z) + a (a c +1)Ψ(a +1,c;z) = 0.

http://vk.com/ege100ballov

VI.6. ВЫРОЖДЕННЫЕ ГИПЕРГЕОМЕТРИЧЕСКИЕ ФУНКЦИИ

109

Некоторые частные случаи:

 

 

 

 

 

 

 

 

 

 

 

 

Φ(a,a;z) = ez ;

Φ(1,2;2z) = ez

sh z;

 

 

 

 

 

 

 

 

 

z

 

 

 

 

 

eiz

 

 

1

 

3

 

2

 

π

 

 

Φ(1,2; −2iz) =

 

sin z;

Φ

 

,

 

; −z

 

=

 

erf z;

 

z

2

2

 

2z

 

 

 

 

 

 

 

 

 

 

Φ(a,a +1; −z) = a z

a

γ(a,z);

 

 

 

 

 

 

 

 

 

 

 

Φ ν +

 

(

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ψ

1

a,1 − a;z

 

= ezΓ(a,z);

 

 

 

 

Ψ

 

ν

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

,

1

;z

2

 

=

 

 

 

 

 

 

Ψ

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

У р а в н е н и е У и т т е к е р а :

1 ,2ν +1;2z

 

= Γ(1 + ν) ez z

ν

I

(z);

2

 

 

2

 

ν

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

ez

(2z)

ν

 

 

+

 

,2ν +1;2z

=

 

 

 

 

 

Kν (z);

 

2

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π ez2

erfc z.

 

 

 

 

 

 

 

 

 

 

d2w +

 

 

1

+ i

 

(1 4 − µ

2

)

 

 

 

+

 

 

w = 0

;

dz2

 

 

 

 

4

2

 

 

 

z2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

решения: функции Уиттекера Mi,µ(z) и Wi,µ(z).

 

 

 

 

 

 

 

 

Связь между функциями Уиттекера:

 

 

 

 

 

 

 

 

 

 

 

 

Wi,µ (z) =

 

 

Γ(−2µ)

 

 

Mi,µ

(z)

+

 

Γ(2µ)

 

 

Mi,−µ (z).

 

 

 

 

 

 

 

 

 

 

 

Γ

 

1

 

 

 

1

+ µ −i

 

 

 

2

− µ −i

 

 

 

 

 

Γ

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Связь с вырожденными гипергеометрическими функциями:

 

 

 

 

M

(z) = ez2

z12 Φ

 

µ −i+

1 ,2µ +1;z

 

;

i,µ

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

W

 

 

z

1

Ψ

 

µ −i+

1

,2µ +1;z

 

.

(z) = e 2

z2

 

 

 

 

i,µ

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

http://vk.com/ege100ballov

110

7. Некоторые интегральные функции

И н т е г р а л в е р о я т н о с т е й :

erf(z) =

2

 

z et2 dt; erf(−z)

π

Разложение в ряд:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

2 (−1)n z2n+1

 

 

 

 

 

 

 

2

 

2

 

2n z2n+1

erf(z) =

 

 

 

 

 

 

 

 

=

 

ez

 

 

.

 

π

n!

 

 

2n +1

π

 

1 3 … (2n +1)

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

=

2

 

z2

 

 

 

 

 

 

 

 

Дифференцирование:

 

erf (z)

 

 

e

.

 

 

 

 

 

 

 

 

 

 

π

 

 

 

 

 

 

 

 

И н т е г р а л ы Ф р е н е л я :

 

 

 

 

 

z

C(z) =

 

1

cost t dt =

 

 

 

 

 

 

0

 

 

 

 

z

 

S(z) =

 

1

sintt dt =

 

 

 

 

 

0

 

2z

(−1)n z2n

 

 

n=0

 

;

 

 

π

(4n +1)(2n)!

2z

(−1)n z2n+1

 

n=0

 

.

π

(4n + 3)(2n +1)!

Связь с интегралом вероятностей:

C(z) + iS(z) =

1

i

π

 

 

i

π

 

 

 

 

C(z) − iS(z) =

 

1

i

π

i

π

 

 

e

4 erf (e

4

z);

 

 

 

e

4

erf (e

4

2

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Д з е т а - ф у н к ц и я

 

Р и м а н а :

 

ζ(z) =

1

 

 

(Re z > 1) .

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n=1

n

 

 

 

 

 

Разложение в

бесконечное

 

произведение:

 

ζ(z) = (1 − pz )−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

где бесконечное произведение вычисляется по всем простым числам p.

 

 

 

Интегральное представление:

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 − 21−z

)

ζ(z) =

tz−1

dt (Re z > 0);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Γ(z) et +1

 

 

 

 

(

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ζ(z) =

1

tz−1

 

dt

(

Re z > 1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Γ(z) et −1

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= −erf(z) .

z).

(Re z > 1),

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

ζ(1 − z) =

2

cos

πz Γ(z) ζ(z);

 

(2π)z

 

 

 

 

2

 

 

Частные значения:

 

 

 

 

 

ζ(0)

= − 1

;

 

ζ(−2n) = 0;

 

 

2

 

 

 

 

 

 

 

 

 

ζ(1 − 2n) = −

B2n

 

 

 

 

 

2n

 

 

 

 

 

 

 

ζ(2)

=

π2

;

 

ζ(4) = π4 ;

 

 

6

 

 

90

 

 

ζ(z + 2) ζ(1 − z)

 

 

 

 

z (z +1) ζ(z) ζ(−1 − z)

= −4π2 .

ζ(2n) = (−1)

n−1 2n−1 π2n

 

2

 

 

 

B

;

 

 

 

 

 

 

 

 

(2n) ! 2n

 

(Bk числа Бернулли);

 

 

 

 

ζ(6) =

π6

;

 

ζ(8) =

π8

.

 

 

9450

945

 

 

 

 

 

 

http://vk.com/ege100ballov

VI.7. НЕКОТОРЫЕ ИНТЕГРАЛЬНЫЕ ФУНКЦИИ

111

И н т е г р а л ь н а я п о к а з а т е л ь н а я ф у н к ц и я :

 

Ei(z) = −Γ(0,zeiπ) = −ett

dt.

 

z

 

 

Разложение в ряд:

Ei(z) = γ − iπ + ln z + zn ; n=1 n n!

xn

Ei(−x) = γ + ln x + (−1)n

 

.

n n!

n=1

 

 

И н т е г р а л ь н ы й л о г а р и ф м :

li(z) = z

dt

.

lnt

 

0

 

 

Связь с интегральной показательной функцией:

li(z) = Ei(ln z); Ei(z) = li(ez) .

И н т е г р а л ь н ы й с и н у с и и н т е г р а л ь н ы й к о с и н у с :

si(z) = z sint t dt =

1

[Ei(iz) − Ei(−iz)];

2i

 

 

 

 

 

 

 

 

 

ci(z) = z cost t dt = 12 [Ei(iz) + Ei(−iz)].

 

 

 

 

 

 

 

 

 

Другие обозначения: Si(z) = si(z) + 2π = z sint t dt;

Ci(x) = ci(z) .

Разложение в ряд:

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

si(z) = − π

 

 

 

z2n+1

 

 

 

+ (−1)n

 

 

 

;

 

 

)(

)

2

 

(

2n +

 

n=0

 

 

 

1 2n

+1 !

 

 

 

 

 

 

 

 

 

 

 

 

 

z2n

 

 

 

ci(z) = γ + ln z + (−1)n

 

.

 

2n (2n)!

 

 

 

n=1

 

 

 

 

 

Соседние файлы в папке matem-ege-shpora