Related papers: A multivariate version of Polya-Carlson theorem

We prove a result that can be seen as an analogue of the P\'olya-Carlson theorem for multivariate D-finite power series with coefficients in $\bar{\mathbb{Q}}$. In the special case that the coefficients are algebraic integers, our main…

We prove in this paper that a multivariate D-finite power series with coefficients from a finite set is rational. This generalizes a rationality theorem of van der Poorten and Shparlinski in 1996.

Motivated by a result of van der Poorten and Shparlinski for univariate power series, Bell and Chen prove that if a multivariate power series over a field of characteristic 0 is D-finite and its coefficients belong to a finite set then it…

Let $\sum a_nx^n\in\bar{\mathbb{Q}}[[x]]$ be the power series representation of a rational function and let $f:\ \{0,1,\ldots\}\rightarrow \bar{\mathbb{Q}}$ be a so-called almost quasi-polynomial. Under a necessary stability condition, we…

In multicentric calculus one takes a polynomial $p$ with distinct roots as a new variable and represents complex valued functions by $\mathbb C^d$-valued functions, where $d$ is the degree of $p$. An application is e.g. the possibility to…

In one complex variable it is well known that if we consider the family of all holomorphic functions on the unit disc that fix the origin and with first derivative equal to 1 at the origin, then there exists a constant $\rho$, independent…

In this paper, we give a new proof of a result due to Bezivin that a D-finite Mahler function is necessarily rational. This also gives a new proof of the rational-transcendental dichotomy of Mahler functions due to Nishioka. Using our…

Carleson's Theorem asserts the pointwise convergence of Fourier series of square integrable functions. We give a complete proof, following joint work of the author and C. Thiele. Over 20 exercises are also detailed. We also discuss the…

Let $K$ be a compact set in $\mathbb{C}$, $f$ a function analytic in $\overline{\mathbb{C}}\smallsetminus K$ vanishing at $\infty $. Let $% f\left( z\right) =\sum_{k=0}^{\infty }a_{k}\ z^{-k-1}$ be its Taylor expansion at $\infty $, and…

We return to Takagi's variational principle, generalized after forty years to two complex variables by Pfister. Both isolating some extremal rational functions associated to a bounded holomorphic function in the unit disk, respectively the…

Generalizing a classical one-variable theorem of Harald Bohr, we show that if an n-variable power series has modulus less than 1 in the unit polydisc, then the sum of the moduli of the terms is less than 1 in the polydisc of radius…

A compact subset $K$ of the complex plane $\C$ is a set of polynomial (respectively rational) approximation if $P(K)=A(K)$ (respectively $R(K)=A(K)$), where $P(K)$ (respectively $R(K)$) is the family of functions on $K$ which are uniform…

The paper gives the following characterization of the disc algebra in terms of the argument principle: A continuous function f on the unit circle T extends holomorphically through the unit disc if and only if for each polynomial P such that…

We present results and background rationale in support of a Polya--Carlson dichotomy between rationality and a natural boundary for the analytic behaviour of dynamical zeta functions of compact group automorphisms.

In this work, we establish a representation theorem for multivariable totally symmetric functions: a multisymmetric continuous function must be the composition of a continuous function and a set of generators of the multisymmetric…

We produce an infinite family of transcendental numbers which, when raised to their own power, become rational. We extend the method, to investigate positive rational solutions to the equation $x^x = \alpha$, where $\alpha$ is a fixed…

Let $D$ be the open unit disc in the complex plane. We denote by $\mathbb{C}$ the set of complex numbers and consider any compact set $K$ which is disjoint from $D$ and which also has connected complement. Let $A(K)$ denote all the…

The classical Julia-Wolff-Caratheodory theorem gives a condition ensuring the existence of the non-tangential limit of both a bounded holomorphic function and its derivative at a given boundary point of the unit disk in the complex plane.…

We consider a formal power series in one variable whose coefficients are holomorphic functions in a given multidimensional complex domain. Assume the following two conditions on the series. (C1) The restriction of the series at each point…

Functions with singularities are notoriously difficult to approximate with conventional approximation schemes. In computational applications, they are often resolved with low-order piecewise polynomials, multilevel schemes, or other types…