Invariant equations defining coincident root loci

Let F(x) = xⁿ+₁ x^n-1+₂ x^n-2+ ··· +_n be a polynomial with complex coefficients, and suppose we are given a partition (₁,...,_r) of n. It is a classical problem to determine explicit algebraic conditions on the _i so that F may have roots with multiplicities ₁,...,_r. We give an invariant theoretic solution to this problem, to wit, we exhibit a set of covariants of F whose vanishing is a necessary and sufficient condition. The construction of such covariants is combinatorial, and involves associating a set of graphs on n vertices (called decisive graphs) to each .Received: 28 September 2003     

Surjectivity of quotient maps for algebraic (ℂ,+)-actions and polynomial maps with contractible fibers

In this paper we establish two results concerning algebraic (,+)-actions on ⁿ . First, let be an algebraic (,+)-action on ³. By a result of Miyanishi, its ring of invariants is isomorphic to [t ₁,t ₂]. Iff ₁,f ₂ generate this ring, the quotient map of is the mapF:³²,x(f ₁(x), f₂(x)). By using some topological arguments we prove thatF is always surjective. Secon, we are interested in dominant polynomial mapsF: ^{n n-1} whose connected components of their generic fibers are contractible. For such maps, we prove the existence of an algebraic (,+)-action on ⁿ for whichF is invariant. Moreover we give some conditions so thatF*([t ₁,...,t _n-1 ]) is the ring of invariants of .Dedicated to all my friends and my family     

Algebraic systems of quadratic forms of number fields and function fields

In this paper we examine for which Witt classes ,..., _n over a number field or a function fieldF there exist a finite extensionL/F and ₂,..., _n L^* such thatT _L/F ()=1 andTr _L/F (_i)=_i fori=2,...n.     

Über den algorithmischen Nachweis von Ungleichungen I

We shall develop a method to prove inequalities in a unified manner. The idea is as follows: It is quite often possible to find a continuous functional : ⁿ , such that the left- and the right-hand side of a given inequality can be written in the form (u)(v) for suitable points,v=v(u). If one now constructs a map ^{n n} , which is functional increasing (i.e. for each x ⁿ (which is not a fixed point of ) the inequality (x)<((x)) should hold) one specially gets the chain (u)( u))( ²(u))... ⁿ (u)). Under quite general conditions one finds that the sequence { ⁿ (u)} _n converges tov=v(u). As a consequence one obtains the inequality (u)(v).     

Über einen Satz von Shl. Sternberg in der Theorie der analytischen Iterationen

Let X=X ₁,...,X _n be the ring of formal power series inn indeterminates over . LetF:XAX+B(X)=(F ⁽¹⁾(X),...,F ⁽ⁿ⁾(X))(X) ⁿ denote an automorphism of X and let ₁,..., _n be the eigenvalues of the linear partA ofF. We will say thatF has an analytic iteration (a. i.) if there exists a family (F _t (itX)) _t of automorphisms such thatF _t(X) has coefficients analytic int and such thatF ₀=X,F ₁=F,F _t+t=F_tF_t for allt,t. Let now a set=(ln₁,...,ln _n ) of determinations of the logarithms be given. We ask if there exists an a. i. ofF such that the eigenvalues of the linear partA(t) ofF _t(X) are . We will give necessary and sufficient conditions forF to have such an a. i., namely thatF is conjugate to a semicanonical formN=T ^–1FT such that inN ^(k)(X) there appear at most monomialsX ₁ ¹ ...X _n ⁿ . This generalizes a result of Shl.Sternberg.

---

---

Herrn Prof. Dr. E. Hlawka zum 60. Geburtstag gewidmet     

Mixed-norm estimates for a class of integral operators

(, ) — R ^m ×R ⁿ . f R ^m ×R ⁿ f_p,q, f L _p (R ^m) x y, L^q(Rⁿ). ׃ _q,r cƒ _p,r , ׃ R ^m ×R ⁿ , , , q r . , ( ¦¦) K ₀ (y); p, g r , K ₀.     

On some problems of interpolation by ℒ-splines

_n (D) — ,s — _n (D), _v (v=1, 2, ...,s/2) — . _m={0x ₀<x ₁<...<x _2m–1<2,x _2m =x ₀+2} , x _j +1–x _j <(4s max _v )^–1,j=0, 1, ..., 2m –1, ( ) 2- - _n,m 2m , _m . , L _q - (1q) W ( _n )={f ₂ :f ^(n–1)AC ₂ , _n (D)f 1} 2- - (s _n f), _m . , - - _n,m .

---

---

The author expresses his gratitude to Yu. N. Subbotin for a useful discussion on the results of this paper.     

Multipliers with singularities along a curve in ℝ n

We consider in ⁿ ,n2, the curve = (t,t ² ,...,t ⁿ ), ₀t₀,₀>0 a small number. We study the boundedness of operatorsT ,>0, defined by multipliers which present singularities along . Our results are derived from a sharp estimate on a suitable maximal function. In the casen=2 theT 's are Bochner-Riesz operators and our results coincide with the known ones.     

Limits of balayage measures

LetA be a subset of a balayage space (X,W) and a measure onX. It is shown that for every sequence _n of measures such that lim_nn and lim_{n n} ^A = the limit measure is of the formf+[(1-f)]^A for some (unique) Borel function 0f1_Cb(A). Furthermore, conditions are given such that any such functionf occurs.     

Resolvent of the Toeplitz operator may increase arbitrarily fast

It is proved that for every sequence of points _n from the unit circle, _n1, and for an arbitrary sequence of positive numbers A_n, A_n, there exists a continuous real function u, such that for the Toeplitz operator T (acting in the Hardy space H²) with the symbol =e ^iu we have the estimates (T–_nI)^–1>A_n, n.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova, AN SSSR, Vol. 157, pp. 175–177, 1987.     

On the positive definiteness of n ↦ epnα for α close to 2

For >2, let Q ⁺() be the infimum of those q>0 for which the function n e^pn is positive definite on N ₀ for every pq. We shall prove that Q ⁺()0 as 2.     

Improvement of Bruck's completion theorem

Improving Bruck's Completion-Theorem for nets, we show that a net of order k and degree k + 1 – can be extended to an affine plane, if 3k > 8³ – 18² + 8 + 4. As applications we obtain the following two theorems: A maximal partial t-spread in PG(2t + 1, q), q not a square, with deficiency > 0 satisfies 8³ – 18² + 8 + 4 3q ². There exists an absolute constant c such that every linear space with constant point degree n + 1 and minimum line degree n + 1 – a can be embedded in a protective plane of order n provided that n > ca ³.     

Approximation of convolutions of multi-dimensional symmetric distributions by accompanying laws

Let F be a symmetric k-dimensional probability distribution, whose characteristic function satisfies for allt R ^k the inequality –1 + , where 0 < < 2. Let n be an arbitrary natural number, let Fⁿ be the n-fold convolution of the distribution F with itself, and let e(nF) be the accompanying infinitely divisible distribution with characteristic function exp(n( –1)). It is proved that the uniform distance (·,·) between corresponding distribution functions admits estimate (F ⁿ ,e(nF))c₁(k)(n^–1+exp(–n+ckn ³ n)), where c₁ (k) depends only on the dimension k, while c₂ is an absolute constant.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 177, pp. 55–72, 1989.     

Formal Flows on the Non-Archimedean Open Unit Disk

This paper deals with group actions of one-dimensional formal groups defined over the ring of integers in a finite extension of the p-adic field, where the space acted upon is the maximal ideal in the ring of integers of an algebraic closure of the p-adic field. Given a formal group F as above, a formal flow is a series (t,x) satisfying the conditions (0,x)=x and (F(s,t),x)=(s,(t,x)). With this definition, any formal group will act on the disk by left translation, but this paper constructs flows with any specified divisor of fixed points, where a point of the open unit disk is a fixed point of order n if (x–) ⁿ |((t,x)–x). Furthermore, if is an analytic automorphism of the open unit disk with only finitely many periodic points, then there is a flow , an element of the maximal ideal of the ring of constants, and an integer m such that the m-fold iteration of (x) is equal to (,x). All the formal flows constructed here are actions of the additive formal group on the unit disk. Indeed, if the divisor of fixed points of a formal flow is of degree at least two, then the formal group involved must become isomorphic to the additive group when the base is extended to the residue field of the constant ring.     

Projections on Lp-spaces of polyanalytic functions

The fundamental result: for an arbitrary bounded, simply connected domain in , the subspace L_n,m ^p() of the space L^p(, ) ( is the plane Lebesgue measure, p 1), consisting of the (m, n)-analytic functions in , is complemented in LP(, ) (a function f is said to be (m, n)-analytic if (^m+n/¯Z^mZⁿ)f=0 in ). Consequently, by virtue of a theorem of J. Lindenstrauss and A. Pelczyski, the space L_n,m ^P() is linearly homeomorphic to lP. In particular, for m=n=1 we obtain that the space of all harmonic L^P-functions in is complemented in L^P(, ). This result has been known earlier only for smooth domains.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 190, pp. 15–33, 1991.     

The Skorohod oblique reflection problem in domains with corners and application to stochastic differential equations

Summary The Skorohod oblique reflection problem for (D, , w) (D a general domain in ^d , (x),xD, a convex cone of directions of reflection,w a function inD(⁺, ^d )) is considered. It is first proved, under a condition on (D, ), corresponding to (x) not being simultaneously too large and too much skewed with respect to D, that given a sequence {w ⁿ} of functions converging in the Skorohod topology tow, any sequence {(x ⁿ, ⁿ)} of solutions to the Skorohod problem for (D, , w ⁿ) is relatively compact and any of its limit points is a solution to the Skorohod problem for (D, , w). Next it is shown that if (D, ) satisfies the uniform exterior sphere condition and another requirement, then solutions to the Skorohod problem for (D, , w) exist for everywD(⁺, ^d ) with small enough jump size. The requirement is met in the case when D is piecewiseC _b ¹ , is generated by continuous vector fields on the faces ofD and (x) makes and angle (in a suitable sense) of less than /2 with the cone of inward normals atD, for everyxD. Existence of obliquely reflecting Brownian motion and of weak solutions to stochastic differential equations with oblique reflection boundary conditions is derived.     

Fourier series of additive vector measures and their term-by-term differentiation

On a measurable space (T, , ) we choose an additive measure: Z (Z is a Banach space) with the following property: for alle , we have ; this measure defines an indefinite integral over the measure onL ² (T, ,). We prove that if { _n (t)} _n ^=1/ is an orthonormal basis inL ² and _n (e)=e _n (t) d, then any additive measure: Z whose Radon-Nikodým derivatived/d belongs toL ² is uniquely expandable in a series(e)= _n ^=1/ _n n(e) that converges to(e) uniformly with respect toe can be differentiated term-by-term, and satisfies _n ^=1/ _n ^/2 <. In the caseL ²[0,2],Z=, the Fourier series of a 2-periodic absolutely continuous functionF(t) such thatF'(t) L ²[0, 2] is superuniformly convergent toF(t).Translated fromMatematicheskie Zametki, Vol. 64, No. 2, pp. 180–184, August, 1998.     

Almost sure behaviour ofF-valued random fields

Summary LetX _n, n ^d be a field of independent random variables taking values in a semi-normed measurable vector spaceF. For a broad class of fields _n, ^d of positive numbers, the almost sure behaviour of _knX_k/_n, n ^d is studied. The main result allows us to deduce some new and well-known theorems for fields of independentF random variables from related results for fields of independent real random variables.Supported in part by the Youth Science Foundation of China, No. 19001018Supported by the National Natural Science Foundation of China     

Monotonicity properties of zeros of generalized Airy functions

Summary We show, among other things, that the positive zeros of a solution ofy +x y=0,y(0)=0 decrease to 1 as increases, 0.

---

Sommario Si dimostra, tra l'altro, che gli zeri positivi d'una soiuzione diy +x y=0,y(0)=0 decrescono al limite 1, quando cresce, 0.

---

---

To the memory of Milo Háik

---

This research was supported by grants from the Natural Sciences and Engineering Research Council (Canada) and Consiglio Nazionale delle Ricerche (Italy). Some of the work was done while the second-named author was visiting the Department of Mathematics, University of Torino.     

Verschärfung einer Ungleichung von Ky Fan

Summary In this paper we prove the following:IfA _n ,G _n andH _n (resp.A _n ,G _n andH _n ) denote the arithmetic, geometric and harmonic means ofa ₁,, a _n (resp. 1 –a ₁,, 1 –a _n ) and ifa _i (0, 1/2],i = 1,,n, then(G _n /G _n ) ⁿ (A _n /A _n ) ^n-1 H _n /H _n , (^*) with equality holding forn = 1,2. Forn 3 equality holds if and only ifa ₁ = =a _n . The inequality (^*) sharpens the well-known inequality of Ky Fan:G _n /G _n A _n /A _n .