多延迟微分方程数值解θ—方法的稳定性

研究延尺微分方程数值解的稳定性。主要分析用新θ－方法解一般线性试验方程ｙ＇（ｔ）＝ａｙ（ｔ）＋ｂ１ｙ（ｔ－τ１）＋ｂ２ｙ（ｔ－τ２）＋．．．＋ｙ（ｔ－τｓ），其中ａ∈Ｃ，ｂｊ∈Ｃ，τＪ＞０，ｊ＝１，２，．．．，ｓ，所得到的数值解的性态。证明出新θ－方法是ＧＰｓ－稳定的充要条件是１／２≤θ≤１。     

Volterra方程的稳定性

在这篇文章中，我们考虑了Ｖｏｌｔｅｒｒａ方程ｘ＝Ａ（ｔ）ｘ＋ｔ０Ｃ（ｔ，ｓ）ｘ（ｓ）ｄｓ和中立型Ｖｏｌｔｅｒｒａ方程ｘ（ｔ）－ｔ０Ｄ（ｔ，ｓ）ｘ（ｓ）ｄｓ＝Ａ（ｔ）ｘ＋ｔ０Ｃ（ｔ，ｓ）ｘ（ｓ）ｄｓ，其中ｘ∈Ｒｎ，Ａ（ｔ）是ｎ×ｎ阶连续矩阵，０≤ｔ＜＋∞；Ｃ（ｔ，ｓ），Ｄ（ｔ，ｓ）是ｎ×ｎ阶连续矩阵，０≤ｓ≤ｔ＜＋∞．借助于微分不等式和常数变易公式，我们给出了保证上面方程零解稳定的充分条件，所得结果改进了文［１－２］中的相应定理．     

一类 Duffing 方程的δ-振动

讨论一类具有拢动项的Ｄｕｆｉｎｇ方程ｘ·＋ｘ－αｘ３＝ε［ｆ（νｔ）＋δｘ·］，其中α＞０，δ，ν都是参数，ε是小参数，ｆ（νｔ）＝ａ１ｃｏｓνｔ＋ａ３ｃｏｓ３νｔ并给出了产生δ—共振的条件的参数范围     

零阶Bessell方程的初值问题

给出了零阶Ｂｅｓｓｅｌｌ方程ｘ（ｔ）＋１／ｔｘ‘（ｔ）＋ｘ（ｔ）＝０在正则始条件ｘ（０）＝ａ，ｌｉｍｘ（ｔ）＝０下的解。     

一类Fuchs型偏微分算子Cauchy问题的例外解

在Ω＝［Ｏ,Ｔ１］×［Ｏ,Ｔ２］×Ｒｎ上讨论如下Ｆｕｃｈｓ型偏微分算子Ｐ＝ａ０ｓ２ｔ２２ｓ２ｔ＋ａ１（ｓ,ｔ,ｘ）ｓｔｔｓ＋ａ２（ｓ,ｔ,ｘ,ｘ）其中ａ０为非零常数,ａ１（ｓ,ｔ,ｘ）,ａ２（ｓ,ｔ,ｘ,ｘ）是关于ｘ的阶数小于或等于１,系数属于Ｃ∞（Ω）的线性偏微分算子,且ａ２（ｏ,ｏ,ｘ,ｘ）＝ａ２（ｘ）本文在Ｌｈ１ｈ２上讨论并给出了算子Ｐ的Ｃａｕｃｈｙ问题的例外解     

单晶生长中的三相界面的近似解析解

本文考虑了单晶生长中的三相界面问题，即研究了气——液新月形界面满足的Ｌａｐｌａｃｅ－Ｙｏｕｎｇ方程２ｙ＝β〔ｙ″（１＋ｙ′２）３／２－ｙ′ｘ（１＋ｙ′２）１／２〕在边界条件为ｙ（∞）＝０，ｙ′（∞）＝ｂ＜０时的解，其中β＝２σ０／ｇΔρ是正常数（Ｌａｐｌａｃｅ常数）．我们得到了新月形高ｈ应满足的关系式：ｈ＝βｓｉｎ２α０２ｃｏｓα０以及新月形轮廓线的一个近似解析解ｘ＝１－（Ｉ－１βｙ２＋ｓｉｎα０２ｒｈｙ２）２ｓｉｎα０ｒｈｙ其中α０是三相边界（ｒ，ｈ）处的切角，Ｉ＝１１＋ｂ２．     

一类非线性算子方程解的存在性

本文建立了非线性算子方程ｘ＝ｘ０＋（Ｌｘ）（Ａｘ）解的存在定理，其中Ｌ和Ａ是从Ｂａｎａｃｈ代数Ｅ到Ｅ的非线性算子。然后，运用这些结果研究非线性Ｃｈａｎｄｒａｓｅｋｈａｒ Ｈ－方程Ｈ（ｘ）＝ψ（ｘ）＋λｇ（Ｈ（ｘ）０∫Ｋ（ｘ）／Ｋ（ｘ）＋Ｋ（ｔ）ψ（ｔ）ｆ（Ｈ（ｔ））ｄｔ连续解的存在性。     

满足（xy）=^n=x^sy^t条件的环的交换性

证明了当Ｒ是Ｋｏｈｔｅ半单纯环,若Ｖｘ,ｙ∈Ｒ均有依与它们的自然数ｎ（ｘ,ｙ）〉１和ｓ（ｘ,ｙ）与ｔ（ｘ,ｙ）（２ｎ≠ｓ＋ｔ）,使得（ｘｙ（＾ｎ＝ｘ＾ｓｙ＾ｔ,则Ｒ是交换环的结论。     

多延迟微分方程数值解θ－方法的稳定性

研究延迟微分方程（ＤＤＥ）数值解的稳定性。主要分析用新θ－方法解一般线性试验方程ｙ＇（ｔ）＝αｙ（ｔ）＋ｂ１ｙ（ｔ－τ１）＋ｂ２ｙ（ｔ－τ２）＋．．．＋ｙ（ｔ－τｓ），其中α∈Ｃ，ｂｊ∈Ｃ，τｊ＞０，ｊ＝１，２，．．．，Ｓ，所得到的数值解的性态。证明出新θ－方法是ＧＰＳ－稳定的充要条件是     

广义模糊环和广义模糊理想的“和”与“积”

对广义模糊子环和广义模糊理想给出了一种等价的定义,证明了原广义模糊理想的定义中对任何的模糊点ｘｔ,ｙｓ∈Ａ都有Ａ（ｘ＋ｙ）≥Ｍ（Ａ（ｘ）,Ａ（ｙ）,０．５）,Ａ（－ｘ）≥Ｍ（Ａ（ｘ）,０．５）,Ａ（ｘｙ）≥Ｍ（ｍａｘ（Ａ（ｘ）,Ａ（ｙ））,０．５）这三个条件等价于（ｘ＋ｙ）Ｍ（ｔ,ｓ）∈Ａ或（ｘ＋ｙ）１－Ｍ（ｔ,ｓ）∈Ａ,（－ｘ）ｔ∈Ａ或（－ｘ）１－ｔ∈Ａ,（ｘｙ）Ｍ（ｔ,ｓ）∈Ａ或（ｘｙ）１－Ｍ（ｔ,ｓ）∈Ａ这３个新条件。利用上述等价定义推导出了广义模糊（左,右,双边）理想的“和”与“积”的若干运算性质。     

一类Duffing方程的双频振动

讨论了一类带有扰动项的Ｄｕｆｆｉｎｇ方程ｘ＋ｘ一ｘ３＝ε［δ＋ｘｃｏｓｔ）ｘ＋βｓｉｎｔ］其中δ，β是参数，０＜ε＜＜１，并给出了产生双频共振的参数范围。     

一类Fuchs型偏微分算子Cauchy问题解的结构

本文在Ω＝［Ｏ，Ｔ１］×［Ｏ，Ｔ２］×Ｒｎ上讨论如下Ｆｕｃｈｓ型偏微分算子Ｐ＝ａ０ｓｔ２ｓ２ｔ＋ａ１（ｓ，ｔ，ｘ，ｘ）ｔｓ＋ａ２（ｓ，ｔ，ｘ，ｘ）其中ａ０为非零常数，ａ１（ｓ，ｔ，ｘ，ｘ），ａ２（ｓ，ｔ，ｘ，ｘ）是关于ｘ的阶数小于２，系数属于Ｃ∞（Ω）的线性偏微分算子，且ａｉ（ｏ，ｏ，ｘ，ｘ）＝ａｉ（ｘ）（ｉ＝１，２）．本文给出了算子Ｐ和由Ｐ产生的“特征算子”Ａ１（θ），Ａ２（λ）的Ｃａｕｃｈｙ问题和平坦Ｃａｕｃｈｙ问题的相互关系，以及这三个算子的Ｃａｕｃｈｙ问题和平坦Ｃａｕｃｈｙ问题适定的充分必要条件．     

Volterra积微分方程的边值问题

研究了Ｖｏｌｔｅｒｒａ型积微分方程的边值问题ｘ＇（ｔ）＝Ａｘ（ｔ）＋∫０＾ｔＣ（ｔ,ｓ）ｘ（ｓ）ｄｓ＋ｆ（ｔ） Ｍｘ（０）＋Ｎｘ（１）＝ｂ的解的存在性和唯一性问题。     

关于丢番图方程x4-4x2y2+y4=193

证明了丢番图方程ｘ＾４－４ｘ＾２ｙ＾２＋ｙ＾４＝１９３仅有正整数解（ｘ,ｙ）＝（１,４）和（４,１）,进而又推得丢番图方程ｘ＾４－１０ｘ＾２ｙ＾２＋ｙ＾４＝－１５４４仅有正整数解（ｘ,ｙ）＝（３,５）和（５,３）。     

某类非线性振动微分方程的振荡定理

本文研究非线性微分方程（α（ｔ）（ｘ＾（＾ｋ＾）＾２＾ｎｘ＇）＇＋Ｑ（ｔ，ｘ）＝Ｐ（ｔ，ｘ，ｘ＇）和（α（ｔ）（ｘ＇）＾２＾ｎ＋＾１）＇＋Ｑ（ｔ，ｘ）＝Ｐ（ｔ，ｘ，ｘ＇）的解的振荡性，给出了一组判定这两类方程具有振荡解的充分准则。     

时变Logistic方程解的渐近性态

研究了时变Ｌｏｇｉｓｔｉｃ方程ｄｘｄｔ＝ｒ（ｔ）ｘ（１－ｘＫ（ｔ））解的一些渐近性态,我们记Ｋ＝ｓｕｐｔ∈ＲＫ（ｔ）,ｋ＝ｉｎｆｔ∈ＲＫ（ｔ）,若０＜ｋ′＜ｋＫ＜Ｋ′＜∞且ｒ（ｔ）＞０,∫＋∞ｒ（ｓ）ｄｓ＝∞成立,则当ｔ充分大时Ｌｏｇｉｓｔｉｃ方程的任一非零解一定进入区间（ｋｔ,Ｋｔ）,并且任意两个初值解将任意接近。尤其当ｒ（ｔ）,Ｋ（ｔ）为Ｔ—周期函数时,Ｌｏｇｉｓｔｉｃ方程存在唯一的全局渐近稳定的Ｔ—周期解。本文还给出一般时变Ｌｏｇｉｓｔｉｃ方程和周期Ｌｏｇｉｓｔｉｃ方程解的表达式。     

广义Liénard系统解的终归一致有界性

讨论非线性非自治系统ｘ＝ｈ（ｙ）－Ｆ（ｘ，ｙ）＋Ｅ（ｔ）ｙ＝－ｇ（ｘ）｛的解的一致有界性，得到了此系统的解终归一致有界的充分条件，进而获得存在周期解的条件，改进和推广了［１－５，８，１０］的结果。     

广义Lienard系统解的终归一致有界性

讨论非线性非自治系统ｘ＝ｈ（ｙ－Ｆ（ｘ，）＋Ｅ（ｔ）；ｙ＝－ｇ（ｘ）的解的一致有界性，得到了此系统的解终归一致有界的充分条件，进而获得存在周期解的条件，改进和推广「１－５，８，１０」的结果。     

一类Dussing方程的δ—振动

讨论一类具有扰动项的Ｄｕｆｆｉｎｇ方程ｘ＋ｘ－αｘ＾３＝ε（ｆ（ｖｔ）＋δｘ），其中α〉０，δ，ｖ都是参数，ε是小参数，ｆ（ｖｔ）＝α１ｃｏｓｖｔ＋α３ｃｏｓ３ｖｔ。并给出了产生δ一共振的条件的参数范围。     

n 维无究延滞的 Liénard 型方程的周期解

讨论具有周期扰动项的ｎ维无穷延滞的Ｌｉéｎａｒｄ型方程ｘ¨＋２Ｆ（ｘ）ｘ２ｘ＋ｇ（ｔ，ｘｔ）＝ｐ（ｔ）的周期解，给出了存在周期解的一些充分性判据．