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

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.     

<Emphasis Type="Italic">Φ</Emphasis>-Variation of a bifractional Brownian motion

Let B _H,K = {B _H,K (t)} _t⩾0 be a bifractional Brownian motion with parameters H ∈ (0, 1) and K ∈ (0, 1]. For a function Φ: [0, ∞) → [0, ∞) and for a partition κ = {t _i }_n ⁱ⁼⁰ of an interval [0, T] with T > 0, let {ie418-01}. We prove that, for a suitable Φ depending on H and K, {ie418-02} almost surely. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-16/08     

To the problem of a strong differentiability of integrals along different directions

It is proved that for any given sequence (σ _n ,n ∈ ℕ)=Γ₀ ⊂ Γ, where Γ is the set of all directions in ℝ² (i.e., pairs of orthogonal straight lines) there exists a locally integrable functionf on ℝ² such that: (1) for almost all directionsσ ∈ Γ\Γ₀ the integral ∫f is differentiable with respect to the familyB _2σ of open rectangles with sides parallel to the straight lines fromσ: (2) for every directionσ _n ∈ Γ₀ the upper derivative of ∫f with respect toB _{2σ n} equals +∞; (3) for every directionσ ∈ Γ the upper derivative of ∫ |f| with respect toB _2σ equals +∞.     

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     

An application of the sampling theorem

Let B_σ,p,1 <-p<-∞, be the set of all functions from L₈(R) which can be continued to entire functions of exponential type <-σ. The well known Shannon sampling theorem and its generalization [1] state that every f∈B_σ,p, 1<p<∞, can be represented as

Multiparameter inverse problem of approximation by functions with given supports

Let L _p (S), 0 < p < +∞, be a Lebesgue space of measurable functions on S with ordinary quasinorm ∥·∥ _p . For a system of sets {B _t |t ∈ [0, +∞) ⁿ } and a given function ψ: [0, +∞) ⁿ ↦ [ 0, +∞), we establish necessary and sufficient conditions for the existence of a function f ∈ L _p (S) such that inf {∥f − g∥ _p ^p g ∈ L _p (S), g = 0 almost everywhere on S\B _t } = ψ (t), t ∈ [0, +∞) ⁿ . As a consequence, we obtain a generalization and improvement of the Dzhrbashyan theorem on the inverse problem of approximation by functions of the exponential type in L ₂. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 8, pp. 1116–1127, August, 2006.     

A geometrical problem arising in a signal restoration algorithm

Let ℤ_2N={0, ..., 2N-1} denote the group of integers modulo 2N, and let L be the space of all real functions of ℤ_2N which are supported on {0,...N−1}. The spectral phase of a function f:ℤ_2N→ℝ is given by φ_f(k)=arg for k ∈ ℤ_2N, where denotes the discrete Fourier transforms of f. For a fixed s∈L let K_s denote the cone of all f:ℤ_2N→ℝ which satisfy φ_f ≡ φ_s and let M_s be its linear span. The angle α_s between M_s and L determines the convergence rate of the signal restoration from phase algorithm of Levi and Stark [3]. Here we prove the following conjectures of Urieli et al. [7] who verified them for the N≤3 case:

Zero sets of holomorphic functions in the bidisk

We characterize in geometric terms the zero sets of holomorphic functionsf in the bidisk such that log |f|∈L ^p (D ²) for 1<p<∞. Partially supported by the DGCYT grant PB95-0956-C02-02 and grant 1996-SGR-26.     

K-Theory of pseudodifferential operators with semi-periodic symbols

Let 𝔄 denote the C^*-algebra of bounded operators on L ² ℝ generated by: (i) all multiplications a(M) by functions a∈C[ − ∞, + ∞], (ii) all multiplications by 2π-periodic continuous functions, and (iii) all operator of the form F ⁻¹ b(M)F, where F denotes the Fourier transform and b∈C[ − ∞, + ∞]. A given A ∈ 𝔄 is a Fredholm operator if and only if σ(A) and γ(A) are invertible, where σ denotes the continuous extension of the usual principal symbol, while γ denotes an operator-valued “boundary principal symbol” (the “boundary” here consists of two copies of the circle, one at each end of the real line). We give two proofs of the fact that K ₀(𝔄) is isomorphic to ℤ and that K ₁(𝔄) is isomorphic to ℤ ⊕ ℤ . We do it first by computing the connecting mappings in the six-term exact sequence associated to σ. For the second proof, we show that the image of γ is isomorphic to the direct sum of two copies of the crossed product , where α denotes the translation-by-one automorphism. Its K-theory can be computed using the Pimsner–Voiculescu exact sequence, and that information suffices for the analysis of the standard cyclic exact sequence associated to γ. Received: February 2006     

Applications of operator semigroups to Fourier analysis

Of concern are semigroups of linear norm one operators on Hilbert space of the form (discrete case)T={T ⁿ /n=0,1,2,...} or (continuous case)T={T(t)/t=≥0}. Using ergodic theory and Hilbert-Schmidt operators, the Cesàro limits (asn→∞) of |〈T ⁿ f,f〉|², |〈T (n)f,f〉|² are computed (withn∈ℤ⁺ orn∈ℤ⁺). Specializing the Hilbert space to beL ²(T,μ) (discrete case) orL ²(ℝ,μ) (continuous case) where μ is a Borel probability measure on the circle group or the line, the Cesàro limit of (asn→±∞, with,n∈ℤ orn∈ℝ) is obtained and interpreted. Extensions toT ^M , and ℝ ^M are given. Finally, we discuss recent operator theoretic extensions from a Hilbert to a Banach space context. Partially supported by an NSF grant     

Irregular wavelet frames on<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(ℝ<Superscript>n</Superscript>)

In this paper, we present the conditions on dilation parameter {s _j}_j that ensure a discrete irregular wavelet system {s _j ^n/2ψ(s _j ·−bk)} _{j∈ℤ,k∈ℤ} ⁿ to be a frame on L²(ℝⁿ), and for the wavelet frame we consider the perturbations of translation parameter b and frame function ψ respectively.     

The approximation by q-Bernstein polynomials in the case q ↓ 1

Let B_n (f, q; x), n=1, 2, ... , 0 < q < ∞, be the q-Bernstein polynomials of a function f, B_n (f, 1; x) being the classical Bernstein polynomials. It is proved that, in general, {B_n (f, q_n; x)} with q_n ↓ 1 is not an approximating sequence for f ∈C[0, 1], in contrast to the standard case q_n ↓ 1. At the same time, there exists a sequence 0 < δ_n ↓ 0 such that the condition implies the approximation of f by {B_n (f, q_n; x)} for all f ∈C[0, 1]. Received: 15 March 2005     

Vector subdivision schemes in (Lp(?s))r(1?p?∞) spaces

The purpose of this paper is to investigate the refinement equations of the form

Approximation by the Bernstein–Durrmeyer Operator on a Simplex

For the Jacobi-type Bernstein–Durrmeyer operator M _n,κ on the simplex T ^d of ℝ ^d , we proved that for f∈L ^p (W _κ ;T ^d ) with 1<p<∞,

Approximation of bandlimited functions by finite exponential sums

For a compact set K in ℝ ⁿ , let B ² _K be the set of all functions f ∈ L ²(ℝ²) bandlimited to K, i.e., such that the Fourier transform f̂ of f is supported by K. We investigate the question of approximation of f ∈ B ² _K by finite exponential sums

Littlewood–Paley theorem on spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)</Superscript>(ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We point out that if the Hardy–Littlewood maximal operator is bounded on the space L ^p(t)(ℝ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ, then the well-known characterization of the spaces L ^p (ℝ), 1 < p < ∞, by the Littlewood–Paley theory extends to the space L ^p(t)(ℝ). We show that, for n > 1 , the Littlewood–Paley operator is bounded on L ^p(t) (ℝ ⁿ ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ ⁿ , if and only if p(t) = const. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 12, pp. 1709–1715, December, 2008.     

On convergence of gradient-dependent integrands

We study convergence properties of {υ(∇u _k )}k∈ℕ if υ ∈ C(ℝ ^m×m ), |υ(s)| ⩽ C(1+|s| ^p ), 1 < p < + ∞, has a finite quasiconvex envelope, u _k → u weakly in W ^1,p (Ω; ℝ ^m ) and for some g ∈ C(Ω) it holds that ∫_Ω g(x)υ(∇u _k (x))dx → ∫_Ω g(x)Qυ(∇u(x))dx as k → ∞. In particular, we give necessary and sufficient conditions for L ¹-weak convergence of {det ∇u _k } _k∈ℕ to det ∇u if m = n = p. Dedicated to Jiří V. Outrata on the occasion of his 60th birthday This work was supported by the grants IAA 1075402 (GA AV ČR) and VZ6840770021 (MŠMT ČR).     

Linear-topological classification of separableL p-spaces associated with von Neumann algebras of type I

We classify, up to a linear-topological isomorphism, all separableL _p-spaces, 1≤p<∞, associated with von Neumann algebras of type I. In particular, anyL _p-space associated with an infinite-dimensional atomic von Neumann algebra is isomorphic tol _p, or toC _p, or to . Further, anyL _p-space,p∈[1,∞),p∈2 associated with an infinite-dimensional von Neumann algebraM of type I is isomorphic to one of the following nine Banach spaces: l_p, L_p, S_P, C_p, S_p ⊕ L_p, L_p(S_p), C_p ⊕ L_p, L_p(C_p), C_p ⊕ L_p(S_p). In the casep=1 all the spaces in this list are pairwise non-isomorphic. Research supported by the Australian Research Council.     

A characterization of L p(ℝ) by local trigonometric bases with 1<p<∞

We show that the local trigonometric bases introduced by Malvar, Coifman and Meyer constitute bases, but not unconditional bases, for L^p(ℝ) with 1<p<∞, p≠2. In addition, we characterize the functions in L^p(ℝ) for 1<p<∞ in terms of their local trigonometric basis coefficients. Dedicated to Dr. Charles A. Micchelli for his 60th birthday Mathematics subject classification (2000) 42C15. Supported by Prof. Y. Xu under his grant in program of “One Hundred Distinguished Chinese Scientists” of the Chinese Academy of Sciences, the National Natural Science Foundation of China (No. 10371122), and the second author is supported by Tianyuan Fund for Mathematics (No. A0324648).