http://ojs.math.nsc.ru/index.php/semr/issue/feedСибирские электронные математические известия2024-09-03T03:38:20+00:00Никита Сергеевич Новиковeditors@math.nsc.ruOpen Journal Systems<p>Журнал основан в 2004 году <a href="http://www.math.nsc.ru/" target="_top">Институтом математики им. С. Л. Соболева СО РАН</a>. Зарегистрирован в Министерстве РФ по делам печати, телерадиовещания и средств массовых коммуникаций 24 марта 2004 г. (Эл N 77-8705). Журнал ориентирован на электронную публикацию научных статей по следующим направлениям математики: вещественный, комплексный и функциональный анализ; дифференциальные уравнения, динамические системы и оптимальное управление; математическая физика; геометрия и топология; теория вероятностей и математическая статистика; математическая логика, алгебра и теория чисел; вычислительная математика; дискретная математика и математическая кибернетика. Также принимаются к печати обзоры, статьи о математической жизни и труды конференций. Все статьи проходят процедуру рецензирования. <br />Все опубликованные статьи находятся в открытом доступе. Журнал издается только в электронном виде. Статьи выкладываются в интернете сразу после принятия решения об их публикации редколлегией и технического редактирования. С 2021 года в год выходит один том, состоящий из двух номеров.</p>http://ojs.math.nsc.ru/index.php/semr/article/view/1037Алгебра Тарского-Линденбаума класса простых моделей бесконечной алгоритмической размерности имеющих омега-стабильные теории2024-01-26T10:58:48+00:00Михаил Георгиевич Перетятькинmperetyatkin@gmail.com<p>Изучается класс всех простых сильно конструктивизируемых моделей бесконечной алгоритмической размерности имеющих $\omega$-стабильные теории в фиксированной конечной богатой сигнатуре. Доказано, что алгебра Тарского–Линденбаума этого класса рассматриваемая вместе с гёделевской нумерацией предложений является булевой $\Pi^0_4$-алгеброй у которой вычислимые ультрафильтры образуют плотное подмножество во множестве всех ультрафильтров; более того, эта алгебра является универсальной по отношению к классу булевых $\Sigma^0_3$-алгебр. Это характеризует алгебру Тарского-Линденбаума класса всех простых сильно конструктивизируемых моделей бесконечных алгоритмических размерностей имеющих $\omega$-стабильные теории.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1015Псевдоконечные полигоны2024-01-28T12:01:52+00:00Евгений Ефремовefremov-el@mail.ruАлёна Степановаstepltd@mail.ruСергей Чекановchekanov.sg@dvfu.ru<p>Работа служит началом изучения строения псевдоконечных полигонов над моноидом. Доказана теорема о конечности произвольного циклического подполигона полигона над моноидом S при условии, что этот полигон псевдоконечен и число типов изоморфизмов конечных циклических полигонов над S конечно. Показано, что копроизведение конечных полигонов псевдоконечно. Как следствие, показано, что любой полигон над конечной группой псевдоконечен.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1016О сложности проблемы равенства в полугруппах с условием однородности определяющих соотношений2023-11-23T09:09:43+00:00Александр Рыбаловalexander.rybalov@gmail.com<p>В данной работе изучается вычислительная сложность проблемы равенства полугрупп <br>с условием однородности определяющих соотношений. Это конечно определенные полугруппы,<br>в которых для каждого определяющего соотношения длины левой и правой частей равны. Проблема равенства в таких полугруппах разрешима, но известные алгоритмы работают за экспоненциальное время (и пространство). </p> <p>В данной статье доказывается, что проблема равенства в любой <br>полугруппе с условием однородности определяющих соотношений лежит в классе PSPACE, который<br>состоит из алгоритмических проблем распознавания, которые решаются машинами<br>Тьюринга с использованием пространства (ячеек памяти), ограниченного полиномиально.<br>Тем самым улучшается верхняя оценка на вычислительную сложность по пространству.<br>С другой стороны, доказывается, что cуществует полугруппа с условием однородности определяющих соотношений,<br>в которой проблема равенства полна в классе PSPACE относительно полиномиальной сводимости.<br>Предполагается (хотя и не доказано), что класс PSPACE шире класса NP и тем более класса P.<br>Таким образом, показано, что существуют полугруппы с условием однородности определяющих соотношений<br>с трудноразрешимой проблемой равенства.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1027О сложности решения уравнений над графами2024-01-05T12:27:13+00:00Александр Рыбаловalexander.rybalov@gmail.com<p>В данной работе исследуется проблема определения совместности систем уравнений без констант над<br>произвольным фиксированным конечным графом. <br>При этом граф фиксирован, а входом является произвольная система уравнений в языке графов без констант.<br>Дается критерий NP-полноты и полиномиальной разрешимости<br>этой проблемы. Также доказывается ее генерическая разрешимость за полиномиальное время.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1042Конечные группы с модулярными и субмодулярными подгруппами2024-02-14T11:09:51+00:00Irinairina.sokhor@gmail.com<p>Подгруппа $H$ группы $G$ модулярна в $G$, если подгруппа $H$ является модулярным элементом решетки подгрупп группы $G$, и субмодулярной в $G$, если существует цепочка подгрупп $H=H_0\leq\ldots\leq H_i\leq H_{i+1}\leq \ldots \leq H_n=G$ такая, что $H_i$ модулярна в $H_{i+1}$ для каждого $i$. Доказано, что группа $G$, в которой каждая силовская подгруппа модулярна, сверхразрешима и $G/F(G)$ является циклической группой порядка свободного от квадратов. Получены также признаки сверхразрешимости группы с некоторыми субмодулярными подгруппами<br>(нормализаторами силовских подгрупп, холловыми подгруппами, максимальными подгруппами). Для такой группы $G$ фактор-группа $G/\Phi(G)$ является сверхразрешимой группой экспоненты свободной от квадратов. Кроме того, описано строение групп с модулярными (субмодулярными) или самонорлизуемыми примарными подгруппами.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1064Approximating formulae2024-02-07T08:24:01+00:00Сергей Владимирович Судоплатовsudoplat@math.nsc.ru<p>Введено понятие аппроксимирующей формулы. Изучены связи аппроксимирующих формул и их спектров для псевдоконечности. Найдены полурешетки, решетки и булевы алгебры, связанные с аппроксимирующими формулами. Изучены ранговые значения аппроксимирующих формул. Рассмотрены связи между аппроксимирующими формулами и позитивными, негативными, $\forall$-формулами, $\exists$-формулами, $\exists\forall$-формулами, $\forall\exists$-формулами. Рассмотрены семейства совместных формул и охарактеризована их аппроксимируемость. Введено понятие тотально аппроксимирующего предложения и охарактерованы семейства этих предложений с точки зрения мощностей моделей и мощностей сигнатур.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1074Кольца с ациклическими сжатыми графами делителей нуля2024-02-29T07:05:37+00:00akuzmina1 Monastyrevaakuzmina1@yandex.ru<p>Мы описываем все ассоциативные конечные кольца, у которых ациклические сжатые графы делителей нуля.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1099Clause-connected versions of the satisfiability problem2024-03-27T13:27:25+00:00Vladimir Popovpopovvvv@gmail.com<p>The satisfiability problem is one of the most famous computationally hard algorithmic problems. It is well known that the satisfiability problem remains hard even in the restricted version in which Boolean formulas in conjunctive normal form with exactly three distinct literals per clause. However, the problem can be solved in polynomial time for Boolean formulas with exactly two distinct literals per clause. Narrowing the gap between the problems is of fundamental interest. Therefore, it is natural to analyze the complexity of some restricted versions of the satisfiability problem. In this paper, we prove hardness of some clause-connected versions of the satisfiability problem.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/953О связи между операторам Роты-Бакстера и решениями классического уравнения Янга-Бакстера с ад-инвариантной симметричной частью на полной линейной алгебре Ли2023-09-25T10:01:55+00:00Максим Евгеньевич Гончаровgme@math.nsc.ru<p>In the paper, we find the connection between solutions of the classical Yang-Baxter equation with an ad-invariant symmetric part and Rota-Baxter operators of special type on a real general linear algebra $gl_n(\mathbb R)$. Using this connection, we classify solutions of the classical Yang-Baxter equation with an ad-invariant symmetric part on $gl_2(\mathbb C)$ using the classification of Rota-Baxter operators of nonzero weight on $gl_2(\mathbb C)$ and a classification of Rota-Baxter operators of weight 0 on $sl_2(\mathbb C)$</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/983О конструкции Мицухары для эндоморфов2023-10-06T11:25:31+00:00Александр Пожидаевapp@math.nsc.ru<p>Рассматривается конструкция Мицухары для эндоморфов. Показывается, что данная конструкция даёт почти простые<br>алгебры, используемые для построения новых примеров простых правосимметрических алгебр. Для исследования расширений Мицухары даётся описание дифференцирований эндоморфов, построенных на неунитальных алгебрах, что обобщает результат, полученный ранее в унитальном случае.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/992О свободе и независимости в гиперграфах моделей вполне о-минимальных теорий с немаксимальным числом счетных моделей2023-10-19T08:39:58+00:00Бейбут Шайыкович Кулпешовkulpesh@mail.ru<pre id="tw-target-text" class="tw-data-text tw-text-large tw-ta" dir="ltr" data-placeholder="Перевод" data-ved="2ahUKEwiMk8_lqviBAxVdHRAIHX1VBcQQ3ewLegQIChAQ"><span class="Y2IQFc" lang="ru">В настояшей статье исследуются свойства понятий свободы и независимости гиперграфов моделей вполне o-минимальных теорий с малым числом счетных моделей. Условия свободы множеств реализаций изолированных и неизолированных типов характеризуются рангом выпуклости. В терминах слабой ортогональности получены характеризации относительной независимости множеств реализаций как изолированных, так и неизолированных 1-типов ранга <br>выпуклости 1. Найдены условия для свободы и независимости классов эквивалентности, указывающие конечный ранг выпуклости неалгебраического изолированного типа данной теории. В терминах классов <br>эквивалентности охарактеризованы условия относительной свободы для изолированных и неихолированных типов. В терминах слабой ортогональности получены характеризации относительной свободы множеств реализаций <br>изолированных и неизолированных типов для имеющихся отношений эквивалентности. Доказан перенос свойства относительной свободы типов относительно определимых биекций. Установлена существенность условий немаксимальности числа счетных моделей теории. </span></pre> <p> </p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1011Задача о равновесии гиперупругого тела c жестким включением и трещиной2023-11-15T09:00:55+00:00Алексей Фурцевfurtsev@hydro.nsc.ru<p>В работе рассматривается твердое деформируемое тело, содержащее жесткое включение с трещиной на границе. Предполагается, что это тело гиперупругое, поэтому оно описывается в рамках теории конечных деформаций. Более того, применяется условие взаимного непроникания, которое не позволяет противоположным берегам трещины проникать друг в друга. Основным объектом нашего исследования является задача минимизация энергии, соответствующая задаче равновесия описанного тела. С помощью вариационных методов показано, что данная задача имеет решение. Затем обсуждается краевая задача, которой удовлетворяет решение задачи равновесия.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1012Построение сингулярного множества функции оптимального результата в классе пространственных задач управления по быстродействию: случай целевого множества с положительной гауссовой кривизной границы2023-11-16T10:25:39+00:00<p align="JUSTIFY">Изучается проблема построения негладкого решения для одного класса пространственных задач управления по быстродействию в случае трехмерного невыпуклого целевого множества M с гладкой границей S. Конструируется сингулярное множество (т.н. рассеивающая поверхность), на котором функция оптимального результата теряет гладкость. Для аналитического описания особенностей решения введены псевдовершины – характеристические точки поверхности S, отвечающие за возникновение сингулярностей. Изучены крайние точки рассеивающей поверхности, задающие ее границу. Найдена формула для крайних точек сингулярного множества в случае, когда псевдовершины являются эллиптическими точками поверхности S. Получены необходимые условия существования псевдовершин в терминах кривизны нормального сечения S. Приведен пример построения решения задачи управления по быстродействию, опирающегося на полученные теоретические результаты.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1097Асимптотические решения интегродифференциальных уравнений с быстрыми и медленными переменными2024-03-26T17:52:10+00:00Владислав Бесовbajldau@yandex.ru<p>В статье рассматривается нелинейная интегро-дифференциальная система с быстрыми и медленными переменными. Такие системы ранее не рассматривались с точки зрения построения регуляризованных (по Ломову) асимптотических решений. Известные работы были в основном посвящены построению асимптотики типа пограничного слоя Бутузова-Васильевой, которая, как известно, может быть применена только в том случае, если спектр матрицы первой вариации (на вырожденном решении) расположен строго в открытой левой полуплоскости комплексной переменной. В случае, когда спектр указанной матрицы попадает на мнимую ось, используется метод регуляризации С.А. Ломова. Однако этот метод был разработан в основном для сингулярно возмущенных дифференциальных систем, которые не содержат интегральных членов, или для интегро-дифференциальных задач без медленных переменных. В этой статье метод регуляризации обобщен на двумерные интегро-дифференциальные уравнения с быстрыми и медленными переменными.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/947Аппроксимация детерминированных систем управления средним полем2023-08-17T07:59:37+00:00Юрий Авербухaverboukh@gmail.com<p>Статья посвящена аппроксимации детерминированных систем управления средним полем нелинейными цепями Маркова. Последние возникают как системы с динамикой среднего поля и конечным числом состояний. При этом динамика распределения вероятности в такой модели описывается системой обыкновенных дифференциальных уравнений. По заданной стратегии в нелинейной цепи Маркова, мы явно строим управление в исходной детерминированной системе управления средним полем. Также построена обратная конструкция. Эти результаты позволяют оценить расстояние по Хаусдорфу между пучками потоков вероятностей, порожденных детерминированной системой управления средним полем и нелинейной цепью Маркова. Кроме того, выделен случай, когда динамика распределия в исходной цепи может быть приближена решением конечной системы обыкновенных дифференциальных уравнений.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/776Обобщённая модель Буссинеска с переменным коэффициентом массового расширения2023-09-15T07:06:18+00:00Роман Бризицкийmlnwizard@mail.ruНикита Сергеевич Новиковnovikov-1989@yandex.ru<p>Global solvability of a boundary value problem for generalized Boussinesq model of mass-transfer is proved. In the model under consideration the mass-expansion coecient depends nonlinearly on substance's concentration and depends on spatial variables. The maximum principle for substance's concentration is valid.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/805Единственность решения обратной задачи для модели сложного теплообмена2023-10-06T06:16:24+00:00Глеб Гренкинglebgrenkin@gmail.com<pre>The steady-state complex heat transfer model within the $P_1$-approximation of the radiative transfer equation is considered. An inverse problem of reconstructing heat sources intensities with given volume densities from the prescribed values of functionals of heat sources densities on the field of total energy is investigated. The uniqueness of the inverse problem solution is proved.</pre>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/868OPTIMAL GYROSCOPIC STABILIZATION OF VIBRATIONAL SYSTEM: ALGEBRAIC APPROACH2023-09-06T05:24:28+00:00Александр Чехонадскихalexander_cheh@mail.ru<p>В статье рассматриваются линейные стационарные вибрационные системы с положительно определённой матрицей жёсткости K и симметриской матрицей потерь D. Гироскопическая стабилизация означает существование гироскопических воздействий с кососимметрической матрицей G такой, что замкнутая система с матрицей потерь (D + G) оказывается асимптотически устойчивой. Особенность характеристического многочлена в данном случае состоит в том, что стабилизация такой системы представляет собой синтез управления пониженного порядка. При выполнении необходимых условий гироскопической стабилизации ставится задача достижения максимальной степени устойчивости за счёт выбора стабилизатора G. Максимальное значение устойчивости определяется следом матрицы D, но его достижимость связана с рас положением полюсов системы в соответствии с критической корневой диаграммой. Техника критических корневых диаграмм и корневых многочленов иллюстрируется в статье примерами гиоскопической стабилизации неустойчивых вибрационных систем 3-5 порядков.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/906Two-dimensional Gavrilov flows2023-12-03T14:16:04+00:00Владимир Альтафович Шарафутдиновsharaf@math.nsc.ru<p>A steady solution to the Euler equations is called a Gavrilov flow if the velocity vector is orthogonal to the pressure gradient at any<br>point. Such flows can be localized that yields compactly supported solutions to the Euler equations. Gavrilov flows exist in dimentions 2 and 3. We present a complete description of two-dimensional Gavrilov flows.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/945Корректность модели сложного теплообмена на основе упрощенного метода сферических гармоник третьего порядка2023-10-22T11:29:12+00:00Глеб Гренкинglebgrenkin@gmail.com<p>Рассмотрена система уравнений, описывающая установившийся процесс<br>радиационно-кондуктивного<br>теплообмена в ограниченной области пространства с краевыми условиями<br>зеркального и диффузного отражения излучения и условиями третьего рода для температуры. Для описания поля<br>энергии излучения использовано $SP_3$-приближение<br>упрощенного метода сферических гармоник.<br>Установлены свойства существования и единственности решения<br>краевой задачи при ограничениях на коэффициенты<br>в граничных условиях, которые выполняются на всем диапазоне допустимых<br>физических данных.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/728Volterra type integro-differential equation with a sum-difference kernel and power nonlinearity2022-08-30T13:25:36+00:00Султан Асхабов askhabov@yandex.ru<p>Exact a priori estimates are obtained for solutions of a nonlinear integro-differential equation with a sum-difference kernel in the cone of the space of functions continuous on the positive semiaxis. On the basis of these estimates, the method of weighted metrics is used to prove a global theorem on the existence, uniqueness, and method of finding a non-trivial solution of the indicated equation. It is shown that this solution can be found by the method of successive approximations of the Picard type and an estimate is given for the rate of their convergence in terms of the weight metric. Conditions under which only a trivial solution exists are indicated. Examples are given to illustrate the results obtained.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1002Существование решения уравнения типа Рэлея на полубесконечном цилиндре с потенциалом кулоновского типа2023-11-16T14:52:22+00:00Роман Гайдуковroma1990@gmail.com<p>В работе исследуется уравнение типа Рэлея на цилиндре с потенциалом кулоновского типа. Это уравнение возникает в двухпалубной структуре пограничного слоя в задаче о течении, индуцированном равномерно вращающимся диском с малыми периодическими неровностями на его поверхности при больших значениях числа Рейнольдса. C помощью комбинированного численно-аналитического подхода доказано существование единственного решения исследуемого уравнения.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1017Совершенные раскраски циркулянтных графов в большое число цветов2024-01-18T06:47:12+00:00Мария Лисицынаlisitsyna.mariya.mathematician@gmail.comСергей Августиновичavgust@math.nsc.ru<p><em>Бесконечный циркулянтный граф со сплошным набором дистанций</em> - это граф, множество вершин которого совпадает с множеством целых чисел, а рёбрами соединены вершины, находящиеся на расстоянии 1, 2, ... или n. В работе описаны все совершенные раскраски таких графов в k цветов для k больших или равных 3n+2.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1030Small length circuits in Eulerian orientations of graphs2023-12-02T08:16:01+00:00Aleksei Perezhoginpereal@math.nsc.ruSergei Avgustinovichavgust@math.nsc.ruIgor Bykovigor.s.bykov@yandex.ru<p>In this paper we investigate estimates for number of 3-, 4- and 5-circuits in eulerian tournaments and 4-circuits in eulerian orientations of complete bipartite graphs and hypercubes.<br>By using obtained relations, we prove uniqueness (up to isomorphism) of orientations, which reach maximum number of 4-circuits in all graph families mentioned above.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1010Описание ребер в плоских нормальных картах без смежных 3-граней2024-03-21T08:32:38+00:00Олег Бородинbrdnoleg@math.nsc.ruAnna Ivanovashmgnanna@mail.ru<p>Вес $w(e)$ ребра $e$ в плоской нормальной карте (NPM) - это сумма степеней его концевых вершин. Ребро $e=uv$ является $(i,j)$-ребром, если $d(u)\le i$ и $d(v)\le j$. В 1940 г. Лебег доказал, что в каждой NPM имеется $(3,11)$-ребро, или $(4,7)$-ребро, или $(5,6)$-ребро, где 7 и 6 неулучшаемы. В 1955 г. Коциг доказал, что в каждом 3-многограннике найдется ребро $e$ с $w(e)\le13$, оцентка точна. Бородин (1987), отвечая на вопрос Эрдеша, доказал, что в каждой NPM найдется такое ребро. Более того, Бородин (1991) уточнил это, доказав, что существует или $(3,10)$-ребро, или $(4,7)$-ребро, или $(5,6)$-ребро.</p> <p>Для NPM получены некоторые верхние границы минимального веса всех ее ребер, обозначаемого $w$, инцидентных 3-грани --- $w^*$, и инцидентных двум 3-граням --- $w^{**}$. В частности, Бородин (1996) доказал, что если $w^{**}=\infty$ (что имеет место, если в NPM нет ребер, инцидентных двум 3-граням), то или $w^*\le9$, или $w\le8$, причем обе оценки точны.</p> <p>Целью заметки является уточнение этого результата, а именно доказательство факта, что $w^{**}=\infty$ подразумевает наличие либо $(3,6)$- или $(4,4)$-ребра, инцидентного 3-грани, либо наличие $(3,5)$-ребра, причем это описание точно.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1111On cubic graphs having the maximal coalition number2024-04-15T08:10:47+00:00Andrey Dobrynindobr@math.nsc.ru<p>A coalition in a graph $G$ with vertex set $V$ consists of two disjoint sets $V_1, V_2\subset V$ such that neither $V_1$ nor $V_2$ is a dominating set, but the union $V_1\cup V_2$ is a dominating set in $G$. A partition of graph vertices is called a coalition partition $\mathcal{P}$ if every non-dominating set of $\mathcal{P}$ is a member of a coalition and every dominating set is a single-vertex set. The coalition number $C(G)$ of a graph $G$ is the maximum cardinality of its coalition partitions. It is known that for cubic graphs $C(G) \le 9$. The existence of cubic graphs with the maximal coalition number is an unsolved problem. In this paper, an infinite family of cubic graphs satisfying $C(G)=9$ is constructed.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/978Произведения многомерных матриц, стохастических матриц и перманенты2024-01-15T08:26:37+00:00Анна Александровна Тараненкоtaattg@mail.ru<p>Работа посвящена исследованию четырех базовых операций над многомерными матрицами (внешнее произведение, кронекерово произведение, свертка и проекция) и двух производных операций (скалярное и круговое произведение). Рассмотрены взаимосвязи между этими операциями, некоторые их алгебраические свойства, а также их действие на k-стохастические матрицы. Кроме того, доказано несколько соотношений на перманенты произведений многомерных матриц. В частности, получено, что перманент умножения неотрицательных матриц не меньше произведения их перманентов. Другой результат статьи состоит в том, что неравенства на кронекерово произведение неотрицательных 2-мерных матриц не могут быть распространены на многомерный случай. </p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1032Модули семейств поверхностей, векторные поля, ёмкость, дифференциальные формы2023-12-03T15:30:21+00:00Александр Сергеевич Романовasrom@math.nsc.ru<p>В работе изучаются взаимосвязи между p-модулями семейств поверхностей, </p> <p>векторными полями, ёмкостью и дифференциальными формами.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1000English2024-03-07T17:05:00+00:00Александр Шлапуновashlapunov@sfu-kras.ruПавел Вилковpavel_vilkov17@mail.ru<p> Пусть $G_1, G_2 $ -- области в ${\mathbb R}^{n+1}$, $n \geq 2$,такие, что $G_1 \subset G_2$ и область $G_1$ имеет достаточно регулярную границу. Исследуется задача аппроксимации решений сильно равномерно $2m$-параболической системы $\mathcal L$ в области $G_1$ решениями той же системы в области $G_2$. Сначала мы доказываем, что пространство $S _{\mathcal L}(G_2)$ решений системы $\mathcal L$ в области $G_2$ всюду плотно в пространстве $S _{\mathcal L}(G_1)$, снабженном стандартное топологией Фреше равномерной сходимости на компактах из области $G_1$, в том и только том случае, когда дополнения $G_2 (t) \setminus G_1 (t)$ не имеют непустых компактных компонент в $G_2 (t)$ для каждого $t\in \mathbb R$, где $G_j (t) = \{x \in {\mathbb R}^n: (x,t) \in G_j\}$. Затем, при дополнительных предположениях относительно регулярности ограниченной областей $G_1$ и $G_1(t)$, мы доказываем, что решения класса Лебега $L^2(G_1)\cap S _{\mathcal L}(G_1)$ можно приблизить решениями из <br>$S _{\mathcal L}(G_2)$ тогда и только тогда, когда выполнены те же предположения на дополнения $G_2 (t) \setminus G_1 (t)$, $t\in \mathbb R$.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1040ФОРМУЛЫ ОБРАЩЕНИЯ ДЛЯ ВОЗВРАТНОЙ ЦЕПИ МАРКОВА2024-01-13T11:47:09+00:00Sergey Nagaevsnagaev1932@gmail.com<p>Выведены комбинаторные формулы обращения для возвратной цепи Маркова.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/928Lower Large Deviations of Strongly Supercritical Branching Process in Random Environment with Geometric Number of Descendants: Local Asymptotics2023-07-08T18:12:11+00:00Konstantin Denisovdenisovkonstan@yandex.ru<p>We consider local probabilities of lower deviations for branching process $Z_{n} = X_{n, 1} + \dotsb + X_{n, Z_{n-1}}$ in random environment $\boldsymbol\eta$. We assume that $\boldsymbol\eta$ is a sequence of independent identically distributed variables and for fixed $\boldsymbol\eta$ the distribution of variables $X_{i,j}$ is geometric. We suppose that the associated<br>random walk $S_n = \xi_1 + \dotsb + \xi_n$ has positive mean $\mu$ and satisfies left-hand Cramer's condition ${\bf E}\exp(h\xi_i) < \infty$ as $h^{-}<h<0$ for some $h^{-} < -1$. Under these assumptions, we find the asymptotic representation for local probabilities ${\bf P}\left( Z_n = \lfloor\exp\left(\theta n\right)\rfloor \right)$, where $\theta$ is near the boundary of the first and the second deviations zones.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/1092Victor Danilovich Mazurov (on his 80-th birthday)2024-03-18T02:40:49+00:00Никита Сергеевич Новиковnovikov-1989@yandex.ru<p>Статья посвящена юбилею В.Д. Мазурова</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/785Concept controlling model for arresting epidemics, including COVID-192023-03-20T07:25:15+00:00Grigory Kaminskiygregkaminski.gk@gmail.comYuriy Prostovprostovpro@mail.ruMichail Prostovprostomi@gmail.comNicolaj PimenovN.pimenov@mail.ruElena Veselovadrveselovae@mail.ruAlexander Vinokurovanatol-vinok@mail.ruEduard Karamovkaramov2004@yandex.ruAnna Panovaanna_panova@bk.ruAli Turgievturgiev@ld.ruValeria Chernetsovachernet@mail.ruAlexander Lomovtsevlom44@rambler.ruIrina Vasilyevavasil39@list.ru<p>This article focuses on the assessment of the intensity of the epidemic process and the proportionate intensity of control by using mathematical modeling. In this work we studied the specifics of the parameters of the infectious and epidemic process, as well as control parameters. Formulas for controlling the epidemic process for calculating the critical levels of influence (interventions) and the time to achieve the result are obtained. A concept controlling model has been developed for both new and returning infectious diseases. The adequacy of the model based on real data, as well as examples of intervention campaigns are presented.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/973Коррекция неравномерности интенсивности магнитно-резонансных изображений с помощью рамп фильтра2023-10-23T05:34:17+00:00Иван Гаврилович Казанцевkazantsev.ivan6@gmail.com<p>Статья посвящена проблеме корреции неравномерности интенсивности ярокости в магитно-резонанасых изображенй. Эта задача возникает в следствие особенностей оборудования визуализации, вызванными магнитными катушками сканеоа и другими техническими причинами. Смещение поля яркостей затрудняет распознавание объектов на МРТ снимках для постановки диагноза. В статье предлагается использовать рамп фильтр известный также как ро-фильтр. Вычислительные эксперименты с тестовыми изображенями и МРТ снимками малых животных представлены.<br><br></p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известияhttp://ojs.math.nsc.ru/index.php/semr/article/view/846FIRST p-STEKLOV EIGENVALUE UNDER GEODESIC CURVATURE FLOW2023-04-25T09:11:08+00:00shahroud azamiazami@sci.ikiu.ac.ir<p>We study the first nonzero p-Steklov eigenvalue on a twodimensional compact Riemannian manifold with a smooth boundary along the geodesic curvature flow. We prove that the first nonzero p-Steklov eigenvalue is nondecreasing if the initial metric has positive geodesic curvature on boundary ∂M and vanishing Gaussian curvature in M along the unnormalized<br />geodesic curvature flow. An eigenvalue estimation is also obtained along the<br />normalized geodesic curvature flow.</p>2024-09-03T00:00:00+00:00Copyright (c) 2024 Сибирские электронные математические известия