Construction of multivariate compactly supported orthonormal wavelets

We propose a constructive method to find compactly supported orthonormal wavelets for any given compactly supported scaling function φ in the multivariate setting. For simplicity, we start with a standard dilation matrix 2I_2×2 in the bivariate setting and show how to construct compactly supported functions ψ₁,. . .,ψ_n with n>3 such that {2^kψ_j(2^kx−ℓ,2^ky−m), k,ℓ,m∈Z, j=1,. . .,n} is an orthonormal basis for L₂(ℝ²). Here, n is dependent on the size of the support of φ. With parallel processes in modern computer, it is possible to use these orthonormal wavelets for applications. Furthermore, the constructive method can be extended to construct compactly supported multi-wavelets for any given compactly supported orthonormal multi-scaling vector. Finally, we mention that the constructions can be generalized to the multivariate setting. Dedicated to Professor Charles A. Micchelli on the occasion of his 60th birthday Mathematics subject classifications (2000) 42C15, 42C30.     

Decomposition of stochastic flows and Lyapunov exponents

Let φ _t be the stochastic flow of a stochastic differential equation on a compact Riemannian manifold M. Fix a point m∈M and an orthonormal frame u at m, we will show that there is a unique decomposition φ _t = ξ _t ψ _t such that ξ _t is isometric, ψ _t fixes m and Dψ _t (u) = us _t , where s _t is an upper triangular matrix. We will also establish some convergence properties in connection with the Lyapunov exponents and the decomposition Dφ _t (u) = u _t s _t with u _t being an orthonormal frame. As an application, we can show that ψ_t preserves the directions in which the tangent vectors at m are dilated at fixed exponential rates. Received: 19 November 1998 / Revised version: 1 October 1999 / Published online: 14 June 2000     

On exact 2-para Sasakian manifolds

Paracontact and para Sasakian manifoldsM carryingr(1<r≤dimM) Reed vector filds ξ _r have been especially studied by A. Bucki [2], [3], [4]. In the present paper, we consider a (2m+2)-dimensional para Sasakian manifoldM(ϕ, ξ _r , η ^r g), whose Reed convectors η ^r =ξ _r ^b are exact 1-forms and the covariant derivatives of ξ _r are given by ∇ξ _r =f _r dp ^⊺, wheredp ^⊤ means the horizontal component of the soldering formdp andf _r∈C^∞M satisfydf _r =cη ^r ,c=constant. It is proved that such a manifold may be viewed as the local Riemannian productM=M ^⊥×M^⊤, where

Asymptotics of Recurrence Relation Coefficients,Hankel Determinant Ratios,and Root Products Associated with Laurent Polynomials Orthogonal with Respect to Varying Exponential Weights

Let Λ^ℝ denote the linear space over ℝ spanned by z ^k , k∈ℤ. Define the real inner product 〈⋅,⋅〉 _L :Λ^ℝ×Λ^ℝ→ℝ, , N∈ℕ, where V satisfies: (i) V is real analytic on ℝ∖{0}; (ii) lim  _{| x |→∞}(V(x)/ln (x ²+1))=+∞; and (iii) lim  _{| x |→0}(V(x)/ln (x ⁻²+1))=+∞. Orthogonalisation of the (ordered) base with respect to 〈⋅,⋅〉 _L yields the even degree and odd degree orthonormal Laurent polynomials (OLPs) : φ _2n (z)=∑ _k=−n ⁿ ξ _k ⁽²ⁿ⁾ z ^k , ξ _n ⁽²ⁿ⁾>0, and φ _2n+1(z)=∑ _k=−n−1 ⁿ ξ _k ⁽²ⁿ⁺¹⁾ z ^k , ξ _−n−1⁽²ⁿ⁺¹⁾>0. Associated with the even degree and odd degree OLPs are the following two pairs of recurrence relations: z φ _2n (z)=c _2n ^♯ φ _2n−2(z)+b _2n ^♯ φ _2n−1(z)+a _2n ^♯ φ _2n (z)+b _2n+1 ^♯ φ _2n+1(z)+c _2n+2 ^♯ φ _2n+2(z) and z φ _2n+1(z)=b _2n+1 ^♯ φ _2n (z)+a _2n+1 ^♯ φ _2n+1(z)+b _2n+2 ^♯ φ _2n+2(z), where c ₀ ^♯ =b ₀ ^♯ =0, and c _2k ^♯ >0, k∈ℕ, and z ⁻¹ φ _2n+1(z)=γ _2n+1 ^♯ φ _2n−1(z)+β _2n+1 ^♯ φ _2n (z)+α _2n+1 ^♯ φ _2n+1(z)+β _2n+2 ^♯ φ _2n+2(z)+γ _2n+3 ^♯ φ _2n+3(z) and z ⁻¹ φ _2n (z)=β _2n ^♯ φ _2n−1(z)+α _2n ^♯ φ _2n (z)+β _2n+1 ^♯ φ _2n+1(z), where β ₀ ^♯ =γ ₁ ^♯ =0, β ₁ ^♯ >0, and γ _2l+1 ^♯ >0, l∈ℕ. Asymptotics in the double-scaling limit N,n→∞ such that N/n=1+o(1) of the coefficients of these two pairs of recurrence relations, Hankel determinant ratios associated with the real-valued, bi-infinite strong moment sequence , and the products of the (real) roots of the OLPs are obtained by formulating the even degree and odd degree OLP problems as matrix Riemann-Hilbert problems on ℝ, and then extracting the large-n behaviours by applying the non-linear steepest-descent method introduced in (Ann. Math. 137(2):295–368, [1993]) and further developed in (Commun. Pure Appl. Math. 48(3):277–337, [1995]) and (Int. Math. Res. Not. 6:285–299, [1997]).      

The nearness problems for symmetric centrosymmetric with a special submatrix constraint

We say that X=[x_ij]_i,j=1ⁿX=[x_{ij}]_{i,j=1}^n is symmetric centrosymmetric if x _ij  = x _ji and x _{n − j + 1,n − i + 1}, 1 ≤ i,j ≤ n. In this paper we present an efficient algorithm for minimizing ||AXA ^T  − B|| where ||·|| is the Frobenius norm, A ∈ ℝ ^m×n , B ∈ ℝ ^m×m and X ∈ ℝ ^n×n is symmetric centrosymmetric with a specified central submatrix [x _ij ] _{p ≤ i,j ≤ n − p} . Our algorithm produces a suitable X such that AXA ^T  = B in finitely many steps, if such an X exists. We show that the algorithm is stable any case, and we give results of numerical experiments that support this claim.     

Generalized Symplectic Action and Symplectomorphism Groups of Coadjoint Orbits

Let M be a quantizable symplectic manifold. If ψ_t is a loop in the group {Ham}(M) of Hamiltonian symplectomorphisms of M and A is a 2k-cycle in M, we define a symplectic action κ_A(ψ)∊ U(1) around ψ_t(A), which is invariant under deformations of ψ, and such that κ_A(ψ) depends only on the homology class of A. Using properties of κ_A( ) we determine a lower bound for ♯π₁(Ham(O)), where O is a quantizable coadjoint orbit of a compact Lie group. In particular we prove that ♯π₁(Ham(CPⁿ)) ≥ n+1. Mathematics Subject Classifications (2000): 53D05, 57S05, 57R17, 57T20.     

On vertical skew symmetric almost contact 3-structures

We consider a (2m + 3)-dimensional Riemannian manifold M(ξ _r, η^r, g ) endowed with a vertical skew symmetric almost contact 3-structure. Such manifold is foliated by 3-dimensional submanifolds of constant curvature tangent to the vertical distribution and the square of the length of the vertical structure vector field is an isoparametric function. If, in addition, M(ξ _r, η^r, g ) is endowed with an f -structure φ, M, turns out to be a framed f−CR-manifold. The fundamental 2-form Ω associated with φ is a presymplectic form. Locally, M is the Riemannian product of two totally geodesic submanifolds, where is a 2m-dimensional Kaehlerian submanifold and is a 3-dimensional submanifold of constant curvature. If M is not compact, a class of local Hamiltonians of Ω is obtained.     

Nonstandard arithmetic of iterated polynomials

LetK be an algebraic number field of finite degree andf(X,T) a polynomial overK. For eachφ(X)∈Z[X], we denote byE(φ) the set of all integersa with φ ^m (a) =φ ⁿ (a) for somem≠n. In this paper, we give a condition for a polynomialφ(X)∈Z[X] to satisfy the following; If forn∈N, there existr∈K anda∈Z−E(φ) such thatf r, φ ^m (a)=0, then there exists a rational functiong(X) overK andk∈N such thatf(g(T)), φ ^k (T))=0 .     

On 2-almost contact tachibana manifolds

LeM be a (2m+2)-dimensional Riemannian manifold with two structure vector fieldsξ _r (r=2m+1, 2m+2) and letη ^r =ξ _r ^b be their corresponding covectors (or Pfaffians). These vector fields define onM a 2-almost contact structure. If the 2-formϕ=η ^2m+1∧η ^2m+2 is harmonic, then, following S. Tachibana [12],M is a Tachibana manifold and in this caseM is covered with 2 families of minimal submanifolds tangent toD ^⊥={ξ r} and its complementary orthogonal distributionD ^⊤. On such a manifold a canonical eigenfunction α of the Laplacian is associated. Since the corresponding eingenvalue is negative,M cannot be compact. Any horizontal vector fieldX orthogonal to α^# is a skew-symmetric Killing vector field (see [6]). Next, we assume that the Tachibana manifoldM under consideration is endowed with a framedf-structure defined by an endomorphism ϕ of the tangent bundleTM. Infinitesimal automorphisms of the symplectic form Ω _ϕ are obtained.     

Construction of multiwavelets with high approximation order and symmetry

In this paper, based on existing symmetric multiwavelets, we give an explicit algorithm for constructing multiwavelets with high approximation order and symmetry. Concretely, suppose Φ(x) := (φ1(x), . . . , φr(x))T is a symmetric refinable function vectors with approximation order m. For an arbitrary nonnegative integer n, a new symmetric refinable function vector Φnew(x) := (φn1 ew(x), . . . , φrn ew(x))T with approximation order m + n can be constructed through the algorithm mentioned above. Additionally,...     

On the Cauchy problem for elliptic equations in a disk

Letφ, ψ be smooth functions on the boundary of the unit diskB ₁. A second order uniformly elliptic operatorL and a functionu with second order derivatives inL ^p (1<p<2) are constructed with the following properties:u solvesLu=0 inB ₁ and satisfies the Cauchy dataφ, ψ on∂B ₁.     

Hypersurfaces in the Lorentz-Minkowski space satisfying Lkψ?=?Aψ?+?b

We study hypersurfaces in the Lorentz-Minkowski space \mathbbLⁿ⁺¹{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L _k ψ = Aψ + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR^(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLⁿ⁺¹{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSⁿ₁(r){\mathbb{S}^n_1(r)} or \mathbbHⁿ(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbS^m₁(r)×\mathbbR^n-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbH^m(-r)×\mathbbR^n-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbL^m×\mathbbS^n-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ n − m ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).     

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)     

Models with a Kronecker product covariance structure: Estimation and testing

In this article we consider a pq-dimensional random vector x distributed normally with mean vector θ and covariance matrix Λ assumed to be positive definite. On the basis of N independent observations on the random vector x, we want to estimate parameters and test the hypothesis H: Λ = Ψ ⊗ Σ, where Ψ = (ψ _ij ): q × q, ψ _qq = 1, and Σ = (σ _ij ): p × p, and Λ = (ψ _ij Σ), the Kronecker product of Ψ and Σ. That is instead of 1/2pq(pq + 1) parameters, it has only 1/2p(p + 1) + 1/2q(q + 1) − 1 parameters. A test based on the likelihood ratio is given to check if this model holds. And, when this model holds, we test the hypothesis that Ψ is a matrix with intraclass correlation structure. The maximum likelihood estimators (MLE) are obtained under the hypothesis as well as under the alternatives. Using these estimators the likelihood ratio tests (LRT) are obtained. One of the main objects of the paper is to show that the likelihood equations provide unique estimators.      

Motivic equivalence of quadratic forms. II

Let F be a field of characteristic ≠2 and φ be a quadratic form over F. By X _φ we denote the projective variety given by the equation φ=0. For each positive even integer d≥8 (except for d=12) we construct a field F and a pair φ, ψ of anisotropic d-dimensional forms over F such that the Chow motives of X _φ and X _ψ coincide but . For a pair of anisotropic (2 ^{n -1})-dimensional quadrics X and Y, we prove that existence of a rational morphism Y→X is equivalent to existence of a rational morphism Y→X. Received: 27 September 1999 / Revised version: 27 December 1999     

On a Class of Vector-Valued Sequences Associated with Multiplier Sequences

In this article we introduce the vector valued sequence space m(E_k,φ,∧),associated with themultiplier sequence ∧=(λ_k) of non-zero complex numbers,and the terms of the sequence are chosen from theseminormed spaces E_k,seminormed by f_k for all k∈N.This generalizes the sequence space m(φ) introducedand studied by Sargent.We study some of its properties like solidity,completeness,and obtain some inclusionresults.We also characterize the multiplier problem and obtain the corresponding spaces dual to m(E_k,φ,∧).We prove some general results too.     

The primes contain arbitrarily long polynomial progressions

We establish the existence of infinitely many polynomial progressions in the primes; more precisely, given any integer-valued polynomials P ₁, …, P _k  ∈ Z[m] in one unknown m with P ₁(0) = … = P _k (0) = 0, and given any ε > 0, we show that there are infinitely many integers x and m, with 1 \leqslant m \leqslant x^e1 \leqslant m \leqslant x^\varepsilon, such that x + P ₁(m), …, x + P _k (m) are simultaneously prime. The arguments are based on those in [18], which treated the linear case P _j  = (j − 1)m and ε = 1; the main new features are a localization of the shift parameters (and the attendant Gowers norm objects) to both coarse and fine scales, the use of PET induction to linearize the polynomial averaging, and some elementary estimates for the number of points over finite fields in certain algebraic varieties.     

A unified approach for univalent functions with negative coefficients using the Hadamard product

For given analytic functions ϕ(z) = z + Σ _n=2^∞ λ _n z ⁿ , Ψ(z) = z + Σ _n=2^∞ μ with λ _n ≥ 0, μ _n ≥ 0, and λ _n ≥ μ _n and for α, β (0≤α<1, 0<β≤1), let E(φ,ψ; α, β) be of analytic functions ƒ(z) = z + Σ _n=2^∞ a _n z ⁿ in U such that f(z)*ψ(z)≠0 and

On L 1 Bounds for Asymptotic Normality of Some Weakly Dependent Random Variables

In the present paper, we consider L ₁ bounds for asymptotic normality for the sequence of r.v.’s X ₁,X ₂,… (not necessarily stationary) satisfying the ψ-mixing condition. The L ₁ bounds have been obtained in terms of Lyapunov fractions which, in a particular case, under finiteness of the third moments of summands and the finiteness of ∑ _r≥1 r ² ψ(r), are of order O(n ^−1/2), where the function ψ participates in the definition of the ψ-mixing condition.