Eine Bemerkung über quadratfreie Zahlen ≢1 (modk)

Denote byf(k) the least natural numberm for which 1+mk is squarefree.Erdös gave the estimatef(k)?k ^3/2(logk)^?1. We derive (by elementary means) the asymptotic relation $$\sum\limits_{k \leqslant x} {(f(k))^\alpha = c(\alpha )x + 0(x} ) (x \to \infty ,0 \leqslant \alpha \leqslant 1)$$      

О кОЁФФИцИЕНтАх тРИг ОНОМЕтРИЧЕскИх НУль-РьДОВ

Let {? _k } _k=0 ^∞ be a numerical sequence satisfying the conditions $$\varrho _k \downarrow 0(k \to \infty )and\mathop \sum \limits_{k = 0}^\infty \varrho _k^2 = + \infty .$$ It is proved that there exists a trigonometric series $$\mathop \sum \limits_{k = 0}^\infty \varrho '_k \cos 2\pi (kx + \theta _k )$$ where ¦?′ _k ¦≦? _k ,k=0, 1, 2, ..., possessing the following property. For each measurable and a.e. finite functionF(x), x?[0, 1], the numbersδ _k =0 or 1,k=0, 1, ..., may be chosen in such a way that the series $$\mathop \sum \limits_{k = 0}^\infty \delta _k \varrho '_k \cos 2\pi (kx + \theta _k )$$ converges toF(x) a.e. on [0,1]. In addition, ifF(x)=0, then \(\delta _{k_0 } \varrho '_{k_0 } \ne 0\) for at least onek ₀≧0. Certain generalizations are discussed, too.     

Generalized monotone approximation inL p Space

Letf(x) ∈L _p[0,1], 1?p? ∞. We shall say that functionf(x)∈Δ^k (integerk?1) if for anyh ∈ [0, 1/k] andx ∈ [0,1?kh], we have Δ _h ^k f(x)?0. Denote by ∏ _n the space of algebraic polynomials of degree not exceedingn and define $$E_{n,k} (f)_p : = \mathop {\inf }\limits_{\mathop {P_n \in \prod _n }\limits_{P_n^{(\lambda )} \geqslant 0} } \parallel f(x) - P_n (x)\parallel _{L_p [0,1]} .$$ We prove that for any positive integerk, iff(x) ∈ Δ ^k ∩ L _p[0, 1], 1?p?∞, then we have $$E_{n,k} (f)_p \leqslant C\omega _2 \left( {f,\frac{1}{n}} \right)_p ,$$ whereC is a constant only depending onk.     

Interpolation with lagrange polynomials a simple proof of Markov inequality and some of its generalizations

The following theorem is provedTheorem 1.Let q be a polynomial of degree n(qP_n)with n distinct zeroes lying inthe interval[-1,1] and△'_q={-1}∪{τ_i:q'(τ_i)=0,i=1,n-1}∪{1}.If polynomial pP_n satisfies the inequalitythen for each k=1,n and any x[-1,1]its k-th derivative satisfies the inequality丨p~(k)(x)丨≤max{丨q~((k))(x)丨,丨1/k(x~2-1)q~(k+1)(x)+xq~((k))(x)丨}.This estimate leads to the Markov inequality for the higher order derivatives ofpolynomials if we set q=T_n,where Tn is Chebyshev polynomial least deviated from zero.Some other results are established which gives evidence to the conjecture that under theconditions of Theorem 1 the inequality ‖p~((k))‖≤‖q~(k)‖holds.     

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

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

A system of functions

A system of functions $$f_k (x) = \sum\nolimits_{i = 1}^r a _i \varphi _\iota (x)^k + b_i \overline {\varphi _\iota } (x)^k , k = 1,2,...$$ is considered on the interval [0,l]. Under certain conditions on the? _i(x), it is proved that the system 1 ∪ {f_k(x)} _k=1 ^∞ is complete in the space L_p(0,l). In the case r=1 it is proved, under certain additional assumptions, that the system {f_k(x)} _k=0 ^∞ is minimal.     

A note on a problem by H. S. Shapiro

В РАБОтЕ ДОкАжАНО, ЧтО limk _a *f(x)=f(x) пОЧтИ ВсУДУ, гДЕk _a(t)=a^?n k(a^?1t), t?Rⁿ, Для Дль ДОВОльНО шИРОкОг О клАссА ФУНкцИИk(t). ДАНы УслОВИь, пРИ кОтО Рых пОлУЧЕННыИ РЕжУл ьтАт РАспРОстРАНьЕтсь НА ФУНкцИУ $$k(x,y) = \gamma \frac{1}{{1 + |x|^\alpha }} \cdot \frac{1}{{1 + |y|^\beta }},$$ гДЕ α, β>1, А γ — НОРМИРУУЩ ИИ МНОжИтЕль тАкОИ, Чт О∫∫k(x, y) dx dy=1.     

Cones and error bounds for linear iterations

Consider an ordered Banach space with a cone of positive elementsK and a norm ∥·∥. Let [a,b] denote an order-interval; under mild conditions, ifx*∈[a,b] then $$||x * - \tfrac{1}{2}(a + b)|| \leqslant \tfrac{1}{2}||b - a||.$$ This inequality is used to generate error bounds in norm, which provide on-line exit criteria, for iterations of the type $$x_r = Ax_{r - 1} + a,A = A^ + + A^ - ,$$ whereA ⁺ andA ^? are bounded linear operators, withA ⁺ K ?K andA ^? K ? ?K. Under certain conditions, the error bounds have the form $$\begin{gathered} ||x * - x_r || \leqslant ||y_r ||,y_r = (A^ + - A^ - )y_{r - 1} , \hfill \\ ||x * - x_r || \leqslant \alpha ||\nabla x_r ||, \hfill \\ ||x * - \tfrac{1}{2}(x_r + x_{r - 1} )|| \leqslant \tfrac{1}{2}||\nabla x_r ||. \hfill \\ \end{gathered} $$ These bounds can be used on iterative methods which result from proper splittings of rectangular matrices. Specific applications with respect to certain polyhedral cones are given to the classical Jacobi and Gauss-Seidel splittings.     

OnL 1-convergence of Walsh-Fourier series I

We prove the convergence in theL ¹(0, 1)-metric of Walsh-Fourier series \(\sum\limits_{k = 0}^\infty {a_k w_k \left( x \right)} \) of an integrable function with coefficients such that lim_n→∞ and the following Tauberian condition of Hardy-Karamata kind is satisfied: $$\mathop {lim}\limits_{\lambda \to 1 + 0} {\text{ }}\mathop {lim}\limits_{n \to \infty } \sum\limits_{k = n}^{\left[ {\lambda n} \right]} {k^{p - 1} \left| {\Delta a_k } \right|^p } = 0,$$ , wherep>1, [·] denotes the integral part, and Δa _k=a_k?a_k+1.     

A new modification of the Hermite-Fejér interpolation

пУсть жАДАНы Ужлы $$ - \infty< x_1< x_2< ...< x_k< x_{k + 1}< ...< x_n< + \infty ,$$ , И пУстьx ₁ ^* <x ₂ ^* <...<x _n-1 ^* — кОРНИ МНОгО ЧлЕНА Ω′(х). гДЕ $$\omega (x) = \prod\limits_{k = 1}^n {(x - x_k ).} $$ В РАБОтЕ ИсслЕДУЕтсь жАДАЧА: кАк ОпРЕДЕлИт ь МНОгОЧлЕНР(х) МИНИМАльНОИ стЕп ЕНИ, Дль кОтОРОгО ВыпОлНь Утсь слЕДУУЩИЕ ИНтЕР пОльцИОННыЕ УслОВИь гДЕ {y _k И {y _k′}-жАДАННы Е сИстЕМы жНАЧЕНИИ.     

Well-posedness of a semilinear heat equation with weak initial data

This article mainly consists of two parts. In the first part the initial value problem (IVP) of the semilinear heat equation $$\begin{gathered} \partial _t u - \Delta u = \left| u \right|^{k - 1} u, on \mathbb{R}^n x(0,\infty ), k \geqslant 2 \hfill \\ u(x,0) = u_0 (x), x \in \mathbb{R}^n \hfill \\ \end{gathered} $$ with initial data in $\dot L_{r,p} $ is studied. We prove the well-posedness when $$1< p< \infty , \frac{2}{{k(k - 1)}}< \frac{n}{p} \leqslant \frac{2}{{k - 1}}, and r =< \frac{n}{p} - \frac{2}{{k - 1}}( \leqslant 0)$$ and construct non-unique solutions for $$1< p< \frac{{n(k - 1)}}{2}< k + 1, and r< \frac{n}{p} - \frac{2}{{k - 1}}.$$ In the second part the well-posedness of the avove IVP for k=2 with μ₀?H ^s (? ⁿ ) is proved if $$ - 1< s, for n = 1, \frac{n}{2} - 2< s, for n \geqslant 2.$$ and this result is then extended for more general nonlinear terms and initial data. By taking special values of r, p, s, and u₀, these well-posedness results reduce to some of those previously obtained by other authors [4, 14].     

Decay of the L∞-norm of solutions of Navier-Stokes equations in unbounded domains

We show that for nn? 4 the L_∞-norm of weak solutions of the Navier-Stokes equations on ?ⁿ with generalized energy inequality decays like $\parallel u(t, \cdot )\parallel _\infty = O(t^{ - ({{n + 1)} \mathord{\left/ {\vphantom {{n + 1)} 2}} \right. \kern-0em} 2}} ),if(1 + | \cdot |)|u(0, \cdot )| \in L_1 $ and $$\int_{\mathbb{R}^n } {u(0,x)} dx = 0$$ . The same holds for strong solutions in all dimensions, if additionally u(0, ·) ε L_p p >n.     

Lower Bounds for the Perron Root of a Sum of Nonnegative Matrices

Let $A^{(l)} (l = 1, \ldots ,k)$ be $n \times n$ nonnegative matrices with right and left Perron vectors $u^{(l)} $ and $v^{(l)} $ , respectively, and let $D^{(l)} $ and $E^{(l)} (l = 1, \ldots ,k)$ be positive-definite diagonal matrices of the same order. Extending known results, under the assumption that $$u^{(1)} \circ v^{(1)} = \ldots = u^{(k)} \circ v^{(k)} \ne 0$$ (where `` $ \circ $ '' denotes the componentwise, i.e., the Hadamard product of vectors) but without requiring that the matrices $A^{(l)} $ be irreducible, for the Perron root of the sum $\sum\nolimits_{l = 1}^k {D^{(l)} A^{(l)} E^{(l)} } $ we derive a lower bound of the form $$\rho \left( {\sum\limits_{l = 1}^k {D^{(l)} A^{(l)} E^{(l)} } } \right) \geqslant \sum\limits_{l = 1}^k {\beta _{l\rho } (A^{(l)} ),{\text{ }}\beta _l >0.} $$ Also we prove that, for arbitrary irreducible nonnegative matrices $A^{{\text{ (}}l{\text{)}}} (l = 1, \ldots ,k),$ , $$\rho \left( {\sum\limits_{l = 1}^k {A^{(l)} } } \right) \geqslant \sum\limits_{l = 1}^k {\alpha _{l\rho } (A^{(l)} ),} $$ where the coefficients ∝₁>0 are specified using an arbitrarily chosen normalized positive vector. The cases of equality in both estimates are analyzed, and some other related results are established. Bibliography: 8 titles.     

Strong approximation by Fourier series and differentiability properties of functions

ПустьΦ —N-функция Юнг а со свойствами $$\Phi (x)x^{ - 1} \downarrow 0, \exists \alpha > 1 \Phi (x)x^{ - \alpha } \uparrow (x \downarrow 0),$$ илиΦ(х)=х, {λ_k} — положи тельная, неубывающая последовательность и $$S_\Phi \{ \lambda \} = \left\{ {f:\left\| {\sum\limits_{k = 0}^\infty \Phi (\lambda _k |f - s_k |)} \right\|_\infty< \infty } \right\}.$$ В работе найдены необ ходимые и достаточны е условия для вложений $$S_\Phi \{ \lambda \} \subset W^r F(r \geqq 0),$$ , гдеF=C, L ^∞, Lip α (0<α≦1). С этой то чки зрения рассматриваются и др угие классы (например, \(W^r H^\omega ,\tilde W^r F\) ).     

On the approximation by de la Vallée Poussin sums and interpolatory polynomials in Lipschitz norms

ПустьM ^m,α - множество 2π-п ериодических функци йf с конечной нормой $$||f||_{p,m,\alpha } = \sum\limits_{k = 1}^m {||f^{(k)} ||_{_p } + \mathop {\sup }\limits_{h \ne 0} |h|^{ - \alpha } ||} f^{(m)} (o + h) - f^{(m)} (o)||_{p,} $$ где1 ≦ p ≦ ∞, 0≦α≦1. Рассмотр им средние Bалле Пуссе на $$(\sigma _{n,1} f)(x) = \frac{1}{\pi }\int\limits_0^{2x} {f(u)K_{n,1} (x - u)du} $$ и $$(L_{n,1} f)(x) = \frac{2}{{2n + 1}}\sum\limits_{k = 1}^{2n} {f(x_k )K_{n,1} } (x - x_k ),$$ де0≦l≦n и x _k=2kπ/(2n+1). В работе по лучены оценки для вел ичин \(||f - \sigma _{n,1} f||_{p,r,\beta } \) и $$||f - L_{n,1} f||_{p,r,\beta } (r + \beta \leqq m + \alpha ).$$      

On a certain class of infinitely divisible distributions

We characterize the class of distribution functions Φ(x), which are limits in the following sense: there exist a sequence of independent and equally distributed random variables {ξ _n }, numerical sequences {a _k }, {b _k } and natural numbers {n _k } such that $$\mathop {lim}\limits_{k \to \infty } Prob\left\{ {\frac{1}{{a_k }}\mathop {\Sigma }\limits_{k = 1}^{n_k } \xi _k - b_k< x} \right\} = \Phi (x)$$ and $$\mathop {\lim \inf }\limits_{k \to \infty } (n_k /n_{k + 1} ) > 0$$ .     

On exact boundary zero-controlability of two-dimensional Navier-Stokes equations

For two-dimensional Navier-Stokes equations defined in a bounded domain Ω and for an arbitrary initial vector field, we construct the boundary Dirichlet condition that is tangent to the boundary ?Ω of Ω and satisfies the property: the solutionυ(t, x) of the mentioned boundary-value problem equals zero at a certain finite time momentT. Moreover, $$\parallel x(t, \cdot )\parallel _{L_2 (\Omega )} \leqslant c\exp \left( {\tfrac{{ - k}}{{(T - t)^2 }}} \right)ast \to T,$$ wherec > 0,k > 0 constants.     

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

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.     

On absolute summation of Fourier series by subsequences

В работе изучается сл едующая задача. Пусть заданы числа 0<α≦1 и β<α. При каки х условиях на строго во зрастающую последов ательность натуральных чисел {n _k } _k ^t8 =1 для всех 2π-периодических функ ций \(f(x) \sim \sum\limits_{v = - \infty }^\infty {c_v e^{ivx} } \) , принадлежащих к лассу Lip α, равномерно пох будет выполнено неравенство $$\sum\limits_{k = 1}^\infty {|\sum\limits_{n_k \leqq |v|< n_{k + 1} } {c_v e^{ivx} } |n_k^\beta< \infty ?} $$ .