This work is devoted to the study of some properties of linear homogeneous differential equations of the first order in Banach algebras. It is found (for some types of Banach algebras), at what right-hand side of such an equation, from the invertibility of the initial condition it follows the invertibility of its solution at any given time. Associative Banach algebras over the field of real or complex numbers are considered. The right parts of the studied equations have the form [F(t)](x(t)), where {F(t)} is a family of bounded operators on the algebra, continuous with respect to t∈R. The problem is to find all continuous families of bounded operators on algebra, preserving the invertibility of elements from it, for a given Banach algebra. In the proposed article, this problem is solved for only three cases. In the first case, the algebra consists of all square matrices of a given order. For this algebra, it is shown that all continuous families of operators, preserving the invertibility of elements from the algebra at zero must be of the form [F(t)](y)=a(t)⋅y+y⋅b(t), where the families {a(t)} and {b(t)} are also continuous. In the second case, the algebra consists of all continuous functions on the segment. For this case, it is shown that all families of operators, preserving the invertibility of elements from the algebra at any time must be of the form [F(t)](y)=a(t)⋅y, where the family {a(t)} is also continuous. The third case concerns those Banach algebras in which all nonzero elements are invertible. For example, the algebra of complex numbers and the algebra of quaternions have this property. In this case, any continuous families of bounded operators preserves the invertibility of the elements from the algebra at any time. The proposed study is in contact with the research of the foundations of quantum mechanics. The dynamics of quantum observables is described by the Heisenberg equation. The obtained results are an indirect argument in favor of the fact, that the known form of the Heisenberg equation is the only correct one.
Read full abstract