锥Pf的若干性质

利用实赋范线性空间E上非零连续线性泛函f,确定了E上半序关系和锥Pf,证明了锥Pf的几个性质,给出了H ilbert空间中Pf的对偶锥的表现形式及由Pf确定的H ilbert投影距离与T hom pson距离.     

两点拉伸型不动点定理及其应用

在研究各种非线性方程解的存在性问题时,上下解方法是一个强有力的工具.设 E是 Banach 空间,P 是 E 中的锥,E 中的半序由 P 导出.设 A:E→E 是一个算子.如果x_0∈E 满足     

向量优化中有效点的存在性

分别在有pre-order的无线性结构的集合和拓扑空间中，给出了有效点的存在性。作为应用，讨论了向量优化问题中解的存在性。最后给出了紧、弱紧、锥紧、锥半紧、上序紧、下序紧、上序半紧、准上序半紧和准下序半紧等之间的关系。     

线性拓扑空间中的序收敛

<正> 设L是线性拓扑空间,同时又是半序线性空间,则L中有两种不同的收敛:拓扑收敛和序收敛.Ralph E.Demarr称序收敛等价于拓扑收敛的半序线性拓扑空间为O空间,并在局部凸的假定下,证明了: 1.任何O空间必可赋范. 2.任何赋范空间可引入适当的正锥使成为O空间.     

全序极小锥

本文引进全序极小锥的概念,讨论了全序极小锥与正则锥、正规锥、极小锥及强极小锥的关系,改进了[1]中的几个结果和[11]的主要定理。按照[1]中定义,Banach 空间 E 中锥 P 称为强极小的,如在 P 诱导的半序下,E 中任何按序有上界的子集都有最小上界;P 称为极小的,如 E 中任二元 x,y 都有最小上界;P称为正规的,如(?)N>0,使得θ≤x≤y时,‖x‖≤N‖y‖;P 正规(?)(?)δ>0,使得 x,y∈P,‖x‖=‖y‖=1时,‖x+y‖≥δ(?)E 中任何序区间[x,y]都有界(?)x_n≤z_n≤y_n,且 x_n→z,y_n→z 时必有 z_n→z(参看[3]第三章);P 称为正则的,如 E 中任何单调递增且有上界的序列都是收敛的,即 x_1≤x_2≤…≤x_n≤…≤x_0,则     

非线性特征值问题正解的全局分歧

讨论非线笥特征值问题正解的全局分歧,即关于方程ｕ＝Ｆ（λ,ｕ）的分歧,其中ｕ限制在锥上,Ｆ（λ,．）按由锥诱导的序为正;给出了分歧存在的必要和充分条件及分歧枝的全局结构,并将所得到的结论应用到一个半线性椭圆型方程组中去。     

ψ-序压缩算子的不动点定理

2005年,张宪在Banach空间中通过其中的锥所定义的半序引进了序压缩算子,证明了几个相应的定理．但是在一般的度量空间中,能否定义序压缩算子,能否得到类似的结论呢？本文在度量空间X中,通过X上的泛函ψ-所定义的半序,引进了ψ--序压缩算子,并且得到了相应的不动点定理．     

Banach空间中半线性发展方程的复合单调迭代技巧

本文对具有正则锥的序Banach空间中半线性发展方程，利用C0-半群理论和复合单调迭代技巧，构造出了抽象迭代格式，并建立了最大、最小(拟)解的存在性．     

关于锥理论的一些注记

指出了再生锥和极小锥之间的关系,证明了一些具体锥的全正则性,探讨了半序空间中上确界的一些不同点,推广和发展了已有文献中的相关结论.     

对偶锥映像上的问题

本文研究了对偶锥映像上的一些非线性问题.利用拓扑度理论和半序的方法,获得了对偶锥映像的锐角原理,Debrunner-Flor不等式和不动点定理的结果.推广了一般单调映像的锐角原理和Debrunner-Flor不等式的一些结果.     

Symbolic computation of high order compact difference schemes for three dimensional linear elliptic partial differential equations with variable coefficients

We present a symbolic computation procedure for deriving various high order compact difference approximation schemes for certain three dimensional linear elliptic partial differential equations with variable coefficients. Based on the Maple software package, we approximate the leading terms in the truncation error of the Taylor series expansion of the governing equation and obtain a 19 point fourth order compact difference scheme for a general linear elliptic partial differential equation. A test problem is solved numerically to validate the derived fourth order compact difference scheme. This symbolic derivation method is simple and can be easily used to derive high order difference approximation schemes for other similar linear elliptic partial differential equations.     

Minus partial order and linear preservers

In this paper, we investigate the properties of minus partial order in unital rings. We generalize several results well known for matrices and bounded linear operators on Banach spaces. We also study linear maps preserving the minus partial order in unital semisimple Banach algebras with essential socle.     

一类四元数矩阵三次方程的可解性(英文)

确立了某类分块矩阵[M（₁1） M₁₂ XM₂₁ Y M₂₃Z M₃₂ M₃₃]的最大秩公式,其中,X,Y和Z是三个受限于四元数线性矩阵方程A₁X=C₁,XB₁=C₂,A₂Y=D₁,YB₂=D₂,A₃Z=E₁,ZB₃=E₂的变量矩阵.作为该公式的一项应用,我们推导出上述矩阵方程解集等同于某类四元数三次矩阵方程组A₁X=C₁,XB₁=C₂,A₂Y=D₁,YB₂=D₂,A₃Z=E₁,ZB₃=E₂,XYZ=J解集的条件.     

Linear Orders on General Algebras

We answer the question, when a partial order in a partially ordered algebraic structure has a compatible linear extension. The finite extension property enables us to show, that if there is no such extension, then it is caused by a certain finite subset in the direct square of the base set. As a consequence, we prove that a partial order can be linearly extended if and only if it can be linearly extended on every finitely generated subalgebra. Using a special equivalence relation on the above direct square, we obtain a further property of linearly extendible partial orders. Imposing conditions on the lattice of compatible quasi orders, the number of linear orders can be determined. Our general approach yields new results even in the case of semi-groups and groups.     

Hyers-Ulam stability of a general linear partial differential equation

Aequationes mathematicae - In this paper we will study Hyers-Ulam stability for a general linear partial differential equation of first order in a Banach space.     

扰动Boussinesq方程的近似守恒律

构造了具有扰动项的Boussinesq方程的近似守恒向量和近似守恒律.在方程允许拉格朗日函数的情况下,利用欧拉方程的部分拉格朗日函数方法,研究了含有一阶线性组合扰动项的Boussineq方程的近似守恒律.给出了该方程的近似守恒向量及近似守恒律的分类结果.     

Linear extensions of partial orders and reverse mathematics

We introduce the notion of τ‐like partial order, where τ is one of the linear order types ω, ω*, ω + ω*, and ζ. For example, being ω‐like means that every element has finitely many predecessors, while being ζ‐like means that every interval is finite. We consider statements of the form “any τ‐like partial order has a τ‐like linear extension” and “any τ‐like partial order is embeddable into τ” (when τ is ζ this result appears to be new). Working in the framework of reverse mathematics, we show that these statements are equivalent either to $\mathsf {B}{\Sigma }^{0}_{2}$ or to $\mathsf {ACA}_0$ over the usual base system $\mathsf {RCA}_0$.     

Approximation by means of piecewise linear functions

In the present paper we use piecewise linear functions in order to obtain representations and estimates for the remainder in approximating continuous functions by positive linear operators. Applications of these results for Bernstein and Stancu’s operators are also presented. In addition, we give some partial results concerning the best constant problem for Bernstein operators with respect to the second order modulus of continuity.     

Hyers–Ulam stability of linear partial differential equations of first order

In this work, we will prove the Hyers–Ulam stability of linear partial differential equations of first order.     

Linear Extensions and Comparable Pairs in Partial Orders

We study the number of linear extensions of a partial order with a given proportion of comparable pairs of elements, and estimate the maximum and minimum possible numbers. We also consider a random interval partial order on n elements, which has close to a third of the pairs comparable with high probability: we show that the number of linear extensions is n! 2^?Θ(n) with high probability.