Все выпуски

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

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

In the space of regulated functions the parametrical family of subspaces of special kind is investigated. Subspace crossing representing them is investigated too. It includes the space of functions of bounded variation. The lattice of subspaces depending from parameter is investigated. Questions of existence of integral Riemann–Stieltjes for elements of subspaces are investigated. Completeness of subspaces is proved (for everyone subspace own norm is used). Relations between norms are investigated.

Изучаются свойства дискретной вариационной задачи динамической аппроксимации в комплексном евклидовом (L + 1)-мерном пространстве E. Она обобщает известные задачи среднеквадратической полиномиальной аппроксимации функций, заданных своими отсчетами в конечном интервале. В рассматриваемой задаче аппроксимация последовательности y = {y_i}_L⁰ отсчетов функции y(t) ∈ L²[0, T], T = Lh на сетке I_h осуществляется решениями однородных линейных дифференциальных или разностных уравнений заданного порядка n с постоянными, но, возможно, неизвестными коэффициентами. Тем самым показано, что в последнем случае задача аппроксимации включает в себя и задачу идентификации. Анализ ее особенностей - основная тема статьи. Ставится задача нахождения вектора коэффициентов  разностного уравнения Σ_n⁰ ŷ_i+k α_i = 0, где k = 0,L − n. Оптимизируются коэффициенты  и начальные условия переходного процесса y этого уравнения. Цель оптимизации - наилучшая аппроксимация исследуемого динамического процесса y ∈ E. Критерий аппроксимации  минимум величины ||y − ŷ||²_E. Показано, что изучаемая вариационная задача сводится к задачам проектирования в E вектора y на ядра разностных операторов с неизвестными коэффициентами α ∈ ω ⊂ S ⊂ Eⁿ⁺¹. Здесь α - направление, S - сфера или гиперплоскость. Показана связь изучаемой задачи с задачами дискретизации и идентифицируемости. Тогда координаты вектора y ∈ E есть точное решение дифференциального уравнения на сетке I_h и y = ŷ. Дано сравнение изучаемой задачи вариационной идентификации с алгебраическими методами идентификации. Показано, что ортогональные дополнения к ядрам разностных операторов всегда имеют теплицев базис. Это приводит к быстрым проекционным алгоритмам вычислений. Показано, что задача нахождения оптимального вектора α сводится к задаче безусловной минимизации функционала идентификации, зависящего от направления  в Eⁿ⁺¹. Предложена итерационная процедура его минимизации на сфере с широкой областью и высокой скоростью сходимости. Изучаемую вариационную задачу можно применять при математическом моделировании в управлении и научных исследованиях. При этом на конечных интервалах может использоваться, в частности, возможность кусочно-линейной динамической аппроксимации сложных динамических процессов разностными и дифференциальными уравнениями указанного типа.

Some properties of the discrete variational problem of the dynamic approximation in the complex Euclidean (L + 1)-dimensional space are studied here. It generalizes familiar problems of the mean square polynomial approximation of the functions given on the finite interval in accordance with their references. In the problem under consideration sequence approximation y = {y_i}_L⁰ of the references of the function y(t) ∈ L²[0, T], T = Lh on the lattice I_h is achieved by solving homogeneous linear differential equations or difference equations of the given order n with constant but possibly unknown coefficients. Thus, it is shown that in the latter case the approximation problem also includes the identification problem. The analysis of its properties is the main subject of the article. The problem is set to find vector of coefficients  of difference equation Σ_n⁰ ŷ_i+k α_i = 0, where k = 0,L − n. Coefficients  and initial conditions of the transient process by of this equation are optimized. The optimization purpose is to achieve the best approximation of the dynamic process y ∈ E being considered here. The approximation criterion is a minimum of the quantity ||y − ŷ||²_E. The variational problem under study is shown to be reduced to the problem of projecting vector y in E on the kernels of the difference operators with unknown coefficients  α ∈ ω ⊂ S ⊂ Eⁿ⁺¹, where  is a direction, S is a sphere or a hyperplane. The problem under study is shown to be related to the problems of the discretization and identifiability. In this case vector coordinates y ∈ E is an exact solution of differential equation on the lattice I_h and y = ŷ. The problem of the variational identification is compared with algebraic methods of identification. The orthogonal complement to the kernels of the difference operators are shown to always have Toeplitz basis. This results in fast projecting algorithms of computation. The problem of finding optimal vector α is shown to be reduced to the problem of the absolute minimization of the identification functional depending on the direction  in Eⁿ⁺¹. The iterative procedure of its minimization on a sphere with wide domain and high speed of convergence is presented here. The variational problem considered here can be applied in mathematical modeling for control problem and research purposes. On the finite intervals, for example, it is possible to use piecewise-linear dynamic approximations of the complex dynamic processes with difference and differential equations of the specified type.

На основе известных свойств функции вероятности протекания простой кубической решётки размера L=2 в приближении линейной связи порога протекания бесконечной решётки x_c и среднего значения x_cL конечной решётки введена нескейлинговая функция вероятности протекания для решётки размера L>2. Показано, что на пороге протекания нескейлинговые вероятности для всех ПК решёток одинаковы.
Компьютерные эксперименты на основе метода Монте-Карло согласуются с предлагаемой в работе теорией.

Using known properties of the probability function for passing in a simple cubic lattice with L=2 in approximation of a linear relation between a passing threshold of an infinite lattice x_c and average value x_cL of a finite lattice, we introduce a nonscaling probability function of passing of a lattice with L>2. We show that on the passing threshold nonscaling probabilities for all simple cubic lattices are the same.
Computer experiments based on the Monte-Carlo method are in agreement with the theory proposed.

Предложен метод расчета порога протекания x_c бесконечной решетки в d-мерном пространстве на основе среднего значения величины x_cL решеток малых размеров L. Условие применимости метода ограничило круг рассматриваемых 2d и 3d решеток в задаче узлов до квадратной и алмазной. Величины x_cL для этих решеток рассчитывались на основе вектора начального состояния решетки и матрицы смежности графа, соответствующего решетке с долей узлов x=1. Вычислены пороги протекания квадратной решетки x_c=0,592744 и решетки алмаза x_c=0,430308.

A method of calculating the percolation threshold x_c in d-dimensional space is proposed based on the average value of the quantity x_cL of small-sized lattices L. The condition for applicability of the method has limited the range of 2d and 3d lattices being considered in the problem of knots to square and diamond lattices. The values of x_cL for these lattices have calculated in terms of the vector of the initial state of the lattice and the adjacency matrix of the graph corresponding to the lattice with the fraction of knots x=1. Percolation thresholds for the square lattice x_c=0,592744 and the diamond lattice x_c=0,430308 have been calculated.

Рассматривается периодический оператор Шредингера Ĥ_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_c = 1/2 и квадратной 1,2 решётки  x_c = 0,40725616. 

На основе идеи Ходжа из алгебраической геометрии предложен метод оценки порога протекания xc бесконечной решётки по перколяционным свойствам её элементарной ячейки. Изучена модель элементарной ячейки решётки Бёте, которая в дальнейшем применена для оценки порогов протекания объёмноцентрированной кубической и гранецентрированной кубической решёток в трёхмерном случае и шестиугольной решётки  в плоском случае. В результате оценки получены значения  x_c(bcc) = 0,24595716 для ОЦК,  x_c = x_c(fcc) = 0,19925370 для ГЦК и  x_c = 0,69700003 для шестиугольной решёток.

We consider a percolation problem of knots. The percolation threshold of triangular lattice x_c = 1/2 was confirmed by the two lattices method and percolation threshold of quadratic 1,2 lattice  x_c = 0.40725616 was obtained.

We propose the method based on Hodge’s idea from algebraic geometry to estimate the percolation threshold xc of the infinite lattice by percolation properties of its unit sell. The model of unit cell of Bete lattice was studied and in the following it was applied for estimation of percolation thresholds of body-centered and face-centered cubic lattices in the three-dimensional case and of hexagonal lattice in the planar case. As a result of estimation the values of  x_c(bcc) = 0.24595716 for BCC, x_c(fcc) = 0.19925370 for FCC and  x_c = 0.69700003 for hexagonal lattices were obtained.

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

In this paper, we study the sections of the generating series for solutions to a linear multidimensional difference equation with constant coefficients and find recurrent relations for these sections. As a consequence, a multidimensional analogue of Moivre's theorem on the rationality of sections of the generating series depending on the form of the initial data of the Cauchy problem for a multidimensional difference equation is proved. For problems on the number of paths on an integer lattice, it is shown that the sections of their generating series represent the well-known sequences of polynomials (Fibonacci, Pell, etc.) with a suitable choice of steps.

Рассмотрены трехмерные задачи узлов для простой кубической решетки и твердых сфер, находящихся в хаотическом движении. Установлены дополнительные (к двухпоказательному скейлингу) соотношения между индексами: 2-α-γ=ν (или νd-γ=ν) и β=-2α. Определены численные значения трехмерных критических индексов: α=-2/11, η=0, β=4/11, ν=8/11, γ=16/11 и δ=5.

Three-dimensional lattice points problems for simple cubic lattice and solid spheres in chaotic motion are considered. Additional (to two-exponential scaling) relations between indices are indicated: 2-α-γ=ν (or νd-γ=ν) and β=-2α. Numerical values of three-dimensional critical indices are defined: α=-2/11, η=0, β=4/11, ν=8/11, γ=16/11 and δ=5.

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

The family of maximal linked systems all elements of which are sets of an arbitrary lattice with “zero” and “unit” is considered; its subfamily composed of ultrafilters of that lattice is also considered. Relations between natural topologies used to equip the set of maximal linked systems and the set of the lattice ultrafilters are investigated. It is demonstrated that the last set under natural (for ultrafilter spaces) equipment is a subspace of the space of maximal linked systems under equipment with two comparable topologies one of which is similar to the topology used for the Wallman extension and the second corresponds (conceptually) to the scheme of Stone space in the case when the initial lattice is an algebra of sets. Properties of the resulting bitopological structure are detailed for the cases when our lattice is an algebra of sets, a topology, and a family of closed sets in a topological space.