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

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

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

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

有界超格上的微分

在有界超格上引入微分,研究了有界超格上微分的一些性质.定义并研究了微分超格的微分超理想和微分超同余,并证明了如果$(L,d)$是一个有界强单微分超格并且$R$是$(L,d)$的一个强微分同余,则$(L/R,g)$仍是一个强单微分超格,其中$g$是由$d$诱导的商超格上的单强微分.     

变系数线性齐次常微分方程组的λ-矩阵求解法

进一步讨论了微分变换矩阵的性质 ,指出了变系数线性齐次微分方程组 ,通过因变量变换化为常系数线性齐次方程组的充要条件     

Localized triangular differential quadrature

A localized triangular differential quadrature method is introduced in this article. Not only is the existing limitation on the approximation order in the triangular differential quadrature eliminated but also the convergent rate is enhanced in the new method. As an example to validate the new method, elastic torsion of prismatic shaft with regular polygonal cross section is studied and excellent agreement with available theoretical and analytic solutions is reached. It is believed that the present work further widens the applicability of the triangular differential quadrature technique. © 2003 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 19: 682–692, 2003     

The Loewner driving function of trajectory arcs of quadratic differentials

We obtain a first order differential equation for the driving function of the chordal Loewner differential equation in the case where the domain is slit by a curve which is a trajectory arc of a certain type of quadratic differential. In particular this includes the case when the curve is a path on the square, triangle or hexagonal lattice in the upper half-plane or, indeed, in any domain with boundary on the lattice. We also demonstrate how we use this to calculate the driving function numerically. Equivalent results for other variants of the Loewner differential equation are also obtained.     

线性齐次常微分方程(组)的λ-矩阵求解法

本文在文 [2 ]的基础上 ,应用λ-矩阵及微分算子性质给出了一种变系数齐次常微分线性方程 (组 )的λ-矩阵求解法 ,对文 [2 ]作出了更一般的推广 .     

加权微分建模的初步研究

加权建模是必要的,微分建模是重要的,把二者结合起来,进行加权微分建模既必要也重要.给出了常用模型的微分建模结果,讨论了加权建模中的计算和权重选择问题,探讨了加权微分建模的思路和方法,并结合典型数据验证了该方法的有效性和稳定性.象加权建模一样,加权微分建模的精度、实用价值等,是和权重确定得合理与否紧密相联;应先进行模拟,以与近期实际值或典型样本相差最小的参数所对应的模型为准.     

Constructively Factoring Linear Partial Differential Operators in Two Variables

We study conditions under which a partial differential operator of arbitrary order n in two variables or an ordinary linear differential operator admits a factorization with a first-order factor on the left.The process of factoring consists of recursively solving systems of linear equations subject to certain differential compatibility conditions.In the general case of partial differential operators, it is not necessary to solve a differential equation. In special degenerate cases, such as an ordinary differential operator, the problem eventually reduces to solving some Riccati equation(s). We give the factorization conditions explicitly for the second and third orders and in outline form for higher orders. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 145, No. 2, pp. 165–180, November, 2005.     

微分算子方法在积分中的应用

函数的微分运算化积分运算容易,把积分运算化为微分运算这是一大难题.利用微分算子方法可以把某些积分运算化为微分运算,且使形如∫f(x)eαxsinβxdx,∫f(x)eαxcosβxdx的积分运算简便、快捷.     

A new bound on Hrushovski’s algorithm for computing the Galois group of a linear differential equation

The complexity of computing the Galois group of a linear differential equation is of general interest. In a recent work, Feng gave the first degree bound on Hrushovski’s algorithm for computing the Galois group of a linear differential equation. This bound is the degree bound of the polynomials used in the first step of the algorithm for finding a proto-Galois group (see Definition 2.7) and is sextuply exponential in the order of the differential equation. In this paper, we use Szántó’s algorithm of triangular representation for algebraic sets to analyze the complexity of computing the Galois group of a linear differential equation and we give a new bound which is triple exponential in the order of the given differential equation.     

不可能差分密码分析研究进展

不可能差分分析作为差分分析的一种变体,是一种简单有效的密码分析方法,也是目前最常用的密码分析方法之一.该方法一经提出就得到了广泛应用,被用于分析大量的算法和密码结构.尤其是近年来对AES的攻击,得到了一系列非常好的攻击结果,使得不可能差分分析已成为对AES最有效的攻击方法之一.系统介绍了不可能差分分析的原理、常用技巧和攻击方法,并总结了目前的研究现状和已取得的攻击结果.最后,分析了不可能差分攻击的优缺点及其在设计和分析分组密码方面的作用.     

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

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

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

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

二阶微分方程非振动的必要与充分条件

本文证明了一个微分恒等式，得到了二阶非线性微分方程非振动的一个充要条件，研究了一类二阶微分方程的振动性质，推广了现有的结果。     

J—自共轭微分算子谱的定性分析

本文对J－自共轭微分算子谱理论研究情况做一些概要性的介绍,第一部分简要回顾了J－自共轭微分算子理论研究的发展过程,第二,三部分介绍了J－自共轭微分算子的本质谱和离散谱定性分析的主要方法和结论;第四部分扼要叙述J－自共轭微分算子其它方面的一些工作,以及J－自共轭微分算子谱理论研究中尚待解决的问题。     

Charpit System of Partial Differential Equations with Algebraic Constraints

In this paper the Charpit system of partial differential equations with algebraic constraints is considered. So, first the compatibility conditions of a system of algebraic equations and also of the Charpit system of partial differential equations are separately considered. For the combined system of equations of both types sufficient conditions for the existence of a solution are found. They lead to an algorithm for reducing the combined system to a Charpit system of partial differential equations of dimension less than the initial system and without algebraic constraints. Moreover, it is proved that this system identically satisfies the compatibility conditions if so does the initial system.     

基于微分变分不等式的多商品流网络动态模型

针对由多个制造商和多个零售商构成并且具有多商品流的供应链网络,建立了制造商、零售商之间从事微分Nash博弈的供应链网络动态模型.首先,在介绍微分变分不等式定义的基础上,利用微分变分不等式的方法建立了制造商、零售商以及供应链网络的均衡条件.然后,在正则条件下分析了供应链网络动态模型解的存在性条件.最后,利用数值算例验证了模型的合理性.     

Differential algebraic equations with after-effect

In this paper, we are concerned with the solution of delay differential algebraic equations. These are differential algebraic equations with after-effect, or constrained delay differential equations. The general semi-explicit form of the problem consists of a set of delay differential equations combined with a set of constraints that may involve retarded arguments. Even simply stated problems of this type can give rise to difficult analytical and numerical problems. The more tractable examples can be shown to be equivalent to systems of delay or neutral delay differential equations. Our purpose is to highlight some of the complexities and obstacles that can arise when solving these problems, and to indicate problems that require further research.     

Tight estimates for general averaging applied to almost-periodic differential equations

Estimates are presented for the averaging method of ordinary differential equations. Previous results are improved by relaxing the conditions under which they hold, and by providing tight bounds for the estimations for almost-periodic differential equations and quasi-periodic differential equations.