1. Ортогональные системы многочленов.
Метод ортогонализации, изложенный в § 2, позволяет построить ортогональную в
систему многочленов
в точности многочлен
степени) последовательно возрастающих степеней, т. е. многочленов, для которых имеют место соотношения
Покажем, что с точностью до постоянных множителей эта система единственна. В самом деле, пусть
-две ортогональные в
системы многочленов последовательно возрастающих степеней. Докажем, что
Сначала покажем, что многочлены различных степеней и разных систем ортогональны, т. е.
Не ограничивая общности, можно считать, что
Многочлен
можно единственным образом представить в виде
Отсюда, учитывая (13),
так как Докажем, что в представлении
через многочлены
все коэффициенты а при
равны нулю. Для этого рассмотрим интеграл
где
С одной стороны, по доказанному, этот интеграл равен нулю, а с другой стороны,
Так как интеграл в правой части отличен от нуля, то
Итак,
при всех
т. е.
и требовалось доказать.
Если ввести еще какие-либо дополнительные условия на ортогональные многочлены, например потребовав, чтобы коэффициент при старшей степени всегда равнялся единице или чтобы коэффициент при старшей степени был положителен, а норма многочлена равнялась единице, то система ортогональных многочленов на данном отрезке
при заданном весе
будет единственна в полном смысле этого слова.
Вполне естественно, что с изменением веса
а также отрезка
мы будем получать разные системы ортогональных многочленов.
Когда ортогональная система многочленов
будет построена, то многочлен наилучшего приближения
запишется в виде
где коэффициенты (на основании общей теории) запишутся в виде
Величина наилучшего приближения определится по формуле