Copositive approximation by rational functions with prescribed numerator degree

The paper proves that, if f（x） ∈ L^p[-1,1],1≤p〈∞ ,changes sign I times in （-1, 1）,then there exists a real rational function r（x） ∈ Rn^（2μ-1）l which is eopositive with f（x）, such that the following Jackson type estimate ｜｜f-r｜｜p≤Cδl^2μωφ（f,1/n）p holds, where μ is a natural number ≥3/2＋1/p, and Cδ is a positive constant depending only on δ.     

Hyperplane projections of the unit ball of ℓ p n

Let B _p ⁿ ={x∈\R ⁿ ;\; \sum _i=1 ⁿ |x _i | ^p ≤ 1} , 1≤ p\le+∈fty . We study the extreme values of the volume of the orthogonal projection of B _p ⁿ onto hyperplanes H\subset \R ⁿ . For a fixed H , we prove that the ratio vol(P _H B _p ⁿ )/ vol(B _p ^n-1 ) is non-decreasing in p∈[1,+∈fty] . Received May 21, 2001, and in revised form September 2, 2001. Online publication December 17, 2001.     

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.     

Automorphic L-Functions in the Weight Aspect

Let S_k(Γ) be the space of holomorphic Γ-cusp forms f(z) of even weight k ≥ 12 for Γ = SL(2, ℤ), and let S_k(Γ)⁺ be the set of all Hecke eigenforms from this space with the first Fourier coefficient a_f(1) = 1. For f ∈ S_k(Γ)⁺, consider the Hecke L-function L(s, f). Let

Duals of holomorphic Besov spaces on the polydisks and diagonal mappings

Let U ⁿ be the unit polydisk in C ⁿ and S be the space of functions of regular variation. Let 1 ≤ p < ∞, ω = (ω ₁, ..., ω _n ), ω _j ∈ S(1 ≤ j ≤ n) and f ∈ H(U ⁿ ). The function f is said to be in holomorphic Besov space B _p (ω) if

Riemann surfaces in fibered polynomial hulls

Let Δ be the closed unit disk in C, let Γ be the circle, let Π: Δ×C→Δ be projection, and letA(Δ) be the algebra of complex functions continuous on Δ and analytic in int Δ. LetK be a compact set in C² such that Π(K)=Γ, and letK _λ≠{w∈C|(λ,w)∈K}. Suppose further that (a) for every λ∈Γ,K _λ is the union of two nonempty disjoint connected compact sets with connected complement, (b) there exists a function Q(λ,w)≠(w-R(λ))²-S(λ) quadratic in w withR,S∈A(Δ) such that for all λ∈Γ, {w∈C|Q(λ,w)=0}υ intK _λ, whereS has only one zero in int Δ, counting multiplicity, and (c) for every λ∈Γ, the map ω→Q(λ,ω) is injective on each component ofK _λ. Then we prove that К/K is the union of analytic disks 2-sheeted over int Δ, where К is the polynomial convex hull ofK. Furthermore, we show that БК/K is the disjoint union of such disks.     

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.     

On one extremal problem for numerical series

Let Γ be the set of all permutations of the natural series and let α = {α _j} _j∈ℕ, ν = {ν_j} _j∈ℕ, and η = {η_j} _j∈ℕ be nonnegative number sequences for which

On the Hausdorff dimensions of certain attractors

For any a,b∈R let ϕ_a,b(x)=ax+b(x∈R). Suppose 0<a<1. Let C_a,b be the generalized a-Cantor set with generating iterated function systme {ϕ_a,0, ϕ_a,b; ϕ_a,l}. Then we prove the Hausdorff dimension of C_a,c² C_{a,c^2 } is \fracln(3 - ?5 - ln2lna\frac{{ln(3 - \sqrt 5 - ln2}}{{lna}} when 0<a≤2 cos 80°.     

Some sharp estimates for the second continuity modulus for periodic functions and for functions extended from a segment

Let C be the space of 2π-periodic continuous real functions with the uniform norm, let H_n be the set of trigonometric polynomials of order not more than n, let ω₂(f) be the second continuity modulus for a function f∈C, and let T_n(f) be the best approximation polynomial of order n for f∈C. Set ; U:C→C; . In this paper, for h sufficiently large we find the values C(U,h) for some positive operators U. For example, C(A₀,h) and C(T₀,h) are found. For n=1,2,3 we find the values for some linear positive operators U:C→H_n. We establish relations between C(T₀,h) and exact constants in the inequality ω₂(f,h₁)≤C(h₁;h)ω₂(f,h) for some h and h₁ such that 0<h<h₁≤π. For a seminorm P invariant with respect to the shift and majorized by the uniform norm, analogs of C(U,h) are estimated from above. We investigate the problem of extension of a function defined on a segment with preservation of the second continuity modulus. The relation

Spherical means and the restriction phenomenon

Let Γ be a smooth compact convex planar curve with arc length dm and let dσ=ψ dm where ψ is a cutoff function. For Θ∈SO (2) set σ_Θ(E) = σ(ΘE) for any measurable planar set E. Then, for suitable functions f in ℝ², the inequality.

Integral inequalities for self-reciprocal polynomials

Let n ≥ 1 be an integer and let P _n be the class of polynomials P of degree at most n satisfying z ⁿ P(1/z) = P(z) for all z ∈ C. Moreover, let r be an integer with 1 ≤ r ≤ n. Then we have for all P ∈ P _n :

The Besov and Triebel-Lizorkin spaces with high order on the Lipschitz curves

The Besov spacesB _p ^α,μ (Γ) and Triebel-Lizorkin spacesF _p ^α,μ (Γ) with high order α∈R on a Lipschitz curve Γ are defined. when 1≤p≤∞, 1≤q≤∞. To compare to the classical case a difference characterization of such spaces in the case |α|<1 is given also. The author is supported in part by the Foundation of Zhongshan University Advanced Research Centre and NSF of China.     

Sums of free membrane eigenvalues

LetD be a simply connected domain in the plane which is the image of the unit disk under a normalized conformal mapping, and let μ₁=0<μ₂≤μ₃ be the free membrane eigenvalues. We prove that for anyn≥2,

Weighted estimates of Calderon’s commutators on complex plane

Let V(z) be a complex-valued function on the complex plane ℂ satisfying the condition |V(z) − V(ζ)| ≤ w|z − ζ|, z, ζ ε ℂ; ω ≥ 0 be a Muckenhoupt A _p weight on ℂ; i.e., the inequality

The region of values of a system of functionals in the class of typically real functions

Let T_R be the class of functions that are regular and typically real in the disk E={z:⋱z⋱<1}. For this class, the region of values of the system {f(z₀), f(r)} for z₀ ∈ ℝ, r∈(-1,1) is studied. The sets D_r={f(z₀):f∈T_R, f(r)=a} for −1≤r≤1 and Δ_r={(c₂, c₃): f ∈ T_R, −f(−r)=a} for 0<r≤1 are found, where aε(r(1+r)⁻², r(1−r)⁻²) is an arbitrary fixed number. Bibliography: 11 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 226, 1996, pp. 69–79.     

Polynomial Approximation on Convex Subsets of R n

Let K be a closed bounded convex subset of R ⁿ ; then by a result of the first author, which extends a classical theorem of Whitney there is a constant w _m (K) so that for every continuous function f on K there is a polynomial ϕ of degree at most m-1 so that |f(x)-ϕ(x)|≤ w_m(K) sup _{x,x+mh∈ K} |Δ_h^m(f;x)|. The aim of this paper is to study the constant w _m (K) in terms of the dimension n and the geometry of K . For example, we show that w ₂ (K)≤ (1/2) [ log ₂ n]+5/4 and that for suitable K this bound is almost attained. We place special emphasis on the case when K is symmetric and so can be identified as the unit ball of finite-dimensional Banach space; then there are connections between the behavior of w _m (K) and the geometry (particularly the Rademacher type) of the underlying Banach space. It is shown, for example, that if K is an ellipsoid then w ₂ (K) is bounded, independent of dimension, and w ₃ (K)\sim log n . We also give estimates for w ₂ and w ₃ for the unit ball of the spaces l _p ⁿ where 1≤ p≤∈fty. September 24, 1997. Dates revised: January 18, 1999 and June 10, 1999. Date accepted: June 25, 1999.     

On Approximation by Reciprocals of Spherical Harmonics in L p Norm

Let S^1-1,q≥2,be the surface of the unit sphere in the Euclidean space R^1,f（x）∈L^p（S^q-1）,f（x）≥0,f absohutely unegual to 0,1≤p≤＋∞,Then,it is proved in the present paper that there is a spherical harmonics PN（x） of order≤N and a constant C〉0 such that where ω（f,δ）L^p=sup 0〈t≤δ‖St（f）-f‖L^p is a kind of moduli of continuity and ^‖f-1/PN‖L^p≤Cω（f,N^-1）L^p,St（f,μ）=1/｜S^q-2｜Sin^2λt ∫-μμ’=t f（μ＇）dμ＇ is a translation operator.     

Are the degrees of best (co)convex and unconstrained polynomial approximation the same?

Let ℂ[−1,1] be the space of continuous functions on [−,1], and denote by Δ² the set of convex functions f ∈ ℂ[−,1]. Also, let E _n (f) and E _n ⁽²⁾ (f) denote the degrees of best unconstrained and convex approximation of f ∈ Δ² by algebraic polynomials of degree < n, respectively. Clearly, En (f) ≦ E _n ⁽²⁾ (f), and Lorentz and Zeller proved that the inverse inequality E _n ⁽²⁾ (f) ≦ cE _n (f) is invalid even with the constant c = c(f) which depends on the function f ∈ Δ². In this paper we prove, for every α > 0 and function f ∈ Δ², that

Pseudodifferential Operators Approach to Singular Integral Operators in Weighted Variable Exponent Lebesgue Spaces on Carleson Curves

The main results of the paper are: (1) The boundedness of singular integral operators in the variable exponent Lebesgue spaces L ^p(·)(Γ, w) on a class of composed Carleson curves Γ where the weights w have a finite set of oscillating singularities. The proof of this result is based on the boundedness of Mellin pseudodifferential operators on the spaces L^p(·)(\mathbbR ₊,dm){L^{p(\cdot )}(\mathbb{R} _{+},d\mu)} where dμ is an invariant measure on multiplicative group ${\mathbb{R}_{+}=\left\{r\in \mathbb{R}:r >0 \right\}}${\mathbb{R}_{+}=\left\{r\in \mathbb{R}:r >0 \right\}}. (2) Criterion of local invertibility of singular integral operators with piecewise slowly oscillating coefficients acting on L ^p(·)(Γ, w) spaces. We obtain this criterion from the corresponding criteria of local invertibility at the point 0 of Mellin pseudodifferential operators on \mathbbR₊{\mathbb{R}_{+}} and local invertibility of singular integral operators on \mathbbR{\mathbb{R}}. (3) Criterion of Fredholmness of singular integral operators in the variable exponent Lebesgue spaces L ^p(·)(Γ, w) where Γ belongs to a class of composed Carleson curves slowly oscillating at the nodes, and the weight w has a finite set of slowly oscillating singularities.