Riesz basis, Paley-Wiener class and tempered splines

The Marcinkiewicz-Zygmund inequality and the Bernstein inequality are established on ∮2m(T,R)∩L2(R) which is the space of polynomial splines with irregularly distributed nodes T={tj}j∈Z, where {tj}j∈Z is a real sequence such that {eitξ}j∈Z constitutes a Riesz basis for L2([-π,π]). From these results, the asymptotic relation E(f,Bπ,2)2=lim E(f,∮2m(T,R)∩L2(R))2 is proved, where Bπ,2 denotes the set of all functions from L2(R) which can be continued to entire functions of exponential type ≤π, i.e. the classical Paley-Wiener class.     

The second centralizer of a Bernoulli shift is just its powers

If ℐ is a collection of measure preserving transformations of a probability space, byC(ℐ), the centralizer of ℐ, we mean the group of all measure preserving transformationsS such thatTS=ST for allT ∈ ℐ. We show here that ifT is a Bernoulli shift, thenC(C(T))={T ⁱ |i ∈ Z}. The proof is carried out by constructing an action of Z², {T ₁ ⁱ °T ₂ ⁱ |i, j ∈ Z}, whereT ₁ is a Bernoulli shift of arbitrary entropy, but for anyj ≠ 0,C({T ₁,T ₂ ^i} ={T ₁ ⁱ °T ₂ ^k l, k ∈ Z}. The construction is a two-dimensional analogue of Ornstein’s “rank one mixing” transformation.     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

Ordering Trees with Nearly Perfect Matchings by Algebraic Connectivity

Let T2k＋1 be the set of trees on 2k＋1 vertices with nearly perfect matchings and α（T） be the algebraic connectivity of a tree T. The authors determine the largest twelve values of the algebraic connectivity of the trees in T2k＋1. Specifically, 10 trees T2,T3,... ,T11 and two classes of trees T（1） and T（12） in T2k＋1 are introduced. It is shown in this paper that for each tree T^′1,T^″1∈T（1）and T^′12,T^″12∈T（12） and each i,j with 2≤i〈j≤11,α（T^′1）=α（T^″1）〉α（Tj）〉α（T^′12）=α（T^″12）.It is also shown that for each tree T with T∈T2k＋1／（T（1）∪{T2,T3,…,T11}∪T（12））,α（T^′12）〉α（T）.     

Disk-like Tiles Derived from Complex Bases

For each positive integer k, the radix representation of the complex numbers in the base –k+i gives rise to a lattice self-affine tile T _k in the plane, which consists of all the complex numbers that can be expressed in the form ∑ _j≥1 d _j (–k+i)^–j , where d _j ∈{0, 1, 2, ...,k ²}. We prove that T _k is homeomorphic to the closed unit disk {z∈C:∣z∣ ≤ 1} if and only if k ≠ 2. The first author is supported by Youth Project of Tianyuan Foundation (10226031) and Zhongshan University Promotion Foundation for Young Teachers (34100-1131206); the second author is supported by National Science Foundation (10041005) and Guangdong Province Science Foundation (011221)     

Fractional Poisson equations and ergodic theorems for fractional coboundaries

For a given contractionT in a Banach spaceX and 0<α<1, we define the contractionT _α=Σ _j=1 ^∞ a _j T ^j , where {a _j } are the coefficients in the power series expansion (1-t)^α=1-Σ _j=1 ^∞ a _j t ^j in the open unit disk, which satisfya _j >0 anda _j >0 and Σ _j=1 ^∞ a _j =1. The operator calculus justifies the notation(I−T) ^α :=I−T _α (e.g., (I−T _1/2)²=I−T). A vectory∈X is called an, α-fractional coboundary for T if there is anx∈X such that(I−T) ^α x=y, i.e.,y is a coboundary forT _α . The fractional Poisson equation forT is the Poisson equation forT _α . We show that if(I−T)X is not closed, then(I−T) ^α X strictly contains(I−T)X (but has the same closure). ForT mean ergodic, we obtain a series solution (converging in norm) to the fractional Poisson equation. We prove thaty∈X is an α-fractional coboundary if and only if Σ _k=1 ^∞ T ^k y/k ^1-α converges in norm, and conclude that lim _n ‖(1/n ^1-α)Σ _k=1 ⁿ T ^k y‖=0 for suchy. For a Dunford-Schwartz operatorT onL ₁ of a probability space, we consider also a.e. convergence. We prove that iff∈(I−T) ^α L ₁ for some 0<α<1, then the one-sided Hilbert transform Σ _k=1 ^∞ T ^k f/k converges a.e. For 1<p<∞, we prove that iff∈(I−T) ^α L _p with α>1−1/p=1/q, then Σ _k=1 ^∞ T ^k f/k ^1/p converges a.e., and thus (1/n ^1/p ) Σ _k=1 ⁿ T ^k f converges a.e. to zero. Whenf∈(I−T) ^1/q L _p (the case α=1/q), we prove that (1/n ^1/p (logn)^1/q )Σ _k=1 ⁿ T ^k f converges a.e. to zero.     

On tame operators between non-archimedean power series spaces

Let p ∈ {1, ∞}. We show that any continuous linear operator T from A1 (a) to Ap (b) is tame, i.e., there exists a positive integer c such that sup x||Tx||k/|x|ck ∞ for every k ∈ N. Next we prove that a similar result holds for operators from A∞(a) to Ap(b) if and only if the set Mb,a of all finite limit points of the double sequence (bi /aj ) i,j∈N is bounded. Finally we show that the range of every tame operator from A∞(a) to A∞(b) has a Schauder basis.     

Lyapunov exponents for products of matrices and multifractal analysis. Part II: General matrices

We continue the study in [15, 18] on the upper Lyapunov exponents for products of matrices. Here we consider general matrices. In general, the variational formula about Lyapunov exponents we obtained in part I does not hold in this setting. In any case, we focus our interest on a special case where the matrix function M(x) takes finite values M ₁, ..., M _m . In this case, we prove the variational formula under an additional irreducibility condition. This extends a previous result of the author and Lau [18]. As an application, we prove a new multifractal formalism for a certain class of self-similar measures on ℝ with overlaps. More precisely, let μ be the self-similar measure on ℝ generated by a family of contractive similitudes {S _j = ρx + b _j } _j=1^ℓ which satisfies the finite type condition. Then we can construct a family (finite or countably infinite) of closed intervals {I _j } _j∈Λ with disjoint interiors, such that μ is supported on ⋃ _j∈Λ I _j and the restricted measure of μ on each interval I _j satisfies the complete multifractal formalism. Moreover, the dimension spectrum dim _H (α) is independent of j. The author was partially supported by the direct grant and RGC grants (Projects 400706, 401008) in CUHK, Fok Ying Tong Education Foundation and NSFC (Grant 10571100).     

On one extremal problem for numerical series

Let Γ be the set of all permutations of the natural series and let α = {α _j} _j∈ℕ, ν = {ν_j} _j∈ℕ, and η = {η_j} _j∈ℕ be nonnegative number sequences for which

Orthogonal polynomials associated to a certain fourth order differential equation

We introduce orthogonal polynomials M_j^m,l(x)M_{j}^{\mu,\ell}(x) as eigenfunctions of a certain self-adjoint fourth order differential operator depending on two parameters μ∈ℂ and ℓ∈ℕ₀.     

A distortion theorem for the class of typically real functions

The paper continues the studies of the well-known class T of typically real functions f(z) in the disk U = {z:|z| < 1}. The region of values of the system {f(z ₀), f(z ₀), f(r ₁), f(r ₂),…, f(r _n )} in the class T is investigated. Here, z ₀ ∈ U, Im z ₀ ≠ 0, 0 < r _j  < 1 for j = 1,…, n, n ≥ 2. As a corollary, the region of values of f′(z ₀) in the class of functions f ∈ T with fixed values f(z ₀) and f(r _j ) (j = 1,…, n) is determined. The proof is based on the criterion of solvability of the power problem of moments. Bibliography: 10 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 357, 2008, pp. 33–45.     

An integral strong law of large numbers for processes with independent increments

For a stochastically continuous stochastic process with independent increments overD[0,T], letN(t,ε) be the number of smaple function jumps that occur in the interval [0,t] of sizes less than −ε or greater than ε, where ε>0. LetM(t,ε)=EN(t,ε), and assumeM(t,0+)=∞ for 0<t≦T. If lim_{ε ↓0}(M(t,ε)/M(T,ε)) exists and is positive for eacht∈(0,T], then lim_{ε ↓0}(N(t,ε)/M(T,ε)) for allt∈(0,T] with probability one. The research of Howard G. Tucker was supported in part by the National Science Foundation, Grant No. MCS76-03591A01.     

Convex mappings on some Reinhardt domains

In this paper, we consider the following Reinhardt domains. Let M = （M1, M2,..., Mn） ： [0,1] → [0,1]^n be a C2-function and Mj（0） = 0, Mj（1） = 1, Mj″ 〉 0, C1jr^pj-1 〈 Mj′（r） 〈 C2jr^pj-1, r∈ （0, 1）, pj 〉 2, 1 ≤ j ≤ n, 0 〈 C1j 〈 C2j be constants. Define
DM={z=（z1,z2,…,Zn）^T∈C^n：n∑j=1 Mj（｜zj｜）〈1}
Then DM C^n is a convex Reinhardt domain. We give an extension theorem for a normalized biholomorphic convex mapping f ： DM -→ C^n.     

Exact controllability for the wave equation with variable coefficients

We consider in this paper the evolution systemy″−Ay=0, whereA =∂ _i(a_ij∂_j) anda _ij ∈C ¹ (ℝ⁺;W ^1,∞ (Ω)) ∩W ^1,∞ (Ω × ℝ⁺), with initial data given by (y ₀,y ₁) ∈L ²(Ω) ×H ⁻¹ (Ω) and the nonhomogeneous conditiony=v on Γ ×]0,T[. Exact controllability means that there exist a timeT>0 and a controlv such thaty(T, v)=y′(T, v)=0. The main result of this paper is to prove that the above system is exactly controllable whenT is “sufficiently large”. Moreover, we obtain sharper estimates onT.     

Approximating common fixed points of asymptotically nonexpansive mappings by composite algorithm in Banach spaces

Let E be a uniformly convex Banach space and K a nonempty convex closed subset which is also a nonexpansive retract of E. Let T ₁, T ₂ and T ₃: K → E be asymptotically nonexpansive mappings with {k _n }, {l _n } and {j _n }. [1, ∞) such that Σ _n=1 ^∞ (k _n − 1) < ∞, Σ _n=1 ^∞ (l _n − 1) < ∞ and Σ _n=1 ^∞ (j _n − 1) < ∞, respectively and F nonempty, where F = {x ∈ K: T _1x = T _2x = T ₃ x} = x} denotes the common fixed points set of T ₁, _{T 2} and T ₃. Let {α _n }, {α′ _n } and {α″ _n } be real sequences in (0, 1) and ∈ ≤ {α _n }, {α′ _n }, {α″ _n } ≤ 1 − ∈ for all n ∈ N and some ∈ > 0. Starting from arbitrary x ₁ ∈ K define the sequence {x _n } by

Asymptotic normality and efficiency of a weighted correlogram

For a process X(t)=Σ _j=1 ^M g _j (t)ξ _j (), where g_j(t) are nonrandom given functions, is a stationary vector-valued Gaussian process, Eξ_k(t) = 0, and Eξ_k(0) Eξ_l(τ) = r _kl(τ), we construct an estimate for the functions r _kl(τ) on the basis of observations X(t), t ∈ [0, T]. We establish conditions for the asymptotic normality of as T → ∞. We consider the problem of the optimal choice of parameters of the estimate depending on observations. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 7, pp. 937–947, July, 1998.     

Geometry of isotypic Kronecker webs

An isotypic Kronecker web is a family of corank m foliations such that the curve of annihilators t ↦ (T _x F _t )^⊥ ∈ Gr _m (T _x * M) is a rational normal curve in the Grassmannian Gr _m (T _x *M) at any point x ∈ M. For m = 1 we get Veronese webs introduced by I. Gelfand and I. Zakharevich [Gelfand I.M., Zakharevich I., Webs, Veronese curves, and bi-Hamiltonian systems, J. Funct. Anal., 1991, 99(1), 150–178]. In the present paper, we consider the problem of local classification of isotypic Kronecker webs and for a given web we construct a canonical connection. We compute the curvature of the connection in the case of webs of equal rank and corank. We also show the correspondence between Kronecker webs and systems of ODEs for which certain sets of differential invariants vanish. The equations are given up to contact transformations preserving independent variable. As a particular case, with m = 1 we obtain the correspondence between Veronese webs and ODEs.     

Coboundaries of irreducible markov operators onC(K)

LetK be a compact Hausdorff space, and letT be an irreducible Markov operator onC(K). We show that ifgεC(K) satisfies sup _N ‖Σ _j ^=0N T ^j g‖<∞, then (and only then) there existsfεC(K) with (I − T)f=g. Generalizing the result to irreducible Markov operator representations of certain semi-groups, we obtain that bounded cocycles are (continuous) coboundaries. For minimal semi-group actions inC(K), no restriction on the semi-group is needed.     

The region of values of the system { f ( z 1),..., f ( z n )} in the class of typically real functions. III

The paper studies the region of values D_m,n(T) of the system {f(z₁), f(z₂),..., f(z_m), f(r₁), f(r₂),..., f(r_n)}, where m ≥ 1; n > 1; z_j, j = 1, ... m, are arbitrary fixed points of the disk U = {z: |z| < 1} with Im z_j ≠ 0, j = 1, 2, ..., m; r_j, 0 < r_j < 1, j = 1, 2, ..., n, are fixed; f ∈ T, and the class T consists of functions f(z) = z + c₂z² + ... regular in the disk U and satisfying the condition Im f(z) · Im z > 0 for Im z ≠= 0, z ∈ U. An algebraic characterization of the set D_m,n(T) in terms of nonnegative-definite Hermitian forms is provided, and all the boundary functions are described. As an implication, the region of values of f(z₁) in the subclass of functions f ∈ T with prescribed values f(r_j) (j = 1, 2, 3) is determined. Bibliography: 12 titles. Dedicated to the 100th anniversary of my father’s birthday __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 337, 2006, pp. 23–34.