Функциональный анализ

Функциональный анализ — это раздел математики, в котором изучаются бесконечномерные пространства (главным образом, линейные пространства, наделённые топологической структурой) и линейные операторы, действующие в них. Функциональный анализ возник на рубеже XIX—XX веков как обобщение методов линейной алгебры и математического анализа на случай бесконечномерных объектов. Он является теоретической основой для квантовой механики, теории дифференциальных уравнений, теории приближений, численных методов и многих других областей.

История

Предпосылки возникновения

Функциональный анализ сформировался в результате синтеза нескольких направлений математики XIX века. Ключевыми предпосылками стали:

• Вариационное исчисление и задача о поиске экстремумов функционалов (например, задача о брахистохроне, принцип наименьшего действия).
• Теория интегральных уравнений, развитая Вито Вольтеррой, Эриком Иваром Фредгольмом и Давидом Гильбертом. Фредгольм в 1903 году опубликовал работу по интегральным уравнениям, где ввёл понятие резольвенты и определителя Фредгольма, что стало прообразом спектральной теории.
• Теория рядов Фурье и ортогональных разложений, которая привела к изучению пространств функций, суммируемых с квадратом (пространство \(L^2\)).
• Аксиоматизация линейной алгебры и геометрии (Герман Грассман, Артур Кэли).

Становление дисциплины

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

В 1920-х годах Стефан Банах и Хуго Штейнгауз ввели понятие нормированного пространства (банахова пространства). В 1922 году Банах опубликовал монографию «Théorie des opérations linéaires» (Теория линейных операций), где систематически изложил основы теории линейных операторов в полных нормированных пространствах. В 1929 году Джон фон Нейман дал строгое определение гильбертова пространства, которое стало основой математического аппарата квантовой механики.

Развитие в XX веке

В 1930—1950-е годы были сформулированы фундаментальные теоремы: теорема Хана — Банаха (1929), принцип равномерной ограниченности (теорема Банаха — Штейнгауза, 1927), теорема об открытом отображении и теорема о замкнутом графике (1932). Развитие спектральной теории (работы Фридриха Рисса, Марселя Рисса, Джона фон Неймана) привело к созданию теории операторов в гильбертовых пространствах.

Во второй половине XX века функциональный анализ активно развивался в направлении теории обобщённых функций (Лоран Шварц, 1950), топологических векторных пространств (Николя Бурбаки, Александр Гротендик), теории алгебр операторов (C*-алгебры, алгебры фон Неймана). В СССР значительный вклад внесли И. М. Гельфанд (теория нормированных колец, 1941), М. А. Наймарк (теория представлений), Л. В. Канторович (функциональный анализ в прикладной математике, 1930-е).

Основные понятия

Линейные пространства

Центральным объектом функционального анализа является линейное (векторное) пространство над полем действительных или комплексных чисел. В отличие от конечномерной линейной алгебры, в функциональном анализе рассматриваются бесконечномерные пространства. Для введения топологии пространство наделяется дополнительной структурой.

Нормированные пространства

Нормированное пространство — это линейное пространство \(X\), на котором задана норма \(\|\cdot\|: X \to \mathbb{R}\), удовлетворяющая аксиомам:

• \(\|x\| \ge 0\), \(\|x\| = 0 \iff x = 0\);
• \(\|\alpha x\| = |\alpha| \|x\|\) для любого скаляра \(\alpha\);
• \(\|x + y\| \le \|x\| + \|y\|\) (неравенство треугольника).

Норма порождает метрику: \(d(x, y) = \|x - y\|\). Если пространство полно относительно этой метрики, оно называется банаховым пространством. Примеры: пространство непрерывных функций на отрезке \(C[a,b]\) с нормой \(\|f\| = \max_{x\in[a,b]} |f(x)|\); пространство суммируемых функций \(L^p(\Omega)\) с нормой \(\|f\|_p = \left(\int_\Omega |f|^p d\mu\right)^{1/p}\).

Гильбертовы пространства

Гильбертово пространство — это полное нормированное пространство, норма в котором порождена скалярным произведением. Скалярное произведение \(\langle \cdot, \cdot \rangle\) задаёт геометрию: ортогональность, углы, проекции. Примеры: пространство \(\ell^2\) квадратично суммируемых последовательностей, пространство \(L^2(\Omega)\) квадратично интегрируемых функций. Гильбертовы пространства являются естественным языком квантовой механики (пространство состояний — гильбертово пространство).

Линейные операторы и функционалы

Линейный оператор — это отображение \(T: X \to Y\) между линейными пространствами, сохраняющее линейные операции: \(T(\alpha x + \beta y) = \alpha T(x) + \beta T(y)\). Если \(Y = \mathbb{R}\) (или \(\mathbb{C}\)), оператор называется линейным функционалом. Важнейшим свойством является непрерывность (ограниченность) оператора. Множество всех непрерывных линейных функционалов на \(X\) образует сопряжённое пространство \(X^*\).

Фундаментальные теоремы

Теорема Хана — Банаха

Теорема Хана — Банаха (1929) утверждает, что любой непрерывный линейный функционал, заданный на подпространстве нормированного пространства, может быть продолжен на всё пространство с сохранением нормы. Эта теорема лежит в основе теории двойственности и позволяет строить нетривиальные функционалы.

Принцип равномерной ограниченности

Теорема Банаха — Штейнгауза (1927) гласит: если семейство непрерывных линейных операторов \(\{T_\alpha\}\) поточечно ограничено (т.е. для каждого \(x\) \(\sup_\alpha \|T_\alpha x\| < \infty\)), то оно равномерно ограничено по норме: \(\sup_\alpha \|T_\alpha\| < \infty\). Этот принцип используется для доказательства сходимости и устойчивости.

Теорема об открытом отображении

Если \(T: X \to Y\) — непрерывный линейный сюръективный оператор между банаховыми пространствами, то \(T\) отображает открытые множества в открытые. Следствие: если \(T\) биективен, то обратный оператор \(T^{-1}\) также непрерывен.

Теорема о замкнутом графике

Линейный оператор \(T: X \to Y\) между банаховыми пространствами непрерывен тогда и только тогда, когда его график \(\{(x, Tx) : x \in X\}\) замкнут в \(X \times Y\).

Классификация операторов

Компактные операторы

Оператор \(K: X \to Y\) называется компактным, если он переводит ограниченные множества в предкомпактные (т.е. множества, замыкание которых компактно). Компактные операторы обладают спектральными свойствами, близкими к конечномерным: их спектр состоит из собственных значений, сходящихся к нулю. Пример: интегральный оператор Фредгольма \((Kf)(x) = \int_a^b k(x,y) f(y) dy\) с непрерывным ядром.

Самосопряжённые операторы

В гильбертовом пространстве оператор \(A\) называется самосопряжённым, если \(A = A^\), где \(A^\) — сопряжённый оператор. Самосопряжённые операторы имеют вещественный спектр и допускают спектральное разложение. Они являются математическим представлением наблюдаемых величин в квантовой механике.

Неограниченные операторы

В приложениях (например, дифференциальные операторы) часто возникают операторы, не являющиеся ограниченными. Для них разработана теория замкнутых и симметрических операторов, а также теория расширений (фон Нейман, 1930-е).

Применение

Квантовая механика

Функциональный анализ является математическим фундаментом квантовой механики. Состояния системы описываются векторами гильбертова пространства, наблюдаемые — самосопряжёнными операторами, а эволюция — уравнением Шрёдингера, которое является дифференциальным уравнением в гильбертовом пространстве.

Теория дифференциальных уравнений

Методы функционального анализа (теория слабых решений, пространства Соболева, вариационные методы) используются для доказательства существования и единственности решений краевых задач для уравнений в частных производных. Пространства Соболева \(W^{k,p}(\Omega)\) являются банаховыми пространствами функций с обобщёнными производными.

Теория приближений и численные методы

Функциональный анализ лежит в основе теории аппроксимации (наилучшее приближение в нормированных пространствах), спектральных методов (метод Галёркина, метод конечных элементов) и теории вейвлетов.

Экономика и теория игр

В математической экономике функциональный анализ применяется для моделирования бесконечномерных товарных пространств (теория равновесия Эрроу — Дебрё), а также в теории оптимального управления.

Интересные факты

• Термин «функциональный анализ» впервые использовал Жак Адамар в 1912 году, имея в виду анализ функционалов (функций от функций).
• Первая кафедра функционального анализа в мире была создана в 1939 году во Львовском университете (ныне Украина) под руководством Стефана Банаха.
• В 1941 году Израиль Гельфанд опубликовал работу «О нормированных кольцах», заложившую основы теории банаховых алгебр (C*-алгебр), которая позже нашла применение в квантовой теории поля.
• Теорема Банаха — Тарского (1924) о разбиении шара, основанная на аксиоме выбора, является одним из самых парадоксальных результатов функционального анализа.

Источники

• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — 7-е изд. — М.: Физматлит, 2004.
• Люстерник Л. А., Соболев В. И. Элементы функционального анализа. — М.: Наука, 1965.
• Банах С. Теория линейных операций. — Ижевск: НИЦ «Регулярная и хаотическая динамика», 2001.
• Рид М., Саймон Б. Методы современной математической физики. Том 1: Функциональный анализ. — М.: Мир, 1977.
• Иосида К. Функциональный анализ. — М.: Мир, 1967.