7 заблуждений прикладника

Нередко от юных и неопытных прикладников мы слышим следующую мысль: «Зачем мне изучать теорию и учиться исследовать диффуры? Я их решу численно, да и все, не нужен мне функан.»

Как говорится, ЧМ – дело молодое и кто в юные годы по незнанию не верил в ЧМ больше, чем в функан. Однако, чем старше становишься, тем больше понимаешь, что функан – главный инструмент прикладника и что численные методы глобально основаны именно на нем и следуют из него. Вот 7 вещей, которые понимают опытные диффурщики и на которые стоит обратить внимание «новичкам»:

1. ЧМ решает не уравнение, а его конечномерную аппроксимацию. Нужно доказать, что схема сходится к настоящему решению, а не артефакту дискретизации. А для этого нужны пространства Соболева, операторные оценки, полугруппы и априорные оценки.

2. Существование и единственность. Вы получили что-то похожее на решение, но будет ли оно единственным? Будет ли оно устойчивым к малым изменениям параметров? Есть ли у задачи корректная постановка? Для SDE/диффузий это особенно важно: сильное/слабое решение, мартингальная задача, задача Фейнмана-Каца.

3. ЧМ зиждется на ФА. Метод Галеркина, МКЭ, спектральные методы, проекционные схемы – все это формулируется и обосновывается через ФА. Даже «просто численно решить» обычно означает решить вариационную/операторную задачу в подходящем пространстве.

4. Качественные свойства важнее одного числа. Функан дает инварианты, асимптотики, спектр, скорость сходимости, устойчивость, зависимость от параметров. Численный расчет в одной точке этого не дает.

5. ЧМ слабы в высоких размерностях. Для SPDE, задач управления и диффузий, численный перебор упирается в проклятие большой размерности. Функан же позволяет получить редукцию, слабую формулировку, оценки.

6. Погрешности. Численный ответ без оценки погрешности – это не решение, а число «с потолка». Функан же дает нормы, оценки устойчивости и сходимости.

7. Не решает – не значит, что нет никакой аналитической информации. Даже если нет формулы, все равно можно доказать, что решение гладкое/негладкое, ограничено, единственно, допускает представление через полугруппу или стохастический интеграл. Это часто важнее явной формулы.

Итого, функан нужен, когда речь идет о нелинейности, обобщениях, УМФ, управлении или сходимости численного метода. По неслучайному совпадению все эти вопросы мы будем подробно разбирать на предстоящем курсе «Функциональный анализ», который начинается 10 ноября. Подробную программу курса оставили тут ? https://laplascourses.ru/funcanaliz. Отметим, что особое внимание будет уделено «продвинутым» ЧМ и нелинейным операторам.

Телеграм: t.me/ainewsline

Источник: laplascourses.ru

Комментарии: