Visnyk of V. N. Karazin Kharkiv National University. Ser. Mathematics, Applied Mathematics and Mechanics
https://periodicals.karazin.ua/mech_math
<p><span style="color: #009900;"><strong>Indexed/Abstracted</strong></span> in <a href="http://www.zentralblatt-math.org/zmath/en/search/?q=se:00002693" target="_blank" rel="noopener"><strong>Zentralblatt MATH</strong></a> ( since <strong>1999</strong>; indexed more than <strong>39</strong><strong>0</strong> documents). <br>Zentralblatt MATH (<a href="https://zbmath.org/about/" target="_blank" rel="noopener"><strong>zbMATH</strong></a>) is the world’s most comprehensive and longest-running abstracting and reviewing service in pure and applied mathematics.</p>V. N. Karazin Kharkiv National Universityen-USVisnyk of V. N. Karazin Kharkiv National University. Ser. Mathematics, Applied Mathematics and Mechanics2221-5646<p>The copyright holder is the <strong>author</strong>.</p> <p>Authors who publish with this journal agree to the following terms:</p> <p>1. Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a <strong>Creative Commons Attribution License</strong> that allows others to share the work with an acknowledgement of the work's authorship and <strong>initial publication in this journal</strong>. (Attribution-Noncommercial-No Derivative Works licence). </p> <p>2. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.</p> <p>3. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (see The Effect of Open Access).</p>On two resolvent matrices of the truncated Hausdorff matrix moment problem
https://periodicals.karazin.ua/mech_math/article/view/20899
<p>We consider the truncated Hausdorff matrix moment problem (THMM) in case of a finite number of even moments to be called non degenerate if two block Hankel matrices constructed via the moments are both positive definite matrices. The set of solutions of the THMM problem in case of a finite number of even moments is given with the help of the block matrices of the so-called resolvent matrix. The resolvent matrix of the THMM problem in the non degenerate case for matrix moments of dimension $q\times q$, is a $2q\times 2q$ matrix polynomial constructed via the given moments.</p> <p>In 2001, in [Yu.M. Dyukarev, A.E. Choque Rivero, Power moment problem on compact intervals, Mat. Sb.-2001. -69(1-2). -P.175-187], the resolvent matrix $V^{(2n+1)}$ for the<br>mentioned THMM problem was proposed for the first time. In 2006, in [A. E. Choque Rivero, Y. M. Dyukarev, B. Fritzsche and B. Kirstein, A truncated matricial moment problem on a finite interval,<br>Interpolation, Schur Functions and Moment Problems. Oper. Theory: Adv. Appl. -2006. - 165. - P. 121-173], another resolvent matrix $U^{(2n+1)}$ for the same problem was given.<br>In this paper, we prove that there is an explicit relation between these two resolvent matrices of the form $V^{(2n+1)}=A U^{(2n+1)}B$, where $A$ and $B$ are constant matrices. We also focus on the following difference:<br>For the definition of the resolvent matrix $V^{(2n+1)}$, one requires an additional condition when compared with the resolvent matrix $U^{(2n+1)}$ which only requires that two block Hankel matrices be positive definite.</p> <p>In 2015, in [A. E. Choque Rivero, From the Potapov to the Krein-Nudel'man representation of the resolvent matrix of the truncated Hausdorff matrix moment problem, Bol. Soc. Mat. Mexicana. -- 2015. -- 21(2). -- P. 233--259], a representation of the resolvent matrix of 2006 via matrix orthogonal polynomials was given. In this work, we do not relate the resolvent matrix $V^{(2n+1)}$ with the results of [A. E. Choque Rivero, From the Potapov to the Krein-Nudel'man representation of the resolvent matrix of the truncated Hausdorff matrix moment problem, Bol. Soc. Mat. Mexicana. -- 2015. -- 21(2). -- P. 233--259]. The importance of the relation between $U^{(2n+1)}$ and $V^{(2n+1)}$ is explained by the fact that new relations among orthogonal matrix polynomials, Blaschke-Potapov factors, Dyukarev-Stieltjes parameters, and matrix continued fraction can be found. Although in the present work algebraic identities are used, to prove the relation between $U^{(2n+1)}$ and $V^{(2n+1)}$, the analytic justification of both resolvent matrices relies on the V.P. Potapov method. This approach was successfully developed in a number of works concerning<br>interpolation matrix problems in the Nevanlinna class of functions and matrix moment problems.</p>A. E. Choque-RiveroB. E. Medina-Hernandez
Copyright (c) 2022 A. E. Choque-Rivero, B. E. Medina-Hernandez
http://creativecommons.org/licenses/by-nc-nd/4.0
2022-07-072022-07-079542210.26565/2221-5646-2022-95-01On relation between statistical ideal and ideal generated by a modulus function
https://periodicals.karazin.ua/mech_math/article/view/20902
<pre>Ideal on an arbitrary non-empty set $\Omega$ it's a non-empty family of subset $\mathfrak{I}$ of the set $\Omega$ which satisfies the following axioms: $\Omega \notin \mathfrak{I}$, if $A, B \in \mathfrak{I}$, then $A \cup B \in \mathfrak{I}$, if $A \in \mathfrak{I}$ and $D \subset A$, then $D \in \mathfrak{I}$. The ideal theory is a very popular branch of modern mathematical research. In our paper we study some classes of ideals on the set of all positive integers $\mathbb{N}$, namely the ideal of statistical convergence $\mathfrak{I}_s$ and the ideal $\mathfrak{I}_f$ generated by a modular function $f$. Statistical ideal it's a family of subsets of $\mathbb{N}$ whose natural density is equal to 0, i.e. $A \in \mathfrak{I}_s$ if and only if $\displaystyle\lim\limits_{n \rightarrow \infty}\frac{\#\{k \leq n: k \in A\}}{n} = 0$. A function $f:\mathbb{R}^+ \rightarrow \mathbb{R}^+$ is called a modular function, if $f(x) = 0$ only if $x = 0$, $f(x + y) \leq f(x) + f(y)$ for all $x, y \in\mathbb{R}^+$, $f(x) \le f(y)$ whenever $x \le y$, $f$ is continuous from the right 0, and finally $\lim\limits_{n \rightarrow \infty} f(n) = \infty$. Ideal, generated by the modular function $f$ it's a family of subsets of $\mathbb{N}$ with zero $f$-density, in other words, $A \in \mathfrak{I}_f$ if and only if $\displaystyle\lim\limits_{n \rightarrow \infty}\frac{f(\#\{k \leq n: k \in A\})}{f(n)} = 0$. It is known that for an arbitrary modular function $f$ the following is true: $\mathfrak{I}_f \subset \mathfrak{I}_s$. In our research we give the complete description of those modular functions $f$ for which $\mathfrak{I}_f = \mathfrak{I}_s$. Then we analyse obtained result, give some partial cases of it and prove one simple sufficient condition for the equality $\mathfrak{I}_f = \mathfrak{I}_s$. The last section of this article is devoted to examples of some modulus functions $f, g$ for which $\mathfrak{I}_f = \mathfrak{I}_s$ and $\mathfrak{I}_g \neq \mathfrak{I}_s$. Namely, if $f(x) = x^p$ where $p \in (0, 1]$ we have $\mathfrak{I}_f = \mathfrak{I}_s$; for $g(x) = \log(1 + x)$, we obtain $\mathfrak{I}_g \neq \mathfrak{I}_s$. Then we consider more complicated function $f$ which is given recursively to demonstrate that the conditions of the main theorem of our paper can't be reduced to the sufficient condition mentioned above.</pre>D. Seliutin
Copyright (c)
2022-01-192022-01-1995233010.26565/2221-5646-2022-95-02Two-point boundary value problem for systems of pseudo-differential equations under boundary conditions containing pseudo-differential operators
https://periodicals.karazin.ua/mech_math/article/view/20905
<pre>This paper deals with a two-point boundary value problem for pseudodifferential equations and for systems of second order pseudodifferential equations under boundary conditions containing pseudodifferential operators. The need to consider pseudodifferential operators is caused by two reasons, first, such equations appear more and more often in applied problems, and second, by considering such equations, it is possible to achieve the well-posedness of the boundary value problem in the Schwartz space S and in its dual space.First, we consider a scalar pseudodifferential equation with a symbol belonging to the space $C_{-\infty}^{\infty}$, consists of infinitely differentiable functions of polinomial growth. For this equation it is found of the boundary condition under which a specific type the boundary value problem is well-posed in the space S. In addition, an example of a differential-difference equation and a specific boundary condition with a convolution-type pseudo-differential operator under which this boundary value problem is well-posed in the space S are given.Then we consider a system of two pseudodifferential equations with symbols from the space $C _ {-\infty} ^ {\infty}$. For this system, we prove the existence of a well posed boundary value problem in the space S. The Fourier transform and the reduction of the system to a triangular form are used in the proof. In this case, we also give an example of a system and a specific boundary condition under which this boundary value problem is correct in the space S.Thus, the work proves that for any pseudo-differential equation, as well as for a system of two pseudo-differential equations, there is always a correct boundary value problem in the $S$ space, while the boundary conditions contain pseudo-differential operators. The algorithm for constructing correct boundary conditions is also indicated. They are pseudo-differential operators whose symbols depend on the symbols of pseudo-differential equations.</pre>O. MakarovI. Nikolenko
Copyright (c) 2022 О.А. Макаров, І.Г. Ніколенко
http://creativecommons.org/licenses/by-nc-nd/4.0
2022-06-182022-06-1895313810.26565/2221-5646-2022-95-03Cramer's rule for implicit linear differential equations over a non-Archimedean ring
https://periodicals.karazin.ua/mech_math/article/view/20906
<p>We consider a linear nonhomogeneous $m$-th order differential equation in a ring of formal power series with coefficients from some field of characteristic zero.<br>This equation has infinite many solutions in this ring -- one for each initial condition of the corresponding Cauchy problem. These solutions can be found using classical methods of differential equation theory.<br><br>Let us suppose the coefficients of the equation and the coefficients of nonhomogeneity belong to some integral domain $K$. We are looking for a solution in the form of a formal power series with coefficients from this integral domain. The methods of classical theory do not allow us to find out whether there exists an initial condition that corresponds to the solution of the coefficients from $K$ and do not allow find this initial condition.<br><br>To solve this problem, we use the method proposed by U. Broggi. This method allows to find a formal solution of the linear nonhomogeneous differential equation in the form of some special series.<br><br>In previous articles, sufficient conditions for the existence and uniqueness of a solution were found for a certain class of rings $K$ with a non-Archimedean valuation. If these conditions hold, the formal power series obtained using the Broggi’s method is considered. Its coefficients are the sums of series that converge in the non-Archimedean topology considered. It is shown that this series is the solution from $K[[x]]$ of our equation.<br><br>Note that this equation over a ring of formal power series can be considered as an infinite linear system of equations with respect to the coefficients of unknown formal power series.<br>In this article it is proved that this system can be solved by some analogue of Cramer's method, in which the determinants of infinite matrices are found as limits of some finite determinants in the non-Archimedean topology.</p> <p> </p>A. Goncharuk
Copyright (c)
2022-06-262022-06-2695394810.26565/2221-5646-2022-95-04