偏微分方程(组)完全对称分类微分特征列集算法

给出了一个确定含参数偏微分方程(组)的完全对称分类微分特征列集算法,该算法能够直接、系统地确定偏微分方程(组)的完全对称分类.用给出的算法获得了含任意函数类参数的线性和非线性波动方程完全势对称分类.这也是微分形式特征列集算法(微分形式吴方法)在微分方程领域中的新应用.     

基于吴方法的确定和分类(偏)微分方程古典和非古典对称新算法理论

本文基于微分形式吴方法,给出了确定和分类微分方程古典和非古典对称的统一的机械化算法理论.用该理论克服了在传统Lie算法中存在的缺陷,使确定和分类对称更系统和直接,从而扩大了对称方法的应用范围.这也是吴方法在微分领域中一个新的应用.     

利用对称方法求解非线性偏微分方程组边值问题的数值解

本文研究微分方程对称方法在非线性偏微分方程组边值问题中的应用.首先,利用吴-微分特征列集算法确定给定非线性偏微分方程组边值问题的多参数对称;其次,利用对称将非线性偏微分方程组边值问题约化为常微分方程组初值问题;最后,利用龙格-库塔法求解常微分方程组初值问题的数值解.     

扩充偏微分方程(组)守恒律和对称的辅助方程方法及微分形式吴方法的应用

首先,我们给出了引入伴随方程(组)扩充原方程(组)的策略使给定偏微分方程(组)的扩充方程组具有对应泛瓯即,成为Lagrange系统的方法,以此为基础提出了作为偏微分方程(组)传统守恒律和对称概念的一种推广-偏微分方程(组)扩充守恒律和扩充对称的概念;其次,以得到的Lagrange系统为基础给定了确定原方程(组)扩充守恒律和扩充对称的方法,从而达到扩充给定偏微分方程(组)的首恒律和对称的目的;第三,提出了适用于一般形式微分方程(组)的计算固有守恒律的方法;第四,实现以上算法过程中,我们先把计算(扩充)守恒律和对称问题均归结为求解超定线性齐次偏微分方程组(确定方程组)的问题.然后,对此关键问题我们提出了用微分形式吴方法处理的有效算法;最后,作为方法的应用我们计算确定了非线性电报方程组在内的五个发展方程(组)的新守恒律和对称,同时也说明了方法的有效性.     

微分多项式系统的近微分特征列集

本文对微分多项式系统的近微分特征列集与微分特征列集之间的一些关系进行了研究,给出了在某些条件下近微分特征列集是微分特征列集的结论,从而对微分多项式系统特征列集理论（吴方法）进行了改进,并且建立的算法较大地提高了计算微分特征列集的效率.     

一类偏微分方程(组)非古典对称存在性的判定方法

基于微分特征集理论和算法,提出在一定条件下判定偏微分方程(组)非古典对称存在性的机械化方法.该方法对Clarkson P A提出的关于偏微分方程(组)的非古典对称的公开问题给出了部分回答,为完全解决该问题提供了一个思路.通过若干个发展方程的非古典对称的确定说明了该方法的有效性.     

多项式组特征列的矩阵求法

基于矩阵多元多项式的带余除法,给出了代数情形多项式组特征列的一种新求法,并举例验证了这种方法的有效性.     

线性齐次偏微分方程组吴特征列和 Janet 基的等价性

本文简单介绍了吴微分特征列和Janet基,利用线性齐次微分方程组既约化基的概念,证明了线性齐次偏微分方程组的正规化的吴微分特征列和正规化的、自约化的Janet基均是既约化基,从而由既约化基的唯一性,得到了它们的等价性定理。     

常微分方程(组)的高次积分因子与高次积分及其微分特征列集算法

考虑了一般微分方程(组)高次积分和其微分特征列集(吴方法)机械化确定算法.首先提出微分方程的积分因子和首次积分的推广高次积分因子与其对应的高次积分的概念.其次给出了由高次积分因子确定其对应的高次积分的计算公式,使确定高次积分的问题转化为求高次积分因子的问题.再其次对确定高次积分因子的问题,给出了微分特征列集算法.最后用给定的算法确定了二阶和三阶微分方程拥有高次积分的结构定理,并给出了具体的算例和结论.     

微分多项式系统的约化算法理论

本文中，作者推广了纯代数形式的特征列集理论（吴方法）为微分形式的相应理论，即建立了在机器证明了诸多微分问题中非常重要的微分多项式组的约化算法理论。引入了一些新的概念和观点使函数微分（导数）具有直观的代数几何表示。给出了Coherent条件下的特征列集的算法。给出的算法易于在计算机上实现并适合应用于广泛的微分问题，如微分方程对称计算，各种微分关系的自动推理等问题。     

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

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

线性常微分方程组解的特征数的估计

复数域上线性系统ｘ＝Ａ（ｔ）ｘ，当Ａ（ｔ）＝（ａｉｊ（ｔ））ｎ×ｎ具有（ｎ，Ｎ，ｒ） 差异性质且ｒｎ时，解的特征数ｊ有估计λｊ－ｌｉｍｔ→∞１ｔ∫ｔｔ０Ｒｅａｊ（τ）ｄτｎ－１ｒ＋１－ｎｌｉｍｔ→∞１ｔ∫ｔｔ０Ａ（τ）ｄτ，ｊ＝１，２，…，ｎ，其中Ａ（ｔ）＝ｍａｘ｛｜ａｉｊ（ｔ）｜：ｉ，ｊ＝１，２，…，ｎ，ｉ≠ｊ．｝     

Symmetry Analysis of Variable-Coefficient Time-Fractional Nonlinear Systems of Partial Differential Equations

Theoretical and Mathematical Physics - We investigate some well-known variable-coefficient time-fractional nonlinear systems of partial differential equations using the Lie symmetry method and...     

A Characteristic Equation for Non-autonomous Partial Functional Differential Equations

We characterize the exponential dichotomy of non-autonomous partial functional differential equations by means of a spectral condition extending known characteristic equations for the autonomous or time-periodic case. From this we deduce robustness results. We further study the almost periodicity of solutions to the inhomogeneous equation. Our approach is based on the spectral theory of evolution semigroups.     

On the Explicit Solution of Certain First Order Systems of Partial Differential Equations

We consider two classes of systems of partial differential equations of first order. One consists of generalized Stokes-Beltrami equations $ Aw_z = w^*_z $ , $ \lambda Bw_{\bar z} -w^*_{\bar z} $ with square matrices A and B and a scalar factor u . The other may be written in matrix notation as $ v_{\bar z} = c{\bar v} $ where c denotes a square matrix. This system is known as a Pascali system. Both systems are in close connections to certain systems of second order for which the solutions can be represented using particular differential operators. On the basis of these relations we give the solutions of the first order systems explicitly.     

Use of the Domain Derivative to Prove Symmetry Results in Partial Differential Equations

In this paper we present a different method for proving symmetry results in partial differential equations. The principal idea is to use the classical tool of shape optimization, namely, the differentiation with respect to the domain. The aim is to derive, from an optimality condition, information on the boundary of the domain.     

随机偏微分方程——建模,分析与有效动力学

综述随机偏微分方程的基本概念、理论、方法与应用,内容包括Hilbert空间中的Wiener过程、Ito随机积分、随机偏微分方程的解及其有效动力学。还介绍了随机偏微分方程的粗糙轨道、正则结构以及在Kardar-ParisiZhang(KPZ)方程中的应用。还介绍了段金桥与王伟的著作《Effective Dynamics of Stochastic Partial Differential Equations(随机偏微分方程的有效动力学)》的基本内容。     

二维周期系数线性微分方程的特征指数

给出利用系数直接判定二维周期系数线性微分方程特征指数符号的若干结论．