M. Fréchet

 В СВЯЗИ С ЧЕМ И КАК МОРИС ФРЕШЕ ДОКАЗАЛ СВОЮ ТЕОРЕМУ (1909 Г.)

Этот результат действительно редко обсуждается в стандартных университетских курсах, хотя он представляет собой один из самых красивых мостов между комбинаторикой, функциональным анализом и теорией дифференциальных уравнений.


1. В связи с чем возникла задача: рождение функционального анализа

В 1906 году Морис Фреше защитил свою знаменитую докторскую диссертацию, в которой впервые ввел понятие метрического пространства и заложил основы абстрактного функционального анализа.

Следующим его шагом стала попытка построить функциональное исчисление (calcul fonctionnel) — аналог классического математического анализа для отображений, заданных на бесконечномерных пространствах (на пространствах кривых, поверхностей или функций).

И здесь Фреше столкнулся с фундаментальным философским и математическим вопросом:
А что такое многочлен в абстрактном пространстве?

В школьной алгебре многочлен определяется через операцию умножения и степени:
\[
P(x) = a_0 + a_1 x + a_2 x^2 + \dots + a_n x^n.
\]
Но в произвольном линейном или метрическом пространстве у нас может не быть операции умножения элементов между собой! Элементы можно складывать, умножать на числа, сдвигать, но возводить в степень нельзя.

Фреше понял: чтобы перенести понятия ряда Тейлора, формулы Тейлора и приближения полиномами (теорему Вейерштрасса) в абстрактные пространства, необходимо дать чисто функциональное определение многочлена, которое не использует умножение переменных.

Этому была посвящена его классическая статья 1909 года в Nouvelles Annales de Mathématiques:
M. Fréchet, «Une définition fonctionnelle des polynômes» (1909 г., т. 9, с. 145–162).

Второй мощный контекст был связан с функциональными уравнениями. Еще Огюстен Луи Коши (1821 г.) доказал, что единственными непрерывными решениями уравнения:
\[
f(x + y) = f(x) + f(y)
\]
являются линейные функции \(f(x) = ax\).

А прямо перед работой Фреше, в 1905 году, Георг Гамель с помощью аксиомы выбора и построенного им базиса (базиса Гамеля) потряс математический мир, показав, что существуют разрывные, всюду плотные и неизмеримые решения уравнения Коши.

Возник глубокий интерес: какие минимальные требования (непрерывность, ограниченность, измеримость) заставляют дискретно-аддитивные уравнения порождать гладкие решения, и как обобщить уравнение Коши на высшие степени?


2. Формулировка уравнения Фреше

Фреше обратился к оператору конечной разности:
\[
\Delta_h f(x) = f(x + h) - f(x),
\]
и его кратным итерациям \(\Delta_h^n f(x)\).

Уравнение Коши на языке разностей второго порядка означает просто:
\[
\Delta_h^2 f(x) = f(x + 2h) - 2f(x + h) + f(x) = 0.
\]
Его регулярными решениями являются многочлены первой степени \(ax + b\).

Фреше рассмотрел общее функциональное уравнение \(n\)-го порядка:
\[
\Delta_h^n f(x) = 0 \quad \text{для всех } x \text{ и } h,
\]
и поставил задачу: доказать, что если решение обладает минимальной регулярностью, оно обязано быть классическим алгебраическим многочленом степени \(\le n-1\).


3. Как это доказывается: магия «бутстрапа» через интеграл

Первоначально Фреше провел доказательство для непрерывных функций методом математической индукции по порядку \(n\), сводя задачу к полилинейным аддитивным отображениям с независимыми шагами \(\Delta_{h_1} \dots \Delta_{h_n} f(x) = 0\).

Однако самое поразительное свойство уравнения Фреше раскрывается тогда, когда мы требуем от функции всего лишь измеримости по Лебегу (или даже локальной интегрируемости). Переход от измеримости к бесконечной гладкости происходит через механизм, который в современных дифференциальных уравнениях называют «регуляризацией» или бутстрапом (самораскруткой).

Доказательство раскручивается в четыре прозрачных шага:

Шаг 1. Переписывание уравнения
Распишем разность \(\Delta_h^n f(x) = 0\) по биномиальной формуле и выразим значение в точке \(x\):
\[
\sum_{j=0}^n (-1)^{n-j} \binom{n}{j} f(x + jh) = 0.
\]
Выделив слагаемое при \(j=0\), получаем точное тождество:
\[
f(x) = \sum_{j=1}^n (-1)^{j-1} \binom{n}{j} f(x + jh).
\]
Это равенство верно для любого фиксированного \(x\) и произвольного сдвига \(h\).

Шаг 2. Интегрирование по параметру сдвига
Поскольку равенство выполняется тождественно по \(h\), проинтегрируем обе части по \(h\) на малом отрезке от \(0\) до \(\epsilon > 0\):
\[
\int_0^\epsilon f(x) \, dh = \sum_{j=1}^n (-1)^{j-1} \binom{n}{j} \int_0^\epsilon f(x + jh) \, dh.
\]
В левой части \(f(x)\) не зависит от \(h\), поэтому интеграл равен просто \(\epsilon f(x)\).

В правой части в каждом интеграле сделаем замену переменной \(u = x + jh\), тогда \(dh = \frac{du}{j}\):
\[
\epsilon f(x) = \sum_{j=1}^n \frac{(-1)^{j-1}}{j} \binom{n}{j} \int_x^{x + j\epsilon} f(u) \, du.
\]
Разделив на \(\epsilon\), получаем ключевое интегральное представление:
\[
f(x) = \frac{1}{\epsilon} \sum_{j=1}^n \frac{(-1)^{j-1}}{j} \binom{n}{j} \int_x^{x + j\epsilon} f(u) \, du.
\]

Шаг 3. Запуск аналитического «лифта»
Посмотрим внимательно на полученную формулу:

• На входе: функция \(f\) была лишь измеримой и локально интегрируемой.

• Первое повышение гладкости: интеграл от любой интегрируемой функции \(\int_x^{x + j\epsilon} f(u) \, du\) по теореме Лебега является непрерывной функцией от пределов интегрирования! Но ведь правая часть непрерывна по \(x\), значит, и левая часть — сама функция \(f(x)\) — обязана быть непрерывной функцией!

• Второе повышение гладкости: раз теперь мы знаем, что \(f\) непрерывна, то по фундаментальной теореме анализа интеграл \(\int_x^{x + j\epsilon} f(u) \, du\) является дифференцируемой функцией, то есть принадлежит классу \(C^1\). Следовательно, и \(f(x) \in C^1\)!

• Шаг в бесконечность: повторяя это рассуждение \(n\) раз, мы получаем, что подынтегральная функция становится все более и более гладкой. Функция \(f\) мгновенно оказывается бесконечно дифференцируемой:
\[
f \in C^\infty(\mathbb{R}).
\]
Из одного только факта измеримости и комбинаторики сдвигов рождается абсолютная гладкость.

Шаг 4. Финал через производные
Как только установлено, что \(f \in C^\infty\), мы получаем законное право перейти к пределу при \(h \to 0\):
\[
\lim_{h \to 0} \frac{\Delta_h^n f(x)}{h^n} = f^{(n)}(x).
\]
Но так как \(\Delta_h^n f(x) = 0\) для всех \(h\), этот предел тождественно равен нулю:
\[
f^{(n)}(x) = 0 \quad \text{для всех } x.
\]
А классическая теорема математического анализа утверждает, что единственными функциями, чья \(n\)-я производная всюду равна нулю, являются обычные алгебраические полиномы степени не выше \(n-1\):
\[
f(x) = c_0 + c_1 x + \dots + c_{n-1} x^{n-1}.
\]


4. Значение открытия Фреше

Этот результат Фреше 1909 года имел далеко идущие последствия:

• Было доказано, что понятие многочлена — это не свойство умножения чисел, а глубинное свойство линейных сдвигов. Многочлены можно определять на группах, в банаховых пространствах и модулях — всюду, где есть понятие шага \(h\). Позже это развилось в теорию полиномов на абелевых группах (работы Д. Жоковича, Л. Секелихиди и др.).

• Идея сглаживания интегрированием по сдвигу легла в основу теории обобщенных функций Соболева и Шварца (свертки со сглаживающими ядрами).

• Французский аналитик Поль Монтель (1928, 1935 гг.) и румынский математик Тибериу Поповичу развили идеи Фреше для выпуклых функций высших порядков, доказав, что даже односторонние разностные неравенства (\(\Delta_h^n f \ge 0\)) влекут за собой высокую непрерывность и существование производных почти всюду.

Таким образом, доказательство Фреше продемонстрировало фундаментальный закон природы: дискретное условие \(\Delta_h^n f = 0\), связывающее значения функции в изолированных точках, благодаря интегрированию превращается в интегральное уравнение типа Вольтерра, которое само себя «вытягивает» за волосы в класс бесконечно дифференцируемых функций.