简介:利用二阶微商的四阶精度紧致差分逼近公式,给出解Schroedinger方程的精度为O((1-2θ)τ+τ^2h^4)的一个新的加权差分格式,当1/2≤θ≤1时格式绝对稳定.特别地,当θ=1/2时,文章所给出的差分格式可高达四阶精度,数值结果与理论分析相一致.
简介:讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln(n〉3),首先给出了L3的真值表,它是C2真值表的扩充,它也保持MP规则和正则性,接下来讨论了b中的重言式(tautology)与IPC(inmitionisticpropositionalcalculus)公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。
简介:设A,B是作用在Hilbert空间H上的两个有界线性算子,文中利用算子分块的技巧,在算子A值域闭的情况下讨论了算子方程AXA*=B解及其正解存在的充要条件并用算子矩阵的形式给出了它们的具体表示。