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.     

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.     

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.     

On Modified Strong Dyadic Integral and Derivative

For functions f L(R ₊), we define a modified strong dyadic integral J(f) L(R ₊) and a modified strong dyadic derivative D(f) L(R ₊). We establish a necessary and sufficient condition for the existence of the modified strong dyadic integral J(f). Under the condition f(x)dx = 0, we prove the equalities J(D(f)) = f and D(J(f)) = f. We find a countable set of eigenfunctions of the operators J and D. We prove that the linear span L of this set is dense in the dyadic Hardy space H(R ₊). For the functions f H(R ₊), we define a modified uniform dyadic integral J(f) L (R ₊).     

The essential norm of Hankel operator on the Bergman spaces of strongly pseudoconvex domains

Let D be a bounded strongly pseudoconvex domain with smooth boundary in Cⁿ and let fL²(D). For the Hankel operator H_f on the Bergman space A²(D), it is shown that the essential norm of H_f in L²(D) is comparable to the distance norm from H_f to compact Hankel operators. The result extends the previous corresponding version in the disc proved by Lin and Rochberg in Integ.Equat.Oper.Theory 361–372,17 (1993).     

A representation for the remainder of the Maclaurin quadrature formula

Summary We show that the remainder of the Maclaurin quadrature formula belonging to oddn (n+1 is the number of nodes) can be represented asR _n (f)=c _n f ⁽ⁿ⁺¹⁾ (), wheneverf ⁽ⁿ⁺¹⁾ exists and is continuous The corresponding problem for evenn has already been settled by A. Walther in 1925.     

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     

The bestL 2-approximation by finite sums of functions with separable variables

Summary We consider the problem of the best approximation of a given functionh L ² (X × Y) by sums _k=1 ⁿ f _k f _k, with a prescribed numbern of products of arbitrary functionsf _k L ² (X) andg _k L ² (Y). As a co-product we develop a new proof of the Hilbert—Schmidt decomposition theorem for functions lying inL ² (X × Y).     

A note on an error estimate for least squares approximation

An asymptotic expansion is obtained which provides upper and lower bounds for the error of the bestL ₂ polynomial approximation of degreen forx ⁿ⁺¹ on [–1, 1]. Because the expansion proceeds in only even powers of the reciprocal of the large variable, and the error made by truncating the expansion is numerically less than, and has the same sign as the first neglected term, very good bounds can be obtained. Via a result of Phillips, these results can be extended fromx ⁿ⁺¹ to anyfC ⁿ⁺¹[–1, 1], provided upper and lower bounds for the modulus off ⁽ⁿ⁺¹⁾ are available.     

On Dirichlet Series with Periodic Coefficients

We investigate Dirichlet series L(s, f) = _n=1 with q-periodic coefficients f(n), i.e. f(n+q) = f(n) for all integers n and some fixed integer q, and we prove an asymptotic formula for the number of nontrivial zeros of L(s, f). Further, we give a necessary condition for L(s, f) to have a distribution of the nontrivial zeros symmetrical with respect to the critical line.     

Extensions of the Menchoff-Rademacher theorem with applications to ergodic theory

We prove extensions of Menchoff's inequality and the Menchoff-Rademacher theorem for sequences {f _n } ∪L _p , based on the size of the norms of sums of sub-blocks of the firstn functions. The results are aplied to the study of a.e. convergence of series Σ _n a _n T ⁿ g/ n whenT is anL ₂ -contraction,g∃L ₂ , and {a _n } is an appropriate sequence. Given a sequence {f _n }∪L _p (Ω, μ), 1<p≤2, of independent centered random variables, we study conditions for the existence of a set ofx of μ-probability 1, such that for every contractionT on andg∈L ₂ (π), the random power series Σ _n f _n (x)T ⁿ g converges π-a.e. The conditions are used to show that for {f _n } centered i.i.d. withf ₁∃L log⁺ L, there exists a set ofx of full measure such that for every contractionT on andg∃L ₂ (π), the random series Σ _n f _n (x)T ⁿ g/n converges π-a.e. We use Menchoff's own spelling of his name in the papers he wrote in French. Dedicated to Hillel Furstenberg upon his retirement     

A Characterization of Minimal Legendrian Submanifolds in S2n+1

Let x: L ⁿ S²ⁿ⁺¹ R²ⁿ⁺² be a minimal submanifold in S²ⁿ⁺¹. In this note, we show that L is Legendrian if and only if for any A su(n + 1) the restriction to L of Ax, (–1)x satisfies f = 2(n + 1)f. In this case, 2(n + 1) is an eigenvalue of the Laplacian with multiplicity at least (n(n + 3)). Moreover if the multiplicity equals to ;(n(n + 3)), then L ⁿ is totally geodesic.     

N-widths of Ω r ′ in L p

Let Ω _ϕ ^r ={f:f ^(r-1) abs. cont. on [0,1], ‖q_r(D)f‖_p≤1, f^(2K+σ) (0)=f^(2K+σ)=0, (k)=0,...,l-1}. where , and I is an identical operator. Denote Kolmogorov, linear, Geelfand and Bernstein n-widths of Ω _ϕ ^r in L^p byd _n (Ω _ϕ ^r ;L ^p ),δ _n (Ω _ϕ ^r ;L ^p ),d ⁿ (Ω _p ^r ;L ^p ) andb _n (Ω _p ^r ;L ^p ), respectively. In this paper, we find a method to get an exact estimation of these n-widths. Related optimal subspaces and an optimal linear operator are given. For another subset , similar results are also derrived.     

On constants in some inequalities for intermediate derivatives on a finite interval

Let L_q (1q<∞) be the space of functions f measurable on I=[−1,1] and integrable to the power q, with normL_∞ is the space of functions measurable on I with normWe denote by AC the set of all functions absolutely continuous on I. For nN, q[1,∞] we setW_n,q={f:f⁽ⁿ⁻¹⁾AC, f⁽ⁿ⁾L_q}.In this paper, we consider the problem of accuracy of constants A, B in the inequalities (1)|| f^(m)||_qA|| f||_p+B|| f^(m+k+1)||_r, mN, kW; p,q,r[1,∞], fW_m+k+1,r.     

Toeplitz operators on hardy spaceH p (S) with 0<p≤1

LetB ⁿ be the unit ball inC ⁿ ,S is the boundary ofB ⁿ . We letL ^p (S) denote the usual Lebesgue spaces overS with respect to the normalized surface measure,H ^p (B ⁿ ) is its usua holomorphic subspace.H ^p (S) denotes the atomic Hardy spaces defined in [GL]. LetPL ² (S)H ²(B ⁿ ) denote the orthogonal projection. For eachfL (S), we useM _f L ^p (S)L ^p (S) to denote the multiplication operator, and we define the Toeplitz operatorT _f =PM _f . The paper gives a characterization theorem onf such that the Toeplitz operatorsT _f and are bounded fromH ^p (S)H ^p (B ⁿ ) with 0<p1. Also several equivalent conditions are given.     

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.     

Eigenfunctions and associated functions of an n-th-order linear differential operator

For n2 we consider a differential operatorL [y] z ⁿ y ⁽ⁿ⁾ +P ₁(z)z ^n–1 y ^(n–1) +P ₂ (z)z ^n–2 y ^n–2 + ...+P _n (z)y = y, p ₁ (z), ..., P _n (z) A _R : here a_r is the space of functions which are analytic in the disk ¦z¦ < R, equipped with the topology of compact convergence. We prove the existence of sequences {f_k(z)} _k =o, consisting of a finite number of associated functions of the operator L and an infinite number of its eigenfunctions; we show that the sequence forms a basis in A_r for an arbitrary r, 0 < r <- R; and we establish some additional properties of the sequence ₀ (z), ₁ (z),..., _d–1 (z), f _d (z), f _d+1 (z),... Translated from Matematicheskie Zametki, Vol. 20, No. 6, pp. 869–878, December, 1976.     

Exact constants of approximation for differentiable periodic functions

For all odd r we construct a linear operator B_r,r(f) which maps the set of 2-periodic functionsf(t) X^(r) (X^(r)=C^(r) or L₁ ^(r)) into a set of trigonometric polynomials of order not higher than n-1 such that where X is the C or L₁ metric, E_n(f)_X and (f, )_X are the best approximation by means of trigonometric polynomials of order not higher than n-1 and the modulus of continuity of the functionf in the X metric, respectively; K_r are the known Favard constants.Translated from Matematicheskie Zametki, Vol. 14, No. 1, pp. 21–30, July, 1973.In conclusion, the author wishes to express his deep gratitude to N. P. Korneichuk under whose guidance this paper was written.     

The averaging operator with respect to a countable partition on a minimal symmetric ideal of the space L1(0, 1)

In terms of the functions f * and f** one gives necessary and sufficient conditions for the inclusion, where f is an arbitrary element from L¹(0, 1), Nf is the smallest symmetric ideal in L¹(0, 1), containing f, is a partition of the segment [0, 1] by the points of the sequence t_n 0, and is the mathematical expectation operator.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 107, PP. 136–149, 1982.     

Asymptotically spirallike mappings in several complex variables

In this paper, we define the notion of asymptotic spirallikeness (a generalization of asymptotic starlikeness) in the Euclidean space ℂ ⁿ . We consider the connection between this notion and univalent subordination chains. We introduce the notions of A-asymptotic spirallikeness and A-parametric representation, where A ∈ L(ℂ ⁿ , ℂ ⁿ ), and prove that if dt < ∞ (this integral is convergent if k ₊(A) < 2m(A)), then a mapping f ∈ S(B ⁿ ) is A-asymptotically spirallike if and only if f has A-parametric representation, i.e., if and only if there exists a univalent subordination chain f(z, t) such that D f(0, t) = e ^At , {e ^−At f(·, t)} _t≥0 is a normal family on B ⁿ and f = f(·, 0). In particular, a spirallike mapping with respect to A ∈ L(ℂ ⁿ , ℂ ⁿ ) with dt < ∞ has A-parametric representation. We also prove that if f is a spirallike mapping with respect to an operator A such that A + A* = 2I _n , then f has parametric representation (i.e., with respect to the identity). Finally, we obtain some examples of asymptotically spirallike mappings. Partially supported by the Natural Sciences and Engineering Research Council of Canada under Grant A9221. Partially supported by Grant-in-Aid for Scientific Research (C) no. 19540205 from Japan Society for the Promotion of Science, 2007. Partially supported by Romanian Ministry of Education and Research, CEEX Program, Project 2-CEx06-11-10/2006.