Estimates in Beurling-Helson type theorems: Multidimensional case

We consider the spaces A _p ( $\mathbb{T}^m $ ) of functions f on the m-dimensional torus $\mathbb{T}^m $ such that the sequence of Fourier coefficients $\hat f = \{ \hat f(k),k \in \mathbb{Z}^m \} $ belongs to l ^p (? ^m ), 1 ≤ p < 2. The norm on A _p ( $\mathbb{T}^m $ ) is defined by $\left\| f \right\|_{A_p (\mathbb{T}^m )} = \left\| {\hat f} \right\|_{l^p (\mathbb{Z}^m )} $ . We study the rate of growth of the norms $\left\| {e^{i\lambda \phi } } \right\|_{A_p (\mathbb{T}^m )} $ as |λ| → ∞, λ ∈ ?, for C ¹-smooth real functions φ on $\mathbb{T}^m $ (the one-dimensional case was investigated by the author earlier). The lower estimates that we obtain have direct analogs for the spaces A _p (? ^m ).     

Bergman type operators on a class of weakly pseudoconvex domains

A necessary and sufficient condition for the boundedness of the operator: $(T_{s,u,u} f)(\xi ) = h^{u + \tfrac{v}{a}} (\xi )\smallint _{\Omega _a } h^s (\xi ')K_{s,u,v} (\xi ,\xi ')f(\xi ')dv(\xi ') on L^p (\Omega _a ,dv_\lambda ),1< p< \infty $ , is obtained, where $\Omega _a = \left\{ {\xi = (z,w) \in \mathbb{C}^{n + m} :z \in \mathbb{C}^n ,w \in \mathbb{C}^m ,|z|^2 + |w|^{2/a}< 1} \right\},h(\xi ) = (1 - |z|^2 )^a - |w|^2 $ andK _x,u,v (ξ,ξ′).This generalizes the works in literature from the unit ball or unit disc to the weakly pseudoconvex domain ω _a . As an appli cation, it is proved thatf?L _H ^p (ω _a ,dv _λ) implies $h\tfrac{{|a|}}{a} + |\beta |(\xi )D_2^a D_z^\beta f \in L^p (\Omega _a ,dv_\lambda ),1 \leqslant p< \infty $ , for any multi-indexa=(α₁,?,α _n and ß = (ß₁, —ß). An interesting question is whether the converse holds.     

Descriptions of exceptional sets in the circles for functions from the Bergman space

Let D be a domain in $\mathbb{C}^2 $ . For w ∈ $\mathbb{C}$ , let D_w=\{z \in $\mathbb{C}$ \, \vert \, (z,w)\in D\}. If f is a holomorphic and square-integrable function in D, then the set E(D, f) of all w such that f(., w) is not square-integrable in D _w is of measure zero. We call this set the exceptional set for f. In this note we prove that for every 0 < r < 1, and every G _δ-subset E of the circle C(0,r)=\{z \in $\mathbb{C}$ \, \vert \, \vert z \vert = r \},there exists a holomorphic square-integrable function f in the unit ball B in $\mathbb{C}$ ² such that E(B, f) = E.     

On permutations of central quadrics which preserve an inner distance

Letq be a regular quadratic form on a vector space (V, $\mathbb{F}$ ) and assume dimV ≥ 4 and ¦ $\mathbb{F}$ ¦ ≥ 4. We consider a permutation ? of the central affine quadric $\mathcal{F}$ := {x εV ¦q(x) = 1} such that $$(*)x \cdot y = \mu \Leftrightarrow x^\varphi \cdot y^\varphi = \mu \forall x,y\varepsilon \mathcal{F}$$ holds true, where μ is a fixed element of $\mathbb{F}$ and where “·” is the scalar product associated withq. We prove that ? is induced (in a certain sense) by a semi-linear bijection (σ,?): (V, $\mathbb{F}$ ) → (V, $\mathbb{F}$ ) such thatq o ?o q, provided $\mathcal{F}$ contains lines and the pair (μ, $\mathbb{F}$ ) has additional properties if there ar no planes in $\mathcal{F}$ . The cases μ,≠ 0 and μ = 0 require different techniques.     

On Uniform Approximation in R2 of Continuous Functions of Two Variables with Bounded Variation in the Sense of Hardy

Introduce the notation: $\mathbb{Z}$ is the set of integers, $\bar {\mathbb{Z}}={\mathbb{Z}} \cup \{-\infty, +\infty\},{\mathbb{R}}_+^2 =\{x=(x_1,x_2) \in {\mathbb{R}}^2; x_1>0,x_2>0\}$ , $g_{k,m} (x,\alpha,h)= \int\limits_0^1 {g_1 (\frac{(k+u)h_1 - x_1}{\alpha_1})g_2(\frac{(m+u)h_2 - x_2}{\alpha_2})}du$ , where $g_i :\mathbb{R} \to \mathbb{R},x \in \mathbb{R}^2 ,\alpha ,h \in \mathbb{R}_ + ^2 $ . Under certain conditions on the functions g ₁, g ₂, we prove that the system of functions $g_{k,m} (x,\alpha^(n), h^(n)) (k,m \in \bar {\mathbb{Z}})$ , where $\alpha ^{\left( n \right)} ,h^{\left( n \right)} \in \mathbb{R}_ + ^2 $ are arbitrary infinitesimal sequences, is complete in the space C $\mathbb{R}^2 $ of uniformly continuous bounded functions f equipped with the norm $||f|| = \mathop {\sup }\limits_{x \in \mathbb{R}^2 } |f(x)|$ . Starting with the functions g _k,m , it is possible to construct a method for uniform approximating in $\mathbb{R}^2 $ any continuous function of bounded variation in the sense of Hardy. An error estimate is derived in terms of the second order moduli of continuity. Based on the obtained results, we discuss in detail the accuracy of uniform approximation of functions of several variables by linear functions. The error estimates are derived by using second order moduli of continuity. We pay a particular attention to sharpness of constants. Bibliography: 8 titles.     

Approximation by M. Riesz Kernels in L p for p<1

Let α > 0. We consider the linear span $\mathfrak{X}_\alpha \left( {\mathbb{R}^n } \right)$ of scalar Riesz's kernels $\left\{ {\tfrac{1}{{\left| {x - a} \right|^\alpha }}} \right\}_{a \in \mathbb{R}^n }$ and the linear span $\mathfrak{Y}_\alpha \left( {\mathbb{R}^n } \right)$ of vector Riesz's kernels $\left\{ {\tfrac{1}{{\left| {x - a} \right|^{\alpha + 1} }}\left( {x - a} \right)} \right\}_{a \in \mathbb{R}^n }$ . We study the following problems. (1) When is the intersection $\mathfrak{X}_\alpha \left( {\mathbb{R}^n } \right) \cap L^p \left( {\mathbb{R}^n } \right)$ dense in L^p(?ⁿ)? (2) When is the intersection $\mathfrak{Y}_\alpha \left( {\mathbb{R}^n } \right) \cap L^p \left( {\mathbb{R}^n ,\mathbb{R}^n } \right)$ dense in L^p(?ⁿ, ?ⁿ)? Bibliography: 15 titles.     

Oscillatory Properties of Solutions of Impulsive Differential Equations With Several Retarded Arguments

The impulsive differential equation $\begin{gathered} x\prime (t) + \sum\limits_{i = 1}^m {p_i (t)x(t - \tau _i ) = 0,} {\text{ }}t \ne \xi _k , \\ \Delta x(\xi _k ) = b_k x(\xi _k ) \\ \end{gathered} $ with several retarded arguments is considered, where p _i(t) ≥ 0, 1 + b _k > 0 for i = 1, ..., m, t ≥ 0, $k \in \mathbb{N}$ . Sufficient conditions for the oscillation of all solutions of this equation are found.     

Isometric Immersions into {\mathbb{S}^m \times \mathbb{R}} and {\mathbb{H}^m \times \mathbb{R}} with High Codimensions

In this paper, we obtain sufficient and necessary conditions for a simply connected Riemannian manifold (M ⁿ , g) to be isometrically immersed into ${\mathbb{S}^m \times \mathbb{R}}$ and ${\mathbb{H}^m \times \mathbb{R}}$ .     

Estimates of C m-Capacity of Compact Sets in ℝ N

For a given homogeneous elliptic partial differential operator L with constant complex coefficients, the Banach space V of distributions in $\mathbb{R}^N $ and a compact set X in $\mathbb{R}^N $ , we study the quantity $\lambda _{V,L} (X)$ equal to the distance in V from the class of functions f ₀ satisfying the equation Lf ₀ = 1 in a neighborhood of X (depending on f ₀) to the solution space of the equation Lf= 0 in the neighborhoods of X. For V=BC ^m , we obtain upper and lower bounds for $\lambda _{V,L} (X)$ in terms of the metric properties of the set X, which allows us to obtain estimates for $\lambda _{V,L} (X)$ for a wide class of spaces V.     

Nil-Manifolds Cannot be Immersed as Hypersurfaces in Euclidean Spaces

We prove that the $2n + 1$ -dimensional Heisenberg group H _n and the 4-manifolds $Nil^4 $ and $Nil^3 \times \mathbb{R}$ endowed with an arbitrary left-invariant metric admit no C ³-regular immersions into Euclidean spaces $\mathbb{R}^{2n + 2} $ and $\mathbb{R}^5 $ , respectively.     

Subexponential loss rates in a GI/GI/1 queue with applications

Consider a single server queue with i.i.d. arrival and service processes, $\{ A,A_n ,n \geqslant 0\} $ and $\{ C,\;C_n ,n\;\; \geqslant \;\;0\} $ , respectively, and a finite buffer B. The queue content process $\{ Q_n^B ,n \geqslant 0\} $ is recursively defined as $Q_{n + 1}^B = \min ((Q_n^B + A_{n + 1} - C_{n + 1} )^ + ,B),\;\;q^ + = \max (0,q)$ . When $\mathbb{E}(A - C) < 0$ , and A has a subexponential distribution, we show that the stationary expected loss rate for this queue $E(Q_n^B + A_{n + 1} - C_{n + 1} - B)^ + $ has the following explicit asymptotic characterization: $${\mathbb{E}}\left( {Q_n^B + A_{n + 1} - C_{n + 1} - B} \right)^ + ~{\mathbb{E}}\left( {A - B} \right)^ + {as} B \to \infty ,$$ independently of the server process C _n . For a fluid queue with capacity c, M/G/∞ arrival process A _t , characterized by intermediately regularly varying on periods σ^on, which arrive with Poisson rate Λ, the average loss rate $\lambda _{{loss}}^B $ satisfies λ _loss ^B ～ Λ E(τ^onη — B)⁺ as B → ∞, where $\eta = r + \rho - c,\;\rho \; = \mathbb{E}A_t < \;\;c;r\;\;(c \leqslant r)$ is the rate at which the fluid is arriving during an on period. Accuracy of the above asymptotic relations is verified with extensive numerical and simulation experiments. These explicit formulas have potential application in designing communication networks that will carry traffic with long-tailed characteristics, e.g., Internet data services.     

Codimension 1 Subvarieties of {\mathcal{M}_g } and Real Gonality of Real Curves

Let ${\mathcal{M}_g }$ be the moduli space of smooth complex projective curves of genus g. Here we prove that the subset of ${\mathcal{M}_g }$ formed by all curves for which some Brill-Noether locus has dimension larger than the expected one has codimension at least two in ${\mathcal{M}_g }$ . As an application we show that if ${X \in \mathcal{M}_g }$ is defined over $\mathbb{R}$ then there exists a low degree pencil ${u:X \to \mathbb{P}^1 }$ defined over $\mathbb{R}.$      

Locally Minimal Trees in n-Normed Spaces

The locally minimal trees in normed spaces $({\mathbb{R}}^2, \rho)$ , where the unit circle ${x \in {\mathbb{R}}^2 | \rho (x)=1}$ in the norm ρ coincides with the regular m-gon (m = 2n) inscribed in the Euclidean unit circle S ¹, are completely classified.     

Strong asymptotics for Sobolev orthogonal polynomials

In this paper we obtain the strong asymptotics for the sequence of orthogonal polynomials with respect to the inner product $\left\langle {f,g} \right\rangle s = \sum\limits_{k - 0}^m {\int\limits_{\Delta _k } {f^{\left( k \right)} \left( x \right)g^{\left( k \right)} \left( x \right)d\mu \kappa } } \left( x \right)$ where $\left\{ {\mu _\kappa } \right\}_{k = 0}^m ,m \in \mathbb{Z}_ + $ , are measures supported on [?1,1] which satisfy Szegö's condition.     

Characteristic rank of vector bundles over Stiefel manifolds

The characteristic rank of a vector bundle ξ over a finite connected CW-complex X is by definition the largest integer ${k, 0 \leq k \leq \mathrm{dim}(X)}$ , such that every cohomology class ${x \in H^{j}(X;\mathbb{Z}_2), 0 \leq j \leq k}$ , is a polynomial in the Stiefel–Whitney classes w _i (ξ). In this note we compute the characteristic rank of vector bundles over the Stiefel manifold ${V_k(\mathbb{F}^n), \mathbb{F} = \mathbb{R}, \mathbb{C}, \mathbb{H}}$ .     

On 1-isometries of affine quadrics over finite fields

Letq be a regular quadratic form on a vector space (V, $\mathbb{F}$ ) and assume $4 \leqslant dim V \leqslant \infty \wedge |\mathbb{F}| \in \mathbb{N}$ . A 1-isometry of the central quadric $\mathcal{F}: = \{ x \in V|q(x) = 1\}$ is a permutation ? of $\mathcal{F}$ such that (*) $$q(x - y) = \nu \Leftrightarrow q(x^\varphi - y^\varphi ) = \nu \forall x,y \in \mathcal{F}$$ holds true for a fixed element ν of $\mathbb{F}$ . For arbitraryν ∈ $\mathbb{F}$ we prove that? is induced (in a certain sense) by a semi-linear bijection $(\sigma ,\varrho ):(V,\mathbb{F}) \to (V,\mathbb{F})$ such thatq oσ =? oq, provided $\mathcal{F}$ contains lines and the exceptional case $(\nu = 2 \Lambda |\mathbb{F}| = 3 \Lambda \dim V = 4 \Lambda |\mathcal{F}| = 24)$ is excluded. In the exceptional case and as well in case of dim V = 3 there are counterexamples. The casesν ≠ 2 and v=2 require different techniques.     

Completeness of the Grid Translates of Functions

If $f\in L^{p}(\mathbb{R}^{d})$ is a bounded real valued continuous function which has a unique maximum or a unique minimum at a point $x_{0}\in \mathbb{R}^{d}$ and if the inverse image of the neighborhoods of f(x ₀) shrinks regularly to x ₀, then $\mathrm{ span }\{f^{m}(x-2^{-m}\varSigma_{i=1}^{d} j_{i} e_{i})\mid m\in\mathbb{N}, j_{i}\in\mathbb{Z}\}$ is a dense subset of $L^{p}(\mathbb{R}^{d}), 1\le p<\infty$ where f ^m (x)=f(x) ^m and {e _i } is the natural basis of $\mathbb{R}^{d}$ . The result extends to all homogeneous groups, Riemannian symmetric spaces of noncompact type, Damek-Ricci spaces etc.     

An inverse problem of the three-dimensional wave equation for a general annular vibrating membrane with piecewise smooth boundary conditions

This paper deals with the very interesting problem about the influence of piecewise smooth boundary conditions on the distribution of the eigenvalues of the negative Laplacian inR ³. The asymptotic expansion of the trace of the wave operator $\widehat\mu (t) = \sum\limits_{\upsilon = 1}^\infty {\exp \left( { - it\mu _\upsilon ^{1/2} } \right)} $ for small ?t? and $i = \sqrt { - 1} $ , where $\{ \mu _\nu \} _{\nu = 1}^\infty $ are the eigenvalues of the negative Laplacian $ - \nabla ^2 = - \sum\limits_{k = 1}^3 {\left( {\frac{\partial }{{\partial x^k }}} \right)} ^2 $ in the (x ¹,x ²,x ³), is studied for an annular vibrating membrane Ω inR ³ together with its smooth inner boundary surfaceS ₁ and its smooth outer boundary surfaceS ₂. In the present paper, a finite number of Dirichlet, Neumann and Robin boundary conditions on the piecewise smooth componentsS ^* _i(i=1, …,m) ofS ₁ and on the piecewise smooth componentsS ^* _i(i=m+1, …,n) ofS ₂ such that $S_1 = \bigcup\limits_{i = 1}^m {S_i^* } $ and $S_2 = \bigcup\limits_{i = m + 1}^n {S_i^* } $ are considered. The basic problem is to extract information on the geometry of the annular vibrating membrane ω from complete knowledge of its eigenvalues by analyzing the asymptotic expansions of the spectral function $\widehat\mu (t)$ for small ?t?.