Rational approximations of real numbers

For anyx ∈ r put $$c(x) = \overline {\mathop {\lim }\limits_{t \to \infty } } \mathop {\min }\limits_{(p,q\mathop {) \in Z}\limits_{q \leqslant t} \times N} t\left| {qx - p} \right|.$$ . Let [x₀; x₁,..., x_n, ...] be an expansion of x into a continued fraction and let \(M = \{ x \in J,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n< \infty \}\) .Forx∈M put D(x)=c(x)/(1?c(x)). The structure of the set \(\mathfrak{D} = \{ D(x),x \in M\}\) is studied. It is shown that $$\mathfrak{D} \cap (3 + \sqrt 3 ,(5 + 3\sqrt 3 )/2) = \{ D(x^{(n,3} )\} _{n = 0}^\infty \nearrow (5 + 3\sqrt 3 )/2,$$ where \(x^{(n,3)} = [\overline {3;(1,2)_n ,1} ].\) This yields for \(\mu = \inf \{ z,\mathfrak{D} \supset (z, + \infty )\}\) (“origin of the ray”) the following lower bound: μ?(5+3√3)/2=5.0n>(5 + 3/3)/2=5.098.... Suppose a∈n. Put \(M(a) = \{ x \in M,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n = a\}\) , \(\mathfrak{D}(a) = \{ D(x),x \in M(a)\}\) . The smallest limit point of \(\mathfrak{D}(a)(a \geqslant 2)\) is found. The structure of (a) is studied completely up to the smallest limit point and elucidated to the right of it.     

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 ) сУЩЕстВУЕт схОДьЩ Аьсь пОДпОслЕДОВАтЕльНО сть.     

On the regular summability of multiple function series and Lebesgue functions

Основной целью работ ы является обобщение одного результата Кратца и Т раутнера [4], известного для одном ерных функциональны х рядов, на кратные ряды. Этот рез ультат касается суммируемо сти функционального ряда почти всюду при слабых пред положениях. В частности, он примен им к суммируемости по Чезаро и по Риссу. Мы рассматриваемd-кр атный ряд $$\mathop \sum \limits_{k_1 = 0}^\infty \cdots \mathop \sum \limits_{k_d = 0}^\infty c_{k_1 ,...,k_d } f_{k_1 ,...,k_d } (x), \mathop \sum \limits_{k_1 = 0}^\infty \cdots \mathop \sum \limits_{k_d = 0}^\infty c_{k_1 ,...,k_d }^2< \infty $$ и предполагается, что функции \(f_{k_1 ,...,k_d } (x)\) интегрируе мы по пространству с полож ительной мерой и имеют почти вс юду ограниченные фун кции Лебега для метода суммирова ния Т. Метод Т определяетсяd-мерной матрицей \(T = \{ a_{m_1 ,...,m_d ;k_1 ,...,k_d } \} \) сл едующим образом: $$t_{m_1 ,...,m_d } (x) = \mathop \sum \limits_{k_1 = 0}^\infty \cdots \mathop \sum \limits_{k_d = 0}^\infty a_{m_1 ,...,m_d ;k_1 ,...,k_d } c_{k_1 ,...,k_d } f_{k_1 ,...,k_d } (x).$$ Эти средние существу ют, поскольку мы предп олагаем, что \(a_{m_1 ,...,m_d ;k_1 ,...,k_d } = 0\) ,если max(k ₁,...,k _d) достаточно вели к (в зависимости, конеч но, отm ₁,...,m _d). При некоторых дополнительных усло виях на матрицуТ (см. (7)– (9) в разделе 3) устанавлива ется почти всюду регулярная схо димость средних \(t_{m_1 ,...,m_d } (x) \user2{} \user2{(}m_1 \user2{,}...\user2{,}m_d \user2{)} \to \infty \) . Как вспомогательный результат, в работе об общается теорема Алексича [1] о сх одимости почти всюду некоторы х подпоследовательн остей частных сумм функцио нального ряда.     

A conjecture of Erdős and Reddy and the rational approximation of Mittag-Leffler type functions

Пусть \(f(z) = \mathop \sum \limits_{k = 0}^\infty a_k z^k ,a_0 \ne 0, a_k \geqq 0 (k \geqq 0)\) — целая функци я,π _n — класс обыкновен ных алгебраических мног очленов степени не вы ше \(n,a \lambda _n (f) = \mathop {\inf }\limits_{p \in \pi _n } \mathop {\sup }\limits_{x \geqq 0} |1/f(x) - 1/p(x)|\) . П. Эрдеш и А. Редди высказали пр едположение, что еслиf(z) имеет порядок ?ε(0, ∞) и $$\mathop {\lim sup}\limits_{n \to \infty } \lambda _n^{1/n} (f)< 1, TO \mathop {\lim inf}\limits_{n \to \infty } \lambda _n^{1/n} (f) > 0$$ В данной статье показ ано, что для целой функ ции $$E_\omega (z) = \mathop \sum \limits_{n = 0}^\infty \frac{{z^n }}{{\Gamma (1 + n\omega (n))}}$$ , где выполняется $$\lambda _n^{1/n} (E_\omega ) \leqq \exp \left\{ { - \frac{{\omega (n)}}{{e + 1}}} \right\}$$ , т.е. $$\mathop {\lim sup}\limits_{n \to \infty } \lambda _n^{1/n} (E_\omega ) \leqq \exp \left\{ { - \frac{1}{{\rho (e + 1)}}} \right\}< 1, a \mathop {\lim inf}\limits_{n \to \infty } \lambda _n^{1/n} (E_\omega ) = 0$$ . ФункцияE _ω (z) имеет порядок ?.     

Universelle Approximation durch Riesz-Transformierte der geometrischen Reihe

Let p={p_v} be a fixed sequence of complex numbers. Define \(p_n : = \mathop \Sigma \limits_{\nu = o}^n p_\nu \) and suppose that \(p_{m_k } \ne o\) for a subsequence M={m_k} of nonnegative integers. The matrix A=(α_kv) with the elements $$\alpha _{k\nu } = p_\nu /p_{m_k } if o \leqslant \nu \leqslant m_k ,\alpha _{k\nu } = oif \nu > m_k $$ generates a summability method (R,p,M) which is a refinement of the well known Riesz methods. The (R,p,M) methods have been introduced in [4]. In the present paper we are concerned with the summability of the geometric series \(\mathop \Sigma \limits_{\nu = o}^n z^\nu \) by (R,p,M) methods. We prove the following theorem. Suppose G is a simply connected domain with \(\{ z:|z|< 1\} \subset G,1 \varepsilon | G \) . Then there exists a universal, regular (R,p,M) method having the following properties: (1) \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is compactly summable (R,p,M) to \(\tfrac{1}{{1 - z}}\) on G. (2) For every compact set B?¯G^c which has a connected complement and for every function f which is continuous on B and analytic in its interior there exists a subsequence M(B,f) of M such that \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is uniformly summable (R,p,M(B,f)) to f(z) on B. (3) For every open set U?G^c which has simply connected components in ? and for every function f which is analytic on U there exists a subsequence M(U,f) of M such that \(\mathop \Sigma \limits_{\nu = o}^\infty z^\nu \) is compactly summable (R,p,M(U,f)) to f(z) on U.     

Представление целых функций рядами по фун кциям Миттаг-Леффлера

The class \(B_{\varrho _1 } \) is introduced and thoroughly studied in the paper. By definition,H∈ \(B_{\varrho _1 } \) if there exist sequences {А _n } and {μ _n }, ¦μ _n ¦ ↑ ∞ (depending onH(?)) such that $$\mathop {\lim \sup }\limits_{t \to \infty } \frac{{\ln \Phi \left( {re^{i\varphi } } \right)}}{{r^{\varrho _1 } }} = H\left( \varphi \right), \Phi \left( z \right) = \mathop \Sigma \limits_{k = 1}^\infty \left| {A_k E_\varrho \left( {\lambda _k z} \right)} \right|,$$ whereE _? (z) is a Mittag—Leffler function and? ₁>?>1/2. The significance of the class \(B_{\varrho _1 } \) is confirmed by the following theorem. For each functionH∈ \(B_{\varrho _1 } \) there exists a sequence {λ _n } with the following property: every entire functionF(z) of order? ₁ with the growth indicatorh _F (?)< <H(?) can be expanded into the series $$F\left( z \right) = \mathop \Sigma \limits_{n = 1}^\infty a_n E_\varrho \left( {\lambda _n z} \right),$$ furthermore, $$\mathop {\lim sup}\limits_{r \to \infty } \frac{{\ln \Phi \left( {re^{i\varphi } } \right)}}{{r^{\varrho 1} }}< H\left( \varphi \right), \Phi \left( z \right) = \mathop \Sigma \limits_{n = 1}^\infty \left| {a_n E_\varrho \left( {\lambda _n z} \right)} \right|.$$ The coefficientsa _n are explicitly defined. The results were previously announced by the author inDokl. AN SSSR,264 (1982), 1313–1315.     

Approximation of Dirichlet polynomials in cases of sparse exponents

Let \(0< \lambda \kappa \uparrow \infty ,\sum\nolimits_{\kappa = 1}^\infty {\lambda _\kappa ^{ - 1}< \infty } \) , and let γ be an analytic arc. For the Dirichlet polynomial \(P(z) = \sum\nolimits_1^n {a_k e^{\lambda _k .z} } \) , in angle \(E - \pi /2 + \varphi _0< \arg [ - (z - \alpha )]< \pi /2 + \varphi _0 ,0< \varphi _0< \pi /2,\operatorname{Re} \alpha< \beta = \mathop {\max }\limits_{t \in \gamma } \operatorname{Re} t\) we obtain the estimate $|P(z)|< A\mathop {\max }\limits_{t \in \gamma } |P(t)|$ where A depends only on angle E and {λ_k}. When γ is a segment, an estimate was obtained by L. Schwartz.     

On some approximation problems for complex polynomials

We consider weighted complex approximation problems of the form $$\mathop {\min }\limits_{p:p(a) = 1} \mathop {\min }\limits_{z \in \left[ { - 1,1} \right]} \left| {w(z)p(z)} \right|$$ withp ranging over all polynomials of degree ≤n anda purely imaginary. Recent results by Ruscheweyh and Freund forw(z) = 1 and \(w(z) = \sqrt {z + 1}\) are extended to more general weight functions. Moreover, the solution of a complex Zolotarev type problem is given.     

Classes of functions subharmonic in ℝm and bounded on certain sets

Let Z_j be the Euclidean space of vectors \((z_{j,1,...,} z_{j_{j \cdot n_j + 1} } ), Z = \mathop \oplus \limits_{j = 1}^P Z_j\) . The function u: Z → ?₊, u ?0, is said to be logarithmically p-subharmonic if log u(z) is upper semicontinuous with respect to the totality of the variables and subharmonic or identically equal to ?∞ with respect to each z_j when the remaining ones are fixed. For such functions, with the growth estimate $$log u(z) \leqslant \delta \mathop \Pi \limits_{j = 1}^P (1 + |z_{j,n_j + 1} |) + N(\mathop {\sum\limits_{\mathop {1 \leqslant j \leqslant p}\limits_{} } {z_{j,k}^2 } }\limits_{1 \leqslant k \leqslant n_j } )^{1/2} + C; \delta ,N \geqslant 0, C \in \mathbb{R}$$ one proves theorems on equivalence of^∞) (L_q)-norms of their restrictions to \(X = \mathop \oplus \limits_{j = 1}^P (Z_{j,1} ,...,z_{j,n_j } )\) and to a relatively dense subset of it, generalizing the known Cartwright and Plancherel-Pólya results.     

Analytische Fortsetzbarkeit von zufälligen Potenzreihen bezüglich abhängiger Zufallsvariabler

Рассматриваются слу чайная величина \(\mathfrak{X} = (X_n (\omega ))\) , удовлетворяющая усл овиюE(X _n ⁴ )≦M, и соответствующ ий случайный степенн ой ряд \(f_x (z;\omega ) = \mathop \sum \limits_{n = 0}^\infty a_n X_n (\omega )z^n\) . Устанавливаются тео ремы непродолжимост и почти наверное:

1. дляf _x при условиях с лабой мультипликати вности на \(\mathfrak{X}\) ,
2. для \(f_{\tilde x}\) , где \(\mathop \mathfrak{X}\limits^ \sim = (\mathop X\limits^ \sim _n )\) есть подп оследовательность в \(\mathfrak{X}\) ,
3. для по крайней мере од ного из рядовf _x′ илиf _x″ , где \(\mathfrak{X}'\) и \(\mathfrak{X}''\) — некоторые п ерестановки \(\mathfrak{X}\) , выбираемые универс ально, т. е. независимо от коэффициентовa _n .

     

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

Banach spaces of locally Schlicht functions with the Hornich operations

Let \(S_ \propto ( \propto \geqq 0)\) be the set of normalized (see (1.2)) functions f holomorphic in D:|z|<1 with \(f''(z)/f'(z) = 0((1 - \left| z \right|^2 )^{ - \propto } )\) , and let be the set of normalized (see (1.6)) functions f meromorphic in D with the Schwarzian derivative \(\left\{ {f,z} \right\} = 0((1 - \left| z \right|^2 )^{ - \propto } )\) . We shall show that some topological properties of \(S_ \propto\) and , and of subsets of them, follow from those of the weighted H^∞ space \(H_ \propto ^\infty\) , consisting of functions f holomorphic in D with \(f(z) = 0((1 - \left| z \right|^2 )^{ - \propto } )\) , and those of subsets of \(H_ \propto ^\infty\) . The set S₁ is denoted by X in [3] and [4].     

Strong approximation of empirical process with independent but non-identically distributed random variables

Let{Y_t,t=1,2,…} be independent random variables with continuous distribution functionsF_i(y).For any y,dencte s=F_t(y)=1/t sum from i=1 to t F_i(y).The empirical process is defind by t~(-1/2)R(s,t) whereR(s,t)=t(1/t sum from i=1 to t I_((?)_t(Y_i)≤s)-s)=sum from i=1 to t I_(?)-ts=sum from i=1 to t I_(?)-(?)_t(y)=sum from i=1 to t I_(Y_(?)≤y)-sum from i=1 to t F_i(y).The purpose of this paper is to investigate the asymptotic properties of the empirical processR(s,t).We shall prove that for some integer sequence {t_k},there is a (?)-process (?)(s,t) such that(?)|R(s,t_k)-(?)(s,t_k)|=O(t_k~(1/2)(log t_k)~(-1/4)(log log t_k)~(1/2))a.s.where (?)(s,t) is a two-parameter Gaussian process defined in §1.     

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 ₁, δ.     

Global analytic hypoellipticity of the\bar \partial-Neumann problem on circular domains

In this paper we show that if \(D \subseteq \mathbb{C}^n ,n \geqq 2\) , is a smooth bounded pseudoconvex circular domain with real analytic defining functionr(z) such that \(\sum\limits_{k = 1}^n {z_k \frac{{\partial r}}{{\partial z_k }}} \ne 0\) for allz near the boundary, then the solutionu to the \(\bar \partial\) -Neumann problem, $$square u = (\bar \partial \bar \partial * + \bar \partial *\bar \partial )u = f,$$ is real analytic up to the boundary, if the given formf is real analytic up to the boundary. In particular, if \(D \subseteq \mathbb{C}^n ,n \geqq 2\) , is a smooth bounded complete Reinhardt pseudoconvex domain with real analytic boundary. Then ? is analytic hypoelliptic.     

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.     

Strong approximation by rectangular partial sums of double orthogonal series

Пусть {? _ik(x):i, k=1, 2,...} — орто нормированная систе ма в пространстве с полож ительной мерой и {a _ik} — последов ательность действит ельных чисел, для которой $$\mathop \sum \limits_{\iota = 1}^\infty \mathop \sum \limits_{\kappa = 1}^\infty a_{ik}^2 \kappa ^2 (i,k)< \infty ,$$ где {x(i, K)} — определенна я неубывающая последовательность положительных чисел. Тогда суммаf(x) двойног о ортогонального ряд а \(\mathop \sum \limits_{\iota = 1}^\infty \mathop \sum \limits_{\kappa = 1}^\infty a_{ik} \varphi _{ik} (x)\) существует в смысле с ходимости в метрикеL ² и сходимос ти почти всюду. Изучае тся порядок так называем ой сильной аппроксимац ииf(x) (при коэффициентн ых условиях) прямоуголь ными частными суммами \(s_{mn} (x) = \mathop \sum \limits_{\iota = 1}^\infty \mathop \sum \limits_{\kappa = 1}^\infty a_{ik} \varphi _{ik} (x)\) . Основной ре зультат состоит в сле дующем. Если {λ_j(m):m=1, 2,...} — неубывающи е последовательност и положительньк чисел, стремящиеся к ∞ и такие, что \(\mathop {\lim \sup }\limits_{m \to \infty } \lambda _j (2m)/\lambda _j (m)< \sqrt 2 \) дляj=1,2, и если $$\mathop \sum \limits_{\iota = 1}^\infty \mathop \sum \limits_{\kappa = 1}^\infty a_{ik}^2 \left[ {\log log (i + 3)} \right]^2 \left[ {\log log (k + 3)} \right]^2 (\lambda _1^2 (i) + \lambda _2^2 (k))< \infty ,$$ TO ПОЧТИ ВСЮДУ $$\left\{ {\frac{1}{{mn}}\mathop \sum \limits_{i = 1}^m \mathop \sum \limits_{\kappa = 1}^m \left[ {s_{ik} (x) - f(x)} \right]^2 } \right\}^{1/2} = o_x (\lambda _1^{ - 1} (m) + \lambda _2^{ - 1} (n))$$ при min (m, n) → ∞.     

Асимптотические рав енства для интеграло в от модуля суммы кратн ого ряда из синусов

Assume that the coefficients of the series $$\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i = 1}^m \sin k_i x_i $$ satisfy the following conditions: a) a_k → 0 for k₁ + k₂ + ...+k_m →∞, b) \(\delta _{B,G}^M (a) = \mathop {\mathop \sum \limits_{k_i = 1}^\infty }\limits_{i \in B} \mathop {\mathop \sum \limits_{k_j = 2}^\infty }\limits_{j \in G} \mathop {\mathop \sum \limits_{k_v = 0}^\infty }\limits_{v \in M\backslash (B \cup G)} \mathop \Pi \limits_{i \in B} \frac{1}{{k_i }}|\mathop \sum \limits_{I_j = 1}^{[k_j /2]} (\nabla _{l_G }^G (\Delta _1^{M\backslash B} a_k ))\mathop \Pi \limits_{j \in G} l_j^{ - 1} |< \infty ,\) for ∨B?M, ∨G?M,B∩G, where M={1,2, ...,m}, $$\begin{gathered} \,\,\,\,\,\,\,\,\,\,\,\,\Delta _1^j a_k = a_k - a_{k_{M\backslash \{ j\} } ,k_{j + 1} } ,\Delta _1^B a_k = \Delta _1^{B\backslash \{ j\} } (\Delta _1^j a_k ), \hfill \\ \Delta _{l_j }^j a_k = a_{k_{M\backslash \{ j\} } ,k_j - l_j } - a_{k_{M\backslash \{ j\} } ,k_j + l_j } ,\nabla _{l_G }^G a_k = \nabla _{l_{G\backslash \{ j\} } }^{G\backslash \{ j\} } (\nabla _{l_j }^j a_k ). \hfill \\ \end{gathered} $$ Then for all n∈N^m the following asymptotic equation is valid: $$\mathop \smallint \limits_{{\rm T}_{\pi /(2n + 1)}^m } |\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i \in M} \sin k_i x_i |dx = \mathop \sum \limits_{k = 1}^n \left| {a_k } \right|\mathop \Pi \limits_{i \in M} k^{ - 1} + O(\mathop {\mathop \sum \limits_{B,{\mathbf{ }}G \subset M} }\limits_{B \ne M} \delta _{B,G}^M (a)).$$ Here \(T_{\pi /(2n + 1)}^m = \left\{ {x = (x1,x2,...,xm):\pi /(2n + 1) \leqq xi \leqq \pi ;i = \overline {1,m} } \right\}\) . In the one-dimensional case such an equation was proved by S. A. Teljakovskii.     

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

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

Estimate of a polynomial in generalized exponential functions in the convex hull of two domains

Пусть $$f_n (z) = \exp \{ \lambda _n z\} [1 + \psi _n (z)], n \geqq 1$$ гдеψ _n (z) — регулярны в н екоторой односвязно й областиS, λ _n — нули целой функц ии экспоненциальног о ростаL(λ) с индикатрис ой ростаh(?), причем $$|L\prime (\lambda _n )| > C(\delta )\exp \{ [h(\varphi _n ) - \varepsilon ]|\lambda _n |\} \varphi _n = \arg \lambda _n , \forall \varepsilon > 0$$ . Предположим, что на лю бом компактеK?S $$|\psi _n (z)|< Aq^{|\lambda |_n } , a< q< 1, n \geqq 1$$ гдеA иq зависит только отK. Обозначим через \(\bar D\) со пряженную диаграмму функцииL(λ), через \(\bar D_\alpha \) — смещение. \(\bar D\) на векторα. Рассмотр им множестваD ₁ иD ₂ так ие, чтоD ₁ иD ₂ и их вьшуклая обо лочкаE принадлежатS. Пусть \(\bar D_{\alpha _1 } \subset D_1 , \bar D_{\alpha _2 } \subset D_2 \) Доказывается, что сущ ествует некоторая об ластьG?E такая, что \(\mathop \cup \limits_{\alpha \in [\alpha _1 ,\alpha _2 ]} \bar D_\alpha \subset G\) и дляz∈G верна оценка $$\sum\limits_{v = 1}^n {|a_v f_v (z)|} \leqq B\max (M_1 ,M_2 ), M_j = \mathop {\max }\limits_{t \in \bar D_j } |\sum\limits_{v = 1}^n {a_v f_v (t)} |$$ , где константаB не зав исит от {a _v }.