Krasnosel'skii numbers for bounded finitely starlike sets inR d

For eachk andd, 1kd, definef(d, d)=d+1 andf(d, k)=2d if 1kd–1. The following results are established:Let be a uniformly bounded collection of compact, convex sets inR ^d . For a fixedk, 1kd, dim {MM in }k if and only if for some > 0, everyf(d, k) members of contain a commonk-dimensional set of measure (volume) at least.LetS be a bounded subset ofR ^d . Assume that for some fixedk, 1kd, there exists a countable family of (k–l)-flats {H _i :i1} inR ^d such that clS S {H_i i 1 } and for eachi1, (clS S) H _i has (k–1) dimensional measure zero. Every finite subset ofS sees viaS a set of positivek-dimensional measure if and only if for some>0, everyf(d,k) points ofS see viaS a set ofk-dimensional measure at least .The numbers off(d,d) andf(d, 1) above are best possible.Supported in part by NSF grant DMS-8705336.     

Approximation under an arc length constraint

Let f C[a, b]. LetP be a subset ofC[a, b], L b – a be a given real number. We say thatp P is a best approximation tof fromP, with arc length constraintL, ifA[p] _b ^a [1 + (p(x)) ²]dx L andp – f q – f for allq P withA[q] L. represents an arbitrary norm onC[a, b]. The constraintA[p] L might be interpreted physically as a materials constraint.In this paper we consider the questions of existence, uniqueness and characterization of constrained best approximations. In addition a bound, independent of degree, is found for the arc length of a best unconstrained Chebyshev polynomial approximation.The work of L. L. Keener is supported by the National Research Council of Canada Grant A8755.     

On Large Values of the Divisor Function

Let d(n) denote the divisor function, and let D(X) denote the maximal value of d(n) for n X. For 0 < z 1, both lower and upper bounds are given for the number of integersn with n X, zD(X) d(n).     

Finitely starlike sets whose F-stars have positive measure

Let and assume that there is a countable collection of lines {L _i : 1 i} such that (int cl S) and ((int cl S) S) L _i has one-dimensional Lebesgue measure zero, 1 i. Then every 4 point subset ofS sees viaS a set of positive two-dimensional Lebesgue measure if and only if every finite subset ofS sees viaS such a set. Furthermore, a parallel result holds with two-dimensional replaced by one-dimensional. Finally, setS is finitely starlike if and only if every 5 points ofS see viaS a common point. In each case, the number 4 or 5 is best possible.Supported in part by NSF grant DMS-8705336.     

On the best estimate for perimeters of plane sets with the angle property

We investigate the problem of finding the maximum length of perimeters of plane sets with fixed diameter d, such that every point of the boundary of the set is a vertex of an open angle of opening which does not intersect the set. First we consider plane curves which satisfy such angle property in a finite number of directions, and among them we find the one of maximum length. Then we prove that the perimeter of any plane set with the angle property is less than or equal to d(sin /2)^-2; this is the best estimate when /2.     

Configuration of subgroups in the special linear group over a skew field with infinite center

Let T be a skew field with infinite center, let be the special linear group over T of degree 3, and let be the subgroup of diagonal matrices with unit Dieudonee determinant. It is proved that for each intermediate subgroup H, H , there exists a net of order n such that ( H N().Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 175, pp. 5–12, 1989.In conclusion, the author would like to thank his instructor Z. I. Borevich, as well as N. A. Vavilov, for their assistance.     

Solution of two sequencing problems

The solution of the following problems is offered. Suppose a multiset J (¦J¦=p) is given. For each pair of elements and J, a number 1 P is given. Moreover, if 1 < x<p then x is undefined. If x=1, then x=p. Problem 1. Find the permutation ₁..._F of elements of the multiset J satisfying the following conditions. Let _i, _i=. If i,j < x, thenj <i. If i,j > x, then i<j. Such a permutation is called a PC-schedule. Problem 2. Find a PC-schedule in which the following property holds: if i < x < j, _i=, _j=, then. Such a PC-schedule is called an SC-schedule. The conditions under which these problems have solutions are studied. For their solution an algorithm of shifts is used with the complexity O(¦B(J)¦²¦J¦).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 124, pp. 44–72, 1983.     

Efficient Regular Polygon Dissections

We study the minimum number g(m,n) (respectively, p(m,n)) of pieces needed to dissect a regular m-gon into a regular n-gon of the same area using glass-cuts (respectively, polygonal cuts). First we study regular polygon-square dissections and show that n/2 -2 g(4,n) (n/2) + o(n) and n/4 g(n,4) (n/2) + o(n) hold for sufficiently large n. We also consider polygonal cuts, i.e., the minimum number p(4,n) of pieces needed to dissect a square into a regular n-gon of the same area using polygonal cuts and show that n/4 p(4,n) (n/2) + o(n) holds for sufficiently large n. We also consider regular polygon-polygon dissections and obtain similar bounds for g(m,n) and p(m,n).     

Cross-monotone subsequences

Two finite real sequences (a ₁,...,a _k ) and (b ₁,...,b _k ) are cross-monotone if each is nondecreasing anda _i+1–a _i b _i+1–b _i for alli. A sequence (₁,..., _n ) of nondecreasing reals is in class CM(k) if it has disjointk-term subsequences that are cross-monotone. The paper shows thatf(k), the smallestn such that every nondecreasing (₁,..., _n ) is in CM(k), is bounded between aboutk ²/4 andk ₂/2. It also shows thatg(k), the smallestn for which all (₁,..., _n ) are in CM(k)and eithera _k b ₁ orb _k a ₁, equalsk(k–1)+2, and thath(k), the smallestn for which all (₁,..., _n ) are in CM(_k)and eithera ₁b ₁...a _k b _k orb ₁a ₁...b _k a _k , equals 2(k–1)²+2.The results forf andg rely on new theorems for regular patterns in (0, 1)-matrices that are of interest in their own right. An example is: Every upper-triangulark ²×k ² (0, 1)-matrix has eitherk 1's in consecutive columns, each below its predecessor, ork 0's in consecutive rows, each to the right of its predecessor, and the same conclusion is false whenk ² is replaced byk ²–1.     

The caratheodory number for thek-core

Thek-core of the setS ⁿ is the intersection of the convex hull of all setsA S with ¦SA¦<-k. The Caratheodory number of thek-core is the smallest integerf (d,k) with the property thatx core _{kS, S} ⁿ implies the existence of a subsetT S such thatx core_kT and ¦T¦f (d, k). In this paper various properties off(d, k) are established.Research of this author was partially supported by Hungarian National Science Foundation grant no. 1812.     

Regressions and monotone chains II: The poset of integer intervals

A regressive function (also called a regression or contractive mapping) on a partial order P is a function mapping P to itself such that (x)x. A monotone k-chain for is a k-chain on which is order-preserving; i.e., a chain x ₁<...ksuch that (x ₁)...(x_k). Let P _nbe the poset of integer intervals {i, i+1, ..., m} contained in {1, 2, ..., n}, ordered by inclusion. Let f(k) be the least value of n such that every regression on P _nhas a monotone k+1-chain, let t(x,j) be defined by t(x, 0)=1 and t(x,j)=x ^t(x,j–1). Then f(k) exists for all k (originally proved by D. White), and t(2,k) < f(K) <t( + _k, k) , where _k 0 as k. Alternatively, the largest k such that every regression on P _nis guaranteed to have a monotone k-chain lies between lg^*(n) and lg^*(n)–2, inclusive, where lg^*(n) is the number of appliations of logarithm base 2 required to reduce n to a negative number. Analogous results hold for choice functions, which are regressions in which every element is mapped to a minimal element.     

A sandwich theorem and Hyers—Ulam stability of affine functions

It is shown that two real functionsf andg, defined on a real intervalI, satisfy the inequalitiesf(x + (1 – )y) g(x) + (1 – )g(y) andg(x + (1 – )y) f(x) + (1 – )f(y) for allx, y I and [0, 1], iff there exists an affine functionh: I such thatf h g. As a consequence we obtain a stability result of Hyers—Ulam type for affine functions.     

ℒ2 sets which are almost starshaped

Let S be a subset of R ^d . The set S is said to be an set if and only if for every two points x and y of S, there exists some z S such that [x, z] [z, y] S. Clearly every starshaped set is an set, yet the converse is false and introduces an interesting question: Under what conditions will an set S be almost starshaped; that is, when will there exist a convex subset C of S such that every point of S sees some point of C via SThis paper provides one answer to the question above, and we have the following result: Let S be a closed planar set, S simply connected, and assume that the set Q of points of local nonconvexity of S is finite. If some point p of S see each member of Q via S, then there is a convex subset C of S such that every point of S sees some point of C via S.     

Asymptotic behavior of the dwell time distribution for a random walk on a positive semi-axis

Let ₁, ₂, ... be a sequence of independent identically distributed random variables with zero means. We consider the functional _n = _k=o ⁿ (S _k ) where S₁=0, S_k= _i=1 ^k _i (k1) and(x)=1 for x0,(x) = 0 for x<0. It is readily seen that _n is the time spent by the random walk S_n, n0, on the positive semi-axis after n steps. For the simplest walk the asymptotics of the distribution P (_n = k) for n and k, as well as for k = O(n) and k/n<1, was studied in [1]. In this paper we obtain the asymptotic expansions in powers of n^–1 of the probabilities P(h_n = nx) and P(nx_{1 n} nx₂) for 0<₁, x = k/n ₂<1, 0<₁x₁2₂<1.Translated from Matematicheskie Zametki, Vol. 15, No. 4, pp. 613–620, April, 1974.The author wishes to thank B. A. Rogozin for valuable discussions in the course of his work.     

The existence of some resolvable block designs with divisibility into groups

This paper proves the existence of resolvable block designs with divisibility into groups GD(v; k, m; ₁, ₂) without repeated blocks and with arbitrary parameters such that ₁ = k, (v–1)/(k–1) ₂ v^k–2 (and also ₁ k/2, (v–1)/(2(k–1)) ₂ v^k–2 in case k is even) k 4 andp=1 (mod k–1), k < p for each prime divisor p of number v. As a corollary, the existence of a resolvable BIB-design (v, k, ) without repeated blocks is deduced with X = k (and also with = k/2 in case of even k) k , where a is a natural number if k is a prime power and=1 if k is a composite number.Translated from Matematicheskie Zametki, Vol. 19, No. 4, pp. 623–634, April, 1976.     

On the Sobolev distance of convex bodies

Summary LetK ^d denote the cone of all convex bodies in the Euclidean spaceK ^d . The mappingK h _K of each bodyK K ^d onto its support function induces a metric _w onK ^d by" _w (K, L)h _L –h _{K w} where _w is the Sobolev I-norm on the unit sphere . We call _w (K, L) the Sobolev distance ofK andL. The goal of our paper is to develop some fundamental properties of the Sobolev distance.     

Identification of the Parameters of a Multivariate Normal Vector by the Distribution of the Maximum

This paper continues the work started by Basu and Ghosh (J. Mult. Anal. (1978), 8, 413–429), by Gilliland and Hannan (J. Amer. Stat. Assoc. (1980), 75, No. 371, 651–654), and then continued on by Mukherjea and Stephens (Prob. Theory and Rel. Fields (1990), 84, 289–296), and Elnaggar and Mukherjea (J. Stat. Planning and Inference (1990), 78, 23–37). Let (X₁, X₂,..., X_n) be a multivariate normal vector with zero means, a common correlation and variances ² ₁, ² ₂,..., ² _n such that the parameters , ² ₁, ² ₂,..., s² _n are unknown, but the distribution of the max{X_i: 1in} (or equivalently, the distribution of the min{X_i: 1in}) is known. The problem is whether the parameters are identifiable and then how to determine the (unknown) parameters in terms of the distribution of the maximum (or its density). Here, we solve this problem for general n. Earlier, this problem was considered only for n3. Identifiability problems in related contexts were considered earlier by numerous authors including: T. W. Anderson and S. G. Ghurye, A. A. Tsiatis, H. A. David, S. M. Berman, A. Nadas, and many others. We also consider here the case where the X_i's have a common covariance instead of a common correlation.     

Method for symmetrization and estimation of solutions of the Neumann problem for the equation of a porous medium in domains with noncompact boundary for infinitely increasing time

We consider the initial boundary-value Neumann problem for the equation of a porous medium in a domain with noncompact boundary. By using a symmetrization method, we obtain exactL _p-estimates, 1p, for solutions as t.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 47, No. 2, pp. 147–157, February, 1995.     

On the ω-limit Set Dichotomy of Cooperating Kolmogorov Systems

The authors study the -limit set dichotomy of the Kolmogorov systems _i=x_i f _i(x)x _i0, 1in with the cooperative and irreducible hypotheses and obtain the quasiconvergence almost everywhere when n=3, which gives an affirmative answer to the open problem by Smith [9, p.72] in the case of n=3.     

The problem of irregular perfect systems of sets of iterated differences

Fors2, the set of iterated differences associated with the prescribed integersa(s, j), 1js, is the set {a(i, j): 1jis} wherea(i–1,j)=|a(i, j)–a(i, j+1)|, general problem raised by work of Kreweras and Loeb concerns the existence of partitions of runs of consecutive integers into full sets of iterated differences. In the regular case, where all the sets of iterated differences have the same valencys, it is known that such partitions do not exist at least fors>8. We find here that the problem is more challenging in the case where the sets have different valencies.