SOME CONVERSE RESULTS ON ONESIDED APPROXIMATION ： JUSTIFICATIONS

The present paper deals with best onesided approximation rate in Lp spaces ^~En（f）Lp of f∈C2π.Although it is clear that the estimate ^~E(f)Lp≤C‖f‖Lp cannot be correct for all f∈L^p2π in case p＜∞, the question whether ~En(f)Lp≤Cω(f,n^-l)Lp or ^~En(f)Lp≤CEn(f)Lp holds for f∈ C2π remains totally untouched.Therefore it forms a basic problem to justify onesided approximation. The present paper will provide an answer to settle down the basis.     

The spectrum of compact hypersurface in sphere

Let M be a compact minimal hypersurface of sphere Sn 1(1). Let (M) be H (r)-torus of sphere Sn 1 (1).Assume they have the same constant mean curvature H, the result in [1] is that ifSpec0(M, g) =Spec0((M), g),then for 3≤ n ≤ 6, r2≤n-1/n or n ≥ 6, r2 ≥ n-1, then M is isometric to (M). We improved the result and prove that: if Spec0(M,g) =Spec0((M),g), then M is isometric to (M). Generally, if Specp(M,g) =Specp((M),g), here p is fixed and satisfies that n(n - 1) ≠ 6p(n - p), then M is isometric to (M).     

On the Corona problem

We show that if f₁, f₂ are bounded holomorphic functions in the unit ball of ℂⁿ such that , |f₁(z)|² + |f₂(z)2|² ≥ δ² >; 0, then any functionh in the Hardy space ,p < +∞ can be decomposed ash = f₁h₁ + f₂h₂ with . The Corona theorem in would be the same result withp = +∞ and this question is still open forn ≳-2, but the preceding result goes in this direction.     

Compact Hankel operators with conjugate analytic symbols

In 1986 S. Axler [3] proved that forf∈L _a ² the Hankel operator is compact if and only iff is in the little Bloch space {itB}{in0}. In this note we show that the same is true for , 1<p<∞. Moreover we prove that is ⋆-compact if and only if as |z|→1⁻.     

H p (Rn) is equidistributed withL p (Rn)

Let 0<p<∞. LetH ^p (R ⁿ) be the real variable Hardy spaces defined by Stein and Weiss. Let L^p(R ⁿ) be the usual Lebesgue space. It is shown that forf∈L ^p there is an with the distribution functions of |f| and identical and . The converse is trivially true. Research partially supported by NSF Grant #MCS77-02213.     

Equivariant D-modules attached to nilpotent orbits in a semisimple Lie algebra

Let _u be a compact Lie algebra and let _u be its complexification. Let ζ^−1/2 be the inverse on the set of regular elements of _u of a square root of the discriminant of . Generalizing a result of W. Lichtenstein in the case _u = (n, ℂ) or (nℝ), we prove that ∂(q).ζ^1/2 is non zero for all harmonic polynomialsq ∈S( ) \ {0}. This fact is deduced from results about equivariantD-modules supported on the nilpotent cone of .     

Necessary and sufficient conditions for inclusion relations for absolute summability

We obtain a set of necessary and sufficient conditions for to imply for 1 <k ≤ s < ∞. Using this result we establish several inclusion theorems as well as conditions for the equivalence of and .     

On absolute summability factors of infinite series

In this paper using δ-quasi-monotone sequences a theorem on summability factors of infinite series, which generalizes a theorem of Bor [4] on summability factors of infinite series, is proved. Also, in the special case this theorem includes a result of Mazhar [8] on |C, 1|_k summability factors.     

Some inequalities for polynomials satisfying p(z)≡znp(1/z)

Let be a polynomial degreen and let . Then according to Bernstein’s inequality ‖p’‖≤n‖p‖. It is a well known open problem to obtain inequality analogous to Bernstein’s inequality for the class II_n of polynomials satisfying p(z)≡zⁿp(1/z). Here we obtain an inequality analogous to Bernstein’s inequality for a subclass of II_n. Our results include several of the known results as special cases.     

Biorthogonal bases and multiple interpolation in weighted Hardy spaces

Let {z_k=x_k+iy_k} be a sequence on upper half plane and {s_i} be the number of appearence of z_k in {z₁,z₂,...,z_k}. Suppose sup s_i<+∞. Let ω(x) be a weight belonging to A^∞ and . We Consider the weighted Hardy space and operator T_p mapping f(z)∈H _+w ^p into a sequence defined by , 0<p≤+∞, j=1,2,.... Then T_p(H _+w ^p )=l^p if and only if {z_k} is uniformly separated. Besides the effective solution for interpolation is obtained. Supported by National Science Foundation of China and Shanghai Youth Science Foundation     

Inequalities for a distribution with monotone hazard rate

Summary LetX be a positive random variable with the survival function and the densityf. LetX have the moments μ=E(X) and μ₂=E(X ²) and put ε=|1-μ₂/2μ²|. Put and . It is proved that the following inequalities hold: , for allx>0, ifq(x) is monotone and that , ifq ₁ (x) is monotone. It is also shown that Brown's inequality which holds wheneverq ₁ (x) is increasing is not valid in general whenq ₁ is decreasing. The Institute of Statistical Mathematics     

De Bruijn’s question on the zeros of Fourier transforms

Letf(z) be a real entire function of genus 1^*, δ≥0, and suppose that for each ε>0, all but a finite number of the zeros off(z) lie in the strip |Imz| ≤δ+ε. Let λ be a positive constant such that . It is shown that for each ε>0, all but a finite number of the zeros of the entire function lie in the strip and if Δ² < 2λ, then all but a finite number of the zeros of e^−λD2 f(z) are real and simple. As a consequence, de Bruijn's question whether the functions e^γ t ²,λ>0, are strong universal factors is answered affirmatively. The authors wish to acknowledge the financial support of the Korea Research Foundation made in the program year of (1998–2000).     

Unconstrained and convex polynomial approximation inC[−1,1]

Some estimates for unconstrained and convex polynomial approximation in the uniform metric are obtained. These results are given in terms of the Ditzian-Totik moduli of smoothness , ≤1 with . The construction of the approximating polynomials does not depend on λ.     

Functional Identities on Upper Triangular Matrix Algebras

Let , be the algebra of upper triangular r×r matrices over field aF. We describe multilinear maps , where n≤r, such that [f(A,...,A), A]=0 for all , provided that |F| >n + 1. As an application of the results obtained, we describe linear automorphisms θ of such that [θ(A²), θ(A)]=0 for all . Translated from Itogi Nauki i Tekhniki, Seriya Sovremennaya Matematika i Ee Prilozheniya. Tematicheskie Obzory. Vol. 74, Algebra-15, 2000.     

Cofinality of normal ideals on<Emphasis Type="Italic">P</Emphasis><Subscript>κ</Subscript>(λ) II

For an idealJ on an infinite setX with add(J)=κ, let be the smallest size of any subfamilyY ofJ with the property that any member ofJ can be covered by less than κ members ofY. We study the value of forA in , where denotes the smallest [δ]^<θ ideal onP _κ(λ). We also discuss the problem of whether there exists a setA such that , or even . Some of the material in this paper originally appeared as part of the author's doctoral dissertation completed at the Université de Caen, 1998. Partially supported by the Israel Science Foundation. Publication 813.     

Localization type Berezin-Toeplitz

Let II be a bounded symmetric domain, ω ⇉ I a bounded subdomain, and let denote the weighted Bergman space of holomorphic square integrable functions on I. Let T_{λ, ω} be the Berezin-Toeplitz operator on with symbol χ_Ω and k^th eigenvalue λ _k (T _λ,Ω). We prove that for δ₁ sufficiently close to 0 and δ₂ sufficiently close to 1 the estimate

On Sikkema-Kantorovič polynomials of order K

Let a_n≥0 and F(u)∈C [0,1], Sikkema constructed polynomials: , ifα _n ≡0, then B_n (0, F, x) are Bernstein polynomials. Let , we constructe new polynomials in this paper: Q _n ^(k) (α _n ,f(t))=d ^k /dx ^k B _n+k (α _n ,F _k (u),x), which are called Sikkema-Kantorovic polynomials of order k. Ifα _n ≡0, k=1, then Q_n ⁽¹⁾ (0, f(t), x) are Kantorovič polynomials P_n(f). Ifα _n =0, k=2, then Q_n ⁽²⁾, (0, f(t), x) are Kantorovič polynomials of second order (see Nagel). The main result is: Theorem 2. Let 1≤p≤∞, in order that for every f∈L^P [0, 1], , it is sufficient and necessary that , § 1. Let f(t) de a continuous function on [a, b], i. e., f∈C [a, b], we define^{[1–2],[8–10]}: . As usual, for the space L^p [a,b](1≤p<∞), we have and L[a, b]=l¹[a, b]. Letα _n ⩾0and F(u)∈C[0,1],Sikkema-Bernstein polynomials ^{[3] [4]}. The author expresses his thanks to Professor M. W. Müller of Dortmund University at West Germany for his supports.     

Integration of a zonal function related to the local harmonic analysis on spheres

In studying local harmonic analysis on the sphere Sⁿ, R.S. Strichartz introduced certain zonal functions ϕ₂(d(x, y)) which satisfy the equation , where Δ_z is the Laplace operator and δ_−y the Dirac measure. The explicit expression of the constant a (λ) is given by R.S. Strichartz in the case that n is odd. Appyling the Apéry identity, we show in this paper that for n even, where w_n-1 is the surface area of S^n-1, . The author's research was supported by a grant from NSFC.     

Exact constants in inequalities of the jackson type for quadrature formulas

We prove that if is the error of a simple quadrature formula and ω(ε, δ)₁ is the integral modulus of continuity, then, for any δ ≥/π andn,r = 1, 2, …, the following equality is true: whereD _r is the Bernoulli kernel.