共查询到20条相似文献,搜索用时 0 毫秒
1.
简要地总结了双线性算子及其主要性质和一些非线性方程的双线性形式 ,并对部分非线性偏微分方程如何变换成双线性形式进行了探讨 ;尤其是对近年来倍受关注的差分微分方程的双线性形式也进行了一些讨论 相似文献
2.
双线性算子和非线性方程的双线性形式 总被引:1,自引:0,他引:1
简要地总结了双线性算子及其主要性质和一些非线性方程的双线性形式,并对部分非线性偏微分方程如何变换成双线性形式进行了探讨;尤其是对近年来倍受关注的差分微分方程的双线性形式也进行了一些讨论。 相似文献
3.
本注记在文献[1 ]的基础上进一步讨论了算子A∈B(H) N 为算子T∈B(H)的算子点谱的特征 特别得到当T为亚正常算子、A与T及T 可换时A为T的算子点谱的充要条件 同时得到了KerτnT ,A=KerτT ,A成立的充要条件 相似文献
4.
张利勋 《电子科技大学学报(社会科学版)》1997,(1)
在一个线性算子群应用于二阶线性发展方程求解的思路基础上[1],归纳其中的生成算子为n阶矩阵形式,进一步提出了该生成算子的线性算子群,在巴拿赫空间中证明了这个线性算子群的基本特征,且是高阶线性发展方程求解理论的基础部分。当然,低阶线性发展方程的解为其特殊情况 相似文献
5.
徐明明 《深圳大学学报(人文社会科学版)》1993,(3)
F·P·Ramsey(拉姆西)发现,应用二阶逻辑对一个有有限数目公理的科学理论T而言,T中的理论性词项可以被消除。将T的公理用Ramsey语句来代替可以保持T的所有的经验推论。狭义而言,Ramsey方法通过对理论性词项的意义存而不论,从而提供了一种处理该类词项的逻辑技巧;广义而论,Ramsey方法强调对对象之间的关系的描述,而对对象的本质的解释存而不论。本文通过比较Ramsey方法与逻辑经验主义对运算和解释的区分以及对近代科学方法论的若干思考而得到这一对Ramsey方法的广义理解。 相似文献
6.
张富林 《榆林高等专科学校学报》1993,(1)
1980年,K.Iseki[1]提出具有条件(C)的BCK—代数是否可换的问题。1982年,M.palasinki[2]绐出了一个条件(C_1),并证明了在BCK—代数中条件(C_1)等价于可换。1989年,沈百英(3)证明了(C_1)与(C)是等价的,从而解决了Iseki的问题。本文给出具有条件(C)的BCK—代数等价于可换的一个直接证明。 相似文献
7.
8.
9.
10.
11.
12.
关于Hilbert-代数的两点注记 总被引:1,自引:0,他引:1
Diego在文[2]中提出了Hilbert代数的概念。本文讨论了Hilbert代数的若干性质,探讨了BCI-代数与Hilbert代数之间的关系。 相似文献
13.
Jiang Jiuliang 《渝西学院学报(社会科学版)》1994,(4)
由可知,从已知代数模的扩张U出发,便可得一广义导子f。反之,利用这个广义导子f,我们也可构造出一个代数模的扩张U'。本文证明了这两个代数模U与U'是同构的。并给出了由因子系构造代数的扩张的一个方法。 相似文献
14.
张利勋 《电子科技大学学报(社会科学版)》1997,(4)
考虑E.Hile-E.Yosida线性算子(半)群和Goldstein算子(半)群;在文献[1,2]基础上,提出了一个生成算子的扰动产生算子半群,证明了该算子半群的扰动具有的基本特征:算子依范数收敛,强连续性,唯一性及可微分性。从生成算子的角度说明这个算子半群的扰动与四阶闭环分布参数控制系统的关系。 相似文献
15.
16.
17.
利用拓扑度的基本性质,给出了凝聚随机算子的一个不动点定理,由此推广了Altman定理,为进一步研究随机算子方程解的存在唯一性及解的近似方法提供了一个有力的工具。 相似文献
18.
19.
20.