本性平方函数在Campanato空间上的存在性和有界性

令S_α(f)是f的本性Lusin平方函数.若f属于Campanato空间f∈L~(p,β),1p∞,-n/p≤β1,我们证明了,若存在一点x_0∈R~n,使得S_α(f)(x_0)∞,则S_α(f)(x)在Rn上几乎处处有限,且存在常数C,使得‖S_α(f)‖_(Lp,β)≤C‖f‖_(Lp,β).类似结论对本性Littlewood-Paley g-函数也成立.     

抽象锥中1-集压缩映射的不动点定理

设P是实Banach空间E的一个锥 ,f是PR 到P的一个 1-集压缩映射 ,且对PR中任一序列 {xn} ,若limn→∞(xn-f(xn) ) =θ,则存在u∈PR,使得u -f(u) =θ.那么当对任意满足‖f(x)‖ >R的x∈ PR,存在y∈IpR(x) ,使‖y-f(x)‖<‖x-f(x)‖ ,或都有‖f(x) -x‖≠‖f(x)‖ -R ,或存在 1<α <+∞ ,使‖f(x)‖α-Rα≤‖f(x) -x‖α,或存在 0<β<1,使‖f(x)‖β-Rβ≥‖f(x) -x‖β,或对任意 0 <λ<1,都有x≠λf(x)时 ,f在PR 中有一个不动点 .通过以上结论的给出 ,解决了一类微积分方程的解的存在性 .     

修正的Bernstein多项式算子在Orlicz空间中的整体逼近定理

修正的Bernstein多项式算子P_n是指:其中关于这一算子列在L_p[0,1](p≥1)空间中的逼近问题已有不少工作。由[1]可知,算子P_n是L_p[0,1]→L_p[0,1](p≥1)的正有界线性算子,而且‖P_n(f)‖_p≤‖f‖_p,即‖P_n‖≤1。本文在Orlicz空间L_M~·[0,1]中讨论算子P_n的逼近问题,容易验证:算子P_n是     

关于抛物型方程Crank—NicholSon格式的敛速估计

[1]中给出了解抛物型方程广义Galerkin方法Crank-Nicholson格式的斂速估计是‖U~(?)-u‖_0=0(h~2+τ~(3/2))。本文指出该格式的斂速估计是‖U~(?)-u(nτ)‖_0=O(h~2+τ~2)并证明了该格式按‖·‖_(0,h)范数关于初值是绝对稳定的。     

关于Bernstein-Kantorovich算子的强逆不等式

定义了一种新的K-泛函:K(f,t)n∞＝infg∈C2[0,1]{‖f-g‖n∞+t‖δ2ng″‖n∞+t‖g′‖n∞},其中‖f‖n∞＝supx∈[0,1]|δ-βn(x)f(x)|,0≤β≤2,δ2n(x)＝φ2(x)+(1)/(n),φ(x)=x(1-x).利用此K -泛函给出了Bernstein-Kantorovich算子点态逼近的强逆不等式,即若f∈C[0,1],β＝α(1-λ),0<α≤2,0≤λ≤1,则(A)x∈[0,1],及(A)h∈(0,(1)/(4)),都存在正整数n及m满足|(Δ)2hφλ f(x)|≤Chαnα/2{‖Knf-f‖n∞+‖Kmnf-f‖n∞}.     

HERMITE型导数样本定理和Sobolev类上的混淆误差

证明了:如果函数f属于带有限函数类B2σ,p,1相似文献   

Banach空间一类非线性分数阶微分方程边值问题解的存在性

考虑Banach空间E中一类非线性分数阶微分方程边值问题{-Dα0+u(t)=f(t,u(t))t∈Iu(0)=u'(0)=u'(1)=θ解的存在性,其中2σ≤3是实数,I=[0,1],Dα0+是标准的Riemann-Liouville导数,f:I×E→E连续,θ为E中的零元.用新的非紧性测度估计技巧,在f满足比较一般的增长条件和非紧性测度条件下,通过凝聚映射的不动点定理获得了该边值问题解的存在性.     

Jackson整插值算子在Besov空间中的逼近

研究在Besov空间中,Jackson整插值算子的逼近和饱和问题,确定了逼近的饱和类与饱和阶.1)设f∈Hα∩Xp,则‖Iσ(f;x)-f(x)‖α=O1σ1-α当且仅当f绝对连续且f′∈Lp,(1相似文献   

隐格式二次样条插值余项估计

1974年,Marsden提出了一类隐格式二次周期插值样条(¨,并得到误差估计的上界.但对隐式插值的余项还未得到误差的最佳系数,A·Hall(¨、李岳生c。)对三次、二.次样条插值误差的最佳系数分别进行了研究.本文提出了估计误差的另一种方法,【lp从估计一类泛函的界出发,得到优于Marsden的结果,并证明了其I{1 11f(x)一s(x)忆的估计系数是最佳的.设π为区间[0,1]上的一个分划,π:0=x_0相似文献   

一个最优设计问题

设试验点集是X={x(t)=kt b:t∈[0,1],|k|≤B_1,|b|≤B_2},其中B_1>0,B_2>0都是已知数,参数空间={θ:θ∈L_2[0,1]}。被观察的随机过程为 Y(x,t)=∫_0~tθ(u)x(u)du N(t),t∈[0,1]其中{N(t),t∈[0,1]}是Weiner过程。本文得到关于线性泛函脉θ_0~*(θ)=∫_0~1θ(u)du的线性估计的最优设计为ξ_0=(x_1,x_2 α, 1-α)其中x_1=-B_1t-B_2,x_2=B_1t B_2,α满足0≤α<1。在得到这个设计时用到了Spruill[2]的一个定理。发现Spruill[2]中(16)式的证明是错的,因为他的叙述“因是对称的且凸的,对充分小的ε>0,(β-ε)θ~*∈”是错的,本文已将这个错误订正。     

缓增样条在非正规样本上对Bπ,p类函数的恢复

证明了当f∈PWπ时,‖ s2m^(k)f-f^(k)‖Lp(R)→0(m→∞,2≤p≤∞,k=0,1,2,…）其中PWπ是经典的Paley-Wiener类,s2mf是在实Riesz基序列上对f插值的唯一确定2m-1次缓增样条,同时还证明了当｛f(ti)｝∈ι2,f∈Lp(R)(p≥2）,‖s2mf‖2≤A一致成立时,若lin/m→∞‖f-s2mf‖p=0,则f∈Bπ,p,其中Bπ,p为指数π型整函数R上的限制与 Lp(R)的交。     

均匀网格下三次样条函数的注记

本文对方程组AM=D和Bm=C的系数矩阵A、B进行了细致的讨论,得到了‖A~(-1)‖、‖B~(-1)‖的有界性以及在λ_0>4+2■,μ>4+2■时均匀网格二点端点条件下三次样条函数的存在唯一及收敛定理。     

Fuzzy拓扑线性空间的一点注记

本文直接证明满足[1]定理7.1条件(ⅰ′)-(ⅵ′)的Lasalle拟范族只有‖xλ‖d≡0(x∈X,λ∈(0,1],d∈D),它所确定的空间就是[2]推论3的平凡(L)型空间。     

严格对角占优M-矩阵的逆矩阵的无穷大范数的上界估计

M-矩阵作为特殊矩阵类在高阶稀疏线性方程组的迭代法求解中有重要作用,尤其是M-矩阵的逆矩阵的无穷大范数的上界估计在数值代数中具有重要意义。如许多代数方程组问题的收敛性条件、条件数等需要计算‖A~(-1)‖_∞,但当M-矩阵A的阶数较大时,其逆矩阵很难求,因此‖A~(-1)‖_∞估计是十分重要的问题。首先引入一组新的记号,给出严格对角占优M-矩阵A的逆矩阵A~(-1)的元素满足的两个不等式;此外得到了‖A~(-1)‖_∞的上界新估计式,这些估计式避免了求逆矩阵A~(-1)而直接利用矩阵A的元素表示,最后给出矩阵A的最小特征值q(A)下界的新估计式。理论分析和数值算例表明新估计式改进了相关结果。     

空间W~(m,p)(R)的分段多项式逼近

函数空间的逼近理论由于在近似方法中的应用而被人们所重视。Di Guglielmo,F.在[1]中研究了空间 W~(m,p)(R~n)(p≥2)的多项式逼近问题。空间 W~(m,p)(Ω)是指具有如下性质的函数 u 组成的集合:W~(m,p)(Ω)≡{u∈L~p(Ω):D~αu∈L~p(Ω),0≤|α|≤m,其中 D~αu 是意义下的广义(或广义函数意义下的)偏导数},其中α={α_1,…,α_n}是非负整数α_j 的一个 n 重组,|α|=sum from j=1 to n α_j,D_j=(?)/((?)x)(对于1≤j≤n),D~α=D_1~(α_1)…D_n~(α_n).Ω为有界或无界区域。范数为‖u‖_m~p,p=sum from 0≤|α|≤m ‖D~αu‖_p~p, 1相似文献   

Bernstein算子和Bernstein-Kantorovic算子的∧_ω(A)类保持性质

设ω(x)是[0,1]上的上凸连续模函数,记∧_∞(A)={f∈c[O,1]:ω(f,x)≤Aω(x)},木文得到f∈A_∞(A)L_n(f)∈∧_ω(A),其中L_n表示Bernstein算子或Bernstein-Kantorovic算子。     

积分型Lupas概率算子的饱和定理

研究一类修正的积分型Lupas概率算子的饱和定理 ,通过探求算子的性质 ,得到如下主要结果 :设f使得Pn(f)有定义1)‖Pn(f) -f‖p =o(n-1 )当且仅当f=const(a .e) ,2 )若f∈Lp 且‖Pn(f) -f‖p =o(n-1 ) ,则f∈Sp.     

关于(0,1)Hermite插值

关于结点组{x_中}_1~(民+1)C[-1,1],我们考虑2n+1阶的Hermite插值过程H_(2n+1)(f,x):C_([-1,1]~1→C_[-1,1]~1。众所周知,并非对任何函数f(x)∈C_[-1,1]~1,都存在在[-1,1]上一致地成立。 现在取{x_k=cos[(2k-1)π/(2n+1)]}_1~(n+1),此时的2n+1阶Hermite插值过程H_(2n+1)(f,x),有,‖H′_(2n+1)(f,x)‖=O(n‖f′‖),其中‖f′‖=(?)|f′(x)|,因此对于函数f(x)∈C_([-1,1]~2,(1)式在[-1,1]上都一致地成立。记     

四阶时滞微分方程边值问题的正解

随着泛函微分方程理论的发展以及其在物理、力学、自动控制理论、生物学、经济学等众多学科中的应用,时滞微分方程边值问题成为关注的一个热点.运用锥上的不动点指数理论研究了四阶时滞微分方程边值问题{u(4)(t)+au″(t)-bu(t)=f(t,ut),t∈[0,1],u(t)=Ф(t),t∈[-τ,0],u(0)=u(1)=u″(0)=u″(1)=0正解的存在性,其中,f:[0,1]×C+→[0,+∞)连续,C+={φ∈C|φ(θ)≥0,θ∈[-τ,0]},Ф(t)∈C([-τ,10],[0,+∞)),Ф(0)=0,对t∈[0,1],ut(θ)=u(t+θ),θ∈[-τ,0],0≤τ,且a,b∈R,满足a2π2,b-a2/4,b/π4+a/π21.所得结果推广和改进了现有结果.     

Banach空间含导数项的二阶脉冲微分方程的解

讨论了抽象空间中非线性项含一阶导数的二阶脉冲微分方程边值问题{-u″(t)=f(t,u(t),u'(t)),t≠tk,t∈J=[0,1],-Δu'|_(t=t_k)=I_k(u(t_k),u'(t_k)),k=1,2,…,m,u(0)=θ,u(1)=θ解的存在性与唯一性,其中f∈C(J×E×E,E),I_k∈C(E×E,E),k=1,2,…,m.通过选取恰当的工作空间及等价范数,在非线性项f(t,x,y)及脉冲函数Ik满足较一般的非紧性测度条件下,结合新的非紧性测度估计技巧与凝聚映射的Sadovskii不动点定理,得到解及正解的存在性结果.此外,进一步讨论该问题唯一解的存在性.