波动方程单位分解有限元法及收敛性分析

<正>1引言与问题的提出自黄云清和许进超提出基于单位分解技术的重叠型非匹配网格有限元方法以来,这类方法日益引起人们极大的兴趣.这篇文章将这类有限元方法运用到波动方程当中,分别研究了重叠型非匹配网格波动方程半离散和全离散有限元方法,给出了有限元解及其梯度的误差估计.下面先给出模型问题的简单介绍.     

A Cantor-Bernstein Theorem for σ-Complete MV-Algebras

The Cantor-Bernstein theorem was extended to -complete boolean algebras by Sikorski and Tarski. Chang's MV-algebras are a nontrivial generalization of boolean algebras: they stand to the infinite-valued calculus of Lukasiewicz as boolean algebras stand to the classical two-valued calculus. In this paper we further generalize the Cantor-Bernstein theorem to -complete MV-algebras, and compare it to a related result proved by Jakubík for certain complete MV-algebras.     

关于数学哲学的新思考

本文以计算机软件 ,程序语言等作类比 ,提出数学命题是一种“概念实在”,以阐明数学对象的本体论地位 ;并根据自然科学只能基于现有的数学理论而建构这一事实 ,对数学在自然科学中的超前性和有效性作出了新的解释 .同时 ,本文勾划了一种新的数学哲学的轮廓 ,它以数学中引入新结构 ,提出猜想等创造性活动为课题 ,以数学史材料研究为方法 ,以探求数学发展的内在统一性为目的 .     

C1连续型广义有限元格式

C$^{1}$连续,即一阶导数连续.C$^{1}$连续型插值格式具有同时适用于离散PDE的弱形式与强形式的优点--即一种插值格式可以在使用PDE弱形式还是强形式之间做出选择,从而构造出更加高效的数值方法.由于单位分解广义有限元方法 (PUFEM, Babu${\check{ s}}$ka andMelenk(1997)),允许用户根据局部解的特征自定义任意高阶局部近似,具有精度高、程序实现与传统有限元相容性好的特点而受到广泛关注.但是,其总体近似函数的光滑性是由其所采用的单位分解函数--一般为标准有限元形函数--的光滑性所决定,因此多为C$^{0}$连续.如何在C$^{0}$连续标准有限元形函数的基础上,构造出满足C$^{1}$连续的总体近似函数,是一个仍未解决的问题.本文在作者前期研究的无额外自由度的单位分解插值格式的基础上,仅基于C$^{0}$标准有限元形函数,构造出至少C$^{1}$连续的无额外自由度单位分解格式.针对Poisson方程,讨论了该格式对PDE弱形式与强形式的离散.测试结果表明,方法可以同时用于弱形式与强形式的数值求解,而且可以在不改变网格和自由度数的前提下,获得高阶收敛.使用该插值格式的条件是:网格须是直角坐标网格(不要求均匀).该插值格式可以同时用于流体力学问题和使用欧拉背景网格求解动量方程的固体力学方法,如材料物质点法(materialpoint method).对于强形式的欧拉网格求解,该插值格式与"差分"不同之处在于,它具有有限元一样的在任意点处进行"插值"的特点.对于弱形式的积分求解,由于该插值格式具有导数连续性,可以允许积分网格独立于插值网格.这一特点将使得弱形式的数值积分的实施更加灵活方便.      

Partition of Unity for a Class of Nonlinear Parabolic Equation on Overlapping Non-Matching Grids

A class of nonlinear parabolic equation on a polygonal domain Ω  R2 is inves- tigated in this paper. We introduce a finite element method on overlapping non-matching grids for the nonlinear parabolic equation based on the partition of unity method. We give the construction and convergence analysis for the semi-discrete and the fully discrete finite element methods. Moreover, we prove that the error of the discrete variational problem has good approximation properties. Our results are valid for any spatial dimensions. A numerical example to illustrate the theoretical results is also given.     

Flexible piecewise approximations based on partition of unity

In this paper, we study a flexible piecewise approximation technique based on the use of the idea of the partition of unity. The approximations are piecewisely defined, globally smooth up to any order, enjoy polynomial reproducing conditions, and satisfy nodal interpolation conditions for function values and derivatives of any order. We present various properties of the approximations, that are desirable properties for optimal order convergence in solving boundary value problems. AMS subject classification 65N30, 65D05Weimin Han: Corresponding author. The work of this author was partially supported by NSF under grant DMS-0106781.Wing Kam Liu: The work of this author was supported by NSF.     

New fixed point theorems for a family of mappings and applications to problems on sets with convex sections

Some new fixed point theorems for a family of mappings are obtained and applied to problems on sets with convex sections that were first studied by Ky Fan.

     

遵义电视台4频道数字硬盘播出系统

本文简要介绍了遵义电视台4频道数字硬盘播出系统设计，该系统以美国AVID MSS 8O00视频服务器为核心，采用国内硬盘播出领域占有量最高的北大方正无忧播控软件，配置被国内省级电视台广泛使用的周边设备，实现4个频道的播出。     

Noncommutative Ricci Curvature and Dirac Operator on C q [SL2] at Roots of Unity

We find a unique torsion free Riemannian spin connection for the natural Killing metric on the quantum group C _q [ SL₂], using a recent frame bundle formulation. We find that its covariant Ricci curvature is essentially proportional to the metric (i.e. an Einstein space). We compute the Dirac operator and find for q an odd rth root of unity that its eigenvalues are given by q-integers [m] _q for m=0,1...,r–1 offset by the constant background curvature. We fully solve the Dirac equation for r=3.     

Pál-type Birkhoff interpolation on nonuniformly distributed points

We study here the regularity of certain Pál-type interpolation problems involving the mth roots of unity along with an additional point ζ and the nth roots of unity. We determine the largest domains for ζ which ensure the regularity of the problems. AMS subject classification 41A05