(n-1,1)–型分数阶共轭边值问题的正解（英文）

本文研究了(n-1,1)–型分数阶共轭边值问题正解的存在性与多解性问题.利用Krasnoselskii–Zabreiko不动点定理,结合与Green函数相关的不等式,获得了几个存在性结果,推广了一些现有的结果.     

一维双极量子漂移-扩散稳态模型的弱解（英文）

本文研究了半导体中一维双极量子漂移–扩散稳态模型的弱解.利用指数变换法把此模型转化成两个四阶椭圆方程,然后利用Schauder不动点定理证明了转化后的方程组弱解的存在性.另外得到了方程组解的唯一性和半古典极限.     

Banach空间高阶周期边值问题正解的存在性

本文研究了Banach空间E中的高阶周期边值问题正解的存在性.利用非紧性测度的估计技巧与凝聚映射的不动点指数理论,获得了该问题正解的存在性结果,推广了某些已有的相应结果.     

具恐吓效应与食饵保护域的捕食者-食饵系统分析

研究了一类具恐吓效应与食饵保护域的捕食者-食饵系统的动力学性质,证明了系统解的正性与一致有界性,讨论了系统平衡点的存在性及稳定性,然后建立了系统Hopf分支的存在性,最后通过数值模拟验证了所得理论结果.     

抽象二阶周期边值问题解的存在性

研究了有序Banach空间中二阶周期边值问题解的存在性,利用凸锥理论与上、下解方法,获得了解的存在性结果.     

非负特征形式方程的初边值问题

本文主要讨论了一类拟线性与时间t有关的非负特征形式方程的初边值问题,得到了一些存在性结果。作为推论,还得到了一些关于在边界上大范围退化的抛物Keldys-Fichera初边值问题的存在性结果。     

Banach空间二阶周期边值问题的一种拟上下解方法

利用比较结果,通过构造L-拟上下解的单调迭代过程,在L-拟上下解反序的情形下,研究了Banach空间二阶周期边值问题解的存在性,并获得该问题解的存在性与唯一性结果.     

具有两个偏差变元的Lienard型方程周期解的存在性

利用Mawhin's连续性定理,研究了一类具有两个偏差变元的二阶Lienard方程周期解存在性,获得的存在性结果与方程中的滞量相关.     

连续半鞅的弱紧性与随机微分方程弱解的存在性

本文研究了连续半鞅在连续函数空间对应的测度族的弱紧性及一般鞅问题解的存在性,弱紧性与存在性的条件是用半鞅的自然特征:转移泛函与扩散泛函来表示的。这些结果可以应用于研究随机微分方程,我们得到了随机微分方程的解对应的测度的弱紧性条件,定理7是随机微分方程弱解的新结果,经典的线性有界条件由于添上了一个对数因子而减弱了。     

二阶差分边值问题的正解

本文研究了非线性项具有半正定和混合单调性的二阶差分边值问题正解的存在性.利用Krasnosel'skii不动点定理和锥拉伸与锥压缩不动点定理,讨论了二阶半正定非线性差分边值问题以及非线性项具有半正定和混合单调性的特征值问题正解的存在性,给出了这几类差分边值问题的正解存在性定理,改进和推广了具有正定非线性项的二阶差分边值问题的一些结果,并将所得结果应用于一个具体的二阶半正定非线性差分边值问题中.     

Random approximations and random fixed point theorems for random 1-setn-contractive non-self-maps in abstract cones

In this paper, we will prove that the random version of Fan's Theorem [6, Theorem 2] is true for a random hemicompact 1-set-contractive map defined on a closed ball, a sphere and an annulus in cones. This class of random 1-set-contractive map includes random condensing maps, random continuous semicontractive maps, random LANE maps, random nonexpansive maps and others. As applications of our theorems, some random fixed point theorems of non-self-maps are proved under various well-known boundary conditions. Our results are generalizations, improvements or stochastic versions of the recent results obtained by many authors     

Some observations on the substructure lattice of a Δ1 ultrapower

Given a (nontrivial) Δ₁ ultrapower ?/??, let ??_U denote the set of all Π₂‐correct substructures of ?/??; i.e., ??_U is the collection of all those subsets of |?/??| that are closed under computable (in the sense of ?/??) functions. Defining in the obvious way the lattice ??(?/??)) with domain ??_U, we obtain some preliminary results about lattice embeddings into – or realization as – an ??(?/??). The basis for these results, as far as we take the matter, consists of (1) the well‐known class of (non‐trivial) minimal ?/??'s, which function as atoms, and (2) the class of minimalfree ?/??'s, to whose nonemptiness a substantial section of the paper is devoted. It is shown that an infinite, convergent monotone sequence together with its limit point is embeddable in an ??(?/??), and that the initial segment lattices {0, 1,…, n } are not just embeddable in (as is trivial), but in fact realizable as, lattices ??(?/??). Finally, the diamond is (easily) embeddable; and if it is not realizable, then either the 1 ‐ 3 ‐ 1 lattice or the pentagon is at least embeddable (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Foxby equivalences associated to Gorenstein categories 𝒢(𝒳,𝒴,𝒵)

In this paper, we establish some new Foxby equivalences between some Gorenstein subcategories in the Auslander class 𝒜_C(R) and that in the Bass class ?_C(S) in a general setting. Our results provide a unification and generalization of some known results and generate some new Foxby equivalences of categories.     

C1, 1 Regularity in semilinear elliptic problems

In this paper we give an astonishingly simple proof of C^{1, 1} regularity in elliptic theory. Our technique yields both new simple proofs of old results as well as new optical results. The setting we'll consider is the following. Let u be a solution to where B, is the unit ball in ?ⁿ, f(x, t) is a bounded Lipschitz function in x, and f_t′ is bounded from below. Then we prove that u ? C^{1, 1} (B_1/2). Our method is a simple corollary to a recent monotonicity argument due to Caffarelli, Jerison, and Kenig. © 2002 Wiley Periodicals, Inc.     

The G/M/1 queue revisited

The G/M/1 queue is one of the classical models of queueing theory. The goal of this paper is two-fold: (a) To introduce new derivations of some well-known results, and (b) to present some new results for the G/M/1 queue and its variants. In particular, we pay attention to the G/M/1 queue with a set-up time at the start of each busy period, and the G/M/1 queue with exceptional first service. Dedicated to Arie Hordijk on his 65th birthday, in friendship and admiration.     

A partially penalized P1/CR immersed finite element method for planar elasticity interface problems

We propose a partially penalized P₁/CR immersed finite element (IFE) method with midpoint values on edges as degrees of freedom for CR elements to solve planar elasticity interface problems. Optimal approximation errors in L² norm and H¹ semi‐norm are obtained for the P₁/CR IFE spaces. Moreover, by adding some stabilization terms on the edges of interface elements, we derive an optimal error estimate for the P₁/CR IFE method. Our method differs from the method with average values on edges as degrees of freedom for P₁/CR elements in Qin et al.'s study, where no approximation theoretical result was presented. Numerical examples confirm our theoretical results.     

方程x'(t)=ax(t)+bx(3[(t+1)/3])的数值稳定性分析

本文研究了分段连续型微分方程x''(t)=ax(t)+bx(3[(t+1)/3]) Euler-Maclaurin方法的数值稳定性问题.利用特征分析的方法,获得了数值解稳定的充分条件,进而证明了Euler-Maclaurin方法保持了精确解的稳定性.最后给出了一些数值例子.     

Strongly 1-Bounded Von Neumann Algebras

Suppose F is a finite tuple of selfadjoint elements in a tracial von Neumann algebra M. For α > 0, F is α-bounded if where is the free packing α-entropy of F introduced in [J3]. M is said to be strongly 1-bounded if M has a 1-bounded finite tuple of selfadjoint generators F such that there exists an with . It is shown that if M is strongly 1-bounded, then any finite tuple of selfadjoint generators G for M is 1-bounded and δ₀(G) ≤ 1; consequently, a strongly 1-bounded von Neumann algebra is not isomorphic to an interpolated free group factor and δ₀ is an invariant for these algebras. Examples of strongly 1-bounded von Neumann algebras include (separable) II ₁-factors which have property Γ, have Cartan subalgebras, are non-prime, or the group von Neumann algebras of . If M and N are strongly 1-bounded and M ∩ N is diffuse, then the von Neumann algebra generated by M and N is strongly 1-bounded. In particular, a free product of two strongly 1-bounded von Neumann algebras with amalgamation over a common, diffuse von Neumann subalgebra is strongly 1-bounded. It is also shown that a II ₁-factor generated by the normalizer of a strongly 1-bounded von Neumann subalgebra is strongly 1-bounded. Received: November 2005, Revision: March 2006, Accepted: March 2006     

Quotient Fields of a Model of IΔ0 + Ω1

In [4] the authors studied the residue field of a model M of IΔ₀ + Ω₁ for the principal ideal generated by a prime p. One of the main results is that M/<p> has a unique extension of each finite degree. In this paper we are interested in understanding the structure of any quotient field of M, i.e. we will study the quotient M/I for I a maximal ideal of M. We prove that any quotient field of M satisfies the property of having a unique extension of each finite degree. We will use some of Cherlin's ideas from [3], where he studies the ideal theory of non standard algebraic integers.     

Optimal (4up, 5, 1) optical orthogonal codes

By a (ν, k, 1)‐OOC we mean an optical orthogonal code. In this paper, it is proved that an optimal (4p, 5, 1)‐OOC exists for prime p ≡ 1 (mod 10), and that an optimal (4up, 5, 1)‐OOC exists for u = 2, 3 and prime p ≡ 11 (mod 20). These results are obtained by applying Weil's theorem. © 2004 Wiley Periodicals, Inc.