The space BMO and strong means of Fourier series

пУстьS _k (f,x) — ЧАстНАь сУ ММА РьДА ФУРьЕ ФУНкцИ Иf пО тРИгОНОМЕтРИЧЕскОИ сИстЕМЕ,s _k (f,x) — ЧАстНАь сУММА сО пРьжЕННОгО РьДА. Дль \(\Delta _k^n = \left[ {\frac{n}{n},\frac{{k + 1}}{n}} \right)\) , гДЕk=0, 1, ...,n?1, пОлОжИМ , ЕслИt?δ _k ⁿ И , ЕслИt?[0, 1)δ _k ⁿ . пОкАжАНО, ЧтО ОпЕРАтО Ры ИМЕУт слАБыИ тИп (1,1). РАссМОтР ЕН РьД слЕДстВИИ О пОВ ЕДЕНИИ сИльНых сРЕДНИх РьДА ФУРьЕ сУММИРУЕМОИ ФУНкцИИ.     

Orthogonal rational functions and modified approximants

Let {α _n | _n ^∞ be a sequence in the open unit disk in the complex plane and let $(\overline {\alpha _k } |\alpha _k | = - 1$ when α _k =0. Let μ be a positive Borel measure on the unit circle, and let {φ _n } _n ^∞ be the orthonormal sequence obtained by orthonormalization of the sequence {B _n } _n ^∞ with respect to μ. Let {ψ _n } _n ^∞ be the sequence of associated rational functions. Using the functions φ _n , ψ _n and certain conjugates of them, we obtain modified Padé-type approximants to the function $$F\mu (z) = \int\limits_{ - \pi }^\pi {\frac{{t + z}}{{t - z}}} d\mu (\theta ), (t = e^{i\theta } ).$$      

A weak generalized localization criterion for multiple Walsh-Fourier series with J k -lacunary sequence of rectangular partial sums

We obtain a criterion for the validity of weak generalized localization almost everywhere on an arbitrary set of positive measure \(\mathfrak{A}\) , \(\mathfrak{A} \subset \mathbb{I}^N = \{ x \in \mathbb{R}^N :0 \leqslant x_j < 1,j = 1,2, \ldots ,N\}\) , N ≥ 3 (in terms of the structure and geometry of the set \(\mathfrak{A}\) ), for multiple Walsh-Fourier series (summed over rectangles) of functions f in the classes \(L_p (\mathbb{I}^N )\) , p > 1 (i.e., necessary and sufficient conditions for the convergence almost everywhere of the Fourier series on some subset of positive measure \(\mathfrak{A}_1\) of the set \(\mathfrak{A}\) , when the function expanded in a series equals zero on \(\mathfrak{A}\) ), in the case when the rectangular partial sums S _n (x; f) of this series have indices n = (n ₁, …, n _N ) ∈ ? ^N in which some components are elements of (single) lacunary sequences.     

Moment multipliers for power series

По определению после довательность {μ _n пр инадлежит классуG _s , если звезда М иттагЛеффлера произвольного степе нного ряда (1) $$\mathop \sum \limits_0^\infty a_n z^n , \mathop {lim sup}\limits_{n \to \infty } \left| {a_n } \right|^{1/n}< \infty $$ , совпадает со звёздам и Миттаг-Леффлера сте пенных рядов $$\mathop \sum \limits_0^\infty \mu _n a_n z^n ,\mathop \sum \limits_0^\infty \mu _n^{ - 1} a_n z^n $$ . В работе установлены следующие утвержден ия Теорема 1.Для произво льной последователь ности ? _n с условиями $$0< \varphi _n< 1,\mathop {lim}\limits_{n \to \infty } \varphi _n = 0,\mathop {lim}\limits_{n \to \infty } \varphi _n^{1/n} = 1$$ существует неубываю щая функция χ(t) такая, ч то моменты \(\mu _n = \int\limits_0^1 {t^n d\chi (t)} \) удовлетворяют условию 0<μ_nn звезда М иттаг-Леффлера любог о ряда (1) совпадает со звездой МиттагЛеффлера степенных рядов . Теорема 2. Для произвол ьной неотрицательно й последовательности {а_n} с условием {a _n } и для любой последов ательности {?_n} для к оторой 0n<1, \(\mathop {\lim }\limits_{n \to \infty } \varepsilon _n = 0\) сущест вуютπ={π _n }∈G _s и последовательнос ть {п_i} такие, что a_nμ_n≦1 (n≧n₀), \(a_{n_i } \mu _{\mu _i } \geqq exp( - \varepsilon _{n_i } )\) (i=1, 2, ...) и при эmom звезда Миттаг-Леффлера ряда (1) совпа дает со звездой Миттаг- Леффлера степенных р ядов .     

The Taikov functional in the space of algebraic polynomials on the multidimensional Euclidean sphere

We discuss three related extremal problems on the set of algebraic polynomials of given degree n on the unit sphere $ \mathbb{S}^{m - 1} $ of Euclidean space ? ^m of dimension m ≥ 2. (1) The norm of the functional F(h) = FhP _n = ∫_?(h) P _n (x)dx, which is equal to the integral over the spherical cap ?(h) of angular radius arccos h, ?1 < h < 1, on the set with the norm of the space L( $ \mathbb{S}^{m - 1} $ ) of summable functions on the sphere. (2) The best approximation in L _∞( $ \mathbb{S}^{m - 1} $ ) of the characteristic function χ _h of the cap ?(h) by the subspace of functions from L _∞( $ \mathbb{S}^{m - 1} $ ) that are orthogonal to the space of polynomials . (3) The best approximation in the space L( $ \mathbb{S}^{m - 1} $ ) of the function χ _h by the space of polynomials . We present the solution of all three problems for the value h = t(n,m) which is the largest root of the polynomial in a single variable of degree n + 1 least deviating from zero in the space L ₁ ^? on the interval (?1, 1) with ultraspheric weight ?(t) = (1 ? t ²) ^α , α = (m ? 3)/2.     

On the asymptotic form of convex hulls of Gaussian random fields

We consider a centered Gaussian random field X = {X _t : t ∈ T} with values in a Banach space $\mathbb{B}$ defined on a parametric set T equal to ? ^m or ? ^m . It is supposed that the distribution of X _t is independent of t. We consider the asymptotic behavior of closed convex hulls W _n = conv{X _t : t ∈ T _n}, where (T _n ) is an increasing sequence of subsets of T. We show that under some conditions of weak dependence for the random field under consideration and some sequence (b _n ) _n≥1 with probability 1, (in the sense of Hausdorff distance), where the limit set is the concentration ellipsoid of . The asymptotic behavior of the mathematical expectations Ef(W _n ), where f is some function, is also studied.     

The limits of determinacy in second order arithmetic: consistency and complexity strength

We prove that determinacy for all Boolean combinations of \({F_{\sigma \delta }}\) (Π ₃ ⁰ ) sets implies the consistency of second-order arithmetic and more. Indeed, it is equivalent to the statement saying that for every set X and every number n, there exists a β-model of Π _n ¹ -comprehension containing X. We prove this result by providing a careful level-by-level analysis of determinacy at the finite level of the difference hierarchy on \({F_{\sigma \delta }}\) (Π ₃ ⁰ ) sets in terms of both reverse mathematics, complexity and consistency strength. We show that, for n ≥ 1, determinacy for sets at the nth level in this difference hierarchy lies strictly between (in the reverse mathematical sense of logical implication) the existence of β-models of Π _n+2 ¹ -comprehension containing any given set X, and the existence of β-models of Δ _n+2 ¹ -comprehension containing any given set X. Thus the nth of these determinacy axioms lies strictly between Π _n+2 ¹ -comprehension and Δ _n+2 ¹ -comprehension in terms of consistency strength. The major new technical result on which these proof theoretic ones are based is a complexity theoretic one. The nth determinacy axiom implies closure under the operation taking a set X to the least Σ _n+1 admissible containing X (for n = 1; this is due to Welch [9]).     

Asymptotics of the Smallest Singular Value of a Class of Toeplitz-generated Matrices II

Square matrices of the form ${X_n = T_n + f_n(T_n^{-1})^*}$ , where T _n is a ${n \times n}$ invertible banded Toeplitz matrix and f _n some positive sequence are considered. Convergence via an order estimate is proven for the difference of ${\|X_n^{-1}\|}$ and a function depending only on f _n . Fredholmness of the infinite counterpart of T _n is shown to greatly affect this result. A correction of a proof in the paper on which the current research is based, is appended as well.     

Un teorema di unicità per una equazione iperbolica,non lineare

We prove the uniqueness of weak solutions of initial boundary value problems Each functiona _i is required to be sufficiently smooth and must satisfy the following conditions: \(e) \sum\limits_1^n {ij} \partial _{\eta _j \eta _h }^2 a_i (x, \ldots , \eta 1, \ldots , \eta _n )\xi _i \xi _j \leqslant 0, h = 1, \ldots , n,\) for some positive constantsK ₀, α, some non negative constantsK _i , some positive functionsH(t)∈L ¹(0,T) and for all ξ≡(ξ _i ), η≡(η _i )∈R ⁿ      

The de Jongh property for Basic Arithmetic

We prove that Basic Arithmetic, BA, has the de Jongh property, i.e., for any propositional formula A(p ₁,..., p _n ) built up of atoms p ₁,..., p _n , BPC \({\vdash}\) A(p ₁,..., p _n ) if and only if for all arithmetical sentences B ₁,..., B _n , BA \({\vdash}\) A(B ₁,..., B _n ). The technique used in our proof can easily be applied to some known extensions of BA.     

Coefficients of symmetric square L-functions

Let λsym2f(n) be the n-th coefficient in the Dirichlet series of the symmetric square L-function associated with a holomorphic primitive cusp form f.We prove Ω± results for λsym2f(n) and evaluate the number of positive(resp.,negative) λsym2f(n) in some intervals.     

Siegel’s Lemma and Sum-Distinct Sets

Let L(x)=a ₁ x ₁+a ₂ x ₂+???+a _n x _n , n≥2, be a linear form with integer coefficients a ₁,a ₂,…,a _n which are not all zero. A basic problem is to determine nonzero integer vectors x such that L(x)=0, and the maximum norm ‖x‖ is relatively small compared with the size of the coefficients a ₁,a ₂,…,a _n . The main result of this paper asserts that there exist linearly independent vectors x ₁,…,x _n?1∈? ⁿ such that L(x _i )=0, i=1,…,n?1, and $$\|{\mathbf{x}}_{1}\|\cdots\|{\mathbf{x}}_{n-1}\|<\frac{\|{\mathbf{a}}\|}{\sigma_{n}},$$ where a=(a ₁,a ₂,…,a _n ) and $$\sigma_{n}=\frac{2}{\pi}\int_{0}^{\infty}\left(\frac{\sin t}{t}\right)^{n}\,dt.$$ This result also implies a new lower bound on the greatest element of a sum-distinct set of positive integers (Erdös–Moser problem). The main tools are the Minkowski theorem on successive minima and the Busemann theorem from convex geometry.     

The maximal variation of a bounded martingale

Let \(\chi _0^n = \left\{ {X_t } \right\}_0^n \) be a martingale such that 0≦X_i≦1;i=0, …,n. For 0≦p≦1 denote by ? _p ⁿ the set of all such martingales satisfying alsoE(X₀)=p. Thevariation of a martingale χ ₀ ⁿ is denoted byV ₀ ⁿ and defined by \(V(\chi _0^n ) = E\left( {\sum {_{l = 0}^{n - 1} } \left| {X_{l + 1} - X_l } \right|} \right)\) . It is proved that $$\mathop {\lim }\limits_{n \to \infty } \left\{ {\mathop {Sup}\limits_{x_0^n \in \mathcal{M}_p^n } \left[ {\frac{1}{{\sqrt n }}V(\chi _0^n )} \right]} \right\} = \phi (p)$$ , where ?(p) is the well known normal density evaluated at itsp-quantile, i.e. $$\phi (p) = \frac{1}{{\sqrt {2\pi } }}\exp ( - \frac{1}{2}\chi _p^2 ) where \int_{ - \alpha }^{x_p } {\frac{1}{{\sqrt {2\pi } }}\exp ( - \frac{1}{2}\chi ^2 )} dx = p$$ . A sequence of martingales χ ₀ ⁿ ,n=1,2, … is constructed so as to satisfy \(\lim _{n \to \infty } (1/\sqrt n )V(\chi _0^n ) = \phi (p)\) .     

The Algebra of Polynomial Integro-Differential Operators is a Holonomic Bimodule over the Subalgebra of Polynomial Differential Operators

In contrast to its subalgebra $A_n:=K\langle x_1, \ldots , x_n, \frac{\partial}{\partial x_1}, \ldots ,\frac{\partial}{\partial x_n}\rangle $ of polynomial differential operators (i.e. the n’th Weyl algebra), the algebra ${\mathbb{I}}_n:=K\langle x_1, \ldots ,$ $ x_n, \frac{\partial}{\partial x_1}, \ldots ,\frac{\partial}{\partial x_n}, \int_1, \ldots , \int_n\rangle $ of polynomial integro-differential operators is neither left nor right Noetherian algebra; moreover it contains infinite direct sums of nonzero left and right ideals. It is proved that ${\mathbb{I}}_n$ is a left (right) coherent algebra iff n?=?1; the algebra ${\mathbb{I}}_n$ is a holonomic A _n -bimodule of length 3 ⁿ and has multiplicity 3 ⁿ with respect to the filtration of Bernstein, and all 3 ⁿ simple factors of ${\mathbb{I}}_n$ are pairwise non-isomorphic A _n -bimodules. The socle length of the A _n -bimodule ${\mathbb{I}}_n$ is n?+?1, the socle filtration is found, and the m’th term of the socle filtration has length ${n\choose m}2^{n-m}$ . This fact gives a new canonical form for each polynomial integro-differential operator. It is proved that the algebra ${\mathbb{I}}_n$ is the maximal left (resp. right) order in the largest left (resp. right) quotient ring of the algebra ${\mathbb{I}}_n$ .     

Regular principal factors in free objects in varieties in the interval [B 2 ,NB 2 ∨G n ]

The author has shown previously how to associate a completely 0-simple semigroup with a connected bipartite graph containing labelled edges and how to describe the regular principal factors in the free objects in the Rees-Sushkevich varieties RS _n generated by all completely 0-simple semigroups over groups from the Burnside variety G _n of groups of exponent dividing a positive integer n by employing this graphical construction. Here we consider the analogous problem for varieties containing the variety B ₂ , generated by the five element Brandt semigroup B ₂, and contained in the variety NB ₂ ∨G _n where NB ₂ is the variety generated by all left and right zero semigroups together with B ₂. The interval [NB ₂ ,NB ₂ ∨G _n ] is of particular interest as it is an important interval, consisting entirely of varieties generated by completely 0-simple semigroups, in the lattice of subvarieties of RS _n .     

Unbounded solutions of the max-type difference equation x_{n + 1} = max\left\{ {\frac{{A_n }} {{X_n }},\frac{{B_n }} {{X_{n - 2} }}} \right\}

We investigate the boundedness nature of positive solutions of the difference equation $$ x_{n + 1} = max\left\{ {\frac{{A_n }} {{X_n }},\frac{{B_n }} {{X_{n - 2} }}} \right\},n = 0,1,..., $$ where {A _n } _n=0 ^∞ and {B _n } _n=0 ^∞ are periodic sequences of positive real numbers.     

Structural and geometric characteristics of sets of convergence and divergence of multiple Fourier series with J k -lacunary sequence of rectangular partial sums

We study multiple trigonometric Fourier series of functions f in the classes $L_p \left( {\mathbb{T}^N } \right)$ , p > 1, which equal zero on some set $\mathfrak{A}, \mathfrak{A} \subset \mathbb{T}^N , \mu \mathfrak{A} > 0$ (µ is the Lebesgue measure), $\mathbb{T}^N = \left[ { - \pi ,\pi } \right]^N$ , N ≥ 3. We consider the case when rectangular partial sums of the indicated Fourier series S _n (x; f) have index n = (n ₁, ..., n _N ) ∈ ? ^N , in which k (k ≥ 1) components on the places {j ₁, ..., j _k } = J _k ? {1, ..., N} are elements of (single) lacunary sequences (i.e., we consider multiple Fourier series with J _k -lacunary sequence of partial sums). A correlation is found of the number k and location (the “sample” J _k ) of lacunary sequences in the index n with the structural and geometric characteristics of the set $\mathfrak{A}$ , which determines possibility of convergence almost everywhere of the considered series on some subset of positive measure $\mathfrak{A}_1$ of the set $\mathfrak{A}$ .     

Strong representation of weak convergence

Skorokhod's representation theorem states that if on a Polish space,there is a weakly convergent sequence of probability measures μnw→μ0,as n →∞,then there exist a probability space(Ω,F,P) and a sequence of random elements Xnsuch that Xn→ X almost surely and Xnhas the distribution function μn,n = 0,1,2,... We shall extend the Skorokhod representation theorem to the case where if there are a sequence of separable metric spaces Sn,a sequence of probability measures μnand a sequence of measurable mappings n such that μnn-1w→μ0,then there exist a probability space(Ω,F,P) and Sn-valued random elements Xndefined on Ω,with distribution μnand such that n(Xn) → X0 almost surely. In addition,we present several applications of our result including some results in random matrix theory,while the original Skorokhod representation theorem is not applicable.     

Convergence of weighted averages of noncommutative martingales

Let x = (x _n ) _n?1 be a martingale on a noncommutative probability space ( $\mathcal{M}$ , τ) and (w _n ) _n?1 a sequence of positive numbers such that $W_n = \sum\nolimits_{k = 1}^n {w_k \to \infty } $ as n → ∞. We prove that x = (x _n ) _n?1 converges bilaterally almost uniformly (b.a.u.) if and only if the weighted average (σ _n (x)) _n?1 of x converges b.a.u. to the same limit under some condition, where σ _n (x) is given by $\sigma _n (x) = \frac{1} {{W_n }}\sum\limits_{k = 1}^n {w_k x_k } ,n = 1,2,... $ Furthermore, we prove that x = (x _n ) _n?1 converges in L _p ( $\mathcal{M}$ ) if and only if (σ _n (x)) _n?1 converges in L _p ( $\mathcal{M}$ ), where 1 ? p < ∞. We also get a criterion of uniform integrability for a family in L ₁( $\mathcal{M}$ ).     

On characterization of multivariate stable distributions via random linear statistics

LetX ₁,X ₂, ...,X _n be independent and identically distributed random vectors inR ^d , and letY=(Y ₁,Y ₂, ...,Y _n )′ be a random coefficient vector inR ⁿ , independent ofX _j ^/′ . We characterize the multivariate stable distributions by considering the independence of the random linear statistic $$U = Y_1 X_1 + Y_2 X_2 + \cdot \cdot \cdot + Y_n X_n $$ and the random coefficient vectorY.