两类自共轭微分算子谱的离散性

研究了两类对称微分算式生成的微分算子的谱的离散性.首先给出了一类三项四阶自共轭微分算子谱的离散性的充要条件.进而讨论了一类高阶自共轭微分算子的谱的离散性.     

复微分-差分方程组的超越整函数解

利用亚纯函数的Nevanlinna值分布理论, 我们主要研究了一类复微分-差分方程和一类复微分-差分方程组的有限级超越整函数解的存在形式, 得到两个有趣的结论. 将复微分(差分)方程的一些结论推广到复微分-差分方程(组)中.     

具有可积系数的高阶J自伴微分算子的离散谱的条件

研究了一类具有可积系数的高阶J-自伴微分算子谱离散性的充分条件与必要条件,为判断这一类微分算子谱的离散性提供了若干准则.     

基于一类积分不等式上的中立型微分系统Lipschitz稳定性

利建立和改进了一类积分不等式,并给出一类中立型微分系统Lipschitz稳定性判断准则.     

左定四阶微分算子的特征值计算

讨论了一类具有耦合边界条件的左定四阶微分算子,利用具有耦合边界条件的左定四阶微分算子和其相应的右定四阶微分算子的关系,最终给出左定四阶微分算子特征值的计算方法.     

一类可分离变量中立型系统的稳定性

建立了变系数时滞微分差分不等式,并利用此微分差分不等式讨论了一类分离变量有界可变时滞中立型系统的稳定性.     

Euler微分算子谱是离散的充分必要条件

本文在研究一类高阶微分算子谱的离散性的基础上研究了2n阶实系数Euler微分算式生成的对称微分算子,进一步完善了自伴Euler微分算子的谱是离散的充分必要条件.     

一类非线性积分微分反应扩散方程的渐近解

研究了一类非线性积分———微分反应扩散方程.在适当的条件下,利用微分不等式理论,讨论了退化解具有两个交叉解的初值问题解的渐近性态.     

一类具有多重时滞的分数阶中立型微分系统的相对可控性

本文对一类具有多重时滞的Caputo分数阶中立型微分控制系统的相对可控性和相对U可控性进行了研究.首先利用Laplace变换得到系统解的一个新的表达式,接着由Grammian矩阵得出系统相对可控的充分必要条件.最后给出了一类非线性分数阶中立型微分控制系统相对U可控的充分必要条件.     

关于一类复微分-差分方程组的解

作者主要研究了一类复微分-差分方程组的有限级整函数解,得到了一有趣的结果,将复微分(或差分)方程中相关结果推广至复微分-差分方程组中.     

Complex Lie symmetries for scalar second-order ordinary differential equations

A scalar complex ordinary differential equation can be considered as two coupled real partial differential equations, along with the constraint of the Cauchy–Riemann equations, which constitute a system of four equations for two unknown real functions of two real variables. It is shown that the resulting system possesses those real Lie symmetries that are obtained by splitting each complex Lie symmetry of the given complex ordinary differential equation. Further, if we restrict the complex function to be of a single real variable, then the complex ordinary differential equation yields a coupled system of two ordinary differential equations and their invariance can be obtained in a non-trivial way from the invariance of the restricted complex differential equation. Also, the use of a complex Lie symmetry reduces the order of the complex ordinary differential equation (restricted complex ordinary differential equation) by one, which in turn yields a reduction in the order by one of the system of partial differential equations (system of ordinary differential equations). In this paper, for simplicity, we investigate the case of scalar second-order ordinary differential equations. As a consequence, we obtain an extension of the Lie table for second-order equations with two symmetries.     

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

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

Output feedback vibration control of a string driven by a nonlinear actuator

In this paper, we design an observer-based output feedback controller to exponentially stabilize a system of nonlinear ordinary differential equation-wave partial differential equation-ordinary differential equation. An observer is designed to estimate the full states of the system using available boundary values of the partial differential equation. The output feedback controller is built via the combination of the ordinary differential equation backstepping which is applied to deal with the nonlinear ordinary differential equation, and the partial differential equation backstepping which is used for the wave partial differential equation-ordinary differential equation. The controller can be applied into vibration suppression of a string-payload system driven by an actuator with nonlinear characteristics. The global exponential stability of all states in the closed-loop system is proved by Lyapunov analysis. The numerical simulation illustrates the states of the actuator, string, payload and the observer errors are fast convergent to zero under the proposed output feedback controller.     

Involutive Distributions,Invariant Manifolds,and Defining Equations

We introduce the notion of an invariant solution relative to an involutive distribution. We give sufficient conditions for existence of such a solution to a system of differential equations. In the case of an evolution system of partial differential equations we describe how to construct auxiliary equations for functions determining differential constraints compatible with the original system. Using this theorem, we introduce linear and quasilinear defining equations which enable us to find some classes of involutive distributions, nonclassical symmetries, and differential constraints. We present examples of reductions and exact solutions to some partial differential equations stemming from applications.     

二次微分系统的反射函数及其周期解

本文给出了二镒多项式微分系统具有满足特定关系式的反射函数和存在周期解的充要条件，以及在此条件下反射函数的具体表达式及周期解的稳定性态。     

Infinite Systems of Quasilinear Differential Difference Inequalities and Applications

The article deals with the initial boundary value problem for an infinite system of first order quasilinear functional differential equations. A comparison result concerning infinite systems of differential difference inequalities is proved. A function satisfying such inequalities is estimated by a solution of a suitable Cauchy problem for an ordinary functional differential system. The comparison result is used in an existence theorem and in the investigation of the stability of the numerical method of lines for the original problem. A theorem on the error estimate of the method is given. The infinite system of first order functional differential equations contains, as particular cases, equations with a deviated argument and integral differential equations of the Volterra type.     

Reducing systems of linear differential equations to a passive form

In this paper, an application of the Riquer-Thomas-Janet theory is described for the problem of transforming a system of partial differential equations into a passive form, i.e., to a special form which contains explicitly both the equations of the initial system and all their nontrivial differential consequences. This special representation of a system markedly facilitates the subsequent integration of the corresponding differential equations. In this paper, the modern approach to the indicated problem is presented. This is the approach adopted in the Knuth-Bendix procedure [13] for critical-pair/completion and then Buchberger's algorithm for completion of polynomial ideal bases [13] (or, alternatively, for the construction of Groebner bases for ideals in a differential operator ring [14]). The algorithm of reduction to the passive form for linear system of partial differential equations and its implementation in the algorithmic language REFAL, as well as the capabilities of the corresponding program, are outlined. Examples illustrating the power and efficiency of the system are presented.     

三阶线性常微分方程Sinc方程组的结构预处理方法

三阶线性常微分方程在天文学和流体力学等学科的研究中有着广泛的应用.本文介绍求解三阶线性常微分方程由Sinc方法离散所得到的线性方程组的结构预处理方法.首先, 我们利用Sinc方法对三阶线性常微分方程进行离散,证明了离散解以指数阶收敛到原问题的精确解.针对离散后线性方程组的系数矩阵的特殊结构, 提出了结构化的带状预处理子,并证明了预处理矩阵的特征值位于复平面上的一个矩形区域之内.然后, 我们引入新的变量将三阶线性常微分方程等价地转化为由两个二阶线性常微分方程构成的常微分方程组, 并利用Sinc方法对降阶后的常微分方程组进行离散.离散后线性方程组的系数矩阵是分块2×2的, 且每一块都是Toeplitz矩阵与对角矩阵的组合.为了利用Krylov子空间方法有效地求解离散后的线性方程组,我们给出了块对角预处理子, 并分析了预处理矩阵的性质.最后, 我们对降阶后二阶线性常微分方程组进行了一些比较研究.数值结果证实了Sinc方法能够有效地求解三阶线性常微分方程.     

The differential equations for the feynman amplitude of a single-loop graph with four vertices

A system of second-order partial differential equations for the Feynman amplitude of a single-loop graph with four vertices is obtained. It is proved that the symbol of differential operators of this system is singular (in the sense of I. N. Bernshtein) on the Landau manifold of the Feynman amplitude under consideration. The derived system of differential equations is a multidimensional generalization of the system of differential equations for the hypergeometric function of two variables of Appell and Kampé de Fériet.Translated from Matematicheskie Zametki, Vol. 23, No. 1, pp. 113–119, January, 1978.     

Symmetry analysis and some exact solutions of cylindrically symmetric null fields in general relativity

The symmetry reduction method based on the Fréchet derivative of the differential operators is applied to investigate symmetries of the Field equations in general relativity corresponding to cylindrically symmetric space–time, that is a coupled system of nonlinear partial differential equations of second order. More specifically, this technique yields invariant transformation that reduce the given system of partial differential equations to a system of nonlinear ordinary differential equations. Some of the reduced systems are further studied for exact solutions.