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

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

Computation of differential Chow forms for ordinary prime differential ideals

In this paper, we propose algorithms for computing differential Chow forms for ordinary prime differential ideals which are given by characteristic sets. The algorithms are based on an optimal bound for the order of a prime differential ideal in terms of a characteristic set under an arbitrary ranking, which shows the Jacobi bound conjecture holds in this case. Apart from the order bound, we also give a degree bound for the differential Chow form. In addition, for a prime differential ideal given by a characteristic set under an orderly ranking, a much simpler algorithm is given to compute its differential Chow form. The computational complexity of the algorithms is single exponential in terms of the Jacobi number, the maximal degree of the differential polynomials in a characteristic set, and the number of variables.     

Picard-Vessiot theory for real fields

The existence of a Picard-Vessiot extension for a homogeneous linear differential equation has been established when the differential field over which the equation is defined has an algebraically closed field of constants. In this paper, we prove the existence of a Picard-Vessiot extension for a homogeneous linear differential equation defined over a real differential field K with real closed field of constants. We give an adequate definition of the differential Galois group of a Picard-Vessiot extension of a real differential field with real closed field of constants and we prove a Galois correspondence theorem for such a Picard-Vessiot extension.     

Computational methods of solving the boundary value problems for the loaded differential and Fredholm integro‐differential equations

The article presents a new general solution to a loaded differential equation and describes its properties. Solving a linear boundary value problem for loaded differential equation is reduced to the solving a system of linear algebraic equations with respect to the arbitrary vectors of general solution introduced. The system's coefficients and right sides are computed by solving the Cauchy problems for ordinary differential equations. Algorithms of constructing a new general solution and solving a linear boundary value problem for loaded differential equation are offered. Linear boundary value problem for the Fredholm integro‐differential equation is approximated by the linear boundary value problem for loaded differential equation. A mutual relationship between the qualitative properties of original and approximate problems is obtained, and the estimates for differences between their solutions are given. The paper proposes numerical and approximate methods of solving a linear boundary value problem for the Fredholm integro‐differential equation and examines their convergence, stability, and accuracy.     

On One Class of Systems of Differential Equations and on Retarded Equations

We establish a connection between solutions to a broad class of large systems of ordinary differential equations and solutions to retarded differential equations. We prove that solving the Cauchy problem for systems of ordinary differential equations reduces to solving the initial value problem for a retarded differential equation as the number of equations increases unboundedly. In particular, the class of systems under consideration contains a system of differential equations which arises in modeling of multiphase synthesis.     

Differential phase space reconstructed for chaotic time series

A new numerical differential filter is built to estimate the numerical differential for a chaotic time series and then a differential phase space for the chaotic time series is reconstructed. Correlation dimensions, Lyapunov exponents and forecasting are discussed for the chaotic time series on the reconstructed differential phase space and on the delay phase space, respectively. Comparison results show that the numerical results on the differential phase space are better than that on the delay phase space.     

Jacobi’s bound for systems of algebraic differential equations

This review paper is devoted to the Jacobi bound for systems of partial differential polynomials. We prove the conjecture for the system of n partial differential equations in n differential variables which are independent over a prime differential ideal \mathfrakp\mathfrak{p}. On the one hand, this generalizes our result about the Jacobi bound for ordinary differential polynomials independent over a prime differential ideal \mathfrakp\mathfrak{p} and, on the other hand, the result by Tomasovic, who proved the Jacobi bound for linear partial differential polynomials.     

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条件下的特征列集的算法。给出的算法易于在计算机上实现并适合应用于广泛的微分问题，如微分方程对称计算，各种微分关系的自动推理等问题。     

Almost sure stability for uncertain differential equation

Uncertain differential equation is a type of differential equation driven by Liu process. So far, concepts of stability and stability in mean for uncertain differential equations have been proposed. This paper aims at providing a concept of almost sure stability for uncertain differential equation. A sufficient condition is given for an uncertain differential equation being almost surely stable, and some examples are given to illustrate the effectiveness of the sufficient condition.     

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.     

Derivation of Stochastic Partial Differential Equations

Abstract

A procedure is explained for deriving stochastic partial differential equations from basic principles. A discrete stochastic model is first constructed. Then, a stochastic differential equation system is derived, which leads to a certain stochastic partial differential equation. To illustrate the procedure, a representative problem is first studied in detail. Exact solutions, available for the representative problem, show that the resulting stochastic partial differential equation is accurate. Next, stochastic partial differential equations are derived for a one-dimensional vibrating string, for energy-dependent neutron transport, and for cotton-fiber breakage. Several computational comparisons are made.     

Algebraic theory of differential inequalities

We obtain differential-algebraic analogues of some basic theorems of real algebra and semialgebraic geometry. Proofs are based on: a differential version of the real spectrum of a differential ring containing Q; an Artin-Schreier theory for such rings; the model theory of ordered differential fields. Results include: an algebraic characterization of the differential inequalities which are consequences of a given finite set of algebraic differential equations and inequalities; a differential counterpart of the Hormander-Lojasiewicz inequality.     

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.     

A maximum principle for Markov regime-switching forward–backward stochastic differential games and applications

In this paper, we present an optimal control problem for stochastic differential games under Markov regime-switching forward–backward stochastic differential equations with jumps. First, we prove a sufficient maximum principle for nonzero-sum stochastic differential games problems and obtain equilibrium point for such games. Second, we prove an equivalent maximum principle for nonzero-sum stochastic differential games. The zero-sum stochastic differential games equivalent maximum principle is then obtained as a corollary. We apply the obtained results to study a problem of robust utility maximization under a relative entropy penalty and to find optimal investment of an insurance firm under model uncertainty.     

THE V-FUNCTIONAL METHOD FOR THE STABILITY OF DEGENERATE DIFFERENTIAL SYSTEMS WITH DELAYS

1 IntroductionStability is an important perfermance index of concrete systems such asmanagement systems, power systems, engineering systems and so on. Forthe stability V--functional criterion method of functional differential systems,have had many results in recent years, see) for example, [1] and [2]. Andfor degenerate systems, papers [41-[81 have carefully discussed and given someimportant results. But we note that (see [9]) many concrete systems, besidescontain delay, are degenerate. So, f…     

A Class of Differential Vector Variational Inequalities in Finite Dimensional Spaces

In this paper, we introduce and study a class of differential vector variational inequalities in finite dimensional Euclidean spaces. We establish a relationship between differential vector variational inequalities and differential scalar variational inequalities. Under various conditions, we obtain the existence and linear growth of solutions to the scalar variational inequalities. In particular we prove existence theorems for Carathéodory weak solutions of the differential vector variational inequalities. Furthermore, we give a convergence result on Euler time-dependent procedure for solving the initial-value differential vector variational inequalities.     

A BSDE approach to Nash equilibrium payoffs for stochastic differential games with nonlinear cost functionals

In this paper, we study Nash equilibrium payoffs for two-player nonzero-sum stochastic differential games via the theory of backward stochastic differential equations. We obtain an existence theorem and a characterization theorem of Nash equilibrium payoffs for two-player nonzero-sum stochastic differential games with nonlinear cost functionals defined with the help of doubly controlled backward stochastic differential equations. Our results extend former ones by Buckdahn et al. (2004) [3] and are based on a backward stochastic differential equation approach.     

A Note on the Numerical Solution of Quasi-linear Parabolic Partial Differential Equations with Error Estimates

A method is considered for the numerical solution of quasi-linearpartial differential equations. The partial differential equationis reduced to a set of ordinary differential equations usinga Chebyshev series expansion. The exact solution of this setof ordinary differential equations is shown to be the solutionof a perturbed form of the original equation. This enables errorestimates to be found for linear and mildly non-linear problems.     

The ring of differential Fourier expansions

For a fixed prime we prove structure theorems for the kernel and the image of the map that attaches to any differential modular function its differential Fourier expansion. The image of this map, which is the ring of differential Fourier expansions, plays the role of ring of functions on a “differential Igusa curve”. Our constructions are then used to perform an analytic continuation between isogeny covariant differential modular forms on the differential Igusa curves belonging to different primes.