Universal algebras

A survey of the development of the theory of universal algebras in the years 1976–1988. Such basic directions of development of this theory as classes of universal algebras (varieties, quasivarieties, etc.), Mal'tsev conditions, congruences, sheaves, homomorphisms, subalgebras, products of algebras, clones of operations, completeness, systems of equations in algeberas, and connections with computer mathematics show up in it. Considerable attention is given to concrete classes of algebras (p-algebras, BCK-algebras, unary algebras, etc.).Translated from Itogi Nauki i Tekhniki, Seriya Algebra, Topologiya, Geometriya, Vol. 27, pp. 45–124, 1989.     

A method for calculating invariant subspaces of symmetric hyperbolic equations

An algorithm is constructed for calculating invariant subspaces of symmetric hyperbolic systems arising in electromagnetic, acoustic, and elasticity problems. Discrete approximations are calculated for subspaces that correspond to minimal eigenvalues and smooth eigenfunctions. Difficulties related to the presence of an infinite-dimensional kernel in the differential operator are successfully handled. The efficiency of the algorithm is demonstrated using acoustics equations.     

The Markov power moment problem in problems of controllability and frequency extinguishing for the wave equation on a half-axis

In this paper necessary and sufficient conditions of null-controllability and approximate null-controllability are obtained for the wave equation on a half-axis. Controls solving these problems are found explicitly. Moreover, bang-bang controls solving the approximate null-controllability problem are constructed with the aid of solutions of a frequency extinguishing problem in the restricted band (−a,a) for this equation and the Markov power moment problem.     

Contact Interaction of Two Elastic Wedges

We consider the problem of contact of two elastic wedges and assume that only the vertices of the wedges touch before loading. After loading, the edges of both wedges come in contact near their common vertex. We reduce the constructed system of dual integral equations to a Fredholm integral equation of the second kind with difference kernel given on the semiaxis. We analytically solve the Fredholm equation by reducing it to the boundary-value Riemann problem for analytic functions. We obtain an analytic expression for contact stresses.     

ON THE ROLES OF COMPLEMENTARY AND ADMISSIBLE BOUNDARY CONSTRAINTS IN FOURIER SOLUTIONS TO THE BOUNDARY VALUE PROBLEMS OF COMPLETELY COUPLED r TH ORDER PDES

A heretofore unavailable double Fourier series based approach, for obtaining non-separable solution to a system of completely coupled linear r th order partial differential equations with constant coefficients and subjected to general (completely coupled) boundary conditions, has been presented. The method has been successfully implemented to solve a class of hitherto unsolved boundary-value problems, pertaining to free and forced vibrations of arbitrarily laminated anisotropic doubly curved thin panels of rectangular planform, with arbitrarily prescribed (both symmetric and asymmetric with respect to the panel centerlines) admissible boundary conditions and subjected to general transverse loading.Existing solutions such as those due to Navier or Levy are based on the well-known method of separation of variables. Such solutions represent particular solutions whenever the method of separation of variables work, and when these particular solution functions fortuitously satisfy the boundary conditions. For derivation of the complementary solution, the complementary boundary constraints are introduced through boundary discontinuities of some of the particular solution functions and their partial derivatives. Such discontinuities form sets of measure zero.Various cases of lamination, geometry and dynamic response (forced and free vibrations) of a class of thin anisotropic laminated shells (curved panels) have been shown to follow from the above. Six sets of boundary conditions are used to illustrate the present method for the derivation of complementary solutions. Navier-type solutions whenever available form special cases of the present general solution.