Vol 30, No 150 (2025)
Original articles
On dynamic reconstruction of a disturbances in distributed parameter systems
Abstract
The problem of dynamic reconstruction of disturbances acting on a nonlinear system composed of two coupled parabolic-type equations is under consideration. Assuming that a solution of the system is measured (with errors) at discrete times, an algorithm for solving the problem is proposed. The algorithm, based on the principles of feedback control theory, is shown to be robust with respect to informational noises and computational inaccuracies. An estimate of the convergence rate of the algorithm is provided.



Proof of Brouwer's conjecture (BC) for all graphs with number of vertices $n>n_0$ assuming that BC holds for $n\leq n_0$ for some $n_0 \leq 10^{24}$
Abstract
Abstract. In the article, the authors consider the problem of constructing an upper bound for the sum of the maximal eigenvalues of Laplacian of a graph. The article is devoted to proving the Brouwer conjecture, which states that the sum of the -maximal eigenvalues of Laplacian of a graph does not exceed the number of edges of the graph plus \( (t + 1)t⁄2 \). Note that we prove the validity of the general Brouwer conjecture under the assumption that the conjecture is valid for a finite number of graphs with the number of vertices less than \( 10^{24 } \), i.e., a complete proof of the conjecture is reduced to establishing its validity for a finite number of graphs. The proof of this conjecture attracts the interest of a large number of specialists. There are a number of results for special graphs and a proof of the conjecture for almost all random graphs. The proof we are considering uses an inductive method that has some peculiarities. The original method involves constructing various estimates for the eigenvalues of Laplacian of a graph which is used to construct the induction step. Several variants of the method are considered depending on the values of the coordinates of the eigenvectors of the Laplacian. The well-known fact of equivalence of the validity of the Brouwer conjecture for the graph itself and the complement of the graph is used.



Pólya groups and fields in some real biquadratic number fields
Abstract
Let K be a number field and \( O_K \) be its ring of integers. Let \( Π_q (K) \) be the product of all prime ideals of \( O_K \) with absolute norm q. The Pólya group of a number field is the subgroup of the class group of K generated by the classes of \( Π_q (K) \). K is a Pólya field if and only if the ideals \( Π_q (K) \) are principal. In this paper, we follow the work that we have done in [S. EL Madrari, “On the Pólya fields of some real biquadratic fields”, Matematicki Vesnik, online 05.09.2024] where we studied the Pólya groups and fields in a particulare cases. Here, we will give the Pólya groups of \( K=Q(√(d_1 ),√(d_2 )) \) such that \( d_1=lm_1 \) and \( d_2=lm_2 \) are square-free integers with \( l>1 \) and \( gcd(m_1;m_2)=1 \) and the prime 2 is not totally ramified in \( K⁄Q \). And then, we characterize the Pólya fields of the real biquadratic fields K.



On the structure of the kernel of the Schwarz problem in an ellipse in the general case
Abstract
The paper calculates the structure of the kernel and co-kernel of the Schwartz problem for $J$-analytic functions defined in the ellipse $D$ with a boundary $\Gamma.$ The Schwartz problem consists in finding a $J$-analytic function in the ellipse $D$ by the known value of its real part on $\Gamma. $ In paragraphs 1 and 2 the problem is formulated and its solution for a~special right part is studied. Paragraph 3 contains the necessary information from one paper by A.\,P.~Soldatov. Paragraph 4 constructs the solution of the Schwarz union problem for the special right-hand side. On the basis of these results, paragraph 5 calculates the kernel and the co-kernel of the Schwartz problem. The model of their calculation is briefly described at the beginning of the fifth paragraph. Then in the theorems \ref{th5.1}--\ref{th5.6} this scheme is implemented. Here the notions of theoretical and algorithmic solvability of the special Schwarz problem introduced by the author are used. The method of mathematical induction is used as well. It is shown that the kernel and co-kernel of the Schwarz problem in an ellipse consist only of vector polynomials. The paper describes the structure of the kernel and co-kernel in terms of the ranks of some real matrices depending on the matrix $J$ and the ellipse $\Gamma.$ The paper concludes with an example of calculating the kernel of the Schwarz problem in an ellipse for a two-dimensional matrix $J$ with multiple eigenvalue.



Characterizations of geometric tripotents in strongly facially symmetric spaces
Abstract
The concept of a geometric tripotent is one of the key concepts in the theory of strongly facially symmetric spaces. This paper studies the properties of geometric tripotents. We establish necessary and sufficient conditions under which a norm-one element of the dual space (real or complex) of a strongly facially symmetric space is a geometric tripotent. We prove that two geometric tripotents in such a space are mutually orthogonal if and only if both their sum and difference have norm one. Furthermore, we show that the set of extreme points of the unit ball coincides with the set of maximal geometric tripotents in the dual of a strongly facially symmetric space. Finally, we examine the relationship between M-orthogonality and ordinary orthogonality in the dual of a complex strongly facially symmetric space, providing a geometric characterization of geometric tripotents.



On the asymptotic behavior of solutions of nonautonomous differential inclusions with a set of several Lyapunov functions
Abstract
or non-autonomous differential inclusions, the issues of attraction and asymptotic behavior of solutions are considered. The basis of the research is the development of the method of limit differential equations in combination with the direct Lyapunov method with several Lyapunov functions. This makes it possible to more accurately localize and determine the structure of \( ω \)-limit sets of solutions. The main problems of the research are the absence of properties of the invariance type of \( ω \)-limit sets of non-autonomous systems and the construction of limit differential relations. They are solved using limit differential inclusions constructed using shifts (translations) of the main differential inclusions. The results have the form of generalizations of the LaSalle invariance principle and provide preliminary information on the limit behavior of solutions. A set of additional Lyapunov functions allows one to refine this behavior and to single out those points from the set of zeros of the derivative of the main Lyapunov function that obviously do not belong to the \( ω \)-limit sets. The results are illustrated by the example of a linear oscillator with dry friction.



Two parameter $C_{0}$-semigroups of linear operators on locally convex spaces
Abstract
The purpose of this paper is to study two parameter (resp. $n$-parameter) expo\-nen\-tial\-ly equicontinuous $C_{0}$-semigroups of continuous linear operators on sequentially complete locally convex Hausdorff spaces. In particular, we demonstrate the Hille--Yosida theorem for two parameter (resp. $n$-parameter) exponentially equicontinuous $C_{0}$-semigroups of continuous linear operators on sequentially complete locally convex Hausdorff spaces. Moreover, the $n$-parameter $C_{0}$-semigroups of continuous linear operators on Banach spaces are studied.


