正则谱算子的微扰

H.P.Kramer在文章[1]中得到了正则谱算子的无界微扰定理,他在定理的条件中假设D(S~*)(?)D(T~(*v)).而由于有这个条件,定理根本不能应用于由偶数阶形式微分算子τ=d~(2μ)/dx~(2μ) 及Sturm型边界条件所产生的微分算子上,得到他原文中的定理3。例考虑L_2[0,1]上由形式微分算子及边条件f＂＇(0)=f＂＇(1)=f＂(0)=f＂(1)=0所产生的微分算子T.显然,形式微分算子τ=d~4/dx~4是自共轭的.又由Lagrange公式及给定的边界条件,有     

关于шубин拟微分算子的一点注记

(?),M·A·的专著[1]是有关拟微分算子理论方面一本非常重要的著作,被从事线性偏微分算子一般理论研究的各国数学家广为引用。但该书中有一个非常重要的定理,即定理23.2,由于作者使用了一个错误的不等式(?)而使该定理证明出现了错误。本文将对该定理证明中的错误之处给出重新证明,以便于     

一类非自治n种群互惠系统的周期正解

研究了一类具有周期系数互惠的n种群微分系统.在适当的Banach空间中引入算子,将微分系统化为等价的算子方程;利用Arzela-Ascoli及重合度的同伦不变性质,证明了所引入的算子满足重合度延拓定理的条件,从而证明了系统周期解的存在性,并给出解的估计.     

微分几何定理证明中最简单辅助条件的计算

在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。对预先确定的标准如变元个数最少、导数算子阶数最低等，利用根微分理想分解的Rosenfeld—Groebner算法，给出了微分几何定理机器证明中最简单辅助条件的构造性算法。     

一类微分算子的展开定理

自从1908年,G.D.Birkhoff开始研究在有限区间的端点满足正则齐次边界条件的线性常微分方程之非自伴边值问题的特征展开以来,至今关于这方面已有很多的工作,并且其中主要的东西已经被系统地叙述在专门的书籍中了(例如),后来J·Schwartz与H·P·Kramer又从微扰的观点来研究谱算子,并把它用于二阶与高阶微分算子上。但这个方法只能适用于一类特殊的正则边界条件所产生的微分算子。本文现在从微扰的观点来统一处理     

一类奇异拟微分算子代数

本文是“奇异拟微分算子的两个定理”(云南大学学报,6(1984),4:19)一文的扩充和继续,考虑了L_1~m类奇异拟微分算子,利用部份拟微分算子技巧,借助Poisson算子和其逆,通过微局部分析,解决了L_1~m类算子的复合问题,证明了L_1~m类构成代数。     

有限次可微象征拟微分算子的L~p(1

赖绍永  杜心华 《四川师范大学学报(自然科学版)》1988,(3)

四阶极限点型微分算子积的自伴边值问题

在微分算式l(y)=y^(4)-(py′)′ qy(t∈[α,∞))满足l^k(y)(k=1,2)均为极限点型条件下,该文运用Calkin定理及微分算子自伴扩张理论,以边界条件形式研究了由l(y)生成的2个微分算子积的自伴边值问题,并获得其自伴的充分必要条件,其结果对微分算子理论的研究是有益的。     

关于m-增生型算子的扰动

给出了具有凝聚扰动的ｍ 耗散算子的一个不动点定理,利用这个定理得到了ｍ 增生型算子加凝聚扰动、紧扰动或有紧预解算子的零集存在性结论·在较弱的条件下,证明了ｍ 增生算子加紧扰动或有紧预解算子加连续有界扰动的满射性定理·这些结果都不需要空间一致凸的假设·给出了满射性定理在非线性偏微分方程解的存在性问题中应用的例子·     

Banach空间m增生算子的稳定性问题

本文得出了Banac空间中线性m—增生算子扰动问题的三个定理,推广了前人所得结果。定理1·3得到了比Gustafson所得的相对有界扰动更宽的条件;定理2·1对Okazawa中所得结果添补了b=1时的情况;定理3·2则将Okazawa中的一个关于线性算子的结果扩充到了非线性情形。     

L_(l~2)~p(R~n)上椭圆伪微分算子的Fredhoim定理

文[1]的作者利用他在[2]中的一个结果,对于L_N~P(R~n)=L~p(R~n)( )…( )L~p(R~n)上的一类椭圆伪微分算子建立了Fiedholm定理。本文将[1]中结果推广到L_l~p2(R~n)空间上,得到了L_l~p2(R~n)上一类椭圆伪微分算子的Fiedholm定理。 我们首先对使用的符号和概念作必需的说明。     

含摄动算子的Banach空间微分方程

在Banach空间X中考察:??其中f_0=f g,f满足非紧型条件,g满足耗散型条件(见下文).由于实际问题(如中子迁移)的需要,产生了微分积分方程理论,而方程(1)正以微分积分方程为其典型背景之一.本文从研究非紧型算子对耗散型算子的摄动理论入手,首先得到了上述两种算子间的一个关系.然后,利用这一结果进一步研究了问题(1)、(2)以及(1)的周期解;在一致连续性(关于f和g)方面,推广和改善了[2]、[3]、[4]、[8]、[10]中的若干结果.特别地,我们证明了[3]中定理4对g一致连续性的要求是多余的.最后证明了一个不动点定理.     

拟可分解算子的等价条件及遗传条件

本文给出 T∈B(X)是拟可分解算子的一个等价条件,证明了在拟幂零等价条件下以及在相似条件下,算子的拟可分解性质是遗传的。最后,建立了拟可分解算子在其谱极大空间上的限制成为拟可分解算子的准则。无特殊声明,本文将采用[2]中的符号。定理1 T∈B(X)是拟可分解算子的充要条件是 T 有(AC)谱容度(?)(·)且(?)(·)满足条件     

有限次可微象征拟微分算子的 L~p(1

赖绍永 《四川师范大学学报(自然科学版)》1989,(3)

拟导数所定义的自伴算子

(一)引言由拟导数所定义的微分算子——下简称拟微分算子,最初由Shin.D提出并进行了一般的研究,其后各种具体类型的拟对称微分算子见于众多的文献与著作中,如等,但一般说来,他们仅作为经典的对称微分算子的普遍形式在系数消失光滑性条件之下的一种推广。1975年Zettl.A。对拟微分算子一般理论进行了进一步研究,他的工作使得拟对称微     

带有非局部条件的分数阶中立型发展方程的近似可控性（英文）

讨论了带有非局部条件的分数阶中立型微分系统的近似可控性.利用分数幂算子和Krasnoselskii不动点定理,证明了半线性分数阶中立型微分系统温和解的存在性.进而在相应线性系统近似可控的基础上,讨论了半线性中立型微分系统的近似可控性.     

带有非局部条件的分数阶中立型发展方程的近似可控性

讨论了带有非局部条件的分数阶中立型微分系统的近似可控性. 利用分数幂算子和Krasnoselskii不动点定理, 证明了半线性分数阶中立型微分系统温和解的存在性. 进而在相应线性系统近似可控的基础上, 讨论了半线性中立型微分系统的近似可控性.     

一类解析函数的极值问题

利用算子引进了新解析函数类Tmμ,γ(α,β;A,B),利用微分从属关系得到系数估计、偏差定理、覆盖性质、单叶半径、凸半径以及极值点等性质.推广了文献[1]中的相应结论.     

基于最小推理机的模糊系统一阶逼近性

推理机在模糊系统的前件模糊集运算中起着关键性作用.通过引入最小推理机(最小算子),重新建立一种模糊系统,利用多元函数微分中值定理和最小运算的性质证明了该模糊系统对连续可微函数具有一阶逼近性.     

一类捕食者- 食饵三次Kolmogorov脉冲系统正周期解的存在性

研究一类三次Kolmogorov脉冲系统正周期解的存在性, 通过在适当的Banach空间中引入算子, 将微分系统化为等价的算子方程; 利用重合度的同伦不变性证明了所引入的算子满足重合度理论中连续性定理的条件, 并建立了存在正周期解的充分条件, 推广并改进了一些相关结果.