Some approximation theorems for modified Bernstein-Durrmeyer operators

The modified Bernstein-Durrmeyer operators discussed in this paper are given byM_nf≡M_n(f,x)=(n+2)P_(n,k)∫_0~1p_n+1.k(t)f(t)dt,whereWe will show,for 0<α<1 and 1≤p≤∞     

Multiple rational trigonometric sums and multiple integrals

We obtain an estimate of the modulus of a complete multiple rational trigonometric sum: $$\left| {\sum {_{x_{1, \ldots ,} x_r = 1^{\exp \left( {{{2\pi if\left( {x_{1, \ldots ,} x_r } \right)} \mathord{\left/ {\vphantom {{2\pi if\left( {x_{1, \ldots ,} x_r } \right)} q}} \right. \kern-\nulldelimiterspace} q}} \right)} }^q } } \right| \ll q^{{{r - 1} \mathord{\left/ {\vphantom {{r - 1} {n + \varepsilon }}} \right. \kern-\nulldelimiterspace} {n + \varepsilon }}} ,$$ where $$\begin{gathered} f\left( {x_{1, \ldots ,} x_r } \right) = \sum {_{0 \leqslant t_1 , \ldots ,t_r \leqslant n^a t_1 , \ldots ,t_r x_1^{t_1 } \ldots x_r^{t_r } ,} } \hfill \\ a_{0, \ldots ,0} = 0,\left( {a_{0, \ldots ,0,1} , \ldots ,a_{n, \ldots ,n,} q} \right) = 1 \hfill \\ \end{gathered} $$ , and an estimate of the modulus of a multiple trigonometric integral.     

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

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.     

Bang-bang property for Bolza problems in two dimensions

Consider the following Bolza problem: $$\begin{gathered} \min \int {h(x,u) dt,} \hfill \\ \dot x = F(x) + uG(x), \hfill \\ \left| u \right| \leqslant 1, x \in \Omega \subset \mathbb{R}^2 , \hfill \\ x(0) = x_0 , x(1) = x_1 . \hfill \\ \end{gathered} $$ We show that, under suitable assumptions onF, G, h, all optimal trajectories are bang-bang. The proof relies on a geometrical approach that works for every smooth two-dimensional manifold. As a corollary, we obtain existence results for nonconvex optimization problems.     

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π),-∞相似文献   

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

Best quadrature formulas on classes of differentiable periodic functions

A solution is given to the problem of finding the best quadrature formula among formulas of the form $$\int_0^{2\pi } {f(x)dx \approx \sum\nolimits_{k = 0}^{m - 1} {\sum\nolimits_{l = 0}^\rho {pk,l} f^{(l)} (x_k ),} } $$ which are exact in the case of a constant, for p = r ? 1, r = 1, 2, 3... and p = r ? 2, r even, for the classes W(r) LqM of 2π-periodic functions.     

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

On a relationship in the theory of Fourier series

In this paper we prove the validity of the inequality $$\begin{array}{*{20}c} {\sup } \\ n \\ \end{array} \int_{ - \pi }^\pi {\left| {\frac{{f(0)}}{2} + \sum\nolimits_{k = 1}^n f \left( {\frac{{k\pi }}{n}} \right)e^{ikt} } \right|} dt \leqslant C\sum\nolimits_{m = 0}^\infty {\left| {\int_0^\pi {f(t)e^{imt} dt} } \right|}$$ for an arbitrary continuous function (C is an absolute constant). An inequality in the opposite sense was obtained by one of us earlier.     

Finite difference method of first boundary problem for quasilinear parabolic systems (IV)

More work is done to study the explicit, weak and strong implicit difference solution for the first boundary problem of quasilinear parabolic system: $$\begin{gathered} u_t = ( - 1)^{M + 1} A(x,t,u, \cdots ,u_x M - 1)u_x 2M + f(x,t,u, \cdots u_x 2M - 1), \hfill \\ (x,t) \in Q_T = \left| {0< x< l,0< t \leqslant T} \right|, \hfill \\ u_x ^k (0,t) = u_x ^k (l,t) = 0 (k = 0,1, \cdots ,M - 1),0< t \leqslant T, \hfill \\ u(x,0) = \varphi (x),0 \leqslant x \leqslant l, \hfill \\ \end{gathered} $$ whereu, ?, andf arem-dimensional vector valued functions, A is anm×m positively definite matrix, and $u_t = \frac{{\partial u}}{{\partial t}},u_x ^k = \frac{{\partial ^k u}}{{\partial x^k }}$ . For this problem, the convergence of iteration for the general difference schemes is proved.     

Approximation of the function sign x in the uniform and integral metrics by means of rational functions

Estimates are obtained for the nonsymmetric deviations R_n [sign x] and R_n [sign x]_L of the function sign x from rational functions of degree ≤n, respectively, in the metric $$c([ - 1, - \delta ] \cup [\delta ,1]), 0< \delta< exp( - \alpha \surd \overline n ), \alpha > 0,$$ and in the metric L[?1, 1]: $$\begin{gathered} R_n [sign x] _{\frown }^\smile exp \{ - \pi ^2 n/(2 ln 1/\delta )\} , n \to \infty , \hfill \\ 10^{ - 3} n^{ - 2} \exp ( - 2\pi \surd \overline n )< R_n [sign x_{|L}< \exp ( - \pi \surd \overline {n/2} + 150). \hfill \\ \end{gathered} $$ Let 0 < δ < 1, Δ (δ)=[?1, ? δ] ∪ [δ, 1]; $$\begin{gathered} R_n [f;\Delta (\delta )] = R_n [f] = inf max |f(x) - R(x)|, \hfill \\ R_n [f;[ - 1,1] ]_L = R_n [f]_L = \mathop {inf}\limits_{R(x)} \smallint _{ - 1}^1 |f(x) - R(x)|dx, \hfill \\ \end{gathered} $$ where R(x) is a rational function of order at most n. Bulanov [1] proved that for δ ε [e^?n, e^?1] the inequality $$\exp \left( {\frac{{\pi ^2 n}}{{2\ln (1/\delta }}} \right) \leqslant R_n [sign x] \leqslant 30 exp\left( {\frac{{\pi ^2 n}}{{2\ln (1/\delta + 4 ln ln (e/\delta ) + 4}}} \right)$$ is valid. The lower estimate in this inequality was previously obtained by Gonchar ([2], cf. also [1]).     

Arithmetic properties of the values of a set of functions satisfying a system of differential equations

General results were presented in [2] and [3] concerning arithmetic properties of the values at algebraic points of a class of analytic functions satisfying linear differential equations. In the present note we consider the application of these results to the set of functions $$\begin{gathered} ^f (\alpha _k z) = \sum\nolimits_{n = 0}^\infty {\frac{{ \mu (\mu + 1)... (\mu + n - 1) }}{{\lambda (\lambda + 1)... (\lambda + n - 1)}}} (\alpha _k z)^n (k = 1,2,...,m,) \hfill \\ \lambda \ne 0, - 1, - 2,...), \hfill \\ \end{gathered}$$ where α₁, ..., α_m are algebraic numbers; λ and μ are rational numbers; and the functions satisfy a system of linear differential equations.     

An estimate of an incomplete linear form in several algebraic numbers

Letμ>m?1, letν be a rational number, and letω _k=b _k ^v , where b_k ≠ 0 are distinct numbers of an imaginary quadratic field K, which satisfy some additional conditions. Then $$\begin{gathered} |{}_1x_1 \omega _1 + ... + x_m \omega _m | > X^{ - \mu } , \hfill \\ X = \max |x_k | \geqslant X, > 0, \hfill \\ 1 \leqslant k \leqslant m \hfill \\ \end{gathered}$$ where x₁, ..., x_m are integers of the field K, and X₀ is an effective constant.     

On the integrability of radial basis functions

In this paper we investigate the integrability of certain radial basis functions. From the following forms of function σ, $$\varphi \left( r \right) = \left\{ \begin{gathered} \sum\limits_{k = 0}^{d + [a]} {c_k r^{a - k} + g(r) } r > A, \hfill \\ \sum\limits_{k = 0}^{d + [a]} {c_k r^{a - k} \ln r + g(r), } r > A. \hfill \\ \end{gathered} \right.$$ where A≧0 and $g \circ || \circ || \in L^1 \left( {R^d } \right)$ , we construct the function $$\psi (t) = \sum\limits_{j \in J} {a_j \varphi \left( {||t - t_j ||} \right),} $$ where J is a finite index set, $\left\{ {a_j } \right\}_{j \in J} \subseteq R$ and $\left\{ {t_j } \right\}_{j \in J} \subseteq R^d $ . We show that if $\hat \psi $ is continuous at the origin, the ψ is integrable in R^d.     

An asymptotic Cauchy problem for the Laplace equation

The Cauchy problem for the Laplace operator $$\sum\limits_{k = 1}^\infty {\frac{{\left| {\hat f(n_k )} \right|}}{k}} \leqslant const\left\| f \right\|1$$ is modified by replacing the Laplace equation by an asymptotic estimate of the form $$\begin{gathered} \Delta u(x,y) = 0, \hfill \\ u(x,0) = f(x),\frac{{\partial u}}{{\partial y}}(x,0) = g(x) \hfill \\ \end{gathered} $$ with a given majoranth, satisfyingh(+0)=0. Thisasymptotic Cauchy problem only requires that the Laplacian decay to zero at the initial submanifold. It turns out that this problem has a solution for smooth enough Cauchy dataf, g, and this smoothness is strictly controlled byh. This gives a new approach to the study of smooth function spaces and harmonic functions with growth restrictions. As an application, a Levinson-type normality theorem for harmonic functions is proved.     

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

Mean value theorem and a maximum principle for Kolmogorov's equation

For an equation of the form $$\begin{gathered} \frac{{\partial u}}{{\partial t}} - \sum\nolimits_{ij = 1}^n {{\text{ }}\alpha ^{ij} } \frac{{\partial ^2 u}}{{\partial x^i \partial x^j }} + \sum\nolimits_{ij = 1}^n {\beta _j^i x^i } \frac{{\partial u}}{{\partial x^i }} = 0, \hfill \\ {\text{ }}x \in R^n ,{\text{ }}t \in R^1 , \hfill \\ \end{gathered}$$ where α=(α^ij) is a constant nonnegative matrix andΒ=(Β _i ⁱ ) is a constant matrix, subject to certain conditions, we construct a fundamental solution, similar in its structure to the fundamental solution of the heat conduction equation; we prove a mean value theorem and show that u(x₀, t₀) can be represented in the form of the mean value of u(x, t) with a nonnegative density over a level surface of the fundamental solution of the adjoint equation passing through the point (x₀, t₀); finally, we prove a parabolic maximum principle.     

A new neighborhood union condition for Hamiltonian graphs

For a vertex set {u ₁,u ₂,...,u _k} of a graphG withn vertices, let $$\begin{gathered} s(G;\{ u_1 ,u_2 ,...,u_k \} ) = \sum {1 \leqslant i< j \leqslant k\left| {N(u_i ) \cup N(u_j )} \right|,} \hfill \\ NC_k = \min \{ s(G;\{ x_1 ,...,x_k \} )\} :\{ x_1 ,...,x_k \} is an independent set\} . \hfill \\ \end{gathered} $$ In this paper, we shall prove that ifG is 3-connected andNC ₄≥3n, thenG is either a hamiltonian or Petersen graph. This generalizes some results on the neighborhood union conditions for hamiltonian graphs.     

Certain linear differential operators and generalized differences

The solution of the problem of finding the quantity 1 $$|\vartriangle \mathop n\nolimits_{v_k }^{\sup } | \leqslant 1 1\begin{array}{*{20}c} {1nf} \\ {(k) = 1/_k } \\ {(k = 0, \pm 1. \pm 2, ...)} \\ \end{array} || /^{(n)} (x)||_C ( - \infty ,\infty )'$$ obtained by Subbotin, is extended to the case of formally self-adjoint differential operators with constant coefficients and corresponding generalized differences.