Representation of Integers by Positive Quaternary Quadratic Forms

Let $f(x,y,x,w) = x^2 + y^2 + z^2 + Dw^2$ , where $D >1$ is an integer such that $D \ne d^2$ and ${{\sqrt n } \mathord{\left/ {\vphantom {{\sqrt n } {\sqrt D = n^\theta , 0 < \theta < {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}}}} \right. \kern-0em} {\sqrt D = n^\theta , 0 < \theta < {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}}}$ . Let $rf(n)$ be the number of representations of n by f. It is proved that $r_f (n) = \pi ^2 \frac{n}{{\sqrt D }}\sigma _f (n) + O\left( {\frac{{n^{1 + \varepsilon - c(\theta )} }}{{\sqrt D }}} \right),$ where $\sigma _f (n)$ is the singular series, $c(\theta ) >0$ , and ε is an arbitrarily small positive constant. Bibliography: 14 titles.     

On the regularity of solutions of model nonlinear elliptic systems with the oblique derivative type boundary condition

Properties of generalized solutions of model nonlinear elliptic systems of second order are studied in the semiball $B_1^ + = B_1 (0) \cap \{ x_n > 0\} \subset $ ? ⁿ , with the oblique derivative type boundary condition on $\Gamma _1 = B_1 (0) \cap \{ x_n = 0\} $ . For solutionsu∈H ¹(B ₁ ⁺ ) of systems of the form $\frac{d}{{dx_\alpha }}a_\alpha ^k (u_x ) = 0, k \leqslant {\rm N}$ , it is proved that the derivatives u_x are Hölder in $B_1^ + \cup \Gamma _1 )\backslash \Sigma $ , where H_n?p(σ)=0,p>2. It is shown for continuous solutions u from H¹(B₁/⁺) of systems $\frac{d}{{dx_\alpha }}a_\alpha ^k (u,u_x ) = 0$ that the derivatives u_x are Hölder on the set $(B_1^ + \cup \Gamma _1 )\backslash \Sigma , dim_\kappa \Sigma \leqslant n - 2$ . Bibliography: 13 titles.     

Estimates of the levy constant for\sqrt p and class number one criterion for ℚ(\sqrt p )

Let p ≡ = 3 (mod 4) be a prime, let ?( $\sqrt p $ ) be the length of the period of the expansion of $\sqrt p $ into a continued fraction, and let h(4p) be the class number of the field ?( $\sqrt p $ ). Our main result is as follows. For p > 91, h(4p)=1 if and only if ?( $\sqrt p $ ) > 0.56 $\sqrt p $ L_4p(1), where L_4p(1) is the corresponding Dirichlet series. The proof is based on studying linear relations between convergents of the expansion of $\sqrt p $ into a continued fraction. Bibliography: 13 titles.     

Optimal Set of the Modulus of Continuity in the Sharp Jackson Inequality in the Space $$L_2 $$

To a function $f \in L_2 [ - \pi ,\pi ]$ and a compact set $Q \subset [ - \pi ,\pi ]$ we assign the supremum $\omega (f,Q) = \sup _{t \in Q} ||f( \cdot + t) - f( \cdot )||_{L_2 [ - \pi ,\pi ]} $ , which is an analog of the modulus of continuity. We denote by $K(n,Q)$ the least constant in Jackson's inequality between the best approximation of the function f by trigonometric polynomials of degree $n - 1$ in the space $L_2 [ - \pi ,\pi ]$ and the modulus of continuity $\omega (f,Q)$ . It follows from results due to Chernykh that $K(n,Q) \geqslant 1/\sqrt 2 $ and $K(n,[0,\pi /\pi ]) = 1/\sqrt 2 $ . On the strength of a result of Yudin, we show that if the measure of the set Q is less than $\pi /n$ , then $K(n,Q) >1/\sqrt 2 $ .     

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.     

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.     

Arrangements of Hyperplanes and the Number of Threshold Functions

Two approaches on estimating the number of threshold functions which were recently developed by the author are discussed. Let P(K,n) denote the number of threshold functions in K-valued logic. The first approach establishes that $$P(K,n + 1) \geqslant \frac{1}{2}\left( {\mathop {K^{n - 1} }\limits_{\left\lfloor {n - 4 - 2\frac{n}{{\log _K n}}} \right\rfloor } } \right)P\left( {K,\left\lfloor {{\text{2}}\frac{n}{{\log _K n}} + 3} \right\rfloor } \right).$$ The key argument of investigation is the generalization of the result of Odlyzko on subspaces spanned by random selections of ±1-vectors. Let $E_K = \{ 0,1 \ldots ,K - 1\} $ and let E denote the set of all vectors $w_i ,i = 1, \ldots ,K^n $ , which have the form $(1,a_1 , \ldots ,a_n ),a_i \in E_K $ . Denote by $\Lambda _n (K)$ the number of all collections of different vectors $(w_{i_1 } , \ldots ,w_{i_n } ),2 \leqslant i_1 , \ldots ,i_n \leqslant \mathbb{K}^n $ , such that, for any k, $1 \leqslant k \leqslant n$ , the vector $w_{i_k } $ is minimal among all vectors from the set $E \cap {\text{span}}(w_{i_k } , \ldots ,w_{i_n } )$ . The second approach is based on topology-combinatorical techniques and allows to establish the following inequality $P(K,n) \geqslant 2\Lambda _n (K)$ .     

Subspace Arrangements of Type B n and D n

Let ${\mathcal{D}}_{n,k} $ be the family of linear subspaces of ?ⁿ given by all equations of the form $\varepsilon _1 x_{i_1 } = \varepsilon _2 x_{i_2 } = \cdot \cdot \cdot \varepsilon _k x_{i_k } ,$ for 1 ≤ < ? ? ? < i _k ≤ i and $\left( {\varepsilon _1 ,...,\varepsilon _k } \right)\varepsilon \left\{ { + 1, - 1} \right\}^k $ Also let ${\mathcal{B}}_{n,k,h} $ be ${\mathcal{D}}_{n,k} $ enlarged by the subspaces $x_{j_1 } = x_{j_2 } = \cdot \cdot \cdot x_{j_h } = 0,$ for 1 ≤. The special cases ${\mathcal{B}}_{n,2,1} $ and ${\mathcal{D}}_{n,2} $ are well known as the reflection hyperplane arrangements corresponding to the Coxeter groups of type B _nand D _n respectively. In this paper we study combinatorial and topological properties of the intersection lattices of these subspace arrangements. Expressions for their Möbius functions and characteristic polynomials are derived. Lexicographic shellability is established in the case of ${\mathcal{B}}_{n,k,h,} 1 \leqslant h < k$ , which allows computation of the homology of its intersection lattice and the cohomology groups of the manifold $\begin{gathered} {\mathcal{D}}_{n,2} \\ M_{n,k,h,} = {\mathbb{R}}^n \backslash \bigcup {{\mathcal{B}}_{n,k,h,} } \\ \end{gathered} $ . For instance, it is shown that $H^d \left( {M_{n,k,k - 1} } \right)$ is torsion-free and is nonzero if and only if d = t(k ? 2) for some $t,0 \leqslant t \leqslant \left[ {{n \mathord{\left/ {\vphantom {n k}} \right. \kern-0em} k}} \right]$ . Torsion-free cohomology follows also for the complement in ?ⁿof the complexification ${\mathcal{B}}_{n,k,h}^C ,1 \leqslant h < k$ .     

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.     

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.     

Orthogonality properties of linear combinations of orthogonal polynomials II

Let and be polynomials orthogonal on the unit circle with respect to the measures dσ and dμ, respectively. In this paper we consider the question how the orthogonality measures dσ and dμ are related to each other if the orthogonal polynomials are connected by a relation of the form , for , where . It turns out that the two measures are related by if , where and are known trigonometric polynomials of fixed degree and where the 's are the zeros of on . If the 's and 's are uniformly bounded then (under some additional conditions) much more can be said. Indeed, in this case the measures dσ and dμ have to be of the form and , respectively, where are nonnegative trigonometric polynomials. Finally, the question is considered to which weight functions polynomials of the form where denotes the reciprocal polynomial of , can be orthogonal. This revised version was published online in June 2006 with corrections to the Cover Date.     

The crossing function of a graph

The crossing function of a graphG with orientable genusn is defined as a mapping \(f:\{ \not 0,1, \ldots ,n\} \to \{ \not 0,1,2, \ldots \} \) for whichf(k)=cr _k (G) the crossing number ofG on the orientable surface of genusk. It is proved that any decreasing convex function \(f:\{ \not 0,1, \ldots ,n\} \to \{ \not 0,1,2, \ldots \} \) with \(f(n) = \not 0\) is the crossing function of some connected graph.     

Ultrapowers ofL 1(μ) and the subsequence splitting principle

We study the ultrapowers $L_1 (\mu )_\mathfrak{U} $ of aL ₁(μ) space, by describing the components of the well-known representation $L_1 (\mu )_\mathfrak{U} = L_1 (\mu _\mathfrak{U} ) \oplus _1 L_1 (\nu _\mathfrak{U} )$ , and we give a representation of the projection from $L_1 (\mu )_\mathfrak{U} $ onto $L_1 (\mu _\mathfrak{U} )$ . Moreover, the subsequence splitting principle forL ₁(μ) motivates the following question: if $\mathfrak{V}$ is an ultrafilter on ? and $[f_i ] \in L_1 (\mu )_\mathfrak{V} $ , is it possible to find a weakly convergent sequence (g _i ) ?L ₁(μ) following $\mathfrak{V}$ and a disjoint sequence (h _i ) ?L ₁(μ) such that [f _i ]=[g _i ]+[h _i ]? If $\mathfrak{V}$ is a selective ultrafilter, we find a positive answer by showing that $f = [f_i ] \in L_1 (\mu )_\mathfrak{V} $ belongs to $L_1 (\mu _{_\mathfrak{V} } )$ if and only if its representatives {f _i } are weakly convergent following $\mathfrak{V}$ and $f \in L_1 (\nu _\mathfrak{V} )$ if and only if it admits a representative consisting of pairwise disjoint functions. As a consequence, we obtain a new proof of the subsequence splitting principle. If $\mathfrak{V}$ is not a p-point then the above characterizations of $L_1 (\nu _{_\mathfrak{V} } )$ and $L_1 (\nu _{_\mathfrak{V} } )$ fail and the answer to the question is negative.     

Behavior of solutions of quasilinear elliptic inequalities in an unbounded domain

We consider the solutions of the inequalityLu≤?(¦gradu¦), whereL is a uniformly elliptic homogeneous operator and ? is a function increasing faster than any linear function but not faster thanξ lnξ, in the unbounded domain $$\left\{ {x \in \mathbb{R}^n |\sum\limits_{i = 2}^n {x_i^2< (\psi (x_1 ))^2 ,} {\text{ }} - \infty< x_1< \infty } \right\},$$ , whereψ is a bounded function with bounded derivative. We estimate the growth of the solutions in terms of $\int_0^{x_1 } {(1/\psi (r))dr}$ . For the special case in which?(ξ)=aξ lnξ+C, the solutionsu(x ₁,x ₂,...,x _n ) grow as $\left( {\int_0^{x_1 } {(1/\psi (r))dr} } \right)^N$ , whereN is any given number anda=a(N).     

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

Line transversals to blown up closed balls

The number ?? _d (k) is defined as the minimum ???>?0 such that the following holds: For any finite family ${\mathcal {F}=\{B_1,B_2, \ldots , B_n\}}$ of closed balls in ${{\mathbb{R}}^d}$ such that every k elements of ${\mathcal {F}}$ have a common line transversal, the elements of the blown up family ${\lambda\mathcal {F}=\{\lambda B_1,\lambda B_2, \ldots , \lambda B_n\}}$ have a common line transversal. In this paper we show that ${\lambda_d(d+1)\leq4, \lambda_2(4)\leq 2\sqrt 2}$ and ??₂(3)?<?2.88.     

Best Uniform Rational Approximations of Functions by Orthoprojections

Let C[-1,1] be the Banach space of continuous complex functions $f$ on the interval [-1,1] equipped with the standard maximum norm $\left\| f \right\|$ ; let $\omega \left( \cdot \right) = \omega \left( { \cdot ,f} \right)$ be the modulus of continuity of $f$ ; and let $R_n = R_n \left( f \right)$ be the best uniform approximation of $f$ by rational functions (r.f.) whose degrees do not exceed $n = 1, 2, \ldots $ . The space C[-1,1] is also regarded as a pre-Hilbert space with respect to the inner product given by $\left( {f,g} \right) = \left( {1/\pi } \right)\int_{ - 1}^1 {f\left( x \right)g\left( x \right)} \left( {1 - x^2 } \right)^{ - 1/2} dx$ . Let $z_n = \{ z_1 , z_2 , \ldots z_n \} $ be a set of points located outside the interval [-1,1]. By $F\left( { \cdot ,f,z_n } \right)$ we denote an orthoprojection operator acting from the pre-Hilbert space C[-1,1] onto its ( ${n + 1}$ )-dimensional subspace consisting of rational functions whose poles (with multiplicity taken into account) can only be points of the set $z_n $ . In this paper, we show that if $f$ is not a rational function of degree $ \leqslant n$ , then we can find a set of points $z_n = z_n \left( f \right)$ such that $\left\| {f\left( \cdot \right) - F\left( { \cdot ,f,z_n } \right)} \right\| \leqslant 12R_n ln\frac{3}{{\omega ^{ - 1} \left( {R_n /3} \right)}}.$