Related papers: Algorithmic Reduction and Rational General Solutio…
The nature of so-called differential-algebraic operators and their approximations is constitutive for the direct treatment of higher-index differential-algebraic equations. We treat first-order differential-algebraic operators in detail and…
Robust optimization (RO) has emerged as one of the leading paradigms to efficiently model parameter uncertainty. The recent connections between RO and problems in statistics and machine learning domains demand for solving RO problems in…
Our paper "Solving Third Order Linear Difference Equations in Terms of Second Order Equations" gave two algorithms for solving difference equations in terms of lower order equations: an algorithm for absolute factorization, and an algorithm…
We discuss first order systems of rational difference equations which have the property that lines through the origin are mapped into lines through the origin. We call such systems projective systems of rational difference equations and we…
We provide a generalization of first-order necessary conditions of optimality for infinite-dimensional optimization problems with a finite number of inequality constraints and with a finite number of inequality and equality constraints. Our…
Because the distant retrograde orbits dynamics inherently depends on special functions, approximate analytical solutions in the literature are commonly constrained to providing rough approximations of the qualitative behavior. We rely on…
In the paper we offer a functional-discrete method for solving the Cauchy problem for the first order ordinary differential equations (ODEs). This method (FD-method) is in some sense similar to the Adomian Decomposition Method. But it is…
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…
First-order automatic differentiation is a ubiquitous tool across statistics, machine learning, and computer science. Higher-order implementations of automatic differentiation, however, have yet to realize the same utility. In this paper I…
The solution of pseudo initial value differential equations, either ordinary or partial (including those of fractional nature), requires the development of adequate analytical methods, complementing those well established in the ordinary…
A new method for finding first integrals of discrete equations is presented. It can be used for discrete equations which do not possess a variational (Lagrangian or Hamiltonian) formulation. The method is based on a newly established…
We show that a Fuchsian differential equation having five regular singular points admits solutions in terms of a single generalized hypergeometric function for infinitely many particular choices of equation parameters. Each solution assumes…
We show how to approximate a solution of the first order linear evolution equation, together with its possible analytic continuation, using a solution of the time-fractional equation of order $\delta >1$, where $\delta \to 1+0$.
Using the Chiellini condition for integrability we derive explicit solutions for a generalized system of Riccati equations $\ddot{x}+\alpha x^{2n+1}\dot{x}+x^{4n+3}=0$ by reduction to the first-order Abel equation assuming the parameter…
In this Letter we identify special systems of (an arbitrary number) N of first-order Ordinary Differential Equations with homogeneous polynomials of arbitrary degree M on their right-hand sides, which feature very simple explicit solutions;…
First order optimization algorithms play a major role in large scale machine learning. A new class of methods, called adaptive algorithms, were recently introduced to adjust iteratively the learning rate for each coordinate. Despite great…
For a nonlinear ordinary differential equation solved with respect to the highest order derivative and rational in the other derivatives and in the independent variable, we devise two algorithms to check if the equation can be reduced to a…
Deciding formulas mixing arithmetic and uninterpreted predicates is of practical interest, notably for applications in verification. Some decision procedures consist in building by structural induction an automaton that recognizes the set…
In every variety of algebras $\Theta$ we can consider its logic and its algebraic geometry. In the previous papers geometry in equational logic, i.e., equational geometry has been studied. Here we describe an extension of this theory…
The Riccati equation method is used to establish some global solvability criteria for some classes of second order nonlinear ordinary differential equations. Two oscillation theorems are proved. The results are applied to the Emden - Fowler…