WikiDer > Полиномы Романовского - Википедия
В математика, то Полиномы Романовского являются одним из трех конечных подмножеств вещественных ортогональных многочленов, открытых Всеволод Романовский[1] (Романовский во французской транскрипции) в контексте функций распределения вероятностей в статистике. Они образуют ортогональное подмножество более общего семейства малоизвестных Полиномы Рауса представлен Эдвард Джон Раут[2] в 1884 году. Полиномы Романовского был выдвинут Рапосо,[3] со ссылкой на так называемые «псевдоякобиевские полиномы» в классификационной схеме Лески.[4] Кажется более последовательным называть их Полиномы Романовского – Рауса, по аналогии с условиями Романовски – Бессель и Романовски – Якоби используется Лески для двух других наборов ортогональных многочленов.
В некотором отличие от стандартных классических ортогональных многочленов, рассматриваемые многочлены различаются, поскольку только для произвольных параметров конечное число из них ортогональны, как более подробно обсуждается ниже.
Дифференциальное уравнение для полиномов Романовского
Полиномы Романовского решают следующую версию гипергеометрическое дифференциальное уравнение
(1)
Любопытно, что они не вошли в стандартные учебники по специальные функции в математической физике[5][6] и в математике[7][8] и относительно редко упоминаются в математической литературе.[9][10][11]
В весовые функции находятся
(2)
они решают дифференциальное уравнение Пирсона
(3)
это гарантирует самосопряженность дифференциального оператора гипергеометрического обыкновенное дифференциальное уравнение.
За α = 0 и β < 0, весовая функция многочленов Романовского принимает вид Распределение Коши, поэтому ассоциированные многочлены также обозначаются как многочлены Коши[12] в своих приложениях в теории случайных матриц.[13]
Формула Родригеса задает многочлен р(α,β)
п(Икс) в качестве
(4)
куда Nп - нормировочная константа. Эта постоянная связана с коэффициентом cп срока ученой степени п в полиноме р(α,β)
п(Икс) выражением
(5)
что справедливо для п ≥ 1.
Связь многочленов Романовского и Якоби
Как показал Аски, эта конечная последовательность действительных ортогональных многочленов может быть выражена в терминах многочленов Якоби мнимого аргумента и поэтому часто упоминается как комплексифицированные многочлены Якоби.[14] А именно, уравнение Романовского (1) формально можно получить из уравнения Якоби,[15]
(6)
через замены, на самом деле Икс,
(7)
в этом случае можно найти
(8)
(с подходящим образом подобранными нормировочными константами для полиномов Якоби). Комплексные многочлены Якоби справа определены через (1.1) в Куйлаарсе и другие. (2003)[16] что гарантирует, что (8) являются действительными многочленами от x. Поскольку указанные авторы обсуждают условия неэрмитовой (комплексной) ортогональности только для вещественных индексов Якоби, их анализ и определение (8) полиномов Романовского существует, только если α = 0. Однако рассмотрение этого особенного случая требует более тщательного изучения, выходящего за рамки данной статьи. Обратите внимание на обратимость (8) в соответствии с
(9)
где сейчас, п(α,β)
п(Икс) является действительным многочленом Якоби и
будет комплексным многочленом Романовского.
Свойства многочленов Романовского
Явная конструкция
Серьезно α, β и п = 0, 1, 2, ..., функция р(α,β)
п(Икс) можно определить формулой Родригеса в уравнении (4) в качестве
(10)
куда ш(α,β) - та же весовая функция, что и в (2), и s(Икс) = 1 + Икс2 - коэффициент при второй производной от гипергеометрическое дифференциальное уравнение как в (1).
Обратите внимание, что мы выбрали константы нормировки Nп = 1, что эквивалентно выбору коэффициента наивысшей степени в многочлене, заданном уравнением (5). Это принимает форму
(11)
Также отметим, что коэффициент cп не зависит от параметра α, но только на β и, при определенных значениях β, cп обращается в нуль (т.е. для всех значений
куда k = 0, ..., п − 1). Это наблюдение создает проблему, которая рассматривается ниже.
Для дальнейшего использования мы явно записываем многочлены степени 0, 1 и 2,
которые выводятся из формулы Родригеса (10) в сочетании с ODE Пирсона (3).
Ортогональность
Два полинома, р(α,β)
м(Икс) и р(α,β)
п(Икс) с м ≠ п, ортогональны,[3]
(12)
если и только если,
(13)
Другими словами, для произвольных параметров только конечное число полиномов Романовского ортогонально. Это свойство называется конечная ортогональность. Однако для некоторых частных случаев, в которых параметры определенным образом зависят от полиномиальной степени, может быть достигнута бесконечная ортогональность.
Это случай версии уравнения (1), который независимо встретился заново в контексте точной разрешимости квантово-механической проблемы тригонометрический потенциал Розена – Морса и сообщается в Compean & Kirchbach (2006).[17] Там параметры полинома α и β уже не являются произвольными, а выражаются через потенциальные параметры, а и б, а степень п полинома согласно соотношениям,
(14)
Соответственно, λп появляется как λп = −п(2а + п − 1), а весовая функция принимает вид
Наконец, одномерная переменная, Иксв Compean & Kirchbach (2006)[17] был принят как
куда р - радиальное расстояние, а - подходящий параметр длины. In Compean & Kirchbach[17] было показано, что семейство многочленов Романовского, соответствующее бесконечной последовательности пар параметров,
(15)
ортогонален.
Производящая функция
У Вебера (2007)[18] многочлены Q(αп, βп + п)
ν(Икс), с βп + п = −а, и дополняет р(αп, βп)
п(Икс) были изучены, сформированы следующим образом:
(16)
Учитывая соотношение,
(17)
Уравнение (16) становится эквивалентным
(18)
и, таким образом, связывает дополнительные с главными многочленами Романовского.
Основная привлекательность дополнительных многочленов заключается в том, что их производящая функция можно рассчитать в закрытом виде.[19] Такой производящая функция, записанный для полиномов Романовского на основе уравнения (18) с параметрами в (14) и, следовательно, ссылаясь на бесконечную ортогональность, был введен как
(19)
Обозначения различия между Weber[18] и те, которые здесь используются, резюмируются следующим образом:
- грамм(αп, βп)(Икс,у) здесь по сравнению с Q(Икс,у;α,−а) там, α там вместо αп здесь,
- а = −βп − п, и
- Q(α,−а)
ν(Икс) в уравнении (15) Вебера[18] соответствующий р(αп, βп + п − ν)
ν(Икс) здесь.
Обсуждаемая производящая функция, полученная Вебером[18] теперь читает:
(20)
Повторяющиеся отношения
Повторяющиеся отношения между бесконечным ортогональным рядом многочленов Романовского с параметрами в приведенных выше уравнениях (14) следуют из производящая функция,[18]
(21)
и
(22)
как уравнения (10) и (23) Вебера (2007)[18] соответственно.
Смотрите также
Рекомендации
Эта статья не хватает ISBN для книг, перечисленных в нем. (Декабрь 2017 г.) |
- ^ Романовский, В. (1929). "Sur quelques классы nouvelles de polynomes orthogonaux". C. R. Acad. Sci. Париж (На французском). 188: 1023.
- ^ Раус, Э. Дж. (1884). «О некоторых свойствах некоторых решений дифференциального уравнения второго порядка» (PDF). Proc. Лондонская математика. Soc. 16: 245. Дои:10.1112 / плмс / с1-16.1.245.
- ^ а б Raposo, A. P .; Weber, H.J .; Álvarez Castillo, D.E .; Кирхбах, М. (2007). «Полиномы Романовского в избранных задачах физики». Cent. Евро. J. Phys. 5 (3): 253–284. arXiv:0706.3897. Bibcode:2007CEJPh ... 5..253R. Дои:10.2478 / s11534-007-0018-5.
- ^ Лески, П. А. (1996). "Endliche und unendliche Systeme von kontinuierlichen klassischen Orthogonalpolynomen". З. Энгью. Математика. Мех. (на немецком). 76 (3): 181. Bibcode:1996ЗаММ ... 76..181Л. Дои:10.1002 / zamm.19960760317.
- ^ Абрамовиц, М.; Стегун, И. (1972). Справочник по математическим функциям с формулами, графиками и математическими таблицами (2-е изд.). Нью-Йорк, Нью-Йорк: Дувр. ISBN 978-0-486-61272-0.
- ^ Никифоров, А. Ф .; Уваров, В. Б. (1988). Специальные функции математической физики. Базель: Birkhäuser Verlag.
- ^ Сего, Г. (1939). Ортогональные многочлены. 23. Провиденс, Род-Айленд: Американское математическое общество.
- ^ Исмаил, М. Э. Х. (2005). Классические и квантовые ортогональные многочлены от одной переменной. Издательство Кембриджского университета.
- ^ Аски, Р. (1987). «Интеграл Рамануджана и ортогональных многочленов». J. Indian Math. Soc. 51: 27.
- ^ Аски, Р. (1987). «Бета-интегралы и соответствующие ортогональные многочлены». Теория чисел. Конспект лекций по математике. 1395. Мадрас / Берлин: Springer. п. 84.
- ^ Зарцо Альтарехос, А. (1995). Дифференциальные уравнения гипергеометрического типа. (Доктор философии) (на испанском языке). Факультет естественных наук Гранадского университета.
- ^ Витте, Н. С .; Форрестер, П. Дж. (2000). "Вероятности разрыва в конечных и масштабированных ансамблях случайных матриц Коши". Нелинейность. 13 (6): 13–1986. arXiv:math-ph / 0009022. Bibcode:2000Nonli..13.1965W. Дои:10.1088/0951-7715/13/6/305.
- ^ Форрестер, П. Дж. (2010). Лог-газы и случайные матрицы. Монографии Лондонского математического общества. Издательство Принстонского университета.
- ^ Котфас, Н. (2004). «Системы ортогональных многочленов, определяемые уравнениями гипергеометрического типа, применительно к квантовой механике». Cent. Евро. J. Phys. 2 (3): 456–466. arXiv:math-ph / 0602037. Bibcode:2004CEJPh ... 2..456C. Дои:10.2478 / bf02476425.
- ^ Вайсштейн, Эрик В. «Дифференциальное уравнение Якоби». MathWorld.
- ^ Kuijlaars, A. B.J .; Мартинез-Финкельштейн, А .; Орив Р. (2005). «Ортогональность многочленов Якоби с общими параметрами». Электрон. Пер. Нумер. Анальный. 19: 1–17. arXiv:математика / 0301037. Bibcode:2003математика ...... 1037K.
- ^ а б c Compean, C. B .; Кирхбах, М. (2006). «Тригонометрический потенциал Розена – Морса в суперсимметричной квантовой механике и его точные решения». J. Phys. A: Математика. Gen. 39 (3): 547–558. arXiv:Quant-ph / 0509055. Bibcode:2006JPhA ... 39..547C. Дои:10.1088/0305-4470/39/3/007.
- ^ а б c d е ж Вебер, Х. Дж. (2007). «Связь многочленов Романовского с другими многочленами». Центральноевропейский математический журнал. 5 (3): 581. arXiv:0706.3153. Дои:10.2478 / s11533-007-0014-4.
- ^ Вебер, Х. Дж. (2007). «Связь между действительными полиномиальными решениями дифференциальных уравнений гипергеометрического типа с формулой Родригеса». Центральноевропейский математический журнал. 5 (2): 415–427. arXiv:0706.3003. Дои:10,2478 / с11533-007-0004-6.