Vol 63, No 5 (2023)
ОБЩИЕ ЧИСЛЕННЫЕ МЕТОДЫ
Вычисление условия сильного резонанса в системе Гамильтона
Abstract
Для исследования областей формальной устойчивости положения равновесия многопараметрической системы Гамильтона с тремя степенями свободы в случае общего положения предложен способ символьного вычисления условия существования резонанса третьего и четвертого порядков. Это условие формулируется в виде нулей квазиоднородного полинома от коэффициентов характеристического многочлена линейной части системы Гамильтона. Методами компьютерной алгебры (базисы Грёбнера исключающих идеалов) и степенной геометрии (степенные преобразования) для различных резонансных векторов это условие представляется в виде рациональных алгебраических кривых, с помощью которых получено описание разбиения области устойчивости по линейному приближению в пространстве коэффициентов характеристического многочлена на такие части, где отсутствуют сильные резонансы. Приведен пример описания резонансных множеств для двупараметрической системы маятникового типа. Все вычисления выполнены в системе компьютерной алгебры Maple. Библ. 20. Фиг. 3.
A Generalized Simplified Hermitian and Skew-Hermitian Splitting Preconditioner for Double Saddle Point Problems
Abstract
Обобщенный упрощенный эрмитов и косоэрмитов предобусловливатель для задач с двойной седловой точкой
. Рассмотрен обобщенный упрощенный эрмитов и косоэрмитов расщепляющий предобусловливатель для решения задач с двойной седловой точкой, а также распределение собственных значений этого предобусловливателя. Исследованы распределение собственных векторов и степень минимального многочлена предварительно обусловленной матрицы. Представлены численные эксперименты, показывающие эффективность такого предобусловливателя.
On the Radial Basis Function Interpolation I: Spectral Analysis of the Interpolation Matrix and the Related Operators
Abstract
Использование радиальных базисных функций I: Спектральный анализ матрицы интерполяции и связанных с ней операторов
. Исследованы спектральные свойства периодической матрицы интерполяции для радиальных базисных функций (RBF), а также связанных с ними гармонических операторов, полученных дискретизацией с использованием таких функций. Для гауссовских RBF эта процедура распространена на пространство произвольной размерности на сетке тензорного произведения. Экспериментальный результат числа обусловленности Бойда хорошо согласуется с аналитической оценкой для периодических RBF.
Аппроксимация таблично заданных функций: многокритериальный подход
Abstract
Развит новый подход к оцениванию параметров аппроксимации, при котором удаленность аппроксимирующей функции от заданного конечного множества точек оценивается векторным критерием, компонентами которого являются модули невязок во всех точках. При помощи этого критерия задается отношение предпочтения в удаленности и лучшей считается аппроксимирующая функция, недоминируемая по такому отношению. Изучена аппроксимация для нескольких отношений предпочтения, в том числе для отношения Парето и отношения, порождаемого информацией о равноважности критериев. Рассмотрены вычислительные вопросы и исследованы взаимоотношения введенных аппроксимирующих функций с классическими (получаемыми методами наименьших квадратов, наименьших модулей и наименьшего максимального модуля уклонений). Библ. 15. Фиг. 8.
ОПТИМАЛЬНОЕ УПРАВЛЕНИЕ
Синтез оптимальной системы с устойчивыми режимами скольжения
Abstract
Предложен метод синтеза оптимального управления, обеспечивающего существование и устойчивость режимов скольжения системы нелинейных обыкновенных дифференциальных уравнений. В методе используется вспомогательная задача оптимального управления. Решение задачи дает искомое управление в аналитической форме. Установлена устойчивость по Ляпунову тривиального решения замкнутой и доопределенной систем. Показано применение метода к линейным и квазилинейным системам уравнений. Приведен иллюстративный пример. Библ. 11. Фиг. 1.
Оптимизация множества достижимости линейной системы по отношению к другому множеству
Abstract
Рассматриваются задача максимально быстрого по времени выполнения включения во множество достижимости линейной управляемой автономной системы некоторого выпуклого компакта, а также задача поиска максимального времени, при котором выполнено включение множества достижимости в некоторый выпуклый компакт. При этом ищутся начальная точка и время, для которых экстремальное время в соответственной задаче реализуется. Рассмотрена дискретизация задачи на сетке единичных векторов и с помощью сведения к задаче линейного программирования получены приближенное решение задачи, а также оценки погрешности решения. Задачи объединяет общая идеология, восходящая к задаче поиска чебышёвского центра. Библ. 24. Фиг. 4. Табл. 4.
ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
On Ranks of Matrices Over Noncommutative Domains
Abstract
Рассматриваются матрицы над некоторой областью целостности R, т.е. над кольцом, не обязательно коммутативным, без делителей нуля. Обсуждаются понятия рангов по строкам и столбцам. (Коэффициенты линейных зависимостей принадлежат R; левые коэффициенты используются для строк, правые коэффициенты для столбцов.) Доказывается, что наличие ненулевых левых и правых общих кратных для произвольных ненулевых элементов R (условие Оре) является необходимым и достаточным условием равенства рангов по строкам и столбцам произвольной матрицы над R. Предлагается алгоритм вычисления ранга заданной матрицы. Наша реализация этого алгоритма в Maple охватывает области дифференциальных и (q-)разностных операторов как обычных, так и с частными производными и разностями. Библ. 8.
УРАВНЕНИЯ В ЧАСТНЫХ ПРОИЗВОДНЫХ
Alternative Direction Implicit Method For Solving First Order 2D Hyperbolic Delay Differential Equations
Abstract
Неявный численный метод переменных направлений для решения двумерной гиперболической задачи первого порядка с запаздыванием
. Рассматриваются двумерные гиперболические дифференциальные уравнения первого порядка с запаздыванием. Показан характер распространения неоднородности решения по пространству. Предложен неявный разностный метод переменных направлений и метод против потока конечных разностей. Доказано, что метод обладает первым порядком сходимости. Дан ряд иллюстрирующих численных примеров, а также показано применение этого подхода к задаче с запаздыванием.
Multiwave Interaction Solutions for a New Extended Equation in (4 + 1)-Dimension
Abstract
Многоволновые решения для нового эволюционного уравнения в пространстве (4 + 1)-измерений
. Исследовано новое (4 + 1)-мерное нелинейное эволюционное уравнение. Изучена его интегрируемость по Пенлеве методом Крушкаля, затем решение многоволнового взаимодействия для этого уравнения исследовано с помощью нескольких различных подходов. Показано, что это уравнение имеет “богатые” волновые решения со сложным характером взаимодействия.
МАТЕМАТИЧЕСКАЯ ФИЗИКА
Восстановление двух функций в модели колебаний струны, один конец которой помещен в подвижную среду
Abstract
Рассматривается обратная задача определения коэффициентов в модели малых поперечных колебаний однородной конечной струны, один конец которой помещен в подвижную среду, а другой свободен. Колебания моделируются уравнением гиперболического типа на отрезке. Одно краевое условие имеет неклассический вид. Дополнительной информацией для решения обратной задачи являются значения решения прямой задачи при известном фиксированном значении пространственного аргумента. В рамках обратной задачи определения требуют функция в неклассическом краевом условии и функциональный множитель в правой части уравнения. Доказаны теорема единственности и теорема существования решения обратной задачи. Для прямой задачи установлены условия однозначной разрешимости в виде, упрощающем исследование обратной задачи. Для численного решения обратной задачи предложен алгоритм поэтапного раздельного восстановления искомых функций с использованием метода последовательных приближений для решения интегральных уравнений. Библ. 23.
Метод моделирования турбулентного пограничного слоя на основе аналитических законов стенки в формулировке метода xарактеристических штрафных функций
Abstract
Предложен метод расчета пристеночных областей турбулентных течений для численного моделирования вязкого сжимаемого газа с применением уравнений Навье–Стокса, осредненных по Рейнольдсу. В основе метода – дифференциальное условие сшивки внешнего решения с пристеночной функцией, позволяющее использовать обобщение метода характеристических штрафных функций для переноса касательного напряжения из внешней области пограничного слоя на поверхность тела, при этом область сшивки задается неявно через локализованный источниковый член в уравнении пограничного слоя, записанного как функция расстояния от стенки, нормированного на масштаб вязкой длины. Касательное напряжение на стенке при этом определяется в процессе численного решения специального дифференциального уравнения, включающего в себя характеристические штрафные функций и аналитический закон стенки. Разработанный метод заметно снижает требования к пристеночному разрешению расчетной сетки без существенного усложнения вычислительного алгоритма и позволяет полностью устранить плохо-определенное условие точки сшивки решений. Численная реализация разработанного подхода проведена с применением вершинно-центрированного метода контрольных объемов и структурированных расчетных сеток. Его применимость продемонстрирована на примере решения двух тестовых задач: течение в двумерном канале и турбулентное обтекание бесконечно тонкой пластины. Библ. 38. Фиг. 8. Табл. 8.
Приближенное решение обратной задачи для интегродифференциального уравнения теплопроводности с сингулярным возмущением
Abstract
Для интегродифференциального уравнения теплопроводности с сингулярным возмущением рассматривается обратная задача, состоящая в определении граничного условия по дополнительной информации о решении начально-краевой задачи. Доказано, что приближенное решение обратной задачи может быть получено на основе использования конечного числа членов разложения решения начально-краевой задачи по малому параметру. Библ. 11.
Усвоение данных для двумерного уравнения амбиполярной диффузии в модели ионосферы земли
Abstract
В работе рассматривается задача вариационного усвоения данных наблюдений для двумерной диффузионной модели F слоя ионосферы Земли ИВМ РАН. В качестве наблюдений рассматривались данные о полном интегральном электронном содержании вдоль заданных траекторий. Сформулирована общая постановка задачи в дифференциальной форме, исследована ее разрешимость. На основе регуляризованной постановки построен итерационный алгоритм решения задачи ассимиляции, показана его сходимость. Построена конечномерная аппроксимация и реализовано численное решение задачи, доказаны устойчивость и сходимость разностной схемы. На основе контрольных численных экспериментов исследовано качество восстановления полей распределения электронной концентрации, показано приемлемое восстановление слабовозмущенного решения как для стационарной, так и для эволюционной постановок при вертикальных и наклонных траекториях интегрирования. Библ. 38. Фиг. 8.
Волноводная модель развитого турбулентного пограничного слоя
Abstract
В работе представлено исследование развитого турбулентного пограничного слоя, возникающего при обтекании вязкой несжимаемой жидкостью пластины под нулевым углом атаки и с нулевым продольным градиентом давления. Для описания турбулентного пограничного слоя использован волноводный подход, в котором турбулентные пульсации связаны с волнами Толлмина–Шлихтинга, находящимися в состоянии трехволнового резонанса. Для исследования исходной нелинейной системы уравнений предложена оценка гидродинамических величин, которая не нарушает общепринятый подход в пограничном слое, но приводит к появлению нового малого параметра: отношению толщины потери импульса пограничного слоя к длине затухания наименее затухающей моды волн Толлмина–Шлихтинга. На основе метода многих масштабов получены уравнения для когерентной и стохастической частей пульсаций. Определены дисперсионные характеристики волн наименее затухающей моды на профиле средней продольной скорости развитого турбулентного пограничного слоя; проанализированы условия множественного трехволнового резонанса этой моды волн Толлмина–Шлихтинга. Для когерентной части пульсаций проведено сравнение пульсационных характеристик с известными численными результатами. Библ. 31. Фиг. 7. Табл. 1.
Метод квазирешений и проблема глобальной минимизации функционала невязки условно корректных обратных задач
Abstract
Рассматривается класс условно корректных задач, характеризуемый гёльдеровой оценкой условной устойчивости на выпуклом компакте в гильбертовом пространстве. Оператор прямой задачи и правая часть уравнения заданы с погрешностями, близость производных точного и возмущенного операторов не предполагается. Исследуются свойства выпуклости и одноэкстремальности функционала невязки метода квазирешений. Для этого функционала устанавливается, что каждая его стационарная точка на множестве условной корректности, не слишком далекая от искомого решения исходной обратной задачи, лежит в малой окрестности решения. Даны оценки диаметра указанной окрестности в терминах погрешностей входных данных. Показано, что эта окрестность является аттрактором итераций метода проекции градиента, и получены оценки скорости сходимости итераций к аттрактору. Устанавливается необходимость используемой оценки условной устойчивости для существования итерационных процессов с указанными свойствами. Библ. 16.
Задача сложного теплообмена с условиями типа Коши на части границы
Abstract
Рассмотрена краевая задача для стационарных уравнений сложного теплообмена с незаданным краевым условием для интенсивности излучения на части границы и условием переопределения на другой части границы. Предложен оптимизационный метод решения указанной задачи и представлен анализ соответствующей задачи граничного оптимального управления. Показано, что последовательность решений экстремальных задач сходится к решению задачи с условиями типа Коши. Эффективность алгоритма проиллюстрирована численными примерами. Библ. 27. Фиг. 2.
О схеме Русанова третьего порядка точности для моделирования плазменных колебаний
Abstract
Для моделирования нерелятивистских колебаний холодной плазмы предложена модификация известной схемы Русанова, имеющей третий порядок точности. Ранее для подобных расчетов в эйлеровых переменных были известны только схемы первого и второго порядков точности. Для тестовой задачи с гладким решением проведено исследование погрешностей построенной схемы, а также – сравнение с погрешностями схемы Мак-Кормака. Для задачи о свободных плазменных колебаниях, инициированных коротким мощным лазерным импульсом, приведены результаты численных экспериментов по сохранению энергии и дополнительной функции для обеих схем, а также – по точности электронной плотности в центре области. Сделан вывод о теоретическом превосходстве схемы Русанова, хотя для практических вычислений более приспособлена схема Мак-Кормака. В первую очередь это касается расчетов “долгоживущих” процессов и колебаний холодной плазмы, близких к реальным. Теоретическое исследование аппроксимации и устойчивости вместе с экспериментальным наблюдением за количественными характеристиками погрешности для наиболее чувствительных величин существенно повышает достоверность вычислений. Библ. 20. Фиг. 3. Табл. 4.