关于Hasson的一个定理的推广

§1 引言记C_([-1,1])是[-1,1]上的连续函数全体,C_(2π)是具有2π周期的连续函数类,本文有时将C_([-1,1])写为L_([-1,1])~∞,C_(2π)。写为L_(2π)~∞,L_([-1.1])~p是[-1,1]上的p次幂可积函数全体,L_(2π)~p是有2π周期的p次幂可积函数类,[a,b]区间上X尺度下的范数写作‖·‖x[a,b]·以下的记号也是熟知的: E_n(f)_p,是[-1,1)上n次代数多项式在L~p尺度下对,f(x)∈L_([-1.1])~p的最佳通近; E_n~·(f)_p,是n阶三角多项式在L~p尺度下对,f(x)∈L_2π~p的最佳通近; W_k(f)_p是f(x)在L~p尺度下的k阶光滑模。     

关于M.Hasson定理在L~1尺度下的推广

本文采用下述记号与定义:以 C_〔-1,1〕表示[-1,1]上连续函数的全体,L[-1,1]是[-1,1]上 Lebesgue 可积的函数类,对于周期函数,类似地定义函数类 C_(2x),L_(2x)‖·‖[a,b]=(?)|·|,‖·‖_L〔a,b〕=integral from a to b|·|dx.对,f∈C_〔-1,1〕或 f∈L〔-1,1〕,记 E_n(f)或 E_n(f)_L 为[-1,1]上 n 次代数多项式在给     

近乎Hermite-Fejér插值多项式之逼近

§1引言 设C_[-1.1]是[-1,1]上连续函数之全体,C_[-1,1]~1是C_[-1,1]中连续可微函数所成之子集.对于,f∈C_[-1,1],记‖f‖为共上界范数,ω(f,δ)为共连续性模.设,J_(x)是阶为(1/2,-1/2)的n次Jacobi多项式,即     

L_1中Jackson型不等式中的精确常数

§1.前言设L_p[0,2π]=:L_p,1≤p<∞表示定义在[0,2π]上p次可积的函数空间,L_p~r(r=0,1,…,L_p~o=L_p)表示f~((r-1)在[0,2π]上绝对连续且f~((r))∈L_p的函数的全体,C_([0,2π])~r=:C(r=0,1,…,C~o=C)表示定义在[0,2π]上r次连续可微的函数空间.L_p~r,C~r分别表示L_p~r及C~r中可以以2π为周期延拓的子集.记 W_p~r={f:f∈L_p~r,||f~((r))||_p≤1},(1.1)W_p~r表示相应的2π周期的函数类.设N为L_p中的函数集,量 E(f,N)_p=inf{||f-u||_p,u∈N} (1.2)称为f在L_p尺度下的最佳逼近.量     

高阶可微函数的共单调逼近

1 引言设f(x)∈C[-1,1]是分段单调函数,若要求逼近f(x)的多项式pn(x)也是分段单调的,且在每一分段上,f(x)与pn(x)具有相同的单调性,则称这种形式的逼近为共单调逼近,记En(f)=inf{‖f(x)-pn(x)‖|pn(x)∈πn,pn(x)在[-1,1]上与f(x)共单调},其     

关于R.WHITLEY定理

以‖·‖(?)表示〔-1,1〕上的 L_p 范数,1≤p≤∝,‖·‖_p=(?)|·|~p dx,0相似文献   

Lp[-1,1](1＜p＜∞)空间多项式的倒数逼近的一个推广

本文讨论了Lp[-1,1](1＜p＜∞)空间函数在区间(-1,1)内一次变号下的多项式的倒数逼近问题,并证明了如下结论设f(x)∈Lp[-1,1],1＜p＜∞,且在(-1,1)内一次变号,则存在有理函数r(x)∈R1n,使得‖f(x)-r(x)‖Lp[-1,1]≤Cpω(f,n-1)Lp[-1,1],其中R1n表示分母是n次多项式,分子是线性函数的有理函数的全体.     

关于等角写像的边界性质

<正> 一个函数f(x)在[a,b]上定义,我们记 f(x)∈H_x~a(0<α≤1),表示f(x)是满足α级 Lipschitz-H(?)lder 条件的函数,下标表示所涉及的自变量,而f(x)∈H_x~(1-0表示f(x)之连续模满足条件ω(δ,f)≤kδ|log δ|,(k为常数).我们记(?)是其连续模满足条件     

On the Simultaneous Approximation in Lp-norm

Let C_[-1,1]~(N) be the class of N-th continuously differentiable functions on [-1,1], denote by L_(p[-1,1]) the class of L_p-integrable functions on [-1,1], E_n(f)_p is thebest approximation of f∈L_(p[-1,1]) by nth algebraic polynomials, and C(·) is a positive constant only depending upon the quantities in the brackets. In Theorem 1, the condition that f(x)∈C_([-1,1])~((N-1)), f~((N-1))(x) is absolutely continuous, and f~((N))(x)∈L_(p[-1,1]) for N=O equals that f(x)∈L_(p[-1,1]).     

Hermite-Fejér插值算子的一个渐近估计式

设f(x)在[-1,1]上的二阶导数存在且有界,H_n[f(t);x]、R_n[f(t);x]分别为具有第一类、第二类零点的Hermite-Fejér插值多项式,则当n→∞时,有 H_n[f(t);x]-f(x)=O(1/n)(-1相似文献   

基于第二类Chebyshev多项式零点的Pal-型插值多项式的逼近

设{x_k}_(k-0)~n是n 1次多项式U_n(x)=(1-x~2)U_n(x)的零点,其中U_n(x)是第二类Chebyshev多项式。设是的零点。根据Pal的插值理论,对函数f∈C~1[-1,1],存在唯一的2n 1次多项式满足条件: 本文研究用Pal型插值多项式对函数f∈C~r[-1,1](r≥1)和它的导函数的逼近。     

关于Bernstein-Kantorovi多项式在L_P[0,1]空间中的逼近阶

§1.引 言 对于1≤p<∞,以L_p[a,b]表示适合||f||L_p[a,b]={ |f(x)|~pdx}~(1/p)<∞的f全体。记L_∞[a,b]≡C[a,b],||f||L_∞[a,b]=max|f(x)|. 若a=0.b=1,简记||f||L_p[0,1]=||f||L_p·又设 B_p={g:g(x),g’(x),x(1一x)g’(x)∈L_p[0、1]; x(1-x)g’(x)|x=0,1=0},     

三次Hermite样条的误差界

设 H(x)是函数 f(x)在区间[a,b]上关于分划的三次Hermite样条.当f∈C~r[a,b](r=1,2,3,4)时,[1]曾给误差e(x)=f(x)-H(x)以如下的估计:     

任意端点条件下样条的渐近展开

§1.引言 对样条函数的渐近展开,当f(x)∈C~r(R)或f(x)为周期函数时,已得到了完善的结果,见[1—2].另外,[5]—[7]也做过这方面的工作.在[9]中,讨论了[0,1]上三次作条在某种端点条件下的展开,但仅得到了一项展开,且方法不易推广。[8]在[2]的基础上     

关于Hermite-Fejér型算子

§1.引言 设ω(t)是给定的连续模,H_ω={f;ω(f,t)≤ω(t)}。P_n~(α,β)(x)(α,β>-1)表示n阶Jacobi多项式;P_n(x)=P_n~(0,0)(x)为Legendre多项式。 定义1 (见[1,555页])设{x_κ~((n))}_(κ=1)~n(n=1,2,…)为属于区间[-1,1]的节点系。     

完全图全符号控制数的较小上界和下确界

设图G=G(V,E),令函数f∶V∪E→{-1,1},f的权w(f)=∑x∈V∪Ef[x],对V∪E中任一元素,定义f[x]=∑y∈NT[x]f(y),这里NT[x]表示V∪E中x及其关联边、邻点的集合.图G的全符号控制函数为f∶V∪E→{-1,1},满足对所有的x∈V∪E有f[x]1,图G的全符号控制数γT(G)就是图G上全符号控制数的最小权,称其f为图G的γT-函数.本文得到了完全图全符号控制数的一个较小上界和下确界.     

L_([-1,1])~p(1

梅雪峰  周颂平 《数学年刊A辑(中文版)》2004,(1)

关于一类插值样条的讨论

对于区间[-1,1]的分划 (1) 令及。记V~3={f:integral from n=-1 to 1 (|df~(3)(x)|<+∞}。设f∈V~3,s∈C~1[-1,1],s在每个(x_(i-1),x_i)(i=1,2,…,n)上都是二次多项式,且s′(0)=f′(0)及s(x_i)=f(x_i)(i=0,1,…,n)。又记R=f-s。最近[1](178页定理2.2)证有     

模糊数非单调变换下的结构元表示

在模糊数的结构元表示B~=f(E)中,要求f(x)在[-1,1]上单调,将f(x)扩展为[-1,1]上的连续函数,在证明f(E)是有界模糊数的基础上,给出了相应模糊数的隶属函数表达形式。由于单调性质在模糊数的运算表示中具有重要作用,还得出非单调连续函数f(x)的E-等价函数概念,并给出了E-等价函数的求法。对于算例,用结构元理论是无法求解的,用本文的方法给出解答。     

富里埃级数负阶蔡查罗平均对一类函数的均匀逼近

<正> 设f∈C_(2π).记σ_n~(-β)(x)≡σ_n~(-β)(f,x)(β<1)为f的富里埃级数在点x的(C,-β平均(参见[4]81页).又记(参见[3]106页) Lip(a,p)={f∈C_(2π):ω(f,t)_(L_p)≤t~a}(0相似文献