两分子饱和反应系统的极限环的存在性与唯一性

陈兰荪等在第二届中国生物数学学术会议上提出了生物动力学系统中研究的１１个问题。作者所研究的是第１１个问题，生物化学中两分子饱和反应。其数学模型为ｘ＝Ｊ＿１（１＋ｘ＋ｙ＋Ａｘ￣２）－ｘ（１＋ｘ＋ｙ＋Ａｘ￣２）－Ｂｘｙ；ｙ＝Ｊ＿２（１＋ｘ＋ｙ＋Ａｘ￣２）－Ｂｘｙ．其中：Ｊ＿１、Ｊ＿２、Ａ、Ｂ为非负常数，当Ｊ＿１－３Ｊ＿２＜－［１＋Ｂｘ＋（Ｂ＋１）ｙ］／（１＋Ａｘ）时，该模型在第一象限内至少存在一个极限环；当Ｊ＿１＜Ｊ．ｘ＜ｙ，Ｂ＞ｌ且ｘ＞ａ时，该模型在第一象限内存在唯一的极限环。其中ａ＜０为方程ｐ（ｘ＝）＝０的最大负实根．     

偶图的周长

设Ｇ（Ａ，Ａ２；Ｅ）为２连通偶图，（Ａ１，Ａ２）为顶点二分划，Ｄ（ｘ）＝｛ｙ｜ｙ∈Ｖ（Ｇ）＼｛ｘ｝，ｄ（ｘ，ｙ）＝２｝，ｄ＾＊ｄ（ｘ）表示Ｄ（ｘ）∪｛ｘ｝中所有的度排成的非减度序列（ｄ＾＊１，ｄ＾＊２，…，ｄ＾＊ｊ，…，ｄ＾＊｜Ｄ（ｘ）｜＋１）中当下标ｊ＝ｄ（ｘ）时的度而当｜Ｄ（ｘ）｜＋１＜ｄ（ｘ）时ｄ＾＊ｄ（ｘ）＝ｄ＾＊｜Ｄ（ｘ）｜＋１。δ０＝ｍｉｎ｛ｄ（ｘ）｜ｘ∈Ｖ（Ｇ）｝，δｉ＝ｍｉｎ｛ｄ＾     

具有Holling第Ⅱ类功能性反应的捕食者—食饵系统定性分析

研究具有Ｈｏｌｌｉｎｇ第Ⅱ类功能性反应的捕食者种群和食饵种群都有密度制约的系统： ｘ＝ｘ（１＋ａ１ｘ－ａ２ｘ＾２－ｙ） ≡Ｐ（ｘ，ｙ） ｙ＝－θｙ（１＋（ａ－１）ｘ＋ａ２２（１＋ａｘ）ｙ）≡Ｑ（ｘ，ｙ） （＊）证明了①当１／（１－ａ）〈ａ１／２ａ２，θ（１－ａ）〈ａ１〈２ａ２／（１－ａ）＋θ（１－ａ），且ａ１／２ａ２〈ｘ＾＊〈ｘ时系统（＊）在正平衡点Ｒ２（ｘ＾＊，ｙ＾     

一类平面三次系统的极限环

本文给出原点为细焦点的三次系统｛ｘ＝－ｙ＋ａｘ＾３＋βｘ＾２ｙ＋λｘｙ＾２ ｙ＝ｘ＋ρｘ＾３＋αｘ＾２ｙ＋βｘｙ＾２＋λｙ＾３ （１）当ρ〉０时存在或不存在极限环的条件。     

三次系统存在三叶玫瑰分界线环的充要条件

证明了具有三叶玫瑰曲线解的三次系统的一般形状形为ｘ＝ｋ１（３ｘ＋ｘ＾２－ｙ＾２－４ｘ＾３－４ｘｙ＾２）＋ｋ２（３ｘ＾２－３ｘ＾３－５ｘｙ＾２）＋ｋ３（１８ｘｙ＋３２ｘ＾２ｙ）＋ｋ４（６ｘｙ＋４ｘ＾２ｙ＋４ｙ＾３） ｙ＝ｋ１（３ｙ－２ｘｙ－４ｘ＾２ｙ－４ｙ＾３）＋ｋ２（３ｘｙ＿５ｘ＾２ｙ＋３ｙ＾２）＋ｋ３（３ｘ＾２＋９ｙ＾２－８ｘ＾２＋２４ｘｙ＾２）＋ｋ４（３ｘ＾２－３ｙ＾２－４ｘ＾３－４ｘｙ＾２）     

关于几个丢番图方程

本文证明了丢番图方程ｚ＾４－ｐｙ＾４＝及ｘ＾２－ｐｙ＾４＝４（ｐ为奇素数）无正整数解；在Ｄ〉０且不被１０Ｋ＋１形素因数整阶时，方程ｘ＾５－１＝Ｄｙ＾２在ｘ≠（ｍｏｄ２０）时反有正整数解Ｄ＝２，ｚ＝３，ｙ＝１１。     

一类线性方程可化为常系数方程的条件

ｎ阶线性方程ｄ＾ｎｙ／ｄｘ＾ｎ＋Ｐｎ－２（ｘ）ｄ＾ｎ－２ｙ／ｄｘ＾ｎ－２＋…＋Ｐ１（ｘ）ｄｙ／ｄｘ＋ｐ０（ｘ）ｙ＝０在变换ｘ＝φ（τ）下可化为常系数线性方程当且仅当Ｐｉ（ｘ）＝Ｓｉ／（Ｃ１ｘ＋Ｃ２）＾ｎ－ｉ（ｉ＝０，１，…，ｎ－２）。     

A Two species Mutualistic Model on the Basis of Generalized Logistic Model

以广义Ｌｏｇｉｓｔｉｃ方程ｄｘｄｔ＝μｘｘｍ－ｘｘｍ＋（ｋ－１）ｘ（μ,ｋ,ｘｍ为常系数）为基础,推广了Ｍａｙ－两种群互惠模型ｄｘｄｔ＝μ１ｘ［１－ｘｘｍ＋α２ｙ］ｄｙｄｔ＝μ２ｙ［１－ｙｙｍ＋α１ｘ］用方程ｄｘｄｔ＝μ１ｘｘｍ＋α２ｙ－ｘｘｍ＋α２ｙ＋（ｋ１－１）ｘｄｙｄｔ＝μ２ｙｙｍ＋α１ｘ－ｙｙｍ＋α１ｘ＋（ｋ２－１）ｙ描述两种群互惠共存．当ｋ１＝ｋ２＝１时,该方程化为Ｍａｙ－两种群互惠模型,当Ｙ＝０时,该方程化为广义Ｌｏｇｉｓｔｉｃ方程,我们证明了,当α１α２＜１时,该系统存在唯一的正平衡点,当α１＜１,α２＜１,０＜ｋ１＜１,０＜ｋ２＜１时,正平衡点局部渐近稳定;当α１α２＜１,ｋ１１,ｋ２１时,正平衡点在０＝｛（ｘ,ｙ）｜ｘ＞０,ｙ＞０｝上全局稳定,并讨论了系数的生态意义及确定方法．     

一无穷次多项式系统的极限环

无穷次多项式系统ｄｘｄｔ＝－ｙ＋ｄ·ｘ＋ｘ２ｄ·ｘｙ－ｙ２－α（１＋ｙ）ｆ（ｙ）ｄｙｄｔ＝ｘ（１＋ａｘ＋ｙ）（Ｅ）的极限环,其中α≥０,ｆ（ｙ）＝ｅｙ－１＝∞ｍ＝１１ｍ！ｙｍ．本文作者证明了当ａｄ≤０或ａｄ≥３时,（Ｅ）在全平面上无极限环,当３＞ａｄ＞０,｜ｄ｜１时,（Ｅ）有唯一的包围原点的极限环．本文是文〔１〕结论的推广．     

一类三次系统的极限环

本文研究描述两种群相互作用数学模型中食饵种群具有常数投放率的三次Ｋｏｌｍｏｇｏｒｏｖ微分系统＾「１」：ｄｘ／ｄｔ＝ｘ（ａ０＋ａ１ｘ－ａ２ｘ＾２－ａ３ｙ－ａ４ｙ＾２）＋Ｆ０｛ｄｙ／ｄｔ＝ｙ（ｘ＾２－１）应用微分方程定性理论，在一定的条件下，讨论了该系统极限坏的存在性、唯一性等问题。     

一类具有二阶细焦点的二次系统

对如下一类具有二阶细焦点的二次系统进行了研究， ｄｘ／ｄｔ＝－６＋ａｘ＾２， ｄｙ／ｄｔ＝ｘ＋ｌｘ＾２＋ｍｘｙ＋ｎｙ＾２，其中ｗ１＝－２ａｌ－ｍ（ｌ＋ｎ）＝０，ｗ２＝ａ（２ａ＋ｍ）（３ａ－ｍ０［ｎ（ｌ＋ｎ）＾２－ａ＾２（ａｌ＋ｎ）］≠０。证明了当－１＜ｌ／ｎ≤时，系统（１）在０外围     

一类动力系统的大范围定性研究

本文考虑动力系统：ｄｘ／ｄｔ＝Ｐ３（ｘ，ｙ），ｄｙ／ｄｔ＝ｘ（１（．研究系统（１）具有代数曲线解：Ｘ２一ｋｙ２＝１ （ｋ＞０）（２）全局结构。 容易得到这时系统（１）等价于系统,ｄｘ／ｄｔ＝ａ１ｘ＋ａ２ｙ－ａ１ｘ３＋（ｋ－ａ２）ｘ２ｙ＋ｋａ１ｘｙ３＝ｋ（ａ２－ｋ）ｙ３，ｄｙ／ｄｔ＝ｘ（３）．由（３）我们得到所有奇点（有限远和无穷远）的类型。并用Ｄｕｌａｃ函数证明 （３）不存在极限环。进而得出（３）的所有可能的全局相图（ｌ）－（１３）．     

一个化学反应系统的全局结构

文中考虑一个自催化反应的数学模型ｄｘｄｔ＝－ａ１ｘ－ａ２ｘ２＋ａ３ｘｙ＋ａ４ｘ２ｙ；ｄｙｄｔ＝ａ０＋ａ２ｘ２－ａ３ｘｙ－ａ４ｘ２ｙ（ａ０，ａ１＞０，ａ２，ａ３，ａ４≥０），先给出ａ３ａ１＋ａ０ａ４ａ２１２≥ａ４ａ１－ａ２ａ３ａ２１时解的性态，然后结合已知的结果完整地给出了此系统解的全局性态。文中还指正了井竹君等一文的一个错误。     

跨共振点的周期扰动Duffing方程周期解的存在性

讨论Ｄｕｆｆｉｎｇ方程ｄ＾２ｘ／ｄｔ＾２＋ｇ（ｘ）＝ｐ（ｔ），此处ｇ（０）＝０，ｇ∈Ｃ（Ｒ），ｐ∈Ｃ（Ｒ），ｐ（ｔ）＝ｐ（ｔ＋２π），存在常数Ｋ＞０，｜ｇ＇（ｘ）｜＜Ｋ对ｘ∈Ｒ，及存在Ａ０＞０，Ｍ０＞０，ｘ＾－１ｇ（ｘ）＞Ａ０当｜ｘ｜＞Ｍ０下，给出了此类方程２π周期解存在的某些充分条件，扩展了已有的结果。     

一类半线性弱双曲型方程的初值问题

研究如下一类问题｛ｕｔｔ＋Ｘ＾＊１Ｘ１ｕ＋Ｘ＾＊２Ｘ２ｕ＝ｆ（ｕ）｛ｔ＝０：ｕ＝０，ｕｔ＝ｈ（ｘ，ｙ），其中ｆ∈Ｃ＾１（Ｒ＾１），ｆ（０）＝０，ｈ∈Ｈ＾５（Ｒ＾２）并具有紧支集，ｓ＞ｍ／２（ｍ＋１），Ｘ１，Ｘ２是Ｒ＾２上的光滑向量场并满足ｍ阶Ｈｏｒｍａｎｄｅｒ条件，在以上假设下，得到了问题强解的存在性及正则性。     

某一类平面上E_3动力系统的全局结构

本文证明了Ｅ３系统ｄｘ／ｄｔ＝Ｐ３（ｘ，ｙ）ｄｙ／ｄｔ＝ｘ有的定曲线Ｆ（ｘ，ｙ）＝ｘ～２＋ｙ～２－１＝０为特解当且仅当 它具有形式： ｄｘ／ｄｔ＝ａ１ｘ＋ａ２ｙ－ａ１ｘ～３－（１＋ａ２）ｘ～２ｙ－ａ１ｘｙ～２－（１＋ａ２）ｙ３，ｄｙ／ｄｔ＝ｘ，进而讨论了系统的所有 有限远奇点和无限远奇点的性质，并且利川Ｄｕｌａｃ函数证明了ｘ～２＋ｙ～２＝１是它唯一可能的极限环。 最后我们得到由图（１）－（１０）说明的所有可能的全局结构．     

关于Je‘smanowica猜想的一个注记

本文用初等方法证明了如下结论：设ｓ＝３ｎ，ｎ≡１、３、５（ｍｏｄ８），ｔ≡２（ｍｏｄ４），且ｓ、ｔ均不含有４ｋ＋１形素因子，则Ｄｉｏｐｈａｎｔｕｓ方程（ｓ＾２－ｔ＾２）＋（２ｓｔ）＾ｙ＝（ｓ＾２＋ｔ＾２）＾２（其中ｓ〉ｔ〉０，（ｓ，ｔ）＝１，ｓ＋ｔ≡１（ｍｏｄ２））在ｙ〉１时仅有正整数解ｘ＝ｙ＝ｚ＝２。     

关于不定方程x^4—Dy^2=1的一个注记

设整数Ｄ＞０且不是平方数，本文证明了不定方程ｘ４－Ｄｙ２＝１除开Ｄ＝１７８５，４·１７８５，１６·１７８５时，分别有二组正整数解（ｘ，ｙ）＝（１３，４），（２３９，１３５２）；（ｘ，ｙ）＝（１３，２），（２３９，６７６）；（ｘ，ｙ）＝（１３，１），（２３９，３３８）外，最多只有一组正整数解（ｘ１，ｙ１），且满足ｘ２１＝ｘ０或２ｘ２０－１，这里ｘ０＋ｙ０Ｄ是Ｐｅｌ方程ｘ２－Ｄｙ２＝１的基本解     

关于丢番图方程x^3±1=Dy^2

对于丢番图方程（１）ｘ＾３＋１＝Ｄｙ＾２和（２）ｘ＾２－１＝Ｄｙ＾２。本文用静初等方法证明了以下结果：（１）设Ｄ＝２＾α．３．ｐ或２＾α．３，ｐП１，这里ｐ、ｑ均是奇素数，ａ＝０或ｑ－５（ｍｏｄ６）（ｉ＝１，…，ｓ），ｓ＝１或２，则当ｐ∈（７，１３，３１，６１，７３，７９，９７）时方程（１）除开Ｄ＝３．５．９７仅有解（ｘ，ｙ）＝（３１４，５４３）外，无其他的正整数解，而方程（２）除开Ｄ＝３．５．９     

关于Aithem加速方法的一个注记

证明了当序列＾／ｘ＝ｘｋ＝（ｘｋ＋１－ｘｋ）＾２／ｘｋ＋２－２ｘｋ＋１＋ｘｋ，（ｋ＝０，１，…）满足一定条件时，必定比序列｛ｘｋ｝更快的收敛于极限点ｘ＾＊。