方程解的存在唯一性定理及其在神经元网络模型研究中的应用

研究利用函数的性质研究方程解的存在性和唯一性问题的方法,得到了一个判断方程解唯一性的定理,进而利用该定理证明了神经元网络模型中的一类非线性积微分方程波前解的存在唯一性问题,大大简化了原文献中的证明。     

非自治二阶微分方程周期解的存在唯一性

在不要求ｆ（ｘ）→±∞（ｘ→±∞）的条件下,复Ｂｒｏｕｗｒ不动点定理,得到了方程组ｘ＝ψ（ｙ）－ｆ（ｘ）,ｙ＝－ｇ（ｘ）＋ｅ（ｔ）周期解的存在性,并给经方程组的一个唯一性结果,另外,通过构造Ｌｙａｐｕｎｏｖ泛函,推广了另一类方程前人的相关结果。     

两退化点抛物方程解的存在性和唯一性

讨论双退化抛物型方程解的存在性和唯一性。通过对非退化拟线性抛物型方程（即正则化问题）系列解的极限研究,给出问题的存在性证明,对解的唯一性证明,用解的压缩性质。     

时间依赖胎次递进方程解的存在唯一性

本文得到了时间依赖胎次递进人口动力学方程解的存在唯一性。以往的文章都假定胎次递进比λｉ与时间ｔ无关，且又忽略了妇女胎次死亡率（但计算时不能忽略），这就影响全面研究人口的发展，本文去抻了这些假设，使之更接近于实际地人口预测和控制具有实际意义。     

隐式微分方程的存在唯一性定理

本文应用压缩象原理证明了一阶隐式微分方程解的存在唯一性定理。本定理可以看成是Ｐｉｃａｒｄ存在唯一性定理的推广。     

n阶非线性微分方程边值问题解的存在唯一性

讨论了ｎ阶非线性微分方程ｙ（ｎ）＝ｆ（ｔ,ｙ,ｙ′,…,ｙ（ｎ－１）满足边界条件ｙ（ｎ－３）（α）＋λ０ｙ（ｎ－２）（α）＝λ１,ｙ（ｎ－１）（β）＝λｎ－１,ｙ（γ）＝λｎ,ｎ≥３,ｙ（ｊ）（β）＝λｊ＋２（ｊ＝０,１,…,ｎ－４）,ｎ＞３或ｙ（ｎ－２）（α）＋λ０ｙ（ｎ－１）（α）＝λ１,ｙ（ｊ）（β）＝λｊ＋２（ｊ＝０,１,…,ｎ－３）,ｙ（γ）＝λｎ的边值问题解的存在唯一性,其中α,β,γ及λｉ（ｉ＝０,１,…,ｎ）均为实数。通篇假设函数ｆ（ｔ,ｙ１,ｙ２,…,ｙｎ）是区域［α,γ］×Ｒｎ上的连续函数。     

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

使用常微分方程初值问题（IVP）方法讨论了半线性算子方程Lu＋N[u]=F（u）是否有解,首先基于同伦变换思想得到了方程Lu＋N[u]=f解存在的充分必要条件、解唯一的必要条件和解的一个估计,进一步得到了方程Lu＋N[u]=F（u）有解的条件。     

随机发展方程的适度解的存在唯一性定理

在随机系统的理论和应用研究中，经常遇到抽象空间中的随机发展方程，困此，讨论此类方程的Ｃａｕｃｈｙ问题的解的存在性、唯一性及其它性质就显得十分必要。本文讨论了Ｈｉｌｂｅｒｔ空间中的半线性随机发展方程的Ｃａｕｃｈｙ问题的适度解的存在性、唯一性。在我们所给的一组条件下，得到了其适度解的局部存在唯一性的结果，该结果包含了文［１～３］中相应结果。     

n阶非线性微分方程三点线性边值问题解的存在唯一性

讨论了ｎ阶非线性微分方程ｙ＾（ｎ）＝ｆ（ｔ,ｙ‘,…,…,ｙ＾（ｎ－１）满足边界条件ｙ＾（ｎ－３）（α）＋λαｙ＾（ｎ－２）（α）＝λ１,ｙ＾（ｎ－１）（β）＝λｎ－１,ｙ＾（ｎ－３）（４）＋λｎｙ＾（ｎ－２）（ｒ）＝λｎ＋１,或ｙ＾（ｎ－２（α）＋λαｙ＾（ｎ－１）（α）＝λ１,ｙ＾ｊ）（β）＝γｊ＋２（ｊ＝０,１,…,ｎ－３）,ｙ＾（ｎ－２）（４）＋λｎｙ＾（ｎ－１）（４）＝λｎ＋１的三点问题     

小波配点法的解的存在唯一性

小波配点法求解偏微分方程的研究已经有了一系列的结果。以椭圆型方程为模型,构造了小波配点法,给出了解的存在唯一性。通过数值算例说明该算法能够达到满意的收敛效果,并与有限元方法相比,该算法在计算时间和计算误差方面更具有优势,所以新的理论切实可行,它对小波配点法的发展是有意义的。     

一类修不如新可修复系统解的存在唯一性

用增补变量的方法建立了在人为错误下修不如新的两同型部件并联可修复系统．在假设部件寿命服数分布,而修理时间服从一般分布的条件下,运用积分方程理论研究了系统非负解的存在唯一性问题．     

一类非线性方程组解的存在唯一性

本文在K-空间R~n(记作(K)R~n)用迭代法讨论非线性方程组x=Ax c,x∈(K)R~n (1)其中,A=A_1 A_2,A_1、A_2;(K)R~n→(K)R~n分别是保序和反序映射,证明了方程组(1)的解的存在唯一性,并给出了近似解的误差估计。     

非线性四阶常微分方程三点边值问题解的存在性及唯一性

运用解的匹配法，讨论了非线性四阶常微分方程三点边值问题：ｙ（４）＝ｆ（ｔ，ｙ，ｙ′，ｙ″，ｙ）（１）ｙ（ｉ）（α）＝λｉ，ｙ（ｊ）（β）＝λｊ，ｙ（ｋ）（γ）＝λｋ其中α，β，γ，λｉ，λｊ及λｋ均为实数，解的存在性及唯一性，并且讨论了满足解存在唯一的区间长度的估计。全文总假设函数ｆ（ｔ，ｕ０，ｕ１，ｕ２，ｕ３）在［α，γ］×Ｒ４上连续。     

散度形式的非古典抛物方程解的存在唯一性

考虑含有迹类泛函系数的散度形式非古典抛物型偏微分方程Cauchy问题的解的存在性和唯一性,其中方程的系数包含u关于空间变量x的有限阶导数的迹类泛函.     

一个视网膜血管肿瘤数学模型整体解的存在唯一性

研究了一个视网膜血管肿瘤的数学模型．该模型是肿瘤生长的固定边界问题,包含了反应扩散方程和常微分方程．文中先对模型进行分类讨论,然后通过运用Banach不动点定理,抛物方程的L^p估计,证明了模型在特定情况下局部解的存在唯一性.最后利用延拓的方法得到了模型在特定情况下整体解的存在唯一性．     

一个非定常自由边界问题解的存在、唯一性

推广了单晶拉制中的一个非定常自由边界问题,考虑了解的存在唯一性。     

若干类三阶微分方程边值问题解的存在性和唯一性

主要证明了三阶非线性微分方程满足多种两点边值条件解的存在性与唯一性.其特点在于证明了上述边值问题在f(t,y,y′,y″)不一定满足Lipschitz条件的情况下,解的唯一性仍然成立的结论.该文的结论丰富了前人的某些结果,并且用不同的方法推广了其中的某些结论.     

Czochralski单晶拉制过程中一种自由边界问题整体解的存在唯一性

通过引入由晶体温度u(x,t)和晶体的自由边界s(t)构成的向量空间Sd,以及定义在其上的映射d,研究了基于Czochralski单晶拉制方法的数学模型中一类自由边界问题解的存在唯一性.采用压缩映照原理方法证明了该问题在Banach空间(Sd,d)上局部解的存在唯一性,并利用延拓方法得到了整体经典解的存在唯一性.     

视网膜氧分布与脑红蛋白作用模型解的存在唯一性

研究视网膜中氧分布与脑红蛋白作用的数学模型,该模型包含了4组相互耦合的反应扩散方程组.先通过运用Banach不动点定理,抛物型方程的L^p估计证明了模型的局部解的存在唯一性,然后利用延拓方法得到了整体解的存在唯一性.