The Logarithmic Frequency of Values of Additive Functions

We consider the weak convergence of distribution functions (_mx 1/ m)^-1 _{m x},f_x(m)x is a set (x 2) of strongly additive functions such that f_x(p){0,1} for each prime number p.     

Dependence Between Order Statistics in Samples from Finite Population and its Application to Ranked Set Sampling

Let X1, X2,..., Xm, Y1, Y2,..., Yn be a simple random sample without replacement from a finite population and let X(1) X(2) ... X(m) and Y(1) Y(2) ... Y(n) be the order statistics of X1, X2,..., Xm and Y1, Y2,..., Yn, respectively. It is shown that the joint distribution of X(i) and X(j) is positively likelihood ratio dependent and Y(j) is negatively regression dependent on X(i). Using these results, it is shown that when samples are drawn without replacement from a finite population, the relative precision of the ranked set sampling estimator of the population mean, relative to the simple random sample estimator with the same number of units quantified, is bounded below by 1.     

Improved Krasnosel'skii theorems for the dimension of the kernel of a starshaped set

We will establish the following improved Krasnosel'skii theorems for the dimension of the kernel of a starshaped set: For each k and d, 0 k d, define f(d,k) = d+1 if k = 0 and f(d,k) = max{d+1,2d–2k+2} if 1 k d.Theorem 1. Let S be a compact, connected, locally starshaped set in R^d, S not convex. Then for a k with 0 k d, dim ker S k if and only if every f(d, k) lnc points of S are clearly visible from a common k-dimensional subset of S.Theorem 2. Let S be a nonempty compact set in R^d. Then for a k with 0 k d, dim ker S k if and only if every f (d, k) boundary points of S are clearly visible from a common k-dimensional subset of S. In each case, the number f(d, k) is best possible for every d and k.     

Quasilinear elliptic equations with small boundary data

It is shown that if the order of non-uniformity of a quasilinear elliptic equation is h, 1<h2, then the critical norm separating existence and non-existence of a solution to the Dirichlet problem with small boundary data is the norm. For 0h1, existence of a solution is guaranteed without any smallness assumption on the given boundary data, provided that the usual a priori interior gradient bound for solution is available.     

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.     

A Note on Thin P-Polynomial and Dual-Thin Q-Polynomial Symmetric Association Schemes

Let Y denote a d-class symmetric association scheme, with d 3. We show the following: If Y admits a P-polynomial structure with intersection numbers p _ij ^h and Y is 1-thin with respect to at least one vertex, then p _ll ^l =0 p _li ⁱ =0 1 i - 1. If Y admits a Q-polynomial structure with Krein parameters q _ij ^h , and Y is dual 1-thin with respect to at least one vertex, then q _ll ^l = 0 q _li ⁱ = 01 i d-1.     

The tree number of a graph with a given girth

A family of subtrees of a graphG whose edge sets form a partition of the edge set ofG is called atree decomposition ofG. The minimum number of trees in a tree decomposition ofG is called thetree number ofG and is denoted by(G). It is known that ifG is connected then(G) |G|/2. In this paper we show that ifG is connected and has girthg 5 then(G) |G|/g + 1. Surprisingly, the case wheng = 4 seems to be more difficult. We conjecture that in this case(G) |G|/4 + 1 and show a wide class of graphs that satisfy it. Also, some special graphs like complete bipartite graphs andn-dimensional cubes, for which we determine their tree numbers, satisfy it. In the general case we prove the weaker inequality(G) (|G| – 1)/3 + 1.     

A finite element method for a singularly perturbed boundary value problem

Summary We examine the problem:u+a(x)u–b(x)u=f(x) for 0<x<1,a(x)>0,b(x)>, ² = 4>0,a, b andf inC ² [0, 1], in (0, 1],u(0) andu(1) given. Using finite elements and a discretized Green's function, we show that the El-Mistikawy and Werle difference scheme on an equidistant mesh of widthh is uniformly second order accurate for this problem (i.e., the nodal errors are bounded byCh ², whereC is independent ofh and ). With a natural choice of trial functions, uniform first order accuracy is obtained in theL (0, 1) norm. On choosing piecewise linear trial functions (hat functions), uniform first order accuracy is obtained in theL ¹ (0, 1) norm.     

Kite-freeP- andQ-polynomial schemes

LetY = (X, {R _i } _oid) denote aP-polynomial association scheme. By a kite of lengthi (2 i d) inY, we mean a 4-tuplexyzu (x, y, z, u X) such that(x, y) R ₁,(x, z) R ₁,(y, z) R ₁,(u, y) R _i–1,(u, z) R _i–1,(u, x) R _i. Our main result in this paper is the following.     

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.     

Criteria for Validity of the Maximum Norm Principle for Parabolic Systems

We consider systems of partial differential equations, which contain only second derivatives in the x variables and which are uniformly parabolic in the sense of Petrovskii. For such systems we obtain necessary and, separately, sufficient conditions for the maximum norm principle to hold in the layer Rn × ( 0,T ] and in the cylinder × ( 0,T], where is a bounded subdomain of Rn. In this paper the norm is understood in a generalized sense, i.e. as the Minkowski functional of a compact convex body in Rm containing the origin. The necessary and sufficient conditions coincide if the coefficients of the system do not depend on t. The criteria for validity of the maximum norm principle are formulated as a number of equivalent algebraic conditions describing the relation between the geometry of the unit sphere of the given norm and coefficients of the system under consideration. Simpler formulated criteria are given for certain classes of norms: for differentiable norms, p-norms ( 1 p ) in Rm, as well as for norms whose unit balls are m-pyramids, m-bipyramids, cylindrical bodies, m-parallelepipeds. The case m = 2 is studied separately.     

On the Movement of Transitive Permutation p-Groups

Let G be a transitive permutation group on a set and m a positive integer. If | – | m for every subset of and all g G, then || 2mp/(p – 1) where p is the least odd prime dividing |G|. It was shown by Mann and Praeger [13] that, for p = 3, the 3-groups G which attain this bound have exponent p. In this paper we will show a generalization of this result for any odd primes.AMS Subject Classification (2000), 20BXX     

Uniform boundedness of a family of set functions

Let be a ring of sets, X a normed space, : X ( ) a bounded family of triangular functions. The following generalized Nikodym theorem is established: the family {} is uniformly bounded on if and only if it is bounded on every sequence of pairwise disjoint sets of which the union is a part of some set in . An analogous criterion is established also for semiadditive functions. In addition, it is shown that uniform boundedness of a family of triangular functions is preserved in passing from a ring to the -ring it generates.Translated from Matematicheskie Zametki, Vol. 23, No. 6, pp. 855–861, June, 1978.     

Convex Separable Minimization Subject to Bounded Variables

A minimization problem with convex and separable objective function subject to a separable convex inequality constraint and bounded variables is considered. A necessary and sufficient condition is proved for a feasible solution to be an optimal solution to this problem. Convex minimization problems subject to linear equality/linear inequality constraint, and bounds on the variables are also considered. A necessary and sufficient condition and a sufficient condition, respectively, are proved for a feasible solution to be an optimal solution to these two problems. Algorithms of polynomial complexity for solving the three problems are suggested and their convergence is proved. Some important forms of convex functions and computational results are given in the Appendix.     

Vanishing of the costate in pontryagin’s maximum principle and singular time optimal controls

We provide examples of time and norm optimal controls that satisfy Pontryagins maximum principle in an interval 0 t T but with a costate that vanishes in 0 t T - with < T. A refinement of this construction produces time optimal controls which do not satisfy the maximum principle, even in weak form. On the positive side, we show that when we drive to zero the costate is nonzero in the whole control interval.     

Fredholm integro-differential equation

We consider numerical solution of an integro-differential equation with nonsmooth initspaial values. Unique solvability in Sobolev spaceW ₂ (0, 1), =1,2, is proved. We establish the rate of convergence of the approximate solution to the exact solution in fractional spacesW ₂ ⁺¹ , 01, with approximation order O(h ^++1/2 ) for 01/2 andO(h ⁺¹ |ln h|1/2, for 1/2 #x2264;1.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 64, pp. 8–16, 1988.     

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.     

Einschliessungsaussagen für Differentialoperatoren vierter Ordnung und ein Verfahren zur Berechnung von Schrankenfunktionen

For a linear fourth order ordinary differential operator M we study Range Domain Implications (RDI). Let C_o [O,1] be positive; we show under what conditions there exists a C_O[O,1] such that the following RDI holds: Mu(x) (x) (0x1) u(x) (0x1). In particular we provide a numerical procedure to calculate .RDI are used to obtain error estimations and to solve related nonlinear problems.The basic idea to prove RDI is to split M into a product of second order differential operators which are easier to handle. For the general case that there exists no global splitting the concept of a local splitting is introduced.

---

---

The author would like to thank the European Research Office of the United States Army for their kind interest.     

Linear operators generated by stochastic processes

Let X_t(0 t < ) be a homogeneous stochastically continuous stochastic process with independent increments; (, A, P) be the corresponding probability space; p, q1 be fixed numbers. Necessary and sufficient conditions are found for a stochastic integral defined on finite-valued functions to be extendable to a bounded operator from L_p (0, ) to L_q() (p q).Translated from Teoriya Sluchainykh Protsessov, No. 16, pp. 7–13, 1988.     

Tensor products and Banach ideals of p-compact operators

A study is made of the norm w_p (1 p ) on the tensor product of two Banach spaces E and F. It is shown that w_p is a tensor norm, and a representation is deduced for the elements in the completion of E F equipped with w_p. Finally it is shown that the w_p-nuclear operators in the sense of Grothendieck [3] coincide with those operators factoring compactly through^p (if 1 p ) or Co (if p=), with related equalities concerning the idea1 norms.