On the convergence to infinity of Fourier series along dense subsequences of numbers

В статье доказываетс я Теорема.Какова бы ни была возрастающая последовательность натуральных чисел {H _k } _{k = 1} ^∞ c $$\mathop {\lim }\limits_{k \to \infty } \frac{{H_k }}{k} = + \infty$$ , существует функцияf∈L(0, 2π) такая, что для почт и всех x∈(0, 2π) можно найти возраст ающую последовательность номеров {n_k(x)} _k=1 ^∞ ,удовлетворяющую усл овиям 1) $$n_k (x) \leqq H_k , k = 1,2, ...,$$ 2) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t} (x)} (x,f) = + \infty ,$$ 3) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t - 1} (x)} (x,f) = - \infty$$ .     

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

On simultaneous approximation by lagrange interpolating polynomials

This paper considers to replace △_m(x)=(1-x~2)~2(1/2)/n +1/n~2 in the following result for simultaneousLagrange interpolating approximation with (1-x~2)~2(1/2)/n: Let f∈C_(-1.1)~0 and r=[(q+2)/2],then|f~(k)(x)-P_~(k)(f,x)|=O(1)△_(n)~(a-k)(x)ω(f~(a),△(x))(‖L_n-‖+‖L_n‖),0≤k≤q,where P_n( f ,x)is the Lagrange interpolating polynomial of degree n+ 2r-1 of f on the nodes X_nU Y_n(see the definition of the text), and thus give a problem raised in [XiZh] a complete answer.     

Simultaneous approximation by algebraic polynomials

Some estimates for simultaneous polynomial approximation of a function and its derivatives are obtained. These estimates are exact in a certain sense. In particular, the following result is derived as a corollary: Forf∈C ^r[?1,1],m∈N, and anyn≥max{m+r?1, 2r+1}, an algebraic polynomialP _n of degree ≤n exists that satisfies $$\left| {f^{\left( k \right)} \left( x \right) - P_n^{\left( k \right)} \left( {f,x} \right)} \right| \leqslant C\left( {r,m} \right)\Gamma _{nrmk} \left( x \right)^{r - k} \omega ^m \left( {f^{\left( r \right)} ,\Gamma _{nrmk} \left( x \right)} \right),$$ for 0≤k≤r andx ∈ [?1,1], where ω^υ(f^(k),δ) denotes the usual vth modulus of smoothness off ^(k), and Moreover, for no 0≤k≤r can (1?x ²)( ^{r?k+1)/(r?k+m)}(1/n²)^{(m?1)/(r?k+m)} be replaced by (1-x²)^αkn^2αk-2, with α_k>(r-k+a)/(r-k+m).     

Heat equation with a singular potential on the boundary and the Kato inequality

This paper is concerned with the heat equation in the half-space ? ₊ ^N with the singular potential function on the boundary, (P) $\left\{ \begin{gathered} \frac{\partial } {{\partial t}}u - \Delta u = 0\operatorname{in} \mathbb{R}_ + ^N \times (0,T), \hfill \\ \frac{\partial } {{\partial x_N }}u + \frac{\omega } {{|x|}}u = 0on\partial \mathbb{R}_ + ^N \times (0,T), \hfill \\ u(x,0) = u_0 (x) \geqslant ()0in\mathbb{R}_ + ^N , \hfill \\ \end{gathered} \right. $ where N ?? 3, ?? > 0, 0 < T ?? ??, and u ₀ ?? C ₀(? ₊ ^N ). We prove the existence of a threshold number ?? _N for the existence and the nonexistence of positive solutions of (P), which is characterized as the best constant of the Kato inequality in ? ₊ ^N .     

Some extremal properties of positive trigonometric polynomials

For n=8 an upper bound is given for the functional $$V_n = \mathop {\inf }\limits_{t_n } \frac{{\alpha _1 + \alpha _2 + \cdots + \alpha _n }}{{\left( {\sqrt {\alpha _1 } - \sqrt {\alpha _0 } } \right)^2 }}$$ , which is defined on the class of even, nonnegative, trigonometric polynomials \(t_n (\phi ) = \sum\nolimits_{k = 0}^n {\alpha _k } cos k\phi \) , such that α _k ? 0 (k=0, ...,n) α₁>α₀ :V _s ? 34.54461566.     

The analytic spread of codimension two monomial varieties

Let ${\rm} A=k[{u_{1}^{a_{1}}},{u_{2}^{a_{2}}},\dots,{u_{n}^{a_{n}}},{u_{1}^{c_{1}}} \dots {u_{n}^{c_{n}}},{u_{1}^{b_{1}}} \dots {u_{n}^{b_{n}}}]\ \subset k[{u_{1}}, \dots {u_{n}}],$ where, a_j, b_j, C_j ∈ ?, a_j > 0, (b_j, C_j) ≠ (0,0) for 1 ≤ j ≤ n, and, further ${\underline b}:=\ ({b_{1}}, \dots,{b_{n}})\ \not=\ 0 $ and ${\underline c}:=\ ({c_{1}}, \dots,{c_{n}})\ \not=\ 0 $ . The main result says that the defining ideal I ? m = (x₁,…, x_n, y, z) ? k[x₁,…, x_n, y, z] of the semigroup ring A has analytic spread ?(I_m) at most three.     

Operator integration,perturbations, and commutators

Under mild assumption, integral representations of the form (*) $$f(A_1 ) \cdot \mathfrak{J} - \mathfrak{J} \cdot f(A_1 ) = \int {\int {\frac{{f(\mu ) - f(\lambda )}}{{\mu - \lambda }}} } dE_1 (\mu )(A_1 \mathfrak{J} - \mathfrak{J}A_0 )dE_0 (\mu ),$$ are justified. Here A_k, k=0, 1, is a self-adjoint operator in a Hilbert space H_k, is an operator from H₀ H₁; in general, all the operators are unbounded; E_k is the spectral measure of the operator A_k. On the basis of the representation (^*), estimates of the s-numbers of the operator \(f(A_1 ) \cdot \mathfrak{J} - \mathfrak{J} \cdot f(A_0 )\) in terms of the s-numbers of the operator \(A_1 \mathfrak{J} - \mathfrak{J}A_0\) are given. Analogous results are obtained for commutators and antocommutators.     

Symmetry results for systems involving fractional Laplacian

In this paper we investigate symmetry results for positive solutions of systems involving the fractional Laplacian (1) $\left\{ \begin{gathered} ( - \Delta )^{\alpha _1 } u_1 (x) = f_1 (u_2 (x)),x \in \mathbb{R}^\mathbb{N} , \hfill \\ ( - \Delta )^{\alpha _2 } u_2 (x) = f_2 (u_1 (x)),x \in \mathbb{R}^\mathbb{N} , \hfill \\ \lim _{|x| \to \infty } u_1 (x) = \lim _{|x| \to \infty } u_2 (x) = 0 \hfill \\ \end{gathered} \right. $ where N ≥ 2 and α ₁, α ₂ ∈ (0, 1). We prove symmetry properties by the method of moving planes.     

An extremal problem for algebraic polynomials in the symmetric discrete Gegenbauer-Sobolev space

We study discrete Sobolev spaces with symmetric inner product $$\left\langle {f,g} \right\rangle _\alpha = \int_{ - 1}^1 {f g d\mu _\alpha } + M[f(1)g(1) + f( - 1)g( - 1)] + K[f'(1)g'(1) + f'( - 1)g'( - 1)]$$ , where M ≥ 0, k ≥ 0, and $$d\mu _\alpha (x) = \frac{{\Gamma (2\alpha + 2)}}{{2^{2\alpha + 1} \Gamma ^2 (\alpha + 1)}}(1 - x^2 )^\alpha dx, \alpha > - 1$$ , is the Gegenbauer probability measure. We obtain the solution of the following extremal problem: Calculate $$\mathop {\inf }\limits_{a_0 ,a_1 ,...,a_{N - r} } \left\{ {\langle P_N^{(r)} ,P_N^{(r)} \rangle _\alpha ,1 \leqslant r \leqslant N - 1, P_N^{(r)} (x) = \sum\limits_{j = N - r + 1}^N {a_j^0 x^j } + \sum\limits_{j = 0}^{N - r} {a_j x^j } } \right\}$$ , where the a _j ⁰ , j = N ? r + 1, N ? r + 2, ..., N ? 1, N, a _N ⁰ > 0, are fixed numbers, and find the extremal polynomial.     

Two results on arithmetical functions

Generalizing two results of Rieger [8] and Selberg [10] we give asymptotic formulas for sums of type $${\matrix {\sum \limits_{n\leq x}\cr n\equiv l({\rm mod}k)\cr f_{\kappa}(n)\equiv s_{\kappa}({\rm mod}p_{\kappa})\cr (\kappa=1,\dots,r)\cr}}\qquad \chi(n)\qquad {\rm and} {\matrix {\sum \limits_{n\leq x}\cr n\equiv l({\rm mod}k)\cr f_{\kappa}(n)\equiv s_{\kappa}({\rm mod}p_{\kappa})\cr (\kappa=1,\dots,r)\cr}}\qquad \chi(n),$$ where χ is a suitable multiplicative function, f₁,…, f _r are “small” additive, prime-independent arithmetical functions and k, l are coprime. The proofs are based on an analytic method which consists of considering the Dirichlet series generated by $ \chi(n)z_{1}^{f_{1}(n)}\cdot... \cdot z_{r}^{f_{r}(n)},z_{1}\dots z_{r} $ complex.     

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.     

One property of best quadrature formulas

It is established that for classW _p ^r (r=i, 2, ...; 1?p?∞) the best quadrature formulas of the form $$\int_0^1 {f\left( x \right)dx = } \Sigma _{k = 0}^\rho \mathop {\Sigma _{i = 1}^n }\limits_{\left( {0 \leqslant \rho \leqslant r - 1} \right)} a_{ik} f^{\left( k \right)} \left( {x_i } \right) + R\left( f \right)$$ , when ρ = 2m and ρ = 2m + 1, coincide with one another. This same fact also supervenes for the class (r=1, 2, ...; 1?p?∞) of periodic functions.     

A unifying approach to the regularization of Fourier polynomials

In a previous paper [4] the following problem was considered:find, in the class of Fourier polynomials of degree n, the one which minimizes the functional: (0.1) $$J^* [F_n ,\sigma ] = \left\| {f - F_n } \right\|^2 + \sum\limits_{r = 1}^\infty {\frac{{\sigma ^r }}{{r!}}} \left\| {F_n^{(r)} } \right\|^2$$ , where ∥·∥ is theL ² norm,F _n ^(r) is therth derivative of the Fourier polynomialF _n (x), andf(x) is a given function with Fourier coefficientsc _k . It was proved that the optimal polynomial has coefficientsc _k ^* given by (0.2) $$c_k^* = c_k e^{ - \sigma k^2 } ; k = 0, \pm ,..., \pm n$$ . In this paper we consider the more general functional (0.3) $$\hat J[F_n ,\sigma _r ] = \left\| {f - F_n } \right\|^2 + \sum\limits_{r = 1}^\infty {\sigma _r \left\| {F_n^{(r)} } \right\|^2 }$$ , which reduces to (0.1) forσ _r =σ ^r /r!. We will prove that the classical sigma-factor method for the regularization of Fourier polynomials may be obtained by minimizing the functional (0.3) for a particular choice of the weightsσ _r . This result will be used to propose a motivated numerical choice of the parameterσ in (0.1).     

On the interrelation of almost sure invariance principles for certain stochastic adaptive algorithms and for partial sums of random variables

Since the novel work of Berkes and Philipp⁽³⁾ much effort has been focused on establishing almost sure invariance principles of the form (1) $$\left| {\sum\limits_{i = 1}^{|\_t\_|} {x_1 - X_t } } \right| \ll t^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2} - \gamma } $$ where {x _i ,i=1,2,3,...} is a sequence of random vectors and {X _t ,t>-0} is a Brownian motion. In this note, we show that if {A _k ,k=1,2,3,...} and {b _k ,k=1,2,3,...} are processes satisfying almost-sure bounds analogous to Eq. (1), (where {X _t ,t≥0} could be a more general Gauss-Markov process) then {h _k ,k=1,2,3...}, the solution of the stochastic approximation or adaptive filtering algorithm (2) $$h_{k + 1} = h_k + \frac{1}{k}(b_k - A_k h_k )for{\text{ }}k{\text{ = 1,2,3}}...$$ also satisfies and almost sure invariance principle of the same type.     

Funktionalgleichungen und Charakterisierungen für die Riemannsche Funktion

Riemann's functionR=Σ _v=1 ^∞ v ^?2 sin(2πv ² x) satisfies the following infinite system of functional equations: (*) $$\sum\limits_{k = 0}^{n - 1} {R\left( {\frac{{x + k}}{n}} \right) = \frac{1}{q}R(qx)} $$      

On a linear iterative equation

We consider the following iterative equation $$ \sum_{i=0}^{k}a_{i}f^{i}(x)=0, $$ where a₀,…, a _k are given real numbers and ? is an unknown function. Assuming some conditions on the coefficients a₀,…, a _k we prove that this equation has exactly one solution and that the solution depends continuously on the coefficients.     

The “Full Müntz Theorem” inL p[0, 1] for 0<p<∞

Denote by span {f ₁,f ₂, …} the collection of all finite linear combinations of the functionsf ₁,f ₂, … over ?. The principal result of the paper is the following. Theorem (Full Müntz Theorem in L_p(A) for p ∈ (0, ∞) and for compact sets A ? [0, 1] with positive lower density at 0). Let A ? [0, 1] be a compact set with positive lower density at 0. Let p ∈ (0, ∞). Suppose (λ _j ) _j=1 ^∞ is a sequence of distinct real numbers greater than ?(1/p). Then span {x ^λ1,x ^λ2,…} is dense in L_p(A) if and only if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ . Moreover, if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ , then every function from the L_p(A) closure of {x ^λ1,x ^λ2,…} can be represented as an analytic function on {z ∈ ? \ (?∞,0] : |z| < r_A} restricted to A ∩ (0, r_A) where $r_A : = \sup \left\{ {y \in \mathbb{R}:\backslash ( - \infty ,0]:\left| z \right|< r_A } \right\}$ (m(·) denotes the one-dimensional Lebesgue measure). This improves and extends earlier results of Müntz, Szász, Clarkson, Erdös, P. Borwein, Erdélyi, and Operstein. Related issues about the denseness of {x ^λ1,x ^λ2,…} are also considered.     

Deviation of best discrete and uniform polynomial approximants

ПустьC _2π — пространств о 2π-периодических вещественных непрер ывных функций, W{_rLip α={f∈C _2π ^r : ω(f ^(r), δ)≦δ^α}, Y?[?π,π] — некоторое дискр етное множество точе к на периоде, плотность ко торого задается соот ношением ?(Y)= max min ¦x-у¦. Дляf∈C_2π x∈[?π,π] y∈Y обозначим через p_k(f) p_k(f)_y т ригонометрические полиномы степени не в ышеk наилучшего чебышевского прибли жения функцииf на все м периоде и на дискретном множес тве Y соответственно. Тогда величина $$\Omega _{k,r + \alpha } (d) = \mathop {\sup }\limits_{f \in W_r Lip\alpha } \mathop {\sup }\limits_{\mathop {Y \subset [ - \pi ,\pi ]}\limits_{\rho (Y) \leqq d} } \left\| {p_k (f) - p_k (f)_Y } \right\| (d > 0)$$ xарактеризует отклон ение наилучших равно мерных и дискретных чебышевс ких приближений равномерно на классе функций W_rLip а. В работе да ются точные оценки для ?_k,r+α(d) пр и всехk, r и 0-?1.     

An Asymptotic Formula for the Iterates of a Function

Let IK be either IR or ? and D an open set of IK containing 0 and starlike with respect to 0 (i.e. an open interval containig 0 in the case IK = IR). If f: D » IK is a continuous function with fixed point 0, then under certain conditions stated below we can prove for the kn- th iterates of f the following asymptotic formula: 1 $$f^{(kn)}\bigg({x \over n}\bigg )=\sum_{i-1}^r{1\over (nk)^i}\ f_i(kx)+o \bigg({1\over n^r}\bigg),$$ for n » ∞, k, n and r beeing positive integers and x close enough to 0. The functions f _i are continuous and uniquely determined by f. In particular (1) holds for any function holomorphic on a neighbourhood of zero, having a convergent power series expansion of the form $$f(z)=z+a_2z^2+\cdots=\sum_{j=1}^\infty\ a_jz^j,\ a_j\in {\cal C},a_1=1,$$ and for any integers k, r with r > 0.