Fokker Planck方程的非古典广义势对称及精确解

分析了Fokker-Planck方程的非古典势对称,通过广义势系统而不是一般势系统求得了这些非古典势对称.文中得到了这些方程的新的对称,同时也得到了伴随系统的新的对称,并用其求出了一些精确解.这些解对进一步研究Fokker-Planck方程所描述的物理现象具有广泛的应用价值.     

Fokker Planck方程的非古典势对称群及新显式解

本文利用一种新方法对Fokker- Planck方程的非古典势对称群生成元进行研究,找到方程的几个非古典势对称群生成元,并采用非古典对称群方法由这些对称群生成元构造得到Fokker- Planck方程的相应显式解.这些新显式解不能由Fokker -Planck方程本身的Lie对称或Li-e B cklund对称来获得.在验证所求得显式解的过程中,还发现并得到了另外几个显式解.这些新显式解则不能由Fokker -Planck方程本身的Lie对称,Lie- B cklund对称或非古典势对称来获得.文章表明,通过偏微分方程的非古典势对称群生成元来寻找其显式解是可能的.     

Benney方程的势对称和不变解

利用微分形式的吴方法计算了Benney方程的势对称及其不变解．由于Benney方程中包含不稳定项和耗散项,使得直接求其不变解较为困难,利用吴一微分特征列算法可大大降低其中确定方程组的计算难度．本文全面讨论了Benney方程不同系数情况下的对称,并且得到了新的势对称,同时利用这些对称求得了相应的不变解,这些解对进一步研究Benney方程所描述的物理现象具有广泛的应用价值．文章表明,对于守恒形式的偏微分方程,可通过其辅助系统求得的势对称来构造其不变解．     

电站并联运行的不对称非线性振荡

本文给出一个结构不完全对称并联电网的等价定理,它把双输入双输出非线性耦合的微分方程组等价为单输入单输出的非线性微分方程,然后用渐近方法和谐波线性化方法求其一次近似解,得到一些新的物理性质,有助于合理选择电网结构,以提高其结构稳定性.     

求一类非线性偏微分方程精确解的简化试探函数法

利用试探函数法,将一个难于求解的非线性偏微分方程化为一个易于求解的代数方程,然后用待定系数法确定相应的常数,简洁地求得了一类非线性偏微分方程的精确解．将此方法应用到Burgers方程、KdV方程和KdV—Burgers方程,所得结果与已有结果完全吻合．本方法可望进一步推广用于求解其它非线性偏微分方程．     

显式和对角隐式Rung-Kutta方法求解中立型泛函微分方程的非线性稳定性

本文致力于研究巴拿赫空间中非线性中立型泛函微分方程显式和对角隐式Rung-Kutta方法的稳定性．获得了一些显式和对角隐式Rung-Kutta方法求解非线性中立型泛函微分方程的数值稳定性和条件收缩性结果,数值试验验证了这些结果．     

电站并联运行的不对称非线性振荡

本文给出一个结构不完全对称并联电网的等价定理,它把双输入双输出非线性耦合的微 分方程组等价为单输入单输出的非线性微分方程,然后用渐近方法和谐波线性化方法求其一 次近似解,得到一些新的物理性质,有助于合理选择电网结构,以提高其结构稳定性.     

一种新的基于高阶非线性扩散的图像平滑方法

该文首先基于方向曲率模值提出描述图像平滑度的泛函,并推导出新的高阶偏微分方程(PDE)图像降噪模型,在有效降噪的同时,能较好地保持特征．低阶非线性扩散方法处理结果是分段恒定图像,而文中方法得到的分段线性图像,视觉效果更加理想．与其它高阶方法相比,新方法具有理论和计算上的优势．其次,针对非线性扩散中出现的过度平滑现象,该文提出利用泄漏修补算子对偏微分方程进行补充,实验表明,泄漏修补机制对图中重要的、细微的特征有较好的保持作用．最后,文中还提出一种新的非线性扩散过程——复合扩散,以扩大方法的使用范围,提高其适应性．同以往的非线性扩散相比,复合扩散不但能自适应地调整扩散方向,而且可并行处理不同类型噪声．     

随机最优切换模型的建立与数值求解

利用动态规划原理,建立了由生产(经营)模式一向模式二切换的随机最优切换模型,得到了一个关于期权价值的偏微分方程互补问题,进而利用罚函数方法求解此问题而得到了一个非线性偏微分方程.在空间离散上采用拟合有限体积法求解此非线性偏微分方程,获得了最优切换模型的最优执行边界.最后进行了数值模拟,并讨论了参数关于最优执行边界的灵敏度.     

变流速输液管的周期和混沌振动

研究了参数激励和外激励联合作用下输流管道的非线性振动问题．只考虑管道变形的几何非线性因素,利用Hamilton原理得到单侧受简谐均布载荷作用下输液管的非线性动力学方程,对系统运动偏微分方程综合运用多尺度法和Galerkin离散方法,得到了主参数共振-1／2亚谐共振和1：2内共振情况下的平均方程．数值模拟结果表明参数激励和外激励联合作用下的悬臂输液管呈现周期运动、多倍周期运动和混沌运动的变化规律．     

On a new procedure for finding nonclassical symmetries

A new technique for deriving the determining equations of nonclassical symmetries associated with a partial differential equation system is introduced. The problem is reduced to computing the determining equations of the classical symmetries associated with a related equation with coefficients which depend on the nonclassical symmetry operator. As a consequence, all the symbolic manipulation programs designed for the latter task can also be used to find the determining equations of the nonclassical symmetries, without any adaptation of the program. The algorithm was implemented as the MAPLE routine GENDEFNC and uses the MAPLE package DESOLV (authors Carminati and Vu). As an example, we consider the Huxley partial differential equation.     

Invariant solutions of integro-differential Vlasov–Maxwell equations in Lagrangian variables by Lie group analysis

The Lie point symmetries of the Vlasov–Maxwell system in Lagrangian variables are investigated by using a direct method for symmetry group analysis of integro-differential equations, with emphasis on solving nonlocal determining equations. All similarity reduction forms for the system are obtained by using different approaches and some analytical and numerical solutions are presented.     

Symmetries and exact solutions for a 2 + 1-dimensional shallow water wave equation

Classical and nonclassical reductions of a 2 + 1-dimensional shallow water wave equation are classified. Using these reductions, we derive some exact solutions, including solutions expressed as the nonlinear superposition of solutions of a generalised variable-coefficient Korteweg-de Vries equation. Many of the reductions obtained involve arbitrary functions and so the associated families of solutions have a rich variety of qualitative behaviours. This suggests that solving the initial value problem for the 2 + 1-dimensional shallow water equation under discussion could pose some fundamental difficulties.The nonlinear overdetermined systems of partial differential equations whose solutions yield the reductions were analysed and solved using the MAPLE package diffgrob2, which we describe briefly.     

A symbolic algorithm for computing recursion operators of nonlinear partial differential equations

A recursion operator is an integro-differential operator which maps a generalized symmetry of a nonlinear partial differential equation (PDE) to a new symmetry. Therefore, the existence of a recursion operator guarantees that the PDE has infinitely many higher-order symmetries, which is a key feature of complete integrability. Completely integrable nonlinear PDEs have a bi-Hamiltonian structure and a Lax pair; they can also be solved with the inverse scattering transform and admit soliton solutions of any order.

A straightforward method for the symbolic computation of polynomial recursion operators of nonlinear PDEs in (1+1) dimensions is presented. Based on conserved densities and generalized symmetries, a candidate recursion operator is built from a linear combination of scaling invariant terms with undetermined coefficients. The candidate recursion operator is substituted into its defining equation and the resulting linear system for the undetermined coefficients is solved.

The method is algorithmic and is implemented in Mathematica. The resulting symbolic package PDERecursionOperator.m can be used to test the complete integrability of polynomial PDEs that can be written as nonlinear evolution equations. With PDERecursionOperator.m, recursion operators were obtained for several well-known nonlinear PDEs from mathematical physics and soliton theory.     

[SADE] a Maple package for the symmetry analysis of differential equations

We present the package SADE (Symmetry Analysis of Differential Equations) for the determination of symmetries and related properties of systems of differential equations. The main methods implemented are: Lie, nonclassical, Lie–Bäcklund and potential symmetries, invariant solutions, first-integrals, Nöther theorem for both discrete and continuous systems, solution of ordinary differential equations, order and dimension reductions using Lie symmetries, classification of differential equations, Casimir invariants, and the quasi-polynomial formalism for ODE's (previously implemented by the authors in the package QPSI) for the determination of quasi-polynomial first-integrals, Lie symmetries and invariant surfaces. Examples of use of the package are given.

Program summary

Program title: SADECatalogue identifier: AEHL_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEHL_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: Standard CPC license, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 27 704No. of bytes in distributed program, including test data, etc.: 346 954Distribution format: tar.gzProgramming language: MAPLE 13 and MAPLE 14Computer: PCs and workstationsOperating system: UNIX/LINUX systems and WINDOWSClassification: 4.3Nature of problem: Determination of analytical properties of systems of differential equations, including symmetry transformations, analytical solutions and conservation laws.Solution method: The package implements in MAPLE some algorithms (discussed in the text) for the study of systems of differential equations.Restrictions: Depends strongly on the system and on the algorithm required. Typical restrictions are related to the solution of a large over-determined system of linear or non-linear differential equations.Running time: Depends strongly on the order, the complexity of the differential system and the object computed. Ranges from seconds to hours.     

A feature-based method of rapidly detecting global exact symmetries in CAD models

Detecting global exact symmetries in CAD models is of great importance in the research of CAD/CAE integration. Therefore, a method is proposed in this paper to rapidly detect the global exact rotational and reflectional symmetries in feature-based CAD models. The theories of determining the symmetries of the Boolean combinations of the features are framed. Based on these theories, our approach is processed as follows. First, the features of the CAD models are classified into congruent feature sets. Next, through the study on the relationship between feature information and the symmetries of features, by using only feature information, as many symmetries of the feature sets as possible are detected. Then these feature sets are sorted into an ordered sequence. Finally, symmetries of the entire model can be derived by successively merging and verifying the symmetries of feature sets in the ordered sequence. Experimental results show that the global exact symmetries can be robustly and rapidly detected.     

可解的具有广义对称性的非线性系统的同构分解与可控性 *

本文讨论了一类具有广义对称性的非线性系统的同构分解及其可控性问题。首先提出了可解的具有广义对称性的系统的概念，然后推出了此类系统的以商系统为基本构造的分解形式，最后证明了此类系统可控笥在一定条件下可由分解后的系统的可控性来确定的结论，同时得到了相应的充要条件。