γ-条件下Hansen和Patrick方法的收敛性

1977年Hansen和Patrick提出了一族求复函数f:C→C零点的带参数λ的迭代方法[1]:xn+1=xn-(λ+1)f(xn)/λf1(xn)±(√f1(xn)2-(λ+1)f(xn)fn(xn))n(>)0.[2]在区间估计的判据下证明了此方法的收敛性;而[3]用Smale的点估计判据证明了:当λ∈[-1,1]和α(x,f)≤3-2√2时,此方法对复解析函数是收敛的.但是解析性的条件太强了.[4]和[5]针对性地给出了点估计的弱条件,分别对Newton和Halley方法作了分析.     

关于一类解析函数的性质

引进用Hλ算子定义的一类解析函数Pλ(μ,α,β).我们导出该类中函数的积分表达式,证明偏差定理,并推广了文[3]中的主要结果.同时改进了[4]中的一个不等式.     

关于代数特征值反问题对称情况可解的充分条件

§1.引言 本文讨论下述特征值反问题的可解性: 问题 G.设A_0=(a_(ij)~((0)))和A_k=(a_(ij)~((k)))(k=1,…,n)是一组n+1个n×n实对称矩阵,λ_1,…,λ_n是n个不同的实数.求实数c_1,…,c_n使得矩阵A_0+sum from k-1 to n C_k·A_k的特征值为λ_1,…,λ_n. [1]和[2]曾给出此问题可解的充分条件.本文应用Rothe不动点定理[3]给出问题G可解的另外两个充分条件.本文的结果可判定[1]和[2]中定理所不能判定的某些问题     

线性同胚于星象函数的一族解析函数(II)

本文继续研究[1]中引进的线性同胚于星象函数的一族解析函数A(λ,α),给出了A(λ,α)族的卷积定理以及系数和的一个不等式.     

空间环域的模偏差定理与Grtzsch型区域函数的渐近性质

本文首先建立了空间环域的两个模偏差定理,其中定理1是平面上相应结果的空间形式,定理2则是文[1]中定理2的加强,然后,利用定理2对三维空间的Grtzsch型区域函数φ_(a(α))的渐近常数进行估计,得到9.1942…<λ_3<9.9903,改进了已知的结果,最后,把这些结果推广到任意n维空间的情形。     

Orlicz空间中Müntz有理函数逼近的Jackson型定理

正1引言Müntz在文献[1]中研究了Müntz系统{x~(λn)}~∞_(n=1)在C[0,1]中的稠密问题,给出了著名的Müntz定理,这也将Weierstrass定理推广到了更一般的情况.之后学者们逐步转向了考虑Müntz有理逼近速度等问题的研究,而且这类研究正日益深入.设C[0,1]是[0,1]区间上全体连续函数,对非负递增实数序列∧={λ_n}~∞_(n=1)以∏_n(∧)表示n阶Müntz多项式空间,即{x~(λ_1),x~(λ_2),…,x~(λ_n)}的线性组合的全体,以R_n(∧)表示n     

关于广义函数族的表示

<正> [1]中研究了(R)中的广义函数族的局部性质及其解析表示,要对(R~n)(n≥2)中的广义函数研究类似的问题,会遇到一些本质性的困难.当n≥2时,即使单个广义函数的解析表示也是一个没有完全解决的问题,过去只有这个问题在某些特殊情形下的解答(见[2],[3]). 本文采用与[1]中不同的方法来研究(R~n)中广义函数族的局部性质及其解析表示.第一节中,我们证明了广义函数族的局部结构定理,当n=1时,所得结果改进了     

两个不等式的统一推广与应用

2004年第16届亚太地区数学奥林匹克试题第5题[1]的内容为证明:对任意正实数a,b,c,均有(a2 2)(b2 2)(c2 2)≥9(ab bc ca)(1)而2004年美国第33届数学奥林匹克试题第5题[2]的证明包含下列不等式(a3 2)(b3 2)(c3 2)≥(a b c)3(2)其中a,b,c∈R .本文对此类不等式进行了统一推广,构造了一个含有三个参数的不等式,并且给出了一些重要应用(推论).定理对于a,b,c∈R ,λ,μ,γ∈R ,n∈R ,则有(1λa3 2n)(1μb3 2n)(1γc3 2n)≥3n2(a b c)3λ μ γ(3)为证明定理需要引用两个引理.引理1对于a,b,c∈R ,n∈R ,有(a3 2n)(b3 2n)(c3 2n)≥3n2(a3/2 b3/2 …     

三角形广义正弦定理的统一形式

文 [1 ]、[2 ]分别类似于三角形的正弦定理 ,给出了一系列等式 ,并分别称之为“类正弦定理”和“广义正弦定理” .本文试就一般情形 ,利用正弦定理给出了三角形广义正弦定理 (或类正弦定理 )的统一形式 ,作为其特殊情况 ,我们得到了文 [1 ]、[2 ]中的主要结果 .定理　在△ＡＢＣ中 ,设Ａ′、Ｂ′、Ｃ′分别为边ＢＣ、ＣＡ、ＡＢ上的点 ,△ＡＢＣ的外接圆半径为Ｒ ,λ1、λ2 、λ3∈ [0 ,1 ],则有ＡＡ′ｓｉｎＢｓｉｎＣｃｓｃ(λ1Ａ +Ｂ) =ＢＢ′ｓｉｎＣｓｉｎＡｃｓｃ(λ2 Ｂ +Ｃ)= ＣＣ′ｓｉｎＡｓｉｎＢｃｓｃ(λ3Ｃ +Ａ) =2Ｒ (1 )或…     

M~(-1)N特征值模的上下界估计——对Martins文章的注

Martins根据上述定理讨论了AOR迭代法的收敛性,本文在上面定理的基础上,得出了更加一般的结果,即对满足一定条件的n×n矩阵M和N,得出了矩阵M~(-1)N的特征值λ_i(M~(-1)N)(i=1,2,…,n)的模|λ_i(M~(-1)N|的上下界估计式,从而取M和N分别为(2)中相应的矩阵,就可得出定理1′和定理2′的结果.此外,对AOR的收敛性,得出一个充分条件,可以包含[2,3]和其它文献的某些结果.在下面的讨论过程中,我们还对[2,3]的某些结果作一点注解,也许能使这些结果更为完备.     

从Carnap-Bass-Horn定理谈起

所谓Carnap-Bass-Horn定理系指如下定理: 定理A 对每个正整数n,具有n个自由生成元的自由一目Boole代数(即monadic Boolean algebras,以下简称一目代数)所含元素数目有限,其精确表达式为2~([2~n.2(2~n)1])。 由于S5代数和一目代数两概念完全相合(见文末说明),上述定理等价于次之 定理B 对于每一正整数n,具有n个自由生成元之自由S5代数所含元素数目有限,其精确表达式为2~([2~n.2(2~n-1)])。 又因模态系统S5的只含n个命题变元的子系统的Lindenbaum-Tarski代数就是具有n个自由生成元的自由S5代数,再根据在文[2]和[2]中引进的(广义)模态函     

高维正弦定理的再改进及其应用

本文借助于Cayley-Mensger行列式定义了n维欧氏空间E~n中单形A顶角A_k(1≤k≤n+1)的正弦值,由此得到了新的正弦定理。这一定理大大地改进了文[1]和[2]中所给出的正弦定理,并且弥补了文[1]与[2]中的好多不足之处,在第3节中,还给出了新上弦定理的应用(即性质定理2)。     

空间n边形中的射影定理和余弦定理

三角形中的射影定理、余弦定理和正弦定理,文[1]已(于1954年)推证到凸n边形。文[2]则应用不同的方法(复数方法)对文[1]的结论进行了再论证。文[3]将前两个定理推证到n面体。本文拟应用向量代数中的一个最基本的等式推证,较易得到空间n边形中的射影定理和余弦定理。     

关于线性过程谱函数估计的弱不变原理的一点注记

设随机序列{X_n; n=0,±1…}可表示成为X_n=sum from j=-∞ to +∞(α_(j-n)ζ_j其中{α_j}是满足sum from j=-∞ to +∞(α_j~2)<∞的实数列,{ζ_j}是白噪声序列。通常用(?)_N(λ)=integral from 0 to λ(1/2πN)∣sum from k=1 to N(x_(?)e~(iμk)∣~2 dμ来估计{x_n}的未知的谱函数F(λ)。在一定的条件下,当{ζ_j}是独立同分布随机序列时,和[3]证明了:过程√(?)[(?)_N(λ)-F(λ)]的分布弱收敛到某个正态过程ζ(λ)在C[0,π]上产生的测度。本文在他们工作的基础上,运用鞅的极限定理和鞅不等式,改进了[3]中的两个关键引理,从而证明了当{ζ_j}是有控制分布的实四阶鞅差序列时,仍有相同的结果。     

指数分布族参数的渐近最优与可容许的经验Bayes估计的再探讨

文献[1]在平方损失及超参数α服从伽玛分布且X1′,…Xn′(历史样本)和X(当前样本)独立同分布的条件下,构造了指数分布族{f(x|λ)=λe-λx,λ>0,x>0}的参数λ的渐近最优与可容许的经验Bayes估计.本文在超参数α分别服从伽与分布与指数分布且当前样本由X扩充为X1,…,Xm的情况下,重新构造了指数分布族参数λ的渐进最优与可容许的经验Bayes估计,从而将文献[1]的结果进行了推广.     

一个无理不等式及其猜想的初等证明

文[1]给出了不等式:设a,b＞0,0＜λ≤2,则(√a/a+λb)+(√b/b+λa)≤2/(√1+λ)…………………(1) 文[2]类比给出了不等式:a,b＞0,0＜λ≤3,则3(√a/a+λb)+3(√b+b+λb)≤2/3(√1+λ)……………(2) 文[2]猜想:a,b＞0,n≥2,n∈N,0＜λ≤n,则n(√a/a+λb)+n(√b+b+λa)≤2/n(√1+λ)……………(3) 文[2]只给出不等式(2)的微分法证明,未能给出初等证明,并指出如何给出初等证明是一个值得继续研究的问题.本文将给出不等式(2)、(3)的一个初等证明;因为要用到不等式(1)证明过程中的一个结论,所以,先证不等式(1).     

关于仿射极小平移超曲面

本文属于仿射微分几何。在3-维欧氏空间 E~3中,F.Scherk 定理告诉我们,极小平移曲面必需是平面或 Scherk 曲面az=1n(cos ax/cos ay),a=constant。在一般(n+1)维仿射空间 A~(n+1)中,仿射极小平移超曲面是什么曲面?本文得到了这种曲面共有两类的结果(见定理1)。当 n=2时,这就是引文[3]中的结果(见定理2)。     

参数边界条件下Sturm-Liouville算子的逆谱问题

本文研究参数边界条件下Sturm-Liouville算子的逆谱问题.利用Weyl函数的结果,证明对固定的n,n∈N_0,及不同的b_k,谱集合{λ_n(q,b_k)}_(k=1)~(+∞)能够唯一确定[0,1]上的势函数q(x),这个定理是文献[4]结果的本质推广.     

关于Polato■lu的两个结果

我们指出,[1]中定理A和B的证明是通不过的.事实上,按照S(z)=z …属于S_λ~(?)的定义有e~üzs‘(z)/s(z)=cosλ·p(z) isinλ,这里p(z)在|z|<1中解析且满足条件Rep(z)>0,p(0)=1但[1,(2.2)]把上式误写成e~üzs‘(z)/s(z)=p(z),并以它为出发点进行推理,这就导致[1]中引理2.1,推论2.1直至上述定理A和定理B的证明皆不能成立.本文的目的是纠正[1]的错误并建立相应的正确结果.     

线性时变控制系统解的一致渐近稳定性

本文考虑线性时变控制系统的解的一致渐近稳定性,所得到的结果(定理1—3)将包括[2]、[4]、[5]中的相应结果。