A note on approximation to the identity with iterated kernels

Пустьl ₁ иl ₂ — неотрицательные убывающие функции на (0, ∞). Допустим, что $$\int\limits_0^\infty {S^{n_i - 1} l_i (S)\left( {1 + \log + \frac{1}{{S^{n_i } l_i (S)}}} \right)dS}< \infty ,$$ , гдеn ₁ иn ₂ — натуральные числа. Тогда для каждой функции \(f \in L^1 (R^{n_1 + n_2 } )\) при почти всех (x₀, у₀) мы имеем $$\mathop {\lim }\limits_{\lambda \to \infty } \lambda ^{n_1 + n_2 } \int\limits_{R^{n_1 } } {\int\limits_{R^{n_2 } } {l_1 } } (\lambda |x|)l_2 (\lambda |y|)f(x_0 - x,y_0 - y)dx dy = f(x_0 ,y_0 )\int\limits_{R^{n_1 } } {\int\limits_{R^{n_2 } } {l_i (|x|)l_2 } } (|y|)dx dy.$$      

The convergence of moments in the central limit theorem for stationary ϕ-mixing processes

Пусть {X_j} - строго стац ионарная последоват ельностьс ?перемешиванием, EXj-Q,E¦-X _j¦^r<∞ для некоторогоr>2. Положим \(S_n = \mathop \sum \limits_{j = 1}^n X_j \) . Ибрагимов (1962) доказал, что если приn →∞, то 1 $$\mathop {\lim }\limits_{n \to \infty } P\{ S_n /\sigma _n< x\} = (2\pi )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} \mathop \smallint \limits_{ - \infty }^x e^{{{ - u^2 } \mathord{\left/ {\vphantom {{ - u^2 } 2}} \right. \kern-\nulldelimiterspace} 2}} du.$$ В работе установлено, что при указанных выш е условиях в этой центральной пр едельной теореме имеет место т акже и сходимостьr-ых абсолютных моментов, т.е. если σ _n ² →∞ приn→ ∞, то $$\mathop {\lim }\limits_{n \to \infty } E|S_n /\sigma _n |^r = (2\pi )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} \mathop \smallint \limits_{ - \infty }^{ + \infty } |u|^r e^{ - u^2 /2} du.$$ Этот результат обобщ ает один более ранний результат автора (1980 г.).     

On a problem of L. Leindler concerning strong approximation by Fourier series and Lipschitz classes

Пусть? — возрастающа я непрерывная фцнкци я на [0,π],?(0)=0 и $$\mathop \smallint \limits_0^h \frac{{\varphi \left( t \right)}}{t}dt = O\left( {\varphi \left( h \right)} \right){\text{ }}\left( {h \to 0} \right).$$ Положим $$\psi \left( h \right) = h\mathop \smallint \limits_h^\pi \frac{{\varphi \left( t \right)}}{{t^2 }}dt \left( {h \in (0, \pi ]} \right).$$ Доказывается следую щая теорема.Пусть f∈ С[?π, π], ω(f, δ)=О(?(δ))) и $$\mathop {\lim }\limits_{h \to 0} \frac{1}{{\varphi \left( {\left| h \right|} \right)}}\left| {f\left( {x + h} \right) - f\left( x \right)} \right| = 0$$ для x∈E?[?π, π], ¦E¦>0. Тогда д ля сопряженной функц ии f почти всюду на E выполн яется соотношение $$\mathop {\lim }\limits_{h \to 0} \frac{1}{{\psi \left( {\left| h \right|} \right)}}\left| {\tilde f\left( {x + h} \right) - \tilde f\left( x \right)} \right| = 0.$$ Из этой теоремы вытек ает положительное ре шение одной задачи Л. Лейндлера.     

On the divergence of Lagrange interpolation processes on a set of second category

В статье даны полные д оказательства следу ющих утверждений. Пустьω — непрерывная неубывающая полуадд итивная функций на [0, ∞),ω(0)=0 и пусть M?[0, 1] — матрица узл ов интерполирования. Если $$\mathop {\lim sup}\limits_{n \to \infty } \omega \left( {\frac{1}{n}} \right)\log n > 0$$ то существует точкаx ₀∈[0,1] и функцияf ∈ С[0,1] таки е, чтоω(f, δ)=О(ω(δ)), для которой $$\mathop {\lim sup}\limits_{n \to \infty } |L_n (\mathfrak{M},f,x_0 ) - f(x_0 )| > 0$$ Если же $$\mathop {\lim sup}\limits_{n \to \infty } \omega \left( {\frac{1}{n}} \right)\log n = \infty$$ , то существуют множес твоE второй категори и и функцияf ∈ С[0,1],ω(f, δ)=o(ω(δ)) та кие, что для всехx∈E $$\mathop {\lim sup}\limits_{n \to \infty } |L_n (\mathfrak{M},f,x)| = \infty$$ . Исправлена погрешно сть, допущенная автор ом в [5], и отмеченная в работе П. Вертеши [9].     

Criterion of polynomial increase of a function and its derivatives

ДОкАжАНО, ЧтО Дль тОгО, ЧтОБы Дльr РАж ДИФФЕРЕНцИРУЕМОИ НА пРОМЕжУткЕ [А, + ∞) ФУНкцИИf сУЩЕстВОВА л тАкОИ МНОгОЧлЕН (1) $$P(x) = \mathop \Sigma \limits_{\kappa = 0}^{r - 1} a_k x^k ,$$ , ЧтО (2) $$\mathop {\lim }\limits_{x \to + \infty } (f(x) - P(x))^{(k)} = 0,k = 0,1,...,r - 1,$$ , НЕОБхОДИМО И ДОстАтО ЧНО, ЧтОБы схОДИлсь ИН тЕгРАл (3) $$\int\limits_a^{ + \infty } {dt_1 } \int\limits_{t_1 }^{ + \infty } {dt_2 ...} \int\limits_{t_{r - 1} }^{ + \infty } {f^{(r)} (t)dt.}$$ ЕслИ ЁтОт ИНтЕгРАл сх ОДИтсь, тО Дль кОЁФФИц ИЕНтОВ МНОгОЧлЕНА (1) ИМЕУт МЕс тО ФОРМУлы $$\begin{gathered} a_{r - m} = \frac{1}{{(r - m)!}}\left( {\mathop \Sigma \limits_{j = 1}^m \frac{{( - 1)^{m - j} f^{(r - j)} (x_0 )}}{{(m - j)!}}} \right.x_0^{m - j} + \hfill \\ + ( - 1)^{m - 1} \left. {\mathop \Sigma \limits_{l = 0}^{m - 1} \frac{{x_0^l }}{{l!}}\int\limits_a^{ + \infty } {dt_1 } \int\limits_{t_1 }^{ + \infty } {dt_2 ...} \int\limits_{t_{m - l - 1} }^{ + \infty } {f^{(r)} (t_{m - 1} )dt_{m - 1} } } \right),m = 1,2,...,r. \hfill \\ \end{gathered}$$ ДОстАтОЧНыМ, НО НЕ НЕОБхОДИМыМ Усл ОВИЕМ схОДИМОстИ кРА тНОгО ИНтЕгРАлА (3) ьВльЕтсь схОДИМОсть ИНтЕгРАл А \(\int\limits_a^{ + \infty } {x^{r - 1} f^{(r)} (x)dx}\)      

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.     

On the continuity of functions in connection with a problem of V. G. Krotov

В РАБОтЕ ДАЕтсь ОтВЕт НА ОДИН ВОпРОс, пОстАВ лЕННыИ В. г. кРОтОВыМ. УстАНОВлЕН О, ЧтО ЕслИ Ф(х) — МОНОтОННО ВО жРАстАУЩАь ФУНкцИь,Ф (0)=0, Ф(2х)≦кФ(х), х[0, ∞), тО $$\left\{ {f:\left\| {\sum\limits_{k = 1}^\infty {\mu _k \Phi (\lambda _k \left| {S_k - f} \right|)} } \right\|_c< \infty } \right\} \subseteqq C \Leftrightarrow \sum\limits_{k = 1}^\infty {\mu _k } \Phi (\lambda _k ) = \infty $$ Дль пРОИжВОльНых НЕО тРИцАтЕльНых ЧИслОВ ых пОслЕДОВАтЕльНОстЕ И {Μ_k} И {λ_k}. (жДЕсьS _k ОБОжНАЧАЕт ЧАстНУУ с УММУ пОРьДкАk РьДА ФУ РьЕ ФУНкцИИf). УстАНОВлЕН О тАкжЕ, ЧтО ВО МНОгИх слУЧАьх $$\left\{ {f:\left\| {\sum\limits_{k = 1}^\infty {\mu _k \Phi (\lambda _k \left| {\tilde S_k - \tilde f} \right|)} } \right\|_c< \infty } \right\} \subseteqq C \Leftrightarrow \sum\limits_{k = 1}^\infty {\frac{1}{{k\lambda _k }}} \Phi ^{ - 1} \left( {\frac{1}{{k\mu _k }}} \right)< \infty .$$      

On strong summahility of Fourier series and differentiability of functions

ПустьS _n (f, x) — суммы Фурье периодической сумми руемой функцииf(x). Доказано, что если фун кцияФ(u), определенная, непрерывная и выпукл ая вверх для u≧0 (Ф(0)=0), удовлетворяет ус ловию (1) $$\int\limits_{ + 0} {\frac{{du}}{{\Phi (u)}}< \infty ,} $$ то имеет место следую щее вложение классов функций (2) $$S(\Phi ) = \left\{ {f:\mathop {\max }\limits_x \sum\limits_{n = o}^\infty \Phi (\left| {f(x) - S_n (fx)} \right|)< \infty } \right\} \subset Lip1,$$ и, более того, при услов ии (1) все функции из кла ссаS(Ф) непрерывно дифферен цируемы, а их производные имеют равномерно сходящие ся ряды Фурье. Установлено также, чт о если функция Ф удовл етворяет условию lim supФ(u/2)/Ф(u)<1, то условие (1) является н е только достаточным, но и необходимым для влож ения (2).     

On the modulus of continuity in connection with a problem of J. Szabados concerning strong approximation

Пустьf(x) — интегрируемая 2π-периодическая функция, aω(f,δ) иs _n(x)=s_n(f, x). соответственно, модуль непрерывности иn-ая сумма Фурье этой функции. В настоящей работе, продолжающей исследования Г. Фрейда, Л. Лейндлера—E. M. Никищина, И. Сабадоша и К. И. Осколкова, доказывается следующая теорема.Если Ω(u) — выпуклая или вогнутая непрерывная функция и если (1) 1 $$\left\| {\left. {\sum\limits_{k = 1}^\infty \Omega (|S_k (x) - f(x)|)} \right\|_C } \right.$$ то 1 $$\omega (f;\delta ) = O\left( {\delta \int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} } \right),$$ где ¯Ω(v) —функция, обратная к Ω(и). При этом существует функция f₀(х), удовлетворяющая условию (1), для которой $$\omega (f;\delta ) = c\delta \int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} (c > 0).$$ ЕслиΩ(u)— вогнутая функция, то интеграл \(\int\limits_\delta ^1 {\frac{{\bar \Omega (v)}}{{v^2 }}dv} \) можно заменить на \(\int\limits_{\bar \Omega (\delta )}^1 {\frac{{du}}{{\Omega (u)}}.} \) . Отсюда вытекает, что еслиΩ(u) — функция типа модуля непрерывности, то для того, чтобы (1) всегда влекло принадлежность f(x) классу Lip 1, необходимо и достаточно условие \(\int\limits_0^1 {\frac{{du}}{{\Omega (u)}}}< \infty .\)      

Solvability of the Dirichlet problem for degenerate quasilinear elliptic equations

In a bounded domain of the n -dimensional (n?2) space one considers a class of degenerate quasilinear elliptic equations, whose model is the equation $$\sum\limits_{i = 1}^n {\frac{{\partial F}}{{\partial x_i }}} (a^{\ell _i } (u)\left| {u_{x_i } } \right|^{m_i - 2} u_{x_i } ) = f(x),$$ where x =(x₁,..., x_r), l_i?0, m_i>1, the function f is summable with some power, the nonnegative continuous function a(u) vanishes at a finite number of points and satisfies \(\frac{{lim}}{{\left| u \right| \to \infty }}a(u) > 0\) . One proves the existence of bounded generalized solutions with a finite integral $$\int\limits_\Omega {\sum\limits_{i = 1}^n {a^{\ell _i } (u)\left| {u_{x_i } } \right|^{m_i } dx} }$$ of the Dirichlet problem with zero boundary conditions.     

Exact values of meann-widths for the classes of functions analytic in the upper half plane in the Hardy space

In the Hardy spaceH ₂ ? ₊ ² of functions analytic in the upper half plane such that $$\sup \left\{ {\int\limits_\mathbb{R} {|f(x + iy)|^2 dx: 0< y< \infty } } \right\}< \infty ,$$ we determine meanN-widths and find their exact values for numerous classes of functions.     

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

On the strong summation of Fourier series with variable exponents

Пустьf 2π-периодическ ая суммируемая функц ия, as _k (x) еë сумма Фурье порядк аk. В связи с известным ре зультатом Зигмунда о сильной суммируемости мы уст анавливаем, что если λn→∞, то сущес твует такая функцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _{2n} } } \right\}^{1/\lambda _{2n} } = \infty .$$ Отсюда, в частности, вы текает, что если λn?∞, т о существует такая фун кцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } } \right\}^{1/\lambda _n } = \infty .$$ Пусть, далее, ω-модуль н епрерывности и $$H^\omega = \{ f:\parallel f(x + h) - f(x)\parallel _c \leqq K_f \omega (h)\} .$$ . Мы доказываем, что есл и λ _n ?∞, то необходимым и достаточным условие м для того, чтобы для всехf∈H ^ω выполнялос ь соотношение $$\mathop {\lim }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _n } } \right\}^{1/\lambda _n } = 0(x \in [0;2\pi ])$$ является условие $$\omega \left( {\frac{1}{n}} \right) = o\left( {\frac{1}{{\log n}} + \frac{1}{{\lambda _n }}} \right).$$ Это же условие необхо димо и достаточно для того, чтобы выполнялось соотнош ение $$\mathop {\lim }\limits_{n \to \infty } \frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } = 0(f \in H^\omega ,x \in [0;2\pi ]).$$      

О коэффициентах рядо в Фурье по множествам

The following statement is proved: Theorem.Let f(x), 0≦x≦2π, possess the Fourier expansion $$\mathop \sum \limits_{\kappa = - \infty }^\infty c_\kappa e^{in} \kappa ^x with \bar c_\kappa = c_{ - \kappa } , n_\kappa = - \bar n_{ - \kappa }$$ where {n _k } is a Sidon sequence. Then in order to have $$\mathop \sum \limits_{\kappa = - \infty }^\infty |c_\kappa |^p< \infty$$ for a given p, 1 $$\mathop \sum \limits_{k = 1}^\infty \left( {\frac{{\left\| f \right\|L^k (0,2\pi )}}{k}} \right)^p< \infty$$ . An analogous statement holds true for series with respect to the Rademacher system.     

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) имеет порядок ?.     

On some local properties of the sum of lacunary trigonometric series

В статье изучается по ведение суммы лакуна рного тригонометрическог о ряда при приближени и к некоторой фиксиров анной произвольной т очке. Первая половина рабо ты посвящена изложен ию метода исследования локаль ных свойств суммы лакунарного ря да, разработанного ав тором. Вторая половина рабо ты посвящена приложе ниям этого метода. Здесь в частно сти, получаются необходи мые и достаточные усл овия для интегрируемости сум мы лакунарного ряда с весом при широк их условиях на вес. При ведем соответствующий рез ультат. Пусть?р(x) — сумма ряда \(a + \sum\limits_{n = 1}^\infty {a_n \cos (\lambda _n x + \psi _n )} \) , гдеа, а _n ,λ _n ,ψ _n — действительные числа,εa _n ^/2 <∞,a _n ≧0,λ _n >0 приn≧1 и \(\mathop {\inf }\limits_{n \geqq 1} \lambda _{n + 1} /\lambda _n > 1\) . При этих условиях функция?(х) определена почти всю ду. Пустьр>0 иω(х) — положительная неуб ывающая функция, определенная при все хх>0, которая при некот оромC>0 удовлетворяет услов ию:ω(2x)≦ ≦Cω(х) при всехх>0. Тогда имеет место Теорема. Для того, чтоб ы интеграл \(\int\limits_{ + 0} {|\varphi (x)|^p \frac{{dx}}{{\omega (x)}}} \) сходился, необходимо и достато чно, чтобы сходились все р яды $$\begin{gathered} \sum\limits_{n = 1}^\infty {D_n (\sum\limits_{k = n}^\infty {a_k^2 } )^{p/2} ,} \sum\limits_{n = 2}^\infty {D_n |a_n + \sum\limits_{k = 1}^{n - 1} {a_k \cos } \psi _k |^p ,} \hfill \\ \sum\limits_{n = 2}^\infty {D_n (pj)|\sum\limits_{k = 1}^{n - 1} {a_k \lambda _k^j \cos (\psi _k + \pi j/2)} |^p ,} j = 1,2,..., \hfill \\ \end{gathered} $$ , где $$D_n = \int\limits_{I_n } {\frac{{dx}}{{\omega (x)}},} D_n (pj) = \int\limits_{I_n } {\frac{{x^{pj} dx}}{{\omega (x)}},} a I_n = [\pi \lambda _n^{ - 1} ,\pi \lambda _{n - 1}^{ - 1} ]$$      

Asymptotic properties for the loglog laws under positive association

Let {X _n : n ?? 1} be a strictly stationary sequence of positively associated random variables with mean zero and finite variance. Set $S_n = \sum\limits_{k = 1}^n {X_k }$ , $Mn = \mathop {\max }\limits_{k \leqslant n} \left| {S_k } \right|$ , n ?? 1. Suppose that $0 < \sigma ^2 = EX_1^2 + 2\sum\limits_{k = 2}^\infty {EX_1 X_k < \infty }$ . In this paper, we prove that if E|X ₁|^2+?? < for some ?? ?? (0, 1], and $\sum\limits_{j = n + 1}^\infty {Cov\left( {X_1 ,X_j } \right) = O\left( {n^{ - \alpha } } \right)}$ for some ?? > 1, then for any b > ?1/2 $$\mathop {\lim }\limits_{\varepsilon \searrow 0} \varepsilon ^{2b + 1} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^{b - 1/2} }} {{n^{3/2} \log n}}} E\left\{ {M_n - \sigma \varepsilon \sqrt {2n\log \log n} } \right\}_ + = \frac{{2^{ - 1/2 - b} E\left| N \right|^{2(b + 1)} }} {{(b + 1)(2b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2(b + 1)} }}}$$ and $$\mathop {\lim }\limits_{\varepsilon \nearrow \infty } \varepsilon ^{ - 2(b + 1)} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^b }} {{n^{3/2} \log n}}E\left\{ {\sigma \varepsilon \sqrt {\frac{{\pi ^2 n}} {{8\log \log n}}} - M_n } \right\}} _ + = \frac{{\Gamma (b + 1/2)}} {{\sqrt 2 (b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2b + 2} }}} ,$$ where x ₊ = max{x, 0}, N is a standard normal random variable, and ??(·) is a Gamma function.     

A Tauberian theorem for ℓ-adic sheaves on \mathbb{A} 1

Let K ∈ L ¹(?) and let f ∈ L ^∞(?) be two functions on ?. The convolution $$ \left( {K*F} \right)\left( x \right) = \int_\mathbb{R} {K\left( {x - y} \right)f\left( y \right)dy} $$ can be considered as an average of f with weight defined by K. Wiener’s Tauberian theorem says that under suitable conditions, if $$ \mathop {\lim }\limits_{x \to \infty } \left( {K*F} \right)\left( x \right) = \mathop {\lim }\limits_{x \to \infty } \int_\mathbb{R} {\left( {K*A} \right)\left( x \right)} $$ for some constant A, then $$ \mathop {\lim }\limits_{x \to \infty } f\left( x \right) = A $$ We prove the following ?-adic analogue of this theorem: Suppose K, F, G are perverse ?-adic sheaves on the affine line $ \mathbb{A} $ over an algebraically closed field of characteristic p (p ≠ ?). Under suitable conditions, if $ \left( {K*F} \right)|_{\eta _\infty } \cong \left( {K*G} \right)|_{\eta _\infty } $ , then $ F|_{\eta _\infty } \cong G|_{\eta _\infty } $ , where η _∞ is the spectrum of the local field of $ \mathbb{A} $ at ∞.