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)     

Complete asymptotic expansions associated with Epstein zeta-functions

Let Q(u,v)=|u+vz|² be a positive-definite quadratic form with a complex parameter z=x+iy in the upper-half plane. The Epstein zeta-function attached to Q is initially defined by for Re s>1, where the term with m=n=0 is to be omitted. We deduce complete asymptotic expansions of as y→+∞ (Theorem 1 in Sect. 2), and of its weighted mean value (with respect to y) in the form of a Laplace-Mellin transform of (Theorem 2 in Sect. 2). Prior to the proofs of these asymptotic expansions, the meromorphic continuation of over the whole s-plane is prepared by means of Mellin-Barnes integral transformations (Proposition 1 in Sect. 3). This procedure, differs slightly from other previously known methods of the analytic continuation, gives a new alternative proof of the Fourier expansion of (Proposition 2 in Sect. 3). The use of Mellin-Barnes type of integral formulae is crucial in all aspects of the proofs; several transformation properties of hypergeometric functions are especially applied with manipulation of these integrals. Research supported in part by Grant-in-Aid for Scientific Research (No. 13640041), the Ministry of Education, Culture, Sports, Science and Technology of Japan.     

On the existence of a p-adic metaplectic Tate-type $\widetilde {\gamma}$-factor

Let \mathbbF\mathbb{F} be a p-adic field, let χ be a character of \mathbbF^*\mathbb{F}^{*}, let ψ be a character of \mathbbF\mathbb{F} and let g_y^-1\gamma_{\psi}^{-1} be the normalized Weil factor associated with a character of second degree. We prove here that one can define a meromorphic function [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi ,s,\psi) via a similar functional equation to the one used for the definition of the Tate γ-factor replacing the role of the Fourier transform with an integration against y·g_y^-1\psi\cdot\gamma_{\psi}^{-1}. It turns out that γ and [(g)\tilde]\widetilde{\gamma} have similar integral representations. Furthermore, [(g)\tilde]\widetilde{\gamma} has a relation to Shahidi‘s metaplectic local coefficient which is similar to the relation γ has with (the non-metalpectic) Shahidi‘s local coefficient. Up to an exponential factor, [(g)\tilde](c,s,y)\widetilde{\gamma}(\chi,s,\psi) is equal to the ratio \fracg(c²,2s,y)g(c,s+\frac12,y)\frac{\gamma(\chi^{2},2s,\psi)}{\gamma(\chi,s+\frac{1}{2},\psi)}.     

On the Number of Topological Types Occurring in a Parameterized Family of Arrangements

Let be an o-minimal structure over ℝ, a closed definable set, and

On sum-product bases

We investigate additive-multiplicative bases in . Let , s>2, and . It is proved that , provided min {|B| ^s/2|A|^(s−2)/2,|A| ^s/2|B|^(s−2)/2}>p ^s/2. This note is supported by “Balaton Program Project” and OTKA grants K 61908, K 67676.     

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.

INJECTIVE MAPS ON PRIMITIVE SEQUENCES OVER Z/（p^e）

Let Z/(pe) be the integer residue ring modulo pe with p an odd prime and integer e ≥ 3. For a sequence (a) over Z/(pe), there is a unique p-adic decomposition (a) = (a)0 (a)1·p … (a)e-1 ·pe-1, where each (a)i can be regarded as a sequence over Z/(p), 0 ≤ i ≤ e - 1. Let f(x) be a primitive polynomial over Z/(pe) and G' (f(x), pe) the set of all primitive sequences generated by f(x) over Z/(pe). For μ(x) ∈ Z/(p)[x] with deg(μ(x)) ≥ 2 and gcd(1 deg(μ(x)),p- 1) = 1,set ψe-1 (x0, x1,…, xe-1) = xe-1·[ μ(xe-2) ηe-3 (x0, x1,…, xe-3)] ηe-2 (x0, x1,…, xe-2),which is a function of e variables over Z/(p). Then the compressing map ψe-1: G'(f(x),pe) → (Z/(p))∞,(a) (→)ψe-1((a)0, (a)1,… ,(a)e-1) is injective. That is, for (a), (b) ∈ G' (f(x), pe), (a) = (b) if and only if ψe - 1 ((a)0, (a)1,… , (a)e - 1) =ψe - 1 ((b)0,(b)1,… ,(b)e-1). As for the case of e = 2, similar result is also given. Furthermore, if functions ψe-1 and ψe-1 over Z/(p) are both of the above form and satisfy ψe-1((a)0,(a)1,… ,(a)e-1) = ψe-1((b)0,(b)1,… ,(b)e-1) for (a),(b) ∈ G'(f(x),pe), the relations between (a) and (b), ψe-1 and ψe-1 are discussed.     

On some homotopical and homological properties of monoid presentations

If a monoid S is given by some finite complete presentation ℘, we construct inductively a chain of CW-complexes

Weights of twisted exponential sums

Let k be a finite field of characteristic p, l a prime number different from p, a nontrivial additive character, and a character on . Then ψ defines an Artin-Schreier sheaf on the affine line , and χ defines a Kummer sheaf on the n-dimensional torus . Let be a Laurent polynomial. It defines a k-morphism . In this paper, we calculate the weights of under some non-degeneracy conditions on f. Our results can be used to estimate sums of the form

Optimisation of Measures on a Hyperfinite Adapted Probability Space

The minimisation problem for a functional is considered, where is an ℝ ⁿ -valued stochastic process, defined on some filtered probability space , and P is an admissible probability measure in the sense that it obeys (1) some uniform equivalence condition with respect to the given measure ℙ on Γ, and (2) a finite number (possibly zero) of arbitrarily given other conditions that require the expectation (with respect to P) of some continuous bounded function φ of , for t ₁,…,t _k ∈[0,1], to lie within some closed set. We assume that u can be formulated through finite compositions of conditional expectations and bounded continuous functions. Under the assumption of |φ| being uniformly bounded from below and some condition on the dimension of , the existence of a solution on hyperfinite adapted probability spaces, as well as its minimality among admissible measures on any other adapted probability space, is proven. Also, a coarseness result for the Loeb operation is established. The main result of this paper, however, is a “standard result”: It does not include any reference to nonstandard analysis and can be perfectly understood without any familiarity with nonstandard analysis.      

On Liouville decompositions in local fields

In 1962 Erd\H{o}s proved that every real number may be decomposed into a sum of Liouville numbers. Here we consider more general functions which decompose elements from an arbitrary local field into Liouville numbers. Several examples and applications are given. As an illustration, we prove that for any real numbers , not equal to 0 or 1, there exist uncountably many Liouville numbers such that are all Liouville numbers.

     

Discrete Entropies of Orthogonal Polynomials

Given a nontrivial Borel measure on ℝ, let p _n be the corresponding orthonormal polynomial of degree n whose zeros are λ _j ⁽ⁿ⁾, j=1,…,n. Then for each j=1,…,n,

The Ground State and the Long-Time Evolution in the CMC Einstein Flow

Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume ${\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)}Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume V(k)=(\frac-k3)³Vol_g(k)(S){\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)} is monotonically decreasing in the expanding direction and bounded below by V_inf=(\frac-16Y(S))^\frac32{\mathcal{V}_{\rm \inf}=\left(\frac{-1}{6}Y(\Sigma)\right)^{\frac{3}{2}}}. Inspired by this fact we define the ground state of the manifold Σ as “the limit” of any sequence of CMC states {(g _i , K _i )} satisfying: (i) k _i  = −3, (ii) V_iˉ V_inf{\mathcal{V}_{i}\downarrow \mathcal{V}_{\rm inf}}, (iii) Q ₀((g _i , K _i )) ≤ Λ, where Q ₀ is the Bel–Robinson energy and Λ is any arbitrary positive constant. We prove that (as a geometric state) the ground state is equivalent to the Thurston geometrization of Σ. Ground states classify naturally into three types. We provide examples for each class, including a new ground state (the Double Cusp) that we analyze in detail. Finally, consider a long time and cosmologically normalized flow ([(g)\tilde],[(K)\tilde])(s)=((\frac-k3)²g,(\frac-k3)K){(\tilde{g},\tilde{K})(\sigma)=\left(\left(\frac{-k}{3}\right)^{2}g,\left(\frac{-k}{3}\right)K\right)}, where s = -ln(-k) ? [a,￥){\sigma=-\ln (-k)\in [a,\infty)}. We prove that if [(E₁)\tilde]=E₁(([(g)\tilde],[(K)\tilde])) ￡ L{\tilde{\mathcal{E}_{1}}=\mathcal{E}_{1}((\tilde{g},\tilde{K}))\leq \Lambda} (where E₁=Q₀+Q₁{\mathcal{E}_{1}=Q_{0}+Q_{1}}, is the sum of the zero and first order Bel–Robinson energies) the flow ([(g)\tilde],[(K)\tilde])(s){(\tilde{g},\tilde{K})(\sigma)} persistently geometrizes the three-manifold Σ and the geometrization is the ground state if Vˉ V_inf{\mathcal{V}\downarrow \mathcal{V}_{\rm inf}}.     

The Cauchy-Dirichlet problem for the heat equation in Besov spaces

The solvability in anisotropic spaces , σ ∈ ℝ₊, p, q ∈ (1, ∞), of the heat equation u_t − Δu = f in Ω^T ≡ (0, T) × Ω is studied under the boundary and initial conditions u = g on S^T, u|_t=0 = u₀ in Ω, where S is the boundary of a bounded domain Ω ⊂ ℝⁿ. The existence of a unique solution of the above problem is proved under the assumptions that and under some additional conditions on the data. The existence is proved by the technique of regularizers. For this purpose the local-in-space solvability near the boundary and near an interior point of Ω is needed. To show the local-in-space existence, the definition of Besov spaces by the dyadic decomposition of a partition of unity is used. This enables us to get an appropriate estimate in a new and promising way without applying either the potential technique or the resolvent estimates or the interpolation. Bibliography: 26 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 348, 2007, pp. 40–97.     

Approximating periodic functions in the uniform metric by Jackson type polynomials

Let C be the space of continuous 2π-periodic functions f with the norm . Let , where , be the Jackson polynomials of a function f, E _n (f) be the best approximation of f in the space C by trigonometric polynomials of order n, and let , be the function trigonometrically conjugate to the primitive of f. The paper establishes results of the following types:

Hypersurfaces and Codazzi tensors

In this paper we deal with the following problem. Let (M ⁿ ,〈,〉) be an n-dimensional Riemannian manifold and an isometric immersion. Find all Riemannian metrics on M ⁿ that can be realized isometrically as immersed hypersurfaces in the Euclidean space . More precisely, given another Riemannian metric on M ⁿ , find necessary and sufficient conditions such that the Riemannian manifold admits an isometric immersion into the Euclidean space . If such an isometric immersion exists, how can one describe in terms of f? Author’s address: Thomas Hasanis and Theodoros Vlachos, Department of Mathematics, University of Ioannina, 45110 Ioannina, Greece     

Classification of infinitely differentiable periodic functions

The set of infinitely differentiable periodic functions is studied in terms of generalized -derivatives defined by a pair of sequences ψ ₁ and ψ ₂. In particular, we establish that every function f from the set has at least one derivative whose parameters ψ ₁ and ψ ₂ decrease faster than any power function. At the same time, for an arbitrary function f ∈ different from a trigonometric polynomial, there exists a pair ψ whose parameters ψ ₁ and ψ ₂ have the same rate of decrease and for which the -derivative no longer exists. We also obtain new criteria for 2π-periodic functions real-valued on the real axis to belong to the set of functions analytic on the axis and to the set of entire functions. Deceased. (A. I. Stepanets) Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 12, pp. 1686–1708, December, 2008.     

The generalized Roper-Suffridge extension operator in Banach spaces (III)

Suppose that X is a complex Banach space with the norm ‖·‖ and n is a positive integer with dim X ⩾ n ⩾ 2. In this paper, we consider the generalized Roper-Suffridge extension operator $ \Phi _{n,\beta _2 ,\gamma _2 , \ldots ,\beta _{n + 1} ,\gamma _{n + 1} } (f) $ \Phi _{n,\beta _2 ,\gamma _2 , \ldots ,\beta _{n + 1} ,\gamma _{n + 1} } (f) on the domain $ \Omega _{p_1 ,p_2 , \ldots ,p_{n + 1} } $ \Omega _{p_1 ,p_2 , \ldots ,p_{n + 1} } defined by

Remark on the Regularities of Kato’s Solutions to Navier-Stokes Equations with Initial Data in L^d(R^d)

Motivated by the results of J. Y. Chemin in ＂J. Anal. Math., 77, 1999, 27- 50＂ and G. Furioli et al in ＂Revista Mat. Iberoamer., 16, 2002, 605-667＂, the author considers further regularities of the mild solutions to Navier-Stokes equation with initial data uo ∈ L^d（R^d）. In particular, it is proved that if u C ∈（[0, T^＊）; L^d（R^d）） is a mild solution of （NSv）, then u（t,x）- e^vt△uo ∈ L^∞（（0, T）;B2/4^1,∞）~∩L^1 （（0, T）; B2/4^3 ,∞） for any T 〈 T^＊.