微分周形式与稀疏微分结式

代数周(Chow)形式和代数结式是代数几何的基本概念,同时还是消去理论的强大工具.一个自然的想法是在微分代数几何中发展相应的周形式和结式理论.但是由于微分结构的复杂性,在本文的研究工作之前,微分结式只有部分结果,而微分周形式与稀疏微分结式理论一直没有得到发展.本文的主要结果包括:第一,发展一般(generic)情形的微分相交理论,作为应用,证明一般情形的微分维数猜想.第二,初步建立微分周形式理论.对不可约微分代数簇定义微分周形式并证明其基本性质,特别地,给出微分周形式的Poisson分解公式,引入微分代数簇的主微分次数这一不变量并证明一类微分代数闭链的周簇和周坐标的存在性.作为应用,首次严格定义微分结式,证明其基本性质.第三,初步建立稀疏微分结式理论.引入Laurent微分本性系统的概念,定义稀疏微分结式,证明其基本性质,特别地,引入微分环面簇的概念,给出稀疏微分结式阶数和次数界的估计,并基于此给出计算稀疏微分结式的单指数时间算法.     

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

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

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

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

Differential projective modules over differential rings

Differential modules over a commutative differential ring which are projective as ring modules, with differential homomorphisms, form an additive category. Every projective ring module is shown occurs as the underlying module of a differential module. Differential modules, projective as ring modules, are shown to be direct summands of differential modules free as ring modules; those which are differential direct summands of differential direct sums of the ring being induced from the subring of constants. Every differential module finitely generated and projective as a ring module is shown to have this form after a faithfully flat finitely presented differential extension of the base.     

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.     

球壳轴对称弯曲问题精确的挠度微分方程及其奇异摄动解

本文提出了球壳轴对称弯曲问题精确的挠度(ω)微分方程和精确的转角(dω/da)微分方程.本文重点研究了挠度微分方程的精度,基本思路是:首先假设边缘效应时经线中面位移u=0,从而建立挠度微分方程,然后再精确地证明挠度微分方程与原来微分方程内力解答完全相同.再精确地证明边缘效应时经线中面位移u=0是精确解.本文给出了挠度微分方程的奇异摄动解,最后验算了平衡条件,证明摄动解求出的内力和外荷载是完全平衡的.这一方面表明摄动解的计算是正确的;另一方面也再二次表明挠度微分方程是精确的微分方程.新微分方程的优点是:1.新微分方程和原来微分方程精度完全相同;2.新微分方程满足的边界条件非常简单;3.新微分方程便于使用摄动解;4.新微分方程可以得到挠度(ω)和转角(dω/da)的表达式.新微分方程使球壳的计算得到很大的简化.本文采用的符号与徐芝纶《弹性力学》第二版下册相同[1].     

Construction of differential equation approximations to delay differential equations

A constructive method is presented for obtaining differential equation approximations to general functional delay differential equations. It is shown that the approximating differential equation systems can be used to determine the stability of the functional differential equations     

n阶线性模糊微分方程的结构元解法

研究了n阶线性模糊微分方程的模糊初值问题,将n阶线性模糊微分方程转化成一阶线性模糊微分方程组,利用结构元方法将模糊线性微分方程组转化成两个分明的线性微分方程组,通过分明的线性微分方程组的解构造出原n阶线性模糊微分方程的解.最后,给出了具体的算例.     

有红利美式看跌期权定价的Crank-Nicolson有限差分法

本文基于B-S微分方程,采用Crank-Nicolson差分格式(简称C-N差分格式)求解支付固定红利的美式看跌期权价值,给出实证分析,并对C-N差分格式和隐含的差分格式进行了比较.结果表明,用C-N差分格式可以得到更加精确、有效的数值解.     

Homogeneous feedback design of differential inclusions based on control Lyapunov functions

This paper is concerned with the stabilization of differential inclusions. By using control Lyapunov functions, a design method of homogeneous controllers for differential equation systems is first addressed. Then, the design method is developed to two classes of differential inclusions without uncertainties: homogeneous differential inclusions and nonhomogeneous ones. By means of homogeneous domination theory, a homogeneous controller for differential inclusions with uncertainties is constructed. Comparing to the existing results in the literature, an improved formula of homogeneous controllers is proposed, and the difficulty of the controller design for uncertain differential inclusions is reduced. Finally, two simulation examples are given to verify the preset design.     

Differentialoperatoren bei partiellen Differentialgleichungen

Summary In the present paper those formally hyperbolic differential equations are characterized for which solutions can be represented by means of differential operators acting on holomorphic functions. This is done by a necessary and sufficient condition on the coefficients of the differential equation. These operators are determined simultaneously. By it a general procedure is presented to construct differential equations and corresponding differential operators which map holomorphic functions onto solutions of the differential equations. We also discuss the question under which circumstances all the solutions of a differential equation can be represented by differential operators. For the equations characterized previously we determine the Riemann function. Some special classes of differential equations are investigated in detail. Furthermore the possibility of a representation of pseudoanalytic functions and the corresponding Vekua resolvents by differential operators is discussed.

---

---

Herrn Prof. Dr. K. W. Bauer zum 60. Geburtstag gewidmet     

微分特征列法在拟微分算子和Lax表示中的应用

微分特征列法用于拟微分算子和非线性发展方程Lax表示的计算.首先,利用微分特征列法和微分带余除法计算拟微分算子的逆和方根,由于不必求解常微分方程组,并将解代入,因此,使得计算得以简化.其次,利用微分特征列法,约化从广义Lax方程和Zakharov-Shabat推出的非线性偏微分方程,并得到相应的非线性发展方程.在Mathematica计算机代数系统上,编写了相关程序,从而可以利用计算机辅助完成一些非线性发展方程Lax表示的计算.     

Differential transformation approach to thermal conductive problems with discontinuous boundary condition

A two-dimensional differential transformation method is employed to reduce the partial differential equations of the non-continuous thermal conductive boundary value problem to a Taylor series in a polynomial form. The partial differential equations are solved by the two-dimensional T-spectra method of differential transformation and by the use of trial initial polynomial conditions. The investigative parameters include the time-step of the differential transformation and the number of sub-domain segments. The numerical simulation results indicate that the proposed approach using the two-dimensional T-spectra method of differential transformation is applicable to the solution of non-continuous thermal conductive boundary value problems.     

Efficient hybrid method for solving special type of nonlinear partial differential equations

In this article, an efficient hybrid method has been developed for solving some special type of nonlinear partial differential equations. Hybrid method is based on tanh–coth method, quasilinearization technique and Haar wavelet method. Nonlinear partial differential equations have been converted into a nonlinear ordinary differential equation by choosing some suitable variable transformations. Quasilinearization technique is used to linearize the nonlinear ordinary differential equation and then the Haar wavelet method is applied to linearized ordinary differential equation. A tanh–coth method has been used to obtain the exact solutions of nonlinear ordinary differential equations. It is easier to handle nonlinear ordinary differential equations in comparison to nonlinear partial differential equations. A distinct feature of the proposed method is their simple applicability in a variety of two‐ and three‐dimensional nonlinear partial differential equations. Numerical examples show better accuracy of the proposed method as compared with the methods described in past. Error analysis and stability of the proposed method have been discussed.     

二阶线性微分方程的解法改进

本改进了二阶线性微分方程的朗期基解法，只要求出转化以后的一阶微分方程或二阶齐次线性微分方程的一个特解，即可求出二阶线性微分方程的通解。     

无限滞后测度泛函微分方程的平均化

本文研究了无限滞后测度泛函微分方程的平均化.利用广义常微分方程的平均化方法,在无限滞后测度泛函微分方程可以转化为广义常微分方程的基础上,获得了这类方程的周期和非周期平均化定理,推广了一些相关的结果.     

Solving systems of fractional differential equations using differential transform method

This paper presents approximate analytical solutions for systems of fractional differential equations using the differential transform method. The fractional derivatives are described in the Caputo sense. The application of differential transform method, developed for differential equations of integer order, is extended to derive approximate analytical solutions of systems of fractional differential equations. The solutions of our model equations are calculated in the form of convergent series with easily computable components. Some examples are solved as illustrations, using symbolic computation. The numerical results show that the approach is easy to implement and accurate when applied to systems of fractional differential equations. The method introduces a promising tool for solving many linear and nonlinear fractional differential equations.     

Generic stability of Nash equilibria for noncooperative differential games

The stability of Nash equilibria against the perturbation of the right-hand side functions of state equations for noncooperative differential games is investigated. By employing the set-valued analysis theory, we show that the differential games whose equilibria are all stable form a dense residual set, and every differential game can be approximated arbitrarily by a sequence of stable differential games, that is, in the sense of Baire’s category most of the differential games are stable.     

Differential games with mixed leadership: The open-loop solution

This paper introduces the notion of mixed leadership in nonzero-sum differential games, where there is no fixed hierarchy in decision making with respect to the players. Whether a particular player is leader or follower depends on the instrument variable s/he is controlling, and it is possible for a player to be both leader and follower, depending on the control variable. The paper studies two-player open-loop differential games in this framework, and obtains a complete set of equations (differential and algebraic) which yield the controls in the mixed-leadership Stackelberg solution. The underlying differential equations are coupled and have mixed-boundary conditions. The paper also discusses the special case of linear-quadratic differential games, in which case solutions to the coupled differential equations can be expressed in terms of solutions to coupled Riccati differential equations which are independent of the state trajectory.     

Functional differential inequalities and estimation of the Cauchy function of an equation with aftereffect

We consider scalar functional differential inequalities that are used to estimate solutions to differential equations with deviating argument. A theorem on positiveness of the Cauchy function of a differential equation with aftereffect is derived from a theorem on a functional differential inequality with nonlinearmonotone operator, which is a direct generalization of the simplest classical theorem on a differential inequality. The suggested proofs rely on local properties of continuous functions only.