169. Примеры.
1. В промежутке положим
Условие (59) для полиномов запишется в виде
Нетрудно проверить, что этим условиям удовлетворяют полиномы
Пользуясь формулой Moaвpa, легко показать, что написанная дробь есть действительно полином степени от Условия (79) проверяются непосредственной подстановкой, если ввести вместо X новую переменную, полагая Числа входящие в матрицу (64), определятся по формулам
Введя переменную и вычисляя полученные интегралы, будем иметь, при любом т. е. элементы соответствующей матрицы определяются формулами и остальные . Эта матрица имеет простой чисто непрерывный спектр. Единственное дифференциальное решение системы, согласно (50), определяется формулами
откуда Отбрасывая множитель видим, что система (34)
имеет решение где .
2. Рассмотрим на промежутке замкнутую ортогональную и нормированную систему Формулы (51) при
дадут нам следующие элементы для соответствующей матрицы: значки идут от до Согласно (50):
и формулы (78) приводят к равенствам
причем штрих у знака суммы показывает, что надо исключить значение Предыдущая формула может быть переписана в виде
или в виде
причем исключается значение Последняя формула представляет собой обычное разложение X в ряд Фурье, причем написанный ряд расходится на концах промежутка, т. е. при . Последнее происходит в силу того, что разложение написано в комплексной форме. Применим теперь формулу (56), полагая при при . Мы получим матрицу
или
Принимая во внимание, что в промежутке мы имеем следующую оценку для квадратичной формы [155]:
В этой оценке множитель слева может быть, очевидно, отброшен. Если положим при и остальные вещественными, получаем следующую оценку, данную Гильбертом:
Нетрудно показать, что матрице с элементами при уже не соответствует ограниченный оператор. Действительно, если мы положим при при то норма элемента будет равна единице, а соответствующая квадратичная форма будет
и последнее выражение беспредельно возрастает при возрастании , так как сумма беспредельно растет, а дробь стремится к единице. Мы не имеем в случае (80) абсолютной сходимости бесконечного двойного ряда, но можем утверждать, что для любых двух элементов из имеется предел
причем во внутреннем суммировании но исключается значение а слева те слагаемые, у которых
Рассмотрим теперь вместо системы вещественную замкнутую ортогональную нормированную систему
Применяя формулу (56), придем к матрице
или
Полагая, как и раньше, при мы получим следующую матрицу:
Аналогично неравенству (81), мы приходим к неравенству
где штрих показывает, что надо исключить слагаемые, для которых Неравенству (81) будет соответствовать неравенство
Все числа мы можем считать положительными, и написанный двойной ряд будет абсолютно сходящимся для любого элемента L, так что можем написать: