1. Introduction. The recent article [1] gives explicit evaluations for exponential sums of the form $S(a,p^{\alpha }+1):={\sum }_{x{\in }_q}\chi \left(a{x}^{p^{\alpha }+1}\right)$ where χ is a non-trivial additive character of the finite field ${}_q$, $q=p^e$ odd, and $a\in {*}_q$. In my dissertation [5], in particular in [4], I considered more generally the sums S(a,N) for all factors N of $p^{\alpha }+1$. The aim of the present note is to evaluate S(a,N) in a short way, following [4]. We note that our result is also valid for even q, and the technique used in our proof can also be used to evaluate...

In recent years, starting with the paper [B-D-S], we have investigated the possibility of characterizing countable subgroups of the torus $T=\mathbf{R}/\mathbf{Z}$ by subsets of $\mathbf{Z}$. Here we consider new types of subgroups: let $K\subseteq T$ be a Kronecker set (a compact set on which every continuous function $f:K\to T$ can be uniformly approximated by characters of $T$), and $G$ the group generated by $K$. We prove (Theorem 1) that $G$ can be characterized by a subset of ${\mathbf{Z}}^2$ (instead of a subset of $\mathbf{Z}$). If $K$ is finite, Theorem 1 implies our...

We discuss the propagation of electromagnetic waves of a special form through an inhomogeneous isotropic medium which has a cylindrical symmetry and a nonlinear dielectric response. For the case where this response is of self-focusing type the problem is treated in [1]. Here we continue this study by dealing with a defocusing dielectric response. This tends to inhibit the guidance properties of the medium and so guidance can only be expected provided that the cylindrical stratification...

1. Introduction. Let p be a prime number and ${\mathbb{Z}}_p$ the ring of p-adic integers. Let k be a finite extension of the rational number field ℚ, $k_{\infty }$ a ${\mathbb{Z}}_p$-extension of k, $k_n$ the nth layer of $k_{\infty }/k$, and $A_n$ the p-Sylow subgroup of the ideal class group of $k_n$. Iwasawa proved the following well-known theorem about the order $A_n$ of $A_n$: Theorem A (Iwasawa). Let $k_{\infty }/k$ be a ${\mathbb{Z}}_p$-extension and $A_n$ the p-Sylow subgroup of the ideal class group of $k_n$, where $k_n$ is the $n$th layer of $k_{\infty }/k$. Then there exist integers $\lambda =\lambda (k_{\infty }/k)\ge 0$, $\mu =\mu (k_{\infty }/k)\ge 0$, $\nu =\nu (k_{\infty }/k)$, and n₀ ≥ 0...

We show that if $X$ is a subspace of a linearly ordered space, then $C_k\left(X\right)$ is a Baire space if and only if $C_k\left(X\right)$ is Choquet iff $X$ has the Moving Off Property.

 Let $F_i=1,...,N$ be affine mappings of ${ℝ}^n$. It is well known that if there exists j ≤ 1 such that for every ${\sigma }_1,...,{\sigma }_j\in 1,...,N$ the composition (1) $F_{\sigma 1}\circ ...\circ F_{{\sigma }_j}$ is a contraction, then for any infinite sequence ${\sigma }_1,{\sigma }_2,...\in 1,...,N$ and any $z\in {ℝ}^n$, the sequence (2)$F_{\sigma 1}\circ ...\circ F_{{\sigma }_n}\left(z\right)$ is convergent and the limit is independent of z. We prove the following converse result: If (2) is convergent for any $z\in {ℝ}^n$ and any $\sigma ={\sigma }_1,{\sigma }_2,...$ belonging to some subshift Σ of N symbols (and the limit is independent of z), then there exists j ≥ 1 such that for every $\sigma ={\sigma }_1,{\sigma }_2,...\in \Sigma$ the composition (1) is a contraction....

1. Introduction. Given x in (0,1], let x = [d₁(x),d₂(x),...] denote the Engel expansion of x, that is, (1) $x=1/d₁\left(x\right)+1/\left(d₁\left(x\right)d₂\left(x\right)\right)+...+1/(d₁\left(x\right)d₂\left(x\right)...d_n\left(x\right))+...$, where $d_j\left(x\right),j\ge 1$ is a sequence of positive integers satisfying d₁(x) ≥ 2 and $d_{j+1}\left(x\right)\ge d_j\left(x\right)$ for j ≥ 1. (See [3].) In [3], János Galambos proved that for almost all x ∈ (0,1], (2) $li{m}_{n\to \infty }{d}_n^{1/n}\left(x\right)=e.$He conjectured ([3], P132) that the Hausdorff dimension of the set where (2) fails is one. In this paper, we prove this conjecture: Theorem. $di{m}_{H}x\in (0,1]:\left(2\right)fails=1$. We use L¹ to denote the one-dimensional Lebesgue measure on (0,1] and $di{m}_H$ to denote...

Suppose $A$ is a set of non-negative integers with upper Banach density $\alpha$ (see definition below) and the upper Banach density of $A+A$ is less than $2\alpha$. We characterize the structure of $A+A$ by showing the following: There is a positive integer $g$ and a set $W$, which is the union of $\lceil 2\alpha g-1\rceil$ arithmetic sequences [We call a set of the form $a+d\mathbb{N}$ an arithmetic sequence of difference $d$ and call a set of the form $\{a,a+d,a+2d,...,a+kd\}$ an arithmetic progression of difference $d$. So an arithmetic progression is finite and an arithmetic...