Strong convergence in nonparametric estimation of regression functions

The nonparametric regression problem has the objective of estimating conditional expectation. Consider the model $$Y = R(X) + Z$$ , where the random variableZ has mean zero and is independent ofX. The regression functionR(x) is the conditional expectation ofY givenX = x. For an estimator of the form $$R_n (x) = \sum\limits_{i = 1}^n {Y_i K{{\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} \mathord{\left/ {\vphantom {{\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} {\sum\limits_{i = 1}^n {K\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} }}} \right. \kern-\nulldelimiterspace} {\sum\limits_{i = 1}^n {K\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} }}} $$ , we obtain the rate of strong uniform convergence $$\mathop {\sup }\limits_{x\varepsilon C} \left| {R_n (x) - R(x)} \right|\mathop {w \cdot p \cdot 1}\limits_ = o({{n^{{1 \mathord{\left/ {\vphantom {1 {(2 + d)}}} \right. \kern-\nulldelimiterspace} {(2 + d)}}} } \mathord{\left/ {\vphantom {{n^{{1 \mathord{\left/ {\vphantom {1 {(2 + d)}}} \right. \kern-\nulldelimiterspace} {(2 + d)}}} } {\beta _n \log n}}} \right. \kern-\nulldelimiterspace} {\beta _n \log n}}),\beta _n \to \infty $$ . HereX is ad-dimensional variable andC is a suitable subset ofR ^d .     

On the rates of the other law of the logarithm

Let X, X1 , X2 , . . . be i.i.d. random variables, and set Sn = X1 +···+Xn , Mn = maxk≤n |Sk|, n ≥1. Let an = o( (n)(1/2)/logn). By using the strong approximation, we prove that, if EX = 0, VarX = σ2 0 and E|X| 2+ε ∞ for some ε 0, then for any r 1, lim ε1/(r-1)(1/2) [ε-2-(r-1)]∞∑n=1 nr-2 P{Mn ≤εσ (π2n/(8log n))(1/2) + an } = 4/π . We also show that the widest a n is o( n(1/2)/logn).     

On Bohr’s inequality

It is established that H. Bohr’s inequality \(\sum\nolimits_{k = 0}^\infty {\left| {{{f^{\left( k \right)} \left( 0 \right)} \mathord{\left/ {\vphantom {{f^{\left( k \right)} \left( 0 \right)} {\left( {2^{{k \mathord{\left/ {\vphantom {k 2}} \right. \kern-\nulldelimiterspace} 2}} k!} \right)}}} \right. \kern-\nulldelimiterspace} {\left( {2^{{k \mathord{\left/ {\vphantom {k 2}} \right. \kern-\nulldelimiterspace} 2}} k!} \right)}}} \right| \leqslant \sqrt 2 \left\| f \right\|_\infty }\) is sharp on the class H _∞.     

On the trigonometric polynomials of Fejér and Young

The trigonometric polynomials of Fejér and Young are defined by $S_n (x) = \sum\nolimits_{k = 1}^n {\tfrac{{\sin (kx)}} {k}}$S_n (x) = \sum\nolimits_{k = 1}^n {\tfrac{{\sin (kx)}} {k}} and $C_n (x) = 1 + \sum\nolimits_{k = 1}^n {\tfrac{{\cos (kx)}} {k}}$C_n (x) = 1 + \sum\nolimits_{k = 1}^n {\tfrac{{\cos (kx)}} {k}}, respectively. We prove that the inequality $\left( {{1 \mathord{\left/ {\vphantom {1 9}} \right. \kern-\nulldelimiterspace} 9}} \right)\sqrt {15} \leqslant {{C_n \left( x \right)} \mathord{\left/ {\vphantom {{C_n \left( x \right)} {S_n \left( x \right)}}} \right. \kern-\nulldelimiterspace} {S_n \left( x \right)}}$\left( {{1 \mathord{\left/ {\vphantom {1 9}} \right. \kern-\nulldelimiterspace} 9}} \right)\sqrt {15} \leqslant {{C_n \left( x \right)} \mathord{\left/ {\vphantom {{C_n \left( x \right)} {S_n \left( x \right)}}} \right. \kern-\nulldelimiterspace} {S_n \left( x \right)}} holds for all n ≥ 2 and x ∈ (0, π). The lower bound is sharp.     

Su un problema di tipo nuovo relativo alle equazioni paraboliche d'ordine superiore al secondo

Sunto Si studia il problema della determinazione di una soluzione dell'equazione a_k(x)∂^ku/∂x^k=f(x, y) entro la semistriscia a≤x≤b, y≥0, che assuma assegnati valori per y=0 e per x=a, x₁, x₂, b (a<x₁<x₂<b). Analogamente si studia il problema della determinazione di una soluzione dell' equazione a_k(x)∂^ku/∂x^k+b(x)∂u/∂y=f(x,y), entro la medesima semistriscia, cha assuma assegnati valori per y=0 e per x=a, x₁, x₂, b e la cui ∂/∂y assuma assegnati valori per y=0. A Giovanni Sansone nel suo 70^mo compleanno.     

Lower bounds for the modulus of the logarithmic derivative of a polynomial

Estimates are given for the measure of a section of an arbitrary straight line of the set $$E_\delta = \left\{ {z:\left| {P' {{\left( z \right)} \mathord{\left/ {\vphantom {{\left( z \right)} {\left( {nP \left( z \right)} \right)}}} \right. \kern-\nulldelimiterspace} {\left( {nP \left( z \right)} \right)}} \leqslant \delta } \right|} \right\} \left( {\delta > 0} \right)$$ where P (z) is a polynomial of degree n. THEOREM. Suppose P (x) = (x ? x₁) ... (x ? x_n) is a polynomial with real zeros. Then, for any δ > 0, on any intervala ?x ?b, containing all of the x_k (k=1, 2, ..., n), outside an exceptional set E_δ?[a,b] such that $$mes E_\delta \leqslant \left( {\sqrt {1 + \delta ^2 \left( {b - a} \right)^2 } - 1} \right)/\delta $$ , we have the inequality $$\left| {P' {{\left( x \right)} \mathord{\left/ {\vphantom {{\left( x \right)} {\left( {nP \left( x \right)} \right)}}} \right. \kern-\nulldelimiterspace} {\left( {nP \left( x \right)} \right)}}} \right| > \delta $$ . A similar estimate is given for polynomials whose roots lie either in Imz ? 0 or in Imz ? 0.     

Covering sets for plane lattices

LetK?E ² be a convex body with diameterD(K) and minimal width Δ(K). LetL?E ² be a lattice with homogeneous minimum γ₁ K and first covering minimum μ₁ K and letk∈. The $${{2\mu _1 \left( L \right)} \mathord{\left/ {\vphantom {{2\mu _1 \left( L \right)} {\Delta \left( K \right) + {{\lambda _1 \left( L \right)} \mathord{\left/ {\vphantom {{\lambda _1 \left( L \right)} {D\left( K \right) \leqslant k^{ - 1} }}} \right. \kern-\nulldelimiterspace} {D\left( K \right) \leqslant k^{ - 1} }}}}} \right. \kern-\nulldelimiterspace} {\Delta \left( K \right) + {{\lambda _1 \left( L \right)} \mathord{\left/ {\vphantom {{\lambda _1 \left( L \right)} {D\left( K \right) \leqslant k^{ - 1} }}} \right. \kern-\nulldelimiterspace} {D\left( K \right) \leqslant k^{ - 1} }}}}$$ implies card (K∩L)?k ², i. e. {K*g/gεL} is ak ²-fold covering ofE ². The result is tight and generalizes earlier results. Some related results are given.     

Semilinear Dirichlet problem involving critical exponent for the Kohn Laplacian

The paper is concerned with the Dirichlet problem

Precise inequalities for norms of functions,third partial,second mixed,or directional derivatives

For functions f which are bounded throughout the plane R₂ together with the partial derivatives f(^3,0) f(_0,3), inequalities $$\left\| {f^{(1,1)} } \right\| \leqslant \sqrt[3]{3}\left\| f \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} \left\| {f^{(3,0)} } \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} \left\| {f^{(0,3)} } \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} ,\left\| {f_e^{(2)} } \right\| \leqslant \sqrt[3]{3}\left\| f \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} \left( {\left\| {f^{(3,0)} } \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} \left| {e_1 } \right| + \left\| {f^{(0,3)} } \right\|^{{\raise0.7ex\hbox{$1$} \!\mathord{\left/ {\vphantom {1 3}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$3$}}} \left| {e_2 } \right|} \right)^2 ,$$ are established, where ∥?∥denotes the upper bound on R² of the absolute values of the corresponding function, andf _fe ⁽²⁾ is the second derivative in the direction of the unit vector e=(e₁, e₂). Functions are exhibited for which these inequalities become equalities.     

On the strong approximation by the (C, α)-means of Fourier series. II

стАтьь ьВльЕтсь пРОД ОлжЕНИЕМ пРЕДыДУЩЕИ ОДНОИМЕННОИ РАБОты АВтОРА, гДЕ ИжУ ЧАлсь пОРьДОк ВЕлИЧИН пРИ УслОВИьх, ЧтО α>-1/2, Рα >- 1 И ЧтО МАтРИцАt _nk УДОВлЕтВОРьЕт НЕкОт ОРОМУ УслОВИУ РЕгУльРНОстИ. жДЕсь ДОкАжыВАЕтсь, Ч тО ЕслИf∈H ^Ω, тО ВыпОлНь Етсь ОцЕНкА $$\left\{ {\frac{1}{{\lambda _n }}\mathop \Sigma \limits_{k = n - \lambda _n + 1}^n \left| {\sigma _k^\alpha \left( x \right) - f\left( x \right)} \right|^p } \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} = O\left( {\left\{ {\frac{1}{{\lambda _n }}\mathop \Sigma \limits_{k = n - \lambda _n + 1}^n \left( {\frac{1}{k}\mathop \smallint \limits_{{1 \mathord{\left/ {\vphantom {1 k}} \right. \kern-\nulldelimiterspace} k}}^{2\pi } \frac{{\omega \left( t \right)}}{{t^2 }}dt} \right)^p } \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} + \left( {\frac{{\lambda _n }}{n}} \right)^\alpha \omega \left( {\frac{1}{n}} \right)} \right)$$ (λ₁=1, λ_n+1-λ_n≦1), А тАкжЕ ЧтО Ёт А ОцЕНкА ОкОНЧАтЕльН А В сВОИх тЕРМИНАх; пОДОБ НыИ РЕжУль-тАт спРАВЕДлИВ тАкжЕ И Дль сОпРьжЕННОИ ФУНкцИИ . ДОкАжыВАЕтсь, ЧтО Усл ОВИьα>?1/2 Иpα>?1, кОтОРыЕ Б ылИ НАлОжЕНы В УпОМьНУтО И ВышЕ ЧАстИ I, сУЩЕстВЕН Ны.     

The expected number of parts in a partition ofn

Forn a positive integer letp(n) denote the number of partitions ofn into positive integers and letp(n,k) denote the number of partitions ofn into exactlyk parts. Let , thenP(n) represents the total number of parts in all the partitions ofn. In this paper we obtain the following asymptotic formula for .     

The prime-counting function and its analytic approximations

The paper describes a systematic computational study of the prime counting function π(x) and three of its analytic approximations: the logarithmic integral \({\text{li}}{\left( x \right)}: = {\int_0^x {\frac{{dt}}{{\log \,t}}} }\), \({\text{li}}{\left( x \right)} - \frac{1}{2}{\text{li}}{\left( {{\sqrt x }} \right)}\), and \(R{\left( x \right)}: = {\sum\nolimits_{k = 1}^\infty {{\mu {\left( k \right)}{\text{li}}{\left( {x^{{1 \mathord{\left/ {\vphantom {1 k}} \right. \kern-\nulldelimiterspace} k}} } \right)}} \mathord{\left/ {\vphantom {{\mu {\left( k \right)}{\text{li}}{\left( {x^{{1 \mathord{\left/ {\vphantom {1 k}} \right. \kern-\nulldelimiterspace} k}} } \right)}} k}} \right. \kern-\nulldelimiterspace} k} }\), where μ is the Möbius function. The results show that π(x)x) for 2≤x≤10¹⁴, and also seem to support several conjectures on the maximal and average errors of the three approximations, most importantly \({\left| {\pi {\left( x \right)} - {\text{li}}{\left( x \right)}} \right|} < x^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}}\) and \( - \frac{2}{5}x^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} < {\int_2^x {{\left( {\pi {\left( u \right)} - {\text{li}}{\left( u \right)}} \right)}du < 0} }\) for all x>2. The paper concludes with a short discussion of prospects for further computational progress.     

Remarks on Mean Convergence (Boundedness) of Partial Sums of Trigonometric Series

Fairly general conditions on the coefficients of even and odd trigonometric Fourier series under which L-convergence (boundedness) of partial sums of the series is equivalent to the relation are given.     

On the asymptotics of the Riesz-Bochner kernel

В работе рассматрива ется асимптотика в ме трике пространстваL _p (T ^N ),T ^N ={x∈R ^N , 0<x _i <2π} ядра Р исса-Бохнера $$\Theta ^s \left( {x, \lambda } \right) = \left( {2\pi } \right)^{ - N} \mathop \Sigma \limits_{\left| n \right|^2< \lambda } \left( {1 - \frac{{\left| n \right|^2 }}{\lambda }} \right)^s e^{inx} \left( {x \in T^N , s \geqq 0, \lambda \geqq 0} \right)$$ при λ→∞. Доказывается, что есл иN≧4,p≧2N/(N?1) иs>N((N?1)/2N?1/p), то для произвольной точкиx∈T ^N существует п остояннаяC=C _p (x, s) такая, что выполняется неравен ство $$\parallel \Theta ^s \left( {x - y, \lambda } \right) - \left( {2\pi } \right)^{ - {N \mathord{\left/ {\vphantom {N 2}} \right. \kern-\nulldelimiterspace} 2}} 2^s \Gamma \left( {s + 1} \right)\lambda ^{{N \mathord{\left/ {\vphantom {N 2}} \right. \kern-\nulldelimiterspace} 2}} J_{{N \mathord{\left/ {\vphantom {N {2 + s}}} \right. \kern-\nulldelimiterspace} {2 + s}}} {{\left( {\left| {x - y} \right|\sqrt \lambda } \right)} \mathord{\left/ {\vphantom {{\left( {\left| {x - y} \right|\sqrt \lambda } \right)} {\left( {\left| {x - y} \right|\sqrt \lambda } \right)^{{N \mathord{\left/ {\vphantom {N {2 + s}}} \right. \kern-\nulldelimiterspace} {2 + s}}} \parallel _{L_p \left( {T^N } \right)} \leqq }}} \right. \kern-\nulldelimiterspace} {\left( {\left| {x - y} \right|\sqrt \lambda } \right)^{{N \mathord{\left/ {\vphantom {N {2 + s}}} \right. \kern-\nulldelimiterspace} {2 + s}}} \parallel _{L_p \left( {T^N } \right)} \leqq }}$$ где нормаL _p (T ^N ) берется по пе ременнойy, а черезJ _v обозначена функция Б есселя первого рода порядкаv. СлучаиN=2 иN=3 рассматриваются отдельно.     

Sharp Estimates for Integral Means for Three Classes of Domains

In this paper, the following sharp estimate is proved: $$\int_{0}^{2{\pi }} {\left| {F\prime \left( {e^{i\theta } } \right)} \right|^p d\theta \leqslant \sqrt {\pi } 2^{1 + p} \frac{{\gamma \left( {{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2} + {p \mathord{\left/ {\vphantom {p 2}} \right. \kern-\nulldelimiterspace} 2}} \right)}} {{\gamma \left( {1 + {p \mathord{\left/ {\vphantom {p 2}} \right. \kern-\nulldelimiterspace} 2}} \right)}}} ,\quad p > - 1,$$ where F is the conformal mapping of the domain $D^ - = \left\{ {\zeta :\left| \zeta \right| > 1} \right\}$ onto the exterior of a convex curve, with $F\prime \left( \infty \right) = 1$ . For p=1, this result is due to Pólya and Shiffer. We also obtain several generalizations of this estimate under other geometric assumptions about the structure of the domain F(D ^-).     

Series of univalent functions

We are considering a class S of functions F(z), F(0) = 0, F′(0) = 1 that are univalent and regular in the circle ¦z¦ < 1, and its subclasses s _h ^* and K of starlike functions of order h and of convex functions respectively. Among others, we establish the following results: If F(z)εs and 0 < α < 1, then IfF (z) ε s (0 < a < 1) and $$\begin{gathered} 1 + \operatorname{Re} {{z_1 F^n \left( {z_1 } \right)} \mathord{\left/ {\vphantom {{z_1 F^n \left( {z_1 } \right)} {F'\left( {z_1 } \right)}}} \right. \kern-\nulldelimiterspace} {F'\left( {z_1 } \right)}} = \operatorname{Re} {{\alpha z_1 F''\left( {\alpha z_1 } \right)} \mathord{\left/ {\vphantom {{\alpha z_1 F''\left( {\alpha z_1 } \right)} {F'\left( {\alpha z_1 } \right)}}} \right. \kern-\nulldelimiterspace} {F'\left( {\alpha z_1 } \right)}} \hfill \\ \left( {2 - \sqrt 3< \left| {z_1 } \right| = r< 1} \right) \hfill \\ \end{gathered} $$ then we obtain the domain of values of the point αz₁.     

Optimal recovery methods for the integral on classes of differentiable functions

Найдены методы восст ановления интеграла по информации $$I\left( f \right) = \left\{ {f^{(j)} \left( {x_i } \right)\left( {j = 0, ..., \gamma _i - 1; i = 1, ..., n; 1 \leqq \gamma _i \leqq r; \gamma _i + ... + \gamma _n \leqq N} \right.} \right\},$$ оптимальные на класс ахW _p ^r ,r=1,2,...; 1≦p≦∞. Это позволило, в частност и, получить наилучшие для классаW _p ^r квадратурные форму лы вида $$\mathop \smallint \limits_0^1 f\left( x \right)dx = \mathop \Sigma \limits_{i = 1}^n \mathop \Sigma \limits_{j = 1}^{\gamma _i - 1} a_{ij} f^{(j)} \left( {x_i } \right) + \mathop \Sigma \limits_{j = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} b_j f^{(2j - 1)} \left( 0 \right) + \mathop \Sigma \limits_{k = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} c_k f^{(2k - 1)} \left( 1 \right) + R\left( f \right)$$ И $$\mathop \smallint \limits_0^1 f\left( x \right)dx = af\left( 0 \right) + \mathop \Sigma \limits_{i = 1}^n \mathop \Sigma \limits_{j = 0}^{\gamma _i - 1} a_{ij} f^{(j)} \left( {x_i } \right) + bf\left( 1 \right) + \mathop \Sigma \limits_{j = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} b_j f^{(2j - 1)} \left( 0 \right) + \mathop \Sigma \limits_{k = 1}^{[{r \mathord{\left/ {\vphantom {r 2}} \right. \kern-\nulldelimiterspace} 2}]} c_k f^{(2k - 1)} \left( 1 \right) + R\left( f \right).$$      

On a conjecture of Zaremba

LetN _C (x) be the number of integersm≤x such that there is an integera with 1≤a<m, (a, m)=1 and all partial quotients in the continued fraction expansion ofa/m are at mostC. We prove for allx≥1 that $$N_c (x) > {1 \mathord{\left/ {\vphantom {1 {\sqrt {2C} x^{{1 \mathord{\left/ {\vphantom {1 {2(1 - 1/C^2 )}}} \right. \kern-\nulldelimiterspace} {2(1 - 1/C^2 )}}} }}} \right. \kern-\nulldelimiterspace} {\sqrt {2C} x^{{1 \mathord{\left/ {\vphantom {1 {2(1 - 1/C^2 )}}} \right. \kern-\nulldelimiterspace} {2(1 - 1/C^2 )}}} }}$$ .     

A sharp form of an embedding into multiple exponential spaces

Let Θ be a bounded open set in ℝ ⁿ , n ⩾ 2. In a well-known paper Indiana Univ. Math. J., 20, 1077–1092 (1971) Moser found the smallest value of K such that

Inequalities for derivatives of functions in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

  We obtain a new sharp inequality for the local norms of functions x ∈ L _{∞, ∞} ^r (R), namely,