Über nullstellenfreie Gebiete von ζ(itk) (s)

Let ^(itk) (s) denote thek-th derivative of the Riemann Zeta-function,s=+it, ,t real numbers,k1 rational integers. Using ideas fromT. C. Titchmarsh and from a paper ofR. Spira, lower bounds are derived for |^(itk)(s)|, |^(itk)(1-s) for >1 and some infinitely many, sufficiently large values oft. Further let be an algebraic number of degreen and heightH; then a lower bound for |^(itk)(its)|, dependent onn, H, k is established for alln,H1,k3, 2+7k/4 and all realt.     

Contraction of Exterior Powers in Characteristic 2 and the Spin Module

Let K be a field of characteristic 2 and letV be a vector space of dimension 2m over K. Let f be a non-degenerate alternating bilinear form defined on V × V. The symplectic group Sp(2m, K) acts on the exterior powers ^k V for 0 k. 2m There is a contraction map defined on the exterior algebra , which commutes with the Sp(2m, K) action and satisfies ² = 0 and ( ^k V) ^k–1 V We prove that ( ^k V)= ker ^k–1 V except when k=m+2. In the exceptional case, ( ^m+2 V) has codimension 2^m in ker ^m V and we show that the quotient module ker ^m V/ ^m+2 V is a spin module for Sp(2m,K). When K is algebraically closed, we show that this spin module occurs with multiplicity 1 in ^m V and multiplicity 0 in all other components of V.     

∑II∑ threshold formulas

A II formula has the form, where eachL is either a variable or a negated variable. In this paper we study the computation of threshold functions by II formulas. By combining the proof of the Fredman-Komlós bound [5, 10] and a counting argument, we show that fork andn large andkn/2, every II formula computing the threshold functionT _k ⁿ has size at least exp . Fork andn large andkn ^2/3, we show that there exist II formulas for computingT _k ⁿ with size at most exp .     

Propriété de stabilité de la fonction extrémale relative

Nous donnons une caractérisation des domaines DX pour lesquels la fonction extrémale relative ^*(,E,D) a la propriété de stabilité pour tout ED, i.e. lim _k^*(,E,D _k )=^*(,E,D), ED. Ensuite, nous étudions la relation entre cette propriété et les enveloppes pluripolaires. Nous concluons par quelques remarques sur la propriété de stabilité lim _k^*(,E _k ,D)=^*(,E,D).     

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     

The problem of conformal transformations of a circle into nonoverlapping regions

Let a, a0, a, be a fixed point in the z-plane, (a, 0, ), the class of all systemsf _k()_l ³ of functions z=f ^k(), k=1, 2, 3, of which the first two map conformally and in a s ingle-sheeted manner the circle ¦¦<1, and the third maps in a similar manner the region ¦¦>1, into pair-wise nonintersecting regions B_k, k=1, 2, 3, containing the points a, 0, and , respectively, so thatf ₁(0)=a,f ₂(0)=0 andf ₃()=. The region of values (a, 0, ) of the system M(¦f ₁'(0)¦, ¦f ₂'(0)¦, 1/¦f ₃'()¦) in the class (a, 0, ) is determined.Translated from Matematicheskie Zametki, Vol. 6, No. 4, pp. 417–424, October, 1969.     

The Lê varieties,I

Summary For a complex polynomial,f:( ⁿ⁺¹ ,0) (, 0), with a singular set of complex, dimensions at the origin, we define a sequence of varieties—the Lê varieties, _f ^(k) , off at 0. The multiplicities of these varieties, _f ^(k) , generalize the Milnor number for an isolated singularity. In particular, we show that ifsn-2, the Milnor, fibre off is obtained fromB ²ⁿ by successively attaching _f ^{(n – k)} k-handles, wheren-skn Ifs=n-1, the Milnor fibre off is obtained from a2n-manifold with the homotopy type of a bouquet of _f ^{(n – 1)} circles by successively attaching _f ^{(n – k)} k-handles, where 2kn.The author is a National Science Foundation, Postdoctoral Research Fellow supported by grant # DMS-8807216     

C 1 changes of variable: Beurling-Helson type theorem and Hörmander conjecture on Fourier multipliers

We prove that if aC ¹ smooth change of variable : generates a bounded composition operatorff° in the spaceA _p()=L ^p ,p2, then is linear (affine).We also prove that for a nonlinearC ¹ mapping , the norms of exponentialse ⁱ as Fourier multipliers inL ^p () tend to infinity (,||). In both results the condition C ¹ is sharp, it cannot be replaced by the Lipschitz condition.     

φ-Factors for Function Seminorms

Let (, A, ) be a measure space, a function seminorm on M, the space of measurable functions on , and M the space {f M : (f) < }. Every Borel measurable function : [0, ) [0, ) induces a function : M M by (f)(x) = (|f(x)|). We introduce the concepts of -factor and -invariant space. If is a -subadditive seminorm function, we give, under suitable conditions over , necessary and sufficient conditions in order that M be invariant and prove the existence of -factors for . We also give a characterization of the best -factor for a -subadditive function seminorm when is -finite. All these results generalize those about multiplicativity factors for function seminorms proved earlier.     

On convergence subsystems of orthonormal systems

It is proved that for any sequence {R _k} _k=1 of real numbers satisfyingR _kk (k1) andR _k=o(k log₂ k),k, there exists an orthonormal system {n _k(x)} _n=1 ,x (0;1), such that none of its subsystems {n _k(x)} _k=1 withn _kR_k (k1) is a convergence subsystem.     

Interpolation of weighted Orlicz-valued function spaces

- L. , .

---

---

This paper is to be part of the author's doctoral dissertation written at the University of Campinas under the supervision of Prof. D. L. Fernandez.     

Convergence of the steepest descent method for minimizing quasiconvex functions

To minimize a continuously differentiable quasiconvex functionf: ⁿ , Armijo's steepest descent method generates a sequencex ^k+1 =x ^k –t _k f(x ^k ), wheret _k >0. We establish strong convergence properties of this classic method: either , s.t. ; or arg minf = , x ^k andf(x ^k ) inff. We also discuss extensions to other line searches.The research of the first author was supported by the Polish Academy of Sciences. The second author acknowledges the support of the Department of Industrial Engineering, Hong Kong University of Science and Technology.We wish to thank two anonymous referees for their valuable comments. In particular, one referee has suggested the use of quasiconvexity instead of convexity off.     

Extension of Subgradient Techniques for Nonsmooth Optimization in Banach Spaces

In this paper we continue the study of the subgradient method for nonsmooth convex constrained minimization problems in a uniformly convex and uniformly smooth Banach space. We consider the case when the stepsizes satisfy _{k=1 k} =, lim _{k k} =0.     

Sur les équations fonctionnelles auxq-différences

Summary In this paper, we study the convergence of formal power series solutions of functional equations of the formP _k(x)(^[k](x))=(x), where ^[k] (x) denotes thek-th iterate of the function.We obtain results similar to the results of Malgrange and Ramis for formal solutions of differential equations: if(0) = 0, and(0) =q is a nonzero complex number with absolute value less than one then, if(x)=a(n)x ⁿ is a divergent solution, there exists a positive real numbers such that the power seriesa(n)q ^sn(n+1)2 x ⁿ has a finite and nonzero radius of convergence.

     

Sugli insiemi di permutazioni strettamente k-transitivi (k ≥ 3)

Summary Let G be a sharply 3-transitive permutation set on a finite set E of even cardinality and let 1 be in G. The following theorems are proved. G is one of the known examples if and only if there exists a non-identity normal subgroup N of G and an element of E such that NG G.G is a group if and only if G for every G and for every G and for every G .By using the classification of finite single groups a result concerning sharply k-transitive permutation sets k>3 is also proved.

---

---

Dedicato a Guido Zappa in occasione del suo 70° compleanno

---

Lavoro eseguito nell'ambito dei progetti finanziati dal Ministero della Pubblica Istruzione.     

Formule d'Itô pour des Diffusions Uniformément Elliptiques,et Processus de Dirichlet

Soit X une diffusion uniformément elliptique sur R ^d ,F une fonction dans H _loc ¹(R ^d ) et la loi initiale de la diffusion. On montre que si l'intégrale |F|²(x)U(x)dx est finie, oùU désigne le potentiel de la mesure , alors F(X) est un processus de Dirichlet. Si de plus, F appartient àH ² _loc(R ^d ) et si les intégrales |F|²(x)U(x)dx et |f _k |²(x)U(x)dx sont finies, pour les dérivées faibles f _k de F, alors on peut écrire une formule d'Itô. En particulier, on définit l'intégrale progressive F(X)dX et on prouve l'existence des covariations quadratiques [f _k (X),X ^k ].     

Fast Preconditioned Iterative Methods for Convolution-Type Integral Equations

We consider solving the Fredholm integral equation of the second kind with the piecewise smooth displacement kernel x(t) + _j=1 ^m µ_j x(t – t _j) + ₀ k(t – s)x(s) ds = g(t), 0 t , where t _j (–, ), for 1 j m. The direct application of the quadrature rule to the above integral equation leads to a non-Toeplitz and an underdetermined matrix system. The aim of this paper is to propose a numerical scheme to approximate the integral equation such that the discretization matrix system is the sum of a Toeplitz matrix and a matrix of rank two. We apply the preconditioned conjugate gradient method with Toeplitz-like matrices as preconditioners to solve the resulting discretization system. Numerical examples are given to illustrate the fast convergence of the PCG method and the accuracy of the computed solutions.     

Tessellations generated by hyperplanes

Let be a locally finite system of hyperplanes in ^d with the property that the cells of the induced cell complex decomposition of ^d have uniformly bounded diameters. If is simple and the density of the vertices in exists, then the density of thek-cells in exists and can be given explicitly (k = 1, ...,d). Also, the mean number ofj-faces of thek-cells in exists and can be calculated. For certain nonsimple systems , corresponding inequalities are obtained.     

Largek-arcs in inversive planes of odd order

An infinite family of largek-arcs in the inversive plane over a finite field GF(q), withq 1 (mod 3),q71 orq {17,23, 27,29,41,47,49,53,59} is constructed.Research supported by G.N.S.A.G.A. of C.N.R., project Applicazioni della matematica per la tecnologia e la società, subproject Calcolo simbolico.     

Construction of Symmetric Balanced Squares with Blocksize More than One

In this paper we study a generalization of symmetric latin squares. A symmetric balanced square of order v, side s and blocksize k is an s×s symmetric array of k-element subsets of {1,2,..., v} such that every element occurs in ks/v or ks/v cells of each row and column. every element occurs in ks²/v or ks ² v cells of the array. Depending on the values s, k and v, the problem naturally divides into three subproblems: (1) vks (2) s < v < ks (3) v s. We completely solve the first problem and we recursively reduce the third problem to the first two. For s 4 we provide direct constructions for the second problem. Moreover, we provide a general construction method for the second problem utilizing flows in a network. We have been able to show the correctness of this construction for k 3. For k4, the problem remains open.