Discrete characterization of the Paley-Wiener space with several variables

In this paper, we obtain a characterization of the Paley-Wiener space with several variables, which is denoted byB _{π, p} (R ⁿ ), 1≤p<∞, i.e., for 1<p<∞,B _{π, p} (R ⁿ ) is isomorphic tol _p (Z ⁿ ), and forp=1,B _{π, 1} (R ⁿ ) is isomorphic to the discrete Hardy space with several variables, which is denoted byH(Z ⁿ ). This project is supported by the National Natural Science Foundation of China (19671012) and Doctoral Programme Institution of Higher Education Foundation of Chinese Educational Committee and supported by Youth Foundation of Sichuan.     

An extension of a result of ribe

It is proved that for every 1≦p<∞, 1≦q<∞ and for every sequence {p _n}, 1≦p _n<∞,p _n→p, the spaceX=(Σ⊕l _{p n}) _q (resp.U=(Σ⊕L _{p n}(0, 1)) _q ) is uniformly homeomorphic toX⊕l _p (resp.U⊕L _p(0, 1)). This extends Ribe’s result from the casep=1 to generalp<∞ and thus provides examples of uniformly convex, uniformly homeomorphic Banach spaces which are not Lipschitz equivalent.     

Unconditional and symmetric sets inn-dimensional normed spaces

Isoperimetric inequalities are used to obtain measure estimates on almost constancy sets of functions on product spaces. These are applied to produce almost unconditional or symmetric block sequences from given sequences. Their length, which is (logn)^1/2 in the general case, improves ton ^a where a cotype condition is imposed or when the given sequences arep-type attaining for somep<2. In thep-type attaining case, block sequences (1+ε)-equivalent to the unit vector basis ofl _p ^m can be obtained when log logm ∼ log logn. Research supported in part by NSF Grant MCS 7902489.     

Symmetric block bases of sequences with large average growth

We show that if 0<ε≦1, 1≦p<2 andx ₁, …,x _n is a sequence of unit vectors in a normed spaceX such thatE ‖∑ _l ⁿ ε_i x _l‖≧n ^1/p, then one can find a block basisy ₁, …,y _m ofx ₁, …,x _n which is (1+ε)-symmetric and has cardinality at leastγn ^2/p-1(logn)⁻¹, where γ depends on ε only. Two examples are given which show that this bound is close to being best possible. The first is a sequencex ₁, …,x _n satisfying the above conditions with no 2-symmetric block basis of cardinality exceeding 2n ^2/p-1. This sequence is not linearly independent. The second example is a sequence which satisfies a lowerp-estimate but which has no 2-symmetric block basis of cardinality exceedingCn ^2/p-1(logn)^4/3, whereC is an absolute constant. This applies when 1≦p≦3/2. Finally, we obtain improvements of the lower bound when the spaceX containing the sequence satisfies certain type-condition. These results extend results of Amir and Milman in [1] and [2]. We include an appendix giving a simple counterexample to a question about norm-attaining operators.     

Greedy Bases for Besov Spaces

We prove that the Banach space (?_n=1^￥l_pⁿ)_lq(\bigoplus_{n=1}^{\infty}\ell_{p}^{n})_{\ell_{q}}, which is isomorphic to certain Besov spaces, has a greedy basis whenever 1≤p≤∞ and 1<q<∞. Furthermore, the Banach spaces (?_n=1^￥l_pⁿ)_l1(\bigoplus_{n=1}^{\infty}\ell _{p}^{n})_{\ell_{1}}, with 1<p≤∞, and (?_n=1^￥l_pⁿ)_c0(\bigoplus_{n=1}^{\infty}\ell_{p}^{n})_{c_{0}}, with 1≤p<∞, do not have a greedy basis. We prove as well that the space (?_n=1^￥l_pⁿ)_lq(\bigoplus_{n=1}^{\infty}\ell _{p}^{n})_{\ell_{q}} has a 1-greedy basis if and only if 1≤p=q≤∞.     

On the strong law of large numbers for sequences of random variables without the independence condition

New sufficient conditions for the applicability of the strong law of large numbers to a sequence of dependent random variables X ₁, X ₂, …, with finite variances are established. No particular type of dependence between the random variables in the sequence is assumed. The statement of the theorem involves the classical condition Σ _n ^∞ (log₂ n)²/n ² < ∞, which appears in various theorems on the strong law of large numbers for sequences of random variables without the independence condition.     

The weighted Herz-type Hardy spaces hK q α,p (ω1,ω2)

Let 1<q<∞, n(1−1/q)≤α<∞, 0<p<∞ and ω₁,ω₂ ɛA ₁(R ⁿ ) (the Muckenhoupt class). In this paper, the author introduce the weighted Herz-type Hardy spaces hk _q ^α,p (gw₁,ω₂) and present their atomic decomposition. Using the atomic decomposition, the author find out their dual spaces, establish the boundedness on these spaces of the pseudo-differential operators of order zero and show thatD(R ⁿ ), the class of C^∞(Rⁿ)-functions with compactly support, is dense inhK _q ^α,p (ω₁,ω₂) and there is a subsequence, which converges in distrbutional sense to some distribution ofhK _q ^α,p (ω₁,ω₂), of any bounded sequence inhK _q ^α,p (ω₁,ω₂). In addition, the author also set up the boundedness of some non-linear quantities in compensated compactness. Supported by the NECF and the NECF and the NNSF of China.     

On symmetric basic sequences in lorentz sequence spaces II

It is shown that if {y _n} is a block of type I of a symmetric basis {x _n} in a Banach spaceX, then {y _n} is equivalent to {x _n} if and only if the closed linear span [y _n] of {y _n} is complemented inX. The result is used to study the symmetric basic sequences of the dual space of a Lorentz sequence spaced(a, p). Let {x _n,f _n} be the unit vector basis ofd(a, p), for 1≤p<+∞. It is shown that every infinite-dimensional subspace ofd(a, p) (respectively, [f _n] has a complemented subspace isomorphic tol _p (respectively,l _q, 1/p+1/q=1 when 1<p<+∞ andc ₀ whenp=1) and numerous other results on complemented subspaces ofd(a, p) and [f _n] are obtained. We also obtain necessary and sufficient conditions such that [f _n] have exactly two non-equivalent symmetric basic sequences. Finally, we exhibit a Banach spaceX with symmetric basis {x _n} such that every symmetric block basic sequence of {x _n} spans a complemented subspace inX butX is not isomorphic to eitherc ₀ orl _p, 1≤p<+∞.     

Polya properties in sequence spaces

Let V be a finite dimensional affine subspace of l₁=l₁ N and suppose thath∈l₁/V. For 1<p<∞, leth ^p be the best l_p-approximation toh from V andh ^∞ be the strict best l^∞-approximation toh from V. We show thath ^p converges toh ^∞ at rate no worse than 1/p. A condition is given which is sufficient to guarantee that exists. This research was partially supported by a grant from the Office of the Vice Chancellor for Academic Affairs, Indiana University-Purdue University at Fort Wayne.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too. This research was made while the author was visiting the Humboldt University in Berlin supported by the Alexander von Humboldt Foundation.     

On the order of growth of solutions of algebraic differential equations

Assume thatf is an integer transcendental solution of the differential equationP _n (z, f, f′)=P _n−1(z, f, f′, ... f ^(p)), whereP _n andP _n−1 are polynomials in all variables, the degree ofP _n with respect tof andf′ is equal ton, and the degree ofP _n−1 with respect tof, f′, ... f ^(p) is at mostn−1. We prove that the order ρ of growth off satisfies the relation 1/2≤ρ<∞. We also prove that if ρ=1/2, then, for a certain real ν, in the domain {z: ν<argz<ν+2π}/E _*, whereE _* is a certain set of disks with finite sum of radii, the estimate lnf(z)=z ^1/2 (β+o(1)), β∈C, holds forz=re ^iϕ,r≥r(ϕ)≥0. Furthermore, on the ray {z: argz=ν}, the following relation is true: ln‖f(re ^iν)‖=o(r ^1/2),r→+∞,r>0, , where Δ is a certain set on the semiaxisr>0 with mes Δ<∞. “L'vivs'ka Politekhnika” University, Lvov. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 51, No. 1, pp. 69–77, January, 1999.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too.     

Subspaces of<Emphasis Type="Italic">l</Emphasis><Superscript>∞</Superscript> (Γ) without quasicomplements

J. Lindenstrauss proves in [L] thatc ₀(Γ) is not quasicomplemented inl ^∞(Γ) while H. P. Rosenthal in [R] proves that subspaces, whose dual balls are weak* sequentially compact and weak* separable, are quasicomplemented inl ^∞(Γ). In this note it is proved that weak* separability of the dual is the precise condition determining whether a subspace, without isomorphic copies ofl ₁ and whose dual balls are weak* sequentially compact, is quasicomplemented or not inl ^∞(Γ). Especially spaces isomorphic tol _p(Γ), for 1<p<∞, have no quasicomplements inl ^∞(Γ) if Γ is uncountable.     

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 < ⩽ ∞.     

A short note on weighted mean matrices

In the present paper we have established a relation between (N, p _n ) and (N, q _n ) weighted mean matrices, when considered as bounded operators on 1^p, 1 < p < ∞.     

Convergence in law of partial sum processes in p-variation norm

Let X ₁, X ₂, … be a sequence of independent identically distributed real-valued random variables, S _n be the nth partial sum process S _n (t) ≔ X ₁ + ⋯ X _⌊tn⌋, t ∈ [0, 1], W be the standard Wiener process on [0, 1], and 2 < p < ∞. It is proved that n ^−1/2 S _n converges in law to σW as n → ∞ in p-variation norm if and only if EX ₁ = 0 and σ ² = EX ₁² < ∞. The result is applied to test the stability of a regression model. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-21/07     

Estimates for the number of rational points on convex curves and surfaces

Let Γ ⊂ ℝ^d be a bounded strictly convex surface. We prove that the number k_n(Γ) of points of Γ that lie on the lattice satisfies the following estimates: lim inf k_n(Γ)/n^d−2 < ∞ for d ≥ 3 and lim inf k_n(Γ)/log n < ∞ for d = 2. Bibliography: 9 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 344, 2007, pp. 174–189.     

Computingp-summing norms with few vectors

It is shown that thep-summing norm of any operator withn-dimensional domain can be well-aproximated using only “few” vectors in the definition of thep-summing norm. Except for constants independent ofn and logn factors, “few” meansn if 1<p<2 andn ^p/2 if 2<p<∞. Supported in part by NSF #DMS90-03550 and the U.S.-Israel Binational Science Foundation. Supported in part by the U.S.-Israel Binational Science Foundation.     

On perfectly homogeneous bases inF-spaces

It is proved that in anF-space with a basis (χ _n ) _n ^{= 1/∞} , (χ _n ) _n ^{= 1/∞} is equivalent to the unit-vectors basis ofc ₀,l _p (p>0), or (s) if and only if (χ _n ) _n ^{= 1/∞} is equivalent to each of itsɛ-normalized block basic sequences for eachɛ>0. This result is an extension of a theorem of M. Zippin.     

The game for the speed of convergence in repeated games of incomplete information

We consider an infinitely repeated two-person zero-sum game with incomplete information on one side, in which the maximizer is the (more) informed player. Such games have value v _∞ (p) for all 0≤p≤1. The informed player can guarantee that all along the game the average payoff per stage will be greater than or equal to v _∞ (p) (and will converge from above to v _∞ (p) if the minimizer plays optimally). Thus there is a conflict of interest between the two players as to the speed of convergence of the average payoffs-to the value v _∞ (p). In the context of such repeated games, we define a game for the speed of convergence, denoted SG _∞ (p), and a value for this game. We prove that the value exists for games with the highest error term, i.e., games in which v _n (p)− v _∞ (p) is of the order of magnitude of . In that case the value of SG _∞ (p) is of the order of magnitude of . We then show a class of games for which the value does not exist. Given any infinite martingale 𝔛^∞={X _k }^∞ _k=1, one defines for each n : V _n (𝔛^∞) ≔E∑ⁿ _k=1 |X _k+1 − X _k|. For our first result we prove that for a uniformly bounded, infinite martingale 𝔛^∞, V _n (𝔛^∞) can be of the order of magnitude of n ^1/2−ε, for arbitrarily small ε>0. Received January 1999/Final version April 2002