Все выпуски

Настоящая работа посвящена теореме Шимоды о голоморфности функции $f(z,w)$, которая является голоморфной по $w\in V$ при фиксированном $z\in U$ и голоморфна по $z\in U$ при фиксированном $w\in E$, где $E\subset V$ - счетное множество, по крайней мере, с одной предельной точкой в $V$. Шимода доказывает, что в этом случае $f(z,w)$ голоморфно в $U\times V$, за исключением нигде не плотного замкнутого подмножества $U\times V.$ Рассматривается обратная задача и доказывается, что для любого заранее заданного нигде не плотного замкнутого подмножества $S\subset U$ существует голоморфная функция, удовлетворяющая теореме Шимоды на $U\times V\subset {\mathbb C}^{2}$, не голоморфная на $S\times V$. Кроме того, исследованы дополнительные условия, которые влекут за собой пустые множества особенностей в теореме Шимоды. Доказывается обобщение в случае, когда функция имеет переменный радиус голоморфности по одному из направлений.

The present work is devoted to Shimoda's Theorem on the holomorphicity of a function $f(z,w)$ which is holomorphic by $w\in V$ for each fixed $z\in U$ and is holomorphic by $z\in U$ for each fixed $w\in E$, where $E\subset V$ is a countable set with at least one limit point in $V$. Shimoda proves that in this case $f(z,w)$ is holomorphic in $U\times V$ except for a nowhere dense closed subset of $U\times V$. We prove the converse of this result, that is for an arbitrary given nowhere dense closed subset of $U$, $S\subset U$, there exists a holomorphic function, satisfying Shimoda's Theorem on $U\times V\subset {\mathbb C}^{2}$, that is not holomorphic on $S\times V$. Moreover, we observe conditions which imply empty exception sets on Shimoda's Theorem and prove generalizations of Shimoda's Theorem.

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

Рассматриваются две задачи нелинейного гарантированного оценивания фазовых состояний динамических систем. Предполагается, что неизвестные измеримые по $t$ возмущения линейно входят в уравнение движения и аддитивно — в уравнения измерения. Эти возмущения стеснены нелинейными интегральными функционалами, один из которых является аналогом функционала обобщенной работы. Исследуемая задача состоит в построении информационных множеств по данным измерения, содержащих истинное положение траектории. Используется подход динамического программирования. Если для первого функционала требуется решить нелинейное уравнение в частных производных первого порядка, что не всегда возможно, то для функционала обобщенной работы достаточно найти решение линейного уравнения Ляпунова первого порядка, что существенно упрощает задачу. Тем не менее, даже в этом случае приходится налагать дополнительные условия на параметры системы для того, чтобы траектория системы, соответствующая наблюдаемому сигналу, существовала. Если уравнение движения линейно по фазовой переменной, то многие предположения выполняются автоматически. Для этого случая обсуждается вопрос о взаимной оценке сверху и снизу информационных множеств по включению для разных функционалов. В заключение рассмотрен наиболее прозрачный линейно-квадратичный случай. Изложение иллюстрируется примерами.

Two problems of nonlinear guaranteed estimation for states of dynamical systems are considered. It is supposed that unknown measurable in $t$ disturbances are linearly included in the equation of motion and are additive in the measurement equations. These disturbances are constrained by nonlinear integral functionals, one of which is analog of functional of the generalized work. The studied problem consists in creation of the information sets according to measurement data containing the true position of the trajectory. The dynamic programming approach is used. If the first functional requires solving a nonlinear equation in partial derivatives of the first order which is not always possible, then for functional of the generalized work it is enough to find a solution of the linear Lyapunov equation of the first order that significantly simplifies the problem. Nevertheless, even in this case it is necessary to impose additional conditions on the system parameters in order for the system trajectory of the observed signal to exist. If the motion equation is linear in state variable, then many assumptions are carried out automatically. For this case the issue of mutual approximation of information sets via inclusion for different functionals is discussed. In conclusion, the most transparent linear quadratic case is considered. The statement is illustrated by examples.

Рассматриваются вопросы, связанные с решением аддитивной задачи последовательного обхода множеств с ограничениями предшествования и функциями стоимости, допускающими зависимость от списка заданий. В качестве базового метода используется широко понимаемое динамическое программирование (ДП), дополняемое в случае задач ощутимой размерности декомпозициями семейства заданий и преобразованием параметров исходной задачи. Возможные применения связаны, в частности, с задачей управления инструментом при фигурной листовой резке деталей на машинах с ЧПУ. В этой задаче важным обстоятельством является учет условий предшествования, имеющих, в частности, следующий смысл: в случае детали с отверстиями резка каждого из внутренних контуров (отвечающих отверстиям) должна предшествовать резке внешнего контура. Сам критерий качества в данной задаче, как правило, является аддитивным. Другой тип ограничений касается избежания термических деформаций деталей. При использовании подхода с применением штрафов за нарушение условий, связанных с эффективным отводом тепла при выполнении врезки, возникают функции стоимости, допускающие зависимость от списка заданий, выполненных на текущий момент времени. Заметим, что в другой прикладной задаче, а именно в задаче о демонтаже радиационно опасных объектов, возникают функции стоимости с зависимостью от списка заданий, не выполненных на данный момент (а, следовательно, касающихся недемонтированных объектов). В итоге мы приходим к очень общей задаче с ограничениями предшествования и функциями стоимости с зависимостью от списка заданий. Применяемая в случае ощутимой размерности декомпозиция с последующей реализацией ДП требует, с одной стороны, разработки методов кластеризации, а, с другой, построения адекватной конструкции распределения глобальных условий предшествования по кластерам. В теоретической части работы обсуждается случай двух кластеров, который позволяет охватить единой схемой целый ряд практически интересных задач диапазонного (в смысле размерности) типа. Указан алгоритм построения композиционного решения, включающий этап обучения кластеризации на основе жадного алгоритма. Данный «композиционный» алгоритм реализован на ПЭВМ; проведен вычислительный эксперимент.

Issues related to solving the additive problem of sequential traversal of sets with precedence restrictions and cost functions that allow dependence on the list of tasks are considered. The basic method is a broadly understood dynamic programming (DP), supplemented in the case of problems of appreciable dimension by decompositions of the family of tasks and transformation of the parameters of the original problem. Possible applications are related, in particular, to the problem of tool control in figured sheet cutting of parts on CNC machines. In this problem, an important circumstance is taking into account the precedence conditions, which have, in particular, the following meaning: in the case of a part with holes, cutting of each of the internal contours (corresponding to the holes) should precede cutting of the external contour. The quality criterion itself in this problem, as a rule, is additive. Another type of constraints concerns avoiding thermal deformations of parts. When using the approach with penalties for violating the conditions associated with effective heat dissipation during cutting, cost functions arise that allow dependence on the list of tasks completed to date. Note that in another applied problem, namely, in the problem of dismantling radiation hazardous objects, cost functions arise with dependence on the list of tasks that have not been completed at the moment (and, consequently, concern the objects that have not been dismantled). As a result, we arrive at a very general problem with precedence constraints and cost functions with dependence on the list of tasks. The decomposition applied in the case of a noticeable dimensionality with subsequent implementation of the DP requires, on the one hand, the development of clustering methods, and, on the other, the construction of an adequate structure for distributing global precedence conditions among clusters. In the theoretical part of the work, the case of two clusters is discussed, which makes it possible to cover with a single scheme a number of practically interesting problems of a range (in terms of dimensionality) type. An algorithm for constructing a composite solution is indicated, including a stage of clustering training based on a greedy algorithm. This “composite” algorithm is implemented on a PC; a computational experiment was carried out.

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

A nonlinear mechanical system, whose dynamics is described by a vector ordinary differential equation of the Lienard type, is considered. It is assumed that the coefficients of the equation can switch from one set of constant values to another, and the total number of these sets is, in general, infinite. Thus, piecewise constant functions with infinite number of break points on the entire time axis, are used to set the coefficients of the equation. A method for constructing a discontinuous Lyapunov function is proposed, which is applied to obtain sufficient conditions of the asymptotic stability of the zero equilibrium position of the equation studied. The results found are generalized to the case of a nonstationary Lienard equation with discontinuous coefficients of a more general form. As an auxiliary result of the work, some methods for analyzing the question of sign-definiteness and approaches to obtaining estimates for algebraic expressions, that represent the sum of power-type terms with non-stationary coefficients, are developed. The key feature of the study is the absence of assumptions about the boundedness of these non-stationary coefficients or their separateness from zero. Some examples are given to illustrate the established results.

Продолжаются исследования автора по теории правильных функций и *-интеграла. Изучается возможность представления правильной функции в виде суммы непрерывной справа и непрерывной слева функций ($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.

На закруглениях речного русла формируются вторичные поперечные течения. В зависимости от геометрии русла вторичных течений в створе может быть несколько, и они могут иметь различный масштаб. Даже малое вторичное поперечное течение влияет на параметры гидродинамического потока и это влияние необходимо учитывать при моделировании русловых процессов и исследовании береговых деформаций русла. Трехмерное моделирование таких разномасштабных процессов требует больших вычислительных затрат и на текущий момент возможно только для небольших модельных каналов. Поэтому для исследования береговых процессов в данной работе предложена модель пониженной размерности. Выполненная редукция задачи от трехмерной модели движения речного потока к двумерной модели потока в плоскости створа канала предполагает, что рассматриваемый гидродинамический поток является квазистационарным и для него выполнены гипотезы об асимптотическом поведении потока по потоковой координате створа. С учетом данных ограничений в работе сформулирована математическая модель задачи о движении стационарного турбулентного спокойного речного потока в створе канала. Задача сформулирована в смешанной постановке скорости–вихрь–функция тока. В качестве дополнительных условий для редукции задачи требуется задание граничных условий на свободной поверхности потока для поля скорости, определяемого в нормальном и касательном направлении к оси створа. Предполагается, что значения данного поля скорости должно быть определено из решения вспомогательных задач или получено из данных натурных или экспериментальных измерений. Для численного решения сформулированной задачи используется метод конечных элементов в формулировке Петрова–Галеркина. В работе получен дискретный аналог задачи и предложен алгоритм ее решения. Выполненные численные исследования показали в целом хорошую согласованность полученных решений с известными экспериментальными данными. Погрешности численных результатов авторы связывают с необходимостью более точного определения радиальной компоненты поля скорости в створе потока путем подбора и калибровки более подходящей модели вычисления турбулентной вязкости и более точного определения граничных условий на свободной границе створа.

At the river bed curves, secondary flow normal to the main flow direction are formed. Depending on the channel geometry, there may be several secondary flows in the cross-section, and they may have different scales. Even a small secondary cross-section flow affects the parameters of the hydrodynamic flow and this influence must be taken into account when modeling riverbed processes and researching coast deformations of the channel. Three-dimensional modeling of such multi-scale processes requires large computational costs and is currently possible only for small model channels. Therefore, a reduced-dimensional model is proposed in this paper to study coastal processes. The performed reduction of the problem from a three-dimensional model of river flow motion to a two-dimensional one in the plane of the channel cross-section assumes that the hydrodynamic flow is quasi-stationary and the hypotheses on the asymptotic behavior of the flow along the flow coordinate are fulfilled for it. Taking into account these limitations, a mathematical model of the problem of a stationary turbulent calm river flow in a channel cross-section is formulated in this work. The problem is formulated in a mixed velocity–vortex–stream function formulation. Specifying of the boundary conditions on the flow free surface for the velocity field determined in the normal and tangential directions to the cross-section axis is required as additional conditions for the problem reduction. It is assumed that the values of this velocity field should be determined from the solution of auxiliary problems or obtained from data of natural or experimental measurements.

The finite element method in the Petrov–Galerkin formulation is used for the numerical solution of the formulated problem. A discrete analog of the problem is obtained and an algorithm for its solution is proposed. The performed numerical studies showed generally good agreement between the obtained solutions and the known experimental data. The authors associate the errors in the numerical results with the need for a more accurate determination of the radial component of the velocity field in the cross-section by selecting and calibrating a more suitable model for turbulent viscosity calculating and a more accurate determination of the boundary conditions on the cross-section free boundary.

Рассматривается задача последовательного обхода мегаполисов с ограничениями в виде условий предшествования и (внутренними) работами, выполняемыми в пределах мегаполисов. Особенностью является то, что стоимости внешних перемещений и внутренних работ явным образом зависят от списка заданий. Построен метод итераций с элементами декомпозиции совокупного решения, задаваемого в виде пары «маршрут-трасса».

The problem of sequential megalopolis circuit with constraints in the form of preceding conditions and (interior) works realized in the megalopolises is considered. The singularity is a dependence of costs of exterior permutations and interior works on the task list. The iteration method with elements of decompositions of the joint solution defined as a pair «route-trace» is constructed.

Рассматривается регуляризация классических условий оптимальности (КУО) — принципа Лагранжа и принципа максимума Понтрягина — в выпуклой задаче оптимального управлении с функциональными ограничениями типа равенства и неравенства. Управляемая система задается линейным функционально-операторным уравнением второго рода общего вида в пространстве $L^m_2$, основной оператор правой части уравнения предполагается квазинильпотентным. Целевой функционал задачи является сильно выпуклым. Получение регуляризованных КУО в итерационной форме основано на использовании метода итеративной двойственной регуляризации. Основное предназначение получаемых в работе регуляризованных принципа Лагранжа и принципа максимума Понтрягина в итерационной форме — устойчивое генерирование минимизирующих приближенных решений в смысле Дж. Варги. Регуляризованные КУО в итерационной форме формулируются как теоремы существования в исходной задаче минимизирующих приближенных решений. Они «преодолевают» свойства некорректности КУО и являются регуляризирующими алгоритмами для решения оптимизационных задач. В качестве иллюстративного примера рассматривается задача оптимального управления, связанная с гиперболической системой дифференциальных уравнений первого порядка.

We consider the regularization of the classical optimality conditions (COCs) — the Lagrange principle and the Pontryagin maximum principle — in a convex optimal control problem with functional constraints of equality and inequality type. The system to be controlled is given by a general linear functional-operator equation of the second kind in the space $L^m_2$, the main operator of the right-hand side of the equation is assumed to be quasinilpotent. The objective functional of the problem is strongly convex. Obtaining regularized COCs in iterative form is based on the use of the iterative dual regularization method. The main purpose of the regularized Lagrange principle and the Pontryagin maximum principle obtained in the work in iterative form is stable generation of minimizing approximate solutions in the sense of J. Warga. Regularized COCs in iterative form are formulated as existence theorems in the original problem of minimizing approximate solutions. They “overcome” the ill-posedness properties of the COCs and are regularizing algorithms for solving optimization problems. As an illustrative example, we consider an optimal control problem associated with a hyperbolic system of first-order differential equations.

Приводится понятие $\alpha$-множества в конечномерном евклидовом пространстве, являющееся одним из обобщений понятия выпуклого множества. Возникновение этого понятия связано с изучением свойств множеств достижимости нелинейных управляемых систем. В работе определяется числовая характеристика степени невыпуклости множества, на основе которой осуществляется классификация множеств. Вводятся в рассмотрение аналоги базовых понятий из выпуклого анализа и изучаются их свойства. Формулируются и доказываются утверждения в духе таких теорем из выпуклого анализа, как теорема о существовании опорной гиперплоскости к выпуклому множеству и теоремы об отделимости выпуклых множеств в евклидовом пространстве. Изучается понятие мажорируемости невыпуклых множеств. Свойство мажорируемости является достаточным условием для представления замкнутого невыпуклого множества в виде пересечения полупространств в смысле введенных в работе определений. Полученные результаты теории отделимости невыпуклых множеств распространяются на случай подграфиков и надграфиков скалярных функций, удовлетворяющих условию Липшица.

The concept of $\alpha$-set in a finite-dimensional Euclidean space, which is one of generalizations of the notion of a convex set, is introduced. The emergence of this concept is connected with the study of properties of attainability sets of nonlinear controlled systems. The numerical characteristic of nonconvexity degree of a set on the basis of which a classification of sets is carried out is defined in the paper. Analogs of basic concepts from the convex analysis are introduced into consideration and their properties are studied. Statements in the spirit of such theorems from the convex analysis as the theorem of existence of basic hyperplane to a convex set and theorems of separability of convex sets in Euclidean space are formulated and proved. The concept of magoriums of nonconvex sets is studied. Property of a magoriums is a sufficient condition for representation of a closed nonconvex set in the form of crossing of half-spaces in the sense of definitions entered in this work. The obtained results of the theory of separability of nonconvex sets can be extended on a case of hypograph and epigraph of the scalar functions with Lipschitz condition.