Открытый доступ Открытый доступ  Доступ закрыт Доступ предоставлен  Доступ закрыт Доступ платный или только для подписчиков

Том 510 (2023)

Обложка

Весь выпуск

Открытый доступ Открытый доступ
Доступ закрыт Доступ предоставлен
Доступ закрыт Доступ платный или только для подписчиков

МАТЕМАТИКА

ОБ ИНТЕРПРЕТАЦИЯХ АРИФМЕТИКИ ПРЕСБУРГЕРА В АРИФМЕТИКАХ БЮХИ

Запрягаев А.А.

Аннотация

Арифметики Бюхи BAn, \(n \geqslant 2\), являются расширениями арифметики Пресбургера унарным функциональным символом \({{V}_{n}}(x)\), обозначающим наибольшую степень n, делящую x. Определимость множества в BAn эквивалентна распознаванию его конечным автоматом, принимающим числа в n‑ичной записи. Мы рассматриваем интерпретации арифметики Пресбургера в стандартной модели BAn и показываем, что для всякой такой интерпретации внутренняя модель изоморфна стандартной. Это дает ответ на вопрос А. Виссера, касающийся интерпретаций некоторых слабых арифметических теорий в себя.

Доклады Российской академии наук. Математика, информатика, процессы управления. 2023;510(1):3-7
pages 3-7 views

ЭЛЕМЕНТАРНЫЕ ИНВАРИАНТЫ ДЛЯ КВАНТОРНОЙ ВЕРОЯТНОСТНОЙ ЛОГИКИ

Сперанский С.О.

Аннотация

Пусть QPL – предложенный в [8] двусортный вероятностный язык, который расширяет хорошо известный “полиномиальный” язык, описанный в [3, раздел 6], посредством добавления кванторов по событиям. Мы показываем, что все безатомные пространства имеют одну и ту же QPL-теорию и эта теория разрешима. Также мы вводим понятие элементарного инварианта для QPL и используем его для получения точных верхних оценок на сложность некоторых интересных вероятностных теорий. 

Доклады Российской академии наук. Математика, информатика, процессы управления. 2023;510(1):8-12
pages 8-12 views

НЕСТАЦИОНАРНАЯ ЗАДАЧА ВЕНТЦЕЛЯ СО СТАРШИМИ КОЭФФИЦИЕНТАМИ ИЗ КЛАССА VMOx

Апушкинская Д.Е., Назаров А.И., Палагачев Д.К., Софтова Л.Г.

Аннотация

Получены новые результаты о сильной разрешимости в пространствах Соболева линейной начально-краевой задачи Вентцеля для параболических уравнений с разрывными старшими коэффициентами.

Доклады Российской академии наук. Математика, информатика, процессы управления. 2023;510(1):13-17
pages 13-17 views

АНАЛОГ ТЕОРЕМЫ ПЕРЕНОСА МАЛЕРА ДЛЯ МУЛЬТИПЛИКАТИВНЫХ ДИОФАНТОВЫХ ПРИБЛИЖЕНИЙ

Герман О.Н.

Аннотация

Теоремы переноса Хинчина и Дайсона можно легко вывести из теоремы переноса Малера. В мультипликативной же постановке возникает препятствие, не позволяющее получить мультипликативную теорему переноса непосредственно из теоремы Малера. Требуются некоторые дополнительные соображения, например, индукция по размерности. В данной работе мы предлагаем аналог теоремы Малера, из которого мультипликативная теорема переноса следует мгновенно.

Доклады Российской академии наук. Математика, информатика, процессы управления. 2023;510(1):18-22
pages 18-22 views

УТОЧНЕННАЯ МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ЭКОНОМИЧЕСКОЙ ДИНАМИКИ В УСЛОВИЯХ ВЫСОКОЙ ИНФЛЯЦИИ И НЕСТАБИЛЬНОГО РАЗВИТИЯ

Садовничий В.А., Акаев А.А., Звягинцев А.И., Сарыгулов А.И.

Аннотация

Ранее авторами были предложены две экономико-математические модели, описывающие динамику темпов развития экономики и прогнозные темпы инфляции. События, сложившиеся после февраля 2022 г., внесли элемент существенной турбулентности в процессы макроэкономической динамики России, что потребовало некоторой коррекции предложенных ранее моделей. Это и отражено в данной статье. Смоделированные на основе уточненных моделей процессы показывают, что для восстановления экономического роста и снижения инфляции в среднесрочной перспективе требуются существенное снижение процентной ставки и равномерное увеличение денежной массы. Показано, что в происходящую эпоху геополитических перемен и крушения многих либеральных рыночных догм возрастает роль государства и планирования в управлении экономическими процессами.

Доклады Российской академии наук. Математика, информатика, процессы управления. 2023;510(1):23-28
pages 23-28 views

ТРАНСЦЕНДЕНТНОСТЬ p-АДИЧЕСКИХ ЗНАЧЕНИЙ ОБОБЩЕННЫХ ГИПЕРГЕОМЕТРИЧЕСКИХ РЯДОВ С ТРАНСЦЕНДЕНТНЫМИ ПОЛИАДИЧЕСКИМИ ПАРАМЕТРАМИ

Чирский В.Г.

Аннотация

Устанавливается, что если \({{\alpha }_{1}}, \ldots ,{{\alpha }_{m}}\) – полиадические числа Лиувилля, а число \(\xi \) – натуральное или Ξ – полиадическое число Лиувилля и если Ψ0(z) = \(\sum\limits_{n = 0}^\infty {{{{({{\alpha }_{1}})}}_{n}} \ldots {{{({{\alpha }_{m}})}}_{n}}{{z}^{n}}} \), Ψ1(z) = \(\sum\limits_{n = 0}^\infty {{{{({{\alpha }_{1}} + 1)}}_{n}} \ldots {{{({{\alpha }_{m}} + 1)}}_{n}}{{z}^{n}}} \), то существует бесконечное множество простых чисел p таких, что в поле p – адических чисел хотя бы одно из чисел \({{\Psi }_{0}}(\xi ),\) \({{\Psi }_{1}}(\xi )\) (соответственно, \({{\Psi }_{0}}\left( {\text{\Xi }} \right),\) \({{\Psi }_{1}}\left. {\left( {\text{\Xi }} \right)} \right)\) – трансцендентное.

Доклады Российской академии наук. Математика, информатика, процессы управления. 2023;510(1):29-32
pages 29-32 views

ЗАДАЧА ПРОТЕКАНИЯ ОДНОГО ТИПА НЕНЬЮТОНОВСКОЙ ЖИДКОСТИ ЧЕРЕЗ ГРАНИЦУ МНОГОСВЯЗНОЙ ОБЛАСТИ

Звягин В.Г., Орлов В.П.

Аннотация

В работе устанавливается существование слабого решения начально-краевой задачи для уравнений движения вязкоупругой жидкости в многосвязной области с памятью вдоль траекторий поля скоростей и неоднородным граничным условием. Исследование предполагает аппроксимацию исходной задачи приближениями галеркинского типа с последующим предельным переходом на основе априорных оценок. Для исследования поведения траекторий негладкого поля скоростей используется теория регулярных лагранжевых потоков.

Доклады Российской академии наук. Математика, информатика, процессы управления. 2023;510(1):33-38
pages 33-38 views

ОБ ОДНОМ УСЛОВИИ ДИСКРЕТНОСТИ СПЕКТРА И КОМПАКТНОСТИ РЕЗОЛЬВЕНТЫ НЕСЕКТОРИАЛЬНОГО ОПЕРАТОРА ШТУРМА–ЛИУВИЛЛЯ НА ПОЛУОСИ

Туманов С.Н.

Аннотация

Спектральные свойства оператора Штурма–Лиувилля на полуоси, когда потенциал принимает комплексные значения в более широкой области, чем полуплоскость, мало изучены. Оператор в этом случае, вообще говоря, несекториальный – числовой образ заметает всю комплексную плоскость. В этой ситуации предложены условия, обеспечивающие дискретность спектра и компактность резольвенты.

Доклады Российской академии наук. Математика, информатика, процессы управления. 2023;510(1):39-42
pages 39-42 views

О ТОЧНОСТИ РАЗРЫВНОГО МЕТОДА ГАЛЕРКИНА ПРИ РАСЧЕТЕ ГАЗОДИНАМИЧЕСКИХ УДАРНЫХ ВОЛН

Ладонкина М.Е., Неклюдова О.А., Остапенко В.В., Тишкин В.Ф.

Аннотация

Приведены результаты расчета газодинамических ударных волн, возникающих при решении задачи Коши с гладкими периодическими начальными данными, по трем вариантам DG (Discontinuous Galerkin) метода, в котором решение ищется в виде кусочно-линейной разрывной функции. Показано, что DG методы, для монотонизации которых используется ограничитель Кокбурна, имеют приблизительно одинаковую точность в областях влияния ударных волн, в то время как немонотонный DG метод, в котором этот ограничитель не применяется, имеет в этих областях существенно более высокую точность, что позволяет использовать его в качестве базисного метода при построении комбинированной схемы, которая монотонно локализует фронты ударных волн и сохраняет повышенную точность в областях их влияния.

Доклады Российской академии наук. Математика, информатика, процессы управления. 2023;510(1):43-51
pages 43-51 views

ОБ ОДНОМ ПОДХОДЕ К ОЦЕНКЕ ВЫРОЖДЕНИЯ ТРЕУГОЛЬНОГО ЭЛЕМЕНТА В ТРИАНГУЛЯЦИИ

Криксин Ю.А., Тишкин В.Ф.

Аннотация

Предложена количественная оценка качества треугольного элемента − индекс вырождения треугольника. Для применения данной оценки строится простейшая модельная триангуляция, в которой координаты узлов формируются как сумма соответствующих координат узлов некоторой заданной регулярной сетки и случайных приращений к ним. Для различных значений параметров вычисляется эмпирическая функция распределения индекса вырождения треугольного элемента, которая рассматривается как количественная характеристика качества треугольных элементов в построенной триангуляции.

Доклады Российской академии наук. Математика, информатика, процессы управления. 2023;510(1):52-56
pages 52-56 views