Let $K$ be a finite field and $Q\in K\left[T\right]$ a polynomial of positive degree. A function $f$ on $K\left[T\right]$ is called (completely) $Q$-additive if $f(A+BQ)=f\left(A\right)+f\left(B\right)$, where $A,B\in K\left[T\right]$ and $deg\left(A\right)\<deg\left(Q\right)$. We prove that the values $(f_1\left(A\right),...,f_d\left(A\right))$ are asymptotically equidistributed on the (finite) image set $\left\{\right(f_1\left(A\right),...,$ $f_d\left(A\right)):A\in K\left[T\right]\}$ if $Q_j$ are pairwise coprime and $f_j:K\left[T\right]\to K\left[T\right]$ are $Q_j$-additive. Furthermore, it is shown that $(g_1\left(A\right),g_2\left(A\right))$ are asymptotically independent and Gaussian if $g_1,g_2:K\left[T\right]\to ℝ$ are $Q_1$- resp. $Q_2$-additive.

Given a large prime number $p$ and a rational function $r\left(X\right)$ defined over ${𝔽}_p=\mathbb{Z}/p\mathbb{Z}$, we investigate the size of the set $\left\{x\in {𝔽}_p:\tilde{r}\left(x\right)\>\tilde{r}(x+1)\right.$, where $\tilde{r}\left(x\right)$ and $\tilde{r}(x+1)$ denote the least positive representatives of $r\left(x\right)$ and $r(x+1)$ in $\mathbb{Z}$ modulo $p\mathbb{Z}$.

Let $\Gamma$ be a non-pluripolar set in ${ℂ}^N$. Let $f$ be a function holomorphic in a connected open neighborhood $G$ of $\Gamma$. Let $\left\{P_n\right\}$ be a sequence of polynomials with $deg{P}_n\le d_n(d_n\<d_{n+1})$ such that $$\underset{n\to \infty }{lim\; sup}{|f\left(z\right)-P_n\left(z\right)|}^{1/d_n}\<1,z\in \Gamma .$$ We show that if $$\underset{n\to \infty }{lim\; sup}{\left|P_n\left(z\right)\right|}^{1/d_n}\le 1,z\in E,$$ where $E$ is a set in ${ℂ}^N$ such that the global extremal function $V_E\equiv 0$ in ${ℂ}^N$, then the maximal domain of existence $G_f$ of $f$ is one-sheeted, and $$\underset{n\to \infty }{lim\; sup}{\parallel f-P_n\parallel }_K^{\frac{1}{d_n}}\<1$$ for every compact set $K\subset G_f$. If, moreover, the sequence $\{d_{n+1}/d_n\}$ is bounded then $G_f={ℂ}^N$. If $E$ is a closed...

Let $f\left(x\right)$ be a power series ${\sum }_{n\ge 1}\zeta \left(n\right)x^{e\left(n\right)}$, where $\left(e\right(n\left)\right)$ is a strictly increasing linear recurrence sequence of non-negative integers, and $\left(\zeta \right(n\left)\right)$ a sequence of roots of unity in ${\overline{\mathbb{Q}}}_p$ satisfying an appropriate technical condition. Then we are mainly interested in characterizing the algebraic independence over ${\mathbb{Q}}_p$ of the elements $f\left({\alpha }_1\right),...,$ $f\left({\alpha }_t\right)$ from ${ℂ}_p$ in terms of the distinct ${\alpha }_1,...,{\alpha }_t\in {\mathbb{Q}}_p$ satisfying $0\<|{\alpha }_{\tau }{|}_p\<1$ for $\tau =1,...,t$. A striking application of our basic result says that, in the case $e\left(n\right)=n$, the set $\left\{f\left(\alpha \right)\right|\alpha \in {\mathbb{Q}}_p,0\<|\alpha {|}_p\<1\}$ is algebraically independent over ${\mathbb{Q}}_p$ if...

For $a\in {\mathbf{R}}^n\setminus \left\{0\right\}$ and $\Omega$ an open bounded subset of ${\mathbf{R}}^n$ definie $L^p(\Omega ,a)$ as the closed subset of $L^p\left(\Omega \right)$ consisting of all functions that are constant almost everywhere on almost all lines parallel to $a$. For a given set of directions $a^{\nu }\in {\mathbf{R}}^n\setminus \left\{0\right\}$, $\nu =1,...,m$, we study for which $\Omega$ it is true that the vector space $$(*)L^p(\Omega ,a^1)+\cdots +L^p(\Omega ,a^m)\text{is}\text{a}\text{closed}\text{subspace}\text{of}{L}^p\left(\Omega \right).$$ This problem arizes naturally in the study of image reconstruction from projections (tomography). An essentially equivalent problem is to decide whether a certain matrix-valued differential operator...

It is proved that if ${\phi }_n$ is a complete orthonormal system of bounded functions and ɛ>0, then there exists a measurable set E ⊂ [0,1] with measure |E|>1-ɛ, a measurable function μ(x), 0 < μ(x) ≤ 1, μ(x) ≡ 1 on E, and a series of the form ${\sum }_{k=1}^{\infty }{c}_k{\phi }_k\left(x\right)$, where $c_k\in l_q$ for all q>2, with the following properties: 1. For any p ∈ [1,2) and $f\in L_{\mu }^p[0,1]=f:{ʃ}_0^1{\left|f\left(x\right)\right|}^p\mu \left(x\right)dx<\infty$ there are numbers ${\varepsilon }_k$, k=1,2,…, ${\varepsilon }_k$ = 1 or 0, such that $li{m}_{n\to \infty }{ʃ}_0^1{|{\sum }_{k=1}^n{\varepsilon }_k{c}_k{\phi }_k\left(x\right)-f\left(x\right)|}^p\mu \left(x\right)dx=0.$ 2. For every p ∈ [1,2) and $f\in L_{\mu }^p[0,1]$ there are a function $g\in L^1[0,1]$ with g(x) = f(x) on E and numbers ${\delta }_k$, k=1,2,…, ${\delta }_k=1$ or 0,...