基于四次矩阵样条的矩阵微分方程近似解

矩阵微分方程经常出现在物理模型和工程技术模型中。文章给出了用四次矩阵样条构造形如Y′=A(x)Y B(x),Y(0)=Y0,x∈[a,b],A(x)、B(x)∈C4[a,b]的一阶矩阵线性微分方程初值问题近似解的方法,研究了该方法的逼近误差并编制了实现该方法的一个算法,最后给出一些数值实例;比较结果表明,用四次矩阵样条所构造的近似解的逼近效果要比用三次矩阵样条所构造的近似解的逼近效果好。     

样条插值的一致收敛性

设 是区间[0,1]的一列分划;sp(3,△R)是对于分划△R 的三次样条函数空间,即若s(x),则s (x)i=0,1,…,NR-1;且 s(x)[0,1].记 对干连续函数[0,1] ,在sp(3,△k)中构造它的插值样条s(x),常见的三种,即三次周期型插值样条(若f(0)=f(1)的话)、三次自然型插值样条,(在[1]中称为(Ⅱ’)型插值样条)和三次(Ⅰ’)型插值样条(见[1] p94)。这三种样条在[2]中分别用插值算子L△Kf,N△Kf和S△Kf来表示,它们都是线性、幂等因而是投影算子。 I.J.Schoenberg[3] 曾提出过这样的问题:对于满足△k→0的分划列△R,是否对[0,1]上的一切连续函数f都有P△Kf-f…     

广义Lienard系统解的存在唯一性

本文研究一类广义Li啨ｎａｒｄ系统 x =1a(x) φ(h( y) -F(x) ) , y =-a(x) g(x) .在相当弱的条件下获得了该系统解存在唯一性的充分条件 ,推广和改进文献 [1～ 6]的相关结果 .     

广义Liénard系统解的存在唯一性

本文研究一类广义Liénard系统x=1/a(x)φ(h(y))-F(x)), y=-a(x)g(x).在相当弱的条件下获得了该系统解存在唯一性的充分条件,推广和改进文献[1～6]的相关结果.     

预不变拟凸函数的一个充分条件

对于可微的函数,其二阶导数可以刻画函数的凸性.受这种思想的启发,邢志栋等人根据微分方程的极值原理给出了拟凸函数的一个充分条件,本文利用文献[1]中建立的定理1,给出了二次可微的预不变拟凸函数的一个充分条件.X关于η(x,y)为不变凸集,二次连续可微函数f(x)满足条件D,η(x,y)满足条件C且η(x,y)下有界,若(A)x∈X,2f(x) g(x)f(x)T是半正定的(其中g(x):X(∩-)Rn→Rn是下有界函数),则f(x)关于η(x,y)是预不变拟凸函数.本文的结论是对文献[2]中相应结论的推广.     

基于B样条构造高精度拟插值

给出了在非均匀节点情形下用任意k阶B样条作为基函数构造具有高次局部多项式再生性质拟插值的一种方法,并用此方法构造出在无限区间R上具有k-1次多项式再生和k阶收敛阶性质的高精度拟插值(㏑f)(x).进一步地,利用B样条的相关性质由(㏑f)(x)构造出有限区间[a,b]上的高精度拟插值(㏑f)(x).作为数值例子,最后用4阶B样条构造的高精度拟插值(㏑f)(x)逼近一些典型函数以说明其确实具有高精度逼近性质.     

具有不变直线的可积非Hamilton系统的极限环分支

研究如下扰动可积非Hamilton系统x=-y(ax~2+1)+εf(x,y),y=x(ax~2+1)+εg(x,y),其中,a0,0︱ε︱1,f(x,y)和g(x,y)是关于x、y的n次多项式.应用平均法得到该系统至少存在[n-1/2]+[n+1/2]个极限环.     

一类非线性系统解的有界性和零解的全局渐近稳定性

对非线性系统 :dxdt =p(y) - φ(x) ,dydt =-q(y)f(x) -g(x)k(y)解的有界性和零解的全局渐近稳定性进行了讨论 ,运用并发展了文 [1]、[2 ]的方法 ,得到了该系统所有解有界和零解的全局渐近稳定的新充分条件 ,推广了文 [3]、[4 ]的部分结果。     

基于双二次B样条的拟插值算子的构造

对数据点{(xi,yj),f(xi,yj)},(i=0,1,…,n;j=0,1,…,m),应用双二次B样条基函数构造了一种双变量拟插值算子(Lf)(x,y),证明了算子(Lf)(x,y)具有二次多项式再生性,并给出了其逼近误差,最后通过数值模拟说明了该算子的可行性.     

半质环交换性的一个注记

设R是个半质环,C是R的中心,f_i(x,y)(i=1,2)是关于m个x,n个y的乘积。本文之定理用比较简单的方法证明了下列之命题(Ⅰ)蕴含命题(Ⅱ): (Ⅰ)若对任何x,y∈R,均有f_1(x,y)—f_2(x,y)∈C,则R为交换环。 (Ⅱ)若对任何x,y∈R,均有f_1(x,y) f_2(x,y)∈C,则R为交换环。从而,给出了文献[5]、[8]、[9]若干定理的简短的证明。     

关于一类二阶双曲型微分方程的柯西问题

研究了一类二阶双曲型微分方程vxx-h(x,y)k(y)vyy a(x,y)vx b(x,y)vy c(x,y)v f(x,y)=0的柯西问题解的存在性,现在采用较为初等的方法,即通过构造积分方程的逼近解序列,把这个问题转化为一个积分方程组问题,然后再利用归纳法和迭代法,证明这类二阶双曲型微分方程在一定条件下的柯西问题有解且可导,并给出了解的积分表示式。     

二阶线性向量方程初值问题的奇摄动解

本文应用边界层校正法讨论下述带小参数的二阶线性向量方程初值问题: εy″(x,ε)+P(ε)y′(x,ε)+Q(ε)y(x,ε)=f(x) y(0,ε)=a(ε) y′(0,ε)=b(ε)在一定条件下,获得了解的一致有效渐近展开,并给出了余项估计。     

关于不定方程x(x+1)(x+2)(x+3)=15y(y+1)(y+2)(y+3)

利用递归数列的方法,证明了不定方程x(x+1)(x+2)(x+3)=15y(y+1)(y+2)(y+3)仅有正整数解(x,y)=(3,1),(25,12).     

具有奇性的拟线性边界退化椭圆边值问题正解的存在性及正则性

主要研究来自于塑性流体的下列边界退化椭圆问题{u~γu_(xx)+u~γu_(yy)+p(x,y)r~(2α)(x,y)=0,(x,y)∈Ω u|(e)Ω=0, (x,y)∈(e)Ω (P)解的正则性的估计. 其中Ω={(x,y):x~2+y~2＜1}(∪)R~2,γ＞0 ,α≥0,r(x,y)是点(x,y)∈Ω到Ω的边界(e)Ω的距离,p(x,y)定义在Ω(-)上的具有正的上、下界的光滑函数. 本文应用正则化手段及精细的估计技巧,得到了问题(P) 解的存在性及正则性估计.具体的结果是:如果1+α/1+γ＜1/2, 问题(P)的解具有指标为2(1+α)/1+γ的 H(o)lder 连续性;如果1+α/1+γ≥1/2, 问题(P)的解的梯度是有界的. 显然,本文得到的正则性结果比经典的结果更好.     

关于不定方程3x(x+1)(x+2)(x+3)=14y(y+1)(y+2)(y+3)

运用递归数列、pell方程、同余式及平方(非)剩余等方法,证明了不定方程3x(x+1)(x+2)(x+3)=14y(y+1)(y+2)(y+3)仅有正整数解(5,3).     

一类一阶非线性微分方程可积条件及通解表示

讨论一阶非线性微分方程dy/dx=p(x)y+q(x)(y+f(x))n+r(x),用化归思想得到该方程可积的充分条件及推导出若干可积类型.     

解常微分方程的稳定的显式单步法

应用函数P(x)=1A+Bx+C来近似初值问题dydx=f(x,y),y(x0)=y烅烄烆0的解,应用积分,得到了一个0烆0求解微分方程的一个新方法,它是求解常微分方程的一个显式方法,是一个单步法,最重要的是它dydx=λy,y(0)=y0,(λ<0)是稳定的,数值试验表明该方法简单有效。     

无穷时滞非自治非卷积型微分方程周期解的存在性

利用相空间理论和方法,研究了形如x′(t)=x(t)[a(t)-b(t)x(t)-c(t)y(t)]y′(t)=y(t){-d(t)+∫x-∞K[s,t,x(s),x(t)]ds}无穷时滞非自治非卷积型微分方程周期解的存在性,并给了其性质的二个充要条件.     

解析函数唯一性定理的一个应用

由解析函数唯一定理推出了两个可应用于解析函数变形的定理，并给出了将复变函数由形式ｆ（ｘ＋ｉｙ）＝ｕ（ｘ，ｙ）＋ｉｖ（ｘ，ｙ）变到形式ｆ（ｚ）的简捷方法。