This paper provides an erratum to Y. N. Petridis, N. Raulf, and M. S. Risager, ``Quantum Limits of Eisenstein Series and Scattering States.'' Canad. Math. Bull., published online 2012-02-03, http://dx.doi.org/10.4153/CMB-2011-200-2.

In this paper, we study rational approximations for certain algebraic power series over a finite field. We obtain results for irrational elements of strictly positive degree satisfying an equation of the type \begin{equation} \alpha=\displaystyle\frac{A\alpha^{q}+B}{C\alpha^{q}} \end{equation} where $(A, B, C)\in (\mathbb{F}_{q}[X])^{2}\times\mathbb{F}_{q}^{\star}[X]$. In particular, we will give, under some conditions on the polynomials $A$, $B$ and $C$, well approximated elements satisfying this equation.

We identify the quantum limits of scattering states for the modular surface. This is obtained through the study of quantum measures of non-holomorphic Eisenstein series away from the critical line. We provide a range of stability for the quantum unique ergodicity theorem of Luo and Sarnak.

Dufresnoy and Pisot characterized the smallest Pisot number of degree $n \geq 3$ by giving explicitly its minimal polynomial. In this paper, we translate Dufresnoy and Pisot's result to the Laurent series case. The aim of this paper is to prove that the minimal polynomial of the smallest Pisot element (SPE) of degree $n$ in the field of formal power series over a finite field is given by $P(Y)=Y^{n}-\alpha XY^{n-1}-\alpha^n,$ where $\alpha$ is the least element of the finite field $\mathbb{F}_{q}\backslash\{0\}$ (as a finite total ordered set). We prove that the sequence of SPEs of degree $n$ is decreasing and converges to $\alpha X.$ Finally, we show how to obtain explicit continued fraction expansion of the smallest Pisot element over a finite field.

In a recent paper, Miller derived a Kummer-type transformation for the generalised hypergeometric function ${}_pF_p(x)$ when pairs of parameters differ by unity, by means of a reduction formula for a certain Kampé de Fériet function. An alternative and simpler derivation of this transformation is obtained here by application of the well-known Kummer transformation for the confluent hypergeometric function corresponding to $p=1$.

We present another example of a $3$-variable polynomial defining a $K3$-hypersurface and having a logarithmic Mahler measure expressed in terms of a Dirichlet $L$-series.

In this paper, we prove that a non--zero power series $F(z)\in\mathbb{C} [\mkern-3mu[ z]\mkern-3mu] $ satisfying $$F(z^d)=F(z)+\frac{A(z)}{B(z)},$$ where $d\geq 2$, $A(z),B(z)\in\mathbb{C}[z]$ with $A(z)\neq 0$ and $\deg A(z),\deg B(z)
Keywords:functional equations, transcendence, power series
Categories:11B37, 11J81

Let $f\in L_{2\pi }$ be a real-valued even function with its Fourier series $% \frac{a_{0}}{2}+\sum_{n=1}^{\infty }a_{n}\cos nx,$ and let $S_{n}(f,x) ,\;n\geq 1,$ be the $n$-th partial sum of the Fourier series. It is well known that if the nonnegative sequence $\{a_{n}\}$ is decreasing and $\lim_{n\rightarrow \infty }a_{n}=0$, then% \begin{equation*} \lim_{n\rightarrow \infty }\Vert f-S_{n}(f)\Vert _{L}=0 \text{ if and only if }\lim_{n\rightarrow \infty }a_{n}\log n=0. \end{equation*}% We weaken the monotone condition in this classical result to the so-called mean value bounded variation (MVBV) condition. The generalization of the above classical result in real-valued function space is presented as a special case of the main result in this paper, which gives the $L^{1}$% -convergence of a function $f\in L_{2\pi }$ in complex space. We also give results on $L^{1}$-approximation of a function $f\in L_{2\pi }$ under the MVBV condition.

In his ``lost'' notebook, Ramanujan stated two results, which are equivalent to the identities \[ \prod_{n=1}^{\infty} \frac{(1-q^n)^5}{(1-q^{5n})} =1-5\sum_{n=1}^{\infty}\Big( \sum_{d \mid n} \qu{5}{d} d \Big) q^n \] and \[ q\prod_{n=1}^{\infty} \frac{(1-q^{5n})^5}{(1-q^{n})} =\sum_{n=1}^{\infty}\Big( \sum_{d \mid n} \qu{5}{n/d} d \Big) q^n. \] We give several more identities of this type.

In his last letter to Hardy, Ramanujan defined 17 functions $F(q)$, where $|q|<1$. He called them mock theta functions, because as $q$ radially approaches any point $e^{2\pi ir}$ ($r$ rational), there is a theta function $F_r(q)$ with $F(q)-F_r(q)=O(1)$. In this paper we establish the relationship between two families of mock theta functions.

We provide concise series representations for various L-series integrals. Different techniques are needed below and above the abscissa of absolute convergence of the underlying L-series.

A Bernstein--Walsh type inequality for $C^{\infty }$ functions of several variables is derived, which then is applied to obtain analogs and generalizations of the following classical theorems: (1) Bochnak--Siciak theorem: a $C^{\infty }$\ function on $\mathbb{R}^{n}$ that is real analytic on every line is real analytic; (2) Zorn--Lelong theorem: if a double power series $F(x,y)$\ converges on a set of lines of positive capacity then $F(x,y)$\ is convergent; (3) Abhyankar--Moh--Sathaye theorem: the transfinite diameter of the convergence set of a divergent series is zero.

We obtain lower estimates for the absolute values of linear forms of the values of generalized Heine series at non-zero points of an imaginary quadratic field~$\II$, in particular of the values of $q$-exponential function. These estimates depend on the individual coefficients, not only on the maximum of their absolute values. The proof uses a variant of classical Siegel's method applied to a system of functional Poincar\'e-type equations and the connection between the solutions of these functional equations and the generalized Heine series.

In this paper we study the boundedness of the commutators $[b, S_n]$ where $b$ is a $\BMO$ function and $S_n$ denotes the $n$-th partial sum of the Fourier-Bessel series on $(0,\infty)$. Perturbing the measure by $\exp(2b)$ we obtain that certain operators related to $S_n$ depend analytically on the functional parameter $b$.

We discuss the $q$-exponential functions $e_q$, $E_q$ for $q$ on the unit circle, especially their continuity in $q$, and analogues of the limit relation $ \lim_{q\rightarrow 1}e_q((1-q)z)=e^z$.