Related papers: Liouvillian Solutions of Third Order Differential …
We extend Kovacic's algorithm to compute the differential Galois group of some second order parameterized linear differential equation. In the case where no Liouvillian solutions could be found, we give a necessary and sufficient condition…
We develop algorithms to compute the differential Galois group $G$ associated to a parameterized second-order homogeneous linear differential equation of the form \[ \tfrac{\partial^2}{\partial x^2} Y + r_1 \tfrac{\partial}{\partial x} Y +…
In this paper we consider the problem of computing the difference Galois groups of order three equations for a large class of difference operators including the shift operator (Case S), the $q$-difference operator (Case Q), the Mahler…
For a differential operator $L$ of order $n$ over $C(z)$ with a finite (differential) Galois group $G\subset {\rm GL}(C^n)$, there is an algorithm, by M. van Hoeij and J.-A.~Weil, which computes the associated evaluation of the invariants…
The aim of this article is to provide a method to prove the irreducibility of non-linear ordinary differential equations by means of the differential Galois group of their variational equations along algebraic solutions. We show that if the…
We apply the difference-differential Galois theory developed by Hardouin and Singer to compute the differential-algebraic relations among the solutions to a second-order homogeneous linear difference equation of the form $…
In this paper we revisit the following inverse problem: given a curve invariant under an irreducible finite linear algebraic group, can we construct an ordinary linear differential equation whose Schwarz map parametrizes it? We present an…
Differential Galois theory has played important roles in the theory of integrability of linear differential equation. In this paper we will extend the theory to nonlinear case and study the integrability of the first order nonlinear…
For a field k$with an automorphism \sigma and a derivation \delta, we introduce the notion of liouvillian solutions of linear difference-differential systems {\sigma(Y) = AY, \delta(Y) = BY} over k and characterize the existence of…
We apply the differential Galois theory for difference equations developed by Hardouin and Singer to compute the differential Galois group for a second-order linear $q$-difference equation with rational function coefficients. This Galois…
In this paper, we study the equation $\mathcal{L} u=0$ in $\mathbb{R}^N$, where $\mathcal{L}$ belongs to a general class of nonlocal linear operators which may be anisotropic and nonsymmetric. We classify distributional solutions of this…
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 second order equations of that type found in Kamke's book, for…
In this paper, we explain how to compute the Lie algebra of the differential Galois group of a reducible linear differential system. We achieve this by showing how to transform a block-triangular linear differential system into a…
Motivated by developing algorithms that decide hypertranscendence of solutions of extensions of the Bessel differential equation, algorithms computing the unipotent radical of a parameterized differential Galois group have been recently…
We present a detailed and simplified version of Hrushovski's algorithm that determines the Galois group of a linear differential equation. There are three major ingredients in this algorithm. The first is to look for a degree bound for…
We show that non-linear Schwarzian differential equations emerging from covariance symmetry conditions imposed on linear differential operators with hypergeometric function solutions, can be generalized to arbitrary order linear…
We develop the representation theory for reductive linear differential algebraic groups (LDAGs). In particular, we exhibit an explicit sharp upper bound for orders of derivatives in differential representations of reductive LDAGs, extending…
We study a Sturm-Liouville type eigenvalue problem for second-order differential equations on the infinite interval. Here the eigenfunctions are nonzero solutions exponentially decaying at infinity. We prove that at any discrete eigenvalue…
A classical result of F.Klein states that, given a finite primitive group $G\subseteq SL_2(\mathbb{C})$, there exists a hypergeometric equation such that any second order LODE whose differential Galois group is isomorphic to $G$ is…
Differential equations have arithmetic analogues in which derivatives are replaced by Fermat quotients; these analogues are called arithmetic differential equations and the present paper is concerned with the "linear" ones. The equations…