一类非线性四阶双曲方程一个低阶混合元方法的超收敛分析

对一类非线性四阶双曲方程利用双线性元Q_(11)给出一个低阶混合元逼近格式.利用双线性元的高精度结果,关于时间t的导数转移技巧,插值与投影相结合的思想及分裂技术,在半离散格和全离散式下,分别导出原始变量u和中间变量v=-?u在H~1模意义下具有O(h~2)/O(h~2+τ~2)阶的超逼近性质.与此同时,借助插值后处理技术,证明在H1模意义下具有O(h~2)/O(h~2+τ~2)阶的整体超收敛结果.这里,h和τ分别表示空间剖分参数和时间剖分参数.     

非线性四阶双曲方程扩展的非协调混合元方法的超收敛分析及外推

对一类非线性四阶双曲方程,利用EQ_1~(rot)元及零阶Raviart-Thomas元建立一个新的扩展的非协调混合元逼近格式.首先证明了逼近解的存在唯一性.其次,基于EQ_1~(rot)元特殊性质,再利用零阶Raviart-Thomas元的高精度分析结果和插值后处理技术,在半离散格式下导出了原始变量u和中间变量v=-?u在H~1模及中间变量q=?u,σ=-?(?u)在(L~2)~2模意义下具有O(h~2)阶的超逼近性质和超收敛结果.最后,利用EQ_1~(rot)元的渐近展开式,构造一个新的合适的外推格式,得到相关变量O(h~3)阶的外推解.     

一类非线性双曲积分微分方程的类Carey元超收敛和外推

利用非协调三角形类Carey元对一类非线性双曲积分微分方程进行了超收敛分析和外推.基于单元的特殊性质,线性三角形元的高精度分析结果,平均值和导数转移技巧,以及插值后处理技术,得到了半离散格式能量模意义下具有O(h~2)阶的超逼近性质和整体超收敛结果.同时,通过构造一个合适的辅助问题,运用Richordson外推格式,导出了具有O(h~4)阶的外推结果.     

拟线性双曲方程类Wilson非协调元的高精度分析

主要研究类Wilson元对拟线性双曲方程的逼近.首先证明了当问题的解u∈H~3(Ω)或u∈H~4(Ω)时,u与其双线性插值之差的梯度与类Wilson元空间任意元素的梯度,在分片意义下的内积可以达到O(h~2)这一重要结论.其次运用能量模意义下该元的非协调误差可以分别达到O(h~2)/O(h~3),即比插值误差高一阶/二阶这一性质,并利用对时间t的导数转移技巧,结合双线性元的高精度结果及插值后处理技术,获得了O(h~2)阶的超逼近性和整体超收敛性,从而进一步拓广了该元的应用范围.     

四阶强阻尼非线性波动方程的Hermite型矩形混合有限元分析

讨论了四阶强阻尼非线性波动方程的Hermite型混合有限元方法,并证明了半离散格式下解的存在唯一性.基于该元积分恒等式结果,利用插值与Ritz投影之间的误差估计,可得到半离散格式下O(h~3)阶的超逼近性质,再借助于插值后处理技术导出整体超收敛.进而,通过构造一个新的金离散格式,得到了O(h~3+τ~2)的超逼近和超收敛结果.     

非线性湿气迁移方程H~1-Galerkin混合有限元的超逼近分析

本文利用不完全双二次元Q_2~-和一阶BDFM元,对一类非线性Sobolev-Galpern型的湿气迁移方程,建立了一个新的混合元逼近模式.利用这两个单元插值算子的特殊性质和平均值技巧,一方面,对半离散格式,证明了逼近格式解的存在唯一性.同时导出了原始变量在H~1-模和中间变量在H (div)-模意义下具有O(h~3)阶的超逼近性质.另一方面,对于线性化Crank-Nicolson(C-N)全离散格式,在没有网格比的要求下,导出了具有O(h~3+τ~2)阶的超逼近结果.这里h是空间细分参数,τ是时间步长.     

一类四阶抛物方程一个低阶非协调混合元方法的超收敛分析

对一类四阶抛物方程利用EQ_1~(rot)元和零阶Raviart-Thomas元提出一个低阶非协调混合元逼近格式.首先证明半离散格式逼近解的存在唯一性.其次,基于上述两个单元的高精度分析,利用对时间变量的导数转移技巧并借助插值后处理技术,在半离散格式下得到了原始变量u,中间变量v=—△u的H~1-模意义下以及流量=—▽u的L~2-模意义下O(h~2)阶的超逼近性质和超收敛结果.最后,证明向后Euler全离散格式逼近解的存在唯一性,并通过采用一个新的分裂技巧,导出u和v在H~1-模意义下以及在L~2-模意义下关于h的无条件的O(h~2+τ)阶的超逼近性质和超收敛结果.这里,h及τ分别表示空间剖分参数和时间步长.     

非线性四阶双曲方程低阶混合元方法的超收敛分析

对一类非线性四阶双曲方程利用双线性元Q_(11)及Q_(01)×Q_(10)元给出了一个低阶混合元格式.基于上述两个单元的高精度结果,采用插值和投影相结合的方法,利用对时间t的导数转移技巧,借助插值后处理技术,在半离散格式下导出了原始变量u和中间变量u=-△u在H~1模意义下及流量p=-▽u在(L~2)~2模意义下具有O(h~2)阶的超逼近和超收敛结果.与此同时,在全离散格式下,证明了u和v在H~1模意义下及p在(L~2)~2模意义下单独利用插值或投影所无法得到的具有O(h~2+(△t)~2)阶的超逼近和超收敛结果.     

EFK方程一个新的低阶非协调混合有限元方法的高精度分析

对Extended Fisher-Kolmogorov(EFK)方程,利用EQ_1~(rot)元和零阶RaviartThomas(R-T)元建立了一个新的非协调混合元逼近格式.首先,证明了半离散格式逼近解的一个先验估计并证明了逼近解的存在唯一性.在半离散格式下,利用上述两种元的高精度分析结果以及这个先验估计,在不需要有限元解u_h属于L~∞的条件下,得到了原始变量u和中间变量v=-?u的H~1-模以及流量p=u的(L~2)~2-模意义下O(h~2)阶的超逼近性质.同时,借助插值后处理技术,证明了上述变量的具有O(h~2)阶的整体超收敛结果.其次,建立了一个新的线性化向后Euler全离散格式并证明了其逼近解的存在唯一性.另一方面,通过对相容误差和非线性项采取与传统误差分析不同的新的分裂技巧,分别导出了以往文献中尚未涉及的关于u和v在H~1-模以及p在(L~2)~2-模意义下具有O(h~2+τ)阶的超逼近性质,进一步地,借助插值后处理技术,得到了上述变量的整体超收敛结果.这里h和τ分别表示空间剖分参数和时间步长.最后,给出了一个数值算例,计算结果验证了理论分析的正确性.     

一类变系数四阶抛物方程一个低阶非协调混合元方法的超收敛分析

对一类变系数四阶抛物方程利用EQ_1~(rot)及Q_(10)×Q_(01)元给出一个新的扩展的低阶非协调混合元格式.首先,证明逼近解的存在唯一性.其次,基于上述两个单元的高精度结果,利用对时间t的导数转移技巧,在半离散格式下,导出了原始变量u和扩散项v=-?·(a(t)?u)在H~1模及流量=-a(t)?u在L~2模意义下均具有O(h~2)阶的超逼近性质.进一步地,借助插值后处理技术,得到整体超收敛性.最后,通过构造一个适当的辅助问题,得到具有O(h~3)阶的外推解.     

Linear birth and death models and associated Laguerre and Meixner polynomials

We study birth and death processes with linear rates λ_n = n + α + c + 1, μ_{n + 1} = n + c, n 0 and μ₀ is either zero or c. The spectral measures of both processes are found using generating functions and the integral transforms of Laplace and Stieltjes. The corresponding orthogonal polynomials generalize Laguerre polynomials and the choice μ₀ = c generates the associated Laguerre polynomials of Askey and Wimp. We investigate the orthogonal polynomials in both cases and give alternate proofs of some of the results of Askey and Wimp on the associated Laguerre polynomials. We also identify the spectra of the associated Charlier and Meixner polynomials as zeros of certain transcendental equations.     

Affine-inscribed and affine-circumscribed polygons and polytopes

Five theorems on polygons and polytopes inscribed in (or circumscribed about) a convex compact set in the plane or space are proved by topological methods. In particular, it is proved that for every interior point O of a convex compact set in ℝ³, there exists a two-dimensional section through O circumscribed about an affine image of a regular octagon. It is also proved that every compact convex set in ℝ³ (except the cases listed below) is circumscribed about an affine image of a cube-octahedron (the convex hull of the midpoints of the edges of a cube). Possible exceptions are provided by the bodies containing a parallelogram P and contained in a cylinder with directrix P. Bibliography: 29 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 231, 1995, pp. 286–298. Translated by B. M. Bekker.     

Partitions and pairwise sums and products

A seven cell partition of N is constructed with the property that no infinite set has all of its pairwise sums and products in any one cell. A related Ramsey Theory question is shown to have different answers for two and three cell partitions.     

Distributive and Multiplication Modules and Rings

We study rings in which every ideal is a finitely generated multiplication right ideal.     

Beliefs and beyond: affect and the teaching and learning of mathematics

The importance of beliefs for the teaching and learning of mathematics is widely recognized among mathematics educators. In this special issue, we explicitly address what we call “beliefs and beyond” to indicate the larger field surrounding beliefs in mathematics education. This is done to broaden the discussion to related concepts (which may not originate in mathematics education) and to consider the interconnectedness of concepts. In particular, we present some new developments at the conceptual level, address different approaches to investigate beliefs, highlight the role of student beliefs in problem-solving activities, and discuss teacher beliefs and their significance for professional development. One specific intention is to consider expertise from colleagues in the fields of educational research and psychology, side by side with perspectives provided by researchers from mathematics education.