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 → ∞.     

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} , ω).     

On holomorphic solutions of some inhomogeneous linear differential equations in a banach space over a non-archimedean field

Let A be a closed linear operator on a Banach space $ \mathfrak{B} $ \mathfrak{B} over the field Ω of complex p-adic numbers having an inverse operator defined on the whole $ \mathfrak{B} $ \mathfrak{B} , and f be a locally holomorphic at 0 $ \mathfrak{B} $ \mathfrak{B} -valued vector function. The problem of existence and uniqueness of a locally holomorphic at 0 solution of the differential equation y ^(m) − Ay = f is considered in this paper. In particular, it is shown that this problem is solvable under the condition $ \mathop {\lim }\limits_{n \to \infty } \sqrt[n]{{\left\| {A^{ - n} } \right\|}} $ \mathop {\lim }\limits_{n \to \infty } \sqrt[n]{{\left\| {A^{ - n} } \right\|}} = 0. It is proved also that if the vector-function f is entire, then there exists a unique entire solution of this equation. Moreover, the necessary and sufficient conditions for the Cauchy problem for such an equation to be correctly posed in the class of locally holomorphic functions are presented.     

Local limit theorem for the first crossing time of a fixed level by a random walk

Let X,X(1),X(2),... be independent identically distributed random variables with mean zero and a finite variance. Put S(n) = X(1) + ... + X(n), n = 1, 2,..., and define the Markov stopping time η _y = inf {n ≥ 1: S(n) ≥ y} of the first crossing a level y ≥ 0 by the random walk S(n), n = 1, 2,.... In the case $ \mathbb{E} $ \mathbb{E} |X|³ < ∞, the following relation was obtained in [8]: $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) as n → ∞, where the constant R and the bounded sequence ν _n were calculated in an explicit form. Moreover, there were obtained necessary and sufficient conditions for the limit existence $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0, and there was found a representation for H(y). The present paper was motivated by the following reason. In [8], the authors unfortunately did not cite papers [1, 5] where the above-mentioned relations were obtained under weaker restrictions. Namely, it was proved in [5] the existence of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0 under the condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ only; In [1], an explicit form of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) was found under the same condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ in the case when the summand X has an arithmetic distribution. In the present paper, we prove that the main assertion in [5] fails and we correct the original proof. It worth noting that this corrected version was formulated in [8] as a conjecture.     

Bases of exponents in weighted spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>(<Emphasis Type="Italic">−π, π</Emphasis>)

The system of exponents $ \left\{ {e^{i\lambda _n t} } \right\}_{n \in \mathbb{Z}} $ \left\{ {e^{i\lambda _n t} } \right\}_{n \in \mathbb{Z}} is considered. A sufficient condition for a Riesz-property basis in the weighted space L ^p (−π, π) is obtained.     

Integral inequalities for self-reciprocal polynomials

Let n ≥ 1 be an integer and let P _n be the class of polynomials P of degree at most n satisfying z ⁿ P(1/z) = P(z) for all z ∈ C. Moreover, let r be an integer with 1 ≤ r ≤ n. Then we have for all P ∈ P _n :

Real moments of the restrictive factor

Let λ be a real number such that 0 < λ < 1. We establish asymptotic formulas for the weighted real moments Σ _n≤x R ^λ (n)(1 − n/x), where R(n) =$ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu - 1} } $ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu - 1} } is the Atanassov strong restrictive factor function and n =$ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu } } $ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu } } is the prime factorization of n.     

Boundedness of parabolic singular integrals and Marcinkiewicz integrals on Triebel-Lizorkin spaces

In this paper,we obtain the boundedness of the parabolic singular integral operator T with kernel in L(logL)1/γ(Sn-1) on Triebel-Lizorkin spaces.Moreover,we prove the boundedness of a class of Marcinkiewicz integrals μΩ,q(f) from ∥f∥ F˙p0,q(Rn) into Lp(Rn).     

Boundedness and compactness of the embedding between spaces with multiweighted derivatives when 1 ⩽ <Emphasis Type="Italic">q</Emphasis> < <Emphasis Type="Italic">p</Emphasis> < ∞

We consider a new Sobolev type function space called the space with multiweighted derivatives $ W_{p,\bar \alpha }^n $ W_{p,\bar \alpha }^n , where $ \bar \alpha $ \bar \alpha = (α ₀, α ₁,…, α _n ), α _i ∈ ℝ, i = 0, 1,…, n, and $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} ,

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.     

Hereditarily indecomposable Banach algebras of diagonal operators

We provide a characterization of the Banach spaces X with a Schauder basis (e _n ) _n∈ℕ which have the property that the dual space X* is naturally isomorphic to the space L _diag(X) of diagonal operators with respect to (e _n ) _n∈ℕ. We also construct a Hereditarily Indecomposable Banach space $ \mathfrak{X} $ \mathfrak{X} _D with a Schauder basis (e _n ) _n∈ℕ such that $ \mathfrak{X} $ \mathfrak{X} *_D is isometric to L _diag($ \mathfrak{X} $ \mathfrak{X} _D) with these Banach algebras being Hereditarily Indecomposable. Finally, we show that every T ∈ L _diag($ \mathfrak{X} $ \mathfrak{X} _D) is of the form T = λI + K, where K is a compact operator.     

On a semilattice of numberings

We study some properties of a $ \mathfrak{c} $ \mathfrak{c} -universal semilattice $ \mathfrak{A} $ \mathfrak{A} with the cardinality of the continuum, i.e., of an upper semilattice of m-degrees. In particular, it is shown that the quotient semilattice of such a semilattice modulo any countable ideal will be also $ \mathfrak{c} $ \mathfrak{c} -universal. In addition, there exists an isomorphism $ \mathfrak{A} $ \mathfrak{A} such that $ {\mathfrak{A} \mathord{\left/ {\vphantom {\mathfrak{A} {\iota \left( \mathfrak{A} \right)}}} \right. \kern-\nulldelimiterspace} {\iota \left( \mathfrak{A} \right)}} $ {\mathfrak{A} \mathord{\left/ {\vphantom {\mathfrak{A} {\iota \left( \mathfrak{A} \right)}}} \right. \kern-\nulldelimiterspace} {\iota \left( \mathfrak{A} \right)}} will be also $ \mathfrak{c} $ \mathfrak{c} -universal. Furthermore, a property of the group of its automorphisms is obtained. To study properties of this semilattice, the technique and methods of admissible sets are used. More exactly, it is shown that the semilattice of mΣ-degrees $ L_{m\Sigma }^{\mathbb{H}\mathbb{F}\left( S \right)} $ L_{m\Sigma }^{\mathbb{H}\mathbb{F}\left( S \right)} on the hereditarily finite superstructure $ \mathbb{H}\mathbb{F} $ \mathbb{H}\mathbb{F} (S) over a countable set S will be a $ \mathfrak{c} $ \mathfrak{c} -universal semilattice with the cardinality of the continuum.     

Faithful representations of left C*-modules

The existence of a faithful modular representation of a left module $ \mathfrak{X} $ \mathfrak{X} over a C*-algebra $ \mathfrak{A}_\# $ \mathfrak{A}_\# possessing sufficiently many traces is proved.     

On $$ \mathfrak{F}_h $$-normal subgroups of finite groups

Let G be a finite group, and let $ \mathfrak{F} $ \mathfrak{F} be a formation of finite groups. We say that a subgroup H of G is $ \mathfrak{F}_h $ \mathfrak{F}_h -normal in G if there exists a normal subgroup T of G such that HT is a normal Hall subgroup of G and (H ∩ T)H _G /H _G is contained in the $ \mathfrak{F} $ \mathfrak{F} -hypercenter $ Z_\infty ^\mathfrak{F} $ Z_\infty ^\mathfrak{F} (G/H _G ) of G/H _G . In this paper, we obtain some results about the $ \mathfrak{F}_h $ \mathfrak{F}_h -normal subgroups and then use them to study the structure of finite groups.     

Weighted a priori estimates for solution of (−Δ)<Superscript><Emphasis Type="Italic">m</Emphasis></Superscript><Emphasis Type="Italic">u</Emphasis> = <Emphasis Type="Italic">f</Emphasis> with homogeneous dirichlet conditions

Let u be a weak solution of (-△)mu = f with Dirichlet boundary conditions in a smooth bounded domain Ω  Rn. Then, the main goal of this paper is to prove the following a priori estimate:‖u‖ Wω2 m,p(Ω) ≤ C ‖f‖ Lωp (Ω),where ω is a weight in the Muckenhoupt class Ap.     

Modified mann iterations for nonexpansive semigroups in Banach space

Let E be a real reflexive Banach space which admits a weakly sequentially continuous duality mapping from E to E^＊, and C be a nonempty closed convex subset of E. Let {T（t） ： t ≥ 0} be a nonexpansive semigroup on C such that F ：=∩t≥0 Fix（T（t）） ≠ 0, and f ： C → C be a fixed contractive mapping. If {αn}, {βn}, {an}, {bn}, {tn} satisfy certain appropriate conditions, then we suggest and analyze the two modified iterative processes as：{yn=αnxn＋（1-αn）T（tn）xn,xn=βnf（xn）＋（1-βn）yn
{u0∈C,vn=anun＋（1-an）T（tn）un,un＋1=bnf（un）＋（1-bn）vn
We prove that the approximate solutions obtained from these methods converge strongly to q ∈∩t≥0 Fix（T（t））, which is a unique solution in F to the following variational inequality：
〈（I-f）q,j（q-u）〉≤0 u∈F Our results extend and improve the corresponding ones of Suzuki [Proc. Amer. Math. Soc., 131, 2133-2136 （2002）], and Kim and XU [Nonlear Analysis, 61, 51-60 （2005）] and Chen and He [Appl. Math. Lett., 20, 751-757 （2007）].     

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.     

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.     

A modified BLM approach to quantum affine {\mathfrak{gl}_n}

We introduce a spanning set of Beilinson–Lusztig–MacPherson type, {A(j, r)} _A,j , for affine quantum Schur algebras S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle}(n, r)} and construct a linearly independent set {A(j)} _A,j for an associated algebra [^(K)]_\vartriangle(n){{{\boldsymbol{\widehat{\mathcal K}}}_\vartriangle}(n)} . We then establish explicitly some multiplication formulas of simple generators E^\vartriangle_h,h+1(0){E^\vartriangle_{h,h+1}}(\mathbf{0}) by an arbitrary element A(j) in [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle(n)}} via the corresponding formulas in S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle(n, r)}} , and compare these formulas with the multiplication formulas between a simple module and an arbitrary module in the Ringel–Hall algebras \mathfrak H_\vartriangle(n){{{\boldsymbol{\mathfrak H}_\vartriangle(n)}}} associated with cyclic quivers. This allows us to use the triangular relation between monomial and PBW type bases for \mathfrak H_\vartriangle(n){{\boldsymbol{\mathfrak H}}_\vartriangle}(n) established in Deng and Du (Adv Math 191:276–304, 2005) to derive similar triangular relations for S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle}(n, r)} and [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{\mathcal K}}}_\vartriangle}(n) . Using these relations, we then show that the subspace \mathfrak A_\vartriangle(n){{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)} of [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle}(n)} spanned by {A(j)} _A,j contains the quantum enveloping algebra U_\vartriangle(n){{{\mathbf U}_\vartriangle}(n)} of affine type A as a subalgebra. As an application, we prove that, when this construction is applied to quantum Schur algebras S(n,r){\boldsymbol{\mathcal S}(n,r)} , the resulting subspace \mathfrak A_\vartriangle(n){{{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)}} is in fact a subalgebra which is isomorphic to the quantum enveloping algebra of \mathfrakgl_n{\mathfrak{gl}_n} . We conjecture that \mathfrak A_\vartriangle(n){{{{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)}}} is a subalgebra of [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle}(n)} .