长安大学学报（自然科学版）050326

	长安大学学报（自然科学版） JOURNAL OF CHANG'AN UNIVERSITY(NATURAL SCIENCE EDITION) 2005 Vol.25 No.3 P.107-110

外微分在场论中的应用

Application of exterior differentialin field theory

曹剑光　曹维玺　

摘　要：建立了外微分理论与场论之间的一些对应法则,指出外微分形式是场论中众多命题的数学模型,得到用外微分运算解决场论中梯度、旋度、散度以及环量与通量的计算和几种重要的矢量场:梯度场、旋度场、调和场证明的新方法.为利用计算机处理这类问题提供了一种简单模式,从而实现求解问题的机械化算法.
关键词：外微分形式;场论;数学模型;机械化算法
分类号：O172.1 　文献标识码：A
文章编号：1671-8879(2005)03-107-04

作者简介：曹剑光(1970-),男,陕西西安人,中国科学院研究生院硕士研究生.
作者单位：曹剑光（中国科学院,研究生院,北京,100039）　
　　　　　曹维玺（长安大学,理学院,陕西,西安,710064）　

参考文献：

[1]吴文俊.数学机械化[M].北京:科学出版社,1996.WU Wen-jun.Mathematical mechanisation [M].Beijing:Science Press,1996.
[2]Cartan E.Sur cerains expressinous differntiells et le problem de pfaff[J].Ann Sci Ecole Norm,1981,16(3):239-332.
[3]陈省身,陈维桓.微分几何讲义[M].北京:北京大学出版社,1983.CHEN Xing-shen,CHEN Wei-heng. Introduction to differential geometry [M].Beijing: Beijing Univeristy Press,1983.
[4]龚升.简明微积分[M].北京:人民教育出版社,1979.GONG Sheng.An introduction to differential-integral[M].Beijing:People's Education Press,1979.
[5]谢树艺.矢量分析与场论[M].北京:高等教育出版社,1985.XIE Shu-yi.Vector analysis and field theory [M].Beijing: Higher Education Press,1985.
[6]徐森林.流形和STOKESDL定理[M].北京:人民教育出版社,1981.XU SEN-lin.Manifold and stokesdl theorem [M].Beijing: People's Education Press,1981.
[7]冯芙叶,刘志勤,聂成.梯度网络平稳点集合的Hopfield稳定性与吸引域[J].长安大学学报(自然科学版),2003,23(3):107-110.FENG Fu-ye, LIU Zhi-qin,NIE Cheng. Hopfield-stability of equilibrium point set for gradient neural networks and their attractive regions [J].Journal of Chang'an University (Natural Science Edition),2003,23 (3):107-110.
[8]贾继红,吕志宏.次微分意义下集值映射优化问题的最优条件[J].长安大学学报(自然科学版),2003,23(6):115-117.JIA Ji-hong,LU Zhi-hong.Optimal conditions of setvalued maps optimization with subdifferential[J].Journal of Chang'an University (Natural Science Edition),2003,23(6):115-117.

收稿日期：2004年3月2日

出版日期：2005年5月1日