共查询到20条相似文献,搜索用时 62 毫秒
1.
陈启宏 《内蒙古大学学报(自然科学版)》1984,(1)
§1 引言本文考虑二阶线性微分方程 (1) 其中系数a(ij),b_i和c都是m个实变数x_1,…,x_m的实解析函数,并且在所考虑的区域内对于方程(1)作未知函数的齐次线性变换。令(这里λ(x)≠0是实解析函数)并且在方程(1)的两边同除以λ(x),我们得到关于未知函数 相似文献
2.
3.
4.
设F是特征数为0的域,V是F上的n维向量空间,G是作用在n维向量空间V上的有限伪反射群,F[V*]G是由n个代数无关的齐次不变式f1,f2,…,fn在F上生成的多项式代数.在有限伪反射群的一般不变式理论的基础上,求出了G的二维不变式环F[2V*]G的一组基本不变式,f1(x1,x2,…,xn),f2(x1,x2,…,xn),…,fn(x1,x2,…,xn),f1(y1,y2,…,yn),f2(y1,y2,…,yn),…,fn(y1,y2,…,yn),这里F[2V*]=F[x1,x2,…,xn;y1,y2,…yn].并给出了F[2V*]G的基本不变式和有限伪反射群G之间的关系. 相似文献
5.
韩锋 《大庆师范学院学报》2006,26(2):10-12
本文借助参考文献中的自治系统积分因子的构造方法以及系统接受李群的判别条件,给出二阶恰当自治系统所接受的李群,从而给n阶恰当自治系统的研究提供帮助。 相似文献
6.
扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系统,它开创性地将积分概念引入计算机实时软件的分析中,从而能够描述处理连续时间区间性质,是国际上公认的描述和分析实时系统的主流方法之一.由于时段演算内容丰富并且相关的综述和专著已出版,文章旨在对扩展线性时段不变式这一时段演算子集的模型检验问题的研究情况进行论述:①介绍时段演算、线性不变式及其扩展;②分别论述线性时段不变式以及扩展线性时段不变式的模型检验研究情况,其中重点介绍扩展的线性时段不变式,在离散时间语义和连续时间语义下的近期验证成果. 相似文献
7.
8.
常微分方程组接受单参数李群的判定条件 总被引:1,自引:0,他引:1
通过引入常微分方程组变量的无穷小变换,给出自治与非自治常微分方程组接受单参数李群的判定条件,从而推广了管克英等关于自治常微分方程组接受单参数李群的充要条件. 相似文献
9.
10.
详尽分析了循环不变式和囿界函数在循环研制中的地位和作用,并讨论了其构造方法。 相似文献
11.
Banach空间中一类线性完全二阶微分方程的适定性 总被引:1,自引:0,他引:1
肖体俊 《四川大学学报(自然科学版)》1988,(4)
本文讨论了Banach空间中的线性完全二阶微分方程u″(t)+Bu′(t)+Au(t)=0在B有界时,共Cauchy问题的适定性问题,得到了一个充分必要条件. 相似文献
12.
讨论了二阶自共轭微分方程非平凡解的零点及其有关的不等式性质,推广了Levin比较定理的结论。 相似文献
13.
高阶变系数线性微分方程的不变量组解法 总被引:4,自引:0,他引:4
王彦海 《曲阜师范大学学报》1999,25(4):35-37
利用高阶变系数线性微分方程的不变量组解法直接给出方程的一种新解法。 相似文献
14.
Euler方程的解与二阶微分方程的振动性 总被引:2,自引:0,他引:2
给出了一般Euler方程的解并讨论它的振动性,利用这些结果和Sturm比较理论研究了二阶微分方程的振动性质.对于一类具有"积分小"系数或可化为具有"积分小"系数的二阶微分方程的振动性与非振动性给出了简便、精确的判别方法. 相似文献
15.
16.
研究了两类二阶非线性泛函微分方程解的有界性,通过利用构造李雅谱诺夫函数的方法,得到该类方程解有界的几个新的充分性判据,改进并推广了该类方程的一些结果. 相似文献
17.
黄振友 《南京大学学报(自然科学版)》2001,18(1):36-40
本文讨论了有界变差余弦算子函数,证明了自反的Banach空间中,二阶抽象Cauchy问题υ"(t)=Aυ(t)十g(t),t∈[0,T],υ(0)=x∈D(A),υ'(0)=y∈D(A)关于一切g∈C([0,T],X)的mild解均为古典解的充分且必要条件是A为有界线性算子. 相似文献
18.
研究了二阶微分方程(r(t)x‘)’+p(t)x‘+(q1(t)q2(t)x=0,借助地不等式及辅助函数,给出了方程属于L.S.的若干定准则。 相似文献
19.
20.