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.     

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:

C-Totally real pseudo-parallel submanifolds of Sasakian space forms

Let be (2n + 1)-dimensional Sasakian space form of constant ϕ-sectional curvature (c) and M ⁿ be an ⁿ -dimensional C-totally real, minimal submanifold of . We prove that if M ⁿ is pseudo-parallel and , then M ⁿ is totally geodesic.     

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.     

Probability measures on [SIN] groups and some related ideals in group algebras

In 1921, Blichfeldt gave an upper bound on the number of integral points contained in a convex body in terms of the volume of the body. More precisely, he showed that , whenever is a convex body containing n + 1 affinely independent integral points. Here we prove an analogous inequality with respect to the surface area F(K), namely . The proof is based on a slight improvement of Blichfeldt’s bound in the case when K is a non-lattice translate of a lattice polytope, i.e., K = t + P, where and P is an n-dimensional polytope with integral vertices. Then we have . Moreover, in the 3-dimensional case we prove a stronger inequality, namely . Authors’ addresses: Martin Henk, Institut für Algebra und Geometrie, Universit?t Magdeburg, Universit?tsplatz 2, D-39106 Magdeburg, Germany; J?rg M. Wills, Mathematisches Institut, Universit?t Siegen, ENC, D-57068 Siegen, Germany     

Embedding metric spaces into normed spaces and estimates of metric capacity

Let be an arbitrary real normed space of finite dimension d ≥ 2. We define the metric capacity of as the maximal such that every m-point metric space is isometric to some subset of (with metric induced by ). We obtain that the metric capacity of lies in the range from 3 to , where the lower bound is sharp for all d, and the upper bound is shown to be sharp for d ∈ {2, 3}. Thus, the unknown sharp upper bound is asymptotically linear, since it lies in the range from d + 2 to . Research supported by the German Research Foundation, Project AV 85/1-1.     

A variational problem for submanifolds in a sphere

Let be an n-dimensional submanifold in an (n + p)-dimensional unit sphere S ^{n + p} , M is called a Willmore submanifold (see [11], [16]) if it is a critical submanifold to the Willmore functional , where is the square of the length of the second fundamental form, H is the mean curvature of M. In [11], the second author proved an integral inequality of Simons’ type for n-dimensional compact Willmore submanifolds in S ^{n + p} . In this paper, we discover that a similar integral inequality of Simons’ type still holds for the critical submanifolds of the functional . Moreover, it has the advantage that the corresponding Euler-Lagrange equation is simpler than the Willmore equation.     

(Almost) primitivity of Hecke <Emphasis Type="Italic">L</Emphasis>-functions

Let f be a cusp form of the Hecke space and let L _f be the normalized L-function associated to f. Recently it has been proved that L _f belongs to an axiomatically defined class of functions . We prove that when λ ≤ 2, L _f is always almost primitive, i.e., that if L _f is written as product of functions in , then one factor, at least, has degree zeros and hence is a Dirichlet polynomial. Moreover, we prove that if then L _f is also primitive, i.e., that if L _f = F ₁ F ₂ then F ₁ (or F ₂) is constant; for the factorization of non-primitive functions is studied and examples of non-primitive functions are given. At last, the subset of functions f for which L _f belongs to the more familiar extended Selberg class is characterized and for these functions we obtain analogous conclusions about their (almost) primitivity in .     

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.     

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     

Higher-order energy expansions and spike locations

We consider the following singularly perturbed semilinear elliptic problem: where is a bounded domain in R ^N with smooth boundary , is a small constant and f is some superlinear but subcritical nonlinearity. Associated with (I) is the energy functional defined by where . Ni and Takagi ([29, 30]) proved that for a single boundary spike solution , the following asymptotic expansion holds: where c ₁ > 0 is a generic constant, is the unique local maximum point of and is the boundary mean curvature function at . In this paper, we obtain a higher-order expansion of where c ₂, c ₃ are generic constants and is the scalar curvature at . In particular c ₃ > 0. Some applications of this expansion are given.Received: 14 January 2003, Accepted: 28 July 2003, Published online: 15 October 2003Mathematics Subject Classification (2000): Primary 35B40, 35B45; Secondary 35J25     

Tameness of Pseudovariety Joins Involving ${\sf R}$

In this paper, we establish several decidability results for pseudovariety joins of the form , where is a subpseudovariety of or the pseudovariety . Here, (resp. ) denotes the pseudovariety of all -trivial (resp. -trivial) semigroups. In particular, we show that the pseudovariety is (completely) κ-tame when is a subpseudovariety of with decidable κ-word problem and is (completely) κ-tame. Moreover, if is a κ-tame pseudovariety which satisfies the pseudoidentity x₁ ⋯ x_ry^ω+1zt^ω = x₁ ⋯ x_ryzt^ω, then we prove that is also κ-tame. In particular the joins , , , and are decidable. Partial support by FCT, through the Centro de Matemática da Universidade do Porto, is also gratefully acknowledged. Partial support by FCT, through the Centro de Matemática da Universidade do Minho, is also gratefully acknowledged.     

Inverse scattering up to smooth functions for the Dirac-ZS-AKNS system

We consider the Dirac-ZS-AKNS system (1) where (the space of functions with n derivatives in L ¹), (2) We consider for (1) the transition matrix and, in addition, for the case of the Dirac system (i.e. for the selfadjoint case the scattering matrix We can divide main results of the present work into three parts. I. We show that the inverse scattering transform and the inverse Fourier transform give the same solution, up to smooth functions, of the inverse scattering problem for (1). More preciseley, we show that, under condition (2) with , the following formulas are valid: (3) and, in addition, for the case of the Dirac system (4) where denotes the factor space. II. Using (3), (4), we give the characterization of the transition matrix and the scattering matrix for the case of the Dirac system under condition (2) with III. As applications of the results mentioned above, we show that 1) for any real-valued initial data , the Cauchy problem for the sh-Gordon equation has a unique solution such that and for any t > 0, 2) in addition, for , for such a solution the following formula is valid: where denotes the space of functions locally integrable with n derivatives. We give also a review of preceding results.     

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 .     

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.     

Approximating <Emphasis Type="Italic">J</Emphasis>-holomorphic curves by holomorphic ones

Given an almost complex structure J in a cylinder of (p > 1) together with a compatible symplectic form and given an arbitrary J-holomorphic curve without boundary in that cylinder, we construct an holomorphic perturbation of , for the canonical complex structure J ₀ of , such that the distance between these two curves in W ^1,2 and norms, in a sub-cylinder, are controled by quantities depending on J, and by the area of only. These estimates depend neither on the topology nor on the conformal class of . They are key tools in the recent proof of the regularity of 1-1 integral currents in [RT].Received: 2 October 2003, Accepted: 18 November 2003, Published online: 25 February 2004     

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     

A Characteristic Property of Injective Holomorphic Germs

Let X ₀ be the germ at 0 of a complex variety and let be a holomorphic germ. We say that f is pseudoimmersive if for any such that , we have . We prove that f is pseudoimmersive if and only if it is injective. Some results about the real case are also considered.     

A <Emphasis Type="Italic">C</Emphasis><Superscript>∞</Superscript>-Regularity Theorem for Nondegenerate CR Mappings

We prove the following regularity result: If , are smooth generic submanifolds and M is minimal, then every C^k-CR-map from M into M which is k-nondegenerate is smooth. As an application, every CR diffeomorphism of k-nondegenerate minimal submanifolds in of class C^k is smooth.     

Hypersurfaces and Codazzi tensors

In this paper we deal with the following problem. Let (M ⁿ ,〈,〉) be an n-dimensional Riemannian manifold and an isometric immersion. Find all Riemannian metrics on M ⁿ that can be realized isometrically as immersed hypersurfaces in the Euclidean space . More precisely, given another Riemannian metric on M ⁿ , find necessary and sufficient conditions such that the Riemannian manifold admits an isometric immersion into the Euclidean space . If such an isometric immersion exists, how can one describe in terms of f? Author’s address: Thomas Hasanis and Theodoros Vlachos, Department of Mathematics, University of Ioannina, 45110 Ioannina, Greece