This paper deals with a problem of finding a bounded solution of a system of nonhomogeneous linear differential equations with an unbounded matrix of coefficients on a finite interval. The right-hand side of the equation belongs to a space of continuous functions bounded with some weight; the weight function is chosen taking into account the behavior of the coefficient matrix. The problem is studied using a modified version of the parameterization method with non-uniform partitioning. Necessary and sufficient conditions of well-posedness of the problem are obtained in terms of a bilaterally infinite matrix of special structure.
{"title":"On bounded solutions of linear systems of differential equations with unbounded coefficients","authors":"R.Ye. Uteshova, Ye.V. Kokotova","doi":"10.31489/2022m4/107-116","DOIUrl":"https://doi.org/10.31489/2022m4/107-116","url":null,"abstract":"This paper deals with a problem of finding a bounded solution of a system of nonhomogeneous linear differential equations with an unbounded matrix of coefficients on a finite interval. The right-hand side of the equation belongs to a space of continuous functions bounded with some weight; the weight function is chosen taking into account the behavior of the coefficient matrix. The problem is studied using a modified version of the parameterization method with non-uniform partitioning. Necessary and sufficient conditions of well-posedness of the problem are obtained in terms of a bilaterally infinite matrix of special structure.","PeriodicalId":29915,"journal":{"name":"Bulletin of the Karaganda University-Mathematics","volume":" ","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42078558","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}
Derivatives in time of higher order (more than two) arise in various fields such as acoustics, medical ultrasound, viscoelasticity and thermoelasticity. The inverse problems for higher order derivatives in time equations connected with recovery of the coefficient are scarce and need additional consideration. In this article the inverse problem of determination is considered which depends on time, lowest term coefficient in differential equation in partial derivatives of fourth order in time with initial and boundary conditions from an additional integral observation is considered. Under some conditions regularity, consistency and orthogonality of data by using of the contraction principle the unique solvability of the solution of the coefficient identification problem on a sufficiently small time interval has been proved.
{"title":"Inverse coefficient problem for differential equation in partial derivatives of a fourth order in time with integral over-determination","authors":"M. J. Huntul, I. Tekin","doi":"10.31489/2022m4/51-59","DOIUrl":"https://doi.org/10.31489/2022m4/51-59","url":null,"abstract":"Derivatives in time of higher order (more than two) arise in various fields such as acoustics, medical ultrasound, viscoelasticity and thermoelasticity. The inverse problems for higher order derivatives in time equations connected with recovery of the coefficient are scarce and need additional consideration. In this article the inverse problem of determination is considered which depends on time, lowest term coefficient in differential equation in partial derivatives of fourth order in time with initial and boundary conditions from an additional integral observation is considered. Under some conditions regularity, consistency and orthogonality of data by using of the contraction principle the unique solvability of the solution of the coefficient identification problem on a sufficiently small time interval has been proved.","PeriodicalId":29915,"journal":{"name":"Bulletin of the Karaganda University-Mathematics","volume":" ","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41600175","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}
In the mathematical literature, a scalar integral equation with a degenerate kernel is well described (see below (1)), where all the written functions are scalar quantities). The authors are not aware of publications where systems of integral equations of (1) type with kernels in the form of a product of matrices would be considered in detail. It is usually said that the technique for solving such systems is easily transferred from the scalar case to the vector one (for example, in the monograph A.L. Kalashnikov "Methods for the approximate solution of integral equations of the second kind" (Nizhny Novgorod: Nizhny Novgorod State University, 2017), a brief description of systems of equations with degenerate kernels is given, where the role of degenerate kernels is played by products of scalar rather than matrix functions). However, as the simplest examples show, the generalization of the ideas of the scalar case to the case of integral systems with kernels in the form of a sum of products of matrix functions is rather unclear, although in this case the idea of reducing an integral equation to an algebraic system is also used. At the same time, the process of obtaining the conditions for the solvability of an integral system in the form of orthogonality conditions, based on the conditions for the solvability of the corresponding algebraic system, as it seems to us, has not been previously described. Bearing in mind the wide applications of the theory of integral equations in applied problems, the authors considered it necessary to give a detailed scheme for solving integral systems with degenerate kernels in the multidimensional case and to implement this scheme in the Maple program. Note that only scalar integral equations are solved in Maple using the intsolve procedure. The authors did not find a similar procedure for solving systems of integral equations, so they developed their own procedure.
{"title":"Systems of integral equations with a degenerate kernel and an algorithm for their solution using the Maple program","authors":"B. Kalimbetov, V. Safonov, O. D. Tuychiev","doi":"10.31489/2022m4/60-75","DOIUrl":"https://doi.org/10.31489/2022m4/60-75","url":null,"abstract":"In the mathematical literature, a scalar integral equation with a degenerate kernel is well described (see below (1)), where all the written functions are scalar quantities). The authors are not aware of publications where systems of integral equations of (1) type with kernels in the form of a product of matrices would be considered in detail. It is usually said that the technique for solving such systems is easily transferred from the scalar case to the vector one (for example, in the monograph A.L. Kalashnikov \"Methods for the approximate solution of integral equations of the second kind\" (Nizhny Novgorod: Nizhny Novgorod State University, 2017), a brief description of systems of equations with degenerate kernels is given, where the role of degenerate kernels is played by products of scalar rather than matrix functions). However, as the simplest examples show, the generalization of the ideas of the scalar case to the case of integral systems with kernels in the form of a sum of products of matrix functions is rather unclear, although in this case the idea of reducing an integral equation to an algebraic system is also used. At the same time, the process of obtaining the conditions for the solvability of an integral system in the form of orthogonality conditions, based on the conditions for the solvability of the corresponding algebraic system, as it seems to us, has not been previously described. Bearing in mind the wide applications of the theory of integral equations in applied problems, the authors considered it necessary to give a detailed scheme for solving integral systems with degenerate kernels in the multidimensional case and to implement this scheme in the Maple program. Note that only scalar integral equations are solved in Maple using the intsolve procedure. The authors did not find a similar procedure for solving systems of integral equations, so they developed their own procedure.","PeriodicalId":29915,"journal":{"name":"Bulletin of the Karaganda University-Mathematics","volume":" ","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43836448","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}
Multiparametric difference schemes of the finite element method of a high order of accuracy for the Sobolevtype equation of the fourth-order in time are studied. In particular, the first boundary value problem for the equation of ion-acoustic waves in a magnetized plasma is considered. A high-order accuracy of the scheme is achieved due to the special discretization of time and space variables. The presence of parameters in the scheme makes it possible to regularize the accuracy of the schemes and optimize the implementation algorithm. An a priori estimate in a weak norm is obtained by the method of energy inequality. Based on this estimate and the Bramble-Hilbert lemma, the convergence of the constructed algorithms in classes of generalized solutions is proved. An algorithm for implementing the difference scheme is proposed.
{"title":"On the convergence of difference schemes of high accuracy for the equation of ion-acoustic waves in a magnetized plasma","authors":"M. Aripov, D. Utebaev, Zhusipbay Nurullaev","doi":"10.31489/2022m4/4-19","DOIUrl":"https://doi.org/10.31489/2022m4/4-19","url":null,"abstract":"Multiparametric difference schemes of the finite element method of a high order of accuracy for the Sobolevtype equation of the fourth-order in time are studied. In particular, the first boundary value problem for the equation of ion-acoustic waves in a magnetized plasma is considered. A high-order accuracy of the scheme is achieved due to the special discretization of time and space variables. The presence of parameters in the scheme makes it possible to regularize the accuracy of the schemes and optimize the implementation algorithm. An a priori estimate in a weak norm is obtained by the method of energy inequality. Based on this estimate and the Bramble-Hilbert lemma, the convergence of the constructed algorithms in classes of generalized solutions is proved. An algorithm for implementing the difference scheme is proposed.","PeriodicalId":29915,"journal":{"name":"Bulletin of the Karaganda University-Mathematics","volume":" ","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48604123","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}
The paper studies a two-point boundary value problem with unlimited boundary conditions for a linear singularly perturbed differential equation. Asymptotic estimates are given for a linearly independent system of solutions of a homogeneous perturbed equation. Auxiliary, so-called boundary functions, the Cauchy function are defined. For sufficiently small values of the parameter, estimates for the Cauchy function and boundary functions are found. An algorithm for constructing the desired solution of the boundary value problem has been developed. A theorem on the solvability of a solution to a boundary value problem is proved. For sufficiently small values of the parameter, an asymptotic estimate for the solution of the inhomogeneous boundary value problem is established. The initial conditions for the degenerate equation are determined. The formula is determined; the phenomena of the initial jump are studied.
{"title":"Asymptotic estimations of the solution for a singularly perturbed equation with unlimited boundary conditions","authors":"N. Atakhan, K.S. Nurpeisov, K. Konisbayeva","doi":"10.31489/2022m4/20-33","DOIUrl":"https://doi.org/10.31489/2022m4/20-33","url":null,"abstract":"The paper studies a two-point boundary value problem with unlimited boundary conditions for a linear singularly perturbed differential equation. Asymptotic estimates are given for a linearly independent system of solutions of a homogeneous perturbed equation. Auxiliary, so-called boundary functions, the Cauchy function are defined. For sufficiently small values of the parameter, estimates for the Cauchy function and boundary functions are found. An algorithm for constructing the desired solution of the boundary value problem has been developed. A theorem on the solvability of a solution to a boundary value problem is proved. For sufficiently small values of the parameter, an asymptotic estimate for the solution of the inhomogeneous boundary value problem is established. The initial conditions for the degenerate equation are determined. The formula is determined; the phenomena of the initial jump are studied.","PeriodicalId":29915,"journal":{"name":"Bulletin of the Karaganda University-Mathematics","volume":" ","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45898414","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}
The paper studies the problems of the correctness of setting boundary value problems for a loaded parabolic equation. The a feature of the problems is that the order of the derivative in the loaded term is less than or equal to the order of the differential part of the equation, and the load point moves according to a nonlinear law. At the same time, the distinctive characteristic is that the line, on which the loaded term is set, is at the zero point. On the basis of the study the authors proved the theorems about correctness of the studied boundary value problems.
{"title":"On the Correctness of Boundary Value Problems for the Two-Dimensional Loaded Parabolic Equation","authors":"A. Attaev, M. Ramazanov, M.T. Omarov","doi":"10.31489/2022m/34-41","DOIUrl":"https://doi.org/10.31489/2022m/34-41","url":null,"abstract":"The paper studies the problems of the correctness of setting boundary value problems for a loaded parabolic equation. The a feature of the problems is that the order of the derivative in the loaded term is less than or equal to the order of the differential part of the equation, and the load point moves according to a nonlinear law. At the same time, the distinctive characteristic is that the line, on which the loaded term is set, is at the zero point. On the basis of the study the authors proved the theorems about correctness of the studied boundary value problems.","PeriodicalId":29915,"journal":{"name":"Bulletin of the Karaganda University-Mathematics","volume":" ","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-12-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42737873","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}
A large number of the most diverse problems related to almost all the most important branches of mathematical physics and designed to answer topical technical questions are associated with the use of Bessel functions. This paper introduces a h-difference equation analogue of the Bessel differential equation and investigates the properties of its solution, which is express using the Frobenius method by assuming a generalized power series. The authors find discrete analogue formulas for Bessel function and the h-Neumann function and these are solutions presented by a series with the h-fractional function t^(α)_h. Lastly they obtain the linear dependencies between h-functions Bessel on T_a.
{"title":"The Bessel equation on the quantum calculus","authors":"S. Shaimardan, N. Tokmagambetov, Y. Aikyn","doi":"10.31489/2022m3/132-144","DOIUrl":"https://doi.org/10.31489/2022m3/132-144","url":null,"abstract":"A large number of the most diverse problems related to almost all the most important branches of mathematical physics and designed to answer topical technical questions are associated with the use of Bessel functions. This paper introduces a h-difference equation analogue of the Bessel differential equation and investigates the properties of its solution, which is express using the Frobenius method by assuming a generalized power series. The authors find discrete analogue formulas for Bessel function and the h-Neumann function and these are solutions presented by a series with the h-fractional function t^(α)_h. Lastly they obtain the linear dependencies between h-functions Bessel on T_a.","PeriodicalId":29915,"journal":{"name":"Bulletin of the Karaganda University-Mathematics","volume":" ","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45082085","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}
B. D. Koshanov, N. Kakharman, R. U. Segizbayeva, Zh.B. Sultangaziyeva
The need to study boundary value problems for elliptic parabolic equations is dictated by numerous practical applications in the theoretical study of the processes of hydrodynamics, electrostatics, mechanics, heat conduction, elasticity theory and quantum physics. In this paper, we obtain two theorems on a priori estimates for solutions of nonlinear equations in a finite-dimensional Hilbert space. The work consists of four items. In the first subsection, the notation used and the statement of the main results are given. In the second subsection, the main lemmas are given. The third section is devoted to the proof of Theorem 1. In the fourth section, Theorem 2 is proved. The conditions of the theorems are such that they can be used in studying a certain class of initial-boundary value problems to obtain strong a priori estimates in the presence of weak a priori estimates. This is the meaning of these theorems.
{"title":"Two theorems on estimates for solutions of one class of nonlinear equations in a finite-dimensional space","authors":"B. D. Koshanov, N. Kakharman, R. U. Segizbayeva, Zh.B. Sultangaziyeva","doi":"10.31489/2022m3/70-84","DOIUrl":"https://doi.org/10.31489/2022m3/70-84","url":null,"abstract":"The need to study boundary value problems for elliptic parabolic equations is dictated by numerous practical applications in the theoretical study of the processes of hydrodynamics, electrostatics, mechanics, heat conduction, elasticity theory and quantum physics. In this paper, we obtain two theorems on a priori estimates for solutions of nonlinear equations in a finite-dimensional Hilbert space. The work consists of four items. In the first subsection, the notation used and the statement of the main results are given. In the second subsection, the main lemmas are given. The third section is devoted to the proof of Theorem 1. In the fourth section, Theorem 2 is proved. The conditions of the theorems are such that they can be used in studying a certain class of initial-boundary value problems to obtain strong a priori estimates in the presence of weak a priori estimates. This is the meaning of these theorems.","PeriodicalId":29915,"journal":{"name":"Bulletin of the Karaganda University-Mathematics","volume":" ","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43071937","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}
This article is devoted to the study of the forcing companions of the Jonsson AP-theories in the enriched signature. It is proved that the forcing companion of the theory does not change when expanding the theories under consideration, which have some properties, by adding new predicate and constant symbols to the language. The model-theoretic results obtained in this paper in general form are supported by examples from differential algebra. An approach in combining a Jonsson and non-Jonsson theories is demonstrated. In this paper, for the first time in the history of Model Theory. This will allow us to further develop the methods of research of Jonsson theories and expand the apparatus for studying incomplete theories.
本文研究了Jonsson ap -理论在富集特征中的强迫伴生。通过在语言中加入新的谓词和常数符号,证明了在扩展所考虑的具有某些性质的理论时,理论的强迫伴侣不发生变化。本文所得到的一般形式的模型理论结果得到了微分代数实例的支持。提出了一种结合琼森理论和非琼森理论的方法。在本文中,首次在模型理论的历史。这将使我们进一步发展约翰逊理论的研究方法,扩大研究不完全理论的仪器。
{"title":"Forcing companions of Jonsson AP-theories","authors":"A. Yeshkeyev, I.O. Tungushbayeva, M. Omarova","doi":"10.31489/2022m3/152-163","DOIUrl":"https://doi.org/10.31489/2022m3/152-163","url":null,"abstract":"This article is devoted to the study of the forcing companions of the Jonsson AP-theories in the enriched signature. It is proved that the forcing companion of the theory does not change when expanding the theories under consideration, which have some properties, by adding new predicate and constant symbols to the language. The model-theoretic results obtained in this paper in general form are supported by examples from differential algebra. An approach in combining a Jonsson and non-Jonsson theories is demonstrated. In this paper, for the first time in the history of Model Theory. This will allow us to further develop the methods of research of Jonsson theories and expand the apparatus for studying incomplete theories.","PeriodicalId":29915,"journal":{"name":"Bulletin of the Karaganda University-Mathematics","volume":" ","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43249867","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}
Sabit Igisinov, L.D. Zhumaliyeva, A. O. Suleimbekova, Yerik Bayandiyev
In this paper we study a class of degenerate elliptic equations with an arbitrary power degeneracy on the line. Based on the research carried out in the course of the work, the authors propose methods to overcome various difficulties associated with the behavior of functions from the definition domain for a differential operator with piecewise continuous coefficients in a bounded domain, which affect the spectral characteristics of boundary value problems for degenerate elliptic equations. It is shown the conditions imposed on the coefficients at the lowest terms of the equation, which ensure the existence and uniqueness of the solution. The existence, uniqueness, and smoothness of a solution are proved, and estimates are found for singular numbers (s-numbers) and eigenvalues of the semiperiodic Dirichlet problem for a class of degenerate elliptic equations with arbitrary power degeneration.
{"title":"Estimates of singular numbers (s-numbers) for a class of degenerate elliptic operators","authors":"Sabit Igisinov, L.D. Zhumaliyeva, A. O. Suleimbekova, Yerik Bayandiyev","doi":"10.31489/2022m3/51-58","DOIUrl":"https://doi.org/10.31489/2022m3/51-58","url":null,"abstract":"In this paper we study a class of degenerate elliptic equations with an arbitrary power degeneracy on the line. Based on the research carried out in the course of the work, the authors propose methods to overcome various difficulties associated with the behavior of functions from the definition domain for a differential operator with piecewise continuous coefficients in a bounded domain, which affect the spectral characteristics of boundary value problems for degenerate elliptic equations. It is shown the conditions imposed on the coefficients at the lowest terms of the equation, which ensure the existence and uniqueness of the solution. The existence, uniqueness, and smoothness of a solution are proved, and estimates are found for singular numbers (s-numbers) and eigenvalues of the semiperiodic Dirichlet problem for a class of degenerate elliptic equations with arbitrary power degeneration.","PeriodicalId":29915,"journal":{"name":"Bulletin of the Karaganda University-Mathematics","volume":" ","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42441643","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}