Related papers: Recursion operator for a system admitting Lax repr…
The paper develops an optimal regulator for a general class of multi-input affine nonlinear systems minimizing a nonlinear cost functional with infinite horizon. The cost functional is general enough to enforce saturation limits on the…
The work is devoted to constructing a wide class of differential-functional dynamical systems, whose rich algebraic structure makes their integrability analytically effective. In particular, there is analyzed in detail the operator Lax type…
In this paper, we give a unified construction of the recursion operators from the Lax representation for three integrable hierarchies: Kadomtsev-Petviashvili (KP), modified Kadomtsev-Petviashvili (mKP) and Harry-Dym under $n$-reduction.…
Using simultaneously two operator identities, we consider the inversion of the convolution operators on a rectangular. The structure of the inverse operators and of some corresponding forms, which are important in signal processing, is…
New quasilocal recursion and Hamiltonian operators for the Krichever-Novikov and the Landau-Lifshitz equations are found. It is shown that the associative algebra of quasilocal recursion operators for these models is generated by a couple…
Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…
The dynamic regressor extension and mixing procedure is employed to redesign a conventional adaptive observer algorithm for affine systems. A reduced-order observer is designed without the construction of the state transition matrix. The…
Reduction operators (called also nonclassical or $Q$-conditional symmetries) of variable coefficient semilinear reaction-diffusion equations with exponential source $f(x)u_t=(g(x)u_x)_x+h(x)e^{mu}$ are investigated using the algorithm…
Observer design is considered for a class of non-linear systems whose non-linear part is energy preserving. A strategy to construct convergent observers for this class of non-linear system is presented. The approach has the advantage that…
We constructed the three nonequivalent gradings in the algebra $D_4 \simeq so(8)$. The first one is the standard one obtained with the Coxeter automorphism $C_1=S_{\alpha_2} S_{\alpha_1}S_{\alpha_3}S_{\alpha_4}$ using its dihedral…
A simple version for the extension of the Taylor theorem to the operator functions was found. The expansion was done with respect to a value given by a diagonal matrix for the non-commutative case, and the coefficients are given both by…
By a physical system we recognize a set of propositions about a given system with their truth-values depending on the states of the system. Since every physical system can go from one state in another one, there exists a binary relation on…
We show that the derivative of the (measure) transfer operator with respect to the parameter of the map is a divergence. Then, for physical measures of discrete-time hyperbolic chaotic systems, we derive an equivariant divergence formula…
A projection operator technique for solution of relativistic wave equation on non-compact group has been proposed. This technique was applied to the construction of wave equations for charged vector boson in a potential field. The equations…
We propose a (limited) solution to the problem of constructing stream values defined by recursive equations that do not respect the guardedness condition. The guardedness condition is imposed on definitions of corecursive functions in Coq,…
Martin-L\"of's Intuitionistic Theory of Types is becoming popular for formal reasoning about computer programs. To handle recursion schemes other than primitive recursion, a theory of well-founded relations is presented. Using primitive…
We systematically introduce the idea of applying differential operator method to find a particular solution of an ordinary nonhomogeneous linear differential equation with constant coefficients when the nonhomogeneous term is a polynomial…
We consider series expansions in bases of classical orthogonal polynomials. When such a series solves a linear differential equation with polynomial coefficients, its coefficients satisfy a linear recurrence equation. We interpret this…
The paper discusses a reuse of matrix factorization as a building block in the Augmented Lagrangian (AL) and modified AL preconditioners for non-symmetric saddle point linear algebraic systems. The strategy is applied to solve…
This paper deals with a certain class of second-order conformally invariant operators acting on functions taking values in particular (finite-dimensional) irreducible representations of the orthogonal group. These operators can be seen as a…