Showing 1–32 of 32 results for author: Singer, M F

On deciding transcendence of power series

Authors: Alin Bostan, Bruno Salvy, Michael F. Singer

Abstract: It is well known that algebraic power series are differentially finite (D-finite): they satisfy linear differential equations with polynomial coefficients. The converse problem, whether a given D-finite power series is algebraic or transcendental, is notoriously difficult. We prove that this problem is decidable: we give two theoretical algorithms and a transcendence test that is efficient in prac… ▽ More It is well known that algebraic power series are differentially finite (D-finite): they satisfy linear differential equations with polynomial coefficients. The converse problem, whether a given D-finite power series is algebraic or transcendental, is notoriously difficult. We prove that this problem is decidable: we give two theoretical algorithms and a transcendence test that is efficient in practice. △ Less

Submitted 23 April, 2025; originally announced April 2025.

Comments: 28 pages

MSC Class: 11J81; 16S32; 34M15

Separability Problems in Creative Telescoping

Authors: Shaoshi Chen, Ruyong Feng, Pingchuan Ma, Michael F. Singer

Abstract: For given multivariate functions specified by algebraic, differential or difference equations, the separability problem is to decide whether they satisfy linear differential or difference equations in one variable. In this paper, we will explain how separability problems arise naturally in creative telescoping and present some criteria for testing the separability for several classes of special fu… ▽ More For given multivariate functions specified by algebraic, differential or difference equations, the separability problem is to decide whether they satisfy linear differential or difference equations in one variable. In this paper, we will explain how separability problems arise naturally in creative telescoping and present some criteria for testing the separability for several classes of special functions, including rational functions, hyperexponential functions, hypergeometric terms, and algebraic functions. △ Less

Submitted 6 February, 2021; originally announced February 2021.

Comments: 19 pages

MSC Class: 68W30; 12H05; 12H10 ACM Class: I.1.2

Telescopers for differential forms with one parameter

Authors: Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer, Stephen Watt

Abstract: Telescopers for a function are linear differential (resp. difference) operators annihilated by the definite integral (resp. definite sum) of this function. They play a key role in Wilf-Zeilberger theory and algorithms for computing them have been extensively studied in the past thirty years. In this paper, we introduce the notion of telescopers for differential forms with $D$-finite function coeff… ▽ More Telescopers for a function are linear differential (resp. difference) operators annihilated by the definite integral (resp. definite sum) of this function. They play a key role in Wilf-Zeilberger theory and algorithms for computing them have been extensively studied in the past thirty years. In this paper, we introduce the notion of telescopers for differential forms with $D$-finite function coefficients. These telescopers appear in several areas of mathematics, for instance parametrized differential Galois theory and mirror symmetry. We give a sufficient and necessary condition for the existence of telescopers for a differential form and describe a method to compute them if they exist. Algorithms for verifying this condition are also given. △ Less

Submitted 19 January, 2021; v1 submitted 16 January, 2021; originally announced January 2021.

Comments: 26 pages

MSC Class: 68W30

On the algebraic dependence of holonomic functions

Authors: Julien Roques, Michael F. Singer

Abstract: We study the form of possible algebraic relations between functions satisfying linear differential equations. In particular , if f and g satisfy linear differential equations and are algebraically dependent, we give conditions on the differential Galois group associated to f guaranteeing that g is a polynomial in f. We apply this to hypergeometric functions and iterated integrals. We study the form of possible algebraic relations between functions satisfying linear differential equations. In particular , if f and g satisfy linear differential equations and are algebraically dependent, we give conditions on the differential Galois group associated to f guaranteeing that g is a polynomial in f. We apply this to hypergeometric functions and iterated integrals. △ Less

Submitted 3 November, 2020; originally announced November 2020.

On Differentially Algebraic Generating Series for Walks in the Quarter Plane

Authors: Charlotte Hardouin, Michael F Singer

Abstract: We refine necessary and sufficient conditions for the generating series of a weighted model of a quarter plane walk to be differentially algebraic. In addition, we give algorithms based on the theory of Mordell-Weil lattices, that, for each weighted model, yield polynomial conditions on the weights determining this property of the associated generating series. We refine necessary and sufficient conditions for the generating series of a weighted model of a quarter plane walk to be differentially algebraic. In addition, we give algorithms based on the theory of Mordell-Weil lattices, that, for each weighted model, yield polynomial conditions on the weights determining this property of the associated generating series. △ Less

Submitted 2 October, 2020; originally announced October 2020.

Comments: 37 Pages

MSC Class: 05A15; 11G05; 30D05; 39A06

On the Kernel curves associated with walks in the quarter plane

Authors: Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Michael F. Singer

Abstract: The kernel method is an essential tool for the study of generating series of walks in the quarter plane. This method involves equating to zero a certain polynomial, the kernel polynomial, and using properties of the curve, the kernel curve, this defines. In the present paper, we investigate the basic properties of the kernel curve (irreducibility, singularities, genus, uniformization, etc). The kernel method is an essential tool for the study of generating series of walks in the quarter plane. This method involves equating to zero a certain polynomial, the kernel polynomial, and using properties of the curve, the kernel curve, this defines. In the present paper, we investigate the basic properties of the kernel curve (irreducibility, singularities, genus, uniformization, etc). △ Less

Submitted 11 December, 2020; v1 submitted 1 April, 2020; originally announced April 2020.

Comments: This paper is mainly the old Section 4 of the paper: Walks in the quarter plane, genus zero case. arXiv admin note: substantial text overlap with arXiv:1710.02848

MSC Class: 05A15; 30D05

Journal ref: Springer Proceedings in Mathematics and Statistics. Vol. 373, (2021), p.61-89

Sparse Interpolation in Terms of Multivariate Chebyshev Polynomials

Authors: Evelyne Hubert, Michael F. Singer

Abstract: Sparse interpolation} refers to the exact recovery of a function as a short linear combination of basis functions from a limited number of evaluations. For multivariate functions, the case of the monomial basis is well studied, as is now the basis of exponential functions. Beyond the multivariate Chebyshev polynomial obtained as tensor products of univariate Chebyshev polynomials, the theory of ro… ▽ More Sparse interpolation} refers to the exact recovery of a function as a short linear combination of basis functions from a limited number of evaluations. For multivariate functions, the case of the monomial basis is well studied, as is now the basis of exponential functions. Beyond the multivariate Chebyshev polynomial obtained as tensor products of univariate Chebyshev polynomials, the theory of root systems allows to define a variety of generalized multivariate Chebyshev polynomials that have connections to topics such as Fourier analysis and representations of Lie algebras. We present a deterministic algorithm to recover a function that is the linear combination of at most r such polynomials from the knowledge of r and an explicitly bounded number of evaluations of this function. △ Less

Submitted 24 January, 2020; originally announced January 2020.

MSC Class: 13A50; 17B10; 17B22; 30E05; 33C52; 33F10; 68W30

Walks in the quarter plane, genus zero case

Authors: Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Michael F. Singer

Abstract: We use Galois theory of difference equations to study the nature of the generating series of (weighted) walks in the quarter plane with genus zero kernel curve. Using this approach, we prove that the generating series do not satisfy any nontrivial (possibly nonlinear) algebraic differential equation with rational coefficients. We use Galois theory of difference equations to study the nature of the generating series of (weighted) walks in the quarter plane with genus zero kernel curve. Using this approach, we prove that the generating series do not satisfy any nontrivial (possibly nonlinear) algebraic differential equation with rational coefficients. △ Less

Submitted 19 February, 2020; v1 submitted 8 October, 2017; originally announced October 2017.

Comments: Journal of Combinatorial Theory, Series A

MSC Class: 05A15; 30D05; 39A06

Journal ref: Journal of Combinatorial Theory, Series A, (2020), vol. 174, p. 105251

On the nature of the generating series of walks in the quarter plane

Authors: Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Michael F. Singer

Abstract: In the present paper, we introduce a new approach, relying on the Galois theory of difference equations, to study the nature of the generating series of walks in the quarter plane. Using this approach, we are not only able to recover many of the recent results about these series, but also to go beyond them. For instance, we give for the first time hypertranscendency results, {\it i.e.}, we prove t… ▽ More In the present paper, we introduce a new approach, relying on the Galois theory of difference equations, to study the nature of the generating series of walks in the quarter plane. Using this approach, we are not only able to recover many of the recent results about these series, but also to go beyond them. For instance, we give for the first time hypertranscendency results, {\it i.e.}, we prove that certain of these generating series do not satisfy any nontrivial nonlinear algebraic differential equation with rational coefficients. △ Less

Submitted 13 January, 2018; v1 submitted 15 February, 2017; originally announced February 2017.

Comments: To appear in Inventiones Mathematicae

Journal ref: Inventiones Mathematicae, 213 (2018), no.1, 139-203

Galois groups for integrable and projectively integrable linear difference equations

Authors: Carlos E. Arreche, Michael F. Singer

Abstract: We consider first-order linear difference systems over $\mathbb{C}(x)$, with respect to a difference operator $σ$ that is either a shift $σ:x\mapsto x+1$, $q$-dilation $σ:x\mapsto qx$ with $q\in{\mathbb{C}^\times}$ not a root of unity, or Mahler operator $σ:x\mapsto x^q$ with $q\in\mathbb{Z}_{\geq 2}$. Such a system is integrable if its solutions also satisfy a linear differential system; it is pr… ▽ More We consider first-order linear difference systems over $\mathbb{C}(x)$, with respect to a difference operator $σ$ that is either a shift $σ:x\mapsto x+1$, $q$-dilation $σ:x\mapsto qx$ with $q\in{\mathbb{C}^\times}$ not a root of unity, or Mahler operator $σ:x\mapsto x^q$ with $q\in\mathbb{Z}_{\geq 2}$. Such a system is integrable if its solutions also satisfy a linear differential system; it is projectively integrable if it becomes integrable "after moding out by scalars." We apply recent results of Schäfke and Singer to characterize which groups can occur as Galois groups of integrable or projectively integrable linear difference systems. In particular, such groups must be solvable. Finally, we give hypertranscendence criteria. △ Less

Submitted 29 July, 2016; originally announced August 2016.

MSC Class: 39A10; 39A06; 12H10; 12H05; 20H20

Journal ref: Journal of Algebra, 480:423-449, (2017)

Mahler equations and rationality

Authors: Reinhard Schäfke, Michael F. Singer

Abstract: We give another proof of a result of Adamczewski and Bell concerning Mahler equations: A formal power series satisfying a $p-$ and a $q-$Mahler equation over ${\mathbb C}(x)$ with multiplicatively independent positive integers $p$ and $q$ is a rational function. The proof presented here is self-contained and is essentially a compilation of proofs contained in the recent preprint "Consistent system… ▽ More We give another proof of a result of Adamczewski and Bell concerning Mahler equations: A formal power series satisfying a $p-$ and a $q-$Mahler equation over ${\mathbb C}(x)$ with multiplicatively independent positive integers $p$ and $q$ is a rational function. The proof presented here is self-contained and is essentially a compilation of proofs contained in the recent preprint "Consistent systems of linear differential and difference equations", arXiv:1605.02616 [math.CA], by the same authors. △ Less

Submitted 23 March, 2017; v1 submitted 27 May, 2016; originally announced May 2016.

Comments: arXiv admin note: text overlap with arXiv:1605.02616 A few grammatical/typographical changes and text added to clarify the proofs of Lemmas 4 and 8

MSC Class: 39A06; 39A13; 39A45

Consistent systems of linear differential and difference equations

Authors: Reinhard Schäfke, Michael F. Singer

Abstract: We consider systems of linear differential and difference equations \begin{eqnarray*} \partial Y(x) =A(x)Y(x), σY(x) =B(x)Y(x) \end{eqnarray*} with $\partial = \frac{d}{dx}$, $σ$ a shift operator $σ(x) = x+a$, $q$-dilation operator $σ(x) = qx$ or Mahler operator $σ(x) = x^p$ and systems of two linear difference equations \begin{eqnarray*} σ_1 Y(x) =A(x)Y(x), σ_2 Y(x) =B(x)Y(x) \end{eqnarray*} with… ▽ More We consider systems of linear differential and difference equations \begin{eqnarray*} \partial Y(x) =A(x)Y(x), σY(x) =B(x)Y(x) \end{eqnarray*} with $\partial = \frac{d}{dx}$, $σ$ a shift operator $σ(x) = x+a$, $q$-dilation operator $σ(x) = qx$ or Mahler operator $σ(x) = x^p$ and systems of two linear difference equations \begin{eqnarray*} σ_1 Y(x) =A(x)Y(x), σ_2 Y(x) =B(x)Y(x) \end{eqnarray*} with $(σ_1,σ_2)$ a sufficiently independent pair of shift operators, pair of $q$-dilation operators or pair of Mahler operators. Here $A(x)$ and $B(x)$ are $n\times n$ matrices with rational function entries. Assuming a consistency hypothesis, we show that such system can be reduced to a system of a very simple form. Using this we characterize functions satisfying two linear scalar differential or difference equations with respect to these operators. We also indicate how these results have consequences both in the theory of automatic sets, leading to a new proof of Cobham's Theorem, and in the Galois theories of linear difference and differential equations, leading to hypertranscendence results. △ Less

Submitted 20 June, 2017; v1 submitted 9 May, 2016; originally announced May 2016.

Comments: Revised version. References added and improvements in exposition made. Accepted for publication in the Journal of the European Mathematical Society

MSC Class: 39A05 (Primary); 34A30; 34K05; 34M03; 39A13; 39A45 (Secondary)

Desingularization of Ore Operators

Authors: Shaoshi Chen, Manuel Kauers, Michael F. Singer

Abstract: We show that Ore operators can be desingularized by calculating a least common left multiple with a random operator of appropriate order. Our result generalizes a classical result about apparent singularities of linear differential equations, and it gives rise to a surprisingly simple desingularization algorithm. We show that Ore operators can be desingularized by calculating a least common left multiple with a random operator of appropriate order. Our result generalizes a classical result about apparent singularities of linear differential equations, and it gives rise to a surprisingly simple desingularization algorithm. △ Less

Submitted 23 August, 2014; originally announced August 2014.

Parallel Telescoping and Parameterized Picard--Vessiot Theory

Authors: Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer

Abstract: Parallel telescoping is a natural generalization of differential creative-telescoping for single integrals to line integrals. It computes a linear ordinary differential operator $L$, called a parallel telescoper, for several multivariate functions, such that the applications of $L$ to the functions yield antiderivatives of a single function. We present a necessary and sufficient condition guarante… ▽ More Parallel telescoping is a natural generalization of differential creative-telescoping for single integrals to line integrals. It computes a linear ordinary differential operator $L$, called a parallel telescoper, for several multivariate functions, such that the applications of $L$ to the functions yield antiderivatives of a single function. We present a necessary and sufficient condition guaranteeing the existence of parallel telescopers for differentially finite functions, and develop an algorithm to compute minimal ones for compatible hyperexponential functions. Besides computing annihilators of parametric line integrals, we use the parallel telescoping for determining Galois groups of parameterized partial differential systems of first order. △ Less

Submitted 19 January, 2014; originally announced January 2014.

Comments: 19 pages

MSC Class: 12H05; 33F10

Reductive linear differential algebraic groups and the Galois groups of parameterized linear differential equations

Authors: Andrey Minchenko, Alexey Ovchinnikov, Michael F. Singer

Abstract: 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 existing results, which were obtained for SL(2) in the case of just one derivation. As an application of the above bound, we develop an algorithm that tests wh… ▽ More 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 existing results, which were obtained for SL(2) in the case of just one derivation. As an application of the above bound, we develop an algorithm that tests whether the parameterized differential Galois group of a system of linear differential equations is reductive and, if it is, calculates it. △ Less

Submitted 23 December, 2013; v1 submitted 9 April, 2013; originally announced April 2013.

Comments: 61 pages

MSC Class: 12H05; 12H20; 13N10; 20G05; 20H20; 34M15

Journal ref: International Mathematics Research Notices 2015 (2015) 1733-1793

Desingularization Explains Order-Degree Curves for Ore Operators

Authors: Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer

Abstract: Desingularization is the problem of finding a left multiple of a given Ore operator in which some factor of the leading coefficient of the original operator is removed. An order-degree curve for a given Ore operator is a curve in the $(r,d)$-plane such that for all points $(r,d)$ above this curve, there exists a left multiple of order $r$ and degree $d$ of the given operator. We give a new proof o… ▽ More Desingularization is the problem of finding a left multiple of a given Ore operator in which some factor of the leading coefficient of the original operator is removed. An order-degree curve for a given Ore operator is a curve in the $(r,d)$-plane such that for all points $(r,d)$ above this curve, there exists a left multiple of order $r$ and degree $d$ of the given operator. We give a new proof of a desingularization result by Abramov and van Hoeij for the shift case, and show how desingularization implies order-degree curves which are extremely accurate in examples. △ Less

Submitted 5 January, 2013; originally announced January 2013.

ACM Class: I.1.2

Unipotent differential algebraic groups as parameterized differential Galois groups

Authors: Andrey Minchenko, Alexey Ovchinnikov, Michael F. Singer

Abstract: We deal with aspects of the direct and inverse problems in parameterized Picard-Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) G is a PPV Galois group over these fields if and only if G contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs G, including unipotent groups, G is such a group if and only if it has… ▽ More We deal with aspects of the direct and inverse problems in parameterized Picard-Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) G is a PPV Galois group over these fields if and only if G contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs G, including unipotent groups, G is such a group if and only if it has differential type 0. We give a procedure to determine if a parameterized linear differential equation has a PPV Galois group in this class and show how one can calculate the PPV Galois group of a parameterized linear differential equation if its Galois group has differential type 0. △ Less

Submitted 4 July, 2013; v1 submitted 1 January, 2013; originally announced January 2013.

Comments: minor revision

MSC Class: 12H05; 12H20; 13N10; 20G05; 20H20; 34M15

Journal ref: J. Inst. Math. Jussieu 13 (2014) 671-700

On the Summability of Bivariate Rational Functions

Authors: Shaoshi Chen, Michael F. Singer

Abstract: We present criteria for deciding whether a bivariate rational function in two variables can be written as a sum of two (q-)differences of bivariate rational functions. Using these criteria, we show how certain double sums can be evaluated, first, in terms of single sums and, finally, in terms of values of special functions. We present criteria for deciding whether a bivariate rational function in two variables can be written as a sum of two (q-)differences of bivariate rational functions. Using these criteria, we show how certain double sums can be evaluated, first, in terms of single sums and, finally, in terms of values of special functions. △ Less

Submitted 23 October, 2012; originally announced October 2012.

Comments: 24 pages

Residues and Telescopers for Rational Functions

Authors: Shaoshi Chen, Michael F. Singer

Abstract: We give necessary and sufficient conditions for the existence of telescopers for rational functions of two variables in the continuous, discrete and q-discrete settings and characterize which operators can occur as telescopers. Using this latter characterization, we reprove results of Furstenberg and Zeilberger concerning diagonals of power series representing rational functions. The key concept b… ▽ More We give necessary and sufficient conditions for the existence of telescopers for rational functions of two variables in the continuous, discrete and q-discrete settings and characterize which operators can occur as telescopers. Using this latter characterization, we reprove results of Furstenberg and Zeilberger concerning diagonals of power series representing rational functions. The key concept behind these considerations is a generalization of the notion of residue in the continuous case to an analogous concept in the discrete and q-discrete cases. △ Less

Submitted 19 March, 2012; originally announced March 2012.

Comments: 30 pages

Telescopers for Rational and Algebraic Functions via Residues

Authors: Shaoshi Chen, Manuel Kauers, Michael F. Singer

Abstract: We show that the problem of constructing telescopers for functions of m variables is equivalent to the problem of constructing telescopers for algebraic functions of m -1 variables and present a new algorithm to construct telescopers for algebraic functions of two variables. These considerations are based on analyzing the residues of the input. According to experiments, the resulting algorithm for… ▽ More We show that the problem of constructing telescopers for functions of m variables is equivalent to the problem of constructing telescopers for algebraic functions of m -1 variables and present a new algorithm to construct telescopers for algebraic functions of two variables. These considerations are based on analyzing the residues of the input. According to experiments, the resulting algorithm for rational functions of three variables is faster than known algorithms, at least in some examples of combinatorial interest. The algorithm for algebraic functions implies a new bound on the order of the telescopers. △ Less

Submitted 10 January, 2012; v1 submitted 9 January, 2012; originally announced January 2012.

MSC Class: 33F10; 68W30 ACM Class: I.1.2

Linear Algebraic Groups as Parameterized Picard-Vessiot Galois Groups

Authors: Michael F Singer

Abstract: We show that a linear algebraic group is the Galois group of a parameterized Picard-Vessiot extension of k(x), x' = 1, for certain differential fields k, if and only if its identity component has no one dimensional quotient as a linear algebraic group. We show that a linear algebraic group is the Galois group of a parameterized Picard-Vessiot extension of k(x), x' = 1, for certain differential fields k, if and only if its identity component has no one dimensional quotient as a linear algebraic group. △ Less

Submitted 1 August, 2011; originally announced August 2011.

Comments: 18 pages

MSC Class: 12H05; 20G15; 34M03; 34M15; 34M50

Monodromy groups of parameterized linear differential equations with regular singularities

Authors: Claude Mitschi, Michael F. Singer

Abstract: We study the notion of regular singularities for parameterized complex ordinary linear differential systems, prove an analogue of the Schlesinger theorem for systems with regular singularities and solve both a parameterized version of the weak Riemann-Hilbert Problem and a special case of the inverse problem in parameterized Picard-Vessiot theory. We study the notion of regular singularities for parameterized complex ordinary linear differential systems, prove an analogue of the Schlesinger theorem for systems with regular singularities and solve both a parameterized version of the weak Riemann-Hilbert Problem and a special case of the inverse problem in parameterized Picard-Vessiot theory. △ Less

Submitted 1 June, 2012; v1 submitted 14 June, 2011; originally announced June 2011.

Comments: Version to appear in the Bulletin of the London Mathematical Society

MSC Class: 34M03; 12H05; 34M15; 34M35; 34M50

A Jordan-Hoelder Theorem for Differential Algebraic Groups

Authors: Phyllis J. Cassidy, Michael F. Singer

Abstract: We show that a differential algebraic group can be filtered by a finite subnormal series of differential algebraic groups such that successive quotients are almost simple, that is have no normal subgroups of the same type. We give a uniqueness result, prove several properties of almost simple groups and, in the ordinary differential case, classify almost simple linear differential algebraic groups… ▽ More We show that a differential algebraic group can be filtered by a finite subnormal series of differential algebraic groups such that successive quotients are almost simple, that is have no normal subgroups of the same type. We give a uniqueness result, prove several properties of almost simple groups and, in the ordinary differential case, classify almost simple linear differential algebraic groups. △ Less

Submitted 7 October, 2010; v1 submitted 16 March, 2010; originally announced March 2010.

Comments: 39 pages; typos corrected, and more detailed explanations added. This is the final version to be published in the Journal of Algebra

MSC Class: 12H05; 35G35; 22E65

Projective Isomonodromy and Galois Groups

Authors: Claude Mitschi, Michael F. Singer

Abstract: In this article we introduce the notion of projective isomonodromy, which is a special type of monodromy evolving deformation of linear differential equations, based on the example of the Darboux-Halphen equation. We give an algebraic condition for a paramaterized linear differential equation to be projectively isomonodromic, in terms of the derived group of its parameterized Picard-Vessiot group. In this article we introduce the notion of projective isomonodromy, which is a special type of monodromy evolving deformation of linear differential equations, based on the example of the Darboux-Halphen equation. We give an algebraic condition for a paramaterized linear differential equation to be projectively isomonodromic, in terms of the derived group of its parameterized Picard-Vessiot group. △ Less

Submitted 1 June, 2012; v1 submitted 10 February, 2010; originally announced February 2010.

Comments: Version that will appear in the Proceedings of the American Mathematical Society

MSC Class: 34M56; 12H05; 34M55

Liouvillian Solutions of Difference-Differential Equations

Authors: Ruyong Feng, Michael F. Singer, Min Wu

Abstract: For a field k… ▽ More For a field k$with an automorphism σand a derivation δ, we introduce the notion of liouvillian solutions of linear difference-differential systems {σ(Y) = AY, δ(Y) = BY} over k and characterize the existence of liouvillian solutions in terms of the Galois group of the systems. We will give an algorithm to decide whether such a system has liouvillian solutions when k = C(x,t), σ(x) = x+1, δ= d/dt$ and the size of the system is a prime. △ Less

Submitted 9 October, 2008; originally announced October 2008.

Comments: 53 pages

Differential Galois Theory of Linear Difference Equations

Authors: Charlotte Hardouin, Michael F. Singer

Abstract: We present a Galois theory of difference equations designed to measure the differential dependencies among solutions of linear difference equations. With this we are able to reprove Hoelder's Theorem that the Gamma function satisfies no polynomial differential equation and are able to give general results that imply, for example, that no differential relationship holds among solutions of certain… ▽ More We present a Galois theory of difference equations designed to measure the differential dependencies among solutions of linear difference equations. With this we are able to reprove Hoelder's Theorem that the Gamma function satisfies no polynomial differential equation and are able to give general results that imply, for example, that no differential relationship holds among solutions of certain classes of q-hypergeometric functions. △ Less

Submitted 9 January, 2008; originally announced January 2008.

Comments: 50 pages

MSC Class: 12H05; 12H10; 33B15; 39A10; 39A15

Introduction to the Galois Theory of Linear Differential Equations

Authors: Michael F. Singer

Abstract: This is an expanded version of the 10 lectures given as the 2006 London Mathematical Society Invited Lecture Series at the Heriot-Watt University 31 July - 4 August 2006. This is an expanded version of the 10 lectures given as the 2006 London Mathematical Society Invited Lecture Series at the Heriot-Watt University 31 July - 4 August 2006. △ Less

Submitted 9 January, 2008; v1 submitted 25 December, 2007; originally announced December 2007.

Comments: 82 pages; some typos corrected

MSC Class: 12H05 (Primary) 34M50; 12H20 (Secondary)

On the Definitions of Difference Galois Groups

Authors: Zoé Chatzidakis, Charlotte Hardouin, Michael F. Singer

Abstract: We compare several definitions of the Galois group of a linear difference equation that have arisen in algebra, analysis and model theory and show, that these groups are isomorphic over suitable fields. In addition, we study properties of Picard-Vessiot extensions over fields with not necessarily algebraically closed subfields of constants. We compare several definitions of the Galois group of a linear difference equation that have arisen in algebra, analysis and model theory and show, that these groups are isomorphic over suitable fields. In addition, we study properties of Picard-Vessiot extensions over fields with not necessarily algebraically closed subfields of constants. △ Less

Submitted 21 May, 2007; originally announced May 2007.

MSC Class: 12H10; 03C60; 12L12; 39A13

A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules

Authors: Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng

Abstract: We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associated systems and one-dimensional submodules. The hyperexponential solutions are computed recursively by solving a sequence of first-order ordinary matrix equations. As the recursion proceeds, the matrix equations will have… ▽ More We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associated systems and one-dimensional submodules. The hyperexponential solutions are computed recursively by solving a sequence of first-order ordinary matrix equations. As the recursion proceeds, the matrix equations will have constant coefficients with respect to the operators that have been considered. △ Less

Submitted 21 April, 2006; originally announced April 2006.

Comments: To appear in the Proceedings of ISSAC 2006

Model Theory of Partial Differential Fields: From Commuting to Noncommuting Derivations

Authors: Michael F. Singer

Abstract: McGrail has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe has shown the existence of a model completion for the univeral theory of fields on which a fixed Lie algebra acts as derivations. We show how to derive the second result from the first. McGrail has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe has shown the existence of a model completion for the univeral theory of fields on which a fixed Lie algebra acts as derivations. We show how to derive the second result from the first. △ Less

Submitted 1 February, 2006; originally announced February 2006.

Comments: 6 pages

MSC Class: 03C10; 35A05; 12H05

Galois Theory of Parameterized Differential Equations and Linear Differential Algebraic Groups

Authors: Phyllis J. Cassidy, Michael F. Singer

Abstract: We present a Galois theory of parameterized linear differential equations where the Galois groups are linear differential algebraic groups, that is, groups of matrices whose entries are functions of the parameters and satisfy a set of differential equations with respect to these parameters. We present the basic constructions and results, give examples, discuss how isomonodromic families fit into… ▽ More We present a Galois theory of parameterized linear differential equations where the Galois groups are linear differential algebraic groups, that is, groups of matrices whose entries are functions of the parameters and satisfy a set of differential equations with respect to these parameters. We present the basic constructions and results, give examples, discuss how isomonodromic families fit into this theory and show how results from the theory of linear differential algebraic groups may be used to classify systems of second order linear differential equations. △ Less

Submitted 17 February, 2005; originally announced February 2005.

MSC Class: 34M50; 12H05;12H20

On the Constructive Inverse Problem in Differential Galois Theory

Authors: William J. Cook, Claude Mitschi, Michael F. Singer

Abstract: We give sufficient conditions for a linear differential equation to have a given semisimple group as its Galois group. For any linear algebraic group G given as a semidirect product of a finite subgroup and a normal subgroup that is a product of groups of type An, Cn, Dn, E6, or E7, we construct a differential equation over C(x) having Galois group G. We give sufficient conditions for a linear differential equation to have a given semisimple group as its Galois group. For any linear algebraic group G given as a semidirect product of a finite subgroup and a normal subgroup that is a product of groups of type An, Cn, Dn, E6, or E7, we construct a differential equation over C(x) having Galois group G. △ Less

Submitted 5 June, 2005; v1 submitted 22 March, 2004; originally announced March 2004.

Comments: Several misprints have been corrected and the statement of Propositions 3.2 and 3.4 have been made more precise and their proofs expanded

MSC Class: 34M50 (Primary) 12H05; 12H20 (Secondary)