Pub Date : 2020-11-01DOI: 10.35634/2226-3594-2020-56-02
A. Kilin, E. Artemova
We consider the problem of the stability of rotating regular vortex N-gons (Thomson configurations) in a Bose-Einstein condensate in a harmonic trap. The dependence of the rotation velocity ω of the Thomson configuration around the center of the trap is obtained as a function of the number of vortices N and the radius of the configuration R. The analysis of the stability of motion of such configurations in the linear approximation is carried out. For N⩽6, regions of orbital stability of configurations in the parameter space are constructed. It is shown that vortex N-gons for N > 6 are unstable for any parameters of the system.
{"title":"Stability of regular vortex polygons in Bose-Einstein condensate","authors":"A. Kilin, E. Artemova","doi":"10.35634/2226-3594-2020-56-02","DOIUrl":"https://doi.org/10.35634/2226-3594-2020-56-02","url":null,"abstract":"We consider the problem of the stability of rotating regular vortex N-gons (Thomson configurations) in a Bose-Einstein condensate in a harmonic trap. The dependence of the rotation velocity ω of the Thomson configuration around the center of the trap is obtained as a function of the number of vortices N and the radius of the configuration R. The analysis of the stability of motion of such configurations in the linear approximation is carried out. For N⩽6, regions of orbital stability of configurations in the parameter space are constructed. It is shown that vortex N-gons for N > 6 are unstable for any parameters of the system.","PeriodicalId":42053,"journal":{"name":"Izvestiya Instituta Matematiki i Informatiki-Udmurtskogo Gosudarstvennogo Universiteta","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86437054","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-05-01DOI: 10.35634/2226-3594-2020-55-05
M. Dontsova
We consider a Cauchy problem for a system of two quasilinear equations of the first order with constant terms. The study of the solvability of the Cauchy problem for a system of two quasilinear equations of the first order with constant terms in the original coordinates is based on the method of an additional argument. Theorems on the local and nonlocal existence and uniqueness of solutions to the Cauchy problem are formulated and proved. We prove the existence and uniqueness of the local solution of the Cauchy problem for a system of two quasilinear equations of the first order with constant terms, which has the same smoothness with respect to $x$ as the initial functions of the Cauchy problem. Sufficient conditions for the existence and uniqueness of a nonlocal solution of the Cauchy problem for a system of two quasilinear equations of the first order with constant terms are found; this solution is continued by a finite number of steps from the local solution. The proof of the nonlocal solvability of the Cauchy problem for a system of two quasilinear equations of the first order with constant terms relies on global estimates.
{"title":"Sufficient conditions of a nonlocal solvability for a system of two quasilinear equations of the first order with constant terms","authors":"M. Dontsova","doi":"10.35634/2226-3594-2020-55-05","DOIUrl":"https://doi.org/10.35634/2226-3594-2020-55-05","url":null,"abstract":"We consider a Cauchy problem for a system of two quasilinear equations of the first order with constant terms. The study of the solvability of the Cauchy problem for a system of two quasilinear equations of the first order with constant terms in the original coordinates is based on the method of an additional argument. Theorems on the local and nonlocal existence and uniqueness of solutions to the Cauchy problem are formulated and proved. We prove the existence and uniqueness of the local solution of the Cauchy problem for a system of two quasilinear equations of the first order with constant terms, which has the same smoothness with respect to $x$ as the initial functions of the Cauchy problem. Sufficient conditions for the existence and uniqueness of a nonlocal solution of the Cauchy problem for a system of two quasilinear equations of the first order with constant terms are found; this solution is continued by a finite number of steps from the local solution. The proof of the nonlocal solvability of the Cauchy problem for a system of two quasilinear equations of the first order with constant terms relies on global estimates.","PeriodicalId":42053,"journal":{"name":"Izvestiya Instituta Matematiki i Informatiki-Udmurtskogo Gosudarstvennogo Universiteta","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74072637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-05-01DOI: 10.35634/2226-3594-2020-55-09
A. Chentsov, P. Chentsov
We consider the extreme routing problem with an additive criterion, the terminal component of which depends on the starting point. This dependence may be associated, in particular, with the requirement to return to the starting point region after completing the final system of tasks that need to be ordered. The work assumes that the tasks to be performed are related with visiting non-empty finite sets called megacities. In turn, the mentioned visits are associated with the performance of works, the costs of which are involved in the formation of the criterion. Finally, the costs of external movements (between megacities) supplement the formation of an additive criterion to be minimized. It is required to find a global extremum and a solution that includes a starting point, the order of visits to megacities and a specific trajectory of the process. The solution uses widely understood dynamic programming (DP). It is significant that procedures based on DP use starting point. Therefore, enumeration of mentioned points is required. The article proposes an approach to solving the problem of reducing this enumeration through the use of auxiliary DP that are universal with respect to the choice of a starting point. The optimal algorithm was built and implemented on a PC using the aforementioned approach.
{"title":"To the question of optimization of the starting point in the routing problem with restrictions","authors":"A. Chentsov, P. Chentsov","doi":"10.35634/2226-3594-2020-55-09","DOIUrl":"https://doi.org/10.35634/2226-3594-2020-55-09","url":null,"abstract":"We consider the extreme routing problem with an additive criterion, the terminal component of which depends on the starting point. This dependence may be associated, in particular, with the requirement to return to the starting point region after completing the final system of tasks that need to be ordered. The work assumes that the tasks to be performed are related with visiting non-empty finite sets called megacities. In turn, the mentioned visits are associated with the performance of works, the costs of which are involved in the formation of the criterion. Finally, the costs of external movements (between megacities) supplement the formation of an additive criterion to be minimized. It is required to find a global extremum and a solution that includes a starting point, the order of visits to megacities and a specific trajectory of the process. The solution uses widely understood dynamic programming (DP). It is significant that procedures based on DP use starting point. Therefore, enumeration of mentioned points is required. The article proposes an approach to solving the problem of reducing this enumeration through the use of auxiliary DP that are universal with respect to the choice of a starting point. The optimal algorithm was built and implemented on a PC using the aforementioned approach.","PeriodicalId":42053,"journal":{"name":"Izvestiya Instituta Matematiki i Informatiki-Udmurtskogo Gosudarstvennogo Universiteta","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90468196","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-05-01DOI: 10.35634/2226-3594-2020-55-08
A. Chentsov
Natural generalizations of properties of the family linkedness and the topological space supercompactness are considered. We keep in mind reinforced linkedness when nonemptyness of intersection of preassigned number of sets from a family is postulated. Analogously, supercompactness is modified: it is postulated the existence of an open subbasis for which, from every covering (by sets of the subbasis), it is possible to extract a subcovering with a given number of sets (more precisely, not more than a given number). It is clear that among all families having the reinforced linkedness, one can distinguish families that are maximal in ordering by inclusion. Under natural and (essentially) “minimal”' conditions imposed on the original measurable structure, among the mentioned maximal families with reinforced linkedness, ultrafilters are certainly contained. These ultrafilters form subspaces in the sense of natural topologies corresponding conceptually to schemes of Wallman and Stone. In addition, maximal families with reinforced linkedness, when applying topology of the Wallman type, have the above-mentioned property generalizing supercompactness. Thus, an analogue of the superextension of the $T_1$-space is realized. The comparability of “Wallman”' and “Stone”' topologies is established. As a result, bitopological spaces (BTS) are realized; for these BTS, under equipping with analogous topologies, ultrafilter sets are subspaces. It is indicated that some cases exist when the above-mentioned BTS is nondegenerate in the sense of the distinction for forming topologies. At that time, in the case of “usual” linkedness (this is a particular case of reinforced linkedness), very general classes of spaces are known for which the mentioned BTS are degenerate (the cases when origial set, i.e., “unit”' is equipped with an algebra of sets or a topology).
{"title":"On certain analogues of linkedness and supercompactness","authors":"A. Chentsov","doi":"10.35634/2226-3594-2020-55-08","DOIUrl":"https://doi.org/10.35634/2226-3594-2020-55-08","url":null,"abstract":"Natural generalizations of properties of the family linkedness and the topological space supercompactness are considered. We keep in mind reinforced linkedness when nonemptyness of intersection of preassigned number of sets from a family is postulated. Analogously, supercompactness is modified: it is postulated the existence of an open subbasis for which, from every covering (by sets of the subbasis), it is possible to extract a subcovering with a given number of sets (more precisely, not more than a given number). It is clear that among all families having the reinforced linkedness, one can distinguish families that are maximal in ordering by inclusion. Under natural and (essentially) “minimal”' conditions imposed on the original measurable structure, among the mentioned maximal families with reinforced linkedness, ultrafilters are certainly contained. These ultrafilters form subspaces in the sense of natural topologies corresponding conceptually to schemes of Wallman and Stone. In addition, maximal families with reinforced linkedness, when applying topology of the Wallman type, have the above-mentioned property generalizing supercompactness. Thus, an analogue of the superextension of the $T_1$-space is realized. The comparability of “Wallman”' and “Stone”' topologies is established. As a result, bitopological spaces (BTS) are realized; for these BTS, under equipping with analogous topologies, ultrafilter sets are subspaces. It is indicated that some cases exist when the above-mentioned BTS is nondegenerate in the sense of the distinction for forming topologies. At that time, in the case of “usual” linkedness (this is a particular case of reinforced linkedness), very general classes of spaces are known for which the mentioned BTS are degenerate (the cases when origial set, i.e., “unit”' is equipped with an algebra of sets or a topology).","PeriodicalId":42053,"journal":{"name":"Izvestiya Instituta Matematiki i Informatiki-Udmurtskogo Gosudarstvennogo Universiteta","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75912608","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-05-01DOI: 10.35634/2226-3594-2020-55-03
A. R. Danilin, A. A. Shaburov
The paper deals with the problem of optimal control with a Boltz-type quality index over a finite time interval for a linear steady-state control system in the class of piecewise continuous controls with smooth control constraints. In particular, we study the problem of controlling the motion of a system of small mass points under the action of a bounded force. The terminal part of the convex integral quality index additively depends on slow and fast variables, and the integral term is a strictly convex function of control variable. If the system is completely controllable, then the Pontryagin maximum principle is a necessary and sufficient condition for optimality. The main difference between this study and previous works is that the equation contains the zero matrix of fast variables and, thus, the results of A.B. Vasilieva on the asymptotic of the fundamental matrix of a control system are not valid. However, the linear steady-state system satisfies the condition of complete controllability. The article shows that problems of optimal control with a convex integral quality index are more regular than time-optimal problems.
{"title":"Asymptotic expansion of a solution of a singularly perturbed optimal control problem with a convex integral quality index, whose terminal part additively depends on slow and fast variables","authors":"A. R. Danilin, A. A. Shaburov","doi":"10.35634/2226-3594-2020-55-03","DOIUrl":"https://doi.org/10.35634/2226-3594-2020-55-03","url":null,"abstract":"The paper deals with the problem of optimal control with a Boltz-type quality index over a finite time interval for a linear steady-state control system in the class of piecewise continuous controls with smooth control constraints. In particular, we study the problem of controlling the motion of a system of small mass points under the action of a bounded force. The terminal part of the convex integral quality index additively depends on slow and fast variables, and the integral term is a strictly convex function of control variable. If the system is completely controllable, then the Pontryagin maximum principle is a necessary and sufficient condition for optimality. The main difference between this study and previous works is that the equation contains the zero matrix of fast variables and, thus, the results of A.B. Vasilieva on the asymptotic of the fundamental matrix of a control system are not valid. However, the linear steady-state system satisfies the condition of complete controllability. The article shows that problems of optimal control with a convex integral quality index are more regular than time-optimal problems.","PeriodicalId":42053,"journal":{"name":"Izvestiya Instituta Matematiki i Informatiki-Udmurtskogo Gosudarstvennogo Universiteta","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90294357","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2020-05-01DOI: 10.35634/2226-3594-2020-55-07
P. Lebedev, A. A. Uspenskii
We consider a time-optimal control problem on the plane with a circular vectogram of velocities and a non-convex target set with a boundary having a finite number of points of discontinuity of curvature. We study the problem of identifying and constructing scattering curves that form a singular set of the optimal result function in the case when the points of discontinuity of curvature have one-sided curvatures of different signs. It is shown that these points belong to pseudo-vertices that are characteristic points of the boundary of the target set, which are responsible for the generation of branches of a singular set. The structure of scattering curves and the optimal trajectories starting from them, which fall in the neighborhood of the pseudo-vertex, is investigated. A characteristic feature of the case under study is revealed, consisting in the fact that one pseudo-vertex can generate two different branches of a singular set. The equation of the tangent to the smoothness points of the scattering curve is derived. A scheme is proposed for constructing a singular set, based on the construction of integral curves for first-order differential equations in normal form, the right-hand sides of which are determined by the geometry of the boundary of the target in neighborhoods of the pseudo-vertices. The results obtained are illustrated by the example of solving the control problem when the target set is a one-dimensional manifold.
{"title":"Construction of scattering curves in one class of time-optimal control problems with leaps of a target set boundary curvature","authors":"P. Lebedev, A. A. Uspenskii","doi":"10.35634/2226-3594-2020-55-07","DOIUrl":"https://doi.org/10.35634/2226-3594-2020-55-07","url":null,"abstract":"We consider a time-optimal control problem on the plane with a circular vectogram of velocities and a non-convex target set with a boundary having a finite number of points of discontinuity of curvature. We study the problem of identifying and constructing scattering curves that form a singular set of the optimal result function in the case when the points of discontinuity of curvature have one-sided curvatures of different signs. It is shown that these points belong to pseudo-vertices that are characteristic points of the boundary of the target set, which are responsible for the generation of branches of a singular set. The structure of scattering curves and the optimal trajectories starting from them, which fall in the neighborhood of the pseudo-vertex, is investigated. A characteristic feature of the case under study is revealed, consisting in the fact that one pseudo-vertex can generate two different branches of a singular set. The equation of the tangent to the smoothness points of the scattering curve is derived. A scheme is proposed for constructing a singular set, based on the construction of integral curves for first-order differential equations in normal form, the right-hand sides of which are determined by the geometry of the boundary of the target in neighborhoods of the pseudo-vertices. The results obtained are illustrated by the example of solving the control problem when the target set is a one-dimensional manifold.","PeriodicalId":42053,"journal":{"name":"Izvestiya Instituta Matematiki i Informatiki-Udmurtskogo Gosudarstvennogo Universiteta","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89463346","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-12-09DOI: 10.20537/2226-3594-2019-54-08
Chentsov Aleksandr Georgievich, Chentsov Pavel Aleksandrovich
{"title":"The routing problems with optimization of the starting point: dynamic programming","authors":"Chentsov Aleksandr Georgievich, Chentsov Pavel Aleksandrovich","doi":"10.20537/2226-3594-2019-54-08","DOIUrl":"https://doi.org/10.20537/2226-3594-2019-54-08","url":null,"abstract":"","PeriodicalId":42053,"journal":{"name":"Izvestiya Instituta Matematiki i Informatiki-Udmurtskogo Gosudarstvennogo Universiteta","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2019-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87381684","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-11-01DOI: 10.20537/2226-3594-2019-54-04
A. I. Machtakova
In the finite-dimensional Euclidean space, the problem of pursuit of a group of evaders by a group of pursuers is considered, which is described by a system of the form $$D^{(alpha)} z_{ij} = a z_{ij} + u_i - v,$$ where $D^{(alpha)} f$ is the Caputo derivative of the order $alpha in (0,1)$ of the function $f$. It is assumed that all evaders use the same control. The goal of the pursuers is to catch at least one of the evaders. The evaders use piecewise-program strategies, and the pursuers use piecewise-program counterstrategies. Every pursuer catches not more than one evader. The set of admissible controls is a ball of unit radius with the center at the origin, the target sets are the origin. In terms of initial positions and game parameters, a sufficient conditions for the capture are obtained.
{"title":"Persecution of rigidly coordinated evaders in a linear problem with fractional derivatives and a simple matrix","authors":"A. I. Machtakova","doi":"10.20537/2226-3594-2019-54-04","DOIUrl":"https://doi.org/10.20537/2226-3594-2019-54-04","url":null,"abstract":"In the finite-dimensional Euclidean space, the problem of pursuit of a group of evaders by a group of pursuers is considered, which is described by a system of the form $$D^{(alpha)} z_{ij} = a z_{ij} + u_i - v,$$ where $D^{(alpha)} f$ is the Caputo derivative of the order $alpha in (0,1)$ of the function $f$. It is assumed that all evaders use the same control. The goal of the pursuers is to catch at least one of the evaders. The evaders use piecewise-program strategies, and the pursuers use piecewise-program counterstrategies. Every pursuer catches not more than one evader. The set of admissible controls is a ball of unit radius with the center at the origin, the target sets are the origin. In terms of initial positions and game parameters, a sufficient conditions for the capture are obtained.","PeriodicalId":42053,"journal":{"name":"Izvestiya Instituta Matematiki i Informatiki-Udmurtskogo Gosudarstvennogo Universiteta","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83312294","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-11-01DOI: 10.20537/2226-3594-2019-54-07
A. Chentsov
{"title":"On the supercompactness of ultrafilter space with the topology of Wallman type","authors":"A. Chentsov","doi":"10.20537/2226-3594-2019-54-07","DOIUrl":"https://doi.org/10.20537/2226-3594-2019-54-07","url":null,"abstract":"","PeriodicalId":42053,"journal":{"name":"Izvestiya Instituta Matematiki i Informatiki-Udmurtskogo Gosudarstvennogo Universiteta","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80809074","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-11-01DOI: 10.20537/2226-3594-2019-54-01
L. I. Danilov
{"title":"On the spectrum of a relativistic Landau Hamiltonian with a periodic electric potential","authors":"L. I. Danilov","doi":"10.20537/2226-3594-2019-54-01","DOIUrl":"https://doi.org/10.20537/2226-3594-2019-54-01","url":null,"abstract":"","PeriodicalId":42053,"journal":{"name":"Izvestiya Instituta Matematiki i Informatiki-Udmurtskogo Gosudarstvennogo Universiteta","volume":null,"pages":null},"PeriodicalIF":0.4,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79211709","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}