Open Access Open Access  Restricted Access Access granted  Restricted Access Subscription Access

Vol 51, No 1 (2018)

Mathematics

Reduction and Minimality of Coexhausters

Abbasov M.E.

Abstract

V.F. Demyanov introduced exhausters for the study of nonsmooth functions. These are families of convex compact sets that enable one to represent the main part of the increment of a considered function in a neighborhood of the studied point as MaxMin or MinMax of linear functions. Optimality conditions were described in terms of these objects. This provided a way for constructing new algorithms for solving nondifferentiable optimization problems. Exhausters are defined not uniquely. It is obvious that the smaller an exhauster, the less are the computational expenses when working with it. Thus, the problem of reduction of an available family arises. For the first time, this problem was considered by V.A. Roshchina. She proposed conditions for minimality and described some methods of reduction in the case when these conditions are not satisfied. However, it turned out that the exhauster mapping is not continuous in the Hausdorff metrics, which leads to the problems with convergence of numerical methods. To overcome this difficulty, Demyanov proposed the notion of coexhausters. These objects enable one to represent the main part of the increment of the considered function in a neighborhood of the studied point in the form of MaxMin or MinMax of affine functions. One can define a class of functions with the continuous coexhauster mapping. Optimality conditions can be stated in terms of these objects too. But coexhausters are also defined not uniquely. The problem of reduction of coexhausters is considered in this paper for the first time. Definitions of minimality proposed by Roshchina are used. In contrast to ideas proposed in the works of Roshchina, the minimality conditions and the technique of reduction developed in this paper have a clear and transparent geometric interpretation.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):1-8
pages 1-8 views

Stable Periodic Solutions of Periodic Systems of Differential Equations

Vasil’eva E.V.

Abstract

An infinitely differentiable periodic two-dimensional system of differential equations is considered. It is assumed that there is a hyperbolic periodic solution and there exists a homoclinic solution to the periodic solution. It is shown that, for a certain type of tangency of the stable manifold and unstable manifold, any neighborhood of the nontransversal homoclinic solution contains a countable set of stable periodic solutions such that their characteristic exponents are separated from zero.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):9-14
pages 9-14 views

Sharp Estimates for Mean Square Approximations of Classes of Differentiable Periodic Functions by Shift Spaces

Vinogradov O.L., Ulitskaya A.Y.

Abstract

Let L2 be the space of 2π-periodic square-summable functions and E(f, X)2 be the best approximation of f by the space X in L2. For n ∈ ℕ and BL2, let \({{\Bbb S}_{B,n}}\) be the space of functions s of the form \(s\left( x \right) = \sum\limits_{j = 0}^{2n - 1} {{\beta _j}B\left( {x - \frac{{j\pi }}{n}} \right)} \). This paper describes all spaces \({{\Bbb S}_{B,n}}\) that satisfy the exact inequality \(E{\left( {f,{S_{B,n}}} \right)_2} \leqslant \frac{1}{{^{{n^r}}}}\parallel {f^{\left( r \right)}}{\parallel _2}\). (2n–1)-dimensional subspaces fulfilling the same estimate are specified. Well-known inequalities are for approximation by trigonometric polynomials and splines obtained as special cases.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):15-22
pages 15-22 views

On the Possibility of Using the Method of Sign-Perturbed Sums for the Processing of Dynamic Test Data

Volkova M.V., Granichin O.N., Volkov G.A., Petrov Y.V.

Abstract

At the present time, the methods for the measurement and prediction of the dynamic strength of materials are complicated and unstandardized. An experimental data processing method based on the incubation time criterion is considered. Only a finite number of measurements containing random errors and limited statistical information are usually available in practice, since dynamic tests are laborious, and every individual test requires a lot of time. This strongly restricts the number of applicable data processing methods unless we are satisfied with approximate and heuristic solutions. The method of sign-perturbed sums (SPS) is used for the estimation of finite-sample confidence regions with a specified confidence probability under the assumption of noise symmetries. It is shown that several experimental points are sufficient to determine the strength parameter with an accuracy acceptable for engineering calculations. The applicability of the proposed method is demonstrated in the processing of a number of experiments on the dynamic fracture of rocks.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):23-30
pages 23-30 views

On the Stability of the Zero Solution of a Second-Order Differential Equation under a Periodic Perturbation of the Center

Dorodenkov A.A.

Abstract

Small periodic perturbations of the oscillator \(\ddot x + {x^{2n}}\) sgn x = Y(t, x, \(\dot x\)) are considered, where n < 1 is a positive integer and the right-hand side is a small perturbation periodic in t, which is an analytic function in \(\dot x\) and x in a neighborhood of the origin. New Lyapunov-type periodic functions are introduced and used to investigate the stability of the equilibrium position of the given equation. Sufficient conditions for asymptotic stability and instability are given.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):31-35
pages 31-35 views

Stabilization of a Class of Uncertain Systems

Zakharenkov M.S.

Abstract

We consider the problem to synthesize a stabilizing control u synthesis for systems \(\frac{{dx}}{{dt}} = Ax + Bu\) where A ∈ ℝn×n and B ∈ ℝn×m, while the elements αi,j(·) of the matrix A are uniformly bounded nonanticipatory functionals of arbitrary nature. If the system is continuous, then the elements of the matrix B are continuous and uniformly bounded functionals as well. If the system is pulse-modulated, then the elements of the matrix B are differentiable uniformly bounded functions of time. It is assumed that k isolated uniformly bounded elements \({\alpha _{{i_l},{j_l}}}\left( \cdot \right)\) satisfying the condition \(\mathop {\inf }\limits_{\left( \cdot \right)} \left| {{\alpha _{{i_l},{j_l}}}\left( \cdot \right)} \right|{\alpha _ - } > 0,\quad l \in \overline {1,k}\) are located above the main diagonal of the matrix A(·), where Gk is the set of all isolated elements of the system, J1 is the set of indices of rows of matrix A(·) containing isolated elements, and J2 is the set of indices of its rows free of isolated elements. It is assumed that other elements located above the main diagonal are sufficiently small provided that their row indices belong to J1, i.e., \(\mathop {\sup }\limits_{\left( \cdot \right)} \left| {{\alpha _{i,j}}\left( \cdot \right)} \right| < \delta ,\quad {\alpha _{i,j}} \notin {G_k},\quad i \in {J_1},\quad j > i\). All other elements located above the main diagonal are uniformly bounded. The relation u = S(·)x is satisfied in the continuous case, while the relation u = ξ(t) is satisfied in the pulse-modulated case; here the components of the vector ξ are outputs of synchronous pulse elements. Constructing a special quadratic Lyapunov function, one can determine a matrix S(·) such that the closed system becomes globally exponentially stable in the continuous case. In the pulse-modulated case, input pulses are synthesized such that the system becomes globally asymptotically stable.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):36-41
pages 36-41 views

Sensitivity Statistical Estimates for Local A Posteriori Inference Matrix-Vector Equations in Algebraic Bayesian Networks over Quantum Propositions

Zolotin A.A., Tulupyev A.L.

Abstract

An approach to the sensitivity analysis of local a posteriori inference equations in algebraic Bayesian networks is proposed in this paper. Some basic definitions and formulations are briefly given and the development of the matrix-vector a posteriori inference approach is considered. Some cases of the propagation of deterministic and stochastic evidence in a knowledge pattern with scalar estimates of component truth probabilities over quantum propositions are described. For each of the considered cases, the necessary metrics are introduced, and some transformations resulting in four linear programming problems are performed. The solution of these problems gives the required estimates. In addition, two theorems postulating the covering estimates for the considered parameters are formulated. The results obtained in this work prove the correct application of models and create a basis for the sensitivity analysis of local and global probabilistic-logic inference equations.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):42-48
pages 42-48 views

A Supplement to Hölder’s Inequality. The Resonance Case. I

Ivanov B.F.

Abstract

Suppose that m ≥ 2, numbers p1, …, pm ∈ (1, +∞] satisfy the inequality \(\frac{1}{{{p_1}}} + ... + \frac{1}{{{p_m}}} < 1\), and functions γ1\({L^{{p_1}}}\)(ℝ1), …, γm\({L^{{p_m}}}\)(ℝ1) are given. It is proved that if the set of “resonance points” of each of these functions is nonempty and the so-called “resonance condition” holds, then there are arbitrarily small (in norm) perturbations Δγk\({L^{{p_k}}}\)(ℝ1) under which the resonance set of each function γk + Δγk coincides with that of γk for 1 ≤ km, but \({\left\| {\int\limits_0^t {\prod\limits_{k = 0}^m {\left[ {{\gamma _k}\left( \tau \right) + \Delta {\gamma _k}\left( \tau \right)} \right]d\tau } } } \right\|_{{L^\infty }\left( {{\mathbb{R}^1}} \right)}} = \infty \). The notion of a resonance point and the resonance condition for functions in the spaces Lp(ℝ1), p ∈ (1, +∞], were introduced by the author in his previous papers.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):49-56
pages 49-56 views

Sufficient Global Stability Condition for a Model of the Synchronous Electric Motor under Nonlinear Load Moment

Konosevich B.I., Konosevich Y.B.

Abstract

We study a model of the synchronous electric motor, which is described by a system of ordinary differential equations, including equations for electric currents in the windings of the rotor. The load moment is assumed to be a nonlinear function of the angular velocity of the rotor, allowing a linear estimate. The system of differential equations under consideration has a countable number of stationary solutions corresponding to the operating mode of uniform rotation of the rotor with the angular velocity equal to the angular velocity of rotation of the magnetic field in the stator. An effective sufficient condition is derived under which any motion of the rotor of the synchronous electric motor tends with time to uniform rotation.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):57-65
pages 57-65 views

Solution of a Multidimensional Tropical Optimization Problem Using Matrix Sparsification

Krivulin N.K., Sorokin V.N.

Abstract

A complete solution is proposed for the problem of minimizing a function defined on vectors with elements in a tropical (idempotent) semifield. The tropical optimization problem under consideration arises, for example, when we need to find the best (in the sense of the Chebyshev metric) approximate solution to tropical vector equations and occurs in various applications, including scheduling, location, and decision-making problems. To solve the problem, the minimum value of the objective function is determined, the set of solutions is described by a system of inequalities, and one of the solutions is obtained. Thereafter, an extended set of solutions is constructed using the sparsification of the matrix of the problem, and then a complete solution in the form of a family of subsets is derived. Procedures that make it possible to reduce the number of subsets to be examined when constructing the complete solution are described. It is shown how the complete solution can be represented parametrically in a compact vector form. The solution obtained in this study generalizes known results, which are commonly reduced to deriving one solution and do not allow us to find the entire solution set. To illustrate the main results of the work, an example of numerically solving the problem in the set of three-dimensional vectors is given.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):66-76
pages 66-76 views

Frequency-Domain Criterion for the Global Stability of Dynamical Systems with Prandtl Hysteresis Operator

Leonov G.A., Aleksandrov K.D.

Abstract

In the present paper, dynamical systems with Prandtl hysteresis operator are considered. For the class of dynamical systems under consideration, a frequency-domain global stability criterion is formulated and proved. For a second-order dynamical system with Prandtl operator, we demonstrate the advantage of the obtained criterion as compared to the well-known criterion derived by Logemann and Ryan.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):77-81
pages 77-81 views

The Speed-Gradient Algorithm in the Inverse Stoker Problem for a Synchronous Electric Machine

Plotnikov S.A., Fradkov A.L., Shepeljavyi A.I.

Abstract

The problem of control of the number of cycle slippings of an electric machine rotor by means of an external moment is considered by the example of a simple mathematical model. The speed-gradient method with the objective function determined by the oscillation energy function is applied to solve this problem. The use of quite a small control is a feature of this approach, which helps to save energy. We have developed an algorithm to control oscillations of an electric machine rotor, so that the rotor performs a predetermined number of cycle slippings. The simulation results illustrate the efficiency of the suggested algorithm.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):82-86
pages 82-86 views

A Multidimensional Nonautonomous Equation Containing a Product of Powers of Partial Derivatives

Rakhmelevich I.V.

Abstract

A class of multidimensional differential equations containing products of powers of partial derivatives of any order is considered. Solutions with additive, multiplicative, and combined separation of variables are obtained. A family of pseudopolynomial solutions expressed in terms of polynomials in independent variables with arbitrary coefficients and functions being solutions of certain ordinary differential equations is also obtained. Solutions of the type of traveling wave and self-similar solutions, as well as families of solutions having the form of a sum or a product of solutions of the type of a traveling wave and self-similar solutions, are found. Finally, solutions that can be represented as functions of more complicated arguments expressed in terms of linear combinations and products of the initial independent variables are found. For all of the obtained solutions, conditions on the righthand side of the equation and its parameters under which these solutions exist are determined.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):87-94
pages 87-94 views

The Analysis of the Heat Transfer Effect on the Thermoelastic Response of Metals under Pulsed Laser Impact

Zimin B.A., Sventitskaya V.E., Sudenkov Y.V.

Abstract

This paper presents an analysis of the effect of heat transfer in metals on the parameters of their thermal stresses caused by pulsed laser impact. The dynamic problem of thermoelasticity is regarded as a two-stage process. The first stage of the process is determined by the time of action of the radiation pulse; the second stage depends on the dynamics of the heat transfer process after the end of action of the laser pulse. It is shown that the analysis of stresses at the heat transfer stage based on the traditional system of thermoelasticity equations allows an adequate description of experimental results. The tensile stresses formed at the heat transfer stage lead to the possibility for metallic objects to move toward the heat source.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):95-100
pages 95-100 views

On Vector Form of Differential Variational Principles of Mechanics

Soltakhanov S.K., Shugaylo T.S., Yushkov M.P.

Abstract

We introduce variation of a vector δx which can be interpreted either as a virtual displacement of a system, or as variation of the velocity of a system, or as variation of the acceleration of a system. This vector is used to obtain a unified form of differential variational principles of mechanics from the scalar representative equations of motion. Conversely, this notation implies the original equations of motion, which enables one to consider the obtained scalar products as principles of mechanics. Using the same logical scheme, one constructs a differential principle on the basis of the vector equation of constrained motion of a mechanical system. In this form of notation, it is proposed to conserve the zero scalar products of reactions of ideal constraints and the vector δx. This enables one to obtain also the equations involving generalized constrained forces from this form of notation.

Vestnik St. Petersburg University, Mathematics. 2018;51(1):101-105
pages 101-105 views