Гильберт увидел две вещи: 1) | построив функцию Грина
с симметрическим ядром | |||||||||||
2) | проблема нахождения «собственных значений» ? и «собственных функций» ?(
с |
Если другие и понимали это, то Гильберт, по крайней мере, осознал это настолько чётко, что направил всю свою энергию на доказательство этого предложения. И это ему удалось сделать с помощью такого же прямого метода, который около 1730 года применил Бернулли к задаче о колебании струны: переход к пределу, исходя из алгебраической задачи. При этом ему пришлось использовать определитель Коха—Фредгольма. Он находит последовательность собственных значений ?1, ?2, ..., стремящихся к бесконечности, ?
1 | 1 | |||
? | ? | ? | ? | |
0 | 0 |
таких, что 1 | 1 | ||||
? | ? | ? | ? ? | , | |
0 | 0 | ||||
где | 1 | |
? | ? | |
0 |
Из этой теории следует, что каждая функция вида
1 | ||
? | ||
0 |
может быть разложена в равномерно сходящийся ряд Фурье по собственным функциям ?
1 | ||||
| ? | ? | ? | |
0 | ||||
Предельный переход, который применил Гильберт, довольно сложный. Вскоре после этого Э. Шмидт в своей гёттингенской диссертации нашёл более простое и конструктивное доказательство этих результатов. При этом он применил один метод Г. А. Шварца, изобретённый тем двадцать лет назад для нужд интегральных уравнений.
От конечных форм дорога ведёт либо к интегралам, либо к бесконечным рядам. Поэтому Гильберт рассмотрел аналогичную проблему ортогональных преобразований заданной квадратичной формы
| (13) |
в форму специального вида
(14) |
от бесконечного числа (действительных) переменных (
|
они образуют то, что мы сейчас называем гильбертовым пространством. Преимущество этого гильбертова пространства перед «пространством» всех непрерывных функций
Как подсказывает теорема об интегральной квадратичной форме, связь между пространством функций
1 | ||
| ? | |
0 |