Все выпуски

В статье изучается существование положительных решений на отрезке $[0,1]$ двухточечной краевой задачи для одного нелинейного функционально-дифференциального уравнения третьего порядка с интегральным граничным условием на одном из концов отрезка. С помощью теоремы Го–Красносельского о неподвижной точке, с использованием некоторых свойств функции Грина соответствующего дифференциального оператора, получены достаточные условия существования по меньшей мере одного положительного решения рассматриваемой задачи. Приведен пример, иллюстрирующий полученные результаты.

The article studies the existence of positive solutions on the segment $[0,1]$ of a two-point boundary value problem for one nonlinear third-order functional differential equation with an integral boundary condition at one of the ends of the segment. Using the Go–Krasnoselsky fixed point theorem and some properties of the Green's function of the corresponding differential operator, sufficient conditions for the existence of at least one positive solution to the problem under consideration are obtained. An example is given to illustrate the results obtained.

Рассматривается линейная задача уклонения одного убегающего от группы преследователей, при условии, что игроки обладают равными динамическими возможностями, убегающий не покидает пределы выпуклого конуса. Доказывается, что если число преследователей меньше размерности пространства, то убегающий уклоняется от встречи на интервале [0, ∞).

We consider a linear problem of evasion of one evador from the group of persecutors provided that players posess equal dynamic possibilities and evador does not leave a convex cone. It is proved, that if the number of persecutors is less then dimension of scape then the evador evades from a meeting on a positive semiaxis.

Рассматривается линейная задача преследования группой преследователей двух убегающих при равных динамических возможностях всех участников и с фазовыми ограничениями на состояния убегающих в предположении, что убегающие используют одно и то же управление. Движение каждого участника имеет вид $\dot z+a(t)z=w.$ Геометрические ограничения на управления - строго выпуклый компакт с гладкой границей, терминальные множества - начало координат. Предполагается, что убегающие в процессе игры не покидают пределы выпуклого конуса. Целью преследователей является поимка двух убегающих, цель группы убегающих противоположна. Говорят, что в задаче преследования происходит поимка, если существуют два преследователя, из заданной группы преследователей, которые ловят убегающих, при этом моменты поимки могут не совпадать. В терминах начальных позиций получены достаточные условия поимки двух убегающих. Приведены примеры, иллюстрирующие полученные результаты.

We consider a linear problem of pursuing two evaders by a group of persecutors in case of equal dynamic opportunities of all participants and under phase restrictions imposed on the states of evaders. We assume that the evaders use the same control. The movement of each participant has the form $ \dot z + a (t) z = w. $ Geometric constraints on the control are strictly convex compact set with smooth boundary, and terminal sets are the origin of coordinates. It is assumed that the evaders do not leave the convex cone. The aim of a group of pursuers is to capture two evaders; the aim of a group of evaders is opposite. We say that a capture holds in the problem of pursuing two evaders if among the specified number of pursuers there are two of them who catch the evaders, possibly at different times. We obtain sufficient conditions for capturing two evaders in terms of initial positions. The results obtained are illustrated by examples.

Рассматривается задача построения вершинного описания выпуклого полиэдра, заданного как множество решений некоторой системы линейных неравенств, коэффициенты которой являются алгебраическими числами. Обратная задача эквивалентна (двойственна) исходной. Предлагаются программные реализации нескольких модификаций хорошо известного метода двойного описания (метода Моцкина-Бургера), решающего поставленную задачу. Рассматривается два случая: 1) элементы системы неравенств - произвольные алгебраические числа, при этом каждое такое число задается минимальным многочленом и локализующим интервалом; 2) элементы системы неравенств принадлежат заданному конечному расширению ${\mathbb Q} (\alpha)$ поля ${\mathbb Q}$, при этом для $\alpha$ задаются минимальный многочлен и локализующий интервал, а все элементы исходной системы, конечные и промежуточные результаты представлены как многочлены от $\alpha$. Как и ожидалось, программная реализация для второго варианта значительно превосходит реализацию для первого варианта по производительности. Для большего ускорения во втором случае предлагается использовать булевы матрицы вместо матриц невязок. Результаты вычислительного эксперимента показывают, что программные реализации вполне пригодны для решения задач умеренных размеров.

We consider the problem of constructing the dual representation of a convex polyhedron defined as a set of solutions to a system of linear inequalities with coefficients which are algebraic numbers. The inverse problem is equivalent (dual) to the initial problem. We propose program implementations of several variations of the well-known double description method (Motzkin-Burger method) solving this problem. The following two cases are considered: 1) the elements of the system of inequalities are arbitrary algebraic numbers, and each such number is represented by its minimal polynomial and a localizing interval; 2) the elements of the system belong to a given extension ${\mathbb Q} (\alpha)$ of ${\mathbb Q}$, and the minimal polynomial and the localizing interval are given only for $\alpha$, all elements of the system, intermediate and final results are represented as polynomials of $\alpha$. As expected, the program implementation for the second case significantly outperforms the implementation for the first one in terms of speed. In the second case, for greater acceleration, we suggest using a Boolean matrix instead of the discrepancy matrix. The results of a computational experiment show that the program is quite suitable for solving medium-scale problems.

В настоящей работе проведено исследование модели деформаций системы из $n$ стилтьесовских струн, расположенных вдоль геометрического графа-звезды, с нелинейным условием в узле. Соответствующая граничная задача имеет вид $$ \left\{\begin{array}{lll} -\left(p_iu_i^\prime\right)(x)+\displaystyle{\int_{0}^{x}}u_i\,dQ_i=F_i(x)-F_i(+0)-(p_iu_i')(+0),\quad i=1,2, \ldots, n,\\ \sum\limits_{i=1}^np_i(+0)u_i'(+0)\in N_{[-m,m]}u(0),\\ u_1(0)=u_2(0)=\ldots=u_n(0)=u(0),\\ (p_iu_i')(l_i-0)+u_i(l_i)\Delta Q_i(l_i)=\Delta F_i(l_i),\quad i=1,2,\ldots, n. \end{array} \right. $$ Здесь функции $u_i(x)$ определяют деформации каждой из струн; $F_i(x)$ описывают распределение внешней нагрузки; $p_i(x)$ характеризуют упругость струн; $Q_i(x)$ описывают упругую реакцию внешней среды. Скачок $\Delta F_i(l_i)$ равняется сосредоточенной в точке $l_i$ внешней силе; скачок $\Delta Q_i(l_i)$ совпадает с жесткостью упругой опоры (пружины), прикрепленной к точке $l_i$. Условие $\sum\limits_{i=1}^np_i(+0)u_i'(+0)\in N_{[-m,m]}u(0)$ возникает за счет наличия в узле ограничителя, представленного отрезком $[-m,m]$, на перемещение струн под воздействием внешней нагрузки, то есть предполагается, что $|u(0)|\leq m$. Здесь через $N_{[-m,m]}u(0)$ обозначен нормальный конус к $[-m,m]$ в точке $u(0)$. В работе проведен вариационный вывод модели; доказаны теоремы существования и единственности решения; проанализированы критические нагрузки, при которых происходит соприкосновение струн с ограничителем; приведена явная формула представления решения.

In the present paper we study a model of deformations for a system of $n$ Stieltjes strings located along a geometric graph-star with a nonlinear condition at the node. The corresponding boundary value problem has the form $$ \left\{\begin{array}{lll} -\left(p_iu_i^\prime\right)(x)+\displaystyle{\int_0^x}u_idQ_i=F_i(x)-F_i(+0)-(p_iu_i')(+0), \quad i=1,2, \ldots, n,\\ \sum\limits_{i=1}^np_i(+0)u_i'(+0)\in N_{[-m,m]}u(0),\\ u_1(0)=u_2(0)=\ldots=u_n(0)=u(0),\\ (p_iu_i')(l_i-0)+u_i(l_i)\Delta Q_i(l_i)=\Delta F_i(l_i), \quad i=1,2,\ldots, n. \end{array} \right. $$ Here the functions $u_i(x)$ determine the deformations of each of the strings; $F_i(x)$ describe the distribution of the external load; $p_i(x)$ characterize the elasticity of strings; $Q_i(x)$ describe the elastic response of the environment. The jump $\Delta F_i(l_i)$ is equal to the external force concentrated at the point $l_i$; the jump $\Delta Q_i(l_i)$ coincides with the stiffness of the elastic support (spring) attached to the point $l_i$. The condition $\sum\limits_{i=1}^np_i(+0)u_i'(+0)\in N_{[-m,m]}u(0)$ arises due to the presence of a limiter in the node represented by the segment $ [-m,m]$, on the movement of strings under the influence of an external load, thus it is assumed that $|u(0)|\leq m$. Here $N_{[-m,m]}u(0)$ denotes the normal cone to $[-m,m]$ at the point $u(0)$. In the present paper a variational derivation of the model is carried out; existence and uniqueness theorems for solutions are proved; the critical loads at which the strings come into contact with the limiter are analyzed; an explicit formula for the representation of the solution is presented.

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

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.

В данной работе изучаются производные множества по направлениям и дифференциалы заданного многозначного отображения. Указаны различные соотношения между производными множествами по направлениям и дифференциалами многозначного отображения. Установлено, что каждое компактное подмножество множества нижних производных может быть использовано для нижней аппроксимации заданного многозначного отображения. Вычисляются и сравниваются верхние и нижние контингентные конусы некоторых множеств на плоскости.

In this paper directional derivative sets and differentials of a given set valued map are studied. Different type relations between directional derivative sets and differentials of a set valued map are specified. It is established that every compact subset of lower derivative set can be used for lower approximation of given set valued map. Upper and lower contingent cones of some plane sets are calculated and compared.

Пусть n,m, ℓ, s ∈ N – заданные числа, П ⊂ Rⁿ – измеримое по Лебегу множество, X, Z – банаховы идеальные пространства измеримых на П функций. Рассматривается нелинейное операторное уравнение:

x = θ + AF[x], x ∈ X^ℓ, (1)

где A : Z^m → X^ℓ – линейный ограниченный оператор, F : X^ℓ → Z^m – некоторый оператор. Уравнение (1) является естественной формой описания широкого класса сосредоточенных и распределенных систем. Ранее В.П. Политюковым был предложен метод монотонизации для обоснования разрешимости уравнения вида (1) и получения поточечных оценок решения. Суть его состояла в том, что разрешимость уравнения (1) доказывалась (помимо прочих условий) для случая, когда I) оператор F допускал поправку вида G = λI до монотонного оператора F[x] = F[θ+x]+G[x] такую, что II) (I +AG)⁻¹A > 0 (λ > 0, I  тождественный оператор). Как видно из примеров, приведенных в данной статье, условия I) и II) могут противоречить друг другу, что сужает сферу применения метода. Основной результат статьи в том, что в случае оператора A, обладающего свойством вольтерровости, естественным для эволюционных уравнений, требование монотонизируемости I) можно заменить требованием оценки оператора F на некотором конусном отрезке сверху и снизу через линейный оператор G плюс фиксированный элемент. Доказывается, что для глобальной разрешимости начально-краевой задачи, связанной с полулинейным эволюционным уравнением, достаточно, чтобы аналогичная начально-краевая задача, связанная с линейным уравнением, полученным путем оценки правой части исходного полулинейного уравнения на некотором конусном отрезке, имела положительное решение. В качестве иллюстрации рассматривается применение указанных результатов к системе Гурса–Дарбу, задаче Коши для волнового уравнения и первой краевой задаче для уравнения диффузии.

Let  n,m, ℓ, s ∈ N be given numbers, П ⊂ Rⁿ be a set measurable by Lebesgue and  X, Z  be some Banach ideal spaces of functions measurable on . We consider a nonlinear operator equation of the form as follows:

x = θ + AF[x], x ∈ X^ℓ, (1)

where A : Z^m → X^ℓ is bounded linear operator, F : F : X^ℓ → Z^m is some operator. Equation (1) is a natural form of lumped and distributed parameter systems from a wide enough class. Formerly, by V.P. Polityukov it was suggested monotonization method for justification of solvability of equation (1) and obtaining pointwise estimations for solutions. The matter of this method consisted in that solvability of equation (1) was proved (besides other conditions) under following: I) operator F allows some correction of the form G = λI to monotone operator F[x] = F[θ+x]+G[x] such that II) (I +AG)⁻¹A > 0 (λ > 0, I is identity operator). As our examples show, conditions I) and II) may be contradictory to each other, that narrows a sphere of application of the method. The main result of the paper is that for the case of operator A, possessing the Volterra property, which is natural for evolutionary equations, the requirement I) of ability to be monotonized can be replaced by the requirement of some upper and lower estimates for operator F on some cone segment through linear operator G and additional fixed element. We prove that for global solvability of a boundary value problem associated with a semilinear evolutionary equation it is sufficient that analogous boundary value problem associated with linear equation, derived from the original equation by estimating of a right-hand side on some cone segment, have a positive solution. The application of results obtained is illustrated by Goursat–Darboux system, Cauchy problem associated with wave equation and first boundary value problem associated with diffusion equation.

Рассматривается задача о конфликтном взаимодействии одного убегающего и группы преследователей. Все игроки обладают равными динамическими возможностями. Движение каждого из них описывается дифференциальным уравнением четвертого порядка. Убегающий обладает полной информацией, а преследователи знают только координаты всех игроков. Поимка понимается как совпадение ускорений, скоростей и координат игроков. Предполагается, что начальное положение, скорость и ускорение убегающего принадлежат заданному конусу. Кроме того, предполагается, что третья производная функции, задающей траекторию движения убегающего, в начальный момент времени также принадлежит этому конусу. Доказано, что если число преследователей меньше размерности пространства, то в игре можно избежать «мягкой поимки».

A problem of conflict interaction of one evader with a group of pursuers is considered. All players have equal dynamic capabilities. The motion of each player is defined by a fourth order differential equation. An evader has full information, and pursuers know positions of all players only. A capture is defined as equality of accelerations, velocities and positions of players. It is assumed that initial position, velocity and acceleration of an evader are inside of the given cone. It is also assumed that a third order derivative, defining evader's path, is initially inside of this cone too. It is proved that if the number of pursuers is less than the space dimension, then runaway occurs.

Рассматриваются два подхода к решению задачи математического моделирования обтекания метаемых тел: численное решение уравнений движения сплошной среды Навье-Стокса, осредненных по Рейнольдсу (RANS - Reynolds-averaged Navier–Stokes), с использованием модели турбулентности и прямое численное моделирование (DNS - Direct Numerical Simulation). Тестирование рассматриваемых подходов проводится при решении задачи обтекания тел вращения с простой геометрией: сферы и цилиндра с конической головной частью, для которых известны значения коэффициентов сопротивления при различных числах Маха. Проведено качественное и количественное сравнение результатов обтекания рассматриваемых тел сверхзвуковым потоком, полученным по методикам RANS и DNS. Апробация методики численного моделирования проводится для метаемого тела (снаряда) характерной формы. Представлены результаты численного моделирования обтекания снаряда для широкого диапазона параметров: чисел Маха и углов нутации. Выполнено сравнение расчетных значений коэффициентов сопротивления с эмпирическими эталонными зависимостями по законам 1943 и 1958 годов.

Two approaches to the problem of numerical simulation of streamlined bodies airflow are considered. These approaches are: numerical calculation of the Reynolds-averaged Navier-Stokes equations (RANS) using the turbulence model and direct numerical simulation (DNS). Testing of the considered approaches were conducted by solving the problem of flow past bodies of revolution with simple geometries: sphere and cone cylinder, for which values of drag coefficient at different Mach numbers are known. Qualitative and quantitative comparison of the results for the supersonic flow (modelled by RANS and DNS methods) around the bodies under consideration are carried out. The numerical simulation method is tested by considering the missile body (projectile) of characteristic shape. The numerical simulation results for the flow around the projectile are presented for a wide range of parameters: Mach numbers and angles of nutation. The calculated values of the drag coefficients are compared to the empirical reference dependencies according to the laws of 1943 and 1958.