Discretization and best approximation in Besov spaces

In this paper we prove a theorem about existence of best approximation in a class of spaces involving Besov spaces, via a discretization technique. It is a consequence of this theorem that rational functions and exponencial sums are proximinal subsets of B _∞,q ^a (π). It is also proved the proximinality of R _m ⁿ [a, b] in B _p,q ^a (π) for arbitrary p,q and a.     

Elementary aspects ofB p,q s (Kn) andF p,q s (Kn) spaces

In the first part of this paper, we discuss some properties of S^Ω(K_n), L _P ^Ω (K_n) and L _P ^Ω (K_n;l_q) spaces, give the Plancherel-Polya-Nikol’skij type inequalities and some multiplier theorems. In the second part of this paper, using the results of Part I we prove some preliminary results for the spaces B _p,q ^s (K_n) and F _p,q ^s (K_n).     

The weak Bieberbach theorem for crystallographic groups on pseudo-Euclidean spaces

The weak Bieberbach theorem states that each crystallographic group on a Euclidean space uniquely determines its translation lattice as an abstract group. Garipov proved in 2003 that the same holds for crystallographic groups on Minkowski spaces and asked whether a similar claim holds in the pseudo-Euclidean spaces ℝ ^p,q . We prove that the weak Bieberbach theorem holds for crystallographic groups on pseudo-Euclidean spaces ℝ ^p,q with min{p, q} ≤ 2. For min{p, q} ≥ 3 we construct examples of crystallographic groups with two distinct lattices exchanged by a suitable automorphism of the group. For crystallographic groups with two distinct isomorphic pseudo-Euclidean lattices we also prove that the coranks of their intersection in these lattices can take arbitrary values greater than 2 with the exception of 4.     

Representation,interpolation, and reiteration theorems for generalized approximation spaces

We show that the representation theorem for classical approximation spaces can be generalized to spaces A(X,l ^q (ℬ))={f∈X:{E _n (f)}∈l ^q (ℬ)} in which the weighted l ^q -space l ^q (ℬ) can be (more or less) arbitrary. We use this theorem to show that generalized approximation spaces can be viewed as real interpolation spaces (defined with K-functionals or main-part K-functionals) between couples of quasi-normed spaces which satisfy certain Jackson and Bernstein-type inequalities. Especially, interpolation between an approximation space and the underlying quasi-normed space leads again to an approximation space. Together with a general reiteration theorem, which we also prove in the present paper, we obtain formulas for interpolation of two generalized approximation spaces. Received: December 6, 2001; in final form: April 2, 2002?Published online: March 14, 2003     

Spaces of functions with dominating mixed properties of smoothness as <Emphasis Type="Italic">B</Emphasis>-products

It is proved, that certain known function spaces (such as S _p,q ^s B, S _p,q ^s F spaces of functions of mixed smoothness and approximation spaces A _p,q ^s ) can be characterized in terms of spaces of Sobolev-Liouville and Nikolskii-Besov type spaces and so called “B-products”. The representation theorems of S _p,q ^s B spaces are proved using B-products and covering method. It is proved that space S _p,q ^s B is a “real” method interpolation space for the pair of corresponding spaces of Nikolskii-Besov type.     

Besov spaces andK-functionals inL p, 0<p<1*

We investigate Besov spaces and their connection with trigonometric polynomial approximation inL _p[−π,π], algebraic polynomial approximation inL _p[−1,1], algebraic polynomial approximation inL _p(S), and entire function of exponential type approximation inL _p(R), and characterizeK-functionals for certain pairs of function spaces including (L _p[−π,π],B _s ^a(L _p[−π,π])), (L _p(R),_s ^a(L_p(R))), , and , where 0<s≤∞, 0<p<1,S is a simple polytope and 0<α<r. This project is supported by the National Science Foundation of China.     

On some new generalized difference sequence spaces defined by a sequence of moduli

In this paper, we define the new generalized difference sequence spaces [V, λ, F, p, q]₀(Δ _v ^m ), [V, λ, F, p, q]₁(Δ _v ^m ) and [V, λ, F, p, q]_∞(Δ _v ^m ). We also study some inclusion relations between these spaces.     

Recovery of band limited functions via cardinal splines

The main result of this paper asserts that if a function f is in the class B_π,p, 1 <p < ∞; that is, those p-integrable functions whose Fourier transforms are supported in the interval [ - π, π], then f and its derivatives f^(j) j = 1, 2, …, can be recovered from its sampling sequence{f(k)} via the cardinal interpolating spline of degree m in the metric ofL _q(ℝ)), 1 <p=q < ∞, or 11 <p=q < ⩽ ∞.     

Finite groups with seminormal Sylow subgroups

In this paper, we prove the following theorem： Let p be a prime number, P a Sylow psubgroup of a group G and π = π（G） ／ {p}. If P is seminormal in G, then the following statements hold： 1） G is a p-soluble group and P＇ ≤ Op（G）; 2） lp（G） ≤ 2 and lπ（G） ≤ 2; 3） if a π-Hall subgroup of G is q-supersoluble for some q ∈ π, then G is q-supersoluble.     

Best N Term Approximation Spaces for Tensor Product Wavelet Bases

We consider best N term approximation using anisotropic tensor product wavelet bases ("sparse grids"). We introduce a tensor product structure ⊗_q on certain quasi-Banach spaces. We prove that the approximation spaces A^α_q(L₂) and A^α_q(H¹) equal tensor products of Besov spaces B^α_q(L_q), e.g., A^α_q(L₂([0,1]^d)) = B^α_q(L_q([0,1])) ⊗_q · ⊗_q B^α_{q · ·}(L_q([0,1])). Solutions to elliptic partial differential equations on polygonal/polyhedral domains belong to these new scales of Besov spaces.     

A discrete characterization of Besov spaces

The characterization of isotropic Besov spaces B _p,q ^a (I^d) for a>d/p in terms of progressive differences of a function on dyadic points is obtained. Moreover, for with a_i>1/p, an analogous characterization of anisotropic Besov spaces is presented. This work was supported by KBN grant 2 P301 019 06.     

The Fourier transform of order statistics with applications to Lorentz spaces

We present a formula for the Fourier transforms of order statistics in ℝ ⁿ showing that all these Fourier transforms are equal up to a constant multiple outside the coordinate planes in ℝ ⁿ . Fora ₁≥...≥a _n≥0 andq>0, denote by ℓ _w,q ⁿ then-dimensional Lorentz space with the norm ‖(x ₁,...,x _n)‖=(a ₁(x ₁ ^* ) ^q +...+a _n(x _n ^* ) ^q )^1/q , where (x ₁ ^* ,...,x _n ^* ) is the non-increasing permutation of the numbers |x ₁|,...,|x _n|. We use the above mentioned formula and the Fourier transform criterion of isometric embeddability of Banach spaces intoL _q [10] to prove that, forn≥3 andq≤1, the space ℓ _w,q ⁿ is isometric to a subspace ofL _q if and only if the numbersa ₁,...,a _n form an arithmetic progression. Forq>1, all the numbersa _i must be equal so that ℓ _w,q ⁿ = ℓ _q ⁿ . Consequently, the Lorentz function spaceL _w,q(0, 1) is isometric to a subspace ofL _q if and only ifeither 0<q<∞ and the weightw is a constant function (so thatL _w,q=L_q),or q≤1 andw(t) is a decreasing linear function. Finally, we relate our results to the theory of positive definite functions. Both authors were supported in part by the NSF Workshop in Linear Analysis and Probability held at Texas A&M University in August 1993. The work was done during the first author’s visit to Texas A&M University.     

Almost simple groups with socle 3D4(q) act on finite linear spaces

After the classification of flag-transitive linear spaces, attention has now turned to line-transitive linear spaces. Such spaces are first divided into the point-imprimitive and the point-primitive, the first class is usually easy by the theorem of Delandtsheer and Doyen. The primitive ones are now subdivided, according to the O’Nan-Scotte theorem and some further work by Camina, into the socles which are an elementary abelian or non-abelian simple. In this paper, we consider the latter. Namely, T ≤ G ≤ Aut(T) and G acts line-transitively on finite linear spaces, where T is a non-abelian simple. We obtain some useful lemmas. In particular, we prove that when T is isomorphic to ³ D ₄(q), then T is line-transitive, where q is a power of the prime p.     

On (N, p, q) summability factors of infinite series

In this paper a necessary and sufficient condition has been obtained for Σa_n∈_n to be summable |N, q| whenever Σa_n is bounded (N, p, q).     

Boundedness of an oscillating multiplier on Triebel-Lizorkin spaces

Abstract In this paper, we study Triebel-Lizorkin space estimates for an oscillating multiplier mΩ,α,β. This operator was initially studied by Wainger and by Fefferman-Stein in the Lebesgue spaces. We obtain the boundedness results on the Triebel-Lizorkin space Fpα,q（R^n） for different p, q.     

Finite solvable groups in which the Sylow <Emphasis Type="Italic">p</Emphasis>-subgroups are either bicyclic or of order <Emphasis Type="Italic">p</Emphasis><Superscript>3</Superscript>

All groups considered in this paper will be finite. Our main result here is the following theorem. Let G be a solvable group in which the Sylow p-subgroups are either bicyclic or of order p ³ for any p ∈ π(G). Then the derived length of G is at most 6. In particular, if G is an A₄-free group, then the following statements are true: (1) G is a dispersive group; (2) if no prime q ∈ π(G) divides p ² + p + 1 for any prime p ∈ π(G), then G is Ore dispersive; (3) the derived length of G is at most 4.     

A(α)-acceptability of pade approximations to function exp (Q)

In this paper, a necessary and sufficient condition of A(a)-acceptability for rational approximations to the functionexp(q) and some sufficient conditions to guarantee A(α)-acceptability of Padé approximations[^(R)]_mⁿ (q)\hat R_m^n (q) to the functionexp(q) are given, where a ∈(0,π/2), n≤m,m≥2. Furthermore, it is proved that the condition of A(α)-acceptability of rational approximations toexp(q) is equivalent to the nonnegatively of a real polynomial in interval (−∞,0). Finally, we prove that[^(R)]₄¹ (q)\hat R_4^1 (q) is A(π/3)-acceptable. Based on this conclusion, two A(π/3)-stable multiderivative (hybrid) one-step methods are constructed.     

Doubly Invariant Submodules in L �� -Spaces

A classical theorem of Wiener (Ann Math 33:1–100, 1932) on the form of a doubly invariant subspace of the shift operator in L ² over (-π, π] is generalized in three directions: The interval (-π, π] is replaced by a locally compact abelian group, L ² is replaced by L^a, a ? (0, ￥){L^{\alpha}, \alpha \in (0, \infty)}, and the measure as well as the functions of L ^α may be operator-valued.     

Monotone factors of I.I.D. processes

LetB(p) andB(q) be Bernoulli shifts on {0, 1,...,d - 1}^ℤ. Ifh(p)>h(q), it is a classical theorem of Sinai that there is a factor map takingB(p) toB(q). If, in addition,p stochastically dominatesq, we can ask whether there is such a factor map ϕ which is monotone: ϕ(x) _i≤x_i for each coordinatei of almost every pointx. Here we show that there is a monotone finitary code fromB(p) toB(q) in the case whereB(q) is a shift on two symbols.     

An off-diagonal Marcinkiewicz interpolation theorem on Lorentz spaces

Let (X, μ) be a measure space. In this paper, using some ideas from Grafakos and Kalton, the authors establish an off-diagonal Marcinkiewicz interpolation theorem for a quasilinear operator T in Lorentz spaces L ^p,q (X) with p, q ∈ (0,∞], which is a corrected version of Theorem 1.4.19 in [Grafakos, L.: Classical Fourier Analysis, Second Edition, Graduate Texts in Math., No. 249, Springer, New York, 2008] and which, in the case that T is linear or nonnegative sublinear, p ∈ [1,∞) and q ∈ [1,∞), was obtained by Stein and Weiss [Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press, Princeton, N.J., 1971].