Quasidiagonal reduction of a class of polynomial matrices

We solve the problem of semiscalar equivalence of polynomial matrices to the Smith canonical form diag(1, (x), ..., (x)) from the condition that the polynomial (x) has simple roots.Translated fromMatematichni Metodi ta Fiziko-Mekhanichni Polya, Vol. 40, No. 3, 1997, pp. 7–12.     

Theorem on a convergence condition in the spaces

For a given -function (u), a condition on a -function (u) is found such that it is necessary and sufficient for the following to hold: if f_n(x) f(x) and f _n (x)M (n=1, 2, ...) where M>0 is an absolute constant, then f _n (x)–f(x)0(n). An analogous condition for convergence in Orlicz spaces is obtained as a corollary.Translated from Matematicheskie Zametki, Vol. 21, No. 5, pp. 615–626, May, 1977.The author thanks V. A. Skvortsov for his constant attention and guidance on this paper.     

L 2-approximation by the translates of a function and related attenuation factors

Summary Let be thek-dimensional subspace spanned by the translates (·–2j/k),j=0, 1, ...,k–1, of a continuous, piecewise smooth, complexvalued, 2-periodic function . For a given functionfL ²(–, ), its least squares approximantS _kf from can be expressed in terms of an orthonormal basis. Iff is continuous,S _kf can be computed via its discrete analogue by fast Fourier transform. The discrete least squares approximant is used to approximate Fourier coefficients, and this complements the works of Gautschi on attenuation factors. Examples of include the space of trigonometric polynomials where is the de la Valleé Poussin kernel, algebraic polynomial splines where is the periodic B-spline, and trigonometric polynomial splines where is the trigonometric B-spline.     

A constructive approach to the quantum (cosh ϕ)2 model. I. The method of the Gel'fand-Levitan-Marchenko equations

In a Hubert , with the aid of the postulated Gel'fand-Levitan-Marchenko quantum equations, one introduces the fields ₁(x) and ₂(x), which are the quantum analogues of the classical fields cosh (x) and sinh (x) in the sinh-Gordon model. It is shown that the fields _j(x) satisfy the Wightman axioms, including the invariance relative to reflections of space-time and mutual local commutativity. In addition, one proves the asymptotic completeness of the theory and one computes explicitly the scattering operator. In the developed approach, no cut-offs are used and, therefore, there are no renormalization effects.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 146, pp. 147–190, 1985.     

Dilation-analytic wave operators for three particles

Let H(0) be a dilation-analytic three-particle Schrödinger operator with analytic continuation H() (>0). Let a be zero or the energy of a two-particle bound state. Let- (a) be the Laplace operator representing the kinetic energy of the relative motion of fragments scattered in channel a. By recent results, wave operators W (±, a, ) with conjugates W (±, a, ) exist such that W (±, a, ) W (±, a, ) is a projection P (a, ) commuting with H () while [H ()-a]W (±, a, ) equals-W(±, a, ) (a) e²ⁱ. This paper shows that the wave operators transform dilation-analytic functions of particle coordinates into dilation-analytic functions. Specifically, if the left shoulder of the spectrum of P (a,) H () does not sweep across eigenvalues of H() when , then W(-, a, ) and W (+, a, ) are dilation analytic in [, ]. If the right shoulder does not sweep across eigenvalues, W(+, a, ) and W(-, a, ) are dilation analytic in [,]. A semisimple eigenvalue of H () embedded in the spectrum of P (a, ) H () does not prevent the wave operators from being dilation analytic in an interval [, ] with as an interior point.This work was supported in part by the National Science Foundation under grant DMS-8301096.     

The arithmetic of the characteristic Pólya functions

In the framework of the theory of D. Kendall's delphic semigroups are considered problems of divisibility in the semigroup of convex characteristic functions on the semiaxis (0,). Letn ()={:₁¦₁1 or ₁=}, and I_o()={: ₁¦ ₁ N()}. The following results are proved: 1) The semigroup is almost delphic in the sense of R. Davidson. 2) N() is a set of the type G which is dense in (in the topology of uniform convergence on compacta). 3) The class I_o() contains only the function identically equal to one.Translated from Matematicheskie Zametki, Vol. 21, No. 5, pp. 717–725, May, 1977.The author thanks I. V. Ostrovskii for the formulation of the problem and valuable remarks.     

Constructive methods of approximation by ridge functions and radial functions

Let be a univariant function, and letg(x) be the average of (x,u) asu runs over the unit sphere in ⁿ . We give a necessary and sufficient condition forg to be a kernel function, i.e., thatg be inL ¹ ( ⁿ ) and have integral 1. The result is used to give a constructive proof of the density of the ridge functions based upon the function .     

Eigenfunctions of the hyperbolic composition operator

Letu inH ² be zero at one of the fixed points of a hyperbolic Möbius transform of the unit diskD. We will show, under some additional conditions onu, that the doubly cyclic subspaceS _u =V _n=– C ⁿ u contains nonconstant eigenfunctions of the composition operatorC . This implies that the cyclic subspace generated byu is not minimal. If there is an infinite dimensional minimal invariant subspace ofC (which is equivalent to the existance of an operator with only trivial invariant subspaces), then it is generated by a function with singularities at the fixed points of .     

Regular homomorphisms of generalized projective planes

A generalized projective plane is an incidence structure together with a relation distant on the set of points and also on the set of lines, such that any two distant points A,B (lines a,b) have a unique common line (A,B) (common point (a,b)) and three further axioms hold. Every commutative ring with 1 supplies a model. A homomorphism of into an incidence structure is called regular if the following condition and its dual are valid: A distant B and c IA,B implies c=(A,B). We shall prove the following two theorems. Let be a generalized projective plane satisfying a richness condition called (U). Let M I m. If and are regular homomorphisms of such that X = M X = M for each point X of the line m then A = B A = B for any two points A,B. If is a projective plane over a commutative ring such that (U) holds then the surjective regular homomorphisms of are induced by the ideals of the ring; in particular, the image of under a regular homomorphism is again a projective plane over a ring, and preserves distant.     

Fundamental equation of information revisited

Summary This paper presents a new, shorter and more direct proof of the following result of J. Aczél and C. T. Ng: IfM: J R (J =]0, 1[ ^k ) is both multiplicative and additive, then the general solution: J R of(x) + M(1 – x)(y/1 – x) = (y) + M(1 – y)(x/1 – y) (x, y, x + y J) is given by(x) = ifM = 0,(x) = M(x)[L(x) + ] + M(1 – x)L(1 – x) ifM 0,where is an arbitrary constant andL: J R is an arbitrary solution of the logarithmic functional equationL(xy) = L(x) + L(y) (x, y J). Also, some extensions of this result to fields more general than the reals are given.     

Commutative Jacobi fields in Fock space

A jacobi field is understood to be a family (Ã()) of commuting selfadjoint operatorsÃ() acting in a Fock space, having a Jacobi structure, and depending linearly on the test functions . In this article, we give a spectral representation of such a family and outline its applications to the theory of distributions on an infinite dimensional space.This article is dedicated to the memory of my dear teacher Mark G. KreinThe work is partially supported by Fundamental Research Foundation of Ukraine, grant 1.4/62.     

Translation Invariant Positive Definite Hermitian Bilinear Ultradistributions

Every translation invariant positive definite Hermitian bilinear functional on the Gel'fand-Shilov space sMpMp(n×nK) of general type S is of the form B(,) = (x)(x)d(x), , sMpMp (n), where is a positive {M}-tempered measure, i.e., for every > 0 exp[-M(|x|)] d(x) < . To prove this we prove Schwartz kernel theorem for {M}-tempered ultradistributions and need Bochner-Schwartz theorem for {M}-tempered ultradistributions. Our result includes most of the quasianalytic cases. Also, we obtain parallel results for the case of Beurling type (Mp.     

Holomorphic solutions of an inhomogeneous Cauchy equation

Summary We consider the functional equation(x + y) – (x) – (y) = f(x)f(y)h(x + y) and we find all its homomorphic solutionsf, h, defined in a neighbourhood of the origin.     

Conditions under which higher derivatives belong to the classesϕ (L)

In this work we will establish a sufficient condition under which the higher derivatives of 2-periodic absolutely continuous functions belong to the Orlicz classes (L); if(2t)=O((t)) (t ), the condition is also necessary.Translated from Matematicheskie Zametki, Vol. 14, No. 4, pp. 479–486, October, 1973.The author wishes to thank P. L. Ul'yanov for posing the problems in this paper and for helping to prepare the paper for publication.     

On the complex zeros of solutions of linear differential equations

Summary A classical result (see R.Nevanlinna, Acta Math.,58 (1932), p. 345) states that for a second-order linear differential equation, w + P(z) w + Q(z) w=0, where P(z) and Q(z) are polynomials, there exist finitely many rays, arg z=_j, for j=1,..., m, such that for any solution w=f(z) 0 and any > 0, all but finitely many zeros off lie in the union of the sectors ¦ arg z - _j¦ < for j=1,..., m. In this paper, we give a complete answer to the question of determining when the same result holds for equations of arbitrary order having polynomial coefficients. We prove that for any such equation, one of the following two properties must hold: (a) for any ray, arg z=, and any > 0, there is a solution f 0 of the equation having infinitely many zeros in the sector ¦arg z - ¦ <, or (b) there exist finitely many rays, arg z=_j, for j= 1,..., m, such that for any >0, all but finitely many zeros of any solution f 0 must lie in the union of the sectors ¦ arg z - _j¦ < for j=1, ..., m. In addition, our method of proof provides an effective procedure for determining which of the two possibilities holds for a given equation, and in the case when (b) holds, our method will produce the rays, arg z=_j. We emphasize that our result applies to all equations having polynomial coefficients, without exception. In addition, we mention that if the coefficients are only assumed to be rational functions, our results will still give precise information on the possible location of the bulk of the zeros of any solution.This research was supported in part by the National Science Foundation (DMS-84-20561 and DMS-87-21813).     

Positive Solutions for a Singular Nonlinear Problem on a Bounded Domain in R 2

For a bounded regular Jordan domain in R ², we introduce and study a new class of functions K() related on its Green function G. We exploit the properties of this class to prove the existence and the uniqueness of a positive solution for the singular nonlinear elliptic equation u+(x,u)=0, in D(), with u=0 on and uC(), where is a nonnegative Borel measurable function in ×(0,) that belongs to a convex cone which contains, in particular, all functions (x,t)=q(x)t ^–,>0 with nonnegative functions qK(). Some estimates on the solution are also given.     

Invariant measures ofC 2-diffeomorphisms of Markov type inR d

A class of uniformly expanding, piecewiseC ²-diffeomorphisms from domainsIR ^d (bounded or not) into themselves is considered. It is shown that the number of the extreme points of Fix (P )={gG:Pg=g} whereP is the Frobenius-Perron operator associated with andG={gL ¹: g0 g=1}, can be determined in an effective way. Moreover, it is shown that the sequence {P ^j g} is convergent inL ¹ for anygG, and in the topology of uniform convergence for anygG(1). The limit is a linear projectionR inL ¹ (defined by (3.1)) which mapsG onto Fix (P ) (see Th. 3.1).Dedicated to professor A. Lasota on the occasion of his 60th birthday     

The integrability of conjugate functions

For any functionf of L(0, 2), we prove that there is a function L(0, 2) such that ¦(x)¦ = ¦f(x)¦ almost everywhere and L(0, 2), where is the conjugate of.Translated from Matematicheskie Zametki, Vol. 4, No. 4, pp. 461–465, October, 1968.     

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.     

Growth of length of sequential derivation transformed into natural one

We consider the (&, )-fragment of the intuitionistic propositional calculus. It is proved that under the standard transformation of a Gentzen derivation into a natural derivation(), the length of (())2^2·length( ). There is constructed a sequence of Gentzen derivations of length _i, for which the length of (( _i))2^{1/3·length(i}), which shows that the upper bound obtained is not too weak.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 192–196, 1979.