Тип ортогональных многочленов
В математике классические ортогональные многочлены наиболее широко используются ортогональные полиномы : полиномы Эрмита, полиномы Лагерра, полиномы Якоби (включая в особом качестве случая полиномы Гегенбауэра, полиномы Чебышева и полиномы Лежандра ).
У них много важных приложений в таких областях, как математическая физика (в частности, теория случайных матриц ), теория приближений, численный анализ и многие другие.
Классические ортогональные полиномы появились в начале 19 века в работах Адриана-Мари Лежандра, который ввел полиномы Лежандра. В конце 19 века исследование непрерывных дробей для решения проблемы моментов, проведенное П. Л. Чебышев, а затем А.А. Марков и Т.Дж. Стилтьес привел к общему понятию ортогональных многочленов.
Для заданных полиномов и классические ортогональные многочлены характеризуются тем, что являются решениями дифференциального уравнения
константами, которые предстоит определить .
Есть несколько более общих определений ортогональных классических полиномы; например, Andrews Askey (1985) используют этот термин для всех полиномов в схеме Askey.
Содержание
- 1 Определение
- 1.1 Полиномы Якоби
- 1.1.1 Важно частные случаи
- 1.2 Многочлены Эрмита
- 1.3 Многочлены Лагерра
- 2 Дифференциальное уравнение
- 2.1 Вторая Формула Родригеса
- 2.2 Числа λ n
- 2.3 Форма для дифференциального уравнения
- 2.4 Третья форма для дифференциального уравнения
- 2.5 Формулы с производными
- 2.6 Ортогональность
- 3 Вывод из дифференциального уравнения
- 3.1 Полином Якоби
- 3.2 Полиномы Гегенбауэра
- 3.3 Полиномы Лежандра
- 3.3.1 Связанные полиномы Лежандра многочлены
- 3.4 многочлены Чебышева
- 3.5 многочлены Лагерра
- 3.6 многочлены Эрмита
- 4 характеризации классических ортогональных многочленов
- 5 Таблица классических ортогональных многочленов
- 6 См. также
- 7 Примечания
- 8 Ссылки
Определение
В общем, ортогональные многочлены относительно веса
Приведенные выше отношения определяют с точностью до умножения на число. Для исправления константы используются различные нормализации, например
Классические ортогональные многочлены соответствуют трем семействам весов:
Стандартная нормализация (также называется стандартизацией) подробно описана ниже.
Многочлены Якоби
Для многочлены Якоби задаются формулой (α, β <901)) (z) = (- 1) n 2 nn! (1 - z) - α (1 + z) - β dndzn {(1 - z) α (1 + z) β (1 - z 2) n}. {\ displaystyle P_ {n} ^ {(\ alpha, \ beta)} (z) = {\ frac {(-1) ^ {n}} {2 ^ {n} n!}} (1 -z) ^ {- \ alpha} (1 + z) ^ {- \ beta} {\ frac {d ^ {n}} {dz ^ {n}}} \ left \ {(1-z) ^ {\ alpha} (1 + z) ^ {\ beta} (1-z ^ {2}) ^ {n} \ right \} ~.}
Они нормализованы (стандартизированы) на
и удовлетворить условие ортогональности
Многочлены Якоби являются решениями дифференциального уравнения
Важные частные случаи
Полиномы Якоби с называются полиномами Гегенбауэра (с параметром )
для , они называются многочленами Лежандра (для интервал ортогональности равенство [-1, 1], а весовая функция равна просто 1):
Для , получаем многочлены Чебышева (второго и первого рода соответственно).
многочлены Эрмита
Многочлены Эрмитапо
Они удовлетворяют ортогональности условие
и дифференциальное уравнение
Многочлены Лагерра
Обобщенные многочлены Лагерра анализ как
(классические многочлены Лагерра соответствуют .)
Они удовлетворяют действию ортогональности
и дифференциальное уравнение
Дифференциальное уравнение
Классические ортогональные многочлены уравнения из дифференциального уравнения вида
где Q - заданный квадратичный (максимум) многочлен, а L - заданный линейный многочлен. Необходимо найти функцию f и постоянную λ.
- (Обратите внимание, что такое уравнение имеет смысл иметь полиномиальное решение.
- Каждый член в уравнении является полиномом, а степень согласованы.)
Это Уравнение типа Штурма - Лиувилля. Такие уравнения обычно имеют особенности в функциях решения f, за конкретные значения λ. Их можно представить в виде задач на собственный вектор / собственное значение : если D будет дифференциальным оператором, , и меняя знак λ, задача состоит в том, чтобы найти собственные значения λ, такие, что f не имеет сингулярных функций и D (f) = λf.
Решения этого дифференциального уравнения имеют особенности, если λ не принимает значения. Существует ряд чисел λ 0, λ 1, λ 2,... которые приводят к серии полиномиальных решений P 0, P 1, P 2,... если выполняется одно из следующих наборов условий:
- Q фактически квадратично, L линейно, Q имеет два действительных корней, корень L лежит строго между корнями Q, а главные члены Q и L один и тот же знак.
- Q на самом деле не квадратичный, но линейный, L линейный, корни Q и L различны, и главные члены Q и L имеют одинаковый знак, если корень L меньше, чем корень Q или наоборот.
- Q - просто ненулевая константа, L линейно, и главный член L имеет противоположный Q.
Эти три случая приводят к подобию Якоби, подобию Лагерру и Эрмитоподобные полиномы соответственно.
В каждом из этих трех случаев мы имеем следующее:
- Решения представляют собой серию многочленов P 0, P 1, P 2,..., каждый P n имеет степень n и соответствует λ n.
- Интервал ортогональности ограничен любыми корнями Q.
- корень L находится внутри интервала ортогональности.
- Положим , многочлены ортогональны относительно весовой функции
- W (x) не имеет нулей или бесконечностей внутри интервала, хотя может иметь нули или бесконечности в конечные точки.
- W (x) дает конечное внутреннее произведение для любых полиномов.
- W (x) может быть больше 0 в интервале. (Отмените все дифференциальное уравнение, если необходимо, чтобы Q (x)>0 внутри интервала.)
Из-за интегрирования величина R (x) определяется только с точностью до произвольной положительной мультипликативной постоянной. Он будет указывать только в однородных уравнениях (где это не имеет значения) и в определении весовой функции (которая также может быть неопределенной). В приведенных ниже «официальных» значениях R (x) и W. (Икс).
Формула Родригеса
Согласно предположениям данным раздела, P n (x) пропорционально
Это известно как формула Родригеса после Олинде Родригес. Часто пишут
, где число e n зависит от стандартизации. Стандартные значения e n представлены в таблицах ниже.
Числа λ n
Мы имеем
(Времен Q квадратично, а L линейно, и - константы, поэтому это просто числа.)
Вторая форма для дифференциального уравнения
Пусть
Тогда
Теперь умножьте дифференциальное уравнение
на R / Q, получая
или
Это стандартная форма Штурма - Лиувилля для уравнений.
Третья форма для дифференциального уравнения
Пусть
Тогда
Теперь умножьте дифференциальное уравнение
на S / Q, получая
или
Но , поэтому
или, если u = Sy,
Формулы с производными
В предположении предыдущего раздела пусть P. nобозначает r-ю производную от P n. (Мы заключили "r" в скобки, чтобы не путать с показателем.) P. n- многочлен степени n - r. Тогда мы имеем следующее:
- (ортогональность) При фиксированном r полиномиальная последовательность P. r, P. r + 1, P. r + 2,... ортогональны, взвешены по .
- (обобщенная формула Родригеса ) P. nпропорционально
- (дифференциальное уравнение) P. nявляется решением , где λ r - та же функция, что и λ n, то есть
- (дифференциальное уравнение, секунда форма) P. nявляется решением
Есть также несколько смешанных повторов. В каждом из них числа a, b и c зависят от n и r и не связаны между собой в различных формулах.
Существует огромное количество других формул, использующих ортогональные многочленные способы. Вот их крошечный образец, относящийся к полиномам Чебышева, ассоциированных полиномов Лагерра и Эрмита:
Ортогональность
Можно записать дифференциальное уравнение для конкретного λ (без явной зависимости от x)
умножение на дает
и изменение нижних индексов дает
вычитание и интегрирование:
но видно, что
так, чтобы:
Если многочлены f таковы, что член слева равенство нулю, и для , тогда соотношение ортогональности будет сохраняться:
для .
Вывод из дифференциального уравнения
Все полиномиальные последовательности, Соответствующие из приведенного выше дифференциального уравнения, эквивалентные при масштабах и стандарте и стандартизации полиномы к более узким классам. Эти ограниченные классы являются в точности «классическими ортогональными многочленами».
- Каждая последовательность полиномов типа Якоби может иметь сдвинутую и / или масштабируемую область так, чтобы ее интервал ортогональности был [-1, 1] и имел Q = 1 - x. Затем они могут быть стандартизированы в полиномы Якоби . Существует несколько важных подклассов из них: Гегенбауэр, Лежандр и два типа Чебышева .
- . Каждая полиномиальная последовательность типа Лагерра может иметь сдвинутую, масштабируемую и / или отражается так, что его интервал ортогональности равен , и Q = Икс. Затем их можно стандартизировать в ассоциированные многочлены Лагерра . Простые многочлены Лагерра являются их подклассом.
- Каждая полиномиальная последовательность, подобная Эрмиту, может иметь его домен сдвинут и / или масштабирован так, чтобы его интервал ортогональности и имелось Q = 1 и L (0) = 0. Затем они могут быть стандартизированы в полиномы Эрмита .
Потому что что все полиномиальные системы, используемые из дифференциального уравнения описанным выше способом тривиально эквивалентны классическим многочленам, всегда используются настоящие классические многочлены.
Многочлен Якоби
Многочлены, подобные Якоби, после того, как их область сдвинута, масштабируется, что интервал ортогональности равенство [-1, 1], все еще имеют два элемента, которые необходимо определить. Они равны и в полиномах Якоби, записанных . У нас есть и . Оба параметра и должны быть больше -1. (Это помещает корень L в интервал ортогональности.)
Когда и не равны, эти многочлены не симметричны относительно x = 0.
Дифференциальное уравнение
- это уравнение Якоби .
Дополнительные сведения см. В разделе Многочлены Якоби.
Многочлены Гегенбауэра
При установке параметров и в полиномах Якоби, равных друг другу, получаем полиномы Гегенбауэра или ультрасферические . Они записываются как и рассматриваются как
Имеем и . Параметр должен быть больше -1/2.
(Между прочим, стандартизация, приведенная в таблице ниже, не использованная в таблице значения α = 0 и n 0, потому что она установила бы многочлены этими нулю. В принятой стандартизации устанавливается вместо значений, в таблице.)
Игнорируя приведенные выше соображения, параметр связан связан с производными :
или, в более общем смысле:
Все другие классические многочлены типа Якоби (Лежандра и т. Д.) Являются частными случаями многочленов Гегенбауэра, получаемые выбор значения и выбор стандартизации.
Подробнее см. Многочлены Гегенбауэра.
Многочлены Лежандра
Дифференциальное уравнение
Это уравнение Лежандра .
Вторая форма дифференциального уравнения:
Повторяющееся отношение равно
Смешанное повторение:
Формула Родригеса:
Для получения дополнительной информации см. Многочлены Лежандра.
Связанные многочлены Лежандра
Связанные полиномы Лежандра многочлены, обозначаемые где и - целые число с , определение как
m в скобках (чтобы не путать с показателем степени). Буква m в скобках обозначает м-ю производную полинома Лежандра.
Эти "многочлены" неправильно названы - они не являются многочленами, когда m нечетно.
У них есть рекуррентное соотношение:
Для фиксированной m последовательности ортогональны над [-1, 1] с весом 1.
Для данного m, - это решения
Многочлены Чебышева
Дифференциальное уравнение
Это уравнение Чебышева.
Рекуррентное соотношение:
Формула Родригеса:
Эти многочлены обладают тем своимством, что в интервале ортогональности
(Чтобы доказать это, использовать формулу повторения.)
Это означает, что все их локальные минимумы и максимумы имеют значения −1 и +1, то есть есть полиномы являются «уровнями». Из-за этого разложения функций в терминах полиномов Чебышева иногда используется для полиномиальных приближений в компьютерных математических библиотеках.
Некоторые используют версии этих многочленов, которые были сдвинуты так, что интервал ортогональности равен [0, 1] или [−2, 2].
Есть также многочлены Чебышева второго рода, обозначенные
Имеем:
Дополнительные сведения, включая выражения для нескольких многочленов, см. в Полиномы Чебышева.
Полиномы Лагерра
Наиболее общие полиномы типа Лагерра после сдвига и масштабирования области - это ассоциированные полиномы Лагерра (также называемые обобщенными полиномами Лагерра), обозначенные . Существует параметр , который может быть любым действительным числом, строго большим, чем -1. Параметр заключен в круглые скобки, чтобы не путать с показателем степени. Простые полиномы Лагерра - это просто их версия:
Дифференциальное уравнение:
Это Уравнение Лагерра .
Вторая форма дифференциального уравнения:
Повторяющееся соотношение:
Формула Родригеса:
Параметр связан с производными от :
или, в более общем смысле:
Уравнение Лагерра можно преобразовать в форму, более удобную для приложений:
является решением
Этим можно управлять и дальше. Когда является целым числом, а :
является решением
Решение часто выражается в терминах производных вместо ассоциированных многочленов Лагерра:
Это уравнение возникает в квантовой механике, в радиальной части решения уравнения Шредингера для одноэлектронного атома.
Физики часто используют определение полиномов Лагерра, которое в раз больше, чем определение, используемое здесь.
Для получения дополнительных сведений, включая выражения для первых нескольких полиномов, см. Многочлены Лагерра.
Многочлены Эрмита
Дифференциальное уравнение:
Это уравнение Эрмита .
Второе форма дифференциального уравнения:
Третья форма:
Рекуррентное соотношение:
Формула Родригеса:
Первые несколько полиномов Эрмита:
Можно определить связанные функции Эрмита
Поскольку множитель пропорционален квадратному корню из весовой функции, эти функции ортогональны по без весовая функция.
Третья форма приведенного выше дифференциального уравнения для связанных функций Эрмита:
Соответствующие функции Эрмита возникают во многих областях математики и физики. В квантовой механике они являются решениями уравнения Шредингера для гармонического осциллятора. Они также являются собственными функциями (с собственным значением (−i) непрерывного преобразования Фурье.
Многие авторы, особенно вероятностные, используют альтернативное определение полиномов Эрмита с весовой функцией вместо . Если для этих многочленов Используется обозначение He, а для указанного выше - H, то есть они могут быть охарактеризованы как
Для постоянной информации см. Многочлены Эрмита.
Характеризация классических ортогональных многочленов
Существует несколько условий, которые выделяют классические ортогональные многочлены среди других.
Первое условие было найдено Сонайном (а позже Ханом). до линейных замен) классические ортогональные многочлены являются единственными, у которых их производные также являются ортогональными многочленами.
Бохнер охарактеризовал классические ортогональные полиномы в терминах их рекуррентных агентов.
Трикоми охарактеризовал классические ортогональные многочлены как те, которые имеют аналог формулы Родригеса.
Таблица классических ортогональных многочленов
Следующая таблица суммирует свойства классических ортогональных многочленов.
Имя и условное обозначение | Чебышев, | Чебышев. (второй вид), | Лежандр, | Эрмит, |
---|
Пределы ортогональности | | | | |
Вес, | | | | |
Стандартизация | | | | Ведущий термин |
Квадрат нормы | | | | |
Начальный член | | | | |
Второй термин, | | | | |
| | | | |
| | | | |
| | | | |
Константа в разн. уравнение, | | | | |
Константа в формуле Родригеса, | | | | |
отношение повторяемости, | | | | |
Отношение повторяемости, | | | | |
Отношение повторения, | | | | |
Имя и условное обозначение | Связанный Laguerre, | Лагерр, |
---|
Пределы ортогональности | | |
Вес, | | |
Стандартизация | Ведущий термин | Ведущий термин |
Квадрат нормы, | | |
Начальный термин, | | |
Второй член, | | |
| | |
| | |
| | |
Константа в разн. уравнение, | | |
Константа в формуле Родригеса, | | |
Отношение повторяемости, | | |
Отношение повторяемости, | | |
Отношение повторяемости, | | |
Имя и условное обозначение | Gegenbauer, | Якоби, |
---|
Пределы ортогональности | | |
Вес, | | |
Стандарт zation | если | |
Квадрат нормы, | | |
Начальный член, | | |
Второй член, | | |
| | |
| | |
| | |
Константа в разн. уравнение, | | |
Константа в формуле Родригеса, | | |
отношения повторяемости, | | |
Отношение повторяемости, | | |
Отношение рекуррентности | | |
См. Также
Примечания
Ссылки
- Абрамовиц, Милтон ; Стегун, Ирен Энн, ред. (1983) [июнь 1964]. «Глава 22». Справочник по математическим функциям с формулами, графики и математическими таблицами. Прикладная математика. 55 (Девятое переиздание с дополнительными исправлениями; десятое оригинальное издание с исправлениями (декабрь 1972 г.); первое изд.). Вашингтон.; Нью-Йорк: Министерство торговли США, Национальное бюро стандартов; Dover Publications. п. 773. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642. LCCN 65-12253.
- Эндрюс, Джордж Э.; Аски, Ричард (1985). «Классические ортогональные многочлены». В Brezinski, C.; Draux, A.; Магнус, Альфонс П.; Марони, Паскаль; Ронво, А. (ред.). Ортогональные полиномы и другие приложения. Материалы симпозиума Лагерра, состоявшегося в Бар-ле-Дюк, 15–18 октября 1984 г. Конспект лекций по математике. 1171 . Берлин, Нью-Йорк: Springer-Verlag. С. 36–62. doi : 10.1007 / BFb0076530. ISBN 978-3-540-16059-5. MR 0838970. CS1 maint: ref = harv (ссылка )
- Чихара, Теодор Сейо (1978. Введение в ортогональные многочлены. Гордон и Брич, Нью-Йорк. ISBN 0-677 -04150-0. CS1 maint: ref = harv (ссылка )
- Foncannon, JJ; Foncannon, JJ; Pekonen, Osmo (2008). «Обзор классических и квантовых ортогональных многочленов от одной доли», Мурад Исмаил ». The Mathematical Intelligencer. Springer New York. 30 : 54–60. doi : 10.1007 / BF02985757. ISSN 0343-6993. CS1 maint: ref = harv (ссылка )
- Ismail, Mourad EH (2005). Классические и квантовые ортогональные многочлены от Кембридж: Cambridge Univ. Press. ISBN 0-521-78201-5. CS1 maint: ref = harv (link )
- Джексон, Данэм (2004) [1941]. Ряды Фурье и ортогональные многочлены. Нью-Йорк: Дувр. ISBN 0-486-43808-2. CS1 maint: ref = harv (lin k )
- Koornwinder, Tom H.; W онг, Родерик С.С.; Коэкоек, Рулоф; Свартту, Рене Ф. (2010), «Ортогональные многочлены», в Олвер, Фрэнк У. Дж. ; Лозье, Даниэль М.; Бойсверт, Рональд Ф.; Кларк, Чарльз У. (ред.), Справочник NIST по математическим функциям, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248
- Суетин, П..К. (2001) [1994], Энциклопедия математики, EMS Press
- Сегё, Габор (1939). Ортогональные многочлены. Публикации коллоквиума. XXIII . Американское математическое общество. ISBN 978-0-8218-1023-1. MR 0372517. CS1 maint: ref = harv (ссылка )