Все выпуски

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

В работе рассматриваются вопросы, связанные со сходящимися последовательностями в $T_1$-пространствах. Свойства $T_1$-пространств, в том числе и сходимость последовательностей в них, отличаются от аналогичных свойств хаусдорфовых пространств, в частности, предел сходящейся последовательности может быть не единствен. Наиболее ярко эти особенности демонстрирует минимальное $T_1$-пространство. В работе рассматриваются вопросы, порожденные свойствами минимального $T_1$-пространства. Рассматриваются свойства пространств, в которых всякая последовательность является сходящейся (теоремы 1 и 2 и пример 1). Одной из основных является проблема связи между сходимостью последовательностей и свойствами подпространств. Хорошо известно, что компактность, счетная компактность и секвенциальная компактность не эквивалентны в общем случае. Однако, доказано (теорема 7), что наследственные секвенциальная компактность, счетная компактность и компактность эквивалентны.

В первой части определено и исследовано нелинейное метрическое пространство $\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]$. В подпространствах сформулированы и обсуждены перспективные постановки для простейших вариационных задач.

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

Построена метрика в пространстве clos(Rⁿ) всех непустых замкнутых (необязательно ограниченных) подмножеств Rⁿ. Сходимость последовательности множеств в этой метрике оказывается равносильной сходимости в метрике Хаусдорфа последовательности пересечений этих множеств с центрированными в нуле шарами любого положительного радиуса, дополненных соответствующими сферами. В этой метрике доказана полнота пространства clos(Rⁿ) и замкнутость подпространства всех непустых замкнутых выпуклых подмножеств Rⁿ. Получены условия равносильности сходимости по предложенной метрике и сходимости по метрикам Хаусдорфа и Хаусдорфа–Бебутова. Полученные результаты могут применяться в задачах управления, теории дифференциальных включений.

Рассматриваются пространства, всякие подпространства которых компактны. Будем называть такие пространства наследственно компактными. В работе рассматриваются вопросы о существовании и способах построения наследственно компактных T₁-топологий. Доказано существование 2^τ попарно несравнимых наследственно компактных T₁-топологий на бесконечном множестве X мощности τ. Получены характеристики наследственно компактных пространств. Доказано, что тихоновское произведение конечного числа наследственно компактных T₁-пространств является наследственно компактным T₁-пространством. Доказано, что тихоновское произведение бесконечного числа неодноточечных наследственно компактных T₁-пространств не является наследственно компактным.

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

Рассматривается система реакции-диффузии с кубической нелинейностью, которая является бесконечномерным аналогом классической системы Рэлея и частным случаем системы Фитцью-Нагумо. Предполагается, что пространственная переменная изменяется на отрезке, на концах которого заданы однородные краевые условия Неймана. Известно, что в данном случае в системе Рэлея с диффузией существует пространственно-однородный автоколебательный режим, совпадающий с предельным циклом классической системы Рэлея. В настоящей работе показано существование счетного множества критических значений управляющего параметра, при которых возникают пространственно-неоднородные автоколебательные и стационарные режимы. Данные режимы устойчивы относительно возмущений, принадлежащих некоторым бесконечномерным инвариантным подпространствам системы, но неустойчивы во всем фазовом пространстве. Это свойство объясняет, почему в результате численных экспериментов при некоторых значениях параметра различным начальным условиям соответствуют нулевое, периодическое по времени или стационарное решение. Асимптотика вторичных решений построена методом Ляпунова-Шмидта. Явно найдены первые члены разложения, проанализированы формулы для общего члена асимптотики. Показано, что на инвариантных подпространствах происходит мягкая потеря устойчивости нулевого равновесия. Эволюция вторичных режимов при увеличении значений надкритичности исследована численно. Установлено, что с ростом значений надкритичности вторичные автоколебательные режимы постепенно сменяются стационарными. Амплитуда стационарных решений растет по мере увеличения надкритичности, а профиль асимптотически стремится к профилю меандра.

Рассмотрено взаимное расположение вершин единичного многомерного куба, аффинного подпространства и его ортогональных проекций на координатные подпространства. Даны верхние и нижние ограничения размерности подпространства, при которых некоторая ортогональная проекция всегда сохраняет отношение инцидентности подпространства и вершин куба. Также рассмотрены некоторые косоугольные проекции. Кроме того, дан краткий обзор истории развития многомерной начертательной геометрии. Аналитические и синтетические методы в геометрии обособились с XVII века. Хотя анализ и синтез тесно переплетаются, с этого времени многие геометры и инженеры делают тонкое различие. Указания на идею о многомерном пространстве можно найти в работах XVIII века, но настоящее развитие началось с середины XIX века. Вскоре такие работы появились и на русском языке. Далее многие математики обобщали свои теории на многомерный случай. Наши новые результаты получены аналитическими и синтетическими методами. Они иллюстрируют сложность задач псевдобулева программирования, поскольку снижение размерности задачи методом ортогонального проектирования встречает препятствие в худшем случае.

Рассматривается линейная управляемая система $$\dot x=A(t)x+B(t)u,\quad t\in\mathbb R,\quad x\in\mathbb R^{n},\quad u\in\mathbb R^{m}, \qquad \qquad (1)$$ в предположении непрерывности по $t$ и $s$ матрицы Коши $X(t,s)$ свободной системы $\dot x=A(t)x$. На каждом отрезке $[\tau,\tau+\vartheta]$ фиксированной длины $\vartheta$ задается нормированное пространство $Z_{\tau}$ функций, определенных на этом отрезке. Управление $u$ на отрезке $[\tau,\tau+\vartheta]$ называется допустимым, если $u\in Z_{\tau}$ и существует $\mathcal Q_{\tau}(u):=\int_{\tau}^{\tau+\vartheta}X(\tau,s)B(s)u(s)\,ds$. Векторное подпространство $U_{\tau}$ пространства $Z_{\tau}$, на котором определен оператор $\mathcal Q_{\tau}$, называется пространством допустимых управлений для системы $(1)$ на отрезке $[\tau,\tau+\vartheta]$. Предложено определение равномерной полной управляемости системы $(1)$ для случая произвольной зависимости пространства допустимых управлений от момента начала процесса управления. Получены прямые и двойственные необходимые и достаточные условия равномерной полной управляемости линейной системы в этой ситуации. Показано, что при должном выборе пространства допустимых управлений полученные условия эквивалентны классическим определениям равномерной полной управляемости.