Одно из доказательств теоремы основано на использовании модифицированного варианта
процесса Ньютона
нахождения решения уравнения.
Другие подходы, в частности подходы Нэша и Гамильтона, следуют решению
обыкновенного дифференциального уравнения
в функциональном пространстве.
Идея доказательства
Этот раздел предназначен только для описания идеи и поэтому намеренно неточен.
Предположим, что
—
дифференциальный оператор
первого порядка определённый на гладких функциях между
векторными пространствами
, так что он определяет отображение
для каждого
.
Предположим, что при некоторой функции
линеаризация
имеет правый обратный оператор
для любой функции
, достаточно близкой к
.
Заметим, что композиция
и
теряет одну производную
то есть отображает
в
.
Из этого можно увидеть, что попытки использовать
метод Ньютона
для нахождения решения
терпят провал.
То есть если
— последовательность функций определяемая итеративно
то из
следует, что
, и тогда
.
По тем же соображениям,
,
, и так далее.
Через конечное число шагов итерация должна закончиться, так как она потеряет всякую регулярность, и следующий шаг даже не будет определен.
Для решения этой задачи, Нэш использует сглаживающий оператор
который для данной функции
, возвращает гладкую функцию
близкую к исходной, если
велико.
Затем определяется «сглаженная» итерация Ньютона
Этот модифицированный процесс не сталкивается с той же трудностью, что и предыдущая «несглаженная» версия, поскольку это итерация в пространстве
гладких функций
, которая никогда не теряет регулярности.
При правильно выбранных сглаживающих операторах, эта последовательность действительно сходится к решению
; то есть
.
Литература
М. Л. Громов
.
(рус.)
// Матем. сб.. — 1972. —
Т. 88(130)
,
№ 3(7)
. —
С. 382–441
.
Громов М.
Дифференциальные соотношения с частными производными. —
М.
: Мир, 1990. — 536 с. —
ISBN 5-03-001297-4
, 3-540-12177-3.
Дж. Нэш
.
//
УМН
. — 1971. —
Т. 26
,
№ 4(160)
. —
С. 173—216
.
Sergeraert, Francis (1972), "Un théorème de fonctions implicites sur certains espaces de Fréchet et quelques applications",
Ann. Sci. École Norm. Sup. (4)
,
5
: 599–660,
MR
, "Generalized implicit function theorems with applications to some small divisor problems. I",
Comm. Pure Appl. Math.
,
28
: 91–140,
MR
, "Generalized implicit function theorems with applications to some small divisor problems. II",
Comm. Pure Appl. Math.
,
29
(1): 49–111,
MR