检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:石赫[1]
机构地区:[1]中国科学院数学与系统科学研究院数学机械化重点实验室,北京100190
出 处:《数学学报(中文版)》2008年第5期833-840,共8页Acta Mathematica Sinica:Chinese Series
基 金:国家基础研究发展规划项目(G2004CB318000)
摘 要:应用数学机械化方法讨论SU(3)规范场的规范化问题.首先提出一种具有明确几何意义的Yang-Mills方程,称其为恰当的Yang-Mills方程.然后构造了一类线性微分变换,称之为SU(3)规范场的示性变换,它具体给出联络和截面之间的微分关系.经由示性变换,将非线性的恰当的YM-方程变为一组线性Laplace方程,即实现了规范场YM-方程的线性化.从而证明了SU(3)规范场包括8个独立的Yang-Mills规范场.The reguralization of SU(3) Yang-Mills gauge fields are presented using the method of Mathematics Mechanization in this paper. Two fundamental concepts are introduced: exact Yang-Mills equation and characteristic transformation of Yang- Mills gauge fields. Based on the two concepts, the specializations of SU(3) gauge fields are realized, that is, the linearizations of exact Yang-Mills equations are obtained via characteristic transformations. Thus, the existence of SU(3) Yang-Mills gauge fields is proved.
关 键 词:数学机械化 SU(3)规范场 恰当的Yang-Mills方程 示性变换
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117