用多項式B_n(X)-(1/2n)X(1-X)B″_n(X)逼近函數f(X)的渐近形式

我们知道:如果函数f(x)在闭区间[0,1]上连续,则其别恩斯坦多项式: Bn(x)= f(k/n)c_n~kx~k(1-x)~(n-k) (1) 在[0,1]上一致收歛于f(x)。若f(x)在[0,1]上有连续的二阶导数f″(x),则由瓦隆诺夫斯卡娅定理,     

Banach空间ψ-直和的k严格凸性与Banach-Saks性质

通过研究Banach空间ψ-直和的k严格凸性及Banach-Saks性质,证明了若X,Y分别是k严格凸与l严格凸的Banach空间,则XψY是k+l-1严格凸的(其中ψ∈Ψ是[0,1]上的严格凸函数),并将该结果推广到有限个Banach空间的ψ-直和.另外证明了XψY具BSP当且仅当X,Y具BSP.     

关于单调逼近和凸逼近的一些注记

本文指出了对于任意的正整数m,如果f(x)在[0,1]上有非负的连续导数,则存在着导数为非负的n阶代数多项式Pn(x),使得||f(x)-pn(x)||≤Cmn~(-1) ωm(f′,n~(-1)),我们还证明了:如果凸函数f(x)具有f(3)(x)∈C[0,1],且f(3)(x)非负(或非正),则存在着凸的n阶代数多项式Pn(x),使得||f(x)-pn(x)||≤Cn(-3)||f(3)(x)||。     

非连续Sturm-Liouville算子的谱分布及其逆特征值问题

研究了定义在[0,1]区间且在点t0∈(0,1)具有界面条件的Sturm-Liouville算子的特征值与定义在子区间[0,t0]与[t0,1]上的两个Sturum-Liouville算子的特征值分布及其逆特征值问题.利用Weyl-Titchmarsh-m-函数的单调性态,证明了这三组谱之间具有交错性关系,并证明了若子区间上的两组谱不相交,则可由这三组谱唯一确定势函数q(x)与边值条件中的参数h和H.     

严格不变拟单调性

本文对严格拟单调进行推广,定义了严格不变拟单调:设K为Rn中的不变凸集,η:Rn×Rn→Rn,如果f是不变拟单调的,且对x,y∈K,x≠y,存在z∈{y λη(x,y):λ∈(0,1)},使得η(x,y)Tf(z)≠0,则称f为集合K上相对于η的严格不变拟单调映射.并建立了严格不变拟单调与严格预拟不变凸之间的关系:设K为Rn中的不变凸集,f是K上的可微函数,η:Rn×Rn→Rn,如果η满足文中所述条件1,则f是集合K上相对于η的严格预拟不变凸函数的充分必要条件是f是集合K上相对于η的严格不变拟单调,且对所有x,y∈K,有f(y)≤f(x)f(y η(x,y))≤f(x)成立.     

限制范围的广义多项式插值

文中讨论了C[0,1]中某类锯齿型函数限制范围的广义多项式插值,给出了存在性定,理推广了文[2]的结果。     

一类对称插值样条和严格凸插值样条

文[1]给出一类C~2连续保凸的插值样条曲线,本文在此基础上进一步讨论(1)当插值多边形为保凸对称时,构造形状对称的C~2连续且保凸的插值样条曲线。(2)当插值多边形严格凸时,构造C~2连续且严格凸的插值样条曲线。     

与Lebesgue测度有关的紧凸集的超空间的拓扑结构

本文主要证明了欧氏平面上,面积不超过某给定正数的紧凸集全体,赋予Hausdorff度量拓扑构成的超空间,是一个AR;还证明了[0,1]×[0,1]中,Lebesgue测度不超过某正数m_0(m_01)的紧凸集全体同胚于Hilbert方体Q=[-1,1]~ω.     

路连通空间与弧连通空间

借助于[0,1]区间中的两两不相交的开集的无穷序列的重新排列,证明了[0,1]区间中的两个康托集之间存在着保序的同胚。分析了Hausdorff空间X中的任意一条路f:[0,1]→X的结构。通过回归时段常值化,将f改造为一条不含有回归时段的路h:[0,1]→X。特别是,通过在严格单调时段中增添无穷多个停滞时段,通过将[0,1]区间中的一个康托集更换为一个勒贝格测度处处大于0的康托集,通过将无穷多个停滞时段切除,进一步将只含有停滞时段而不含有回归时段的路h:[0,1]→X改造为一个连续的单射,从而证明了每一个路连通的Hausdorff空间都是一个弧连通空间。     

样条插值的一致收敛性

设 是区间[0,1]的一列分划;sp(3,△R)是对于分划△R 的三次样条函数空间,即若s(x),则s (x)i=0,1,…,NR-1;且 s(x)[0,1].记 对干连续函数[0,1] ,在sp(3,△k)中构造它的插值样条s(x),常见的三种,即三次周期型插值样条(若f(0)=f(1)的话)、三次自然型插值样条,(在[1]中称为(Ⅱ’)型插值样条)和三次(Ⅰ’)型插值样条(见[1] p94)。这三种样条在[2]中分别用插值算子L△Kf,N△Kf和S△Kf来表示,它们都是线性、幂等因而是投影算子。 I.J.Schoenberg[3] 曾提出过这样的问题:对于满足△k→0的分划列△R,是否对[0,1]上的一切连续函数f都有P△Kf-f…     

三维空间中满足LGC条件的Lagrange插值

1977年,文献[1]首次提出GC条件:一个选自单形k阶自然网格的点组满足GC条件,则该点组必能使得插值多项式唯一存在.本文在GC条件理论和方法的基础上,构造三维空间中满足LGC条件的多项式插值理论.     

一致凸Banach空间的一个新的特征性质

给出了Banach空间一致凸的一个新的充要条件:设λ,μ∈(0,1),λ μ=1,f:R R 是单调递增且可微的严格凸函数,X是Banach空间,则X是一致凸的当且仅当对任意ε>0,存在δ>0,使得当‖x‖≤1,‖x-y‖≥ε时,有f(‖λx μy‖)<λf(‖x‖) μf(‖y‖)-δ     

具有可列个型值点的m阶光滑的插值函数及其构造方法

构造具有珂列个型值点和一定光滑性要求的插值函数，是解决一元函数极限与二元有限之关系的关键，首先讨论了具有可列个型值点的插值函数的光滑性问题：然后利用分析的方法构造了具有可列人型值点且具有一定光滑性要求的插值分段多项式，结论是无穷数列单调上升且收敛于Ｘ０／ｙｎ／是任给的无穷数列，则可以构造以（ｘｎ，ｙｎ）为型值点的五阶光滑的插值分段多项式（ｎ＝１，２，３，…）；并且应用该结论证明了一元函数极限与二元     

单调增加的连续函数的Picard迭代序列的收敛定理

证明了若f:[a,b]→[a,b]为单调增加的连续函数,λ∈(0,1),定义Fλ:[a,b]→[a,b],Fλx=(1-λ)x+λf(x),x1∈[a,b],xn+1=Fλxn=Fλnx1,n≥1,则{xn}单调地收敛于f的1个不动点.     

在等距结点上Lagrange插值多项式的发散性

191 8年 ,Bernstein证明了对于函数 |x|,由闭区间 [-1 ,1 ]上的等距结点所构成的 Lagrange插值多项式序列 ,除 -1 ,0 ,1以外 ,在闭区间 [-1 ,1 ]上的其它任何点都发散 .在本文中考虑了函数f (x) =x2 ,当 0≤ x≤ 1时 ,-x2 ,　当 -1≤ x≤ 0时 ,将证明函数 f (x)对于闭区间 [-1 ,1 ]上的等距结点所构成的Lagrange插值多项式 ,当增大时 ,除 -1 ,0 ,1以外 ,在闭区间 [-1 ,1 ]上的其它任何点处都不收敛于 f (x) .     

一类平顶单峰映射的迭代

主要研究区间[0,1]上一类在[0,a]上线性严格递增,在[b,1]上线性严格递减,而在[a,b]上为常值的非单调平顶单峰自映射的迭代,讨论在n次迭代后的平顶区间的个数以及平顶区间的结构.     

关于拟Grünwald插值算子的收敛性

就一种拟Grünwald插值多项式G*n(f,x)的几种收敛性进行了讨论,证明了在C[-1,1]上它是点态收敛和Lp(p＞0)平均收敛的,但非一致收敛.     

一类Riemann可积函数

证明了定义在[a,b]上的有界函数f(x），若只有第一类间断点，则f(x）在[a,b]上Riemann可积，另外，证明了一个导函数只能有第二类间断点，有间断点的单调函数不存在原函数。     

基于不同边值条件的逆Sturm-Liouville问题

研究了定义在[0,1]区间上的逆Sturm-Liouville微分算子的唯一性问题.应用Marchenko唯一性定理证明了:若势函数q(x)在区间[0,a](1/2≤a<1)上是已知的,则通过在无穷组谱中选取一组适当的共有特征值能唯一确定区间[0,1]上的势函数及边值条件.     

在Newman型结点上Lagrange插值多项式的发散性

191 8年 ,Bernstein证明了对于函数 |x|,由闭区间 [-1 ,1 ]上的等距结点所构成的 Lagrange插值多项式序列 ,除了 -1 ,0 ,1以外 ,在闭区间 [-1 ,1 ]上的其他任何点都发散 .1 995年 ,L.Brutman和 E.Passow将Bernstein的结论推广到一类 Newman型的结点上 .本文考虑了比 |x|更好性质的函数 ,它的 Lagrange插值多项式仍旧处处发散 ,进一步指出了 |x|的发散性并不是孤立的现象 .