Related papers: When any four solutions are independent
In this paper, we show how solutions to explicit algebraic systems lead to solutions to infinite families of modular differential equations.
In solving diffusion problems, it is common to consider the finite difference equation to be an approximation to the differential equation. Nevertheless, history shows that the finite difference equation is primitive and that the…
Even if it is nonintegrable, a differential equation may nevertheless admit particular solutions which are globally analytic. On the example of the dynamical system of Kuramoto and Sivashinsky, which is generically chaotic and presents a…
We introduce and study minimal (with respect to inclusion) solutions of systems of tropical linear differential equations. We describe the set of all minimal solutions for a single equation. It is shown that any tropical linear differential…
We study four (families of) sets of algebraic integers of degree less than or equal to three. Apart from being simply defined, we show that they share two distinctive characteristics: almost uniformity and arithmetical independence. Here,…
A special class of autonomous algebraic differential equations is studied. No equations in the class have any entire transcendental solutions. In a sense, for almost all equations in the class, transcendental meromorphic solutions can also…
We obtain the solution of the fourth order difference equation $$ x_{n+1}=\frac{ \alpha x_{n-3}}{A+B x_{n-1}x_{n-3}}$$ with the initial conditions; $x_{-3}=d,$ $x_{-2}=c,$ $x_{-1}=b,$ and $x_{0}=a$ are arbitrary nonzero real numbers,…
We consider a rational system of first order difference equations in the plane with four parameters such that all fractions have a common denominator. We study, for the different values of the parameters, the global and local properties of…
Full set of autonomous completely solvable differential systems of equations in total differentials is built by basis of infinitesimal operators, universal invariant, and structure constants of admited multiparametric Lie group (abelian and…
We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…
This is a survey on the finite basis problem for varieties of algebraic systems. Our exposition is in two directions: (i) We give numerous examples of varieties which are not finitely based. (ii) We give examples of important varieties with…
We study rational streams (over a field) from a coalgebraic perspective. Exploiting the finality of the set of streams, we present an elementary and uniform proof of the equivalence of four notions of representability of rational streams:…
It is shown that a trivial version of polarization is sufficient to produce separating systems of polynomial invariants: if two points in the direct sum of the $G$--modules $W$ and $m$ copies of $V$ can be separated by polynomial…
This is the first out of two papers on independent resolutions for totally disconnected dynamical systems. In the present paper, we discuss independent resolutions from an algebraic point of view. We also present applications to group…
Using tools from the Siegel-Shidlovskii theory of transcendental numbers, we prove that a nontrivial solution of the Airy equation, its derivative, and an antiderivative are algebraically independent over the field of rational functions.…
If V is a representation of a linear algebraic group G, a set S of G-invariant regular functions on V is called separating if the following holds: If two elements v,v' from V can be separated by an invariant function, then there is an f…
It was recently conjectured that every component of a discrete-time rational dynamical system is a solution to an algebraic difference equation that is linear in its highest-shift term (a quasi-linear equation). We prove that the conjecture…
Computation of polynomial relative invariants is a classical tool in algebra. Relative differential invariants are central for the equivalence problem of geometric structures. We address the fundamental problem of finite generation of their…
We exhibit an algorithm to compute the strongest algebraic (or polynomial) invariants that hold at each location of a given unguarded linear hybrid automaton (i.e., a hybrid automaton having only unguarded transitions, all of whose…
We propose an algebraic geometric approach for studying rational solutions of first-order algebraic ordinary difference equations. For an autonomous first-order algebraic ordinary difference equations, we give an upper bound for the degrees…