一阶双曲型方程组的时空间断全离散有限元的收敛性.pdf

维普资讯 第25卷第2期 数学理论与应用 Vo1．25No．2 2005年6月 MATHEMATICALTHE0RYANDAPPLICAT10NS Jun．2005 一 阶双曲型方程组的时空间断全离散有限元的收敛性。 张自力 (湖南师范大学数计院，长沙，410081) 摘 要 利用能量方法和单元正交分析方法，构造了特殊的Radau型单元正交展开和张量积分解，简明论证 了一阶双曲方程组时空间断有限元的收敛性，得到了丰满阶的整体误差估计．数值实验证实了这些理论结果． 关键词 一阶双曲方程 间断有限元 张量积分解 丰满误差阶 超收敛 ConvergenceofSpace--timediscontinuousfiniteelement ofone--orderhyperbolicsystems ZhangZhili (HunanNormalUniversity，Changsha，410081) Abstract We takeadvantageofmethod ofenergy，orthogonalanalysis in element，constructespecial orthogonalanalyzeandtensorproductdecompose，simplyproveconvergenceofspace——timediscontinuous finiteelementofone--orderhyper--bolicsystems．Wehavefull--degreeerrorestimation． Keywords one--orderhyperbolicsystem discontinuousfiniteelement tensorproductdecompose full—— degreeerrorestimation superconvergence 1 引 言 在科学和技术的各个领域中有许多问题：如流体力学，空气动力学和电磁场理论等问题， 都可用一组复杂的一阶偏微分方程组描述．用有限元法求解一阶双曲型方程组，在理论分析误 差时，经历了艰难的道路．1987年C．Johnson讨论一阶对称组的时空全离散格式；其理论误差 估计比十满阶少半阶．1997年A．Quarterom．A．Valliz在著作中只是综合了这些结果．本文用 时空间断有限元解一阶双曲方程，证明时空间断有限元有丰满误差阶．数值实验验证厂其收敛 阶勺理论相符和，而且还发现在Radau点上具有高一阶的超收敛性． 2．收敛性及其证明 考虑简单的单个方程情形 {“，+au +bu一 ／(‘￡，)，(￡，)∈Q—J× (0，丁)， J一 (0，X)“(0，￡)=g(￡)，“(，0)一 )} (1) 对于此方程我们的结果是： ·陈传淼教授推荐 收稿 日期：2005年6月24日 维普资讯 第2期 一阶双曲型方程组的时空间断全离散有限元的收敛性 125 定理l 设U是初边值问题(1)的解，u是时间P一0，1次，空间 三三=o次张量积全离散 间断有限元解，有以下丰满阶估计 ll(一u)(￡)ll C(T，)(^ +志+1)， 0，P一0，1 其中常数为： C(T，)一c()(1lll++ llD，+1gll()+ llD：+1Ull+ ll +1UlJ)