


Том 65, № 6 (2025)
Статьи
К столетию со дня рождения Г.И. Марчука
Журнал вычислительной математики и математической физики. 2025;65(6):841-841



ОБЩИЕ ЧИСЛЕННЫЕ МЕТОДЫ
О РАЗНОСТНОМ РЕШЕНИИ ОДНОЙ НЕЛОКАЛЬНОЙ КРАЕВОЙ ЗАДАЧИ ДЛЯ УРАВНЕНИЯ ДИФФУЗИИ ДРОБНОГО ПОРЯДКА
Аннотация
Работа посвящена исследованию задачи для уравнения диффузии дробного порядка с неклассическими краевыми условиями. Для рассматриваемой задачи исследовано семейство разностных схем с весами. Приведен алгоритм нахождения численного решения. С помощью принципа максимума для разностной задачи получена априорная оценка, из которой следует устойчивость разностных схем и сходимость численного решения к точному в норме С.
Журнал вычислительной математики и математической физики. 2025;65(6):842-849



СХЕМЫ ДЕКОМПОЗИЦИИ-КОМПОЗИЦИИ ДЛЯ СИСТЕМ ЭВОЛЮЦИОННЫХ УРАВНЕНИЙ ВТОРОГО ПОРЯДКА
Аннотация
Рассматриваются численные методы приближенного решения задачи Коши для связанных систем эволюционных уравнений второго порядка. Упрощение задачи на новом слое по времени достигается за счет выделения более простых подзадач для отдельных компонент решения. Вычислительная технология декомпозиции-композиции состоит из двух этапов. Сначала выполняется декомпозиция операторной матрицы задачи, а затем приближенное решение строится на основе линейной композиции решений вспомогательных задач. В работе исследуются варианты декомпозиции на основе выделения диагональной части, нижней и верхней треугольных подматриц операторной матрицы, а также при расщеплении операторной матрицы на строки и столбцы. На этапе композиции используются различные варианты схем расщепления. При двухкомпонентной декомпозиции выделены явно-неявные схемы и факторизованные схемы. Регуляризованные аддитивные схемы применяются при многокомпонентном расщеплении. Исследование устойчивости трехслойных схем декомпозиции-композиции проводится на основе теории устойчивости операторно-разностных схем в конечномерных гильбертовых пространствах.
Журнал вычислительной математики и математической физики. 2025;65(6):850-860



СРАВНЕНИЕ ИНТЕРПОЛЯЦИОННОГО И МОЗАИЧНО-СКЕЛЕТОННОГО МЕТОДОВ ДЛЯ РЕШЕНИЯ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ СО СВЕРТОЧНЫМ ЯДРОМ
Аннотация
Сравниваются интерполяционный и мозаично-скелетонный методы решения задачи о потенциальном обтекании двумерной пластины. Они сжимают плотную матрицу линейной системы, возникающую при решении методом коллокаций на неравномерной сетке. Первый метод основан на быстром преобразовании Фурье и линейной интерполяции со вспомогательной равномерной сеткой. Второй – на блочно-малоранговой аппроксимации матрицы. Оба подхода демонстрируют эффективность по времени и памяти, но выделяют различные структуры в матрице, что влияет на решение линейной системы. Для использованных реализаций методов мозаично-скелетонный метод решает систему быстрее интерполяционного, но потребляет больше памяти, а время его работы гораздо заметнее растет с увеличением размера системы.
Журнал вычислительной математики и математической физики. 2025;65(6):861-874



МНОГОСЕТОЧНЫЕ МЕТОДЫ МАКРОСЕТЕВОЙ ДЕКОМПОЗИЦИИ ОБЛАСТЕЙ
Аннотация
Рассматриваются интегрированные многосеточные методы декомпозиции областей (DDM–MG) для решения больших систем линейных алгебраических уравнений (СЛАУ) с разреженными симметричными или несимметричными матрицами, получаемых при сеточных аппроксимациях многомерных краевых задач. Предлагаемые алгоритмы основаны на построении однослойных или двухслойных макросеток и специальной упорядоченности узлов по их принадлежности различным топологическим примитивам макросетки: макроузлам, макроребрам, макрограням и подобластям. При согласованной нумерации векторных компонент матрица СЛАУ в трехмерном случае принимает блочно-трехдиагональную форму четвертого порядка. Для ее решения используется какой-либо метод приближенной факторизации в подпространствах Крылова. При этом решение вспомогательных систем в подобластях осуществляется многосеточными методами блочной неполной факторизации, на основе аналогичной тополого-ориентированной упорядоченности узлов, но не на макро-, а на микроуровне, в результате чего формируется единый предобуславливатель рекурсивно-вложенного типа. Обоснование предложенных методов проводится для матриц стилтьесовского типа. Библ. 30. Фиг. 5.
Журнал вычислительной математики и математической физики. 2025;65(6):875-887



О НЕКОТОРЫХ ПОДХОДАХ В МЕТОДАХ ДЕКОМПОЗИЦИИ ОБЛАСТИ РЕШЕНИЯ ПАРАБОЛИЧЕСКИХ ЗАДАЧ
Аннотация
В статье рассматривается безытерационный метод декомпозиции области с налетанием подобластей для решения многомерных параболических задач. По своей структуре метод аналогичен схеме покомпонентного расщепления с использованием гладкого разбиения единицы. Сам метод известен уже давно, но ранее не был опубликован ряд важных технических деталей, связанных с конструкцией разбиения области на подобласти, обеспечивающей гладкое разбиение единицы. В данной работе эти детали приведены в виде набора доказанных утверждений. Описан процесс получения оценки погрешности, детали которого также раньше не были опубликованы.
Журнал вычислительной математики и математической физики. 2025;65(6):888-906



ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ
ОБ ИМПУЛЬСНОЙ СТАБИЛИЗАЦИИ ХАОТИЧЕСКОЙ СИСТЕМЫ ЧЕНА
Аннотация
Сформулированы понятия хаотических систем и систем дифференциальных уравнений с импульсным воздействием. Рассмотрена хаотическая система Чена. Это система трех обыкновенных дифференциальных уравнений, допускающая нулевое решение, которое неустойчиво по Ляпунову. Ставится задача стабилизации этого решения. Эта задача решена двумя методами: с помощью импульсных воздействий в фиксированные моменты времени и с помощью импульсных воздействий, которые происходят на некотором множестве фазового пространства.
Журнал вычислительной математики и математической физики. 2025;65(6):907-917



Оптимальные возмущения стационарных и периодических решений систем с запаздыванием в математической иммунологии
Аннотация
Работа посвящена оптимальным возмущениям стационарных и периодических решений систем дифференциальных уравнений с запаздывающим аргументом, их вычислению и использованию в математической иммунологии. Кратко описываются необходимые для этого оригинальные методы вычисления самих стационарных и периодических решений и трассирования их по параметрам системы, а также методы вычисления для этих решений оптимальных возмущений. Работа описанных методов демонстрируется на примере известной модели противовирусного иммунного ответа Марчука—Петрова со значениями параметров, отвечающими инфекции, вызванной вирусами гепатита В.
Журнал вычислительной математики и математической физики. 2025;65(6):918-945



ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
ДИФФЕРЕНЦИАЛЬНЫЕ МОДЕЛИ ЭПИДЕМИЙ И СЦЕНАРИИ ОГРАНИЧИТЕЛЬНЫХ МЕР
Аннотация
Рассмотрены алгоритмы расчета распространения эпидемий и анализ последствий введения или снятия ограничительных мер на основе SIR-модели и уравнения Гамильтона–Якоби–Беллиана. После изучения идентифицируемости и чувствительности SIR-моделей, корректности в окрестности точного решения и сходимости численных алгоритмов решения прямых и обратных задач, формулируется задача оптимального управления. Результаты численного моделирования показали, что управление с обратной связью может помочь определить политику вакцинации. Использование нейросетей PINN позволило в 5 раз сократить время расчетов, что представляется важным для оперативного изменения ограничительных мер.
Журнал вычислительной математики и математической физики. 2025;65(6):946-960



УРАВНЕНИЯ В ЧАСТНЫХ ПРОИЗВОДНЫХ
ОБРАТНАЯ ЗАДАЧА ДЛЯ КВАЗИЛИНЕЙНОГО ВОЛНОВОГО УРАВНЕНИЯ
Аннотация
Рассматривается квазилинейное гиперболическое уравнение, главная часть которого представляет собой чисто волновой оператор, а младшая часть содержит два нелинейных члена с коэффициентами p и q, имеющими компактный носитель, содержащийся в шаре B. Изучаются прямая задача о падении плоской волны на неоднородность, локализованную в B, и обратная задача, состоящая в определении коэффициентов p и q по информации о решении серии прямых задач, зависящих от направления падения плоской волны. Выписывается асимптотическое разложение решения прямой задачи в окрестности фронта бегущей плоской волны, и на этой основе обратная задача сводится к двум линейным задачам, решаемым последовательно одна за другой. Задача об определении коэффициента p приводится к классической задаче рентгеновской томографии, а задача об определении коэффициента q сводится к более сложной задаче интегральной геометрии. Последняя состоит в определении функции через интегралы от нее по прямым с некоторой заданной весовой функцией. Эта задача является новой, она исследуется и для нее устанавливается теорема единственности и устойчивости решения. Библ. 26.
Журнал вычислительной математики и математической физики. 2025;65(6):961-971



ОБ ОДНОЗНАЧНОЙ РАЗРЕШИМОСТИ НАЧАЛЬНО-КРАЕВЫХ ЗАДАЧ ДЛЯ ПАРАБОЛИЧЕСКИХ СИСТЕМ В ПОЛУОГРАНИЧЕННОЙ ПЛОСКОЙ ОБЛАСТИ С НЕГЛАДКОЙ БОКОВОЙ ГРАНИЦЕЙ
Аннотация
Рассматривается начально-краевая задача для неоднородной параболической системы с Дини-непрерывными коэффициентами с ненулевым начальным условием в полуограниченной плоской области с негладкой боковой границей, допускающей наличие “клювов”, на которой задаются граничные условия общего вида. Доказана теорема об однозначной разрешимости такой задачи в пространстве функций, непрерывных и ограниченных вместе со своей пространственной производной первого порядка в замыкании области. Дано интегральное представление и исследован характер гладкости полученного решения.
Журнал вычислительной математики и математической физики. 2025;65(6):972-984



МАТЕМАТИЧЕСКАЯ ФИЗИКА
МЕТОДЫ ВАРИАЦИОННОГО УСВОЕНИЯ ДАННЫХ НАБЛЮДЕНИЙ В ЗАДАЧАХ ГЕОФИЗИЧЕСКОЙ ГИДРОДИНАМИКИ
Аннотация
В настоящей статье представлено современное состояние исследований в области вариационного усвоения данных наблюдений в задачах геофизической гидродинамики, развиваемых Г.И. Марууком и его научной школой на протяжении многих лет. Для разработанной в ИВМ РАН модели динамики океана представлена технология четырехмерного вариационного усвоения данных наблюдений (4D–Var), базирующаяся на сочетании методов расщепления и сопряженных уравнений. Технология включает минимизацию функционала стоимости, описывающего разность между модельным решением и данными наблюдений с ковариационными матрицами ошибок наблюдений и начального приближения. Применение метода многокомпонентного расщепления дает возможность поэтапного решения системы прямых и сопряженных уравнений. Предложены эффективные алгоритмы решения вариационных задач усвоения данных на основе современных итерационных процессов со специальным выбором итерационных параметров. Развивая идею Г.И. Маруука о поиске энергоактивных зон в океане, определяющих его теплообмен с атмосферой, разработаны новые алгоритмы исследования чувствительности модельного решения к ошибкам данных наблюдений. Методология иллюстрируется для модели гидротермодинамики Черного моря с вариационным усвоением данных для восстановления потоков тепла на поверхности моря. В заключении обсуждаются перспективы развития данного направления.
Журнал вычислительной математики и математической физики. 2025;65(6):985-998



ПРОЗРАЧНЫЕ ГРАНИЧНЫЕ УСЛОВИЯ ДЛЯ ВОЛНОВОГО УРАВНЕНИЯ С ПЕРЕМЕННОЙ СКОРОСТЬЮ ЗВУКА
Аннотация
Предложен метод построения оператора прозрачных граничных условий для волнового уравнения с переменной скоростью звука в канале прямоугольного сечения. Приведен численный пример, показывающий работоспособность предложенного метода. Проанализированы свойства образов функций ядра свертки прозрачных граничных условий, предложен метод построения их рациональной аппроксимации, показана его численная сходимость.
Журнал вычислительной математики и математической физики. 2025;65(6):999-1016



ДИССИПАТИВНО-ДИСПЕРСИОННЫЕ СВОЙСТВА ОДНОГО ПРОЕКЦИОННОГО МЕТОДА ЧИСЛЕННОГО РЕШЕНИЯ УРАВНЕНИЯ АДВЕКЦИИ
Аннотация
В работе исследованы диссипативно-дисперсионные свойства проекционно-характеристического метода третьего порядка аппроксимации для численного решения уравнения адвекции. Эта схема названа Cubic Polynomial Projection, она строится сеточно-характеристическим методом при использовании интерполяции Эрмита. Свойства данной схемы сравниваются с аналогичными свойствами схемы Cubic Interpolation Polynomial, широко используемой в вычислительной практике, и также основанной на эрмитовой интерполяции. Обе схемы относятся к классу характеристических, что важно для задач переноса частиц и явного учета экспоненциальной зависимости решения от оптической толщины. Вместо традиционного интерполяционного замыкания, характерного для схемы Cubic Interpolation Polynomial, при построении схемы Cubic Polynomial Projection используется замыкание ортопроектором. Это позволяет перенести данную схему на неструктурированные тетраэдальные сетки и решает проблему компланарности характеристики одной из граней ячейки, однако вдвое увеличивает требуемые ресурсы памяти в простейшем одномерном случае. В работе показано, что проекционное замыкание существенно улучшает и так весьма неплохие диссипативно-дисперсионные свойства схемы Cubic Interpolation Polynomial, существенно приближая их к диссипативно-дисперсионным свойствам точного решения уравнения адвекции. Данные выводы подтверждены численными расчетами.
Журнал вычислительной математики и математической физики. 2025;65(6):1017-1028



АДАПТАЦИЯ МЕТОДА КОНЕЧНЫХ ЭЛЕМЕНТОВ ДЛЯ ЗАДАЧИ О ДЕФОРМАЦИЯХ СТИЛТЬЕСОВСКОЙ СТРУНЫ С НЕЛИНЕЙНЫМ УСЛОВИЕМ
Аннотация
Изучается задача, моделирующая малые деформации струны с локализованными в произвольном количестве точек (но не более, чем счетном) особенностями в виде упругих опор, сосредоточенных сил. Предполагается, что левый конец струны жестко закреплен, а правый находится внутри вертикального ограничителя на перемещение. В зависимости от приложенной внешней силы, правый конец либо останется свободным, либо достигнет границы ограничителя. Это порождает нелинейное условие в соответствующей точке, поскольку поведение решения заранее неизвестно. Исследуемая задача описана в форме вариационного неравенства; доказаны теоремы существования и единственности решения; с помощью адаптации метода конечных элементов разработан алгоритм нахождения приближенного решения; получена оценка отклонения точного решения от приближенного.
Журнал вычислительной математики и математической физики. 2025;65(6):1029-1044



МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ НЕСТАЦИОНАРНОГО ГОРЕНИЯ КОКСОВЫХ ОТЛОЖЕНИЙ В СЛОЕ КАТАЛИЗАТОРА СО СФЕРИЧЕСКОЙ ФОРМОЙ ЗЕРЕН
Аннотация
В статье разработана математическая модель выжига коксовых отложений из слоя алюмосиликатного катализатора крекинга со сферической формой зерна с учетом гетерогенных детальных химических реакций. Модель является системой уравнений математической физики с начально-краевыми условиями. Для построенной математической модели разработан явно-неявный вычислительный алгоритм. Сравнение результатов расчетов с экспериментальными данными по материальному балансу и теоретическими оценками для температуры выявило адекватность математической модели и вычислительного алгоритма.
Журнал вычислительной математики и математической физики. 2025;65(6):1045-1056


