В математике Многочлены Мейкснера – Поллачека семья ортогональные многочлены п (λ) п (Икс , φ), введенные Meixner (1934 ), которые с точностью до элементарных замен переменных совпадают с Полиномы Поллачека п λ п (Икс ,а ,б ) заново открыт Поллачек (1949 ) в случае λ = 1/2, а затем обобщенное им.
Они определены
п п ( λ ) ( Икс ; ϕ ) = ( 2 λ ) п п ! е я п ϕ 2 F 1 ( − п , λ + я Икс 2 λ ; 1 − е − 2 я ϕ ) { displaystyle P_ {n} ^ {( lambda)} (x; phi) = { frac {(2 lambda) _ {n}} {n!}} e ^ {in phi} {} _ {2} F_ {1} left ({ begin {array} {c} -n, ~ lambda + ix 2 lambda end {array}}; 1-e ^ {- 2i phi} верно)} п п λ ( потому что ϕ ; а , б ) = ( 2 λ ) п п ! е я п ϕ 2 F 1 ( − п , λ + я ( а потому что ϕ + б ) / грех ϕ 2 λ ; 1 − е − 2 я ϕ ) { displaystyle P_ {n} ^ { lambda} ( cos phi; a, b) = { frac {(2 lambda) _ {n}} {n!}} e ^ {in phi} { } _ {2} F_ {1} left ({ begin {array} {c} -n, ~ lambda + i (a cos phi + b) / sin phi 2 lambda end {массив}}; 1-e ^ {- 2i phi} right)} Примеры
Первые несколько полиномов Мейкснера – Поллачека:
п 0 ( λ ) ( Икс ; ϕ ) = 1 { Displaystyle P_ {0} ^ {( lambda)} (х; phi) = 1} п 1 ( λ ) ( Икс ; ϕ ) = 2 ( λ потому что ϕ + Икс грех ϕ ) { Displaystyle P_ {1} ^ {( лямбда)} (х; фи) = 2 ( лямбда соз фи + х грех фи)} п 2 ( λ ) ( Икс ; ϕ ) = Икс 2 + λ 2 + ( λ 2 + λ − Икс 2 ) потому что ( 2 ϕ ) + ( 1 + 2 λ ) Икс грех ( 2 ϕ ) . { Displaystyle P_ {2} ^ {( lambda)} (x; phi) = x ^ {2} + lambda ^ {2} + ( lambda ^ {2} + lambda -x ^ {2} ) cos (2 phi) + (1 + 2 lambda) x sin (2 phi).} Характеристики
Ортогональность Многочлены Мейкснера – Поллачека. п м (λ) (Икс ; φ) ортогональны на прямой относительно весовой функции
ш ( Икс ; λ , ϕ ) = | Γ ( λ + я Икс ) | 2 е ( 2 ϕ − π ) Икс { Displaystyle ш (х; лямбда, фи) = | гамма ( лямбда + ix) | ^ {2} е ^ {(2 фи - пи) х}} а отношение ортогональности определяется выражением[1]
∫ − ∞ ∞ п п ( λ ) ( Икс ; ϕ ) п м ( λ ) ( Икс ; ϕ ) ш ( Икс ; λ , ϕ ) d Икс = 2 π Γ ( п + 2 λ ) ( 2 грех ϕ ) 2 λ п ! δ м п , λ > 0 , 0 < ϕ < π . { displaystyle int _ {- infty} ^ { infty} P_ {n} ^ {( lambda)} (x; phi) P_ {m} ^ {( lambda)} (x; phi) w (x; lambda, phi) dx = { frac {2 pi Gamma (n + 2 lambda)} {(2 sin phi) ^ {2 lambda} n!}} delta _ {mn}, quad lambda> 0, quad 0 < phi < pi.} Отношение рецидива Последовательность полиномов Мейкснера – Поллачека удовлетворяет рекуррентному соотношению[2]
( п + 1 ) п п + 1 ( λ ) ( Икс ; ϕ ) = 2 ( Икс грех ϕ + ( п + λ ) потому что ϕ ) п п ( λ ) ( Икс ; ϕ ) − ( п + 2 λ − 1 ) п п − 1 ( Икс ; ϕ ) . { Displaystyle (п + 1) п_ {п + 1} ^ {( лямбда)} (х; фи) = 2 { bigl (} х грех фи + (п + лямбда) соз фи { bigr)} P_ {n} ^ {( lambda)} (x; phi) - (n + 2 lambda -1) P_ {n-1} (x; phi).} Формула Родригеса Многочлены Мейкснера – Поллачека задаются формулой, подобной Родригесу[3]
п п ( λ ) ( Икс ; ϕ ) = ( − 1 ) п п ! ш ( Икс ; λ , ϕ ) d п d Икс п ш ( Икс ; λ + 1 2 п , ϕ ) , { displaystyle P_ {n} ^ {( lambda)} (x; phi) = { frac {(-1) ^ {n}} {n! , w (x; lambda, phi)} } { frac {d ^ {n}} {dx ^ {n}}} w left (x; lambda + { tfrac {1} {2}} n, phi right),} куда ш (Икс ; λ, φ) - указанная выше весовая функция.
Производящая функция Полиномы Мейкснера – Поллачека имеют производящую функцию[4]
∑ п = 0 ∞ т п п п ( λ ) ( Икс ; ϕ ) = ( 1 − е я ϕ т ) − λ + я Икс ( 1 − е − я ϕ т ) − λ − я Икс . { displaystyle sum _ {n = 0} ^ { infty} t ^ {n} P_ {n} ^ {( lambda)} (x; phi) = (1-e ^ {i phi} t ) ^ {- lambda + ix} (1-e ^ {- i phi} t) ^ {- lambda -ix}.} Смотрите также
Рекомендации
^ Коэкоек, Лески и Сварттоу (2010), стр. 213. ^ Коэкоек, Лески и Сварттоу (2010), стр. 213. ^ Коэкоек, Лески и Сварттоу (2010), стр. 214. ^ Коэкоек, Лески и Сварттоу (2010), стр. 215. Коэкоек, Рулоф; Лески, Питер А .; Сварттоу, Рене Ф. (2010), Гипергеометрические ортогональные многочлены и их q-аналоги , Springer Monographs in Mathematics, Берлин, Нью-Йорк: Springer-Verlag , Дои :10.1007/978-3-642-05014-5 , ISBN 978-3-642-05013-8 , МИСТЕР 2656096 Koornwinder, Tom H .; Wong, Roderick S.C .; Коэкоек, Рулоф; Сварттоу, Рене Ф. (2010), «Полиномы Поллачека» , в Олвер, Фрэнк В. Дж. ; Lozier, Daniel M .; Boisvert, Рональд Ф .; Кларк, Чарльз В. (ред.), Справочник NIST по математическим функциям , Издательство Кембриджского университета, ISBN 978-0-521-19225-5 , МИСТЕР 2723248 Meixner, J. (1934), "Orthogonale Polynomsysteme Mit Einer Besonderen Gestalt Der Erzeugenden Funktion", J. London Math. Soc. , s1-9 : 6–13, Дои :10.1112 / jlms / s1-9.1.6 Поллачек, Феликс (1949), "Sur une généralisation des polynomes de Legendre" , Les Comptes rendus de l'Académie des Sciences , 228 : 1363–1365, МИСТЕР 0030037