五次缺插值样条的渐近性态

f(x)定义于[0,1]。将[0,1]n等分,记x_j=jh,j=0,…,n.h=1/n,且 f~(α)(x_j)=f_j~(α),j=0,…,n;α=0,1,…,5。 A.Meir和A.Sharma提出五次缺插值样条函数,即满足下面条件的函数s_n(x): (i)s_n(x)∈C~3[0,1], (ii)在区间[x_j,x_(j 1)]上(j=0,…,n-1),s_n(x)是五次多项式, (iii)s_n(x_j)=f_j,s″_n(x_j)=f″_j,j=0,…,n, (iv)s′_n(0)=f′_0,s′_n(1)=f′_n。 (1) [1]还考虑了把(1)中的(iv)换成 (iv′)s′′′_n(0)=f′′′_0,s′′′_n(1)=f′′′_n (2)的五次样条。为叙述方便,我们分别称之为(Ⅰ)型、(Ⅱ)型缺插值样条。[1]证明了(Ⅰ),(Ⅱ)型插值样条在n为奇数时是唯一存在的。[2,3,4]继续了这方面的工作,得到了一     

随机幂级数与α-Bloch函数

本文考虑随机幂级数:f(z,ω)=sum from n=0 to ∞ a_n e~(iω_n)z~n (1.1)其中 a_n≥0(n=0,1,…),{ω_n}是概率空间(Ω,(?),P)上的 steinhaus 序列。我们给出了f(z,ω)a.s.属于 α-Bloch 函数类(?)~α,(?)_0~α的条件,当α=1时,得出[1]中相应的结果。     

鞅的(Φ_1,Φ_2)-型倒向极大不等式

设Φ_1,Φ_2是非负凸函数,证明了鞅的倒向极大算子不等式‖f‖Φ_2≤C‖f*‖Φ_1对于任意鞅f=(f_n)_n≥0成立的充分必要条件是Φ_2(?)Φ_1;鞅的极大算子均方算子的极大极小不等式‖M(f)‖Φ_2≤C_1‖m(f)‖Φ_1及‖m(f)‖Φ_2≤C_2‖M(f)‖Φ_1成立的充分必要条件是Φ_2(?)Φ_1,这里M(f)=max{f*,S(f)},m(f)=min{f*,S(f)}分别是极大算子、均方算子的极大极小函数.     

I~p上单胞移位的拟幂零性(Ⅰ)

设{e_n}_(n=0)~∞是空间l~p(1相似文献   

等比数列一个性质及应用

对于等比数列,我们有如下的性质: 性质:如果数列{α_(n 1)-αα_n}(α≠0)是公比为β的等比数列,则数列{α_(n 1)-βα_n}是公比为α的等比数列。证明∵α_(n 1)-αα_n=β(α_n-αα_(n-1)) 即α_(n 1)-βα_n=α(α_n-βα_(n-1)) 故数列{α_(n 1)-βα_n}是公比为α的等比数     

任意细分面具的级联算法对单个初始函数的收敛性

级联算法在计算机图形和小波分析中都有很重要的作用．对任意的初始函数φ0，一个级联序列(φ_n)_(n=1)~∞是由迭代产生的序列φ_n=C_aφ_(n-1)(n=1，2，…)，其中 C_a 定义为C_ag=sum from α∈Ζa(α)g(2·-α)，g∈L_p(R)．用函数序列和联合谱半径刻画了级联序列的收敛性．作为一个结果，证明了任意的级联收敛序列都有几何收敛速度，即‖φ_(n-1)-φ_n‖_[L_p(R)]=O((?)~n)对某个(?)∈(0，1)成立．不要求对面具的求和定则的条件．     

A Remark on the Generalized Roper-Suffridge Extension Operator for Almost Stalike Mappings of Order α

Suppose f is an almost starlike function of orderαon the unit disk D.In this paper,we will prove thatΦ_(n,β_2,γ_2,…,β_n,γ_n)(f)(z)=(f(z_1),((f(z_1)/z_1))~β_2(f′(z_1))~(γ_2)z_2,…, ((f(z_1)/z_1))~(β_n)(f′(z_1))~(γ_n)z_n)′preserves almost starlikeness of orderαonΩ_(n,p_1,p_2,…,p_n)={z= (z_1,z_2,…,z_n)′∈C~n:(sum from j=1 to n)|z_j|~(p_j)<1},where 0相似文献   

多线性分数次积分算子交换子的有界性

Ibαf ( x) =∫R ∏mj=1( bj( x) - bj( y) ) 1| x - y| n-αf ( y) dyare considered.The following priori estimates are proved.For 1 01Φ1t| {y∈Rn:| Ibαf( y) | >t}| 1q ≤csupt>01Φ1t| {y∈Rn:ML( log L) 1r ,α(‖b‖f ) ( y) >t}| 1q,where‖b‖=∏mj=1‖bj‖Oscexp Lrj,Φ( t) =t( 1 + log+t) 1r,1r =1r1+ ...+ 1rm,ML(…     

三角在代数上的一个应用

指明一个实系数多項式P(x)是否有实根常常是一件很重要的事情。我們已經有施斗姆方法能指出P(x)实根的个数,当然也指出了非实复根的个数。下面仅提出一个P(x)有非实复根的充分条件作为三角在代数上的一个应用。定理实系数多項式P(x)=x~n+a_1x~(n-1)+…++a_n当(a_1-a_3+a_5-…)~2+(1-a_2+a_4--…)~2≤1,a_n(?)0时,一定有非实复根。为了証明这个定理,我們先証明两个公式: sin(α_1+α_2+…+α_n)==cos α_1 cos α_2…cos α_n(T_1-T_3+T_5-…),(1)cos(α_1+α_2+…+α_n)==cos α_1 cos α_2…cos α_n(1-T_2+T_4-…),(2)其中T_k为tg α_1,tg α_2,…,tg α_n中每k个相乘相加k=1,2…n。为了証明公式(1),(2)采用如下的归納法:設有两个命題f(n),g(n)。1) 当f(1),g(1)都是真确的。2) 假設f(n-1),g(n-1)都是真确的,可以推出f(n),g(n)也是真确的。则对所有的自然数n,f(n),g(n)都是真确的。     

Banach空间非扩张映像不动点强收敛定理

设E是具弱序列连续对偶映像自反Banach空间, C是E中闭凸集, T:C→ C是具非空不动点集F(T)的非扩张映像.给定u∈ C,对任意初值x0∈ C,实数列{αn}n∞=0,{βn}∞n=0∈ (0,1),满足如下条件:(i)sum from n=α to ∞α_n=∞, α_n→0;(ii)β_n∈[0,α) for some α∈(0,1);(iii)sun for n=α to ∞|α_(n-1) α_n|<∞,sum from n=α|β_(n-1)-β_n|<∞设{x_n}_(n_1)~∞是由下式定义的迭代序列:{y_n=β_nx_n (1-β_n)Tx_n x_(n 1)=α_nu (1-α_n)y_n Then {x_n}_(n=1)~∞则{x_n}_(n=1)~∞强收敛于T的某不动点.     

关于Lagrange插值平均收敛的注记

Ⅰ 设w(x)是区间[-1,1]上的权函数,{φ_n(x)}是相应的正交多项式序列,用X:-10,寻找一个附加节点系:     

抽象多项Riemann-Liouville分数阶微分方程

该文研究如下抽象多项分数阶微分方程D_t~(α_n)u(t)+(Σ)_(j=1)~(n-1)A_jD_t~(uj)u(t)=AD_t~αu(t)+f(t).t∈(0.τ),(0.1)其中n∈N\{1},算子A,A1,…,A_(n-1)为复Banach空间E上的闭线性算子,0≤α_1…α_n,0≤αα_n,0τ≤∞,f(t)为E-值函数,D_t~α表示α阶Riemann—Liouville分数阶导数~([5]).延续着作者先前在文献[22,24 25]和[34]中的研究工作,该文引入并系统分析了方程(0.1)的若干类新的k-正则(C_1,C_2)-存在和唯一(生成)族,并对抽象的理论性结果给出了丰富的例子来阐明.     

在Banach空间中推广的Roper-Suffridge算子(Ⅲ)

假定X是具有范数‖·‖的复Banach空间,n是一个满足dim X≥n≥2的正整数.本文考虑由下式定义的推广的Roper-Suffridge算子Φ_(n,β_22γ_2,…,β_(n+1),γ_(n+1))(f):(?)其中x∈Ω_(p1,p2,…,pn+1),β_1=1,γ_1=0和(?)这里p_j1(j=1,2,…,n+1),线性无关族{x_1,x_2,…,x_n}(?)X与{x_1~*,x_2~*,…,x_n~*}(?) X~*满足x_j~*(x_j)=‖x_j‖=1(j=1,2,…,n)和x_j~*(x_k)=0(j≠k),我们选取幂函数的单值分支满足(f(ξ)/ξ)~(β_j)|ξ=0=1和(f′(ξ))~(γ_j)|ξ=0=1,j=2,…,n+1.本文将证明:对某些合适的常数β_j,γ_j,算子Φ_(n,β_2,γ_2,…,β_(n+1),γ_(n+1))(f)在Ω_(p_1,p_2,…,p_(n+1))上保持α阶的殆β型螺形映照和α阶的β型螺形映照.     

关于对称平均数定理及其应用

我们把n个正数α_1,α_2,…,α_n的k次对称平均数定义为其中k≤n为正整数;根号内分子部分是n个正数每次不重复地取k个的乘积之和,共有C_n~k项。为简单计,我们把(1)记为∑_n~k(α_1,α_2,…α_n),或者有时就记为∑_n~k。显然, ∑_n~1(α_1,α_2,…α_n)=(α_1 α_2 ……α_n)/n即为n个正数的算术平均数,而∑_n~n(α_1,α_2,…α_n)=则是n个正数的几何平均数。本文先介绍有关n个正数的k次对称平均数的重要性质的两个定理,然后给出它的一些应用。首先,我们证明定理1.(∑_n~k)~(?)k≥(∑_n~(k 1))~(k 1)·(∑_n~(k-1))~(k-1)(k=1,2,…,n-1) (这里规定∑_n~0=1)。证明.为书写方便,记(∑_n~k)~k=P_n~k。因而我们要证明的就是 (P_n~k)~2≥P_n~(k 1)·P_n~(k-1)(P_n~0=1,k=1,2,…n-1)     

MEAN APPROXIMATION OF A PERIODIC FUNCTION BY THE PARTIAL SUMS OF ITS FOURIER SERIES

Given a sequence of positive real numbers \[{\varepsilon _0},{\varepsilon _1},...,{\varepsilon _n},...\] which satisfy the conditions \[{\varepsilon _v} \to 0,{\varepsilon _v} - {\varepsilon _{v + 1}} \ge 0,{\varepsilon _v} - 2{\varepsilon _{v + 1}} + {\varepsilon _{v + 2}} \ge 0\] for v =0, 1, 2, ..., and a class L(s) of 2pi-periodic, L-integrable functions f(x) such that \[{E_n}{(f)_L} \le {\varepsilon _n}(n = 0,1,2,...)\], where \[{E_n}{(f)_L}\] is the best mean approximation of f(x) by trigonometrical polynomials of degree ≤n Let \[{S_n}(f)\] be the n-th partial sum of the Fourier series of f(x). It’s known that Oskolkov has proved \[\mathop {\sup }\limits_{f \in L(\varepsilon )} ||f - {S_n}{(f)_L}|| = \sum\limits_{v = n}^{2n} {\frac{{{\varepsilon _n}}}{{v - n + 1}}} \] where \[||f|{|_L} = \int_0^{2\pi } {|f(x)|} dx\] Oskolkov asked whether there is a single function \[{f_0}(x) \in L(s)\] for which the above relation is satisfied for all n, In this paper the following result is obtained. Theorem Let \[L(\varepsilon )\] be a class of 2pi-periodic, L-integrable functions as giyen above, then there exists a funotion \[{f_0}(x) \in L(\varepsilon )\] such that \[{{\tilde f}_0}(x) \in L(\varepsilon )\] and \[\begin{array}{l} \overline {\mathop {\lim }\limits_{n \to \infty } } \frac{{{{\left\| {{f_0} - {S_n}({f_0})} \right\|}_L}}}{{\sum\limits_{v = n}^{2n} {\frac{{{\varepsilon _n}}}{{v - n + 1}}} }} \ge C > 0\\overline {\mathop {\lim }\limits_{n \to \infty } } \frac{{{{\left\| {{{\tilde f}_0} - {S_n}({{\tilde f}_0})} \right\|}_L}}}{{\sum\limits_{v = n}^{2n} {\frac{{{\varepsilon _n}}}{{v - n + 1}}} }} \ge C > 0 \end{array}\] where C is an absolute constant. Some generalizations of the theorem are given.     

关于Szász-Mirakjan算子

§1 前言设 C={f∶f∈C[0,∞),存在着 N>0,使得 f(x)=O(x~N)(x→ ∞)}.C~r={f;f~(t)∈C.i=0,1,2,…,r}.Szász-Mirakjan 算子是:S_n(,fx)=(?)f(k/n)P_(nk)(x),P_(nk)(x)=e~(-nx)((nx)~k)/(k!),f∈C设 C_0={f:f∈C[0,∞),(?)(?)类似地定义 C_0~r.在[1]中我们曾证明了:对于C_0 中的函数 f,‖S_n(f)-f‖_c=O(k(f,(?)).若0<α<1,则‖S_n(f)-f‖_e=O(n~(-α)与k(f,t)=O(t~(2α))等价。这里 k(f,t)=inf{‖f-g‖_c t~2‖xg〃‖c‖}.不难类似地证明此结     

从L_1(G)到Segal代数的乘子算子

设S(G)是局部紧Abel群G上的Segal代数,M(G)是G上所有有界正则测度组成的Banach代数,{a_n}是L_1(G)的近似单位元并且‖a_n‖_1=1,(?)_n有紧的支集,令M_s(G)={μ∈M(G)|‖a_n*μ‖_s≤C,n=1,2,…},在M_s(G)内定义范数是本文主要结果是:μ是(L_1(G),S(G))乘子当且仅当μ∈M_s(G),并且‖T_μ‖=‖μ‖_(M_s),其中T_μ=μ*f,f∈L_1(G)。这一结论大大改进了Goldberg和Seltzer的结果。     

无穷级整函数的一个缺项定理

设f(z)=sum from n=0 to∞a_nz~n为整函数,为了显示它的缺项,我们把它表示成f(z/)=sum from n-1 to∞a(_λ_n)z(~λ_n)1929年,G.Polya猜测:当整函数(1)为有穷级时,若其残存指数序列{λ_n}满足Fabry缺项条件(?)λ_n/n=∞,则(?)(In L(r,f)/In M(r,f))=1成立其中M(r,f)=(?)|f(z)|,L(r,f)=(?)|f(z)|.1963年,Fuchs证实了这个猜测.当整函数(1)为无穷级时,T.Kovari和谢晖春分别在加强的缺项条件     

Hermite-Fejer Interpolation With Moved End Points

Let Z_n={z_(kn)=cosθ_(kn):θ_(kn)=(2k-1)/(2n)π,k=1,2…,n}be the zeros of T_n(x)=cosnθ(x=cosθ,θ∈[0,π]).For 0≤ε≤1,let α_n=:α_n(ε)=:cos(1-ε)/(2n)π,β_n=:β_n(ε)=:cos(2n-1+ε)/(2n)π=-α_n,X_n~(1)=(Z_n-{z_(1z)})∪{α_n},X_n~(2)=(Zn-{z_(nn)})∪{β_n},X_n~(3)=(Z_n-{z_(1n),z_(nn)})∪{α_n,β_n},Y_n~(1)=Z_n∪{α_n},Y_n~(2)=Z_n∪{β_n},Y_n~(3)=Z_n∪{α_nβ_n}.     

Asymptotic uniformity of the quantization error for the Ahlfors-David probability measures

Let μ be an Ahlfors-David probability measure on R~q;therefore,there exist some constants s_0 0 and ε_0,C_1,C_2 0 such that C_1ε~(s_0)≤μ(B(x,ε))≤C_2ε~(s_0) for all ε∈(0,ε_0) and x ∈ supp(μ).For n≥ 1,let α_n be an n-optimal set for μ of order r;furthermore,let {P_a(α_n)}_(a∈α_n) be an arbitrary Voronoi partition with respect to α_n.The n-th quantization error e_(n,r)(μ) for μ of order r can be defined as e_(n,r)~r(μ):=∫ d(x,α_n)~r dμ(x).We define I_a(α_n,μ):=∫_(P_a(α_n)) d(x,α_n)~r dμ(x),a ∈α_n,and prove that,the three quantities ■ are of the same order as that of 1/ne_(n,r)~r(μ).Thus,our result exhibits that,a weak version of Gersho's conjecture holds true for the Ahlfors-David probability measures on R~q.