On the discrete mean square of Dirichlet <Emphasis Type="Italic">L</Emphasis>-functions at 1

There have been many results obtained so far for the mean square of the (absolute) value of the Dirichlet L-function L(s,) in the critical strip 0<<1, especially on the critical line , but relatively few results were known for discrete mean value of |L(1,)|² till W. Zhang had published papers improving the error term step by step, which have recently been superseded by M. Katsurada and K.Matsumoto in which they succeeded in deriving an asymptotic formula for ₀|L(1,)|². The object of our paper is to point out a structural property contained in the formation of the mean square, to find out the niryana–the true body of the above sum.Dedicated to Professor Jean Louis Nicolás on his sixtieth birthdayin final form: 7 October 2003     

A commutativity criterion for certain algebras of invariant differential operators on nilpotent homogeneous spaces

Let G be a connected, simply connected real nilpotent Lie group with Lie algebra , H a connected closed subgroup of G with Lie algebra and f a linear form on satisfying f([, ]) = {0} Let _f be the unitary character of H with differential at the origin. Let _f be the unitary representation of G induced from the character _f of H. We consider the algebra (, , f) of differential operators invariant under the action of G on the bundle with basis G/H associated to these data. We show that (, , f) is commutative if and only if _f is of finite multiplicities. This proves a conjecture of Corwin-Greenleaf and Duflo. Mathematics Subject Classification (1991):43A80, 43A85, 22E25, 22E27, 22E30UMR n 7539 du CNRS, Analyse, Géométrie et Applications.UMR n 7586 du CNRS, Théorie des Groupes, Représentations, Applications.     

Volumes des représentations sur un corps local

Let be a locally compact second countable group, F a local field of characteristic zero and G an F-almost-simple F-algebraic group. In this paper we study the space X(,G) of Zariski-dense representations : G = G(F) using the natural morphism of cohomological functors * : H*(G, ·) H*(, ·) (where H denotes the continuous cohomology).First let F be a p-adic field. We completely describe the relations between the geometry and the cohomology of G : using geometric properties of the Bruhat-Tits building of G we construct natural cocycles for any irreducible cohomological representation of G. We then adapt these results to the case where the field F is archimedean.Using these cocycles we obtain a simple cohomological characterization of representations with bounded image.Our main result is then the construction, using the previous cocycles and dynamical properties at infinity of , of cohomological invariants (called volumes) on the space X(,G). These volumes describe how the image () goes to infinity in G. They have coefficients in the natural universal infinite-dimensional representation L(, )$\mathbb{C}$ of .In the case where is a cocompact lattice of SO(n, 1) or SU(n, 1), we use these volumes to produce new non-trivial numerical invariants on X(,G), which refine previously known invariants.

---

Volumes des représentations sur un corps local

     

K-Theory of Semi-local Rings with Finite Coefficients and étale Cohomology

Let A be a commutative semi-local ring containing 1/2. We construct natural isomor-phisms

Asymptotics of the partial sums of a set of integral transforms

In this paper, we explore the asymptotic distribution of the zeros of the partial sums of the family of entire functions of order 1 and type 1, defined by G(,,z)=₀ ¹(t)t ^–1×(1–t)^–1e ^zt dt, where Re,Re>0, is Riemann-integrable on [0,1], continuous at t=0, 1 and satisfies (0)(1)0.     

The intersection of complete geodesics on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript> with positive curvature

Let M be a Riemannian manifold. A complete geodesic on M means that :(-,+)M is a normalized geodesic. In this paper, we prove that on (S²,g) with positive curvature, any two complete geodesics must intersect an infinite number of times, and a complete geodesic must self-intersect an infinite number of times. Mathematics Subject Classification (2000) 53C40 (53C22)     

Optimal relaxation parameter for the Uzawa Method

Summary. We consider the Uzawa method to solve the stationary Stokes equations discretized with stable finite elements. An iteration step consists of a velocity update uⁿ⁺¹ involving the (augmented Lagrangian) operator ––÷ with 0, followed by the pressure update pⁿ⁺¹=pⁿ–div uⁿ⁺¹, the so-called Richardson update. We prove that the inf-sup constant satisfies 1 and that, if =1+^–1, the iteration converges linearly with a contraction factor ^2-1(2-) provided 0<<2. This yields the optimal value = regardless of .Mathematics Subject Classification (1991): 65N12, 65N15Partially supported by NSF Grant DMS-9971450Partially supported by NSF Grants DMS-9971450 and DMS-0204670Revised version received September 30, 2003     

Kleine Nullstellen quadratischer Formen in Funktionenkörpern

Letk be a field of characteristic different from 2 andt an indeterminate overk. Let0 be a quadratic form inn variables with coefficients _ij = _ji ink[t]. We show that if vanishes on ad-dimensional subspace ofk(t) ⁿ , then there is a zero (x ₁ ,...,x _n )k[t] ⁿ –{(0,...,0)} with max max{deg _ij }. We also show, that the factor is best possible.

     

A weighted Poincaré inequality and removable singularities for harmonic maps

We give a sufficient condition on a closed subset R ⁿ for the weighted Poincaré inequality (1.5) below to be valid. As an application, we prove that, for any 2p<n and any such closed subset R ⁿ , if uC ¹( , N) W ^1,p (, N) is a stationary p-harmonic map such that |Du| ^p (x) dx is sufficiently small, then uC ¹(, N). This extends previously known removal singularity theorems for p-harmonic maps. Mathematics Subject Classification (2000):58E20, 58J05, 35J60This revised version was published online in September 2003 with a corrected date of receipt of the article.     

Supplementing Radicals and Decompositions of Near-Rings

If is a radical of near-rings and is its supplementing radical, then (N)(N) N. We address the issue when (N) (N) = N holds. In the variety F of near-rings in which the constants form an ideal, the assignment c: N N_c is a hereditary Kurosh–Amitsur radical, _c is characterized in terms of distributors and criteria are given for the decomposition N = c(N) c(N). In the subvariety A of all abstract affine near-rings, assigning the maximal torsion ideal (N) is a hereditary Kurosh–Amitsur radical. If such near-rings N A satisfy dcc on principal right ideals, then N splits into a direct sum N = (N) (N) where the additive group of (N) is torsionfree and divisible. Dropping dcc on principal right ideals, an ``essential" decomposition result is proved.     

A graded scale of parametric families of distributions,and parameter estimates based on the sample mean

Summary Denote by _k a class of familiesP={P} of distributions on the line R¹ depending on a general scalar parameter , being an interval of R¹, and such that the moments µ₁()=xdP ,...,µ_2k ()=x ^2k dP are finite, ₁ (), ..., _k (), _k+1 () ..., _k () exist and are continuous, with ₁ () 0, and _j +1 ()= ₁ () _j () +[₂() -₁()²] _j ()/ ₁ (), J=2, ..., k. Let ₁=¯x=x ₁ + ... +x _n/n, ₂=x ₁ ² + ... +x _n ²/n, ..., _k =(x ₁ ^k + ... +x _n ^k/n denote the sample moments constructed for a sample x₁, ..., x_n from a population with distribution Pg. We prove that the estimator of the parameter by the method of moments determined from the equation ₁= ₁() and depending on the observations x₁, ..., x_n only via the sample mean ¯x is asymptotically admissible (and optimal) in the class _k of the estimators determined by the estimator equations of the form ₀ () + ₁ () ₁ + ... + _k () _k =0 if and only ifP _k .The asymptotic admissibility (respectively, optimality) means that the variance of the limit, as n (normal) distribution of an estimator normalized in a standard way is less than the same characteristic for any estimator in the class under consideration for at least one 9 (respectively, for every ).The scales arise of classes _{1 2}... of parametric families and of classes _{1 2} ... of estimators related so that the asymptotic admissibility of an estimator by the method of moments in the class _k is equivalent to the membership of the familyP in the class _k .The intersection consists only of the families of distributions with densities of the form h(x) exp {C₀() + C₁() x } when for the latter the problem of moments is definite, that is, there is no other family with the same moments ₁ (), ₂ (), ...Such scales in the problem of estimating the location parameter were predicted by Linnik about 20 years ago and were constructed by the author in [1] (see also [2, 3]) in exact, not asymptotic, formulation.Translated from Problemy Ustoichivosti Stokhasticheskikh Modelei, pp. 41–47, 1981.     

Estimation of the Multivariate Normal Precision Matrix under the Entropy Loss

Let X ₁, , X _n (n > p) be a random sample from multivariate normal distribution N _p (, ), where R ^p and is a positive definite matrix, both and being unknown. We consider the problem of estimating the precision matrix ^–1. In this paper it is shown that for the entropy loss, the best lower-triangular affine equivariant minimax estimator of ^–1 is inadmissible and an improved estimator is explicitly constructed. Note that our improved estimator is obtained from the class of lower-triangular scale equivariant estimators.     

On the zetafunction of an arithmetical semigroup

The Zetafunction Z of an additive, multiplicative arithmetical semigroup is a power series with radius of convergence (01), a Dirichlet series with abscissa of convergence (0), respectively.Conditions are given which ensure that >0 and Z()=,< and Z()= hold true, respectively. Jürgen Neukirch zum Gedächtnis Mathematics Subject Classification (2000):11N45, 05A16.     

Location of blow-up set for a semilinear parabolic equation with large diffusion

This paper is concerned with where is a bounded smooth domain in R ^N , T _D >0, D>0, and p>1 with (N–2)pN+2. Let P ₂ be the projection from L ²() onto the second Neumann eigenspace. We prove that, if P ₂0 in and D is sufficiently large, the solution u of (P) blows up only near the set , where . Mathematics Subject Classification (2000):35K20, 35K55, 58K57     

On cubature formulas on the basis of lattices

Q (.. , L). Q . P(S_r(2)) — 2 (S _r(2) (r — ). , M(P(S _r(m=sup{t(·)t(·)₁:t P(S _r(2)),t 0}. , /4+(1)M(P(S _r(2)))/r ²15/17+(1)(r+). (Q), Q L.     

Best approximation and best unilateral approximation of the kernel of a biharmonic equation and optimal renewal of the values of operators

For the classB _p , 0 < 1, 1p , of 2-periodic functions of the form f(t)=u(,t), whereu (,t) is a biharmonic function in the unit disk, we obtain the exact values of the best approximation and best unilateral approximation of the kernel K(t) of the convolution f= K *g, gl, with respect to the metric of L₁. We also consider the problem of renewal of the values of the convolution operator by using the information about the values of the boundary functions.Translated from Ukrainskii Matematicheskii Zhurnal, Vol.47, No. 11, pp. 1549–1557, November, 1995.     

Isomorphismen von rechtseiträumen

Spaces called rectangular spaces were introduced in [5] as incidence spaces (P,G) whose set of linesG is equipped with an equivalence relation and whose set of point pairs P² is equipped with a congruence relation , such that a number of compatibility conditions are satisfied. In this paper we consider isomorphisms, automorphisms, and motions on the rectangular spaces treated in [5]. By an isomorphism of two rectangular spaces (P,G, , ) and (P,G, , ) we mean a bijection of the point setP onto P which maps parallel lines onto parallel lines and congruent points onto congruent points. In the following, we consider only rectangular spaces of characteristic 2 or of dimension two. According to [5] these spaces can be embedded into euclidean spaces. In case (P,G, , ) is a finite dimensional rectangular space, then every congruence preserving bijection ofP onto P is in fact an isomorphism from (P,G, , ) onto (P,G, , ) (see (2.4)). We then concern ourselves with the extension of isomorphisms. Our most important result is the theorem which states that any isomorphism of two rectangular spaces can be uniquely extended to an isomorphism of the associated euclidean spaces (see (3.2)). As a consequence the automorphisms of a rectangular space (P,G, , ) are precisely the restrictions (onP) of the automorphisms of the associated euclidean space which fixP as a whole (see (3.3)). Finally we consider the motions of a rectangular space (P,G, , ). By a motion of(P. G,, ) we mean a bijection ofP which maps lines onto lines, preserves parallelism and satisfies the condition((x), (y)) (x,y) for allx, y P. We show that every motion of a rectangular space can be extended to a motion of the associated euclidean space (see (4.2)). Thus the motions of a rectangular space (P,G, , ) are seen to be the restrictions of the motions of the associated euclidean space which mapP into itself (see (4.3)). This yields an explicit representation of the motions of any rectangular plane (see (4.4)).

---

---

Herrn Professor Burau zum 85. Geburtstag gewidmet     

On Rounding Error Sums Related to the Circle Problem

For a large real parameter t and 0 a b we consider sums where is the rounding error function, i.e. (z) = z - [z] - 1/2. We generalize Huxley's well known estimate by showing that holds uniformly in 0 a b . Fruther, we investigate an analogous question related to the divisor problem and show that the inequality , which (due to Huxley) holds uniformly in 0 a b , and which is in general not true for 1 a b t, is true uniformly in 0 a b .     

Spectral orders and convolution

. (R) _{– –} fg(y)h(x–y) dx dy _{– –} f ^{^} (x)g ^{^} (y)h ^{^} (x–y)dx dy (f,g0) —:f×gf ^{^} ×g ^{^}(f,g 0) f^{^} g^{^} f g -, X — . , - f ₁f ₂ , f ₁ ^{^} ×gf ₂×g 0g. .     

On recurrence

Summary LetT be a non-singular ergodic automorphism of a Lebesgue space (X,L,) and letf: X be a measurable function. We define the notion of recurrence of such a functionf and introduce the recurrence setR(f)={:f– is recurrent}. If , then R()={0}, but in general recurrence sets can be very complicated. We prove various conditions for a number to lie in R(f) and, more generally, forR(f) to be non-empty. The results in this paper have applications to the theory of random walks with stationary increments.