Regularity of\bar \partial _b , complex on nondegenerate Cauchy-Riemann manifolds, complex on nondegenerate Cauchy-Riemann manifolds

For each point ξ in a CR manifold M of codimension greater than 1, the CR structure of M can be approximated by the CR structure of a nilpotent Lie group G_ξ of step two near ξ. G_ξ varies with ξ. $\square _b $ and $\bar \partial _b $ on M can be approximated by $\square _b $ and $\bar \partial _b $ on the nilpotent Lie group G_ξ We can construct the parametrix of $\square _b $ on M by using the parametrix of $\square _b $ on nilpotent group of step two, and define a quasidistance on M by the approximation. The regularity of $\square _b $ and $\bar \partial _b $ follows from the Harmonic analysis on M.     

The explicit solutions ofC_{p,q}^{k + \alpha } -form for the\bar \partial -equations on pseudoconvex open sets

In this paper, we study the integral solution operators for the $\bar \partial $ -equations on pseudoconvex domains. As a generalization of [1] for the $\bar \partial $ -equations on pseudoconvex domains with boundary of classC ^∞, we obtain the explicit integral operator solutions of $C_{p,q}^{k + \alpha } $ -form for the $\bar \partial $ -equations on pseudoconvex open sets with boundary ofC ^k (k≥0) and the sup-norm estimates of which solutions have similar as that [1] in form.     

Between\widehat{gl}(\infty ) and\widehat{sl}_N affine algebras. I. Geometrical actions

We consider the central extended $\widehat{gl}(\infty )$ Lie algebra and a set of its subalgebras parametrized by |q|=1, which coincides with the embedding of the quantum tori Lie algebras (QTLA) in $\widehat{gl}(\infty )$ . Forq ^N=1 there exists an ideal, and a factor over this ideal is isomorphic to an $\widehat{sl}_{N(z)} $ affine algebra. For a generic valueq the corresponding subalgebras are dense in $\widehat{gl}(\infty )$ . Thus, they interpolate between $\widehat{gl}(\infty )$ and $\widehat{sl}_{N(z)} $ . All these subalgebras are fixed points of automorphism of $\widehat{gl}(\infty )$ . Using the automorphisms, we construct geometrical actions for the subalgebras, starting from the Kirillov-Kostant form and the corresponding geometrical action for $\widehat{gl}(\infty )$ .     

L 2 existence theorems for the\bar \partial _b - Neumann problem on strongly pseudoconvex CR manifoldsproblem on strongly pseudoconvex CR manifolds

LetM be the boundary of a strongly pseudoconvex domain in \(\mathbb{C}^n \) ,n≥4 and ω be an open subset inM such that ?ω is the intersection ofM with a flat hypersurface. We establish theL ² existence theorems of the \(\bar \partial _b - Neumann\) problem on ω. In particular, we prove that the \(\bar \partial _b - Laplacian\) \(\square _b = \bar \partial _b \bar \partial _b^* + \bar \partial _b^* \bar \partial _b \) equipped with a pair of natural boundary conditions, the so-called \(\bar \partial _b - Neumann\) boundary conditions, has closed range when it acts on (0,q) forms, 1≤q≤n?3. Thus there exists a bounded inverse operator for \(\square _b \) , the \(\bar \partial _b - Neumann\) operatorN _b, and we have the following Hodge decomposition theorem on ω for \(\bar \partial _b \bar \partial _b^* N_b \alpha + \bar \partial _b^* \bar \partial _b N_b \alpha \) , for any (0,q) form α withL ²(ω) coefficients. The proof depends on theL ^p regularity of the tangential Cauchy-Riemann operators \(\bar \partial _b u = \alpha \) on ω?M under the compatibility condition \(\bar \partial _b \alpha = 0\) , where α is a (p, q) form on ω, where 1≤q≤n?2. The interior regularity ofN _b follows from the fact that \(\square _b \) is subelliptic in the interior of ω. The operatorN _b induces natural questions on the regularity up to the boundary ?ω. Near the characteristic point of the boundary, certain compatibility conditions will be present. In fact, one can show thatN _b is not a compact operator onL ²(ω).     

Rate of convergence of Fourier series on the classes of \bar \Psi -integrals-integrals

We introduce the notion of $\bar \Psi $ -integrals of 2π-periodic summable functions f, f ε L, on the basis of which the space L is decomposed into subsets (classes) $L^{\bar \Psi } $ . We obtain integral representations of deviations of the trigonometric polynomials U _n(f;x;Λ) generated by a given Λ-method for summing the Fourier series of functions $f{\text{ }}\varepsilon {\text{ }}L^{\bar \Psi } $ . On the basis of these representations, the rate of convergence of the Fourier series is studied for functions belonging to the sets $L^{\bar \Psi } $ in uniform and integral metrics. Within the framework of this approach, we find, in particular, asymptotic equalities for upper bounds of deviations of the Fourier sums on the sets $L^{\bar \Psi } $ , which give solutions of the Kolmogorov-Nikol'skii problem. We also obtain an analog of the well-known Lebesgue inequality.     

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.     

Global analytic hypoellipticity of the\bar \partial-Neumann problem on circular domains

In this paper we show that if \(D \subseteq \mathbb{C}^n ,n \geqq 2\) , is a smooth bounded pseudoconvex circular domain with real analytic defining functionr(z) such that \(\sum\limits_{k = 1}^n {z_k \frac{{\partial r}}{{\partial z_k }}} \ne 0\) for allz near the boundary, then the solutionu to the \(\bar \partial\) -Neumann problem, $$square u = (\bar \partial \bar \partial * + \bar \partial *\bar \partial )u = f,$$ is real analytic up to the boundary, if the given formf is real analytic up to the boundary. In particular, if \(D \subseteq \mathbb{C}^n ,n \geqq 2\) , is a smooth bounded complete Reinhardt pseudoconvex domain with real analytic boundary. Then ? is analytic hypoelliptic.     

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.     

The \bar \partial -problem on q-pseudoconvex domains with applications

For a q-pseudoconvex domain Ω in ? ⁿ , 1 ≤ q ≤ n, with Lipschitz boundary, we solve the $\bar \partial $ -problem with exact support in Ω. Moreover, we solve the $\bar \partial $ -problem with solutions smooth up to the boundary over Ω provided that it has smooth boundary. Applications are given to the solvability of the tangential Cauchy-Riemann equations on the boundary.     

Global regularity of the\overline \partial-neumann problem on an annulus between two pseudoconvex manifolds which satisfy property (P)problem on an annulus between two pseudoconvex manifolds which satisfy property (P)

LetX be a complex manifold of dimensionn≥3. Let Ω₁, Ω₂ be two open pseudoconvex submanifolds with smooth boundary such that Ω₁ ? Ω₂ ?X . Let Ω = Ω₂ \ $\overline \Omega_1 $ . Assume thatbΩ₁ andbΩ₁ satisfy Catlin's condition (P). Then the compactness estimate for (p, q)-forms with 0<q<n?1 holds for the $\overline \partial$ -Neumann problem on Ω. This result implies that given a $\overline \partial$ -closed (p, q)-form α with 0<q<n?1, which isC ^∞ on $\overline \Omega$ and which is cohomologous to zero on Ω, the canonical solutionu of the equation $\overline \partial$ u=α is smooth on $\overline \Omega$ .     

Hölder andL p -estimates for the\bar \partial -equation on non-smooth strictlyq-convex domainson non-smooth strictlyq-convex domains

A solution operator for the \(\bar \partial \) -equation on strictlyq-convex domains with nonsmooth boundary is constructed. It is proved that the solution satisfies optimal 1/2-Hölder andL ^p estimates.     

Oscillation and global attractivity in a periodic delay hematopoiesis model

In this paper we shall consider the nonlinear delay differential equation $$p'(t) = \frac{{\beta (t)}}{{1 + p^n (t - m\omega )}} - \delta (t)p(t),$$ wherem is a positive integer, β(t) and δ(t) are positive periodic functions of period ω. In the nondelay case we shall show that (*) has a unique positive periodic solution $\bar p(t)$ , and show that $\bar p(t)$ is a global attractor all other positive solutions. In the delay case we shall present sufficient conditions for the oscillation of all positive solutions of (*) about $\bar p(t)$ , and establish sufficient conditions for the global attractivity of $\bar p(t)$ . Our results extend and improve the well known results in the autonomous case.     

Calderón constants of finite-dimensional couples

The Calderón constant æ( $\bar X$ ) is a numerical invariant of finite-dimensional Banach couple $\bar X = (X_0 ,X_1 )$ measuring its interpolation property with respect to linear operators acting in $\bar X$ . In the paper we prove the duality relation æ( $\bar X$ )≈ æ( $\bar X$ ^*)and calculate the asymptotic behavior of æ( $\bar X$ ) as dim $\bar X \to \infty $ for a few “classical” Banach couples.     

New estimates of continuity in $$M/GI/1/ \infty$$ queues

The paper deals with an estimation of the total variation distance between stationary distributions of waiting time in two queueing systems with equal Poisson inputs and different distributions B and $\widetilde B$ of service time. Assuming equality of two first moments of B and $\widetilde B$ the continuity inequalities are derived in terms of difference pseudomoments of B and $\widetilde B$ . When in addition the third moments of B and $\widetilde B$ coincide then the constant involved in the corresponding inequality has the asymptotics ${\text{O}}\left[ {\left( {1 - \rho } \right)^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}} } \right]$ in the heavy traffic limit $\rho \to 1$ .     

\mathfrak{E} of topological spaces II

In this paper, we obtain analogues, in the situation of \(\mathfrak{E}\) -extensions, of Magill's theorem on lattices of compactifications. We define an epireflective subcategory of the categoryT 2 of all Hausdorff spaces to be admissive (respectively finitely admissive) if for any \(\mathfrak{E}\) -regular spaceX, every Hausdorff quotient of \(\beta _\mathfrak{E} X\) which is Urysohn on \(\beta _\mathfrak{E} X - X\) (respectively which is finitary on \(\beta _\mathfrak{E} X - X\) ) and which is identity onX, has \(\mathfrak{E}\) . We notice that there are many proper epireflective subcategories ofT 2 containing all compact spaces and which are admissive; there are many such which are not admissive but finitely admissive. We prove that when \(\mathfrak{E}\) is a finitely admissive epireflective subcategory ofT 2, then the lattices of finitary \(\mathfrak{E}\) -extensions of two spacesX andY are isomorphic if and only if \(\beta _\mathfrak{E} X - X\) and \(\beta _\mathfrak{E} Y - Y\) are homeomorphic. Further if \(\mathfrak{E}\) is admissive, then the lattices of Urysohn \(\mathfrak{E}\) -extensions ofX andY are isomorphic if and only if \(\beta _\mathfrak{E} X - X\) and \(\beta _\mathfrak{E} Y - Y\) are homeomorphic.     

The Hilbert functions ofk-configurations in\mathbb{P}^2 and\mathbb{P}^3

In this paper, we proved the set of points which are the vertices of then-gon in $\mathbb{P}^2 $ (n ≥ 3) has the Uniform Position Property and what the graded free resolutions of the ideals ofk-configurations in $\mathbb{P}^3 $ are.     

A-Systems, Independent Functions, and Sets Bounded in Spaces of Measurable Functions

Let $U \subset L_o ([0,1],\mathcal{M},m)$ be a set of Lebesgue measurable functions. Suppose also that two seminormed spaces of real number sequences are given: $\mathcal{A}$ and $\mathcal{B}$ . We study $\left( {\mathcal{A},\mathcal{B}} \right)$ -sets U defined by the classes $\mathcal{A}$ and $\mathcal{B}$ as follows: $\forall a = (a_n ) \in \mathcal{A}, \forall (f_n (t)) \in u^\mathbb{N} $ (or for sequences similar to $(f_n (t))$ ) $\exists E = E(a) \subset [0,1], mE = 1$ such that $\{ a_n f_n (t)\} 1_E (t)\} \in \mathcal{B}, t \in [0,1]$ . We consider three versions of the definition of $\left( {\mathcal{A},\mathcal{B}} \right)$ -sets, one of which is based on functions independent in the probability sense. The case ${\mathcal{B}}=l_\infty$ is studied in detail. It is shown that $({\mathcal{A}},l_\infty)$ -independent sets are sets bounded or order bounded in some well-known function spaces (L _p , L _p,q , etc.) constructed with respect to the Lebesgue measure. A characterization of such sets in terms of seminormed spaces of number sequences is given. The (l ₁,c _°)- and $(\mathcal{A},l_1 )$ -sets were studied by E. M. Nikishin.     

Sensitivity of best recovery in the Sobolev spaces W_\infty ^{r,d} , \widetilde W_\infty ^{r,d}for perturbed sampling

Let $I^d $ be the d‐dimensional cube, $I^d = [0,1]^d $ , and let $F \ni f \mapsto Sf \in L_\infty (I^d ) $ be a linear operator acting on the Sobolev space F, where Fis either $$$$ or $$$$ where $$\left\| f \right\|_F = \sum\limits_{\left| m \right| = r} {\mathop {{\text{esssup}}}\limits_{x \in I^d } \left| {\frac{{\partial f^{\left| m \right|} }} {{\partial x_1^{m_1 } \partial x_2^{m_2 } \cdot \cdot \cdot \partial x_d^{m_d } }}(x)} \right|.} $$ We assume that the problem elements fsatisfy the condition $\sum\nolimits_{\left| m \right| = r} {{\text{esssup}}} _{x \in I^d } \left| {f^{(m)} (x)} \right| \leqslant 1 $ and that Sis continuous with respect to the supremum norm. We study sensitivity of optimal recovery of Sfrom inexact samples of ftaken at npoints forming a uniform grid on $I^d $ . We assume that the inaccuracy in reading the sample vector is measured in the pth norm and bounded by a nonnegative number δ. The sensitivity is defined by the difference between the optimal errors corresponding to the exact and perturbed readings, respectively. Our main result is that this difference is bounded by $\mathcal{A}\delta $ , where $\mathcal{A} $ is a positive constant independent of the number of samples. This indicates that the curse of dimension, which badly affects the optimal errors, does not extend to sensitivity.     

A Characterization of Projective Spaces by a Set of Planes

This note deals with the following question: How many planes of a linear space (P, $\mathfrak{L}$ ) must be known as projective planes to ensure that (P, $\mathfrak{L}$ ) is a projective space? The following answer is given: If for any subset M of a linear space (P, $\mathfrak{L}$ ) the restriction (M, $\mathfrak{L}$ )(M)) is locally complete, and if for every plane E of (M, $\mathfrak{L}$ (M)) the plane $\bar E$ generated by E is a projective plane, then (P, $\mathfrak{L}$ ) is a projective space (cf. 5.6). Or more generally: If for any subset M of P the restriction (M, $\mathfrak{L}$ (M)) is locally complete, and if for any two distinct coplanar lines G1, G2 ∈ $\mathfrak{L}$ (M) the lines $\bar G_1 ,\bar G_2 \varepsilon \mathfrak{L}$ generated by G1, G2 have a nonempty intersection and $\overline {G_1 \cup {\text{ }}G_2 }$ satisfies the exchange condition, then (P, $\mathfrak{L}$ ) is a generalized projective space.