一些与Riemann Zeta函数有关的级数的求和公式

采用组合数学的方法，利用第二类Ｓｔｉｒｌｉｎｇ数和Ｂｅｒｎｏｕｌｉ数给出级数∑∞ｋ＝２ｋｍζ（ｋ）、∑∞ｋ＝１ｋｍζ（２ｋ）及∑∞ｋ＝１（２ｋ＋１）ｍζ（２ｋ＋１）（其中ｍ≥１，ζ（ｘ）＝ζ（ｘ）－１）的求和公式。这些公式表述简洁并有鲜明的规律性。     

联系Bernoulli数和第二类Stirling数的一个恒等式

利用指数型生成函数建立起联系Bernoulli数和第二类Stirling数的一个有趣的恒等式．     

Stirling公式在一个乘积不等式中的应用

定理　令Ｐｎ =1 +11 1 +131 +15 … 1 +12ｎ- 1 ,则πｎ - 16πｎ ≤Ｐｎ≤πｎ +16πｎ为此我们引入Ｓｔｉｒｌｉｎｇ公式 :1 · 2 · 3·… ·ｎ=2πｎｎｎｅ-ｎ+θ1 2ｎ　 (0 <θ <1 )现在我们来给出定理的证明 :因Ｐｎ =1 +11 1 +13 1 +15 … 1 +12ｎ - 1=2· 4· 6 ·… · 2ｎ1 · 3· 5 ·… · (2ｎ- 1 )=(2 ｎ· 1· 2 · 3 ·… ·ｎ) 21 · 2 · 3· 4·… · 2ｎ=2 ｎ· 2πｎｎｎｅ-ｎ+θ1 1 2ｎ 24πｎ(2ｎ) ｎｅ- 2ｎ+θ22 4ｎ(0 <θ1 <1 ,0 <θ2 <1 )=πｎｅ11 2ｎ θ1 -θ22记ｔ=11 2ｎ θ1 - θ22 则 ｜ｔ｜ <1则 :Ｐｎ-…     

Apostol-Bernoulli多项式的一个新公式

我们得到Apostol-Bernoulli多项式的一个用Gauss超几何函数表示的新公式,并给出了它的一些特殊情况和应用.     

高阶Bernoulli数与Stirling数的几个恒等式

利用第一、二类高阶Bernoulli数和二类Stirling数S1(n,k),S2(n,k)的定义.研究了二类高阶Bernoulli数母函数的幂级数展开,揭示了二类高阶Bernoulli数之间以及与第一类Stirling数S1(n,k)、第二类Stirling数S2(n,k)之间的内在联系,得到了几个关于二类高阶Bernoulli数和第一类Stirling数S1(n,k)、第二类Stirling数S2(n,k)之间有趣的恒等式.     

Stirling公式的一个较初等证法

利用高等数学相关知识可证明Stirling公式:对于很大的正整数n,有n! ~ 2πnnne-n。     

Stirling公式的一个推广

关于n!的S tirling渐近式,无论在理论上或者实际上,都有重要应用.应用Eu ler-M aclau lrin求和公式及Γ函数的性质,推导出一般等差级数连乘积并有余项估计式的类似表达式.     

ξ（i）的一个新的卷积公式

本文利用概率方法讨论了关于Riemann Zeta函数ξ（i）的卷积∑^k-2 i=2 ∑（k-i）,k≥4,Euler证明了这个卷积与级数∑ n≥1 Hn/n^（k-1）有关，使用Stirling展开我们发现了一个新的不同的结果．     

一种含参数的Wallis公式与Stirling公式

利用离散变量连续化的思想,得到了含参数的Wallis公式与Stirling公式,它们是对这两个经典公式的一种推广形式。     

高阶Bernoulli数的递推公式及其应用

给出了高阶Bernoulli数的一个递推公式和Nrlund数的一个计算公式,推广了Namias[4],Deeba和Rodriguez[5],Tuenter[6]的结果.     

泰勒公式的一种新证法

利用罗尔定理结合高等代数的行列式计算技巧,可证n阶可导函数f （x）的辅助多项式P（x）具有特定的 n阶导数,并运用该结果给出泰勒公式的一种新证法。     

经典SIMPSON求积公式的新证明

对于定积分近似计算中常使用的经典SIMPSON求积公式介绍一种新的简洁的证明方法并给出误差的最佳估计.     

三重积分变换公式的一个新证法

作为Gauss公式的一个应用,本文将对三重积分变换公式给出一个新的证明方法.     

A Constructive Proof of Beurling-Lax Theorem

This paper deals with an alternative proof of Beurling-Lax theorem by adopting a constructive approach instead of the isomorphism technique which was used in the original proof.     

A Constructive Proof of the Generalized Gelfand Isomorphism

Using an analog of the classical Frobenius recursion, we define the notion of a Frobenius -homomorphism. For , this is an ordinary ring homomorphism. We give a constructive proof of the following theorem. Let X be a compact Hausdorff space, the th symmetric power of X, and the algebra of continuous complex-valued functions on X with the sup-norm; then the evaluation map defined by the formula identifies the space with the space of all Frobenius -homomorphisms of the algebra into with the weak topology.     

n重积分换元公式的证明

在建立微分线性空间基础上、引入向量外积和有向体积,找到了微分线性变换与有向体积之间的关系,由此给出了n重积分换元公式的一个简单证法.     

有理标准形存在性定理的构造性证明

对抽象代数中的一个基本定理有理标准形存在性定理给出了一个构造性证明,用直观的向量形式解释了Frobenius基的结构和生成Frobenius基的向量所需的条件.     

方向导数的计算公式的注记

方向导数本质上也是函数的一种变化率.利用向量的Schmidt正交化方法进行坐标变换,将方向导数转换为对新变量的偏导数,再结合多元复合函数的求导法则,给出方向导数计算公式的一种新的证明.     

A Constructive Proof of the Leech Theorem for Rational Matrix Functions

We give a constructive proof of Leech’s theorem for rational matrix functions. This enables us to provide an algorithm for solving rational matrix corona problems.