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

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

有限区间上积分-微分算子的逆结点问题

研究Dirichlet边界条件下的积分-微分算子逆结点问题.证明了积分-微分算子稠定的结点子集能够唯一确定[0,π]上的势函数q(x)和区域Do上的积分扰动核M(x-t)且给出了这个逆结点问题的解的重构算法.     

积分因子求法举例

利用积分因子求解微分方程P(x,y)dx+Q(x,y)dy=0 (1)是一种有效的方法,但是求积分因子却不容易,对于简单的微分方程,可以通过观察来确定积分因子,但对于较复杂的微分方程,往往不容易直接求得它的积分因子.如果把方程(1)左端分组,找出每组的积分因子,或把方程的左端化为几个全微分的和,问题就可简单化.     

复合型积分因子的存在定理及应用

给出了微分方程 M( x,y) dx+N ( x,y) dy=0复合型积分因子的定义 ,得到了复合型积分因子存在的充要条件和计算公式 .     

奇异积分与分数次积分算子的交换子（英文）

积分和微分算子的交换子是调和分析和偏微分方程中非常重要的工具.最近,本文第三作者给出了一篇综述[Front.Math.China,2011,6(5):821-833],介绍了调和分析领域里一些重要算子的交换子的最新进展并提出了一些公开问题.本文给出了粗糙核以及变量核的奇异积分和分数次积分交换子的一些结果,可看作前一综述的一个补充.     

变量分离型积分因子存在定理及应用

给出了变量分离型积分因子μ(x,y)=p(x)q(y)的定义,得到了微分方程M(x,y)dx+N(x,y)dy=0存在变量分离型积分因子μ(x,y)=p(x)q(y)的充要条件和计算积分因子的公式.     

关于“复合型积分因子的存在定理及应用”的一个注记

对“复合型积分因子的存在定理及应用”中给出的微分方程M(x,y)dx+N(x,y)dy=0复合型积分因子的定义进行剖析,得到了一般性复合型积分因子的定义及其存在的充要条件和计算公式.     

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

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

积分微分方程组的若干求解公式

提出三类积分微分方程组,利用迭代法及变上限函数的求导法则,论证其可积性,给出这些积分微分方程组的求解公式,是对文献中内容的深化与拓广.     

一阶常微分方程有形如μ(axα+bxsyl+cyβ)积分因子的充要条件

讨论了一阶常微分方程M(x,y)dx+N(x,y)dy=0 的积分因子问题,给出了一阶常微分方程有形如μ(axα+bxsyl+cyβ)的积分因子的一个充分必要条件.推广了相关文献的结果,从而丰富了常微分方程的解法.     

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

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

闭光滑流形上的高阶线性微-积分方程

利用积分变换技巧,作者给出了C~n中闭光滑可定向流形上一个新的Bochner-Martinelli型积分的高阶偏导数的奇异积分的Hadamard主值,获得了高阶奇异积分的Plemelj公式和合成公式,还讨论了相应的变系数线性微分积分方程的正则化,证明其可转化为一类等价的Fredholm方程。并且指出其特征方程当给出一组适当的边值条件时,在L~*中存在唯一解。     

实Clifford分析中三类高阶奇异积分及其非线性微分积分方程

本文第一部分借助于高阶异积分的Ｈａｄａｍａｒｄ主值的思想以及归纳法的思想,在证明了６个引理的基础上讨论实Ｃｌｉｆｆｏｒｄ分析中三类高阶异积分的归纳定义,Ｈａｄａｍａｒｄ主值的存在性,递推公式,计算公式以及高阶奇异积分在Ｈａｄａｍａｒｄ主值意义下的１２个微分公式,受多复变中解析函数积分表示式多样笥的,本文采用的算子的积分表达式就与个公式和微分公式都十分乘法本文第二部分在引进并证明了Ｈｉｌｅ引理型的基     

Simplified renormalization group method for ordinary differential equations

The renormalization group (RG) method for differential equations is one of the perturbation methods which allows one to obtain invariant manifolds of a given ordinary differential equation together with approximate solutions to it. This article investigates higher order RG equations which serve to refine an error estimate of approximate solutions obtained by the first order RG equations. It is shown that the higher order RG equation maintains the similar theorems to those provided by the first order RG equation, which are theorems on well-definedness of approximate vector fields, and on inheritance of invariant manifolds from those for the RG equation to those for the original equation, for example. Since the higher order RG equation is defined by using indefinite integrals and is not unique for the reason of the undetermined integral constants, the simplest form of RG equation is available by choosing suitable integral constants. It is shown that this simplified RG equation is sufficient to determine whether the trivial solution to time-dependent linear equations is hyperbolically stable or not, and thereby a synchronous solution of a coupled oscillators is shown to be stable.     

一类半导体方程混合初边值问题解的渐近性

考虑在磁场影响下一类半导体方程的混合边值问题，在一定条件下，利用Ｍｏｓｅｒ技巧和先验估计，证明了瞬态解的存在性和平衡解的存在唯一性，经过一系列估计，证明了瞬态解的渐近性。     

Indefinite integrals involving complete elliptic integrals of the third kind

A method developed recently for obtaining indefinite integrals of functions obeying inhomogeneous second-order linear differential equations has been applied to obtain integrals with respect to the modulus of the complete elliptic integral of the third kind. A formula is derived which gives an integral involving the complete integral of the third kind for every known integral for the complete elliptic integral of the second kind. The formula requires only differentiation and can therefore be applied for any such integral, and it is applied here to almost all such integrals given in the literature. Some additional integrals are derived using the recurrence relations for the complete elliptic integrals. This gives a total of 27 integrals for the complete integral of the third kind, including the single integral given in the literature. Some typographical errors in a previous related paper are corrected.     

THE DIFFERENTIAL INTEGRAL EQUATIONS ONSMOOTH CLOSED ORIENTABLE MANIFOLDS

1 IntroductionSillce tl1e limit value fOrlnula, viz. tl1e Plemelj fOrn1ula, of the Cauthe type integraJ withBochner-Martinelli kernel was proved in 1957[1], it has beell successfully used to the study Ofsingular i1ltegral equatious, solvi11g the 0b--equation, holomorphic extension, 0--closed exten-sion and C-R 111al1ifolds[2-51. Evideutly, the researcl1 of higher order singular integrals withBochuer-Martinelli kerllel itself also l1as important significallce. In 1952, J. Hadanmrd firstde…     

On the integral equation method for buckling loads

An initial value method for the integral equation of the column is presented for determining the buckling load of columns. The differential equation of the column is reduced to a Fredholm integral equation. An initial value problem is derived for this integral equation, which is reduced to a set of ordinary differential equations with prescribed initial conditions in order to find the Fredholm resolvent. The singularities of the resolvent occur at the eigenvalues. Integration of the equations proceeds until the integrals become excessively large, indicating that a critical load has been reached. To check this method, numerical results are given for two examples, for which the critical load is well known. One is the Euler load of a simply supported beam, and the other case is the buckling load of a cantilever beam under its own weight. The advantage of this initial value method is that it can be applied easily to solve other nonlinear problems for which the critical loads are unknown. This approach will be illustrated in future papers.     

具有急慢性阶段的SIS流行病模型的稳定性

本文系统研究了具有急性和慢性两个阶段的SIS流行病模型.由两节构成,第一节建立和研究了具有急性和慢性两个阶段的SIS流行病模型,该模型是由三个常微分方程构成的方程组;第二节在第一节的基础上建立和研究了具有慢性病病程的SIS流行病模型;该模型既含有常微分方程,又含有偏微分方程.假设所研究的国家或地区的总人口N(t)服从增长规律: N'(t)=A—μN(t),运用微分方程和积分方程中的理论和方法,得到了这两个模型再生数R0的表达式．证明了无病平衡态的全局渐近稳定性,给出了两模型地方病平衡态的存在性和稳定性条件．