不动点指数的Leray——Schauder定理的一种推广

在[2]中推广孤立不动点指数的 Leray-Schauder 定理从映射 Fréchet 可导到外准可导([2],定理2.6)。在本文中我们根据[3]定理15.1的一个注记(本文定理1)把反函数定理及孤立不动点指数的 Leray—Schauder 定理从 Fréchet 可微推广到不可微但有一个适当的线性同胚逼近其差商的情形。定理1(隐函数定理)设 X、Y 和 Z 是 Banach 空间,U、V 分别是 x_0∈X 和 y_0∈Y 的开邻     

Schrdinger方程的一个高精度差分格式

用含参数的差分方程逼近微分方程的方法 ,构造了Schr dinger方程的一个三层高精度隐式差分格式 :112τ(32 un + 1j+ 1-2unj+ 1+ 12 un-1j+ 1) + 56τ(32 un+ 1j -2unj+ 12 un -1j ) + 112τ(32 un + 1j-1-2unj-1+ 12un-1j-1) =iun + 1j+ 1-2un + 1j +un + 1j-1h2 ,其截断误差阶可达到O (τ2 +h4) 并用Miller定理证明了其稳定性 ,数值例子表明该格式是有效的     

构造对偶式 巧解竞赛题

构造对偶式是解竞赛题时常用的一种解题技巧,对于一些较难的问题,如果拘泥于常规解法,常常需要进行繁琐的运算而且容易出错,若能从题设条件和所求结论的特点出发,构造与之相关的对偶式,将问题转化为所构造的对偶式来确定,可以收到峰回路转、化难为易的功效·一、利用奇偶关系构造对偶式例1(2003年北京市中学生数学竞赛试题)若(2x-1)5=a5x5+a4x4+a3x3+a2x2+a1x+a0,则a2+a4=·解:设x=0,得a0=-1;设x=1,得a5+a4+a3+a2+a1+a0=1;设x=-1,得-a5+a4-a3+a2-a1+a0=-243·后面两式相加得a4+a2+a0=-121·因此,a2+a4=-120·二、利用和差关系构造对偶式例2(…     

带显式级的A-稳定的对角隐式龙格-库塔方法

证明了A-稳定的级阶不低于2的3级对角隐式Runge-Kutta方法的阶至多为3;构造了级阶为2、有显式级的A-稳定的三级三阶对角隐式Runge-Kutta公式双参数簇.所构造的方法簇适于求解刚性微分方程初值问题.     

Bézier曲线等分作图算法的包络性分析

Bézier曲线是一种最重要且最简便的构造控制参数曲线方法,是计算机图形学的重要内容。Bézier曲线的等分作图算法是一种简便、计算量小的算法;同时Bézier曲线在一些实际应用中可由包络形成因而具有包络性。本文给出了二次三次及n次Bézier曲线等分图算法的包络性证明,证明了Bézier曲线的包络性,为理解Bézier曲线的等分图算法提供了新的方式。     

一类G2连续的C-Bézier保凸插值曲线

本文给出了一种G2连续的C-Bézier保凸插值曲线的算法,在每相邻型值点之间增加两个结点构造一段C-Bézier参数曲线,增加的结点仅通过几何方法即可实现,所构造的曲线是保凸和G2连续的并且可通过控制参数{ti}、{λi}及α进行局部修改.     

广义似变分不等式系统的逼近问题及其算法

考虑广义似变分不等式系统(简写为SGVLIP)的数值解,首先提出和SGVLIP相关的逼近问题,并证明了逼近问题解的存在性。基于这些逼近问题,构造了求解SGVLIP的算法,证明了SGVLIP解的存在唯一性以及算法的收敛性。     

一类G~2连续的CC-Bézier保凸插值曲线

本文给出了一种G2 连续的C Béｚｉｅｒ保凸插值曲线的算法,在每相邻型值点之间增加两个结点构造一段C Béｚｉｅｒ参数曲线,增加的结点仅通过几何方法即可实现,所构造的曲线是保凸和G2连续的并且可通过控制参数{t _i}、{λ_i}及α进行局部修改。     

用于前馈神经网络的一种相继逼近训练算法

本文提出了一种用于前馈神经网络的基于隐单元递增的相继逼近训练算法,利用N维奇偶问题数值实验来比较基于隐单元递增的相继逼近训练算法的BP网络与标准BP网络,结果表明,基于新算法的BP网络是收敛的.     

构造对偶式解题的七种途径

构造对偶式解题是一种常用的方法 ,是指挖掘出题目中潜在的对称性 ,充分利用对称原理 ,就能在纷繁的困惑中 ,求得简捷的解法 .下面例谈构造对偶式解题的若干途径 ,供参考 .一、互倒构造是指利用倒数关系构造对偶式 .例 1　若ｘ、ｙ、ｚ∈ (0 ,1 ) ,求证 11 -ｘ ｙ 11 -ｙ ｚ 11 -ｚ ｘ≥ 3 .证明　设Ｍ =11 -ｘ ｙ 11 -ｙ ｚ 11 -ｚ ｘ,构造互倒对偶式Ｎ =(1 -ｘ ｙ) (1 -ｙ ｚ) (1 -ｚ ｘ) ,则Ｍ Ｎ =11 -ｘ ｙ (1 -ｘ ｙ) 11 -ｙ ｚ (1 -ｙ ｚ) 11 -ｚ ｘ (1 -ｚ ｘ) ≥ 2 2 2 =6.而Ｎ =3 ,故Ｍ≥ 3 .即　 11 -ｘ ｙ 11 -ｙ …     

Banach空间带误差的隐迭代过程逼近渐近非扩张映象族的公共不动点

考虑实Banach空间中带误差的隐迭代过程{xn}:xn=αnxn-1+(1-αn)Tnnyn+un,yn=βnxn-1+(1-βn)Tnnxn+vn,n=0,1,2,….这里x0∈K,{αn},{βn}是(0,1)中的实数列,Tn=Tn(modN),{un},{vn}是K中有界数列,研究了隐迭代过程{xn}逼近渐近非扩张映象族{Ti∶K→}Ni=1的公共不动点,所获结果推广文献[2-]和[3]的结果。     

用构造法求三角最值

许多三角最值问题,若用构造法求解,可使复杂问题简捷获解.这样不仅有利于数学思想的运用,而且有利于培养创新意识和创新能力.根据题设条件的特征,恰当构造一种新形式是灵活运用此法的关键,本文举例介绍几种方法.一、构造对偶式,用整体思想例1已知sin2α+sin2β+sin2γ=34,试求sin2α+sin2β+sin2γ的最大值.解:由sin2α+sin2β+sin2γ=34可得cos2α+cos2β+cos2γ=32.(1)构造对偶式sin2α+sin2β+sin2γ=x,(2)(1)2+(2)2得94+x2=3+2[cos(2α-2β)+cos(2β-2γ)+cos(2α-2γ)]≤3+2×3=9,其中等号可以在例如α=β=γ=π6时成立.∴x2≤274,|x|…     

Schroedinger方程的一个高精度差分格式

用含参数的差分方程逼近微分方程的方法，构造了Schroedinger方程的一个三层高精度隐式差分格式：1/12τ(3/2uj 1^n 1-2uj 1^n 1/2uj 1^n-1) 5/6τ(3/2uj^n 1-2uj^n 1/2uj^n-1) 1/12τ(3/2u(j-1)^(n 1)-2u(j-1)^n 1/2u(j-1)^(n-1)=i[u(j 1)^(n 1)-2uj^(n 1)- u(j-1)^(n 1)]/h^2，其截断误差阶可达到O（τ^2 h^4)，并用Miller定理证明了其稳定性，数值例子表明该格式是有效的。     

比例中项式的证明方法

遇到需要证明比例中项式成立的题型 ,可以从三个方面考虑 :利用平行线构造比例中项 ;利用有公共边的两个三角形相似构造比例中项 ;等量代换 (等积代换、等线段代换 ) .1　利用平行线构造比例中项式例 1　如图 1 ,由平行四边形 ABCD的顶点 A作一条直线分别交 BD、DC及 BC的延长线于 G、F、E,求证 :AG2 =GE . GF.分析 :由平行四边形 ABCD的两组对边平行 AD∥ BC、AB∥ CD,可得 AGGE=DGBG,GFGA=DGAB,所以 AGGE=GFGA,即 AG2 =GE . GF.2　找出有公共边的两个三角形相似例 2　如图 2 ,△ ABC中 ,AB=AC,∠ 1 =∠ 2 ,求…     

构造三角对偶式解三角题初探

本文将探求,具备什么样特征的三角式,可以构造相应的三角对偶式,以及施行怎样的运算顺序,就能达到化繁为易的目的。一、由公式sin~2α+cos~2α=1,cos~2α-sin~2α=cos~2α,cosα·cosβ±sing·sinβ=cos(α±β),sinα·cosβ±cosα·sinβ=sin(α±β)可以得出,具备上述特征的三角式,即为本文探求的第一类三角式。下面举例说明。     

一道竞赛题的推广及简证

文 [1]用函数性质证明了第 31届西班牙数学奥林匹克第 31题 :如果 (x+x2 +1) (y+y2 +1) =1,那么 x+y=0 .该题可作如下的推广 :如果 (x+x2 +m) (y+y2 +m) =m,其中 m∈ (0 ,+∞ ) ,那么 x+y=0 .下面用构造法给出简证 .思路 1——构造对偶式证明 1　由已知 ,m>0 ,(x+x2 +m ) (y+y2 +m) =m,1令 (x- x2 +m) (y- y2 +m) =n,21× 2得 (- m) (- m) =mn,∴ n=m,即有 (x- x2 +m) (y- y2 +m) =m.3由 1得 x+x2 +m=my+y2 +m=- (y- y2 +m) . 4由 3得 x - x2 +m =my- y2 +m=- (y+y2 +m) . 54 +5得 2 x=- 2 y,∴x+y=0 .思路 2——构造等比数列证明 2　 m >0 …     

基于随机Taylor展开式的三种随机微分方程半隐式数值求解方法

本文基于随机Taylor展开式构造了三种求解随机微分方程的半隐式型数值算法,分析了这三种算法的均方稳定性,并且与当前常用算法所得数值解的精度进行了比较.     

基于Pade逼近的四阶抛物型方程高精度差分格式

文章基于Pad6逼近,针对四阶抛物型方程周期初值问题。构造了一个无条件稳定的高精度的两层隐格式。它的局部截断误差为0（（△t）^2＋（△x）4）,△t与△x分别为时间和空间步长．误差分析和数值实验均表明,构造的格式比Saul’ev构造的格式精度要高10^-4 - 10^-5阶．从精度及稳定性方面考虑,所构造的格式也比文[4]的显式格式要好．     

四阶杆振动方程隐式辛格式的迭代解法

对四阶杆振动方程uu uxxxx=0构造了一个以tanh(x)为基础的隐式辛格式，然后对此格式建立了一种选代解法，并讨论了此迭代解法的收敛条件，数值例子表明：文章所给出的迭代解法是有效的，理论分析与实际计算相吻合。     

核子计中的自然对数快速算法

基于麦克劳林级数公式计算自然对数,构造计算式向1逼近,从而加快级数的收敛速度。该算法应用于核子计的数据处理,其计算速度和精度达到了设计要求。