🌐 Матфизика

Корректность по Адамару

англ. Hadamard well-posedness

Задача поставлена корректно, если решение существует, единственно и непрерывно зависит от данных. Провал любого пункта — сигнал: численный счёт развалится.

Навигатор ведёт вас в единственный существующий город, и мелкий сбой GPS не отправляет в соседнюю страну — маршрут устойчив. Три требования Адамара к задаче: решение существует, единственно и непрерывно зависит от данных. Задача Дирихле для уравнения Лапласа корректна, а вот обратное по времени уравнение теплопроводности — нет: пытаясь разогнать остывший стержень назад, вы усиливаете любой шум катастрофически. Пункт про устойчивость — не педантичность: погрешности данных всегда есть.

Классический обратный пример — задача Коши для уравнения Лапласа: данные $sin n x / n$ безгранично малы при росте $n$ , а соответствующие решения $sin n x \cdot sh n y / n^{2}$ не стремятся к нулю ни при каком $y > 0$ . Численный смысл: погрешности входа усиливаются экспоненциально, и никакая сетка не спасёт. Некорректность лечится переформулировкой или регуляризацией. Сравнение постановок — в материале задача Коши для УЧП, как погрешности живут в расчётах — в уроке источники погрешностей, про чувствительность чисел — в число обусловленности.

u_{n} (x, 0) = \frac{sin n x}{n} \to 0, u_{n} (x, y) = \frac{sin n x \cdot sh n y}{n ^{2}} \neq \to 0 (y > 0)

обратный пример Адамара: начальные данные стремятся к нулю, а решения не стремятся ни при каком положительном

y

; непрерывной зависимости от данных нет — задача Коши для уравнения Лапласа некорректна

Частые вопросы

Почему устойчивость — обязательный пункт, если решение уже существует и единственно?

Потому что данные приходят из измерений и всегда с погрешностью. Неустойчивая задача на бумаге имеет решение, но численный ответ не имеет отношения к реальности: миллионный шум входа вырастает до размера самого решения. Пример — обратное уравнение теплопроводности: разворачивать диффузию назад значит усиливать высокие частоты, которые диффузия стёрла. Устойчивость — мост между существованием на бумаге и вычислимостью на машине.

Что делать с некорректной задачей?

Менять постановку. Варианты: добавить данные — измерить не только поток, но и значения в дополнительных точках; ограничить класс решений — искать компактное и гладкое; применить регуляризацию Тихонова — пожертвовать точностью ради устойчивости, согласовав параметр с уровнем шума. Иногда задача корректна в другой норме — тогда и устойчивость меряют по-другому. Главное — осознавать, что без этих мер счёт бессмыслен.