Computing the Invariant Polynomials of a Polynomial Matrix. II

The paper considers the problem of computing the invariant polynomials of a general (regular or singular) one-parameter polynomial matrix. Two new direct methods for computing invariant polynomials, based on the W and V rank-factorization methods, are suggested. Each of the methods may be regarded as a method for successively exhausting roots of invariant polynomials from the matrix spectrum. Application of the methods to computing adjoint matrices for regular polynomial matrices, to finding the canonical decomposition into a product of regular matrices such that the characteristic polynomial of each of them coincides with the corresponding invariant polynomial, and to computing matrix eigenvectors associated with roots of its invariant polynomials are considered. Bibliography: 5 titles.     

To solving multiparameter problems of algebra 3. Cylindrical manifolds of the regular spectrum of a matrix

Methods for computing polynomials (complete polynomials) whose zeros form cylindrical manifolds of the regular spectrum of a q-parameter polynomial matrix in the space ^q are considered. Based on the method of partial relative factorization of matrices, new methods for computing cylindrical manifolds are suggested. The W and V methods, previously proposed for computing complete polynomials of q-parameter polynomial matrices whose regular spectrum is independent of one of the parameters, are extended to a wider class of matrices. Bibliography: 4 titles._______Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 296, 2003, pp. 108–121.     

Solution of spectral problems for polynomial matrices

For polynomial matrices of full rank, including matrices of the form A - I and A - B, numerical methods for solving the following problems are suggested: find the divisors of a polynomial matrix whose spectra coincide with the zeros of known divisors of its characteristic polynomial; compute the greatest common divisor of a sequence of polynomial matrices; solve the inverse eigenvalue problem for a polynomial matrix. The methods proposed are based on the W and V factorizations of polynomial matrices. Applications of these methods to the solution of certain algebraic problems are considered. Bibliography: 3 titles._________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 296, 2003, pp. 122–138.     

On polynomial variance functions

Summary Let be a natural exponential family on and (V, ) be its variance function. Here, is the mean domain of andV, defined on , is the variance of . A problem of increasing interest in the literature is the following: Given an open interval and a functionV defined on , is the pair (V, ) a variance function of some natural exponential family? Here, we consider the case whereV is a polynomial. We develop a complex-analytic approach to this problem and provide necessary conditions for (V, ) to be such a variance function. These conditions are also sufficient for the class of third degree polynomials and certain subclasses of polynomials of higher degree.     

Subgroups of the full linear group over a semilocal ring

Let be a semilocal ring (a factor ring with respect to the Jacobson-Artin radical) for which the residue field C/m of its center C with respect to each maximal idealmC contains no fewer than seven elements. The structure of subgroups H in the full linear group GL(n, ) containing the group of diagonal matrices is considered. The main theorem: for any subgroup H there is a uniquely determined D-net of ideals such that G()HN(), whereN() is the normalizer of the D-net subgroup . A transparent classification of subgroups GL(n, ) normalizable by diagonal matrices is thus obtained. Further, the factor groupN()/G() is studied.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 75, pp. 32–34, 1978.     

High levelm-harmonic cardinal B-splines

We generalize the notion ofm-harmonic cardinal B-spline defined in [Rabut, [6c]] to obtain B-splines on an infinite regular grid, which are halfway between elementary B-splines and the Lagrangean cardinal spline function. We give the main properties of these functions: Fourier transform, decay when x , integration,P _k -reproduction (fork<-2m–1) of the associated B-spline approximation, etc. We show that, in some sense, high levelm-harmonic B-splines may be considered as a finer regular approximation of the Dirac distribution than the elementarym-harmonic B-splines are.     

Orthonormal systems satisfying an inequality of S. M. Nikol'skii

N- (p, q) (1 pN-, L _p - L _q -. , , , L L _q - , , .     

New Hadamard matrices and conference matrices obtained via Mathon's construction

We give a formulation, via (1, –1) matrices, of Mathon's construction for conference matrices and derive a new family of conference matrices of order 59^2t+1 + 1,t 0. This family produces a new conference matrix of order 3646 and a new Hadamard matrix of order 7292. In addition we construct new families of Hadamard matrices of orders 69^2t+1 + 2, 109^2t+1 + 2, 8499 ^t ,t 0;q ²(q + 3) + 2 whereq 3 (mod 4) is a prime power and 1/2(q + 5) is the order of a skew-Hadamard matrix); (q + 1)q ²9 ^t ,t 0 (whereq 7 (mod 8) is a prime power and 1/2(q + 1) is the order of an Hadamard matrix). We also give new constructions for Hadamard matrices of order 49 ^t 0 and (q + 1)q ² (whereq 3 (mod 4) is a prime power).This work was supported by grants from ARGS and ACRB.Dedicated to the memory of our esteemed friend Ernst Straus.     

Canonical contact forms on spherical CR manifolds

We construct the CR invariant canonical contact form can(J) on scalar positive spherical CR manifold (M,J), which is the CR analogue of canonical metric on locally conformally flat manifold constructed by Habermann and Jost. We also construct another canonical contact form on the Kleinian manifold ()/, where is a convex cocompact subgroup of Aut_CRS²ⁿ⁺¹=PU(n+1,1) and () is the discontinuity domain of . This contact form can be used to prove that ()/ is scalar positive (respectively, scalar negative, or scalar vanishing) if and only if the critical exponent ()<n (respectively, ()>n, or ()=n). This generalizes Nayatanis result for convex cocompact subgroups of SO(n+1,1). We also discuss the connected sum of spherical CR manifolds.     

Bergman-Vekua theory in differential form

We develop Bergman-Vekua integral operator theory on the basis of a new kind of series suggested by polynomial operators (classP _j operators); in a sense, this is an analog of the Weierstrass approach as opposed to the Cauchy-Riemann approach in classical complex analysis, which also has advantages over the original form in boundary value problems and other applications.Dedicated to the memory of my friend, Peter Henrici     

Primitive and Poisson Spectra of Twists of Polynomial Rings

A family of flat deformations of a commutative polynomial ring S on n generators is considered, where each deformation B is a twist of S by a semisimple, linear automorphism of ^n–1, such that a Poisson bracket is induced on S. We show that if the symplectic leaves associated with this Poisson structure are algebraic, then they are the orbits of an algebraic group G determined by the Poisson bracket. In this case, we prove that if is 'generic enough', then there is a natural one-to-one correspondence between the primitive ideals of B and the symplectic leaves if and only if has a representative in GL( ⁿ ) which belongs to G. As an example, the results are applied to the coordinate ring of quantum 2 × 2 matrices which is not a twist of a polynomial ring, although it is a flat deformation of one; if q is not a root of unity, then there is a bijection between the primitive ideals of and the symplectic leaves.     

Daugavet type inequalities for operators on L p–spaces

Let T be a regular operator from L ^p L ^p. Then , where T_r denotes the regular norm of T, i.e., T_r=|T| where |T| denotes the modulus operator of a regular operator T. For p=1 every bounded linear operator is regular and T=T_r, so that the above inequality generalizes the Daugavet equation for operators on L ¹–spaces. The main result of this paper (Theorem 9) is a converse of the above result. Let T be a regular linear operator on L _p and denote by T _A the operator T_A. Then for all A with (A)>0 if and only if .     

Some functional inequalities and their Baire category properties

Summary In the paper we consider, from a topological point of view, the set of all continuous functionsf:I I for which the unique continuous solution:I – [0, ) of(f(x)) (x, (x)) and(x, (x)) (f(x)) (x, (x)), respectively, is the zero function. We obtain also some corollaries on the qualitative theory of the functional equation(f(x)) = g(x, (x)). No assumption on the iterative behaviour off is imposed.     

Affine completions of distributive lattices

For any distributive lattice L we construct its extension ((L)) with the property that every isotone compatible function on L can be interpolated by a polynomial of ((L)). Further, we characterize all extensions with this property and show that our construction is in some sense the simplest possible.This research was supported by the GA SAV Grant 1230/95.     

Аппроксимация субга рмонических функций

The following statement is proved. Letu be a subharmonic function in the region and _u the associated measure. Then there exists a functionf holomorphic in and such that if _f is the associated measure of the function in ¦f¦, then ¦u(z)–ln¦f(z)¦ A¦ln s¦+B¦ln diam¦+ s(¦lns¦+1)+C. hold at every point z for which the setsD(z, t)={w: ¦w–z¦},t(0,s) lie in and satisfy(D(z, t))t both for= _u and for= _f . In the case where is an unbounded region, In diam should be replaced by ln ¦z¦. The constants, , do not depend on andu.

---

---

. . .     

A Class of Operators on L h 2 . II

Let D be the open unit disk in C, and L _h ² the space of quadratic integrable harmonic functions defined on D. Let be a function in L(D) with the property that (b) = lim _x b,xD (x) for all b D. Define the operator C on L _h ² as follows: C(f) = Q( · f), where Q is the orthogonal projection of L²(D) onto L _h ² . In this paper it is shown that if C is Fredholm, then is bounded away from zero on a neighborhood of D. Also, if C is compact, then |D 0, and the commutator ideal of (D) is K(D), where (D) denotes the norm closed subalgebra of the algebra of all bounded operators on L _h ² generated by , and K(D) is the ideal of compact operators on L _h ² . Finally, the spectrum of classes of operators defined on L _h ² is characterized.     

On a hypothesis on Poincaré series

Let F(x₁,..., x_m) (m1) be a polynomial with integral p-adic coefficients, and let N, be the number of solutions of the congruence F(x₁,..., X_m)=0 mod A proof is given that the Poincaré series (t) = ₀ N t is rational for a class of isometrically-equivalent polynomials of m variables (m2) containing a form of degree n2 of two variables.Translated from Matematicheskie Zametki, Vol. 14, No. 3, pp. 453–463, September, 1973.The author wishes to thank N. G. Chudakov for discussing this paper and for his helpful advice.     

Approximating derivations on ideals ofC *-algebras

For each^*-derivation of a separableC ^*-algebraA and each >0 there is an essential idealI ofA and a self-adjoint multiplierx ofI such that (–ad(ix))|I< and x.     

Primitive Illumination Systems for Families of Convex Bodies in the Plane

Let F= {C₁,C₂,...,C} be a family of ndisjoint convex bodies in the plane. We say that a set Vof exterior light sources illuminates F, if for every boundary point of any member of Fthere is a point in Vsuch that is visible from ,i.e. the open line segment joining and is disjoint from F. An illumination system Vis called primitive if no proper subset of Villuminates F. Let p_max(F) denote the maximum number of points forming a primitive illumination system for F, and letp_max(n) denote the minimum of F) taken over all families Fconsisting of ndisjoint convex bodies in the plane. The aim of this paper is to investigate the quantities p_max(F) and p_max(n).     

Inner functions and related spaces of pseudocontinuable functions

Let be an inner function, let C, ¦¦=1. Then the harmonic function [(+)]/(–)] is the Poisson integral of a singular measure D. N. Clark's known theorem enables us to identify in a natural manner the space H² H² with the space L² ( ).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 7–33, 1989.