关于对数平均的两个不等式

加强了文献[1]中不等式,给出文献[2]中不等式的一个简洁的证明.     

带两个指定元素及任意个松弛量的三元行偶的优化方法

CPM网络图中平行工序的顺序优化问题是网络计划分析的一个热点和难点问题,在文献[1],[2]中,两元行偶的优化和三元行偶的部分优化问题已经解决并给出证明,在文献[3]的基础上进一步给出带两个指定元素及任意个松弛量的三元行偶的优化方法,并给出理论证明.     

关于两个猜想的证明

文献[1]提出了参数估计的一种新方法—E-Bayes估计法.对Pascal分布,给出了分布参数的E-Bayes估计的定义、E-Bayes估计公式,并提出了两个猜想,但没有给出证明.本文给出了这两个猜想的证明.     

关于两个猜想的证明

文献[1]提出了参数估计的一种新方法—E-Bayes估计法.对Pascal分布,给出了分布参数的E-Bayes估计的定义、E-Bayes估计公式,并提出了两个猜想,但没有给出证明.本文给出了这两个猜想的证明.     

曲线拐点充分条件证明中的常见错误

文[1]给出了判别曲线拐点的两个充分条件,文[2]给出了一个充分条件,但三个定理的证明都是错误的.同时,文[1]的两个推论也是错误的.本文通过反例分析了其错因,并给出了文[1]中一个拐点充分条件的正确证明.     

几个新组合恒等式及其应用

得到四个新的组合恒等式,由此给出文献[1]中的一个结论的初等证明.     

一道数学竞赛题的再讨论

对第七十五届美国大学生数学竞赛中一道关于定积分最大可能取值的题目,文献[2]给出其推广.利用定积分的性质,本文给出该竞赛题更一般的形式及其证明.文献[2]的推广是本文结果的特例.     

一道美国大学生数学竞赛题的证明

文献[1,2]中对一道美国大学生数学竞赛题通过设定函数利用插值的方法进行了证明,本文根据问题的特点,给出另外的证明,用同一方法还对另一行列式问题给出一般求解公式.     

两类平面曲线积分关系问题

对文献[1]中关于两类曲线积分关系证明中的一处疏漏给出了补充证明。     

利用分块矩阵对两个结论的进一步推广

利用分块矩阵的知识,将高等代数中两道在文献[3]中已推广的结论作了进一步的推广证明,使对原有习题成立的充分条件加强到充要条件.并用新方法给出了证明.     

Holomorphic complex differential equations: An elementary proof that the time- p map is holomorphic

We give an elementary proof that, in its domain of definition, the time-p map of a scalar, autonomous holomorphic, complex differential equation, is itself holomorphic. This result is used by Sverdlove [1] when considering limit cycles in complex holomorphic differential equations. However no proof or reference for the result is given in [1]. Although this result must be well established, a proof does not appear to be readily accessible in the reference literature.     

Holomorphic complex differential equations: An elementary proof that the time-p map is holomorphic

We give an elementary proof that, in its domain of definition, the time-p map of a scalar, autonomous holomorphic, complex differential equation, is itself holomorphic. This result is used by Sverdlove [1] when considering limit cycles in complex holomorphic differential equations. However no proof or reference for the result is given in [1]. Although this result must be well established, a proof does not appear to be readily accessible in the reference literature.     

利用矩阵初等行变换直接求得矩阵方程的通解

给出利用矩阵初等行变换直接求得矩阵方程通解的方法 .其表达、证明及解法均较文 [1 ]直接简捷     

Finite quaternion-free 2-groups

We present an elementary proof of the classification theorem for finite nonmodular quaternion-free 2-groups. This proof does not involve the structure theory of powerful 2-groups. Such a new proof is also necessary, since there are several gaps in the original proof given in [5].     

Corrigendum to: Solitary Subgroups

An error in the proof of Theorem 6 in Kaplan and Levy's article of 2009 is pointed out, and a reference to a correct proof is given.     

A Priori Estimate for the Discontinuous Oblique Derivative Problem for Elliptic Systems

Recently [6] an existence as well as a uniqueness theorem for the discontinuous oblique derivative problem for nonlinear elliptic system of first order in the plane, see [12, 19, 23] was proved, based on some a priori estimate from [20]. This estimate, however, is deduced by reductio ad absurdum. Therefore the constants in this estimate are unknown so that the estimate cannot be used for numerical procedures, e.g. for approximating the solution of a nonlinear problem by solutions of related linear problems, see [24, 3, 4]. In this paper a direct proof of an a priori estimate is given using some variations of results from [14], see also [11], where the constants can explicitely be estimated. For related a priori estimates see [1 – 5, 8, 16, 17, 20, 21, 24 – 26]. A basic reference for the oblique derivative problem is [9].     

Über den Satz von Weil-Cartier

It is shown that the theorem ofWeil-Cartier ([10, Th. 5], [4, Th. 3]) is connected with a homomorphism of groups of unitary operators. The existence proof for this homomorphism is based on simple results in harmonic analysis and on an extension property of the Schwartz-Bruhat functions. Some applications are given, including a result ofIgusa's [6, Th. 3] and the reciprocity formula ofKrazer-Siegel [9, Th. 2]. An outline of the proof has been given in [8].     

On a discrete Korovkin theorem

In [G. A. Anastassiou, A discrete Korovkin theorem, J. Approx. Theory 45 (1985), pp. 383–388, Theorem 3], a discrete Korovkin theorem was given. We restate the theorem here and its proof, correcting a mistake in the above reference.     

Decomposition theorems

The countable-decomposition theorem for linear functionals has become a useful tool in the theory of representing measures (see [4–7]). The original proof of this theorem was based on a rather involved study of extreme points in the state space of a convex cone. Recently M. Neumann [9] gave an independent proof using a refined form of Simons convergence lemma and Choquet's theorem. In this paper a (relatively) short proof of an extension (to a more abstract situation) of the countable-decomposition theorem is given. Furthermore a decomposition criterion is obtained which even works in the case when not all states are decomposable. All the work is based on a complete characterization of those states which are partially decomposable with respect to a given sequence of sublinear functionals.     

Jacobi矩阵链法则中的补充证明

本文指出 BOOTHBY W M的《微分流形与黎曼几何引论》(见文献 [1 ])一书中关于 Jacobi矩阵的链法则的处理中存在的问题 ,并对其补充证明