Related papers: Computing necessary integrability conditions for p…
We give conditions for the existence of regular optimal partitions, with an arbitrary number $\ell\geq 2$ of components, for the Yamabe equation on a closed Riemannian manifold $(M,g)$. To this aim, we study a weakly coupled competitive…
Written with respect to an appropriate Poisson structure, a partially integrable Hamiltonian system is viewed as a completely integrable system with parameters. Then, the theorem on quasi-periodic stability in Ref. [1] (the KAM theorem) can…
We present a new method for building sequences of solvable profiles of the electromagnetic (EM) admittance in lossless isotropic materials with 1D graded permittivity and permeability (in particular profiles of the optical…
We present necessary and sufficient optimality conditions for finite time optimal control problems for a class of hybrid systems described by linear complementarity models. Although these optimal control problems are difficult in general…
In this contribution I summarize the achievements of separation of variables in integrable quantum systems from the point of view of path integrals. This includes the free motion on homogeneous spaces, and motion subject to a potential…
In this paper, we consider the problem of determining the \emph{exact} number of periodic orbits for polynomial planar flows. This problem is a variant of Hilbert's 16th problem. Using a natural definition of computability, we show that the…
We consider non-stationary dynamical systems with one-and-a-half degrees of freedom. We are interested in algorithmic construction of rich classes of Hamilton's equations with the Hamiltonian H=p^2/2+V(x,t) which are Liouville integrable.…
Linear differential equations of arbitrary order with polynomial coefficients are considered. Specifically, necessary and sufficient conditions for the existence of polynomial solutions of a given degree are obtained for these equations. An…
In this paper, we give improved bounds for the computational complexity of computing with planar algebraic curves. More specifically, for arbitrary coprime polynomials $f$, $g \in \mathbb{Z}[x,y]$ and an arbitrary polynomial $h \in…
A certain class of integrable hydrodynamic type systems with three independent and N dependent variables is considered. We choose the existence of a pseudopotential as a criterion of integrability. It turns out that the class of integrable…
We prove a necessary and sufficient condition for the integrability of the weight associated to the exceptional Laguerre polynomials. This condition is very much related to the fact that the associated second order differential operator has…
Suppose $v(x,y):\mathbb C\rightarrow \mathbb R$ is an entire harmonic polynomial with no critical points in the right half plane. Let $z_1, z_2\in\mathbb C$ lie on a level set of $v$ , and assume ${\rm Re}(z_2)>{\rm Re}(z_1)\geq0$. We give…
The concept of integrable boundary conditions is applied to hydrodynamic type systems. Examples of such boundary conditions for dispersionless Toda systems are obtained. The close relation of integrable boundary conditions with integrable…
In this paper, we present a modular strategy which describes key properties of the absolute primary decomposition of an equidimensional polynomial ideal defined by polynomials with rational coefficients. The algorithm we design is based on…
We study the complexity of solving the \emph{generalized MinRank problem}, i.e. computing the set of points where the evaluation of a polynomial matrix has rank at most $r$. A natural algebraic representation of this problem gives rise to a…
In this paper, we present a method of deriving extended Prelle-Singer method's quantifiers from Darboux Polynomials for third-order nonlinear ordinary differential equations. By knowing the Darboux polynomials and its cofactors, we extract…
In this paper we provide a new method to study global dynamics of planar quasi--homogeneous differential systems. We first prove that all planar quasi--homogeneous polynomial differential systems can be translated into homogeneous…
We describe, for the first time, a completely rigorous homotopy (path--following) algorithm (in the Turing machine model) to find approximate zeros of systems of polynomial equations. If the coordinates of the input systems and the initial…
We give an algorithm to compute inhomogeneous differential equations for definite integrals with parameters. The algorithm is based on the integration algorithm for $D$-modules by Oaku. Main tool in the algorithm is the Gr\"obner basis…
A variable stepsize exponential multistep integrator, with contour integral approximation of the operator-valued exponential functions, is proposed for solving semilinear parabolic equations with nonsmooth initial data. By this approach,…