构造Lax表示的新算法

基于微分特征列法和微分带余除法,给出了利用拟微分算子构造非线性发展方程1+1维和2+1维Lax表示的新算法.新算法减少了运算步骤,简化了计算过程,是微分特征列法在可积系统领域一个新的应用.     

KdV方程的延拓结构

利用外微分形式系统和Lie代数表示理论提出了求解非线性波方程Lax对的延拓结构理论,该方法是构造非线性波方程Lax对的系统最有效的方法.其关键在于如何给出延拓代数的具体表示,如微分算子表示或矩阵表示.如果一个非线性波方程具有非平凡的延拓代数,则称其延拓代数可积,本篇论文主要利用延拓结构理论,讨论KdV方程的解,同时给出...     

容许次于最大维不变子空间的三阶非线性微分算子的分类（英文）

利用不变子空间方法研究一般的三阶非线性微分算子的分类问题.证明了当三阶算子容许次于最大维(六维)不变子空间时,它可以被表示为各参量的平方形式,得到了常系数三阶非线性微分算子在六维子空间的完全分类.最后通过一些例子演示利用不变子空间方法约化方程及求精确解的过程.     

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

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

三维拟线性热弹性力学方程区域内部解的奇性传播规律

本文利用频率分析对角化的方法,研究了三维拟线性热弹性力学方程区域内部解的奇性传播规律. 首先从微局部观点出发,利用仿微分算子和拟微分算子将方程仿线性化和对角化.然后,利用穿梭法和经典的双曲方程和抛物方程理论,证明了区域内部解的奇性传播也是沿耦合方程组的双曲算子的零次特征带传播,并且当初值的奇性沿方程组的双曲算子的前向光锥传播时,时间t也具有很好的正则性.     

三维拟线性热弹性力学方程区域内部解的奇性传播规律

本文利用频率分析对角化的方法,研究了三维拟线性热弹性力学方程区域内部解的奇性传播规律.首先从微局部观点出发,利用仿微分算子和拟微分算子将方程仿线性化和对角化.然后,利用穿梭法和经典的双曲方程和抛物方程理论,证明了区域内部解的奇性传播也是沿耦合方程组的双曲算子的零次特征带传播,并且当初值的奇性沿方程组的双曲算子的前向光锥传播时,时间t也具有很好的正则性.     

微分变换法求解二维非线性Volterra积分微分方程

为了解决二维非线性Volterra积分微分方程的求解问题,本文给出微分变换法.利用该方法将方程中的微分部分和积分部分进行变换,这样简化了原方程,进而得到非线性代数方程组,从而将原问题转换为求解非线性代数方程组的解,使得计算更简便.文中最后数值算例说明了该方法的可行性和有效性.     

具有Hille-Yosida算子的非线性随机脉冲泛函微分包含的可控性

本文研究具有Hille-Yosida算子的非线性随机脉冲泛函微分包含的可控性.假设多值非线性和脉冲函数满足由非紧性测度表示的正则性条件,利用非紧性测度理论和多值凝聚不动点定理,得到这类微分包含的可控性的充分条件.     

具有伪单调算子的非线性微分包含约束的最优控制

本文研究一类受主算子为伪单调算子的非线性微分包含约束的最优控制问题．首先,探讨抛物型发展方程的柯西问题其解的性质及微分包含问题的容许轨线的存在性;然后,利用一个新的可测选择定理解决了受非线性微分包含约束的最优控制的存在性,最后,给一例子加以说明所获结果的应用性．     

线性微分方程的微分算子级数解法

介绍了微分算子级数法及其求解线性常微分方程通解、特解的原理、方法和实例.这个方法和其它解法的差别,在于不借助其它学科知识的启示,直接通过方程中微分算子的运算求出方程的特解或通解.     

An algorithmic method for showing existence of nontrivial non-classical symmetries of partial differential equations without solving determining equations

In this paper, based on differential characteristic set theory and the associated algorithm (also called Wu?s method), an algorithmic method is presented to decide on the existence of a nontrivial non-classical symmetry of a given partial differential equation without solving the corresponding nonlinear determining system. The theory and algorithm give a partial answer for the open problem posed by P.A. Clarkson and E.L. Mansfield in [21] on non-classical symmetries of partial differential equations. As applications of our algorithm, non-classical symmetries and corresponding invariant solutions are found for several evolution equations.     

Meromorphic solutions of some algebraic differential equations related Painlevé equation IV and its applications

In this paper, the complex method is used to derive meromorphic solutions to some algebraic differential equations related Painlevé equation IV, and then we illustrate our main result by some computer simulations. By the application of our result, we obtain meromorphic solutions of a nonlinear evolution equation. We can apply the idea of this study for other nonlinear evolution equations in mathematical physics.     

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

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

Lax pair, cyclic basis, and a new integrable system

A direct approach to zero-curvature representation, as introduced by Marvan is applied to generate a new class of integrable equations by starting with the generic Lax operator (x-part) for a coupled set of nonlinear equations. The class of equation so obtained is more general than those usually obtained with the help of standard recursion operator. Finally some particular type of equations are identified by the special choice of the arbitrary functions occurring in the final solution of the time part of the Lax equation. The methodology is specially useful when the x-part of the Lax operator does not contain any spectral parameter.     

Painlevé analysis of nonlinear evolution equations—an algorithmic method

This paper refines existing techniques into an algorithmic method for deriving the generalization of a Lax Pair directly from a general integrable nonlinear evolution equation via the use of truncated Painlevé expansions. The resulting algorithm is also applicable to multicomponent integrable systems, and is thus expected to be of great value for complicated variants of such systems in various applications areas. Although a related method has existed for simple scalar integrable evolution equations for many years now, nevertheless no systematic procedure has been given that would work in general for scalar as well as for multicomponent systems. The method presented here largely systematizes the necessary operations in applying the Painlevé method to a general integrable evolution equation or system of equations. We demonstrate that by following the concept of enforcing integrability at each step (referred to here as the Principle of Integrability), one is led to an appropriate generalization of a Lax Pair, although perhaps in nonlinear form, called a “Lax Complex”. One new feature of this procedure is that it utilizes, as needed, a technique from the well-known Estabrook–Wahlquist method for determining necessary integrating factors. The end result of this procedure is to obtain a Lax Complex, whose integrability condition will contain the original evolution equation as a necessary condition. This in itself is sufficient to ensure that the Lax Complex may be used to construct Bäcklund solutions of the evolution equation, to obtain Darboux Transformations, and also to obtain Hirota’s tau functions, in a manner analogous to the procedure for single component systems. The additional problem of finding a general procedure for the linearization of any Lax Complex is not treated in this paper. However, we do demonstrate that a particular technique, which can be derived self-consistently from the Painlevé–Bäcklund equations, has proven to be sufficient so far. The Nonlinear Schrödinger equation is used to illustrate the method, and then the method is applied to obtain, for the first time via the Painlevé method, a Lax Complex for the vector Manakov system. Limitations in the algorithm remain, especially for cases with more than one principal branch, and these are briefly mentioned as directions for future work.     

判定线性偏微分方程组解的完备性的一个符号计算方法

从微分代数的角度出发,借助于吴微分特征集理论,对于线性偏微分方程组,给出了判定它的解的完备性的一个符号计算方法.这个算法是一个机械化的算法,借助于符号计算软件Maple,可以在计算机上实现.     

The mKdV Hierarchy With Integral Source

1 IntroductionThe nonlinear Schrodinger equation with integral source (NLSEIS) and the KdV equationwith integral source (KdVIS) were integrated by inverse scattering method in [1,2] and -methodin [3]. However, since the evolution equations for eigenfunction in Lax representation for NLSEISand KdVIS were not obtained, the determining scatterging data in [1-3] was quite complicatedand required some skill.In the present paper we discuss the new mKdV hierarchy with integral source (mKdV…     

Relation among nonlinear evolution equations and their reductions

The LCZ soliton hierarchy is presented, and their generalized Hamiltonian structures are deduced. From the compatibility of soliton equations, it is shown that this soliton hierarchy is closely related to the Burger equation, the mKP equation and a new (2 + 1)-dimensional nonlinear evolution equation (NEE). Resorting to the nonlinearization of Lax pairs (NLP), all the resulting NEEs are reduced into integrable Hamiltonian systems of ordinary differential equations (ODEs). As a concrete application, the solutions for NEEs can be derived via solving the corresponding ODEs.     

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

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

Systems of matrix rational differential equations arising in connection with linear stochastic systems with Markovian jumping

In this paper, a class of systems of matrix nonlinear differential equations containing as particular cases the systems of coupled Riccati differential equations arising in connection with control of some linear stochastic systems is considered.The system of differential equations considered in this paper are converted in a suitable nonlinear differential equation on a finite-dimensional Hilbert space adequately choosen.This allows us to use the positivity properties of the linear evolution operator defined by the linear differential equations of Lyapunov type.Our aim is to investigate properties of stabilizing and bounded solutions of the considered differential equations and to obtain some conditions ensuring the existence of such solutions.Conditions providing the existence of a maximal solution (minimal solution respectively) with respect to some classes of global solutions are presented. It is shown that if the coefficients of the equations are periodic functions all these special solutions (stabilizing, maximal, minimal) are periodic functions, too.Whenever possible the probabilistic arguments were avoided and so the results proved in the paper appear as results in the field of differential equations with interest in themselves.