Spaces with fibered approximation property in dimension <Emphasis Type="Italic">n</Emphasis>

A metric space M is said to have the fibered approximation property in dimension n (briefly, M ∈ FAP(n)) if for any ɛ > 0, m ≥ 0 and any map g: $ \mathbb{I} $ \mathbb{I} ^m × $ \mathbb{I} $ \mathbb{I} ⁿ → M there exists a map g′: $ \mathbb{I} $ \mathbb{I} ^m × $ \mathbb{I} $ \mathbb{I} ⁿ → M such that g′ is ɛ-homotopic to g and dim g′ ({z} × $ \mathbb{I} $ \mathbb{I} ⁿ ) ≤ n for all z ∈ $ \mathbb{I} $ \mathbb{I} ^m . The class of spaces having the FAP(n)-property is investigated in this paper. The main theorems are applied to obtain generalizations of some results due to Uspenskij [11] and Tuncali-Valov [10].     

Linear maps that strongly preserve regular matrices over the Boolean algebra

The set of all m × n Boolean matrices is denoted by $ \mathbb{M} $ \mathbb{M} _m,n . We call a matrix A ∈ $ \mathbb{M} $ \mathbb{M} _m,n regular if there is a matrix G ∈ $ \mathbb{M} $ \mathbb{M} _n,m such that AGA = A. In this paper, we study the problem of characterizing linear operators on $ \mathbb{M} $ \mathbb{M} _m,n that strongly preserve regular matrices. Consequently, we obtain that if min{m, n} ⩽ 2, then all operators on $ \mathbb{M} $ \mathbb{M} _m,n strongly preserve regular matrices, and if min{m, n} ⩾ 3, then an operator T on $ \mathbb{M} $ \mathbb{M} _m,n strongly preserves regular matrices if and only if there are invertible matrices U and V such that T(X) = UXV for all X ε $ \mathbb{M} $ \mathbb{M} _m,n , or m = n and T(X) = UX ^T V for all X ∈ $ \mathbb{M} $ \mathbb{M} _n .     

Integral-type operators from a mixed norm space to a bloch-type space on the unit ball

Let $ \mathbb{B} $ \mathbb{B} be the unit ball in ℂ ⁿ and let H($ \mathbb{B} $ \mathbb{B} ) be the space of all holomorphic functions on $ \mathbb{B} $ \mathbb{B} . We introduce the following integral-type operator on H($ \mathbb{B} $ \mathbb{B} ):

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.     

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.     

Completely nonmeasurable unions

Assume that no cardinal κ < 2 ^ω is quasi-measurable (κ is quasi-measurable if there exists a κ-additive ideal $ \mathbb{I} $ \mathbb{I} of X contains uncountably many pairwise disjoint subfamilies $ \mathbb{I} $ \mathbb{I} -Bernstein unions ∪ $ \mathbb{I} $ \mathbb{I} -Bernstein if A and X \ A meet each Borel $ \mathbb{I} $ \mathbb{I} -positive subset B ⊆ X). This result is a generalization of the Four Poles Theorem (see [1]) and results from [2] and [4].     

Synthesis of invariantly stable discrete uncertain systems

A control of an nth-order discrete system under an external perturbation is considered. The elements of the matrix of the system are functionals of any nature. The observation matrix is constant and has arbitrary size m × n. A control ensuring the independence of the output σ _k on the external perturbation ψ _k is synthesized; moreover,

Multidimensional analog of the Hardy condition for power series

In the middle of the 20th century Hardy obtained a condition which must be imposed on a formal power series f(x) with positive coefficients in order that the series f ⁻¹(x) = $ \sum\limits_{n = 0}^\infty {b_n x^n } $ \sum\limits_{n = 0}^\infty {b_n x^n } b _n x ⁿ be such that b ₀ > 0 and b _n ≤ 0, n ≥ 1. In this paper we find conditions which must be imposed on a multidimensional series f(x ₁, x ₂, …, x _m ) with positive coefficients in order that the series f ⁻¹(x ₁, x ₂, …, x _m ) = $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } satisfies the property b _{0, …, 0} > 0, $ bi_1 ,i_2 , \ldots ,i_m $ bi_1 ,i_2 , \ldots ,i_m ≤ 0, i ₁² + i ₂² + … + i _m ² > 0, which is similar to the one-dimensional case.     

The Bergman kernel function

In this note, we point out that a large family of n×n matrix valued kernel functions defined on the unit disc $ \mathbb{D} \subseteq \mathbb{C} $ \mathbb{D} \subseteq \mathbb{C} , which were constructed recently in [9], behave like the familiar Bergman kernel function on $ \mathbb{D} $ \mathbb{D} in several different ways. We show that a number of questions involving the multiplication operator on the corresponding Hilbert space of holomorphic functions on $ \mathbb{D} $ \mathbb{D} can be answered using this likeness.     

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.     

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.     

Dual Riemannian spaces of constant curvature on a normalized hypersurface

In this paper, the following results are obtained: 1) It is proved that, in the fourth order differential neighborhood, a regular hypersurface V _n−1 embedded into a projective-metric space K _n , n ≥ 3, intrinsically induces a dual projective-metric space $ \bar K_n $ \bar K_n . 2) An invariant analytical condition is established under which a normalization of a hypersurface V _n−1 ⊂ K _n (a tangential hypersurface $ \bar V_{n - 1} $ \bar V_{n - 1} ⊂ $ \bar K_n $ \bar K_n ) by quasitensor fields H _n ⁱ , H _i ($ \bar H_n^i $ \bar H_n^i , $ \bar H_i $ \bar H_i ) induces a Riemannian space of constant curvature. If the two conditions are fulfilled simultaneously, the spaces R _n−1 and $ \bar R_{n - 1} $ \bar R_{n - 1} are spaces of the same constant curvature $ K = - \tfrac{1} {c} $ K = - \tfrac{1} {c} . 3) Geometric interpretations of the obtained analytical conditions are given.     

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.     

On rigidity of Clifford torus in a unit sphere

We extend the scalar curvature pinching theorems due to Peng-Terng, Wei-Xu and Suh-Yang. Let M be an n-dimensional compact minimal hypersurface in S n+1 satisfying Sf 4 f_3~2 ≤ 1/n S~3 , where S is the squared norm of the second fundamental form of M, and f_k =sum λ_i~k from i and λ_i (1 ≤ i ≤ n) are the principal curvatures of M. We prove that there exists a positive constant δ(n)(≥ n/2) depending only on n such that if n ≤ S ≤ n + δ(n), then S ≡ n, i.e., M is one of the Clifford torus S~k ((k/n)~1/2 ) ×S~...     

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.     

The best extension of algebraic polynomials from the unit circle

We study the class $ \mathfrak{P}_n $ \mathfrak{P}_n of algebraic polynomials P _n (x, y) in two variables of total degree n whose uniform norm on the unit circle Γ₁ centered at the origin is at most 1: $ \left\| {P_n } \right\|_{C(\Gamma _1 )} $ \left\| {P_n } \right\|_{C(\Gamma _1 )} ≤ 1. The extension of polynomials from the class $ \mathfrak{P}_n $ \mathfrak{P}_n to the plane with the least uniform norm on the concentric circle Γ _r of radius r is investigated. It is proved that the values θ _n (r) of the best extension of the class $ \mathfrak{P}_n $ \mathfrak{P}_n satisfy the equalities θ _n (r) = r ⁿ for r > 1 and θ _n (r) = r ⁿ⁻¹ for 0 < r < 1.     

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).