Related papers: The structure of general solutions and integrabili…
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
Neural ordinary differential equations (ODEs) are an emerging class of deep learning models for dynamical systems. They are particularly useful for learning an ODE vector field from observed trajectories (i.e., inverse problems). We here…
On the generalized tangent bundle of a smooth manifold, we study skew-symmetric endomorphism satisfying an arbitrary polynomial equation with real constant coefficients. We study the compatibility of these structures with the de Rham…
We classify all solutions (p,q) to the equation p(u)q(u)=p(u+b)q(u+a) where p and q are complex polynomials in one indeterminate u, and a and b are fixed but arbitrary complex numbers. This equation is a special case of a system of…
We study structured optimization problems with polynomial objective function and polynomial equality constraints. The structure comes from a multi-grading on the polynomial ring in several variables. For fixed multi-degrees we determine the…
We propose a framework to define solutions of ODE systems under a novel condition that goes well beyond the usual continuity condition required in the classical theory of ODEs (Peano's or Picard's theorems). We illustrate our results with…
We prove that, for generic systems of polynomial differential equations, the dependence of the solution on the initial conditions is not differentially algebraic. This answers, in the negative, a question posed by L.A. Rubel.
The general term of the Poincare normalizing series is explicitly constructed for non-resonant systems of ODE's in a large class of equations. In the resonant case, a non-local transformation is found, which exactly linearizes the ODE's and…
Let $\{\mathbb{P}_n\}_{n\ge 0}$ and $\{\mathbb{Q}_n\}_{n\ge 0}$ be two monic polynomial systems in several variables satisfying the linear structure relation $$\mathbb{Q}_n = \mathbb{P}_n + M_n \mathbb{P}_{n-1}, \quad n\ge 1,$$ where $M_n$…
We provide linearizability criteria for a class of systems of third-order ordinary differential equations (ODEs) that is cubically semi-linear in the first derivative, by differentiating a system of second-order quadratically semi-linear…
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 prove that a general class of nonlinear, non-autonomous ODEs in Fr\'echet spaces are close to ODEs in a specific normal form, where closeness means that solutions of the normal form ODE satisfy the original ODE up to a residual that…
We consider systems A_\ell(t) y(q^\ell t) + ... + A_0(t) y(t) = b(t) of higher order q-recurrence equations with rational coefficients. We extend a method for finding a bound on the maximal power of t in the denominator of arbitrary…
We study a relationship between regular flat structures and generalized Okubo systems. We show that the space of variables of isomonodromic deformations of a regular generalized Okubo system can be equipped with a flat structure. As its…
We study the characterization and computation of general policies for families of problems that share a structure characterized by a common reduction into a single abstract problem. Policies $\mu$ that solve the abstract problem P have been…
We provide a sufficient condition for solvability of a system of real quadratic equations $p_i(x)=y_i$, $i=1, \ldots, m$, where $p_i: {\mathbb R}^n \longrightarrow {\mathbb R}$ are quadratic forms. By solving a positive semidefinite…
In a recent paper (arXiv:1501.06164) the author has introduced a new theory of generalised solutions which applies to fully nonlinear PDE systems of any order and allows the interpretation of merely measurable maps as solutions. This…
This paper deals with the index reduction problem for the class of quasi-regular DAE systems. It is shown that any of these systems can be transformed to a generically equivalent first order DAE system consisting of a single purely…
The quantum Yang-Baxter equation admits generalisations to systems of Yang-Baxter type equations called Yang-Baxter systems. Starting from algebra structures, we propose new constructions of some constant as well as the spectral-parameter…
We describe simple algebraic and combinatorial characterisations of finite relational core structures admitting finitely many obstructions. As a consequence, we show that it is decidable to determine whether a constraint satisfaction…