Известия Российской академии наук. Серия математическая

The main purpose of this paper is to study an abstract system which consists of a non-linear differential inclusion with $C_0$-semigroups and history-dependent operators combined with an evolutionary non-linear inclusion involvingpseudomonotone operators, which contains several interesting problems as special cases. We first introduce a hybrid iterative system by using the Rothe method, pseudomonotone operators theory,and a feedback iterative technique. Then, the existence and a priori estimates for solutions to a series of approximating discrete problems are established. Furthermore, through a limiting procedure for solutions of the hybrid iterative system, we show that the existence of solutions to the original problem.

Алгебрами Клини называются структуры со сложением, умножением и константами $0$ и $1$, задающими идемпотентное полукольцо, и операцией итерации Клини. В частном случае $*$-непрерывных алгебр Клини итерация Клини определяется инфинитарным образом как супремум степеней элемента. В работе получены результаты об алгоритмической сложности хорновых теорий (семантического следования из конечных множеств гипотез) коммутативных $*$-непрерывных алгебр Клини. А именно, доказана $\Pi_1^1$-полнота их хорновой теории и $\Pi^0_2$-полнота ее фрагмента, где в гипотезах нельзя использовать итерацию. Эти результаты являются коммутативными аналогами соответствующих теорем Д. Козена (2002) для общего (некоммутативного) случая. Также получены несколько сопутствующих результатов.Библиография: 24 наименования.

Изучается процесс распространения ударных волн в двумерных средах без собственного перепада давления. Модель таких сред представляет собой систему уравнений газовой динамики, где формально давление положено равным нулю. С точки зрения теории систем законов сохранения рассматриваемая система уравнений является в некотором смысле вырожденной, и, вследствие этого, соответствующие обобщенные решения обладают сильными особенностями: эволюционирующими ударными волнами с плотностью в виде дельта-функций на многообразиях разной размерности. Это свойство будем обозначать как эволюцию иерархии сильных особенностей или эволюцию иерархии ударных волн. В двумерном случае доказано существование такого взаимодействия сильных особенностей с дельта-функцией плотности вдоль кривых в пространстве $\mathbb{R}^2$, при котором возникает концентрация плотности в точке, т. е. возникает иерархия ударных волн. Описаны свойства подобной динамики сильных особенностей. Полученные результаты являются отправной точкой для перехода в дальнейшем к гораздо более интересному многомерному случаю.Библиография: 44 наименования.

Доказано, что стандартная гипотеза Гротендика $B(X)$ типа Лефшеца верна для любого гладкого комплексного проективного 4-мерного многообразия $X$, допускающего морфизм на гладкую проективную кривую, общим схемным слоем которого является абелево многообразие с плохой полустабильной редукцией в некоторой точке кривой.Библиография: 41 наименование.

Задача о нахождении первых интегралов уравнений Ньютона в $n$-мерном евклидовом пространстве сводится к задаче о нахождении двух интегралов движения на симплектических листах алгебры Ли $\mathrm{so}(4)$ инвариантных относительно $m\geqslant n-2$ вращательных полей симметрий. В качестве примера получено несколько новых семейств интегрируемых и суперинтегрируемых систем с интегралами движения первой, второй и четвертой степеней по импульсам. Соответствующее уравнение Гамильтона–Якоби не допускает полного разделения переменных ни в одной из известных криволинейных ортогональных систем координат в евклидовом пространстве.Библиография: 33 наименования.