Search

Решение прямой кинематической задачи сейсмики важный этап обработки данных полевых измерений в сейсмологии и сейсморазведке, например, при решении обратной кинематической задачи сейсмики методом нелинейной лучевой сейсмотомографии 1, в методе пространственно-временной миграции Кирхгофа и др. К настоящему моменту существует несколько подходов к решению данной задачи. К наиболее популярным из них относятся: 1) методы, основанные на решении двухточечной краевой задачи 2) метод волновых фронтов 3) разностные методы решения уравнения эйконала и др. 2, 3. Предлагаемый в работе метод относится к методам лучевого трассирования 4 и преодолевает некоторые ограничения, присущие вышеперечисленным методам. Основой подхода, предложенного в данной работе, является итерационный метод Ньютона Канторовича. Алгоритм трехмерной пристрелки прост в реализации и допускает почти линейное распараллеливание. Вопросы сходимости метода Ньютона в применении к поставленной задаче в данной работе не рассматриваются. Также не рассматриваются вопросы применимости метода при наличии каустик, зон тени, дифракции., The solution of the direct kinematic problem of seismics is an important stage of the seismic data processing in seismology and seismic explorations, e.g., while solving the inverse kinematic problem of seismics by the method of nonlinear seismic tomography, in the method of the space-time Kirchhoffs migration, etc. There are several approaches now to the solution of this problem: 1) methods based on the solution of two-point boundary value problems 2) the wavefront construction method 3) finite-difference methods for solving eikonal differential equations, etc. 23. The method proposed in this paper relates to ray tracing methods and overcomes some of the limitations inherent in the above methods. The basis of the approach is the iterative Newtons method. The algorithm of threedimensional shooting is simple to implement and allows almost linear speedup from parallelization. Questions of convergence of the Newton method applied to this problem are not considered in this paper. In addition, we do not consider the applicability of the method in the presence of caustics, shadow zones, and diffraction., №1(105) (2020)

Одной из наиболее актуальных задач цифровой обработки изображений является задача поиска новых математических подходов к анализу и обработке многоканальных изображений (в том числе данных дистанционного зондирования Земли). Актуальность этих исследований определена необходимостью оптимизации существующих методов цифровой обработки изображений, повышения эффективности и качества результатов, получаемых в результате анализа цифрового сигнала. В работе предложен подход к обработке данных дистанционного зондирования Земли, основанный на определенных инвариантных интегрально-геометрических характеристиках цифрового изображения. Инвариантные характеристики играют важную роль в обработке цифрового сигнала и широко используются в задачах распознавания образов, при поиске структурных соответствий по образцу, в задачах дистанционного зондирования, геологических исследованиях. В работе также представлено описание программного модуля, разработанного в системе MatLab в целях анализа изображений и вычисления указанных числовых характеристик., Search for new mathematical approaches to the multichannel images analysis and processing (including Earth remote sensing data) is one of the topical problems in digital image processing. The relevance of it is determined by the need to optimize the existing methods of digital image processing, to improve the efficiency and quality of the results obtained from the digital signal analysis. In this paper, we present an approach to Earth remote sensing data processing based on invariant integral-geometric characteristics of the digital image. The invariant characteristics play an important role in digital signal processing and are widely used in pattern recognition tasks, in pattern structural matching, in remote sensing tasks, and in geological research. The paper also describes a MatLab software module developed for image analyzing and calculating of the numerical integral-geometric characteristics., №1(105) (2020)

Работа посвящена исследованию спектральных асимптотик эллиптических операторов произвольного четного порядка в ограниченной области со степенным вырождением вдоль всей границы. Исследуемые операторы порождаются с помощью полуторалинейных форм, которые могут не удовлетворять условию коэрцитивности. Основная часть опубликованных работ по этому направлению относится к случаю, когда коэффициенты исследуемых операторов представимы в виде произведения ограниченной функции и степени расстояния до границы. В отличие от этого здесь изучаем эллиптические операторы, младшие коэффициенты которых принадлежат некоторым L_p-пространствам со степенным весом. Ранее во многих работах, где изучалась оценка резольвенты несамосопряженных операторов, порожденных с помощью полуторалинейных форм, доказывалось неравенство вида (A-lambda E)-1leq Mlambda-1/2. Здесь доказано одно представление резольвенты исследуемого оператора A, которое позволяет получить неравенство такого типа с показателем 1 вместо 1/2. На основе таких неравенств можно исследовать вопросы суммируемости в смысле Абеля Лидского системы корневых вектор-функций оператора A. Также доказывается, что оператор A имеет дискретный спектр, и изучается асимптотика функции N(t), указывающей число собственных значений оператора A, не превосходящих по модулю t, с учетом их алгебраических кратностей., The paper is devoted to the study of the spectral asymptotics of elliptic operators of arbitrary even order in a bounded domain with power degeneration along the entire boundary. The operators under study are generated by sesquilinear forms that may not satisfy the coercivity condition. The main part of the published papers in this area refers to the case when the coefficients of the studied operators can be represented as a product of a bounded function and the degree of distance to the boundary. In contrast, here we study elliptic operators whose lower coefficients belong to certain L_p-spaces with power weights. Earlier, in many papers, where the estimation of the resolvent of non-self-adjoint operators generated by sesquilinear forms was studied, the inequality of the form (A-lambda E)-1leq Mlambda-1/2 was proved. Here we prove one representation of the resolvent of the operator A that allows us to obtain an inequality of this type with 1 instead of 1/2. On the basis of such inequalities, we can investigate the summability in the AbelLidskiy sense of the system of root vector functions of the operator A. It is also proved that the operator A has a discrete spectrum, and the asymptotics of the function N(t), the number of eigenvalues of the operator A whose magnitude is at most t, taking into account their algebraic multiplicities, is studied., №4(104) (2020)

The given paper touches upon the problem of German migration policy in contemporary period. The on-going processes allow us to conclude that the German migration paradigm has been changing as well as one of the most successful states in the European Union and as a state endowed with the greatest peace load after the crisis of 2008. The study gives the main qualitative and quantitative characteristics of the German migration policy in the 2000s. First of all, it is characterized by changes in the geography of migration flows. In 2004, with ten new countries entering the EU, the inflow of migrants from Eastern Europe countries began to increase. During this period, the number of immigrants from Poland has almost doubled. After Bulgaria and Romania joined the EU, the number of people from these countries also increased by more than three times. At the period of 2008 crisis, the inflow of migrants from Italy, Spain, Greece and the Balkan countries intensified; the number of migrants from Croatirapidly increasedafter this country joined the EU in 2013. The author analyzes the qualitative composition of migrants and concludes that, from the beginning of the 21st century, the working migration, having dominated for many decades, is gradually changing in favor of skilled workers’ migration. The important role of universities in order to attract highly qualified specialists is substantiated. The migration impact on the labor market is studied with a special attention. It is due to the fact that, when arriving in the country and getting the opportunity to apply skills and realize their human capital, a migrant becomes a kind of investor in the hosting country economy, contributing to its growth. One of its main advantages is that, already having a certain set of knowledge and skills (the hosting country does not need to pay for his education), he can generate new knowledge, create innovations, thereby increasing the competitiveness of the recipient country economy. Germany has a policy of attracting highly qualified migrants to the country. The paper touches upon the innovations in the migration policy of Germany in the 21st century. A “Blue Card” has been introduced for highly qualified professionals in accordance with the EU directive and labor market regulation has been changed. The need to reduce the number of legal restrictions for migrants from third countries, and to improve attitudes towards migrants, despite the failure of the multiculturalism policy, is indicated too. There are still many obstacles to immigrants’active participation in the labor market, such language difficulties, differences in educational systems, and lack of information about vacancies.

Исследуется вопрос об однозначной разрешимости первой смешанной задачи для вырождающегося параболического уравнения 2го порядка в случае, когда граничная и начальная функции принадлежат пространствам типа L2. Данная тематика берет начало с классических работ Ф. Рисса 1 и Литтлвуда и Пэли 2, посвященных граничным значениям аналитических функций. Дальнейшее развитие этой тематики для равномерно эллиптических уравнений получило в работах В. П. Михайлова, А. К. Гущина 3 9. Условие гладкости границы (Q C2) можно ослабить (см. 7). При наиболее слабых ограничениях на гладкость границы (и на коэффициенты уравнения) критерий существования граничного значения установлен в 7 9. При этом, как показано в работе 9, все направления принятия граничных значений для равномерно эллиптических уравнений оказываются равноправными, решение обладает свойством, аналогичным свойству непрерывности по совокупности переменных. В случае вырождения уравнения на границе области, когда направления не являются равноправными, ситуация более сложная. При этом постановка первой краевой задачи определяется типом вырождения. В случае, когда значения соответствующей квадратичной формы вырождающегося эллиптического уравнения на векторе нормали отличны от нуля (вырождение типа Трикоми), корректна задача Дирихле, и свойства такого вырождающегося уравнения весьма близки к свойствам равномерно эллиптического уравнения. В частности, в этой ситуации справедливы аналоги теорем Рисса 1 и Литтлвуда Пэли 2, 3. В случае вырождения типа Келдыша ситуация более сложная. Постановка первой краевой задачи и поведение решения вблизи границы определяются порядком вырождения уравнения, а в случае сильного вырождения коэффициентами при младших членах. Вопросам разрешимости первой краевой задачи для вырождающихся эллиптических и параболических уравнений посвящено большое число работ. Достаточно отметить работы Ф. Трикоми 10, М. В. Келдыша11, А. В. Бицадзе 12, С. А. Терсенова 13, И. М. Петрушко 14, 15, О. А. Олейник, Е. В. Радкевича 16, Г. Фикеры 17 и др. Из недавних работ можно отметить 18. В настоящей работе рассматривается случай сильного вырождения параболического уравнения 2го порядка, когда соответствующая квадратичная форма убывает как r(x) и постановка первой смешанной задачи определяется коэффициентом при первой производной по нормали., The paper investigates the question of the unique solvability of the first mixed problem for a degenerate secondorder parabolic equation in the case when the boundary and initial functions belong to spaces of type L2. This topic originates from the classical works of F. Riesz 1 and Littlewood and Paley 2 devoted to the boundary values of analytic functions. Under the weakest restrictions on the smoothness of the boundary (and on the coefficients of the equation), the criterion for the existence of a boundary value was established in 7 9. The boundary smoothness condition (Q C2) can be weakened (see 10). Moreover, as shown in 9, all directions of the adoption of boundary values for uniformly elliptic equations turn out to be equal the solution has the property similar to the property of continuity in the set of variables. In the case of degeneration of the equation at the boundary of the region, when the directions are not equal, the situation is more complicated. Moreover, the formulation of the first boundary value problem is determined by the type of degeneracy. In the case when the values of the corresponding quadratic form of the degenerate elliptic equation on the normal vector are nonzero (Tricomi type degeneracy), the Dirichlet problem is correct, and the properties of such degenerate equation are very close to the properties of a uniformly elliptic equation. In particular, in this situation, analogs of the Riesz theorems 1 and Littlewood Paley 2, 3 are valid. In the case of degeneracy of the Keldysh type, the situation is more complicated. The statement of the first boundaryvalue problem and the behavior of the solution near the boundary are determined by the order of degeneracy of the equation, and in the case of strong degeneracy, by the coefficients of the lower terms. A large number of papers have been devoted to the solvability of the first boundaryvalue problem for degenerate elliptic and parabolic equations. Note the works of F. Tricomi 11, M. V. Keldysh 12, A. V. Bitsadze 13, S. A. Tersenov 14, I. M. Petrushko 15, O. A. Oleinik and E. V. Radkevich 16, G. Fichera 17, etc. From recent works it is worth noting 18. In this paper, we consider the case of strong degeneracy of a secondorder parabolic equation when the corresponding quadratic form decreases as r(x) and the formulation of the first mixed problem is determined by the coefficient of the first normal derivative., №3(103) (2019)

J. Koolen posed the problem of studying distance-regular graphs in which neighborhoods of vertices are strongly regular graphs with the second eigenvalue ≤ t for the given positive integer t. This problem is reduced to the des­cription of distance-regular graphs in which neighborhoods of vertices are strongly regular graphs with the non-principal eigenvalue t for t = 1, 2,… In the paper “Distance regular graphs in which local subgraphs are strongly regular graphs with the second eigenvalue at most 3”, A.A. Makhnev and D.V. Paduchikh found the arrays of intersections of distance-regular graphs in which neighborhoods of vertices are strongly regular graphs with the second eigenvalue t such as 2 < t ≤ 3. The graphs with intersection arrays {125,96,1;1,48,125}, {176,150,1;1,25,176}, and {256,204,1;1,51,256} remain unexplored. In this paper, we have found the possible orders and the structures of subgraphs of the fixed points of automorphisms of a distance-regular graph with the intersection array {125,96,1;1,48,125}. It has been proved that the neighborhoods of the vertices of this graph are pseudogeometric graphs for GQ(4,6). Composition factors of the automorphism group of a distance-regular graph with the intersection array {125,96,1;1,48,125} have been determined.

Локальные краевые задачи для уравнений с меняющимся направлением времени исследовались во многих работах. Разрешимость нелокальных по времени краевых задач изучалась для параболических уравнений второго порядка. Для неклассического уравнения третьего порядка была рассмотрена регулярная разрешимость краевых задач с интегральными граничными условиями по времени. В данной работе в цилиндрической области пространства $R^{n+1}$ исследуется краевая задача с интегральным граничным условием по времени для уравнения нечетного порядка с меняющимся направлением времени. При определенных условиях на коэффициенты уравнения и данные краевой задачи доказана регулярная разрешимость рассматриваемой нелокальной краевой задачи. В доказательстве регулярной разрешимости данной нелокальной краевой задачи используется вспомогательная локальная краевая задача для уравнения нечетного порядка с меняющимся на-правлением времени. Также для вспомогательной краевой задачи получена оценка сходимости, с помощью которой установлена оценка сходимости приближенных решений к точному решению рассматриваемой нелокальной краевой задачи., Local boundary value problems for equations with changing time direction have been studied in many papers. The solvability of nonlocal in time boundary value problems was studied for second order parabolic equations. For a third-order non-classical equation, the regular solvability of boundary value problems with integral boundary conditions over time was considered. In this paper, in a cylindrical domain of $R^{n+1}$, we study a boundary value problem with an integral boundary condition in time for an equation of odd order with changing time direction. Under certain conditions on the coefficients of the equation and the data of the boundary value problem, the regular solvability of the nonlocal boundary value problem under consideration is proved. Proving the regular solvability of the given non-local boundary value problem, we introduce an auxiliary local boundary value problem for an equation of odd order with changing time direction. Also, for the auxiliary boundary value problem, a convergence estimate is obtained, which is used to establish an estimate of the convergence of approximate solutions to the exact solution of the nonlocal boundary value problem under consideration., №1(101) (2019)

Работа посвящена изучению одного из разделов неклассических дифференциальных уравнений, а именно изучению вопросов разрешимости для параболических уравнений с меняющимся направлением времени второго порядка. Хорошо известно, что в обычных краевых задачах для строго параболических уравнений гладкость начальных и граничных условий полностью обеспечивает принадлежность решений пространствам Гельдера, но в случае уравнений с меняющимся направлением времени гладкость начальных и граничных условий далеко не обеспечивает принадлежность решений этим пространствам. С. А. Терсеновым для модельного параболического уравнения с меняющимся направлением времени, а С. Г. Пятковым для более общего уравнения второго порядка были получены необходимые и достаточные условия разрешимости в гельдеровых пространствах соответствующих смешанных задач. При этом начальные и краевые условия всегда предполагались нулевыми. В работе рассматриваются случаи, когда начальные и граничные условия принадлежат банаховым пространствам. Вводятся функциональные пространства, в которых надо искать решения. Получены соответствующие априорные оценки, позволяющие получать условия разрешимости указанных задач. Также изучаются свойства полученных решений. В частности, устанавливается эквивалентность условий Рисса и Литлвуда-Пэли, аналогичных условиям для решений строго эллиптических и строго параболических уравнений второго порядка. Доказывается однозначная разрешимость первой смешанной задачи с граничными и начальными функциями из банахова пространства., The paper is devoted to the study of a section of nonclassical differential equations, namely, the solvability problems for second-order parabolic equations with changing time direction. It is well known that in ordinary boundary value problems for strictly parabolic equations the smoothness of the initial and boundary conditions completely ensures that the solutions belong to Holder spaces, but in the case of equations with changing time direction the smoothness of the initial and boundary conditions does not ensure that the solutions belong to such spaces. S. A. Tersenov, for a model parabolic equation with changing time direction, and S. G. Pyatkov, for a more general second-order equation, both obtained necessary and sufficient conditions for solvability of the corresponding mixed problems in Holder spaces, while the initial and boundary conditions were always assumed to be zero. In this paper, we consider cases where the initial and boundary conditions belong to Banach spaces. We introduce functional spaces in which solutions must be sought and obtain appropriate a priori estimates that make it possible to find solvability conditions for these problems. We also study the properties of the solutions obtained. In particular, we establish the equivalence of the Riesz and Littlewood-Paley conditions analogous to those for solutions of strictly elliptic and strictly parabolic equations of the second order. The unique solvability of the first mixed problem with boundary and initial functions from a Banach space is proved., №4(100) (2018)

This paper gives a survey of the index theory of tangentially elliptic and transversally elliptic operators on foliated manifolds as well as of related notions and results in non-commutative geometry., 116 pages, English translation of the paper published in Russian in Uspekhi Mat. Nauk 64:2(386) (2009), 73-202

This paper involves certain types of spatial-temporal models constructed from Levy bases. The dynamics is described by a field of stochastic processes , on a set of sites , defined as integrals where denotes a Levy basis. The integrands are deterministic functions of the form , where has a special form and is a subset of . The first topic is OU (Ornstein-Uhlenbeck) fields , which represent certain extensions of the concept of OU processes (processes of Ornstein-Uhlenbeck type); the focus here is mainly on the potential of for dynamic modelling. Applications to dynamical spatial processes of Cox type are briefly indicated. The second part of the paper discusses modelling of spatial-temporal correlations of SI (stochastic intermittency) fields of the form This form is useful when explicitly computing expectations of the form which are used to characterize correlations. The SI fields can be viewed as a dynamical, continuous, and homogeneous generalization of turbulent cascades. In this connection an SI field is constructed with spatial-temporal scaling behaviour that agrees with the energy dissipation observed in turbulent flows. Some parallels of this construction are also briefly sketched.

The proper subgroup $B$ of the group $G$ is called {\it strongly embedded}, if $2\in\pi(B)$ and $2\notin\pi(B \cap B^g)$ for any element $g \in G \setminus B $ and, therefore, $ N_G(X) \leq B$ for any 2-subgroup $ X \leq B $. An element $a$ of a group $G$ is called {\it finite} if for all $ g\in G $ the subgroups $ \langle a, a^g \rangle $ are finite. In the paper, it is proved that the group with finite element of order $4$ and strongly embedded subgroup isomorphic to the Borel subgroup of $U_3(Q)$ over a locally finite field $Q$ of characteristic $2$ is locally finite and isomorphic to the group $U_3(Q)$. Keywords: A strongly embedded subgroup of a unitary type, subgroups of Borel, Cartan, involution, finite element., Comment: 8 pages, in Russian

Изучение миграции радона в геологических средах актуально для поиска и оконтуривания нефтяных и газовых месторождений, поиска урановых и ториевых руд, экологического картирования при выборе площадок под строительство промышленных и жилых сооружений, прогнозирования событий в зонах сейсмической активности. В работе рассматривается математическая модель трехмерной задачи диффузии-адвекции радона в кусочно-постоянных слоистых средах с включениями, учитывающая анизотропию диффузионных свойств подобластей геологической среды. Описывается комбинированный способ решения задачи, основанный на сочетании методов интегральных преобразований Лапласа, интегральных представлений с построением функции Грина вмещающей слоистой среды и интегральных уравнений Фредгольма II рода, возникающих на границах локальных включений. Приводятся результаты сравнительного сопоставления данных вычислительного и натурного экспериментов по исследованию процессов переноса радона., The study of radon migration in geological environments is relevant for the search and contouring of oil and gas fields, search for uranium and thorium ores, environmental mapping in selection of the construction sites for industrial and residential structures, and forecasting events in seismic activity zones. In this paper, we consider a mathematical model of the three-dimensional problem of diffusion-advection of radon in piecewise constant layered media with inclusions, taking into account the anisotropy of the diffusion properties of subsurface geological environment. A combined method for solving the problem is described, based on a combination of the Laplace integral transform methods, integral representations with construction of the Green function of the enclosing layered medium, and Fredholm integral equations of the second kind arising at the boundaries of local inclusions. We present the results of comparing the data from computational and field experiments on the study of radon transfer processes., №1(105) (2020)

В работе модифицированные уравнения упругого слоя используются для построения компактных конечных элементов, условия сопряжения между которыми формулируются в виде условий непрерывности усилий и моментов на их гранях. Предложенные конечные элементы можно эффективно использовать при численном решении задач о напряженно-деформированном состоянии слоистых конструкций, деформируемых тел, содержащих разрезы и трещины, поскольку компактные элементы являются естественными регуляризаторами в задачах, содержащих особенности в напряженном состоянии. Приведено сравнение результатов численного решения с аналитическим решением задачи об определении напряженно-деформированного состояния в окрестности вершины трещины, расположенной в упругой плоскости. Численное решение задачи получено с использованием итерационной процедуры самоуравновешенных невязок., The modified equations of the elastic layer are used to construct compact finite elements, the conjugation conditions between which are formulated as conditions for the continuity of efforts and moments on their faces. The proposed finite elements can be effectively used in the numerical solution of problems of the stress-strain state of layered structures and deformed bodies containing cuts and cracks, since compact elements are natural regularizers in problems containing singularities in a stressed state. The paper compares the results of a numerical and analytical solutions to the problem of determining the stress-strain state in the vicinity of the crack tip located in the elastic plane. The numerical solution to the problem is obtained using the iterative procedure of self-balanced residuals., №1(105) (2020)

Статья посвящена моделированию течения запыленной среды, которое вызвано внутренним электрическим зарядом дисперсной компоненты. В данной работе рассматривается влияние физической плотности материала дисперсных частиц на интенсивность генерируемого в запыленной среде возмущения давления. Применяемая для моделирования процесса математическая модель учитывает скоростную и тепловую неравновесность потока двухфазной среды. Для каждой из компонент смеси решалась полная гидродинамическая система уравнений движения сплошной среды, включавшая в себя уравнения непрерывности, уравнения сохранения пространственных составляющих импульса и уравнения сохранения энергии. Система уравнений динамики многофазной среды решалась с помощью явного конечно-разностного метода второго порядка точности. В результате численного моделирования было выявлено, что увеличение физической плотности материала электрически заряженных частиц приводит к увеличению интенсивности генерируемого акустического возмущения., The article is devoted to modeling the flow of a dusty medium caused by the internal electric charge of a dispersed component. In this paper, we consider the effect of the true density of the dispersed particles material on the intensity of pressure perturbation generated in a dusty medium. The mathematical model used to simulate the process takes into account the velocity and thermal nonequilibrium of the flow of a two-phase medium. For each of the mixture components, we solved a complete hydrodynamic system of continuous medium motion equations that included continuity equations, conservation equations for momentum spatial components, and energy conservation equations. The system of equations of the multiphase medium dynamics was solved using the explicit finite-difference method of the second order of accuracy. As a result of the numerical simulation, it was found that an increase in the true density of the material of electrically charged particles leads to an increase in the intensity of the generated acoustic disturbance., Журнал «Математические заметки СВФУ», Выпуск 4 (108) 2020, Pages 99-109

We study a problem concerning the estimation of the Hausdorff deviation of convex polygons in $\mathbb R^2$ from their geometric difference with circles of sufficiently small radius. Problems with such a subject, in which not only convex polygons but also convex compacts in the Euclidean space $\mathbb R^n$ are considered, arise in various fields of mathematics and, in particular, in the theory of differential games, control theory, convex analysis. Estimates of Hausdorff deviations of convex compact sets in $\mathbb R^n$ in their geometric difference with closed balls in $\mathbb R^n$ are presented in the works of L.S. Pontryagin, his staff and colleagues. These estimates are very important in deriving an estimate for the mismatch of the alternating Pontryagin’s integral in linear differential games of pursuit and alternating sums. Similar estimates turn out to be useful in deriving an estimate for the mismatch of the attainability sets of nonlinear control systems in $\mathbb R^n$ and the sets approximating them. The paper considers a specific convex heptagon in $\mathbb R^2$. To study the geometry of this heptagon, we introduce the concept of a wedge in $\mathbb R^2$. On the basis of this notion, we obtain an upper bound for the Hausdorff deviation of a heptagon from its geometric difference with the disc in $\mathbb R^2$ of sufficiently small radius.

В данной работе, являющейся продолжением [1], устанавливаются необходимые и достаточные условия того, чтобы решение параболического уравнения 2-го порядка с боковой границей, принадлежащей классу $C^{1+\lambda}$, $\lambda >0$, вырождающегося на границе области, имело предел в среднем на боковой поверхности цилиндрической области и предел в среднем на ее нижнем основании, и исследуется вопрос об однозначной разрешимости первой смешанной задачи для такого уравнения в случае, когда граничная и начальная функции принадлежат пространствам типа $L_2$. Наиболее близкими к рассматриваемому кругу вопросов являются теоремы Ф. Рисса и Ж. Литтлвуда и Р. Пэли, в которых даются критерии предельных значений в $L_p$, $p > 1$, аналитических в единичном круге функций. Дальнейшее развитие этой тематики для равномерно эллиптических уравнений получило в работах В. П. Михайлова, А. К. Гущина [2–4]. Условие гладкости границы ($\partial Q \in C^2$) можно ослабить (см. [5]). При наиболее слабых ограничениях на гладкость границы (и на коэффициенты уравнения) критерии существования граничного значения установлены в работах [4, 6–8]. При этом, как показано в работе [7], все направления принятия граничных значений для равномерно эллиптических уравнений оказываются равноправными, решение обладает свойством, аналогичным свойству непрерывности по совокупности переменных. В случае вырождения уравнения на границе области, когда направления не являются равноправными, ситуация более сложная. При этом постановка первой краевой задачи определяется типом вырождения. В случае, когда значения соответствующей квадратичной формы вырождающегося эллиптического уравнения на векторе нормали отличны от нуля (вырождение типа Трикоми), корректна задача Дирихле, и свойства такого вырождающегося уравнения весьма близки к свойствам равномерно эллиптического уравнения. В частности, в этой ситуации справедливы аналоги теорем Рисса [9] и Литтлвуда — Пэли [10, 11]., This work, being a continuation of [1], establishes the necessary and sufficient conditions for the solution of the second-order parabolic equations with a lateral boundary from the class $C^{1+\lambda}$, $\lambda >0$, degenerating on the boundary of the domain, to have an average limit on the lateral surface of the cylindrical domain and the limit in the mean on its lower base. Also, we study the question of the unique solvability of the first mixed problem for such equations in the case when the boundary and initial functions belong to spaces of the типа $L_2$ type. The closest to the questions under consideration are the theorems of F. Riesz and J. Littlewood and R. Paley, in which criteria are given for the limit values in $L_p$, $p > 1$, of the functions analytic in the unit disk. Further development of this topic for uniformly elliptic equations was obtained in the papers by V. P. Mikhailov and A. K. Gushchin [2–4]. The boundary smoothness condition ($\partial Q \in C^2$) can be weakened (see [5]). Under the weakest restrictions on the smoothness of the boundary (and on the coefficients of the equation), the criteria for the existence of a boundary value were established in [4, 6–8]. In this case, as shown in [7], all directions of the acceptance of boundary values for uniformly elliptic equations turn out to be equal, while the solution has a property similar to the property of continuity with respect to the set of variables. In the case of degeneracy of the equation on the boundary of the domain when the directions are not equal, the situation is more complicated. In this case, the formulation of the first boundary value problem is determined by the type of degeneracy. In the case when the values of the corresponding quadratic form of the degenerate elliptic equation on the normal vector are different from zero (the Tricomi type degeneracy), the Dirichlet problem is correct, and the properties of such degenerate equations are very close to the properties of uniformly elliptic equations; in particular, in this situation analogues of the Riesz [9] and Littlewood–Paley theorems [10, 11] are valid., Журнал «Математические заметки СВФУ», Выпуск 2 (106) 2020

В последние годы при математическом моделировании в различных областях науки широкое распространение получили начально-краевые прямые и обратные задачи с дробными производными. Они используются в классической и квантовой физике, теории поля, механике деформируемого твердого тела, механике жидкости и газа, общей химии, нелинейной биологии, стохастическом анализе, нелинейной теории управления и обработке изображений. В работе рассматривается одномерная математическая модель аномальной диффузии, в которой определению подлежит порядок дробной производной по времени. Задача относится к классу обратных задач. В качестве условия переопределения задан интеграл решения задачи в финальный момент времени с неотрицательным весовым коэффициентом. Дискретный аналог поставленной задачи строится конечно-разностным методом, для приближенного вычисления определенного интеграла (условия переопределения) использована квадратурная формула трапеций. Для численной реализации полученной системы нелинейных уравнений используется итерационный метод секущих., In recent years, initial boundary value direct and inverse problems with fractional derivatives have become widespread for mathematical modeling in various fields of science. They are used in classical and quantum physics, field theory, solid mechanics, fluid and gas mechanics, general chemistry, nonlinear biology, stochastic analysis, nonlinear control theory, and image processing. The paper considers a one-dimensional mathematical model of anomalous diffusion, in which the order of the fractional time derivative is to be determined. The problem belongs to the class of inverse problems. The integral of the solution of the problem at the final moment of time with a non-negative weighting coefficient is given as a condition for redefinition. A discrete analogue of the problem posed is constructed by the finite-difference method; for the approximate calculation of a definite integral (overdetermination condition), the quadrature formula of trapezoids is used. For the numerical implementation of the obtained system of nonlinear equations, the iterative secant method is used., Журнал «Математические заметки СВФУ», Выпуск 4 (108) 2020, Pages 60-71

Последнее время становится актуальным изучение (псевдо)римановых многообразий с различными афинными связностями, отличными от связности ЛевиЧивита. Метрическая связность с векторным кручением (также известная как полусимметрическая связность) является одной из часто рассматриваемых связностей. Связь между конформными деформациями римановых многообразий и метрическими связностями с векторным кручением на них была установлена в работах К. Яно. А именно, риманово многообразие допускает метрическую связность с векторным кручением, тензор кривизны которой равен нулю, тогда и только тогда, когда оно является конформно плоским. В данной работе впервые исследуется уравнение Эйнштейна на трехмерных локально симметрических (псевдо)римановых многообразиях с метрической связностью с инвариантным векторным кручением. Получена теорема о том, что все такие многообразия либо являются многообразиями Эйнштейна относительно связности Леви-Чивита, либо являются конформно плоскими., The study of (pseudo)Riemannian manifolds with different metric connections different from the Levi-Civita connection has become a subject of current interest lately. A metric connection with vectorial torsion (also known as a semi-symmetric connection) is a frequently considered one of them. The correlation between the conformal deformations of Riemannian manifolds and metric connections with vectorial torsion on them was established in the works of K. Yano. Namely, a Riemannian manifold admits a metric connection with vectorial torsion, the curvature tensor of which is zero, if and only if it is conformally flat. In this paper, we study the Einstein equation on three-dimensional locally symmetric (pseudo)Riemannian manifolds with metric connection with invariant vectorial torsion. We obtain a theorem stating that all such manifolds are either Einstein manifolds with respect to the Levi-Civita connection or conformally flat., №4(104) (2020)

Рассматривается задача об экспоненциальной дихотомии для систем линейных разностных уравнений с постоянными коэффициентами. Исследуется вопрос о допустимых возмущениях на матрицу коэффициентов, при которых сохраняется экспоненциальная дихотомия. В предположении, что исходная система линейных разностных уравнений экспоненциально дихотомична, в работе указаны условия на возмущения, при которых возмущенная система является также экспоненциально дихотомичной. Условия записаны в виде оценок на норму матриц возмущений и имеют конструктивный характер. При их получении не использовалась спектральная информация, поскольку задача о нахождении спектра для несамосопряженных матриц является плохо обусловленной с точки зрения теории возмущений. В работе применялся подход, основанный на разрешимости матричных дискретных уравнений Ляпунова. Поэтому установленные результаты могут быть использованы при численном исследовании задачи о дихотомии., The problem of the exponential dichotomy for systems of linear difference equations with constant coefficients is considered. We investigate the question of admissible perturbations for the coefficient matrix under which the exponential dichotomy is preserved. Assuming the initial system of linear difference equations is exponentially dichotomous, we establish conditions for perturbations under which the perturbed system is also exponentially dichotomous. The conditions are written in the form of estimates on the norm of perturbation matrices and are of constructive character. Any spectral information was not used to obtain them, since the problem of finding the spectrum for non-self-adjoint matrices is ill-conditioned from the perturbation theory point of view. In the present paper, we apply an approach based on the solvability of the discrete Lyapunov matrix equations. Therefore, the established results can be used for the numerical study of the dichotomy problem., №4(104) (2020)

Рассматривается модель, описывающая взаимодействие n видов микроорганизмов. Модель представлена в виде системы нелинейных дифференциальных уравнений с несколькими постоянными запаздываниями. Компоненты решений системы отвечают за численности популяций i-го вида и за концентрацию питательного вещества. Параметры запаздывания обозначают время, необходимое для появления i-го вида после потребления питательного вещества. Изучаются асимптотические свойства решений рассматриваемой системы. При определенных условиях на параметры системы получены оценки для всех компонент решений. Установленные оценки характеризуют скорости убывания численностей популяций микроорганизмов и скорость стабилизации концентрации питательного вещества к начальной величине концентрации. Оценки имеют конструктивный характер, все величины, характеризующие скорости стабилизации, указаны в явном виде. При получении оценок были использованы модифицированные функционалы Ляпунова Красовского., We consider a model describing the interaction of n species of microorganisms. The model is presented as a system of nonlinear differential equations with several constant delays. The components of solutions to the system are responsible for the biomass of the i-th species and for the concentration of the nutrient. The delay parameters denote the time required for the conversion of the nutrient to viable biomass for the i-th species. In the paper, we study asymptotic properties of the solutions to the considered system. Under certain conditions on the system parameters, we obtain estimates for all components of the solutions. The established estimates characterize the rate of decrease in the biomass of microorganisms and the rate of stabilization of the nutrient concentration to the initial value of the concentration. The estimates are constructive and all values characterizing the stabilization rate are indicated explicitly. The modified LyapunovKrasovskii functionals were used to obtain the estimates., №4(104) (2020)

The coefficient of compactness and the Madelung constant are key parameters in researches of substances in condensed state. The method of compact matrix description of crystal lattice makes calculation of these parameters faster and simpler. However, since this method is based on cubic symmetry of the crystal structure, it cannot be applied to substances of noncubic syngony. In this paper, we study the crystal lattice of a hexagonal diamond to determine existence of the cubic period and cube-generator. The goals of our study are the following: 1) to determine the presence or absence of the cubic period and cube-generator of the crystal lattice; 2) to determine the space orientation of the cube-generator; 3) to determine the value of the cubic period; 4) to verify preservation of the discovered periodicity for an extensive crystal fragment. The results of the computational experiment prove the existence of the cubic period and cube-generator. The value of the cubic period is obtaine (36 notational units, ∼ 2, 14 nm). Its preservation for an extensive crystal fragment is shown. It is shown that the space orientation of the cube-generator and basic elements of a two-component cubic model of the crystal lattice of the hexagonal diamond is the same. The obtained results lead to applicability of the method of compact matrix description to the crystal lattice of the hexagonal diamond, thus optimizing the calculation of the compactness coefficient and the Madelung constant for this substance., №2(102) (2019)

This paper is concerned with ultrafilters and maximal linked systems of widely understood measurable spaces (nonempty sets with π-systems of its subsets are meant). The sets of ultrafilters and maximal linked systems are transformed to bitopological spaces by applying constructions that (in idea) meet the Wallman and Stone schemes. The focus is on ultrafilter space with topology of Wallman type. Conditions on the initial π-system for which the given space is supercompact are specified. Concrete classes of (widely understood) measurable spaces are listed for which the above-mentioned conditions are realized. Special attention is also given to one abstract problem of attainability under conditions when the choice of a concrete solution may have the following uncertainty: the set defining constraints can be an arbitrary element of a given nonempty family. The question of the existence of universally realized (in limit) elements in the space of values of the goal operator in our problem is considered. To obtain sufficient solutions, the supercompactness property of the ultrafilter space for special measurable structure is used; this structure is sufficient (under corresponding suppositions) for realization of all variants of constraints on the choice of a usual solution (control). © 2019 А. Г. Ченцов. Russian Foundation for Basic Research, RFBR: 18–01–00410 Funding. The research was funded by the Russian Foundation for Basic Research, project number 18–01–00410.

The Capacitated Vehicle Routing Problem (CVRP) is a classical extremal combinatorial routing problem with numerous applications in operations research. Although the CVRP is strongly NP-hard both in the general case and in the Euclidean plane, it admits quasipolynomial- and even polynomial-time approximation schemes (QPTAS and PTAS) in Euclidean spaces of fixed dimension. At the same time, the metric setting of the problem is APX-complete even for an arbitrary fixed capacity q ≥ 3. In this paper, we show that the classical Haimovich-Rinnooy Kan algorithm implements a PTAS and an Efficient Polynomial-Time Approximation Scheme (EPTAS) in an arbitrary metric space of fixed doubling dimension for q = o(log log n) and for an arbitrary constant capacity, respectively. © 2019 Krasovskii Institute of Mathematics and Mechanics. All right reserved.

This paper considers two problems of dynamical reconstruction of unknown characteristics of a system of nonlinear equations describing the process of innovation diffusion through inaccurate measurements of phase states. A dynamical variant for solving these problems is designed. The system is assumed to operate on a given finite time interval. The evolution of the system’s phase state, i.e., the solution of the system, is determined by an unknown input. A precise reconstruction of the real input (acting on the system) is, generally speaking, impossible due to inaccurate measurements. Therefore, some approximation to this input is constructed which provides an arbitrary smallness to the real input if the measurement errors and the step of incoming information are sufficiently small. Based on the dynamical version of the discrepancy method, two algorithms for solving the problems in question are specified. One of them is oriented to the case of measuring all coordinates of the phase vector, and the other, to the case of incomplete measurements. The algorithms suggested are stable with respect to informational noises and computational errors. Actually, they are special regularizing algorithms from the theory of dynamic inverse problems. © 2019 М.С. Близорукова.

We considered the problem of obtaining upper bounds for the mathematical expectation of the $q$-norm ($2\leqslant q \leqslant \infty$) of the vector which is uniformly distributed on the unit Euclidean sphere. We finish the paper with numerical experiments illustrating our results., Comment: in Russian, 10 pages, 2 figures

The paper deals with the optimal control problem, including the linear parabolic equation as a state problem. Pointwise constraints are imposed on the control function. The objective functional involves the observation function in the entire space-time domain. The optimal control problem is approximated by a finite dimensional problem with mesh approximation of the state equation by the explicit (forward Euler) mesh scheme with variable time steps. The existence of unique solutions for the continuous and mesh optimal control problems is proved. The Uzawa-type iterative method is used for solving the finite dimensional optimal control problem. The results of numerical experiments are presented.

Ранее была рассмотрена задача: на части границы области Ω ⊂ R3 находится нагреватель, имеющий регулируемую температуру. Требуется найти такой режим работы нагревателя, чтобы средняя температура в некоторой подобласти D области Ω принимала заданное значение. В данной работе рассматривается аналогичная задача граничного управления связанная с псевдопараболическим уравнением на отрезке. На части границы рассматриваемого отрезка задается значение решения, которое содержит параметр управления. Ограничение для допустимого управления задано в таком виде, что среднее значение решения в некоторой части рассматриваемого отрезка принимает заданное значение. Решается вспомогательная задача методом разделения переменных. Искомая задача сводится к интегральному уравнению Вольтерра второго рода. Методом преобразования Лапласа доказываются теоремы о существовании и единственности допустимого управления., Previously, a mathematical model for the following problem was considered. On a part of the border of the region Ω ⊂ R3 there is a heater with controlled temperature. It is required to find such a mode of its operation that the average temperature in some subregion D of Ω reaches some given value. In this paper, we consider a similar boundary control problem associated with a pseudo-parabolic equation on a segment. On the part of the border of the considered segment, the value of the solution with control parameter is given. Restrictions on the control are given in such a way that the average value of the solution in some part of the considered segment gets a given value. The auxiliary problem is solved by the method of separation of variables, while the problem in consideration is reduced to the Volterra integral equation of the second kind. By Laplace transform method, the existence and uniqueness theorems for admissible control are proved., №2(98) (2018)

При построении модели внешней оболочки пульсара, при исследовании процессов во время солнечных вспышек или при исследовании динамики магнитосферы приходится сталкиваться с задачами о равновесных и неравновесных конфигурациях замагниченной плазмы. Задачи эти весьма сложные, так как зачастую сводятся к решению нелинейных уравнений второго порядка, аналитический метод решения которых в настоящее время еще недостаточно разработан. В данной работе рассматривается модельная задача о равновесии сгустка плазмы в поле магнитного диполя. Ранее эта задача решалась в более простой постановке [1], поэтому мы здесь приводим решение более полного варианта. Как и ранее, задача решается в плоском варианте, что позволило использовать математический аппарат аналитических функций. При этом сделано одно допущение: второй, симметричный относительно диполя сгусток плазмы, был заменен эквивалентным линейным током, что привело к односвязанности задачи. Результаты задачи могут использоваться в астрофизике и при рассмотрении магнитосферных процессов., When constructing a model of the outer shell of a pulsar, or considering processes during solar flares in studying the processes during solar flares or studying the dynamics of the magnetosphere, one must encounter problems of equilibrium and nonequilibrium configurations of magnetized plasma. These problems are very complex, because they often reduce to solving second-order nonlinear equations, the analytical method of solving which at the present time being not sufficiently developed. These problems are very complex. The analytical method for solving such problems is still not sufficiently developed. In this paper we consider a model problem on the equilibrium of a plasma bundle in a magnetic dipole field. The problem is solved in the two-dimensional case, which made it possible to use the mathematical apparatus of analytic functions. One assumption is made: a second plasma symmetric with respect to the dipole was replaced by an equivalent linear current, which led to a single-connected problem. The results of the problem can be used in astrophysics and in the study of magnetospheric processes., №2(98) (2018)

Изучается разрешимость начально-краевой задачи с условиями сопряжения для двух неклассических дифференциальных уравнений составного типа. Описывается случай, когда коэффициенты каждого рассматриваемого уравнения имеют разрыв 1-го рода в точке нуль. Область исследований задана в виде полосы ввиду наличия точки разрыва, состоящей из двух подобластей. Таким образом, исследуемые уравнения рассматриваются в двух различных областях. Для доказательства существования и единственности регулярных решений (которые имеют все обобщенные производные, входящие в уравнения) начально-краевой задачи используется метод продолжения по параметру, имеющий широкое применение в теории краевых задач. С помощью принципа максимума устанавливается наличие всех необходимых априорных оценок для решений изучаемой задачи., In this paper we study the solvability of an initial-boundary value problem with conjugation conditions for two nonclassical differential equations of composite type. We describe the case when the coefficients of each equation under consideration have a discontinuity of the first kind at the point zero. The field of research is given in the form of a band, due to the presence of a discontinuity point consisting of two subregions. Thus, the investigated equations are considered in two different areas. To prove the existence and uniqueness of regular solutions (which have all the generalized derivatives entering into the equations) of the initial-boundary value problem, we use the method of continuation with respect to a parameter, which has a wide application in the theory of boundary value problems. Using the maximum principle, the presence of all necessary a priori estimates for the solutions of the problem being studied is established., №2(98) (2018)

Описание динамики некоторых финансовых событий может быть связано со стохастическими дифференциальными уравнениями Ито (СДУ). В работе рассматриваются финансовые модели, которые имеют случайные возмущения, вызванные винеровским и пуассоновским процессами. Построение программных управлений с вероятностью 1 (РСР1) основано на понятии первого интеграла для стохастических динамических систем диффузионного типа со скачками, описываемых уравнениями Ито. В качестве примеров построения PCP1 рассматриваются два вида финансовых моделей: модель инвестиционного портфеля (диффузионная) и модель процентных ставок (диффузионная со скачками). Приведенные примеры сопровождаются численным моделированием., The description of the dynamics of some financial events can be related to Itô stochastic differential equations (SDE). In this paper, we consider a financial model affected by random disturbances which take the form of Wiener and Poisson perturbations. The construction of the programmed control with probability 1 (PCP1) is based on the concept of first integral for stochastic dynamic systems of diffusion type with jumps which are described by the Itˆo equations. Two types of financial models are considered as examples of the construction of PCP1: the investment portfolio model (diffusion model) and the interest rate model (diffusion with jumps). The given examples are accompanied by numerical modeling., №1 (2018)

Создание новых технологических процессов, основанных на использовании высокоинтенсивных потоков энергии, вынуждает при определении температурного состояния учитывать конечную скорость распространения тепла. Этот учет может быть осуществлен при помощи гиперболического уравнения теплопроводности, полученного А. В. Лыковым в рамках неравновесной феноменологической термодинамики как следствие обобщения закона Фурье для потоков и уравнения теплового баланса. В прежних работах В. Н. Ханхасаева моделировался процесс коммутационного отключения электрической дуги в спутном потоке газа с использованием этого уравнения. В данной работе развивается математическая модель этого процесса с добавлением периода устойчивого горения дуги до момента отключения, и заменой строго гиперболического уравнения теплопроводности гиперболо-параболическим. Для полученного смешанного уравнения теплопроводности корректно поставлены и численно решаются ряд краевых задач в программных средах Фортран и Маткад с получением полей температур, хорошо согласующихся с имеющимися экспериментальными данными., Creation of new technological processes based on the use of high-intensity energy fluxes makes it necessary to take into account the final rate of heat propagation when determining the temperature state. This account can be realized with the help of the hyperbolic heat equation obtained by A. V. Lykov in the framework of nonequilibrium phenomenological thermodynamics as a consequence of the generalization of the Fourier law for flows and the heat balance equation. In the previous works by V. N. Khankhasaev, the process of switching off the electric arc in a spiral gas flow was simulated using this equation. In this paper, a mathematical model of this process is developed with the addition of a period of steady burning of the arc until the moment of disconnection and replacement of the strictly hyperbolic heat conduction equation by a hyperbolic-parabolic equation. For the resulting mixed heat conduction equation, a number of boundary value problems in the Fortran and Matcad software environments are correctly posed and numerically solved, obtaining temperature fields that are in good agreement with the available experimental data., №1 (2018)

В пространстве Lp(Ω), где 1 < p < +∞ иŠΩ – произвольная (ограниченная или неограниченная) область n-мерного евклидова пространства Rn, исследуется относительная ограниченность одного класса дифференциальных операторов с частными производными недивергентного вида высшего порядка. Исследуемые операторы имеют нестепенное вырождение вдоль всей границы области Ω, и вырождение по каждой независимой переменной характеризуется с помощью разных функций. В работах, опубликованных ранее по этому направлению, обычно сначала задавался исследуемый оператор в области Š и затем в этой области определялись функции, с помощью которых характеризуются вырождения коэффициентов исследуемого оператора. Эти функции имели одинаковое поведение вблизи границы по разным независимым переменным. В отличие от этого, в настоящей работе область Ω и функции, которые характеризуют вырождения коэффициентов дифференциального оператора, задаются в паре друг с другом и предполагается выполнение «условия погружения», введенного ранее П. И. Лизоркиным. При этом дифференцируемость функций, с помощью которых определяется вырождение исследуемого оператора, не требуется. Исследование относительной ограниченности дифференциальных операторов является одним из основных направлений теории таких операторов, и результаты, полученные в этом направлении, имеют широкое применение в теории вложения нормированных пространств дифференцируемых функций многих переменных, теории разделимости дифференциальных операторов, спектральной теории дифференциальных операторов и т.д., In the space Lp(Ω), where 1 < p < +∞ and Š is an arbitrary (bounded or unbounded) domain in Rn, we investigate relative boundedness for a class of higher order partial differential operators in non-divergent form. These operators have nonpower degeneracy on the whole boundary of Ω and degeneracy with respect to each of independent variables is characterized by different functions. In the earlier published papers in this direction, as a rule, firstly the operator is defined in Ω and then functions characterizing degeneracies of the operator’s coefficients are defined in this domain. In contrast to that, here we define Ω and these functions related to each other while fulfilling the “immersion condition” introduced by P. I. Lizorkin in [19]. In addition, differentiability of the functions by which we define degeneracy of the investigated operator is not required. Study of relative boundedness of differential operators is one of the modern directions in such operators theory with results theory of differentiable functions of many variables, the separation theory of differential operators, the spectral theory of differential operators, etc., №1 (2018)

При математическом моделировании процессов, происходящих в устройствах обогащения полезных ископаемых, появляются задачи определения вероятности местонахождения частицы на рабочих поверхностях устройств. В настоящей работе для решения подобной задачи предлагается статистический подход, т. е. при определении вероятности используется идея метода Гиббса. Рассмотрены проблемы моделирования процессов, происходящих в воздушном винтовом сепараторе. Разработаны математическая модель винтовой поверхности пневмосепаратора, модели движения частицы, потока невзаимодействующих частиц по рабочей поверхности сепаратора и алгоритм определения концентрации потока частиц. Рассчитанное распределение концентрации невзаимодействующих частиц на рабочей поверхности устройства отождествляется с распределением вероятности местонахождения одной частицы. Разработанный алгоритм определения вероятности положения частицы на рабочей поверхности пневмосепаратора может быть использован как элемент более сложной математической модели, например модели, где учитываются взаимодействия между частицами., In mathematical modeling of mineral processing, there arise problems of determining the probability of the particle presence on the working surfaces of devices. In the paper, we propose a statistical approach to solving such problem, i. e., the idea of the Gibbs method is used. We consider problems of modeling processes in an air spiral separator. A mathematical model of the spiral surface of a pneumoseparator, a model of particle motion, a flux of noninteracting particles along the separator working surface, and an algorithm for determining the particle flux concentration are developed. The calculated distribution of the noninteracting particles concentration on the working surface of the device is identified with the probability distribution of the location of one particle. The developed algorithm for determining the probability of position of a particle on the working surface of the pneumoseparator can be used as an element of a more complex mathematical model, for example, a model where interactions between particles are taken into account., №1 (2018)

Исследуются табличные интуиционистские логики, семантически характеризуемые фреймами Крипке глубины не более 3 и ширины не более 2. Дана аксиоматизация основных таких логик, построена порожденная ими решетка. Известные методы позволяют, используя данные аксиоматизации, задать аксиоматику остальных логик решетки., In this paper, we study the tabular intuitionistic logics semantically characterized by the Kripke frames of the depths no greater than 3 and widths no greater than 2. The axiomatization of such basic logics is given; the lattice generated by them is constructed. Known methods make it possible, using given axiomatization, to specify the axiomatic of the remaining logics from the lattice., №1 (2017)

We consider a routing problem with constraints and complicated cost functions. The visited objects are assumed to be clusters, or megalopolises (nonempty finite sets), and the visit to each of them entails certain tasks, which we call interior jobs. The order of visits is subject to precedence constraints. The costs of movements depend on the set of pending tasks (not yet complete at the time of the movement), which is also referred to as "sequence dependence", "position dependence", and "state dependence". Such a dependence arises, in particular, in routing problems concerning emergencies at nuclear power plants, similar to the Chernobyl and Fukushima Daiichi incidents. For example, one could consider a disaster recovery problem concerned with sequential dismantlement of radiation sources; in this case, the crew conducting the dismantlement is exposed to radiation from the sources that have not yet been dealt with. This gives rise to dependence on pending tasks in the cost functions that measure the crew's radiation exposure. The latter dependence reflects the "shutdown" operations for the corresponding radiation sources. This paper sets forth an approach to a parallel solution for this problem, which was implemented and run on the URAN supercomputer.

The paper introduces and investigates partial orders that are finer than the minus partial order and are based on inverses along an element and other specific outer inverses. It turns out that in this way a number of classical partial orders can be equivalently defined.

The paper is devoted to the expansion in partial fractions for a meromorphic function of one complex variable. It contains the results by the author on representing a meromorphic function as a sum of an entire function and the principal parts in its Laurent expansion at its poles.

The paper presents the model of anisotropic growth of dendritic crystallization of chemically pure and binary liquid (solution or melt) based on forced convection of the liquid phase. The dependencies of the growth rate and the radius of the top of a dendrite from under-cooling fluid in cases of a chemically pure material and alloys are presented. A comparative analysis of the influence of forced convection on the dendrite growth kinetics is carried out. Evaluation of growth rate and morphology of dendrite by high-speed crystal growth model was done. The contribution of convective flow and the anisotropic properties of the liquid-crystal boundary were taking into account. The model is also used hyperbolic diffusion equation to describe the non-equilibrium impurity capture by crystal surface, which occurs under the rapid crystals growth.

Let $A_j,B_j$ $(j=0,1,\ldots)$ be $m \times m$ matrices, whose elements are complex numbers, $A_j$ are selfadjoint matrices and $B_j^{-1}$ exist. We study the deficiency index problem for minimal closed symmetric operator $L$ with domain $D_L$, generated by the Jacobi matrix $\textbf{J}$ with entries $A_j,B_j$ in the Hilbert space $l_m^2$ of sequences $ u=(u_0,u_1, \ldots), u_j \in C^m$ by mapping $u \rightarrow \textbf{J}u$, i.e. by the formula $Lu=lu$ for $u \in D_L$, where $lu=((lu)_0,(lu)_1, \ldots)$ and $$ (lu)_0:=A_0u_0+B_0u_1, \quad (lu)_j:=B^*_{j-1}u_{j-1}+A_ju_j+B_ju_{j+1}, \;\; j=1,2, \ldots $$ It is well known that the case of the minimal deficiency numbers of the operator $L$ corresponds to the determinate case, and the case of the maximal deficiency numbers of this operator corresponds to the completely indeterminate case of the matrix power moment problem. In this paper we obtain new conditions of the minimal, maximal and not maximal deficiency numbers of the operator $L$ in terms of the entries of the matrix $\textbf{J}$. The special attention is paid to the case $m=1$, i.e. we present some conditions on the elements of the numerical tridiagonal Jacobi matrix, which ensure the realization of the determinate case of the classical power moment problem., 9 pages, in Russian

Zaremba's conjecture (1971) states that every positive integer number d can be represented as a denominator of a finite continued fraction b/d = [d1,d2,...,dk], with all partial quotients d1,d2,...,dk being bounded by an absolute constant A. Several new theorems concerning this conjecture were proved by Bourgain and Kontorovich in 2011. The easiest of them states that the set of numbers satisfying Zaremba's conjecture with A = 50 has positive proportion in natural numbers. In 2014 I. D. Kan and D. A. Frolenkov proved this result with A = 5. In this paper the same theorem is proved with A = 4., in Russian

International audience; http://mech.math.msu.su/~fpm/ps/k14/k143/k14303.pdfIn this paper, a computerized model for morphological analysis of languages with word-formation based on affixation processes is proposed. The main idea consists in defining structural patterns of words and corresponding lists of suffixes. First, a detaileddescription of a stemming algorithm, its modification, and the technique of determining grammatical characteristics of word-forms are given. The next part of this work focuses on the application of the proposed algorithms for the French language. Finally, some results of execution of these algorithms are provided.; http://mech.math.msu.su/~fpm/ps/k14/k143/k14303.pdfВ работе предлагается метод структурных схем в качестве модели морфологического анализа словоформ естественного языка с развитым аффиксальным словообразованием и словоизменением. Дано описание алгоритма выделения псевдоосновы, его модификация, а также алгоритм восстановления грамматических характеристик словоформ. Описано применение предложенного метода для анализа словоформ французского языка. Представлены результаты работы предложенных алгоритмов.

The $A(\inft)$-algebra structure in homology of a DG-algebra is constructed. This structure is unique up to isomorphism of $A(\infty)$ algebras. Connection of this structure with Massey products is indicated. The notion of $A(\infty)$-module over an $A(\infty)$-algebra is introduced and such a structure is constructed in homology of a DG-modules over a DG-algebra. The theory of twisted tensor products is generalized from the case of DG-algebras to the case of $A(\infty)$-algebras. These algebraic results are used to describe homology of classifying spaces, cohomology of loop spaces, and homology of fibre bundles., 8 pages. This is the English version of the paper published originally in Russian

First, in joint work with S. Bodine of the University of Puget Sound, Tacoma, Washington, USA, we consider the second-order differential equation e2 y''=(1+e2 ψ(x, e))y with a small parameter e, where ψ is analytic and even with respect to e. It is well known that it has two formal solutions of the form y±(x,e)=e±x/eh±(x,e), where h±(x,e) is a formal series in powers of e whose coefficients are functions of x. It has been shown that one (resp. both) of these solutions are 1-summable in certain directions if ψ satisfies certain conditions, in particular concerning its x-domain. We show that these conditions are essentially necessary for 1-summability of one (resp. both) of the above formal solutions. In the proof, we solve a certain inverse problem: constructing a differential equation corresponding to a certain Stokes phenomenon. The second part of the paper presents joint work with Augustin Fruchard of the University of La Rochelle, France, concerning inverse problems for the general (analytic) linear equations e r y' = A(x,e) y in the neighborhood of a nonturning point and for second-order (analytic) equations e y'' - 2xy'-g(x,e) y=0 exhibiting resonance in the sense of Ackerberg-O'Malley, i.e., satisfying the Matkowsky condition: there exists a nontrivial formal solution $$\hat y\left( {x{\text{, }}\varepsilon } \right) = \sum {y_n } \left( x \right)\varepsilon ^n $$ such that the coefficients have no poles at x=0.