一类含有p-拉普拉斯算子的二阶边值问题的单调迭代正解（英文）

研究了一类含有p-拉普拉斯算子的微分方程积分边值问题.运用迭代技巧,给出了这一类边值问题的单调正解,值得感兴趣的是微分方程中的非线性项含有一阶导数.     

奇异二阶连续和离散边值问题正解的存在唯一性

利用一类混合单调算子的一个不动点定理,给出了奇异二阶微分方程边值问题和奇异二阶差分方程边值问题的解的存在及惟一性.     

时滞脉冲微分方程三点边值问题解的存在性和唯一性

研究一类时滞与脉冲共存的微分方程三点边值问题,利用上下解与单调迭代方法获得了边值问题解的存在性定理和唯一性定理,给出求解该类问题解析近似解的迭代方法,得出了新的结论.     

非齐次边界条件下两点边值问题单调解的存在性

研究了一类二阶非线性微分方程在非齐次边界条件下的两点边值问题单调解的存在性.运用锥拉伸与锥压缩不动点定理,分别得到了边值问题单调递增正解和单调递减负解存在的充分条件.     

带有“上确界”的二阶脉冲微分方程的无穷边值问题

利用上下解方法及单调迭代技术讨论了一类具有上确界的二阶非线性脉冲微分方程无穷边值问题,给出了其最小最大解存在定理.     

一类非线性分数阶微分方程的奇异边值问题

利用上下解方法及单调迭代技术讨论了一类非线性分数阶微分方程的奇异边值问题,给出了其解的存在及最小最大解的存在定理.     

二阶微分方程反周期边值问题解的存在性

在这篇文章中,我们考虑了一类非线性二阶常微分方程反周期边值问题．利用上下解方法结合单调迭代技巧,我们得到了解的存在性结果．     

二阶脉冲微分方程三点边值问题正解的存在性

利用混合单调算子的不动点定理讨论了一类二阶奇异脉冲微分方程三点边值问题,得到了正解存在的一个充分条件.     

奇异非线性四阶微分方程边值问题正解的存在唯一性

利用一类混合单调算子的一个不动点定理,给出了奇异非线性四阶微分方程边值问题的解的存在及惟一性.     

一类二阶三点边值问题单调正解的存在性

利用范数形式的锥上不动点定理,研究了一类二阶微分方程三点边值问题单调正解的存在性．分别给出了齐次和非齐次边界条件下的三点边值问题单调正解存在的充分条件,确定了解曲线的凹凸性,并且给出了一个应用实例．     

Monotone Operators Representable by l.s.c. Convex Functions

A theorem due to Fitzpatrick provides a representation of arbitrary maximal monotone operators by convex functions. This paper explores representability of arbitrary (nonnecessarily maximal) monotone operators by convex functions. In the finite-dimensional case, we identify the class of monotone operators that admit a convex representation as the one consisting of intersections of maximal monotone operators and characterize the monotone operators that have a unique maximal monotone extension.Mathematics Subject Classifications (2000) 47H05, 46B99, 47H17.     

Representable Monotone Operators and Limits of Sequences of Maximal Monotone Operators

We show that the lower limit of a sequence of maximal monotone operators on a reflexive Banach space is a representable monotone operator. As a consequence, we obtain that the variational sum of maximal monotone operators and the variational composition of a maximal monotone operator with a linear continuous operator are both representable monotone operators.     

单调概念格性质研究

概念格是知识表示和数据分析的重要工具,单调概念格是概念格的推广。本文就Deogun等提出的单调概念格进行了两方面的研究:一,指出Deogun等提出的单调概念格性质的错误并加以修正;二,证明单调概念格就是闭格,从而找到用拓扑闭包算子和拓扑交结构来表示单调概念格的两种格表示方法,并建立起单调概念格与有上界的拓扑交结构的范畴等价。本文所建立的单调概念格的拓扑表示方法将方便我们进一步研究单调概念格的构造算法、约简算法和实际应用,具有理论和实际的双重意义。     

Monotone Proofs of the Pigeon Hole Principle

We study the complexity of proving the Pigeon Hole Principle (PHP)in a monotone variant of the Gentzen Calculus, also known as Geometric Logic. We prove a size‐depth trade‐off upper bound for monotone proofs of the standard encoding of the PHP as a monotone sequent. At one extreme of the trade‐off we get quasipolynomia ‐size monotone proofs, and at the other extreme we get subexponential‐size bounded‐depth monotone proofs. This result is a consequence of deriving the basic properties of certain monotone formulas computing the Boolean threshold functions. We also consider the monotone sequent expressing the Clique‐Coclique Principle (CLIQUE) defined by Bonet, Pitassi and Raz [9]. We show that monotone proofs for this sequent can be easily reduced to monotone proofs of the one‐to‐one and onto PHP, and so CLIQUE also has quasipolynomia ‐size monotone proofs. As a consequence of our results, Resolution, Cutting Planes with polynomially bounded coefficients, and Bounded‐Depth Frege are exponentially separated from the monotone Gentzen Calculus. Finally, a simple simulation argument implies that these results extend to the Intuitionistic Gentzen Calculus. Our results partially answer some questions left open by P. Pudlák.     

On the Fitzpatrick transform of a monotone bifunction

A new definition of monotone bifunctions is given, which is a slight generalization of the original definition given by Blum and Oettli, but which is better suited for relating monotone bifunctions to monotone operators. In this new definition, the Fitzpatrick transform of a maximal monotone bifunction is introduced so as to correspond exactly to the Fitzpatrick function of a maximal monotone operator in case the bifunction is constructed starting from the operator. Whenever the monotone bifunction is lower semicontinuous and convex with respect to its second variable, the Fitzpatrick transform permits to obtain results on its maximal monotonicity.     

Numerical solutions of coupled systems of nonlinear elliptic equations

This article deals with numerical solutions of a general class of coupled nonlinear elliptic equations. Using the method of upper and lower solutions, monotone sequences are constructed for difference schemes which approximate coupled systems of nonlinear elliptic equations. This monotone convergence leads to existence‐uniqueness theorems for solutions to problems with reaction functions of quasi‐monotone nondecreasing, quasi‐monotone nonincreasing and mixed quasi‐monotone types. A monotone domain decomposition algorithm which combines the monotone approach and an iterative domain decomposition method based on the Schwarz alternating, is proposed. An application to a reaction‐diffusion model in chemical engineering is given. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 28: 621–640, 2012     

单调全局最优化问题的凸化外逼近算法

单调优化是指目标函数与约束函数均为单调函数的全局优化问题．本文提出一种新的凸化变换方法把单调函数化为凸函数，进而把单调优化问题化为等价的凸极大或凹极小问题，然后采用Hoffman的外逼近方法来求得问题的全局最优解．我们把这种凸化方法同Tuy的Polyblock外逼近方法作了比较，通过数值比较可以看出本文提出的凸化的方法在收敛速度上明显优于Polyblock方法．     

Invariance properties of generalized monotonicity

Generalized monotone maps are studied under affine variable transformations. The results enable us to generate generalized monotone matrices of any size. Various necessary conditions and sufficient conditions for generalized monotone matrices are derived. Furthermore. admissible translations of generalized monotone linear maps are studied. Finally, the maximal domain of generalized monotonicity is characterized.     

Most maximally monotone operators have a unique zero and a super-regular resolvent

Maximally monotone operators play important roles in optimization, variational analysis and differential equations. Finding zeros of maximally monotone operators has been a central topic. In a Hilbert space, we show that most resolvents are super-regular, that most maximally monotone operators have a unique zero and that the set of strongly monotone mapping is of the first category although each strongly monotone operator has a unique zero. The results are established by applying the Baire Category Theorem to the space of nonexpansive mappings.     

单调集函数的连续性与可测函数序列的收敛

引了单调集函数的几种连续性并且讨论了它们与可测函数依测度收敛之间的关系,给出可加测度论中的Lesbegue定理在单调测度空间上的4种推广形式。讨论单调集函数的连续性和模糊积分与Choquet积分的单调收敛定理之间的等价性。证明Choquet积分的控制收敛定理。