


Vol 94, No 2 (2016)
- Year: 2016
- Articles: 32
- URL: https://journal-vniispk.ru/1064-5624/issue/view/13785
Mathematics
An operator equation with the second time derivative and Hamiltonian-admissible equations
Abstract
An operator equation with the second time derivative is represented in the form of a Hamiltonianadmissible equation. A relationship between solutions of Hamiltonian-admissible equations and the corresponding Hamiltonian equations is established.



Regularity theory for one-dimensional variational problems with singular ellipticity
Abstract
In this paper we develop regularity theory for one-dimensional variational problems with singular ellipticity. As is known the classical indirect methods can not be applied in this case since the Euler equation is not defined. However it is still possible to suggest certain direct methods. Such a theory is the content of this paper.






Volumetric material growth: Mathematical theory
Abstract
A mathematical model of isotropic volumetric growth of a thermoelastic material based on a multiplicative representation of the distortion tensor is considered. The model represents a nonlinear compositetype system for determining the displacement field, temperature, and a scalar growth factor (implant). It includes the mechanical equilibrium equation, energy balance equation linearized with respect to temperature, and the implant evolution equation. The displacement and temperatures fields can have discontinuities in time. Rules for selecting physically acceptable solutions are stated. The existence of an almost strong solution satisfying the selection rules is proved.



On a class of Markovian queuing systems described by inhomogeneous birth-and-death processes with additional transitions
Abstract
A class of inhomogeneous Markovian queuing systems with possible catastrophic failures and group arrival of customers in the case of empty queue is considered; basic estimates of the rate of convergence and stability for this class are obtained.



Localizing sets and trajectory behavior
Abstract
The problem is considered of finding domains in the phase space in which the trajectories of a system have a fairly simple behavior determined by a typical scenario. The problem is solved by applying the method of localization of compact invariant sets of the system. It is proved that localizing sets separate simple and complex dynamics of nonlinear systems, namely, in the complement of any localizing set, the trajectory behavior of a system admits a standard description in the form of several scenarios, while, in localizing sets and their intersections, the trajectory behavior of the system can be very complex. Specifically, it is shown that the α- and ω-limit sets of any trajectory are contained in localizing sets.



Riemannian metrics on ℝn and Sobolev-type Inequalities
Abstract
Poincaré-type estimates for a logarithmically concave measure μ on a convex set Ω are obtained. For this purpose, Ω is endowed with a Riemannian metric g in which the Riemannian manifold with measure (Ω, g, μ) has nonnegative Bakry–Emery tensor and, as a corollary, satisfies the Brascamp–Lieb inequality. Several natural classes of metrics (such as Hessian and conformal metrics) are considered; each of these metrics gives new weighted Poincare, Hardy, or log-Sobolev type inequalities and other results.



Operator Newton polynomials and well-solvable problems for generalized Euler equation
Abstract
The study of well-solvable operator equations in a Banach space, which was initiated by the authors in [4, 5], is continued. Namely, it is proved by means of Maslov’s operator method that a polynomial equation with abstract Newton polynomials is well solvable in the sense of Hadamard. The obtained results are applied to prove that a large class of problems for differential equations with variable coefficient having a singularity (such equations are called generalized Euler equations in the paper) are well solvable.



High-order accurate bicompact schemes for solving the multidimensional inhomogeneous transport equation and their efficient parallel implementation
Abstract
The method of lines is used to obtain semidiscrete equations for a bicompact scheme in operator form for the inhomogeneous linear transport equation in two and three dimensions. In each spatial direction, the scheme has a two-point stencil, on which the spatial derivatives are approximated to fourth-order accuracy due to expanding the list of unknown grid functions. This order of accuracy is preserved on an arbitrary nonuniform grid. The equations of the method of lines are integrated in time using diagonally implicit multistage Runge–Kutta methods of the third up fifth orders of accuracy. Test computations on refined meshes are presented. It is shown that the high-order accurate bicompact schemes can be efficiently parallelized on multicore and multiprocessor computers.



Dual Clifford modules
Abstract
A relationship between the space dual to the realification of a module over a Clifford algebra and the realification of the dual of this module is established. This relationship is completely analogous to a similar classical relationship between the space dual to the realification of a complex vector space and the realification of the dual of the given space. On the basis of this relationship, questions concerning extension of linear functionals on Clifford modules, in particular, a counterpart of the Hahn–Banach theorem, are considered.



On the rank of odd hyper-quasi-polynomials
Abstract
Given any nonzero entire function g: ℂ → ℂ, the complex linear space F(g) consists of all entire functions f decomposable as f(z + w)g(z - w)=φ1(z)ψ1(w)+∙∙∙+ φn(z)ψn(w) for some φ1, ψ1, …, φn, ψn: ℂ → ℂ. The rank of f with respect to g is defined as the minimum integer n for which such a decomposition is possible. It is proved that if g is an odd function, then the rank any function in F(g) is even.



Reconstruction of the Hermitian matrix by its spectrum and spectra of some number of its perturbations
Abstract
Explicit formulas for matrix elements of the Hermitian matrix are found through a spectrum of this matrix and spectra of some number of its perturbations. A dependence of sufficient number of perturbations from the structure of the matrix and the kind of perturbations is established. It is shown that for arbitrary matrix needed number of perturbations is of N2, where N is an order of the matrix. In the case, when the number and locations of zero elements of the matrix is known, needed number of perturbations decreases essentially.



S-units in hyperelliptic fields and periodicity of continued fractions
Abstract
Given a polynomial f of odd degree, the nontrivial S-units can be effectively related to the continued fraction expansions of the elements associated with \(\sqrt f \) only in the case where S contains an infinite valuation and a finite valuation determined by first-degree polynomial. A quasi-periodicity criterion for any element of the field of formal power series in a first-degree polynomial is obtained. For key elements, a more accurate criterion is found. The criterion is used to show that, for S specified above, in the presence of a nontrivial S-unit, the expansion of \(\sqrt f \) can be both nonperiodic and periodic. Estimates relating the quasi-period to the degree of the fundamental S-unit are obtained. Examples in which the bounds of these estimates are attained are given.



Monotone approximation of a scalar conservation law based on the CABARET scheme in the case of a sign-changing characteristic field
Abstract
The monotonicity of the CABARET scheme approximating a quasilinear scalar conservation law with a convex flux is analyzed. Monotonicity conditions for this scheme are obtained in domains where the propagation velocity of characteristics of the approximated conservative equation is of constant sign and near sonic lines, at which the propagation velocity of characteristics changes its sign. Test computations illustrating these properties of the CABARET scheme are presented.



On the closeness of trajectories for model quasi-gasdynamic equations
Abstract
On a model example of a linear hyperbolic equation with small parameter multiplying the highest time derivative it is shown that the closeness of individual trajectories to the dynamics of the limiting parabolic equation essentially depends on the Fourier spectra of the initial data. The trajectories stay close if the higher modes decay sufficiently fast. If the initial data are irregular and there are relatively high modes, then the convergence of the trajectories becomes non-uniform. Namely, the boundary layer is formed and there exist small moments of time such that the difference of the solutions reaches in the mean a finite value as the coefficient of the highest time derivative tends to zero. These results reflect the difficulties that may arise in the analysis of the systems of non-linear quasi-gasdynamic equations.






Solution of the unconditional extremum problem for a linear-fractional integral functional on a set of probability measures
Abstract
A new, generalized and strengthened, form of an assertion about an extremum of a linear-fractional integral functional given on a set of probability measures is presented. It is shown that the solution of the extremal problem for such a functional is completely determined by the extremal properties of the so-called test function, which is the ratio of the integrands of the numerator and the denominator. On the basis of this assertion, a theorem on an optimal strategy for controlling a semi-Markov process with a finite set of states is proved. In particular, it is established that if the test function of the objective functional of a control problem attains a global extremum, then an optimal control strategy exists, is deterministic, and is determined by the point of global extremum. The corresponding assertions are also obtained for the case where the test function does not attain the global extremum.



First-order and monadic properties of highly sparse random graphs
Abstract
A random graph is said to obey the (monadic) zero–one k-law if, for any property expressed by a first-order formula (a second-order monadic formula) with a quantifier depth of at most k, the probability of the graph having this property tends to either zero or one. It is well known that the random graph G(n, n–α) obeys the (monadic) zero–one k-law for any k ∈ ℕ and any rational α > 1 other than 1 + 1/m (for any positive integer m). It is also well known that the random graph does not obey both k-laws for the other rational positive α and sufficiently large k. In this paper, we obtain lower and upper bounds on the largest at which both zero–one k-laws hold for α = 1 + 1/m.



Sublinear operators in generalized weighted Morrey spaces
Abstract
Generalized weighted Morrey spaces defined on spaces of homogeneous type are introduced by using weight functions in the Muckenhoupt class. Theorems on the boundedness of a large class of sublinear operators on these spaces are presented. The classes of sublinear operators under consideration contain a whole series of important operators of harmonic analysis, such as, e.g., maximal functions, singular and fractional integrals, Bochner–Riesz means, and so on.



Short Kloosterman sums to powerful modulus
Abstract
An estimate of Kloosterman sums with very few terms is obtained. The modulus corresponding to this sum is a powerful number, i.e., the radical (the product of all prime factors) of the modulus is very small in comparison with the modulus itself on the logarithmic scale. The proof essentially uses methods of A.G. Postnikov and H. Iwaniec.



On extensions of some block designs
Abstract
There are some results concerning t-designs in which the number of points in the intersection of two blocks takes less than t values. For example, if t = 2, then the design is symmetric (in such a design, v = b or, equivalently, k = r). In 1974, B. Gross described t-(v, k, l) designs that, for some integer s, 0 < s < t, do not contain two blocks intersecting at exactly s points. Below, it is proved that potentially infinite series of designs from the claim of Gross’ theorem are finite. Gross’ theorem is substantially sharpened.



Solvability conditions of a boundary value problem with operator coefficients and related estimates of the norms of intermediate derivative operators
Abstract
Sufficient conditions for the proper and unique solvability in the Sobolev space of vector functions of the boundary value problem for a certain class of second-order elliptic operator differential equations on a semiaxis are obtained. The boundary condition at zero involves an abstract linear operator. The solvability conditions are established by using properties of operator coefficients. The norms of intermediate derivative operators, which are closely related to the solvability conditions, are estimated.



On a Harnack inequality for the elliptic (p, q)-Laplacian
Abstract
A special Harnack inequality is proved for solutions of nonlinear elliptic equations of the p(x)-Laplacian type with a variable exponent p(x) that takes different values on two sides of a hyperplane dividing the domain. Examples are given showing that the classical Harnack inequality does not hold in this case.



Study of Dieckmann’s equation with integral kernels having variable kurtosis coefficient
Abstract
An integral equation arising in a spatial model of stationary communities developed by the Austrian scientists Ulf Dieckmann and Richard Low is studied. A special case of this equation with integral kernels being Student distributions is considered. The existence of a solution in this case is proved, and the application of a method for reducing the dimension of a multidimensional integral equation previously proposed by the authors is described.



Local dynamics of an equation with two large different-order delays
Abstract
The behavior of solutions near an equilibrium of differential equations with two large different-order delays is studied. In critical cases, special equations (namely, quasi-normal forms) determining the dynamics of the original problem are constructed. As a rule, they have the form of nonlinear parabolic equations with two spatial variables. Asymptotic formulas are derived showing the relation between the solutions of a quasi-normal form and the original equation. The case of a small coefficient multiplying the term with a larger delay is studied separately.



Programmed iteration method in packages of spaces
Abstract
An abstract version of the programmed iteration method (used in the theory of differential games) is considered that is intended for the problem of observing phase constraints on a nonempty subset of the real line. It is assumed that trajectories and uncontrolled disturbances are realized in packages of mutually inconsistent spaces. This consistency is postulated to investigate solvability conditions for the problem in the class of quasi-strategies. As a result, the set of successful solvability is constructed and the structure of resolving strategies is determined.



A problem of random choice and its deterministic structure
Abstract
A new problem of random choice for pills consumption process is formulated and considered. We find a kind of the Law of Large Numbers associated with any ordinary differential equation. This generalized LLN says that a stochastic analog of the Euler broken lines converges in probability to solution of the initial value problem for the ODE. This approach is applied to a stochastic process of pills consumption, and shows that after a suitable scaling the consumption process is almost deterministic, provided that the initial number of pills is large.



Mathematical Physics
On the control of layered flow of a viscous incompressible fluid within MHD
Abstract
The control of a viscous incompressible flow within MHD is considered. The phenomenon of internal heat release is explored as applied to a layered plane flow in which the kinetic energy dissipates strictly into heat. The influence exerted by the electromagnetic field of the flowing fluid on the surrounding medium is examined, and methods for flow control in the context of digital deposit field technology are considered.



On the problem of falling motion of a circular cylinder and a vortex pair in a perfect fluid
Abstract
We consider a system consisting of a heavy circular cylinder in the field of gravity interacting dynamically with a vortex pair in a perfect fluid. The circulation about the cylinder is assumed to be zero. It is shown that, unlike the famous Föppl configuration, the vortices cannot be in a relative equilibrium. An asymptotic system and a suitable regularization are considered.



Fundamental solution of displacement equations for a transversely isotropic elastic medium
Abstract
A fourth-order linear elliptic partial differential equation describing the displacements of a transversely isotropic linear elastic medium is considered. Its symmetries and the symmetries of an inhomogeneous equation with a delta function on the right-hand side are found. The latter symmetries are used to construct an invariant fundamental solution of the original equation in terms of elementary functions.



Computer Science
Processing of experimental curves by applying a regularized double period method
Abstract
In physical and engineering applications, an important task is the processing of experimental curves measured with considerable errors. Such problems are solved by applying the regularization method, in which success relies heavily on the researcher’s intuition. We propose using an approximation based on the double period method designed for smooth aperiodic functions. Regularization makes use of a Tikhonov stabilizer with the second derivative squared. As a result, the spurious oscillations are suppressed and the shape of an experimental curve is well approximated. This approach makes it possible to solve broad classes of problems in a unified manner. The method is demonstrated as applied to the approximation of cross sections of nuclear reactions important for controlled thermonuclear fusion. Tables recommended as reference data are obtained.



Control Theory
Exact bounded boundary controllability of vibrations of a two-dimensional membrane
Abstract
The boundary control of vibrations of a plane membrane is considered. A constraint is imposed on the absolute value of the control function. The goal of the control is to drive the membrane to rest. The proof technique used in this paper can be applied to a membrane of any dimension, but the two-dimensional case is considered for simplicity and illustrative purposes.


