Том 510, № 1 (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

Согласие на обработку персональных данных с помощью сервиса «Яндекс.Метрика»

1. Я (далее – «Пользователь» или «Субъект персональных данных»), осуществляя использование сайта https://journals.rcsi.science/ (далее – «Сайт»), подтверждая свою полную дееспособность даю согласие на обработку персональных данных с использованием средств автоматизации Оператору - федеральному государственному бюджетному учреждению «Российский центр научной информации» (РЦНИ), далее – «Оператор», расположенному по адресу: 119991, г. Москва, Ленинский просп., д.32А, со следующими условиями.

2. Категории обрабатываемых данных: файлы «cookies» (куки-файлы). Файлы «cookie» – это небольшой текстовый файл, который веб-сервер может хранить в браузере Пользователя. Данные файлы веб-сервер загружает на устройство Пользователя при посещении им Сайта. При каждом следующем посещении Пользователем Сайта «cookie» файлы отправляются на Сайт Оператора. Данные файлы позволяют Сайту распознавать устройство Пользователя. Содержимое такого файла может как относиться, так и не относиться к персональным данным, в зависимости от того, содержит ли такой файл персональные данные или содержит обезличенные технические данные.

3. Цель обработки персональных данных: анализ пользовательской активности с помощью сервиса «Яндекс.Метрика».

4. Категории субъектов персональных данных: все Пользователи Сайта, которые дали согласие на обработку файлов «cookie».

5. Способы обработки: сбор, запись, систематизация, накопление, хранение, уточнение (обновление, изменение), извлечение, использование, передача (доступ, предоставление), блокирование, удаление, уничтожение персональных данных.

6. Срок обработки и хранения: до получения от Субъекта персональных данных требования о прекращении обработки/отзыва согласия.

7. Способ отзыва: заявление об отзыве в письменном виде путём его направления на адрес электронной почты Оператора: info@rcsi.science или путем письменного обращения по юридическому адресу: 119991, г. Москва, Ленинский просп., д.32А

8. Субъект персональных данных вправе запретить своему оборудованию прием этих данных или ограничить прием этих данных. При отказе от получения таких данных или при ограничении приема данных некоторые функции Сайта могут работать некорректно. Субъект персональных данных обязуется сам настроить свое оборудование таким способом, чтобы оно обеспечивало адекватный его желаниям режим работы и уровень защиты данных файлов «cookie», Оператор не предоставляет технологических и правовых консультаций на темы подобного характера.

9. Порядок уничтожения персональных данных при достижении цели их обработки или при наступлении иных законных оснований определяется Оператором в соответствии с законодательством Российской Федерации.

10. Я согласен/согласна квалифицировать в качестве своей простой электронной подписи под настоящим Согласием и под Политикой обработки персональных данных выполнение мною следующего действия на сайте: https://journals.rcsi.science/ нажатие мною на интерфейсе с текстом: «Сайт использует сервис «Яндекс.Метрика» (который использует файлы «cookie») на элемент с текстом «Принять и продолжить».