二重Fourier级数Marcinkiewicz型的线性求和法

§1 引言 C(R),L(R)分别表示定义在R=[-π,π;-π,π]上的对每个变元均以2π为周期的二元连续函数类和二元可和函数类。用LIn~ L表示L(R)的一个子类,f∈LIn~ L当且仅当|f|1n~ |f|∈L(R). 是f(x,y)∈L(R)的Fourier级数,S_(mn)(f;x,y)     

用瓦雷—布然平均来逼近可积函数

§1、设函数ω(t)(0≤t≤π)是连续模,用H[ω]_L表示满足条件 ‖f(x+t)-f(x)‖_L=integral from n=-π to π(|f(x+t)-f(x)|dx≤ω(t))的有周期2π的周期可积函数f(x)所成的函数类。又用S_n(x、f)表示f(x)的富里埃级数的开头几项和,σ_(n,p)(x,f)表示瓦雷—布然平均:     

多元函数的三角多项式逼近

设D表示xy平面上的矩形区域:0≤x≤2π;0≤y≤2π,我们所考虑的函数f(x,y)都是在D上确定的周期函数,关于每一变量的周期都是2π。 假如f(x,y)在D上有p级连绩偏导数,我们就用feC~p(D)来表示。当p=0时,C~o(D)简记作C(D),表示在D上连续的函数类。设feC(D),我们用     

关于二元连续周期函数用Vallèe—Poussin和逼近

设Q={(x,y) |-≤x,y<π},△=a~2/ax~2+a~2/ay~2是Laplace算符,函数类△~rH 1, _2(r=0,1,2,……)由C(Q)中有直到2r阶偏导数并满足下述条件的函数f(x,y)组成:记ψ(x,y)=△~r(f)=△(△~r(-1)(f)),(△~o(f)=f),则对任意的-π≤x,x′,y,y′<π,成立着:|ψ(x,y)—ψ(x′,y′)|≤ψ_1(|x—x′|)+ω_2(|y—y′|),其中ω_1(t),ω_2(s)是任意给定的连续模,又f(x,y)∈C(Q),S_i,i(f:x,y)为f的Fourier部分和,而f(x,y)的Vall e-Poussin和是指量σ_(nm)~(kp)(f:x,y)=1/k+1 1/p+l sum from j=0 to sum from i=0 to pSn-j,m-i(f:x,y)文中讨论了量当n.m→∞时的渐近状态,在一定的条件下得到了渐近等式。所得结果是[3]中r=0时结果的推广,同时,简化了[3]中的余项。     

关于一些Hermite-Fejer算子逼近度的注记

本文研究以Jacobi多项式的J_n(x)=sin(2n+1)/2θ/sinθ/2(x=cosθ,0≤θ≤π)的零点为基点的Hermite-Fejer插值过程H_(2n-1)(f,x).对于Lipα(0<α<1)类中函数,改进了[1]的结果:得到了H_(2n-1)(f,x)逼近有界变差函数的阶估计. 设函数f(x)∈C〔-1,1〕,x=cosθ(0≤θ≤π),J_n(x)是n阶Jacobi多项式,x_k=x_k~(n)=cosθk=cos(2kπ)/(2n+1)(k=1,2,…,n)是J_n(x)的零点,以{x_1,x_2,…,x_n}为基点的Hermite-Fejer插值算子是(见文〔1〕(4))     

线性正算子逼近连续函数的渐进公式

1、设E是数轴上紧致集,f(t)为E上的实函数,C~k(E)表示E上k次连续可微函数类,C_*~k(E)表示E上k次连续可微,而且f~(k)(t)在t=x∈E具有左,右导数f~(k_1)(x±)的函数全体、显然地C~k(E) C_*~k(E) C~(k+1)(E)。类似地用C_(2π)~k和     

缓增样条在非正规样本上对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)的交。     

自然指数函数展开式的多重分割法(十)

提出函数多重分割法的新概念 ,即函数f(x)在对称区间上分成整数m≥ 2个函数fk(x) (1≤k≤m)之和 ,其中fk(jx) =jk - 1fk(x) ,j=exp2πm ,证明了这种分割法是唯一的 .特别当f(x) =expx时 ,这一分割法就是广义双曲函数组 .     

自然指数函数展开式的多重分割法(十一)--应用部分

提出函数另一种多重分割法的概念,即函数f(x)在对称区间上分成m个函数fk(x)(1≤k≤m),使得f(jx)=∑mk=1jk-1fk(x),且fk(j2x)=j2k-2fk(x),其中j=exp(π)/(m)i,证明了这种分割法的唯一性.当m=2,f(x)=expx时,即得著名的Euler公式.因此,这一新结果是Euler公式的一般推广.     

环上强保持k-Jordan乘积的映射

对于任意给定的正整数k≥1,环R上的元x,y的k-Jordan乘积定义为{x,y}_k={{x,y}_(k-1),y}_1,其中{x,y}_0=x,{x,y}_1=xy+yx.假设R是含有单位元与非平凡幂等元的环,f∶R→R是满射。文章证明了在一定的假设条件下,f满足{f(x),f(y)}_k={x,y}_k对所有的x,y∈R成立当且仅当f(x)=λx对所有的x∈R成立,其中λ∈Z(R)(R的中心)且λ~(k+1)=1.作为应用,给出了素环与von Neumann代数上保持此类性质映射的完全刻画。     

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

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

二元可微周期函数用其方形Fourier部分和逼近

设Q={(x,y)|-π≤x,y<π},X(Q)表示L(Q)和C(Q)。记△=■~2/■x~2+■~2/■y~2,是Laplace算符,函数类△■(x=L或c);(r=1,2,…)由L(Q)中有直到2r阶偏导数并且△■(f)=△(△~(r-1)(f))∈x(△·(f))=f)的f(x,y)组成。本文讨论函数f(x,y)∈△_x~r用它的方形Fourier部分和S_n,n(f;x,y)逼近,得到下述的定理:r=1,2,…;存在着只与r有关的常数Cr>Cr′>0,使对一切n=1,2,…和相应于任意的单调趋于零的非负数列{∈_n}_(n=0)~∞而定义的函数类△_x~r(∈)={f∈△_x~r|E■(△~r(f))_x≤∈_v。;v=0,1,2,…},成立着。     

Cesàro平均的带权强求和

设f(x)∈L~P(Ω_n),1≤P≤2,δ>(n-1)(1/p-1/2),而σ_N~8(f)(x)表示f(x)在n维球面Ω_n上的Ces(?)ro平均.本文证明了(?)1/(N+1)sum from k=0 to N|σ_k~8(f)(x)-f(x)|~2a_k=0 a、e、x∈Ω_n其中权系数a_k>0满足1≤1/N+1(sum from k=0 to N)a_k≤A(A是一个绝对常数)     

根据函数方程判别基本初等函数的超越性

§1 代数函数与超越函数初等函数是初等数学乃至高等数学的主要研究对象。初等函数又可分为代数函数与超越函数两类。我们先叙述它们的定义。定义1 如果函数y=f(x)〔注1〕满足某代数力程 P(x,y)=0, (1)这里(?)是既约多项式〔注2〕,p_k(x)(k=0,1,…,n)都是x的多项式,且(?),则称y=f(x)为代数函数。     

球面函数Cesàro平均的带权强性求和

设f(x)∈Lp(Ωn),1≤p≤2,δ>(n－1)(1p－12),σδN(f)(x)表示f(x)在n维球面Ωn上的Cesàro平均.本文证得limN→∞1N+1∑Nk=0|σδk(f)(x)－f(x)|2ak=0 a.e.x∈Ωn.其中权系数ak≥0满足1≤1N+1n[]k=0ak≤A(A是一个绝对常数).     

关于Iyengar不等式

利用函数f(x)在积分区间[n,b]端点的函数值及各阶导数值,对函数f(x)在[α,b]上的定积分进行估计,进而得到若干积分不等式．主要结果如下：若函数f(x)是[α,b]上n 1次可微函数,且│f^(n 1)(x)│≤M(M＞0),则│∫^b α(x)dx-n∑k=0 (b-α)^k 1/2^k 1(k 1)! [f^(k) (α) (-1)^k f^(k)(b)]│≤1/2^n 1(n 2)! M(b-α)^n 2.     

关于多重Fourier级数的线性求和

设Q={(x,y)|—π≤x,y≤π}。L(Q)表示在Q上可和且对于每个变元都以2π为周期的函数的全体。设λ(x,y)是支集(函数取值不为零的点的集合的闭包)有界的二元连续函数。由λ(x,y)产生一个线性求和法τ_(m.n)~λ(m,n=0,1,2,…)。它是L(Q)到(m,n)阶三角多项式集的线性算子:     

关于双曲型方程u_(xy)=f(x, y, u, u_x, u_y)特征問題解的一类唯一性定理

§1.引言本文考虑双曲型方程u_(xy)=f(x,y,u,u_x,u_y) (1)满足u(x,0)=σ(x) 0≤x≤a (2_1) σ(0)=τ(0) (2) u(0,y)=τ(y) 0≤y≤b (2_2)的特征問題的解的唯一性問題。如果在矩形R:0≤x≤a,0≤y≤b上存在非負的连續函数C_i(x,y)(i=1,2,3),对于R上每点(x,y)及任意的u,p,q,(?),(?),q滿足     

格上传递矩阵的性质

假设格L是有最小元0的分配格,(A)x,y∈L,定义x与y的二元运算x(-)y为:当x≤y时,x(-)y=0;否则,x(-)y=x.定义格上矩阵(R_(ij))n×n与(S(ij))_(n×n)的(-)合成为(R_(ij)(-)Sij)n×n.对幂零矩阵R,证明了(R/R)+=R~+;对非自反传递矩阵R,证明了R/R≤S≤R与R/R=S/R等价,其中R/S=R(-)(R⊙S),⊙是sup-inf合成算子,R~+是R的传递闭包.     

二元Λ有界变差函数的一些性质

设f(x,y)是对每个变量都是以2π为周期的实函数,首先给出了二元Λ有界变差函数的概念.在区域T2=[-π,π]×[-π,π]上讨论二元Λ有界变差函数f(x,y)的Fourier级数的系数∧f(m,n)阶的估计.若f(x,y)∈ABV(T2)在(0,2π]×[0,2π]区域上连续,给出并证明了f(x,y)的Fourier级数绝对收敛的充要条件.