Vol 26, No 133 (2021)
Original articles
About new properties of recurrent motions and minimal sets of dynamical systems
Abstract
The article presents a new property of recurrent motions of dynamical systems. Within a compact metric space, this property establishes the relation between motions of general type and recurrent motions. Besides, this property establishes rather simple behaviour of recurrent motions, thus naturally corroborating the classical definition given in the monograph [V.V. Nemytskii, V.V. Stepanov. Qualitative Theory of Differential Equations. URSS Publ., Moscow, 2004 (In Russian)].
Actually, the above-stated new property of recurrent motions was announced, for the first time, in the earlier article by the same authors [A.P. Afanas’ev, S. M. Dzyuba. On recurrent trajectories, minimal sets, and quasiperoidic motions of dynamical systems // Differential Equations. 2005, v. 41, № 11, p. 1544–1549]. The very same article provides a short proof for the corresponding theorem. The proof in question turned out to be too schematic. Moreover, it (the proof) includes a range of obvious gaps.
Some time ago it was found that, on the basis of this new property, it is possible to show that within a compact metric space - and -limit sets of each and every motion are minimal. Therefore, within a compact metric space each and every motion, which is positively (negatively) stable in the sense of Poisson, is recurrent.
Those results are of obvious significance. They clearly show the reason why, at present, there are no criteria for existence of non-recurrent motions stable in the sense of Poisson. Moreover, those results show the reason why the existing attempts of creating non-recurrent motions, stable in the sense of Poisson, on compact closed manifolds turned out to be futile. At least, there are no examples of such motions.
The key point of the new property of minimal sets is the stated new property of recurrent motions. That is why here, in our present article, we provide a full and detailed proof for that latter property.
For the first time, the results of the present study were reported on the 28th of January, 2020 at a seminar of Dobrushin Mathematic Laboratory at the Institute for Information Transmission Problems named after A. A. Kharkevich of the Russian Academy of Sciences.



Optimization of discounted income for a structured population exposed to harvesting
Abstract
A structured population the individuals of which are divided into $n$ age or typical groups $x_1,\ldots,x_n$ is considered.
We assume that at any time moment $k,$ $k=0,1,2\ldots$ the size of the population $x(k)$ is determined by
the normal autonomous system of difference equations $x(k+1)=F\bigl(x(k)\bigr)$,
where $F(x)={\rm col}\bigl(f_1(x),\ldots,f_n(x)\bigr)$ are given vector functions with real non-negative components $f_i(x),$ $i=1,\ldots,n.$
We investigate the case when it is possible to influence the population size by means of harvesting.
The model of the exploited population under discussion has the form
where $u(k)=\bigl(u_1(k),\dots,u_n(k)\bigr)\in[0,1]^n$ is a control vector, which can be varied to achieve the best result of harvesting the resource.
We assume that the cost of a conventional unit
of each of $n$ classes is constant and equals to $C_i\geqslant 0,$ $i=1,\ldots,n.$
To determine the cost of the resource obtained as the result of harvesting, the discounted income function is introduced into consideration. It has the form
where $\alpha>0$ is the discount coefficient.
The problem of constructing controls on finite and infinite time intervals at which the discounted income from the extraction of a renewable resource reaches the maximal value is
solved. As a corollary, the results on the construction of the optimal harvesting mode for a homogeneous population are obtained (that is, for $n =1$).



On application of the i-smooth analysis methodology to elaboration of numerical methods for solving functional differential equations
Abstract
The article discusses a number of aspects of the application of i-smooth analysis in the development of numerical methods for solving functional differential equations (FDE). The principle of separating finite- and infinite-dimensional components in the structure of numerical schemes for FDE is demonstrated with concrete examples, as well as the usage of different types of prehistory interpolation, those by Lagrange and Hermite. A general approach to constructing Runge–Kutta-like numerical methods for nonlinear neutral differential equations is presented. Convergence conditions are obtained and the order of convergence of such methods is established.



On an ill-posed boundary value problem for the Laplace equation in a circular cylinder
Abstract
In this paper, we consider a mixed problem for the Laplace equation in a region in a circular cylinder. On the lateral surface of a cylidrical region, the homogeneous boundary conditions of the first kind are given. The cylindrical area is bounded on one side by an arbitrary surface on which the Cauchy conditions are set, i.e. a function and its normal derivative are given. The other border of the cylindrical area is free. This problem is ill-posed, and to construct its approximate solution in the case of Cauchy data known with some error it is necessary to use regularizing algorithms. In this paper, the problem is reduced to a Fredholm integral equation of the first kind. Based on the solution of the integral equation, an explicit representation of the exact solution of the problem is obtained in the form of a Fourier series with the eigenfunctions of the first boundary value problem for the Laplace equation in a circle. A stable solution of the integral equation is obtained by the Tikhonov regularization method. The extremal of the Tikhonov functional is considered as an approximate solution. Based on this solution, an approximate solution of the problem in the whole is constructed. The theorem on convergence of the approximate solution of the problem to the exact one as the error in the Cauchy data tends to zero and the regularization parameter is matched with the error in the data is given. The results can be used for mathematical processing of thermal imaging data in medical diagnostics.



On stability of solutions of integral equations in the class of measurable functions
Abstract
Consider the equation $G(x)=\tilde{y},$ where the mapping $G$ acts from a metric space $X$ into a space $Y,$ on which a distance is defined,
$\tilde{y} \in Y.$ The metric in $X$ and the distance in $Y$ can take on the value $\infty,$ the distance satisfies only one property of a metric:
the distance between $y, z \in Y$ is zero if and only if $y=z.$ For mappings $X \to Y$ the notions of sets of covering, Lipschitz property, and closedness are defined.
In these terms, the assertion is obtained about the stability in the metric space $X$ of solutions of the considered equation to changes of the mapping $G$ and the element
$\tilde{y}.$ This assertion is applied to the study of the integral equation
with respect to an unknown Lebesgue measurable function $x: [0,1] \to \mathbb {R}.$ Sufficient conditions are obtained for
the stability of solutions (in the space of measurable functions with the topology of uniform convergence) to changes of the functions $f, \mathcal{K}, \tilde{y}.$



Stability of a weak solution for a hyperbolic system with distributed parameters on a graph
Abstract
In the work, the stability conditions for a solution of an evolutionary hyperbolic system with distributed parameters on a graph describing the oscillating process of continuous medium in a spatial network are indicated. The hyperbolic system is considered in the weak formulation: a weak solution of the system is a summable function that satisfies the integral identity which determines the variational formulation for the initial-boundary value problem. The basic idea, that has determined the content of this work, is to present a weak solution in the form of a generalized Fourier series and continue with an analysis of the convergence of this series and the series obtained by its single termwise differentiation. The used approach is based on a priori estimates of a weak solution and the construction (by the Fayedo–Galerkin method with a special basis, the system of eigenfunctions of the elliptic operator of a hyperbolic equation) of a weakly compact family of approximate solutions in the selected state space. The obtained results underlie the analysis of optimal control problems of oscillations of netset-like industrial constructions which have interesting analogies with multi-phase problems of multidimensional hydrodynamics.



Solution of a problem for a system of third order partial differential equations
Abstract
An initial-boundary value problem for a system of third-order partial differential equations is considered. Equations and systems of equations with the highest mixed third derivative describe heat exchange in the soil complicated by the movement of soil moisture, quasi-stationary processes in a two-component semiconductor plasma, etc. The system is reduced to a differential equation with a degenerate operator at the highest derivative with respect to the distinguished variable in a Banach space. This operator has the property of having 0 as a normal eigenvalue, which makes it possible to split the original equations into an equation in subspaces. The conditions are obtained under which a unique solution to the problem exists; the analytical formula is found.



Maximal linked systems on families of measurable rectangles
Abstract
Linked and maximal linked systems (MLS) on -systems of measurable (in the wide sense) rectangles are considered (-system is a family of sets closed with respect to finite intersections). Structures in the form of measurable rectangles are used in measure theory and probability theory and usually lead to semi-algebra of subsets of cartesian product. In the present article, sets-factors are supposed to be equipped with -systems with “zero” and “unit”. This, in particular, can correspond to a standard measurable structure in the form of semialgebra, algebra, or -algebra of sets. In the general case, the family of measurable rectangles itself forms a -system of set-product (the measurability is identified with belonging to a - system) which allows to consider MLS on a given -system (of measurable rectangles). The following principal property is established: for all considered variants of -system of measurable rectangles, MLS on a product are exhausted by products of MLS on sets-factors. In addition, in the case of infinity product, along with traditional, the “box” variant allowing a natural analogy with the base of box topology is considered. For the case of product of two widely understood measurable spaces, one homeomorphism property concerning equipments by the Stone type topologies is established.


