Exactn-widths of hardy-sobolev classes

Let $\tilde h^r _{\infty ,\beta } $ and $\tilde H^r _{\infty ,\beta } $ denote those 2π-periodic, real-valued functions onR that are analytic in the strip |Imz|<β and satisfy the restrictions |Ref ^(r)(z)| ≤ 1 and |f ^(r)(z)| ≤ 1, respectively. We determine the Kolmogorov, linear, and Gel’fand widths of $\tilde h^r _{\infty ,\beta } $ inL _q[0, 2π], 1 ≤q ≤ ∞, and $\tilde H^r _{\infty ,\beta } $ inL _∞[0, 2π].     

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.     

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.     

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.     

Invariant submanifolds and properCR foliations on a para-coKählerian manifold with concircular structure vector field

After recalling the basic properties of para-coKählerian manifolds \(\tilde M\) with concircular structure vector field ξ, the infinitesimal auto morphismsX of the structure 1-form \(\tilde \eta \) are considered. One of the results is that the Lie derivative of all powers of the structure 2-form \(\tilde \Omega ,\) i.e. \(\mathcal{L}x\tilde \Omega ^p ;p = 1,...,m,\) is exterior recurrent. Further two types of horizontal distributionsD _n which are normal to ξ. IfD _t (resp.D _n ) is involutive, the corresponding leafM _t (resp.M _n ) is a minimal submanifold of \(\tilde M\) . FurtherM _n is a symplectic submanifold and ξ is an umbilical normal section ofM _n . Finally proper immersion \(M \to \tilde M\) are discussed, whereM is aCR-sub-manifold whose horizontal distribution isD _t . It is shown that the vertical distribution is involutive, and the restriction of ξ toM is an symptotic direction. Some interesting special cases are treated.     

Exact and asymptotic estimates forn-widths of some classes of periodic functions

Let \(\tilde W_p^r : = \left\{ {f\left| {f \in C^{r - 1} } \right.} \right.\left[ {0,2\pi } \right],f^{(i)} (0) = f^{(i)} (2\pi ),i = 0, \ldots ,r - 1,f^{(r - 1)}\) , abs. cont. on [0, 2π] andf ^(r)∈L ^p[0, 2π]}, and set \(\tilde B_p^r : = \left\{ {f\left| {f \in \tilde W_p^r ,} \right.\left\| {f^{(r)} } \right\|_p \leqslant 1} \right\}\) . We find the exact Kolmogrov, Gel'fand, and linearn-widths of \(\tilde B_p^r\) inL ^p forn even and allp∈(1, ∞). The strong asymptotic estimates forn-widths of \(\tilde B_p^r\) inL ^p are also obtained.     

Asymptotic behavior of multiperiodic functionsG(x) = \prod\limits_{n = 1}^\infty {g(x/2^n )}

Let 0≤g be a dyadic Hölder continuous function with period 1 and g(0)=1, and let $G(x) = \prod\nolimits_{n = 0}^\infty {g(x/{\text{2}}^n )} $ . In this article we investigate the asymptotic behavior of $\smallint _0^{\rm T} \left| {G(x)} \right|^q dx$ and $\frac{1}{n}\sum\nolimits_{k = 0}^n {\log g(2^k x)} $ using the dynamical system techniques: the pressure function and the variational principle. An algorithm to calculate the pressure is presented. The results are applied to study the regulatiry of wavelets and Bernoulli convolutions.     

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.     

On simultaneous approximation by lagrange interpolating polynomials

This paper considers to replace △_m(x)=(1-x~2)~2(1/2)/n +1/n~2 in the following result for simultaneousLagrange interpolating approximation with (1-x~2)~2(1/2)/n: Let f∈C_(-1.1)~0 and r=[(q+2)/2],then|f~(k)(x)-P_~(k)(f,x)|=O(1)△_(n)~(a-k)(x)ω(f~(a),△(x))(‖L_n-‖+‖L_n‖),0≤k≤q,where P_n( f ,x)is the Lagrange interpolating polynomial of degree n+ 2r-1 of f on the nodes X_nU Y_n(see the definition of the text), and thus give a problem raised in [XiZh] a complete answer.     

The CF table

Letf be a continuous function on the circle ¦z¦=1. We present a theory of the (untruncated) “Carathéodory-Fejér (CF) table” of best supremumnorm approximants tof in the classes \(\tilde R_{mn} \) of functions $${{\tilde r(z) = \sum\limits_{k = - \infty }^m {a_k z^k } } \mathord{\left/ {\vphantom {{\tilde r(z) = \sum\limits_{k = - \infty }^m {a_k z^k } } {\sum\limits_{k = 0}^n {b_k } z^k ,}}} \right. \kern-\nulldelimiterspace} {\sum\limits_{k = 0}^n {b_k } z^k ,}}$$ , where the series converges in 1< ¦z¦ <∞. (The casem=n is also associated with the names Adamjan, Arov, and Krein.) Our central result is an equioscillation-type characterization: \(\tilde r \in \tilde R_{mn} \) is the unique CF approximant \(\tilde r^* \) tof if and only if \(f - \tilde r\) has constant modulus and winding numberω≥ m+ n+1?δ on ¦z¦=1, whereδ is the “defect” of \(\tilde r\) . If the Fourier series off converges absolutely, then \(\tilde r^* \) is continuous on ¦z¦=1, andω can be defined in the usual way. For general continuousf, \(\tilde r^* \) may be discontinuous, andω is defined by a radial limit. The characterization theorem implies that the CF table breaks into square blocks of repeated entries, just as in Chebyshev, Padé, and formal Chebyshev-Padé approximation. We state a generalization of these results for weighted CF approximation on a Jordan region, and also show that the CF operator \(K:f \mapsto \tilde r^* \) is continuous atf if and only if (m, n) lies in the upper-right or lower-left corner of its square block.     

Embedded Spaces of Trigonometric Splines and Their Wavelet Expansion

With each infinite grid X: ? < x _?1 < x ₀ < x ₁ < ? we associate the system of trigonometric splines $\{ \mathfrak{T}_j^B \}$ of class C ¹(α, β), the linear space $$T^B (X)\mathop = \limits^{def} \{ \tilde u|\tilde u = \sum\limits_j {c_j \mathfrak{T}_j^B } \quad \forall c_j \in \mathbb{R}^1 \} ,$$ and the functionals g ⁽ⁱ⁾ ∈ (C ¹(α, β))* with the biorthogonality property: $\left\langle {g(i),\mathfrak{T}_j^B } \right\rangle = \delta _{i,j}$ (here $\alpha \mathop = \limits^{def} \lim _{j \to - \infty } x_j ,\quad \beta \mathop = \limits^{def} \lim _{j \to + \infty } x_j$ ). For nested grids $\bar X \subset X$ , we show that the corresponding spaces $T^B (\bar X)$ are embedded in $T^B (X)$ and obtain decomposition and reconstruction formulas for the spline-wavelet expansion $T^B (X) = T^B (\bar X)\dot + W$ derived with the help of the system of functionals indicated above.     

Cosymplectic quasi-Sasakian pseudo-Riemannian manifolds and coisotropic foliations

Si considera una varietà neutra \(\tilde M\) di dimensione 2m munita di una struttura conforme simplettica \(CS_p \left( {2m; R} \right) = \left( {\tilde \Omega , \tilde \upsilon } \right)\) . Vengono studiati i differenti problemi concernenti gli automorfismi infinitesimali della 2-forma quasi simplettica \(\tilde \Omega \) . Inoltre vengono formulate alcune proprietà di un fogliettamento con isotropoF _c su \(\tilde M\) .     

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.     

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.     

Subsets of PG(n,2) and Maximal Partial Spreads in PG(4,2)

Put θ _n = # {points in PG(n,2)} and φ _n = #{lines in PG(n,2)}. Let ψ be anypoint-subset of PG(n,2). It is shown thatthe sum of L = #{internal lines of ψ} and L′= #{external lines of ψ} is the same for all ψ having the same cardinality:[6pt] Theorem A If k is defined by k = |ψ| ? θ _{n ? 1}, then $$L + L' = \phi _{n - 1} + k(k - 1)/2.$$ (The generalization of this to subsets of PG(n,3) is also obtained.) Let $\mathcal{S}$ be a partial spreadof lines in PG(4,2) and let N denote the number of reguli contained in $\mathcal{S}$ .Use of Theorem A gives rise to a simple proof of:[6pt] Theorem B If $\mathcal{S}$ is maximal then one of the followingholds: (i) $\left| \mathcal{S} \right| = 5,{\text{ }}N = 10;{\text{ }}$ (ii) $\left| \mathcal{S} \right| = 7,{\text{ }}N = 4;{\text{ }}$ (iii) $\left| \mathcal{S} \right| = 9,{\text{ }}N = 4.$ If (i) holds then $\mathcal{S}$ is spread in a hyperplane.It is shown that possibility (ii) is realized by precisely threeprojectively distinct types of partial spread. Explicit examplesare also given of four projectively distinct types of partialspreads which realize possibility (iii). For one of these types,type X, the four reguli have a common line. It isshown that those partial spreads in PG(4,2) of size 9 which arise, by a simple construction, from a spreadin PG(5,2), are all of type X.     

Traces of monotone Sobolev functions

In this paper we prove that ifu: ${\mathbb{B}}^n \to {\mathbb{R}}$ , where ${\mathbb{B}}^n $ is the unit ball in ? ⁿ , is a monotone function in the Sobolev space W^1·p ( ${\mathbb{B}}^n $ ), andn ? 1 <p ≤n, thenu has nontangential limits at all the points of $\partial {\mathbb{B}}^n $ except possibly on a set ofp-capacity zero. The key ingredient in the proof is an extension of a classical theorem of Lindelöf to monotone functions in W^1·p ( ${\mathbb{B}}^n $ ),n ? 1 <p ≤n.     

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 ²(ω).