Weighted tight frames of exponentials on a finite interval

Given a finite intervalI?R, a characterization is given for those discrete sets of real numbers Λ and associated sequences {c _λ}_λ∈Λ, withc _λ>0, having the properties that every functionf∈L ²(I) can be expanded inL ²(I) as the unconditionally convergent series $$f = \sum\limits_{\lambda \in \Lambda } {\hat f} (\lambda )c_\lambda e^{2\pi i\lambda x} $$ and that the range of the mappingL ²(I)→L _μ ² :f→f has finite codimension inL _μ ² , iff denotes the Fourier transform off and μ is the measure μ = ∑_λ∈Λ c _λ δ_λ.     

Fourier frequencies in affine iterated function systems

We examine two questions regarding Fourier frequencies for a class of iterated function systems (IFS). These are iteration limits arising from a fixed finite families of affine and contractive mappings in Rd, and the “IFS” refers to such a finite system of transformations, or functions. The iteration limits are pairs (X,μ) where X is a compact subset of Rd (the support of μ), and the measure μ is a probability measure determined uniquely by the initial IFS mappings, and a certain strong invariance axiom. The two questions we study are: (1) existence of an orthogonal Fourier basis in the Hilbert space L²(X,μ); and (2) explicit constructions of Fourier bases from the given data defining the IFS.     

Some inverse results for Hill's equation

We consider Hill's equation y″+(λ−q)y=0 where q∈L¹[0,π]. We show that if l_n—the length of the n-th instability interval—is of order O(n^−(k+2)) then the real Fourier coefficients a_n^k,b_n^k of q^(k)—k-th derivative of q—are of order O(n⁻²), which implies that q^(k) is absolutely continuous almost everywhere for k=0,1,2,….     

Asymmetry of twisted convolution operators

Let K be a distribution on $\text{R}$². We denote by λ(K) the twisted convolution operator f → K × f defined by the formula K × f(x, y) = ∝∝ dudvK(x ? u, y ? v) f(u, v) exp(ixv ? iyu). We show that there exists K such that the operator λ(K) is bounded on L^p(R)² for every p in (1, 2¦, but is unbounded on L^q(R)² for every q > 2.     

A pointwise abelian Ergodic theorem for Lp semigroups, 1 ⩽ p < ∞

Let (X, ∑, μ) be a σ-finite measure space and L_p(μ) = L_p(X, ∑, μ), 1 ? p ? ∞, the usual Banach spaces of complex-valued functions. Let {T_t: t ? 0} be a strongly continuous semigroup of positive L_p(μ) operators for some 1 ? p < ∞. Denote by R_λ the resolvent of {T_t}. We show that f?L_p(μ) implies λR_λf(x) → f(x) a.e. as λ → ∞.     

Chirp transforms and Chirp series

Motivated by the recent work on the non-harmonic Fourier atoms initiated by T. Qian and the non-harmonic Fourier series which originated from the celebrated work of Paley and Wiener, we introduce an integral version of the non-harmonic Fourier series, called Chirp transform. As an integral transform with kernel ei?(t)θ(ω), the Chirp transform is an unitary isometry from L²(R,d?) onto L²(R,dθ) and it can be explicitly defined in terms of generalized Hermite polynomials. The corresponding Chirp series take einθ(t) as a basis which in some sense is dual to the theory of non-harmonic Fourier series which take eiλnt as a basis. The Chirp version of the Shannon sampling theorem and the Poisson summation formula are also considered by dealing with sampling points which may non-equally distributed. Since the Chirp transform interchanges weighted derivatives into multiplications, it plays a role in solving certain differential equations with variable coefficients. In addition, we extend T. Qian's theorem on the characterization of a measure to be a linear combination of a number of harmonic measures on the unit disc with positive integer coefficients to that with positive rational coefficients.     

具有奇异性的周期椭圆算子的绝对连续性

该文研究周期椭圆算子sun from(j,l=1) to d D_(jw)(x)a_(jl)D_l+V(x)在R~d(d≥3)中的谱性质,其中A=(a_(jl))是d×d阶的实常值正定矩阵,V(x)和w(x)是关于相同格点的周期标量函数,并且w(x)是正的.利用文中第一作者建立的d-环面上的一致Sobolev不等式,证明了该算子的谱是纯绝对连续的,如果V∈L_(loc)~(2pd/(d+2p))(R~d)且w∈A_(1+α)~(p,∞)(T~d)∩L~∞(T~d)(α0,p≥d),或者V∈L_(loc)~(2d/3)/(R~d),ω∈C~1(T~d),或者V∈L_(loc)~(d/2)(R~d),w∈L_(2,loc)~(d/2)(T~d).     

An analogue of the Riesz-Haviland theorem for the truncated moment problem

Let β≡β(2n)={βi}_|i|?2n denote a d-dimensional real multisequence, let K denote a closed subset of Rd, and let . Corresponding to β, the Riesz functionalL≡Lβ:P2n→R is defined by L(∑aixi):=∑aiβi. We say that L is K-positive if whenever p∈P2n and pK_|?0, then L(p)?0. We prove that β admits a K-representing measure if and only if Lβ admits a K-positive linear extension . This provides a generalization (from the full moment problem to the truncated moment problem) of the Riesz-Haviland theorem. We also show that a semialgebraic set solves the truncated moment problem in terms of natural “degree-bounded” positivity conditions if and only if each polynomial strictly positive on that set admits a degree-bounded weighted sum-of-squares representation.     

An example concerning the zero set of the Jacobian

Let f∈W1,1(Ω,Rn) be a homeomorphism of finite distortion K. It is known that if K1/(n−1)∈L¹(Ω), then the Jacobian Jf of f is positive almost everywhere in Ω. We will show that this integrability assumption on K is sharp in any Orlicz-scale: if α is increasing function (satisfying minor technical assumptions) such that limt→∞α(t)=∞, then there exists f such that K1/(n−1)/α(K)∈L¹(Ω) and Jf vanishes in a set of positive measure.     

The existence of tight Gabor duals for Gabor frames and subspace Gabor frames

Let K and L be two full-rank lattices in Rd. We give a complete characterization for all the Gabor frames that admit tight dual of the same type. The characterization is given in terms of the center-valued trace of the von Neumann algebra generated by the left regular projective unitary representations associated with the time-frequency lattice K×L. Two applications of this characterization were obtained: (i) We are able to prove that every Gabor frame has a tight dual if and only if the volume of K×L is less than or equal to . (ii) We are able to obtain sufficient or necessary conditions for the existence of tight Gabor pseudo-duals for subspace Gabor frames in various cases. In particular, we prove that every subspace Gabor frame has a tight Gabor pseudo-dual if either the volume or v(K×L)?2. Moreover, if K=αZd, L=βZd with αβ=1, then a subspace Gabor frame G(g,L,K) has a tight Gabor pseudo-dual only when G(g,L,K) itself is already tight.     

Multilinear Calderón-Zygmund operators on the product of Lebesgue spaces with non-doubling measures

Under the assumption that μ is a non-doubling measure on Rd, the author proves that for the multilinear Calderón-Zygmund operator, its boundedness from the product of Hardy space H¹(μ)×H¹(μ) into L1/2(μ) implies its boundedness from the product of Lebesgue spaces Lp₁(μ)×Lp₂(μ) into Lp(μ) with 1<p₁,p₂<∞ and p satisfying 1/p=1/p₁+1/p₂.     

Probability and Fourier Duality for Affine Iterated Function Systems

Let d be a positive integer, and let μ be a finite measure on ? ^d . In this paper we ask when it is possible to find a subset Λ in ? ^d such that the corresponding complex exponential functions e _λ indexed by Λ are orthogonal and total in L ²(μ). If this happens, we say that (μ,Λ) is a spectral pair. This is a Fourier duality, and the x-variable for the L ²(μ)-functions is one side in the duality, while the points in Λ is the other. Stated this way, the framework is too wide, and we shall restrict attention to measures μ which come with an intrinsic scaling symmetry built in and specified by a finite and prescribed system of contractive affine mappings in ? ^d ; an affine iterated function system (IFS). This setting allows us to generate candidates for spectral pairs in such a way that the sets on both sides of the Fourier duality are generated by suitably chosen affine IFSs. For a given affine setup, we spell out the appropriate duality conditions that the two dual IFS-systems must have. Our condition is stated in terms of certain complex Hadamard matrices. Our main results give two ways of building higher dimensional spectral pairs from combinatorial algebra and spectral theory applied to lower dimensional systems.     

关于L2(Rd)中仿射子空间小波标架的一个注记

研究了L2(Rd)的有限生成仿射子空间中小波标架的构造.证明了任意有限生成仿射子空间都容许一个具有有限多个生成元的Parseval小波标架,并且得到了仿射子空间是约化子空间的一个充分条件.对其傅里叶变换是一个特征函数的单个函数生成的仿射子空间,得到了与小波标架构造相关的投影算子在傅里叶域上的明确表达式,同时也给出了一些例子.     

Bernoulli convolutions associated with certain non-Pisot numbers

The Bernoulli convolution ν_λ measure is shown to be absolutely continuous with L² density for almost all , and singular if λ⁻¹ is a Pisot number. It is an open question whether the Pisot type Bernoulli convolutions are the only singular ones. In this paper, we construct a family of non-Pisot type Bernoulli convolutions ν_λ such that their density functions, if they exist, are not L². We also construct other Bernoulli convolutions whose density functions, if they exist, behave rather badly.     

Weighted irregular Gabor tight frames and dual systems using windows in the Schwartz class

We give a characterization for the weighted irregular Gabor tight frames or dual systems in L²(Rn) in terms of the distributional symplectic Fourier transform of a positive Borel measure on R2n naturally associated with the system and the short-time Fourier transform of the windows in the case where the window (or at least one of the windows in the case of dual systems) belongs to S(Rn). This result implies that, for certain classes of windows such as generalized Gaussians or “extreme-value” windows, the only weighted irregular Gabor tight frames (or even dual systems with both windows in the same class) that can be constructed with these windows are the trivial ones, corresponding to the measure μ=1 on R2n. Furthermore, we show that, if a such Gabor system admits a dual which is of Gabor type, then the Beurling density of the associated measure exists and is equal to one.     

Unconditional martingale difference sequences in Banach spaces

For a Banach space Y, the question of whether Lp(μ,Y) has an unconditional basis if 1<p<∞ and Y has unconditional basis, stood unsolved for a long time and was answered in the negative by Aldous. In this work we prove a weaker, positive result related to this question. We show that if (yj) is a basis of Y and (di) is a martingale difference sequence spanning Lp(μ) then the sequence (di⊗yj) is a basis of Lp(μ,Y) for 1?p<∞. Moreover, if 1<p<∞ and (yj) is unconditional then (di⊗yj) is strictly dominated by an unconditional tensor product basis. In addition, for 1<p<∞, we show that if (di)⊂Lp(μ) is a martingale difference sequence then there exists a constant K>0 so that

     

Some Estimates for the Norm of the Bergman Projection on Besov Spaces

In this paper we obtain an estimate of the norm of the Bergman projection from L ^p (D, dλ) onto the Besov space B _p , 1 < p < + ∞. The result is asymptotically sharp when p → + ∞. Further for the case P : L ¹(D, dλ) → B ₁, we consider some weak type inequalities with the corresponding spaces.     

Explicit eigenvalue estimates for transfer operators acting on spaces of holomorphic functions

We consider transfer operators acting on spaces of holomorphic functions, and provide explicit bounds for their eigenvalues. More precisely, if Ω is any open set in Cd, and L is a suitable transfer operator acting on Bergman space A²(Ω), its eigenvalue sequence {λn(L)} is bounded by |λn(L)|?Aexp(−an1/d), where a,A>0 are explicitly given.     

Tame linear extension operators for smooth Whitney functions

For a compact set K⊆Rd we present a rather easy construction of a linear extension operator E:E(K)→C^∞(Rd) for the space of Whitney jets E(K) which satisfies linear tame continuity estimates , where ‖⋅s_‖ denotes the s-th Whitney norm. The construction turns out to be possible if and only if the local Markov inequality LMI(s) introduced by Bos and Milman holds for every s>r on K. In particular, E(K) admits a tame linear extension operator if and only if the local Markov inequality LMI(s) holds on K for some s?1.