Related papers: Hypertranscendence and linear difference equations

In this paper we study meromorphic functions solutions of linear shift difference equations in coefficients in $\mathbb{C}(x)$ involving the operator $\rho: y(x)\mapsto y(x+h)$, for some $h\in \mathbb{C}^*$. We prove that if $f$ is solution…

We consider pairs of automorphisms $(\phi,\sigma)$ acting on fields of Laurent or Puiseux series: pairs of shift operators $(\phi\colon x\mapsto x+h_1, \sigma\colon x\mapsto x+h_2)$, of $q$-difference operators $(\phi\colon x\mapsto q_1x,\…

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…

We consider first-order linear difference systems over $\mathbb{C}(x)$, with respect to a difference operator $\sigma$ that is either a shift $\sigma:x\mapsto x+1$, $q$-dilation $\sigma:x\mapsto qx$ with $q\in{\mathbb{C}^\times}$ not a root…

We develop general criteria that ensure that any non-zero solution of a given second-order difference equation is differentially transcendental, which apply uniformly in particular cases of interest, such as shift difference equations,…

In this survey we present the parameterized Galois theory of difference equations, as introduced by Hardouin-Singer. The purpose of this theory is to give a systematic approach to differential transcendence, also called hypertranscendence.…

We consider systems of linear differential and difference equations \begin{eqnarray*} \partial Y(x) =A(x)Y(x), \sigma Y(x) =B(x)Y(x) \end{eqnarray*} with $\partial = \frac{d}{dx}$, $\sigma$ a shift operator $\sigma(x) = x+a$, $q$-dilation…

In this paper, we study the algebraic relations satisfied by the solutions of $q$-difference equations and their transforms with respect to an auxiliary operator. Our main tool is the parametrized Galois theories developed in two papers.…

The last years have seen a growing interest from mathematicians in Mahler functions. This class of functions includes the generating series of the automatic sequences. The present paper is concerned with the following problem, which is…

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…

This paper deals with criteria of algebraic independence for the derivatives of solutions of rank one difference equations. The key idea consists in deriving from the commutativity of the differentiation and difference operators a sequence…

We construct Mahler discrete residues for rational functions and show that they comprise a complete obstruction to the Mahler summability problem of deciding whether a given rational function $f(x)$ is of the form $g(x^p)-g(x)$ for some…

In the frame of Mahler's method for algebraic independence we show that the algebraic relations over Q linking the values of functions solutions of a system of functional equations come from the algebraic relations between the functions…

The differential nature of solutions of linear difference equations over the projective line was recently elucidated. In contrast, little is known about the differential nature of solutions of linear difference equations over elliptic…

This is the second part of a work devoted to the study of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence. From the lifting theorem obtained in the first part, we first derive a…

Consider the higher order parabolic operator $\partial_t+(-\Delta_x)^m$ and the higher order Schr\"{o}dinger operator $i^{-1}\partial_t+(-\Delta_x)^m$ in $X=\{(t,x)\in\mathbb{R}^{1+n};~|t|<A,|x_n|<B\}$, where $m$ and $n$ are any positive…

Let C be an algebraically closed field and X a projective curve over C. Consider an ordinary linear differential equation, or a linear differ- ence equation, with coefficients in the field of rational functions of X, and assume that its…

Inspired by the work of Bank on the hypertranscendence of $\Gamma e^h$ where $\Gamma$ is the Euler gamma function and $h$ is an entire function, we investigate when a meromorphic function $fe^g$ cannot satisfy any algebraic differential…

We give simple necessary and sufficient conditions for the $\frac{\partial}{\partial t}$-transcendence of the solutions to a parameterized second order linear differential equation of the form \frac{\partial^2 Y}{\partial x^2} - p…

In a recent work [3], the authors established new results about general linear Mahler systems in several variables from the perspective of transcendental number theory, such as a multivariate extension of Nishioka's theorem. Working with…