On the asymptotic equivalence ofL pmetrics for convergence to normality

Summary This paper is concerned with the rate of convergence to zero of theL _pmetrics _np1p, constructed out of differences between distribution functions, for departure from normality for normed sums of independent and identically distributed random variables with zero mean and unit variance. It is shown that the _np are, under broad conditions, asymptotically equivalent in the strong sense that, for 1p, p, _np/_np is universally bounded away from zero and infinity asn.     

On a Test Statistic for Linear Trend

Let {W(s)} _s 0 be a standard Wiener process. The supremum of the squared Euclidian norm Y (t)², of the R²-valued process Y(t)=(1/t W(t), {12/t ³ int_{0 t} s dW (s)– {3/t} W(t)), t [, 1], is the asymptotic, large sample distribution, of a test statistic for a change point detection problem, of appearance of linear trend. We determine the asymptotic behavior P {sup _t [, 1] Y(t)² > u as u , of this statistic, for a fixed (0,1), and for a moving = (u) 0 at a suitable rate as u . The statistical interest of our results lie in their use as approximate test levels.     

Interpolation theorems for a family of spanning subgraphs

Let G be a graph with order p, size q and component number . For each i between p – and q, let be the family of spanning i-edge subgraphs of G with exactly components. For an integer-valued graphical invariant if H H is an adjacent edge transformation (AET) implies |(H)-(H^')|1 then is said to be continuous with respect to AET. Similarly define the continuity of with respect to simple edge transformation (SET). Let M _j() and m _j() be the invariants defined by . It is proved that both M _p–() and m _p–(;) interpolate over , if is continuous with respect to AET, and that M _j() and m _j() interpolate over , if is continuous with respect to SET. In this way a lot of known interpolation results, including a theorem due to Schuster etc., are generalized.     

On a property of the entire dirichlet series with decreasing coefficients

The classS ^* (A) of the entire Dirichlet series is studied, which is defined for a fixed sequence by the conditions 0 _n + and _n (1n⁺(1/a _n )) imposed on the parameters _n, where is a positive continuous function on (0, +) such that (x) + and x/(x) + asx + . In this class, the necessary and sufficient conditions are given for the relation (InM(,F))(In (,F)) to hold as +, where , and is a positive continuous function increasing to + on (0,+), forwhich ln (x) is a concave function and(lnx) is a slowly increasing function.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 6, pp. 843–853, June. 1993.     

On flag-transitive affine planes of orderq 3

Let be a translation plane of orderq ³,q an odd prime power, whose kern GF(q). Letl be the line at infinity of . LetG be a solvable collineation group of in the linear translation complement, which acts transitively onl , and letH be a maximal normal cyclic subgroup ofG. Then the restriction ofH onl acts semiregularly onl and {1, 2, 3, 6}, where is the restriction ofG onl (ifq –1(mod 3), then {1, 2}). Ifq {3, 5} and {1, 2}, then is determined completely, using a computer.     

k-regular factors and semi-k-regular factors in bipartite graphs

LetG be a graph, andk1 an integer. LetU be a subset ofV(G), and letF be a spanning subgraph ofG such that deg _F (x)=k for allx V(G)–U. If deg _F (x)k for allxU, thenF is called an upper semi-k-regular factor with defect setU, and if deg _F (x)k for allxU, thenF is called a lower semi-k-regular factor with defect setU. Now letG=(X, Y;E(G)) be a bipartite graph with bipartition (X,Y) such that X=Yk+2. We prove the following two results.(1) Suppose that for each subsetU ₁X such that U ₁=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.(2) Suppose that for each subsetU ₁X such that U ₁=X–1/k+1,G has a lower semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=X–1/k+1,G has a lower semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.     

On regularities of the distribution of special sequences

Ifp2 is an integer, then every nonnegative integerk is represented by an expression of the form with integersa _i (k), 0a _i (k)p–1,i=0.1,...,s. The radical-inverse function to the basep, _p (k), is defined by . The sequence is uniformly distributed modulo 1 (it may be called a one-dimensional Halton sequence). In the casep=2 it is the van der Corput sequence. The set of all numbers (0, 1] such that the local discrepancy is bounded inn is determined.     

Regular (2, 2)-systems

Let (E,I) be an independence system over the finite setE = {e ₁, ,e _n }, whose elements are orderede ₁ e _n . (E,I) is called regular, if the independence of {e _l , ,e _{l k} },l ₁ < <l _k , implies that of {e _{m l} , ,e _{m k} }, wherem _l < ··· <m _k andl ₁ m ₁, ,l _k m _k . (E,I) is called a 2-system, if for anyI I,e E I the setI {e } contains at most 2 distinct circuitsC, C I and the number 2 is minimal with respect to this property. If, in addition, for any two independent setsI andJ the family (C J, C C (J, I)), whereC(J, I) denotes {C C:e J I C {e}}, can be partitioned into 2 subfamilies each of which possesses a transversal, then (E,I) is called a (2, 2)-system. In this paper we characterize regular 2-systems and we show that the classes of regular 2-systems resp. regular (2, 2)-systems are identical.     

Extension of the Zorn lemma to general nontransitive binary relations

Let be an irreflexive (strict) binary relation on a nonempty setX. Denote the completion of by , i.e.,yx ifxy does not hold. An elementx ^* X is said to be a maximal element of onX ifx ^* x, xX. In this paper, an extension of the Zorn lemma to general nontrasitive binary relations (may lack antisymmetry) is established and is applied to prove existence of maximal elements for general nontrasitive (reflexive or irreflexive) binary relations on nonempty sets without assuming any topological conditions or linear structures. A necessary and sufficient condition has been also established to completely characterize the existence of maximal elements for general irreflexive nontrasitive binary relations. This is the first such result available in the literature to the best of our knowledge. Many recent known existence sults in the literature for vector optimization are shown to be special cases of our result.This work was supported in part by AFSOR Grant 91-0097.The author is grateful to the referees and Professor P. L. Yu for their comments and suggestions that led to this improved paper.     

On a problem of Erdös and Alladi

We give an estimate for the quantity {f(n):nx, p(n)y}, wherep(n) denotes the greatest prime factor ofn andf belongs to a certain class of multiplicative functions. As an application, we show that for the Moebius function, ({(n):nx, p(n)y}) ({1:nx, p(n)y})^–1 tends to zero, asx, uniformly iny2, and thus settle a conjecture of Erdös.Supported by a grant from the Deutsche Forschungsgesellschaft.     

Non-Uniformly Elliptic Equations with Natural Growth in the Gradient

We prove the existence of bounded solutions for a class of nonlinear elliptic problems of type–div(a(x,u,Du))=H(x,u,Du)+f, uW ^1,p ₀()L (),where a(x,,)b(||)|| ^p , b is a continuous monotone decreasing function and |H(x,,)| k()|| ^p , k is a continuous monotone increasing function.     

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.     

Shape-preserving Kolmogorov widths of classes of <Emphasis Type="Italic">s</Emphasis>-monotone integrable functions

Let s ₀ and let ₊ ^s be the set of functions x defined on a finite interval I and such that, for all collections of s + 1 pairwise different points t ₀,..., t _s I, the corresponding divided differences [x; t ₀,...,t _s ] of order s are nonnegative. Let ₊ ^s B _{p +} ^s B _p, 1 p where B _p is a unit ball in the space L _p, and let ₊ ^s L _{q +} ^s L _q, 1 q . For every s 3 and 1 q p , we determine the exact orders of the shape-preserving Kolmogorov widths {x - y} \right\ L_q , $$]]>, where M ⁿ is the collection of all affine linear manifolds M ⁿ in L _q such that dim M ⁿ n and M ⁿ ₊ ^s L _q .Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 7, pp. 901–926, July, 2004.     

On the optimality of a characterization theorem for the gamma function using the multiplication formula

Summary The following Artin type characterization of : _{+ +} is proved: Assume thatf: _{+ +} satisfies the Gauss multiplication formula for some fixedp 2,f is absolutely continuous on [l/p, 1 + ] for some > 0 and lim _{x 0} xf(x) = 1. Thenf(x) = (x) forx > 0.The optimality of this result is checked by means of counterexamples. For instance, it is shown that the result is no longer true, if f is absolutely continuous is replaced by f is continuous and of finite variation.     

Harmonic analysis on tori

We consider measurable subsets {ofR}ⁿ with 0<m()<, and we assume that has a spectral set . (In the special case when is also assumed open, may be obtained as the joint spectrum of a family of commuting self-adjoint operators {H _k: 1kn} in L ² () such that each H _k is an extension of i(/x _k) on C _c (), k=1, ..., n.)It is known that is a fundamental domain for a lattice if is itself a lattice. In this paper, we consider a class of examples where is not assumed to be a lattice. Instead is assumed to have a certain inhomogeneous form, and we prove a necessary and sufficient condition for to be a fundamental domain for some lattice in {ofR}ⁿ. We are thus able to decide the question, fundamental domain or not, by considering only properties of the spectrum . Our criterion is obtained as a corollary to a theorem concerning partitions of sets which have a spectrum of inhomogeneous form.Work supported in part by the NSF.Work supported in part by the NSRC, Denmark.     

On the angular derivative and univalence

f . , , — , A f f(). , , f() 0 . , , ,A , f . , f() - f() . , , . (1976) ( ¦f(z)¦<1) . . (1969) ( ).     

Determinants in net subgroups

Suppose R is a commutative ring with 1, =( _ij ) is a fixedD-net of ideals of R of ordern, and G is the corresponding net subgroup of the general linear group GL (n, R). There is constructed for a homomorphismdet of the subgroup G() into a certain Abelian group (). Let I be the index set {1...,n}. For each subset I let ()= _{ij ji} , wherei, ranges over all indices in and j independently over the indices in the complement I ((I) is the zero ideal). Letdet (a) denote the principal minor of order ||n of the matrixa G () corresponding to the indices in , and let' () be the Cartesian product of the multiplicative groups of the quotient rings R/() over all subsets I. The homomorphismdet is defined as follows: It is proved that if R is a semilocal commutative Bezout ring, then the kernelKer det coincides with the subgroup E() generated by all transvections in G(). For these R is also definedTm det .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 114, pp. 37–49, 1982.     

Angular limits of holomorphic functions which satisfy an integrability condition

Let (–1,1), let 2/(1–)p<, letp denote the Hölder conjugate ofp, and let be an open arc of the unit circle. It is shown that, iff is a holomorphic function on the unit disc such that: (i) (1–|z|)log⁺|f(z)| isL ^p -integrable on the sector {r:0f has an infinite asymptotic value has -finite (2–(1+)p)-dimensional Hausdorff, measure, thenf has finite angular limits on a subset of of positive linear measure. In fact, a stronger conclusion will be established.     

A note on operator norm inequalities

If P is a positive operator on a Hilbert space H whose range is dense, then a theorem of Foias, Ong, and Rosenthal says that: [(P)]^–1T[(P)]<-12 max {T, P^–1TP} for any bounded operator T on H, where is a continuous, concave, nonnegative, nondecreasing function on [0, P]. This inequality is extended to the class of normal operators with dense range to obtain the inequality [(N)]^–1T[(N)]<-12c² max {tT, N^–1TN} where is a complex valued function in a class of functions called vase-like, and c is a constant which is associated with by the definition of vase-like. As a corollary, it is shown that the reflexive lattice of operator ranges generated by the range NH of a normal operator N consists of the ranges of all operators of the form (N), where is vase-like. Similar results are obtained for scalar-type spectral operators on a Hilbert space.This author gratefully acknowledges the support of Central Michigan University in the form of a Research Professorship.