Теорема Лакса-Мильграма: существование слабого решения

Теорема Лакса-Мильграма - один из главных инструментов функционального анализа, который объясняет, почему у краевой задачи для уравнения в частных производных вообще есть решение и почему оно единственно. Она не строит решение явно, а гарантирует его существование при двух проверяемых условиях на билинейную форму. Именно эта теорема лежит в фундаменте метода конечных элементов и всей теории слабых решений. Разберём её формулировку, два ключевых условия, доказательную идею и типичные ошибки при применении. Если нужно проверить конкретную задачу, соберите запрос ниже.

Зачем нужна теорема Лакса-Мильграма

Классическое решение уравнения вроде $-\Delta u = f$ требует, чтобы функция $u$ была дважды дифференцируемой. Но правая часть $f$ часто негладкая, а область - с углами, и гладкого решения попросту нет. Тогда переходят к слабой (вариационной) постановке: умножают уравнение на пробную функцию, интегрируют по частям и получают тождество вида

$$a(u, v) = \ell(v) \quad \text{для всех } v \in H,$$

где $a(\cdot,\cdot)$ - билинейная форма, $\ell$ - линейный функционал, а $H$ - гильбертово пространство (обычно соболевское $H^1_0$). Вопрос «существует ли $u$, удовлетворяющее этому тождеству» и решает теорема Лакса-Мильграма. Она сводит анализ дифференциального уравнения к проверке двух неравенств для формы $a$.

Рассчитать для своей задачи

Формулировка теоремы

Пусть $H$ - действительное гильбертово пространство со скалярным произведением $(\cdot,\cdot)$ и нормой $\|\cdot\|$. Пусть $a: H \times H \to \mathbb{R}$ - билинейная форма, а $\ell: H \to \mathbb{R}$ - ограниченный линейный функционал. Если выполнены два условия:

1. Ограниченность (непрерывность): существует $M > 0$ такое, что

$$|a(u, v)| \le M\,\|u\|\,\|v\| \quad \text{для всех } u, v \in H;$$

1. Коэрцитивность (эллиптичность): существует $\alpha > 0$ такое, что

$$a(u, u) \ge \alpha\,\|u\|^2 \quad \text{для всех } u \in H,$$

то существует единственный элемент $u \in H$, для которого $a(u, v) = \ell(v)$ при всех $v \in H$. Более того, выполнена оценка устойчивости

$$\|u\| \le \frac{1}{\alpha}\,\|\ell\|_{H^*}.$$

Если форма $a$ ещё и симметрична, то теорема становится частным случаем теоремы Рисса о представлении и сводится к минимизации энергетического функционала $J(v) = \tfrac12 a(v,v) - \ell(v)$.

Условие ограниченности

Ограниченность означает, что билинейная форма непрерывна: малое изменение аргументов даёт малое изменение значения. Константу $M$ обычно находят прямой оценкой через неравенство Коши-Буняковского. Для модельной задачи Дирихле

$$a(u, v) = \int_\Omega \nabla u \cdot \nabla v \, dx$$

ограниченность сразу следует из $|a(u,v)| \le \|\nabla u\|_{L^2}\,\|\nabla v\|_{L^2} \le \|u\|_{H^1_0}\,\|v\|_{H^1_0}$, то есть $M = 1$. Это условие почти всегда выполняется автоматически, если коэффициенты уравнения ограничены. Сложности начинаются на втором условии.

Условие коэрцитивности

Коэрцитивность - содержательное условие. Оно требует, чтобы форма «не вырождалась»: энергия $a(u,u)$ снизу контролировала квадрат нормы. Геометрически это значит, что форма ведёт себя как положительно определённая, не давая ненулевым элементам обращать энергию в ноль.

Для задачи Дирихле коэрцитивность не вытекает напрямую из $a(u,u) = \|\nabla u\|^2_{L^2}$, потому что в норме $H^1_0$ участвует ещё и $\|u\|_{L^2}$. Спасает неравенство Пуанкаре: на ограниченной области $\|u\|_{L^2} \le C_P \|\nabla u\|_{L^2}$, откуда $a(u,u) \ge \alpha \|u\|^2_{H^1_0}$ с $\alpha = 1/(1 + C_P^2)$. Именно неравенство Пуанкаре «закрывает» коэрцитивность для эллиптических задач - это ключевой технический шаг.

Рассчитать для своей задачи

Идея доказательства

Доказательство опирается на теорему Рисса и теорему Банаха о неподвижной точке. Схема такая:

1. По теореме Рисса для каждого фиксированного $u$ отображение $v \mapsto a(u,v)$ задаёт элемент $Au \in H$, так что $a(u,v) = (Au, v)$. Оператор $A$ линеен и ограничен ($\|A\| \le M$).
2. Функционал $\ell$ по теореме Рисса представим как $\ell(v) = (f, v)$ для некоторого $f \in H$. Уравнение превращается в операторное: $Au = f$.
3. Коэрцитивность даёт $(Au, u) \ge \alpha \|u\|^2$, откуда $A$ обратим. Это показывают через сжимающее отображение $T u = u - \rho(Au - f)$ при малом $\rho > 0$: коэрцитивность и ограниченность делают $T$ сжатием, у которого по принципу Банаха ровно одна неподвижная точка - она и есть решение $u$.

Единственность следует из коэрцитивности напрямую: если $a(u_1,v) = a(u_2,v)$ для всех $v$, то $a(u_1 - u_2, u_1 - u_2) = 0$, значит $\alpha\|u_1 - u_2\|^2 \le 0$, то есть $u_1 = u_2$.

Оценка устойчивости

Из коэрцитивности и определения решения получают важную оценку. Подставив $v = u$ в тождество $a(u,v) = \ell(v)$, имеем

$$\alpha \|u\|^2 \le a(u, u) = \ell(u) \le \|\ell\|_{H^*}\,\|u\|,$$

откуда $\|u\| \le \alpha^{-1}\|\ell\|_{H^*}$. Эта оценка означает корректность задачи по Адамару: малое изменение данных $\ell$ даёт пропорционально малое изменение решения. Без коэрцитивности константа $\alpha$ обращается в ноль, и устойчивость теряется - задача становится плохо обусловленной.

Связь с методом конечных элементов

Главное прикладное следствие - обоснование метода конечных элементов. Дискретизация заменяет бесконечномерное $H$ на конечномерное подпространство $H_h \subset H$ (кусочно-полиномиальные функции на сетке). Поскольку условия ограниченности и коэрцитивности наследуются на любое подпространство, теорема Лакса-Мильграма гарантирует существование и единственность дискретного решения $u_h$ при тех же $M$ и $\alpha$.

Более того, из неё выводится лемма Сеа: погрешность аппроксимации оценивается через расстояние до подпространства,

$$\|u - u_h\| \le \frac{M}{\alpha}\,\inf_{v_h \in H_h}\|u - v_h\|.$$

Отношение $M/\alpha$ - это, по сути, число обусловленности задачи: чем оно ближе к единице, тем точнее метод. Подробнее о вариационных постановках смотрите в разборе пространства Соболева и слабых производных.

Рассчитать для своей задачи

Обобщения

Теорема Лакса-Мильграма не требует симметрии формы - этим она сильнее теоремы Рисса и покрывает несимметричные задачи (например, с конвективным слагаемым $b \cdot \nabla u$). Дальнейшие обобщения:

• Теорема Бабушки-Лакса-Мильграма заменяет коэрцитивность на условие inf-sup (условие Ладыженской-Бабушки-Брецци) и работает, когда пробные и тестовые пространства различны. Это база анализа задач Стокса и смешанных формулировок.
• Комплексный случай: для комплексного гильбертова пространства условия записывают через $\operatorname{Re} a(u,u) \ge \alpha\|u\|^2$.
• Нелинейный аналог - теорема Браудера-Минти для монотонных операторов, обобщающая коэрцитивность на нелинейные уравнения.

Частые ошибки

• Проверяют коэрцитивность не в той норме. Если $a(u,u) \ge \alpha\|\nabla u\|^2$, но решение ищут в $H^1$ с полной нормой - без неравенства Пуанкаре вывод неверен. Норма коэрцитивности обязана совпадать с нормой пространства.
• Забывают про ограниченность функционала $\ell$. Теорема требует $\ell \in H^*$. Если правая часть $f$ слишком сингулярна и $\ell$ неограничен, оценка устойчивости теряет смысл.
• Путают коэрцитивность с положительной определённостью. Положительная определённость $a(u,u) > 0$ при $u \ne 0$ слабее: она не даёт равномерной оценки $\ge \alpha\|u\|^2$ и не гарантирует существования.
• Применяют к неограниченной области без проверки Пуанкаре. На всём $\mathbb{R}^n$ неравенство Пуанкаре в исходном виде не работает, и коэрцитивность для $H^1_0$ может нарушаться.
• Считают, что симметрия обязательна. Нет: именно несимметричный случай - главное достоинство теоремы по сравнению с вариационным подходом через минимум энергии.

FAQ

Чем теорема Лакса-Мильграма отличается от теоремы Рисса? Теорема Рисса представляет ограниченный функционал через скалярное произведение и требует симметричной формы (по сути само скалярное произведение). Лакса-Мильграма работает с произвольной билинейной формой, в том числе несимметричной, добавляя условие коэрцитивности. При симметричной форме она сводится к Риссу.

Что будет, если коэрцитивность нарушена? Тогда теорема неприменима и решение может не существовать или быть неединственным. Простейший пример - оператор с нулевым собственным значением: однородное уравнение имеет нетривиальное решение, и единственность теряется. В таких случаях используют альтернативу Фредгольма или inf-sup условие Бабушки.

Как связаны константы $M$ и $\alpha$ с точностью вычислений? Отношение $M/\alpha$ входит множителем в оценку погрешности метода конечных элементов (лемма Сеа) и характеризует обусловленность системы. Чем больше $M/\alpha$, тем хуже обусловлена матрица жёсткости и тем медленнее сходятся итерационные решатели.

Коротко

Теорема Лакса-Мильграма гарантирует существование и единственность слабого решения задачи $a(u,v) = \ell(v)$ в гильбертовом пространстве при двух условиях: ограниченности формы ($|a(u,v)| \le M\|u\|\|v\|$) и коэрцитивности ($a(u,u) \ge \alpha\|u\|^2$). Она не строит решение явно, но даёт оценку устойчивости $\|u\| \le \alpha^{-1}\|\ell\|$ и обосновывает метод конечных элементов через лемму Сеа. Коэрцитивность - главное содержательное условие, для эллиптических задач оно закрывается неравенством Пуанкаре. Симметрия формы не требуется, что отличает теорему от подхода через минимум энергии.