Все выпуски

Изучается одна краевая задача для дифференциального уравнения с частными производными четвертого порядка с младшим членом в прямоугольной области. Для решения задачи получена априорная оценка решения, из которой следует единственность решения задачи. Для доказательства существования решения задачи применяется метод разделения переменных. Разрешимость задачи сводится к интегральному уравнению Фредгольма второго рода относительно искомой функции, которое решается методом последовательных приближений. Найдены достаточные условия, обеспечивающие абсолютную и равномерную сходимость ряда, представляющего решение задачи, и рядов, полученных из него дифференцированием четыре раза по x и два раза по t.

In this paper we study a boundary value problem for the fourth order partial differential equation with the lowest term in a rectangular domain. For the solution of the problem a priori estimate is obtained. From a priori estimate the uniqueness of the solution of the problem follows. For the proof of the solvability of this problem we use the method of separation of variables. The solvability of this problem is reduced to the Fredholm integral equation of the second kind with respect to unknown function. Integral equation is solved by the method of successive approximations. We find the sufficient conditions for the absolute and uniform convergence of series representing the solution of the problem and the series obtained by differentiation four times with respect x and two times with respect to t.

Рассматривается линейная управляемая система с линейной неполной обратной связью с дискретным временем $$x(t+1)=Ax(t)+Bu(t), \quad y(t)=C^*x(t), \quad u(t)=Uy(t),$$ $$t\in\mathbb{Z},\quad (x,u,y)\in\mathbb{K}^n\times\mathbb{K}^m\times\mathbb{K}^k.$$

Здесь $\mathbb K=\mathbb C$ или $\mathbb K=\mathbb R$. Для замкнутой системы $$x(t+1)=(A+BUC^*)x(t), \quad x\in\mathbb K^n, \qquad(1)$$

вводится понятие согласованности. Это понятие является обобщением понятия полной управляемости на системы с неполной обратной связью. Исследуется свойство согласованности системы $(1)$ в связи с задачей управления спектром собственных значений, которая заключается в приведении характеристического многочлена матрицы стационарной системы $(1)$ с помощью стационарного управления $U$ к произвольному наперед заданному полиному. Для системы $(1)$ специального вида, когда матрица $A$ имеет форму Хессенберга, а в матрицах $B$ и $C$ все строки соответственно до $p$-й и после $p$-й (не включая $p$) равны нулю, свойство согласованности является достаточным условием глобальной управляемости спектра собственных значений. В предыдущих работах было доказано, что обратное утверждение верно для $n<5$ и неверно для $n>5$. В настоящей работе открытый вопрос для $n=5$ разрешен. Доказано, что при $n=5$ для системы с коэффициентами специального вида свойство согласованности является необходимым условием глобальной управляемости спектра собственных значений. Доказательство производится перебором всевозможных допустимых значений размерностей $m,k,p$. Свойство согласованности эквивалентно свойству полной управляемости «большой системы» размерности $n^2$. Для доказательства строится большая система, строится матрица управляемости $K$ этой системы размерности $n^2\times n^2mk$. Доказывается, что матрица $K$ имеет ненулевой минор порядка $n^2=25$. Для вычисления определителей больших порядков используется система Maple 15.

We consider a discrete-time linear control system with an incomplete feedback $$x(t+1)=Ax(t)+Bu(t), \quad y(t)=C^*x(t), \quad u(t)=Uy(t),$$ $$t\in\mathbb{Z},\quad (x,u,y)\in\mathbb{K}^n\times\mathbb{K}^m\times\mathbb{K}^k,$$

where $\mathbb K=\mathbb C$ or $\mathbb K=\mathbb R$. We introduce the concept of consistency for the closed-loop system

$$x(t+1)=(A+BUC^*)x(t), \quad x\in\mathbb K^n. \qquad(1)$$

This concept is a generalization of the concept of complete controllability to systems with an incomplete feedback. We study the consistency of the system $(1)$ in connection with the problem of arbitrary placement of eigenvalue spectrum which is to bring a characteristic polynomial of a matrix of the system $(1)$ to any prescribed polynomial by means of the time-invariant control $U$. For the system $(1)$ of the special form where the matrix $A$ is Hessenberg and the rows of the matrix $B$ before the $p$-th and the rows of the matrix $C$ after the $p$-th (not including $p$) are equal to zero, the property of consistency is the sufficient condition for arbitrary placement of eigenvalue spectrum. In previous studies it has been proved that the converse is true for $n <5$ and false for $n> 5$. In this paper, an open question for $ n = 5 $ is resolved. For the system $(1)$ of the special form, it is proved that if $n = 5$ then the property of consistency is a necessary condition for the arbitrary placement of eigenvalue spectrum. The proof is carried out by direct searching of all possible valid values of dimensions $ m, k, p $. The property of consistency is equivalent to the property of complete controllability of a big system of dimension $n^2$. For the proof we construct the big system and the controllability matrix $K$ of this system of dimension $n^2\times n^2mk$. We show that the matrix $K$ has a nonzero minor of order $n^2 = 25$. We use Maple 15 to calculate the high-order determinants.

Рассматривается периодический оператор Шредингера Ĥ_A+V в Rⁿ, n≥3. На векторный потенциал A накладываются ограничения, которые, в частности, выполнены, если потенциал A принадлежит классу Соболева H^q_loc(Rⁿ;Rⁿ), 2q>n-1, а также в случае, когда Σ ||A_N||_Cⁿ<+∞, где A_N – коэффициенты Фурье потенциала A. Доказана абсолютная непрерывность спектра периодического оператора Шредингера Ĥ_A+V для скалярных потенциалов V из пространства Морри L^2,p(Rⁿ), p∈((n-1)/2,n/2], для которых ||Χ_Br(x)V||_2,p≤ε₀ при всех достаточно малых r>0 и всех x∈Rⁿ, где число ε₀=ε₀(n,p;A)>0 зависит от векторного потенциала A, B_r(x) – замкнутый шар радиуса r>0 с центром в точке x∈Rⁿ, Χ_Κ – характеристическая функция множества K⊆Rⁿ, ||.||_2,p –
норма в пространстве L^2,p(Rⁿ). Пусть K – элементарная ячейка решетки периодов потенциалов A и V, K* – элементарная ячейка обратной решетки. Оператор Ĥ_A+V  унитарно эквивалентен прямому интегралу операторов Ĥ_A(k)+V, k∈2πK*, действующих в L²(K). Последние операторы рассматриваются также при комплексных векторах k+ik’∈Cⁿ. При доказательстве абсолютной непрерывности спектра оператора Ĥ_A+V используется метод Томаса и оценки резольвенты операторов Ĥ_A(k+ik’)+V при определенным образом выбираемых комплексных векторах k+ik’∈Cⁿ с достаточно большой мнимой частью k’.

We consider the periodic Schrödinger operator Ĥ_A+V in Rⁿ, n≥3. The vector potential A is supposed to satisfy some conditions which are fullled whenever the potential A belongs to the Sobolev class H^q_loc(Rⁿ;Rⁿ), 2q>n-1, and also in the case where Σ ||A_N||_Cⁿ<+∞. Here A_N are the Fourier coecients of the potentialA. We prove absolute continuity of the spectrum of the periodic Schrödinger operator Ĥ_A+V provided that the scalar potential V belongs to the Morrey space L^2,p(Rⁿ), p∈((n-1)/2,n/2] and ||Χ_Br(x)V||_2,p≤ε₀ for all suciently small r>0 and all x∈Rⁿ, where the number ε₀=ε₀(n,p;A)>0 depends on the vector potential A, B_r(x) is a closed ball of radius r>0 centered at the point x∈Rⁿ, Χ_Κ a characteristic function of a set K⊆Rⁿ, ||.||_2,p the norm in the space L^2,p(Rⁿ). Let K be the fundamental domain of the period lattice (which is common for the potentials A and V), K the fundamental domain of the reciprocal lattice. The operator Ĥ_A+V is unitarily equivalent to the direct integral of operators Ĥ_A(k)+V, k∈2πK*, acting on the space L₂(K). The last operators are also considered for complex vectors k+ik’∈Cⁿ. To prove absolute continuity of the spectrum of the operator Ĥ_A+V, we use the Thomas method. The main ingredients in the proof are the inequalities for the resolvent of the operators Ĥ_A(k+ik’)+V which hold for some appropriate chosen complex vectors k+ik’∈Cⁿ with suciently large imaginary part k’.

Для приведенной канонической системы интегро-дифференциальных уравнений вязкоупругости рассмотрены прямая и обратная задачи определения поля скоростей упругих волн и матрицы релаксации. Задачи заменены замкнутой системой интегральных уравнений типа Вольтерра второго рода относительно преобразования Фурье по переменным $x_{1}$ и $x_{2}$ для решения прямой и обратной задачи. Далее к этой системе применяется метод сжимающих отображений в пространстве непрерывных функций с весовой нормой. В работе доказаны теоремы о глобальные существования и единственности решений задач.

For the reduced canonical system of integro-differential equations of viscoelasticity, direct and inverse problems of determining the velocity field of elastic waves and the relaxation matrix are considered. The problems are replaced by a closed system of Volterra integral equations of the second kind with respect to the Fourier transform in the variables $x_{1}$ and $x_{2}$ for the solution of the direct problem and unknowns of the inverse problem. Further, the method of contraction mappings in the space of continuous functions with a weighted norm is applied to this system. Thus, we prove global existence and uniqueness theorems for solutions of the problems.

Получены достаточные условия разрешимости линейной задачи уклонения в нестационарной дифференциальной игре со многими участниками.

The paper deals with the linear non-stationary problem of disputed interaction of operated objects with participation of n pursuers and of m evaders with dynamic opportunities of all participants being equal. Suffcient conditions of resolvability of the global problem of evasion have been obtained.

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

For an abstract dynamic system the game problem of trajectories retention in a given set is considered. The relations of the method of programmed iterations and the constructions associated with the generation of the operator convex hull with the help of prehull are investigated. Within these relations the procedure of constructing the hull is realized in the form dual to the procedure based on the method of programmed iterations. The retention problem solution is determined in the class of multi-valued quasistrategies (nonanticipating responses to the realization of uncertain factors of the process). It is shown that the set of successful solvability of the retention problem is defined as the limit of the iterative procedure in the space of sets, elements of which are positions of the game; the structure of resolving quasistrategies is also provided.

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

We consider a nonlinear controlled system in a finite-dimensional Euclidean space defined on a finite time interval. One of the main problems of mathematical control theory is studied: the problem of approaching a phase vector of a controlled system with a compact target set in the phase space at a fixed time instant. In this paper, a Lebesgue set of a scalar Lipschitz function defined on the phase space is a target set. The mentioned approach problem is closely connected with many important and key problems of control theory and, in particular, with the problem of optimally reducing a controlled system to a target set. Due to the complexity of the approach problem for nontrivial controlled systems, an analytical representation of solutions is impossible even for relatively simple controlled systems. Therefore, in the present work, we study first of all the issues related to the construction of an approximate solution of the approach problem. The construction of an approximate solution by the method described in the paper is primarily concerned with the design of the integral funnel of the controlled system, presented in the so-called “reverse” time. To date, there are several algorithms for constructing a resolving program control in the approach problem. This paper presents an algorithm for constructing a control based on the maximum attraction of the system's motion to the solvability set of the approach problem. Examples are provided.

В настоящей статье рассматривается краевая задача для дифференциальных уравнений типа Ланжевена с дробной производной Капуто в банаховом пространстве. Предполагается, что нелинейная часть уравнения представляет из себя отображение, подчиняющееся условиям типа Каратеодори. Уравнения такого типа обобщают уравнения движения в различного рода средах, например вязкоупругих, или в средах, где сила сопротивления выражается с помощью дробной производной. Для разрешения поставленной задачи будет использоваться теория дробного математического анализа, свойства функции Миттаг-Леффлера, а также теория мер некомпактности и уплотняющих операторов. Идея решения состоит в следующем: исходная задача сводится к задаче о существовании неподвижных точек соответствующего разрешающего интегрального оператора в пространстве непрерывных функций. Для доказательства существования неподвижных точек разрешающего оператора используется теорема типа Б.Н. Садовского о неподвижной точке. Для этого мы показываем, что разрешающий интегральный оператор является уплотняющим относительно векторной меры некомпактности в пространстве непрерывных функций и преобразует замкнутый шар в этом пространстве в себя.

In this paper, we consider a boundary value problem for differential equations of Langevin type with the Caputo fractional derivative in a Banach space. It is assumed that the nonlinear part of the equation is a Caratheodory type map. Equations of this type generalize equations of motion in various kinds of media, for example, viscoelastic media or in media where a drag force is expressed using a fractional derivative. We will use the theory of fractional mathematical analysis, the properties of the Mittag-Leffler function, as well as the theory of measures of non-compactness and condensing operators to solve the problem. The initial problem is reduced to the problem of the existence of fixed points of the corresponding resolving integral operator in the space of continuous functions. We will use Sadovskii type fixed point theorem to prove the existence of fixed points of the resolving operator. We will show that the resolving integral operator is condensing with respect to the vector measure of non-compactness in the space of continuous functions and transforms a closed ball in this space into itself.

В конечномерном евклидовом пространстве рассматривается задача преследования группой преследователей группы убегающих, описываемая системой вида \begin{gather*} D^{(\alpha)}x_i = a_i x_i + u_i, \ u_i \in U_i, \quad D^{(\alpha)}y_j = b_jy_j + v, \ v\in V, \end{gather*} где $D^{(\alpha)}f$ — производная по Капуто порядка $\alpha$ функции $f$. Множества допустимых управлений $U_i, V$ — выпуклые компакты, $a_i, b_j$ — вещественные числа. Терминальные множества — выпуклые компакты. Получены достаточные условия разрешимости задач преследования. При исследовании в качестве базового используется метод разрешающих функций. Показано, что возможна такая конфликтная ситуация с равными возможностями всех участников, при которой один преследователь ловит всех убегающих.

In a finite-dimensional Euclidean space, the problem of pursuit of a group of evaders by a group of pursuers is considered, described by a system of the form \begin{gather*} D^{(\alpha)}x_i = a_i x_i + u_i, \ u_i \in U_i, \quad D^{(\alpha)}y_j = b_jy_j + v, \ v\in V, \end{gather*} where $D^{(\alpha)}f$ is the Caputo derivative of order $\alpha$ of the function $f$. The sets of admissible controls $U_i, V$ are convex compacts, $a_i, b_j$ are real numbers. The terminal sets are convex compacts. Sufficient conditions for the solvability of the pursuit problems are obtained. In the study, the method of resolving functions is used as the basic one. It is shown that such a conflict situation with equal opportunities for all participants is possible, in which one pursuer catches all the evaders.

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

Sufficient conditions of resolvability of nonlinear boundary value problems for some classes of functional differential equations are presented. These conditions have been obtained on the basis of reduction of original problem to the equation with a monotone operator.