Все выпуски

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

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

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

Работа посвящена исследованию свойства интегральной разделенности линейных систем с дискретным временем. Согласно определению система $x(m+1)=A(m)x(m),$ $m\in\mathbb N,$ $x\in\mathbb R^n,$ называется системой с интегральной разделенностью, если она имеет фундаментальную систему решений $x^1(\cdot),\ldots,x^n(\cdot)$ такую, что при некоторых $\gamma>0$, $a>1$ и всех натуральных $m>s$, $i\leqslant n-1$ выполнены неравенства $$ \dfrac{\|x^{i+1}(m)\|}{\|x^{i+1}(s)\|}\geqslant\gamma a^{m-s}\dfrac{\|x^{i}(m)\|}{\|x^{i}(s)\|}. $$ Понятие интегральной разделенности систем с непрерывным временем было введено Б.Ф. Быловым в 1965 году. Доказаны критерии интегральной разделенности систем с дискретным временем: приводимость к диагональному виду с интегрально разделенной диагональю; устойчивость и некратность показателей Ляпунова. Подробно исследовано также свойство диагонализируемости систем с дискретным временем. Доказательства учитывают специфику этих систем.

В данной работе дается обзор результатов об устранимых особых множествах для классов $m$-субгармонических ($m-sh$) и сильно $m$-субгармонических ($sh_m$), а также $\alpha$-субгармонических функций, которые применяются для изучения особых множеств $sh_{m}$ функций. Для сильно $m$-субгармонических функций из класса $L_{loc}^{p}$, доказывается, что множество является устранимым особым множеством, если имеет нулевую $C_{q,s}$-емкость. Доказательство этого утверждения основано на том, что пространство основных функций, с носителем на множестве $D\backslash E$, плотно по $L_{q}^{s}$-норме в пространстве основных функций, определенных на множестве $D$. Аналогичные результаты в случае классических (суб)гармонических функций были изучены в работах Л. Карлесона, Е. Долженко, М. Бланшет, С. Гардинера, Ж. Риихентаус, В. Шапиро, А. Садуллаева и Ж. Ярметова, Б. Абдуллаева и С. Имомкулова.

Дифференциальные включения типа среднего поля возникают в рамках теории управления средним полем при овыпуклении правой части. Мы исследуем случай, когда правая часть дифференциального включения зависит от положения агента и от распределения всех агентов полунепрерывно. Основной результат статьи состоит в доказательстве существования и стабильности решений дифференциальных включений типа среднего поля. Также мы показываем полунепрерывную снизу зависимость функции цены задачи оптимального управления средним полем от начального состояния и параметра.

В данной работе представлен новый подход к интерпретации логических формул для синтеза алгоритмов и программ. Предложенный метод сочетает в себе черты реализации Клини и интерпретации Гёделя «диалектика», но не опирается на них непосредственно. Рассматривается простой вариант позитивного языка логики предикатов без функций, с конъюнкцией, дизъюнкцией, импликацией и кванторами всеобщности и существования. Описана новая реализационная семантика формул и секвенций, в которой рассматривается не просто реализация формулы, а реализация с дополнительной поддержкой. Реализация примерно соответствует реализации Клини. Поддержка предоставляет дополнительные данные в пользу того, что реализация корректна. Поддержка должна подтвердить, что реализация работает корректно для формулы в любых корректных условиях применения. Представлен язык доказательств, для которого доказана теорема о корректности, показывающая, что любая выводимая секвенция имеет реализацию и поддержку, подтверждающую, что эта реализация работает правильно для этой формулы в любых корректных условиях при подходящем интерпретаторе используемых программ.

Изучается устойчивость линейных автономных скалярных разностных уравнений с комплексными коэффициентами. Для уравнения с произвольным количеством запаздываний приводится простое доказательство линейной связности его области устойчивости в пространстве коэффициентов. Этот результат позволяет утверждать, что областью устойчивости уравнения в пространстве коэффициентов является область $D$-разбиения этого пространства, содержащая начало координат. Далее рассматриваются некоторые уравнения с двумя запаздываниями и комплексными коэффициентами, для которых даются подробные аналитические и геометрические описания областей равномерной и экспоненциальной устойчивости.

Для билинейной управляемой системы с периодическими коэффициентами получены достаточные условия равномерной глобальной асимптотической стабилизации нулевого решения. Доказательство основано на применении теоремы Красовского об асимптотической устойчивости в целом нулевого решения для периодических систем. Стабилизирующее управление построено по принципу обратной связи. Оно имеет вид квадратичной формы от фазовой переменной и является периодическим по времени.

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