On Characterization of Best Approximation with Certain Constraints

SupposeKis the intersection of a finite number of closed half-spaces {K_i} in a Hilbert spaceX, andx∈X\K. Dykstra's cyclic projections algorithm is a known method to determine an approximate solution of the best approximation ofxfromK, which is denoted byP_K(x). Dykstra's algorithm reduces the problem to an iterative scheme which involves computing the best approximation from the individualK_i. It is known that the sequence {x_j} generated by Dykstra's method converges to the best approximationP_K(x). But since it is difficult to find the definite value of an upper bound of the error ‖x_j−P_K(x)‖, the applicability of the algorithm is restrictive. This paper introduces a new method, called thesuccessive approximate algorithm, by which one can generate a finite sequencex₀, x₁, …, x_kwithx_k=P_K(x). In addition, the error ‖x_j−P_K(x)‖ is monotone decreasing and has a definite upper bound easily to be determined. So the new algorithm is very applicable in practice.