关于微分包含的周期解及其应用

研究了一类发展包含的周期问题,其结果应用于建立一类半线性微分包含周期解的存在性定理．给出了半线性微分包含端点解的存在性定理和强松驰定理,并且应用于周期反馈控制系统．     

YoshiZawa型周期解定理和Massera型周期解定理研究进展简介

微分方程解的有界性和周期解的存在性是檄分方程理论研究中的两个重要课题，二者之间有着紧密的联系．在解的有界性与周期解的存在性的研究中，Yoshizawa周期解定理和Massera周期解定理是非常重要的结果，具有重要的理论意义和应用价值．本文以Yoshizawa型周期解定理和Massera型周期解定理的研究为主，简要介绍泛函微分方程周期解理论研究方面的一些新进展。     

一类具时滞高阶Rayleigh方程的周期解的先验界性

本文首先建立了一类具时滞高阶Bayleigh方程的周期解的先验有界性．进而，借助这些有界性，并利用Mawhin连续定理获得了周期解的存在性定理．     

三点边值问题的正解

利用Krasnoselskii's不动点定理和重合度定理,研究了p-Laplace三点边值问题单解或多解的存在性,以及在共振情况下解的存在性．     

某些周期微分方程的亚纯解

本文讨论了两类具周期亚纯系数的微分方程(1．2)，(1．3)亚纯解的表示，得到两个Malmqusit 型定理(定理1，定理3)，即方程(1．2)，(1．3)的亚纯解分别是其系数类的子类。     

一类无穷时滞周期Lotka-Volterra型系统的正周期解

该文研究一类无穷时滞周期Ｌｏｔｋａ Ｖｏｌｔｅｒｒａ型系统正周期解的存在性．应用Ｓｃｈａｕｄｅｒ不动 点定理得到了一个比较一般的正周期解存在定理．文献［１,２］中的主要结果被改进和推广．     

一个Mini Max定理和一类二阶Hamiltont系统的解的唯一性5

推广了Stepan A．Tersian的关于g（u）=2^-1（Au，u）-Ф（u）型泛函的一个Mini Max定理．利用这一推广了的MiniMax定理，研究了一类受迫振动下二阶Hamilton系统的边界值问题的解，获得了这类二阶Hamilton系统边界值问题的解的一个唯一性定理．     

高维电报方程的对称周期解

讨论n维电报方程的对称周期解．利用Schauder不动点定理，在非共振条件下给出了一个存在性定理．     

非线性Sturm—Liouville边值问题的多重非负解

利用上下解方法，锥理论，Schauder不动点定理，Amann不动点定理以及映射度理论研究Sturm—Liouville边值问题（SL．ρ），在某些特定条件下，得到了有多重非负解的存在性结论．从而一定程度上推广和改进了最近的相关结果．     

集值映象不动点指数对微分包含与积分包含多解问题的应用

为获得一类微分包含与积分包含的多解存在性定理，我们应用集值映象不动点指数理论把著名的Ａｍａｎｎ三解定理等多解定理推广到集值映象，我们还用例子说明了所得结果．     

Existence of the optimal measurable coupling and ergodicity for Markov processes

The existence theorem of the optimal measurable coupling of two probability kernels on a complete separable metric measurable space is proved. Then by this theorem, a general ergodicity theorem for Markov processes is obtained. And as an immediate application to particle systems the uniqueness theorem of the stationary distribution is supplemented, i.e. the uniqueness theorem also implies the existence of the stationary distribution.     

A generalization of Nekhoroshev’s theorem

Nekhoroshev discovered a beautiful theorem in Hamiltonian systems that includes as special cases not only the Poincaré theorem on periodic orbits but also the theorem of Liouville–Arnol’d on completely integrable systems [7]. Sadly, his early death precluded him publishing a full account of his proof. The aim of this paper is twofold: first, to provide a complete proof of his original theorem and second a generalization to the noncommuting case. Our generalization of Nekhoroshev’s theorem to the nonabelian case subsumes aspects of the theory of noncommutative complete integrability as found in Mishchenko and Fomenko [5] and is similar to what Nekhoroshev’s theorem does in the abelian case.     

一类带阻尼项的二阶系统的变分法及其应用

研究了一类带阻尼项的二阶系统的变分法,并利用鞍点定理获得了一个新的存在性结果,推广了已有文献的相关存在性结论.     

事件空间中单面非Chetaev型非完整系统的Noether定理

研究事件空间中单面非Ｃｈｅｔａｅｖ型非完整系统的Ｎｏｅｔｈｅｒ定理,首先给出了系统的Ｄ’Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理;其次基于该原理在无限小变换下的不变性,研究了非Ｃｈｅｔａｅｖ型非完整系统的Ｎｏｅｔｈｅｒ定理及逆定理;最后举例说明结果的应用。     

Birkhoff系统的一类新型守恒量

给出了Birkhoff系统的一类新型守恒量。首先,建立了Birkhoff系统的运动方程及其Mei对称性的定义和判据;其次,给出了系统的一类新型守恒量的存在定理,并导出了用于确定无限小生成元的广义Killing方程;最后,建立了守恒定理的逆定理     

Birkhoff系统的一类新型守恒量

给出了Birkhoff系统的一类新型守恒量。首先，建立了Birkhoff系统的运动方程及其Mei对称性的定义和判据；其次，给出了系统的一类新型守恒量的存在定理，并导出了用于确定无限小生成元的广义Killing方程；最后，建立了守恒定理的逆定理     

Adjoint Linear Systems on Normal Log Surfaces

We prove a Reider type theorem for separating any cluster by an adjoint system to a pseudoeffective divisor on a normal surface. As a corollary we get a Reider type theorem for adjoint linear systems (to a nef Q-divisor) on normal log surfaces. This theorem is new even for smooth surfaces.     

An adiabatic theorem for resonances

We prove a robust extension of the quantum adiabatic theorem. The theorem applies to systems that have resonances instead of bound states and to systems for which just an approximation to a bound state is known. To demonstrate the theorem's usefulness in a concrete situation, we apply it to shape resonances. © 2011 Wiley Periodicals, Inc.     

量词模态逻辑的代数语义学（Ⅲ）──关于不含Barcan公式的正规模态系统的情形

本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Ｈｅｎｋｉｎ方法给出其关于狭义Ｋｒｉｐｋｅ语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。     

General Approach to Integrating Invertible Dynamical Systems Defined by Transformations from the Cremona group Cr(P k n ) of Birational Transformations

A general approach is developed for integrating an invertible dynamical system defined by the composition of two involutions, i.e., a nonlinear one which is a standard Cremona transformation, and a linear one. By the Noether theorem, the integration of these systems is the foundation for integrating a broad class of Cremona dynamical systems. We obtain a functional equation for invariant homogeneous polynomials and sufficient conditions for the algebraic integrability of the systems under consideration. It is proved that Siegel's linearization theorem is applicable if the eigenvalues of the map at a fixed point are algebraic numbers.