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

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

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

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

微分方程(组)对称向量的吴-微分特征列算法及其应用

给出（偏）微分方程（组）（PDEs）对称向量的吴-微分特征列集（消元）算法理论．把古典和非古典PDEs对称问量的计算问题统-在吴-微分特征列理论框架之下处理．给出了产生PDEs对称向量的无穷小方程和验证已知向量为PDES对称向量的机械化原理,理论上彻底克服了传统算法中的缺陷并为计算PDEs对称向量提供了一种新算法．用计算机代数系统mathematica编制了相应的软件包,具体实现了该算法．作为应用给出了Burgers方程的非古典对称向量的完整解答．     

热方程的非古典势对称群与不变解

主要研究了热方程与波方程的非古典势对称群生成元及相应的群不变解．研究表明对于守恒形式的偏微分方程,可通过其伴随系统求得的非古典势对称群生成元来构造其显式解．这些显式解不能由方程本身的Lie对称群生成元或Lie-B?cklund对称群生成元构造得到．     

基于吴方法的确定和分类(偏)微分方程古典和非古典对称新算法理论

本文基于微分形式吴方法,给出了确定和分类微分方程古典和非古典对称的统一的机械化算法理论.用该理论克服了在传统Lie算法中存在的缺陷,使确定和分类对称更系统和直接,从而扩大了对称方法的应用范围.这也是吴方法在微分领域中一个新的应用.     

利用对称方法求解非线性偏微分方程组边值问题的数值解

本文研究微分方程对称方法在非线性偏微分方程组边值问题中的应用.首先,利用吴-微分特征列集算法确定给定非线性偏微分方程组边值问题的多参数对称;其次,利用对称将非线性偏微分方程组边值问题约化为常微分方程组初值问题;最后,利用龙格-库塔法求解常微分方程组初值问题的数值解.     

具源项的波动方程的非古典对称

给出了具源项的波动方程的非古典对称的完全分类和相应源项的所有可能的具体表达式.除了古典对称对应的巳知源项外,获得了允许非古典对称的新源项,其中包括著名的演化方程,如线性(齐次和非齐次)波动方程,双曲Liouville方程和Klein-Gordon方程等.这些结果解答了Clarkson在2001年中提出的关于波方程非古典对称的公开问题.同时,用分类中得到的对称,通过求不变解构造了以上演化方程的一些新的精确解.     

(2+1)维广义Burgers 方程的Lie点对称, 相似约化和精确解

讨论了(2+1)维广义Burgers方程.通过Lie群方法求出了该方程的李点对称,并利用李点对称将方程进行相似约化,求出了(2+1)维广义Burgers方程的几种精确解.该方法可以用于研究更高阶的偏微分方程.     

一类三阶偏微分方程的对称约化

主要利用广义条件对称方法研究一类三阶偏微分方程的对称约化问题,首先给出所研究三阶偏微分方程允许的广义条件对称的分类,并根据所允许的对称将偏微分方程的初值问题约化为常微分方程的初值问题并得到其解.     

基于吴方法的确定微分方程对称Lie代数结构常数机械化算法

本文基于微分形式吴方法理论及算法给出无需确定对称Lie代数本身而事先构造其同构像(具有同结构常数的Lie代数)的机械化算法.该算法有效提高构造(偏)微分方程(组)对称Lie代数的效率,并可应用于对称Lie代数各类性质的机械化分析和判定.最后给出算例验证算法的有效性.     

一类特殊分布纪录值之和的中心极限定理

摘要：设{X，Xn,n≥1)为独立同分布的服从某连续分布F的随机变量序列，X^(1)=X1，X^(2),X^(3),…为其纪录值序列．令ψ(u)=F^-1(1-e^-u)．其中F^-1是F的反函数．本文研究当ψ(u)=log^pu时Tn=∑k=1^nX^(k)=^dn∑k=1^nψ(Sn)的极限性质．解决了户为所有正整数时Tn的中心极限定理．     

一类pnm阶群的构造

本文研究了一类特殊的pnm阶有限群的构造.利用求解数论同余方程的方法和群的扩张理论,得到了具有m阶循环正规子群,其补子群为循环群的Pnm阶有限群的构造及相关的计数定理.     

COMPARISON OF PRODUCTS OF THE VARIETIES OF LIE ALGEBRAS

Abstract

In Fortes (2001), we introduced a notion of order for associative pairs and we obtained a Goldie-like characterization of left orders in a semiprime pair coinciding with its socle. In this paper, we take up again that notion of order to establish a Faith-Utumi theorem, which studies left orders in a prime pair coinciding with its socle.     

ADDITIVE FAMILIES OF INVARIANTS OF FORMS OF DEGREE d

Abstract

Let d be a positive integer, and F be a field of characteristic zero. Suppose that for each positive integer n, I _n, is a GL _n,(F)- invariant of forms of degree d in x₁, …, x _n, over F. We call {I _n} an additive family of invariants if I _p+q (f ⊥ g) = I _p(f).I _q(g) whenever f; g are forms of degree d over F in x _l, …, x _p; …, x _q respectively, and where (f ⊥ g)(x _l, …, x _p+q) = f(x ₁, …, x _p,) + g (x _p+1, …, x _p+q). It is well-known that the family of discriminants of the quadratic forms is additive. We prove that in odd degree d each invariant in an additive family must be a constant. We also give an example in each even degree d of a nontrivial family of invariants of the forms of degree d. The proofs depend on the symbolic method for representing invariants of a form, which we review.     

小康判别函数的建立与分析

近几年，国内在研究小康水平的定量指标分析中，应用较多的有综合评分法、层次分析法和模糊识别法。这几种方法比单项指标更全面、灵活，但在权数的确定上都难以克服人为因素的影响。当指标之间存在两个或两个以上的高度相关时，对问题的研究总存在一定的局限性。为了科学地研究小康问题，本文基于判别分析，建立城市小康的判别系数，来综合评价出我国城市小康水平的定量标准。     

ESTIMATES OF N-FUNCTION AND m-FUNCTION OF MEROMORPHIC SOLUTIONS OF SYSTEMS OF COMPLEX DIFFERENCE EQUATIONS

We apply Nevanlinna theory of the value distribution of meromorphic functions to study the properties of Nevanlinna counting function and proximity function of meromorphic solutions of a type of systems of complex difference equations. Our results can give estimates on the proximity function and the counting function of solutions of systems of difference equations. This implies that solutions have a relatively large number of poles. It extend some result concerning difference equations to the systems of difference equations.     

一类线性微分方程解的零点分布

一、引言关于 k 阶线性常微分方程解的零点分布,S.Bank,G.Frank 和 I.Laine 最近证明了如下的结果.