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尺度下的最佳逼近.量     

非唯一的有理L_p逼近

设f∈L_p\R_m~1,p≥1。如果f在R_m~1中有无穷多个最佳逼近,则这些最佳逼近必有一致收敛的子序列,并且其极限函数也是f的最佳逼近。如果f在R_m~1中的最佳逼近都是非退化的临界点,则这些最佳逼近仅有有限个。f在R_m~1中的形如P_1(x)/(1-λx)~n的最佳逼近仅有有限个。     

一类非线性广义样条最佳L_p逼近的光滑性

设L是常系数n阶线性微分算子,m∈N, 0=s_00适当小,v=1,…,r}本文证明了设f∈L_p[0,1],1≤p<∞,那末当n≥2时,存在f的最佳L_p[0,1]逼近样条(?)∈C[0,1]∩φ~*(m,q)。当n≥3时,存在f的最佳L_p[0,1]逼近样条(?)∈C~1[0,1]∩φ~*(m,q)。     

广义周期样条类的极值问题和广义Bernoulli核的宽度

本文研究由实系数线性系微分算子 P_r(D)=(D~2-2α_8D α_8~2 β_8~2)(D-λ_i)(α_8、β_8、λ∈R,β_8>0)定义的2π周期函数类={f:f~((r-1))绝对连续.f_(j)(0)=f~(j)(2π),j=0,1…,r-1,P_r(D)f(t)dt=0}当 p=1,2,∞,n>N(N 为某一确定的自然数)或0≤<1/4,1≤p≤∞,n=1,2,3,…时,我们求得了 d_n(,L)、d′_2n(,L)、d~2n(,L)d_2n(,L_p)、d′_2n(,L_p)、d_n(,L_p)等宽度的精确估计.我们还讨论了用广义周期样条的最佳逼近,从而找到了相当广泛的一类广义周期样条做为 d_2n(,L)的极子空间.     

非线性逼近的强唯一性

设G是赋范线性空间 E 的子集,x∈E,g_0∈G.称 g_0是 G 对 x 是 q(q>1)阶强唯一最佳逼近乃指:若存在常数 C=C(x)>0,满足‖x-g‖~q≥‖x-g_0‖~q+c‖g-g_0‖~q,(?)g∈G.(1)我们对所有满足(1)式的常数 C 上确界为 x 相对于 G 的强唯一常数,记作 r(x).本文先获得:若 G 是 L_p 或 H~(k,p)(K≥0,2≤p≤∞)的弱拟凸(伪凸、拟凸)集,则 G 对 x∈L_p(H~(k,p))的最佳逼近具有 p 阶强唯一性;然后在一般赋范空间证明了 r(x)相对于 x 是上半连续的.     

关于联合最佳逼近定理的一个证明

<正> 一、引言 设(X,∑,μ)是σ有穷测度空间,L_p=L_p(X,∑,μ)(1≤p<+∞)表示在(X,∑,μ)上可测且p次幂可积的复值函数全体组成的Banach空间,又设f_i∈L_p,λ_j∈R~+(i=1,2…)满足条件     

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

<正> 设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相似文献   

多线性Marcinkiewicz积分在Campanato空间上的存在性与有界性

设n≥2, m≥1,y=(y1,..., ym).μ(f)是如下定义的多线性Marcinkiewicz积分:μ(f)(x)=(∫∞01/tm∫(B(0,t))~m?(y)|y|m(n-1)m∏i=1f_i(x-y_i)|2dt/t)~(1/2),其中dy=dy1···dym.本文考虑了μ(f)在Campanato空间上的存在性与有界性,证明了若m-线性Marcinkiewicz积分μ(f)在一点处有限,则它几乎处处有限,而且,如下范数不等式成立:||μ(f)||Eα,p≤C m∏j=1||fj||Eαj,pj,其中E~(α,p)是经典的Campanato空间,1/p=1/_p1+···+1/p_m,α=α_1+···+α_m.     

逼近转化论的一些研究

本文运用逼近转化的观点、方法研究实变函数的构造分析、转化原理及高维逼近的有关问题,文中最主要的定理为: 定理1 设f∈L_p(D)),并有m维n次多项式p_n,使得‖f-p_n‖_p≤ε(n),ε(t)。 则f与g∈L_p(D)等价,并且     

一维问题的一种积分形式的流量重构算法

1引言我们考虑如下一维二阶椭圆边界值问题(-(β(x)p′)(x))′=f(x),x∈(a,b) p(a)=p(b)=0(1))其中β=β(x)是一恒正函数,且β∈H~1(a,b),f∈L~2(a,b)．事实上,在此条件下,我们可保证p∈H~2(a,b)(见[1],[2])．(1)之弱形式为：求p∈H_0~1(a,b)使得a(p,q)=(f,q),(?)q∈H_0~1(a,b),(2)其中a(p,q)=(?)_a~bβp′q′dx,(f,g)=(?)_a~bfqdx．给定(a,b)的一个分割α=x_0＜x_1＜…＜x_(n-1)＜x_n=b,令h=(?)(x_i-x_(i-1)),(?)_i表示通常相应于节点x_i的形状函数,即(?)_i是连续的分段线性函数且满足(?)_i(x_k)=δ_(ik),这里δ_(ik)=(?)i,k=0,1,…,n．又记V_h~0=span{(?)_1,(?)_2,…,(?)_(n-1)),取V_h~0作为p的逼近空间,则求解(1)的标准有限元格式为：求ph∈V_h~0使得     

图的k符号边控制数

设G=(V,E)是一个图,一个函数f:E→{-1,+1},如果对于G中至少k条边e有sum from e'∈N[e]f(e')≥1成立,则称f为图G的一个k符号边控制函数.一个图的k符号边控制数定义为γ_(ks)^/(G)=min{∑_(e∈E(G))f(e)|f为图G的一个k符号边控制函数}.主要给出了一个图G的k符号边控制数γ_(ks)/(G)=min{∑_(e∈E(G))f(e)|f为图G的一个k符号边控制函数}.主要给出了一个图G的k符号边控制数γ_(ks)^/(G)的若干新下限,并确定了路和圈的k符号边控制数.     

C～n中单位球上μ-Bloch函数的等价刻画

设μ是[0,1)上的正规函数,给出了C~n中单位球B上μ-Bloch空间β_μ中函数的几种刻画.证明了下列条件是等价的:(1)f∈β_μ;(2)f∈H(B)且函数μ(|z|)(1-|z|~2)~(γ-1)R~(α,γ)f(z)在B上有界;(3)f∈H(B)且函数μ(|z|)(1-|z|~2)~M_1-1M_1f/_zm(z)在B上有界,其中|m|=M_1;(4)f∈H(B)且函数μ(|z|)(1-|z|~2)M_2-1R~(M_2)f(z)在B上有界.     

一类带调和势的非线性Schrdinger方程在R~N中的整体解存在的门槛

本文考虑一类带调和势的非线性 Schrdinger 方程 it=-△ |x|~2-μ||~(p-1)-λ||~(q-1),x∈R~N,t≥0, 其中μ＞0,λ＞0．当 N=1,2时,1＜p＜q＜∞；当 N≥3时,1＜p＜q＜(N 2)/(N-2)．运用精巧的变分方法、势井方法和凸方法,得到了方程的整体解和爆破解存在的门槛．进一步回答了：当 q＞p＞1 4/N 时,方程的 Cauchy 问题的初值小到什么程度,其整体解存在?     

关于Szász-Mirakjan型算子的加权逼近

设S_n(f;x)表示如下的Sz(?)sz-Mirakjan算子:S_n(f;x)=sum from k=0 to ∞ f(k/n)S_(nk)(x),这里S_(nk)(x)=e~(-nx)(nx)~k/k!,x∈[0,∞),f∈C_[0,∞),C_[0,∞),表示在[0,∞)上连续且有界之函数集,1983年在[1]中给出了Sn(f;x)在一致逼近意义下的特征刻划,为讨论L_p逼近,[2]中引进了如下的Sz(?)sz-Mirakjan-Kantorovich算子:     

The Jackson Inequality for the Best L~2-Approximation of Functions on [0,1] with the Weight x

Let L^2（[0, 1], x） be the space of the real valued, measurable, square summable functions on [0, 1] with weight x, and let n be the subspace of L2（[0, 1], x） defined by a linear combination of Jo（μkX）, where Jo is the Bessel function of order 0 and {μk} is the strictly increasing sequence of all positive zeros of Jo. For f ∈ L^2（[0, 1], x）, let E（f, n） be the error of the best L2（[0, 1], x）, i.e., approximation of f by elements of n. The shift operator off at point x ∈[0, 1] with step t ∈[0, 1] is defined by T（t）f（x）=1/π∫0^π f（√x^2 ＋t^2-2xtcosO）dθ The differences （I- T（t））^r/2f = ∑j=0^∞（-1）^j（j^r/2）T^j（t）f of order r ∈ （0, ∞） and the L^2（[0, 1],x）- modulus of continuity ωr（f,τ） = sup{｜｜（I- T（t））^r/2f｜｜：0≤ t ≤τ] of order r are defined in the standard way, where T^0（t） = I is the identity operator. In this paper, we establish the sharp Jackson inequality between E（f, n） and ωr（f, τ） for some cases of r and τ. More precisely, we will find the smallest constant n（τ, r） which depends only on n, r, and % such that the inequality E（f, n）≤ n（τ, r）ωr（f, τ） is valid.     

广义函数的卷积

在古典分析中,已引入: 定义1 设f∈L_p(-∞,+∞),g∈L_q(-∞,+∞),其中1≤p,q≤+∞,满足1/p+1/q=1,则f和g的卷积定义为: 利用直积的概念,Schwartz L.给出了广义函数卷积的一般定义. 定义2 设f,g是两个广义函数,定义f和g的卷积为: (f*g,φ=(f(x)×g(y),φ(x+y)),φ∈D. 但是,在这里要指出,φ(x+y)已经不是(x,y)空间中的具有有界支集的函数,因而一般地说,定义2是没有意义的. 但对下面两种情况,定义2是有意义的. (1)广义函数f,g之一的支集是有界的; (2)两个广义函数f,g的支集都是同一方向有界的. 1973年Jones D S.研究了广义函数卷积,给出了另外一种广义函数卷积定义.     

离散型p次Dirichlet型第一特征值

设μ=(μ_i)_i≥0为Z_+上的测度且p 1,考虑下述离散型p次Dirichlet型D_p(f)=Σ_(i=0)~∞μ_ib_i(f_i-f_(i+1))(f_i~(p-1)-f_(i+1)~(p-1)),f≥0,其中(b_i)_(i≥0)为Z_+上的正序列.本文旨在给出空间L~p(μ)上p次Dirichlet型D_p(f)所对应的第一特征值λ_(0,p)=inf{D_p(f):‖f‖_p=1,f非负且具有紧支撑}的上下界精细估计.     

A REMARK ON LIMINF SETS IN DIOPHANTINE APPROXIMATION

Let Q be an infinite set of positive integers, τ 1 be a real number and let Wτ(Q) = {x ∈ R : |x-p/q| q-τ for infinitely many(p,q) ∈ Z × Q }For any given positive integer m, set Q(m) = {n ∈ N :(n, m) = 1}.If m is divisible by at least two prime factors, Adiceam [1] showed that Wτ(N) \ Wτ(Q(m))contains uncountably many Liouville numbers, and asked if it contains any non-Liouville numbers? In this note, we give an affirmative answer to Adiceam's question.     

在空间L(X,∑,μ)中的最佳逼近的特征

设(X,∑,μ)是σ-有穷测度空间,L≡L(X,∑,μ)表示在空间(X,∑,μ)上所有可积复值函数的全体组成的线性赋范空间([4],41)。其范数定义为这样,若K?L,对任何f∈L,就可以提出它在K中的最佳L逼近问题。称p_0∈K为f     

关于Szász-Mirakjan型算子的加权逼近

设S_n(f;x)表示如下的Sz(?)sz-Mirakjan算子:S_n(f;x)=sum from k=0 to ∞ f(k/n)S_(nk)(x),这里S_(nk)(x)=e~(-nx)(nx)~k/k!,x∈[0,∞),f∈C_[0,∞),C_[0,∞),表示在[0,∞)上连续且有界之函数集,1983年在[1]中给出了Sn(f;x)在一致逼近意义下的特征刻划,为讨论L_p逼近,[2]中引进了如下的Sz(?)sz-Mirakjan-Kantorovich算子: