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.     

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

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,

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 .     

On the sharp Jackson-Nikol’skii inequality for algebraic polynomials on a multidimensional Euclidean sphere

The best constant C _n,m in the Jackson-Nikol’skii inequality between the uniform and integral norms of algebraic polynomials of a given total degree n ≥ 0 on the unit sphere $ \mathbb{S}^{m - 1} $ \mathbb{S}^{m - 1} of the Euclidean space ℝ ^m is studied. Two-sided estimates for the constant C _n,m are obtained, which, in particular, give the order n ^m−1 of its behavior with respect to n as n → +∞ for a fixed m.     

Constant angle surfaces in the Heisenberg group

In this article we extend the notion of constant angle surfaces in $ \mathbb{S}^2 $ \mathbb{S}^2 × ℝ and ℍ² × ℝ to general Bianchi-Cartan-Vranceanu spaces. We show that these surfaces have constant Gaussian curvature and we give a complete local classification in the Heisenberg group.     

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.     

Global solutions of the evolutionary Faddeev model with small initial data

We consider the Cauchy problem for evolutionary Faddeev model corresponding to maps from the Minkowski space ℝ¹⁺ⁿ to the unit sphere $ \mathbb{S} $ \mathbb{S} ², which obey a system of non-linear wave equations. The nonlinearity enjoys the null structure and contains semi-linear terms, quasi-linear terms and unknowns themselves. We prove that the Cauchy problem is globally well-posed for sufficiently small initial data in Sobolev space.     

Stabilization for the vibrations modeled by the ‘standard linear model’ of viscoelasticity

We study the stabilization of vibrations of a flexible structure modeled by the ‘standard linear model’ of viscoelasticity in a bounded domain in ℝ ⁿ with a smooth boundary. We prove that amplitude of the vibrations remains bounded in the sense of a suitable norm in a space $ \mathbb{X} $ \mathbb{X} , defined explicitly in (22) subject to a restriction on the uncertain disturbing forces on $ \mathbb{X} $ \mathbb{X} . We also estimate the total energy of the system over time interval [0, T] for any T > 0, with a tolerance level of the disturbances. Finally, when the input disturbances are insignificant, uniform exponential stabilization is obtained and an explicit form for the energy decay rate is derived. These results are achieved by a direct method under undamped mixed boundary conditions.     

Potential type operators and transmission problems for strongly elliptic second-order systems in Lipschitz domains

We consider a strongly elliptic second-order system in a bounded n-dimensional domain Ω⁺ with Lipschitz boundary Γ, n ≥ 2. The smoothness assumptions on the coefficients are minimized. For convenience, we assume that the domain is contained in the standard torus $ \mathbb{T}^n $ \mathbb{T}^n . In previous papers, we obtained results on the unique solvability of the Dirichlet and Neumann problems in the spaces H _p ^σ and B _p ^σ without use of surface potentials. In the present paper, using the approach proposed by Costabel and McLean, we define surface potentials and discuss their properties assuming that the Dirichlet and Neumann problems in Ω⁺ and the complementing domain Ω⁻ are uniquely solvable. In particular, we prove the invertibility of the integral single layer operator and the hypersingular operator in Besov spaces on Γ. We describe some of their spectral properties as well as those of the corresponding transmission problems.     

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.     

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.     

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} ):

Solution blow-up for a new stationary Sobolev-type equation

A new nonlinear stationary Sobolev-type equation with a parameter η ∈ ℝ¹ is derived. For η > 0, global solvability in the weak generalized sense is proved in the entire waveguide $ \mathbb{S} $ \mathbb{S} ⊗ ℝ₊¹. For η < 0, the strong generalized solution is shown to blow up in a certain waveguide cross section z = R ₀ > 0. An upper bound for R ₀ in terms of the original parameters of the problem is obtained.     

Stability of submanifolds with parallel mean curvature in calibrated manifolds

On a Riemannian manifold $ \bar M^{m + n} $ \bar M^{m + n} with an (m + 1)-calibration Ω, we prove that an m-submanifold M with constant mean curvature H and calibrated extended tangent space ℝH ⋇ TM is a critical point of the area functional for variations that preserve the enclosed Ω-volume. This recovers the case described by Barbosa, do Carmo and Eschenburg, when n = 1 and Ω is the volume element of $ \bar M $ \bar M . To the second variation we associate an Ω-Jacobi operator and define Ω-stability. Under natural conditions, we show that the Euclidean m-spheres are the unique Ω-stable submanifolds of ℝ ^m+n . We study the Ω-stability of geodesic m-spheres of a fibred space form M ^m+n with totally geodesic (m + 1)-dimensional fibres.     

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.     

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.     

A complex structure on the set of quasiconformally extendible non-overlapping mappings into a Riemann surface

Let Σ be a Riemann surface with n distinguished points p ₁,..., p _n . We prove that the set of n-tuples (φ₁,..., φ _n ) of univalent mappings φ _i from the unit disc $ \mathbb{D} $ \mathbb{D} into Σ mapping 0 to p _i , with non-overlapping images and quasiconformal extensions to a neighbourhood of $ \overline {\mathbb{D}} $ \overline {\mathbb{D}} , carries a natural complex Banach manifold structure. This complex structure is locally modeled on the n-fold product of a two complex-dimensional extension of the universal Teichmüller space. Our results are motivated by Teichmüller theory and two-dimensional conformal field theory.     

On equivalences of derived and singular categories

Let X and Y be two smooth Deligne-Mumford stacks and consider a pair of functions f: X → $ \mathbb{A}^1 $ \mathbb{A}^1 , g:Y → $ \mathbb{A}^1 $ \mathbb{A}^1 . Assuming that there exists a complex of sheaves on X × $ \mathbb{A}^1 $ \mathbb{A}^1 Y which induces an equivalence of D ^b (X) and D ^b (Y), we show that there is also an equivalence of the singular derived categories of the fibers f ⁻¹(0) and g ⁻¹(0). We apply this statement in the setting of McKay correspondence, and generalize a theorem of Orlov on the derived category of a Calabi-Yau hypersurface in a weighted projective space, to products of Calabi-Yau hypersurfaces in simplicial toric varieties with nef anticanonical class.