Применение вариационных принципов для построения разностных схем
9.4. Задачи для самостоятельного решения
- Уравнение Кортевега - Де Фриза
Одно из самых замечательных уравнений математической физики — уравнение Кортевега - Де Фриза (сокращенно КДФ) часто записывают в виде
ut - 6uux + uxxx = 0
или
- Найти преобразование, переводящее эти формы записи друг в друга.
- Рассматриваем задачу для уравнения ut - 6uux + uxxx = 0 в области с условием периодичности.
Для решения иногда используют трехслойную разностную схему на шаблоне рис. 9.8 (третья производная расписывается по пяти точкам симметричным образом, некоторые коэффициенты могут обратиться в нуль). Исследовать ее на аппроксимацию и устойчивость. Какое условие устойчивости получено? Построить разностную схему на шаблоне, напоминающем шаблон схемы Саульева для решения уравнения теплопроводности (рис. 9.9 а, б).
Исследовать получившиеся схемы на аппроксимацию и устойчивость. Можно ли использовать прогонку для вычислений на верхнем слое?
- Уравнение ut - 6uux + uxxx = 0 имеет бесконечное число законов сохранения. Укажем несколько из них:
Как построить консервативную разностную схему, чтобы на сеточном уровне выполнялись законы сохранения
- Особую роль играет третий из приведенных выше законов сохранения. Он
является гамильтонианом для уравнения ut - 6uux + uxxx = 0, т.е.
Здесь
вариационная производная функционала I1, способ получения разностной схемы, сохраняющей гамильтониан системы.Решение. Запишем сеточный аналог гамильтониана I1:
Контрольный вопрос: почему аппроксимирует I1 с точностью O(h2)?
На сеточном уровне взятие вариационной производной означает дифференцирование по всем и деление на h. Тогда получаем сеточную запись вариационной производной:
Аппроксимируя дискретный аналог (4.4.3) с естественным для этого вторым порядком по h, получаем
Заменяя производную по времени разностью
и вычисляя правую часть на n слое, получаем одну из схем пункта 2.Конечно, возможны и другие аппроксимации гамильтониана, варьирование которых приводит к другим разностным схемам. Все они будут записываться на симметричных шаблонах, на сеточном уровне для этих схем также будет выполняться закон сохранения .
Удастся ли получить вариационную схему на несимметричном шаблоне типа Саульева?