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.     

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.     

Inhomogeneous refinement equations

Equations with two time scales (refinement equations or dilation equations) are central to wavelet theory. Several applications also include an inhomogeneous forcing term F(t). We develop here a part of the existence theory for the inhomogeneous refinement equation

Average B-width and infinite dimensional G-width of some smooth function classes on the line

In this paper, we get the exact values of average σ-B width and infinite dimensional σ-G width of Sobolev class B^r _p(R) in the metric L_p(R) (1≤p≤∞) and obtain the exact (σ∈N) and strong asymptotic (σ>1) results of infinite dimensional σ-G widths of Sobolev-Wiener class W^r _pq (R) in the metric L_q(R) and its dual case W^r _p(R) in the metric L_qp(R) (1≤q≤p≤∞).     

The Dichotomy Between Traces on d-sets F in R^n and the Density of D（R^n／Г） in Function Spaces

A space Apq^s （R^n） with A ： B or A = F and s ∈R, 0 〈 p, q 〈 ∞ either has a trace in Lp（Г）, where Г is a compact d-set in R^n with 0 〈 d 〈 n, or D（R^n／Г） is dense in it. Related dichotomy numbers are introduced and calculated.     

Average B-width and infinite dimensional G-width of some smooth function classes on the line

In this paper, we get the exact values of average σ-B width and infinite dimensional σ-G width of Sobolev class B^r _p(R) in the metric L_p(R) (1≤p≤∞) and obtain the exact (σ∈N) and strong asymptotic (σ>1) results of infinite dimensional σ-G widths of Sobolev-Wiener class W^r _pq (R) in the metric L_q(R) and its dual case W^r _p(R) in the metric L_qp(R) (1≤q≤p≤∞). Supported by the National Natural Science Foundation of China (No. 19671012) and by the Doctoral Programme Foundation of Institution of Higher Education of National Education Committee of China.     

On Translation and Affine Systems Spanning L1(ℝ)

We show that the discrete translation parameter sets Λ ⊂ ℝ for which some φ ∈ L¹(ℝ) exists such that the translates φ(x − λ), λ ∈ Λ, span L¹(ℝ) are exactly the uniqueness sets for certain quasianalytic classes, and give explicit constructions of such generators φ. We also consider a similar situation for affine systems of the type φ(μx − λ), μ ∈ Γ, λ ∈ Λ.     

Stochastic comparison and preservation of positive correlations for Lévy-type processes

The stochastic comparison and preservation of positive correlations for Levy-type processes on R^d are studied under the condition that Levy measure v satisfies f{0〈｜z｜≤1）｜z｜｜v（x, dz） - v（x, d（-z））｜ 〈 ∞, x∈ R^d, while the sufficient conditions and necessary ones for them are obtained. In some cases the conditions for stochastic comparison are not only sufficient but also necessary.     

Two order superconvergence of finite element methods for Sobolev equations

We consider finite element methods applied to a class of Sobolev equations inR ^d(d ≥ 1). Global strong superconvergence, which only requires that partitions are quais-uniform, is investigated for the error between the approximate solution and the Ritz-Sobolev projection of the exact solution. Two order superconvergence results are demonstrated inW ^1,p (Ω) andL _p(Ω) for 2 ≤p < ∞.     

SOME MULTIPLIER THEOREMS FOR ANISOTROPIC HARDY SPACES ——In Memory of Professor Yongsheng Sun

Let A be a symmetric expansive matrix and Hp(Rn) be the anisotropic Hardy space associated with A. For a function m in L∞(Rn), an appropriately chosen function η in Cc∞(Rn) and j ∈ Z define mj(ξ) = m(Ajξ)η(ξ). The authors show that if 0 ＜ p ＜ 1 and (m)j belongs to the anisotropic nonhomogeneous Herz space K11/p-1,p(Rn), then m is a Fourier multiplier from Hp(Rn) to Lp(Rn). For p = 1, a similar result is obtained if the space K10,1(Rn) is replaced by a slightly smaller space K(w).Moreover, the authors show that if 0 ＜ p ≤ 1 and if the sequence {(mj)V} belongs to a certain mixednorm space, depending on p, then m is also a Fourier multiplier from Hp(Rn) to Lp(Rn).     

On the maximal operator associated with certain rotational invariant measures

The aim of this work is to investigate the integrability properties of the maximal operator Mu,associated with a non-doubling measure μ defined on Rn. We start by establishing for a wide class of radial and increasing measures μ that Mu is bounded on all the spaces Lu^p（R^n）,P〉1.Also,we show that there is a radial and increasing measure p for which Mμ does not map Lμ^p（R^n） into weak Lμ^p（R^n）,1≤p〈∞.     

Discrete Calderón’s Identity,Atomic Decomposition and Boundedness Criterion of Operators on Multiparameter Hardy Spaces

In this paper we establish a discrete Calderón’s identity which converges in both L ^q (ℝ ^n+m ) (1<q<∞) and Hardy space H ^p (ℝ ⁿ ×ℝ ^m ) (0<p≤1). Based on this identity, we derive a new atomic decomposition into (p,q)-atoms (1<q<∞) on H ^p (ℝ ⁿ ×ℝ ^m ) for 0<p≤1. As an application, we prove that an operator T, which is bounded on L ^q (ℝ ^n+m ) for some 1<q<∞, is bounded from H ^p (ℝ ⁿ ×ℝ ^m ) to L ^p (ℝ ^n+m ) if and only if T is bounded uniformly on all (p,q)-product atoms in L ^p (ℝ ^n+m ). The similar result from H ^p (ℝ ⁿ ×ℝ ^m ) to H ^p (ℝ ⁿ ×ℝ ^m ) is also obtained.     

An elementary approach to gap theorems

Using elementary comparison geometry, we prove: Let (M, g) be a simply-connected complete Riemannian manifold of dimension ≥ 3. Suppose that the sectional curvature K satisfies −1 − s(r) ≤ K ≤ −1, where r denotes distance to a fixed point in M. If lim _{r → ∞} e^2r s(r) = 0, then (M, g) has to be isometric to ℍ ⁿ . The same proof also yields that if K satisfies −s(r) ≤ K ≤ 0 where lim _{r → ∞} r ² s(r) = 0, then (M, g) is isometric to ℝ ⁿ , a result due to Greene and Wu. Our second result is a local one: Let (M, g) be any Riemannian manifold. For a ∈ ℝ, if K ≤ a on a geodesic ball B _p (R) in M and K = a on ∂B _p (R), then K = a on B _p (R).     

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

A Variational ODE and its Application to an Elliptic Problem

In this paper,we consider the following ODE problem(P)where f ∈ C((0, ∞)×R,R),f(r,s)goes to p(r)and q(r)uniformly in r>0 as s→0 and s→ ∞,respectively,0≤p(r)≤q(r)∈ L~∞(0,∞).Moreover,for r>0,f(r,s)is nondecreasing in s≥0.Some existenceand non-existence of positive solutions to problem(P)are proved without assuming that p(r)≡0 and q(r)hasa limit at infinity.Based on these results,we get the existence of positive solutions for an elliptic problem.     

Growth and Hölder conditions for the sample paths of Feller processes

Let (A,D(A)) be the infinitesimal generator of a Feller semigroup such that C _c ^∞(ℝ ⁿ )⊂D(A) and A|C _c ^∞(ℝ ⁿ ) is a pseudo-differential operator with symbol −p(x,ξ) satisfying |p(•,ξ)|_∞≤c(1+|ξ|²) and |Imp(x,ξ)|≤c ₀Rep(x,ξ). We show that the associated Feller process {X _t } _{t ≥0} on ℝ ⁿ is a semimartingale, even a homogeneous diffusion with jumps (in the sense of [21]), and characterize the limiting behaviour of its trajectories as t→0 and ∞. To this end, we introduce various indices, e.g., β_∞ ^x :={λ>0:lim _{|ξ|→∞ | x − y |≤2/|ξ|}|p(y,ξ)|/|ξ|^λ=0} or δ_∞ ^x :={λ>0:liminf _{|ξ|→∞ | x − y |≤2/|ξ| |ε|≤1}|p(y,|ξ|ε)|/|ξ|^λ=0}, and obtain a.s. (ℙ ^x ) that lim _{t →0} t ^−1/λ _{s ≤ t} |X _s −x|=0 or ∞ according to λ>β_∞ ^x or λ<δ_∞ ^x . Similar statements hold for the limit inferior and superior, and also for t→∞. Our results extend the constant-coefficient (i.e., Lévy) case considered by W. Pruitt [27]. Received: 21 July 1997 / Revised version: 26 January 1998     

The independence of initial vectors in the subdivision schemes

Starting with an initial vector λ = (λ(κ))κ∈z ∈ ep(Z), the subdivision scheme generates asequence (Snaλ)∞n=1 of vectors by the subdivision operator Saλ(κ) = ∑λ(j)a(k - 2j), k ∈ Z. j∈zSubdivision schemes play an important role in computer graphics and wavelet analysis. It is very interesting tounderstand under what conditions the sequence (Snaλ)∞n=1 converges to an Lp-function in an appropriate sense.This problem has been studied extensively. In this paper we show that the subdivision scheme converges forany initial vector in ep(Z) provided that it does for one nonzero vector in that space. Moreover, if the integertranslates of the refinable function are stable, the smoothness of the limit function corresponding to the vectorλ is also independent of λ.     

Eigensystem of an <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-perturbed harmonic oscillator is an unconditional basis

For any complex valued L ^p -function b(x), 2 ≤ p < ∞, or L ^∞-function with the norm ‖b↾L ^∞‖ < 1, the spectrum of a perturbed harmonic oscillator operator L = −d ²/dx ² + x ² + b(x) in L ²(ℝ¹) is discrete and eventually simple. Its SEAF (system of eigen- and associated functions) is an unconditional basis in L ²(ℝ).     

Large antipodal families

A family {A _i | i ∈ I} of sets in ℝ ^d is antipodal if for any distinct i, j ∈ I and any p ∈ A _i , q ∈ A _j , there is a linear functional ϕ:ℝ ^d → ℝ such that ϕ(p) ≠ ϕ(q) and ϕ(p) ≤ ϕ(r) ≤ ϕ(q) for all r ∈ ∪ _i∈I A _i . We study the existence of antipodal families of large finite or infinite sets in ℝ³. The research was supported by the Hungarian-South African Intergovernmental Scientific and Technological Cooperation Programme, NKTH Grant no. ZA-21/2006 and South African National Research Foundation Grant no. UID 61853, as well as Hungarian National Foundation for Scientific Research Grants no. NK 67867, no. T47102, and no. K72537.     

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)