简介:格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.
简介:Inthispaper,thevariablecoefficientSine-Gordontypeequationuxt=a(t)sinu+β(t)uxx+k(t)(xux)xisdiscussed.ItisrelatedtotheeigenvalueproblemVx=QV.Thestructureequationandtheevolutionlawsofscatteringdataforthesecondequationarederivedandtheinversescatteringsolutionofthefirstequationisobtained.
简介:应用LeraySchauder不动点定理,研究了一类具时滞的Rayleigh型泛函微分方程:x″(t)+f(x′(t))+g(x(t-τ(t)))=e(t)的反周期解问题,得到了反周期解存在的新的结果。