Все выпуски

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

В первой части определено и исследовано нелинейное метрическое пространство $\langle\overline{\rm G}^\infty[a,b],d\rangle$, состоящее из функций, действующих из отрезка $[a,b]$ в расширенную числовую ось $\overline{\mathbb R}$. По определению предполагается, что для любых $x\in\overline{\rm G}^\infty[a,b]$ и $t\in(a,b)$ существуют предельные числа $x(t-0),x(t+0)\in\overline{\mathbb R}$ (и числа $x(a+0),x(b-0)\in\overline{\mathbb R}$). Доказана полнота пространства. Оно является замыканием пространства ступенчатых функций в метрике $d$. Во второй части работы определено и исследовано нелинейное пространство ${\rm RL}[a,b]$. Всякая кусочно-гладкая функция, определенная на $[a,b]$, содержится в ${\rm RL}[a,b]$. Всякая функция $x\in{\rm RL}[a,b]$ имеет ограниченное изменение. Для нее определены все односторонние производные (со значениями в метрическом пространстве $\langle\overline{\mathbb R},\varrho\rangle$). Функция левосторонних производных непрерывна слева, а функция правосторонних производных непрерывна справа. Обе функции, доопределенные на весь отрезок $[a,b]$, принадлежат пространству $\overline{\rm G}^\infty[a,b]$. В заключительной части работы определены и исследованы два подпространства пространства ${\rm RL}[a,b]$. В подпространствах сформулированы и обсуждены перспективные постановки для простейших вариационных задач.

In the first part of the paper, the nonlinear metric space $\langle\overline{\rm G}^\infty[a,b],d\rangle$ is defined and studied. It consists of functions defined on the interval $[a,b]$ and taking the values in the extended numeric axis $\overline{\mathbb R}$. For any $x\in\overline{\rm G}^\infty[a,b]$ and $t\in(a,b)$ there are limit numbers $x(t-0),x(t+0) \in\overline{\mathbb R}$ (and numbers $x(a+0),x(b-0)\in\overline{\mathbb R}$). The completeness of the space is proved. It is the closure of the space of step functions in the metric $d$. In the second part of the work, the nonlinear space ${\rm RL}[a,b]$ is defined and studied. Every piecewise smooth function defined on $[a,b]$ is contained in ${\rm RL}[a,b]$. Every function $x\in{\rm RL}[a,b]$ has bounded variation. All one-sided derivatives (with values in the metric space $\langle\overline{\mathbb R},\varrho\rangle$) are defined for it. The function of left-hand derivatives is continuous on the left, and the function of right-hand derivatives is continuous on the right. Both functions extended to the entire interval $[a,b]$ belong to the space $\overline{\rm G}^\infty[a,b]$. In the final part of the paper, two subspaces of the space ${\rm RL}[a,b]$ are defined and studied. In subspaces, promising formulations for the simplest variational problems are stated and discussed.

Проблема голоморфного продолжения функций, определенных на границе области, в эту область актуальна в многомерном комплексном анализе. Она имеет долгую историю, начиная с работ Пуанкаре и Гартогса. В статье рассматриваются непрерывные функции, определенные на границе ограниченной области $ D $ в $ \mathbb C ^ n $, $ n> 1 $, с кусочно-гладкой границей и обладающие обобщенным граничным свойством Мореры вдоль семейства комплексных прямых, которые пересекают границу области. Свойство Мореры состоит в том, что интеграл заданной функции равен нулю по пересечению границы области с комплексной прямой. Показано, что такие функции голоморфно продолжаются в область $ D $. Для функций одной комплексной переменной свойство Мореры, очевидно, не влечет голоморфного продолжения. Поэтому эту проблему следует рассматривать только в многомерном случае $ (n> 1) $. Основным методом изучения таких функций является метод многомерных интегральных представлений, в частности интегрального представления Бохнера-Мартинелли.

The problem of holomorphic extension of functions defined on the boundary of a domain into this domain is actual in multidimensional complex analysis. It has a long history, starting with the proceedings of Poincaré and Hartogs. This paper considers continuous functions defined on the boundary of a bounded domain $ D $ in $ \mathbb C ^ n $, $ n> 1 $, with piecewise-smooth boundary, and having the generalized boundary Morera property along the family of complex lines that intersect the boundary of a domain. Morera property is that the integral of a given function is equal to zero over the intersection of the boundary of the domain with the complex line. It is shown that such functions extend holomorphically to the domain $ D $. For functions of one complex variable, the Morera property obviously does not imply a holomorphic extension. Therefore, this problem should be considered only in the multidimensional case $ (n> 1) $. The main method for studying such functions is the method of multidimensional integral representations, in particular, the Bochner-Martinelli integral representation.

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

The article deals with the new properties of the Riemann-Stieltjes curvilinear integral. It is proved that the Riemann-Stieltjes curvilinear integral is independent of path of integration if an integrable and an integrating functions depend only on one variable. A new necessary condition of the functional dependence of functions of two variables is found. The author proposes a new approach to the definition of the Riemann-Stieltjes double integral, which contains not one but two integrating functions. General properties of the Riemann-Stieltjes double integral are discussed. Methods for calculating the double integral for the case of smooth or piecewise-smooth integrating functions are presented. A formula for the conversion of the Riemann-Stieltjes double integral into an iterated integral is obtained.

Определяется понятие регулярно гладкой функции. Кусочно-гладкие функции являются регулярно гладкими, а всякая регулярно гладкая функция является липшицевой. Регулярно гладкие функции имеют конечные односторонние производные: левосторонняя производная непрерывна слева, а правосторонняя непрерывна справа. Односторонние производные порождают понятие регулярной производной. Пространство регулярно гладких функций является замыканием пространства кусочно-линейных функций по норме пространства липшицевых функций. Пространство кусочно-гладких функций всюду плотно в пространстве регулярно гладких функций. Получен аналог уравнения Эйлера для простейшей вариационной задачи в пространстве регулярно гладких функций.

The concept of regular smooth function is defined. Any piecewise smooth function is regular smooth function, and any regular smooth function is Lipschitzian. Any regular smooth function has finite one-sided derivatives: the left-side derivative is continuous at the left and the right-side derivative is continuous on the right. One-sided derivatives generate concept of a regular derivative. The space of regular smooth functions is the closure of the space of piecewise linear functions on norm of space Lipschitzian functions. The space of piecewise smooth functions is everywhere dense in space of regular smooth functions. The analogue of the equation of Euler for the elementary variational problem in space of regular smooth functions is proved.

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

This paper deals with the problem of program control of the motion of a dynamically asymmetric balanced ball on the plane using three flywheel motors, provided that the ball rolls without slipping. The center of mass of the mechanical system coincides with the geometric center of the ball. Control laws are found to ensure the motion of the ball along the basic trajectories (line and circle), as well as along an arbitrarily given piecewise smooth trajectory on the plane. In this paper, we propose a quaternion model of ball motion. The model does not require using the traditional trigonometric functions. Kinematic equations are written in the form of linear differential equations eliminating the disadvantages associated with the use of Euler angles. The solution of the problem is carried out using the quaternion function of time, which is determined by the type of trajectory and the law of motion of the point of contact of the ball with the plane. An example of ball motion control is given and a visualization of the ball-flywheel system motion in a computer algebra package is presented.