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 Number of Eigenvalues of Self-Adjoint Operator Functions

We consider an operator function F defined on the interval $\user2{[}\sigma \user2{,}\tau \user2{]} \subset \mathbb{R}$ whose values are semibounded self-adjoint operators in the Hilbert space $\mathfrak{H}$ . To the operator function F we assign quantities $\mathcal{N}_\user1{F}$ and ν _F (λ) that are, respectively, the number of eigenvalues of the operator function F on the half-interval [σ,τ) and the number of negative eigenvalues of the operator F(λ) for an arbitrary λ ∈ [σ,τ]. We present conditions under which the estimate $\mathcal{N}_\user1{F} \geqslant \nu _\user1{F} \user2{(}\tau \user2{)} - \nu _\user1{F} \user2{(}\sigma \user2{)}$ holds. We also establish conditions for the relation $\mathcal{N}_\user1{F} \geqslant \nu _\user1{F} \user2{(}\tau \user2{)} - \nu _\user1{F} \user2{(}\sigma \user2{)}$ to hold. The results obtained are applied to ordinary differential operator functions on a finite interval.     

On Total Incomparability of Mixed Tsirelson Spaces

We give criteria of total incomparability for certain classes of mixed Tsirelson spaces. We show that spaces of the form $T\left[ {\left( {\mathcal{M}_k ,\theta _k } \right)_{k = 1}^l } \right]$ with index $i\left( {\mathcal{M}_k } \right)$ finite are either c ₀ or $\ell _p $ saturated for some p and we characterize when any two spaces of such a form are totally incomparable in terms of the index $i\left( {\mathcal{M}_k } \right)$ and the parameter θ _k . Also, we give sufficient conditions of total incomparability for a particular class of spaces of the form $T\left[ {\left( {\mathcal{A}_k ,\theta _k } \right)_{k = 1}^\infty } \right]$ in terms of the asymptotic behaviour of the sequence $\left\| {\sum\limits_{j = 1}^n {e_i } } \right\|$ where (e _i is the canonical basis.     

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.     

Converse Quadrature sum Inequalities for Freud Weights. ii

Let $W: = \exp \left( { - Q} \right)$ , where $Q$ is of smooth polynomial growth at $\infty$ , for example $Q\left( x \right) = \left| x \right|^\beta ,\beta >1$ . We call $W^2 $ a Freud weight. Let $\left\{ {x_{j{\kern 1pt} n} } \right\}_{j = 1}^n $ and $\left\{ {\lambda _{j{\kern 1pt} n} } \right\}_{j = 1}^n $ denote respectively the zeros of the $n$ th orthonormal polynomial $p_n$ for $W^2 $ and the Christoffel numbers of order $n$ . We establish converse quadrature sum inequalities associated with W, such as $$\left\| {\left( {PW} \right)\left( x \right)\left( {1 + \left| x \right|} \right)^r } \right\|_{L_p \left( R \right)} $$ with $C$ independent of $n$ and polynomials P of degree $ < n$ , and suitable restrictions on $r$ , $R$ . We concentrate on the case ${ \geqq 4}$ , as the case ${p < 4}$ was handled earlier. We are able to treat a general class of Freud weights, whereas our earlier treatment dealt essentially with $\left( { - \left| x \right|^\beta } \right),\beta = 2,4,6,....$ Some applications to Lagrange interpolation are presented.     

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

On a certain sum-product estimate in fields of prime order

Let Fp be the finite field of p elements with p prime.If A is a subset of Fp and g is an element of F*p with order ν,then max{|A + g·A|,|A·A|} (ν/(ν + |A|2) )1/12|A|13/12.     

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

The index of centralizers of elements in classical Lie algebras

The index of a finite-dimensional Lie algebra $\mathfrak{g}$ is the minimum of dimensions of the stabilizers $\mathfrak{g}_\alpha $ over all covectors $\alpha \in \mathfrak{g}^ * $ . Let $\mathfrak{g}$ be a reductive Lie algebra over a field $\mathbb{K}$ of characteristic ≠ = 2. Élashvili conjectured that the index of $\mathfrak{g}_\alpha $ is always equal to the index, or, which is the same, the rank of $\mathfrak{g}$ . In this article, Élashvili’s conjecture is proved for classical Lie algebras. Furthermore, it is shown that if $\mathfrak{g} = \mathfrak{g}\mathfrak{l}_n $ or $\mathfrak{g} = \mathfrak{s}\mathfrak{p}_{2n} $ and $e \in \mathfrak{g}$ is a nilpotent element, then the coadjoint action of $\mathfrak{g}_e $ has a generic stabilizer. For $\mathfrak{g}$ , we give examples of nilpotent elements $e \in \mathfrak{g}$ such that the coadjoint action of $\mathfrak{g}_e $ does not have a generic stabilizer.     

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.     

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

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.     

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.     

Hermitian-einstein metrics on parabolic stable bundles

Let $\overline M $ be a compact complex manifold of complex dimension two with a smooth Kähler metric and D a smooth divisor on $\overline M $ . If E is a rank 2 holomorphic vector bundle on $\overline M $ with a stable parabolic structure along D, we prove the existence of a metric on $E'{\text{ = }}E|_{\overline M \backslash D} $ (compatible with the parabolic structure) which is Hermitian-Einstein with respect to the restriction of the Kähler metric to $\overline M $ ěD. A converse is also proved.     

Note on Periodic Complementary Sets of Binary Sequences

Denote by $PCS_p^n $ resp. $ACS_p^n $ thecollection consisting of ordered p-tuples of binary sequences(i.e., sequences whose elements are $ \pm 1$ ), each having length n, such that the sum of their periodic resp. aperiodicauto-correlation functions is a delta function. We fill many open cases inthe Bömer and Antweiler diagram [3] of the known cases where $PCS_p^n $ exist for $p \leqslant 12$ and $n \leqslant 50$ . In particular we show that $PCS_2^{34} $ exist, whileit is well known [1] that $ACS_2^{34} $ do not.     

Approximation by radial basis functions with finitely many centers

Interpolation by translates of “radial” basis functions Φ is optimal in the sense that it minimizes the pointwise error functional among all comparable quasiinterpolants on a certain “native” space of functions $\mathcal{F}_\Phi $ . Since these spaces are rather small for cases where Φ is smooth, we study the behavior of interpolants on larger spaces of the form $\mathcal{F}_{\Phi _0 } $ for less smooth functions Φ₀. It turns out that interpolation by translates of Φ to mollifications of functionsf from $\mathcal{F}_{\Phi _0 } $ yields approximations tof that attain the same asymptotic error bounds as (optimal) interpolation off by translates of Φ₀ on $\mathcal{F}_{\Phi _0 } $ .     

Moduli of continuity defined by zero continuation of functions andK-functionals with restrictions

We consider the followingK-functional: $$K(\delta ,f)_p : = \mathop {\sup }\limits_{g \in W_{p U}^r } \left\{ {\left\| {f - g} \right\|_{L_p } + \delta \sum\limits_{j = 0}^r {\left\| {g^{(j)} } \right\|_{L_p } } } \right\}, \delta \geqslant 0,$$ where ? ∈L _p :=L _p [0, 1] andW _p,U ^r is a subspace of the Sobolev spaceW _p ^r [0, 1], 1≤p≤∞, which consists of functionsg such that $\int_0^1 {g^{(l_j )} (\tau ) d\sigma _j (\tau ) = 0, j = 1, ... , n} $ . Assume that 0≤l _l ≤...≤l _n ≤r-1 and there is at least one point τ _j of jump for each function σ _j , and if τ _j =τ _s forj ≠s, thenl _j ≠l _s . Let $\hat f(t) = f(t)$ , 0≤t≤1, let $\hat f(t) = 0$ ,t<0, and let the modulus of continuity of the functionf be given by the equality $$\hat \omega _0^{[l]} (\delta ,f)_p : = \mathop {\sup }\limits_{0 \leqslant h \leqslant \delta } \left\| {\sum\limits_{j = 0}^l {( - 1)^j \left( \begin{gathered} l \hfill \\ j \hfill \\ \end{gathered} \right)\hat f( - hj)} } \right\|_{L_p } , \delta \geqslant 0.$$ We obtain the estimates $K(\delta ^r ,f)_p \leqslant c\hat \omega _0^{[l_1 ]} (\delta ,f)_p $ and $K(\delta ^r ,f)_p \leqslant c\hat \omega _0^{[l_1 + 1]} (\delta ^\beta ,f)_p $ , where β=(pl _l + 1)/p(l ₁ + 1), and the constantc>0 does not depend on δ>0 and ? ∈L _p . We also establish some other estimates for the consideredK-functional.     

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.