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.     

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.     

On the Fourier--Haar Coefficients of Functions of Several Variables with Bounded Vitali Variation

In this paper, we study the behavior of the Fourier--Haar coefficients $a_{m_1 , \ldots ,m_n } \left( f \right)$ of functions $f$ Lebesgue integrable on the $n$ -dimensional cube $D_n = \left[ {0,1} \right]^n $ and having a bounded Vitali variation $V_{D_n } f$ on it. It is proved that $$\sum\limits_{m_1 = 2}^\infty \cdots \sum\limits_{m_n = 2}^\infty {\left| {a_{m_1 , \ldots ,m_n } \left( f \right)} \right|} \leqslant \left( {\frac{{2 + \sqrt 2 }}{3}} \right)^n {\text{ }}.{\text{ }}V_{D_n } f$$ and shown that this estimate holds for some function of bounded finite nonzero Vitali variation.     

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.     

The algebraic independence of certain transcendental continued fractions

In the present note the algebraic independence of certain continued fractions is proved. Especially, we prove that the Böhmer-Mahler's series \(\sum\limits_{K = 1}^\infty {\left[ {\omega _v k} \right]} {\text{ }}g_\mu ^{ - k} \left( {1 \leqslant \mu \leqslant s,1 \leqslant v \leqslant t} \right)\) are algebraically independent, where \(\mathop \omega \nolimits_1 {\text{ , }}...{\text{ , }}\mathop \omega \nolimits_{\text{t}} \) , ..., \(\mathop g\nolimits_1 {\text{ , }}...{\text{ , }}\mathop g\nolimits_s \) are some irrational numbers andg ₁, ...,g _s are distinct positive integers.     

Absolute tauberian conditions for absolute hausdorff and quasi-hausdorff methods

The purpose of this paper is to prove that for a large set of absolute Hausdorff and quasi-Hausdorff methods the condition $$\sum\limits_{k = 1}^\infty {\left| {\lambda _n a_n - \lambda _{n - 1} a_{n - 1} } \right|< } \infty $$ is a Tauberian condition, i.e., its fulfillment together with the absolute summability of \(\sum\limits_{n = 0}^\infty {a_n } \) tos implies that \(\sum\limits_{n = 0}^\infty {\left| {a_n } \right|}< \infty \) and \(\sum\limits_{n = 0}^\infty {a_n } = s.\) a _n =s.     

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.     

Extremal problems for certain analytic (Nevanlinna) functions

We obtain sharp bounds on some basic functionals defined on the sets of all analytic functions having the representations \(f\left( z \right) \equiv \int\limits_{ - 1}^1 {\frac{{d\mu \left( t \right)}}{{z - t}}} \) and \(\varphi \left( z \right) \equiv \int\limits_{ - 1}^1 {\frac{{z\mu \left( t \right)}}{{1 - tz}}} \) ; respectively. Here μ is a probability measure.     

ОБ ИНтЕРпОлИРОВАНИИ В кОМплЕксНОИ ОБлАст И

LetD be a simply connected domain, the boundary of which is a closed Jordan curveγ; \(\mathfrak{M} = \left\{ {z_{k, n} } \right\}\) , 0≦k≦n; n=1, 2, 3, ..., a matrix of interpolation knots, \(\mathfrak{M} \subset \Gamma ; A_c \left( {\bar D} \right)\) the space of the functions that are analytic inD and continuous on \(\bar D; \left\{ {L_n \left( {\mathfrak{M}; f, z} \right)} \right\}\) the sequence of the Lagrange interpolation polynomials. We say that a matrix \(\mathfrak{M}\) satisfies condition (B _m ), \(\mathfrak{M}\) ∈(B _m ), if for some positive integerm there exist a setB _m containingm points and a sequencen _{p p=1} ^∞ of integers such that the series \(\mathop \Sigma \limits_{p = 1}^\infty \frac{1}{{n_p }}\) diverges and for all pairsn _i ,n _j ∈{n _p } _p=1 ^∞ the set \(\left( {\bigcap\limits_{k = 0}^{n_i } {z_{k, n_i } } } \right)\bigcap {\left( {\bigcup\limits_{k = 0}^{n_j } {z_{k, n_j } } } \right)} \) is contained inB _m . The main result reads as follows. {Let D=z: ¦z¦ \(\Gamma = \partial \bar D\) and let the matrix \(\mathfrak{M} \subset \Gamma \) satisfy condition (B_m). Then there exists a function \(f \in A_c \left( {\bar D} \right)\) such that the relation $$\mathop {\lim \sup }\limits_{n \to \infty } \left| {L_n \left( {\mathfrak{M}, f, z} \right)} \right| = \infty $$ holds almost everywhere on γ.     

An inequality for a functional on aging distribution functions

We prove an inequality for a functional on aging distribution functions F(t), which makes it possible to obtain inequalities for \(m_r = \int_0^\infty {t^r } dF (t)\) . We show that if \(\left[ {\frac{{m_r }}{{r!}}} \right]^{r + 1} = \left[ {\frac{{m_{r + 1} }}{{(r + 1)!}}} \right]^r \) for some r ≥ 1, then F(t) = 1^?e^?λt; in addition we give upper and lower bounds for the integral \(\int_0^\infty {e^{ - st} } [1 - F(1)] dt,\) expressed in terms of m₁ and m₂.     

Orlicz norm estimates for eigenvalues of matrices

Let φ be a supermultiplicative Orlicz function such that the function $t \mapsto \varphi \left( {\sqrt t } \right)$ is equivalent to a convex function. Then each complexn×n matrixT=(τ _ij ) _{i, j} satisfies the following eigenvalue estimate: $\left\| {\left( {\lambda _i \left( T \right)} \right)_{i = 1}^n } \right\|_{\ell _\varphi } \leqslant C\left\| ( \right\|\left( {\tau _{ij} } \right)_{i = 1}^n \left\| {_{_{\ell _{\varphi *} } } )_{j = 1}^n } \right\|\ell _{\bar \varphi } $ . Here, ?_* stands for Young’s conjugate function of φ, ?, $\bar \varphi $ is the minimal submultiplicative function dominating φ andC>0 a constant depending only on φ. For the power function φ(t)=t ^p ,p≥2 this is a celebrated result of Johnson, König, Maurey and Retherford from 1979. In this paper we prove the above result within a more general theory of related estimates.     

On the limit superior of sequences of sets

qVЕРхНИИ пРЕДЕл пОслЕД ОВАтЕльНОстИ МНОжЕс тВA _n ОпРЕДЕльЕтсь сООтНО шЕНИЕМ \(\mathop {\lim sup}\limits_{n \to \infty } A_n = \mathop \cap \limits_{k = 1}^\infty \mathop \cup \limits_{n = k}^\infty A_n . B\) стАтьЕ РАссМАтРИВА Етсь слЕДУУЩИИ ВОпРО с: ЧтО МОжНО скАжАть О ВЕРхНИх пРЕДЕлАх \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) , еслИ ИжВЕстНО, ЧтО пРЕсЕЧЕНИь \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) «МАлы» Дль кАж-ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) ? ДОкАжыВАЕтсь, Ч тО

1. ЕслИ \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — кОНЕЧНОЕ МНО жЕстВО Дль кАжДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО НАИДЕтсь тАкАь пОДпО слЕДОВАтЕльНОсть, Дл ь кОтОРОИ МНОжЕстВО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) сЧЕтНО;
2. ЕслИ \(2^{\aleph _0 } = \aleph _1\) , тО сУЩЕстВУЕ т тАкАь пОслЕДОВАтЕл ьНОсть (A_n), ЧтО \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО Дль лУБОИ п ОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , НО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) ИМЕЕт МОЩ-НОсть кОНтИНУУМА;
3. ЕслИA _n — БОРЕлЕ ВскИЕ МНОжЕстВА В НЕкОтОРО М пОлНОМ сЕпАРАБЕльНО М МЕтРИЧЕскОМ пРОстРАНстВЕ, И \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕт НОЕ МНОжЕстВО Дль кАж ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО сУЩЕстВУЕт тАкАь п ОДпОслЕДОВАтЕльНОсть, ЧтО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО. кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (A _n ) сУЩЕстВУЕт схОДьЩА ьсь пОДпОслЕДОВАтЕльНО сть.

кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (А _n ) сУЩЕстВУЕт схОДьЩ Аьсь пОДпОслЕДОВАтЕльНО сть.     

The Wiener--Hopf Integral Equation in the Supercritical Case

We consider the scalar homogeneous equation $S(x) = \int_0^\infty {K(x - t)S(t)dt,{\text{ }}x \in \mathbb{R}^ + \equiv (0,\infty ),}$ with symmetric kernel $K:K( - x) = K(x),{\text{ }}x \in \mathbb{R}_1$ satisfying the conditions $0 \leqslant K \in L_1 (\mathbb{R}^ + ) \cap C^{\left( 2 \right)} (\mathbb{R}^ + )$ , $\int_0^\infty {K(t)dt > \frac{1}{2}} $ , $K' \leqslant 0{\text{ }}and 0 \leqslant K'' \downarrow {\text{ }}on \mathbb{R}^ + $ . We prove the existence of a real solution S of the equation given above with asymptotic behavior $S(x) = O(x){\text{ as }}x \to + \infty $ .     

On Uniform Approximation in R2 of Continuous Functions of Two Variables with Bounded Variation in the Sense of Hardy

Introduce the notation: $\mathbb{Z}$ is the set of integers, $\bar {\mathbb{Z}}={\mathbb{Z}} \cup \{-\infty, +\infty\},{\mathbb{R}}_+^2 =\{x=(x_1,x_2) \in {\mathbb{R}}^2; x_1>0,x_2>0\}$ , $g_{k,m} (x,\alpha,h)= \int\limits_0^1 {g_1 (\frac{(k+u)h_1 - x_1}{\alpha_1})g_2(\frac{(m+u)h_2 - x_2}{\alpha_2})}du$ , where $g_i :\mathbb{R} \to \mathbb{R},x \in \mathbb{R}^2 ,\alpha ,h \in \mathbb{R}_ + ^2 $ . Under certain conditions on the functions g ₁, g ₂, we prove that the system of functions $g_{k,m} (x,\alpha^(n), h^(n)) (k,m \in \bar {\mathbb{Z}})$ , where $\alpha ^{\left( n \right)} ,h^{\left( n \right)} \in \mathbb{R}_ + ^2 $ are arbitrary infinitesimal sequences, is complete in the space C $\mathbb{R}^2 $ of uniformly continuous bounded functions f equipped with the norm $||f|| = \mathop {\sup }\limits_{x \in \mathbb{R}^2 } |f(x)|$ . Starting with the functions g _k,m , it is possible to construct a method for uniform approximating in $\mathbb{R}^2 $ any continuous function of bounded variation in the sense of Hardy. An error estimate is derived in terms of the second order moduli of continuity. Based on the obtained results, we discuss in detail the accuracy of uniform approximation of functions of several variables by linear functions. The error estimates are derived by using second order moduli of continuity. We pay a particular attention to sharpness of constants. Bibliography: 8 titles.     

Distribution of integral functionals of a Brownian motion process

In this paper one considers methods which enable one to determine the distribution of certain functionals of a Brownian motion process. Among such functionals we have: the positive continuous additive functional of a Brownian motion, defined by the formula $$A\left( t \right) = \int\limits_{ - \infty }^\infty {\hat t\left( {t, y} \right)dF\left( y \right),} $$ where \(\hat t\left( {t, y} \right)\) is the Brownian local time process while F(y) is a monotonically increasing right continuous function; the functional $$B\left( t \right) = \mathop {\mathop \smallint \limits_{ - \infty } }\nolimits^\infty f\left( {y,\hat t\left( {t, y} \right)} \right)dy,$$ where f(y, x) is a continuous function; and the functional $$C\left( t \right) = \mathop {\mathop \smallint \limits_0 }\nolimits^t f\left( {w\left( s \right),\hat t\left( {sr} \right)} \right)ds$$ As an application of these methods one considers some concrete functionals such that \(\hat t^{ - 1} \left( z \right) = \min \left\{ {s:\hat t\left( {s, o} \right) = z} \right\},\mathop {\mathop \smallint \limits_{ - \infty } }\nolimits^\infty \hat t^2 \left( {t, y} \right)dy,\mathop {\sup }\limits_{y \in R^1 } \hat t\left( {T, y} \right)\) , where T is an exponential random time, independent of \(\hat t\left( {t, y} \right)\) .     

Two inequalities for pseudo-differential operators

Изучается ограничен ность псевдодиффере нциальных операторов на \(L^2 (R^n )\) и на пр остранствах Харди в \(R^n \) . Пусть \(D_k = \{ \xi \in R^n :2^{k - 1} \leqq \left| \xi \right|< 2^k \} , k = 1,2,3, \ldots ,\) и \(D_0 = \{ \xi \in R^n :\left| \xi \right|< 1\} \) . Псевдодиффер енциальный операторP с символом p определяется соотно шением $$Pf(x) = \int\limits_{R^n } {e^{ix \cdot \xi } p(x,\xi )\hat f(\xi )d\xi ,x \in R^n .} $$ Будем говорить, что p пр инадлежит классу \(\bar S_{\varrho ,} {}_\delta (M,N), 0 \leqq \delta ,\varrho \leqq 1\) , ес ли $$\left| {D_x^a p(x,\xi )} \right| \leqq C_a (1 + \left| \xi \right|)^{\delta \left| a \right|} , x,\xi \in R^n ,\left| a \right| \leqq M,$$ и $$\int\limits_{D_k } {\left| {D_x^a D_\xi ^\beta p(x,\xi )} \right|d\xi \leqq C_{a\beta } 2^{kn} 2^{k(\delta |a| - \varrho |\beta |)} , x} \in R^n , k = 0,1,2, \ldots ;|a| \leqq M, |\beta | \leqq N.$$ Изучаются условия, ко торым должны удовлет ворять ?. δ,M иN, чтобы для каждого символа \(p \in \bar S_\varrho , {}_\delta (M,N)\) соответствующий оп ераторP был ограниче н на \(L^2 (R^n )\) . Далее, пусть \(p \in S_\varrho , {}_\delta \) , если дл я всех мультииндексо в а и β выполнено условие $$|D_x^a D_\xi ^\beta p(x,\xi )| \leqq C_{a\beta } (1 + |\xi |)^{\delta |\alpha | - \varrho |\beta |} , x,\xi \in R^n .$$ Доказывается, что при 0≦δ<1 операторP отображ ает пространство Харди \(H^p (R^n )\) в локальное пространство Харди ? ^p , если символp принадл ежит классуS ₁, δ.     

Bochner–Riesz Means with Respect to a Generalized Cylinder

We study the L ^p boundedness of the generalized Bochner–Riesz means S ^λ which are defined as $$S^{\lambda}f(x) = \mathcal{F}^{-1} \left[\left(1 - \rho \right)_{+}^{\lambda} \widehat{f} \right](x)$$ where ${\rho(\xi) = {\rm max}\{|\xi_{1}|, \ldots, |\xi_{\ell}|\}}$ for ${\xi = (\xi_{1},\ldots, \xi_{\ell}) \in \mathbb{R}^{{d}_{1}} \times \cdots \times \mathbb{R}^{{d}_{\ell}}}$ and ${\mathcal{F}^{-1}}$ is the inverse Fourier transform.     

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