Все выпуски

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

The multiplicative control problem for a stationary diffusion-drift model of charging a polar dielectric is studied. The role of control is played by a leading coefficient in the model equation, which has the meaning of the electron diffusion coefficient. The global solvability of the boundary value problem and the local uniqueness of its solution, as well as the solvability of the extremum problem under consideration, have been proved in the previous papers of the authors. In this paper, an optimality system is derived for the control problem and local regularity conditions for the Lagrange multiplier are established. Based on the analysis of this system, the local uniqueness of the multiplicative control problem's solution for specific cost functionals is proved.

Рассматривается выпуклая задача оптимального управления для параболического уравнения со строго равномерно выпуклым целевым функционалом, с граничным управлением и с распределенными поточечными фазовыми ограничениями типа равенства и неравенства. Образы задающих поточечные фазовые ограничения операторов вкладываются в лебегово пространство суммируемых с $s$-й степенью функций при $s\in(1,2)$. В свою очередь, граничное управление принадлежит лебегову пространству с показателем суммируемости $r\in (2,+\infty)$. Основными результатами работы в рассматриваемой задаче оптимального управления с поточечными фазовыми ограничениями являются регуляризованные, или, другими словами, устойчивые к ошибкам исходных данных, секвенциальные принцип Лагранжа в недифференциальной форме и поточечный принцип максимума Понтрягина.

A convex optimal control problem is considered for a parabolic equation with a strictly uniformly convex cost functional, with boundary control and distributed pointwise state constraints of equality and inequality type. The images of the operators that define pointwise state constraints are embedded into the Lebesgue space of integrable with $s$-th degree functions for $s\in(1,2)$. In turn, the boundary control belongs to Lebesgue space with summability index $r\in (2,+\infty)$. The main results of this work in the considered optimal control problem with pointwise state constraints are the two stable, with respect to perturbation of input data, sequential or, in other words, regularized principles: Lagrange principle in nondifferential form and Pontryagin maximum principle.

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

The stable sequential Pontryagin maximum principle or, in other words, the regularized Pontryagin maximum principle in iterative form is formulated for the optimal control problem of a system of ordinary differential equations with pointwise phase equality constraint and a finite number of functional equality and inequality constraints. The main difference between it and the classical Pontryagin maximum principle is that, firstly, it is formulated in terms of minimizing sequences, secondly, the iterative process occurs in dual space and, thirdly, it is resistant to errors of raw data and gives a minimizing approximate solution in the sense of J. Warga. So it is a regularizing algorithm. The proof of the regularized Pontryagin maximum principle in iterative form is based on the methods of dual regularization and iterative dual regularization.

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

The stable sequential Pontryagin maximum principle or, in other words, the regularized Pontryagin maximum principle in iterative form is formulated for the optimal control problem of a linear parabolic equation with distributed, initial and boundary controls and operator semiphase equality constraint. The main difference between it and the classical Pontryagin maximum principle is that, firstly, it is formulated in terms of minimizing sequences, secondly, the iterative process occurs in dual space, and thirdly, it is resistant to error of raw data and gives a minimizing approximate solution in the sense of J. Warga. So it is a regularizing algorithm. The proof of the regularized Pontryagin maximum principle in iterative form is based on the dual regularization methods and iterative dual regularization. The results of model calculations of the concrete optimal control problem illustrating the work of the algorithm based on the regularized iterative Pontryagin maximum principle are presented. The problem of finding a control triple with minimal norm under a given equality constraint at the final instant of time or, in other words, the inverse final observation problem of finding a normal solution is used as a concrete model optimal control problem.

Предлагается описание сопряженного оператора к оператору, соответствующему линейной многоточечной краевой задаче для квазидифференциального уравнения, обладающее свойствами: исходный и сопряженный к нему оператор действуют из одного и того же рефлексивного банахова пространства в сопряженное банахово пространство; сопряженный оператор также соответствует некоторой линейной многоточечной краевой задаче для квазидифференциального уравнения.

We study multipoint boundary value problems for quasidifferential equations, under certain (broad) assumptions on the coefficients of the equation so that there exists the formally adjoint (in the sense of Lagrange) quasidifferential equation. The operator corresponding to the original boundary value problem is densely defined in a reflexive Banachian space and has closed image in its adjoint; the operator corresponding to the adjoint problem has exactly the same properties. We note that the adjoint boundary value problem is not classical: its solution satisfies the quasidifferential equation only in the open intervals between points in which boundary conditions are specified. These considerations lead us to the notion of the generalized boundary value problem. In particular, we introduce the notion of the generalized Valle-Pousin problem (GVPP), where the number of boundary conditions may exceed the order of the equation by allowing higher quasiderivatives of the solution to be discontinuous at the interior points in which boundary conditions are specified. We also show that the boundary value problem adjoint to GVPP is itself a GVPP.

Рассматривается управляемая механическая система с сухим трением и позиционным импульсным или позиционным разрывным управлением. Она может быть представлена в виде уравнений Лагранжа второго рода:

A(t,q)d²q/dt²=g(t,q,dq/dt)+Q^A(t,q,dq/dt)+Q^T(t,q,dq/dt)+u, t∈I=[t₀,t₀+T]. (1)

Целью управления является  движение системы по  множеству S={(t,q,dq/dt)∈I×Rⁿ×Rⁿ: σ(t,q,dq/dt)=0} (задача стабилизации) или в окрестности этого множества (задача сближения). Первая задача решается с использованием  позиционного управления релейного типа с ограниченными ресурсами, для которых режим декомпозиции является устойчивым скользящим режимом системы (1). При недостаточности ресурсов обычного разрывного управления движение системы в окрестности  множества S происходит при помощи высокочастотных импульсных воздействий на нее в дискретные моменты времени в импульсно-скользящем режиме, равномерный предел которого (идеальный импульсно-скользящий режим) совпадает с режимом декомпозиции. Отличительной особенностью поставленных задач является наличие в системе (1) сил сухого трения, которые, вообще говоря, могут рассматриваться как некоторые неуправляемые разрывные или многозначные возмущения.

Основные понятия даны во введении статьи. В первом разделе показана связь между идеальными импульсно-скользящими режимами включения

A(t,x)ẋ∈F(t,x)+u,

где u - позиционное импульсное управление, и скользящими режимами системы

A(t,x)ẋ∈F(t,x)+B(t,x)ũ(t,x)

с позиционным разрывным управлением. Второй раздел посвящен системам вида (1). В третьем разделе рассматривается важное для приложений целевое множество S системы (1), которое определяется векторной функцией σ(t,q,dq/dt)=dq/dt-φ(t,q). Для последнего случая использованы  более простые и содержательные условия, гарантирующие существование скользящих режимов для системы с позиционным разрывным управлением. В заключении рассмотрен пример.

We consider a controlled mechanical system with dry friction and positional pulse or positional discontinuous control. It can be presented in a form of Lagrange equations of the second kind

A(t,q)d²q/dt²=g(t,q,dq/dt)+Q^A(t,q,dq/dt)+Q^T(t,q,dq/dt)+u, t∈I=[t₀,t₀+T]. (1)

The goal of the control is the motion of the system (1) in set S={(t,q,dq/dt)∈I×Rⁿ×Rⁿ: σ(t,q,dq/dt)=0} (problem of stabilization) or in the neighborhood of set S (approach problem). The first problem is solved with discontinuous positional control of relay type with limited resources, for which a decomposition mode is a stable sliding mode of system (1). In case of insufficiency of resources of discontinuous control the motion of the controlled system in the neighborhood of set S can be implemented under high-frequency impacts on the system in discrete time moments in the pulse-sliding mode, the uniform limit of which (an ideal pulse-sliding mode) is equal to the decomposition mode. The distinctive feature of the assigned problems is dry friction in the system (1), and said dry fiction, generally speaking, can be considered as uncontrollable discontinuous or multivalued perturbations. 

Main definitions are given in the introduction of the article. In the first section the connection between ideal pulse-sliding modes of inclusion

A(t,x)ẋ∈F(t,x)+u,

where u is a positional pulse control, and sliding modes of system

A(t,x)ẋ∈F(t,x)+B(t,x)ũ(t,x)

with a positional discontinuous control is considered. The second section is devoted to systems of type (1). In the third section we consider set S, which is important in relation to applications and is defined by the vector function σ(t,q,dq/dt)=dq/dt-φ(t,q). For the last case more simple and informative conditions of the existence of sliding modes for a system with discontinuous controls were used. An example was considered in conclusion.

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

This paper investigates the rolling motion of a spherical top with an axisymmetric mass distribution on a smooth horizontal plane performing periodic vertical oscillations. For the system under consideration, equations of motion and conservation laws are obtained. It is shown that the system admits two equilibrium points corresponding to uniform rotations of the top about the vertical symmetry axis. The equilibrium point is stable when the center of mass is located below the geometric center, and is unstable when the center of mass is located above it. The equations of motion are reduced to a system with one and a half degrees of freedom. The reduced system is represented as a small perturbation of the problem of the Lagrange top motion. Using Melnikov’s method, it is shown that the stable and unstable branches of the separatrix intersect transversally with each other. This suggests that the problem is nonintegrable. Results of computer simulation of the top dynamics near the unstable equilibrium point are presented.

В статье рассматривается твердотельный волновой гироскоп - прибор, измеряющий проекцию угловой скорости на ось прибора. Основным элементом прибора является резонатор, в котором реализуется эффект инертности стоячих волн. Из-за различных дефектов материалов и технологий изготовления появляется взаимодействие основных рабочих колебаний и побочных деформаций в месте крепления, из-за чего появляются конструкционное демпфирование и, как следствие, дрейф стоячей волны. Предлагается исследовать вопросы конструкционного демпфирования в твердотельном волновом гироскопе и появления дрейфа волны с помощью модели в виде механической системы. В механической системе центральная масса моделирует крепежную ножку резонатора. Выводится математическая модель с помощью подхода Лагранжа. Механическая система описывается в декартовых координатах в общем виде для $N+1$ массы. Выбирается более удобная неинерциальная система координат, вращающаяся с некоторой угловой скоростью. Приводятся выкладки для получения математической модели в виде системы дифференциальных уравнений. Анализируется полученная математическая модель. Описываются дальнейшие пути исследования конструкционного демпфирования и дрейфа.

This article is concerned with the hemispherical resonator gyroscope, a device for measurement of the projection of the angular speed to a device axis. The basic element of the device is a resonator in which the effect of inertness of standing waves is implemented. Various defects of materials and manufacturing techniques lead to an interaction between the main working fluctuations and collateral deformations in the location of fastening, resulting in construction damping and hence in the drift of a standing wave. Problems of constructional damping in the hemispherical resonator gyroscope and emergence of drift of a wave by means of modeling in the form of a mechanical system are investigated. A mathematical model is derived using Lagrange's approach. A mechanical system is described in Cartesian coordinates in general form for the $N+1$ mass. In the mechanical system, the central weight models a fixing leg of the resonator. A more convenient coordinate system for the description of the mechanical system is chosen. Calculations for obtaining a mathematical model in the form of a system of differential equations are carried out. The resulting mathematical model is analyzed. Avenues of further research on a construction damping and drift are described.

Рассматривается регуляризация классических условий оптимальности (КУО) — принципа Лагранжа и принципа максимума Понтрягина — в выпуклой задаче оптимального управлении с функциональными ограничениями типа равенства и неравенства. Управляемая система задается линейным функционально-операторным уравнением второго рода общего вида в пространстве $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.

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

We consider the rolling of an unbalanced dynamically symmetric ball along a plane without slipping in the presence of an external magnetic field. We assume that the ball may be wholly or partially composed of dielectric, ferromagnetic, or superconducting materials. According to the existing phenomenological theory, in this case, when studying the dynamics of a ball, it is required to take into account the Lorentz force moment, Barnett-London moment, and Einstein-de Haas moment. Within the framework of this mathematical model, we obtain the conditions for the existence of integrals of motion, which allow us to reduce the integration of equations of motion to a quadrature similar to the Lagrange quadrature for a heavy rigid body.