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

Vol 51, No 4 (2018)

Mathematics

Honda Formal Module in an Unramified p-Extension of a Local Field as a Galois Module

Hakobyan T.L., Vostokov S.V.

Abstract

For a fixed rational prime number p, consider a chain of finite extensions of fields K0/ℚp, K/K0, L/K, and M/L, where K/K0 is an unramified extension and M/L is Galois extension with Galois group G. Suppose that a one-dimensional Honda formal group F over the ring \(\mathcal{O}_K\) relative to the extension K/K0 and a uniformizing element π ∈ K0 is given. This paper studies the structure of \(F(\mathfrak{m}_M)\) as an \(\mathcal{O}_{K_0}\)[G]-module for an unramified p-extension M/L provided that \(W_F\cap{F({\frak{m}}_L)}=W_F\cap{F({\frak{m}}_M)}=W_F^s\) for some s ≥ 1, where WFs is the πs-torsion and WF = ∪n=1WFn is the complete π-torsion of a fixed algebraic closure Kalg of the field K.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):317-321
pages 317-321 views

The Problem of Selfish Parking

Ananjevskii S.M., Kryukov N.A.

Abstract

One of the models of discrete analog of the Rényi problem known as the “parking problem” has been considered. Let n and i be integers, n ≥ 0, and 0 ≤ in–1. Open interval (i, i + 1), where i is a random variable taking values 0, 1, 2, …, and n–1 for all n ≥ 2 with equal probability, is placed on interval [0, n]. If n < 2, we say that the interval cannot be placed. After placing the first interval, two free intervals [0, i] and [i + 1, n] are formed, which are filled with intervals of unit length according to the same rule, independently of each other, etc. When the filling of [0, n] with unit intervals is completed, the distance between any two neighboring intervals does not exceed 1. Let Xn be the number of placed intervals. This paper analyzes the asymptotic behavior of moments of random variable Xn. Unlike the classical case, exact expressions for the first moments can be found.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):322-326
pages 322-326 views

Two-Dimensional Homogeneous Cubic Systems: Classifications and Normal Forms – V

Basov V.V., Chermnykh A.S.

Abstract

The present article is the fifth in a cycle of papers dedicated to two-dimensional homogeneous cubic systems. It considers a case when the homogeneous polynomial vector in the right-hand part of the system has a linear common factor. A set of such systems is divided into classes of linear equivalence, wherein the simplest system being a third-order normal form is distinguished based on properly introduced principles. Such a form is defined by the matrix of its right-hand part coefficients, which is called the canonical form (CF). Each CF has its own arrangement of non-zero elements, their specific normalization, and canonical set of permissible values for the unnormalized elements, which relates the CF to the selected class of equivalence. In addition to classification, each CF is provided with: (a) conditions on the coefficients of the initial system, (b) non-singular linear substitutions that reduce the right-hand part of the system under these conditions to the selected CF, (c) obtained values of CF’s unnormalized elements.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):327-342
pages 327-342 views

On the History of the St. Petersburg School of Probability and Statistics. III. Distributions of Functionals of Processes, Stochastic Geometry, and Extrema

Borodin A.N., Davydov Y.A., Nevzorov V.B.

Abstract

This is the third paper in a series of reviews devoted to the scientific achievements of the Leningrad–St. Petersburg School of Probability and Statistics in 1947–2017. The paper deals with the studies on functionals of random processes, some problems of stochastic geometry, and problems associated with ordered systems of random variables. The first sections of the paper are devoted to the problems of calculating the distributions of various functionals of Brownian motion and consider the so-called invariance principles for Brownian local times and random walks. The second part is dedicated to limit theorems for weakly dependent random variables and local limit theorems for stochastic functionals. It provides information about the stratification method and the local invariance principle. The asymptotic behavior of the convex hulls of random samples of increasing size and limit theorems for random zonotopes are also considered. An important relation between Poisson point processes and stable distributions is explained. The final part presents extensive information on research related to ordered systems of random variables. The maxima of sequential sums, order statistics, and record values are analyzed in detail.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):343-359
pages 343-359 views

Synthesis of Stabilization Control on Outputs for a Class of Continuous and Pulse-Modulated Undefined Systems

Zuber I.E., Gelig A.K.

Abstract

Consider system

\(\left\{ {\begin{array}{*{20}{c}} {{{\dot x}_1} = {\varphi _1}(.) + {\rho _1}{x_{l + 1}},} \\ {{{\dot x}_m} = {\varphi _m}(.) + {\rho _m}{x_n},} \\ {{{\dot x}_{m + 1}} = {\varphi _{m + 1}}(.) + {\mu _1},} \\ {{{\dot x}_n} = {\varphi _n}(.) + {\mu _1},} \end{array}} \right.\)
where x1, …, and xn is the state of the system, u1, …, and ul are controls, n/l is not an integer, and l ≥ 2. It is supposed that only outputs x1, …, and xl are measurable, (l > n) and ϕi(·) are non-anticipating arbitrary functionals, and 0 < ρ–≤ ρi (t, x1, …, and xl) ≤ ρ+. Using the backstepping method, we construct the square Lyapunov function and stabilize the control for the global exponential stability of the closed loop system. The stabilization by means of synchronous modulators with a sufficiently high impulsion frequency is considered as well.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):360-366
pages 360-366 views

An Estimate for the Number of Periodical Trajectories of the Given Period for Mapping of an Interval, Lucas Numbers, and Necklaces

Ivanov O.A.

Abstract

In 1964, A.N. Sharkovskii published an article in which he introduced a special ordering on the set of positive integers. This ordering has the property that if pq and a mapping of a closed bounded interval into itself has a point of period p, then it has a point of period q. The least number with respect to this ordering is 3. Thus, if a mapping has a point of period 3, then it has points of any periods. In 1975, the latter result was rediscovered by Li and Yorke, who published the paper “Period Three Implies Chaos.” In the present paper, an exact lower bound for the number of trajectories of a given period for a mapping of a closed bounded interval into itself having a point of period 3 is given. The key point of the reasoning consisted in solution of a combinatorial problem the answer to which is expressed in terms of Lucas numbers. As a consequence, an explicit formula for the number of necklaces of a special type is obtained. We also consider a piecewise linear unimodular mapping of [0, 1] into itself for which it is possible to find points of an arbitrary given period.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):367-372
pages 367-372 views

Relation of the Böttcher Equation with the Parametrized Poisson Integral

Kalnitskii V.S., Petrov A.N.

Abstract

The Böttcher functional equation and one of its real generalizations are considered. It is shown that, in some situations, after finding a solution of the generalized equation, other solutions can also be obtained. For example, a three-parameter family of real functional equations for a function of two arguments is described, for which solutions are found. The generalization described has wide application. Many quantities after an appropriately introduced parameterization satisfy the generalized Böttcher equation as functions of parameters. As an illustration, two-parametric families generated by the determinant of a linear combination of second-order matrices are presented. It is shown that the parameterized Poisson integral as a function of its parameters satisfies the generalized Böttcher equation. This made it possible to calculate the Poisson integral and the Euler integral in a new way. In addition, the calculation of the Poisson integral by the method of integral sums is described.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):373-379
pages 373-379 views

Examples of the Best Piecewise Linear Approximation with Free Nodes

Malozemov V.N., Tamasyan G.S.

Abstract

The monograph published by E.Ya. Remez in 1957 addressed numerical methods with Chebyshev approximations. Particularly, the problem of the best uniform approximation of a function that is convex on an interval with continuous piecewise linear functions with free nodes was considered. In 1975, A.M. Vershik, V.N. Malozemov, and A.B. Pevnyi developed a general approach for constructing the best piecewise polynomial approximations with free nodes. The notion of partition with equal deviations was introduced, and it was found that such partition exists and generates the best piecewise polynomial approximation. In addition, a numerical method for constructing a partition with equal deviations was proposed. This paper gives three examples to describe the general approach to solving the problem of the best piecewise linear approximation with free nodes. In the case of an arbitrary continuous function, its best piecewise linear approximation in general is not continuous. It is continuous when approximating strictly convex and strictly concave functions.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):380-385
pages 380-385 views

On One Property of Bounded Complexes of Discrete \(\mathbb{F}_p[\pi]\)-modules

Podkopaev O.B.

Abstract

The aim of this paper is to prove the following assertion: let π be a profinite group and K* be a bounded complex of discret \(\mathbb{F}_p[\pi]\)-modules. Suppose that Hi(K*) are finite Abelian groups. Then, there exists a quasi-isomorphism L* → K*, where L* is a bounded complex of discrete \(\mathbb{F}_p[\pi]\)-modules such that all Li are finite Abelian groups. This is an analog for discrete \(\mathbb{F}_p[\pi]\)-modules of the wellknown lemma on bounded complexes of A-modules (e.g., concentrated in nonnegative degrees), where A is a Noetherian ring, which states that any such complex is quasi-isomorphic to a complex of finitely generated A-modules, that are free with a possible exception of the module lying in degree 0. This lemma plays a key role in the proof of the base-change theorem for cohomology of coherent sheaves on Noetherian schemes, which, in turn, can be used to prove the Grothendieck theorem on the behavior of dimensions of cohomology groups of a family of vector bundles over a flat family of varieties.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):386-390
pages 386-390 views

Inverse Shadowing in Actions of a Baumslag–Solitar Group

Fadeev A.V.

Abstract

In parallel with the shadowing theory (which is now very well-developed), the theory of inverse shadowing has been advanced. The main difference between the two theories is that the shadowing property means that we can find an exact trajectory near an approximate one while inverse shadowing means that, given a family of approximate trajectories, we can find a member of this family that is close to any chosen exact trajectory. We generalize the property of inverse shadowing for group actions and prove the absence of this property for some linear actions of the Baumslag–Solitar group, which is often considered as a source of counterexamples.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):391-396
pages 391-396 views

A Numerical Method for Finding the Optimal Solution of a Differential Inclusion

Fominyh A.V.

Abstract

In the paper, we study a differential inclusion with a given continuous convex multivalued mapping. For a prescribed finite time interval, it is required to construct a solution to the differential inclusion, which satisfies the prescribed initial and final conditions and minimizes the integral functional. By means of support functions, the original problem is reduced to minimizing some functional in the space of partially continuous functions. When the support function of the multivalued mapping is continuously differentiable with respect to the phase variables, this functional is Gateaux differentiable. In the study, the Gateaux gradient is determined and the necessary conditions for the minimum of the functional are obtained. Based on these conditions, the method of steepest descent is applied to the original problem. The numerical examples illustrate the implementation of the constructed algorithm.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):397-406
pages 397-406 views

Existence of Liouvillian Solutions in the Problem of Rolling Motion of a Dynamically Symmetric Ball on a Perfectly Rough Sphere

Kuleshov A.S., Katasonova V.A.

Abstract

The problem of rolling without sliding of a rotationally symmetric rigid body on a motionless sphere is considered. The rolling body is assumed to be subjected to forces whose resultant force is applied to the center of mass G of the body, directed to center O of the sphere, and depends only on the distance between G and O. In this case, the process of solving this problem is reduced to integrating the second-order linear differential equation with respect to the projection of the angular velocity of the body onto its axis of dynamic symmetry. Using the Kovacic algorithm, we search for Liouvillian solutions of the corresponding second-order linear differential equation. We prove that all solutions of this equation are Liouvillian in the case when the rolling rigid body is a nonhomogeneous dynamically symmetric ball. The paper is organized as follows. In the first paragraph, we briefly discuss the statement of the general problem of motion of a rotationally symmetric rigid body on a perfectly rough sphere. We prove that this problem is reduced to solving the second-order linear differential equation. In the second paragraph, we find Liouvillian solutions to this equation for the case when the rolling rigid body is a dynamically symmetric ball.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):407-412
pages 407-412 views

Energy Dissipation during Vibrations of Heterogeneous Composite Structures: 2. Method of Solution

Parshina L.V., Ryabov V.M., Yartsev B.A.

Abstract

This paper describes the method of numerical solution of decaying vibration equations for heterogeneous composite structures. The system of algebraic equations is generated by applying the Ritz method with Legendre polynomials as coordinate functions. First, real solutions are found. To find complex natural frequencies of the system, the obtained real natural frequencies are taken as initial values, and then, by means of the third-order iteration method, complex natural frequencies are calculated. The paper discusses the convergence of numerical solution of the differential equations describing the motion of layered heterogeneous structures, obtained for an unsupported rectangular two-layered plate. The bearing layer of the plate is made of unidirectional CRP, its elastic and dissipation properties within the investigated band of frequencies and temperatures are independent of vibration frequency. The bearing layer has one of its outer surfaces covered with a layer of “stiff” isotropic viscoelastic polymer characterized by a temperature-frequency relationship for the real part of complex Young’s modulus and loss factor. Validation of the mathematical model and numerical solution performed through comparison of calculation results for natural frequencies and loss factor versus test data (for two composition variants of a two-layered unsupported beam) has shown good correlation.

Vestnik St. Petersburg University, Mathematics. 2018;51(4):413-420
pages 413-420 views

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies