二类变式Boussinesq方程的对称性约化和精确解

将Ｃｌａｒｋｓｏｎ等最近发展的直接法推广应用于变式Ｂｏｕｓｓｉｎｅｓｑ方程组,给出四种类型对称性约化方程和三组显式精确解．结果表明：在适当变换下变式Ｂｏｕｓｓｉｎｅｓｑ方程组可约化为具有椭圆函数解的Ｄｕｆｆｉｎｇ型方程和Ｐａｉｎｌｅｖ　Ⅱ方程,并且约化结果包含有关于时间ｔ的二种类型奇点;极点和代数支点．     

Symmetry, Compatibility and Exact Solutions of PDEs

We discuss various compatibility criteria for overdetermined systems of PDEs generalizing the approach to formal integrability via brackets of differential operators. Then we give sufficient conditions that guarantee that a PDE possessing a Lie algebra of symmetries has invariant solutions. Finally we discuss models of equations with large symmetry algebras, which eventually lead to integration in closed form.     

具约束的微分包含的极小时间函数

本文研究具状态约束Ｋ与目标集Ｃ之下的微分包含ｘ’（ｔ）∈Ｆ（ｘ（ｔ））的极小时间函数。主要证明了：⑴存在有限时间,使在约束Ｋ之下,微分包含的一条轨道可以到达Ｃ;⑵极小时间函数是下半连续的且是相依Ｈａｍｉｌｔｏｎ－Ｊａｃｏｂｉ方程的粘性上解。     

超Li系统的Bargmann对称约束和双非线性化

给出超Li系统的一个显式对称约束和关于其Lax对的双非线性化.在此对称约束下,超Li系统的时间部分和空间部分分别被约化为有限维Liouville可积超Li系统.     

具有单面非完整约束的力学系统的Lie对称性与守恒量

研究具有单面非完整约束的力学系统的Ｌｉｅ对称性。给出由Ｌｉｅ对称性得到系统守恒量的条件和守恒量的形式,并研究上述问题的逆问题,即根据系统的已知积分来求相应的Ｌｉｅ对称性,最后举例说明结果的应用。     

几种微分方程李对称决定组生成软件包的比较研究

根据微分方程李对称决定方程组生成算法,在计算机代数系统Maple上给出了具体实现GDS,并指出了现行Maple系统上关于李对称计算的软件包liesymm的缺陷,最后通过一些计算实例对三个Maple系统下的软件包GDS,liesymm以及Desolv进行了比较研究.     

微分方程(组)对称向量的吴-微分特征列算法及其应用

给出（偏）微分方程（组）（PDEs）对称向量的吴-微分特征列集（消元）算法理论．把古典和非古典PDEs对称问量的计算问题统-在吴-微分特征列理论框架之下处理．给出了产生PDEs对称向量的无穷小方程和验证已知向量为PDES对称向量的机械化原理,理论上彻底克服了传统算法中的缺陷并为计算PDEs对称向量提供了一种新算法．用计算机代数系统mathematica编制了相应的软件包,具体实现了该算法．作为应用给出了Burgers方程的非古典对称向量的完整解答．     

单面约束力学系统的Noether理论

应用就换群Ｃｒ的无限小群变换的广义准对称性,给出了受单面约束的动力学系统的Ｎｏｅｔｈｅｒ理论,并举例说明结果的应用。     

A Principle for Critical Point Under Generalized Regular Constraint and Ill-Posed Lagrange Multipliers Under Nonregular Constraints

In this article, a kind of nonregular constraint and a principle for seeking critical point under the constraint are presented, where no Lagrange multiplier is involved. Let E, F be two Banach spaces, g: E → F a c ¹ map defined on an open set U in E, and the constraint S = the preimage g ^?1(y ₀), y ₀ ∈ F. A main deference between the nonregular constraint and regular constraint is that g′(x) at any x ∈ S is not surjective. Recently, the critical point theory under the nonregular constraint is a concerned focus in optimization theory. The principle also suits the case of regular constraint. Coordinately, the generalized regular constraint is introduced and the critical point principle on generalized regular constraint is established. Let f: U → ? be a nonlinear functional. While the Lagrange multiplier L in classical critical point principle is considered, its expression is given by using generalized inverse g′⁺(x) of g′(x) as follows: if x ∈ S is a critical point of f| _S , then L = f′(x) ○ g′⁺(x) ∈ F*. Moreover, it is proved that if S is a regular constraint, then the Lagrange multiplier L is unique; otherwise, L is ill-posed. Hence, in case of the nonregular constraint, it is very difficult to solve Euler equations; however, it is often the case in optimization theory. So the principle here seems to be new and applicable. By the way, the following theorem is proved: if A ∈ B(E, F) is double split, then the set of all generalized inverses of A, GI(A) is smooth diffeomorphic to certain Banach space. This is a new and interesting result in generalized inverse analysis.     

求解非定常非完整约束多体系统动力学的一种方法

通过对约束矩阵进行奇异值分解,将系统的动力学方程沿与约束相容和不相容的两个方向上投影,求解受非定常非完整约束的多体系统动力学问题,并给出了求约束反力的公式和避免违约的一种方法;这种解法不仅不依赖于描述系统的坐标选择,而且计算效率高。最后举了一个说明性例子。     

非线性扰动偏微分方程混合边值问题的可解性

研究具有混合边界条件的非线性扰动偏微分摄动方程的可解性.得到原问题的摄动解并证明解的展开式的一致有效性.     

一类组合方程的势对称分类

首先给出一类含有任意函数的变系数波动方程uxx=H(x)utt的古典对称及其势对称的完全分类,然后借助于这个波动方程的对称分类,系统讨论了含有两个任意函数的一类组合方程的势对称分类,所得结果确实扩充了原方程的对称.在计算过程中,采用微分形式的吴方法,微分特征列的程序包起到了重要作用.     

一种求解约束优化问题的改进差分进化算法

针对在处理约束优化问题时约束条件难以处理的问题,提出了一种求解约束优化问题的改进差分进化算法.即在每代进化前将群体分为可行个体和不可行个体两类,对不可行个体,用差量法将其逐个转化为可行个体,并保持种群规模不变,经过一序列的进化后,计算所有可行个体的适应度并找到问题的最优解.对5个经典函数进行了优化测试,测试结果表明提出的算法对求解约束优化问题是有效的.     

超广义Burgers方程族的非线性可积耦合及其Bargmann对称约束

基于李超代数,构造了超广义Burgers方程族的非线性可积耦合,并且利用超级恒等式得到了它的超Hamilton结构.此外,该文计算出超广义Burgers方程族的非线性可积耦合的Bargmann对称约束.     

具有动应力和动位移约束的离散变量结构拓扑优化设计方法

讨论了动应力、动位移约束下离散变量结构拓扑优化设计问题.首先给出问题的数学模型,然后用拟静力算法,将结构惯性力极值作为静载荷施加到结构上,求得结构的动位移和动内力,将考虑动应力约束和动位移约束的离散变量结构拓扑设计问题化为静应力和静位移约束的优化问题,然后利用两类变量统一考虑的离散变量结构拓扑优化设计的综合算法进行求解.     

Convergence of a Penalty Method for Mathematical Programming with Complementarity Constraints

We adapt the convergence analysis of the smoothing (Ref. 1) and regularization (Ref. 2) methods to a penalty framework for mathematical programs with complementarity constraints (MPCC); we show that the penalty framework shares convergence properties similar to those of these methods. Moreover, we give sufficient conditions for a sequence generated by the penalty framework to be attracted to a B-stationary point of the MPCC.     

Bretherton方程的对称约化和精确解

运用李群对称方法解决Bretherton方程问题,得到方程的对称约化和群不变解,比如幂级数解,最后得出该问题的守恒率.     

几何对称法在求取某些区域格林函数中的应用

格林函数法是数学物理方程中一种常用的方法,适用于求解狄利克雷问题.针对几种特殊区域上的上狄利克雷问题,采用几何对称法求取这些区域对应的格林函数,该方法对于该区域上格林函数的求解是有效的.     

一类非线性波动方程的势对称分类

先给出了含有一个任意函数的线性波动方程的古典和势对称的完全分类.然后,在此基础上给出了含有两个任意函数的一类非线性波动方程的两种情形势对称分类,得到了该方程的新势对称.在处理对称群分类问题的难点-求解确定方程组时我们提出了微分形式吴方法算法,克服了以往难于处理的困难.在整个计算过程中反复使用了吴方法,吴方法起到了关键的作用.