开放存取 开放存取  受限制的访问 ##reader.subscriptionAccessGranted##  受限制的访问 订阅存取

卷 50, 编号 3 (2017)

Mathematics

Charged ball method for solving some computational geometry problems

Abbasov M.

摘要

The concept of replacement of the initial stationary optimization problem with some nonstationary mechanical system tending with time to the position of equilibrium, which coincides with the solution of the initial problem, makes it possible to construct effective numerical algorithms. First, differential equations of the movement should be derived. Then we pass to the difference scheme and define the iteration algorithm. There is a wide class of optimization methods constructed in such a way. One of the most known representatives of this class is the heavy ball method. As a rule, such type of algorithms includes parameters that highly affect the convergence rate. In this paper, the charged ball method, belonging to this class, is proposed and investigated. It is a new effective optimization method that allows solving some computational geometry problems. A problem of orthogonal projection of a point onto a convex closed set with a smooth boundary and the problem of finding the minimum distance between two such sets are considered in detail. The convergence theorems are proved, and the estimates for the convergence rate are found. Numerical examples illustrating the work of the proposed algorithms are given.

Vestnik St. Petersburg University, Mathematics. 2017;50(3):209-216
pages 209-216 views

Two-dimensional homogeneous cubic systems: Classification and normal forms: IV

Basov V., Chermnykh A.

摘要

This article is the fourth in a series of works devoted to two-dimensional cubic homogeneous systems. It considers a case when a homogeneous polynomial vector in the right-hand part of the system has a quadratic common factor with complex zeros. A set of such systems is divided into classes of linear equivalence, wherein the simplest system is distinguished on the basis of properly introduced structural and normalization principles, being, thus, the third-order normal form. In fact, such a form is defined by a matrix of its right-hand part coefficients, which is called the canonical form (CF). Each CF has its own arrangement of nonzero elements, their specific normalization and canonical set of permissible values for the nonnormalized elements, which relates CF to a selected class of equivalence. In addition, each CF is characterized by: (1) conditions imposed on the coefficients of the initial system, (2) nonsingular linear substitutions that transform the right-hand part of the system under these conditions into a selected CF, and (3) obtained values of CF’s nonnormalized elements. Refs 9.

Vestnik St. Petersburg University, Mathematics. 2017;50(3):217-234
pages 217-234 views

On stability of zero solution of an essentially nonlinear second-order differential equation

Bibikov Y., Pliss V., Trushina N.

摘要

Small periodic (with respect to time) perturbations of an essentially nonlinear differential equation of the second order are studied. It is supposed that the restoring force of the unperturbed equation contains both a conservative and a dissipative part. It is also supposed that all solutions of the unperturbed equation are periodic. Thus, the unperturbed equation is an oscillator. The peculiarity of the considered problem is that the frequency of oscillations is an infinitely small function of the amplitude. The stability problem for the zero solution is considered. Lyapunov investigated the case of autonomous perturbations. He showed that the asymptotic stability or the instability depends on the sign of a certain constant and presented a method to compute it. Liapunov’s approach cannot be applied to nonautonomous perturbations (in particular, to periodic ones), because it is based on the possibility to exclude the time variable from the system. Modifying Lyapunov’s method, the following results were obtained. “Action–angle” variables are introduced. A polynomial transformation of the action variable, providing a possibility to compute Lyapunov’s constant, is presented. In the general case, the structure of the polynomial transformation is studied. It turns out that the “length” of the polynomial is a periodic function of the exponent of the conservative part of the restoring force in the unperturbed equation. The least period is equal to four.

Vestnik St. Petersburg University, Mathematics. 2017;50(3):235-241
pages 235-241 views

Explicit constructions and the arithmetic of local number fields

Vostokov S., Afanas’eva S., Bondarko M., Volkov V., Demchenko O., Ikonnikova E., Zhukov I., Nekrasov I., Pital’ P.

摘要

This is a survey of results obtained by members of the St. Petersburg school of local number theory headed by S.V. Vostokov during the past decades. All these results hardly fit into the title of the paper, since they involve a large circle of ideas, which are applied to an even larger class of problems of modern number theory. The authors tried to cover at least a small part of them, namely, those related to the modern approach to explicit expressions of the Hilbert symbol for nonclassical formal modules in the one- and higher-dimensional cases and their applications in local arithmetic geometry and ramification theory.

Vestnik St. Petersburg University, Mathematics. 2017;50(3):242-264
pages 242-264 views

On one complement to the Hölder inequality: I

Ivanov B.

摘要

Let m ≥ 2, the numbers p1,…, pm ∈ (1, +∞] satisfy the inequality \(\frac{1}{{{p_1}}} + ...\frac{1}{{{p_m}}} < 1\), and γ1 ∈ Lp1(ℝ1), …, γm\({L^{{p_m}}}\)(ℝ1). We prove that, if the set of “resonance” points of each of these functions is nonempty and the “nonresonance” condition holds (both concepts have been introduced by the author for functions of spaces Lp(ℝ1), p ∈ (1, +∞]), we have the inequality \(\mathop {\sup }\limits_{a,b \in {R^1}} \left| {\int\limits_a^b {\prod\limits_{k = 1}^m {\left[ {{\gamma _k}\left( \tau \right) + \Delta {\gamma _k}\left( \tau \right)} \right]} d\tau } } \right| \leqslant C{\prod\limits_{k = 1}^m {\left\| {{\gamma _k} + \Delta {\gamma _k}} \right\|} _{L_{{a_k}}^{{p_k}}}}\left( {{\mathbb{R}^1}} \right)\), where the constant C > 0 is independent of functions \(\Delta {\gamma _k} \in L_{{a_k}}^{{p_k}}\left( {{\mathbb{R}^1}} \right)\) and \(L_{{a_k}}^{{p_k}}\left( {{\mathbb{R}^1}} \right) \subset {L^{{p_k}}}\left( {{\mathbb{R}^1}} \right)\), 1 ≤ km are some specially constructed normed spaces. In addition, we give a boundedness condition for the integral of the product of functions over a subset of ℝ1.

Vestnik St. Petersburg University, Mathematics. 2017;50(3):265-273
pages 265-273 views

Solution of mathematical programming problems using tropical optimization methods

Krivulin N., Romanovsky J.

摘要

This paper deals with a class of mathematical programming problems that includes linear and nonlinear programming problems in a particular form. First, a linear programming problem is considered, and the possibility of deriving its direct complete solution in terms of traditional mathematics without using known iterative computational procedures and algorithms of linear programming, such as the simplex method, is studied. Direct solutions to the problem in the case of minimal dimension with a reduced set of constraints are proposed. It is shown that the derivation of such solutions, as dimension increases, becomes a very complicated problem with increasing dimension and, therefore, is hardly feasible. Some examples of other linear and nonlinear programming problems, which can be obtained from the above-considered problem by means of isomorphic transformations, are presented. The main definitions and preliminary results of tropical mathematics, which are required for the subsequent description and application of tropical optimization methods, are then outlined. A tropical optimization problem is formulated, and direct complete solutions of this problem and of its special cases are given. The above-formulated linear and nonlinear programming problems are reduced to a tropical optimization problem to provide their direct complete solution in terms of tropical mathematics. The solution of the linear programming problem with a reduced set of constraints is written in terms of traditional mathematics.

Vestnik St. Petersburg University, Mathematics. 2017;50(3):274-281
pages 274-281 views

Comparison of numbers of records in the sequences of discrete and continuous random variables

Nevzorov V.

摘要

Different record achievements are fixed in many domains of human activities. This process very often happens with some rate of digitization (up to seconds, meters, or thousands of individuals) of the observed results. By the examples of exponential and geometrical distributions, it is shown how such a type of the transitions from continuous to discrete distributions may vary the numbers of the record values in the corresponding sequences of the random variables.

Vestnik St. Petersburg University, Mathematics. 2017;50(3):282-286
pages 282-286 views

On inequalities for probabilities wherein at least r from n events occur

Frolov A.

摘要

Upper and lower estimates are obtained for probabilities wherein at least r from n events occur. The inequalities may turn to equalities. Similar inequalities are obtained for conditional probabilities with respect to a σ-field of events. Taking expectations from both parts of the specified inequalities, one can refine the estimates for the considered unconditional probabilities.

Vestnik St. Petersburg University, Mathematics. 2017;50(3):287-296
pages 287-296 views

Mechanics

Dynamics of a Stewart platform

Andrievskiy B., Arseniev D., Zegzhda S., Kazunin D., Kuznetsov N., Leonov G., Tovstik P., Tovstik T., Yushkov M.

摘要

The kinematics and dynamics of a Stewart platform supported by six pneumocylinders are considered. The differential equations of motion are written, and the forces providing the fulfillment of the formulated law of motion are calculated. The inertia and weight of pneumocylinders are introduced into consideration to refine the equations of motion. The obtained equations are used to study the motion of a loaded Stewart platform, providing the stability of this motion by means of feedback control. Some numerical examples are given.

Vestnik St. Petersburg University, Mathematics. 2017;50(3):297-309
pages 297-309 views

Dynamics of a rod undergoing a longitudinal impact by a body

Belyaev A., Ma C., Morozov N., Tovstik P., Tovstik T., Shurpatov A.

摘要

A longitudinal elastic impact caused by a body on a thin rod is considered. The results of theoretical, finite element, and experimental approaches to solving the problem are compared. The theoretical approach takes into account both the propagation of longitudinal waves in the rod and the local deformations described in the Hertz model. This approach leads to a differential equation with a delayed argument. The three-dimensional dynamic problem is considered in terms of the finite element approach in which the wave propagation and local deformation are automatically taken into account. A benchmark test of these two approaches showed a complete qualitative and satisfactory quantitative agreement of the results concerning the contact force and the impact time. In the experiments, only the impact time was determined. The comparison of the measured impact time with the theoretical and finite element method’s results was satisfactory. Owing to the fact that the tested rod was relatively short, the approximate model with two degrees of freedom was also developed to calculate the force and the impact time. The problem of excitation of transverse oscillation after the rebound of the impactor off the rod is solved. For the parametric resonance, the motion has a character of beats at which the energy of longitudinal oscillation is transferred into the energy of transverse oscillation and vice versa. The estimate for the maximum possible amplitude of transverse oscillation is obtained.

Vestnik St. Petersburg University, Mathematics. 2017;50(3):310-317
pages 310-317 views

Astronomy

Stokes constants of an oblate ellipsoid of revolution with equidensites homothetic to its surface

Kholshevnikov K., Milanov D., Shaidulin V.

摘要

The theory of equilibrium figures was actively developed in the 19th century, when it was found that the observed massive celestial bodies (the Sun, planets, and satellites) had an almost ellipsoidal form. The existence of exactly ellipsoidal figures was also established. The gravitational potential of these figures is represented by a Laplace series with its coefficients (Stokes’ constants In) determined by some integral operator. The general term of the series was found for a homogeneous ellipsoid of revolution and the first terms of the series were found for some other mass distributions. Here, we have obtained the general term of the series for an arbitrary mass distribution given that the equidensites (surfaces of equal density) are homothetic to the outer surface of the ellipsoid of revolution. Simple estimates and an asymptotics of In have also been obtained.

Vestnik St. Petersburg University, Mathematics. 2017;50(3):318-324
pages 318-324 views