Все выпуски

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

In parametrical family of subspaces of space of regulated functions the concept of the adjoint integral (in everyone subspace own integral is applied) is defined. In subspace, representing their crossing, the concept of the adjoint integral also is defined. This subspace includes the space of functions of the bounded variation. In any subspace on the basis of the adjoint integral the concept of the generalized regulated function and its adjoint generalized derivative is defined. Solvability of linear impulse systems in terms of adjoint generalized functions is proved.

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

A function defined on an open (finite, semi-finite, infinite) interval is called regulated if it has finite one-sided limits at each point of its domain. In the present paper we study spaces of regulated functions, in particular, their dense subsets. Our motivation is applications to differential equations. Namely, we consider the Cauchy problem for a scalar linear differential equation with coefficients, which are derivatives of regulated functions. We immerse the Cauchy problem into the space of the Colombeau generalized functions. If the coefficients are derivatives of step functions, we find explicit solution R(φ_μ,t) of the Cauchy problem (in terms of representatives); its limit as μ→+0 is defined to be the solution of the original problem. In this way, we obtain a densely defined (on the space of regulated functions) operator T, which associates the solution to a Cauchy problem with this problem. Next, using a well-known topological result on a continuous extension, we extend the operator T to the operator T defined on the entire space of regulated functions. We have given the explicit representation of solution of the Cauchy problem for the inhomogeneous differential equation. Illustrative examples are also offered.

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

In this paper, the properties of the regular functions and the so-called $\sigma$-continuous functions (i.e., the bounded functions for which the set of discontinuity points is at most countable) are studied. It is shown that the $\sigma$-continuous functions are Riemann-Stieltjes integrable with respect to continuous functions of bounded variation. Helly's limit theorem for such functions is also proved. Moreover, Riemann-Stieltjes integration of $\sigma$-continuous functions with respect to arbitrary functions of bounded variation is considered. To this end, a $(*)$-integral is introduced. This integral consists of two terms: (i) the classical Riemann-Stieltjes integral with respect to the continuous part of a function of bounded variation, and (ii) the sum of the products of an integrand by the jumps of an integrator. In other words, the $(*)$-integral makes it possible to consider a Riemann-Stieltjes integral with a discontinuous function as an integrand or an integrator. The properties of the (*)-integral are studied. In particular, a formula for integration by parts, an inversion of the order of the integration theorem, and all limit theorems necessary in applications, including a limit theorem of Helly's type, are proved.

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

The paper introduces the concept of a regulated function of several variables $f\colon X\to\mathbb R$, where $X\subseteq \mathbb R^n$. The definition is based on the concept of a special partition of the set $X$ and the concept of oscillation of the function $f$ on the elements of the partition. It is shown that every function defined and continuous on the closure $X$ of the open bounded set $X_0\subseteq\mathbb R^n$, is regulated (belongs to the space $\langle{\rm G(}X),\|\cdot\ |\rangle$). The completeness of the space ${\rm G}(X)$ in the $\sup$-norm $\|\cdot\|$ is proved. This is the closure of the space of step functions. In the second part of the work, the space ${\rm G}^J(X)$ is defined and studied, which differs from the space ${\rm G}(X)$ in that its definition uses $J$-partitions instead of partitions, whose elements are Jordan measurable open sets. The properties of the space ${\rm G}(X)$ listed above carry over to the space ${\rm G}^J(X)$. In the final part of the paper, the notion of $J$-integrability of functions of several variables is defined. It is proved that if $X$ is a Jordan measurable closure of an open bounded set $X_0\subseteq\mathbb R^n$, and the function $f\colon X\to\mathbb R$ is Riemann integrable, then it is $J$-integrable. In this case, the values of the integrals coincide. All functions $f\in{\rm G}^J(X)$ are $J$-integrable.

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

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.

В предыдущей работе авторов введено понятие правильной функции многих переменных $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$-интеграла Римана–Стилтьеса.

In the previous work of the authors, the concept of a regulated function of several variables $f\colon X\to\mathbb R$ was introduced, where $X\subseteq \mathbb R^n.$ The definition is based on the concept of a special partition of the set $X$ and the concept oscillation of the function $f$ on the elements of the partition. The space ${\rm G}(X)$ of such functions is Banach in the $\sup$-norm and is the closure of the space of step functions. In this paper, the space ${\rm G}^F(X)$ is defined and studied, which differs from ${\rm G}(X)$ in that here, in defining regulated functions of several variables, instead of special partitions, $F$-partitions are used: their elements are non-empty open sets measurable by the generalized Jordan measure (by the measure $m_{_{\!F}}$). (Symbol $F$ denotes the function generating the measure $m_{_{\!F}}.$) In the second part of the work, the concept of $F$-integrability of functions of several variables is defined. It is proved that if $X$ is the closure of a non-empty open bounded set $X_0\subseteq {\mathbb R}^n,$ measurable with respect to measure $m_{_{\!F}},$ and the function $f\colon X\to {\mathbb R}$ is integrable in the Riemann–Stieltjes sense with respect to the measure $m_{_{\!F}}$, then it is $F$-integrable. In this case, the values of the multiple integrals coincide. All functions from the space ${\rm G}^F(X)$ are $F$-integrable. The main properties of the Riemann–Stieltjes $F$-integral are proved.

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

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

The author's research continues on the theory of regulated functions (functions having finite one-sided limits at each point) and $\sigma$-continuous functions (bounded functions having no more than a countable set of discontinuity points), as well as on the theory of the *-integral. The representability of a regulated function in the form of a sum of a right-continuous function and a left-continuous function is proved ($rl$-representability of the proper function).

It is shown that the general form of a linear continuous functional in the space of regulated functions ($\sigma$-continuous functions) is the *-integral of a regulated ($\sigma$-continuous) function over a function of bounded variation.

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

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

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

In previous article we defined the concept of quasi-integral for two regulated functions on the interval and the special parameter, called ¾defect¿. If there is the Riemann–Stieltjes integral, then for any defect there is a quasi-integral, and they are all equal. The Perron–Stieltjes integral, if it exists, coincides with one of quasi-integrals where the defect is defined in a special way.

In the present article the theorem of existence and uniqueness of solution for a quasi-integral equation with a constant matrix is proved. System’s kernel is a scalar piecewise continuous function of bounded variation. Components of the equation are regulated functions, spectral parameter is a regular number. Under certain conditions a quasi-integral equation can be interpreted as an impulse system. An explicit representation for the solution of a quasi-integral homogeneous equation is given. For an absolutely regular spectral parameter, the analogue of the Cauchy matrix is defined, its properties are investigated and the explicit representation for the solution of the nonhomogeneous quasi-integral equation in the Cauchy form is given. Similar results are obtained for the adjoint and associated equations.

We discussed the possibility of restoration of the approximating defect of quasi-integral, which is defect generating approximated solutions of the impulse system.

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

This work continues the author's research on the theory of regulated functions and *-integral. The possibility to express a regulated function as a sum of right-continuous and left-continuous functions (called $rl$-representation) is studied. A limit theorem for the *-integral is proved. It allows approximating discontinuous integrands and integrators by sequences of absolutely continuous functions. A new result on $\delta$-correctness of the solution of an ordinary linear differential equation with generalized functions in coefficients is proved. This solution is defined via a quasi-differential equation. A formula for the total variation of an indefinite *-integral of a $\sigma$-continuous function with respect to a function of bounded variation is given. It generalizes the well-known formula for computing the total variation of an absolutely continuous function. The formula is also interesting in the case of an indefinite $RS$-integral.

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

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.