Корректно поставленная задача
Математический термин верно поставленная задача происходит от определения, данного Жаком Адамаром. Он полагал, что математические модели физических явлений должны иметь следующие свойства:
- Решение существует
- Решение единственно
- Решение непрерывно зависит от данных в некоторой разумной топологии.
Примерами типичных корректно поставленных задач являются задача Дирихле для уравнения Лапласа и уравнение диффузии с заданными начальными условиями. Они могут рассматриваться как «естественные» задачи — в том смысле, что существуют физические процессы, описываемые решениями данных задач. С другой стороны, обратная задача для уравнения диффузии — нахождение предыдущего распределения температуры по конечным данным — не является корректно поставленной, потому как её решение очень чувствительно к изменениям конечных данных.
Задачи, не являющиеся корректно поставленными по Адамару, называются некорректно поставленными. Некорректно поставленными весьма часто оказываются обратные задачи. Подобные непрерывные задачи часто приходится дискретизировать, чтобы получить численное решение. Несмотря на то, что с точки зрения функционального анализа такие задачи обычно являются непрерывными, они могут быть подвержены неустойчивости численного решения при вычислениях с конечной точностью или при ошибках в данных.
Даже если задача является корректно поставленной, она всё ещё может быть плохо обусловленной, т. е. небольшая ошибка в начальных данных способна привести к много бо́льшим ошибкам в решениях. Плохо обусловленные задачи отличаются больши́м числом обусловленности.
Всё же если задача корректно поставлена, то остается неплохой шанс её численного решения с использованием устойчивого алгоритма. Если же задача поставлена некорректно, то сначала нужно её переформулировать; обычно это для этого вводятся некоторые дополнительные предположения (такие, как предположение о гладкости решения). Данная процедура называется регуляризацией, причём наиболее широко используется регуляризация Тихонова, применимая к линейным некорректно поставленным задачам.
Ссылки
- Hadamard, Jacques. Sur les problèmes aux dérivées partielles et leur signification physique. — 1902. — P. 49–52.
- McGraw-Hill Dictionary of Scientific and Technical Terms. — 4th. — New York : McGraw-Hill, 1989. — ISBN 0070452709.
- Tikhonov, A. N. Solutions of Ill-Posed Problems / A. N. Tikhonov, V. Y. Arsenin. — New York : Winston, 1977. — ISBN 0470991240.