Related papers: Hypertranscendence and linear difference equations…
After H\"older proved his classical theorem about the Gamma function, there has been a whole bunch of results showing that solutions to linear difference equations tend to be hypertranscendental i.e. they cannot be solution to an algebraic…
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 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…
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…
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.…
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 study the inverse problem in the difference Galois theory of linear differential equations over the difference-differential field $\mathbb{C}(x)$ with derivation $\frac{d}{dx}$ and endomorphism $f(x)\mapsto f(x+1)$. Our main result is…
We develop a Galois theory for systems of linear difference equations with an action of an endomorphism {\sigma}. This provides a technique to test whether solutions of such systems satisfy {\sigma}-polynomial equations and, if yes, then…
In this paper, we investigate meromorphic solutions of certain nonlinear partial differential equations in several complex variables involving differential and functional operators. Let $f$ be a non-constant meromorphic function in…
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…
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 $…
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…
Holomorphic functions of exponential type on a complex Lie group $G$ (introduced by Akbarov) form a locally convex algebra, which is denoted by $\cO_{exp}(G)$. Our aim is to describe the structure of $\cO_{exp}(G)$ in the case when $G$ is…
We establish some comparison results among the different parameterized Galois theories for $q$-difference equations, completing the work by CHatzidakis, Hardouin and Singer, that addresses the problem in the case without parameters. Our…
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,…
We extend and apply the Galois theory of linear differential equations equipped with the action of an endomorphism. The Galois groups in this Galois theory are difference algebraic groups and we use structure theorems for these groups to…
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,\…
It is shown that if the equation \begin{equation*} f(z+1)^n=R(z,f), \end{equation*} where $R(z,f)$ is rational in both arguments and $\deg_f(R(z,f))\not=n$, has a transcendental meromorphic solution, then the equation above reduces into one…
An equation $f(x)=a$, where $f$ is a complex meromorphic function and $a\in\mathbb{C}$ is a parameter, is solvable in elementary functions if the inverse map $x=f^{-1}(a)$ can be expressed as a finite composition of arithmetic operations…
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…