Simultaneouse approximation to a differentiable function and its derivatives by Lagrange interpolating polynomials

This paper establishes the following pointwise result for simultancous Lagrange imterpolating approxima-tion:then|f~(k)(x)-P_n~(k)(f,x)|=O(1)△_n~(q-k)(x)ωwhere P_n(f,x)is the Lagrange interpolating potynomial of deereeon the nodesX_nUY_n(see the definition of the next).     

Synchronization theory for forced oscillations in second-order systems

We consider differential equations of the form $$\ddot x + \in f(x,\dot x) + x = \in u$$ , where ε >0 is supposed to be small. For piecewise continuous controlsu(t), satisfying |u(t)| ≤ 1, we present sufficient conditions for the existence of 2π-periodic solutions with a given amplitude. We present a method for determining the limiting behavior of controlsū _ε for which the equation has a 2π-periodic solution with a maximum amplitude and for determining the limit of this maximum amplitude as ε tends to zero. The results are applied to the linear system \(\ddot x + \in \dot x + x = \in u\) , the Duffing equation \(\ddot x + \in (x - 1)\dot x + x = \in u\) , and the Van der Pol equation \(\ddot x + \in (x^2 - 1)\dot x + x = \in u\) .     

BOUNDARY VALUE PROBLEMS OF SINGULARLY PERTURBED INTEGRO－DIFFERENTIAL EQUATIONS

ＢＯＵＮＤＡＲＹＶＡＬＵＥＰＲＯＢＬＥＭＳＯＦＳＩＮＧＵＬＡＲＬＹＰＥＲＴＵＲＢＥＤＩＮＴＥＧＲＯ－ＤＩＦＦＥＲＥＮＴＩＡＬＥＱＵＡＴＩＯＮＳＺＨＯＵＱＩＮＤＥＭＩＡＯＳＨＵＭＥＩ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ,ＪｉｌｉｎＵｎｉｖｅ...     

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 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 orthogonal polynomials

Пустьw(х)∈L[-1, +1] — неотрица тельная функция така я, что $$\frac{{\log ^ + \frac{1}{{w(x)}}}}{{\sqrt {1 - x^2 } }} \in L[ - 1, + 1]$$ и пусть {(р _n (х)} — много члены, ортогональные и нормированные с весо мw(x). Мы доказываем следующие две теорем ы, являющиеся обобщен ием одного известного результа та Н. Винера. I. Для каждого δ, 0<δ<1, суще ствует числоB=B(δ, w) тако е, что если $$f_N (x) = \sum\limits_{j = 1}^N {a_j p_{v_j } (x)} $$ причем выполнено сле дующее условие лакун арности $$\begin{gathered} v_{j + 1} - v_j \geqq B(\delta ,w) (j = 1,2,...,N - 1), \hfill \\ v_1 \geqq B(\delta ,w) \hfill \\ \end{gathered} $$ , то для некоторого С(δ, w) и всехh и δ, для которых $$ - 1 \leqq h - \delta< h + \delta \leqq + 1$$ , имеет место неравенс тво $$\int\limits_{ - 1}^1 {|f_N (x)|^2 w(x)dx \leqq C(\delta ,w)} \int\limits_{h - \delta }^{h + \delta } {|f_N (x)|^2 w(x)dx} $$ каковы бы ни былиa _j ,N и h. II. Если формальный ряд $$\sum\limits_{j = 1}^\infty {b_j p_{\mu _j } (x)} $$ удовлетворяет услов ию лакунарности μ_j+1-μ_j→∞ и суммируем, например, м етодом Абеля на произвольно малом отрезке [а, Ь] ?[0,1] к ф ункцииf(x) такой, что \(f(x)\sqrt {w(x)} \in L_2 [a,b]\) , то $$\sum\limits_j {|b_j |^2< \infty } $$ Теорема I — это первый ш аг в направлении проб лемы типа Мюнтца-Саса о замкнут ости подпоследовательно сти pv_j(x)} последовател ьности {р_n(х)} на отрезке [а, Ь] в метрике С[а, Ь] (см. теорему II стать и).     

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.     

The stability of RDDE\ddot x(t) + p_1 (t)\dot x(t) + q_1 (t)x(t) + p_2 (t)\dot x(t - r(t)) + q_2 (t)x(t - r(t)) = O

In this paper, the author considered the stability of zero solution of linear RDDE $$\begin{gathered} \ddot x(t) + p_1 (t)\dot x(t) + q_1 (t)x(t) + p_2 (t)\dot x(t - r(t)) + q_2 (t)x(t - r(t)) = O, \hfill \\ \ddot x(t) + p_1 (t)\dot x(t) + q_1 (t)x(t) + p_2 (t)\dot x(t - r(t)) = O \hfill \\ \end{gathered} $$ using Liapunov-Razumikhin functional and transformations and obtained some sufficient conditions for the stability of Eqs.(1) and (2). These results are suitable both for boundedp _i (t),q _i (t) andr(t).i=1,2.     

On the permutability of Backlund transformations

Let(?)=B_ηu:2(q-(?))+(⊿((?)-2q))+(2q_x+(?)_x))η=0,2(r-(?)+(⊿(2(?)-r)+(r_x+2(?)_x))η=0,u=(q,r)~Tbe the Backlund transformation (BT) of the hierarchy of AKNS equations,where η is a parameterand Δ=integral from -∞ to x (qr-(?))dx′.It is shown in this paper the infinitesimal BT B_(η+ε)B_η~(-1) admits thefollowing expansionB_(η+ε)B_η~(-1)u=u+εsum from n=0 to ∞ β_n(JL~(n+1)u)η~n,β_n=1+(-1)~n2~(-n-1),where L is the recurrence operator of the hierarchy and ε is an infinitesimal parameter.Thisexpansion implies the equivalence between the permutabiliy of BTs and the involution in pairs ofconserved densities.     

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.     

Kolmogorov-type inequalities and the best formulas for numerical differentiation

For a certain class of complex-valued functionsf(x), ?∞ $$u_N = \mathop {\inf }\limits_{\parallel A\parallel \leqslant N_\parallel f^{(n)} \parallel _{L_2 \leqslant } 1} \parallel f^{(k)} - A(f)\parallel C$$ of a differential operator by linear operators A with the norm ∥A∥ _L2 ^C ≤N,N,>0. Using the value u_N, the smallest constant Q in the inequality $$\parallel f^{(k)} \parallel _Q \leqslant Q\parallel f\parallel _{L_2 }^\alpha \parallel f^{(n)} \parallel _{L_2 }^\beta $$ is found.     

Gamma-convergence of nonlocal perimeter functionals

Given ${\Omega\subset\mathbb{R}^{n}}$ open, connected and with Lipschitz boundary, and ${s\in (0, 1)}$ , we consider the functional $$\mathcal{J}_s(E,\Omega)\,=\, \int_{E\cap \Omega}\int_{E^c\cap\Omega}\frac{dxdy}{|x-y|^{n+s}}+\int_{E\cap \Omega}\int_{E^c\cap \Omega^c}\frac{dxdy}{|x-y|^{n+s}}\,+ \int_{E\cap \Omega^c}\int_{E^c\cap \Omega}\frac{dxdy}{|x-y|^{n+s}},$$ where ${E\subset\mathbb{R}^{n}}$ is an arbitrary measurable set. We prove that the functionals ${(1-s)\mathcal{J}_s(\cdot, \Omega)}$ are equi-coercive in ${L^1_{\rm loc}(\Omega)}$ as ${s\uparrow 1}$ and that $$\Gamma-\lim_{s\uparrow 1}(1-s)\mathcal{J}_s(E,\Omega)=\omega_{n-1}P(E,\Omega),\quad \text{for every }E\subset\mathbb{R}^{n}\,{\rm measurable}$$ where P(E, ??) denotes the perimeter of E in ?? in the sense of De Giorgi. We also prove that as ${s\uparrow 1}$ limit points of local minimizers of ${(1-s)\mathcal{J}_s(\cdot,\Omega)}$ are local minimizers of P(·, ??).     

On a cyclic disconjugate operator associated to linear differential equations

In this paper the disconjugate linear differential operator of n-th order D^1/(n) given by $$D_1^{(n)} (x)(t) = \frac{1}{{a_n (t)}}\frac{d}{{dt}}\frac{1}{{a_{n - 1} (t)}} \ldots \frac{1}{{a_1 (t)}}\frac{d}{{dt}}x(t)$$ is considered together with other n?1 operators, which are obtained from D ₁ ⁽ⁿ⁾ by an ordered cyclic permutation of the functions a_i. Such operators play an important role in the study of oscillation of the associated linear differential equation (*) $$D_1^{(n)} (x)(t) \pm x(t) = 0.$$ Some properties of these operators suggest the new idea of «isomorphism of oscillation». The existence of an isomorphism of oscillation allows to describe the oscillatory or nonoscillatory behavior of solutions of (*) by the oscillatory or nonoscillatory behavior of solutions of other n ?1 suitable linear differential equations. From this fact one can easily obtain new results about oscillation or nonoscillation of (*) that might be hard to prove directly. Several interesting consequences concerning the classification of solutions of (*) are also presented together with some new applications to the structure of the set of nonoscillatory solutions of (*).     

Two inequalities for pseudo-differential operators

Изучается ограничен ность псевдодиффере нциальных операторов на \(L^2 (R^n )\) и на пр остранствах Харди в \(R^n \) . Пусть \(D_k = \{ \xi \in R^n :2^{k - 1} \leqq \left| \xi \right|< 2^k \} , k = 1,2,3, \ldots ,\) и \(D_0 = \{ \xi \in R^n :\left| \xi \right|< 1\} \) . Псевдодиффер енциальный операторP с символом p определяется соотно шением $$Pf(x) = \int\limits_{R^n } {e^{ix \cdot \xi } p(x,\xi )\hat f(\xi )d\xi ,x \in R^n .} $$ Будем говорить, что p пр инадлежит классу \(\bar S_{\varrho ,} {}_\delta (M,N), 0 \leqq \delta ,\varrho \leqq 1\) , ес ли $$\left| {D_x^a p(x,\xi )} \right| \leqq C_a (1 + \left| \xi \right|)^{\delta \left| a \right|} , x,\xi \in R^n ,\left| a \right| \leqq M,$$ и $$\int\limits_{D_k } {\left| {D_x^a D_\xi ^\beta p(x,\xi )} \right|d\xi \leqq C_{a\beta } 2^{kn} 2^{k(\delta |a| - \varrho |\beta |)} , x} \in R^n , k = 0,1,2, \ldots ;|a| \leqq M, |\beta | \leqq N.$$ Изучаются условия, ко торым должны удовлет ворять ?. δ,M иN, чтобы для каждого символа \(p \in \bar S_\varrho , {}_\delta (M,N)\) соответствующий оп ераторP был ограниче н на \(L^2 (R^n )\) . Далее, пусть \(p \in S_\varrho , {}_\delta \) , если дл я всех мультииндексо в а и β выполнено условие $$|D_x^a D_\xi ^\beta p(x,\xi )| \leqq C_{a\beta } (1 + |\xi |)^{\delta |\alpha | - \varrho |\beta |} , x,\xi \in R^n .$$ Доказывается, что при 0≦δ<1 операторP отображ ает пространство Харди \(H^p (R^n )\) в локальное пространство Харди ? ^p , если символp принадл ежит классуS ₁, δ.     

Averaged Pointwise Bounds for Deformations of Schrödinger Eigenfunctions

Let (M,g) be an n-dimensional, compact Riemannian manifold and ${P_0(\hbar) = -\hbar{^2} \Delta_g + V(x)}$ be a semiclassical Schrödinger operator with ${\hbar \in (0,\hbar_0]}$ . Let ${E(\hbar) \in [E-o(1),E+o(1)]}$ and ${(\phi_{\hbar})_{\hbar \in (0,\hbar_0]}}$ be a family of L ²-normalized eigenfunctions of ${P_0(\hbar)}$ with ${P_0(\hbar) \phi_{\hbar} = E(\hbar) \phi_{\hbar}}$ . We consider magnetic deformations of ${P_0(\hbar)}$ of the form ${P_u(\hbar) = - \Delta_{\omega_u}(\hbar) + V(x)}$ , where ${\Delta_{\omega_u}(\hbar) = (\hbar d + i \omega_u(x))^*({\hbar}d + i \omega_u(x))}$ . Here, u is a k-dimensional parameter running over ${B^k(\epsilon)}$ (the ball of radius ${\epsilon}$ ), and the family of the magnetic potentials ${(w_u)_{u\in B^k(\epsilon)}}$ satisfies the admissibility condition given in Definition 1.1. This condition implies that k ≥ n and is generic under this assumption. Consider the corresponding family of deformations of ${(\phi_{\hbar})_{\hbar \in (0, \hbar_0]}}$ , given by ${(\phi^u_{\hbar})_{\hbar \in(0, \hbar_0]}}$ , where $$\phi_{\hbar}^{(u)}:= {\rm e}^{-it_0 P_u(\hbar)/\hbar}\phi_{\hbar}$$ for ${|t_0|\in (0,\epsilon)}$ ; the latter functions are themselves eigenfunctions of the ${\hbar}$ -elliptic operators ${Q_u(\hbar): ={\rm e}^{-it_0P_u(\hbar)/\hbar} P_0(\hbar) {\rm e}^{it_0 P_u(\hbar)/\hbar}}$ with eigenvalue ${E(\hbar)}$ and ${Q_0(\hbar) = P_{0}(\hbar)}$ . Our main result, Theorem1.2, states that for ${\epsilon >0 }$ small, there are constants ${C_j=C_j(M,V,\omega,\epsilon) > 0}$ with j = 1,2 such that $$C_{1}\leq \int\limits_{\mathcal{B}^k(\epsilon)} |\phi_{\hbar}^{(u)}(x)|^2 \, {\rm d}u \leq C_{2}$$ , uniformly for ${x \in M}$ and ${\hbar \in (0,h_0]}$ . We also give an application to eigenfunction restriction bounds in Theorem 1.3.     

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≤∞     

Characterization of the Bernoulli-polynomials,exp andΨ by Nörlund's multiplication formula

The system of functional equations $$\forall p\varepsilon N_ + \forall (x,y)\varepsilon D:f(x,y) = \frac{1}{p}\sum\limits_{k = 0}^{p - 1} {f(x + ky,py)}$$ is suited to characterize the functions $$(x,y) \mapsto y^m B_m \left( {\frac{x}{y}} \right),m\varepsilon N,$$ B _m means them-th Bernoulli-polynomial, $$(x,y) \mapsto \exp (x)y(\exp (y) - 1)^{ - 1}$$ (for these functionsD =R ×R ₊) and $$(x,y) \mapsto \log y + \Psi \left( {\frac{x}{y}} \right)(D = R_ + \times R_ + )$$ as those continuous solutions of this system which allow a certain separation of variables and take on some prescribed function values.     

New Orlicz variants of Hardy type inequalities with power, power-logarithmic, and power-exponential weights

We obtain Hardy type inequalities $$\int_0^\infty {M\left( {\omega \left( r \right)\left| {u\left( r \right)} \right|} \right)\rho \left( r \right)dr} \leqslant C_1 \int_0^\infty {M\left( {\left| {u\left( r \right)} \right|} \right)\rho \left( r \right)dr + C_2 \int_0^\infty {M\left( {\left| {u'\left( r \right)} \right|} \right)\rho \left( r \right)dr,} }$$ and their Orlicz-norm counterparts $$\left\| {\omega u} \right\|_{L^M (\mathbb{R}_ + ,\rho )} \leqslant \tilde C_1 \left\| u \right\|_{L^M (\mathbb{R}_ + ,\rho )} + \tilde C_2 \left\| {u'} \right\|_{L^M (\mathbb{R}_ + ,\rho )} ,$$ with an N-function M, power, power-logarithmic and power-exponential weights ??, ??, holding on suitable dilation invariant supersets of C ₀ ^?? (?₊). Maximal sets of admissible functions u are described. This paper is based on authors?? earlier abstract results and applies them to particular classes of weights.