Related papers: A new Lie systems approach to second-order Riccati…
In this study, the Riccati equation is resolved using the generalized recursive integrating factor method. By applying a non-linear transformation to the dependent variable $y(x)$ of the Riccati equation, a second-order linear differential…
This study will explicitly demonstrate by example that an unrestricted infinite and forward recursive hierarchy of differential equations must be identified as an unclosed system of equations, despite the fact that to each unknown function…
We construct second order reductions of the generalized Witten-Dijkgraaf-Verlinde-Verlinde system based on simple Lie algebras. We discuss to what extent some of the symmetries of the WDVV system are preserved by the reduction.
Two-way relationships between transformations and quadratic forms on Wiener spaces are investigated with the help of change of variables formulas on Wiener spaces. Further the evaluation of Laplace transforms of quadratic forms via Riccati…
A set of linear second-order differential equations is converted into a semigroup, whose algebraic structure is used to generate many novel equations. Two independent methods that can be used to derive the equations of the semigroup are…
On the basis of the previous work by Tang \& Zhang (Appl. Math. Comput. 323, 2018, p. 204--219), in this paper we present a more effective way to construct high-order symplectic integrators for solving second order Hamiltonian equations.…
In this paper we consider an alternative approach to "un-reduction". This is the process where one associates to a Lagrangian system on a manifold a dynamical system on a principal bundle over that manifold, in such a way that solutions…
An update of the ODEtools Maple package, for the analytical solving of 1st and 2nd order ODEs using Lie group symmetry methods, is presented. The set of routines includes an ODE-solver and user-level commands realizing most of the relevant…
This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and…
A Lie system is a system of differential equations describing the integral curves of a $t$-dependent vector field taking values in a finite-dimensional real Lie algebra of vector fields, a Vessiot-Guldberg Lie algebra. We define and analyze…
This paper proposes a novel iterative algorithm to compute the stabilizing solution of regime-switching stochastic game-theoretic Riccati differential equations with periodic coefficients. The method decomposes the original complex…
The present study provides another look on Lamperti's theorem on recurrence or transience of stochastic sequences. We establish connection between Lamperti's theorem and the recent result by the author [V. M. Abramov, Theor. Probab. Math.…
The bisimulation proof method can be enhanced by employing `bisimulations up-to' techniques. A comprehensive theory of such enhancements has been developed for first-order (i.e., CCS-like) labelled transition systems (LTSs) and…
Logical frameworks can be used to translate proofs from a proof system to another one. For this purpose, we should be able to encode the theory of the proof system in the logical framework. The Lambda Pi calculus modulo theory is one of…
The Riccati equation method is used to establish new oscillation criteria for extended linear matrix Hamiltonian systems. This method allows to obtain results in in a new direction, which is to break the positive definiteness condition,…
Motivated by two Legendre-type formulas for overpartitions, we derive a variety of their companions as Legendre theorems for overpartition pairs. This leads to equalities of subclasses of overpartitions and overpartition pairs.
We obtain explicit formulas for the solutions of the system of second-order difference equations of the form $x_{n+ 1} = \frac{x_n y_{n-1}}{y_n (a_n + b_n x_n y_{n - 1})}, \quad y_{n+1} = \frac{x_{n - 1} y_n}{x_n (c_n+d_n x_{n-1} y_n)}$,…
The problem of linearization by point transformations is solved for equations in the generalized Riccati and Abel chain of order not exceeding the fourth. It is shown in particular that nonlinear third order and fourth order equations from…
Work in progress concerning alternative formalizations of arithmetic.
We provide a new proof of a important theorem in the Lagrangian formalism about necessary and sufficient conditions for a second-order variational system of equations to follow from a first-order Lagrangian.