On the quotient ring by diagonal invariants

For a finite Coxeter group, W, and its reflection representation , we find the character and Hilbert series for a quotient ring of [^*] by an ideal containing the W–invariant polynomials without constant term. This confirms conjectures of Haiman.     

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 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     

On the concentration of stresses due to a small elliptic inclusion on the neutral axis of a deep beam under constant bending moment

Zusammenfassung Es wird die Spannungsverteilung untersucht, die sich in einem breiten Balken mit konstanter Höhe unter einem konstanten Biegemoment ausbildet, wenn er eine kleine elliptische Einschliessung mit Zentrum auf der Neutralachse enthält. Insbesondere werden die Fälle eines sehr starren Einschlusses sowie eines elliptischen Loches im Detail diskutiert.

---

Nomenclature x, y Cartesian coordinates - , elliptic coordinates - u, v (u ,u )=components of displacements - , unit elongations in -and -directions - shearing strain - , normal stress components in elliptical coordinates - shearing stress in elliptic coordinates - _x , _y normal stress in Cartesian coordinates - _xy shearing stress in Cartesian coordinates - E Young's modulus for the beam - v Poisson's ratio for the beam - 1/h ₁, 1/h ₂ stretch ratios - e _x + _y dilatation - 2 rotation - M bending moment     

On the bestL p multipoint local approximation

P (f) — , f L ^p - , k . f 02k–2 P (f) 0.     

On unconditionally convergent basis expansions in the space of continuous functions

[0,1], - H .

---

---

This paper was written during the author's scholarship at the State University of Odessa in the USSR.     

(q, δ)-Numeration Systems with Missing Digits

We consider the (q, ) numeration system, with basis q2 and the set of digits {, +1,,q+–1} where –(q–1)0. We study properties of numbers where some digits do not occur. This is analogous to the Cantor set {0.a₁a₂a_i{0,2}}. We compute an asymptotic equivalent of the nth moment of the Cantor (q, D)-distribution which can be described as the numbers 0. w₁w₂ with w_iD{,,q+–1}, and each such letter can occur with the same probability 1/CardD. Furthermore, we consider n random strings according to the distribution and the expected minimum of them. We find a recursion which we solve asymptotically.This author was supported by the CNRS/NRF-project no 10959. Part of this work was done during the first authors visit to the John Knopfmacher Centre for Applicable Analysis and Number Theory at the University of the Witwatersrand, Johannesburg, South Africa.This author was supported by the CNRS/NRF-project no 10959.     

A Hubert space characterization among function spaces

— [0,1] ,E — - e=1 [0,1]. I — _E =1, E=L ₂ x _e =xL ₂ x E.

---

---

This work was prepared when the second author was a visiting professor of the CNR at the University of Firenze. He was supported by the Soros International Fund.     

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.     

Oscillation and non-oscillation theorems for superlinear Emden–Fowler equations of the fourth order

We study the oscillatory behavior of solutions of the fourth-order Emden–Fowler equation: (E) y^(iv)+q(t)|y|sgny=0, where >1 and q(t) is a positive continuous function on [t₀,), t₀>0. Our main results Theorem 2 – if (q(t)t^(3+5)/2)0, then equation (E) has oscillatory solutions; Theorem 3 – if lim_tq(t)t^4+(-1)=0, >0, then every solution y(t) of equation (E) is either non-oscillatory or satisfies limsup_tt^-+i|y⁽ⁱ⁾(t)|= for < and i=0,1,2,3,4. These results complement those given by Kura for equation (E) when q(t)<0 and provide analogues to the results of the second-order equation, y+q(t)|y|sgny=0,>1. Mathematics Subject Classification (2000) 34C10, 34C15     

Subsets with Restricted Movement

Let G be a finite permutation group on a set with no fixed points in and let m and k be integers with 0 < m < k. For a finite subset of the movement of is defined as move() = max_gG| ^g \ |. Suppose further that G is not a 2-group and that p is the least odd prime dividing |G| and move() m for all k-element subsets of . Then either || k + m or k (7m – 5) / 2, || (9m – 3)/2. Moreover when || > k + m, then move() m for every subset of .     

Cycles in <Emphasis Type="Italic">G</Emphasis>-orbits in <Emphasis Type="Italic">G</Emphasis><Superscript><Emphasis Type="Italic">ℂ</Emphasis></Superscript>-flag manifolds

There is a natural duality between orbits of a real form G of a complex semisimple group G on a homogeneous rational manifold Z=G /P and those of the complexification K of any of its maximal compact subgroups K: (,) is a dual pair if is a K-orbit. The cycle space C() is defined to be the connected component containing the identity of the interior of {g:g() is non-empty and compact}. Using methods which were recently developed for the case of open G-orbits, geometric properties of cycles are proved, and it is shown that C() is contained in a domain defined by incidence geometry. In the non-Hermitian case this is a key ingredient for proving that C() is a certain explicitly computable universal domain.Research of the first author partially supported by Schwerpunkt Global methods in complex geometry and SFB-237 of the Deutsche Forschungsgemeinschaft.The second author was supported by a stipend of the Deutsche Akademische Austauschdienst.     

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

     

On Differences of Semicubical Powers

For X,Y,>0, let and define I ₈(X,Y,) to be the cardinality of the set. In this paper it is shown that, for >0, Y ²/X ³=O(), =O(Y ³/X ³) and X=O (Y ²), one has I ₈(X,Y,)=O(X ² Y ²+X min (X ^{3/2} Y ³, X ^{11/2} Y ^{–1})+X min (^{1/3} X ² Y ³, X ^{14/3} Y ^{1/3})), with the implicit constant depending only on . There is a brief report on an application of this that leads, by way of the Bombieri-Iwaniec method for exponential sums, to some improvement of results on the mean squared modulus of a Dirichlet L-function along a short interval of its critical line.     

The Cesàro-Denjoy-Bochner scale of almost periodicity

, —— , . , f, ——, —. .     

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     

A note on rational approximation rate for Müntz system {x λn } with λ n ↘ 0

[Zho2] {x ⁿ } , _n 0 n .

---

---

Supported in part by an NSERC Postdoctoral Fellowship and a CRF grant of University of Alberta.     

Surjectivity for Hamiltonian loop group spaces

Let G be a compact Lie group, and let LG denote the corresponding loop group. Let (X,) be a weakly symplectic Banach manifold. Consider a Hamiltonian action of LG on (X,), and assume that the moment map :XL ^* is proper. We consider the function ||²:X, and use a version of Morse theory to show that the inclusion map j:^-1(0)X induces a surjection j ^*:H _G ^*(X)H _G ^*(^-1(0)), in analogy with Kirwans surjectivity theorem in the finite-dimensional case. We also prove a version of this surjectivity theorem for quasi-Hamiltonian G-spaces.     

The Milnor–Totaro Theorem for Space Polygons

If denotes the curvature and the torsion of a closed, generic, and oriented polygonal space curve X in , then we show that _X (² + ²) ds = _X ds + _X | | ds > 4 if is positive. We also show that _X (² + ²) ds 2n if no four consecutive vertices lie in a plane and X has linking number n with a straight line. These extend theorems of Milnor and Totaro.     

Holomorphe Funktionen auf Gebieten über Banach-Räumen zu vorgegebenen Konvergenzradien

Given a function: ₊ on a domain spread over an infinite dimensional complex Banach space E with a Schauder basis such that -log is plurisubharmonic and d (d denotes the boundary distance on ) one can find a holomorphic function f: with _f, where _f is the radius of convergence of f. If, in addition, is locally Lipschitz continuous with constant 1, f can be chosen so that (3M)^–1 _f, where M is the basis constant of E. In the particular case of E= ₁ there are holomorphic functions f on with= _f.