缀块环境非自治生态系统的渐近性质(英)

本文讨论了单种群多个缀块（patch）的周期系统正周期解的存在性，唯一性和稳定性，并且在某些条件下，证明了渐近周期系统的任何一个解．渐近逼近于相应的周期系统的唯一的正周期解．     

缀块环境非自治生态系统的渐近性质

本讨论了单种群多个缀块的周期系统正周期解的存在性，唯一性和稳定性，并且在某些条件下，证明了渐近周期系统的任何一个解，渐近逼近于相应的周期系统的唯一的正周期解。     

一类Duffing型微分方程周期解的存在性

本文研究二阶微分方程在周期一边界条件之下解的存在性．仅仅借助Ｌｅｒａｙ－Ｓｃｈａｕｄｅｒ的一个不动点定理，在允许ｇ（ｕ）超线性增长的情况下，我们得到了一个问题（１）（２）的周期解的存在性定理．     

带有量子修正的Zakharov方程的精确非线性波解

利用动力系统定性理论和分支方法，研究了带有量子修正的Zakharov方程的精确非线性波解，给出了不同参数条件下的相图，沿相图中的特殊轨道进行了积分，得到量子Zakharov方程的4个孤立波解、7个奇异波解和24个周期波解共3类非线性波解。当参数取特殊值时，对部分周期波解取极限，给出了周期波解演化为相应的孤立波解和奇异波解的过程。     

非线性抛物型方程整体解和周期解的存在性

本文讨论带有拟线性扰动项的半线性抛物型方程整体解及周期解的存在性.在适当的条件下,利用算子半群理论,我们可得到整体古典解及至少一个周期解.本文也讨论了拟线性方程小初值问题的整体解的存在性。     

一类四阶非线性微分方程概周期解的存在性

运用Leray-Schauder不动点定理和Liapunov函数方法，研究了一类四阶非线性微分方程的概周期解，给出了保证该微分方程概周期解存在的充分条件。     

四阶非线性周期系统的平稳振荡

本文用Ｌｉａｐｕｎｏｖ方法研究了四阶非线性、非自治、非齐次周期系统周期解的存在性、唯一性和稳定性，并得保证周期解存在、唯一和渐近稳定的某些充分条件．     

两斑块环境中一般形式的捕食-食饵扩散生态系统的周期解

考虑周期系数的两斑块环境中一般形式的捕食-食饵扩散生态系统，系统是由3种群组成的，其中一个为捕食者，另两个为食饵种群，食饵种群间存在扩散．本文利用拓扑度连续性定理，得到了该系统正周期解存在性的充分条件．     

四阶非线性周期系统的平衡振荡

本文用Ｌｉａｐｕｎｏｖ方法研究了四阶非线性、非自治、非齐次周期系统周期解的存在性、唯一性和稳定性，并得保证周期解存在、唯一和渐近稳定的某些充分条件。     

若干高维可积和不可积模型的严格解

可积和不可积模型可以描述自然科学中的诸多现象, 寻找高维非线性模型的严格解已成为可积系统的一个重要研究内容. 结合达布变换法和多线性分离变量法, 可以得到多个(2+1)维非线性模型包含任意函数的严格解, 通过选取不同的任意函数, 构造这些非线性模型新的相互激发模式. 进一步推广了形变映射理论, 建立了变系数 场和sine-Gordon以及双sine-Gordon场的形变映射关系, 从而得到高维不可积模型包含任意函数的新严格解. 对任意函数的不同选择, 构造了sine-Gordon和双sine-Gordon可积模型丰富的局域解和周期解, 如多solitoff解及其周期波推广、周期形变的蛇形孤波解以及变模的拟周期解等.     

关于Neuman-Sándor平均的一些特殊组合不等式

研究了Neuman-Sándor平均NS(a,b)关于调和平均H(a,b)、算术平均A(a,b)、二次平均Q(a,b)若干特殊组合的序关系,给出最佳参数α₁,α₂,α₃,α₁₄,β₁,β₂,β₃,β₄∈(0,1),使得下列双向不等式：$\sqrt{a_{1}Q^{2}(a,b)+(1-a_{1})A^{2}(a,b)}< NS(a,b)<\sqrt{\beta_{1}Q^{2}(a,b)+(1-\beta_{1})A^{2}(a,b),}\\ \sqrt{[a_{2}Q(a,b)+(1-a_{2})A(a,b)]A(a,b)}< NS(a,b)<\sqrt{[\beta_{2}Q(a,b)+(1-\beta_{2})A(a,b)]A(a,b),}\\ \sqrt{a_{e}Q^{2}(a,b)+(1-a_{3})H^{2}(a,b)}< NS(a,b)<\sqrt{\beta_{3}Q^{2}(a,b)+(1-\beta_{3})H^{2}(a,b),}\\ \sqrt{[a_{4}Q(a,b)+(1-a_{4})H(a,b)]A(a,b)}< NS(a,b)<\sqrt{[\beta_{4}Q(a,b)+(1-\beta_{4})H(a,b)]A(a,b),}$对所有不同的正实数a和b均成立。     

基础设施BOT(build-operate-transter)项目特许权期决策的Bargaining博弈模型

特许权期是基础设施BOT项目融资建设中的一个重要决策变量,但目前缺乏计算特许权期的理论方法.SHEN等建立了特许权期的决策模型(BOTCc M),得出了特许权期的可行区间,但BOTCc M模型未能提供在该区间内选择具体的特许权期时间点的方法.这是该模型在应用中的一个重要缺陷,需要进一步改进和完善.应用博弈论原理,建立了特许权期决策的Bargaining博弈模型,克服了BOTCc M模型的缺陷,求出了特许权期决策的具体时间.最后,通过算例演示了特许权期决策的Bargaining博弈模型.研究结果表明,Bargaining博弈模型能为政府和企业进行特许权期决策提供有效的计算方法.     

结合可逆代换的迹映射的若干刻划

研究迹映射的几个性质：保测度，可积，可反。证明了当—R^3上的映射是迹映射时，与其拓扑等价的R^3上的映射是保测度映射。利用对合矩阵的性质，导出了一迹映射是可反映射的一个条件，还讨论了迹映射的两个对合之间的关系。     

交换环上M-赋值的分解

研究交换环上M-赋值的分解与合成。通过在序幺半群上引进融洽同余，交换环上M-赋值被分解为一个可消M-赋值及其剩余环的一个核为零的Manis赋值。反之，对于交换环上一个可消M-赋值及其剩余环的一个核为零的Manis赋值，该环的一个M-赋值被合成，使得它能通过所述的分解回复到两个给定的赋值。     

交换环上赋值的合成

研究交换环上(Manis)赋值的合成。对于交换环R的一个赋值v及其值群的一个孤立子群Δ,定义了所谓的ν关于Δ所诱导的第一赋值和第二赋值,由此建立有关这两个诱导的赋值的一些结果。作为另一个主要结果,证明了对于交换环R上一个赋值u以及u的剩余环上一个核为零的赋值w,存在R上唯一的赋值v,使得u和w分别等价于v关于Δ所诱导的第一赋值和第二赋值,其中Δ是v的值群的某个孤立子群。此外,所合成的赋值v的实性被获得研究,由此获得了赋值v为实赋值的一个充分必要条件。     

关于模上的赋值

针对交换环上的模引进赋值这一概念,并在此基础上建立模上赋值的一些基本结论。此外,通过在模上引进赋值的骨架来揭示该赋值的值集结构。     

关于Neuman-Sándor平均的一些特殊组合不等式

研究了Neuman-Sándor平均NS(a,b)关于调和平均H(a,b)、算术平均A(a,b)、二次平均Q(a,b)若干特殊组合的序关系,给出最佳参数α₁,α₂,α₃,α₁₄,β₁,β₂,β₃,β₄∈(0,1),使得下列双向不等式：$\sqrt{a_{1}Q^{2}(a,b)+(1-a_{1})A^{2}(a,b)}< NS(a,b)<\sqrt{\beta_{1}Q^{2}(a,b)+(1-\beta_{1})A^{2}(a,b),}\\ \sqrt{[a_{2}Q(a,b)+(1-a_{2})A(a,b)]A(a,b)}< NS(a,b)<\sqrt{[\beta_{2}Q(a,b)+(1-\beta_{2})A(a,b)]A(a,b),}\\ \sqrt{a_{e}Q^{2}(a,b)+(1-a_{3})H^{2}(a,b)}< NS(a,b)<\sqrt{\beta_{3}Q^{2}(a,b)+(1-\beta_{3})H^{2}(a,b),}\\ \sqrt{[a_{4}Q(a,b)+(1-a_{4})H(a,b)]A(a,b)}< NS(a,b)<\sqrt{[\beta_{4}Q(a,b)+(1-\beta_{4})H(a,b)]A(a,b),}$对所有不同的正实数a和b均成立。     

边界对二维反谐振子在平方反比势和楔子中逗留时间的影响

本文研究了二维反谐振子在平方反比势和外角为 ( )的楔子中的逗留时间, 利用费曼路径积分法得到了波函数和相应密度的精确表达式, 进一步利用数值积分方法计算了逗留时间与a的函数. 结果表明, 随着外角增加, 逗留时间单调递增. 在 的极限上有一个很大的跳跃, 这意味着当楔子成为奇异线时, 与没有楔子时存在着很大的差异. 换句话说, 尽管奇异线在二维空间中并不占据任何区域, 但是由于奇异线的存在, 使得逗留时间大大缩短, 从而说明了边界条件的重要性.     

避免二阶导数计值的迭代族在一阶Frechet可微条件下的收敛性

介绍一族避免二阶导数计值的带两个参数的迭代法来近似Banach空间中非线性方程的解.在与Newton法收敛相同的Lipschitz条件下,通过用一个递推关系证明了此迭代族的收敛,并给出了非线性算子方程解的存在惟一性定理.     

半环中赋值与序的相容性

在交换半环范畴中,研究赋值与序之间的相容性。通过引进赋值的半截口,这样一个事实被证明:半环的一个赋值具有一个半截口,只要该赋值的值幺半群是一个群。基于此事实,建立了如下主要结果:对于半环S的一个赋值v,v是S的一个实赋值当且仅当v与S的某个序相容。