


Vol 103, No 3-4 (2018)
- Year: 2018
- Articles: 37
- URL: https://journal-vniispk.ru/0001-4346/issue/view/9007
Article
A Functional Limit Theorem for Decomposable Branching Processes with Two Particle Types
Abstract
A decomposable Galton–Watson branching process with two particle types is studied. It is assumed that the particles of the first type produce equal numbers of particles of the first and second types, while the particles of the second type produce only particles of their own type. Under the condition that the total number of particles of the second type is greater than N →∞, a functional limit theorem for the process describing the number of particles of the first type in different generations is proved.



Embeddings of Spaces of Functions of Positive Smoothness on Irregular Domains in Lebesgue Spaces
Abstract
An embedding theorem for spaces of functions of positive smoothness defined on irregular domains of n-dimensional Euclidean space in Lebesgue spaces is proved. The statement of the theorem depends on the geometric parameters of the domains of the functions.



Representations of the Klein Group Determined by Quadruples of Polynomials Associated with the Double Confluent Heun Equation
Abstract
The canonical representation of the Klein group K4 = ℤ2⊕ℤ2 on the space ℂ* = ℂ {0} induces a representation of this group on the ring L = C[z, z−1], z ∈ ℂ*, of Laurent polynomials and, as a consequence, a representation of the group K4 on the automorphism group of the group G = GL(4,L) by means of the elementwise action. The semidirect product ĜG = GK4 is considered together with a realization of the group Ĝ as a group of semilinear automorphisms of the free 4-dimensional L-module M4. A three-parameter family of representations R of K4 in the group Ĝ and a three-parameter family of elements X ∈ M4 with polynomial coordinates of degrees 2(ℓ − 1), 2ℓ, 2(ℓ − 1), and 2ℓ, where ℓ is an arbitrary positive integer (one of the three parameters), are constructed. It is shown that, for any given family of parameters, the vector X is a fixed point of the corresponding representation R. An algorithm for calculating the polynomials that are the components of X was obtained in a previous paper of the authors, in which it was proved that these polynomials give explicit formulas for automorphisms of the solution space of the doubly confluent Heun equation.






Certain Partial Conservativeness Properties of Intuitionistic Set Theory with the Principle of Double Complement of Sets
Abstract
The Zermelo–Fraenkel set theory with the underlying intuitionistic logic (for brevity, we refer to it as the intuitionistic Zermelo–Fraenkel set theory) in a two-sorted language (where the sort 0 is assigned to numbers and the sort 1, to sets) with the collection scheme used as the replacement scheme of axioms (the ZFI2C theory) is considered. Some partial conservativeness properties of the intuitionistic Zermelo–Fraenkel set theory with the principle of double complement of sets (DCS) with respect to a certain class of arithmetic formulas (the class all so-called AEN formulas) are proved. Namely, let T be one of the theories ZFI2C and ZFI2C + DCS. Then (1) the theory T+ECT is conservative over T with respect to the class of AEN formulas; (2) the theory T+ECT+M is conservative over T+M{su−} with respect to the class of AEN formulas. Here ECT stands for the extended Church’s thesis, Mis the strong Markov principle, and M{su−} is the weak Markov principle. The following partial conservativeness properties are also proved: (3) T+ECT+M is conservative over T with respect to the class of negative arithmetic formulas; (4) the classical theory ZF2 is conservative over ZFI2C with respect to the class of negative arithmetic formulas.



Asymptotic Solution of the Cauchy Problem for a First-Order Equation with a Small Parameter in a Banach Space. The Regular Case
Abstract
The paper is devoted to the study of the solution of the Cauchy problem for a first-order differential equation in a Banach space with a small parameter on the right-hand side perturbing the equation. The coefficient of the derivative of the unknown function is a Fredholm operator with index zero and one-dimensional kernel. The case of a regular pair of operator coefficients is considered. An asymptotic expansion of the solution of the problem is constructed by using a method due to Vasil’eva, Vishik, and Lyusternik. In calculating the components of the regular and boundary-layer parts of the expansion, the cascade decomposition of the equations is used. It is proved that this expansion is asymptotic. Conditions for regular degeneration are found. The behavior of the solution as the parameter tends to zero is studied.



On the Dimension of Preimages of Certain Paracompact Spaces
Abstract
It is proved that if X is a normal space which admits a closed fiberwise strongly zero-dimensional continuous map onto a stratifiable space Y in a certain class (an S-space), then IndX = dimX. This equality also holds if Y is a paracompact σ-space and ind Y = 0. It is shown that any closed network of a closed interval or the real line is an S-network. A simple proof of the Kateˇ tov–Morita inequality for paracompact σ-spaces (and, hence, for stratifiable spaces) is given.



Almost Empty Monochromatic Quadrilaterals in Planar Point Sets
Abstract
For positive integers c, s ≥ 1, r ≥ 3, let Wr(c, s) be the least integer such that if a set of at least Wr(c, s) points in the plane, no three of which are collinear, is colored with c colors, then this set contains a monochromatic r-gon with at most s interior points. As is known, if r = 3, then Wr(c, s)=Wr(c, s). In this paper, we extend these results to the case r = 4. We prove that W4(2, 1) = 11, W4(3, 2) ≤ 120, and the least integer μ4(c) such that W4(c, μ4(c)) < ∞ is bounded by \(\left\lfloor {\frac{{c - 1}}{2}} \right\rfloor \cdot 2 \leqslant \mu 4\left( c \right) \leqslant 2c - 3\),where c ≥ 2.






On the Curvature Properties of Manifolds with Deformed G2 Structures
Abstract
In this paper, we study the curvature properties of a manifold with structure group G2 whose fundamental 3-form is deformed by a Killing vector field of unit length. We obtain some results concerning conditions under which this manifold is flat, Einstein, or isometric to the unit sphere.



A Model of Random Sales
Abstract
It is shown by using a model that even a minor change in prices made by the seller is sufficient to coordinate the actions of independent purchasers so that they act as a single economic agent pursuing the aim of maximizing the effective utility function.



Bringing Closed Polygonal Curves in the Plane to Normal Form via Local Moves
Abstract
We define normal forms of regular closed polygonal curves in R2, prove that any such curve can be taken to normal form by a regular homotopy, construct two different algorithms (implemented in computer animations) designed to take a given curve to normal form via local moves, present experimental results confirming that this almost always happens, and explain the biological motivation behind the algorithms, as well as their biological interpretation.



The Second Boundary-Value Problem in a Half-Strip for a Parabolic-Type Equation with Bessel Operator and Riemann–Liouville Partial Derivative
Abstract
We study the second boundary-value problem in a half-strip for a differential equation with Bessel operator and the Riemann–Liouville partial derivative. In the case of a zero initial condition, a representation of the solution is obtained in terms of the Fox H-function. The uniqueness of the solution is proved for the class of functions satisfying an analog of the Tikhonov condition.



A Note on Campanato Spaces and Their Applications
Abstract
In this paper, we obtain a version of the John–Nirenberg inequality suitable for Campanato spaces Cp,β with 0 < p < 1 and show that the spaces Cp,β are independent of the scale p ∈ (0,∞) in sense of norm when 0 < β < 1. As an application, we characterize these spaces by the boundedness of the commutators [b,Bα]j (j = 1, 2) generated by bilinear fractional integral operators Bα and the symbol b acting from Lp1 × Lp2 to Lq for p1, p2 ∈ (1,∞), q ∈ (0,∞) and 1/q = 1/p1 + 1/p2 − (α + β)/n.



Hyperbolicity for Conservative Diffeomorphisms
Abstract
This paper introduces the notion of robust hyperbolicity along periodic orbits homoclinically related to p (RNUHP) for conservative diffeomorphisms. It is proved that if f ∈ Diff1+m (M) is RNUHP, then f is Anosov. It is also shown that f admits a dominated splitting, provided that f is expansive conservative stable.






Stability of Discontinuous Groups Acting on Homogeneous Spaces
Abstract
Suppose given a nilpotent connected simply connected Lie group G, a connected Lie subgroup H of G, and a discontinuous group Γ for the homogeneous space M = G/H. In this work we study the topological stability of the parameter space R(Γ,G,H) in the case where G is three-step. We prove a stability theorem for certain particular pairs (Γ,H). We also introduce the notion of strong stability on layers making use of an explicit layering of Hom(Γ,G) and study the case of Heisenberg groups.



On Singular Points of Meromorphic Functions Determined by Continued Fractions
Abstract
It is shown that Leighton’s conjecture about singular points of meromorphic functions represented by C-fractions K∞n=1(anzαn/1) with exponents α1, α2,... tending to infinity, which was proved by Gonchar for a nondecreasing sequence of exponents, holds also for meromorphic functions represented by continued fractions K∞n=1(anAn(z)/1), where A1,A2,... is a sequence of polynomials with limit distribution of zeros whose degrees tend to infinity.



Asymptotics of the Modules of Mirror Symmetric Doubly Connected Domains under Stretching
Abstract
An asymptotic formula for the conformal module of a doubly connected domain symmetric about the abscissa axis under an unbounded stretching in the direction of this axis is obtained. Thereby, in the case of symmetric domains, a question asked by Vuorinen is answered.



Positive Definiteness of Complex Piecewise Linear Functions and Some of Its Applications
Abstract
Given α ∈ (0, 1) and c = h + iβ, h, β ∈ R, the function fα,c: R → C defined as follows is considered: (1) fα,c is Hermitian, i.e., \({f_{\alpha ,c}}\left( { - x} \right)\overline {{f_{\alpha ,c}}\left( x \right)} ,x \in \mathbb{R};\), x ∈ R; (2) fα,c(x) = 0 for x > 1; moreover, on each of the closed intervals [0, α] and [α, 1], the function fα,c is linear and satisfies the conditions fα,c(0) = 1, fα,c(α) = c, and fα,c(1) = 0. It is proved that the complex piecewise linear function fα,c is positive definite on R if and only if m(α) ≤ h ≤ 1 − α and |β| ≤ γ(α, h), \(where m\left( \alpha \right) = \left\{ \begin{gathered} 0if1/\alpha \notin \mathbb{N}, \hfill \\ - \alpha if1/\alpha \in \mathbb{N}. \hfill \\ \end{gathered} \right.\) If m(α) ≤ h ≤ 1 − α and α ∈ Q, then γ(α, h) > 0; otherwise, γ(α, h) = 0. This result is used to obtain a criterion for the complete monotonicity of functions of a special form and prove a sharp inequality for trigonometric polynomials.



Majorant Method for the Evolution Differential Equations in Sequence Spaces
Abstract
We consider evolution differential equations in sequence spaces and construct a version of the majorant function method to prove existence theorems. We also develop a theory of lower estimates. This theory allows us to study instability and blowups. Applications to stability theory are discussed.



Hadamard Decompositions of Nearly Commutative Algebras
Abstract
The notion of Hadamard decomposition of a semisimple associative finite-dimensional complex algebra generalizes the notion of the classical Hadamard matrix, which corresponds to the case of a commutative algebra. Algebras admitting Hadamard decompositions are said to be Hadamard. The paper considers the structure of Hadamard decompositions of algebras all of whose irreducible characters are of degree 1 except one character of degree 2. In particular, it is shown how to construct an Hadamard matrix of order n by using the Hadamard decomposition of such an algebra of dimension n.



Remarks on Weak-Type Estimates for Certain Grand Square Functions
Abstract
In this note we extend weak-type estimates obtained recently by A. K. Lerner to certain grand square functions by using a simple argument in terms of real variables. In this way, we improve a weak-type L1-estimate for grand Littlewood–Paley operators due to N. N. Osipov.



The Groups G2n with Additional Structures
Abstract
In the paper [1], V. O. Manturov introduced the groups Gkn depending on two natural parameters n > k and naturally related to topology and to the theory of dynamical systems. The group G2n, which is the simplest part of Gkn, is isomorphic to the group of pure free braids on n strands. In the present paper, we study the groups G2n supplied with additional structures–parity and points; these groups are denoted by G2n,p and G2n,d. First,we define the groups G2n,p and G2n,d, then study the relationship between the groups G2n, G2n,p, and G2n,d. Finally, we give an example of a braid on n + 1 strands, which is not the trivial braid on n + 1 strands, by using a braid on n strands with parity. After that, the author discusses links in Sg × S1 that can determine diagrams with points; these points correspond to the factor S1 in the product Sg × S1.



An Approach to the Study of Finitely Presented Groups Based on the Notion of Discrete Curvature
Abstract
A sufficient condition for the hyperbolicity of a group presented in terms of generators and defining relations is considered. The condition is formulated in terms of the negativity of a discrete analog of curvature for the Lyndon–van Kampen diagrams over a presentation of a group and is a generalization of the small cancellation condition.



Energy Corresponding to the Change of Spin
Abstract
A relation between the jump of spin and the corresponding jump of energy is derived. This relation is used to determine the binding energy of the nucleus and the “entanglement” energy between two bosons. The latter is shown to be inversely proportional to the area in the two-dimensional case.



The Measure of the Set of Zeros of the Sum of a Nondegenerate Sine Series with Monotone Coefficients in the Closed Interval [0, π]
Abstract
Nonzero sine series with monotone coefficients tending to zero are considered. It is shown that the measure of the set of those zeros of such a series which belong to [0, π] cannot exceed π/3. Moreover, if this value is attained, then almost all zeros belong to the closed interval [2π/3, π].






Unconditionally Convergent Rational Interpolation Splines
Abstract
Given a continuous function on a closed interval, a sequence of rational interpolation splines is constructed which converges uniformly on this closed interval to the given function for any sequence of grids with step width tending to zero. The derivatives possess this unconditional convergence property as well. Estimates of the rate of convergence are given.



On the Convergence of Block Fourier Series of Functions of Bounded Variation in Two Variables
Abstract
We present a necessary and sufficient condition for the series of absolute values of blocks of Fourier series elements and blocks of series of summands in Parseval’s identity to converge in the class of two-variable functions of bounded variation in the sense of Hardy.



Homomorphically Stable Abelian Groups
Abstract
A group is said to be homomorphically stable with respect to another group if the union of the homomorphic images of the first group in the second group is a subgroup of the second group. A group is said to be homomorphically stable if it is homomorphically stable with respect to every group. It is shown that a group is homomorphically stable if it is homomorphically stable with respect to its double direct sum. In particular, given any group, the direct sum and the direct product of infinitely many copies of this group are homomorphically stable; all endocyclic groups are homomorphically stable as well. Necessary and sufficient conditions for the homomorphic stability of a fully transitive torsion-free group are found. It is proved that a group is homomorphically stable if and only if so is its reduced part, and a split group is homomorphically stable if and only if so is its torsion-free part. It is shown that every group is homomorphically stable with respect to every periodic group.



Upper Bounds for the Approximation of Certain Classes of Functions of a Complex Variable by Fourier Series in the Space L2 and n-Widths
Abstract
We consider the problem of the mean-square approximation of complex functions regular in a domain D ⊂ C by Fourier serieswith respect to an orthogonal (inD) systemof functions {ϕk(z)}, k = 0, 1, 2,.... For the case inwhich D = {z ∈ C: |z| < 1}, we obtain sharp estimates for the rate of convergence of the Fourier series in the orthogonal system {zk}, k = 0, 1, 2,..., for classes of functions defined by a special mth-order modulus of continuity. Exact values of the series of n-widths for these classes of functions are calculated.



Short Communications
Asymptotics of Jacobi–Piñeiro Polynomials and Functions of the Second Kind



Asymptotic Solutions of One-Dimensional Linear Evolution Equations for Surface Waves with Account for Surface Tension



Calabi–Yau Manifolds with Affine Structures



On Bianalytic Capacities



Mathematical Aspects of the Heap Paradox and the Hidden Parameter


