Gauss和与广义Kloosterman和的几个新的恒等式

主要应用Gauss和的性质和解析方法来研究Gauss和与广义Kloosterman和之间的关系,并且给出了几个有趣的恒等式.     

数学归纳法与其在计算机科学中的应用北大核心

1引言数学归纳法是中学数学课程中的一个课题.我们通过一些有关整数的恒等式来学习归纳法.比如我们可以证明,对所有的整数n≥0,成立:0+1+2+3…+n=n(n+1)/2.我们假定,读者对这类证明已经很熟悉了为了完整,我们只对一些基础知识做一个系统的介绍,另一方面,归纳法在计算机科学的算法理论中有大量运用,我们希望通过介绍相关知识使读者看到数学对计算机科学的贡献,而且看到计算机科学不仅仅是编程序.     

一类无穷下三角矩阵的代数性质

修正了 [4,5]中的 Jabotinsky矩阵,得到并证明了一类无穷下三角矩阵T（f）的一些性质,最后,导出了一些与导数相关的反演关系和组合恒等式.     

构造最短路线计数模型 证明若干组合恒等式

图1是某城市的街道格局,现有某人从图中的A处去B处,求其中路程最短的走法有多少种？     

广义度量方程的改进及其应用(Ⅰ)

众所周知,度量方程作为距离几何的基本内容和工具之一,在几何约束求解中扮演着主要的角色.改进了杨定华关于n维欧氏空间中两个等数量有限基本元素构成集合的广义度量方程,建立了更为一般意义的、应用方便的广义度量方程,作为其初步应用,导出了两个单形之间的一些有趣的矩阵恒等式关系.特别地,将其两边取行列式,可以简洁得到关于联系两个单形的几何恒等式.     

三维矩形域上泊松方程四面体线元的超逼近与外推

改进三角元的积分恒等式,使之适用于拟一致四面体元,借此证明了泊松方程四面体线元梯度有超逼近现象,函数值Richardson外推可以提高精度.     

椭圆型方程四面体线元的超逼近与外推

重新讨论了三角线元的积分恒等式,使之适用于三维区域的拟一致四面体元,借此证明了椭圆型方程有限元解梯度有超逼近现象,函数值Richardson外推可以提高精度.     

构造常数列证明恒等式

对于与和或积有关的涉及正整数恒等式的证明,一般应用数学归纳法．本文通过构造常数列,来证明这类恒等式．     

一类带临界指标的Neumann问题解的唯一性

该文研究了一类带临界指标的Neumann问题, 利用Pohozaev恒等式和一些好的估计, 得到了此类问题解的唯一性结果.     

多重Hurwitz-zeta值的Euler型恒等式算法北大核心CSCD

设t(s_1,s_2,…,s_k)是与Hurwitz-zeta函数ζ(s_1,s_2,…,s_k;—1/2,—1/2,…,—1/2)相联系的多重级数.对正整数n>k>1,定义T(2n,k)为权重为2n,长度为k且每个s_i为偶数的所有t(s_1,s_2,…,s_k)的和.本文首先利用Granville所提出的交换求和次序方法将T(2n,k)的计算转化为简单级数求和问题,再建立起一元生成函数并给出一个计算T(2n,k)的递归方法,最后利用Bessel函数的性质,建立起T(2n,k)的直接公式.