共查询到20条相似文献,搜索用时 109 毫秒
1.
微分多项式系统的约化算法理论 总被引:8,自引:0,他引:8
本文中,作者推广了纯代数形式的特征列集理论(吴方法)为微分形式的相应理论,即建立了在机器证明了诸多微分问题中非常重要的微分多项式组的约化算法理论。引入了一些新的概念和观点使函数微分(导数)具有直观的代数几何表示。给出了Coherent条件下的特征列集的算法。给出的算法易于在计算机上实现并适合应用于广泛的微分问题,如微分方程对称计算,各种微分关系的自动推理等问题。 相似文献
2.
基于微分特征集理论和算法,提出在一定条件下判定偏微分方程(组)非古典对称存在性的机械化方法.该方法对Clarkson P A提出的关于偏微分方程(组)的非古典对称的公开问题给出了部分回答,为完全解决该问题提供了一个思路.通过若干个发展方程的非古典对称的确定说明了该方法的有效性. 相似文献
3.
微分多项式系统的近微分特征列集 总被引:12,自引:0,他引:12
本文对微分多项式系统的近微分特征列集与微分特征列集之间的一些关系进行了研究,给出了在某些条件下近微分特征列集是微分特征列集的结论,从而对微分多项式系统特征列集理论(吴方法)进行了改进,并且建立的算法较大地提高了计算微分特征列集的效率. 相似文献
4.
5.
给出了一个确定含参数偏微分方程(组)的完全对称分类微分特征列集算法,该算法能够直接、系统地确定偏微分方程(组)的完全对称分类.用给出的算法获得了含任意函数类参数的线性和非线性波动方程完全势对称分类.这也是微分形式特征列集算法(微分形式吴方法)在微分方程领域中的新应用. 相似文献
6.
7.
本文研究了Poisson方程的一维最优系统及其不变解问题.利用吴-微分特征列集算法,借助于Mathematica软件,计算了Poisson方程的古典对称,并构建了Lie代数的一维最优系统.同时,利用不变量法,获得了一维最优系统中一个元素对应的Poisson方程的不变解.得到的结果推广了Poisson方程的精确解. 相似文献
8.
9.
贾屹峰 《数学的实践与认识》2019,(9)
基于微分特征列法和微分带余除法,给出了利用拟微分算子构造非线性发展方程1+1维和2+1维Lax表示的新算法.新算法减少了运算步骤,简化了计算过程,是微分特征列法在可积系统领域一个新的应用. 相似文献
10.
介绍了微分与差分方程机械化方法研究若干最新进展.主要结果包括: 微分、差分方程的特征列理论与算法,微分、差分方程系统的分解算法以及微分、差分方程解析解求解算法. 相似文献
11.
12.
Nguyêñ Quoôć Thǎ;ńg 《代数通讯》2013,41(3):1097-1110
We present a unified approach to compute the number of connected components in the group of real points of adjoint almost simple real algebraic groups. 相似文献
13.
本文在LF拓扑空间中建立了L-fuzzy集网的弱收敛(R-收敛)概念,应用文[4]中的R-闭包,系统讨论了它们的性质,证明了等式RlimA_n=∧(∨A_m)_R和RlimA_n=A_n=∧(∨A_m)_R并且给出了L-fuzzy集网与其子网之间的关系。 相似文献
14.
Jogi Henna 《Annals of the Institute of Statistical Mathematics》2005,57(4):655-664
An estimator of the number of components of a finite mixture ofk-dimensional distributions is given on the basis of a one-dimensional independent random sample obtained by a transformation
of ak-dimensional independent random sample. A consistency of the estimator is shown. Some simulation results are given in a case
of finite mixtures of two-dimensional normal distributions. 相似文献
15.
Let G be a graph and let Pm(G) denote the number of perfect matchings of G.We denote the path with m vertices by Pm and the Cartesian product of graphs G and H by G×H. In this paper, as the continuance of our paper [W. Yan, F. Zhang, Enumeration of perfect matchings of graphs with reflective symmetry by Pfaffians, Adv. Appl. Math. 32 (2004) 175-188], we enumerate perfect matchings in a type of Cartesian products of graphs by the Pfaffian method, which was discovered by Kasteleyn. Here are some of our results:1. Let T be a tree and let Cn denote the cycle with n vertices. Then Pm(C4×T)=∏(2+α2), where the product ranges over all eigenvalues α of T. Moreover, we prove that Pm(C4×T) is always a square or double a square.2. Let T be a tree. Then Pm(P4×T)=∏(1+3α2+α4), where the product ranges over all non-negative eigenvalues α of T.3. Let T be a tree with a perfect matching. Then Pm(P3×T)=∏(2+α2), where the product ranges over all positive eigenvalues α of T. Moreover, we prove that Pm(C4×T)=[Pm(P3×T)]2. 相似文献
16.
Shaofang Hong 《Southeast Asian Bulletin of Mathematics》2000,24(1):51-64
Let R(A) denote the row space of a Boolean matrix A of order n. We show that if n 7, then the cardinality |R(A)| (2n–1 - 2n–5, 2n–1 - 2n–6) U (2n–1 - 2n–6, 2n–1). This result confirms a conjecture in [1].AMS Subject Classification (1991): 05B20 06E05 15A36Support partially by the Postdoctoral Science Foundation of China.Dedicated to Professor Chao Ko on the occasion of his 90th birthday 相似文献
17.
Piotr Je¸drzejewicz 《代数通讯》2013,41(4):1500-1508
Let A be a UFD of characteristic p > 0, let 𝒵 be a set of some eigenvectors of a derivation of A. We prove, under some additional assumptions, a necessary and sufficient condition for 𝒵 to be a p-basis of the minimal ring of constants containing 𝒵. The main preparatory result is the unique decomposition theorem with respect to a factor from a given subalgebra containing Ap. 相似文献
18.
N/Kbe a Galois extension of number fields with finite Galois group G.We describe a new approach for constructing invariants of the G-module structure of the K groups of the ring of integers of N in the Grothendieck group of finitely generated projective Z[G]modules. In various cases we can relate these classes, and their function field counterparts, to the root number class of Fröhlich and Cassou-Noguès. 相似文献
19.
设P1,P2,……,Pt是几乎覆盖图G的l条不相交的路,s是没有被这些路覆盖的孤立点数.本证明:(i)匹配多项式μ(G,x)的非零根的重数最多是l,零根的重数最多l s。(ii)对于不含三角形的n阶图G,伴随多项式h(G,x)的非零根的重数最多是l,零根的重数最多是1/2(n l s).(iii)对一种含三角形的所谓A型图,(ii)也成立. 相似文献
20.
任意矩阵的特征值的扰动估计 总被引:1,自引:0,他引:1
设A和B是两个任意的n阶方阵,其特征值分别为{λ_1,…,λ_n}和{μ_1,…,μ_n}.本文对此两组特征值的如下“距离”的界给出了若干估计: B对于A的谱改变量 A与B的特征值的改变量这里的结果包含了Bauer-Fike定理,并且优于Kahan-Parlett/Jiang定理及Chu,施和肖所得出的结果. 相似文献