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

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

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

Some simple Haar-type wavelets in higher dimensions

An orthonormal wavelet system in ℝ^d, d ∈ ℕ, is a countable collection of functions {ψ _j,k ^ℓ }, j ∈ ℤ, k ∈ ℤ^d, ℓ = 1,..., L, of the form that is an orthonormal basis for L² (ℝ^d), where a ∈ GL_d (ℝ) is an expanding matrix. The first such system to be discovered (almost 100 years ago) is the Haar system for which L = d = 1, ψ¹(x) = ψ(x) = κ[0,1/2)^(x) − κ_[l/2,1) ^(x), a = 2. It is a natural problem to extend these systems to higher dimensions. A simple solution is found by taking appropriate products Φ(x₁, x₂, ..., x_d) = φ₁ (x₁)φ₂(x₂) ... φ_d(x_d) of functions of one variable. The obtained wavelet system is not always convenient for applications. It is desirable to find “nonseparable” examples. One encounters certain difficulties, however, when one tries to construct such MRA wavelet systems. For example, if a = ( _1-1 ^{1 1} ) is the quincunx dilation matrix, it is well-known (see, e.g., [5]) that one can construct nonseparable Haar-type scaling functions which are characteristic functions of rather complicated fractal-like compact sets. In this work we shall construct considerably simpler Haar-type wavelets if we use the ideas arising from “composite dilation” wavelets. These were developed in [7] and involve dilations by matrices that are products of the form a^jb, j ∈ ℤ, where a ∈ GL_d(ℝ) has some “expanding” property and b belongs to a group of matrices in GL_d(ℝ) having |det b| = 1.     

Quasiperiodic Motions for Asymmetric Oscillators

We prove the existence of quasiperiodic solutions and Lagrange stability for a class of differential equations with jumping nonlinearity , where a,b > 0, p(t) ∈C(ℝ/2πℤ) and φ : ℝ→ℝ is an unbounded function. Supported by the National Natural Science Foundation of China     

A joint norm control Nehari type theorem forN-tuples of Hardy spaces

If N ∈ ℕ, 0 < p ≤ 1, and(X_k) _k=1 ^N are r.i.p-spaces, it is shown that there is C(= C(p, N)) > 0, such that for every ƒ ∈ ∩ _k=1 ^N X_k, there exists with , for every 1 ≤ k ≤ N. Also, if ⊓ is a convex polygon in ℝ², it is proved that the N-tuple (H(X₁),…, H(X_n)) is K_⊓-closed with respect to (X₁,…, X_N) in the sense of Pisier. Everything follows from Theorem 2.1, which is a general analytic partition of unity type result.     

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.     

Necessary and sufficient conditions for the lipschitzian invertibility of nonlinear difference operators in the spacesl p (ℤ, ℝ) with 1≤p≤∞with 1≤p≤∞

Necessary and sufficient conditions for the Lipschitzian invertibility of the difference map

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)     

Corps biquadratiques monogènes

Let be a biquadratic number field (where d,m,n∈ℤ, are uniquely determined); we say that it is monogenic if its ring of integers O_K is of the form ℤ[θ]. We show that K is monogenic if and only if the two following conditions are satisfied:

Solvability of elliptic functional-differential equations with compressions of the arguments in weighted spaces

In the paper, the equation

The region of values of a system of functionals in the class of typically real functions

Let T_R be the class of functions that are regular and typically real in the disk E={z:⋱z⋱<1}. For this class, the region of values of the system {f(z₀), f(r)} for z₀ ∈ ℝ, r∈(-1,1) is studied. The sets D_r={f(z₀):f∈T_R, f(r)=a} for −1≤r≤1 and Δ_r={(c₂, c₃): f ∈ T_R, −f(−r)=a} for 0<r≤1 are found, where aε(r(1+r)⁻², r(1−r)⁻²) is an arbitrary fixed number. Bibliography: 11 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 226, 1996, pp. 69–79.     

Existence of solutions for elliptic problems with critical Sobolev-Hardy exponents

Let Ω ⊂ ℝ ^N be a smooth bounded domain such that 0 ∈ Ω,N≥3, 0≤s<2,2^* (s)=2(N−s)/(N−2). We prove the existence of nontrival solutions for the singular critical problem with Dirichlet boundary condition on Ω for suitable positive parameters λ and μ. Corresponding author. This work is supported partly by the National Natural Science Foundation of China (No. 10171036) and the Natural Science Foundation of South-Central University For Nationalities (No. YZZ03001). The authors sincerely thank Prof. Daomin Cao (AMSS, Chinese Academy of Sciences) for helpful discussions and suggestions.     

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.     

Multivariate refinement equation with nonnegative masks

This paper is concerned with multivariate refinement equations of the type where (?) is the unknown function defined on the s-dimensional Euclidean space Rs, a is a finitely supported nonnegative sequence on Zs, and M is an s×s dilation matrix with m := |detM|. We characterize the existence of L2-solution of refinement equation in terms of spectral radius of a certain finite matrix or transition operator associated with refinement mask a and dilation matrix M. For s = 1 and M = 2, the sufficient and necessary conditions are obtained to characterize the existence of continuous solution of this refinement equation.     

A Fully Nonlinear Nonhomogeneous Neumann Problem

Let Ω be an open bounded set in ℝ^N, N≥3, with connected Lipschitz boundary ∂Ω and let a(x,ξ) be an operator of Leray–Lions type (a(⋅,∇u) is of the same type as the operator |∇u|^p−2∇u, 1<p<N). If τ is the trace operator on ∂Ω, [φ] the jump across ∂Ω of a function φ defined on both sides of ∂Ω, the normal derivative ∂/∂ν_a related to the operator a is defined in some sense as 〈a(⋅,∇u),ν〉, the inner product in ℝ^N, of the trace of a(⋅,∇u) on ∂Ω with the outward normal vector field ν on ∂Ω. If β and γ are two nondecreasing continuous real functions everywhere defined in ℝ, with β(0)=γ(0)=0, f∈L¹(ℝ^N), g∈L¹(∂Ω), we prove the existence and the uniqueness of an entropy solution u for the following problem,

Solutions in Sobolev spaces of vector refinement equations with a general dilation matrix

In this paper, we present a necessary and sufficient condition for the existence of solutions in a Sobolev space W_p^k(ℝ^s) (1≤p≤∞) to a vector refinement equation with a general dilation matrix. The criterion is constructive and can be implemented. Rate of convergence of vector cascade algorithms in a Sobolev space W_p^k(ℝ^s) will be investigated. When the dilation matrix is isotropic, a characterization will be given for the L_p (1≤p≤∞) critical smoothness exponent of a refinable function vector without the assumption of stability on the refinable function vector. As a consequence, we show that if a compactly supported function vector φ∈L_p(ℝ^s) (φ∈C(ℝ^s) when p=∞) satisfies a refinement equation with a finitely supported matrix mask, then all the components of φ must belong to a Lipschitz space Lip(ν,L_p(ℝ^s)) for some ν>0. This paper generalizes the results in R.Q. Jia, K.S. Lau and D.X. Zhou (J. Fourier Anal. Appl. 7 (2001) 143–167) in the univariate setting to the multivariate setting. Dedicated to Professor Charles A. Micchelli on the occasion of his 60th birthday Mathematics subject classifications (2000) 42C20, 41A25, 39B12. Research was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC Canada) under Grant G121210654.     

On the Hausdorff dimensions of certain attractors

For any a,b∈R let ϕ_a,b(x)=ax+b(x∈R). Suppose 0<a<1. Let C_a,b be the generalized a-Cantor set with generating iterated function systme {ϕ_a,0, ϕ_a,b; ϕ_a,l}. Then we prove the Hausdorff dimension of is when 0<a≤2 cos 80°.     

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

Sumsets in difference sets

We study some properties of sets of differences of dense sets in ℤ² and ℤ³ and their interplay with Bohr neighbourhoods in ℤ. We obtain, inter alia, the following results.