Asymptotic formula for the mean value of a multiple trigonometric sum

When k≥k₀=10 Mr²n log (rn) we have for the trigonometric integral $$J_n (k,P) = \int_E {|S(A)|^{2k} dA,} $$ where $$\begin{gathered} S(A) = \sum _{x_1 = 1}^P \cdots \sum _{x_r = 1}^P \exp (2\pi if_A (x_1 , \ldots ,x_r )), \hfill \\ f_A (x_1 , \ldots ,x_r ) = \sum _{t_1 = 0}^n \cdots \sum _{t_r = 0}^n \alpha _{t_1 \cdots l_r } x_1^{t_1 } \cdots x_{r^r }^t \hfill \\ \end{gathered} $$ and E is the M-dimensional unit cube, the asymptotic formula $$J_n (k,P) = \sigma \theta P^{2kr - rnM/2} + O(P^{2kr - rnM/2 - 1/(2M)} ) + O(P^{2kr - rnM/2 - 1/(500r^2 \log (rn))} ),$$ where σ is a singular series and θ is a singular integral.     

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

Estimate of a multiple sum involving the legendre symbol

Supposef(x₁,..., x_n) is a polynomial of even degree d having coefficients in the finite field k=[q] and satisfying certain natural conditions, and let χ be the quadratic character of k. Then $$\left| {\sum {x_1 , \ldots ,} x_n \in k\chi (f(x_1 , \ldots ,x_n ))} \right| \leqslant Cq^{{n \mathord{\left/ {\vphantom {n 2}} \right. \kern-\nulldelimiterspace} 2}} $$ where the constant C depends only on d and n.     

On the numerical integration of nonlinear initial value problems by linear multistep methods

We study the numerical solution of the nonlinear initial value problem $$\left\{ {\begin{array}{*{20}c} {{{du(t)} \mathord{\left/ {\vphantom {{du(t)} {dt}}} \right. \kern-\nulldelimiterspace} {dt}} + Au(t) = f(t),t > 0} \\ {u(0) = c,} \\ \end{array} } \right.$$ whereA is a nonlinear operator in a real Hilbert space. The problem is discretized using linear multistep methods, and we assume that their stability regions have nonempty interiors. We give sharp bounds for the global error by relating the stability region of the method to the monotonicity properties ofA. In particular we study the case whereAu is the gradient of a convex functional φ(u).     

Eventual uniform asymptotic stability for stochastic differential equation based on semimartingale with spatial parameter

Given a stochastic differential equation based on semimartingale with spatial parameter (1) $$\varphi _t = x_0 + \int_{t_0 }^t {F(\varphi _s ,ds) } on t \geqslant t_0 $$ and it perturbed system (2) $$\psi _t = x_0 + \int_{t_0 }^t {F\left( {\psi \alpha _s , ds} \right)} + \int_{t_0 }^t {G\left( {\psi _s , ds} \right)} on t \geqslant t_0 $$ In this paper we give some sufficient conditions under which the eventual uniform asymptotic stability of Eq. (1) is shared by Eq. (2).     

Metric results on the approximation of zero by linear combinations of independent and of dependent rationals

We give some “rational analoga” to metric results in the classical theory of the diophantine approximation of zero by linear forms. That is: we study the behaviour of expressions of the form $$\begin{gathered} \lim _{m \to \infty } \frac{1}{{\left| {P_s (m)} \right|}}|\{ (x_1 , \ldots ,x_s ) \in P_s (m): \hfill \\ \parallel a_1 \frac{{x_1 }}{m} + \ldots + a_s \frac{{x_s }}{m}\parallel _m \geqslant \psi (a_1 , \ldots ,a_s ,m) \hfill \\ for all - \frac{m}{2}< a_1 , \ldots ,a_s \leqslant \frac{m}{2}, \hfill \\ with (a_1 , \ldots ,a_s ) \ne (0, \ldots ,0)\} |, \hfill \\ \end{gathered} $$ whereP _s (m) is a certain subset of {1, …,m} ^s , ψ is a certain nonnegative function, and ‖ · ‖ _m means the maximum of 1/m and the distance to the nearest integer. Some of the investigations are also motivated by problems in the theory of uniform distribution and of pseudo-random number generation. The results partly depend on the validity of the generalized Riemann hypothesis.     

Some boundary-value problems for linear multidimensional second-order hyperbolic equations

For the linear hyperbolic equations $$\sum\limits_{i,j = 1}^{m + 1} {a_{ij} \left( {x,x_{m + 1} } \right)u_{x_i x_j } + \sum\limits_{i = 1}^{m + 1} {a_i \left( {x,x_{m + 1} } \right)u_{x_i } + c\left( {x,x_{m + 1} } \right)u = 0,x = \left( {x_1 ,...,x_m } \right)} ,} m \geqslant 2,$$ the correctness of multidimensional analogues of the problems of Darboux and Goursat is established and a theorem on the uniqueness of a solution of the Cauchy characteristic problem is proved.     

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

Difference schemes for one class of variational inequalities and fourth-order mixed boundary-value problem

A difference scheme is constructed for the solution of the variational equation $$\begin{gathered} a\left( {u, v} \right)---u \geqslant \left( {f, v---u} \right)\forall v \varepsilon K,K \{ vv \varepsilon W_2^2 \left( \Omega \right) \cap \mathop {W_2^1 \left( \Omega \right)}\limits^0 ,\frac{{\partial v}}{{\partial u}} \geqslant 0 a.e. on \Gamma \} ; \hfill \\ \Omega = \{ x = (x_1 ,x_2 ):0 \leqslant x_\alpha< l_\alpha ,\alpha = 1, 2\} \Gamma = \bar \Omega - \Omega ,a(u, v) = \hfill \\ = \int\limits_\Omega {\Delta u\Delta } vdx \equiv (\Delta u,\Delta v, \hfill \\ \end{gathered} $$ The following bound is obtained for this scheme: $$\left\| {y - u} \right\|_{W_2 \left( \omega \right)}^2 = 0(h^{(2k - 5)/4} )u \in W_2^k \left( \Omega \right),\left\| {y - u} \right\|_{W_2^2 \left( \omega \right)} = 0(h^{\min (k - 2;1,5)/2} ),u \in W_\infty ^k \left( \Omega \right) \cap W_2^3 \left( \Omega \right)$$ The following bounds are obtained for the mixed boundary-value problem: $$\begin{gathered} \left\| {y - u} \right\|_{W_2^2 \left( \omega \right)} = 0\left( {h^{\min \left( {k - 2;1,5} \right)} } \right),u \in W_\infty ^k \left( \Omega \right),\left\| {y - u} \right\|_{W_2^2 \left( \omega \right)} = 0\left( {h^{k - 2,5} } \right), \hfill \\ u \in W_2^k \left( \Omega \right),k \in \left[ {3,4} \right] \hfill \\ \end{gathered} $$ .     

Generalized Knopp identities for homogeneous Hardy sums and Cochrane-Hardy sums

Let q, h, a, b be integers with q > 0. The classical and the homogeneous Dedekind sums are defined by $$s(h,q) = \sum\limits_{j = 1}^q {\left( {\left( {{j \over q}} \right)} \right)\left( {\left( {{{hj} \over q}} \right)} \right),{\rm{ }}s(a,b,q) = \sum\limits_{j = 1}^q {\left( {\left( {{{aj} \over q}} \right)} \right)\left( {\left( {{{bj} \over q}} \right)} \right),} } $$ respectively, where $((x)) = \left\{ \begin{gathered} x - [x] - \tfrac{1} {2},if x is not an integer; \hfill \\ 0,if x is an integer. \hfill \\ \end{gathered} \right. $ The Knopp identities for the classical and the homogeneous Dedekind sum were the following: $$\sum\limits_{d|n} {\sum\limits_{r = 1}^d {s\left( {{n \over d}a + rq,dq} \right) = \sigma (n)s(a,q),} } $$ $$\sum\limits_{d|n} {\sum\limits_{{r_1} = 1}^d {\sum\limits_{{r_2} = 1}^d s \left( {{n \over d}a + {r_1}q,{n \over d}b + {r_2}q,dq} \right) = n\sigma (n)s(a,b,q),} } $$ where σ(n) =Σ _d|n d. In this paper generalized homogeneous Hardy sums and Cochrane-Hardy sums are defined, and their arithmetic properties are studied. Generalized Knopp identities for homogeneous Hardy sums and Cochrane-Hardy sums are given.     

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

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 a system of second order differential equations with periodic impulse coefficients

A thorough investigation of the systemd~2y(x):dx~2 p(x)y(x)=0with periodic impulse coefficientsp(x)={1,0≤xx_0>0) -η, x_0≤x<2π(η>0)p(x)=p(x 2π),-∞相似文献   

Mean value of weyl sums

We give a simple proof of a mean value theorem of I. M. Vinogradov in the following form. Suppose P, n, k, τ are integers, P≥1, n≥2, k≥n (τ+1), τ≥0. Put $$J_{k,n} (P) = \int_0^1 \cdots \int_0^1 {\left| {\sum\nolimits_{x = 1}^P {e^{2\pi i(a_1 x + \cdots + a_n x^n )} } } \right|^{2k} da_1 \ldots da_n .} $$ Then $$J_{k,n} \leqslant n!k^{2n\tau } n^{\sigma n^2 u} \cdot 2^{2n^2 \tau } P^{2k - \Delta } ,$$ where $$\begin{gathered} u = u_\tau = min(n + 1,\tau ), \hfill \\ \Delta = \Delta _\tau = n(n + 1)/2 - (1 - 1/n)^{\tau + 1} n^2 /2. \hfill \\ \end{gathered} $$      

Wave recursive interpolation

In this paper it is studied that the generated theory of wave recursive interpolation of uniform T-subdivi-ston scheme include wave parameter.The paper analyses the convergence of sequences of control polygons produced by wave recursive interpolation T-subdivision scheme of the formj=l,2,…,T-1;m=O,l,…,nTk;k=0,l,2,…,and differentiability of the limit curve.     

Eine Bemerkung über die Werte der Funktion σ (n)

By means of the Hoheisel—Montgomery prime number theorem it is shown that for every α≥1 the inequality $$|(\sigma (n)/n) - \alpha | \leqslant {1 \mathord{\left/ {\vphantom {1 {n^{({2 \mathord{\left/ {\vphantom {2 5}} \right. \kern-\nulldelimiterspace} 5}) - \varepsilon } }}} \right. \kern-\nulldelimiterspace} {n^{({2 \mathord{\left/ {\vphantom {2 5}} \right. \kern-\nulldelimiterspace} 5}) - \varepsilon } }}(\varepsilon > 0,\sigma (n) = \sum\limits_{d/n} d )$$ has infinitely many solutionsn∈N. It is highly probable that the exponent 2/5 can be replaced by 1.     

Lipschitz and darbo conditions for the superposition operator in some non-ideal spaces of smooth functions

Let X be a Banach space of differentiable functions and A: XX be a superposition operator. We consider for A the conditions

On the average number of direct factors of a finite Abelian group

Let \(T(x) = \sum\limits_{ord(G) \leqq x} {t(G),} \) , wheret(G) define the number of direct factors of a finite Abelian group.E. Krätzel ([5]) defined a remainderΔ ₁(x) in the asymptotic ofT(x) and proved $$\Delta _1 (x)<< x^{{5 \mathord{\left/ {\vphantom {5 {12}}} \right. \kern-\nulldelimiterspace} {12}}} \log ^4 x.$$ Using two different methods to estimate a special three-dimensional exponential sum we get the better results $$\Delta _1 (x)<< x^{{{282} \mathord{\left/ {\vphantom {{282} {683}}} \right. \kern-\nulldelimiterspace} {683}}} \log ^4 x$$ and $$\Delta _1 (x)<< x^{{{45} \mathord{\left/ {\vphantom {{45} {109}}} \right. \kern-\nulldelimiterspace} {109}} + \varepsilon } (\varepsilon > 0).$$