Локальная разрешимость и разрушение решения одного уравнения

соболевского типа: численное и аналитическое исследование

Студент 4-го курса

Московский государственный университет имени ,
физический факультет, Москва, Россия

E–mail: *****@***ru

Большой интерес представляют нелинейные математические модели, в которых наблюдается коллапс (blow-up), т. е. решение или его производные обращаются в бесконечность за конечное время (см., напр., [1]—[3]). В последнее время эта тематика привлекает значительное внимание исследователей. Для большого количества конкретных задач аналитически получены достаточные, порой близкие к необходимым, условия коллапса. В то же время, как показывает простой пример явной схемы Эйлера для задачи Коши, численные методы далеко не всегда «чувствуют» наличие коллапса и способны ввести в заблуждение относительно существования решения и его поведения.

В работах , и [4], [5] (см. также [1]) предложен подход, основанный на оценке эффективного порядка точности разностной схемы с помощью метода Ричардсона (также известного как метод Рунге). Пока решение остаётся гладким, эффективный порядок на не слишком грубых сетках близок к теоретическому, тогда как появление особенностей решения снижает порядок, а затем, как правило, приводит к бессмысленным результатам (порядок становится отрицательным или комплексным). Поэтому нахождение эффективного порядка точности для каждого узла -сетки позволяет отследить момент разрушения решения с точностью порядка шага сетки по времени. Разностная схема строится с помощью метода прямых, причём для решения полученной ОДУ рекомендуется использовать комплексную схему Розенброка. Эта схема имеет значительные вычислительные достоинства: аппроксимация 2-го порядка и L2-устойчивость, что особенно ценно для нелинейных задач, т. к. позволяет избежать итерационных процедур при переходе на следующий временной слой.

НЕ нашли? Не то? Что вы ищете?

В нашей работе описанная идея применена к начально-краевой задаче в одномерном случае.

Поскольку мы имеем дело с уравнением соболевского типа (производная по времени берётся не от решения, а от значения на решении оператора с производными по пространству), система ОДУ метода прямых имеет вид

т. е. осложнена наличием матрицы , отличной от единичной.

Задача решена одностадийной схемой Розенброка [1] с комплексным коэффициентом.

 

 

В следующей таблице приведены результаты расчётов при  л = 1,5 и q = 2.

  – оценка, полученная описанным выше численным методом.

0,95



Для получения теоретической оценки времени разрушения можно использовать метод 1-й собственной функции, который позволяет дать оценку на время разрушения при л < л1, где л1 — первое собственное значение соответствующей задачи Штурма—Лиувилля. При других л он неприменим и необходимо численное исследование.[6]

Рассмотрим случай л = 0.5 и q = 2.

0,769

0,7


Литература

, , Плетнер и нелинейные уравнения соболевского типа. М.: Физматлит, 2007. Корпусов в параболических и псевдопараболических уравнениях с двойными нелинейностями. М.: Книжный дом «Либроком», 2012. Galaktionov V. A., Vasquez J. L. The problem of blow-up in nonlinear parabolic equations // Discrete and continuous dynamical systems, 2002, vol. 8, no. 2, pp. 399—433. , , Корякин особенностей точного решения при расчётах с контролем точности // ЖВМиМФ, 2005, т. 45, № 10, с. 1837—1847. , , Корякин особенностей точного решения методом сгущения сеток // ДАН, 2005, т. 404, № 3, с. 1—5. Корпусов Е. В.  Методы теории разрушения решений нелинейных уравнений математической физики. М.: Физический факультет МГУ, 2014. 364с.