【摘 要】
：
应用数学机械化方法研究欧氏空间中SU(2)Yang-Mills规范场的存在性问题.首先对YM-方程的结构进行了讨论,说明YM-方程由它的奇部份和偶部份联立组成.对于YM-方程构造了一类线
【机 构】
：
中国科学院数学与系统科学研究院数学机械化重点实验室,北京,100190
论文部分内容阅读
应用数学机械化方法研究欧氏空间中SU(2)Yang-Mills规范场的存在性问题.首先对YM-方程的结构进行了讨论,说明YM-方程由它的奇部份和偶部份联立组成.对于YM-方程构造了一类线性微分变换,称之为SU(2)规范场的示性变换.经示性变换,将非线性的YM-方程的奇部份变为一组Laplace方程,实现了SU(2)规范场方程的线性化.从而证明了SU(2)规范场存在3个独立的Yang-Mills规范场.
其他文献
目的 :探讨基于α 病毒的基因疫苗的免疫学效应作用 ,寻找更好的基因疫苗形式。方法 :用磷酸钙法共转染表达质粒P1A/pSMART2a和包装质粒helper到 2 93细胞中 ,制备高水平的重
对独立同分布样本情形的连续型单参数指数族的单边假设检验问题,在线性损失下导出了单调的Bayes检验函数,构造了相应的经验Bayes(EB)检验函数.在一定条件下,获得的经验Bayes
在客户流失预测问题中,客户数据的特征往往会影响模型的预测效果.分析了常用的“两步式”客户流失预测方法的不足,提出了基于数据分组处理(GMDH)技术的“一步式”客户流失预
由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位.自吴法发表至今30年,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代
研究带位势V(x)∈L2(Rn)的非线性Schr(o)dinger方程的Cauchy问题的解的存在性,利用Kato-Rellich定理证明Schr(o)dinger算子H=Δ-V在H2(Rn)中的自伴性从而由Stone定理得知H=Δ
目的:探讨烧伤大鼠休克期红细胞趋化因子受体(ECKR)结合活性的变化.方法:SD大鼠随机分成烧伤组和对照组; 烧伤组大鼠体表总面积(TBSA)的30%为Ⅲ度烫伤.应用ELISA法, 以IL-8为
主要分析了差分代换矩阵的基本性质，证明了存在有限个差分代换矩阵的乘积可以将单位点（1，0，…，0）变换到指定的非负（本原）整点．利用这一结果可以导出R^n＋上判定半正定型的充要条件．根据此
设s,t1,t2,…,tr为正整数,A=s(Zst1(+)Zst2(+)…(+) Zstr), ~A=A(+) Z,本文作者给出了当(s,t1)=(s,t2)=…=(s,tr)=d时~A-模Z的自由预解,并以此为基础计算了Tor~Am(Z,Z).
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
在符号计算中，最困难的一个地方是中间计算过程的表达式快速膨胀．基于不变量代数的符号几何计算为解决这个困难提供了可能．比如，利用零几何代数证明欧氏几何定理时，就可以给出很短