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     

On extremal perturbations of semi-Fredholm operators

Given a bounded linear operatorA in an infinite dimensional Banach space and a compact subset of a connected component of its semi-Fredholm domain, we construct a finite rank operatorF such that –A+F is bounded below (or surjective) for each ,F ²=0 and rankF=max min{dimN(–A), codimR(–A)}, if ind(–A)0 (or ind(–A)0, respectively) for each .     

Two-step fourth orderP-stable methods for second order differential equations

A family of symmetric (hybrid) two-step fourth order methods is derived fory'=f(x,y). We then show the existence of a sub-family of these methods which when applied toy'=– ² y, real, areP-stable. We also note that a general (order) symmetric two-step method isP-stable iff it is unconditionally stable.     

Irregular but nonfractal drums andn-dimensional weyl conjecture

In this paper, we study the asymptotics of the spectrum of the Dirichlet (or Neumann) Laplacian in a bounded open set R ⁿ (n 1) with irregular but nonfractal boundary. We give a partial resolution of the Weyl conjecture, i.e. for the counting functionN _i ()(i=0 : Dirichlet;i=1 : Neumann), we have got a precise estimate of the remainder term÷ _i ()=() –N _i () for large, where() is the Weyl term. This implies that for the irregular but nonfractal drum , not only the volume || _n is spectral invariant but also the area of boundary || _n–1 might be spectral invariant as well.Partially supported by the National Natural Science Foundation of China and the Grant of Chinese State Education Committee.     

Conjugation for polynomial mappings

We consider Keller's functions, namely polynomial functionsf:C ⁿ C ⁿ with detf(x)=1 at allx C ⁿ. Keller conjectured that they are all bijective and have polynomial inverses. The problem is still open.Without loss of generality assumef(0)=0 andf'(0)=I. We study the existence of certain mappingsh , > 1, defined by power series in a ball with center at the origin, such thath(0)=I andh (f(x))=h (x). So eachh conjugates f to its linear part I in a ball where it is injective.We conjecture that for Keller's functionsf of the homogeneous formf(x)=x +g(x),g(sx)=s ^dg(x),g(x)ⁿ=0,xC ⁿ,sC the conjugationh for f is anentire function.     

Eigenvalues of convex processes and convergence properties of differential inclusions

In this paper, we study (real) eigenvalues and eigenvectors of convex processes, and provide conditions for the existence of eigenvectors in a given convex coneK ⁿ . It is established that the maximal eigenvalue ofG(·) inK is expressed by (whereK ⁰ is the polar cone ofK) provided that the minimum is attained in intK ⁰. This result is applied to study the asymptotic behaviour of certain differential inclusions{G(x(t)). We extend some known results for the von Neumann-Gale model to our more general framework. We prove that ifx ₀ is the unique eigenvector corresponding to the maximal eigenvalue ₀ ofG(·) inK, then the nonexistence of solutions of a certain special trigonometric form is necessary and sufficient for every viable solutionx(·) to satisfy^- ₀ ^t x(t)cx ₀ ast for somec0. Our method is to study the family of convex conesW =cl{v–x :xK,vG(x) where is any real number. We characterize the maximal eigenvalue ₀ as the minimal for whichW can be separated fromK.The research was supported in part by a grant from the ministry of science and the Maagara special project for the absorption of new immigrants in the Department of Mathematics at Technion.     

Derivatives of the Spectral Function and Sobolev Norms of Eigenfunctions on a Closed Riemannian Manifold

Let e(x, y, ) be the spectral function and the unit spectral projection operator, with respect to the Laplace–Beltrami operator on a closed Riemannian manifold M. We generalize the one-term asymptotic expansion of e(x, x, ) by Hörmander (Acta Math. 88 (1968), 341–370) to that of _{x y} e(x,y,)| _x=y for any multiindices , in a sufficiently small geodesic normal coordinate chart of M. Moreover, we extend the sharp (L ²,L ^p) (2 p) estimates of by Sogge (J. Funct. Anal. 77 (1988), 123–134; London Math. Soc. Lecture Note Ser. 137, Cambridge University Press, Cambridge, 1989; Vol. 1, pp. 416–422) to the sharp (L ², Sobolev L ^p) estimates of .     

A Proof of the Jungnickel-Tonchev Conjecture on Quasi-Multiple Quasi-Symmetric Designs

A proof of the following conjecture of Jungnickel and Tonchev on quasi-multiple quasi-symmetric designs is given: Let D be a design whose parameter set (v,b,r,k,) equals (v,sv,sk,k, s) for some positive integer s and for some integers v,k, that satisfy (v-1) = k(k-1) (that is, these integers satisfy the parametric feasibility conditions for a symmetric (v,k,)-design). Further assume that D is a quasi-symmetric design, that is D has at most two block intersection numbers. If (k, (s-1)) = 1, then the only way D can be constructed is by taking multiple copies of a symmetric (v,k, )-design.     

Prediction Problems for Square-Transformed Stationary Processes

This paper discusses the prediction problems for square-transformed process, Y _t = X _t ², where X _t is a stationary process with spectral density g(). The square-transformation is important in prediction of the volatility of ARCH models. First, we evaluate the mean square prediction error for square-transformed process when the predictor is constructed from the true spectral density g(). However, it is often that the true structure g() is not completely specified. Hence, we consider the problem of misspecified prediction when a conjectured spectral density f (), , is fitted to g(). Then, constructing the best linear predictor based on f (), we can evaluate the prediction error for square-transformed process. Also, we consider a bias adjusted prediction problem for the above two cases. Furthermore, we may suppose that X _t is a non-Gaussian process. Then, we evaluate the mean square prediction errors when the best linear predictor is constructed by the true spectral density g() and the conjectured spectral density f (), respectively. Since is usually unknown we estimate it by a quasi-MLE . The second-order asymptotic approximations of the mean square errors of the predictors based on g() and f () are given. Finally, we provide some numerical examples, which show some unexpected features.     

Estimation of the Intensity of the Flow of Nonmonotone Refusals in the Queuing System (≤ λ)/G/m

We consider a queuing system ()/G/m, where the symbol () means that, independently of prehistory, the probability of arrival of a call during the time interval dtdoes not exceed dt. The case where the queue length first attains the level r m+ 1 during a busy period is called the refusal of the system. We determine a bound for the intensity ₁(t) of the flow of homogeneous events associated with the monotone refusals of the system, namely, ₁(t) = O( ^{r+ 1}₁ ^{m– 1} _{r– m+ 1}), where _k is the kth moment of the service-time distribution.     

Identities of an algebra of triangular matrices

This paper deals with the ideals of identities of certain associative algebras over a field F of characteristic zero. An algebra W of matrices of the form ,,,M, where and , are F-algebras with unity and M is a (,)-bimodule, is considered. Under certain natural restrictions on M one obtains the equality of ideals of identities T(W)=T()T(), if [[x₁,x₂], x₃[x₄,x₅]]T().Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 114, pp. 7–27, 1982.     

Some generalizations of the classical moment problem

The article is devoted to two generalizations of the classical power moment problem, namely: 1) instead of representing the moment sequence by ⁿ , a representation by polynomialsP _n (), ¹, connected with a Jacobi matrix, appears; 2) in the representation, instead of ⁿ , the expression ⁿ figures, where is a real generalized function (i.e., we investigate some infinite-dimensional moment problem).The work is partially supported by the DFG, Project 436 UKR 113/39/0 and by the CRDF, Project UM1-2090.     

A Classification of Reproducible Natural Exponential Families in the Broad Sense

Let be a positive Radon measure on having a Laplace transform L and F=F() be a natural exponential family (NEF) generated by . A positive Radon measure with >0 and its associated NEF F =F( ) are called the th convolution powers of and F, respectively, if . Let f _, (F) be the image of an NEF F under the affine transformation f _, :xx+. If for a given NEF F, there exists a triple (,,) in such that f _, (F)=F , we call F a reproducible NEF in the broad sense. In other words, an NEF F is reproducible in the broad sense if a convolution power of F equals an affine transformation of F. Clearly, for =1, F is reproducible in the broad sense if there exists an affinity under which F is invariant. In this paper we obtain a complete classification of the class of reproducible NEF's in the broad sense. We show that this class is composed of infinitely divisible NEF's and that it contains the class of NEF's having exponential and power variance functions as well as NEF's constituting discrete versions of the latter NEF's. We also provide a characterization of the reproducible NEF's in the broad sense in terms of their associated exponential dispersion models.     

Minimality of derivative chains,corresponding to a boundary value problem on a finite segment

One investigates the minimality of derivative chains, constructed from the root vectors of polynomial pencils of operators, acting in a Hilbert space. One investigates in detail the quadratic pencil of operators. In particular, for L()=L₀+L₁+²L₂ with bounded operators L₀0, L₂0 and Re L₁0, one shows the minimality in the space_173-02 of the system {x_k, _kekx_k}, where x_k are eigenvectors of L(), corresponding to the characteristic numbers _kin the deleted neighborhoods of which one has the representation L^–1()=(–_k)^–1R_K+W_K() with one-dimensional operators R_k and operator-valued functions W_K(), k=1, 2, ..., analytic for =_k.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 2, pp. 195–205, February, 1990.     

On a problem of A. Pleijel

In 1955, Arne Pleijel proposed the following problem which remains unsolved to this day: Given a closed plane convex curve C and a point x() at a fixed distance above the plane, as the point x() varies, characterize the point for which the conical surface with vertex x() and base C attains its minimum, and determine the limits as 0 and of this minimum point. The purpose of this paper is to solve the cases where approach its extremities and in the course of the solution, we obtain an interesting characterization of the limit points, which we shall call the Pleijel points of C. A consequence is that the inner Pleijel point provides an upper bound for the isoperimetric defect of C. We also generalize the problem to higher dimensional spaces, and obtain the corresponding characterizations of the limiting points for convex surfaces.     

On the controllability of a class of differential inclusions depending on a parameter

In this paper, we deal with the following stability problem: given a differential inclusion of the formx'F(t,x,), where is a parameter varying in a topological space , find conditions under which the set of all , such that the differential inclusion is controllable, is open in . Applying Theorem 3.1 of Ref. 3, we get a result in this direction, assuming, as leader hypotheses, thatF(t,·,) is a convex process, from into itself, and thatF(t,x,·) is lower semicontinuous.     

What can we do with only a pair of rusty compasses?

Compasses are called rusty, if one can draw only the unit circle with them. We prove that from two points A and B, with only rusty compasses, one can draw the points of k-section of AB, and all the vertices of a regular n-gon which has a side AB, where k is any integer greater than 1, and n=3, 4, 5, 6, 8, 12, 17, 257, ..., etc. Generally, let A be (0, 0) and let B be (, 0), then one can draw all the points (x, y) where x and y are any elements in some regular 2 ^m -extension of the rational field, for m=1, 2, 3, ...     

Onp-hyponormal operators for 0<p<1

The distance formula Tt-I)^–1=[Dist(, (T)]^–1, (T), for hyponormal operators, is generalized top-hyponormal operators for 0<p<1. Several other results involving eigenspaces ofU and |T|, the joint point spectrum, and the spectral radius are also otained, where |T|=(T ^* T)^1/2 andU is the unitary operator in the polar decomposition of thep-hyponormal operatorT=U|T|.     

Remarks on the perturbation of analytic matrix functions III

As in [N], [LN] the Newton diagram is used in order to get information about the first terms of the Puiseux expansions of the eigenvalues () of the perturbed matrix pencilT(, )=A()+B(, ) in the neighbourhood of an unperturbed eigenvalue () ofA(). In fact sufficient conditions are given which assure that the orders of these first terms correspond to the partial multiplicities of the eigenvalue ₀ ofA().     

A Result on Ext Over Kac–Moody Algebras

We prove the following result for a not necessarily symmetrizable Kac–Moody algebra: Let x,y W with x y, and let P⁺. If n=l(x)-l(y), then Ext _C() ⁿ (M(x·),L(y·))=1.