Все выпуски

Работа посвящена вопросу об абсолютной непрерывности спектра двумерного обобщенного периодического оператора Шрёдингера $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$ имеет нулевую грань относительно оператора $-&Delta;$ в смысле квадратичных форм. Пусть $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'$.

В ограниченной по переменной $z$ области, имеющей слабо горизонтальную неоднородность, исследуется задача определения сверточного ядра $k(t,x)$, $t>0$, $x\in {\Bbb R}$, входящего в гиперболическое интегро-дифференциальное уравнение второго порядка. Предполагается, что это ядро слабо зависит от переменной $x$ и разлагается в степенной ряд по степеням малого параметра $\varepsilon$. Построен метод нахождения первых двух коэффициентов $k_{0}(t)$, $k_{1}(t)$ этого разложения по заданным первым двум моментам по переменной $x$ решения прямой задачи при $z=0$.

The problem of determining the convolutional kernel $k(t,x)$, $t>0$, $x \in {\Bbb R}$, included in a hyperbolic integro-differential equation of the second order, is investigated in a domain bounded by a variable $z$ and having weakly horizontal heterogeneity. It is assumed that this kernel weakly depends on the variable $x$ and decomposes into a power series by degrees of a small parameter $\varepsilon$. A method for finding the first two coefficients $k_{0}(t)$, $k_{1}(t)$ of this expansion is constructed according to the given first two moments in the variable $x$ of the solution of the direct problem at $z=0$.

В настоящей работе проведено исследование модели деформаций системы из $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.

Продолжаются исследования автора по теории правильных функций и *-интеграла. Изучается возможность представления правильной функции в виде суммы непрерывной справа и непрерывной слева функций ($rl$-представимости). Доказывается предельная теорема для *-интеграла, позволяющая приближать разрывные интегрируемую и интегрирующую функции последовательностями абсолютно непрерывных функций. Доказана новая теорема о $\delta$-корректности решения обыкновенного линейного дифференциального уравнения с обобщенными функциями в коэффициентах, определяемого с помощью квазидифференциального уравнения. Получена формула для вычисления полной вариации неопределенного *-интеграла от $\sigma$-непрерывной функции по функции ограниченной вариации, обобщающая известную формулу для полной вариации абсолютно непрерывной функции. Формула интересна и в случае неопределенного $RS$-интеграла.

This work continues the author's research on the theory of regulated functions and *-integral. The possibility to express a regulated function as a sum of right-continuous and left-continuous functions (called $rl$-representation) is studied. A limit theorem for the *-integral is proved. It allows approximating discontinuous integrands and integrators by sequences of absolutely continuous functions. A new result on $\delta$-correctness of the solution of an ordinary linear differential equation with generalized functions in coefficients is proved. This solution is defined via a quasi-differential equation. A formula for the total variation of an indefinite *-integral of a $\sigma$-continuous function with respect to a function of bounded variation is given. It generalizes the well-known formula for computing the total variation of an absolutely continuous function. The formula is also interesting in the case of an indefinite $RS$-integral.

В последние два десятилетия углеродные нанотрубки активно исследуются в физической литературе, что обусловлено многообещающими перспективами их применения в микроэлектронике; в то же время интересные математические свойства используемых при этом гамильтонианов, к сожалению, часто остаются без должного внимания математиков. В настоящей статье проведено математически строгое исследование спектральных свойств гамильтониана $H_{\varepsilon}=H_0+\varepsilon V$ где гамильтониан электрона в углеродной нанотрубке типа «зигзаг» $H_0$ записан в приближении сильной связи, а оператор $\varepsilon V$ (потенциал) имеет вид

$$(\varepsilon V\psi )(n)=\varepsilon { V_1\psi _1(n)\choose V_2\psi _2(n)}\delta_{n0}$$

здесь $\varepsilon >0$, $V_1,V_2$ - вещественные числа, $\delta_{n0}$ - символ Кронекера. Гамильтониан $H_{\varepsilon}$ отвечает углеродной нанотрубке с примесью, равномерно распределенной в сечении нанотрубки. Данный гамильтониан является разностным оператором, определенным на функциях из $(l^2(\Omega ))^2$, где $\Omega =\mathbb Z\times \{ 0,1,\ldots,N-1\}$, $N\geqslant 2$, удовлетворяющих периодическим граничным условиям. В статье, в частности, доказано, что для каждой подзоны спектра вблизи одной из граничных точек подзоны в случае малых потенциалов существует ровно один квазиуровень, то есть собственное значение или резонанс. Для квазиуровней получены асимптотические формулы вида

$$\lambda _l^{\pm}= \pm \Bigl|2\cos\frac{\pi l}{N}+1\Bigr|\cdot\Bigl(1+\frac{\varepsilon^2(V_1+V_2)^2}{16\cos\frac{\pi l}{N}}\Bigr)
+O(\varepsilon^3),$$

где $l$ - номер подзоны, $N$ - число атомов в сечении нанотрубки, $\pm$ - знак $\lambda$. Также найдено условие того, когда квазиуровень является собственным значением.

In the past two decades, carbon nanotubes have been actively investigated in the physics literature, because of the promising prospects for their use in microelectronics; at the same time, interesting mathematical properties of used Hamiltonians, unfortunately, are often overlooked by mathematicians. In this paper, we carry out the mathematically rigorous investigation of spectral properties of the Hamiltonian $H_{\varepsilon}=H_0+\varepsilon V$, where the Hamiltonian $H_0$ of an electron in a zigzag carbon nanotube is written in the tight-binding approach, and the operator $\varepsilon V$ (potential) has the form

$$(\varepsilon V\psi )(n)=\varepsilon { V_1\psi _1(n)\choose V_2\psi _2(n)}\delta_{n0}$$

(here $\varepsilon >0$, $V_1,V_2$ are real numbers, $\delta_{n0}$ is the Kronecker delta). The Hamiltonian $H_{\varepsilon}$ corresponds to the carbon nanotube with an impurity uniformly distributed over the cross section of the nanotube. This Hamiltonian is the difference operator defined on functions from $(l^2(\Omega ))^2$, where $\Omega =\mathbb Z\times \{ 0,1,\ldots,N-1\}$, $N\geqslant 2$, satisfying the periodic boundary conditions. In particular, in this paper we prove that for each subband of the spectrum near one of the boundary points of the subband exactly one quasilevel (i.e. eigenvalue or resonance) exists in the case of small potentials. For quasilevels, the asymptotic formulas of the form

$$\lambda _l^{\pm}= \pm \Bigl|2\cos\frac{\pi l}{N}+1\Bigr|\cdot\Bigl(1+\frac{\varepsilon^2(V_1+V_2)^2}{16\cos\frac{\pi l}{N}}\Bigr)
+O(\varepsilon^3),$$

are obtained, where $l$ is the subband number, $N$ is the number of atoms in the cross section of the nanotube, and $\pm$ is the sign of the $\lambda$. Also, we find the condition when a quasilevel is an eigenvalue.

Последние 15 лет в физической литературе активно изучаются майорановские локализованные состояния (МЛС) и сопутствующие их возникновению явления, такие, как изменение кондактанса и эффект Джозефсона, что обусловлено вероятным применением МЛС при создании квантового компьютера. В статье изучены собственные функции одномерного оператора Боголюбова-де Жена с дельтаобразным потенциалом в нуле, описывающие локализованные состояния с энергией в лакуне спектра (сверхпроводящей щели). Найдены вероятности прохождения в задаче рассеяния для этого оператора, когда энергии близки к границе сверхпроводящей щели. Эти задачи исследовались как для единого на всей прямой сверхпроводящего порядка, определяемого вещественной константой $\Delta,$ так и для сверхпроводящего порядка, определяемого функцией $\Delta \theta (-x)+\Delta e^{i\varphi} \theta (x)$ для $\varphi=0,\pi$ (т.е. для нулевого сверхпроводящего тока и тока, близкого к критическому). Используемый гамильтониан можно рассматривать как простейшую модель перехода Джозефсона. Доказано, что в обоих случаях существуют два МЛС, но лишь при определенных значениях параметров, т.е. МЛС неустойчивы. При этом вероятность прохождения равна нулю в обоих случаях.

For the last 15 years, Majorana bounded states (MBSs) and associated phenomena, such as variation of conductance and the Josephson effect, have been actively studied in the physical literature. Research in this direction is motivated by a highly probable use of MBSs in quantum computing. The article studies the eigenfunctions of the one-dimensional Bogolyubov-de Gennes operator with a delta-shaped potential at zero, describing localized states with energy in the spectral gap (superconducting gap). The transmission probabilities are found in the scattering problem for this operator, when the energies are close to the boundary of the superconducting gap. These problems are studied both for a superconducting order that is the only one on the whole straight line and is defined by the real constant $\Delta,$ and for a superconducting order defined by the function $\Delta\theta(-x)+\Delta e^{i\varphi}\theta(x)$ for $\varphi=0,\pi$ (i.e., for zero superconducting current and for current close to critical). The Hamiltonian used can be considered as the simplest model of the Josephson junction. It is proved that in both cases there are two MBSs, but with certain values of the parameters, i.e., MBSs are unstable. Moreover, the probability of passage is zero in both cases.

Рассматривается уравнение в частных производных первого порядка с эффектом наследственности:

$$ \frac{\partial u(x,t)}{\partial t} + a \frac{\partial u(x,t)}{\partial x} = f ( x, t, u(x,t), u_t(x,\cdot)),$$ $$u_t(x,\cdot) = \{u(x,t+s), -\tau\leqslant s <0\}.$$

Для такого уравнения, с позиций принципа разделения конечномерной и бесконечномерной составляющих состояния, строятся сеточные методы: аналог семейства схем бегущего счета, аналог схемы Кранка-Николсон, метод аппроксимации на середину квадрата. Для учета эффекта наследственности применяются одномерная и двойная кусочно-линейная интерполяции и экстраполяция продолжением. Доказывается, что рассмотренные методы имеют порядки локальной погрешности: соответственно $O(h+\Delta)$, $O(h+\Delta^2)$ и $O(h^2+\Delta^2)$, где $h$ - шаг дискретизации по пространственной переменной, $\Delta$ - шаг дискретизации по временной переменной. Исследуются свойства двойной кусочно-линейной интерполяции. Используя результаты общей теории разностных схем, установлены условия устойчивости предложенных методов. С помощью вложения в общую схему численных методов для функционально-дифференциальных уравнений получены теоремы о порядках сходимости сконструированных алгоритмов. Приведены тестовые примеры по сравнению погрешностей методов.

We consider a first-order partial differential equation with heredity effect

$$ \frac{\partial u(x,t)}{\partial t} + a \frac{\partial u(x,t)}{\partial x} = f ( x, t, u(x,t), u_t(x,\cdot)),$$ $$u_t(x,\cdot) = \{u(x,t+s), -\tau\leqslant s <0\}.$$

For such an equation we construct grid methods using the principle of separation of finite-dimensional and infinite-dimensional state components. These grid methods are: analog of running schemes family, analog of Crank-Nicolson scheme, an approximation method to the middle of the square. The one-dimensional and double piecewise linear interpolation and the extrapolation by continuation are applied in order to account the effect of heredity. It is shown that the considered methods have orders of a local error: $O (h +\Delta) $, $O (h +\Delta^2) $ and $O (h^2 +\Delta^2)$ respectively, where $h$ is the spatial discretization interval, $\Delta$ is the time discretization interval. Properties of double piecewise linear interpolation are investigated. Using the results of the general theory of differential schemes, stability conditions of the proposed methods are established. Including them in the general scheme of numerical methods for the functional-differential equations, theorems of orders of proposed algorithms convergence are received. Test examples comparing errors of methods are given.

В статье исследуются вопросы устойчивости решений обратных задач для двух интегро-дифференциальных уравнений гиперболического типа. Теоремы существования и единственности решений этих задач, в малом, были получены и опубликованы автором ранее. Поэтому в данной работе рассматриваются исключительно вопросы устойчивости этих решений. В теореме 1 доказывается условная устойчивость решения обратной задачи об определении ядра интеграла для интегро-дифференциального уравнения

$$u_{tt}=u_{xx}-\int_0^tk(\tau)u(x,t-\tau)\, d\tau, \qquad (x,t)\in \mathbb{R}\times \mathbb{R}_+,$$ с начальными данными $u\big|_{t=0}=0,$ $u_t\big|_{t=0}=\delta(x)$ и по дополнительной информации о решении прямой задачи $u(0,t)=f_1(t)$, $u_x(0,t)=f_2(t).$ С этой целью обратная задача заменяется эквивалентной системой интегральных уравнений относительно неизвестных функций. Для доказательства теоремы применяется метод последовательных приближений. Далее, используются метод оценок интегральных уравнений и неравенство Гронуолла.

Аналогично доказываемая теорема 2 посвящается оценке условной устойчивости решения обратной задачи об определении ядра интеграла для того же интегро-дифференциального уравнения, в ограниченной по $x$ области $x\in(0,l),$ с начальными $u\big|_{t=0}=0,$ $u_t\big|_{t=0}=\delta'(x)$ и граничными условиями $(u_x-hu)\big|_{x=0}=0,$ $(u_x+Hu)\big|_{x=l}=0$, $t>0$. В этом случае дополнительная информация о решении прямой задачи задается в виде $u(0,t)=f(t)$, $t\geqslant 0$. Здесь $h,H$ - вещественные и конечные числа.

The paper investigates the stability of inverse problems solutions for two integro-differential hyperbolic equations. Theorems of existence and uniqueness of these solutions (in the small) have been obtained and published earlier by author. Thus only stability problems of these solutions are considered in this paper. In Theorem 1 we prove conditional stability of the solution of the following inverse problem: determine the kernel of the integral for integro-differential equation

$$u_{tt}=u_{xx}-\int_0^tk(\tau)u(x,t-\tau)\, d\tau, \qquad (x,t)\in \mathbb{R}\times \mathbb{R}_+,$$

with initial data $u\big|_{t=0}=0$, $u_t\big|_{t=0}=\delta(x),$ and additional information about the direct problem solution $u(0,t)=f_1(t)$, $u_x(0,t)=f_2(t).$ The inverse problem is replaced by an equivalent system of integral equations for the unknown functions. To prove the theorem the method of successive approximations is used. Next, the method of estimating the integral equations and Gronwall's inequality are used.

In a similar manner we prove Theorem 2. It is devoted to estimating the conditional stability of the solution of kernel determination problem for the same integro-differential equation in a bounded domain with respect to $x,$ $x\in(0,l),$ with initial data $u\big|_{t=0}=0$, $u_t\big|_{t=0}=\delta'(x),$ and boundary conditions $(u_x-hu)\big|_{x=0}=0$, $(u_x+Hu)\big|_{x=l}=0$, $t>0$. In this case the additional information about the direct problem solution is given as $u(0,t)=f(t)$, $t\geqslant0$. Here $h$ and $H$ are finite real numbers.

В данной работе доказано, что функция Лиувилля, ассоциированная с полулинейным уравнением $ \Delta u -g (x, u) = 0 $, тождественна нулю тогда и только тогда, когда существует только тривиальное ограниченное решение полулинейного уравнения на некомпактных римановых многообразиях. Этот результат обобщает соответствующий результат С.А. Королькова в случае стационарного уравнения Шрёдингера $ \Delta u-q (x) u = 0 $. Так же введено понятие емкости компакта, ассоцированого со стационарным уравнением Шрёдингера, и доказано, что если емкость любого компакта равна нулю, то функция Лиувилля есть тождественный ноль.

It is proved that the Liouville function associated with the semilinear equation $\Delta u -g(x,u)=0$ is identical to zero if and only if there is only a trivial bounded solution of the semilinear equation on non-compact Riemannian manifolds. This result generalizes the corresponding result of S.A. Korolkov for the case of the stationary Schrödinger equation $ \Delta u-q (x) u = 0$. The concept of the capacity of a compact set associated with the stationary Schrödinger equation is also introduced and it is proved that if the capacity of any compact set is equal to zero, then the Liouville function is identically zero.

В контексте задач гарантированного управления рассматриваются следующие вопросы: связь возможности пошагового (на заданном разбиении $\Delta$) вычисления селектора мультифункции (м/ф) $\alpha$ для неизвестного, восстанавливаемого по шагам $\Delta$, аргумента с существованием у $\alpha$ мультиселектора (м/с) со специальным свойством (названым здесь $\Delta$-неупреждаемостью или частичной неупреждаемостью); второй вопрос — способы построение такого м/с для произвольной пары $(\alpha, \Delta)$; и последний — поиск эффективно проверяемых условий, обеспечивающих совпадение $\Delta$-неупреждающего м/с с неупреждающим.

Мотивом к рассмотрению этих вопросов послужила схема управления, возникающая, например, в методе альтернированного интеграла, при использовании в управлении контрстратегий, или в некоторых задачах при использовании метода управления с поводырём.

В работе показано, что рассматриваемая пошаговая схема управления реализуема тогда и только тогда, когда м/ф $\alpha$ имеет $\Delta$-неупреждающий и непустозначный м/с. Дана конечношаговая процедура построения такого м/с. Указаны эффективно проверяемые условия, обеспечивающие неупреждаемость частично неупреждающего м/с. Рассмотрены иллюстрирующие примеры.

Let sets of functions $Z$ and $\Omega$ on the time interval $T$ be given, let there also be a multifunction (m/f) $\alpha$ acting from $\Omega$ to $Z$ and a finite set $\Delta$ of moments from $T$. The work deals with the following questions: the first one is the connection between the possibility of stepwise construction (specified by $\Delta$) of a selector $z$ of $\alpha(\omega)$ for an unknown step-by-step implemented argument $\omega\in\Omega$ and the existence of a multiselector (m/s) $\beta$ of the m/f $\alpha$ with a non-anticipatory property of special kind (we call it partially or $\Delta$-non-anticipated); the second question is when and how non-anticipated m/s could be expressed by means of partially non-anticipated one; and the last question is how to build the above $\Delta$-non-anticipated m/s $\beta$ for a given pair $(\alpha,\Delta)$.

The consideration of these questions is motivated by the presence of such step-by-step procedures in the differential game theory, for example, in the alternating integral method, in pursuit-evasion problems posed with use of counter-strategies, and in the method of guide control.

It is shown that the step-by-step construction of the value $z\in\alpha(\omega)$ can be carried out for any steps-implemented argument $\omega$ if and only if the above m/s $\beta$ is non-empty-valued. The key point of the work is the description of finite-step procedure for calculation of this $\Delta$-non-anticipated m/s $\beta$. Conditions are given that guarantee the m/s $\beta$ be a non-anticipative one. Illustrative examples are considered that include, in particular, control problems with disturbance.