Best Meromorphic Approximation of Markov Functions on the Unit Circle

Let E subset(-1,1) be a compact set, let μ be a positive Borel measure with support supp μ =E , and let H _p (G), 1≤ p ≤∈fty, be the Hardy space of analytic functions on the open unit disk G with circumference Γ={z colon |z|=1} . Let Δ _n,p be the error in best approximation of the Markov function frac{1}{2π i} ∈t_E frac{d μ(x)}{z-x} in the space L _p (Γ) by meromorphic functions that can be represented in the form h=P/Q , where P ∈ H _p (G), Q is a polynomial of degree at most n , Qnot equiv 0 . We investigate the rate of decrease of Δ _n,p , 1≤ p ≤∈fty , and its connection with n -widths. The convergence of the best meromorphic approximants and the limiting distribution of poles of the best approximants are described in the case when 1<p≤∈fty and the measure μ with support E=[a,b] satisfies the Szegő condition ∈t_a^b frac{log(d μ/ d x)}{sqrt{(x-a)(b-x)}} dx >- ∈fty. July 27, 2000. Final version received: May 19, 2001.     

Rational Approximation of Analytic Functions Having Generalized Orders of Rate of Growth

Let f be holomorphic on a domain G C¯ and _n be the error in best approximation of f in the supremum norm on a compact set E G by rational functions of order n. We obtain results characterizing the degree of decrease of the best approximation _n in terms connected with the condenser (E,F), F=C¯ \ G¯, and the rate of growth of the maximum modulus of f(z). In particular, if f has a generalized order (, , f) in the domain G, thenlim sup_n (n)/ (log (1/log⁺((_{0 1} ....... _n)^1/n(n+1) ))) (, , f),where = exp (1/C(E,F)), C(E,F) is the capacity of the condenser (E,F).     

On the Best Approximation by Ridge Functions in the Uniform Norm

We consider the best approximation of some function classes by the manifold M _n consisting of sums of n arbitrary ridge functions. It is proved that the deviation of the Sobolev class W _p ^r,d from the manifold M _n in the space L _q for any 2≤ q≤ p≤∈fty behaves asymptotically as n ^-r/(d-1) . In particular, we obtain this asymptotic estimate for the uniform norm p=q=∈fty . January 10, 2000. Date revised: March 1, 2001. Date accepted: March 12, 2001.     

Uniform Approximation by Entire Functions That Are All Bounded on a Given Set

For two closed sets F and G in the complex plane C, G C , we solve the following problem Under what conditions on F and G can every function f , continuous on F and analytic in its interior, be uniformly approximated by entire functions, each of which is bounded on G ? February 7, 1995. Date revised: October 31, 1995.     

Asymptotic Uniqueness of Best Rational Approximants of Given Degree to Markov Functions in L 2 of the Circle

We improve over a sufficient condition given in [8] for uniqueness of a nondegenerate critical point in best rational approximation of prescribed degree over the conjugate-symmetric Hardy space of the complement of the disk. The improved condition connects to error estimates in AAK approximation, and is necessary and sufficient when the function to be approximated is of Markov type. For Markov functions whose defining measure satisfies the Szego condition, we combine what precedes with sharp asymptotics in multipoint Padé approximation from [43], [40] in order to prove uniqueness of a critical point when the degree of the approximant goes large. This lends perspective to the uniqueness issue for more general classes of functions defined through Cauchy integrals.     

Piecewise Monotone Pointwise Approximation

Let r, k, s be three integers such that , or We prove the following: Proposition. Let Y:={y _i } _i=1 ^s be a fixed collection of distinct points y _i ∈ (-1,1) and Π (x):= (x-y ₁ ). ... .(x-y _s ). Let I:=[-1,1]. If f ∈ C ^(r) (I) and f'(x)Π(x) ≥ 0, x ∈ I, then for each integer n ≥ k+r-1 there is an algebraic polynomial P _n =P _n (x) of degree ≤ n such that P _n '(x) Π (x) ≥ 0 and $$ \vert f(x)-P_n(x) \vert \le B\left(\frac{1}{n^2}+\frac{1}{n}\sqrt{1-x^2}\right)^r \omega_k \left(f^{(r)};\frac{1}{n^2}+\frac{1}{n}\sqrt{1-x^2}\right) \legno{(1)}$$ for all x∈ I, where ω _k (f ^(r) ;t) is the modulus of smoothness of the k -th order of the function f ^(r) and B is a constant depending only on r , k , and Y. If s=1, the constant B does not depend on Y except in the case (r=1, k=3). In addition it is shown that (1) does not hold for r=1, k>3. March 20, 1995. Dates revised: March 11, 1996; December 20, 1996; and August 7, 1997.     

Weighted Maximum Over Minimum Modulus of Polynomials, Applied to Ray Sequences of Padé Approximants

Let a≥ 0 , ɛ >0 . We use potential theory to obtain a sharp lower bound for the linear Lebesgue measure of the set Here P is an arbitrary polynomial of degree ≤ n . We then apply this to diagonal and ray Padé sequences for functions analytic (or meromorphic) in the unit ball. For example, we show that the diagonal \left{ [n/n]\right} _n=1 ^∞ sequence provides good approximation on almost one-eighth of the circles centre 0 , and the \left{ [2n/n]\right} _n=1 ^∞ sequence on almost one-quarter of such circles. July 18, 2000. Date revised: . Date accepted: April 19, 2001.     

On Approximation by Ridge Functions

Ridge functions are defined as functions of the form , where , belongs to the given ``direction' set . In this paper we study the fundamentality of ridge functions for variable directions sets A and discuss the rate of approximation by ridge functions. Date received: June 7, 1994. Date revised: August 3, 1995.     

More on Comonotone Polynomial Approximation

The main achievement of this paper is that we show, what was to us, a surprising conclusion, namely, twice continuously differentiable functions in (0,1) (with some regular behavior at the endpoints) which change monotonicity at least once in the interval, are approximable better by comonotone polynomials, than are such functions that are merely monotone. We obtain Jackson-type estimates for the comonotone polynomial approximation of such functions that are impossible to achieve for monotone approximation. July 7, 1998. Date revised: May 5, 1999. Date accepted: July 23, 1999.     

Best Approximation with Walsh Atoms

We consider the approximation in L ² R of a given function using finite linear combinations of Walsh atoms, which are Walsh functions localized to dyadic intervals, also called Haar—Walsh wavelet packets. It is shown that up to a constant factor, a linear combination of K atoms can be represented to relative error ɛ by a linear combination of orthogonal atoms. In finite dimension N, best approximation with K orthogonal atoms can be realized with an algorithm of order . A faster algorithm of order solves the problem with indirect control over K. Therefore the above result connects algorithmic and theoretical best approximation. Date received: July 6, 1995. Date revised: January 8, 1996.     

Approximation by complex genuine Durrmeyer type polynomials in compact disks

In this paper, the order of simultaneous approximation and Voronovskaja kind results with quantitative estimate for the complex genuine Durrmeyer polynomials attached to analytic functions on compact disks are obtained. In this way, we put in evidence the overconvergence phenomenon for the genuine Durrmeyer polynomials, namely the extensions of the approximation properties (with quantitative estimates) from real intervals to compact disks in the complex plane.     

On Rational Interpolation to |x|

We consider Newman-type rational interpolation to |x| induced by arbitrary sets of interpolation nodes, and we show that under mild restrictions on the location of the interpolation nodes, the corresponding sequence of rational interpolants converges to |x|. Date received: August 18, 1995. Date revised: January 10, 1996.     

Interpolatory Pointwise Estimates for Polynomial Approximation

We discuss whether or not it is possible to have interpolatory pointwise estimates in the approximation of a function f∈ C[0,1] , by polynomials. For the sake of completeness, as well as in order to strengthen some existing results, we discuss briefly the situation in unconstrained approximation. Then we deal with positive and monotone constraints where we show exactly when such interpolatory estimates are achievable by proving affirmative results and by providing the necessary counterexamples in all other cases. November 16, 1998. Date revised: July 12, 1999. Date accepted: September 13, 1999.     

Convergence of Rational Interpolants with Preassigned Poles

Let Ω be a domain in the extended complex plane such that ∞∈Ω . Further, let K= C / Ω and, for each n , let Q _n be a monic polynomial of degree n with all its zeros in K . This paper is concerned with whether (Q _n ) can be chosen so that, if f is any holomorphic function on Ω and P _n is the polynomial part of the Laurent expansion of Q _n f at ∞ , then (P _n /Q _n ) converges to f locally uniformly on Ω . It is shown that such a sequence (Q _n ) can be chosen if and only if either K has zero logarithmic capacity or Ω is regular. January 21, 1999. Date accepted: August 17, 1999.     

Constrained Approximation in Banach Spaces

   Abstract. We consider the problem of approximating vectors from a complemented subspace Z ₊ of a Banach space X by the projections onto Z ₊ of vectors from a subspace Y ₊ with a norm constraint on their projections onto the complementary subspace. Sufficient conditions are found for the existence of a unique best approximant and a characterization via a critical point equation is provided, thus extending known results on Hilbert spaces. These results are then applied in the case that X is L ^p (T), where T denotes the unit circle, Z ₊ consists of functions supported on a subset of the circle, and Y ₊ is the corresponding Hardy space.     

Note on the Approximation of Powers of the Distance in Two-Dimensional Domains

Although Newman's trick has been mainly applied to the approximation of univariate functions, it is also appropriate for the approximation of multivariate functions that are encountered in connection with Green's functions for elliptic differential equations. The asymptotics of the real-valued function on a ball in 2-space coincides with that for an approximation problem in the complex plane. The note contains an open problem. May 17, 1999. Date revised: October 20, 1999. Date accepted: March 17, 2000.     

Approximation by boolean sums of positive linear operators III: Estimates for some numerical approximation schemes

In the present note we intröduce and investigate certain sequences of discrete positive linear operators and Boolean sum modifications of them. The mappings considered are obtained by discretizing a class of transformed convolution-type operators using Gaussian quadrature of appropriate order. For our operators and their modifications we prove pointwise Jackson-type theorems involving the first and second order moduli of smoothness, thus providing new and elegant proofs of earlier results by Timan, Telyakowskii, Gopengauz and DeVore. Due to their discrete structure, optimal order of approximation and ease of computation, the operators appear to be useful for numerical approximation. In an intermediate step we solve an old problem in Approximation Theory; its importance was only recently emphasized in a paper of Butzer.     

Convergence Acceleration of Taylor Sections by Convolution

Taylor sections S _n (f) of an entire function f often provide easy computable polynomial approximants of f . However, while the rate of convergence of (S _n (f)) _n is nearly optimal on circles around the origin, this is no longer true for other plane sets as, for example, real compact intervals. The aim of this paper is to construct for certain families of (entire) functions sequences of polynomial approximants which are computable with essentially the same effort as Taylor sections and which have a better rate of convergence on some parts of the plane. The resulting method may be applied, for example, to (modified) Bessel functions, to confluent hypergeometric functions, or to parabolic cylinder functions. October 2, 1997. Date revised: March 12, 1998. Date accepted: April 28, 1998.     

Restricted Nonlinear Approximation

We introduce a new form of nonlinear approximation called restricted approximation . It is a generalization of n -term wavelet approximation in which a weight function is used to control the terms in the wavelet expansion of the approximant. This form of approximation occurs in statistical estimation and in the characterization of interpolation spaces for certain pairs of L _p and Besov spaces. We characterize, both in terms of their wavelet coefficients and also in terms of their smoothness, the functions which are approximated with a specified rate by restricted approximation. We also show the relation of this form of approximation with certain types of thresholding of wavelet coefficients. March 31, 1998. Date accepted: January 28, 1999.