In this paper we present an algebraic study concerning the general second order linear differential equation with polynomial coefficients. By means of Kovacic's algorithm and asymptotic iteration method we find a degree independent algebraic description of the spectral set: the subset, in the parameter space, of Liouiville integrable differential equations. For each fixed degree, we prove that the spectral set is a countable union of non accumulating algebraic varieties. This algebraic description of the spectral set allow us to bound the number of eigenvalues for algebraically quasi-solvable potentials in the Schrödinger equation.
We present a semi-decision procedure to tackle first order differential equations, with Liouvillian functions in the solution (LFOODEs). As in the case of the Prelle-Singer procedure, this method is based on the knowledge of the integrating factor structure.
This paper is devoted to a complete parametric study of Liouvillian solutions of the general trace-free second order differential equation with a Laurent polynomial coefficient. This family of equations, for fixed orders at $0$ and $\infty$ of the Laurent polynomial, is seen as an affine algebraic variety. We proof that the set of Picard-Vessiot integrable differential equations in the family is an enumerable union of algebraic subvarieties. We compute explicitly the algebraic equations of its components. We give some applications to well known subfamilies as the doubly confluent and biconflue…
The main aim of this paper is the presentation of a new methodology to obtain Liouvillian solutions of stationary one dimensional Schrödinger equation with quasi-solvable polynomial potentials through the using of differential Galois theory and Gröbner basis. We illustrate these results by the computing of polynomial potentials of degree 4, 6, 8, 10, 12, 14. Moreover, we show an implementation in \textbf{Mathematica} for the decatic potential.
Here we present an efficient method to compute Darboux polynomials for polynomial vector fields in the plane. This approach is restricetd to polynomial vector fields presenting a Liouvillian first integral (or, equivalently, to rational first order differential equations (rational 1ODEs) presenting a Liouvillian general solution). The key to obtaining this method was to separate the procedure of solving the (nonlinear) algebraic systems resulting from the equation that translates the condition of existence of a Darboux polynomial into feasible steos (procedures that requires less memory consum…
We present an algorithm to solve First Order Ordinary Differential Equations (FOODEs) extending the Prelle-Singer (PS) Method. The usual PS-approach miss many FOODEs presenting Liouvillian functions in the solution (LFOODEs). We point out why and propose an algorithm to solve a large class of these previously unsolved LFOODEs. Although our algorithm does not cover all the LFOODEs, it is an elegant extension mantaining the semi-decision nature of the usual PS-Method.
In this paper a Galoisian approach to build propagators through Riccati equations is presented. The main result corresponds to the relationship between the Galois integrability of the linear Schrödinger equation and the virtual solvability of the differential Galois group of its associated characteristic equation. As main application of this approach we solve the Ince's differential equation through Hamiltonian Algebrization procedure and Kovacic Algorithm to find the propagator for a generalized harmonic oscillator that has applications describing the process of degenerate parametric amplific…
We use Kovacic's algorithm to obtain all Liouvillian solutions, i.e., essentially all solutions in terms of quadratures, of the master equation which governs the evolution of first order perturbations of the Schwarzschild geometry. We show that all solutions in quadratures of this equation contain a polynomial solution to an associated ordinary differential equation (ODE). This ODE, apart from a few trivial cases, falls into the confluent Heun class. In the case of the gravitational perturbations, for the Liouvillian solution $χ\int \frac {{\rm d}r_{\!\ast}}{χ^{2}}$, we find in "closed form" t…
In math-ph/0107007, we present a method to tackle first order ordinary differential equations whose solutions contain Liouvillian functions (LFOODEs), many of them missed by the usual PS-approach. Here, we demonstrate an important result concerning the generality of that method.
Here we present/implement an algorithm to find Liouvillian first integrals of dynamical systems in the plane. In \cite{JCAM}, we have introduced the basis for the present implementation. The particular form of such systems allows reducing it to a single rational first order ordinary differential equation (rational first order ODE). We present a set of software routines in Maple 10 for solving rational first order ODEs. The package present commands permitting research incursions of some algebraic properties of the system that is being studied.
It is known, due to Mordukhai-Boltovski, Ritt, Prelle, Singer, Christopher and others, that if a given rational ODE has a Liouvillian first integral then the corresponding integrating factor of the ODE must be of a very special form of a product of powers and exponents of irreducible polynomials. These results lead to a partial algorithm for finding Liouvillian first integrals. However, there are two main complications on the way to obtaining polynomials in the integrating factor form. First of all, one has to find an upper bound for the degrees of the polynomials in the product above, an unso…
One dimensional Dirac equation is analysed with regard to the existence of exact (or closed-form) solutions for polynomial potentials. The notion of Liouvillian functions is used to define solvability, and it is shown that except for the linear potentials the equation in question is not solvable.
I begin from a particular field of generalised Puiseux series and investigate a class of nonlinear differential equations in the field. It is appeared that the main part of differential equation determines solvability and positions of resonance i.e. the appearance of a free constant in solutions. Secondly, for any singular differential equation in a differential field of the form $Q(y)\dot y=P(y)$, $P,Q$ polynomials. Then the greatest Picard-Vessiot extension exists. It is shown that the arising set of solutions is obtained from algebraic equations labelled by constants. Sufficient conditions …
We present a definition of integrability for the one dimensional Schroedinger equation, which encompasses all known integrable systems, i.e. systems for which the spectrum can be explicitly computed. For this, we introduce the class of rigid functions, built as Liouvillian functions, but containing all solutions of rigid differential operators in the sense of Katz, and a notion of natural boundary conditions. We then make a complete classification of rational integrable potentials. Many new integrable cases are found, some of them physically interesting.
We study second order and third order linear differential equations with analytic coefficients under the viewpoint of finding formal solutions and studying their convergence. We address some untouched aspects of Frobenius methods for second order as the convergence of formal solutions and the existence of Liouvillian solutions. A characterization of regular singularities is given in terms of the space of solutions. An analytic classification of such linear homogeneous ODEs is obtained. This is done by associating to such an ODE a Riccati differential equation and therefore a global holonomy gr…
In this work we compute the families of classical Hamiltonians in two degrees of freedom in which the Normal Variational Equation around an invariant plane falls in Schroedinger type with polynomial or trigonometrical potential. We analyze the integrability of Normal Variational Equation in Liouvillian sense using the Kovacic's algorithm. We compute all Galois groups of Schroedinger type equations with polynomial potential. We also introduce a method of algebrization that transforms equations with transcendental coefficients in equations with rational coefficients without changing essentially …
This paper addresses a general method of polynomial transformation of hypergeometric equations. Examples of some classical special equations of mathematical physics are generated. Heun's equation and exceptional Jacobi polynomials are also treated.
We construct the differential operators for which bivariate Chebyshev polynomials of the first kind, associated with simple Lie algebras $C_2$ and $G_2$, are eigenfunctions.
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 algorithm to determine these conditions and to construct the polynomial solutions is given. The effectiveness of this algorithmic approach is illustrated by applying it to several differential equations that arise in mathematical physics.
We analyze the polynomial solutions of the linear differential equation $p_2(x)y''+p_1(x)y'+p_0(x)y=0$ where $p_j(x)$ is a $j^{\rm th}$-degree polynomial. We discuss all the possible polynomial solutions and their dependence on the parameters of the polynomials $p_j(x)$. Special cases are related to known differential equations of mathematical physics. Classes of new soluble problems are exhibited. General results are obtained for weight functions and orthogonality relations.
We discuss several examples of generating apparent singular points as a result of differentiating particular homogeneous linear ordinary differential equations with polynomial coefficients and formulate two general conjectures on the generation and removal of apparent singularities in arbitrary Fuchsian differential equations with polynomial coefficients. We consider a model problem in polymer physics.
We introduce two ordinary second-order linear differential equations of the Laguerre- and Jacobi-type. Solutions are written as infinite series of square integrable functions in terms of the Laguerre and Jacobi polynomials, respectively. The expansion coefficients of the series satisfy three-term recursion relations, which are solved in terms of orthogonal polynomials with continuous and/or discrete spectra. Most of these are well-known polynomials whereas few are not. We present physical applications of these differential equations in quantum mechanics.
Gravitational perturbations of the de Sitter spacetime are investigated using the Regge--Wheeler formalism. The set of perturbation equations is reduced to a single second order differential equation of the Heun-type for both electric and magnetic multipoles. The solution so obtained is used to study the deviation from an initially radial geodesic due to the perturbation. The spectral properties of the perturbed metric are also analyzed. Finally, gauge- and tetrad-invariant first-order massless perturbations of any spin are explored following the approach of Teukolsky. The existence of closed-…
Conditions are given for the second-order linear differential equation P3 y" + P2 y'- P1 y = 0 to have polynomial solutions, where Pn is a polynomial of degree n. Several application of these results to Schroedinger's equation are discussed. Conditions under which the confluent, biconfluent, and the general Heun equation yield polynomial solutions are explicitly given. Some new classes of exactly solvable differential equation are also discussed. The results of this work are expressed in such way as to allow direct use, without preliminary analysis.
The group of automorphisms of the first Weyl algebra acts on commuting ordinary differential operators with polynomial coefficient. In this paper we prove that for fixed generic spectral curve of genus two the set of orbits is infinite.
