🌐 Матфизика

Корректность задачи

англ. Well-posedness of a problem

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

Корректность задачи — тройное требование: решение существует, единственно и непрерывно зависит от данных. Формальная сторона — корректность по Адамару; практическая — вопрос «можно ли задаче верить в расчёте», рамка — в уроке источники погрешностей. Существование и единственность обычно обеспечены теоремами; вся драма — в устойчивости.

u (x, t) = e^{- n^{2} t} sin (n x) \Rightarrow u (x, - t) = e^{n^{2} t} sin (n x)

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

Тест на устойчивость даёт тепло, обращённое назад. Вперёд мода $sin (n x)$ на $[0, π]$ затухает: за $t = 0, 1$ третья сжимается до $e^{- 0, 9} \approx 0, 41$ , десятая — до $e^{- 10} \approx 4, 5 \cdot 1 0^{- 5}$ . Назад множитель переворачивается: $e^{0, 9} \approx 2, 46$ и $e^{10} \approx 22026$ — шум данных растёт в тысячи раз. Численная сторона чувствительности — в терминах число обусловленности.

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

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

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

Как корректность связана с обусловленностью?

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