Orthogonality criteria for compactly supported refinable functions and refinable function vectors

A refinable function φ(x):ℝⁿ→ℝ or, more generally, a refinable function vector Φ(x)=[φ₁(x),...,φ_r(x)]^T is an L¹ solution of a system of (vector-valued) refinement equations involving expansion by a dilation matrix A, which is an expanding integer matrix. A refinable function vector is called orthogonal if {φ_j(x−α):α∈ℤⁿ, 1≤j≤r form an orthogonal set of functions in L²(ℝⁿ). Compactly supported orthogonal refinable functions and function vectors can be used to construct orthonormal wavelet and multiwavelet bases of L²(ℝⁿ). In this paper we give a comprehensive set of necessary and sufficient conditions for the orthogonality of compactly supported refinable functions and refinable function vectors.     

Affine Synthesis onto L p when 0<p≤1

The affine synthesis operator is shown to map the coefficient space ℓ ^p (ℤ₊×ℤ ^d ) surjectively onto L ^p (ℝ ^d ), for p∈(0,1]. Here ψ _j,k (x)=|det a _j |^1/p ψ(a _j x−k) for dilation matrices a _j that expand, and the synthesizer ψ∈L ^p (ℝ ^d ) need satisfy only mild restrictions, for example, ψ∈L ¹(ℝ ^d ) with nonzero integral or else with periodization that is real-valued, nontrivial and bounded below. An affine atomic decomposition of L ^p follows immediately:

Dual Wavelet Frames and Riesz Bases in Sobolev Spaces

This paper generalizes the mixed extension principle in L ₂(ℝ ^d ) of (Ron and Shen in J. Fourier Anal. Appl. 3:617–637, 1997) to a pair of dual Sobolev spaces H ^s (ℝ ^d ) and H ^−s (ℝ ^d ). In terms of masks for φ,ψ ¹,…,ψ ^L ∈H ^s (ℝ ^d ) and , simple sufficient conditions are given to ensure that (X ^s (φ;ψ ¹,…,ψ ^L ), forms a pair of dual wavelet frames in (H ^s (ℝ ^d ),H ^−s (ℝ ^d )), where

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     

Generalized low pass filters and MRA frame wavelets

A tight frame wavelet ψ is an L ²(ℝ) function such that {ψ jk(x)} = {2^j/2 ψ(2 ^j x −k), j, k ∈ ℤ},is a tight frame for L ² (ℝ).We introduce a class of “generalized low pass filters” that allows us to define (and construct) the subclass of MRA tight frame wavelets. This leads us to an associated class of “generalized scaling functions” that are not necessarily obtained from a multiresolution analysis. We study several properties of these classes of “generalized” wavelets, scaling functions and filters (such as their multipliers and their connectivity). We also compare our approach with those recently obtained by other authors.     

Density of weighted wavelet frames

If ψ ∈ L²(R), Λ is a discrete subset of the affine groupA =R ⁺ ×R, and w: Λ →R ⁺ is a weight function, then the weighted wavelet system generated by ψ, Λ, and w is . In this article we define lower and upper weighted densities D _w ⁻ (Λ) and D _w ⁺ (Λ) of Λ with respect to the geometry of the affine group, and prove that there exist necessary conditions on a weighted wavelet system in order that it possesses frame bounds. Specifically, we prove that if W(ψ, Λ, w) possesses an upper frame bound, then the upper weighted density is finite. Furthermore, for the unweighted case w = 1, we prove that if W(ψ, Λ, 1) possesses a lower frame bound and D _w ⁺ (Λ⁻¹) < ∞, then the lower density is strictly positive. We apply these results to oversampled affine systems (which include the classical affine and the quasi-affine systems as special cases), to co-affine wavelet systems, and to systems consisting only of dilations, obtaining some new results relating density to the frame properties of these systems.     

The Balian-Low theorem and regularity of Gabor systems

For any positive real numbers A, B, and d satisfying the conditions , d>2, we construct a Gabor orthonormal basis for L²(ℝ), such that the generating function g∈L²(ℝ) satisfies the condition:∫_ℝ|g(x)|²(1+|x| ^A )/log ^d (2+|x|)dx < ∞ and .     

Correlation structure of intermittency in the parabolic Anderson model

Consider the Cauchy problem ∂u(x, t)/∂t = ℋu(x, t) (x∈ℤ^d, t≥ 0) with initial condition u(x, 0) ≡ 1 and with ℋ the Anderson Hamiltonian ℋ = κΔ + ξ. Here Δ is the discrete Laplacian, κ∈ (0, ∞) is a diffusion constant, and ξ = {ξ(x): x∈ℤ ^d } is an i.i.d.random field taking values in ℝ. G?rtner and Molchanov (1990) have shown that if the law of ξ(0) is nondegenerate, then the solution u is asymptotically intermittent. In the present paper we study the structure of the intermittent peaks for the special case where the law of ξ(0) is (in the vicinity of) the double exponential Prob(ξ(0) > s) = exp[−e ^{s /θ}] (s∈ℝ). Here θ∈ (0, ∞) is a parameter that can be thought of as measuring the degree of disorder in the ξ-field. Our main result is that, for fixed x, y∈ℤ ^d and t→∈, the correlation coefficient of u(x, t) and u(y, t) converges to ∥w _ρ∥⁻² _ℓ2Σ_{z ∈ℤd} w _ρ(x+z)w _ρ(y+z). In this expression, ρ = θ/κ while w _ρ:ℤ^d→ℝ⁺ is given by w _ρ = (v _ρ)^{⊗ d} with v _ρ: ℤ→ℝ⁺ the unique centered ground state (i.e., the solution in ℓ²(ℤ) with minimal l ²-norm) of the 1-dimensional nonlinear equation Δv + 2ρv log v = 0. The uniqueness of the ground state is actually proved only for large ρ, but is conjectured to hold for any ρ∈ (0, ∞). empty It turns out that if the right tail of the law of ξ(0) is thicker (or thinner) than the double exponential, then the correlation coefficient of u(x, t) and u(y, t) converges to δ _{x, y} (resp.the constant function 1). Thus, the double exponential family is the critical class exhibiting a nondegenerate correlation structure. Received: 5 March 1997 / Revised version: 21 September 1998     

Riesz multiwavelet bases generated by vector refinement equation

In this paper, we investigate compactly supported Riesz multiwavelet sequences and Riesz multiwavelet bases for L ₂(ℝ ^s ). Suppose ψ = (ψ¹,..., ψ ^r ) ^T and are two compactly supported vectors of functions in the Sobolev space (H ^μ(ℝ ^s )) ^r for some μ > 0. We provide a characterization for the sequences {ψ _jk ^l : l = 1,...,r, j ε ℤ, k ε ℤ ^s } and to form two Riesz sequences for L ₂(ℝ ^s ), where ψ _jk ^l = m ^j/2ψ ^l (M ^j ·−k) and , M is an s × s integer matrix such that lim _n→∞ M ⁻ⁿ = 0 and m = |detM|. Furthermore, let ϕ = (ϕ¹,...,ϕ ^r ) ^T and be a pair of compactly supported biorthogonal refinable vectors of functions associated with the refinement masks a, and M, where a and are finitely supported sequences of r × r matrices. We obtain a general principle for characterizing vectors of functions ψ^ν = (ψ^ν1,...,ψ^νr ) ^T and , ν = 1,..., m − 1 such that two sequences {ψ _jk ^νl : ν = 1,..., m − 1, l = 1,...,r, j ε ℤ, k ε ℤ ^s } and { : ν=1,...,m−1,ℓ=1,...,r, j ∈ ℤ, k ∈ ℤ ^s } form two Riesz multiwavelet bases for ^L ₂(ℝ ^s ). The bracket product [f, g] of two vectors of functions f, g in (L ₂(ℝ ^s )) ^r is an indispensable tool for our characterization. This work was supported by National Natural Science Foundation of China (Grant Nos. 10771190, 10471123)     

Some properties for a class of symmetric functions with applications

For x = (x ₁, x ₂, ..., x _n ) ∈ ℝ₊ ⁿ , the symmetric function ψ _n (x, r) is defined by $\psi _n (x,r) = \psi _n \left( {x_1 ,x_2 , \cdots ,x_n ;r} \right) = \sum\limits_{1 \leqslant i_1 < i_2 \cdots < i_r \leqslant n} {\prod\limits_{j = 1}^r {\frac{{1 + x_{i_j } }} {{x_{i_j } }}} } ,$\psi _n (x,r) = \psi _n \left( {x_1 ,x_2 , \cdots ,x_n ;r} \right) = \sum\limits_{1 \leqslant i_1 < i_2 \cdots < i_r \leqslant n} {\prod\limits_{j = 1}^r {\frac{{1 + x_{i_j } }} {{x_{i_j } }}} } ,     

Construction of a class of multivariate compactly supported wavelet bases for L 2(? d )

In this paper, for a given d×d expansive matrix M with |detM| = 2, we investigate the compactly supported M-wavelets for L ²(ℝ ^d ). Starting with a pair of compactly supported refinable functions ϕ and [(j)\tilde]\tilde \varphi satisfying a mild condition, we obtain an explicit construction of a compactly supported wavelet ψ such that {2 ^j/2 ψ(M ^j · −k): j ∈ ℤ, k ∈ ℤd} forms a Riesz basis for L ²(ℝ ^d ). The (anti-)symmetry of such ψ is studied, and some examples are also provided.     

Functional Gabor frame multipliers

A Gabor frame multiplier is a bounded operator that maps normalized tight Gabor frame generators to normalized tight Gabor frame generators. While characterization of such operators is still unknown, we give a complete characterization for the functional Gabor frame multipliers. We prove that a L^∞ -function h is a functional Gabor frame multiplier (for the time-frequency lattice aℤ × bℤ) if and only if it is unimodular and is a-periodic. Along the same line, we also characterize all the Gabor frame generators g (resp. frame wavelets ψ) for which there is a function ∈ L^∞(ℝ) such that {wg_mn} (resp. ωψ_k,ℝ) is a normalized tight frame.     

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:

Spherical means and the restriction phenomenon

Let Γ be a smooth compact convex planar curve with arc length dm and let dσ=ψ dm where ψ is a cutoff function. For Θ∈SO (2) set σ_Θ(E) = σ(ΘE) for any measurable planar set E. Then, for suitable functions f in ℝ², the inequality.

A characterization of the higher dimensional groups associated with continuous wavelets

A subgroup D of GL (n, ℝ) is said to be admissible if the semidirect product of D and ℝ ⁿ , considered as a subgroup of the affine group on ℝ ⁿ , admits wavelets ψ ∈ L²(ℝ ⁿ ) satisfying a generalization of the Calderón reproducing, formula. This article provides a nearly complete characterization of the admissible subgroups D. More precisely, if D is admissible, then the stability subgroup D_x for the transpose action of D on ℝ ⁿ must be compact for a. e. x. ∈ ℝ ⁿ ; moreover, if Δ is the modular function of D, there must exist an a ∈ D such that |det a| ≠ Δ(a). Conversely, if the last condition holds and for a. e. x ∈ ℝ ⁿ there exists an ε > 0 for which the ε-stabilizer D _x ^ε is compact, then D is admissible. Numerous examples are given of both admissible and non-admissible groups.     

Oscillating multipliers for some eigenfunction expansions

Let P be a non-negative, self-adjoint differential operator of degree d on ℝⁿ. Assume that the associated Bochner-Riesz kernel s _R ^δ satisfies the estimate, |s _R ^δ (x, y)| ≤ C R^n/d(1+R^1/d|x - y|^-αδ+β)for some fixed constants a>0 and β. We study L^p boundedness of operators of the form m(P), m coming from the symbol class S _p ^−α . We prove that m(P) is bounded on L^P if . We also study multipliers associated to the Hermite operator H on ℝⁿ and the special Hermite operator L on ℂⁿ given by the symbols . As a special case we obtain L^p boundedness of solutions to the Wave equation associated to H and L.     

On a class of nonlinear problems involving a p(x)-Laplace type operator

We study the boundary value problem in Ω, u = 0 on ∂Ω, where Ω is a smooth bounded domain in ℝ ^N . Our attention is focused on two cases when , where m(x) = max{p ₁(x), p ₂(x)} for any x ∈ or m(x) < q(x) < N · m(x)/(N − m(x)) for any x ∈ . In the former case we show the existence of infinitely many weak solutions for any λ > 0. In the latter we prove that if λ is large enough then there exists a nontrivial weak solution. Our approach relies on the variable exponent theory of generalized Lebesgue-Sobolev spaces, combined with a ℤ₂-symmetric version for even functionals of the Mountain Pass Theorem and some adequate variational methods.     

Discrete spectrum in the gaps of a perturbed pseudorelativistic hamiltonian

The pseudorelativistic Hamiltonian is considered under wide conditions on potentials A(x), W(x). It is assumed that a real point λ is regular for G_1/2. Let G_1/2(α)=G_1/2−αV, where α>0, V(x)≥0, and V ∈L _d(ℝ^d). Denote by N(λ, α) the number of eigenvalues of G_1/2(t) that cross the point λ as t increases from 0 to α. A Weyl-type asymptotics is obtained for N(λ, α) as α→∞. Bibliography: 5 titles. To O. A. Ladyzhenskaya Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 249, 1997. pp. 102–117. Translated by A. B. Pushnitskii.     

Patterns of exponential decay for solutions to second order elliptic equations in a sector ofR 2

We consider solutions ψ to equations of the form in a sector Ω ofR ². The basic assumptions are that the limitsa _ij(x)→δ_ij,b _i(x)→0,c _i→E at infinity are achieved at certain rates and thatg decays faster than ψ. We then discuss the possible patterns of exponential decay for ψ in Ω. NSERC University Research Fellow. Research partially supported by USNEF grant MCS-83-01159.     

Homogenization in the scattering problem

The scattering problem is studied, which is described by the equation (-Δ _x +q(x,x/ɛ)−E)ψ = f(x), where ψ = ψ (x,ɛ) ∈ ℂ, x ℂ ℝ ^d , ɛ > 0, E > 0, the function q(x,y) is periodic with respect to y, and the function f is compactly supported. The solution satisfying radiation conditions at infinity is considered, and its asymptotic behavior as ɛ → O is described. The asymptotic behavior of the scattering amplitude of a plane wave is also considered. It is shown that in principal order both the solution and the scattering amplitude are described by the homogenized equation with potential