非牛顿多方渗流方程解的存在性

讨论了非牛顿多方渗流方程ut=div(｜ um｜p-2 um)Cauchy问题在01,u0∈C∞(RN)且允许u0有一定增长性时解的存在性.这个证明是通过上下解方法证明初边值问题解有界,进而得到为证明解序列有紧性所需要的估计.     

无界区域上高维半导体流体动力学等熵模型的渐近性

主要研究无界区域中可压Navier-Stokes-Poisson方程的Cauchy问题.证明当给定初值是稳态解的小扰动时方程的整体光滑解的存在性和唯一性,进一步运用经典能量估计方法证明当时间t→+∞时整体光滑解以指数速率趋于稳态解.     

波动方程在半无穷柱体和外部区域上的空间爆破和衰减性

利用能量分析的方法, 首先考虑定义在三维半无穷柱体上的波动方程, 当空间变量趋于无穷时, 证明其解或者指数式增长或者指数式衰减; 其次, 考虑定义在球面外部区域上的波动方程, 证明其解随半径的二择一结果； 最后, 证明对于非线性弹性方程, 二择性定理仍有效.     

费马大定理的初等证明方法

给出不定方程Xⁿ+Yⁿ=Zⁿ在n为奇素数时,无正整数解的初等证明方法,即用初等数学方法证明了费马大定理.通过实例分析,结果显示文中证明方法的正确.     

一类时滞的非局部发散方程的渐近行为

首先用上、下解和单调迭代的方法研究一般的时滞非局部发散方程解的存在性和渐近行为．然后将这些结论运用到一类时滞的非局部发散方程,并且证明该方程的非负解是唯一的,且解的行为依赖方程中的参数λ,当λ≤λ1（Ω）,t→∞时解衰变至零;当λ〉λ1（Ω）,t→∞时解收敛到唯一正稳定解．另外,还证明了解在一定条件下爆破．     

基于半隐式Euler法的带Poisson跳随机森林扩散系统数值解的收敛性

采用半隐式Euler方法讨论带Poisson跳的随机森林扩散系统数值解的收敛性,给出数值解,并证明当满足一些比线性增长条件和全局Lipschitz条件弱的条件时,半隐式欧拉方法得到的数值解将均方收敛于方程的解析解.     

非一致线性抛物型方程广义解的存在性及唯一性

Galerkin方法是证明各类型偏微分方程边值问題解存在的重要方法,本文将Galerkin方法应用于非一致线性抛物型方程,构造广义解的近似解,证明其弱收敛的极限函数就为广义解。此外还证明解的唯一性。它们是一致线性抛物型方程结果的推广。     

非线性退缩抛物型方程组初边值问题的可解性

应用上、下解方法证明非线性退缩抛物组初边值问题当1相似文献   

在无界域中具散度形式的非线性椭圆型方程边值问题

先用非线性泛函方法证明混合边值问题解的存在性，然后证明在有界域外部具散度主部的非线性椭圆型方程边值问题解的存在与唯一，最后证明在一般无域中解的存在与唯一。     

一般二维奇异问题的间断时空有限元方法

将时间允许间断而空间允许连续的间断时空有限元方法应用于一般二维奇异问题,给出解的存在唯一性证明,并给出加权索伯列夫空间模意义下的有限元解的误差估计,包括在允许的时间间断点tn处,有限元解产生跳跃时的误差.     

迭代波方程初值问题的基本解

采用解析表示法,即利用m个n维波动方程的初值问题基本解析表示,得到了n维m个波方程的迭代的初值问题基本解的构造方法。并给出了n=3,m=3时的初值问题的基本解。     

一类非线性拟抛物方程解的渐近性质与爆破

研究了一类非线性拟抛物方程的三维初边值问题，利用积分估计法及凸性方法，证明了在某些条件下此问题整体解的渐近性质，并给出该问题的解在有限时刻发生爆破的充分条件．     

机构综合的新型同伦算法研究

机构学问题的数学模型常可化为多元非线性方程组,一般求解多元非线性方程组需要初始值,而初始值的选择是相当困难的,同伦方法不需初始值就能求出全部解,为求解决这一问题提供了可行的方法,但需要编写专用的程序.通过构造新型同伦函数并结合Maple高级程序设计语言的通用工具箱,提出了同伦算法的原理与实现方法.运用该算法编写了MAPLE程序对3-RPR平面并联机构综合问题进行了研究,求出了全部解,为实际机构的设计提供了多种选择方案,为同伦方法提供了简便的实现方法.     

一种基于线性规划的线性非自治系统数值解法

对于具有初始条件的线性非自治系统,给出了一种新的数值解法.该方法把所求初值问题转化成线性规划问题,通过求解线性规划问题得到原问题的一个近似解.定量误差分析和实际算例表明,该方法可以有效地求解线性非自治系统初值问题的近似解,也适用于边值问题的近似求解.     

一类四阶非线性波动方程初边值整体解的惟一存在性及其blowup性质

对在研究压缩物质层物理波的传播时所提出的一类四阶非线性波动方程进行了研究,用压缩映射原理和解的延拓方法证明了其初始值整体广义解和整体古典解的存在性与惟一性,同时还讨论了其解的爆破性质.     

一种基于划分的聚类算法分析与改进

K-means 是一种基于划分的聚类算法,由于 K-means 算法在选择初始聚类中心时是随机选取 k 个点,因此一旦 k 个点选取不合理,将会误导聚类过程,得到一个不合理的聚类结果。在分析聚类结果对初值依赖性的基础上,对初值选取方法进行了分析和研究,采取“射靶”的原理进行类中心搜索。从实验结果中可以发现,改进后 K-means 得到的聚类结果更加稳定,对初始聚类中心的依赖性减弱了。     

N-S方程的加罚非线性Galerkin方法近似

针对二维非定常不可压缩Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程初边值问题,在有限元情形下,对加罚形式的非线性Ｇａｌｅｒｋｉｎ方法进行研究。给出了一般解的形式,可使逼近误差迅速、稳定地减小,使数值解较快地逼近其精确解。     

基于索鞍无预偏施工悬索桥的施工仿真

针对索鞍无预偏的悬索桥施工设计，通过基于悬索力学的解析迭代法与基于有限位移理论的有限元法相结合，系统地进行了施工中的主索下料长度、空缆状态及空缆标高、加劲梁吊装阶段的主塔受力和变形以及锚跨索股张拉时机与张拉量等控制参数的仿真计算；并利用ANSYS程序和有限位移理论在悬索桥施工仿真应用时解的延续性和可逆性，从link10单元初应变调整入手，放弃初始状态试算的大循环迭代方法，建立了利用通用程序从结构成桥状态倒退到初始状态的有效方法。     

一种增加动基座飞行器误差分离结果稳定性的半解析方法

动基座发射飞行器存在初始误差大、初始误差和工具误差强耦合等特点,相比静基座发射,其误差分离过程更为复杂针对上述问题,提出了一种增加动基座飞行器误差分离结果稳定性的半解析方法,建立了初始定位误差、初始速度误差的解析求解模型,采用了迭代方法对初始误差和工具误差进行联合求解.通过算例对比分析半解析误差分离方法和传统误差分离方法,结果表明:半解析方法中基于遥外测视位置和速度差分离初始误差,观测数据与误差量直接对应,并结合解析方法精准高效的特点,能够有效提高动基座飞行器误差分离结果稳定性.     

Lotka-Volterra系统概周期解的数值方法

研究了 Lotka-Volterra系统概周期解的数值计算方法。此系统是模拟 n个生物种群相互竞争状态的数学模型 ,关于此系统的概周期解存在性、唯一性和稳定性的理论结果很多 ,但是关于这些解的数值研究工作目前还很少。根据此概周期解的特殊性质 ,可以数值计算其在 t=0时的值 ,将求概周期解的问题转化为初值问题。利用此方法对一些算例进行计算。数值结果表明 ,此方法可以在要求的精度内计算出 Lotka-Volterra系统的概周期解