WikiDer > Полиномы Бейтмана

В математике Полиномы Бейтмана семья F_п из ортогональные многочлены представлен Bateman (1933). В Многочлены Бейтмана – Пастернака. являются обобщением, введенным Пастернак (1939).

Многочлены Бейтмана можно определить соотношением

${ displaystyle F_ {n} left ({ frac {d} {dx}} right) operatorname {sech} (x) = operatorname {sech} (x) P_ {n} ( tanh (x) ).}$

куда п_п это Полином Лежандра. С точки зрения обобщенные гипергеометрические функции, они даны

${ displaystyle F_ {n} (x) = {} _ {3} F_ {2} left ({ begin {array} {c} -n, ~ n + 1, ~ { tfrac {1} {2 }} (x + 1) 1, ~ 1 end {array}}; 1 right).}$

Пастернак (1939) обобщил многочлены Бейтмана на многочлены F^м
_п с

${ displaystyle F_ {n} ^ {m} left ({ frac {d} {dx}} right) operatorname {sech} ^ {m + 1} (x) = operatorname {sech} ^ {m +1} (x) P_ {n} ( tanh (x))}$

Эти обобщенные многочлены также имеют представление в терминах обобщенных гипергеометрических функций, а именно

${ displaystyle F_ {n} ^ {m} (x) = {} _ {3} F_ {2} left ({ begin {array} {c} -n, ~ n + 1, ~ { tfrac { 1} {2}} (x + m + 1) 1, ~ m + 1 end {array}}; 1 right).}$

Карлитц (1957) показал, что многочлены Q_п изучен Тушар (1956) , видеть Полиномы Тушара, с точностью до замены переменной такие же, как многочлены Бейтмана: точнее

${ displaystyle Q_ {n} (x) = (- 1) ^ {n} 2 ^ {n} n! { binom {2n} {n}} ^ {- 1} F_ {n} (2x + 1) }$

Многочлены Бейтмана и Пастернака являются частными случаями симметричной непрерывные многочлены Хана.

Примеры

Многочлены малых п читать

${ Displaystyle F_ {0} (х) = 1}$;

${ Displaystyle F_ {1} (х) = - х}$;

${ displaystyle F_ {2} (x) = { frac {1} {4}} + { frac {3} {4}} x ^ {2}}$;

${ displaystyle F_ {3} (x) = - { frac {7} {12}} x - { frac {5} {12}} x ^ {3}}$;

${ displaystyle F_ {4} (x) = { frac {9} {64}} + { frac {65} {96}} x ^ {2} + { frac {35} {192}} x ^ {4}}$;

${ displaystyle F_ {5} (x) = - { frac {407} {960}} x - { frac {49} {96}} x ^ {3} - { frac {21} {320}} х ^ {5}}$;

Характеристики

Ортогональность

Полиномы Бейтмана удовлетворяют соотношению ортогональности^[1][2]

${ displaystyle int _ {- infty} ^ { infty} F_ {m} (ix) F_ {n} (ix) operatorname {sech} ^ {2} left ({ frac { pi x} {2}} right) , dx = { frac {4 (-1) ^ {n}} { pi (2n + 1)}} delta _ {mn}.}$

Фактор ${ Displaystyle (-1) ^ {п}}$ встречается в правой части этого уравнения, потому что полиномы Бейтмана, как определено здесь, должны быть масштабированы с коэффициентом ${ Displaystyle я ^ {п}}$ чтобы они оставались реальными для воображаемого аргумента. Отношение ортогональности проще, если выразить его через модифицированный набор полиномов, определяемых формулой ${ Displaystyle В_ {п} (х) = я ^ {п} F_ {п} (ix)}$, для чего становится

${ displaystyle int _ {- infty} ^ { infty} B_ {m} (x) B_ {n} (x) operatorname {sech} ^ {2} left ({ frac { pi x} {2}} right) , dx = { frac {4} { pi (2n + 1)}} delta _ {mn}.}$

Отношение рецидива

Последовательность полиномов Бейтмана удовлетворяет рекуррентному соотношению^[3]

${ Displaystyle (п + 1) ^ {2} F_ {n + 1} (z) = - (2n + 1) zF_ {n} (z) + n ^ {2} F_ {n-1} (z) .}$

Производящая функция

Полиномы Бейтмана также имеют производящую функцию

${ displaystyle sum _ {n = 0} ^ { infty} t ^ {n} F_ {n} (z) = (1-t) ^ {z} , _ {2} F_ {1} left ({ frac {1 + z} {2}}, { frac {1 + z} {2}}; 1; t ^ {2} right),}$

который иногда используется для их определения.^[4]

Рекомендации

• Ас-Салам, Надхла А. (1967). «Класс гипергеометрических многочленов». Анна. Мат. Pura Appl. 75 (1): 95–120. Дои:10.1007 / BF02416800.
• Бейтман, Х. (1933), «Некоторые свойства определенного набора многочленов»., Математический журнал Тохоку, 37: 23–38, JFM 59.0364.02
• Карлитц, Леонард (1957), "Некоторые полиномы Тушара, связанные с числами Бернулли", Канадский математический журнал, 9: 188–190, Дои:10.4153 / CJM-1957-021-9, ISSN 0008-414X, МИСТЕР 0085361
• Келинк, Х. Т. (1996), "О якобиевых и непрерывных многочленах Хана", Труды Американского математического общества, 124 (3): 887–898, Дои:10.1090 / S0002-9939-96-03190-5, ISSN 0002-9939, МИСТЕР 1307541
• Пастернак, Саймон (1939), "Обобщение полинома F_п(Икс)", Лондонский, Эдинбургский и Дублинский философский журнал и научный журнал, 28 (187): 209–226, Дои:10.1080/14786443908521175, МИСТЕР 0000698
• Тушар, Жак (1956), "Показатели и числа Бернулли", Канадский математический журнал, 8: 305–320, Дои:10.4153 / cjm-1956-034-1, ISSN 0008-414X, МИСТЕР 0079021