InfiniteB 2[g] sequences

We exhibit, for any integerg≥2, an infinite sequenceA ∈B ₂[g] such that . Furthermore, we obtain better estimates for small values ofg. For instance, we exhibit an infinite sequenceA ∈B ₂[2] such that Partially supported by Colciencias, Colombia and Universidad del Cauca.     

A strong law of large numbers for nonexpansive vector-valued stochastic processes

A mapT: X→X on a normed linear space is callednonexpansive if ‖Tx-Ty‖≤‖x-y‖∀x, y∈X. Let (Ω, Σ,P) be a probability space, an increasing chain of σ-fields spanning Σ,X a Banach space, andT: X→X. A sequence (x_n) of strongly -measurable and stronglyP-integrable functions on Ω taking on values inX is called aT-martingale if . LetT: H→H be a nonexpansive mapping on a Hilbert spaceH and let (x_n) be aT-martingale taking on values inH. If then x _n /n converges a.e. LetT: X→X be a nonexpansive mapping on ap-uniformly smooth Banach spaceX, 1<p≤2, and let (x_n) be aT-martingale (taking on values inX). If then there exists a continuous linear functionalf∈X ^* of norm 1 such that If, in addition, the spaceX is strictly convex, x _n /n converges weakly; and if the norm ofX ^* is Fréchet differentiable (away from zero), x _n /n converges strongly. This work was supported by National Science Foundation Grant MCS-82-02093     

On exact Bernstein-type inequalities for splines

We establish new exact Bernstein-type and Kolmogorov-type inequalities. The main result of this work is the following exact inequality for periodic splines s of order r and defect 1 with nodes at the points iπ/n, i ∈ Z, n ∈ N:

Vive la différence III

We show that, consistently, there is an ultrafilter on ω such that if N _n^ℓ = (P _n^ℓ ∪ Q _n^ℓ, P _n^ℓ, Q _n^ℓ, R _n^ℓ) (for ℓ = 1, 2, n < ω), P _n^ℓ ∪ Q _n^ℓ ⊆ ω, and are models of the canonical theory t ^ind of the strong independence property, then every isomorphism from onto is a product isomorphism. The first version of this work done in 93; First typed: May 1993. This research was partially supported by the United States-Israel Binational Science Foundation. Publication 509     

Boundedness and compactness of the embedding between spaces with multiweighted derivatives when 1 ⩽ <Emphasis Type="Italic">q</Emphasis> < <Emphasis Type="Italic">p</Emphasis> < ∞

We consider a new Sobolev type function space called the space with multiweighted derivatives $ W_{p,\bar \alpha }^n $ W_{p,\bar \alpha }^n , where $ \bar \alpha $ \bar \alpha = (α ₀, α ₁,…, α _n ), α _i ∈ ℝ, i = 0, 1,…, n, and $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} ,

Almost orthogonal submatrices of an orthogonal matrix

Lett≥1 and letn, M be natural numbers,n<M. Leta=(a _i,j ) be ann xM matrix whose rows are orthonormal. Suppose that the ℓ₂-norms of the columns ofA are uniformly bounded. Namely, for allj Using majorizing measure estimates we prove that for every ε>0 there exists, a setI ⊃ {1,…,M} of cardinality at most such that the matrix , whereA _I =(a _i,j ) _j∈I , acts as a (1+ε)-isomorphism from ℓ ₂ ⁿ into . Research supported in part by a grant of the US-Israel BSF. Part of this research was performed when the author held a postdoctoral position at MSRI. Research at MSRI was supported in part by NSF grant DMS-9022140.     

A Supplement to the Baum-Katz-Spitzer Complete Convergence Theorem

Let {X, Xn; n≥ 1} be a sequence of i.i.d. Banach space valued random variables and let {an; n ≥ 1} be a sequence of positive constants such that an↑∞ and 1〈 lim inf n→∞ a2n/an≤lim sup n→∞ a2n/an〈∞ Set Sn=∑i=1^n Xi,n≥1.In this paper we prove that ∑n≥1 1/n P（｜｜Sn｜｜≥εan）〈∞ for all ε〉0 if and only if lim n→∞ Sn/an=0 a.s. This result generalizes the Baum-Katz-Spitzer complete convergence theorem. Combining our result and a corollary of Einmahl and Li, we solve a conjecture posed by Gut.     

A generalization of the Busemann-Petty problem on sections of convex bodies

It is proved that for arbitrarymεℕ and for a sufficiently nontrivial compact groupG of operators acting on a “typical”n-dimensional quotientX _n ofl ₁ ^m withm=(1+δ)n, there is a constantc=c(δ) such that Supported in part by KBN grant no. 2 P03A 034 10.     

Minimal rates of entropy convergence for completely ergodic systems

If (X,T) is a completely ergodic system, then there exists a positive monotone increasing sequence {a _n } _n ^1/∞ with lim _n →∞a _n =∞ and a positive concave functiong defined on [1, ∞) for whichg(x)/x ² isnot integrable such that for all nontrivial partitions α ofX into two sets.     

An optimal theorem for the spherical maximal operator on the Heisenberg group

Let be the Heisenberg group and μ _r be the normalized surface measure on the sphere of radiusr in ℂ ⁿ . Let . We prove an optimalL ^p-boundedness result for the spherical maximal functionMf, namely we prove thatM is bounded onL ^p(I ⁿ ) if and only ifp>2n/2n−1.     

On the rates of the other law of the logarithm

Let X, X1 , X2 , . . . be i.i.d. random variables, and set Sn = X1 +···+Xn , Mn = maxk≤n |Sk|, n ≥1. Let an = o( (n)(1/2)/logn). By using the strong approximation, we prove that, if EX = 0, VarX = σ2 0 and E|X| 2+ε ∞ for some ε 0, then for any r 1, lim ε1/(r-1)(1/2) [ε-2-(r-1)]∞∑n=1 nr-2 P{Mn ≤εσ (π2n/(8log n))(1/2) + an } = 4/π . We also show that the widest a n is o( n(1/2)/logn).     

Reverse inequalities

There are reverse inequalities for square functions of differences arising in ergodic theory and differentiation of functions. For example, it is shown that if A_n is the usual average in ergodic theory, and (n_k∶k=1,2,3,...) is an increasing lacunary sequence with no non-trivial common divisor, then one has for any p, 1<p<∞, there is a constant C_p such that for all f∃ L_p(X),

Inequalities for derivatives of functions in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

  We obtain a new sharp inequality for the local norms of functions x ∈ L _{∞, ∞} ^r (R), namely,

Proof of a hypercontractive estimate via entropy

Consider the probability spaceW={−1, 1} ⁿ with the uniform (=product) measure. Letf: W →R be a function. Letf=Σf _IX_I be its unique expression as a multilinear polynomial whereX _I=Π _i∈I x _i. For 1≤m≤n let =Σ_|I|=m f _IX_I. LetT _ɛ (f)=Σf _Iɛ^|I| X _I where 0<ɛ<1 is a constant. A hypercontractive inequality, proven by Bonami and independently by Beckner, states that

On the product of the distances of a point from the vertices of a polytope

Letx ₁,...,x _m be points in the solid unit sphere ofE _n and letx belong to the convex hull ofx ₁,...,x _m. Then . This implies that all such products are bounded by (2/m) ^m (m −1) ^m−1. Bounds are also given for other normed linear spaces. As an application a bound is obtained for |p(z ₀)| where andp′(z ₀)=0.     

On estimation of a density and its derivatives

Summary Letf _n ^(p) be a recursive kernel estimate off ^(p) thepth order derivative of the probability density functionf, based on a random sample of sizen. In this paper, we provide bounds for the moments of and show that the rate of almost sure convergence of to zero isO(n ^−α), α<(r−p)/(2r+1), iff ^(r),r>p≧0, is a continuousL ₂(−∞, ∞) function. Similar rate-factor is also obtained for the almost sure convergence of to zero under different conditions onf. This work was supported in part by the Research Foundation of SUNY.     

Precise asymptotics in Chung’s law of the iterated logarithm

Let X, X1, X2,... be i.i.d, random variables with mean zero and positive, finite variance σ^2, and set Sn = X1 ＋... ＋ Xn, n≥1. The author proves that, if EX^2I{｜X｜≥t} = 0（（log log t）^-1） as t→∞, then for any a〉-1 and b〉 -1,lim ε↑1/√1＋a（1/√1＋a-ε）b＋1 ∑n=1^∞（logn）^a（loglogn）^b/nP{max κ≤n｜Sκ｜≤√σ^2π^2n/8loglogn（ε＋an）}=4/π（1/2（1＋a）^3/2）^b＋1 Г（b＋1）,whenever an = o（1/log log n）. The author obtains the sufficient and necessary conditions for this kind of results to hold.     

On the sum Σ k≡r(modm) ( k n ) and related congruencesand related congruences

In this paper we study [ _r ⁿ ] _m =Σ _k≡r(modm) ( _k ⁿ ) wherem>0,n≥0 andr are integers. We show that [ _r ⁿ ] _m (m>2) can be expressed in terms of some linearly recurrent sequences with orders not exceeding ϕ(m)/2. In particular, we determine [ _r ⁿ ] ₁₂ explicitly in terms of first order and second order recurrences. It follows that for any primep>3 we have and . The research is supported by the Teaching and Research Award Program for Outstanding Young Teachers in Higher Education Institutions of MOE, and the National Natural Science Foundation of P. R. China.     

Small gaps between primes

Combining Goldston-Yildirim’s method on k-correlations of the truncated von Mangoldt function with Maier’s matrix method, we show that for all r ≧ 1 where p _n denotes the nth prime number and γ is Euler’s constant. This is the best known result for any r ≧ 11.      

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.