非线性拟抛物型积分微分方程的初边值问题和初值问题

本文研究非线性拟抛物积分微分方程的初边值问题和初值问题。运用Galerkin方程结合能量估计证明了问题的整体强解的生存性、唯一性和稳定性，最后在一定条件下讨论了初边值问题整体解的不存在性和爆破问题。     

Banach空间中余弦算子函数生成元的有界性

A是Banach空间X中余弦算子函数C（t),t∈R，和正弦算子函数S（t),t∈R，的生成元。本证明了，对每个f∈C（[0,T];X)，连续函数u,u(t)=∫-tS(t-s)f(s)ds,f∈[0,T]是二阶非齐次0初值问题，u″=Au f的强解的充要条件是：A是空间X中的有界算子。     

亚热带高原湖泊水质方程一类自由初边值问题

亚热带高原湖泊除了有来自工业、农业，生活污水及落尘的外部污染，还有来自湖泊藻类水生生物循环及底泥的污染物释放内污染源污染。因此，由于进出水量不均衡性导致湖水边界的自由变动。本文首先运用微元分析法导出在外源和内源双重污染下湖泊水质模型，然后对一类自由初边值问题通过对非柱形边界条件的齐次约化，运用变分型算子的向量扩张和拟单调方法获得解的存在性、唯一性。     

非线性动力学常微分方程组高精度数值积分方法

建立了一种求解非线性动力学常微分方程组初值问题的新方法．若非线性函数一阶导数存在，则给出解的积分方程表达式，计算得到按规定误差要求的高精度数值解．引入一般自治或非自治非线性系统的首次近似Jacobi矩阵，不作任何假设重构等价的非线性常微分方程组，简捷而有广泛的适应性，不改变方程的本质，但其主项构成线性化方程组，其它项则代表非线性函数高阶余项而不涉及Taylor级数展开计算，给出该方程组初值问题的Duhamel卷积分解析表达式，在时间步长内进行数值积分选代求解，在指定误差内快速收敛，逐步递推获得非线性常微分方程的瞬态响应和全时域高精度数值解．积分解连续满足微分方程组而不是在离散的步长端点上满足代数方程组，打破了传统用增量法在离散点上建立的代数方程组迭代求解，从而使传统Euler型逐步积分法的各种差分格式算法改变成真正的积分格式算法．数值计算中给出指数矩阵递增展开式，变矩阵乘法为乘积系数的加法，避免了大量矩阵自乘而大大提高计算效率．算法验证为无条件稳定，则保证对线性常微分方程而言，计算中舍入误差的传播不会扩散，不出现计算机字长有限而引起舍入误差导致计算不确定性问题．基于以上理论和数值方法，计算了线性非线性算例并进行了分析，验证了本方法简捷而有广泛的适应性，可以有足够的精确性．     

Banach空间中微分方程解的存在与唯一性

在一般Banach空间中,作者讨论了微分方程的初值问题u=f(t,u),u(0)=x0.在比文[6]中弱Carathodory条件更弱的情况下,不仅放宽了[6]中的一个重要不等式条件,还去掉了另一与之相关的不等式限制,仍获得了初值问题解的存在与唯一性及解的迭代逼近.对周期边值问题也获得了类似结果.     

建立边值稳定性的一个有效的方法

边值方法（ＢＶＭＳ）是用于解常微分方程初值问题的一类方法,迄今为止,边值方法还没有被广泛地推广。主要有两个原因：一是人们不甚了解它们的稳定性;二是具有较高的计算代价。本给出了建立两步边值方法稳定性的一个有效的方法,并证明了其结果。     

分析力学初值问题的一种变分原理形式

明确了分析力学初值问题的控制方程,按照广义力和广义位移之间的对应关系,将 各控制方程卷乘上相应的虚量,代数相加,进而在 原空间中建立了分析力学初值问题的一种变分原理形式,即建立了分析力学初值问题的卷积 型变分原理和卷积型广义变分原理. 推导了分析力学初值问题卷积型变分原理和卷积型广义 变分原理的驻值条件. 在建立分析力学初值问题的一种变分原理形式的同时, 将变积方法推广为卷变积方法.     

一类滞后生态微分方程的初值问题

对一般的滞后系统，人们采用了将滞后变量x(t-1)用一个Hermite插值多项式来处理，从而把滞后系统转化为常微分方程系统来求其数值解(见文[2]，[3])。本文根据[2]中的表1选用了一个带有五次Hermite插值多项式的四阶Runge-Hum法来求两个常见的滞后初值问题．