Гильберт увидел две вещи: 1)

построив функцию Грина K для заданной области G и уравнения потенциала ?u = 0 с помощью уравнения Фредгольма на границе области, мы преобразуем дифференциальное уравнение колебания мембраны ?? + ?? = 0 в однородное интегральное уравнение

1

?(s) – ?

?

K(s, t) ?(t) dt = 0.

0

с симметрическим ядром K, K(t, s) = K(s, t) (при этом параметр ? перестаёт быть искусственным, а отвечает существу дела);

2)

проблема нахождения «собственных значений» ? и «собственных функций» ?(s) этого интегрального уравнения представляет собой интегральный аналог задачи приведения квадратичной формы от n переменных к главным осям. Тем самым, соответствующая теорема для интегральной квадратичной формы

1

1

?

?

K(s, t) x(s) x(t) ds dt

0

0

(12)

с произвольным симметричным ядром K должна лечь в основу общей теории колебаний непрерывной среды.

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

1

1

?n(s) – ?n

?

K(s, t) ?n(t) dt = 0,

?

?m(s) ?n(s) ds = ?mn,

0

0

таких, что 1

1

?

?

K(s, t) x(s) x(t) ds dt =

?

?n2

?n

,

0

0

где

1

?n =

?

x(s) ?n(s) ds — коэффициент Фурье.

0

Из этой теории следует, что каждая функция вида

1

y(s) =

?

K(s, t) x(t) dt

0

может быть разложена в равномерно сходящийся ряд Фурье по собственным функциям ?n:

1

y(s) =

?

?n?n(s), ?n =

?

y(s) ?n(s) ds.

n

0

Предельный переход, который применил Гильберт, довольно сложный. Вскоре после этого Э. Шмидт в своей гёттингенской диссертации нашёл более простое и конструктивное доказательство этих результатов. При этом он применил один метод Г. А. Шварца, изобретённый тем двадцать лет назад для нужд интегральных уравнений.

От конечных форм дорога ведёт либо к интегралам, либо к бесконечным рядам. Поэтому Гильберт рассмотрел аналогичную проблему ортогональных преобразований заданной квадратичной формы

?

Kmn xm xn

m, n

(13)

в форму специального вида

c1?12 + c2?22 + ... (cn = 1/?n 0)

(14)

от бесконечного числа (действительных) переменных (x1, x2, ...) или векторов x счётномерного пространства. При этом рассматриваются только векторы с конечной длиной |x|,

|x|2 = x12 + x22 + ...;

они образуют то, что мы сейчас называем гильбертовым пространством. Преимущество этого гильбертова пространства перед «пространством» всех непрерывных функций x(s) основано на некотором свойстве полноты. Благодаря этому свойству можно сформулировать необходимое и достаточное условие для приведения формы (13) к виду (14) в терминах некоторой «вполне непрерывности», позволяющей провести хорошо известное в алгебраическом случае рассуждение: числа c1, c2, ... определяются как последовательные максимумы функции K на «сфере» |x|2 = 1.

Как подсказывает теорема об интегральной квадратичной форме, связь между пространством функций x(s) и гильбертовым пространством векторов (x1, x2, ...) осуществляется произвольной полной ортонормированной системой u1(s), u2(s), ... и выражается уравнением

1

xn =

?

x(s) un(s) ds.

0

Перейти на страницу:

Похожие книги