Related papers: Computable Integrability. Chapter 2: Riccati equat…
In this paper, the open-loop, closed-loop, and weak closed-loop solvability for discrete-time linear-quadratic (LQ) control problem is considered due to the fact that it is always open-loop optimal solvable if the LQ control problem is…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
We consider an hierarchy of integrable 1+2-dimensional equations related to Lie algebra of the vector fields on the line. The solutions in quadratures are constructed depending on $n$ arbitrary functions of one argument. The most…
In this paper we consider a class of conjugate equations, which generalizes de Rham's functional equations. We give sufficient conditions for existence and uniqueness of solutions under two different series of assumptions. We consider…
In this paper we demonstrate for the first time that it is possible to solve numerically the Cauchy problem for the linearisation of the general conformal field equations near spacelike infinity, which is only well-defined in Friedrich's…
An infinite family of exactly-solvable and integrable potentials on a plane is introduced. It is shown that all already known rational potentials with the above properties allowing separation of variables in polar coordinates are particular…
The cosmological Friedmann equation for the universe filled with a scalar field is reduced to a system of two equations of the first order, one of which is an equation with separable variables. For the second equation the exact solutions…
We present several second-order linear differential equations that are associated to a particular Riccati equation with only one constant parameter in its coefficients through the technique of supersymmetric factorizations and through a…
We construct local zero curvature representations for non-linear sigma models on homogeneous spaces, defined on a space-time of any dimension, following a recently proposed approach to integrable theories in dimensions higher than two. We…
The theory of classical realizability is a framework in which we can develop the proof-program correspondence. Using this framework, we show how to transform into programs the proofs in classical analysis with dependent choice and the…
We reformulate the self-dual Einstein equation as a trio of differential form equations for simple two-forms. Using them, we can quickly show the equivalence of the theory and 2D sigma models valued in an infinite-dimensional group, which…
Exact and quasi-exact solvabilities of the one-dimensional Schr\"odinger equation are discussed from a unified viewpoint based on the prepotential together with Bethe ansatz equations. This is a constructive approach which gives the…
A three-dimensional Riccati differential equation of complex quaternion-valued functions is studied. Many properties similar to those of the ordinary differential Riccati equation such that linearization and Picard theorem are obtained. Lie…
The paper intends to offer a general overview on what the concept of integrability means for a nonlinear dynamical system and how the symmetry method can be applied for approaching it. After a general part where key problems as direct and…
We study 2D non-linear sigma models on a group manifold with a special form of the metric. We address the question of integrability for this special class of sigma models. We derive two algebraic conditions for the metric on the group…
The present paper derives systems of partial differential equations that admit a quadratic zero curvature representation for an arbitrary real semisimple Lie algebra. It also determines the general form of Hamilton's principles and…
We investigate feasible computation over a fairly general notion of data and codata. Specifically, we present a direct Bellantoni-Cook-style normal/safe typed programming formalism, RS1, that expresses feasible structural recursions and…
We construct metrics of positive $2^{\rm nd}$ intermediate Ricci curvature, $\mathrm{Ric}_2>0$, on closed manifolds of dimensions 10, 11, 12, 13 and 14, including $\mathbb{S}^6\times\mathbb{S}^7$, $\mathbb{S}^7\times\mathbb{S}^7$ and all…
We construct a realizability model of linear dependent type theory from a linear combinatory algebra. Our model motivates a number of additions to the type theory. In particular, we add a universe with two decoding operations: one takes…
We derive a general formula for the RG improved effective (Coleman-Weinberg) potential for classically conformal models, applying it to several examples of physical interest, and in particular a model of QCD coupled via quarks to a…