Polynomial approximation inL p (0<p<1)

We prove that forf∈L _p , 0<p<1, andk a positive integer, there exists an algebraic polynomialP _n of degree ≤n such that $$\left\| {f - P_n } \right\|_p \leqslant C\omega _k^\varphi \left( {f,\frac{1}{n}} \right)_p $$ whereω _k ^? (f,t)p is the Ditzian-Totik modulus of smoothness off inL _p , andC is a constant depending only onk andp. Moreover, iff is nondecreasing andk≤2, then the polynomialP _n can also be taken to be nondecreasing.     

Shape-preserving approximation inL p

We prove a direct theorem for shape preservingL _p -approximation, 0p, in terms of the classical modulus of smoothnessw ₂(f, t _p ¹ ). This theorem may be regarded as an extension toL _p of the well-known pointwise estimates of the Timan type and their shape-preserving variants of R. DeVore, D. Leviatan, and X. M. Yu. It leads to a characterization of monotone and convex functions in Lipschitz classes (and more general Besov spaces) in terms of their approximation by algebraic polynomials.Communicated by Ron DeVore.     

Monotone polynomial approximation inL p space

We prove that for monotone functionf(x)∈L _p [?1, 1], 1≤p<∞, there exists a monotone algebraic polynomialL _n (f,x) of degreen such that \(\left\| {f(x) - L_n (f,x)} \right\|_p \leqslant C\omega _{2,\varphi } \left( {f,\frac{1}{n}} \right)_p \) , where \(\varphi (x) = \sqrt {1 - x^2 } \) and ω_2,?, is the second-order modulus of smoothness which weighs differently the behavior off(x) in the middle of the interval and near the endpoints. This estimate improves the known result of Shvedov.     

Generalized monotone approximation inL p Space

Letf(x) ∈L _p[0,1], 1?p? ∞. We shall say that functionf(x)∈Δ^k (integerk?1) if for anyh ∈ [0, 1/k] andx ∈ [0,1?kh], we have Δ _h ^k f(x)?0. Denote by ∏ _n the space of algebraic polynomials of degree not exceedingn and define $$E_{n,k} (f)_p : = \mathop {\inf }\limits_{\mathop {P_n \in \prod _n }\limits_{P_n^{(\lambda )} \geqslant 0} } \parallel f(x) - P_n (x)\parallel _{L_p [0,1]} .$$ We prove that for any positive integerk, iff(x) ∈ Δ ^k ∩ L _p[0, 1], 1?p?∞, then we have $$E_{n,k} (f)_p \leqslant C\omega _2 \left( {f,\frac{1}{n}} \right)_p ,$$ whereC is a constant only depending onk.     

Approximation by Kantorovich-Bernstein polynomials inL p(0<p<1)-metric

The purpose of the present paper is to evaluate the error of the approximation of the function f∈L₁[0,1] by Kantorovich-Bernstein polynomials in L_p-metric (0<p<1).     

Besov spaces andK-functionals inL p, 0<p<1*

We investigate Besov spaces and their connection with trigonometric polynomial approximation inL _p[−π,π], algebraic polynomial approximation inL _p[−1,1], algebraic polynomial approximation inL _p(S), and entire function of exponential type approximation inL _p(R), and characterizeK-functionals for certain pairs of function spaces including (L _p[−π,π],B _s ^a(L _p[−π,π])), (L _p(R),_s ^a(L_p(R))), , and , where 0<s≤∞, 0<p<1,S is a simple polytope and 0<α<r. This project is supported by the National Science Foundation of China.     

Moduli of smoothness andK-functionals inL p, 0<p<1

It is shown that forL _p, 0p<1, the=">K-functional betweenL _p andW _p ^r is identically zero. Useful measures that are equivalent to the moduli of smoothness are found. The equivalence results that are given are valid for 0p.Communicated by Vilmos Totik.     

Embeddingl p k in subspaces ofL p forp>2

The aim of the present paper is to estimate in a precise manner the integerk=k(p,m,n,∈) so that an arbitrarym-dimensional subspaceX of the spacel _p ⁿ ;p>2, contains an (1+∈)-isomorph ofl _p ^k . The main argument of the proof consists of a probabilistic selection which uses a lemma of Slepian. The same method also shows that any system of normalized functions inL _p ;p≥2, which is equivalent to the unit vector basis ofl _p ⁿ , contains, for any∈>0, a subsystem of sizeh proportional ton, which is (1+∈)-equivalent to the unit vector basis ofl _p ^h . The authors were supported by Grant No. 87-0079 from BSF.     

A class of extreme contractions inL(l p )

Summary In this note we prove that: if T is a contraction in L(l^p) that maps elements of disjoint support to elements of disjoint support, then T is an extreme point of the unit ball of L(l^p), 1

i) form a p-orthonormal sequence or the nonzero elements of (y_i) form a p-orthonormal sequence for which supp (y_i)=N.     

On subsequences of the Haar system inL p [0, 1], (1<p<∞)

We show that ifX is the closed linear span inL _p [0,1] of a subsequence of the Haar system, thenX is isomorphic either tol _p or toL _p [0,1], [1<p<∞]. We give criteria to determine which of these cases holds; for a given subsequence, this is independent ofp. This is part of the second author's Ph.D. dissertation, written at the University of Alberta under the supervision of J. L. B. Galmen. The first author's research was partially supported by NRC A7552.     

Polynomial (chaos) approximation of maximum eigenvalue functions

Numerical Algorithms - In this note, the additive block diagonal preconditioner (Bai et al., Numer. Algorithms 62, 655–675 2013) and the block triangular preconditioner (Pearson and Wathen,...     

Point interactions inL p

An interpretation is given to point interactions of the form −Δ+d inL ^p (ℝ ^N ), where Δ is the Laplacian operator andd is a pseudopotential related to the ‘Dirac measure at 0', depending on the dimension. They are described as extensions of −Δ, defined on the space {u∈C ₀ ^∞ (ℝ ^N )|u(0)=0} that are negative generators of analytic semigroups. This is done forN=1,2 and 1<p<∞ and forN=3 and 3/2<p<3.     

Subdivision schemes inL p spaces

Subdivision schemes play an important role in computer graphics and wavelet analysis. In this paper we are mainly concerned with convergence of subdivision schemes inL _p spaces (1≤p≤∞). We characterize theL _p -convergence of a subdivision scheme in terms of thep-norm joint spectral radius of two matrices associated with the corresponding mask. We also discuss various properties of the limit function of a subdivision scheme, such as stability, linear independence, and smoothness.