一类实双曲算子Cauchy问题的拟基本解

本文对一类形如(1.1)的实效双曲算子 Cauchy 问题,构造了它在 t≥s≥0部分的拟基本解 E_0(t,s),E_1(t,s)。其基本思想是几何光学法。因为所讨论的算子具变重特征等性质,所以我们需要将所涉及的区域分成两部分,按不同的部分分别构造拟基本解,从而使得 E_0,E_1成为某些 Fourier 积分算子以及拟微分算子之和。本文给出了 E_0,E_1的比较明确的表达式,并指出表达式中 Fourier 极分算子的振幅,其主部系数与常微分有程 L_0,■_0,等的中心关联系有关。使用 E_0,E_1,我们可以分析一类相当广泛的实效双曲算子 Cauchy 问题解的 C~∞奇性(见[3]).     

抛物面与柱面斜交相贯线上最右点的解析与作图

本文利用解析画法几何的方法,建立抛物面与柱面斜交相贯线的参数方程。通过对该方程的分析,找出了最右点的几何条件,由此而得出了一种简单而实用的求最右点的作图方法     

浅水运动方程的初等波解

浅水运动方程是2×2—阶拟线性双曲守恒律方程组。本文讨论了该方程组的初等波,即激波与疏散波,论证了它们怎样满足一些基本性质,从而得到了该方程组的黎曼问题的初等波解。     

实双曲空间中具有常数平均曲率的超曲面

设M是实双曲空间H~(n+1)中的具有常数平均曲率的紧致超曲面,通过引进一个二阶对称张量Φ,本文给出了一个使得M是全脐的或是环面的条件.     

非线性拟双曲型方程的有限元方法

本文研究了一类非线性拟双曲型方程的半离散化和全离散化的有限元逼近,对这两种逼近格式的收敛性和稳定性理论作了分析,得到了最佳的L~2模和H~1模有限元误差估计。     

一种鲁棒直接自适应模糊控制算法

针对一类含有不确定项的非线性系统,提出了一种鲁棒直接自适应模糊控制算法.首先,该算法中用广义模糊双曲正切模型逼近系统的等价控制项;之后,设计了双曲正切函数的鲁棒补偿项,从而得到一种没有抖振的平滑控制输入.在系统的控制增益已知、部分已知和未知三种情况下,利用Lyapunov函数证明了采用上述控制策略可保证控制系统跟踪误差收敛到原点的一个小的邻域内,且所有的变量一致有界.仿真例子说明了该算法的有效性.     

一阶线性双曲组的时空全间断有限元的收敛性

讨论变系数一阶双曲组的时空双m次间断有限元解.基于单元上的Radau-型展开,在矩形网格上证明了有限元的最佳收敛性.数值例子还证实了在m 1-阶Radau点上的超收敛性.     

拟线性双曲方程的两种Blowup机制

对于一般的初值，拟线性双曲方程不一定存在整体经典解，若不存在整体经典解，则解在有限时间内blowup。主要考虑几种特殊的Burgers方程，讨论其经典解的存在区间以及解发生blowup时，几何blowup与常微blowup之间的先后顺序。     

圆柱坐标系内二维双曲型导热的数值模拟

将矩阵特征值转换和高阶TVD(total variation diminishing)格式相结合,提出了圆柱坐标系内二维双曲型导热方程的数值计算方法,得到了数值振荡极小的解.数值计算结果与有关分析解和Fourier解进行了比较,吻合很好,从而验证了该数值计算模型是可靠的.最后,运用此模型研究了圆柱形生物组织中的二维双曲型导热.     

半线性双曲型方程的强间断初值问题

探讨了半线性二阶变系数严格双曲型方程的强间断初值问题 ,提出局部展平特征曲面 ,获得方程的二阶项信息 ,建立先验估计的方法 ,并应用所得的先验估计证明了强间断解的局部存在性和唯一性 ,同时给出间断解的强奇性结构 ,结果与方程组的情形一致