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

Том 523, № 1 (2025)

Обложка

Весь выпуск

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

МАТЕМАТИКА

О главных подмодулях в модулях целых функций, двойственных к пространствам Ω-ультрадифференцируемых функций

Абузярова Н.Ф., Фазуллин З.Ю.

Аннотация

В работе рассматриваются весовые модули целых функций, двойственные общим пространствам Ω-ультрадифференцируемых функций. В этих модулях, с точки зрения задачи локального описания, исследуются главные подмодули. Показано, что последние не всегда допускают локальное описание в слабом смысле. Получены нетривиальные условия, при которых локальное описание возможно. Все результаты имеют эквивалентную двойственную форму, в которой становятся утверждениями о (не)допустимости спектрального синтеза инвариантными относительно оператора дифференцирования подпространствами в соответствующих пространствах Ω-ультрадифференцируемых функций.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):3–9
pages 3–9 views

НОВЫЕ ФОРМУЛЫ ОБРАЩЕНИЯ ПРЕОБРАЗОВАНИЯ РАДОНА

Аниконов Д.С., Коновалова Д.С.

Аннотация

Для интегрального преобразования Радона известны классические формулы обращения для определения подынтегральной функции при условии ее гладкости. Однако это ограничение не вполне соответствует применению результатов в теории зондирования, которая является основной областью использования преобразования Радона. Более естественным было бы предположение о допустимости разрывов первого рода для подынтегральных функций. В работе приводятся ряд формул обращения, доказанных авторами для кусочно-непрерывных функций. Проводится сравнение полученных вариантов формул и даются предварительные рекомендации по их использованию для численных алгоритмов.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):10-14
pages 10-14 views

ТИПОВО-КВАНТОРНОЕ ИСЧИСЛЕНИЕ ПОЗИТИВНО-ОБРАЗОВАННЫХ ФОРМУЛ С ОТРИЦАНИЯМИ

Васильев С.Н.

Аннотация

Разработаны логические позитивно-образованные средства представления знаний и автоматизации дедуктивного вывода: типово-кванторные язык и исчисление. В них типовые условия кванторов могут содержать отрицания, а исчисление обладает полнотой относительно выводимости в классическом исчислении предикатов.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):15-20
pages 15-20 views

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

Вишникин М.Е.

Аннотация

Работа посвящена базовым категориальным грамматикам с однозначным присвоением типов (БКГОПТ). Для данного класса рассмотрен ряд алгоритмических свойств. Доказано, что проверка для произвольного контекстно-свободного языка L того, порождается ли он некоторой грамматикой из класса БКГОПТ, является алгоритмически неразрешимой. Кроме того, доказано, что для произвольных двух БКГОПТ задача определения пустоты пересечения языков, порождаемых этими грамматиками, также алгоритмически неразрешима.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):21-26
pages 21-26 views

О РАЗРЕШИМОСТИ В КЛАССАХ ЖЕВРЕ ЗАДАЧИ КОШИ ДЛЯ УРАВНЕНИЯ С ДРОБНОЙ ПРОИЗВОДНОЙ ВЕЙЛЯ

Алимов Ш.А.

Аннотация

Дано альтернативное определение производных Вейля дробного порядка и изучено их действие на функции из классов Жевре. Для уравнения с частными производными Вейля найдены условия разрешимости задачи Коши в классах Жевре.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):27-30
pages 27-30 views

ОЦЕНКИ ПОГРЕШНОСТИ ИНТЕРПОЛЯЦИИ В СРЕДНЕМ ИНТЕГРАЛЬНЫМИ КВАДРАТИЧЕСКИМИ СПЛАЙНАМИ И ТОЧКИ СУПЕРСХОДИМОСТИ

Волков Ю.С.

Аннотация

Рассматривается задача интерполяции в среднем функции по известным интегрально усредненным по промежуткам сетки значениям интегральным квадратическим сплайном. Показано, что интегральный квадратический сплайн можно определять через интерполяционный кубический сплайн. Поскольку интерполяционный кубический сплайн достаточно хорошо изучен, то известные оценки погрешности интерполяции и некоторые его свойства можно перенести на интегральный квадратический сплайн. Найдены точки суперсходимости интегрального сплайна, в которых повышается порядок приближения.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):31-34
pages 31-34 views

ОБ ОДНОМ ПОДХОДЕ К ПОЛУЧЕНИЮ ОЦЕНОК УСТОЙЧИВОСТИ ДЛЯ МАРКОВСКИХ ЦЕПЕЙ С НЕПРЕРЫВНЫМ ВРЕМЕНЕМ

Зейфман А.И., Усов И.А., Сатин Я.А., Крюкова А.Л., Королев В.Ю.

Аннотация

Рассматриваются однородные марковские цепи с непрерывным временем. Предложен новый подход, позволяющий получать для таких цепей точные оценки устойчивости по отношению к возмущениям инфинитезимальных характеристик. Рассмотрено применение полученных результатов для нескольких классов стационарных систем массового обслуживания, а также и для некоторых нестационарных систем.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):35-43
pages 35-43 views

О ЧИСЛЕННОМ РЕШЕНИИ ТРЕХМЕРНОЙ ЗАДАЧИ НЕЙМАНА ДЛЯ УРАВНЕНИЯ ГЕЛЬМГОЛЬЦА МЕТОДОМ ПОТЕНЦИАЛОВ

Каширин А.А., Смагин С.И.

Аннотация

Рассматривается трехмерная внешняя задача Неймана для уравнения Гельмгольца. Методом потенциалов она сводится к граничному слабо сингулярному интегральному уравнению Фредгольма второго рода, которое решается численно. Повышение точности и снижение вычислительной сложности алгоритма численного решения достигается осреднением ядра интегрального оператора и локализацией его сингулярной части при дискретизации с использованием простых аналитических выражений. Приведены примеры использования данного подхода при численном решении исходной задачи.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):44-49
pages 44-49 views

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

Ладонкина М.Е., Тишкин В.Ф.

Аннотация

В настоящей работе предлагается модификация разрывного метода Галеркина, с использованием базисных функций, зависящих от времени. Использование таких базисных функций, позволяет естественным образом устойчиво рассчитывать сильные разрывы.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):50-58
pages 50-58 views

ОБ ИНТЕГРАЛАХ ЭНЕРГИИ СМЕШАННОЙ ЗАДАЧИ ДЛЯ В-ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ

Ляхов Л.Н.

Аннотация

Рассмотрена смешанная задача для В-гиперболического уравнения в евклидовых областях, имеющих разное расположение относительно сингулярных координатных гиперплоскостей. В каждой из этих областей введены интегралы энергии по интегральной мере Лебега–Киприянова со слабой и сильной особенностями. Доказано отсутствие потока энергии через координатные сингулярные гиперплоскости, являющиеся внутренней границей зеркально симметричных областей в евклидовом пространстве. При существовании решений этих задач доказана их единственность.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):59–65
pages 59–65 views

О НЕКОТОРЫХ ОСТОВНЫХ ПОДГРАФАХ СЛУЧАЙНЫХ ГРАФОВ

Серкова О.И.

Аннотация

Представлено академиком РАН В. В. Козловым. Получено улучшение результата Риордана о пороговой вероятности вхождения остовного подграфа в случайный граф для некоторых классов подграфов, что, в частности, позволило улучшить оценку на максимальную степень гамильтонова цикла в случайном графе. Кроме того, найдена асимптотика точной пороговой вероятности для вхождения широкого класса k-вырожденных остовных подграфов в случайный граф.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):66-70
pages 66-70 views

О РАЗМЕРАХ k-ПОДГРАФОВ БИНОМИАЛЬНОГО СЛУЧАЙНОГО ГРАФА

Яровиков Ю.Н.

Аннотация

Рассмотрим E(G, k) — множество количеств ребер индуцированных подграфов размера k данного графа G на n вершинах. Мы доказали для любого α > 0 и достаточно малых ε, что если (ln n)1+α < k < en, то для биноминального случайного графа G = G(n, p), множество E(G, k) с высокой вероятностью содержит большое подмножество, которое представляет собой непрерывный отрезок, а также нашли асимптотику длины этого отрезка.
Доклады Российской академии наук. Математика, информатика, процессы управления. 2025;523(1):71-74
pages 71-74 views

Согласие на обработку персональных данных

 

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