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).     

A certain periodic control problem for differential equations with impulses in the space of bounded numerical sequences

One considers the differential equation dx/dt=f(t, x) with the impulse action ¦_t=t_i=H_i(t_i,x) in the space of bounded numerical sequences, where f(t, x), H_i(t, x) are T-periodic, countable-dimensional vector-valued functions, is a positive parameter. One gives conditions for the existence of a control (₁,₂) such that the solution of the equation dx/dt=f(t, x)–₁ with impulse action x¦_t=t_i=H_i(t_i,x)–₂ assuming for t= the value x=x₀, be T-periodic.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 2, pp. 271–275, February, 1990.     

ɛ-duality theorem of nondifferentiable nonconvex multiobjective programming

Necessary Kuhn-Tucker conditions up to precision without constraint qualification for -Pareto optimality of multiobjective programming are derived. This article suggests the establishment of a Wolfe-type -duality theorem for nondifferentiable, nonconvex, multiobjective minimization problems. The -vector Lagrangian and the generalized -saddle point for Pareto optimality are studied.     

Stefan problem with a kinetic and the classical conditions at the free boundary

The Stefan problem is considered with the kinetic condition u⁺=u^–=k(y, )-v at the phase interface, where k(y, ) is the half-sum of the principal curvatures of the free boundary and v is the speed of its shifting in the direction of a normal. The solvability of a modified Stefan problem in spaces of smooth functions and the convergence of its solutions as 0 to a solution of the classical Stefan problem are proved.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 2, pp. 155–166, February, 1992.     

Linearly ordered groups whose system of convex subgroups is central

The order P on a group G is called rigid if for p P the relation p¦[x, p]¦ P holds for every x G, =±1. In this note we give criteria for the existence of a rigid linear order, for the extendability of a rigid partial order to a rigid linear order, and for the extendability of each rigid partial order to a rigid linear order on a group. It is proved that the class of groups each of whose rigid partial orders can be extended to a rigid linear order is closed with respect to direct products. A new proof of the theorem of M. I. Kargapolov which states that if a group G can be approximated by finite p-groups for infinite number of primes p, then it has a central system of subgroups with torsion-free factors is presented.Translated from Matematicheskie Zametki, Vol. 19, No. 1, pp. 85–90, January, 1976.     

Zur Krümmungsverwandtschaft Von Zwangläufen in Affinen CK — Ebenen I

We study a map of osculating elements of an affine Cayley- Klein (CK-) plane into the Lie algebraA ₄(²) of the aequiform transformationsA ₄(²) of the given plane. If we use the real projective spaceP ₃() overA ₄(²) each osculating element defines a straight line inP ₃(). In the first part of this paper this map is studied in detail. In the second part we study second order properties of one- parameter motions and their corresponding properties in the Lie algebraA ₄(²). This is done by considering the analogen to the formula of EULERSAVARY in the image spaceP ³() overA ₄(²).     

On the length of the longest excursion

Summary A lower limit of the length of the longest excursion of a symmetric random walk is given. Certain related problems are also discussed. It is shown e.g. that for any >0 and all sufficiently large n there are c() loglog n excursions in the interval (0, n) with total length greater than n(1–), with probability 1.     

A discrete-time priority queue with two-class customers and bulk services

This paper studies the behavior of a discrete queueing system which accepts synchronized arrivals and provides synchronized services. The number of arrivals occurring at an arriving point may follow any arbitrary discrete distribution possessing finite first moment and convergent probability generating function in ¦ z ¦ 1 + with > 0. The system is equipped with an infinite buffer and one or more servers operating in synchronous mode. Service discipline may or may not be prioritized. Results such as the probability generating function of queue occupancy, average queue length, system throughput, and delay are derived in this paper. The validity of the results is also verified by computer simulations.The work reported in this paper was supported by the National Science Council of the Republic of China under Grant NSC1981-0404-E002-04.     

On zeros of functions analytic in a half plane and completeness of systems of exponents

Sequences of zeros are described for functionsf, which, in the right half plane, are analytic and satisfy the condition ¦f(z)¦0(1) exp (¦z¦), 0<. A criterion of completeness of a system of exponents in a certain space of functions analytic in a half strip is established.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 5, pp. 484–500, May, 1994.     

Errors in approximate solutions of Cauchy's problem for a first-order quasilinear equation

The proximity is investigated of the solution of Cauchy's problem for the equation u _t +((u))_x= u _xx ((u) > 0) to the solution of Cauchy's problem for the equation u_t+ ((u))_x= 0, when the solution of the latter problem has a finite number of lines of discontinuity in the strip 0 t T. It is proved that, everywhere outside a fixed neighborhood of the lines of discontinuity, we have |u–u| C, where the constant C is independent of. Similar inequalities are derived for the first derivatives of u–u.Translated from Matematicheskie Zametki, Vol. 8, No. 3, pp. 309–320, September, 1970.In conclusion we express our gratitude to L. A. Chudov for his valuable advice concerning this work.     

Spectrum of the nonself-adjoint Schrödinger operator in unbounded regions

It is proved that the discrete spectrum of the operator – + q(x) in the space L₂(E₂k) (k 1) where q(x) is a measurable complex-valued function satisfying the condition ¦q(x) ¦ Ce^–¦x¦, having no finite limit points, and for k=1 the discrete spectrum consists of a finite number of points.Translated from MatematicheskieZametki, Vol. 9, No. 1, pp. 19–26, January, 1971.In conclusion the author wishes to thank M. A. Naimark for directing this work.     

Über Untergruppen Endlicher Algebraischer Gruppen

Let k be a commutative ring, GG finite affine algebraic k-groups, and HH the dual Hopfalgebras of the affine algebras of G resp. G. The main results of this paper are: (I) If k is semilocal (e.g. k a field) there is an H-linear, HH-colinear, unitary, augmented isomorphism HHH H, where HH is the coalgebra belonging to G/G. (II) If the k-submodule of the fixelements of (HH)^* is isomorphic to k (e.g. k principal or semilocal), then HH is a Frobeniusextension of the second kind.     

Zur krümmungsverwandtschaft von zwangläufen in affinen ck — Ebenen II

In part I we have studied a map of osculating elements of an affine Cayley-Klein (CK-) plane into the Lie algebra A₄(²) of the aequiform transformations A₄(²) of the given plane A₂(, ²). If we use the real projective space P₃() over A₄(²) each osculating element defines a straight line in P₃(). We now give a one parameter motion in A₄(²) and study second order properties and their analogon in the Lie algebra and P₃(), respectively. We show that the wellknown relationship between the points of the moving frame and the osculating circles of the point paths in the fixed frame may be interpreted as part of a quadratic map of certain straight Lines of P₃(). An analogous result holds for the curvature of pairs of envelopes; the mapV induced in P₃() than is contained in a cubic relationship of straight lines.

---

---

Herrn Professor Oswal Giering zum 60. Geburtstag gewidmet     

A fast solver for the first biharmonic boundary value problem

Summary This paper provides a fast and storage-saving method for the solution of the first biharmonic boundary value problem (b.v.p.). The b.v.p. is approximated via a special variational finite difference technique suggested earlier by V.G. Korneev. It is shown theoretically that our method produces an approximate solution to the finite difference equations inO(NlnNln^–1) arithmetical operations, whereN is the number of unknowns and (0<<1) denotes the relative accuracy required. The numerical results obtained by our computer code CGMFC decisively substantiate the theoretical estimates given.     

On the minimum modulus of a multiple Dirichlet series with monotone coefficients

We establish conditions under which the relation M(x, F) (x, F) m(x, F) holds except for a small set, as ¦x¦ + for an entire function F(z) of several complex variables z (p2) represented by a Dirichlet series, where M(x, F) = sup{¦F(x+iy¦: y ^p}, m(x, F) = inf{¦F(x+iy)¦: y ^p} (x, F) being the maximal term of the Dirichlet series, and x ^p.Translated fromMatematichni Metodi ta Fiziko-Mekhanichni Polya, Vol. 40, No. 4, 1997, pp. 21–25.     

Convergence of a penalty-finite element approximation for an obstacle problem

Summary This study establishes an error estimate for a penalty-finite element approximation of the variational inequality obtained by a class of obstacle problems. By special identification of the penalty term, we first show that the penalty solution converges to the solution of a mixed formulation of the variational inequality. The rate of convergence of the penalization is where is the penalty parameter. To obtain the error of finite element approximation, we apply the results obtained by Brezzi, Hager and Raviart for the mixed finite element method to the variational inequality.     

Spectral orders and convolution

. (R) _{– –} fg(y)h(x–y) dx dy _{– –} f ^{^} (x)g ^{^} (y)h ^{^} (x–y)dx dy (f,g0) —:f×gf ^{^} ×g ^{^}(f,g 0) f^{^} g^{^} f g -, X — . , - f ₁f ₂ , f ₁ ^{^} ×gf ₂×g 0g. .     

Growth of analytic functions

For a function f analytic in a disk {z ¦ z ¦ <R }, 0 <R + , a criterion is obtained, in terms of the Taylor coefficients of the function, for the validity of the relation (r) ln⁺ M (r)dr < + , whereM (r)= max {¦ (f (z) ¦ ¦z ¦=r < R}, and is a function positive on [0, R) and satisfying certain conditions.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 5, pp. 668–673, May, 1990.     

Correctness of multi-dimensional Darboux problems for the wave equation

It is proved that multi-dimensional Darboux problems for the wave equation are correct in the domain bounded by the surfaces ¦x ¦=t + and ¦x ¦=1- t and the planet = 0, 0 < 1. The behavior of the solutions as 0 is studied.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 9, pp. 1299–1306, September, 1993.     

About C-rigid quadrics

In the article strongly nondegenerate (k, n)-quadrics all of whose linear automorphisms are of the formzz, ¦¦2, {0} are considered. Quadrics all of whose linear automorphisms are of this form were calledc-rigid by V. Beloshapka. The main result of the article is the following: anyc-rigid strongly nondegenerate (k, n)-quadric has no nonlinear automorphisms. A table indicating the relationship between linear and nonlinear automorphisms for (k, n)-quadrics is presented.Translated fromMatematicheskie Zametki, Vol. 59, No. 2, pp. 224–229, February, 1996.