Wavelet approximation and Fourier widths of classes of periodic functions of several variables. I

We obtain characterizations (and prove the corresponding equivalence of norms) of function spaces B _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) and L _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) of Nikol’skii-Besov and Lizorkin-Triebel types, respectively, in terms of representations of functions in these spaces by Fourier series with respect to a multiple system $ \mathcal{W}_m^\mathbb{I} $ \mathcal{W}_m^\mathbb{I} of Meyer wavelets and in terms of sequences of the Fourier coefficients with respect to this system. We establish order-sharp estimates for the approximation of functions in B _pq ^sm ($ \mathbb{I} $ \mathbb{I} ) and L _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) by special partial sums of these series in the metric of L _r ($ \mathbb{I} $ \mathbb{I} ^k ) for a number of relations between the parameters s, p, q, r, and m (s = (s ₁, ..., s _n ) ∈ ℝ₊ ⁿ , 1 ≤ p, q, r ≤ ∞, m = (m ₁, ..., m _n ) ∈ ℕ ⁿ , k = m ₁ +... + m _n , and $ \mathbb{I} $ \mathbb{I} = ℝ or $ \mathbb{T} $ \mathbb{T} ). In the periodic case, we study the Fourier widths of these function classes.     

Strict topology over the space of measures with continuous translations on a locally compact foundation semigroup

Let $ \mathfrak{S} $ \mathfrak{S} be a locally compact semigroup, ω be a weight function on $ \mathfrak{S} $ \mathfrak{S} , and M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) be the weighted semigroup algebra of $ \mathfrak{S} $ \mathfrak{S} . Let L ₀^∞ ($ \mathfrak{S} $ \mathfrak{S} ; M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)) be the C*-algebra of all M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)-measurable functions g on $ \mathfrak{S} $ \mathfrak{S} such that g/ω vanishes at infinity. We introduce and study a strict topology β ¹($ \mathfrak{S} $ \mathfrak{S} , ω) on M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) and show that the Banach space L ₀^∞ ($ \mathfrak{S} $ \mathfrak{S} ; M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)) can be identified with the dual of M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) endowed with β ¹($ \mathfrak{S} $ \mathfrak{S} , ω). We finally investigate some properties of the locally convex topology β ¹($ \mathfrak{S} $ \mathfrak{S} , ω) on M _a ($ \mathfrak{S} $ \mathfrak{S} , ω).     

Distortio n theorems o n the Lie ball $$ \mathcal{R}_{IV} $$ ( n) i n ℂ n

In this paper, we introduce the subfamilies H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) of holomorphic mappings defined on the Lie ball $ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n) which reduce to the family of holomorphic mappings and the family of locally biholomorphic mappings when m = 1 and m → +∞, respectively. Various distortion theorems for holomophic mappings H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) are established. The distortion theorems coincide with Liu and Minda’s as the special case of the unit disk. When m = 1 and m → +∞, the distortion theorems reduce to the results obtained by Gong for $ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n), respectively. Moreover, our method is different. As an application, the bounds for Bloch constants of H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) are given.     

Analogues of Horn’s theorem for finite unions of starshaped sets in ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

Fix k, d, 1 ≤ k ≤ d + 1. Let $ \mathcal{F} $ \mathcal{F} be a nonempty, finite family of closed sets in ℝ ^d , and let L be a (d − k + 1)-dimensional flat in ℝ ^d . The following results hold for the set T ≡ ∪{F: F in $ \mathcal{F} $ \mathcal{F} }. Assume that, for every k (not necessarily distinct) members F ₁, …, F _k of $ \mathcal{F} $ \mathcal{F} ,∪{F _i : 1 ≤ i ≤ k} is starshaped and the corresponding kernel contains a translate of L. Then T is starshaped, and its kernel also contains a translate of L.     

Automorphism group and representation of a twisted multi-loop algebra

Let G be the complexification of the real Lie algebra so（3） and A = C[t1^±1, t2^±1] be the Lau-ent polynomial algebra with commuting variables. Let L：（t1, t2, 1） = G c .A be the twisted multi-loop Lie algebra. Recently we have studied the universal central extension, derivations and its vertex operator representations. In the present paper we study the automorphism group and bosonic representations ofL（t1, t2, 1）.     

Deforming the Lie superalgebra of contact vector fields on <Emphasis Type="Italic">S</Emphasis><Superscript>1|2</Superscript> inside the Lie superalgebra of pseudodifferential operators on <Emphasis Type="Italic">S</Emphasis><Superscript>1|2</Superscript>

We classify deformations of the standard embedding of the Lie superalgebra $ \mathcal{K} $ \mathcal{K} (2) of contact vector fields on the (1, 2)-dimensional supercircle into the Lie superalgebra SΨD(S ^1|2 ) of pseudodifferential operators on the supercircle S ^1|2 . The proposed approach leads to the deformations of the central charge induced on $ \mathcal{K} $ \mathcal{K} (2) by the canonical central extension of SΨD(S ^1|2 ).     

Imaginary powers of a Laguerre differential operator

Imaginary powers associated to the Laguerre differential operator $ L_\alpha = - \Delta + |x|^2 + \sum _{i = 1}^d \frac{1} {{x_i^2 }}(\alpha _i^2 - 1/4) $ L_\alpha = - \Delta + |x|^2 + \sum _{i = 1}^d \frac{1} {{x_i^2 }}(\alpha _i^2 - 1/4) are investigated. It is proved that for every multi-index α = (α₁,...α _d ) such that α _i ≧ −1/2, α _i ∉ (−1/2, 1/2), the imaginary powers $ \mathcal{L}_\alpha ^{ - i\gamma } ,\gamma \in \mathbb{R} $ \mathcal{L}_\alpha ^{ - i\gamma } ,\gamma \in \mathbb{R} , of a self-adjoint extension of L _α, are Calderón-Zygmund operators. Consequently, mapping properties of $ \mathcal{L}_\alpha ^{ - i\gamma } $ \mathcal{L}_\alpha ^{ - i\gamma } follow by the general theory.     

A generalization of Mathieu subspaces to modules of associative algebras

We first propose a generalization of the notion of Mathieu subspaces of associative algebras $ \mathcal{A} $ \mathcal{A} , which was introduced recently in [Zhao W., Generalizations of the image conjecture and the Mathieu conjecture, J. Pure Appl. Algebra, 2010, 214(7), 1200–1216] and [Zhao W., Mathieu subspaces of associative algebras], to $ \mathcal{A} $ \mathcal{A} -modules $ \mathcal{M} $ \mathcal{M} . The newly introduced notion in a certain sense also generalizes the notion of submodules. Related with this new notion, we also introduce the sets σ(N) and τ(N) of stable elements and quasi-stable elements, respectively, for all R-subspaces N of $ \mathcal{A} $ \mathcal{A} -modules $ \mathcal{M} $ \mathcal{M} , where R is the base ring of $ \mathcal{A} $ \mathcal{A} . We then prove some general properties of the sets σ(N) and τ(N). Furthermore, examples from certain modules of the quasi-stable algebras [Zhao W., Mathieu subspaces of associative algebras], matrix algebras over fields and polynomial algebras are also studied.     

A cohomological steinness criterion for holomorphically spreadable complex spaces

Let X be a complex space of dimension n, not necessarily reduced, whose cohomology groups H ¹(X, $ \mathcal{O} $ \mathcal{O} ), ...,H ⁿ⁻¹(X, $ \mathcal{O} $ \mathcal{O} ) are of finite dimension (as complex vector spaces). We show that X is Stein (resp., 1-convex) if, and only if, X is holomorphically spreadable (resp., X is holomorphically spreadable at infinity).     

On the shift semigroup on the Hardy space of Dirichlet series

We develop a Wold decomposition for the shift semigroup on the Hardy space $ \mathcal{H}^2 $ \mathcal{H}^2 of square summable Dirichlet series convergent in the half-plane $ \Re (s) > 1/2 $ \Re (s) > 1/2 . As an application we have that a shift invariant subspace of $ \mathcal{H}^2 $ \mathcal{H}^2 is unitarily equivalent to $ \mathcal{H}^2 $ \mathcal{H}^2 if and only if it has the form $ \phi \mathcal{H}^2 $ \phi \mathcal{H}^2 for some $ \mathcal{H}^2 $ \mathcal{H}^2 -inner function φ.     

Weak convergence in the dual of weak L<Superscript>p</Superscript>

We consider a Dedekind σ-complete Banach lattice E whose dual is weakly sequentially complete. Suppose that E has a positive element u and a family of positive operators $ \mathcal{G} $ \mathcal{G} such that

Selfadjoint extensions of the operator of the Dirichlet problem in a 3-dimensional region with an edge

Taking various viewpoints, we study the selfadjoint extensions $ \mathcal{A} $ \mathcal{A} of the operator A of the Dirichlet problem in a 3-dimensional region Ω with an edge Γ. We identify the infinite dimensional nullspace def A with the Sobolev space H ^−ϰ(Γ) on Γ with variable smoothness exponent −ϰ ∈ (−1, 0); while the selfadjoint extensions, with selfadjoint operators $ \mathcal{T} $ \mathcal{T} on the subspaces of H ^−ϰ(Γ). To the boundary value problem in the region with a “smoothed” edge we associate a concrete extension, which yields a more precise approximate solution to the singularly perturbed problem.     

Fourier-Feynman transforms of unbounded functionals on abstract Wiener space

Huffman, Park and Skoug established several results involving Fourier-Feynman transform and convolution for functionals in a Banach algebra S on the classical Wiener space. Chang, Kim and Yoo extended these results to abstract Wiener space for a more generalized Fresnel class $ \mathcal{F}_{\mathcal{A}_1 ,\mathcal{A}_2 } $ \mathcal{F}_{\mathcal{A}_1 ,\mathcal{A}_2 } _A1,A2 than the Fresnel class $ \mathcal{F} $ \mathcal{F} (B)which corresponds to the Banach algebra S. In this paper we study Fourier-Feynman transform, convolution and first variation of unbounded functionals on abstract Wiener space having the form

Trace class Toeplitz operators with unbounded symbols on weighted Bergman spaces

In this note we construct a function φ in L2（Bn,dμ） which is unbounded on any neighborhood of each boundary point of Bn such that Tφ is a trace class operator on weighted Bergman space Lα2（Bn,dμ） for several complex variables.     

Uniform Morse lemma and isotopy criterion for Morse functions on surfaces

Let M be a smooth compact (orientable or not) surface with or without a boundary. Let $ \mathcal{D}_0 $ \mathcal{D}_0 ⊂ Diff(M) be the group of diffeomorphisms homotopic to id _M . Two smooth functions f, g: M → ℝ are called isotopic if f = h ₂ ℴ g ℴ h ₁ for some diffeomorphisms h ₁ ∈ $ \mathcal{D}_0 $ \mathcal{D}_0 and h ₂ ∈ Diff⁺(ℝ). Let F be the space of Morse functions on M which are constant on each boundary component and have no critical points on the boundary. A criterion for two Morse functions from F to be isotopic is proved. For each Morse function f ∈ F, a collection of Morse local coordinates in disjoint circular neighborhoods of its critical points is constructed, which continuously and Diff(M)-equivariantly depends on f in C ^∞-topology on F (“uniform Morse lemma”). Applications of these results to the problem of describing the homotopy type of the space F are formulated.     

Descriptive set-theoretical properties of an abstract density operator

Let $ \mathcal{K} $ \mathcal{K} (ℝ) stand for the hyperspace of all nonempty compact sets on the real line and let d ^±(x;E) denote the (right- or left-hand) Lebesgue density of a measurable set E ⊂ ℝ at a point x∈ ℝ. In [3] it was proved that

Sharp estimates for derivatives of functions in the Sobolev classes $$ \mathop {W_2^r }\limits^ \circ $$(−1,1)

Explicit formulas are obtained for the maximum possible values of the derivatives f ^(k)(x), x ∈ (−1, 1), k ∈ {0, 1, ..., r − 1}, for functions f that vanish together with their (absolutely continuous) derivatives of order up to ≤ r − 1 at the points ±1 and are such that $ \left\| {f^{\left( r \right)} } \right\|_{L_2 ( - 1,1)} \leqslant 1 $ \left\| {f^{\left( r \right)} } \right\|_{L_2 ( - 1,1)} \leqslant 1 . As a corollary, it is shown that the first eigenvalue λ _1,r of the operator (−D ²) ^r with these boundary conditions is $ \sqrt 2 $ \sqrt 2 (2r)! (1 + O(1/r)), r → ∞.     

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.

Rate of decay of weakly lacunary series

Let function f(z) ≠ 0 be analytic in the unit disk and have sparse nonzero Taylor coefficients. Then the rate of decay of the function f as x → 1 − 0 depends on the rate of sparseness of its nonzero Taylor coefficients. In this paper, we consider the case f(z) = $ \sum\nolimits_{k = 0}^\infty {a_k z^{n_k } } $ \sum\nolimits_{k = 0}^\infty {a_k z^{n_k } } , where n _k ≥ A ₀(k + 2) ^p logb(k + 2).