Ортогональные Многочлены

Система многочленов , удовлетворяющих условию ортогональности причем степень каждого многочлена Р n (х). равна его индексу п, а весовая функция (вес) на интервале ( а, b).или (в случае конечности a и b) на отрезке [a, b]. О. м. наз. о р т о н о р м и р о в а н н ы м и и обозначаются , если каждый многочлен имеет положительны старший коэффициент н выполняется условие нормированности А если старший коэффициент каждого многочлена равен 1, то система О. м. обозначается . Система О. м. определяется однозначно, если весовая функция (дифференциальный вес) h(x).интегрируема по Лебегу на ( а, b), не эквивалентна нулю и, в случае неограниченного интервала ( а, b), имеет конечные степенные моменты Вместо дифференциального веса h(x).можно рассматривать интегральный вес ds(х), где s(x) — ограниченная неубывающая функция с бесконечным множеством точек роста (в этом случае в условии ортогональности интеграл понимается в смысле Лебега — Стилтьеса). Для того чтобы многочлен Р п (х).степени пвходил в систему О. м. c весом h(х), необходимо и достаточно, чтобы для любого многочлена Qm (х).степени m<n выполнялось условие Если интервал ортогональности (a, b) симметричен относительно начала координат, а весовая функция h(x).четна, то каждый многочлен Р п (х).содержит только те степени х, к-рые имеют одинаковую с номером пчетность, т. е. имеет место тождество Нули О. м. в случае ортогональности по интервалу ( а, b) все действительны, различны и расположены внутри ( а, b), причем между двумя соседними нулями многочлена Р п (х).есть один нуль многочлена Р п-1 (х). Нули О. м. часто применяются в качестве узлов интерполяционных и квадратурных формул. Любые три последовательных многочлена системы О. м. связаны рекуррентной формулой где Число — нормирующий множитель многочлена Р п (х), так что система ортонормирована, т. е. Для О. м. имеет место формула Кристоффеля-Дарбу О. м. представляются через степенные моменты весовой функции h(x).по формуле где а определитель Dn-1 получается из yn(x) вычеркиванием последних строки и столбца, Dn определяется аналогично. На множестве многочленов степени пс единичным старшим коэффициентом минимум функционала достигается тогда и только тогда, когда причем этот минимум равен Если многочлены ортонормированы с весом h(x).на отрезке [a, b], то при р>0 многочлены ортонормированы с весом h(pt+q).на отрезке [ А, В], к-рый переходит в отрезок [ а, b]в результате линейного преобразования x=pt+q. Поэтому при изучении асимптотич. свойств ортогональных многочленов сначала рассматривается случай стандартного отрезка [-1, 1], а затем полученные результаты распространяются на другие случаи. Наиболее важный класс О. м., встречающихся при решении краевых задач математич. физики, составляют т. н. классические ортогональные многочлены: Лагерра многочлены, (для них , a>-1, интервал ортогональности (0,оо)); Эрмита многочлены (для них h(x)=ехр(- х 2), интервал ортогональности ); Якоби многочлены (для них h(x)=(1-x)a(1+x)b, a>-1, b>-1, отрезок ортогональности [-1, 1]) и их частные случаи: улыпрасферические многочлены,, или многочлены Гегенбауэра [ Р п( х,a)} (для них a=b), Лежандра многочлены (для них a=b=0), Чебышева многочлены первого рода ( Т п (х)}(для них a=b=-1/2) и второго рода (Un(x)}(для них a=b=1/2). Весовая функция h(x).классических О. м. ( К п (х)}удовлетворяет дифференциальному уравнению Пирсона причем на концах интервала ортогональности выполняются условия Многочлен у=К n (х).удовлетворяет дифференциальному уравнению Для классич. О. м. имеют место обобщенная формула Родрига где с п — нормировочный коэффициент, и формулы дифференцирования Для частных случаев классических О. м. имеют место представления через гипергеометрич. функцию и через вырожденную гипергеометрич. функцию Исторически первым примером О. м. были многочлены Лежандра. Затем были введены многочлены Чебышева, общие многочлены Якоби, многочлены Эрмита и Лагерра. Все эти классич. О. м. играют важную роль во многих прикладных вопросах. Общая теория О. м. была построена П. Л. Чебышевым. При этом в качестве основного аппарата исследования применялось разложение интеграла в цепную дробь; знаменатели подходящих дробей этой цепной дроби образуют систему О. м. на интервале (а, b).с весом h(t). При изучении О. м. большое внимание уделяется их аснмптотич. свойствам, ибо от атих свойств зависят условия сходимости рядов Фурье по О. м. Асимптотич. свойства классических О. м. впервые исследовал В. А. Стеклов в 1907 (см. [8], с. 218). При атом он применил и усовершенствовал метод Лиувилля, к-рый ранее использовался для изучения решений уравнения Штурма — Лиувилля. В дальнейшем метод Лиувилля — Стеклова применялся во многих работах, в результате чего к настоящему времени (1983) подробно изучены асимптотич. свойства О. м. Якоби, Эрмита, Лагерра. В общем случае ортогональности на отрезке [-1, 1] с произвольным весом, удовлетворяющим нек-рым качественным условиям, асимптотич. формулы для О. м. впервые получил Г. Ceгё (G. Szego) в 1920-24. При этом он ввел многочлены, ортогональные на окружности, изучил их основные свойства и нашел весьма важную формулу, представляющую многочлены, ортогональные на отрезке [-1, 1], через многочлены, ортогональные да окружности. А для исследования асимптотич. свойств многочленов, ортогональных на окружности, Г. Сегё разработал метод, основанный на специальном обобщении теоремы Фейера о представлении неотрицательных тригонометрич. полиномов с использованием методов и результатов теории аналитич. ций. В 1930 С. Н. Бернштейн [2] для исследования асимптотич. свойств О. м. применил методы и результаты теории приближения функций. Он рассмотрел случай весовой функции вида где функция h0(x), наз. тригонометрическим весом, удовлетворяет условию Если функция h0(x) на всем отрезке [-1, 1] удовлетворяет условию Дини — Липшица порядка , где , то есть то для многочленов , ортонормированных с весом (1) на всем отрезке [-1, 1], имеет место асимптотич. формула где , а qзависит от При исследовании сходимости рядов Фурье по О. м. возникает вопрос об условиях ограниченности О. м. либо в отдельной точке, либо на нек-ром множестве , либо на всем отрезке ортогональности [-1, 1], т. е. рассматриваются условия, при к-рых имеет место неравенство типа Впервые такой вопрос поставил В. А. Стеклов (1921). Если тригонометрич. вес h0(x).на множестве Аограничен от нуля, т. е. и удовлетворяет нек-рым дополнительным условиям, то неравенство (2) имеет место. А в общем случае из неравенства (3) при А=[-1, 1] без дополнительных условий следует оценка Нули весовой функции являются особыми точками в том смысле, что свойства последовательности существенно различны в нулях и в других точках интервала ортогональности. Пусть, напр., весовая функция имеет вид Тогда если функция h1(x).положительна и удовлетворяет условию Липшица на [-1, 1], то последовательность ограничена на всяком отрезке [a, b][-1, 1], не содержащем точек , а в нулях выполняются неравенства Случай, когда нули весовой функции расположены на концах отрезка ортогональности, рассмотрел С. Н. Бернштейн [2]. Один из его результатов заключается в том, что если весовая функция имеет вид где функция h1(x).положительна и удовлетворяет условию Липшица, то при О. м. допускают весовую оценку а в точках возрастают со скоростью и соответственно. В теории О. м. часто рассматриваются т. н. теоремы сравнения. Так, напр., теорема сравнения Корауса: если многочлены , ортогональные с весом р(х).на отрезке [a, b]равномерно ограничены на нек-ром множестве , то на этом множестве ограничены также и многочлены , ортогональные свесом h(x)=p(x)q(x), где множитель q(x).положителен и удовлетворяет на отрезке [ а, b] условию Липшица порядка . Аналогично, при нек-рых условиях на множитель q(x) с системы на систему } переносятся асимптотич. формулы или другие асимптотич. свойства. Более того, если множитель q(x) есть неотрицательный на отрезке [ а, b] многочлен степени т, то многочлены представляются через многочлены с помощью определителей порядка m+1 (см. [8] с. 42). Эффективные формулы для О. м. получены также в случае весовых функций вида где Qm(x).- произвольный положительный на отрезке [-1, 1] многочлен (см. [8] с. 44). А в большинстве случаев вычисление О. м. произвольного веса при больших номерах пзатруднительно. Лит.:[1] Чебышев Н. Л., Полн. собр. соч., т. 2, М.-Л., 1947, с. 103-26, 314-34, 335-41, 357-74; [2] Бернштейн С. Н., Собр. соч., т. 2, М., 1954, с. 7-106; [3] Геронимус Я. Л., Теория ортогональных многочленов, М.-Д., 1950; [4] Суетин Н. К., Классические ортогональные многочлены, 2 изд., М., 1979; [5] Никифоров А. Ф., Уваров В. В., Специальные функции математической физики, М., 1978; [6] Бейтмен Г., Эрдейи А., Высшие трансцендентные функции, т. 2 — Функции Бесселя, функции параболического цилиндра, ортогональные многочлены, пер. с англ., 2 изд., М., 1974; [7] Джексон Д., Ряды Фурье и ортогональные полиномы, пер. с англ., М., 1948; 18] Сеге Г., , пер. с англ., М., 1962; [9] Справочник по специальным функциям.... пер.