Все выпуски

Работа посвящена вопросу об абсолютной непрерывности спектра двумерного обобщенного периодического оператора Шрёдингера $H_g+V=-\nabla g\nabla+V$, где непрерывная положительная функция $g$ и скалярный потенциал $V$ имеют общую решетку периодов $Λ$. Решения уравнения $(H_g+V)\varphi=0$ определяют, в частности, электрическое и магнитное поля для электромагнитных волн, распространяющихся в двумерных фотонных кристаллах. При этом функция $g$ и скалярный потенциал $V$ выражаются через диэлектрическую проницаемость $\varepsilon$ и магнитную проницаемость $\mu$ ($V$ также зависит от частоты электромагнитной волны). Диэлектрическая проницаемость $\varepsilon$ может быть разрывной функцией (и обычно выбирается кусочно-постоянной), поэтому возникает задача об ослаблении известных условий гладкости для функции $g$, обеспечивающих абсолютную непрерывность спектра оператора $H_g+V$. В настоящей работе предполагается, что коэффициенты Фурье функций $g^{\pm\frac12}$ при некотором $q\in[1, \frac43)$ удовлетворяют условию $\sum\left(|N|^\frac12\left|\left(g^{\pm\frac12}\right)_N\right|\right)^q<+\infty$ и скалярный потенциал $V$ имеет нулевую грань относительно оператора $-Δ$ в смысле квадратичных форм. Пусть $K$ - элементарная ячейка решетки $Λ$, $K^*$ - элементарная ячейка обратной решетки $\Lambda^*$. Оператор $H_g+V$ унитарно эквивалентен прямому интегралу операторов $H_g(k)+V$, где $k$ - квазиимпульс из $2\pi K^*$, действующих в $L^2(K)$. Последние операторы можно также рассматривать при комплексных векторах $k+ik'\in \mathbb{C}^2$. В статье используется метод Томаса. Доказательство абсолютной непрерывности спектра оператора $H_g+V$ сводится к доказательству обратимости операторов $H_g(k+ik')+V-\lambda$, $\lambda\in \mathbb{R}$, при определенным образом выбираемых комплексных векторах $k+ik'\in \mathbb{C}^2$ (зависящих от $g$, $V$ и числа $\lambda$) с достаточно большой мнимой частью $k'$.

The paper is concerned with the problem of absolute continuity of the spectrum of the two-dimensional generalized periodic Schrodinger operator $H_g+V=-\nabla g\nabla+V$ where the continuous positive function $g$ and the scalar potential $V$ have a common period lattice $\Lambda$. The solutions of the equation $(H_g+V)\varphi=0$ determine, in particular, the electric field and the magnetic field of electromagnetic waves propagating in two-dimensional photonic crystals. The function $g$ and the scalar potential $V$ are expressed in terms of the electric permittivity $\varepsilon$ and the magnetic permeability $\mu$ ($V$ also depends on the frequency of the electromagnetic wave). The electric permittivity $\varepsilon$ may be a discontinuous function (and usually it is chosen to be piecewise constant) so the problem to relax the known smoothness conditions on the function $g$ that provide absolute continuity of the spectrum of the operator $H_g+V$ arises. In the present paper we assume that the Fourier coefficients of the functions $g^{\pm\frac12}$ for some $q\in[1, \frac43)$ satisfy the condition $\sum\left(|N|^\frac12\left|\left(g^{\pm\frac12}\right)_N\right|\right)^q<+\infty$, and the scalar potential $V$ has relative bound zero with respect to the operator $-\Delta$ in the sense of quadratic forms. Let $K$ be the fundamental domain of the lattice $\Lambda$, and assume that $K^*$ is the fundamental domain of the reciprocal lattice $\Lambda^*$. The operator $H_g+V$ is unitarily equivalent to the direct integral of operators $H_g(k)+V$, with quasimomenta $k\in 2\pi K^*$, acting on the space $L^2(K)$. The last operators can be also considered for complex vectors $k+ik'\in \mathbb{C}^2$. We use the Thomas method. The proof of absolute continuity of the spectrum of the operator $H_g+V$ amounts to showing that the operators $H_g(k+ik')+V-\lambda$, $\lambda\in \mathbb{R}$, are invertible for some appropriately chosen complex vectors $k+ik'\in \mathbb{C}^2$ (depending on $g$, $V$, and the number $\lambda$) with sufficiently large imaginary parts $k'$.

В статье исследуются прямая и обратная задачи для уравнений субдиффузии с участием дробной производной в смысле Хильфера. В качестве эллиптической части уравнения взят произвольный положительный самосопряженный оператор $A$. В частности, в качестве оператора $A$ можно взять оператор Лапласа с условием Дирихле. Сначала доказано существование и единственность решения прямой задачи. Затем с помощью представления решения прямой задачи доказывается существование и единственность обратной задачи нахождения правой части уравнения, зависящей только от пространственной переменной.

The article studies direct and inverse problems for subdiffusion equations involving a Hilfer fractional derivative. An arbitrary positive self-adjoint operator $A$ is taken as the elliptic part of the equation. In particular, as the operator $A$ we can take the Laplace operator with the Dirichlet condition. First, the existence and uniqueness of a solution to the direct problem is proven. Then, using the representation of the solution to the direct problem, the existence and uniqueness of the inverse problem of finding the right-hand side of the equation, which depends only on the spatial variable, is proved.

В статье изучается существование положительных решений на отрезке $[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.

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

We consider the issues of solvability of boundary value problems for linear functional-differential equations. Statements allowing one to obtain conditions for the existence of a unique solution and for non-negativity of the Green's function, and to obtain a fundamental solution to the homogeneous equation are suggested. In order to apply these statements, one needs to define a “reference” boundary value problem that possesses the corresponding properties and to define an operator by means of the operators generated by the problem under study and the “reference” problem according to the given rule. If the spectral radius of this operator is less than 1, then the boundary value problem under consideration is uniquely solvable. Similarly, in order to obtain conditions for the nonnegativity of the Green's function and the fundamental solution, it is required to determine a special operator by the rule given in the paper and to verify its positivity. An example of application of the statements obtained to a particular boundary value problem with an integral boundary condition for the equation containing argument deviations to the unknown function and to its derivative is considered.

Для динамической системы, управляемой в условиях помех, рассматривается задача оптимизации гарантированного результата. Особенностью задачи является наличие функциональных ограничений на помехи, при которых свойство замкнутости множества допустимых помех относительно операции «склейки» двух его элементов, вообще говоря, отсутствует. Это обстоятельство препятствует непосредственному применению методов теории дифференциальных игр для исследования задачи и тем самым приводит к необходимости их походящей модификации. В работе предложено новое понятие неупреждающей стратегии управления (квазистратегии). Доказано, что соответствующий функционал оптимального гарантированного результата удовлетворяет принципу динамического программирования. Как следствие, установлены так называемые свойства $u$- и $v$-стабильности этого функционала, которые в дальнейшем позволят построить конструктивное решение задачи в позиционных стратегиях.

For a dynamical system controlled under conditions of disturbances, a problem of optimizing the guaranteed result is considered. A feature of the problem is the presence of functional constraints on disturbances, under which, in general, the set of admissible disturbances is not closed with respect to the operation of “gluing up” of two of its elements. This circumstance does not allow to apply directly the methods developed within the differential games theory for studying the problem and, thus, leads to the necessity of modifying them appropriately. The paper provides a new notion of a non-anticipative control strategy. It is proved that the corresponding functional of the optimal guaranteed result satisfies the dynamic programming principle. As a consequence, so-called properties of $u$- and $v$-stability of this functional are established, which may allow, in the future, to obtain a constructive solution of the problem in the form of feedback (positional) controls.

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

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 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.

Математическое моделирование композиционных материалов играет важную роль в современной технике, а решение и исследование обратных граничных задач теплообмена невозможно без использования систем собственных функций задачи Штурма-Лиувилля для дифференциального уравнения с разрывными коэффициентами. Одним из важнейших свойств таких систем является их полнота в соответствующих пространствах. Это свойство систем позволяет доказать теоремы существования и единственности как для прямых задач, так и обратных граничных задач теплопроводности, а также обосновать численные методы решения таких задач. В настоящей статье доказана полнота в пространстве $L_2[r_0,r_2]$ задачи Штурма-Лиувилля для дифференциального оператора второго порядка с разрывным коэффициентом. Эта задача возникает при исследовании и решении обратной граничной задачи теплопроводности для полого шара, состоящего из двух шаров с различными коэффициентами температуропроводности. Доказана самосопряженность, инъективность, а также положительная определенность этого оператора.

Mathematical modeling of composite materials plays an important role in modern technology, and the solution and study of inverse boundary value problems of heat transfer is impossible without the use of systems of eigenfunctions of the Sturm-Liouville problem for the differential equation with discontinuous coefficients. One of the most important properties of such systems is their completeness in the corresponding spaces. This property of systems allows to prove theorems of existence and uniqueness of both direct problems and inverse boundary value problems of thermal conductivity, and also to prove numerical methods of solving such problems. In this paper, we prove the completeness of the Sturm-Liouville problem in the space $L_2[r_0,r_2]$ for a second-order differential operator with a discontinuous coefficient. This problem arises when investigating and solving the inverse boundary problem of thermal conductivity for a hollow ball consisting of two balls with different temperature conductivity coefficients. Self-conjugacy, injectivity, and positive definiteness of this operator are proved.

В настоящей работе рассматривается естественная релаксация игровой задачи наведения. А именно, для двух замкнутых множеств - параметров задачи - решается аналогичная задача о наведении для $\varepsilon$-окрестностей данных множеств. Нас интересует наименьший размер таких окрестностей, для которых игрок I может решить задачу наведения в классе обобщенных квазистратегий. Для построения решения используется модификация метода программных итераций. Вышеупомянутый размер окрестностей находится как функция позиции и в дальнейшем определяется путем применения специальной итерационной процедуры. Также в работе показано, что искомая функция является неподвижной точкой оператора, определяющего данную процедуру.

We consider some natural relaxation of pursuit-evasion differential game. For two closed sets, which are parameters, similar guidance problem for $\varepsilon$-neighborhoods is being solved. We are interested in finding a minimal size of such neighborhoods, which allows player I successfully solve his guidance problem in the class of generalized non-anticipating strategies. To resolve above-mentioned differential game, a modification of Program Iterations Method is implemented. Size of the neighborhoods is found as a position function and it's defined by application of special iterative procedure further below. As a corollary, it is shown that desired function is a fixed point of the open-loop operator, which defines the procedure.

Классическая система реакции-диффузии — система Шнакенберга — рассматривается в ограниченной области $m$-мерного пространства, на границе которой предполагаются выполненными краевые условия Неймана. Изучается диффузионная неустойчивость стационарного пространственно-однородного решения этой системы, называемая также неустойчивостью Тьюринга, возникающая при изменении коэффициента диффузии $d.$ Путем анализа линеаризованной системы в бездиффузионном и диффузионном приближениях получено аналитическое описание области необходимых и достаточных условий неустойчивости Тьюринга на плоскости параметров системы. Показано, что одна из границ области необходимых условий является огибающей семейства кривых, ограничивающих область достаточных условий. При этом точки пересечения двух соседних кривых лежат на прямой, угловой коэффициент которой зависит от собственных значений оператора Лапласа в рассматриваемой области и не зависит от коэффициента диффузии. Найдено аналитическое выражение критического коэффициента диффузии, при котором происходит потеря устойчивости положения равновесия системы. Указаны условия, в зависимости от которых множество волновых чисел, соответствующих нейтральным модам устойчивости, счетно, конечно или пусто. Показано, что полуось $d>1$ можно представить в виде счетного объединения полуинтервалов, каждому из которых соответствует минимальное волновое число, при котором происходит потеря устойчивости, причем точки разбиения полуоси выражаются через собственные значения оператора Лапласа в рассматриваемой области.

A classical reaction-diffusion system, the Schnakenberg system, is under consideration in a bounded domain $\Omega\subset\mathbb{R}^m$ with Neumann boundary conditions. We study diffusion-driven instability of a stationary spatially homogeneous solution of this system, also called the Turing instability, which arises when the diffusion coefficient $d$ changes. An analytical description of the region of necessary and sufficient conditions for the Turing instability in the parameter plane is obtained by analyzing the linearized system in diffusionless and diffusion approximations. It is shown that one of the boundaries of the region of necessary conditions is an envelope of the family of curves that bound the region of sufficient conditions. Moreover, the intersection points of two consecutive curves of this family lie on a straight line whose slope depends on the eigenvalues of the Laplace operator and does not depend on the diffusion coefficient. We find an analytical expression for the critical diffusion coefficient at which the stability of the equilibrium position of the system is lost. We derive conditions under which the set of wavenumbers corresponding to neutral stability modes is countable, finite, or empty. It is shown that the semiaxis $d>1$ can be represented as a countable union of half-intervals with split points expressed in terms of the eigenvalues of the Laplace operator; each half-interval is characterized by the minimum wavenumber of loss of stability.