Stick breaking process generated by virtual permutations with Ewens distribution

Given a sequence x of points in the unit interval, we associate with it a virtual permutation w=w(x) (that is, a sequence w of permutationsw _n such that for all n=1,2,..., w_n−1=w′_n is obtained from w_n by removing the last element n from its cycle). We introduce a detailed version of the well-known stick breaking process generating a random sequence x. It is proved that the associated random virtual permutation w(x) has a Ewens distribution. Up to subsets of zero measure, the space of virtual permutations is identified with the cube [0, 1]^∞. Bibliography: 8 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 223, 1995, pp. 162–180.     

On antipodal Euclidean tight (2e + 1)-designs

Neumaier and Seidel (1988) generalized the concept of spherical designs and defined Euclidean designs in ℝ ⁿ . For an integer t, a finite subset X of ℝ ⁿ given together with a weight function w is a Euclidean t-design if holds for any polynomial f(x) of deg(f)≤ t, where {S _i , 1≤ i ≤ p} is the set of all the concentric spheres centered at the origin that intersect with X, X _i = X∩ S _i , and w:X→ ℝ_{> 0}. (The case of X⊂ S ⁿ⁻¹ with w≡ 1 on X corresponds to a spherical t-design.) In this paper we study antipodal Euclidean (2e+1)-designs. We give some new examples of antipodal Euclidean tight 5-designs. We also give the classification of all antipodal Euclidean tight 3-designs, the classification of antipodal Euclidean tight 5-designs supported by 2 concentric spheres.     

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.     

THE BOUNDEDNESS OF MULTILINEAR COMMUTATORS FROM L^P （R^n） TO TRIEBEL-LIZORKIN SPACES

Let (→b)=(b1,…,bm),bi∈Λβi(Rn),1≤i≤m,0＜βi＜β,0＜β＜1,[(→b),T]f(x)=∫Rn,(b1(x)-b1(y))…(bm(x)-bm(y)))K(x-y)f(y)dy where K is a Calder(o)n-Zygmund kernel.In this paper,we show that[(→b),T] is bounded from Lp (Rn) to Fβ,∞p(Rn),as well as[(→b,Iα)] from Lp(Rn) to Fβ,∞p(Rn),where 1/q=1/p-α/n.     

Remainder estimates for the approximation numbers of weighted Hardy operators acting onL 2

We consider the weighted Hardy integral operatorT:L ²(a, b) →L ²(a, b), −∞≤a<b≤∞, defined by . In [EEH1] and [EEH2], under certain conditions onu andv, upper and lower estimates and asymptotic results were obtained for the approximation numbersa _n(T) ofT. In this paper, we show that under suitable conditions onu andv, where ∥w∥_p=(∫ _a ^b |w(t)|^p dt)^1/p. Research supported by NSERC, grant A4021. Research supported by grant No. 201/98/P017 of the Grant Agency of the Czech Republic.     

粗糙平方函数及极大算子的弱型估计

§ 1　 PreliminariesWe considerψ( x)∈ L1 ( Rn) satisfying the mean valuezero,i.e.∫Rnψdx=0 ,and definethe square function g( f) on Rnbyg( f) ( x) =( k|ψk* f|2 ) 1 2 ( x)for f∈ S( Rn) ,the Schwartz space,whereψk( x) =ψ2 k( x) .　　 Whenψ has some smooth property,one can obtain the weak type estimate by viewingthe square function g( f) as the vector-valued singularintegrals,which the readercan referto [1 ,2 ] .As for the results aboutthe Lp-estimates,see [3,4 ] .In this paper,we sha…     

The pointwise estimates on walsh overconvergence

Let f∈A_p. For any positive integer l, the quantity Δ_1,n−1(f:z) has been studied extensively. Here we give some quantitative estimates for and investigate some pointwise estimates of Δ _l,n−1 ^(r) (f;z). Supported by National Science Foundation of China     

Asymptotic behavior of the irrational factor

We study the irrational factor function I(n) introduced by Atanassov and defined by , where is the prime factorization of n. We show that the sequence {G(n)/n} _n≧1, where G(n) = Π _ν=1 ⁿ I(ν)^1/n , is convergent; this answers a question of Panaitopol. We also establish asymptotic formulas for averages of the function I(n). Research of the third author is supported in part by NSF grant number DMS-0456615.     

Distribution of the maxima of random Takagi functions

This paper concerns the maximum value and the set of maximum points of a random version of Takagi’s continuous, nowhere differentiable function. Let F(x):=∑ _n=1^∞ ε _n ϕ(2 ⁿ⁻¹ x), x ∈ R, where ɛ ₁, ɛ ₂, ... are independent, identically distributed random variables taking values in {−1, 1}, and ϕ is the “tent map” defined by ϕ(x) = 2 dist (x, Z). Let p:= P (ɛ ₁ = 1), M:= max {F(x): x ∈ R}, and := {x ∈ [0, 1): F(x) = M}. An explicit expression for M is given in terms of the sequence {ɛ _n }, and it is shown that the probability distribution μ of M is purely atomic if p < , and is singular continuous if p ≧ . In the latter case, the Hausdorff dimension and the multifractal spectrum of μ are determined. It is shown further that the set is finite almost surely if p < , and is topologically equivalent to a Cantor set almost surely if p ≧ . The distribution of the cardinality of is determined in the first case, and the almost-sure Hausdorff dimension of is shown to be (2p − 1)/2p in the second case. The distribution of the leftmost point of is also given. Finally, some of the results are extended to the more general functions Σa ^{n − 1} ɛ _n ϕ(2 ^{n − 1} x), where 0 < a < 1.      

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     

Convex Minimization over the Fixed Point Set of Demicontractive Mappings

This paper deals with a viscosity iteration method, in a real Hilbert space , for minimizing a convex function over the fixed point set of , a mapping in the class of demicontractive operators, including the classes of quasi-nonexpansive and strictly pseudocontractive operators. The considered algorithm is written as: x _n+1 := (1 − w) v _n + w T v _n , v _n := x _n − α _n Θ′(x _n ), where w ∈ (0,1) and , Θ′ is the Gateaux derivative of Θ. Under classical conditions on T, Θ, Θ′ and the parameters, we prove that the sequence (x _n ) generated, with an arbitrary , by this scheme converges strongly to some element in Argmin _Fix(T) Θ.      

Integration and Lipschitz functions

The aim of the paper is to prove that every f ∈ L ¹([0,1]) is of the form f = , where j _n,k is the characteristic function of the interval [k- 1 / 2 ⁿ , k / 2 ⁿ ) and Σ _n=0^∞Σ _k=1²ⁿ |a _n,k | is arbitrarily close to ||f|| (Theorem 2). It is also shown that if μ is any probabilistic Borel measure on [0,1], then for any ɛ > 0 there exists a sequence (b _n,k ) _n≧0 ^k=1,...,2n of real numbers such that and for each Lipschitz function g: [0,1] → ℝ (Theorem 3).      

Comparison of exact constants in Kolmogorov-type inequalities for periodic and nonperiodic functions of many variables

We investigate the correlation between the constants K(ℝⁿ) and , where

Multilinear Singular Integrals with Rough Kernel

For a class of multilinear singular integral operators T _A ,

Oscillatory integrals on unit square along surfaces

Let Q ² = [0, 1]² be the unit square in two-dimensional Euclidean space ℝ². We study the L ^p boundedness of the oscillatory integral operator T _α,β defined on the set ℒ(ℝ²⁺ⁿ ) of Schwartz test functions by

Weighted <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> boundedness for multilinear fractional integral on product spaces

For 0 < α < mn and nonnegative integers n ≥ 2, m ≥ 1, the multilinear fractional integral is defined by

Sharp Lipschitz constant of bi-Lipschitz automorphism on Cantor set

Suppose C _r = (r C _r ) ∪ (r C _r + 1 − r) is a self-similar set with r ∈ (0, 1/2), and Aut(C _r ) is the set of all bi-Lipschitz automorphisms on C _r . This paper proves that there exists f* ∈ Aut(C _r ) such that

A divergent Khintchine theorem in the real,complex, and <Emphasis Type="Italic">p</Emphasis>-adic fields

In this paper, we show that if the sum ∑_r=1^∞ Ψ(r) diverges, then the set of points (x, z, w) ∈ ℝ × ℂ × ℚ_p satisfying the inequalities , and for infinitely many integer polynomials P has full measure. With a special choice of parameters v _i and λ _i , i = 1, 2, 3, we can obtain all the theorems in the metric theory of transcendental numbers which were known in the real, complex, or p-adic fields separately.     

Geometry of finite-dimensional normed spaces,and continuous functions on the Euclidean sphere

Let ℝⁿ be the n-dimensional Euclidean space, and let { · } be a norm in Rⁿ. Two lines ℓ₁ and ℓ₂ in ℝⁿ are said to be { · }-orthogonal if their { · }-unit direction vectors e ₁ and e ₂ satisfy {e ₁ + e ₂} = {e ₁ − e ₂}. It is proved that for any two norms { · } and { · }′ in ℝⁿ there are n lines ℓ₁, ..., ℓ_n that are { · }-and { · }′-orthogonal simultaneously. Let be a continuous function on the unit sphere with center O. It is proved that there exists an (n − 1)-cube C centered at O, inscribed in , and such that all sums of values of f at the vertices of (n − 3)-faces of C are pairwise equal. If the function f is even, then there exists an n-cube with the same properties. Furthermore, there exists an orthonormal basis e ₁, ..., e _n such that for 1 ≤ i ≤ j ≤ n we have . Bibliography: 8 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 107–117.