Some common fixed point theorems for Banach operator pairs with applications in best approximation

The ordered pair (T,I) of two self-maps of a metric space (X,d) is called a Banach operator pair if the set F(I) of fixed points of I is T-invariant i.e. T(F(I))⊆F(I). Some common fixed point theorems for a Banach operator pair and the existence of common fixed points of best approximation are presented in this paper. The results prove, generalize and extend some results of Al-Thagafi [M.A. Al-Thagafi, Common fixed points and best approximation, J. Approx. Theory 85 (1996) 318-323], Carbone [A. Carbone, Applications of fixed point theorems, Jnanabha 19 (1989) 149-155], Chen and Li [J. Chen, Z. Li, Common fixed points for Banach operator pairs in best approximations, J. Math. Anal. Appl. 336 (2007) 1466-1475], Habiniak [L. Habiniak, Fixed point theorems and invariant approximation, J. Approx. Theory 56 (1989) 241-244], Jungck and Sessa [G. Jungck, S. Sessa, Fixed point theorems in best approximation theory, Math. Japon. 42 (1995) 249-252], Sahab, Khan and Sessa [S.A. Sahab, M.S. Khan, S. Sessa, A result in best approximation theory, J. Approx. Theory 55 (1988) 349-351], Shahzad [N. Shahzad, Invariant approximations and R-subweakly commuting maps, J. Math. Anal. Appl. 257 (2001) 39-45] and of few others.     

CONTINUITY OF THE ONE-SIDED BEST UNIFORM APPROXIMATION OPERATOR

Abstract

The purpose of this paper is to relate the continuity and selection properties of the one-sided best uniform approximation operator to similar properties of the metric projection. Let M be a closed subspace of C(T) which contains constants. Then the one-sided best uniform approximation operator is Hausdorff continuous (resp. Lipschitz continuous) on C(T) if and only if the metric projection P_M is Haudorff continuous (resp. Lipschitz continuous) on C(T). Also, the metric projection P_M admits a continuous (resp. Lipschitz continuous) selection if and only if the one-sided best uniform approximation operator admits a continuous (resp. Lipschitz continuous) selection.     

On best error bounds for approximation by piecewise polynomial functions

Summary An analog of the well-known Jackson-Bernstein-Zygmund theory on best approximation by trigonometric polynomials is developed for approximation methods which use piecewise polynomial functions. Interpolation and best approximation by polynomial splines, Hermite and finite element functions are examples of such methods. A direct theorem is proven for methods which are stable, quasi-linear and optimally accurate for sufficiently smooth functions. These assumptions are known to be satisfied in many cases of practical interest. Under a certain additional assumption, on the family of meshes, an inverse theorem is proven which shows that the direct theorem is sharp.The work presented in this paper was supported by the ERDA Mathematics and Computing Laboratory, Courant Institute of Mathematical Sciences, New York University, under Contract E(11-1)-3077 with the Energy Research and Development Administration.     

New results for best approximation on Banach lattices

The purpose of this paper is to introduce and to discuss the concept of approximation preserving operators on Banach lattices with a strong unit. We show that every lattice isomorphism is an approximation preserving operator. Also we give a necessary and sufficient condition for uniqueness of the best approximation by closed normal subsets of X⁺$X^{+}$, and show that this condition is characterized by some special operators.     

Banach operator pairs,common fixed-points,invariant approximations,and ∗ -nonexpansive multimaps

Common fixed-point results are proved for I$I$-nonexpansive maps, Ciric type maps, and ∗-nonexpansive multimaps. Invariant approximation results are obtained for these types of maps as applications. Our results extend or generalize several known results including the recent results of Chen and Li [J. Chen, Z. Li, Common fixed-points for Banach operators pairs in best approximation, J. Math. Anal. Appl. 336 (2007) 1466–1475]. In particular, we show that the results of Chen and Li on Banach operator pairs are particular cases of the results of Al-Thagafi and Shahzad [M.A. Al-Thagafi, N. Shahzad, Noncommuting selfmaps and invariant approximations, Nonlinear Anal. 64 (2006) 2778–2786].     

Moduli of smoothness and approximation on the unit sphere and the unit ball

A new modulus of smoothness based on the Euler angles is introduced on the unit sphere and is shown to satisfy all the usual characteristic properties of moduli of smoothness, including direct and inverse theorem for the best approximation by polynomials and its equivalence to a K-functional, defined via partial derivatives in Euler angles. The set of results on the moduli on the sphere serves as a basis for defining new moduli of smoothness and their corresponding K-functionals on the unit ball, which are used to characterize the best approximation by polynomials on the ball.     

Characterization of an extremal sum of ridge functions

The approximation problem considered in the paper is to approximate a continuous multivariate function f(x)=f(_x1,…,_xd)$f(\mathbf{x})=f(x_1,\dots ,x_d)$ by sums of two ridge functions in the uniform norm. We give a necessary and sufficient condition for a sum of two ridge functions to be a best approximation to f(x)$f(\mathbf{x})$. This main result is next used in a special case to obtain an explicit formula for the approximation error and to construct one best approximation. The problem of well approximation by such sums is also considered.     

Best coapproximation in quotient spaces

As a counterpart to best approximation in normed linear spaces, best coapproximation was introduced by Franchetti and Furi. In this paper, we apply the above coapproximation, and obtain some results on the upper semi-continuity of cometric projection maps. Also we shall determine under what conditions coproximinality can be transmitted to and from quotient spaces.     

Uniform local strong uniqueness on finite subsets

Summary LetF be an approximating function with parameter setP, a subset ofn-space, on an intervalI satisfying the hypotheses of Meinardus and Schwedt (the local Haar condition and propertyZ) which result in an alternating theory. Consider uniform approximation to functionf onX, a finite subset ofI. A sufficient condition is given, involving best parameters being in a closed set, on which the degree isn that a family of functionsf have a uniform (parameterwise) local strong uniqueness constant > 0. The necessity of the condition in this and related problems, in particular ordinary rational approximation on an interval, is examined.     

On estimates of approximation numbers and best bilinear approximation

We obtain estimates of approximation numbers of integral operators, with the kernels belonging to Sobolev classes or classes of functions with bounded mixed derivatives. Along with the estimates of approximation numbers, we also obtain estimates of best bilinear approximation of such kernels.Communicated by Charles A. Micchelli.     

Behavior of alternation points in best rational approximation

The behavior of the equioscillation points (alternants) for the error in best uniform approximation on [–1, 1] by rational functions of degreen is investigated. In general, the points of the alternants need not be dense in [–1, 1], even when approximation by rational functions of degree (m, n) is considered and asymptoticallym/n 1. We show, however, that if more thanO(logn) poles of the approximants stay at a positive distance from [–1, 1], then asymptotic denseness holds, at least for a subsequence. Furthermore, we obtain stronger distribution results when n (0 < 1) poles stay away from [–1, 1]. In the special case when a Markoff function is approximated, the distribution of the equioscillation points is related to the asymptotics for the degree of approximation.The research of this author was supported, in part, by NSF grant DMS 920-3659.     

Least-squares polynomial approximation on weakly admissible meshes: Disk and triangle

We construct symmetric polar WAMs (weakly admissible meshes) with low cardinality for least-squares polynomial approximation on the disk. These are then mapped to an arbitrary triangle. Numerical tests show that the growth of the least-squares projection uniform norm is much slower than the theoretical bound, and even slower than that of the Lebesgue constant of the best known interpolation points for the triangle. As opposed to good interpolation points, such meshes are straightforward to compute for any degree. The construction can be extended to polygons by triangulation.     

Noncommuting selfmaps and invariant approximations

Common fixed-point results are established for a new class of noncommuting selfmaps. We apply them to obtain several invariant approximation results which unify, extend, and complement well-known results.     

On the degree of approximation by spline functions with free knots

Summary A comparison theorem is derived for Chebyshev approximation by spline functions with free knots. This generalizes a result of Bernstein for approximation by polynomials.     

Error estimates of quasi-interpolation and its derivatives

Quasi-interpolation of radial basis functions on finite grids is a very useful strategy in approximation theory and its applications. A notable strongpoint of the strategy is to obtain directly the approximants without the need to solve any linear system of equations. For radial basis functions with Gaussian kernel, there have been more studies on the interpolation and quasi-interpolation on infinite grids. This paper investigates the approximation by quasi-interpolation operators with Gaussian kernel on the compact interval. The approximation errors for two classes of function with compact support sets are estimated. Furthermore, the approximation errors of derivatives of the approximants to the corresponding derivatives of the approximated functions are estimated. Finally, the numerical experiments are presented to confirm the accuracy of the approximations.     

Greedy algorithms and bestm-term approximation with respect to biorthogonal systems

The article extends upon previous work by Temlyakov, Konyagin, and Wojtaszczyk on comparing the error of certain greedy algorithms with that of best m-term approximation with respect to a general biorthogonal system in a Banach space X. We consider both necessary and sufficient conditions which cover most of the special cases previously considered. Some new results concerning the Haar system in L₁, L_∞, and BMO are also included.     

On approximation of functions by algebraic polynomials in Hölder spaces

We study approximation of functions by algebraic polynomials in the Hölder spaces corresponding to the generalized Jacobi translation and the Ditzian–Totik moduli of smoothness. By using modifications of the classical moduli of smoothness, we give improvements of the direct and inverse theorems of approximation and prove the criteria of the precise order of decrease of the best approximation in these spaces. Moreover, we obtain strong converse inequalities for some methods of approximation of functions. As an example, we consider approximation by the Durrmeyer–Bernstein polynomial operators.     

A modulus of smoothness based on an algebraic addition

Summary The purpose of this paper is to present a new approach to smoothness of nonperiodic functions. We consider the space of continuous functions on [−1, 1] as well as the weighted L^p-space and introduce a modulus of smoothness that is based on an algebraic addition ⊕ defined on [−1, 1]. The present paper is mainly concerned with general properties and groundwork, whereas a second paper [4] is devoted to more complex properties, in particular to an equivalent K-functional and to the characterization of best algebraic approximation. Moreover the equivalence with the Butzer-Stens modulus will be shown there.     

Greedy Algorithm and m -Term Trigonometric Approximation

We study the following nonlinear method of approximation by trigonometric polynomials in this paper. For a periodic function f we take as an approximant a trigonometric polynomial of the form , where is a set of cardinality m containing the indices of the m biggest (in absolute value) Fourier coefficients of function f . We compare the efficiency of this method with the best m -term trigonometric approximation both for individual functions and for some function classes. It turns out that the operator G _m provides the optimal (in the sense of order) error of m -term trigonometric approximation in the L _p -norm for many classes. September 23, 1996. Date revised: February 3, 1997.