Book Reviews

For , let E(λ_*, λ^*) be the set It has been proved in [1] and [3] that E(λ_*, λ^*) is an uncountable set. In the present paper, we strengthen this result by showing that where dim denotes the Hausdorff dimension.     

A Remark on the Growth of the Denominators of Convergents

For log\frac1+?52 ￡ l_* ￡ l^* < ￥{\rm log}\frac{1+\sqrt{5}}{2}\leq \lambda_\ast \leq \lambda^\ast < \infty , let E(λ_*, λ^*) be the set {x ? [0,1): liminf_{n ? ￥}\fraclogq_n(x)n=l_*, limsup_{n ? ￥}\fraclogq_n(x)n=l^*}. \left\{x\in [0,1):\ \mathop{\lim\inf}_{n \rightarrow \infty}\frac{\log q_n(x)}{n}=\lambda_{\ast}, \mathop{\lim\sup}_{n \rightarrow \infty}\frac{\log q_n(x)}{n}=\lambda^{\ast}\right\}. It has been proved in [1] and [3] that E(λ_*, λ^*) is an uncountable set. In the present paper, we strengthen this result by showing that dimE(l_*, l^*) 3 \fracl_* -log\frac1+?522l^*\dim E(\lambda_{\ast}, \lambda^{\ast}) \ge \frac{\lambda_{\ast} -\log \frac{1+\sqrt{5}}{2}}{2\lambda^{\ast}}     

An iterated logarithm law related to decimal and continued fraction expansions

For an irrational number x and n ≥ 1, we denote by k _n (x) the exact number of partial quotients in the continued fraction expansion of x given by the first n decimals of x. G. Lochs proved that for almost all x, with respect to the Lebesgue measure In this paper, we prove that an iterated logarithm law for {k _n (x): n ≥ 1}, more precisely, for almost all x, for some constant σ > 0. Author’s address: Department of Mathematics, Huazhong University of Science and Technology, Wuhan, Hubei 430074, P.R. China     

Arithmetic mean of differences of Dedekind sums

Recently, Girstmair and Schoissengeier studied the asymptotic behavior of the arithmetic mean of Dedekind sums , as N → ∞. In this paper we consider the arithmetic mean of weighted differences of Dedekind sums in the form , where is a continuous function with , runs over , the set of Farey fractions of order Q in the unit interval [0,1] and are consecutive elements of . We show that the limit lim _Q→∞ A _h (Q) exists and is independent of h.     

Sums of the error term function in the mean square for ζ(s)

Sums of the form are investigated, where is the error term in the mean square formula for . The emphasis is on the case k = 1, which is more difficult than the corresponding sum for the divisor problem. The analysis requires bounds for the irrationality measure of e^2πm and for the partial quotients in its continued fraction expansion. Authors’ addresses: Y. Bugeaud, Université Louis Pasteur, Mathématiques, 7 rue René Descartes, F-67084 Strasbourg cedex, France; A. Ivić, Katedra Matematike RGF-a, Universitet u Beogradu, Đušina 7, 11000 Beograd, Serbia     

Normality of Products of <Emphasis Type="Italic">p</Emphasis>-Hyponormal Operators and Their Aluthge Transforms

Let B(H) denote the algebra of operators on a complex separable Hilbert space H, and let A $\in$ B(H) have the polar decomposition A = U|A|. The Aluthge transform is defined to be the operator . We say that A $\in$ B(H) is p-hyponormal, . Let . Given p-hyponormal , such that AB is compact, this note considers the relationship between denotes an enumeration in decreasing order repeated according to multiplicity of the eigenvalues of the compact operator T (respectively, singular values of the compact operator T). It is proved that is bounded above by and below by for all j = 1, 2, . . . and that if also is normal, then there exists a unitary U¹ such that for all j = 1, 2, . . ..     

Dicritical holomorphic flows on Stein manifolds

We study holomorphic flows on Stein manifolds. We prove that a holomorphic flow with isolated singularities and a dicritical singularity of the form on a Stein manifold with , is globally analytically linearizable; in particular M is biholomorphic to . A complete stability result for periodic orbits is also obtained. Bruno Scárdua: Partially supported by ICTP-Trieste-Italy. Received: 27 September 2006     

Typical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>-Dimensions of Measures

For a probability measure μ on a subset of , the lower and upper L^q-dimensions of order are defined by We study the typical behaviour (in the sense of Baire’s category) of the L^q-dimensions and . We prove that a typical measure μ is as irregular as possible: for all q ≥ 1, the lower L^q-dimension attains the smallest possible value and the upper L^q-dimension attains the largest possible value.     

Smooth Universal Taylor Series

Let be a simply connected domain in , such that is connected. If g is holomorphic in Ω and every derivative of g extends continuously on , then we write g ∈ A^∞ (Ω). For g ∈ A^∞ (Ω) and we denote . We prove the existence of a function f ∈ A^∞(Ω), such that the following hold:

Sharp Estimates for Deviations of Linear Approximation Methods for Periodic Functions by Linear Combinations of Moduli of Continuity of Different Order

Estimates for deviations are established for a large class of linear methods of approximation of periodic functions by linear combinations of moduli of continuity of different orders. These estimates are sharp in the sense of constants in the uniform and integral metrics. In particular, the following assertion concerning approximation by splines is proved: Suppose that is odd, . Then

Topological dimensions and multifractal Rényi dimensions of Polish spaces: a multifractal Szpilrajn type theorem

In this paper we consider the relationship between the topological dimension and the lower and upper q-Rényi dimensions and of a Polish space X for q ∈ [1, ∞]. Let and denote the Hausdorff dimension and the packing dimension, respectively. We prove that for all analytic metric spaces X (whose upper box dimension is finite) and all q ∈ (1, ∞); of course, trivially, for all q ∈ [1, ∞]. As a corollary to this we obtain the following result relating the topological dimension and the lower and upper q-Rényi dimensions: for all Polish spaces X and all q ∈ [1, ∞]; in (1) and (2) we have used the following notation, namely, for two metric spaces X and Y, we write X ∼ Y if and only if X is homeomorphic to Y. Equality (1) has recently been proved for q = ∞ by Myjak et al. Author’s address: Department of Mathematics, University of St. Andrews, St. Andrews, Fife KY16 9SS, Scotland     

Precise Asymptotics in the Law of the Iterated Logarithm of Moving-Average Processes

In this paper, we discuss the moving-average process Xk = ∑i=-∞ ^∞ ai＋kεi, where {εi;-∞ 〈 i 〈 ∞} is a doubly infinite sequence of identically distributed ψ-mixing or negatively associated random variables with mean zeros and finite variances, {ai;-∞ 〈 i 〈 -∞） is an absolutely solutely summable sequence of real numbers.     

On exponential sums over primes in short intervals

Let Λ(n) be the von Mangoldt function, x real and y small compared with x. This paper gives a non-trivial estimate on the exponential sum over primes in short intervals for all α ∈ [0,1] whenever . This result is as good as what was previously derived from the Generalized Riemann Hypothesis.     

On the Growth of the Denominators of Convergents

Let log . We prove that there exist non-denumerably many pairwise not equivalent irrational numbers such that and where qn() denotes the denominator of the nth convergent of .     

Inequalities for irregular Gabor frames

In [C.K. Chui and X.L. Shi, Inequalities of Littlewood-Paley type for frames and wavelets, SIAM J. Math. Anal., 24 (1993), 263–277], the authors proved that if is a Gabor frame for with frame bounds A and B, then the following two inequalities hold: and . In this paper, we show that similar inequalities hold for multi-generated irregular Gabor frames of the form , where Δ _k and Λ _k are arbitrary sequences of points in and , 1 ≤ k ≤ r. Corresponding author for second author Authors’ address: Lili Zang and Wenchang Sun, Department of Mathematics and LPMC, Nankai University, Tianjin 300071, China     

Geometric progressions in sumsets over finite fields

Given two sets , the set of d dimensional vectors over the finite field with q elements, we show that the sumset contains a geometric progression of length k of the form vΛ ^j , where j = 0,…, k − 1, with a nonzero vector and a nonsingular d × d matrix Λ whenever . We also consider some modifications of this problem including the question of the existence of elements of sumsets on algebraic varieties.     

Dirichlet and Bergman Spaces of Holomorphic Functions on the Unit Ball of ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let B denote the unit ball in ⁿ, n 1, and let and denote the volume measure and gradient with respect to the Bergman metric on B. In the paper we consider the weighted Dirichlet spaces , , and weighted Bergman spaces , , , of holomorphic functions f on B for which and respectively are finite, where and The main result of the paper is the following theorem.Theorem 1. Let f be holomorphic on B and .(a) If for some , then for all p, , with .(b) If for some p, , then for all with . Combining Theorem 1 with previous results of the author we also obtain the following.Theorem 2. Suppose is holomorphic in B. If for some p, , and , then . Conversely, if for some p, , then the series in * converges.     

Multiplicity of Positive Solutions for a Class of Inhomogeneous Neumann Problems Involving the p(x)-Laplacian

We study the existence and multiplicity of positive solutions for the inhomogeneous Neumann boundary value problems involving the p(x)-Laplacian of the form

New Erdös-Kac type theorems

Assuming a quasi Generalized Riemann Hypothesis (quasi-GRH for short) for Dedekind zeta functions over Kummer fields of the type we prove the following prime analogue of a conjecture of Erd?s & Pomerance (1985) concerning the exponent function f_a(p) (defined to be the minimal exponent e for which a^e ≡ 1 modulo p):

Resonance Free Domains for Non Globally Analytic Potentials

We study the resonances of the semiclassical Schr?dinger operator near a non-trapping energy level in the case when the potential V is not necessarily analytic on all of but only outside some compact set. Then we prove that for some and for any C > 0, P admits no resonance in the domain if V is , and if V is Gevrey with index s. Here does not depend on h and the results are uniform with respect to h > 0 small enough. Submitted 05/02/02, accepted 06/05/02 An erratum to this article is available at .