A new continuation method for complementarity problems with uniformP-functions

The complementarity problem with a nonlinear continuous mappingf from the nonnegative orthantR ₊ ⁿ ofR ⁿ intoR ⁿ can be written as the system of equationsF(x, y) = 0 and(x, y) R ₊ ²ⁿ , whereF denotes the mapping from the nonnegative orthantR ₊ ²ⁿ ofR ²ⁿ intoR ₊ ⁿ × Rⁿ defined byF(x, y) = (x ₁y₁,,x_ny_n, f₁(x) – y₁,, f_n(x) – y_n) for every(x, y) R ₊ ²ⁿ . Under the assumption thatf is a uniformP-function, this paper establishes that the mappingF is a homeomorphism ofR ₊ ²ⁿ ontoR ₊ ⁿ × Rⁿ. This result provides a theoretical basis for a new continuation method of tracing the solution curve of the one parameter family of systems of equationsF(x, y) = tF(x ⁰, y⁰) and(x, y) R ₊ ²ⁿ from an arbitrary initial point(x ⁰, y⁰) R ₊ ²ⁿ witht = 1 until the parametert attains 0. This approach is an extension of the one used in the polynomially bounded algorithm recently given by Kojima, Mizuno and Yoshise for solving linear complementarity problems with positive semi-definite matrices.     

Nonhomogeneous recursions and Generalised Continued Fractions

Consider the (n+1)st order nonhomogeneous recursionX _k+n+1=b _k X _k+n +a _k ⁽ⁿ⁾ X _k+n-1+...+a _k ⁽¹⁾ X _k +X _k .Leth be a particular solution, andf ⁽¹⁾,...,f ⁽ⁿ⁾,g independent solutions of the associated homogeneous equation. It is supposed thatg dominatesf ⁽¹⁾,...,f ⁽ⁿ⁾ andh. If we want to calculate a solutiony which is dominated byg, but dominatesf ⁽¹⁾,...,f ⁽ⁿ⁾, then forward and backward recursion are numerically unstable. A stable algorithm is derived if we use results constituting a link between Generalised Continued Fractions and Recursion Relations.     

Approximation by Reciprocals of Polynomials with Positive Coefficients in L p Spaces

We prove that, if f(x) L ^p _[0,1], 1 < p < , f(x) 0, x [0,1], f 0, then there is a polynomial p(x) ⁺ _n such that f - 1/p _LP C(p)(f,n ^-1/2) _LP where ⁺ _n indicates the set of all polynomials of degree n with positive coeficients (see the definition (1) in the text).     

On generalized shift bases for the wiener disc algebra

LetW(D) denote the set of functionsf(z)=Σ _n=0 ^∞ A _n Z ⁿ a _nzⁿ for which Σ_n=0 ^∞|a _n |<+∞. Given any finite set lcub;f _i (z)rcub; _i=1 ⁿ inW(D) the following are equivalent: (i) The generalized shift sequence lcub;f ₁(z)z ^kn ,f ₂(z)z ^kn+1, …,f _n (z)z ^(k+1)n−1rcub; _k=0 ^∞ is a basis forW(D) which is equivalent to the basis lcub;z ^m rcub; _m=0 ^∞ . (ii) The generalized shift sequence is complete inW(D), (iii) The function has no zero in |z|≦1, wherew=e ^2πiti /n.     

On the Problem of Describing Sequences of Best Trigonometric Rational Approximations

For a strictly decreasing sequence a_{n n=0} of nonnegative real numbers converging to zero, we construct a continuous 2-periodic function f such that R^T _n(f) = a_n, n=0,1,2,..., where R^T _n(f) are best approximations of the function f in uniform norm by trigonometric rational functions of degree at most n.     

Inequalities for the interpolation points in Chebyshev approximation by polynomials

Letf andg be approximated in the Chebyshev sense by polynomials of degree n and n–1, respectively. It is shown that if the sum and difference of the normalized (n+1)-st derivatives off andg do not change sign, then the interpolation points ofg separate those off. A corollary is that the zeros of the Chebyshev polynomialT _n separate the interpolation points off iff ⁽ⁿ⁺¹⁾ does not change sign. The sharpness of this result is demonstrated.     

Sequences of normal states on maximal op*-algebras

It is proved that a sequence (f_n) of normal states on a maximal Op^*-algebra L⁺(D) converges to a normal state if f_n(A) is a Cauchy sequence for allA L ⁺(D), while D satisfies some additional condition.Translated from Teoriya Funktsii, Funktsional'nyi Analiz i Ikh Prilozheniya, No. 50, pp. 131–136, 1988.     

Approximation by cubic splines in the classes of continuously differentiable functions

The problem of approximating continuously differentiable periodic functionsf(x) by cubic interpolation splines s_n(f; x) with equidistant nodes is considered. Asymptotically exact estimates for f(x)-s_n(f; x)_C are obtained in the classes of functions W¹H.Translated from Matematicheskie Zametki, Vol. 11, No. 2, pp. 215–226, February, 1972.In conclusion, I am deeply grateful to N. P. Korneichuk for a number of valuable remarks and conjectures utilized while working on this paper.     

On the monotonicity of sequences of quadrature formulae

Summary LetI(f)L(f)= _k=0 ^r ₌₀ ^vk–1 a _k f ⁽⁾(X _k ) be a quadrature formula, and let {S _n (f)} _n=1 be successive approximations of the definite integralI(f)= ₀ ¹ f(x)dx obtained by the composition ofL, i.e.,S _n(f)=L( _n ), where .We prove sufficient conditions for monotonicity of the sequence {S _n (f)} _n=1 . As particular cases the monotonicity of well-known Newton-Cotes and Gauss quadratures is shown. Finally, a recovery theorem based on the monotonicity results is presented     

On monotone and convex approximation by algebraic polynomials

The following results are obtained: If >0, 2, [3, 4], andf is a nondecreasing (convex) function on [–1, 1] such thatE _n (f) n ^– for any n>, then E _n ⁽¹⁾ (f)Cn ^– (E _n ⁽²⁾ (f)Cn ^–) for n>, where C=C(), E_n(f) is the best uniform approximation of a continuous function by polynomials of degree (n–1), and E _n ⁽¹⁾ (f) (E _n ⁽²⁾ (f)) are the best monotone and convex approximations, respectively. For =2 ( [3, 4]), this result is not true.Published in Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 9, pp. 1266–1270, September, 1994.     

Some continuous decompositions of the space En

The main result proved is the following. Let E _f ⁽ⁿ⁾ (n > 1) be a continuous decomposition of E⁽ⁿ⁾ into points and zero-dimensional compact sets . If is compact and dimf(P*) = 0, then the spacef(Eⁿ) can be imbedded in E⁽ⁿ⁺¹⁾.Translated from Matematicheskie Zametki, Vol. 10, No. 3, pp. 315–326, September, 1971.The author wishes to thank L. V. Keldysh for directing this work.     

Lower Bounds For Multidimensional Zero Sums

Let f(n, d) denote the least integer such that any choice of f(n, d) elements in contains a subset of size n whose sum is zero. Harborth proved that (n-1)2 ^d +1 f(n,d) (n-1)n ^d +1. The upper bound was improved by Alon and Dubiner to c _d n. It is known that f(n-1) = 2n-1 and Reiher proved that f(n-2) = 4n-3. Only for n = 3 it was known that f(n,d) > (n-1)2 ^d +1, so that it seemed possible that for a fixed dimension, but a sufficiently large prime p, the lower bound might determine the true value of f(p,d). In this note we show that this is not the case. In fact, for all odd n 3 and d 3 we show that .     

The Rate of Convergence for Subexponential Distributions and Densities

A distribution function F on the nonnegative real line is called subexponential if lim_x(1-F ^*n (x)/(1 - F(x)) = n for all n 2, where F ^*n denotes the nfold Stieltjes convolution of F with itself. In this paper, we consider the rate of convergence in the above definition and in its density analogue. Among others we discuss the asymptotic behavior of the remainder term R _n (x) defined by R _n (x) = 1 - F*n(x) - n(1 - F(x)) and of its density analogue r_n (x) = -(R_n (x))'. Our results complement and complete those obtained by several authors. In an earlier paper, we obtained results of the form _n(x) = O(1)f(x)R(x), where f is the density of F and R(x) = ₀ ^x (1-F(y))dy. In this paper, among others we obtain asymptotic expressions of the form R _n(x)= ₂ ⁿ R₂(x) + O(1)(-f'(x))R²(x) where f' is the derivative of f.     

Приближение непреры вных функций средним и Эйлера

Let _n(1,f,x)=1/2 ⁿ _k=1 ⁿ C _k ⁿ S_k(x,f) denote the Euler means of the Fourier series of the 2-periodic functionf(x). For a function the main term of deviationf(x)– _n (1,f, x) is calculated. Asymptotically exact order of decrease of the upper bound of such deviations over the classH ⁽⁾ is also obtained.     

Divergence of the (C, 1) Means of d-dimensional Walsh-Fourier Series

In 1992, Móricz, Schipp and Wade [MSW] proved for functions in L log⁺ L(I ²) (I ² is the unit square) the a.e. convergence of the double (C, 1) means of the Walsh-Fourier series _n f f as min(n ₁, n ₂) , n = (n ₁, n ₂ N ²). In the same paper, they also proved the restricted convergence of the (C, 1) means of functions in L(I ²): (2 ⁿ 1,2 ⁿ 2)f f a.e. as min (n ₁, n ₂) provided |n ₁ – n ₂| < C. The aim of this paper is to demonstrate the sharpness of these results of Móricz, Schipp and Wade with respect to both the space L log⁺ L(I ²) and the restrictedness |n ₁ – n ₂| < C.     

Interpolating them-th power ofx at the zeros of then-th Chebyshev-polynomial yields an almost best Chebyshev-approximation

LetX={x ₁,x ₂,..., _n }I=[–1, 1] and . ForfC ₁(I) definef* byf–p _f =f*, wherep _f denotes the interpolation-polynomial off with respect toX. We state some properties of the operatorf f*. In particular, we treat the case whereX consists of the zeros of the Chebyshev polynomialT _n (x) and obtain x ^m –p _x ^m8eE _n–1(x ^m ), whereE _n–1(f) denotes the sup-norm distance fromf to the polynomials of degree less thann. Finally we state a lower estimate forE _n (f) that omits theassumptionf ⁽ⁿ⁺¹⁾>0 in a similar estimate of Meinardus.     

Rates in the empirical bayes estimation problem with non-identical components

This paper considers empirical Bayes estimation of the mean θ of the univariate normal densityf ₀ with known variance where the sample sizesm(n) may vary with the component problems but remain bounded by <∞. Let {(θ _n ,X _n =(X _n,1,...,X _{n, m(n)} ))} be a sequence of independent random vectors where theθ _n are unobservable and iidG and, givenθ _n =θ has densityf _θ ^m(n) . The first part of the paper exhibits estimators for the density of and its derivative whose mean-squared errors go to zero with rates and respectively. LetR ^m(n+1)(G) denote the Bayes risk in the squared-error loss estimation ofθ _n+1 usingX _n+1. For given 0<a<1, we exhibitt _n (X₁,...,X _n ;X _n+1) such that . forn>1 under the assumption that the support ofG is in [0, 1]. Under the weaker condition that E[|θ|^2+γ]<∞ for some γ>0, we exhibitt _n ^* (X ₁,...,X _n ;X _n+1) such that forn>1.     

Multiple Wiener-Ito integrals possessing a continuous extension

LetF(W) be a Wiener functional defined byF(W)=I _n(f) whereI _n(f) denotes the multiple Wiener-Ito integral of ordern of the symmetricL ²([0, 1] ⁿ ) kernelf. We show that a necessary and sufficient condition for the existence of a continuous extension ofF, i.e. the existence of a function ø(·) from the continuous functions on [0, 1] which are zero at zero to which is continuous in the supremum norms and for which ø(W)=F(W) a.s, is that there exists a multimeasure (dt ₁,...,dt _n ) on [0, 1] ⁿ such thatf(t ₁, ...,t _n ) = ((t ₁, 1]), ..., (t _n , 1]) a.e. Lebesgue on [0, 1] ⁿ . Recall that a multimeasure (A ₁,...,A _n ) is for every fixedi and every fixedA _i,...,A_i-1, A_i+1,...,A_n a signed measure inA _i and there exists multimeasures which are not measures. It is, furthermore, shown that iff(t ₁,t ₂, ...,t _n ) = ((t ₁, 1], ..., (t _n , 1]) then all the tracesf ^(k), off exist, eachf(^k) induces ann–2k multimeasure denoted by ^(k), the following relation holds

Truncation error bounds for limit-periodic continued fractionsK(a n /1) with lima n =0

Summary Truncation error bounds are developed for continued fractionsK(a _n /1) where |a _n |1/4 for alln sufficiently large. The bounds are particularly suited (some are shown to be best) for the limit-periodic case when lima _n =0. Among the principal results is the following: If |a _n |/n ^p for alln sufficiently large (with constants >0,p>0), then |f–f _m |C[D/(m+2)] ^p(m+2) for allm sufficiently large (for some constantsC>0,D>0). Heref denotes the limit (assumed finite) ofK(a _n /1) andf _m denotes itsmth approximant. Applications are given for continued fraction expansions of ratios of Kummer functions₁ F ₁ and of ratios of hypergeometric functions₀ F ₁. It is shown thatp=1 for₁ F ₁ andp=2 for₀ F ₁, wherep is the parameter determining the rate of convergence. Numerical examples indicate that the error bounds are indeed sharp.Research supported in part by the National Science Foundation under Grant MCS-8202230 and DMS-8401717     

Distribution of values of arithmetic functions in residue classes

We give a criterion for weakly uniform distribution of integral multiplicative functionsf(n) of the class CS modulo N, generalizing a result of Narkiewicz (W. Narkiewicz, Acta Arithm.,12, 269–279 (1967)). We obtain an asymptotic formula for N(n<x|f(n)=a(mod N)). We consider particular cases for the functionf(n):r ₂(n) the number of integral points in the circlex ²+y ²n, and others.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Maternaticheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 121, pp. 176–186, 1983.