Все выпуски

Рассматриваются свойства пространств правильных функций, то есть функций, определенных на открытом (конечном, полубесконечном, бесконечном) промежутке, имеющих в каждой точке конечные односторонние пределы, а также плотные множества в этих пространствах. Задача Коши для скалярного линейного дифференциального уравнения с коэффициентами-производными правильных функций «погружается» в пространство обобщенных функций Коломбо. Для коэффициентов-производных ступенчатых функций в явном виде находится решение R(φ_μ,t) задачи Коши в представителях, предел которого при μ→+0 объявляется решением исходной задачи. Так появляется оператор T, который ставит в соответствие исходной задаче ее решение в виде правильной функции, определенный сначала лишь на плотном множестве. С помощью известной топологической теоремы о продолжении по непрерывности T продолжается до оператора T, определенного на всем пространстве правильных функций. Для неоднородной задачи Коши предложено явное представление решения. Приведен ряд иллюстрирующих примеров.

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

В работе вводится понятие правильной функции многих переменных $f\colon X\to\mathbb R$, где $X\subseteq\mathbb R^n$. В основе определения лежит понятие специального разбиения множества $X$ и понятие колебания функции $f$ на элементах разбиения. Показано, что всякая функция, заданная и непрерывная на замыкании $X$ открытого ограниченного множества $X_0\subseteq\mathbb R^n$, является правильной (принадлежит пространству $\langle{\rm G(}X),\|\cdot\|\rangle$). Доказана полнота пространства ${\rm G}(X)$ по $\sup$-норме $\|\cdot\|$. Оно является замыканием пространства ступенчатых функций. Во второй части работы определено и исследовано пространство ${\rm G}^J(X)$, отличающееся от пространства ${\rm G}(X)$ тем, что в его определении вместо разбиений используются $J$-разбиения, элементы которых — измеримые по Жордану открытые множества. Перечисленные выше свойства пространства ${\rm G}(X)$ переносятся на пространство ${\rm G}^J(X)$. В заключительной части работы определено понятие $J$-интегрируемости функций многих переменных. Доказано, что если $X$ — это измеримое по Жордану замыкание открытого ограниченного множества $X_0\subseteq\mathbb R^n$, а функция $f\colon X\to\mathbb R$ интегрируема по Риману, то она $J$-интегрируема. При этом значения интегралов совпадают. Все функции $f\in{\rm G}^J(X)$ являются $J$-интегрируемыми.

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

В предыдущей работе авторов введено понятие правильной функции многих переменных $f\colon X\to\mathbb R$, где $X\subseteq\mathbb R^n$. В основе определения лежит понятие специального разбиения множества $X$ и понятие колебания функции $f$ на элементах разбиения. Пространство ${\mathrm G}(X)$ таких функций банахово по $\sup$-норме и является замыканием пространства ступенчатых функций. В настоящей работе определено и исследовано пространство ${\mathrm G}^F(X)$, отличающееся от ${\mathrm G}(X)$ тем, что здесь в определении правильных функций многих переменных вместо специальных разбиений фигурируют $F$-разбиения: их элементами являются измеримые по обобщенной мере Жордана (по мере $m_{_{\!F}}$) непустые открытые множества. (Через $F$ обозначена функция, порождающая меру $m_{_{\!F}}$.) Во второй части работы определено понятие $F$-интегрируемости функций многих переменных. Доказано, что если $X$ — это измеримое по мере $m_{_{\!F}}$ замыкание непустого открытого ограниченного множества $X_0\subseteq{\mathbb R}^n$, а функция $f\colon X\to {\mathbb R}$ интегрируема в смысле Римана–Стилтьеса относительно меры $m_{_{\!F}}$, то она $F$-интегрируема. При этом значения кратных интегралов совпадают. Все функции из пространства ${\mathrm G}^F(X)$ являются $F$-интегрируемыми. Доказаны основные свойства $F$-интеграла Римана–Стилтьеса.

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

Показано, что общий вид линейного непрерывного функционала в пространстве правильных функций ($\sigma$-непрерывных функций) — это *-интеграл правильной ($\sigma$-непрерывной) функции по функции ограниченной вариации.

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

Многие задачи управления движением и навигации, робототехники и компьютерной графики связаны с описанием вращения твердого тела в трехмерном пространстве. Для решения подобных задач дается конструктивное решение задачи о плавном перемещении твердого тела в пространстве ориентаций по кратчайшей траектории, проходящей через точки пространства, равномерно его заполняющие. Сферическому движению твердого тела ставится в соответствие движение точки по гиперсфере в четырехмерном пространстве по дугам большого радиуса, соединяющим вершины одного из правильных центросимметричных четырехмерных многогранников. Плавное движение обеспечивается выбором специальной нелинейной функции при интерполяции кватернионов, задающих положения вершин правильных многогранников. Для аналитического представления закона непрерывного движения используется оригинальное алгебраическое представление функции Хевисайда через линейную, квадратичную и иррациональную функции. Алгоритм плавного движения твердого тела через узлы однородной решетки на группе $SO(3)$ иллюстрируется анимацией, выполненной в компьютерной программе MathCad. Предложенный метод позволяет в широких пределах менять временные интервалы межузельных перемещений, а также законы движения на этих интервалах.